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-3706791-1338118456/watcher-3706791-1338118456 -o /tmp/evaluation-result-3706791-1338118456/solver-3706791-1338118456 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706791-1338118456.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: 2.00 2.01 2.00 3/176 22630
/proc/meminfo: memFree=27621280/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 811 0 0 0 0 0 0 0 20 0 1 0 277974055 6356992 733 33554432000 4194304 8973514 140737148474544 140736353526280 7734391 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 1552 733 413 1167 0 333 0
[startup+0.0617349 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 22630
/proc/meminfo: memFree=27621280/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=10304 CPUtime=0.05 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 1843 0 0 0 5 0 0 0 20 0 1 0 277974055 10551296 1765 33554432000 4194304 8973514 140737148474544 140736353526280 4212454 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 2576 1765 417 1167 0 1357 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10304
[startup+0.100313 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 22630
/proc/meminfo: memFree=27621280/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=14400 CPUtime=0.09 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 2620 0 0 0 9 0 0 0 20 0 1 0 277974055 14745600 2542 33554432000 4194304 8973514 140737148474544 140736353526280 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 3600 2542 418 1167 0 2381 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14400
[startup+0.300306 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 22630
/proc/meminfo: memFree=27621280/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=27712 CPUtime=0.29 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 6196 0 0 0 29 0 0 0 20 0 1 0 277974055 28377088 6118 33554432000 4194304 8973514 140737148474544 140737148473384 7858672 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 6928 6118 418 1167 0 5709 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27712
[startup+0.700304 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 22630
/proc/meminfo: memFree=27621280/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=48192 CPUtime=0.69 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 11316 0 0 0 68 1 0 0 20 0 1 0 277974055 49348608 11238 33554432000 4194304 8973514 140737148474544 140737148473384 4204592 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 12048 11238 418 1167 0 10829 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48192
[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 22631
/proc/meminfo: memFree=27561008/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=123968 CPUtime=1.48 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 30260 0 0 0 144 4 0 0 20 0 1 0 277974055 126943232 30182 33554432000 4194304 8973514 140737148474544 140737148474040 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 30992 30182 418 1167 0 29773 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 123968
[startup+3.10033 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 22631
/proc/meminfo: memFree=27480764/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=144448 CPUtime=3.09 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 35424 0 0 0 303 6 0 0 20 0 1 0 277974055 147914752 35346 33554432000 4194304 8973514 140737148474544 140737148474040 4208857 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 36112 35346 456 1167 0 34893 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 144448
[startup+6.30032 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 22631
/proc/meminfo: memFree=27480764/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=144448 CPUtime=6.29 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 35424 0 0 0 622 7 0 0 20 0 1 0 277974055 147914752 35346 33554432000 4194304 8973514 140737148474544 140737148473808 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 36112 35346 456 1167 0 34893 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 144448
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 22631
/proc/meminfo: memFree=27479844/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=157760 CPUtime=12.69 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 38752 0 0 0 1260 9 0 0 20 0 1 0 277974055 161546240 38674 33554432000 4194304 8973514 140737148474544 140737148473808 6570455 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 39440 38674 456 1167 0 38221 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 157760
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 22631
/proc/meminfo: memFree=27442876/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=193600 CPUtime=25.48 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 47712 0 0 0 2535 13 0 0 20 0 1 0 277974055 198246400 47634 33554432000 4194304 8973514 140737148474544 140737148472512 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 48400 47634 456 1167 0 47181 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 193600
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 22632
/proc/meminfo: memFree=27459268/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=258112 CPUtime=51.08 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 63723 0 0 0 5088 20 0 0 20 0 1 0 277974055 264306688 63645 33554432000 4194304 8973514 140737148474544 140737148474040 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 64528 63645 456 1167 0 63309 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 258112
[startup+102.307 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 22632
/proc/meminfo: memFree=27398880/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=364608 CPUtime=102.28 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 90410 0 0 0 10194 34 0 0 20 0 1 0 277974055 373358592 90332 33554432000 4194304 8973514 140737148474544 140737148474040 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 91152 90332 456 1167 0 89933 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 364608
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 22633
/proc/meminfo: memFree=27215288/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=470080 CPUtime=162.25 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 116740 0 0 0 16178 47 0 0 20 0 1 0 277974055 481361920 116652 33554432000 4194304 8973514 140737148474544 140737148473808 4459098 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 117520 116652 456 1167 0 116301 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 470080
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 22633
/proc/meminfo: memFree=27097020/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=542784 CPUtime=222.21 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 134905 0 0 0 22161 60 0 0 20 0 1 0 277974055 555810816 134781 33554432000 4194304 8973514 140737148474544 140737148473808 5389280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 135696 134781 456 1167 0 134477 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 542784
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22633
/proc/meminfo: memFree=27072876/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=604224 CPUtime=282.16 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 150323 0 0 0 28146 70 0 0 20 0 1 0 277974055 618725376 150152 33554432000 4194304 8973514 140737148474544 140737148473808 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 151056 150152 456 1167 0 149837 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 604224
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22633
/proc/meminfo: memFree=27147832/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=648256 CPUtime=342.1 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 161439 0 0 0 34131 79 0 0 20 0 1 0 277974055 663814144 161224 33554432000 4194304 8973514 140737148474544 140737148472768 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 162064 161224 456 1167 0 160845 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 648256
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22636
/proc/meminfo: memFree=27104312/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=689216 CPUtime=402.06 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 171667 0 0 0 40118 88 0 0 20 0 1 0 277974055 705757184 171411 33554432000 4194304 8973514 140737148474544 140737148473808 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 172304 171411 456 1167 0 171085 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 689216
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22637
/proc/meminfo: memFree=26907188/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=719936 CPUtime=462.02 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 179449 0 0 0 46108 94 0 0 20 0 1 0 277974055 737214464 179161 33554432000 4194304 8973514 140737148474544 140737148474040 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 179984 179161 456 1167 0 178765 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 719936
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22637
/proc/meminfo: memFree=27027476/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=751680 CPUtime=521.97 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 187383 0 0 0 52098 99 0 0 20 0 1 0 277974055 769720320 187057 33554432000 4194304 8973514 140737148474544 140737148473808 6570472 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 187920 187057 456 1167 0 186701 0
Current children cumulated CPU time (s) 521.97
Current children cumulated vsize (KiB) 751680
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22637
/proc/meminfo: memFree=26924584/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=778304 CPUtime=581.94 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 193972 0 0 0 58090 104 0 0 20 0 1 0 277974055 796983296 193622 33554432000 4194304 8973514 140737148474544 140737148474040 4427820 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 194576 193622 456 1167 0 193357 0
Current children cumulated CPU time (s) 581.94
Current children cumulated vsize (KiB) 778304
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22638
/proc/meminfo: memFree=26737580/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=913472 CPUtime=881.89 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 227965 0 0 0 88061 128 0 0 20 0 1 0 277974055 935395328 227607 33554432000 4194304 8973514 140737148474544 140737148473808 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 228368 227607 456 1167 0 227149 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 913472
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22638
/proc/meminfo: memFree=26658124/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=937024 CPUtime=941.88 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 233634 0 0 0 94057 131 0 0 20 0 1 0 277974055 959512576 233276 33554432000 4194304 8973514 140737148474544 140737148473808 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 234256 233276 456 1167 0 233037 0
Current children cumulated CPU time (s) 941.88
Current children cumulated vsize (KiB) 937024
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22641
/proc/meminfo: memFree=26637192/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=961600 CPUtime=1001.87 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 239860 0 0 0 100053 134 0 0 20 0 1 0 277974055 984678400 239502 33554432000 4194304 8973514 140737148474544 140737148473808 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 240400 239502 456 1167 0 239181 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 961600
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22642
/proc/meminfo: memFree=26529472/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=987200 CPUtime=1061.86 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 246268 0 0 0 106048 138 0 0 20 0 1 0 277974055 1010892800 245910 33554432000 4194304 8973514 140737148474544 140737148473808 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 246800 245910 456 1167 0 245581 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 987200
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22642
/proc/meminfo: memFree=26675516/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=1003584 CPUtime=1121.86 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 250493 0 0 0 112044 142 0 0 20 0 1 0 277974055 1027670016 250135 33554432000 4194304 8973514 140737148474544 140737148473808 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 250896 250135 456 1167 0 249677 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 1003584
[startup+1182.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 22681
/proc/meminfo: memFree=27079792/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=1030208 CPUtime=1181.84 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 256955 0 0 0 118039 145 0 0 20 0 1 0 277974055 1054932992 256597 33554432000 4194304 8973514 140737148474544 140737148473808 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 257552 256597 456 1167 0 256333 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 1030208
[startup+1242.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 22681
/proc/meminfo: memFree=27056108/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=1047616 CPUtime=1241.84 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 261350 0 0 0 124035 149 0 0 20 0 1 0 277974055 1072758784 260992 33554432000 4194304 8973514 140737148474544 140737148473808 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 261904 260992 456 1167 0 260685 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1047616
[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 22681
/proc/meminfo: memFree=27030192/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=1068096 CPUtime=1301.83 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 266402 0 0 0 130031 152 0 0 20 0 1 0 277974055 1093730304 266044 33554432000 4194304 8973514 140737148474544 140737148473808 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 267024 266044 456 1167 0 265805 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1068096
[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 22682
/proc/meminfo: memFree=27005392/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=1086528 CPUtime=1361.82 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 271117 0 0 0 136026 156 0 0 20 0 1 0 277974055 1112604672 270759 33554432000 4194304 8973514 140737148474544 140737148473808 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 271632 270759 456 1167 0 270413 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1086528
[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 22682
/proc/meminfo: memFree=26982328/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=1105984 CPUtime=1421.82 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 275993 0 0 0 142022 160 0 0 20 0 1 0 277974055 1132527616 275635 33554432000 4194304 8973514 140737148474544 140737148473808 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 276496 275635 456 1167 0 275277 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1105984
[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 22682
/proc/meminfo: memFree=26957652/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=1125440 CPUtime=1481.79 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 280824 0 0 0 148016 163 0 0 20 0 1 0 277974055 1152450560 280466 33554432000 4194304 8973514 140737148474544 140737148473808 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 281360 280466 456 1167 0 280141 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1125440
[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 22682
/proc/meminfo: memFree=26933348/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=1146944 CPUtime=1541.79 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 286146 0 0 0 154012 167 0 0 20 0 1 0 277974055 1174470656 285788 33554432000 4194304 8973514 140737148474544 140737148473808 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 286736 285788 456 1167 0 285517 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1146944
[startup+1602.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/178 22685
/proc/meminfo: memFree=26909036/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=1167424 CPUtime=1601.78 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 291347 0 0 0 160008 170 0 0 20 0 1 0 277974055 1195442176 290989 33554432000 4194304 8973514 140737148474544 140737148473808 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 291856 290989 456 1167 0 290637 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1167424
[startup+1662.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/178 22709
/proc/meminfo: memFree=26885980/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=1188928 CPUtime=1661.75 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 296642 0 0 0 166002 173 0 0 20 0 1 0 277974055 1217462272 296266 33554432000 4194304 8973514 140737148474544 140737148473808 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 297232 296266 456 1167 0 296013 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1188928
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22709
/proc/meminfo: memFree=26864440/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=1208384 CPUtime=1721.71 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 301734 0 0 0 171994 177 0 0 20 0 1 0 277974055 1237385216 301325 33554432000 4194304 8973514 140737148474544 140737148473808 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 302096 301325 456 1167 0 300877 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 1208384
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22709
/proc/meminfo: memFree=26843140/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=1229888 CPUtime=1781.67 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 307025 0 0 0 177987 180 0 0 20 0 1 0 277974055 1259405312 306582 33554432000 4194304 8973514 140737148474544 140737148473808 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 307472 306582 456 1167 0 306253 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 1229888
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22709
/proc/meminfo: memFree=26843488/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=1229888 CPUtime=1800.08 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 307032 0 0 0 179827 181 0 0 20 0 1 0 277974055 1259405312 306582 33554432000 4194304 8973514 140737148474544 140737148474040 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 307472 306582 456 1167 0 306253 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1229888
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22709
/proc/meminfo: memFree=26843488/32873844 swapFree=6856/6856
[pid=22630] ppid=22628 vsize=1229888 CPUtime=1800.08 cores=1,3,5,7
/proc/22630/stat : 22630 (toysat) R 22628 22630 18256 0 -1 4202496 307032 0 0 0 179827 181 0 0 20 0 1 0 277974055 1259405312 306582 33554432000 4194304 8973514 140737148474544 140737148474040 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22630/statm: 307472 306582 456 1167 0 306253 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1229888
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.73
CPU time (s): 1800.1
CPU user time (s): 1798.27
CPU system time (s): 1.82672
CPU usage (%): 99.965
Max. virtual memory (cumulated for all children) (KiB): 1229888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.27
system time used= 1.82672
maximum resident set size= 1226328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 307032
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= 380
involuntary context switches= 1835
runsolver used 3.3105 second user time and 9.2156 second system time
The end