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-4118930-1467230308/watcher-4118930-1467230308 -o /tmp/evaluation-result-4118930-1467230308/solver-4118930-1467230308 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1467209130-5019 --watchdog 1960 open-wbo HOME/instance-4118930-1467230308.opb 

pid=7330
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.21 2.24 2.20 3/176 7333
/proc/meminfo: memFree=26719484/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=2776 CPUtime=0 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 421 0 0 0 0 0 0 0 20 0 1 0 3985858 2842624 297 33554432000 4194304 6059633 140736312148288 140736790266840 5043379 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 694 297 176 456 0 188 0

[startup+0.10012 s]
/proc/loadavg: 2.21 2.24 2.20 3/176 7333
/proc/meminfo: memFree=26719484/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=14184 CPUtime=0.09 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 2233 0 0 0 9 0 0 0 20 0 1 0 3985858 14524416 2554 33554432000 4194304 6059633 140736312148288 140736790266840 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 3546 2554 183 456 0 3082 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14184

[startup+0.200309 s]
/proc/loadavg: 2.21 2.24 2.20 3/176 7333
/proc/meminfo: memFree=26719484/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=14184 CPUtime=0.19 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 2237 0 0 0 19 0 0 0 20 0 1 0 3985858 14524416 2558 33554432000 4194304 6059633 140736312148288 140736312147048 4277560 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 3546 2558 183 456 0 3082 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 14184

[startup+0.300374 s]
/proc/loadavg: 2.21 2.24 2.20 3/176 7333
/proc/meminfo: memFree=26719484/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=14184 CPUtime=0.29 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 2265 0 0 0 29 0 0 0 20 0 1 0 3985858 14524416 2586 33554432000 4194304 6059633 140736312148288 140736312147048 4255458 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 3546 2586 183 456 0 3082 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14184

[startup+0.700234 s]
/proc/loadavg: 2.21 2.24 2.20 3/176 7333
/proc/meminfo: memFree=26719484/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=10976 CPUtime=0.69 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 2580 0 0 0 69 0 0 0 20 0 1 0 3985858 11239424 2264 33554432000 4194304 6059633 140736312148288 140736312147048 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 2744 2264 185 456 0 2280 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10976

[startup+1.50017 s]
/proc/loadavg: 2.21 2.24 2.20 3/177 7334
/proc/meminfo: memFree=26710548/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=12832 CPUtime=1.49 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 3271 0 0 0 149 0 0 0 20 0 1 0 3985858 13139968 2614 33554432000 4194304 6059633 140736312148288 140736312147048 4277879 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 3208 2614 189 456 0 2744 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12832

[startup+3.10024 s]
/proc/loadavg: 2.21 2.24 2.20 3/177 7334
/proc/meminfo: memFree=26709200/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=15508 CPUtime=3.09 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 3821 0 0 0 309 0 0 0 20 0 1 0 3985858 15880192 3123 33554432000 4194304 6059633 140736312148288 140736312147048 4278373 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 3877 3123 190 456 0 3413 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15508

[startup+6.30024 s]
/proc/loadavg: 2.35 2.26 2.21 3/177 7334
/proc/meminfo: memFree=26706492/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=17856 CPUtime=6.29 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 4058 0 0 0 629 0 0 0 20 0 1 0 3985858 18284544 3349 33554432000 4194304 6059633 140736312148288 140736312147048 4277879 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 4464 3349 190 456 0 4000 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17856

[startup+12.7003 s]
/proc/loadavg: 2.32 2.26 2.20 3/177 7334
/proc/meminfo: memFree=26703212/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=17856 CPUtime=12.69 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 4813 0 0 0 1269 0 0 0 20 0 1 0 3985858 18284544 4041 33554432000 4194304 6059633 140736312148288 140736312147048 4278354 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 4464 4041 190 456 0 4000 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17856

[startup+25.5004 s]
/proc/loadavg: 2.32 2.26 2.20 3/177 7334
/proc/meminfo: memFree=26700740/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=20560 CPUtime=25.49 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 5561 0 0 0 2549 0 0 0 20 0 1 0 3985858 21053440 4713 33554432000 4194304 6059633 140736312148288 140736312147048 4278011 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 5140 4713 190 456 0 4676 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20560

[startup+51.1004 s]
/proc/loadavg: 2.33 2.27 2.21 3/177 7334
/proc/meminfo: memFree=26692616/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=29484 CPUtime=51.08 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 6262 0 0 0 5108 0 0 0 20 0 1 0 3985858 30191616 6907 33554432000 4194304 6059633 140736312148288 140736312146440 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 7371 6907 190 456 0 6907 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 29484

[startup+102.3 s]
/proc/loadavg: 2.49 2.32 2.23 4/178 7338
/proc/meminfo: memFree=26687640/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=33904 CPUtime=102.28 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 6943 0 0 0 10227 1 0 0 20 0 1 0 3985858 34717696 8044 33554432000 4194304 6059633 140736312148288 140736312147048 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 8476 8044 190 456 0 8012 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 33904

[startup+162.3 s]
/proc/loadavg: 2.27 2.29 2.22 3/178 7363
/proc/meminfo: memFree=26683172/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=36624 CPUtime=162.26 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 8020 0 0 0 16225 1 0 0 20 0 1 0 3985858 37502976 8740 33554432000 4194304 6059633 140736312148288 140736312146776 4278373 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 9156 8740 190 456 0 8692 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 36624

[startup+222.307 s]
/proc/loadavg: 2.20 2.26 2.21 3/177 7364
/proc/meminfo: memFree=26666484/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=49160 CPUtime=222.26 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 8171 0 0 0 22225 1 0 0 20 0 1 0 3985858 50339840 10935 33554432000 4194304 6059633 140736312148288 140736312147048 4278369 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 12290 10935 190 456 0 11826 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 49160

[startup+282.3 s]
/proc/loadavg: 2.12 2.23 2.20 3/177 7365
/proc/meminfo: memFree=26652568/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=57516 CPUtime=282.24 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 8485 0 0 0 28223 1 0 0 20 0 1 0 3985858 58896384 13279 33554432000 4194304 6059633 140736312148288 140736312147048 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 14379 13279 192 456 0 13915 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 57516

[startup+342.3 s]
/proc/loadavg: 2.22 2.23 2.20 3/177 7366
/proc/meminfo: memFree=26618364/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=57516 CPUtime=342.24 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 9437 0 0 0 34222 2 0 0 20 0 1 0 3985858 58896384 13710 33554432000 4194304 6059633 140736312148288 140736312146776 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 14379 13710 192 456 0 13915 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 57516

[startup+402.3 s]
/proc/loadavg: 2.26 2.24 2.20 3/177 7367
/proc/meminfo: memFree=26630900/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=80792 CPUtime=402.22 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 9794 0 0 0 40220 2 0 0 20 0 1 0 3985858 82731008 18660 33554432000 4194304 6059633 140736312148288 140736312147048 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 20198 18660 192 456 0 19734 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 80792

[startup+462.3 s]
/proc/loadavg: 2.22 2.23 2.20 3/177 7369
/proc/meminfo: memFree=26606504/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=81076 CPUtime=462.21 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 10360 0 0 0 46219 2 0 0 20 0 1 0 3985858 83021824 16251 33554432000 4194304 6059633 140736312148288 140736312146440 4278354 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 20269 16251 192 456 0 19805 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 81076

[startup+522.3 s]
/proc/loadavg: 2.20 2.23 2.19 4/177 7370
/proc/meminfo: memFree=26628312/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=93888 CPUtime=522.21 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 10877 0 0 0 52218 3 0 0 20 0 1 0 3985858 96141312 19323 33554432000 4194304 6059633 140736312148288 140736312146440 4261768 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 23472 19323 192 456 0 23008 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 93888

[startup+582.3 s]
/proc/loadavg: 2.22 2.23 2.19 3/177 7371
/proc/meminfo: memFree=26596156/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=93888 CPUtime=582.2 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 10911 0 0 0 58217 3 0 0 20 0 1 0 3985858 96141312 19357 33554432000 4194304 6059633 140736312148288 140736312147048 4246295 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 23472 19357 192 456 0 23008 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 93888


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


[startup+942.3 s]
/proc/loadavg: 2.19 2.21 2.18 3/177 7381
/proc/meminfo: memFree=26620648/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=93888 CPUtime=942.14 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 11069 0 0 0 94211 3 0 0 20 0 1 0 3985858 96141312 20900 33554432000 4194304 6059633 140736312148288 140736312146776 4277847 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 23472 20900 193 456 0 23008 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 93888

[startup+1002.3 s]
/proc/loadavg: 2.12 2.18 2.17 3/177 7382
/proc/meminfo: memFree=26621024/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=93888 CPUtime=1002.13 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 11069 0 0 0 100210 3 0 0 20 0 1 0 3985858 96141312 20900 33554432000 4194304 6059633 140736312148288 140736312147048 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 23472 20900 193 456 0 23008 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 93888

[startup+1062.3 s]
/proc/loadavg: 2.17 2.19 2.18 4/177 7384
/proc/meminfo: memFree=26587252/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=93888 CPUtime=1062.13 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 11209 0 0 0 106209 4 0 0 20 0 1 0 3985858 96141312 20900 33554432000 4194304 6059633 140736312148288 140736312146776 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 23472 20900 193 456 0 23008 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 93888

[startup+1122.3 s]
/proc/loadavg: 2.16 2.18 2.18 3/177 7385
/proc/meminfo: memFree=26554360/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=143208 CPUtime=1122.11 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 11491 0 0 0 112207 4 0 0 20 0 1 0 3985858 146644992 29728 33554432000 4194304 6059633 140736312148288 140736312146488 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 35802 29728 193 456 0 35338 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 143208

[startup+1182.3 s]
/proc/loadavg: 2.23 2.19 2.18 3/177 7386
/proc/meminfo: memFree=26618960/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=93888 CPUtime=1182.1 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 11633 0 0 0 118205 5 0 0 20 0 1 0 3985858 96141312 21412 33554432000 4194304 6059633 140736312148288 140736312146776 4277864 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 23472 21412 193 456 0 23008 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 93888

[startup+1242.3 s]
/proc/loadavg: 2.19 2.19 2.18 3/177 7433
/proc/meminfo: memFree=26692404/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=93888 CPUtime=1242.1 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 11774 0 0 0 124204 6 0 0 20 0 1 0 3985858 96141312 21412 33554432000 4194304 6059633 140736312148288 140736312147048 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 23472 21412 193 456 0 23008 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 93888

[startup+1302.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/178 7437
/proc/meminfo: memFree=26674000/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=93888 CPUtime=1302.08 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 11917 0 0 0 130202 6 0 0 20 0 1 0 3985858 96141312 21412 33554432000 4194304 6059633 140736312148288 140736312146776 4278373 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 23472 21412 193 456 0 23008 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 93888

[startup+1362.3 s]
/proc/loadavg: 2.27 2.20 2.18 3/177 7439
/proc/meminfo: memFree=26656668/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=93888 CPUtime=1362.08 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 12064 0 0 0 136201 7 0 0 20 0 1 0 3985858 96141312 22437 33554432000 4194304 6059633 140736312148288 140736312146776 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 23472 22437 193 456 0 23008 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 93888

[startup+1422.3 s]
/proc/loadavg: 2.31 2.23 2.19 3/177 7440
/proc/meminfo: memFree=26656544/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=93888 CPUtime=1422.08 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 12208 0 0 0 142200 8 0 0 20 0 1 0 3985858 96141312 22437 33554432000 4194304 6059633 140736312148288 140736312146776 4277847 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 23472 22437 193 456 0 23008 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 93888

[startup+1482.3 s]
/proc/loadavg: 2.26 2.23 2.19 3/177 7441
/proc/meminfo: memFree=26655048/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=93888 CPUtime=1482.05 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 12352 0 0 0 148197 8 0 0 20 0 1 0 3985858 96141312 22437 33554432000 4194304 6059633 140736312148288 140736312146776 4278373 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 23472 22437 193 456 0 23008 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 93888

[startup+1542.31 s]
/proc/loadavg: 2.26 2.23 2.19 3/177 7442
/proc/meminfo: memFree=26654060/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=93888 CPUtime=1542.06 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 12496 0 0 0 154197 9 0 0 20 0 1 0 3985858 96141312 22437 33554432000 4194304 6059633 140736312148288 140736312146776 4278447 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 23472 22437 193 456 0 23008 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 93888

[startup+1602.3 s]
/proc/loadavg: 2.27 2.23 2.19 3/177 7443
/proc/meminfo: memFree=26639296/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=93888 CPUtime=1602.04 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 12641 0 0 0 160194 10 0 0 20 0 1 0 3985858 96141312 22437 33554432000 4194304 6059633 140736312148288 140736312146776 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 23472 22437 193 456 0 23008 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 93888

[startup+1662.3 s]
/proc/loadavg: 2.38 2.26 2.20 3/177 7445
/proc/meminfo: memFree=26634452/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=93888 CPUtime=1662.03 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 12982 0 0 0 166193 10 0 0 20 0 1 0 3985858 96141312 22633 33554432000 4194304 6059633 140736312148288 140736312146776 4278520 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 23472 22633 193 456 0 23008 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 93888

[startup+1722.3 s]
/proc/loadavg: 2.30 2.26 2.19 3/177 7446
/proc/meminfo: memFree=26634320/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=93888 CPUtime=1722.02 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 13128 0 0 0 172191 11 0 0 20 0 1 0 3985858 96141312 22633 33554432000 4194304 6059633 140736312148288 140736312146776 4277874 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 23472 22633 193 456 0 23008 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 93888

[startup+1782.3 s]
/proc/loadavg: 2.21 2.24 2.19 3/177 7447
/proc/meminfo: memFree=26585900/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=143208 CPUtime=1782.01 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 13275 0 0 0 178189 12 0 0 20 0 1 0 3985858 146644992 34174 33554432000 4194304 6059633 140736312148288 140736312146488 4277847 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 35802 34174 193 456 0 35338 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 143208



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.32 2.26 2.19 3/177 7447
/proc/meminfo: memFree=26629856/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=93888 CPUtime=1800.01 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 13276 0 0 0 179989 12 0 0 20 0 1 0 3985858 96141312 22786 33554432000 4194304 6059633 140736312148288 140736312146776 4278369 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 23472 22786 193 456 0 23008 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 93888

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

[startup+1800.3 s]
/proc/loadavg: 2.32 2.26 2.19 3/177 7447
/proc/meminfo: memFree=26629856/32872528 swapFree=1268996/1432516
[pid=7333] ppid=7330 vsize=93888 CPUtime=1800.01 cores=0,2,4,6
/proc/7333/stat : 7333 (open-wbo) R 7330 7333 5003 0 -1 4202496 13276 0 0 0 179989 12 0 0 20 0 1 0 3985858 96141312 22786 33554432000 4194304 6059633 140736312148288 140736312146776 4278369 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7333/statm: 23472 22786 193 456 0 23008 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 93888

Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.9
CPU system time (s): 0.124981
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 143208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.124981
maximum resident set size= 138744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13279
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= 1879

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6074 second user time and 8.5637 second system time

The end