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-3460968-1307106178/watcher-3460968-1307106178 -o /tmp/evaluation-result-3460968-1307106178/solver-3460968-1307106178 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460968-1307106178.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.00 2.02 2.00 2/443 14680
/proc/meminfo: memFree=29433688/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=2104 CPUtime=0 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 900848513 2154496 282 33554432000 4194304 5714214 140733858487872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 526 282 180 372 0 151 0
[startup+0.0800929 s]
/proc/loadavg: 2.00 2.02 2.00 2/443 14680
/proc/meminfo: memFree=29433688/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=2628 CPUtime=0.07 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 469 0 0 0 7 0 0 0 25 0 1 0 900848513 2691072 418 33554432000 4194304 5714214 140733858487872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 657 418 180 372 0 282 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2628
[startup+0.101092 s]
/proc/loadavg: 2.00 2.02 2.00 2/443 14680
/proc/meminfo: memFree=29433688/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=2760 CPUtime=0.09 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 510 0 0 0 9 0 0 0 25 0 1 0 900848513 2826240 459 33554432000 4194304 5714214 140733858487872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 690 459 180 372 0 315 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2760
[startup+0.301052 s]
/proc/loadavg: 2.00 2.02 2.00 2/443 14680
/proc/meminfo: memFree=29433688/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=4212 CPUtime=0.29 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 849 0 0 0 29 0 0 0 25 0 1 0 900848513 4313088 798 33554432000 4194304 5714214 140733858487872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 1053 798 180 372 0 678 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4212
[startup+0.700979 s]
/proc/loadavg: 2.00 2.02 2.00 2/443 14680
/proc/meminfo: memFree=29433688/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=6656 CPUtime=0.7 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 1457 0 0 0 69 1 0 0 25 0 1 0 900848513 6815744 1406 33554432000 4194304 5714214 140733858487872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 1664 1406 180 372 0 1289 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 6656
[startup+1.50084 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 14681
/proc/meminfo: memFree=29425664/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=9160 CPUtime=1.49 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 2072 0 0 0 147 2 0 0 25 0 1 0 900848513 9379840 2021 33554432000 4194304 5714214 140733858487872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 2290 2021 180 372 0 1915 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9160
[startup+3.10053 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 14681
/proc/meminfo: memFree=29422068/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=12160 CPUtime=3.09 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 2842 0 0 0 304 5 0 0 25 0 1 0 900848513 12451840 2791 33554432000 4194304 5714214 140733858487872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 3040 2791 180 372 0 2665 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12160
[startup+6.30092 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 14681
/proc/meminfo: memFree=29417440/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=15780 CPUtime=6.29 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 3746 0 0 0 618 11 0 0 25 0 1 0 900848513 16158720 3695 33554432000 4194304 5714214 140733858487872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 3945 3695 180 372 0 3570 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15780
[startup+12.7007 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 14681
/proc/meminfo: memFree=29406664/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=23128 CPUtime=12.7 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 5570 0 0 0 1250 20 0 0 25 0 1 0 900848513 23683072 5519 33554432000 4194304 5714214 140733858487872 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 5782 5519 180 372 0 5407 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 23128
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14681
/proc/meminfo: memFree=29355344/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=34740 CPUtime=25.49 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 8446 0 0 0 2510 39 0 0 25 0 1 0 900848513 35573760 8395 33554432000 4194304 5714214 140733858487872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 8685 8395 180 372 0 8310 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 34740
[startup+51.1005 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14710
/proc/meminfo: memFree=29896208/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=55572 CPUtime=51.1 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 13606 0 0 0 5041 69 0 0 25 0 1 0 900848513 56905728 13555 33554432000 4194304 5714214 140733858487872 18446744073709551615 4319266 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 13893 13555 180 372 0 13518 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 55572
[startup+102.317 s]
/proc/loadavg: 2.07 2.02 2.00 3/444 14711
/proc/meminfo: memFree=29808928/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=91292 CPUtime=102.31 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 22489 0 0 0 10102 129 0 0 25 0 1 0 900848513 93483008 22438 33554432000 4194304 5714214 140733858487872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 22823 22438 180 372 0 22448 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 91292
[startup+162.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/444 14713
/proc/meminfo: memFree=29723564/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=129708 CPUtime=162.29 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 32053 0 0 0 16030 199 0 0 25 0 1 0 900848513 132820992 32002 33554432000 4194304 5714214 140733858487872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 32427 32002 180 372 0 32052 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 129708
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/444 14715
/proc/meminfo: memFree=29640800/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=166888 CPUtime=222.3 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 41293 0 0 0 21968 262 0 0 25 0 1 0 900848513 170893312 41242 33554432000 4194304 5714214 140733858487872 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 41722 41242 180 372 0 41347 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 166888
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14716
/proc/meminfo: memFree=29567712/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=203608 CPUtime=282.3 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 50501 0 0 0 27914 316 0 0 25 0 1 0 900848513 208494592 50450 33554432000 4194304 5714214 140733858487872 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 50902 50450 180 372 0 50527 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 203608
[startup+342.301 s]
/proc/loadavg: 2.08 2.02 2.01 3/444 14718
/proc/meminfo: memFree=29497724/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=237348 CPUtime=342.3 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 58887 0 0 0 33875 355 0 0 25 0 1 0 900848513 243044352 58836 33554432000 4194304 5714214 140733858487872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 59337 58836 180 372 0 58962 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 237348
[startup+402.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/444 14719
/proc/meminfo: memFree=29428120/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=271220 CPUtime=402.3 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 67338 0 0 0 39839 391 0 0 25 0 1 0 900848513 277729280 67287 33554432000 4194304 5714214 140733858487872 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 67805 67287 180 372 0 67430 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 271220
[startup+462.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/444 14721
/proc/meminfo: memFree=29364204/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=301504 CPUtime=462.31 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 74899 0 0 0 45804 427 0 0 25 0 1 0 900848513 308740096 74848 33554432000 4194304 5714214 140733858487872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 75376 74848 180 372 0 75001 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 301504
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14722
/proc/meminfo: memFree=29301536/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=332468 CPUtime=522.31 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 82631 0 0 0 51767 464 0 0 25 0 1 0 900848513 340447232 82580 33554432000 4194304 5714214 140733858487872 18446744073709551615 4319332 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 83117 82580 180 372 0 82742 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 332468
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14724
/proc/meminfo: memFree=29232532/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=365672 CPUtime=582.32 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 90891 0 0 0 57732 500 0 0 25 0 1 0 900848513 374448128 90840 33554432000 4194304 5714214 140733858487872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 91418 90840 180 372 0 91043 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 365672
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/444 14730
/proc/meminfo: memFree=28981120/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=491560 CPUtime=822.32 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 122323 0 0 0 81576 656 0 0 25 0 1 0 900848513 503357440 122272 33554432000 4194304 5714214 140733858487872 18446744073709551615 4300208 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 122890 122272 180 372 0 122515 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 491560
[startup+882.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/444 14732
/proc/meminfo: memFree=28918676/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=521548 CPUtime=882.32 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 129804 0 0 0 87540 692 0 0 25 0 1 0 900848513 534065152 129753 33554432000 4194304 5714214 140733858487872 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 130387 129753 180 372 0 130012 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 521548
[startup+942.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/444 14734
/proc/meminfo: memFree=28860588/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=553132 CPUtime=942.33 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 137727 0 0 0 93507 726 0 0 25 0 1 0 900848513 566407168 137676 33554432000 4194304 5714214 140733858487872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 138283 137676 180 372 0 137908 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 553132
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 14735
/proc/meminfo: memFree=28795584/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=586712 CPUtime=1002.33 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 146088 0 0 0 99473 760 0 0 25 0 1 0 900848513 600793088 146037 33554432000 4194304 5714214 140733858487872 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 146678 146037 180 372 0 146303 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 586712
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14737
/proc/meminfo: memFree=28738732/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=615080 CPUtime=1062.33 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 153149 0 0 0 105435 798 0 0 25 0 1 0 900848513 629841920 153098 33554432000 4194304 5714214 140733858487872 18446744073709551615 4319414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 153770 153098 180 372 0 153395 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 615080
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14739
/proc/meminfo: memFree=28677796/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=645308 CPUtime=1122.34 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 160715 0 0 0 111401 833 0 0 25 0 1 0 900848513 660795392 160664 33554432000 4194304 5714214 140733858487872 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 161327 160664 180 372 0 160952 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 645308
[startup+1182.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/444 14740
/proc/meminfo: memFree=28617852/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=675020 CPUtime=1182.34 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 168133 0 0 0 117366 868 0 0 25 0 1 0 900848513 691220480 168082 33554432000 4194304 5714214 140733858487872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 168755 168082 180 372 0 168380 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 675020
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/444 14742
/proc/meminfo: memFree=28557776/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=705128 CPUtime=1242.33 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 175652 0 0 0 123329 904 0 0 25 0 1 0 900848513 722051072 175601 33554432000 4194304 5714214 140733858487872 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 176282 175601 180 372 0 175907 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 705128
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14743
/proc/meminfo: memFree=28497108/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=737876 CPUtime=1302.35 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 183829 0 0 0 129293 942 0 0 25 0 1 0 900848513 755585024 183778 33554432000 4194304 5714214 140733858487872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 184469 183778 180 372 0 184094 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 737876
[startup+1362.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/444 14745
/proc/meminfo: memFree=28436772/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=768752 CPUtime=1362.34 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 191539 0 0 0 135253 981 0 0 25 0 1 0 900848513 787202048 191488 33554432000 4194304 5714214 140733858487872 18446744073709551615 4323084 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 192188 191488 180 372 0 191813 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 768752
[startup+1422.32 s]
/proc/loadavg: 2.11 2.04 2.01 3/444 14747
/proc/meminfo: memFree=28375452/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=801176 CPUtime=1422.35 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 199596 0 0 0 141218 1017 0 0 25 0 1 0 900848513 820404224 199545 33554432000 4194304 5714214 140733858487872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 200294 199545 180 372 0 199919 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 801176
[startup+1482.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/444 14748
/proc/meminfo: memFree=28321852/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=829772 CPUtime=1482.34 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 206756 0 0 0 147180 1054 0 0 25 0 1 0 900848513 849686528 206705 33554432000 4194304 5714214 140733858487872 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 207443 206705 180 372 0 207068 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 829772
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/444 14750
/proc/meminfo: memFree=28263880/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=859904 CPUtime=1542.35 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 214255 0 0 0 153144 1091 0 0 25 0 1 0 900848513 880541696 214204 33554432000 4194304 5714214 140733858487872 18446744073709551615 4319324 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 214976 214204 180 372 0 214601 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 859904
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 14751
/proc/meminfo: memFree=28207168/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=887828 CPUtime=1602.35 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 221248 0 0 0 159107 1128 0 0 25 0 1 0 900848513 909135872 221197 33554432000 4194304 5714214 140733858487872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 221957 221197 180 372 0 221582 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 887828
[startup+1662.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/444 14753
/proc/meminfo: memFree=28149072/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=917000 CPUtime=1662.35 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 228553 0 0 0 165074 1161 0 0 25 0 1 0 900848513 939008000 228502 33554432000 4194304 5714214 140733858487872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 229250 228502 180 372 0 228875 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 917000
[startup+1722.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/444 14754
/proc/meminfo: memFree=28091976/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=945320 CPUtime=1722.35 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 235622 0 0 0 171040 1195 0 0 25 0 1 0 900848513 968007680 235571 33554432000 4194304 5714214 140733858487872 18446744073709551615 4319349 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 236330 235571 180 372 0 235955 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 945320
[startup+1782.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/444 14756
/proc/meminfo: memFree=28034140/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=974064 CPUtime=1782.36 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 242797 0 0 0 177007 1229 0 0 25 0 1 0 900848513 997441536 242746 33554432000 4194304 5714214 140733858487872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 243516 242746 180 372 0 243141 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 974064
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.03 2.03 2.00 3/444 14757
/proc/meminfo: memFree=28017388/32950928 swapFree=52246700/67111528
[pid=14680] ppid=14678 vsize=984264 CPUtime=1800.06 cores=1,3,5,7
/proc/14680/stat : 14680 (wbo1.6) R 14678 14680 13866 0 -1 4202496 245320 0 0 0 178767 1239 0 0 25 0 1 0 900848513 1007886336 245269 33554432000 4194304 5714214 140733858487872 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14680/statm: 246066 245269 180 372 0 245691 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 984264
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.13
CPU user time (s): 1787.68
CPU system time (s): 12.4421
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 984264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.68
system time used= 12.4421
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245320
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= 5
involuntary context switches= 3721
runsolver used 8.06777 second user time and 18.1182 second system time
The end