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-3482503-1307576417/watcher-3482503-1307576417 -o /tmp/evaluation-result-3482503-1307576417/solver-3482503-1307576417 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482503-1307576417.opb -seed 1097835597 -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.71 0.18 0.06 2/459 11984
/proc/meminfo: memFree=30157716/32950928 swapFree=45617076/67111528
[pid=11984] ppid=11982 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/11984/stat : 11984 (python) R 11982 11984 11775 0 -1 4202496 810 0 0 0 0 0 0 0 20 0 1 0 869241811 15749120 696 33554432000 4194304 5683644 140736944425072 18446744073709551615 248089696256 0 2147483391 16781312 2 0 0 0 17 4 0 0 0
/proc/11984/statm: 3845 696 334 364 0 332 0
[startup+0.09002 s]
/proc/loadavg: 0.71 0.18 0.06 2/459 11984
/proc/meminfo: memFree=30157716/32950928 swapFree=45617076/67111528
[pid=11984] ppid=11982 vsize=84568 CPUtime=0.05 cores=0,2,4,6
/proc/11984/stat : 11984 (python) S 11982 11984 11775 0 -1 4202496 2398 0 0 0 4 1 0 0 20 0 1 0 869241811 86597632 2127 33554432000 4194304 5683644 140736944425072 18446744073709551615 248089696256 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/11984/statm: 21142 2127 707 364 0 1359 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84568
[startup+0.101016 s]
/proc/loadavg: 0.71 0.18 0.06 2/459 11984
/proc/meminfo: memFree=30157716/32950928 swapFree=45617076/67111528
[pid=11984] ppid=11982 vsize=87828 CPUtime=0.07 cores=0,2,4,6
/proc/11984/stat : 11984 (python) R 11982 11984 11775 0 -1 4202496 2699 0 0 0 5 2 0 0 20 0 1 0 869241811 89935872 2414 33554432000 4194304 5683644 140736944425072 18446744073709551615 248089741402 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/11984/statm: 21959 2418 746 364 0 1622 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 87828
[startup+0.300988 s]
/proc/loadavg: 0.71 0.18 0.06 2/459 11984
/proc/meminfo: memFree=30157716/32950928 swapFree=45617076/67111528
[pid=11984] ppid=11982 vsize=130416 CPUtime=0.21 cores=0,2,4,6
/proc/11984/stat : 11984 (python) R 11982 11984 11775 0 -1 4202496 5570 927 1 0 14 7 0 0 17 0 1 0 869241811 133545984 3922 33554432000 4194304 5683644 140736944425072 18446744073709551615 248084774535 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/11984/statm: 33138 3922 1045 364 0 2869 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 130416
[startup+0.70091 s]
/proc/loadavg: 0.71 0.18 0.06 2/459 11984
/proc/meminfo: memFree=30157716/32950928 swapFree=45617076/67111528
[pid=11984] ppid=11982 vsize=293084 CPUtime=0.44 cores=0,2,4,6
/proc/11984/stat : 11984 (python) S 11982 11984 11775 0 -1 4202496 9634 927 1 0 33 11 0 0 19 0 2 0 869241811 300118016 7142 33554432000 4194304 5683644 140736944425072 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/11984/statm: 73271 7142 1870 364 0 8158 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 293084
[startup+1.50084 s]
/proc/loadavg: 0.81 0.21 0.07 3/471 12004
/proc/meminfo: memFree=30098588/32950928 swapFree=45617076/67111528
[pid=11984] ppid=11982 vsize=293084 CPUtime=0.44 cores=0,2,4,6
/proc/11984/stat : 11984 (python) S 11982 11984 11775 0 -1 4202496 9634 927 1 0 33 11 0 0 19 0 2 0 869241811 300118016 7142 33554432000 4194304 5683644 140736944425072 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/11984/statm: 73271 7142 1870 364 0 8158 0
[pid=11999] ppid=11984 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/11999/stat : 11999 (python) S 11984 11984 11775 0 -1 4202560 726 0 0 0 0 0 0 0 18 0 1 0 869241872 289628160 5620 33554432000 4194304 5683644 140736944425072 18446744073709551615 248089718287 0 0 16781312 33554946 8806480559527133443 0 0 17 0 0 0 0
/proc/11999/statm: 70710 5620 352 364 0 5597 0
[pid=12001] ppid=11999 vsize=7820 CPUtime=0.88 cores=0,2,4,6
/proc/12001/stat : 12001 (pbct-0.1.2-linu) R 11999 12001 12001 0 -1 4202496 1843 0 0 0 78 10 0 0 21 0 1 0 869241873 8007680 1586 33554432000 134512640 136422188 4288352368 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/12001/statm: 1955 1586 213 467 0 1486 0
[pid=11984/tid=12000] ppid=11982 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/11984/task/12000/stat : 12000 (python) S 11982 11984 11775 0 -1 4202560 29 927 0 0 0 0 0 0 19 0 2 0 869241873 300118016 7142 33554432000 4194304 5683644 140736944425072 18446744073709551615 248101521841 0 0 16781312 33554434 18446604443733253120 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 583744
[startup+3.10048 s]
/proc/loadavg: 0.81 0.21 0.07 4/471 12004
/proc/meminfo: memFree=30095860/32950928 swapFree=45617076/67111528
[pid=11984] ppid=11982 vsize=293084 CPUtime=0.44 cores=0,2,4,6
/proc/11984/stat : 11984 (python) S 11982 11984 11775 0 -1 4202496 9634 927 1 0 33 11 0 0 19 0 2 0 869241811 300118016 7142 33554432000 4194304 5683644 140736944425072 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/11984/statm: 73271 7142 1870 364 0 8158 0
[pid=11999] ppid=11984 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/11999/stat : 11999 (python) S 11984 11984 11775 0 -1 4202560 729 0 0 0 0 0 0 0 18 0 1 0 869241872 289628160 5620 33554432000 4194304 5683644 140736944425072 18446744073709551615 248089718287 0 0 16781312 33554946 8806480559527133443 0 0 17 0 0 0 0
/proc/11999/statm: 70710 5620 352 364 0 5597 0
[pid=12001] ppid=11999 vsize=8076 CPUtime=2.47 cores=0,2,4,6
/proc/12001/stat : 12001 (pbct-0.1.2-linu) R 11999 12001 12001 0 -1 4202496 1891 0 0 0 215 32 0 0 25 0 1 0 869241873 8269824 1634 33554432000 134512640 136422188 4288352368 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/12001/statm: 2019 1634 213 467 0 1550 0
[pid=11984/tid=12000] ppid=11982 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/11984/task/12000/stat : 12000 (python) S 11982 11984 11775 0 -1 4202560 29 927 0 0 0 0 0 0 19 0 2 0 869241873 300118016 7142 33554432000 4194304 5683644 140736944425072 18446744073709551615 248101521841 0 0 16781312 33554434 18446604443733253120 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 584000
[startup+6.30092 s]
/proc/loadavg: 0.99 0.26 0.09 2/466 12005
/proc/meminfo: memFree=30121120/32950928 swapFree=45617076/67111528
[pid=11984] ppid=11982 vsize=293084 CPUtime=0.44 cores=0,2,4,6
/proc/11984/stat : 11984 (python) S 11982 11984 11775 0 -1 4202496 9634 927 1 0 33 11 0 0 19 0 2 0 869241811 300118016 7142 33554432000 4194304 5683644 140736944425072 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/11984/statm: 73271 7142 1870 364 0 8158 0
[pid=11999] ppid=11984 vsize=282840 CPUtime=0.01 cores=0,2,4,6
/proc/11999/stat : 11999 (python) S 11984 11984 11775 0 -1 4202560 861 0 0 0 0 1 0 0 18 0 1 0 869241872 289628160 5644 33554432000 4194304 5683644 140736944425072 18446744073709551615 248089718287 0 0 16781312 33554946 8806482827269865731 0 0 17 6 0 0 0
/proc/11999/statm: 70710 5644 376 364 0 5597 0
[pid=12001] ppid=11999 vsize=8076 CPUtime=5.67 cores=0,2,4,6
/proc/12001/stat : 12001 (pbct-0.1.2-linu) R 11999 12001 12001 0 -1 4202496 1912 0 0 0 483 84 0 0 25 0 1 0 869241873 8269824 1655 33554432000 134512640 136422188 4288352368 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/12001/statm: 2019 1655 213 467 0 1550 0
[pid=11984/tid=12000] ppid=11982 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/11984/task/12000/stat : 12000 (python) S 11982 11984 11775 0 -1 4202560 29 927 0 0 0 0 0 0 19 0 2 0 869241873 300118016 7142 33554432000 4194304 5683644 140736944425072 18446744073709551615 248101521841 0 0 16781312 33554434 18446604443733253120 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 584000
Solver just ended. Dumping a history of the last processes samples
[startup+6.80083 s]
/proc/loadavg: 0.99 0.26 0.09 2/466 12005
/proc/meminfo: memFree=30121120/32950928 swapFree=45617076/67111528
[pid=11984] ppid=11982 vsize=293084 CPUtime=0.44 cores=0,2,4,6
/proc/11984/stat : 11984 (python) S 11982 11984 11775 0 -1 4202496 9634 927 1 0 33 11 0 0 19 0 2 0 869241811 300118016 7142 33554432000 4194304 5683644 140736944425072 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/11984/statm: 73271 7142 1870 364 0 8158 0
[pid=11999] ppid=11984 vsize=282840 CPUtime=0.01 cores=0,2,4,6
/proc/11999/stat : 11999 (python) S 11984 11984 11775 0 -1 4202560 861 0 0 0 0 1 0 0 18 0 1 0 869241872 289628160 5644 33554432000 4194304 5683644 140736944425072 18446744073709551615 248089718287 0 0 16781312 33554946 8806482827269865731 0 0 17 6 0 0 0
/proc/11999/statm: 70710 5644 376 364 0 5597 0
[pid=12001] ppid=11999 vsize=8204 CPUtime=6.17 cores=0,2,4,6
/proc/12001/stat : 12001 (pbct-0.1.2-linu) R 11999 12001 12001 0 -1 4202496 1942 0 0 0 526 91 0 0 25 0 1 0 869241873 8400896 1685 33554432000 134512640 136422188 4288352368 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/12001/statm: 2051 1685 213 467 0 1582 0
[pid=11984/tid=12000] ppid=11982 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/11984/task/12000/stat : 12000 (python) S 11982 11984 11775 0 -1 4202560 29 927 0 0 0 0 0 0 19 0 2 0 869241873 300118016 7142 33554432000 4194304 5683644 140736944425072 18446744073709551615 248101521841 0 0 16781312 33554434 18446604443733253120 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.62
Current children cumulated vsize (KiB) 584128
[startup+8.40055 s]
/proc/loadavg: 0.99 0.26 0.09 3/471 12039
/proc/meminfo: memFree=30096480/32950928 swapFree=45617076/67111528
[pid=11984] ppid=11982 vsize=293084 CPUtime=0.44 cores=0,2,4,6
/proc/11984/stat : 11984 (python) S 11982 11984 11775 0 -1 4202496 9634 927 1 0 33 11 0 0 19 0 2 0 869241811 300118016 7142 33554432000 4194304 5683644 140736944425072 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/11984/statm: 73271 7142 1870 364 0 8158 0
[pid=11999] ppid=11984 vsize=282840 CPUtime=0.01 cores=0,2,4,6
/proc/11999/stat : 11999 (python) S 11984 11984 11775 0 -1 4202560 861 0 0 0 0 1 0 0 18 0 1 0 869241872 289628160 5644 33554432000 4194304 5683644 140736944425072 18446744073709551615 248089718287 0 0 16781312 33554946 8806482827269865731 0 0 17 6 0 0 0
/proc/11999/statm: 70710 5644 376 364 0 5597 0
[pid=12001] ppid=11999 vsize=8204 CPUtime=7.77 cores=0,2,4,6
/proc/12001/stat : 12001 (pbct-0.1.2-linu) R 11999 12001 12001 0 -1 4202496 1942 0 0 0 667 110 0 0 25 0 1 0 869241873 8400896 1685 33554432000 134512640 136422188 4288352368 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/12001/statm: 2051 1685 213 467 0 1582 0
[pid=11984/tid=12000] ppid=11982 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/11984/task/12000/stat : 12000 (python) S 11982 11984 11775 0 -1 4202560 29 927 0 0 0 0 0 0 19 0 2 0 869241873 300118016 7142 33554432000 4194304 5683644 140736944425072 18446744073709551615 248101521841 0 0 16781312 33554434 18446604443733253120 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.22
Current children cumulated vsize (KiB) 584128
[startup+10.0003 s]
/proc/loadavg: 0.99 0.26 0.09 3/471 12040
/proc/meminfo: memFree=30094464/32950928 swapFree=45617076/67111528
[pid=11984] ppid=11982 vsize=293084 CPUtime=0.44 cores=0,2,4,6
/proc/11984/stat : 11984 (python) S 11982 11984 11775 0 -1 4202496 9634 927 1 0 33 11 0 0 19 0 2 0 869241811 300118016 7142 33554432000 4194304 5683644 140736944425072 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/11984/statm: 73271 7142 1870 364 0 8158 0
[pid=11999] ppid=11984 vsize=282840 CPUtime=0.03 cores=0,2,4,6
/proc/11999/stat : 11999 (python) S 11984 11984 11775 0 -1 4202560 867 0 0 0 2 1 0 0 18 0 1 0 869241872 289628160 5644 33554432000 4194304 5683644 140736944425072 18446744073709551615 248089718287 0 0 16781312 33554946 72556772316949198 0 0 17 6 0 0 0
/proc/11999/statm: 70710 5644 376 364 0 5597 0
[pid=12001] ppid=11999 vsize=8204 CPUtime=9.37 cores=0,2,4,6
/proc/12001/stat : 12001 (pbct-0.1.2-linu) R 11999 12001 12001 0 -1 4202496 1942 0 0 0 804 133 0 0 25 0 1 0 869241873 8400896 1685 33554432000 134512640 136422188 4288352368 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/12001/statm: 2051 1685 213 467 0 1582 0
[pid=11984/tid=12000] ppid=11982 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/11984/task/12000/stat : 12000 (python) S 11982 11984 11775 0 -1 4202560 29 927 0 0 0 0 0 0 19 0 2 0 869241873 300118016 7142 33554432000 4194304 5683644 140736944425072 18446744073709551615 248101521841 0 0 16781312 33554434 18446604443733253120 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.84
Current children cumulated vsize (KiB) 584128
[startup+10.8011 s]
/proc/loadavg: 0.99 0.26 0.09 3/471 12040
/proc/meminfo: memFree=30097400/32950928 swapFree=45617076/67111528
[pid=11984] ppid=11982 vsize=293084 CPUtime=0.44 cores=0,2,4,6
/proc/11984/stat : 11984 (python) S 11982 11984 11775 0 -1 4202496 9634 927 1 0 33 11 0 0 19 0 2 0 869241811 300118016 7142 33554432000 4194304 5683644 140736944425072 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/11984/statm: 73271 7142 1870 364 0 8158 0
[pid=11999] ppid=11984 vsize=282840 CPUtime=0.03 cores=0,2,4,6
/proc/11999/stat : 11999 (python) S 11984 11984 11775 0 -1 4202560 867 0 0 0 2 1 0 0 18 0 1 0 869241872 289628160 5644 33554432000 4194304 5683644 140736944425072 18446744073709551615 248089718287 0 0 16781312 33554946 72556772316949198 0 0 17 6 0 0 0
/proc/11999/statm: 70710 5644 376 364 0 5597 0
[pid=12001] ppid=11999 vsize=8204 CPUtime=10.17 cores=0,2,4,6
/proc/12001/stat : 12001 (pbct-0.1.2-linu) R 11999 12001 12001 0 -1 4202496 1942 0 0 0 873 144 0 0 25 0 1 0 869241873 8400896 1685 33554432000 134512640 136422188 4288352368 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/12001/statm: 2051 1685 213 467 0 1582 0
[pid=11984/tid=12000] ppid=11982 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/11984/task/12000/stat : 12000 (python) S 11982 11984 11775 0 -1 4202560 29 927 0 0 0 0 0 0 19 0 2 0 869241873 300118016 7142 33554432000 4194304 5683644 140736944425072 18446744073709551615 248101521841 0 0 16781312 33554434 18446604443733253120 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.64
Current children cumulated vsize (KiB) 584128
[startup+11.0011 s]
/proc/loadavg: 0.99 0.26 0.09 3/471 12040
/proc/meminfo: memFree=30097400/32950928 swapFree=45617076/67111528
[pid=11984] ppid=11982 vsize=293084 CPUtime=0.44 cores=0,2,4,6
/proc/11984/stat : 11984 (python) S 11982 11984 11775 0 -1 4202496 9634 927 1 0 33 11 0 0 19 0 2 0 869241811 300118016 7142 33554432000 4194304 5683644 140736944425072 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/11984/statm: 73271 7142 1870 364 0 8158 0
[pid=11999] ppid=11984 vsize=282840 CPUtime=0.03 cores=0,2,4,6
/proc/11999/stat : 11999 (python) S 11984 11984 11775 0 -1 4202560 867 0 0 0 2 1 0 0 18 0 1 0 869241872 289628160 5644 33554432000 4194304 5683644 140736944425072 18446744073709551615 248089718287 0 0 16781312 33554946 72556772316949198 0 0 17 6 0 0 0
/proc/11999/statm: 70710 5644 376 364 0 5597 0
[pid=12001] ppid=11999 vsize=8204 CPUtime=10.37 cores=0,2,4,6
/proc/12001/stat : 12001 (pbct-0.1.2-linu) R 11999 12001 12001 0 -1 4202496 1942 0 0 0 891 146 0 0 25 0 1 0 869241873 8400896 1685 33554432000 134512640 136422188 4288352368 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/12001/statm: 2051 1685 213 467 0 1582 0
[pid=11984/tid=12000] ppid=11982 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/11984/task/12000/stat : 12000 (python) S 11982 11984 11775 0 -1 4202560 29 927 0 0 0 0 0 0 19 0 2 0 869241873 300118016 7142 33554432000 4194304 5683644 140736944425072 18446744073709551615 248101521841 0 0 16781312 33554434 18446604443733253120 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.84
Current children cumulated vsize (KiB) 584128
[startup+11.1011 s]
/proc/loadavg: 0.99 0.26 0.09 3/471 12040
/proc/meminfo: memFree=30097400/32950928 swapFree=45617076/67111528
[pid=11984] ppid=11982 vsize=0 CPUtime=10.94 cores=0,2,4,6
/proc/11984/stat : 11984 (python) D 11982 11984 11775 0 -1 4202500 14037 4068 1 0 34 12 899 149 18 0 1 0 869241811 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/11984/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 10.94
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 11.1354
CPU time (s): 10.9673
CPU user time (s): 9.34958
CPU system time (s): 1.61775
CPU usage (%): 98.4904
Max. virtual memory (cumulated for all children) (KiB): 584128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.34958
system time used= 1.61775
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18105
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= 3719
involuntary context switches= 39
runsolver used 0.053991 second user time and 0.105983 second system time
The end