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-3460704-1307108444/watcher-3460704-1307108444 -o /tmp/evaluation-result-3460704-1307108444/solver-3460704-1307108444 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460704-1307108444.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.98 2.00 1.95 2/437 3893
/proc/meminfo: memFree=24663860/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=4356 CPUtime=0 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 548 0 0 0 0 0 0 0 22 0 1 0 803260013 4460544 501 33554432000 4194304 5714214 140737483113808 18446744073709551615 4315538 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 1089 502 188 372 0 368 0
[startup+0.0190179 s]
/proc/loadavg: 1.98 2.00 1.95 2/437 3893
/proc/meminfo: memFree=24663860/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=5392 CPUtime=0.01 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 798 0 0 0 1 0 0 0 22 0 1 0 803260013 5521408 751 33554432000 4194304 5714214 140737483113808 18446744073709551615 5013648 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 1348 751 226 372 0 627 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5392
[startup+0.100988 s]
/proc/loadavg: 1.98 2.00 1.95 2/437 3893
/proc/meminfo: memFree=24663860/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=13564 CPUtime=0.09 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 3446 0 0 0 9 0 0 0 22 0 1 0 803260013 13889536 3020 33554432000 4194304 5714214 140737483113808 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 3391 3030 172 372 0 3016 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13564
[startup+0.300949 s]
/proc/loadavg: 1.98 2.00 1.95 2/437 3893
/proc/meminfo: memFree=24663860/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=23904 CPUtime=0.29 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 6678 0 0 0 28 1 0 0 23 0 1 0 803260013 24477696 5550 33554432000 4194304 5714214 140737483113808 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 5976 5550 179 372 0 5601 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23904
[startup+0.700869 s]
/proc/loadavg: 1.98 2.00 1.95 2/437 3893
/proc/meminfo: memFree=24663860/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=24224 CPUtime=0.69 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 6886 0 0 0 62 7 0 0 18 0 1 0 803260013 24805376 5648 33554432000 4194304 5714214 140737483113808 18446744073709551615 4329431 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 6056 5648 180 372 0 5681 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24224
[startup+1.50071 s]
/proc/loadavg: 1.98 2.00 1.95 3/438 3894
/proc/meminfo: memFree=24638060/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=24224 CPUtime=1.49 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 6886 0 0 0 133 16 0 0 19 0 1 0 803260013 24805376 5648 33554432000 4194304 5714214 140737483113808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 6056 5648 180 372 0 5681 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24224
[startup+3.10039 s]
/proc/loadavg: 1.98 2.00 1.95 3/438 3894
/proc/meminfo: memFree=24631192/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=30432 CPUtime=3.09 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 8495 0 0 0 285 24 0 0 18 0 1 0 803260013 31162368 7257 33554432000 4194304 5714214 140737483113808 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 7608 7257 180 372 0 7233 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30432
[startup+6.30076 s]
/proc/loadavg: 1.98 2.00 1.95 3/438 3894
/proc/meminfo: memFree=24617916/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=39968 CPUtime=6.29 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 10919 0 0 0 597 32 0 0 18 0 1 0 803260013 40927232 9570 33554432000 4194304 5714214 140737483113808 18446744073709551615 4319968 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 9992 9570 180 372 0 9617 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39968
[startup+12.7005 s]
/proc/loadavg: 1.98 2.00 1.95 3/438 3894
/proc/meminfo: memFree=24561952/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=88660 CPUtime=12.69 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 23145 0 0 0 1227 42 0 0 25 0 1 0 803260013 90787840 21796 33554432000 4194304 5714214 140737483113808 18446744073709551615 4319266 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 22165 21796 180 372 0 21790 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 88660
[startup+25.5009 s]
/proc/loadavg: 2.05 2.02 1.96 3/438 3895
/proc/meminfo: memFree=24445780/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=187760 CPUtime=25.49 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 47891 0 0 0 2492 57 0 0 25 0 1 0 803260013 192266240 46542 33554432000 4194304 5714214 140737483113808 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 46940 46542 180 372 0 46565 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 187760
[startup+51.1009 s]
/proc/loadavg: 2.04 2.01 1.96 3/438 3895
/proc/meminfo: memFree=24267168/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=337864 CPUtime=51.09 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 85408 0 0 0 5017 92 0 0 25 0 1 0 803260013 345972736 84059 33554432000 4194304 5714214 140737483113808 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 84466 84059 180 372 0 84091 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 337864
[startup+102.317 s]
/proc/loadavg: 2.06 2.02 1.96 3/438 3897
/proc/meminfo: memFree=24219272/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=353640 CPUtime=102.31 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 106668 0 0 0 10077 154 0 0 25 0 1 0 803260013 362127360 88025 33554432000 4194304 5714214 140737483113808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 88410 88025 180 372 0 88035 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 353640
[startup+162.301 s]
/proc/loadavg: 2.02 2.02 1.96 3/438 3898
/proc/meminfo: memFree=24207332/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=353640 CPUtime=162.29 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 106703 0 0 0 16001 228 0 0 25 0 1 0 803260013 362127360 88060 33554432000 4194304 5714214 140737483113808 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 88410 88060 180 372 0 88035 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 353640
[startup+222.301 s]
/proc/loadavg: 2.10 2.04 1.97 3/438 3900
/proc/meminfo: memFree=24162916/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=398764 CPUtime=222.3 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 118046 0 0 0 21952 278 0 0 25 0 1 0 803260013 408334336 99403 33554432000 4194304 5714214 140737483113808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 99691 99403 180 372 0 99316 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 398764
[startup+282.301 s]
/proc/loadavg: 2.03 2.03 1.97 3/438 3902
/proc/meminfo: memFree=24127160/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=438492 CPUtime=282.3 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 127963 0 0 0 27907 323 0 0 25 0 1 0 803260013 449015808 109320 33554432000 4194304 5714214 140737483113808 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 109623 109320 180 372 0 109248 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 438492
[startup+342.301 s]
/proc/loadavg: 2.01 2.02 1.97 3/438 3903
/proc/meminfo: memFree=24005000/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=531548 CPUtime=342.31 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 151203 0 0 0 33891 340 0 0 25 0 1 0 803260013 544305152 132560 33554432000 4194304 5714214 140737483113808 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 132887 132560 180 372 0 132512 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 531548
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 1.97 3/438 3905
/proc/meminfo: memFree=23939248/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=531548 CPUtime=402.31 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 151207 0 0 0 39884 347 0 0 25 0 1 0 803260013 544305152 132564 33554432000 4194304 5714214 140737483113808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 132887 132564 180 372 0 132512 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 531548
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/438 3906
/proc/meminfo: memFree=23866928/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=531548 CPUtime=462.31 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 151209 0 0 0 45878 353 0 0 25 0 1 0 803260013 544305152 132566 33554432000 4194304 5714214 140737483113808 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 132887 132566 180 372 0 132512 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 531548
[startup+522.3 s]
/proc/loadavg: 2.16 2.04 1.99 3/438 3908
/proc/meminfo: memFree=23783192/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=571480 CPUtime=522.31 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 161149 0 0 0 51872 359 0 0 25 0 1 0 803260013 585195520 142506 33554432000 4194304 5714214 140737483113808 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 142870 142506 180 372 0 142495 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 571480
[startup+582.3 s]
/proc/loadavg: 2.13 2.04 1.99 3/438 3910
/proc/meminfo: memFree=23695368/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=639472 CPUtime=582.32 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 178043 0 0 0 57857 375 0 0 25 0 1 0 803260013 654819328 159400 33554432000 4194304 5714214 140737483113808 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 159868 159400 180 372 0 159493 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 639472
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/438 3916
/proc/meminfo: memFree=23492044/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=780012 CPUtime=822.33 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 212898 0 0 0 81805 428 0 0 25 0 1 0 803260013 798732288 194255 33554432000 4194304 5714214 140737483113808 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 195003 194255 180 372 0 194628 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 780012
[startup+882.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/438 3918
/proc/meminfo: memFree=23492264/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=780012 CPUtime=882.34 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 212899 0 0 0 87802 432 0 0 25 0 1 0 803260013 798732288 194256 33554432000 4194304 5714214 140737483113808 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 195003 194256 180 372 0 194628 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 780012
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 3919
/proc/meminfo: memFree=23492244/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=780012 CPUtime=942.34 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 212904 0 0 0 93799 435 0 0 25 0 1 0 803260013 798732288 194261 33554432000 4194304 5714214 140737483113808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 195003 194261 180 372 0 194628 0
Current children cumulated CPU time (s) 942.34
Current children cumulated vsize (KiB) 780012
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 3921
/proc/meminfo: memFree=23459872/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=812300 CPUtime=1002.34 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 220956 0 0 0 99794 440 0 0 25 0 1 0 803260013 831795200 202313 33554432000 4194304 5714214 140737483113808 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 203075 202313 180 372 0 202700 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 812300
[startup+1062.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/438 3922
/proc/meminfo: memFree=23416452/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=856072 CPUtime=1062.34 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 231874 0 0 0 105790 444 0 0 25 0 1 0 803260013 876617728 213231 33554432000 4194304 5714214 140737483113808 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 214018 213231 180 372 0 213643 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 856072
[startup+1122.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/438 3924
/proc/meminfo: memFree=23371668/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=898532 CPUtime=1122.34 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 242467 0 0 0 111781 453 0 0 25 0 1 0 803260013 920096768 223824 33554432000 4194304 5714214 140737483113808 18446744073709551615 4311455 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 224633 223824 180 372 0 224258 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 898532
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/438 3926
/proc/meminfo: memFree=23338792/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=898532 CPUtime=1182.35 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 242467 0 0 0 117738 497 0 0 25 0 1 0 803260013 920096768 223824 33554432000 4194304 5714214 140737483113808 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 224633 223824 180 372 0 224258 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 898532
[startup+1242.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/438 3936
/proc/meminfo: memFree=23338444/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=898532 CPUtime=1242.34 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 242469 0 0 0 123728 506 0 0 25 0 1 0 803260013 920096768 223826 33554432000 4194304 5714214 140737483113808 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 224633 223826 180 372 0 224258 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 898532
[startup+1302.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/438 3938
/proc/meminfo: memFree=23338548/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=898532 CPUtime=1302.36 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 242483 0 0 0 129719 517 0 0 25 0 1 0 803260013 920096768 223840 33554432000 4194304 5714214 140737483113808 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 224633 223840 180 372 0 224258 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 898532
[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/438 3939
/proc/meminfo: memFree=23319316/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=903128 CPUtime=1362.35 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 243657 0 0 0 135713 522 0 0 25 0 1 0 803260013 924803072 225014 33554432000 4194304 5714214 140737483113808 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 225782 225014 180 372 0 225407 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 903128
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 3941
/proc/meminfo: memFree=23189852/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=913100 CPUtime=1422.37 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 246162 0 0 0 141669 568 0 0 25 0 1 0 803260013 935014400 227519 33554432000 4194304 5714214 140737483113808 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 228275 227519 180 372 0 227900 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 913100
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 3943
/proc/meminfo: memFree=23139852/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=913100 CPUtime=1482.36 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 246162 0 0 0 147654 582 0 0 25 0 1 0 803260013 935014400 227519 33554432000 4194304 5714214 140737483113808 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 228275 227519 180 372 0 227900 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 913100
[startup+1542.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/438 3944
/proc/meminfo: memFree=23139720/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=913100 CPUtime=1542.36 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 246165 0 0 0 153648 588 0 0 25 0 1 0 803260013 935014400 227522 33554432000 4194304 5714214 140737483113808 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 228275 227522 180 372 0 227900 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 913100
[startup+1602.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/438 3946
/proc/meminfo: memFree=23128540/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=913100 CPUtime=1602.37 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 246165 0 0 0 159637 600 0 0 25 0 1 0 803260013 935014400 227522 33554432000 4194304 5714214 140737483113808 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 228275 227522 180 372 0 227900 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 913100
[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/438 3947
/proc/meminfo: memFree=23128640/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=913100 CPUtime=1662.37 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 246167 0 0 0 165630 607 0 0 25 0 1 0 803260013 935014400 227524 33554432000 4194304 5714214 140737483113808 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 228275 227524 180 372 0 227900 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 913100
[startup+1722.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/438 3949
/proc/meminfo: memFree=23103332/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=913100 CPUtime=1722.37 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 246167 0 0 0 171625 612 0 0 25 0 1 0 803260013 935014400 227524 33554432000 4194304 5714214 140737483113808 18446744073709551615 4319405 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 228275 227524 180 372 0 227900 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 913100
[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/438 3979
/proc/meminfo: memFree=23800936/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=913100 CPUtime=1782.38 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 246173 0 0 0 177617 621 0 0 25 0 1 0 803260013 935014400 227530 33554432000 4194304 5714214 140737483113808 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 228275 227530 180 372 0 227900 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (KiB) 913100
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.03 2.04 2.00 3/438 3979
/proc/meminfo: memFree=23760504/32951124 swapFree=50923800/67111528
[pid=3893] ppid=3891 vsize=913100 CPUtime=1800.08 cores=1,3,5,7
/proc/3893/stat : 3893 (wbo1.6) R 3891 3893 2319 0 -1 4202496 246181 0 0 0 179381 627 0 0 25 0 1 0 803260013 935014400 227538 33554432000 4194304 5714214 140737483113808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3893/statm: 228275 227538 180 372 0 227900 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 913100
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.06
CPU time (s): 1800.14
CPU user time (s): 1793.83
CPU system time (s): 6.31304
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 913100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.83
system time used= 6.31304
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246181
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= 8
involuntary context switches= 2766
runsolver used 7.49186 second user time and 18.3202 second system time
The end