runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3460150-1307119197/watcher-3460150-1307119197 -o /tmp/evaluation-result-3460150-1307119197/solver-3460150-1307119197 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460150-1307119197.opb
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.08 2.03 2.00 2/514 8189
/proc/meminfo: memFree=19050996/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=3736 CPUtime=0 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 533 0 0 0 0 0 0 0 25 0 1 0 902150459 3825664 486 33554432000 4194304 5714214 140736365225968 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 934 487 183 372 0 365 0
[startup+0.105289 s]
/proc/loadavg: 2.08 2.03 2.00 2/514 8189
/proc/meminfo: memFree=19050996/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=14316 CPUtime=0.09 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 3665 0 0 0 9 0 0 0 18 0 1 0 902150459 14659584 3255 33554432000 4194304 5714214 140736365225968 18446744073709551615 4309480 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 3579 3255 180 372 0 3204 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14316
[startup+0.200271 s]
/proc/loadavg: 2.08 2.03 2.00 2/514 8189
/proc/meminfo: memFree=19050996/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=14316 CPUtime=0.19 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 3665 0 0 0 18 1 0 0 18 0 1 0 902150459 14659584 3255 33554432000 4194304 5714214 140736365225968 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 3579 3255 180 372 0 3204 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 14316
[startup+0.300253 s]
/proc/loadavg: 2.08 2.03 2.00 2/514 8189
/proc/meminfo: memFree=19050996/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=14316 CPUtime=0.29 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 3665 0 0 0 28 1 0 0 18 0 1 0 902150459 14659584 3255 33554432000 4194304 5714214 140736365225968 18446744073709551615 4309516 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 3579 3255 180 372 0 3204 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14316
[startup+0.700183 s]
/proc/loadavg: 2.08 2.03 2.00 2/514 8189
/proc/meminfo: memFree=19050996/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=14316 CPUtime=0.69 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 3665 0 0 0 67 2 0 0 18 0 1 0 902150459 14659584 3255 33554432000 4194304 5714214 140736365225968 18446744073709551615 4322687 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 3579 3255 180 372 0 3204 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14316
[startup+1.50104 s]
/proc/loadavg: 2.08 2.03 2.00 3/515 8190
/proc/meminfo: memFree=19037596/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=16296 CPUtime=1.49 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 4208 0 0 0 147 2 0 0 19 0 1 0 902150459 16687104 3798 33554432000 4194304 5714214 140736365225968 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 4074 3798 180 372 0 3699 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16296
[startup+3.10076 s]
/proc/loadavg: 2.08 2.03 2.00 3/515 8190
/proc/meminfo: memFree=19032264/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=22164 CPUtime=3.09 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 5653 0 0 0 304 5 0 0 25 0 1 0 902150459 22695936 5243 33554432000 4194304 5714214 140736365225968 18446744073709551615 4322653 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 5541 5243 180 372 0 5166 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22164
[startup+6.3002 s]
/proc/loadavg: 2.07 2.03 2.00 3/515 8190
/proc/meminfo: memFree=19025156/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=25464 CPUtime=6.29 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 6474 0 0 0 622 7 0 0 25 0 1 0 902150459 26075136 6064 33554432000 4194304 5714214 140736365225968 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 6366 6064 180 372 0 5991 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25464
[startup+12.7001 s]
/proc/loadavg: 2.07 2.03 2.00 3/515 8190
/proc/meminfo: memFree=19000672/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=51172 CPUtime=12.69 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 12927 0 0 0 1260 9 0 0 25 0 1 0 902150459 52400128 12517 33554432000 4194304 5714214 140736365225968 18446744073709551615 4309099 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 12793 12517 180 372 0 12418 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 51172
[startup+25.5008 s]
/proc/loadavg: 2.27 2.07 2.02 3/515 8190
/proc/meminfo: memFree=18966804/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=83556 CPUtime=25.49 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 21004 0 0 0 2535 14 0 0 25 0 1 0 902150459 85561344 20594 33554432000 4194304 5714214 140736365225968 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 20889 20594 180 372 0 20514 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83556
[startup+51.1004 s]
/proc/loadavg: 2.17 2.07 2.01 3/515 8191
/proc/meminfo: memFree=18967360/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=83556 CPUtime=51.09 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 21010 0 0 0 5082 27 0 0 25 0 1 0 902150459 85561344 20600 33554432000 4194304 5714214 140736365225968 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 20889 20600 180 372 0 20514 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 83556
[startup+102.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/515 8192
/proc/meminfo: memFree=18954556/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=94980 CPUtime=102.3 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 23834 0 0 0 10178 52 0 0 25 0 1 0 902150459 97259520 23424 33554432000 4194304 5714214 140736365225968 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 23745 23424 180 372 0 23370 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 94980
[startup+162.301 s]
/proc/loadavg: 2.04 2.05 2.01 3/515 8194
/proc/meminfo: memFree=18945356/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=103680 CPUtime=162.29 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 26111 0 0 0 16157 72 0 0 25 0 1 0 902150459 106168320 25614 33554432000 4194304 5714214 140736365225968 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 25920 25614 180 372 0 25545 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 103680
[startup+222.319 s]
/proc/loadavg: 2.01 2.04 2.00 3/515 8195
/proc/meminfo: memFree=18905164/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=145004 CPUtime=222.31 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 36385 0 0 0 22132 99 0 0 25 0 1 0 902150459 148484096 35888 33554432000 4194304 5714214 140736365225968 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 36251 35888 180 372 0 35876 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 145004
[startup+282.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 8197
/proc/meminfo: memFree=18849964/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=200260 CPUtime=282.3 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 50162 0 0 0 28114 116 0 0 25 0 1 0 902150459 205066240 49665 33554432000 4194304 5714214 140736365225968 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 50065 49665 180 372 0 49690 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 200260
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 8199
/proc/meminfo: memFree=18849564/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=200924 CPUtime=342.3 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 50346 0 0 0 34100 130 0 0 25 0 1 0 902150459 205746176 49849 33554432000 4194304 5714214 140736365225968 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 50231 49850 180 372 0 49856 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 200924
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 8200
/proc/meminfo: memFree=18808848/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=241200 CPUtime=402.3 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 60367 0 0 0 40083 147 0 0 25 0 1 0 902150459 246988800 59870 33554432000 4194304 5714214 140736365225968 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 60300 59870 180 372 0 59925 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 241200
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 8202
/proc/meminfo: memFree=18775072/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=241200 CPUtime=462.3 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 60375 0 0 0 46058 172 0 0 25 0 1 0 902150459 246988800 59878 33554432000 4194304 5714214 140736365225968 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 60300 59878 180 372 0 59925 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 241200
[startup+522.301 s]
/proc/loadavg: 2.16 2.04 2.01 3/515 8203
/proc/meminfo: memFree=18758548/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=241200 CPUtime=522.3 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 60375 0 0 0 52035 195 0 0 25 0 1 0 902150459 246988800 59878 33554432000 4194304 5714214 140736365225968 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 60300 59878 180 372 0 59925 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 241200
[startup+582.3 s]
/proc/loadavg: 2.21 2.06 2.02 3/515 8205
/proc/meminfo: memFree=18747972/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=244388 CPUtime=582.3 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 61164 0 0 0 58014 216 0 0 25 0 1 0 902150459 250253312 60667 33554432000 4194304 5714214 140736365225968 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 61097 60667 180 372 0 60722 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 244388
[startup+642.301 s]
################
# More data... #
################
[startup+882.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 8213
/proc/meminfo: memFree=18678020/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=266484 CPUtime=882.33 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 66666 0 0 0 87813 420 0 0 25 0 1 0 902150459 272879616 66169 33554432000 4194304 5714214 140736365225968 18446744073709551615 4309791 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 66621 66169 180 372 0 66246 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 266484
[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 8215
/proc/meminfo: memFree=18643720/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=298272 CPUtime=942.31 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 74597 0 0 0 93795 436 0 0 25 0 1 0 902150459 305430528 74100 33554432000 4194304 5714214 140736365225968 18446744073709551615 4309197 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 74568 74100 180 372 0 74193 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 298272
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 8216
/proc/meminfo: memFree=18553916/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=370100 CPUtime=1002.31 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 92514 0 0 0 99777 454 0 0 25 0 1 0 902150459 378982400 92017 33554432000 4194304 5714214 140736365225968 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 92525 92017 180 372 0 92150 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 370100
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/515 8218
/proc/meminfo: memFree=18537396/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=368932 CPUtime=1062.31 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 92515 0 0 0 105764 467 0 0 25 0 1 0 902150459 377786368 91758 33554432000 4194304 5714214 140736365225968 18446744073709551615 4309526 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 92233 91758 180 372 0 91858 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 368932
[startup+1122.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/515 8219
/proc/meminfo: memFree=18455400/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=397876 CPUtime=1122.31 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 99698 0 0 0 111750 481 0 0 25 0 1 0 902150459 407425024 98941 33554432000 4194304 5714214 140736365225968 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 99469 98941 180 372 0 99094 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 397876
[startup+1182.3 s]
/proc/loadavg: 2.15 2.06 2.02 3/515 8221
/proc/meminfo: memFree=18401680/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=397876 CPUtime=1182.31 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 99703 0 0 0 117737 494 0 0 25 0 1 0 902150459 407425024 98946 33554432000 4194304 5714214 140736365225968 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 99469 98946 180 372 0 99094 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 397876
[startup+1242.3 s]
/proc/loadavg: 2.09 2.06 2.02 3/515 8223
/proc/meminfo: memFree=18399920/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=397876 CPUtime=1242.31 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 99714 0 0 0 123723 508 0 0 25 0 1 0 902150459 407425024 98957 33554432000 4194304 5714214 140736365225968 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 99469 98957 180 372 0 99094 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 397876
[startup+1302.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/515 8233
/proc/meminfo: memFree=18388648/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=397876 CPUtime=1302.31 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 99719 0 0 0 129712 519 0 0 25 0 1 0 902150459 407425024 98962 33554432000 4194304 5714214 140736365225968 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 99469 98962 180 372 0 99094 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 397876
[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/515 8235
/proc/meminfo: memFree=18387260/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=397876 CPUtime=1362.32 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 99723 0 0 0 135700 532 0 0 25 0 1 0 902150459 407425024 98966 33554432000 4194304 5714214 140736365225968 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 99469 98966 180 372 0 99094 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 397876
[startup+1422.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 8236
/proc/meminfo: memFree=18351888/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=397876 CPUtime=1422.33 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 99724 0 0 0 141690 543 0 0 25 0 1 0 902150459 407425024 98967 33554432000 4194304 5714214 140736365225968 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 99469 98967 180 372 0 99094 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 397876
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 8238
/proc/meminfo: memFree=18352596/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=397876 CPUtime=1482.32 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 99726 0 0 0 147676 556 0 0 25 0 1 0 902150459 407425024 98969 33554432000 4194304 5714214 140736365225968 18446744073709551615 4319303 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 99469 98969 180 372 0 99094 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 397876
[startup+1542.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 8240
/proc/meminfo: memFree=18336448/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=397876 CPUtime=1542.34 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 99732 0 0 0 153666 568 0 0 25 0 1 0 902150459 407425024 98975 33554432000 4194304 5714214 140736365225968 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 99469 98975 180 372 0 99094 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 397876
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 8296
/proc/meminfo: memFree=18684372/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=450884 CPUtime=1602.32 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 112976 0 0 0 159650 582 0 0 25 0 1 0 902150459 461705216 112219 33554432000 4194304 5714214 140736365225968 18446744073709551615 4309516 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 112721 112219 180 372 0 112346 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 450884
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/515 8298
/proc/meminfo: memFree=18653056/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=446784 CPUtime=1662.33 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 112990 0 0 0 165627 606 0 0 25 0 1 0 902150459 457506816 111227 33554432000 4194304 5714214 140736365225968 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 111696 111227 180 372 0 111321 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 446784
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/515 8299
/proc/meminfo: memFree=18620528/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=446784 CPUtime=1722.33 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 112990 0 0 0 171605 628 0 0 25 0 1 0 902150459 457506816 111227 33554432000 4194304 5714214 140736365225968 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 111696 111227 180 372 0 111321 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 446784
[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/515 8301
/proc/meminfo: memFree=18576464/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=466328 CPUtime=1782.33 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 117870 0 0 0 177586 647 0 0 25 0 1 0 902150459 477519872 116107 33554432000 4194304 5714214 140736365225968 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 116582 116107 180 372 0 116207 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 466328
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.05 2.02 2.00 3/515 8302
/proc/meminfo: memFree=18559092/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=477248 CPUtime=1800.04 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 120594 0 0 0 179352 652 0 0 25 0 1 0 902150459 488701952 118831 33554432000 4194304 5714214 140736365225968 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 119312 118831 180 372 0 118937 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 477248
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.05 2.02 2.00 3/515 8302
/proc/meminfo: memFree=18559092/32950940 swapFree=67111364/67111528
[pid=8189] ppid=8187 vsize=477248 CPUtime=1800.04 cores=1,3,5,7
/proc/8189/stat : 8189 (wbo1.6) R 8187 8189 4622 0 -1 4202496 120594 0 0 0 179352 652 0 0 25 0 1 0 902150459 488701952 118831 33554432000 4194304 5714214 140736365225968 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8189/statm: 119312 118831 180 372 0 118937 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 477248
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.08
CPU user time (s): 1793.54
CPU system time (s): 6.544
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 477248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.54
system time used= 6.54401
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120594
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= 6
involuntary context switches= 4718
runsolver used 8.60369 second user time and 21.2068 second system time
The end