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-3482510-1307576420/watcher-3482510-1307576420 -o /tmp/evaluation-result-3482510-1307576420/solver-3482510-1307576420 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482510-1307576420.opb -seed 1300517719 -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.34 0.36 0.12 2/538 890
/proc/meminfo: memFree=29131988/32951124 swapFree=58212620/67111528
[pid=890] ppid=888 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/890/stat : 890 (python) R 888 890 758 0 -1 4202496 702 0 0 0 0 0 0 0 25 0 1 0 869240043 15548416 593 33554432000 4194304 5683644 140734921978896 18446744073709551615 5147776 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/890/statm: 3796 595 319 364 0 283 0
[startup+0.119298 s]
/proc/loadavg: 1.34 0.36 0.12 2/538 890
/proc/meminfo: memFree=29131988/32951124 swapFree=58212620/67111528
[pid=890] ppid=888 vsize=98184 CPUtime=0.09 cores=1,3,5,7
/proc/890/stat : 890 (python) S 888 890 758 0 -1 4202496 3455 930 1 0 7 2 0 0 18 0 1 0 869240043 100540416 2486 33554432000 4194304 5683644 140734921978896 18446744073709551615 228244346880 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/890/statm: 24546 2486 794 364 0 1626 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 98184
[startup+0.20179 s]
/proc/loadavg: 1.34 0.36 0.12 2/538 890
/proc/meminfo: memFree=29131988/32951124 swapFree=58212620/67111528
[pid=890] ppid=888 vsize=123740 CPUtime=0.14 cores=1,3,5,7
/proc/890/stat : 890 (python) S 888 890 758 0 -1 4202496 5356 930 1 0 11 3 0 0 17 0 1 0 869240043 126709760 3743 33554432000 4194304 5683644 140734921978896 18446744073709551615 228244346880 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/890/statm: 30935 3743 987 364 0 2767 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123740
[startup+0.30114 s]
/proc/loadavg: 1.34 0.36 0.12 2/538 890
/proc/meminfo: memFree=29131988/32951124 swapFree=58212620/67111528
[pid=890] ppid=888 vsize=123740 CPUtime=0.18 cores=1,3,5,7
/proc/890/stat : 890 (python) S 888 890 758 0 -1 4202496 5359 930 1 0 13 5 0 0 17 0 1 0 869240043 126709760 3746 33554432000 4194304 5683644 140734921978896 18446744073709551615 228244344837 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/890/statm: 30935 3746 987 364 0 2767 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123740
[startup+0.706145 s]
/proc/loadavg: 1.34 0.36 0.12 2/538 890
/proc/meminfo: memFree=29131988/32951124 swapFree=58212620/67111528
[pid=890] ppid=888 vsize=293084 CPUtime=0.42 cores=1,3,5,7
/proc/890/stat : 890 (python) S 888 890 758 0 -1 4202496 9629 930 1 0 32 10 0 0 18 0 2 0 869240043 300118016 7142 33554432000 4194304 5683644 140734921978896 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/890/statm: 73271 7142 1870 364 0 8158 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 293084
[startup+1.50096 s]
/proc/loadavg: 1.39 0.39 0.13 3/542 898
/proc/meminfo: memFree=29099124/32951124 swapFree=58212620/67111528
[pid=890] ppid=888 vsize=293084 CPUtime=0.42 cores=1,3,5,7
/proc/890/stat : 890 (python) S 888 890 758 0 -1 4202496 9629 930 1 0 32 10 0 0 18 0 2 0 869240043 300118016 7142 33554432000 4194304 5683644 140734921978896 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/890/statm: 73271 7142 1870 364 0 8158 0
[pid=896] ppid=890 vsize=282840 CPUtime=0 cores=1,3,5,7
/proc/896/stat : 896 (python) S 890 890 758 0 -1 4202560 724 0 0 0 0 0 0 0 17 0 1 0 869240104 289628160 5620 33554432000 4194304 5683644 140734921978896 18446744073709551615 228244368911 0 0 16781312 33554946 1430347637122367750 0 0 17 5 0 0 0
/proc/896/statm: 70710 5620 352 364 0 5597 0
[pid=898] ppid=896 vsize=7820 CPUtime=0.88 cores=1,3,5,7
/proc/898/stat : 898 (pbct-0.1.2-linu) R 896 898 898 0 -1 4202496 1825 0 0 0 67 21 0 0 20 0 1 0 869240104 8007680 1570 33554432000 134512640 136422188 4291093136 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 5 0 0 0
/proc/898/statm: 1955 1570 213 467 0 1486 0
[pid=890/tid=897] ppid=888 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/890/task/897/stat : 897 (python) S 888 890 758 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 869240104 300118016 7142 33554432000 4194304 5683644 140734921978896 18446744073709551615 228256172465 0 0 16781312 33554434 18446604470783339456 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 583744
[startup+3.10068 s]
/proc/loadavg: 1.39 0.39 0.13 3/542 898
/proc/meminfo: memFree=29095652/32951124 swapFree=58212620/67111528
[pid=890] ppid=888 vsize=293084 CPUtime=0.42 cores=1,3,5,7
/proc/890/stat : 890 (python) S 888 890 758 0 -1 4202496 9629 930 1 0 32 10 0 0 18 0 2 0 869240043 300118016 7142 33554432000 4194304 5683644 140734921978896 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/890/statm: 73271 7142 1870 364 0 8158 0
[pid=896] ppid=890 vsize=282840 CPUtime=0 cores=1,3,5,7
/proc/896/stat : 896 (python) S 890 890 758 0 -1 4202560 727 0 0 0 0 0 0 0 15 0 1 0 869240104 289628160 5620 33554432000 4194304 5683644 140734921978896 18446744073709551615 228244368911 0 0 16781312 33554946 1430347637122367750 0 0 17 5 0 0 0
/proc/896/statm: 70710 5620 352 364 0 5597 0
[pid=898] ppid=896 vsize=7952 CPUtime=2.48 cores=1,3,5,7
/proc/898/stat : 898 (pbct-0.1.2-linu) R 896 898 898 0 -1 4202496 1857 0 0 0 195 53 0 0 25 0 1 0 869240104 8142848 1602 33554432000 134512640 136422188 4291093136 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 5 0 0 0
/proc/898/statm: 1988 1602 213 467 0 1519 0
[pid=890/tid=897] ppid=888 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/890/task/897/stat : 897 (python) S 888 890 758 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 869240104 300118016 7142 33554432000 4194304 5683644 140734921978896 18446744073709551615 228256172465 0 0 16781312 33554434 18446604470783339456 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 583876
[startup+6.30112 s]
/proc/loadavg: 1.44 0.42 0.14 3/542 899
/proc/meminfo: memFree=29098432/32951124 swapFree=58212620/67111528
[pid=890] ppid=888 vsize=293084 CPUtime=0.42 cores=1,3,5,7
/proc/890/stat : 890 (python) S 888 890 758 0 -1 4202496 9629 930 1 0 32 10 0 0 18 0 2 0 869240043 300118016 7142 33554432000 4194304 5683644 140734921978896 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/890/statm: 73271 7142 1870 364 0 8158 0
[pid=896] ppid=890 vsize=282840 CPUtime=0.01 cores=1,3,5,7
/proc/896/stat : 896 (python) S 890 890 758 0 -1 4202560 863 0 0 0 0 1 0 0 15 0 1 0 869240104 289628160 5644 33554432000 4194304 5683644 140734921978896 18446744073709551615 228244368911 0 0 16781312 33554946 11279491323763065094 0 0 17 3 0 0 0
/proc/896/statm: 70710 5644 376 364 0 5597 0
[pid=898] ppid=896 vsize=8080 CPUtime=5.67 cores=1,3,5,7
/proc/898/stat : 898 (pbct-0.1.2-linu) R 896 898 898 0 -1 4202496 1897 0 0 0 451 116 0 0 25 0 1 0 869240104 8273920 1642 33554432000 134512640 136422188 4291093136 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 5 0 0 0
/proc/898/statm: 2020 1642 213 467 0 1551 0
[pid=890/tid=897] ppid=888 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/890/task/897/stat : 897 (python) S 888 890 758 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 869240104 300118016 7142 33554432000 4194304 5683644 140734921978896 18446744073709551615 228256172465 0 0 16781312 33554434 18446604470783339456 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 584004
Solver just ended. Dumping a history of the last processes samples
[startup+6.4011 s]
/proc/loadavg: 1.44 0.42 0.14 3/542 899
/proc/meminfo: memFree=29098432/32951124 swapFree=58212620/67111528
[pid=890] ppid=888 vsize=293084 CPUtime=0.42 cores=1,3,5,7
/proc/890/stat : 890 (python) S 888 890 758 0 -1 4202496 9629 930 1 0 32 10 0 0 18 0 2 0 869240043 300118016 7142 33554432000 4194304 5683644 140734921978896 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/890/statm: 73271 7142 1870 364 0 8158 0
[pid=896] ppid=890 vsize=282840 CPUtime=0.01 cores=1,3,5,7
/proc/896/stat : 896 (python) S 890 890 758 0 -1 4202560 863 0 0 0 0 1 0 0 15 0 1 0 869240104 289628160 5644 33554432000 4194304 5683644 140734921978896 18446744073709551615 228244368911 0 0 16781312 33554946 11279491323763065094 0 0 17 3 0 0 0
/proc/896/statm: 70710 5644 376 364 0 5597 0
[pid=898] ppid=896 vsize=8080 CPUtime=5.77 cores=1,3,5,7
/proc/898/stat : 898 (pbct-0.1.2-linu) R 896 898 898 0 -1 4202496 1897 0 0 0 458 119 0 0 25 0 1 0 869240104 8273920 1642 33554432000 134512640 136422188 4291093136 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 5 0 0 0
/proc/898/statm: 2020 1642 213 467 0 1551 0
[pid=890/tid=897] ppid=888 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/890/task/897/stat : 897 (python) S 888 890 758 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 869240104 300118016 7142 33554432000 4194304 5683644 140734921978896 18446744073709551615 228256172465 0 0 16781312 33554434 18446604470783339456 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 584004
[startup+7.20096 s]
/proc/loadavg: 1.44 0.42 0.14 3/542 899
/proc/meminfo: memFree=29098556/32951124 swapFree=58212620/67111528
[pid=890] ppid=888 vsize=293084 CPUtime=0.42 cores=1,3,5,7
/proc/890/stat : 890 (python) S 888 890 758 0 -1 4202496 9629 930 1 0 32 10 0 0 18 0 2 0 869240043 300118016 7142 33554432000 4194304 5683644 140734921978896 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/890/statm: 73271 7142 1870 364 0 8158 0
[pid=896] ppid=890 vsize=282840 CPUtime=0.01 cores=1,3,5,7
/proc/896/stat : 896 (python) S 890 890 758 0 -1 4202560 863 0 0 0 0 1 0 0 15 0 1 0 869240104 289628160 5644 33554432000 4194304 5683644 140734921978896 18446744073709551615 228244368911 0 0 16781312 33554946 11279491323763065094 0 0 17 3 0 0 0
/proc/896/statm: 70710 5644 376 364 0 5597 0
[pid=898] ppid=896 vsize=8080 CPUtime=6.57 cores=1,3,5,7
/proc/898/stat : 898 (pbct-0.1.2-linu) R 896 898 898 0 -1 4202496 1897 0 0 0 520 137 0 0 25 0 1 0 869240104 8273920 1642 33554432000 134512640 136422188 4291093136 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 5 0 0 0
/proc/898/statm: 2020 1642 213 467 0 1551 0
[pid=890/tid=897] ppid=888 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/890/task/897/stat : 897 (python) S 888 890 758 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 869240104 300118016 7142 33554432000 4194304 5683644 140734921978896 18446744073709551615 228256172465 0 0 16781312 33554434 18446604470783339456 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7
Current children cumulated vsize (KiB) 584004
[startup+7.60089 s]
/proc/loadavg: 1.44 0.42 0.14 3/542 899
/proc/meminfo: memFree=29098556/32951124 swapFree=58212620/67111528
[pid=890] ppid=888 vsize=293084 CPUtime=0.42 cores=1,3,5,7
/proc/890/stat : 890 (python) S 888 890 758 0 -1 4202496 9629 930 1 0 32 10 0 0 18 0 2 0 869240043 300118016 7142 33554432000 4194304 5683644 140734921978896 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/890/statm: 73271 7142 1870 364 0 8158 0
[pid=896] ppid=890 vsize=282840 CPUtime=0.01 cores=1,3,5,7
/proc/896/stat : 896 (python) S 890 890 758 0 -1 4202560 863 0 0 0 0 1 0 0 15 0 1 0 869240104 289628160 5644 33554432000 4194304 5683644 140734921978896 18446744073709551615 228244368911 0 0 16781312 33554946 11279491323763065094 0 0 17 3 0 0 0
/proc/896/statm: 70710 5644 376 364 0 5597 0
[pid=898] ppid=896 vsize=8080 CPUtime=6.97 cores=1,3,5,7
/proc/898/stat : 898 (pbct-0.1.2-linu) R 896 898 898 0 -1 4202496 1898 0 0 0 551 146 0 0 25 0 1 0 869240104 8273920 1643 33554432000 134512640 136422188 4291093136 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 5 0 0 0
/proc/898/statm: 2020 1643 213 467 0 1551 0
[pid=890/tid=897] ppid=888 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/890/task/897/stat : 897 (python) S 888 890 758 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 869240104 300118016 7142 33554432000 4194304 5683644 140734921978896 18446744073709551615 228256172465 0 0 16781312 33554434 18446604470783339456 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (KiB) 584004
[startup+8.00083 s]
/proc/loadavg: 1.44 0.42 0.14 3/542 899
/proc/meminfo: memFree=29097132/32951124 swapFree=58212620/67111528
[pid=890] ppid=888 vsize=293084 CPUtime=0.42 cores=1,3,5,7
/proc/890/stat : 890 (python) S 888 890 758 0 -1 4202496 9629 930 1 0 32 10 0 0 18 0 2 0 869240043 300118016 7142 33554432000 4194304 5683644 140734921978896 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/890/statm: 73271 7142 1870 364 0 8158 0
[pid=896] ppid=890 vsize=282840 CPUtime=0.01 cores=1,3,5,7
/proc/896/stat : 896 (python) S 890 890 758 0 -1 4202560 863 0 0 0 0 1 0 0 15 0 1 0 869240104 289628160 5644 33554432000 4194304 5683644 140734921978896 18446744073709551615 228244368911 0 0 16781312 33554946 11279491323763065094 0 0 17 3 0 0 0
/proc/896/statm: 70710 5644 376 364 0 5597 0
[pid=898] ppid=896 vsize=8080 CPUtime=7.37 cores=1,3,5,7
/proc/898/stat : 898 (pbct-0.1.2-linu) R 896 898 898 0 -1 4202496 1898 0 0 0 582 155 0 0 25 0 1 0 869240104 8273920 1643 33554432000 134512640 136422188 4291093136 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 5 0 0 0
/proc/898/statm: 2020 1643 213 467 0 1551 0
[pid=890/tid=897] ppid=888 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/890/task/897/stat : 897 (python) S 888 890 758 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 869240104 300118016 7142 33554432000 4194304 5683644 140734921978896 18446744073709551615 228256172465 0 0 16781312 33554434 18446604470783339456 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.8
Current children cumulated vsize (KiB) 584004
Child status: 0
Real time (s): 8.06902
CPU time (s): 7.9168
CPU user time (s): 6.21406
CPU system time (s): 1.70274
CPU usage (%): 98.1134
Max. virtual memory (cumulated for all children) (KiB): 584004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.21406
system time used= 1.70274
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18051
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= 1780
involuntary context switches= 64
runsolver used 0.034994 second user time and 0.119981 second system time
The end