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-3482545-1307576439/watcher-3482545-1307576439 -o /tmp/evaluation-result-3482545-1307576439/solver-3482545-1307576439 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482545-1307576439.opb -seed 78245630 -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: 0.16 0.03 0.01 5/414 5079
/proc/meminfo: memFree=31609008/32950928 swapFree=51865260/67111528
[pid=5077] ppid=5073 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/5077/stat : 5077 (runsolver) D 5073 5077 5042 0 -1 4202560 45 0 0 0 0 0 0 0 18 0 1 0 325253708 12079104 54 33554432000 4194304 5432328 140734222533344 18446744073709551615 5055479 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/5077/statm: 2949 54 34 303 0 2643 0
[startup+0.0336181 s]
/proc/loadavg: 0.16 0.03 0.01 5/414 5079
/proc/meminfo: memFree=31609008/32950928 swapFree=51865260/67111528
[pid=5077] ppid=5073 vsize=6240 CPUtime=0 cores=0,2,4,6
/proc/5077/stat : 5077 (python) D 5073 5077 5042 0 -1 4194304 97 0 2 0 0 0 0 0 17 0 1 0 325253708 6389760 52 33554432000 4194304 5683644 140736586890640 18446744073709551615 218875641479 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5077/statm: 1560 52 40 364 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6240
[startup+0.100631 s]
/proc/loadavg: 0.16 0.03 0.01 5/414 5079
/proc/meminfo: memFree=31609008/32950928 swapFree=51865260/67111528
[pid=5077] ppid=5073 vsize=15080 CPUtime=0 cores=0,2,4,6
/proc/5077/stat : 5077 (python) S 5073 5077 5042 0 -1 4202496 611 0 6 0 0 0 0 0 17 0 1 0 325253708 15441920 514 33554432000 4194304 5683644 140736586890640 18446744073709551615 218880563200 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 2
/proc/5077/statm: 3770 514 300 364 0 257 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15080
[startup+0.300577 s]
/proc/loadavg: 0.16 0.03 0.01 5/414 5079
/proc/meminfo: memFree=31609008/32950928 swapFree=51865260/67111528
[pid=5077] ppid=5073 vsize=15188 CPUtime=0 cores=0,2,4,6
/proc/5077/stat : 5077 (python) S 5073 5077 5042 0 -1 4202496 728 0 6 0 0 0 0 0 16 0 1 0 325253708 15552512 623 33554432000 4194304 5683644 140736586890640 18446744073709551615 218880561076 0 2147483391 16781312 2 18446744071699945619 0 0 17 4 0 0 4
/proc/5077/statm: 3797 623 322 364 0 284 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15188
[startup+0.700544 s]
/proc/loadavg: 0.16 0.03 0.01 5/414 5079
/proc/meminfo: memFree=31609008/32950928 swapFree=51865260/67111528
[pid=5077] ppid=5073 vsize=15912 CPUtime=0.01 cores=0,2,4,6
/proc/5077/stat : 5077 (python) S 5073 5077 5042 0 -1 4202496 953 0 6 0 1 0 0 0 16 0 1 0 325253708 16293888 835 33554432000 4194304 5683644 140736586890640 18446744073709551615 218880561076 0 2147483391 16781312 2 18446744071699945619 0 0 17 4 0 0 23
/proc/5077/statm: 3978 835 357 364 0 465 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15912
[startup+1.50039 s]
/proc/loadavg: 0.16 0.03 0.01 2/416 5081
/proc/meminfo: memFree=31601836/32950928 swapFree=51865260/67111528
[pid=5077] ppid=5073 vsize=16400 CPUtime=0.02 cores=0,2,4,6
/proc/5077/stat : 5077 (python) S 5073 5077 5042 0 -1 4202496 1160 0 6 0 2 0 0 0 16 0 1 0 325253708 16793600 1031 33554432000 4194304 5683644 140736586890640 18446744073709551615 218880561076 0 2147483391 16781312 2 18446744071699945619 0 0 17 4 0 0 54
/proc/5077/statm: 4100 1031 414 364 0 587 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16400
[startup+3.10112 s]
/proc/loadavg: 0.16 0.03 0.01 2/416 5081
/proc/meminfo: memFree=31592020/32950928 swapFree=51865260/67111528
[pid=5077] ppid=5073 vsize=94068 CPUtime=0.16 cores=0,2,4,6
/proc/5077/stat : 5077 (python) S 5073 5077 5042 0 -1 4202496 2772 0 25 0 12 4 0 0 15 0 1 0 325253708 96325632 2469 33554432000 4194304 5683644 140736586890640 18446744073709551615 218880564992 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 86
/proc/5077/statm: 23517 2469 788 364 0 1628 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 94068
heavy processes:
[startup+6.30053 s]
/proc/loadavg: 0.31 0.07 0.02 2/416 5089
/proc/meminfo: memFree=31588544/32950928 swapFree=51865260/67111528
[pid=5077] ppid=5073 vsize=98188 CPUtime=0.18 cores=0,2,4,6
/proc/5077/stat : 5077 (python) D 5073 5077 5042 0 -1 4202496 3422 921 26 10 14 4 0 0 16 0 1 0 325253708 100544512 2487 33554432000 4194304 5683644 140736586890640 18446744073709551615 218880563200 0 0 16781312 2 0 0 0 17 4 0 0 94
/proc/5077/statm: 24547 2487 794 364 0 1627 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 98188
heavy processes:
[startup+12.7004 s]
/proc/loadavg: 0.36 0.08 0.03 4/422 5095
/proc/meminfo: memFree=31514604/32950928 swapFree=51865260/67111528
[pid=5077] ppid=5073 vsize=293088 CPUtime=0.66 cores=0,2,4,6
/proc/5077/stat : 5077 (python) S 5073 5077 5042 0 -1 4202496 9518 921 112 10 46 20 0 0 17 0 2 0 325253708 300122112 7142 33554432000 4194304 5683644 140736586890640 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 274
/proc/5077/statm: 73272 7142 1870 364 0 8159 0
[pid=5090] ppid=5077 vsize=282844 CPUtime=0 cores=0,2,4,6
/proc/5090/stat : 5090 (python) S 5077 5077 5042 0 -1 4202560 727 0 0 0 0 0 0 0 17 0 1 0 325254935 289632256 5620 33554432000 4194304 5683644 140736586890640 18446744073709551615 218880585231 0 0 16781312 33554946 3235430582410248450 0 0 17 4 0 0 0
/proc/5090/statm: 70711 5620 352 364 0 5598 0
[pid=5095] ppid=5090 vsize=7716 CPUtime=0.41 cores=0,2,4,6
/proc/5095/stat : 5095 (pbct-0.1.2-linu) R 5090 5095 5095 0 -1 4202496 1800 0 0 0 38 3 0 0 19 0 1 0 325254936 7901184 1545 33554432000 134512640 136422188 4287113712 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/5095/statm: 1929 1545 213 467 0 1460 0
[pid=5077/tid=5093] ppid=5073 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/5077/task/5093/stat : 5093 (python) S 5073 5077 5042 0 -1 4202560 25 921 0 10 0 0 0 0 18 0 2 0 325254936 300122112 7142 33554432000 4194304 5683644 140736586890640 18446744073709551615 218892388785 0 0 16781312 33554434 18446604441192666240 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 583648
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+13.2013 s]
/proc/loadavg: 0.36 0.08 0.03 3/422 5095
/proc/meminfo: memFree=31514356/32950928 swapFree=51865260/67111528
[pid=5077] ppid=5073 vsize=293088 CPUtime=0.66 cores=0,2,4,6
/proc/5077/stat : 5077 (python) S 5073 5077 5042 0 -1 4202496 9518 921 112 10 46 20 0 0 17 0 2 0 325253708 300122112 7142 33554432000 4194304 5683644 140736586890640 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 274
/proc/5077/statm: 73272 7142 1870 364 0 8159 0
[pid=5090] ppid=5077 vsize=282844 CPUtime=0 cores=0,2,4,6
/proc/5090/stat : 5090 (python) S 5077 5077 5042 0 -1 4202560 727 0 0 0 0 0 0 0 17 0 1 0 325254935 289632256 5620 33554432000 4194304 5683644 140736586890640 18446744073709551615 218880585231 0 0 16781312 33554946 3235430582410248450 0 0 17 4 0 0 0
/proc/5090/statm: 70711 5620 352 364 0 5598 0
[pid=5095] ppid=5090 vsize=7716 CPUtime=0.91 cores=0,2,4,6
/proc/5095/stat : 5095 (pbct-0.1.2-linu) R 5090 5095 5095 0 -1 4202496 1808 0 0 0 84 7 0 0 20 0 1 0 325254936 7901184 1553 33554432000 134512640 136422188 4287113712 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/5095/statm: 1929 1553 213 467 0 1460 0
[pid=5077/tid=5093] ppid=5073 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/5077/task/5093/stat : 5093 (python) S 5073 5077 5042 0 -1 4202560 25 921 0 10 0 0 0 0 18 0 2 0 325254936 300122112 7142 33554432000 4194304 5683644 140736586890640 18446744073709551615 218892388785 0 0 16781312 33554434 18446604441192666240 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 583648
[startup+14.0011 s]
/proc/loadavg: 0.49 0.11 0.04 4/422 5095
/proc/meminfo: memFree=31514552/32950928 swapFree=51865260/67111528
[pid=5077] ppid=5073 vsize=293088 CPUtime=0.66 cores=0,2,4,6
/proc/5077/stat : 5077 (python) S 5073 5077 5042 0 -1 4202496 9518 921 112 10 46 20 0 0 17 0 2 0 325253708 300122112 7142 33554432000 4194304 5683644 140736586890640 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 274
/proc/5077/statm: 73272 7142 1870 364 0 8159 0
[pid=5090] ppid=5077 vsize=282844 CPUtime=0 cores=0,2,4,6
/proc/5090/stat : 5090 (python) S 5077 5077 5042 0 -1 4202560 729 0 0 0 0 0 0 0 15 0 1 0 325254935 289632256 5620 33554432000 4194304 5683644 140736586890640 18446744073709551615 218880585231 0 0 16781312 33554946 3235430582410248450 0 0 17 4 0 0 0
/proc/5090/statm: 70711 5620 352 364 0 5598 0
[pid=5095] ppid=5090 vsize=7716 CPUtime=1.71 cores=0,2,4,6
/proc/5095/stat : 5095 (pbct-0.1.2-linu) R 5090 5095 5095 0 -1 4202496 1824 0 0 0 157 14 0 0 22 0 1 0 325254936 7901184 1569 33554432000 134512640 136422188 4287113712 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/5095/statm: 1929 1569 213 467 0 1460 0
[pid=5077/tid=5093] ppid=5073 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/5077/task/5093/stat : 5093 (python) S 5073 5077 5042 0 -1 4202560 25 921 0 10 0 0 0 0 18 0 2 0 325254936 300122112 7142 33554432000 4194304 5683644 140736586890640 18446744073709551615 218892388785 0 0 16781312 33554434 18446604441192666240 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 583648
[startup+14.4011 s]
/proc/loadavg: 0.49 0.11 0.04 4/422 5095
/proc/meminfo: memFree=31514552/32950928 swapFree=51865260/67111528
[pid=5077] ppid=5073 vsize=293088 CPUtime=0.66 cores=0,2,4,6
/proc/5077/stat : 5077 (python) S 5073 5077 5042 0 -1 4202496 9518 921 112 10 46 20 0 0 17 0 2 0 325253708 300122112 7142 33554432000 4194304 5683644 140736586890640 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 274
/proc/5077/statm: 73272 7142 1870 364 0 8159 0
[pid=5090] ppid=5077 vsize=282844 CPUtime=0 cores=0,2,4,6
/proc/5090/stat : 5090 (python) S 5077 5077 5042 0 -1 4202560 731 0 0 0 0 0 0 0 15 0 1 0 325254935 289632256 5620 33554432000 4194304 5683644 140736586890640 18446744073709551615 218880585231 0 0 16781312 33554946 3235430582410248450 0 0 17 4 0 0 0
/proc/5090/statm: 70711 5620 352 364 0 5598 0
[pid=5095] ppid=5090 vsize=7844 CPUtime=2.1 cores=0,2,4,6
/proc/5095/stat : 5095 (pbct-0.1.2-linu) R 5090 5095 5095 0 -1 4202496 1835 0 0 0 192 18 0 0 23 0 1 0 325254936 8032256 1580 33554432000 134512640 136422188 4287113712 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/5095/statm: 1961 1580 213 467 0 1492 0
[pid=5077/tid=5093] ppid=5073 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/5077/task/5093/stat : 5093 (python) S 5073 5077 5042 0 -1 4202560 25 921 0 10 0 0 0 0 18 0 2 0 325254936 300122112 7142 33554432000 4194304 5683644 140736586890640 18446744073709551615 218892388785 0 0 16781312 33554434 18446604441192666240 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 583776
[startup+14.501 s]
/proc/loadavg: 0.49 0.11 0.04 4/422 5095
/proc/meminfo: memFree=31514552/32950928 swapFree=51865260/67111528
[pid=5077] ppid=5073 vsize=293064 CPUtime=2.87 cores=0,2,4,6
/proc/5077/stat : 5077 (python) R 5073 5077 5042 0 -1 4202496 11686 3889 112 10 46 20 201 20 18 0 1 0 325253708 300097536 7140 33554432000 4194304 5683644 140736586890640 18446744073709551615 5114052 0 0 16781312 0 0 0 0 17 4 0 0 274
/proc/5077/statm: 73266 7140 1868 364 0 8159 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 293064
Child status: 0
Real time (s): 14.5171
CPU time (s): 2.91256
CPU user time (s): 2.49862
CPU system time (s): 0.413937
CPU usage (%): 20.0629
Max. virtual memory (cumulated for all children) (KiB): 583776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.49862
system time used= 0.413937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17815
page faults= 122
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20491
involuntary context switches= 30
runsolver used 0.06499 second user time and 0.184971 second system time
The end