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-3482477-1307576400/watcher-3482477-1307576400 -o /tmp/evaluation-result-3482477-1307576400/solver-3482477-1307576400 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482477-1307576400.opb -seed 456707683 -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: 0.57 0.15 0.05 2/440 15140
/proc/meminfo: memFree=24732760/32951124 swapFree=50923800/67111528
[pid=15140] ppid=15138 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/15140/stat : 15140 (python) S 15138 15140 15040 0 -1 4202496 820 0 0 0 0 0 0 0 17 0 1 0 850055716 15753216 704 33554432000 4194304 5683644 140737386730832 18446744073709551615 270338381824 0 2147483391 16781312 2 18446744071699199166 0 0 17 0 0 0 0
/proc/15140/statm: 3846 704 334 364 0 333 0
[startup+0.040573 s]
/proc/loadavg: 0.57 0.15 0.05 2/440 15140
/proc/meminfo: memFree=24732760/32951124 swapFree=50923800/67111528
[pid=15140] ppid=15138 vsize=16820 CPUtime=0.01 cores=0,2,4,6
/proc/15140/stat : 15140 (python) R 15138 15140 15040 0 -1 4202496 1225 0 0 0 1 0 0 0 17 0 1 0 850055716 17223680 1082 33554432000 4194304 5683644 140737386730832 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/15140/statm: 4205 1083 417 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16820
[startup+0.100624 s]
/proc/loadavg: 0.57 0.15 0.05 2/440 15140
/proc/meminfo: memFree=24732760/32951124 swapFree=50923800/67111528
[pid=15140] ppid=15138 vsize=50016 CPUtime=0.05 cores=0,2,4,6
/proc/15140/stat : 15140 (python) R 15138 15140 15040 0 -1 4202496 1970 0 0 0 4 1 0 0 17 0 1 0 850055716 51216384 1732 33554432000 4194304 5683644 140737386730832 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/15140/statm: 12504 1732 480 364 0 1204 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 50016
[startup+0.300538 s]
/proc/loadavg: 0.57 0.15 0.05 2/440 15140
/proc/meminfo: memFree=24732760/32951124 swapFree=50923800/67111528
[pid=15140] ppid=15138 vsize=123744 CPUtime=0.15 cores=0,2,4,6
/proc/15140/stat : 15140 (python) S 15138 15140 15040 0 -1 4202496 5355 930 1 0 12 3 0 0 16 0 1 0 850055716 126713856 3742 33554432000 4194304 5683644 140737386730832 18446744073709551615 270338379781 0 2147483391 16781312 2 18446744071699199166 0 0 17 0 0 0 0
/proc/15140/statm: 30936 3742 987 364 0 2768 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123744
[startup+0.700503 s]
/proc/loadavg: 0.57 0.15 0.05 2/440 15140
/proc/meminfo: memFree=24732760/32951124 swapFree=50923800/67111528
[pid=15140] ppid=15138 vsize=234444 CPUtime=0.36 cores=0,2,4,6
/proc/15140/stat : 15140 (python) R 15138 15140 15040 0 -1 4202496 7493 930 1 0 27 9 0 0 15 0 1 0 850055716 240070656 5688 33554432000 4194304 5683644 140737386730832 18446744073709551615 4870108 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/15140/statm: 58611 5688 1578 364 0 4259 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 234444
[startup+1.50033 s]
/proc/loadavg: 0.57 0.15 0.05 3/444 15148
/proc/meminfo: memFree=24698320/32951124 swapFree=50923800/67111528
[pid=15140] ppid=15138 vsize=293088 CPUtime=0.49 cores=0,2,4,6
/proc/15140/stat : 15140 (python) S 15138 15140 15040 0 -1 4202496 9628 930 1 0 37 12 0 0 18 0 2 0 850055716 300122112 7141 33554432000 4194304 5683644 140737386730832 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/15140/statm: 73272 7141 1870 364 0 8159 0
[pid=15146] ppid=15140 vsize=282844 CPUtime=0 cores=0,2,4,6
/proc/15146/stat : 15146 (python) S 15140 15140 15040 0 -1 4202560 724 0 0 0 0 0 0 0 18 0 1 0 850055801 289632256 5619 33554432000 4194304 5683644 140737386730832 18446744073709551615 270338403855 0 0 16781312 33554946 14199047020265570561 0 0 17 0 0 0 0
/proc/15146/statm: 70711 5619 352 364 0 5598 0
[pid=15148] ppid=15146 vsize=7716 CPUtime=0.63 cores=0,2,4,6
/proc/15148/stat : 15148 (pbct-0.1.2-linu) R 15146 15148 15148 0 -1 4202496 1806 0 0 0 59 4 0 0 21 0 1 0 850055801 7901184 1549 33554432000 134512640 136422188 4292817312 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/15148/statm: 1929 1549 213 467 0 1460 0
[pid=15140/tid=15147] ppid=15138 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/15140/task/15147/stat : 15147 (python) S 15138 15140 15040 0 -1 4202560 25 930 0 0 0 0 0 0 18 0 2 0 850055801 300122112 7141 33554432000 4194304 5683644 140737386730832 18446744073709551615 270350207409 0 0 16781312 33554434 18446604446284290048 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 583648
[startup+3.10099 s]
/proc/loadavg: 0.57 0.15 0.05 3/444 15148
/proc/meminfo: memFree=24695220/32951124 swapFree=50923800/67111528
[pid=15140] ppid=15138 vsize=293088 CPUtime=0.49 cores=0,2,4,6
/proc/15140/stat : 15140 (python) S 15138 15140 15040 0 -1 4202496 9628 930 1 0 37 12 0 0 18 0 2 0 850055716 300122112 7141 33554432000 4194304 5683644 140737386730832 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/15140/statm: 73272 7141 1870 364 0 8159 0
[pid=15146] ppid=15140 vsize=282844 CPUtime=0 cores=0,2,4,6
/proc/15146/stat : 15146 (python) S 15140 15140 15040 0 -1 4202560 727 0 0 0 0 0 0 0 18 0 1 0 850055801 289632256 5619 33554432000 4194304 5683644 140737386730832 18446744073709551615 270338403855 0 0 16781312 33554946 14199047020265570561 0 0 17 0 0 0 0
/proc/15146/statm: 70711 5619 352 364 0 5598 0
[pid=15148] ppid=15146 vsize=7844 CPUtime=2.23 cores=0,2,4,6
/proc/15148/stat : 15148 (pbct-0.1.2-linu) R 15146 15148 15148 0 -1 4202496 1857 0 0 0 205 18 0 0 25 0 1 0 850055801 8032256 1600 33554432000 134512640 136422188 4292817312 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/15148/statm: 1961 1600 213 467 0 1492 0
[pid=15140/tid=15147] ppid=15138 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/15140/task/15147/stat : 15147 (python) S 15138 15140 15040 0 -1 4202560 25 930 0 0 0 0 0 0 18 0 2 0 850055801 300122112 7141 33554432000 4194304 5683644 140737386730832 18446744073709551615 270350207409 0 0 16781312 33554434 18446604446284290048 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 583776
[startup+6.30036 s]
/proc/loadavg: 0.85 0.22 0.07 3/444 15148
/proc/meminfo: memFree=24682316/32951124 swapFree=50923800/67111528
[pid=15140] ppid=15138 vsize=293088 CPUtime=0.49 cores=0,2,4,6
/proc/15140/stat : 15140 (python) S 15138 15140 15040 0 -1 4202496 9628 930 1 0 37 12 0 0 18 0 2 0 850055716 300122112 7141 33554432000 4194304 5683644 140737386730832 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/15140/statm: 73272 7141 1870 364 0 8159 0
[pid=15146] ppid=15140 vsize=282844 CPUtime=0.02 cores=0,2,4,6
/proc/15146/stat : 15146 (python) S 15140 15140 15040 0 -1 4202560 868 0 0 0 1 1 0 0 18 0 1 0 850055801 289632256 5643 33554432000 4194304 5683644 140737386730832 18446744073709551615 270338403855 0 0 16781312 33554946 9787424632934990081 0 0 17 0 0 0 0
/proc/15146/statm: 70711 5643 376 364 0 5598 0
[pid=15148] ppid=15146 vsize=7972 CPUtime=5.44 cores=0,2,4,6
/proc/15148/stat : 15148 (pbct-0.1.2-linu) R 15146 15148 15148 0 -1 4202496 1886 0 0 0 497 47 0 0 25 0 1 0 850055801 8163328 1629 33554432000 134512640 136422188 4292817312 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/15148/statm: 1993 1629 213 467 0 1524 0
[pid=15140/tid=15147] ppid=15138 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/15140/task/15147/stat : 15147 (python) S 15138 15140 15040 0 -1 4202560 25 930 0 0 0 0 0 0 18 0 2 0 850055801 300122112 7141 33554432000 4194304 5683644 140737386730832 18446744073709551615 270350207409 0 0 16781312 33554434 18446604446284290048 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 583904
Solver just ended. Dumping a history of the last processes samples
[startup+7.10121 s]
/proc/loadavg: 0.85 0.22 0.07 3/444 15148
/proc/meminfo: memFree=24682340/32951124 swapFree=50923800/67111528
[pid=15140] ppid=15138 vsize=293088 CPUtime=0.49 cores=0,2,4,6
/proc/15140/stat : 15140 (python) S 15138 15140 15040 0 -1 4202496 9628 930 1 0 37 12 0 0 18 0 2 0 850055716 300122112 7141 33554432000 4194304 5683644 140737386730832 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/15140/statm: 73272 7141 1870 364 0 8159 0
[pid=15146] ppid=15140 vsize=282844 CPUtime=0.02 cores=0,2,4,6
/proc/15146/stat : 15146 (python) S 15140 15140 15040 0 -1 4202560 868 0 0 0 1 1 0 0 18 0 1 0 850055801 289632256 5643 33554432000 4194304 5683644 140737386730832 18446744073709551615 270338403855 0 0 16781312 33554946 9787424632934990081 0 0 17 0 0 0 0
/proc/15146/statm: 70711 5643 376 364 0 5598 0
[pid=15148] ppid=15146 vsize=8100 CPUtime=6.23 cores=0,2,4,6
/proc/15148/stat : 15148 (pbct-0.1.2-linu) R 15146 15148 15148 0 -1 4202496 1891 0 0 0 570 53 0 0 25 0 1 0 850055801 8294400 1634 33554432000 134512640 136422188 4292817312 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/15148/statm: 2025 1634 213 467 0 1556 0
[pid=15140/tid=15147] ppid=15138 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/15140/task/15147/stat : 15147 (python) S 15138 15140 15040 0 -1 4202560 25 930 0 0 0 0 0 0 18 0 2 0 850055801 300122112 7141 33554432000 4194304 5683644 140737386730832 18446744073709551615 270350207409 0 0 16781312 33554434 18446604446284290048 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.74
Current children cumulated vsize (KiB) 584032
[startup+7.90105 s]
/proc/loadavg: 0.85 0.22 0.07 3/444 15148
/proc/meminfo: memFree=24675652/32951124 swapFree=50923800/67111528
[pid=15140] ppid=15138 vsize=293088 CPUtime=0.49 cores=0,2,4,6
/proc/15140/stat : 15140 (python) S 15138 15140 15040 0 -1 4202496 9628 930 1 0 37 12 0 0 18 0 2 0 850055716 300122112 7141 33554432000 4194304 5683644 140737386730832 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/15140/statm: 73272 7141 1870 364 0 8159 0
[pid=15146] ppid=15140 vsize=282844 CPUtime=0.02 cores=0,2,4,6
/proc/15146/stat : 15146 (python) S 15140 15140 15040 0 -1 4202560 868 0 0 0 1 1 0 0 18 0 1 0 850055801 289632256 5643 33554432000 4194304 5683644 140737386730832 18446744073709551615 270338403855 0 0 16781312 33554946 9787424632934990081 0 0 17 0 0 0 0
/proc/15146/statm: 70711 5643 376 364 0 5598 0
[pid=15148] ppid=15146 vsize=8100 CPUtime=7.04 cores=0,2,4,6
/proc/15148/stat : 15148 (pbct-0.1.2-linu) R 15146 15148 15148 0 -1 4202496 1891 0 0 0 645 59 0 0 25 0 1 0 850055801 8294400 1634 33554432000 134512640 136422188 4292817312 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/15148/statm: 2025 1634 213 467 0 1556 0
[pid=15140/tid=15147] ppid=15138 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/15140/task/15147/stat : 15147 (python) S 15138 15140 15040 0 -1 4202560 25 930 0 0 0 0 0 0 18 0 2 0 850055801 300122112 7141 33554432000 4194304 5683644 140737386730832 18446744073709551615 270350207409 0 0 16781312 33554434 18446604446284290048 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.55
Current children cumulated vsize (KiB) 584032
[startup+8.101 s]
/proc/loadavg: 0.85 0.22 0.07 3/444 15148
/proc/meminfo: memFree=24675652/32951124 swapFree=50923800/67111528
[pid=15140] ppid=15138 vsize=293088 CPUtime=0.49 cores=0,2,4,6
/proc/15140/stat : 15140 (python) S 15138 15140 15040 0 -1 4202496 9628 930 1 0 37 12 0 0 18 0 2 0 850055716 300122112 7141 33554432000 4194304 5683644 140737386730832 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/15140/statm: 73272 7141 1870 364 0 8159 0
[pid=15146] ppid=15140 vsize=282844 CPUtime=0.02 cores=0,2,4,6
/proc/15146/stat : 15146 (python) S 15140 15140 15040 0 -1 4202560 868 0 0 0 1 1 0 0 18 0 1 0 850055801 289632256 5643 33554432000 4194304 5683644 140737386730832 18446744073709551615 270338403855 0 0 16781312 33554946 9787424632934990081 0 0 17 0 0 0 0
/proc/15146/statm: 70711 5643 376 364 0 5598 0
[pid=15148] ppid=15146 vsize=8100 CPUtime=7.23 cores=0,2,4,6
/proc/15148/stat : 15148 (pbct-0.1.2-linu) R 15146 15148 15148 0 -1 4202496 1891 0 0 0 663 60 0 0 25 0 1 0 850055801 8294400 1634 33554432000 134512640 136422188 4292817312 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/15148/statm: 2025 1634 213 467 0 1556 0
[pid=15140/tid=15147] ppid=15138 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/15140/task/15147/stat : 15147 (python) S 15138 15140 15040 0 -1 4202560 25 930 0 0 0 0 0 0 18 0 2 0 850055801 300122112 7141 33554432000 4194304 5683644 140737386730832 18446744073709551615 270350207409 0 0 16781312 33554434 18446604446284290048 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.74
Current children cumulated vsize (KiB) 584032
[startup+8.201 s]
/proc/loadavg: 0.85 0.22 0.07 3/444 15148
/proc/meminfo: memFree=24675652/32951124 swapFree=50923800/67111528
[pid=15140] ppid=15138 vsize=293088 CPUtime=0.49 cores=0,2,4,6
/proc/15140/stat : 15140 (python) S 15138 15140 15040 0 -1 4202496 9628 930 1 0 37 12 0 0 18 0 2 0 850055716 300122112 7141 33554432000 4194304 5683644 140737386730832 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/15140/statm: 73272 7141 1870 364 0 8159 0
[pid=15146] ppid=15140 vsize=282848 CPUtime=0.03 cores=0,2,4,6
/proc/15146/stat : 15146 (python) R 15140 15140 15040 0 -1 4202560 874 0 0 0 2 1 0 0 15 0 1 0 850055801 289636352 5643 33554432000 4194304 5683644 140737386730832 18446744073709551615 270338383616 0 0 16781312 33554946 0 0 0 17 0 0 0 0
/proc/15146/statm: 70711 5643 376 364 0 5598 0
[pid=15148] ppid=15146 vsize=0 CPUtime=7.32 cores=0,2,4,6
/proc/15148/stat : 15148 (pbct-0.1.2-linu) Z 15146 15148 15148 0 -1 4202524 1917 0 0 0 671 61 0 0 25 0 1 0 850055801 0 0 33554432000 0 0 0 0 0 0 0 16781312 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/15148/statm: 0 0 0 0 0 0 0
[pid=15140/tid=15147] ppid=15138 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/15140/task/15147/stat : 15147 (python) S 15138 15140 15040 0 -1 4202560 25 930 0 0 0 0 0 0 18 0 2 0 850055801 300122112 7141 33554432000 4194304 5683644 140737386730832 18446744073709551615 270350207409 0 0 16781312 33554434 18446604446284290048 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.84
Current children cumulated vsize (KiB) 575936
Child status: 0
Real time (s): 8.22951
CPU time (s): 7.9018
CPU user time (s): 7.13891
CPU system time (s): 0.762884
CPU usage (%): 96.0179
Max. virtual memory (cumulated for all children) (KiB): 584032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.13891
system time used= 0.762884
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18045
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= 2489
involuntary context switches= 17
runsolver used 0.041993 second user time and 0.079987 second system time
The end