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-3482325-1307576540/watcher-3482325-1307576540 -o /tmp/evaluation-result-3482325-1307576540/solver-3482325-1307576540 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482325-1307576540.opb -seed 1360284383 -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.98 0.66 0.23 3/415 5602
/proc/meminfo: memFree=31370632/32950928 swapFree=51865260/67111528
[pid=5602] ppid=5600 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/5602/stat : 5602 (python) R 5600 5602 5042 0 -1 4202496 860 0 0 0 0 0 0 0 17 0 1 0 325263488 16154624 741 33554432000 4194304 5683644 140734365393936 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/5602/statm: 3944 741 335 364 0 431 0
[startup+0.0291779 s]
/proc/loadavg: 1.98 0.66 0.23 3/415 5602
/proc/meminfo: memFree=31370632/32950928 swapFree=51865260/67111528
[pid=5602] ppid=5600 vsize=18888 CPUtime=0.01 cores=1,3,5,7
/proc/5602/stat : 5602 (python) S 5600 5602 5042 0 -1 4202496 1251 0 0 0 1 0 0 0 17 0 1 0 325263488 19341312 1105 33554432000 4194304 5683644 140734365393936 18446744073709551615 218880563200 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/5602/statm: 4722 1105 421 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18888
[startup+0.105192 s]
/proc/loadavg: 1.98 0.66 0.23 3/415 5602
/proc/meminfo: memFree=31370632/32950928 swapFree=51865260/67111528
[pid=5602] ppid=5600 vsize=96124 CPUtime=0.08 cores=1,3,5,7
/proc/5602/stat : 5602 (python) R 5600 5602 5042 0 -1 4202496 3169 927 1 0 6 2 0 0 18 0 1 0 325263488 98430976 2483 33554432000 4194304 5683644 140734365393936 18446744073709551615 5175606 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/5602/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.301108 s]
/proc/loadavg: 1.98 0.66 0.23 3/415 5602
/proc/meminfo: memFree=31370632/32950928 swapFree=51865260/67111528
[pid=5602] ppid=5600 vsize=197644 CPUtime=0.23 cores=1,3,5,7
/proc/5602/stat : 5602 (python) S 5600 5602 5042 0 -1 4202496 6614 927 1 0 17 6 0 0 17 0 1 0 325263488 202387456 4903 33554432000 4194304 5683644 140734365393936 18446744073709551615 218880563200 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/5602/statm: 49411 4903 1435 364 0 3676 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 197644
[startup+0.701048 s]
/proc/loadavg: 1.98 0.66 0.23 3/415 5602
/proc/meminfo: memFree=31370632/32950928 swapFree=51865260/67111528
[pid=5602] ppid=5600 vsize=286284 CPUtime=0.65 cores=1,3,5,7
/proc/5602/stat : 5602 (python) R 5600 5602 5042 0 -1 4202496 11642 1380 1 0 42 14 7 2 17 0 1 0 325263488 293154816 7917 33554432000 4194304 5683644 140734365393936 18446744073709551615 4623672 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/5602/statm: 71571 7917 1816 364 0 6464 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 286284
[startup+1.50091 s]
/proc/loadavg: 1.98 0.68 0.24 3/422 5614
/proc/meminfo: memFree=31235044/32950928 swapFree=51865260/67111528
[pid=5602] ppid=5600 vsize=296720 CPUtime=0.86 cores=1,3,5,7
/proc/5602/stat : 5602 (python) S 5600 5602 5042 0 -1 4202496 12416 1380 1 0 62 15 7 2 20 0 2 0 325263488 303841280 8048 33554432000 4194304 5683644 140734365393936 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/5602/statm: 74180 8048 1871 364 0 9067 0
[pid=5612] ppid=5602 vsize=286476 CPUtime=0 cores=1,3,5,7
/proc/5612/stat : 5612 (python) S 5602 5602 5042 0 -1 4202560 699 0 0 0 0 0 0 0 15 0 1 0 325263579 293351424 6492 33554432000 4194304 5683644 140734365393936 18446744073709551615 218880585231 0 0 16781312 33554946 4473661338790363397 0 0 17 7 0 0 0
/proc/5612/statm: 71619 6492 319 364 0 6506 0
[pid=5614] ppid=5612 vsize=81024 CPUtime=0.58 cores=1,3,5,7
/proc/5614/stat : 5614 (scip-2.0.1.linu) R 5612 5614 5614 0 -1 4202496 18619 0 0 0 39 19 0 0 20 0 1 0 325263579 82968576 17594 33554432000 4194304 13684479 140733840375264 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5614/statm: 20256 17594 747 2317 0 17934 0
[pid=5602/tid=5613] ppid=5600 vsize=296720 CPUtime=0.09 cores=1,3,5,7
/proc/5602/task/5613/stat : 5613 (python) S 5600 5602 5042 0 -1 4202560 26 1380 0 0 0 0 7 2 20 0 2 0 325263579 303841280 8048 33554432000 4194304 5683644 140734365393936 18446744073709551615 218892388785 0 0 16781312 33554434 18446604467272297344 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 664220
[startup+3.10061 s]
/proc/loadavg: 1.98 0.68 0.24 3/422 5614
/proc/meminfo: memFree=31168456/32950928 swapFree=51865260/67111528
[pid=5602] ppid=5600 vsize=296720 CPUtime=0.86 cores=1,3,5,7
/proc/5602/stat : 5602 (python) S 5600 5602 5042 0 -1 4202496 12416 1380 1 0 62 15 7 2 20 0 2 0 325263488 303841280 8048 33554432000 4194304 5683644 140734365393936 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/5602/statm: 74180 8048 1871 364 0 9067 0
[pid=5612] ppid=5602 vsize=286476 CPUtime=0 cores=1,3,5,7
/proc/5612/stat : 5612 (python) S 5602 5602 5042 0 -1 4202560 705 0 0 0 0 0 0 0 15 0 1 0 325263579 293351424 6492 33554432000 4194304 5683644 140734365393936 18446744073709551615 218880585231 0 0 16781312 33554946 4473661338790363397 0 0 17 7 0 0 0
/proc/5612/statm: 71619 6492 319 364 0 6506 0
[pid=5614] ppid=5612 vsize=84220 CPUtime=2.18 cores=1,3,5,7
/proc/5614/stat : 5614 (scip-2.0.1.linu) R 5612 5614 5614 0 -1 4202496 19733 0 0 0 197 21 0 0 19 0 1 0 325263579 86241280 18666 33554432000 4194304 13684479 140733840375264 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5614/statm: 21055 18666 768 2317 0 18733 0
[pid=5602/tid=5613] ppid=5600 vsize=296720 CPUtime=0.09 cores=1,3,5,7
/proc/5602/task/5613/stat : 5613 (python) S 5600 5602 5042 0 -1 4202560 26 1380 0 0 0 0 7 2 20 0 2 0 325263579 303841280 8048 33554432000 4194304 5683644 140734365393936 18446744073709551615 218892388785 0 0 16781312 33554434 18446604467272297344 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 667416
[startup+6.30104 s]
/proc/loadavg: 1.98 0.70 0.25 3/422 5614
/proc/meminfo: memFree=31169524/32950928 swapFree=51865260/67111528
[pid=5602] ppid=5600 vsize=296720 CPUtime=0.86 cores=1,3,5,7
/proc/5602/stat : 5602 (python) S 5600 5602 5042 0 -1 4202496 12416 1380 1 0 62 15 7 2 20 0 2 0 325263488 303841280 8048 33554432000 4194304 5683644 140734365393936 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/5602/statm: 74180 8048 1871 364 0 9067 0
[pid=5612] ppid=5602 vsize=286476 CPUtime=0.01 cores=1,3,5,7
/proc/5612/stat : 5612 (python) S 5602 5602 5042 0 -1 4202560 847 0 0 0 1 0 0 0 15 0 1 0 325263579 293351424 6516 33554432000 4194304 5683644 140734365393936 18446744073709551615 218880585231 0 0 16781312 33554946 4473670409761292549 0 0 17 7 0 0 0
/proc/5612/statm: 71619 6516 343 364 0 6506 0
[pid=5614] ppid=5612 vsize=85088 CPUtime=5.38 cores=1,3,5,7
/proc/5614/stat : 5614 (scip-2.0.1.linu) R 5612 5614 5614 0 -1 4202496 20029 0 0 0 513 25 0 0 25 0 1 0 325263579 87130112 18955 33554432000 4194304 13684479 140733840375264 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5614/statm: 21272 18955 773 2317 0 18950 0
[pid=5602/tid=5613] ppid=5600 vsize=296720 CPUtime=0.09 cores=1,3,5,7
/proc/5602/task/5613/stat : 5613 (python) S 5600 5602 5042 0 -1 4202560 26 1380 0 0 0 0 7 2 20 0 2 0 325263579 303841280 8048 33554432000 4194304 5683644 140734365393936 18446744073709551615 218892388785 0 0 16781312 33554434 18446604467272297344 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 668284
Solver just ended. Dumping a history of the last processes samples
[startup+7.60081 s]
/proc/loadavg: 1.98 0.70 0.25 3/422 5614
/proc/meminfo: memFree=31169276/32950928 swapFree=51865260/67111528
[pid=5602] ppid=5600 vsize=296720 CPUtime=0.86 cores=1,3,5,7
/proc/5602/stat : 5602 (python) S 5600 5602 5042 0 -1 4202496 12416 1380 1 0 62 15 7 2 20 0 2 0 325263488 303841280 8048 33554432000 4194304 5683644 140734365393936 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/5602/statm: 74180 8048 1871 364 0 9067 0
[pid=5612] ppid=5602 vsize=286476 CPUtime=0.01 cores=1,3,5,7
/proc/5612/stat : 5612 (python) S 5602 5602 5042 0 -1 4202560 847 0 0 0 1 0 0 0 15 0 1 0 325263579 293351424 6516 33554432000 4194304 5683644 140734365393936 18446744073709551615 218880585231 0 0 16781312 33554946 4473670409761292549 0 0 17 7 0 0 0
/proc/5612/statm: 71619 6516 343 364 0 6506 0
[pid=5614] ppid=5612 vsize=85088 CPUtime=6.68 cores=1,3,5,7
/proc/5614/stat : 5614 (scip-2.0.1.linu) R 5612 5614 5614 0 -1 4202496 20035 0 0 0 642 26 0 0 25 0 1 0 325263579 87130112 18961 33554432000 4194304 13684479 140733840375264 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5614/statm: 21272 18961 773 2317 0 18950 0
[pid=5602/tid=5613] ppid=5600 vsize=296720 CPUtime=0.09 cores=1,3,5,7
/proc/5602/task/5613/stat : 5613 (python) S 5600 5602 5042 0 -1 4202560 26 1380 0 0 0 0 7 2 20 0 2 0 325263579 303841280 8048 33554432000 4194304 5683644 140734365393936 18446744073709551615 218892388785 0 0 16781312 33554434 18446604467272297344 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.55
Current children cumulated vsize (KiB) 668284
[startup+9.20051 s]
/proc/loadavg: 1.98 0.70 0.25 3/422 5614
/proc/meminfo: memFree=31169440/32950928 swapFree=51865260/67111528
[pid=5602] ppid=5600 vsize=296720 CPUtime=0.86 cores=1,3,5,7
/proc/5602/stat : 5602 (python) S 5600 5602 5042 0 -1 4202496 12416 1380 1 0 62 15 7 2 20 0 2 0 325263488 303841280 8048 33554432000 4194304 5683644 140734365393936 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/5602/statm: 74180 8048 1871 364 0 9067 0
[pid=5612] ppid=5602 vsize=286476 CPUtime=0.01 cores=1,3,5,7
/proc/5612/stat : 5612 (python) S 5602 5602 5042 0 -1 4202560 847 0 0 0 1 0 0 0 15 0 1 0 325263579 293351424 6516 33554432000 4194304 5683644 140734365393936 18446744073709551615 218880585231 0 0 16781312 33554946 4473670409761292549 0 0 17 7 0 0 0
/proc/5612/statm: 71619 6516 343 364 0 6506 0
[pid=5614] ppid=5612 vsize=111384 CPUtime=8.28 cores=1,3,5,7
/proc/5614/stat : 5614 (scip-2.0.1.linu) R 5612 5614 5614 0 -1 4202496 26221 0 0 0 799 29 0 0 25 0 1 0 325263579 114057216 25144 33554432000 4194304 13684479 140733840375264 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5614/statm: 27846 25144 777 2317 0 25524 0
[pid=5602/tid=5613] ppid=5600 vsize=296720 CPUtime=0.09 cores=1,3,5,7
/proc/5602/task/5613/stat : 5613 (python) S 5600 5602 5042 0 -1 4202560 26 1380 0 0 0 0 7 2 20 0 2 0 325263579 303841280 8048 33554432000 4194304 5683644 140734365393936 18446744073709551615 218892388785 0 0 16781312 33554434 18446604467272297344 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 9.15
Current children cumulated vsize (KiB) 694580
[startup+9.60045 s]
/proc/loadavg: 1.98 0.70 0.25 3/422 5614
/proc/meminfo: memFree=31169440/32950928 swapFree=51865260/67111528
[pid=5602] ppid=5600 vsize=296720 CPUtime=0.86 cores=1,3,5,7
/proc/5602/stat : 5602 (python) S 5600 5602 5042 0 -1 4202496 12416 1380 1 0 62 15 7 2 20 0 2 0 325263488 303841280 8048 33554432000 4194304 5683644 140734365393936 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/5602/statm: 74180 8048 1871 364 0 9067 0
[pid=5612] ppid=5602 vsize=286476 CPUtime=0.01 cores=1,3,5,7
/proc/5612/stat : 5612 (python) S 5602 5602 5042 0 -1 4202560 847 0 0 0 1 0 0 0 15 0 1 0 325263579 293351424 6516 33554432000 4194304 5683644 140734365393936 18446744073709551615 218880585231 0 0 16781312 33554946 4473670409761292549 0 0 17 7 0 0 0
/proc/5612/statm: 71619 6516 343 364 0 6506 0
[pid=5614] ppid=5612 vsize=128832 CPUtime=8.68 cores=1,3,5,7
/proc/5614/stat : 5614 (scip-2.0.1.linu) R 5612 5614 5614 0 -1 4202496 30699 0 0 0 837 31 0 0 25 0 1 0 325263579 131923968 29466 33554432000 4194304 13684479 140733840375264 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5614/statm: 32208 29466 853 2317 0 29886 0
[pid=5602/tid=5613] ppid=5600 vsize=296720 CPUtime=0.09 cores=1,3,5,7
/proc/5602/task/5613/stat : 5613 (python) S 5600 5602 5042 0 -1 4202560 26 1380 0 0 0 0 7 2 20 0 2 0 325263579 303841280 8048 33554432000 4194304 5683644 140734365393936 18446744073709551615 218892388785 0 0 16781312 33554434 18446604467272297344 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 9.55
Current children cumulated vsize (KiB) 712028
[startup+9.80039 s]
/proc/loadavg: 1.98 0.70 0.25 3/422 5614
/proc/meminfo: memFree=31169440/32950928 swapFree=51865260/67111528
[pid=5602] ppid=5600 vsize=296284 CPUtime=9.8 cores=1,3,5,7
/proc/5602/stat : 5602 (python) R 5600 5602 5042 0 -1 4202496 15237 37543 1 0 64 15 863 38 18 0 2 0 325263488 303394816 7942 33554432000 4194304 5683644 140734365393936 18446744073709551615 5114052 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/5602/statm: 74071 7942 1869 364 0 8963 0
[pid=5602/tid=5613] ppid=5600 vsize=296284 CPUtime=9.01 cores=1,3,5,7
/proc/5602/task/5613/stat : 5613 (python) S 5600 5602 5042 0 -1 4202560 26 37543 0 0 0 0 863 38 18 0 2 0 325263579 303394816 7942 33554432000 4194304 5683644 140734365393936 18446744073709551615 218892388785 0 0 16781312 0 18446604467272297344 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.8
Current children cumulated vsize (KiB) 296284
Child status: 0
Real time (s): 9.817
CPU time (s): 9.8295
CPU user time (s): 9.29059
CPU system time (s): 0.538918
CPU usage (%): 100.127
Max. virtual memory (cumulated for all children) (KiB): 722560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.29059
system time used= 0.538918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55166
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= 6398
involuntary context switches= 121
runsolver used 0.033994 second user time and 0.085986 second system time
The end