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) | 12 | 1802.02 | 1802.49 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_1.opb |
| MD5SUM | 7b9886d41278c23acb93039c546a310e |
| 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 | 1801.33 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 13 |
| 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 | 73 |
| Maximum length of a constraint | 75 |
| 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 | 1488 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4975 |
| 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-2667085-1276614658.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 = 1800
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 | 35 | - | 561k| 0 | 7 | 172 | 7 | 172 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 o 1409
0.09/0.14 c y 0.1s| 1 | 0 | 88 | - | 612k| 0 | 7 | 172 | 7 | 172 | 7 | 0 | 0 | 0 | 0.000000e+00 | 1.409000e+03 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 93 | - | 722k| 0 | 11 | 172 | 57 | 172 | 12 | 5 | 0 | 0 | 0.000000e+00 | 1.409000e+03 | Inf
0.09/0.16 c 0.1s| 1 | 0 | 104 | - | 786k| 0 | 12 | 172 | 57 | 172 | 16 | 9 | 0 | 0 | 0.000000e+00 | 1.409000e+03 | Inf
0.09/0.17 c 0.1s| 1 | 0 | 119 | - | 823k| 0 | 14 | 172 | 57 | 172 | 19 | 12 | 0 | 0 | 0.000000e+00 | 1.409000e+03 | Inf
0.09/0.18 c 0.2s| 1 | 0 | 127 | - | 837k| 0 | 15 | 172 | 57 | 172 | 21 | 14 | 0 | 0 | 0.000000e+00 | 1.409000e+03 | Inf
0.19/0.20 c 0.2s| 1 | 0 | 140 | - | 858k| 0 | 16 | 172 | 57 | 172 | 23 | 16 | 0 | 0 | 0.000000e+00 | 1.409000e+03 | Inf
0.19/0.26 c 0.2s| 1 | 2 | 140 | - | 859k| 0 | 16 | 172 | 57 | 172 | 23 | 16 | 0 | 9 | 0.000000e+00 | 1.409000e+03 | Inf
0.39/0.41 o 269
0.39/0.41 c p 0.4s| 41 | 42 | 464 | 8.1 | 968k| 26 | - | 172 | 57 | 172 | 16 | 16 | 3 | 209 | 0.000000e+00 | 2.690000e+02 | Inf
1.09/1.11 o 172
1.09/1.11 c f 1.0s| 769 | 749 | 5257 | 6.7 |1304k| 49 | - | 172 | 61 | 172 | 16 | 16 | 28 | 529 | 0.000000e+00 | 1.720000e+02 | Inf
3.79/3.83 o 128
3.79/3.83 c p 3.5s| 3842 | 3765 | 27471 | 7.1 |2772k| 55 | - | 172 | 66 | 172 | 16 | 16 | 165 | 679 | 0.000000e+00 | 1.280000e+02 | Inf
5.59/5.64 o 81
5.59/5.64 c g 5.2s| 5998 | 5742 | 42428 | 7.1 |3579k| 55 | - | 172 | 20 | 172 | 16 | 16 | 281 | 711 | 0.000000e+00 | 8.100000e+01 | Inf
5.99/6.04 o 63
5.99/6.04 c g 5.5s| 6303 | 5723 | 45664 | 7.2 |3585k| 55 | - | 172 | 20 | 172 | 16 | 16 | 299 | 718 | 0.000000e+00 | 6.300000e+01 | Inf
8.80/8.81 o 62
8.80/8.81 c v 8.1s| 9689 | 8711 | 67243 | 6.9 |5058k| 55 | - | 172 | 19 | 172 | 16 | 16 | 466 | 982 | 0.000000e+00 | 6.200000e+01 | Inf
9.09/9.13 c 8.4s| 10000 | 8982 | 70088 | 7.0 |5188k| 55 | 7 | 172 | 19 | 172 | 16 | 16 | 495 | 990 | 0.000000e+00 | 6.200000e+01 | Inf
16.29/16.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.29/16.37 c 15.1s| 20000 | 16797 |130494 | 6.5 |9793k| 55 | 7 | 172 | 38 | 172 | 16 | 16 |1112 |1611 | 0.000000e+00 | 6.200000e+01 | Inf
23.29/23.33 c 21.5s| 30000 | 24499 |190023 | 6.3 | 14M| 55 | 7 | 172 | 36 | 172 | 16 | 16 |1745 |2083 | 0.000000e+00 | 6.200000e+01 | Inf
30.29/30.39 c 28.1s| 40000 | 32088 |251009 | 6.3 | 19M| 55 | 7 | 172 | 41 | 172 | 16 | 16 |2443 |2495 | 0.000000e+00 | 6.200000e+01 | Inf
37.48/37.59 c 34.7s| 50000 | 39142 |314603 | 6.3 | 24M| 55 | 7 | 172 | 62 | 172 | 16 | 16 |3381 |2878 | 0.000000e+00 | 6.200000e+01 | Inf
39.58/39.67 o 42
39.58/39.67 c g36.7s| 52910 | 35512 |332450 | 6.3 | 20M| 55 | - | 172 | 56 | 172 | 16 | 16 |3654 |2982 | 0.000000e+00 | 4.200000e+01 | Inf
39.98/40.08 o 41
39.98/40.08 c v37.0s| 53525 | 35525 |335882 | 6.3 | 20M| 55 | - | 172 | 55 | 172 | 16 | 16 |3720 |3003 | 0.000000e+00 | 4.100000e+01 | Inf
42.28/42.32 o 40
42.28/42.32 c *39.1s| 56659 | 37012 |354433 | 6.3 | 21M| 55 | - | 172 | 52 | 172 | 16 | 16 |3976 |3131 | 0.000000e+00 | 4.000000e+01 | Inf
43.28/43.35 o 38
43.28/43.35 c *40.1s| 58287 | 37134 |362468 | 6.2 | 21M| 55 | - | 172 | 52 | 172 | 16 | 16 |4123 |3193 | 0.000000e+00 | 3.800000e+01 | Inf
43.28/43.36 o 36
43.28/43.36 c *40.1s| 58289 | 36444 |362468 | 6.2 | 20M| 55 | - | 172 | 52 | 172 | 16 | 16 |4123 |3195 | 0.000000e+00 | 3.600000e+01 | Inf
44.48/44.50 c 41.1s| 60000 | 37291 |371195 | 6.2 | 21M| 55 | - | 172 | 44 | 172 | 16 | 16 |4285 |3246 | 0.000000e+00 | 3.600000e+01 | Inf
49.87/49.95 o 34
49.87/49.95 c *46.2s| 68494 | 40491 |414854 | 6.1 | 24M| 55 | - | 172 | 41 | 172 | 16 | 16 |5025 |3516 | 0.000000e+00 | 3.400000e+01 | Inf
50.78/50.87 c 47.0s| 70000 | 40994 |421680 | 6.0 | 25M| 55 | - | 172 | 40 | 0 | 0 | 16 |5155 |3580 | 0.000000e+00 | 3.400000e+01 | Inf
53.57/53.67 o 32
53.57/53.67 c *49.6s| 74556 | 35241 |444307 | 6.0 | 21M| 55 | - | 172 | 34 | 172 | 16 | 16 |5494 |3716 | 0.000000e+00 | 3.200000e+01 | Inf
53.57/53.67 o 30
53.57/53.67 c *49.6s| 74558 | 34815 |444308 | 6.0 | 21M| 55 | - | 172 | 29 | 172 | 16 | 16 |5494 |3719 | 0.000000e+00 | 3.000000e+01 | Inf
56.87/56.96 c 52.7s| 80000 | 37120 |472552 | 5.9 | 22M| 55 | 7 | 172 | 32 | 172 | 16 | 16 |5951 |3877 | 0.000000e+00 | 3.000000e+01 | Inf
63.27/63.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.27/63.33 c 58.6s| 90000 | 41897 |526694 | 5.9 | 26M| 55 | 7 | 172 | 29 | 172 | 16 | 16 |6746 |4164 | 0.000000e+00 | 3.000000e+01 | Inf
69.28/69.35 c 64.2s|100000 | 46227 |578297 | 5.8 | 29M| 55 | - | 172 | 30 | 0 | 0 | 16 |7645 |4380 | 0.000000e+00 | 3.000000e+01 | Inf
75.07/75.17 c 69.5s|110000 | 50374 |628600 | 5.7 | 32M| 55 | - | 172 | 33 | 0 | 0 | 16 |8473 |4575 | 0.000000e+00 | 3.000000e+01 | Inf
81.28/81.35 c 75.2s|120000 | 54671 |682644 | 5.7 | 35M| 55 | - | 172 | 30 | 172 | 16 | 16 |9335 |4785 | 0.000000e+00 | 3.000000e+01 | Inf
87.27/87.37 c 80.8s|130000 | 59000 |735462 | 5.7 | 38M| 55 | - | 172 | 25 | 0 | 0 | 16 | 10k|4971 | 0.000000e+00 | 3.000000e+01 | Inf
93.27/93.33 c 86.3s|140000 | 63034 |787761 | 5.6 | 41M| 55 | 7 | 172 | 28 | 172 | 16 | 16 | 10k|5173 | 0.000000e+00 | 3.000000e+01 | Inf
99.36/99.45 c 91.9s|150000 | 67575 |841020 | 5.6 | 44M| 55 | 7 | 172 | 26 | 172 | 16 | 16 | 11k|5343 | 0.000000e+00 | 3.000000e+01 | Inf
105.07/105.18 c 97.2s|160000 | 71280 |889743 | 5.6 | 47M| 55 | 7 | 172 | 22 | 172 | 16 | 16 | 12k|5513 | 0.000000e+00 | 3.000000e+01 | Inf
110.76/110.84 c 102s|170000 | 74702 |938765 | 5.5 | 49M| 55 | - | 172 | 20 | 172 | 16 | 16 | 13k|5677 | 0.000000e+00 | 3.000000e+01 | Inf
116.46/116.56 c 108s|180000 | 77944 |988754 | 5.5 | 52M| 57 | - | 172 | 23 | 172 | 16 | 16 | 14k|5852 | 0.000000e+00 | 3.000000e+01 | Inf
118.16/118.24 o 28
118.16/118.24 c * 109s|182914 | 78381 | 1002k| 5.5 | 52M| 57 | - | 172 | 22 | 172 | 16 | 16 | 14k|5908 | 0.000000e+00 | 2.800000e+01 | Inf
118.16/118.25 o 26
118.16/118.25 c * 109s|182915 | 77395 | 1002k| 5.5 | 50M| 57 | - | 172 | 22 | 172 | 16 | 16 | 14k|5908 | 0.000000e+00 | 2.600000e+01 | Inf
123.96/124.04 c 114s|190000 | 79556 | 1035k| 5.5 | 52M| 57 | 7 | 172 | 21 | 172 | 16 | 16 | 15k|6011 | 0.000000e+00 | 2.600000e+01 | Inf
131.36/131.49 c 121s|200000 | 82389 | 1084k| 5.4 | 54M| 57 | 7 | 172 | 25 | 172 | 16 | 16 | 15k|6162 | 0.000000e+00 | 2.600000e+01 | Inf
136.95/137.08 c 126s|210000 | 85423 | 1132k| 5.4 | 56M| 57 | 7 | 172 | 27 | 172 | 16 | 16 | 16k|6314 | 0.000000e+00 | 2.600000e+01 | Inf
142.55/142.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
142.55/142.69 c 132s|220000 | 88367 | 1181k| 5.4 | 59M| 57 | 7 | 172 | 22 | 172 | 16 | 16 | 17k|6460 | 0.000000e+00 | 2.600000e+01 | Inf
144.66/144.70 o 24
144.66/144.70 c * 133s|223712 | 87968 | 1198k| 5.4 | 58M| 57 | - | 172 | 25 | 172 | 16 | 16 | 17k|6518 | 0.000000e+00 | 2.400000e+01 | Inf
144.66/144.71 o 22
144.66/144.71 c * 133s|223717 | 86276 | 1198k| 5.4 | 56M| 57 | - | 172 | 25 | 172 | 16 | 16 | 17k|6521 | 0.000000e+00 | 2.200000e+01 | Inf
147.55/147.62 o 21
147.55/147.62 c * 136s|225002 | 85679 | 1204k| 5.4 | 55M| 57 | - | 172 | 23 | 172 | 16 | 16 | 17k|6530 | 0.000000e+00 | 2.100000e+01 | Inf
147.55/147.63 o 19
147.55/147.63 c * 136s|225003 | 83443 | 1204k| 5.4 | 52M| 57 | - | 172 | 23 | 172 | 16 | 16 | 17k|6530 | 0.000000e+00 | 1.900000e+01 | Inf
150.15/150.25 c 138s|230000 | 84534 | 1226k| 5.3 | 53M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 18k|6596 | 0.000000e+00 | 1.900000e+01 | Inf
155.45/155.57 c 143s|240000 | 86742 | 1271k| 5.3 | 55M| 57 | - | 172 | 20 | 172 | 16 | 16 | 18k|6742 | 0.000000e+00 | 1.900000e+01 | Inf
160.95/161.01 c 148s|250000 | 89843 | 1316k| 5.3 | 57M| 57 | - | 172 | 23 | 172 | 16 | 16 | 19k|6894 | 0.000000e+00 | 1.900000e+01 | Inf
166.25/166.38 c 153s|260000 | 92326 | 1360k| 5.2 | 59M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 20k|7024 | 0.000000e+00 | 1.900000e+01 | Inf
171.45/171.55 c 158s|270000 | 94399 | 1402k| 5.2 | 61M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 20k|7176 | 0.000000e+00 | 1.900000e+01 | Inf
176.55/176.65 c 163s|280000 | 96318 | 1444k| 5.2 | 62M| 57 | 7 | 172 | 21 | 172 | 16 | 16 | 21k|7310 | 0.000000e+00 | 1.900000e+01 | Inf
181.74/181.82 c 168s|290000 | 98546 | 1486k| 5.1 | 64M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 22k|7446 | 0.000000e+00 | 1.900000e+01 | Inf
187.04/187.10 c 172s|300000 |100922 | 1531k| 5.1 | 66M| 57 | 7 | 172 | 21 | 172 | 16 | 16 | 23k|7577 | 0.000000e+00 | 1.900000e+01 | Inf
192.45/192.51 c 177s|310000 |103762 | 1576k| 5.1 | 68M| 57 | - | 172 | 17 | 172 | 16 | 16 | 23k|7695 | 0.000000e+00 | 1.900000e+01 | Inf
197.64/197.78 c 182s|320000 |106495 | 1620k| 5.1 | 70M| 57 | - | 172 | 17 | 172 | 16 | 16 | 24k|7824 | 0.000000e+00 | 1.900000e+01 | Inf
203.03/203.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
203.03/203.19 c 187s|330000 |109228 | 1665k| 5.0 | 72M| 57 | - | 172 | 22 | 172 | 16 | 16 | 25k|7948 | 0.000000e+00 | 1.900000e+01 | Inf
208.63/208.70 c 192s|340000 |112232 | 1713k| 5.0 | 74M| 57 | - | 172 | 18 | 172 | 16 | 16 | 25k|8065 | 0.000000e+00 | 1.900000e+01 | Inf
214.04/214.13 c 197s|350000 |114703 | 1759k| 5.0 | 76M| 57 | - | 172 | 17 | 172 | 16 | 16 | 26k|8199 | 0.000000e+00 | 1.900000e+01 | Inf
219.84/219.90 c 203s|360000 |117797 | 1809k| 5.0 | 78M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 27k|8303 | 0.000000e+00 | 1.900000e+01 | Inf
225.33/225.45 c 208s|370000 |121200 | 1856k| 5.0 | 81M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 27k|8417 | 0.000000e+00 | 1.900000e+01 | Inf
230.73/230.82 c 213s|380000 |123946 | 1902k| 5.0 | 83M| 57 | - | 172 | 18 | 172 | 16 | 16 | 28k|8550 | 0.000000e+00 | 1.900000e+01 | Inf
231.23/231.35 o 18
231.23/231.35 c * 213s|380989 |122984 | 1906k| 5.0 | 81M| 57 | - | 172 | 17 | 172 | 16 | 16 | 28k|8565 | 0.000000e+00 | 1.800000e+01 | Inf
231.23/231.38 o 16
231.23/231.38 c * 213s|380990 |114735 | 1906k| 5.0 | 75M| 57 | - | 172 | 17 | 172 | 16 | 16 | 28k|8565 | 0.000000e+00 | 1.600000e+01 | Inf
236.13/236.21 c 218s|390000 |116984 | 1950k| 5.0 | 76M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 29k|8728 | 0.000000e+00 | 1.600000e+01 | Inf
241.23/241.32 c 223s|400000 |119175 | 1996k| 5.0 | 78M| 57 | - | 172 | 16 | 172 | 16 | 16 | 29k|8893 | 0.000000e+00 | 1.600000e+01 | Inf
246.34/246.49 c 227s|410000 |121164 | 2043k| 5.0 | 79M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 30k|9057 | 0.000000e+00 | 1.600000e+01 | Inf
252.03/252.12 c 233s|420000 |124501 | 2094k| 5.0 | 81M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 31k|9211 | 0.000000e+00 | 1.600000e+01 | Inf
257.52/257.65 c 238s|430000 |127858 | 2143k| 5.0 | 83M| 57 | 7 | 172 | 21 | 172 | 16 | 16 | 32k|9345 | 0.000000e+00 | 1.600000e+01 | Inf
263.12/263.20 c 243s|440000 |131344 | 2193k| 5.0 | 85M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 32k|9466 | 0.000000e+00 | 1.600000e+01 | Inf
268.23/268.38 c 248s|450000 |134106 | 2240k| 5.0 | 87M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 33k|9593 | 0.000000e+00 | 1.600000e+01 | Inf
273.32/273.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
273.32/273.49 c 252s|460000 |136419 | 2287k| 5.0 | 88M| 57 | - | 172 | 21 | 172 | 16 | 16 | 34k|9717 | 0.000000e+00 | 1.600000e+01 | Inf
278.52/278.62 c 257s|470000 |139268 | 2333k| 5.0 | 90M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 34k|9824 | 0.000000e+00 | 1.600000e+01 | Inf
283.72/283.81 c 262s|480000 |141805 | 2381k| 5.0 | 91M| 57 | - | 172 | 19 | 0 | 0 | 16 | 35k|9928 | 0.000000e+00 | 1.600000e+01 | Inf
290.62/290.78 c 268s|490000 |144001 | 2425k| 5.0 | 93M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 36k| 10k| 0.000000e+00 | 1.600000e+01 | Inf
295.72/295.84 c 273s|500000 |146143 | 2471k| 4.9 | 94M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 37k| 10k| 0.000000e+00 | 1.600000e+01 | Inf
300.71/300.80 c 277s|510000 |147963 | 2516k| 4.9 | 96M| 57 | - | 172 | 19 | 172 | 16 | 16 | 37k| 10k| 0.000000e+00 | 1.600000e+01 | Inf
305.61/305.76 c 282s|520000 |149835 | 2561k| 4.9 | 97M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 38k| 10k| 0.000000e+00 | 1.600000e+01 | Inf
310.51/310.61 c 286s|530000 |151423 | 2604k| 4.9 | 98M| 57 | 7 | 172 | 21 | 172 | 16 | 16 | 39k| 10k| 0.000000e+00 | 1.600000e+01 | Inf
315.41/315.53 c 291s|540000 |153047 | 2648k| 4.9 | 99M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 40k| 10k| 0.000000e+00 | 1.600000e+01 | Inf
320.20/320.35 c 295s|550000 |154607 | 2691k| 4.9 | 100M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 40k| 10k| 0.000000e+00 | 1.600000e+01 | Inf
325.21/325.31 c 300s|560000 |156762 | 2736k| 4.9 | 102M| 57 | - | 172 | 21 | 172 | 16 | 16 | 41k| 10k| 0.000000e+00 | 1.600000e+01 | Inf
330.00/330.16 c 304s|570000 |158195 | 2780k| 4.9 | 103M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 42k| 10k| 0.000000e+00 | 1.600000e+01 | Inf
335.10/335.22 c 309s|580000 |160202 | 2824k| 4.9 | 104M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 43k| 11k| 0.000000e+00 | 1.600000e+01 | Inf
340.00/340.14 c 313s|590000 |162391 | 2868k| 4.9 | 105M| 57 | 7 | 172 | 20 | 172 | 16 | 16 | 43k| 11k| 0.000000e+00 | 1.600000e+01 | Inf
344.80/344.99 c 318s|600000 |163959 | 2910k| 4.9 | 107M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 44k| 11k| 0.000000e+00 | 1.600000e+01 | Inf
349.71/349.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
349.71/349.81 c 322s|610000 |165443 | 2953k| 4.8 | 108M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 45k| 11k| 0.000000e+00 | 1.600000e+01 | Inf
354.50/354.69 c 327s|620000 |166849 | 2997k| 4.8 | 109M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 46k| 11k| 0.000000e+00 | 1.600000e+01 | Inf
359.40/359.52 c 331s|630000 |168033 | 3040k| 4.8 | 110M| 57 | - | 172 | 16 | 172 | 16 | 16 | 46k| 11k| 0.000000e+00 | 1.600000e+01 | Inf
364.30/364.41 c 336s|640000 |169058 | 3084k| 4.8 | 111M| 57 | - | 172 | 16 | 0 | 0 | 16 | 47k| 11k| 0.000000e+00 | 1.600000e+01 | Inf
369.69/369.81 c 341s|650000 |172030 | 3133k| 4.8 | 112M| 57 | 7 | 172 | 24 | 172 | 16 | 16 | 48k| 11k| 0.000000e+00 | 1.600000e+01 | Inf
374.80/374.92 c 346s|660000 |174377 | 3180k| 4.8 | 114M| 57 | - | 172 | 19 | 0 | 0 | 16 | 49k| 11k| 0.000000e+00 | 1.600000e+01 | Inf
379.79/379.94 c 350s|670000 |176605 | 3227k| 4.8 | 116M| 57 | - | 172 | 16 | 172 | 16 | 16 | 49k| 11k| 0.000000e+00 | 1.600000e+01 | Inf
384.80/384.93 c 355s|680000 |178345 | 3273k| 4.8 | 117M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 50k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
389.69/389.81 c 359s|690000 |179863 | 3317k| 4.8 | 118M| 57 | - | 172 | 19 | 172 | 16 | 16 | 51k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
394.59/394.78 c 364s|700000 |181308 | 3362k| 4.8 | 119M| 57 | - | 172 | 18 | 172 | 16 | 16 | 52k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
399.49/399.65 c 368s|710000 |182832 | 3406k| 4.8 | 120M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 53k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
404.39/404.50 c 373s|720000 |184041 | 3450k| 4.8 | 121M| 57 | 7 | 172 | 20 | 172 | 16 | 16 | 53k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
409.29/409.44 c 377s|730000 |185724 | 3495k| 4.8 | 122M| 57 | - | 172 | 18 | 0 | 0 | 16 | 54k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
414.18/414.30 c 382s|740000 |187016 | 3539k| 4.8 | 124M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 55k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
419.18/419.33 c 387s|750000 |188240 | 3585k| 4.8 | 125M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 56k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
423.98/424.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
423.98/424.18 c 391s|760000 |189520 | 3630k| 4.8 | 126M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 56k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
429.08/429.20 c 396s|770000 |191116 | 3675k| 4.8 | 127M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 57k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
433.98/434.18 c 400s|780000 |193262 | 3720k| 4.8 | 128M| 57 | 7 | 172 | 23 | 172 | 16 | 16 | 58k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
438.88/439.06 c 405s|790000 |194940 | 3764k| 4.8 | 129M| 57 | 7 | 172 | 21 | 172 | 16 | 16 | 59k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
443.78/443.99 c 409s|800000 |196340 | 3809k| 4.8 | 130M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 59k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
448.97/449.14 c 414s|810000 |198978 | 3856k| 4.8 | 132M| 57 | - | 172 | 18 | 172 | 16 | 16 | 60k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
454.18/454.34 c 419s|820000 |201710 | 3903k| 4.8 | 134M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 61k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
459.18/459.39 c 423s|830000 |204076 | 3949k| 4.8 | 135M| 57 | - | 172 | 18 | 172 | 16 | 16 | 62k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
464.17/464.33 c 428s|840000 |206067 | 3994k| 4.8 | 137M| 57 | - | 172 | 19 | 172 | 16 | 16 | 62k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
469.17/469.33 c 433s|850000 |208096 | 4040k| 4.8 | 138M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 63k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
474.27/474.40 c 437s|860000 |210083 | 4086k| 4.8 | 140M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 64k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
479.16/479.35 c 442s|870000 |211698 | 4132k| 4.7 | 141M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 64k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
484.17/484.37 c 446s|880000 |214030 | 4176k| 4.7 | 142M| 57 | - | 172 | 16 | 172 | 16 | 16 | 65k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
489.16/489.34 c 451s|890000 |215940 | 4221k| 4.7 | 144M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 66k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
494.07/494.27 c 456s|900000 |217839 | 4266k| 4.7 | 145M| 57 | 7 | 172 | 21 | 172 | 16 | 16 | 66k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
498.96/499.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
498.96/499.16 c 460s|910000 |219471 | 4309k| 4.7 | 146M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 67k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
504.06/504.20 c 465s|920000 |221989 | 4353k| 4.7 | 148M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 68k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
508.96/509.13 c 469s|930000 |223730 | 4398k| 4.7 | 149M| 57 | - | 172 | 15 | 172 | 16 | 16 | 69k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
513.95/514.15 c 474s|940000 |225734 | 4445k| 4.7 | 150M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 69k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
518.97/519.14 c 479s|950000 |227465 | 4490k| 4.7 | 152M| 57 | - | 172 | 17 | 0 | 0 | 16 | 70k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
523.95/524.16 c 483s|960000 |229339 | 4536k| 4.7 | 153M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 71k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
528.96/529.17 c 488s|970000 |231281 | 4583k| 4.7 | 154M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 72k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
533.95/534.17 c 492s|980000 |232823 | 4629k| 4.7 | 155M| 57 | - | 172 | 19 | 172 | 16 | 16 | 72k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
538.86/539.05 c 497s|990000 |234184 | 4673k| 4.7 | 157M| 57 | - | 172 | 15 | 172 | 16 | 16 | 73k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
543.75/543.98 c 502s| 1000k|235396 | 4717k| 4.7 | 158M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 74k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
548.65/548.89 c 506s| 1010k|237260 | 4761k| 4.7 | 159M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 74k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
553.74/553.99 c 511s| 1020k|239781 | 4808k| 4.7 | 160M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 75k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
558.75/558.95 c 515s| 1030k|241614 | 4853k| 4.7 | 162M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 76k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
563.65/563.88 c 520s| 1040k|243246 | 4898k| 4.7 | 163M| 57 | - | 172 | 16 | 172 | 16 | 16 | 77k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
568.55/568.72 c 524s| 1050k|244601 | 4941k| 4.7 | 164M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 78k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
573.44/573.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
573.44/573.63 c 529s| 1060k|245936 | 4986k| 4.7 | 165M| 57 | - | 172 | 15 | 172 | 16 | 16 | 78k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
578.35/578.51 c 533s| 1070k|247221 | 5029k| 4.7 | 166M| 57 | - | 172 | 16 | 172 | 16 | 16 | 79k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
583.24/583.42 c 538s| 1080k|248556 | 5074k| 4.7 | 167M| 57 | - | 172 | 18 | 172 | 16 | 16 | 80k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
588.24/588.45 c 543s| 1090k|250205 | 5120k| 4.7 | 169M| 57 | - | 172 | 15 | 172 | 16 | 16 | 81k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
593.14/593.32 c 547s| 1100k|251748 | 5165k| 4.7 | 170M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 81k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
597.94/598.17 c 551s| 1110k|253056 | 5209k| 4.7 | 171M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 82k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
603.13/603.36 c 556s| 1120k|255961 | 5255k| 4.7 | 172M| 57 | - | 172 | 16 | 172 | 16 | 16 | 83k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
608.43/608.64 c 561s| 1130k|258969 | 5303k| 4.7 | 174M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 84k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
613.54/613.79 c 566s| 1140k|261628 | 5349k| 4.7 | 176M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 84k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
618.53/618.73 c 570s| 1150k|263923 | 5394k| 4.7 | 177M| 57 | - | 172 | 17 | 0 | 0 | 16 | 85k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
623.53/623.71 c 575s| 1160k|266283 | 5438k| 4.7 | 179M| 57 | - | 172 | 19 | 172 | 16 | 16 | 86k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
628.33/628.60 c 579s| 1170k|268291 | 5482k| 4.7 | 180M| 57 | - | 172 | 17 | 172 | 16 | 16 | 86k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
633.33/633.52 c 584s| 1180k|270610 | 5526k| 4.7 | 181M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 87k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
638.23/638.47 c 589s| 1190k|272619 | 5570k| 4.7 | 183M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 88k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
643.12/643.31 c 593s| 1200k|274251 | 5613k| 4.7 | 184M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 89k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
647.92/648.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
647.92/648.18 c 598s| 1210k|276008 | 5657k| 4.7 | 185M| 57 | - | 172 | 18 | 172 | 16 | 16 | 89k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
652.92/653.14 c 602s| 1220k|277852 | 5702k| 4.7 | 186M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 90k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
653.92/654.15 o 15
653.92/654.15 c * 603s| 1222k|276716 | 5711k| 4.7 | 184M| 57 | - | 172 | 17 | 172 | 16 | 16 | 90k| 16k| 0.000000e+00 | 1.500000e+01 | Inf
653.92/654.18 o 13
653.92/654.18 c * 603s| 1222k|272070 | 5711k| 4.7 | 177M| 57 | - | 172 | 17 | 172 | 16 | 16 | 90k| 16k| 0.000000e+00 | 1.300000e+01 | Inf
661.42/661.67 c 610s| 1230k|273328 | 5744k| 4.7 | 178M| 57 | - | 172 | 17 | 0 | 0 | 16 | 91k| 16k| 0.000000e+00 | 1.300000e+01 | Inf
666.22/666.43 c 614s| 1240k|275141 | 5785k| 4.7 | 179M| 57 | - | 172 | 18 | 172 | 16 | 16 | 92k| 16k| 0.000000e+00 | 1.300000e+01 | Inf
670.92/671.18 c 618s| 1250k|276763 | 5825k| 4.7 | 180M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 92k| 16k| 0.000000e+00 | 1.300000e+01 | Inf
675.62/675.86 c 623s| 1260k|278191 | 5866k| 4.7 | 181M| 57 | 7 | 172 | 22 | 172 | 16 | 16 | 93k| 16k| 0.000000e+00 | 1.300000e+01 | Inf
680.42/680.60 c 627s| 1270k|279544 | 5907k| 4.7 | 182M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 94k| 16k| 0.000000e+00 | 1.300000e+01 | Inf
685.21/685.40 c 632s| 1280k|281099 | 5949k| 4.6 | 183M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 95k| 16k| 0.000000e+00 | 1.300000e+01 | Inf
689.91/690.13 c 636s| 1290k|282601 | 5993k| 4.6 | 184M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 95k| 16k| 0.000000e+00 | 1.300000e+01 | Inf
694.61/694.89 c 640s| 1300k|283999 | 6035k| 4.6 | 185M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 96k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
699.42/699.67 c 645s| 1310k|285423 | 6077k| 4.6 | 186M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 97k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
704.31/704.50 c 649s| 1320k|287121 | 6120k| 4.6 | 187M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 98k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
709.11/709.36 c 654s| 1330k|288929 | 6164k| 4.6 | 189M| 57 | - | 172 | 15 | 172 | 16 | 16 | 98k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
713.91/714.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
713.91/714.12 c 658s| 1340k|290192 | 6205k| 4.6 | 190M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 99k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
718.61/718.85 c 662s| 1350k|291069 | 6247k| 4.6 | 190M| 57 | - | 172 | 19 | 172 | 16 | 16 | 100k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
723.40/723.70 c 667s| 1360k|292276 | 6290k| 4.6 | 191M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 101k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
728.20/728.49 c 671s| 1370k|294104 | 6333k| 4.6 | 193M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 101k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
732.90/733.13 c 676s| 1380k|295208 | 6374k| 4.6 | 193M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 102k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
737.60/737.88 c 680s| 1390k|296373 | 6416k| 4.6 | 194M| 57 | - | 172 | 15 | 172 | 16 | 16 | 103k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
742.50/742.74 c 684s| 1400k|297763 | 6461k| 4.6 | 195M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 104k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
747.30/747.56 c 689s| 1410k|299023 | 6504k| 4.6 | 196M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 105k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
752.00/752.26 c 693s| 1420k|300169 | 6546k| 4.6 | 197M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 105k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
756.70/756.98 c 697s| 1430k|301732 | 6587k| 4.6 | 198M| 57 | - | 172 | 15 | 0 | 0 | 16 | 106k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
761.29/761.55 c 702s| 1440k|303033 | 6626k| 4.6 | 199M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 107k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
765.89/766.19 c 706s| 1450k|304029 | 6666k| 4.6 | 200M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 108k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
770.59/770.82 c 710s| 1460k|305171 | 6705k| 4.6 | 201M| 57 | - | 172 | 16 | 172 | 16 | 16 | 108k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
775.20/775.45 c 714s| 1470k|306207 | 6745k| 4.6 | 202M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 109k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
779.99/780.24 c 719s| 1480k|306923 | 6788k| 4.6 | 202M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 110k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
784.69/784.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
784.69/784.94 c 723s| 1490k|307561 | 6829k| 4.6 | 203M| 57 | - | 172 | 18 | 172 | 16 | 16 | 111k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
789.38/789.63 c 728s| 1500k|308969 | 6869k| 4.6 | 204M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 112k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
793.99/794.28 c 732s| 1510k|310010 | 6908k| 4.6 | 205M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 112k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
798.69/798.97 c 736s| 1520k|311286 | 6948k| 4.6 | 206M| 57 | - | 172 | 18 | 172 | 16 | 16 | 113k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
803.28/803.56 c 740s| 1530k|312443 | 6987k| 4.6 | 207M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 114k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
807.98/808.20 c 745s| 1540k|313330 | 7026k| 4.6 | 207M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 115k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
812.59/812.89 c 749s| 1550k|314509 | 7066k| 4.6 | 208M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 116k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
817.38/817.60 c 753s| 1560k|315407 | 7106k| 4.6 | 209M| 57 | - | 172 | 16 | 172 | 16 | 16 | 116k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
822.07/822.32 c 758s| 1570k|316322 | 7147k| 4.6 | 210M| 57 | - | 172 | 16 | 172 | 16 | 16 | 117k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
826.78/827.03 c 762s| 1580k|317466 | 7188k| 4.5 | 211M| 57 | 7 | 172 | 20 | 172 | 16 | 16 | 118k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
831.38/831.68 c 766s| 1590k|318005 | 7227k| 4.5 | 211M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 119k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
836.08/836.35 c 771s| 1600k|318767 | 7267k| 4.5 | 212M| 57 | 7 | 172 | 25 | 172 | 16 | 16 | 120k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
840.77/841.03 c 775s| 1610k|319484 | 7307k| 4.5 | 213M| 57 | - | 172 | 15 | 172 | 16 | 16 | 121k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
845.47/845.75 c 779s| 1620k|320154 | 7347k| 4.5 | 213M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 121k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
850.17/850.46 c 784s| 1630k|320875 | 7388k| 4.5 | 214M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 122k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
854.87/855.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
854.87/855.13 c 788s| 1640k|321509 | 7428k| 4.5 | 215M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 123k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
859.46/859.70 c 792s| 1650k|322437 | 7468k| 4.5 | 215M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 124k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
864.16/864.41 c 796s| 1660k|322884 | 7508k| 4.5 | 216M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 125k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
868.77/869.05 c 801s| 1670k|323520 | 7548k| 4.5 | 217M| 57 | - | 172 | 16 | 172 | 16 | 16 | 125k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
873.36/873.67 c 805s| 1680k|324751 | 7587k| 4.5 | 217M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 126k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
877.96/878.24 c 809s| 1690k|325661 | 7625k| 4.5 | 218M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 127k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
882.56/882.83 c 813s| 1700k|326280 | 7664k| 4.5 | 219M| 57 | - | 172 | 15 | 172 | 16 | 16 | 128k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
887.16/887.46 c 818s| 1710k|327130 | 7703k| 4.5 | 220M| 57 | - | 172 | 17 | 172 | 16 | 16 | 129k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
891.86/892.12 c 822s| 1720k|327659 | 7742k| 4.5 | 220M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 129k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
896.46/896.75 c 826s| 1730k|328673 | 7782k| 4.5 | 221M| 57 | - | 172 | 20 | 172 | 16 | 16 | 130k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
901.16/901.41 c 831s| 1740k|329514 | 7821k| 4.5 | 222M| 57 | - | 172 | 15 | 172 | 16 | 16 | 131k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
905.76/906.04 c 835s| 1750k|330050 | 7860k| 4.5 | 222M| 57 | - | 172 | 15 | 172 | 16 | 16 | 132k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
910.46/910.71 c 839s| 1760k|330544 | 7899k| 4.5 | 223M| 57 | - | 172 | 17 | 172 | 16 | 16 | 133k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
915.16/915.41 c 844s| 1770k|331439 | 7940k| 4.5 | 224M| 57 | - | 172 | 18 | 172 | 16 | 16 | 133k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
919.75/920.05 c 848s| 1780k|332158 | 7979k| 4.5 | 224M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 134k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
924.45/924.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
924.45/924.73 c 852s| 1790k|332939 | 8019k| 4.5 | 225M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 135k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
929.05/929.38 c 856s| 1800k|333637 | 8058k| 4.5 | 226M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 136k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
933.75/934.05 c 861s| 1810k|334123 | 8098k| 4.5 | 226M| 57 | - | 172 | 16 | 172 | 16 | 16 | 137k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
938.45/938.71 c 865s| 1820k|334691 | 8138k| 4.5 | 227M| 57 | - | 172 | 16 | 172 | 16 | 16 | 138k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
943.04/943.37 c 869s| 1830k|335235 | 8177k| 4.5 | 227M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 138k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
947.75/948.06 c 874s| 1840k|335621 | 8217k| 4.5 | 228M| 57 | - | 172 | 16 | 172 | 16 | 16 | 139k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
952.35/952.67 c 878s| 1850k|335984 | 8256k| 4.5 | 228M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 140k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
957.04/957.36 c 882s| 1860k|336534 | 8296k| 4.5 | 229M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 141k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
961.64/961.91 c 886s| 1870k|336944 | 8335k| 4.5 | 229M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 142k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
966.34/966.61 c 891s| 1880k|337613 | 8375k| 4.5 | 230M| 57 | - | 172 | 15 | 172 | 16 | 16 | 143k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
970.84/971.14 c 895s| 1890k|338270 | 8415k| 4.5 | 231M| 57 | - | 172 | 15 | 172 | 16 | 16 | 143k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
975.64/975.90 c 899s| 1900k|338906 | 8455k| 4.5 | 231M| 57 | 7 | 172 | 23 | 172 | 16 | 16 | 144k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
980.24/980.56 c 904s| 1910k|339559 | 8494k| 4.4 | 232M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 145k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
984.93/985.21 c 908s| 1920k|339968 | 8533k| 4.4 | 233M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 146k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
989.43/989.77 c 912s| 1930k|340502 | 8572k| 4.4 | 233M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 147k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
994.14/994.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
994.14/994.49 c 917s| 1940k|340936 | 8612k| 4.4 | 234M| 57 | - | 172 | 16 | 0 | 0 | 16 | 147k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
998.84/999.15 c 921s| 1950k|341991 | 8652k| 4.4 | 234M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 148k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
1003.53/1003.89 c 925s| 1960k|343600 | 8693k| 4.4 | 236M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 149k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
1008.13/1008.49 c 929s| 1970k|344863 | 8732k| 4.4 | 236M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 150k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
1012.74/1013.10 c 934s| 1980k|345765 | 8771k| 4.4 | 237M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 150k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
1017.43/1017.71 c 938s| 1990k|346572 | 8811k| 4.4 | 238M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 151k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
1022.03/1022.30 c 942s| 2000k|347203 | 8849k| 4.4 | 238M| 57 | - | 172 | 16 | 172 | 16 | 16 | 152k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
1026.53/1026.84 c 946s| 2010k|347675 | 8887k| 4.4 | 239M| 57 | - | 172 | 17 | 172 | 16 | 16 | 153k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
1031.12/1031.41 c 951s| 2020k|348036 | 8925k| 4.4 | 239M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 154k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
1035.62/1035.96 c 955s| 2030k|348355 | 8964k| 4.4 | 240M| 57 | - | 172 | 16 | 172 | 16 | 16 | 154k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
1040.22/1040.51 c 959s| 2040k|348766 | 9001k| 4.4 | 240M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 155k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
1044.73/1045.07 c 963s| 2050k|349003 | 9039k| 4.4 | 241M| 57 | - | 172 | 15 | 172 | 16 | 16 | 156k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
1049.21/1049.59 c 967s| 2060k|349407 | 9077k| 4.4 | 241M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 157k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
1053.92/1054.20 c 972s| 2070k|350100 | 9115k| 4.4 | 242M| 57 | - | 172 | 18 | 172 | 16 | 16 | 158k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1058.51/1058.86 c 976s| 2080k|351148 | 9156k| 4.4 | 243M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 159k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1063.12/1063.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1063.12/1063.47 c 980s| 2090k|352484 | 9196k| 4.4 | 244M| 57 | - | 172 | 15 | 172 | 16 | 16 | 159k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1067.62/1067.99 c 984s| 2100k|353014 | 9233k| 4.4 | 244M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 160k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1072.22/1072.56 c 988s| 2110k|353404 | 9272k| 4.4 | 245M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 161k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1076.81/1077.14 c 993s| 2120k|353738 | 9310k| 4.4 | 245M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 162k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1081.31/1081.69 c 997s| 2130k|353948 | 9348k| 4.4 | 246M| 57 | - | 172 | 16 | 0 | 0 | 16 | 163k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1085.91/1086.25 c 1001s| 2140k|354585 | 9385k| 4.4 | 246M| 57 | - | 172 | 15 | 0 | 0 | 16 | 163k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1090.51/1090.90 c 1005s| 2150k|355350 | 9425k| 4.4 | 247M| 57 | - | 172 | 15 | 172 | 16 | 16 | 164k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1095.21/1095.53 c 1010s| 2160k|355648 | 9463k| 4.4 | 247M| 57 | - | 172 | 17 | 172 | 16 | 16 | 165k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1099.80/1100.11 c 1014s| 2170k|356291 | 9501k| 4.4 | 248M| 57 | - | 172 | 15 | 172 | 16 | 16 | 166k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1104.40/1104.71 c 1018s| 2180k|356697 | 9539k| 4.4 | 248M| 57 | - | 172 | 20 | 172 | 16 | 16 | 167k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1109.00/1109.33 c 1022s| 2190k|357410 | 9578k| 4.4 | 249M| 57 | - | 172 | 15 | 172 | 16 | 16 | 168k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1113.60/1113.92 c 1027s| 2200k|357778 | 9616k| 4.4 | 249M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 168k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1118.20/1118.55 c 1031s| 2210k|358569 | 9655k| 4.4 | 250M| 57 | - | 172 | 15 | 172 | 16 | 16 | 169k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1122.89/1123.20 c 1035s| 2220k|359072 | 9693k| 4.4 | 251M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 170k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1127.50/1127.86 c 1039s| 2230k|359675 | 9732k| 4.4 | 251M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 171k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1132.09/1132.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1132.09/1132.46 c 1044s| 2240k|359945 | 9770k| 4.4 | 252M| 57 | - | 172 | 16 | 0 | 0 | 16 | 172k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1136.70/1137.06 c 1048s| 2250k|360308 | 9808k| 4.4 | 252M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 173k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1141.40/1141.71 c 1052s| 2260k|360476 | 9847k| 4.4 | 252M| 57 | - | 172 | 17 | 172 | 16 | 16 | 173k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1145.99/1146.35 c 1057s| 2270k|360955 | 9887k| 4.4 | 253M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 174k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1150.69/1151.05 c 1061s| 2280k|361659 | 9926k| 4.4 | 254M| 57 | - | 172 | 15 | 172 | 16 | 16 | 175k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1155.29/1155.68 c 1065s| 2290k|362317 | 9964k| 4.4 | 254M| 57 | - | 172 | 15 | 172 | 16 | 16 | 176k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1159.99/1160.32 c 1069s| 2300k|362393 | 10001k| 4.3 | 255M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 177k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1164.69/1165.00 c 1074s| 2310k|362784 | 10039k| 4.3 | 255M| 57 | - | 172 | 18 | 172 | 16 | 16 | 178k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1169.28/1169.61 c 1078s| 2320k|363259 | 10077k| 4.3 | 256M| 57 | - | 172 | 16 | 172 | 16 | 16 | 179k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1173.79/1174.15 c 1082s| 2330k|363616 | 10114k| 4.3 | 256M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 179k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1178.38/1178.77 c 1086s| 2340k|363883 | 10153k| 4.3 | 256M| 57 | - | 172 | 15 | 172 | 16 | 16 | 180k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1182.98/1183.34 c 1091s| 2350k|364123 | 10190k| 4.3 | 257M| 57 | - | 172 | 15 | 172 | 16 | 16 | 181k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1187.58/1187.97 c 1095s| 2360k|364473 | 10229k| 4.3 | 257M| 57 | 7 | 172 | 20 | 172 | 16 | 16 | 182k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1192.18/1192.55 c 1099s| 2370k|364781 | 10267k| 4.3 | 258M| 57 | - | 172 | 15 | 0 | 0 | 16 | 183k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1196.78/1197.13 c 1103s| 2380k|364976 | 10305k| 4.3 | 258M| 57 | - | 172 | 15 | 0 | 0 | 16 | 184k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1201.38/1201.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1201.38/1201.76 c 1108s| 2390k|365242 | 10344k| 4.3 | 259M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 184k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1206.07/1206.41 c 1112s| 2400k|366008 | 10383k| 4.3 | 259M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 185k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1210.68/1211.02 c 1116s| 2410k|366641 | 10423k| 4.3 | 260M| 57 | - | 172 | 19 | 0 | 0 | 16 | 186k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1215.27/1215.61 c 1120s| 2420k|366905 | 10462k| 4.3 | 260M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 187k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1219.87/1220.24 c 1125s| 2430k|367134 | 10500k| 4.3 | 261M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 188k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1224.47/1224.81 c 1129s| 2440k|367429 | 10538k| 4.3 | 261M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 188k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1229.07/1229.47 c 1133s| 2450k|367512 | 10577k| 4.3 | 261M| 57 | - | 172 | 17 | 0 | 0 | 16 | 189k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1233.67/1234.09 c 1137s| 2460k|367703 | 10615k| 4.3 | 262M| 57 | - | 172 | 15 | 172 | 16 | 16 | 190k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1238.37/1238.79 c 1142s| 2470k|368507 | 10655k| 4.3 | 262M| 57 | - | 172 | 16 | 172 | 16 | 16 | 191k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1243.16/1243.51 c 1146s| 2480k|369178 | 10695k| 4.3 | 263M| 57 | - | 172 | 16 | 172 | 16 | 16 | 192k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1247.77/1248.15 c 1150s| 2490k|369641 | 10735k| 4.3 | 264M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 192k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1252.48/1252.87 c 1155s| 2500k|369891 | 10774k| 4.3 | 264M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 193k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1257.06/1257.47 c 1159s| 2510k|370242 | 10812k| 4.3 | 264M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 194k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1261.67/1262.06 c 1163s| 2520k|370651 | 10850k| 4.3 | 265M| 57 | - | 172 | 16 | 172 | 16 | 16 | 195k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1266.26/1266.68 c 1167s| 2530k|370846 | 10889k| 4.3 | 265M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 196k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1270.96/1271.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1270.96/1271.31 c 1172s| 2540k|371470 | 10929k| 4.3 | 266M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 197k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1275.56/1275.95 c 1176s| 2550k|372553 | 10967k| 4.3 | 267M| 57 | - | 172 | 16 | 0 | 0 | 16 | 198k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1280.16/1280.56 c 1180s| 2560k|373150 | 11005k| 4.3 | 267M| 57 | - | 172 | 16 | 0 | 0 | 16 | 198k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1284.76/1285.19 c 1185s| 2570k|373363 | 11043k| 4.3 | 268M| 57 | - | 172 | 16 | 0 | 0 | 16 | 199k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1289.56/1289.97 c 1189s| 2580k|374795 | 11084k| 4.3 | 269M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 200k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1294.26/1294.63 c 1193s| 2590k|375567 | 11125k| 4.3 | 269M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 201k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1298.95/1299.31 c 1198s| 2600k|376396 | 11165k| 4.3 | 270M| 57 | - | 172 | 16 | 172 | 16 | 16 | 202k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1303.56/1303.99 c 1202s| 2610k|376809 | 11205k| 4.3 | 271M| 57 | - | 172 | 15 | 172 | 16 | 16 | 202k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1308.25/1308.64 c 1206s| 2620k|377076 | 11245k| 4.3 | 271M| 57 | - | 172 | 16 | 0 | 0 | 16 | 203k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1312.95/1313.33 c 1211s| 2630k|377445 | 11284k| 4.3 | 271M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 204k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1317.55/1317.98 c 1215s| 2640k|377671 | 11324k| 4.3 | 272M| 57 | - | 172 | 16 | 0 | 0 | 16 | 205k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1322.35/1322.70 c 1219s| 2650k|377866 | 11363k| 4.3 | 272M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 206k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1326.84/1327.29 c 1223s| 2660k|378481 | 11401k| 4.3 | 273M| 57 | - | 172 | 16 | 0 | 0 | 16 | 206k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1331.55/1331.91 c 1228s| 2670k|378841 | 11439k| 4.3 | 273M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 207k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1336.24/1336.62 c 1232s| 2680k|378989 | 11477k| 4.3 | 274M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 208k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1340.84/1341.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1340.84/1341.22 c 1236s| 2690k|379042 | 11514k| 4.3 | 274M| 57 | - | 172 | 20 | 0 | 0 | 16 | 209k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1345.54/1345.90 c 1241s| 2700k|379170 | 11554k| 4.3 | 274M| 57 | - | 172 | 17 | 172 | 16 | 16 | 210k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1350.14/1350.56 c 1245s| 2710k|379428 | 11593k| 4.3 | 275M| 57 | - | 172 | 17 | 0 | 0 | 16 | 211k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1354.85/1355.24 c 1249s| 2720k|379799 | 11633k| 4.3 | 275M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 211k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1359.54/1359.92 c 1253s| 2730k|379862 | 11672k| 4.3 | 275M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 212k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1364.13/1364.53 c 1258s| 2740k|380027 | 11710k| 4.3 | 276M| 57 | - | 172 | 18 | 172 | 16 | 16 | 213k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1368.84/1369.21 c 1262s| 2750k|380308 | 11749k| 4.3 | 276M| 57 | - | 172 | 15 | 172 | 16 | 16 | 214k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1373.44/1373.85 c 1266s| 2760k|380547 | 11788k| 4.3 | 276M| 57 | - | 172 | 16 | 172 | 16 | 16 | 215k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1378.13/1378.50 c 1270s| 2770k|381020 | 11829k| 4.3 | 277M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 216k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1382.73/1383.18 c 1275s| 2780k|381682 | 11869k| 4.3 | 277M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 216k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1387.43/1387.80 c 1279s| 2790k|381982 | 11907k| 4.3 | 278M| 57 | - | 172 | 17 | 0 | 0 | 16 | 217k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1392.03/1392.43 c 1283s| 2800k|382426 | 11945k| 4.3 | 278M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 218k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1396.73/1397.10 c 1288s| 2810k|382554 | 11984k| 4.3 | 279M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 219k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1401.32/1401.76 c 1292s| 2820k|383243 | 12023k| 4.3 | 279M| 57 | - | 172 | 15 | 172 | 16 | 16 | 220k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1405.92/1406.33 c 1296s| 2830k|383536 | 12060k| 4.3 | 280M| 57 | - | 172 | 16 | 172 | 16 | 16 | 220k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1410.52/1410.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1410.52/1410.93 c 1300s| 2840k|383907 | 12099k| 4.3 | 280M| 57 | - | 172 | 15 | 172 | 16 | 16 | 221k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1415.23/1415.64 c 1305s| 2850k|384243 | 12140k| 4.3 | 281M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 222k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1419.92/1420.34 c 1309s| 2860k|384713 | 12179k| 4.3 | 281M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 223k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1424.72/1425.19 c 1314s| 2870k|386933 | 12221k| 4.3 | 283M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 224k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1429.52/1429.92 c 1318s| 2880k|388616 | 12261k| 4.3 | 284M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 224k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1434.11/1434.58 c 1322s| 2890k|389785 | 12300k| 4.3 | 285M| 57 | - | 172 | 18 | 172 | 16 | 16 | 225k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1438.81/1439.27 c 1326s| 2900k|390840 | 12339k| 4.3 | 286M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 226k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1443.41/1443.86 c 1331s| 2910k|391838 | 12377k| 4.3 | 286M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 227k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1448.01/1448.45 c 1335s| 2920k|392397 | 12414k| 4.3 | 287M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 228k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1452.62/1453.10 c 1339s| 2930k|393349 | 12454k| 4.3 | 288M| 57 | - | 172 | 16 | 172 | 16 | 16 | 228k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1457.31/1457.76 c 1344s| 2940k|394167 | 12493k| 4.2 | 289M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 229k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1462.01/1462.45 c 1348s| 2950k|395117 | 12532k| 4.2 | 289M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 230k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1466.60/1467.07 c 1352s| 2960k|396062 | 12571k| 4.2 | 290M| 57 | - | 172 | 15 | 172 | 16 | 16 | 231k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1471.41/1471.80 c 1356s| 2970k|396933 | 12611k| 4.2 | 291M| 57 | - | 172 | 15 | 172 | 16 | 16 | 232k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1476.00/1476.44 c 1361s| 2980k|397487 | 12649k| 4.2 | 292M| 57 | - | 172 | 16 | 172 | 16 | 16 | 233k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1480.60/1481.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1480.60/1481.07 c 1365s| 2990k|398526 | 12688k| 4.2 | 292M| 57 | - | 172 | 16 | 172 | 16 | 16 | 233k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1485.20/1485.69 c 1369s| 3000k|399471 | 12727k| 4.2 | 293M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 234k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1489.80/1490.28 c 1374s| 3010k|399749 | 12764k| 4.2 | 294M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 235k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1494.41/1494.89 c 1378s| 3020k|400029 | 12802k| 4.2 | 294M| 57 | - | 172 | 17 | 172 | 16 | 16 | 236k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1499.10/1499.52 c 1382s| 3030k|400973 | 12841k| 4.2 | 295M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 236k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1503.70/1504.12 c 1386s| 3040k|401530 | 12878k| 4.2 | 295M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 237k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1508.30/1508.75 c 1391s| 3050k|401879 | 12916k| 4.2 | 296M| 57 | - | 172 | 19 | 172 | 16 | 16 | 238k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1512.90/1513.37 c 1395s| 3060k|402087 | 12954k| 4.2 | 296M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 239k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1517.60/1518.02 c 1399s| 3070k|402608 | 12993k| 4.2 | 297M| 57 | - | 172 | 15 | 172 | 16 | 16 | 240k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1522.19/1522.65 c 1403s| 3080k|402991 | 13031k| 4.2 | 297M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 241k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1526.79/1527.28 c 1408s| 3090k|403937 | 13071k| 4.2 | 298M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 241k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1531.49/1531.93 c 1412s| 3100k|404432 | 13110k| 4.2 | 299M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 242k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1536.09/1536.55 c 1416s| 3110k|405007 | 13149k| 4.2 | 299M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 243k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1540.70/1541.14 c 1420s| 3120k|405303 | 13187k| 4.2 | 300M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 244k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1545.19/1545.69 c 1425s| 3130k|406065 | 13225k| 4.2 | 300M| 57 | - | 172 | 16 | 172 | 16 | 16 | 245k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1549.89/1550.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1549.89/1550.34 c 1429s| 3140k|406184 | 13263k| 4.2 | 301M| 57 | - | 172 | 16 | 172 | 16 | 16 | 245k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1554.48/1554.94 c 1433s| 3150k|406465 | 13300k| 4.2 | 301M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 246k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1559.08/1559.52 c 1437s| 3160k|406740 | 13339k| 4.2 | 302M| 57 | - | 172 | 20 | 172 | 16 | 16 | 247k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1563.79/1564.21 c 1442s| 3170k|407154 | 13377k| 4.2 | 302M| 57 | - | 172 | 17 | 172 | 16 | 16 | 248k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1568.38/1568.84 c 1446s| 3180k|407303 | 13414k| 4.2 | 302M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 249k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1572.98/1573.44 c 1450s| 3190k|407854 | 13453k| 4.2 | 303M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 249k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1577.68/1578.14 c 1455s| 3200k|408703 | 13493k| 4.2 | 304M| 57 | - | 172 | 16 | 172 | 16 | 16 | 250k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1582.28/1582.78 c 1459s| 3210k|409039 | 13531k| 4.2 | 304M| 57 | - | 172 | 16 | 172 | 16 | 16 | 251k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1586.88/1587.40 c 1463s| 3220k|409179 | 13569k| 4.2 | 304M| 57 | - | 172 | 15 | 172 | 16 | 16 | 252k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1591.58/1592.03 c 1467s| 3230k|409409 | 13607k| 4.2 | 305M| 57 | - | 172 | 15 | 0 | 0 | 16 | 253k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1596.18/1596.69 c 1472s| 3240k|409484 | 13645k| 4.2 | 305M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 253k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1600.88/1601.31 c 1476s| 3250k|409867 | 13683k| 4.2 | 306M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 254k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1605.48/1605.91 c 1480s| 3260k|410260 | 13722k| 4.2 | 306M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 255k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1610.07/1610.52 c 1484s| 3270k|410456 | 13760k| 4.2 | 307M| 57 | - | 172 | 15 | 172 | 16 | 16 | 256k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1614.57/1615.07 c 1489s| 3280k|410664 | 13797k| 4.2 | 307M| 57 | - | 172 | 16 | 172 | 16 | 16 | 257k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1619.17/1619.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1619.17/1619.62 c 1493s| 3290k|411156 | 13835k| 4.2 | 307M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 257k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1623.76/1624.23 c 1497s| 3300k|411495 | 13874k| 4.2 | 308M| 57 | - | 172 | 15 | 172 | 16 | 16 | 258k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1628.37/1628.88 c 1501s| 3310k|411720 | 13912k| 4.2 | 308M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 259k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1633.07/1633.51 c 1506s| 3320k|412309 | 13951k| 4.2 | 309M| 57 | - | 172 | 18 | 0 | 0 | 16 | 260k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1637.66/1638.16 c 1510s| 3330k|412569 | 13989k| 4.2 | 309M| 57 | - | 172 | 15 | 172 | 16 | 16 | 261k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1642.36/1642.82 c 1514s| 3340k|412398 | 14028k| 4.2 | 309M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 262k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1646.96/1647.46 c 1518s| 3350k|412513 | 14067k| 4.2 | 310M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 262k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1651.66/1652.18 c 1523s| 3360k|413737 | 14106k| 4.2 | 311M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 263k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1656.46/1656.96 c 1527s| 3370k|415490 | 14147k| 4.2 | 312M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 264k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1661.16/1661.67 c 1532s| 3380k|416421 | 14187k| 4.2 | 313M| 57 | - | 172 | 17 | 0 | 0 | 16 | 265k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1665.86/1666.39 c 1536s| 3390k|417202 | 14227k| 4.2 | 313M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 266k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1670.55/1671.06 c 1540s| 3400k|417705 | 14265k| 4.2 | 314M| 57 | - | 172 | 15 | 172 | 16 | 16 | 266k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1675.26/1675.73 c 1545s| 3410k|418472 | 14304k| 4.2 | 315M| 57 | - | 172 | 18 | 172 | 16 | 16 | 267k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1679.86/1680.38 c 1549s| 3420k|418894 | 14342k| 4.2 | 315M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 268k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1684.56/1685.04 c 1553s| 3430k|419270 | 14381k| 4.2 | 316M| 57 | 7 | 172 | 20 | 172 | 16 | 16 | 269k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1689.35/1689.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1689.35/1689.82 c 1558s| 3440k|420145 | 14420k| 4.2 | 316M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 270k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1694.05/1694.51 c 1562s| 3450k|420574 | 14459k| 4.2 | 317M| 57 | - | 172 | 17 | 0 | 0 | 16 | 270k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1698.74/1699.29 c 1566s| 3460k|421723 | 14499k| 4.2 | 318M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 271k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1703.36/1703.89 c 1571s| 3470k|422495 | 14537k| 4.2 | 319M| 57 | - | 172 | 17 | 172 | 16 | 16 | 272k| 27k| 0.000000e+00 | 1.300000e+01 | Inf
1708.04/1708.54 c 1575s| 3480k|422712 | 14575k| 4.2 | 319M| 57 | - | 172 | 16 | 0 | 0 | 16 | 273k| 27k| 0.000000e+00 | 1.300000e+01 | Inf
1712.75/1713.23 c 1579s| 3490k|423043 | 14614k| 4.2 | 320M| 57 | - | 172 | 17 | 172 | 16 | 16 | 274k| 27k| 0.000000e+00 | 1.300000e+01 | Inf
1717.45/1717.90 c 1583s| 3500k|423507 | 14653k| 4.2 | 320M| 57 | - | 172 | 18 | 0 | 0 | 16 | 274k| 27k| 0.000000e+00 | 1.300000e+01 | Inf
1722.05/1722.54 c 1588s| 3510k|423800 | 14691k| 4.2 | 320M| 57 | - | 172 | 16 | 172 | 16 | 16 | 275k| 27k| 0.000000e+00 | 1.300000e+01 | Inf
1726.75/1727.23 c 1592s| 3520k|424994 | 14731k| 4.2 | 321M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 276k| 27k| 0.000000e+00 | 1.300000e+01 | Inf
1731.34/1731.88 c 1596s| 3530k|425387 | 14769k| 4.2 | 322M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 277k| 27k| 0.000000e+00 | 1.300000e+01 | Inf
1736.04/1736.55 c 1601s| 3540k|425547 | 14807k| 4.2 | 322M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 278k| 27k| 0.000000e+00 | 1.300000e+01 | Inf
1740.74/1741.29 c 1605s| 3550k|426203 | 14847k| 4.2 | 323M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 278k| 27k| 0.000000e+00 | 1.300000e+01 | Inf
1745.44/1745.91 c 1609s| 3560k|426388 | 14885k| 4.2 | 323M| 57 | 7 | 172 | 20 | 172 | 16 | 16 | 279k| 27k| 0.000000e+00 | 1.300000e+01 | Inf
1750.03/1750.54 c 1614s| 3570k|426408 | 14923k| 4.2 | 324M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 280k| 27k| 0.000000e+00 | 1.300000e+01 | Inf
1754.74/1755.20 c 1618s| 3580k|426975 | 14961k| 4.2 | 324M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 281k| 27k| 0.000000e+00 | 1.300000e+01 | Inf
1759.44/1759.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1759.44/1759.98 c 1622s| 3590k|427740 | 15004k| 4.2 | 325M| 57 | - | 172 | 15 | 0 | 0 | 16 | 282k| 27k| 0.000000e+00 | 1.300000e+01 | Inf
1764.23/1764.79 c 1627s| 3600k|428790 | 15047k| 4.2 | 326M| 57 | - | 172 | 16 | 172 | 16 | 16 | 282k| 27k| 0.000000e+00 | 1.300000e+01 | Inf
1769.03/1769.55 c 1631s| 3610k|429839 | 15088k| 4.2 | 327M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 283k| 27k| 0.000000e+00 | 1.300000e+01 | Inf
1773.93/1774.40 c 1636s| 3620k|430859 | 15130k| 4.2 | 328M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 284k| 27k| 0.000000e+00 | 1.300000e+01 | Inf
1778.14/1778.69 o 12
1778.14/1778.69 c *1640s| 3628k|428364 | 15167k| 4.2 | 322M| 57 | - | 172 | 15 | 172 | 16 | 16 | 284k| 27k| 0.000000e+00 | 1.200000e+01 | Inf
1778.73/1779.20 c 1640s| 3630k|428488 | 15171k| 4.2 | 322M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 284k| 27k| 0.000000e+00 | 1.200000e+01 | Inf
1787.03/1787.52 c 1648s| 3640k|429107 | 15211k| 4.2 | 323M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 285k| 27k| 0.000000e+00 | 1.200000e+01 | Inf
1791.72/1792.23 c 1652s| 3650k|429499 | 15251k| 4.2 | 323M| 57 | 7 | 172 | 20 | 172 | 16 | 16 | 286k| 27k| 0.000000e+00 | 1.200000e+01 | Inf
1796.52/1797.03 c 1656s| 3660k|429882 | 15292k| 4.2 | 324M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 286k| 27k| 0.000000e+00 | 1.200000e+01 | Inf
1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.50 c
1800.03/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.50 c Solving Time (sec) : 1659.57
1800.03/1800.50 c Solving Nodes : 3667341
1800.03/1800.50 c Primal Bound : +1.20000000000000e+01 (33 solutions)
1800.03/1800.50 c Dual Bound : +0.00000000000000e+00
1800.03/1800.50 c Gap : infinite
1800.03/1800.50 s SATISFIABLE
1800.03/1800.50 v x127 -x172 x171 x170 x169 -x168 x167 -x166 -x165 -x164 -x163 x162 -x161 x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 x152 -x151
1800.03/1800.50 v x150 -x149 -x148 x147 -x146 x145 x144 -x143 -x142 x141 x140 x139 -x138 x137 x136 x135 x134 -x133 x132 -x131 x130 -x129 x128
1800.03/1800.50 v x126 x125 -x124 -x123 -x122 x121 x120 x119 -x118 x117 -x116 x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.03/1800.50 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 -x80
1800.03/1800.50 v -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.03/1800.50 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.03/1800.50 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 -x3
1800.03/1800.50 v -x2 -x1
1800.03/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.50 c Solving Time : 1659.57
1800.03/1800.50 c Original Problem :
1800.03/1800.50 c Problem name : HOME/instance-2667085-1276614658.opb
1800.03/1800.50 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.50 c Constraints : 14 initial, 14 maximal
1800.03/1800.50 c Presolved Problem :
1800.03/1800.50 c Problem name : t_HOME/instance-2667085-1276614658.opb
1800.03/1800.50 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.50 c Constraints : 7 initial, 69 maximal
1800.03/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c probing : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.50 c linear : 0.00 0 0 0 0 0 7 0 0
1800.03/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c root node : - 56 - - 56 - - - -
1800.03/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.50 c integral : 0 0 0 2105278 0 382 4103 0 0 4201794
1800.03/1800.50 c linear : 7+ 7 5651599 2 0 664760 4497209 0 0 0
1800.03/1800.50 c logicor : 0+ 0 991217 0 0 4714 101121 0 0 0
1800.03/1800.50 c countsols : 0 0 0 17 0 0 0 0 0 0
1800.03/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.50 c integral : 28.89 0.00 0.00 28.89 0.00
1800.03/1800.50 c linear : 438.44 0.00 438.44 0.00 0.00
1800.03/1800.50 c logicor : 2.37 0.00 2.37 0.00 0.00
1800.03/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.50 c vbounds : 2.49 2 0 0
1800.03/1800.50 c rootredcost : 2.69 26 0 56
1800.03/1800.50 c pseudoobj : 48.36 5658175 6759 432182
1800.03/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.51 c propagation : 46.74 673551 278764 321755 57.9 21 35.1 -
1800.03/1800.51 c infeasible LP : 0.77 9478 9047 12453 39.9 0 0.0 0
1800.03/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c pseudo solution : 0.00 1 1 1 3.0 0 0.0 -
1800.03/1800.51 c applied globally : - - - 4535 26.4 - - -
1800.03/1800.51 c applied locally : - - - 282778 57.5 - - -
1800.03/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.51 c cut pool : 0.00 5 - - 12 - (maximal pool size: 67)
1800.03/1800.51 c redcost : 74.99 3025272 0 18733178 0 0
1800.03/1800.51 c impliedbounds : 0.00 6 0 0 0 0
1800.03/1800.51 c intobj : 0.00 0 0 0 0 0
1800.03/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.51 c gomory : 0.01 6 0 0 0 0
1800.03/1800.51 c strongcg : 0.00 6 0 0 19 0
1800.03/1800.51 c cmir : 0.03 6 0 0 24 0
1800.03/1800.51 c flowcover : 0.04 6 0 0 34 0
1800.03/1800.51 c clique : 0.00 1 0 0 0 0
1800.03/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.51 c mcf : 0.00 1 0 0 0 0
1800.03/1800.51 c rapidlearning : 0.09 1 0 0 0 50
1800.03/1800.51 c Pricers : Time Calls Vars
1800.03/1800.51 c problem variables: 0.00 0 0
1800.03/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.51 c relpscost : 26.45 2105261 382 4103 0 0 4201794
1800.03/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.51 c inference : 0.00 0 0 0 0 0 0
1800.03/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.51 c random : 0.00 0 0 0 0 0 0
1800.03/1800.51 c Primal Heuristics : Time Calls Found
1800.03/1800.51 c LP solutions : 0.22 - 17
1800.03/1800.51 c pseudo solutions : 0.00 - 0
1800.03/1800.51 c oneopt : 2.15 26 0
1800.03/1800.51 c feaspump : 0.30 3 0
1800.03/1800.51 c crossover : 15.16 10 0
1800.03/1800.51 c rootsoldiving : 5.43 1111 6
1800.03/1800.51 c veclendiving : 9.06 4787 2
1800.03/1800.51 c guideddiving : 10.31 4787 3
1800.03/1800.51 c coefdiving : 21.28 4787 0
1800.03/1800.51 c pscostdiving : 13.14 4787 2
1800.03/1800.51 c linesearchdiving : 9.24 4787 0
1800.03/1800.51 c objpscostdiving : 4.35 2394 0
1800.03/1800.51 c fracdiving : 13.15 4788 1
1800.03/1800.51 c trivial : 0.01 2 0
1800.03/1800.51 c simplerounding : 2.02 0 0
1800.03/1800.51 c zirounding : 1.88 1000 0
1800.03/1800.51 c rounding : 3.10 21951 0
1800.03/1800.51 c shifting : 7.96 9657 1
1800.03/1800.51 c intshifting : 0.11 0 0
1800.03/1800.51 c twoopt : 0.00 0 0
1800.03/1800.51 c fixandinfer : 0.00 0 0
1800.03/1800.51 c intdiving : 0.00 0 0
1800.03/1800.51 c actconsdiving : 0.00 0 0
1800.03/1800.51 c octane : 0.00 0 0
1800.03/1800.51 c rens : 0.02 1 0
1800.03/1800.51 c rins : 0.00 0 0
1800.03/1800.51 c localbranching : 0.00 0 0
1800.03/1800.51 c mutation : 0.00 0 0
1800.03/1800.51 c dins : 0.00 0 0
1800.03/1800.51 c undercover : 0.00 0 0
1800.03/1800.51 c nlp : 1.41 0 0
1800.03/1800.51 c trysol : 2.89 0 0
1800.03/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.51 c dual LP : 578.50 3381540 14468096 4.28 25009.67
1800.03/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.51 c diving/probing LP: 39.39 354384 852510 2.41 21642.80
1800.03/1800.51 c strong branching : 6.17 27807 86680 3.12 14048.62
1800.03/1800.51 c (at root node) : - 9 299 33.22 -
1800.03/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.51 c B&B Tree :
1800.03/1800.51 c number of runs : 1
1800.03/1800.51 c nodes : 3667341
1800.03/1800.51 c nodes (total) : 3667341
1800.03/1800.51 c nodes left : 430330
1800.03/1800.51 c max depth : 57
1800.03/1800.51 c max depth (total): 57
1800.03/1800.51 c backtracks : 766460 (20.9%)
1800.03/1800.51 c delayed cutoffs : 59760
1800.03/1800.51 c repropagations : 102675 (426005 domain reductions, 59716 cutoffs)
1800.03/1800.51 c avg switch length: 5.01
1800.03/1800.51 c switching time : 124.02
1800.03/1800.51 c Solution :
1800.03/1800.51 c Solutions found : 33 (26 improvements)
1800.03/1800.51 c First Solution : +1.40900000000000e+03 (in run 1, after 1 nodes, 0.11 seconds, depth 0, found by <trysol>)
1800.03/1800.51 c Primal Bound : +1.20000000000000e+01 (in run 1, after 3628920 nodes, 1639.53 seconds, depth 47, found by <relaxation>)
1800.03/1800.51 c Dual Bound : +0.00000000000000e+00
1800.03/1800.51 c Gap : infinite
1800.03/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.51 c Root Iterations : 140
1801.93/1802.48 c Time complete: 1802.
OK 12
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667085-1276614658/watcher-2667085-1276614658 -o /tmp/evaluation-result-2667085-1276614658/solver-2667085-1276614658 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667085-1276614658.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/105 12037 /proc/meminfo: memFree=1411256/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=8752 CPUtime=0 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 1307 0 0 0 0 0 0 0 25 0 1 0 2759284 8962048 1226 1992294400 4194304 8223781 140735354256928 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12037/statm: 2188 1236 348 984 0 1201 0 [startup+0.011883 s] /proc/loadavg: 1.00 1.00 1.00 2/105 12037 /proc/meminfo: memFree=1411256/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=9160 CPUtime=0 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 1584 0 0 0 0 0 0 0 25 0 1 0 2759284 9379840 1503 1992294400 4194304 8223781 140735354256928 18446744073709551615 5652172 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12037/statm: 2290 1503 365 984 0 1303 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9160 [startup+0.101891 s] /proc/loadavg: 1.00 1.00 1.00 2/105 12037 /proc/meminfo: memFree=1411256/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=20856 CPUtime=0.09 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 4938 0 0 0 7 2 0 0 18 0 1 0 2759284 21356544 3968 1992294400 4194304 8223781 140735354256928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 5214 3968 565 984 0 4227 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20856 [startup+0.301911 s] /proc/loadavg: 1.00 1.00 1.00 2/105 12037 /proc/meminfo: memFree=1411256/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=14624 CPUtime=0.29 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 8000 0 0 0 26 3 0 0 18 0 1 0 2759284 14974976 2820 1992294400 4194304 8223781 140735354256928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 3656 2820 587 984 0 2669 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14624 [startup+0.700955 s] /proc/loadavg: 1.00 1.00 1.00 2/105 12037 /proc/meminfo: memFree=1411256/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=14624 CPUtime=0.69 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 8001 0 0 0 62 7 0 0 18 0 1 0 2759284 14974976 2821 1992294400 4194304 8223781 140735354256928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 3656 2821 588 984 0 2669 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14624 [startup+1.50104 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12038 /proc/meminfo: memFree=1401452/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=14624 CPUtime=1.49 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 8561 0 0 0 136 13 0 0 20 0 1 0 2759284 14974976 2826 1992294400 4194304 8223781 140735354256928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 3656 2826 589 984 0 2669 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14624 [startup+3.10121 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12038 /proc/meminfo: memFree=1401328/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=15664 CPUtime=3.09 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 10033 0 0 0 284 25 0 0 25 0 1 0 2759284 16039936 3079 1992294400 4194304 8223781 140735354256928 18446744073709551615 4980305 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 3916 3079 589 984 0 2929 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15664 [startup+6.30155 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12038 /proc/meminfo: memFree=1398600/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=17284 CPUtime=6.29 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 13540 0 0 0 577 52 0 0 25 0 1 0 2759284 17698816 3508 1992294400 4194304 8223781 140735354256928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 4321 3508 589 984 0 3334 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17284 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12038 /proc/meminfo: memFree=1394632/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=21732 CPUtime=12.68 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 19582 0 0 0 1167 101 0 0 25 0 1 0 2759284 22253568 4633 1992294400 4194304 8223781 140735354256928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 5433 4633 589 984 0 4446 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21732 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12038 /proc/meminfo: memFree=1384712/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=31716 CPUtime=25.48 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 23336 0 0 0 2352 196 0 0 25 0 1 0 2759284 32477184 7172 1992294400 4194304 8223781 140735354256928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 7929 7172 589 984 0 6942 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 31716 [startup+51.1013 s] /proc/loadavg: 1.06 1.02 1.00 2/106 12040 /proc/meminfo: memFree=1369708/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=45404 CPUtime=51.08 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 37819 0 0 0 4725 383 0 0 25 0 1 0 2759284 46493696 10663 1992294400 4194304 8223781 140735354256928 18446744073709551615 5813924 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 11351 10663 589 984 0 10364 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 45404 [startup+102.309 s] /proc/loadavg: 1.08 1.03 1.00 2/106 12040 /proc/meminfo: memFree=1350364/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=66864 CPUtime=102.28 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 48255 0 0 0 9456 772 0 0 25 0 1 0 2759284 68468736 15614 1992294400 4194304 8223781 140735354256928 18446744073709551615 4983287 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 16716 15614 589 984 0 15729 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 66864 [startup+162.301 s] /proc/loadavg: 1.09 1.04 1.00 2/106 12042 /proc/meminfo: memFree=1328664/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=87732 CPUtime=162.25 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 72239 0 0 0 14959 1266 0 0 25 0 1 0 2759284 89837568 20915 1992294400 4194304 8223781 140735354256928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 21933 20915 589 984 0 20946 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 87732 [startup+222.301 s] /proc/loadavg: 1.08 1.04 1.00 2/106 12044 /proc/meminfo: memFree=1308452/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=107808 CPUtime=222.24 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 78563 0 0 0 20497 1727 0 0 25 0 1 0 2759284 110395392 26024 1992294400 4194304 8223781 140735354256928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 26952 26024 589 984 0 25965 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 107808 [startup+282.302 s] /proc/loadavg: 1.08 1.05 1.00 2/106 12046 /proc/meminfo: memFree=1294192/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=122020 CPUtime=282.22 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 87068 0 0 0 26034 2188 0 0 25 0 1 0 2759284 124948480 29650 1992294400 4194304 8223781 140735354256928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 30505 29650 589 984 0 29518 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 122020 [startup+342.301 s] /proc/loadavg: 1.07 1.05 1.00 2/106 12048 /proc/meminfo: memFree=1281048/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=134224 CPUtime=342.2 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 94363 0 0 0 31548 2672 0 0 25 0 1 0 2759284 137445376 32817 1992294400 4194304 8223781 140735354256928 18446744073709551615 5434408 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 33556 32817 589 984 0 32569 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 134224 [startup+402.301 s] /proc/loadavg: 1.07 1.05 1.00 2/106 12048 /proc/meminfo: memFree=1261208/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=153476 CPUtime=402.19 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 99261 0 0 0 37081 3138 0 0 25 0 1 0 2759284 157159424 37715 1992294400 4194304 8223781 140735354256928 18446744073709551615 4982757 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 38369 37715 589 984 0 37382 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 153476 [startup+462.302 s] /proc/loadavg: 1.06 1.06 1.00 2/106 12050 /proc/meminfo: memFree=1247816/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=170944 CPUtime=462.17 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 103257 0 0 0 42607 3610 0 0 25 0 1 0 2759284 175046656 41113 1992294400 4194304 8223781 140735354256928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 42736 41113 589 984 0 41749 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 170944 [startup+522.3 s] /proc/loadavg: 1.06 1.06 1.00 2/106 12052 /proc/meminfo: memFree=1231076/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=187056 CPUtime=522.16 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 107376 0 0 0 48152 4064 0 0 25 0 1 0 2759284 191545344 45232 1992294400 4194304 8223781 140735354256928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 46764 45232 589 984 0 45777 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 187056 [startup+582.301 s] /proc/loadavg: 1.06 1.06 1.00 2/106 12054 /proc/meminfo: memFree=1216940/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=200748 CPUtime=582.14 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 110903 0 0 0 53688 4526 0 0 25 0 1 0 2759284 205565952 48759 1992294400 4194304 8223781 140735354256928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 50187 48759 589 984 0 49200 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 200748 [startup+642.301 s] /proc/loadavg: 1.20 1.09 1.01 2/106 12056 /proc/meminfo: memFree=1201688/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=215320 CPUtime=642.13 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 114639 0 0 0 59213 5000 0 0 25 0 1 0 2759284 220487680 52495 1992294400 4194304 8223781 140735354256928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 53830 52495 589 984 0 52843 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 215320 [startup+702.3 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.02 1.00 2/106 12064 /proc/meminfo: memFree=1146136/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=269160 CPUtime=1002.03 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 140163 0 0 0 92373 7830 0 0 25 0 1 0 2759284 275619840 66229 1992294400 4194304 8223781 140735354256928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 67290 66229 589 984 0 66303 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 269160 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.00 2/106 12066 /proc/meminfo: memFree=1137456/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=277712 CPUtime=1062.02 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 142928 0 0 0 97901 8301 0 0 25 0 1 0 2759284 284377088 68402 1992294400 4194304 8223781 140735354256928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 69428 68402 589 984 0 68441 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 277712 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.00 2/106 12068 /proc/meminfo: memFree=1131008/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=284044 CPUtime=1122 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 144506 0 0 0 103435 8765 0 0 25 0 1 0 2759284 290861056 69980 1992294400 4194304 8223781 140735354256928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 71011 69980 589 984 0 70024 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 284044 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/106 12070 /proc/meminfo: memFree=1125304/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=289512 CPUtime=1181.98 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 145893 0 0 0 108968 9230 0 0 25 0 1 0 2759284 296460288 71367 1992294400 4194304 8223781 140735354256928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 72378 71367 589 984 0 71391 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 289512 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12072 /proc/meminfo: memFree=1117368/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=296964 CPUtime=1241.96 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 147808 0 0 0 114494 9702 0 0 25 0 1 0 2759284 304091136 73282 1992294400 4194304 8223781 140735354256928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 74241 73282 589 984 0 73254 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 296964 [startup+1302.3 s] /proc/loadavg: 1.05 1.01 1.00 2/106 12075 /proc/meminfo: memFree=1110176/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=303448 CPUtime=1301.96 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 149458 0 0 0 120039 10157 0 0 25 0 1 0 2759284 310730752 74932 1992294400 4194304 8223781 140735354256928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 75862 74932 589 984 0 74875 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 303448 [startup+1362.3 s] /proc/loadavg: 1.02 1.01 1.00 2/106 12077 /proc/meminfo: memFree=1104844/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=308744 CPUtime=1361.94 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 150797 0 0 0 125560 10634 0 0 25 0 1 0 2759284 316153856 76271 1992294400 4194304 8223781 140735354256928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 77186 76271 589 984 0 76199 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 308744 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12079 /proc/meminfo: memFree=1097652/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=315404 CPUtime=1421.93 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 153082 0 0 0 131086 11107 0 0 25 0 1 0 2759284 322973696 77957 1992294400 4194304 8223781 140735354256928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 78851 77957 589 984 0 77864 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 315404 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12081 /proc/meminfo: memFree=1083516/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=330376 CPUtime=1481.9 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 156860 0 0 0 136618 11572 0 0 25 0 1 0 2759284 338305024 81735 1992294400 4194304 8223781 140735354256928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 82594 81735 589 984 0 81607 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 330376 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12083 /proc/meminfo: memFree=1074712/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=338552 CPUtime=1541.89 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 158934 0 0 0 142147 12042 0 0 25 0 1 0 2759284 346677248 83809 1992294400 4194304 8223781 140735354256928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 84638 83809 589 984 0 83651 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 338552 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12083 /proc/meminfo: memFree=1069504/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=343628 CPUtime=1601.87 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 160232 0 0 0 147689 12498 0 0 25 0 1 0 2759284 351875072 85107 1992294400 4194304 8223781 140735354256928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 85907 85107 589 984 0 84920 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 343628 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12085 /proc/meminfo: memFree=1063552/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=349524 CPUtime=1661.86 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 161730 0 0 0 153216 12970 0 0 25 0 1 0 2759284 357912576 86605 1992294400 4194304 8223781 140735354256928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 87381 86605 589 984 0 86394 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 349524 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12087 /proc/meminfo: memFree=1054748/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=357988 CPUtime=1721.84 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 163867 0 0 0 158755 13429 0 0 25 0 1 0 2759284 366579712 88742 1992294400 4194304 8223781 140735354256928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 89497 88742 589 984 0 88510 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 357988 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12089 /proc/meminfo: memFree=1046440/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=372948 CPUtime=1781.83 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 169809 0 0 0 164289 13894 0 0 25 0 1 0 2759284 381898752 92169 1992294400 4194304 8223781 140735354256928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 93237 92169 589 984 0 92250 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 372948 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12089 /proc/meminfo: memFree=1046440/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=365288 CPUtime=1800.03 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 175008 0 0 0 165957 14046 0 0 25 0 1 0 2759284 374054912 90610 1992294400 4194304 8223781 140735354256928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12037/statm: 91322 90610 589 984 0 90335 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 365288 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 12090 /proc/meminfo: memFree=1046432/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=365288 CPUtime=1800.93 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 175010 0 0 0 166047 14046 0 0 25 0 1 0 2759284 374054912 90612 1992294400 4194304 8223781 140735354256928 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12037/statm: 91322 90612 591 984 0 90335 0 Current children cumulated CPU time (s) 1800.93 Current children cumulated vsize (KiB) 365288 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12090 /proc/meminfo: memFree=1046308/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=364260 CPUtime=1801.73 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 175010 0 0 0 166127 14046 0 0 25 0 1 0 2759284 373002240 90355 1992294400 4194304 8223781 140735354256928 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12037/statm: 91065 90355 591 984 0 90078 0 Current children cumulated CPU time (s) 1801.73 Current children cumulated vsize (KiB) 364260 [startup+1802.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12090 /proc/meminfo: memFree=1046308/2059040 swapFree=4192956/4192956 [pid=12037] ppid=12035 vsize=362540 CPUtime=1801.93 /proc/12037/stat : 12037 (pbscip.linux.x8) R 12035 12037 11322 0 -1 4202496 175010 0 0 0 166147 14046 0 0 25 0 1 0 2759284 371240960 89925 1992294400 4194304 8223781 140735354256928 18446744073709551615 6206564 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12037/statm: 90635 89925 591 984 0 89648 0 Current children cumulated CPU time (s) 1801.93 Current children cumulated vsize (KiB) 362540 Child status: 0 Real time (s): 1802.49 CPU time (s): 1802.02 CPU user time (s): 1661.52 CPU system time (s): 140.501 CPU usage (%): 99.9739 Max. virtual memory (cumulated for all children) (KiB): 374380 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1661.52 system time used= 140.501 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 175014 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= 4705 runsolver used 3.16452 second user time and 8.34773 second system time The end
Begin job on node082 at 2010-06-15 17:10:58 IDJOB=2667085 IDBENCH=2918 IDSOLVER=1169 FILE ID=node082/2667085-1276614658 PBS_JOBID= 11172251 Free space on /tmp= 62584 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_1.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-2667085-1276614658/watcher-2667085-1276614658 -o /tmp/evaluation-result-2667085-1276614658/solver-2667085-1276614658 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667085-1276614658.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7b9886d41278c23acb93039c546a310e RANDOM SEED=222406710 node082.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.215 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.215 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 : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1411660 kB Buffers: 77308 kB Cached: 428788 kB SwapCached: 0 kB Active: 209136 kB Inactive: 356512 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1411660 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4556 kB Writeback: 0 kB AnonPages: 59492 kB Mapped: 15432 kB Slab: 59940 kB PageTables: 3964 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180596 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62576 MiB End job on node082 at 2010-06-15 17:41:00