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-3482462-1307576357/watcher-3482462-1307576357 -o /tmp/evaluation-result-3482462-1307576357/solver-3482462-1307576357 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482462-1307576357.opb -seed 1387670869 -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: 0.64 0.14 0.05 3/530 2625
/proc/meminfo: memFree=17369748/32951132 swapFree=45426552/67111528
[pid=2625] ppid=2618 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/2625/stat : 2625 (runsolver) S 2618 2625 2587 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 1 0 869236267 12079104 51 33554432000 4194304 5432328 140735481598976 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071699870519 0 0 17 7 0 0 0
/proc/2625/statm: 2949 51 31 303 0 2643 0
[startup+0.031272 s]
/proc/loadavg: 0.64 0.14 0.05 3/530 2625
/proc/meminfo: memFree=17369748/32951132 swapFree=45426552/67111528
[pid=2625] ppid=2618 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/2625/stat : 2625 (runsolver) R 2618 2625 2587 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 1 0 869236267 12079104 54 33554432000 4194304 5432328 140735481598976 18446744073709551615 5055479 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/2625/statm: 2949 54 34 303 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11796
[startup+0.100259 s]
/proc/loadavg: 0.64 0.14 0.05 3/530 2625
/proc/meminfo: memFree=17369748/32951132 swapFree=45426552/67111528
[pid=2625] ppid=2618 vsize=11796 CPUtime=0.02 cores=1,3,5,7
/proc/2625/stat : 2625 (runsolver) R 2618 2625 2587 0 -1 4202560 45 0 0 0 0 2 0 0 20 0 1 0 869236267 12079104 54 33554432000 4194304 5432328 140735481598976 18446744073709551615 5055479 0 2147483391 4096 24578 0 0 0 17 1 0 0 0
/proc/2625/statm: 2949 54 34 303 0 2643 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11796
[startup+0.300224 s]
/proc/loadavg: 0.64 0.14 0.05 3/530 2625
/proc/meminfo: memFree=17369748/32951132 swapFree=45426552/67111528
[pid=2625] ppid=2618 vsize=15080 CPUtime=0.04 cores=1,3,5,7
/proc/2625/stat : 2625 (python) S 2618 2625 2587 0 -1 4202496 649 0 0 0 0 4 0 0 16 0 1 0 869236267 15441920 545 33554432000 4194304 5683644 140735291667664 18446744073709551615 242970548224 0 2147483391 16781312 2 18446744071699109054 0 0 17 7 0 0 0
/proc/2625/statm: 3770 545 312 364 0 257 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15080
[startup+0.700118 s]
/proc/loadavg: 0.64 0.14 0.05 3/530 2625
/proc/meminfo: memFree=17369748/32951132 swapFree=45426552/67111528
[pid=2625] ppid=2618 vsize=15780 CPUtime=0.04 cores=1,3,5,7
/proc/2625/stat : 2625 (python) S 2618 2625 2587 0 -1 4202496 895 0 0 0 0 4 0 0 16 0 1 0 869236267 16158720 777 33554432000 4194304 5683644 140735291667664 18446744073709551615 242970548224 0 2147483391 16781312 2 18446744071699109054 0 0 17 7 0 0 0
/proc/2625/statm: 3945 777 343 364 0 432 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15780
[startup+1.50103 s]
/proc/loadavg: 0.64 0.14 0.05 1/531 2626
/proc/meminfo: memFree=17363912/32951132 swapFree=45426552/67111528
[pid=2625] ppid=2618 vsize=16400 CPUtime=0.09 cores=1,3,5,7
/proc/2625/stat : 2625 (python) S 2618 2625 2587 0 -1 4202496 1121 0 0 0 3 6 0 0 16 0 1 0 869236267 16793600 989 33554432000 4194304 5683644 140735291667664 18446744073709551615 242970548224 0 2147483391 16781312 2 18446744071699109054 0 0 17 7 0 0 0
/proc/2625/statm: 4100 989 413 364 0 587 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16400
[startup+3.1007 s]
/proc/loadavg: 0.64 0.14 0.05 2/531 2626
/proc/meminfo: memFree=17361484/32951132 swapFree=45426552/67111528
[pid=2625] ppid=2618 vsize=18892 CPUtime=0.22 cores=1,3,5,7
/proc/2625/stat : 2625 (python) S 2618 2625 2587 0 -1 4202496 1249 0 1 0 12 10 0 0 16 0 1 0 869236267 19345408 1105 33554432000 4194304 5683644 140735291667664 18446744073709551615 242970548224 0 2147483391 16781312 2 18446744071699109054 0 0 17 7 0 0 6
/proc/2625/statm: 4723 1105 421 364 0 692 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 18892
heavy processes:
[startup+6.30022 s]
/proc/loadavg: 0.75 0.18 0.06 1/531 2626
/proc/meminfo: memFree=17358028/32951132 swapFree=45426552/67111528
[pid=2625] ppid=2618 vsize=29792 CPUtime=0.25 cores=1,3,5,7
/proc/2625/stat : 2625 (python) S 2618 2625 2587 0 -1 4202496 1442 0 5 0 14 11 0 0 16 0 1 0 869236267 30507008 1289 33554432000 4194304 5683644 140735291667664 18446744073709551615 242970548224 0 2147483391 16781312 2 18446744071699109054 0 0 17 7 0 0 19
/proc/2625/statm: 7448 1289 443 364 0 818 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 29792
heavy processes:
[startup+12.7011 s]
/proc/loadavg: 0.85 0.21 0.07 1/531 2626
/proc/meminfo: memFree=17348500/32951132 swapFree=45426552/67111528
[pid=2625] ppid=2618 vsize=85368 CPUtime=0.41 cores=1,3,5,7
/proc/2625/stat : 2625 (python) S 2618 2625 2587 0 -1 4202496 2585 0 10 0 17 24 0 0 15 0 1 0 869236267 87416832 2317 33554432000 4194304 5683644 140735291667664 18446744073709551615 242970548224 0 2147483391 16781312 2 18446744071699109054 0 0 17 7 0 0 95
/proc/2625/statm: 21342 2317 715 364 0 1559 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 85368
heavy processes:
[startup+25.5009 s]
/proc/loadavg: 2.06 0.50 0.17 4/537 2642
/proc/meminfo: memFree=17274536/32951132 swapFree=45426552/67111528
[pid=2625] ppid=2618 vsize=293120 CPUtime=1.22 cores=1,3,5,7
/proc/2625/stat : 2625 (python) S 2618 2625 2587 0 -1 4202496 9538 924 101 8 61 48 0 13 18 0 2 0 869236267 300154880 7148 33554432000 4194304 5683644 140735291667664 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 330
/proc/2625/statm: 73280 7148 1870 364 0 8167 0
[pid=2637] ppid=2625 vsize=282876 CPUtime=0 cores=1,3,5,7
/proc/2637/stat : 2637 (python) S 2625 2625 2587 0 -1 4202560 755 0 0 0 0 0 0 0 17 0 1 0 869238787 289665024 5626 33554432000 4194304 5683644 140735291667664 18446744073709551615 242970570255 0 0 16781312 33554946 4294934788 0 0 17 7 0 0 0
/proc/2637/statm: 70719 5626 352 364 0 5606 0
[pid=2641] ppid=2637 vsize=21028 CPUtime=0.11 cores=1,3,5,7
/proc/2641/stat : 2641 (scip-2.0.1.linu) R 2637 2641 2641 0 -1 4202496 3408 0 0 0 4 7 0 0 19 0 1 0 869238787 21532672 2790 33554432000 4194304 13684479 140737311044192 18446744073709551615 4724009 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/2641/statm: 5257 2790 602 2317 0 2935 0
[pid=2625/tid=2639] ppid=2618 vsize=293120 CPUtime=0.13 cores=1,3,5,7
/proc/2625/task/2639/stat : 2639 (python) S 2618 2625 2587 0 -1 4202560 25 924 0 8 0 0 0 13 18 0 2 0 869238787 300154880 7148 33554432000 4194304 5683644 140735291667664 18446744073709551615 242982373809 0 0 16781312 33554434 18446604454887134528 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 597024
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+31.6008 s]
/proc/loadavg: 2.30 0.58 0.19 3/537 2642
/proc/meminfo: memFree=17220528/32951132 swapFree=45426552/67111528
[pid=2625] ppid=2618 vsize=293120 CPUtime=1.22 cores=1,3,5,7
/proc/2625/stat : 2625 (python) S 2618 2625 2587 0 -1 4202496 9538 924 101 8 61 48 0 13 18 0 2 0 869236267 300154880 7148 33554432000 4194304 5683644 140735291667664 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 330
/proc/2625/statm: 73280 7148 1870 364 0 8167 0
[pid=2637] ppid=2625 vsize=282876 CPUtime=0.02 cores=1,3,5,7
/proc/2637/stat : 2637 (python) S 2625 2625 2587 0 -1 4202560 988 0 0 0 1 1 0 0 15 0 1 0 869238787 289665024 5655 33554432000 4194304 5683644 140735291667664 18446744073709551615 242970570255 0 0 16781312 33554946 1282030626706292736 0 0 17 5 0 0 0
/proc/2637/statm: 70719 5655 381 364 0 5606 0
[pid=2641] ppid=2637 vsize=40544 CPUtime=6.12 cores=1,3,5,7
/proc/2641/stat : 2641 (scip-2.0.1.linu) R 2637 2641 2641 0 -1 4202496 9145 0 0 0 560 52 0 0 18 0 1 0 869238787 41517056 7741 33554432000 4194304 13684479 140737311044192 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/2641/statm: 10136 7741 817 2317 0 7814 0
[pid=2625/tid=2639] ppid=2618 vsize=293120 CPUtime=0.13 cores=1,3,5,7
/proc/2625/task/2639/stat : 2639 (python) S 2618 2625 2587 0 -1 4202560 25 924 0 8 0 0 0 13 18 0 2 0 869238787 300154880 7148 33554432000 4194304 5683644 140735291667664 18446744073709551615 242982373809 0 0 16781312 33554434 18446604454887134528 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.36
Current children cumulated vsize (KiB) 616540
[startup+34.8003 s]
/proc/loadavg: 2.30 0.58 0.19 3/537 2642
/proc/meminfo: memFree=17219224/32951132 swapFree=45426552/67111528
[pid=2625] ppid=2618 vsize=293120 CPUtime=1.22 cores=1,3,5,7
/proc/2625/stat : 2625 (python) S 2618 2625 2587 0 -1 4202496 9538 924 101 8 61 48 0 13 18 0 2 0 869236267 300154880 7148 33554432000 4194304 5683644 140735291667664 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 330
/proc/2625/statm: 73280 7148 1870 364 0 8167 0
[pid=2637] ppid=2625 vsize=282876 CPUtime=0.04 cores=1,3,5,7
/proc/2637/stat : 2637 (python) S 2625 2625 2587 0 -1 4202560 997 0 0 0 2 2 0 0 15 0 1 0 869238787 289665024 5655 33554432000 4194304 5683644 140735291667664 18446744073709551615 242970570255 0 0 16781312 33554946 1941124544035028992 0 0 17 5 0 0 0
/proc/2637/statm: 70719 5655 381 364 0 5606 0
[pid=2641] ppid=2637 vsize=40544 CPUtime=9.32 cores=1,3,5,7
/proc/2641/stat : 2641 (scip-2.0.1.linu) R 2637 2641 2641 0 -1 4202496 9145 0 0 0 842 90 0 0 18 0 1 0 869238787 41517056 7741 33554432000 4194304 13684479 140737311044192 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/2641/statm: 10136 7741 817 2317 0 7814 0
[pid=2625/tid=2639] ppid=2618 vsize=293120 CPUtime=0.13 cores=1,3,5,7
/proc/2625/task/2639/stat : 2639 (python) S 2618 2625 2587 0 -1 4202560 25 924 0 8 0 0 0 13 18 0 2 0 869238787 300154880 7148 33554432000 4194304 5683644 140735291667664 18446744073709551615 242982373809 0 0 16781312 33554434 18446604454887134528 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.58
Current children cumulated vsize (KiB) 616540
[startup+35.6201 s]
/proc/loadavg: 2.51 0.65 0.22 3/537 2642
/proc/meminfo: memFree=17218852/32951132 swapFree=45426552/67111528
[pid=2625] ppid=2618 vsize=293120 CPUtime=1.22 cores=1,3,5,7
/proc/2625/stat : 2625 (python) S 2618 2625 2587 0 -1 4202496 9538 924 101 8 61 48 0 13 18 0 2 0 869236267 300154880 7148 33554432000 4194304 5683644 140735291667664 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 330
/proc/2625/statm: 73280 7148 1870 364 0 8167 0
[pid=2637] ppid=2625 vsize=282876 CPUtime=0.05 cores=1,3,5,7
/proc/2637/stat : 2637 (python) S 2625 2625 2587 0 -1 4202560 998 0 0 0 3 2 0 0 15 0 1 0 869238787 289665024 5655 33554432000 4194304 5683644 140735291667664 18446744073709551615 242970570255 0 0 16781312 33554946 1210366666421043200 0 0 17 5 0 0 0
/proc/2637/statm: 70719 5655 381 364 0 5606 0
[pid=2641] ppid=2637 vsize=40544 CPUtime=10.14 cores=1,3,5,7
/proc/2641/stat : 2641 (scip-2.0.1.linu) R 2637 2641 2641 0 -1 4202496 9146 0 0 0 916 98 0 0 18 0 1 0 869238787 41517056 7742 33554432000 4194304 13684479 140737311044192 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/2641/statm: 10136 7742 818 2317 0 7814 0
[pid=2625/tid=2639] ppid=2618 vsize=293120 CPUtime=0.13 cores=1,3,5,7
/proc/2625/task/2639/stat : 2639 (python) S 2618 2625 2587 0 -1 4202560 25 924 0 8 0 0 0 13 18 0 2 0 869238787 300154880 7148 33554432000 4194304 5683644 140735291667664 18446744073709551615 242982373809 0 0 16781312 33554434 18446604454887134528 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.41
Current children cumulated vsize (KiB) 616540
[startup+36.401 s]
/proc/loadavg: 2.51 0.65 0.22 3/537 2642
/proc/meminfo: memFree=17218852/32951132 swapFree=45426552/67111528
[pid=2625] ppid=2618 vsize=293120 CPUtime=1.22 cores=1,3,5,7
/proc/2625/stat : 2625 (python) S 2618 2625 2587 0 -1 4202496 9538 924 101 8 61 48 0 13 18 0 2 0 869236267 300154880 7148 33554432000 4194304 5683644 140735291667664 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 330
/proc/2625/statm: 73280 7148 1870 364 0 8167 0
[pid=2637] ppid=2625 vsize=282876 CPUtime=0.06 cores=1,3,5,7
/proc/2637/stat : 2637 (python) R 2625 2625 2587 0 -1 4202560 1000 0 0 0 3 3 0 0 15 0 1 0 869238787 289665024 5655 33554432000 4194304 5683644 140735291667664 18446744073709551615 242970593415 0 0 16781312 33554946 0 0 0 17 5 0 0 0
/proc/2637/statm: 70719 5655 381 364 0 5606 0
[pid=2641] ppid=2637 vsize=40544 CPUtime=10.92 cores=1,3,5,7
/proc/2641/stat : 2641 (scip-2.0.1.linu) R 2637 2641 2641 0 -1 4202496 9146 0 0 0 985 107 0 0 18 0 1 0 869238787 41517056 7742 33554432000 4194304 13684479 140737311044192 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/2641/statm: 10136 7742 818 2317 0 7814 0
[pid=2625/tid=2639] ppid=2618 vsize=293120 CPUtime=0.13 cores=1,3,5,7
/proc/2625/task/2639/stat : 2639 (python) S 2618 2625 2587 0 -1 4202560 25 924 0 8 0 0 0 13 18 0 2 0 869238787 300154880 7148 33554432000 4194304 5683644 140735291667664 18446744073709551615 242982373809 0 0 16781312 33554434 18446604454887134528 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.2
Current children cumulated vsize (KiB) 616540
[startup+36.601 s]
/proc/loadavg: 2.51 0.65 0.22 3/537 2642
/proc/meminfo: memFree=17219844/32951132 swapFree=45426552/67111528
[pid=2625] ppid=2618 vsize=293120 CPUtime=1.22 cores=1,3,5,7
/proc/2625/stat : 2625 (python) S 2618 2625 2587 0 -1 4202496 9538 924 101 8 61 48 0 13 18 0 2 0 869236267 300154880 7148 33554432000 4194304 5683644 140735291667664 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 330
/proc/2625/statm: 73280 7148 1870 364 0 8167 0
[pid=2637] ppid=2625 vsize=282876 CPUtime=0.07 cores=1,3,5,7
/proc/2637/stat : 2637 (python) S 2625 2625 2587 0 -1 4202560 1000 0 0 0 4 3 0 0 15 0 1 0 869238787 289665024 5655 33554432000 4194304 5683644 140735291667664 18446744073709551615 242970570255 0 0 16781312 33554946 1136625711491055616 0 0 17 5 0 0 0
/proc/2637/statm: 70719 5655 381 364 0 5606 0
[pid=2641] ppid=2637 vsize=40544 CPUtime=11.13 cores=1,3,5,7
/proc/2641/stat : 2641 (scip-2.0.1.linu) R 2637 2641 2641 0 -1 4202496 9146 0 0 0 1003 110 0 0 18 0 1 0 869238787 41517056 7742 33554432000 4194304 13684479 140737311044192 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/2641/statm: 10136 7742 818 2317 0 7814 0
[pid=2625/tid=2639] ppid=2618 vsize=293120 CPUtime=0.13 cores=1,3,5,7
/proc/2625/task/2639/stat : 2639 (python) S 2618 2625 2587 0 -1 4202560 25 924 0 8 0 0 0 13 18 0 2 0 869238787 300154880 7148 33554432000 4194304 5683644 140735291667664 18446744073709551615 242982373809 0 0 16781312 33554434 18446604454887134528 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 616540
Child status: 0
Real time (s): 36.6525
CPU time (s): 12.5091
CPU user time (s): 10.7434
CPU system time (s): 1.76573
CPU usage (%): 34.1289
Max. virtual memory (cumulated for all children) (KiB): 616540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.7434
system time used= 1.76573
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25290
page faults= 109
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14795
involuntary context switches= 583
runsolver used 0.145977 second user time and 0.398939 second system time
The end