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-2665664-1276616201.opb>
0.00/0.01 c original problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 10 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.01 c (round 1) 0 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (0.0s) probing: 101/120 (84.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (2 rounds):
0.00/0.02 c 0 deleted vars, 5 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.02 c 5 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 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.02 c 0.0s| 1 | 0 | 23 | - | 422k| 0 | 5 | 120 | 5 | 120 | 5 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 o 996
0.09/0.10 c y 0.1s| 1 | 0 | 23 | - | 456k| 0 | 5 | 120 | 5 | 120 | 5 | 0 | 0 | 0 | 0.000000e+00 | 9.960000e+02 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 29 | - | 585k| 0 | 10 | 120 | 92 | 120 | 11 | 6 | 0 | 0 | 0.000000e+00 | 9.960000e+02 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 36 | - | 629k| 0 | 10 | 120 | 92 | 120 | 16 | 11 | 0 | 0 | 0.000000e+00 | 9.960000e+02 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 43 | - | 683k| 0 | 11 | 120 | 92 | 120 | 22 | 17 | 0 | 0 | 0.000000e+00 | 9.960000e+02 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 48 | - | 727k| 0 | 11 | 120 | 92 | 120 | 27 | 22 | 0 | 0 | 0.000000e+00 | 9.960000e+02 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 53 | - | 773k| 0 | 14 | 120 | 92 | 120 | 30 | 25 | 0 | 0 | 0.000000e+00 | 9.960000e+02 | Inf
0.09/0.17 c 0.1s| 1 | 0 | 59 | - | 786k| 0 | 12 | 120 | 92 | 120 | 32 | 27 | 0 | 0 | 0.000000e+00 | 9.960000e+02 | Inf
0.19/0.21 c 0.2s| 1 | 2 | 59 | - | 787k| 0 | 12 | 120 | 92 | 120 | 32 | 27 | 0 | 9 | 0.000000e+00 | 9.960000e+02 | Inf
0.19/0.27 o 198
0.19/0.27 c c 0.2s| 25 | 26 | 189 | 5.4 | 824k| 24 | - | 120 | 92 | 120 | 12 | 27 | 0 | 117 | 0.000000e+00 | 1.980000e+02 | Inf
0.29/0.34 o 80
0.29/0.34 c s 0.3s| 68 | 63 | 383 | 4.8 | 839k| 31 | 5 | 120 | 92 | 120 | 12 | 27 | 1 | 206 | 0.000000e+00 | 8.000000e+01 | Inf
0.29/0.36 o 78
0.29/0.36 c * 0.3s| 80 | 75 | 420 | 4.6 | 850k| 31 | - | 120 | 91 | 120 | 12 | 27 | 1 | 230 | 0.000000e+00 | 7.800000e+01 | Inf
0.59/0.66 o 77
0.59/0.66 c l 0.5s| 402 | 377 | 1891 | 4.6 |1041k| 33 | - | 120 | 110 | 120 | 12 | 27 | 34 | 372 | 0.000000e+00 | 7.700000e+01 | Inf
0.59/0.66 o 75
0.59/0.66 c g 0.5s| 402 | 373 | 1891 | 4.6 |1040k| 33 | - | 120 | 110 | 120 | 12 | 27 | 34 | 372 | 0.000000e+00 | 7.500000e+01 | Inf
1.19/1.27 o 58
1.19/1.27 c c 1.0s| 1020 | 938 | 5440 | 5.3 |1330k| 33 | - | 120 | 120 | 120 | 12 | 27 | 85 | 476 | 0.000000e+00 | 5.800000e+01 | Inf
1.29/1.30 o 57
1.29/1.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.29/1.30 c p 1.1s| 1050 | 968 | 5572 | 5.3 |1344k| 33 | - | 120 | 35 | 120 | 12 | 27 | 89 | 481 | 0.000000e+00 | 5.700000e+01 | Inf
1.59/1.60 o 56
1.59/1.60 c * 1.3s| 1423 | 1323 | 7668 | 5.4 |1496k| 33 | - | 120 | 43 | 120 | 12 | 27 | 121 | 506 | 0.000000e+00 | 5.600000e+01 | Inf
1.69/1.70 o 55
1.69/1.70 c * 1.4s| 1535 | 1411 | 8371 | 5.4 |1548k| 36 | - | 120 | 48 | 120 | 12 | 27 | 137 | 518 | 0.000000e+00 | 5.500000e+01 | Inf
1.79/1.80 o 32
1.79/1.80 c g 1.5s| 1670 | 1374 | 9103 | 5.4 |1541k| 36 | - | 120 | 53 | 120 | 12 | 27 | 154 | 519 | 0.000000e+00 | 3.200000e+01 | Inf
2.49/2.55 o 31
2.49/2.55 c v 2.1s| 2375 | 1983 | 14463 | 6.1 |1808k| 36 | - | 120 | 71 | 120 | 12 | 27 | 260 | 538 | 0.000000e+00 | 3.100000e+01 | Inf
3.39/3.45 o 29
3.39/3.45 c p 2.9s| 3128 | 2614 | 20607 | 6.6 |2097k| 36 | - | 120 | 96 | 120 | 12 | 27 | 440 | 553 | 0.000000e+00 | 2.900000e+01 | Inf
3.39/3.45 o 27
3.39/3.45 c l 2.9s| 3128 | 2589 | 20607 | 6.6 |2084k| 36 | - | 120 | 96 | 120 | 12 | 27 | 443 | 553 | 0.000000e+00 | 2.700000e+01 | Inf
4.89/4.91 o 25
4.89/4.91 c * 4.1s| 4277 | 3519 | 30324 | 7.1 |2502k| 36 | - | 120 | 116 | 120 | 12 | 27 | 688 | 592 | 0.000000e+00 | 2.500000e+01 | Inf
6.49/6.53 o 24
6.49/6.53 c * 5.5s| 5807 | 4663 | 41028 | 7.1 |3051k| 36 | - | 120 | 116 | 120 | 12 | 27 | 953 | 680 | 0.000000e+00 | 2.400000e+01 | Inf
6.60/6.67 o 22
6.60/6.67 c v 5.6s| 5970 | 4739 | 41821 | 7.0 |3085k| 36 | - | 120 | 116 | 120 | 12 | 27 | 975 | 685 | 0.000000e+00 | 2.200000e+01 | Inf
6.60/6.67 o 20
6.60/6.67 c l 5.6s| 5970 | 4663 | 41821 | 7.0 |3033k| 36 | - | 120 | 116 | 120 | 12 | 27 | 976 | 685 | 0.000000e+00 | 2.000000e+01 | Inf
6.89/6.97 o 19
6.89/6.97 c c 5.9s| 6307 | 4844 | 43947 | 7.0 |3131k| 36 | - | 120 | 120 | 120 | 12 | 27 |1021 | 689 | 0.000000e+00 | 1.900000e+01 | Inf
7.39/7.42 o 9
7.39/7.42 c g 6.2s| 6761 | 4439 | 46921 | 6.9 |2865k| 36 | - | 120 | 120 | 120 | 12 | 27 |1086 | 716 | 0.000000e+00 | 9.000000e+00 | Inf
9.79/9.85 c 8.3s| 10000 | 5993 | 64015 | 6.4 |3520k| 36 | 5 | 120 | 168 | 120 | 12 | 27 |1436 | 915 | 0.000000e+00 | 9.000000e+00 | Inf
15.49/15.55 c 13.3s| 20000 | 8592 |104846 | 5.2 |5022k| 36 | 5 | 120 | 244 | 120 | 12 | 27 |2339 |1263 | 0.000000e+00 | 9.000000e+00 | Inf
20.68/20.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.68/20.75 c 17.8s| 30000 | 9461 |140039 | 4.7 |5752k| 36 | 5 | 120 | 264 | 120 | 12 | 27 |3095 |1621 | 0.000000e+00 | 9.000000e+00 | Inf
25.78/25.83 c 22.1s| 40000 | 9548 |175792 | 4.4 |6019k| 36 | - | 120 | 264 | 120 | 12 | 27 |3736 |1968 | 0.000000e+00 | 9.000000e+00 | Inf
26.98/27.02 o 8
26.98/27.02 c *23.1s| 42243 | 9691 |184121 | 4.4 |6137k| 36 | - | 120 | 264 | 120 | 12 | 27 |3901 |2060 | 0.000000e+00 | 8.000000e+00 | Inf
30.79/30.82 c 26.3s| 50000 | 10740 |210960 | 4.2 |6826k| 36 | 5 | 120 | 317 | 120 | 12 | 27 |4480 |2208 | 0.000000e+00 | 8.000000e+00 | Inf
35.68/35.75 c 30.5s| 60000 | 11395 |246991 | 4.1 |7397k| 36 | 5 | 120 | 361 | 120 | 12 | 27 |5248 |2428 | 0.000000e+00 | 8.000000e+00 | Inf
40.59/40.66 c 34.6s| 70000 | 11741 |282010 | 4.0 |7837k| 36 | 5 | 120 | 374 | 120 | 12 | 27 |6044 |2594 | 0.000000e+00 | 8.000000e+00 | Inf
44.68/44.73 o 7
44.68/44.73 c *37.9s| 78341 | 11739 |312796 | 4.0 |7883k| 36 | - | 120 | 372 | 120 | 12 | 27 |6579 |2737 | 0.000000e+00 | 7.000000e+00 | Inf
44.68/44.74 o 5
44.68/44.74 c *37.9s| 78342 | 11344 |312796 | 4.0 |7338k| 36 | - | 120 | 372 | 120 | 12 | 27 |6579 |2737 | 0.000000e+00 | 5.000000e+00 | Inf
45.48/45.58 c 38.6s| 80000 | 11250 |319341 | 4.0 |7297k| 36 | - | 120 | 363 | 120 | 12 | 27 |6675 |2793 | 0.000000e+00 | 5.000000e+00 | Inf
50.27/50.36 c 42.5s| 90000 | 11189 |357641 | 4.0 |7346k| 36 | - | 120 | 412 | 120 | 12 | 27 |7192 |2973 | 0.000000e+00 | 5.000000e+00 | Inf
55.07/55.15 c 46.6s|100000 | 10991 |393821 | 3.9 |7265k| 36 | - | 120 | 379 | 120 | 12 | 27 |7650 |3158 | 0.000000e+00 | 5.000000e+00 | Inf
59.87/59.93 c 50.5s|110000 | 10766 |429192 | 3.9 |7153k| 36 | - | 120 | 383 | 120 | 12 | 27 |8223 |3347 | 0.000000e+00 | 5.000000e+00 | Inf
60.17/60.28 o 4
60.17/60.28 c *50.8s|110705 | 10359 |431699 | 3.9 |6698k| 36 | - | 120 | 375 | 120 | 12 | 27 |8256 |3364 | 0.000000e+00 | 4.000000e+00 | Inf
64.48/64.56 c 54.3s|120000 | 10098 |463923 | 3.9 |6568k| 36 | - | 120 | 407 | 120 | 12 | 27 |8906 |3479 | 0.000000e+00 | 4.000000e+00 | Inf
69.07/69.15 c 58.1s|130000 | 9734 |498566 | 3.8 |6329k| 36 | 5 | 120 | 404 | 120 | 12 | 27 |9621 |3592 | 0.000000e+00 | 4.000000e+00 | Inf
73.68/73.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.68/73.74 c 61.9s|140000 | 9375 |532961 | 3.8 |6031k| 36 | 5 | 120 | 313 | 120 | 12 | 27 | 10k|3716 | 0.000000e+00 | 4.000000e+00 | Inf
78.27/78.30 c 65.6s|150000 | 9263 |567803 | 3.8 |5966k| 37 | 5 | 120 | 356 | 120 | 12 | 27 | 11k|3860 | 0.000000e+00 | 4.000000e+00 | Inf
82.76/82.89 c 69.4s|160000 | 9100 |603198 | 3.8 |5834k| 37 | 5 | 120 | 318 | 120 | 12 | 27 | 11k|3984 | 0.000000e+00 | 4.000000e+00 | Inf
87.36/87.40 c 73.2s|170000 | 9185 |637745 | 3.8 |5845k| 37 | 5 | 120 | 326 | 120 | 12 | 27 | 12k|4075 | 0.000000e+00 | 4.000000e+00 | Inf
91.86/91.96 c 76.8s|180000 | 8986 |673627 | 3.7 |5746k| 37 | 5 | 120 | 357 | 120 | 12 | 27 | 13k|4224 | 0.000000e+00 | 4.000000e+00 | Inf
96.46/96.52 c 80.6s|190000 | 9007 |708618 | 3.7 |5766k| 37 | - | 120 | 358 | 120 | 12 | 27 | 13k|4322 | 0.000000e+00 | 4.000000e+00 | Inf
100.96/101.06 c 84.3s|200000 | 8948 |745605 | 3.7 |5836k| 37 | - | 120 | 425 | 120 | 12 | 27 | 14k|4435 | 0.000000e+00 | 4.000000e+00 | Inf
105.57/105.67 c 88.1s|210000 | 9167 |782329 | 3.7 |5968k| 37 | - | 120 | 461 | 120 | 12 | 27 | 15k|4526 | 0.000000e+00 | 4.000000e+00 | Inf
111.96/112.05 c 93.2s|220000 | 9227 |816972 | 3.7 |6089k| 37 | - | 120 | 455 | 120 | 12 | 27 | 15k|4631 | 0.000000e+00 | 4.000000e+00 | Inf
116.46/116.55 c 96.9s|230000 | 8811 |851291 | 3.7 |5683k| 37 | - | 120 | 412 | 120 | 12 | 27 | 16k|4731 | 0.000000e+00 | 4.000000e+00 | Inf
121.15/121.29 c 101s|240000 | 9922 |888573 | 3.7 |6369k| 37 | - | 120 | 461 | 120 | 12 | 27 | 17k|4826 | 0.000000e+00 | 4.000000e+00 | Inf
125.65/125.79 c 104s|250000 | 9836 |923113 | 3.7 |6481k| 37 | 5 | 120 | 408 | 120 | 12 | 27 | 17k|4937 | 0.000000e+00 | 4.000000e+00 | Inf
130.15/130.28 c 108s|260000 | 9602 |957161 | 3.7 |6428k| 37 | 5 | 120 | 399 | 120 | 12 | 27 | 18k|5057 | 0.000000e+00 | 4.000000e+00 | Inf
134.75/134.85 c 112s|270000 | 9586 |992426 | 3.7 |6505k| 37 | 5 | 120 | 435 | 120 | 12 | 27 | 19k|5138 | 0.000000e+00 | 4.000000e+00 | Inf
139.25/139.38 c 116s|280000 | 9519 | 1026k| 3.7 |6509k| 37 | 5 | 120 | 478 | 120 | 12 | 27 | 19k|5238 | 0.000000e+00 | 4.000000e+00 | Inf
143.74/143.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.74/143.87 c 119s|290000 | 9347 | 1061k| 3.7 |6432k| 37 | - | 120 | 455 | 120 | 12 | 27 | 20k|5333 | 0.000000e+00 | 4.000000e+00 | Inf
148.36/148.45 c 123s|300000 | 9839 | 1098k| 3.7 |6800k| 37 | 5 | 120 | 499 | 120 | 12 | 27 | 21k|5417 | 0.000000e+00 | 4.000000e+00 | Inf
152.94/153.01 c 127s|310000 | 9730 | 1133k| 3.7 |6841k| 37 | 5 | 120 | 474 | 120 | 12 | 27 | 21k|5529 | 0.000000e+00 | 4.000000e+00 | Inf
157.44/157.54 c 131s|320000 | 9476 | 1167k| 3.6 |6676k| 37 | - | 120 | 437 | 120 | 12 | 27 | 22k|5601 | 0.000000e+00 | 4.000000e+00 | Inf
161.94/162.08 c 134s|330000 | 9598 | 1202k| 3.6 |6654k| 37 | 5 | 120 | 454 | 120 | 12 | 27 | 23k|5691 | 0.000000e+00 | 4.000000e+00 | Inf
166.45/166.54 c 138s|340000 | 9681 | 1236k| 3.6 |6853k| 37 | - | 120 | 458 | 0 | 0 | 27 | 23k|5759 | 0.000000e+00 | 4.000000e+00 | Inf
170.84/170.94 c 142s|350000 | 9676 | 1269k| 3.6 |6898k| 37 | - | 120 | 455 | 0 | 0 | 27 | 24k|5829 | 0.000000e+00 | 4.000000e+00 | Inf
175.24/175.32 c 145s|360000 | 9194 | 1301k| 3.6 |6503k| 37 | - | 120 | 455 | 120 | 12 | 27 | 25k|5908 | 0.000000e+00 | 4.000000e+00 | Inf
179.74/179.86 c 149s|370000 | 9076 | 1337k| 3.6 |6440k| 37 | - | 120 | 505 | 120 | 12 | 27 | 25k|5993 | 0.000000e+00 | 4.000000e+00 | Inf
184.34/184.44 c 153s|380000 | 9445 | 1374k| 3.6 |6724k| 37 | - | 120 | 459 | 120 | 12 | 27 | 26k|6073 | 0.000000e+00 | 4.000000e+00 | Inf
188.83/188.94 c 156s|390000 | 9868 | 1411k| 3.6 |7054k| 37 | - | 120 | 481 | 120 | 12 | 27 | 26k|6149 | 0.000000e+00 | 4.000000e+00 | Inf
193.33/193.45 c 160s|400000 | 10015 | 1446k| 3.6 |7261k| 37 | - | 120 | 459 | 120 | 12 | 27 | 27k|6227 | 0.000000e+00 | 4.000000e+00 | Inf
197.84/197.97 c 164s|410000 | 9675 | 1481k| 3.6 |7135k| 37 | 5 | 120 | 454 | 120 | 12 | 27 | 28k|6297 | 0.000000e+00 | 4.000000e+00 | Inf
202.24/202.40 c 167s|420000 | 9466 | 1515k| 3.6 |7029k| 37 | 5 | 120 | 414 | 120 | 12 | 27 | 28k|6354 | 0.000000e+00 | 4.000000e+00 | Inf
206.74/206.89 c 171s|430000 | 9211 | 1551k| 3.6 |6823k| 37 | 5 | 120 | 393 | 120 | 12 | 27 | 29k|6416 | 0.000000e+00 | 4.000000e+00 | Inf
211.33/211.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
211.33/211.45 c 175s|440000 | 9640 | 1588k| 3.6 |6992k| 37 | 5 | 120 | 413 | 120 | 12 | 27 | 30k|6479 | 0.000000e+00 | 4.000000e+00 | Inf
215.83/215.99 c 179s|450000 | 10279 | 1624k| 3.6 |7490k| 37 | 5 | 120 | 413 | 120 | 12 | 27 | 30k|6542 | 0.000000e+00 | 4.000000e+00 | Inf
220.32/220.47 c 182s|460000 | 10280 | 1658k| 3.6 |7657k| 37 | - | 120 | 442 | 120 | 12 | 27 | 31k|6599 | 0.000000e+00 | 4.000000e+00 | Inf
220.93/221.04 o 3
220.93/221.04 c * 183s|461200 | 9860 | 1662k| 3.6 |6998k| 37 | - | 120 | 437 | 120 | 12 | 27 | 31k|6607 | 0.000000e+00 | 3.000000e+00 | Inf
225.43/225.51 c 186s|470000 | 9598 | 1691k| 3.6 |6889k| 37 | 5 | 120 | 449 | 120 | 12 | 27 | 32k|6668 | 0.000000e+00 | 3.000000e+00 | Inf
229.73/229.86 c 190s|480000 | 9580 | 1725k| 3.6 |6965k| 37 | 5 | 120 | 521 | 120 | 12 | 27 | 32k|6732 | 0.000000e+00 | 3.000000e+00 | Inf
234.23/234.34 c 194s|490000 | 9140 | 1759k| 3.6 |6640k| 37 | - | 120 | 488 | 120 | 12 | 27 | 33k|6855 | 0.000000e+00 | 3.000000e+00 | Inf
238.62/238.73 c 197s|500000 | 8679 | 1792k| 3.6 |6157k| 37 | 5 | 120 | 504 | 120 | 12 | 27 | 34k|6948 | 0.000000e+00 | 3.000000e+00 | Inf
243.22/243.35 c 201s|510000 | 9387 | 1829k| 3.6 |6472k| 37 | 5 | 120 | 552 | 120 | 12 | 27 | 34k|7059 | 0.000000e+00 | 3.000000e+00 | Inf
247.62/247.79 c 205s|520000 | 9252 | 1863k| 3.6 |6522k| 37 | 5 | 120 | 567 | 120 | 12 | 27 | 35k|7159 | 0.000000e+00 | 3.000000e+00 | Inf
252.12/252.24 c 208s|530000 | 8841 | 1896k| 3.6 |6293k| 37 | - | 120 | 537 | 120 | 12 | 27 | 36k|7294 | 0.000000e+00 | 3.000000e+00 | Inf
256.61/256.74 c 212s|540000 | 8519 | 1931k| 3.6 |5908k| 37 | 5 | 120 | 543 | 120 | 12 | 27 | 36k|7432 | 0.000000e+00 | 3.000000e+00 | Inf
261.11/261.21 c 216s|550000 | 8816 | 1964k| 3.6 |6208k| 37 | 5 | 120 | 645 | 120 | 12 | 27 | 37k|7559 | 0.000000e+00 | 3.000000e+00 | Inf
265.61/265.73 c 220s|560000 | 9083 | 1998k| 3.6 |6141k| 37 | 5 | 120 | 583 | 120 | 12 | 27 | 38k|7650 | 0.000000e+00 | 3.000000e+00 | Inf
270.11/270.25 c 223s|570000 | 10073 | 2034k| 3.6 |6785k| 37 | - | 120 | 576 | 120 | 12 | 27 | 38k|7747 | 0.000000e+00 | 3.000000e+00 | Inf
274.51/274.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
274.51/274.66 c 227s|580000 | 10337 | 2068k| 3.6 |7094k| 37 | 5 | 120 | 588 | 120 | 12 | 27 | 39k|7869 | 0.000000e+00 | 3.000000e+00 | Inf
278.90/279.06 c 230s|590000 | 10436 | 2103k| 3.6 |7277k| 37 | - | 120 | 552 | 120 | 12 | 27 | 39k|7951 | 0.000000e+00 | 3.000000e+00 | Inf
283.31/283.47 c 234s|600000 | 10150 | 2138k| 3.6 |7207k| 37 | - | 120 | 517 | 120 | 12 | 27 | 40k|8064 | 0.000000e+00 | 3.000000e+00 | Inf
287.71/287.83 c 238s|610000 | 9866 | 2171k| 3.6 |7113k| 37 | 5 | 120 | 558 | 120 | 12 | 27 | 40k|8163 | 0.000000e+00 | 3.000000e+00 | Inf
292.11/292.20 c 241s|620000 | 9370 | 2204k| 3.6 |6806k| 37 | 5 | 120 | 541 | 120 | 12 | 27 | 41k|8264 | 0.000000e+00 | 3.000000e+00 | Inf
296.51/296.60 c 245s|630000 | 9056 | 2238k| 3.6 |6559k| 37 | 5 | 120 | 520 | 120 | 12 | 27 | 42k|8391 | 0.000000e+00 | 3.000000e+00 | Inf
300.80/300.98 c 248s|640000 | 8905 | 2273k| 3.6 |6473k| 37 | - | 120 | 554 | 0 | 0 | 27 | 42k|8482 | 0.000000e+00 | 3.000000e+00 | Inf
305.29/305.40 c 252s|650000 | 8425 | 2308k| 3.6 |5922k| 37 | 5 | 120 | 490 | 120 | 12 | 27 | 43k|8612 | 0.000000e+00 | 3.000000e+00 | Inf
309.70/309.85 c 256s|660000 | 8744 | 2344k| 3.6 |6002k| 37 | 5 | 120 | 505 | 120 | 12 | 27 | 43k|8712 | 0.000000e+00 | 3.000000e+00 | Inf
314.20/314.31 c 259s|670000 | 8961 | 2380k| 3.6 |6224k| 37 | - | 120 | 504 | 120 | 12 | 27 | 43k|8804 | 0.000000e+00 | 3.000000e+00 | Inf
318.49/318.68 c 263s|680000 | 8698 | 2415k| 3.6 |6086k| 37 | - | 120 | 494 | 120 | 12 | 27 | 44k|8898 | 0.000000e+00 | 3.000000e+00 | Inf
322.90/323.05 c 266s|690000 | 8702 | 2450k| 3.6 |6037k| 37 | 5 | 120 | 505 | 120 | 12 | 27 | 44k|8991 | 0.000000e+00 | 3.000000e+00 | Inf
327.20/327.34 c 270s|700000 | 8239 | 2483k| 3.5 |5587k| 37 | - | 120 | 501 | 0 | 0 | 27 | 45k|9105 | 0.000000e+00 | 3.000000e+00 | Inf
331.89/332.03 c 274s|710000 | 8741 | 2524k| 3.6 |5528k| 37 | 5 | 120 | 450 | 120 | 12 | 27 | 45k|9202 | 0.000000e+00 | 3.000000e+00 | Inf
336.50/336.64 c 278s|720000 | 9752 | 2565k| 3.6 |6206k| 37 | 5 | 120 | 455 | 120 | 12 | 27 | 46k|9275 | 0.000000e+00 | 3.000000e+00 | Inf
341.19/341.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
341.19/341.31 c 282s|730000 | 10873 | 2604k| 3.6 |6921k| 37 | 5 | 120 | 498 | 120 | 12 | 27 | 46k|9399 | 0.000000e+00 | 3.000000e+00 | Inf
345.69/345.84 c 285s|740000 | 11103 | 2643k| 3.6 |7209k| 37 | 5 | 120 | 457 | 120 | 12 | 27 | 47k|9509 | 0.000000e+00 | 3.000000e+00 | Inf
350.19/350.34 c 289s|750000 | 11111 | 2681k| 3.6 |7357k| 37 | - | 120 | 461 | 120 | 12 | 27 | 47k|9620 | 0.000000e+00 | 3.000000e+00 | Inf
354.79/354.95 c 293s|760000 | 11585 | 2718k| 3.6 |7705k| 37 | - | 120 | 481 | 120 | 12 | 27 | 48k|9769 | 0.000000e+00 | 3.000000e+00 | Inf
359.29/359.42 c 296s|770000 | 12448 | 2754k| 3.6 |8285k| 37 | 5 | 120 | 476 | 120 | 12 | 27 | 48k|9856 | 0.000000e+00 | 3.000000e+00 | Inf
363.69/363.85 c 300s|780000 | 12659 | 2789k| 3.6 |8583k| 37 | 5 | 120 | 460 | 120 | 12 | 27 | 48k|9973 | 0.000000e+00 | 3.000000e+00 | Inf
368.08/368.25 c 304s|790000 | 12685 | 2824k| 3.6 |8752k| 37 | 5 | 120 | 485 | 120 | 12 | 27 | 49k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
372.48/372.68 c 307s|800000 | 12997 | 2858k| 3.6 |9071k| 37 | - | 120 | 534 | 120 | 12 | 27 | 50k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
376.88/377.08 c 311s|810000 | 12861 | 2893k| 3.6 |9114k| 37 | - | 120 | 494 | 120 | 12 | 27 | 50k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
381.38/381.54 c 314s|820000 | 12616 | 2929k| 3.6 |9076k| 37 | - | 120 | 488 | 120 | 12 | 27 | 50k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
385.78/385.95 c 318s|830000 | 12722 | 2965k| 3.6 |9255k| 37 | - | 120 | 519 | 120 | 12 | 27 | 51k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
390.17/390.33 c 322s|840000 | 12640 | 3001k| 3.6 |9281k| 37 | 5 | 120 | 523 | 120 | 12 | 27 | 51k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
394.57/394.73 c 325s|850000 | 12469 | 3037k| 3.6 |9252k| 38 | 5 | 120 | 500 | 120 | 12 | 27 | 52k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
398.98/399.13 c 329s|860000 | 12294 | 3074k| 3.6 |9177k| 38 | - | 120 | 468 | 120 | 12 | 27 | 52k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
403.37/403.57 c 333s|870000 | 12177 | 3110k| 3.6 |9164k| 38 | 5 | 120 | 503 | 120 | 12 | 27 | 53k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
409.26/409.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
409.26/409.48 c 337s|880000 | 12019 | 3146k| 3.6 |9113k| 38 | - | 120 | 474 | 120 | 12 | 27 | 53k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
413.77/413.90 c 341s|890000 | 11432 | 3183k| 3.6 |8729k| 38 | 5 | 120 | 438 | 120 | 12 | 27 | 53k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
418.17/418.34 c 345s|900000 | 11261 | 3219k| 3.6 |8657k| 38 | 5 | 120 | 445 | 120 | 12 | 27 | 54k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
422.56/422.77 c 348s|910000 | 10964 | 3257k| 3.6 |8514k| 38 | 5 | 120 | 500 | 120 | 12 | 27 | 54k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
426.96/427.18 c 352s|920000 | 11011 | 3294k| 3.6 |8584k| 38 | - | 120 | 516 | 120 | 12 | 27 | 55k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
431.36/431.56 c 355s|930000 | 10833 | 3330k| 3.6 |8493k| 38 | - | 120 | 509 | 120 | 12 | 27 | 55k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
435.76/435.97 c 359s|940000 | 10648 | 3366k| 3.6 |8378k| 38 | - | 120 | 507 | 120 | 12 | 27 | 56k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
440.26/440.46 c 363s|950000 | 10496 | 3404k| 3.6 |8287k| 38 | 5 | 120 | 477 | 120 | 12 | 27 | 56k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
444.66/444.88 c 366s|960000 | 10176 | 3442k| 3.6 |8030k| 38 | - | 120 | 445 | 120 | 12 | 27 | 56k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
449.16/449.35 c 370s|970000 | 10488 | 3479k| 3.6 |8223k| 38 | 5 | 120 | 458 | 120 | 12 | 27 | 57k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
453.56/453.76 c 373s|980000 | 10474 | 3514k| 3.6 |8347k| 38 | - | 120 | 455 | 120 | 12 | 27 | 58k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
457.95/458.15 c 377s|990000 | 10470 | 3550k| 3.6 |8387k| 38 | - | 120 | 451 | 120 | 12 | 27 | 58k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
462.45/462.60 c 381s| 1000k| 10688 | 3588k| 3.6 |8657k| 38 | - | 120 | 439 | 120 | 12 | 27 | 58k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
466.75/466.98 c 384s| 1010k| 10758 | 3625k| 3.6 |8783k| 38 | - | 120 | 454 | 120 | 12 | 27 | 59k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
471.15/471.33 c 388s| 1020k| 10922 | 3661k| 3.6 |8955k| 38 | - | 120 | 433 | 120 | 12 | 27 | 59k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
475.55/475.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
475.55/475.72 c 391s| 1030k| 11005 | 3697k| 3.6 |9128k| 38 | 5 | 120 | 427 | 120 | 12 | 27 | 60k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
479.95/480.12 c 395s| 1040k| 10764 | 3733k| 3.6 |9013k| 38 | - | 120 | 414 | 120 | 12 | 27 | 60k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
484.34/484.58 c 399s| 1050k| 10660 | 3770k| 3.6 |8988k| 38 | - | 120 | 398 | 120 | 12 | 27 | 61k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
488.74/488.98 c 402s| 1060k| 10478 | 3806k| 3.6 |8859k| 38 | - | 120 | 402 | 120 | 12 | 27 | 61k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
493.34/493.56 c 406s| 1070k| 10895 | 3847k| 3.6 |9163k| 38 | - | 120 | 439 | 120 | 12 | 27 | 62k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
497.94/498.11 c 410s| 1080k| 10912 | 3887k| 3.6 |9301k| 38 | 5 | 120 | 422 | 120 | 12 | 27 | 62k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
502.44/502.60 c 413s| 1090k| 10678 | 3926k| 3.6 |9199k| 38 | 5 | 120 | 443 | 120 | 12 | 27 | 63k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
506.85/507.03 c 417s| 1100k| 10841 | 3963k| 3.6 |9399k| 38 | 5 | 120 | 458 | 120 | 12 | 27 | 63k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
511.25/511.50 c 421s| 1110k| 10615 | 4000k| 3.6 |9216k| 38 | 5 | 120 | 431 | 120 | 12 | 27 | 63k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
515.93/516.11 c 424s| 1120k| 11113 | 4036k| 3.6 |9592k| 38 | - | 120 | 481 | 120 | 12 | 27 | 64k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
520.43/520.67 c 428s| 1130k| 11692 | 4072k| 3.6 | 10M| 38 | - | 120 | 505 | 120 | 12 | 27 | 65k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
525.03/525.22 c 432s| 1140k| 12322 | 4107k| 3.6 | 10M| 38 | - | 120 | 482 | 0 | 0 | 27 | 65k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
529.74/529.90 c 436s| 1150k| 13947 | 4145k| 3.6 | 11M| 38 | 5 | 120 | 537 | 120 | 12 | 27 | 66k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
534.33/534.54 c 439s| 1160k| 15260 | 4183k| 3.6 | 12M| 38 | - | 120 | 522 | 120 | 12 | 27 | 67k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
538.93/539.18 c 443s| 1170k| 16849 | 4222k| 3.6 | 13M| 38 | 5 | 120 | 533 | 120 | 12 | 27 | 67k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
543.43/543.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
543.43/543.69 c 447s| 1180k| 17497 | 4260k| 3.6 | 13M| 38 | - | 120 | 493 | 120 | 12 | 27 | 68k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
547.92/548.13 c 451s| 1190k| 17785 | 4296k| 3.6 | 14M| 38 | - | 120 | 454 | 120 | 12 | 27 | 68k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
552.42/552.62 c 454s| 1200k| 18080 | 4333k| 3.6 | 14M| 38 | 5 | 120 | 437 | 120 | 12 | 27 | 68k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
556.92/557.10 c 458s| 1210k| 18374 | 4369k| 3.6 | 14M| 38 | 5 | 120 | 449 | 120 | 12 | 27 | 69k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
561.32/561.52 c 462s| 1220k| 18805 | 4405k| 3.6 | 15M| 38 | 5 | 120 | 483 | 120 | 12 | 27 | 70k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
565.82/566.02 c 465s| 1230k| 19360 | 4441k| 3.6 | 15M| 38 | - | 120 | 480 | 120 | 12 | 27 | 70k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
570.22/570.49 c 469s| 1240k| 19625 | 4477k| 3.6 | 16M| 38 | - | 120 | 470 | 120 | 12 | 27 | 71k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
574.72/574.98 c 473s| 1250k| 19748 | 4513k| 3.6 | 16M| 38 | - | 120 | 458 | 120 | 12 | 27 | 71k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
579.22/579.46 c 476s| 1260k| 19712 | 4549k| 3.6 | 16M| 38 | 5 | 120 | 458 | 120 | 12 | 27 | 72k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
583.72/583.96 c 480s| 1270k| 19894 | 4587k| 3.6 | 16M| 38 | - | 120 | 479 | 120 | 12 | 27 | 72k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
588.22/588.42 c 484s| 1280k| 20050 | 4622k| 3.6 | 17M| 38 | 5 | 120 | 456 | 120 | 12 | 27 | 73k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
592.82/593.03 c 487s| 1290k| 20035 | 4659k| 3.6 | 17M| 38 | - | 120 | 456 | 120 | 12 | 27 | 73k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
597.31/597.54 c 491s| 1300k| 20053 | 4695k| 3.6 | 17M| 38 | - | 120 | 426 | 0 | 0 | 27 | 74k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
601.81/602.01 c 495s| 1310k| 20433 | 4729k| 3.6 | 17M| 38 | 5 | 120 | 399 | 120 | 12 | 27 | 75k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
606.31/606.55 c 498s| 1320k| 20723 | 4769k| 3.6 | 18M| 38 | - | 120 | 433 | 120 | 12 | 27 | 75k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
610.90/611.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
610.90/611.12 c 502s| 1330k| 21442 | 4807k| 3.6 | 18M| 38 | 5 | 120 | 474 | 120 | 12 | 27 | 76k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
615.31/615.56 c 506s| 1340k| 21414 | 4844k| 3.6 | 19M| 38 | - | 120 | 473 | 120 | 12 | 27 | 76k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
619.91/620.11 c 510s| 1350k| 22398 | 4880k| 3.6 | 19M| 38 | 5 | 120 | 520 | 120 | 12 | 27 | 77k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
624.40/624.60 c 513s| 1360k| 22906 | 4917k| 3.6 | 20M| 38 | 5 | 120 | 518 | 120 | 12 | 27 | 77k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
628.91/629.17 c 517s| 1370k| 23471 | 4954k| 3.6 | 20M| 38 | 5 | 120 | 509 | 120 | 12 | 27 | 78k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
633.41/633.64 c 521s| 1380k| 23699 | 4990k| 3.6 | 21M| 38 | 5 | 120 | 510 | 120 | 12 | 27 | 78k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
637.90/638.13 c 524s| 1390k| 23369 | 5026k| 3.6 | 21M| 38 | - | 120 | 511 | 120 | 12 | 27 | 79k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
642.40/642.61 c 528s| 1400k| 23264 | 5062k| 3.6 | 21M| 38 | - | 120 | 542 | 120 | 12 | 27 | 80k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
646.89/647.17 c 532s| 1410k| 23344 | 5100k| 3.6 | 21M| 38 | 5 | 120 | 464 | 120 | 12 | 27 | 80k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
651.50/651.70 c 536s| 1420k| 24568 | 5136k| 3.6 | 22M| 38 | 5 | 120 | 478 | 120 | 12 | 27 | 81k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
655.99/656.21 c 539s| 1430k| 25228 | 5172k| 3.6 | 22M| 38 | - | 120 | 469 | 120 | 12 | 27 | 81k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
660.49/660.76 c 543s| 1440k| 26213 | 5209k| 3.6 | 23M| 38 | - | 120 | 467 | 120 | 12 | 27 | 82k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
664.99/665.24 c 547s| 1450k| 26917 | 5247k| 3.6 | 24M| 38 | 5 | 120 | 503 | 120 | 12 | 27 | 82k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
669.49/669.72 c 550s| 1460k| 27437 | 5284k| 3.6 | 24M| 38 | - | 120 | 483 | 120 | 12 | 27 | 83k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
673.99/674.20 c 554s| 1470k| 27728 | 5320k| 3.6 | 24M| 38 | 5 | 120 | 475 | 120 | 12 | 27 | 83k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
678.49/678.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
678.49/678.71 c 558s| 1480k| 28022 | 5357k| 3.6 | 25M| 38 | 5 | 120 | 462 | 120 | 12 | 27 | 84k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
682.98/683.28 c 561s| 1490k| 28655 | 5394k| 3.6 | 25M| 38 | 5 | 120 | 472 | 120 | 12 | 27 | 84k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
687.58/687.82 c 565s| 1500k| 29347 | 5431k| 3.6 | 26M| 38 | - | 120 | 470 | 120 | 12 | 27 | 85k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
692.08/692.31 c 569s| 1510k| 30068 | 5467k| 3.6 | 26M| 38 | - | 120 | 481 | 120 | 12 | 27 | 85k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
696.47/696.77 c 572s| 1520k| 30511 | 5503k| 3.6 | 27M| 38 | 5 | 120 | 510 | 120 | 12 | 27 | 86k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
701.07/701.32 c 576s| 1530k| 30932 | 5542k| 3.6 | 27M| 38 | 5 | 120 | 485 | 120 | 12 | 27 | 87k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
705.68/705.90 c 580s| 1540k| 31850 | 5579k| 3.6 | 28M| 38 | 5 | 120 | 428 | 120 | 12 | 27 | 87k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
710.17/710.45 c 584s| 1550k| 31940 | 5615k| 3.6 | 28M| 38 | 5 | 120 | 411 | 120 | 12 | 27 | 88k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
714.68/714.93 c 587s| 1560k| 32202 | 5651k| 3.6 | 29M| 38 | 5 | 120 | 405 | 120 | 12 | 27 | 88k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
719.08/719.40 c 591s| 1570k| 32481 | 5687k| 3.6 | 29M| 38 | - | 120 | 390 | 120 | 12 | 27 | 89k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
723.67/723.91 c 595s| 1580k| 32937 | 5724k| 3.6 | 29M| 38 | - | 120 | 391 | 120 | 12 | 27 | 89k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
728.07/728.30 c 598s| 1590k| 33042 | 5759k| 3.6 | 30M| 38 | 5 | 120 | 365 | 120 | 12 | 27 | 90k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
732.47/732.77 c 602s| 1600k| 33390 | 5794k| 3.6 | 30M| 38 | - | 120 | 424 | 120 | 12 | 27 | 91k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
736.97/737.27 c 606s| 1610k| 33872 | 5829k| 3.6 | 30M| 38 | 5 | 120 | 377 | 120 | 12 | 27 | 91k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
741.47/741.72 c 609s| 1620k| 33901 | 5863k| 3.6 | 31M| 38 | 5 | 120 | 377 | 120 | 12 | 27 | 92k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
745.96/746.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
745.96/746.29 c 613s| 1630k| 34565 | 5900k| 3.6 | 31M| 38 | 5 | 120 | 370 | 120 | 12 | 27 | 92k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
750.56/750.80 c 617s| 1640k| 35052 | 5937k| 3.6 | 32M| 38 | - | 120 | 372 | 120 | 12 | 27 | 93k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
754.96/755.26 c 620s| 1650k| 35442 | 5973k| 3.6 | 32M| 38 | 5 | 120 | 374 | 120 | 12 | 27 | 94k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
759.46/759.71 c 624s| 1660k| 35181 | 6007k| 3.6 | 32M| 39 | 5 | 120 | 355 | 120 | 12 | 27 | 94k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
763.86/764.19 c 628s| 1670k| 35640 | 6044k| 3.6 | 33M| 39 | 5 | 120 | 418 | 120 | 12 | 27 | 95k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
768.26/768.59 c 631s| 1680k| 35714 | 6079k| 3.6 | 33M| 39 | - | 120 | 433 | 0 | 0 | 27 | 95k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
772.75/773.07 c 635s| 1690k| 36125 | 6115k| 3.6 | 33M| 39 | 5 | 120 | 435 | 120 | 12 | 27 | 96k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
777.26/777.57 c 639s| 1700k| 36344 | 6150k| 3.6 | 33M| 39 | 5 | 120 | 509 | 120 | 12 | 27 | 97k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
781.76/782.06 c 642s| 1710k| 36135 | 6186k| 3.6 | 34M| 39 | 5 | 120 | 440 | 120 | 12 | 27 | 97k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
786.26/786.55 c 646s| 1720k| 36389 | 6221k| 3.6 | 34M| 39 | 5 | 120 | 473 | 120 | 12 | 27 | 98k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
790.75/791.00 c 650s| 1730k| 36169 | 6255k| 3.6 | 34M| 39 | - | 120 | 454 | 120 | 12 | 27 | 98k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
795.25/795.52 c 653s| 1740k| 36273 | 6291k| 3.6 | 34M| 39 | - | 120 | 495 | 120 | 12 | 27 | 99k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
799.75/800.03 c 657s| 1750k| 36366 | 6327k| 3.6 | 34M| 39 | 5 | 120 | 476 | 120 | 12 | 27 | 100k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
804.24/804.55 c 661s| 1760k| 36040 | 6362k| 3.6 | 34M| 39 | 5 | 120 | 437 | 120 | 12 | 27 | 100k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
808.75/809.08 c 665s| 1770k| 35946 | 6398k| 3.6 | 34M| 39 | 5 | 120 | 434 | 120 | 12 | 27 | 101k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
813.24/813.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
813.24/813.53 c 668s| 1780k| 35788 | 6432k| 3.6 | 34M| 39 | 5 | 120 | 444 | 120 | 12 | 27 | 101k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
817.75/818.05 c 672s| 1790k| 35441 | 6467k| 3.6 | 34M| 39 | 5 | 120 | 457 | 120 | 12 | 27 | 102k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
822.24/822.53 c 676s| 1800k| 35215 | 6503k| 3.6 | 34M| 39 | 5 | 120 | 455 | 120 | 12 | 27 | 103k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
826.74/827.07 c 679s| 1810k| 34750 | 6538k| 3.6 | 34M| 39 | - | 120 | 442 | 120 | 12 | 27 | 103k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
831.25/831.57 c 683s| 1820k| 34498 | 6574k| 3.6 | 34M| 39 | - | 120 | 400 | 120 | 12 | 27 | 104k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
835.74/836.09 c 687s| 1830k| 35150 | 6612k| 3.6 | 35M| 39 | - | 120 | 375 | 120 | 12 | 27 | 104k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
840.24/840.58 c 690s| 1840k| 34640 | 6648k| 3.6 | 35M| 39 | 5 | 120 | 379 | 120 | 12 | 27 | 105k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
844.83/845.11 c 694s| 1850k| 34327 | 6684k| 3.6 | 34M| 39 | 5 | 120 | 417 | 120 | 12 | 27 | 106k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
849.44/849.70 c 698s| 1860k| 34743 | 6722k| 3.6 | 35M| 39 | 5 | 120 | 431 | 120 | 12 | 27 | 106k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
853.93/854.22 c 702s| 1870k| 35350 | 6758k| 3.6 | 35M| 39 | - | 120 | 408 | 120 | 12 | 27 | 107k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
858.33/858.66 c 705s| 1880k| 36101 | 6793k| 3.6 | 36M| 39 | - | 120 | 409 | 120 | 12 | 27 | 107k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
862.73/863.06 c 709s| 1890k| 36321 | 6828k| 3.6 | 36M| 39 | - | 120 | 373 | 120 | 12 | 27 | 108k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
867.23/867.53 c 712s| 1900k| 36060 | 6863k| 3.6 | 36M| 39 | - | 120 | 360 | 120 | 12 | 27 | 109k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
871.73/872.07 c 716s| 1910k| 35836 | 6899k| 3.6 | 37M| 39 | 5 | 120 | 351 | 120 | 12 | 27 | 109k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
876.34/876.62 c 720s| 1920k| 36448 | 6936k| 3.6 | 37M| 39 | - | 120 | 380 | 120 | 12 | 27 | 110k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
880.74/881.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
880.74/881.07 c 723s| 1930k| 37313 | 6973k| 3.6 | 38M| 39 | - | 120 | 350 | 120 | 12 | 27 | 110k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
885.23/885.59 c 727s| 1940k| 38108 | 7009k| 3.6 | 38M| 39 | - | 120 | 389 | 120 | 12 | 27 | 111k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
889.72/890.01 c 731s| 1950k| 38896 | 7045k| 3.6 | 39M| 39 | - | 120 | 370 | 120 | 12 | 27 | 112k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
894.22/894.53 c 734s| 1960k| 39101 | 7081k| 3.6 | 39M| 39 | 5 | 120 | 357 | 120 | 12 | 27 | 112k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
898.61/898.98 c 738s| 1970k| 38873 | 7115k| 3.6 | 39M| 39 | - | 120 | 367 | 120 | 12 | 27 | 113k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
903.12/903.46 c 742s| 1980k| 38693 | 7151k| 3.6 | 40M| 39 | 5 | 120 | 370 | 120 | 12 | 27 | 114k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
907.62/907.91 c 745s| 1990k| 38398 | 7186k| 3.6 | 40M| 39 | 5 | 120 | 373 | 120 | 12 | 27 | 114k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
912.12/912.49 c 749s| 2000k| 37675 | 7221k| 3.6 | 39M| 39 | - | 120 | 355 | 0 | 0 | 27 | 115k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
916.61/916.95 c 753s| 2010k| 37602 | 7256k| 3.6 | 39M| 39 | 5 | 120 | 384 | 120 | 12 | 27 | 115k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
921.11/921.41 c 756s| 2020k| 37856 | 7291k| 3.6 | 40M| 39 | 5 | 120 | 404 | 120 | 12 | 27 | 116k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
925.61/925.94 c 760s| 2030k| 38049 | 7327k| 3.6 | 40M| 39 | 5 | 120 | 399 | 120 | 12 | 27 | 117k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
930.01/930.39 c 764s| 2040k| 38333 | 7364k| 3.6 | 40M| 39 | - | 120 | 402 | 120 | 12 | 27 | 117k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
934.50/934.87 c 767s| 2050k| 38602 | 7402k| 3.6 | 41M| 39 | 5 | 120 | 425 | 120 | 12 | 27 | 118k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
939.01/939.31 c 771s| 2060k| 38137 | 7436k| 3.6 | 41M| 39 | 5 | 120 | 422 | 120 | 12 | 27 | 118k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
943.52/943.84 c 775s| 2070k| 37990 | 7471k| 3.6 | 41M| 39 | - | 120 | 429 | 120 | 12 | 27 | 119k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
948.00/948.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
948.00/948.35 c 778s| 2080k| 37881 | 7507k| 3.6 | 41M| 39 | 5 | 120 | 451 | 120 | 12 | 27 | 120k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
952.60/952.90 c 782s| 2090k| 37697 | 7543k| 3.6 | 41M| 39 | 5 | 120 | 454 | 120 | 12 | 27 | 120k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
957.00/957.35 c 786s| 2100k| 37475 | 7578k| 3.6 | 41M| 39 | 5 | 120 | 449 | 120 | 12 | 27 | 121k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
961.49/961.83 c 790s| 2110k| 37138 | 7612k| 3.6 | 41M| 39 | - | 120 | 469 | 0 | 0 | 27 | 121k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
966.00/966.37 c 793s| 2120k| 37014 | 7647k| 3.6 | 41M| 39 | 5 | 120 | 493 | 120 | 12 | 27 | 122k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
970.60/970.93 c 797s| 2130k| 36919 | 7683k| 3.6 | 41M| 39 | 5 | 120 | 448 | 120 | 12 | 27 | 123k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
975.10/975.41 c 801s| 2140k| 36837 | 7717k| 3.6 | 41M| 39 | 5 | 120 | 460 | 120 | 12 | 27 | 123k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
979.49/979.81 c 804s| 2150k| 37437 | 7750k| 3.6 | 41M| 39 | 5 | 120 | 546 | 120 | 12 | 27 | 124k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
983.99/984.30 c 808s| 2160k| 37111 | 7784k| 3.6 | 41M| 39 | 5 | 120 | 473 | 120 | 12 | 27 | 125k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
988.39/988.73 c 812s| 2170k| 37703 | 7819k| 3.6 | 42M| 39 | - | 120 | 523 | 120 | 12 | 27 | 125k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
992.78/993.13 c 815s| 2180k| 37548 | 7854k| 3.6 | 42M| 39 | - | 120 | 557 | 120 | 12 | 27 | 126k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
997.29/997.61 c 819s| 2190k| 37489 | 7890k| 3.6 | 42M| 39 | - | 120 | 549 | 120 | 12 | 27 | 127k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1001.69/1002.07 c 823s| 2200k| 37222 | 7924k| 3.6 | 42M| 39 | - | 120 | 510 | 120 | 12 | 27 | 127k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1006.19/1006.58 c 826s| 2210k| 36828 | 7960k| 3.6 | 42M| 39 | - | 120 | 476 | 120 | 12 | 27 | 128k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1010.78/1011.12 c 830s| 2220k| 36496 | 7995k| 3.6 | 42M| 39 | 5 | 120 | 507 | 120 | 12 | 27 | 128k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1015.28/1015.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1015.28/1015.67 c 834s| 2230k| 36374 | 8030k| 3.6 | 42M| 39 | - | 120 | 517 | 120 | 12 | 27 | 129k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1019.88/1020.23 c 837s| 2240k| 36208 | 8065k| 3.6 | 42M| 39 | - | 120 | 535 | 120 | 12 | 27 | 130k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1024.38/1024.72 c 841s| 2250k| 36073 | 8100k| 3.6 | 42M| 39 | - | 120 | 479 | 0 | 0 | 27 | 130k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1028.88/1029.20 c 845s| 2260k| 36372 | 8138k| 3.6 | 42M| 39 | - | 120 | 467 | 120 | 12 | 27 | 131k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1033.28/1033.64 c 848s| 2270k| 36940 | 8174k| 3.6 | 43M| 39 | 5 | 120 | 486 | 120 | 12 | 27 | 132k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1037.67/1038.02 c 852s| 2280k| 37436 | 8210k| 3.6 | 43M| 39 | 5 | 120 | 455 | 120 | 12 | 27 | 132k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1042.28/1042.70 c 856s| 2290k| 39500 | 8250k| 3.6 | 44M| 39 | 5 | 120 | 490 | 120 | 12 | 27 | 133k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1047.08/1047.43 c 860s| 2300k| 41607 | 8290k| 3.6 | 45M| 39 | 5 | 120 | 418 | 120 | 12 | 27 | 133k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1051.57/1051.99 c 863s| 2310k| 43166 | 8329k| 3.6 | 46M| 39 | - | 120 | 430 | 120 | 12 | 27 | 134k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1056.17/1056.52 c 867s| 2320k| 44479 | 8366k| 3.6 | 47M| 39 | - | 120 | 418 | 120 | 12 | 27 | 134k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1060.57/1060.97 c 871s| 2330k| 45728 | 8402k| 3.6 | 48M| 39 | - | 120 | 401 | 120 | 12 | 27 | 135k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1064.97/1065.39 c 874s| 2340k| 46642 | 8438k| 3.6 | 49M| 39 | 5 | 120 | 364 | 120 | 12 | 27 | 135k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1069.47/1069.83 c 878s| 2350k| 47928 | 8474k| 3.6 | 49M| 39 | - | 120 | 367 | 120 | 12 | 27 | 136k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1073.86/1074.23 c 882s| 2360k| 48745 | 8510k| 3.6 | 50M| 39 | 5 | 120 | 350 | 120 | 12 | 27 | 136k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1078.27/1078.64 c 885s| 2370k| 49508 | 8546k| 3.6 | 51M| 39 | 5 | 120 | 356 | 120 | 12 | 27 | 137k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1082.76/1083.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1082.76/1083.14 c 889s| 2380k| 50658 | 8583k| 3.6 | 52M| 39 | 5 | 120 | 352 | 120 | 12 | 27 | 137k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1087.26/1087.69 c 893s| 2390k| 51674 | 8621k| 3.6 | 52M| 39 | - | 120 | 320 | 0 | 0 | 27 | 138k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1091.76/1092.11 c 896s| 2400k| 52677 | 8657k| 3.6 | 53M| 39 | 5 | 120 | 340 | 120 | 12 | 27 | 138k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1096.16/1096.58 c 900s| 2410k| 53472 | 8695k| 3.6 | 54M| 39 | - | 120 | 333 | 120 | 12 | 27 | 139k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1100.66/1101.04 c 904s| 2420k| 54445 | 8732k| 3.6 | 54M| 39 | - | 120 | 332 | 120 | 12 | 27 | 139k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1105.06/1105.45 c 907s| 2430k| 54936 | 8766k| 3.6 | 55M| 39 | 5 | 120 | 315 | 120 | 12 | 27 | 140k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1109.46/1109.82 c 911s| 2440k| 55713 | 8802k| 3.6 | 55M| 39 | - | 120 | 327 | 120 | 12 | 27 | 140k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1113.86/1114.30 c 914s| 2450k| 56257 | 8838k| 3.6 | 56M| 39 | 5 | 120 | 338 | 120 | 12 | 27 | 141k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1118.36/1118.76 c 918s| 2460k| 56590 | 8874k| 3.6 | 56M| 39 | - | 120 | 315 | 120 | 12 | 27 | 141k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1122.85/1123.24 c 922s| 2470k| 57065 | 8909k| 3.6 | 57M| 39 | - | 120 | 336 | 120 | 12 | 27 | 142k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1127.25/1127.68 c 925s| 2480k| 57784 | 8945k| 3.6 | 57M| 39 | - | 120 | 320 | 120 | 12 | 27 | 142k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1131.75/1132.10 c 929s| 2490k| 58378 | 8982k| 3.6 | 58M| 39 | 5 | 120 | 316 | 120 | 12 | 27 | 143k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1136.14/1136.58 c 933s| 2500k| 59316 | 9019k| 3.6 | 59M| 39 | - | 120 | 301 | 120 | 12 | 27 | 143k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1140.64/1141.03 c 936s| 2510k| 60148 | 9056k| 3.6 | 59M| 39 | - | 120 | 332 | 120 | 12 | 27 | 144k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1145.04/1145.41 c 940s| 2520k| 60882 | 9090k| 3.6 | 60M| 39 | - | 120 | 339 | 120 | 12 | 27 | 144k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1149.44/1149.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1149.44/1149.82 c 943s| 2530k| 61172 | 9125k| 3.6 | 60M| 39 | 5 | 120 | 343 | 120 | 12 | 27 | 145k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1153.84/1154.27 c 947s| 2540k| 61512 | 9161k| 3.6 | 61M| 39 | 5 | 120 | 336 | 120 | 12 | 27 | 145k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1158.24/1158.67 c 951s| 2550k| 62045 | 9197k| 3.6 | 61M| 39 | - | 120 | 356 | 120 | 12 | 27 | 146k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1162.74/1163.10 c 954s| 2560k| 62196 | 9232k| 3.6 | 62M| 39 | 5 | 120 | 358 | 120 | 12 | 27 | 146k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1167.14/1167.50 c 958s| 2570k| 62606 | 9267k| 3.6 | 62M| 39 | 5 | 120 | 320 | 120 | 12 | 27 | 147k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1171.53/1171.91 c 961s| 2580k| 62806 | 9302k| 3.6 | 62M| 39 | - | 120 | 331 | 120 | 12 | 27 | 147k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1175.93/1176.33 c 965s| 2590k| 63090 | 9337k| 3.6 | 63M| 39 | 5 | 120 | 302 | 120 | 12 | 27 | 148k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1180.33/1180.77 c 969s| 2600k| 63736 | 9373k| 3.6 | 63M| 39 | - | 120 | 358 | 120 | 12 | 27 | 149k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1184.73/1185.17 c 972s| 2610k| 64244 | 9408k| 3.6 | 64M| 39 | - | 120 | 368 | 120 | 12 | 27 | 149k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1189.23/1189.61 c 976s| 2620k| 64395 | 9443k| 3.6 | 64M| 39 | 5 | 120 | 355 | 120 | 12 | 27 | 150k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1193.62/1194.03 c 980s| 2630k| 64843 | 9479k| 3.6 | 64M| 39 | - | 120 | 367 | 120 | 12 | 27 | 150k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1198.03/1198.46 c 983s| 2640k| 65035 | 9515k| 3.6 | 65M| 39 | 5 | 120 | 364 | 120 | 12 | 27 | 151k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1202.42/1202.89 c 987s| 2650k| 65709 | 9550k| 3.6 | 65M| 39 | - | 120 | 389 | 120 | 12 | 27 | 151k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1206.92/1207.31 c 990s| 2660k| 66189 | 9584k| 3.6 | 66M| 39 | 5 | 120 | 404 | 120 | 12 | 27 | 152k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1211.32/1211.79 c 994s| 2670k| 66577 | 9619k| 3.6 | 66M| 39 | 5 | 120 | 365 | 120 | 12 | 27 | 152k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1215.82/1216.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1215.82/1216.23 c 998s| 2680k| 66472 | 9654k| 3.6 | 66M| 39 | - | 120 | 360 | 120 | 12 | 27 | 153k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1220.22/1220.61 c 1001s| 2690k| 66366 | 9689k| 3.6 | 67M| 39 | - | 120 | 352 | 120 | 12 | 27 | 153k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1224.52/1224.99 c 1005s| 2700k| 66660 | 9724k| 3.6 | 67M| 39 | - | 120 | 354 | 120 | 12 | 27 | 154k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1229.02/1229.40 c 1008s| 2710k| 67022 | 9759k| 3.6 | 67M| 39 | 5 | 120 | 382 | 120 | 12 | 27 | 154k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1233.41/1233.88 c 1012s| 2720k| 67176 | 9795k| 3.6 | 68M| 39 | 5 | 120 | 376 | 120 | 12 | 27 | 155k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1237.81/1238.26 c 1016s| 2730k| 67626 | 9829k| 3.6 | 68M| 39 | 5 | 120 | 412 | 120 | 12 | 27 | 155k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1242.31/1242.78 c 1019s| 2740k| 67861 | 9865k| 3.6 | 68M| 39 | - | 120 | 380 | 120 | 12 | 27 | 156k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1246.81/1247.21 c 1023s| 2750k| 68155 | 9900k| 3.6 | 69M| 39 | - | 120 | 370 | 120 | 12 | 27 | 156k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1251.22/1251.66 c 1026s| 2760k| 68491 | 9935k| 3.6 | 69M| 39 | 5 | 120 | 390 | 120 | 12 | 27 | 157k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1255.72/1256.12 c 1030s| 2770k| 68389 | 9970k| 3.6 | 69M| 39 | - | 120 | 367 | 120 | 12 | 27 | 157k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1260.21/1260.62 c 1034s| 2780k| 68794 | 10006k| 3.6 | 70M| 39 | - | 120 | 385 | 120 | 12 | 27 | 158k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1264.61/1265.04 c 1037s| 2790k| 68812 | 10041k| 3.6 | 70M| 39 | 5 | 120 | 360 | 120 | 12 | 27 | 158k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1269.10/1269.51 c 1041s| 2800k| 68989 | 10076k| 3.6 | 70M| 39 | 5 | 120 | 348 | 120 | 12 | 27 | 159k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1273.50/1273.92 c 1045s| 2810k| 69071 | 10110k| 3.6 | 71M| 39 | 5 | 120 | 371 | 120 | 12 | 27 | 159k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1278.00/1278.44 c 1048s| 2820k| 69775 | 10146k| 3.6 | 71M| 39 | 5 | 120 | 354 | 120 | 12 | 27 | 160k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1282.50/1282.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1282.50/1282.92 c 1052s| 2830k| 70570 | 10183k| 3.6 | 72M| 39 | 5 | 120 | 360 | 120 | 12 | 27 | 160k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1286.89/1287.35 c 1056s| 2840k| 70965 | 10218k| 3.6 | 72M| 39 | - | 120 | 356 | 120 | 12 | 27 | 161k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1291.29/1291.79 c 1059s| 2850k| 71187 | 10253k| 3.6 | 73M| 39 | - | 120 | 373 | 120 | 12 | 27 | 161k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1295.79/1296.25 c 1063s| 2860k| 71477 | 10288k| 3.6 | 73M| 39 | - | 120 | 347 | 120 | 12 | 27 | 162k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1300.20/1300.68 c 1067s| 2870k| 71272 | 10322k| 3.6 | 73M| 39 | - | 120 | 354 | 120 | 12 | 27 | 162k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1304.70/1305.13 c 1070s| 2880k| 71263 | 10357k| 3.6 | 73M| 39 | 5 | 120 | 370 | 120 | 12 | 27 | 163k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1309.09/1309.58 c 1074s| 2890k| 71134 | 10393k| 3.6 | 73M| 39 | - | 120 | 353 | 120 | 12 | 27 | 163k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1313.59/1314.03 c 1077s| 2900k| 71287 | 10426k| 3.6 | 74M| 39 | - | 120 | 361 | 120 | 12 | 27 | 164k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1317.99/1318.48 c 1081s| 2910k| 71220 | 10461k| 3.6 | 74M| 39 | - | 120 | 384 | 120 | 12 | 27 | 164k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1322.49/1322.93 c 1085s| 2920k| 71225 | 10496k| 3.6 | 74M| 39 | - | 120 | 418 | 120 | 12 | 27 | 165k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1326.99/1327.45 c 1088s| 2930k| 72342 | 10535k| 3.6 | 75M| 39 | - | 120 | 404 | 120 | 12 | 27 | 165k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1331.49/1331.91 c 1092s| 2940k| 72832 | 10572k| 3.6 | 75M| 39 | 5 | 120 | 385 | 120 | 12 | 27 | 166k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1335.88/1336.38 c 1096s| 2950k| 73187 | 10609k| 3.6 | 76M| 39 | - | 120 | 391 | 0 | 0 | 27 | 166k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1340.39/1340.82 c 1099s| 2960k| 73599 | 10645k| 3.6 | 76M| 39 | - | 120 | 390 | 120 | 12 | 27 | 167k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1344.79/1345.28 c 1103s| 2970k| 72997 | 10680k| 3.6 | 76M| 39 | - | 120 | 366 | 120 | 12 | 27 | 167k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1349.29/1349.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1349.29/1349.72 c 1107s| 2980k| 72900 | 10714k| 3.6 | 76M| 39 | 5 | 120 | 379 | 120 | 12 | 27 | 168k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1353.78/1354.21 c 1110s| 2990k| 73151 | 10749k| 3.6 | 77M| 39 | - | 120 | 444 | 120 | 12 | 27 | 168k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1358.17/1358.68 c 1114s| 3000k| 73149 | 10783k| 3.6 | 77M| 39 | 5 | 120 | 431 | 120 | 12 | 27 | 169k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1362.68/1363.11 c 1117s| 3010k| 72985 | 10817k| 3.6 | 77M| 41 | - | 120 | 441 | 120 | 12 | 27 | 170k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1367.07/1367.58 c 1121s| 3020k| 72811 | 10853k| 3.6 | 77M| 41 | - | 120 | 410 | 120 | 12 | 27 | 170k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1371.57/1372.04 c 1125s| 3030k| 72354 | 10888k| 3.6 | 77M| 41 | - | 120 | 378 | 120 | 12 | 27 | 171k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1375.97/1376.48 c 1128s| 3040k| 72202 | 10923k| 3.6 | 77M| 41 | 5 | 120 | 376 | 120 | 12 | 27 | 171k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1380.47/1380.91 c 1132s| 3050k| 71777 | 10958k| 3.6 | 77M| 41 | 5 | 120 | 375 | 120 | 12 | 27 | 172k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1384.87/1385.30 c 1136s| 3060k| 72286 | 10992k| 3.6 | 77M| 41 | - | 120 | 426 | 120 | 12 | 27 | 172k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1389.16/1389.64 c 1139s| 3070k| 73615 | 11026k| 3.6 | 78M| 41 | 5 | 120 | 451 | 120 | 12 | 27 | 173k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1393.46/1393.97 c 1143s| 3080k| 74875 | 11061k| 3.6 | 79M| 41 | 5 | 120 | 465 | 120 | 12 | 27 | 173k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1397.86/1398.31 c 1146s| 3090k| 76236 | 11095k| 3.6 | 80M| 41 | - | 120 | 462 | 0 | 0 | 27 | 173k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1402.16/1402.64 c 1150s| 3100k| 76913 | 11131k| 3.6 | 80M| 41 | - | 120 | 439 | 120 | 12 | 27 | 174k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1406.47/1406.92 c 1153s| 3110k| 77630 | 11164k| 3.6 | 81M| 41 | 5 | 120 | 428 | 120 | 12 | 27 | 174k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1410.77/1411.27 c 1157s| 3120k| 78217 | 11199k| 3.6 | 82M| 41 | - | 120 | 471 | 120 | 12 | 27 | 175k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1415.06/1415.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1415.06/1415.57 c 1160s| 3130k| 78409 | 11232k| 3.6 | 82M| 41 | 5 | 120 | 437 | 120 | 12 | 27 | 175k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1419.36/1419.87 c 1164s| 3140k| 78960 | 11265k| 3.6 | 82M| 41 | 5 | 120 | 433 | 120 | 12 | 27 | 175k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1423.66/1424.18 c 1167s| 3150k| 79017 | 11298k| 3.6 | 83M| 41 | - | 120 | 421 | 120 | 12 | 27 | 176k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1428.05/1428.50 c 1171s| 3160k| 79398 | 11331k| 3.6 | 83M| 41 | - | 120 | 448 | 120 | 12 | 27 | 176k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1432.35/1432.82 c 1174s| 3170k| 79804 | 11365k| 3.6 | 83M| 41 | - | 120 | 443 | 120 | 12 | 27 | 177k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1436.65/1437.19 c 1178s| 3180k| 80151 | 11400k| 3.6 | 84M| 41 | 5 | 120 | 432 | 120 | 12 | 27 | 177k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1441.05/1441.51 c 1181s| 3190k| 80996 | 11434k| 3.6 | 85M| 41 | 5 | 120 | 503 | 120 | 12 | 27 | 178k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1445.35/1445.85 c 1185s| 3200k| 81038 | 11467k| 3.6 | 85M| 41 | 5 | 120 | 457 | 120 | 12 | 27 | 178k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1449.65/1450.13 c 1189s| 3210k| 81310 | 11501k| 3.6 | 85M| 41 | 5 | 120 | 465 | 120 | 12 | 27 | 179k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1454.05/1454.50 c 1192s| 3220k| 81221 | 11534k| 3.6 | 85M| 41 | 5 | 120 | 430 | 120 | 12 | 27 | 179k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1458.35/1458.87 c 1196s| 3230k| 81384 | 11569k| 3.6 | 86M| 41 | 5 | 120 | 457 | 120 | 12 | 27 | 180k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1462.74/1463.20 c 1199s| 3240k| 81620 | 11602k| 3.6 | 86M| 41 | 5 | 120 | 454 | 120 | 12 | 27 | 180k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1467.13/1467.62 c 1203s| 3250k| 81434 | 11636k| 3.6 | 86M| 41 | 5 | 120 | 417 | 120 | 12 | 27 | 181k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1471.43/1471.90 c 1206s| 3260k| 81710 | 11672k| 3.6 | 86M| 41 | 5 | 120 | 446 | 120 | 12 | 27 | 181k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1475.74/1476.28 c 1210s| 3270k| 81371 | 11705k| 3.6 | 86M| 41 | 5 | 120 | 428 | 120 | 12 | 27 | 181k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1480.14/1480.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1480.14/1480.63 c 1213s| 3280k| 81214 | 11739k| 3.6 | 86M| 41 | 5 | 120 | 428 | 120 | 12 | 27 | 182k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1484.33/1484.87 c 1217s| 3290k| 81405 | 11771k| 3.6 | 87M| 41 | 5 | 120 | 452 | 120 | 12 | 27 | 182k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1488.73/1489.28 c 1220s| 3300k| 80722 | 11804k| 3.6 | 86M| 41 | 5 | 120 | 425 | 120 | 12 | 27 | 183k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1493.23/1493.72 c 1224s| 3310k| 80405 | 11838k| 3.6 | 86M| 41 | 5 | 120 | 435 | 120 | 12 | 27 | 183k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1497.63/1498.19 c 1228s| 3320k| 80006 | 11872k| 3.6 | 86M| 41 | - | 120 | 408 | 120 | 12 | 27 | 184k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1502.13/1502.64 c 1231s| 3330k| 79508 | 11906k| 3.6 | 86M| 41 | - | 120 | 407 | 120 | 12 | 27 | 184k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1506.52/1507.08 c 1235s| 3340k| 79567 | 11942k| 3.6 | 86M| 41 | - | 120 | 395 | 120 | 12 | 27 | 185k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1510.82/1511.37 c 1238s| 3350k| 79653 | 11975k| 3.6 | 87M| 41 | - | 120 | 436 | 120 | 12 | 27 | 185k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1515.23/1515.79 c 1242s| 3360k| 79170 | 12009k| 3.6 | 87M| 41 | - | 120 | 422 | 120 | 12 | 27 | 186k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1519.63/1520.15 c 1246s| 3370k| 79970 | 12044k| 3.6 | 87M| 41 | 5 | 120 | 432 | 120 | 12 | 27 | 186k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1523.92/1524.46 c 1249s| 3380k| 80191 | 12078k| 3.6 | 87M| 41 | - | 120 | 415 | 120 | 12 | 27 | 187k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1528.32/1528.83 c 1253s| 3390k| 79899 | 12112k| 3.6 | 87M| 41 | - | 120 | 425 | 120 | 12 | 27 | 187k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1532.82/1533.33 c 1256s| 3400k| 79302 | 12146k| 3.6 | 87M| 41 | - | 120 | 426 | 120 | 12 | 27 | 188k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1537.22/1537.75 c 1260s| 3410k| 78724 | 12179k| 3.6 | 87M| 41 | - | 120 | 396 | 120 | 12 | 27 | 188k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1541.61/1542.20 c 1264s| 3420k| 78049 | 12212k| 3.6 | 87M| 41 | - | 120 | 423 | 120 | 12 | 27 | 189k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1546.11/1546.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1546.11/1546.61 c 1267s| 3430k| 78188 | 12247k| 3.6 | 87M| 41 | - | 120 | 459 | 120 | 12 | 27 | 189k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1550.42/1550.95 c 1271s| 3440k| 78064 | 12280k| 3.6 | 87M| 41 | 5 | 120 | 437 | 120 | 12 | 27 | 190k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1554.81/1555.36 c 1274s| 3450k| 77791 | 12315k| 3.6 | 87M| 41 | - | 120 | 454 | 120 | 12 | 27 | 190k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1559.31/1559.81 c 1278s| 3460k| 77349 | 12348k| 3.6 | 87M| 41 | 5 | 120 | 427 | 120 | 12 | 27 | 191k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1563.80/1564.32 c 1282s| 3470k| 76590 | 12382k| 3.6 | 87M| 41 | - | 120 | 435 | 120 | 12 | 27 | 191k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1568.20/1568.79 c 1285s| 3480k| 75962 | 12415k| 3.6 | 86M| 41 | - | 120 | 441 | 120 | 12 | 27 | 192k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1572.80/1573.33 c 1289s| 3490k| 74986 | 12449k| 3.6 | 86M| 41 | - | 120 | 406 | 120 | 12 | 27 | 193k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1577.30/1577.81 c 1293s| 3500k| 74475 | 12482k| 3.6 | 86M| 41 | 5 | 120 | 417 | 120 | 12 | 27 | 193k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1581.90/1582.41 c 1297s| 3510k| 73360 | 12517k| 3.6 | 85M| 41 | 5 | 120 | 418 | 120 | 12 | 27 | 194k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1586.30/1586.82 c 1300s| 3520k| 73193 | 12551k| 3.6 | 85M| 41 | 5 | 120 | 427 | 120 | 12 | 27 | 194k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1590.50/1591.06 c 1304s| 3530k| 73740 | 12584k| 3.6 | 86M| 41 | 5 | 120 | 443 | 120 | 12 | 27 | 195k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1595.00/1595.54 c 1307s| 3540k| 73036 | 12617k| 3.6 | 85M| 41 | 5 | 120 | 404 | 120 | 12 | 27 | 195k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1599.39/1599.97 c 1311s| 3550k| 72652 | 12651k| 3.6 | 85M| 41 | - | 120 | 393 | 120 | 12 | 27 | 196k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1603.99/1604.55 c 1315s| 3560k| 71431 | 12684k| 3.6 | 84M| 41 | - | 120 | 388 | 120 | 12 | 27 | 196k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1608.59/1609.13 c 1318s| 3570k| 70625 | 12718k| 3.6 | 84M| 41 | 5 | 120 | 410 | 120 | 12 | 27 | 197k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1612.89/1613.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1612.89/1613.43 c 1322s| 3580k| 71033 | 12753k| 3.6 | 84M| 41 | - | 120 | 405 | 120 | 12 | 27 | 197k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1617.39/1617.91 c 1325s| 3590k| 70177 | 12787k| 3.6 | 84M| 41 | - | 120 | 412 | 120 | 12 | 27 | 198k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1621.78/1622.32 c 1329s| 3600k| 69656 | 12820k| 3.6 | 84M| 41 | - | 120 | 430 | 120 | 12 | 27 | 198k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1626.29/1626.83 c 1333s| 3610k| 68783 | 12853k| 3.6 | 83M| 41 | - | 120 | 445 | 120 | 12 | 27 | 199k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1630.58/1631.17 c 1336s| 3620k| 69266 | 12889k| 3.6 | 84M| 41 | - | 120 | 480 | 120 | 12 | 27 | 199k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1635.09/1635.63 c 1340s| 3630k| 68516 | 12923k| 3.6 | 83M| 41 | - | 120 | 438 | 120 | 12 | 27 | 200k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1639.78/1640.39 c 1344s| 3640k| 66811 | 12957k| 3.6 | 82M| 41 | 5 | 120 | 422 | 120 | 12 | 27 | 201k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1644.38/1644.92 c 1347s| 3650k| 65749 | 12989k| 3.6 | 81M| 41 | 5 | 120 | 445 | 120 | 12 | 27 | 201k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1648.78/1649.35 c 1351s| 3660k| 66257 | 13024k| 3.6 | 82M| 41 | - | 120 | 442 | 120 | 12 | 27 | 202k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1653.07/1653.65 c 1355s| 3670k| 66885 | 13058k| 3.6 | 82M| 41 | - | 120 | 488 | 120 | 12 | 27 | 203k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1657.38/1657.99 c 1358s| 3680k| 66682 | 13091k| 3.6 | 82M| 41 | - | 120 | 455 | 120 | 12 | 27 | 203k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1661.87/1662.40 c 1362s| 3690k| 66463 | 13125k| 3.6 | 82M| 41 | - | 120 | 477 | 120 | 12 | 27 | 204k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1666.37/1666.94 c 1366s| 3700k| 67631 | 13161k| 3.6 | 83M| 41 | 5 | 120 | 445 | 120 | 12 | 27 | 204k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1670.67/1671.25 c 1369s| 3710k| 69028 | 13197k| 3.6 | 84M| 41 | 5 | 120 | 445 | 120 | 12 | 27 | 205k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1674.97/1675.60 c 1373s| 3720k| 70154 | 13233k| 3.6 | 84M| 41 | - | 120 | 463 | 120 | 12 | 27 | 205k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1679.37/1679.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1679.37/1679.94 c 1376s| 3730k| 71090 | 13268k| 3.6 | 85M| 41 | 5 | 120 | 439 | 120 | 12 | 27 | 205k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1683.67/1684.27 c 1380s| 3740k| 71852 | 13303k| 3.6 | 86M| 41 | - | 120 | 447 | 120 | 12 | 27 | 206k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1687.98/1688.56 c 1383s| 3750k| 72681 | 13337k| 3.6 | 86M| 41 | 5 | 120 | 459 | 120 | 12 | 27 | 206k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1692.37/1692.97 c 1387s| 3760k| 74022 | 13373k| 3.6 | 87M| 41 | 5 | 120 | 489 | 120 | 12 | 27 | 207k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1696.67/1697.28 c 1390s| 3770k| 74752 | 13407k| 3.6 | 88M| 41 | 5 | 120 | 463 | 120 | 12 | 27 | 207k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1700.96/1701.56 c 1394s| 3780k| 75252 | 13441k| 3.6 | 88M| 41 | - | 120 | 420 | 120 | 12 | 27 | 207k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1705.36/1705.90 c 1397s| 3790k| 75541 | 13475k| 3.6 | 89M| 41 | 5 | 120 | 437 | 120 | 12 | 27 | 208k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1709.66/1710.23 c 1401s| 3800k| 75532 | 13509k| 3.6 | 89M| 41 | 5 | 120 | 434 | 120 | 12 | 27 | 208k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1713.96/1714.51 c 1404s| 3810k| 76023 | 13543k| 3.6 | 89M| 41 | 5 | 120 | 448 | 120 | 12 | 27 | 209k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1718.25/1718.81 c 1408s| 3820k| 75985 | 13576k| 3.6 | 90M| 41 | - | 120 | 425 | 120 | 12 | 27 | 209k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1722.45/1723.04 c 1411s| 3830k| 76114 | 13609k| 3.6 | 90M| 41 | - | 120 | 443 | 120 | 12 | 27 | 209k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1726.76/1727.39 c 1415s| 3840k| 76566 | 13645k| 3.6 | 90M| 41 | 5 | 120 | 423 | 120 | 12 | 27 | 210k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1731.15/1731.76 c 1419s| 3850k| 77112 | 13682k| 3.6 | 91M| 41 | - | 120 | 423 | 120 | 12 | 27 | 210k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1735.45/1736.08 c 1422s| 3860k| 77115 | 13717k| 3.6 | 91M| 41 | - | 120 | 430 | 120 | 12 | 27 | 211k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1739.75/1740.36 c 1426s| 3870k| 77112 | 13750k| 3.6 | 91M| 41 | - | 120 | 435 | 0 | 0 | 27 | 211k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1744.06/1744.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1744.06/1744.66 c 1429s| 3880k| 77280 | 13785k| 3.6 | 92M| 41 | - | 120 | 455 | 0 | 0 | 27 | 211k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1748.35/1748.98 c 1433s| 3890k| 77424 | 13818k| 3.6 | 92M| 41 | 5 | 120 | 454 | 120 | 12 | 27 | 212k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1752.75/1753.30 c 1436s| 3900k| 77245 | 13852k| 3.6 | 92M| 41 | - | 120 | 456 | 120 | 12 | 27 | 212k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1757.04/1757.66 c 1440s| 3910k| 76992 | 13887k| 3.6 | 92M| 41 | - | 120 | 431 | 120 | 12 | 27 | 213k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1761.45/1762.01 c 1443s| 3920k| 76407 | 13919k| 3.6 | 92M| 41 | - | 120 | 434 | 120 | 12 | 27 | 213k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1765.74/1766.40 c 1447s| 3930k| 76349 | 13955k| 3.6 | 92M| 41 | 5 | 120 | 447 | 120 | 12 | 27 | 213k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1770.14/1770.72 c 1450s| 3940k| 76680 | 13990k| 3.6 | 92M| 41 | - | 120 | 482 | 0 | 0 | 27 | 214k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1774.64/1775.26 c 1454s| 3950k| 75457 | 14024k| 3.6 | 92M| 41 | - | 120 | 428 | 120 | 12 | 27 | 214k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1779.64/1780.23 c 1458s| 3960k| 71965 | 14056k| 3.5 | 89M| 41 | - | 120 | 418 | 120 | 12 | 27 | 215k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1784.34/1784.93 c 1462s| 3970k| 70545 | 14091k| 3.5 | 88M| 41 | 5 | 120 | 402 | 120 | 12 | 27 | 216k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1788.74/1789.32 c 1466s| 3980k| 70289 | 14124k| 3.5 | 88M| 41 | - | 120 | 449 | 0 | 0 | 27 | 216k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1793.23/1793.83 c 1469s| 3990k| 69945 | 14158k| 3.5 | 88M| 41 | - | 120 | 416 | 120 | 12 | 27 | 217k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1797.84/1798.42 c 1473s| 4000k| 69198 | 14193k| 3.5 | 88M| 41 | - | 120 | 408 | 120 | 12 | 27 | 218k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1800.04/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.61 c
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time (sec) : 1474.83
1800.04/1800.61 c Solving Nodes : 4004544
1800.04/1800.61 c Primal Bound : +3.00000000000000e+00 (34 solutions)
1800.04/1800.61 c Dual Bound : +0.00000000000000e+00
1800.04/1800.61 c Gap : infinite
1800.04/1800.61 s SATISFIABLE
1800.04/1800.61 v x90 x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 x111 x110 x109 x108 -x107 -x106 x105 -x104 -x103 x102 x101 -x100 -x99 x98
1800.04/1800.61 v x97 x96 -x95 -x94 -x93 x92 -x91 -x89 -x88 x87 -x86 x85 -x84 x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71
1800.04/1800.61 v -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46
1800.04/1800.61 v -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21
1800.04/1800.61 v -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time : 1474.83
1800.04/1800.61 c Original Problem :
1800.04/1800.61 c Problem name : HOME/instance-2665664-1276616201.opb
1800.04/1800.61 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.61 c Constraints : 10 initial, 10 maximal
1800.04/1800.61 c Presolved Problem :
1800.04/1800.61 c Problem name : t_HOME/instance-2665664-1276616201.opb
1800.04/1800.61 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.61 c Constraints : 5 initial, 647 maximal
1800.04/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.61 c linear : 0.00 0 0 0 0 0 5 0 0
1800.04/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c root node : - 60 - - 60 - - - -
1800.04/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.61 c integral : 0 0 0 2074510 0 3044 26453 0 0 4090082
1800.04/1800.61 c linear : 5+ 7 5233790 0 0 501366 3182956 0 0 0
1800.04/1800.61 c logicor : 0+ 0 2543016 0 0 8858 99726 0 0 0
1800.04/1800.61 c countsols : 0 0 0 10 0 0 0 0 0 0
1800.04/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.61 c integral : 29.15 0.00 0.00 29.15 0.00
1800.04/1800.61 c linear : 229.31 0.00 229.31 0.00 0.00
1800.04/1800.61 c logicor : 24.05 0.00 24.05 0.00 0.00
1800.04/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.61 c vbounds : 2.50 2 0 0
1800.04/1800.61 c rootredcost : 2.21 25 0 60
1800.04/1800.61 c pseudoobj : 32.59 5239406 5802 212221
1800.04/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.61 c propagation : 22.69 516026 128188 177939 35.9 10 24.5 -
1800.04/1800.61 c infeasible LP : 4.20 84579 84191 98306 20.8 22 25.5 0
1800.04/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.61 c applied globally : - - - 97969 19.8 - - -
1800.04/1800.61 c applied locally : - - - 120409 36.6 - - -
1800.04/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.61 c cut pool : 0.00 5 - - 12 - (maximal pool size: 96)
1800.04/1800.61 c redcost : 24.80 2346468 0 4879837 0 0
1800.04/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.61 c intobj : 0.00 0 0 0 0 0
1800.04/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.61 c gomory : 0.00 6 0 0 0 0
1800.04/1800.61 c strongcg : 0.00 6 0 0 31 0
1800.04/1800.61 c cmir : 0.04 6 0 0 35 0
1800.04/1800.61 c flowcover : 0.03 6 0 0 52 0
1800.04/1800.61 c clique : 0.00 1 0 0 0 0
1800.04/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.61 c mcf : 0.00 1 0 0 0 0
1800.04/1800.61 c rapidlearning : 0.05 1 0 0 0 87
1800.04/1800.61 c Pricers : Time Calls Vars
1800.04/1800.61 c problem variables: 0.00 0 0
1800.04/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.61 c relpscost : 26.24 2074500 3044 26453 0 0 4090082
1800.04/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.04/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.61 c random : 0.00 0 0 0 0 0 0
1800.04/1800.61 c Primal Heuristics : Time Calls Found
1800.04/1800.61 c LP solutions : 0.02 - 10
1800.04/1800.61 c pseudo solutions : 0.00 - 0
1800.04/1800.61 c feaspump : 0.18 1 0
1800.04/1800.61 c oneopt : 2.66 22 0
1800.04/1800.61 c crossover : 5.40 6 0
1800.04/1800.61 c fracdiving : 7.52 6886 0
1800.04/1800.61 c veclendiving : 8.02 6886 2
1800.04/1800.61 c linesearchdiving : 7.33 6886 3
1800.04/1800.61 c coefdiving : 9.70 6887 3
1800.04/1800.61 c guideddiving : 7.21 6887 3
1800.04/1800.61 c pscostdiving : 8.30 6887 2
1800.04/1800.61 c rootsoldiving : 6.69 3446 1
1800.04/1800.61 c objpscostdiving : 2.68 3446 1
1800.04/1800.61 c trivial : 0.00 2 0
1800.04/1800.61 c simplerounding : 1.52 0 0
1800.04/1800.61 c zirounding : 1.86 1000 0
1800.04/1800.61 c rounding : 2.23 21481 0
1800.04/1800.61 c shifting : 20.23 32045 8
1800.04/1800.61 c intshifting : 0.15 0 0
1800.04/1800.61 c twoopt : 0.00 0 0
1800.04/1800.61 c fixandinfer : 0.00 0 0
1800.04/1800.61 c intdiving : 0.00 0 0
1800.04/1800.61 c actconsdiving : 0.00 0 0
1800.04/1800.61 c octane : 0.00 0 0
1800.04/1800.61 c rens : 0.02 1 0
1800.04/1800.61 c rins : 0.00 0 0
1800.04/1800.61 c localbranching : 0.00 0 0
1800.04/1800.61 c mutation : 0.00 0 0
1800.04/1800.61 c dins : 0.00 0 0
1800.04/1800.61 c undercover : 0.00 0 0
1800.04/1800.61 c nlp : 1.51 0 0
1800.04/1800.61 c trysol : 2.73 0 0
1800.04/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.61 c dual LP : 734.16 3789058 13743408 3.63 18719.91
1800.04/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.61 c diving/probing LP: 30.76 179839 465381 2.59 15129.42
1800.04/1800.61 c strong branching : 8.79 35316 92128 2.61 10481.00
1800.04/1800.61 c (at root node) : - 9 212 23.56 -
1800.04/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.61 c B&B Tree :
1800.04/1800.61 c number of runs : 1
1800.04/1800.61 c nodes : 4004544
1800.04/1800.61 c nodes (total) : 4004544
1800.04/1800.61 c nodes left : 68513
1800.04/1800.61 c max depth : 41
1800.04/1800.61 c max depth (total): 41
1800.04/1800.61 c backtracks : 1099563 (27.5%)
1800.04/1800.61 c delayed cutoffs : 14565
1800.04/1800.61 c repropagations : 137540 (119365 domain reductions, 12672 cutoffs)
1800.04/1800.61 c avg switch length: 5.37
1800.04/1800.61 c switching time : 96.98
1800.04/1800.61 c Solution :
1800.04/1800.61 c Solutions found : 34 (25 improvements)
1800.04/1800.61 c First Solution : +9.96000000000000e+02 (in run 1, after 1 nodes, 0.07 seconds, depth 0, found by <trysol>)
1800.04/1800.61 c Primal Bound : +3.00000000000000e+00 (in run 1, after 461200 nodes, 182.81 seconds, depth 28, found by <relaxation>)
1800.04/1800.61 c Dual Bound : +0.00000000000000e+00
1800.04/1800.61 c Gap : infinite
1800.04/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.61 c Root Iterations : 59
1800.53/1801.17 c Time complete: 1800.61.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665664-1276616201/watcher-2665664-1276616201 -o /tmp/evaluation-result-2665664-1276616201/solver-2665664-1276616201 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665664-1276616201.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: 0.84 0.95 0.98 2/105 10070
/proc/meminfo: memFree=1507980/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=9288 CPUtime=0
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 1159 0 0 0 0 0 0 0 22 0 1 0 2913644 9510912 1079 1992294400 4194304 9819077 140737108804048 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10070/statm: 2322 1089 371 1374 0 943 0
[startup+0.0745549 s]
/proc/loadavg: 0.84 0.95 0.98 2/105 10070
/proc/meminfo: memFree=1507980/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=22104 CPUtime=0.06
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 4878 0 0 0 4 2 0 0 25 0 1 0 2913644 22634496 3921 1992294400 4194304 9819077 140737108804048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 5526 3921 673 1374 0 4147 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 22104
[startup+0.100558 s]
/proc/loadavg: 0.84 0.95 0.98 2/105 10070
/proc/meminfo: memFree=1507980/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=22236 CPUtime=0.09
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 4891 0 0 0 7 2 0 0 25 0 1 0 2913644 22769664 3934 1992294400 4194304 9819077 140737108804048 18446744073709551615 5928826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 5559 3934 673 1374 0 4180 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22236
[startup+0.300581 s]
/proc/loadavg: 0.84 0.95 0.98 2/105 10070
/proc/meminfo: memFree=1507980/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=16632 CPUtime=0.29
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 10585 0 0 0 24 5 0 0 25 0 1 0 2913644 17031168 2804 1992294400 4194304 9819077 140737108804048 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 4198 2805 724 1374 0 2819 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16632
[startup+0.700627 s]
/proc/loadavg: 0.84 0.95 0.98 2/105 10070
/proc/meminfo: memFree=1507980/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=16472 CPUtime=0.69
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 16902 0 0 0 56 13 0 0 25 0 1 0 2913644 16867328 2828 1992294400 4194304 9819077 140737108804048 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 4118 2828 727 1374 0 2739 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16472
[startup+1.50072 s]
/proc/loadavg: 0.84 0.95 0.98 2/106 10071
/proc/meminfo: memFree=1498672/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=16664 CPUtime=1.49
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 30795 0 0 0 124 25 0 0 25 0 1 0 2913644 17063936 2895 1992294400 4194304 9819077 140737108804048 18446744073709551615 6361856 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 4166 2895 727 1374 0 2787 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16664
[startup+3.1009 s]
/proc/loadavg: 0.84 0.95 0.98 2/106 10071
/proc/meminfo: memFree=1498300/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=17296 CPUtime=3.09
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 51273 0 0 0 260 49 0 0 25 0 1 0 2913644 17711104 3048 1992294400 4194304 9819077 140737108804048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 4324 3048 727 1374 0 2945 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17296
[startup+6.30027 s]
/proc/loadavg: 0.85 0.95 0.98 2/106 10071
/proc/meminfo: memFree=1496820/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=18836 CPUtime=6.29
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 94637 0 0 0 530 99 0 0 25 0 1 0 2913644 19288064 3405 1992294400 4194304 9819077 140737108804048 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 4550 3401 727 1374 0 3171 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18836
[startup+12.701 s]
/proc/loadavg: 0.87 0.95 0.98 2/106 10071
/proc/meminfo: memFree=1494216/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=20564 CPUtime=12.69
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 168793 0 0 0 1081 188 0 0 25 0 1 0 2913644 21057536 3989 1992294400 4194304 9819077 140737108804048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 5141 3989 727 1374 0 3762 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20564
[startup+25.5005 s]
/proc/loadavg: 0.89 0.95 0.98 2/106 10071
/proc/meminfo: memFree=1492356/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=22828 CPUtime=25.48
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 302961 0 0 0 2178 370 0 0 25 0 1 0 2913644 23375872 4501 1992294400 4194304 9819077 140737108804048 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 5508 4497 727 1374 0 4129 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22828
[startup+51.1014 s]
/proc/loadavg: 0.93 0.96 0.98 2/106 10073
/proc/meminfo: memFree=1489752/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=25032 CPUtime=51.08
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 626227 0 0 0 4318 790 0 0 25 0 1 0 2913644 25632768 5028 1992294400 4194304 9819077 140737108804048 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 6258 5028 727 1374 0 4879 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 25032
[startup+102.308 s]
/proc/loadavg: 0.97 0.96 0.98 2/106 10073
/proc/meminfo: memFree=1489504/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=25032 CPUtime=102.27
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 1360668 0 0 0 8534 1693 0 0 25 0 1 0 2913644 25632768 5028 1992294400 4194304 9819077 140737108804048 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 6258 5028 727 1374 0 4879 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 25032
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10075
/proc/meminfo: memFree=1489504/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=25032 CPUtime=162.24
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 2237343 0 0 0 13440 2784 0 0 25 0 1 0 2913644 25632768 5028 1992294400 4194304 9819077 140737108804048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 6258 5028 727 1374 0 4879 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 25032
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10077
/proc/meminfo: memFree=1483800/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=25136 CPUtime=222.22
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 3099082 0 0 0 18381 3841 0 0 25 0 1 0 2913644 25739264 5042 1992294400 4194304 9819077 140737108804048 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 6284 5042 727 1374 0 4905 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 25136
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10079
/proc/meminfo: memFree=1489380/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=25136 CPUtime=282.21
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 3979653 0 0 0 23314 4907 0 0 25 0 1 0 2913644 25739264 5042 1992294400 4194304 9819077 140737108804048 18446744073709551615 4983706 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 6284 5042 727 1374 0 4905 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 25136
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10079
/proc/meminfo: memFree=1489380/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=24500 CPUtime=342.19
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 4858509 0 0 0 28242 5977 0 0 25 0 1 0 2913644 25088000 5039 1992294400 4194304 9819077 140737108804048 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 6244 5041 727 1374 0 4865 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 24500
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10081
/proc/meminfo: memFree=1488016/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=26996 CPUtime=402.17
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 5751607 0 0 0 33149 7068 0 0 25 0 1 0 2913644 27643904 5484 1992294400 4194304 9819077 140737108804048 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 6749 5484 727 1374 0 5370 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 26996
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10083
/proc/meminfo: memFree=1487272/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=27024 CPUtime=462.15
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 6654722 0 0 0 38041 8174 0 0 25 0 1 0 2913644 27672576 5512 1992294400 4194304 9819077 140737108804048 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 6756 5512 727 1374 0 5377 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 27024
[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10085
/proc/meminfo: memFree=1487272/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=27004 CPUtime=522.14
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 7550460 0 0 0 42941 9273 0 0 25 0 1 0 2913644 27652096 5574 1992294400 4194304 9819077 140737108804048 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 6790 5574 727 1374 0 5411 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 27004
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10087
/proc/meminfo: memFree=1480576/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=35256 CPUtime=582.11
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 8433474 0 0 0 47863 10348 0 0 25 0 1 0 2913644 36102144 7333 1992294400 4194304 9819077 140737108804048 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 8615 7329 727 1374 0 7236 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 35256
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10087
/proc/meminfo: memFree=1475616/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=38912 CPUtime=642.1
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 9318474 0 0 0 52786 11424 0 0 25 0 1 0 2913644 39845888 8514 1992294400 4194304 9819077 140737108804048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 9728 8514 727 1374 0 8349 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 38912
[startup+702.301 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10095
/proc/meminfo: memFree=1453420/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=60128 CPUtime=942.01
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 13707127 0 0 0 77350 16851 0 0 25 0 1 0 2913644 61571072 13927 1992294400 4194304 9819077 140737108804048 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 15152 13930 728 1374 0 13773 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 60128
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10097
/proc/meminfo: memFree=1451560/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=62272 CPUtime=1001.99
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 14578681 0 0 0 82282 17917 0 0 25 0 1 0 2913644 63766528 14396 1992294400 4194304 9819077 140737108804048 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 15568 14396 728 1374 0 14189 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 62272
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10099
/proc/meminfo: memFree=1445732/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=68176 CPUtime=1061.97
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 15453378 0 0 0 87193 19004 0 0 25 0 1 0 2913644 69812224 15939 1992294400 4194304 9819077 140737108804048 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 17084 15940 728 1374 0 15705 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 68176
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10101
/proc/meminfo: memFree=1436060/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=77384 CPUtime=1121.95
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 16333390 0 0 0 92097 20098 0 0 25 0 1 0 2913644 79241216 18240 1992294400 4194304 9819077 140737108804048 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 19346 18240 728 1374 0 17967 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 77384
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10103
/proc/meminfo: memFree=1428620/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=84800 CPUtime=1181.93
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 17214292 0 0 0 96998 21195 0 0 25 0 1 0 2913644 86835200 20123 1992294400 4194304 9819077 140737108804048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 21200 20123 728 1374 0 19821 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 84800
[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10103
/proc/meminfo: memFree=1422296/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=92572 CPUtime=1241.91
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 18093077 0 0 0 101883 22308 0 0 25 0 1 0 2913644 94793728 21564 1992294400 4194304 9819077 140737108804048 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 23143 21564 728 1374 0 21764 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 92572
[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10105
/proc/meminfo: memFree=1416964/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=97732 CPUtime=1301.9
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 18969676 0 0 0 106782 23408 0 0 25 0 1 0 2913644 100077568 22850 1992294400 4194304 9819077 140737108804048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 24433 22850 728 1374 0 23054 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 97732
[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10107
/proc/meminfo: memFree=1412872/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=102716 CPUtime=1361.87
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 19844966 0 0 0 111679 24508 0 0 25 0 1 0 2913644 105181184 23870 1992294400 4194304 9819077 140737108804048 18446744073709551615 8655604 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 25480 23866 728 1374 0 24101 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 102716
[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10109
/proc/meminfo: memFree=1407044/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=107508 CPUtime=1421.87
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 20720880 0 0 0 116585 25602 0 0 25 0 1 0 2913644 110088192 25318 1992294400 4194304 9819077 140737108804048 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 26877 25318 728 1374 0 25498 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 107508
[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10120
/proc/meminfo: memFree=1402580/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=111876 CPUtime=1481.83
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 21600512 0 0 0 121469 26714 0 0 25 0 1 0 2913644 114561024 26420 1992294400 4194304 9819077 140737108804048 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 27969 26420 728 1374 0 26590 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 111876
[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10120
/proc/meminfo: memFree=1402084/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=111924 CPUtime=1541.81
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 22476278 0 0 0 126373 27808 0 0 25 0 1 0 2913644 114610176 26434 1992294400 4194304 9819077 140737108804048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 27821 26429 728 1374 0 26442 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 111924
[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10122
/proc/meminfo: memFree=1401588/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=112364 CPUtime=1601.79
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 23347550 0 0 0 131274 28905 0 0 25 0 1 0 2913644 115060736 26545 1992294400 4194304 9819077 140737108804048 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 27971 26541 728 1374 0 26592 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 112364
[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10124
/proc/meminfo: memFree=1401464/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=112260 CPUtime=1661.77
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 24212583 0 0 0 136170 30007 0 0 25 0 1 0 2913644 114954240 26560 1992294400 4194304 9819077 140737108804048 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 28105 26561 728 1374 0 26726 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 112260
[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10126
/proc/meminfo: memFree=1399604/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=114340 CPUtime=1721.75
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 25072651 0 0 0 141083 31092 0 0 25 0 1 0 2913644 117084160 27033 1992294400 4194304 9819077 140737108804048 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 28585 27033 728 1374 0 27206 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 114340
[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10128
/proc/meminfo: memFree=1397124/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=116524 CPUtime=1781.74
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 25945135 0 0 0 145981 32193 0 0 25 0 1 0 2913644 119320576 27594 1992294400 4194304 9819077 140737108804048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 29131 27594 728 1374 0 27752 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 116524
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10128
/proc/meminfo: memFree=1397124/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=116524 CPUtime=1800.04
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 26207661 0 0 0 147483 32521 0 0 25 0 1 0 2913644 119320576 27594 1992294400 4194304 9819077 140737108804048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10070/statm: 29131 27594 728 1374 0 27752 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 116524
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10128
/proc/meminfo: memFree=1397124/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=116524 CPUtime=1800.43
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 26207667 0 0 0 147522 32521 0 0 25 0 1 0 2913644 119320576 27595 1992294400 4194304 9819077 140737108804048 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10070/statm: 29131 27595 729 1374 0 27752 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (KiB) 116524
[startup+1801.1 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10128
/proc/meminfo: memFree=1397124/2059040 swapFree=4192956/4192956
[pid=10070] ppid=10068 vsize=116524 CPUtime=1800.53
/proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 26207667 0 0 0 147532 32521 0 0 25 0 1 0 2913644 119320576 27595 1992294400 4194304 9819077 140737108804048 18446744073709551615 6180581 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10070/statm: 29131 27595 729 1374 0 27752 0
Current children cumulated CPU time (s) 1800.53
Current children cumulated vsize (KiB) 116524
Child status: 0
Real time (s): 1801.17
CPU time (s): 1800.61
CPU user time (s): 1475.38
CPU system time (s): 325.232
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 117400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1475.38
system time used= 325.232
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26207671
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= 1712
runsolver used 3.05354 second user time and 8.46171 second system time
The end