Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 | SAT (TO) | 1 | 1800.07 | 1800.02 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_1.opb |
| MD5SUM | 5bf563c7058af01702ea80887f1d43ad |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 1320.51 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1 |
| 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 | 1086 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 3768 |
| Number of bits of the biggest sum of numbers | 12 |
| 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 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 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-3452743-1307097041.opb>
0.00/0.00 c original problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 10 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 5 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (0.0s) probing: 101/120 (84.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.01 c presolving (2 rounds):
0.00/0.01 c 0 deleted vars, 5 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.01 c 5 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.00
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 2.0.1.4
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1800
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 13950
0.00/0.01 c
0.00/0.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.01 c # [type: int, range: [1,2], default: 1]
0.00/0.01 c timing/clocktype = 2
0.00/0.01 c
0.00/0.01 c # belongs reading time to solving time?
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/indicator/addCouplingCons = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 o 1352
0.00/0.01 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.01 c T 0.0s| 1 | 0 | 0 | - | 466k| 0 | - | 120 | 5 | 120 | 5 | 0 | 0 | 0 | -- | 1.352000e+03 | Inf
0.00/0.01 c 0.0s| 1 | 0 | 25 | - | 446k| 0 | 5 | 120 | 5 | 120 | 5 | 0 | 0 | 0 | 0.000000e+00 | 1.352000e+03 | Inf
0.00/0.02 o 1345
0.00/0.02 c y 0.0s| 1 | 0 | 25 | - | 482k| 0 | 5 | 120 | 5 | 120 | 5 | 0 | 0 | 0 | 0.000000e+00 | 1.345000e+03 | Inf
0.00/0.02 c 0.0s| 1 | 0 | 29 | - | 485k| 0 | 8 | 120 | 7 | 120 | 11 | 6 | 0 | 0 | 0.000000e+00 | 1.345000e+03 | Inf
0.00/0.03 c 0.0s| 1 | 0 | 38 | - | 525k| 0 | 12 | 120 | 7 | 120 | 15 | 10 | 0 | 0 | 0.000000e+00 | 1.345000e+03 | Inf
0.00/0.03 c 0.0s| 1 | 0 | 43 | - | 550k| 0 | 15 | 120 | 7 | 120 | 19 | 14 | 0 | 0 | 0.000000e+00 | 1.345000e+03 | Inf
0.00/0.04 c 0.0s| 1 | 0 | 47 | - | 576k| 0 | 16 | 120 | 7 | 120 | 23 | 18 | 0 | 0 | 0.000000e+00 | 1.345000e+03 | Inf
0.00/0.04 c 0.0s| 1 | 0 | 53 | - | 596k| 0 | 19 | 120 | 7 | 120 | 25 | 20 | 0 | 0 | 0.000000e+00 | 1.345000e+03 | Inf
0.00/0.05 c 0.1s| 1 | 0 | 61 | - | 609k| 0 | 20 | 120 | 7 | 120 | 28 | 23 | 0 | 0 | 0.000000e+00 | 1.345000e+03 | Inf
0.09/0.12 c 0.1s| 1 | 2 | 160 | - | 610k| 0 | 20 | 120 | 7 | 120 | 28 | 23 | 0 | 11 | 0.000000e+00 | 1.345000e+03 | Inf
0.09/0.15 o 907
0.09/0.15 c c 0.2s| 36 | 37 | 371 | 8.9 | 643k| 35 | - | 120 | 7 | 120 | 20 | 23 | 0 | 178 | 0.000000e+00 | 9.070000e+02 | Inf
0.09/0.16 o 728
0.09/0.16 c p 0.2s| 50 | 49 | 441 | 7.8 | 650k| 36 | - | 120 | 7 | 120 | 20 | 23 | 0 | 214 | 0.000000e+00 | 7.280000e+02 | Inf
0.09/0.18 o 96
0.09/0.18 c f 0.2s| 71 | 53 | 601 | 7.7 | 661k| 36 | - | 120 | 7 | 120 | 20 | 23 | 0 | 273 | 0.000000e+00 | 9.600000e+01 | Inf
0.09/0.19 o 94
0.09/0.19 c v 0.2s| 85 | 67 | 650 | 7.0 | 686k| 36 | - | 120 | 5 | 120 | 20 | 23 | 5 | 312 | 0.000000e+00 | 9.400000e+01 | Inf
0.19/0.23 o 92
0.19/0.23 c l 0.2s| 203 | 160 | 1133 | 5.3 | 754k| 39 | - | 120 | 11 | 120 | 20 | 23 | 19 | 421 | 0.000000e+00 | 9.200000e+01 | Inf
0.19/0.24 o 90
0.19/0.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.24 c * 0.2s| 267 | 214 | 1417 | 5.1 | 780k| 39 | - | 120 | 11 | 120 | 20 | 23 | 20 | 455 | 0.000000e+00 | 9.000000e+01 | Inf
0.19/0.25 o 88
0.19/0.25 c * 0.2s| 269 | 214 | 1417 | 5.1 | 781k| 39 | - | 120 | 11 | 120 | 20 | 23 | 20 | 458 | 0.000000e+00 | 8.800000e+01 | Inf
0.19/0.25 o 86
0.19/0.25 c p 0.2s| 272 | 215 | 1419 | 5.0 | 781k| 39 | - | 120 | 11 | 120 | 20 | 23 | 20 | 463 | 0.000000e+00 | 8.600000e+01 | Inf
0.19/0.25 o 84
0.19/0.25 c f 0.2s| 272 | 212 | 1419 | 5.0 | 785k| 39 | - | 120 | 11 | 120 | 20 | 23 | 21 | 463 | 0.000000e+00 | 8.400000e+01 | Inf
0.19/0.26 o 83
0.19/0.26 c * 0.3s| 312 | 244 | 1558 | 4.8 | 805k| 39 | - | 120 | 12 | 120 | 20 | 23 | 22 | 475 | 0.000000e+00 | 8.300000e+01 | Inf
0.19/0.26 o 81
0.19/0.26 c * 0.3s| 313 | 239 | 1558 | 4.8 | 800k| 39 | - | 120 | 12 | 120 | 20 | 23 | 22 | 475 | 0.000000e+00 | 8.100000e+01 | Inf
0.19/0.27 o 79
0.19/0.27 c * 0.3s| 360 | 278 | 1781 | 4.8 | 822k| 39 | - | 120 | 12 | 120 | 20 | 23 | 26 | 492 | 0.000000e+00 | 7.900000e+01 | Inf
0.19/0.27 o 77
0.19/0.27 c * 0.3s| 361 | 273 | 1781 | 4.8 | 819k| 39 | - | 120 | 12 | 120 | 20 | 23 | 26 | 492 | 0.000000e+00 | 7.700000e+01 | Inf
0.19/0.28 o 73
0.19/0.28 c * 0.3s| 390 | 289 | 1890 | 4.7 | 829k| 39 | - | 120 | 12 | 120 | 20 | 23 | 26 | 506 | 0.000000e+00 | 7.300000e+01 | Inf
0.29/0.30 o 72
0.29/0.30 c * 0.3s| 461 | 354 | 2303 | 4.9 | 860k| 39 | - | 120 | 12 | 120 | 20 | 23 | 30 | 510 | 0.000000e+00 | 7.200000e+01 | Inf
0.29/0.30 o 69
0.29/0.30 c * 0.3s| 464 | 345 | 2313 | 4.9 | 855k| 39 | - | 120 | 12 | 120 | 20 | 23 | 30 | 511 | 0.000000e+00 | 6.900000e+01 | Inf
0.29/0.30 o 21
0.29/0.30 c s 0.3s| 484 | 292 | 2386 | 4.8 | 823k| 39 | 5 | 120 | 13 | 120 | 20 | 23 | 31 | 513 | 0.000000e+00 | 2.100000e+01 | Inf
0.29/0.31 o 20
0.29/0.31 c f 0.3s| 484 | 291 | 2396 | 4.8 | 833k| 39 | - | 120 | 15 | 120 | 20 | 23 | 35 | 518 | 0.000000e+00 | 2.000000e+01 | Inf
1.29/1.36 o 19
1.29/1.36 c * 1.4s| 4682 | 3550 | 22448 | 4.8 |2387k| 39 | - | 120 | 107 | 120 | 20 | 23 | 708 | 614 | 0.000000e+00 | 1.900000e+01 | Inf
1.29/1.36 o 17
1.29/1.36 c * 1.4s| 4683 | 3524 | 22448 | 4.8 |2360k| 39 | - | 120 | 107 | 120 | 20 | 23 | 708 | 614 | 0.000000e+00 | 1.700000e+01 | Inf
1.39/1.47 o 15
1.39/1.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.39/1.47 c * 1.5s| 4976 | 3654 | 24289 | 4.9 |2405k| 39 | - | 120 | 116 | 120 | 20 | 23 | 781 | 614 | 0.000000e+00 | 1.500000e+01 | Inf
2.59/2.62 o 14
2.59/2.62 c * 2.6s| 9166 | 6403 | 45705 | 5.0 |3668k| 39 | - | 120 | 177 | 120 | 20 | 23 |1594 | 710 | 0.000000e+00 | 1.400000e+01 | Inf
2.79/2.83 c 2.8s| 10000 | 6886 | 49415 | 4.9 |3882k| 39 | 5 | 120 | 184 | 120 | 20 | 23 |1723 | 736 | 0.000000e+00 | 1.400000e+01 | Inf
4.10/4.19 o 13
4.10/4.19 c p 4.2s| 16567 | 10184 | 74695 | 4.5 |5505k| 39 | - | 120 | 220 | 120 | 20 | 23 |2724 | 948 | 0.000000e+00 | 1.300000e+01 | Inf
4.10/4.20 o 11
4.10/4.20 c f 4.2s| 16567 | 10112 | 74695 | 4.5 |5429k| 39 | - | 120 | 221 | 120 | 20 | 23 |2727 | 948 | 0.000000e+00 | 1.100000e+01 | Inf
5.29/5.38 c 5.4s| 20000 | 11535 | 86696 | 4.3 |6153k| 39 | - | 120 | 215 | 0 | 0 | 23 |3122 |1025 | 0.000000e+00 | 1.100000e+01 | Inf
5.99/6.09 o 9
5.99/6.09 c * 6.1s| 24098 | 12919 |101039 | 4.2 |6777k| 39 | - | 120 | 234 | 120 | 20 | 23 |3633 |1148 | 0.000000e+00 | 9.000000e+00 | Inf
6.09/6.16 o 8
6.09/6.16 c * 6.2s| 24454 | 12738 |102209 | 4.2 |6604k| 39 | - | 120 | 230 | 120 | 20 | 23 |3672 |1169 | 0.000000e+00 | 8.000000e+00 | Inf
6.09/6.16 o 6
6.09/6.16 c * 6.2s| 24455 | 12446 |102209 | 4.2 |6309k| 39 | - | 120 | 230 | 120 | 20 | 23 |3672 |1169 | 0.000000e+00 | 6.000000e+00 | Inf
6.99/7.08 c 7.1s| 30000 | 14005 |119930 | 4.0 |7092k| 39 | 5 | 120 | 248 | 120 | 20 | 23 |4237 |1371 | 0.000000e+00 | 6.000000e+00 | Inf
8.49/8.54 c 8.5s| 40000 | 15780 |148504 | 3.7 |8138k| 39 | 5 | 120 | 314 | 120 | 20 | 23 |5291 |1621 | 0.000000e+00 | 6.000000e+00 | Inf
10.20/10.21 c 10.2s| 50000 | 16505 |177275 | 3.5 |8774k| 39 | 5 | 120 | 408 | 120 | 20 | 23 |6365 |1867 | 0.000000e+00 | 6.000000e+00 | Inf
11.59/11.66 c 11.7s| 60000 | 16722 |206180 | 3.4 |9113k| 39 | - | 120 | 452 | 0 | 0 | 23 |7604 |2066 | 0.000000e+00 | 6.000000e+00 | Inf
12.99/13.06 c 13.1s| 70000 | 16907 |235042 | 3.4 |9403k| 39 | 5 | 120 | 489 | 120 | 20 | 23 |8816 |2240 | 0.000000e+00 | 6.000000e+00 | Inf
14.39/14.49 c 14.5s| 80000 | 17165 |264484 | 3.3 |9696k| 39 | - | 120 | 485 | 120 | 20 | 23 |9944 |2447 | 0.000000e+00 | 6.000000e+00 | Inf
15.90/15.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.90/15.90 c 15.9s| 90000 | 16978 |292167 | 3.2 |9677k| 39 | 5 | 120 | 443 | 120 | 20 | 23 | 11k|2720 | 0.000000e+00 | 6.000000e+00 | Inf
17.29/17.30 c 17.3s|100000 | 17193 |321001 | 3.2 |9940k| 39 | - | 120 | 395 | 0 | 0 | 23 | 12k|2955 | 0.000000e+00 | 6.000000e+00 | Inf
18.60/18.67 c 18.7s|110000 | 17553 |349196 | 3.2 | 10M| 39 | 5 | 120 | 433 | 120 | 20 | 23 | 13k|3132 | 0.000000e+00 | 6.000000e+00 | Inf
19.99/20.04 c 20.0s|120000 | 17412 |377093 | 3.1 | 10M| 39 | - | 120 | 368 | 120 | 20 | 23 | 14k|3278 | 0.000000e+00 | 6.000000e+00 | Inf
21.30/21.39 c 21.4s|130000 | 17344 |405461 | 3.1 | 10M| 39 | 5 | 120 | 303 | 120 | 20 | 23 | 15k|3410 | 0.000000e+00 | 6.000000e+00 | Inf
22.79/22.82 c 22.8s|140000 | 18124 |435017 | 3.1 | 10M| 39 | 5 | 120 | 224 | 120 | 20 | 23 | 16k|3530 | 0.000000e+00 | 6.000000e+00 | Inf
24.10/24.19 c 24.2s|150000 | 19129 |464253 | 3.1 | 11M| 39 | 5 | 120 | 147 | 120 | 20 | 23 | 17k|3656 | 0.000000e+00 | 6.000000e+00 | Inf
25.49/25.54 c 25.5s|160000 | 19529 |493346 | 3.1 | 11M| 39 | 5 | 120 | 136 | 120 | 20 | 23 | 19k|3786 | 0.000000e+00 | 6.000000e+00 | Inf
26.89/26.90 c 26.9s|170000 | 19814 |522186 | 3.1 | 12M| 39 | - | 120 | 166 | 120 | 20 | 23 | 20k|3922 | 0.000000e+00 | 6.000000e+00 | Inf
28.19/28.27 c 28.3s|180000 | 20552 |551203 | 3.1 | 12M| 39 | - | 120 | 174 | 120 | 20 | 23 | 21k|4030 | 0.000000e+00 | 6.000000e+00 | Inf
29.60/29.62 c 29.6s|190000 | 21584 |580280 | 3.1 | 13M| 39 | - | 120 | 110 | 120 | 20 | 23 | 22k|4166 | 0.000000e+00 | 6.000000e+00 | Inf
30.89/30.95 c 30.9s|200000 | 22196 |609297 | 3.0 | 13M| 39 | 5 | 120 | 95 | 120 | 20 | 23 | 24k|4303 | 0.000000e+00 | 6.000000e+00 | Inf
32.29/32.30 c 32.3s|210000 | 22830 |637704 | 3.0 | 14M| 39 | - | 120 | 104 | 120 | 20 | 23 | 25k|4458 | 0.000000e+00 | 6.000000e+00 | Inf
33.59/33.64 c 33.6s|220000 | 23013 |665684 | 3.0 | 14M| 39 | 5 | 120 | 120 | 120 | 20 | 23 | 26k|4607 | 0.000000e+00 | 6.000000e+00 | Inf
34.89/34.97 c 35.0s|230000 | 22810 |693388 | 3.0 | 14M| 39 | - | 120 | 114 | 120 | 20 | 23 | 27k|4738 | 0.000000e+00 | 6.000000e+00 | Inf
36.31/36.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.31/36.32 c 36.3s|240000 | 22853 |722090 | 3.0 | 15M| 39 | - | 120 | 139 | 120 | 20 | 23 | 28k|4885 | 0.000000e+00 | 6.000000e+00 | Inf
37.59/37.65 c 37.6s|250000 | 22586 |749949 | 3.0 | 15M| 39 | - | 120 | 139 | 120 | 20 | 23 | 30k|4995 | 0.000000e+00 | 6.000000e+00 | Inf
38.89/38.97 c 39.0s|260000 | 22555 |777530 | 3.0 | 15M| 39 | - | 120 | 155 | 120 | 20 | 23 | 31k|5125 | 0.000000e+00 | 6.000000e+00 | Inf
40.30/40.30 c 40.3s|270000 | 22380 |804862 | 3.0 | 15M| 39 | - | 120 | 165 | 120 | 20 | 23 | 32k|5227 | 0.000000e+00 | 6.000000e+00 | Inf
41.59/41.61 c 41.6s|280000 | 22205 |832823 | 3.0 | 15M| 39 | 5 | 120 | 166 | 120 | 20 | 23 | 33k|5344 | 0.000000e+00 | 6.000000e+00 | Inf
42.91/42.95 c 42.9s|290000 | 22173 |859914 | 3.0 | 15M| 39 | 5 | 120 | 166 | 120 | 20 | 23 | 35k|5439 | 0.000000e+00 | 6.000000e+00 | Inf
44.29/44.32 c 44.3s|300000 | 23187 |890531 | 3.0 | 16M| 39 | - | 120 | 136 | 120 | 20 | 23 | 36k|5566 | 0.000000e+00 | 6.000000e+00 | Inf
45.59/45.69 c 45.7s|310000 | 24761 |919766 | 3.0 | 17M| 39 | - | 120 | 130 | 120 | 20 | 23 | 37k|5676 | 0.000000e+00 | 6.000000e+00 | Inf
46.99/47.07 c 47.1s|320000 | 26598 |950187 | 3.0 | 18M| 39 | 5 | 120 | 135 | 120 | 20 | 23 | 38k|5757 | 0.000000e+00 | 6.000000e+00 | Inf
48.40/48.42 c 48.4s|330000 | 28219 |978187 | 3.0 | 19M| 39 | 5 | 120 | 137 | 120 | 20 | 23 | 39k|5860 | 0.000000e+00 | 6.000000e+00 | Inf
49.69/49.74 c 49.7s|340000 | 29272 | 1005k| 3.0 | 20M| 39 | - | 120 | 137 | 120 | 20 | 23 | 40k|5947 | 0.000000e+00 | 6.000000e+00 | Inf
50.99/51.07 c 51.1s|350000 | 30299 | 1034k| 3.0 | 20M| 39 | 5 | 120 | 146 | 120 | 20 | 23 | 42k|6031 | 0.000000e+00 | 6.000000e+00 | Inf
52.30/52.39 c 52.4s|360000 | 30764 | 1061k| 2.9 | 21M| 39 | - | 120 | 143 | 0 | 0 | 23 | 43k|6132 | 0.000000e+00 | 6.000000e+00 | Inf
53.70/53.70 c 53.7s|370000 | 31400 | 1088k| 2.9 | 21M| 39 | 5 | 120 | 97 | 120 | 20 | 23 | 44k|6222 | 0.000000e+00 | 6.000000e+00 | Inf
55.00/55.02 c 55.0s|380000 | 31933 | 1116k| 2.9 | 22M| 39 | 5 | 120 | 114 | 120 | 20 | 23 | 45k|6319 | 0.000000e+00 | 6.000000e+00 | Inf
56.29/56.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.29/56.36 c 56.4s|390000 | 32504 | 1144k| 2.9 | 22M| 39 | - | 120 | 108 | 120 | 20 | 23 | 46k|6420 | 0.000000e+00 | 6.000000e+00 | Inf
57.59/57.68 c 57.7s|400000 | 33076 | 1173k| 2.9 | 23M| 39 | - | 120 | 113 | 120 | 20 | 23 | 47k|6503 | 0.000000e+00 | 6.000000e+00 | Inf
58.89/58.98 c 59.0s|410000 | 33389 | 1200k| 2.9 | 23M| 39 | - | 120 | 120 | 0 | 0 | 23 | 49k|6585 | 0.000000e+00 | 6.000000e+00 | Inf
60.20/60.27 c 60.3s|420000 | 33596 | 1227k| 2.9 | 23M| 39 | - | 120 | 119 | 120 | 20 | 23 | 50k|6666 | 0.000000e+00 | 6.000000e+00 | Inf
61.51/61.56 c 61.6s|430000 | 33787 | 1253k| 2.9 | 24M| 39 | - | 120 | 128 | 120 | 20 | 23 | 51k|6764 | 0.000000e+00 | 6.000000e+00 | Inf
62.79/62.85 c 62.8s|440000 | 34132 | 1280k| 2.9 | 24M| 39 | - | 120 | 154 | 120 | 20 | 23 | 52k|6849 | 0.000000e+00 | 6.000000e+00 | Inf
64.09/64.19 c 64.2s|450000 | 34806 | 1308k| 2.9 | 25M| 39 | 5 | 120 | 156 | 120 | 20 | 23 | 53k|6940 | 0.000000e+00 | 6.000000e+00 | Inf
65.50/65.54 c 65.5s|460000 | 35391 | 1336k| 2.9 | 25M| 39 | 5 | 120 | 148 | 120 | 20 | 23 | 55k|7020 | 0.000000e+00 | 6.000000e+00 | Inf
66.80/66.86 c 66.9s|470000 | 36311 | 1365k| 2.9 | 26M| 39 | - | 120 | 134 | 120 | 20 | 23 | 56k|7086 | 0.000000e+00 | 6.000000e+00 | Inf
68.11/68.16 c 68.2s|480000 | 36567 | 1393k| 2.9 | 26M| 39 | 5 | 120 | 156 | 120 | 20 | 23 | 57k|7158 | 0.000000e+00 | 6.000000e+00 | Inf
69.39/69.46 c 69.5s|490000 | 37206 | 1421k| 2.9 | 27M| 39 | - | 120 | 177 | 120 | 20 | 23 | 58k|7234 | 0.000000e+00 | 6.000000e+00 | Inf
70.69/70.73 c 70.7s|500000 | 37385 | 1449k| 2.9 | 27M| 39 | 5 | 120 | 160 | 120 | 20 | 23 | 59k|7307 | 0.000000e+00 | 6.000000e+00 | Inf
71.99/72.00 c 72.0s|510000 | 37537 | 1475k| 2.9 | 27M| 39 | - | 120 | 133 | 120 | 20 | 23 | 60k|7394 | 0.000000e+00 | 6.000000e+00 | Inf
73.29/73.30 c 73.3s|520000 | 37724 | 1503k| 2.9 | 27M| 39 | - | 120 | 176 | 120 | 20 | 23 | 62k|7462 | 0.000000e+00 | 6.000000e+00 | Inf
74.60/74.63 c 74.6s|530000 | 38472 | 1529k| 2.9 | 28M| 39 | 5 | 120 | 193 | 120 | 20 | 23 | 63k|7564 | 0.000000e+00 | 6.000000e+00 | Inf
75.91/75.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.91/75.92 c 75.9s|540000 | 38810 | 1555k| 2.9 | 28M| 39 | - | 120 | 177 | 120 | 20 | 23 | 64k|7646 | 0.000000e+00 | 6.000000e+00 | Inf
77.19/77.20 c 77.2s|550000 | 39095 | 1581k| 2.9 | 29M| 39 | 5 | 120 | 176 | 120 | 20 | 23 | 66k|7716 | 0.000000e+00 | 6.000000e+00 | Inf
78.50/78.50 c 78.5s|560000 | 39074 | 1608k| 2.9 | 29M| 39 | 5 | 120 | 180 | 120 | 20 | 23 | 67k|7775 | 0.000000e+00 | 6.000000e+00 | Inf
79.80/79.80 c 79.8s|570000 | 40004 | 1636k| 2.9 | 29M| 39 | - | 120 | 217 | 120 | 20 | 23 | 68k|7834 | 0.000000e+00 | 6.000000e+00 | Inf
81.09/81.10 c 81.1s|580000 | 40362 | 1664k| 2.9 | 30M| 39 | 5 | 120 | 190 | 120 | 20 | 23 | 69k|7900 | 0.000000e+00 | 6.000000e+00 | Inf
82.29/82.40 c 82.4s|590000 | 40468 | 1691k| 2.9 | 30M| 39 | 5 | 120 | 216 | 120 | 20 | 23 | 70k|7958 | 0.000000e+00 | 6.000000e+00 | Inf
83.60/83.70 c 83.7s|600000 | 40042 | 1717k| 2.9 | 30M| 39 | - | 120 | 160 | 120 | 20 | 23 | 71k|8025 | 0.000000e+00 | 6.000000e+00 | Inf
85.00/85.01 c 85.0s|610000 | 39946 | 1744k| 2.9 | 30M| 39 | - | 120 | 157 | 120 | 20 | 23 | 73k|8101 | 0.000000e+00 | 6.000000e+00 | Inf
86.20/86.29 c 86.3s|620000 | 40273 | 1771k| 2.9 | 30M| 39 | - | 120 | 177 | 120 | 20 | 23 | 74k|8162 | 0.000000e+00 | 6.000000e+00 | Inf
87.50/87.58 c 87.6s|630000 | 39944 | 1799k| 2.9 | 30M| 39 | - | 120 | 154 | 120 | 20 | 23 | 75k|8242 | 0.000000e+00 | 6.000000e+00 | Inf
88.80/88.86 c 88.9s|640000 | 39760 | 1825k| 2.9 | 30M| 39 | - | 120 | 171 | 120 | 20 | 23 | 76k|8318 | 0.000000e+00 | 6.000000e+00 | Inf
90.10/90.16 c 90.2s|650000 | 39494 | 1853k| 2.9 | 30M| 39 | 5 | 120 | 174 | 120 | 20 | 23 | 77k|8384 | 0.000000e+00 | 6.000000e+00 | Inf
91.40/91.46 c 91.5s|660000 | 39503 | 1880k| 2.8 | 31M| 39 | 5 | 120 | 199 | 120 | 20 | 23 | 79k|8443 | 0.000000e+00 | 6.000000e+00 | Inf
92.69/92.74 c 92.7s|670000 | 39692 | 1908k| 2.8 | 31M| 39 | - | 120 | 210 | 120 | 20 | 23 | 80k|8516 | 0.000000e+00 | 6.000000e+00 | Inf
93.99/94.01 c 94.0s|680000 | 39463 | 1934k| 2.8 | 31M| 39 | 5 | 120 | 198 | 120 | 20 | 23 | 81k|8585 | 0.000000e+00 | 6.000000e+00 | Inf
95.30/95.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.30/95.30 c 95.3s|690000 | 39493 | 1961k| 2.8 | 31M| 39 | 5 | 120 | 173 | 120 | 20 | 23 | 82k|8642 | 0.000000e+00 | 6.000000e+00 | Inf
96.59/96.62 c 96.6s|700000 | 40028 | 1990k| 2.8 | 31M| 39 | - | 120 | 166 | 120 | 20 | 23 | 83k|8711 | 0.000000e+00 | 6.000000e+00 | Inf
97.80/97.90 c 97.9s|710000 | 40394 | 2018k| 2.8 | 32M| 39 | - | 120 | 189 | 120 | 20 | 23 | 84k|8773 | 0.000000e+00 | 6.000000e+00 | Inf
99.10/99.17 c 99.2s|720000 | 40164 | 2046k| 2.8 | 32M| 39 | 5 | 120 | 181 | 120 | 20 | 23 | 85k|8842 | 0.000000e+00 | 6.000000e+00 | Inf
100.39/100.46 c 100s|730000 | 40883 | 2073k| 2.8 | 32M| 39 | 5 | 120 | 202 | 120 | 20 | 23 | 86k|8881 | 0.000000e+00 | 6.000000e+00 | Inf
101.70/101.74 c 102s|740000 | 40865 | 2099k| 2.8 | 33M| 39 | - | 120 | 187 | 0 | 0 | 23 | 87k|8944 | 0.000000e+00 | 6.000000e+00 | Inf
102.99/103.01 c 103s|750000 | 40440 | 2125k| 2.8 | 32M| 39 | - | 120 | 177 | 120 | 20 | 23 | 89k|9012 | 0.000000e+00 | 6.000000e+00 | Inf
104.30/104.31 c 104s|760000 | 40220 | 2152k| 2.8 | 32M| 39 | 5 | 120 | 201 | 120 | 20 | 23 | 90k|9061 | 0.000000e+00 | 6.000000e+00 | Inf
105.51/105.60 c 106s|770000 | 39868 | 2178k| 2.8 | 32M| 39 | 5 | 120 | 178 | 120 | 20 | 23 | 91k|9126 | 0.000000e+00 | 6.000000e+00 | Inf
106.60/106.63 o 4
106.60/106.63 c * 107s|777635 | 38924 | 2200k| 2.8 | 30M| 39 | - | 120 | 211 | 120 | 20 | 23 | 92k|9168 | 0.000000e+00 | 4.000000e+00 | Inf
106.60/106.64 o 2
106.60/106.64 c * 107s|777636 | 36061 | 2200k| 2.8 | 25M| 39 | - | 120 | 211 | 120 | 20 | 23 | 92k|9168 | 0.000000e+00 | 2.000000e+00 | Inf
106.89/106.92 c 107s|780000 | 36013 | 2206k| 2.8 | 25M| 39 | 5 | 120 | 196 | 120 | 20 | 23 | 92k|9172 | 0.000000e+00 | 2.000000e+00 | Inf
107.99/108.04 c 108s|790000 | 35711 | 2230k| 2.8 | 25M| 39 | - | 120 | 160 | 120 | 20 | 23 | 93k|9200 | 0.000000e+00 | 2.000000e+00 | Inf
109.09/109.16 c 109s|800000 | 35814 | 2255k| 2.8 | 25M| 39 | - | 120 | 139 | 120 | 20 | 23 | 94k|9253 | 0.000000e+00 | 2.000000e+00 | Inf
110.20/110.28 c 110s|810000 | 36083 | 2281k| 2.8 | 26M| 39 | - | 120 | 164 | 120 | 20 | 23 | 94k|9326 | 0.000000e+00 | 2.000000e+00 | Inf
111.40/111.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.40/111.40 c 111s|820000 | 35463 | 2307k| 2.8 | 25M| 39 | 5 | 120 | 119 | 120 | 20 | 23 | 95k|9394 | 0.000000e+00 | 2.000000e+00 | Inf
112.49/112.54 c 113s|830000 | 35108 | 2332k| 2.8 | 25M| 39 | 5 | 120 | 102 | 120 | 20 | 23 | 96k|9469 | 0.000000e+00 | 2.000000e+00 | Inf
113.59/113.67 c 114s|840000 | 34643 | 2357k| 2.8 | 25M| 39 | 5 | 120 | 131 | 120 | 20 | 23 | 97k|9520 | 0.000000e+00 | 2.000000e+00 | Inf
114.69/114.78 c 115s|850000 | 34487 | 2383k| 2.8 | 25M| 39 | 5 | 120 | 146 | 120 | 20 | 23 | 97k|9581 | 0.000000e+00 | 2.000000e+00 | Inf
115.90/115.91 c 116s|860000 | 34098 | 2408k| 2.8 | 25M| 39 | 5 | 120 | 119 | 120 | 20 | 23 | 98k|9672 | 0.000000e+00 | 2.000000e+00 | Inf
116.99/117.00 c 117s|870000 | 33971 | 2433k| 2.8 | 25M| 39 | - | 120 | 131 | 120 | 20 | 23 | 99k|9719 | 0.000000e+00 | 2.000000e+00 | Inf
118.10/118.13 c 118s|880000 | 33433 | 2458k| 2.8 | 24M| 39 | 5 | 120 | 153 | 120 | 20 | 23 | 100k|9770 | 0.000000e+00 | 2.000000e+00 | Inf
119.19/119.24 c 119s|890000 | 33112 | 2484k| 2.8 | 24M| 39 | - | 120 | 160 | 120 | 20 | 23 | 100k|9826 | 0.000000e+00 | 2.000000e+00 | Inf
120.29/120.37 c 120s|900000 | 32700 | 2510k| 2.8 | 24M| 39 | - | 120 | 139 | 120 | 20 | 23 | 101k|9899 | 0.000000e+00 | 2.000000e+00 | Inf
121.40/121.47 c 121s|910000 | 33096 | 2536k| 2.8 | 24M| 39 | 5 | 120 | 196 | 120 | 20 | 23 | 102k|9935 | 0.000000e+00 | 2.000000e+00 | Inf
122.50/122.55 c 123s|920000 | 32953 | 2562k| 2.8 | 24M| 39 | 5 | 120 | 173 | 120 | 20 | 23 | 103k|9969 | 0.000000e+00 | 2.000000e+00 | Inf
123.59/123.65 c 124s|930000 | 32441 | 2587k| 2.8 | 24M| 39 | 5 | 120 | 139 | 120 | 20 | 23 | 103k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
124.70/124.77 c 125s|940000 | 31907 | 2611k| 2.8 | 23M| 39 | 5 | 120 | 169 | 120 | 20 | 23 | 104k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
125.79/125.87 c 126s|950000 | 31780 | 2636k| 2.8 | 23M| 39 | - | 120 | 197 | 120 | 20 | 23 | 105k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
126.99/127.04 c 127s|960000 | 32201 | 2663k| 2.8 | 24M| 39 | - | 120 | 218 | 120 | 20 | 23 | 106k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
128.09/128.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
128.09/128.15 c 128s|970000 | 32713 | 2691k| 2.8 | 24M| 39 | 5 | 120 | 197 | 120 | 20 | 23 | 106k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
129.19/129.25 c 129s|980000 | 32809 | 2717k| 2.8 | 24M| 39 | - | 120 | 210 | 120 | 20 | 23 | 107k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
130.30/130.37 c 130s|990000 | 33210 | 2742k| 2.8 | 24M| 39 | 5 | 120 | 247 | 120 | 20 | 23 | 107k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
131.39/131.48 c 131s| 1000k| 33012 | 2768k| 2.8 | 24M| 39 | 5 | 120 | 208 | 120 | 20 | 23 | 108k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
132.49/132.58 c 133s| 1010k| 32695 | 2793k| 2.8 | 24M| 39 | - | 120 | 214 | 120 | 20 | 23 | 109k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
133.59/133.66 c 134s| 1020k| 32157 | 2818k| 2.8 | 24M| 39 | 5 | 120 | 226 | 120 | 20 | 23 | 110k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
134.70/134.75 c 135s| 1030k| 31691 | 2841k| 2.8 | 23M| 39 | - | 120 | 233 | 120 | 20 | 23 | 110k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
135.80/135.89 c 136s| 1040k| 32354 | 2867k| 2.8 | 24M| 39 | - | 120 | 330 | 120 | 20 | 23 | 111k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
136.99/137.00 c 137s| 1050k| 32109 | 2891k| 2.8 | 24M| 39 | - | 120 | 383 | 120 | 20 | 23 | 112k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
138.10/138.12 c 138s| 1060k| 31908 | 2914k| 2.7 | 24M| 39 | 5 | 120 | 387 | 120 | 20 | 23 | 113k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
139.20/139.25 c 139s| 1070k| 30881 | 2938k| 2.7 | 23M| 39 | - | 120 | 145 | 120 | 20 | 23 | 114k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
140.30/140.38 c 140s| 1080k| 31283 | 2964k| 2.7 | 23M| 39 | 5 | 120 | 238 | 120 | 20 | 23 | 114k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
141.49/141.50 c 141s| 1090k| 31976 | 2989k| 2.7 | 23M| 39 | 5 | 120 | 244 | 120 | 20 | 23 | 115k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
142.59/142.61 c 143s| 1100k| 32237 | 3012k| 2.7 | 24M| 39 | - | 120 | 304 | 120 | 20 | 23 | 116k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
143.69/143.70 c 144s| 1110k| 31813 | 3036k| 2.7 | 24M| 39 | - | 120 | 249 | 120 | 20 | 23 | 117k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
144.80/144.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
144.80/144.80 c 145s| 1120k| 30842 | 3059k| 2.7 | 23M| 39 | - | 120 | 282 | 0 | 0 | 23 | 117k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
145.90/145.91 c 146s| 1130k| 30987 | 3083k| 2.7 | 23M| 39 | - | 120 | 310 | 120 | 20 | 23 | 118k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
146.99/147.02 c 147s| 1140k| 30462 | 3107k| 2.7 | 23M| 39 | - | 120 | 180 | 120 | 20 | 23 | 119k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
148.10/148.17 c 148s| 1150k| 30908 | 3132k| 2.7 | 23M| 39 | - | 120 | 267 | 0 | 0 | 23 | 120k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
149.19/149.27 c 149s| 1160k| 31305 | 3156k| 2.7 | 23M| 39 | 5 | 120 | 262 | 120 | 20 | 23 | 121k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
150.30/150.39 c 150s| 1170k| 32010 | 3181k| 2.7 | 24M| 39 | 5 | 120 | 305 | 120 | 20 | 23 | 121k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
151.50/151.51 c 152s| 1180k| 32127 | 3207k| 2.7 | 24M| 39 | 5 | 120 | 350 | 120 | 20 | 23 | 122k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
152.60/152.61 c 153s| 1190k| 32054 | 3230k| 2.7 | 24M| 39 | - | 120 | 304 | 0 | 0 | 23 | 123k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
153.70/153.74 c 154s| 1200k| 32697 | 3254k| 2.7 | 24M| 39 | 5 | 120 | 317 | 120 | 20 | 23 | 124k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
154.79/154.85 c 155s| 1210k| 32637 | 3278k| 2.7 | 24M| 39 | - | 120 | 305 | 0 | 0 | 23 | 125k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
155.89/155.96 c 156s| 1220k| 32367 | 3302k| 2.7 | 24M| 39 | - | 120 | 317 | 120 | 20 | 23 | 125k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
156.99/157.09 c 157s| 1230k| 32232 | 3326k| 2.7 | 24M| 39 | - | 120 | 319 | 120 | 20 | 23 | 126k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
158.19/158.20 c 158s| 1240k| 31628 | 3350k| 2.7 | 24M| 39 | 5 | 120 | 284 | 120 | 20 | 23 | 127k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
158.31/158.38 o 1
158.31/158.38 c * 158s| 1241k| 31126 | 3354k| 2.7 | 23M| 39 | - | 120 | 298 | 120 | 20 | 23 | 127k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
160.40/160.41 c 160s| 1250k| 30145 | 3371k| 2.7 | 23M| 39 | - | 120 |2003 | 120 | 20 | 23 | 134k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
162.39/162.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.39/162.41 c 162s| 1260k| 29127 | 3391k| 2.7 | 23M| 39 | - | 120 |2539 | 120 | 20 | 23 | 142k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
164.70/164.77 c 165s| 1270k| 29055 | 3414k| 2.7 | 23M| 39 | - | 120 |3798 | 120 | 20 | 23 | 150k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
166.79/166.86 c 167s| 1280k| 29399 | 3435k| 2.7 | 24M| 39 | - | 120 |4476 | 120 | 20 | 23 | 157k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
168.99/169.06 c 169s| 1290k| 29374 | 3455k| 2.7 | 25M| 39 | - | 120 |5260 | 120 | 20 | 23 | 166k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
171.39/171.40 c 171s| 1300k| 28924 | 3475k| 2.7 | 24M| 39 | 5 | 120 |5073 | 120 | 20 | 23 | 174k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
173.60/173.70 c 174s| 1310k| 28098 | 3495k| 2.7 | 23M| 39 | - | 120 |3677 | 120 | 20 | 23 | 182k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
175.79/175.81 c 176s| 1320k| 28142 | 3517k| 2.7 | 23M| 39 | 5 | 120 |4106 | 120 | 20 | 23 | 190k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
177.89/177.90 c 178s| 1330k| 28859 | 3539k| 2.7 | 24M| 39 | - | 120 |5725 | 0 | 0 | 23 | 197k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
180.09/180.16 c 180s| 1340k| 29661 | 3560k| 2.7 | 26M| 39 | 5 | 120 |6730 | 120 | 20 | 23 | 204k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
182.61/182.65 c 183s| 1350k| 29788 | 3580k| 2.7 | 26M| 39 | 5 | 120 |5737 | 120 | 20 | 23 | 212k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
185.00/185.06 c 185s| 1360k| 29826 | 3600k| 2.6 | 27M| 39 | - | 120 |6230 | 120 | 20 | 23 | 220k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
187.30/187.37 c 187s| 1370k| 30793 | 3621k| 2.6 | 28M| 39 | 5 | 120 |7609 | 120 | 20 | 23 | 226k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
189.89/189.97 c 190s| 1380k| 30896 | 3641k| 2.6 | 29M| 39 | - | 120 |7466 | 120 | 20 | 23 | 234k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
192.51/192.56 c 193s| 1390k| 30782 | 3660k| 2.6 | 29M| 39 | - | 120 |7552 | 120 | 20 | 23 | 241k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
195.09/195.15 c 195s| 1400k| 30765 | 3679k| 2.6 | 29M| 39 | - | 120 |7191 | 120 | 20 | 23 | 249k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
197.60/197.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
197.60/197.69 c 198s| 1410k| 30831 | 3698k| 2.6 | 30M| 39 | 5 | 120 |7985 | 120 | 20 | 23 | 256k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
200.50/200.51 c 201s| 1420k| 30238 | 3717k| 2.6 | 29M| 39 | 5 | 120 |7045 | 120 | 20 | 23 | 264k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
202.90/203.00 c 203s| 1430k| 30479 | 3737k| 2.6 | 30M| 39 | 5 | 120 |8770 | 120 | 20 | 23 | 272k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
205.49/205.57 c 206s| 1440k| 31456 | 3759k| 2.6 | 30M| 39 | 5 | 120 |8136 | 120 | 20 | 23 | 279k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
207.91/207.95 c 208s| 1450k| 33000 | 3781k| 2.6 | 32M| 39 | 5 | 120 |9357 | 120 | 20 | 23 | 285k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
210.50/210.54 c 211s| 1460k| 33681 | 3801k| 2.6 | 33M| 39 | 5 | 120 |8797 | 120 | 20 | 23 | 292k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
212.99/213.06 c 213s| 1470k| 34612 | 3822k| 2.6 | 34M| 39 | - | 120 |9422 | 120 | 20 | 23 | 299k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
215.70/215.75 c 216s| 1480k| 34927 | 3842k| 2.6 | 35M| 39 | - | 120 |8735 | 120 | 20 | 23 | 306k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
218.40/218.44 c 218s| 1490k| 35185 | 3861k| 2.6 | 35M| 39 | - | 120 |9301 | 120 | 20 | 23 | 314k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
221.20/221.20 c 221s| 1500k| 35210 | 3881k| 2.6 | 36M| 39 | - | 120 |9296 | 0 | 0 | 23 | 321k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
224.00/224.08 c 224s| 1510k| 34920 | 3900k| 2.6 | 36M| 39 | 5 | 120 |9452 | 120 | 20 | 23 | 329k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
227.00/227.06 c 227s| 1520k| 34634 | 3919k| 2.6 | 36M| 39 | 5 | 120 |9529 | 120 | 20 | 23 | 337k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
230.00/230.03 c 230s| 1530k| 34362 | 3939k| 2.6 | 36M| 39 | 5 | 120 |9661 | 120 | 20 | 23 | 345k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
232.60/232.69 c 233s| 1540k| 34934 | 3958k| 2.6 | 37M| 39 | - | 120 | 10k| 0 | 0 | 23 | 352k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
235.70/235.76 c 236s| 1550k| 34424 | 3977k| 2.6 | 37M| 39 | 5 | 120 | 10k| 120 | 20 | 23 | 360k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
238.80/238.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
238.80/238.89 c 239s| 1560k| 33862 | 3997k| 2.6 | 36M| 39 | - | 120 |9809 | 0 | 0 | 23 | 368k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
241.90/241.97 c 242s| 1570k| 33336 | 4016k| 2.6 | 36M| 39 | - | 120 |9919 | 120 | 20 | 23 | 375k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
245.00/245.08 c 245s| 1580k| 32801 | 4035k| 2.6 | 35M| 39 | 5 | 120 | 10k| 120 | 20 | 23 | 383k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
248.00/248.09 c 248s| 1590k| 32492 | 4054k| 2.6 | 35M| 39 | 5 | 120 | 10k| 120 | 20 | 23 | 391k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
251.30/251.34 c 251s| 1600k| 31834 | 4073k| 2.5 | 34M| 39 | - | 120 | 10k| 120 | 20 | 23 | 399k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
254.69/254.73 c 255s| 1610k| 30937 | 4093k| 2.5 | 32M| 39 | - | 120 |9855 | 0 | 0 | 23 | 408k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
258.10/258.17 c 258s| 1620k| 30234 | 4113k| 2.5 | 31M| 39 | - | 120 |9649 | 120 | 20 | 23 | 416k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
260.71/260.75 c 261s| 1630k| 30128 | 4132k| 2.5 | 31M| 39 | - | 120 | 10k| 120 | 20 | 23 | 423k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
264.20/264.23 c 264s| 1640k| 29083 | 4151k| 2.5 | 29M| 39 | 5 | 120 |9669 | 120 | 20 | 23 | 432k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
268.10/268.18 c 268s| 1650k| 27467 | 4171k| 2.5 | 25M| 39 | - | 120 |8381 | 120 | 20 | 23 | 441k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
270.61/270.62 c 271s| 1660k| 27106 | 4191k| 2.5 | 23M| 39 | - | 120 |4826 | 120 | 20 | 23 | 449k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
273.00/273.00 c 273s| 1670k| 26378 | 4211k| 2.5 | 23M| 39 | - | 120 |4280 | 120 | 20 | 23 | 457k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
275.30/275.39 c 275s| 1680k| 25692 | 4232k| 2.5 | 22M| 39 | 5 | 120 |3924 | 120 | 20 | 23 | 465k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
277.60/277.60 c 278s| 1690k| 25230 | 4251k| 2.5 | 22M| 39 | - | 120 |5418 | 120 | 20 | 23 | 473k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
279.90/279.92 c 280s| 1700k| 24780 | 4272k| 2.5 | 21M| 39 | 5 | 120 |4386 | 120 | 20 | 23 | 481k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
282.19/282.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
282.19/282.26 c 282s| 1710k| 24100 | 4293k| 2.5 | 21M| 39 | - | 120 |3853 | 0 | 0 | 23 | 489k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
284.50/284.54 c 285s| 1720k| 23504 | 4314k| 2.5 | 20M| 39 | 5 | 120 |3971 | 120 | 20 | 23 | 497k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
286.90/286.97 c 287s| 1730k| 22504 | 4335k| 2.5 | 19M| 39 | 5 | 120 |3274 | 120 | 20 | 23 | 506k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
289.00/289.00 c 289s| 1740k| 23305 | 4356k| 2.5 | 20M| 39 | 5 | 120 |5617 | 120 | 20 | 23 | 512k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
291.30/291.30 c 291s| 1750k| 23404 | 4376k| 2.5 | 21M| 39 | - | 120 |5524 | 120 | 20 | 23 | 520k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
293.71/293.73 c 294s| 1760k| 23162 | 4396k| 2.5 | 21M| 39 | 5 | 120 |5700 | 120 | 20 | 23 | 528k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
296.10/296.17 c 296s| 1770k| 22696 | 4416k| 2.5 | 20M| 39 | 5 | 120 |5995 | 120 | 20 | 23 | 536k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
298.50/298.53 c 299s| 1780k| 22887 | 4438k| 2.5 | 21M| 39 | 5 | 120 |7308 | 120 | 20 | 23 | 543k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
301.20/301.23 c 301s| 1790k| 22327 | 4458k| 2.5 | 20M| 39 | - | 120 |6617 | 120 | 20 | 23 | 551k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
303.51/303.61 c 304s| 1800k| 21938 | 4479k| 2.5 | 19M| 39 | - | 120 |4220 | 120 | 20 | 23 | 559k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
305.81/305.88 c 306s| 1810k| 21401 | 4499k| 2.5 | 18M| 39 | - | 120 |3426 | 120 | 20 | 23 | 567k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
308.10/308.19 c 308s| 1820k| 20612 | 4520k| 2.5 | 17M| 39 | 5 | 120 |3440 | 120 | 20 | 23 | 575k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
310.30/310.38 c 310s| 1830k| 20715 | 4540k| 2.5 | 18M| 39 | - | 120 |5598 | 0 | 0 | 23 | 583k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
312.80/312.82 c 313s| 1840k| 20223 | 4561k| 2.5 | 18M| 39 | - | 120 |5639 | 120 | 20 | 23 | 591k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
315.30/315.30 c 315s| 1850k| 19566 | 4581k| 2.5 | 17M| 39 | 5 | 120 |4366 | 120 | 20 | 23 | 599k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
317.50/317.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
317.50/317.59 c 318s| 1860k| 19208 | 4602k| 2.5 | 17M| 39 | 5 | 120 |5402 | 120 | 20 | 23 | 607k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
320.11/320.16 c 320s| 1870k| 18533 | 4623k| 2.5 | 16M| 39 | 5 | 120 |4971 | 120 | 20 | 23 | 615k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
322.40/322.43 c 322s| 1880k| 18761 | 4643k| 2.5 | 17M| 39 | - | 120 |7579 | 120 | 20 | 23 | 623k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
325.00/325.09 c 325s| 1890k| 18177 | 4664k| 2.5 | 16M| 39 | 5 | 120 |6686 | 120 | 20 | 23 | 632k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
327.60/327.70 c 328s| 1900k| 18008 | 4685k| 2.5 | 16M| 39 | 5 | 120 |6771 | 120 | 20 | 23 | 640k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
330.20/330.20 c 330s| 1910k| 17687 | 4705k| 2.5 | 15M| 39 | - | 120 |5458 | 120 | 20 | 23 | 648k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
332.40/332.48 c 332s| 1920k| 17873 | 4724k| 2.5 | 16M| 39 | - | 120 |7105 | 120 | 20 | 23 | 655k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
335.10/335.11 c 335s| 1930k| 17512 | 4743k| 2.5 | 16M| 39 | - | 120 |7329 | 0 | 0 | 23 | 663k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
337.61/337.64 c 338s| 1940k| 17145 | 4765k| 2.5 | 15M| 39 | 5 | 120 |6407 | 120 | 20 | 23 | 671k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
340.10/340.14 c 340s| 1950k| 16910 | 4785k| 2.5 | 15M| 39 | 5 | 120 |8122 | 120 | 20 | 23 | 679k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
343.00/343.01 c 343s| 1960k| 15976 | 4805k| 2.5 | 13M| 39 | 5 | 120 |3954 | 120 | 20 | 23 | 688k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
345.42/345.44 c 345s| 1970k| 15542 | 4826k| 2.4 | 12M| 39 | - | 120 |4997 | 120 | 20 | 23 | 696k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
347.91/347.90 c 348s| 1980k| 15032 | 4845k| 2.4 | 12M| 39 | - | 120 |6427 | 120 | 20 | 23 | 704k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
350.20/350.24 c 350s| 1990k| 15256 | 4866k| 2.4 | 13M| 39 | - | 120 |7794 | 120 | 20 | 23 | 711k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
352.70/352.72 c 353s| 2000k| 16113 | 4887k| 2.4 | 14M| 39 | 5 | 120 |8998 | 120 | 20 | 23 | 718k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
355.60/355.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
355.60/355.60 c 356s| 2010k| 15536 | 4906k| 2.4 | 14M| 39 | - | 120 |9297 | 120 | 20 | 23 | 726k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
358.40/358.40 c 358s| 2020k| 15254 | 4926k| 2.4 | 14M| 39 | - | 120 | 10k| 120 | 20 | 23 | 734k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
361.10/361.12 c 361s| 2030k| 15494 | 4947k| 2.4 | 15M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 743k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
364.20/364.21 c 364s| 2040k| 15473 | 4968k| 2.4 | 16M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 751k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
367.42/367.45 c 367s| 2050k| 15919 | 4988k| 2.4 | 17M| 39 | - | 120 | 16k| 0 | 0 | 23 | 759k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
371.30/371.38 c 371s| 2060k| 15791 | 5008k| 2.4 | 17M| 39 | 5 | 120 | 14k| 120 | 20 | 23 | 767k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
374.60/374.60 c 375s| 2070k| 16879 | 5029k| 2.4 | 19M| 39 | 5 | 120 | 17k| 120 | 20 | 23 | 774k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
378.60/378.65 c 379s| 2080k| 16888 | 5049k| 2.4 | 20M| 39 | 5 | 120 | 18k| 120 | 20 | 23 | 782k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
382.71/382.77 c 383s| 2090k| 16845 | 5068k| 2.4 | 20M| 39 | 5 | 120 | 18k| 120 | 20 | 23 | 790k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
386.80/386.89 c 387s| 2100k| 16690 | 5088k| 2.4 | 21M| 39 | - | 120 | 20k| 120 | 20 | 23 | 798k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
391.00/391.07 c 391s| 2110k| 17039 | 5108k| 2.4 | 21M| 39 | - | 120 | 21k| 0 | 0 | 23 | 806k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
396.01/396.04 c 396s| 2120k| 16499 | 5129k| 2.4 | 20M| 39 | 5 | 120 | 18k| 120 | 20 | 23 | 814k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
399.90/399.96 c 400s| 2130k| 17122 | 5149k| 2.4 | 21M| 39 | 5 | 120 | 18k| 120 | 20 | 23 | 822k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
403.81/403.88 c 404s| 2140k| 17307 | 5169k| 2.4 | 22M| 39 | - | 120 | 19k| 0 | 0 | 23 | 829k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
408.02/408.06 c 408s| 2150k| 17266 | 5189k| 2.4 | 22M| 39 | - | 120 | 19k| 120 | 20 | 23 | 837k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
412.30/412.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
412.30/412.32 c 412s| 2160k| 17175 | 5209k| 2.4 | 22M| 39 | 5 | 120 | 20k| 120 | 20 | 23 | 845k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
416.61/416.69 c 417s| 2170k| 17164 | 5228k| 2.4 | 23M| 39 | 5 | 120 | 21k| 120 | 20 | 23 | 853k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
422.71/422.80 c 423s| 2180k| 15631 | 5246k| 2.4 | 18M| 39 | 5 | 120 | 16k| 120 | 20 | 23 | 862k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
426.81/426.89 c 427s| 2190k| 15835 | 5267k| 2.4 | 18M| 39 | - | 120 | 18k| 120 | 20 | 23 | 869k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
430.61/430.60 c 431s| 2200k| 15872 | 5286k| 2.4 | 18M| 39 | - | 120 | 18k| 0 | 0 | 23 | 877k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
434.60/434.67 c 435s| 2210k| 15074 | 5305k| 2.4 | 17M| 39 | 5 | 120 | 18k| 120 | 20 | 23 | 885k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
438.00/438.07 c 438s| 2220k| 15071 | 5326k| 2.4 | 16M| 39 | - | 120 | 14k| 120 | 20 | 23 | 892k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
441.51/441.52 c 442s| 2230k| 14890 | 5346k| 2.4 | 15M| 39 | - | 120 | 12k| 120 | 20 | 23 | 900k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
444.50/444.57 c 445s| 2240k| 14773 | 5366k| 2.4 | 15M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 908k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
447.30/447.33 c 447s| 2250k| 15094 | 5385k| 2.4 | 16M| 39 | - | 120 | 13k| 120 | 20 | 23 | 915k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
450.31/450.37 c 450s| 2260k| 15158 | 5405k| 2.4 | 17M| 39 | 5 | 120 | 15k| 120 | 20 | 23 | 923k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
453.71/453.79 c 454s| 2270k| 14982 | 5426k| 2.4 | 16M| 39 | 5 | 120 | 15k| 120 | 20 | 23 | 931k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
457.01/457.08 c 457s| 2280k| 15193 | 5446k| 2.4 | 17M| 39 | 5 | 120 | 16k| 120 | 20 | 23 | 939k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
460.51/460.57 c 461s| 2290k| 15027 | 5467k| 2.4 | 17M| 39 | - | 120 | 15k| 120 | 20 | 23 | 947k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
464.00/464.10 c 464s| 2300k| 15608 | 5487k| 2.4 | 18M| 39 | 5 | 120 | 17k| 120 | 20 | 23 | 954k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
467.81/467.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
467.81/467.80 c 468s| 2310k| 16088 | 5507k| 2.4 | 19M| 39 | - | 120 | 18k| 120 | 20 | 23 | 961k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
471.60/471.60 c 472s| 2320k| 16282 | 5526k| 2.4 | 20M| 39 | 5 | 120 | 18k| 120 | 20 | 23 | 967k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
475.40/475.43 c 475s| 2330k| 16673 | 5546k| 2.4 | 21M| 39 | - | 120 | 20k| 120 | 20 | 23 | 974k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
479.80/479.88 c 480s| 2340k| 16571 | 5566k| 2.4 | 21M| 39 | 5 | 120 | 19k| 120 | 20 | 23 | 982k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
484.20/484.29 c 484s| 2350k| 16354 | 5585k| 2.4 | 21M| 39 | 5 | 120 | 19k| 120 | 20 | 23 | 989k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
488.81/488.87 c 489s| 2360k| 15832 | 5605k| 2.4 | 21M| 39 | - | 120 | 20k| 0 | 0 | 23 | 997k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
493.60/493.69 c 494s| 2370k| 15204 | 5624k| 2.4 | 18M| 39 | - | 120 | 18k| 120 | 20 | 23 |1005k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
497.50/497.50 c 498s| 2380k| 15684 | 5643k| 2.4 | 19M| 39 | - | 120 | 20k| 120 | 20 | 23 |1011k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
501.41/501.44 c 501s| 2390k| 15929 | 5661k| 2.4 | 20M| 39 | 5 | 120 | 20k| 120 | 20 | 23 |1018k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
505.50/505.55 c 506s| 2400k| 15931 | 5680k| 2.4 | 20M| 39 | 5 | 120 | 20k| 120 | 20 | 23 |1026k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
510.01/510.01 c 510s| 2410k| 15308 | 5698k| 2.4 | 19M| 39 | - | 120 | 20k| 120 | 20 | 23 |1033k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
513.81/513.81 c 514s| 2420k| 15982 | 5717k| 2.4 | 21M| 39 | 5 | 120 | 22k| 120 | 20 | 23 |1040k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
518.02/518.11 c 518s| 2430k| 15959 | 5736k| 2.4 | 21M| 39 | - | 120 | 22k| 0 | 0 | 23 |1048k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
522.61/522.66 c 523s| 2440k| 15715 | 5754k| 2.4 | 21M| 39 | 5 | 120 | 22k| 120 | 20 | 23 |1056k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
527.81/527.83 c 528s| 2450k| 14964 | 5774k| 2.4 | 18M| 39 | 5 | 120 | 17k| 120 | 20 | 23 |1064k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
531.22/531.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
531.22/531.21 c 531s| 2460k| 15567 | 5794k| 2.4 | 19M| 39 | 5 | 120 | 19k| 120 | 20 | 23 |1071k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
534.91/534.91 c 535s| 2470k| 15637 | 5813k| 2.4 | 20M| 39 | - | 120 | 20k| 120 | 20 | 23 |1079k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
538.81/538.89 c 539s| 2480k| 15472 | 5832k| 2.4 | 20M| 39 | - | 120 | 21k| 120 | 20 | 23 |1087k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
542.81/542.86 c 543s| 2490k| 15542 | 5852k| 2.4 | 20M| 39 | 5 | 120 | 21k| 120 | 20 | 23 |1095k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
547.10/547.16 c 547s| 2500k| 15117 | 5871k| 2.3 | 19M| 39 | - | 120 | 21k| 120 | 20 | 23 |1103k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
551.02/551.08 c 551s| 2510k| 15575 | 5891k| 2.3 | 20M| 39 | 5 | 120 | 22k| 120 | 20 | 23 |1110k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
555.52/555.54 c 556s| 2520k| 15573 | 5910k| 2.3 | 21M| 39 | 5 | 120 | 23k| 120 | 20 | 23 |1118k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
560.61/560.64 c 561s| 2530k| 14961 | 5929k| 2.3 | 19M| 39 | 5 | 120 | 21k| 120 | 20 | 23 |1126k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
564.81/564.87 c 565s| 2540k| 14896 | 5949k| 2.3 | 20M| 39 | - | 120 | 22k| 120 | 20 | 23 |1134k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
568.81/568.81 c 569s| 2550k| 15847 | 5970k| 2.3 | 20M| 39 | 5 | 120 | 23k| 120 | 20 | 23 |1141k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
572.80/572.83 c 573s| 2560k| 16426 | 5990k| 2.3 | 22M| 39 | 5 | 120 | 25k| 120 | 20 | 23 |1148k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
577.81/577.81 c 578s| 2570k| 16263 | 6008k| 2.3 | 22M| 39 | 5 | 120 | 24k| 120 | 20 | 23 |1156k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
582.21/582.29 c 582s| 2580k| 16406 | 6027k| 2.3 | 23M| 39 | - | 120 | 26k| 0 | 0 | 23 |1163k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
587.01/587.01 c 587s| 2590k| 16619 | 6046k| 2.3 | 24M| 39 | 5 | 120 | 26k| 120 | 20 | 23 |1171k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
592.21/592.23 c 592s| 2600k| 16251 | 6065k| 2.3 | 23M| 39 | - | 120 | 26k| 120 | 20 | 23 |1179k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
598.71/598.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
598.71/598.79 c 599s| 2610k| 14981 | 6084k| 2.3 | 21M| 39 | - | 120 | 25k| 120 | 20 | 23 |1188k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
603.21/603.23 c 603s| 2620k| 15558 | 6104k| 2.3 | 22M| 39 | - | 120 | 26k| 120 | 20 | 23 |1196k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
607.81/607.87 c 608s| 2630k| 15695 | 6124k| 2.3 | 23M| 39 | - | 120 | 27k| 120 | 20 | 23 |1203k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
613.41/613.41 c 613s| 2640k| 15241 | 6143k| 2.3 | 22M| 39 | 5 | 120 | 27k| 120 | 20 | 23 |1211k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
618.41/618.48 c 618s| 2650k| 15428 | 6164k| 2.3 | 21M| 39 | - | 120 | 24k| 120 | 20 | 23 |1219k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
622.71/622.79 c 623s| 2660k| 15749 | 6184k| 2.3 | 22M| 39 | - | 120 | 26k| 120 | 20 | 23 |1227k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
627.51/627.52 c 628s| 2670k| 15578 | 6205k| 2.3 | 22M| 39 | 5 | 120 | 25k| 120 | 20 | 23 |1235k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
631.71/631.73 c 632s| 2680k| 16438 | 6226k| 2.3 | 24M| 39 | - | 120 | 27k| 0 | 0 | 23 |1242k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
636.21/636.28 c 636s| 2690k| 16677 | 6247k| 2.3 | 25M| 39 | - | 120 | 27k| 120 | 20 | 23 |1249k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
641.41/641.49 c 641s| 2700k| 16186 | 6267k| 2.3 | 25M| 39 | - | 120 | 27k| 120 | 20 | 23 |1258k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
648.01/648.07 c 648s| 2710k| 14821 | 6287k| 2.3 | 21M| 39 | 5 | 120 | 26k| 120 | 20 | 23 |1267k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
652.22/652.25 c 652s| 2720k| 15547 | 6307k| 2.3 | 23M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1274k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
656.91/656.92 c 657s| 2730k| 15528 | 6327k| 2.3 | 23M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1282k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
662.22/662.23 c 662s| 2740k| 15710 | 6348k| 2.3 | 21M| 39 | 5 | 120 | 23k| 120 | 20 | 23 |1290k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
666.01/666.04 c 666s| 2750k| 17763 | 6371k| 2.3 | 23M| 39 | 5 | 120 | 24k| 120 | 20 | 23 |1296k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
670.11/670.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
670.11/670.10 c 670s| 2760k| 19267 | 6392k| 2.3 | 24M| 39 | - | 120 | 25k| 120 | 20 | 23 |1302k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
674.41/674.44 c 674s| 2770k| 20447 | 6412k| 2.3 | 26M| 39 | - | 120 | 25k| 120 | 20 | 23 |1309k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
678.81/678.85 c 679s| 2780k| 21382 | 6433k| 2.3 | 27M| 39 | - | 120 | 25k| 120 | 20 | 23 |1316k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
683.31/683.39 c 683s| 2790k| 22252 | 6453k| 2.3 | 28M| 39 | - | 120 | 26k| 120 | 20 | 23 |1323k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
687.71/687.70 c 688s| 2800k| 23309 | 6474k| 2.3 | 29M| 39 | - | 120 | 26k| 120 | 20 | 23 |1329k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
691.92/691.91 c 692s| 2810k| 24253 | 6494k| 2.3 | 31M| 39 | - | 120 | 28k| 0 | 0 | 23 |1336k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
696.91/696.92 c 697s| 2820k| 24934 | 6514k| 2.3 | 32M| 39 | - | 120 | 28k| 120 | 20 | 23 |1343k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
701.11/701.19 c 701s| 2830k| 25856 | 6534k| 2.3 | 33M| 39 | - | 120 | 29k| 120 | 20 | 23 |1350k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
706.71/706.77 c 707s| 2840k| 26149 | 6554k| 2.3 | 34M| 39 | - | 120 | 27k| 120 | 20 | 23 |1357k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
711.81/711.81 c 712s| 2850k| 26971 | 6575k| 2.3 | 35M| 39 | 5 | 120 | 27k| 120 | 20 | 23 |1364k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
716.31/716.34 c 716s| 2860k| 27933 | 6596k| 2.3 | 37M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |1372k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
721.32/721.34 c 721s| 2870k| 28631 | 6616k| 2.3 | 38M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1379k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
727.03/727.03 c 727s| 2880k| 29265 | 6635k| 2.3 | 39M| 39 | - | 120 | 30k| 120 | 20 | 23 |1386k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
732.11/732.11 c 732s| 2890k| 30038 | 6655k| 2.3 | 40M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1393k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
737.81/737.88 c 738s| 2900k| 30625 | 6675k| 2.3 | 41M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1400k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
743.42/743.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
743.42/743.47 c 743s| 2910k| 30974 | 6694k| 2.3 | 42M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |1408k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
749.32/749.32 c 749s| 2920k| 31582 | 6715k| 2.3 | 42M| 39 | 5 | 120 | 29k| 120 | 20 | 23 |1415k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
753.91/753.93 c 754s| 2930k| 32676 | 6735k| 2.3 | 44M| 39 | - | 120 | 31k| 120 | 20 | 23 |1422k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
758.81/758.86 c 759s| 2940k| 33127 | 6755k| 2.3 | 45M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1429k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
764.02/764.05 c 764s| 2950k| 33419 | 6774k| 2.3 | 45M| 39 | - | 120 | 31k| 0 | 0 | 23 |1436k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
769.21/769.29 c 769s| 2960k| 33830 | 6793k| 2.3 | 47M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1444k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
775.32/775.36 c 775s| 2970k| 34406 | 6813k| 2.3 | 47M| 39 | - | 120 | 31k| 120 | 20 | 23 |1451k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
780.62/780.61 c 781s| 2980k| 35241 | 6834k| 2.3 | 49M| 39 | - | 120 | 34k| 120 | 20 | 23 |1458k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
786.53/786.57 c 787s| 2990k| 35500 | 6854k| 2.3 | 49M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |1466k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
793.62/793.61 c 794s| 3000k| 35450 | 6873k| 2.3 | 49M| 39 | - | 120 | 30k| 120 | 20 | 23 |1474k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
799.81/799.83 c 800s| 3010k| 35493 | 6892k| 2.3 | 50M| 39 | - | 120 | 30k| 0 | 0 | 23 |1482k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
804.52/804.53 c 805s| 3020k| 35996 | 6911k| 2.3 | 51M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1489k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
809.91/809.95 c 810s| 3030k| 36553 | 6932k| 2.3 | 52M| 39 | - | 120 | 33k| 120 | 20 | 23 |1497k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
815.72/815.78 c 816s| 3040k| 37106 | 6951k| 2.3 | 53M| 39 | - | 120 | 34k| 120 | 20 | 23 |1504k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
821.63/821.66 c 822s| 3050k| 37436 | 6971k| 2.3 | 54M| 39 | 5 | 120 | 36k| 120 | 20 | 23 |1511k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
828.41/828.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
828.41/828.48 c 828s| 3060k| 37599 | 6990k| 2.3 | 54M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |1519k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
835.12/835.11 c 835s| 3070k| 37741 | 7009k| 2.3 | 54M| 39 | - | 120 | 32k| 120 | 20 | 23 |1526k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
840.11/840.17 c 840s| 3080k| 38325 | 7029k| 2.3 | 56M| 39 | - | 120 | 34k| 0 | 0 | 23 |1534k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
846.42/846.45 c 846s| 3090k| 38312 | 7048k| 2.3 | 56M| 39 | - | 120 | 33k| 120 | 20 | 23 |1541k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
851.81/851.88 c 852s| 3100k| 39372 | 7069k| 2.3 | 58M| 39 | - | 120 | 35k| 120 | 20 | 23 |1549k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
857.51/857.58 c 858s| 3110k| 39591 | 7088k| 2.3 | 59M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |1556k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
863.31/863.38 c 863s| 3120k| 40303 | 7108k| 2.3 | 60M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |1563k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
869.41/869.41 c 869s| 3130k| 41076 | 7128k| 2.3 | 61M| 39 | 5 | 120 | 38k| 120 | 20 | 23 |1570k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
875.82/875.86 c 876s| 3140k| 41439 | 7146k| 2.3 | 62M| 39 | - | 120 | 38k| 120 | 20 | 23 |1577k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
882.42/882.45 c 882s| 3150k| 41651 | 7165k| 2.3 | 63M| 39 | - | 120 | 38k| 120 | 20 | 23 |1584k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
890.12/890.18 c 890s| 3160k| 41150 | 7184k| 2.3 | 62M| 39 | 5 | 120 | 36k| 120 | 20 | 23 |1592k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
896.82/896.88 c 897s| 3170k| 41581 | 7203k| 2.3 | 63M| 39 | 5 | 120 | 38k| 120 | 20 | 23 |1600k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
904.92/904.92 c 905s| 3180k| 41578 | 7223k| 2.3 | 62M| 39 | - | 120 | 32k| 120 | 20 | 23 |1608k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
910.61/910.67 c 911s| 3190k| 42161 | 7245k| 2.3 | 63M| 39 | - | 120 | 34k| 120 | 20 | 23 |1616k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
916.51/916.54 c 917s| 3200k| 42683 | 7265k| 2.3 | 65M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |1623k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
923.32/923.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
923.32/923.30 c 923s| 3210k| 42462 | 7284k| 2.3 | 64M| 39 | - | 120 | 34k| 0 | 0 | 23 |1632k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
930.42/930.47 c 930s| 3220k| 42290 | 7304k| 2.3 | 64M| 39 | - | 120 | 33k| 120 | 20 | 23 |1640k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
936.92/936.98 c 937s| 3230k| 42232 | 7323k| 2.3 | 64M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1647k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
943.42/943.41 c 943s| 3240k| 42096 | 7343k| 2.3 | 64M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1655k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
949.72/949.76 c 950s| 3250k| 42017 | 7361k| 2.3 | 65M| 39 | - | 120 | 32k| 120 | 20 | 23 |1663k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
956.02/956.06 c 956s| 3260k| 41877 | 7380k| 2.3 | 65M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1671k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
961.62/961.64 c 962s| 3270k| 42407 | 7400k| 2.3 | 66M| 39 | - | 120 | 33k| 120 | 20 | 23 |1678k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
968.32/968.31 c 968s| 3280k| 41984 | 7418k| 2.3 | 65M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1686k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
973.72/973.77 c 974s| 3290k| 42661 | 7438k| 2.3 | 67M| 39 | - | 120 | 33k| 0 | 0 | 23 |1693k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
979.32/979.36 c 979s| 3300k| 42770 | 7456k| 2.3 | 67M| 39 | - | 120 | 33k| 120 | 20 | 23 |1701k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
985.12/985.10 c 985s| 3310k| 42741 | 7474k| 2.3 | 67M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |1708k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
992.52/992.55 c 993s| 3320k| 42399 | 7494k| 2.3 | 67M| 39 | - | 120 | 32k| 120 | 20 | 23 |1716k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
998.32/998.39 c 998s| 3330k| 42661 | 7513k| 2.3 | 68M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |1724k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1005.02/1005.03 c 1005s| 3340k| 42653 | 7533k| 2.3 | 68M| 39 | - | 120 | 34k| 120 | 20 | 23 |1732k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1011.32/1011.36 c 1011s| 3350k| 42648 | 7553k| 2.3 | 69M| 39 | 5 | 120 | 36k| 120 | 20 | 23 |1739k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1017.12/1017.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1017.12/1017.17 c 1017s| 3360k| 42951 | 7572k| 2.3 | 70M| 39 | 5 | 120 | 38k| 120 | 20 | 23 |1747k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1023.72/1023.71 c 1024s| 3370k| 42976 | 7592k| 2.3 | 71M| 39 | 5 | 120 | 39k| 120 | 20 | 23 |1755k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1031.63/1031.64 c 1032s| 3380k| 42766 | 7612k| 2.3 | 69M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |1763k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1038.63/1038.66 c 1039s| 3390k| 42507 | 7631k| 2.3 | 69M| 39 | - | 120 | 33k| 120 | 20 | 23 |1771k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1044.22/1044.23 c 1044s| 3400k| 42715 | 7651k| 2.3 | 70M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |1778k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1050.43/1050.46 c 1050s| 3410k| 42405 | 7670k| 2.2 | 69M| 39 | - | 120 | 34k| 120 | 20 | 23 |1786k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1057.83/1057.84 c 1058s| 3420k| 42004 | 7689k| 2.2 | 69M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |1794k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1064.32/1064.32 c 1064s| 3430k| 42171 | 7709k| 2.2 | 69M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1802k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1070.34/1070.33 c 1070s| 3440k| 42619 | 7728k| 2.2 | 70M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |1809k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1076.62/1076.62 c 1077s| 3450k| 42547 | 7747k| 2.2 | 70M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |1817k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1083.73/1083.72 c 1084s| 3460k| 42129 | 7767k| 2.2 | 69M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1826k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1089.63/1089.68 c 1090s| 3470k| 42107 | 7786k| 2.2 | 70M| 39 | - | 120 | 32k| 120 | 20 | 23 |1833k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1095.64/1095.67 c 1096s| 3480k| 41959 | 7806k| 2.2 | 70M| 39 | - | 120 | 33k| 120 | 20 | 23 |1841k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1103.12/1103.12 c 1103s| 3490k| 41472 | 7826k| 2.2 | 70M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |1850k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1109.22/1109.25 c 1109s| 3500k| 41615 | 7846k| 2.2 | 70M| 39 | - | 120 | 33k| 0 | 0 | 23 |1857k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1115.13/1115.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1115.13/1115.15 c 1115s| 3510k| 41412 | 7865k| 2.2 | 70M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |1865k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1122.32/1122.30 c 1122s| 3520k| 40902 | 7884k| 2.2 | 69M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1873k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1128.64/1128.61 c 1129s| 3530k| 40727 | 7904k| 2.2 | 69M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1881k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1133.72/1133.74 c 1134s| 3540k| 41209 | 7924k| 2.2 | 70M| 39 | - | 120 | 34k| 0 | 0 | 23 |1888k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1140.64/1140.69 c 1141s| 3550k| 40587 | 7942k| 2.2 | 69M| 39 | - | 120 | 33k| 120 | 20 | 23 |1897k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1146.93/1146.99 c 1147s| 3560k| 40387 | 7961k| 2.2 | 70M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |1905k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1154.53/1154.54 c 1155s| 3570k| 39982 | 7980k| 2.2 | 69M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1913k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1162.42/1162.42 c 1162s| 3580k| 39287 | 8000k| 2.2 | 68M| 39 | - | 120 | 32k| 120 | 20 | 23 |1921k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1170.12/1170.19 c 1170s| 3590k| 38595 | 8020k| 2.2 | 67M| 39 | - | 120 | 31k| 120 | 20 | 23 |1930k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1177.92/1177.99 c 1178s| 3600k| 37717 | 8038k| 2.2 | 66M| 39 | - | 120 | 31k| 0 | 0 | 23 |1938k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1184.53/1184.54 c 1185s| 3610k| 37425 | 8057k| 2.2 | 66M| 39 | - | 120 | 33k| 120 | 20 | 23 |1946k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1191.34/1191.37 c 1191s| 3620k| 37251 | 8078k| 2.2 | 65M| 39 | - | 120 | 33k| 120 | 20 | 23 |1954k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1197.22/1197.28 c 1197s| 3630k| 37124 | 8097k| 2.2 | 66M| 39 | - | 120 | 34k| 0 | 0 | 23 |1963k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1204.63/1204.68 c 1205s| 3640k| 37143 | 8117k| 2.2 | 65M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1970k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1209.83/1209.83 c 1210s| 3650k| 38245 | 8136k| 2.2 | 66M| 39 | - | 120 | 34k| 0 | 0 | 23 |1977k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1215.83/1215.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1215.83/1215.85 c 1216s| 3660k| 38703 | 8156k| 2.2 | 67M| 39 | - | 120 | 34k| 120 | 20 | 23 |1984k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1221.33/1221.35 c 1221s| 3670k| 39024 | 8174k| 2.2 | 68M| 39 | - | 120 | 35k| 120 | 20 | 23 |1991k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1226.83/1226.84 c 1227s| 3680k| 39632 | 8195k| 2.2 | 70M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |1998k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1233.63/1233.66 c 1234s| 3690k| 39780 | 8214k| 2.2 | 70M| 39 | - | 120 | 36k| 120 | 20 | 23 |2005k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1239.83/1239.88 c 1240s| 3700k| 40401 | 8233k| 2.2 | 71M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2012k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1246.34/1246.38 c 1246s| 3710k| 40588 | 8253k| 2.2 | 72M| 39 | 5 | 120 | 38k| 120 | 20 | 23 |2019k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1253.03/1253.02 c 1253s| 3720k| 40646 | 8272k| 2.2 | 72M| 39 | - | 120 | 37k| 120 | 20 | 23 |2027k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1260.33/1260.30 c 1260s| 3730k| 40525 | 8291k| 2.2 | 72M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2035k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1267.43/1267.44 c 1267s| 3740k| 40204 | 8309k| 2.2 | 72M| 39 | - | 120 | 37k| 120 | 20 | 23 |2042k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1274.13/1274.14 c 1274s| 3750k| 40060 | 8328k| 2.2 | 72M| 39 | 5 | 120 | 38k| 120 | 20 | 23 |2050k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1280.83/1280.83 c 1281s| 3760k| 40128 | 8348k| 2.2 | 73M| 39 | - | 120 | 39k| 0 | 0 | 23 |2057k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1288.04/1288.03 c 1288s| 3770k| 39809 | 8367k| 2.2 | 73M| 39 | - | 120 | 38k| 120 | 20 | 23 |2065k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1295.53/1295.56 c 1296s| 3780k| 39420 | 8385k| 2.2 | 72M| 39 | 5 | 120 | 38k| 120 | 20 | 23 |2073k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1303.33/1303.32 c 1303s| 3790k| 38860 | 8404k| 2.2 | 71M| 39 | 5 | 120 | 38k| 120 | 20 | 23 |2081k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1310.73/1310.72 c 1311s| 3800k| 38247 | 8423k| 2.2 | 70M| 39 | 5 | 120 | 38k| 120 | 20 | 23 |2089k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1318.33/1318.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1318.33/1318.37 c 1318s| 3810k| 37652 | 8442k| 2.2 | 69M| 39 | - | 120 | 37k| 120 | 20 | 23 |2097k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1324.93/1324.99 c 1325s| 3820k| 37335 | 8461k| 2.2 | 69M| 39 | 5 | 120 | 39k| 120 | 20 | 23 |2104k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1332.44/1332.48 c 1332s| 3830k| 36994 | 8481k| 2.2 | 68M| 39 | 5 | 120 | 39k| 120 | 20 | 23 |2112k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1339.23/1339.23 c 1339s| 3840k| 37244 | 8502k| 2.2 | 68M| 39 | 5 | 120 | 38k| 120 | 20 | 23 |2120k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1345.73/1345.76 c 1346s| 3850k| 37288 | 8522k| 2.2 | 69M| 39 | - | 120 | 39k| 0 | 0 | 23 |2129k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1353.63/1353.68 c 1354s| 3860k| 36687 | 8541k| 2.2 | 67M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2137k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1361.93/1361.98 c 1362s| 3870k| 36142 | 8560k| 2.2 | 66M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2145k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1370.03/1370.01 c 1370s| 3880k| 35650 | 8580k| 2.2 | 64M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2153k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1377.64/1377.63 c 1378s| 3890k| 35183 | 8599k| 2.2 | 64M| 39 | - | 120 | 33k| 120 | 20 | 23 |2162k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1385.23/1385.29 c 1385s| 3900k| 34550 | 8618k| 2.2 | 63M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2170k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1393.83/1393.88 c 1394s| 3910k| 33567 | 8637k| 2.2 | 61M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2179k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1399.73/1399.78 c 1400s| 3920k| 33324 | 8656k| 2.2 | 61M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2186k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1406.53/1406.50 c 1407s| 3930k| 32981 | 8674k| 2.2 | 61M| 39 | - | 120 | 34k| 0 | 0 | 23 |2194k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1414.94/1414.92 c 1415s| 3940k| 32246 | 8694k| 2.2 | 59M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2203k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1422.93/1422.92 c 1423s| 3950k| 31633 | 8712k| 2.2 | 58M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2211k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1430.84/1430.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1430.84/1430.80 c 1431s| 3960k| 30881 | 8731k| 2.2 | 57M| 39 | - | 120 | 33k| 120 | 20 | 23 |2219k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1436.73/1436.72 c 1437s| 3970k| 30896 | 8750k| 2.2 | 58M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2227k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1443.33/1443.33 c 1443s| 3980k| 30384 | 8769k| 2.2 | 57M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2236k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1450.04/1450.09 c 1450s| 3990k| 30175 | 8789k| 2.2 | 56M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2244k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1456.14/1456.17 c 1456s| 4000k| 30102 | 8808k| 2.2 | 57M| 39 | - | 120 | 35k| 120 | 20 | 23 |2252k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1462.33/1462.33 c 1462s| 4010k| 29828 | 8827k| 2.2 | 57M| 39 | - | 120 | 36k| 120 | 20 | 23 |2260k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1469.54/1469.53 c 1470s| 4020k| 29578 | 8847k| 2.2 | 56M| 39 | 5 | 120 | 36k| 120 | 20 | 23 |2268k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1476.63/1476.64 c 1477s| 4030k| 29360 | 8866k| 2.2 | 56M| 39 | - | 120 | 36k| 120 | 20 | 23 |2276k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1484.63/1484.60 c 1485s| 4040k| 28975 | 8885k| 2.2 | 54M| 39 | - | 120 | 34k| 0 | 0 | 23 |2284k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1490.73/1490.76 c 1491s| 4050k| 29292 | 8905k| 2.2 | 56M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2291k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1497.84/1497.81 c 1498s| 4060k| 29201 | 8925k| 2.2 | 56M| 39 | - | 120 | 37k| 120 | 20 | 23 |2299k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1504.85/1504.84 c 1505s| 4070k| 28922 | 8945k| 2.2 | 56M| 39 | - | 120 | 38k| 120 | 20 | 23 |2307k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1511.93/1511.90 c 1512s| 4080k| 28752 | 8963k| 2.2 | 55M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2315k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1519.63/1519.62 c 1520s| 4090k| 28255 | 8982k| 2.2 | 54M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2323k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1526.94/1526.98 c 1527s| 4100k| 27757 | 9002k| 2.2 | 53M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2331k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1533.45/1533.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1533.45/1533.46 c 1533s| 4110k| 27538 | 9021k| 2.2 | 53M| 39 | - | 120 | 35k| 120 | 20 | 23 |2338k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1540.64/1540.68 c 1541s| 4120k| 27275 | 9040k| 2.2 | 52M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2346k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1546.94/1546.97 c 1547s| 4130k| 27168 | 9059k| 2.2 | 52M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2354k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1554.14/1554.19 c 1554s| 4140k| 26754 | 9079k| 2.2 | 51M| 39 | - | 120 | 34k| 120 | 20 | 23 |2362k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1560.14/1560.19 c 1560s| 4150k| 26808 | 9099k| 2.2 | 52M| 39 | - | 120 | 36k| 120 | 20 | 23 |2369k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1568.23/1568.21 c 1568s| 4160k| 26330 | 9118k| 2.2 | 50M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2378k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1573.74/1573.79 c 1574s| 4170k| 26891 | 9137k| 2.2 | 51M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2385k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1579.55/1579.56 c 1580s| 4180k| 27008 | 9156k| 2.2 | 52M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2392k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1586.34/1586.32 c 1586s| 4190k| 26596 | 9174k| 2.2 | 51M| 39 | - | 120 | 36k| 120 | 20 | 23 |2400k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1593.85/1593.88 c 1594s| 4200k| 25993 | 9193k| 2.2 | 50M| 39 | - | 120 | 35k| 0 | 0 | 23 |2408k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1601.65/1601.63 c 1602s| 4210k| 25440 | 9212k| 2.2 | 49M| 39 | - | 120 | 35k| 120 | 20 | 23 |2416k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1608.15/1608.20 c 1608s| 4220k| 26009 | 9232k| 2.2 | 49M| 39 | 5 | 120 | 36k| 120 | 20 | 23 |2424k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1614.14/1614.14 c 1614s| 4230k| 26776 | 9253k| 2.2 | 51M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2430k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1620.54/1620.50 c 1621s| 4240k| 27193 | 9272k| 2.2 | 52M| 39 | 5 | 120 | 38k| 120 | 20 | 23 |2437k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1627.54/1627.57 c 1628s| 4250k| 27168 | 9291k| 2.2 | 52M| 39 | - | 120 | 36k| 0 | 0 | 23 |2445k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1633.74/1633.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1633.74/1633.72 c 1634s| 4260k| 27646 | 9310k| 2.2 | 52M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2452k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1641.04/1641.07 c 1641s| 4270k| 27409 | 9329k| 2.2 | 52M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2460k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1647.04/1647.04 c 1647s| 4280k| 28241 | 9349k| 2.2 | 54M| 39 | - | 120 | 39k| 120 | 20 | 23 |2466k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1653.54/1653.54 c 1654s| 4290k| 28455 | 9368k| 2.2 | 54M| 39 | - | 120 | 39k| 120 | 20 | 23 |2473k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1659.74/1659.73 c 1660s| 4300k| 29012 | 9387k| 2.2 | 56M| 39 | - | 120 | 41k| 120 | 20 | 23 |2480k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1666.65/1666.61 c 1667s| 4310k| 29099 | 9405k| 2.2 | 56M| 39 | - | 120 | 40k| 0 | 0 | 23 |2487k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1673.74/1673.75 c 1674s| 4320k| 29024 | 9423k| 2.2 | 56M| 39 | 5 | 120 | 39k| 120 | 20 | 23 |2494k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1680.86/1680.81 c 1681s| 4330k| 28896 | 9443k| 2.2 | 56M| 39 | - | 120 | 39k| 120 | 20 | 23 |2502k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1687.14/1687.16 c 1687s| 4340k| 28975 | 9462k| 2.2 | 56M| 39 | 5 | 120 | 40k| 120 | 20 | 23 |2509k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1694.64/1694.67 c 1695s| 4350k| 28691 | 9481k| 2.2 | 56M| 39 | - | 120 | 39k| 120 | 20 | 23 |2517k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1701.54/1701.60 c 1702s| 4360k| 29010 | 9500k| 2.2 | 57M| 39 | 5 | 120 | 40k| 120 | 20 | 23 |2524k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1708.94/1708.93 c 1709s| 4370k| 29037 | 9519k| 2.2 | 57M| 39 | 5 | 120 | 41k| 120 | 20 | 23 |2532k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1716.55/1716.59 c 1717s| 4380k| 28937 | 9538k| 2.2 | 57M| 39 | 5 | 120 | 40k| 120 | 20 | 23 |2539k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1723.95/1723.94 c 1724s| 4390k| 28467 | 9556k| 2.2 | 56M| 39 | - | 120 | 39k| 120 | 20 | 23 |2547k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1731.14/1731.19 c 1731s| 4400k| 28073 | 9575k| 2.2 | 56M| 39 | - | 120 | 39k| 120 | 20 | 23 |2554k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1738.64/1738.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1738.64/1738.64 c 1739s| 4410k| 27815 | 9594k| 2.2 | 55M| 39 | 5 | 120 | 39k| 120 | 20 | 23 |2562k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1746.15/1746.14 c 1746s| 4420k| 27364 | 9613k| 2.2 | 55M| 39 | - | 120 | 40k| 120 | 20 | 23 |2570k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1752.95/1752.93 c 1753s| 4430k| 27126 | 9632k| 2.2 | 55M| 39 | 5 | 120 | 40k| 120 | 20 | 23 |2578k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1759.64/1759.60 c 1760s| 4440k| 27516 | 9652k| 2.2 | 55M| 39 | 5 | 120 | 41k| 120 | 20 | 23 |2585k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1766.34/1766.31 c 1766s| 4450k| 28002 | 9671k| 2.2 | 57M| 39 | 5 | 120 | 43k| 120 | 20 | 23 |2592k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1774.14/1774.11 c 1774s| 4460k| 28316 | 9691k| 2.2 | 57M| 39 | - | 120 | 43k| 120 | 20 | 23 |2599k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1782.14/1782.13 c 1782s| 4470k| 28376 | 9710k| 2.2 | 58M| 39 | - | 120 | 44k| 0 | 0 | 23 |2607k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1789.54/1789.58 c 1790s| 4480k| 29008 | 9730k| 2.2 | 59M| 39 | - | 120 | 45k| 0 | 0 | 23 |2613k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1797.36/1797.36 c 1797s| 4490k| 29188 | 9749k| 2.2 | 60M| 39 | 5 | 120 | 46k| 120 | 20 | 23 |2621k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.00 c Solving Time (sec) : 1800.00
1800.05/1800.00 c Solving Nodes : 4493591
1800.05/1800.00 c Primal Bound : +1.00000000000002e+00 (40 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 s SATISFIABLE
1800.05/1800.00 v x90 -x120 -x119 x118 -x117 -x116 -x115 x114 x113 x112 -x111 -x110 x109 x108 x107 -x106 x105 -x104 x103 -x102 x101 -x100 x99 -x98
1800.05/1800.00 v x97 x96 -x95 x94 x93 -x92 x91 x89 x88 -x87 -x86 x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70
1800.05/1800.00 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.05/1800.00 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.05/1800.00 v -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
1800.05/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.00 c Total Time : 1800.00
1800.05/1800.00 c solving : 1800.00
1800.05/1800.00 c presolving : 0.00 (included in solving)
1800.05/1800.00 c reading : 0.00 (included in solving)
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-3452743-1307097041.opb
1800.05/1800.00 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.00 c Constraints : 10 initial, 10 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-3452743-1307097041.opb
1800.05/1800.00 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.00 c Constraints : 5 initial, 47124 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.00 0 0 0 0 0 5 0 0 0
1800.05/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 80 - - 80 - - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 2440948 0 30 0 790 4775 0 0 4870792
1800.05/1800.00 c linear : 5+ 7 10635490 2 0 27 5146350 809880 5598501 0 0 0
1800.05/1800.00 c logicor : 0+ 0 5600802 0 0 0 4889103 41739 2426858 0 0 0
1800.05/1800.00 c countsols : 0 0 0 19 0 23 0 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.05/1800.00 c integral : 14.41 0.00 0.00 14.41 0.00 0.00 0.00
1800.05/1800.00 c linear : 110.44 0.00 98.63 0.00 0.00 0.00 11.81
1800.05/1800.00 c logicor : 615.91 0.00 610.22 0.00 0.00 0.00 5.69
1800.05/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.05/1800.00 c vbounds : 0 0 0 0
1800.05/1800.00 c rootredcost : 31 0 0 80
1800.05/1800.00 c pseudoobj : 10637961 5679 2651 59530
1800.05/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.05/1800.00 c vbounds : 1.61 1.61 0.00
1800.05/1800.00 c rootredcost : 1.88 1.88 0.00
1800.05/1800.00 c pseudoobj : 18.56 18.55 0.01
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 22.52 854270 616345 1675070 29.6 372 25.8 -
1800.05/1800.00 c infeasible LP : 32.12 1167262 1167249 2356553 20.1 17503 24.0 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.00 c applied globally : - - - 2446382 20.4 - - -
1800.05/1800.00 c applied locally : - - - 177217 33.1 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 5 - - 22 - (maximal pool size: 77)
1800.05/1800.00 c redcost : 7.96 2565235 0 2189094 0 0
1800.05/1800.00 c impliedbounds : 0.00 6 0 0 0 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.00 6 0 0 1 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 0.00 6 0 0 12 0
1800.05/1800.00 c cmir : 0.01 6 0 0 39 0
1800.05/1800.00 c flowcover : 0.01 6 0 0 54 0
1800.05/1800.00 c clique : 0.00 1 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 1 0 0 0 0
1800.05/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.01 1 0 0 0 2
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 13.16 2440929 790 4775 0 0 4870792
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.01 - 19
1800.05/1800.00 c pseudo solutions : 0.00 - 0
1800.05/1800.00 c oneopt : 0.96 30 0
1800.05/1800.00 c crossover : 2.82 11 0
1800.05/1800.00 c coefdiving : 5.18 6885 1
1800.05/1800.00 c pscostdiving : 4.74 6885 3
1800.05/1800.00 c fracdiving : 4.68 6885 4
1800.05/1800.00 c veclendiving : 5.46 6885 1
1800.05/1800.00 c objpscostdiving : 1.48 3443 1
1800.05/1800.00 c rootsoldiving : 2.84 3443 0
1800.05/1800.00 c linesearchdiving : 4.76 6886 1
1800.05/1800.00 c guideddiving : 4.64 6886 0
1800.05/1800.00 c trivial : 0.00 2 0
1800.05/1800.00 c shiftandpropagate: 0.00 1 1
1800.05/1800.00 c simplerounding : 0.53 0 0
1800.05/1800.00 c zirounding : 6.62 0 0
1800.05/1800.00 c rounding : 1.03 22505 0
1800.05/1800.00 c shifting : 9.95 32567 8
1800.05/1800.00 c intshifting : 0.09 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c feaspump : 0.06 1 0
1800.05/1800.00 c clique : 0.00 0 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.05 1 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c vbounds : 0.00 0 0
1800.05/1800.00 c undercover : 0.00 0 0
1800.05/1800.00 c subnlp : 0.60 0 0
1800.05/1800.00 c trysol : 0.82 0 0
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.00 c dual LP : 219.47 3939548 9372430 2.38 42705.66
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 10.23 186476 383475 2.06 37488.52
1800.05/1800.00 c strong branching : 1.03 11300 33563 2.97 32637.72
1800.05/1800.00 c (at root node) : - 11 630 57.27 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 4493591
1800.05/1800.00 c nodes (total) : 4493591
1800.05/1800.00 c nodes left : 29294
1800.05/1800.00 c max depth : 39
1800.05/1800.00 c max depth (total): 39
1800.05/1800.00 c backtracks : 1370906 (30.5%)
1800.05/1800.00 c delayed cutoffs : 341963
1800.05/1800.00 c repropagations : 3224636 (3667818 domain reductions, 277487 cutoffs)
1800.05/1800.00 c avg switch length: 5.53
1800.05/1800.00 c switching time : 460.80
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 40 (32 improvements)
1800.05/1800.00 c First Solution : +1.35200000000000e+03 (in run 1, after 1 nodes, 0.01 seconds, depth 50, found by <shiftandpropagate>)
1800.05/1800.00 c Primal Bound : +1.00000000000002e+00 (in run 1, after 1241561 nodes, 158.38 seconds, depth 33, found by <relaxation>)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Root Iterations : 61
OK 1
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3452743-1307097041/watcher-3452743-1307097041 -o /tmp/evaluation-result-3452743-1307097041/solver-3452743-1307097041 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452743-1307097041.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.98 1.97 2/373 9514 /proc/meminfo: memFree=22845244/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=16300 CPUtime=0 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 3025 0 0 0 0 0 0 0 25 0 1 0 821304542 16691200 2722 33554432000 4194304 9128323 140734770124672 18446744073709551615 8008991 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 4075 2737 535 1205 0 2866 0 [startup+0.0938019 s] /proc/loadavg: 1.92 1.98 1.97 2/373 9514 /proc/meminfo: memFree=22845244/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=27948 CPUtime=0.08 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 6284 0 0 0 7 1 0 0 25 0 1 0 821304542 28618752 5628 33554432000 4194304 9128323 140734770124672 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 6987 5628 719 1205 0 5778 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 27948 [startup+0.100809 s] /proc/loadavg: 1.92 1.98 1.97 2/373 9514 /proc/meminfo: memFree=22845244/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=27948 CPUtime=0.09 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 6286 0 0 0 8 1 0 0 25 0 1 0 821304542 28618752 5630 33554432000 4194304 9128323 140734770124672 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 6987 5630 719 1205 0 5778 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27948 [startup+0.300761 s] /proc/loadavg: 1.92 1.98 1.97 2/373 9514 /proc/meminfo: memFree=22845244/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=27948 CPUtime=0.29 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 6295 0 0 0 25 4 0 0 25 0 1 0 821304542 28618752 5639 33554432000 4194304 9128323 140734770124672 18446744073709551615 5237571 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 6987 5639 725 1205 0 5778 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27948 [startup+0.7007 s] /proc/loadavg: 1.92 1.98 1.97 2/373 9514 /proc/meminfo: memFree=22845244/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=27948 CPUtime=0.69 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 6300 0 0 0 59 10 0 0 25 0 1 0 821304542 28618752 5644 33554432000 4194304 9128323 140734770124672 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 6987 5644 725 1205 0 5778 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27948 [startup+1.50054 s] /proc/loadavg: 1.93 1.98 1.97 3/374 9515 /proc/meminfo: memFree=22822668/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=27948 CPUtime=1.49 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 6308 0 0 0 126 23 0 0 25 0 1 0 821304542 28618752 5652 33554432000 4194304 9128323 140734770124672 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 6987 5652 725 1205 0 5778 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27948 [startup+3.10025 s] /proc/loadavg: 1.93 1.98 1.97 3/374 9515 /proc/meminfo: memFree=22819568/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=25444 CPUtime=3.09 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 7016 0 0 0 263 46 0 0 25 0 1 0 821304542 26054656 5383 33554432000 4194304 9128323 140734770124672 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 6361 5383 725 1205 0 5152 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25444 [startup+6.30067 s] /proc/loadavg: 1.93 1.98 1.97 3/374 9515 /proc/meminfo: memFree=22812372/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=25444 CPUtime=6.29 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 12611 0 0 0 521 108 0 0 25 0 1 0 821304542 26054656 5404 33554432000 4194304 9128323 140734770124672 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 6361 5404 725 1205 0 5152 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25444 [startup+12.7005 s] /proc/loadavg: 1.94 1.98 1.97 3/374 9515 /proc/meminfo: memFree=22797152/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=27364 CPUtime=12.69 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 19569 0 0 0 1066 203 0 0 25 0 1 0 821304542 28020736 5832 33554432000 4194304 9128323 140734770124672 18446744073709551615 5876063 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 6841 5832 725 1205 0 5632 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27364 [startup+25.5002 s] /proc/loadavg: 1.95 1.98 1.97 3/374 9515 /proc/meminfo: memFree=22768636/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=29764 CPUtime=25.49 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 23033 0 0 0 2162 387 0 0 25 0 1 0 821304542 30478336 6514 33554432000 4194304 9128323 140734770124672 18446744073709551615 5872511 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 7441 6514 728 1205 0 6232 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 29764 [startup+51.1005 s] /proc/loadavg: 1.97 1.98 1.97 3/374 9516 /proc/meminfo: memFree=22714744/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=38868 CPUtime=51.09 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 26192 0 0 0 4357 752 0 0 25 0 1 0 821304542 39800832 8756 33554432000 4194304 9128323 140734770124672 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 9717 8756 728 1205 0 8508 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 38868 [startup+102.313 s] /proc/loadavg: 1.98 1.98 1.97 3/374 9517 /proc/meminfo: memFree=22613384/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=52744 CPUtime=102.31 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 30589 0 0 0 8736 1495 0 0 25 0 1 0 821304542 54009856 12238 33554432000 4194304 9128323 140734770124672 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 13186 12238 728 1205 0 11977 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 52744 [startup+162.3 s] /proc/loadavg: 1.99 1.98 1.97 3/374 9519 /proc/meminfo: memFree=22516652/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=54672 CPUtime=162.29 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 52032 0 0 0 13854 2375 0 0 25 0 1 0 821304542 55984128 12731 33554432000 4194304 9128323 140734770124672 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 13668 12731 728 1205 0 12459 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 54672 [startup+222.3 s] /proc/loadavg: 1.99 1.98 1.97 3/374 9521 /proc/meminfo: memFree=22412728/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=65116 CPUtime=222.29 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 58628 0 0 0 19442 2787 0 0 25 0 1 0 821304542 66678784 15298 33554432000 4194304 9128323 140734770124672 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 16279 15298 728 1205 0 15070 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 65116 [startup+282.3 s] /proc/loadavg: 1.99 1.98 1.97 3/374 9522 /proc/meminfo: memFree=22319940/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=69700 CPUtime=282.3 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 60429 0 0 0 25118 3112 0 0 25 0 1 0 821304542 71372800 16420 33554432000 4194304 9128323 140734770124672 18446744073709551615 4552904 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 17425 16420 728 1205 0 16216 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 69700 [startup+342.3 s] /proc/loadavg: 2.03 2.00 1.98 3/374 9524 /proc/meminfo: memFree=22230272/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=69700 CPUtime=342.3 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 60456 0 0 0 30707 3523 0 0 25 0 1 0 821304542 71372800 16447 33554432000 4194304 9128323 140734770124672 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 17425 16447 728 1205 0 16216 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 69700 [startup+402.3 s] /proc/loadavg: 2.11 2.03 1.99 3/374 9525 /proc/meminfo: memFree=22149656/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=70960 CPUtime=402.31 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 61467 0 0 0 36428 3803 0 0 25 0 1 0 821304542 72663040 16504 33554432000 4194304 9128323 140734770124672 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 17740 16504 728 1205 0 16531 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 70960 [startup+462.3 s] /proc/loadavg: 2.04 2.02 1.99 3/374 9527 /proc/meminfo: memFree=22064440/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=73296 CPUtime=462.31 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 61921 0 0 0 42174 4057 0 0 25 0 1 0 821304542 75055104 16958 33554432000 4194304 9128323 140734770124672 18446744073709551615 6543299 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 18324 16958 728 1205 0 17115 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 73296 [startup+522.3 s] /proc/loadavg: 2.01 2.02 1.99 3/374 9529 /proc/meminfo: memFree=21983080/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=73296 CPUtime=522.3 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 61925 0 0 0 47947 4283 0 0 25 0 1 0 821304542 75055104 16962 33554432000 4194304 9128323 140734770124672 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 18324 16962 728 1205 0 17115 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 73296 [startup+582.3 s] /proc/loadavg: 2.00 2.01 1.99 3/374 9530 /proc/meminfo: memFree=21900848/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=74700 CPUtime=582.31 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 62235 0 0 0 53722 4509 0 0 25 0 1 0 821304542 76492800 17272 33554432000 4194304 9128323 140734770124672 18446744073709551615 6581566 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 18675 17272 728 1205 0 17466 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 74700 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.00 1.99 3/374 9537 /proc/meminfo: memFree=21570304/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=93680 CPUtime=822.32 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 67695 0 0 0 76942 5290 0 0 25 0 1 0 821304542 95928320 21900 33554432000 4194304 9128323 140734770124672 18446744073709551615 4221023 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 23420 21900 728 1205 0 22211 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 93680 [startup+882.301 s] /proc/loadavg: 2.05 2.01 2.00 3/374 9538 /proc/meminfo: memFree=21486820/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=98800 CPUtime=882.32 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 69009 0 0 0 82781 5451 0 0 25 0 1 0 821304542 101171200 23214 33554432000 4194304 9128323 140734770124672 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 24700 23214 728 1205 0 23491 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 98800 [startup+942.301 s] /proc/loadavg: 2.05 2.02 2.00 3/374 9540 /proc/meminfo: memFree=21412160/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=102404 CPUtime=942.32 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 69737 0 0 0 88634 5598 0 0 25 0 1 0 821304542 104861696 23942 33554432000 4194304 9128323 140734770124672 18446744073709551615 5333240 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 25601 23942 728 1205 0 24392 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 102404 [startup+1002.3 s] /proc/loadavg: 2.05 2.03 2.00 3/374 9541 /proc/meminfo: memFree=21334520/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=105540 CPUtime=1002.32 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 70567 0 0 0 94476 5756 0 0 25 0 1 0 821304542 108072960 24772 33554432000 4194304 9128323 140734770124672 18446744073709551615 4240086 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 26385 24772 728 1205 0 25176 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 105540 [startup+1062.3 s] /proc/loadavg: 2.02 2.02 2.00 3/374 9543 /proc/meminfo: memFree=21256884/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=108084 CPUtime=1062.33 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 71227 0 0 0 100321 5912 0 0 25 0 1 0 821304542 110678016 25432 33554432000 4194304 9128323 140734770124672 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 27021 25432 728 1205 0 25812 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 108084 [startup+1122.3 s] /proc/loadavg: 2.00 2.02 2.00 3/374 9545 /proc/meminfo: memFree=21186944/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=108752 CPUtime=1122.32 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 71356 0 0 0 106167 6065 0 0 25 0 1 0 821304542 111362048 25561 33554432000 4194304 9128323 140734770124672 18446744073709551615 4209230 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 27188 25561 728 1205 0 25979 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 108752 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.00 3/374 9546 /proc/meminfo: memFree=21113272/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=108752 CPUtime=1182.33 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 71372 0 0 0 112029 6204 0 0 25 0 1 0 821304542 111362048 25577 33554432000 4194304 9128323 140734770124672 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 27188 25577 728 1205 0 25979 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 108752 [startup+1242.3 s] /proc/loadavg: 2.00 2.01 2.00 3/374 9548 /proc/meminfo: memFree=21039960/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=109136 CPUtime=1242.33 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 71485 0 0 0 117863 6370 0 0 25 0 1 0 821304542 111755264 25690 33554432000 4194304 9128323 140734770124672 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 27284 25690 728 1205 0 26075 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 109136 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/374 9549 /proc/meminfo: memFree=20961692/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=112288 CPUtime=1302.34 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 72296 0 0 0 123730 6504 0 0 25 0 1 0 821304542 114982912 26501 33554432000 4194304 9128323 140734770124672 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 28072 26501 728 1205 0 26863 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 112288 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/374 9551 /proc/meminfo: memFree=20893348/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=112288 CPUtime=1362.33 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 72377 0 0 0 129590 6643 0 0 25 0 1 0 821304542 114982912 26582 33554432000 4194304 9128323 140734770124672 18446744073709551615 4207617 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 28072 26582 728 1205 0 26863 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 112288 [startup+1422.31 s] /proc/loadavg: 2.07 2.02 2.00 3/374 9553 /proc/meminfo: memFree=20823404/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=112288 CPUtime=1422.35 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 72379 0 0 0 135458 6777 0 0 25 0 1 0 821304542 114982912 26584 33554432000 4194304 9128323 140734770124672 18446744073709551615 4240303 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 28072 26584 728 1205 0 26863 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 112288 [startup+1482.3 s] /proc/loadavg: 2.08 2.03 2.00 3/374 9554 /proc/meminfo: memFree=20749732/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=112288 CPUtime=1482.33 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 72379 0 0 0 141313 6920 0 0 25 0 1 0 821304542 114982912 26584 33554432000 4194304 9128323 140734770124672 18446744073709551615 5332975 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 28072 26584 728 1205 0 26863 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 112288 [startup+1542.3 s] /proc/loadavg: 2.03 2.02 2.00 3/374 9556 /proc/meminfo: memFree=20682256/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=112288 CPUtime=1542.34 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 72382 0 0 0 147171 7063 0 0 25 0 1 0 821304542 114982912 26587 33554432000 4194304 9128323 140734770124672 18446744073709551615 6889623 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 28072 26587 728 1205 0 26863 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 112288 [startup+1602.3 s] /proc/loadavg: 2.01 2.01 2.00 3/374 9557 /proc/meminfo: memFree=20614404/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=112288 CPUtime=1602.34 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 72382 0 0 0 153024 7210 0 0 25 0 1 0 821304542 114982912 26587 33554432000 4194304 9128323 140734770124672 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 28072 26587 728 1205 0 26863 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 112288 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/374 9559 /proc/meminfo: memFree=20543336/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=112288 CPUtime=1662.34 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 72382 0 0 0 158881 7353 0 0 25 0 1 0 821304542 114982912 26587 33554432000 4194304 9128323 140734770124672 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 28072 26587 728 1205 0 26863 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 112288 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/374 9561 /proc/meminfo: memFree=20479212/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=112288 CPUtime=1722.35 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 72382 0 0 0 164739 7496 0 0 25 0 1 0 821304542 114982912 26587 33554432000 4194304 9128323 140734770124672 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 28072 26587 728 1205 0 26863 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 112288 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/374 9562 /proc/meminfo: memFree=20410992/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=112288 CPUtime=1782.35 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 72382 0 0 0 170604 7631 0 0 25 0 1 0 821304542 114982912 26587 33554432000 4194304 9128323 140734770124672 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/9514/statm: 28072 26587 728 1205 0 26863 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 112288 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/374 9591 /proc/meminfo: memFree=22722932/32951124 swapFree=37148216/67111528 [pid=9514] ppid=9512 vsize=113756 CPUtime=1800.06 cores=1,3,5,7 /proc/9514/stat : 9514 (scip-2.0.1.4.li) R 9512 9514 9067 0 -1 4202496 72752 0 0 0 172338 7668 0 0 25 0 1 0 821304542 116486144 26957 33554432000 4194304 9128323 140734770124672 18446744073709551615 4207617 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/9514/statm: 28439 26957 730 1205 0 27230 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 113756 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.02 CPU time (s): 1800.07 CPU user time (s): 1723.38 CPU system time (s): 76.6903 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 113756 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1723.38 system time used= 76.6903 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 72756 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= 4 involuntary context switches= 2521 runsolver used 6.02508 second user time and 15.1617 second system time The end
Begin job on node104 at 2011-06-03 12:30:41 IDJOB=3452743 IDBENCH=2923 IDSOLVER=1949 FILE ID=node104/3452743-1307097041 RUNJOBID= node104-1307093433-9086 PBS_JOBID= 13497995 Free space on /tmp= 73932 MiB SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_1.opb COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3452743-1307097041/watcher-3452743-1307097041 -o /tmp/evaluation-result-3452743-1307097041/solver-3452743-1307097041 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452743-1307097041.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5bf563c7058af01702ea80887f1d43ad RANDOM SEED=1904753586 node104.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.71 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5293.18 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 22845524 kB Buffers: 412548 kB Cached: 7563232 kB SwapCached: 163904 kB Active: 3783672 kB Inactive: 5986104 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 22845524 kB SwapTotal: 67111528 kB SwapFree: 37148216 kB Dirty: 24372 kB Writeback: 0 kB AnonPages: 1653256 kB Mapped: 13924 kB Slab: 181080 kB PageTables: 89080 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 87745312 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73920 MiB End job on node104 at 2011-06-03 13:00:43