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-3482504-1307576418/watcher-3482504-1307576418 -o /tmp/evaluation-result-3482504-1307576418/solver-3482504-1307576418 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482504-1307576418.opb -seed 683913730 -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.16 0.31 0.10 3/522 17718
/proc/meminfo: memFree=31614020/32951124 swapFree=49879164/67111528
[pid=17718] ppid=17716 vsize=15908 CPUtime=0 cores=0,2,4,6
/proc/17718/stat : 17718 (python) R 17716 17718 17508 0 -1 4202496 961 0 0 0 0 0 0 0 17 0 1 0 947872503 16289792 835 33554432000 4194304 5683644 140735458151904 18446744073709551615 216735221895 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/17718/statm: 3977 837 357 364 0 464 0
[startup+0.0980441 s]
/proc/loadavg: 1.16 0.31 0.10 3/522 17718
/proc/meminfo: memFree=31614020/32951124 swapFree=49879164/67111528
[pid=17718] ppid=17716 vsize=85620 CPUtime=0.06 cores=0,2,4,6
/proc/17718/stat : 17718 (python) S 17716 17718 17508 0 -1 4202496 2665 0 0 0 4 2 0 0 17 0 1 0 947872503 87674880 2382 33554432000 4194304 5683644 140735458151904 18446744073709551615 216735176704 0 2147483391 16781312 2 18446744071699199166 0 0 17 0 0 0 0
/proc/17718/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620
[startup+0.101051 s]
/proc/loadavg: 1.16 0.31 0.10 3/522 17718
/proc/meminfo: memFree=31614020/32951124 swapFree=49879164/67111528
[pid=17718] ppid=17716 vsize=87828 CPUtime=0.06 cores=0,2,4,6
/proc/17718/stat : 17718 (python) R 17716 17718 17508 0 -1 4202496 2692 0 0 0 4 2 0 0 17 0 1 0 947872503 89935872 2407 33554432000 4194304 5683644 140735458151904 18446744073709551615 216735176704 0 2147483391 16781312 2 0 0 0 17 0 0 0 0
/proc/17718/statm: 21957 2407 735 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87828
[startup+0.301027 s]
/proc/loadavg: 1.16 0.31 0.10 3/522 17718
/proc/meminfo: memFree=31614020/32951124 swapFree=49879164/67111528
[pid=17718] ppid=17716 vsize=123884 CPUtime=0.19 cores=0,2,4,6
/proc/17718/stat : 17718 (python) D 17716 17718 17508 0 -1 4202496 5395 930 1 0 12 7 0 0 17 0 1 0 947872503 126857216 3764 33554432000 4194304 5683644 140735458151904 18446744073709551615 216735174661 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/17718/statm: 30971 3764 987 364 0 2803 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 123884
[startup+0.700946 s]
/proc/loadavg: 1.16 0.31 0.10 3/522 17718
/proc/meminfo: memFree=31614020/32951124 swapFree=49879164/67111528
[pid=17718] ppid=17716 vsize=293088 CPUtime=0.46 cores=0,2,4,6
/proc/17718/stat : 17718 (python) S 17716 17718 17508 0 -1 4202496 9633 930 1 0 34 12 0 0 18 0 2 0 947872503 300122112 7142 33554432000 4194304 5683644 140735458151904 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17718/statm: 73272 7142 1870 364 0 8159 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 293088
[startup+1.50081 s]
/proc/loadavg: 1.16 0.31 0.10 3/534 17738
/proc/meminfo: memFree=31553096/32951124 swapFree=49879164/67111528
[pid=17718] ppid=17716 vsize=293088 CPUtime=0.46 cores=0,2,4,6
/proc/17718/stat : 17718 (python) S 17716 17718 17508 0 -1 4202496 9633 930 1 0 34 12 0 0 18 0 2 0 947872503 300122112 7142 33554432000 4194304 5683644 140735458151904 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17718/statm: 73272 7142 1870 364 0 8159 0
[pid=17733] ppid=17718 vsize=282844 CPUtime=0 cores=0,2,4,6
/proc/17733/stat : 17733 (python) S 17718 17718 17508 0 -1 4202560 729 0 0 0 0 0 0 0 18 0 1 0 947872568 289632256 5620 33554432000 4194304 5683644 140735458151904 18446744073709551615 216735198735 0 0 16781312 33554946 9265968599078502659 0 0 17 0 0 0 0
/proc/17733/statm: 70711 5620 352 364 0 5598 0
[pid=17735] ppid=17733 vsize=7844 CPUtime=0.84 cores=0,2,4,6
/proc/17735/stat : 17735 (pbct-0.1.2-linu) R 17733 17735 17735 0 -1 4202496 1827 0 0 0 76 8 0 0 21 0 1 0 947872568 8032256 1573 33554432000 134512640 136422188 4288779840 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/17735/statm: 1961 1573 213 467 0 1492 0
[pid=17718/tid=17734] ppid=17716 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/17718/task/17734/stat : 17734 (python) S 17716 17718 17508 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 947872568 300122112 7142 33554432000 4194304 5683644 140735458151904 18446744073709551615 216747002289 0 0 16781312 33554434 18446604447118478400 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 583776
[startup+3.10051 s]
/proc/loadavg: 1.16 0.31 0.10 3/534 17738
/proc/meminfo: memFree=31550616/32951124 swapFree=49879164/67111528
[pid=17718] ppid=17716 vsize=293088 CPUtime=0.46 cores=0,2,4,6
/proc/17718/stat : 17718 (python) S 17716 17718 17508 0 -1 4202496 9633 930 1 0 34 12 0 0 18 0 2 0 947872503 300122112 7142 33554432000 4194304 5683644 140735458151904 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17718/statm: 73272 7142 1870 364 0 8159 0
[pid=17733] ppid=17718 vsize=282844 CPUtime=0 cores=0,2,4,6
/proc/17733/stat : 17733 (python) S 17718 17718 17508 0 -1 4202560 731 0 0 0 0 0 0 0 18 0 1 0 947872568 289632256 5620 33554432000 4194304 5683644 140735458151904 18446744073709551615 216735198735 0 0 16781312 33554946 9265968599078502659 0 0 17 0 0 0 0
/proc/17733/statm: 70711 5620 352 364 0 5598 0
[pid=17735] ppid=17733 vsize=7972 CPUtime=2.43 cores=0,2,4,6
/proc/17735/stat : 17735 (pbct-0.1.2-linu) R 17733 17735 17735 0 -1 4202496 1877 0 0 0 221 22 0 0 25 0 1 0 947872568 8163328 1623 33554432000 134512640 136422188 4288779840 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/17735/statm: 1993 1623 213 467 0 1524 0
[pid=17718/tid=17734] ppid=17716 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/17718/task/17734/stat : 17734 (python) S 17716 17718 17508 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 947872568 300122112 7142 33554432000 4194304 5683644 140735458151904 18446744073709551615 216747002289 0 0 16781312 33554434 18446604447118478400 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 583904
[startup+6.30094 s]
/proc/loadavg: 1.30 0.35 0.12 3/534 17738
/proc/meminfo: memFree=31546892/32951124 swapFree=49879164/67111528
[pid=17718] ppid=17716 vsize=293088 CPUtime=0.46 cores=0,2,4,6
/proc/17718/stat : 17718 (python) S 17716 17718 17508 0 -1 4202496 9633 930 1 0 34 12 0 0 18 0 2 0 947872503 300122112 7142 33554432000 4194304 5683644 140735458151904 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17718/statm: 73272 7142 1870 364 0 8159 0
[pid=17733] ppid=17718 vsize=282844 CPUtime=0.01 cores=0,2,4,6
/proc/17733/stat : 17733 (python) S 17718 17718 17508 0 -1 4202560 875 0 0 0 0 1 0 0 18 0 1 0 947872568 289632256 5644 33554432000 4194304 5683644 140735458151904 18446744073709551615 216735198735 0 0 16781312 33554946 9265974646392455427 0 0 17 0 0 0 0
/proc/17733/statm: 70711 5644 376 364 0 5598 0
[pid=17735] ppid=17733 vsize=7972 CPUtime=5.64 cores=0,2,4,6
/proc/17735/stat : 17735 (pbct-0.1.2-linu) R 17733 17735 17735 0 -1 4202496 1888 0 0 0 517 47 0 0 25 0 1 0 947872568 8163328 1634 33554432000 134512640 136422188 4288779840 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/17735/statm: 1993 1634 213 467 0 1524 0
[pid=17718/tid=17734] ppid=17716 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/17718/task/17734/stat : 17734 (python) S 17716 17718 17508 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 947872568 300122112 7142 33554432000 4194304 5683644 140735458151904 18446744073709551615 216747002289 0 0 16781312 33554434 18446604447118478400 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 583904
Solver just ended. Dumping a history of the last processes samples
[startup+6.72087 s]
/proc/loadavg: 1.30 0.35 0.12 4/534 17738
/proc/meminfo: memFree=31551232/32951124 swapFree=49879164/67111528
[pid=17718] ppid=17716 vsize=293088 CPUtime=0.46 cores=0,2,4,6
/proc/17718/stat : 17718 (python) S 17716 17718 17508 0 -1 4202496 9633 930 1 0 34 12 0 0 18 0 2 0 947872503 300122112 7142 33554432000 4194304 5683644 140735458151904 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17718/statm: 73272 7142 1870 364 0 8159 0
[pid=17733] ppid=17718 vsize=282844 CPUtime=0.01 cores=0,2,4,6
/proc/17733/stat : 17733 (python) S 17718 17718 17508 0 -1 4202560 875 0 0 0 0 1 0 0 18 0 1 0 947872568 289632256 5644 33554432000 4194304 5683644 140735458151904 18446744073709551615 216735198735 0 0 16781312 33554946 9265974646392455427 0 0 17 0 0 0 0
/proc/17733/statm: 70711 5644 376 364 0 5598 0
[pid=17735] ppid=17733 vsize=7972 CPUtime=6.06 cores=0,2,4,6
/proc/17735/stat : 17735 (pbct-0.1.2-linu) R 17733 17735 17735 0 -1 4202496 1888 0 0 0 555 51 0 0 25 0 1 0 947872568 8163328 1634 33554432000 134512640 136422188 4288779840 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/17735/statm: 1993 1634 213 467 0 1524 0
[pid=17718/tid=17734] ppid=17716 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/17718/task/17734/stat : 17734 (python) S 17716 17718 17508 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 947872568 300122112 7142 33554432000 4194304 5683644 140735458151904 18446744073709551615 216747002289 0 0 16781312 33554434 18446604447118478400 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.53
Current children cumulated vsize (KiB) 583904
[startup+7.50074 s]
/proc/loadavg: 1.30 0.35 0.12 4/534 17738
/proc/meminfo: memFree=31551232/32951124 swapFree=49879164/67111528
[pid=17718] ppid=17716 vsize=293088 CPUtime=0.46 cores=0,2,4,6
/proc/17718/stat : 17718 (python) S 17716 17718 17508 0 -1 4202496 9633 930 1 0 34 12 0 0 18 0 2 0 947872503 300122112 7142 33554432000 4194304 5683644 140735458151904 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17718/statm: 73272 7142 1870 364 0 8159 0
[pid=17733] ppid=17718 vsize=282844 CPUtime=0.01 cores=0,2,4,6
/proc/17733/stat : 17733 (python) S 17718 17718 17508 0 -1 4202560 875 0 0 0 0 1 0 0 18 0 1 0 947872568 289632256 5644 33554432000 4194304 5683644 140735458151904 18446744073709551615 216735198735 0 0 16781312 33554946 9265974646392455427 0 0 17 0 0 0 0
/proc/17733/statm: 70711 5644 376 364 0 5598 0
[pid=17735] ppid=17733 vsize=7972 CPUtime=6.84 cores=0,2,4,6
/proc/17735/stat : 17735 (pbct-0.1.2-linu) R 17733 17735 17735 0 -1 4202496 1888 0 0 0 628 56 0 0 25 0 1 0 947872568 8163328 1634 33554432000 134512640 136422188 4288779840 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/17735/statm: 1993 1634 213 467 0 1524 0
[pid=17718/tid=17734] ppid=17716 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/17718/task/17734/stat : 17734 (python) S 17716 17718 17508 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 947872568 300122112 7142 33554432000 4194304 5683644 140735458151904 18446744073709551615 216747002289 0 0 16781312 33554434 18446604447118478400 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.31
Current children cumulated vsize (KiB) 583904
[startup+7.70075 s]
/proc/loadavg: 1.36 0.38 0.13 3/527 17761
/proc/meminfo: memFree=31681864/32951124 swapFree=49879164/67111528
[pid=17718] ppid=17716 vsize=293064 CPUtime=7.55 cores=0,2,4,6
/proc/17718/stat : 17718 (python) R 17716 17718 17508 0 -1 4202496 11788 4027 1 0 35 12 647 61 17 0 1 0 947872503 300097536 7140 33554432000 4194304 5683644 140735458151904 18446744073709551615 4516228 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/17718/statm: 73266 7140 1868 364 0 8159 0
Current children cumulated CPU time (s) 7.55
Current children cumulated vsize (KiB) 293064
Child status: 0
Real time (s): 7.73193
CPU time (s): 7.58585
CPU user time (s): 6.83996
CPU system time (s): 0.745886
CPU usage (%): 98.1106
Max. virtual memory (cumulated for all children) (KiB): 583904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.83996
system time used= 0.745886
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18058
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= 3954
involuntary context switches= 26
runsolver used 0.039993 second user time and 0.094985 second system time
The end