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-4118462-1467222041/watcher-4118462-1467222041 -o /tmp/evaluation-result-4118462-1467222041/solver-4118462-1467222041 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1467209011-6355 --watchdog 1960 open-wbo HOME/instance-4118462-1467222041.opb 

pid=8374
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.28 2.20 3/177 8377
/proc/meminfo: memFree=28659304/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=2820 CPUtime=0 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 455 0 0 0 0 0 0 0 20 0 1 0 3158892 2887680 331 33554432000 4194304 6059633 140735980005024 140737332610248 4210656 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/8377/statm: 705 331 222 456 0 153 0

[startup+0.100164 s]
/proc/loadavg: 2.32 2.28 2.20 3/177 8377
/proc/meminfo: memFree=28659304/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=12104 CPUtime=0.09 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 1858 0 0 0 9 0 0 0 20 0 1 0 3158892 12394496 1604 33554432000 4194304 6059633 140735980005024 140737332610248 5268791 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/8377/statm: 3026 1604 174 456 0 2562 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12104

[startup+0.200322 s]
/proc/loadavg: 2.32 2.28 2.20 3/177 8377
/proc/meminfo: memFree=28659304/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=12652 CPUtime=0.19 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 2071 0 0 0 19 0 0 0 20 0 1 0 3158892 12955648 1816 33554432000 4194304 6059633 140735980005024 140737332610248 5268791 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/8377/statm: 3163 1816 175 456 0 2699 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12652

[startup+0.300273 s]
/proc/loadavg: 2.32 2.28 2.20 3/177 8377
/proc/meminfo: memFree=28659304/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=14560 CPUtime=0.29 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 2470 0 0 0 29 0 0 0 20 0 1 0 3158892 14909440 2723 33554432000 4194304 6059633 140735980005024 140737332610248 4277900 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/8377/statm: 3640 2723 188 456 0 3176 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14560

[startup+0.700298 s]
/proc/loadavg: 2.32 2.28 2.20 3/177 8377
/proc/meminfo: memFree=28659304/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=14996 CPUtime=0.68 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 2591 0 0 0 68 0 0 0 20 0 1 0 3158892 15355904 2844 33554432000 4194304 6059633 140735980005024 140735980003784 4277804 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 3749 2844 192 456 0 3285 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 14996

[startup+1.50024 s]
/proc/loadavg: 2.32 2.28 2.20 3/178 8378
/proc/meminfo: memFree=28649848/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=12556 CPUtime=1.48 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 3067 0 0 0 148 0 0 0 20 0 1 0 3158892 12857344 2575 33554432000 4194304 6059633 140735980005024 140735980003784 4278447 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 3139 2575 193 456 0 2675 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12556

[startup+3.10029 s]
/proc/loadavg: 2.32 2.28 2.20 3/178 8378
/proc/meminfo: memFree=28649104/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=17244 CPUtime=3.08 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 4533 0 0 0 308 0 0 0 20 0 1 0 3158892 17657856 3557 33554432000 4194304 6059633 140735980005024 140735980003176 4246864 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 4311 3557 193 456 0 3847 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 17244

[startup+6.3003 s]
/proc/loadavg: 2.29 2.27 2.20 3/178 8378
/proc/meminfo: memFree=28644540/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=17244 CPUtime=6.29 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 4745 0 0 0 628 1 0 0 20 0 1 0 3158892 17657856 3757 33554432000 4194304 6059633 140735980005024 140735980003784 4277545 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 4311 3757 193 456 0 3847 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17244

[startup+12.7003 s]
/proc/loadavg: 2.35 2.28 2.20 3/178 8378
/proc/meminfo: memFree=28641280/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=19948 CPUtime=12.68 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 5550 0 0 0 1267 1 0 0 20 0 1 0 3158892 20426752 4480 33554432000 4194304 6059633 140735980005024 140735980003784 4277774 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 4987 4480 193 456 0 4523 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19948

[startup+25.5004 s]
/proc/loadavg: 2.42 2.30 2.21 3/177 8378
/proc/meminfo: memFree=28637272/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=25152 CPUtime=25.48 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 6380 0 0 0 2547 1 0 0 20 0 1 0 3158892 25755648 5593 33554432000 4194304 6059633 140735980005024 140735980003784 4278479 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 6288 5593 193 456 0 5824 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25152

[startup+51.1004 s]
/proc/loadavg: 2.40 2.31 2.21 3/177 8378
/proc/meminfo: memFree=28627720/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=33840 CPUtime=51.08 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 7799 0 0 0 5106 2 0 0 20 0 1 0 3158892 34652160 7973 33554432000 4194304 6059633 140735980005024 140735980003208 4278482 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 8460 7973 193 456 0 7996 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 33840

[startup+102.3 s]
/proc/loadavg: 2.28 2.29 2.21 3/176 8379
/proc/meminfo: memFree=28624552/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=36752 CPUtime=102.27 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 8041 0 0 0 10225 2 0 0 20 0 1 0 3158892 37634048 8713 33554432000 4194304 6059633 140735980005024 140735980003208 4277507 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 9188 8713 197 456 0 8724 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 36752

[startup+162.3 s]
/proc/loadavg: 2.27 2.29 2.21 3/177 8381
/proc/meminfo: memFree=28579812/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=60636 CPUtime=162.26 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 9132 0 0 0 16223 3 0 0 20 0 1 0 3158892 62091264 11246 33554432000 4194304 6059633 140735980005024 140735980003176 4277781 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 15159 11246 197 456 0 14695 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 60636

[startup+222.307 s]
/proc/loadavg: 2.35 2.31 2.22 3/177 8382
/proc/meminfo: memFree=28575844/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=60636 CPUtime=222.25 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 9137 0 0 0 22222 3 0 0 20 0 1 0 3158892 62091264 11762 33554432000 4194304 6059633 140735980005024 140735980003784 4262704 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 15159 11762 197 456 0 14695 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 60636

[startup+282.3 s]
/proc/loadavg: 2.31 2.31 2.23 3/177 8383
/proc/meminfo: memFree=28600420/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=60636 CPUtime=282.24 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 9527 0 0 0 28220 4 0 0 20 0 1 0 3158892 62091264 14698 33554432000 4194304 6059633 140735980005024 140735980003784 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 15159 14698 197 456 0 14695 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 60636

[startup+342.3 s]
/proc/loadavg: 2.32 2.31 2.23 3/177 8384
/proc/meminfo: memFree=28581056/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=79492 CPUtime=342.23 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 10560 0 0 0 34218 5 0 0 20 0 1 0 3158892 81399808 19369 33554432000 4194304 6059633 140735980005024 140735980003784 4278373 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 19873 19369 198 456 0 19409 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 79492

[startup+402.3 s]
/proc/loadavg: 2.28 2.30 2.23 3/177 8385
/proc/meminfo: memFree=28581056/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=79492 CPUtime=402.22 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 10563 0 0 0 40217 5 0 0 20 0 1 0 3158892 81399808 19372 33554432000 4194304 6059633 140735980005024 140735980003784 4246399 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 19873 19372 198 456 0 19409 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 79492

[startup+462.3 s]
/proc/loadavg: 2.19 2.27 2.22 3/177 8387
/proc/meminfo: memFree=28580928/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=79492 CPUtime=462.21 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 10594 0 0 0 46216 5 0 0 20 0 1 0 3158892 81399808 19403 33554432000 4194304 6059633 140735980005024 140735980003784 4278447 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 19873 19403 198 456 0 19409 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 79492

[startup+522.3 s]
/proc/loadavg: 2.19 2.25 2.22 3/177 8388
/proc/meminfo: memFree=28580800/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=79492 CPUtime=522.21 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 10594 0 0 0 52216 5 0 0 20 0 1 0 3158892 81399808 19403 33554432000 4194304 6059633 140735980005024 140735980003784 4278479 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 19873 19403 198 456 0 19409 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 79492

[startup+582.3 s]
/proc/loadavg: 2.27 2.26 2.22 3/178 8392
/proc/meminfo: memFree=28580600/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=79492 CPUtime=582.2 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 10600 0 0 0 58215 5 0 0 20 0 1 0 3158892 81399808 19409 33554432000 4194304 6059633 140735980005024 140735980003784 4277774 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 19873 19409 198 456 0 19409 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 79492


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


[startup+942.3 s]
/proc/loadavg: 2.33 2.26 2.21 3/177 8445
/proc/meminfo: memFree=28609308/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=92532 CPUtime=942.14 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 11141 0 0 0 94204 10 0 0 20 0 1 0 3158892 94752768 22690 33554432000 4194304 6059633 140735980005024 140735980003512 4278429 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 23133 22690 198 456 0 22669 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 92532

[startup+1002.3 s]
/proc/loadavg: 2.27 2.25 2.21 3/177 8446
/proc/meminfo: memFree=28600680/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=92532 CPUtime=1002.12 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 11235 0 0 0 100201 11 0 0 20 0 1 0 3158892 94752768 22690 33554432000 4194304 6059633 140735980005024 140735980003512 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 23133 22690 198 456 0 22669 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 92532

[startup+1062.3 s]
/proc/loadavg: 2.21 2.23 2.20 3/177 8448
/proc/meminfo: memFree=28555864/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=141852 CPUtime=1062.11 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 11333 0 0 0 106199 12 0 0 20 0 1 0 3158892 145256448 31938 33554432000 4194304 6059633 140735980005024 140735980003784 4246291 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 35463 31938 198 456 0 34999 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 141852

[startup+1122.3 s]
/proc/loadavg: 2.33 2.25 2.21 3/177 8449
/proc/meminfo: memFree=28586652/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=92532 CPUtime=1122.11 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 11382 0 0 0 112198 13 0 0 20 0 1 0 3158892 94752768 22693 33554432000 4194304 6059633 140735980005024 140735980003512 4278389 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 23133 22693 198 456 0 22669 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 92532

[startup+1182.3 s]
/proc/loadavg: 2.17 2.22 2.20 3/178 8453
/proc/meminfo: memFree=28527240/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=141852 CPUtime=1182.1 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 11478 0 0 0 118196 14 0 0 20 0 1 0 3158892 145256448 31938 33554432000 4194304 6059633 140735980005024 140735980003224 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 35463 31938 198 456 0 34999 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 141852

[startup+1242.3 s]
/proc/loadavg: 2.26 2.24 2.20 3/178 8477
/proc/meminfo: memFree=28563156/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=92532 CPUtime=1242.09 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 11532 0 0 0 124194 15 0 0 20 0 1 0 3158892 94752768 22696 33554432000 4194304 6059633 140735980005024 140735980003784 4255436 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 23133 22696 198 456 0 22669 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 92532

[startup+1302.3 s]
/proc/loadavg: 2.37 2.27 2.21 3/177 8478
/proc/meminfo: memFree=28528736/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=141852 CPUtime=1302.08 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 11627 0 0 0 130192 16 0 0 20 0 1 0 3158892 145256448 31429 33554432000 4194304 6059633 140735980005024 140735980003224 4246362 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 35463 31429 198 456 0 34999 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 141852

[startup+1362.3 s]
/proc/loadavg: 2.37 2.28 2.21 3/177 8480
/proc/meminfo: memFree=28563924/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=92532 CPUtime=1362.07 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 11682 0 0 0 136189 18 0 0 20 0 1 0 3158892 94752768 22696 33554432000 4194304 6059633 140735980005024 140735980003512 4277740 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 23133 22696 198 456 0 22669 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 92532

[startup+1422.3 s]
/proc/loadavg: 2.32 2.28 2.22 3/177 8481
/proc/meminfo: memFree=28563544/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=92744 CPUtime=1422.06 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 11733 0 0 0 142188 18 0 0 20 0 1 0 3158892 94969856 22697 33554432000 4194304 6059633 140735980005024 140735980003176 4277855 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 23186 22697 198 456 0 22722 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 92744

[startup+1482.3 s]
/proc/loadavg: 2.27 2.28 2.21 3/177 8482
/proc/meminfo: memFree=28528600/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=142064 CPUtime=1482.06 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 11884 0 0 0 148186 20 0 0 20 0 1 0 3158892 145473536 30971 33554432000 4194304 6059633 140735980005024 140735980003224 4277932 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 35516 30971 198 456 0 35052 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 142064

[startup+1542.31 s]
/proc/loadavg: 2.21 2.25 2.21 3/177 8483
/proc/meminfo: memFree=28522088/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=142064 CPUtime=1542.05 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 11938 0 0 0 154184 21 0 0 20 0 1 0 3158892 145473536 32507 33554432000 4194304 6059633 140735980005024 140735980003224 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 35516 32507 198 456 0 35052 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 142064

[startup+1602.3 s]
/proc/loadavg: 2.26 2.25 2.21 3/177 8484
/proc/meminfo: memFree=28515324/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=142064 CPUtime=1602.03 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 11992 0 0 0 160181 22 0 0 20 0 1 0 3158892 145473536 34043 33554432000 4194304 6059633 140735980005024 140735980003224 4254740 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 35516 34043 198 456 0 35052 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 142064

[startup+1662.3 s]
/proc/loadavg: 2.33 2.27 2.21 3/177 8486
/proc/meminfo: memFree=28560748/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=92744 CPUtime=1662.03 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 12045 0 0 0 166180 23 0 0 20 0 1 0 3158892 94969856 22750 33554432000 4194304 6059633 140735980005024 140735980003512 4855705 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 23186 22750 198 456 0 22722 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 92744

[startup+1722.3 s]
/proc/loadavg: 2.42 2.30 2.22 3/177 8487
/proc/meminfo: memFree=28560748/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=92744 CPUtime=1722.02 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 12098 0 0 0 172178 24 0 0 20 0 1 0 3158892 94969856 22750 33554432000 4194304 6059633 140735980005024 140735980003512 4255375 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 23186 22750 198 456 0 22722 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 92744

[startup+1782.3 s]
/proc/loadavg: 2.32 2.29 2.22 3/178 8491
/proc/meminfo: memFree=28526552/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=92744 CPUtime=1782 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 12225 0 0 0 178175 25 0 0 20 0 1 0 3158892 94969856 22755 33554432000 4194304 6059633 140735980005024 140735980003512 4277549 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 23186 22755 198 456 0 22722 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 92744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.37 2.30 2.23 4/178 8491
/proc/meminfo: memFree=28521412/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=142064 CPUtime=1800 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 12274 0 0 0 179974 26 0 0 20 0 1 0 3158892 145473536 33024 33554432000 4194304 6059633 140735980005024 140735980003224 4278520 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 35516 33024 198 456 0 35052 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 142064

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

[startup+1800.3 s]
/proc/loadavg: 2.37 2.30 2.23 4/178 8491
/proc/meminfo: memFree=28521412/32872528 swapFree=1370068/1517236
[pid=8377] ppid=8374 vsize=142064 CPUtime=1800 cores=1,3,5,7
/proc/8377/stat : 8377 (open-wbo) R 8374 8377 6338 0 -1 4202496 12274 0 0 0 179974 26 0 0 20 0 1 0 3158892 145473536 33024 33554432000 4194304 6059633 140735980005024 140735980003224 4278520 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8377/statm: 35516 33024 198 456 0 35052 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 142064

Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.75
CPU system time (s): 0.267959
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 172884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.267959
maximum resident set size= 142604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12277
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= 14
involuntary context switches= 1990

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.21936 second user time and 7.44687 second system time

The end