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-3482511-1307576421/watcher-3482511-1307576421 -o /tmp/evaluation-result-3482511-1307576421/solver-3482511-1307576421 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482511-1307576421.opb -seed 209666398 -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: 1.10 0.30 0.10 3/440 15245
/proc/meminfo: memFree=24702712/32951124 swapFree=50923800/67111528
[pid=15245] ppid=15243 vsize=15912 CPUtime=0 cores=0,2,4,6
/proc/15245/stat : 15245 (python) R 15243 15245 15040 0 -1 4202496 959 0 0 0 0 0 0 0 17 0 1 0 850057729 16293888 835 33554432000 4194304 5683644 140737451204336 18446744073709551615 270338379700 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/15245/statm: 3978 836 357 364 0 465 0
[startup+0.0786911 s]
/proc/loadavg: 1.10 0.30 0.10 3/440 15245
/proc/meminfo: memFree=24702712/32951124 swapFree=50923800/67111528
[pid=15245] ppid=15243 vsize=84436 CPUtime=0.05 cores=0,2,4,6
/proc/15245/stat : 15245 (python) R 15243 15245 15040 0 -1 4202496 2385 0 0 0 4 1 0 0 17 0 1 0 850057729 86462464 2114 33554432000 4194304 5683644 140737451204336 18446744073709551615 270338044613 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/15245/statm: 21109 2114 706 364 0 1326 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84436
[startup+0.100662 s]
/proc/loadavg: 1.10 0.30 0.10 3/440 15245
/proc/meminfo: memFree=24702712/32951124 swapFree=50923800/67111528
[pid=15245] ppid=15243 vsize=96128 CPUtime=0.07 cores=0,2,4,6
/proc/15245/stat : 15245 (python) R 15243 15245 15040 0 -1 4202496 3168 931 1 0 5 2 0 0 18 0 1 0 850057729 98435072 2484 33554432000 4194304 5683644 140737451204336 18446744073709551615 5178064 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/15245/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.300649 s]
/proc/loadavg: 1.10 0.30 0.10 3/440 15245
/proc/meminfo: memFree=24702712/32951124 swapFree=50923800/67111528
[pid=15245] ppid=15243 vsize=179992 CPUtime=0.21 cores=0,2,4,6
/proc/15245/stat : 15245 (python) S 15243 15245 15040 0 -1 4202496 6274 931 1 0 16 5 0 0 17 0 1 0 850057729 184311808 4582 33554432000 4194304 5683644 140737451204336 18446744073709551615 270338381824 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/15245/statm: 44998 4582 1244 364 0 3568 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 179992
[startup+0.700515 s]
/proc/loadavg: 1.10 0.30 0.10 3/440 15245
/proc/meminfo: memFree=24702712/32951124 swapFree=50923800/67111528
[pid=15245] ppid=15243 vsize=293088 CPUtime=0.4 cores=0,2,4,6
/proc/15245/stat : 15245 (python) S 15243 15245 15040 0 -1 4202496 9631 931 1 0 32 8 0 0 19 0 2 0 850057729 300122112 7142 33554432000 4194304 5683644 140737451204336 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15245/statm: 73272 7142 1870 364 0 8159 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 293088
[startup+1.5004 s]
/proc/loadavg: 1.10 0.30 0.10 3/444 15254
/proc/meminfo: memFree=24672672/32951124 swapFree=50923800/67111528
[pid=15245] ppid=15243 vsize=293088 CPUtime=0.4 cores=0,2,4,6
/proc/15245/stat : 15245 (python) S 15243 15245 15040 0 -1 4202496 9631 931 1 0 32 8 0 0 19 0 2 0 850057729 300122112 7142 33554432000 4194304 5683644 140737451204336 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15245/statm: 73272 7142 1870 364 0 8159 0
[pid=15251] ppid=15245 vsize=282844 CPUtime=0 cores=0,2,4,6
/proc/15251/stat : 15251 (python) S 15245 15245 15040 0 -1 4202560 726 0 0 0 0 0 0 0 18 0 1 0 850057782 289632256 5620 33554432000 4194304 5683644 140737451204336 18446744073709551615 270338403855 0 0 16781312 33554946 5710729292904628481 0 0 17 0 0 0 0
/proc/15251/statm: 70711 5620 352 364 0 5598 0
[pid=15253] ppid=15251 vsize=7720 CPUtime=0.96 cores=0,2,4,6
/proc/15253/stat : 15253 (pbct-0.1.2-linu) R 15251 15253 15253 0 -1 4202496 1808 0 0 0 89 7 0 0 21 0 1 0 850057782 7905280 1553 33554432000 134512640 136422188 4288091600 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/15253/statm: 1930 1553 213 467 0 1461 0
[pid=15245/tid=15252] ppid=15243 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/15245/task/15252/stat : 15252 (python) S 15243 15245 15040 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 2 0 850057782 300122112 7142 33554432000 4194304 5683644 140737451204336 18446744073709551615 270350207409 0 0 16781312 33554434 18446604444015478656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 583652
[startup+3.10105 s]
/proc/loadavg: 1.10 0.30 0.10 3/444 15254
/proc/meminfo: memFree=24671556/32951124 swapFree=50923800/67111528
[pid=15245] ppid=15243 vsize=293088 CPUtime=0.4 cores=0,2,4,6
/proc/15245/stat : 15245 (python) S 15243 15245 15040 0 -1 4202496 9631 931 1 0 32 8 0 0 19 0 2 0 850057729 300122112 7142 33554432000 4194304 5683644 140737451204336 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15245/statm: 73272 7142 1870 364 0 8159 0
[pid=15251] ppid=15245 vsize=282844 CPUtime=0 cores=0,2,4,6
/proc/15251/stat : 15251 (python) S 15245 15245 15040 0 -1 4202560 730 0 0 0 0 0 0 0 18 0 1 0 850057782 289632256 5620 33554432000 4194304 5683644 140737451204336 18446744073709551615 270338403855 0 0 16781312 33554946 5710729292904628481 0 0 17 0 0 0 0
/proc/15251/statm: 70711 5620 352 364 0 5598 0
[pid=15253] ppid=15251 vsize=7976 CPUtime=2.56 cores=0,2,4,6
/proc/15253/stat : 15253 (pbct-0.1.2-linu) R 15251 15253 15253 0 -1 4202496 1867 0 0 0 236 20 0 0 25 0 1 0 850057782 8167424 1612 33554432000 134512640 136422188 4288091600 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/15253/statm: 1994 1612 213 467 0 1525 0
[pid=15245/tid=15252] ppid=15243 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/15245/task/15252/stat : 15252 (python) S 15243 15245 15040 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 2 0 850057782 300122112 7142 33554432000 4194304 5683644 140737451204336 18446744073709551615 270350207409 0 0 16781312 33554434 18446604444015478656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 583908
Solver just ended. Dumping a history of the last processes samples
[startup+4.10085 s]
/proc/loadavg: 1.10 0.30 0.10 3/444 15254
/proc/meminfo: memFree=24670512/32951124 swapFree=50923800/67111528
[pid=15245] ppid=15243 vsize=293088 CPUtime=0.4 cores=0,2,4,6
/proc/15245/stat : 15245 (python) S 15243 15245 15040 0 -1 4202496 9631 931 1 0 32 8 0 0 19 0 2 0 850057729 300122112 7142 33554432000 4194304 5683644 140737451204336 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15245/statm: 73272 7142 1870 364 0 8159 0
[pid=15251] ppid=15245 vsize=282844 CPUtime=0.01 cores=0,2,4,6
/proc/15251/stat : 15251 (python) S 15245 15245 15040 0 -1 4202560 872 0 0 0 0 1 0 0 18 0 1 0 850057782 289632256 5644 33554432000 4194304 5683644 140737451204336 18446744073709551615 270338403855 0 0 16781312 33554946 10340960499079807233 0 0 17 0 0 0 0
/proc/15251/statm: 70711 5644 376 364 0 5598 0
[pid=15253] ppid=15251 vsize=7976 CPUtime=3.56 cores=0,2,4,6
/proc/15253/stat : 15253 (pbct-0.1.2-linu) R 15251 15253 15253 0 -1 4202496 1869 0 0 0 326 30 0 0 25 0 1 0 850057782 8167424 1614 33554432000 134512640 136422188 4288091600 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/15253/statm: 1994 1614 213 467 0 1525 0
[pid=15245/tid=15252] ppid=15243 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/15245/task/15252/stat : 15252 (python) S 15243 15245 15040 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 2 0 850057782 300122112 7142 33554432000 4194304 5683644 140737451204336 18446744073709551615 270350207409 0 0 16781312 33554434 18446604444015478656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 583908
[startup+4.50078 s]
/proc/loadavg: 1.10 0.30 0.10 3/444 15254
/proc/meminfo: memFree=24670512/32951124 swapFree=50923800/67111528
[pid=15245] ppid=15243 vsize=293088 CPUtime=0.4 cores=0,2,4,6
/proc/15245/stat : 15245 (python) S 15243 15245 15040 0 -1 4202496 9631 931 1 0 32 8 0 0 19 0 2 0 850057729 300122112 7142 33554432000 4194304 5683644 140737451204336 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15245/statm: 73272 7142 1870 364 0 8159 0
[pid=15251] ppid=15245 vsize=282844 CPUtime=0.01 cores=0,2,4,6
/proc/15251/stat : 15251 (python) S 15245 15245 15040 0 -1 4202560 872 0 0 0 0 1 0 0 18 0 1 0 850057782 289632256 5644 33554432000 4194304 5683644 140737451204336 18446744073709551615 270338403855 0 0 16781312 33554946 10340960499079807233 0 0 17 0 0 0 0
/proc/15251/statm: 70711 5644 376 364 0 5598 0
[pid=15253] ppid=15251 vsize=7976 CPUtime=3.96 cores=0,2,4,6
/proc/15253/stat : 15253 (pbct-0.1.2-linu) R 15251 15253 15253 0 -1 4202496 1869 0 0 0 363 33 0 0 25 0 1 0 850057782 8167424 1614 33554432000 134512640 136422188 4288091600 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/15253/statm: 1994 1614 213 467 0 1525 0
[pid=15245/tid=15252] ppid=15243 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/15245/task/15252/stat : 15252 (python) S 15243 15245 15040 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 2 0 850057782 300122112 7142 33554432000 4194304 5683644 140737451204336 18446744073709551615 270350207409 0 0 16781312 33554434 18446604444015478656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 583908
[startup+4.60075 s]
/proc/loadavg: 1.10 0.30 0.10 3/444 15254
/proc/meminfo: memFree=24670512/32951124 swapFree=50923800/67111528
[pid=15245] ppid=15243 vsize=293088 CPUtime=0.4 cores=0,2,4,6
/proc/15245/stat : 15245 (python) S 15243 15245 15040 0 -1 4202496 9631 931 1 0 32 8 0 0 19 0 2 0 850057729 300122112 7142 33554432000 4194304 5683644 140737451204336 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15245/statm: 73272 7142 1870 364 0 8159 0
[pid=15251] ppid=15245 vsize=282844 CPUtime=0.01 cores=0,2,4,6
/proc/15251/stat : 15251 (python) S 15245 15245 15040 0 -1 4202560 872 0 0 0 0 1 0 0 18 0 1 0 850057782 289632256 5644 33554432000 4194304 5683644 140737451204336 18446744073709551615 270338403855 0 0 16781312 33554946 10340960499079807233 0 0 17 0 0 0 0
/proc/15251/statm: 70711 5644 376 364 0 5598 0
[pid=15253] ppid=15251 vsize=7976 CPUtime=4.06 cores=0,2,4,6
/proc/15253/stat : 15253 (pbct-0.1.2-linu) R 15251 15253 15253 0 -1 4202496 1869 0 0 0 372 34 0 0 25 0 1 0 850057782 8167424 1614 33554432000 134512640 136422188 4288091600 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/15253/statm: 1994 1614 213 467 0 1525 0
[pid=15245/tid=15252] ppid=15243 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/15245/task/15252/stat : 15252 (python) S 15243 15245 15040 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 2 0 850057782 300122112 7142 33554432000 4194304 5683644 140737451204336 18446744073709551615 270350207409 0 0 16781312 33554434 18446604444015478656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.47
Current children cumulated vsize (KiB) 583908
Child status: 0
Real time (s): 4.67519
CPU time (s): 4.5823
CPU user time (s): 4.12037
CPU system time (s): 0.461929
CPU usage (%): 98.0132
Max. virtual memory (cumulated for all children) (KiB): 583908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.12037
system time used= 0.461929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18026
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= 1021
involuntary context switches= 24
runsolver used 0.014997 second user time and 0.046992 second system time
The end