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-4086478-1465253298/watcher-4086478-1465253298 -o /tmp/evaluation-result-4086478-1465253298/solver-4086478-1465253298 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1465237058-6409 --watchdog 1960 open-wbo HOME/instance-4086478-1465253298.opb 

pid=8317
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.18 2.19 2.18 4/176 8320
/proc/meminfo: memFree=30257312/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=5520 CPUtime=0 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 1120 0 0 0 0 0 0 0 20 0 1 0 107263230 5652480 996 33554432000 4194304 6059633 140734537948256 140733896155656 5047405 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 1380 996 897 456 0 153 0

[startup+0.100116 s]
/proc/loadavg: 2.18 2.19 2.18 4/176 8320
/proc/meminfo: memFree=30257312/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=7660 CPUtime=0.09 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 1586 0 0 0 9 0 0 0 20 0 1 0 107263230 7843840 1462 33554432000 4194304 6059633 140734537948256 140733896155656 5043379 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 1915 1462 897 456 0 688 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7660

[startup+0.200387 s]
/proc/loadavg: 2.18 2.19 2.18 4/176 8320
/proc/meminfo: memFree=30257312/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=10048 CPUtime=0.19 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 2091 0 0 0 19 0 0 0 20 0 1 0 107263230 10289152 1967 33554432000 4194304 6059633 140734537948256 140733896155656 5043379 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 2512 1967 897 456 0 1285 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10048

[startup+0.300354 s]
/proc/loadavg: 2.18 2.19 2.18 4/176 8320
/proc/meminfo: memFree=30257312/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=14748 CPUtime=0.29 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 2969 0 0 0 29 0 0 0 20 0 1 0 107263230 15101952 2066 33554432000 4194304 6059633 140734537948256 140733896155656 4294854 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 3687 2066 155 456 0 3223 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14748

[startup+0.700248 s]
/proc/loadavg: 2.18 2.19 2.18 4/176 8320
/proc/meminfo: memFree=30257312/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=21232 CPUtime=0.68 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 4709 0 0 0 68 0 0 0 20 0 1 0 107263230 21741568 4294 33554432000 4194304 6059633 140734537948256 140734537947352 4277852 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 5308 4294 185 456 0 4844 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21232

[startup+1.50028 s]
/proc/loadavg: 2.18 2.19 2.18 3/177 8321
/proc/meminfo: memFree=30239624/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=22092 CPUtime=1.49 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 5223 0 0 0 148 1 0 0 20 0 1 0 107263230 22622208 4792 33554432000 4194304 6059633 140734537948256 140734537947352 4278389 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 5523 4792 185 456 0 5059 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22092

[startup+3.10026 s]
/proc/loadavg: 2.16 2.19 2.18 3/177 8321
/proc/meminfo: memFree=30237948/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=22948 CPUtime=3.09 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 6835 0 0 0 308 1 0 0 20 0 1 0 107263230 23498752 4897 33554432000 4194304 6059633 140734537948256 140734537946632 4278658 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 5737 4897 186 456 0 5273 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22948

[startup+6.30031 s]
/proc/loadavg: 2.16 2.19 2.18 3/177 8321
/proc/meminfo: memFree=30192748/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=34860 CPUtime=6.28 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 7391 0 0 0 627 1 0 0 20 0 1 0 107263230 35696640 7997 33554432000 4194304 6059633 140734537948256 140734537947352 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 8715 7997 187 456 0 8251 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 34860

[startup+12.7003 s]
/proc/loadavg: 2.15 2.19 2.18 3/177 8321
/proc/meminfo: memFree=30190740/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=34860 CPUtime=12.68 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 7404 0 0 0 1267 1 0 0 20 0 1 0 107263230 35696640 8010 33554432000 4194304 6059633 140734537948256 140734537947352 4277956 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 8715 8010 187 456 0 8251 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 34860

[startup+25.5003 s]
/proc/loadavg: 2.19 2.19 2.18 3/177 8321
/proc/meminfo: memFree=30219132/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=42108 CPUtime=25.48 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 8815 0 0 0 2547 1 0 0 20 0 1 0 107263230 43118592 9802 33554432000 4194304 6059633 140734537948256 140734537947352 4255373 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 10527 9802 187 456 0 10063 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 42108

[startup+51.1004 s]
/proc/loadavg: 2.24 2.21 2.18 3/177 8321
/proc/meminfo: memFree=30211700/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=55932 CPUtime=51.08 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 9689 0 0 0 5106 2 0 0 20 0 1 0 107263230 57274368 12112 33554432000 4194304 6059633 140734537948256 140734537946744 4277549 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 13983 12112 187 456 0 13519 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 55932

[startup+102.3 s]
/proc/loadavg: 2.31 2.24 2.19 4/177 8322
/proc/meminfo: memFree=30158548/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=67664 CPUtime=102.28 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 10649 0 0 0 10226 2 0 0 20 0 1 0 107263230 69287936 16048 33554432000 4194304 6059633 140734537948256 140734537947048 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 16916 16048 187 456 0 16452 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 67664

[startup+162.3 s]
/proc/loadavg: 2.41 2.28 2.20 4/178 8326
/proc/meminfo: memFree=30174356/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=86520 CPUtime=162.26 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 11324 0 0 0 16223 3 0 0 20 0 1 0 107263230 88596480 20870 33554432000 4194304 6059633 140734537948256 140734537947352 4255316 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 21630 20870 187 456 0 21166 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 86520

[startup+222.307 s]
/proc/loadavg: 2.21 2.24 2.19 3/177 8328
/proc/meminfo: memFree=30174228/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=86520 CPUtime=222.26 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 11345 0 0 0 22223 3 0 0 20 0 1 0 107263230 88596480 20891 33554432000 4194304 6059633 140734537948256 140734537947352 4278447 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 21630 20891 187 456 0 21166 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 86520

[startup+282.3 s]
/proc/loadavg: 2.12 2.21 2.18 4/177 8329
/proc/meminfo: memFree=30135004/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=88260 CPUtime=282.24 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 11369 0 0 0 28221 3 0 0 20 0 1 0 107263230 90378240 20915 33554432000 4194304 6059633 140734537948256 140734537946776 4277847 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 22065 20915 187 456 0 21601 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 88260

[startup+342.3 s]
/proc/loadavg: 2.27 2.23 2.19 3/177 8330
/proc/meminfo: memFree=30171288/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=88972 CPUtime=342.23 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 12308 0 0 0 34219 4 0 0 20 0 1 0 107263230 91107328 21496 33554432000 4194304 6059633 140734537948256 140734537947080 4277549 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 22243 21496 187 456 0 21779 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 88972

[startup+402.3 s]
/proc/loadavg: 2.15 2.20 2.18 3/177 8331
/proc/meminfo: memFree=30131140/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=90476 CPUtime=402.22 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 12714 0 0 0 40218 4 0 0 20 0 1 0 107263230 92647424 21883 33554432000 4194304 6059633 140734537948256 140734537946776 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 22619 21883 187 456 0 22155 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 90476

[startup+462.3 s]
/proc/loadavg: 2.15 2.19 2.18 3/177 8332
/proc/meminfo: memFree=30158068/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=102152 CPUtime=462.22 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 14137 0 0 0 46216 6 0 0 20 0 1 0 107263230 104603648 24819 33554432000 4194304 6059633 140734537948256 140734537947080 4277847 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 25538 24819 187 456 0 25074 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 102152

[startup+522.3 s]
/proc/loadavg: 2.16 2.18 2.18 3/177 8334
/proc/meminfo: memFree=30087852/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=151472 CPUtime=522.21 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 15178 0 0 0 52213 8 0 0 20 0 1 0 107263230 155107328 33860 33554432000 4194304 6059633 140734537948256 140734537946792 4255375 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 37868 33860 187 456 0 37404 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 151472

[startup+582.3 s]
/proc/loadavg: 2.25 2.21 2.18 3/177 8335
/proc/meminfo: memFree=30157328/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=102152 CPUtime=582.2 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 15897 0 0 0 58211 9 0 0 20 0 1 0 107263230 104603648 24857 33554432000 4194304 6059633 140734537948256 140734537947080 4261221 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 25538 24857 187 456 0 25074 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 102152


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


[startup+942.3 s]
/proc/loadavg: 2.18 2.19 2.18 3/177 8368
/proc/meminfo: memFree=30113592/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=102904 CPUtime=942.14 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 18112 0 0 0 94197 17 0 0 20 0 1 0 107263230 105373696 24997 33554432000 4194304 6059633 140734537948256 140734537947080 4278402 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 25726 24997 187 456 0 25262 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 102904

[startup+1002.3 s]
/proc/loadavg: 2.18 2.18 2.18 4/177 8369
/proc/meminfo: memFree=30054908/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=183044 CPUtime=1002.13 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 19020 0 0 0 100194 19 0 0 20 0 1 0 107263230 187437056 37515 33554432000 4194304 6059633 140734537948256 140734537947048 4278472 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 45761 37515 187 456 0 45297 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 183044

[startup+1062.3 s]
/proc/loadavg: 2.28 2.20 2.18 3/177 8370
/proc/meminfo: memFree=30123524/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=152224 CPUtime=1062.12 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 20002 0 0 0 106191 21 0 0 20 0 1 0 107263230 155877376 33263 33554432000 4194304 6059633 140734537948256 140734537946792 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 38056 33263 187 456 0 37592 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 152224

[startup+1122.3 s]
/proc/loadavg: 2.27 2.21 2.18 3/177 8372
/proc/meminfo: memFree=30107692/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=183044 CPUtime=1122.12 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 20772 0 0 0 112189 23 0 0 20 0 1 0 107263230 187437056 37363 33554432000 4194304 6059633 140734537948256 140734537946792 4278410 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 45761 37363 187 456 0 45297 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 183044

[startup+1182.3 s]
/proc/loadavg: 2.25 2.21 2.18 4/177 8373
/proc/meminfo: memFree=30117464/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=152224 CPUtime=1182.11 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 21917 0 0 0 118185 26 0 0 20 0 1 0 107263230 155877376 34814 33554432000 4194304 6059633 140734537948256 140734537946792 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 38056 34814 187 456 0 37592 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 152224

[startup+1242.3 s]
/proc/loadavg: 2.35 2.25 2.19 3/177 8419
/proc/meminfo: memFree=30155156/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=152224 CPUtime=1242.1 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 22766 0 0 0 124182 28 0 0 20 0 1 0 107263230 155877376 36867 33554432000 4194304 6059633 140734537948256 140734537946792 4278482 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 38056 36867 187 456 0 37592 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 152224

[startup+1302.3 s]
/proc/loadavg: 2.22 2.23 2.19 3/177 8420
/proc/meminfo: memFree=30163092/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=102904 CPUtime=1302.08 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 24377 0 0 0 130178 30 0 0 20 0 1 0 107263230 105373696 25046 33554432000 4194304 6059633 140734537948256 140734537947080 4255373 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 25726 25046 187 456 0 25262 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 102904

[startup+1362.3 s]
/proc/loadavg: 2.27 2.25 2.19 3/178 8424
/proc/meminfo: memFree=30093144/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=152224 CPUtime=1362.07 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 25294 0 0 0 136175 32 0 0 20 0 1 0 107263230 155877376 35858 33554432000 4194304 6059633 140734537948256 140734537946792 4278369 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 38056 35858 187 456 0 37592 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 152224

[startup+1422.3 s]
/proc/loadavg: 2.24 2.24 2.19 3/177 8426
/proc/meminfo: memFree=30116908/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=183044 CPUtime=1422.07 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 26914 0 0 0 142173 34 0 0 20 0 1 0 107263230 187437056 38144 33554432000 4194304 6059633 140734537948256 140734537947048 4277835 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 45761 38144 187 456 0 45297 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 183044

[startup+1482.3 s]
/proc/loadavg: 2.18 2.23 2.18 3/177 8427
/proc/meminfo: memFree=30072932/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=183044 CPUtime=1482.06 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 27770 0 0 0 148170 36 0 0 20 0 1 0 107263230 187437056 38663 33554432000 4194304 6059633 140734537948256 140734537947048 4277847 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 45761 38663 187 456 0 45297 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 183044

[startup+1542.31 s]
/proc/loadavg: 2.11 2.20 2.17 3/177 8428
/proc/meminfo: memFree=30130956/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=102904 CPUtime=1542.06 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 28625 0 0 0 154168 38 0 0 20 0 1 0 107263230 105373696 25074 33554432000 4194304 6059633 140734537948256 140734537947080 4255308 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 25726 25074 187 456 0 25262 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 102904

[startup+1602.3 s]
/proc/loadavg: 2.30 2.23 2.19 3/177 8429
/proc/meminfo: memFree=30069992/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=152224 CPUtime=1602.04 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 29549 0 0 0 160164 40 0 0 20 0 1 0 107263230 155877376 34351 33554432000 4194304 6059633 140734537948256 140734537946792 4246291 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 38056 34351 187 456 0 37592 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 152224

[startup+1662.3 s]
/proc/loadavg: 2.34 2.25 2.19 4/177 8430
/proc/meminfo: memFree=30043708/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=152224 CPUtime=1662.03 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 30403 0 0 0 166161 42 0 0 20 0 1 0 107263230 155877376 36916 33554432000 4194304 6059633 140734537948256 140734537946792 4277847 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 38056 36916 187 456 0 37592 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 152224

[startup+1722.3 s]
/proc/loadavg: 2.17 2.22 2.18 3/177 8432
/proc/meminfo: memFree=30092692/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=183044 CPUtime=1722.03 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 32011 0 0 0 172158 45 0 0 20 0 1 0 107263230 187437056 38689 33554432000 4194304 6059633 140734537948256 140734537947048 4277832 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 45761 38689 187 456 0 45297 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 183044

[startup+1782.3 s]
/proc/loadavg: 2.18 2.21 2.18 3/176 8433
/proc/meminfo: memFree=30065776/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=183044 CPUtime=1782.01 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 32634 0 0 0 178155 46 0 0 20 0 1 0 107263230 187437056 37451 33554432000 4194304 6059633 140734537948256 140734537946792 4277879 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 45761 37451 187 456 0 45297 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 183044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.13 2.19 2.17 3/176 8434
/proc/meminfo: memFree=29999348/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=183852 CPUtime=1800.01 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 32867 0 0 0 179955 46 0 0 20 0 1 0 107263230 188264448 40235 33554432000 4194304 6059633 140734537948256 140734537947048 4277879 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 45963 40235 187 456 0 45499 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 183852

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

[startup+1800.3 s]
/proc/loadavg: 2.13 2.19 2.17 3/176 8434
/proc/meminfo: memFree=29999348/32872528 swapFree=16700/1645768
[pid=8320] ppid=8317 vsize=183852 CPUtime=1800.01 cores=1,3,5,7
/proc/8320/stat : 8320 (open-wbo) R 8317 8320 714 0 -1 4202496 32867 0 0 0 179955 46 0 0 20 0 1 0 107263230 188264448 40235 33554432000 4194304 6059633 140734537948256 140734537947048 4277879 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8320/statm: 45963 40235 187 456 0 45499 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 183852

Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.03
CPU user time (s): 1799.55
CPU system time (s): 0.471928
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 183852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.471928
maximum resident set size= 167044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32870
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= 11
involuntary context switches= 1856

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.43832 second user time and 7.02193 second system time

The end