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-3707046-1338137880/watcher-3707046-1338137880 -o /tmp/evaluation-result-3707046-1338137880/solver-3707046-1338137880 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707046-1338137880.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.02 2.00 2.00 3/176 21604
/proc/meminfo: memFree=30353388/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 792 0 0 0 0 0 0 0 20 0 1 0 279912390 6356992 713 33554432000 4194304 8973514 140734652050304 140737082021928 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 1552 713 416 1167 0 333 0
[startup+0.0779071 s]
/proc/loadavg: 2.02 2.00 2.00 3/176 21604
/proc/meminfo: memFree=30353388/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=10304 CPUtime=0.07 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 1842 0 0 0 7 0 0 0 20 0 1 0 279912390 10551296 1763 33554432000 4194304 8973514 140734652050304 140737082021928 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 2576 1763 417 1167 0 1357 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10304
[startup+0.100318 s]
/proc/loadavg: 2.02 2.00 2.00 3/176 21604
/proc/meminfo: memFree=30353388/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 2246 0 0 0 9 0 0 0 20 0 1 0 279912390 12648448 2167 33554432000 4194304 8973514 140734652050304 140737082021928 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 3088 2167 417 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.30031 s]
/proc/loadavg: 2.02 2.00 2.00 3/176 21604
/proc/meminfo: memFree=30353388/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=27712 CPUtime=0.29 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 5994 0 0 0 28 1 0 0 20 0 1 0 279912390 28377088 5915 33554432000 4194304 8973514 140734652050304 140737082021928 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 6928 5915 418 1167 0 5709 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27712
[startup+0.700313 s]
/proc/loadavg: 2.02 2.00 2.00 3/176 21604
/proc/meminfo: memFree=30353388/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=40000 CPUtime=0.68 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 9302 0 0 0 67 1 0 0 20 0 1 0 279912390 40960000 9223 33554432000 4194304 8973514 140734652050304 140737082021928 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 10000 9223 447 1167 0 8781 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 40000
[startup+1.5003 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 21605
/proc/meminfo: memFree=30312816/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=44096 CPUtime=1.49 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 10326 0 0 0 147 2 0 0 20 0 1 0 279912390 45154304 10247 33554432000 4194304 8973514 140734652050304 140734652049800 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 11024 10247 447 1167 0 9805 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44096
[startup+3.10025 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 21605
/proc/meminfo: memFree=30310956/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=44096 CPUtime=3.08 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 10326 0 0 0 306 2 0 0 20 0 1 0 279912390 45154304 10247 33554432000 4194304 8973514 140734652050304 140734652049800 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 11024 10247 447 1167 0 9805 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 44096
[startup+6.30025 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 21605
/proc/meminfo: memFree=30308352/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=44096 CPUtime=6.29 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 10326 0 0 0 625 4 0 0 20 0 1 0 279912390 45154304 10247 33554432000 4194304 8973514 140734652050304 140734652049800 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 11024 10247 447 1167 0 9805 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44096
[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 21605
/proc/meminfo: memFree=30297828/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=49216 CPUtime=12.68 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 11606 0 0 0 1262 6 0 0 20 0 1 0 279912390 50397184 11527 33554432000 4194304 8973514 140734652050304 140734652049800 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 12304 11527 447 1167 0 11085 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49216
[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 21605
/proc/meminfo: memFree=30282452/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=54336 CPUtime=25.48 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 12886 0 0 0 2537 11 0 0 20 0 1 0 279912390 55640064 12807 33554432000 4194304 8973514 140734652050304 140734652049800 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 13584 12807 447 1167 0 12365 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 54336
[startup+51.1003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 21605
/proc/meminfo: memFree=30247088/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=67648 CPUtime=51.08 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 16214 0 0 0 5088 20 0 0 20 0 1 0 279912390 69271552 16135 33554432000 4194304 8973514 140734652050304 140734652049800 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 16912 16135 447 1167 0 15693 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 67648
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21605
/proc/meminfo: memFree=30199152/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=102464 CPUtime=102.28 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 24918 0 0 0 10184 44 0 0 20 0 1 0 279912390 104923136 24839 33554432000 4194304 8973514 140734652050304 140734652049800 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 25616 24839 447 1167 0 24397 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 102464
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21609
/proc/meminfo: memFree=30150080/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=133184 CPUtime=162.23 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 32412 0 0 0 16155 68 0 0 20 0 1 0 279912390 136380416 32294 33554432000 4194304 8973514 140734652050304 140734652049800 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 33296 32294 447 1167 0 32077 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 133184
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21632
/proc/meminfo: memFree=30199184/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=147520 CPUtime=222.21 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 36237 0 0 0 22130 91 0 0 20 0 1 0 279912390 151060480 36103 33554432000 4194304 8973514 140734652050304 140734652049568 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 36880 36103 447 1167 0 35661 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 147520
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21632
/proc/meminfo: memFree=30217436/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=156736 CPUtime=282.2 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 38542 0 0 0 28109 111 0 0 20 0 1 0 279912390 160497664 38408 33554432000 4194304 8973514 140734652050304 140734652049568 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 39184 38408 448 1167 0 37965 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 156736
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21632
/proc/meminfo: memFree=30164012/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=156736 CPUtime=342.19 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 38542 0 0 0 34088 131 0 0 20 0 1 0 279912390 160497664 38408 33554432000 4194304 8973514 140734652050304 140734652049568 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 39184 38408 448 1167 0 37965 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 156736
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21632
/proc/meminfo: memFree=30183308/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=159808 CPUtime=402.18 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 39137 0 0 0 40069 149 0 0 20 0 1 0 279912390 163643392 39001 33554432000 4194304 8973514 140734652050304 140734652049568 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 39952 39001 448 1167 0 38733 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 159808
[startup+462.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 21671
/proc/meminfo: memFree=30314792/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=173120 CPUtime=462.16 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 42526 0 0 0 46052 164 0 0 20 0 1 0 279912390 177274880 42380 33554432000 4194304 8973514 140734652050304 140734652049568 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 43280 42380 448 1167 0 42061 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 173120
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21671
/proc/meminfo: memFree=30300408/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=186432 CPUtime=522.15 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 45811 0 0 0 52038 177 0 0 20 0 1 0 279912390 190906368 45665 33554432000 4194304 8973514 140734652050304 140734652049568 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 46608 45665 448 1167 0 45389 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 186432
[startup+582.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 21671
/proc/meminfo: memFree=30287708/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=198720 CPUtime=582.13 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 48966 0 0 0 58021 192 0 0 20 0 1 0 279912390 203489280 48809 33554432000 4194304 8973514 140734652050304 140734652049568 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 49680 48809 448 1167 0 48461 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 198720
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21675
/proc/meminfo: memFree=30278516/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=207936 CPUtime=822.09 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 51368 0 0 0 81971 238 0 0 20 0 1 0 279912390 212926464 51208 33554432000 4194304 8973514 140734652050304 140734652049568 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 51984 51208 448 1167 0 50765 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 207936
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21675
/proc/meminfo: memFree=30278640/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=207936 CPUtime=882.09 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 51368 0 0 0 87955 254 0 0 20 0 1 0 279912390 212926464 51208 33554432000 4194304 8973514 140734652050304 140734652049568 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 51984 51208 448 1167 0 50765 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 207936
[startup+942.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 21675
/proc/meminfo: memFree=30278392/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=208960 CPUtime=942.07 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 51411 0 0 0 93943 264 0 0 20 0 1 0 279912390 213975040 51251 33554432000 4194304 8973514 140734652050304 140734652049568 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 52240 51251 448 1167 0 51021 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 208960
[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21675
/proc/meminfo: memFree=30269092/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=218176 CPUtime=1002.07 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 53724 0 0 0 99929 278 0 0 20 0 1 0 279912390 223412224 53564 33554432000 4194304 8973514 140734652050304 140734652049800 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 54544 53564 448 1167 0 53325 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 218176
[startup+1062.3 s]
/proc/loadavg: 2.09 2.02 2.01 3/177 21676
/proc/meminfo: memFree=30262820/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=224320 CPUtime=1062.05 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 55320 0 0 0 105913 292 0 0 20 0 1 0 279912390 229703680 55156 33554432000 4194304 8973514 140734652050304 140734652049568 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 56080 55156 448 1167 0 54861 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 224320
[startup+1122.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 21676
/proc/meminfo: memFree=30255380/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=231488 CPUtime=1122.04 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 57229 0 0 0 111902 302 0 0 20 0 1 0 279912390 237043712 57065 33554432000 4194304 8973514 140734652050304 140734652049568 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 57872 57065 448 1167 0 56653 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 231488
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21676
/proc/meminfo: memFree=30248188/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=238656 CPUtime=1182.04 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 58962 0 0 0 117893 311 0 0 20 0 1 0 279912390 244383744 58798 33554432000 4194304 8973514 140734652050304 140734652049568 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 59664 58798 448 1167 0 58445 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 238656
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21676
/proc/meminfo: memFree=30241096/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=245824 CPUtime=1242.02 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 60700 0 0 0 123879 323 0 0 20 0 1 0 279912390 251723776 60526 33554432000 4194304 8973514 140734652050304 140734652049800 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 61456 60526 448 1167 0 60237 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 245824
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21676
/proc/meminfo: memFree=30233904/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=252992 CPUtime=1302.01 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 62409 0 0 0 129867 334 0 0 20 0 1 0 279912390 259063808 62235 33554432000 4194304 8973514 140734652050304 140734652049568 7716811 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 63248 62235 448 1167 0 62029 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 252992
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21679
/proc/meminfo: memFree=30227952/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=259136 CPUtime=1362 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 64128 0 0 0 135854 346 0 0 20 0 1 0 279912390 265355264 63954 33554432000 4194304 8973514 140734652050304 140734652049800 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 64784 63954 448 1167 0 63565 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 259136
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21680
/proc/meminfo: memFree=30221236/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=265280 CPUtime=1421.99 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 65511 0 0 0 141844 355 0 0 20 0 1 0 279912390 271646720 65332 33554432000 4194304 8973514 140734652050304 140734652049800 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 66320 65332 448 1167 0 65101 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 265280
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21680
/proc/meminfo: memFree=30214168/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=271424 CPUtime=1481.98 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 67244 0 0 0 147833 365 0 0 20 0 1 0 279912390 277938176 67065 33554432000 4194304 8973514 140734652050304 140734652049568 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 67856 67065 448 1167 0 66637 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 271424
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21680
/proc/meminfo: memFree=30208712/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=278592 CPUtime=1541.97 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 68813 0 0 0 153822 375 0 0 20 0 1 0 279912390 285278208 68634 33554432000 4194304 8973514 140734652050304 140734652049800 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 69648 68634 448 1167 0 68429 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 278592
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 21680
/proc/meminfo: memFree=30203920/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=282688 CPUtime=1601.95 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 69992 0 0 0 159808 387 0 0 20 0 1 0 279912390 289472512 69807 33554432000 4194304 8973514 140734652050304 140734652049800 7670836 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 70672 69807 448 1167 0 69453 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 282688
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21680
/proc/meminfo: memFree=30197348/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=288832 CPUtime=1661.94 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 71617 0 0 0 165794 400 0 0 20 0 1 0 279912390 295763968 71432 33554432000 4194304 8973514 140734652050304 140734652049800 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 72208 71432 448 1167 0 70989 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 288832
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21681
/proc/meminfo: memFree=30193752/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=292928 CPUtime=1721.93 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 72531 0 0 0 171783 410 0 0 20 0 1 0 279912390 299958272 72346 33554432000 4194304 8973514 140734652050304 140734652049568 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 73232 72346 448 1167 0 72013 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 292928
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21681
/proc/meminfo: memFree=30186188/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=300096 CPUtime=1781.93 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 74352 0 0 0 177771 422 0 0 20 0 1 0 279912390 307298304 74167 33554432000 4194304 8973514 140734652050304 140734652049568 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 75024 74167 448 1167 0 73805 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 300096
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21681
/proc/meminfo: memFree=30185256/32873844 swapFree=7388/7388
[pid=21604] ppid=21602 vsize=301120 CPUtime=1800.03 cores=1,3,5,7
/proc/21604/stat : 21604 (toysat) R 21602 21604 20110 0 -1 4202496 74608 0 0 0 179578 425 0 0 20 0 1 0 279912390 308346880 74422 33554432000 4194304 8973514 140734652050304 140734652049800 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21604/statm: 75280 74422 448 1167 0 74061 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 301120
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.04
CPU user time (s): 1795.78
CPU system time (s): 4.25735
CPU usage (%): 99.9795
Max. virtual memory (cumulated for all children) (KiB): 301120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.78
system time used= 4.25735
maximum resident set size= 297688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74608
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= 110
involuntary context switches= 1846
runsolver used 3.37149 second user time and 9.67353 second system time
The end