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-3460979-1307106223/watcher-3460979-1307106223 -o /tmp/evaluation-result-3460979-1307106223/solver-3460979-1307106223 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460979-1307106223.opb
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: 2.00 2.01 2.00 2/443 14709
/proc/meminfo: memFree=29918048/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=2104 CPUtime=0 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 316 0 0 0 0 0 0 0 18 0 1 0 900852939 2154496 267 33554432000 4194304 5714214 140734460490112 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/14709/statm: 526 267 180 372 0 151 0
[startup+0.036609 s]
/proc/loadavg: 2.00 2.01 2.00 2/443 14709
/proc/meminfo: memFree=29918048/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=2368 CPUtime=0.03 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 406 0 0 0 3 0 0 0 18 0 1 0 900852939 2424832 357 33554432000 4194304 5714214 140734460490112 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/14709/statm: 592 357 180 372 0 217 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2368
[startup+0.100591 s]
/proc/loadavg: 2.00 2.01 2.00 2/443 14709
/proc/meminfo: memFree=29918048/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=3164 CPUtime=0.09 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 584 0 0 0 9 0 0 0 18 0 1 0 900852939 3239936 535 33554432000 4194304 5714214 140734460490112 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/14709/statm: 791 535 180 372 0 416 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3164
[startup+0.300559 s]
/proc/loadavg: 2.00 2.01 2.00 2/443 14709
/proc/meminfo: memFree=29918048/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=4880 CPUtime=0.29 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 1008 0 0 0 29 0 0 0 18 0 1 0 900852939 4997120 959 33554432000 4194304 5714214 140734460490112 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/14709/statm: 1220 959 180 372 0 845 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4880
[startup+0.700485 s]
/proc/loadavg: 2.00 2.01 2.00 2/443 14709
/proc/meminfo: memFree=29918048/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=7248 CPUtime=0.69 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 1586 0 0 0 68 1 0 0 18 0 1 0 900852939 7421952 1537 33554432000 4194304 5714214 140734460490112 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/14709/statm: 1812 1537 180 372 0 1437 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7248
[startup+1.50034 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14710
/proc/meminfo: memFree=29910228/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=8720 CPUtime=1.49 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 1977 0 0 0 147 2 0 0 20 0 1 0 900852939 8929280 1928 33554432000 4194304 5714214 140734460490112 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/14709/statm: 2180 1928 180 372 0 1805 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8720
[startup+3.10104 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14710
/proc/meminfo: memFree=29905888/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=11328 CPUtime=3.1 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 2625 0 0 0 307 3 0 0 25 0 1 0 900852939 11599872 2576 33554432000 4194304 5714214 140734460490112 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/14709/statm: 2832 2576 180 372 0 2457 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 11328
[startup+6.30043 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14710
/proc/meminfo: memFree=29898812/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=16472 CPUtime=6.29 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 3875 0 0 0 624 5 0 0 25 0 1 0 900852939 16867328 3826 33554432000 4194304 5714214 140734460490112 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/14709/statm: 4118 3826 180 372 0 3743 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16472
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14710
/proc/meminfo: memFree=29885376/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=24444 CPUtime=12.7 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 5863 0 0 0 1260 10 0 0 25 0 1 0 900852939 25030656 5814 33554432000 4194304 5714214 140734460490112 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/14709/statm: 6111 5814 180 372 0 5736 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 24444
[startup+25.5008 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14710
/proc/meminfo: memFree=29862440/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=36276 CPUtime=25.49 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 8828 0 0 0 2533 16 0 0 25 0 1 0 900852939 37146624 8779 33554432000 4194304 5714214 140734460490112 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/14709/statm: 9069 8779 180 372 0 8694 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 36276
[startup+51.101 s]
/proc/loadavg: 2.08 2.02 2.01 3/444 14711
/proc/meminfo: memFree=29820584/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=60332 CPUtime=51.09 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 14781 0 0 0 5079 30 0 0 25 0 1 0 900852939 61779968 14732 33554432000 4194304 5714214 140734460490112 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/14709/statm: 15083 14732 180 372 0 14708 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 60332
[startup+102.316 s]
/proc/loadavg: 2.03 2.02 2.00 3/444 14712
/proc/meminfo: memFree=29743672/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=102168 CPUtime=102.31 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 25210 0 0 0 10171 60 0 0 25 0 1 0 900852939 104620032 25161 33554432000 4194304 5714214 140734460490112 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/14709/statm: 25542 25161 180 372 0 25167 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 102168
[startup+162.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/444 14714
/proc/meminfo: memFree=29661904/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=147480 CPUtime=162.29 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 36467 0 0 0 16137 92 0 0 25 0 1 0 900852939 151019520 36418 33554432000 4194304 5714214 140734460490112 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/14709/statm: 36870 36418 180 372 0 36495 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 147480
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14716
/proc/meminfo: memFree=29583236/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=189012 CPUtime=222.28 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 46818 0 0 0 22104 124 0 0 25 0 1 0 900852939 193548288 46769 33554432000 4194304 5714214 140734460490112 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/14709/statm: 47253 46769 180 372 0 46878 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 189012
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14717
/proc/meminfo: memFree=29516340/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=223168 CPUtime=282.28 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 55337 0 0 0 28077 151 0 0 25 0 1 0 900852939 228524032 55288 33554432000 4194304 5714214 140734460490112 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14709/statm: 55792 55288 180 372 0 55417 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 223168
[startup+342.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/444 14719
/proc/meminfo: memFree=29445736/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=258824 CPUtime=342.28 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 64211 0 0 0 34053 175 0 0 25 0 1 0 900852939 265035776 64162 33554432000 4194304 5714214 140734460490112 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14709/statm: 64706 64162 180 372 0 64331 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 258824
[startup+402.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/444 14720
/proc/meminfo: memFree=29378236/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=294920 CPUtime=402.28 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 73258 0 0 0 40025 203 0 0 25 0 1 0 900852939 301998080 73209 33554432000 4194304 5714214 140734460490112 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14709/statm: 73730 73209 180 372 0 73355 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 294920
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14722
/proc/meminfo: memFree=29314196/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=328304 CPUtime=462.28 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 81572 0 0 0 46001 227 0 0 25 0 1 0 900852939 336183296 81523 33554432000 4194304 5714214 140734460490112 18446744073709551615 4299768 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14709/statm: 82076 81523 180 372 0 81701 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 328304
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14724
/proc/meminfo: memFree=29250908/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=362312 CPUtime=522.28 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 90060 0 0 0 51972 256 0 0 25 0 1 0 900852939 371007488 90011 33554432000 4194304 5714214 140734460490112 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14709/statm: 90578 90011 180 372 0 90203 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 362312
[startup+582.301 s]
/proc/loadavg: 2.10 2.03 2.01 3/444 14725
/proc/meminfo: memFree=29183896/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=394388 CPUtime=582.29 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 98041 0 0 0 57946 283 0 0 25 0 1 0 900852939 403853312 97992 33554432000 4194304 5714214 140734460490112 18446744073709551615 4300276 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14709/statm: 98597 97992 180 372 0 98222 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 394388
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.06 2.03 2.00 3/444 14732
/proc/meminfo: memFree=28935812/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=517976 CPUtime=822.3 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 128900 0 0 0 81850 380 0 0 25 0 1 0 900852939 530407424 128851 33554432000 4194304 5714214 140734460490112 18446744073709551615 4319260 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14709/statm: 129494 128851 180 372 0 129119 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 517976
[startup+882.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/444 14733
/proc/meminfo: memFree=28872884/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=548392 CPUtime=882.3 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 136491 0 0 0 87826 404 0 0 25 0 1 0 900852939 561553408 136442 33554432000 4194304 5714214 140734460490112 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14709/statm: 137098 136442 180 372 0 136723 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 548392
[startup+942.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/444 14735
/proc/meminfo: memFree=28812328/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=578392 CPUtime=942.3 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 143972 0 0 0 93799 431 0 0 25 0 1 0 900852939 592273408 143923 33554432000 4194304 5714214 140734460490112 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14709/statm: 144598 143923 180 372 0 144223 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 578392
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14736
/proc/meminfo: memFree=28752640/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=607324 CPUtime=1002.3 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 151209 0 0 0 99779 451 0 0 25 0 1 0 900852939 621899776 151160 33554432000 4194304 5714214 140734460490112 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14709/statm: 151831 151160 180 372 0 151456 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 607324
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14738
/proc/meminfo: memFree=28694556/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=636568 CPUtime=1062.3 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 158491 0 0 0 105753 477 0 0 25 0 1 0 900852939 651845632 158442 33554432000 4194304 5714214 140734460490112 18446744073709551615 4319240 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14709/statm: 159142 158442 180 372 0 158767 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 636568
[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/444 14740
/proc/meminfo: memFree=28633992/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=666352 CPUtime=1122.31 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 165904 0 0 0 111731 500 0 0 25 0 1 0 900852939 682344448 165855 33554432000 4194304 5714214 140734460490112 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14709/statm: 166588 165855 180 372 0 166213 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 666352
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/444 14741
/proc/meminfo: memFree=28573792/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=696056 CPUtime=1182.31 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 173342 0 0 0 117708 523 0 0 25 0 1 0 900852939 712761344 173293 33554432000 4194304 5714214 140734460490112 18446744073709551615 4323082 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14709/statm: 174014 173293 180 372 0 173639 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 696056
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/444 14743
/proc/meminfo: memFree=28511376/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=726080 CPUtime=1242.31 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 180827 0 0 0 123686 545 0 0 25 0 1 0 900852939 743505920 180778 33554432000 4194304 5714214 140734460490112 18446744073709551615 4300208 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14709/statm: 181520 180778 180 372 0 181145 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 726080
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14744
/proc/meminfo: memFree=28448328/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=755120 CPUtime=1302.32 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 188112 0 0 0 129662 570 0 0 25 0 1 0 900852939 773242880 188063 33554432000 4194304 5714214 140734460490112 18446744073709551615 4299968 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14709/statm: 188780 188063 180 372 0 188405 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 755120
[startup+1362.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/444 14746
/proc/meminfo: memFree=28391464/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=782996 CPUtime=1362.32 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 195057 0 0 0 135639 593 0 0 25 0 1 0 900852939 801787904 195008 33554432000 4194304 5714214 140734460490112 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14709/statm: 195749 195008 180 372 0 195374 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 782996
[startup+1422.32 s]
/proc/loadavg: 2.05 2.03 2.00 3/444 14748
/proc/meminfo: memFree=28335384/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=810740 CPUtime=1422.33 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 201971 0 0 0 141621 612 0 0 25 0 1 0 900852939 830197760 201922 33554432000 4194304 5714214 140734460490112 18446744073709551615 4319240 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14709/statm: 202685 201922 180 372 0 202310 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 810740
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/444 14749
/proc/meminfo: memFree=28275432/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=838268 CPUtime=1482.32 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 208826 0 0 0 147593 639 0 0 25 0 1 0 900852939 858386432 208777 33554432000 4194304 5714214 140734460490112 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14709/statm: 209567 208777 180 372 0 209192 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 838268
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 14751
/proc/meminfo: memFree=28222436/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=863492 CPUtime=1542.32 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 215124 0 0 0 153573 659 0 0 25 0 1 0 900852939 884215808 215075 33554432000 4194304 5714214 140734460490112 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14709/statm: 215873 215075 180 372 0 215498 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 863492
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14752
/proc/meminfo: memFree=28165212/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=891960 CPUtime=1602.33 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 222209 0 0 0 159550 683 0 0 25 0 1 0 900852939 913367040 222160 33554432000 4194304 5714214 140734460490112 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14709/statm: 222990 222160 180 372 0 222615 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 891960
[startup+1662.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/444 14754
/proc/meminfo: memFree=28107128/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=920208 CPUtime=1662.33 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 229287 0 0 0 165525 708 0 0 25 0 1 0 900852939 942292992 229238 33554432000 4194304 5714214 140734460490112 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14709/statm: 230052 229238 180 372 0 229677 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 920208
[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/444 14756
/proc/meminfo: memFree=28051400/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=949116 CPUtime=1722.32 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 236533 0 0 0 171500 732 0 0 25 0 1 0 900852939 971894784 236484 33554432000 4194304 5714214 140734460490112 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14709/statm: 237279 236484 180 372 0 236904 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 949116
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/444 14785
/proc/meminfo: memFree=28920484/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=977892 CPUtime=1782.33 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 243728 0 0 0 177477 756 0 0 25 0 1 0 900852939 1001361408 243679 33554432000 4194304 5714214 140734460490112 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14709/statm: 244473 243679 180 372 0 244098 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 977892
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.03 2.00 3/444 14786
/proc/meminfo: memFree=28896160/32950928 swapFree=52246700/67111528
[pid=14709] ppid=14707 vsize=985680 CPUtime=1800.04 cores=0,2,4,6
/proc/14709/stat : 14709 (wbo1.6) R 14707 14709 13866 0 -1 4202496 245691 0 0 0 179243 761 0 0 25 0 1 0 900852939 1009336320 245642 33554432000 4194304 5714214 140734460490112 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14709/statm: 246420 245642 180 372 0 246045 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 985680
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.1
CPU user time (s): 1792.44
CPU system time (s): 7.66283
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 985680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.44
system time used= 7.66284
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245691
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= 4
involuntary context switches= 2730
runsolver used 8.38172 second user time and 17.0084 second system time
The end