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-3482536-1307576436/watcher-3482536-1307576436 -o /tmp/evaluation-result-3482536-1307576436/solver-3482536-1307576436 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482536-1307576436.opb -seed 717738632 -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.38 0.42 0.14 2/530 17870
/proc/meminfo: memFree=31579352/32951124 swapFree=49879164/67111528
[pid=17870] ppid=17868 vsize=16240 CPUtime=0 cores=0,2,4,6
/proc/17870/stat : 17870 (python) R 17868 17870 17508 0 -1 4202496 998 0 0 0 0 0 0 0 20 0 1 0 947874310 16629760 870 33554432000 4194304 5683644 140737252901776 18446744073709551615 216734839493 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/17870/statm: 4060 870 368 364 0 547 0
[startup+0.0749271 s]
/proc/loadavg: 1.38 0.42 0.14 2/530 17870
/proc/meminfo: memFree=31579352/32951124 swapFree=49879164/67111528
[pid=17870] ppid=17868 vsize=54636 CPUtime=0.05 cores=0,2,4,6
/proc/17870/stat : 17870 (python) S 17868 17870 17508 0 -1 4202496 2081 0 0 0 4 1 0 0 17 0 1 0 947874310 55947264 1836 33554432000 4194304 5683644 140737252901776 18446744073709551615 216735176704 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/17870/statm: 13659 1836 492 364 0 1309 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 54636
[startup+0.106675 s]
/proc/loadavg: 1.38 0.42 0.14 2/530 17870
/proc/meminfo: memFree=31579352/32951124 swapFree=49879164/67111528
[pid=17870] ppid=17868 vsize=96124 CPUtime=0.08 cores=0,2,4,6
/proc/17870/stat : 17870 (python) R 17868 17870 17508 0 -1 4202496 3169 931 1 0 6 2 0 0 18 0 1 0 947874310 98430976 2483 33554432000 4194304 5683644 140737252901776 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/17870/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.300615 s]
/proc/loadavg: 1.38 0.42 0.14 2/530 17870
/proc/meminfo: memFree=31579352/32951124 swapFree=49879164/67111528
[pid=17870] ppid=17868 vsize=168308 CPUtime=0.23 cores=0,2,4,6
/proc/17870/stat : 17870 (python) R 17868 17870 17508 0 -1 4202496 5993 931 1 0 17 6 0 0 17 0 1 0 947874310 172347392 4310 33554432000 4194304 5683644 140737252901776 18446744073709551615 47393284540243 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/17870/statm: 42077 4310 1216 364 0 3294 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 168308
[startup+1.5724 s]
/proc/loadavg: 1.38 0.42 0.14 2/530 17870
/proc/meminfo: memFree=31579352/32951124 swapFree=49879164/67111528
[pid=17870] ppid=17868 vsize=293084 CPUtime=0.45 cores=0,2,4,6
/proc/17870/stat : 17870 (python) S 17868 17870 17508 0 -1 4202496 9632 931 1 0 34 11 0 0 19 0 2 0 947874310 300118016 7142 33554432000 4194304 5683644 140737252901776 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17870/statm: 73271 7142 1870 364 0 8158 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 293084
[startup+1.60039 s]
/proc/loadavg: 1.38 0.42 0.14 2/530 17870
/proc/meminfo: memFree=31579352/32951124 swapFree=49879164/67111528
[pid=17870] ppid=17868 vsize=293084 CPUtime=0.45 cores=0,2,4,6
/proc/17870/stat : 17870 (python) S 17868 17870 17508 0 -1 4202496 9632 931 1 0 34 11 0 0 19 0 2 0 947874310 300118016 7142 33554432000 4194304 5683644 140737252901776 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17870/statm: 73271 7142 1870 364 0 8158 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 293084
[startup+3.10112 s]
/proc/loadavg: 1.38 0.42 0.14 3/534 17880
/proc/meminfo: memFree=31547128/32951124 swapFree=49879164/67111528
[pid=17870] ppid=17868 vsize=293084 CPUtime=0.45 cores=0,2,4,6
/proc/17870/stat : 17870 (python) S 17868 17870 17508 0 -1 4202496 9632 931 1 0 34 11 0 0 19 0 2 0 947874310 300118016 7142 33554432000 4194304 5683644 140737252901776 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17870/statm: 73271 7142 1870 364 0 8158 0
[pid=17877] ppid=17870 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/17877/stat : 17877 (python) S 17870 17870 17508 0 -1 4202560 729 0 0 0 0 0 0 0 18 0 1 0 947874366 289628160 5620 33554432000 4194304 5683644 140737252901776 18446744073709551615 216735198735 0 0 16781312 33554946 18255472382401544451 0 0 17 0 0 0 0
/proc/17877/statm: 70710 5620 352 364 0 5597 0
[pid=17880] ppid=17877 vsize=7952 CPUtime=2.54 cores=0,2,4,6
/proc/17880/stat : 17880 (pbct-0.1.2-linu) R 17877 17880 17880 0 -1 4202496 1877 0 0 0 231 23 0 0 25 0 1 0 947874366 8142848 1622 33554432000 134512640 136422188 4287183024 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/17880/statm: 1988 1622 213 467 0 1519 0
[pid=17870/tid=17879] ppid=17868 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/17870/task/17879/stat : 17879 (python) S 17868 17870 17508 0 -1 4202560 27 931 0 0 0 0 0 0 19 0 2 0 947874366 300118016 7142 33554432000 4194304 5683644 140737252901776 18446744073709551615 216747002289 0 0 16781312 33554434 18446604437709314176 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 583876
[startup+6.30058 s]
/proc/loadavg: 1.35 0.43 0.15 2/527 17908
/proc/meminfo: memFree=31674232/32951124 swapFree=49879164/67111528
[pid=17870] ppid=17868 vsize=293084 CPUtime=0.45 cores=0,2,4,6
/proc/17870/stat : 17870 (python) S 17868 17870 17508 0 -1 4202496 9632 931 1 0 34 11 0 0 19 0 2 0 947874310 300118016 7142 33554432000 4194304 5683644 140737252901776 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17870/statm: 73271 7142 1870 364 0 8158 0
[pid=17877] ppid=17870 vsize=282840 CPUtime=0.01 cores=0,2,4,6
/proc/17877/stat : 17877 (python) S 17870 17870 17508 0 -1 4202560 861 0 0 0 1 0 0 0 18 0 1 0 947874366 289628160 5644 33554432000 4194304 5683644 140737252901776 18446744073709551615 216735198735 0 0 16781312 33554946 17258669228152553731 0 0 17 0 0 0 0
/proc/17877/statm: 70710 5644 376 364 0 5597 0
[pid=17880] ppid=17877 vsize=8080 CPUtime=5.73 cores=0,2,4,6
/proc/17880/stat : 17880 (pbct-0.1.2-linu) R 17877 17880 17880 0 -1 4202496 1910 0 0 0 526 47 0 0 25 0 1 0 947874366 8273920 1655 33554432000 134512640 136422188 4287183024 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/17880/statm: 2020 1655 213 467 0 1551 0
[pid=17870/tid=17879] ppid=17868 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/17870/task/17879/stat : 17879 (python) S 17868 17870 17508 0 -1 4202560 27 931 0 0 0 0 0 0 19 0 2 0 947874366 300118016 7142 33554432000 4194304 5683644 140737252901776 18446744073709551615 216747002289 0 0 16781312 33554434 18446604437709314176 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 584004
Solver just ended. Dumping a history of the last processes samples
[startup+7.40042 s]
/proc/loadavg: 1.35 0.43 0.15 2/527 17908
/proc/meminfo: memFree=31673240/32951124 swapFree=49879164/67111528
[pid=17870] ppid=17868 vsize=293084 CPUtime=0.45 cores=0,2,4,6
/proc/17870/stat : 17870 (python) S 17868 17870 17508 0 -1 4202496 9632 931 1 0 34 11 0 0 19 0 2 0 947874310 300118016 7142 33554432000 4194304 5683644 140737252901776 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17870/statm: 73271 7142 1870 364 0 8158 0
[pid=17877] ppid=17870 vsize=282840 CPUtime=0.01 cores=0,2,4,6
/proc/17877/stat : 17877 (python) S 17870 17870 17508 0 -1 4202560 861 0 0 0 1 0 0 0 18 0 1 0 947874366 289628160 5644 33554432000 4194304 5683644 140737252901776 18446744073709551615 216735198735 0 0 16781312 33554946 17258669228152553731 0 0 17 0 0 0 0
/proc/17877/statm: 70710 5644 376 364 0 5597 0
[pid=17880] ppid=17877 vsize=8208 CPUtime=6.83 cores=0,2,4,6
/proc/17880/stat : 17880 (pbct-0.1.2-linu) R 17877 17880 17880 0 -1 4202496 1923 0 0 0 627 56 0 0 25 0 1 0 947874366 8404992 1668 33554432000 134512640 136422188 4287183024 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/17880/statm: 2052 1668 213 467 0 1583 0
[pid=17870/tid=17879] ppid=17868 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/17870/task/17879/stat : 17879 (python) S 17868 17870 17508 0 -1 4202560 27 931 0 0 0 0 0 0 19 0 2 0 947874366 300118016 7142 33554432000 4194304 5683644 140737252901776 18446744073709551615 216747002289 0 0 16781312 33554434 18446604437709314176 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.29
Current children cumulated vsize (KiB) 584132
[startup+9.00111 s]
/proc/loadavg: 1.35 0.43 0.15 2/531 17913
/proc/meminfo: memFree=31573044/32951124 swapFree=49879164/67111528
[pid=17870] ppid=17868 vsize=293084 CPUtime=0.45 cores=0,2,4,6
/proc/17870/stat : 17870 (python) S 17868 17870 17508 0 -1 4202496 9632 931 1 0 34 11 0 0 19 0 2 0 947874310 300118016 7142 33554432000 4194304 5683644 140737252901776 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17870/statm: 73271 7142 1870 364 0 8158 0
[pid=17877] ppid=17870 vsize=282840 CPUtime=0.04 cores=0,2,4,6
/proc/17877/stat : 17877 (python) S 17870 17870 17508 0 -1 4202560 867 0 0 0 2 2 0 0 18 0 1 0 947874366 289628160 5644 33554432000 4194304 5683644 140737252901776 18446744073709551615 216735198735 0 0 16781312 33554946 72114768642583322 0 0 17 0 0 0 0
/proc/17877/statm: 70710 5644 376 364 0 5597 0
[pid=17880] ppid=17877 vsize=8208 CPUtime=8.43 cores=0,2,4,6
/proc/17880/stat : 17880 (pbct-0.1.2-linu) R 17877 17880 17880 0 -1 4202496 1923 0 0 0 775 68 0 0 25 0 1 0 947874366 8404992 1668 33554432000 134512640 136422188 4287183024 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/17880/statm: 2052 1668 213 467 0 1583 0
[pid=17870/tid=17879] ppid=17868 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/17870/task/17879/stat : 17879 (python) S 17868 17870 17508 0 -1 4202560 27 931 0 0 0 0 0 0 19 0 2 0 947874366 300118016 7142 33554432000 4194304 5683644 140737252901776 18446744073709551615 216747002289 0 0 16781312 33554434 18446604437709314176 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.92
Current children cumulated vsize (KiB) 584132
[startup+9.80099 s]
/proc/loadavg: 1.32 0.43 0.15 2/531 17917
/proc/meminfo: memFree=31560552/32951124 swapFree=49879164/67111528
[pid=17870] ppid=17868 vsize=293084 CPUtime=0.45 cores=0,2,4,6
/proc/17870/stat : 17870 (python) S 17868 17870 17508 0 -1 4202496 9632 931 1 0 34 11 0 0 19 0 2 0 947874310 300118016 7142 33554432000 4194304 5683644 140737252901776 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17870/statm: 73271 7142 1870 364 0 8158 0
[pid=17877] ppid=17870 vsize=282840 CPUtime=0.04 cores=0,2,4,6
/proc/17877/stat : 17877 (python) S 17870 17870 17508 0 -1 4202560 867 0 0 0 2 2 0 0 18 0 1 0 947874366 289628160 5644 33554432000 4194304 5683644 140737252901776 18446744073709551615 216735198735 0 0 16781312 33554946 72114768642583322 0 0 17 0 0 0 0
/proc/17877/statm: 70710 5644 376 364 0 5597 0
[pid=17880] ppid=17877 vsize=8208 CPUtime=9.24 cores=0,2,4,6
/proc/17880/stat : 17880 (pbct-0.1.2-linu) R 17877 17880 17880 0 -1 4202496 1925 0 0 0 850 74 0 0 25 0 1 0 947874366 8404992 1670 33554432000 134512640 136422188 4287183024 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/17880/statm: 2052 1670 213 467 0 1583 0
[pid=17870/tid=17879] ppid=17868 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/17870/task/17879/stat : 17879 (python) S 17868 17870 17508 0 -1 4202560 27 931 0 0 0 0 0 0 19 0 2 0 947874366 300118016 7142 33554432000 4194304 5683644 140737252901776 18446744073709551615 216747002289 0 0 16781312 33554434 18446604437709314176 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.73
Current children cumulated vsize (KiB) 584132
[startup+10.2009 s]
/proc/loadavg: 1.32 0.43 0.15 2/531 17917
/proc/meminfo: memFree=31560552/32951124 swapFree=49879164/67111528
[pid=17870] ppid=17868 vsize=293084 CPUtime=0.45 cores=0,2,4,6
/proc/17870/stat : 17870 (python) S 17868 17870 17508 0 -1 4202496 9632 931 1 0 34 11 0 0 19 0 2 0 947874310 300118016 7142 33554432000 4194304 5683644 140737252901776 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17870/statm: 73271 7142 1870 364 0 8158 0
[pid=17877] ppid=17870 vsize=282840 CPUtime=0.04 cores=0,2,4,6
/proc/17877/stat : 17877 (python) S 17870 17870 17508 0 -1 4202560 867 0 0 0 2 2 0 0 18 0 1 0 947874366 289628160 5644 33554432000 4194304 5683644 140737252901776 18446744073709551615 216735198735 0 0 16781312 33554946 72114768642583322 0 0 17 0 0 0 0
/proc/17877/statm: 70710 5644 376 364 0 5597 0
[pid=17880] ppid=17877 vsize=8208 CPUtime=9.64 cores=0,2,4,6
/proc/17880/stat : 17880 (pbct-0.1.2-linu) R 17877 17880 17880 0 -1 4202496 1925 0 0 0 885 79 0 0 25 0 1 0 947874366 8404992 1670 33554432000 134512640 136422188 4287183024 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/17880/statm: 2052 1670 213 467 0 1583 0
[pid=17870/tid=17879] ppid=17868 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/17870/task/17879/stat : 17879 (python) S 17868 17870 17508 0 -1 4202560 27 931 0 0 0 0 0 0 19 0 2 0 947874366 300118016 7142 33554432000 4194304 5683644 140737252901776 18446744073709551615 216747002289 0 0 16781312 33554434 18446604437709314176 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.13
Current children cumulated vsize (KiB) 584132
[startup+10.6008 s]
/proc/loadavg: 1.32 0.43 0.15 2/531 17917
/proc/meminfo: memFree=31560552/32951124 swapFree=49879164/67111528
[pid=17870] ppid=17868 vsize=293084 CPUtime=0.45 cores=0,2,4,6
/proc/17870/stat : 17870 (python) S 17868 17870 17508 0 -1 4202496 9632 931 1 0 34 11 0 0 19 0 2 0 947874310 300118016 7142 33554432000 4194304 5683644 140737252901776 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17870/statm: 73271 7142 1870 364 0 8158 0
[pid=17877] ppid=17870 vsize=282840 CPUtime=0.04 cores=0,2,4,6
/proc/17877/stat : 17877 (python) S 17870 17870 17508 0 -1 4202560 867 0 0 0 2 2 0 0 18 0 1 0 947874366 289628160 5644 33554432000 4194304 5683644 140737252901776 18446744073709551615 216735198735 0 0 16781312 33554946 72114768642583322 0 0 17 0 0 0 0
/proc/17877/statm: 70710 5644 376 364 0 5597 0
[pid=17880] ppid=17877 vsize=8208 CPUtime=10.03 cores=0,2,4,6
/proc/17880/stat : 17880 (pbct-0.1.2-linu) R 17877 17880 17880 0 -1 4202496 1933 0 0 0 921 82 0 0 25 0 1 0 947874366 8404992 1678 33554432000 134512640 136422188 4287183024 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/17880/statm: 2052 1678 213 467 0 1583 0
[pid=17870/tid=17879] ppid=17868 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/17870/task/17879/stat : 17879 (python) S 17868 17870 17508 0 -1 4202560 27 931 0 0 0 0 0 0 19 0 2 0 947874366 300118016 7142 33554432000 4194304 5683644 140737252901776 18446744073709551615 216747002289 0 0 16781312 33554434 18446604437709314176 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.52
Current children cumulated vsize (KiB) 584132
Child status: 0
Real time (s): 10.6804
CPU time (s): 10.6304
CPU user time (s): 9.65753
CPU system time (s): 0.972852
CPU usage (%): 99.5316
Max. virtual memory (cumulated for all children) (KiB): 584136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.65753
system time used= 0.972852
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18085
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= 1019
involuntary context switches= 35
runsolver used 0.051992 second user time and 0.112982 second system time
The end