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-3482561-1307576441/watcher-3482561-1307576441 -o /tmp/evaluation-result-3482561-1307576441/solver-3482561-1307576441 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482561-1307576441.opb -seed 536117811 -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.00 0.00 0.00 2/487 3895
/proc/meminfo: memFree=23315428/32951124 swapFree=46575304/67111528
[pid=3895] ppid=3891 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/3895/stat : 3895 (runsolver) D 3891 3895 3857 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 1 0 601836407 12079104 53 33554432000 4194304 5432328 140733563227248 18446744073709551615 5055479 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/3895/statm: 2949 53 34 303 0 2643 0
[startup+0.0695871 s]
/proc/loadavg: 0.00 0.00 0.00 2/487 3895
/proc/meminfo: memFree=23315428/32951124 swapFree=46575304/67111528
[pid=3895] ppid=3891 vsize=14820 CPUtime=0 cores=0,2,4,6
/proc/3895/stat : 3895 (python) S 3891 3895 3857 0 -1 4202496 507 0 6 0 0 0 0 0 20 0 1 0 601836407 15175680 420 33554432000 4194304 5683644 140735602069648 18446744073709551615 268660658021 0 2147483391 4096 0 18446744071699199166 0 0 17 0 0 0 3
/proc/3895/statm: 3705 420 259 364 0 192 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14820
[startup+0.100624 s]
/proc/loadavg: 0.00 0.00 0.00 2/487 3895
/proc/meminfo: memFree=23315428/32951124 swapFree=46575304/67111528
[pid=3895] ppid=3891 vsize=15080 CPUtime=0 cores=0,2,4,6
/proc/3895/stat : 3895 (python) S 3891 3895 3857 0 -1 4202496 611 0 6 0 0 0 0 0 20 0 1 0 601836407 15441920 513 33554432000 4194304 5683644 140735602069648 18446744073709551615 268660660224 0 2147483391 16781312 2 18446744071699199166 0 0 17 0 0 0 3
/proc/3895/statm: 3770 513 300 364 0 257 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15080
[startup+0.300596 s]
/proc/loadavg: 0.00 0.00 0.00 2/487 3895
/proc/meminfo: memFree=23315428/32951124 swapFree=46575304/67111528
[pid=3895] ppid=3891 vsize=16396 CPUtime=0.01 cores=0,2,4,6
/proc/3895/stat : 3895 (python) S 3891 3895 3857 0 -1 4202496 1110 0 6 0 1 0 0 0 17 0 1 0 601836407 16789504 984 33554432000 4194304 5683644 140735602069648 18446744073709551615 268660658100 0 2147483391 16781312 2 18446744071699199166 0 0 17 0 0 0 6
/proc/3895/statm: 4099 984 408 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
[startup+0.700514 s]
/proc/loadavg: 0.00 0.00 0.00 2/487 3895
/proc/meminfo: memFree=23315428/32951124 swapFree=46575304/67111528
[pid=3895] ppid=3891 vsize=18888 CPUtime=0.03 cores=0,2,4,6
/proc/3895/stat : 3895 (python) D 3891 3895 3857 0 -1 4202496 1229 0 7 0 1 2 0 0 16 0 1 0 601836407 19341312 1092 33554432000 4194304 5683644 140735602069648 18446744073709551615 268660658021 0 0 16781312 2 0 0 0 17 0 0 0 8
/proc/3895/statm: 4722 1092 421 364 0 691 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18888
[startup+1.50029 s]
/proc/loadavg: 0.08 0.02 0.01 2/489 3897
/proc/meminfo: memFree=23302116/32951124 swapFree=46575304/67111528
[pid=3895] ppid=3891 vsize=94068 CPUtime=0.13 cores=0,2,4,6
/proc/3895/stat : 3895 (python) S 3891 3895 3857 0 -1 4202496 2776 0 22 0 6 7 0 0 15 0 1 0 601836407 96325632 2469 33554432000 4194304 5683644 140735602069648 18446744073709551615 268660662016 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 13
/proc/3895/statm: 23517 2469 788 364 0 1628 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 94068
[startup+3.101 s]
/proc/loadavg: 0.08 0.02 0.01 2/489 3905
/proc/meminfo: memFree=23281288/32951124 swapFree=46575304/67111528
[pid=3895] ppid=3891 vsize=123740 CPUtime=0.26 cores=0,2,4,6
/proc/3895/stat : 3895 (python) D 3891 3895 3857 0 -1 4202496 5323 920 36 10 13 13 0 0 15 0 1 0 601836407 126709760 3744 33554432000 4194304 5683644 140735602069648 18446744073709551615 268660467483 0 0 16781312 2 0 0 0 17 0 0 0 49
/proc/3895/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 123740
heavy processes:
[startup+6.30046 s]
/proc/loadavg: 0.39 0.08 0.03 2/489 3905
/proc/meminfo: memFree=23264872/32951124 swapFree=46575304/67111528
[pid=3895] ppid=3891 vsize=245464 CPUtime=0.52 cores=0,2,4,6
/proc/3895/stat : 3895 (python) D 3891 3895 3857 0 -1 4202496 7782 920 100 10 27 25 0 0 16 0 1 0 601836407 251355136 6040 33554432000 4194304 5683644 140735602069648 18446744073709551615 268660658021 0 0 16781312 2 0 0 0 17 0 0 0 276
/proc/3895/statm: 61366 6040 1605 364 0 4891 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 245464
heavy processes:
[startup+12.7003 s]
/proc/loadavg: 0.52 0.11 0.04 3/495 3946
/proc/meminfo: memFree=23210168/32951124 swapFree=46575304/67111528
[pid=3895] ppid=3891 vsize=293088 CPUtime=0.65 cores=0,2,4,6
/proc/3895/stat : 3895 (python) S 3891 3895 3857 0 -1 4202496 9525 920 110 10 36 29 0 0 17 0 2 0 601836407 300122112 7142 33554432000 4194304 5683644 140735602069648 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 316
/proc/3895/statm: 73272 7142 1870 364 0 8159 0
[pid=3908] ppid=3895 vsize=282844 CPUtime=0.02 cores=0,2,4,6
/proc/3908/stat : 3908 (python) S 3895 3895 3857 0 -1 4202560 871 0 0 0 1 1 0 0 18 0 1 0 601837102 289632256 5644 33554432000 4194304 5683644 140735602069648 18446744073709551615 268660682255 0 0 16781312 33554946 4279174224511205634 0 0 17 6 0 0 0
/proc/3908/statm: 70711 5644 376 364 0 5598 0
[pid=3911] ppid=3908 vsize=8100 CPUtime=5.73 cores=0,2,4,6
/proc/3911/stat : 3911 (pbct-0.1.2-linu) R 3908 3911 3911 0 -1 4202496 1898 0 0 0 524 49 0 0 25 0 1 0 601837102 8294400 1643 33554432000 134512640 136422188 4286935024 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/3911/statm: 2025 1643 213 467 0 1556 0
[pid=3895/tid=3910] ppid=3891 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/3895/task/3910/stat : 3910 (python) S 3891 3895 3857 0 -1 4202560 25 920 0 10 0 0 0 0 18 0 2 0 601837102 300122112 7142 33554432000 4194304 5683644 140735602069648 18446744073709551615 268672485809 0 0 16781312 33554434 18446604451366724736 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.4
Current children cumulated vsize (KiB) 584032
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+14.318 s]
/proc/loadavg: 0.52 0.11 0.04 3/495 3946
/proc/meminfo: memFree=23214136/32951124 swapFree=46575304/67111528
[pid=3895] ppid=3891 vsize=293088 CPUtime=0.65 cores=0,2,4,6
/proc/3895/stat : 3895 (python) S 3891 3895 3857 0 -1 4202496 9525 920 110 10 36 29 0 0 17 0 2 0 601836407 300122112 7142 33554432000 4194304 5683644 140735602069648 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 316
/proc/3895/statm: 73272 7142 1870 364 0 8159 0
[pid=3908] ppid=3895 vsize=282844 CPUtime=0.02 cores=0,2,4,6
/proc/3908/stat : 3908 (python) S 3895 3895 3857 0 -1 4202560 871 0 0 0 1 1 0 0 18 0 1 0 601837102 289632256 5644 33554432000 4194304 5683644 140735602069648 18446744073709551615 268660682255 0 0 16781312 33554946 4279174224511205634 0 0 17 6 0 0 0
/proc/3908/statm: 70711 5644 376 364 0 5598 0
[pid=3911] ppid=3908 vsize=8100 CPUtime=7.35 cores=0,2,4,6
/proc/3911/stat : 3911 (pbct-0.1.2-linu) R 3908 3911 3911 0 -1 4202496 1898 0 0 0 672 63 0 0 25 0 1 0 601837102 8294400 1643 33554432000 134512640 136422188 4286935024 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/3911/statm: 2025 1643 213 467 0 1556 0
[pid=3895/tid=3910] ppid=3891 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/3895/task/3910/stat : 3910 (python) S 3891 3895 3857 0 -1 4202560 25 920 0 10 0 0 0 0 18 0 2 0 601837102 300122112 7142 33554432000 4194304 5683644 140735602069648 18446744073709551615 268672485809 0 0 16781312 33554434 18446604451366724736 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.02
Current children cumulated vsize (KiB) 584032
[startup+15.1009 s]
/proc/loadavg: 0.52 0.11 0.04 3/495 3946
/proc/meminfo: memFree=23214136/32951124 swapFree=46575304/67111528
[pid=3895] ppid=3891 vsize=293088 CPUtime=0.65 cores=0,2,4,6
/proc/3895/stat : 3895 (python) S 3891 3895 3857 0 -1 4202496 9525 920 110 10 36 29 0 0 17 0 2 0 601836407 300122112 7142 33554432000 4194304 5683644 140735602069648 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 316
/proc/3895/statm: 73272 7142 1870 364 0 8159 0
[pid=3908] ppid=3895 vsize=282844 CPUtime=0.04 cores=0,2,4,6
/proc/3908/stat : 3908 (python) S 3895 3895 3857 0 -1 4202560 876 0 0 0 2 2 0 0 18 0 1 0 601837102 289632256 5644 33554432000 4194304 5683644 140735602069648 18446744073709551615 268660682255 0 0 16781312 33554946 72556772316949165 0 0 17 6 0 0 0
/proc/3908/statm: 70711 5644 376 364 0 5598 0
[pid=3911] ppid=3908 vsize=8100 CPUtime=8.14 cores=0,2,4,6
/proc/3911/stat : 3911 (pbct-0.1.2-linu) R 3908 3911 3911 0 -1 4202496 1898 0 0 0 744 70 0 0 25 0 1 0 601837102 8294400 1643 33554432000 134512640 136422188 4286935024 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/3911/statm: 2025 1643 213 467 0 1556 0
[pid=3895/tid=3910] ppid=3891 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/3895/task/3910/stat : 3910 (python) S 3891 3895 3857 0 -1 4202560 25 920 0 10 0 0 0 0 18 0 2 0 601837102 300122112 7142 33554432000 4194304 5683644 140735602069648 18446744073709551615 268672485809 0 0 16781312 33554434 18446604451366724736 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.83
Current children cumulated vsize (KiB) 584032
[startup+15.5008 s]
/proc/loadavg: 0.64 0.15 0.05 3/495 3946
/proc/meminfo: memFree=23214012/32951124 swapFree=46575304/67111528
[pid=3895] ppid=3891 vsize=293088 CPUtime=0.65 cores=0,2,4,6
/proc/3895/stat : 3895 (python) S 3891 3895 3857 0 -1 4202496 9525 920 110 10 36 29 0 0 17 0 2 0 601836407 300122112 7142 33554432000 4194304 5683644 140735602069648 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 316
/proc/3895/statm: 73272 7142 1870 364 0 8159 0
[pid=3908] ppid=3895 vsize=282844 CPUtime=0.04 cores=0,2,4,6
/proc/3908/stat : 3908 (python) S 3895 3895 3857 0 -1 4202560 876 0 0 0 2 2 0 0 18 0 1 0 601837102 289632256 5644 33554432000 4194304 5683644 140735602069648 18446744073709551615 268660682255 0 0 16781312 33554946 72556772316949165 0 0 17 6 0 0 0
/proc/3908/statm: 70711 5644 376 364 0 5598 0
[pid=3911] ppid=3908 vsize=8100 CPUtime=8.54 cores=0,2,4,6
/proc/3911/stat : 3911 (pbct-0.1.2-linu) R 3908 3911 3911 0 -1 4202496 1898 0 0 0 781 73 0 0 25 0 1 0 601837102 8294400 1643 33554432000 134512640 136422188 4286935024 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/3911/statm: 2025 1643 213 467 0 1556 0
[pid=3895/tid=3910] ppid=3891 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/3895/task/3910/stat : 3910 (python) S 3891 3895 3857 0 -1 4202560 25 920 0 10 0 0 0 0 18 0 2 0 601837102 300122112 7142 33554432000 4194304 5683644 140735602069648 18446744073709551615 268672485809 0 0 16781312 33554434 18446604451366724736 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.23
Current children cumulated vsize (KiB) 584032
Child status: 0
Real time (s): 15.5883
CPU time (s): 9.34258
CPU user time (s): 8.26974
CPU system time (s): 1.07284
CPU usage (%): 59.9331
Max. virtual memory (cumulated for all children) (KiB): 584032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.26974
system time used= 1.07284
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17942
page faults= 120
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22583
involuntary context switches= 34
runsolver used 0.092985 second user time and 0.219966 second system time
The end