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-3706383-1338217550/watcher-3706383-1338217550 -o /tmp/evaluation-result-3706383-1338217550/solver-3706383-1338217550 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706383-1338217550.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.92 1.98 1.99 3/176 31423
/proc/meminfo: memFree=31430012/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 820 0 0 0 0 0 0 0 20 0 1 0 287822064 7405568 742 33554432000 4194304 8973514 140733520858288 140734658704408 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 1808 742 412 1167 0 589 0
[startup+0.0251191 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 31423
/proc/meminfo: memFree=31430012/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=8256 CPUtime=0.02 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 1183 0 0 0 2 0 0 0 20 0 1 0 287822064 8454144 1105 33554432000 4194304 8973514 140733520858288 140734658704408 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 2064 1105 413 1167 0 845 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8256
[startup+0.100283 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 31423
/proc/meminfo: memFree=31430012/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=15424 CPUtime=0.09 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 2870 0 0 0 9 0 0 0 20 0 1 0 287822064 15794176 2792 33554432000 4194304 8973514 140733520858288 140733520857784 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 3856 2792 414 1167 0 2637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15424
[startup+0.300306 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 31423
/proc/meminfo: memFree=31430012/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=25664 CPUtime=0.28 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 5682 0 0 0 28 0 0 0 20 0 1 0 287822064 26279936 5604 33554432000 4194304 8973514 140733520858288 140733520857784 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 6416 5604 418 1167 0 5197 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 25664
[startup+0.70031 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 31423
/proc/meminfo: memFree=31430012/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=48192 CPUtime=0.69 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 11314 0 0 0 68 1 0 0 20 0 1 0 287822064 49348608 11236 33554432000 4194304 8973514 140733520858288 140733520857784 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 12048 11236 418 1167 0 10829 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48192
[startup+1.50034 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 31424
/proc/meminfo: memFree=31301160/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=100416 CPUtime=1.49 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 24386 0 0 0 145 4 0 0 20 0 1 0 287822064 102825984 24308 33554432000 4194304 8973514 140733520858288 140733520857784 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 25104 24308 428 1167 0 23885 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 100416
[startup+3.10023 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 31424
/proc/meminfo: memFree=31233548/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=106560 CPUtime=3.09 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 25924 0 0 0 304 5 0 0 20 0 1 0 287822064 109117440 25846 33554432000 4194304 8973514 140733520858288 140733520857784 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 26640 25846 430 1167 0 25421 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 106560
[startup+6.30024 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 31424
/proc/meminfo: memFree=31226612/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=113728 CPUtime=6.29 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 27716 0 0 0 622 7 0 0 20 0 1 0 287822064 116457472 27638 33554432000 4194304 8973514 140733520858288 140733520857552 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 28432 27638 430 1167 0 27213 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 113728
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 31424
/proc/meminfo: memFree=31218268/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=113728 CPUtime=12.69 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 27716 0 0 0 1260 9 0 0 20 0 1 0 287822064 116457472 27638 33554432000 4194304 8973514 140733520858288 140733520857784 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 28432 27638 430 1167 0 27213 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 113728
[startup+25.5004 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 31424
/proc/meminfo: memFree=31218624/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=113728 CPUtime=25.49 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 27716 0 0 0 2536 13 0 0 20 0 1 0 287822064 116457472 27638 33554432000 4194304 8973514 140733520858288 140733520857784 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 28432 27638 430 1167 0 27213 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 113728
[startup+51.1005 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 31424
/proc/meminfo: memFree=31218452/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=113728 CPUtime=51.08 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 27716 0 0 0 5088 20 0 0 20 0 1 0 287822064 116457472 27638 33554432000 4194304 8973514 140733520858288 140733520857784 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 28432 27638 430 1167 0 27213 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 113728
[startup+102.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 31424
/proc/meminfo: memFree=31217708/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=113728 CPUtime=102.27 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 27724 0 0 0 10193 34 0 0 20 0 1 0 287822064 116457472 27638 33554432000 4194304 8973514 140733520858288 140733520857784 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 28432 27638 430 1167 0 27213 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 113728
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/176 31424
/proc/meminfo: memFree=31182980/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=129088 CPUtime=162.24 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 31612 0 0 0 16177 47 0 0 20 0 1 0 287822064 132186112 31505 33554432000 4194304 8973514 140733520858288 140733520856256 7399974 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 32272 31505 457 1167 0 31053 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 129088
[startup+222.307 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 31426
/proc/meminfo: memFree=31154936/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=139328 CPUtime=222.24 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 34172 0 0 0 22165 59 0 0 20 0 1 0 287822064 142671872 34065 33554432000 4194304 8973514 140733520858288 140733520857552 4208833 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 34832 34065 457 1167 0 33613 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 139328
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 31429
/proc/meminfo: memFree=31145292/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=149568 CPUtime=282.23 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 36732 0 0 0 28151 72 0 0 20 0 1 0 287822064 153157632 36625 33554432000 4194304 8973514 140733520858288 140733520856256 7660920 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 37392 36625 457 1167 0 36173 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 149568
[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 31429
/proc/meminfo: memFree=31138828/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=154688 CPUtime=342.21 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 38013 0 0 0 34138 83 0 0 20 0 1 0 287822064 158400512 37905 33554432000 4194304 8973514 140733520858288 140733520856384 4209206 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 38672 37905 457 1167 0 37453 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 154688
[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 31429
/proc/meminfo: memFree=31138952/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=154688 CPUtime=402.2 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 38013 0 0 0 40125 95 0 0 20 0 1 0 287822064 158400512 37905 33554432000 4194304 8973514 140733520858288 140733520857552 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 38672 37905 457 1167 0 37453 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 154688
[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 31429
/proc/meminfo: memFree=31139324/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=154688 CPUtime=462.2 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 38013 0 0 0 46113 107 0 0 20 0 1 0 287822064 158400512 37905 33554432000 4194304 8973514 140733520858288 140733520857552 4208846 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 38672 37905 457 1167 0 37453 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 154688
[startup+522.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 31430
/proc/meminfo: memFree=31139200/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=154688 CPUtime=522.19 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 38013 0 0 0 52102 117 0 0 20 0 1 0 287822064 158400512 37905 33554432000 4194304 8973514 140733520858288 140733520857552 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 38672 37905 457 1167 0 37453 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 154688
[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 31430
/proc/meminfo: memFree=31139508/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=154688 CPUtime=582.18 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 38013 0 0 0 58088 130 0 0 20 0 1 0 287822064 158400512 37905 33554432000 4194304 8973514 140733520858288 140733520856256 7400368 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 38672 37905 457 1167 0 37453 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 154688
[startup+642.3 s]
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.09 2.01 2.00 3/178 31434
/proc/meminfo: memFree=31095968/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=154688 CPUtime=882.14 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 38013 0 0 0 88026 188 0 0 20 0 1 0 287822064 158400512 37905 33554432000 4194304 8973514 140733520858288 140733520856256 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 38672 37905 457 1167 0 37453 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 154688
[startup+942.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 31434
/proc/meminfo: memFree=31096100/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=154688 CPUtime=942.12 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 38013 0 0 0 94010 202 0 0 20 0 1 0 287822064 158400512 37905 33554432000 4194304 8973514 140733520858288 140733520857784 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 38672 37905 457 1167 0 37453 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 154688
[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 31434
/proc/meminfo: memFree=31095968/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=154688 CPUtime=1002.11 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 38013 0 0 0 99997 214 0 0 20 0 1 0 287822064 158400512 37905 33554432000 4194304 8973514 140733520858288 140733520857552 7841851 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 38672 37905 457 1167 0 37453 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 154688
[startup+1062.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 31434
/proc/meminfo: memFree=31096128/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=154688 CPUtime=1062.11 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 38013 0 0 0 105984 227 0 0 20 0 1 0 287822064 158400512 37905 33554432000 4194304 8973514 140733520858288 140733520856256 4204256 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 38672 37905 457 1167 0 37453 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 154688
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 31434
/proc/meminfo: memFree=31096012/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=154688 CPUtime=1122.1 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 38013 0 0 0 111971 239 0 0 20 0 1 0 287822064 158400512 37905 33554432000 4194304 8973514 140733520858288 140733520857552 4209354 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 38672 37905 457 1167 0 37453 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 154688
[startup+1182.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 31435
/proc/meminfo: memFree=31096004/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=154688 CPUtime=1182.09 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 38013 0 0 0 117959 250 0 0 20 0 1 0 287822064 158400512 37905 33554432000 4194304 8973514 140733520858288 140733520857552 4209450 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 38672 37905 457 1167 0 37453 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 154688
[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 31435
/proc/meminfo: memFree=31083716/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=154688 CPUtime=1242.08 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 38013 0 0 0 123947 261 0 0 20 0 1 0 287822064 158400512 37905 33554432000 4194304 8973514 140733520858288 140733520856256 4209357 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 38672 37905 457 1167 0 37453 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 154688
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 31435
/proc/meminfo: memFree=31083468/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=154688 CPUtime=1302.07 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 38013 0 0 0 129934 273 0 0 20 0 1 0 287822064 158400512 37905 33554432000 4194304 8973514 140733520858288 140733520856256 4204609 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 38672 37905 457 1167 0 37453 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 154688
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31435
/proc/meminfo: memFree=31083344/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=154688 CPUtime=1362.06 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 38013 0 0 0 135921 285 0 0 20 0 1 0 287822064 158400512 37905 33554432000 4194304 8973514 140733520858288 140733520857552 4209892 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 38672 37905 457 1167 0 37453 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 154688
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31435
/proc/meminfo: memFree=31079872/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=154688 CPUtime=1422.05 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 38013 0 0 0 141909 296 0 0 20 0 1 0 287822064 158400512 37905 33554432000 4194304 8973514 140733520858288 140733520857552 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 38672 37905 457 1167 0 37453 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 154688
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31439
/proc/meminfo: memFree=31079736/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=154688 CPUtime=1482.05 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 38013 0 0 0 147896 309 0 0 20 0 1 0 287822064 158400512 37905 33554432000 4194304 8973514 140733520858288 140733520856256 4204592 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 38672 37905 457 1167 0 37453 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 154688
[startup+1542.31 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 31439
/proc/meminfo: memFree=31079868/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=154688 CPUtime=1542.04 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 38013 0 0 0 153885 319 0 0 20 0 1 0 287822064 158400512 37905 33554432000 4194304 8973514 140733520858288 140733520856256 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 38672 37905 457 1167 0 37453 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 154688
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31439
/proc/meminfo: memFree=31066476/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=154688 CPUtime=1602.02 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 38013 0 0 0 159869 333 0 0 20 0 1 0 287822064 158400512 37905 33554432000 4194304 8973514 140733520858288 140733520857784 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 38672 37905 457 1167 0 37453 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 154688
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31439
/proc/meminfo: memFree=31066600/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=154688 CPUtime=1662.02 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 38013 0 0 0 165855 347 0 0 20 0 1 0 287822064 158400512 37905 33554432000 4194304 8973514 140733520858288 140733520856256 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 38672 37905 457 1167 0 37453 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 154688
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 31439
/proc/meminfo: memFree=31066464/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=154688 CPUtime=1722.01 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 38013 0 0 0 171842 359 0 0 20 0 1 0 287822064 158400512 37905 33554432000 4194304 8973514 140733520858288 140733520857552 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 38672 37905 457 1167 0 37453 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 154688
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 31440
/proc/meminfo: memFree=31066092/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=154688 CPUtime=1782 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 38013 0 0 0 177827 373 0 0 20 0 1 0 287822064 158400512 37905 33554432000 4194304 8973514 140733520858288 140733520856256 4208852 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 38672 37905 457 1167 0 37453 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 154688
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.93 1.99 1.99 2/175 31441
/proc/meminfo: memFree=31283736/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=154688 CPUtime=1800.09 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 38013 0 0 0 179632 377 0 0 20 0 1 0 287822064 158400512 37905 33554432000 4194304 8973514 140733520858288 140733520857552 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 38672 37905 457 1167 0 37453 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 154688
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 1.93 1.99 1.99 2/175 31441
/proc/meminfo: memFree=31283736/32873844 swapFree=6872/6872
[pid=31423] ppid=31421 vsize=154688 CPUtime=1800.09 cores=1,3,5,7
/proc/31423/stat : 31423 (toysat) R 31421 31423 30001 0 -1 4202496 38013 0 0 0 179632 377 0 0 20 0 1 0 287822064 158400512 37905 33554432000 4194304 8973514 140733520858288 140733520857552 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31423/statm: 38672 37905 457 1167 0 37453 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 154688
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1796.33
CPU system time (s): 3.78043
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 154688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.33
system time used= 3.78043
maximum resident set size= 151620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38013
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= 1860
runsolver used 3.15052 second user time and 11.1233 second system time
The end