0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 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-2665665-1276612961.opb>
0.00/0.01 c original problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 16 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.04 c (0.0s) probing: 101/198 (51.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (2 rounds):
0.00/0.04 c 0 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04 c 0 implications, 0 cliques
0.00/0.04 c presolved problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.04 c 8 constraints of type <linear>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.02
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 1.2.1.2
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1800
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 1620
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.04 c 0.0s| 1 | 0 | 41 | - | 632k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.17 o 1094
0.09/0.17 c y 0.1s| 1 | 0 | 41 | - | 704k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | 1.094000e+03 | Inf
0.09/0.18 c 0.1s| 1 | 0 | 54 | - | 854k| 0 | 16 | 198 | 76 | 198 | 16 | 8 | 0 | 0 | 0.000000e+00 | 1.094000e+03 | Inf
0.19/0.20 c 0.2s| 1 | 0 | 60 | - | 878k| 0 | 19 | 198 | 76 | 198 | 19 | 11 | 0 | 0 | 0.000000e+00 | 1.094000e+03 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 79 | - | 887k| 0 | 18 | 198 | 76 | 198 | 21 | 13 | 0 | 0 | 0.000000e+00 | 1.094000e+03 | Inf
0.19/0.25 c 0.2s| 1 | 0 | 90 | - | 914k| 0 | 20 | 198 | 76 | 198 | 24 | 16 | 0 | 0 | 0.000000e+00 | 1.094000e+03 | Inf
0.19/0.27 c 0.2s| 1 | 0 | 111 | - | 926k| 0 | 18 | 198 | 76 | 198 | 26 | 18 | 0 | 0 | 0.000000e+00 | 1.094000e+03 | Inf
0.29/0.30 c 0.3s| 1 | 0 | 140 | - | 951k| 0 | 17 | 198 | 76 | 198 | 29 | 21 | 0 | 0 | 0.000000e+00 | 1.094000e+03 | Inf
0.29/0.37 c 0.3s| 1 | 2 | 140 | - | 951k| 0 | 17 | 198 | 76 | 198 | 29 | 21 | 0 | 9 | 0.000000e+00 | 1.094000e+03 | Inf
0.59/0.63 o 426
0.59/0.63 c p 0.6s| 38 | 39 | 600 | 12.4 |1092k| 23 | - | 198 | 76 | 198 | 20 | 21 | 4 | 224 | 0.000000e+00 | 4.260000e+02 | Inf
1.89/1.97 o 200
1.89/1.97 c f 1.8s| 885 | 874 | 6016 | 6.6 |1445k| 57 | - | 198 | 76 | 198 | 20 | 21 | 19 | 698 | 0.000000e+00 | 2.000000e+02 | Inf
2.39/2.45 o 135
2.39/2.45 c f 2.2s| 1272 | 1240 | 8243 | 6.4 |1604k| 57 | - | 198 | 76 | 198 | 20 | 21 | 28 | 730 | 0.000000e+00 | 1.350000e+02 | Inf
3.89/3.96 o 99
3.89/3.96 c g 3.5s| 1854 | 1785 | 11962 | 6.4 |1865k| 67 | - | 198 | 76 | 198 | 20 | 21 | 46 | 791 | 0.000000e+00 | 9.900000e+01 | Inf
10.99/11.06 o 97
10.99/11.06 c * 9.8s| 7956 | 7826 | 49083 | 6.2 |4666k| 67 | - | 198 | 71 | 198 | 20 | 21 | 208 | 874 | 0.000000e+00 | 9.700000e+01 | Inf
12.89/12.90 o 75
12.89/12.90 c g11.5s| 9411 | 9184 | 58237 | 6.2 |5292k| 67 | - | 198 | 71 | 198 | 20 | 21 | 256 | 934 | 0.000000e+00 | 7.500000e+01 | Inf
14.09/14.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.09/14.10 c 12.6s| 10000 | 9741 | 63688 | 6.4 |5572k| 67 | 8 | 198 | 71 | 198 | 20 | 21 | 288 | 950 | 0.000000e+00 | 7.500000e+01 | Inf
24.89/24.97 c 22.2s| 20000 | 19126 |117941 | 5.9 | 10M| 67 | 8 | 198 | 8 | 198 | 20 | 21 | 503 |1499 | 0.000000e+00 | 7.500000e+01 | Inf
35.29/35.38 c 31.5s| 30000 | 28169 |172755 | 5.8 | 14M| 67 | 8 | 198 | 11 | 198 | 20 | 21 | 749 |1962 | 0.000000e+00 | 7.500000e+01 | Inf
38.08/38.18 o 73
38.08/38.18 c *34.0s| 32782 | 30621 |187464 | 5.7 | 15M| 67 | - | 198 | 11 | 198 | 20 | 21 | 817 |2075 | 0.000000e+00 | 7.300000e+01 | Inf
38.08/38.19 o 71
38.08/38.19 c *34.0s| 32785 | 30581 |187467 | 5.7 | 15M| 67 | - | 198 | 11 | 198 | 20 | 21 | 817 |2083 | 0.000000e+00 | 7.100000e+01 | Inf
38.98/39.03 o 69
38.98/39.03 c *34.7s| 33557 | 31222 |191932 | 5.7 | 16M| 67 | - | 198 | 11 | 198 | 20 | 21 | 839 |2129 | 0.000000e+00 | 6.900000e+01 | Inf
41.69/41.74 o 68
41.69/41.74 c *37.1s| 36238 | 33539 |206092 | 5.7 | 17M| 67 | - | 198 | 11 | 198 | 20 | 21 | 907 |2224 | 0.000000e+00 | 6.800000e+01 | Inf
41.69/41.75 o 66
41.69/41.75 c *37.1s| 36239 | 33487 |206092 | 5.7 | 17M| 67 | - | 198 | 11 | 198 | 20 | 21 | 907 |2224 | 0.000000e+00 | 6.600000e+01 | Inf
45.88/45.90 c 40.8s| 40000 | 36614 |227326 | 5.7 | 19M| 67 | 8 | 198 | 9 | 198 | 20 | 21 |1035 |2393 | 0.000000e+00 | 6.600000e+01 | Inf
50.77/50.85 o 65
50.77/50.85 c *45.2s| 44777 | 40596 |253553 | 5.7 | 21M| 67 | - | 198 | 8 | 198 | 20 | 21 |1168 |2584 | 0.000000e+00 | 6.500000e+01 | Inf
55.28/55.32 o 63
55.28/55.32 c *48.9s| 45650 | 41003 |258268 | 5.7 | 21M| 67 | - | 198 | 8 | 198 | 20 | 21 |1193 |2604 | 0.000000e+00 | 6.300000e+01 | Inf
59.78/59.85 c 53.0s| 50000 | 44607 |282936 | 5.7 | 23M| 67 | 8 | 198 | 8 | 198 | 20 | 21 |1308 |2785 | 0.000000e+00 | 6.300000e+01 | Inf
71.77/71.82 c 63.4s| 60000 | 52622 |341546 | 5.7 | 27M| 67 | 8 | 198 | 9 | 198 | 20 | 21 |1645 |3249 | 0.000000e+00 | 6.300000e+01 | Inf
82.07/82.11 c 72.6s| 70000 | 60842 |399035 | 5.7 | 31M| 67 | 8 | 198 | 10 | 198 | 20 | 21 |1986 |3586 | 0.000000e+00 | 6.300000e+01 | Inf
83.77/83.87 o 62
83.77/83.87 c *74.2s| 71678 | 62102 |408519 | 5.7 | 32M| 67 | - | 198 | 10 | 198 | 20 | 21 |2050 |3626 | 0.000000e+00 | 6.200000e+01 | Inf
87.47/87.51 o 61
87.47/87.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.47/87.51 c *77.4s| 75017 | 64522 |428687 | 5.7 | 33M| 67 | - | 198 | 10 | 198 | 20 | 21 |2177 |3752 | 0.000000e+00 | 6.100000e+01 | Inf
87.47/87.52 o 59
87.47/87.52 c *77.4s| 75019 | 64365 |428689 | 5.7 | 33M| 67 | - | 198 | 10 | 198 | 20 | 21 |2177 |3757 | 0.000000e+00 | 5.900000e+01 | Inf
87.47/87.52 o 57
87.47/87.52 c *77.4s| 75021 | 64146 |428689 | 5.7 | 33M| 67 | - | 198 | 10 | 198 | 20 | 21 |2177 |3760 | 0.000000e+00 | 5.700000e+01 | Inf
89.16/89.29 o 56
89.16/89.29 c *79.0s| 76741 | 65313 |438657 | 5.7 | 33M| 67 | - | 198 | 10 | 198 | 20 | 21 |2213 |3808 | 0.000000e+00 | 5.600000e+01 | Inf
89.16/89.29 o 54
89.16/89.29 c *79.0s| 76743 | 65026 |438659 | 5.7 | 33M| 67 | - | 198 | 10 | 198 | 20 | 21 |2213 |3811 | 0.000000e+00 | 5.400000e+01 | Inf
94.86/94.95 c 83.8s| 80000 | 67409 |457663 | 5.7 | 34M| 67 | 8 | 198 | 9 | 198 | 20 | 21 |2346 |3889 | 0.000000e+00 | 5.400000e+01 | Inf
105.47/105.56 c 93.2s| 90000 | 74770 |517824 | 5.8 | 38M| 67 | 8 | 198 | 10 | 198 | 20 | 21 |2710 |4209 | 0.000000e+00 | 5.400000e+01 | Inf
115.76/115.87 c 102s|100000 | 82302 |576912 | 5.8 | 43M| 67 | 8 | 198 | 11 | 198 | 20 | 21 |3041 |4491 | 0.000000e+00 | 5.400000e+01 | Inf
126.56/126.65 c 112s|110000 | 89495 |639685 | 5.8 | 47M| 67 | 8 | 198 | 11 | 198 | 20 | 21 |3419 |4849 | 0.000000e+00 | 5.400000e+01 | Inf
137.05/137.15 c 121s|120000 | 96912 |702669 | 5.9 | 51M| 67 | - | 198 | 11 | 0 | 0 | 21 |3756 |5065 | 0.000000e+00 | 5.400000e+01 | Inf
137.36/137.41 o 52
137.36/137.41 c c 122s|120247 | 96641 |704213 | 5.9 | 51M| 67 | - | 198 | 11 | 198 | 20 | 21 |3767 |5069 | 0.000000e+00 | 5.200000e+01 | Inf
149.35/149.45 c 132s|130000 |103541 |771852 | 5.9 | 55M| 67 | 8 | 198 | 11 | 198 | 20 | 21 |4202 |5279 | 0.000000e+00 | 5.200000e+01 | Inf
160.15/160.22 c 142s|140000 |110402 |836653 | 6.0 | 59M| 67 | - | 198 | 10 | 0 | 0 | 21 |4610 |5505 | 0.000000e+00 | 5.200000e+01 | Inf
163.64/163.72 o 51
163.64/163.72 c v 145s|143234 |112370 |857274 | 6.0 | 60M| 67 | - | 198 | 13 | 198 | 20 | 21 |4741 |5568 | 0.000000e+00 | 5.100000e+01 | Inf
163.64/163.73 o 49
163.64/163.73 c f 145s|143234 |111773 |857274 | 6.0 | 59M| 67 | - | 198 | 13 | 198 | 20 | 21 |4741 |5568 | 0.000000e+00 | 4.900000e+01 | Inf
172.14/172.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.14/172.26 c 153s|150000 |116409 |908559 | 6.1 | 62M| 67 | - | 198 | 12 | 0 | 0 | 21 |5113 |5704 | 0.000000e+00 | 4.900000e+01 | Inf
183.15/183.23 c 162s|160000 |122934 |973947 | 6.1 | 66M| 67 | 8 | 198 | 14 | 198 | 20 | 21 |5538 |5920 | 0.000000e+00 | 4.900000e+01 | Inf
189.74/189.83 o 47
189.74/189.83 c * 168s|166046 |125936 | 1012k| 6.1 | 67M| 67 | - | 198 | 15 | 198 | 20 | 21 |5777 |6065 | 0.000000e+00 | 4.700000e+01 | Inf
194.04/194.19 c 172s|170000 |128552 | 1038k| 6.1 | 69M| 67 | 8 | 198 | 14 | 198 | 20 | 21 |5956 |6131 | 0.000000e+00 | 4.700000e+01 | Inf
205.04/205.19 c 182s|180000 |134921 | 1104k| 6.1 | 73M| 67 | 8 | 198 | 11 | 198 | 20 | 21 |6390 |6337 | 0.000000e+00 | 4.700000e+01 | Inf
206.44/206.50 o 45
206.44/206.50 c * 183s|181184 |134698 | 1113k| 6.1 | 72M| 67 | - | 198 | 11 | 198 | 20 | 21 |6443 |6359 | 0.000000e+00 | 4.500000e+01 | Inf
215.93/216.09 c 192s|190000 |140331 | 1169k| 6.2 | 76M| 67 | - | 198 | 10 | 198 | 20 | 21 |6805 |6515 | 0.000000e+00 | 4.500000e+01 | Inf
226.83/226.95 c 201s|200000 |146727 | 1232k| 6.2 | 80M| 67 | - | 198 | 9 | 198 | 20 | 21 |7273 |6740 | 0.000000e+00 | 4.500000e+01 | Inf
234.53/234.64 o 43
234.53/234.64 c * 208s|207004 |149957 | 1279k| 6.2 | 81M| 67 | - | 198 | 12 | 198 | 20 | 21 |7558 |6890 | 0.000000e+00 | 4.300000e+01 | Inf
234.53/234.65 o 41
234.53/234.65 c * 208s|207006 |148633 | 1279k| 6.2 | 80M| 67 | - | 198 | 12 | 198 | 20 | 21 |7558 |6891 | 0.000000e+00 | 4.100000e+01 | Inf
234.53/234.67 o 39
234.53/234.67 c * 208s|207007 |147210 | 1279k| 6.2 | 78M| 67 | - | 198 | 12 | 198 | 20 | 21 |7558 |6891 | 0.000000e+00 | 3.900000e+01 | Inf
237.73/237.85 c 211s|210000 |148861 | 1298k| 6.2 | 79M| 67 | 8 | 198 | 12 | 198 | 20 | 21 |7672 |6953 | 0.000000e+00 | 3.900000e+01 | Inf
248.63/248.78 c 221s|220000 |154479 | 1363k| 6.2 | 83M| 67 | - | 198 | 12 | 198 | 20 | 21 |8148 |7147 | 0.000000e+00 | 3.900000e+01 | Inf
259.43/259.60 c 230s|230000 |160157 | 1426k| 6.2 | 87M| 67 | 8 | 198 | 12 | 198 | 20 | 21 |8618 |7325 | 0.000000e+00 | 3.900000e+01 | Inf
270.22/270.31 c 240s|240000 |166083 | 1488k| 6.2 | 91M| 67 | - | 198 | 9 | 198 | 20 | 21 |9002 |7494 | 0.000000e+00 | 3.900000e+01 | Inf
280.82/280.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
280.82/280.93 c 250s|250000 |172131 | 1550k| 6.2 | 95M| 67 | 8 | 198 | 9 | 198 | 20 | 21 |9373 |7667 | 0.000000e+00 | 3.900000e+01 | Inf
283.92/284.08 o 38
283.92/284.08 c * 252s|252971 |173035 | 1569k| 6.2 | 95M| 67 | - | 198 | 9 | 198 | 20 | 21 |9479 |7715 | 0.000000e+00 | 3.800000e+01 | Inf
283.92/284.10 o 36
283.92/284.10 c * 252s|252972 |171238 | 1569k| 6.2 | 93M| 67 | - | 198 | 9 | 198 | 20 | 21 |9479 |7715 | 0.000000e+00 | 3.600000e+01 | Inf
291.43/291.55 c 259s|260000 |174986 | 1612k| 6.2 | 95M| 67 | 8 | 198 | 8 | 198 | 20 | 21 |9797 |7817 | 0.000000e+00 | 3.600000e+01 | Inf
294.41/294.53 o 35
294.41/294.53 c * 262s|262689 |175514 | 1629k| 6.2 | 95M| 67 | - | 198 | 8 | 198 | 20 | 21 |9912 |7863 | 0.000000e+00 | 3.500000e+01 | Inf
294.41/294.55 o 33
294.41/294.55 c * 262s|262690 |173438 | 1629k| 6.2 | 93M| 67 | - | 198 | 8 | 198 | 20 | 21 |9912 |7863 | 0.000000e+00 | 3.300000e+01 | Inf
305.61/305.73 c 271s|270000 |177356 | 1675k| 6.2 | 96M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 10k|7981 | 0.000000e+00 | 3.300000e+01 | Inf
316.62/316.78 c 281s|280000 |182717 | 1746k| 6.2 | 100M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 10k|8151 | 0.000000e+00 | 3.300000e+01 | Inf
327.80/327.97 c 291s|290000 |188027 | 1821k| 6.3 | 103M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 11k|8347 | 0.000000e+00 | 3.300000e+01 | Inf
338.90/339.06 c 301s|300000 |193343 | 1896k| 6.3 | 107M| 67 | 8 | 198 | 11 | 198 | 20 | 21 | 11k|8526 | 0.000000e+00 | 3.300000e+01 | Inf
349.80/349.90 c 311s|310000 |198569 | 1970k| 6.4 | 110M| 67 | 8 | 198 | 11 | 198 | 20 | 21 | 11k|8683 | 0.000000e+00 | 3.300000e+01 | Inf
360.80/360.93 c 321s|320000 |203877 | 2042k| 6.4 | 114M| 67 | - | 198 | 8 | 198 | 20 | 21 | 12k|8825 | 0.000000e+00 | 3.300000e+01 | Inf
371.49/371.61 c 330s|330000 |209368 | 2107k| 6.4 | 117M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 12k|8936 | 0.000000e+00 | 3.300000e+01 | Inf
381.99/382.12 c 340s|340000 |214356 | 2170k| 6.4 | 121M| 67 | - | 198 | 8 | 198 | 20 | 21 | 13k|9071 | 0.000000e+00 | 3.300000e+01 | Inf
392.79/392.99 c 350s|350000 |219792 | 2235k| 6.4 | 124M| 67 | - | 198 | 9 | 198 | 20 | 21 | 13k|9207 | 0.000000e+00 | 3.300000e+01 | Inf
402.99/403.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
402.99/403.13 c 359s|360000 |224693 | 2297k| 6.4 | 128M| 67 | 8 | 198 | 8 | 198 | 20 | 21 | 14k|9337 | 0.000000e+00 | 3.300000e+01 | Inf
413.39/413.54 c 368s|370000 |229609 | 2360k| 6.4 | 131M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 14k|9466 | 0.000000e+00 | 3.300000e+01 | Inf
423.78/423.95 c 377s|380000 |234296 | 2423k| 6.4 | 135M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 14k|9578 | 0.000000e+00 | 3.300000e+01 | Inf
434.68/434.83 c 387s|390000 |239410 | 2488k| 6.4 | 138M| 67 | - | 198 | 8 | 198 | 20 | 21 | 15k|9695 | 0.000000e+00 | 3.300000e+01 | Inf
444.78/444.95 c 396s|400000 |244314 | 2553k| 6.4 | 142M| 67 | 8 | 198 | 8 | 198 | 20 | 21 | 15k|9814 | 0.000000e+00 | 3.300000e+01 | Inf
454.67/454.88 c 405s|410000 |249082 | 2616k| 6.4 | 145M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 16k|9930 | 0.000000e+00 | 3.300000e+01 | Inf
465.27/465.44 c 415s|420000 |254141 | 2681k| 6.4 | 149M| 67 | - | 198 | 10 | 198 | 20 | 21 | 16k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
475.57/475.76 c 424s|430000 |259004 | 2744k| 6.4 | 152M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 16k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
485.76/485.92 c 433s|440000 |264037 | 2808k| 6.4 | 155M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 17k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
495.46/495.62 c 442s|450000 |268618 | 2869k| 6.4 | 159M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 17k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
505.26/505.47 c 451s|460000 |273105 | 2931k| 6.4 | 162M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 18k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
515.25/515.45 c 460s|470000 |277691 | 2993k| 6.4 | 165M| 67 | - | 198 | 9 | 198 | 20 | 21 | 18k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
525.25/525.43 c 469s|480000 |282462 | 3055k| 6.4 | 169M| 67 | 8 | 198 | 8 | 198 | 20 | 21 | 18k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
525.35/525.53 o 31
525.35/525.53 c * 469s|480070 |274431 | 3056k| 6.4 | 162M| 67 | - | 198 | 8 | 198 | 20 | 21 | 18k| 10k| 0.000000e+00 | 3.100000e+01 | Inf
525.35/525.55 o 29
525.35/525.55 c * 469s|480072 |271890 | 3056k| 6.4 | 159M| 67 | - | 198 | 8 | 198 | 20 | 21 | 18k| 10k| 0.000000e+00 | 2.900000e+01 | Inf
525.35/525.57 o 27
525.35/525.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
525.35/525.57 c * 469s|480073 |268934 | 3056k| 6.4 | 155M| 67 | - | 198 | 8 | 198 | 20 | 21 | 18k| 10k| 0.000000e+00 | 2.700000e+01 | Inf
538.65/538.88 c 480s|490000 |273254 | 3120k| 6.4 | 158M| 67 | - | 198 | 10 | 198 | 20 | 21 | 19k| 10k| 0.000000e+00 | 2.700000e+01 | Inf
548.45/548.67 c 489s|500000 |277673 | 3184k| 6.4 | 161M| 67 | 8 | 198 | 8 | 198 | 20 | 21 | 19k| 10k| 0.000000e+00 | 2.700000e+01 | Inf
557.85/558.09 c 498s|510000 |281744 | 3246k| 6.4 | 164M| 67 | 8 | 198 | 12 | 198 | 20 | 21 | 20k| 11k| 0.000000e+00 | 2.700000e+01 | Inf
567.94/568.10 c 506s|520000 |286558 | 3312k| 6.4 | 166M| 67 | - | 198 | 9 | 198 | 20 | 21 | 20k| 11k| 0.000000e+00 | 2.700000e+01 | Inf
577.64/577.86 c 515s|530000 |291086 | 3376k| 6.4 | 169M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 20k| 11k| 0.000000e+00 | 2.700000e+01 | Inf
587.24/587.41 c 524s|540000 |295470 | 3438k| 6.4 | 172M| 67 | 8 | 198 | 11 | 198 | 20 | 21 | 21k| 11k| 0.000000e+00 | 2.700000e+01 | Inf
596.73/596.91 c 532s|550000 |299573 | 3501k| 6.4 | 175M| 67 | - | 198 | 11 | 198 | 20 | 21 | 21k| 11k| 0.000000e+00 | 2.700000e+01 | Inf
606.33/606.51 c 541s|560000 |303709 | 3567k| 6.4 | 177M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 22k| 11k| 0.000000e+00 | 2.700000e+01 | Inf
615.63/615.89 c 549s|570000 |307768 | 3631k| 6.4 | 180M| 67 | 8 | 198 | 11 | 198 | 20 | 21 | 22k| 11k| 0.000000e+00 | 2.700000e+01 | Inf
619.13/619.34 o 25
619.13/619.34 c * 552s|573480 |305808 | 3654k| 6.4 | 177M| 67 | - | 198 | 10 | 198 | 20 | 21 | 22k| 11k| 0.000000e+00 | 2.500000e+01 | Inf
625.33/625.58 c 558s|580000 |308331 | 3695k| 6.4 | 178M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 22k| 11k| 0.000000e+00 | 2.500000e+01 | Inf
631.02/631.20 o 24
631.02/631.20 c * 563s|585973 |308719 | 3734k| 6.4 | 178M| 67 | - | 198 | 9 | 198 | 20 | 21 | 23k| 12k| 0.000000e+00 | 2.400000e+01 | Inf
631.02/631.23 o 22
631.02/631.23 c * 563s|585974 |304153 | 3734k| 6.4 | 172M| 67 | - | 198 | 9 | 198 | 20 | 21 | 23k| 12k| 0.000000e+00 | 2.200000e+01 | Inf
634.72/634.97 c 566s|590000 |305682 | 3760k| 6.4 | 173M| 67 | - | 198 | 8 | 198 | 20 | 21 | 23k| 12k| 0.000000e+00 | 2.200000e+01 | Inf
643.92/644.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
643.92/644.13 c 575s|600000 |309247 | 3823k| 6.4 | 176M| 67 | - | 198 | 11 | 0 | 0 | 21 | 23k| 12k| 0.000000e+00 | 2.200000e+01 | Inf
653.32/653.53 c 583s|610000 |313195 | 3886k| 6.4 | 178M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 24k| 12k| 0.000000e+00 | 2.200000e+01 | Inf
662.51/662.70 c 591s|620000 |316897 | 3948k| 6.4 | 181M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 24k| 12k| 0.000000e+00 | 2.200000e+01 | Inf
672.02/672.28 c 600s|630000 |320832 | 4014k| 6.4 | 183M| 67 | - | 198 | 9 | 198 | 20 | 21 | 24k| 12k| 0.000000e+00 | 2.200000e+01 | Inf
681.51/681.79 c 608s|640000 |324851 | 4078k| 6.4 | 186M| 67 | - | 198 | 11 | 198 | 20 | 21 | 25k| 12k| 0.000000e+00 | 2.200000e+01 | Inf
691.01/691.27 c 617s|650000 |328718 | 4141k| 6.4 | 188M| 67 | 8 | 198 | 14 | 198 | 20 | 21 | 25k| 12k| 0.000000e+00 | 2.200000e+01 | Inf
700.01/700.29 c 625s|660000 |331912 | 4205k| 6.4 | 191M| 67 | 8 | 198 | 12 | 198 | 20 | 21 | 26k| 12k| 0.000000e+00 | 2.200000e+01 | Inf
709.01/709.23 c 633s|670000 |334900 | 4265k| 6.4 | 193M| 67 | 8 | 198 | 14 | 198 | 20 | 21 | 26k| 13k| 0.000000e+00 | 2.200000e+01 | Inf
718.01/718.23 c 641s|680000 |338104 | 4325k| 6.4 | 195M| 67 | 8 | 198 | 13 | 198 | 20 | 21 | 27k| 13k| 0.000000e+00 | 2.200000e+01 | Inf
730.40/730.62 c 652s|690000 |340947 | 4386k| 6.4 | 198M| 67 | - | 198 | 9 | 198 | 20 | 21 | 27k| 13k| 0.000000e+00 | 2.200000e+01 | Inf
739.39/739.66 c 660s|700000 |344365 | 4446k| 6.4 | 200M| 67 | 8 | 198 | 11 | 198 | 20 | 21 | 27k| 13k| 0.000000e+00 | 2.200000e+01 | Inf
748.50/748.79 c 668s|710000 |347727 | 4509k| 6.4 | 202M| 67 | 8 | 198 | 12 | 198 | 20 | 21 | 28k| 13k| 0.000000e+00 | 2.200000e+01 | Inf
757.80/758.08 c 676s|720000 |351000 | 4573k| 6.4 | 205M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 28k| 13k| 0.000000e+00 | 2.200000e+01 | Inf
767.09/767.36 c 685s|730000 |354610 | 4636k| 6.4 | 207M| 67 | - | 198 | 14 | 198 | 20 | 21 | 29k| 13k| 0.000000e+00 | 2.200000e+01 | Inf
775.79/776.08 c 693s|740000 |357548 | 4698k| 6.3 | 209M| 67 | 8 | 198 | 12 | 198 | 20 | 21 | 29k| 13k| 0.000000e+00 | 2.200000e+01 | Inf
784.38/784.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
784.38/784.60 c 700s|750000 |360577 | 4759k| 6.3 | 211M| 67 | - | 198 | 10 | 198 | 20 | 21 | 29k| 13k| 0.000000e+00 | 2.200000e+01 | Inf
792.98/793.24 c 708s|760000 |363516 | 4819k| 6.3 | 214M| 67 | - | 198 | 11 | 198 | 20 | 21 | 30k| 13k| 0.000000e+00 | 2.200000e+01 | Inf
802.08/802.33 c 716s|770000 |366924 | 4884k| 6.3 | 216M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 30k| 14k| 0.000000e+00 | 2.200000e+01 | Inf
811.18/811.41 c 724s|780000 |370540 | 4948k| 6.3 | 218M| 67 | - | 198 | 10 | 198 | 20 | 21 | 31k| 14k| 0.000000e+00 | 2.200000e+01 | Inf
820.08/820.39 c 732s|790000 |374159 | 5010k| 6.3 | 221M| 67 | 8 | 198 | 13 | 198 | 20 | 21 | 31k| 14k| 0.000000e+00 | 2.200000e+01 | Inf
828.77/829.07 c 740s|800000 |377172 | 5071k| 6.3 | 223M| 67 | - | 198 | 12 | 198 | 20 | 21 | 32k| 14k| 0.000000e+00 | 2.200000e+01 | Inf
837.27/837.53 c 748s|810000 |379699 | 5132k| 6.3 | 225M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 32k| 14k| 0.000000e+00 | 2.200000e+01 | Inf
846.07/846.35 c 755s|820000 |382941 | 5193k| 6.3 | 227M| 67 | 8 | 198 | 11 | 198 | 20 | 21 | 32k| 14k| 0.000000e+00 | 2.200000e+01 | Inf
854.77/855.02 c 763s|830000 |385752 | 5255k| 6.3 | 230M| 67 | 8 | 198 | 13 | 198 | 20 | 21 | 33k| 14k| 0.000000e+00 | 2.200000e+01 | Inf
862.47/862.77 o 21
862.47/862.77 c * 770s|838890 |385863 | 5308k| 6.3 | 228M| 67 | - | 198 | 11 | 198 | 20 | 21 | 33k| 14k| 0.000000e+00 | 2.100000e+01 | Inf
862.56/862.81 o 19
862.56/862.81 c * 770s|838891 |379770 | 5308k| 6.3 | 221M| 67 | - | 198 | 11 | 198 | 20 | 21 | 33k| 14k| 0.000000e+00 | 1.900000e+01 | Inf
863.47/863.73 c 771s|840000 |380079 | 5315k| 6.3 | 221M| 67 | - | 198 | 11 | 198 | 20 | 21 | 33k| 14k| 0.000000e+00 | 1.900000e+01 | Inf
875.46/875.78 c 782s|850000 |382271 | 5374k| 6.3 | 223M| 67 | 8 | 198 | 11 | 198 | 20 | 21 | 34k| 14k| 0.000000e+00 | 1.900000e+01 | Inf
887.36/887.63 c 792s|860000 |384530 | 5434k| 6.3 | 225M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 34k| 14k| 0.000000e+00 | 1.900000e+01 | Inf
895.86/896.11 c 799s|870000 |386910 | 5492k| 6.3 | 227M| 67 | 8 | 198 | 12 | 198 | 20 | 21 | 34k| 15k| 0.000000e+00 | 1.900000e+01 | Inf
904.46/904.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
904.46/904.79 c 807s|880000 |389280 | 5554k| 6.3 | 229M| 67 | - | 198 | 12 | 0 | 0 | 21 | 35k| 15k| 0.000000e+00 | 1.900000e+01 | Inf
912.95/913.29 c 815s|890000 |391262 | 5617k| 6.3 | 230M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 35k| 15k| 0.000000e+00 | 1.900000e+01 | Inf
921.75/922.09 c 823s|900000 |394209 | 5677k| 6.3 | 232M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 36k| 15k| 0.000000e+00 | 1.900000e+01 | Inf
930.25/930.52 c 830s|910000 |396661 | 5736k| 6.3 | 234M| 67 | 8 | 198 | 13 | 198 | 20 | 21 | 36k| 15k| 0.000000e+00 | 1.900000e+01 | Inf
938.64/938.92 c 838s|920000 |398713 | 5794k| 6.3 | 236M| 67 | 8 | 198 | 13 | 198 | 20 | 21 | 36k| 15k| 0.000000e+00 | 1.900000e+01 | Inf
947.05/947.37 c 845s|930000 |401069 | 5854k| 6.3 | 238M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 37k| 15k| 0.000000e+00 | 1.900000e+01 | Inf
955.34/955.67 c 853s|940000 |403126 | 5911k| 6.3 | 239M| 67 | - | 198 | 10 | 198 | 20 | 21 | 37k| 15k| 0.000000e+00 | 1.900000e+01 | Inf
963.63/963.97 c 860s|950000 |405085 | 5970k| 6.3 | 241M| 67 | 8 | 198 | 12 | 198 | 20 | 21 | 37k| 15k| 0.000000e+00 | 1.900000e+01 | Inf
972.04/972.36 c 868s|960000 |407353 | 6029k| 6.3 | 243M| 67 | 8 | 198 | 13 | 198 | 20 | 21 | 38k| 15k| 0.000000e+00 | 1.900000e+01 | Inf
980.43/980.70 c 875s|970000 |409177 | 6087k| 6.3 | 244M| 67 | - | 198 | 11 | 198 | 20 | 21 | 38k| 15k| 0.000000e+00 | 1.900000e+01 | Inf
988.83/989.18 c 883s|980000 |410949 | 6147k| 6.3 | 246M| 67 | - | 198 | 11 | 198 | 20 | 21 | 39k| 15k| 0.000000e+00 | 1.900000e+01 | Inf
997.34/997.64 c 890s|990000 |413220 | 6206k| 6.3 | 248M| 67 | - | 198 | 12 | 198 | 20 | 21 | 39k| 16k| 0.000000e+00 | 1.900000e+01 | Inf
1005.82/1006.12 c 898s| 1000k|415569 | 6264k| 6.3 | 249M| 67 | - | 198 | 11 | 0 | 0 | 21 | 40k| 16k| 0.000000e+00 | 1.900000e+01 | Inf
1014.23/1014.55 c 905s| 1010k|417852 | 6323k| 6.3 | 251M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 40k| 16k| 0.000000e+00 | 1.900000e+01 | Inf
1022.63/1022.98 c 913s| 1020k|420129 | 6383k| 6.3 | 253M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 40k| 16k| 0.000000e+00 | 1.900000e+01 | Inf
1031.02/1031.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1031.02/1031.36 c 920s| 1030k|421870 | 6442k| 6.3 | 255M| 67 | 8 | 198 | 12 | 198 | 20 | 21 | 41k| 16k| 0.000000e+00 | 1.900000e+01 | Inf
1039.52/1039.84 c 928s| 1040k|424197 | 6502k| 6.3 | 256M| 67 | 8 | 198 | 14 | 198 | 20 | 21 | 41k| 16k| 0.000000e+00 | 1.900000e+01 | Inf
1048.61/1048.94 c 936s| 1050k|427611 | 6564k| 6.3 | 259M| 67 | - | 198 | 12 | 198 | 20 | 21 | 42k| 16k| 0.000000e+00 | 1.900000e+01 | Inf
1057.31/1057.64 c 944s| 1060k|430734 | 6623k| 6.2 | 261M| 67 | - | 198 | 13 | 198 | 20 | 21 | 42k| 16k| 0.000000e+00 | 1.900000e+01 | Inf
1066.22/1066.52 c 952s| 1070k|433927 | 6684k| 6.2 | 263M| 67 | - | 198 | 11 | 0 | 0 | 21 | 42k| 16k| 0.000000e+00 | 1.900000e+01 | Inf
1075.11/1075.43 c 960s| 1080k|437399 | 6743k| 6.2 | 265M| 67 | 8 | 198 | 15 | 198 | 20 | 21 | 43k| 16k| 0.000000e+00 | 1.900000e+01 | Inf
1083.80/1084.17 c 968s| 1090k|440713 | 6801k| 6.2 | 267M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 43k| 16k| 0.000000e+00 | 1.900000e+01 | Inf
1092.60/1092.97 c 976s| 1100k|443797 | 6863k| 6.2 | 269M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 44k| 16k| 0.000000e+00 | 1.900000e+01 | Inf
1100.99/1101.35 c 983s| 1110k|446597 | 6922k| 6.2 | 271M| 67 | 8 | 198 | 11 | 198 | 20 | 21 | 44k| 16k| 0.000000e+00 | 1.900000e+01 | Inf
1110.30/1110.67 c 991s| 1120k|450261 | 6986k| 6.2 | 274M| 67 | 8 | 198 | 11 | 198 | 20 | 21 | 44k| 17k| 0.000000e+00 | 1.900000e+01 | Inf
1119.69/1120.00 c 1000s| 1130k|454147 | 7048k| 6.2 | 276M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 45k| 17k| 0.000000e+00 | 1.900000e+01 | Inf
1128.30/1128.63 c 1007s| 1140k|457187 | 7107k| 6.2 | 279M| 67 | - | 198 | 10 | 198 | 20 | 21 | 45k| 17k| 0.000000e+00 | 1.900000e+01 | Inf
1136.89/1137.26 c 1015s| 1150k|460107 | 7166k| 6.2 | 281M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 45k| 17k| 0.000000e+00 | 1.900000e+01 | Inf
1145.39/1145.76 c 1023s| 1160k|462511 | 7225k| 6.2 | 283M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 46k| 17k| 0.000000e+00 | 1.900000e+01 | Inf
1154.59/1154.98 c 1031s| 1170k|466169 | 7287k| 6.2 | 285M| 67 | - | 198 | 10 | 198 | 20 | 21 | 46k| 17k| 0.000000e+00 | 1.900000e+01 | Inf
1163.58/1163.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1163.58/1163.96 c 1039s| 1180k|469887 | 7347k| 6.2 | 287M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 47k| 17k| 0.000000e+00 | 1.900000e+01 | Inf
1172.37/1172.73 c 1047s| 1190k|473353 | 7405k| 6.2 | 289M| 67 | - | 198 | 11 | 198 | 20 | 21 | 47k| 17k| 0.000000e+00 | 1.900000e+01 | Inf
1180.98/1181.39 c 1055s| 1200k|476452 | 7464k| 6.2 | 291M| 67 | - | 198 | 12 | 0 | 0 | 21 | 48k| 17k| 0.000000e+00 | 1.900000e+01 | Inf
1189.68/1190.08 c 1062s| 1210k|479682 | 7523k| 6.2 | 294M| 67 | 8 | 198 | 11 | 198 | 20 | 21 | 48k| 17k| 0.000000e+00 | 1.900000e+01 | Inf
1198.77/1199.13 c 1071s| 1220k|483159 | 7585k| 6.2 | 296M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 48k| 17k| 0.000000e+00 | 1.900000e+01 | Inf
1207.57/1207.97 c 1078s| 1230k|486382 | 7644k| 6.2 | 298M| 67 | 8 | 198 | 14 | 198 | 20 | 21 | 49k| 17k| 0.000000e+00 | 1.900000e+01 | Inf
1216.27/1216.67 c 1086s| 1240k|489268 | 7705k| 6.2 | 300M| 67 | - | 198 | 16 | 198 | 20 | 21 | 49k| 17k| 0.000000e+00 | 1.900000e+01 | Inf
1224.76/1225.14 c 1094s| 1250k|491935 | 7764k| 6.2 | 302M| 67 | - | 198 | 13 | 198 | 20 | 21 | 50k| 17k| 0.000000e+00 | 1.900000e+01 | Inf
1236.46/1236.89 c 1104s| 1260k|494372 | 7823k| 6.2 | 304M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 50k| 18k| 0.000000e+00 | 1.900000e+01 | Inf
1245.15/1245.53 c 1112s| 1270k|497010 | 7881k| 6.2 | 306M| 67 | - | 198 | 12 | 198 | 20 | 21 | 51k| 18k| 0.000000e+00 | 1.900000e+01 | Inf
1254.15/1254.57 c 1120s| 1280k|500424 | 7940k| 6.2 | 308M| 67 | - | 198 | 8 | 198 | 20 | 21 | 51k| 18k| 0.000000e+00 | 1.900000e+01 | Inf
1263.05/1263.43 c 1128s| 1290k|503782 | 8000k| 6.2 | 310M| 67 | - | 198 | 10 | 198 | 20 | 21 | 51k| 18k| 0.000000e+00 | 1.900000e+01 | Inf
1272.05/1272.45 c 1136s| 1300k|507366 | 8059k| 6.2 | 313M| 67 | - | 198 | 13 | 198 | 20 | 21 | 52k| 18k| 0.000000e+00 | 1.900000e+01 | Inf
1281.06/1281.41 c 1144s| 1310k|510845 | 8118k| 6.2 | 315M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 52k| 18k| 0.000000e+00 | 1.900000e+01 | Inf
1289.44/1289.87 c 1151s| 1320k|513764 | 8176k| 6.2 | 317M| 67 | - | 198 | 10 | 198 | 20 | 21 | 53k| 18k| 0.000000e+00 | 1.900000e+01 | Inf
1297.94/1298.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1297.94/1298.32 c 1159s| 1330k|516497 | 8232k| 6.2 | 319M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 53k| 18k| 0.000000e+00 | 1.900000e+01 | Inf
1306.54/1306.91 c 1167s| 1340k|519410 | 8290k| 6.2 | 321M| 67 | - | 198 | 9 | 0 | 0 | 21 | 53k| 18k| 0.000000e+00 | 1.900000e+01 | Inf
1315.25/1315.62 c 1174s| 1350k|522390 | 8350k| 6.2 | 323M| 67 | 8 | 198 | 11 | 198 | 20 | 21 | 54k| 18k| 0.000000e+00 | 1.900000e+01 | Inf
1323.54/1323.95 c 1182s| 1360k|524590 | 8408k| 6.2 | 325M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 54k| 18k| 0.000000e+00 | 1.900000e+01 | Inf
1332.04/1332.49 c 1189s| 1370k|527151 | 8466k| 6.2 | 327M| 67 | 8 | 198 | 13 | 198 | 20 | 21 | 55k| 18k| 0.000000e+00 | 1.900000e+01 | Inf
1340.54/1340.96 c 1197s| 1380k|529560 | 8525k| 6.2 | 329M| 67 | - | 198 | 9 | 198 | 20 | 21 | 55k| 18k| 0.000000e+00 | 1.900000e+01 | Inf
1349.03/1349.49 c 1205s| 1390k|531932 | 8584k| 6.2 | 331M| 67 | 8 | 198 | 8 | 198 | 20 | 21 | 55k| 18k| 0.000000e+00 | 1.900000e+01 | Inf
1357.73/1358.11 c 1212s| 1400k|534509 | 8643k| 6.2 | 333M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 56k| 18k| 0.000000e+00 | 1.900000e+01 | Inf
1366.13/1366.57 c 1220s| 1410k|537041 | 8701k| 6.2 | 335M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 56k| 19k| 0.000000e+00 | 1.900000e+01 | Inf
1374.63/1375.06 c 1228s| 1420k|539696 | 8759k| 6.2 | 337M| 67 | - | 198 | 15 | 198 | 20 | 21 | 57k| 19k| 0.000000e+00 | 1.900000e+01 | Inf
1382.92/1383.34 c 1235s| 1430k|541912 | 8816k| 6.2 | 339M| 67 | 8 | 198 | 11 | 198 | 20 | 21 | 57k| 19k| 0.000000e+00 | 1.900000e+01 | Inf
1391.32/1391.75 c 1243s| 1440k|544152 | 8874k| 6.2 | 340M| 67 | - | 198 | 14 | 0 | 0 | 21 | 57k| 19k| 0.000000e+00 | 1.900000e+01 | Inf
1399.72/1400.13 c 1250s| 1450k|546556 | 8930k| 6.2 | 342M| 67 | - | 198 | 14 | 0 | 0 | 21 | 58k| 19k| 0.000000e+00 | 1.900000e+01 | Inf
1408.02/1408.47 c 1258s| 1460k|548784 | 8987k| 6.2 | 344M| 67 | 8 | 198 | 14 | 198 | 20 | 21 | 58k| 19k| 0.000000e+00 | 1.900000e+01 | Inf
1416.32/1416.74 c 1265s| 1470k|550770 | 9045k| 6.2 | 345M| 67 | - | 198 | 13 | 0 | 0 | 21 | 59k| 19k| 0.000000e+00 | 1.900000e+01 | Inf
1424.61/1425.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1424.61/1425.07 c 1272s| 1480k|552885 | 9102k| 6.2 | 347M| 67 | - | 198 | 13 | 198 | 20 | 21 | 59k| 19k| 0.000000e+00 | 1.900000e+01 | Inf
1433.10/1433.54 c 1280s| 1490k|554835 | 9162k| 6.1 | 349M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 60k| 19k| 0.000000e+00 | 1.900000e+01 | Inf
1441.61/1442.00 c 1287s| 1500k|556806 | 9222k| 6.1 | 350M| 67 | 8 | 198 | 13 | 198 | 20 | 21 | 60k| 19k| 0.000000e+00 | 1.900000e+01 | Inf
1449.90/1450.36 c 1295s| 1510k|558614 | 9281k| 6.1 | 352M| 67 | - | 198 | 10 | 198 | 20 | 21 | 61k| 19k| 0.000000e+00 | 1.900000e+01 | Inf
1458.11/1458.55 c 1302s| 1520k|560409 | 9340k| 6.1 | 354M| 67 | - | 198 | 10 | 0 | 0 | 21 | 61k| 19k| 0.000000e+00 | 1.900000e+01 | Inf
1466.50/1466.91 c 1310s| 1530k|562257 | 9399k| 6.1 | 355M| 67 | 8 | 198 | 13 | 198 | 20 | 21 | 61k| 19k| 0.000000e+00 | 1.900000e+01 | Inf
1474.90/1475.31 c 1317s| 1540k|564122 | 9459k| 6.1 | 357M| 67 | - | 198 | 12 | 198 | 20 | 21 | 62k| 19k| 0.000000e+00 | 1.900000e+01 | Inf
1483.30/1483.70 c 1325s| 1550k|566205 | 9517k| 6.1 | 359M| 67 | - | 198 | 12 | 198 | 20 | 21 | 62k| 19k| 0.000000e+00 | 1.900000e+01 | Inf
1491.69/1492.13 c 1332s| 1560k|568670 | 9576k| 6.1 | 360M| 67 | 8 | 198 | 12 | 198 | 20 | 21 | 63k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1499.90/1500.37 c 1340s| 1570k|570541 | 9636k| 6.1 | 362M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 63k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1508.29/1508.72 c 1347s| 1580k|572411 | 9694k| 6.1 | 364M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 64k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1516.79/1517.20 c 1355s| 1590k|574732 | 9754k| 6.1 | 365M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 64k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1524.98/1525.43 c 1362s| 1600k|576524 | 9813k| 6.1 | 367M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 64k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1533.48/1533.92 c 1370s| 1610k|578514 | 9872k| 6.1 | 369M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 65k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1541.79/1542.29 c 1377s| 1620k|580221 | 9931k| 6.1 | 370M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 65k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1550.38/1550.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1550.38/1550.85 c 1385s| 1630k|582569 | 9989k| 6.1 | 372M| 67 | 8 | 198 | 8 | 198 | 20 | 21 | 66k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1558.68/1559.12 c 1392s| 1640k|584296 | 10047k| 6.1 | 374M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 66k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1566.99/1567.49 c 1400s| 1650k|586396 | 10104k| 6.1 | 375M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 67k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1575.27/1575.71 c 1407s| 1660k|588415 | 10160k| 6.1 | 377M| 67 | - | 198 | 13 | 198 | 20 | 21 | 67k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1583.48/1583.99 c 1415s| 1670k|590337 | 10216k| 6.1 | 379M| 67 | 8 | 198 | 15 | 198 | 20 | 21 | 68k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1591.76/1592.26 c 1422s| 1680k|592119 | 10272k| 6.1 | 381M| 67 | 8 | 198 | 12 | 198 | 20 | 21 | 68k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1600.08/1600.57 c 1429s| 1690k|593701 | 10329k| 6.1 | 382M| 67 | - | 198 | 11 | 0 | 0 | 21 | 69k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1608.57/1609.06 c 1437s| 1700k|595863 | 10388k| 6.1 | 384M| 67 | 8 | 198 | 11 | 198 | 20 | 21 | 69k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1616.86/1617.33 c 1444s| 1710k|597657 | 10444k| 6.1 | 385M| 67 | 8 | 198 | 13 | 198 | 20 | 21 | 69k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1625.16/1625.66 c 1452s| 1720k|599682 | 10502k| 6.1 | 387M| 67 | 8 | 198 | 11 | 198 | 20 | 21 | 70k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1633.45/1633.94 c 1459s| 1730k|601189 | 10559k| 6.1 | 388M| 67 | - | 198 | 9 | 198 | 20 | 21 | 70k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1641.76/1642.25 c 1467s| 1740k|602836 | 10617k| 6.1 | 390M| 67 | - | 198 | 10 | 0 | 0 | 21 | 71k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1650.05/1650.59 c 1474s| 1750k|604775 | 10675k| 6.1 | 392M| 67 | - | 198 | 10 | 198 | 20 | 21 | 71k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1658.45/1658.97 c 1482s| 1760k|606647 | 10733k| 6.1 | 393M| 67 | - | 198 | 10 | 198 | 20 | 21 | 71k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1666.75/1667.26 c 1489s| 1770k|608264 | 10791k| 6.1 | 395M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 72k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1674.95/1675.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1674.95/1675.47 c 1496s| 1780k|609852 | 10848k| 6.1 | 397M| 67 | - | 198 | 10 | 198 | 20 | 21 | 72k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1683.24/1683.70 c 1504s| 1790k|611408 | 10904k| 6.1 | 398M| 67 | 8 | 198 | 12 | 198 | 20 | 21 | 73k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1691.44/1691.96 c 1511s| 1800k|613032 | 10961k| 6.1 | 400M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 73k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1699.84/1700.31 c 1519s| 1810k|614794 | 11020k| 6.1 | 401M| 67 | - | 198 | 12 | 198 | 20 | 21 | 74k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1708.14/1708.69 c 1526s| 1820k|616417 | 11078k| 6.1 | 403M| 67 | 8 | 198 | 14 | 198 | 20 | 21 | 74k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1716.43/1716.98 c 1533s| 1830k|618687 | 11135k| 6.1 | 405M| 67 | 8 | 198 | 15 | 198 | 20 | 21 | 74k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1724.73/1725.29 c 1541s| 1840k|620513 | 11192k| 6.1 | 406M| 67 | 8 | 198 | 12 | 198 | 20 | 21 | 75k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1733.04/1733.50 c 1548s| 1850k|622172 | 11249k| 6.1 | 408M| 67 | - | 198 | 13 | 198 | 20 | 21 | 75k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1741.33/1741.80 c 1556s| 1860k|623746 | 11308k| 6.1 | 409M| 67 | - | 198 | 15 | 198 | 20 | 21 | 76k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1749.63/1750.19 c 1563s| 1870k|625260 | 11367k| 6.1 | 411M| 67 | 8 | 198 | 13 | 198 | 20 | 21 | 76k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1757.93/1758.47 c 1571s| 1880k|626805 | 11426k| 6.1 | 412M| 67 | - | 198 | 8 | 0 | 0 | 21 | 77k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1766.32/1766.85 c 1578s| 1890k|628335 | 11487k| 6.1 | 414M| 67 | 8 | 198 | 11 | 198 | 20 | 21 | 77k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1774.72/1775.25 c 1585s| 1900k|629844 | 11547k| 6.1 | 415M| 67 | - | 198 | 8 | 198 | 20 | 21 | 77k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1783.01/1783.54 c 1593s| 1910k|631375 | 11606k| 6.1 | 416M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 78k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1791.42/1791.98 c 1600s| 1920k|632844 | 11665k| 6.1 | 418M| 67 | - | 198 | 9 | 198 | 20 | 21 | 78k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1799.91/1800.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1799.91/1800.46 c 1608s| 1930k|634664 | 11727k| 6.1 | 420M| 67 | - | 198 | 9 | 198 | 20 | 21 | 79k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1800.02/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.50 c
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time (sec) : 1608.08
1800.02/1800.50 c Solving Nodes : 1930055
1800.02/1800.50 c Primal Bound : +1.89999999999992e+01 (58 solutions)
1800.02/1800.50 c Dual Bound : +0.00000000000000e+00
1800.02/1800.50 c Gap : infinite
1800.02/1800.50 s SATISFIABLE
1800.02/1800.50 v -x176 -x198 x197 -x196 x195 x194 x193 -x192 x191 -x190 -x189 x188 x187 -x186 x185 x184 -x183 x182 x181 x180 x179 x178 x177 -x175
1800.02/1800.50 v -x174 -x173 x172 x171 -x170 x169 x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 x159 -x158 x157 x156 x155 x154 x153 x152
1800.02/1800.50 v -x151 x150 -x149 -x148 -x147 -x146 -x145 x144 -x143 x142 -x141 -x140 -x139 -x138 x137 x136 x135 -x134 -x133 -x132 x131 x130
1800.02/1800.50 v x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109
1800.02/1800.50 v -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86
1800.02/1800.50 v -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60
1800.02/1800.50 v -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35
1800.02/1800.50 v -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 x10 x9
1800.02/1800.50 v -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time : 1608.08
1800.02/1800.50 c Original Problem :
1800.02/1800.50 c Problem name : HOME/instance-2665665-1276612961.opb
1800.02/1800.50 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.50 c Constraints : 16 initial, 16 maximal
1800.02/1800.50 c Presolved Problem :
1800.02/1800.50 c Problem name : t_HOME/instance-2665665-1276612961.opb
1800.02/1800.50 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.50 c Constraints : 8 initial, 76 maximal
1800.02/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c probing : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.50 c linear : 0.00 0 0 0 0 0 8 0 0
1800.02/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c root node : - 48 - - 48 - - - -
1800.02/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.50 c integral : 0 0 0 1318481 0 66 5862 0 0 2625408
1800.02/1800.50 c linear : 8+ 7 3348763 0 0 197024 1447247 0 0 0
1800.02/1800.50 c logicor : 0+ 0 201525 0 0 1443 26605 0 0 0
1800.02/1800.50 c countsols : 0 0 0 31 0 0 0 0 0 0
1800.02/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.50 c integral : 25.48 0.00 0.00 25.48 0.00
1800.02/1800.50 c linear : 322.52 0.00 322.52 0.00 0.00
1800.02/1800.50 c logicor : 0.63 0.00 0.63 0.00 0.00
1800.02/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.50 c vbounds : 1.71 2 0 0
1800.02/1800.50 c rootredcost : 1.60 40 0 48
1800.02/1800.51 c pseudoobj : 35.41 3351668 3073 256174
1800.02/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.51 c propagation : 19.38 200127 67109 80154 71.9 17 36.8 -
1800.02/1800.51 c infeasible LP : 2.05 20391 15529 19135 45.3 2 53.5 0
1800.02/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.51 c applied globally : - - - 996 28.7 - - -
1800.02/1800.51 c applied locally : - - - 78212 67.6 - - -
1800.02/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.51 c cut pool : 0.00 5 - - 7 - (maximal pool size: 54)
1800.02/1800.51 c redcost : 62.82 1869082 0 12074735 0 0
1800.02/1800.51 c impliedbounds : 0.00 6 0 0 0 0
1800.02/1800.51 c intobj : 0.00 0 0 0 0 0
1800.02/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.51 c gomory : 0.01 6 0 0 0 0
1800.02/1800.51 c strongcg : 0.01 6 0 0 13 0
1800.02/1800.51 c cmir : 0.05 6 0 0 22 0
1800.02/1800.51 c flowcover : 0.05 6 0 0 27 0
1800.02/1800.51 c clique : 0.00 1 0 0 0 0
1800.02/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.51 c mcf : 0.00 1 0 0 0 0
1800.02/1800.51 c rapidlearning : 0.11 1 0 0 0 68
1800.02/1800.51 c Pricers : Time Calls Vars
1800.02/1800.51 c problem variables: 0.00 0 0
1800.02/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c relpscost : 23.73 1318450 66 5862 0 0 2625408
1800.02/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.51 c inference : 0.00 0 0 0 0 0 0
1800.02/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c random : 0.00 0 0 0 0 0 0
1800.02/1800.51 c Primal Heuristics : Time Calls Found
1800.02/1800.51 c LP solutions : 0.35 - 31
1800.02/1800.51 c pseudo solutions : 0.00 - 0
1800.02/1800.51 c oneopt : 1.29 39 0
1800.02/1800.51 c feaspump : 0.09 2 0
1800.02/1800.51 c crossover : 25.10 12 0
1800.02/1800.51 c rootsoldiving : 10.39 1265 18
1800.02/1800.51 c objpscostdiving : 6.17 1789 0
1800.02/1800.51 c pscostdiving : 34.50 4474 1
1800.02/1800.51 c fracdiving : 35.37 4474 3
1800.02/1800.51 c veclendiving : 21.23 4474 1
1800.02/1800.51 c linesearchdiving : 23.12 4474 0
1800.02/1800.51 c guideddiving : 26.42 4475 2
1800.02/1800.51 c coefdiving : 61.66 4475 1
1800.02/1800.51 c trivial : 0.00 2 0
1800.02/1800.51 c simplerounding : 1.25 0 0
1800.02/1800.51 c zirounding : 1.00 1000 0
1800.02/1800.51 c rounding : 2.34 16693 0
1800.02/1800.51 c shifting : 5.63 5298 0
1800.02/1800.51 c intshifting : 0.11 0 0
1800.02/1800.51 c twoopt : 0.00 0 0
1800.02/1800.51 c fixandinfer : 0.00 0 0
1800.02/1800.51 c intdiving : 0.00 0 0
1800.02/1800.51 c actconsdiving : 0.00 0 0
1800.02/1800.51 c octane : 0.00 0 0
1800.02/1800.51 c rens : 0.02 1 0
1800.02/1800.51 c rins : 0.00 0 0
1800.02/1800.51 c localbranching : 0.00 0 0
1800.02/1800.51 c mutation : 0.00 0 0
1800.02/1800.51 c dins : 0.00 0 0
1800.02/1800.51 c undercover : 0.00 0 0
1800.02/1800.51 c nlp : 0.78 0 0
1800.02/1800.51 c trysol : 1.76 0 0
1800.02/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.51 c dual LP : 712.11 1839853 10289964 5.59 14449.96
1800.02/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.51 c diving/probing LP: 140.33 584369 1437402 2.46 10243.01
1800.02/1800.51 c strong branching : 9.20 22491 99553 4.43 10820.98
1800.02/1800.51 c (at root node) : - 9 642 71.33 -
1800.02/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.51 c B&B Tree :
1800.02/1800.51 c number of runs : 1
1800.02/1800.51 c nodes : 1930055
1800.02/1800.51 c nodes (total) : 1930055
1800.02/1800.51 c nodes left : 634672
1800.02/1800.51 c max depth : 67
1800.02/1800.51 c max depth (total): 67
1800.02/1800.51 c backtracks : 308881 (16.0%)
1800.02/1800.51 c delayed cutoffs : 13952
1800.02/1800.51 c repropagations : 27355 (109531 domain reductions, 13952 cutoffs)
1800.02/1800.51 c avg switch length: 6.06
1800.02/1800.51 c switching time : 80.46
1800.02/1800.51 c Solution :
1800.02/1800.51 c Solutions found : 58 (40 improvements)
1800.02/1800.51 c First Solution : +1.09400000000000e+03 (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>)
1800.02/1800.51 c Primal Bound : +1.89999999999992e+01 (in run 1, after 838891 nodes, 770.11 seconds, depth 52, found by <relaxation>)
1800.02/1800.51 c Dual Bound : +0.00000000000000e+00
1800.02/1800.51 c Gap : infinite
1800.02/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.51 c Root Iterations : 140
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665665-1276612961/watcher-2665665-1276612961 -o /tmp/evaluation-result-2665665-1276612961/solver-2665665-1276612961 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665665-1276612961.opb -t 1800 -m 1800
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 3096
/proc/meminfo: memFree=1643024/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=9288 CPUtime=0
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 1052 0 0 0 0 0 0 0 20 0 1 0 36897840 9510912 973 1992294400 4194304 9819077 140735759349040 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3096/statm: 2322 982 371 1374 0 943 0
[startup+0.0958439 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 3096
/proc/meminfo: memFree=1643024/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=22828 CPUtime=0.09
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 5058 0 0 0 7 2 0 0 20 0 1 0 36897840 23375872 4102 1992294400 4194304 9819077 140735759349040 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 5707 4102 673 1374 0 4328 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22828
[startup+0.100844 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 3096
/proc/meminfo: memFree=1643024/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=22960 CPUtime=0.09
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 5061 0 0 0 7 2 0 0 20 0 1 0 36897840 23511040 4105 1992294400 4194304 9819077 140735759349040 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 5740 4105 673 1374 0 4361 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22960
[startup+0.300866 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 3096
/proc/meminfo: memFree=1643024/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=16744 CPUtime=0.29
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 5213 0 0 0 27 2 0 0 20 0 1 0 36897840 17145856 2952 1992294400 4194304 9819077 140735759349040 18446744073709551615 6044363 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 4186 2952 687 1374 0 2807 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16744
[startup+0.700911 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 3096
/proc/meminfo: memFree=1643024/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=16728 CPUtime=0.69
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 11276 0 0 0 63 6 0 0 20 0 1 0 36897840 17129472 3020 1992294400 4194304 9819077 140735759349040 18446744073709551615 7816457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 4422 3025 722 1374 0 3043 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16728
[startup+1.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3097
/proc/meminfo: memFree=1633096/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=17048 CPUtime=1.49
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 19878 0 0 0 133 16 0 0 22 0 1 0 36897840 17457152 3025 1992294400 4194304 9819077 140735759349040 18446744073709551615 4947397 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 4262 3025 725 1374 0 2883 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17048
[startup+3.10018 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3097
/proc/meminfo: memFree=1632724/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=25844 CPUtime=3.09
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 37323 0 0 0 274 35 0 0 25 0 1 0 36897840 26464256 4682 1992294400 4194304 9819077 140735759349040 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 6461 4682 725 1374 0 5082 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25844
[startup+6.30053 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3097
/proc/meminfo: memFree=1632104/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=18468 CPUtime=6.29
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 64490 0 0 0 560 69 0 0 25 0 1 0 36897840 18911232 3323 1992294400 4194304 9819077 140735759349040 18446744073709551615 4979111 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 4617 3323 725 1374 0 3238 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18468
[startup+12.7002 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3097
/proc/meminfo: memFree=1628384/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=21568 CPUtime=12.69
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 117814 0 0 0 1131 138 0 0 25 0 1 0 36897840 22085632 4107 1992294400 4194304 9819077 140735759349040 18446744073709551615 4979554 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 5392 4107 725 1374 0 4013 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21568
[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3097
/proc/meminfo: memFree=1623176/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=27356 CPUtime=25.49
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 229947 0 0 0 2265 284 0 0 25 0 1 0 36897840 28012544 5584 1992294400 4194304 9819077 140735759349040 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 6839 5584 725 1374 0 5460 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27356
[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3099
/proc/meminfo: memFree=1610032/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=40500 CPUtime=51.08
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 451823 0 0 0 4541 567 0 0 25 0 1 0 36897840 41472000 8860 1992294400 4194304 9819077 140735759349040 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 10245 8863 725 1374 0 8866 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 40500
[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3099
/proc/meminfo: memFree=1591556/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=59912 CPUtime=102.27
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 926203 0 0 0 9034 1193 0 0 25 0 1 0 36897840 61349888 13399 1992294400 4194304 9819077 140735759349040 18446744073709551615 6566472 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 14978 13399 725 1374 0 13599 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 59912
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3101
/proc/meminfo: memFree=1564400/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=86400 CPUtime=162.25
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 1405043 0 0 0 14377 1848 0 0 25 0 1 0 36897840 88473600 20172 1992294400 4194304 9819077 140735759349040 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 21480 20170 725 1374 0 20101 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 86400
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3103
/proc/meminfo: memFree=1543444/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=106620 CPUtime=222.23
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 1881200 0 0 0 19714 2509 0 0 25 0 1 0 36897840 109178880 25383 1992294400 4194304 9819077 140735759349040 18446744073709551615 6367498 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 26655 25383 727 1374 0 25276 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 106620
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3105
/proc/meminfo: memFree=1525464/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=124180 CPUtime=282.21
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 2352108 0 0 0 25076 3145 0 0 25 0 1 0 36897840 127160320 29901 1992294400 4194304 9819077 140735759349040 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 31085 29902 727 1374 0 29706 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 124180
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3105
/proc/meminfo: memFree=1510832/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=138348 CPUtime=342.2
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 2845091 0 0 0 30403 3817 0 0 25 0 1 0 36897840 141668352 33477 1992294400 4194304 9819077 140735759349040 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 34587 33477 727 1374 0 33208 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 138348
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3107
/proc/meminfo: memFree=1487520/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=165736 CPUtime=402.18
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 3313034 0 0 0 35790 4428 0 0 25 0 1 0 36897840 169713664 39425 1992294400 4194304 9819077 140735759349040 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 41434 39425 727 1374 0 40055 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 165736
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3109
/proc/meminfo: memFree=1467308/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=185320 CPUtime=462.17
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 3779665 0 0 0 41175 5042 0 0 25 0 1 0 36897840 189767680 44427 1992294400 4194304 9819077 140735759349040 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 46330 44427 727 1374 0 44951 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 185320
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3111
/proc/meminfo: memFree=1443252/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=208780 CPUtime=522.16
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 4244808 0 0 0 46571 5645 0 0 25 0 1 0 36897840 213790720 50410 1992294400 4194304 9819077 140735759349040 18446744073709551615 4978991 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 52195 50410 727 1374 0 50816 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 208780
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3113
/proc/meminfo: memFree=1435440/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=215272 CPUtime=582.14
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 4738246 0 0 0 51919 6295 0 0 25 0 1 0 36897840 220438528 52103 1992294400 4194304 9819077 140735759349040 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 53818 52103 727 1374 0 52439 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 215272
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3113
/proc/meminfo: memFree=1425768/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=224820 CPUtime=642.13
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 5214401 0 0 0 57303 6910 0 0 25 0 1 0 36897840 230215680 54578 1992294400 4194304 9819077 140735759349040 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 56205 54578 727 1374 0 54826 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 224820
[startup+702.302 s]
################
# More data... #
################
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 8599684 0 0 0 94806 11395 0 0 25 0 1 0 36897840 311435264 74870 1992294400 4194304 9819077 140735759349040 18446744073709551615 7816457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 76034 74870 727 1374 0 74655 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 304136
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3136
/proc/meminfo: memFree=1330784/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=316604 CPUtime=1121.99
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 9074031 0 0 0 100177 12022 0 0 25 0 1 0 36897840 324202496 78060 1992294400 4194304 9819077 140735759349040 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 79151 78060 727 1374 0 77772 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 316604
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3138
/proc/meminfo: memFree=1315904/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=339700 CPUtime=1181.97
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 9549302 0 0 0 105546 12651 0 0 25 0 1 0 36897840 347852800 81871 1992294400 4194304 9819077 140735759349040 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 84925 81871 727 1374 0 83546 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 339700
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3138
/proc/meminfo: memFree=1304248/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=350764 CPUtime=1241.96
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 10047576 0 0 0 110874 13322 0 0 25 0 1 0 36897840 359182336 84691 1992294400 4194304 9819077 140735759349040 18446744073709551615 4619519 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 87691 84691 727 1374 0 86312 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 350764
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3140
/proc/meminfo: memFree=1284284/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=370392 CPUtime=1301.95
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 10522300 0 0 0 116241 13954 0 0 25 0 1 0 36897840 379281408 89685 1992294400 4194304 9819077 140735759349040 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 92598 89685 727 1374 0 91219 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 370392
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3142
/proc/meminfo: memFree=1270148/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=384252 CPUtime=1361.93
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 10994488 0 0 0 121612 14581 0 0 25 0 1 0 36897840 393474048 93209 1992294400 4194304 9819077 140735759349040 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 96063 93209 727 1374 0 94684 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 384252
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3144
/proc/meminfo: memFree=1257624/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=396672 CPUtime=1421.92
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 11469939 0 0 0 126991 15201 0 0 25 0 1 0 36897840 406192128 96383 1992294400 4194304 9819077 140735759349040 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 99048 96381 727 1374 0 97669 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 396672
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3146
/proc/meminfo: memFree=1246836/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=408024 CPUtime=1481.9
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 11941045 0 0 0 132356 15834 0 0 25 0 1 0 36897840 417816576 99276 1992294400 4194304 9819077 140735759349040 18446744073709551615 4948376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 102006 99276 727 1374 0 100627 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 408024
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3146
/proc/meminfo: memFree=1232824/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=420648 CPUtime=1541.88
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 12413586 0 0 0 137724 16464 0 0 25 0 1 0 36897840 430743552 102518 1992294400 4194304 9819077 140735759349040 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 105202 102519 727 1374 0 103823 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 420648
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3148
/proc/meminfo: memFree=1217944/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=435168 CPUtime=1601.86
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 12888984 0 0 0 143090 17096 0 0 25 0 1 0 36897840 445612032 106203 1992294400 4194304 9819077 140735759349040 18446744073709551615 4924208 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 108792 106203 727 1374 0 107413 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 435168
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3150
/proc/meminfo: memFree=1205792/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=446920 CPUtime=1661.85
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 13364358 0 0 0 148451 17734 0 0 25 0 1 0 36897840 457646080 109219 1992294400 4194304 9819077 140735759349040 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 111770 109220 727 1374 0 110391 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 446920
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 3152
/proc/meminfo: memFree=1196120/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=456600 CPUtime=1721.84
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 13838814 0 0 0 153822 18362 0 0 25 0 1 0 36897840 467558400 111629 1992294400 4194304 9819077 140735759349040 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 114150 111629 727 1374 0 112771 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 456600
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3154
/proc/meminfo: memFree=1187316/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=464852 CPUtime=1781.82
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 14311781 0 0 0 159176 19006 0 0 25 0 1 0 36897840 476008448 113751 1992294400 4194304 9819077 140735759349040 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 116213 113751 727 1374 0 114834 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 464852
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3154
/proc/meminfo: memFree=1182480/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=469604 CPUtime=1800.02
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 14454695 0 0 0 160808 19194 0 0 25 0 1 0 36897840 480874496 114953 1992294400 4194304 9819077 140735759349040 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3096/statm: 117201 114949 727 1374 0 115822 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 469604
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -3096
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3155
/proc/meminfo: memFree=1182472/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=469604 CPUtime=1800.91
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 14454706 0 0 0 160897 19194 0 0 25 0 1 0 36897840 480874496 114954 1992294400 4194304 9819077 140735759349040 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3096/statm: 117401 114954 728 1374 0 116022 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 469604
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3155
/proc/meminfo: memFree=1182348/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=469604 CPUtime=1801.71
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 14454706 0 0 0 160977 19194 0 0 25 0 1 0 36897840 480874496 114954 1992294400 4194304 9819077 140735759349040 18446744073709551615 6179956 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3096/statm: 117401 114954 728 1374 0 116022 0
Current children cumulated CPU time (s) 1801.71
Current children cumulated vsize (KiB) 469604
[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3155
/proc/meminfo: memFree=1182348/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=467920 CPUtime=1801.91
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 14454706 0 0 0 160997 19194 0 0 25 0 1 0 36897840 479150080 114533 1992294400 4194304 9819077 140735759349040 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3096/statm: 116980 114533 728 1374 0 115601 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 467920
[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3155
/proc/meminfo: memFree=1182348/2059040 swapFree=4140260/4192956
[pid=3096] ppid=3094 vsize=466500 CPUtime=1802.01
/proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 14454706 0 0 0 161007 19194 0 0 25 0 1 0 36897840 477696000 114178 1992294400 4194304 9819077 140735759349040 18446744073709551615 6179982 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3096/statm: 116625 114178 728 1374 0 115246 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 466500
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.56
CPU time (s): 1802.08
CPU user time (s): 1610.08
CPU system time (s): 191.996
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 469604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1610.08
system time used= 191.996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14454706
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= 2141
runsolver used 2.86756 second user time and 8.63569 second system time
The end