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

pid=27946
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.06 2.08 2.08 3/176 27949
/proc/meminfo: memFree=30651848/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=2576 CPUtime=0 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 396 0 0 0 0 0 0 0 20 0 1 0 25642907 2637824 272 33554432000 4194304 6058637 140736361563424 140735853536584 5042435 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 644 272 162 456 0 153 0

[startup+0.100164 s]
/proc/loadavg: 2.06 2.08 2.08 3/176 27949
/proc/meminfo: memFree=30651848/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=13756 CPUtime=0.09 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 2367 0 0 0 9 0 0 0 20 0 1 0 25642907 14086144 2684 33554432000 4194304 6058637 140736361563424 140735853536584 4277505 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 3439 2684 181 456 0 2975 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13756

[startup+0.200347 s]
/proc/loadavg: 2.06 2.08 2.08 3/176 27949
/proc/meminfo: memFree=30651848/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=13888 CPUtime=0.19 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 2397 0 0 0 19 0 0 0 20 0 1 0 25642907 14221312 2714 33554432000 4194304 6058637 140736361563424 140735853536584 4246088 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 3472 2714 181 456 0 3008 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13888

[startup+0.300275 s]
/proc/loadavg: 2.06 2.08 2.08 3/176 27949
/proc/meminfo: memFree=30651848/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=14020 CPUtime=0.29 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 2425 0 0 0 29 0 0 0 20 0 1 0 25642907 14356480 2742 33554432000 4194304 6058637 140736361563424 140735853536584 4246447 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 3505 2742 181 456 0 3041 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14020

[startup+0.700191 s]
/proc/loadavg: 2.06 2.08 2.08 3/176 27949
/proc/meminfo: memFree=30651848/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=12608 CPUtime=0.69 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 3106 0 0 0 69 0 0 0 20 0 1 0 25642907 12910592 2552 33554432000 4194304 6058637 140736361563424 140736361562040 4254437 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 3152 2552 183 456 0 2688 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12608

[startup+1.50022 s]
/proc/loadavg: 2.06 2.08 2.08 3/177 27950
/proc/meminfo: memFree=30642424/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=98296 CPUtime=1.49 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 12766 0 0 0 147 2 0 0 20 0 1 0 25642907 100655104 19976 33554432000 4194304 6058637 140736361563424 140736361562040 5046461 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 24574 19976 185 456 0 24110 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 98296

[startup+3.10029 s]
/proc/loadavg: 2.06 2.08 2.08 3/177 27950
/proc/meminfo: memFree=30415508/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=451420 CPUtime=3.09 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 55818 0 0 0 297 12 0 0 20 0 1 0 25642907 462254080 110187 33554432000 4194304 6058637 140736361563424 140736361561560 5042435 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 112855 110187 185 456 0 112391 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 451420

[startup+6.30029 s]
/proc/loadavg: 2.06 2.08 2.08 3/177 27950
/proc/meminfo: memFree=29687204/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=1092764 CPUtime=6.29 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 118354 0 0 0 602 27 0 0 20 0 1 0 25642907 1118990336 244444 33554432000 4194304 6058637 140736361563424 140736361562024 4277674 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 273191 244444 187 456 0 272727 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1092764

[startup+12.7003 s]
/proc/loadavg: 2.05 2.08 2.08 3/177 27950
/proc/meminfo: memFree=29666148/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=1097156 CPUtime=12.69 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 119462 0 0 0 1242 27 0 0 20 0 1 0 25642907 1123487744 246063 33554432000 4194304 6058637 140736361563424 140736361562040 4277663 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 274289 246063 187 456 0 273825 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1097156

[startup+25.5003 s]
/proc/loadavg: 2.11 2.09 2.09 3/177 27950
/proc/meminfo: memFree=29660100/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=1099268 CPUtime=25.48 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 120001 0 0 0 2521 27 0 0 20 0 1 0 25642907 1125650432 247624 33554432000 4194304 6058637 140736361563424 140736361562040 4277601 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 274817 247624 187 456 0 274353 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1099268

[startup+51.1003 s]
/proc/loadavg: 2.07 2.08 2.08 3/177 27950
/proc/meminfo: memFree=29649924/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=1101400 CPUtime=51.08 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 120541 0 0 0 5080 28 0 0 20 0 1 0 25642907 1127833600 250208 33554432000 4194304 6058637 140736361563424 140736361562040 4277640 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 275350 250208 187 456 0 274886 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1101400

[startup+102.3 s]
/proc/loadavg: 2.08 2.08 2.08 3/177 27951
/proc/meminfo: memFree=29629136/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=1103804 CPUtime=102.28 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 121133 0 0 0 10199 29 0 0 20 0 1 0 25642907 1130295296 255399 33554432000 4194304 6058637 140736361563424 140736361561976 4277357 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 275951 255399 187 456 0 275487 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1103804

[startup+162.3 s]
/proc/loadavg: 2.14 2.10 2.09 3/177 27952
/proc/meminfo: memFree=29600716/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=1105876 CPUtime=162.26 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 121622 0 0 0 16197 29 0 0 20 0 1 0 25642907 1132417024 261509 33554432000 4194304 6058637 140736361563424 140736361562024 4277655 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 276469 261509 187 456 0 276005 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1105876

[startup+222.307 s]
/proc/loadavg: 2.05 2.08 2.08 3/176 27953
/proc/meminfo: memFree=29688568/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=1107620 CPUtime=222.26 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 122679 0 0 0 22187 39 0 0 20 0 1 0 25642907 1134202880 239347 33554432000 4194304 6058637 140736361563424 140736361562024 4278181 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 276905 239347 187 456 0 276441 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1107620

[startup+282.3 s]
/proc/loadavg: 2.06 2.08 2.08 3/178 27958
/proc/meminfo: memFree=29655380/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=1109964 CPUtime=282.23 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 123295 0 0 0 28184 39 0 0 20 0 1 0 25642907 1136603136 247093 33554432000 4194304 6058637 140736361563424 140736361562024 4254941 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 277491 247093 187 456 0 277027 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1109964

[startup+342.3 s]
/proc/loadavg: 2.05 2.07 2.08 3/177 27959
/proc/meminfo: memFree=29621564/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=1110944 CPUtime=342.21 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 123604 0 0 0 34181 40 0 0 20 0 1 0 25642907 1137606656 255044 33554432000 4194304 6058637 140736361563424 140736361562152 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 277736 255044 187 456 0 277272 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1110944

[startup+402.3 s]
/proc/loadavg: 2.02 2.06 2.08 3/177 27960
/proc/meminfo: memFree=29695876/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=1112152 CPUtime=402.19 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 124519 0 0 0 40172 47 0 0 20 0 1 0 25642907 1138843648 236437 33554432000 4194304 6058637 140736361563424 140736361562488 4277655 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 278038 236437 187 456 0 277574 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1112152

[startup+462.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/177 28007
/proc/meminfo: memFree=26748920/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=1112952 CPUtime=462.17 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 124776 0 0 0 46170 47 0 0 20 0 1 0 25642907 1139662848 244372 33554432000 4194304 6058637 140736361563424 140736361562040 4277378 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 278238 244372 187 456 0 277774 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1112952

[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/177 28008
/proc/meminfo: memFree=26461588/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=1114968 CPUtime=522.15 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 125303 0 0 0 52167 48 0 0 20 0 1 0 25642907 1141727232 253083 33554432000 4194304 6058637 140736361563424 140736361562040 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 278742 253083 187 456 0 278278 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1114968

[startup+582.3 s]
/proc/loadavg: 2.03 2.04 2.06 3/177 28010
/proc/meminfo: memFree=26178352/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=1116436 CPUtime=582.14 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 125683 0 0 0 58165 49 0 0 20 0 1 0 25642907 1143230464 262150 33554432000 4194304 6058637 140736361563424 140736361562040 4277672 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 279109 262150 187 456 0 278645 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1116436


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


[startup+882.307 s]
/proc/loadavg: 2.05 2.03 2.05 3/178 28019
/proc/meminfo: memFree=22673244/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=1121432 CPUtime=882.1 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 128065 0 0 0 88144 66 0 0 20 0 1 0 25642907 1148346368 245705 33554432000 4194304 6058637 140736361563424 140736361562488 4246088 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 280358 245705 187 456 0 279894 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 1121432

[startup+942.3 s]
/proc/loadavg: 2.02 2.03 2.04 3/178 28043
/proc/meminfo: memFree=22632340/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=1122912 CPUtime=942.08 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 128466 0 0 0 94142 66 0 0 20 0 1 0 25642907 1149861888 254793 33554432000 4194304 6058637 140736361563424 140736361562040 4246207 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 280728 254793 187 456 0 280264 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 1122912

[startup+1002.3 s]
/proc/loadavg: 2.12 2.05 2.05 3/177 28044
/proc/meminfo: memFree=22594712/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=1124256 CPUtime=1002.07 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 128792 0 0 0 100140 67 0 0 20 0 1 0 25642907 1151238144 263806 33554432000 4194304 6058637 140736361563424 140736361562040 4277378 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 281064 263806 187 456 0 280600 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 1124256

[startup+1062.3 s]
/proc/loadavg: 2.04 2.04 2.04 3/177 28045
/proc/meminfo: memFree=22665796/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=1125648 CPUtime=1062.07 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 129595 0 0 0 106133 74 0 0 20 0 1 0 25642907 1152663552 245596 33554432000 4194304 6058637 140736361563424 140736361562024 4277640 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 281412 245596 187 456 0 280948 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 1125648

[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.04 3/177 28046
/proc/meminfo: memFree=22629636/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=1126600 CPUtime=1122.05 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 129921 0 0 0 112131 74 0 0 20 0 1 0 25642907 1153638400 254098 33554432000 4194304 6058637 140736361563424 140736361562040 4277640 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 281650 254098 187 456 0 281186 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 1126600

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/177 28048
/proc/meminfo: memFree=22590248/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=1127556 CPUtime=1182.05 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 130036 0 0 0 118130 75 0 0 20 0 1 0 25642907 1154617344 263411 33554432000 4194304 6058637 140736361563424 140736361562024 4278171 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 281889 263411 187 456 0 281425 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 1127556

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/177 28049
/proc/meminfo: memFree=22687212/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=1128100 CPUtime=1242.04 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 130872 0 0 0 124121 83 0 0 20 0 1 0 25642907 1155174400 238657 33554432000 4194304 6058637 140736361563424 140736361562488 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 282025 238657 187 456 0 281561 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 1128100

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/177 28050
/proc/meminfo: memFree=22649672/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=1128100 CPUtime=1302.03 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 130904 0 0 0 130120 83 0 0 20 0 1 0 25642907 1155174400 247376 33554432000 4194304 6058637 140736361563424 140736361562488 4278287 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 282025 247376 187 456 0 281561 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 1128100

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 28051
/proc/meminfo: memFree=22612380/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=1129828 CPUtime=1362.02 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 131323 0 0 0 136118 84 0 0 20 0 1 0 25642907 1156943872 256482 33554432000 4194304 6058637 140736361563424 140736361562040 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 282457 256482 187 456 0 281993 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 1129828

[startup+1422.3 s]
/proc/loadavg: 2.06 2.02 2.01 3/177 28052
/proc/meminfo: memFree=22575164/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=1129964 CPUtime=1422.02 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 131365 0 0 0 142117 85 0 0 20 0 1 0 25642907 1157083136 265211 33554432000 4194304 6058637 140736361563424 140736361562040 4277640 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 282491 265211 187 456 0 282027 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 1129964

[startup+1482.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/178 28057
/proc/meminfo: memFree=22673232/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=1131948 CPUtime=1482.01 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 132297 0 0 0 148110 91 0 0 20 0 1 0 25642907 1159114752 239968 33554432000 4194304 6058637 140736361563424 140736361562488 4277378 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 282987 239968 187 456 0 282523 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 1131948

[startup+1542.31 s]
/proc/loadavg: 2.06 2.03 2.01 3/177 28058
/proc/meminfo: memFree=22635088/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=1131948 CPUtime=1542 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 132314 0 0 0 154109 91 0 0 20 0 1 0 25642907 1159114752 248672 33554432000 4194304 6058637 140736361563424 140736361562488 4277663 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 282987 248672 187 456 0 282523 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 1131948

[startup+1602.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/176 28059
/proc/meminfo: memFree=22599268/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=1133288 CPUtime=1601.99 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 132681 0 0 0 160107 92 0 0 20 0 1 0 25642907 1160486912 257726 33554432000 4194304 6058637 140736361563424 140736361562040 4277403 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 283322 257726 187 456 0 282858 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 1133288

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.01 3/177 28061
/proc/meminfo: memFree=22559340/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=1133288 CPUtime=1661.98 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 132702 0 0 0 166105 93 0 0 20 0 1 0 25642907 1160486912 266434 33554432000 4194304 6058637 140736361563424 140736361562040 4278190 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 283322 266434 187 456 0 282858 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 1133288

[startup+1722.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 28062
/proc/meminfo: memFree=22523548/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=1134096 CPUtime=1721.97 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 132917 0 0 0 172104 93 0 0 20 0 1 0 25642907 1161314304 274825 33554432000 4194304 6058637 140736361563424 140736361562040 4278100 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 283524 274825 187 456 0 283060 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 1134096

[startup+1782.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/177 28064
/proc/meminfo: memFree=22643644/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=1134528 CPUtime=1781.96 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 133610 0 0 0 178096 100 0 0 20 0 1 0 25642907 1161756672 244292 33554432000 4194304 6058637 140736361563424 140736361562040 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 283632 244292 187 456 0 283168 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 1134528



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.09 2.05 2.01 3/177 28064
/proc/meminfo: memFree=22631076/32872528 swapFree=526336/559040
[pid=27949] ppid=27946 vsize=1134676 CPUtime=1800.06 cores=1,3,5,7
/proc/27949/stat : 27949 (open-wbo-lsu) R 27946 27949 7337 0 -1 4202496 133643 0 0 0 179906 100 0 0 20 0 1 0 25642907 1161908224 246880 33554432000 4194304 6058637 140736361563424 140736361562040 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27949/statm: 283669 246880 187 456 0 283205 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1134676

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

Child status: 40
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1799.06
CPU system time (s): 1.00685
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 1693184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.06
system time used= 1.00685
maximum resident set size= 1506436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133645
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= 122
involuntary context switches= 1847

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.56231 second user time and 6.89795 second system time

The end