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-3482506-1307576418/watcher-3482506-1307576418 -o /tmp/evaluation-result-3482506-1307576418/solver-3482506-1307576418 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482506-1307576418.opb -seed 976299606 -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.94 0.27 0.09 2/578 4539
/proc/meminfo: memFree=23779168/32951124 swapFree=58940260/67111528
[pid=4539] ppid=4537 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/4539/stat : 4539 (python) R 4537 4539 4282 0 -1 4202496 812 0 0 0 0 0 0 0 25 0 1 0 869239601 15753216 698 33554432000 4194304 5683644 140736983205376 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4539/statm: 3846 698 334 364 0 333 0
[startup+0.0213199 s]
/proc/loadavg: 0.94 0.27 0.09 2/578 4539
/proc/meminfo: memFree=23779168/32951124 swapFree=58940260/67111528
[pid=4539] ppid=4537 vsize=16396 CPUtime=0.01 cores=0,2,4,6
/proc/4539/stat : 4539 (python) R 4537 4539 4282 0 -1 4202496 1117 0 0 0 1 0 0 0 18 0 1 0 869239601 16789504 985 33554432000 4194304 5683644 140736983205376 18446744073709551615 212687671141 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4539/statm: 4099 985 409 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
[startup+0.100382 s]
/proc/loadavg: 0.94 0.27 0.09 2/578 4539
/proc/meminfo: memFree=23779168/32951124 swapFree=58940260/67111528
[pid=4539] ppid=4537 vsize=89936 CPUtime=0.06 cores=0,2,4,6
/proc/4539/stat : 4539 (python) S 4537 4539 4282 0 -1 4202496 2717 0 1 0 5 1 0 0 17 0 1 0 869239601 92094464 2428 33554432000 4194304 5683644 140736983205376 18446744073709551615 212687673344 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/4539/statm: 22484 2428 750 364 0 1626 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 89936
[startup+0.300353 s]
/proc/loadavg: 0.94 0.27 0.09 2/578 4539
/proc/meminfo: memFree=23779168/32951124 swapFree=58940260/67111528
[pid=4539] ppid=4537 vsize=140012 CPUtime=0.18 cores=0,2,4,6
/proc/4539/stat : 4539 (python) S 4537 4539 4282 0 -1 4202496 5683 928 1 0 14 4 0 0 17 0 1 0 869239601 143372288 4025 33554432000 4194304 5683644 140736983205376 18446744073709551615 212687673344 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/4539/statm: 35003 4025 1070 364 0 2958 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 140012
[startup+0.700282 s]
/proc/loadavg: 0.94 0.27 0.09 2/578 4539
/proc/meminfo: memFree=23779168/32951124 swapFree=58940260/67111528
[pid=4539] ppid=4537 vsize=293084 CPUtime=0.4 cores=0,2,4,6
/proc/4539/stat : 4539 (python) S 4537 4539 4282 0 -1 4202496 9630 928 1 0 33 7 0 0 18 0 2 0 869239601 300118016 7142 33554432000 4194304 5683644 140736983205376 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4539/statm: 73271 7142 1870 364 0 8158 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 293084
[startup+1.50113 s]
/proc/loadavg: 0.94 0.27 0.09 3/575 4570
/proc/meminfo: memFree=23873152/32951124 swapFree=58940260/67111528
[pid=4539] ppid=4537 vsize=293084 CPUtime=0.4 cores=0,2,4,6
/proc/4539/stat : 4539 (python) S 4537 4539 4282 0 -1 4202496 9630 928 1 0 33 7 0 0 18 0 2 0 869239601 300118016 7142 33554432000 4194304 5683644 140736983205376 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4539/statm: 73271 7142 1870 364 0 8158 0
[pid=4545] ppid=4539 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/4545/stat : 4545 (python) S 4539 4539 4282 0 -1 4202560 721 0 0 0 0 0 0 0 18 0 1 0 869239661 289628160 5620 33554432000 4194304 5683644 140736983205376 18446744073709551615 212687695375 0 0 16781312 33554946 1822475196309668097 0 0 17 6 0 0 0
/proc/4545/statm: 70710 5620 352 364 0 5597 0
[pid=4547] ppid=4545 vsize=7844 CPUtime=0.9 cores=0,2,4,6
/proc/4547/stat : 4547 (pbct-0.1.2-linu) R 4545 4547 4547 0 -1 4202496 1831 0 0 0 81 9 0 0 21 0 1 0 869239661 8032256 1575 33554432000 134512640 136422188 4291622976 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/4547/statm: 1961 1575 213 467 0 1492 0
[pid=4539/tid=4546] ppid=4537 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/4539/task/4546/stat : 4546 (python) S 4537 4539 4282 0 -1 4202560 26 928 0 0 0 0 0 0 18 0 2 0 869239661 300118016 7142 33554432000 4194304 5683644 140736983205376 18446744073709551615 212699498929 0 0 16781312 33554434 18446604445724887040 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 583768
[startup+3.10082 s]
/proc/loadavg: 0.94 0.27 0.09 3/582 4582
/proc/meminfo: memFree=23747784/32951124 swapFree=58940260/67111528
[pid=4539] ppid=4537 vsize=293084 CPUtime=0.4 cores=0,2,4,6
/proc/4539/stat : 4539 (python) S 4537 4539 4282 0 -1 4202496 9630 928 1 0 33 7 0 0 18 0 2 0 869239601 300118016 7142 33554432000 4194304 5683644 140736983205376 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4539/statm: 73271 7142 1870 364 0 8158 0
[pid=4545] ppid=4539 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/4545/stat : 4545 (python) S 4539 4539 4282 0 -1 4202560 724 0 0 0 0 0 0 0 18 0 1 0 869239661 289628160 5620 33554432000 4194304 5683644 140736983205376 18446744073709551615 212687695375 0 0 16781312 33554946 1822475196309668097 0 0 17 6 0 0 0
/proc/4545/statm: 70710 5620 352 364 0 5597 0
[pid=4547] ppid=4545 vsize=7976 CPUtime=2.49 cores=0,2,4,6
/proc/4547/stat : 4547 (pbct-0.1.2-linu) R 4545 4547 4547 0 -1 4202496 1881 0 0 0 229 20 0 0 25 0 1 0 869239661 8167424 1625 33554432000 134512640 136422188 4291622976 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/4547/statm: 1994 1625 213 467 0 1525 0
[pid=4539/tid=4546] ppid=4537 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/4539/task/4546/stat : 4546 (python) S 4537 4539 4282 0 -1 4202560 26 928 0 0 0 0 0 0 18 0 2 0 869239661 300118016 7142 33554432000 4194304 5683644 140736983205376 18446744073709551615 212699498929 0 0 16781312 33554434 18446604445724887040 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 583900
[startup+6.30122 s]
/proc/loadavg: 1.18 0.33 0.11 3/582 4582
/proc/meminfo: memFree=23743076/32951124 swapFree=58940260/67111528
[pid=4539] ppid=4537 vsize=293084 CPUtime=0.4 cores=0,2,4,6
/proc/4539/stat : 4539 (python) S 4537 4539 4282 0 -1 4202496 9630 928 1 0 33 7 0 0 18 0 2 0 869239601 300118016 7142 33554432000 4194304 5683644 140736983205376 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4539/statm: 73271 7142 1870 364 0 8158 0
[pid=4545] ppid=4539 vsize=282840 CPUtime=0.01 cores=0,2,4,6
/proc/4545/stat : 4545 (python) S 4539 4539 4282 0 -1 4202560 858 0 0 0 0 1 0 0 18 0 1 0 869239661 289628160 5644 33554432000 4194304 5683644 140736983205376 18446744073709551615 212687695375 0 0 16781312 33554946 1822468393081471233 0 0 17 6 0 0 0
/proc/4545/statm: 70710 5644 376 364 0 5597 0
[pid=4547] ppid=4545 vsize=8104 CPUtime=5.69 cores=0,2,4,6
/proc/4547/stat : 4547 (pbct-0.1.2-linu) R 4545 4547 4547 0 -1 4202496 1920 0 0 0 523 46 0 0 25 0 1 0 869239661 8298496 1664 33554432000 134512640 136422188 4291622976 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/4547/statm: 2026 1664 213 467 0 1557 0
[pid=4539/tid=4546] ppid=4537 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/4539/task/4546/stat : 4546 (python) S 4537 4539 4282 0 -1 4202560 26 928 0 0 0 0 0 0 18 0 2 0 869239661 300118016 7142 33554432000 4194304 5683644 140736983205376 18446744073709551615 212699498929 0 0 16781312 33554434 18446604445724887040 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 584028
Solver just ended. Dumping a history of the last processes samples
[startup+8.70077 s]
/proc/loadavg: 1.41 0.39 0.13 3/582 4582
/proc/meminfo: memFree=23749072/32951124 swapFree=58940260/67111528
[pid=4539] ppid=4537 vsize=293084 CPUtime=0.4 cores=0,2,4,6
/proc/4539/stat : 4539 (python) S 4537 4539 4282 0 -1 4202496 9630 928 1 0 33 7 0 0 18 0 2 0 869239601 300118016 7142 33554432000 4194304 5683644 140736983205376 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4539/statm: 73271 7142 1870 364 0 8158 0
[pid=4545] ppid=4539 vsize=282840 CPUtime=0.03 cores=0,2,4,6
/proc/4545/stat : 4545 (python) S 4539 4539 4282 0 -1 4202560 864 0 0 0 1 2 0 0 18 0 1 0 869239661 289628160 5644 33554432000 4194304 5683644 140736983205376 18446744073709551615 212687695375 0 0 16781312 33554946 72556772316949299 0 0 17 6 0 0 0
/proc/4545/statm: 70710 5644 376 364 0 5597 0
[pid=4547] ppid=4545 vsize=8104 CPUtime=8.09 cores=0,2,4,6
/proc/4547/stat : 4547 (pbct-0.1.2-linu) R 4545 4547 4547 0 -1 4202496 1920 0 0 0 744 65 0 0 25 0 1 0 869239661 8298496 1664 33554432000 134512640 136422188 4291622976 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/4547/statm: 2026 1664 213 467 0 1557 0
[pid=4539/tid=4546] ppid=4537 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/4539/task/4546/stat : 4546 (python) S 4537 4539 4282 0 -1 4202560 26 928 0 0 0 0 0 0 18 0 2 0 869239661 300118016 7142 33554432000 4194304 5683644 140736983205376 18446744073709551615 212699498929 0 0 16781312 33554434 18446604445724887040 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.52
Current children cumulated vsize (KiB) 584028
[startup+9.10073 s]
/proc/loadavg: 1.41 0.39 0.13 3/582 4582
/proc/meminfo: memFree=23749072/32951124 swapFree=58940260/67111528
[pid=4539] ppid=4537 vsize=293084 CPUtime=0.4 cores=0,2,4,6
/proc/4539/stat : 4539 (python) S 4537 4539 4282 0 -1 4202496 9630 928 1 0 33 7 0 0 18 0 2 0 869239601 300118016 7142 33554432000 4194304 5683644 140736983205376 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4539/statm: 73271 7142 1870 364 0 8158 0
[pid=4545] ppid=4539 vsize=282840 CPUtime=0.03 cores=0,2,4,6
/proc/4545/stat : 4545 (python) S 4539 4539 4282 0 -1 4202560 864 0 0 0 1 2 0 0 18 0 1 0 869239661 289628160 5644 33554432000 4194304 5683644 140736983205376 18446744073709551615 212687695375 0 0 16781312 33554946 72556772316949299 0 0 17 6 0 0 0
/proc/4545/statm: 70710 5644 376 364 0 5597 0
[pid=4547] ppid=4545 vsize=8104 CPUtime=8.49 cores=0,2,4,6
/proc/4547/stat : 4547 (pbct-0.1.2-linu) R 4545 4547 4547 0 -1 4202496 1920 0 0 0 781 68 0 0 25 0 1 0 869239661 8298496 1664 33554432000 134512640 136422188 4291622976 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/4547/statm: 2026 1664 213 467 0 1557 0
[pid=4539/tid=4546] ppid=4537 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/4539/task/4546/stat : 4546 (python) S 4537 4539 4282 0 -1 4202560 26 928 0 0 0 0 0 0 18 0 2 0 869239661 300118016 7142 33554432000 4194304 5683644 140736983205376 18446744073709551615 212699498929 0 0 16781312 33554434 18446604445724887040 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.92
Current children cumulated vsize (KiB) 584028
[startup+9.50062 s]
/proc/loadavg: 1.41 0.39 0.13 3/575 4599
/proc/meminfo: memFree=23872740/32951124 swapFree=58940260/67111528
[pid=4539] ppid=4537 vsize=293084 CPUtime=0.4 cores=0,2,4,6
/proc/4539/stat : 4539 (python) S 4537 4539 4282 0 -1 4202496 9630 928 1 0 33 7 0 0 18 0 2 0 869239601 300118016 7142 33554432000 4194304 5683644 140736983205376 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4539/statm: 73271 7142 1870 364 0 8158 0
[pid=4545] ppid=4539 vsize=282840 CPUtime=0.03 cores=0,2,4,6
/proc/4545/stat : 4545 (python) S 4539 4539 4282 0 -1 4202560 864 0 0 0 1 2 0 0 18 0 1 0 869239661 289628160 5644 33554432000 4194304 5683644 140736983205376 18446744073709551615 212687695375 0 0 16781312 33554946 72556772316949299 0 0 17 6 0 0 0
/proc/4545/statm: 70710 5644 376 364 0 5597 0
[pid=4547] ppid=4545 vsize=8104 CPUtime=8.9 cores=0,2,4,6
/proc/4547/stat : 4547 (pbct-0.1.2-linu) R 4545 4547 4547 0 -1 4202496 1920 0 0 0 819 71 0 0 25 0 1 0 869239661 8298496 1664 33554432000 134512640 136422188 4291622976 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/4547/statm: 2026 1664 213 467 0 1557 0
[pid=4539/tid=4546] ppid=4537 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/4539/task/4546/stat : 4546 (python) S 4537 4539 4282 0 -1 4202560 26 928 0 0 0 0 0 0 18 0 2 0 869239661 300118016 7142 33554432000 4194304 5683644 140736983205376 18446744073709551615 212699498929 0 0 16781312 33554434 18446604445724887040 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9.33
Current children cumulated vsize (KiB) 584028
[startup+9.62158 s]
/proc/loadavg: 1.41 0.39 0.13 3/575 4599
/proc/meminfo: memFree=23872740/32951124 swapFree=58940260/67111528
[pid=4539] ppid=4537 vsize=0 CPUtime=9.44 cores=0,2,4,6
/proc/4539/stat : 4539 (python) D 4537 4539 4282 0 -1 4202500 14031 4036 1 0 34 7 828 75 18 0 1 0 869239601 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/4539/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.44
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 9.6957
CPU time (s): 9.47556
CPU user time (s): 8.63569
CPU system time (s): 0.839872
CPU usage (%): 97.7295
Max. virtual memory (cumulated for all children) (KiB): 584028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.63569
system time used= 0.839872
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18067
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= 1674
involuntary context switches= 25
runsolver used 0.053991 second user time and 0.12898 second system time
The end