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-3461260-1307070855/watcher-3461260-1307070855 -o /tmp/evaluation-result-3461260-1307070855/solver-3461260-1307070855 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461260-1307070855.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: 1.95 2.03 1.89 2/517 2717
/proc/meminfo: memFree=20971448/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=2512 CPUtime=0 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 424 0 0 0 0 0 0 0 25 0 1 0 818682223 2572288 374 33554432000 4194304 5714214 140735529647872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/2717/statm: 628 374 180 372 0 253 0
[startup+0.022141 s]
/proc/loadavg: 1.95 2.03 1.89 2/517 2717
/proc/meminfo: memFree=20971448/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=2644 CPUtime=0.01 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 474 0 0 0 1 0 0 0 25 0 1 0 818682223 2707456 424 33554432000 4194304 5714214 140735529647872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/2717/statm: 661 424 180 372 0 286 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2644
[startup+0.100209 s]
/proc/loadavg: 1.95 2.03 1.89 2/517 2717
/proc/meminfo: memFree=20971448/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=3708 CPUtime=0.09 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 740 0 0 0 9 0 0 0 25 0 1 0 818682223 3796992 690 33554432000 4194304 5714214 140735529647872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/2717/statm: 927 690 180 372 0 552 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3708
[startup+0.301169 s]
/proc/loadavg: 1.95 2.03 1.89 2/517 2717
/proc/meminfo: memFree=20971448/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=5292 CPUtime=0.29 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 1111 0 0 0 28 1 0 0 25 0 1 0 818682223 5419008 1061 33554432000 4194304 5714214 140735529647872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/2717/statm: 1323 1061 180 372 0 948 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5292
[startup+0.701079 s]
/proc/loadavg: 1.95 2.03 1.89 2/517 2717
/proc/meminfo: memFree=20971448/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=7496 CPUtime=0.69 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 1662 0 0 0 67 2 0 0 25 0 1 0 818682223 7675904 1612 33554432000 4194304 5714214 140735529647872 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/2717/statm: 1874 1612 180 372 0 1499 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7496
[startup+1.50092 s]
/proc/loadavg: 1.95 2.03 1.89 3/518 2718
/proc/meminfo: memFree=20963444/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=9616 CPUtime=1.49 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 2213 0 0 0 147 2 0 0 25 0 1 0 818682223 9846784 2163 33554432000 4194304 5714214 140735529647872 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/2717/statm: 2404 2163 180 372 0 2029 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9616
[startup+3.10061 s]
/proc/loadavg: 1.95 2.03 1.89 3/518 2718
/proc/meminfo: memFree=20959552/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=13468 CPUtime=3.09 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 3152 0 0 0 306 3 0 0 25 0 1 0 818682223 13791232 3102 33554432000 4194304 5714214 140735529647872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/2717/statm: 3367 3102 180 372 0 2992 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13468
[startup+6.30097 s]
/proc/loadavg: 1.96 2.03 1.89 3/518 2719
/proc/meminfo: memFree=20955048/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=16188 CPUtime=6.29 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 3821 0 0 0 625 4 0 0 25 0 1 0 818682223 16576512 3771 33554432000 4194304 5714214 140735529647872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/2717/statm: 4047 3771 180 372 0 3672 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16188
[startup+12.7007 s]
/proc/loadavg: 1.96 2.03 1.89 3/518 2719
/proc/meminfo: memFree=20950752/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=19408 CPUtime=12.7 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 4616 0 0 0 1264 6 0 0 25 0 1 0 818682223 19873792 4566 33554432000 4194304 5714214 140735529647872 18446744073709551615 4319407 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/2717/statm: 4852 4566 180 372 0 4477 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 19408
[startup+25.5011 s]
/proc/loadavg: 1.97 2.03 1.89 3/518 2719
/proc/meminfo: memFree=20946664/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=22924 CPUtime=25.49 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 5503 0 0 0 2540 9 0 0 25 0 1 0 818682223 23474176 5453 33554432000 4194304 5714214 140735529647872 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/2717/statm: 5731 5453 180 372 0 5356 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 22924
[startup+51.101 s]
/proc/loadavg: 1.98 2.03 1.90 3/516 2751
/proc/meminfo: memFree=21362276/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=32328 CPUtime=51.1 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 7788 0 0 0 5094 16 0 0 25 0 1 0 818682223 33103872 7738 33554432000 4194304 5714214 140735529647872 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/2717/statm: 8082 7738 180 372 0 7707 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 32328
[startup+102.32 s]
/proc/loadavg: 1.99 2.02 1.90 3/518 2839
/proc/meminfo: memFree=21316400/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=44336 CPUtime=102.31 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 10706 0 0 0 10195 36 0 0 25 0 1 0 818682223 45400064 10656 33554432000 4194304 5714214 140735529647872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/2717/statm: 11084 10656 180 372 0 10709 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 44336
[startup+162.301 s]
/proc/loadavg: 2.06 2.03 1.91 3/518 2841
/proc/meminfo: memFree=21263176/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=66960 CPUtime=162.3 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 16417 0 0 0 16176 54 0 0 25 0 1 0 818682223 68567040 16292 33554432000 4194304 5714214 140735529647872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/2717/statm: 16740 16292 180 372 0 16365 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 66960
[startup+222.301 s]
/proc/loadavg: 2.02 2.02 1.91 3/518 3139
/proc/meminfo: memFree=21222264/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=87144 CPUtime=222.3 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 21553 0 0 0 22136 94 0 0 25 0 1 0 818682223 89235456 21271 33554432000 4194304 5714214 140735529647872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/2717/statm: 21786 21271 180 372 0 21411 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 87144
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 1.91 3/518 3259
/proc/meminfo: memFree=21145364/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=117324 CPUtime=282.26 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 28945 0 0 0 28090 136 0 0 25 0 1 0 818682223 120139776 28663 33554432000 4194304 5714214 140735529647872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2717/statm: 29331 28663 180 372 0 28956 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 117324
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 1.91 3/518 3260
/proc/meminfo: memFree=21118560/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=140840 CPUtime=342.26 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 34743 0 0 0 34055 171 0 0 25 0 1 0 818682223 144220160 34461 33554432000 4194304 5714214 140735529647872 18446744073709551615 4319832 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2717/statm: 35210 34461 180 372 0 34835 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 140840
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 1.91 3/518 3262
/proc/meminfo: memFree=21083304/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=155172 CPUtime=402.26 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 38295 0 0 0 40025 201 0 0 25 0 1 0 818682223 158896128 38013 33554432000 4194304 5714214 140735529647872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2717/statm: 38793 38013 180 372 0 38418 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 155172
[startup+462.301 s]
/proc/loadavg: 2.16 2.05 1.93 3/518 3320
/proc/meminfo: memFree=21092312/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=160560 CPUtime=462.27 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 39541 0 0 0 45995 232 0 0 25 0 1 0 818682223 164413440 39259 33554432000 4194304 5714214 140735529647872 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2717/statm: 40140 39259 180 372 0 39765 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 160560
[startup+522.301 s]
/proc/loadavg: 2.09 2.05 1.93 3/518 3321
/proc/meminfo: memFree=21028120/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=174988 CPUtime=522.27 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 42961 0 0 0 51970 257 0 0 25 0 1 0 818682223 179187712 42679 33554432000 4194304 5714214 140735529647872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2717/statm: 43747 42679 180 372 0 43372 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 174988
[startup+582.301 s]
/proc/loadavg: 2.03 2.04 1.93 3/518 3323
/proc/meminfo: memFree=20974640/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=193048 CPUtime=582.27 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 47305 0 0 0 57936 291 0 0 25 0 1 0 818682223 197681152 47023 33554432000 4194304 5714214 140735529647872 18446744073709551615 4319758 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2717/statm: 48262 47023 180 372 0 47887 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 193048
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/518 3329
/proc/meminfo: memFree=20866992/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=268884 CPUtime=822.29 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 65931 0 0 0 81845 384 0 0 25 0 1 0 818682223 275337216 65638 33554432000 4194304 5714214 140735529647872 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2717/statm: 67221 65638 180 372 0 66846 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 268884
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/518 3331
/proc/meminfo: memFree=20848004/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=286912 CPUtime=882.28 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 70318 0 0 0 87833 395 0 0 25 0 1 0 818682223 293797888 70025 33554432000 4194304 5714214 140735529647872 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2717/statm: 71728 70025 180 372 0 71353 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 286912
[startup+942.3 s]
/proc/loadavg: 2.16 2.05 1.95 3/518 3332
/proc/meminfo: memFree=20846616/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=286716 CPUtime=942.29 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 70842 0 0 0 93819 410 0 0 25 0 1 0 818682223 293597184 70008 33554432000 4194304 5714214 140735529647872 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2717/statm: 71679 70008 180 372 0 71304 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 286716
[startup+1002.3 s]
/proc/loadavg: 2.16 2.07 1.96 3/518 3334
/proc/meminfo: memFree=20830100/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=288204 CPUtime=1002.29 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 71168 0 0 0 99803 426 0 0 25 0 1 0 818682223 295120896 70334 33554432000 4194304 5714214 140735529647872 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2717/statm: 72051 70334 180 372 0 71676 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 288204
[startup+1062.3 s]
/proc/loadavg: 2.06 2.05 1.96 3/518 3336
/proc/meminfo: memFree=20810480/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=294536 CPUtime=1062.3 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 72648 0 0 0 105790 440 0 0 25 0 1 0 818682223 301604864 71814 33554432000 4194304 5714214 140735529647872 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2717/statm: 73634 71814 180 372 0 73259 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 294536
[startup+1122.3 s]
/proc/loadavg: 2.02 2.04 1.96 3/518 3337
/proc/meminfo: memFree=20795928/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=298736 CPUtime=1122.3 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 73697 0 0 0 111774 456 0 0 25 0 1 0 818682223 305905664 72850 33554432000 4194304 5714214 140735529647872 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2717/statm: 74684 72850 180 372 0 74309 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 298736
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 1.96 3/518 3339
/proc/meminfo: memFree=20765024/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=319856 CPUtime=1182.3 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 78991 0 0 0 117758 472 0 0 25 0 1 0 818682223 327532544 78144 33554432000 4194304 5714214 140735529647872 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2717/statm: 79964 78144 180 372 0 79589 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 319856
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/518 3340
/proc/meminfo: memFree=20735836/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=340304 CPUtime=1242.31 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 84767 0 0 0 123730 501 0 0 25 0 1 0 818682223 348471296 83235 33554432000 4194304 5714214 140735529647872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2717/statm: 85076 83235 180 372 0 84701 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 340304
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/518 3342
/proc/meminfo: memFree=20719300/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=358124 CPUtime=1302.31 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 89180 0 0 0 129705 526 0 0 25 0 1 0 818682223 366718976 87648 33554432000 4194304 5714214 140735529647872 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2717/statm: 89531 87648 180 372 0 89156 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 358124
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/518 3344
/proc/meminfo: memFree=20707608/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=368980 CPUtime=1362.31 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 92019 0 0 0 135685 546 0 0 25 0 1 0 818682223 377835520 90374 33554432000 4194304 5714214 140735529647872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2717/statm: 92245 90374 180 372 0 91870 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 368980
[startup+1422.32 s]
/proc/loadavg: 2.15 2.04 1.97 3/518 3346
/proc/meminfo: memFree=20710676/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=365220 CPUtime=1422.34 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 92039 0 0 0 141665 569 0 0 25 0 1 0 818682223 373985280 89436 33554432000 4194304 5714214 140735529647872 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2717/statm: 91305 89436 180 372 0 90930 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 365220
[startup+1482.3 s]
/proc/loadavg: 2.19 2.07 1.99 3/518 3348
/proc/meminfo: memFree=20680888/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=395648 CPUtime=1482.32 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 99608 0 0 0 147650 582 0 0 25 0 1 0 818682223 405143552 97005 33554432000 4194304 5714214 140735529647872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2717/statm: 98912 97005 180 372 0 98537 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 395648
[startup+1542.3 s]
/proc/loadavg: 2.10 2.07 1.99 3/518 3349
/proc/meminfo: memFree=20679504/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=396116 CPUtime=1542.31 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 99714 0 0 0 153624 607 0 0 25 0 1 0 818682223 405622784 97111 33554432000 4194304 5714214 140735529647872 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2717/statm: 99029 97111 180 372 0 98654 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 396116
[startup+1602.3 s]
/proc/loadavg: 2.04 2.05 1.99 3/518 3351
/proc/meminfo: memFree=20674872/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=396188 CPUtime=1602.32 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 99723 0 0 0 159599 633 0 0 25 0 1 0 818682223 405696512 97120 33554432000 4194304 5714214 140735529647872 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2717/statm: 99047 97120 180 372 0 98672 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 396188
[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 1.99 3/518 3353
/proc/meminfo: memFree=20644592/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=416540 CPUtime=1662.32 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 104808 0 0 0 165581 651 0 0 25 0 1 0 818682223 426536960 102205 33554432000 4194304 5714214 140735529647872 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2717/statm: 104135 102205 180 372 0 103760 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 416540
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 1.99 3/518 3354
/proc/meminfo: memFree=20619516/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=434912 CPUtime=1722.33 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 109387 0 0 0 171563 670 0 0 25 0 1 0 818682223 445349888 106784 33554432000 4194304 5714214 140735529647872 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2717/statm: 108728 106784 180 372 0 108353 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 434912
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/518 3356
/proc/meminfo: memFree=20605856/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=439484 CPUtime=1782.33 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 110431 0 0 0 177548 685 0 0 25 0 1 0 818682223 450031616 107828 33554432000 4194304 5714214 140735529647872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2717/statm: 109871 107828 180 372 0 109496 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 439484
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 1.99 3/518 3356
/proc/meminfo: memFree=20599900/32950928 swapFree=34259960/67111528
[pid=2717] ppid=2715 vsize=443372 CPUtime=1800.04 cores=1,3,5,7
/proc/2717/stat : 2717 (wbo1.6) R 2715 2717 1159 0 -1 4202496 111402 0 0 0 179314 690 0 0 25 0 1 0 818682223 454012928 108799 33554432000 4194304 5714214 140735529647872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2717/statm: 110843 108799 180 372 0 110468 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 443372
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.08
CPU user time (s): 1793.15
CPU system time (s): 6.92095
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 443372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.15
system time used= 6.92095
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111402
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= 2546
runsolver used 8.66368 second user time and 22.4556 second system time
The end