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-2665662-1276613507.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.00
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.03 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.03 c 0.0s| 1 | 0 | 26 | - | 422k| 0 | 5 | 120 | 5 | 120 | 5 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 o 615
0.09/0.12 c y 0.1s| 1 | 0 | 26 | - | 452k| 0 | 5 | 120 | 5 | 120 | 5 | 0 | 0 | 0 | 0.000000e+00 | 6.150000e+02 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 32 | - | 581k| 0 | 8 | 120 | 102 | 120 | 9 | 4 | 0 | 0 | 0.000000e+00 | 6.150000e+02 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 40 | - | 612k| 0 | 13 | 120 | 102 | 120 | 13 | 8 | 0 | 0 | 0.000000e+00 | 6.150000e+02 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 50 | - | 634k| 0 | 12 | 120 | 102 | 120 | 16 | 11 | 0 | 0 | 0.000000e+00 | 6.150000e+02 | Inf
0.09/0.17 c 0.1s| 1 | 0 | 54 | - | 662k| 0 | 14 | 120 | 102 | 120 | 19 | 14 | 0 | 0 | 0.000000e+00 | 6.150000e+02 | Inf
0.09/0.18 c 0.1s| 1 | 0 | 60 | - | 685k| 0 | 17 | 120 | 102 | 120 | 21 | 16 | 0 | 0 | 0.000000e+00 | 6.150000e+02 | Inf
0.20/0.20 c 0.2s| 1 | 0 | 85 | - | 693k| 0 | 15 | 120 | 102 | 120 | 23 | 18 | 0 | 0 | 0.000000e+00 | 6.150000e+02 | Inf
0.20/0.26 c 0.2s| 1 | 2 | 85 | - | 694k| 0 | 15 | 120 | 102 | 120 | 23 | 18 | 0 | 9 | 0.000000e+00 | 6.150000e+02 | Inf
0.29/0.31 o 312
0.29/0.31 c c 0.3s| 17 | 18 | 215 | 8.1 | 750k| 16 | - | 120 | 102 | 120 | 15 | 18 | 1 | 80 | 0.000000e+00 | 3.120000e+02 | Inf
0.29/0.38 o 178
0.29/0.38 c f 0.3s| 45 | 46 | 367 | 6.4 | 754k| 24 | - | 120 | 102 | 120 | 15 | 18 | 1 | 150 | 0.000000e+00 | 1.780000e+02 | Inf
0.49/0.58 o 142
0.49/0.58 c f 0.5s| 182 | 180 | 1125 | 5.7 | 844k| 33 | - | 120 | 108 | 120 | 15 | 18 | 11 | 317 | 0.000000e+00 | 1.420000e+02 | Inf
0.59/0.60 o 140
0.59/0.60 c v 0.5s| 210 | 202 | 1229 | 5.5 | 855k| 33 | - | 120 | 108 | 120 | 15 | 18 | 15 | 334 | 0.000000e+00 | 1.400000e+02 | Inf
0.59/0.63 o 139
0.59/0.63 c l 0.5s| 225 | 215 | 1291 | 5.4 | 866k| 36 | - | 120 | 108 | 120 | 15 | 18 | 17 | 371 | 0.000000e+00 | 1.390000e+02 | Inf
0.69/0.72 o 66
0.69/0.72 c p 0.6s| 323 | 288 | 1762 | 5.2 | 907k| 36 | - | 120 | 109 | 120 | 15 | 18 | 20 | 380 | 0.000000e+00 | 6.600000e+01 | Inf
1.19/1.25 o 52
1.19/1.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.19/1.25 c c 1.1s| 889 | 815 | 4312 | 4.8 |1200k| 36 | - | 120 | 118 | 120 | 15 | 18 | 66 | 508 | 0.000000e+00 | 5.200000e+01 | Inf
1.29/1.37 o 50
1.29/1.37 c * 1.2s| 1023 | 930 | 4985 | 4.8 |1252k| 36 | - | 120 | 121 | 120 | 15 | 18 | 77 | 519 | 0.000000e+00 | 5.000000e+01 | Inf
1.29/1.37 o 46
1.29/1.37 c * 1.2s| 1024 | 926 | 4985 | 4.8 |1251k| 36 | - | 120 | 121 | 120 | 15 | 18 | 77 | 519 | 0.000000e+00 | 4.600000e+01 | Inf
1.69/1.77 o 44
1.69/1.77 c p 1.5s| 1442 | 1294 | 6892 | 4.7 |1465k| 36 | - | 120 | 130 | 120 | 15 | 18 | 136 | 546 | 0.000000e+00 | 4.400000e+01 | Inf
1.69/1.77 o 40
1.69/1.77 c f 1.5s| 1442 | 1275 | 6892 | 4.7 |1456k| 36 | - | 120 | 130 | 120 | 15 | 18 | 138 | 546 | 0.000000e+00 | 4.000000e+01 | Inf
2.10/2.20 o 32
2.10/2.20 c c 1.8s| 1941 | 1680 | 9265 | 4.7 |1680k| 36 | - | 120 | 141 | 120 | 15 | 18 | 192 | 556 | 0.000000e+00 | 3.200000e+01 | Inf
2.99/3.09 o 30
2.99/3.09 c g 2.6s| 2680 | 2317 | 14244 | 5.3 |1952k| 36 | - | 120 | 71 | 120 | 15 | 18 | 342 | 586 | 0.000000e+00 | 3.000000e+01 | Inf
3.39/3.40 o 29
3.39/3.40 c * 2.9s| 2931 | 2525 | 16209 | 5.5 |2042k| 36 | - | 120 | 77 | 120 | 15 | 18 | 383 | 597 | 0.000000e+00 | 2.900000e+01 | Inf
4.49/4.52 o 27
4.49/4.52 c * 3.9s| 3861 | 3263 | 23397 | 6.0 |2389k| 36 | - | 120 | 101 | 120 | 15 | 18 | 597 | 615 | 0.000000e+00 | 2.700000e+01 | Inf
4.49/4.53 o 25
4.49/4.53 c * 3.9s| 3862 | 3242 | 23397 | 6.0 |2377k| 36 | - | 120 | 101 | 120 | 15 | 18 | 597 | 615 | 0.000000e+00 | 2.500000e+01 | Inf
4.99/5.08 o 15
4.99/5.08 c f 4.3s| 4291 | 3264 | 26729 | 6.2 |2340k| 36 | - | 120 | 117 | 120 | 15 | 18 | 693 | 620 | 0.000000e+00 | 1.500000e+01 | Inf
9.80/9.83 c 8.4s| 10000 | 6533 | 54953 | 5.5 |3799k| 36 | 5 | 120 | 169 | 120 | 15 | 18 |1422 | 856 | 0.000000e+00 | 1.500000e+01 | Inf
11.78/11.82 o 13
11.78/11.82 c *10.1s| 13021 | 7762 | 67332 | 5.2 |4363k| 36 | - | 120 | 174 | 120 | 15 | 18 |1675 | 990 | 0.000000e+00 | 1.300000e+01 | Inf
11.78/11.83 o 11
11.78/11.83 c *10.1s| 13023 | 7669 | 67332 | 5.2 |4288k| 36 | - | 120 | 174 | 120 | 15 | 18 |1675 | 990 | 0.000000e+00 | 1.100000e+01 | Inf
11.78/11.83 o 9
11.78/11.83 c *10.1s| 13024 | 7537 | 67332 | 5.2 |4195k| 36 | - | 120 | 174 | 120 | 15 | 18 |1675 | 990 | 0.000000e+00 | 9.000000e+00 | Inf
16.29/16.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.29/16.31 c 13.7s| 20000 | 9389 | 93497 | 4.7 |5190k| 36 | 5 | 120 | 195 | 120 | 15 | 18 |2109 |1325 | 0.000000e+00 | 9.000000e+00 | Inf
23.18/23.24 c 19.5s| 30000 | 12785 |133946 | 4.5 |6855k| 36 | - | 120 | 248 | 0 | 0 | 18 |2811 |1727 | 0.000000e+00 | 9.000000e+00 | Inf
24.58/24.69 o 8
24.58/24.69 c *20.7s| 32480 | 13405 |143618 | 4.4 |7155k| 36 | - | 120 | 269 | 120 | 15 | 18 |2993 |1826 | 0.000000e+00 | 8.000000e+00 | Inf
29.18/29.24 c 24.4s| 40000 | 14977 |171300 | 4.3 |8048k| 36 | 5 | 120 | 325 | 120 | 15 | 18 |3558 |1985 | 0.000000e+00 | 8.000000e+00 | Inf
35.09/35.20 c 29.4s| 50000 | 15885 |207847 | 4.2 |8719k| 36 | 5 | 120 | 362 | 120 | 15 | 18 |4340 |2199 | 0.000000e+00 | 8.000000e+00 | Inf
36.38/36.42 o 7
36.38/36.42 c *30.4s| 52367 | 15825 |217142 | 4.1 |8670k| 36 | - | 120 | 372 | 120 | 15 | 18 |4481 |2264 | 0.000000e+00 | 7.000000e+00 | Inf
39.59/39.64 o 6
39.59/39.64 c *33.1s| 58011 | 16031 |237713 | 4.1 |8815k| 36 | - | 120 | 398 | 120 | 15 | 18 |4861 |2399 | 0.000000e+00 | 6.000000e+00 | Inf
39.59/39.64 o 4
39.59/39.64 c *33.1s| 58012 | 15605 |237713 | 4.1 |8409k| 36 | - | 120 | 398 | 120 | 15 | 18 |4861 |2399 | 0.000000e+00 | 4.000000e+00 | Inf
40.48/40.57 c 33.8s| 60000 | 15678 |244627 | 4.1 |8492k| 36 | 5 | 120 | 450 | 120 | 15 | 18 |5021 |2419 | 0.000000e+00 | 4.000000e+00 | Inf
45.98/46.04 c 38.4s| 70000 | 17230 |279252 | 4.0 |9386k| 36 | - | 120 | 599 | 120 | 15 | 18 |5699 |2535 | 0.000000e+00 | 4.000000e+00 | Inf
50.98/51.04 c 42.5s| 80000 | 18750 |314924 | 3.9 | 10M| 36 | - | 120 | 669 | 120 | 15 | 18 |6265 |2634 | 0.000000e+00 | 4.000000e+00 | Inf
56.38/56.42 c 47.0s| 90000 | 19275 |348493 | 3.9 | 10M| 36 | 5 | 120 | 795 | 120 | 15 | 18 |6922 |2720 | 0.000000e+00 | 4.000000e+00 | Inf
61.18/61.23 c 51.0s|100000 | 19128 |380971 | 3.8 | 10M| 36 | - | 120 | 766 | 0 | 0 | 18 |7553 |2810 | 0.000000e+00 | 4.000000e+00 | Inf
65.99/66.06 c 55.1s|110000 | 19341 |413042 | 3.8 | 11M| 36 | - | 120 | 827 | 120 | 15 | 18 |8289 |2919 | 0.000000e+00 | 4.000000e+00 | Inf
72.87/72.95 c 60.7s|120000 | 19498 |445385 | 3.7 | 11M| 36 | 5 | 120 | 647 | 120 | 15 | 18 |9011 |3012 | 0.000000e+00 | 4.000000e+00 | Inf
77.67/77.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.67/77.71 c 64.7s|130000 | 19046 |477322 | 3.7 | 10M| 36 | - | 120 | 454 | 120 | 15 | 18 |9743 |3100 | 0.000000e+00 | 4.000000e+00 | Inf
82.38/82.43 c 68.6s|140000 | 19226 |509617 | 3.6 | 10M| 36 | - | 120 | 434 | 120 | 15 | 18 | 10k|3191 | 0.000000e+00 | 4.000000e+00 | Inf
86.88/86.99 c 72.4s|150000 | 19070 |540492 | 3.6 | 10M| 36 | - | 120 | 432 | 120 | 15 | 18 | 11k|3272 | 0.000000e+00 | 4.000000e+00 | Inf
91.57/91.63 c 76.3s|160000 | 18865 |571815 | 3.6 | 10M| 36 | 5 | 120 | 525 | 120 | 15 | 18 | 11k|3360 | 0.000000e+00 | 4.000000e+00 | Inf
96.27/96.34 c 80.1s|170000 | 19141 |604681 | 3.6 | 10M| 36 | 5 | 120 | 424 | 120 | 15 | 18 | 12k|3472 | 0.000000e+00 | 4.000000e+00 | Inf
100.96/101.06 c 84.0s|180000 | 18877 |638441 | 3.5 | 10M| 36 | 5 | 120 | 403 | 120 | 15 | 18 | 13k|3572 | 0.000000e+00 | 4.000000e+00 | Inf
105.66/105.73 c 87.9s|190000 | 18739 |672479 | 3.5 | 10M| 36 | 5 | 120 | 417 | 120 | 15 | 18 | 13k|3693 | 0.000000e+00 | 4.000000e+00 | Inf
110.36/110.43 c 91.8s|200000 | 18595 |706248 | 3.5 | 10M| 36 | - | 120 | 406 | 120 | 15 | 18 | 14k|3823 | 0.000000e+00 | 4.000000e+00 | Inf
115.06/115.17 c 95.7s|210000 | 18577 |739769 | 3.5 | 10M| 36 | 5 | 120 | 393 | 120 | 15 | 18 | 15k|3958 | 0.000000e+00 | 4.000000e+00 | Inf
119.77/119.90 c 99.7s|220000 | 18772 |775142 | 3.5 | 10M| 36 | 5 | 120 | 376 | 120 | 15 | 18 | 15k|4063 | 0.000000e+00 | 4.000000e+00 | Inf
124.56/124.65 c 104s|230000 | 18501 |810584 | 3.5 | 10M| 36 | 5 | 120 | 348 | 120 | 15 | 18 | 16k|4203 | 0.000000e+00 | 4.000000e+00 | Inf
129.26/129.31 c 107s|240000 | 18637 |843927 | 3.5 | 10M| 36 | - | 120 | 366 | 120 | 15 | 18 | 16k|4300 | 0.000000e+00 | 4.000000e+00 | Inf
133.96/134.01 c 111s|250000 | 18463 |877905 | 3.5 | 10M| 36 | - | 120 | 359 | 0 | 0 | 18 | 17k|4430 | 0.000000e+00 | 4.000000e+00 | Inf
138.66/138.77 c 115s|260000 | 18285 |911742 | 3.5 | 10M| 36 | - | 120 | 380 | 120 | 15 | 18 | 18k|4567 | 0.000000e+00 | 4.000000e+00 | Inf
143.36/143.44 c 119s|270000 | 18094 |945650 | 3.5 | 10M| 36 | - | 120 | 387 | 120 | 15 | 18 | 18k|4684 | 0.000000e+00 | 4.000000e+00 | Inf
148.06/148.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
148.06/148.17 c 123s|280000 | 18172 |979109 | 3.5 | 10M| 36 | - | 120 | 425 | 120 | 15 | 18 | 19k|4804 | 0.000000e+00 | 4.000000e+00 | Inf
152.86/152.93 c 127s|290000 | 18104 | 1013k| 3.5 | 10M| 36 | 5 | 120 | 373 | 120 | 15 | 18 | 20k|4914 | 0.000000e+00 | 4.000000e+00 | Inf
157.55/157.65 c 131s|300000 | 17855 | 1047k| 3.5 | 10M| 36 | 5 | 120 | 364 | 120 | 15 | 18 | 20k|5012 | 0.000000e+00 | 4.000000e+00 | Inf
162.24/162.39 c 135s|310000 | 17670 | 1081k| 3.5 | 10M| 36 | 5 | 120 | 391 | 120 | 15 | 18 | 21k|5134 | 0.000000e+00 | 4.000000e+00 | Inf
166.84/166.98 c 139s|320000 | 17591 | 1112k| 3.5 | 10M| 37 | - | 120 | 428 | 120 | 15 | 18 | 22k|5279 | 0.000000e+00 | 4.000000e+00 | Inf
171.55/171.63 c 143s|330000 | 17668 | 1144k| 3.5 | 10M| 37 | - | 120 | 489 | 120 | 15 | 18 | 23k|5379 | 0.000000e+00 | 4.000000e+00 | Inf
176.15/176.27 c 146s|340000 | 17508 | 1175k| 3.5 | 10M| 38 | - | 120 | 450 | 0 | 0 | 18 | 23k|5464 | 0.000000e+00 | 4.000000e+00 | Inf
180.84/180.95 c 150s|350000 | 17594 | 1207k| 3.4 | 10M| 38 | 5 | 120 | 419 | 120 | 15 | 18 | 24k|5581 | 0.000000e+00 | 4.000000e+00 | Inf
185.64/185.71 c 154s|360000 | 18184 | 1240k| 3.4 | 10M| 38 | 5 | 120 | 423 | 120 | 15 | 18 | 25k|5661 | 0.000000e+00 | 4.000000e+00 | Inf
190.34/190.44 c 158s|370000 | 18372 | 1272k| 3.4 | 10M| 38 | - | 120 | 460 | 0 | 0 | 18 | 26k|5785 | 0.000000e+00 | 4.000000e+00 | Inf
194.93/195.06 c 162s|380000 | 18457 | 1304k| 3.4 | 10M| 38 | 5 | 120 | 517 | 120 | 15 | 18 | 26k|5846 | 0.000000e+00 | 4.000000e+00 | Inf
199.64/199.73 c 166s|390000 | 18675 | 1336k| 3.4 | 11M| 38 | 5 | 120 | 611 | 120 | 15 | 18 | 27k|5932 | 0.000000e+00 | 4.000000e+00 | Inf
204.24/204.31 c 170s|400000 | 18622 | 1366k| 3.4 | 11M| 38 | - | 120 | 537 | 120 | 15 | 18 | 28k|6014 | 0.000000e+00 | 4.000000e+00 | Inf
208.85/208.94 c 174s|410000 | 18577 | 1398k| 3.4 | 11M| 38 | - | 120 | 524 | 120 | 15 | 18 | 29k|6100 | 0.000000e+00 | 4.000000e+00 | Inf
213.54/213.63 c 177s|420000 | 18411 | 1430k| 3.4 | 11M| 38 | 5 | 120 | 538 | 120 | 15 | 18 | 29k|6178 | 0.000000e+00 | 4.000000e+00 | Inf
218.23/218.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
218.23/218.34 c 181s|430000 | 18265 | 1463k| 3.4 | 10M| 38 | - | 120 | 506 | 120 | 15 | 18 | 30k|6277 | 0.000000e+00 | 4.000000e+00 | Inf
222.84/222.95 c 185s|440000 | 18020 | 1495k| 3.4 | 10M| 38 | 5 | 120 | 443 | 120 | 15 | 18 | 31k|6356 | 0.000000e+00 | 4.000000e+00 | Inf
227.43/227.59 c 189s|450000 | 17926 | 1528k| 3.4 | 10M| 38 | - | 120 | 413 | 120 | 15 | 18 | 31k|6472 | 0.000000e+00 | 4.000000e+00 | Inf
232.03/232.20 c 193s|460000 | 17818 | 1560k| 3.4 | 10M| 38 | - | 120 | 422 | 120 | 15 | 18 | 32k|6556 | 0.000000e+00 | 4.000000e+00 | Inf
236.72/236.89 c 197s|470000 | 17719 | 1593k| 3.4 | 10M| 38 | - | 120 | 438 | 0 | 0 | 18 | 33k|6695 | 0.000000e+00 | 4.000000e+00 | Inf
241.43/241.57 c 201s|480000 | 17723 | 1625k| 3.4 | 10M| 38 | - | 120 | 477 | 0 | 0 | 18 | 34k|6801 | 0.000000e+00 | 4.000000e+00 | Inf
246.13/246.25 c 205s|490000 | 17803 | 1658k| 3.4 | 10M| 38 | 5 | 120 | 504 | 120 | 15 | 18 | 34k|6895 | 0.000000e+00 | 4.000000e+00 | Inf
250.83/250.98 c 209s|500000 | 17956 | 1692k| 3.4 | 10M| 38 | 5 | 120 | 506 | 120 | 15 | 18 | 35k|6968 | 0.000000e+00 | 4.000000e+00 | Inf
255.52/255.66 c 212s|510000 | 17687 | 1725k| 3.4 | 10M| 38 | 5 | 120 | 443 | 120 | 15 | 18 | 36k|7063 | 0.000000e+00 | 4.000000e+00 | Inf
260.12/260.25 c 216s|520000 | 17488 | 1757k| 3.4 | 10M| 38 | 5 | 120 | 411 | 120 | 15 | 18 | 36k|7144 | 0.000000e+00 | 4.000000e+00 | Inf
264.82/264.90 c 220s|530000 | 17079 | 1789k| 3.4 |9782k| 38 | 5 | 120 | 432 | 120 | 15 | 18 | 37k|7235 | 0.000000e+00 | 4.000000e+00 | Inf
269.52/269.64 c 224s|540000 | 17713 | 1823k| 3.4 | 10M| 38 | 5 | 120 | 446 | 120 | 15 | 18 | 38k|7329 | 0.000000e+00 | 4.000000e+00 | Inf
274.22/274.35 c 228s|550000 | 17692 | 1857k| 3.4 | 10M| 38 | 5 | 120 | 410 | 120 | 15 | 18 | 38k|7431 | 0.000000e+00 | 4.000000e+00 | Inf
278.92/279.06 c 232s|560000 | 17653 | 1891k| 3.4 | 10M| 38 | 5 | 120 | 408 | 120 | 15 | 18 | 39k|7517 | 0.000000e+00 | 4.000000e+00 | Inf
283.62/283.78 c 236s|570000 | 17561 | 1925k| 3.4 | 10M| 38 | - | 120 | 394 | 0 | 0 | 18 | 40k|7592 | 0.000000e+00 | 4.000000e+00 | Inf
288.31/288.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
288.31/288.46 c 240s|580000 | 17388 | 1958k| 3.4 | 10M| 38 | - | 120 | 430 | 120 | 15 | 18 | 40k|7674 | 0.000000e+00 | 4.000000e+00 | Inf
293.01/293.10 c 243s|590000 | 17204 | 1991k| 3.4 | 10M| 38 | - | 120 | 343 | 120 | 15 | 18 | 41k|7773 | 0.000000e+00 | 4.000000e+00 | Inf
297.71/297.89 c 247s|600000 | 17042 | 2026k| 3.4 |9678k| 38 | 5 | 120 | 342 | 120 | 15 | 18 | 42k|7903 | 0.000000e+00 | 4.000000e+00 | Inf
302.61/302.78 c 251s|610000 | 18608 | 2061k| 3.4 | 10M| 39 | 5 | 120 | 373 | 120 | 15 | 18 | 42k|7997 | 0.000000e+00 | 4.000000e+00 | Inf
307.41/307.51 c 255s|620000 | 19018 | 2094k| 3.4 | 10M| 39 | - | 120 | 351 | 120 | 15 | 18 | 43k|8102 | 0.000000e+00 | 4.000000e+00 | Inf
312.11/312.23 c 259s|630000 | 19337 | 2128k| 3.4 | 11M| 39 | - | 120 | 335 | 120 | 15 | 18 | 44k|8181 | 0.000000e+00 | 4.000000e+00 | Inf
316.80/316.96 c 263s|640000 | 20148 | 2162k| 3.4 | 11M| 39 | 5 | 120 | 411 | 120 | 15 | 18 | 44k|8249 | 0.000000e+00 | 4.000000e+00 | Inf
321.60/321.70 c 267s|650000 | 20497 | 2195k| 3.4 | 12M| 39 | 5 | 120 | 397 | 120 | 15 | 18 | 45k|8324 | 0.000000e+00 | 4.000000e+00 | Inf
326.31/326.42 c 271s|660000 | 20968 | 2229k| 3.4 | 12M| 39 | 5 | 120 | 380 | 120 | 15 | 18 | 46k|8385 | 0.000000e+00 | 4.000000e+00 | Inf
330.91/331.07 c 275s|670000 | 20898 | 2261k| 3.4 | 12M| 39 | 5 | 120 | 342 | 120 | 15 | 18 | 46k|8469 | 0.000000e+00 | 4.000000e+00 | Inf
335.60/335.70 c 279s|680000 | 20852 | 2293k| 3.4 | 12M| 39 | 5 | 120 | 375 | 120 | 15 | 18 | 47k|8550 | 0.000000e+00 | 4.000000e+00 | Inf
340.20/340.35 c 283s|690000 | 20747 | 2326k| 3.4 | 12M| 39 | 5 | 120 | 357 | 120 | 15 | 18 | 47k|8610 | 0.000000e+00 | 4.000000e+00 | Inf
344.80/344.97 c 287s|700000 | 20939 | 2359k| 3.4 | 13M| 39 | 5 | 120 | 382 | 120 | 15 | 18 | 48k|8664 | 0.000000e+00 | 4.000000e+00 | Inf
349.49/349.62 c 290s|710000 | 20571 | 2391k| 3.4 | 13M| 39 | - | 120 | 322 | 120 | 15 | 18 | 49k|8729 | 0.000000e+00 | 4.000000e+00 | Inf
354.20/354.31 c 294s|720000 | 20539 | 2425k| 3.4 | 13M| 39 | - | 120 | 368 | 120 | 15 | 18 | 50k|8810 | 0.000000e+00 | 4.000000e+00 | Inf
358.89/359.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
358.89/359.02 c 298s|730000 | 20104 | 2458k| 3.4 | 13M| 39 | 5 | 120 | 310 | 120 | 15 | 18 | 50k|8925 | 0.000000e+00 | 4.000000e+00 | Inf
363.70/363.86 c 302s|740000 | 20800 | 2492k| 3.4 | 13M| 39 | - | 120 | 305 | 120 | 15 | 18 | 51k|9039 | 0.000000e+00 | 4.000000e+00 | Inf
368.40/368.54 c 306s|750000 | 20924 | 2525k| 3.4 | 13M| 39 | 5 | 120 | 254 | 120 | 15 | 18 | 51k|9126 | 0.000000e+00 | 4.000000e+00 | Inf
373.19/373.32 c 310s|760000 | 21381 | 2558k| 3.4 | 14M| 39 | 5 | 120 | 284 | 120 | 15 | 18 | 52k|9291 | 0.000000e+00 | 4.000000e+00 | Inf
377.69/377.89 c 314s|770000 | 21653 | 2592k| 3.4 | 14M| 39 | - | 120 | 323 | 120 | 15 | 18 | 53k|9321 | 0.000000e+00 | 4.000000e+00 | Inf
382.48/382.61 c 318s|780000 | 22192 | 2625k| 3.4 | 14M| 39 | 5 | 120 | 260 | 120 | 15 | 18 | 53k|9376 | 0.000000e+00 | 4.000000e+00 | Inf
387.19/387.31 c 322s|790000 | 22335 | 2660k| 3.4 | 15M| 39 | - | 120 | 234 | 120 | 15 | 18 | 54k|9447 | 0.000000e+00 | 4.000000e+00 | Inf
391.79/391.98 c 326s|800000 | 22094 | 2693k| 3.4 | 15M| 39 | - | 120 | 225 | 0 | 0 | 18 | 55k|9499 | 0.000000e+00 | 4.000000e+00 | Inf
396.48/396.61 c 329s|810000 | 21931 | 2726k| 3.4 | 15M| 39 | - | 120 | 236 | 120 | 15 | 18 | 55k|9566 | 0.000000e+00 | 4.000000e+00 | Inf
401.08/401.28 c 333s|820000 | 21971 | 2759k| 3.4 | 15M| 39 | 5 | 120 | 242 | 120 | 15 | 18 | 56k|9628 | 0.000000e+00 | 4.000000e+00 | Inf
405.69/405.89 c 337s|830000 | 21651 | 2791k| 3.4 | 15M| 39 | - | 120 | 254 | 120 | 15 | 18 | 56k|9674 | 0.000000e+00 | 4.000000e+00 | Inf
410.38/410.56 c 341s|840000 | 21579 | 2824k| 3.4 | 15M| 39 | - | 120 | 279 | 120 | 15 | 18 | 57k|9709 | 0.000000e+00 | 4.000000e+00 | Inf
415.08/415.20 c 345s|850000 | 21563 | 2856k| 3.4 | 15M| 39 | - | 120 | 292 | 120 | 15 | 18 | 58k|9758 | 0.000000e+00 | 4.000000e+00 | Inf
419.78/419.94 c 349s|860000 | 21924 | 2889k| 3.4 | 15M| 39 | - | 120 | 315 | 120 | 15 | 18 | 59k|9822 | 0.000000e+00 | 4.000000e+00 | Inf
424.39/424.59 c 353s|870000 | 22144 | 2922k| 3.4 | 15M| 39 | - | 120 | 276 | 120 | 15 | 18 | 59k|9845 | 0.000000e+00 | 4.000000e+00 | Inf
428.97/429.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
428.97/429.15 c 356s|880000 | 22170 | 2955k| 3.4 | 15M| 43 | 5 | 120 | 240 | 120 | 15 | 18 | 60k|9888 | 0.000000e+00 | 4.000000e+00 | Inf
435.68/435.88 c 362s|890000 | 22062 | 2988k| 3.4 | 15M| 43 | 5 | 120 | 161 | 120 | 15 | 18 | 60k|9942 | 0.000000e+00 | 4.000000e+00 | Inf
440.28/440.47 c 366s|900000 | 22675 | 3020k| 3.4 | 16M| 43 | 5 | 120 | 177 | 120 | 15 | 18 | 61k|9985 | 0.000000e+00 | 4.000000e+00 | Inf
444.87/445.07 c 369s|910000 | 23801 | 3055k| 3.4 | 17M| 43 | 5 | 120 | 173 | 120 | 15 | 18 | 62k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
449.47/449.64 c 373s|920000 | 24603 | 3089k| 3.4 | 17M| 43 | - | 120 | 144 | 0 | 0 | 18 | 62k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
453.97/454.18 c 377s|930000 | 25006 | 3122k| 3.4 | 18M| 43 | 5 | 120 | 155 | 120 | 15 | 18 | 63k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
458.57/458.75 c 381s|940000 | 25468 | 3155k| 3.4 | 18M| 43 | - | 120 | 176 | 0 | 0 | 18 | 64k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
463.17/463.32 c 384s|950000 | 25865 | 3188k| 3.4 | 19M| 43 | - | 120 | 196 | 120 | 15 | 18 | 64k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
467.66/467.83 c 388s|960000 | 26270 | 3221k| 3.4 | 19M| 43 | 5 | 120 | 187 | 120 | 15 | 18 | 65k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
472.26/472.42 c 392s|970000 | 26428 | 3254k| 3.4 | 20M| 43 | 5 | 120 | 198 | 120 | 15 | 18 | 66k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
476.76/476.96 c 396s|980000 | 26645 | 3286k| 3.4 | 20M| 43 | 5 | 120 | 247 | 120 | 15 | 18 | 66k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
481.26/481.45 c 400s|990000 | 26812 | 3317k| 3.4 | 20M| 43 | 5 | 120 | 242 | 120 | 15 | 18 | 67k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
485.86/486.03 c 403s| 1000k| 26719 | 3350k| 3.4 | 20M| 43 | 5 | 120 | 209 | 120 | 15 | 18 | 68k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
490.36/490.60 c 407s| 1010k| 26673 | 3383k| 3.3 | 20M| 43 | 5 | 120 | 198 | 120 | 15 | 18 | 68k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
494.96/495.16 c 411s| 1020k| 26547 | 3416k| 3.3 | 20M| 43 | - | 120 | 211 | 120 | 15 | 18 | 69k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
499.56/499.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
499.56/499.76 c 415s| 1030k| 26445 | 3448k| 3.3 | 21M| 43 | - | 120 | 203 | 120 | 15 | 18 | 70k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
504.06/504.28 c 418s| 1040k| 26633 | 3479k| 3.3 | 21M| 43 | - | 120 | 223 | 0 | 0 | 18 | 70k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
508.65/508.85 c 422s| 1050k| 26390 | 3511k| 3.3 | 21M| 43 | - | 120 | 181 | 120 | 15 | 18 | 71k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
513.26/513.40 c 426s| 1060k| 26277 | 3543k| 3.3 | 21M| 43 | 5 | 120 | 207 | 120 | 15 | 18 | 72k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
517.65/517.88 c 430s| 1070k| 26646 | 3574k| 3.3 | 21M| 43 | 5 | 120 | 234 | 120 | 15 | 18 | 72k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
522.36/522.51 c 434s| 1080k| 26306 | 3605k| 3.3 | 21M| 43 | 5 | 120 | 207 | 120 | 15 | 18 | 73k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
526.95/527.14 c 437s| 1090k| 26784 | 3639k| 3.3 | 22M| 43 | - | 120 | 222 | 0 | 0 | 18 | 74k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
531.54/531.75 c 441s| 1100k| 27115 | 3671k| 3.3 | 22M| 43 | 5 | 120 | 204 | 120 | 15 | 18 | 74k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
536.24/536.43 c 445s| 1110k| 27705 | 3705k| 3.3 | 22M| 43 | - | 120 | 196 | 120 | 15 | 18 | 75k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
540.85/541.07 c 449s| 1120k| 27542 | 3737k| 3.3 | 23M| 43 | 5 | 120 | 218 | 120 | 15 | 18 | 76k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
545.45/545.64 c 453s| 1130k| 27803 | 3769k| 3.3 | 23M| 43 | 5 | 120 | 217 | 120 | 15 | 18 | 77k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
550.05/550.25 c 457s| 1140k| 27472 | 3801k| 3.3 | 23M| 43 | - | 120 | 253 | 0 | 0 | 18 | 77k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
554.74/554.90 c 460s| 1150k| 27725 | 3834k| 3.3 | 23M| 43 | - | 120 | 275 | 120 | 15 | 18 | 78k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
559.23/559.46 c 464s| 1160k| 27842 | 3865k| 3.3 | 23M| 43 | 5 | 120 | 327 | 120 | 15 | 18 | 79k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
564.04/564.26 c 468s| 1170k| 28551 | 3903k| 3.3 | 24M| 43 | 5 | 120 | 237 | 120 | 15 | 18 | 79k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
568.83/569.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
568.83/569.01 c 472s| 1180k| 29141 | 3943k| 3.3 | 25M| 43 | - | 120 | 198 | 120 | 15 | 18 | 80k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
573.53/573.75 c 476s| 1190k| 29711 | 3981k| 3.3 | 25M| 43 | - | 120 | 149 | 120 | 15 | 18 | 80k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
578.23/578.42 c 480s| 1200k| 30020 | 4017k| 3.3 | 26M| 43 | 5 | 120 | 204 | 120 | 15 | 18 | 81k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
582.93/583.17 c 484s| 1210k| 29961 | 4054k| 3.4 | 26M| 43 | 5 | 120 | 162 | 120 | 15 | 18 | 81k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
587.52/587.79 c 488s| 1220k| 30884 | 4087k| 3.4 | 26M| 43 | 5 | 120 | 231 | 120 | 15 | 18 | 82k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
592.22/592.45 c 491s| 1230k| 31505 | 4120k| 3.3 | 27M| 43 | 5 | 120 | 221 | 120 | 15 | 18 | 82k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
596.82/597.06 c 495s| 1240k| 32178 | 4154k| 3.3 | 28M| 43 | - | 120 | 223 | 120 | 15 | 18 | 83k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
601.42/601.62 c 499s| 1250k| 33138 | 4186k| 3.3 | 28M| 43 | 5 | 120 | 215 | 120 | 15 | 18 | 83k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
605.92/606.19 c 503s| 1260k| 33401 | 4218k| 3.3 | 29M| 43 | - | 120 | 230 | 120 | 15 | 18 | 84k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
610.51/610.78 c 507s| 1270k| 33424 | 4249k| 3.3 | 29M| 43 | 5 | 120 | 255 | 120 | 15 | 18 | 85k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
615.12/615.34 c 510s| 1280k| 33290 | 4281k| 3.3 | 29M| 43 | - | 120 | 268 | 120 | 15 | 18 | 85k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
619.71/619.99 c 514s| 1290k| 34136 | 4313k| 3.3 | 29M| 43 | 5 | 120 | 242 | 120 | 15 | 18 | 86k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
624.42/624.61 c 518s| 1300k| 34736 | 4346k| 3.3 | 30M| 43 | 5 | 120 | 239 | 120 | 15 | 18 | 87k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
629.02/629.25 c 522s| 1310k| 35021 | 4380k| 3.3 | 30M| 43 | 5 | 120 | 256 | 120 | 15 | 18 | 87k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
633.61/633.81 c 526s| 1320k| 35317 | 4412k| 3.3 | 31M| 43 | - | 120 | 261 | 120 | 15 | 18 | 88k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
638.11/638.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
638.11/638.37 c 529s| 1330k| 35133 | 4444k| 3.3 | 31M| 43 | - | 120 | 258 | 120 | 15 | 18 | 88k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
642.80/643.02 c 533s| 1340k| 34856 | 4477k| 3.3 | 31M| 43 | 5 | 120 | 245 | 120 | 15 | 18 | 89k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
647.41/647.65 c 537s| 1350k| 34542 | 4510k| 3.3 | 31M| 43 | - | 120 | 249 | 120 | 15 | 18 | 89k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
652.11/652.31 c 541s| 1360k| 34164 | 4542k| 3.3 | 31M| 43 | 5 | 120 | 234 | 120 | 15 | 18 | 90k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
656.81/657.04 c 545s| 1370k| 33703 | 4575k| 3.3 | 30M| 43 | 5 | 120 | 243 | 120 | 15 | 18 | 91k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
661.51/661.72 c 549s| 1380k| 34004 | 4609k| 3.3 | 31M| 43 | - | 120 | 232 | 120 | 15 | 18 | 91k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
666.20/666.41 c 553s| 1390k| 33689 | 4641k| 3.3 | 31M| 43 | 5 | 120 | 293 | 120 | 15 | 18 | 92k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
670.90/671.11 c 557s| 1400k| 33677 | 4674k| 3.3 | 31M| 43 | - | 120 | 298 | 120 | 15 | 18 | 93k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
675.50/675.79 c 560s| 1410k| 33761 | 4708k| 3.3 | 31M| 43 | - | 120 | 345 | 0 | 0 | 18 | 94k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
680.20/680.45 c 564s| 1420k| 33536 | 4741k| 3.3 | 31M| 43 | 5 | 120 | 316 | 120 | 15 | 18 | 94k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
684.90/685.16 c 568s| 1430k| 33171 | 4773k| 3.3 | 31M| 43 | - | 120 | 318 | 120 | 15 | 18 | 95k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
689.59/689.89 c 572s| 1440k| 32663 | 4805k| 3.3 | 31M| 43 | - | 120 | 299 | 120 | 15 | 18 | 96k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
694.30/694.58 c 576s| 1450k| 32636 | 4838k| 3.3 | 31M| 43 | - | 120 | 338 | 120 | 15 | 18 | 96k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
699.00/699.23 c 580s| 1460k| 32285 | 4870k| 3.3 | 31M| 43 | 5 | 120 | 324 | 120 | 15 | 18 | 97k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
703.59/703.89 c 584s| 1470k| 31997 | 4902k| 3.3 | 31M| 43 | - | 120 | 307 | 120 | 15 | 18 | 98k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
708.29/708.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
708.29/708.58 c 588s| 1480k| 31884 | 4935k| 3.3 | 31M| 43 | 5 | 120 | 313 | 120 | 15 | 18 | 98k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
712.99/713.20 c 591s| 1490k| 32026 | 4967k| 3.3 | 31M| 43 | 5 | 120 | 374 | 120 | 15 | 18 | 99k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
717.49/717.76 c 595s| 1500k| 32520 | 5000k| 3.3 | 31M| 43 | - | 120 | 384 | 120 | 15 | 18 | 100k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
722.19/722.40 c 599s| 1510k| 32499 | 5031k| 3.3 | 32M| 43 | - | 120 | 339 | 120 | 15 | 18 | 100k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
726.79/727.07 c 603s| 1520k| 31831 | 5063k| 3.3 | 31M| 43 | - | 120 | 348 | 120 | 15 | 18 | 101k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
731.49/731.79 c 607s| 1530k| 31565 | 5095k| 3.3 | 31M| 43 | 5 | 120 | 311 | 120 | 15 | 18 | 102k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
736.19/736.41 c 611s| 1540k| 32102 | 5128k| 3.3 | 32M| 43 | 5 | 120 | 319 | 120 | 15 | 18 | 102k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
740.78/741.06 c 615s| 1550k| 32241 | 5160k| 3.3 | 32M| 43 | - | 120 | 314 | 120 | 15 | 18 | 103k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
745.49/745.72 c 618s| 1560k| 31952 | 5192k| 3.3 | 32M| 43 | - | 120 | 322 | 120 | 15 | 18 | 104k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
750.18/750.42 c 622s| 1570k| 31991 | 5225k| 3.3 | 32M| 43 | 5 | 120 | 265 | 120 | 15 | 18 | 105k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
754.78/755.06 c 626s| 1580k| 32768 | 5257k| 3.3 | 33M| 43 | 5 | 120 | 282 | 120 | 15 | 18 | 105k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
759.48/759.73 c 630s| 1590k| 32960 | 5290k| 3.3 | 33M| 43 | 5 | 120 | 302 | 120 | 15 | 18 | 106k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
764.18/764.44 c 634s| 1600k| 32633 | 5322k| 3.3 | 33M| 43 | - | 120 | 302 | 120 | 15 | 18 | 107k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
768.98/769.20 c 638s| 1610k| 33026 | 5358k| 3.3 | 34M| 43 | - | 120 | 303 | 120 | 15 | 18 | 107k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
773.67/773.96 c 642s| 1620k| 33197 | 5395k| 3.3 | 34M| 43 | 5 | 120 | 321 | 120 | 15 | 18 | 108k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
778.48/778.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
778.48/778.74 c 646s| 1630k| 34269 | 5431k| 3.3 | 35M| 43 | - | 120 | 302 | 120 | 15 | 18 | 109k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
783.17/783.48 c 650s| 1640k| 35101 | 5467k| 3.3 | 35M| 43 | - | 120 | 332 | 120 | 15 | 18 | 109k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
787.87/788.13 c 654s| 1650k| 35624 | 5501k| 3.3 | 36M| 43 | 5 | 120 | 320 | 120 | 15 | 18 | 110k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
792.47/792.79 c 657s| 1660k| 36038 | 5535k| 3.3 | 36M| 43 | - | 120 | 353 | 120 | 15 | 18 | 110k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
797.17/797.42 c 661s| 1670k| 36363 | 5569k| 3.3 | 37M| 43 | 5 | 120 | 339 | 120 | 15 | 18 | 111k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
801.77/802.03 c 665s| 1680k| 36728 | 5602k| 3.3 | 37M| 43 | - | 120 | 353 | 120 | 15 | 18 | 112k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
806.46/806.73 c 669s| 1690k| 36652 | 5635k| 3.3 | 38M| 43 | 5 | 120 | 376 | 120 | 15 | 18 | 112k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
811.16/811.40 c 673s| 1700k| 36484 | 5668k| 3.3 | 38M| 43 | 5 | 120 | 369 | 120 | 15 | 18 | 113k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
815.76/816.04 c 677s| 1710k| 36290 | 5700k| 3.3 | 38M| 43 | - | 120 | 402 | 120 | 15 | 18 | 114k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
820.46/820.74 c 681s| 1720k| 36474 | 5734k| 3.3 | 38M| 43 | 5 | 120 | 372 | 120 | 15 | 18 | 114k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
825.16/825.44 c 684s| 1730k| 36114 | 5767k| 3.3 | 38M| 44 | - | 120 | 354 | 120 | 15 | 18 | 115k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
829.96/830.24 c 688s| 1740k| 35256 | 5800k| 3.3 | 38M| 44 | - | 120 | 342 | 0 | 0 | 18 | 116k| 13k| 0.000000e+00 | 4.000000e+00 | Inf
834.67/834.96 c 692s| 1750k| 35200 | 5834k| 3.3 | 38M| 44 | - | 120 | 346 | 0 | 0 | 18 | 117k| 13k| 0.000000e+00 | 4.000000e+00 | Inf
839.35/839.60 c 696s| 1760k| 35040 | 5865k| 3.3 | 38M| 44 | 5 | 120 | 360 | 120 | 15 | 18 | 117k| 13k| 0.000000e+00 | 4.000000e+00 | Inf
844.05/844.39 c 700s| 1770k| 34583 | 5897k| 3.3 | 38M| 44 | - | 120 | 306 | 120 | 15 | 18 | 118k| 13k| 0.000000e+00 | 4.000000e+00 | Inf
848.86/849.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
848.86/849.18 c 704s| 1780k| 34108 | 5929k| 3.3 | 38M| 44 | - | 120 | 316 | 120 | 15 | 18 | 119k| 13k| 0.000000e+00 | 4.000000e+00 | Inf
853.66/853.92 c 708s| 1790k| 33941 | 5962k| 3.3 | 38M| 44 | - | 120 | 283 | 0 | 0 | 18 | 120k| 13k| 0.000000e+00 | 4.000000e+00 | Inf
858.35/858.62 c 712s| 1800k| 34436 | 5995k| 3.3 | 38M| 44 | - | 120 | 305 | 120 | 15 | 18 | 120k| 13k| 0.000000e+00 | 4.000000e+00 | Inf
862.96/863.26 c 716s| 1810k| 34326 | 6028k| 3.3 | 38M| 44 | - | 120 | 345 | 120 | 15 | 18 | 121k| 13k| 0.000000e+00 | 4.000000e+00 | Inf
867.66/867.98 c 720s| 1820k| 33866 | 6059k| 3.3 | 38M| 44 | 5 | 120 | 352 | 120 | 15 | 18 | 122k| 13k| 0.000000e+00 | 4.000000e+00 | Inf
872.45/872.78 c 724s| 1830k| 34002 | 6091k| 3.3 | 38M| 44 | 5 | 120 | 293 | 120 | 15 | 18 | 123k| 13k| 0.000000e+00 | 4.000000e+00 | Inf
877.15/877.49 c 728s| 1840k| 33744 | 6123k| 3.3 | 38M| 44 | - | 120 | 249 | 120 | 15 | 18 | 124k| 13k| 0.000000e+00 | 4.000000e+00 | Inf
881.86/882.19 c 732s| 1850k| 33590 | 6156k| 3.3 | 38M| 44 | 5 | 120 | 255 | 120 | 15 | 18 | 124k| 13k| 0.000000e+00 | 4.000000e+00 | Inf
886.65/886.90 c 735s| 1860k| 33753 | 6190k| 3.3 | 39M| 44 | 5 | 120 | 245 | 120 | 15 | 18 | 125k| 13k| 0.000000e+00 | 4.000000e+00 | Inf
891.24/891.59 c 739s| 1870k| 33523 | 6222k| 3.3 | 39M| 44 | - | 120 | 243 | 120 | 15 | 18 | 126k| 13k| 0.000000e+00 | 4.000000e+00 | Inf
895.85/896.19 c 743s| 1880k| 34146 | 6255k| 3.3 | 39M| 44 | 5 | 120 | 258 | 120 | 15 | 18 | 127k| 13k| 0.000000e+00 | 4.000000e+00 | Inf
900.55/900.85 c 747s| 1890k| 33736 | 6287k| 3.3 | 39M| 44 | 5 | 120 | 255 | 120 | 15 | 18 | 127k| 13k| 0.000000e+00 | 4.000000e+00 | Inf
905.24/905.58 c 751s| 1900k| 33606 | 6319k| 3.3 | 39M| 44 | 5 | 120 | 315 | 120 | 15 | 18 | 128k| 13k| 0.000000e+00 | 4.000000e+00 | Inf
909.94/910.22 c 755s| 1910k| 33945 | 6352k| 3.3 | 40M| 44 | 5 | 120 | 253 | 120 | 15 | 18 | 129k| 13k| 0.000000e+00 | 4.000000e+00 | Inf
914.54/914.87 c 759s| 1920k| 34573 | 6385k| 3.3 | 40M| 44 | 5 | 120 | 302 | 120 | 15 | 18 | 129k| 13k| 0.000000e+00 | 4.000000e+00 | Inf
919.13/919.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
919.13/919.42 c 762s| 1930k| 35229 | 6418k| 3.3 | 41M| 44 | - | 120 | 304 | 120 | 15 | 18 | 130k| 13k| 0.000000e+00 | 4.000000e+00 | Inf
923.74/924.04 c 766s| 1940k| 35188 | 6450k| 3.3 | 41M| 44 | 5 | 120 | 317 | 120 | 15 | 18 | 131k| 13k| 0.000000e+00 | 4.000000e+00 | Inf
928.33/928.63 c 770s| 1950k| 34637 | 6482k| 3.3 | 41M| 44 | 5 | 120 | 299 | 120 | 15 | 18 | 131k| 13k| 0.000000e+00 | 4.000000e+00 | Inf
932.93/933.26 c 774s| 1960k| 33910 | 6513k| 3.3 | 40M| 44 | - | 120 | 311 | 120 | 15 | 18 | 132k| 13k| 0.000000e+00 | 4.000000e+00 | Inf
937.63/937.98 c 778s| 1970k| 36274 | 6546k| 3.3 | 42M| 44 | 5 | 120 | 314 | 120 | 15 | 18 | 133k| 13k| 0.000000e+00 | 4.000000e+00 | Inf
942.23/942.52 c 781s| 1980k| 37395 | 6578k| 3.3 | 42M| 44 | 5 | 120 | 317 | 120 | 15 | 18 | 134k| 13k| 0.000000e+00 | 4.000000e+00 | Inf
946.74/947.09 c 785s| 1990k| 38186 | 6609k| 3.3 | 43M| 44 | 5 | 120 | 323 | 120 | 15 | 18 | 134k| 13k| 0.000000e+00 | 4.000000e+00 | Inf
951.32/951.67 c 789s| 2000k| 38708 | 6641k| 3.3 | 44M| 44 | 5 | 120 | 328 | 120 | 15 | 18 | 135k| 13k| 0.000000e+00 | 4.000000e+00 | Inf
955.93/956.26 c 793s| 2010k| 40131 | 6673k| 3.3 | 45M| 44 | - | 120 | 331 | 120 | 15 | 18 | 135k| 13k| 0.000000e+00 | 4.000000e+00 | Inf
960.52/960.80 c 797s| 2020k| 40618 | 6704k| 3.3 | 45M| 44 | 5 | 120 | 323 | 120 | 15 | 18 | 136k| 13k| 0.000000e+00 | 4.000000e+00 | Inf
965.02/965.37 c 800s| 2030k| 41394 | 6736k| 3.3 | 46M| 44 | - | 120 | 328 | 120 | 15 | 18 | 137k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
969.62/969.91 c 804s| 2040k| 41790 | 6767k| 3.3 | 46M| 44 | 5 | 120 | 349 | 120 | 15 | 18 | 137k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
974.23/974.52 c 808s| 2050k| 41849 | 6798k| 3.3 | 46M| 44 | - | 120 | 311 | 120 | 15 | 18 | 138k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
978.82/979.15 c 812s| 2060k| 41830 | 6830k| 3.3 | 47M| 44 | 5 | 120 | 337 | 120 | 15 | 18 | 138k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
983.42/983.71 c 816s| 2070k| 41659 | 6860k| 3.3 | 47M| 44 | - | 120 | 348 | 120 | 15 | 18 | 139k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
988.01/988.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
988.01/988.31 c 820s| 2080k| 41351 | 6892k| 3.3 | 47M| 44 | 5 | 120 | 325 | 120 | 15 | 18 | 140k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
992.61/992.99 c 823s| 2090k| 41197 | 6923k| 3.3 | 47M| 44 | - | 120 | 342 | 120 | 15 | 18 | 141k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
997.21/997.59 c 827s| 2100k| 40824 | 6954k| 3.3 | 47M| 44 | - | 120 | 350 | 0 | 0 | 18 | 141k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1001.91/1002.23 c 831s| 2110k| 40308 | 6985k| 3.3 | 47M| 44 | 5 | 120 | 336 | 120 | 15 | 18 | 142k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1006.51/1006.87 c 835s| 2120k| 40033 | 7017k| 3.3 | 47M| 44 | 5 | 120 | 367 | 120 | 15 | 18 | 143k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1011.21/1011.53 c 839s| 2130k| 39305 | 7048k| 3.3 | 47M| 44 | 5 | 120 | 346 | 120 | 15 | 18 | 143k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1015.81/1016.11 c 843s| 2140k| 38922 | 7079k| 3.3 | 47M| 44 | 5 | 120 | 342 | 120 | 15 | 18 | 144k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1020.41/1020.78 c 846s| 2150k| 38135 | 7109k| 3.3 | 46M| 44 | 5 | 120 | 352 | 120 | 15 | 18 | 145k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1025.10/1025.44 c 850s| 2160k| 38763 | 7141k| 3.3 | 47M| 44 | - | 120 | 325 | 120 | 15 | 18 | 146k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1029.70/1030.00 c 854s| 2170k| 39429 | 7173k| 3.3 | 47M| 44 | - | 120 | 349 | 120 | 15 | 18 | 146k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1034.40/1034.71 c 858s| 2180k| 40791 | 7207k| 3.3 | 48M| 44 | - | 120 | 288 | 120 | 15 | 18 | 147k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1039.00/1039.35 c 862s| 2190k| 41439 | 7240k| 3.3 | 49M| 44 | - | 120 | 247 | 120 | 15 | 18 | 147k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1043.60/1043.94 c 866s| 2200k| 42053 | 7273k| 3.3 | 50M| 44 | 5 | 120 | 249 | 120 | 15 | 18 | 148k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1048.19/1048.56 c 869s| 2210k| 42013 | 7305k| 3.3 | 50M| 44 | 5 | 120 | 258 | 120 | 15 | 18 | 149k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1052.89/1053.24 c 873s| 2220k| 42993 | 7339k| 3.3 | 51M| 44 | 5 | 120 | 194 | 120 | 15 | 18 | 149k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1057.50/1057.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1057.50/1057.87 c 877s| 2230k| 43629 | 7372k| 3.3 | 51M| 44 | 5 | 120 | 236 | 120 | 15 | 18 | 150k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1062.09/1062.46 c 881s| 2240k| 45023 | 7404k| 3.3 | 52M| 44 | - | 120 | 211 | 120 | 15 | 18 | 151k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1066.70/1067.04 c 885s| 2250k| 46421 | 7437k| 3.3 | 53M| 44 | 5 | 120 | 248 | 120 | 15 | 18 | 151k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1071.29/1071.62 c 889s| 2260k| 47234 | 7469k| 3.3 | 54M| 44 | 5 | 120 | 256 | 120 | 15 | 18 | 152k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1075.79/1076.15 c 892s| 2270k| 47931 | 7501k| 3.3 | 54M| 44 | 5 | 120 | 227 | 120 | 15 | 18 | 152k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1080.39/1080.74 c 896s| 2280k| 48304 | 7532k| 3.3 | 55M| 44 | - | 120 | 209 | 0 | 0 | 18 | 153k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1084.98/1085.31 c 900s| 2290k| 49234 | 7563k| 3.3 | 56M| 44 | 5 | 120 | 196 | 120 | 15 | 18 | 154k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1089.48/1089.84 c 904s| 2300k| 49693 | 7594k| 3.3 | 56M| 44 | - | 120 | 203 | 120 | 15 | 18 | 154k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1093.99/1094.37 c 907s| 2310k| 50580 | 7627k| 3.3 | 57M| 44 | - | 120 | 193 | 120 | 15 | 18 | 155k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1098.49/1098.90 c 911s| 2320k| 51068 | 7658k| 3.3 | 57M| 44 | - | 120 | 205 | 0 | 0 | 18 | 156k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1103.08/1103.47 c 915s| 2330k| 51479 | 7690k| 3.3 | 58M| 44 | - | 120 | 230 | 120 | 15 | 18 | 156k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1107.68/1108.09 c 919s| 2340k| 52131 | 7722k| 3.3 | 59M| 44 | 5 | 120 | 204 | 120 | 15 | 18 | 157k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1112.28/1112.69 c 923s| 2350k| 52647 | 7755k| 3.3 | 59M| 44 | 5 | 120 | 240 | 120 | 15 | 18 | 158k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1116.87/1117.24 c 926s| 2360k| 53018 | 7786k| 3.3 | 60M| 44 | 5 | 120 | 240 | 120 | 15 | 18 | 158k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1121.47/1121.88 c 930s| 2370k| 53841 | 7819k| 3.3 | 60M| 44 | 5 | 120 | 189 | 120 | 15 | 18 | 159k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1126.08/1126.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1126.08/1126.46 c 934s| 2380k| 54239 | 7853k| 3.3 | 61M| 44 | 5 | 120 | 203 | 120 | 15 | 18 | 159k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1130.67/1131.09 c 938s| 2390k| 55053 | 7885k| 3.3 | 61M| 44 | 5 | 120 | 259 | 120 | 15 | 18 | 160k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1135.27/1135.67 c 942s| 2400k| 55768 | 7917k| 3.3 | 62M| 44 | - | 120 | 270 | 120 | 15 | 18 | 161k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1139.86/1140.27 c 945s| 2410k| 56045 | 7949k| 3.3 | 62M| 44 | 5 | 120 | 170 | 120 | 15 | 18 | 161k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1144.47/1144.82 c 949s| 2420k| 56469 | 7980k| 3.3 | 63M| 44 | 5 | 120 | 205 | 120 | 15 | 18 | 162k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1149.07/1149.43 c 953s| 2430k| 56676 | 8012k| 3.3 | 63M| 44 | 5 | 120 | 206 | 120 | 15 | 18 | 163k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1153.66/1154.00 c 957s| 2440k| 56850 | 8044k| 3.3 | 64M| 44 | - | 120 | 216 | 120 | 15 | 18 | 164k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1158.26/1158.60 c 960s| 2450k| 58290 | 8078k| 3.3 | 65M| 44 | - | 120 | 208 | 120 | 15 | 18 | 164k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1162.86/1163.22 c 964s| 2460k| 59264 | 8111k| 3.3 | 65M| 44 | - | 120 | 172 | 120 | 15 | 18 | 165k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1167.46/1167.87 c 968s| 2470k| 60734 | 8146k| 3.3 | 66M| 44 | - | 120 | 161 | 120 | 15 | 18 | 165k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1172.06/1172.48 c 972s| 2480k| 61628 | 8180k| 3.3 | 67M| 44 | - | 120 | 168 | 120 | 15 | 18 | 166k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1176.75/1177.11 c 976s| 2490k| 62146 | 8213k| 3.3 | 68M| 44 | 5 | 120 | 155 | 120 | 15 | 18 | 166k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1181.36/1181.73 c 980s| 2500k| 63262 | 8247k| 3.3 | 68M| 44 | - | 120 | 129 | 120 | 15 | 18 | 167k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1185.96/1186.33 c 983s| 2510k| 64022 | 8281k| 3.3 | 69M| 44 | 5 | 120 | 126 | 120 | 15 | 18 | 167k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1190.55/1190.96 c 987s| 2520k| 65133 | 8315k| 3.3 | 70M| 44 | - | 120 | 127 | 120 | 15 | 18 | 168k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1195.15/1195.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1195.15/1195.57 c 991s| 2530k| 65692 | 8349k| 3.3 | 71M| 44 | 5 | 120 | 137 | 120 | 15 | 18 | 168k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1199.75/1200.18 c 995s| 2540k| 66593 | 8383k| 3.3 | 71M| 44 | 5 | 120 | 119 | 120 | 15 | 18 | 169k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1204.34/1204.79 c 999s| 2550k| 67047 | 8416k| 3.3 | 72M| 44 | - | 120 | 181 | 120 | 15 | 18 | 170k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1209.05/1209.45 c 1003s| 2560k| 67413 | 8450k| 3.3 | 72M| 44 | - | 120 | 145 | 120 | 15 | 18 | 170k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1213.74/1214.10 c 1007s| 2570k| 67641 | 8484k| 3.3 | 73M| 44 | 5 | 120 | 176 | 120 | 15 | 18 | 171k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1218.35/1218.72 c 1010s| 2580k| 68151 | 8518k| 3.3 | 73M| 44 | 5 | 120 | 169 | 120 | 15 | 18 | 171k| 14k| 0.000000e+00 | 4.000000e+00 | Inf
1222.94/1223.33 c 1014s| 2590k| 68366 | 8552k| 3.3 | 74M| 44 | - | 120 | 161 | 120 | 15 | 18 | 172k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1227.54/1227.96 c 1018s| 2600k| 68726 | 8585k| 3.3 | 74M| 44 | - | 120 | 161 | 120 | 15 | 18 | 172k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1232.14/1232.56 c 1022s| 2610k| 68876 | 8619k| 3.3 | 74M| 44 | 5 | 120 | 151 | 120 | 15 | 18 | 173k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1236.73/1237.11 c 1026s| 2620k| 69631 | 8652k| 3.3 | 75M| 44 | 5 | 120 | 150 | 120 | 15 | 18 | 174k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1241.34/1241.70 c 1029s| 2630k| 69769 | 8685k| 3.3 | 75M| 44 | 5 | 120 | 142 | 120 | 15 | 18 | 174k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1245.94/1246.35 c 1033s| 2640k| 70201 | 8719k| 3.3 | 76M| 44 | 5 | 120 | 158 | 120 | 15 | 18 | 175k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1250.53/1250.96 c 1037s| 2650k| 70691 | 8752k| 3.3 | 76M| 44 | 5 | 120 | 161 | 120 | 15 | 18 | 175k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1255.13/1255.57 c 1041s| 2660k| 70978 | 8785k| 3.3 | 77M| 44 | - | 120 | 190 | 120 | 15 | 18 | 176k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1259.73/1260.18 c 1045s| 2670k| 71132 | 8819k| 3.3 | 77M| 44 | 5 | 120 | 155 | 120 | 15 | 18 | 176k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1264.33/1264.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1264.33/1264.77 c 1048s| 2680k| 72000 | 8851k| 3.3 | 78M| 44 | - | 120 | 146 | 120 | 15 | 18 | 177k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1268.83/1269.28 c 1052s| 2690k| 72311 | 8883k| 3.3 | 78M| 44 | 5 | 120 | 179 | 120 | 15 | 18 | 178k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1273.43/1273.88 c 1056s| 2700k| 72935 | 8915k| 3.3 | 79M| 44 | - | 120 | 194 | 120 | 15 | 18 | 178k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1278.02/1278.48 c 1060s| 2710k| 73222 | 8948k| 3.3 | 79M| 44 | 5 | 120 | 185 | 120 | 15 | 18 | 179k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1282.73/1283.14 c 1064s| 2720k| 73458 | 8981k| 3.3 | 80M| 44 | - | 120 | 214 | 120 | 15 | 18 | 180k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1287.42/1287.84 c 1068s| 2730k| 73217 | 9015k| 3.3 | 80M| 44 | 5 | 120 | 173 | 120 | 15 | 18 | 180k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1292.03/1292.46 c 1071s| 2740k| 73747 | 9049k| 3.3 | 80M| 44 | 5 | 120 | 156 | 120 | 15 | 18 | 181k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1296.72/1297.12 c 1075s| 2750k| 73870 | 9084k| 3.3 | 81M| 44 | - | 120 | 186 | 120 | 15 | 18 | 181k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1301.31/1301.75 c 1079s| 2760k| 74007 | 9117k| 3.3 | 81M| 44 | - | 120 | 245 | 120 | 15 | 18 | 182k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1306.01/1306.42 c 1083s| 2770k| 73821 | 9149k| 3.3 | 81M| 44 | - | 120 | 165 | 120 | 15 | 18 | 183k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1310.51/1310.96 c 1087s| 2780k| 74083 | 9181k| 3.3 | 82M| 44 | - | 120 | 201 | 120 | 15 | 18 | 183k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1315.12/1315.59 c 1090s| 2790k| 74117 | 9214k| 3.3 | 82M| 44 | 5 | 120 | 190 | 120 | 15 | 18 | 184k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1319.81/1320.23 c 1094s| 2800k| 73985 | 9246k| 3.3 | 82M| 44 | - | 120 | 221 | 120 | 15 | 18 | 184k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1324.41/1324.81 c 1098s| 2810k| 74217 | 9279k| 3.3 | 82M| 44 | 5 | 120 | 195 | 120 | 15 | 18 | 185k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1329.01/1329.47 c 1102s| 2820k| 74513 | 9312k| 3.3 | 83M| 44 | 5 | 120 | 223 | 120 | 15 | 18 | 186k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1333.71/1334.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1333.71/1334.11 c 1106s| 2830k| 74437 | 9344k| 3.3 | 83M| 44 | 5 | 120 | 203 | 120 | 15 | 18 | 186k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1338.32/1338.75 c 1110s| 2840k| 74516 | 9377k| 3.3 | 84M| 44 | 5 | 120 | 205 | 120 | 15 | 18 | 187k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1342.90/1343.38 c 1113s| 2850k| 74599 | 9410k| 3.3 | 84M| 44 | 5 | 120 | 209 | 120 | 15 | 18 | 188k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1347.61/1348.08 c 1117s| 2860k| 74421 | 9443k| 3.3 | 84M| 44 | - | 120 | 191 | 120 | 15 | 18 | 188k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1352.30/1352.71 c 1121s| 2870k| 74556 | 9476k| 3.3 | 84M| 44 | 5 | 120 | 233 | 120 | 15 | 18 | 189k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1356.91/1357.37 c 1125s| 2880k| 74489 | 9508k| 3.3 | 85M| 44 | 5 | 120 | 245 | 120 | 15 | 18 | 190k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1361.49/1361.99 c 1129s| 2890k| 74518 | 9540k| 3.3 | 85M| 44 | 5 | 120 | 241 | 120 | 15 | 18 | 190k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1366.09/1366.58 c 1133s| 2900k| 74932 | 9571k| 3.3 | 86M| 44 | 5 | 120 | 246 | 120 | 15 | 18 | 191k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1370.79/1371.21 c 1136s| 2910k| 75016 | 9604k| 3.3 | 86M| 44 | - | 120 | 197 | 0 | 0 | 18 | 192k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1375.39/1375.82 c 1140s| 2920k| 74750 | 9635k| 3.3 | 86M| 44 | - | 120 | 182 | 120 | 15 | 18 | 192k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1380.00/1380.48 c 1144s| 2930k| 74615 | 9667k| 3.3 | 86M| 44 | 5 | 120 | 183 | 120 | 15 | 18 | 193k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1384.69/1385.12 c 1148s| 2940k| 74574 | 9700k| 3.3 | 86M| 44 | 5 | 120 | 224 | 120 | 15 | 18 | 194k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1389.29/1389.78 c 1152s| 2950k| 74412 | 9732k| 3.3 | 87M| 44 | - | 120 | 193 | 120 | 15 | 18 | 194k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1393.99/1394.45 c 1156s| 2960k| 74503 | 9765k| 3.3 | 87M| 44 | - | 120 | 227 | 120 | 15 | 18 | 195k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1398.69/1399.11 c 1160s| 2970k| 74424 | 9796k| 3.3 | 87M| 44 | - | 120 | 186 | 120 | 15 | 18 | 196k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1403.28/1403.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1403.28/1403.79 c 1163s| 2980k| 74245 | 9829k| 3.3 | 87M| 44 | 5 | 120 | 179 | 120 | 15 | 18 | 196k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1407.98/1408.44 c 1167s| 2990k| 74255 | 9862k| 3.3 | 88M| 44 | 5 | 120 | 208 | 120 | 15 | 18 | 197k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1412.58/1413.03 c 1171s| 3000k| 74483 | 9894k| 3.3 | 88M| 44 | - | 120 | 249 | 120 | 15 | 18 | 198k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1417.28/1417.73 c 1175s| 3010k| 74453 | 9927k| 3.3 | 88M| 44 | - | 120 | 195 | 120 | 15 | 18 | 198k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1421.89/1422.38 c 1179s| 3020k| 74418 | 9960k| 3.3 | 89M| 44 | - | 120 | 184 | 120 | 15 | 18 | 199k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1426.58/1427.06 c 1183s| 3030k| 74282 | 9992k| 3.3 | 89M| 44 | - | 120 | 212 | 120 | 15 | 18 | 200k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1431.27/1431.72 c 1187s| 3040k| 74141 | 10024k| 3.3 | 89M| 44 | - | 120 | 210 | 120 | 15 | 18 | 201k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1435.88/1436.37 c 1190s| 3050k| 74023 | 10056k| 3.3 | 89M| 44 | - | 120 | 215 | 120 | 15 | 18 | 201k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1440.58/1441.05 c 1194s| 3060k| 73993 | 10087k| 3.3 | 89M| 44 | 5 | 120 | 216 | 120 | 15 | 18 | 202k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1445.18/1445.68 c 1198s| 3070k| 74112 | 10120k| 3.3 | 90M| 44 | 5 | 120 | 247 | 120 | 15 | 18 | 203k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1449.87/1450.31 c 1202s| 3080k| 74069 | 10152k| 3.3 | 90M| 44 | - | 120 | 256 | 120 | 15 | 18 | 203k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1454.47/1454.95 c 1206s| 3090k| 73955 | 10183k| 3.3 | 90M| 44 | - | 120 | 241 | 120 | 15 | 18 | 204k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1459.18/1459.62 c 1210s| 3100k| 73750 | 10216k| 3.3 | 90M| 44 | 5 | 120 | 253 | 120 | 15 | 18 | 205k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1463.86/1464.34 c 1214s| 3110k| 73585 | 10248k| 3.3 | 91M| 44 | - | 120 | 211 | 120 | 15 | 18 | 206k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1468.56/1469.02 c 1218s| 3120k| 73481 | 10281k| 3.3 | 91M| 44 | 5 | 120 | 222 | 120 | 15 | 18 | 206k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1473.27/1473.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1473.27/1473.70 c 1221s| 3130k| 73251 | 10313k| 3.3 | 91M| 44 | 5 | 120 | 204 | 120 | 15 | 18 | 207k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1477.86/1478.39 c 1225s| 3140k| 72916 | 10345k| 3.3 | 91M| 44 | 5 | 120 | 223 | 120 | 15 | 18 | 208k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1482.66/1483.11 c 1229s| 3150k| 72614 | 10378k| 3.3 | 91M| 44 | 5 | 120 | 221 | 120 | 15 | 18 | 208k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1487.35/1487.83 c 1233s| 3160k| 72396 | 10411k| 3.3 | 91M| 44 | - | 120 | 207 | 120 | 15 | 18 | 209k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1491.95/1492.49 c 1237s| 3170k| 72243 | 10442k| 3.3 | 91M| 44 | 5 | 120 | 239 | 120 | 15 | 18 | 210k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1496.66/1497.14 c 1241s| 3180k| 72065 | 10474k| 3.3 | 91M| 44 | 5 | 120 | 219 | 120 | 15 | 18 | 211k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1501.36/1501.80 c 1245s| 3190k| 72064 | 10506k| 3.3 | 92M| 44 | - | 120 | 237 | 120 | 15 | 18 | 211k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1505.95/1506.46 c 1249s| 3200k| 72003 | 10538k| 3.3 | 92M| 44 | - | 120 | 237 | 120 | 15 | 18 | 212k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1510.55/1511.06 c 1252s| 3210k| 71985 | 10570k| 3.3 | 92M| 44 | - | 120 | 215 | 120 | 15 | 18 | 213k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1515.26/1515.75 c 1256s| 3220k| 71944 | 10602k| 3.3 | 92M| 44 | - | 120 | 240 | 120 | 15 | 18 | 213k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1519.95/1520.45 c 1260s| 3230k| 71667 | 10634k| 3.3 | 93M| 44 | - | 120 | 229 | 120 | 15 | 18 | 214k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1524.64/1525.15 c 1264s| 3240k| 71641 | 10665k| 3.3 | 93M| 44 | - | 120 | 221 | 120 | 15 | 18 | 215k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1529.15/1529.66 c 1268s| 3250k| 72065 | 10696k| 3.3 | 93M| 44 | 5 | 120 | 236 | 120 | 15 | 18 | 215k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1533.75/1534.22 c 1272s| 3260k| 71976 | 10727k| 3.3 | 93M| 44 | 5 | 120 | 174 | 120 | 15 | 18 | 216k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1538.46/1538.93 c 1276s| 3270k| 71466 | 10759k| 3.3 | 93M| 44 | 5 | 120 | 194 | 120 | 15 | 18 | 217k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1543.14/1543.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1543.14/1543.60 c 1279s| 3280k| 71344 | 10792k| 3.3 | 94M| 44 | - | 120 | 238 | 120 | 15 | 18 | 217k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1547.74/1548.29 c 1283s| 3290k| 70995 | 10824k| 3.3 | 94M| 44 | - | 120 | 217 | 120 | 15 | 18 | 218k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1552.44/1552.95 c 1287s| 3300k| 70925 | 10858k| 3.3 | 94M| 44 | - | 120 | 240 | 120 | 15 | 18 | 219k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1557.15/1557.63 c 1291s| 3310k| 70471 | 10889k| 3.3 | 94M| 44 | 5 | 120 | 223 | 120 | 15 | 18 | 219k| 15k| 0.000000e+00 | 4.000000e+00 | Inf
1561.84/1562.35 c 1295s| 3320k| 70752 | 10923k| 3.3 | 94M| 44 | - | 120 | 189 | 120 | 15 | 18 | 220k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1566.54/1567.04 c 1299s| 3330k| 70476 | 10957k| 3.3 | 94M| 44 | - | 120 | 191 | 120 | 15 | 18 | 220k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1571.13/1571.68 c 1303s| 3340k| 70484 | 10990k| 3.3 | 94M| 44 | - | 120 | 204 | 120 | 15 | 18 | 221k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1575.74/1576.30 c 1306s| 3350k| 71007 | 11022k| 3.3 | 95M| 44 | - | 120 | 236 | 120 | 15 | 18 | 222k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1580.33/1580.84 c 1310s| 3360k| 70968 | 11053k| 3.3 | 95M| 44 | - | 120 | 212 | 0 | 0 | 18 | 222k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1585.03/1585.54 c 1314s| 3370k| 70593 | 11084k| 3.3 | 95M| 44 | - | 120 | 199 | 0 | 0 | 18 | 223k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1589.73/1590.26 c 1318s| 3380k| 70329 | 11117k| 3.3 | 95M| 44 | - | 120 | 233 | 120 | 15 | 18 | 224k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1594.43/1594.90 c 1322s| 3390k| 70160 | 11148k| 3.3 | 95M| 44 | 5 | 120 | 235 | 120 | 15 | 18 | 225k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1599.02/1599.56 c 1326s| 3400k| 69961 | 11179k| 3.3 | 95M| 44 | 5 | 120 | 218 | 120 | 15 | 18 | 225k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1603.72/1604.23 c 1330s| 3410k| 69758 | 11211k| 3.3 | 95M| 44 | - | 120 | 193 | 0 | 0 | 18 | 226k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1608.32/1608.88 c 1333s| 3420k| 69627 | 11244k| 3.3 | 96M| 44 | - | 120 | 223 | 120 | 15 | 18 | 227k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1613.02/1613.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1613.02/1613.59 c 1337s| 3430k| 69192 | 11275k| 3.3 | 95M| 44 | 5 | 120 | 208 | 120 | 15 | 18 | 227k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1617.62/1618.13 c 1341s| 3440k| 69739 | 11307k| 3.3 | 96M| 44 | - | 120 | 243 | 0 | 0 | 18 | 228k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1622.32/1622.81 c 1345s| 3450k| 69170 | 11339k| 3.3 | 96M| 44 | - | 120 | 209 | 120 | 15 | 18 | 229k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1626.92/1627.43 c 1349s| 3460k| 69147 | 11371k| 3.3 | 96M| 44 | - | 120 | 216 | 120 | 15 | 18 | 229k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1631.51/1632.09 c 1353s| 3470k| 69167 | 11404k| 3.3 | 96M| 44 | 5 | 120 | 239 | 120 | 15 | 18 | 230k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1636.32/1636.85 c 1357s| 3480k| 68778 | 11436k| 3.3 | 96M| 44 | - | 120 | 194 | 120 | 15 | 18 | 231k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1640.91/1641.49 c 1360s| 3490k| 68673 | 11469k| 3.3 | 97M| 44 | 5 | 120 | 219 | 120 | 15 | 18 | 231k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1645.51/1646.09 c 1364s| 3500k| 68711 | 11501k| 3.3 | 97M| 44 | 5 | 120 | 290 | 120 | 15 | 18 | 232k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1650.31/1650.86 c 1368s| 3510k| 68387 | 11533k| 3.3 | 97M| 44 | 5 | 120 | 206 | 120 | 15 | 18 | 233k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1655.01/1655.59 c 1372s| 3520k| 68051 | 11566k| 3.3 | 97M| 44 | - | 120 | 169 | 120 | 15 | 18 | 234k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1659.70/1660.24 c 1376s| 3530k| 67905 | 11598k| 3.3 | 97M| 44 | - | 120 | 189 | 120 | 15 | 18 | 234k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1664.40/1664.91 c 1380s| 3540k| 67626 | 11629k| 3.3 | 97M| 44 | 5 | 120 | 211 | 120 | 15 | 18 | 235k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1669.00/1669.54 c 1384s| 3550k| 67640 | 11662k| 3.3 | 97M| 44 | - | 120 | 267 | 120 | 15 | 18 | 236k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1673.61/1674.20 c 1387s| 3560k| 67550 | 11693k| 3.3 | 97M| 44 | - | 120 | 267 | 120 | 15 | 18 | 236k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1678.30/1678.85 c 1391s| 3570k| 67642 | 11726k| 3.3 | 98M| 44 | 5 | 120 | 254 | 120 | 15 | 18 | 237k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1682.90/1683.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1682.90/1683.46 c 1395s| 3580k| 67530 | 11756k| 3.3 | 98M| 44 | - | 120 | 301 | 120 | 15 | 18 | 238k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1687.60/1688.15 c 1399s| 3590k| 67491 | 11788k| 3.3 | 98M| 44 | 5 | 120 | 265 | 120 | 15 | 18 | 238k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1692.20/1692.78 c 1403s| 3600k| 67371 | 11820k| 3.3 | 98M| 44 | - | 120 | 310 | 120 | 15 | 18 | 239k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1696.90/1697.44 c 1407s| 3610k| 69415 | 11852k| 3.3 | 99M| 44 | 5 | 120 | 263 | 120 | 15 | 18 | 240k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1701.39/1701.95 c 1410s| 3620k| 70992 | 11884k| 3.3 | 100M| 44 | 5 | 120 | 254 | 120 | 15 | 18 | 240k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1705.89/1706.46 c 1414s| 3630k| 72248 | 11915k| 3.3 | 101M| 44 | 5 | 120 | 264 | 120 | 15 | 18 | 241k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1710.49/1711.00 c 1418s| 3640k| 73223 | 11946k| 3.3 | 102M| 44 | 5 | 120 | 275 | 120 | 15 | 18 | 241k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1714.99/1715.50 c 1422s| 3650k| 74181 | 11976k| 3.3 | 103M| 44 | - | 120 | 262 | 120 | 15 | 18 | 242k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1719.48/1720.06 c 1425s| 3660k| 74773 | 12007k| 3.3 | 103M| 44 | - | 120 | 279 | 0 | 0 | 18 | 243k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1723.99/1724.57 c 1429s| 3670k| 75404 | 12037k| 3.3 | 104M| 44 | - | 120 | 311 | 120 | 15 | 18 | 243k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1728.59/1729.11 c 1433s| 3680k| 75897 | 12068k| 3.3 | 104M| 44 | 5 | 120 | 295 | 120 | 15 | 18 | 244k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1733.10/1733.60 c 1437s| 3690k| 76469 | 12098k| 3.3 | 105M| 44 | - | 120 | 293 | 120 | 15 | 18 | 244k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1737.59/1738.15 c 1441s| 3700k| 76881 | 12129k| 3.3 | 105M| 44 | 5 | 120 | 265 | 120 | 15 | 18 | 245k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1742.19/1742.71 c 1444s| 3710k| 77025 | 12159k| 3.3 | 106M| 44 | 5 | 120 | 272 | 120 | 15 | 18 | 246k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1746.68/1747.28 c 1448s| 3720k| 77078 | 12190k| 3.3 | 106M| 44 | - | 120 | 289 | 120 | 15 | 18 | 246k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1751.18/1751.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1751.18/1751.74 c 1452s| 3730k| 78051 | 12220k| 3.3 | 107M| 44 | 5 | 120 | 296 | 120 | 15 | 18 | 247k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1755.67/1756.21 c 1456s| 3740k| 78560 | 12250k| 3.3 | 107M| 44 | 5 | 120 | 310 | 120 | 15 | 18 | 247k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1760.18/1760.74 c 1459s| 3750k| 78641 | 12280k| 3.3 | 107M| 44 | - | 120 | 332 | 120 | 15 | 18 | 248k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1764.68/1765.29 c 1463s| 3760k| 78955 | 12310k| 3.3 | 108M| 44 | 5 | 120 | 292 | 120 | 15 | 18 | 249k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1769.29/1769.80 c 1467s| 3770k| 79378 | 12340k| 3.3 | 108M| 44 | - | 120 | 315 | 120 | 15 | 18 | 250k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1773.78/1774.37 c 1471s| 3780k| 79595 | 12372k| 3.3 | 109M| 44 | 5 | 120 | 293 | 120 | 15 | 18 | 250k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1778.37/1778.92 c 1474s| 3790k| 79448 | 12402k| 3.3 | 109M| 44 | 5 | 120 | 304 | 120 | 15 | 18 | 251k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1782.87/1783.48 c 1478s| 3800k| 79391 | 12432k| 3.3 | 109M| 44 | - | 120 | 281 | 120 | 15 | 18 | 251k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1787.47/1788.07 c 1482s| 3810k| 79172 | 12462k| 3.3 | 109M| 44 | 5 | 120 | 308 | 120 | 15 | 18 | 252k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1792.07/1792.63 c 1486s| 3820k| 79029 | 12493k| 3.3 | 109M| 44 | 5 | 120 | 293 | 120 | 15 | 18 | 253k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1796.66/1797.23 c 1490s| 3830k| 78780 | 12523k| 3.3 | 109M| 44 | - | 120 | 297 | 120 | 15 | 18 | 253k| 16k| 0.000000e+00 | 4.000000e+00 | Inf
1800.09/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.61 c
1800.09/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.61 c Solving Time (sec) : 1492.40
1800.09/1800.61 c Solving Nodes : 3837363
1800.09/1800.61 c Primal Bound : +3.99999999999981e+00 (28 solutions)
1800.09/1800.61 c Dual Bound : +0.00000000000000e+00
1800.09/1800.61 c Gap : infinite
1800.09/1800.61 s SATISFIABLE
1800.09/1800.61 v x120 -x119 x118 -x117 x116 -x115 -x114 x113 x112 x111 -x110 x109 -x108 x107 -x106 -x105 x104 x103 -x102 -x101 x100 x99 -x98 x97
1800.09/1800.61 v x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 x88 x87 -x86 -x85 x84 x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70
1800.09/1800.61 v -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45
1800.09/1800.61 v -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20
1800.09/1800.61 v -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.09/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.61 c Solving Time : 1492.40
1800.09/1800.61 c Original Problem :
1800.09/1800.61 c Problem name : HOME/instance-2665662-1276613507.opb
1800.09/1800.61 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.61 c Constraints : 10 initial, 10 maximal
1800.09/1800.61 c Presolved Problem :
1800.09/1800.61 c Problem name : t_HOME/instance-2665662-1276613507.opb
1800.09/1800.61 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.61 c Constraints : 5 initial, 838 maximal
1800.09/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c linear : 0.00 0 0 0 0 0 5 0 0
1800.09/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c root node : - 60 - - 60 - - - -
1800.09/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.61 c integral : 0 0 0 1978584 0 1091 8455 0 0 3938096
1800.09/1800.61 c linear : 5+ 7 5000563 1 0 544252 3560723 0 0 0
1800.09/1800.61 c logicor : 0+ 0 2476455 0 0 7967 120640 0 0 0
1800.09/1800.61 c countsols : 0 0 0 12 0 0 0 0 0 0
1800.09/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.61 c integral : 24.54 0.00 0.00 24.54 0.00
1800.09/1800.61 c linear : 237.89 0.00 237.89 0.00 0.00
1800.09/1800.61 c logicor : 22.55 0.00 22.55 0.00 0.00
1800.09/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.61 c vbounds : 2.43 2 0 0
1800.09/1800.61 c rootredcost : 2.33 25 0 60
1800.09/1800.61 c pseudoobj : 32.81 5001137 762 286838
1800.09/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.61 c propagation : 27.00 552981 150070 203374 35.3 11 27.7 -
1800.09/1800.61 c infeasible LP : 5.60 96517 96323 110098 20.5 29 27.3 0
1800.09/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.09/1800.61 c applied globally : - - - 116488 20.2 - - -
1800.09/1800.61 c applied locally : - - - 137986 36.2 - - -
1800.09/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.61 c cut pool : 0.00 5 - - 18 - (maximal pool size: 68)
1800.09/1800.61 c redcost : 28.08 2274166 0 4238048 0 0
1800.09/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.09/1800.61 c intobj : 0.00 0 0 0 0 0
1800.09/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.61 c gomory : 0.00 6 0 0 0 0
1800.09/1800.61 c strongcg : 0.00 6 0 0 15 0
1800.09/1800.61 c cmir : 0.04 6 0 0 30 0
1800.09/1800.61 c flowcover : 0.01 6 0 0 41 0
1800.09/1800.61 c clique : 0.00 1 0 0 0 0
1800.09/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.61 c mcf : 0.00 1 0 0 0 0
1800.09/1800.61 c rapidlearning : 0.08 1 0 0 0 97
1800.09/1800.61 c Pricers : Time Calls Vars
1800.09/1800.61 c problem variables: 0.00 0 0
1800.09/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.61 c relpscost : 21.76 1978572 1091 8455 0 0 3938096
1800.09/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.09/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.61 c random : 0.00 0 0 0 0 0 0
1800.09/1800.61 c Primal Heuristics : Time Calls Found
1800.09/1800.61 c LP solutions : 0.02 - 12
1800.09/1800.61 c pseudo solutions : 0.00 - 0
1800.09/1800.61 c feaspump : 0.18 1 0
1800.09/1800.61 c oneopt : 2.67 24 0
1800.09/1800.61 c crossover : 8.53 17 2
1800.09/1800.61 c pscostdiving : 5.19 4289 2
1800.09/1800.61 c veclendiving : 4.58 4289 1
1800.09/1800.61 c guideddiving : 4.33 4289 1
1800.09/1800.61 c objpscostdiving : 2.10 2145 1
1800.09/1800.61 c fracdiving : 4.62 4290 4
1800.09/1800.61 c linesearchdiving : 4.67 4290 1
1800.09/1800.61 c coefdiving : 6.21 4290 3
1800.09/1800.61 c rootsoldiving : 4.52 2146 0
1800.09/1800.61 c trivial : 0.00 2 0
1800.09/1800.61 c simplerounding : 1.53 0 0
1800.09/1800.61 c zirounding : 1.99 1000 0
1800.09/1800.61 c rounding : 2.46 20973 0
1800.09/1800.61 c shifting : 5.12 7511 0
1800.09/1800.61 c intshifting : 0.22 0 0
1800.09/1800.61 c twoopt : 0.00 0 0
1800.09/1800.61 c fixandinfer : 0.00 0 0
1800.09/1800.61 c intdiving : 0.00 0 0
1800.09/1800.61 c actconsdiving : 0.00 0 0
1800.09/1800.61 c octane : 0.00 0 0
1800.09/1800.61 c rens : 0.03 1 0
1800.09/1800.61 c rins : 0.00 0 0
1800.09/1800.61 c localbranching : 0.00 0 0
1800.09/1800.61 c mutation : 0.00 0 0
1800.09/1800.61 c dins : 0.00 0 0
1800.09/1800.61 c undercover : 0.00 0 0
1800.09/1800.61 c nlp : 1.45 0 0
1800.09/1800.61 c trysol : 2.94 0 0
1800.09/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.61 c dual LP : 763.31 3549462 12319407 3.47 16139.45
1800.09/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.61 c diving/probing LP: 17.96 91966 226623 2.46 12618.21
1800.09/1800.61 c strong branching : 4.24 16894 49077 2.90 11574.76
1800.09/1800.61 c (at root node) : - 9 372 41.33 -
1800.09/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.61 c B&B Tree :
1800.09/1800.61 c number of runs : 1
1800.09/1800.61 c nodes : 3837363
1800.09/1800.61 c nodes (total) : 3837363
1800.09/1800.61 c nodes left : 78542
1800.09/1800.61 c max depth : 44
1800.09/1800.61 c max depth (total): 44
1800.09/1800.61 c backtracks : 1024094 (26.7%)
1800.09/1800.61 c delayed cutoffs : 20598
1800.09/1800.61 c repropagations : 157074 (164828 domain reductions, 18510 cutoffs)
1800.09/1800.61 c avg switch length: 5.37
1800.09/1800.61 c switching time : 102.96
1800.09/1800.61 c Solution :
1800.09/1800.61 c Solutions found : 28 (25 improvements)
1800.09/1800.61 c First Solution : +6.15000000000000e+02 (in run 1, after 1 nodes, 0.10 seconds, depth 0, found by <trysol>)
1800.09/1800.61 c Primal Bound : +3.99999999999981e+00 (in run 1, after 58012 nodes, 33.08 seconds, depth 32, found by <relaxation>)
1800.09/1800.61 c Dual Bound : +0.00000000000000e+00
1800.09/1800.61 c Gap : infinite
1800.09/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.09/1800.61 c Root Iterations : 85
1800.67/1801.23 c Time complete: 1800.69.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665662-1276613507/watcher-2665662-1276613507 -o /tmp/evaluation-result-2665662-1276613507/solver-2665662-1276613507 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665662-1276613507.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.06 1.02 1.00 3/107 3081
/proc/meminfo: memFree=1770212/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=9288 CPUtime=0
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 1102 0 0 0 0 0 0 0 20 0 1 0 35006435 9510912 1022 1992294400 4194304 9819077 140735494270752 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3081/statm: 2322 1031 371 1374 0 943 0
[startup+0.0875821 s]
/proc/loadavg: 1.06 1.02 1.00 3/107 3081
/proc/meminfo: memFree=1770212/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=22228 CPUtime=0.08
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 4881 0 0 0 6 2 0 0 20 0 1 0 35006435 22761472 3924 1992294400 4194304 9819077 140735494270752 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 5557 3924 673 1374 0 4178 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22228
[startup+0.101583 s]
/proc/loadavg: 1.06 1.02 1.00 3/107 3081
/proc/meminfo: memFree=1770212/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=22228 CPUtime=0.09
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 4886 0 0 0 7 2 0 0 20 0 1 0 35006435 22761472 3929 1992294400 4194304 9819077 140735494270752 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 5557 3929 673 1374 0 4178 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22228
[startup+0.301602 s]
/proc/loadavg: 1.06 1.02 1.00 3/107 3081
/proc/meminfo: memFree=1770212/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=16716 CPUtime=0.29
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 9337 0 0 0 24 5 0 0 20 0 1 0 35006435 17117184 2820 1992294400 4194304 9819077 140735494270752 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 4139 2819 722 1374 0 2760 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16716
[startup+0.701637 s]
/proc/loadavg: 1.06 1.02 1.00 3/107 3081
/proc/meminfo: memFree=1770212/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=15916 CPUtime=0.69
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 15492 0 0 0 58 11 0 0 21 0 1 0 35006435 16297984 2817 1992294400 4194304 9819077 140735494270752 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 3979 2818 724 1374 0 2600 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15916
[startup+1.50071 s]
/proc/loadavg: 1.06 1.02 1.00 2/108 3082
/proc/meminfo: memFree=1761028/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=16656 CPUtime=1.49
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 24674 0 0 0 126 23 0 0 23 0 1 0 35006435 17055744 2869 1992294400 4194304 9819077 140735494270752 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 4164 2869 725 1374 0 2785 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16656
[startup+3.10085 s]
/proc/loadavg: 1.06 1.02 1.00 2/108 3082
/proc/meminfo: memFree=1760284/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=17348 CPUtime=3.09
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 52485 0 0 0 260 49 0 0 25 0 1 0 35006435 17764352 3069 1992294400 4194304 9819077 140735494270752 18446744073709551615 5435119 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 4337 3069 727 1374 0 2958 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17348
[startup+6.30114 s]
/proc/loadavg: 1.06 1.02 1.00 2/108 3082
/proc/meminfo: memFree=1758920/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=18768 CPUtime=6.29
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 91443 0 0 0 534 95 0 0 25 0 1 0 35006435 19218432 3395 1992294400 4194304 9819077 140735494270752 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 4492 3390 727 1374 0 3113 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18768
[startup+12.7007 s]
/proc/loadavg: 1.05 1.02 1.00 2/108 3082
/proc/meminfo: memFree=1750860/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=20436 CPUtime=12.69
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 173788 0 0 0 1076 193 0 0 25 0 1 0 35006435 20926464 3848 1992294400 4194304 9819077 140735494270752 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 5109 3848 727 1374 0 3730 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20436
[startup+25.5019 s]
/proc/loadavg: 1.04 1.02 1.00 2/108 3082
/proc/meminfo: memFree=1753720/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=23828 CPUtime=25.48
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 348906 0 0 0 2134 414 0 0 25 0 1 0 35006435 24399872 4694 1992294400 4194304 9819077 140735494270752 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 5957 4694 727 1374 0 4578 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23828
[startup+51.1012 s]
/proc/loadavg: 1.02 1.02 1.00 2/108 3082
/proc/meminfo: memFree=1750372/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=27220 CPUtime=51.08
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 700019 0 0 0 4256 852 0 0 25 0 1 0 35006435 27873280 5597 1992294400 4194304 9819077 140735494270752 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 6805 5597 727 1374 0 5426 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 27220
[startup+102.309 s]
/proc/loadavg: 1.01 1.01 1.00 2/108 3084
/proc/meminfo: memFree=1748636/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=27836 CPUtime=102.27
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 1374294 0 0 0 8504 1723 0 0 25 0 1 0 35006435 28504064 5749 1992294400 4194304 9819077 140735494270752 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 6959 5749 727 1374 0 5580 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 27836
[startup+162.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 3086
/proc/meminfo: memFree=1748636/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=27836 CPUtime=162.24
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 2175304 0 0 0 13478 2746 0 0 25 0 1 0 35006435 28504064 5749 1992294400 4194304 9819077 140735494270752 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 6959 5749 727 1374 0 5580 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 27836
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3088
/proc/meminfo: memFree=1748636/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=27836 CPUtime=222.23
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 2957841 0 0 0 18467 3756 0 0 25 0 1 0 35006435 28504064 5749 1992294400 4194304 9819077 140735494270752 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 6759 5745 727 1374 0 5380 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 27836
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3088
/proc/meminfo: memFree=1748512/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=27648 CPUtime=282.22
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 3760392 0 0 0 23448 4774 0 0 25 0 1 0 35006435 28311552 5773 1992294400 4194304 9819077 140735494270752 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 6952 5773 727 1374 0 5573 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 27648
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3090
/proc/meminfo: memFree=1747396/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=29580 CPUtime=342.2
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 4563479 0 0 0 28437 5783 0 0 25 0 1 0 35006435 30289920 6181 1992294400 4194304 9819077 140735494270752 18446744073709551615 8653615 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 7395 6181 727 1374 0 6016 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 29580
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3092
/proc/meminfo: memFree=1745164/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=31712 CPUtime=402.18
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 5363456 0 0 0 33409 6809 0 0 25 0 1 0 35006435 32473088 6705 1992294400 4194304 9819077 140735494270752 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 7928 6705 727 1374 0 6549 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 31712
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3094
/proc/meminfo: memFree=1740576/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=35636 CPUtime=462.17
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 6178058 0 0 0 38365 7852 0 0 25 0 1 0 35006435 36491264 7876 1992294400 4194304 9819077 140735494270752 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 9109 7880 727 1374 0 7730 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 35636
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3096
/proc/meminfo: memFree=1737600/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=39428 CPUtime=522.15
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 6973017 0 0 0 43335 8880 0 0 25 0 1 0 35006435 40374272 8627 1992294400 4194304 9819077 140735494270752 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 9857 8627 727 1374 0 8478 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 39428
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3105
/proc/meminfo: memFree=1731772/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=44348 CPUtime=582.13
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 7771565 0 0 0 48308 9905 0 0 25 0 1 0 35006435 45412352 9871 1992294400 4194304 9819077 140735494270752 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 11087 9871 727 1374 0 9708 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 44348
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3107
/proc/meminfo: memFree=1726440/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=49048 CPUtime=642.11
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 8558824 0 0 0 53270 10941 0 0 25 0 1 0 35006435 50225152 11187 1992294400 4194304 9819077 140735494270752 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 12422 11192 727 1374 0 11043 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 49048
[startup+702.302 s]
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3115
/proc/meminfo: memFree=1710692/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=65244 CPUtime=942.03
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 12500020 0 0 0 78130 16073 0 0 25 0 1 0 35006435 66809856 15096 1992294400 4194304 9819077 140735494270752 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 16311 15096 727 1374 0 14932 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 65244
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3117
/proc/meminfo: memFree=1705732/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=69140 CPUtime=1002.01
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 13275395 0 0 0 83115 17086 0 0 25 0 1 0 35006435 70799360 16311 1992294400 4194304 9819077 140735494270752 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 17445 16315 727 1374 0 16066 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 69140
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3119
/proc/meminfo: memFree=1701516/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=74560 CPUtime=1061.99
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 14057794 0 0 0 88082 18117 0 0 25 0 1 0 35006435 76349440 17500 1992294400 4194304 9819077 140735494270752 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 18640 17500 727 1374 0 17261 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 74560
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3121
/proc/meminfo: memFree=1691720/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=83792 CPUtime=1121.97
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 14840867 0 0 0 93044 19153 0 0 25 0 1 0 35006435 85803008 19819 1992294400 4194304 9819077 140735494270752 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 20948 19819 727 1374 0 19569 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 83792
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3121
/proc/meminfo: memFree=1683412/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=91732 CPUtime=1181.95
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 15625025 0 0 0 98013 20182 0 0 25 0 1 0 35006435 93933568 21823 1992294400 4194304 9819077 140735494270752 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 22933 21823 727 1374 0 21554 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 91732
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3123
/proc/meminfo: memFree=1674980/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=101836 CPUtime=1241.93
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 16422780 0 0 0 102984 21209 0 0 25 0 1 0 35006435 104280064 23858 1992294400 4194304 9819077 140735494270752 18446744073709551615 8652616 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 25459 23858 727 1374 0 24080 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 101836
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3125
/proc/meminfo: memFree=1666672/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=109968 CPUtime=1301.92
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 17214186 0 0 0 107939 22253 0 0 25 0 1 0 35006435 112607232 25902 1992294400 4194304 9819077 140735494270752 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 27492 25902 727 1374 0 26113 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 109968
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3127
/proc/meminfo: memFree=1662580/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=114124 CPUtime=1361.9
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 18000210 0 0 0 112908 23282 0 0 25 0 1 0 35006435 116862976 26929 1992294400 4194304 9819077 140735494270752 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 28531 26929 727 1374 0 27152 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 114124
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3129
/proc/meminfo: memFree=1658116/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=118668 CPUtime=1421.89
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 18781572 0 0 0 117875 24314 0 0 25 0 1 0 35006435 121516032 28054 1992294400 4194304 9819077 140735494270752 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 29667 28054 727 1374 0 28288 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 118668
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3129
/proc/meminfo: memFree=1655264/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=121276 CPUtime=1481.85
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 19561026 0 0 0 122853 25332 0 0 25 0 1 0 35006435 124186624 28726 1992294400 4194304 9819077 140735494270752 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 30319 28726 727 1374 0 28940 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 121276
[startup+1542.3 s]
/proc/loadavg: 1.08 1.02 1.01 2/108 3131
/proc/meminfo: memFree=1653032/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=122860 CPUtime=1541.84
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 20340685 0 0 0 127830 26354 0 0 25 0 1 0 35006435 125808640 29273 1992294400 4194304 9819077 140735494270752 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 30875 29277 727 1374 0 29496 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 122860
[startup+1602.3 s]
/proc/loadavg: 1.10 1.03 1.00 2/108 3133
/proc/meminfo: memFree=1650304/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=124964 CPUtime=1601.82
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 21126138 0 0 0 132791 27391 0 0 25 0 1 0 35006435 127963136 29856 1992294400 4194304 9819077 140735494270752 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 31441 29860 727 1374 0 30062 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 124964
[startup+1662.3 s]
/proc/loadavg: 1.10 1.04 1.00 2/108 3135
/proc/meminfo: memFree=1647204/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=129100 CPUtime=1661.8
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 21905027 0 0 0 137762 28418 0 0 25 0 1 0 35006435 132198400 30685 1992294400 4194304 9819077 140735494270752 18446744073709551615 5484165 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 32275 30685 727 1374 0 30896 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 129100
[startup+1722.3 s]
/proc/loadavg: 1.10 1.04 1.00 2/108 3137
/proc/meminfo: memFree=1642368/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=133612 CPUtime=1721.79
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 22673131 0 0 0 142739 29440 0 0 25 0 1 0 35006435 136818688 31855 1992294400 4194304 9819077 140735494270752 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 33443 31856 727 1374 0 32064 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 133612
[startup+1782.3 s]
/proc/loadavg: 1.09 1.05 1.00 2/108 3137
/proc/meminfo: memFree=1635548/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=140044 CPUtime=1781.78
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 23439721 0 0 0 147726 30452 0 0 25 0 1 0 35006435 143405056 33498 1992294400 4194304 9819077 140735494270752 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 35051 33499 727 1374 0 33672 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 140044
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.07 1.04 1.00 2/108 3139
/proc/meminfo: memFree=1633564/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=142156 CPUtime=1800.09
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 23673670 0 0 0 149240 30769 0 0 25 0 1 0 35006435 145567744 33988 1992294400 4194304 9819077 140735494270752 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3081/statm: 35539 33988 727 1374 0 34160 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 142156
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: 1.07 1.04 1.00 2/108 3139
/proc/meminfo: memFree=1633564/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=142156 CPUtime=1800.47
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 23673681 0 0 0 149278 30769 0 0 25 0 1 0 35006435 145567744 33989 1992294400 4194304 9819077 140735494270752 18446744073709551615 6180530 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3081/statm: 35539 33989 728 1374 0 34160 0
Current children cumulated CPU time (s) 1800.47
Current children cumulated vsize (KiB) 142156
[startup+1801.2 s]
/proc/loadavg: 1.07 1.04 1.00 2/108 3139
/proc/meminfo: memFree=1633564/2059040 swapFree=4140108/4192956
[pid=3081] ppid=3079 vsize=142156 CPUtime=1800.67
/proc/3081/stat : 3081 (pbscip.linux.x8) R 3079 3081 2371 0 -1 4202496 23673681 0 0 0 149298 30769 0 0 25 0 1 0 35006435 145567744 33989 1992294400 4194304 9819077 140735494270752 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3081/statm: 35539 33989 728 1374 0 34160 0
Current children cumulated CPU time (s) 1800.67
Current children cumulated vsize (KiB) 142156
Child status: 0
Real time (s): 1801.23
CPU time (s): 1800.71
CPU user time (s): 1493
CPU system time (s): 307.709
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 142236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1493
system time used= 307.709
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23673685
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= 1
involuntary context switches= 3974
runsolver used 3.02054 second user time and 8.49071 second system time
The end