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-3482517-1307576425/watcher-3482517-1307576425 -o /tmp/evaluation-result-3482517-1307576425/solver-3482517-1307576425 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482517-1307576425.opb -seed 852816353 -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.05 0.26 0.09 3/473 5544
/proc/meminfo: memFree=23705292/32950928 swapFree=61858080/67111528
[pid=5544] ppid=5542 vsize=15772 CPUtime=0 cores=0,2,4,6
/proc/5544/stat : 5544 (python) R 5542 5544 5281 0 -1 4202496 856 0 0 0 0 0 0 0 25 0 1 0 869242259 16150528 738 33554432000 4194304 5683644 140736503840896 18446744073709551615 5002908 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/5544/statm: 3943 740 335 364 0 430 0
[startup+0.0270709 s]
/proc/loadavg: 1.05 0.26 0.09 3/473 5544
/proc/meminfo: memFree=23705292/32950928 swapFree=61858080/67111528
[pid=5544] ppid=5542 vsize=16812 CPUtime=0.01 cores=0,2,4,6
/proc/5544/stat : 5544 (python) R 5542 5544 5281 0 -1 4202496 1226 0 0 0 1 0 0 0 18 0 1 0 869242259 17215488 1084 33554432000 4194304 5683644 140736503840896 18446744073709551615 4870104 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/5544/statm: 4203 1084 417 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16812
[startup+0.10106 s]
/proc/loadavg: 1.05 0.26 0.09 3/473 5544
/proc/meminfo: memFree=23705292/32950928 swapFree=61858080/67111528
[pid=5544] ppid=5542 vsize=96124 CPUtime=0.07 cores=0,2,4,6
/proc/5544/stat : 5544 (python) R 5542 5544 5281 0 -1 4202496 3167 931 1 0 5 2 0 0 18 0 1 0 869242259 98430976 2483 33554432000 4194304 5683644 140736503840896 18446744073709551615 5158253 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/5544/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.301025 s]
/proc/loadavg: 1.05 0.26 0.09 3/473 5544
/proc/meminfo: memFree=23705292/32950928 swapFree=61858080/67111528
[pid=5544] ppid=5542 vsize=168304 CPUtime=0.23 cores=0,2,4,6
/proc/5544/stat : 5544 (python) R 5542 5544 5281 0 -1 4202496 5974 931 1 0 15 8 0 0 17 0 1 0 869242259 172343296 4291 33554432000 4194304 5683644 140736503840896 18446744073709551615 46947513205601 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/5544/statm: 42076 4291 1200 364 0 3293 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 168304
[startup+0.700952 s]
/proc/loadavg: 1.05 0.26 0.09 3/473 5544
/proc/meminfo: memFree=23705292/32950928 swapFree=61858080/67111528
[pid=5544] ppid=5542 vsize=293084 CPUtime=0.44 cores=0,2,4,6
/proc/5544/stat : 5544 (python) S 5542 5544 5281 0 -1 4202496 9627 931 1 0 31 13 0 0 19 0 2 0 869242259 300118016 7141 33554432000 4194304 5683644 140736503840896 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/5544/statm: 73271 7141 1870 364 0 8158 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 293084
[startup+1.50093 s]
/proc/loadavg: 1.05 0.26 0.09 3/480 5555
/proc/meminfo: memFree=23651816/32950928 swapFree=61858080/67111528
[pid=5544] ppid=5542 vsize=293084 CPUtime=0.44 cores=0,2,4,6
/proc/5544/stat : 5544 (python) S 5542 5544 5281 0 -1 4202496 9627 931 1 0 31 13 0 0 19 0 2 0 869242259 300118016 7141 33554432000 4194304 5683644 140736503840896 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/5544/statm: 73271 7141 1870 364 0 8158 0
[pid=5553] ppid=5544 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/5553/stat : 5553 (python) S 5544 5544 5281 0 -1 4202560 723 0 0 0 0 0 0 0 18 0 1 0 869242314 289628160 5619 33554432000 4194304 5683644 140736503840896 18446744073709551615 274473987599 0 0 16781312 33554946 7054013574955368708 0 0 17 4 0 0 0
/proc/5553/statm: 70710 5619 352 364 0 5597 0
[pid=5555] ppid=5553 vsize=7848 CPUtime=0.94 cores=0,2,4,6
/proc/5555/stat : 5555 (pbct-0.1.2-linu) R 5553 5555 5555 0 -1 4202496 1837 0 0 0 86 8 0 0 21 0 1 0 869242314 8036352 1580 33554432000 134512640 136422188 4294650464 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/5555/statm: 1962 1580 213 467 0 1493 0
[pid=5544/tid=5554] ppid=5542 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5554/stat : 5554 (python) S 5542 5544 5281 0 -1 4202560 25 931 0 0 0 0 0 0 19 0 2 0 869242314 300118016 7141 33554432000 4194304 5683644 140736503840896 18446744073709551615 274485791153 0 0 16781312 33554434 18446604453291349952 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 583772
[startup+3.10053 s]
/proc/loadavg: 1.21 0.31 0.10 3/480 5555
/proc/meminfo: memFree=23650024/32950928 swapFree=61858080/67111528
[pid=5544] ppid=5542 vsize=293084 CPUtime=0.44 cores=0,2,4,6
/proc/5544/stat : 5544 (python) S 5542 5544 5281 0 -1 4202496 9627 931 1 0 31 13 0 0 19 0 2 0 869242259 300118016 7141 33554432000 4194304 5683644 140736503840896 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/5544/statm: 73271 7141 1870 364 0 8158 0
[pid=5553] ppid=5544 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/5553/stat : 5553 (python) S 5544 5544 5281 0 -1 4202560 726 0 0 0 0 0 0 0 18 0 1 0 869242314 289628160 5619 33554432000 4194304 5683644 140736503840896 18446744073709551615 274473987599 0 0 16781312 33554946 7054013574955368708 0 0 17 4 0 0 0
/proc/5553/statm: 70710 5619 352 364 0 5597 0
[pid=5555] ppid=5553 vsize=7984 CPUtime=2.54 cores=0,2,4,6
/proc/5555/stat : 5555 (pbct-0.1.2-linu) R 5553 5555 5555 0 -1 4202496 1885 0 0 0 232 22 0 0 25 0 1 0 869242314 8175616 1628 33554432000 134512640 136422188 4294650464 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/5555/statm: 1996 1628 213 467 0 1527 0
[pid=5544/tid=5554] ppid=5542 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5554/stat : 5554 (python) S 5542 5544 5281 0 -1 4202560 25 931 0 0 0 0 0 0 19 0 2 0 869242314 300118016 7141 33554432000 4194304 5683644 140736503840896 18446744073709551615 274485791153 0 0 16781312 33554434 18446604453291349952 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 583908
[startup+6.30097 s]
/proc/loadavg: 1.21 0.31 0.10 3/480 5555
/proc/meminfo: memFree=23653224/32950928 swapFree=61858080/67111528
[pid=5544] ppid=5542 vsize=293084 CPUtime=0.44 cores=0,2,4,6
/proc/5544/stat : 5544 (python) S 5542 5544 5281 0 -1 4202496 9627 931 1 0 31 13 0 0 19 0 2 0 869242259 300118016 7141 33554432000 4194304 5683644 140736503840896 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/5544/statm: 73271 7141 1870 364 0 8158 0
[pid=5553] ppid=5544 vsize=282840 CPUtime=0.01 cores=0,2,4,6
/proc/5553/stat : 5553 (python) S 5544 5544 5281 0 -1 4202560 870 0 0 0 1 0 0 0 18 0 1 0 869242314 289628160 5643 33554432000 4194304 5683644 140736503840896 18446744073709551615 274473987599 0 0 16781312 33554946 8653160122664583428 0 0 17 4 0 0 0
/proc/5553/statm: 70710 5643 376 364 0 5597 0
[pid=5555] ppid=5553 vsize=8112 CPUtime=5.75 cores=0,2,4,6
/proc/5555/stat : 5555 (pbct-0.1.2-linu) R 5553 5555 5555 0 -1 4202496 1898 0 0 0 525 50 0 0 25 0 1 0 869242314 8306688 1641 33554432000 134512640 136422188 4294650464 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/5555/statm: 2028 1641 213 467 0 1559 0
[pid=5544/tid=5554] ppid=5542 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5554/stat : 5554 (python) S 5542 5544 5281 0 -1 4202560 25 931 0 0 0 0 0 0 19 0 2 0 869242314 300118016 7141 33554432000 4194304 5683644 140736503840896 18446744073709551615 274485791153 0 0 16781312 33554434 18446604453291349952 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 584036
Solver just ended. Dumping a history of the last processes samples
[startup+6.80088 s]
/proc/loadavg: 1.21 0.31 0.10 3/480 5555
/proc/meminfo: memFree=23653224/32950928 swapFree=61858080/67111528
[pid=5544] ppid=5542 vsize=293084 CPUtime=0.44 cores=0,2,4,6
/proc/5544/stat : 5544 (python) S 5542 5544 5281 0 -1 4202496 9627 931 1 0 31 13 0 0 19 0 2 0 869242259 300118016 7141 33554432000 4194304 5683644 140736503840896 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/5544/statm: 73271 7141 1870 364 0 8158 0
[pid=5553] ppid=5544 vsize=282840 CPUtime=0.01 cores=0,2,4,6
/proc/5553/stat : 5553 (python) S 5544 5544 5281 0 -1 4202560 870 0 0 0 1 0 0 0 18 0 1 0 869242314 289628160 5643 33554432000 4194304 5683644 140736503840896 18446744073709551615 274473987599 0 0 16781312 33554946 8653160122664583428 0 0 17 4 0 0 0
/proc/5553/statm: 70710 5643 376 364 0 5597 0
[pid=5555] ppid=5553 vsize=8112 CPUtime=6.25 cores=0,2,4,6
/proc/5555/stat : 5555 (pbct-0.1.2-linu) R 5553 5555 5555 0 -1 4202496 1898 0 0 0 571 54 0 0 25 0 1 0 869242314 8306688 1641 33554432000 134512640 136422188 4294650464 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/5555/statm: 2028 1641 213 467 0 1559 0
[pid=5544/tid=5554] ppid=5542 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5554/stat : 5554 (python) S 5542 5544 5281 0 -1 4202560 25 931 0 0 0 0 0 0 19 0 2 0 869242314 300118016 7141 33554432000 4194304 5683644 140736503840896 18446744073709551615 274485791153 0 0 16781312 33554434 18446604453291349952 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.7
Current children cumulated vsize (KiB) 584036
[startup+8.40071 s]
/proc/loadavg: 1.27 0.34 0.11 3/480 5555
/proc/meminfo: memFree=23654092/32950928 swapFree=61858080/67111528
[pid=5544] ppid=5542 vsize=293084 CPUtime=0.44 cores=0,2,4,6
/proc/5544/stat : 5544 (python) S 5542 5544 5281 0 -1 4202496 9627 931 1 0 31 13 0 0 19 0 2 0 869242259 300118016 7141 33554432000 4194304 5683644 140736503840896 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/5544/statm: 73271 7141 1870 364 0 8158 0
[pid=5553] ppid=5544 vsize=282840 CPUtime=0.01 cores=0,2,4,6
/proc/5553/stat : 5553 (python) S 5544 5544 5281 0 -1 4202560 870 0 0 0 1 0 0 0 18 0 1 0 869242314 289628160 5643 33554432000 4194304 5683644 140736503840896 18446744073709551615 274473987599 0 0 16781312 33554946 8653160122664583428 0 0 17 4 0 0 0
/proc/5553/statm: 70710 5643 376 364 0 5597 0
[pid=5555] ppid=5553 vsize=8112 CPUtime=7.84 cores=0,2,4,6
/proc/5555/stat : 5555 (pbct-0.1.2-linu) R 5553 5555 5555 0 -1 4202496 1901 0 0 0 716 68 0 0 25 0 1 0 869242314 8306688 1644 33554432000 134512640 136422188 4294650464 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/5555/statm: 2028 1644 213 467 0 1559 0
[pid=5544/tid=5554] ppid=5542 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5554/stat : 5554 (python) S 5542 5544 5281 0 -1 4202560 25 931 0 0 0 0 0 0 19 0 2 0 869242314 300118016 7141 33554432000 4194304 5683644 140736503840896 18446744073709551615 274485791153 0 0 16781312 33554434 18446604453291349952 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8.29
Current children cumulated vsize (KiB) 584036
[startup+9.20051 s]
/proc/loadavg: 1.27 0.34 0.11 3/473 5578
/proc/meminfo: memFree=23778140/32950928 swapFree=61858080/67111528
[pid=5544] ppid=5542 vsize=293084 CPUtime=0.44 cores=0,2,4,6
/proc/5544/stat : 5544 (python) S 5542 5544 5281 0 -1 4202496 9627 931 1 0 31 13 0 0 19 0 2 0 869242259 300118016 7141 33554432000 4194304 5683644 140736503840896 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/5544/statm: 73271 7141 1870 364 0 8158 0
[pid=5553] ppid=5544 vsize=282840 CPUtime=0.02 cores=0,2,4,6
/proc/5553/stat : 5553 (python) S 5544 5544 5281 0 -1 4202560 874 0 0 0 1 1 0 0 18 0 1 0 869242314 289628160 5643 33554432000 4194304 5683644 140736503840896 18446744073709551615 274473987599 0 0 16781312 33554946 72409437758827186 0 0 17 4 0 0 0
/proc/5553/statm: 70710 5643 376 364 0 5597 0
[pid=5555] ppid=5553 vsize=8112 CPUtime=8.65 cores=0,2,4,6
/proc/5555/stat : 5555 (pbct-0.1.2-linu) R 5553 5555 5555 0 -1 4202496 1901 0 0 0 791 74 0 0 25 0 1 0 869242314 8306688 1644 33554432000 134512640 136422188 4294650464 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/5555/statm: 2028 1644 213 467 0 1559 0
[pid=5544/tid=5554] ppid=5542 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5554/stat : 5554 (python) S 5542 5544 5281 0 -1 4202560 25 931 0 0 0 0 0 0 19 0 2 0 869242314 300118016 7141 33554432000 4194304 5683644 140736503840896 18446744073709551615 274485791153 0 0 16781312 33554434 18446604453291349952 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 9.11
Current children cumulated vsize (KiB) 584036
[startup+9.60052 s]
/proc/loadavg: 1.27 0.34 0.11 3/473 5578
/proc/meminfo: memFree=23778140/32950928 swapFree=61858080/67111528
[pid=5544] ppid=5542 vsize=293084 CPUtime=0.44 cores=0,2,4,6
/proc/5544/stat : 5544 (python) S 5542 5544 5281 0 -1 4202496 9627 931 1 0 31 13 0 0 19 0 2 0 869242259 300118016 7141 33554432000 4194304 5683644 140736503840896 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/5544/statm: 73271 7141 1870 364 0 8158 0
[pid=5553] ppid=5544 vsize=282840 CPUtime=0.02 cores=0,2,4,6
/proc/5553/stat : 5553 (python) S 5544 5544 5281 0 -1 4202560 874 0 0 0 1 1 0 0 18 0 1 0 869242314 289628160 5643 33554432000 4194304 5683644 140736503840896 18446744073709551615 274473987599 0 0 16781312 33554946 72409437758827186 0 0 17 4 0 0 0
/proc/5553/statm: 70710 5643 376 364 0 5597 0
[pid=5555] ppid=5553 vsize=8112 CPUtime=9.04 cores=0,2,4,6
/proc/5555/stat : 5555 (pbct-0.1.2-linu) R 5553 5555 5555 0 -1 4202496 1901 0 0 0 828 76 0 0 25 0 1 0 869242314 8306688 1644 33554432000 134512640 136422188 4294650464 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/5555/statm: 2028 1644 213 467 0 1559 0
[pid=5544/tid=5554] ppid=5542 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5554/stat : 5554 (python) S 5542 5544 5281 0 -1 4202560 25 931 0 0 0 0 0 0 19 0 2 0 869242314 300118016 7141 33554432000 4194304 5683644 140736503840896 18446744073709551615 274485791153 0 0 16781312 33554434 18446604453291349952 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 9.5
Current children cumulated vsize (KiB) 584036
[startup+9.70048 s]
/proc/loadavg: 1.27 0.34 0.11 3/473 5578
/proc/meminfo: memFree=23778140/32950928 swapFree=61858080/67111528
[pid=5544] ppid=5542 vsize=293084 CPUtime=0.44 cores=0,2,4,6
/proc/5544/stat : 5544 (python) S 5542 5544 5281 0 -1 4202496 9627 931 1 0 31 13 0 0 19 0 2 0 869242259 300118016 7141 33554432000 4194304 5683644 140736503840896 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/5544/statm: 73271 7141 1870 364 0 8158 0
[pid=5553] ppid=5544 vsize=282840 CPUtime=0.02 cores=0,2,4,6
/proc/5553/stat : 5553 (python) S 5544 5544 5281 0 -1 4202560 874 0 0 0 1 1 0 0 18 0 1 0 869242314 289628160 5643 33554432000 4194304 5683644 140736503840896 18446744073709551615 274473987599 0 0 16781312 33554946 72409437758827186 0 0 17 4 0 0 0
/proc/5553/statm: 70710 5643 376 364 0 5597 0
[pid=5555] ppid=5553 vsize=8112 CPUtime=9.14 cores=0,2,4,6
/proc/5555/stat : 5555 (pbct-0.1.2-linu) R 5553 5555 5555 0 -1 4202496 1901 0 0 0 838 76 0 0 25 0 1 0 869242314 8306688 1644 33554432000 134512640 136422188 4294650464 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/5555/statm: 2028 1644 213 467 0 1559 0
[pid=5544/tid=5554] ppid=5542 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/5544/task/5554/stat : 5554 (python) S 5542 5544 5281 0 -1 4202560 25 931 0 0 0 0 0 0 19 0 2 0 869242314 300118016 7141 33554432000 4194304 5683644 140736503840896 18446744073709551615 274485791153 0 0 16781312 33554434 18446604453291349952 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 9.6
Current children cumulated vsize (KiB) 584036
Child status: 0
Real time (s): 9.78837
CPU time (s): 9.73052
CPU user time (s): 8.79866
CPU system time (s): 0.931858
CPU usage (%): 99.409
Max. virtual memory (cumulated for all children) (KiB): 584036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.79866
system time used= 0.931858
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18052
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= 3835
involuntary context switches= 45
runsolver used 0.049992 second user time and 0.099984 second system time
The end