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-3482535-1307576436/watcher-3482535-1307576436 -o /tmp/evaluation-result-3482535-1307576436/solver-3482535-1307576436 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482535-1307576436.opb -seed 1592117790 -budget 1800
running on 4 cores: 1,3,5,7
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.14 0.32 0.11 2/459 12125
/proc/meminfo: memFree=30154624/32950928 swapFree=45617076/67111528
[pid=12125] ppid=12123 vsize=15772 CPUtime=0 cores=1,3,5,7
/proc/12125/stat : 12125 (python) R 12123 12125 11775 0 -1 4202496 884 0 0 0 0 0 0 0 20 0 1 0 869243479 16150528 765 33554432000 4194304 5683644 140733763734528 18446744073709551615 248089359045 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/12125/statm: 3943 765 343 364 0 430 0
[startup+0.0715279 s]
/proc/loadavg: 1.14 0.32 0.11 2/459 12125
/proc/meminfo: memFree=30154624/32950928 swapFree=45617076/67111528
[pid=12125] ppid=12123 vsize=54636 CPUtime=0.05 cores=1,3,5,7
/proc/12125/stat : 12125 (python) S 12123 12125 11775 0 -1 4202496 2081 0 0 0 4 1 0 0 20 0 1 0 869243479 55947264 1836 33554432000 4194304 5683644 140733763734528 18446744073709551615 248089696256 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/12125/statm: 13659 1836 492 364 0 1309 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 54636
[startup+0.106564 s]
/proc/loadavg: 1.14 0.32 0.11 2/459 12125
/proc/meminfo: memFree=30154624/32950928 swapFree=45617076/67111528
[pid=12125] ppid=12123 vsize=96124 CPUtime=0.08 cores=1,3,5,7
/proc/12125/stat : 12125 (python) R 12123 12125 11775 0 -1 4202496 3169 930 1 0 6 2 0 0 20 0 1 0 869243479 98430976 2483 33554432000 4194304 5683644 140733763734528 18446744073709551615 5170248 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/12125/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.301912 s]
/proc/loadavg: 1.14 0.32 0.11 2/459 12125
/proc/meminfo: memFree=30154624/32950928 swapFree=45617076/67111528
[pid=12125] ppid=12123 vsize=171340 CPUtime=0.23 cores=1,3,5,7
/proc/12125/stat : 12125 (python) S 12123 12125 11775 0 -1 4202496 6179 930 1 0 16 7 0 0 17 0 1 0 869243479 175452160 4494 33554432000 4194304 5683644 140733763734528 18446744073709551615 248089696256 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/12125/statm: 42835 4494 1226 364 0 3534 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 171340
[startup+0.700402 s]
/proc/loadavg: 1.14 0.32 0.11 2/459 12125
/proc/meminfo: memFree=30154624/32950928 swapFree=45617076/67111528
[pid=12125] ppid=12123 vsize=293084 CPUtime=0.45 cores=1,3,5,7
/proc/12125/stat : 12125 (python) S 12123 12125 11775 0 -1 4202496 9630 930 1 0 32 13 0 0 19 0 2 0 869243479 300118016 7141 33554432000 4194304 5683644 140733763734528 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/12125/statm: 73271 7141 1870 364 0 8158 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 293084
[startup+1.50026 s]
/proc/loadavg: 1.14 0.32 0.11 3/471 12145
/proc/meminfo: memFree=30094264/32950928 swapFree=45617076/67111528
[pid=12125] ppid=12123 vsize=293084 CPUtime=0.45 cores=1,3,5,7
/proc/12125/stat : 12125 (python) S 12123 12125 11775 0 -1 4202496 9630 930 1 0 32 13 0 0 19 0 2 0 869243479 300118016 7141 33554432000 4194304 5683644 140733763734528 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/12125/statm: 73271 7141 1870 364 0 8158 0
[pid=12140] ppid=12125 vsize=282840 CPUtime=0 cores=1,3,5,7
/proc/12140/stat : 12140 (python) S 12125 12125 11775 0 -1 4202560 723 0 0 0 0 0 0 0 18 0 1 0 869243534 289628160 5619 33554432000 4194304 5683644 140733763734528 18446744073709551615 248089718287 0 0 16781312 33554946 16539408922155385094 0 0 17 7 0 0 0
/proc/12140/statm: 70710 5619 352 364 0 5597 0
[pid=12142] ppid=12140 vsize=7848 CPUtime=0.93 cores=1,3,5,7
/proc/12142/stat : 12142 (pbct-0.1.2-linu) R 12140 12142 12142 0 -1 4202496 1833 0 0 0 74 19 0 0 21 0 1 0 869243534 8036352 1576 33554432000 134512640 136422188 4292854400 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/12142/statm: 1962 1576 213 467 0 1493 0
[pid=12125/tid=12141] ppid=12123 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/12125/task/12141/stat : 12141 (python) S 12123 12125 11775 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 2 0 869243534 300118016 7141 33554432000 4194304 5683644 140733763734528 18446744073709551615 248101521841 0 0 16781312 33554434 18446604470834718016 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 583772
[startup+3.10098 s]
/proc/loadavg: 1.14 0.32 0.11 3/471 12145
/proc/meminfo: memFree=30092344/32950928 swapFree=45617076/67111528
[pid=12125] ppid=12123 vsize=293084 CPUtime=0.45 cores=1,3,5,7
/proc/12125/stat : 12125 (python) S 12123 12125 11775 0 -1 4202496 9630 930 1 0 32 13 0 0 19 0 2 0 869243479 300118016 7141 33554432000 4194304 5683644 140733763734528 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/12125/statm: 73271 7141 1870 364 0 8158 0
[pid=12140] ppid=12125 vsize=282840 CPUtime=0 cores=1,3,5,7
/proc/12140/stat : 12140 (python) S 12125 12125 11775 0 -1 4202560 726 0 0 0 0 0 0 0 18 0 1 0 869243534 289628160 5619 33554432000 4194304 5683644 140733763734528 18446744073709551615 248089718287 0 0 16781312 33554946 16539408922155385094 0 0 17 7 0 0 0
/proc/12140/statm: 70710 5619 352 364 0 5597 0
[pid=12142] ppid=12140 vsize=7976 CPUtime=2.54 cores=1,3,5,7
/proc/12142/stat : 12142 (pbct-0.1.2-linu) R 12140 12142 12142 0 -1 4202496 1890 0 0 0 210 44 0 0 25 0 1 0 869243534 8167424 1633 33554432000 134512640 136422188 4292854400 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/12142/statm: 1994 1633 213 467 0 1525 0
[pid=12125/tid=12141] ppid=12123 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/12125/task/12141/stat : 12141 (python) S 12123 12125 11775 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 2 0 869243534 300118016 7141 33554432000 4194304 5683644 140733763734528 18446744073709551615 248101521841 0 0 16781312 33554434 18446604470834718016 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 583900
[startup+6.30041 s]
/proc/loadavg: 1.29 0.36 0.12 3/471 12145
/proc/meminfo: memFree=30089512/32950928 swapFree=45617076/67111528
[pid=12125] ppid=12123 vsize=293084 CPUtime=0.45 cores=1,3,5,7
/proc/12125/stat : 12125 (python) S 12123 12125 11775 0 -1 4202496 9630 930 1 0 32 13 0 0 19 0 2 0 869243479 300118016 7141 33554432000 4194304 5683644 140733763734528 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/12125/statm: 73271 7141 1870 364 0 8158 0
[pid=12140] ppid=12125 vsize=282840 CPUtime=0.01 cores=1,3,5,7
/proc/12140/stat : 12140 (python) S 12125 12125 11775 0 -1 4202560 857 0 0 0 0 1 0 0 18 0 1 0 869243534 289628160 5642 33554432000 4194304 5683644 140733763734528 18446744073709551615 248089718287 0 0 16781312 33554946 12814741539930472710 0 0 17 7 0 0 0
/proc/12140/statm: 70710 5642 375 364 0 5597 0
[pid=12142] ppid=12140 vsize=8100 CPUtime=5.74 cores=1,3,5,7
/proc/12142/stat : 12142 (pbct-0.1.2-linu) R 12140 12142 12142 0 -1 4202496 1911 0 0 0 481 93 0 0 25 0 1 0 869243534 8294400 1654 33554432000 134512640 136422188 4292854400 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/12142/statm: 2025 1654 213 467 0 1556 0
[pid=12125/tid=12141] ppid=12123 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/12125/task/12141/stat : 12141 (python) S 12123 12125 11775 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 2 0 869243534 300118016 7141 33554432000 4194304 5683644 140733763734528 18446744073709551615 248101521841 0 0 16781312 33554434 18446604470834718016 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 584024
Solver just ended. Dumping a history of the last processes samples
[startup+6.80039 s]
/proc/loadavg: 1.29 0.36 0.12 3/471 12145
/proc/meminfo: memFree=30089512/32950928 swapFree=45617076/67111528
[pid=12125] ppid=12123 vsize=293084 CPUtime=0.45 cores=1,3,5,7
/proc/12125/stat : 12125 (python) S 12123 12125 11775 0 -1 4202496 9630 930 1 0 32 13 0 0 19 0 2 0 869243479 300118016 7141 33554432000 4194304 5683644 140733763734528 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/12125/statm: 73271 7141 1870 364 0 8158 0
[pid=12140] ppid=12125 vsize=282840 CPUtime=0.01 cores=1,3,5,7
/proc/12140/stat : 12140 (python) S 12125 12125 11775 0 -1 4202560 857 0 0 0 0 1 0 0 18 0 1 0 869243534 289628160 5642 33554432000 4194304 5683644 140733763734528 18446744073709551615 248089718287 0 0 16781312 33554946 12814741539930472710 0 0 17 7 0 0 0
/proc/12140/statm: 70710 5642 375 364 0 5597 0
[pid=12142] ppid=12140 vsize=8228 CPUtime=6.24 cores=1,3,5,7
/proc/12142/stat : 12142 (pbct-0.1.2-linu) R 12140 12142 12142 0 -1 4202496 1928 0 0 0 523 101 0 0 25 0 1 0 869243534 8425472 1671 33554432000 134512640 136422188 4292854400 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/12142/statm: 2057 1671 213 467 0 1588 0
[pid=12125/tid=12141] ppid=12123 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/12125/task/12141/stat : 12141 (python) S 12123 12125 11775 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 2 0 869243534 300118016 7141 33554432000 4194304 5683644 140733763734528 18446744073709551615 248101521841 0 0 16781312 33554434 18446604470834718016 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.7
Current children cumulated vsize (KiB) 584152
[startup+10.0008 s]
/proc/loadavg: 1.35 0.39 0.13 2/464 12168
/proc/meminfo: memFree=30220396/32950928 swapFree=45617076/67111528
[pid=12125] ppid=12123 vsize=293084 CPUtime=0.45 cores=1,3,5,7
/proc/12125/stat : 12125 (python) S 12123 12125 11775 0 -1 4202496 9630 930 1 0 32 13 0 0 19 0 2 0 869243479 300118016 7141 33554432000 4194304 5683644 140733763734528 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/12125/statm: 73271 7141 1870 364 0 8158 0
[pid=12140] ppid=12125 vsize=282840 CPUtime=0.03 cores=1,3,5,7
/proc/12140/stat : 12140 (python) S 12125 12125 11775 0 -1 4202560 865 0 0 0 1 2 0 0 18 0 1 0 869243534 289628160 5643 33554432000 4194304 5683644 140733763734528 18446744073709551615 248089718287 0 0 16781312 33554946 5623753486446373584 0 0 17 7 0 0 0
/proc/12140/statm: 70710 5643 376 364 0 5597 0
[pid=12142] ppid=12140 vsize=8228 CPUtime=9.44 cores=1,3,5,7
/proc/12142/stat : 12142 (pbct-0.1.2-linu) R 12140 12142 12142 0 -1 4202496 1941 0 0 0 776 168 0 0 25 0 1 0 869243534 8425472 1684 33554432000 134512640 136422188 4292854400 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/12142/statm: 2057 1684 213 467 0 1588 0
[pid=12125/tid=12141] ppid=12123 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/12125/task/12141/stat : 12141 (python) S 12123 12125 11775 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 2 0 869243534 300118016 7141 33554432000 4194304 5683644 140733763734528 18446744073709551615 248101521841 0 0 16781312 33554434 18446604470834718016 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.92
Current children cumulated vsize (KiB) 584152
[startup+10.8006 s]
/proc/loadavg: 1.35 0.39 0.13 2/464 12168
/proc/meminfo: memFree=30218344/32950928 swapFree=45617076/67111528
[pid=12125] ppid=12123 vsize=293084 CPUtime=0.45 cores=1,3,5,7
/proc/12125/stat : 12125 (python) S 12123 12125 11775 0 -1 4202496 9630 930 1 0 32 13 0 0 19 0 2 0 869243479 300118016 7141 33554432000 4194304 5683644 140733763734528 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/12125/statm: 73271 7141 1870 364 0 8158 0
[pid=12140] ppid=12125 vsize=282840 CPUtime=0.03 cores=1,3,5,7
/proc/12140/stat : 12140 (python) S 12125 12125 11775 0 -1 4202560 865 0 0 0 1 2 0 0 18 0 1 0 869243534 289628160 5643 33554432000 4194304 5683644 140733763734528 18446744073709551615 248089718287 0 0 16781312 33554946 5623753486446373584 0 0 17 7 0 0 0
/proc/12140/statm: 70710 5643 376 364 0 5597 0
[pid=12142] ppid=12140 vsize=8228 CPUtime=10.24 cores=1,3,5,7
/proc/12142/stat : 12142 (pbct-0.1.2-linu) R 12140 12142 12142 0 -1 4202496 1941 0 0 0 837 187 0 0 25 0 1 0 869243534 8425472 1684 33554432000 134512640 136422188 4292854400 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/12142/statm: 2057 1684 213 467 0 1588 0
[pid=12125/tid=12141] ppid=12123 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/12125/task/12141/stat : 12141 (python) S 12123 12125 11775 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 2 0 869243534 300118016 7141 33554432000 4194304 5683644 140733763734528 18446744073709551615 248101521841 0 0 16781312 33554434 18446604470834718016 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.72
Current children cumulated vsize (KiB) 584152
[startup+11.6005 s]
/proc/loadavg: 1.35 0.39 0.13 2/464 12168
/proc/meminfo: memFree=30216732/32950928 swapFree=45617076/67111528
[pid=12125] ppid=12123 vsize=293084 CPUtime=0.45 cores=1,3,5,7
/proc/12125/stat : 12125 (python) S 12123 12125 11775 0 -1 4202496 9630 930 1 0 32 13 0 0 19 0 2 0 869243479 300118016 7141 33554432000 4194304 5683644 140733763734528 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/12125/statm: 73271 7141 1870 364 0 8158 0
[pid=12140] ppid=12125 vsize=282840 CPUtime=0.03 cores=1,3,5,7
/proc/12140/stat : 12140 (python) S 12125 12125 11775 0 -1 4202560 865 0 0 0 1 2 0 0 18 0 1 0 869243534 289628160 5643 33554432000 4194304 5683644 140733763734528 18446744073709551615 248089718287 0 0 16781312 33554946 5623753486446373584 0 0 17 7 0 0 0
/proc/12140/statm: 70710 5643 376 364 0 5597 0
[pid=12142] ppid=12140 vsize=8228 CPUtime=11.04 cores=1,3,5,7
/proc/12142/stat : 12142 (pbct-0.1.2-linu) R 12140 12142 12142 0 -1 4202496 1944 0 0 0 896 208 0 0 25 0 1 0 869243534 8425472 1687 33554432000 134512640 136422188 4292854400 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/12142/statm: 2057 1687 213 467 0 1588 0
[pid=12125/tid=12141] ppid=12123 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/12125/task/12141/stat : 12141 (python) S 12123 12125 11775 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 2 0 869243534 300118016 7141 33554432000 4194304 5683644 140733763734528 18446744073709551615 248101521841 0 0 16781312 33554434 18446604470834718016 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.52
Current children cumulated vsize (KiB) 584152
[startup+11.8004 s]
/proc/loadavg: 1.35 0.39 0.13 2/464 12168
/proc/meminfo: memFree=30216732/32950928 swapFree=45617076/67111528
[pid=12125] ppid=12123 vsize=293084 CPUtime=0.45 cores=1,3,5,7
/proc/12125/stat : 12125 (python) S 12123 12125 11775 0 -1 4202496 9630 930 1 0 32 13 0 0 19 0 2 0 869243479 300118016 7141 33554432000 4194304 5683644 140733763734528 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/12125/statm: 73271 7141 1870 364 0 8158 0
[pid=12140] ppid=12125 vsize=282840 CPUtime=0.03 cores=1,3,5,7
/proc/12140/stat : 12140 (python) S 12125 12125 11775 0 -1 4202560 865 0 0 0 1 2 0 0 18 0 1 0 869243534 289628160 5643 33554432000 4194304 5683644 140733763734528 18446744073709551615 248089718287 0 0 16781312 33554946 5623753486446373584 0 0 17 7 0 0 0
/proc/12140/statm: 70710 5643 376 364 0 5597 0
[pid=12142] ppid=12140 vsize=8356 CPUtime=11.24 cores=1,3,5,7
/proc/12142/stat : 12142 (pbct-0.1.2-linu) R 12140 12142 12142 0 -1 4202496 1957 0 0 0 909 215 0 0 25 0 1 0 869243534 8556544 1700 33554432000 134512640 136422188 4292854400 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/12142/statm: 2089 1700 213 467 0 1620 0
[pid=12125/tid=12141] ppid=12123 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/12125/task/12141/stat : 12141 (python) S 12123 12125 11775 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 2 0 869243534 300118016 7141 33554432000 4194304 5683644 140733763734528 18446744073709551615 248101521841 0 0 16781312 33554434 18446604470834718016 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.72
Current children cumulated vsize (KiB) 584280
[startup+11.9004 s]
/proc/loadavg: 1.35 0.39 0.13 2/464 12168
/proc/meminfo: memFree=30216732/32950928 swapFree=45617076/67111528
[pid=12125] ppid=12123 vsize=293060 CPUtime=11.83 cores=1,3,5,7
/proc/12125/stat : 12125 (python) R 12123 12125 11775 0 -1 4202496 12953 4078 1 0 33 13 917 220 18 0 1 0 869243479 300093440 7140 33554432000 4194304 5683644 140733763734528 18446744073709551615 4539126 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/12125/statm: 73265 7140 1869 364 0 8158 0
Current children cumulated CPU time (s) 11.83
Current children cumulated vsize (KiB) 293060
Child status: 0
Real time (s): 11.9094
CPU time (s): 11.8632
CPU user time (s): 9.52155
CPU system time (s): 2.34164
CPU usage (%): 99.612
Max. virtual memory (cumulated for all children) (KiB): 584280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.52155
system time used= 2.34164
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18107
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= 3506
involuntary context switches= 168
runsolver used 0.044993 second user time and 0.132979 second system time
The end