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-3482493-1307576410/watcher-3482493-1307576410 -o /tmp/evaluation-result-3482493-1307576410/solver-3482493-1307576410 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482493-1307576410.opb -seed 456707683 -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: 1.11 0.30 0.10 3/538 848
/proc/meminfo: memFree=29158780/32951124 swapFree=58212620/67111528
[pid=848] ppid=846 vsize=15084 CPUtime=0 cores=1,3,5,7
/proc/848/stat : 848 (python) R 846 848 758 0 -1 4202496 636 0 0 0 0 0 0 0 25 0 1 0 869239089 15446016 533 33554432000 4194304 5683644 140735879581184 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/848/statm: 3771 535 304 364 0 258 0
[startup+0.0810331 s]
/proc/loadavg: 1.11 0.30 0.10 3/538 848
/proc/meminfo: memFree=29158780/32951124 swapFree=58212620/67111528
[pid=848] ppid=846 vsize=50300 CPUtime=0.05 cores=1,3,5,7
/proc/848/stat : 848 (python) R 846 848 758 0 -1 4202496 2005 0 0 0 4 1 0 0 25 0 1 0 869239089 51507200 1765 33554432000 4194304 5683644 140735879581184 18446744073709551615 5114152 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/848/statm: 12575 1765 480 364 0 1275 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 50300
[startup+0.101032 s]
/proc/loadavg: 1.11 0.30 0.10 3/538 848
/proc/meminfo: memFree=29158780/32951124 swapFree=58212620/67111528
[pid=848] ppid=846 vsize=87824 CPUtime=0.07 cores=1,3,5,7
/proc/848/stat : 848 (python) R 846 848 758 0 -1 4202496 2696 0 0 0 5 2 0 0 25 0 1 0 869239089 89931776 2411 33554432000 4194304 5683644 140735879581184 18446744073709551615 228244345703 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/848/statm: 21956 2411 740 364 0 1621 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 87824
[startup+0.301057 s]
/proc/loadavg: 1.11 0.30 0.10 3/538 848
/proc/meminfo: memFree=29158780/32951124 swapFree=58212620/67111528
[pid=848] ppid=846 vsize=123740 CPUtime=0.17 cores=1,3,5,7
/proc/848/stat : 848 (python) S 846 848 758 0 -1 4202496 5355 930 1 0 12 5 0 0 17 0 1 0 869239089 126709760 3743 33554432000 4194304 5683644 140735879581184 18446744073709551615 228244344837 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/848/statm: 30935 3743 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.700925 s]
/proc/loadavg: 1.11 0.30 0.10 3/538 848
/proc/meminfo: memFree=29158780/32951124 swapFree=58212620/67111528
[pid=848] ppid=846 vsize=293084 CPUtime=0.43 cores=1,3,5,7
/proc/848/stat : 848 (python) S 846 848 758 0 -1 4202496 9631 930 1 0 32 11 0 0 18 0 2 0 869239089 300118016 7141 33554432000 4194304 5683644 140735879581184 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/848/statm: 73271 7141 1870 364 0 8158 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 293084
[startup+1.50082 s]
/proc/loadavg: 1.11 0.30 0.10 3/542 862
/proc/meminfo: memFree=29127992/32951124 swapFree=58212620/67111528
[pid=848] ppid=846 vsize=293084 CPUtime=0.43 cores=1,3,5,7
/proc/848/stat : 848 (python) S 846 848 758 0 -1 4202496 9631 930 1 0 32 11 0 0 18 0 2 0 869239089 300118016 7141 33554432000 4194304 5683644 140735879581184 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/848/statm: 73271 7141 1870 364 0 8158 0
[pid=860] ppid=848 vsize=282840 CPUtime=0 cores=1,3,5,7
/proc/860/stat : 860 (python) S 848 848 758 0 -1 4202560 728 0 0 0 0 0 0 0 18 0 1 0 869239159 289628160 5619 33554432000 4194304 5683644 140735879581184 18446744073709551615 228244368911 0 0 16781312 33554946 4454524064031015172 0 0 17 7 0 0 0
/proc/860/statm: 70710 5619 352 364 0 5597 0
[pid=862] ppid=860 vsize=7696 CPUtime=0.79 cores=1,3,5,7
/proc/862/stat : 862 (pbct-0.1.2-linu) R 860 862 862 0 -1 4202496 1805 0 0 0 66 13 0 0 21 0 1 0 869239159 7880704 1549 33554432000 134512640 136422188 4294585296 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/862/statm: 1924 1549 213 467 0 1455 0
[pid=848/tid=861] ppid=846 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/848/task/861/stat : 861 (python) S 846 848 758 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 869239159 300118016 7141 33554432000 4194304 5683644 140735879581184 18446744073709551615 228256172465 0 0 16781312 33554434 18446604463052158784 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 583620
[startup+3.10054 s]
/proc/loadavg: 1.11 0.30 0.10 3/542 862
/proc/meminfo: memFree=29126628/32951124 swapFree=58212620/67111528
[pid=848] ppid=846 vsize=293084 CPUtime=0.43 cores=1,3,5,7
/proc/848/stat : 848 (python) S 846 848 758 0 -1 4202496 9631 930 1 0 32 11 0 0 18 0 2 0 869239089 300118016 7141 33554432000 4194304 5683644 140735879581184 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/848/statm: 73271 7141 1870 364 0 8158 0
[pid=860] ppid=848 vsize=282840 CPUtime=0 cores=1,3,5,7
/proc/860/stat : 860 (python) S 848 848 758 0 -1 4202560 730 0 0 0 0 0 0 0 18 0 1 0 869239159 289628160 5619 33554432000 4194304 5683644 140735879581184 18446744073709551615 228244368911 0 0 16781312 33554946 4454524064031015172 0 0 17 7 0 0 0
/proc/860/statm: 70710 5619 352 364 0 5597 0
[pid=862] ppid=860 vsize=7956 CPUtime=2.39 cores=1,3,5,7
/proc/862/stat : 862 (pbct-0.1.2-linu) R 860 862 862 0 -1 4202496 1855 0 0 0 189 50 0 0 25 0 1 0 869239159 8146944 1599 33554432000 134512640 136422188 4294585296 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/862/statm: 1989 1599 213 467 0 1520 0
[pid=848/tid=861] ppid=846 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/848/task/861/stat : 861 (python) S 846 848 758 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 869239159 300118016 7141 33554432000 4194304 5683644 140735879581184 18446744073709551615 228256172465 0 0 16781312 33554434 18446604463052158784 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 583880
[startup+6.30098 s]
/proc/loadavg: 1.34 0.36 0.12 3/542 862
/proc/meminfo: memFree=29121668/32951124 swapFree=58212620/67111528
[pid=848] ppid=846 vsize=293084 CPUtime=0.43 cores=1,3,5,7
/proc/848/stat : 848 (python) S 846 848 758 0 -1 4202496 9631 930 1 0 32 11 0 0 18 0 2 0 869239089 300118016 7141 33554432000 4194304 5683644 140735879581184 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/848/statm: 73271 7141 1870 364 0 8158 0
[pid=860] ppid=848 vsize=282840 CPUtime=0.01 cores=1,3,5,7
/proc/860/stat : 860 (python) S 848 848 758 0 -1 4202560 876 0 0 0 0 1 0 0 18 0 1 0 869239159 289628160 5643 33554432000 4194304 5683644 140735879581184 18446744073709551615 228244368911 0 0 16781312 33554946 4454533135001944324 0 0 17 5 0 0 0
/proc/860/statm: 70710 5643 376 364 0 5597 0
[pid=862] ppid=860 vsize=8084 CPUtime=5.58 cores=1,3,5,7
/proc/862/stat : 862 (pbct-0.1.2-linu) R 860 862 862 0 -1 4202496 1901 0 0 0 441 117 0 0 25 0 1 0 869239159 8278016 1645 33554432000 134512640 136422188 4294585296 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 3 0 0 0
/proc/862/statm: 2021 1645 213 467 0 1552 0
[pid=848/tid=861] ppid=846 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/848/task/861/stat : 861 (python) S 846 848 758 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 869239159 300118016 7141 33554432000 4194304 5683644 140735879581184 18446744073709551615 228256172465 0 0 16781312 33554434 18446604463052158784 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 584008
Solver just ended. Dumping a history of the last processes samples
[startup+7.90069 s]
/proc/loadavg: 1.34 0.36 0.12 3/542 862
/proc/meminfo: memFree=29117452/32951124 swapFree=58212620/67111528
[pid=848] ppid=846 vsize=293084 CPUtime=0.43 cores=1,3,5,7
/proc/848/stat : 848 (python) S 846 848 758 0 -1 4202496 9631 930 1 0 32 11 0 0 18 0 2 0 869239089 300118016 7141 33554432000 4194304 5683644 140735879581184 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/848/statm: 73271 7141 1870 364 0 8158 0
[pid=860] ppid=848 vsize=282840 CPUtime=0.01 cores=1,3,5,7
/proc/860/stat : 860 (python) S 848 848 758 0 -1 4202560 876 0 0 0 0 1 0 0 18 0 1 0 869239159 289628160 5643 33554432000 4194304 5683644 140735879581184 18446744073709551615 228244368911 0 0 16781312 33554946 4454533135001944324 0 0 17 5 0 0 0
/proc/860/statm: 70710 5643 376 364 0 5597 0
[pid=862] ppid=860 vsize=8084 CPUtime=7.18 cores=1,3,5,7
/proc/862/stat : 862 (pbct-0.1.2-linu) R 860 862 862 0 -1 4202496 1901 0 0 0 568 150 0 0 25 0 1 0 869239159 8278016 1645 33554432000 134512640 136422188 4294585296 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 3 0 0 0
/proc/862/statm: 2021 1645 213 467 0 1552 0
[pid=848/tid=861] ppid=846 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/848/task/861/stat : 861 (python) S 846 848 758 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 869239159 300118016 7141 33554432000 4194304 5683644 140735879581184 18446744073709551615 228256172465 0 0 16781312 33554434 18446604463052158784 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.62
Current children cumulated vsize (KiB) 584008
[startup+8.30062 s]
/proc/loadavg: 1.34 0.36 0.12 3/542 862
/proc/meminfo: memFree=29117452/32951124 swapFree=58212620/67111528
[pid=848] ppid=846 vsize=293084 CPUtime=0.43 cores=1,3,5,7
/proc/848/stat : 848 (python) S 846 848 758 0 -1 4202496 9631 930 1 0 32 11 0 0 18 0 2 0 869239089 300118016 7141 33554432000 4194304 5683644 140735879581184 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/848/statm: 73271 7141 1870 364 0 8158 0
[pid=860] ppid=848 vsize=282840 CPUtime=0.01 cores=1,3,5,7
/proc/860/stat : 860 (python) S 848 848 758 0 -1 4202560 876 0 0 0 0 1 0 0 18 0 1 0 869239159 289628160 5643 33554432000 4194304 5683644 140735879581184 18446744073709551615 228244368911 0 0 16781312 33554946 4454533135001944324 0 0 17 5 0 0 0
/proc/860/statm: 70710 5643 376 364 0 5597 0
[pid=862] ppid=860 vsize=8084 CPUtime=7.59 cores=1,3,5,7
/proc/862/stat : 862 (pbct-0.1.2-linu) R 860 862 862 0 -1 4202496 1901 0 0 0 601 158 0 0 25 0 1 0 869239159 8278016 1645 33554432000 134512640 136422188 4294585296 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 3 0 0 0
/proc/862/statm: 2021 1645 213 467 0 1552 0
[pid=848/tid=861] ppid=846 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/848/task/861/stat : 861 (python) S 846 848 758 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 869239159 300118016 7141 33554432000 4194304 5683644 140735879581184 18446744073709551615 228256172465 0 0 16781312 33554434 18446604463052158784 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 8.03
Current children cumulated vsize (KiB) 584008
[startup+8.50058 s]
/proc/loadavg: 1.34 0.36 0.12 3/542 862
/proc/meminfo: memFree=29117452/32951124 swapFree=58212620/67111528
[pid=848] ppid=846 vsize=293084 CPUtime=0.43 cores=1,3,5,7
/proc/848/stat : 848 (python) S 846 848 758 0 -1 4202496 9631 930 1 0 32 11 0 0 18 0 2 0 869239089 300118016 7141 33554432000 4194304 5683644 140735879581184 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/848/statm: 73271 7141 1870 364 0 8158 0
[pid=860] ppid=848 vsize=282840 CPUtime=0.01 cores=1,3,5,7
/proc/860/stat : 860 (python) S 848 848 758 0 -1 4202560 876 0 0 0 0 1 0 0 18 0 1 0 869239159 289628160 5643 33554432000 4194304 5683644 140735879581184 18446744073709551615 228244368911 0 0 16781312 33554946 4454533135001944324 0 0 17 5 0 0 0
/proc/860/statm: 70710 5643 376 364 0 5597 0
[pid=862] ppid=860 vsize=8084 CPUtime=7.78 cores=1,3,5,7
/proc/862/stat : 862 (pbct-0.1.2-linu) R 860 862 862 0 -1 4202496 1901 0 0 0 617 161 0 0 25 0 1 0 869239159 8278016 1645 33554432000 134512640 136422188 4294585296 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 3 0 0 0
/proc/862/statm: 2021 1645 213 467 0 1552 0
[pid=848/tid=861] ppid=846 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/848/task/861/stat : 861 (python) S 846 848 758 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 869239159 300118016 7141 33554432000 4194304 5683644 140735879581184 18446744073709551615 228256172465 0 0 16781312 33554434 18446604463052158784 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 8.22
Current children cumulated vsize (KiB) 584008
[startup+8.60057 s]
/proc/loadavg: 1.34 0.36 0.12 3/542 862
/proc/meminfo: memFree=29117452/32951124 swapFree=58212620/67111528
[pid=848] ppid=846 vsize=293084 CPUtime=0.43 cores=1,3,5,7
/proc/848/stat : 848 (python) S 846 848 758 0 -1 4202496 9631 930 1 0 32 11 0 0 18 0 2 0 869239089 300118016 7141 33554432000 4194304 5683644 140735879581184 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/848/statm: 73271 7141 1870 364 0 8158 0
[pid=860] ppid=848 vsize=282840 CPUtime=0.01 cores=1,3,5,7
/proc/860/stat : 860 (python) S 848 848 758 0 -1 4202560 876 0 0 0 0 1 0 0 18 0 1 0 869239159 289628160 5643 33554432000 4194304 5683644 140735879581184 18446744073709551615 228244368911 0 0 16781312 33554946 4454533135001944324 0 0 17 5 0 0 0
/proc/860/statm: 70710 5643 376 364 0 5597 0
[pid=862] ppid=860 vsize=8084 CPUtime=7.89 cores=1,3,5,7
/proc/862/stat : 862 (pbct-0.1.2-linu) R 860 862 862 0 -1 4202496 1901 0 0 0 625 164 0 0 25 0 1 0 869239159 8278016 1645 33554432000 134512640 136422188 4294585296 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 3 0 0 0
/proc/862/statm: 2021 1645 213 467 0 1552 0
[pid=848/tid=861] ppid=846 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/848/task/861/stat : 861 (python) S 846 848 758 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 869239159 300118016 7141 33554432000 4194304 5683644 140735879581184 18446744073709551615 228256172465 0 0 16781312 33554434 18446604463052158784 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 8.33
Current children cumulated vsize (KiB) 584008
Child status: 0
Real time (s): 8.69772
CPU time (s): 8.47171
CPU user time (s): 6.66799
CPU system time (s): 1.80372
CPU usage (%): 97.4016
Max. virtual memory (cumulated for all children) (KiB): 584008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.66799
system time used= 1.80373
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18069
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= 2654
involuntary context switches= 56
runsolver used 0.05999 second user time and 0.113982 second system time
The end