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-3482523-1307576427/watcher-3482523-1307576427 -o /tmp/evaluation-result-3482523-1307576427/solver-3482523-1307576427 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482523-1307576427.opb -seed 58639514 -budget 1800
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: 1.21 0.36 0.12 2/492 28866
/proc/meminfo: memFree=27254192/32951124 swapFree=63649284/67111528
[pid=28866] ppid=28864 vsize=16244 CPUtime=0 cores=0,2,4,6
/proc/28866/stat : 28866 (python) R 28864 28866 28679 0 -1 4202496 1016 0 0 0 0 0 0 0 17 0 1 0 869241315 16633856 888 33554432000 4194304 5683644 140735388268448 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/28866/statm: 4061 892 372 364 0 548 0
[startup+0.081457 s]
/proc/loadavg: 1.21 0.36 0.12 2/492 28866
/proc/meminfo: memFree=27254192/32951124 swapFree=63649284/67111528
[pid=28866] ppid=28864 vsize=84488 CPUtime=0.05 cores=0,2,4,6
/proc/28866/stat : 28866 (python) R 28864 28866 28679 0 -1 4202496 2273 0 0 0 4 1 0 0 17 0 1 0 869241315 86515712 2017 33554432000 4194304 5683644 140735388268448 18446744073709551615 210216474672 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/28866/statm: 21122 2017 633 364 0 1326 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84488
[startup+0.100457 s]
/proc/loadavg: 1.21 0.36 0.12 2/492 28866
/proc/meminfo: memFree=27254192/32951124 swapFree=63649284/67111528
[pid=28866] ppid=28864 vsize=94060 CPUtime=0.07 cores=0,2,4,6
/proc/28866/stat : 28866 (python) R 28864 28866 28679 0 -1 4202496 2944 467 1 0 5 2 0 0 18 0 1 0 869241315 96317440 2478 33554432000 4194304 5683644 140735388268448 18446744073709551615 5170258 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/28866/statm: 23515 2478 788 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 94060
[startup+0.300421 s]
/proc/loadavg: 1.21 0.36 0.12 2/492 28866
/proc/meminfo: memFree=27254192/32951124 swapFree=63649284/67111528
[pid=28866] ppid=28864 vsize=123740 CPUtime=0.19 cores=0,2,4,6
/proc/28866/stat : 28866 (python) R 28864 28866 28679 0 -1 4202496 5360 932 1 0 12 7 0 0 17 0 1 0 869241315 126709760 3746 33554432000 4194304 5683644 140735388268448 18446744073709551615 210204643333 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/28866/statm: 30935 3746 987 364 0 2767 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 123740
[startup+0.700378 s]
/proc/loadavg: 1.21 0.36 0.12 2/492 28866
/proc/meminfo: memFree=27254192/32951124 swapFree=63649284/67111528
[pid=28866] ppid=28864 vsize=293084 CPUtime=0.45 cores=0,2,4,6
/proc/28866/stat : 28866 (python) S 28864 28866 28679 0 -1 4202496 9631 932 1 0 33 12 0 0 18 0 2 0 869241315 300118016 7142 33554432000 4194304 5683644 140735388268448 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/28866/statm: 73271 7142 1870 364 0 8158 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 293084
[startup+1.50126 s]
/proc/loadavg: 1.21 0.36 0.12 5/496 28874
/proc/meminfo: memFree=27224028/32951124 swapFree=63649284/67111528
[pid=28866] ppid=28864 vsize=293084 CPUtime=0.45 cores=0,2,4,6
/proc/28866/stat : 28866 (python) S 28864 28866 28679 0 -1 4202496 9631 932 1 0 33 12 0 0 18 0 2 0 869241315 300118016 7142 33554432000 4194304 5683644 140735388268448 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/28866/statm: 73271 7142 1870 364 0 8158 0
[pid=28872] ppid=28866 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/28872/stat : 28872 (python) S 28866 28866 28679 0 -1 4202560 721 0 0 0 0 0 0 0 17 0 1 0 869241379 289628160 5620 33554432000 4194304 5683644 140735388268448 18446744073709551615 210204667407 0 0 16781312 33554946 9724918840004935937 0 0 17 6 0 0 0
/proc/28872/statm: 70710 5620 352 364 0 5597 0
[pid=28874] ppid=28872 vsize=7716 CPUtime=0.85 cores=0,2,4,6
/proc/28874/stat : 28874 (pbct-0.1.2-linu) R 28872 28874 28874 0 -1 4202496 1810 0 0 0 77 8 0 0 21 0 1 0 869241379 7901184 1553 33554432000 134512640 136422188 4292651456 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/28874/statm: 1929 1553 213 467 0 1460 0
[pid=28866/tid=28873] ppid=28864 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/28866/task/28873/stat : 28873 (python) S 28864 28866 28679 0 -1 4202560 26 932 0 0 0 0 0 0 18 0 2 0 869241379 300118016 7142 33554432000 4194304 5683644 140735388268448 18446744073709551615 210216470961 0 0 16781312 33554434 18446604446842622208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 583640
[startup+3.10099 s]
/proc/loadavg: 1.21 0.36 0.12 5/496 28874
/proc/meminfo: memFree=27222912/32951124 swapFree=63649284/67111528
[pid=28866] ppid=28864 vsize=293084 CPUtime=0.45 cores=0,2,4,6
/proc/28866/stat : 28866 (python) S 28864 28866 28679 0 -1 4202496 9631 932 1 0 33 12 0 0 18 0 2 0 869241315 300118016 7142 33554432000 4194304 5683644 140735388268448 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/28866/statm: 73271 7142 1870 364 0 8158 0
[pid=28872] ppid=28866 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/28872/stat : 28872 (python) S 28866 28866 28679 0 -1 4202560 724 0 0 0 0 0 0 0 15 0 1 0 869241379 289628160 5620 33554432000 4194304 5683644 140735388268448 18446744073709551615 210204667407 0 0 16781312 33554946 9724918840004935937 0 0 17 6 0 0 0
/proc/28872/statm: 70710 5620 352 364 0 5597 0
[pid=28874] ppid=28872 vsize=7972 CPUtime=2.44 cores=0,2,4,6
/proc/28874/stat : 28874 (pbct-0.1.2-linu) R 28872 28874 28874 0 -1 4202496 1874 0 0 0 223 21 0 0 25 0 1 0 869241379 8163328 1617 33554432000 134512640 136422188 4292651456 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/28874/statm: 1993 1617 213 467 0 1524 0
[pid=28866/tid=28873] ppid=28864 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/28866/task/28873/stat : 28873 (python) S 28864 28866 28679 0 -1 4202560 26 932 0 0 0 0 0 0 18 0 2 0 869241379 300118016 7142 33554432000 4194304 5683644 140735388268448 18446744073709551615 210216470961 0 0 16781312 33554434 18446604446842622208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 583896
[startup+6.30045 s]
/proc/loadavg: 1.43 0.42 0.14 4/496 28874
/proc/meminfo: memFree=27220504/32951124 swapFree=63649284/67111528
[pid=28866] ppid=28864 vsize=293084 CPUtime=0.45 cores=0,2,4,6
/proc/28866/stat : 28866 (python) S 28864 28866 28679 0 -1 4202496 9631 932 1 0 33 12 0 0 18 0 2 0 869241315 300118016 7142 33554432000 4194304 5683644 140735388268448 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/28866/statm: 73271 7142 1870 364 0 8158 0
[pid=28872] ppid=28866 vsize=282840 CPUtime=0.01 cores=0,2,4,6
/proc/28872/stat : 28872 (python) S 28866 28866 28679 0 -1 4202560 856 0 0 0 1 0 0 0 15 0 1 0 869241379 289628160 5644 33554432000 4194304 5683644 140735388268448 18446744073709551615 210204667407 0 0 16781312 33554946 9724913548605227265 0 0 17 6 0 0 0
/proc/28872/statm: 70710 5644 376 364 0 5597 0
[pid=28874] ppid=28872 vsize=7972 CPUtime=5.65 cores=0,2,4,6
/proc/28874/stat : 28874 (pbct-0.1.2-linu) R 28872 28874 28874 0 -1 4202496 1892 0 0 0 515 50 0 0 25 0 1 0 869241379 8163328 1635 33554432000 134512640 136422188 4292651456 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/28874/statm: 1993 1635 213 467 0 1524 0
[pid=28866/tid=28873] ppid=28864 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/28866/task/28873/stat : 28873 (python) S 28864 28866 28679 0 -1 4202560 26 932 0 0 0 0 0 0 18 0 2 0 869241379 300118016 7142 33554432000 4194304 5683644 140735388268448 18446744073709551615 210216470961 0 0 16781312 33554434 18446604446842622208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 583896
Solver just ended. Dumping a history of the last processes samples
[startup+7.10027 s]
/proc/loadavg: 1.43 0.42 0.14 5/496 28874
/proc/meminfo: memFree=27223508/32951124 swapFree=63649284/67111528
[pid=28866] ppid=28864 vsize=293084 CPUtime=0.45 cores=0,2,4,6
/proc/28866/stat : 28866 (python) S 28864 28866 28679 0 -1 4202496 9631 932 1 0 33 12 0 0 18 0 2 0 869241315 300118016 7142 33554432000 4194304 5683644 140735388268448 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/28866/statm: 73271 7142 1870 364 0 8158 0
[pid=28872] ppid=28866 vsize=282840 CPUtime=0.01 cores=0,2,4,6
/proc/28872/stat : 28872 (python) S 28866 28866 28679 0 -1 4202560 856 0 0 0 1 0 0 0 15 0 1 0 869241379 289628160 5644 33554432000 4194304 5683644 140735388268448 18446744073709551615 210204667407 0 0 16781312 33554946 9724913548605227265 0 0 17 6 0 0 0
/proc/28872/statm: 70710 5644 376 364 0 5597 0
[pid=28874] ppid=28872 vsize=7972 CPUtime=6.45 cores=0,2,4,6
/proc/28874/stat : 28874 (pbct-0.1.2-linu) R 28872 28874 28874 0 -1 4202496 1892 0 0 0 587 58 0 0 25 0 1 0 869241379 8163328 1635 33554432000 134512640 136422188 4292651456 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/28874/statm: 1993 1635 213 467 0 1524 0
[pid=28866/tid=28873] ppid=28864 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/28866/task/28873/stat : 28873 (python) S 28864 28866 28679 0 -1 4202560 26 932 0 0 0 0 0 0 18 0 2 0 869241379 300118016 7142 33554432000 4194304 5683644 140735388268448 18446744073709551615 210216470961 0 0 16781312 33554434 18446604446842622208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.91
Current children cumulated vsize (KiB) 583896
[startup+7.50123 s]
/proc/loadavg: 1.43 0.42 0.14 5/496 28874
/proc/meminfo: memFree=27223508/32951124 swapFree=63649284/67111528
[pid=28866] ppid=28864 vsize=293084 CPUtime=0.45 cores=0,2,4,6
/proc/28866/stat : 28866 (python) S 28864 28866 28679 0 -1 4202496 9631 932 1 0 33 12 0 0 18 0 2 0 869241315 300118016 7142 33554432000 4194304 5683644 140735388268448 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/28866/statm: 73271 7142 1870 364 0 8158 0
[pid=28872] ppid=28866 vsize=282840 CPUtime=0.01 cores=0,2,4,6
/proc/28872/stat : 28872 (python) S 28866 28866 28679 0 -1 4202560 856 0 0 0 1 0 0 0 15 0 1 0 869241379 289628160 5644 33554432000 4194304 5683644 140735388268448 18446744073709551615 210204667407 0 0 16781312 33554946 9724913548605227265 0 0 17 6 0 0 0
/proc/28872/statm: 70710 5644 376 364 0 5597 0
[pid=28874] ppid=28872 vsize=7972 CPUtime=6.84 cores=0,2,4,6
/proc/28874/stat : 28874 (pbct-0.1.2-linu) R 28872 28874 28874 0 -1 4202496 1892 0 0 0 623 61 0 0 25 0 1 0 869241379 8163328 1635 33554432000 134512640 136422188 4292651456 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/28874/statm: 1993 1635 213 467 0 1524 0
[pid=28866/tid=28873] ppid=28864 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/28866/task/28873/stat : 28873 (python) S 28864 28866 28679 0 -1 4202560 26 932 0 0 0 0 0 0 18 0 2 0 869241379 300118016 7142 33554432000 4194304 5683644 140735388268448 18446744073709551615 210216470961 0 0 16781312 33554434 18446604446842622208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.3
Current children cumulated vsize (KiB) 583896
[startup+7.7182 s]
/proc/loadavg: 1.43 0.42 0.14 5/496 28874
/proc/meminfo: memFree=27223892/32951124 swapFree=63649284/67111528
[pid=28866] ppid=28864 vsize=293084 CPUtime=0.45 cores=0,2,4,6
/proc/28866/stat : 28866 (python) S 28864 28866 28679 0 -1 4202496 9631 932 1 0 33 12 0 0 18 0 2 0 869241315 300118016 7142 33554432000 4194304 5683644 140735388268448 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/28866/statm: 73271 7142 1870 364 0 8158 0
[pid=28872] ppid=28866 vsize=282840 CPUtime=0.01 cores=0,2,4,6
/proc/28872/stat : 28872 (python) S 28866 28866 28679 0 -1 4202560 856 0 0 0 1 0 0 0 15 0 1 0 869241379 289628160 5644 33554432000 4194304 5683644 140735388268448 18446744073709551615 210204667407 0 0 16781312 33554946 9724913548605227265 0 0 17 6 0 0 0
/proc/28872/statm: 70710 5644 376 364 0 5597 0
[pid=28874] ppid=28872 vsize=7972 CPUtime=7.07 cores=0,2,4,6
/proc/28874/stat : 28874 (pbct-0.1.2-linu) R 28872 28874 28874 0 -1 4202496 1892 0 0 0 644 63 0 0 25 0 1 0 869241379 8163328 1635 33554432000 134512640 136422188 4292651456 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/28874/statm: 1993 1635 213 467 0 1524 0
[pid=28866/tid=28873] ppid=28864 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/28866/task/28873/stat : 28873 (python) S 28864 28866 28679 0 -1 4202560 26 932 0 0 0 0 0 0 18 0 2 0 869241379 300118016 7142 33554432000 4194304 5683644 140735388268448 18446744073709551615 210216470961 0 0 16781312 33554434 18446604446842622208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.53
Current children cumulated vsize (KiB) 583896
[startup+7.80719 s]
/proc/loadavg: 1.43 0.42 0.14 5/496 28874
/proc/meminfo: memFree=27223892/32951124 swapFree=63649284/67111528
[pid=28866] ppid=28864 vsize=293084 CPUtime=0.45 cores=0,2,4,6
/proc/28866/stat : 28866 (python) S 28864 28866 28679 0 -1 4202496 9631 932 1 0 33 12 0 0 18 0 2 0 869241315 300118016 7142 33554432000 4194304 5683644 140735388268448 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/28866/statm: 73271 7142 1870 364 0 8158 0
[pid=28872] ppid=28866 vsize=282840 CPUtime=0.02 cores=0,2,4,6
/proc/28872/stat : 28872 (python) R 28866 28866 28679 0 -1 4202560 863 0 0 0 1 1 0 0 15 0 1 0 869241379 289628160 5644 33554432000 4194304 5683644 140735388268448 18446744073709551615 210204690567 0 0 16781312 33554946 0 0 0 17 0 0 0 0
/proc/28872/statm: 70710 5644 376 364 0 5597 0
[pid=28874] ppid=28872 vsize=0 CPUtime=7.16 cores=0,2,4,6
/proc/28874/stat : 28874 (pbct-0.1.2-linu) Z 28872 28874 28874 0 -1 4202524 1918 0 0 0 652 64 0 0 25 0 1 0 869241379 0 0 33554432000 0 0 0 0 0 0 0 16781312 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/28874/statm: 0 0 0 0 0 0 0
[pid=28866/tid=28873] ppid=28864 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/28866/task/28873/stat : 28873 (python) S 28864 28866 28679 0 -1 4202560 26 932 0 0 0 0 0 0 18 0 2 0 869241379 300118016 7142 33554432000 4194304 5683644 140735388268448 18446744073709551615 210216470961 0 0 16781312 33554434 18446604446842622208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.63
Current children cumulated vsize (KiB) 575924
Child status: 0
Real time (s): 7.84273
CPU time (s): 7.69183
CPU user time (s): 6.89895
CPU system time (s): 0.792879
CPU usage (%): 98.0759
Max. virtual memory (cumulated for all children) (KiB): 583896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.89895
system time used= 0.792879
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18043
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1642
involuntary context switches= 32
runsolver used 0.047992 second user time and 0.089986 second system time
The end