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-3707008-1338126067/watcher-3707008-1338126067 -o /tmp/evaluation-result-3707008-1338126067/solver-3707008-1338126067 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707008-1338126067.opb
running on 4 cores: 0,2,4,6
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.00 2.00 3/176 20475
/proc/meminfo: memFree=30511124/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 787 0 0 0 0 0 0 0 20 0 1 0 278731096 6356992 709 33554432000 4194304 8973514 140733742856816 140734050670184 7858672 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/20475/statm: 1552 709 411 1167 0 333 0
[startup+0.0376859 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20475
/proc/meminfo: memFree=30511124/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=8256 CPUtime=0.03 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 1330 0 0 0 3 0 0 0 20 0 1 0 278731096 8454144 1252 33554432000 4194304 8973514 140733742856816 140734050670184 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/20475/statm: 2064 1252 418 1167 0 845 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8256
[startup+0.100226 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20475
/proc/meminfo: memFree=30511124/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=12352 CPUtime=0.09 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 2157 0 0 0 9 0 0 0 20 0 1 0 278731096 12648448 2079 33554432000 4194304 8973514 140733742856816 140734050670184 5861541 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/20475/statm: 3088 2079 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.300227 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20475
/proc/meminfo: memFree=30511124/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=24640 CPUtime=0.29 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 5410 0 0 0 29 0 0 0 20 0 1 0 278731096 25231360 5332 33554432000 4194304 8973514 140733742856816 140734050670184 4209325 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/20475/statm: 6160 5338 418 1167 0 4941 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24640
[startup+0.70022 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20475
/proc/meminfo: memFree=30511124/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=41024 CPUtime=0.69 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 9544 0 0 0 68 1 0 0 20 0 1 0 278731096 42008576 9462 33554432000 4194304 8973514 140733742856816 140733742856312 5383613 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/20475/statm: 10256 9462 430 1167 0 9037 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41024
[startup+1.50019 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20476
/proc/meminfo: memFree=30474200/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=41024 CPUtime=1.48 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 9544 0 0 0 147 1 0 0 20 0 1 0 278731096 42008576 9462 33554432000 4194304 8973514 140733742856816 140733742856312 5372936 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/20475/statm: 10256 9462 430 1167 0 9037 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 41024
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20476
/proc/meminfo: memFree=30473960/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=44096 CPUtime=3.09 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 10173 0 0 0 307 2 0 0 20 0 1 0 278731096 45154304 10091 33554432000 4194304 8973514 140733742856816 140733742856080 4382096 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/20475/statm: 11024 10091 456 1167 0 9805 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44096
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20476
/proc/meminfo: memFree=30468256/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=46144 CPUtime=6.28 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 10850 0 0 0 626 2 0 0 20 0 1 0 278731096 47251456 10768 33554432000 4194304 8973514 140733742856816 140733742856312 4209272 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/20475/statm: 11536 10768 456 1167 0 10317 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 46144
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20476
/proc/meminfo: memFree=30466264/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=48192 CPUtime=12.68 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 11364 0 0 0 1265 3 0 0 20 0 1 0 278731096 49348608 11280 33554432000 4194304 8973514 140733742856816 140733742854784 4372496 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/20475/statm: 12048 11280 456 1167 0 10829 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 48192
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20476
/proc/meminfo: memFree=30463396/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=51264 CPUtime=25.48 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 12137 0 0 0 2542 6 0 0 20 0 1 0 278731096 52494336 12048 33554432000 4194304 8973514 140733742856816 140733742856312 4441196 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/20475/statm: 12816 12048 456 1167 0 11597 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 51264
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20477
/proc/meminfo: memFree=30455520/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=59456 CPUtime=51.06 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 14185 0 0 0 5096 10 0 0 20 0 1 0 278731096 60882944 14096 33554432000 4194304 8973514 140733742856816 140733742856080 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20475/statm: 14864 14096 456 1167 0 13645 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 59456
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20477
/proc/meminfo: memFree=30440132/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=74816 CPUtime=102.27 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 18030 0 0 0 10205 22 0 0 20 0 1 0 278731096 76611584 17936 33554432000 4194304 8973514 140733742856816 140733742856312 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20475/statm: 18704 17936 456 1167 0 17485 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 74816
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20477
/proc/meminfo: memFree=30421696/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=93248 CPUtime=162.25 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 22639 0 0 0 16193 32 0 0 20 0 1 0 278731096 95485952 22544 33554432000 4194304 8973514 140733742856816 140733742856080 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20475/statm: 23312 22544 456 1167 0 22093 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 93248
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20477
/proc/meminfo: memFree=30404204/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=110656 CPUtime=222.25 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 26991 0 0 0 22183 42 0 0 20 0 1 0 278731096 113311744 26896 33554432000 4194304 8973514 140733742856816 140733742854784 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20475/statm: 27664 26896 456 1167 0 26445 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 110656
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20477
/proc/meminfo: memFree=30387384/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=127040 CPUtime=282.23 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 31089 0 0 0 28172 51 0 0 20 0 1 0 278731096 130088960 30992 33554432000 4194304 8973514 140733742856816 140733742856312 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20475/statm: 31760 30992 456 1167 0 30541 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 127040
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20477
/proc/meminfo: memFree=30369816/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=144448 CPUtime=342.22 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 35448 0 0 0 34161 61 0 0 20 0 1 0 278731096 147914752 35345 33554432000 4194304 8973514 140733742856816 140733742856080 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20475/statm: 36112 35345 457 1167 0 34893 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 144448
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20517
/proc/meminfo: memFree=30316996/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=144448 CPUtime=402.21 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 35448 0 0 0 40149 72 0 0 20 0 1 0 278731096 147914752 35345 33554432000 4194304 8973514 140733742856816 140733742856080 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20475/statm: 36112 35345 457 1167 0 34893 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 144448
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20517
/proc/meminfo: memFree=30301608/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=148544 CPUtime=462.2 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 36472 0 0 0 46136 84 0 0 20 0 1 0 278731096 152109056 36369 33554432000 4194304 8973514 140733742856816 140733742856312 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20475/statm: 37136 36369 457 1167 0 35917 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 148544
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20517
/proc/meminfo: memFree=30277304/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=162880 CPUtime=522.19 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 40056 0 0 0 52124 95 0 0 20 0 1 0 278731096 166789120 39953 33554432000 4194304 8973514 140733742856816 140733742856312 4209198 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20475/statm: 40720 39953 457 1167 0 39501 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 162880
[startup+582.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 20520
/proc/meminfo: memFree=30270960/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=156736 CPUtime=582.18 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 41339 0 0 0 58111 107 0 0 20 0 1 0 278731096 160497664 38417 33554432000 4194304 8973514 140733742856816 140733742856080 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20475/statm: 39184 38417 457 1167 0 37965 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 156736
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20521
/proc/meminfo: memFree=30219572/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=169024 CPUtime=822.14 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 44411 0 0 0 82070 144 0 0 20 0 1 0 278731096 173080576 41489 33554432000 4194304 8973514 140733742856816 140733742856080 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20475/statm: 42256 41489 457 1167 0 41037 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 169024
[startup+882.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 20521
/proc/meminfo: memFree=30209652/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=169024 CPUtime=882.14 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 44411 0 0 0 88062 152 0 0 20 0 1 0 278731096 173080576 41489 33554432000 4194304 8973514 140733742856816 140733742856080 4209344 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20475/statm: 42256 41489 457 1167 0 41037 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 169024
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20521
/proc/meminfo: memFree=30199040/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=169024 CPUtime=942.12 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 44413 0 0 0 94052 160 0 0 20 0 1 0 278731096 173080576 41489 33554432000 4194304 8973514 140733742856816 140733742856312 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20475/statm: 42256 41489 457 1167 0 41037 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 169024
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20522
/proc/meminfo: memFree=30188796/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=169024 CPUtime=1002.11 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 44413 0 0 0 100042 169 0 0 20 0 1 0 278731096 173080576 41489 33554432000 4194304 8973514 140733742856816 140733742856312 4209220 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20475/statm: 42256 41489 457 1167 0 41037 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 169024
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20522
/proc/meminfo: memFree=30177552/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=169024 CPUtime=1062.1 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 44413 0 0 0 106030 180 0 0 20 0 1 0 278731096 173080576 41489 33554432000 4194304 8973514 140733742856816 140733742856312 4209168 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20475/statm: 42256 41489 457 1167 0 41037 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 169024
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20522
/proc/meminfo: memFree=30156652/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=174144 CPUtime=1122.09 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 45693 0 0 0 112020 189 0 0 20 0 1 0 278731096 178323456 42769 33554432000 4194304 8973514 140733742856816 140733742856312 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20475/statm: 43536 42769 457 1167 0 42317 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 174144
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20525
/proc/meminfo: memFree=30161620/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=181312 CPUtime=1182.08 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 49789 0 0 0 118008 200 0 0 20 0 1 0 278731096 185663488 44561 33554432000 4194304 8973514 140733742856816 140733742856312 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20475/statm: 45328 44561 457 1167 0 44109 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 181312
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20547
/proc/meminfo: memFree=30161412/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=181312 CPUtime=1242.08 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 49789 0 0 0 123997 211 0 0 20 0 1 0 278731096 185663488 44561 33554432000 4194304 8973514 140733742856816 140733742856080 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20475/statm: 45328 44561 457 1167 0 44109 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 181312
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20548
/proc/meminfo: memFree=30161544/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=181312 CPUtime=1302.08 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 49789 0 0 0 129986 222 0 0 20 0 1 0 278731096 185663488 44561 33554432000 4194304 8973514 140733742856816 140733742856080 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20475/statm: 45328 44561 457 1167 0 44109 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 181312
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20548
/proc/meminfo: memFree=30161212/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=181312 CPUtime=1362.05 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 51332 0 0 0 135973 232 0 0 20 0 1 0 278731096 185663488 44561 33554432000 4194304 8973514 140733742856816 140733742856080 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20475/statm: 45328 44561 457 1167 0 44109 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 181312
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20548
/proc/meminfo: memFree=30161336/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=181312 CPUtime=1422.05 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 51332 0 0 0 141963 242 0 0 20 0 1 0 278731096 185663488 44561 33554432000 4194304 8973514 140733742856816 140733742854784 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20475/statm: 45328 44561 457 1167 0 44109 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 181312
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20548
/proc/meminfo: memFree=30152276/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=181312 CPUtime=1482.04 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 51332 0 0 0 147951 253 0 0 20 0 1 0 278731096 185663488 44561 33554432000 4194304 8973514 140733742856816 140733742856312 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20475/statm: 45328 44561 457 1167 0 44109 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 181312
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20548
/proc/meminfo: memFree=30137396/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=189504 CPUtime=1542.02 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 53380 0 0 0 153940 262 0 0 20 0 1 0 278731096 194052096 46609 33554432000 4194304 8973514 140733742856816 140733742856312 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20475/statm: 47376 46609 457 1167 0 46157 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 189504
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20549
/proc/meminfo: memFree=30134412/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=185408 CPUtime=1602.01 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 56198 0 0 0 159929 272 0 0 20 0 1 0 278731096 189857792 45585 33554432000 4194304 8973514 140733742856816 140733742856312 4213458 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20475/statm: 46352 45585 457 1167 0 45133 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 185408
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20549
/proc/meminfo: memFree=30117176/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=185408 CPUtime=1662 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 56198 0 0 0 165918 282 0 0 20 0 1 0 278731096 189857792 45585 33554432000 4194304 8973514 140733742856816 140733742856312 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20475/statm: 46352 45585 457 1167 0 45133 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 185408
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20549
/proc/meminfo: memFree=30117212/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=185408 CPUtime=1722 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 56198 0 0 0 171907 293 0 0 20 0 1 0 278731096 189857792 45585 33554432000 4194304 8973514 140733742856816 140733742856312 4209212 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20475/statm: 46352 45585 457 1167 0 45133 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 185408
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20552
/proc/meminfo: memFree=30113304/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=189504 CPUtime=1781.98 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 60550 0 0 0 177896 302 0 0 20 0 1 0 278731096 194052096 46609 33554432000 4194304 8973514 140733742856816 140733742856080 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20475/statm: 47376 46609 457 1167 0 46157 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 189504
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20552
/proc/meminfo: memFree=30113436/32873844 swapFree=7388/7388
[pid=20475] ppid=20473 vsize=189504 CPUtime=1800.09 cores=0,2,4,6
/proc/20475/stat : 20475 (toysat) R 20473 20475 20110 0 -1 4202496 60550 0 0 0 179704 305 0 0 20 0 1 0 278731096 194052096 46609 33554432000 4194304 8973514 140733742856816 140733742856312 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20475/statm: 47376 46609 457 1167 0 46157 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 189504
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.1
CPU user time (s): 1797.05
CPU system time (s): 3.05453
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 202816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.05
system time used= 3.05454
maximum resident set size= 199748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60550
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= 42
involuntary context switches= 2067
runsolver used 3.21151 second user time and 9.09362 second system time
The end