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-3482549-1307576440/watcher-3482549-1307576440 -o /tmp/evaluation-result-3482549-1307576440/solver-3482549-1307576440 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482549-1307576440.opb -seed 1919133569 -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.16 0.03 0.01 2/497 15066
/proc/meminfo: memFree=31061192/32951124 swapFree=53876552/67111528
[pid=15063] ppid=15058 vsize=14252 CPUtime=0 cores=0,2,4,6
/proc/15063/stat : 15063 (python) D 15058 15063 15018 0 -1 4194304 193 0 2 0 0 0 0 0 22 0 1 0 869245537 14594048 130 33554432000 4194304 5683644 140734587106480 18446744073709551615 5398816 0 0 4096 0 18446744071562234166 0 0 17 2 0 0 0
/proc/15063/statm: 3563 130 102 364 0 50 0
[startup+0.121579 s]
/proc/loadavg: 0.16 0.03 0.01 2/497 15066
/proc/meminfo: memFree=31061192/32951124 swapFree=53876552/67111528
[pid=15063] ppid=15058 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/15063/stat : 15063 (python) S 15058 15063 15018 0 -1 4202496 790 0 5 0 0 0 0 0 17 0 1 0 869245537 15749120 681 33554432000 4194304 5683644 140734587106480 18446744073709551615 270613108736 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 1
/proc/15063/statm: 3845 681 322 364 0 332 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15380
[startup+0.200561 s]
/proc/loadavg: 0.16 0.03 0.01 2/497 15066
/proc/meminfo: memFree=31061192/32951124 swapFree=53876552/67111528
[pid=15063] ppid=15058 vsize=15752 CPUtime=0 cores=0,2,4,6
/proc/15063/stat : 15063 (python) S 15058 15063 15018 0 -1 4202496 835 0 5 0 0 0 0 0 17 0 1 0 869245537 16130048 723 33554432000 4194304 5683644 140734587106480 18446744073709551615 270613108736 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 2
/proc/15063/statm: 3938 723 334 364 0 425 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15752
[startup+0.300546 s]
/proc/loadavg: 0.16 0.03 0.01 2/497 15066
/proc/meminfo: memFree=31061192/32951124 swapFree=53876552/67111528
[pid=15063] ppid=15058 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/15063/stat : 15063 (python) S 15058 15063 15018 0 -1 4202496 899 0 5 0 0 0 0 0 16 0 1 0 869245537 16154624 784 33554432000 4194304 5683644 140734587106480 18446744073709551615 270613108736 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 3
/proc/15063/statm: 3944 784 346 364 0 431 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15776
[startup+0.700419 s]
/proc/loadavg: 0.16 0.03 0.01 2/497 15066
/proc/meminfo: memFree=31061192/32951124 swapFree=53876552/67111528
[pid=15063] ppid=15058 vsize=16396 CPUtime=0.01 cores=0,2,4,6
/proc/15063/stat : 15063 (python) S 15058 15063 15018 0 -1 4202496 1113 0 5 0 1 0 0 0 15 0 1 0 869245537 16789504 985 33554432000 4194304 5683644 140734587106480 18446744073709551615 270613108736 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 7
/proc/15063/statm: 4099 985 409 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
[startup+1.50028 s]
/proc/loadavg: 0.16 0.03 0.01 2/499 15069
/proc/meminfo: memFree=31052076/32951124 swapFree=53876552/67111528
[pid=15063] ppid=15058 vsize=16820 CPUtime=0.01 cores=0,2,4,6
/proc/15063/stat : 15063 (python) S 15058 15063 15018 0 -1 4202496 1210 0 5 0 1 0 0 0 16 0 1 0 869245537 17223680 1073 33554432000 4194304 5683644 140734587106480 18446744073709551615 270613106612 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 10
/proc/15063/statm: 4205 1073 417 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16820
[startup+3.10102 s]
/proc/loadavg: 0.16 0.03 0.01 2/499 15069
/proc/meminfo: memFree=31049420/32951124 swapFree=53876552/67111528
[pid=15063] ppid=15058 vsize=21128 CPUtime=0.04 cores=0,2,4,6
/proc/15063/stat : 15063 (python) S 15058 15063 15018 0 -1 4202496 1309 0 7 0 3 1 0 0 15 0 1 0 869245537 21635072 1166 33554432000 4194304 5683644 140734587106480 18446744073709551615 270608186948 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 40
/proc/15063/statm: 5282 1166 428 364 0 729 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 21128
heavy processes:
[startup+6.30043 s]
/proc/loadavg: 0.31 0.07 0.02 2/499 15069
/proc/meminfo: memFree=31043128/32951124 swapFree=53876552/67111528
[pid=15063] ppid=15058 vsize=47884 CPUtime=0.08 cores=0,2,4,6
/proc/15063/stat : 15063 (python) D 15058 15063 15018 0 -1 4202496 1915 0 16 0 5 3 0 0 16 0 1 0 869245537 49033216 1703 33554432000 4194304 5683644 140734587106480 18446744073709551615 270608187402 0 0 16781312 2 18446744071696489144 0 0 17 6 0 0 53
/proc/15063/statm: 11971 1703 471 364 0 1203 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 47884
heavy processes:
[startup+12.7003 s]
/proc/loadavg: 0.36 0.08 0.03 3/498 15115
/proc/meminfo: memFree=31084884/32951124 swapFree=53876552/67111528
[pid=15063] ppid=15058 vsize=293084 CPUtime=0.68 cores=0,2,4,6
/proc/15063/stat : 15063 (python) S 15058 15063 15018 0 -1 4202496 9525 921 108 9 40 28 0 0 18 0 2 0 869245537 300118016 7142 33554432000 4194304 5683644 140734587106480 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 94
/proc/15063/statm: 73271 7142 1870 364 0 8158 0
[pid=15082] ppid=15063 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/15082/stat : 15082 (python) S 15063 15063 15018 0 -1 4202560 723 0 0 0 0 0 0 0 15 0 1 0 869246580 289628160 5620 33554432000 4194304 5683644 140734587106480 18446744073709551615 270613130767 0 0 16781312 33554946 1550956640985907459 0 0 17 2 0 0 0
/proc/15082/statm: 70710 5620 352 364 0 5597 0
[pid=15087] ppid=15082 vsize=7952 CPUtime=2.27 cores=0,2,4,6
/proc/15087/stat : 15087 (pbct-0.1.2-linu) R 15082 15087 15087 0 -1 4202496 1864 0 0 0 208 19 0 0 25 0 1 0 869246580 8142848 1609 33554432000 134512640 136422188 4288716192 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/15087/statm: 1988 1609 213 467 0 1519 0
[pid=15063/tid=15084] ppid=15058 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/15063/task/15084/stat : 15084 (python) S 15058 15063 15018 0 -1 4202560 27 921 0 9 0 0 0 0 18 0 2 0 869246580 300118016 7142 33554432000 4194304 5683644 140734587106480 18446744073709551615 270624934321 0 0 16781312 33554434 18446604447659095360 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 583876
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+12.8183 s]
/proc/loadavg: 0.36 0.08 0.03 3/502 15122
/proc/meminfo: memFree=30985656/32951124 swapFree=53876552/67111528
[pid=15063] ppid=15058 vsize=293084 CPUtime=0.68 cores=0,2,4,6
/proc/15063/stat : 15063 (python) S 15058 15063 15018 0 -1 4202496 9525 921 108 9 40 28 0 0 18 0 2 0 869245537 300118016 7142 33554432000 4194304 5683644 140734587106480 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 94
/proc/15063/statm: 73271 7142 1870 364 0 8158 0
[pid=15082] ppid=15063 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/15082/stat : 15082 (python) S 15063 15063 15018 0 -1 4202560 723 0 0 0 0 0 0 0 15 0 1 0 869246580 289628160 5620 33554432000 4194304 5683644 140734587106480 18446744073709551615 270613130767 0 0 16781312 33554946 1550956640985907459 0 0 17 2 0 0 0
/proc/15082/statm: 70710 5620 352 364 0 5597 0
[pid=15087] ppid=15082 vsize=7952 CPUtime=2.38 cores=0,2,4,6
/proc/15087/stat : 15087 (pbct-0.1.2-linu) R 15082 15087 15087 0 -1 4202496 1873 0 0 0 218 20 0 0 25 0 1 0 869246580 8142848 1618 33554432000 134512640 136422188 4288716192 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/15087/statm: 1988 1618 213 467 0 1519 0
[pid=15063/tid=15084] ppid=15058 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/15063/task/15084/stat : 15084 (python) S 15058 15063 15018 0 -1 4202560 27 921 0 9 0 0 0 0 18 0 2 0 869246580 300118016 7142 33554432000 4194304 5683644 140734587106480 18446744073709551615 270624934321 0 0 16781312 33554434 18446604447659095360 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 583876
[startup+14.418 s]
/proc/loadavg: 0.36 0.08 0.03 3/505 15130
/proc/meminfo: memFree=30962312/32951124 swapFree=53876552/67111528
[pid=15063] ppid=15058 vsize=293084 CPUtime=0.68 cores=0,2,4,6
/proc/15063/stat : 15063 (python) S 15058 15063 15018 0 -1 4202496 9525 921 108 9 40 28 0 0 18 0 2 0 869245537 300118016 7142 33554432000 4194304 5683644 140734587106480 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 94
/proc/15063/statm: 73271 7142 1870 364 0 8158 0
[pid=15082] ppid=15063 vsize=282840 CPUtime=0.02 cores=0,2,4,6
/proc/15082/stat : 15082 (python) S 15063 15063 15018 0 -1 4202560 859 0 0 0 1 1 0 0 15 0 1 0 869246580 289628160 5644 33554432000 4194304 5683644 140734587106480 18446744073709551615 270613130767 0 0 16781312 33554946 9525783059283017987 0 0 17 2 0 0 0
/proc/15082/statm: 70710 5644 376 364 0 5597 0
[pid=15087] ppid=15082 vsize=7952 CPUtime=3.98 cores=0,2,4,6
/proc/15087/stat : 15087 (pbct-0.1.2-linu) R 15082 15087 15087 0 -1 4202496 1873 0 0 0 365 33 0 0 25 0 1 0 869246580 8142848 1618 33554432000 134512640 136422188 4288716192 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/15087/statm: 1988 1618 213 467 0 1519 0
[pid=15063/tid=15084] ppid=15058 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/15063/task/15084/stat : 15084 (python) S 15058 15063 15018 0 -1 4202560 27 921 0 9 0 0 0 0 18 0 2 0 869246580 300118016 7142 33554432000 4194304 5683644 140734587106480 18446744073709551615 270624934321 0 0 16781312 33554434 18446604447659095360 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.68
Current children cumulated vsize (KiB) 583876
[startup+16.0007 s]
/proc/loadavg: 0.49 0.11 0.04 3/505 15130
/proc/meminfo: memFree=30962188/32951124 swapFree=53876552/67111528
[pid=15063] ppid=15058 vsize=293084 CPUtime=0.68 cores=0,2,4,6
/proc/15063/stat : 15063 (python) S 15058 15063 15018 0 -1 4202496 9525 921 108 9 40 28 0 0 18 0 2 0 869245537 300118016 7142 33554432000 4194304 5683644 140734587106480 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 94
/proc/15063/statm: 73271 7142 1870 364 0 8158 0
[pid=15082] ppid=15063 vsize=282840 CPUtime=0.02 cores=0,2,4,6
/proc/15082/stat : 15082 (python) S 15063 15063 15018 0 -1 4202560 859 0 0 0 1 1 0 0 15 0 1 0 869246580 289628160 5644 33554432000 4194304 5683644 140734587106480 18446744073709551615 270613130767 0 0 16781312 33554946 9525783059283017987 0 0 17 2 0 0 0
/proc/15082/statm: 70710 5644 376 364 0 5597 0
[pid=15087] ppid=15082 vsize=7952 CPUtime=5.56 cores=0,2,4,6
/proc/15087/stat : 15087 (pbct-0.1.2-linu) R 15082 15087 15087 0 -1 4202496 1881 0 0 0 511 45 0 0 25 0 1 0 869246580 8142848 1626 33554432000 134512640 136422188 4288716192 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/15087/statm: 1988 1626 213 467 0 1519 0
[pid=15063/tid=15084] ppid=15058 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/15063/task/15084/stat : 15084 (python) S 15058 15063 15018 0 -1 4202560 27 921 0 9 0 0 0 0 18 0 2 0 869246580 300118016 7142 33554432000 4194304 5683644 140734587106480 18446744073709551615 270624934321 0 0 16781312 33554434 18446604447659095360 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 583876
[startup+16.4007 s]
/proc/loadavg: 0.49 0.11 0.04 3/505 15130
/proc/meminfo: memFree=30962188/32951124 swapFree=53876552/67111528
[pid=15063] ppid=15058 vsize=293084 CPUtime=0.68 cores=0,2,4,6
/proc/15063/stat : 15063 (python) S 15058 15063 15018 0 -1 4202496 9525 921 108 9 40 28 0 0 18 0 2 0 869245537 300118016 7142 33554432000 4194304 5683644 140734587106480 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 94
/proc/15063/statm: 73271 7142 1870 364 0 8158 0
[pid=15082] ppid=15063 vsize=282840 CPUtime=0.02 cores=0,2,4,6
/proc/15082/stat : 15082 (python) S 15063 15063 15018 0 -1 4202560 859 0 0 0 1 1 0 0 15 0 1 0 869246580 289628160 5644 33554432000 4194304 5683644 140734587106480 18446744073709551615 270613130767 0 0 16781312 33554946 9525783059283017987 0 0 17 2 0 0 0
/proc/15082/statm: 70710 5644 376 364 0 5597 0
[pid=15087] ppid=15082 vsize=7952 CPUtime=5.97 cores=0,2,4,6
/proc/15087/stat : 15087 (pbct-0.1.2-linu) R 15082 15087 15087 0 -1 4202496 1881 0 0 0 548 49 0 0 25 0 1 0 869246580 8142848 1626 33554432000 134512640 136422188 4288716192 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/15087/statm: 1988 1626 213 467 0 1519 0
[pid=15063/tid=15084] ppid=15058 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/15063/task/15084/stat : 15084 (python) S 15058 15063 15018 0 -1 4202560 27 921 0 9 0 0 0 0 18 0 2 0 869246580 300118016 7142 33554432000 4194304 5683644 140734587106480 18446744073709551615 270624934321 0 0 16781312 33554434 18446604447659095360 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.67
Current children cumulated vsize (KiB) 583876
[startup+16.8006 s]
/proc/loadavg: 0.49 0.11 0.04 3/505 15130
/proc/meminfo: memFree=30961940/32951124 swapFree=53876552/67111528
[pid=15063] ppid=15058 vsize=293084 CPUtime=0.68 cores=0,2,4,6
/proc/15063/stat : 15063 (python) S 15058 15063 15018 0 -1 4202496 9525 921 108 9 40 28 0 0 18 0 2 0 869245537 300118016 7142 33554432000 4194304 5683644 140734587106480 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 94
/proc/15063/statm: 73271 7142 1870 364 0 8158 0
[pid=15082] ppid=15063 vsize=282840 CPUtime=0.02 cores=0,2,4,6
/proc/15082/stat : 15082 (python) S 15063 15063 15018 0 -1 4202560 860 0 0 0 1 1 0 0 15 0 1 0 869246580 289628160 5644 33554432000 4194304 5683644 140734587106480 18446744073709551615 270613130767 0 0 16781312 33554946 1550956640985907459 0 0 17 2 0 0 0
/proc/15082/statm: 70710 5644 376 364 0 5597 0
[pid=15087] ppid=15082 vsize=7172 CPUtime=6.36 cores=0,2,4,6
/proc/15087/stat : 15087 (pbct-0.1.2-linu) R 15082 15087 15087 0 -1 4202496 1906 0 0 0 584 52 0 0 25 0 1 0 869246580 7344128 1511 33554432000 134512640 136422188 4288716192 18446744073709551615 134701833 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/15087/statm: 1793 1511 237 467 0 1324 0
[pid=15063/tid=15084] ppid=15058 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/15063/task/15084/stat : 15084 (python) S 15058 15063 15018 0 -1 4202560 27 921 0 9 0 0 0 0 18 0 2 0 869246580 300118016 7142 33554432000 4194304 5683644 140734587106480 18446744073709551615 270624934321 0 0 16781312 33554434 18446604447659095360 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.06
Current children cumulated vsize (KiB) 583096
Child status: 0
Real time (s): 16.8242
CPU time (s): 7.11792
CPU user time (s): 6.28204
CPU system time (s): 0.835872
CPU usage (%): 42.3077
Max. virtual memory (cumulated for all children) (KiB): 583876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.28204
system time used= 0.835872
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17905
page faults= 117
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19788
involuntary context switches= 41
runsolver used 0.108983 second user time and 0.238963 second system time
The end