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-4086469-1465253085/watcher-4086469-1465253085 -o /tmp/evaluation-result-4086469-1465253085/solver-4086469-1465253085 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1465251283-11459 --watchdog 1960 open-wbo HOME/instance-4086469-1465253085.opb
pid=11606
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.05 2.13 2.09 2/169 11609
/proc/meminfo: memFree=30745468/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=4368 CPUtime=0 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 828 0 0 0 0 0 0 0 20 0 1 0 107241113 4472832 703 33554432000 4194304 6059633 140736390495040 140736479169496 5131680 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/11609/statm: 1092 703 608 456 0 154 0
[startup+0.10012 s]
/proc/loadavg: 2.05 2.13 2.09 2/169 11609
/proc/meminfo: memFree=30745468/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=6452 CPUtime=0.09 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 1299 0 0 0 9 0 0 0 20 0 1 0 107241113 6606848 1174 33554432000 4194304 6059633 140736390495040 140736479169496 5043379 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/11609/statm: 1613 1174 608 456 0 675 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6452
[startup+0.200251 s]
/proc/loadavg: 2.05 2.13 2.09 2/169 11609
/proc/meminfo: memFree=30745468/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=13284 CPUtime=0.19 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 2843 0 0 0 19 0 0 0 20 0 1 0 107241113 13602816 2692 33554432000 4194304 6059633 140736390495040 140736479169496 5268791 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/11609/statm: 3321 2692 163 456 0 2857 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13284
[startup+0.30038 s]
/proc/loadavg: 2.05 2.13 2.09 2/169 11609
/proc/meminfo: memFree=30745468/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=15584 CPUtime=0.29 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 3342 0 0 0 29 0 0 0 20 0 1 0 107241113 15958016 3191 33554432000 4194304 6059633 140736390495040 140736479169496 4246711 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/11609/statm: 3896 3191 183 456 0 3432 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15584
[startup+0.70024 s]
/proc/loadavg: 2.05 2.13 2.09 2/169 11609
/proc/meminfo: memFree=30745468/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=16072 CPUtime=0.69 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 3482 0 0 0 69 0 0 0 20 0 1 0 107241113 16457728 3331 33554432000 4194304 6059633 140736390495040 140736390494136 4255352 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/11609/statm: 4018 3331 185 456 0 3554 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16072
[startup+1.50026 s]
/proc/loadavg: 2.05 2.13 2.09 3/176 11625
/proc/meminfo: memFree=30711976/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=16476 CPUtime=1.49 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 4413 0 0 0 149 0 0 0 20 0 1 0 107241113 16871424 3336 33554432000 4194304 6059633 140736390495040 140736390494136 4280118 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/11609/statm: 4119 3336 186 456 0 3655 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16476
[startup+3.1003 s]
/proc/loadavg: 2.05 2.13 2.09 3/176 11625
/proc/meminfo: memFree=30707380/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=22208 CPUtime=3.09 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 6564 0 0 0 308 1 0 0 20 0 1 0 107241113 22740992 4966 33554432000 4194304 6059633 140736390495040 140736390494136 4261780 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/11609/statm: 5552 4966 186 456 0 5088 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22208
[startup+6.30024 s]
/proc/loadavg: 2.13 2.15 2.09 3/176 11625
/proc/meminfo: memFree=30697356/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=26604 CPUtime=6.28 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 6792 0 0 0 626 2 0 0 20 0 1 0 107241113 27242496 6196 33554432000 4194304 6059633 140736390495040 140736390494136 4277663 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/11609/statm: 6651 6196 186 456 0 6187 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 26604
[startup+12.7003 s]
/proc/loadavg: 2.12 2.15 2.09 3/176 11625
/proc/meminfo: memFree=30687960/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=26604 CPUtime=12.68 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 6822 0 0 0 1266 2 0 0 20 0 1 0 107241113 27242496 6224 33554432000 4194304 6059633 140736390495040 140736390494136 4277900 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/11609/statm: 6651 6224 186 456 0 6187 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 26604
[startup+25.5005 s]
/proc/loadavg: 2.17 2.16 2.10 4/176 11625
/proc/meminfo: memFree=30674260/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=41444 CPUtime=25.48 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 7907 0 0 0 2545 3 0 0 20 0 1 0 107241113 42438656 8260 33554432000 4194304 6059633 140736390495040 140736390494136 4278168 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/11609/statm: 10361 8260 186 456 0 9897 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 41444
[startup+51.1004 s]
/proc/loadavg: 2.19 2.16 2.10 3/177 11626
/proc/meminfo: memFree=30650240/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=48592 CPUtime=51.07 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 8910 0 0 0 5104 3 0 0 20 0 1 0 107241113 49758208 11729 33554432000 4194304 6059633 140736390495040 140736390494136 4277549 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/11609/statm: 12148 11729 187 456 0 11684 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 48592
[startup+102.3 s]
/proc/loadavg: 2.13 2.15 2.09 3/177 11627
/proc/meminfo: memFree=30642320/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=48856 CPUtime=102.27 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 8982 0 0 0 10224 3 0 0 20 0 1 0 107241113 50028544 11798 33554432000 4194304 6059633 140736390495040 140736390494136 4277847 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/11609/statm: 12214 11798 187 456 0 11750 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 48856
[startup+162.3 s]
/proc/loadavg: 2.20 2.16 2.10 3/177 11628
/proc/meminfo: memFree=30611728/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=92276 CPUtime=162.26 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 10216 0 0 0 16221 5 0 0 20 0 1 0 107241113 94490624 15905 33554432000 4194304 6059633 140736390495040 140736390494136 4255350 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/11609/statm: 23069 15905 187 456 0 22605 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 92276
[startup+222.307 s]
/proc/loadavg: 2.25 2.18 2.10 3/177 11630
/proc/meminfo: memFree=30603532/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=92276 CPUtime=222.25 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 10264 0 0 0 22220 5 0 0 20 0 1 0 107241113 94490624 17486 33554432000 4194304 6059633 140736390495040 140736390494136 4246427 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/11609/statm: 23069 17486 187 456 0 22605 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 92276
[startup+282.3 s]
/proc/loadavg: 2.14 2.16 2.09 3/177 11631
/proc/meminfo: memFree=30582800/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=92276 CPUtime=282.23 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 10342 0 0 0 28218 5 0 0 20 0 1 0 107241113 94490624 22160 33554432000 4194304 6059633 140736390495040 140736390494136 4277868 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/11609/statm: 23069 22160 187 456 0 22605 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 92276
[startup+342.3 s]
/proc/loadavg: 2.17 2.16 2.09 4/178 11635
/proc/meminfo: memFree=30578692/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=92276 CPUtime=342.22 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 10343 0 0 0 34217 5 0 0 20 0 1 0 107241113 94490624 22672 33554432000 4194304 6059633 140736390495040 140736390494136 4255686 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/11609/statm: 23069 22672 187 456 0 22605 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 92276
[startup+402.3 s]
/proc/loadavg: 2.06 2.13 2.09 3/177 11636
/proc/meminfo: memFree=30533140/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=141596 CPUtime=402.22 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 11265 0 0 0 40215 7 0 0 20 0 1 0 107241113 144994304 30644 33554432000 4194304 6059633 140736390495040 140736390493576 4277900 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/11609/statm: 35399 30644 187 456 0 34935 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 141596
[startup+462.3 s]
/proc/loadavg: 2.11 2.13 2.09 3/177 11637
/proc/meminfo: memFree=30555040/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=92276 CPUtime=462.2 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 11880 0 0 0 46213 7 0 0 20 0 1 0 107241113 94490624 22672 33554432000 4194304 6059633 140736390495040 140736390493864 4277874 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/11609/statm: 23069 22672 187 456 0 22605 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 92276
[startup+522.3 s]
/proc/loadavg: 2.13 2.13 2.09 4/177 11639
/proc/meminfo: memFree=30521148/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=141596 CPUtime=522.2 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 12808 0 0 0 52211 9 0 0 20 0 1 0 107241113 144994304 31159 33554432000 4194304 6059633 140736390495040 140736390493576 4277835 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/11609/statm: 35399 31159 187 456 0 34935 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 141596
[startup+582.3 s]
/proc/loadavg: 2.05 2.11 2.08 3/177 11640
/proc/meminfo: memFree=30517048/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=141596 CPUtime=582.19 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 13430 0 0 0 58209 10 0 0 20 0 1 0 107241113 144994304 32183 33554432000 4194304 6059633 140736390495040 140736390493576 4278363 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/11609/statm: 35399 32183 187 456 0 34935 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 141596
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.17 2.13 2.09 3/178 11650
/proc/meminfo: memFree=30508128/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=106252 CPUtime=942.13 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 17316 0 0 0 94196 17 0 0 20 0 1 0 107241113 108802048 26199 33554432000 4194304 6059633 140736390495040 140736390493864 4277549 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/11609/statm: 26563 26199 187 456 0 26099 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 106252
[startup+1002.3 s]
/proc/loadavg: 2.18 2.13 2.10 3/178 11674
/proc/meminfo: memFree=30487048/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=155572 CPUtime=1002.12 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 17942 0 0 0 100193 19 0 0 20 0 1 0 107241113 159305728 36219 33554432000 4194304 6059633 140736390495040 140736390493576 4278382 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/11609/statm: 38893 36219 187 456 0 38429 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 155572
[startup+1062.3 s]
/proc/loadavg: 2.13 2.12 2.09 4/177 11675
/proc/meminfo: memFree=30485752/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=106252 CPUtime=1062.12 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 18259 0 0 0 106192 20 0 0 20 0 1 0 107241113 108802048 26199 33554432000 4194304 6059633 140736390495040 140736390493864 4255375 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/11609/statm: 26563 26199 187 456 0 26099 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 106252
[startup+1122.3 s]
/proc/loadavg: 2.11 2.11 2.09 3/177 11677
/proc/meminfo: memFree=30432584/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=186392 CPUtime=1122.1 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 19801 0 0 0 112188 22 0 0 20 0 1 0 107241113 190865408 38585 33554432000 4194304 6059633 140736390495040 140736390493576 4278523 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/11609/statm: 46598 38585 187 456 0 46134 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 186392
[startup+1182.3 s]
/proc/loadavg: 2.07 2.10 2.09 3/177 11678
/proc/meminfo: memFree=30493600/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=106252 CPUtime=1182.1 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 20386 0 0 0 118186 24 0 0 20 0 1 0 107241113 108802048 26202 33554432000 4194304 6059633 140736390495040 140736390493864 4265481 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/11609/statm: 26563 26202 187 456 0 26099 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 106252
[startup+1242.3 s]
/proc/loadavg: 2.13 2.11 2.09 4/177 11679
/proc/meminfo: memFree=30445764/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=155572 CPUtime=1242.09 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 21011 0 0 0 124184 25 0 0 20 0 1 0 107241113 159305728 35710 33554432000 4194304 6059633 140736390495040 140736390493576 4278457 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/11609/statm: 38893 35710 187 456 0 38429 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 155572
[startup+1302.3 s]
/proc/loadavg: 2.05 2.09 2.08 3/177 11680
/proc/meminfo: memFree=30424612/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=186392 CPUtime=1302.07 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 22428 0 0 0 130180 27 0 0 20 0 1 0 107241113 190865408 39361 33554432000 4194304 6059633 140736390495040 140736390493832 4277910 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/11609/statm: 46598 39361 187 456 0 46134 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 186392
[startup+1362.3 s]
/proc/loadavg: 2.10 2.09 2.08 3/177 11681
/proc/meminfo: memFree=30491480/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=155572 CPUtime=1362.07 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 23648 0 0 0 136177 30 0 0 20 0 1 0 107241113 159305728 34686 33554432000 4194304 6059633 140736390495040 140736390493576 4278472 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/11609/statm: 38893 34686 187 456 0 38429 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 155572
[startup+1422.3 s]
/proc/loadavg: 2.07 2.08 2.08 4/177 11683
/proc/meminfo: memFree=30456192/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=155572 CPUtime=1422.07 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 24572 0 0 0 142175 32 0 0 20 0 1 0 107241113 159305728 34686 33554432000 4194304 6059633 140736390495040 140736390493576 4277778 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/11609/statm: 38893 34686 187 456 0 38429 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 155572
[startup+1482.3 s]
/proc/loadavg: 2.19 2.11 2.09 3/177 11684
/proc/meminfo: memFree=30443808/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=155572 CPUtime=1482.05 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 25483 0 0 0 148171 34 0 0 20 0 1 0 107241113 159305728 37246 33554432000 4194304 6059633 140736390495040 140736390493576 4277864 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/11609/statm: 38893 37246 187 456 0 38429 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 155572
[startup+1542.31 s]
/proc/loadavg: 2.15 2.12 2.09 3/178 11688
/proc/meminfo: memFree=30420048/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=186392 CPUtime=1542.05 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 26987 0 0 0 154168 37 0 0 20 0 1 0 107241113 190865408 40385 33554432000 4194304 6059633 140736390495040 140736390493832 4277586 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/11609/statm: 46598 40385 187 456 0 46134 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 186392
[startup+1602.3 s]
/proc/loadavg: 2.13 2.12 2.09 4/177 11689
/proc/meminfo: memFree=30472784/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=106392 CPUtime=1602.04 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 27894 0 0 0 160165 39 0 0 20 0 1 0 107241113 108945408 26203 33554432000 4194304 6059633 140736390495040 140736390493864 4278447 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/11609/statm: 26598 26203 187 456 0 26134 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 106392
[startup+1662.3 s]
/proc/loadavg: 2.11 2.11 2.09 3/177 11690
/proc/meminfo: memFree=30435200/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=155712 CPUtime=1662.02 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 29121 0 0 0 166162 40 0 0 20 0 1 0 107241113 159449088 35718 33554432000 4194304 6059633 140736390495040 140736390493576 4278457 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/11609/statm: 38928 35718 187 456 0 38464 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 155712
[startup+1722.3 s]
/proc/loadavg: 2.04 2.09 2.08 3/177 11691
/proc/meminfo: memFree=30489296/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=155712 CPUtime=1722.01 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 30029 0 0 0 172159 42 0 0 20 0 1 0 107241113 159449088 35208 33554432000 4194304 6059633 140736390495040 140736390493576 4278443 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/11609/statm: 38928 35208 188 456 0 38464 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 155712
[startup+1782.3 s]
/proc/loadavg: 2.12 2.10 2.09 4/177 11693
/proc/meminfo: memFree=30430540/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=155712 CPUtime=1782 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 30942 0 0 0 178156 44 0 0 20 0 1 0 107241113 159449088 35720 33554432000 4194304 6059633 140736390495040 140736390493576 4277900 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/11609/statm: 38928 35720 188 456 0 38464 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 155712
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.08 2.09 2.09 3/177 11693
/proc/meminfo: memFree=30443648/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=155712 CPUtime=1800 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 31085 0 0 0 179955 45 0 0 20 0 1 0 107241113 159449088 38414 33554432000 4194304 6059633 140736390495040 140736390493576 4278482 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/11609/statm: 38928 38414 188 456 0 38464 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 155712
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 11609 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.08 2.09 2.09 3/177 11693
/proc/meminfo: memFree=30443648/32872528 swapFree=16740/1306504
[pid=11609] ppid=11606 vsize=155712 CPUtime=1800 cores=1,3,5,7
/proc/11609/stat : 11609 (open-wbo) R 11606 11609 11442 0 -1 4202496 31085 0 0 0 179955 45 0 0 20 0 1 0 107241113 159449088 38414 33554432000 4194304 6059633 140736390495040 140736390493576 4278482 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/11609/statm: 38928 38414 188 456 0 38464 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 155712
Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.01
CPU user time (s): 1799.56
CPU system time (s): 0.45393
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 186532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.45393
maximum resident set size= 165676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31088
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= 10
involuntary context switches= 2621
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.17061 second user time and 18.9691 second system time
The end