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-4086411-1465236087/watcher-4086411-1465236087 -o /tmp/evaluation-result-4086411-1465236087/solver-4086411-1465236087 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1465223432-16632 --watchdog 1960 open-wbo HOME/instance-4086411-1465236087.opb
pid=20366
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.04 2.02 2.00 3/179 20369
/proc/meminfo: memFree=31996684/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=2380 CPUtime=0 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 321 0 0 0 0 0 0 0 20 0 1 0 105540742 2437120 196 33554432000 4194304 6059633 140734679307184 140733563689208 5043132 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 595 196 145 456 0 120 0
[startup+0.100173 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 20369
/proc/meminfo: memFree=31996684/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=30856 CPUtime=0.08 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 5997 0 0 0 8 0 0 0 20 0 1 0 105540742 31596544 6120 33554432000 4194304 6059633 140734679307184 140733563689208 4281231 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 7714 6121 167 456 0 7250 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 30856
[startup+0.20039 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 20369
/proc/meminfo: memFree=31996684/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=33496 CPUtime=0.18 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 6761 0 0 0 18 0 0 0 20 0 1 0 105540742 34299904 6884 33554432000 4194304 6059633 140734679307184 140733563689208 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 8374 6884 171 456 0 7910 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 33496
[startup+0.300363 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 20369
/proc/meminfo: memFree=31996684/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=33760 CPUtime=0.28 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 6858 0 0 0 28 0 0 0 20 0 1 0 105540742 34570240 6979 33554432000 4194304 6059633 140734679307184 140734679306280 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 8440 6979 184 456 0 7976 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 33760
[startup+0.700314 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 20369
/proc/meminfo: memFree=31996684/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=34368 CPUtime=0.68 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 7046 0 0 0 68 0 0 0 20 0 1 0 105540742 35192832 7165 33554432000 4194304 6059633 140734679307184 140734679306280 4246291 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 8592 7165 186 456 0 8128 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 34368
[startup+1.50032 s]
/proc/loadavg: 2.04 2.02 2.00 3/180 20370
/proc/meminfo: memFree=31968728/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=38788 CPUtime=1.49 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 7200 0 0 0 148 1 0 0 20 0 1 0 105540742 39718912 7310 33554432000 4194304 6059633 140734679307184 140734679306280 4246382 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 9697 7310 186 456 0 9233 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38788
[startup+3.10031 s]
/proc/loadavg: 2.04 2.02 2.00 3/180 20370
/proc/meminfo: memFree=31967248/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=39392 CPUtime=3.09 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 7538 0 0 0 308 1 0 0 20 0 1 0 105540742 40337408 8149 33554432000 4194304 6059633 140734679307184 140734679305544 4278479 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 9848 8149 186 456 0 9384 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39392
[startup+6.30032 s]
/proc/loadavg: 2.04 2.02 2.00 3/180 20370
/proc/meminfo: memFree=31964344/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=39684 CPUtime=6.28 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 7972 0 0 0 627 1 0 0 20 0 1 0 105540742 40636416 7545 33554432000 4194304 6059633 140734679307184 140734679306008 4263731 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 9921 7545 188 456 0 9457 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 39684
[startup+12.7003 s]
/proc/loadavg: 2.04 2.02 2.00 3/180 20370
/proc/meminfo: memFree=31962152/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=40544 CPUtime=12.69 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 8581 0 0 0 1267 2 0 0 20 0 1 0 105540742 41517056 8327 33554432000 4194304 6059633 140734679307184 140734679306008 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 10136 8327 189 456 0 9672 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40544
[startup+25.5004 s]
/proc/loadavg: 2.03 2.02 2.00 3/180 20370
/proc/meminfo: memFree=31942056/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=63748 CPUtime=25.48 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 9524 0 0 0 2546 2 0 0 20 0 1 0 105540742 65277952 13773 33554432000 4194304 6059633 140734679307184 140734679305704 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 15937 13773 189 456 0 15473 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 63748
[startup+51.1004 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20370
/proc/meminfo: memFree=31936596/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=70944 CPUtime=51.07 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 11646 0 0 0 5103 4 0 0 20 0 1 0 105540742 72646656 15409 33554432000 4194304 6059633 140734679307184 140734679305672 4278382 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 17736 15409 189 456 0 17272 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 70944
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 20371
/proc/meminfo: memFree=31914036/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=70944 CPUtime=102.27 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 11650 0 0 0 10223 4 0 0 20 0 1 0 105540742 72646656 16104 33554432000 4194304 6059633 140734679307184 140734679306280 4278354 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 17736 16104 189 456 0 17272 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 70944
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20372
/proc/meminfo: memFree=31911424/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=89760 CPUtime=162.25 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 11742 0 0 0 16221 4 0 0 20 0 1 0 105540742 91914240 17129 33554432000 4194304 6059633 140734679307184 140734679305672 4277990 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 22440 17129 189 456 0 21976 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 89760
[startup+222.308 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20374
/proc/meminfo: memFree=31901612/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=89760 CPUtime=222.25 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 11839 0 0 0 22220 5 0 0 20 0 1 0 105540742 91914240 21307 33554432000 4194304 6059633 140734679307184 140734679306280 4246318 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 22440 21307 189 456 0 21976 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 89760
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20375
/proc/meminfo: memFree=31876844/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=89760 CPUtime=282.24 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 11839 0 0 0 28219 5 0 0 20 0 1 0 105540742 91914240 21341 33554432000 4194304 6059633 140734679307184 140734679306280 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 22440 21341 189 456 0 21976 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 89760
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20376
/proc/meminfo: memFree=31875096/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=89760 CPUtime=342.23 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 11839 0 0 0 34218 5 0 0 20 0 1 0 105540742 91914240 21341 33554432000 4194304 6059633 140734679307184 140734679306280 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 22440 21341 189 456 0 21976 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 89760
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20377
/proc/meminfo: memFree=31872924/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=89760 CPUtime=402.21 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 11847 0 0 0 40216 5 0 0 20 0 1 0 105540742 91914240 21349 33554432000 4194304 6059633 140734679307184 140734679306280 4246291 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 22440 21349 189 456 0 21976 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 89760
[startup+462.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/179 20378
/proc/meminfo: memFree=31870932/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=91928 CPUtime=462.2 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 12375 0 0 0 46215 5 0 0 20 0 1 0 105540742 94134272 21866 33554432000 4194304 6059633 140734679307184 140734679305704 4277874 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 22982 21866 189 456 0 22518 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 91928
[startup+522.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/180 20383
/proc/meminfo: memFree=31868000/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=93280 CPUtime=522.2 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 12727 0 0 0 52214 6 0 0 20 0 1 0 105540742 95518720 22204 33554432000 4194304 6059633 140734679307184 140734679305704 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 23320 22204 189 456 0 22856 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 93280
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 20384
/proc/meminfo: memFree=31868600/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=93920 CPUtime=582.19 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 12728 0 0 0 58213 6 0 0 20 0 1 0 105540742 96174080 22205 33554432000 4194304 6059633 140734679307184 140734679305704 4277549 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 23480 22205 189 456 0 23016 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 93920
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 20391
/proc/meminfo: memFree=31855228/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=124668 CPUtime=942.13 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 14804 0 0 0 94203 10 0 0 20 0 1 0 105540742 127660032 25438 33554432000 4194304 6059633 140734679307184 140734679306008 4278352 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 31167 25438 189 456 0 30703 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 124668
[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 20392
/proc/meminfo: memFree=31821836/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=124668 CPUtime=1002.13 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 15035 0 0 0 100202 11 0 0 20 0 1 0 105540742 127660032 25438 33554432000 4194304 6059633 140734679307184 140734679306008 4277832 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 31167 25438 189 456 0 30703 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 124668
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20393
/proc/meminfo: memFree=31819660/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=124668 CPUtime=1062.11 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 15266 0 0 0 106200 11 0 0 20 0 1 0 105540742 127660032 25438 33554432000 4194304 6059633 140734679307184 140734679306008 4261780 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 31167 25438 189 456 0 30703 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 124668
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20397
/proc/meminfo: memFree=31821764/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=173988 CPUtime=1122.1 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 15727 0 0 0 112198 12 0 0 20 0 1 0 105540742 178163712 33843 33554432000 4194304 6059633 140734679307184 140734679305720 4277549 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 43497 33843 189 456 0 43033 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 173988
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20399
/proc/meminfo: memFree=31817476/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=173988 CPUtime=1182.1 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 15961 0 0 0 118197 13 0 0 20 0 1 0 105540742 178163712 34867 33554432000 4194304 6059633 140734679307184 140734679305720 4246291 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 43497 34867 189 456 0 43033 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 173988
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20400
/proc/meminfo: memFree=31815264/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=173988 CPUtime=1242.09 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 16195 0 0 0 124195 14 0 0 20 0 1 0 105540742 178163712 35379 33554432000 4194304 6059633 140734679307184 140734679305720 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 43497 35379 189 456 0 43033 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 173988
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20401
/proc/meminfo: memFree=31813672/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=173988 CPUtime=1302.08 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 16429 0 0 0 130193 15 0 0 20 0 1 0 105540742 178163712 35891 33554432000 4194304 6059633 140734679307184 140734679305720 4277576 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 43497 35891 189 456 0 43033 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 173988
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20403
/proc/meminfo: memFree=31823280/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=124668 CPUtime=1362.07 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 16663 0 0 0 136192 15 0 0 20 0 1 0 105540742 127660032 25438 33554432000 4194304 6059633 140734679307184 140734679306008 4278382 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 31167 25438 189 456 0 30703 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 124668
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20404
/proc/meminfo: memFree=31823160/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=124668 CPUtime=1422.07 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 16898 0 0 0 142191 16 0 0 20 0 1 0 105540742 127660032 25438 33554432000 4194304 6059633 140734679307184 140734679306008 4278443 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 31167 25438 189 456 0 30703 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 124668
[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 20406
/proc/meminfo: memFree=31821108/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=124668 CPUtime=1482.05 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 17133 0 0 0 148188 17 0 0 20 0 1 0 105540742 127660032 25438 33554432000 4194304 6059633 140734679307184 140734679306008 4277910 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 31167 25438 189 456 0 30703 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 124668
[startup+1542.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20407
/proc/meminfo: memFree=31820856/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=124668 CPUtime=1542.04 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 17369 0 0 0 154187 17 0 0 20 0 1 0 105540742 127660032 25438 33554432000 4194304 6059633 140734679307184 140734679306008 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 31167 25438 189 456 0 30703 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 124668
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 20408
/proc/meminfo: memFree=31822772/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=124668 CPUtime=1602.04 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 17605 0 0 0 160185 19 0 0 20 0 1 0 105540742 127660032 25438 33554432000 4194304 6059633 140734679307184 140734679306008 4277549 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 31167 25438 189 456 0 30703 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 124668
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20409
/proc/meminfo: memFree=31822768/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=124668 CPUtime=1662.02 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 17841 0 0 0 166183 19 0 0 20 0 1 0 105540742 127660032 25438 33554432000 4194304 6059633 140734679307184 140734679306008 4278382 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 31167 25438 189 456 0 30703 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 124668
[startup+1722.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/180 20458
/proc/meminfo: memFree=31851296/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=173988 CPUtime=1722.01 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 18077 0 0 0 172181 20 0 0 20 0 1 0 105540742 178163712 37427 33554432000 4194304 6059633 140734679307184 140734679305720 4278447 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 43497 37427 189 456 0 43033 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 173988
[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 20460
/proc/meminfo: memFree=31844592/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=173988 CPUtime=1782 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 18610 0 0 0 178179 21 0 0 20 0 1 0 105540742 178163712 37662 33554432000 4194304 6059633 140734679307184 140734679305720 4278447 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 43497 37662 189 456 0 43033 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 173988
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 20461
/proc/meminfo: memFree=31893068/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=124668 CPUtime=1800.01 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 18920 0 0 0 179978 23 0 0 20 0 1 0 105540742 127660032 25438 33554432000 4194304 6059633 140734679307184 140734679306008 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 31167 25438 189 456 0 30703 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 124668
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 20369 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 20461
/proc/meminfo: memFree=31893068/32872528 swapFree=8144/8144
[pid=20369] ppid=20366 vsize=124668 CPUtime=1800.01 cores=1,3,5,7
/proc/20369/stat : 20369 (open-wbo) R 20366 20369 16615 0 -1 4202496 18920 0 0 0 179978 23 0 0 20 0 1 0 105540742 127660032 25438 33554432000 4194304 6059633 140734679307184 140734679306008 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20369/statm: 31167 25438 189 456 0 30703 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 124668
Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.01
CPU user time (s): 1799.78
CPU system time (s): 0.231964
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 204808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.231964
maximum resident set size= 151860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18923
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= 16
involuntary context switches= 2000
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.15637 second user time and 7.30389 second system time
The end