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-4088756-1466015016/watcher-4088756-1466015016 -o /tmp/evaluation-result-4088756-1466015016/solver-4088756-1466015016 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5972 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088756-1466015016.opb
pid=6760
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.08 2.09 2.09 3/179 6763
/proc/meminfo: memFree=30418492/32872528 swapFree=496356/529060
[pid=6763] ppid=6760 vsize=737724 CPUtime=0 cores=1,3,5,7
/proc/6763/stat : 6763 (toysat) R 6760 6763 5955 0 -1 4202496 2757 0 0 0 0 0 0 0 20 0 4 0 3547080 755429376 2608 33554432000 4194304 16246674 140734730793936 140734730793360 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6763/statm: 184943 2616 441 2943 0 181837 0
[pid=6763/tid=6764] ppid=6760 vsize=755132 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6764/stat : 6764 (toysat) S 6760 6763 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3547080 773255168 2675 33554432000 4194304 16246674 140734730793936 140352131411184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6763/tid=6765] ppid=6760 vsize=759228 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6765/stat : 6765 (toysat) S 6760 6763 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3547080 777449472 2692 33554432000 4194304 16246674 140734730793936 140352120921328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6763/tid=6766] ppid=6760 vsize=763324 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6766/stat : 6766 (toysat) S 6760 6763 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3547080 781643776 2708 33554432000 4194304 16246674 140734730793936 140352110447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[startup+0.100176 s]
/proc/loadavg: 2.08 2.09 2.09 3/179 6763
/proc/meminfo: memFree=30418492/32872528 swapFree=496356/529060
[pid=6763] ppid=6760 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/6763/stat : 6763 (toysat) R 6760 6763 5955 0 -1 4202496 23688 0 0 0 6 3 0 0 20 0 4 0 3547080 1247350784 23527 33554432000 4194304 16246674 140734730793936 140734730793360 14073233 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6763/statm: 304529 23534 716 2943 0 301423 0
[pid=6763/tid=6764] ppid=6760 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6764/stat : 6764 (toysat) S 6760 6763 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3547080 1247350784 23541 33554432000 4194304 16246674 140734730793936 140352131411184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6763/tid=6765] ppid=6760 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6765/stat : 6765 (toysat) S 6760 6763 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3547080 1247350784 23548 33554432000 4194304 16246674 140734730793936 140352120921328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6763/tid=6766] ppid=6760 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6766/stat : 6766 (toysat) S 6760 6763 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3547080 1247350784 23554 33554432000 4194304 16246674 140734730793936 140352110447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116
[startup+0.200523 s]
/proc/loadavg: 2.08 2.09 2.09 3/179 6763
/proc/meminfo: memFree=30418492/32872528 swapFree=496356/529060
[pid=6763] ppid=6760 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/6763/stat : 6763 (toysat) R 6760 6763 5955 0 -1 4202496 44640 0 0 0 13 6 0 0 20 0 4 0 3547080 1247350784 44479 33554432000 4194304 16246674 140734730793936 140734730793360 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6763/statm: 304529 44489 716 2943 0 301423 0
[pid=6763/tid=6764] ppid=6760 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6764/stat : 6764 (toysat) S 6760 6763 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3547080 1247350784 44496 33554432000 4194304 16246674 140734730793936 140352131411184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6763/tid=6765] ppid=6760 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6765/stat : 6765 (toysat) S 6760 6763 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3547080 1247350784 44504 33554432000 4194304 16246674 140734730793936 140352120921328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6763/tid=6766] ppid=6760 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6766/stat : 6766 (toysat) S 6760 6763 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3547080 1247350784 44510 33554432000 4194304 16246674 140734730793936 140352110447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116
[startup+0.300493 s]
/proc/loadavg: 2.08 2.09 2.09 3/179 6763
/proc/meminfo: memFree=30418492/32872528 swapFree=496356/529060
[pid=6763] ppid=6760 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/6763/stat : 6763 (toysat) R 6760 6763 5955 0 -1 4202496 65414 0 0 0 20 9 0 0 20 0 4 0 3547080 1247350784 65253 33554432000 4194304 16246674 140734730793936 140734730793360 5668190 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6763/statm: 304529 65264 716 2943 0 301423 0
[pid=6763/tid=6764] ppid=6760 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6764/stat : 6764 (toysat) S 6760 6763 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3547080 1247350784 65270 33554432000 4194304 16246674 140734730793936 140352131411184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6763/tid=6765] ppid=6760 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6765/stat : 6765 (toysat) S 6760 6763 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3547080 1247350784 65276 33554432000 4194304 16246674 140734730793936 140352120921328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6763/tid=6766] ppid=6760 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6766/stat : 6766 (toysat) S 6760 6763 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3547080 1247350784 65283 33554432000 4194304 16246674 140734730793936 140352110447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116
[startup+0.700413 s]
/proc/loadavg: 2.08 2.09 2.09 3/179 6763
/proc/meminfo: memFree=30418492/32872528 swapFree=496356/529060
[pid=6763] ppid=6760 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/6763/stat : 6763 (toysat) R 6760 6763 5955 0 -1 4202496 149089 0 0 0 49 20 0 0 20 0 4 0 3547080 1247350784 148928 33554432000 4194304 16246674 140734730793936 140734730775808 12482501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6763/statm: 304529 148940 717 2943 0 301423 0
[pid=6763/tid=6764] ppid=6760 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6764/stat : 6764 (toysat) S 6760 6763 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3547080 1247350784 148946 33554432000 4194304 16246674 140734730793936 140352131411184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6763/tid=6765] ppid=6760 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6765/stat : 6765 (toysat) S 6760 6763 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3547080 1247350784 148953 33554432000 4194304 16246674 140734730793936 140352120921328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6763/tid=6766] ppid=6760 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6766/stat : 6766 (toysat) S 6760 6763 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3547080 1247350784 148958 33554432000 4194304 16246674 140734730793936 140352110447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116
[startup+1.50042 s]
/proc/loadavg: 2.08 2.09 2.09 4/183 6767
/proc/meminfo: memFree=29490212/32872528 swapFree=496356/529060
[pid=6763] ppid=6760 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/6763/stat : 6763 (toysat) R 6760 6763 5955 0 -1 4202496 245697 0 0 0 115 34 0 0 20 0 4 0 3547080 1248399360 245516 33554432000 4194304 16246674 140734730793936 140734730775808 5754912 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6763/statm: 304785 245516 791 2943 0 301679 0
[pid=6763/tid=6764] ppid=6760 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6764/stat : 6764 (toysat) S 6760 6763 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3547080 1248399360 245516 33554432000 4194304 16246674 140734730793936 140352131411184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6763/tid=6765] ppid=6760 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6765/stat : 6765 (toysat) S 6760 6763 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3547080 1248399360 245516 33554432000 4194304 16246674 140734730793936 140352120921328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6763/tid=6766] ppid=6760 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6766/stat : 6766 (toysat) S 6760 6763 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3547080 1248399360 245516 33554432000 4194304 16246674 140734730793936 140352110447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140
[startup+3.10042 s]
/proc/loadavg: 2.15 2.10 2.09 3/183 6767
/proc/meminfo: memFree=29350960/32872528 swapFree=496356/529060
[pid=6763] ppid=6760 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/6763/stat : 6763 (toysat) R 6760 6763 5955 0 -1 4202496 267460 0 0 0 272 36 0 0 20 0 4 0 3547080 1337528320 267279 33554432000 4194304 16246674 140734730793936 140734730776936 6011852 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6763/statm: 326545 267279 791 2943 0 323439 0
[pid=6763/tid=6764] ppid=6760 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6764/stat : 6764 (toysat) S 6760 6763 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3547080 1337528320 267279 33554432000 4194304 16246674 140734730793936 140352131411184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6763/tid=6765] ppid=6760 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6765/stat : 6765 (toysat) S 6760 6763 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3547080 1337528320 267279 33554432000 4194304 16246674 140734730793936 140352120921328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6763/tid=6766] ppid=6760 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6766/stat : 6766 (toysat) S 6760 6763 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3547080 1337528320 267279 33554432000 4194304 16246674 140734730793936 140352110447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180
[startup+6.30042 s]
/proc/loadavg: 2.15 2.10 2.09 3/183 6767
/proc/meminfo: memFree=29349204/32872528 swapFree=496356/529060
[pid=6763] ppid=6760 vsize=1307204 CPUtime=6.28 cores=1,3,5,7
/proc/6763/stat : 6763 (toysat) R 6760 6763 5955 0 -1 4202496 267569 0 0 0 592 36 0 0 20 0 4 0 3547080 1338576896 267388 33554432000 4194304 16246674 140734730793936 140734730775808 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6763/statm: 326801 267388 793 2943 0 323695 0
[pid=6763/tid=6764] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6764/stat : 6764 (toysat) S 6760 6763 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267388 33554432000 4194304 16246674 140734730793936 140352131411184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6763/tid=6765] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6765/stat : 6765 (toysat) S 6760 6763 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267388 33554432000 4194304 16246674 140734730793936 140352120921328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6763/tid=6766] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6766/stat : 6766 (toysat) S 6760 6763 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267388 33554432000 4194304 16246674 140734730793936 140352110447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204
[startup+12.7004 s]
/proc/loadavg: 2.13 2.10 2.09 3/183 6767
/proc/meminfo: memFree=29348500/32872528 swapFree=496356/529060
[pid=6763] ppid=6760 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/6763/stat : 6763 (toysat) R 6760 6763 5955 0 -1 4202496 267831 0 0 0 1232 37 0 0 20 0 4 0 3547080 1338576896 267650 33554432000 4194304 16246674 140734730793936 140734730776936 12458768 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6763/statm: 326801 267650 793 2943 0 323695 0
[pid=6763/tid=6764] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6764/stat : 6764 (toysat) S 6760 6763 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267650 33554432000 4194304 16246674 140734730793936 140352131411184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6763/tid=6765] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6765/stat : 6765 (toysat) S 6760 6763 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267650 33554432000 4194304 16246674 140734730793936 140352120921328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6763/tid=6766] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6766/stat : 6766 (toysat) S 6760 6763 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267650 33554432000 4194304 16246674 140734730793936 140352110447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204
[startup+25.5005 s]
/proc/loadavg: 2.11 2.09 2.09 3/183 6767
/proc/meminfo: memFree=29348704/32872528 swapFree=496356/529060
[pid=6763] ppid=6760 vsize=1307204 CPUtime=25.48 cores=1,3,5,7
/proc/6763/stat : 6763 (toysat) R 6760 6763 5955 0 -1 4202496 267833 0 0 0 2511 37 0 0 20 0 4 0 3547080 1338576896 267652 33554432000 4194304 16246674 140734730793936 140734730775808 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6763/statm: 326801 267652 793 2943 0 323695 0
[pid=6763/tid=6764] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6764/stat : 6764 (toysat) S 6760 6763 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267652 33554432000 4194304 16246674 140734730793936 140352131411184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6763/tid=6765] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6765/stat : 6765 (toysat) S 6760 6763 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267652 33554432000 4194304 16246674 140734730793936 140352120921328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6763/tid=6766] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6766/stat : 6766 (toysat) S 6760 6763 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267652 33554432000 4194304 16246674 140734730793936 140352110447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1307204
[startup+51.1005 s]
/proc/loadavg: 2.15 2.10 2.09 3/183 6767
/proc/meminfo: memFree=29349052/32872528 swapFree=496356/529060
[pid=6763] ppid=6760 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/6763/stat : 6763 (toysat) R 6760 6763 5955 0 -1 4202496 267833 0 0 0 5070 38 0 0 20 0 4 0 3547080 1338576896 267652 33554432000 4194304 16246674 140734730793936 140734730776936 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6763/statm: 326801 267652 793 2943 0 323695 0
[pid=6763/tid=6764] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6764/stat : 6764 (toysat) S 6760 6763 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267652 33554432000 4194304 16246674 140734730793936 140352131411184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6763/tid=6765] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6765/stat : 6765 (toysat) S 6760 6763 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267652 33554432000 4194304 16246674 140734730793936 140352120921328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6763/tid=6766] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6766/stat : 6766 (toysat) S 6760 6763 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267652 33554432000 4194304 16246674 140734730793936 140352110447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204
[startup+102.301 s]
/proc/loadavg: 2.19 2.11 2.10 3/183 6768
/proc/meminfo: memFree=29348784/32872528 swapFree=496356/529060
[pid=6763] ppid=6760 vsize=1307204 CPUtime=102.28 cores=1,3,5,7
/proc/6763/stat : 6763 (toysat) R 6760 6763 5955 0 -1 4202496 267833 0 0 0 10188 40 0 0 20 0 4 0 3547080 1338576896 267652 33554432000 4194304 16246674 140734730793936 140734730775808 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6763/statm: 326801 267652 793 2943 0 323695 0
[pid=6763/tid=6764] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6764/stat : 6764 (toysat) S 6760 6763 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267652 33554432000 4194304 16246674 140734730793936 140352131411184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6763/tid=6765] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6765/stat : 6765 (toysat) S 6760 6763 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267652 33554432000 4194304 16246674 140734730793936 140352120921328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6763/tid=6766] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6766/stat : 6766 (toysat) S 6760 6763 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267652 33554432000 4194304 16246674 140734730793936 140352110447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6763 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.408 s]
/proc/loadavg: 2.19 2.11 2.10 3/183 6768
/proc/meminfo: memFree=29348784/32872528 swapFree=496356/529060
[pid=6763] ppid=6760 vsize=1307204 CPUtime=102.38 cores=1,3,5,7
/proc/6763/stat : 6763 (toysat) R 6760 6763 5955 0 -1 4202496 267833 0 0 0 10198 40 0 0 20 0 4 0 3547080 1338576896 267652 33554432000 4194304 16246674 140734730793936 140734730775808 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6763/statm: 326801 267652 793 2943 0 323695 0
[pid=6763/tid=6764] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6764/stat : 6764 (toysat) S 6760 6763 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267652 33554432000 4194304 16246674 140734730793936 140352131411184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6763/tid=6765] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6765/stat : 6765 (toysat) S 6760 6763 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267652 33554432000 4194304 16246674 140734730793936 140352120921328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6763/tid=6766] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6766/stat : 6766 (toysat) S 6760 6763 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267652 33554432000 4194304 16246674 140734730793936 140352110447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 1307204
[startup+128 s]
/proc/loadavg: 2.12 2.10 2.09 3/182 6769
/proc/meminfo: memFree=29348844/32872528 swapFree=496356/529060
[pid=6763] ppid=6760 vsize=1307204 CPUtime=127.97 cores=1,3,5,7
/proc/6763/stat : 6763 (toysat) R 6760 6763 5955 0 -1 4202496 267833 0 0 0 12757 40 0 0 20 0 4 0 3547080 1338576896 267652 33554432000 4194304 16246674 140734730793936 140734730776936 5677376 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6763/statm: 326801 267652 793 2943 0 323695 0
[pid=6763/tid=6764] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6764/stat : 6764 (toysat) S 6760 6763 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267652 33554432000 4194304 16246674 140734730793936 140352131411184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6763/tid=6765] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6765/stat : 6765 (toysat) S 6760 6763 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267652 33554432000 4194304 16246674 140734730793936 140352120921328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6763/tid=6766] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6766/stat : 6766 (toysat) S 6760 6763 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267652 33554432000 4194304 16246674 140734730793936 140352110447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 127.97
Current children cumulated vsize (KiB) 1307204
[startup+140.8 s]
/proc/loadavg: 2.18 2.12 2.09 3/183 6770
/proc/meminfo: memFree=29347192/32872528 swapFree=496356/529060
[pid=6763] ppid=6760 vsize=1307204 CPUtime=140.77 cores=1,3,5,7
/proc/6763/stat : 6763 (toysat) R 6760 6763 5955 0 -1 4202496 267835 0 0 0 14036 41 0 0 20 0 4 0 3547080 1338576896 267908 33554432000 4194304 16246674 140734730793936 140734730776936 6861720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6763/statm: 326801 267908 793 2943 0 323695 0
[pid=6763/tid=6764] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6764/stat : 6764 (toysat) S 6760 6763 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267908 33554432000 4194304 16246674 140734730793936 140352131411184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6763/tid=6765] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6765/stat : 6765 (toysat) S 6760 6763 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267908 33554432000 4194304 16246674 140734730793936 140352120921328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6763/tid=6766] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6766/stat : 6766 (toysat) S 6760 6763 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267908 33554432000 4194304 16246674 140734730793936 140352110447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 140.77
Current children cumulated vsize (KiB) 1307204
[startup+144 s]
/proc/loadavg: 2.17 2.11 2.09 3/183 6770
/proc/meminfo: memFree=29347316/32872528 swapFree=496356/529060
[pid=6763] ppid=6760 vsize=1307204 CPUtime=143.96 cores=1,3,5,7
/proc/6763/stat : 6763 (toysat) R 6760 6763 5955 0 -1 4202496 267835 0 0 0 14355 41 0 0 20 0 4 0 3547080 1338576896 267908 33554432000 4194304 16246674 140734730793936 140734730776936 5707886 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6763/statm: 326801 267908 793 2943 0 323695 0
[pid=6763/tid=6764] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6764/stat : 6764 (toysat) S 6760 6763 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267908 33554432000 4194304 16246674 140734730793936 140352131411184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6763/tid=6765] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6765/stat : 6765 (toysat) S 6760 6763 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267908 33554432000 4194304 16246674 140734730793936 140352120921328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6763/tid=6766] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6766/stat : 6766 (toysat) S 6760 6763 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267908 33554432000 4194304 16246674 140734730793936 140352110447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 143.96
Current children cumulated vsize (KiB) 1307204
[startup+145.6 s]
/proc/loadavg: 2.17 2.11 2.09 3/183 6770
/proc/meminfo: memFree=29346928/32872528 swapFree=496356/529060
[pid=6763] ppid=6760 vsize=1307204 CPUtime=145.56 cores=1,3,5,7
/proc/6763/stat : 6763 (toysat) R 6760 6763 5955 0 -1 4202496 267835 0 0 0 14515 41 0 0 20 0 4 0 3547080 1338576896 267908 33554432000 4194304 16246674 140734730793936 140734730775808 5672160 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6763/statm: 326801 267908 793 2943 0 323695 0
[pid=6763/tid=6764] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6764/stat : 6764 (toysat) S 6760 6763 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267908 33554432000 4194304 16246674 140734730793936 140352131411184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6763/tid=6765] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6765/stat : 6765 (toysat) S 6760 6763 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267908 33554432000 4194304 16246674 140734730793936 140352120921328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6763/tid=6766] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6766/stat : 6766 (toysat) S 6760 6763 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267908 33554432000 4194304 16246674 140734730793936 140352110447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 145.56
Current children cumulated vsize (KiB) 1307204
[startup+147.2 s]
/proc/loadavg: 2.17 2.11 2.09 3/183 6770
/proc/meminfo: memFree=29346928/32872528 swapFree=496356/529060
[pid=6763] ppid=6760 vsize=1307204 CPUtime=147.16 cores=1,3,5,7
/proc/6763/stat : 6763 (toysat) R 6760 6763 5955 0 -1 4202496 267835 0 0 0 14675 41 0 0 20 0 4 0 3547080 1338576896 267908 33554432000 4194304 16246674 140734730793936 140734730776936 13943729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6763/statm: 326801 267908 793 2943 0 323695 0
[pid=6763/tid=6764] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6764/stat : 6764 (toysat) S 6760 6763 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267908 33554432000 4194304 16246674 140734730793936 140352131411184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6763/tid=6765] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6765/stat : 6765 (toysat) S 6760 6763 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267908 33554432000 4194304 16246674 140734730793936 140352120921328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6763/tid=6766] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6766/stat : 6766 (toysat) S 6760 6763 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267908 33554432000 4194304 16246674 140734730793936 140352110447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 147.16
Current children cumulated vsize (KiB) 1307204
[startup+147.6 s]
/proc/loadavg: 2.15 2.11 2.09 3/183 6770
/proc/meminfo: memFree=29347176/32872528 swapFree=496356/529060
[pid=6763] ppid=6760 vsize=1307204 CPUtime=147.56 cores=1,3,5,7
/proc/6763/stat : 6763 (toysat) R 6760 6763 5955 0 -1 4202496 267835 0 0 0 14715 41 0 0 20 0 4 0 3547080 1338576896 267908 33554432000 4194304 16246674 140734730793936 140734730776936 5545832 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6763/statm: 326801 267908 793 2943 0 323695 0
[pid=6763/tid=6764] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6764/stat : 6764 (toysat) S 6760 6763 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267908 33554432000 4194304 16246674 140734730793936 140352131411184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6763/tid=6765] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6765/stat : 6765 (toysat) S 6760 6763 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267908 33554432000 4194304 16246674 140734730793936 140352120921328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6763/tid=6766] ppid=6760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6766/stat : 6766 (toysat) S 6760 6763 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3547080 1338576896 267908 33554432000 4194304 16246674 140734730793936 140352110447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 147.56
Current children cumulated vsize (KiB) 1307204
[startup+148 s]
/proc/loadavg: 2.15 2.11 2.09 3/183 6770
/proc/meminfo: memFree=29347176/32872528 swapFree=496356/529060
[pid=6763] ppid=6760 vsize=0 CPUtime=147.97 cores=1,3,5,7
/proc/6763/stat : 6763 (toysat) Z 6760 6763 5955 0 -1 4202508 267840 0 0 0 14754 43 0 0 20 0 2 0 3547080 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6763/statm: 0 0 0 0 0 0 0
[pid=6763/tid=6764] ppid=6760 vsize=0 CPUtime=0 cores=1,3,5,7
/proc/6763/task/6764/stat : 6764 (toysat) R 6760 6763 5955 0 -1 4202564 11 0 0 0 0 0 0 0 20 0 2 0 3547080 0 0 33554432000 0 0 0 0 0 256 0 33554432 0 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 147.97
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 148.044
CPU time (s): 148.013
CPU user time (s): 147.546
CPU system time (s): 0.467928
CPU usage (%): 99.9792
Max. virtual memory (cumulated for all children) (KiB): 1307204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 147.546
system time used= 0.467928
maximum resident set size= 1071644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267840
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= 24
involuntary context switches= 246
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.378942 second user time and 0.576912 second system time
The end