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-3482521-1307576426/watcher-3482521-1307576426 -o /tmp/evaluation-result-3482521-1307576426/solver-3482521-1307576426 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482521-1307576426.opb -seed 127171270 -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.36 0.38 0.13 2/530 17800
/proc/meminfo: memFree=31579496/32951124 swapFree=49879164/67111528
[pid=17800] ppid=17798 vsize=16240 CPUtime=0 cores=0,2,4,6
/proc/17800/stat : 17800 (python) R 17798 17800 17508 0 -1 4202496 997 0 0 0 0 0 0 0 22 0 1 0 947873516 16629760 870 33554432000 4194304 5683644 140735852812208 18446744073709551615 216734839493 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/17800/statm: 4060 870 368 364 0 547 0
[startup+0.0317479 s]
/proc/loadavg: 1.36 0.38 0.13 2/530 17800
/proc/meminfo: memFree=31579496/32951124 swapFree=49879164/67111528
[pid=17800] ppid=17798 vsize=18888 CPUtime=0.01 cores=0,2,4,6
/proc/17800/stat : 17800 (python) R 17798 17800 17508 0 -1 4202496 1275 0 0 0 1 0 0 0 17 0 1 0 947873516 19341312 1128 33554432000 4194304 5683644 140735852812208 18446744073709551615 216734839493 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/17800/statm: 4722 1129 421 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18888
[startup+0.100745 s]
/proc/loadavg: 1.36 0.38 0.13 2/530 17800
/proc/meminfo: memFree=31579496/32951124 swapFree=49879164/67111528
[pid=17800] ppid=17798 vsize=85360 CPUtime=0.05 cores=0,2,4,6
/proc/17800/stat : 17800 (python) D 17798 17800 17508 0 -1 4202496 2585 0 0 0 4 1 0 0 17 0 1 0 947873516 87408640 2310 33554432000 4194304 5683644 140735852812208 18446744073709551615 216735184439 0 0 16781312 2 18446744071562154983 0 0 17 6 0 0 0
/proc/17800/statm: 21340 2310 709 364 0 1557 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85360
[startup+0.300667 s]
/proc/loadavg: 1.36 0.38 0.13 2/530 17800
/proc/meminfo: memFree=31579496/32951124 swapFree=49879164/67111528
[pid=17800] ppid=17798 vsize=98584 CPUtime=0.09 cores=0,2,4,6
/proc/17800/stat : 17800 (python) S 17798 17800 17508 0 -1 4202496 3671 929 1 0 7 2 0 0 18 0 1 0 947873516 100950016 2593 33554432000 4194304 5683644 140735852812208 18446744073709551615 216730254983 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 17
/proc/17800/statm: 24646 2593 795 364 0 1726 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 98584
[startup+0.705277 s]
/proc/loadavg: 1.36 0.38 0.13 2/530 17800
/proc/meminfo: memFree=31579496/32951124 swapFree=49879164/67111528
[pid=17800] ppid=17798 vsize=293084 CPUtime=0.4 cores=0,2,4,6
/proc/17800/stat : 17800 (python) S 17798 17800 17508 0 -1 4202496 9569 929 1 0 32 8 0 0 17 0 2 0 947873516 300118016 7133 33554432000 4194304 5683644 140735852812208 18446744073709551615 216747002289 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 17
/proc/17800/statm: 73271 7133 1865 364 0 8158 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 293084
[startup+1.50053 s]
/proc/loadavg: 1.36 0.38 0.13 3/534 17808
/proc/meminfo: memFree=31551372/32951124 swapFree=49879164/67111528
[pid=17800] ppid=17798 vsize=293084 CPUtime=0.4 cores=0,2,4,6
/proc/17800/stat : 17800 (python) S 17798 17800 17508 0 -1 4202496 9629 929 1 0 32 8 0 0 18 0 2 0 947873516 300118016 7141 33554432000 4194304 5683644 140735852812208 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 17
/proc/17800/statm: 73271 7141 1870 364 0 8158 0
[pid=17806] ppid=17800 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/17806/stat : 17806 (python) S 17800 17800 17508 0 -1 4202560 727 0 0 0 0 0 0 0 18 0 1 0 947873586 289628160 5619 33554432000 4194304 5683644 140735852812208 18446744073709551615 216735198735 0 0 16781312 33554946 4213271627846091010 0 0 17 6 0 0 0
/proc/17806/statm: 70710 5619 352 364 0 5597 0
[pid=17808] ppid=17806 vsize=7716 CPUtime=0.78 cores=0,2,4,6
/proc/17808/stat : 17808 (pbct-0.1.2-linu) R 17806 17808 17808 0 -1 4202496 1826 0 0 0 71 7 0 0 21 0 1 0 947873587 7901184 1571 33554432000 134512640 136422188 4292210720 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/17808/statm: 1929 1571 213 467 0 1460 0
[pid=17800/tid=17807] ppid=17798 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/17800/task/17807/stat : 17807 (python) S 17798 17800 17508 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 947873587 300118016 7141 33554432000 4194304 5683644 140735852812208 18446744073709551615 216747002289 0 0 16781312 33554434 18446604447617119488 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 583640
[startup+3.10121 s]
/proc/loadavg: 1.36 0.38 0.13 3/534 17808
/proc/meminfo: memFree=31549660/32951124 swapFree=49879164/67111528
[pid=17800] ppid=17798 vsize=293084 CPUtime=0.4 cores=0,2,4,6
/proc/17800/stat : 17800 (python) S 17798 17800 17508 0 -1 4202496 9629 929 1 0 32 8 0 0 18 0 2 0 947873516 300118016 7141 33554432000 4194304 5683644 140735852812208 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 17
/proc/17800/statm: 73271 7141 1870 364 0 8158 0
[pid=17806] ppid=17800 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/17806/stat : 17806 (python) S 17800 17800 17508 0 -1 4202560 731 0 0 0 0 0 0 0 18 0 1 0 947873586 289628160 5619 33554432000 4194304 5683644 140735852812208 18446744073709551615 216735198735 0 0 16781312 33554946 4213271627846091010 0 0 17 6 0 0 0
/proc/17806/statm: 70710 5619 352 364 0 5597 0
[pid=17808] ppid=17806 vsize=7976 CPUtime=2.38 cores=0,2,4,6
/proc/17808/stat : 17808 (pbct-0.1.2-linu) R 17806 17808 17808 0 -1 4202496 1860 0 0 0 217 21 0 0 25 0 1 0 947873587 8167424 1605 33554432000 134512640 136422188 4292210720 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/17808/statm: 1994 1605 213 467 0 1525 0
[pid=17800/tid=17807] ppid=17798 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/17800/task/17807/stat : 17807 (python) S 17798 17800 17508 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 947873587 300118016 7141 33554432000 4194304 5683644 140735852812208 18446744073709551615 216747002289 0 0 16781312 33554434 18446604447617119488 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 583900
[startup+6.30068 s]
/proc/loadavg: 1.41 0.41 0.14 2/527 17810
/proc/meminfo: memFree=31583412/32951124 swapFree=49879164/67111528
[pid=17800] ppid=17798 vsize=293084 CPUtime=0.4 cores=0,2,4,6
/proc/17800/stat : 17800 (python) S 17798 17800 17508 0 -1 4202496 9629 929 1 0 32 8 0 0 18 0 2 0 947873516 300118016 7141 33554432000 4194304 5683644 140735852812208 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 17
/proc/17800/statm: 73271 7141 1870 364 0 8158 0
[pid=17806] ppid=17800 vsize=282840 CPUtime=0.01 cores=0,2,4,6
/proc/17806/stat : 17806 (python) S 17800 17800 17508 0 -1 4202560 873 0 0 0 1 0 0 0 18 0 1 0 947873586 289628160 5643 33554432000 4194304 5683644 140735852812208 18446744073709551615 216735198735 0 0 16781312 33554946 4213269360103358722 0 0 17 6 0 0 0
/proc/17806/statm: 70710 5643 376 364 0 5597 0
[pid=17808] ppid=17806 vsize=8104 CPUtime=5.58 cores=0,2,4,6
/proc/17808/stat : 17808 (pbct-0.1.2-linu) R 17806 17808 17808 0 -1 4202496 1900 0 0 0 511 47 0 0 25 0 1 0 947873587 8298496 1645 33554432000 134512640 136422188 4292210720 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/17808/statm: 2026 1645 213 467 0 1557 0
[pid=17800/tid=17807] ppid=17798 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/17800/task/17807/stat : 17807 (python) S 17798 17800 17508 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 947873587 300118016 7141 33554432000 4194304 5683644 140735852812208 18446744073709551615 216747002289 0 0 16781312 33554434 18446604447617119488 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 584028
Solver just ended. Dumping a history of the last processes samples
[startup+6.71956 s]
/proc/loadavg: 1.41 0.41 0.14 3/526 17831
/proc/meminfo: memFree=31581300/32951124 swapFree=49879164/67111528
[pid=17800] ppid=17798 vsize=293084 CPUtime=0.4 cores=0,2,4,6
/proc/17800/stat : 17800 (python) S 17798 17800 17508 0 -1 4202496 9629 929 1 0 32 8 0 0 18 0 2 0 947873516 300118016 7141 33554432000 4194304 5683644 140735852812208 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 17
/proc/17800/statm: 73271 7141 1870 364 0 8158 0
[pid=17806] ppid=17800 vsize=282840 CPUtime=0.01 cores=0,2,4,6
/proc/17806/stat : 17806 (python) S 17800 17800 17508 0 -1 4202560 873 0 0 0 1 0 0 0 18 0 1 0 947873586 289628160 5643 33554432000 4194304 5683644 140735852812208 18446744073709551615 216735198735 0 0 16781312 33554946 4213269360103358722 0 0 17 6 0 0 0
/proc/17806/statm: 70710 5643 376 364 0 5597 0
[pid=17808] ppid=17806 vsize=8104 CPUtime=6.01 cores=0,2,4,6
/proc/17808/stat : 17808 (pbct-0.1.2-linu) R 17806 17808 17808 0 -1 4202496 1900 0 0 0 550 51 0 0 25 0 1 0 947873587 8298496 1645 33554432000 134512640 136422188 4292210720 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/17808/statm: 2026 1645 213 467 0 1557 0
[pid=17800/tid=17807] ppid=17798 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/17800/task/17807/stat : 17807 (python) S 17798 17800 17508 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 947873587 300118016 7141 33554432000 4194304 5683644 140735852812208 18446744073709551615 216747002289 0 0 16781312 33554434 18446604447617119488 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.42
Current children cumulated vsize (KiB) 584028
[startup+6.90055 s]
/proc/loadavg: 1.41 0.41 0.14 3/526 17831
/proc/meminfo: memFree=31581300/32951124 swapFree=49879164/67111528
[pid=17800] ppid=17798 vsize=293084 CPUtime=0.4 cores=0,2,4,6
/proc/17800/stat : 17800 (python) S 17798 17800 17508 0 -1 4202496 9629 929 1 0 32 8 0 0 18 0 2 0 947873516 300118016 7141 33554432000 4194304 5683644 140735852812208 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 17
/proc/17800/statm: 73271 7141 1870 364 0 8158 0
[pid=17806] ppid=17800 vsize=282840 CPUtime=0.01 cores=0,2,4,6
/proc/17806/stat : 17806 (python) S 17800 17800 17508 0 -1 4202560 873 0 0 0 1 0 0 0 18 0 1 0 947873586 289628160 5643 33554432000 4194304 5683644 140735852812208 18446744073709551615 216735198735 0 0 16781312 33554946 4213269360103358722 0 0 17 6 0 0 0
/proc/17806/statm: 70710 5643 376 364 0 5597 0
[pid=17808] ppid=17806 vsize=8104 CPUtime=6.18 cores=0,2,4,6
/proc/17808/stat : 17808 (pbct-0.1.2-linu) R 17806 17808 17808 0 -1 4202496 1900 0 0 0 566 52 0 0 25 0 1 0 947873587 8298496 1645 33554432000 134512640 136422188 4292210720 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/17808/statm: 2026 1645 213 467 0 1557 0
[pid=17800/tid=17807] ppid=17798 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/17800/task/17807/stat : 17807 (python) S 17798 17800 17508 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 947873587 300118016 7141 33554432000 4194304 5683644 140735852812208 18446744073709551615 216747002289 0 0 16781312 33554434 18446604447617119488 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.59
Current children cumulated vsize (KiB) 584028
[startup+7.00052 s]
/proc/loadavg: 1.41 0.41 0.14 3/526 17831
/proc/meminfo: memFree=31581300/32951124 swapFree=49879164/67111528
[pid=17800] ppid=17798 vsize=293060 CPUtime=6.71 cores=0,2,4,6
/proc/17800/stat : 17800 (python) R 17798 17800 17508 0 -1 4202496 12807 4042 1 0 33 8 576 54 18 0 1 0 947873516 300093440 7140 33554432000 4194304 5683644 140735852812208 18446744073709551615 5296949 0 0 16781312 0 0 0 0 17 0 0 0 17
/proc/17800/statm: 73265 7140 1869 364 0 8158 0
Current children cumulated CPU time (s) 6.71
Current children cumulated vsize (KiB) 293060
Child status: 0
Real time (s): 7.01085
CPU time (s): 6.74097
CPU user time (s): 6.09807
CPU system time (s): 0.642902
CPU usage (%): 96.1506
Max. virtual memory (cumulated for all children) (KiB): 584028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.09807
system time used= 0.642902
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18079
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= 1021
involuntary context switches= 35
runsolver used 0.044993 second user time and 0.065989 second system time
The end