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-4118345-1467219502/watcher-4118345-1467219502 -o /tmp/evaluation-result-4118345-1467219502/solver-4118345-1467219502 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1467209130-5019 --watchdog 1960 open-wbo HOME/instance-4118345-1467219502.opb 

pid=6307
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.20 2.23 2.18 3/176 6310
/proc/meminfo: memFree=26667980/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=2600 CPUtime=0 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 387 0 0 0 0 0 0 0 20 0 1 0 2905299 2662400 263 33554432000 4194304 6059633 140733498390880 140737291613240 4514944 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 650 263 167 456 0 153 0

[startup+0.100117 s]
/proc/loadavg: 2.20 2.23 2.18 3/176 6310
/proc/meminfo: memFree=26667980/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=11384 CPUtime=0.09 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 1387 0 0 0 9 0 0 0 20 0 1 0 2905299 11657216 1740 33554432000 4194304 6059633 140733498390880 140737291613240 4277900 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 2846 1740 174 456 0 2382 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11384

[startup+0.200265 s]
/proc/loadavg: 2.20 2.23 2.18 3/176 6310
/proc/meminfo: memFree=26667980/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=12568 CPUtime=0.19 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 1778 0 0 0 19 0 0 0 20 0 1 0 2905299 12869632 2131 33554432000 4194304 6059633 140733498390880 140737291613240 5268791 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 3142 2132 175 456 0 2678 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12568

[startup+0.300218 s]
/proc/loadavg: 2.20 2.23 2.18 3/176 6310
/proc/meminfo: memFree=26667980/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=12712 CPUtime=0.29 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 1834 0 0 0 29 0 0 0 20 0 1 0 2905299 13017088 2187 33554432000 4194304 6059633 140733498390880 140737291613240 4278479 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 3178 2187 189 456 0 2714 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12712

[startup+0.700184 s]
/proc/loadavg: 2.20 2.23 2.18 3/176 6310
/proc/meminfo: memFree=26667980/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=12856 CPUtime=0.69 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 1910 0 0 0 69 0 0 0 20 0 1 0 2905299 13164544 2263 33554432000 4194304 6059633 140733498390880 140737291613240 4277879 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 3214 2263 190 456 0 2750 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12856

[startup+1.50019 s]
/proc/loadavg: 2.20 2.23 2.18 3/177 6311
/proc/meminfo: memFree=26660540/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=10556 CPUtime=1.49 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 2367 0 0 0 149 0 0 0 20 0 1 0 2905299 10809344 2179 33554432000 4194304 6059633 140733498390880 140733498388920 4278631 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 2639 2179 192 456 0 2175 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10556

[startup+3.10019 s]
/proc/loadavg: 2.20 2.23 2.18 3/177 6311
/proc/meminfo: memFree=26658432/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=15296 CPUtime=3.08 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 3515 0 0 0 308 0 0 0 20 0 1 0 2905299 15663104 2919 33554432000 4194304 6059633 140733498390880 140733498389032 4277879 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 3824 2919 193 456 0 3360 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15296

[startup+6.3002 s]
/proc/loadavg: 2.19 2.22 2.18 4/177 6311
/proc/meminfo: memFree=26653432/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=15296 CPUtime=6.29 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 3772 0 0 0 628 1 0 0 20 0 1 0 2905299 15663104 3160 33554432000 4194304 6059633 140733498390880 140733498389640 4277570 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 3824 3160 193 456 0 3360 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15296

[startup+12.7002 s]
/proc/loadavg: 2.17 2.22 2.18 4/177 6311
/proc/meminfo: memFree=26648292/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=20820 CPUtime=12.69 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 4504 0 0 0 1268 1 0 0 20 0 1 0 2905299 21319680 4379 33554432000 4194304 6059633 140733498390880 140733498389064 4277855 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 5205 4379 193 456 0 4741 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20820

[startup+25.5003 s]
/proc/loadavg: 2.27 2.24 2.19 3/177 6311
/proc/meminfo: memFree=26683632/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=23540 CPUtime=25.48 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 5502 0 0 0 2547 1 0 0 20 0 1 0 2905299 24104960 5320 33554432000 4194304 6059633 140733498390880 140733498389640 4277781 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 5885 5320 193 456 0 5421 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23540

[startup+51.1003 s]
/proc/loadavg: 2.25 2.23 2.19 3/177 6311
/proc/meminfo: memFree=26674760/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=32732 CPUtime=51.09 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 6748 0 0 0 5107 2 0 0 20 0 1 0 2905299 33517568 7642 33554432000 4194304 6059633 140733498390880 140733498389640 4277874 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 8183 7642 193 456 0 7719 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 32732

[startup+102.3 s]
/proc/loadavg: 2.15 2.21 2.18 4/178 6315
/proc/meminfo: memFree=26660148/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=46984 CPUtime=102.28 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 7267 0 0 0 10226 2 0 0 20 0 1 0 2905299 48111616 11207 33554432000 4194304 6059633 140733498390880 140733498389064 4277570 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 11746 11207 193 456 0 11282 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 46984

[startup+162.3 s]
/proc/loadavg: 2.28 2.24 2.19 3/178 6339
/proc/meminfo: memFree=26658820/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=47056 CPUtime=162.26 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 7277 0 0 0 16224 2 0 0 20 0 1 0 2905299 48185344 11217 33554432000 4194304 6059633 140733498390880 140733498389640 4278352 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 11764 11217 193 456 0 11300 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 47056

[startup+222.307 s]
/proc/loadavg: 2.19 2.23 2.18 4/177 6340
/proc/meminfo: memFree=26660676/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=47056 CPUtime=222.26 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 7281 0 0 0 22224 2 0 0 20 0 1 0 2905299 48185344 11221 33554432000 4194304 6059633 140733498390880 140733498389640 4278447 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 11764 11221 193 456 0 11300 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 47056

[startup+282.3 s]
/proc/loadavg: 2.26 2.24 2.19 4/177 6342
/proc/meminfo: memFree=26615244/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=70332 CPUtime=282.25 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 8744 0 0 0 28221 4 0 0 20 0 1 0 2905299 72019968 14894 33554432000 4194304 6059633 140733498390880 140733498389640 4277832 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 17583 14894 193 456 0 17119 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 70332

[startup+342.3 s]
/proc/loadavg: 2.32 2.27 2.19 4/177 6343
/proc/meminfo: memFree=26609224/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=70332 CPUtime=342.24 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 8754 0 0 0 34220 4 0 0 20 0 1 0 2905299 72019968 15926 33554432000 4194304 6059633 140733498390880 140733498389640 4277570 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 17583 15926 193 456 0 17119 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 70332

[startup+402.3 s]
/proc/loadavg: 2.34 2.28 2.20 3/177 6344
/proc/meminfo: memFree=26607184/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=70332 CPUtime=402.23 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 8755 0 0 0 40219 4 0 0 20 0 1 0 2905299 72019968 16438 33554432000 4194304 6059633 140733498390880 140733498389640 4278382 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 17583 16438 193 456 0 17119 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 70332

[startup+462.3 s]
/proc/loadavg: 2.37 2.30 2.21 4/177 6345
/proc/meminfo: memFree=26593156/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=84100 CPUtime=462.22 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 9115 0 0 0 46218 4 0 0 20 0 1 0 2905299 86118400 19864 33554432000 4194304 6059633 140733498390880 140733498389640 4277484 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 21025 19864 193 456 0 20561 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 84100

[startup+522.3 s]
/proc/loadavg: 2.33 2.30 2.21 4/177 6392
/proc/meminfo: memFree=26702300/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=84100 CPUtime=522.21 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 9280 0 0 0 52216 5 0 0 20 0 1 0 2905299 86118400 19886 33554432000 4194304 6059633 140733498390880 140733498389368 4246304 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 21025 19886 193 456 0 20561 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 84100

[startup+582.3 s]
/proc/loadavg: 2.22 2.28 2.20 4/177 6394
/proc/meminfo: memFree=26685108/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=84100 CPUtime=582.2 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 9573 0 0 0 58214 6 0 0 20 0 1 0 2905299 86118400 19891 33554432000 4194304 6059633 140733498390880 140733498389368 4265456 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 21025 19891 194 456 0 20561 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 84100


################
# More data... #
################


[startup+942.3 s]
/proc/loadavg: 2.21 2.23 2.19 3/176 6404
/proc/meminfo: memFree=26640020/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=84100 CPUtime=942.14 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 11065 0 0 0 94202 12 0 0 20 0 1 0 2905299 86118400 20013 33554432000 4194304 6059633 140733498390880 140733498389368 4277697 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 21025 20013 194 456 0 20561 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 84100

[startup+1002.3 s]
/proc/loadavg: 2.23 2.23 2.18 4/177 6406
/proc/meminfo: memFree=26639144/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=84100 CPUtime=1002.13 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 11220 0 0 0 100200 13 0 0 20 0 1 0 2905299 86118400 20018 33554432000 4194304 6059633 140733498390880 140733498389640 4277900 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 21025 20018 194 456 0 20561 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 84100

[startup+1062.3 s]
/proc/loadavg: 2.36 2.26 2.19 3/177 6407
/proc/meminfo: memFree=26601420/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=133420 CPUtime=1062.13 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 11515 0 0 0 106198 15 0 0 20 0 1 0 2905299 136622080 29362 33554432000 4194304 6059633 140733498390880 140733498389080 4278389 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 33355 29362 194 456 0 32891 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 133420

[startup+1122.3 s]
/proc/loadavg: 2.29 2.26 2.19 3/177 6408
/proc/meminfo: memFree=26636236/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=84100 CPUtime=1122.12 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 11728 0 0 0 112196 16 0 0 20 0 1 0 2905299 86118400 20530 33554432000 4194304 6059633 140733498390880 140733498389368 4278447 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 21025 20530 194 456 0 20561 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 84100

[startup+1182.3 s]
/proc/loadavg: 2.27 2.25 2.19 3/177 6410
/proc/meminfo: memFree=26633032/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=84100 CPUtime=1182.11 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 11882 0 0 0 118194 17 0 0 20 0 1 0 2905299 86118400 20533 33554432000 4194304 6059633 140733498390880 140733498389368 4278382 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 21025 20533 194 456 0 20561 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 84100

[startup+1242.3 s]
/proc/loadavg: 2.20 2.23 2.18 3/177 6411
/proc/meminfo: memFree=26585564/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=133420 CPUtime=1242.1 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 12178 0 0 0 124192 18 0 0 20 0 1 0 2905299 136622080 29365 33554432000 4194304 6059633 140733498390880 140733498389080 4254417 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 33355 29365 194 456 0 32891 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 133420

[startup+1302.3 s]
/proc/loadavg: 2.18 2.22 2.18 4/178 6415
/proc/meminfo: memFree=26569684/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=133420 CPUtime=1302.09 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 12742 0 0 0 130190 19 0 0 20 0 1 0 2905299 136622080 31413 33554432000 4194304 6059633 140733498390880 140733498389080 4277864 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 33355 31413 194 456 0 32891 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 133420

[startup+1362.3 s]
/proc/loadavg: 2.28 2.24 2.19 3/177 6416
/proc/meminfo: memFree=26570416/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=133420 CPUtime=1362.08 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 13486 0 0 0 136188 20 0 0 20 0 1 0 2905299 136622080 31414 33554432000 4194304 6059633 140733498390880 140733498389080 4278354 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 33355 31414 194 456 0 32891 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 133420

[startup+1422.3 s]
/proc/loadavg: 2.24 2.24 2.18 3/177 6417
/proc/meminfo: memFree=26566088/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=133420 CPUtime=1422.07 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 14226 0 0 0 142185 22 0 0 20 0 1 0 2905299 136622080 32438 33554432000 4194304 6059633 140733498390880 140733498389080 4277586 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 33355 32438 194 456 0 32891 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 133420

[startup+1482.3 s]
/proc/loadavg: 2.22 2.23 2.18 3/177 6419
/proc/meminfo: memFree=26561568/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=164240 CPUtime=1482.06 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 15562 0 0 0 148181 25 0 0 20 0 1 0 2905299 168181760 33529 33554432000 4194304 6059633 140733498390880 140733498389336 4277900 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 41060 33529 194 456 0 40596 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 164240

[startup+1542.31 s]
/proc/loadavg: 2.12 2.20 2.18 3/177 6420
/proc/meminfo: memFree=26559784/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=164240 CPUtime=1542.06 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 16310 0 0 0 154179 27 0 0 20 0 1 0 2905299 168181760 34044 33554432000 4194304 6059633 140733498390880 140733498389336 4261130 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 41060 34044 194 456 0 40596 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 164240

[startup+1602.3 s]
/proc/loadavg: 2.28 2.24 2.19 4/177 6421
/proc/meminfo: memFree=26561980/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=164240 CPUtime=1602.04 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 17051 0 0 0 160176 28 0 0 20 0 1 0 2905299 168181760 33532 33554432000 4194304 6059633 140733498390880 140733498389336 4278447 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 41060 33532 194 456 0 40596 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 164240

[startup+1662.3 s]
/proc/loadavg: 2.36 2.26 2.19 3/177 6422
/proc/meminfo: memFree=26561624/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=164240 CPUtime=1662.03 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 17796 0 0 0 166173 30 0 0 20 0 1 0 2905299 168181760 33532 33554432000 4194304 6059633 140733498390880 140733498389336 4277855 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 41060 33532 194 456 0 40596 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 164240

[startup+1722.3 s]
/proc/loadavg: 2.25 2.24 2.18 3/177 6423
/proc/meminfo: memFree=26522228/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=164240 CPUtime=1722.02 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 18542 0 0 0 172170 32 0 0 20 0 1 0 2905299 168181760 34556 33554432000 4194304 6059633 140733498390880 140733498389336 4278024 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 41060 34556 194 456 0 40596 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 164240

[startup+1782.3 s]
/proc/loadavg: 2.24 2.24 2.18 3/176 6424
/proc/meminfo: memFree=26557124/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=164240 CPUtime=1782.01 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 19280 0 0 0 178168 33 0 0 20 0 1 0 2905299 168181760 34556 33554432000 4194304 6059633 140733498390880 140733498389640 4255373 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 41060 34556 194 456 0 40596 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 164240



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.25 2.24 2.18 4/177 6425
/proc/meminfo: memFree=26612744/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=84100 CPUtime=1800.01 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 19282 0 0 0 179967 34 0 0 20 0 1 0 2905299 86118400 20537 33554432000 4194304 6059633 140733498390880 140733498389368 4277882 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 21025 20537 194 456 0 20561 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 84100

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 6310 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.25 2.24 2.18 4/177 6425
/proc/meminfo: memFree=26612744/32872528 swapFree=1268996/1432516
[pid=6310] ppid=6307 vsize=84100 CPUtime=1800.01 cores=0,2,4,6
/proc/6310/stat : 6310 (open-wbo) R 6307 6310 5003 0 -1 4202496 19282 0 0 0 179967 34 0 0 20 0 1 0 2905299 86118400 20537 33554432000 4194304 6059633 140733498390880 140733498389368 4277882 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6310/statm: 21025 20537 194 456 0 20561 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 84100

Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.68
CPU system time (s): 0.342947
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 164240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.68
system time used= 0.342947
maximum resident set size= 142320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19285
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= 12
involuntary context switches= 2857

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.65229 second user time and 6.80797 second system time

The end