runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3706232-1338312580/watcher-3706232-1338312580 -o /tmp/evaluation-result-3706232-1338312580/solver-3706232-1338312580 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706232-1338312580.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.84 1.97 1.93 3/176 1328
/proc/meminfo: memFree=30283032/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 776 0 0 0 0 0 0 0 20 0 1 0 297384085 6356992 698 33554432000 4194304 8973514 140734517733392 140735712109752 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 1552 698 415 1167 0 333 0
[startup+0.036465 s]
/proc/loadavg: 1.84 1.97 1.93 3/176 1328
/proc/meminfo: memFree=30283032/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=8256 CPUtime=0.03 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 1329 0 0 0 3 0 0 0 20 0 1 0 297384085 8454144 1251 33554432000 4194304 8973514 140734517733392 140735712109752 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 2064 1251 417 1167 0 845 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8256
[startup+0.100277 s]
/proc/loadavg: 1.84 1.97 1.93 3/176 1328
/proc/meminfo: memFree=30283032/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 2355 0 0 0 9 0 0 0 20 0 1 0 297384085 12648448 2277 33554432000 4194304 8973514 140734517733392 140735712109752 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 3088 2277 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.300302 s]
/proc/loadavg: 1.84 1.97 1.93 3/176 1328
/proc/meminfo: memFree=30283032/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=22592 CPUtime=0.28 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 4915 0 0 0 28 0 0 0 20 0 1 0 297384085 23134208 4837 33554432000 4194304 8973514 140734517733392 140735712109752 4204736 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 5648 4837 418 1167 0 4429 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 22592
[startup+0.700301 s]
/proc/loadavg: 1.84 1.97 1.93 3/176 1328
/proc/meminfo: memFree=30283032/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=50240 CPUtime=0.69 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 11827 0 0 0 67 2 0 0 20 0 1 0 297384085 51445760 11749 33554432000 4194304 8973514 140734517733392 140735712109752 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 12560 11749 418 1167 0 11341 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50240
[startup+1.50029 s]
/proc/loadavg: 1.84 1.97 1.93 3/177 1329
/proc/meminfo: memFree=30207956/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=90176 CPUtime=1.49 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 21789 0 0 0 145 4 0 0 20 0 1 0 297384085 92340224 21711 33554432000 4194304 8973514 140734517733392 140734517732656 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 22544 21721 428 1167 0 21325 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 90176
[startup+3.10032 s]
/proc/loadavg: 1.84 1.97 1.93 3/177 1329
/proc/meminfo: memFree=30166416/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=107584 CPUtime=3.09 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 26186 0 0 0 303 6 0 0 20 0 1 0 297384085 110166016 26108 33554432000 4194304 8973514 140734517733392 140734517732656 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 26896 26108 435 1167 0 25677 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 107584
[startup+6.3003 s]
/proc/loadavg: 1.85 1.97 1.93 3/177 1329
/proc/meminfo: memFree=30165928/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=107584 CPUtime=6.28 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 26186 0 0 0 622 6 0 0 20 0 1 0 297384085 110166016 26108 33554432000 4194304 8973514 140734517733392 140734517732888 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 26896 26108 435 1167 0 25677 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 107584
[startup+12.7003 s]
/proc/loadavg: 1.86 1.97 1.93 3/177 1329
/proc/meminfo: memFree=30163364/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=114752 CPUtime=12.68 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 27988 0 0 0 1260 8 0 0 20 0 1 0 297384085 117506048 27910 33554432000 4194304 8973514 140734517733392 140734517716488 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 28688 27910 445 1167 0 27469 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 114752
[startup+25.5003 s]
/proc/loadavg: 1.89 1.97 1.93 3/178 1332
/proc/meminfo: memFree=30156096/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=115776 CPUtime=25.49 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 28250 0 0 0 2538 11 0 0 20 0 1 0 297384085 118554624 28174 33554432000 4194304 8973514 140734517733392 140734517732888 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 28944 28174 448 1167 0 27725 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 115776
[startup+51.1003 s]
/proc/loadavg: 1.93 1.97 1.93 3/178 1332
/proc/meminfo: memFree=30151344/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=117824 CPUtime=51.06 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 28776 0 0 0 5088 18 0 0 20 0 1 0 297384085 120651776 28686 33554432000 4194304 8973514 140734517733392 140734517732888 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 29456 28686 448 1167 0 28237 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 117824
[startup+102.307 s]
/proc/loadavg: 1.97 1.97 1.93 3/177 1332
/proc/meminfo: memFree=30147144/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=121920 CPUtime=102.26 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 29811 0 0 0 10192 34 0 0 20 0 1 0 297384085 124846080 29710 33554432000 4194304 8973514 140734517733392 140734517732888 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 30480 29710 448 1167 0 29261 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 121920
[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.93 3/177 1332
/proc/meminfo: memFree=30146896/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=121920 CPUtime=162.24 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 29811 0 0 0 16178 46 0 0 20 0 1 0 297384085 124846080 29710 33554432000 4194304 8973514 140734517733392 140734517732656 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 30480 29710 448 1167 0 29261 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 121920
[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.93 3/177 1333
/proc/meminfo: memFree=30142552/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=123968 CPUtime=222.23 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 30324 0 0 0 22165 58 0 0 20 0 1 0 297384085 126943232 30222 33554432000 4194304 8973514 140734517733392 140734517732656 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 30992 30222 448 1167 0 29773 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 123968
[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.93 3/177 1333
/proc/meminfo: memFree=30140876/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=123968 CPUtime=282.22 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 30324 0 0 0 28153 69 0 0 20 0 1 0 297384085 126943232 30222 33554432000 4194304 8973514 140734517733392 140734517732888 4205220 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 30992 30222 448 1167 0 29773 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 123968
[startup+342.3 s]
/proc/loadavg: 2.03 1.99 1.94 3/177 1333
/proc/meminfo: memFree=30139884/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=123968 CPUtime=342.21 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 30324 0 0 0 34138 83 0 0 20 0 1 0 297384085 126943232 30222 33554432000 4194304 8973514 140734517733392 140734517731328 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 30992 30222 448 1167 0 29773 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 123968
[startup+402.3 s]
/proc/loadavg: 2.04 2.00 1.94 3/177 1333
/proc/meminfo: memFree=30137032/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=126016 CPUtime=402.21 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 30836 0 0 0 40124 97 0 0 20 0 1 0 297384085 129040384 30734 33554432000 4194304 8973514 140734517733392 140734517731392 4209450 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 31504 30734 448 1167 0 30285 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 126016
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/177 1333
/proc/meminfo: memFree=30134980/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=126016 CPUtime=462.2 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 30837 0 0 0 46106 114 0 0 20 0 1 0 297384085 129040384 30734 33554432000 4194304 8973514 140734517733392 140734517732888 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 31504 30734 448 1167 0 30285 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 126016
[startup+522.3 s]
/proc/loadavg: 2.04 2.01 1.95 3/177 1334
/proc/meminfo: memFree=30133988/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=126016 CPUtime=522.18 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 30837 0 0 0 52091 127 0 0 20 0 1 0 297384085 129040384 30734 33554432000 4194304 8973514 140734517733392 140734517732656 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 31504 30734 448 1167 0 30285 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 126016
[startup+582.3 s]
/proc/loadavg: 2.04 2.02 1.95 3/177 1334
/proc/meminfo: memFree=30132004/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=126016 CPUtime=582.18 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 30837 0 0 0 58075 143 0 0 20 0 1 0 297384085 129040384 30734 33554432000 4194304 8973514 140734517733392 140734517732888 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 31504 30734 448 1167 0 30285 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 126016
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/177 1338
/proc/meminfo: memFree=30125424/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=127040 CPUtime=822.14 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 31093 0 0 0 82022 192 0 0 20 0 1 0 297384085 130088960 30990 33554432000 4194304 8973514 140734517733392 140734517732888 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 31760 30990 448 1167 0 30541 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 127040
[startup+882.3 s]
/proc/loadavg: 2.03 2.03 1.97 3/177 1338
/proc/meminfo: memFree=30122568/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=127040 CPUtime=882.13 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 31093 0 0 0 88010 203 0 0 20 0 1 0 297384085 130088960 30990 33554432000 4194304 8973514 140734517733392 140734517732656 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 31760 30990 448 1167 0 30541 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 127040
[startup+942.3 s]
/proc/loadavg: 2.04 2.03 1.97 3/177 1338
/proc/meminfo: memFree=30122444/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=127040 CPUtime=942.13 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 31093 0 0 0 93996 217 0 0 20 0 1 0 297384085 130088960 30990 33554432000 4194304 8973514 140734517733392 140734517732656 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 31760 30990 448 1167 0 30541 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 127040
[startup+1002.3 s]
/proc/loadavg: 2.05 2.04 1.98 3/177 1338
/proc/meminfo: memFree=30122568/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=127040 CPUtime=1002.11 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 31093 0 0 0 99981 230 0 0 20 0 1 0 297384085 130088960 30990 33554432000 4194304 8973514 140734517733392 140734517732656 4214039 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 31760 30990 448 1167 0 30541 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 127040
[startup+1062.3 s]
/proc/loadavg: 2.02 2.03 1.98 3/177 1338
/proc/meminfo: memFree=30121388/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=127040 CPUtime=1062.11 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 31093 0 0 0 105970 241 0 0 20 0 1 0 297384085 130088960 30990 33554432000 4194304 8973514 140734517733392 140734517731392 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 31760 30990 448 1167 0 30541 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 127040
[startup+1122.3 s]
/proc/loadavg: 2.04 2.03 1.98 3/177 1339
/proc/meminfo: memFree=30120396/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=127040 CPUtime=1122.1 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 31093 0 0 0 111957 253 0 0 20 0 1 0 297384085 130088960 30990 33554432000 4194304 8973514 140734517733392 140734517732888 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 31760 30990 448 1167 0 30541 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 127040
[startup+1182.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/177 1339
/proc/meminfo: memFree=30118288/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=127040 CPUtime=1182.08 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 31093 0 0 0 117943 265 0 0 20 0 1 0 297384085 130088960 30990 33554432000 4194304 8973514 140734517733392 140734517731200 4209187 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 31760 30990 448 1167 0 30541 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 127040
[startup+1242.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/178 1342
/proc/meminfo: memFree=30118216/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=127040 CPUtime=1242.08 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 31093 0 0 0 123931 277 0 0 20 0 1 0 297384085 130088960 30990 33554432000 4194304 8973514 140734517733392 140734517732888 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 31760 30990 448 1167 0 30541 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 127040
[startup+1302.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 1342
/proc/meminfo: memFree=30118100/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=127040 CPUtime=1302.07 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 31093 0 0 0 129919 288 0 0 20 0 1 0 297384085 130088960 30990 33554432000 4194304 8973514 140734517733392 140734517732656 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 31760 30990 448 1167 0 30541 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 127040
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 1342
/proc/meminfo: memFree=30116984/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=127040 CPUtime=1362.06 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 31093 0 0 0 135906 300 0 0 20 0 1 0 297384085 130088960 30990 33554432000 4194304 8973514 140734517733392 140734517732888 4204320 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 31760 30990 448 1167 0 30541 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 127040
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 1342
/proc/meminfo: memFree=30116248/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=127040 CPUtime=1422.05 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 31093 0 0 0 141895 310 0 0 20 0 1 0 297384085 130088960 30990 33554432000 4194304 8973514 140734517733392 140734517731328 4209142 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 31760 30990 448 1167 0 30541 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 127040
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 1343
/proc/meminfo: memFree=30116300/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=127040 CPUtime=1482.04 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 31093 0 0 0 147884 320 0 0 20 0 1 0 297384085 130088960 30990 33554432000 4194304 8973514 140734517733392 140734517732656 4204320 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 31760 30990 448 1167 0 30541 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 127040
[startup+1542.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 1343
/proc/meminfo: memFree=30115120/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=127040 CPUtime=1542.03 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 31093 0 0 0 153872 331 0 0 20 0 1 0 297384085 130088960 30990 33554432000 4194304 8973514 140734517733392 140734517732888 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 31760 30990 448 1167 0 30541 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 127040
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 1343
/proc/meminfo: memFree=30112268/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=127040 CPUtime=1602.02 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 31093 0 0 0 159859 343 0 0 20 0 1 0 297384085 130088960 30990 33554432000 4194304 8973514 140734517733392 140734517731328 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 31760 30990 448 1167 0 30541 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 127040
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 1343
/proc/meminfo: memFree=30112204/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=127040 CPUtime=1662.01 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 31093 0 0 0 165847 354 0 0 20 0 1 0 297384085 130088960 30990 33554432000 4194304 8973514 140734517733392 140734517731328 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 31760 30990 448 1167 0 30541 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 127040
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 1343
/proc/meminfo: memFree=30112204/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=127040 CPUtime=1722 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 31093 0 0 0 171837 363 0 0 20 0 1 0 297384085 130088960 30990 33554432000 4194304 8973514 140734517733392 140734517731392 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 31760 30990 448 1167 0 30541 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 127040
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1344
/proc/meminfo: memFree=30111832/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=127040 CPUtime=1781.99 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 31093 0 0 0 177823 376 0 0 20 0 1 0 297384085 130088960 30990 33554432000 4194304 8973514 140734517733392 140734517732888 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 31760 30990 448 1167 0 30541 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 127040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 1345
/proc/meminfo: memFree=30163960/32873844 swapFree=7372/7372
[pid=1328] ppid=1326 vsize=127040 CPUtime=1800.1 cores=1,3,5,7
/proc/1328/stat : 1328 (toysat) R 1326 1328 1126 0 -1 4202496 31093 0 0 0 179630 380 0 0 20 0 1 0 297384085 130088960 30990 33554432000 4194304 8973514 140734517733392 140734517732656 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1328/statm: 31760 30990 448 1167 0 30541 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 127040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1796.31
CPU system time (s): 3.80242
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 127040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.31
system time used= 3.80242
maximum resident set size= 123960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31093
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33
involuntary context switches= 1853
runsolver used 3.56046 second user time and 10.3954 second system time
The end