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-4103086-1466249936/watcher-4103086-1466249936 -o /tmp/evaluation-result-4103086-1466249936/solver-4103086-1466249936 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466240166-29916 --watchdog 1960 open-wbo HOME/instance-4103086-1466249936.opb
pid=32363
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.20 2.20 2.18 3/176 32366
/proc/meminfo: memFree=30128824/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=4720 CPUtime=0 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 913 0 0 0 0 0 0 0 20 0 1 0 27038847 4833280 788 33554432000 4194304 6059633 140736884460640 140736634145208 5043379 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 1180 788 696 456 0 154 0
[startup+0.10012 s]
/proc/loadavg: 2.20 2.20 2.18 3/176 32366
/proc/meminfo: memFree=30128824/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=6808 CPUtime=0.09 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 1383 0 0 0 9 0 0 0 20 0 1 0 27038847 6971392 1258 33554432000 4194304 6059633 140736884460640 140736634145208 5043379 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 1702 1259 696 456 0 676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6808
[startup+0.200283 s]
/proc/loadavg: 2.20 2.20 2.18 3/176 32366
/proc/meminfo: memFree=30128824/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=9196 CPUtime=0.19 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 1900 0 0 0 19 0 0 0 20 0 1 0 27038847 9416704 1775 33554432000 4194304 6059633 140736884460640 140736634145208 5043379 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 2299 1775 696 456 0 1273 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9196
[startup+0.300231 s]
/proc/loadavg: 2.20 2.20 2.18 3/176 32366
/proc/meminfo: memFree=30128824/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=16844 CPUtime=0.28 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 3583 0 0 0 28 0 0 0 20 0 1 0 27038847 17248256 3353 33554432000 4194304 6059633 140736884460640 140736884459304 4261792 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 4211 3353 180 456 0 3747 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 16844
[startup+0.700223 s]
/proc/loadavg: 2.20 2.20 2.18 3/176 32366
/proc/meminfo: memFree=30128824/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=17556 CPUtime=0.68 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 3822 0 0 0 68 0 0 0 20 0 1 0 27038847 17977344 3592 33554432000 4194304 6059633 140736884460640 140736884459304 4278360 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 4389 3592 185 456 0 3925 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 17556
[startup+1.50028 s]
/proc/loadavg: 2.18 2.20 2.18 3/177 32367
/proc/meminfo: memFree=30114788/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=18412 CPUtime=1.49 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 4893 0 0 0 148 1 0 0 20 0 1 0 27038847 18853888 3771 33554432000 4194304 6059633 140736884460640 140736884459432 4277778 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 4603 3771 187 456 0 4139 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18412
[startup+3.10024 s]
/proc/loadavg: 2.18 2.20 2.18 3/177 32367
/proc/meminfo: memFree=30108996/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=23888 CPUtime=3.09 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 6385 0 0 0 308 1 0 0 20 0 1 0 27038847 24461312 5304 33554432000 4194304 6059633 140736884460640 140736884459736 4277781 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 5972 5304 187 456 0 5508 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23888
[startup+6.30023 s]
/proc/loadavg: 2.18 2.20 2.18 3/177 32367
/proc/meminfo: memFree=30101088/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=21208 CPUtime=6.29 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 7755 0 0 0 628 1 0 0 20 0 1 0 27038847 21716992 4570 33554432000 4194304 6059633 140736884460640 140736884459464 4277570 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 5302 4570 187 456 0 4838 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21208
[startup+12.7003 s]
/proc/loadavg: 2.31 2.22 2.19 3/177 32367
/proc/meminfo: memFree=30095872/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=28284 CPUtime=12.68 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 8236 0 0 0 1267 1 0 0 20 0 1 0 27038847 28962816 6572 33554432000 4194304 6059633 140736884460640 140736884459736 4255186 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 7071 6572 187 456 0 6607 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 28284
[startup+25.5003 s]
/proc/loadavg: 2.34 2.23 2.19 3/177 32367
/proc/meminfo: memFree=30081264/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=43236 CPUtime=25.48 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 8928 0 0 0 2546 2 0 0 20 0 1 0 27038847 44273664 8260 33554432000 4194304 6059633 140736884460640 140736884459736 4277570 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 10809 8260 187 456 0 10345 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 43236
[startup+51.1004 s]
/proc/loadavg: 2.22 2.21 2.18 3/177 32367
/proc/meminfo: memFree=30121008/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=43236 CPUtime=51.08 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 9465 0 0 0 5106 2 0 0 20 0 1 0 27038847 44273664 10313 33554432000 4194304 6059633 140736884460640 140736884459736 4277874 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 10809 10313 187 456 0 10345 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 43236
[startup+102.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/178 32372
/proc/meminfo: memFree=30062176/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=50416 CPUtime=102.28 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 9734 0 0 0 10225 3 0 0 20 0 1 0 27038847 51625984 12089 33554432000 4194304 6059633 140736884460640 140736884459736 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 12604 12089 188 456 0 12140 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 50416
[startup+162.3 s]
/proc/loadavg: 2.27 2.23 2.19 3/177 32373
/proc/meminfo: memFree=30049728/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=94380 CPUtime=162.27 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 11224 0 0 0 16223 4 0 0 20 0 1 0 27038847 96645120 15985 33554432000 4194304 6059633 140736884460640 140736884459128 4277685 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 23595 15985 188 456 0 23131 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 94380
[startup+222.307 s]
/proc/loadavg: 2.23 2.22 2.18 4/177 32374
/proc/meminfo: memFree=30045160/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=94380 CPUtime=222.26 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 11371 0 0 0 22222 4 0 0 20 0 1 0 27038847 96645120 17152 33554432000 4194304 6059633 140736884460640 140736884459736 4277545 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 23595 17152 188 456 0 23131 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 94380
[startup+282.3 s]
/proc/loadavg: 2.13 2.19 2.18 3/177 32375
/proc/meminfo: memFree=30047608/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=94380 CPUtime=282.25 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 11373 0 0 0 28221 4 0 0 20 0 1 0 27038847 96645120 17665 33554432000 4194304 6059633 140736884460640 140736884459736 4277832 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 23595 17665 188 456 0 23131 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 94380
[startup+342.3 s]
/proc/loadavg: 2.21 2.20 2.18 4/177 32422
/proc/meminfo: memFree=30110392/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=94380 CPUtime=342.23 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 11606 0 0 0 34219 4 0 0 20 0 1 0 27038847 96645120 23002 33554432000 4194304 6059633 140736884460640 140736884459736 4277586 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 23595 23002 188 456 0 23131 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 94380
[startup+402.3 s]
/proc/loadavg: 2.17 2.19 2.18 3/177 32424
/proc/meminfo: memFree=30109336/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=94380 CPUtime=402.23 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 11606 0 0 0 40218 5 0 0 20 0 1 0 27038847 96645120 23002 33554432000 4194304 6059633 140736884460640 140736884459736 4277549 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 23595 23002 188 456 0 23131 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 94380
[startup+462.3 s]
/proc/loadavg: 2.15 2.18 2.18 3/177 32425
/proc/meminfo: memFree=30092900/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=94380 CPUtime=462.22 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 12126 0 0 0 46216 6 0 0 20 0 1 0 27038847 96645120 23002 33554432000 4194304 6059633 140736884460640 140736884459464 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 23595 23002 188 456 0 23131 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 94380
[startup+522.3 s]
/proc/loadavg: 2.17 2.18 2.18 4/177 32426
/proc/meminfo: memFree=30073672/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=94380 CPUtime=522.2 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 12648 0 0 0 52214 6 0 0 20 0 1 0 27038847 96645120 23002 33554432000 4194304 6059633 140736884460640 140736884459464 4277586 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 23595 23002 188 456 0 23131 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 94380
[startup+582.3 s]
/proc/loadavg: 2.22 2.19 2.18 3/177 32427
/proc/meminfo: memFree=30067188/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=94380 CPUtime=582.2 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 13173 0 0 0 58212 8 0 0 20 0 1 0 27038847 96645120 23002 33554432000 4194304 6059633 140736884460640 140736884459464 4278389 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 23595 23002 188 456 0 23131 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 94380
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.13 2.14 2.16 3/177 32437
/proc/meminfo: memFree=30059916/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=94380 CPUtime=942.14 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 16360 0 0 0 94198 16 0 0 20 0 1 0 27038847 96645120 23014 33554432000 4194304 6059633 140736884460640 140736884459464 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 23595 23014 188 456 0 23131 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 94380
[startup+1002.3 s]
/proc/loadavg: 2.09 2.13 2.16 3/177 32439
/proc/meminfo: memFree=30022080/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=143700 CPUtime=1002.13 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 17356 0 0 0 100195 18 0 0 20 0 1 0 27038847 147148800 32475 33554432000 4194304 6059633 140736884460640 140736884459176 4278389 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 35925 32475 188 456 0 35461 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 143700
[startup+1062.3 s]
/proc/loadavg: 2.20 2.15 2.16 4/177 32440
/proc/meminfo: memFree=30009048/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=108216 CPUtime=1062.12 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 18041 0 0 0 106193 19 0 0 20 0 1 0 27038847 110813184 26494 33554432000 4194304 6059633 140736884460640 140736884459464 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 27054 26494 188 456 0 26590 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 108216
[startup+1122.3 s]
/proc/loadavg: 2.24 2.17 2.16 4/177 32441
/proc/meminfo: memFree=30002300/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=157536 CPUtime=1122.11 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 18575 0 0 0 112191 20 0 0 20 0 1 0 27038847 161316864 37491 33554432000 4194304 6059633 140736884460640 140736884459176 4278373 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 39384 37491 188 456 0 38920 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 157536
[startup+1182.3 s]
/proc/loadavg: 2.13 2.15 2.16 3/177 32442
/proc/meminfo: memFree=30045692/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=108216 CPUtime=1182.11 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 19381 0 0 0 118189 22 0 0 20 0 1 0 27038847 110813184 26494 33554432000 4194304 6059633 140736884460640 140736884459464 4262374 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 27054 26494 188 456 0 26590 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 108216
[startup+1242.3 s]
/proc/loadavg: 2.16 2.15 2.16 4/177 32443
/proc/meminfo: memFree=29961124/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=157536 CPUtime=1242.09 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 20505 0 0 0 124185 24 0 0 20 0 1 0 27038847 161316864 38515 33554432000 4194304 6059633 140736884460640 140736884459176 4278479 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 39384 38515 188 456 0 38920 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 157536
[startup+1302.3 s]
/proc/loadavg: 2.21 2.16 2.16 3/178 32448
/proc/meminfo: memFree=29988792/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=108216 CPUtime=1302.08 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 21959 0 0 0 130181 27 0 0 20 0 1 0 27038847 110813184 26494 33554432000 4194304 6059633 140736884460640 140736884459464 4277781 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 27054 26494 188 456 0 26590 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 108216
[startup+1362.3 s]
/proc/loadavg: 2.28 2.19 2.17 3/178 32472
/proc/meminfo: memFree=30008144/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=108216 CPUtime=1362.07 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 22822 0 0 0 136178 29 0 0 20 0 1 0 27038847 110813184 26494 33554432000 4194304 6059633 140736884460640 140736884459464 4278382 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 27054 26494 188 456 0 26590 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 108216
[startup+1422.3 s]
/proc/loadavg: 2.22 2.19 2.17 4/177 32473
/proc/meminfo: memFree=29960920/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=157536 CPUtime=1422.08 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 23612 0 0 0 142177 31 0 0 20 0 1 0 27038847 161316864 35955 33554432000 4194304 6059633 140736884460640 140736884459176 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 39384 35955 188 456 0 38920 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 157536
[startup+1482.3 s]
/proc/loadavg: 2.14 2.17 2.16 3/177 32474
/proc/meminfo: memFree=29997440/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=157536 CPUtime=1482.05 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 24408 0 0 0 148173 32 0 0 20 0 1 0 27038847 161316864 38647 33554432000 4194304 6059633 140736884460640 140736884459176 4278352 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 39384 38647 188 456 0 38920 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 157536
[startup+1542.31 s]
/proc/loadavg: 2.21 2.19 2.17 3/177 32475
/proc/meminfo: memFree=30005912/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=108216 CPUtime=1542.06 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 25727 0 0 0 154171 35 0 0 20 0 1 0 27038847 110813184 26494 33554432000 4194304 6059633 140736884460640 140736884459464 4277832 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 27054 26494 188 456 0 26590 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 108216
[startup+1602.3 s]
/proc/loadavg: 2.19 2.18 2.17 4/176 32476
/proc/meminfo: memFree=29964116/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=157536 CPUtime=1602.04 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 26849 0 0 0 160167 37 0 0 20 0 1 0 27038847 161316864 34931 33554432000 4194304 6059633 140736884460640 140736884459176 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 39384 34931 188 456 0 38920 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 157536
[startup+1662.3 s]
/proc/loadavg: 2.21 2.18 2.17 3/177 32478
/proc/meminfo: memFree=30002796/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=157536 CPUtime=1662.03 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 27717 0 0 0 166165 38 0 0 20 0 1 0 27038847 161316864 36979 33554432000 4194304 6059633 140736884460640 140736884459176 4278373 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 39384 36979 188 456 0 38920 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 157536
[startup+1722.3 s]
/proc/loadavg: 2.21 2.19 2.18 4/177 32479
/proc/meminfo: memFree=30001272/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=157536 CPUtime=1722.02 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 28579 0 0 0 172162 40 0 0 20 0 1 0 27038847 161316864 36982 33554432000 4194304 6059633 140736884460640 140736884459736 4261728 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 39384 36982 188 456 0 38920 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 157536
[startup+1782.3 s]
/proc/loadavg: 2.23 2.20 2.18 4/177 32480
/proc/meminfo: memFree=29964052/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=157536 CPUtime=1782.01 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 29444 0 0 0 178160 41 0 0 20 0 1 0 27038847 161316864 35958 33554432000 4194304 6059633 140736884460640 140736884459176 4262623 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 39384 35958 188 456 0 38920 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 157536
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.18 2.19 2.18 3/177 32480
/proc/meminfo: memFree=29945620/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=157536 CPUtime=1800 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 29528 0 0 0 179959 41 0 0 20 0 1 0 27038847 161316864 38597 33554432000 4194304 6059633 140736884460640 140736884459176 4277832 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 39384 38597 188 456 0 38920 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 157536
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 32366 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.18 2.19 2.18 3/177 32480
/proc/meminfo: memFree=29945620/32872528 swapFree=1400172/1569824
[pid=32366] ppid=32363 vsize=157536 CPUtime=1800 cores=0,2,4,6
/proc/32366/stat : 32366 (open-wbo) R 32363 32366 29900 0 -1 4202496 29528 0 0 0 179959 41 0 0 20 0 1 0 27038847 161316864 38597 33554432000 4194304 6059633 140736884460640 140736884459176 4277832 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/32366/statm: 39384 38597 188 456 0 38920 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 157536
Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.6
CPU system time (s): 0.420936
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 188356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.420936
maximum resident set size= 168664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29531
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= 15
involuntary context switches= 1864
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.48932 second user time and 6.97194 second system time
The end