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-3482508-1307576420/watcher-3482508-1307576420 -o /tmp/evaluation-result-3482508-1307576420/solver-3482508-1307576420 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482508-1307576420.opb -seed 209666398 -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.94 0.27 0.09 2/578 4574
/proc/meminfo: memFree=23777464/32951124 swapFree=58940260/67111528
[pid=4574] ppid=4572 vsize=15752 CPUtime=0 cores=1,3,5,7
/proc/4574/stat : 4574 (python) S 4572 4574 4282 0 -1 4202496 839 0 0 0 0 0 0 0 25 0 1 0 869239752 16130048 723 33554432000 4194304 5683644 140736235847824 18446744073709551615 212687673344 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/4574/statm: 3938 723 334 364 0 425 0
[startup+0.037499 s]
/proc/loadavg: 0.94 0.27 0.09 2/578 4574
/proc/meminfo: memFree=23777464/32951124 swapFree=58940260/67111528
[pid=4574] ppid=4572 vsize=18884 CPUtime=0.02 cores=1,3,5,7
/proc/4574/stat : 4574 (python) R 4572 4574 4282 0 -1 4202496 1286 0 0 0 2 0 0 0 25 0 1 0 869239752 19337216 1139 33554432000 4194304 5683644 140736235847824 18446744073709551615 4865528 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/4574/statm: 4721 1139 421 364 0 690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18884
[startup+0.105476 s]
/proc/loadavg: 0.94 0.27 0.09 2/578 4574
/proc/meminfo: memFree=23777464/32951124 swapFree=58940260/67111528
[pid=4574] ppid=4572 vsize=96124 CPUtime=0.08 cores=1,3,5,7
/proc/4574/stat : 4574 (python) R 4572 4574 4282 0 -1 4202496 3168 929 1 0 6 2 0 0 18 0 1 0 869239752 98430976 2483 33554432000 4194304 5683644 140736235847824 18446744073709551615 5170248 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/4574/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.30143 s]
/proc/loadavg: 0.94 0.27 0.09 2/578 4574
/proc/meminfo: memFree=23777464/32951124 swapFree=58940260/67111528
[pid=4574] ppid=4572 vsize=193288 CPUtime=0.24 cores=1,3,5,7
/proc/4574/stat : 4574 (python) S 4572 4574 4282 0 -1 4202496 6574 929 1 0 17 7 0 0 18 0 1 0 869239752 197926912 4865 33554432000 4194304 5683644 140736235847824 18446744073709551615 212687673344 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/4574/statm: 48322 4865 1417 364 0 3675 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 193288
[startup+0.70032 s]
/proc/loadavg: 0.94 0.27 0.09 2/578 4574
/proc/meminfo: memFree=23777464/32951124 swapFree=58940260/67111528
[pid=4574] ppid=4572 vsize=293084 CPUtime=0.42 cores=1,3,5,7
/proc/4574/stat : 4574 (python) S 4572 4574 4282 0 -1 4202496 9629 929 1 0 32 10 0 0 20 0 2 0 869239752 300118016 7141 33554432000 4194304 5683644 140736235847824 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4574/statm: 73271 7141 1870 364 0 8158 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 293084
[startup+1.50118 s]
/proc/loadavg: 1.18 0.33 0.11 3/582 4582
/proc/meminfo: memFree=23747288/32951124 swapFree=58940260/67111528
[pid=4574] ppid=4572 vsize=293084 CPUtime=0.42 cores=1,3,5,7
/proc/4574/stat : 4574 (python) S 4572 4574 4282 0 -1 4202496 9629 929 1 0 32 10 0 0 20 0 2 0 869239752 300118016 7141 33554432000 4194304 5683644 140736235847824 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4574/statm: 73271 7141 1870 364 0 8158 0
[pid=4580] ppid=4574 vsize=282840 CPUtime=0 cores=1,3,5,7
/proc/4580/stat : 4580 (python) S 4574 4574 4282 0 -1 4202560 730 0 0 0 0 0 0 0 20 0 1 0 869239804 289628160 5619 33554432000 4194304 5683644 140736235847824 18446744073709551615 212687695375 0 0 16781312 33554946 11755296596906967301 0 0 17 1 0 0 0
/proc/4580/statm: 70710 5619 352 364 0 5597 0
[pid=4582] ppid=4580 vsize=7820 CPUtime=0.97 cores=1,3,5,7
/proc/4582/stat : 4582 (pbct-0.1.2-linu) R 4580 4582 4582 0 -1 4202496 1824 0 0 0 73 24 0 0 25 0 1 0 869239804 8007680 1567 33554432000 134512640 136422188 4286822160 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 3 0 0 0
/proc/4582/statm: 1955 1567 213 467 0 1486 0
[pid=4574/tid=4581] ppid=4572 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/4574/task/4581/stat : 4581 (python) S 4572 4574 4282 0 -1 4202560 24 929 0 0 0 0 0 0 20 0 2 0 869239804 300118016 7141 33554432000 4194304 5683644 140736235847824 18446744073709551615 212699498929 0 0 16781312 33554434 18446604460503588992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 583744
[startup+3.10088 s]
/proc/loadavg: 1.18 0.33 0.11 5/582 4582
/proc/meminfo: memFree=23745428/32951124 swapFree=58940260/67111528
[pid=4574] ppid=4572 vsize=293084 CPUtime=0.42 cores=1,3,5,7
/proc/4574/stat : 4574 (python) S 4572 4574 4282 0 -1 4202496 9629 929 1 0 32 10 0 0 20 0 2 0 869239752 300118016 7141 33554432000 4194304 5683644 140736235847824 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4574/statm: 73271 7141 1870 364 0 8158 0
[pid=4580] ppid=4574 vsize=282840 CPUtime=0 cores=1,3,5,7
/proc/4580/stat : 4580 (python) S 4574 4574 4282 0 -1 4202560 731 0 0 0 0 0 0 0 18 0 1 0 869239804 289628160 5619 33554432000 4194304 5683644 140736235847824 18446744073709551615 212687695375 0 0 16781312 33554946 11755296596906967301 0 0 17 1 0 0 0
/proc/4580/statm: 70710 5619 352 364 0 5597 0
[pid=4582] ppid=4580 vsize=7948 CPUtime=2.57 cores=1,3,5,7
/proc/4582/stat : 4582 (pbct-0.1.2-linu) R 4580 4582 4582 0 -1 4202496 1879 0 0 0 196 61 0 0 25 0 1 0 869239804 8138752 1622 33554432000 134512640 136422188 4286822160 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 3 0 0 0
/proc/4582/statm: 1987 1622 213 467 0 1518 0
[pid=4574/tid=4581] ppid=4572 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/4574/task/4581/stat : 4581 (python) S 4572 4574 4282 0 -1 4202560 24 929 0 0 0 0 0 0 20 0 2 0 869239804 300118016 7141 33554432000 4194304 5683644 140736235847824 18446744073709551615 212699498929 0 0 16781312 33554434 18446604460503588992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 583872
[startup+6.3223 s]
/proc/loadavg: 1.41 0.39 0.13 3/582 4582
/proc/meminfo: memFree=23748080/32951124 swapFree=58940260/67111528
[pid=4574] ppid=4572 vsize=293084 CPUtime=0.42 cores=1,3,5,7
/proc/4574/stat : 4574 (python) S 4572 4574 4282 0 -1 4202496 9629 929 1 0 32 10 0 0 20 0 2 0 869239752 300118016 7141 33554432000 4194304 5683644 140736235847824 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4574/statm: 73271 7141 1870 364 0 8158 0
[pid=4580] ppid=4574 vsize=282840 CPUtime=0.02 cores=1,3,5,7
/proc/4580/stat : 4580 (python) S 4574 4574 4282 0 -1 4202560 876 0 0 0 1 1 0 0 18 0 1 0 869239804 289628160 5643 33554432000 4194304 5683644 140736235847824 18446744073709551615 212687695375 0 0 16781312 33554946 11755299620563943685 0 0 17 1 0 0 0
/proc/4580/statm: 70710 5643 376 364 0 5597 0
[pid=4582] ppid=4580 vsize=8076 CPUtime=5.8 cores=1,3,5,7
/proc/4582/stat : 4582 (pbct-0.1.2-linu) R 4580 4582 4582 0 -1 4202496 1891 0 0 0 461 119 0 0 25 0 1 0 869239804 8269824 1634 33554432000 134512640 136422188 4286822160 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 3 0 0 0
/proc/4582/statm: 2019 1634 213 467 0 1550 0
[pid=4574/tid=4581] ppid=4572 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/4574/task/4581/stat : 4581 (python) S 4572 4574 4282 0 -1 4202560 24 929 0 0 0 0 0 0 20 0 2 0 869239804 300118016 7141 33554432000 4194304 5683644 140736235847824 18446744073709551615 212699498929 0 0 16781312 33554434 18446604460503588992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 584000
Solver just ended. Dumping a history of the last processes samples
[startup+7.10115 s]
/proc/loadavg: 1.41 0.39 0.13 3/582 4582
/proc/meminfo: memFree=23748080/32951124 swapFree=58940260/67111528
[pid=4574] ppid=4572 vsize=293084 CPUtime=0.42 cores=1,3,5,7
/proc/4574/stat : 4574 (python) S 4572 4574 4282 0 -1 4202496 9629 929 1 0 32 10 0 0 20 0 2 0 869239752 300118016 7141 33554432000 4194304 5683644 140736235847824 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4574/statm: 73271 7141 1870 364 0 8158 0
[pid=4580] ppid=4574 vsize=282840 CPUtime=0.02 cores=1,3,5,7
/proc/4580/stat : 4580 (python) S 4574 4574 4282 0 -1 4202560 876 0 0 0 1 1 0 0 18 0 1 0 869239804 289628160 5643 33554432000 4194304 5683644 140736235847824 18446744073709551615 212687695375 0 0 16781312 33554946 11755299620563943685 0 0 17 1 0 0 0
/proc/4580/statm: 70710 5643 376 364 0 5597 0
[pid=4582] ppid=4580 vsize=8076 CPUtime=6.57 cores=1,3,5,7
/proc/4582/stat : 4582 (pbct-0.1.2-linu) R 4580 4582 4582 0 -1 4202496 1893 0 0 0 526 131 0 0 25 0 1 0 869239804 8269824 1636 33554432000 134512640 136422188 4286822160 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 3 0 0 0
/proc/4582/statm: 2019 1636 213 467 0 1550 0
[pid=4574/tid=4581] ppid=4572 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/4574/task/4581/stat : 4581 (python) S 4572 4574 4282 0 -1 4202560 24 929 0 0 0 0 0 0 20 0 2 0 869239804 300118016 7141 33554432000 4194304 5683644 140736235847824 18446744073709551615 212699498929 0 0 16781312 33554434 18446604460503588992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.01
Current children cumulated vsize (KiB) 584000
[startup+7.50109 s]
/proc/loadavg: 1.41 0.39 0.13 3/582 4582
/proc/meminfo: memFree=23748452/32951124 swapFree=58940260/67111528
[pid=4574] ppid=4572 vsize=293084 CPUtime=0.42 cores=1,3,5,7
/proc/4574/stat : 4574 (python) S 4572 4574 4282 0 -1 4202496 9629 929 1 0 32 10 0 0 20 0 2 0 869239752 300118016 7141 33554432000 4194304 5683644 140736235847824 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4574/statm: 73271 7141 1870 364 0 8158 0
[pid=4580] ppid=4574 vsize=282840 CPUtime=0.02 cores=1,3,5,7
/proc/4580/stat : 4580 (python) S 4574 4574 4282 0 -1 4202560 876 0 0 0 1 1 0 0 18 0 1 0 869239804 289628160 5643 33554432000 4194304 5683644 140736235847824 18446744073709551615 212687695375 0 0 16781312 33554946 11755299620563943685 0 0 17 1 0 0 0
/proc/4580/statm: 70710 5643 376 364 0 5597 0
[pid=4582] ppid=4580 vsize=8076 CPUtime=6.97 cores=1,3,5,7
/proc/4582/stat : 4582 (pbct-0.1.2-linu) R 4580 4582 4582 0 -1 4202496 1893 0 0 0 559 138 0 0 25 0 1 0 869239804 8269824 1636 33554432000 134512640 136422188 4286822160 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 3 0 0 0
/proc/4582/statm: 2019 1636 213 467 0 1550 0
[pid=4574/tid=4581] ppid=4572 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/4574/task/4581/stat : 4581 (python) S 4572 4574 4282 0 -1 4202560 24 929 0 0 0 0 0 0 20 0 2 0 869239804 300118016 7141 33554432000 4194304 5683644 140736235847824 18446744073709551615 212699498929 0 0 16781312 33554434 18446604460503588992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 584000
[startup+7.60107 s]
/proc/loadavg: 1.41 0.39 0.13 3/582 4582
/proc/meminfo: memFree=23748452/32951124 swapFree=58940260/67111528
[pid=4574] ppid=4572 vsize=293084 CPUtime=0.42 cores=1,3,5,7
/proc/4574/stat : 4574 (python) S 4572 4574 4282 0 -1 4202496 9629 929 1 0 32 10 0 0 20 0 2 0 869239752 300118016 7141 33554432000 4194304 5683644 140736235847824 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4574/statm: 73271 7141 1870 364 0 8158 0
[pid=4580] ppid=4574 vsize=282840 CPUtime=0.04 cores=1,3,5,7
/proc/4580/stat : 4580 (python) S 4574 4574 4282 0 -1 4202560 882 0 0 0 2 2 0 0 17 0 1 0 869239804 289628160 5643 33554432000 4194304 5683644 140736235847824 18446744073709551615 212687695375 0 0 16781312 33554946 11755296596906967301 0 0 17 7 0 0 0
/proc/4580/statm: 70710 5643 376 364 0 5597 0
[pid=4582] ppid=4580 vsize=7296 CPUtime=7.07 cores=1,3,5,7
/proc/4582/stat : 4582 (pbct-0.1.2-linu) R 4580 4582 4582 0 -1 4202496 1918 0 0 0 568 139 0 0 25 0 1 0 869239804 7471104 1521 33554432000 134512640 136422188 4286822160 18446744073709551615 135801490 0 0 16781312 16387 0 0 0 17 3 0 0 0
/proc/4582/statm: 1824 1521 237 467 0 1355 0
[pid=4574/tid=4581] ppid=4572 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/4574/task/4581/stat : 4581 (python) S 4572 4574 4282 0 -1 4202560 24 929 0 0 0 0 0 0 20 0 2 0 869239804 300118016 7141 33554432000 4194304 5683644 140736235847824 18446744073709551615 212699498929 0 0 16781312 33554434 18446604460503588992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.53
Current children cumulated vsize (KiB) 583220
Child status: 0
Real time (s): 7.62392
CPU time (s): 7.58985
CPU user time (s): 6.05308
CPU system time (s): 1.53677
CPU usage (%): 99.5531
Max. virtual memory (cumulated for all children) (KiB): 584000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.05308
system time used= 1.53677
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18052
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= 1023
involuntary context switches= 102
runsolver used 0.031995 second user time and 0.117982 second system time
The end