Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT (TO) | 10 | 1801.81 | 1802.41 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_3.opb |
| MD5SUM | 474916db0f2f0be5831d97827cee8e55 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 10 |
| Best CPU time to get the best result obtained on this benchmark | 1791.09 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 16 |
| Optimality of the best value was proved | NO |
| Number of variables | 172 |
| Total number of constraints | 14 |
| 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 | 14 |
| Minimum length of a constraint | 75 |
| Maximum length of a constraint | 76 |
| Number of terms in the objective function | 112 |
| 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 | 3570 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1901 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 6214 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2667102-1276618564.opb>
0.00/0.01 c original problem has 172 variables (172 bin, 0 int, 0 impl, 0 cont) and 14 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 7 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/172 (58.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (2 rounds):
0.00/0.03 c 0 deleted vars, 7 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 172 variables (172 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.03 c 7 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.01
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1799.99
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 41 | - | 564k| 0 | 7 | 172 | 7 | 172 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.15 o 1126
0.09/0.15 c y 0.1s| 1 | 0 | 70 | - | 626k| 0 | 7 | 172 | 7 | 172 | 7 | 0 | 0 | 0 | 0.000000e+00 | 1.126000e+03 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 80 | - | 732k| 0 | 13 | 172 | 59 | 172 | 16 | 9 | 0 | 0 | 0.000000e+00 | 1.126000e+03 | Inf
0.09/0.17 c 0.1s| 1 | 0 | 87 | - | 789k| 0 | 17 | 172 | 59 | 172 | 21 | 14 | 0 | 0 | 0.000000e+00 | 1.126000e+03 | Inf
0.09/0.19 c 0.1s| 1 | 0 | 89 | - | 797k| 0 | 18 | 172 | 59 | 172 | 22 | 15 | 0 | 0 | 0.000000e+00 | 1.126000e+03 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 97 | - | 811k| 0 | 20 | 172 | 59 | 172 | 24 | 17 | 0 | 0 | 0.000000e+00 | 1.126000e+03 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 99 | - | 821k| 0 | 22 | 172 | 59 | 172 | 26 | 19 | 0 | 0 | 0.000000e+00 | 1.126000e+03 | Inf
0.19/0.26 c 0.2s| 1 | 0 | 102 | - | 826k| 0 | 23 | 172 | 59 | 172 | 27 | 20 | 0 | 0 | 0.000000e+00 | 1.126000e+03 | Inf
0.29/0.38 c 0.3s| 1 | 2 | 102 | - | 826k| 0 | 23 | 172 | 59 | 172 | 27 | 20 | 0 | 9 | 0.000000e+00 | 1.126000e+03 | Inf
0.49/0.55 o 736
0.49/0.55 c p 0.5s| 38 | 39 | 421 | 8.6 | 934k| 23 | - | 172 | 59 | 172 | 23 | 20 | 3 | 193 | 0.000000e+00 | 7.360000e+02 | Inf
0.49/0.59 o 534
0.49/0.59 c f 0.5s| 52 | 53 | 562 | 9.0 | 951k| 23 | - | 172 | 59 | 172 | 23 | 20 | 4 | 226 | 0.000000e+00 | 5.340000e+02 | Inf
0.99/1.05 o 414
0.99/1.05 c f 1.0s| 487 | 486 | 2886 | 5.7 |1139k| 56 | - | 172 | 67 | 172 | 23 | 20 | 20 | 509 | 0.000000e+00 | 4.140000e+02 | Inf
1.19/1.20 o 330
1.19/1.20 c f 1.1s| 668 | 660 | 3712 | 5.4 |1217k| 56 | - | 172 | 67 | 172 | 23 | 20 | 22 | 524 | 0.000000e+00 | 3.300000e+02 | Inf
1.69/1.75 o 263
1.69/1.75 c g 1.6s| 1318 | 1309 | 7478 | 5.6 |1491k| 56 | - | 172 | 71 | 172 | 23 | 20 | 44 | 541 | 0.000000e+00 | 2.630000e+02 | Inf
2.09/2.16 o 185
2.09/2.16 c g 2.0s| 1848 | 1820 | 10141 | 5.4 |1701k| 56 | - | 172 | 73 | 172 | 23 | 20 | 61 | 543 | 0.000000e+00 | 1.850000e+02 | Inf
4.89/4.95 o 184
4.89/4.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.89/4.95 c p 4.6s| 4772 | 4740 | 30498 | 6.4 |3029k| 56 | - | 172 | 78 | 172 | 23 | 20 | 212 | 603 | 0.000000e+00 | 1.840000e+02 | Inf
6.99/7.08 o 143
6.99/7.08 c g 6.5s| 6995 | 6910 | 45979 | 6.6 |3981k| 56 | - | 172 | 25 | 172 | 23 | 20 | 309 | 658 | 0.000000e+00 | 1.430000e+02 | Inf
7.19/7.21 o 128
7.19/7.21 c f 6.7s| 7137 | 7010 | 46792 | 6.5 |4021k| 56 | - | 172 | 25 | 172 | 23 | 20 | 313 | 660 | 0.000000e+00 | 1.280000e+02 | Inf
9.99/10.07 c 9.3s| 10000 | 9838 | 67738 | 6.8 |5132k| 56 | 7 | 172 | 25 | 172 | 23 | 20 | 468 | 779 | 0.000000e+00 | 1.280000e+02 | Inf
10.68/10.76 o 103
10.68/10.76 c f 9.9s| 10659 | 10399 | 72392 | 6.8 |5367k| 56 | - | 172 | 25 | 172 | 23 | 20 | 517 | 810 | 0.000000e+00 | 1.030000e+02 | Inf
17.69/17.79 o 101
17.69/17.79 c v16.4s| 19675 | 18987 |121082 | 6.1 |9133k| 56 | - | 172 | 29 | 172 | 23 | 20 | 807 |1256 | 0.000000e+00 | 1.010000e+02 | Inf
17.69/17.79 o 99
17.69/17.79 c p16.4s| 19675 | 18965 |121082 | 6.1 |9120k| 56 | - | 172 | 29 | 172 | 23 | 20 | 810 |1256 | 0.000000e+00 | 9.900000e+01 | Inf
17.98/18.09 c 16.6s| 20000 | 19254 |123194 | 6.2 |9260k| 56 | 7 | 172 | 30 | 172 | 23 | 20 | 828 |1276 | 0.000000e+00 | 9.900000e+01 | Inf
18.78/18.82 o 98
18.78/18.82 c p17.3s| 20778 | 19959 |128711 | 6.2 |9599k| 56 | - | 172 | 33 | 172 | 23 | 20 | 864 |1332 | 0.000000e+00 | 9.800000e+01 | Inf
19.69/19.73 o 96
19.69/19.73 c *18.2s| 21562 | 20628 |135004 | 6.3 |9893k| 56 | - | 172 | 35 | 172 | 23 | 20 | 919 |1366 | 0.000000e+00 | 9.600000e+01 | Inf
20.79/20.87 o 95
20.79/20.87 c *19.2s| 22860 | 21800 |142961 | 6.2 | 10M| 56 | - | 172 | 35 | 172 | 23 | 20 | 977 |1420 | 0.000000e+00 | 9.500000e+01 | Inf
20.79/20.88 o 93
20.79/20.88 c *19.2s| 22861 | 21769 |142961 | 6.2 | 10M| 56 | - | 172 | 35 | 172 | 23 | 20 | 977 |1420 | 0.000000e+00 | 9.300000e+01 | Inf
20.79/20.89 o 92
20.79/20.89 c *19.2s| 22867 | 21752 |142996 | 6.2 | 10M| 56 | - | 172 | 35 | 172 | 23 | 20 | 977 |1432 | 0.000000e+00 | 9.200000e+01 | Inf
20.79/20.89 o 90
20.79/20.89 c *19.2s| 22869 | 21715 |142996 | 6.2 | 10M| 56 | - | 172 | 35 | 172 | 23 | 20 | 977 |1436 | 0.000000e+00 | 9.000000e+01 | Inf
20.79/20.89 o 88
20.79/20.89 c *19.2s| 22870 | 21681 |142996 | 6.2 | 10M| 56 | - | 172 | 35 | 172 | 23 | 20 | 977 |1436 | 0.000000e+00 | 8.800000e+01 | Inf
22.68/22.79 o 87
22.68/22.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.68/22.79 c *21.0s| 25250 | 23720 |156201 | 6.2 | 11M| 56 | - | 172 | 35 | 172 | 23 | 20 |1066 |1587 | 0.000000e+00 | 8.700000e+01 | Inf
28.59/28.65 c 26.3s| 30000 | 27787 |183418 | 6.1 | 13M| 56 | 7 | 172 | 35 | 172 | 23 | 20 |1266 |1830 | 0.000000e+00 | 8.700000e+01 | Inf
29.28/29.32 o 86
29.28/29.32 c v26.9s| 30845 | 28435 |188203 | 6.1 | 13M| 56 | - | 172 | 34 | 172 | 23 | 20 |1310 |1881 | 0.000000e+00 | 8.600000e+01 | Inf
30.08/30.17 o 84
30.08/30.17 c v27.7s| 31692 | 29093 |194549 | 6.1 | 14M| 56 | - | 172 | 39 | 172 | 23 | 20 |1385 |1928 | 0.000000e+00 | 8.400000e+01 | Inf
32.58/32.64 o 82
32.58/32.64 c f30.0s| 34639 | 31501 |212496 | 6.1 | 15M| 56 | - | 172 | 36 | 172 | 23 | 20 |1547 |2074 | 0.000000e+00 | 8.200000e+01 | Inf
37.18/37.21 c 34.2s| 40000 | 35870 |244242 | 6.1 | 18M| 56 | 7 | 172 | 29 | 172 | 23 | 20 |1826 |2311 | 0.000000e+00 | 8.200000e+01 | Inf
37.97/38.01 o 81
37.97/38.01 c *34.9s| 40958 | 36635 |250008 | 6.1 | 18M| 56 | - | 172 | 29 | 172 | 23 | 20 |1865 |2352 | 0.000000e+00 | 8.100000e+01 | Inf
39.27/39.31 o 79
39.27/39.31 c *36.1s| 42644 | 37873 |259119 | 6.1 | 19M| 56 | - | 172 | 25 | 172 | 23 | 20 |1924 |2407 | 0.000000e+00 | 7.900000e+01 | Inf
43.68/43.78 o 77
43.68/43.78 c l40.2s| 48123 | 42082 |290580 | 6.0 | 21M| 56 | - | 172 | 24 | 172 | 23 | 20 |2206 |2627 | 0.000000e+00 | 7.700000e+01 | Inf
44.58/44.65 o 76
44.58/44.65 c l41.0s| 49013 | 42724 |296906 | 6.1 | 22M| 56 | - | 172 | 24 | 172 | 23 | 20 |2267 |2676 | 0.000000e+00 | 7.600000e+01 | Inf
45.58/45.65 c 42.0s| 50000 | 43486 |304032 | 6.1 | 22M| 56 | 7 | 172 | 24 | 172 | 23 | 20 |2337 |2711 | 0.000000e+00 | 7.600000e+01 | Inf
47.68/47.77 o 74
47.68/47.77 c *43.9s| 52319 | 45027 |318794 | 6.1 | 23M| 56 | - | 172 | 24 | 172 | 23 | 20 |2511 |2811 | 0.000000e+00 | 7.400000e+01 | Inf
48.28/48.30 o 73
48.28/48.30 c *44.4s| 52951 | 45364 |322337 | 6.1 | 23M| 56 | - | 172 | 24 | 172 | 23 | 20 |2560 |2851 | 0.000000e+00 | 7.300000e+01 | Inf
48.28/48.31 o 71
48.28/48.31 c *44.4s| 52955 | 45084 |322343 | 6.1 | 23M| 56 | - | 172 | 24 | 172 | 23 | 20 |2560 |2867 | 0.000000e+00 | 7.100000e+01 | Inf
48.28/48.32 o 69
48.28/48.32 c *44.4s| 52961 | 44801 |322366 | 6.1 | 23M| 56 | - | 172 | 24 | 172 | 23 | 20 |2561 |2876 | 0.000000e+00 | 6.900000e+01 | Inf
48.28/48.32 o 67
48.28/48.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.28/48.32 c *44.4s| 52962 | 44455 |322366 | 6.1 | 22M| 56 | - | 172 | 24 | 172 | 23 | 20 |2561 |2876 | 0.000000e+00 | 6.700000e+01 | Inf
48.28/48.33 o 65
48.28/48.33 c *44.4s| 52969 | 44144 |322381 | 6.1 | 22M| 56 | - | 172 | 24 | 172 | 23 | 20 |2562 |2876 | 0.000000e+00 | 6.500000e+01 | Inf
49.38/49.41 o 64
49.38/49.41 c *45.4s| 54326 | 43999 |329897 | 6.1 | 22M| 56 | - | 172 | 28 | 172 | 23 | 20 |2632 |2902 | 0.000000e+00 | 6.400000e+01 | Inf
49.38/49.42 o 62
49.38/49.42 c *45.4s| 54327 | 43669 |329897 | 6.1 | 22M| 56 | - | 172 | 28 | 172 | 23 | 20 |2632 |2902 | 0.000000e+00 | 6.200000e+01 | Inf
53.67/53.73 c 49.4s| 60000 | 48116 |363116 | 6.1 | 24M| 56 | 7 | 172 | 29 | 172 | 23 | 20 |2892 |3103 | 0.000000e+00 | 6.200000e+01 | Inf
61.17/61.22 c 56.4s| 70000 | 55852 |420120 | 6.0 | 29M| 56 | - | 172 | 34 | 172 | 23 | 20 |3400 |3384 | 0.000000e+00 | 6.200000e+01 | Inf
68.08/68.11 o 60
68.08/68.11 c *62.8s| 79272 | 62425 |473177 | 6.0 | 33M| 58 | - | 172 | 37 | 172 | 23 | 20 |3913 |3664 | 0.000000e+00 | 6.000000e+01 | Inf
68.08/68.11 o 58
68.08/68.11 c *62.8s| 79274 | 61949 |473178 | 6.0 | 32M| 58 | - | 172 | 37 | 172 | 23 | 20 |3913 |3668 | 0.000000e+00 | 5.800000e+01 | Inf
68.08/68.15 o 56
68.08/68.15 c *62.8s| 79306 | 61412 |473325 | 6.0 | 32M| 58 | - | 172 | 37 | 172 | 23 | 20 |3919 |3694 | 0.000000e+00 | 5.600000e+01 | Inf
68.08/68.15 o 54
68.08/68.15 c *62.8s| 79307 | 60841 |473325 | 6.0 | 31M| 58 | - | 172 | 37 | 172 | 23 | 20 |3919 |3694 | 0.000000e+00 | 5.400000e+01 | Inf
68.57/68.67 c 63.3s| 80000 | 61327 |477128 | 6.0 | 32M| 58 | 7 | 172 | 37 | 172 | 23 | 20 |3954 |3714 | 0.000000e+00 | 5.400000e+01 | Inf
70.28/70.38 o 53
70.28/70.38 c l64.9s| 82264 | 62475 |489690 | 6.0 | 32M| 58 | - | 172 | 37 | 172 | 23 | 20 |4097 |3816 | 0.000000e+00 | 5.300000e+01 | Inf
76.16/76.24 c 70.3s| 90000 | 67450 |533393 | 5.9 | 36M| 58 | - | 172 | 28 | 0 | 0 | 20 |4585 |4088 | 0.000000e+00 | 5.300000e+01 | Inf
86.06/86.12 c 79.3s|100000 | 73683 |589208 | 5.9 | 40M| 58 | 7 | 172 | 36 | 172 | 23 | 20 |5244 |4432 | 0.000000e+00 | 5.300000e+01 | Inf
86.96/87.04 o 51
86.96/87.04 c *80.2s|101296 | 73484 |596175 | 5.9 | 40M| 60 | - | 172 | 36 | 172 | 23 | 20 |5325 |4460 | 0.000000e+00 | 5.100000e+01 | Inf
92.66/92.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.66/92.73 c 85.4s|110000 | 77999 |639151 | 5.8 | 43M| 62 | 7 | 172 | 36 | 172 | 23 | 20 |5739 |4683 | 0.000000e+00 | 5.100000e+01 | Inf
99.16/99.21 c 91.4s|120000 | 82696 |688667 | 5.7 | 47M| 62 | - | 172 | 36 | 172 | 23 | 20 |6325 |4895 | 0.000000e+00 | 5.100000e+01 | Inf
105.66/105.78 c 97.5s|130000 | 88051 |738388 | 5.7 | 51M| 62 | 7 | 172 | 33 | 172 | 23 | 20 |6858 |5098 | 0.000000e+00 | 5.100000e+01 | Inf
109.15/109.22 o 50
109.15/109.22 c * 101s|134951 | 90144 |764308 | 5.7 | 52M| 62 | - | 172 | 26 | 172 | 23 | 20 |7110 |5188 | 0.000000e+00 | 5.000000e+01 | Inf
109.15/109.24 o 48
109.15/109.24 c * 101s|134953 | 87279 |764309 | 5.7 | 50M| 62 | - | 172 | 26 | 172 | 23 | 20 |7110 |5189 | 0.000000e+00 | 4.800000e+01 | Inf
109.15/109.24 o 46
109.15/109.24 c * 101s|134954 | 86264 |764309 | 5.7 | 48M| 62 | - | 172 | 26 | 172 | 23 | 20 |7110 |5189 | 0.000000e+00 | 4.600000e+01 | Inf
114.36/114.44 c 105s|140000 | 88601 |789695 | 5.6 | 50M| 62 | 7 | 172 | 28 | 172 | 23 | 20 |7328 |5299 | 0.000000e+00 | 4.600000e+01 | Inf
115.95/116.00 o 44
115.95/116.00 c * 107s|142357 | 88504 |801851 | 5.6 | 50M| 62 | - | 172 | 32 | 172 | 23 | 20 |7456 |5345 | 0.000000e+00 | 4.400000e+01 | Inf
122.85/122.91 c 113s|150000 | 92210 |839762 | 5.6 | 53M| 62 | 7 | 172 | 29 | 172 | 23 | 20 |7823 |5477 | 0.000000e+00 | 4.400000e+01 | Inf
129.44/129.59 c 119s|160000 | 97337 |889811 | 5.6 | 57M| 62 | 7 | 172 | 31 | 172 | 23 | 20 |8356 |5663 | 0.000000e+00 | 4.400000e+01 | Inf
136.84/136.90 c 126s|170000 |103406 |943537 | 5.5 | 61M| 62 | 7 | 172 | 35 | 172 | 23 | 20 |8845 |5803 | 0.000000e+00 | 4.400000e+01 | Inf
143.65/143.76 c 132s|180000 |109029 |994996 | 5.5 | 64M| 62 | 7 | 172 | 34 | 172 | 23 | 20 |9320 |5970 | 0.000000e+00 | 4.400000e+01 | Inf
150.44/150.59 c 139s|190000 |114293 | 1046k| 5.5 | 68M| 62 | - | 172 | 34 | 0 | 0 | 20 |9866 |6141 | 0.000000e+00 | 4.400000e+01 | Inf
152.34/152.40 o 43
152.34/152.40 c * 140s|192677 |115036 | 1059k| 5.5 | 68M| 62 | - | 172 | 32 | 172 | 23 | 20 | 10k|6176 | 0.000000e+00 | 4.300000e+01 | Inf
157.04/157.13 c 145s|200000 |118372 | 1094k| 5.5 | 71M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 10k|6298 | 0.000000e+00 | 4.300000e+01 | Inf
157.33/157.42 o 41
157.33/157.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
157.33/157.42 c * 145s|200428 |116958 | 1096k| 5.5 | 69M| 62 | - | 172 | 22 | 172 | 23 | 20 | 10k|6305 | 0.000000e+00 | 4.100000e+01 | Inf
157.33/157.43 o 39
157.33/157.43 c * 145s|200429 |115163 | 1096k| 5.5 | 68M| 62 | - | 172 | 22 | 172 | 23 | 20 | 10k|6305 | 0.000000e+00 | 3.900000e+01 | Inf
162.65/162.72 o 38
162.65/162.72 c f 150s|208900 |117478 | 1135k| 5.4 | 69M| 62 | - | 172 | 22 | 172 | 23 | 20 | 10k|6477 | 0.000000e+00 | 3.800000e+01 | Inf
162.65/162.73 o 36
162.65/162.73 c p 150s|208900 |115468 | 1135k| 5.4 | 68M| 62 | - | 172 | 22 | 172 | 23 | 20 | 10k|6477 | 0.000000e+00 | 3.600000e+01 | Inf
163.34/163.40 c 151s|210000 |115839 | 1140k| 5.4 | 68M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 10k|6508 | 0.000000e+00 | 3.600000e+01 | Inf
168.54/168.65 o 34
168.54/168.65 c * 155s|218160 |117187 | 1176k| 5.4 | 69M| 62 | - | 172 | 21 | 172 | 23 | 20 | 11k|6637 | 0.000000e+00 | 3.400000e+01 | Inf
169.84/169.96 c 157s|220000 |118131 | 1185k| 5.4 | 69M| 62 | 7 | 172 | 22 | 172 | 23 | 20 | 11k|6661 | 0.000000e+00 | 3.400000e+01 | Inf
178.33/178.44 c 164s|230000 |122032 | 1231k| 5.4 | 73M| 62 | 7 | 172 | 22 | 172 | 23 | 20 | 12k|6774 | 0.000000e+00 | 3.400000e+01 | Inf
184.64/184.73 c 170s|240000 |125799 | 1276k| 5.3 | 76M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 12k|6911 | 0.000000e+00 | 3.400000e+01 | Inf
191.13/191.30 c 176s|250000 |130256 | 1323k| 5.3 | 79M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 13k|7028 | 0.000000e+00 | 3.400000e+01 | Inf
196.83/196.91 o 32
196.83/196.91 c * 181s|258806 |114182 | 1363k| 5.3 | 67M| 62 | - | 172 | 17 | 172 | 23 | 20 | 13k|7146 | 0.000000e+00 | 3.200000e+01 | Inf
196.83/196.92 o 30
196.83/196.92 c * 181s|258808 |112851 | 1363k| 5.3 | 66M| 62 | - | 172 | 14 | 172 | 23 | 20 | 13k|7150 | 0.000000e+00 | 3.000000e+01 | Inf
196.83/196.94 o 28
196.83/196.94 c * 181s|258810 |111338 | 1363k| 5.3 | 64M| 62 | - | 172 | 14 | 172 | 23 | 20 | 13k|7153 | 0.000000e+00 | 2.800000e+01 | Inf
196.83/196.95 o 26
196.83/196.95 c * 182s|258811 |109718 | 1363k| 5.3 | 63M| 62 | - | 172 | 14 | 172 | 23 | 20 | 13k|7153 | 0.000000e+00 | 2.600000e+01 | Inf
199.03/199.17 c 183s|260000 |110106 | 1369k| 5.3 | 63M| 62 | - | 172 | 15 | 0 | 0 | 20 | 13k|7171 | 0.000000e+00 | 2.600000e+01 | Inf
203.43/203.58 o 25
203.43/203.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
203.43/203.58 c * 188s|267410 |111589 | 1403k| 5.2 | 64M| 62 | - | 172 | 16 | 172 | 23 | 20 | 13k|7281 | 0.000000e+00 | 2.500000e+01 | Inf
206.32/206.49 c 190s|270000 |112266 | 1415k| 5.2 | 64M| 62 | - | 172 | 14 | 172 | 23 | 20 | 13k|7324 | 0.000000e+00 | 2.500000e+01 | Inf
212.23/212.38 c 196s|280000 |115304 | 1460k| 5.2 | 67M| 62 | - | 172 | 16 | 172 | 23 | 20 | 14k|7478 | 0.000000e+00 | 2.500000e+01 | Inf
218.12/218.21 c 201s|290000 |118129 | 1504k| 5.2 | 69M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 14k|7613 | 0.000000e+00 | 2.500000e+01 | Inf
223.91/224.05 c 206s|300000 |120660 | 1549k| 5.2 | 71M| 62 | 7 | 172 | 15 | 172 | 23 | 20 | 14k|7760 | 0.000000e+00 | 2.500000e+01 | Inf
229.82/229.91 c 212s|310000 |123383 | 1594k| 5.1 | 73M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 15k|7891 | 0.000000e+00 | 2.500000e+01 | Inf
235.61/235.72 c 217s|320000 |126194 | 1638k| 5.1 | 75M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 15k|8045 | 0.000000e+00 | 2.500000e+01 | Inf
241.61/241.75 c 223s|330000 |129224 | 1683k| 5.1 | 77M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 16k|8179 | 0.000000e+00 | 2.500000e+01 | Inf
247.41/247.53 c 228s|340000 |132033 | 1727k| 5.1 | 79M| 62 | - | 172 | 17 | 172 | 23 | 20 | 16k|8295 | 0.000000e+00 | 2.500000e+01 | Inf
253.11/253.24 c 233s|350000 |134525 | 1770k| 5.1 | 81M| 62 | - | 172 | 21 | 0 | 0 | 20 | 16k|8418 | 0.000000e+00 | 2.500000e+01 | Inf
258.60/258.78 c 238s|360000 |136678 | 1811k| 5.0 | 83M| 62 | - | 172 | 16 | 172 | 23 | 20 | 17k|8548 | 0.000000e+00 | 2.500000e+01 | Inf
263.21/263.37 o 24
263.21/263.37 c * 243s|368292 |137338 | 1846k| 5.0 | 83M| 62 | - | 172 | 16 | 172 | 23 | 20 | 17k|8648 | 0.000000e+00 | 2.400000e+01 | Inf
263.21/263.38 o 22
263.21/263.38 c * 243s|368293 |134997 | 1846k| 5.0 | 81M| 62 | - | 172 | 16 | 172 | 23 | 20 | 17k|8648 | 0.000000e+00 | 2.200000e+01 | Inf
263.30/263.40 o 20
263.30/263.40 c * 243s|368298 |132213 | 1846k| 5.0 | 78M| 62 | - | 172 | 16 | 172 | 23 | 20 | 17k|8652 | 0.000000e+00 | 2.000000e+01 | Inf
263.30/263.42 o 18
263.30/263.42 c * 243s|368303 |129149 | 1846k| 5.0 | 75M| 62 | - | 172 | 16 | 172 | 23 | 20 | 17k|8656 | 0.000000e+00 | 1.800000e+01 | Inf
263.30/263.45 o 16
263.30/263.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
263.30/263.45 c * 243s|368304 |123772 | 1846k| 5.0 | 70M| 62 | - | 172 | 16 | 172 | 23 | 20 | 17k|8656 | 0.000000e+00 | 1.600000e+01 | Inf
263.40/263.54 o 14
263.40/263.54 c * 243s|368435 |119871 | 1846k| 5.0 | 66M| 62 | - | 172 | 16 | 172 | 23 | 20 | 17k|8658 | 0.000000e+00 | 1.400000e+01 | Inf
264.30/264.42 c 244s|370000 |120295 | 1854k| 5.0 | 67M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 17k|8664 | 0.000000e+00 | 1.400000e+01 | Inf
271.40/271.56 c 250s|380000 |121974 | 1896k| 5.0 | 68M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 17k|8801 | 0.000000e+00 | 1.400000e+01 | Inf
276.59/276.78 c 255s|390000 |123308 | 1938k| 5.0 | 69M| 62 | - | 172 | 17 | 172 | 23 | 20 | 17k|8916 | 0.000000e+00 | 1.400000e+01 | Inf
282.79/282.99 c 261s|400000 |125094 | 1979k| 4.9 | 70M| 62 | - | 172 | 18 | 172 | 23 | 20 | 18k|9049 | 0.000000e+00 | 1.400000e+01 | Inf
287.89/288.10 c 265s|410000 |126301 | 2018k| 4.9 | 71M| 62 | - | 172 | 18 | 172 | 23 | 20 | 18k|9178 | 0.000000e+00 | 1.400000e+01 | Inf
293.19/293.35 c 270s|420000 |127298 | 2059k| 4.9 | 72M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 18k|9296 | 0.000000e+00 | 1.400000e+01 | Inf
298.19/298.37 c 275s|430000 |128371 | 2097k| 4.9 | 73M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 19k|9424 | 0.000000e+00 | 1.400000e+01 | Inf
303.29/303.46 c 279s|440000 |129565 | 2138k| 4.9 | 74M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 19k|9550 | 0.000000e+00 | 1.400000e+01 | Inf
308.48/308.62 c 284s|450000 |130742 | 2177k| 4.8 | 74M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 19k|9666 | 0.000000e+00 | 1.400000e+01 | Inf
313.58/313.76 c 289s|460000 |131277 | 2216k| 4.8 | 75M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 19k|9786 | 0.000000e+00 | 1.400000e+01 | Inf
318.69/318.85 c 294s|470000 |131934 | 2254k| 4.8 | 76M| 62 | - | 172 | 16 | 172 | 23 | 20 | 20k|9903 | 0.000000e+00 | 1.400000e+01 | Inf
325.78/325.98 c 300s|480000 |133089 | 2294k| 4.8 | 77M| 62 | - | 172 | 16 | 172 | 23 | 20 | 20k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
330.89/331.09 c 305s|490000 |133626 | 2335k| 4.8 | 77M| 62 | - | 172 | 16 | 172 | 23 | 20 | 20k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
335.98/336.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
335.98/336.16 c 310s|500000 |134343 | 2375k| 4.8 | 78M| 62 | - | 172 | 16 | 172 | 23 | 20 | 20k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
341.17/341.32 c 314s|510000 |135008 | 2416k| 4.7 | 79M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 21k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
346.38/346.51 c 319s|520000 |136139 | 2459k| 4.7 | 80M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 21k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
351.47/351.68 c 324s|530000 |136815 | 2501k| 4.7 | 80M| 62 | - | 172 | 16 | 172 | 23 | 20 | 21k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
356.68/356.80 c 329s|540000 |137440 | 2543k| 4.7 | 81M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 21k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
361.87/362.07 c 333s|550000 |138680 | 2586k| 4.7 | 82M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 22k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
366.97/367.17 c 338s|560000 |140068 | 2628k| 4.7 | 83M| 62 | 7 | 172 | 21 | 172 | 23 | 20 | 22k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
372.06/372.25 c 343s|570000 |140885 | 2668k| 4.7 | 84M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 22k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
377.17/377.31 c 347s|580000 |141415 | 2708k| 4.7 | 84M| 62 | - | 172 | 19 | 172 | 23 | 20 | 23k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
382.16/382.35 c 352s|590000 |142029 | 2748k| 4.7 | 85M| 62 | - | 172 | 20 | 172 | 23 | 20 | 23k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
387.26/387.40 c 357s|600000 |142274 | 2788k| 4.6 | 86M| 62 | - | 172 | 21 | 172 | 23 | 20 | 23k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
392.16/392.40 c 361s|610000 |142526 | 2827k| 4.6 | 86M| 62 | - | 172 | 17 | 172 | 23 | 20 | 23k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
397.25/397.44 c 366s|620000 |143239 | 2866k| 4.6 | 87M| 62 | - | 172 | 18 | 172 | 23 | 20 | 24k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
402.36/402.50 c 371s|630000 |143724 | 2906k| 4.6 | 87M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 24k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
407.36/407.59 c 375s|640000 |144399 | 2947k| 4.6 | 88M| 62 | - | 172 | 16 | 172 | 23 | 20 | 24k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
412.56/412.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
412.56/412.73 c 380s|650000 |144988 | 2988k| 4.6 | 89M| 62 | - | 172 | 18 | 0 | 0 | 20 | 24k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
417.65/417.82 c 385s|660000 |146068 | 3029k| 4.6 | 90M| 62 | - | 172 | 23 | 172 | 23 | 20 | 25k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
422.65/422.84 c 389s|670000 |147106 | 3069k| 4.6 | 91M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 25k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
427.65/427.89 c 394s|680000 |148035 | 3109k| 4.6 | 91M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 25k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
432.84/433.04 c 399s|690000 |149364 | 3149k| 4.6 | 92M| 62 | 7 | 172 | 22 | 172 | 23 | 20 | 26k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
437.95/438.14 c 404s|700000 |150913 | 3191k| 4.6 | 93M| 62 | - | 172 | 22 | 0 | 0 | 20 | 26k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
443.04/443.22 c 408s|710000 |151821 | 3232k| 4.6 | 94M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 26k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
448.04/448.29 c 413s|720000 |152569 | 3272k| 4.5 | 95M| 62 | - | 172 | 18 | 172 | 23 | 20 | 26k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
453.24/453.43 c 418s|730000 |152984 | 3313k| 4.5 | 96M| 62 | - | 172 | 23 | 172 | 23 | 20 | 27k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
458.33/458.54 c 423s|740000 |153847 | 3354k| 4.5 | 96M| 62 | - | 172 | 23 | 172 | 23 | 20 | 27k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
463.34/463.57 c 427s|750000 |154840 | 3394k| 4.5 | 97M| 62 | 7 | 172 | 25 | 172 | 23 | 20 | 27k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
468.45/468.64 c 432s|760000 |155288 | 3435k| 4.5 | 98M| 62 | 7 | 172 | 22 | 172 | 23 | 20 | 28k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
473.54/473.72 c 437s|770000 |155723 | 3475k| 4.5 | 98M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 28k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
478.53/478.78 c 441s|780000 |156072 | 3515k| 4.5 | 99M| 62 | - | 172 | 16 | 0 | 0 | 20 | 28k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
483.63/483.82 c 446s|790000 |156552 | 3555k| 4.5 | 100M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 29k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
488.63/488.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
488.63/488.84 c 451s|800000 |157408 | 3595k| 4.5 | 100M| 62 | - | 172 | 18 | 172 | 23 | 20 | 29k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
493.63/493.87 c 455s|810000 |157942 | 3635k| 4.5 | 101M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 29k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
498.72/498.90 c 460s|820000 |158227 | 3674k| 4.5 | 102M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 29k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
503.72/503.96 c 465s|830000 |158465 | 3714k| 4.5 | 102M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 30k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
508.82/509.03 c 469s|840000 |159048 | 3754k| 4.5 | 103M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 30k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
513.81/514.09 c 474s|850000 |159924 | 3795k| 4.5 | 103M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 30k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
518.93/519.10 c 479s|860000 |160473 | 3835k| 4.5 | 104M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 30k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
523.92/524.10 c 483s|870000 |160714 | 3874k| 4.5 | 105M| 62 | - | 172 | 17 | 172 | 23 | 20 | 31k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
528.82/529.09 c 488s|880000 |161261 | 3914k| 4.4 | 105M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 31k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
534.01/534.25 c 493s|890000 |163014 | 3955k| 4.4 | 106M| 62 | - | 172 | 18 | 172 | 23 | 20 | 31k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
539.11/539.32 c 497s|900000 |164584 | 3995k| 4.4 | 107M| 62 | 7 | 172 | 22 | 172 | 23 | 20 | 31k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
544.11/544.37 c 502s|910000 |165900 | 4035k| 4.4 | 108M| 62 | 7 | 172 | 21 | 172 | 23 | 20 | 32k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
549.11/549.37 c 507s|920000 |167238 | 4074k| 4.4 | 109M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 32k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
554.11/554.34 c 511s|930000 |168523 | 4113k| 4.4 | 110M| 62 | 7 | 172 | 21 | 172 | 23 | 20 | 32k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
559.10/559.31 c 516s|940000 |169530 | 4152k| 4.4 | 111M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 32k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
564.11/564.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
564.11/564.34 c 520s|950000 |170256 | 4192k| 4.4 | 112M| 62 | - | 172 | 18 | 0 | 0 | 20 | 33k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
569.11/569.38 c 525s|960000 |170974 | 4232k| 4.4 | 113M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 33k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
574.30/574.57 c 530s|970000 |172084 | 4275k| 4.4 | 114M| 62 | - | 172 | 21 | 172 | 23 | 20 | 33k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
579.29/579.59 c 534s|980000 |172840 | 4315k| 4.4 | 114M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 33k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
584.50/584.70 c 539s|990000 |174098 | 4357k| 4.4 | 115M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 34k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
589.60/589.81 c 544s| 1000k|175021 | 4399k| 4.4 | 116M| 62 | - | 172 | 16 | 172 | 23 | 20 | 34k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
594.69/594.93 c 549s| 1010k|176189 | 4439k| 4.4 | 117M| 62 | - | 172 | 16 | 172 | 23 | 20 | 34k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
599.79/600.09 c 553s| 1020k|177065 | 4481k| 4.4 | 118M| 62 | - | 172 | 18 | 172 | 23 | 20 | 35k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
604.89/605.17 c 558s| 1030k|177954 | 4522k| 4.4 | 119M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 35k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
609.98/610.22 c 563s| 1040k|178634 | 4562k| 4.4 | 120M| 62 | - | 172 | 20 | 172 | 23 | 20 | 35k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
615.08/615.34 c 567s| 1050k|179445 | 4603k| 4.4 | 120M| 62 | - | 172 | 18 | 172 | 23 | 20 | 35k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
620.19/620.48 c 572s| 1060k|180514 | 4644k| 4.4 | 121M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 35k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
625.28/625.51 c 577s| 1070k|181460 | 4685k| 4.4 | 122M| 62 | - | 172 | 18 | 172 | 23 | 20 | 36k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
630.28/630.57 c 581s| 1080k|182061 | 4725k| 4.4 | 123M| 62 | 7 | 172 | 23 | 172 | 23 | 20 | 36k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
635.37/635.66 c 586s| 1090k|182658 | 4765k| 4.4 | 123M| 62 | - | 172 | 23 | 172 | 23 | 20 | 36k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
640.58/640.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
640.58/640.89 c 591s| 1100k|184859 | 4807k| 4.4 | 125M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 37k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
645.88/646.18 c 596s| 1110k|186967 | 4849k| 4.4 | 126M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 37k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
651.08/651.30 c 600s| 1120k|188764 | 4890k| 4.4 | 127M| 62 | - | 172 | 16 | 0 | 0 | 20 | 37k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
656.27/656.51 c 605s| 1130k|190416 | 4932k| 4.4 | 128M| 62 | 7 | 172 | 21 | 172 | 23 | 20 | 37k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
661.47/661.75 c 610s| 1140k|192172 | 4974k| 4.4 | 130M| 62 | 7 | 172 | 21 | 172 | 23 | 20 | 38k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
666.67/666.97 c 615s| 1150k|194231 | 5016k| 4.4 | 131M| 62 | - | 172 | 22 | 172 | 23 | 20 | 38k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
671.97/672.22 c 620s| 1160k|195508 | 5059k| 4.4 | 132M| 62 | - | 172 | 17 | 172 | 23 | 20 | 38k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
677.17/677.45 c 625s| 1170k|197377 | 5101k| 4.4 | 133M| 62 | - | 172 | 16 | 172 | 23 | 20 | 38k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
682.26/682.54 c 629s| 1180k|198906 | 5141k| 4.4 | 134M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 39k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
687.77/688.05 c 634s| 1190k|201300 | 5186k| 4.4 | 136M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 39k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
693.26/693.59 c 640s| 1200k|203887 | 5231k| 4.4 | 138M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 39k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
698.75/699.07 c 645s| 1210k|206304 | 5276k| 4.4 | 139M| 62 | - | 172 | 20 | 172 | 23 | 20 | 39k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
704.06/704.38 c 649s| 1220k|208497 | 5319k| 4.4 | 141M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 40k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
709.46/709.78 c 654s| 1230k|210951 | 5362k| 4.4 | 142M| 62 | 7 | 172 | 22 | 172 | 23 | 20 | 40k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
714.95/715.24 c 659s| 1240k|213442 | 5406k| 4.4 | 144M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 40k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
720.16/720.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
720.16/720.50 c 664s| 1250k|215393 | 5449k| 4.4 | 145M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 41k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
725.45/725.76 c 669s| 1260k|217285 | 5492k| 4.4 | 146M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 41k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
730.84/731.15 c 674s| 1270k|219502 | 5536k| 4.4 | 148M| 62 | 7 | 172 | 22 | 172 | 23 | 20 | 41k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
736.14/736.43 c 679s| 1280k|221951 | 5578k| 4.4 | 149M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 41k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
741.54/741.87 c 684s| 1290k|224663 | 5621k| 4.4 | 151M| 62 | - | 172 | 24 | 172 | 23 | 20 | 42k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
746.94/747.20 c 689s| 1300k|226709 | 5664k| 4.4 | 152M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 42k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
752.15/752.42 c 694s| 1310k|228901 | 5706k| 4.4 | 154M| 62 | 7 | 172 | 22 | 172 | 23 | 20 | 42k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
757.34/757.65 c 699s| 1320k|231144 | 5748k| 4.4 | 155M| 62 | - | 172 | 20 | 0 | 0 | 20 | 43k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
762.63/762.94 c 703s| 1330k|233019 | 5790k| 4.4 | 156M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 43k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
767.73/768.09 c 708s| 1340k|235048 | 5831k| 4.4 | 158M| 62 | - | 172 | 16 | 172 | 23 | 20 | 43k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
773.04/773.32 c 713s| 1350k|236646 | 5874k| 4.4 | 159M| 62 | - | 172 | 17 | 0 | 0 | 20 | 44k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
778.23/778.52 c 718s| 1360k|238269 | 5915k| 4.3 | 160M| 62 | - | 172 | 22 | 172 | 23 | 20 | 44k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
783.43/783.77 c 723s| 1370k|240147 | 5957k| 4.3 | 161M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 44k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
788.62/788.99 c 727s| 1380k|241941 | 5999k| 4.3 | 163M| 62 | - | 172 | 17 | 172 | 23 | 20 | 44k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
794.13/794.40 c 732s| 1390k|244009 | 6044k| 4.3 | 164M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 45k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
799.33/799.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
799.33/799.65 c 737s| 1400k|245842 | 6087k| 4.3 | 165M| 62 | - | 172 | 24 | 172 | 23 | 20 | 45k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
804.52/804.81 c 742s| 1410k|247323 | 6127k| 4.3 | 166M| 62 | - | 172 | 17 | 172 | 23 | 20 | 45k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
809.72/810.06 c 747s| 1420k|249098 | 6169k| 4.3 | 168M| 62 | - | 172 | 18 | 172 | 23 | 20 | 46k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
814.92/815.24 c 752s| 1430k|250671 | 6210k| 4.3 | 169M| 62 | 7 | 172 | 22 | 172 | 23 | 20 | 46k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
820.11/820.49 c 757s| 1440k|252488 | 6253k| 4.3 | 170M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 46k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
825.31/825.64 c 761s| 1450k|253680 | 6295k| 4.3 | 171M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 47k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
830.71/831.00 c 766s| 1460k|256032 | 6339k| 4.3 | 172M| 62 | - | 172 | 20 | 172 | 23 | 20 | 47k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
835.91/836.22 c 771s| 1470k|257840 | 6380k| 4.3 | 174M| 62 | - | 172 | 21 | 0 | 0 | 20 | 47k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
841.22/841.56 c 776s| 1480k|259868 | 6424k| 4.3 | 175M| 62 | - | 172 | 21 | 172 | 23 | 20 | 47k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
846.41/846.74 c 781s| 1490k|261275 | 6465k| 4.3 | 176M| 62 | - | 172 | 24 | 172 | 23 | 20 | 48k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
851.61/851.92 c 786s| 1500k|262856 | 6507k| 4.3 | 177M| 62 | - | 172 | 23 | 172 | 23 | 20 | 48k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
856.70/857.05 c 790s| 1510k|264322 | 6549k| 4.3 | 178M| 62 | - | 172 | 18 | 172 | 23 | 20 | 48k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
861.80/862.17 c 795s| 1520k|265800 | 6590k| 4.3 | 179M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 49k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
866.90/867.27 c 800s| 1530k|266759 | 6632k| 4.3 | 180M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 49k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
872.10/872.42 c 804s| 1540k|267881 | 6674k| 4.3 | 181M| 62 | 7 | 172 | 23 | 172 | 23 | 20 | 49k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
877.20/877.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
877.20/877.55 c 809s| 1550k|268970 | 6715k| 4.3 | 182M| 62 | - | 172 | 19 | 172 | 23 | 20 | 50k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
882.30/882.62 c 814s| 1560k|270312 | 6757k| 4.3 | 183M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 50k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
887.50/887.84 c 819s| 1570k|271982 | 6800k| 4.3 | 184M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 50k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
892.49/892.89 c 823s| 1580k|273362 | 6841k| 4.3 | 185M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 50k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
897.70/898.07 c 828s| 1590k|274497 | 6883k| 4.3 | 186M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 51k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
902.89/903.25 c 833s| 1600k|275732 | 6925k| 4.3 | 187M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 51k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
907.98/908.37 c 838s| 1610k|276709 | 6966k| 4.3 | 188M| 62 | - | 172 | 16 | 172 | 23 | 20 | 51k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
913.18/913.58 c 842s| 1620k|277821 | 7007k| 4.3 | 189M| 62 | - | 172 | 17 | 172 | 23 | 20 | 51k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
918.28/918.65 c 847s| 1630k|279141 | 7047k| 4.3 | 190M| 62 | - | 172 | 18 | 172 | 23 | 20 | 52k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
923.48/923.81 c 852s| 1640k|280496 | 7090k| 4.3 | 191M| 62 | - | 172 | 17 | 0 | 0 | 20 | 52k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
928.58/928.94 c 857s| 1650k|281568 | 7132k| 4.3 | 192M| 62 | 7 | 172 | 15 | 172 | 23 | 20 | 52k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
933.68/934.09 c 861s| 1660k|282579 | 7173k| 4.3 | 193M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 53k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
938.87/939.29 c 866s| 1670k|284088 | 7216k| 4.3 | 194M| 62 | - | 172 | 17 | 172 | 23 | 20 | 53k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
943.98/944.36 c 871s| 1680k|285086 | 7257k| 4.3 | 195M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 53k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
949.18/949.53 c 876s| 1690k|286137 | 7300k| 4.3 | 196M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 53k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
954.27/954.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
954.27/954.63 c 880s| 1700k|286872 | 7341k| 4.3 | 197M| 62 | - | 172 | 18 | 172 | 23 | 20 | 54k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
959.37/959.74 c 885s| 1710k|287753 | 7383k| 4.3 | 197M| 62 | - | 172 | 18 | 172 | 23 | 20 | 54k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
964.46/964.83 c 890s| 1720k|289174 | 7424k| 4.3 | 198M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 54k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
969.57/969.96 c 894s| 1730k|290033 | 7464k| 4.3 | 199M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 55k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
974.86/975.24 c 899s| 1740k|291258 | 7507k| 4.3 | 200M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 55k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
980.06/980.41 c 904s| 1750k|291892 | 7548k| 4.3 | 201M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 55k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
985.06/985.49 c 909s| 1760k|292977 | 7589k| 4.3 | 202M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 56k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
990.36/990.71 c 913s| 1770k|294120 | 7632k| 4.3 | 203M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 56k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
995.36/995.77 c 918s| 1780k|295179 | 7673k| 4.3 | 204M| 62 | - | 172 | 17 | 172 | 23 | 20 | 56k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1000.67/1001.01 c 923s| 1790k|295828 | 7715k| 4.3 | 205M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 57k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1005.76/1006.11 c 928s| 1800k|296569 | 7757k| 4.3 | 205M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 57k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1010.86/1011.28 c 932s| 1810k|297855 | 7798k| 4.3 | 206M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 57k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1016.06/1016.44 c 937s| 1820k|299235 | 7839k| 4.3 | 207M| 62 | - | 172 | 18 | 172 | 23 | 20 | 58k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1021.15/1021.52 c 942s| 1830k|300060 | 7880k| 4.3 | 208M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 58k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1026.24/1026.61 c 947s| 1840k|301131 | 7921k| 4.3 | 209M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 58k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1031.46/1031.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1031.46/1031.81 c 951s| 1850k|302032 | 7963k| 4.3 | 210M| 62 | 7 | 172 | 25 | 172 | 23 | 20 | 58k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1036.55/1036.99 c 956s| 1860k|303109 | 8005k| 4.3 | 211M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 59k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1041.74/1042.13 c 961s| 1870k|304210 | 8047k| 4.3 | 212M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 59k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1046.85/1047.27 c 966s| 1880k|304953 | 8089k| 4.3 | 212M| 62 | 7 | 172 | 15 | 172 | 23 | 20 | 59k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1051.94/1052.37 c 970s| 1890k|305520 | 8130k| 4.3 | 213M| 62 | - | 172 | 15 | 172 | 23 | 20 | 60k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1057.14/1057.56 c 975s| 1900k|306439 | 8172k| 4.3 | 214M| 62 | - | 172 | 19 | 172 | 23 | 20 | 60k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1062.44/1062.83 c 980s| 1910k|308048 | 8215k| 4.3 | 215M| 62 | - | 172 | 17 | 172 | 23 | 20 | 60k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1067.64/1068.03 c 985s| 1920k|309218 | 8257k| 4.3 | 216M| 62 | - | 172 | 16 | 0 | 0 | 20 | 61k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1072.83/1073.23 c 990s| 1930k|310460 | 8300k| 4.3 | 217M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 61k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1077.93/1078.36 c 994s| 1940k|311694 | 8342k| 4.3 | 218M| 62 | - | 172 | 17 | 172 | 23 | 20 | 61k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1083.14/1083.52 c 999s| 1950k|312725 | 8384k| 4.3 | 219M| 62 | - | 172 | 17 | 172 | 23 | 20 | 62k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1088.23/1088.69 c 1004s| 1960k|313444 | 8426k| 4.3 | 220M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 62k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1093.43/1093.82 c 1009s| 1970k|314122 | 8468k| 4.3 | 221M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 62k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1098.62/1099.00 c 1013s| 1980k|314821 | 8510k| 4.3 | 221M| 62 | - | 172 | 22 | 172 | 23 | 20 | 63k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1103.62/1104.06 c 1018s| 1990k|315492 | 8550k| 4.3 | 222M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 63k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1108.82/1109.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1108.82/1109.25 c 1023s| 2000k|315977 | 8592k| 4.3 | 223M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 63k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1114.02/1114.41 c 1028s| 2010k|316523 | 8634k| 4.3 | 223M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 64k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1119.12/1119.52 c 1032s| 2020k|317055 | 8675k| 4.3 | 224M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 64k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1124.21/1124.62 c 1037s| 2030k|317648 | 8716k| 4.3 | 225M| 62 | - | 172 | 16 | 0 | 0 | 20 | 64k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1129.41/1129.81 c 1042s| 2040k|318204 | 8757k| 4.3 | 225M| 62 | 7 | 172 | 22 | 172 | 23 | 20 | 64k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1134.51/1134.96 c 1047s| 2050k|319040 | 8799k| 4.3 | 226M| 62 | - | 172 | 21 | 0 | 0 | 20 | 65k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1139.61/1140.02 c 1051s| 2060k|319761 | 8839k| 4.3 | 227M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 65k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1144.72/1145.12 c 1056s| 2070k|321131 | 8879k| 4.3 | 228M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 65k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1149.80/1150.21 c 1061s| 2080k|321894 | 8921k| 4.3 | 228M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 66k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1154.91/1155.35 c 1065s| 2090k|322578 | 8962k| 4.3 | 229M| 62 | 7 | 172 | 15 | 172 | 23 | 20 | 66k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1160.01/1160.47 c 1070s| 2100k|323450 | 9004k| 4.3 | 230M| 62 | 7 | 172 | 15 | 172 | 23 | 20 | 66k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1165.10/1165.55 c 1075s| 2110k|324241 | 9045k| 4.3 | 231M| 62 | - | 172 | 17 | 0 | 0 | 20 | 67k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1170.20/1170.69 c 1080s| 2120k|325024 | 9087k| 4.3 | 231M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 67k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1175.30/1175.77 c 1084s| 2130k|325846 | 9127k| 4.3 | 232M| 62 | - | 172 | 16 | 172 | 23 | 20 | 67k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1180.40/1180.81 c 1089s| 2140k|326543 | 9167k| 4.3 | 233M| 62 | - | 172 | 15 | 0 | 0 | 20 | 67k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1185.41/1185.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1185.41/1185.88 c 1094s| 2150k|327463 | 9209k| 4.3 | 234M| 62 | - | 172 | 14 | 0 | 0 | 20 | 68k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1190.39/1190.86 c 1098s| 2160k|328079 | 9249k| 4.3 | 234M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 68k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1195.39/1195.89 c 1103s| 2170k|328682 | 9290k| 4.3 | 235M| 62 | - | 172 | 15 | 172 | 23 | 20 | 68k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1200.49/1200.92 c 1107s| 2180k|329269 | 9331k| 4.3 | 236M| 62 | - | 172 | 16 | 0 | 0 | 20 | 68k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1205.59/1206.08 c 1112s| 2190k|330032 | 9373k| 4.3 | 236M| 62 | - | 172 | 17 | 172 | 23 | 20 | 69k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1210.70/1211.17 c 1117s| 2200k|330616 | 9414k| 4.3 | 237M| 62 | - | 172 | 17 | 172 | 23 | 20 | 69k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1215.79/1216.20 c 1121s| 2210k|331412 | 9455k| 4.3 | 238M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 69k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1220.78/1221.25 c 1126s| 2220k|332134 | 9496k| 4.3 | 238M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 69k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1225.88/1226.30 c 1131s| 2230k|333335 | 9537k| 4.3 | 239M| 62 | 7 | 172 | 15 | 172 | 23 | 20 | 70k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1230.98/1231.42 c 1136s| 2240k|334272 | 9578k| 4.3 | 240M| 62 | - | 172 | 20 | 172 | 23 | 20 | 70k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1235.99/1236.45 c 1140s| 2250k|335583 | 9618k| 4.3 | 241M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 70k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1241.08/1241.50 c 1145s| 2260k|336297 | 9659k| 4.3 | 242M| 62 | - | 172 | 16 | 172 | 23 | 20 | 71k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1246.07/1246.50 c 1149s| 2270k|336758 | 9699k| 4.3 | 243M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 71k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1251.17/1251.61 c 1154s| 2280k|337840 | 9740k| 4.3 | 243M| 62 | - | 172 | 18 | 0 | 0 | 20 | 71k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1256.48/1256.96 c 1159s| 2290k|339771 | 9785k| 4.3 | 245M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 72k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1261.67/1262.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1261.67/1262.10 c 1164s| 2300k|341099 | 9827k| 4.3 | 246M| 62 | - | 172 | 17 | 172 | 23 | 20 | 72k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1266.87/1267.32 c 1169s| 2310k|342304 | 9869k| 4.3 | 247M| 62 | - | 172 | 20 | 172 | 23 | 20 | 72k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1272.07/1272.51 c 1173s| 2320k|343887 | 9911k| 4.3 | 248M| 62 | - | 172 | 19 | 172 | 23 | 20 | 73k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1277.16/1277.63 c 1178s| 2330k|344723 | 9953k| 4.3 | 248M| 62 | - | 172 | 18 | 0 | 0 | 20 | 73k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1282.37/1282.84 c 1183s| 2340k|345464 | 9996k| 4.3 | 249M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 73k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1287.57/1288.00 c 1188s| 2350k|346331 | 10039k| 4.3 | 250M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 74k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1292.66/1293.13 c 1192s| 2360k|346852 | 10081k| 4.3 | 251M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 74k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1297.76/1298.22 c 1197s| 2370k|347508 | 10122k| 4.3 | 251M| 62 | - | 172 | 18 | 172 | 23 | 20 | 74k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1302.86/1303.39 c 1202s| 2380k|347766 | 10164k| 4.3 | 252M| 62 | - | 172 | 18 | 172 | 23 | 20 | 75k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1308.05/1308.53 c 1207s| 2390k|348550 | 10206k| 4.3 | 253M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 75k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1313.15/1313.61 c 1211s| 2400k|349146 | 10248k| 4.3 | 253M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 75k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1318.25/1318.71 c 1216s| 2410k|349762 | 10289k| 4.3 | 254M| 62 | - | 172 | 20 | 172 | 23 | 20 | 75k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1323.35/1323.82 c 1221s| 2420k|350483 | 10331k| 4.3 | 255M| 62 | - | 172 | 18 | 0 | 0 | 20 | 76k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1328.45/1328.96 c 1226s| 2430k|350970 | 10372k| 4.3 | 255M| 62 | 7 | 172 | 21 | 172 | 23 | 20 | 76k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1333.54/1334.09 c 1230s| 2440k|351510 | 10414k| 4.3 | 256M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 76k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1338.75/1339.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1338.75/1339.21 c 1235s| 2450k|351778 | 10456k| 4.3 | 256M| 62 | - | 172 | 19 | 172 | 23 | 20 | 77k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1343.84/1344.33 c 1240s| 2460k|352187 | 10497k| 4.3 | 257M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 77k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1348.84/1349.31 c 1244s| 2470k|352847 | 10537k| 4.3 | 257M| 62 | - | 172 | 18 | 172 | 23 | 20 | 77k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1353.94/1354.44 c 1249s| 2480k|353434 | 10579k| 4.3 | 258M| 62 | - | 172 | 22 | 172 | 23 | 20 | 78k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1359.14/1359.61 c 1254s| 2490k|353950 | 10622k| 4.3 | 259M| 62 | - | 172 | 20 | 0 | 0 | 20 | 78k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1364.13/1364.64 c 1258s| 2500k|354447 | 10663k| 4.3 | 259M| 62 | - | 172 | 19 | 172 | 23 | 20 | 78k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1369.23/1369.75 c 1263s| 2510k|355338 | 10704k| 4.3 | 260M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 78k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1374.33/1374.84 c 1268s| 2520k|355801 | 10746k| 4.3 | 261M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 79k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1379.43/1379.98 c 1272s| 2530k|357123 | 10787k| 4.3 | 262M| 62 | - | 172 | 17 | 172 | 23 | 20 | 79k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1384.53/1385.07 c 1277s| 2540k|357997 | 10828k| 4.3 | 263M| 62 | - | 172 | 16 | 0 | 0 | 20 | 79k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1389.62/1390.19 c 1282s| 2550k|358615 | 10869k| 4.3 | 263M| 62 | - | 172 | 15 | 172 | 23 | 20 | 80k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1394.82/1395.31 c 1287s| 2560k|359390 | 10910k| 4.3 | 264M| 62 | - | 172 | 16 | 0 | 0 | 20 | 80k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1399.02/1399.52 o 12
1399.02/1399.52 c *1291s| 2568k|353245 | 10944k| 4.3 | 255M| 62 | - | 172 | 16 | 172 | 23 | 20 | 80k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1399.02/1399.58 o 10
1399.02/1399.58 c *1291s| 2568k|342892 | 10944k| 4.3 | 241M| 62 | - | 172 | 16 | 172 | 23 | 20 | 80k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1399.93/1400.50 c 1291s| 2570k|342906 | 10952k| 4.3 | 241M| 62 | - | 172 | 17 | 172 | 23 | 20 | 80k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1405.02/1405.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1405.02/1405.51 c 1296s| 2580k|343208 | 10991k| 4.3 | 241M| 62 | - | 172 | 16 | 0 | 0 | 20 | 80k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1411.32/1411.82 c 1302s| 2590k|343875 | 11030k| 4.3 | 242M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 81k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1418.12/1418.61 c 1308s| 2600k|344056 | 11068k| 4.3 | 242M| 62 | - | 172 | 18 | 172 | 23 | 20 | 81k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1422.92/1423.49 c 1313s| 2610k|344240 | 11106k| 4.3 | 243M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 81k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1427.92/1428.48 c 1317s| 2620k|345278 | 11146k| 4.3 | 243M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 81k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1434.51/1435.02 c 1323s| 2630k|346027 | 11184k| 4.3 | 244M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 82k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1439.32/1439.88 c 1328s| 2640k|346537 | 11222k| 4.3 | 244M| 62 | - | 172 | 18 | 172 | 23 | 20 | 82k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1444.31/1444.86 c 1332s| 2650k|347350 | 11261k| 4.2 | 245M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 82k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1449.21/1449.70 c 1337s| 2660k|347880 | 11298k| 4.2 | 246M| 62 | - | 172 | 18 | 172 | 23 | 20 | 83k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1454.11/1454.64 c 1341s| 2670k|348296 | 11336k| 4.2 | 246M| 62 | - | 172 | 21 | 172 | 23 | 20 | 83k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1459.21/1459.74 c 1346s| 2680k|348631 | 11375k| 4.2 | 246M| 62 | - | 172 | 17 | 172 | 23 | 20 | 83k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1464.20/1464.71 c 1350s| 2690k|348836 | 11414k| 4.2 | 247M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 84k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1469.11/1469.62 c 1355s| 2700k|349386 | 11451k| 4.2 | 247M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 84k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1474.00/1474.55 c 1360s| 2710k|349522 | 11488k| 4.2 | 248M| 62 | - | 172 | 19 | 172 | 23 | 20 | 84k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1478.90/1479.41 c 1364s| 2720k|349971 | 11525k| 4.2 | 248M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 84k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1483.70/1484.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1483.70/1484.26 c 1368s| 2730k|350167 | 11563k| 4.2 | 248M| 62 | - | 172 | 15 | 172 | 23 | 20 | 85k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1488.60/1489.19 c 1373s| 2740k|350489 | 11601k| 4.2 | 249M| 62 | 7 | 172 | 15 | 172 | 23 | 20 | 85k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1493.59/1494.15 c 1378s| 2750k|350711 | 11639k| 4.2 | 249M| 62 | 7 | 172 | 14 | 172 | 23 | 20 | 85k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1498.49/1499.06 c 1382s| 2760k|350916 | 11678k| 4.2 | 250M| 62 | - | 172 | 18 | 172 | 23 | 20 | 86k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1503.38/1503.98 c 1387s| 2770k|350976 | 11715k| 4.2 | 250M| 62 | - | 172 | 18 | 172 | 23 | 20 | 86k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1508.49/1509.00 c 1391s| 2780k|351744 | 11755k| 4.2 | 250M| 62 | 7 | 172 | 21 | 172 | 23 | 20 | 86k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1513.38/1513.93 c 1396s| 2790k|352407 | 11793k| 4.2 | 251M| 62 | 7 | 172 | 15 | 172 | 23 | 20 | 86k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1518.28/1518.82 c 1400s| 2800k|352563 | 11831k| 4.2 | 251M| 62 | 7 | 172 | 15 | 172 | 23 | 20 | 87k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1523.18/1523.77 c 1405s| 2810k|352559 | 11869k| 4.2 | 252M| 62 | - | 172 | 17 | 172 | 23 | 20 | 87k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1528.08/1528.64 c 1409s| 2820k|352783 | 11906k| 4.2 | 252M| 62 | - | 172 | 20 | 172 | 23 | 20 | 87k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1532.98/1533.53 c 1414s| 2830k|353322 | 11945k| 4.2 | 252M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 88k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1537.77/1538.38 c 1418s| 2840k|353939 | 11982k| 4.2 | 253M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 88k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1542.68/1543.29 c 1423s| 2850k|355641 | 12019k| 4.2 | 254M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 88k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1547.78/1548.33 c 1428s| 2860k|357433 | 12059k| 4.2 | 255M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 89k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1552.68/1553.24 c 1432s| 2870k|358821 | 12097k| 4.2 | 256M| 62 | - | 172 | 17 | 172 | 23 | 20 | 89k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1557.47/1558.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1557.47/1558.09 c 1437s| 2880k|359781 | 12133k| 4.2 | 257M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 89k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1562.37/1562.99 c 1441s| 2890k|361070 | 12171k| 4.2 | 258M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 89k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1567.37/1567.90 c 1446s| 2900k|362005 | 12209k| 4.2 | 258M| 62 | - | 172 | 17 | 172 | 23 | 20 | 90k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1572.27/1572.82 c 1450s| 2910k|362780 | 12247k| 4.2 | 259M| 62 | - | 172 | 18 | 172 | 23 | 20 | 90k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1577.06/1577.68 c 1455s| 2920k|363460 | 12284k| 4.2 | 259M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 90k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1581.97/1582.51 c 1459s| 2930k|364444 | 12321k| 4.2 | 260M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 91k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1586.77/1587.39 c 1464s| 2940k|365382 | 12359k| 4.2 | 261M| 62 | - | 172 | 16 | 172 | 23 | 20 | 91k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1591.66/1592.25 c 1468s| 2950k|366112 | 12396k| 4.2 | 261M| 62 | - | 172 | 16 | 172 | 23 | 20 | 91k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1596.57/1597.10 c 1473s| 2960k|366504 | 12433k| 4.2 | 262M| 62 | - | 172 | 16 | 0 | 0 | 20 | 92k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1601.36/1601.97 c 1477s| 2970k|367083 | 12470k| 4.2 | 262M| 62 | - | 172 | 19 | 172 | 23 | 20 | 92k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1606.36/1606.91 c 1482s| 2980k|367356 | 12508k| 4.2 | 263M| 62 | - | 172 | 25 | 0 | 0 | 20 | 92k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1611.15/1611.79 c 1486s| 2990k|367744 | 12545k| 4.2 | 263M| 62 | 7 | 172 | 24 | 172 | 23 | 20 | 93k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1616.15/1616.75 c 1491s| 3000k|368223 | 12582k| 4.2 | 264M| 62 | 7 | 172 | 24 | 172 | 23 | 20 | 93k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1621.05/1621.60 c 1495s| 3010k|368930 | 12618k| 4.2 | 264M| 62 | - | 172 | 24 | 172 | 23 | 20 | 93k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1625.95/1626.50 c 1500s| 3020k|369559 | 12655k| 4.2 | 265M| 62 | 7 | 172 | 25 | 172 | 23 | 20 | 94k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1630.85/1631.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1630.85/1631.43 c 1504s| 3030k|369808 | 12692k| 4.2 | 265M| 62 | 7 | 172 | 21 | 172 | 23 | 20 | 94k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1635.74/1636.32 c 1509s| 3040k|370188 | 12729k| 4.2 | 266M| 62 | 7 | 172 | 23 | 172 | 23 | 20 | 95k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1640.65/1641.29 c 1513s| 3050k|370784 | 12766k| 4.2 | 266M| 62 | 7 | 172 | 21 | 172 | 23 | 20 | 95k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1645.54/1646.18 c 1518s| 3060k|371933 | 12803k| 4.2 | 267M| 62 | - | 172 | 18 | 0 | 0 | 20 | 95k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1650.55/1651.12 c 1522s| 3070k|372792 | 12842k| 4.2 | 268M| 62 | 7 | 172 | 21 | 172 | 23 | 20 | 96k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1655.33/1655.97 c 1527s| 3080k|373350 | 12878k| 4.2 | 268M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 96k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1660.24/1660.82 c 1531s| 3090k|373729 | 12915k| 4.2 | 269M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 96k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1665.03/1665.64 c 1536s| 3100k|373924 | 12950k| 4.2 | 269M| 62 | 7 | 172 | 23 | 172 | 23 | 20 | 97k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1669.84/1670.43 c 1540s| 3110k|374545 | 12986k| 4.2 | 270M| 62 | 7 | 172 | 24 | 172 | 23 | 20 | 97k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1674.53/1675.15 c 1545s| 3120k|375367 | 13020k| 4.2 | 270M| 62 | 7 | 172 | 23 | 172 | 23 | 20 | 97k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1679.33/1679.91 c 1549s| 3130k|375503 | 13055k| 4.2 | 270M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 98k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1684.13/1684.73 c 1553s| 3140k|375808 | 13091k| 4.2 | 271M| 62 | 7 | 172 | 21 | 172 | 23 | 20 | 98k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1688.94/1689.54 c 1558s| 3150k|376074 | 13126k| 4.2 | 271M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 98k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1693.82/1694.43 c 1562s| 3160k|376669 | 13163k| 4.2 | 272M| 62 | 7 | 172 | 21 | 172 | 23 | 20 | 99k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1698.62/1699.25 c 1567s| 3170k|376827 | 13198k| 4.2 | 272M| 62 | 7 | 172 | 22 | 172 | 23 | 20 | 99k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1703.52/1704.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1703.52/1704.11 c 1571s| 3180k|377147 | 13235k| 4.2 | 272M| 62 | - | 172 | 26 | 172 | 23 | 20 | 100k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1708.32/1708.96 c 1576s| 3190k|377165 | 13271k| 4.2 | 273M| 62 | 7 | 172 | 23 | 172 | 23 | 20 | 100k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1713.12/1713.74 c 1580s| 3200k|377476 | 13305k| 4.2 | 273M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 100k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1718.01/1718.63 c 1585s| 3210k|377908 | 13342k| 4.2 | 273M| 62 | - | 172 | 21 | 172 | 23 | 20 | 101k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1722.81/1723.44 c 1589s| 3220k|378215 | 13378k| 4.2 | 274M| 62 | - | 172 | 21 | 172 | 23 | 20 | 101k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1727.81/1728.46 c 1594s| 3230k|378893 | 13417k| 4.2 | 274M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 101k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1732.81/1733.46 c 1598s| 3240k|379928 | 13456k| 4.2 | 275M| 62 | 7 | 172 | 22 | 172 | 23 | 20 | 102k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1737.81/1738.43 c 1603s| 3250k|380744 | 13495k| 4.2 | 276M| 62 | - | 172 | 21 | 172 | 23 | 20 | 102k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1742.71/1743.38 c 1608s| 3260k|381169 | 13534k| 4.2 | 276M| 62 | - | 172 | 24 | 172 | 23 | 20 | 102k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1747.70/1748.37 c 1612s| 3270k|381223 | 13573k| 4.2 | 277M| 62 | - | 172 | 21 | 0 | 0 | 20 | 102k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1752.71/1753.35 c 1617s| 3280k|381287 | 13611k| 4.1 | 277M| 62 | - | 172 | 24 | 172 | 23 | 20 | 103k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1757.71/1758.31 c 1621s| 3290k|381268 | 13649k| 4.1 | 277M| 62 | - | 172 | 23 | 172 | 23 | 20 | 103k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1762.61/1763.25 c 1626s| 3300k|381290 | 13687k| 4.1 | 277M| 62 | - | 172 | 22 | 0 | 0 | 20 | 103k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1767.50/1768.10 c 1630s| 3310k|381434 | 13724k| 4.1 | 278M| 62 | - | 172 | 20 | 172 | 23 | 20 | 103k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1772.30/1772.90 c 1635s| 3320k|381386 | 13760k| 4.1 | 278M| 62 | - | 172 | 24 | 0 | 0 | 20 | 104k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1777.19/1777.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1777.19/1777.87 c 1639s| 3330k|382197 | 13799k| 4.1 | 279M| 62 | - | 172 | 24 | 0 | 0 | 20 | 104k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1782.10/1782.79 c 1644s| 3340k|382703 | 13836k| 4.1 | 279M| 62 | - | 172 | 23 | 172 | 23 | 20 | 104k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1787.09/1787.76 c 1648s| 3350k|382797 | 13874k| 4.1 | 279M| 62 | - | 172 | 21 | 172 | 23 | 20 | 105k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1791.89/1792.53 c 1653s| 3360k|383268 | 13909k| 4.1 | 280M| 62 | - | 172 | 20 | 172 | 23 | 20 | 105k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1796.69/1797.40 c 1657s| 3370k|383826 | 13946k| 4.1 | 280M| 62 | - | 172 | 16 | 0 | 0 | 20 | 105k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1800.01/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.61 c
1800.01/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.61 c Solving Time (sec) : 1660.30
1800.01/1800.61 c Solving Nodes : 3376302
1800.01/1800.61 c Primal Bound : +1.00000000000000e+01 (69 solutions)
1800.01/1800.61 c Dual Bound : +0.00000000000000e+00
1800.01/1800.61 c Gap : infinite
1800.01/1800.61 s SATISFIABLE
1800.01/1800.61 v x172 x171 -x170 x169 x168 x167 x166 x165 x164 x163 x162 -x161 -x160 -x159 -x158 x157 x156 -x155 x154 -x153 -x152 x151 -x150 -x149
1800.01/1800.61 v x148 x147 x146 -x145 x144 -x143 -x142 -x141 x140 -x139 x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 x129 x128 -x127
1800.01/1800.61 v x126 x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 x117 -x116 x115 x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.01/1800.61 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81
1800.01/1800.61 v -x80 -x79 -x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55
1800.01/1800.61 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30
1800.01/1800.61 v -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4
1800.01/1800.61 v -x3 x2 -x1
1800.01/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.61 c Solving Time : 1660.30
1800.01/1800.61 c Original Problem :
1800.01/1800.61 c Problem name : HOME/instance-2667102-1276618564.opb
1800.01/1800.61 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.61 c Constraints : 14 initial, 14 maximal
1800.01/1800.61 c Presolved Problem :
1800.01/1800.61 c Problem name : t_HOME/instance-2667102-1276618564.opb
1800.01/1800.61 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.61 c Constraints : 7 initial, 78 maximal
1800.01/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.61 c linear : 0.00 0 0 0 0 0 7 0 0
1800.01/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c root node : - 56 - - 56 - - - -
1800.01/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.61 c integral : 0 0 0 1937939 0 478 6127 0 0 3863024
1800.01/1800.61 c linear : 7+ 7 4988884 0 0 439720 2972308 0 0 0
1800.01/1800.61 c logicor : 0+ 0 655609 0 0 1941 34644 0 0 0
1800.01/1800.61 c countsols : 0 0 0 43 0 0 0 0 0 0
1800.01/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.61 c integral : 30.54 0.00 0.00 30.54 0.00
1800.01/1800.61 c linear : 406.18 0.00 406.18 0.00 0.00
1800.01/1800.61 c logicor : 1.51 0.00 1.51 0.00 0.00
1800.01/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.61 c vbounds : 2.58 2 0 0
1800.01/1800.61 c rootredcost : 2.31 65 0 56
1800.01/1800.61 c pseudoobj : 44.91 4992684 3951 480952
1800.01/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.61 c propagation : 33.66 444051 95170 111964 59.9 11 39.1 -
1800.01/1800.61 c infeasible LP : 0.97 12002 11278 15576 40.9 0 0.0 0
1800.01/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.61 c pseudo solution : 0.00 8 8 8 2.5 0 0.0 -
1800.01/1800.61 c applied globally : - - - 4365 26.9 - - -
1800.01/1800.61 c applied locally : - - - 101486 58.3 - - -
1800.01/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.61 c cut pool : 0.00 5 - - 2 - (maximal pool size: 49)
1800.01/1800.61 c redcost : 67.82 2770625 0 16703279 0 0
1800.01/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.01/1800.61 c intobj : 0.00 0 0 0 0 0
1800.01/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.61 c gomory : 0.00 6 0 0 0 0
1800.01/1800.61 c strongcg : 0.02 6 0 0 17 0
1800.01/1800.61 c cmir : 0.02 6 0 0 12 0
1800.01/1800.61 c flowcover : 0.05 6 0 0 23 0
1800.01/1800.61 c clique : 0.00 1 0 0 0 0
1800.01/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.61 c mcf : 0.00 1 0 0 0 0
1800.01/1800.61 c rapidlearning : 0.09 1 0 0 0 52
1800.01/1800.61 c Pricers : Time Calls Vars
1800.01/1800.61 c problem variables: 0.00 0 0
1800.01/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.61 c relpscost : 27.85 1937896 478 6127 0 0 3863024
1800.01/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.01/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.61 c random : 0.00 0 0 0 0 0 0
1800.01/1800.61 c Primal Heuristics : Time Calls Found
1800.01/1800.61 c LP solutions : 0.42 - 43
1800.01/1800.61 c pseudo solutions : 0.00 - 0
1800.01/1800.61 c feaspump : 0.35 1 0
1800.01/1800.61 c oneopt : 2.29 63 0
1800.01/1800.61 c crossover : 22.52 20 0
1800.01/1800.61 c fracdiving : 12.16 3316 7
1800.01/1800.61 c veclendiving : 7.34 3316 3
1800.01/1800.61 c linesearchdiving : 8.77 3316 3
1800.01/1800.61 c guideddiving : 9.90 3316 3
1800.01/1800.61 c coefdiving : 20.02 3317 0
1800.01/1800.61 c pscostdiving : 12.19 3317 5
1800.01/1800.61 c objpscostdiving : 3.60 1659 0
1800.01/1800.61 c trivial : 0.00 2 0
1800.01/1800.61 c simplerounding : 1.68 0 0
1800.01/1800.61 c zirounding : 1.94 1000 0
1800.01/1800.61 c rounding : 2.90 20488 0
1800.01/1800.61 c shifting : 10.05 9167 1
1800.01/1800.61 c intshifting : 0.17 0 0
1800.01/1800.61 c twoopt : 0.00 0 0
1800.01/1800.61 c fixandinfer : 0.00 0 0
1800.01/1800.61 c intdiving : 0.00 0 0
1800.01/1800.61 c actconsdiving : 0.00 0 0
1800.01/1800.61 c rootsoldiving : 5.72 1089 3
1800.01/1800.61 c octane : 0.00 0 0
1800.01/1800.61 c rens : 0.08 1 0
1800.01/1800.61 c rins : 0.00 0 0
1800.01/1800.61 c localbranching : 0.00 0 0
1800.01/1800.61 c mutation : 0.00 0 0
1800.01/1800.61 c dins : 0.00 0 0
1800.01/1800.61 c undercover : 0.00 0 0
1800.01/1800.61 c nlp : 1.45 0 0
1800.01/1800.61 c trysol : 3.04 0 0
1800.01/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.61 c dual LP : 631.70 3144010 13275225 4.22 21015.08
1800.01/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.61 c diving/probing LP: 39.62 305766 695979 2.28 17566.36
1800.01/1800.61 c strong branching : 7.39 28970 90727 3.13 12277.00
1800.01/1800.61 c (at root node) : - 9 326 36.22 -
1800.01/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.61 c B&B Tree :
1800.01/1800.61 c number of runs : 1
1800.01/1800.61 c nodes : 3376302
1800.01/1800.61 c nodes (total) : 3376302
1800.01/1800.61 c nodes left : 384994
1800.01/1800.61 c max depth : 62
1800.01/1800.61 c max depth (total): 62
1800.01/1800.61 c backtracks : 705653 (20.9%)
1800.01/1800.61 c delayed cutoffs : 19460
1800.01/1800.61 c repropagations : 35490 (132355 domain reductions, 19448 cutoffs)
1800.01/1800.61 c avg switch length: 5.69
1800.01/1800.61 c switching time : 112.18
1800.01/1800.62 c Solution :
1800.01/1800.62 c Solutions found : 69 (65 improvements)
1800.01/1800.62 c First Solution : +1.12600000000000e+03 (in run 1, after 1 nodes, 0.11 seconds, depth 0, found by <trysol>)
1800.01/1800.62 c Primal Bound : +1.00000000000000e+01 (in run 1, after 2568118 nodes, 1290.55 seconds, depth 42, found by <relaxation>)
1800.01/1800.62 c Dual Bound : +0.00000000000000e+00
1800.01/1800.62 c Gap : infinite
1800.01/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.62 c Root Iterations : 102
1801.79/1802.40 c Time complete: 1801.79.
OK 10
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667102-1276618564/watcher-2667102-1276618564 -o /tmp/evaluation-result-2667102-1276618564/solver-2667102-1276618564 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667102-1276618564.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 2/106 2189 /proc/meminfo: memFree=1781480/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=6692 CPUtime=0 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 794 0 0 0 0 0 0 0 25 0 1 0 35508253 6852608 713 1992294400 4194304 8223781 140735203708080 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2189/statm: 1673 723 338 984 0 686 0 [startup+0.0760359 s] /proc/loadavg: 1.00 1.00 1.00 2/106 2189 /proc/meminfo: memFree=1781480/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=20564 CPUtime=0.06 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 4892 0 0 0 5 1 0 0 18 0 1 0 35508253 21057536 3922 1992294400 4194304 8223781 140735203708080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 5141 3922 565 984 0 4154 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 20564 [startup+0.10104 s] /proc/loadavg: 1.00 1.00 1.00 2/106 2189 /proc/meminfo: memFree=1781480/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=20844 CPUtime=0.09 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 4931 0 0 0 8 1 0 0 18 0 1 0 35508253 21344256 3961 1992294400 4194304 8223781 140735203708080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 5211 3961 565 984 0 4224 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20844 [startup+0.301077 s] /proc/loadavg: 1.00 1.00 1.00 2/106 2189 /proc/meminfo: memFree=1781480/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=21360 CPUtime=0.29 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 8060 0 0 0 25 4 0 0 18 0 1 0 35508253 21872640 4248 1992294400 4194304 8223781 140735203708080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 5340 4248 585 984 0 4353 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21360 [startup+0.701149 s] /proc/loadavg: 1.00 1.00 1.00 2/106 2189 /proc/meminfo: memFree=1781480/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=14648 CPUtime=0.69 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 8067 0 0 0 63 6 0 0 18 0 1 0 35508253 14999552 2841 1992294400 4194304 8223781 140735203708080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 3662 2841 588 984 0 2675 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14648 [startup+1.50129 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2190 /proc/meminfo: memFree=1771800/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=14648 CPUtime=1.49 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 9097 0 0 0 137 12 0 0 20 0 1 0 35508253 14999552 2843 1992294400 4194304 8223781 140735203708080 18446744073709551615 4978358 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 3662 2843 589 984 0 2675 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14648 [startup+3.10159 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2190 /proc/meminfo: memFree=1771552/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=15360 CPUtime=3.09 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 11700 0 0 0 284 25 0 0 25 0 1 0 35508253 15728640 3029 1992294400 4194304 8223781 140735203708080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 3840 3029 589 984 0 2853 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15360 [startup+6.30117 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2192 /proc/meminfo: memFree=1769196/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=17104 CPUtime=6.29 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 13973 0 0 0 582 47 0 0 25 0 1 0 35508253 17514496 3457 1992294400 4194304 8223781 140735203708080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 4276 3457 589 984 0 3289 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17104 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2192 /proc/meminfo: memFree=1764236/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=20268 CPUtime=12.69 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 19732 0 0 0 1169 100 0 0 25 0 1 0 35508253 20754432 4295 1992294400 4194304 8223781 140735203708080 18446744073709551615 5434324 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 5067 4295 589 984 0 4080 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20268 [startup+25.5007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2192 /proc/meminfo: memFree=1752704/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=35220 CPUtime=25.48 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 32780 0 0 0 2349 199 0 0 25 0 1 0 35508253 36065280 7738 1992294400 4194304 8223781 140735203708080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 8805 7738 589 984 0 7818 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 35220 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2192 /proc/meminfo: memFree=1744644/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=40724 CPUtime=51.07 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 54648 0 0 0 4698 409 0 0 25 0 1 0 35508253 41701376 9523 1992294400 4194304 8223781 140735203708080 18446744073709551615 4978371 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 10181 9523 589 984 0 9194 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 40724 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2194 /proc/meminfo: memFree=1715380/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=71892 CPUtime=102.27 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 77245 0 0 0 9428 799 0 0 25 0 1 0 35508253 73617408 16936 1992294400 4194304 8223781 140735203708080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 17973 16936 591 984 0 16986 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 71892 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2196 /proc/meminfo: memFree=1688100/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=98096 CPUtime=162.23 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 104913 0 0 0 14956 1267 0 0 25 0 1 0 35508253 100450304 23631 1992294400 4194304 8223781 140735203708080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 24524 23631 591 984 0 23537 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 98096 [startup+222.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2196 /proc/meminfo: memFree=1675204/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=110440 CPUtime=222.22 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 128769 0 0 0 20472 1750 0 0 25 0 1 0 35508253 113090560 26775 1992294400 4194304 8223781 140735203708080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 27610 26775 591 984 0 26623 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 110440 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2198 /proc/meminfo: memFree=1669500/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=116024 CPUtime=282.2 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 139975 0 0 0 25998 2222 0 0 25 0 1 0 35508253 118808576 28190 1992294400 4194304 8223781 140735203708080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 29006 28190 591 984 0 28019 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 116024 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2200 /proc/meminfo: memFree=1667648/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=118492 CPUtime=342.18 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 146081 0 0 0 31518 2700 0 0 25 0 1 0 35508253 121335808 28780 1992294400 4194304 8223781 140735203708080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 29623 28780 591 984 0 28636 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 118492 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2203 /proc/meminfo: memFree=1662192/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=123596 CPUtime=402.16 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 149472 0 0 0 37052 3164 0 0 25 0 1 0 35508253 126562304 30103 1992294400 4194304 8223781 140735203708080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 30899 30103 591 984 0 29912 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 123596 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2205 /proc/meminfo: memFree=1655496/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=131156 CPUtime=462.14 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 151395 0 0 0 42600 3614 0 0 25 0 1 0 35508253 134303744 32026 1992294400 4194304 8223781 140735203708080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 32789 32026 591 984 0 31802 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 131156 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2205 /proc/meminfo: memFree=1648924/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=137800 CPUtime=522.12 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 153669 0 0 0 48154 4058 0 0 25 0 1 0 35508253 141107200 33694 1992294400 4194304 8223781 140735203708080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 34450 33694 591 984 0 33463 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 137800 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2207 /proc/meminfo: memFree=1639500/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=146176 CPUtime=582.1 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 155810 0 0 0 53694 4516 0 0 25 0 1 0 35508253 149684224 35835 1992294400 4194304 8223781 140735203708080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 36544 35835 591 984 0 35557 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 146176 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2209 /proc/meminfo: memFree=1629952/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=154708 CPUtime=642.08 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 158006 0 0 0 59223 4985 0 0 25 0 1 0 35508253 158420992 38031 1992294400 4194304 8223781 140735203708080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 38677 38031 591 984 0 37690 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 154708 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2219 /proc/meminfo: memFree=1546996/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=239124 CPUtime=1001.95 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 180255 0 0 0 92412 7783 0 0 25 0 1 0 35508253 244862976 58552 1992294400 4194304 8223781 140735203708080 18446744073709551615 4981198 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 59781 58552 591 984 0 58794 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 239124 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2221 /proc/meminfo: memFree=1535836/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=250052 CPUtime=1061.94 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 183009 0 0 0 97946 8248 0 0 25 0 1 0 35508253 256053248 61306 1992294400 4194304 8223781 140735203708080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 62513 61306 591 984 0 61526 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 250052 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2221 /proc/meminfo: memFree=1526660/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=258656 CPUtime=1121.91 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 185830 0 0 0 103488 8703 0 0 25 0 1 0 35508253 264863744 63526 1992294400 4194304 8223781 140735203708080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 64664 63526 591 984 0 63677 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 258656 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2223 /proc/meminfo: memFree=1518848/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=266464 CPUtime=1181.9 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 187795 0 0 0 109024 9166 0 0 25 0 1 0 35508253 272859136 65491 1992294400 4194304 8223781 140735203708080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 66616 65491 591 984 0 65629 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 266464 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2226 /proc/meminfo: memFree=1506324/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=278400 CPUtime=1241.88 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 190843 0 0 0 114556 9632 0 0 25 0 1 0 35508253 285081600 68539 1992294400 4194304 8223781 140735203708080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 69600 68539 591 984 0 68613 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 278400 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2228 /proc/meminfo: memFree=1495288/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=289096 CPUtime=1301.86 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 193543 0 0 0 120089 10097 0 0 25 0 1 0 35508253 296034304 71239 1992294400 4194304 8223781 140735203708080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 72274 71239 591 984 0 71287 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 289096 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2230 /proc/meminfo: memFree=1489832/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=294424 CPUtime=1361.83 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 194899 0 0 0 125619 10564 0 0 25 0 1 0 35508253 301490176 72595 1992294400 4194304 8223781 140735203708080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 73606 72595 591 984 0 72619 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 294424 [startup+1422.31 s] /proc/loadavg: 1.07 1.02 1.00 2/107 2234 /proc/meminfo: memFree=1482764/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=300268 CPUtime=1421.82 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 208091 0 0 0 131144 11038 0 0 25 0 1 0 35508253 307474432 74092 1992294400 4194304 8223781 140735203708080 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 75067 74092 591 984 0 74080 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 300268 [startup+1482.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 2236 /proc/meminfo: memFree=1482764/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=300268 CPUtime=1481.79 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 213459 0 0 0 136662 11517 0 0 25 0 1 0 35508253 307474432 74092 1992294400 4194304 8223781 140735203708080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 75067 74092 591 984 0 74080 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 300268 [startup+1542.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 2238 /proc/meminfo: memFree=1481400/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=302336 CPUtime=1541.78 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 214545 0 0 0 142202 11976 0 0 25 0 1 0 35508253 309592064 74579 1992294400 4194304 8223781 140735203708080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 75584 74579 591 984 0 74597 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 302336 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2240 /proc/meminfo: memFree=1475076/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=308548 CPUtime=1601.76 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 216143 0 0 0 147743 12433 0 0 25 0 1 0 35508253 315953152 76177 1992294400 4194304 8223781 140735203708080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 77137 76177 591 984 0 76150 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 308548 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2242 /proc/meminfo: memFree=1469744/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=313788 CPUtime=1661.74 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 218080 0 0 0 153280 12894 0 0 25 0 1 0 35508253 321318912 77514 1992294400 4194304 8223781 140735203708080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 78447 77514 591 984 0 77460 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 313788 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2242 /proc/meminfo: memFree=1466272/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=317404 CPUtime=1721.71 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 218983 0 0 0 158808 13363 0 0 25 0 1 0 35508253 325021696 78417 1992294400 4194304 8223781 140735203708080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 79351 78417 591 984 0 78364 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 317404 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2244 /proc/meminfo: memFree=1460196/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=322744 CPUtime=1781.69 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 220367 0 0 0 164342 13827 0 0 25 0 1 0 35508253 330489856 79801 1992294400 4194304 8223781 140735203708080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 80686 79801 591 984 0 79699 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 322744 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2244 /proc/meminfo: memFree=1458832/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=324100 CPUtime=1800.01 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 220714 0 0 0 166031 13970 0 0 25 0 1 0 35508253 331878400 80148 1992294400 4194304 8223781 140735203708080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2189/statm: 81025 80148 591 984 0 80038 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 324100 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2244 /proc/meminfo: memFree=1458832/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=324100 CPUtime=1800.79 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 220716 0 0 0 166109 13970 0 0 25 0 1 0 35508253 331878400 80150 1992294400 4194304 8223781 140735203708080 18446744073709551615 4616186 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2189/statm: 81025 80150 593 984 0 80038 0 Current children cumulated CPU time (s) 1800.79 Current children cumulated vsize (KiB) 324100 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 2245 /proc/meminfo: memFree=1458824/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=320808 CPUtime=1801.59 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 220716 0 0 0 166189 13970 0 0 25 0 1 0 35508253 328507392 79328 1992294400 4194304 8223781 140735203708080 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2189/statm: 80202 79328 593 984 0 79215 0 Current children cumulated CPU time (s) 1801.59 Current children cumulated vsize (KiB) 320808 [startup+1802.4 s] /proc/loadavg: 1.00 1.00 1.00 2/108 2245 /proc/meminfo: memFree=1458824/2059040 swapFree=4140328/4192956 [pid=2189] ppid=2187 vsize=49268 CPUtime=1801.79 /proc/2189/stat : 2189 (pbscip.linux.x8) R 2187 2189 1650 0 -1 4202496 220716 0 0 0 166206 13973 0 0 25 0 1 0 35508253 50450432 11731 1992294400 4194304 8223781 140735203708080 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2189/statm: 12207 11679 593 984 0 11220 0 Current children cumulated CPU time (s) 1801.79 Current children cumulated vsize (KiB) 49268 Child status: 0 Real time (s): 1802.41 CPU time (s): 1801.81 CPU user time (s): 1662.07 CPU system time (s): 139.74 CPU usage (%): 99.9665 Max. virtual memory (cumulated for all children) (KiB): 324100 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1662.07 system time used= 139.74 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 220720 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= 2 involuntary context switches= 2763 runsolver used 3.04154 second user time and 8.5337 second system time The end
Begin job on node027 at 2010-06-15 18:16:04 IDJOB=2667102 IDBENCH=2932 IDSOLVER=1169 FILE ID=node027/2667102-1276618564 PBS_JOBID= 11172291 Free space on /tmp= 62536 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_3.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2667102-1276618564/watcher-2667102-1276618564 -o /tmp/evaluation-result-2667102-1276618564/solver-2667102-1276618564 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667102-1276618564.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 474916db0f2f0be5831d97827cee8e55 RANDOM SEED=229844079 node027.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 2800.261 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5600.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 2800.261 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1782008 kB Buffers: 68856 kB Cached: 127932 kB SwapCached: 6128 kB Active: 96468 kB Inactive: 113888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1782008 kB SwapTotal: 4192956 kB SwapFree: 4140328 kB Dirty: 4500 kB Writeback: 0 kB AnonPages: 11716 kB Mapped: 13084 kB Slab: 44796 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182960 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62528 MiB End job on node027 at 2010-06-15 18:46:07