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-3482543-1307576438/watcher-3482543-1307576438 -o /tmp/evaluation-result-3482543-1307576438/solver-3482543-1307576438 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482543-1307576438.opb -seed 109739058 -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.74 0.49 0.17 2/578 4680
/proc/meminfo: memFree=23776120/32951124 swapFree=58940260/67111528
[pid=4680] ppid=4678 vsize=15756 CPUtime=0 cores=1,3,5,7
/proc/4680/stat : 4680 (python) R 4678 4680 4282 0 -1 4202496 839 0 0 0 0 0 0 0 22 0 1 0 869241566 16134144 723 33554432000 4194304 5683644 140736164113440 18446744073709551615 212687673344 0 2147483391 16781312 2 0 0 0 17 3 0 0 0
/proc/4680/statm: 3939 723 334 364 0 426 0
[startup+0.075975 s]
/proc/loadavg: 1.74 0.49 0.17 2/578 4680
/proc/meminfo: memFree=23776120/32951124 swapFree=58940260/67111528
[pid=4680] ppid=4678 vsize=84492 CPUtime=0.05 cores=1,3,5,7
/proc/4680/stat : 4680 (python) R 4678 4680 4282 0 -1 4202496 2272 0 0 0 4 1 0 0 23 0 1 0 869241566 86519808 2017 33554432000 4194304 5683644 140736164113440 18446744073709551615 212687701788 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/4680/statm: 21123 2017 633 364 0 1327 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84492
[startup+0.108015 s]
/proc/loadavg: 1.74 0.49 0.17 2/578 4680
/proc/meminfo: memFree=23776120/32951124 swapFree=58940260/67111528
[pid=4680] ppid=4678 vsize=96128 CPUtime=0.07 cores=1,3,5,7
/proc/4680/stat : 4680 (python) R 4678 4680 4282 0 -1 4202496 3168 932 1 0 6 1 0 0 18 0 1 0 869241566 98435072 2483 33554432000 4194304 5683644 140736164113440 18446744073709551615 5172176 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/4680/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.300916 s]
/proc/loadavg: 1.74 0.49 0.17 2/578 4680
/proc/meminfo: memFree=23776120/32951124 swapFree=58940260/67111528
[pid=4680] ppid=4678 vsize=197648 CPUtime=0.23 cores=1,3,5,7
/proc/4680/stat : 4680 (python) S 4678 4680 4282 0 -1 4202496 6613 932 1 0 18 5 0 0 18 0 1 0 869241566 202391552 4903 33554432000 4194304 5683644 140736164113440 18446744073709551615 212682751623 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/4680/statm: 50195 4936 1465 364 0 3677 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 197648
[startup+0.700863 s]
/proc/loadavg: 1.74 0.49 0.17 2/578 4680
/proc/meminfo: memFree=23776120/32951124 swapFree=58940260/67111528
[pid=4680] ppid=4678 vsize=293088 CPUtime=0.41 cores=1,3,5,7
/proc/4680/stat : 4680 (python) S 4678 4680 4282 0 -1 4202496 9627 932 1 0 33 8 0 0 20 0 2 0 869241566 300122112 7141 33554432000 4194304 5683644 140736164113440 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4680/statm: 73272 7141 1870 364 0 8159 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 293088
[startup+1.50072 s]
/proc/loadavg: 1.74 0.49 0.17 3/582 4688
/proc/meminfo: memFree=23746700/32951124 swapFree=58940260/67111528
[pid=4680] ppid=4678 vsize=293088 CPUtime=0.41 cores=1,3,5,7
/proc/4680/stat : 4680 (python) S 4678 4680 4282 0 -1 4202496 9627 932 1 0 33 8 0 0 20 0 2 0 869241566 300122112 7141 33554432000 4194304 5683644 140736164113440 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4680/statm: 73272 7141 1870 364 0 8159 0
[pid=4686] ppid=4680 vsize=282844 CPUtime=0 cores=1,3,5,7
/proc/4686/stat : 4686 (python) S 4680 4680 4282 0 -1 4202560 723 0 0 0 0 0 0 0 19 0 1 0 869241618 289632256 5619 33554432000 4194304 5683644 140736164113440 18446744073709551615 212687695375 0 0 16781312 33554946 4112785817074630919 0 0 17 7 0 0 0
/proc/4686/statm: 70711 5619 352 364 0 5598 0
[pid=4688] ppid=4686 vsize=7692 CPUtime=0.96 cores=1,3,5,7
/proc/4688/stat : 4688 (pbct-0.1.2-linu) R 4686 4688 4688 0 -1 4202496 1808 0 0 0 74 22 0 0 23 0 1 0 869241618 7876608 1553 33554432000 134512640 136422188 4289273760 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 5 0 0 0
/proc/4688/statm: 1923 1553 213 467 0 1454 0
[pid=4680/tid=4687] ppid=4678 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/4680/task/4687/stat : 4687 (python) S 4678 4680 4282 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 2 0 869241618 300122112 7141 33554432000 4194304 5683644 140736164113440 18446744073709551615 212699498929 0 0 16781312 33554434 18446604457835512128 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 583624
[startup+3.10043 s]
/proc/loadavg: 1.74 0.49 0.17 3/582 4688
/proc/meminfo: memFree=23743236/32951124 swapFree=58940260/67111528
[pid=4680] ppid=4678 vsize=293088 CPUtime=0.41 cores=1,3,5,7
/proc/4680/stat : 4680 (python) S 4678 4680 4282 0 -1 4202496 9627 932 1 0 33 8 0 0 20 0 2 0 869241566 300122112 7141 33554432000 4194304 5683644 140736164113440 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4680/statm: 73272 7141 1870 364 0 8159 0
[pid=4686] ppid=4680 vsize=282844 CPUtime=0 cores=1,3,5,7
/proc/4686/stat : 4686 (python) S 4680 4680 4282 0 -1 4202560 727 0 0 0 0 0 0 0 18 0 1 0 869241618 289632256 5619 33554432000 4194304 5683644 140736164113440 18446744073709551615 212687695375 0 0 16781312 33554946 4112785817074630919 0 0 17 7 0 0 0
/proc/4686/statm: 70711 5619 352 364 0 5598 0
[pid=4688] ppid=4686 vsize=7948 CPUtime=2.57 cores=1,3,5,7
/proc/4688/stat : 4688 (pbct-0.1.2-linu) R 4686 4688 4688 0 -1 4202496 1859 0 0 0 202 55 0 0 25 0 1 0 869241618 8138752 1604 33554432000 134512640 136422188 4289273760 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 5 0 0 0
/proc/4688/statm: 1987 1604 213 467 0 1518 0
[pid=4680/tid=4687] ppid=4678 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/4680/task/4687/stat : 4687 (python) S 4678 4680 4282 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 2 0 869241618 300122112 7141 33554432000 4194304 5683644 140736164113440 18446744073709551615 212699498929 0 0 16781312 33554434 18446604457835512128 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 583880
Solver just ended. Dumping a history of the last processes samples
[startup+3.90028 s]
/proc/loadavg: 1.84 0.53 0.18 3/582 4688
/proc/meminfo: memFree=23741516/32951124 swapFree=58940260/67111528
[pid=4680] ppid=4678 vsize=293088 CPUtime=0.41 cores=1,3,5,7
/proc/4680/stat : 4680 (python) S 4678 4680 4282 0 -1 4202496 9627 932 1 0 33 8 0 0 20 0 2 0 869241566 300122112 7141 33554432000 4194304 5683644 140736164113440 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4680/statm: 73272 7141 1870 364 0 8159 0
[pid=4686] ppid=4680 vsize=282844 CPUtime=0.01 cores=1,3,5,7
/proc/4686/stat : 4686 (python) S 4680 4680 4282 0 -1 4202560 871 0 0 0 1 0 0 0 18 0 1 0 869241618 289632256 5643 33554432000 4194304 5683644 140736164113440 18446744073709551615 212687695375 0 0 16781312 33554946 17817376441080185095 0 0 17 7 0 0 0
/proc/4686/statm: 70711 5643 376 364 0 5598 0
[pid=4688] ppid=4686 vsize=7948 CPUtime=3.37 cores=1,3,5,7
/proc/4688/stat : 4688 (pbct-0.1.2-linu) R 4686 4688 4688 0 -1 4202496 1859 0 0 0 268 69 0 0 25 0 1 0 869241618 8138752 1604 33554432000 134512640 136422188 4289273760 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 5 0 0 0
/proc/4688/statm: 1987 1604 213 467 0 1518 0
[pid=4680/tid=4687] ppid=4678 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/4680/task/4687/stat : 4687 (python) S 4678 4680 4282 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 2 0 869241618 300122112 7141 33554432000 4194304 5683644 140736164113440 18446744073709551615 212699498929 0 0 16781312 33554434 18446604457835512128 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 583880
[startup+4.70114 s]
/proc/loadavg: 1.84 0.53 0.18 3/582 4688
/proc/meminfo: memFree=23745980/32951124 swapFree=58940260/67111528
[pid=4680] ppid=4678 vsize=293088 CPUtime=0.41 cores=1,3,5,7
/proc/4680/stat : 4680 (python) S 4678 4680 4282 0 -1 4202496 9627 932 1 0 33 8 0 0 20 0 2 0 869241566 300122112 7141 33554432000 4194304 5683644 140736164113440 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4680/statm: 73272 7141 1870 364 0 8159 0
[pid=4686] ppid=4680 vsize=282844 CPUtime=0.01 cores=1,3,5,7
/proc/4686/stat : 4686 (python) S 4680 4680 4282 0 -1 4202560 871 0 0 0 1 0 0 0 18 0 1 0 869241618 289632256 5643 33554432000 4194304 5683644 140736164113440 18446744073709551615 212687695375 0 0 16781312 33554946 17817376441080185095 0 0 17 7 0 0 0
/proc/4686/statm: 70711 5643 376 364 0 5598 0
[pid=4688] ppid=4686 vsize=7948 CPUtime=4.17 cores=1,3,5,7
/proc/4688/stat : 4688 (pbct-0.1.2-linu) R 4686 4688 4688 0 -1 4202496 1862 0 0 0 330 87 0 0 25 0 1 0 869241618 8138752 1607 33554432000 134512640 136422188 4289273760 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 5 0 0 0
/proc/4688/statm: 1987 1607 213 467 0 1518 0
[pid=4680/tid=4687] ppid=4678 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/4680/task/4687/stat : 4687 (python) S 4678 4680 4282 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 2 0 869241618 300122112 7141 33554432000 4194304 5683644 140736164113440 18446744073709551615 212699498929 0 0 16781312 33554434 18446604457835512128 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 583880
[startup+4.9011 s]
/proc/loadavg: 1.84 0.53 0.18 3/582 4688
/proc/meminfo: memFree=23745980/32951124 swapFree=58940260/67111528
[pid=4680] ppid=4678 vsize=293088 CPUtime=0.41 cores=1,3,5,7
/proc/4680/stat : 4680 (python) S 4678 4680 4282 0 -1 4202496 9627 932 1 0 33 8 0 0 20 0 2 0 869241566 300122112 7141 33554432000 4194304 5683644 140736164113440 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4680/statm: 73272 7141 1870 364 0 8159 0
[pid=4686] ppid=4680 vsize=282844 CPUtime=0.01 cores=1,3,5,7
/proc/4686/stat : 4686 (python) S 4680 4680 4282 0 -1 4202560 871 0 0 0 1 0 0 0 18 0 1 0 869241618 289632256 5643 33554432000 4194304 5683644 140736164113440 18446744073709551615 212687695375 0 0 16781312 33554946 17817376441080185095 0 0 17 7 0 0 0
/proc/4686/statm: 70711 5643 376 364 0 5598 0
[pid=4688] ppid=4686 vsize=7948 CPUtime=4.36 cores=1,3,5,7
/proc/4688/stat : 4688 (pbct-0.1.2-linu) R 4686 4688 4688 0 -1 4202496 1862 0 0 0 347 89 0 0 25 0 1 0 869241618 8138752 1607 33554432000 134512640 136422188 4289273760 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 5 0 0 0
/proc/4688/statm: 1987 1607 213 467 0 1518 0
[pid=4680/tid=4687] ppid=4678 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/4680/task/4687/stat : 4687 (python) S 4678 4680 4282 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 2 0 869241618 300122112 7141 33554432000 4194304 5683644 140736164113440 18446744073709551615 212699498929 0 0 16781312 33554434 18446604457835512128 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.78
Current children cumulated vsize (KiB) 583880
[startup+5.00108 s]
/proc/loadavg: 1.84 0.53 0.18 3/582 4688
/proc/meminfo: memFree=23745980/32951124 swapFree=58940260/67111528
[pid=4680] ppid=4678 vsize=293088 CPUtime=0.41 cores=1,3,5,7
/proc/4680/stat : 4680 (python) S 4678 4680 4282 0 -1 4202496 9627 932 1 0 33 8 0 0 20 0 2 0 869241566 300122112 7141 33554432000 4194304 5683644 140736164113440 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4680/statm: 73272 7141 1870 364 0 8159 0
[pid=4686] ppid=4680 vsize=282844 CPUtime=0.01 cores=1,3,5,7
/proc/4686/stat : 4686 (python) S 4680 4680 4282 0 -1 4202560 871 0 0 0 1 0 0 0 18 0 1 0 869241618 289632256 5643 33554432000 4194304 5683644 140736164113440 18446744073709551615 212687695375 0 0 16781312 33554946 17817376441080185095 0 0 17 7 0 0 0
/proc/4686/statm: 70711 5643 376 364 0 5598 0
[pid=4688] ppid=4686 vsize=7948 CPUtime=4.47 cores=1,3,5,7
/proc/4688/stat : 4688 (pbct-0.1.2-linu) R 4686 4688 4688 0 -1 4202496 1862 0 0 0 356 91 0 0 25 0 1 0 869241618 8138752 1607 33554432000 134512640 136422188 4289273760 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 5 0 0 0
/proc/4688/statm: 1987 1607 213 467 0 1518 0
[pid=4680/tid=4687] ppid=4678 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/4680/task/4687/stat : 4687 (python) S 4678 4680 4282 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 2 0 869241618 300122112 7141 33554432000 4194304 5683644 140736164113440 18446744073709551615 212699498929 0 0 16781312 33554434 18446604457835512128 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.89
Current children cumulated vsize (KiB) 583880
Child status: 0
Real time (s): 5.07822
CPU time (s): 5.00424
CPU user time (s): 3.9774
CPU system time (s): 1.02684
CPU usage (%): 98.5431
Max. virtual memory (cumulated for all children) (KiB): 583880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.9774
system time used= 1.02684
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18018
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= 1100
involuntary context switches= 28
runsolver used 0.037994 second user time and 0.068989 second system time
The end