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-4086391-1465243932/watcher-4086391-1465243932 -o /tmp/evaluation-result-4086391-1465243932/solver-4086391-1465243932 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1465242130-5023 --watchdog 1960 open-wbo HOME/instance-4086391-1465243932.opb 

pid=5256
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.13 2.18 2.15 3/176 5259
/proc/meminfo: memFree=30210440/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=5584 CPUtime=0 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 1154 0 0 0 0 0 0 0 20 0 1 0 106326863 5718016 1029 33554432000 4194304 6059633 140736434656576 140734908943096 5131227 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 1396 1029 880 456 0 186 0

[startup+0.10016 s]
/proc/loadavg: 2.13 2.18 2.15 3/176 5259
/proc/meminfo: memFree=30210440/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=7284 CPUtime=0.09 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 1542 0 0 0 9 0 0 0 20 0 1 0 106326863 7458816 1417 33554432000 4194304 6059633 140736434656576 140736434655192 5043379 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 1821 1418 880 456 0 611 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7284

[startup+0.200286 s]
/proc/loadavg: 2.13 2.18 2.15 3/176 5259
/proc/meminfo: memFree=30210440/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=9564 CPUtime=0.19 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 2095 0 0 0 19 0 0 0 20 0 1 0 106326863 9793536 1970 33554432000 4194304 6059633 140736434656576 140736434655192 5043379 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 2391 1970 880 456 0 1181 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9564

[startup+0.300177 s]
/proc/loadavg: 2.13 2.18 2.15 3/176 5259
/proc/meminfo: memFree=30210440/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=11604 CPUtime=0.29 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 2624 0 0 0 29 0 0 0 20 0 1 0 106326863 11882496 2499 33554432000 4194304 6059633 140736434656576 140736434655192 5043379 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 2901 2500 880 456 0 1691 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11604

[startup+0.700292 s]
/proc/loadavg: 2.13 2.18 2.15 3/176 5259
/proc/meminfo: memFree=30210440/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=152960 CPUtime=0.69 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 28646 0 0 0 65 4 0 0 20 0 1 0 106326863 156631040 34746 33554432000 4194304 6059633 140736434656576 140736434655192 5043379 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 38240 34747 163 456 0 37776 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 152960

[startup+1.5003 s]
/proc/loadavg: 2.13 2.18 2.15 3/177 5260
/proc/meminfo: memFree=29790564/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=426376 CPUtime=1.49 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 60886 0 0 0 137 12 0 0 20 0 1 0 106326863 436609024 92699 33554432000 4194304 6059633 140736434656576 140736434654504 4277737 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 106594 92699 170 456 0 106130 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 426376

[startup+3.10029 s]
/proc/loadavg: 2.13 2.18 2.15 3/177 5260
/proc/meminfo: memFree=29683340/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=438256 CPUtime=3.09 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 63933 0 0 0 296 13 0 0 20 0 1 0 106326863 448774144 96257 33554432000 4194304 6059633 140736434656576 140736434654712 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 109564 96257 184 456 0 109100 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 438256

[startup+6.30024 s]
/proc/loadavg: 2.12 2.18 2.14 3/177 5260
/proc/meminfo: memFree=29670768/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=441952 CPUtime=6.29 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 64863 0 0 0 616 13 0 0 20 0 1 0 106326863 452558848 97698 33554432000 4194304 6059633 140736434656576 140736434654712 4277855 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 110488 97698 184 456 0 110024 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 441952

[startup+12.7002 s]
/proc/loadavg: 2.19 2.19 2.15 3/177 5260
/proc/meminfo: memFree=29647476/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=495680 CPUtime=12.69 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 66277 0 0 0 1255 14 0 0 20 0 1 0 106326863 507576320 99622 33554432000 4194304 6059633 140736434656576 140736434654616 4254417 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 123920 99622 184 456 0 123456 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 495680

[startup+25.5003 s]
/proc/loadavg: 2.15 2.18 2.15 4/177 5260
/proc/meminfo: memFree=29626588/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=500340 CPUtime=25.49 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 68133 0 0 0 2535 14 0 0 20 0 1 0 106326863 512348160 103011 33554432000 4194304 6059633 140736434656576 140736434654552 4277855 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 125085 103011 186 456 0 124621 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 500340

[startup+51.1003 s]
/proc/loadavg: 2.10 2.17 2.14 3/177 5260
/proc/meminfo: memFree=29635124/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=451852 CPUtime=51.09 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 68580 0 0 0 5093 16 0 0 20 0 1 0 106326863 462696448 101549 33554432000 4194304 6059633 140736434656576 140736434654728 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 112963 101549 187 456 0 112499 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 451852

[startup+102.3 s]
/proc/loadavg: 2.32 2.22 2.16 4/177 5261
/proc/meminfo: memFree=29632916/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=453436 CPUtime=102.28 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 69352 0 0 0 10208 20 0 0 20 0 1 0 106326863 464318464 100922 33554432000 4194304 6059633 140736434656576 140736434654552 4261792 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 113359 100922 187 456 0 112895 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 453436

[startup+162.3 s]
/proc/loadavg: 2.23 2.22 2.16 3/177 5262
/proc/meminfo: memFree=29612724/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=455388 CPUtime=162.27 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 70224 0 0 0 16204 23 0 0 20 0 1 0 106326863 466317312 101927 33554432000 4194304 6059633 140736434656576 140736434654616 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 113847 101927 187 456 0 113383 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 455388

[startup+222.3 s]
/proc/loadavg: 2.27 2.22 2.17 4/177 5263
/proc/meminfo: memFree=29630496/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=457176 CPUtime=222.26 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 71017 0 0 0 22200 26 0 0 20 0 1 0 106326863 468148224 100805 33554432000 4194304 6059633 140736434656576 140736434655064 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 114294 100805 187 456 0 113830 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 457176

[startup+282.3 s]
/proc/loadavg: 2.36 2.25 2.18 3/177 5265
/proc/meminfo: memFree=29606644/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=507924 CPUtime=282.25 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 71627 0 0 0 28196 29 0 0 20 0 1 0 106326863 520114176 103083 33554432000 4194304 6059633 140736434656576 140736434654616 4277586 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 126981 103083 187 456 0 126517 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 507924

[startup+342.3 s]
/proc/loadavg: 2.44 2.28 2.19 3/177 5266
/proc/meminfo: memFree=29605112/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=508728 CPUtime=342.25 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 72466 0 0 0 34193 32 0 0 20 0 1 0 106326863 520937472 105590 33554432000 4194304 6059633 140736434656576 140736434654616 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 127182 105590 187 456 0 126718 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 508728

[startup+402.3 s]
/proc/loadavg: 2.30 2.27 2.19 3/177 5267
/proc/meminfo: memFree=29587896/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=510216 CPUtime=402.23 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 73262 0 0 0 40188 35 0 0 20 0 1 0 106326863 522461184 108567 33554432000 4194304 6059633 140736434656576 140736434654616 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 127554 108567 187 456 0 127090 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 510216

[startup+462.307 s]
/proc/loadavg: 2.28 2.27 2.19 3/177 5268
/proc/meminfo: memFree=29588844/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=512892 CPUtime=462.22 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 74645 0 0 0 46182 40 0 0 20 0 1 0 106326863 525201408 106633 33554432000 4194304 6059633 140736434656576 140736434654616 4278363 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 128223 106633 187 456 0 127759 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 512892

[startup+522.3 s]
/proc/loadavg: 2.24 2.26 2.19 3/178 5272
/proc/meminfo: memFree=29584072/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=515708 CPUtime=522.21 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 76113 0 0 0 52175 46 0 0 20 0 1 0 106326863 528084992 106833 33554432000 4194304 6059633 140736434656576 140736434654616 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 128927 106833 187 456 0 128463 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 515708

[startup+582.3 s]
/proc/loadavg: 2.31 2.27 2.19 3/177 5274
/proc/meminfo: memFree=29576060/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=527960 CPUtime=582.21 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 79854 0 0 0 58167 54 0 0 20 0 1 0 106326863 540631040 107906 33554432000 4194304 6059633 140736434656576 140736434655032 4278389 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 131990 107906 187 456 0 131526 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 527960


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


[startup+882.3 s]
/proc/loadavg: 2.39 2.26 2.20 3/177 5280
/proc/meminfo: memFree=29523060/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=536088 CPUtime=882.13 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 85458 0 0 0 88133 80 0 0 20 0 1 0 106326863 548954112 114113 33554432000 4194304 6059633 140736434656576 140736434654616 4255479 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 134022 114113 187 456 0 133558 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 536088

[startup+942.3 s]
/proc/loadavg: 2.29 2.26 2.19 4/177 5281
/proc/meminfo: memFree=29535928/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=539120 CPUtime=942.1 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 86878 0 0 0 94125 85 0 0 20 0 1 0 106326863 552058880 112211 33554432000 4194304 6059633 140736434656576 140736434655032 4278389 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 134780 112211 187 456 0 134316 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 539120

[startup+1002.3 s]
/proc/loadavg: 2.29 2.27 2.20 4/177 5282
/proc/meminfo: memFree=29520920/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=542568 CPUtime=1002.09 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 87884 0 0 0 100123 86 0 0 20 0 1 0 106326863 555589632 118777 33554432000 4194304 6059633 140736434656576 140736434654616 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 135642 118777 187 456 0 135178 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 542568

[startup+1062.3 s]
/proc/loadavg: 2.26 2.26 2.20 3/177 5283
/proc/meminfo: memFree=29548348/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=543664 CPUtime=1062.07 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 88570 0 0 0 106119 88 0 0 20 0 1 0 106326863 556711936 115363 33554432000 4194304 6059633 140736434656576 140736434655064 4277864 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 135916 115363 187 456 0 135452 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 543664

[startup+1122.31 s]
/proc/loadavg: 2.31 2.27 2.20 3/178 5287
/proc/meminfo: memFree=29503796/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=543872 CPUtime=1122.06 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 88979 0 0 0 112115 91 0 0 20 0 1 0 106326863 556924928 119090 33554432000 4194304 6059633 140736434656576 140736434655064 4278482 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 135968 119090 187 456 0 135504 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 543872

[startup+1182.3 s]
/proc/loadavg: 2.22 2.26 2.20 4/177 5289
/proc/meminfo: memFree=29508200/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=544392 CPUtime=1182.05 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 89203 0 0 0 118112 93 0 0 20 0 1 0 106326863 557457408 121554 33554432000 4194304 6059633 140736434656576 140736434654616 4278617 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 136098 121554 187 456 0 135634 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 544392

[startup+1242.3 s]
/proc/loadavg: 2.39 2.30 2.21 3/177 5290
/proc/meminfo: memFree=29509068/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=544844 CPUtime=1242.04 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 89782 0 0 0 124108 96 0 0 20 0 1 0 106326863 557920256 115545 33554432000 4194304 6059633 140736434656576 140736434655064 4278402 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 136211 115545 187 456 0 135747 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 544844

[startup+1302.3 s]
/proc/loadavg: 2.23 2.27 2.21 3/177 5291
/proc/meminfo: memFree=29513768/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=545260 CPUtime=1302.03 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 90222 0 0 0 130106 97 0 0 20 0 1 0 106326863 558346240 117887 33554432000 4194304 6059633 140736434656576 140736434655064 4278373 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 136315 117887 187 456 0 135851 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 545260

[startup+1362.3 s]
/proc/loadavg: 2.18 2.25 2.20 4/177 5292
/proc/meminfo: memFree=29518600/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=545968 CPUtime=1362.02 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 90534 0 0 0 136103 99 0 0 20 0 1 0 106326863 559071232 119411 33554432000 4194304 6059633 140736434656576 140736434654616 4278035 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 136492 119411 187 456 0 136028 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 545968

[startup+1422.3 s]
/proc/loadavg: 2.29 2.28 2.21 3/177 5293
/proc/meminfo: memFree=29494084/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=546436 CPUtime=1422.01 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 90962 0 0 0 142100 101 0 0 20 0 1 0 106326863 559550464 119706 33554432000 4194304 6059633 140736434656576 140736434654616 4278520 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 136609 119706 187 456 0 136145 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 546436

[startup+1482.3 s]
/proc/loadavg: 2.22 2.26 2.20 3/177 5295
/proc/meminfo: memFree=29499668/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=547600 CPUtime=1482 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 91382 0 0 0 148098 102 0 0 20 0 1 0 106326863 560742400 121845 33554432000 4194304 6059633 140736434656576 140736434655064 4855362 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 136900 121845 187 456 0 136436 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 547600

[startup+1542.3 s]
/proc/loadavg: 2.17 2.24 2.20 4/177 5296
/proc/meminfo: memFree=29492280/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=548664 CPUtime=1541.99 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 91982 0 0 0 154094 105 0 0 20 0 1 0 106326863 561831936 122810 33554432000 4194304 6059633 140736434656576 140736434654616 4278447 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 137166 122810 187 456 0 136702 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 548664

[startup+1602.3 s]
/proc/loadavg: 2.27 2.25 2.20 3/177 5297
/proc/meminfo: memFree=29487756/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=549488 CPUtime=1601.98 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 92274 0 0 0 160091 107 0 0 20 0 1 0 106326863 562675712 122777 33554432000 4194304 6059633 140736434656576 140736434654616 4261635 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 137372 122777 187 456 0 136908 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 549488

[startup+1662.3 s]
/proc/loadavg: 2.30 2.26 2.20 3/177 5298
/proc/meminfo: memFree=29485460/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=550220 CPUtime=1661.98 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 92817 0 0 0 166089 109 0 0 20 0 1 0 106326863 563425280 122675 33554432000 4194304 6059633 140736434656576 140736434654616 4278520 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 137555 122675 187 456 0 137091 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 550220

[startup+1722.3 s]
/proc/loadavg: 2.24 2.26 2.20 4/178 5302
/proc/meminfo: memFree=29483892/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=551540 CPUtime=1721.96 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 93236 0 0 0 172085 111 0 0 20 0 1 0 106326863 564776960 122254 33554432000 4194304 6059633 140736434656576 140736434654616 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 137885 122254 187 456 0 137421 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 551540

[startup+1782.31 s]
/proc/loadavg: 2.24 2.25 2.20 3/177 5304
/proc/meminfo: memFree=29474040/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=552004 CPUtime=1781.96 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 93751 0 0 0 178083 113 0 0 20 0 1 0 106326863 565252096 122086 33554432000 4194304 6059633 140736434656576 140736434655064 4277879 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 138001 122086 187 456 0 137537 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 552004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.24 2.25 2.20 3/175 5318
/proc/meminfo: memFree=29946956/32872528 swapFree=14448/1543360
[pid=5259] ppid=5256 vsize=552520 CPUtime=1800.05 cores=0,2,4,6
/proc/5259/stat : 5259 (open-wbo) R 5256 5259 5007 0 -1 4202496 93843 0 0 0 179891 114 0 0 20 0 1 0 106326863 565780480 124733 33554432000 4194304 6059633 140736434656576 140736434654616 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/5259/statm: 138130 124733 187 456 0 137666 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 552520

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 5259 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): 1798.92
CPU system time (s): 1.14782
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 682232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.92
system time used= 1.14783
maximum resident set size= 595668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93846
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= 109
involuntary context switches= 1868

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.20636 second user time and 7.2549 second system time

The end