runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4103953-1466239675/watcher-4103953-1466239675 -o /tmp/evaluation-result-4103953-1466239675/solver-4103953-1466239675 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-596 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103953-1466239675.opb
pid=6415
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.31 2.30 2.27 4/179 6418
/proc/meminfo: memFree=27389524/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=99768 CPUtime=0 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) S 6415 6418 579 0 -1 4202496 400 0 0 0 0 0 0 0 20 0 2 0 26015122 102162432 269 33554432000 4194304 16246674 140737033751344 140737033750544 14069300 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 24942 269 210 2943 0 21836 0
[pid=6418/tid=6419] ppid=6415 vsize=99768 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) R 6415 6418 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 2 0 26015123 102162432 269 33554432000 4194304 16246674 140737033751344 140096008350896 14063209 0 0 0 34082818 0 0 0 -1 3 0 0 0 0 0
[pid=6418/tid=6420] ppid=6415 vsize=99768 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6420/stat : 6420 (toysat) R 6415 6418 579 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 3 0 26015123 102162432 781 33554432000 4194304 16246674 140737033751344 140095927610648 15002730 0 0 0 34082818 0 0 0 -1 5 0 0 0 0 0
[startup+0.100175 s]
/proc/loadavg: 2.31 2.30 2.27 4/179 6418
/proc/meminfo: memFree=27389524/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=1304132 CPUtime=0.08 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) R 6415 6418 579 0 -1 4202496 29199 0 0 0 4 4 0 0 20 0 4 0 26015122 1335431168 29499 33554432000 4194304 16246674 140737033751344 140737033750656 8055408 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 326033 29515 800 2943 0 322927 0
[pid=6418/tid=6419] ppid=6415 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) S 6415 6418 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015123 1335431168 29526 33554432000 4194304 16246674 140737033751344 140096008334576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6418/tid=6420] ppid=6415 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6420/stat : 6420 (toysat) S 6415 6418 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26015123 1335431168 29537 33554432000 4194304 16246674 140737033751344 140095927594224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1304132
[startup+0.200509 s]
/proc/loadavg: 2.31 2.30 2.27 4/179 6418
/proc/meminfo: memFree=27389524/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=1310276 CPUtime=0.19 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) R 6415 6418 579 0 -1 4202496 38144 0 0 0 13 6 0 0 20 0 4 0 26015122 1341722624 38954 33554432000 4194304 16246674 140737033751344 140737033750656 4221019 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 327569 38954 800 2943 0 324463 0
[pid=6418/tid=6419] ppid=6415 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) S 6415 6418 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015123 1341722624 38954 33554432000 4194304 16246674 140737033751344 140096008334576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6418/tid=6420] ppid=6415 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6420/stat : 6420 (toysat) S 6415 6418 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26015123 1341722624 38954 33554432000 4194304 16246674 140737033751344 140095927594224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1310276
[startup+0.300507 s]
/proc/loadavg: 2.31 2.30 2.27 4/179 6418
/proc/meminfo: memFree=27389524/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=1310276 CPUtime=0.29 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) R 6415 6418 579 0 -1 4202496 38144 0 0 0 23 6 0 0 20 0 4 0 26015122 1341722624 38954 33554432000 4194304 16246674 140737033751344 140737033750656 14073329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 327569 38954 800 2943 0 324463 0
[pid=6418/tid=6419] ppid=6415 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) S 6415 6418 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015123 1341722624 38954 33554432000 4194304 16246674 140737033751344 140096008334576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6418/tid=6420] ppid=6415 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6420/stat : 6420 (toysat) S 6415 6418 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26015123 1341722624 38954 33554432000 4194304 16246674 140737033751344 140095927594224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1310276
[startup+0.700432 s]
/proc/loadavg: 2.31 2.30 2.27 4/179 6418
/proc/meminfo: memFree=27389524/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=1324612 CPUtime=0.69 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) R 6415 6418 579 0 -1 4202496 49926 0 0 0 61 8 0 0 20 0 4 0 26015122 1356402688 52780 33554432000 4194304 16246674 140737033751344 140737033734336 8055381 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 331153 52780 801 2943 0 328047 0
[pid=6418/tid=6419] ppid=6415 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) S 6415 6418 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015123 1356402688 52780 33554432000 4194304 16246674 140737033751344 140096008334576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6418/tid=6420] ppid=6415 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6420/stat : 6420 (toysat) S 6415 6418 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26015123 1356402688 52780 33554432000 4194304 16246674 140737033751344 140095927594224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1324612
[startup+1.50049 s]
/proc/loadavg: 2.45 2.32 2.28 4/183 6422
/proc/meminfo: memFree=27141712/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=1349188 CPUtime=1.48 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) R 6415 6418 579 0 -1 4202496 68057 0 0 0 137 11 0 0 20 0 4 0 26015122 1381568512 75510 33554432000 4194304 16246674 140737033751344 140737033734336 14073329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 337297 75510 801 2943 0 334191 0
[pid=6418/tid=6419] ppid=6415 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) S 6415 6418 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015123 1381568512 75510 33554432000 4194304 16246674 140737033751344 140096008334576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6418/tid=6420] ppid=6415 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6420/stat : 6420 (toysat) S 6415 6418 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26015123 1381568512 75510 33554432000 4194304 16246674 140737033751344 140095927594224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6418/tid=6421] ppid=6415 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6421/stat : 6421 (toysat) S 6415 6418 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015123 1381568512 75510 33554432000 4194304 16246674 140737033751344 140095917120688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1349188
[startup+3.1005 s]
/proc/loadavg: 2.45 2.32 2.28 4/183 6422
/proc/meminfo: memFree=26983220/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=1398340 CPUtime=3.09 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) R 6415 6418 579 0 -1 4202496 95098 0 0 0 292 17 0 0 20 0 4 0 26015122 1431900160 112771 33554432000 4194304 16246674 140737033751344 140737033734336 4220495 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 349585 112771 801 2943 0 346479 0
[pid=6418/tid=6419] ppid=6415 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) S 6415 6418 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015123 1431900160 112771 33554432000 4194304 16246674 140737033751344 140096008334576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6418/tid=6420] ppid=6415 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6420/stat : 6420 (toysat) S 6415 6418 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26015123 1431900160 112771 33554432000 4194304 16246674 140737033751344 140095927594224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6418/tid=6421] ppid=6415 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6421/stat : 6421 (toysat) S 6415 6418 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015123 1431900160 112771 33554432000 4194304 16246674 140737033751344 140095917120688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1398340
[startup+6.30048 s]
/proc/loadavg: 2.45 2.32 2.28 3/183 6422
/proc/meminfo: memFree=26631224/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=1496644 CPUtime=6.29 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) R 6415 6418 579 0 -1 4202496 172641 0 0 0 600 29 0 0 20 0 4 0 26015122 1532563456 209221 33554432000 4194304 16246674 140737033751344 140737033750560 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 374161 209221 802 2943 0 371055 0
[pid=6418/tid=6419] ppid=6415 vsize=1496644 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) S 6415 6418 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015123 1532563456 209221 33554432000 4194304 16246674 140737033751344 140096008334576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6418/tid=6420] ppid=6415 vsize=1496644 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6420/stat : 6420 (toysat) S 6415 6418 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26015123 1532563456 209221 33554432000 4194304 16246674 140737033751344 140095927594224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6418/tid=6421] ppid=6415 vsize=1496644 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6421/stat : 6421 (toysat) S 6415 6418 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015123 1532563456 209221 33554432000 4194304 16246674 140737033751344 140095917120688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1496644
[startup+12.7005 s]
/proc/loadavg: 2.38 2.31 2.28 3/183 6422
/proc/meminfo: memFree=26026276/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=1693252 CPUtime=12.69 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) R 6415 6418 579 0 -1 4202496 268178 0 0 0 1223 46 0 0 20 0 4 0 26015122 1733890048 344616 33554432000 4194304 16246674 140737033751344 140737033734336 4220520 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 423313 344616 802 2943 0 420207 0
[pid=6418/tid=6419] ppid=6415 vsize=1693252 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) S 6415 6418 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015123 1733890048 344616 33554432000 4194304 16246674 140737033751344 140096008334576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6418/tid=6420] ppid=6415 vsize=1693252 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6420/stat : 6420 (toysat) S 6415 6418 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26015123 1733890048 344616 33554432000 4194304 16246674 140737033751344 140095927594224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6418/tid=6421] ppid=6415 vsize=1693252 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6421/stat : 6421 (toysat) S 6415 6418 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015123 1733890048 344616 33554432000 4194304 16246674 140737033751344 140095917120688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1693252
[startup+25.5005 s]
/proc/loadavg: 2.32 2.30 2.27 3/183 6422
/proc/meminfo: memFree=23892024/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=3736132 CPUtime=25.48 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) R 6415 6418 579 0 -1 4202496 779605 0 0 0 2426 122 0 0 20 0 4 0 26015122 3825799168 875461 33554432000 4194304 16246674 140737033751344 140737033750440 4225151 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 934033 875461 836 2943 0 930927 0
[pid=6418/tid=6419] ppid=6415 vsize=3736132 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) S 6415 6418 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015123 3825799168 875461 33554432000 4194304 16246674 140737033751344 140096008334576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6418/tid=6420] ppid=6415 vsize=3736132 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6420/stat : 6420 (toysat) S 6415 6418 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26015123 3825799168 875461 33554432000 4194304 16246674 140737033751344 140095927594224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6418/tid=6421] ppid=6415 vsize=3736132 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6421/stat : 6421 (toysat) S 6415 6418 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015123 3825799168 875461 33554432000 4194304 16246674 140737033751344 140095917120688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3736132
[startup+51.1005 s]
/proc/loadavg: 2.36 2.31 2.28 3/183 6423
/proc/meminfo: memFree=20387984/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=7545412 CPUtime=51.08 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) R 6415 6418 579 0 -1 4202496 1731747 0 0 0 4858 250 0 0 20 0 4 0 26015122 7726501888 1827603 33554432000 4194304 16246674 140737033751344 140737033750008 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 1886353 1827611 836 2943 0 1883247 0
[pid=6418/tid=6419] ppid=6415 vsize=7545412 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) S 6415 6418 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015123 7726501888 1827615 33554432000 4194304 16246674 140737033751344 140096008334576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6418/tid=6420] ppid=6415 vsize=7545412 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6420/stat : 6420 (toysat) S 6415 6418 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26015123 7726501888 1827620 33554432000 4194304 16246674 140737033751344 140095927594000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6418/tid=6421] ppid=6415 vsize=7545412 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6421/stat : 6421 (toysat) S 6415 6418 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015123 7726501888 1827624 33554432000 4194304 16246674 140737033751344 140095917120688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 7545412
[startup+102.3 s]
/proc/loadavg: 2.31 2.30 2.27 3/183 6424
/proc/meminfo: memFree=13964760/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=13643332 CPUtime=102.28 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) R 6415 6418 579 0 -1 4202496 3256409 0 0 0 9769 459 0 0 20 0 4 0 26015122 13970771968 3352265 33554432000 4194304 16246674 140737033751344 140737033750440 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 3410833 3352265 837 2943 0 3407727 0
[pid=6418/tid=6419] ppid=6415 vsize=13643332 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) S 6415 6418 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015123 13970771968 3352265 33554432000 4194304 16246674 140737033751344 140096008334576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6418/tid=6420] ppid=6415 vsize=13643332 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6420/stat : 6420 (toysat) S 6415 6418 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26015123 13970771968 3352265 33554432000 4194304 16246674 140737033751344 140095927594224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6418/tid=6421] ppid=6415 vsize=13643332 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6421/stat : 6421 (toysat) S 6415 6418 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015123 13970771968 3352265 33554432000 4194304 16246674 140737033751344 140095917120688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 13643332
[startup+162.3 s]
/proc/loadavg: 2.20 2.27 2.26 3/184 6428
/proc/meminfo: memFree=13194956/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=14286404 CPUtime=162.26 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) R 6415 6418 579 0 -1 4202496 3363864 0 0 0 15747 479 0 0 20 0 4 0 26015122 14629277696 3512864 33554432000 4194304 16246674 140737033751344 140737033749312 14003409 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 3571601 3512864 841 2943 0 3568495 0
[pid=6418/tid=6419] ppid=6415 vsize=14286404 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) S 6415 6418 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015123 14629277696 3512864 33554432000 4194304 16246674 140737033751344 140096008334576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6418/tid=6420] ppid=6415 vsize=14286404 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6420/stat : 6420 (toysat) S 6415 6418 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26015123 14629277696 3512864 33554432000 4194304 16246674 140737033751344 140095927594000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6418/tid=6421] ppid=6415 vsize=14286404 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6421/stat : 6421 (toysat) S 6415 6418 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015123 14629277696 3512864 33554432000 4194304 16246674 140737033751344 140095917120688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 14286404
[startup+222.308 s]
/proc/loadavg: 2.26 2.28 2.27 3/183 6429
/proc/meminfo: memFree=12085296/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=15586884 CPUtime=222.26 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) R 6415 6418 579 0 -1 4202496 3630831 0 0 0 21697 529 0 0 20 0 4 0 26015122 15960969216 3838085 33554432000 4194304 16246674 140737033751344 140737033749312 14013533 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 3896721 3838085 841 2943 0 3893615 0
[pid=6418/tid=6419] ppid=6415 vsize=15586884 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) S 6415 6418 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015123 15960969216 3838085 33554432000 4194304 16246674 140737033751344 140096008334576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6418/tid=6420] ppid=6415 vsize=15586884 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6420/stat : 6420 (toysat) S 6415 6418 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26015123 15960969216 3838085 33554432000 4194304 16246674 140737033751344 140095927594000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6418/tid=6421] ppid=6415 vsize=15586884 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6421/stat : 6421 (toysat) S 6415 6418 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015123 15960969216 3838085 33554432000 4194304 16246674 140737033751344 140095917120688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 15586884
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+241.1 s]
/proc/loadavg: 2.39 2.31 2.28 4/183 6430
/proc/meminfo: memFree=11843420/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=15894084 CPUtime=241.05 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) R 6415 6418 579 0 -1 4202496 3707689 0 0 0 23562 543 0 0 20 0 4 0 26015122 16275542016 3914943 33554432000 4194304 16246674 140737033751344 140737033750440 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 3973521 3914950 841 2943 0 3970415 0
[pid=6418/tid=6419] ppid=6415 vsize=15894084 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) S 6415 6418 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015123 16275542016 3914956 33554432000 4194304 16246674 140737033751344 140096008334576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6418/tid=6420] ppid=6415 vsize=15894084 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6420/stat : 6420 (toysat) S 6415 6418 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26015123 16275542016 3914958 33554432000 4194304 16246674 140737033751344 140095927594224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6418/tid=6421] ppid=6415 vsize=15894084 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6421/stat : 6421 (toysat) S 6415 6418 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015123 16275542016 3914958 33554432000 4194304 16246674 140737033751344 140095917120688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 241.05
Current children cumulated vsize (KiB) 15894084
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6418 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+241.6 s]
/proc/loadavg: 2.39 2.31 2.28 4/183 6430
/proc/meminfo: memFree=11843420/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=0 CPUtime=241.54 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) Z 6415 6418 579 0 -1 4203532 3708056 0 0 0 23562 592 0 0 20 0 2 0 26015122 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 0 0 0 0 0 0 0
[pid=6418/tid=6419] ppid=6415 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) R 6415 6418 579 0 -1 4203588 9 0 0 0 0 48 0 0 20 0 2 0 26015123 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 241.54
Current children cumulated vsize (KiB) 0
[startup+241.8 s]
/proc/loadavg: 2.39 2.31 2.28 4/183 6430
/proc/meminfo: memFree=11843420/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=0 CPUtime=241.74 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) Z 6415 6418 579 0 -1 4203532 3708056 0 0 0 23562 612 0 0 20 0 2 0 26015122 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 0 0 0 0 0 0 0
[pid=6418/tid=6419] ppid=6415 vsize=0 CPUtime=0.68 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) R 6415 6418 579 0 -1 4203588 9 0 0 0 0 68 0 0 20 0 2 0 26015123 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 241.74
Current children cumulated vsize (KiB) 0
[startup+241.9 s]
/proc/loadavg: 2.39 2.31 2.28 4/183 6430
/proc/meminfo: memFree=11843420/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=0 CPUtime=241.84 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) Z 6415 6418 579 0 -1 4203532 3708056 0 0 0 23562 622 0 0 20 0 2 0 26015122 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 0 0 0 0 0 0 0
[pid=6418/tid=6419] ppid=6415 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) R 6415 6418 579 0 -1 4203588 9 0 0 0 0 78 0 0 20 0 2 0 26015123 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 241.84
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 241.907
CPU time (s): 241.851
CPU user time (s): 235.629
CPU system time (s): 6.22205
CPU usage (%): 99.9769
Max. virtual memory (cumulated for all children) (KiB): 15894084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 235.629
system time used= 6.22205
maximum resident set size= 15661240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3708056
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= 75
involuntary context switches= 339
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.00385 second user time and 1.21381 second system time
The end