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-3482006-1307576689/watcher-3482006-1307576689 -o /tmp/evaluation-result-3482006-1307576689/solver-3482006-1307576689 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482006-1307576689.opb -seed 965477168 -budget 1800
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.91 1.30 0.57 2/449 11239
/proc/meminfo: memFree=29090932/32950904 swapFree=56615552/67111528
[pid=11239] ppid=11237 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/11239/stat : 11239 (python) R 11237 11239 11000 0 -1 4202496 916 0 0 0 0 0 0 0 18 0 1 0 869268702 16154624 796 33554432000 4194304 5683644 140735728647664 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/11239/statm: 3943 795 346 364 0 430 0
[startup+0.0446621 s]
/proc/loadavg: 1.91 1.30 0.57 2/449 11239
/proc/meminfo: memFree=29090932/32950904 swapFree=56615552/67111528
[pid=11239] ppid=11237 vsize=29784 CPUtime=0.02 cores=1,3,5,7
/proc/11239/stat : 11239 (python) R 11237 11239 11000 0 -1 4202496 1389 0 0 0 2 0 0 0 17 0 1 0 869268702 30498816 1232 33554432000 4194304 5683644 140735728647664 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/11239/statm: 7446 1234 443 364 0 816 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 29784
[startup+0.100592 s]
/proc/loadavg: 1.91 1.30 0.57 2/449 11239
/proc/meminfo: memFree=29090932/32950904 swapFree=56615552/67111528
[pid=11239] ppid=11237 vsize=96124 CPUtime=0.06 cores=1,3,5,7
/proc/11239/stat : 11239 (python) R 11237 11239 11000 0 -1 4202496 3169 929 1 0 5 1 0 0 18 0 1 0 869268702 98430976 2483 33554432000 4194304 5683644 140735728647664 18446744073709551615 5158141 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/11239/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96124
[startup+0.300558 s]
/proc/loadavg: 1.91 1.30 0.57 2/449 11239
/proc/meminfo: memFree=29090932/32950904 swapFree=56615552/67111528
[pid=11239] ppid=11237 vsize=200780 CPUtime=0.23 cores=1,3,5,7
/proc/11239/stat : 11239 (python) R 11237 11239 11000 0 -1 4202496 6648 929 1 0 17 6 0 0 18 0 1 0 869268702 205598720 4936 33554432000 4194304 5683644 140735728647664 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/11239/statm: 50194 4935 1465 364 0 3676 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 200780
[startup+0.700483 s]
/proc/loadavg: 1.91 1.30 0.57 2/449 11239
/proc/meminfo: memFree=29090932/32950904 swapFree=56615552/67111528
[pid=11239] ppid=11237 vsize=293260 CPUtime=0.42 cores=1,3,5,7
/proc/11239/stat : 11239 (python) S 11237 11239 11000 0 -1 4202496 9665 929 1 0 32 10 0 0 20 0 2 0 869268702 300298240 7165 33554432000 4194304 5683644 140735728647664 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/11239/statm: 73315 7165 1870 364 0 8202 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 293260
[startup+1.50034 s]
/proc/loadavg: 1.91 1.30 0.57 3/471 11265
/proc/meminfo: memFree=28991288/32950904 swapFree=56615552/67111528
[pid=11239] ppid=11237 vsize=293260 CPUtime=0.42 cores=1,3,5,7
/proc/11239/stat : 11239 (python) S 11237 11239 11000 0 -1 4202496 9665 929 1 0 32 10 0 0 20 0 2 0 869268702 300298240 7165 33554432000 4194304 5683644 140735728647664 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/11239/statm: 73315 7165 1870 364 0 8202 0
[pid=11263] ppid=11239 vsize=283016 CPUtime=0 cores=1,3,5,7
/proc/11263/stat : 11263 (python) S 11239 11239 11000 0 -1 4202560 757 0 0 0 0 0 0 0 16 0 1 0 869268754 289808384 5643 33554432000 4194304 5683644 140735728647664 18446744073709551615 237278899727 0 0 16781312 33554946 3723702612311146496 0 0 17 1 0 0 0
/proc/11263/statm: 70754 5643 352 364 0 5641 0
[pid=11265] ppid=11263 vsize=26708 CPUtime=0.96 cores=1,3,5,7
/proc/11265/stat : 11265 (scip-2.0.1.linu) R 11263 11265 11265 0 -1 4202496 5006 0 0 0 93 3 0 0 23 0 1 0 869268754 27348992 4377 33554432000 4194304 13684479 140734916603904 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/11265/statm: 6677 4377 753 2317 0 4355 0
[pid=11239/tid=11264] ppid=11237 vsize=293260 CPUtime=0 cores=1,3,5,7
/proc/11239/task/11264/stat : 11264 (python) S 11237 11239 11000 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 2 0 869268754 300298240 7165 33554432000 4194304 5683644 140735728647664 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468344308096 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 602984
[startup+3.10106 s]
/proc/loadavg: 1.91 1.30 0.57 3/471 11265
/proc/meminfo: memFree=28991288/32950904 swapFree=56615552/67111528
[pid=11239] ppid=11237 vsize=293260 CPUtime=0.42 cores=1,3,5,7
/proc/11239/stat : 11239 (python) S 11237 11239 11000 0 -1 4202496 9665 929 1 0 32 10 0 0 20 0 2 0 869268702 300298240 7165 33554432000 4194304 5683644 140735728647664 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/11239/statm: 73315 7165 1870 364 0 8202 0
[pid=11263] ppid=11239 vsize=283016 CPUtime=0 cores=1,3,5,7
/proc/11263/stat : 11263 (python) S 11239 11239 11000 0 -1 4202560 760 0 0 0 0 0 0 0 15 0 1 0 869268754 289808384 5643 33554432000 4194304 5683644 140735728647664 18446744073709551615 237278899727 0 0 16781312 33554946 436341975461920768 0 0 17 1 0 0 0
/proc/11263/statm: 70754 5643 352 364 0 5641 0
[pid=11265] ppid=11263 vsize=58004 CPUtime=2.56 cores=1,3,5,7
/proc/11265/stat : 11265 (scip-2.0.1.linu) R 11263 11265 11265 0 -1 4202496 12861 0 0 0 249 7 0 0 25 0 1 0 869268754 59396096 12222 33554432000 4194304 13684479 140734916603904 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/11265/statm: 14501 12222 795 2317 0 12179 0
[pid=11239/tid=11264] ppid=11237 vsize=293260 CPUtime=0 cores=1,3,5,7
/proc/11239/task/11264/stat : 11264 (python) S 11237 11239 11000 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 2 0 869268754 300298240 7165 33554432000 4194304 5683644 140735728647664 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468344308096 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 634280
[startup+6.30055 s]
/proc/loadavg: 2.15 1.36 0.60 3/471 11265
/proc/meminfo: memFree=28922924/32950904 swapFree=56615552/67111528
[pid=11239] ppid=11237 vsize=293260 CPUtime=0.42 cores=1,3,5,7
/proc/11239/stat : 11239 (python) S 11237 11239 11000 0 -1 4202496 9665 929 1 0 32 10 0 0 20 0 2 0 869268702 300298240 7165 33554432000 4194304 5683644 140735728647664 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/11239/statm: 73315 7165 1870 364 0 8202 0
[pid=11263] ppid=11239 vsize=283016 CPUtime=0.01 cores=1,3,5,7
/proc/11263/stat : 11263 (python) S 11239 11239 11000 0 -1 4202560 896 0 0 0 1 0 0 0 15 0 1 0 869268754 289808384 5666 33554432000 4194304 5683644 140735728647664 18446744073709551615 237278899727 0 0 16781312 33554946 15070335974401605893 0 0 17 7 0 0 0
/proc/11263/statm: 70754 5666 375 364 0 5641 0
[pid=11265] ppid=11263 vsize=76060 CPUtime=5.77 cores=1,3,5,7
/proc/11265/stat : 11265 (scip-2.0.1.linu) R 11263 11265 11265 0 -1 4202496 18203 0 0 0 563 14 0 0 25 0 1 0 869268754 77885440 16807 33554432000 4194304 13684479 140734916603904 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/11265/statm: 19015 16807 795 2317 0 16693 0
[pid=11239/tid=11264] ppid=11237 vsize=293260 CPUtime=0 cores=1,3,5,7
/proc/11239/task/11264/stat : 11264 (python) S 11237 11239 11000 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 2 0 869268754 300298240 7165 33554432000 4194304 5683644 140735728647664 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468344308096 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 652336
[startup+12.7003 s]
/proc/loadavg: 2.14 1.37 0.60 3/471 11265
/proc/meminfo: memFree=28916000/32950904 swapFree=56615552/67111528
[pid=11239] ppid=11237 vsize=293260 CPUtime=0.42 cores=1,3,5,7
/proc/11239/stat : 11239 (python) S 11237 11239 11000 0 -1 4202496 9665 929 1 0 32 10 0 0 20 0 2 0 869268702 300298240 7165 33554432000 4194304 5683644 140735728647664 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/11239/statm: 73315 7165 1870 364 0 8202 0
[pid=11263] ppid=11239 vsize=283016 CPUtime=0.04 cores=1,3,5,7
/proc/11263/stat : 11263 (python) S 11239 11239 11000 0 -1 4202560 907 0 0 0 2 2 0 0 15 0 1 0 869268754 289808384 5667 33554432000 4194304 5683644 140735728647664 18446744073709551615 237278899727 0 0 16781312 33554946 5623606151888251785 0 0 17 5 0 0 0
/proc/11263/statm: 70754 5667 376 364 0 5641 0
[pid=11265] ppid=11263 vsize=76060 CPUtime=12.16 cores=1,3,5,7
/proc/11265/stat : 11265 (scip-2.0.1.linu) R 11263 11265 11265 0 -1 4202496 18205 0 0 0 1181 35 0 0 25 0 1 0 869268754 77885440 16809 33554432000 4194304 13684479 140734916603904 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/11265/statm: 19015 16809 797 2317 0 16693 0
[pid=11239/tid=11264] ppid=11237 vsize=293260 CPUtime=0 cores=1,3,5,7
/proc/11239/task/11264/stat : 11264 (python) S 11237 11239 11000 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 2 0 869268754 300298240 7165 33554432000 4194304 5683644 140735728647664 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468344308096 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 652336
[startup+25.5011 s]
/proc/loadavg: 2.11 1.40 0.62 3/445 11343
/proc/meminfo: memFree=29027268/32950904 swapFree=56615552/67111528
[pid=11239] ppid=11237 vsize=293260 CPUtime=0.42 cores=1,3,5,7
/proc/11239/stat : 11239 (python) S 11237 11239 11000 0 -1 4202496 9665 929 1 0 32 10 0 0 20 0 2 0 869268702 300298240 7165 33554432000 4194304 5683644 140735728647664 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/11239/statm: 73315 7165 1870 364 0 8202 0
[pid=11263] ppid=11239 vsize=283016 CPUtime=0.07 cores=1,3,5,7
/proc/11263/stat : 11263 (python) S 11239 11239 11000 0 -1 4202560 911 0 0 0 3 4 0 0 15 0 1 0 869268754 289808384 5667 33554432000 4194304 5683644 140735728647664 18446744073709551615 237278899727 0 0 16781312 33554946 5623311482772007817 0 0 17 1 0 0 0
/proc/11263/statm: 70754 5667 376 364 0 5641 0
[pid=11265] ppid=11263 vsize=76060 CPUtime=24.97 cores=1,3,5,7
/proc/11265/stat : 11265 (scip-2.0.1.linu) R 11263 11265 11265 0 -1 4202496 18205 0 0 0 2415 82 0 0 25 0 1 0 869268754 77885440 16809 33554432000 4194304 13684479 140734916603904 18446744073709551615 7430431 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/11265/statm: 19015 16809 797 2317 0 16693 0
[pid=11239/tid=11264] ppid=11237 vsize=293260 CPUtime=0 cores=1,3,5,7
/proc/11239/task/11264/stat : 11264 (python) S 11237 11239 11000 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 2 0 869268754 300298240 7165 33554432000 4194304 5683644 140735728647664 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468344308096 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 652336
[startup+51.1005 s]
/proc/loadavg: 2.13 1.46 0.66 3/453 11356
/proc/meminfo: memFree=28843692/32950904 swapFree=56615552/67111528
[pid=11239] ppid=11237 vsize=293260 CPUtime=0.42 cores=1,3,5,7
/proc/11239/stat : 11239 (python) S 11237 11239 11000 0 -1 4202496 9665 929 1 0 32 10 0 0 20 0 2 0 869268702 300298240 7165 33554432000 4194304 5683644 140735728647664 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/11239/statm: 73315 7165 1870 364 0 8202 0
[pid=11263] ppid=11239 vsize=283016 CPUtime=0.16 cores=1,3,5,7
/proc/11263/stat : 11263 (python) S 11239 11239 11000 0 -1 4202560 922 0 0 0 7 9 0 0 15 0 1 0 869268754 289808384 5667 33554432000 4194304 5683644 140735728647664 18446744073709551615 237278899727 0 0 16781312 33554946 4294934790 0 0 17 1 0 0 0
/proc/11263/statm: 70754 5667 376 364 0 5641 0
[pid=11265] ppid=11263 vsize=76060 CPUtime=50.57 cores=1,3,5,7
/proc/11265/stat : 11265 (scip-2.0.1.linu) R 11263 11265 11265 0 -1 4202496 18209 0 0 0 4871 186 0 0 25 0 1 0 869268754 77885440 16813 33554432000 4194304 13684479 140734916603904 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/11265/statm: 19015 16813 799 2317 0 16693 0
[pid=11239/tid=11264] ppid=11237 vsize=293260 CPUtime=0 cores=1,3,5,7
/proc/11239/task/11264/stat : 11264 (python) S 11237 11239 11000 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 2 0 869268754 300298240 7165 33554432000 4194304 5683644 140735728647664 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468344308096 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51.15
Current children cumulated vsize (KiB) 652336
Solver just ended. Dumping a history of the last processes samples
[startup+51.5004 s]
/proc/loadavg: 2.13 1.46 0.66 3/453 11356
/proc/meminfo: memFree=28843692/32950904 swapFree=56615552/67111528
[pid=11239] ppid=11237 vsize=303988 CPUtime=0.44 cores=1,3,5,7
/proc/11239/stat : 11239 (python) S 11237 11239 11000 0 -1 4202496 10492 929 1 0 34 10 0 0 20 0 3 0 869268702 311283712 7295 33554432000 4194304 5683644 140735728647664 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/11239/statm: 75997 7295 1873 364 0 10881 0
[pid=11263] ppid=11239 vsize=293260 CPUtime=0.18 cores=1,3,5,7
/proc/11263/stat : 11263 (python) S 11239 11239 11000 0 -1 4202560 1084 0 0 0 8 10 0 0 16 0 2 0 869268754 300298240 5703 33554432000 4194304 5683644 140735728647664 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/11263/statm: 73315 5703 407 364 0 8202 0
[pid=11265] ppid=11263 vsize=76060 CPUtime=50.77 cores=1,3,5,7
/proc/11265/stat : 11265 (scip-2.0.1.linu) T 11263 11265 11265 0 -1 4202496 18209 0 0 0 4890 187 0 0 25 0 1 0 869268754 77885440 16813 33554432000 4194304 13684479 140734916603904 18446744073709551615 7390471 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/11265/statm: 19015 16813 799 2317 0 16693 0
[pid=11239/tid=11264] ppid=11237 vsize=303988 CPUtime=0 cores=1,3,5,7
/proc/11239/task/11264/stat : 11264 (python) S 11237 11239 11000 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 3 0 869268754 311283712 7295 33554432000 4194304 5683644 140735728647664 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468344308096 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51.39
Current children cumulated vsize (KiB) 673308
[startup+51.6004 s]
/proc/loadavg: 2.13 1.46 0.66 3/453 11356
/proc/meminfo: memFree=28843692/32950904 swapFree=56615552/67111528
[pid=11239] ppid=11237 vsize=303988 CPUtime=0.44 cores=1,3,5,7
/proc/11239/stat : 11239 (python) S 11237 11239 11000 0 -1 4202496 10492 929 1 0 34 10 0 0 20 0 3 0 869268702 311283712 7295 33554432000 4194304 5683644 140735728647664 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/11239/statm: 75997 7295 1873 364 0 10881 0
[pid=11263] ppid=11239 vsize=293260 CPUtime=0.18 cores=1,3,5,7
/proc/11263/stat : 11263 (python) S 11239 11239 11000 0 -1 4202560 1084 0 0 0 8 10 0 0 16 0 2 0 869268754 300298240 5703 33554432000 4194304 5683644 140735728647664 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/11263/statm: 73315 5703 407 364 0 8202 0
[pid=11265] ppid=11263 vsize=76060 CPUtime=50.77 cores=1,3,5,7
/proc/11265/stat : 11265 (scip-2.0.1.linu) T 11263 11265 11265 0 -1 4202496 18209 0 0 0 4890 187 0 0 25 0 1 0 869268754 77885440 16813 33554432000 4194304 13684479 140734916603904 18446744073709551615 7390471 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/11265/statm: 19015 16813 799 2317 0 16693 0
[pid=11239/tid=11264] ppid=11237 vsize=303988 CPUtime=0 cores=1,3,5,7
/proc/11239/task/11264/stat : 11264 (python) S 11237 11239 11000 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 3 0 869268754 311283712 7295 33554432000 4194304 5683644 140735728647664 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468344308096 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51.39
Current children cumulated vsize (KiB) 673308
Child status: 0
Real time (s): 51.6877
CPU time (s): 52.0171
CPU user time (s): 49.8984
CPU system time (s): 2.11868
CPU usage (%): 100.637
Max. virtual memory (cumulated for all children) (KiB): 673308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.8984
system time used= 2.11868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44980
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1353
involuntary context switches= 734
runsolver used 0.215967 second user time and 0.448931 second system time
The end