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-4110406-1466345022/watcher-4110406-1466345022 -o /tmp/evaluation-result-4110406-1466345022/solver-4110406-1466345022 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466341817-6063 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4110406-1466345022.wbo
pid=8238
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.37 2.34 2.20 3/179 8241
/proc/meminfo: memFree=28801820/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=713148 CPUtime=0 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 2660 0 0 0 0 0 0 0 20 0 4 0 36548802 730263552 3020 33554432000 4194304 16246674 140736250278080 140736250277504 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 179055 3028 441 2943 0 175949 0
[pid=8241/tid=8242] ppid=8238 vsize=730556 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 748089344 3088 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=735676 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 753332224 3106 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=739772 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36548802 757526528 3122 33554432000 4194304 16246674 140736250278080 140114774707376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[startup+0.100168 s]
/proc/loadavg: 2.37 2.34 2.20 3/179 8241
/proc/meminfo: memFree=28801820/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 25003 0 0 0 5 3 0 0 20 0 4 0 36548802 1247350784 25356 33554432000 4194304 16246674 140736250278080 140736250277504 12459048 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 304529 25360 611 2943 0 301423 0
[pid=8241/tid=8242] ppid=8238 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1247350784 25362 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1247350784 25367 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36548802 1247350784 25370 33554432000 4194304 16246674 140736250278080 140114774707376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116
[startup+0.200498 s]
/proc/loadavg: 2.37 2.34 2.20 3/179 8241
/proc/meminfo: memFree=28801820/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1223236 CPUtime=0.19 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 36011 0 0 0 14 5 0 0 20 0 4 0 36548802 1252593664 36318 33554432000 4194304 16246674 140736250278080 140736250277392 6757608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 305809 36318 860 2943 0 302703 0
[pid=8241/tid=8242] ppid=8238 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1252593664 36318 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1252593664 36318 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36548802 1252593664 36318 33554432000 4194304 16246674 140736250278080 140114774707376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1223236
[startup+0.300482 s]
/proc/loadavg: 2.37 2.34 2.20 3/179 8241
/proc/meminfo: memFree=28801820/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1307204 CPUtime=0.28 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 48037 0 0 0 22 6 0 0 20 0 4 0 36548802 1338576896 48344 33554432000 4194304 16246674 140736250278080 140736250277392 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 326801 48355 918 2943 0 323695 0
[pid=8241/tid=8242] ppid=8238 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1338576896 48359 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1338576896 48363 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36548802 1338576896 48369 33554432000 4194304 16246674 140736250278080 140114774707376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1307204
[startup+0.700385 s]
/proc/loadavg: 2.37 2.34 2.20 3/179 8241
/proc/meminfo: memFree=28801820/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1308228 CPUtime=0.69 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 86072 0 0 0 57 12 0 0 20 0 4 0 36548802 1339625472 86379 33554432000 4194304 16246674 140736250278080 140736250259968 5546177 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 327057 86379 920 2943 0 323951 0
[pid=8241/tid=8242] ppid=8238 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1339625472 86379 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1339625472 86379 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36548802 1339625472 86379 33554432000 4194304 16246674 140736250278080 140114774707376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1308228
[startup+1.50041 s]
/proc/loadavg: 2.34 2.34 2.20 3/183 8245
/proc/meminfo: memFree=28358796/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1308228 CPUtime=1.49 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 118656 0 0 0 133 16 0 0 20 0 4 0 36548802 1339625472 118963 33554432000 4194304 16246674 140736250278080 140736250259968 5823615 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 327057 118963 920 2943 0 323951 0
[pid=8241/tid=8242] ppid=8238 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1339625472 118963 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1339625472 118963 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36548802 1339625472 118963 33554432000 4194304 16246674 140736250278080 140114774707376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1308228
[startup+3.10031 s]
/proc/loadavg: 2.34 2.34 2.20 3/183 8245
/proc/meminfo: memFree=28325564/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1308228 CPUtime=3.09 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 118876 0 0 0 293 16 0 0 20 0 4 0 36548802 1339625472 119183 33554432000 4194304 16246674 140736250278080 140736250277256 5545784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 327057 119183 931 2943 0 323951 0
[pid=8241/tid=8242] ppid=8238 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1339625472 119183 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1339625472 119183 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36548802 1339625472 119183 33554432000 4194304 16246674 140736250278080 140114774707376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228
[startup+6.3004 s]
/proc/loadavg: 2.31 2.33 2.20 3/183 8245
/proc/meminfo: memFree=28325320/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 118877 0 0 0 613 16 0 0 20 0 4 0 36548802 1339625472 119184 33554432000 4194304 16246674 140736250278080 140736250277256 12477720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 327057 119184 932 2943 0 323951 0
[pid=8241/tid=8242] ppid=8238 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1339625472 119184 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1339625472 119184 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36548802 1339625472 119184 33554432000 4194304 16246674 140736250278080 140114774707376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228
[startup+12.7004 s]
/proc/loadavg: 2.37 2.34 2.20 3/183 8245
/proc/meminfo: memFree=28322020/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1312324 CPUtime=12.69 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 119833 0 0 0 1252 17 0 0 20 0 4 0 36548802 1343819776 120140 33554432000 4194304 16246674 140736250278080 140736250277256 5662116 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 328081 120140 932 2943 0 324975 0
[pid=8241/tid=8242] ppid=8238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1343819776 120140 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1343819776 120140 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36548802 1343819776 120140 33554432000 4194304 16246674 140736250278080 140114774707376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324
[startup+25.5004 s]
/proc/loadavg: 2.37 2.34 2.21 3/183 8245
/proc/meminfo: memFree=28322280/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1312324 CPUtime=25.49 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 119901 0 0 0 2530 19 0 0 20 0 4 0 36548802 1343819776 120208 33554432000 4194304 16246674 140736250278080 140736250277256 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 328081 120208 932 2943 0 324975 0
[pid=8241/tid=8242] ppid=8238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1343819776 120208 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1343819776 120208 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36548802 1343819776 120208 33554432000 4194304 16246674 140736250278080 140114774707376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8241 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6005 s]
/proc/loadavg: 2.37 2.34 2.21 3/183 8245
/proc/meminfo: memFree=28322280/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1312324 CPUtime=25.59 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 119901 0 0 0 2540 19 0 0 20 0 4 0 36548802 1343819776 120208 33554432000 4194304 16246674 140736250278080 140736250277256 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 328081 120208 932 2943 0 324975 0
[pid=8241/tid=8242] ppid=8238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1343819776 120208 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1343819776 120208 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36548802 1343819776 120208 33554432000 4194304 16246674 140736250278080 140114774707376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 1312324
[startup+32.0073 s]
/proc/loadavg: 2.42 2.35 2.21 4/183 8245
/proc/meminfo: memFree=28322144/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1312324 CPUtime=31.99 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 119901 0 0 0 3179 20 0 0 20 0 4 0 36548802 1343819776 120208 33554432000 4194304 16246674 140736250278080 140736250277256 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 328081 120208 932 2943 0 324975 0
[pid=8241/tid=8242] ppid=8238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1343819776 120208 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1343819776 120208 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36548802 1343819776 120208 33554432000 4194304 16246674 140736250278080 140114774707376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 31.99
Current children cumulated vsize (KiB) 1312324
[startup+35.2004 s]
/proc/loadavg: 2.38 2.35 2.21 3/183 8245
/proc/meminfo: memFree=28322392/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1312324 CPUtime=35.19 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 119901 0 0 0 3499 20 0 0 20 0 4 0 36548802 1343819776 120208 33554432000 4194304 16246674 140736250278080 140736250277256 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 328081 120208 932 2943 0 324975 0
[pid=8241/tid=8242] ppid=8238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1343819776 120208 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1343819776 120208 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36548802 1343819776 120208 33554432000 4194304 16246674 140736250278080 140114774707376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 35.19
Current children cumulated vsize (KiB) 1312324
[startup+38.4004 s]
/proc/loadavg: 2.38 2.35 2.21 3/183 8245
/proc/meminfo: memFree=28322268/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1319492 CPUtime=38.39 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 121702 0 0 0 3818 21 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140736250259968 5661648 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 329873 122009 941 2943 0 326767 0
[pid=8241/tid=8242] ppid=8238 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140114774707376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 38.39
Current children cumulated vsize (KiB) 1319492
[startup+39.2004 s]
/proc/loadavg: 2.38 2.35 2.21 3/183 8245
/proc/meminfo: memFree=28315200/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1319492 CPUtime=39.18 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 121702 0 0 0 3897 21 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140736250259968 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 329873 122009 941 2943 0 326767 0
[pid=8241/tid=8242] ppid=8238 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140114774707376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 39.18
Current children cumulated vsize (KiB) 1319492
[startup+39.6004 s]
/proc/loadavg: 2.38 2.35 2.21 3/183 8245
/proc/meminfo: memFree=28315076/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1319492 CPUtime=39.59 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 121702 0 0 0 3938 21 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140736250259968 5722842 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 329873 122009 941 2943 0 326767 0
[pid=8241/tid=8242] ppid=8238 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140114774707376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 39.59
Current children cumulated vsize (KiB) 1319492
[startup+40.0004 s]
/proc/loadavg: 2.38 2.35 2.21 3/183 8245
/proc/meminfo: memFree=28315076/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1319492 CPUtime=39.98 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 121702 0 0 0 3977 21 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140736250259968 5531428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 329873 122009 941 2943 0 326767 0
[pid=8241/tid=8242] ppid=8238 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140114774707376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (KiB) 1319492
[startup+40.1004 s]
/proc/loadavg: 2.38 2.35 2.21 3/183 8245
/proc/meminfo: memFree=28315076/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1319492 CPUtime=40.08 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 121702 0 0 0 3987 21 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140736250259968 5545784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 329873 122009 941 2943 0 326767 0
[pid=8241/tid=8242] ppid=8238 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140114774707376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 40.08
Current children cumulated vsize (KiB) 1319492
Child status: 0
Real time (s): 40.1679
CPU time (s): 40.1609
CPU user time (s): 39.9169
CPU system time (s): 0.243962
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 1319492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.9169
system time used= 0.243962
maximum resident set size= 488040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121704
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= 18
involuntary context switches= 42
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.253961 second user time and 0.228965 second system time
The end