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-4097831-1466114725/watcher-4097831-1466114725 -o /tmp/evaluation-result-4097831-1466114725/solver-4097831-1466114725 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466112183-18628 --watchdog 1960 open-wbo-lsu HOME/instance-4097831-1466114725.opb 

pid=24035
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.12 2.09 2.01 3/176 24038
/proc/meminfo: memFree=31291180/32872528 swapFree=525044/557748
[pid=24038] ppid=24035 vsize=3252 CPUtime=0 cores=0,2,4,6
/proc/24038/stat : 24038 (open-wbo-lsu) R 24035 24038 18612 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 13522591 3330048 422 33554432000 4194304 6058637 140733838478992 140736487426200 5042435 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/24038/statm: 813 422 331 456 0 153 0

[startup+0.100251 s]
/proc/loadavg: 2.12 2.09 2.01 3/176 24038
/proc/meminfo: memFree=31291180/32872528 swapFree=525044/557748
[pid=24038] ppid=24035 vsize=8780 CPUtime=0.09 cores=0,2,4,6
/proc/24038/stat : 24038 (open-wbo-lsu) R 24035 24038 18612 0 -1 4202496 1195 0 0 0 9 0 0 0 20 0 1 0 13522591 8990720 859 33554432000 4194304 6058637 140733838478992 140736487426200 4280035 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/24038/statm: 2195 859 164 456 0 1731 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8780

[startup+0.200323 s]
/proc/loadavg: 2.12 2.09 2.01 3/176 24038
/proc/meminfo: memFree=31291180/32872528 swapFree=525044/557748
[pid=24038] ppid=24035 vsize=8780 CPUtime=0.19 cores=0,2,4,6
/proc/24038/stat : 24038 (open-wbo-lsu) R 24035 24038 18612 0 -1 4202496 1347 0 0 0 19 0 0 0 20 0 1 0 13522591 8990720 1522 33554432000 4194304 6058637 140733838478992 140736487426200 4277839 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/24038/statm: 2195 1522 176 456 0 1731 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8780

[startup+0.300316 s]
/proc/loadavg: 2.12 2.09 2.01 3/176 24038
/proc/meminfo: memFree=31291180/32872528 swapFree=525044/557748
[pid=24038] ppid=24035 vsize=6472 CPUtime=0.29 cores=0,2,4,6
/proc/24038/stat : 24038 (open-wbo-lsu) R 24035 24038 18612 0 -1 4202496 1730 0 0 0 29 0 0 0 20 0 1 0 13522591 6627328 1131 33554432000 4194304 6058637 140733838478992 140736487426200 4278181 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/24038/statm: 1618 1131 178 456 0 1154 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6472

[startup+0.700222 s]
/proc/loadavg: 2.12 2.09 2.01 3/176 24038
/proc/meminfo: memFree=31291180/32872528 swapFree=525044/557748
[pid=24038] ppid=24035 vsize=9584 CPUtime=0.69 cores=0,2,4,6
/proc/24038/stat : 24038 (open-wbo-lsu) R 24035 24038 18612 0 -1 4202496 2516 0 0 0 69 0 0 0 20 0 1 0 13522591 9814016 1911 33554432000 4194304 6058637 140733838478992 140736487426200 4279926 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/24038/statm: 2396 1911 178 456 0 1932 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9584

[startup+1.50022 s]
/proc/loadavg: 2.12 2.09 2.01 3/177 24039
/proc/meminfo: memFree=31282916/32872528 swapFree=525044/557748
[pid=24038] ppid=24035 vsize=14052 CPUtime=1.49 cores=0,2,4,6
/proc/24038/stat : 24038 (open-wbo-lsu) R 24035 24038 18612 0 -1 4202496 3670 0 0 0 149 0 0 0 20 0 1 0 13522591 14389248 3055 33554432000 4194304 6058637 140733838478992 140733838477720 4255120 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/24038/statm: 3513 3055 178 456 0 3049 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14052

[startup+3.10037 s]
/proc/loadavg: 2.11 2.09 2.01 3/177 24039
/proc/meminfo: memFree=31274852/32872528 swapFree=525044/557748
[pid=24038] ppid=24035 vsize=11372 CPUtime=3.08 cores=0,2,4,6
/proc/24038/stat : 24038 (open-wbo-lsu) R 24035 24038 18612 0 -1 4202496 5393 0 0 0 308 0 0 0 20 0 1 0 13522591 11644928 2342 33554432000 4194304 6058637 140733838478992 140733838477720 4280035 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/24038/statm: 2843 2342 178 456 0 2379 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 11372

[startup+6.30028 s]
/proc/loadavg: 2.11 2.09 2.01 3/177 24039
/proc/meminfo: memFree=31272392/32872528 swapFree=525044/557748
[pid=24038] ppid=24035 vsize=18444 CPUtime=6.29 cores=0,2,4,6
/proc/24038/stat : 24038 (open-wbo-lsu) R 24035 24038 18612 0 -1 4202496 6027 0 0 0 628 1 0 0 20 0 1 0 13522591 18886656 4253 33554432000 4194304 6058637 140733838478992 140733838478056 4255160 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/24038/statm: 4611 4253 178 456 0 4147 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18444

[startup+12.7003 s]
/proc/loadavg: 2.10 2.09 2.01 3/177 24039
/proc/meminfo: memFree=31246620/32872528 swapFree=525044/557748
[pid=24038] ppid=24035 vsize=44512 CPUtime=12.69 cores=0,2,4,6
/proc/24038/stat : 24038 (open-wbo-lsu) R 24035 24038 18612 0 -1 4202496 7011 0 0 0 1267 2 0 0 20 0 1 0 13522591 45580288 10753 33554432000 4194304 6058637 140733838478992 140733838478056 4278328 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/24038/statm: 11128 10753 178 456 0 10664 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44512

[startup+25.5004 s]
/proc/loadavg: 2.08 2.08 2.01 3/177 24039
/proc/meminfo: memFree=31227804/32872528 swapFree=525044/557748
[pid=24038] ppid=24035 vsize=74860 CPUtime=25.48 cores=0,2,4,6
/proc/24038/stat : 24038 (open-wbo-lsu) R 24035 24038 18612 0 -1 4202496 7515 0 0 0 2546 2 0 0 20 0 1 0 13522591 76656640 15854 33554432000 4194304 6058637 140733838478992 140733838477720 4277682 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/24038/statm: 18715 15854 178 456 0 18251 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 74860

[startup+51.1003 s]
/proc/loadavg: 2.05 2.08 2.00 3/177 24039
/proc/meminfo: memFree=31221908/32872528 swapFree=525044/557748
[pid=24038] ppid=24035 vsize=74860 CPUtime=51.08 cores=0,2,4,6
/proc/24038/stat : 24038 (open-wbo-lsu) R 24035 24038 18612 0 -1 4202496 7518 0 0 0 5106 2 0 0 20 0 1 0 13522591 76656640 17390 33554432000 4194304 6058637 140733838478992 140733838477720 4278197 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/24038/statm: 18715 17390 178 456 0 18251 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 74860

[startup+102.3 s]
/proc/loadavg: 2.02 2.06 2.00 3/177 24041
/proc/meminfo: memFree=31221964/32872528 swapFree=525044/557748
[pid=24038] ppid=24035 vsize=74860 CPUtime=102.27 cores=0,2,4,6
/proc/24038/stat : 24038 (open-wbo-lsu) R 24035 24038 18612 0 -1 4202496 7518 0 0 0 10225 2 0 0 20 0 1 0 13522591 76656640 17390 33554432000 4194304 6058637 140733838478992 140733838477720 4277708 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/24038/statm: 18715 17390 178 456 0 18251 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 74860

[startup+162.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/177 24042
/proc/meminfo: memFree=31203032/32872528 swapFree=525044/557748
[pid=24038] ppid=24035 vsize=89400 CPUtime=162.27 cores=0,2,4,6
/proc/24038/stat : 24038 (open-wbo-lsu) R 24035 24038 18612 0 -1 4202496 8568 0 0 0 16224 3 0 0 20 0 1 0 13522591 91545600 21997 33554432000 4194304 6058637 140733838478992 140733838477752 4277708 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/24038/statm: 22350 21997 178 456 0 21886 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 89400

[startup+222.307 s]
/proc/loadavg: 2.09 2.07 2.00 3/177 24043
/proc/meminfo: memFree=31191244/32872528 swapFree=525044/557748
[pid=24038] ppid=24035 vsize=89400 CPUtime=222.26 cores=0,2,4,6
/proc/24038/stat : 24038 (open-wbo-lsu) R 24035 24038 18612 0 -1 4202496 9061 0 0 0 22222 4 0 0 20 0 1 0 13522591 91545600 21997 33554432000 4194304 6058637 140733838478992 140733838478056 4278181 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/24038/statm: 22350 21997 178 456 0 21886 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 89400

[startup+282.3 s]
/proc/loadavg: 2.18 2.10 2.02 3/178 24047
/proc/meminfo: memFree=31155152/32872528 swapFree=525044/557748
[pid=24038] ppid=24035 vsize=138720 CPUtime=282.24 cores=0,2,4,6
/proc/24038/stat : 24038 (open-wbo-lsu) R 24035 24038 18612 0 -1 4202496 9802 0 0 0 28218 6 0 0 20 0 1 0 13522591 142049280 30929 33554432000 4194304 6058637 140733838478992 140733838477768 4278229 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/24038/statm: 34680 30929 178 456 0 34216 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 138720

[startup+342.3 s]
/proc/loadavg: 2.06 2.08 2.01 3/177 24048
/proc/meminfo: memFree=31153004/32872528 swapFree=525044/557748
[pid=24038] ppid=24035 vsize=138720 CPUtime=342.24 cores=0,2,4,6
/proc/24038/stat : 24038 (open-wbo-lsu) R 24035 24038 18612 0 -1 4202496 10306 0 0 0 34216 8 0 0 20 0 1 0 13522591 142049280 31460 33554432000 4194304 6058637 140733838478992 140733838477768 4277708 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/24038/statm: 34680 31460 178 456 0 34216 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 138720

[startup+402.3 s]
/proc/loadavg: 2.07 2.08 2.01 3/177 24050
/proc/meminfo: memFree=31145984/32872528 swapFree=525044/557748
[pid=24038] ppid=24035 vsize=138720 CPUtime=402.22 cores=0,2,4,6
/proc/24038/stat : 24038 (open-wbo-lsu) R 24035 24038 18612 0 -1 4202496 10807 0 0 0 40213 9 0 0 20 0 1 0 13522591 142049280 31972 33554432000 4194304 6058637 140733838478992 140733838477768 4278190 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/24038/statm: 34680 31972 178 456 0 34216 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 138720

[startup+462.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/177 24051
/proc/meminfo: memFree=31183088/32872528 swapFree=525044/557748
[pid=24038] ppid=24035 vsize=89400 CPUtime=462.22 cores=0,2,4,6
/proc/24038/stat : 24038 (open-wbo-lsu) R 24035 24038 18612 0 -1 4202496 11062 0 0 0 46212 10 0 0 20 0 1 0 13522591 91545600 22016 33554432000 4194304 6058637 140733838478992 140733838478056 4278190 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/24038/statm: 22350 22016 178 456 0 21886 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 89400

[startup+522.3 s]
/proc/loadavg: 2.02 2.06 2.00 3/177 24097
/proc/meminfo: memFree=31105140/32872528 swapFree=525044/557748
[pid=24038] ppid=24035 vsize=138720 CPUtime=522.21 cores=0,2,4,6
/proc/24038/stat : 24038 (open-wbo-lsu) R 24035 24038 18612 0 -1 4202496 11713 0 0 0 52209 12 0 0 20 0 1 0 13522591 142049280 32996 33554432000 4194304 6058637 140733838478992 140733838477768 4278237 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/24038/statm: 34680 32996 178 456 0 34216 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 138720

[startup+582.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 24098
/proc/meminfo: memFree=31167424/32872528 swapFree=525044/557748
[pid=24038] ppid=24035 vsize=89400 CPUtime=582.2 cores=0,2,4,6
/proc/24038/stat : 24038 (open-wbo-lsu) R 24035 24038 18612 0 -1 4202496 13130 0 0 0 58206 14 0 0 20 0 1 0 13522591 91545600 22016 33554432000 4194304 6058637 140733838478992 140733838478056 4278190 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/24038/statm: 22350 22016 178 456 0 21886 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 89400

[startup+642.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 24099
/proc/meminfo: memFree=31123768/32872528 swapFree=525044/557748
[pid=24038] ppid=24035 vsize=138720 CPUtime=642.19 cores=0,2,4,6
/proc/24038/stat : 24038 (open-wbo-lsu) R 24035 24038 18612 0 -1 4202496 14216 0 0 0 64203 16 0 0 20 0 1 0 13522591 142049280 31972 33554432000 4194304 6058637 140733838478992 140733838477768 4277708 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/24038/statm: 34680 31972 178 456 0 34216 0
Current children cumulated CPU time (s) 642.19
Current children cumulated vsize (KiB) 138720

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24038 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+643.2 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 24099
/proc/meminfo: memFree=31117624/32872528 swapFree=525044/557748
[pid=24038] ppid=24035 vsize=138720 CPUtime=643.09 cores=0,2,4,6
/proc/24038/stat : 24038 (open-wbo-lsu) R 24035 24038 18612 0 -1 4202496 14216 0 0 0 64293 16 0 0 20 0 1 0 13522591 142049280 31972 33554432000 4194304 6058637 140733838478992 140733838477768 4277843 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/24038/statm: 34680 31972 178 456 0 34216 0
Current children cumulated CPU time (s) 643.09
Current children cumulated vsize (KiB) 138720

[startup+644.8 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 24099
/proc/meminfo: memFree=31112724/32872528 swapFree=525044/557748
[pid=24038] ppid=24035 vsize=138720 CPUtime=644.69 cores=0,2,4,6
/proc/24038/stat : 24038 (open-wbo-lsu) R 24035 24038 18612 0 -1 4202496 14217 0 0 0 64453 16 0 0 20 0 1 0 13522591 142049280 32484 33554432000 4194304 6058637 140733838478992 140733838477768 4278233 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/24038/statm: 34680 32484 178 456 0 34216 0
Current children cumulated CPU time (s) 644.69
Current children cumulated vsize (KiB) 138720

[startup+645.2 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 24099
/proc/meminfo: memFree=31112724/32872528 swapFree=525044/557748
[pid=24038] ppid=24035 vsize=138720 CPUtime=645.09 cores=0,2,4,6
/proc/24038/stat : 24038 (open-wbo-lsu) R 24035 24038 18612 0 -1 4202496 14217 0 0 0 64493 16 0 0 20 0 1 0 13522591 142049280 32484 33554432000 4194304 6058637 140733838478992 140733838477768 4278328 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/24038/statm: 34680 32484 178 456 0 34216 0
Current children cumulated CPU time (s) 645.09
Current children cumulated vsize (KiB) 138720

[startup+645.4 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 24099
/proc/meminfo: memFree=31112724/32872528 swapFree=525044/557748
[pid=24038] ppid=24035 vsize=138720 CPUtime=645.29 cores=0,2,4,6
/proc/24038/stat : 24038 (open-wbo-lsu) R 24035 24038 18612 0 -1 4202496 14217 0 0 0 64513 16 0 0 20 0 1 0 13522591 142049280 32484 33554432000 4194304 6058637 140733838478992 140733838477768 4278237 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/24038/statm: 34680 32484 178 456 0 34216 0
Current children cumulated CPU time (s) 645.29
Current children cumulated vsize (KiB) 138720

[startup+645.5 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 24099
/proc/meminfo: memFree=31112724/32872528 swapFree=525044/557748
[pid=24038] ppid=24035 vsize=138720 CPUtime=645.39 cores=0,2,4,6
/proc/24038/stat : 24038 (open-wbo-lsu) R 24035 24038 18612 0 -1 4202496 14217 0 0 0 64523 16 0 0 20 0 1 0 13522591 142049280 32484 33554432000 4194304 6058637 140733838478992 140733838477768 4278328 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/24038/statm: 34680 32484 178 456 0 34216 0
Current children cumulated CPU time (s) 645.39
Current children cumulated vsize (KiB) 138720

Child status: 10
Real time (s): 645.513
CPU time (s): 645.412
CPU user time (s): 645.248
CPU system time (s): 0.163975
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 169540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 645.248
system time used= 0.163975
maximum resident set size= 144540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14220
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= 9
involuntary context switches= 665

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.16767 second user time and 2.44563 second system time

The end