0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3451900-1307115467.opb>
0.19/0.20 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 30658 constraints
0.19/0.20 c problem read
0.19/0.20 c presolving settings loaded
0.19/0.28 o 0
0.19/0.28 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.28 c presolving:
0.29/0.33 c (round 1) 569 del vars, 569 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
0.39/0.42 c (round 2) 569 del vars, 4804 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 25854 upgd conss, 2340 impls, 0 clqs
0.39/0.45 c (0.5s) probing: 101/1456 (6.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.45 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.39/0.45 c presolving (3 rounds):
0.39/0.45 c 569 deleted vars, 4804 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.45 c 2340 implications, 0 cliques
0.39/0.45 c presolved problem has 1456 variables (1456 bin, 0 int, 0 impl, 0 cont) and 25854 constraints
0.39/0.45 c 601 constraints of type <setppc>
0.39/0.45 c 25253 constraints of type <logicor>
0.39/0.45 c transformed objective value is always integral (scale: 1)
0.39/0.45 c Presolving Time: 0.23
0.39/0.45 c - non default parameters ----------------------------------------------------------------------
0.39/0.45 c # SCIP version 2.0.1.4
0.39/0.45 c
0.39/0.45 c # frequency for displaying node information lines
0.39/0.45 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.45 c display/freq = 10000
0.39/0.45 c
0.39/0.45 c # maximal time in seconds to run
0.39/0.45 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.45 c limits/time = 1800
0.39/0.45 c
0.39/0.45 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.45 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.45 c limits/memory = 13950
0.39/0.45 c
0.39/0.45 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.45 c # [type: int, range: [1,2], default: 1]
0.39/0.45 c timing/clocktype = 2
0.39/0.45 c
0.39/0.45 c # belongs reading time to solving time?
0.39/0.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45 c timing/reading = TRUE
0.39/0.45 c
0.39/0.45 c # should presolving try to simplify inequalities
0.39/0.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45 c constraints/linear/simplifyinequalities = TRUE
0.39/0.45 c
0.39/0.45 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45 c constraints/indicator/addCouplingCons = TRUE
0.39/0.45 c
0.39/0.45 c # should presolving try to simplify knapsacks
0.39/0.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.45 c
0.39/0.45 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.45 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.45 c separating/rapidlearning/freq = 0
0.39/0.45 c
0.39/0.45 c -----------------------------------------------------------------------------------------------
0.39/0.45 c start solving
0.39/0.46 c
3.30/3.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.30/3.36 c t 3.4s| 1 | 0 | 10366 | - | 35M| 0 |1435 |1456 | 25k|1456 | 25k| 0 | 0 | 0 |-2.326541e+02 | 0.000000e+00 | 100.00%
3.40/3.41 o -2
3.40/3.41 c R 3.4s| 1 | 0 | 10366 | - | 35M| 0 |1435 |1456 | 25k|1456 | 25k| 0 | 0 | 0 |-2.326541e+02 |-2.000000e+00 | 99.14%
3.40/3.47 o -4
3.40/3.47 c s 3.5s| 1 | 0 | 10366 | - | 35M| 0 |1435 |1456 | 25k|1456 | 25k| 0 | 0 | 0 |-2.326541e+02 |-4.000000e+00 | 98.28%
4.49/4.53 c 4.5s| 1 | 0 | 11943 | - | 36M| 0 |1434 |1456 | 25k|1456 | 25k| 7 | 0 | 0 |-2.281864e+02 |-4.000000e+00 | 98.25%
4.49/4.53 o -11
4.49/4.53 c b 4.5s| 1 | 0 | 11943 | - | 36M| 0 |1434 |1456 | 25k|1456 | 25k| 7 | 0 | 0 |-2.281864e+02 |-1.100000e+01 | 95.18%
10.59/10.66 c 10.7s| 1 | 0 | 18503 | - | 37M| 0 |1434 |1456 | 25k|1456 | 25k| 106 | 0 | 0 |-2.217231e+02 |-1.100000e+01 | 95.04%
10.69/10.74 o -14
10.69/10.74 c b10.7s| 1 | 0 | 18503 | - | 37M| 0 |1434 |1456 | 25k|1456 | 25k| 106 | 0 | 0 |-2.217231e+02 |-1.400000e+01 | 93.69%
13.49/13.52 c 13.5s| 1 | 0 | 24717 | - | 38M| 0 |1421 |1456 | 25k|1456 | 25k| 119 | 0 | 0 |-2.182885e+02 |-1.400000e+01 | 93.59%
17.61/17.65 c 17.6s| 1 | 0 | 32379 | - | 39M| 0 |1438 |1456 | 25k|1456 | 25k| 123 | 0 | 0 |-2.174699e+02 |-1.400000e+01 | 93.56%
23.89/23.98 c 24.0s| 1 | 0 | 41834 | - | 41M| 0 |1434 |1456 | 25k|1456 | 25k| 129 | 0 | 0 |-2.165392e+02 |-1.400000e+01 | 93.53%
32.50/32.57 c 32.6s| 1 | 0 | 47534 | - | 42M| 0 |1438 |1456 | 25k|1456 | 25k| 185 | 0 | 0 |-2.151263e+02 |-1.400000e+01 | 93.49%
45.99/46.00 c 46.0s| 1 | 0 | 58054 | - | 43M| 0 |1440 |1456 | 25k|1456 | 25k| 239 | 0 | 0 |-2.120485e+02 |-1.400000e+01 | 93.40%
72.30/72.39 c 72.4s| 1 | 0 | 76464 | - | 46M| 0 |1439 |1456 | 25k|1456 | 25k| 295 | 0 | 0 |-2.088540e+02 |-1.400000e+01 | 93.30%
92.59/92.68 c 92.7s| 1 | 0 | 91328 | - | 49M| 0 |1439 |1456 | 25k|1456 | 25k| 300 | 0 | 0 |-2.074085e+02 |-1.400000e+01 | 93.25%
122.19/122.22 c 122s| 1 | 0 |108409 | - | 55M| 0 |1443 |1456 | 25k|1456 | 25k| 306 | 0 | 0 |-2.043288e+02 |-1.400000e+01 | 93.15%
148.60/148.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
148.60/148.60 c 149s| 1 | 0 |123940 | - | 60M| 0 |1442 |1456 | 25k|1456 | 25k| 313 | 0 | 0 |-2.033311e+02 |-1.400000e+01 | 93.11%
190.09/190.15 c 190s| 1 | 0 |148912 | - | 65M| 0 |1438 |1456 | 25k|1456 | 25k| 319 | 0 | 0 |-2.018842e+02 |-1.400000e+01 | 93.07%
223.31/223.37 c 223s| 1 | 0 |164379 | - | 65M| 0 |1439 |1456 | 25k|1456 | 25k| 323 | 0 | 0 |-2.012289e+02 |-1.400000e+01 | 93.04%
244.40/244.45 c 244s| 1 | 0 |169863 | - | 67M| 0 |1437 |1456 | 25k|1456 | 25k| 326 | 0 | 0 |-2.011485e+02 |-1.400000e+01 | 93.04%
321.70/321.79 c 322s| 1 | 0 |194525 | - | 67M| 0 |1442 |1456 | 25k|1456 | 25k| 326 | 0 | 31 |-1.977383e+02 |-1.400000e+01 | 92.92%
335.51/335.59 c 336s| 1 | 0 |199966 | - | 72M| 0 |1443 |1456 | 25k|1456 | 25k| 327 | 0 | 31 |-1.974008e+02 |-1.400000e+01 | 92.91%
388.20/388.24 c 388s| 1 | 0 |216778 | - | 72M| 0 |1442 |1456 | 25k|1456 | 25k| 327 | 0 | 68 |-1.967806e+02 |-1.400000e+01 | 92.89%
401.20/401.28 c 401s| 1 | 0 |220503 | - | 79M| 0 |1443 |1456 | 25k|1456 | 25k| 330 | 0 | 68 |-1.967273e+02 |-1.400000e+01 | 92.88%
432.00/432.00 c 432s| 1 | 2 |220503 | - | 79M| 0 |1443 |1456 | 25k|1456 | 25k| 330 | 0 | 101 |-1.967273e+02 |-1.400000e+01 | 92.88%
447.72/447.74 o -15
447.72/447.74 c R 448s| 2 | 1 |235382 |14879.0 | 79M| 1 |1440 |1456 | 25k|1456 | 25k| 330 | 0 | 101 |-1.967273e+02 |-1.500000e+01 | 92.38%
465.70/465.73 o -18
465.70/465.73 c b 466s| 3 | 2 |235382 |7439.5 | 80M| 2 | - |1456 | 25k|1456 | 25k| 330 | 0 | 120 |-1.967273e+02 |-1.800000e+01 | 90.85%
1017.32/1017.39 o -53
1017.32/1017.39 c p1017s| 5 | 6 |731251 |127687.0 | 83M| 2 | - |1456 | 25k|1456 | 25k| 330 | 12 | 255 |-1.921509e+02 |-5.300000e+01 | 72.42%
1017.32/1017.41 o -54
1017.32/1017.41 c b1017s| 5 | 6 |731251 |127687.0 | 80M| 2 |1405 |1456 | 25k|1456 | 25k| 330 | 12 | 255 |-1.921509e+02 |-5.400000e+01 | 71.90%
1420.43/1420.42 o -59
1420.43/1420.42 c f1420s| 8 | 9 |981342 |108691.3 | 83M| 3 | - |1456 | 25k|1456 | 25k| 330 | 28 | 456 |-1.892295e+02 |-5.900000e+01 | 68.82%
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-3451900-1307115467/watcher-3451900-1307115467 -o /tmp/evaluation-result-3451900-1307115467/solver-3451900-1307115467 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3451900-1307115467.opb -t 1800 -m 15500
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: 2.17 2.08 2.02 2/453 8964
/proc/meminfo: memFree=26287492/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=10248 CPUtime=0 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 1542 0 0 0 0 0 0 0 23 0 1 0 823144886 10493952 1495 33554432000 4194304 9128323 140733975294080 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8964/statm: 2562 1501 400 1205 0 1353 0
[startup+0.0847199 s]
/proc/loadavg: 2.17 2.08 2.02 2/453 8964
/proc/meminfo: memFree=26287492/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=16664 CPUtime=0.07 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 3168 0 0 0 7 0 0 0 23 0 1 0 823144886 17063936 3119 33554432000 4194304 9128323 140733975294080 18446744073709551615 8008930 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8964/statm: 4166 3119 400 1205 0 2957 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16664
[startup+0.100733 s]
/proc/loadavg: 2.17 2.08 2.02 2/453 8964
/proc/meminfo: memFree=26287492/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=16860 CPUtime=0.09 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 3222 0 0 0 9 0 0 0 23 0 1 0 823144886 17264640 3173 33554432000 4194304 9128323 140733975294080 18446744073709551615 7998131 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8964/statm: 4215 3173 400 1205 0 3006 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16860
[startup+0.300685 s]
/proc/loadavg: 2.17 2.08 2.02 2/453 8964
/proc/meminfo: memFree=26287492/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=58668 CPUtime=0.29 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 13747 0 0 0 28 1 0 0 25 0 1 0 823144886 60076032 13365 33554432000 4194304 9128323 140733975294080 18446744073709551615 5221728 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 14667 13365 516 1205 0 13458 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58668
[startup+0.700612 s]
/proc/loadavg: 2.17 2.08 2.02 2/453 8964
/proc/meminfo: memFree=26287492/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=107528 CPUtime=0.69 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 27722 0 0 0 66 3 0 0 25 0 1 0 823144886 110108672 24363 33554432000 4194304 9128323 140733975294080 18446744073709551615 6941934 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 26882 24363 743 1205 0 25673 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 107528
[startup+1.50047 s]
/proc/loadavg: 2.17 2.08 2.02 3/459 8989
/proc/meminfo: memFree=26127908/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=112532 CPUtime=1.49 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 30111 0 0 0 145 4 0 0 25 0 1 0 823144886 115232768 26375 33554432000 4194304 9128323 140733975294080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 28133 26375 673 1205 0 26924 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 112532
[startup+3.10019 s]
/proc/loadavg: 2.15 2.08 2.02 3/459 8989
/proc/meminfo: memFree=26077936/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=116516 CPUtime=3.09 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 30444 0 0 0 303 6 0 0 25 0 1 0 823144886 119312384 26657 33554432000 4194304 9128323 140733975294080 18446744073709551615 7316447 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 29129 26657 656 1205 0 27920 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 116516
[startup+6.30061 s]
/proc/loadavg: 2.15 2.08 2.02 3/459 8989
/proc/meminfo: memFree=26072588/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=115304 CPUtime=6.29 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 31926 0 0 0 620 9 0 0 25 0 1 0 823144886 118071296 27750 33554432000 4194304 9128323 140733975294080 18446744073709551615 8012251 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 28826 27750 866 1205 0 27617 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 115304
[startup+12.7005 s]
/proc/loadavg: 2.13 2.07 2.02 3/459 8990
/proc/meminfo: memFree=26065424/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=120028 CPUtime=12.69 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 32712 0 0 0 1253 16 0 0 25 0 1 0 823144886 122908672 28497 33554432000 4194304 9128323 140733975294080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 30007 28497 827 1205 0 28798 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 120028
[startup+25.5002 s]
/proc/loadavg: 2.11 2.07 2.01 3/459 8990
/proc/meminfo: memFree=26052404/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=122328 CPUtime=25.49 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 35517 0 0 0 2522 27 0 0 25 0 1 0 823144886 125263872 29511 33554432000 4194304 9128323 140733975294080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 30582 29511 805 1205 0 29373 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 122328
[startup+51.1006 s]
/proc/loadavg: 2.07 2.06 2.01 3/459 8991
/proc/meminfo: memFree=26051144/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=126160 CPUtime=51.09 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 37450 0 0 0 5067 42 0 0 25 0 1 0 823144886 129187840 29775 33554432000 4194304 9128323 140733975294080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 31540 29775 804 1205 0 30331 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 126160
[startup+102.317 s]
/proc/loadavg: 2.09 2.07 2.01 3/459 8992
/proc/meminfo: memFree=26024764/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=145236 CPUtime=102.31 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 43225 0 0 0 10167 64 0 0 25 0 1 0 823144886 148721664 34796 33554432000 4194304 9128323 140733975294080 18446744073709551615 6309894 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 36309 34796 1133 1205 0 35100 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 145236
[startup+162.301 s]
/proc/loadavg: 2.03 2.05 2.01 3/459 8994
/proc/meminfo: memFree=26007376/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=154056 CPUtime=162.3 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 49445 0 0 0 16140 90 0 0 25 0 1 0 823144886 157753344 36731 33554432000 4194304 9128323 140733975294080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 38514 36731 762 1205 0 37305 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 154056
[startup+222.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/459 8995
/proc/meminfo: memFree=26010836/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=155476 CPUtime=222.3 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 51171 0 0 0 22117 113 0 0 25 0 1 0 823144886 159207424 37009 33554432000 4194304 9128323 140733975294080 18446744073709551615 7315689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 38869 37009 707 1205 0 37660 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 155476
[startup+282.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/459 8997
/proc/meminfo: memFree=26001272/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=159236 CPUtime=282.3 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 55655 0 0 0 28089 141 0 0 25 0 1 0 823144886 163057664 38274 33554432000 4194304 9128323 140733975294080 18446744073709551615 7312746 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 39809 38274 717 1205 0 38600 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 159236
[startup+342.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/459 8998
/proc/meminfo: memFree=26005212/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=162692 CPUtime=342.3 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 58499 0 0 0 34067 163 0 0 25 0 1 0 823144886 166596608 38820 33554432000 4194304 9128323 140733975294080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 40673 38820 726 1205 0 39464 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 162692
[startup+402.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/459 9000
/proc/meminfo: memFree=25990416/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=173184 CPUtime=402.3 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 69128 0 0 0 40042 188 0 0 25 0 1 0 823144886 177340416 40883 33554432000 4194304 9128323 140733975294080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 43296 40883 726 1205 0 42087 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 173184
[startup+462.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/459 9002
/proc/meminfo: memFree=25993616/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176336 CPUtime=462.3 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 70345 0 0 0 46016 214 0 0 25 0 1 0 823144886 180568064 42098 33554432000 4194304 9128323 140733975294080 18446744073709551615 7315635 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44084 42098 726 1205 0 42875 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 176336
[startup+522.301 s]
/proc/loadavg: 2.10 2.07 2.01 3/459 9003
/proc/meminfo: memFree=25990236/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176336 CPUtime=522.31 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 70411 0 0 0 51994 237 0 0 25 0 1 0 823144886 180568064 42163 33554432000 4194304 9128323 140733975294080 18446744073709551615 7316524 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44084 42163 726 1205 0 42875 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 176336
[startup+582.301 s]
/proc/loadavg: 2.04 2.06 2.01 3/459 9005
/proc/meminfo: memFree=25988104/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176336 CPUtime=582.31 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 70431 0 0 0 57970 261 0 0 25 0 1 0 823144886 180568064 42183 33554432000 4194304 9128323 140733975294080 18446744073709551615 7312738 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44084 42183 726 1205 0 42875 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 176336
[startup+642.3 s]
################
# More data... #
################
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 70554 0 0 0 99773 458 0 0 25 0 1 0 823144886 180568064 42306 33554432000 4194304 9128323 140733975294080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44084 42306 732 1205 0 42875 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 176336
[startup+1062.3 s]
/proc/loadavg: 2.13 2.08 2.01 3/459 9018
/proc/meminfo: memFree=25988164/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176336 CPUtime=1062.31 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 70588 0 0 0 105751 480 0 0 25 0 1 0 823144886 180568064 42340 33554432000 4194304 9128323 140733975294080 18446744073709551615 7176963 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44084 42340 733 1205 0 42875 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 176336
[startup+1122.3 s]
/proc/loadavg: 2.10 2.08 2.01 3/459 9019
/proc/meminfo: memFree=25987648/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176336 CPUtime=1122.33 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 71066 0 0 0 111723 510 0 0 25 0 1 0 823144886 180568064 42818 33554432000 4194304 9128323 140733975294080 18446744073709551615 7077395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44084 42818 991 1205 0 42875 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 176336
[startup+1182.3 s]
/proc/loadavg: 2.03 2.06 2.00 3/459 9021
/proc/meminfo: memFree=25988120/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=178996 CPUtime=1182.32 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 73424 0 0 0 117703 529 0 0 25 0 1 0 823144886 183291904 42970 33554432000 4194304 9128323 140733975294080 18446744073709551615 7315605 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44749 42970 990 1205 0 43540 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 178996
[startup+1242.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/459 9022
/proc/meminfo: memFree=25981764/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176012 CPUtime=1242.33 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 74374 0 0 0 123677 556 0 0 25 0 1 0 823144886 180236288 42223 33554432000 4194304 9128323 140733975294080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44003 42223 987 1205 0 42794 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 176012
[startup+1302.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/459 9024
/proc/meminfo: memFree=25981744/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176012 CPUtime=1302.33 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 74543 0 0 0 129646 587 0 0 25 0 1 0 823144886 180236288 42379 33554432000 4194304 9128323 140733975294080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44003 42379 1116 1205 0 42794 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 176012
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/459 9026
/proc/meminfo: memFree=25985812/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176012 CPUtime=1362.32 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 74551 0 0 0 135620 612 0 0 25 0 1 0 823144886 180236288 42386 33554432000 4194304 9128323 140733975294080 18446744073709551615 7312746 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44003 42386 1115 1205 0 42794 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 176012
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/459 9036
/proc/meminfo: memFree=25987680/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176088 CPUtime=1422.34 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 76168 0 0 0 141592 642 0 0 25 0 1 0 823144886 180314112 42289 33554432000 4194304 9128323 140733975294080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44022 42289 1094 1205 0 42813 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 176088
[startup+1482.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/459 9038
/proc/meminfo: memFree=25984312/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176088 CPUtime=1482.33 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 76263 0 0 0 147573 660 0 0 25 0 1 0 823144886 180314112 42382 33554432000 4194304 9128323 140733975294080 18446744073709551615 6941024 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44022 42382 1092 1205 0 42813 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 176088
[startup+1542.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/459 9039
/proc/meminfo: memFree=25983408/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176088 CPUtime=1542.33 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 76289 0 0 0 153541 692 0 0 25 0 1 0 823144886 180314112 42382 33554432000 4194304 9128323 140733975294080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44022 42382 1066 1205 0 42813 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 176088
[startup+1602.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/459 9043
/proc/meminfo: memFree=25984116/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176088 CPUtime=1602.33 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 76291 0 0 0 159514 719 0 0 25 0 1 0 823144886 180314112 42384 33554432000 4194304 9128323 140733975294080 18446744073709551615 7315360 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44022 42384 1066 1205 0 42813 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 176088
[startup+1662.3 s]
/proc/loadavg: 2.11 2.06 2.00 3/459 9046
/proc/meminfo: memFree=25984428/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176088 CPUtime=1662.33 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 76292 0 0 0 165490 743 0 0 25 0 1 0 823144886 180314112 42385 33554432000 4194304 9128323 140733975294080 18446744073709551615 7315710 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44022 42385 1066 1205 0 42813 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 176088
[startup+1722.3 s]
/proc/loadavg: 2.09 2.06 2.00 3/459 9047
/proc/meminfo: memFree=25984392/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176088 CPUtime=1722.33 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 76292 0 0 0 171465 768 0 0 25 0 1 0 823144886 180314112 42385 33554432000 4194304 9128323 140733975294080 18446744073709551615 7315460 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44022 42385 1066 1205 0 42813 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 176088
[startup+1782.3 s]
/proc/loadavg: 2.13 2.08 2.01 3/459 9049
/proc/meminfo: memFree=25982384/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176088 CPUtime=1782.33 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 76319 0 0 0 177434 799 0 0 25 0 1 0 823144886 180314112 42410 33554432000 4194304 9128323 140733975294080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44022 42410 1064 1205 0 42813 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 176088
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.10 2.07 2.01 3/459 9049
/proc/meminfo: memFree=25983368/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176088 CPUtime=1800.04 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 76319 0 0 0 179201 803 0 0 25 0 1 0 823144886 180314112 42410 33554432000 4194304 9128323 140733975294080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44022 42410 1064 1205 0 42813 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 176088
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -8964
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.10 2.07 2.01 3/461 9051
/proc/meminfo: memFree=25981988/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176088 CPUtime=1801.43 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 76319 0 0 0 179340 803 0 0 25 0 1 0 823144886 180314112 42410 33554432000 4194304 9128323 140733975294080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44022 42410 1064 1205 0 42813 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 176088
[startup+1801.82 s]
/proc/loadavg: 2.01 2.05 2.00 2/458 9051
/proc/meminfo: memFree=26113452/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176088 CPUtime=1801.86 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 76319 0 0 0 179382 804 0 0 25 0 1 0 823144886 180314112 42410 33554432000 4194304 9128323 140733975294080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44022 42410 1064 1205 0 42813 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 176088
[startup+1802 s]
/proc/loadavg: 2.01 2.05 2.00 2/458 9051
/proc/meminfo: memFree=26113452/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176088 CPUtime=1802.04 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 76319 0 0 0 179400 804 0 0 25 0 1 0 823144886 180314112 42410 33554432000 4194304 9128323 140733975294080 18446744073709551615 7316480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44022 42410 1064 1205 0 42813 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 176088
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.03
CPU time (s): 1802.07
CPU user time (s): 1794.02
CPU system time (s): 8.04978
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 179476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.02
system time used= 8.04978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76319
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 2843
runsolver used 7.55785 second user time and 18.6962 second system time
The end