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-2665653-1276615187.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 | 43 | - | 633k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 o 1044
0.09/0.18 c y 0.1s| 1 | 0 | 43 | - | 702k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.09/0.19 c 0.2s| 1 | 0 | 50 | - | 845k| 0 | 13 | 198 | 71 | 198 | 17 | 9 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 64 | - | 914k| 0 | 17 | 198 | 71 | 198 | 22 | 14 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 82 | - | 979k| 0 | 18 | 198 | 71 | 198 | 25 | 17 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.19/0.26 c 0.2s| 1 | 0 | 93 | - |1016k| 0 | 20 | 198 | 71 | 198 | 27 | 19 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.19/0.29 c 0.3s| 1 | 0 | 99 | - |1043k| 0 | 21 | 198 | 71 | 198 | 28 | 20 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.29/0.32 c 0.3s| 1 | 0 | 117 | - |1057k| 0 | 19 | 198 | 71 | 198 | 29 | 21 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.39/0.40 c 0.3s| 1 | 2 | 117 | - |1058k| 0 | 19 | 198 | 71 | 198 | 29 | 21 | 0 | 13 | 0.000000e+00 | 1.044000e+03 | Inf
1.10/1.14 o 670
1.10/1.14 c p 1.0s| 232 | 232 | 1884 | 7.6 |1275k| 67 | - | 198 | 71 | 198 | 19 | 21 | 11 | 580 | 0.000000e+00 | 6.700000e+02 | Inf
1.39/1.46 o 381
1.39/1.46 c p 1.3s| 486 | 480 | 3306 | 6.6 |1383k| 67 | - | 198 | 71 | 198 | 19 | 21 | 14 | 632 | 0.000000e+00 | 3.810000e+02 | Inf
1.99/2.03 o 208
1.99/2.03 c f 1.8s| 932 | 893 | 5827 | 6.1 |1566k| 67 | - | 198 | 71 | 198 | 19 | 21 | 23 | 719 | 0.000000e+00 | 2.080000e+02 | Inf
2.19/2.29 o 207
2.19/2.29 c v 2.0s| 1132 | 1093 | 7180 | 6.2 |1656k| 67 | - | 198 | 71 | 198 | 19 | 21 | 32 | 750 | 0.000000e+00 | 2.070000e+02 | Inf
4.79/4.80 o 206
4.79/4.80 c c 4.2s| 2305 | 2266 | 14864 | 6.4 |2201k| 67 | - | 198 | 71 | 198 | 19 | 21 | 62 | 836 | 0.000000e+00 | 2.060000e+02 | Inf
5.40/5.46 o 145
5.40/5.46 c f 4.8s| 2838 | 2742 | 18123 | 6.3 |2421k| 67 | - | 198 | 71 | 198 | 19 | 21 | 74 | 860 | 0.000000e+00 | 1.450000e+02 | Inf
7.09/7.13 o 106
7.09/7.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.09/7.13 c g 6.3s| 4165 | 3967 | 26627 | 6.4 |3041k| 67 | - | 198 | 71 | 198 | 19 | 21 | 131 | 893 | 0.000000e+00 | 1.060000e+02 | Inf
15.18/15.27 c 13.6s| 10000 | 9674 | 67540 | 6.7 |5675k| 67 | 8 | 198 | 9 | 198 | 19 | 21 | 370 |1043 | 0.000000e+00 | 1.060000e+02 | Inf
25.89/25.92 o 56
25.89/25.92 c g23.1s| 19199 | 17265 |121034 | 6.3 |8832k| 67 | - | 198 | 9 | 198 | 19 | 21 | 637 |1456 | 0.000000e+00 | 5.600000e+01 | Inf
27.19/27.22 c 24.3s| 20000 | 17923 |127221 | 6.4 |9151k| 67 | 8 | 198 | 8 | 198 | 19 | 21 | 669 |1520 | 0.000000e+00 | 5.600000e+01 | Inf
38.08/38.18 c 34.0s| 30000 | 25886 |183346 | 6.1 | 13M| 67 | 8 | 198 | 9 | 198 | 19 | 21 | 993 |2139 | 0.000000e+00 | 5.600000e+01 | Inf
48.98/49.06 c 43.8s| 40000 | 33380 |242875 | 6.1 | 17M| 67 | 8 | 198 | 11 | 198 | 19 | 21 |1397 |2662 | 0.000000e+00 | 5.600000e+01 | Inf
56.98/57.01 o 54
56.98/57.01 c *50.9s| 47399 | 38734 |287889 | 6.1 | 20M| 67 | - | 198 | 12 | 198 | 19 | 21 |1694 |2990 | 0.000000e+00 | 5.400000e+01 | Inf
59.87/59.90 c 53.5s| 50000 | 40588 |304401 | 6.1 | 21M| 67 | 8 | 198 | 11 | 198 | 19 | 21 |1813 |3108 | 0.000000e+00 | 5.400000e+01 | Inf
70.47/70.52 c 63.0s| 60000 | 47916 |365349 | 6.1 | 26M| 67 | - | 198 | 12 | 198 | 19 | 21 |2234 |3445 | 0.000000e+00 | 5.400000e+01 | Inf
81.17/81.28 c 72.5s| 70000 | 54982 |428433 | 6.1 | 30M| 67 | 8 | 198 | 11 | 198 | 19 | 21 |2724 |3792 | 0.000000e+00 | 5.400000e+01 | Inf
85.68/85.70 o 53
85.68/85.70 c *76.5s| 74190 | 58001 |453731 | 6.1 | 31M| 67 | - | 198 | 11 | 198 | 19 | 21 |2883 |3914 | 0.000000e+00 | 5.300000e+01 | Inf
91.87/91.97 c 82.1s| 80000 | 61945 |490011 | 6.1 | 34M| 67 | 8 | 198 | 11 | 198 | 19 | 21 |3160 |4087 | 0.000000e+00 | 5.300000e+01 | Inf
102.46/102.52 c 91.5s| 90000 | 68980 |551623 | 6.1 | 38M| 67 | 8 | 198 | 9 | 198 | 19 | 21 |3571 |4343 | 0.000000e+00 | 5.300000e+01 | Inf
112.95/113.06 c 101s|100000 | 76170 |613063 | 6.1 | 42M| 67 | 8 | 198 | 11 | 198 | 19 | 21 |4002 |4597 | 0.000000e+00 | 5.300000e+01 | Inf
114.26/114.32 o 52
114.26/114.32 c * 102s|101114 | 76730 |620616 | 6.1 | 42M| 67 | - | 198 | 11 | 198 | 19 | 21 |4055 |4630 | 0.000000e+00 | 5.200000e+01 | Inf
114.26/114.33 o 50
114.26/114.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
114.26/114.33 c * 102s|101115 | 76377 |620616 | 6.1 | 42M| 67 | - | 198 | 11 | 198 | 19 | 21 |4055 |4630 | 0.000000e+00 | 5.000000e+01 | Inf
115.95/116.03 o 49
115.95/116.03 c p 104s|102636 | 77218 |630352 | 6.1 | 42M| 67 | - | 198 | 10 | 198 | 19 | 21 |4131 |4687 | 0.000000e+00 | 4.900000e+01 | Inf
123.55/123.70 o 48
123.55/123.70 c * 110s|109164 | 80839 |674592 | 6.2 | 44M| 67 | - | 198 | 10 | 198 | 19 | 21 |4502 |4847 | 0.000000e+00 | 4.800000e+01 | Inf
123.66/123.70 o 46
123.66/123.70 c * 110s|109166 | 80350 |674592 | 6.2 | 43M| 67 | - | 198 | 10 | 198 | 19 | 21 |4502 |4850 | 0.000000e+00 | 4.600000e+01 | Inf
124.56/124.60 c 111s|110000 | 80922 |679553 | 6.2 | 44M| 67 | 8 | 198 | 10 | 198 | 19 | 21 |4534 |4867 | 0.000000e+00 | 4.600000e+01 | Inf
134.45/134.55 o 44
134.45/134.55 c * 120s|119200 | 86151 |738776 | 6.2 | 47M| 67 | - | 198 | 12 | 198 | 19 | 21 |4938 |5079 | 0.000000e+00 | 4.400000e+01 | Inf
135.45/135.50 c 121s|120000 | 86686 |744119 | 6.2 | 47M| 67 | 8 | 198 | 12 | 198 | 19 | 21 |4971 |5090 | 0.000000e+00 | 4.400000e+01 | Inf
140.94/141.04 o 42
140.94/141.04 c * 126s|125109 | 89114 |776562 | 6.2 | 48M| 67 | - | 198 | 13 | 198 | 19 | 21 |5204 |5218 | 0.000000e+00 | 4.200000e+01 | Inf
140.94/141.04 o 40
140.94/141.04 c * 126s|125110 | 88316 |776562 | 6.2 | 47M| 67 | - | 198 | 13 | 198 | 19 | 21 |5204 |5218 | 0.000000e+00 | 4.000000e+01 | Inf
146.26/146.34 c 131s|130000 | 91241 |807172 | 6.2 | 49M| 67 | 8 | 198 | 13 | 198 | 19 | 21 |5420 |5346 | 0.000000e+00 | 4.000000e+01 | Inf
155.14/155.21 o 39
155.14/155.21 c * 139s|138299 | 95757 |859188 | 6.2 | 52M| 67 | - | 198 | 11 | 198 | 19 | 21 |5785 |5534 | 0.000000e+00 | 3.900000e+01 | Inf
157.05/157.14 c 140s|140000 | 96739 |870593 | 6.2 | 52M| 67 | 8 | 198 | 10 | 198 | 19 | 21 |5850 |5569 | 0.000000e+00 | 3.900000e+01 | Inf
167.35/167.48 c 150s|150000 |102263 |934684 | 6.2 | 56M| 67 | 8 | 198 | 8 | 198 | 19 | 21 |6318 |5781 | 0.000000e+00 | 3.900000e+01 | Inf
178.44/178.57 c 160s|160000 |108159 | 1000k| 6.3 | 60M| 67 | 8 | 198 | 8 | 198 | 19 | 21 |6809 |6011 | 0.000000e+00 | 3.900000e+01 | Inf
189.14/189.23 c 169s|170000 |113917 | 1064k| 6.3 | 64M| 67 | - | 198 | 8 | 0 | 0 | 21 |7303 |6210 | 0.000000e+00 | 3.900000e+01 | Inf
199.73/199.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
199.73/199.81 c 179s|180000 |119888 | 1127k| 6.3 | 67M| 67 | 8 | 198 | 9 | 198 | 19 | 21 |7759 |6414 | 0.000000e+00 | 3.900000e+01 | Inf
201.43/201.55 o 38
201.43/201.55 c * 180s|181718 |120429 | 1137k| 6.3 | 67M| 67 | - | 198 | 9 | 198 | 19 | 21 |7813 |6453 | 0.000000e+00 | 3.800000e+01 | Inf
201.43/201.56 o 36
201.43/201.56 c * 180s|181719 |119222 | 1137k| 6.3 | 66M| 67 | - | 198 | 9 | 198 | 19 | 21 |7813 |6453 | 0.000000e+00 | 3.600000e+01 | Inf
210.23/210.32 c 188s|190000 |123740 | 1190k| 6.3 | 69M| 67 | 8 | 198 | 8 | 198 | 19 | 21 |8182 |6641 | 0.000000e+00 | 3.600000e+01 | Inf
221.04/221.14 c 198s|200000 |129398 | 1254k| 6.3 | 73M| 67 | - | 198 | 8 | 0 | 0 | 21 |8592 |6830 | 0.000000e+00 | 3.600000e+01 | Inf
231.23/231.36 c 207s|210000 |134685 | 1315k| 6.3 | 76M| 67 | 8 | 198 | 8 | 198 | 19 | 21 |9021 |7052 | 0.000000e+00 | 3.600000e+01 | Inf
241.62/241.78 c 216s|220000 |140045 | 1378k| 6.3 | 80M| 67 | 8 | 198 | 8 | 198 | 19 | 21 |9485 |7225 | 0.000000e+00 | 3.600000e+01 | Inf
252.02/252.10 c 225s|230000 |145139 | 1441k| 6.3 | 83M| 67 | 8 | 198 | 9 | 198 | 19 | 21 |9908 |7424 | 0.000000e+00 | 3.600000e+01 | Inf
259.92/260.03 o 35
259.92/260.03 c * 232s|237741 |148301 | 1490k| 6.3 | 85M| 67 | - | 198 | 12 | 198 | 19 | 21 | 10k|7583 | 0.000000e+00 | 3.500000e+01 | Inf
262.22/262.34 c 235s|240000 |149375 | 1505k| 6.3 | 86M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 10k|7630 | 0.000000e+00 | 3.500000e+01 | Inf
262.72/262.85 o 34
262.72/262.85 c * 235s|240522 |148897 | 1508k| 6.3 | 85M| 67 | - | 198 | 10 | 198 | 19 | 21 | 10k|7652 | 0.000000e+00 | 3.400000e+01 | Inf
262.72/262.87 o 32
262.72/262.87 c * 235s|240523 |144821 | 1508k| 6.3 | 82M| 67 | - | 198 | 10 | 198 | 19 | 21 | 10k|7652 | 0.000000e+00 | 3.200000e+01 | Inf
272.11/272.24 c 243s|250000 |149097 | 1570k| 6.3 | 85M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 10k|7856 | 0.000000e+00 | 3.200000e+01 | Inf
282.11/282.28 c 252s|260000 |153823 | 1636k| 6.3 | 87M| 67 | 8 | 198 | 17 | 198 | 19 | 21 | 11k|8067 | 0.000000e+00 | 3.200000e+01 | Inf
292.20/292.39 c 261s|270000 |158672 | 1705k| 6.3 | 91M| 67 | 8 | 198 | 16 | 198 | 19 | 21 | 11k|8269 | 0.000000e+00 | 3.200000e+01 | Inf
302.01/302.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
302.01/302.19 c 270s|280000 |163224 | 1775k| 6.3 | 93M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 12k|8462 | 0.000000e+00 | 3.200000e+01 | Inf
312.10/312.28 c 279s|290000 |167986 | 1844k| 6.4 | 96M| 67 | 8 | 198 | 10 | 198 | 19 | 21 | 12k|8647 | 0.000000e+00 | 3.200000e+01 | Inf
325.50/325.64 c 291s|300000 |172535 | 1913k| 6.4 | 99M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 13k|8823 | 0.000000e+00 | 3.200000e+01 | Inf
335.79/335.99 c 300s|310000 |177332 | 1981k| 6.4 | 102M| 67 | 8 | 198 | 16 | 198 | 19 | 21 | 13k|9054 | 0.000000e+00 | 3.200000e+01 | Inf
345.99/346.11 c 309s|320000 |182248 | 2049k| 6.4 | 105M| 67 | - | 198 | 12 | 198 | 19 | 21 | 13k|9273 | 0.000000e+00 | 3.200000e+01 | Inf
350.79/350.95 o 31
350.79/350.95 c * 313s|324975 |183744 | 2081k| 6.4 | 106M| 67 | - | 198 | 13 | 198 | 19 | 21 | 14k|9366 | 0.000000e+00 | 3.100000e+01 | Inf
358.78/358.98 c 320s|330000 |185994 | 2114k| 6.4 | 107M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 14k|9464 | 0.000000e+00 | 3.100000e+01 | Inf
368.39/368.53 c 329s|340000 |190364 | 2178k| 6.4 | 110M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 14k|9625 | 0.000000e+00 | 3.100000e+01 | Inf
378.08/378.24 c 338s|350000 |194849 | 2244k| 6.4 | 113M| 67 | 8 | 198 | 10 | 198 | 19 | 21 | 15k|9774 | 0.000000e+00 | 3.100000e+01 | Inf
387.47/387.70 c 346s|360000 |199095 | 2308k| 6.4 | 115M| 67 | - | 198 | 9 | 198 | 19 | 21 | 15k|9914 | 0.000000e+00 | 3.100000e+01 | Inf
397.07/397.23 c 355s|370000 |203293 | 2373k| 6.4 | 118M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 16k| 10k| 0.000000e+00 | 3.100000e+01 | Inf
406.88/407.00 c 363s|380000 |207873 | 2438k| 6.4 | 121M| 67 | - | 198 | 12 | 198 | 19 | 21 | 16k| 10k| 0.000000e+00 | 3.100000e+01 | Inf
416.77/416.99 c 372s|390000 |212620 | 2503k| 6.4 | 124M| 67 | 8 | 198 | 10 | 198 | 19 | 21 | 16k| 10k| 0.000000e+00 | 3.100000e+01 | Inf
427.06/427.23 c 381s|400000 |217807 | 2569k| 6.4 | 127M| 67 | 8 | 198 | 10 | 198 | 19 | 21 | 17k| 10k| 0.000000e+00 | 3.100000e+01 | Inf
436.66/436.84 c 390s|410000 |222267 | 2633k| 6.4 | 130M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 17k| 10k| 0.000000e+00 | 3.100000e+01 | Inf
446.75/446.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
446.75/446.95 c 399s|420000 |227329 | 2699k| 6.4 | 133M| 67 | - | 198 | 9 | 198 | 19 | 21 | 18k| 10k| 0.000000e+00 | 3.100000e+01 | Inf
456.36/456.51 c 408s|430000 |231741 | 2763k| 6.4 | 136M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 18k| 10k| 0.000000e+00 | 3.100000e+01 | Inf
466.95/467.13 c 417s|440000 |237082 | 2831k| 6.4 | 139M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 19k| 11k| 0.000000e+00 | 3.100000e+01 | Inf
477.05/477.23 c 426s|450000 |242021 | 2899k| 6.4 | 142M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 19k| 11k| 0.000000e+00 | 3.100000e+01 | Inf
486.75/486.93 c 435s|460000 |246257 | 2965k| 6.4 | 145M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 19k| 11k| 0.000000e+00 | 3.100000e+01 | Inf
493.24/493.45 o 29
493.24/493.45 c * 441s|466442 |247435 | 3009k| 6.5 | 144M| 67 | - | 198 | 13 | 198 | 19 | 21 | 20k| 11k| 0.000000e+00 | 2.900000e+01 | Inf
496.44/496.66 c 444s|470000 |248569 | 3032k| 6.5 | 145M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 20k| 11k| 0.000000e+00 | 2.900000e+01 | Inf
505.75/505.98 c 452s|480000 |252455 | 3097k| 6.5 | 147M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 20k| 11k| 0.000000e+00 | 2.900000e+01 | Inf
515.14/515.34 c 460s|490000 |256464 | 3163k| 6.5 | 150M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 21k| 11k| 0.000000e+00 | 2.900000e+01 | Inf
515.54/515.70 o 28
515.54/515.70 c * 461s|490374 |255314 | 3165k| 6.5 | 148M| 67 | - | 198 | 13 | 198 | 19 | 21 | 21k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
524.54/524.72 c 469s|500000 |258802 | 3228k| 6.5 | 151M| 67 | 8 | 198 | 10 | 198 | 19 | 21 | 21k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
533.64/533.84 c 477s|510000 |262292 | 3292k| 6.5 | 153M| 67 | - | 198 | 10 | 198 | 19 | 21 | 22k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
542.83/543.02 c 485s|520000 |265874 | 3355k| 6.5 | 156M| 67 | 8 | 198 | 15 | 198 | 19 | 21 | 22k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
552.13/552.34 c 493s|530000 |269688 | 3418k| 6.4 | 158M| 67 | 8 | 198 | 18 | 198 | 19 | 21 | 22k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
561.43/561.64 c 502s|540000 |273537 | 3480k| 6.4 | 161M| 67 | 8 | 198 | 16 | 198 | 19 | 21 | 23k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
570.63/570.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
570.63/570.86 c 510s|550000 |277336 | 3542k| 6.4 | 164M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 23k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
578.82/579.08 o 26
578.82/579.08 c * 517s|558990 |277654 | 3598k| 6.4 | 162M| 67 | - | 198 | 11 | 198 | 19 | 21 | 23k| 12k| 0.000000e+00 | 2.600000e+01 | Inf
578.92/579.11 o 24
578.92/579.11 c * 517s|558995 |274161 | 3598k| 6.4 | 157M| 67 | - | 198 | 11 | 198 | 19 | 21 | 23k| 12k| 0.000000e+00 | 2.400000e+01 | Inf
579.82/580.06 c 518s|560000 |274544 | 3605k| 6.4 | 158M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 23k| 12k| 0.000000e+00 | 2.400000e+01 | Inf
591.32/591.58 c 528s|570000 |277766 | 3667k| 6.4 | 160M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 24k| 12k| 0.000000e+00 | 2.400000e+01 | Inf
603.72/603.97 c 539s|580000 |281539 | 3729k| 6.4 | 162M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 24k| 12k| 0.000000e+00 | 2.400000e+01 | Inf
612.61/612.82 c 547s|590000 |284578 | 3791k| 6.4 | 165M| 67 | 8 | 198 | 15 | 198 | 19 | 21 | 25k| 12k| 0.000000e+00 | 2.400000e+01 | Inf
621.41/621.66 c 555s|600000 |287557 | 3854k| 6.4 | 167M| 67 | - | 198 | 15 | 0 | 0 | 21 | 25k| 12k| 0.000000e+00 | 2.400000e+01 | Inf
630.02/630.27 c 563s|610000 |290621 | 3915k| 6.4 | 170M| 67 | 8 | 198 | 15 | 198 | 19 | 21 | 25k| 12k| 0.000000e+00 | 2.400000e+01 | Inf
638.71/638.91 c 570s|620000 |294186 | 3973k| 6.4 | 172M| 67 | 8 | 198 | 15 | 198 | 19 | 21 | 26k| 12k| 0.000000e+00 | 2.400000e+01 | Inf
647.20/647.42 c 578s|630000 |297122 | 4032k| 6.4 | 174M| 67 | 8 | 198 | 16 | 198 | 19 | 21 | 26k| 12k| 0.000000e+00 | 2.400000e+01 | Inf
655.80/656.05 c 586s|640000 |300038 | 4093k| 6.4 | 176M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 27k| 13k| 0.000000e+00 | 2.400000e+01 | Inf
664.29/664.50 c 593s|650000 |302822 | 4152k| 6.4 | 179M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 27k| 13k| 0.000000e+00 | 2.400000e+01 | Inf
672.90/673.18 c 601s|660000 |305967 | 4212k| 6.4 | 181M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 27k| 13k| 0.000000e+00 | 2.400000e+01 | Inf
681.70/682.00 c 609s|670000 |309238 | 4272k| 6.4 | 183M| 67 | 8 | 198 | 10 | 198 | 19 | 21 | 28k| 13k| 0.000000e+00 | 2.400000e+01 | Inf
690.78/691.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
690.78/691.01 c 617s|680000 |312838 | 4333k| 6.4 | 186M| 67 | - | 198 | 11 | 198 | 19 | 21 | 28k| 13k| 0.000000e+00 | 2.400000e+01 | Inf
699.98/700.21 c 625s|690000 |316756 | 4395k| 6.4 | 188M| 67 | - | 198 | 12 | 198 | 19 | 21 | 29k| 13k| 0.000000e+00 | 2.400000e+01 | Inf
708.48/708.78 c 633s|700000 |319928 | 4453k| 6.4 | 191M| 67 | 8 | 198 | 10 | 198 | 19 | 21 | 29k| 13k| 0.000000e+00 | 2.400000e+01 | Inf
717.08/717.36 c 640s|710000 |323046 | 4512k| 6.4 | 193M| 67 | - | 198 | 13 | 198 | 19 | 21 | 30k| 13k| 0.000000e+00 | 2.400000e+01 | Inf
725.79/726.01 c 648s|720000 |325775 | 4571k| 6.3 | 195M| 67 | - | 198 | 13 | 198 | 19 | 21 | 30k| 13k| 0.000000e+00 | 2.400000e+01 | Inf
734.28/734.56 c 656s|730000 |328490 | 4630k| 6.3 | 197M| 67 | - | 198 | 13 | 198 | 19 | 21 | 31k| 13k| 0.000000e+00 | 2.400000e+01 | Inf
743.07/743.32 c 664s|740000 |331511 | 4690k| 6.3 | 200M| 67 | - | 198 | 16 | 198 | 19 | 21 | 31k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
751.56/751.85 c 671s|750000 |334135 | 4755k| 6.3 | 202M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 31k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
760.06/760.35 c 679s|760000 |336628 | 4815k| 6.3 | 204M| 67 | - | 198 | 16 | 198 | 19 | 21 | 32k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
768.36/768.67 c 686s|770000 |338877 | 4875k| 6.3 | 206M| 67 | - | 198 | 12 | 198 | 19 | 21 | 32k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
776.86/777.13 c 694s|780000 |341047 | 4935k| 6.3 | 208M| 67 | 8 | 198 | 15 | 198 | 19 | 21 | 33k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
786.05/786.35 c 702s|790000 |344669 | 4997k| 6.3 | 210M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 33k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
794.96/795.27 c 710s|800000 |348153 | 5059k| 6.3 | 213M| 67 | - | 198 | 13 | 198 | 19 | 21 | 34k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
804.25/804.52 c 718s|810000 |352430 | 5120k| 6.3 | 215M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 34k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
812.85/813.18 c 726s|820000 |355641 | 5179k| 6.3 | 218M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 34k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
822.15/822.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
822.15/822.46 c 734s|830000 |359407 | 5243k| 6.3 | 220M| 67 | - | 198 | 13 | 198 | 19 | 21 | 35k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
830.75/831.04 c 742s|840000 |362501 | 5302k| 6.3 | 222M| 67 | 8 | 198 | 10 | 198 | 19 | 21 | 35k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
839.45/839.72 c 750s|850000 |365344 | 5363k| 6.3 | 224M| 67 | - | 198 | 14 | 0 | 0 | 21 | 36k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
848.04/848.40 c 758s|860000 |368178 | 5431k| 6.3 | 227M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 36k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
856.74/857.09 c 765s|870000 |370698 | 5498k| 6.3 | 229M| 67 | 8 | 198 | 15 | 198 | 19 | 21 | 37k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
865.64/865.94 c 773s|880000 |373426 | 5568k| 6.3 | 231M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 37k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
874.33/874.62 c 781s|890000 |375838 | 5637k| 6.3 | 233M| 67 | 8 | 198 | 15 | 198 | 19 | 21 | 38k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
882.94/883.23 c 789s|900000 |378173 | 5704k| 6.3 | 235M| 67 | - | 198 | 12 | 198 | 19 | 21 | 38k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
891.53/891.87 c 796s|910000 |380557 | 5768k| 6.3 | 236M| 67 | - | 198 | 14 | 198 | 19 | 21 | 38k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
900.13/900.50 c 804s|920000 |382917 | 5835k| 6.3 | 238M| 67 | - | 198 | 10 | 198 | 19 | 21 | 39k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
908.93/909.22 c 812s|930000 |385381 | 5904k| 6.3 | 240M| 67 | 8 | 198 | 9 | 198 | 19 | 21 | 39k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
917.52/917.86 c 820s|940000 |387841 | 5972k| 6.4 | 242M| 67 | - | 198 | 10 | 198 | 19 | 21 | 40k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
926.71/927.04 c 828s|950000 |391249 | 6043k| 6.4 | 245M| 67 | - | 198 | 11 | 198 | 19 | 21 | 40k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
935.91/936.22 c 836s|960000 |394985 | 6110k| 6.4 | 247M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 41k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
944.91/945.28 c 844s|970000 |398182 | 6173k| 6.4 | 249M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 41k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
954.01/954.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
954.01/954.39 c 852s|980000 |401660 | 6237k| 6.4 | 252M| 67 | 8 | 198 | 15 | 198 | 19 | 21 | 41k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
963.21/963.52 c 861s|990000 |405144 | 6298k| 6.4 | 254M| 67 | - | 198 | 15 | 198 | 19 | 21 | 42k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
971.90/972.27 c 868s| 1000k|408061 | 6359k| 6.4 | 256M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 42k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
980.50/980.86 c 876s| 1010k|411005 | 6420k| 6.4 | 259M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 43k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
989.10/989.40 c 884s| 1020k|413637 | 6481k| 6.4 | 261M| 67 | - | 198 | 15 | 198 | 19 | 21 | 43k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
997.60/997.99 c 891s| 1030k|416319 | 6542k| 6.4 | 263M| 67 | 8 | 198 | 10 | 198 | 19 | 21 | 44k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
1006.30/1006.63 c 899s| 1040k|419057 | 6603k| 6.3 | 265M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 44k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
1015.09/1015.45 c 907s| 1050k|422129 | 6666k| 6.3 | 267M| 67 | - | 198 | 12 | 198 | 19 | 21 | 44k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
1023.99/1024.37 c 915s| 1060k|425263 | 6730k| 6.3 | 270M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 45k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
1033.08/1033.48 c 923s| 1070k|428675 | 6793k| 6.3 | 272M| 67 | - | 198 | 11 | 0 | 0 | 21 | 45k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
1042.39/1042.75 c 932s| 1080k|432381 | 6857k| 6.3 | 274M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 46k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
1051.18/1051.54 c 939s| 1090k|435579 | 6918k| 6.3 | 277M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 46k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
1059.98/1060.40 c 947s| 1100k|438948 | 6978k| 6.3 | 279M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 46k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
1069.17/1069.56 c 956s| 1110k|442450 | 7040k| 6.3 | 282M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 47k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
1078.07/1078.46 c 964s| 1120k|445838 | 7103k| 6.3 | 284M| 67 | 8 | 198 | 9 | 198 | 19 | 21 | 47k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
1087.37/1087.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1087.37/1087.75 c 972s| 1130k|449431 | 7165k| 6.3 | 286M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 48k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
1096.76/1097.14 c 980s| 1140k|453092 | 7231k| 6.3 | 289M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 48k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
1106.07/1106.46 c 989s| 1150k|456686 | 7296k| 6.3 | 292M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 48k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
1114.86/1115.24 c 997s| 1160k|459388 | 7359k| 6.3 | 294M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 49k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
1123.56/1123.97 c 1004s| 1170k|462383 | 7420k| 6.3 | 296M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 49k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
1133.35/1133.71 c 1013s| 1180k|466261 | 7486k| 6.3 | 299M| 67 | - | 198 | 12 | 198 | 19 | 21 | 50k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
1142.36/1142.77 c 1021s| 1190k|470190 | 7546k| 6.3 | 301M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 50k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
1151.45/1151.87 c 1029s| 1200k|473919 | 7608k| 6.3 | 304M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 50k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
1160.24/1160.63 c 1037s| 1210k|477323 | 7668k| 6.3 | 306M| 67 | - | 198 | 12 | 198 | 19 | 21 | 51k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
1169.65/1170.02 c 1046s| 1220k|481317 | 7731k| 6.3 | 308M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 51k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
1179.04/1179.43 c 1054s| 1230k|485189 | 7796k| 6.3 | 311M| 67 | - | 198 | 12 | 198 | 19 | 21 | 52k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
1189.44/1189.80 c 1063s| 1240k|489915 | 7864k| 6.3 | 314M| 67 | - | 198 | 13 | 198 | 19 | 21 | 52k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
1199.24/1199.63 c 1072s| 1250k|494449 | 7928k| 6.3 | 316M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 52k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
1208.44/1208.87 c 1080s| 1260k|498422 | 7990k| 6.3 | 319M| 67 | 8 | 198 | 17 | 198 | 19 | 21 | 53k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
1217.24/1217.69 c 1088s| 1270k|501794 | 8051k| 6.3 | 321M| 67 | - | 198 | 13 | 198 | 19 | 21 | 53k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
1226.03/1226.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1226.03/1226.48 c 1096s| 1280k|505446 | 8111k| 6.3 | 324M| 67 | 8 | 198 | 10 | 198 | 19 | 21 | 54k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
1234.72/1235.19 c 1104s| 1290k|508572 | 8172k| 6.3 | 326M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 54k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
1243.93/1244.39 c 1112s| 1300k|512587 | 8234k| 6.3 | 329M| 67 | - | 198 | 12 | 0 | 0 | 21 | 54k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
1253.12/1253.58 c 1120s| 1310k|516243 | 8296k| 6.3 | 331M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 55k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
1262.72/1263.20 c 1129s| 1320k|520406 | 8360k| 6.3 | 334M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 55k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
1272.52/1272.94 c 1138s| 1330k|524990 | 8425k| 6.3 | 336M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 55k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
1281.81/1282.20 c 1146s| 1340k|529165 | 8487k| 6.3 | 339M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 56k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
1291.41/1291.89 c 1155s| 1350k|533501 | 8551k| 6.3 | 341M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 56k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
1300.82/1301.24 c 1163s| 1360k|537961 | 8614k| 6.3 | 344M| 67 | 8 | 198 | 10 | 198 | 19 | 21 | 57k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
1309.61/1310.06 c 1171s| 1370k|541584 | 8674k| 6.3 | 347M| 67 | - | 198 | 10 | 0 | 0 | 21 | 57k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
1318.60/1319.01 c 1179s| 1380k|545297 | 8736k| 6.3 | 349M| 67 | 8 | 198 | 10 | 198 | 19 | 21 | 57k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
1327.20/1327.63 c 1187s| 1390k|548509 | 8796k| 6.3 | 351M| 67 | - | 198 | 9 | 0 | 0 | 21 | 58k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
1335.79/1336.20 c 1194s| 1400k|551719 | 8855k| 6.3 | 353M| 67 | 8 | 198 | 9 | 198 | 19 | 21 | 58k| 20k| 0.000000e+00 | 2.400000e+01 | Inf
1344.49/1344.99 c 1202s| 1410k|555143 | 8915k| 6.3 | 356M| 67 | - | 198 | 9 | 198 | 19 | 21 | 58k| 20k| 0.000000e+00 | 2.400000e+01 | Inf
1353.29/1353.70 c 1210s| 1420k|558367 | 8974k| 6.3 | 358M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 59k| 20k| 0.000000e+00 | 2.400000e+01 | Inf
1361.79/1362.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1361.79/1362.20 c 1217s| 1430k|561202 | 9033k| 6.3 | 360M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 59k| 20k| 0.000000e+00 | 2.400000e+01 | Inf
1370.38/1370.83 c 1225s| 1440k|564516 | 9092k| 6.3 | 362M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 60k| 20k| 0.000000e+00 | 2.400000e+01 | Inf
1379.08/1379.50 c 1233s| 1450k|567643 | 9152k| 6.3 | 364M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 60k| 20k| 0.000000e+00 | 2.400000e+01 | Inf
1387.68/1388.15 c 1241s| 1460k|570804 | 9212k| 6.3 | 367M| 67 | - | 198 | 11 | 198 | 19 | 21 | 60k| 20k| 0.000000e+00 | 2.400000e+01 | Inf
1396.59/1397.09 c 1249s| 1470k|574559 | 9272k| 6.3 | 369M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 61k| 20k| 0.000000e+00 | 2.400000e+01 | Inf
1405.28/1405.76 c 1256s| 1480k|577681 | 9333k| 6.3 | 371M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 61k| 20k| 0.000000e+00 | 2.400000e+01 | Inf
1413.87/1414.30 c 1264s| 1490k|580426 | 9392k| 6.3 | 373M| 67 | - | 198 | 13 | 198 | 19 | 21 | 62k| 20k| 0.000000e+00 | 2.400000e+01 | Inf
1422.47/1422.95 c 1272s| 1500k|583443 | 9451k| 6.3 | 375M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 62k| 20k| 0.000000e+00 | 2.400000e+01 | Inf
1431.17/1431.60 c 1280s| 1510k|586689 | 9510k| 6.3 | 378M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 62k| 20k| 0.000000e+00 | 2.400000e+01 | Inf
1440.07/1440.52 c 1288s| 1520k|590157 | 9569k| 6.3 | 380M| 67 | 8 | 198 | 15 | 198 | 19 | 21 | 63k| 20k| 0.000000e+00 | 2.400000e+01 | Inf
1448.77/1449.21 c 1295s| 1530k|593267 | 9628k| 6.3 | 382M| 67 | - | 198 | 14 | 198 | 19 | 21 | 63k| 20k| 0.000000e+00 | 2.400000e+01 | Inf
1457.36/1457.88 c 1303s| 1540k|596361 | 9686k| 6.3 | 384M| 67 | - | 198 | 13 | 0 | 0 | 21 | 64k| 21k| 0.000000e+00 | 2.400000e+01 | Inf
1465.87/1466.35 c 1311s| 1550k|599313 | 9744k| 6.3 | 386M| 67 | - | 198 | 12 | 198 | 19 | 21 | 64k| 21k| 0.000000e+00 | 2.400000e+01 | Inf
1474.56/1475.01 c 1318s| 1560k|602429 | 9803k| 6.3 | 389M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 64k| 21k| 0.000000e+00 | 2.400000e+01 | Inf
1482.95/1483.49 c 1326s| 1570k|605279 | 9861k| 6.3 | 391M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 65k| 21k| 0.000000e+00 | 2.400000e+01 | Inf
1491.75/1492.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1491.75/1492.24 c 1334s| 1580k|608777 | 9919k| 6.3 | 393M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 65k| 21k| 0.000000e+00 | 2.400000e+01 | Inf
1500.45/1500.97 c 1341s| 1590k|612460 | 9977k| 6.3 | 395M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 66k| 21k| 0.000000e+00 | 2.400000e+01 | Inf
1509.04/1509.54 c 1349s| 1600k|615594 | 10035k| 6.3 | 398M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 66k| 21k| 0.000000e+00 | 2.400000e+01 | Inf
1517.34/1517.88 c 1357s| 1610k|618366 | 10092k| 6.3 | 399M| 67 | - | 198 | 11 | 198 | 19 | 21 | 66k| 21k| 0.000000e+00 | 2.400000e+01 | Inf
1526.25/1526.71 c 1364s| 1620k|621564 | 10152k| 6.3 | 402M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 67k| 21k| 0.000000e+00 | 2.400000e+01 | Inf
1534.74/1535.23 c 1372s| 1630k|624324 | 10210k| 6.3 | 404M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 67k| 21k| 0.000000e+00 | 2.400000e+01 | Inf
1539.33/1539.86 o 22
1539.33/1539.86 c *1376s| 1635k|620412 | 10240k| 6.3 | 396M| 67 | - | 198 | 11 | 198 | 19 | 21 | 67k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1543.44/1543.95 c 1380s| 1640k|621721 | 10268k| 6.3 | 396M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 68k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1551.83/1552.35 c 1387s| 1650k|624454 | 10325k| 6.3 | 398M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 68k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1560.53/1561.06 c 1395s| 1660k|627661 | 10384k| 6.3 | 401M| 67 | - | 198 | 16 | 198 | 19 | 21 | 68k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1572.82/1573.33 c 1406s| 1670k|630633 | 10442k| 6.3 | 403M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 69k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1581.13/1581.67 c 1413s| 1680k|633756 | 10498k| 6.2 | 405M| 67 | - | 198 | 13 | 198 | 19 | 21 | 69k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1589.82/1590.30 c 1421s| 1690k|636531 | 10559k| 6.2 | 407M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 70k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1598.12/1598.64 c 1429s| 1700k|639102 | 10617k| 6.2 | 409M| 67 | - | 198 | 11 | 198 | 19 | 21 | 70k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1606.52/1607.08 c 1436s| 1710k|641802 | 10675k| 6.2 | 411M| 67 | 8 | 198 | 19 | 198 | 19 | 21 | 71k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1615.01/1615.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1615.01/1615.54 c 1444s| 1720k|644532 | 10734k| 6.2 | 413M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 71k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1623.71/1624.26 c 1452s| 1730k|647612 | 10792k| 6.2 | 415M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 71k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1632.21/1632.74 c 1459s| 1740k|650157 | 10850k| 6.2 | 417M| 67 | 8 | 198 | 18 | 198 | 19 | 21 | 72k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1640.71/1641.23 c 1467s| 1750k|653230 | 10908k| 6.2 | 419M| 67 | 8 | 198 | 17 | 198 | 19 | 21 | 72k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1649.00/1649.59 c 1474s| 1760k|655752 | 10965k| 6.2 | 421M| 67 | - | 198 | 16 | 198 | 19 | 21 | 73k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1657.60/1658.14 c 1482s| 1770k|659009 | 11022k| 6.2 | 423M| 67 | 8 | 198 | 15 | 198 | 19 | 21 | 73k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1666.10/1666.63 c 1489s| 1780k|661816 | 11081k| 6.2 | 425M| 67 | 8 | 198 | 16 | 198 | 19 | 21 | 73k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1674.49/1675.04 c 1497s| 1790k|664399 | 11139k| 6.2 | 427M| 67 | 8 | 198 | 15 | 198 | 19 | 21 | 74k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1682.90/1683.45 c 1504s| 1800k|667350 | 11195k| 6.2 | 429M| 67 | - | 198 | 16 | 0 | 0 | 21 | 74k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1691.29/1691.84 c 1512s| 1810k|670055 | 11253k| 6.2 | 431M| 67 | 8 | 198 | 15 | 198 | 19 | 21 | 75k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1696.29/1696.82 o 21
1696.29/1696.82 c *1516s| 1815k|668012 | 11286k| 6.2 | 426M| 67 | - | 198 | 14 | 198 | 19 | 21 | 75k| 22k| 0.000000e+00 | 2.100000e+01 | Inf
1696.29/1696.88 o 19
1696.29/1696.88 c *1516s| 1815k|659125 | 11286k| 6.2 | 414M| 67 | - | 198 | 14 | 198 | 19 | 21 | 75k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1699.69/1700.24 c 1519s| 1820k|660256 | 11309k| 6.2 | 414M| 67 | 8 | 198 | 16 | 198 | 19 | 21 | 75k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1708.28/1708.80 c 1527s| 1830k|662773 | 11368k| 6.2 | 416M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 75k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1716.59/1717.14 c 1535s| 1840k|664980 | 11425k| 6.2 | 418M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 76k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1724.98/1725.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1724.98/1725.51 c 1542s| 1850k|667542 | 11482k| 6.2 | 420M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 76k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1733.28/1733.89 c 1550s| 1860k|669859 | 11540k| 6.2 | 421M| 67 | 8 | 198 | 19 | 198 | 19 | 21 | 77k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1741.98/1742.57 c 1557s| 1870k|672784 | 11599k| 6.2 | 423M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 77k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1750.28/1750.81 c 1565s| 1880k|675286 | 11656k| 6.2 | 425M| 67 | - | 198 | 15 | 198 | 19 | 21 | 77k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1758.57/1759.13 c 1572s| 1890k|677791 | 11713k| 6.2 | 427M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 78k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1766.87/1767.48 c 1580s| 1900k|680135 | 11770k| 6.2 | 429M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 78k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1775.27/1775.80 c 1587s| 1910k|682519 | 11826k| 6.2 | 430M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 78k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1783.67/1784.24 c 1595s| 1920k|684875 | 11884k| 6.2 | 432M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 79k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1791.97/1792.58 c 1602s| 1930k|687689 | 11941k| 6.2 | 434M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 79k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.61 c
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time (sec) : 1609.15
1800.07/1800.61 c Solving Nodes : 1939875
1800.07/1800.61 c Primal Bound : +1.90000000000001e+01 (41 solutions)
1800.07/1800.61 c Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Gap : infinite
1800.07/1800.61 s SATISFIABLE
1800.07/1800.61 v -x143 -x198 -x197 -x196 x195 x194 -x193 x192 -x191 -x190 x189 x188 x187 x186 -x185 x184 -x183 -x182 -x181 -x180 x179 x178 x177
1800.07/1800.61 v -x176 x175 x174 x173 x172 x171 x170 -x169 -x168 x167 -x166 -x165 -x164 x163 -x162 x161 -x160 -x159 -x158 -x157 x156 -x155 x154
1800.07/1800.61 v x153 -x152 x151 -x150 -x149 x148 -x147 x146 x145 x144 x142 x141 x140 -x139 -x138 x137 x136 -x135 -x134 -x133 x132 -x131 x130
1800.07/1800.61 v -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109
1800.07/1800.61 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.07/1800.61 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.07/1800.61 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.07/1800.61 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.07/1800.61 v -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time : 1609.15
1800.07/1800.61 c Original Problem :
1800.07/1800.61 c Problem name : HOME/instance-2665653-1276615187.opb
1800.07/1800.61 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 16 initial, 16 maximal
1800.07/1800.61 c Presolved Problem :
1800.07/1800.61 c Problem name : t_HOME/instance-2665653-1276615187.opb
1800.07/1800.61 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 8 initial, 71 maximal
1800.07/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c probing : 0.02 0 0 0 0 0 0 0 0
1800.07/1800.61 c linear : 0.00 0 0 0 0 0 8 0 0
1800.07/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c root node : - 48 - - 48 - - - -
1800.07/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c integral : 0 0 0 1346198 0 69 3757 0 0 2685012
1800.07/1800.61 c linear : 8+ 7 3401447 0 0 187693 1353539 0 0 0
1800.07/1800.61 c logicor : 0+ 0 230369 0 0 2035 26581 0 0 0
1800.07/1800.61 c countsols : 0 0 0 23 0 0 0 0 0 0
1800.07/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.61 c integral : 26.47 0.00 0.00 26.47 0.00
1800.07/1800.61 c linear : 330.00 0.00 330.00 0.00 0.00
1800.07/1800.61 c logicor : 0.75 0.00 0.75 0.00 0.00
1800.07/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.61 c vbounds : 1.84 2 0 0
1800.07/1800.61 c rootredcost : 1.60 33 0 48
1800.07/1800.61 c pseudoobj : 33.75 3404091 2818 169029
1800.07/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.61 c propagation : 18.07 190573 67478 80987 71.5 23 37.8 -
1800.07/1800.61 c infeasible LP : 2.00 19968 15661 19096 44.6 1 40.0 0
1800.07/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c pseudo solution : 0.00 2 2 2 2.5 0 0.0 -
1800.07/1800.61 c applied globally : - - - 1227 28.6 - - -
1800.07/1800.61 c applied locally : - - - 78660 67.3 - - -
1800.07/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.61 c cut pool : 0.00 5 - - 2 - (maximal pool size: 67)
1800.07/1800.61 c redcost : 55.91 1912838 0 11137433 0 0
1800.07/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.07/1800.61 c intobj : 0.00 0 0 0 0 0
1800.07/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.61 c gomory : 0.02 6 0 0 0 0
1800.07/1800.61 c strongcg : 0.00 6 0 0 32 0
1800.07/1800.61 c cmir : 0.05 6 0 0 10 0
1800.07/1800.61 c flowcover : 0.06 6 0 0 27 0
1800.07/1800.61 c clique : 0.00 1 0 0 0 0
1800.07/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.61 c mcf : 0.00 1 0 0 0 0
1800.07/1800.61 c rapidlearning : 0.12 1 0 0 0 63
1800.07/1800.61 c Pricers : Time Calls Vars
1800.07/1800.61 c problem variables: 0.00 0 0
1800.07/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c relpscost : 24.56 1346175 69 3757 0 0 2685012
1800.07/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.07/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c random : 0.00 0 0 0 0 0 0
1800.07/1800.61 c Primal Heuristics : Time Calls Found
1800.07/1800.61 c LP solutions : 0.35 - 23
1800.07/1800.61 c pseudo solutions : 0.00 - 0
1800.07/1800.61 c oneopt : 1.27 33 0
1800.07/1800.61 c feaspump : 0.14 2 0
1800.07/1800.61 c crossover : 15.77 6 0
1800.07/1800.61 c rootsoldiving : 10.19 1264 8
1800.07/1800.61 c objpscostdiving : 5.86 1789 0
1800.07/1800.61 c coefdiving : 70.07 4936 1
1800.07/1800.61 c pscostdiving : 35.83 4936 3
1800.07/1800.61 c fracdiving : 36.74 4936 2
1800.07/1800.61 c veclendiving : 23.73 4936 1
1800.07/1800.61 c guideddiving : 28.44 4936 2
1800.07/1800.61 c linesearchdiving : 25.51 4937 0
1800.07/1800.61 c trivial : 0.00 2 0
1800.07/1800.61 c simplerounding : 1.41 0 0
1800.07/1800.61 c zirounding : 1.00 1000 0
1800.07/1800.61 c rounding : 2.49 16829 0
1800.07/1800.61 c shifting : 5.96 5239 0
1800.07/1800.61 c intshifting : 0.10 0 0
1800.07/1800.61 c twoopt : 0.00 0 0
1800.07/1800.61 c fixandinfer : 0.00 0 0
1800.07/1800.61 c intdiving : 0.00 0 0
1800.07/1800.61 c actconsdiving : 0.00 0 0
1800.07/1800.61 c octane : 0.00 0 0
1800.07/1800.61 c rens : 0.03 1 0
1800.07/1800.61 c rins : 0.00 0 0
1800.07/1800.61 c localbranching : 0.00 0 0
1800.07/1800.61 c mutation : 0.00 0 0
1800.07/1800.61 c dins : 0.00 0 0
1800.07/1800.61 c undercover : 0.00 0 0
1800.07/1800.61 c nlp : 0.73 0 0
1800.07/1800.61 c trysol : 1.93 0 0
1800.07/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.61 c dual LP : 713.81 1851272 10450900 5.65 14641.01
1800.07/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.61 c diving/probing LP: 150.83 625823 1546625 2.47 10254.09
1800.07/1800.61 c strong branching : 8.84 23627 90547 3.83 10242.87
1800.07/1800.61 c (at root node) : - 13 577 44.38 -
1800.07/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.61 c B&B Tree :
1800.07/1800.61 c number of runs : 1
1800.07/1800.61 c nodes : 1939875
1800.07/1800.61 c nodes (total) : 1939875
1800.07/1800.61 c nodes left : 689848
1800.07/1800.61 c max depth : 67
1800.07/1800.61 c max depth (total): 67
1800.07/1800.61 c backtracks : 295034 (15.2%)
1800.07/1800.61 c delayed cutoffs : 13311
1800.07/1800.61 c repropagations : 27253 (104116 domain reductions, 13311 cutoffs)
1800.07/1800.61 c avg switch length: 5.62
1800.07/1800.61 c switching time : 76.32
1800.07/1800.61 c Solution :
1800.07/1800.61 c Solutions found : 41 (33 improvements)
1800.07/1800.61 c First Solution : +1.04400000000000e+03 (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <trysol>)
1800.07/1800.61 c Primal Bound : +1.90000000000001e+01 (in run 1, after 1815961 nodes, 1516.37 seconds, depth 50, found by <relaxation>)
1800.07/1800.61 c Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Gap : infinite
1800.07/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Root Iterations : 117
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665653-1276615187/watcher-2665653-1276615187 -o /tmp/evaluation-result-2665653-1276615187/solver-2665653-1276615187 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665653-1276615187.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.02 1.02 1.00 3/106 10045
/proc/meminfo: memFree=1518152/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=9288 CPUtime=0
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 1072 0 0 0 0 0 0 0 15 0 1 0 2811519 9510912 992 1992294400 4194304 9819077 140734899156656 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10045/statm: 2322 1001 371 1374 0 943 0
[startup+0.075359 s]
/proc/loadavg: 1.02 1.02 1.00 3/106 10045
/proc/meminfo: memFree=1518152/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=22548 CPUtime=0.07
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 4975 0 0 0 5 2 0 0 18 0 1 0 2811519 23089152 4018 1992294400 4194304 9819077 140734899156656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 5637 4018 667 1374 0 4258 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 22548
[startup+0.100362 s]
/proc/loadavg: 1.02 1.02 1.00 3/106 10045
/proc/meminfo: memFree=1518152/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=22912 CPUtime=0.09
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 5060 0 0 0 7 2 0 0 18 0 1 0 2811519 23461888 4103 1992294400 4194304 9819077 140734899156656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 5728 4103 673 1374 0 4349 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22912
[startup+0.300391 s]
/proc/loadavg: 1.02 1.02 1.00 3/106 10045
/proc/meminfo: memFree=1518152/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=16860 CPUtime=0.29
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 5227 0 0 0 27 2 0 0 18 0 1 0 2811519 17264640 2958 1992294400 4194304 9819077 140734899156656 18446744073709551615 6055431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 4215 2958 686 1374 0 2836 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16860
[startup+0.70045 s]
/proc/loadavg: 1.02 1.02 1.00 3/106 10045
/proc/meminfo: memFree=1518152/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=17868 CPUtime=0.69
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 12146 0 0 0 62 7 0 0 18 0 1 0 2811519 18296832 3031 1992294400 4194304 9819077 140734899156656 18446744073709551615 7235448 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 4467 3031 722 1374 0 3088 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17868
[startup+1.50057 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 10046
/proc/meminfo: memFree=1508224/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=17068 CPUtime=1.49
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 20214 0 0 0 132 17 0 0 19 0 1 0 2811519 17477632 3028 1992294400 4194304 9819077 140734899156656 18446744073709551615 5955584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 4267 3028 723 1374 0 2888 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17068
[startup+3.1008 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 10046
/proc/meminfo: memFree=1507976/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=26056 CPUtime=3.09
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 40413 0 0 0 270 39 0 0 23 0 1 0 2811519 26681344 4705 1992294400 4194304 9819077 140734899156656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 6514 4705 724 1374 0 5135 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26056
[startup+6.30127 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 10046
/proc/meminfo: memFree=1507480/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=18624 CPUtime=6.29
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 69727 0 0 0 555 74 0 0 25 0 1 0 2811519 19070976 3349 1992294400 4194304 9819077 140734899156656 18446744073709551615 4948327 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 4656 3349 724 1374 0 3277 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18624
[startup+12.7012 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 10046
/proc/meminfo: memFree=1504504/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=21596 CPUtime=12.69
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 122125 0 0 0 1130 139 0 0 25 0 1 0 2811519 22114304 4135 1992294400 4194304 9819077 140734899156656 18446744073709551615 4948426 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 5399 4135 724 1374 0 4020 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21596
[startup+25.5011 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 10046
/proc/meminfo: memFree=1499172/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=25824 CPUtime=25.48
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 231120 0 0 0 2271 277 0 0 25 0 1 0 2811519 26443776 5243 1992294400 4194304 9819077 140734899156656 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 6496 5244 724 1374 0 5117 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25824
[startup+51.1008 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 10048
/proc/meminfo: memFree=1489252/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=36632 CPUtime=51.08
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 450008 0 0 0 4558 550 0 0 25 0 1 0 2811519 37511168 7930 1992294400 4194304 9819077 140734899156656 18446744073709551615 4978478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 9158 7930 724 1374 0 7779 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 36632
[startup+102.308 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10048
/proc/meminfo: memFree=1465568/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=60844 CPUtime=102.27
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 866811 0 0 0 9135 1092 0 0 25 0 1 0 2811519 62304256 13669 1992294400 4194304 9819077 140734899156656 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 15211 13669 724 1374 0 13832 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 60844
[startup+162.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10050
/proc/meminfo: memFree=1445108/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=81056 CPUtime=162.24
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 1352779 0 0 0 14504 1720 0 0 25 0 1 0 2811519 83001344 18839 1992294400 4194304 9819077 140734899156656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 20264 18839 724 1374 0 18885 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 81056
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10052
/proc/meminfo: memFree=1423904/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=101424 CPUtime=222.22
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 1829930 0 0 0 19863 2359 0 0 25 0 1 0 2811519 103858176 24039 1992294400 4194304 9819077 140734899156656 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 25236 24035 724 1374 0 23857 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 101424
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10054
/proc/meminfo: memFree=1407660/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=117736 CPUtime=282.21
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 2306923 0 0 0 25233 2988 0 0 25 0 1 0 2811519 120561664 28214 1992294400 4194304 9819077 140734899156656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 29434 28214 724 1374 0 28055 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 117736
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10056
/proc/meminfo: memFree=1388812/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=135668 CPUtime=342.19
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 2801592 0 0 0 30566 3653 0 0 25 0 1 0 2811519 138924032 32765 1992294400 4194304 9819077 140734899156656 18446744073709551615 6210122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 33917 32765 724 1374 0 32538 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 135668
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10056
/proc/meminfo: memFree=1371080/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=157056 CPUtime=402.17
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 3305332 0 0 0 35905 4312 0 0 25 0 1 0 2811519 160825344 37176 1992294400 4194304 9819077 140734899156656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 39264 37176 724 1374 0 37885 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 157056
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10058
/proc/meminfo: memFree=1354216/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=172700 CPUtime=462.15
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 3779621 0 0 0 41278 4937 0 0 25 0 1 0 2811519 176844800 41385 1992294400 4194304 9819077 140734899156656 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 43295 41387 724 1374 0 41916 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 172700
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10060
/proc/meminfo: memFree=1337600/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=189208 CPUtime=522.14
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 4253121 0 0 0 46659 5555 0 0 25 0 1 0 2811519 193748992 45469 1992294400 4194304 9819077 140734899156656 18446744073709551615 7816439 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 47302 45469 724 1374 0 45923 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 189208
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10062
/proc/meminfo: memFree=1319248/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=206740 CPUtime=582.12
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 4729703 0 0 0 52024 6188 0 0 25 0 1 0 2811519 211701760 49923 1992294400 4194304 9819077 140734899156656 18446744073709551615 4981165 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 51685 49923 724 1374 0 50306 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 206740
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10064
/proc/meminfo: memFree=1311684/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=214572 CPUtime=642.11
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 5252761 0 0 0 57335 6876 0 0 25 0 1 0 2811519 219721728 51929 1992294400 4194304 9819077 140734899156656 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 53643 51929 725 1374 0 52264 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 214572
[startup+702.301 s]
################
# More data... #
################
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 8089242 0 0 0 89529 10670 0 0 25 0 1 0 2811519 311271424 74746 1992294400 4194304 9819077 140734899156656 18446744073709551615 4978973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 75994 74746 725 1374 0 74615 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 303976
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10077
/proc/meminfo: memFree=1203556/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=319444 CPUtime=1061.98
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 8559562 0 0 0 94909 11289 0 0 25 0 1 0 2811519 327110656 78706 1992294400 4194304 9819077 140734899156656 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 79861 78706 725 1374 0 78482 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 319444
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10079
/proc/meminfo: memFree=1188800/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=342132 CPUtime=1121.95
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 9026905 0 0 0 100285 11910 0 0 25 0 1 0 2811519 350343168 82391 1992294400 4194304 9819077 140734899156656 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 85373 82386 725 1374 0 83994 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 342132
[startup+1182.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 10081
/proc/meminfo: memFree=1170076/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=360888 CPUtime=1181.94
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 9499269 0 0 0 105657 12537 0 0 25 0 1 0 2811519 369549312 87200 1992294400 4194304 9819077 140734899156656 18446744073709551615 4978436 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 90222 87200 725 1374 0 88843 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 360888
[startup+1242.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 10083
/proc/meminfo: memFree=1152716/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=377148 CPUtime=1241.93
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 9971249 0 0 0 111021 13172 0 0 25 0 1 0 2811519 386199552 91350 1992294400 4194304 9819077 140734899156656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 94287 91350 725 1374 0 92908 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 377148
[startup+1302.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 10083
/proc/meminfo: memFree=1132628/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=396424 CPUtime=1301.91
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 10448435 0 0 0 116401 13790 0 0 25 0 1 0 2811519 405938176 96342 1992294400 4194304 9819077 140734899156656 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 99146 96342 725 1374 0 97767 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 396424
[startup+1362.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 10085
/proc/meminfo: memFree=1119856/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=409096 CPUtime=1361.88
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 10921607 0 0 0 121752 14436 0 0 25 0 1 0 2811519 418914304 99528 1992294400 4194304 9819077 140734899156656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 102274 99528 725 1374 0 100895 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 409096
[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10087
/proc/meminfo: memFree=1105968/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=422592 CPUtime=1421.87
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 11393707 0 0 0 127125 15062 0 0 25 0 1 0 2811519 432734208 102979 1992294400 4194304 9819077 140734899156656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 105648 102979 725 1374 0 104269 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 422592
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10089
/proc/meminfo: memFree=1088236/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=439808 CPUtime=1481.85
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 11865155 0 0 0 132473 15712 0 0 25 0 1 0 2811519 450363392 107367 1992294400 4194304 9819077 140734899156656 18446744073709551615 7476432 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 109952 107367 725 1374 0 108573 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 439808
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10091
/proc/meminfo: memFree=1073728/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=453160 CPUtime=1541.84
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 12338308 0 0 0 137845 16339 0 0 25 0 1 0 2811519 464035840 110843 1992294400 4194304 9819077 140734899156656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 113290 110843 725 1374 0 111911 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 453160
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10091
/proc/meminfo: memFree=1065420/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=461764 CPUtime=1601.82
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 12834652 0 0 0 143189 16993 0 0 25 0 1 0 2811519 472846336 113019 1992294400 4194304 9819077 140734899156656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 115441 113019 725 1374 0 114062 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 461764
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10093
/proc/meminfo: memFree=1052524/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=474396 CPUtime=1661.8
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 13308930 0 0 0 148549 17631 0 0 25 0 1 0 2811519 485781504 116257 1992294400 4194304 9819077 140734899156656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 118599 116257 725 1374 0 117220 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 474396
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10095
/proc/meminfo: memFree=1044092/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=481928 CPUtime=1721.78
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 13786358 0 0 0 153916 18262 0 0 25 0 1 0 2811519 493494272 118194 1992294400 4194304 9819077 140734899156656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 120482 118194 725 1374 0 119103 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 481928
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10097
/proc/meminfo: memFree=1036652/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=489908 CPUtime=1781.76
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 14263274 0 0 0 159278 18898 0 0 25 0 1 0 2811519 501665792 120209 1992294400 4194304 9819077 140734899156656 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 122477 120209 725 1374 0 121098 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 489908
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10097
/proc/meminfo: memFree=1032312/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=493648 CPUtime=1800.07
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 14410076 0 0 0 160915 19092 0 0 25 0 1 0 2811519 505495552 121183 1992294400 4194304 9819077 140734899156656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10045/statm: 123212 121179 725 1374 0 121833 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 493648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -10045
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10097
/proc/meminfo: memFree=1032312/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=493648 CPUtime=1800.86
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 14410087 0 0 0 160994 19092 0 0 25 0 1 0 2811519 505495552 121184 1992294400 4194304 9819077 140734899156656 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10045/statm: 123412 121184 726 1374 0 122033 0
Current children cumulated CPU time (s) 1800.86
Current children cumulated vsize (KiB) 493648
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10098
/proc/meminfo: memFree=1032304/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=493648 CPUtime=1801.66
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 14410087 0 0 0 161074 19092 0 0 25 0 1 0 2811519 505495552 121184 1992294400 4194304 9819077 140734899156656 18446744073709551615 4616598 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10045/statm: 123412 121184 726 1374 0 122033 0
Current children cumulated CPU time (s) 1801.66
Current children cumulated vsize (KiB) 493648
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10098
/proc/meminfo: memFree=1032304/2059040 swapFree=4192956/4192956
[pid=10045] ppid=10043 vsize=493648 CPUtime=1802.06
/proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 14410087 0 0 0 161114 19092 0 0 25 0 1 0 2811519 505495552 121184 1992294400 4194304 9819077 140734899156656 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10045/statm: 123412 121184 726 1374 0 122033 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 493648
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.66
CPU time (s): 1802.13
CPU user time (s): 1611.16
CPU system time (s): 190.971
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 493648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1611.16
system time used= 190.971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14410087
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= 3
involuntary context switches= 3247
runsolver used 3.18552 second user time and 8.32373 second system time
The end