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-3482465-1307576358/watcher-3482465-1307576358 -o /tmp/evaluation-result-3482465-1307576358/solver-3482465-1307576358 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482465-1307576358.opb -seed 10733940 -budget 1800
running on 4 cores: 1,3,5,7
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.29 0.06 0.02 2/463 11812
/proc/meminfo: memFree=30202796/32950928 swapFree=45617076/67111528
[pid=11810] ppid=11806 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/11810/stat : 11810 (runsolver) S 11806 11810 11775 0 -1 4202560 46 0 0 0 0 0 0 0 21 0 1 0 869238027 12079104 53 33554432000 4194304 5432328 140736129232560 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699199166 0 0 17 1 0 0 0
/proc/11810/statm: 2949 53 34 303 0 2643 0
[startup+0.048825 s]
/proc/loadavg: 0.29 0.06 0.02 2/463 11812
/proc/meminfo: memFree=30202796/32950928 swapFree=45617076/67111528
[pid=11810] ppid=11806 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/11810/stat : 11810 (runsolver) D 11806 11810 11775 0 -1 4202560 46 0 0 0 0 0 0 0 21 0 1 0 869238027 12079104 53 33554432000 4194304 5432328 140736129232560 18446744073709551615 5055479 0 0 4096 24578 0 0 0 17 7 0 0 0
/proc/11810/statm: 2949 53 34 303 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11796
[startup+0.100817 s]
/proc/loadavg: 0.29 0.06 0.02 2/463 11812
/proc/meminfo: memFree=30202796/32950928 swapFree=45617076/67111528
[pid=11810] ppid=11806 vsize=1964 CPUtime=0 cores=1,3,5,7
/proc/11810/stat : 11810 (python) D 11806 11810 11775 0 -1 4194304 76 0 1 0 0 0 0 0 21 0 1 0 869238027 2011136 29 33554432000 4194304 5683644 140733803692768 18446744073709551615 248084775952 0 0 4096 0 18446744071562234166 0 0 17 1 0 0 3
/proc/11810/statm: 491 29 21 364 0 37 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1964
[startup+0.300782 s]
/proc/loadavg: 0.29 0.06 0.02 2/463 11812
/proc/meminfo: memFree=30202796/32950928 swapFree=45617076/67111528
[pid=11810] ppid=11806 vsize=15080 CPUtime=0 cores=1,3,5,7
/proc/11810/stat : 11810 (python) S 11806 11810 11775 0 -1 4202496 611 0 6 0 0 0 0 0 17 0 1 0 869238027 15441920 513 33554432000 4194304 5683644 140733803692768 18446744073709551615 248089696256 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 10
/proc/11810/statm: 3770 513 300 364 0 257 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15080
[startup+0.700711 s]
/proc/loadavg: 0.29 0.06 0.02 2/463 11812
/proc/meminfo: memFree=30202796/32950928 swapFree=45617076/67111528
[pid=11810] ppid=11806 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/11810/stat : 11810 (python) D 11806 11810 11775 0 -1 4202496 789 0 6 0 0 0 0 0 16 0 1 0 869238027 15749120 681 33554432000 4194304 5683644 140733803692768 18446744073709551615 248089696256 0 0 16781312 2 0 0 0 17 7 0 0 15
/proc/11810/statm: 3845 681 322 364 0 332 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15380
[startup+1.50057 s]
/proc/loadavg: 0.29 0.06 0.02 1/465 11814
/proc/meminfo: memFree=30199068/32950928 swapFree=45617076/67111528
[pid=11810] ppid=11806 vsize=15780 CPUtime=0 cores=1,3,5,7
/proc/11810/stat : 11810 (python) S 11806 11810 11775 0 -1 4202496 899 0 6 0 0 0 0 0 16 0 1 0 869238027 16158720 785 33554432000 4194304 5683644 140733803692768 18446744073709551615 248089694132 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 28
/proc/11810/statm: 3945 785 346 364 0 432 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15780
[startup+3.10029 s]
/proc/loadavg: 0.29 0.06 0.02 1/465 11814
/proc/meminfo: memFree=30195292/32950928 swapFree=45617076/67111528
[pid=11810] ppid=11806 vsize=16396 CPUtime=0.01 cores=1,3,5,7
/proc/11810/stat : 11810 (python) S 11806 11810 11775 0 -1 4202496 1112 0 6 0 1 0 0 0 15 0 1 0 869238027 16789504 985 33554432000 4194304 5683644 140733803692768 18446744073709551615 248089696256 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 41
/proc/11810/statm: 4099 985 409 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
heavy processes:
[startup+6.30072 s]
/proc/loadavg: 0.35 0.08 0.02 2/465 11814
/proc/meminfo: memFree=30191608/32950928 swapFree=45617076/67111528
[pid=11810] ppid=11806 vsize=29788 CPUtime=0.05 cores=1,3,5,7
/proc/11810/stat : 11810 (python) S 11806 11810 11775 0 -1 4202496 1437 0 11 0 3 2 0 0 15 0 1 0 869238027 30502912 1289 33554432000 4194304 5683644 140733803692768 18446744073709551615 248089694053 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 57
/proc/11810/statm: 7447 1289 443 364 0 817 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 29788
heavy processes:
[startup+12.7006 s]
/proc/loadavg: 0.32 0.08 0.02 2/465 11823
/proc/meminfo: memFree=30149072/32950928 swapFree=45617076/67111528
[pid=11810] ppid=11806 vsize=195524 CPUtime=0.4 cores=1,3,5,7
/proc/11810/stat : 11810 (python) S 11806 11810 11775 0 -1 4202496 6513 923 77 9 18 22 0 0 16 0 1 0 869238027 200216576 4878 33554432000 4194304 5683644 140733803692768 18446744073709551615 248084774468 0 2147483391 16781312 2 18446744071699945619 0 0 17 7 0 0 138
/proc/11810/statm: 48881 4878 1427 364 0 3676 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 195524
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+19.1005 s]
/proc/loadavg: 0.43 0.11 0.03 4/471 11829
/proc/meminfo: memFree=30102612/32950928 swapFree=45617076/67111528
[pid=11810] ppid=11806 vsize=293088 CPUtime=0.64 cores=1,3,5,7
/proc/11810/stat : 11810 (python) S 11806 11810 11775 0 -1 4202496 9519 923 113 9 34 30 0 0 18 0 2 0 869238027 300122112 7142 33554432000 4194304 5683644 140733803692768 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 176
/proc/11810/statm: 73272 7142 1870 364 0 8159 0
[pid=11824] ppid=11810 vsize=282844 CPUtime=0 cores=1,3,5,7
/proc/11824/stat : 11824 (python) S 11810 11810 11775 0 -1 4202560 728 0 0 0 0 0 0 0 15 0 1 0 869239716 289632256 5620 33554432000 4194304 5683644 140733803692768 18446744073709551615 248089718287 0 0 16781312 33554946 13605566102842081542 0 0 17 7 0 0 0
/proc/11824/statm: 70711 5620 352 364 0 5598 0
[pid=11828] ppid=11824 vsize=7852 CPUtime=2.19 cores=1,3,5,7
/proc/11828/stat : 11828 (pbct-0.1.2-linu) R 11824 11828 11828 0 -1 4202496 1847 0 0 0 176 43 0 0 24 0 1 0 869239717 8040448 1590 33554432000 134512640 136422188 4290873088 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/11828/statm: 1963 1590 213 467 0 1494 0
[pid=11810/tid=11826] ppid=11806 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/11810/task/11826/stat : 11826 (python) S 11806 11810 11775 0 -1 4202560 25 923 0 9 0 0 0 0 18 0 2 0 869239716 300122112 7142 33554432000 4194304 5683644 140733803692768 18446744073709551615 248101521841 0 0 16781312 33554434 18446604470834718016 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 583784
[startup+20.7002 s]
/proc/loadavg: 0.43 0.11 0.03 3/471 11829
/proc/meminfo: memFree=30100628/32950928 swapFree=45617076/67111528
[pid=11810] ppid=11806 vsize=293088 CPUtime=0.64 cores=1,3,5,7
/proc/11810/stat : 11810 (python) S 11806 11810 11775 0 -1 4202496 9519 923 113 9 34 30 0 0 18 0 2 0 869238027 300122112 7142 33554432000 4194304 5683644 140733803692768 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 176
/proc/11810/statm: 73272 7142 1870 364 0 8159 0
[pid=11824] ppid=11810 vsize=282844 CPUtime=0.01 cores=1,3,5,7
/proc/11824/stat : 11824 (python) S 11810 11810 11775 0 -1 4202560 870 0 0 0 1 0 0 0 16 0 1 0 869239716 289632256 5644 33554432000 4194304 5683644 140733803692768 18446744073709551615 248089718287 0 0 16781312 33554946 13605566858756325638 0 0 17 3 0 0 0
/proc/11824/statm: 70711 5644 376 364 0 5598 0
[pid=11828] ppid=11824 vsize=7980 CPUtime=3.79 cores=1,3,5,7
/proc/11828/stat : 11828 (pbct-0.1.2-linu) R 11824 11828 11828 0 -1 4202496 1881 0 0 0 306 73 0 0 25 0 1 0 869239717 8171520 1624 33554432000 134512640 136422188 4290873088 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/11828/statm: 1995 1624 213 467 0 1526 0
[pid=11810/tid=11826] ppid=11806 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/11810/task/11826/stat : 11826 (python) S 11806 11810 11775 0 -1 4202560 25 923 0 9 0 0 0 0 18 0 2 0 869239716 300122112 7142 33554432000 4194304 5683644 140733803692768 18446744073709551615 248101521841 0 0 16781312 33554434 18446604470834718016 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 583912
[startup+22.301 s]
/proc/loadavg: 0.43 0.11 0.03 3/471 11829
/proc/meminfo: memFree=30100752/32950928 swapFree=45617076/67111528
[pid=11810] ppid=11806 vsize=293088 CPUtime=0.64 cores=1,3,5,7
/proc/11810/stat : 11810 (python) S 11806 11810 11775 0 -1 4202496 9519 923 113 9 34 30 0 0 18 0 2 0 869238027 300122112 7142 33554432000 4194304 5683644 140733803692768 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 176
/proc/11810/statm: 73272 7142 1870 364 0 8159 0
[pid=11824] ppid=11810 vsize=282844 CPUtime=0.01 cores=1,3,5,7
/proc/11824/stat : 11824 (python) S 11810 11810 11775 0 -1 4202560 870 0 0 0 1 0 0 0 15 0 1 0 869239716 289632256 5644 33554432000 4194304 5683644 140733803692768 18446744073709551615 248089718287 0 0 16781312 33554946 13605566858756325638 0 0 17 3 0 0 0
/proc/11824/statm: 70711 5644 376 364 0 5598 0
[pid=11828] ppid=11824 vsize=7980 CPUtime=5.39 cores=1,3,5,7
/proc/11828/stat : 11828 (pbct-0.1.2-linu) R 11824 11828 11828 0 -1 4202496 1882 0 0 0 440 99 0 0 25 0 1 0 869239717 8171520 1625 33554432000 134512640 136422188 4290873088 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/11828/statm: 1995 1625 213 467 0 1526 0
[pid=11810/tid=11826] ppid=11806 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/11810/task/11826/stat : 11826 (python) S 11806 11810 11775 0 -1 4202560 25 923 0 9 0 0 0 0 18 0 2 0 869239716 300122112 7142 33554432000 4194304 5683644 140733803692768 18446744073709551615 248101521841 0 0 16781312 33554434 18446604470834718016 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 583912
[startup+22.7009 s]
/proc/loadavg: 0.43 0.11 0.03 3/471 11829
/proc/meminfo: memFree=30100752/32950928 swapFree=45617076/67111528
[pid=11810] ppid=11806 vsize=293088 CPUtime=0.64 cores=1,3,5,7
/proc/11810/stat : 11810 (python) S 11806 11810 11775 0 -1 4202496 9519 923 113 9 34 30 0 0 18 0 2 0 869238027 300122112 7142 33554432000 4194304 5683644 140733803692768 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 176
/proc/11810/statm: 73272 7142 1870 364 0 8159 0
[pid=11824] ppid=11810 vsize=282844 CPUtime=0.01 cores=1,3,5,7
/proc/11824/stat : 11824 (python) S 11810 11810 11775 0 -1 4202560 870 0 0 0 1 0 0 0 15 0 1 0 869239716 289632256 5644 33554432000 4194304 5683644 140733803692768 18446744073709551615 248089718287 0 0 16781312 33554946 13605566858756325638 0 0 17 3 0 0 0
/proc/11824/statm: 70711 5644 376 364 0 5598 0
[pid=11828] ppid=11824 vsize=7980 CPUtime=5.79 cores=1,3,5,7
/proc/11828/stat : 11828 (pbct-0.1.2-linu) R 11824 11828 11828 0 -1 4202496 1882 0 0 0 475 104 0 0 25 0 1 0 869239717 8171520 1625 33554432000 134512640 136422188 4290873088 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/11828/statm: 1995 1625 213 467 0 1526 0
[pid=11810/tid=11826] ppid=11806 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/11810/task/11826/stat : 11826 (python) S 11806 11810 11775 0 -1 4202560 25 923 0 9 0 0 0 0 18 0 2 0 869239716 300122112 7142 33554432000 4194304 5683644 140733803692768 18446744073709551615 248101521841 0 0 16781312 33554434 18446604470834718016 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.44
Current children cumulated vsize (KiB) 583912
[startup+22.9008 s]
/proc/loadavg: 0.43 0.11 0.03 3/471 11829
/proc/meminfo: memFree=30100752/32950928 swapFree=45617076/67111528
[pid=11810] ppid=11806 vsize=293088 CPUtime=0.64 cores=1,3,5,7
/proc/11810/stat : 11810 (python) S 11806 11810 11775 0 -1 4202496 9519 923 113 9 34 30 0 0 18 0 2 0 869238027 300122112 7142 33554432000 4194304 5683644 140733803692768 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 176
/proc/11810/statm: 73272 7142 1870 364 0 8159 0
[pid=11824] ppid=11810 vsize=282844 CPUtime=0.01 cores=1,3,5,7
/proc/11824/stat : 11824 (python) S 11810 11810 11775 0 -1 4202560 870 0 0 0 1 0 0 0 15 0 1 0 869239716 289632256 5644 33554432000 4194304 5683644 140733803692768 18446744073709551615 248089718287 0 0 16781312 33554946 13605566858756325638 0 0 17 3 0 0 0
/proc/11824/statm: 70711 5644 376 364 0 5598 0
[pid=11828] ppid=11824 vsize=7980 CPUtime=5.99 cores=1,3,5,7
/proc/11828/stat : 11828 (pbct-0.1.2-linu) R 11824 11828 11828 0 -1 4202496 1882 0 0 0 491 108 0 0 25 0 1 0 869239717 8171520 1625 33554432000 134512640 136422188 4290873088 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/11828/statm: 1995 1625 213 467 0 1526 0
[pid=11810/tid=11826] ppid=11806 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/11810/task/11826/stat : 11826 (python) S 11806 11810 11775 0 -1 4202560 25 923 0 9 0 0 0 0 18 0 2 0 869239716 300122112 7142 33554432000 4194304 5683644 140733803692768 18446744073709551615 248101521841 0 0 16781312 33554434 18446604470834718016 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.64
Current children cumulated vsize (KiB) 583912
Child status: 0
Real time (s): 22.9624
CPU time (s): 6.74497
CPU user time (s): 5.32819
CPU system time (s): 1.41678
CPU usage (%): 29.374
Max. virtual memory (cumulated for all children) (KiB): 583912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.32819
system time used= 1.41678
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17914
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= 22355
involuntary context switches= 154
runsolver used 0.12698 second user time and 0.304953 second system time
The end