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-4086477-1465251283/watcher-4086477-1465251283 -o /tmp/evaluation-result-4086477-1465251283/solver-4086477-1465251283 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1465251283-11458 --watchdog 1960 open-wbo HOME/instance-4086477-1465251283.opb
pid=11485
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: 1.14 1.62 1.90 3/176 11488
/proc/meminfo: memFree=30736364/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=5104 CPUtime=0 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 1015 0 0 0 0 0 0 0 20 0 1 0 107060908 5226496 890 33554432000 4194304 6059633 140736355542464 140735270895384 5043379 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 1276 890 792 456 0 154 0
[startup+0.100175 s]
/proc/loadavg: 1.14 1.62 1.90 3/176 11488
/proc/meminfo: memFree=30736364/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=7212 CPUtime=0.09 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 1485 0 0 0 9 0 0 0 20 0 1 0 107060908 7385088 1360 33554432000 4194304 6059633 140736355542464 140735270895384 5043379 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 1803 1360 792 456 0 681 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7212
[startup+0.200297 s]
/proc/loadavg: 1.14 1.62 1.90 3/176 11488
/proc/meminfo: memFree=30736364/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=9600 CPUtime=0.19 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 1996 0 0 0 19 0 0 0 20 0 1 0 107060908 9830400 1871 33554432000 4194304 6059633 140736355542464 140735270895384 5043379 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 2400 1872 792 456 0 1278 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9600
[startup+0.300291 s]
/proc/loadavg: 1.14 1.62 1.90 3/176 11488
/proc/meminfo: memFree=30736364/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=16664 CPUtime=0.29 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 3743 0 0 0 29 0 0 0 20 0 1 0 107060908 17063936 3420 33554432000 4194304 6059633 140736355542464 140735270895384 5043379 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 4166 3420 163 456 0 3702 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16664
[startup+0.700251 s]
/proc/loadavg: 1.14 1.62 1.90 3/176 11488
/proc/meminfo: memFree=30736364/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=18600 CPUtime=0.69 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 4236 0 0 0 69 0 0 0 20 0 1 0 107060908 19046400 3913 33554432000 4194304 6059633 140736355542464 140736355541560 4261221 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 4650 3913 185 456 0 4186 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18600
[startup+1.50025 s]
/proc/loadavg: 1.12 1.61 1.89 3/177 11489
/proc/meminfo: memFree=30704220/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=19236 CPUtime=1.49 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 4639 0 0 0 149 0 0 0 20 0 1 0 107060908 19697664 4304 33554432000 4194304 6059633 140736355542464 140736355541560 5268791 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 4809 4304 185 456 0 4345 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19236
[startup+3.10024 s]
/proc/loadavg: 1.12 1.61 1.89 3/177 11489
/proc/meminfo: memFree=30701676/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=20628 CPUtime=3.08 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 5654 0 0 0 308 0 0 0 20 0 1 0 107060908 21123072 4592 33554432000 4194304 6059633 140736355542464 140736355540840 4277781 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 5157 4592 187 456 0 4693 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 20628
[startup+6.30025 s]
/proc/loadavg: 1.35 1.65 1.91 3/177 11489
/proc/meminfo: memFree=30683676/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=32364 CPUtime=6.29 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 7082 0 0 0 628 1 0 0 20 0 1 0 107060908 33140736 7355 33554432000 4194304 6059633 140736355542464 140736355540984 4255238 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 8091 7355 187 456 0 7627 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32364
[startup+12.7003 s]
/proc/loadavg: 1.41 1.65 1.91 3/177 11489
/proc/meminfo: memFree=30677308/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=32364 CPUtime=12.69 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 7270 0 0 0 1268 1 0 0 20 0 1 0 107060908 33140736 7538 33554432000 4194304 6059633 140736355542464 140736355541560 4277889 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 8091 7538 187 456 0 7627 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32364
[startup+25.5004 s]
/proc/loadavg: 1.62 1.69 1.91 3/177 11489
/proc/meminfo: memFree=30663552/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=39504 CPUtime=25.48 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 8146 0 0 0 2547 1 0 0 20 0 1 0 107060908 40452096 9370 33554432000 4194304 6059633 140736355542464 140736355541560 4277781 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 9876 9370 193 456 0 9412 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 39504
[startup+51.1003 s]
/proc/loadavg: 1.82 1.73 1.92 3/177 11489
/proc/meminfo: memFree=30640348/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=63496 CPUtime=51.08 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 9605 0 0 0 5106 2 0 0 20 0 1 0 107060908 65019904 11922 33554432000 4194304 6059633 140736355542464 140736355540952 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 15874 11922 193 456 0 15410 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 63496
[startup+102.3 s]
/proc/loadavg: 2.03 1.80 1.93 3/177 11490
/proc/meminfo: memFree=30629204/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=63496 CPUtime=102.28 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 10020 0 0 0 10226 2 0 0 20 0 1 0 107060908 65019904 15392 33554432000 4194304 6059633 140736355542464 140736355541560 4261657 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 15874 15392 193 456 0 15410 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 63496
[startup+162.3 s]
/proc/loadavg: 2.13 1.88 1.94 3/177 11492
/proc/meminfo: memFree=30596892/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=82352 CPUtime=162.27 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 10378 0 0 0 16224 3 0 0 20 0 1 0 107060908 84328448 20077 33554432000 4194304 6059633 140736355542464 140736355540952 4246399 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 20588 20077 193 456 0 20124 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 82352
[startup+222.307 s]
/proc/loadavg: 2.21 1.94 1.96 3/177 11493
/proc/meminfo: memFree=30576240/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=82352 CPUtime=222.26 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 10381 0 0 0 22223 3 0 0 20 0 1 0 107060908 84328448 20080 33554432000 4194304 6059633 140736355542464 140736355541560 4277847 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 20588 20080 193 456 0 20124 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 82352
[startup+282.3 s]
/proc/loadavg: 2.31 2.02 1.99 3/177 11494
/proc/meminfo: memFree=30578224/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=82352 CPUtime=282.25 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 10638 0 0 0 28221 4 0 0 20 0 1 0 107060908 84328448 19685 33554432000 4194304 6059633 140736355542464 140736355541560 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 20588 19685 193 456 0 20124 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 82352
[startup+342.3 s]
/proc/loadavg: 2.23 2.05 2.00 4/178 11498
/proc/meminfo: memFree=30577812/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=82352 CPUtime=342.24 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 10643 0 0 0 34220 4 0 0 20 0 1 0 107060908 84328448 19690 33554432000 4194304 6059633 140736355542464 140736355541560 4277549 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 20588 19690 194 456 0 20124 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 82352
[startup+402.3 s]
/proc/loadavg: 2.20 2.07 2.01 3/177 11499
/proc/meminfo: memFree=30562404/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=115372 CPUtime=402.23 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 11479 0 0 0 40219 4 0 0 20 0 1 0 107060908 118140928 23563 33554432000 4194304 6059633 140736355542464 140736355541560 4277940 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 28843 23563 194 456 0 28379 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 115372
[startup+462.3 s]
/proc/loadavg: 2.24 2.10 2.02 3/177 11501
/proc/meminfo: memFree=30526956/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=164692 CPUtime=462.22 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 12287 0 0 0 46217 5 0 0 20 0 1 0 107060908 168644608 31632 33554432000 4194304 6059633 140736355542464 140736355541000 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 41173 31632 194 456 0 40709 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 164692
[startup+522.3 s]
/proc/loadavg: 2.33 2.14 2.03 3/177 11502
/proc/meminfo: memFree=30507924/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=115372 CPUtime=522.2 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 13104 0 0 0 52214 6 0 0 20 0 1 0 107060908 118140928 24078 33554432000 4194304 6059633 140736355542464 140736355541288 4278363 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 28843 24078 194 456 0 28379 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 115372
[startup+582.3 s]
/proc/loadavg: 2.18 2.13 2.03 3/177 11503
/proc/meminfo: memFree=30543076/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=115372 CPUtime=582.2 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 13917 0 0 0 58212 8 0 0 20 0 1 0 107060908 118140928 24078 33554432000 4194304 6059633 140736355542464 140736355541288 4277570 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 28843 24078 194 456 0 28379 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 115372
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.19 2.17 2.08 3/178 11513
/proc/meminfo: memFree=30465640/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=164692 CPUtime=942.13 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 18588 0 0 0 94198 15 0 0 20 0 1 0 107060908 168644608 32822 33554432000 4194304 6059633 140736355542464 140736355541000 4278373 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 41173 32822 194 456 0 40709 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 164692
[startup+1002.3 s]
/proc/loadavg: 2.15 2.17 2.08 3/177 11514
/proc/meminfo: memFree=30493548/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=164692 CPUtime=1002.13 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 19006 0 0 0 100197 16 0 0 20 0 1 0 107060908 168644608 36406 33554432000 4194304 6059633 140736355542464 140736355541000 4277855 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 41173 36406 194 456 0 40709 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 164692
[startup+1062.3 s]
/proc/loadavg: 2.20 2.18 2.09 3/176 11515
/proc/meminfo: memFree=30467484/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=164692 CPUtime=1062.12 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 20452 0 0 0 106194 18 0 0 20 0 1 0 107060908 168644608 32822 33554432000 4194304 6059633 140736355542464 140736355541000 4278373 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 41173 32822 194 456 0 40709 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 164692
[startup+1122.3 s]
/proc/loadavg: 2.26 2.20 2.10 3/177 11517
/proc/meminfo: memFree=30493148/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=164692 CPUtime=1122.11 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 21464 0 0 0 112191 20 0 0 20 0 1 0 107060908 168644608 36406 33554432000 4194304 6059633 140736355542464 140736355541560 4277847 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 41173 36406 194 456 0 40709 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 164692
[startup+1182.3 s]
/proc/loadavg: 2.14 2.18 2.10 3/177 11518
/proc/meminfo: memFree=30452972/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=195512 CPUtime=1182.1 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 22634 0 0 0 118188 22 0 0 20 0 1 0 107060908 200204288 36571 33554432000 4194304 6059633 140736355542464 140736355541000 4255416 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 48878 36572 194 456 0 48414 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 195512
[startup+1242.3 s]
/proc/loadavg: 2.27 2.20 2.11 4/177 11519
/proc/meminfo: memFree=30492524/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=115372 CPUtime=1242.09 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 23722 0 0 0 124185 24 0 0 20 0 1 0 107060908 118140928 24241 33554432000 4194304 6059633 140736355542464 140736355541288 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 28843 24241 194 456 0 28379 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 115372
[startup+1302.3 s]
/proc/loadavg: 2.16 2.18 2.10 4/177 11520
/proc/meminfo: memFree=30500844/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=164692 CPUtime=1302.08 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 25137 0 0 0 130182 26 0 0 20 0 1 0 107060908 168644608 34358 33554432000 4194304 6059633 140736355542464 140736355541000 4277866 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 41173 34358 194 456 0 40709 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 164692
[startup+1362.3 s]
/proc/loadavg: 2.15 2.17 2.10 3/177 11521
/proc/meminfo: memFree=30450756/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=195512 CPUtime=1362.07 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 26642 0 0 0 136178 29 0 0 20 0 1 0 107060908 200204288 36891 33554432000 4194304 6059633 140736355542464 140736355541256 4280227 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 48878 36891 194 456 0 48414 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 195512
[startup+1422.3 s]
/proc/loadavg: 2.28 2.20 2.11 4/177 11523
/proc/meminfo: memFree=30447460/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=195512 CPUtime=1422.07 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 27757 0 0 0 142176 31 0 0 20 0 1 0 107060908 200204288 37500 33554432000 4194304 6059633 140736355542464 140736355541256 4278447 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 48878 37500 194 456 0 48414 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 195512
[startup+1482.3 s]
/proc/loadavg: 2.23 2.19 2.11 3/177 11524
/proc/meminfo: memFree=30432116/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=115372 CPUtime=1482.05 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 28766 0 0 0 148172 33 0 0 20 0 1 0 107060908 118140928 24244 33554432000 4194304 6059633 140736355542464 140736355541256 4255316 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 28843 24244 194 456 0 28379 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 115372
[startup+1542.31 s]
/proc/loadavg: 2.13 2.17 2.10 3/178 11528
/proc/meminfo: memFree=30485020/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=115372 CPUtime=1542.05 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 29771 0 0 0 154170 35 0 0 20 0 1 0 107060908 118140928 24244 33554432000 4194304 6059633 140736355542464 140736355541288 4255329 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 28843 24244 194 456 0 28379 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 115372
[startup+1602.3 s]
/proc/loadavg: 2.16 2.17 2.10 4/177 11529
/proc/meminfo: memFree=30506632/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=164692 CPUtime=1602.04 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 31183 0 0 0 160167 37 0 0 20 0 1 0 107060908 168644608 32825 33554432000 4194304 6059633 140736355542464 140736355541000 4277855 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 41173 32825 194 456 0 40709 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 164692
[startup+1662.3 s]
/proc/loadavg: 2.16 2.17 2.10 3/177 11530
/proc/meminfo: memFree=30470576/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=164692 CPUtime=1662.03 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 32187 0 0 0 166164 39 0 0 20 0 1 0 107060908 168644608 33849 33554432000 4194304 6059633 140736355542464 140736355541000 4278373 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 41173 33849 194 456 0 40709 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 164692
[startup+1722.3 s]
/proc/loadavg: 2.10 2.15 2.09 3/177 11532
/proc/meminfo: memFree=30468648/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=164692 CPUtime=1722.02 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 33195 0 0 0 172161 41 0 0 20 0 1 0 107060908 168644608 33849 33554432000 4194304 6059633 140736355542464 140736355541000 4278447 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 41173 33849 194 456 0 40709 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 164692
[startup+1782.3 s]
/proc/loadavg: 2.19 2.16 2.10 4/176 11533
/proc/meminfo: memFree=30458664/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=164692 CPUtime=1782.01 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 34200 0 0 0 178159 42 0 0 20 0 1 0 107060908 168644608 33849 33554432000 4194304 6059633 140736355542464 140736355541000 4255186 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 41173 33849 194 456 0 40709 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 164692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.23 2.17 2.10 3/176 11533
/proc/meminfo: memFree=30439052/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=164692 CPUtime=1800 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 34205 0 0 0 179958 42 0 0 20 0 1 0 107060908 168644608 36409 33554432000 4194304 6059633 140736355542464 140736355541000 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 41173 36409 194 456 0 40709 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 164692
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 11488 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.23 2.17 2.10 3/176 11533
/proc/meminfo: memFree=30439052/32872528 swapFree=16740/1306504
[pid=11488] ppid=11485 vsize=164692 CPUtime=1800 cores=0,2,4,6
/proc/11488/stat : 11488 (open-wbo) R 11485 11488 11442 0 -1 4202496 34205 0 0 0 179958 42 0 0 20 0 1 0 107060908 168644608 36409 33554432000 4194304 6059633 140736355542464 140736355541000 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/11488/statm: 41173 36409 194 456 0 40709 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 164692
Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.59
CPU system time (s): 0.429934
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 195512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.429934
maximum resident set size= 162288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34208
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= 1878
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.42733 second user time and 7.03593 second system time
The end