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-3482028-1307576719/watcher-3482028-1307576719 -o /tmp/evaluation-result-3482028-1307576719/solver-3482028-1307576719 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482028-1307576719.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: 2.09 1.37 0.61 3/574 8120
/proc/meminfo: memFree=20889244/32951124 swapFree=64303752/67111528
[pid=8120] ppid=8118 vsize=15184 CPUtime=0 cores=0,2,4,6
/proc/8120/stat : 8120 (python) S 8118 8120 7805 0 -1 4202496 727 0 0 0 0 0 0 0 22 0 1 0 850087799 15548416 616 33554432000 4194304 5683644 140736676093296 18446744073709551615 233510295552 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 0
/proc/8120/statm: 3796 616 322 364 0 283 0
[startup+0.0705791 s]
/proc/loadavg: 2.09 1.37 0.61 3/574 8120
/proc/meminfo: memFree=20889244/32951124 swapFree=64303752/67111528
[pid=8120] ppid=8118 vsize=36504 CPUtime=0.03 cores=0,2,4,6
/proc/8120/stat : 8120 (python) S 8118 8120 7805 0 -1 4202496 1577 0 0 0 3 0 0 0 22 0 1 0 850087799 37380096 1411 33554432000 4194304 5683644 140736676093296 18446744073709551615 233510295552 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 0
/proc/8120/statm: 9127 1412 452 364 0 944 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 36504
[startup+0.100564 s]
/proc/loadavg: 2.09 1.37 0.61 3/574 8120
/proc/meminfo: memFree=20889244/32951124 swapFree=64303752/67111528
[pid=8120] ppid=8118 vsize=85616 CPUtime=0.06 cores=0,2,4,6
/proc/8120/stat : 8120 (python) S 8118 8120 7805 0 -1 4202496 2663 0 0 0 5 1 0 0 22 0 1 0 850087799 87670784 2381 33554432000 4194304 5683644 140736676093296 18446744073709551615 233510295552 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 0
/proc/8120/statm: 21404 2381 715 364 0 1621 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85616
[startup+0.300516 s]
/proc/loadavg: 2.09 1.37 0.61 3/574 8120
/proc/meminfo: memFree=20889244/32951124 swapFree=64303752/67111528
[pid=8120] ppid=8118 vsize=123740 CPUtime=0.16 cores=0,2,4,6
/proc/8120/stat : 8120 (python) R 8118 8120 7805 0 -1 4202496 5357 928 1 0 12 4 0 0 17 0 1 0 850087799 126709760 3744 33554432000 4194304 5683644 140736676093296 18446744073709551615 233510293509 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/8120/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123740
[startup+0.700479 s]
/proc/loadavg: 2.09 1.37 0.61 3/574 8120
/proc/meminfo: memFree=20889244/32951124 swapFree=64303752/67111528
[pid=8120] ppid=8118 vsize=282692 CPUtime=0.44 cores=0,2,4,6
/proc/8120/stat : 8120 (python) R 8118 8120 7805 0 -1 4202496 9117 928 1 0 32 12 0 0 16 0 1 0 850087799 289476608 6979 33554432000 4194304 5683644 140736676093296 18446744073709551615 47991944755909 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/8120/statm: 70673 6980 1781 364 0 5566 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 282692
Solver just ended. Dumping a history of the last processes samples
[startup+0.90041 s]
/proc/loadavg: 2.09 1.37 0.61 3/574 8120
/proc/meminfo: memFree=20889244/32951124 swapFree=64303752/67111528
[pid=8120] ppid=8118 vsize=293252 CPUtime=0.48 cores=0,2,4,6
/proc/8120/stat : 8120 (python) S 8118 8120 7805 0 -1 4202496 9665 928 1 0 36 12 0 0 18 0 2 0 850087799 300290048 7175 33554432000 4194304 5683644 140736676093296 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/8120/statm: 73313 7175 1870 364 0 8200 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 293252
[startup+1.00039 s]
/proc/loadavg: 2.09 1.37 0.61 5/596 8147
/proc/meminfo: memFree=20843252/32951124 swapFree=64303752/67111528
[pid=8120] ppid=8118 vsize=293252 CPUtime=0.48 cores=0,2,4,6
/proc/8120/stat : 8120 (python) S 8118 8120 7805 0 -1 4202496 9665 928 1 0 36 12 0 0 18 0 2 0 850087799 300290048 7175 33554432000 4194304 5683644 140736676093296 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/8120/statm: 73313 7175 1870 364 0 8200 0
[pid=8126] ppid=8120 vsize=283008 CPUtime=0 cores=0,2,4,6
/proc/8126/stat : 8126 (python) S 8120 8120 7805 0 -1 4202560 755 0 0 0 0 0 0 0 16 0 1 0 850087874 289800192 5653 33554432000 4194304 5683644 140736676093296 18446744073709551615 233510317583 0 0 16781312 33554946 4051470108042723328 0 0 17 0 0 0 0
/proc/8126/statm: 70752 5653 352 364 0 5639 0
[pid=8128] ppid=8126 vsize=8537340 CPUtime=0.38 cores=0,2,4,6
/proc/8128/stat : 8128 (java) S 8126 8128 8128 0 -1 4202496 7705 0 1 0 37 1 0 0 19 0 19 0 850087874 8742236160 6933 33554432000 1073741824 1073778376 140735204079776 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8128/statm: 2134335 6933 2201 9 0 2125076 0
[pid=8128/tid=8129] ppid=8126 vsize=8537340 CPUtime=0.23 cores=0,2,4,6
/proc/8128/task/8129/stat : 8129 (java) S 8126 8128 8128 0 -1 4202560 4328 0 1 0 22 1 0 0 19 0 18 0 850087875 8742236160 6895 33554432000 1073741824 1073778376 140735204079776 18446744073709551615 233522113433 0 4 0 16800975 18446604447820121984 0 0 -1 0 0 0 0
[pid=8128/tid=8130] ppid=8126 vsize=8537340 CPUtime=0 cores=0,2,4,6
/proc/8128/task/8130/stat : 8130 (java) S 8126 8128 8128 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 850087875 8742236160 6895 33554432000 1073741824 1073778376 140735204079776 18446744073709551615 233522113433 0 4 0 16800975 18446604447820121984 0 0 -1 4 0 0 0
[pid=8128/tid=8131] ppid=8126 vsize=8537340 CPUtime=0 cores=0,2,4,6
/proc/8128/task/8131/stat : 8131 (java) S 8126 8128 8128 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 850087875 8742236160 6895 33554432000 1073741824 1073778376 140735204079776 18446744073709551615 233522113433 0 4 0 16800975 18446604447820121984 0 0 -1 4 0 0 0
[pid=8128/tid=8132] ppid=8126 vsize=8537340 CPUtime=0 cores=0,2,4,6
/proc/8128/task/8132/stat : 8132 (java) S 8126 8128 8128 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 850087875 8742236160 6895 33554432000 1073741824 1073778376 140735204079776 18446744073709551615 233522113433 0 4 0 16800975 18446604447820121984 0 0 -1 4 0 0 0
[pid=8128/tid=8133] ppid=8126 vsize=8537340 CPUtime=0 cores=0,2,4,6
/proc/8128/task/8133/stat : 8133 (java) S 8126 8128 8128 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 850087875 8742236160 6895 33554432000 1073741824 1073778376 140735204079776 18446744073709551615 233522113433 0 4 0 16800975 18446604447820121984 0 0 -1 4 0 0 0
[pid=8128/tid=8134] ppid=8126 vsize=8537340 CPUtime=0 cores=0,2,4,6
/proc/8128/task/8134/stat : 8134 (java) S 8126 8128 8128 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850087875 8742236160 6895 33554432000 1073741824 1073778376 140735204079776 18446744073709551615 233522113433 0 4 0 16800975 18446604447820121984 0 0 -1 6 0 0 0
[pid=8128/tid=8135] ppid=8126 vsize=8537340 CPUtime=0 cores=0,2,4,6
/proc/8128/task/8135/stat : 8135 (java) S 8126 8128 8128 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850087875 8742236160 6895 33554432000 1073741824 1073778376 140735204079776 18446744073709551615 233522113433 0 4 0 16800975 18446604447820121984 0 0 -1 6 0 0 0
[pid=8128/tid=8136] ppid=8126 vsize=8537340 CPUtime=0 cores=0,2,4,6
/proc/8128/task/8136/stat : 8136 (java) S 8126 8128 8128 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850087875 8742236160 6895 33554432000 1073741824 1073778376 140735204079776 18446744073709551615 233522113433 0 4 0 16800975 18446604447820121984 0 0 -1 6 0 0 0
[pid=8128/tid=8137] ppid=8126 vsize=8537340 CPUtime=0 cores=0,2,4,6
/proc/8128/task/8137/stat : 8137 (java) S 8126 8128 8128 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850087875 8742236160 6895 33554432000 1073741824 1073778376 140735204079776 18446744073709551615 233522113433 0 4 0 16800975 18446604447820121984 0 0 -1 6 0 0 0
[pid=8128/tid=8138] ppid=8126 vsize=8537340 CPUtime=0 cores=0,2,4,6
/proc/8128/task/8138/stat : 8138 (java) S 8126 8128 8128 0 -1 4202560 3 0 0 0 0 0 0 0 23 0 18 0 850087876 8742236160 6895 33554432000 1073741824 1073778376 140735204079776 18446744073709551615 233522114048 0 0 0 16800975 18446604447820121984 0 0 -1 0 0 0 0
[pid=8128/tid=8139] ppid=8126 vsize=8537340 CPUtime=0 cores=0,2,4,6
/proc/8128/task/8139/stat : 8139 (java) S 8126 8128 8128 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 850087877 8742236160 6895 33554432000 1073741824 1073778376 140735204079776 18446744073709551615 233522113433 0 4 0 16800975 18446604447820121984 0 0 -1 4 0 0 0
[pid=8128/tid=8140] ppid=8126 vsize=8537340 CPUtime=0 cores=0,2,4,6
/proc/8128/task/8140/stat : 8140 (java) S 8126 8128 8128 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 850087877 8742236160 6895 33554432000 1073741824 1073778376 140735204079776 18446744073709551615 233522113433 0 4 0 16800975 18446604447820121984 0 0 -1 4 0 0 0
[pid=8128/tid=8141] ppid=8126 vsize=8537340 CPUtime=0 cores=0,2,4,6
/proc/8128/task/8141/stat : 8141 (java) S 8126 8128 8128 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 850087879 8742236160 6895 33554432000 1073741824 1073778376 140735204079776 18446744073709551615 233522113433 0 4 0 16800975 18446604447820121984 0 0 -1 4 0 0 0
[pid=8128/tid=8142] ppid=8126 vsize=8537340 CPUtime=0.08 cores=0,2,4,6
/proc/8128/task/8142/stat : 8142 (java) S 8126 8128 8128 0 -1 4202560 1089 0 0 0 8 0 0 0 17 0 18 0 850087879 8742236160 6895 33554432000 1073741824 1073778376 140735204079776 18446744073709551615 233522113433 0 4 0 16800975 18446604447820121984 0 0 -1 4 0 0 0
[pid=8128/tid=8143] ppid=8126 vsize=8537340 CPUtime=0.06 cores=0,2,4,6
/proc/8128/task/8143/stat : 8143 (java) S 8126 8128 8128 0 -1 4202560 917 0 0 0 6 0 0 0 17 0 18 0 850087879 8742236160 6895 33554432000 1073741824 1073778376 140735204079776 18446744073709551615 233522113433 0 4 0 16800975 18446604447820121984 0 0 -1 0 0 0 0
[pid=8128/tid=8144] ppid=8126 vsize=8537340 CPUtime=0 cores=0,2,4,6
/proc/8128/task/8144/stat : 8144 (java) S 8126 8128 8128 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850087879 8742236160 6895 33554432000 1073741824 1073778376 140735204079776 18446744073709551615 233522113433 0 4 0 16800975 18446604447820121984 0 0 -1 6 0 0 0
[pid=8128/tid=8146] ppid=8126 vsize=8537340 CPUtime=0 cores=0,2,4,6
/proc/8128/task/8146/stat : 8146 (java) S 8126 8128 8128 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 18 0 850087897 8742236160 6895 33554432000 1073741824 1073778376 140735204079776 18446744073709551615 233522114048 0 4 0 16800975 18446604447820121984 0 0 -1 6 0 0 0
[pid=8120/tid=8127] ppid=8118 vsize=293252 CPUtime=0 cores=0,2,4,6
/proc/8120/task/8127/stat : 8127 (python) S 8118 8120 7805 0 -1 4202560 26 928 0 0 0 0 0 0 18 0 2 0 850087874 300290048 7175 33554432000 4194304 5683644 140736676093296 18446744073709551615 233522121137 0 0 16781312 33554434 18446604441517107904 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 9113600
Child status: 0
Real time (s): 1.04925
CPU time (s): 0.926858
CPU user time (s): 0.772882
CPU system time (s): 0.153976
CPU usage (%): 88.3355
Max. virtual memory (cumulated for all children) (KiB): 9113600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.772882
system time used= 0.153976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23799
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3051
involuntary context switches= 44
runsolver used 0.009998 second user time and 0.029995 second system time
The end