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-3482060-1307576824/watcher-3482060-1307576824 -o /tmp/evaluation-result-3482060-1307576824/solver-3482060-1307576824 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482060-1307576824.opb -seed 1360058803 -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: 2.12 1.62 0.78 2/647 31122
/proc/meminfo: memFree=29580736/32950928 swapFree=43925852/67111528
[pid=31122] ppid=31120 vsize=16396 CPUtime=0.01 cores=1,3,5,7
/proc/31122/stat : 31122 (python) S 31120 31122 30488 0 -1 4202496 1122 0 0 0 1 0 0 0 20 0 1 0 869281307 16789504 989 33554432000 4194304 5683644 140735667368944 18446744073709551615 268272687104 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/31122/statm: 4099 989 413 364 0 586 0
[startup+0.087383 s]
/proc/loadavg: 2.12 1.62 0.78 2/647 31122
/proc/meminfo: memFree=29580736/32950928 swapFree=43925852/67111528
[pid=31122] ppid=31120 vsize=87840 CPUtime=0.06 cores=1,3,5,7
/proc/31122/stat : 31122 (python) S 31120 31122 30488 0 -1 4202496 2707 0 1 0 4 2 0 0 17 0 1 0 869281307 89948160 2419 33554432000 4194304 5683644 140735667368944 18446744073709551615 268267765383 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/31122/statm: 21960 2419 746 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87840
[startup+0.106377 s]
/proc/loadavg: 2.12 1.62 0.78 2/647 31122
/proc/meminfo: memFree=29580736/32950928 swapFree=43925852/67111528
[pid=31122] ppid=31120 vsize=96124 CPUtime=0.08 cores=1,3,5,7
/proc/31122/stat : 31122 (python) R 31120 31122 30488 0 -1 4202496 3167 929 1 0 6 2 0 0 18 0 1 0 869281307 98430976 2483 33554432000 4194304 5683644 140735667368944 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/31122/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.300414 s]
/proc/loadavg: 2.12 1.62 0.78 2/647 31122
/proc/meminfo: memFree=29580736/32950928 swapFree=43925852/67111528
[pid=31122] ppid=31120 vsize=197644 CPUtime=0.23 cores=1,3,5,7
/proc/31122/stat : 31122 (python) R 31120 31122 30488 0 -1 4202496 6591 929 1 0 17 6 0 0 17 0 1 0 869281307 202387456 4881 33554432000 4194304 5683644 140735667368944 18446744073709551615 268267766800 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/31122/statm: 49411 4883 1431 364 0 3676 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 197644
[startup+0.700328 s]
/proc/loadavg: 2.12 1.62 0.78 2/647 31122
/proc/meminfo: memFree=29580736/32950928 swapFree=43925852/67111528
[pid=31122] ppid=31120 vsize=293212 CPUtime=0.42 cores=1,3,5,7
/proc/31122/stat : 31122 (python) S 31120 31122 30488 0 -1 4202496 9644 929 1 0 32 10 0 0 19 0 2 0 869281307 300249088 7156 33554432000 4194304 5683644 140735667368944 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31122/statm: 73303 7156 1870 364 0 8190 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 293212
[startup+1.50119 s]
/proc/loadavg: 2.11 1.63 0.79 3/651 31130
/proc/meminfo: memFree=29543620/32950928 swapFree=43925852/67111528
[pid=31122] ppid=31120 vsize=293212 CPUtime=0.42 cores=1,3,5,7
/proc/31122/stat : 31122 (python) S 31120 31122 30488 0 -1 4202496 9644 929 1 0 32 10 0 0 19 0 2 0 869281307 300249088 7156 33554432000 4194304 5683644 140735667368944 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31122/statm: 73303 7156 1870 364 0 8190 0
[pid=31128] ppid=31122 vsize=282968 CPUtime=0 cores=1,3,5,7
/proc/31128/stat : 31128 (python) S 31122 31122 30488 0 -1 4202560 750 0 0 0 0 0 0 0 15 0 1 0 869281359 289759232 5634 33554432000 4194304 5683644 140735667368944 18446744073709551615 268272709135 0 0 16781312 33554946 439869036965134336 0 0 17 7 0 0 0
/proc/31128/statm: 70742 5634 352 364 0 5629 0
[pid=31130] ppid=31128 vsize=40236 CPUtime=0.97 cores=1,3,5,7
/proc/31130/stat : 31130 (scip-2.0.1.linu) R 31128 31130 31130 0 -1 4202496 8345 0 0 0 92 5 0 0 18 0 1 0 869281359 41201664 7727 33554432000 4194304 13684479 140734142086000 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/31130/statm: 10059 7727 774 2317 0 7737 0
[pid=31122/tid=31129] ppid=31120 vsize=293212 CPUtime=0 cores=1,3,5,7
/proc/31122/task/31129/stat : 31129 (python) S 31120 31122 30488 0 -1 4202560 28 929 0 0 0 0 0 0 19 0 2 0 869281359 300249088 7156 33554432000 4194304 5683644 140735667368944 18446744073709551615 268284512689 0 0 16781312 33554434 18446604455639119808 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 616416
[startup+3.10084 s]
/proc/loadavg: 2.11 1.63 0.79 3/651 31130
/proc/meminfo: memFree=29498608/32950928 swapFree=43925852/67111528
[pid=31122] ppid=31120 vsize=293212 CPUtime=0.42 cores=1,3,5,7
/proc/31122/stat : 31122 (python) S 31120 31122 30488 0 -1 4202496 9644 929 1 0 32 10 0 0 19 0 2 0 869281307 300249088 7156 33554432000 4194304 5683644 140735667368944 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31122/statm: 73303 7156 1870 364 0 8190 0
[pid=31128] ppid=31122 vsize=282968 CPUtime=0 cores=1,3,5,7
/proc/31128/stat : 31128 (python) S 31122 31122 30488 0 -1 4202560 756 0 0 0 0 0 0 0 15 0 1 0 869281359 289759232 5634 33554432000 4194304 5683644 140735667368944 18446744073709551615 268272709135 0 0 16781312 33554946 4294934790 0 0 17 7 0 0 0
/proc/31128/statm: 70742 5634 352 364 0 5629 0
[pid=31130] ppid=31128 vsize=85888 CPUtime=2.57 cores=1,3,5,7
/proc/31130/stat : 31130 (scip-2.0.1.linu) R 31128 31130 31130 0 -1 4202496 19856 0 0 0 249 8 0 0 22 0 1 0 869281359 87949312 19215 33554432000 4194304 13684479 140734142086000 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/31130/statm: 21472 19215 775 2317 0 19150 0
[pid=31122/tid=31129] ppid=31120 vsize=293212 CPUtime=0 cores=1,3,5,7
/proc/31122/task/31129/stat : 31129 (python) S 31120 31122 30488 0 -1 4202560 28 929 0 0 0 0 0 0 19 0 2 0 869281359 300249088 7156 33554432000 4194304 5683644 140735667368944 18446744073709551615 268284512689 0 0 16781312 33554434 18446604455639119808 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 662068
[startup+6.30033 s]
/proc/loadavg: 2.11 1.63 0.79 3/651 31130
/proc/meminfo: memFree=29464744/32950928 swapFree=43925852/67111528
[pid=31122] ppid=31120 vsize=293212 CPUtime=0.42 cores=1,3,5,7
/proc/31122/stat : 31122 (python) S 31120 31122 30488 0 -1 4202496 9644 929 1 0 32 10 0 0 19 0 2 0 869281307 300249088 7156 33554432000 4194304 5683644 140735667368944 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31122/statm: 73303 7156 1870 364 0 8190 0
[pid=31128] ppid=31122 vsize=282968 CPUtime=0.02 cores=1,3,5,7
/proc/31128/stat : 31128 (python) S 31122 31122 30488 0 -1 4202560 896 0 0 0 1 1 0 0 15 0 1 0 869281359 289759232 5658 33554432000 4194304 5683644 140735667368944 18446744073709551615 268272709135 0 0 16781312 33554946 3967401917134405632 0 0 17 1 0 0 0
/proc/31128/statm: 70742 5658 376 364 0 5629 0
[pid=31130] ppid=31128 vsize=86080 CPUtime=5.77 cores=1,3,5,7
/proc/31130/stat : 31130 (scip-2.0.1.linu) R 31128 31130 31130 0 -1 4202496 20697 0 0 0 559 18 0 0 19 0 1 0 869281359 88145920 19320 33554432000 4194304 13684479 140734142086000 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/31130/statm: 21520 19320 796 2317 0 19198 0
[pid=31122/tid=31129] ppid=31120 vsize=293212 CPUtime=0 cores=1,3,5,7
/proc/31122/task/31129/stat : 31129 (python) S 31120 31122 30488 0 -1 4202560 28 929 0 0 0 0 0 0 19 0 2 0 869281359 300249088 7156 33554432000 4194304 5683644 140735667368944 18446744073709551615 268284512689 0 0 16781312 33554434 18446604455639119808 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 662260
[startup+12.7012 s]
/proc/loadavg: 2.10 1.64 0.80 3/651 31130
/proc/meminfo: memFree=29453804/32950928 swapFree=43925852/67111528
[pid=31122] ppid=31120 vsize=293212 CPUtime=0.42 cores=1,3,5,7
/proc/31122/stat : 31122 (python) S 31120 31122 30488 0 -1 4202496 9644 929 1 0 32 10 0 0 19 0 2 0 869281307 300249088 7156 33554432000 4194304 5683644 140735667368944 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31122/statm: 73303 7156 1870 364 0 8190 0
[pid=31128] ppid=31122 vsize=282968 CPUtime=0.04 cores=1,3,5,7
/proc/31128/stat : 31128 (python) S 31122 31122 30488 0 -1 4202560 899 0 0 0 2 2 0 0 15 0 1 0 869281359 289759232 5658 33554432000 4194304 5683644 140735667368944 18446744073709551615 268272709135 0 0 16781312 33554946 5623311482772007684 0 0 17 1 0 0 0
/proc/31128/statm: 70742 5658 376 364 0 5629 0
[pid=31130] ppid=31128 vsize=86080 CPUtime=12.17 cores=1,3,5,7
/proc/31130/stat : 31130 (scip-2.0.1.linu) R 31128 31130 31130 0 -1 4202496 20697 0 0 0 1169 48 0 0 25 0 1 0 869281359 88145920 19320 33554432000 4194304 13684479 140734142086000 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/31130/statm: 21520 19320 796 2317 0 19198 0
[pid=31122/tid=31129] ppid=31120 vsize=293212 CPUtime=0 cores=1,3,5,7
/proc/31122/task/31129/stat : 31129 (python) S 31120 31122 30488 0 -1 4202560 28 929 0 0 0 0 0 0 19 0 2 0 869281359 300249088 7156 33554432000 4194304 5683644 140735667368944 18446744073709551615 268284512689 0 0 16781312 33554434 18446604455639119808 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 662260
[startup+25.5009 s]
/proc/loadavg: 2.08 1.65 0.81 3/651 31130
/proc/meminfo: memFree=29444036/32950928 swapFree=43925852/67111528
[pid=31122] ppid=31120 vsize=293212 CPUtime=0.42 cores=1,3,5,7
/proc/31122/stat : 31122 (python) S 31120 31122 30488 0 -1 4202496 9644 929 1 0 32 10 0 0 19 0 2 0 869281307 300249088 7156 33554432000 4194304 5683644 140735667368944 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31122/statm: 73303 7156 1870 364 0 8190 0
[pid=31128] ppid=31122 vsize=282968 CPUtime=0.12 cores=1,3,5,7
/proc/31128/stat : 31128 (python) S 31122 31122 30488 0 -1 4202560 906 0 0 0 5 7 0 0 15 0 1 0 869281359 289759232 5658 33554432000 4194304 5683644 140735667368944 18446744073709551615 268272709135 0 0 16781312 33554946 4042246571285282816 0 0 17 7 0 0 0
/proc/31128/statm: 70742 5658 376 364 0 5629 0
[pid=31130] ppid=31128 vsize=86080 CPUtime=24.97 cores=1,3,5,7
/proc/31130/stat : 31130 (scip-2.0.1.linu) R 31128 31130 31130 0 -1 4202496 20699 0 0 0 2381 116 0 0 25 0 1 0 869281359 88145920 19322 33554432000 4194304 13684479 140734142086000 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/31130/statm: 21520 19322 798 2317 0 19198 0
[pid=31122/tid=31129] ppid=31120 vsize=293212 CPUtime=0 cores=1,3,5,7
/proc/31122/task/31129/stat : 31129 (python) S 31120 31122 30488 0 -1 4202560 28 929 0 0 0 0 0 0 19 0 2 0 869281359 300249088 7156 33554432000 4194304 5683644 140735667368944 18446744073709551615 268284512689 0 0 16781312 33554434 18446604455639119808 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 662260
Solver just ended. Dumping a history of the last processes samples
[startup+25.9008 s]
/proc/loadavg: 2.08 1.65 0.81 3/651 31130
/proc/meminfo: memFree=29444036/32950928 swapFree=43925852/67111528
[pid=31122] ppid=31120 vsize=293212 CPUtime=0.42 cores=1,3,5,7
/proc/31122/stat : 31122 (python) S 31120 31122 30488 0 -1 4202496 9644 929 1 0 32 10 0 0 19 0 2 0 869281307 300249088 7156 33554432000 4194304 5683644 140735667368944 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31122/statm: 73303 7156 1870 364 0 8190 0
[pid=31128] ppid=31122 vsize=282968 CPUtime=0.12 cores=1,3,5,7
/proc/31128/stat : 31128 (python) S 31122 31122 30488 0 -1 4202560 906 0 0 0 5 7 0 0 15 0 1 0 869281359 289759232 5658 33554432000 4194304 5683644 140735667368944 18446744073709551615 268272709135 0 0 16781312 33554946 4042246571285282816 0 0 17 7 0 0 0
/proc/31128/statm: 70742 5658 376 364 0 5629 0
[pid=31130] ppid=31128 vsize=86080 CPUtime=25.37 cores=1,3,5,7
/proc/31130/stat : 31130 (scip-2.0.1.linu) R 31128 31130 31130 0 -1 4202496 20699 0 0 0 2419 118 0 0 25 0 1 0 869281359 88145920 19322 33554432000 4194304 13684479 140734142086000 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/31130/statm: 21520 19322 798 2317 0 19198 0
[pid=31122/tid=31129] ppid=31120 vsize=293212 CPUtime=0 cores=1,3,5,7
/proc/31122/task/31129/stat : 31129 (python) S 31120 31122 30488 0 -1 4202560 28 929 0 0 0 0 0 0 19 0 2 0 869281359 300249088 7156 33554432000 4194304 5683644 140735667368944 18446744073709551615 268284512689 0 0 16781312 33554434 18446604455639119808 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.91
Current children cumulated vsize (KiB) 662260
[startup+26.0008 s]
/proc/loadavg: 2.08 1.65 0.81 3/651 31130
/proc/meminfo: memFree=29444036/32950928 swapFree=43925852/67111528
[pid=31122] ppid=31120 vsize=293212 CPUtime=0.42 cores=1,3,5,7
/proc/31122/stat : 31122 (python) S 31120 31122 30488 0 -1 4202496 9644 929 1 0 32 10 0 0 19 0 2 0 869281307 300249088 7156 33554432000 4194304 5683644 140735667368944 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31122/statm: 73303 7156 1870 364 0 8190 0
[pid=31128] ppid=31122 vsize=282968 CPUtime=0.12 cores=1,3,5,7
/proc/31128/stat : 31128 (python) S 31122 31122 30488 0 -1 4202560 906 0 0 0 5 7 0 0 15 0 1 0 869281359 289759232 5658 33554432000 4194304 5683644 140735667368944 18446744073709551615 268272709135 0 0 16781312 33554946 4042246571285282816 0 0 17 7 0 0 0
/proc/31128/statm: 70742 5658 376 364 0 5629 0
[pid=31130] ppid=31128 vsize=86080 CPUtime=25.47 cores=1,3,5,7
/proc/31130/stat : 31130 (scip-2.0.1.linu) R 31128 31130 31130 0 -1 4202496 20699 0 0 0 2428 119 0 0 25 0 1 0 869281359 88145920 19322 33554432000 4194304 13684479 140734142086000 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/31130/statm: 21520 19322 798 2317 0 19198 0
[pid=31122/tid=31129] ppid=31120 vsize=293212 CPUtime=0 cores=1,3,5,7
/proc/31122/task/31129/stat : 31129 (python) S 31120 31122 30488 0 -1 4202560 28 929 0 0 0 0 0 0 19 0 2 0 869281359 300249088 7156 33554432000 4194304 5683644 140735667368944 18446744073709551615 268284512689 0 0 16781312 33554434 18446604455639119808 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 26.01
Current children cumulated vsize (KiB) 662260
Child status: 0
Real time (s): 26.0388
CPU time (s): 26.08
CPU user time (s): 24.7012
CPU system time (s): 1.37879
CPU usage (%): 100.159
Max. virtual memory (cumulated for all children) (KiB): 663228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.7012
system time used= 1.37879
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36973
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= 1096
involuntary context switches= 62
runsolver used 0.161975 second user time and 0.344947 second system time
The end