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-3706014-1338143506/watcher-3706014-1338143506 -o /tmp/evaluation-result-3706014-1338143506/solver-3706014-1338143506 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706014-1338143506.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.00 2.00 3/176 16674
/proc/meminfo: memFree=27383116/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 813 0 0 0 0 0 0 0 20 0 1 0 280477427 6356992 734 33554432000 4194304 8973514 140735643110896 140735668273160 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/16674/statm: 1552 734 416 1167 0 333 0
[startup+0.0692121 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16674
/proc/meminfo: memFree=27383116/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=10304 CPUtime=0.06 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 1844 0 0 0 6 0 0 0 20 0 1 0 280477427 10551296 1765 33554432000 4194304 8973514 140735643110896 140735668273160 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/16674/statm: 2576 1765 418 1167 0 1357 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10304
[startup+0.100303 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16674
/proc/meminfo: memFree=27383116/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 2356 0 0 0 9 0 0 0 20 0 1 0 280477427 12648448 2277 33554432000 4194304 8973514 140735643110896 140735668273160 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/16674/statm: 3088 2277 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16674
/proc/meminfo: memFree=27383116/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=27712 CPUtime=0.29 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 6196 0 0 0 28 1 0 0 20 0 1 0 280477427 28377088 6117 33554432000 4194304 8973514 140735643110896 140735668273160 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/16674/statm: 6928 6117 418 1167 0 5709 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27712
[startup+0.700286 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16674
/proc/meminfo: memFree=27383116/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=47168 CPUtime=0.68 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 11060 0 0 0 67 1 0 0 20 0 1 0 280477427 48300032 10981 33554432000 4194304 8973514 140735643110896 140735643110160 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/16674/statm: 11792 10981 418 1167 0 10573 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 47168
[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16675
/proc/meminfo: memFree=27318884/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=101440 CPUtime=1.49 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 24648 0 0 0 145 4 0 0 20 0 1 0 280477427 103874560 24569 33554432000 4194304 8973514 140735643110896 140735643110160 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/16674/statm: 25360 24569 431 1167 0 24141 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 101440
[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16675
/proc/meminfo: memFree=27287380/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=99392 CPUtime=3.09 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 24661 0 0 0 305 4 0 0 20 0 1 0 280477427 101777408 24070 33554432000 4194304 8973514 140735643110896 140735643110392 4441896 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/16674/statm: 24848 24070 444 1167 0 23629 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 99392
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16675
/proc/meminfo: memFree=27287532/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=99392 CPUtime=6.29 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 24661 0 0 0 623 6 0 0 20 0 1 0 280477427 101777408 24070 33554432000 4194304 8973514 140735643110896 140735643110392 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/16674/statm: 24848 24070 444 1167 0 23629 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 99392
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16675
/proc/meminfo: memFree=27287504/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=99392 CPUtime=12.69 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 24661 0 0 0 1260 9 0 0 20 0 1 0 280477427 101777408 24070 33554432000 4194304 8973514 140735643110896 140735643110392 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/16674/statm: 24848 24070 444 1167 0 23629 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 99392
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16675
/proc/meminfo: memFree=27287524/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=99392 CPUtime=25.48 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 24669 0 0 0 2534 14 0 0 20 0 1 0 280477427 101777408 24070 33554432000 4194304 8973514 140735643110896 140735643110392 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/16674/statm: 24848 24070 444 1167 0 23629 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 99392
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16675
/proc/meminfo: memFree=27261188/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=124992 CPUtime=51.06 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 31086 0 0 0 5083 23 0 0 20 0 1 0 280477427 127991808 30470 33554432000 4194304 8973514 140735643110896 140735643110392 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/16674/statm: 31248 30470 444 1167 0 30029 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 124992
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16676
/proc/meminfo: memFree=27212996/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=172096 CPUtime=102.24 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 42884 0 0 0 10179 45 0 0 20 0 1 0 280477427 176226304 42246 33554432000 4194304 8973514 140735643110896 140735643110160 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/16674/statm: 43024 42246 444 1167 0 41805 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 172096
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 16791
/proc/meminfo: memFree=27159452/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=225344 CPUtime=162.23 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 56200 0 0 0 16156 67 0 0 20 0 1 0 280477427 230752256 55558 33554432000 4194304 8973514 140735643110896 140735643110392 4427744 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/16674/statm: 56336 55558 444 1167 0 55117 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 225344
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 16792
/proc/meminfo: memFree=27063376/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=274496 CPUtime=222.22 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 68488 0 0 0 22133 89 0 0 20 0 1 0 280477427 281083904 67846 33554432000 4194304 8973514 140735643110896 140735643108864 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/16674/statm: 68624 67846 444 1167 0 67405 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 274496
[startup+282.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 16792
/proc/meminfo: memFree=26973760/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=317504 CPUtime=282.21 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 79240 0 0 0 28106 115 0 0 20 0 1 0 280477427 325124096 78598 33554432000 4194304 8973514 140735643110896 140735643110392 6565965 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/16674/statm: 79376 78598 444 1167 0 78157 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 317504
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 16792
/proc/meminfo: memFree=26889124/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=362560 CPUtime=342.19 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 90504 0 0 0 34084 135 0 0 20 0 1 0 280477427 371261440 89862 33554432000 4194304 8973514 140735643110896 140735643110392 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/16674/statm: 90640 89862 444 1167 0 89421 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 362560
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16793
/proc/meminfo: memFree=26814352/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=409664 CPUtime=402.18 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 102280 0 0 0 40061 157 0 0 20 0 1 0 280477427 419495936 101638 33554432000 4194304 8973514 140735643110896 140735643110392 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/16674/statm: 102416 101638 444 1167 0 101197 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 409664
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16793
/proc/meminfo: memFree=26758088/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=434240 CPUtime=462.18 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 108425 0 0 0 46040 178 0 0 20 0 1 0 280477427 444661760 107783 33554432000 4194304 8973514 140735643110896 140735643110392 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16674/statm: 108560 107783 445 1167 0 107341 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 434240
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16796
/proc/meminfo: memFree=26731236/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=434240 CPUtime=522.14 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 108447 0 0 0 52015 199 0 0 20 0 1 0 280477427 444661760 107783 33554432000 4194304 8973514 140735643110896 140735643110392 4427820 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16674/statm: 108560 107783 445 1167 0 107341 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 434240
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16796
/proc/meminfo: memFree=26698660/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=441408 CPUtime=582.12 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 110266 0 0 0 57991 221 0 0 20 0 1 0 280477427 452001792 109575 33554432000 4194304 8973514 140735643110896 140735643110392 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16674/statm: 110352 109575 445 1167 0 109133 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 441408
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16797
/proc/meminfo: memFree=26494236/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=554048 CPUtime=822.08 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 138431 0 0 0 81908 300 0 0 20 0 1 0 280477427 567345152 137735 33554432000 4194304 8973514 140735643110896 140735643110160 7716280 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16674/statm: 138512 137735 445 1167 0 137293 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 554048
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16797
/proc/meminfo: memFree=26490064/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=537664 CPUtime=882.06 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 138431 0 0 0 87887 319 0 0 20 0 1 0 280477427 550567936 133639 33554432000 4194304 8973514 140735643110896 140735643110392 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16674/statm: 134416 133639 445 1167 0 133197 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 537664
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16797
/proc/meminfo: memFree=26471740/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=537664 CPUtime=942.05 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 138431 0 0 0 93867 338 0 0 20 0 1 0 280477427 550567936 133639 33554432000 4194304 8973514 140735643110896 140735643110160 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16674/statm: 134416 133639 445 1167 0 133197 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 537664
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16797
/proc/meminfo: memFree=26454228/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=537664 CPUtime=1002.05 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 138431 0 0 0 99851 354 0 0 20 0 1 0 280477427 550567936 133639 33554432000 4194304 8973514 140735643110896 140735643110392 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16674/statm: 134416 133639 445 1167 0 133197 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 537664
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16798
/proc/meminfo: memFree=26435876/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=537664 CPUtime=1062.04 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 138431 0 0 0 105835 369 0 0 20 0 1 0 280477427 550567936 133639 33554432000 4194304 8973514 140735643110896 140735643110392 4441393 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16674/statm: 134416 133639 445 1167 0 133197 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 537664
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16801
/proc/meminfo: memFree=26418272/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=537664 CPUtime=1122.03 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 138431 0 0 0 111819 384 0 0 20 0 1 0 280477427 550567936 133639 33554432000 4194304 8973514 140735643110896 140735643110392 6540736 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16674/statm: 134416 133639 445 1167 0 133197 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 537664
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16801
/proc/meminfo: memFree=26405260/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=537664 CPUtime=1182.01 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 138431 0 0 0 117797 404 0 0 20 0 1 0 280477427 550567936 133639 33554432000 4194304 8973514 140735643110896 140735643110392 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16674/statm: 134416 133639 445 1167 0 133197 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 537664
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16801
/proc/meminfo: memFree=26391160/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=537664 CPUtime=1242.01 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 138431 0 0 0 123778 423 0 0 20 0 1 0 280477427 550567936 133639 33554432000 4194304 8973514 140735643110896 140735643110392 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16674/statm: 134416 133639 445 1167 0 133197 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 537664
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16801
/proc/meminfo: memFree=26377560/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=537664 CPUtime=1302 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 138440 0 0 0 129760 440 0 0 20 0 1 0 280477427 550567936 133639 33554432000 4194304 8973514 140735643110896 140735643110392 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16674/statm: 134416 133639 445 1167 0 133197 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 537664
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16802
/proc/meminfo: memFree=26360000/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=537664 CPUtime=1361.98 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 138440 0 0 0 135744 454 0 0 20 0 1 0 280477427 550567936 133639 33554432000 4194304 8973514 140735643110896 140735643110392 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16674/statm: 134416 133639 445 1167 0 133197 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 537664
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16802
/proc/meminfo: memFree=26322924/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=556096 CPUtime=1421.98 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 143048 0 0 0 141729 469 0 0 20 0 1 0 280477427 569442304 138247 33554432000 4194304 8973514 140735643110896 140735643110392 4427192 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16674/statm: 139024 138247 445 1167 0 137805 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 556096
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16802
/proc/meminfo: memFree=26280020/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=581696 CPUtime=1481.97 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 149448 0 0 0 147712 485 0 0 20 0 1 0 280477427 595656704 144647 33554432000 4194304 8973514 140735643110896 140735643110392 7716813 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16674/statm: 145424 144647 445 1167 0 144205 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 581696
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16802
/proc/meminfo: memFree=26238732/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=604224 CPUtime=1541.96 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 155080 0 0 0 153697 499 0 0 20 0 1 0 280477427 618725376 150279 33554432000 4194304 8973514 140735643110896 140735643110160 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16674/statm: 151056 150279 445 1167 0 149837 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 604224
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16802
/proc/meminfo: memFree=26220380/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=607296 CPUtime=1601.95 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 155848 0 0 0 159685 510 0 0 20 0 1 0 280477427 621871104 151047 33554432000 4194304 8973514 140735643110896 140735643110160 4419500 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16674/statm: 151824 151047 445 1167 0 150605 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 607296
[startup+1662.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/172 16831
/proc/meminfo: memFree=26632200/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=639040 CPUtime=1661.94 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 163784 0 0 0 165671 523 0 0 20 0 1 0 280477427 654376960 158983 33554432000 4194304 8973514 140735643110896 140735643110392 4481284 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16674/statm: 159760 158983 445 1167 0 158541 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 639040
[startup+1722.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/178 16844
/proc/meminfo: memFree=22795008/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=669760 CPUtime=1721.93 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 171464 0 0 0 171656 537 0 0 20 0 1 0 280477427 685834240 166663 33554432000 4194304 8973514 140735643110896 140735643110392 4427192 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16674/statm: 167440 166663 445 1167 0 166221 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 669760
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 16867
/proc/meminfo: memFree=19833824/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=669760 CPUtime=1781.92 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 171464 0 0 0 177642 550 0 0 20 0 1 0 280477427 685834240 166663 33554432000 4194304 8973514 140735643110896 140735643110392 4441196 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16674/statm: 167440 166663 445 1167 0 166221 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 669760
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 16867
/proc/meminfo: memFree=17597848/32873648 swapFree=6848/6848
[pid=16674] ppid=16672 vsize=669760 CPUtime=1800.02 cores=1,3,5,7
/proc/16674/stat : 16674 (toysat) R 16672 16674 14927 0 -1 4202496 171464 0 0 0 179448 554 0 0 20 0 1 0 280477427 685834240 166663 33554432000 4194304 8973514 140735643110896 140735643110392 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16674/statm: 167440 166663 445 1167 0 166221 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 669760
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.42
CPU time (s): 1800.05
CPU user time (s): 1794.49
CPU system time (s): 5.55615
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 669760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.49
system time used= 5.55616
maximum resident set size= 666652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171464
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= 117
involuntary context switches= 2551
runsolver used 3.59145 second user time and 9.42357 second system time
The end