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-3482542-1307576437/watcher-3482542-1307576437 -o /tmp/evaluation-result-3482542-1307576437/solver-3482542-1307576437 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482542-1307576437.opb -seed 109739058 -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.37 0.40 0.14 2/440 15316
/proc/meminfo: memFree=24690996/32951124 swapFree=50923800/67111528
[pid=15316] ppid=15314 vsize=15908 CPUtime=0 cores=0,2,4,6
/proc/15316/stat : 15316 (python) S 15314 15316 15040 0 -1 4202496 959 0 0 0 0 0 0 0 17 0 1 0 850059414 16289792 834 33554432000 4194304 5683644 140733225666112 18446744073709551615 270338381824 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/15316/statm: 3977 834 357 364 0 464 0
[startup+0.0234699 s]
/proc/loadavg: 1.37 0.40 0.14 2/440 15316
/proc/meminfo: memFree=24690996/32951124 swapFree=50923800/67111528
[pid=15316] ppid=15314 vsize=16396 CPUtime=0.01 cores=0,2,4,6
/proc/15316/stat : 15316 (python) R 15314 15316 15040 0 -1 4202496 1118 0 0 0 1 0 0 0 17 0 1 0 850059414 16789504 985 33554432000 4194304 5683644 140733225666112 18446744073709551615 270338379621 0 2147483391 16781312 2 0 0 0 17 2 0 0 0
/proc/15316/statm: 4099 985 409 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
[startup+0.100498 s]
/proc/loadavg: 1.37 0.40 0.14 2/440 15316
/proc/meminfo: memFree=24690996/32951124 swapFree=50923800/67111528
[pid=15316] ppid=15314 vsize=96124 CPUtime=0.07 cores=0,2,4,6
/proc/15316/stat : 15316 (python) R 15314 15316 15040 0 -1 4202496 3169 932 1 0 6 1 0 0 18 0 1 0 850059414 98430976 2483 33554432000 4194304 5683644 140733225666112 18446744073709551615 5158265 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/15316/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.300508 s]
/proc/loadavg: 1.37 0.40 0.14 2/440 15316
/proc/meminfo: memFree=24690996/32951124 swapFree=50923800/67111528
[pid=15316] ppid=15314 vsize=177688 CPUtime=0.22 cores=0,2,4,6
/proc/15316/stat : 15316 (python) R 15314 15316 15040 0 -1 4202496 6248 932 1 0 18 4 0 0 17 0 1 0 850059414 181952512 4558 33554432000 4194304 5683644 140733225666112 18446744073709551615 270333414176 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/15316/statm: 44422 4559 1238 364 0 3534 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 177688
[startup+0.700378 s]
/proc/loadavg: 1.37 0.40 0.14 2/440 15316
/proc/meminfo: memFree=24690996/32951124 swapFree=50923800/67111528
[pid=15316] ppid=15314 vsize=293084 CPUtime=0.4 cores=0,2,4,6
/proc/15316/stat : 15316 (python) S 15314 15316 15040 0 -1 4202496 9631 932 1 0 33 7 0 0 19 0 2 0 850059414 300118016 7141 33554432000 4194304 5683644 140733225666112 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/15316/statm: 73271 7141 1870 364 0 8158 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 293084
[startup+1.5012 s]
/proc/loadavg: 1.37 0.40 0.14 3/444 15324
/proc/meminfo: memFree=24660636/32951124 swapFree=50923800/67111528
[pid=15316] ppid=15314 vsize=293084 CPUtime=0.4 cores=0,2,4,6
/proc/15316/stat : 15316 (python) S 15314 15316 15040 0 -1 4202496 9631 932 1 0 33 7 0 0 19 0 2 0 850059414 300118016 7141 33554432000 4194304 5683644 140733225666112 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/15316/statm: 73271 7141 1870 364 0 8158 0
[pid=15322] ppid=15316 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/15322/stat : 15322 (python) S 15316 15316 15040 0 -1 4202560 724 0 0 0 0 0 0 0 18 0 1 0 850059468 289628160 5619 33554432000 4194304 5683644 140733225666112 18446744073709551615 270338403855 0 0 16781312 33554946 1397046384854532355 0 0 17 2 0 0 0
/proc/15322/statm: 70710 5619 352 364 0 5597 0
[pid=15324] ppid=15322 vsize=7824 CPUtime=0.94 cores=0,2,4,6
/proc/15324/stat : 15324 (pbct-0.1.2-linu) R 15322 15324 15324 0 -1 4202496 1822 0 0 0 87 7 0 0 21 0 1 0 850059468 8011776 1565 33554432000 134512640 136422188 4294623632 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/15324/statm: 1956 1565 213 467 0 1487 0
[pid=15316/tid=15323] ppid=15314 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/15316/task/15323/stat : 15323 (python) S 15314 15316 15040 0 -1 4202560 26 932 0 0 0 0 0 0 19 0 2 0 850059468 300118016 7141 33554432000 4194304 5683644 140733225666112 18446744073709551615 270350207409 0 0 16781312 33554434 18446604444015477760 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 583748
[startup+3.10089 s]
/proc/loadavg: 1.37 0.40 0.14 3/444 15324
/proc/meminfo: memFree=24660140/32951124 swapFree=50923800/67111528
[pid=15316] ppid=15314 vsize=293084 CPUtime=0.4 cores=0,2,4,6
/proc/15316/stat : 15316 (python) S 15314 15316 15040 0 -1 4202496 9631 932 1 0 33 7 0 0 19 0 2 0 850059414 300118016 7141 33554432000 4194304 5683644 140733225666112 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/15316/statm: 73271 7141 1870 364 0 8158 0
[pid=15322] ppid=15316 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/15322/stat : 15322 (python) S 15316 15316 15040 0 -1 4202560 727 0 0 0 0 0 0 0 18 0 1 0 850059468 289628160 5619 33554432000 4194304 5683644 140733225666112 18446744073709551615 270338403855 0 0 16781312 33554946 1397046384854532355 0 0 17 2 0 0 0
/proc/15322/statm: 70710 5619 352 364 0 5597 0
[pid=15324] ppid=15322 vsize=7952 CPUtime=2.54 cores=0,2,4,6
/proc/15324/stat : 15324 (pbct-0.1.2-linu) R 15322 15324 15324 0 -1 4202496 1867 0 0 0 231 23 0 0 25 0 1 0 850059468 8142848 1610 33554432000 134512640 136422188 4294623632 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/15324/statm: 1988 1610 213 467 0 1519 0
[pid=15316/tid=15323] ppid=15314 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/15316/task/15323/stat : 15323 (python) S 15314 15316 15040 0 -1 4202560 26 932 0 0 0 0 0 0 19 0 2 0 850059468 300118016 7141 33554432000 4194304 5683644 140733225666112 18446744073709551615 270350207409 0 0 16781312 33554434 18446604444015477760 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 583876
[startup+6.30024 s]
/proc/loadavg: 1.42 0.43 0.15 3/444 15324
/proc/meminfo: memFree=24657396/32951124 swapFree=50923800/67111528
[pid=15316] ppid=15314 vsize=293084 CPUtime=0.4 cores=0,2,4,6
/proc/15316/stat : 15316 (python) S 15314 15316 15040 0 -1 4202496 9631 932 1 0 33 7 0 0 19 0 2 0 850059414 300118016 7141 33554432000 4194304 5683644 140733225666112 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/15316/statm: 73271 7141 1870 364 0 8158 0
[pid=15322] ppid=15316 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/15322/stat : 15322 (python) S 15316 15316 15040 0 -1 4202560 857 0 0 0 0 0 0 0 18 0 1 0 850059468 289628160 5643 33554432000 4194304 5683644 140733225666112 18446744073709551615 270338403855 0 0 16781312 33554946 12335527368423604483 0 0 17 2 0 0 0
/proc/15322/statm: 70710 5643 376 364 0 5597 0
[pid=15324] ppid=15322 vsize=8072 CPUtime=5.74 cores=0,2,4,6
/proc/15324/stat : 15324 (pbct-0.1.2-linu) R 15322 15324 15324 0 -1 4202496 1905 0 0 0 522 52 0 0 25 0 1 0 850059468 8265728 1648 33554432000 134512640 136422188 4294623632 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/15324/statm: 2018 1648 213 467 0 1549 0
[pid=15316/tid=15323] ppid=15314 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/15316/task/15323/stat : 15323 (python) S 15314 15316 15040 0 -1 4202560 26 932 0 0 0 0 0 0 19 0 2 0 850059468 300118016 7141 33554432000 4194304 5683644 140733225666112 18446744073709551615 270350207409 0 0 16781312 33554434 18446604444015477760 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 583996
Solver just ended. Dumping a history of the last processes samples
[startup+7.90092 s]
/proc/loadavg: 1.42 0.43 0.15 3/444 15324
/proc/meminfo: memFree=24660500/32951124 swapFree=50923800/67111528
[pid=15316] ppid=15314 vsize=293084 CPUtime=0.4 cores=0,2,4,6
/proc/15316/stat : 15316 (python) S 15314 15316 15040 0 -1 4202496 9631 932 1 0 33 7 0 0 19 0 2 0 850059414 300118016 7141 33554432000 4194304 5683644 140733225666112 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/15316/statm: 73271 7141 1870 364 0 8158 0
[pid=15322] ppid=15316 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/15322/stat : 15322 (python) S 15316 15316 15040 0 -1 4202560 857 0 0 0 0 0 0 0 18 0 1 0 850059468 289628160 5643 33554432000 4194304 5683644 140733225666112 18446744073709551615 270338403855 0 0 16781312 33554946 12335527368423604483 0 0 17 2 0 0 0
/proc/15322/statm: 70710 5643 376 364 0 5597 0
[pid=15324] ppid=15322 vsize=8072 CPUtime=7.35 cores=0,2,4,6
/proc/15324/stat : 15324 (pbct-0.1.2-linu) R 15322 15324 15324 0 -1 4202496 1905 0 0 0 671 64 0 0 25 0 1 0 850059468 8265728 1648 33554432000 134512640 136422188 4294623632 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/15324/statm: 2018 1648 213 467 0 1549 0
[pid=15316/tid=15323] ppid=15314 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/15316/task/15323/stat : 15323 (python) S 15314 15316 15040 0 -1 4202560 26 932 0 0 0 0 0 0 19 0 2 0 850059468 300118016 7141 33554432000 4194304 5683644 140733225666112 18446744073709551615 270350207409 0 0 16781312 33554434 18446604444015477760 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.75
Current children cumulated vsize (KiB) 583996
[startup+9.50062 s]
/proc/loadavg: 1.55 0.47 0.16 3/444 15324
/proc/meminfo: memFree=24660756/32951124 swapFree=50923800/67111528
[pid=15316] ppid=15314 vsize=293084 CPUtime=0.4 cores=0,2,4,6
/proc/15316/stat : 15316 (python) S 15314 15316 15040 0 -1 4202496 9631 932 1 0 33 7 0 0 19 0 2 0 850059414 300118016 7141 33554432000 4194304 5683644 140733225666112 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/15316/statm: 73271 7141 1870 364 0 8158 0
[pid=15322] ppid=15316 vsize=282840 CPUtime=0.02 cores=0,2,4,6
/proc/15322/stat : 15322 (python) S 15316 15316 15040 0 -1 4202560 864 0 0 0 1 1 0 0 18 0 1 0 850059468 289628160 5643 33554432000 4194304 5683644 140733225666112 18446744073709551615 270338403855 0 0 16781312 33554946 72262103200705272 0 0 17 2 0 0 0
/proc/15322/statm: 70710 5643 376 364 0 5597 0
[pid=15324] ppid=15322 vsize=8072 CPUtime=8.94 cores=0,2,4,6
/proc/15324/stat : 15324 (pbct-0.1.2-linu) R 15322 15324 15324 0 -1 4202496 1909 0 0 0 818 76 0 0 25 0 1 0 850059468 8265728 1652 33554432000 134512640 136422188 4294623632 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/15324/statm: 2018 1652 213 467 0 1549 0
[pid=15316/tid=15323] ppid=15314 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/15316/task/15323/stat : 15323 (python) S 15314 15316 15040 0 -1 4202560 26 932 0 0 0 0 0 0 19 0 2 0 850059468 300118016 7141 33554432000 4194304 5683644 140733225666112 18446744073709551615 270350207409 0 0 16781312 33554434 18446604444015477760 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.36
Current children cumulated vsize (KiB) 583996
[startup+9.91655 s]
/proc/loadavg: 1.55 0.47 0.16 3/448 15328
/proc/meminfo: memFree=24572560/32951124 swapFree=50923800/67111528
[pid=15316] ppid=15314 vsize=293084 CPUtime=0.4 cores=0,2,4,6
/proc/15316/stat : 15316 (python) S 15314 15316 15040 0 -1 4202496 9631 932 1 0 33 7 0 0 19 0 2 0 850059414 300118016 7141 33554432000 4194304 5683644 140733225666112 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/15316/statm: 73271 7141 1870 364 0 8158 0
[pid=15322] ppid=15316 vsize=282840 CPUtime=0.02 cores=0,2,4,6
/proc/15322/stat : 15322 (python) S 15316 15316 15040 0 -1 4202560 864 0 0 0 1 1 0 0 18 0 1 0 850059468 289628160 5643 33554432000 4194304 5683644 140733225666112 18446744073709551615 270338403855 0 0 16781312 33554946 72262103200705272 0 0 17 2 0 0 0
/proc/15322/statm: 70710 5643 376 364 0 5597 0
[pid=15324] ppid=15322 vsize=8072 CPUtime=9.37 cores=0,2,4,6
/proc/15324/stat : 15324 (pbct-0.1.2-linu) R 15322 15324 15324 0 -1 4202496 1909 0 0 0 857 80 0 0 25 0 1 0 850059468 8265728 1652 33554432000 134512640 136422188 4294623632 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/15324/statm: 2018 1652 213 467 0 1549 0
[pid=15316/tid=15323] ppid=15314 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/15316/task/15323/stat : 15323 (python) S 15314 15316 15040 0 -1 4202560 26 932 0 0 0 0 0 0 19 0 2 0 850059468 300118016 7141 33554432000 4194304 5683644 140733225666112 18446744073709551615 270350207409 0 0 16781312 33554434 18446604444015477760 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.79
Current children cumulated vsize (KiB) 583996
[startup+10.1005 s]
/proc/loadavg: 1.55 0.47 0.16 3/448 15328
/proc/meminfo: memFree=24572560/32951124 swapFree=50923800/67111528
[pid=15316] ppid=15314 vsize=293084 CPUtime=0.4 cores=0,2,4,6
/proc/15316/stat : 15316 (python) S 15314 15316 15040 0 -1 4202496 9631 932 1 0 33 7 0 0 19 0 2 0 850059414 300118016 7141 33554432000 4194304 5683644 140733225666112 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/15316/statm: 73271 7141 1870 364 0 8158 0
[pid=15322] ppid=15316 vsize=282840 CPUtime=0.02 cores=0,2,4,6
/proc/15322/stat : 15322 (python) S 15316 15316 15040 0 -1 4202560 864 0 0 0 1 1 0 0 18 0 1 0 850059468 289628160 5643 33554432000 4194304 5683644 140733225666112 18446744073709551615 270338403855 0 0 16781312 33554946 72262103200705272 0 0 17 2 0 0 0
/proc/15322/statm: 70710 5643 376 364 0 5597 0
[pid=15324] ppid=15322 vsize=8072 CPUtime=9.54 cores=0,2,4,6
/proc/15324/stat : 15324 (pbct-0.1.2-linu) R 15322 15324 15324 0 -1 4202496 1909 0 0 0 873 81 0 0 25 0 1 0 850059468 8265728 1652 33554432000 134512640 136422188 4294623632 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/15324/statm: 2018 1652 213 467 0 1549 0
[pid=15316/tid=15323] ppid=15314 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/15316/task/15323/stat : 15323 (python) S 15314 15316 15040 0 -1 4202560 26 932 0 0 0 0 0 0 19 0 2 0 850059468 300118016 7141 33554432000 4194304 5683644 140733225666112 18446744073709551615 270350207409 0 0 16781312 33554434 18446604444015477760 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (KiB) 583996
Child status: 0
Real time (s): 10.1611
CPU time (s): 10.0695
CPU user time (s): 9.14461
CPU system time (s): 0.924859
CPU usage (%): 99.0978
Max. virtual memory (cumulated for all children) (KiB): 584004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.14461
system time used= 0.924859
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18061
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= 1192
involuntary context switches= 26
runsolver used 0.054991 second user time and 0.095985 second system time
The end