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-4102038-1466242185/watcher-4102038-1466242185 -o /tmp/evaluation-result-4102038-1466242185/solver-4102038-1466242185 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1466240246-11964 --watchdog 1960 open-wbo HOME/instance-4102038-1466242185.opb 

pid=12469
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.32 2.26 2.17 3/176 12472
/proc/meminfo: memFree=28040836/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=8472 CPUtime=0 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 806 0 0 0 0 0 0 0 20 0 1 0 26266840 8675328 664 33554432000 4194304 6059633 140735489530368 140736485887432 4239837 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 2118 664 162 456 0 1654 0

[startup+0.100169 s]
/proc/loadavg: 2.32 2.26 2.17 3/176 12472
/proc/meminfo: memFree=28040836/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=46192 CPUtime=0.09 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 8518 0 0 0 8 1 0 0 20 0 1 0 26266840 47300608 8778 33554432000 4194304 6059633 140735489530368 140736485887432 5043379 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 11548 8779 162 456 0 11084 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 46192

[startup+0.200322 s]
/proc/loadavg: 2.32 2.26 2.17 3/176 12472
/proc/meminfo: memFree=28040836/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=73864 CPUtime=0.19 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 15676 0 0 0 17 2 0 0 20 0 1 0 26266840 75636736 16834 33554432000 4194304 6059633 140735489530368 140736485887432 5043379 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 18466 16835 162 456 0 18002 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 73864

[startup+0.30036 s]
/proc/loadavg: 2.32 2.26 2.17 3/176 12472
/proc/meminfo: memFree=28040836/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=109232 CPUtime=0.29 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 22052 0 0 0 26 3 0 0 20 0 1 0 26266840 111853568 25093 33554432000 4194304 6059633 140735489530368 140735489528088 5043379 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 27308 25094 162 456 0 26844 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 109232

[startup+0.700298 s]
/proc/loadavg: 2.32 2.26 2.17 3/176 12472
/proc/meminfo: memFree=28040836/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=181788 CPUtime=0.69 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 29368 0 0 0 65 4 0 0 20 0 1 0 26266840 186150912 40926 33554432000 4194304 6059633 140735489530368 140735489528088 5043379 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 45447 40927 163 456 0 44983 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 181788

[startup+1.5003 s]
/proc/loadavg: 2.32 2.26 2.17 3/177 12473
/proc/meminfo: memFree=27817600/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=355348 CPUtime=1.49 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 45531 0 0 0 141 8 0 0 20 0 1 0 26266840 363876352 70953 33554432000 4194304 6059633 140735489530368 140735489528088 4313178 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 88837 70953 163 456 0 88373 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 355348

[startup+3.1003 s]
/proc/loadavg: 2.32 2.26 2.17 3/177 12473
/proc/meminfo: memFree=27632920/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=576684 CPUtime=3.09 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 70874 0 0 0 294 15 0 0 20 0 1 0 26266840 590524416 131044 33554432000 4194304 6059633 140735489530368 140735489528088 5043379 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 144171 131044 163 456 0 143707 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 576684

[startup+6.30024 s]
/proc/loadavg: 2.30 2.26 2.17 3/177 12473
/proc/meminfo: memFree=27171108/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=1220852 CPUtime=6.29 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 116642 0 0 0 599 30 0 0 20 0 1 0 26266840 1250152448 243753 33554432000 4194304 6059633 140735489530368 140735489528088 5043379 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 305213 243754 163 456 0 304749 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1220852

[startup+12.7003 s]
/proc/loadavg: 2.27 2.26 2.17 3/177 12473
/proc/meminfo: memFree=26238564/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=2100560 CPUtime=12.69 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 207255 0 0 0 1213 56 0 0 20 0 1 0 26266840 2150973440 470056 33554432000 4194304 6059633 140735489530368 140735489528088 5043379 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 525140 470057 163 456 0 524676 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2100560

[startup+25.5004 s]
/proc/loadavg: 2.29 2.26 2.17 3/178 12476
/proc/meminfo: memFree=24440084/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=4654308 CPUtime=25.49 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 378745 0 0 0 2438 111 0 0 20 0 1 0 26266840 4766011392 904830 33554432000 4194304 6059633 140735489530368 140735489528392 4295055 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 1163577 904830 163 456 0 1163113 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 4654308

[startup+51.1004 s]
/proc/loadavg: 2.33 2.27 2.18 3/178 12476
/proc/meminfo: memFree=21309608/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=8288640 CPUtime=51.08 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 738829 0 0 0 4896 212 0 0 20 0 1 0 26266840 8487567360 1689683 33554432000 4194304 6059633 140735489530368 140735489528408 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 2072160 1689683 169 456 0 2071696 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 8288640

[startup+102.3 s]
/proc/loadavg: 2.33 2.27 2.18 3/177 12477
/proc/meminfo: memFree=20552140/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=9241624 CPUtime=102.28 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 912326 0 0 0 9987 241 0 0 20 0 1 0 26266840 9463422976 1868290 33554432000 4194304 6059633 140735489530368 140735489529128 5043132 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 2310406 1868290 189 456 0 2309942 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 9241624

[startup+162.3 s]
/proc/loadavg: 2.22 2.25 2.18 4/177 12478
/proc/meminfo: memFree=20520004/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=9256932 CPUtime=162.27 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 916823 0 0 0 15983 244 0 0 20 0 1 0 26266840 9479098368 1876364 33554432000 4194304 6059633 140735489530368 140735489529128 4278447 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 2314233 1876364 191 456 0 2313769 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 9256932

[startup+222.308 s]
/proc/loadavg: 2.36 2.28 2.19 3/177 12480
/proc/meminfo: memFree=20505060/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=9267412 CPUtime=222.27 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 919459 0 0 0 21982 245 0 0 20 0 1 0 26266840 9489829888 1880022 33554432000 4194304 6059633 140735489530368 140735489529128 4397480 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 2316853 1880022 191 456 0 2316389 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 9267412

[startup+282.3 s]
/proc/loadavg: 2.39 2.29 2.20 3/177 12481
/proc/meminfo: memFree=20493592/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=9272064 CPUtime=282.24 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 920701 0 0 0 27978 246 0 0 20 0 1 0 26266840 9494593536 1883308 33554432000 4194304 6059633 140735489530368 140735489529128 4589463 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 2318016 1883308 192 456 0 2317552 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 9272064

[startup+342.3 s]
/proc/loadavg: 2.28 2.28 2.19 3/177 12482
/proc/meminfo: memFree=20484348/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=9276192 CPUtime=342.24 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 921772 0 0 0 33976 248 0 0 20 0 1 0 26266840 9498820608 1884890 33554432000 4194304 6059633 140735489530368 140735489529128 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 2319048 1884890 192 456 0 2318584 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 9276192

[startup+402.3 s]
/proc/loadavg: 2.38 2.30 2.20 3/177 12483
/proc/meminfo: memFree=20469984/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=9288460 CPUtime=402.23 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 924861 0 0 0 39974 249 0 0 20 0 1 0 26266840 9511383040 1888490 33554432000 4194304 6059633 140735489530368 140735489529128 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 2322115 1888490 192 456 0 2321651 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 9288460

[startup+462.3 s]
/proc/loadavg: 2.35 2.29 2.20 3/177 12484
/proc/meminfo: memFree=20349068/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=9296120 CPUtime=462.22 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 926774 0 0 0 45971 251 0 0 20 0 1 0 26266840 9519226880 1893469 33554432000 4194304 6059633 140735489530368 140735489529128 4277855 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 2324030 1893469 192 456 0 2323566 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 9296120

[startup+522.3 s]
/proc/loadavg: 2.24 2.27 2.20 3/177 12486
/proc/meminfo: memFree=20322552/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=9305880 CPUtime=522.21 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 929312 0 0 0 51969 252 0 0 20 0 1 0 26266840 9529221120 1897029 33554432000 4194304 6059633 140735489530368 140735489528408 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 2326470 1897029 192 456 0 2326006 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 9305880

[startup+582.3 s]
/proc/loadavg: 2.28 2.28 2.20 3/177 12487
/proc/meminfo: memFree=20304816/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=9307492 CPUtime=582.2 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 929729 0 0 0 57967 253 0 0 20 0 1 0 26266840 9530871808 1897446 33554432000 4194304 6059633 140735489530368 140735489529128 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 2326873 1897446 192 456 0 2326409 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 9307492


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


[startup+1002.3 s]
/proc/loadavg: 2.36 2.26 2.19 3/177 12774
/proc/meminfo: memFree=22424748/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=9320240 CPUtime=1002.13 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 932969 0 0 0 99956 257 0 0 20 0 1 0 26266840 9543925760 1904945 33554432000 4194304 6059633 140735489530368 140735489528344 4255366 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 2330060 1904945 192 456 0 2329596 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 9320240

[startup+1062.3 s]
/proc/loadavg: 2.22 2.24 2.19 3/177 12775
/proc/meminfo: memFree=22413656/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=9322500 CPUtime=1062.12 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 933582 0 0 0 105954 258 0 0 20 0 1 0 26266840 9546240000 1906673 33554432000 4194304 6059633 140735489530368 140735489529128 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 2330625 1906673 192 456 0 2330161 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 9322500

[startup+1122.3 s]
/proc/loadavg: 2.35 2.27 2.20 3/177 12777
/proc/meminfo: memFree=22379776/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=9324500 CPUtime=1122.11 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 934113 0 0 0 111953 258 0 0 20 0 1 0 26266840 9548288000 1910270 33554432000 4194304 6059633 140735489530368 140735489529128 4278035 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 2331125 1910270 192 456 0 2330661 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 9324500

[startup+1182.3 s]
/proc/loadavg: 2.27 2.25 2.19 3/177 12778
/proc/meminfo: memFree=22375604/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=9324500 CPUtime=1182.1 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 934116 0 0 0 117952 258 0 0 20 0 1 0 26266840 9548288000 1910283 33554432000 4194304 6059633 140735489530368 140735489529128 4278447 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 2331125 1910283 192 456 0 2330661 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 9324500

[startup+1242.3 s]
/proc/loadavg: 2.14 2.22 2.18 3/178 12782
/proc/meminfo: memFree=22371592/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=9325556 CPUtime=1242.09 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 934378 0 0 0 123951 258 0 0 20 0 1 0 26266840 9549369344 1910639 33554432000 4194304 6059633 140735489530368 140735489528408 4278354 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 2331389 1910639 192 456 0 2330925 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 9325556

[startup+1302.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/177 12783
/proc/meminfo: memFree=22319260/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=9326348 CPUtime=1302.08 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 934612 0 0 0 129950 258 0 0 20 0 1 0 26266840 9550180352 1911486 33554432000 4194304 6059633 140735489530368 140735489529128 4397480 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 2331587 1911486 192 456 0 2331123 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 9326348

[startup+1362.3 s]
/proc/loadavg: 2.18 2.21 2.18 3/177 12784
/proc/meminfo: memFree=22350168/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=9326980 CPUtime=1362.08 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 934768 0 0 0 135949 259 0 0 20 0 1 0 26266840 9550827520 1911651 33554432000 4194304 6059633 140735489530368 140735489529128 4278170 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 2331745 1911651 192 456 0 2331281 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 9326980

[startup+1422.3 s]
/proc/loadavg: 2.19 2.21 2.18 3/176 12786
/proc/meminfo: memFree=22339276/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=9328884 CPUtime=1422.07 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 935291 0 0 0 141947 260 0 0 20 0 1 0 26266840 9552777216 1914231 33554432000 4194304 6059633 140735489530368 140735489529128 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 2332221 1914231 192 456 0 2331757 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 9328884

[startup+1482.3 s]
/proc/loadavg: 2.25 2.22 2.18 4/177 12788
/proc/meminfo: memFree=22295856/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=9329164 CPUtime=1482.05 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 935333 0 0 0 147945 260 0 0 20 0 1 0 26266840 9553063936 1916315 33554432000 4194304 6059633 140735489530368 140735489529128 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 2332291 1916315 192 456 0 2331827 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 9329164

[startup+1542.31 s]
/proc/loadavg: 2.20 2.20 2.18 3/177 12789
/proc/meminfo: memFree=22273752/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=9330432 CPUtime=1542.04 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 935709 0 0 0 153944 260 0 0 20 0 1 0 26266840 9554362368 1922374 33554432000 4194304 6059633 140735489530368 140735489529128 4277549 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 2332608 1922374 192 456 0 2332144 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 9330432

[startup+1602.3 s]
/proc/loadavg: 2.17 2.19 2.18 3/177 12790
/proc/meminfo: memFree=22280356/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=9333680 CPUtime=1602.02 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 936399 0 0 0 159941 261 0 0 20 0 1 0 26266840 9557688320 1928681 33554432000 4194304 6059633 140735489530368 140735489529128 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 2333420 1928681 192 456 0 2332956 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 9333680

[startup+1662.3 s]
/proc/loadavg: 2.24 2.20 2.18 4/177 12791
/proc/meminfo: memFree=22274732/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=9337100 CPUtime=1662.01 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 937257 0 0 0 165940 261 0 0 20 0 1 0 26266840 9561190400 1930049 33554432000 4194304 6059633 140735489530368 140735489528408 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 2334275 1930049 192 456 0 2333811 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 9337100

[startup+1722.3 s]
/proc/loadavg: 2.20 2.20 2.18 3/177 12793
/proc/meminfo: memFree=22229352/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=9340004 CPUtime=1722.01 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 937984 0 0 0 171939 262 0 0 20 0 1 0 26266840 9564164096 1930776 33554432000 4194304 6059633 140735489530368 140735489528408 4246291 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 2335001 1930776 192 456 0 2334537 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 9340004

[startup+1782.3 s]
/proc/loadavg: 2.20 2.19 2.18 3/177 12794
/proc/meminfo: memFree=22235436/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=9340004 CPUtime=1782 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 937986 0 0 0 177938 262 0 0 20 0 1 0 26266840 9564164096 1930778 33554432000 4194304 6059633 140735489530368 140735489528408 4278460 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 2335001 1930778 192 456 0 2334537 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 9340004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.22 2.19 2.18 4/177 12794
/proc/meminfo: memFree=22224924/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=9340004 CPUtime=1800 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202496 937987 0 0 0 179738 262 0 0 20 0 1 0 26266840 9564164096 1930779 33554432000 4194304 6059633 140735489530368 140735489528408 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 2335001 1930779 192 456 0 2334537 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9340004

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

[startup+1800.4 s]
/proc/loadavg: 2.22 2.19 2.18 4/177 12794
/proc/meminfo: memFree=22224924/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=0 CPUtime=1800.1 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202500 937990 0 0 0 179738 272 0 0 20 0 1 0 26266840 0 0 33554432000 0 0 0 0 0 0 16384 4096 8404992 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 0

[startup+1800.6 s]
/proc/loadavg: 2.22 2.19 2.18 4/177 12794
/proc/meminfo: memFree=22224924/32872528 swapFree=1590032/1720848
[pid=12472] ppid=12469 vsize=0 CPUtime=1800.3 cores=1,3,5,7
/proc/12472/stat : 12472 (open-wbo) R 12469 12472 11947 0 -1 4202500 937990 0 0 0 179738 292 0 0 20 0 1 0 26266840 0 0 33554432000 0 0 0 0 0 0 16384 4096 8404992 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12472/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0

Child status: 40
Real time (s): 1800.6
CPU time (s): 1800.31
CPU user time (s): 1797.38
CPU system time (s): 2.92555
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 9340004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.38
system time used= 2.92556
maximum resident set size= 7723128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 937990
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= 60
involuntary context switches= 1987

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.87626 second user time and 7.84881 second system time

The end