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-3482539-1307576436/watcher-3482539-1307576436 -o /tmp/evaluation-result-3482539-1307576436/solver-3482539-1307576436 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482539-1307576436.opb -seed 1710174457 -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.43 0.42 0.14 2/492 28901
/proc/meminfo: memFree=27253732/32951124 swapFree=63649284/67111528
[pid=28901] ppid=28899 vsize=16244 CPUtime=0 cores=0,2,4,6
/proc/28901/stat : 28901 (python) R 28899 28901 28679 0 -1 4202496 1020 0 0 0 0 0 0 0 17 0 1 0 869242188 16633856 892 33554432000 4194304 5683644 140735835449472 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/28901/statm: 4061 893 372 364 0 548 0
[startup+0.117489 s]
/proc/loadavg: 1.43 0.42 0.14 2/492 28901
/proc/meminfo: memFree=27253732/32951124 swapFree=63649284/67111528
[pid=28901] ppid=28899 vsize=96124 CPUtime=0.07 cores=0,2,4,6
/proc/28901/stat : 28901 (python) R 28899 28901 28679 0 -1 4202496 3169 931 1 0 5 2 0 0 18 0 1 0 869242188 98430976 2483 33554432000 4194304 5683644 140735835449472 18446744073709551615 5168776 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/28901/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.200482 s]
/proc/loadavg: 1.43 0.42 0.14 2/492 28901
/proc/meminfo: memFree=27253732/32951124 swapFree=63649284/67111528
[pid=28901] ppid=28899 vsize=123740 CPUtime=0.13 cores=0,2,4,6
/proc/28901/stat : 28901 (python) S 28899 28901 28679 0 -1 4202496 5316 931 1 0 10 3 0 0 17 0 1 0 869242188 126709760 3713 33554432000 4194304 5683644 140735835449472 18446744073709551615 210204645376 0 2147483391 16781312 2 18446744071699207358 0 0 17 0 0 0 0
/proc/28901/statm: 30935 3713 986 364 0 2767 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 123740
[startup+0.300468 s]
/proc/loadavg: 1.43 0.42 0.14 2/492 28901
/proc/meminfo: memFree=27253732/32951124 swapFree=63649284/67111528
[pid=28901] ppid=28899 vsize=168308 CPUtime=0.21 cores=0,2,4,6
/proc/28901/stat : 28901 (python) R 28899 28901 28679 0 -1 4202496 5976 931 1 0 15 6 0 0 17 0 1 0 869242188 172347392 4292 33554432000 4194304 5683644 140735835449472 18446744073709551615 210204306913 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/28901/statm: 42077 4292 1200 364 0 3294 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 168308
[startup+0.700429 s]
/proc/loadavg: 1.43 0.42 0.14 2/492 28901
/proc/meminfo: memFree=27253732/32951124 swapFree=63649284/67111528
[pid=28901] ppid=28899 vsize=293084 CPUtime=0.45 cores=0,2,4,6
/proc/28901/stat : 28901 (python) S 28899 28901 28679 0 -1 4202496 9631 931 1 0 35 10 0 0 19 0 2 0 869242188 300118016 7141 33554432000 4194304 5683644 140735835449472 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/28901/statm: 73271 7141 1870 364 0 8158 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 293084
[startup+1.50029 s]
/proc/loadavg: 1.56 0.46 0.16 3/496 28909
/proc/meminfo: memFree=27223308/32951124 swapFree=63649284/67111528
[pid=28901] ppid=28899 vsize=293084 CPUtime=0.45 cores=0,2,4,6
/proc/28901/stat : 28901 (python) S 28899 28901 28679 0 -1 4202496 9631 931 1 0 35 10 0 0 19 0 2 0 869242188 300118016 7141 33554432000 4194304 5683644 140735835449472 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/28901/statm: 73271 7141 1870 364 0 8158 0
[pid=28907] ppid=28901 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/28907/stat : 28907 (python) S 28901 28901 28679 0 -1 4202560 725 0 0 0 0 0 0 0 17 0 1 0 869242245 289628160 5619 33554432000 4194304 5683644 140735835449472 18446744073709551615 210204667407 0 0 16781312 33554946 878101498116931841 0 0 17 6 0 0 0
/proc/28907/statm: 70710 5619 352 364 0 5597 0
[pid=28909] ppid=28907 vsize=7692 CPUtime=0.92 cores=0,2,4,6
/proc/28909/stat : 28909 (pbct-0.1.2-linu) R 28907 28909 28909 0 -1 4202496 1816 0 0 0 85 7 0 0 21 0 1 0 869242246 7876608 1561 33554432000 134512640 136422188 4291220656 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/28909/statm: 1923 1561 213 467 0 1454 0
[pid=28901/tid=28908] ppid=28899 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/28901/task/28908/stat : 28908 (python) S 28899 28901 28679 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 2 0 869242246 300118016 7141 33554432000 4194304 5683644 140735835449472 18446744073709551615 210216470961 0 0 16781312 33554434 18446604446842622208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 583616
[startup+3.101 s]
/proc/loadavg: 1.56 0.46 0.16 3/496 28909
/proc/meminfo: memFree=27222068/32951124 swapFree=63649284/67111528
[pid=28901] ppid=28899 vsize=293084 CPUtime=0.45 cores=0,2,4,6
/proc/28901/stat : 28901 (python) S 28899 28901 28679 0 -1 4202496 9631 931 1 0 35 10 0 0 19 0 2 0 869242188 300118016 7141 33554432000 4194304 5683644 140735835449472 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/28901/statm: 73271 7141 1870 364 0 8158 0
[pid=28907] ppid=28901 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/28907/stat : 28907 (python) S 28901 28901 28679 0 -1 4202560 729 0 0 0 0 0 0 0 15 0 1 0 869242245 289628160 5619 33554432000 4194304 5683644 140735835449472 18446744073709551615 210204667407 0 0 16781312 33554946 878101498116931841 0 0 17 6 0 0 0
/proc/28907/statm: 70710 5619 352 364 0 5597 0
[pid=28909] ppid=28907 vsize=7952 CPUtime=2.52 cores=0,2,4,6
/proc/28909/stat : 28909 (pbct-0.1.2-linu) R 28907 28909 28909 0 -1 4202496 1860 0 0 0 232 20 0 0 25 0 1 0 869242246 8142848 1605 33554432000 134512640 136422188 4291220656 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/28909/statm: 1988 1605 213 467 0 1519 0
[pid=28901/tid=28908] ppid=28899 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/28901/task/28908/stat : 28908 (python) S 28899 28901 28679 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 2 0 869242246 300118016 7141 33554432000 4194304 5683644 140735835449472 18446744073709551615 210216470961 0 0 16781312 33554434 18446604446842622208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 583876
Solver just ended. Dumping a history of the last processes samples
[startup+3.20098 s]
/proc/loadavg: 1.56 0.46 0.16 3/496 28909
/proc/meminfo: memFree=27222068/32951124 swapFree=63649284/67111528
[pid=28901] ppid=28899 vsize=293084 CPUtime=0.45 cores=0,2,4,6
/proc/28901/stat : 28901 (python) S 28899 28901 28679 0 -1 4202496 9631 931 1 0 35 10 0 0 19 0 2 0 869242188 300118016 7141 33554432000 4194304 5683644 140735835449472 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/28901/statm: 73271 7141 1870 364 0 8158 0
[pid=28907] ppid=28901 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/28907/stat : 28907 (python) S 28901 28901 28679 0 -1 4202560 729 0 0 0 0 0 0 0 15 0 1 0 869242245 289628160 5619 33554432000 4194304 5683644 140735835449472 18446744073709551615 210204667407 0 0 16781312 33554946 878101498116931841 0 0 17 6 0 0 0
/proc/28907/statm: 70710 5619 352 364 0 5597 0
[pid=28909] ppid=28907 vsize=7952 CPUtime=2.62 cores=0,2,4,6
/proc/28909/stat : 28909 (pbct-0.1.2-linu) R 28907 28909 28909 0 -1 4202496 1860 0 0 0 242 20 0 0 25 0 1 0 869242246 8142848 1605 33554432000 134512640 136422188 4291220656 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/28909/statm: 1988 1605 213 467 0 1519 0
[pid=28901/tid=28908] ppid=28899 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/28901/task/28908/stat : 28908 (python) S 28899 28901 28679 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 2 0 869242246 300118016 7141 33554432000 4194304 5683644 140735835449472 18446744073709551615 210216470961 0 0 16781312 33554434 18446604446842622208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 583876
[startup+4.8007 s]
/proc/loadavg: 1.56 0.46 0.16 3/496 28909
/proc/meminfo: memFree=27223068/32951124 swapFree=63649284/67111528
[pid=28901] ppid=28899 vsize=293084 CPUtime=0.45 cores=0,2,4,6
/proc/28901/stat : 28901 (python) S 28899 28901 28679 0 -1 4202496 9631 931 1 0 35 10 0 0 19 0 2 0 869242188 300118016 7141 33554432000 4194304 5683644 140735835449472 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/28901/statm: 73271 7141 1870 364 0 8158 0
[pid=28907] ppid=28901 vsize=282840 CPUtime=0.01 cores=0,2,4,6
/proc/28907/stat : 28907 (python) S 28901 28901 28679 0 -1 4202560 871 0 0 0 1 0 0 0 15 0 1 0 869242245 289628160 5643 33554432000 4194304 5683644 140735835449472 18446744073709551615 210204667407 0 0 16781312 33554946 6040683798868230401 0 0 17 6 0 0 0
/proc/28907/statm: 70710 5643 376 364 0 5597 0
[pid=28909] ppid=28907 vsize=7952 CPUtime=4.22 cores=0,2,4,6
/proc/28909/stat : 28909 (pbct-0.1.2-linu) R 28907 28909 28909 0 -1 4202496 1866 0 0 0 390 32 0 0 25 0 1 0 869242246 8142848 1611 33554432000 134512640 136422188 4291220656 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/28909/statm: 1988 1611 213 467 0 1519 0
[pid=28901/tid=28908] ppid=28899 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/28901/task/28908/stat : 28908 (python) S 28899 28901 28679 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 2 0 869242246 300118016 7141 33554432000 4194304 5683644 140735835449472 18446744073709551615 210216470961 0 0 16781312 33554434 18446604446842622208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.68
Current children cumulated vsize (KiB) 583876
[startup+5.61757 s]
/proc/loadavg: 1.56 0.46 0.16 3/496 28909
/proc/meminfo: memFree=27222952/32951124 swapFree=63649284/67111528
[pid=28901] ppid=28899 vsize=293084 CPUtime=0.45 cores=0,2,4,6
/proc/28901/stat : 28901 (python) S 28899 28901 28679 0 -1 4202496 9631 931 1 0 35 10 0 0 19 0 2 0 869242188 300118016 7141 33554432000 4194304 5683644 140735835449472 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/28901/statm: 73271 7141 1870 364 0 8158 0
[pid=28907] ppid=28901 vsize=282840 CPUtime=0.01 cores=0,2,4,6
/proc/28907/stat : 28907 (python) S 28901 28901 28679 0 -1 4202560 871 0 0 0 1 0 0 0 15 0 1 0 869242245 289628160 5643 33554432000 4194304 5683644 140735835449472 18446744073709551615 210204667407 0 0 16781312 33554946 6040683798868230401 0 0 17 6 0 0 0
/proc/28907/statm: 70710 5643 376 364 0 5597 0
[pid=28909] ppid=28907 vsize=7952 CPUtime=5.04 cores=0,2,4,6
/proc/28909/stat : 28909 (pbct-0.1.2-linu) R 28907 28909 28909 0 -1 4202496 1873 0 0 0 465 39 0 0 25 0 1 0 869242246 8142848 1618 33554432000 134512640 136422188 4291220656 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/28909/statm: 1988 1618 213 467 0 1519 0
[pid=28901/tid=28908] ppid=28899 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/28901/task/28908/stat : 28908 (python) S 28899 28901 28679 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 2 0 869242246 300118016 7141 33554432000 4194304 5683644 140735835449472 18446744073709551615 210216470961 0 0 16781312 33554434 18446604446842622208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.5
Current children cumulated vsize (KiB) 583876
[startup+6.00053 s]
/proc/loadavg: 1.56 0.46 0.16 3/496 28909
/proc/meminfo: memFree=27222952/32951124 swapFree=63649284/67111528
[pid=28901] ppid=28899 vsize=293084 CPUtime=0.45 cores=0,2,4,6
/proc/28901/stat : 28901 (python) S 28899 28901 28679 0 -1 4202496 9631 931 1 0 35 10 0 0 19 0 2 0 869242188 300118016 7141 33554432000 4194304 5683644 140735835449472 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/28901/statm: 73271 7141 1870 364 0 8158 0
[pid=28907] ppid=28901 vsize=282840 CPUtime=0.01 cores=0,2,4,6
/proc/28907/stat : 28907 (python) S 28901 28901 28679 0 -1 4202560 871 0 0 0 1 0 0 0 15 0 1 0 869242245 289628160 5643 33554432000 4194304 5683644 140735835449472 18446744073709551615 210204667407 0 0 16781312 33554946 6040683798868230401 0 0 17 6 0 0 0
/proc/28907/statm: 70710 5643 376 364 0 5597 0
[pid=28909] ppid=28907 vsize=7952 CPUtime=5.42 cores=0,2,4,6
/proc/28909/stat : 28909 (pbct-0.1.2-linu) R 28907 28909 28909 0 -1 4202496 1874 0 0 0 500 42 0 0 25 0 1 0 869242246 8142848 1619 33554432000 134512640 136422188 4291220656 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/28909/statm: 1988 1619 213 467 0 1519 0
[pid=28901/tid=28908] ppid=28899 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/28901/task/28908/stat : 28908 (python) S 28899 28901 28679 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 2 0 869242246 300118016 7141 33554432000 4194304 5683644 140735835449472 18446744073709551615 210216470961 0 0 16781312 33554434 18446604446842622208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 583876
[startup+6.10045 s]
/proc/loadavg: 1.56 0.46 0.16 3/496 28909
/proc/meminfo: memFree=27222952/32951124 swapFree=63649284/67111528
[pid=28901] ppid=28899 vsize=293060 CPUtime=5.99 cores=0,2,4,6
/proc/28901/stat : 28901 (python) R 28899 28901 28679 0 -1 4202496 11789 4000 1 0 35 10 509 45 18 0 1 0 869242188 300093440 7139 33554432000 4194304 5683644 140735835449472 18446744073709551615 5114052 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/28901/statm: 73265 7139 1868 364 0 8158 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 293060
Child status: 0
Real time (s): 6.11841
CPU time (s): 6.02908
CPU user time (s): 5.46617
CPU system time (s): 0.562914
CPU usage (%): 98.54
Max. virtual memory (cumulated for all children) (KiB): 583876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.46617
system time used= 0.562914
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18031
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= 1016
involuntary context switches= 24
runsolver used 0.031995 second user time and 0.071989 second system time
The end