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-3482469-1307576359/watcher-3482469-1307576359 -o /tmp/evaluation-result-3482469-1307576359/solver-3482469-1307576359 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482469-1307576359.opb -seed 1857836293 -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.47 0.11 0.04 2/526 17546
/proc/meminfo: memFree=31656056/32951124 swapFree=49879164/67111528
[pid=17546] ppid=17542 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/17546/stat : 17546 (runsolver) D 17542 17546 17508 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 1 0 947869546 12079104 53 33554432000 4194304 5432328 140735883595600 18446744073709551615 5055479 0 0 4096 24578 0 0 0 17 2 0 0 0
/proc/17546/statm: 2949 53 34 303 0 2643 0
[startup+0.0311199 s]
/proc/loadavg: 0.47 0.11 0.04 2/526 17546
/proc/meminfo: memFree=31656056/32951124 swapFree=49879164/67111528
[pid=17546] ppid=17542 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/17546/stat : 17546 (runsolver) S 17542 17546 17508 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 1 0 947869546 12079104 53 33554432000 4194304 5432328 140735883595600 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699199166 0 0 17 2 0 0 0
/proc/17546/statm: 2949 53 34 303 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11796
[startup+0.101125 s]
/proc/loadavg: 0.47 0.11 0.04 2/526 17546
/proc/meminfo: memFree=31656056/32951124 swapFree=49879164/67111528
[pid=17546] ppid=17542 vsize=6240 CPUtime=0 cores=0,2,4,6
/proc/17546/stat : 17546 (python) D 17542 17546 17508 0 -1 4194304 97 0 2 0 0 0 0 0 18 0 1 0 947869546 6389760 51 33554432000 4194304 5683644 140736324973696 18446744073709551615 216730254983 0 0 4096 0 0 0 0 17 4 0 0 3
/proc/17546/statm: 1560 51 40 364 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6240
[startup+0.301074 s]
/proc/loadavg: 0.47 0.11 0.04 2/526 17546
/proc/meminfo: memFree=31656056/32951124 swapFree=49879164/67111528
[pid=17546] ppid=17542 vsize=15188 CPUtime=0 cores=0,2,4,6
/proc/17546/stat : 17546 (python) D 17542 17546 17508 0 -1 4202496 706 0 6 0 0 0 0 0 17 0 1 0 947869546 15552512 603 33554432000 4194304 5683644 140736324973696 18446744073709551615 216735178496 0 0 16781312 2 18446744071562234166 0 0 17 4 0 0 8
/proc/17546/statm: 3797 603 319 364 0 284 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15188
[startup+0.701012 s]
/proc/loadavg: 0.47 0.11 0.04 2/526 17546
/proc/meminfo: memFree=31656056/32951124 swapFree=49879164/67111528
[pid=17546] ppid=17542 vsize=15784 CPUtime=0 cores=0,2,4,6
/proc/17546/stat : 17546 (python) S 17542 17546 17508 0 -1 4202496 923 0 6 0 0 0 0 0 16 0 1 0 947869546 16162816 808 33554432000 4194304 5683644 140736324973696 18446744073709551615 216735174580 0 2147483391 16781312 2 18446744071699945619 0 0 17 4 0 0 12
/proc/17546/statm: 3946 808 356 364 0 433 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15784
[startup+1.50091 s]
/proc/loadavg: 0.47 0.11 0.04 3/528 17548
/proc/meminfo: memFree=31651044/32951124 swapFree=49879164/67111528
[pid=17546] ppid=17542 vsize=29796 CPUtime=0.05 cores=0,2,4,6
/proc/17546/stat : 17546 (python) D 17542 17546 17508 0 -1 4202496 1431 0 11 0 4 1 0 0 15 0 1 0 947869546 30511104 1284 33554432000 4194304 5683644 140736324973696 18446744073709551615 216735178496 0 0 16781312 2 18446744071562234166 0 0 17 4 0 0 18
/proc/17546/statm: 7449 1284 443 364 0 819 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 29796
[startup+3.10066 s]
/proc/loadavg: 0.47 0.11 0.04 2/528 17548
/proc/meminfo: memFree=31641360/32951124 swapFree=49879164/67111528
[pid=17546] ppid=17542 vsize=98188 CPUtime=0.13 cores=0,2,4,6
/proc/17546/stat : 17546 (python) D 17542 17546 17508 0 -1 4202496 3284 921 24 9 9 4 0 0 16 0 1 0 947869546 100544512 2486 33554432000 4194304 5683644 140736324973696 18446744073709551615 216735176704 0 0 16781312 2 0 0 0 17 4 0 0 27
/proc/17546/statm: 24547 2486 794 364 0 1627 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 98188
heavy processes:
[startup+6.30105 s]
/proc/loadavg: 0.59 0.14 0.05 2/528 17556
/proc/meminfo: memFree=31618252/32951124 swapFree=49879164/67111528
[pid=17546] ppid=17542 vsize=123744 CPUtime=0.26 cores=0,2,4,6
/proc/17546/stat : 17546 (python) D 17542 17546 17508 0 -1 4202496 5322 921 38 9 16 10 0 0 15 0 1 0 947869546 126713856 3746 33554432000 4194304 5683644 140736324973696 18446744073709551615 216735174661 0 0 16781312 2 0 0 0 17 4 0 0 98
/proc/17546/statm: 30936 3746 987 364 0 2768 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 123744
heavy processes:
[startup+12.7009 s]
/proc/loadavg: 0.70 0.17 0.06 4/534 17562
/proc/meminfo: memFree=31557480/32951124 swapFree=49879164/67111528
[pid=17546] ppid=17542 vsize=293088 CPUtime=0.58 cores=0,2,4,6
/proc/17546/stat : 17546 (python) S 17542 17546 17508 0 -1 4202496 9525 921 110 9 39 19 0 0 17 0 2 0 947869546 300122112 7142 33554432000 4194304 5683644 140736324973696 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 318
/proc/17546/statm: 73272 7142 1870 364 0 8159 0
[pid=17557] ppid=17546 vsize=282844 CPUtime=0 cores=0,2,4,6
/proc/17557/stat : 17557 (python) S 17546 17546 17508 0 -1 4202560 728 0 0 0 0 0 0 0 17 0 1 0 947870720 289632256 5620 33554432000 4194304 5683644 140736324973696 18446744073709551615 216735198735 0 0 16781312 33554946 4374696771075408130 0 0 17 4 0 0 0
/proc/17557/statm: 70711 5620 352 364 0 5598 0
[pid=17562] ppid=17557 vsize=7848 CPUtime=0.92 cores=0,2,4,6
/proc/17562/stat : 17562 (pbct-0.1.2-linu) R 17557 17562 17562 0 -1 4202496 1834 0 0 0 84 8 0 0 20 0 1 0 947870721 8036352 1578 33554432000 134512640 136422188 4294760304 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/17562/statm: 1962 1578 213 467 0 1493 0
[pid=17546/tid=17560] ppid=17542 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/17546/task/17560/stat : 17560 (python) S 17542 17546 17508 0 -1 4202560 26 921 0 9 0 0 0 0 18 0 2 0 947870720 300122112 7142 33554432000 4194304 5683644 140736324973696 18446744073709551615 216747002289 0 0 16781312 33554434 18446604448855016640 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 583780
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+15.9004 s]
/proc/loadavg: 0.81 0.20 0.07 4/534 17563
/proc/meminfo: memFree=31556548/32951124 swapFree=49879164/67111528
[pid=17546] ppid=17542 vsize=293088 CPUtime=0.58 cores=0,2,4,6
/proc/17546/stat : 17546 (python) S 17542 17546 17508 0 -1 4202496 9525 921 110 9 39 19 0 0 17 0 2 0 947869546 300122112 7142 33554432000 4194304 5683644 140736324973696 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 318
/proc/17546/statm: 73272 7142 1870 364 0 8159 0
[pid=17557] ppid=17546 vsize=282844 CPUtime=0.01 cores=0,2,4,6
/proc/17557/stat : 17557 (python) S 17546 17546 17508 0 -1 4202560 864 0 0 0 1 0 0 0 15 0 1 0 947870720 289632256 5643 33554432000 4194304 5683644 140736324973696 18446744073709551615 216735198735 0 0 16781312 33554946 4424355732707574018 0 0 17 6 0 0 0
/proc/17557/statm: 70711 5643 375 364 0 5598 0
[pid=17562] ppid=17557 vsize=7976 CPUtime=4.12 cores=0,2,4,6
/proc/17562/stat : 17562 (pbct-0.1.2-linu) R 17557 17562 17562 0 -1 4202496 1885 0 0 0 375 37 0 0 25 0 1 0 947870721 8167424 1629 33554432000 134512640 136422188 4294760304 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/17562/statm: 1994 1629 213 467 0 1525 0
[pid=17546/tid=17560] ppid=17542 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/17546/task/17560/stat : 17560 (python) S 17542 17546 17508 0 -1 4202560 26 921 0 9 0 0 0 0 18 0 2 0 947870720 300122112 7142 33554432000 4194304 5683644 140736324973696 18446744073709551615 216747002289 0 0 16781312 33554434 18446604448855016640 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.71
Current children cumulated vsize (KiB) 583908
[startup+19.1008 s]
/proc/loadavg: 0.82 0.22 0.07 3/534 17598
/proc/meminfo: memFree=31554696/32951124 swapFree=49879164/67111528
[pid=17546] ppid=17542 vsize=293088 CPUtime=0.58 cores=0,2,4,6
/proc/17546/stat : 17546 (python) S 17542 17546 17508 0 -1 4202496 9525 921 110 9 39 19 0 0 17 0 2 0 947869546 300122112 7142 33554432000 4194304 5683644 140736324973696 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 318
/proc/17546/statm: 73272 7142 1870 364 0 8159 0
[pid=17557] ppid=17546 vsize=282844 CPUtime=0.01 cores=0,2,4,6
/proc/17557/stat : 17557 (python) S 17546 17546 17508 0 -1 4202560 864 0 0 0 1 0 0 0 15 0 1 0 947870720 289632256 5643 33554432000 4194304 5683644 140736324973696 18446744073709551615 216735198735 0 0 16781312 33554946 4424355732707574018 0 0 17 6 0 0 0
/proc/17557/statm: 70711 5643 375 364 0 5598 0
[pid=17562] ppid=17557 vsize=8104 CPUtime=7.32 cores=0,2,4,6
/proc/17562/stat : 17562 (pbct-0.1.2-linu) R 17557 17562 17562 0 -1 4202496 1913 0 0 0 668 64 0 0 25 0 1 0 947870721 8298496 1657 33554432000 134512640 136422188 4294760304 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/17562/statm: 2026 1657 213 467 0 1557 0
[pid=17546/tid=17560] ppid=17542 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/17546/task/17560/stat : 17560 (python) S 17542 17546 17508 0 -1 4202560 26 921 0 9 0 0 0 0 18 0 2 0 947870720 300122112 7142 33554432000 4194304 5683644 140736324973696 18446744073709551615 216747002289 0 0 16781312 33554434 18446604448855016640 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.91
Current children cumulated vsize (KiB) 584036
[startup+20.7005 s]
/proc/loadavg: 0.82 0.22 0.07 3/534 17598
/proc/meminfo: memFree=31553580/32951124 swapFree=49879164/67111528
[pid=17546] ppid=17542 vsize=293088 CPUtime=0.58 cores=0,2,4,6
/proc/17546/stat : 17546 (python) S 17542 17546 17508 0 -1 4202496 9525 921 110 9 39 19 0 0 17 0 2 0 947869546 300122112 7142 33554432000 4194304 5683644 140736324973696 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 318
/proc/17546/statm: 73272 7142 1870 364 0 8159 0
[pid=17557] ppid=17546 vsize=282844 CPUtime=0.04 cores=0,2,4,6
/proc/17557/stat : 17557 (python) S 17546 17546 17508 0 -1 4202560 870 0 0 0 2 2 0 0 15 0 1 0 947870720 289632256 5643 33554432000 4194304 5683644 140736324973696 18446744073709551615 216735198735 0 0 16781312 33554946 72556772316949172 0 0 17 6 0 0 0
/proc/17557/statm: 70711 5643 375 364 0 5598 0
[pid=17562] ppid=17557 vsize=8232 CPUtime=8.91 cores=0,2,4,6
/proc/17562/stat : 17562 (pbct-0.1.2-linu) R 17557 17562 17562 0 -1 4202496 1926 0 0 0 813 78 0 0 25 0 1 0 947870721 8429568 1670 33554432000 134512640 136422188 4294760304 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/17562/statm: 2058 1670 213 467 0 1589 0
[pid=17546/tid=17560] ppid=17542 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/17546/task/17560/stat : 17560 (python) S 17542 17546 17508 0 -1 4202560 26 921 0 9 0 0 0 0 18 0 2 0 947870720 300122112 7142 33554432000 4194304 5683644 140736324973696 18446744073709551615 216747002289 0 0 16781312 33554434 18446604448855016640 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 9.53
Current children cumulated vsize (KiB) 584164
[startup+21.5004 s]
/proc/loadavg: 0.82 0.22 0.07 5/530 17625
/proc/meminfo: memFree=31581144/32951124 swapFree=49879164/67111528
[pid=17546] ppid=17542 vsize=293088 CPUtime=0.58 cores=0,2,4,6
/proc/17546/stat : 17546 (python) S 17542 17546 17508 0 -1 4202496 9525 921 110 9 39 19 0 0 17 0 2 0 947869546 300122112 7142 33554432000 4194304 5683644 140736324973696 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 318
/proc/17546/statm: 73272 7142 1870 364 0 8159 0
[pid=17557] ppid=17546 vsize=282844 CPUtime=0.04 cores=0,2,4,6
/proc/17557/stat : 17557 (python) S 17546 17546 17508 0 -1 4202560 870 0 0 0 2 2 0 0 15 0 1 0 947870720 289632256 5643 33554432000 4194304 5683644 140736324973696 18446744073709551615 216735198735 0 0 16781312 33554946 72556772316949172 0 0 17 6 0 0 0
/proc/17557/statm: 70711 5643 375 364 0 5598 0
[pid=17562] ppid=17557 vsize=8232 CPUtime=9.72 cores=0,2,4,6
/proc/17562/stat : 17562 (pbct-0.1.2-linu) R 17557 17562 17562 0 -1 4202496 1926 0 0 0 887 85 0 0 25 0 1 0 947870721 8429568 1670 33554432000 134512640 136422188 4294760304 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/17562/statm: 2058 1670 213 467 0 1589 0
[pid=17546/tid=17560] ppid=17542 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/17546/task/17560/stat : 17560 (python) S 17542 17546 17508 0 -1 4202560 26 921 0 9 0 0 0 0 18 0 2 0 947870720 300122112 7142 33554432000 4194304 5683644 140736324973696 18446744073709551615 216747002289 0 0 16781312 33554434 18446604448855016640 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 10.34
Current children cumulated vsize (KiB) 584164
[startup+21.9003 s]
/proc/loadavg: 0.82 0.22 0.07 3/534 17633
/proc/meminfo: memFree=31550860/32951124 swapFree=49879164/67111528
[pid=17546] ppid=17542 vsize=293088 CPUtime=0.58 cores=0,2,4,6
/proc/17546/stat : 17546 (python) S 17542 17546 17508 0 -1 4202496 9525 921 110 9 39 19 0 0 17 0 2 0 947869546 300122112 7142 33554432000 4194304 5683644 140736324973696 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 318
/proc/17546/statm: 73272 7142 1870 364 0 8159 0
[pid=17557] ppid=17546 vsize=282844 CPUtime=0.04 cores=0,2,4,6
/proc/17557/stat : 17557 (python) S 17546 17546 17508 0 -1 4202560 870 0 0 0 2 2 0 0 15 0 1 0 947870720 289632256 5643 33554432000 4194304 5683644 140736324973696 18446744073709551615 216735198735 0 0 16781312 33554946 72556772316949172 0 0 17 6 0 0 0
/proc/17557/statm: 70711 5643 375 364 0 5598 0
[pid=17562] ppid=17557 vsize=8232 CPUtime=10.13 cores=0,2,4,6
/proc/17562/stat : 17562 (pbct-0.1.2-linu) R 17557 17562 17562 0 -1 4202496 1926 0 0 0 924 89 0 0 25 0 1 0 947870721 8429568 1670 33554432000 134512640 136422188 4294760304 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/17562/statm: 2058 1670 213 467 0 1589 0
[pid=17546/tid=17560] ppid=17542 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/17546/task/17560/stat : 17560 (python) S 17542 17546 17508 0 -1 4202560 26 921 0 9 0 0 0 0 18 0 2 0 947870720 300122112 7142 33554432000 4194304 5683644 140736324973696 18446744073709551615 216747002289 0 0 16781312 33554434 18446604448855016640 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 10.75
Current children cumulated vsize (KiB) 584164
Child status: 0
Real time (s): 22.0191
CPU time (s): 10.8903
CPU user time (s): 9.76152
CPU system time (s): 1.12883
CPU usage (%): 49.4587
Max. virtual memory (cumulated for all children) (KiB): 584164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.76152
system time used= 1.12883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17962
page faults= 119
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19755
involuntary context switches= 49
runsolver used 0.148977 second user time and 0.315951 second system time
The end