Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | SAT (TO) | 4 | 1800.71 | 1801.23 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_4.opb |
| MD5SUM | a470052ca6f8034e2c6c08868e52d9e8 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 1789.64 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 2 |
| Optimality of the best value was proved | NO |
| Number of variables | 120 |
| Total number of constraints | 10 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 10 |
| Minimum length of a constraint | 55 |
| Maximum length of a constraint | 56 |
| Number of terms in the objective function | 80 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 2550 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1207 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4131 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
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.
OK 4
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
Begin job on node025 at 2010-06-15 16:51:47 IDJOB=2665662 IDBENCH=2914 IDSOLVER=1168 FILE ID=node025/2665662-1276613507 PBS_JOBID= 11172242 Free space on /tmp= 62580 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_4.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER 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 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a470052ca6f8034e2c6c08868e52d9e8 RANDOM SEED=8299998 node025.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1770616 kB Buffers: 73812 kB Cached: 124532 kB SwapCached: 7076 kB Active: 110616 kB Inactive: 101940 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1770616 kB SwapTotal: 4192956 kB SwapFree: 4140108 kB Dirty: 6252 kB Writeback: 0 kB AnonPages: 11848 kB Mapped: 13104 kB Slab: 53912 kB PageTables: 4096 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182064 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62576 MiB End job on node025 at 2010-06-15 17:21:50