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.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT | 12 | 1791.86 | 1792.29 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_4.opb |
| MD5SUM | 8206de06d2228a9d751f3cf3a6d7aa05 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 12 |
| Best CPU time to get the best result obtained on this benchmark | 1791.86 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 12 |
| Optimality of the best value was proved | NO |
| Number of variables | 172 |
| Total number of constraints | 14 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 14 |
| Minimum length of a constraint | 75 |
| Maximum length of a constraint | 76 |
| Number of terms in the objective function | 112 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 3570 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1531 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5104 |
| 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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703917-1278562732.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.3
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 = 1790
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 # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
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 # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/indicator/addCouplingCons = 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 | 44 | - | 565k| 0 | 7 | 172 | 7 | 172 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 o 1093
0.09/0.14 c y 0.1s| 1 | 0 | 80 | - | 619k| 0 | 7 | 172 | 7 | 172 | 7 | 0 | 0 | 0 | 0.000000e+00 | 1.093000e+03 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 89 | - | 683k| 0 | 12 | 172 | 30 | 172 | 15 | 8 | 0 | 0 | 0.000000e+00 | 1.093000e+03 | Inf
0.09/0.16 c 0.2s| 1 | 0 | 98 | - | 741k| 0 | 15 | 172 | 30 | 172 | 20 | 13 | 0 | 0 | 0.000000e+00 | 1.093000e+03 | Inf
0.09/0.18 c 0.2s| 1 | 0 | 106 | - | 760k| 0 | 15 | 172 | 30 | 172 | 23 | 16 | 0 | 0 | 0.000000e+00 | 1.093000e+03 | Inf
0.19/0.20 c 0.2s| 1 | 0 | 116 | - | 777k| 0 | 18 | 172 | 30 | 172 | 25 | 18 | 0 | 0 | 0.000000e+00 | 1.093000e+03 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 127 | - | 801k| 0 | 18 | 172 | 30 | 172 | 28 | 21 | 0 | 0 | 0.000000e+00 | 1.093000e+03 | Inf
0.19/0.25 c 0.2s| 1 | 0 | 133 | - | 804k| 0 | 19 | 172 | 30 | 172 | 30 | 23 | 0 | 0 | 0.000000e+00 | 1.093000e+03 | Inf
0.29/0.36 c 0.4s| 1 | 2 | 133 | - | 805k| 0 | 19 | 172 | 30 | 172 | 30 | 23 | 0 | 13 | 0.000000e+00 | 1.093000e+03 | Inf
0.59/0.63 o 491
0.59/0.63 c f 0.6s| 98 | 99 | 763 | 6.5 | 924k| 47 | - | 172 | 30 | 172 | 20 | 23 | 4 | 363 | 0.000000e+00 | 4.910000e+02 | Inf
0.69/0.79 o 346
0.69/0.79 c c 0.8s| 231 | 232 | 1826 | 7.4 |1002k| 47 | - | 172 | 37 | 172 | 20 | 23 | 16 | 467 | 0.000000e+00 | 3.460000e+02 | Inf
0.89/0.96 o 276
0.89/0.96 c c 1.0s| 422 | 423 | 3054 | 6.9 |1098k| 47 | - | 172 | 40 | 172 | 20 | 23 | 22 | 497 | 0.000000e+00 | 2.760000e+02 | Inf
1.00/1.08 o 144
1.00/1.08 c c 1.1s| 574 | 550 | 3934 | 6.6 |1152k| 47 | - | 172 | 40 | 172 | 20 | 23 | 23 | 501 | 0.000000e+00 | 1.440000e+02 | Inf
1.19/1.29 o 142
1.19/1.29 c f 1.3s| 805 | 777 | 5356 | 6.5 |1247k| 52 | - | 172 | 43 | 172 | 20 | 23 | 38 | 546 | 0.000000e+00 | 1.420000e+02 | Inf
1.39/1.41 o 105
1.39/1.41 c f 1.4s| 968 | 897 | 6067 | 6.1 |1321k| 52 | - | 172 | 43 | 172 | 20 | 23 | 43 | 574 | 0.000000e+00 | 1.050000e+02 | Inf
2.10/2.12 o 89
2.10/2.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.10/2.12 c C 2.1s| 1568 | 1464 | 9314 | 5.9 |1543k| 52 | 7 | 172 | 41 | 172 | 20 | 23 | 62 | 652 | 0.000000e+00 | 8.900000e+01 | Inf
8.89/8.91 c 8.9s| 10000 | 9700 | 62688 | 6.3 |5371k| 52 | 7 | 172 | 46 | 172 | 20 | 23 | 426 | 795 | 0.000000e+00 | 8.900000e+01 | Inf
15.29/15.33 o 57
15.29/15.33 c c15.3s| 18989 | 16780 |113517 | 6.0 |8583k| 52 | - | 172 | 29 | 172 | 20 | 23 | 759 |1173 | 0.000000e+00 | 5.700000e+01 | Inf
16.39/16.41 c 16.4s| 20000 | 17649 |119621 | 6.0 |8988k| 52 | 7 | 172 | 25 | 172 | 20 | 23 | 818 |1271 | 0.000000e+00 | 5.700000e+01 | Inf
22.99/23.08 c 23.1s| 30000 | 25917 |171029 | 5.7 | 13M| 52 | 7 | 172 | 29 | 172 | 20 | 23 |1222 |1802 | 0.000000e+00 | 5.700000e+01 | Inf
23.69/23.72 o 56
23.69/23.72 c p23.7s| 31020 | 26666 |176257 | 5.7 | 13M| 52 | - | 172 | 27 | 172 | 20 | 23 |1251 |1858 | 0.000000e+00 | 5.600000e+01 | Inf
26.78/26.84 o 54
26.78/26.84 c *26.8s| 35109 | 29807 |200601 | 5.7 | 15M| 53 | - | 172 | 27 | 172 | 20 | 23 |1556 |2034 | 0.000000e+00 | 5.400000e+01 | Inf
28.88/28.96 o 52
28.88/28.96 c C29.0s| 35309 | 29799 |201617 | 5.7 | 15M| 53 | - | 172 | 27 | 172 | 20 | 23 |1563 |2041 | 0.000000e+00 | 5.200000e+01 | Inf
31.89/31.96 c 32.0s| 40000 | 33250 |225619 | 5.6 | 17M| 53 | 7 | 172 | 27 | 172 | 20 | 23 |1779 |2228 | 0.000000e+00 | 5.200000e+01 | Inf
38.28/38.30 c 38.3s| 50000 | 40320 |276369 | 5.5 | 21M| 53 | - | 172 | 30 | 172 | 20 | 23 |2314 |2540 | 0.000000e+00 | 5.200000e+01 | Inf
44.68/44.72 c 44.7s| 60000 | 47195 |329388 | 5.5 | 26M| 53 | 7 | 172 | 34 | 172 | 20 | 23 |2900 |2808 | 0.000000e+00 | 5.200000e+01 | Inf
48.98/49.03 o 51
48.98/49.03 c *49.0s| 66762 | 51487 |364327 | 5.5 | 29M| 53 | - | 172 | 35 | 172 | 20 | 23 |3271 |2994 | 0.000000e+00 | 5.100000e+01 | Inf
48.98/49.04 o 49
48.98/49.04 c *49.0s| 66763 | 51149 |364327 | 5.5 | 28M| 53 | - | 172 | 35 | 172 | 20 | 23 |3271 |2994 | 0.000000e+00 | 4.900000e+01 | Inf
53.18/53.24 c 53.2s| 70000 | 53390 |380574 | 5.4 | 29M| 53 | 7 | 172 | 33 | 172 | 20 | 23 |3448 |3048 | 0.000000e+00 | 4.900000e+01 | Inf
54.68/54.77 o 47
54.68/54.77 c *54.8s| 72415 | 53718 |392897 | 5.4 | 29M| 53 | - | 172 | 35 | 172 | 20 | 23 |3583 |3102 | 0.000000e+00 | 4.700000e+01 | Inf
56.88/56.95 o 46
56.88/56.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.88/56.95 c *56.9s| 75764 | 55645 |410639 | 5.4 | 31M| 53 | - | 172 | 35 | 172 | 20 | 23 |3765 |3199 | 0.000000e+00 | 4.600000e+01 | Inf
61.17/61.25 c 61.2s| 80000 | 58499 |432549 | 5.4 | 33M| 53 | 7 | 172 | 37 | 172 | 20 | 23 |3982 |3308 | 0.000000e+00 | 4.600000e+01 | Inf
64.18/64.29 o 44
64.18/64.29 c *64.3s| 84728 | 60881 |457061 | 5.4 | 34M| 53 | - | 172 | 39 | 172 | 20 | 23 |4286 |3418 | 0.000000e+00 | 4.400000e+01 | Inf
64.27/64.30 o 42
64.27/64.30 c *64.3s| 84733 | 60295 |457064 | 5.4 | 33M| 53 | - | 172 | 39 | 172 | 20 | 23 |4286 |3429 | 0.000000e+00 | 4.200000e+01 | Inf
64.27/64.31 o 40
64.27/64.31 c *64.3s| 84734 | 59599 |457064 | 5.4 | 32M| 53 | - | 172 | 39 | 172 | 20 | 23 |4286 |3429 | 0.000000e+00 | 4.000000e+01 | Inf
65.07/65.13 o 38
65.07/65.13 c *65.1s| 86137 | 59564 |463806 | 5.4 | 32M| 53 | - | 172 | 39 | 172 | 20 | 23 |4371 |3466 | 0.000000e+00 | 3.800000e+01 | Inf
65.07/65.13 o 36
65.07/65.13 c *65.1s| 86138 | 58825 |463806 | 5.4 | 31M| 53 | - | 172 | 39 | 172 | 20 | 23 |4371 |3466 | 0.000000e+00 | 3.600000e+01 | Inf
68.08/68.16 c 68.1s| 90000 | 61061 |483363 | 5.4 | 33M| 53 | 7 | 172 | 39 | 172 | 20 | 23 |4622 |3563 | 0.000000e+00 | 3.600000e+01 | Inf
73.98/74.09 c 74.1s|100000 | 65977 |530561 | 5.3 | 37M| 53 | 7 | 172 | 33 | 172 | 20 | 23 |5279 |3817 | 0.000000e+00 | 3.600000e+01 | Inf
79.97/80.08 c 80.1s|110000 | 70473 |577955 | 5.3 | 41M| 53 | 7 | 172 | 34 | 172 | 20 | 23 |5970 |4061 | 0.000000e+00 | 3.600000e+01 | Inf
85.97/86.03 c 86.0s|120000 | 75209 |625448 | 5.2 | 44M| 53 | - | 172 | 28 | 172 | 20 | 23 |6561 |4274 | 0.000000e+00 | 3.600000e+01 | Inf
92.28/92.34 c 92.3s|130000 | 80370 |675259 | 5.2 | 48M| 53 | - | 172 | 28 | 172 | 20 | 23 |7199 |4464 | 0.000000e+00 | 3.600000e+01 | Inf
94.77/94.82 o 34
94.77/94.82 c *94.8s|134011 | 81336 |694635 | 5.2 | 49M| 53 | - | 172 | 30 | 172 | 20 | 23 |7499 |4541 | 0.000000e+00 | 3.400000e+01 | Inf
94.77/94.85 o 30
94.77/94.85 c *94.8s|134013 | 69933 |694638 | 5.2 | 40M| 53 | - | 172 | 30 | 172 | 20 | 23 |7499 |4542 | 0.000000e+00 | 3.000000e+01 | Inf
94.77/94.86 o 26
94.77/94.86 c *94.8s|134014 | 68427 |694638 | 5.2 | 38M| 53 | - | 172 | 30 | 172 | 20 | 23 |7499 |4542 | 0.000000e+00 | 2.600000e+01 | Inf
100.16/100.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
100.16/100.26 c 100s|140000 | 71163 |723177 | 5.2 | 40M| 53 | 7 | 172 | 27 | 172 | 20 | 23 |7821 |4667 | 0.000000e+00 | 2.600000e+01 | Inf
103.27/103.35 o 25
103.27/103.35 c * 103s|145082 | 73209 |748882 | 5.2 | 41M| 53 | - | 172 | 31 | 172 | 20 | 23 |8093 |4760 | 0.000000e+00 | 2.500000e+01 | Inf
103.27/103.36 o 23
103.27/103.36 c * 103s|145083 | 72280 |748882 | 5.2 | 40M| 53 | - | 172 | 31 | 172 | 20 | 23 |8093 |4760 | 0.000000e+00 | 2.300000e+01 | Inf
106.26/106.30 c 106s|150000 | 74522 |771693 | 5.1 | 41M| 53 | 7 | 172 | 36 | 172 | 20 | 23 |8370 |4871 | 0.000000e+00 | 2.300000e+01 | Inf
112.27/112.34 c 112s|160000 | 79491 |819263 | 5.1 | 44M| 53 | - | 172 | 38 | 172 | 20 | 23 |8901 |5034 | 0.000000e+00 | 2.300000e+01 | Inf
117.86/117.97 c 118s|170000 | 83577 |864268 | 5.1 | 47M| 53 | - | 172 | 36 | 172 | 20 | 23 |9474 |5214 | 0.000000e+00 | 2.300000e+01 | Inf
124.96/125.07 c 125s|180000 | 87103 |908034 | 5.0 | 49M| 53 | 7 | 172 | 32 | 172 | 20 | 23 |9961 |5408 | 0.000000e+00 | 2.300000e+01 | Inf
130.26/130.30 c 130s|190000 | 90722 |950841 | 5.0 | 52M| 53 | 7 | 172 | 34 | 172 | 20 | 23 | 10k|5581 | 0.000000e+00 | 2.300000e+01 | Inf
135.56/135.69 c 136s|200000 | 94751 |995003 | 5.0 | 54M| 53 | 7 | 172 | 32 | 172 | 20 | 23 | 10k|5718 | 0.000000e+00 | 2.300000e+01 | Inf
141.16/141.22 c 141s|210000 | 98740 | 1039k| 4.9 | 57M| 53 | 7 | 172 | 31 | 172 | 20 | 23 | 11k|5885 | 0.000000e+00 | 2.300000e+01 | Inf
145.06/145.12 o 21
145.06/145.12 c * 145s|217467 | 99808 | 1070k| 4.9 | 57M| 53 | - | 172 | 29 | 172 | 20 | 23 | 11k|6017 | 0.000000e+00 | 2.100000e+01 | Inf
148.47/148.51 c 149s|220000 |100368 | 1080k| 4.9 | 57M| 53 | - | 172 | 29 | 172 | 20 | 23 | 11k|6038 | 0.000000e+00 | 2.100000e+01 | Inf
153.46/153.56 c 154s|230000 |103300 | 1121k| 4.9 | 59M| 53 | - | 172 | 30 | 0 | 0 | 23 | 12k|6181 | 0.000000e+00 | 2.100000e+01 | Inf
159.25/159.31 c 159s|240000 |107596 | 1166k| 4.9 | 62M| 53 | 7 | 172 | 27 | 172 | 20 | 23 | 12k|6336 | 0.000000e+00 | 2.100000e+01 | Inf
164.56/164.68 c 165s|250000 |111517 | 1209k| 4.8 | 64M| 53 | 7 | 172 | 27 | 172 | 20 | 23 | 13k|6492 | 0.000000e+00 | 2.100000e+01 | Inf
169.85/169.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
169.85/169.98 c 170s|260000 |115039 | 1252k| 4.8 | 66M| 53 | 7 | 172 | 30 | 172 | 20 | 23 | 13k|6632 | 0.000000e+00 | 2.100000e+01 | Inf
175.45/175.57 c 176s|270000 |119043 | 1297k| 4.8 | 69M| 53 | 7 | 172 | 24 | 172 | 20 | 23 | 14k|6753 | 0.000000e+00 | 2.100000e+01 | Inf
180.85/180.91 c 181s|280000 |122442 | 1341k| 4.8 | 71M| 53 | 7 | 172 | 26 | 172 | 20 | 23 | 14k|6902 | 0.000000e+00 | 2.100000e+01 | Inf
181.95/182.06 o 19
181.95/182.06 c * 182s|282087 |121359 | 1351k| 4.8 | 69M| 53 | - | 172 | 31 | 172 | 20 | 23 | 14k|6948 | 0.000000e+00 | 1.900000e+01 | Inf
181.95/182.07 o 17
181.95/182.07 c * 182s|282088 |119332 | 1351k| 4.8 | 67M| 53 | - | 172 | 31 | 172 | 20 | 23 | 14k|6948 | 0.000000e+00 | 1.700000e+01 | Inf
186.05/186.17 c 186s|290000 |121202 | 1384k| 4.8 | 68M| 53 | - | 172 | 25 | 172 | 20 | 23 | 15k|7044 | 0.000000e+00 | 1.700000e+01 | Inf
190.95/191.08 c 191s|300000 |123716 | 1423k| 4.7 | 70M| 53 | 7 | 172 | 29 | 172 | 20 | 23 | 15k|7179 | 0.000000e+00 | 1.700000e+01 | Inf
195.95/196.02 c 196s|310000 |126152 | 1464k| 4.7 | 72M| 53 | 7 | 172 | 40 | 172 | 20 | 23 | 16k|7304 | 0.000000e+00 | 1.700000e+01 | Inf
200.74/200.82 c 201s|320000 |128105 | 1503k| 4.7 | 73M| 53 | - | 172 | 31 | 172 | 20 | 23 | 16k|7448 | 0.000000e+00 | 1.700000e+01 | Inf
205.74/205.88 c 206s|330000 |130832 | 1545k| 4.7 | 75M| 53 | 7 | 172 | 36 | 172 | 20 | 23 | 17k|7558 | 0.000000e+00 | 1.700000e+01 | Inf
210.64/210.74 c 211s|340000 |133358 | 1583k| 4.7 | 77M| 53 | 7 | 172 | 34 | 172 | 20 | 23 | 17k|7701 | 0.000000e+00 | 1.700000e+01 | Inf
215.45/215.54 c 216s|350000 |135225 | 1621k| 4.6 | 78M| 53 | 7 | 172 | 32 | 172 | 20 | 23 | 18k|7830 | 0.000000e+00 | 1.700000e+01 | Inf
220.14/220.20 c 220s|360000 |137143 | 1658k| 4.6 | 80M| 53 | 7 | 172 | 28 | 172 | 20 | 23 | 18k|7939 | 0.000000e+00 | 1.700000e+01 | Inf
224.73/224.89 c 225s|370000 |138651 | 1696k| 4.6 | 81M| 53 | - | 172 | 26 | 172 | 20 | 23 | 19k|8058 | 0.000000e+00 | 1.700000e+01 | Inf
229.44/229.59 c 230s|380000 |140305 | 1735k| 4.6 | 82M| 53 | 7 | 172 | 24 | 172 | 20 | 23 | 19k|8182 | 0.000000e+00 | 1.700000e+01 | Inf
234.25/234.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
234.25/234.33 c 234s|390000 |141848 | 1773k| 4.5 | 84M| 53 | 7 | 172 | 23 | 172 | 20 | 23 | 19k|8316 | 0.000000e+00 | 1.700000e+01 | Inf
238.93/239.05 c 239s|400000 |143586 | 1811k| 4.5 | 85M| 53 | 7 | 172 | 30 | 172 | 20 | 23 | 20k|8425 | 0.000000e+00 | 1.700000e+01 | Inf
243.63/243.76 c 244s|410000 |145405 | 1848k| 4.5 | 86M| 53 | 7 | 172 | 26 | 172 | 20 | 23 | 20k|8530 | 0.000000e+00 | 1.700000e+01 | Inf
248.24/248.39 c 248s|420000 |146653 | 1885k| 4.5 | 88M| 53 | - | 172 | 27 | 0 | 0 | 23 | 21k|8650 | 0.000000e+00 | 1.700000e+01 | Inf
252.94/253.07 c 253s|430000 |148270 | 1922k| 4.5 | 89M| 53 | 7 | 172 | 24 | 172 | 20 | 23 | 21k|8762 | 0.000000e+00 | 1.700000e+01 | Inf
257.63/257.74 c 258s|440000 |150237 | 1960k| 4.5 | 90M| 54 | 7 | 172 | 24 | 172 | 20 | 23 | 22k|8884 | 0.000000e+00 | 1.700000e+01 | Inf
262.13/262.29 c 262s|450000 |151646 | 1996k| 4.4 | 91M| 54 | - | 172 | 24 | 172 | 20 | 23 | 22k|8995 | 0.000000e+00 | 1.700000e+01 | Inf
266.82/266.97 c 267s|460000 |152899 | 2034k| 4.4 | 93M| 54 | 7 | 172 | 27 | 172 | 20 | 23 | 23k|9133 | 0.000000e+00 | 1.700000e+01 | Inf
271.53/271.61 c 272s|470000 |154501 | 2071k| 4.4 | 94M| 54 | 7 | 172 | 26 | 172 | 20 | 23 | 23k|9252 | 0.000000e+00 | 1.700000e+01 | Inf
276.13/276.23 c 276s|480000 |155716 | 2108k| 4.4 | 95M| 54 | 7 | 172 | 26 | 172 | 20 | 23 | 24k|9351 | 0.000000e+00 | 1.700000e+01 | Inf
280.73/280.89 c 281s|490000 |156812 | 2146k| 4.4 | 96M| 54 | 7 | 172 | 25 | 172 | 20 | 23 | 24k|9456 | 0.000000e+00 | 1.700000e+01 | Inf
285.42/285.53 c 286s|500000 |158172 | 2184k| 4.4 | 97M| 54 | 7 | 172 | 25 | 172 | 20 | 23 | 24k|9557 | 0.000000e+00 | 1.700000e+01 | Inf
290.23/290.33 c 290s|510000 |159679 | 2223k| 4.4 | 99M| 54 | 7 | 172 | 25 | 172 | 20 | 23 | 25k|9664 | 0.000000e+00 | 1.700000e+01 | Inf
294.82/294.96 c 295s|520000 |160670 | 2260k| 4.3 | 100M| 54 | - | 172 | 25 | 172 | 20 | 23 | 25k|9789 | 0.000000e+00 | 1.700000e+01 | Inf
299.52/299.60 c 300s|530000 |161495 | 2298k| 4.3 | 101M| 54 | 7 | 172 | 27 | 172 | 20 | 23 | 26k|9891 | 0.000000e+00 | 1.700000e+01 | Inf
304.02/304.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
304.02/304.19 c 304s|540000 |162534 | 2335k| 4.3 | 102M| 54 | 7 | 172 | 27 | 172 | 20 | 23 | 26k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
308.62/308.79 c 309s|550000 |163762 | 2372k| 4.3 | 103M| 54 | 7 | 172 | 24 | 172 | 20 | 23 | 26k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
313.22/313.37 c 313s|560000 |164912 | 2408k| 4.3 | 104M| 54 | 7 | 172 | 27 | 172 | 20 | 23 | 27k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
317.92/318.02 c 318s|570000 |165780 | 2446k| 4.3 | 105M| 54 | 7 | 172 | 28 | 172 | 20 | 23 | 27k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
322.52/322.65 c 323s|580000 |166933 | 2484k| 4.3 | 106M| 54 | - | 172 | 27 | 172 | 20 | 23 | 27k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
327.11/327.29 c 327s|590000 |168209 | 2521k| 4.3 | 107M| 54 | - | 172 | 26 | 172 | 20 | 23 | 28k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
331.82/331.96 c 332s|600000 |169204 | 2558k| 4.3 | 108M| 54 | - | 172 | 25 | 172 | 20 | 23 | 28k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
336.52/336.62 c 337s|610000 |170352 | 2595k| 4.3 | 109M| 54 | 7 | 172 | 26 | 172 | 20 | 23 | 29k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
341.11/341.20 c 341s|620000 |170984 | 2631k| 4.2 | 110M| 54 | - | 172 | 26 | 172 | 20 | 23 | 29k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
345.61/345.76 c 346s|630000 |172113 | 2667k| 4.2 | 111M| 54 | - | 172 | 27 | 0 | 0 | 23 | 29k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
350.21/350.31 c 350s|640000 |173085 | 2703k| 4.2 | 111M| 54 | - | 172 | 25 | 0 | 0 | 23 | 30k| 11k| 0.000000e+00 | 1.700000e+01 | Inf
354.60/354.75 c 355s|650000 |174437 | 2738k| 4.2 | 113M| 54 | - | 172 | 25 | 0 | 0 | 23 | 30k| 11k| 0.000000e+00 | 1.700000e+01 | Inf
359.20/359.35 c 359s|660000 |175666 | 2774k| 4.2 | 114M| 54 | - | 172 | 24 | 172 | 20 | 23 | 31k| 11k| 0.000000e+00 | 1.700000e+01 | Inf
363.81/363.95 c 364s|670000 |176700 | 2811k| 4.2 | 115M| 54 | - | 172 | 23 | 0 | 0 | 23 | 31k| 11k| 0.000000e+00 | 1.700000e+01 | Inf
365.40/365.54 o 16
365.40/365.54 c * 366s|673291 |173990 | 2823k| 4.2 | 112M| 54 | - | 172 | 23 | 172 | 20 | 23 | 31k| 11k| 0.000000e+00 | 1.600000e+01 | Inf
368.50/368.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.50/368.67 c 369s|680000 |174584 | 2851k| 4.2 | 112M| 54 | - | 172 | 23 | 0 | 0 | 23 | 31k| 11k| 0.000000e+00 | 1.600000e+01 | Inf
373.20/373.31 c 373s|690000 |175412 | 2891k| 4.2 | 113M| 54 | 7 | 172 | 23 | 172 | 20 | 23 | 32k| 11k| 0.000000e+00 | 1.600000e+01 | Inf
379.60/379.75 c 380s|700000 |176068 | 2931k| 4.2 | 114M| 54 | - | 172 | 25 | 172 | 20 | 23 | 32k| 11k| 0.000000e+00 | 1.600000e+01 | Inf
384.10/384.21 c 384s|710000 |177028 | 2969k| 4.2 | 115M| 54 | 7 | 172 | 27 | 172 | 20 | 23 | 32k| 11k| 0.000000e+00 | 1.600000e+01 | Inf
388.60/388.71 c 389s|720000 |178123 | 3008k| 4.2 | 116M| 54 | 7 | 172 | 25 | 172 | 20 | 23 | 33k| 11k| 0.000000e+00 | 1.600000e+01 | Inf
393.20/393.33 c 393s|730000 |179624 | 3049k| 4.2 | 117M| 54 | - | 172 | 22 | 172 | 20 | 23 | 33k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
397.79/397.96 c 398s|740000 |181155 | 3090k| 4.2 | 118M| 54 | 7 | 172 | 26 | 172 | 20 | 23 | 33k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
403.09/403.22 c 403s|750000 |184852 | 3136k| 4.2 | 120M| 54 | - | 172 | 22 | 0 | 0 | 23 | 34k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
407.90/408.10 c 408s|760000 |187399 | 3178k| 4.2 | 122M| 54 | 7 | 172 | 23 | 172 | 20 | 23 | 34k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
413.29/413.46 c 413s|770000 |190998 | 3225k| 4.2 | 123M| 54 | 7 | 172 | 25 | 172 | 20 | 23 | 35k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
418.59/418.77 c 419s|780000 |194399 | 3272k| 4.2 | 125M| 54 | 7 | 172 | 27 | 172 | 20 | 23 | 35k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
423.60/423.73 c 424s|790000 |197249 | 3315k| 4.2 | 127M| 54 | - | 172 | 27 | 0 | 0 | 23 | 35k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
428.80/428.90 c 429s|800000 |200873 | 3359k| 4.2 | 129M| 54 | 7 | 172 | 28 | 172 | 20 | 23 | 36k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
433.79/433.92 c 434s|810000 |204135 | 3402k| 4.2 | 131M| 54 | - | 172 | 26 | 0 | 0 | 23 | 36k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
438.69/438.83 c 439s|820000 |206809 | 3445k| 4.2 | 132M| 54 | - | 172 | 26 | 172 | 20 | 23 | 37k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
443.48/443.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
443.48/443.62 c 444s|830000 |209268 | 3487k| 4.2 | 134M| 54 | - | 172 | 26 | 172 | 20 | 23 | 37k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
448.29/448.41 c 448s|840000 |211471 | 3529k| 4.2 | 135M| 54 | 7 | 172 | 26 | 172 | 20 | 23 | 37k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
453.09/453.27 c 453s|850000 |214244 | 3571k| 4.2 | 137M| 54 | 7 | 172 | 28 | 172 | 20 | 23 | 38k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
457.98/458.12 c 458s|860000 |216976 | 3612k| 4.2 | 138M| 54 | - | 172 | 26 | 172 | 20 | 23 | 38k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
463.09/463.27 c 463s|870000 |220214 | 3656k| 4.2 | 140M| 54 | 7 | 172 | 26 | 172 | 20 | 23 | 39k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
468.28/468.44 c 468s|880000 |223811 | 3700k| 4.2 | 142M| 54 | 7 | 172 | 24 | 172 | 20 | 23 | 39k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
473.67/473.85 c 474s|890000 |228202 | 3745k| 4.2 | 144M| 54 | 7 | 172 | 21 | 172 | 20 | 23 | 39k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
479.18/479.32 c 479s|900000 |232701 | 3790k| 4.2 | 147M| 54 | 7 | 172 | 24 | 172 | 20 | 23 | 40k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
484.38/484.58 c 485s|910000 |236660 | 3834k| 4.2 | 149M| 54 | 7 | 172 | 25 | 172 | 20 | 23 | 40k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
489.38/489.59 c 490s|920000 |240213 | 3876k| 4.2 | 151M| 54 | 7 | 172 | 28 | 172 | 20 | 23 | 41k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
494.37/494.56 c 495s|930000 |243450 | 3917k| 4.2 | 152M| 54 | - | 172 | 22 | 172 | 20 | 23 | 41k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
499.38/499.56 c 500s|940000 |246538 | 3959k| 4.2 | 154M| 54 | - | 172 | 23 | 0 | 0 | 23 | 42k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
504.27/504.46 c 504s|950000 |249718 | 4001k| 4.2 | 156M| 54 | 7 | 172 | 24 | 172 | 20 | 23 | 42k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
509.47/509.69 c 510s|960000 |253448 | 4044k| 4.2 | 158M| 54 | 7 | 172 | 23 | 172 | 20 | 23 | 42k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
514.67/514.89 c 515s|970000 |257275 | 4087k| 4.2 | 160M| 54 | 7 | 172 | 26 | 172 | 20 | 23 | 43k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
519.67/519.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
519.67/519.84 c 520s|980000 |260540 | 4129k| 4.2 | 162M| 54 | - | 172 | 23 | 172 | 20 | 23 | 43k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
524.57/524.75 c 525s|990000 |263640 | 4170k| 4.2 | 164M| 54 | - | 172 | 22 | 172 | 20 | 23 | 44k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
529.67/529.84 c 530s| 1000k|267241 | 4212k| 4.2 | 166M| 54 | 7 | 172 | 24 | 172 | 20 | 23 | 44k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
534.37/534.55 c 535s| 1010k|269941 | 4252k| 4.2 | 167M| 54 | 7 | 172 | 23 | 172 | 20 | 23 | 45k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
539.46/539.62 c 540s| 1020k|273223 | 4294k| 4.2 | 169M| 54 | 7 | 172 | 23 | 172 | 20 | 23 | 45k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
544.27/544.50 c 544s| 1030k|276244 | 4336k| 4.2 | 171M| 54 | 7 | 172 | 23 | 172 | 20 | 23 | 45k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
549.06/549.21 c 549s| 1040k|278908 | 4375k| 4.2 | 172M| 54 | 7 | 172 | 23 | 172 | 20 | 23 | 46k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
553.65/553.87 c 554s| 1050k|281597 | 4414k| 4.2 | 174M| 54 | 7 | 172 | 22 | 172 | 20 | 23 | 46k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
558.35/558.55 c 559s| 1060k|284183 | 4453k| 4.2 | 176M| 54 | 7 | 172 | 27 | 172 | 20 | 23 | 47k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
563.15/563.33 c 563s| 1070k|286932 | 4493k| 4.2 | 177M| 54 | 7 | 172 | 25 | 172 | 20 | 23 | 47k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
568.16/568.31 c 568s| 1080k|290377 | 4535k| 4.2 | 179M| 54 | - | 172 | 22 | 172 | 20 | 23 | 48k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
575.16/575.34 c 575s| 1090k|292685 | 4575k| 4.2 | 180M| 54 | 7 | 172 | 22 | 172 | 20 | 23 | 48k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
579.86/580.01 c 580s| 1100k|294879 | 4614k| 4.2 | 182M| 54 | 7 | 172 | 25 | 172 | 20 | 23 | 49k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
584.65/584.85 c 585s| 1110k|297981 | 4654k| 4.2 | 184M| 54 | 7 | 172 | 24 | 172 | 20 | 23 | 49k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
589.35/589.59 c 590s| 1120k|300468 | 4695k| 4.2 | 185M| 54 | - | 172 | 28 | 172 | 20 | 23 | 49k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
594.04/594.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
594.04/594.23 c 594s| 1130k|302589 | 4734k| 4.2 | 186M| 54 | - | 172 | 24 | 172 | 20 | 23 | 50k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
598.74/598.97 c 599s| 1140k|305093 | 4775k| 4.2 | 188M| 54 | 7 | 172 | 22 | 172 | 20 | 23 | 50k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
603.54/603.74 c 604s| 1150k|307831 | 4816k| 4.2 | 190M| 54 | - | 172 | 29 | 172 | 20 | 23 | 51k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
608.25/608.41 c 608s| 1160k|310446 | 4855k| 4.2 | 191M| 54 | 7 | 172 | 26 | 172 | 20 | 23 | 51k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
612.95/613.19 c 613s| 1170k|313249 | 4895k| 4.2 | 193M| 54 | 7 | 172 | 24 | 172 | 20 | 23 | 52k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
617.74/617.98 c 618s| 1180k|315959 | 4935k| 4.2 | 194M| 54 | 7 | 172 | 27 | 172 | 20 | 23 | 52k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
622.45/622.65 c 623s| 1190k|318431 | 4975k| 4.2 | 196M| 54 | - | 172 | 24 | 172 | 20 | 23 | 52k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
627.74/627.97 c 628s| 1200k|322163 | 5019k| 4.2 | 198M| 54 | - | 172 | 24 | 0 | 0 | 23 | 53k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
632.64/632.88 c 633s| 1210k|325356 | 5061k| 4.2 | 200M| 54 | - | 172 | 23 | 172 | 20 | 23 | 53k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
637.44/637.69 c 638s| 1220k|328168 | 5103k| 4.2 | 201M| 54 | - | 172 | 22 | 0 | 0 | 23 | 54k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
642.34/642.51 c 642s| 1230k|330744 | 5145k| 4.2 | 203M| 54 | 7 | 172 | 24 | 172 | 20 | 23 | 54k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
647.54/647.79 c 648s| 1240k|334919 | 5189k| 4.2 | 205M| 54 | 7 | 172 | 28 | 172 | 20 | 23 | 55k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
652.23/652.48 c 652s| 1250k|337610 | 5229k| 4.2 | 207M| 54 | 7 | 172 | 25 | 172 | 20 | 23 | 55k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
657.13/657.31 c 657s| 1260k|340572 | 5269k| 4.2 | 208M| 54 | - | 172 | 25 | 0 | 0 | 23 | 56k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
661.73/661.90 c 662s| 1270k|342906 | 5308k| 4.2 | 210M| 54 | 7 | 172 | 23 | 172 | 20 | 23 | 56k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
666.34/666.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
666.34/666.53 c 667s| 1280k|345076 | 5348k| 4.2 | 211M| 54 | - | 172 | 25 | 0 | 0 | 23 | 56k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
671.13/671.35 c 671s| 1290k|348236 | 5388k| 4.2 | 213M| 54 | - | 172 | 24 | 0 | 0 | 23 | 57k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
675.73/675.94 c 676s| 1300k|350656 | 5427k| 4.2 | 214M| 54 | 7 | 172 | 26 | 172 | 20 | 23 | 57k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
680.33/680.58 c 681s| 1310k|353252 | 5467k| 4.2 | 216M| 54 | - | 172 | 23 | 172 | 20 | 23 | 58k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
685.03/685.23 c 685s| 1320k|355452 | 5507k| 4.2 | 217M| 54 | - | 172 | 23 | 0 | 0 | 23 | 58k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
689.72/689.91 c 690s| 1330k|357564 | 5548k| 4.2 | 219M| 54 | - | 172 | 25 | 172 | 20 | 23 | 58k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
694.23/694.46 c 694s| 1340k|359658 | 5587k| 4.2 | 220M| 54 | 7 | 172 | 29 | 172 | 20 | 23 | 59k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
699.23/699.49 c 699s| 1350k|363091 | 5630k| 4.2 | 222M| 54 | - | 172 | 26 | 0 | 0 | 23 | 59k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
704.12/704.33 c 704s| 1360k|365837 | 5672k| 4.2 | 223M| 54 | - | 172 | 24 | 172 | 20 | 23 | 60k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
708.72/708.98 c 709s| 1370k|367978 | 5713k| 4.2 | 225M| 54 | 7 | 172 | 23 | 172 | 20 | 23 | 60k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
713.42/713.64 c 714s| 1380k|370139 | 5753k| 4.2 | 226M| 54 | 7 | 172 | 24 | 172 | 20 | 23 | 61k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
718.02/718.26 c 718s| 1390k|372145 | 5793k| 4.2 | 228M| 54 | 7 | 172 | 24 | 172 | 20 | 23 | 61k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
722.62/722.82 c 723s| 1400k|373646 | 5833k| 4.2 | 229M| 54 | - | 172 | 25 | 0 | 0 | 23 | 61k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
727.22/727.44 c 727s| 1410k|375599 | 5873k| 4.2 | 230M| 54 | 7 | 172 | 28 | 172 | 20 | 23 | 62k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
732.01/732.21 c 732s| 1420k|378338 | 5914k| 4.2 | 231M| 54 | - | 172 | 25 | 172 | 20 | 23 | 62k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
736.62/736.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
736.62/736.81 c 737s| 1430k|380444 | 5954k| 4.2 | 233M| 54 | - | 172 | 22 | 172 | 20 | 23 | 63k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
741.22/741.42 c 741s| 1440k|382361 | 5994k| 4.2 | 234M| 54 | 7 | 172 | 22 | 172 | 20 | 23 | 63k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
746.31/746.59 c 747s| 1450k|386022 | 6037k| 4.2 | 236M| 54 | - | 172 | 24 | 0 | 0 | 23 | 63k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
751.02/751.29 c 751s| 1460k|388924 | 6078k| 4.2 | 238M| 54 | - | 172 | 24 | 172 | 20 | 23 | 64k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
755.61/755.88 c 756s| 1470k|391074 | 6118k| 4.2 | 239M| 54 | 7 | 172 | 23 | 172 | 20 | 23 | 64k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
760.31/760.55 c 761s| 1480k|393281 | 6157k| 4.2 | 240M| 54 | - | 172 | 24 | 172 | 20 | 23 | 65k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
764.91/765.16 c 765s| 1490k|395686 | 6197k| 4.2 | 242M| 54 | - | 172 | 26 | 0 | 0 | 23 | 65k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
769.50/769.76 c 770s| 1500k|397799 | 6236k| 4.2 | 243M| 54 | - | 172 | 25 | 0 | 0 | 23 | 65k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
774.11/774.33 c 774s| 1510k|399701 | 6275k| 4.2 | 244M| 54 | - | 172 | 25 | 172 | 20 | 23 | 66k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
778.71/778.90 c 779s| 1520k|401836 | 6314k| 4.2 | 246M| 54 | - | 172 | 29 | 172 | 20 | 23 | 66k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
783.20/783.45 c 783s| 1530k|403754 | 6354k| 4.2 | 247M| 54 | 7 | 172 | 23 | 172 | 20 | 23 | 67k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
787.80/788.09 c 788s| 1540k|405738 | 6394k| 4.2 | 248M| 54 | - | 172 | 23 | 0 | 0 | 23 | 67k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
792.40/792.69 c 793s| 1550k|407613 | 6433k| 4.2 | 250M| 54 | - | 172 | 27 | 0 | 0 | 23 | 67k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
797.00/797.21 c 797s| 1560k|409268 | 6472k| 4.1 | 251M| 54 | - | 172 | 23 | 0 | 0 | 23 | 68k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
801.50/801.79 c 802s| 1570k|410865 | 6511k| 4.1 | 252M| 54 | 7 | 172 | 23 | 172 | 20 | 23 | 68k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
806.10/806.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
806.10/806.34 c 806s| 1580k|412751 | 6550k| 4.1 | 253M| 54 | - | 172 | 27 | 172 | 20 | 23 | 69k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
810.69/810.90 c 811s| 1590k|414633 | 6588k| 4.1 | 254M| 54 | - | 172 | 26 | 172 | 20 | 23 | 69k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
815.20/815.50 c 815s| 1600k|416347 | 6627k| 4.1 | 255M| 54 | 7 | 172 | 22 | 172 | 20 | 23 | 70k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
819.79/820.03 c 820s| 1610k|418082 | 6666k| 4.1 | 257M| 54 | 7 | 172 | 24 | 172 | 20 | 23 | 70k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
824.39/824.65 c 825s| 1620k|419662 | 6706k| 4.1 | 258M| 54 | 7 | 172 | 26 | 172 | 20 | 23 | 70k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
828.99/829.26 c 829s| 1630k|421315 | 6746k| 4.1 | 259M| 54 | - | 172 | 27 | 172 | 20 | 23 | 71k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
833.69/833.92 c 834s| 1640k|423298 | 6785k| 4.1 | 260M| 54 | 7 | 172 | 25 | 172 | 20 | 23 | 71k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
838.29/838.52 c 839s| 1650k|425082 | 6824k| 4.1 | 261M| 54 | 7 | 172 | 23 | 172 | 20 | 23 | 72k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
842.78/843.05 c 843s| 1660k|426478 | 6863k| 4.1 | 262M| 54 | - | 172 | 25 | 172 | 20 | 23 | 72k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
847.29/847.59 c 848s| 1670k|428005 | 6903k| 4.1 | 263M| 54 | - | 172 | 27 | 0 | 0 | 23 | 72k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
851.89/852.11 c 852s| 1680k|429817 | 6941k| 4.1 | 265M| 54 | - | 172 | 23 | 0 | 0 | 23 | 73k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
856.39/856.68 c 857s| 1690k|431356 | 6980k| 4.1 | 266M| 54 | - | 172 | 25 | 0 | 0 | 23 | 73k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
860.99/861.28 c 861s| 1700k|432814 | 7020k| 4.1 | 267M| 54 | 7 | 172 | 25 | 172 | 20 | 23 | 74k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
865.58/865.81 c 866s| 1710k|434298 | 7058k| 4.1 | 268M| 54 | 7 | 172 | 22 | 172 | 20 | 23 | 74k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
870.18/870.40 c 870s| 1720k|436022 | 7097k| 4.1 | 269M| 54 | - | 172 | 22 | 172 | 20 | 23 | 75k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
874.78/875.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
874.78/875.00 c 875s| 1730k|437611 | 7137k| 4.1 | 270M| 54 | 7 | 172 | 25 | 172 | 20 | 23 | 75k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
879.38/879.63 c 880s| 1740k|439777 | 7176k| 4.1 | 271M| 54 | - | 172 | 23 | 172 | 20 | 23 | 75k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
883.88/884.18 c 884s| 1750k|441155 | 7214k| 4.1 | 272M| 54 | 7 | 172 | 22 | 172 | 20 | 23 | 76k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
888.48/888.70 c 889s| 1760k|442773 | 7252k| 4.1 | 274M| 54 | 7 | 172 | 23 | 172 | 20 | 23 | 76k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
892.99/893.28 c 893s| 1770k|444292 | 7291k| 4.1 | 275M| 54 | - | 172 | 26 | 172 | 20 | 23 | 77k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
897.68/897.92 c 898s| 1780k|446006 | 7331k| 4.1 | 276M| 55 | - | 172 | 26 | 0 | 0 | 23 | 77k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
902.17/902.43 c 902s| 1790k|447342 | 7370k| 4.1 | 277M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 78k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
906.78/907.08 c 907s| 1800k|449055 | 7410k| 4.1 | 278M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 78k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
911.37/911.69 c 912s| 1810k|450546 | 7450k| 4.1 | 279M| 55 | - | 172 | 22 | 172 | 20 | 23 | 78k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
915.87/916.18 c 916s| 1820k|451919 | 7488k| 4.1 | 280M| 55 | - | 172 | 23 | 172 | 20 | 23 | 79k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
920.38/920.69 c 921s| 1830k|453674 | 7526k| 4.1 | 281M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 79k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
925.07/925.33 c 925s| 1840k|455136 | 7565k| 4.1 | 282M| 55 | - | 172 | 23 | 172 | 20 | 23 | 80k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
929.67/929.90 c 930s| 1850k|456330 | 7605k| 4.1 | 283M| 55 | 7 | 172 | 25 | 172 | 20 | 23 | 80k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
934.16/934.47 c 934s| 1860k|457672 | 7644k| 4.1 | 284M| 55 | - | 172 | 24 | 172 | 20 | 23 | 80k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
938.66/938.99 c 939s| 1870k|459472 | 7683k| 4.1 | 285M| 55 | 7 | 172 | 30 | 172 | 20 | 23 | 81k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
943.27/943.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
943.27/943.51 c 943s| 1880k|460560 | 7721k| 4.1 | 286M| 55 | - | 172 | 25 | 172 | 20 | 23 | 81k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
947.76/948.04 c 948s| 1890k|462013 | 7760k| 4.1 | 287M| 55 | 7 | 172 | 25 | 172 | 20 | 23 | 82k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
952.27/952.60 c 953s| 1900k|463502 | 7798k| 4.1 | 288M| 55 | 7 | 172 | 29 | 172 | 20 | 23 | 82k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
956.86/957.12 c 957s| 1910k|465144 | 7836k| 4.1 | 289M| 55 | - | 172 | 25 | 172 | 20 | 23 | 83k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
961.47/961.71 c 962s| 1920k|466405 | 7876k| 4.1 | 290M| 55 | - | 172 | 26 | 0 | 0 | 23 | 83k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
965.96/966.28 c 966s| 1930k|468131 | 7915k| 4.1 | 291M| 55 | 7 | 172 | 25 | 172 | 20 | 23 | 83k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
970.55/970.82 c 971s| 1940k|469353 | 7955k| 4.1 | 292M| 55 | - | 172 | 27 | 172 | 20 | 23 | 84k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
975.25/975.57 c 976s| 1950k|471360 | 7995k| 4.1 | 293M| 55 | 7 | 172 | 30 | 172 | 20 | 23 | 84k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
979.77/980.08 c 980s| 1960k|472812 | 8032k| 4.1 | 294M| 55 | 7 | 172 | 25 | 172 | 20 | 23 | 85k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
984.36/984.68 c 985s| 1970k|474399 | 8072k| 4.1 | 295M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 85k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
988.96/989.21 c 989s| 1980k|475927 | 8110k| 4.1 | 297M| 55 | - | 172 | 25 | 172 | 20 | 23 | 85k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
993.45/993.79 c 994s| 1990k|477036 | 8149k| 4.1 | 297M| 55 | - | 172 | 24 | 172 | 20 | 23 | 86k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
998.05/998.39 c 998s| 2000k|478473 | 8188k| 4.1 | 298M| 55 | - | 172 | 24 | 172 | 20 | 23 | 86k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1002.75/1003.00 c 1003s| 2010k|479697 | 8228k| 4.1 | 299M| 55 | - | 172 | 27 | 172 | 20 | 23 | 87k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1007.25/1007.57 c 1008s| 2020k|481161 | 8267k| 4.1 | 300M| 55 | 7 | 172 | 25 | 172 | 20 | 23 | 87k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1011.76/1012.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1011.76/1012.08 c 1012s| 2030k|482778 | 8305k| 4.1 | 302M| 55 | - | 172 | 26 | 172 | 20 | 23 | 87k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1016.24/1016.57 c 1017s| 2040k|484025 | 8344k| 4.1 | 303M| 55 | 7 | 172 | 26 | 172 | 20 | 23 | 88k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1020.85/1021.20 c 1021s| 2050k|485750 | 8384k| 4.1 | 304M| 55 | - | 172 | 28 | 172 | 20 | 23 | 88k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1025.45/1025.78 c 1026s| 2060k|487283 | 8422k| 4.1 | 305M| 55 | 7 | 172 | 29 | 172 | 20 | 23 | 89k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1029.94/1030.29 c 1030s| 2070k|488925 | 8459k| 4.1 | 306M| 55 | 7 | 172 | 27 | 172 | 20 | 23 | 89k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1034.54/1034.87 c 1035s| 2080k|489919 | 8498k| 4.1 | 307M| 55 | - | 172 | 26 | 172 | 20 | 23 | 89k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1039.25/1039.52 c 1040s| 2090k|491956 | 8538k| 4.1 | 308M| 55 | 7 | 172 | 26 | 172 | 20 | 23 | 90k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1043.84/1044.12 c 1044s| 2100k|493867 | 8577k| 4.1 | 309M| 55 | 7 | 172 | 26 | 172 | 20 | 23 | 90k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1048.23/1048.59 c 1049s| 2110k|494879 | 8615k| 4.1 | 310M| 55 | - | 172 | 26 | 172 | 20 | 23 | 91k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1053.04/1053.30 c 1053s| 2120k|496943 | 8654k| 4.1 | 311M| 55 | 7 | 172 | 28 | 172 | 20 | 23 | 91k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1057.74/1058.08 c 1058s| 2130k|499111 | 8695k| 4.1 | 313M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 91k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1062.54/1062.80 c 1063s| 2140k|501321 | 8737k| 4.1 | 314M| 55 | 7 | 172 | 25 | 172 | 20 | 23 | 92k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1067.13/1067.48 c 1067s| 2150k|503181 | 8777k| 4.1 | 315M| 55 | - | 172 | 24 | 172 | 20 | 23 | 92k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1072.14/1072.50 c 1072s| 2160k|505904 | 8820k| 4.1 | 317M| 55 | 7 | 172 | 25 | 172 | 20 | 23 | 93k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1077.23/1077.51 c 1077s| 2170k|508824 | 8863k| 4.1 | 318M| 55 | 7 | 172 | 21 | 172 | 20 | 23 | 93k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1082.04/1082.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1082.04/1082.36 c 1082s| 2180k|511197 | 8905k| 4.1 | 320M| 55 | 7 | 172 | 26 | 172 | 20 | 23 | 93k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1086.83/1087.12 c 1087s| 2190k|513546 | 8946k| 4.1 | 321M| 55 | - | 172 | 22 | 172 | 20 | 23 | 94k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1091.53/1091.89 c 1092s| 2200k|515609 | 8987k| 4.1 | 323M| 55 | - | 172 | 26 | 172 | 20 | 23 | 94k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1096.43/1096.70 c 1097s| 2210k|517804 | 9028k| 4.1 | 324M| 55 | - | 172 | 22 | 0 | 0 | 23 | 94k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1101.13/1101.47 c 1101s| 2220k|519698 | 9069k| 4.1 | 325M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 95k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1105.93/1106.25 c 1106s| 2230k|521911 | 9111k| 4.1 | 326M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 95k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1110.63/1110.93 c 1111s| 2240k|523639 | 9151k| 4.1 | 328M| 55 | 7 | 172 | 27 | 172 | 20 | 23 | 95k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1115.33/1115.68 c 1116s| 2250k|525847 | 9191k| 4.1 | 329M| 55 | - | 172 | 22 | 0 | 0 | 23 | 96k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1120.02/1120.30 c 1120s| 2260k|527658 | 9232k| 4.1 | 330M| 55 | 7 | 172 | 29 | 172 | 20 | 23 | 96k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1124.72/1125.00 c 1125s| 2270k|529500 | 9272k| 4.1 | 332M| 55 | - | 172 | 25 | 0 | 0 | 23 | 96k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1129.33/1129.62 c 1130s| 2280k|530854 | 9313k| 4.1 | 333M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 97k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1133.92/1134.28 c 1134s| 2290k|532377 | 9353k| 4.1 | 334M| 55 | 7 | 172 | 28 | 172 | 20 | 23 | 97k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1138.62/1138.94 c 1139s| 2300k|534193 | 9394k| 4.1 | 335M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 97k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1143.31/1143.62 c 1144s| 2310k|535563 | 9434k| 4.1 | 336M| 55 | - | 172 | 28 | 172 | 20 | 23 | 98k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1147.91/1148.27 c 1148s| 2320k|537023 | 9474k| 4.1 | 337M| 55 | - | 172 | 26 | 172 | 20 | 23 | 98k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1152.52/1152.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1152.52/1152.87 c 1153s| 2330k|538313 | 9514k| 4.1 | 338M| 55 | 7 | 172 | 28 | 172 | 20 | 23 | 99k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1157.11/1157.45 c 1157s| 2340k|539475 | 9553k| 4.1 | 339M| 55 | 7 | 172 | 25 | 172 | 20 | 23 | 99k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1161.81/1162.13 c 1162s| 2350k|541070 | 9593k| 4.1 | 340M| 55 | 7 | 172 | 25 | 172 | 20 | 23 | 99k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1166.41/1166.79 c 1167s| 2360k|542742 | 9633k| 4.1 | 341M| 55 | - | 172 | 21 | 172 | 20 | 23 | 100k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1171.11/1171.44 c 1171s| 2370k|544083 | 9672k| 4.1 | 342M| 55 | - | 172 | 23 | 172 | 20 | 23 | 100k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1175.71/1176.05 c 1176s| 2380k|545564 | 9712k| 4.1 | 343M| 55 | - | 172 | 25 | 0 | 0 | 23 | 100k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1180.51/1180.81 c 1181s| 2390k|546745 | 9753k| 4.1 | 344M| 55 | - | 172 | 23 | 172 | 20 | 23 | 101k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1185.10/1185.44 c 1185s| 2400k|547690 | 9793k| 4.1 | 345M| 55 | - | 172 | 23 | 0 | 0 | 23 | 101k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1189.81/1190.15 c 1190s| 2410k|548958 | 9834k| 4.1 | 346M| 55 | 7 | 172 | 26 | 172 | 20 | 23 | 102k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1194.40/1194.78 c 1195s| 2420k|550205 | 9873k| 4.1 | 347M| 55 | - | 172 | 24 | 172 | 20 | 23 | 102k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1199.10/1199.42 c 1199s| 2430k|551337 | 9913k| 4.1 | 348M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 102k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1203.70/1204.05 c 1204s| 2440k|552485 | 9952k| 4.1 | 349M| 55 | 7 | 172 | 24 | 172 | 20 | 23 | 103k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1208.40/1208.70 c 1209s| 2450k|553487 | 9992k| 4.1 | 349M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 103k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1213.01/1213.37 c 1213s| 2460k|554535 | 10032k| 4.1 | 350M| 55 | 7 | 172 | 26 | 172 | 20 | 23 | 103k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1217.70/1218.07 c 1218s| 2470k|556181 | 10073k| 4.1 | 351M| 55 | - | 172 | 21 | 172 | 20 | 23 | 104k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1222.29/1222.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1222.29/1222.69 c 1223s| 2480k|557322 | 10114k| 4.1 | 352M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 104k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1227.00/1227.38 c 1227s| 2490k|558538 | 10154k| 4.1 | 353M| 55 | 7 | 172 | 25 | 172 | 20 | 23 | 104k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1231.70/1232.07 c 1232s| 2500k|559763 | 10195k| 4.1 | 354M| 55 | - | 172 | 25 | 0 | 0 | 23 | 105k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1236.40/1236.79 c 1237s| 2510k|560884 | 10235k| 4.1 | 355M| 55 | - | 172 | 25 | 172 | 20 | 23 | 105k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1241.10/1241.44 c 1241s| 2520k|561868 | 10275k| 4.1 | 356M| 55 | - | 172 | 23 | 172 | 20 | 23 | 105k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1245.69/1246.09 c 1246s| 2530k|562800 | 10315k| 4.1 | 357M| 55 | 7 | 172 | 25 | 172 | 20 | 23 | 106k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1250.40/1250.75 c 1251s| 2540k|563894 | 10355k| 4.1 | 358M| 55 | - | 172 | 23 | 172 | 20 | 23 | 106k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1255.19/1255.50 c 1255s| 2550k|565159 | 10396k| 4.1 | 359M| 55 | - | 172 | 24 | 172 | 20 | 23 | 106k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1255.79/1256.15 o 14
1255.79/1256.15 c *1256s| 2551k|560470 | 10402k| 4.1 | 350M| 55 | - | 172 | 24 | 172 | 20 | 23 | 107k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1255.89/1256.21 o 12
1255.89/1256.21 c *1256s| 2551k|552127 | 10402k| 4.1 | 336M| 55 | - | 172 | 24 | 172 | 20 | 23 | 107k| 21k| 0.000000e+00 | 1.200000e+01 | Inf
1261.99/1262.38 c 1262s| 2560k|553065 | 10434k| 4.1 | 337M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 107k| 21k| 0.000000e+00 | 1.200000e+01 | Inf
1266.59/1266.92 c 1267s| 2570k|553767 | 10471k| 4.1 | 338M| 55 | - | 172 | 23 | 172 | 20 | 23 | 107k| 21k| 0.000000e+00 | 1.200000e+01 | Inf
1271.08/1271.49 c 1271s| 2580k|554845 | 10508k| 4.1 | 339M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 108k| 21k| 0.000000e+00 | 1.200000e+01 | Inf
1275.69/1276.05 c 1276s| 2590k|556075 | 10546k| 4.1 | 339M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 108k| 21k| 0.000000e+00 | 1.200000e+01 | Inf
1280.28/1280.60 c 1281s| 2600k|556627 | 10583k| 4.1 | 340M| 55 | - | 172 | 21 | 172 | 20 | 23 | 108k| 21k| 0.000000e+00 | 1.200000e+01 | Inf
1286.98/1287.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1286.98/1287.34 c 1287s| 2610k|557482 | 10620k| 4.1 | 341M| 55 | - | 172 | 24 | 172 | 20 | 23 | 109k| 21k| 0.000000e+00 | 1.200000e+01 | Inf
1291.48/1291.89 c 1292s| 2620k|558453 | 10658k| 4.1 | 342M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 109k| 21k| 0.000000e+00 | 1.200000e+01 | Inf
1296.08/1296.40 c 1296s| 2630k|559402 | 10694k| 4.1 | 342M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 109k| 21k| 0.000000e+00 | 1.200000e+01 | Inf
1300.58/1300.92 c 1301s| 2640k|560065 | 10730k| 4.1 | 343M| 55 | - | 172 | 23 | 172 | 20 | 23 | 110k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1304.98/1305.37 c 1305s| 2650k|560981 | 10767k| 4.1 | 344M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 110k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1309.57/1309.94 c 1310s| 2660k|562149 | 10805k| 4.1 | 344M| 55 | - | 172 | 23 | 172 | 20 | 23 | 111k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1314.18/1314.52 c 1315s| 2670k|562939 | 10842k| 4.1 | 345M| 55 | - | 172 | 24 | 172 | 20 | 23 | 111k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1318.78/1319.16 c 1319s| 2680k|564820 | 10880k| 4.1 | 346M| 55 | - | 172 | 21 | 172 | 20 | 23 | 111k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1323.37/1323.71 c 1324s| 2690k|566155 | 10917k| 4.1 | 347M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 112k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1327.88/1328.21 c 1328s| 2700k|567271 | 10954k| 4.1 | 348M| 55 | 7 | 172 | 24 | 172 | 20 | 23 | 112k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1332.27/1332.68 c 1333s| 2710k|567919 | 10990k| 4.1 | 349M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 112k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1336.77/1337.13 c 1337s| 2720k|568919 | 11026k| 4.1 | 350M| 55 | 7 | 172 | 21 | 172 | 20 | 23 | 113k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1341.27/1341.62 c 1342s| 2730k|569660 | 11062k| 4.1 | 350M| 55 | - | 172 | 25 | 172 | 20 | 23 | 113k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1345.67/1346.02 c 1346s| 2740k|570777 | 11097k| 4.1 | 351M| 55 | - | 172 | 23 | 172 | 20 | 23 | 113k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1350.17/1350.54 c 1351s| 2750k|572268 | 11135k| 4.0 | 352M| 55 | 7 | 172 | 24 | 172 | 20 | 23 | 114k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1354.56/1354.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1354.56/1354.99 c 1355s| 2760k|573240 | 11172k| 4.0 | 353M| 55 | - | 172 | 23 | 172 | 20 | 23 | 114k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1359.06/1359.43 c 1359s| 2770k|574078 | 11209k| 4.0 | 353M| 55 | - | 172 | 25 | 172 | 20 | 23 | 115k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1363.46/1363.87 c 1364s| 2780k|575081 | 11245k| 4.0 | 354M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 115k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1367.76/1368.18 c 1368s| 2790k|575968 | 11280k| 4.0 | 355M| 55 | - | 172 | 26 | 172 | 20 | 23 | 115k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1372.16/1372.55 c 1373s| 2800k|576961 | 11315k| 4.0 | 356M| 55 | 7 | 172 | 27 | 172 | 20 | 23 | 116k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1376.66/1377.04 c 1377s| 2810k|577850 | 11352k| 4.0 | 356M| 55 | 7 | 172 | 30 | 172 | 20 | 23 | 116k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1381.06/1381.48 c 1381s| 2820k|578655 | 11388k| 4.0 | 357M| 55 | 7 | 172 | 28 | 172 | 20 | 23 | 116k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1385.45/1385.89 c 1386s| 2830k|579346 | 11424k| 4.0 | 358M| 55 | - | 172 | 24 | 0 | 0 | 23 | 117k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1389.97/1390.34 c 1390s| 2840k|579946 | 11460k| 4.0 | 358M| 55 | - | 172 | 26 | 172 | 20 | 23 | 117k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1394.36/1394.77 c 1395s| 2850k|580887 | 11496k| 4.0 | 359M| 55 | - | 172 | 23 | 0 | 0 | 23 | 117k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1398.86/1399.22 c 1399s| 2860k|581743 | 11532k| 4.0 | 360M| 55 | - | 172 | 26 | 0 | 0 | 23 | 118k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1403.26/1403.69 c 1404s| 2870k|582597 | 11570k| 4.0 | 360M| 55 | 7 | 172 | 24 | 172 | 20 | 23 | 118k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1407.75/1408.11 c 1408s| 2880k|583448 | 11606k| 4.0 | 361M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 119k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1412.15/1412.53 c 1413s| 2890k|584203 | 11641k| 4.0 | 362M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 119k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1416.55/1416.97 c 1417s| 2900k|584854 | 11678k| 4.0 | 362M| 55 | 7 | 172 | 24 | 172 | 20 | 23 | 119k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1420.95/1421.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1420.95/1421.39 c 1421s| 2910k|585489 | 11714k| 4.0 | 363M| 55 | 7 | 172 | 21 | 172 | 20 | 23 | 120k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1425.45/1425.83 c 1426s| 2920k|586120 | 11750k| 4.0 | 364M| 55 | - | 172 | 24 | 172 | 20 | 23 | 120k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1429.94/1430.32 c 1430s| 2930k|586863 | 11786k| 4.0 | 364M| 55 | 7 | 172 | 27 | 172 | 20 | 23 | 121k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1434.35/1434.78 c 1435s| 2940k|587466 | 11823k| 4.0 | 365M| 55 | - | 172 | 24 | 172 | 20 | 23 | 121k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1438.85/1439.21 c 1439s| 2950k|588112 | 11859k| 4.0 | 365M| 55 | - | 172 | 24 | 0 | 0 | 23 | 121k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1443.25/1443.69 c 1444s| 2960k|588976 | 11896k| 4.0 | 366M| 55 | 7 | 172 | 26 | 172 | 20 | 23 | 122k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1447.74/1448.19 c 1448s| 2970k|589482 | 11932k| 4.0 | 367M| 55 | 7 | 172 | 26 | 172 | 20 | 23 | 122k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1452.24/1452.63 c 1453s| 2980k|590425 | 11968k| 4.0 | 367M| 55 | 7 | 172 | 26 | 172 | 20 | 23 | 122k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1456.65/1457.03 c 1457s| 2990k|591336 | 12004k| 4.0 | 368M| 55 | - | 172 | 26 | 172 | 20 | 23 | 123k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1461.04/1461.42 c 1461s| 3000k|591839 | 12040k| 4.0 | 369M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 123k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1465.63/1466.00 c 1466s| 3010k|593221 | 12077k| 4.0 | 369M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 123k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1470.13/1470.50 c 1470s| 3020k|594155 | 12114k| 4.0 | 370M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 124k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1474.54/1474.97 c 1475s| 3030k|594587 | 12151k| 4.0 | 371M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 124k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1478.94/1479.39 c 1479s| 3040k|595123 | 12187k| 4.0 | 371M| 55 | 7 | 172 | 26 | 172 | 20 | 23 | 124k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1483.45/1483.82 c 1484s| 3050k|595929 | 12224k| 4.0 | 372M| 55 | - | 172 | 26 | 172 | 20 | 23 | 125k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1487.94/1488.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1487.94/1488.31 c 1488s| 3060k|597058 | 12262k| 4.0 | 373M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 125k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1492.35/1492.77 c 1493s| 3070k|597759 | 12298k| 4.0 | 373M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 125k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1496.74/1497.17 c 1497s| 3080k|598170 | 12334k| 4.0 | 374M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 126k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1501.14/1501.58 c 1502s| 3090k|598938 | 12370k| 4.0 | 375M| 55 | - | 172 | 24 | 172 | 20 | 23 | 126k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1505.63/1506.08 c 1506s| 3100k|599652 | 12407k| 4.0 | 375M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 127k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1510.03/1510.45 c 1510s| 3110k|600424 | 12443k| 4.0 | 376M| 55 | 7 | 172 | 24 | 172 | 20 | 23 | 127k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1514.43/1514.89 c 1515s| 3120k|601110 | 12478k| 4.0 | 376M| 55 | 7 | 172 | 24 | 172 | 20 | 23 | 127k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1518.93/1519.30 c 1519s| 3130k|602119 | 12514k| 4.0 | 377M| 55 | - | 172 | 22 | 172 | 20 | 23 | 128k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1523.23/1523.61 c 1524s| 3140k|602911 | 12549k| 4.0 | 378M| 55 | 7 | 172 | 21 | 172 | 20 | 23 | 128k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1527.43/1527.90 c 1528s| 3150k|603535 | 12584k| 4.0 | 378M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 128k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1531.93/1532.39 c 1532s| 3160k|604376 | 12621k| 4.0 | 379M| 55 | - | 172 | 23 | 172 | 20 | 23 | 129k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1536.52/1536.90 c 1537s| 3170k|605368 | 12658k| 4.0 | 380M| 55 | 7 | 172 | 21 | 172 | 20 | 23 | 129k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1540.92/1541.33 c 1541s| 3180k|606036 | 12696k| 4.0 | 380M| 55 | - | 172 | 25 | 0 | 0 | 23 | 129k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1545.32/1545.79 c 1546s| 3190k|606275 | 12733k| 4.0 | 381M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 130k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1549.82/1550.26 c 1550s| 3200k|606913 | 12769k| 4.0 | 381M| 55 | - | 172 | 22 | 0 | 0 | 23 | 130k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1554.21/1554.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1554.21/1554.64 c 1555s| 3210k|607619 | 12805k| 4.0 | 382M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 130k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1558.62/1559.10 c 1559s| 3220k|608195 | 12842k| 4.0 | 383M| 55 | - | 172 | 22 | 172 | 20 | 23 | 131k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1563.21/1563.62 c 1564s| 3230k|609287 | 12879k| 4.0 | 383M| 55 | - | 172 | 22 | 172 | 20 | 23 | 131k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1567.61/1568.09 c 1568s| 3240k|610295 | 12916k| 4.0 | 384M| 55 | - | 172 | 21 | 172 | 20 | 23 | 132k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1572.11/1572.55 c 1573s| 3250k|610913 | 12953k| 4.0 | 385M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 132k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1576.61/1577.01 c 1577s| 3260k|611391 | 12990k| 4.0 | 385M| 55 | - | 172 | 24 | 172 | 20 | 23 | 132k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1580.91/1581.36 c 1581s| 3270k|611957 | 13026k| 4.0 | 386M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 133k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1585.41/1585.83 c 1586s| 3280k|612424 | 13063k| 4.0 | 386M| 55 | - | 172 | 23 | 172 | 20 | 23 | 133k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1589.91/1590.31 c 1590s| 3290k|613029 | 13100k| 4.0 | 387M| 55 | - | 172 | 23 | 172 | 20 | 23 | 134k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1594.31/1594.76 c 1595s| 3300k|613468 | 13136k| 4.0 | 387M| 55 | 7 | 172 | 24 | 172 | 20 | 23 | 134k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1598.71/1599.16 c 1599s| 3310k|613857 | 13171k| 4.0 | 388M| 55 | - | 172 | 22 | 172 | 20 | 23 | 134k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1603.10/1603.59 c 1604s| 3320k|614351 | 13206k| 4.0 | 388M| 55 | 7 | 172 | 25 | 172 | 20 | 23 | 135k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1607.60/1608.00 c 1608s| 3330k|614824 | 13242k| 4.0 | 389M| 55 | 7 | 172 | 27 | 172 | 20 | 23 | 135k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1612.01/1612.49 c 1612s| 3340k|615658 | 13280k| 4.0 | 390M| 55 | - | 172 | 24 | 0 | 0 | 23 | 135k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1616.51/1617.00 c 1617s| 3350k|616233 | 13317k| 4.0 | 390M| 55 | 7 | 172 | 25 | 172 | 20 | 23 | 136k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1621.01/1621.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1621.01/1621.46 c 1621s| 3360k|616406 | 13354k| 4.0 | 390M| 55 | 7 | 172 | 25 | 172 | 20 | 23 | 136k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1625.41/1625.85 c 1626s| 3370k|616894 | 13389k| 4.0 | 391M| 55 | - | 172 | 24 | 172 | 20 | 23 | 137k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1629.90/1630.32 c 1630s| 3380k|617342 | 13426k| 4.0 | 391M| 55 | - | 172 | 30 | 172 | 20 | 23 | 137k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1634.40/1634.83 c 1635s| 3390k|618075 | 13464k| 4.0 | 392M| 55 | 7 | 172 | 26 | 172 | 20 | 23 | 137k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1638.89/1639.31 c 1639s| 3400k|618603 | 13501k| 4.0 | 393M| 55 | - | 172 | 27 | 0 | 0 | 23 | 138k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1643.29/1643.71 c 1644s| 3410k|618994 | 13537k| 4.0 | 393M| 55 | - | 172 | 23 | 172 | 20 | 23 | 138k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1647.69/1648.17 c 1648s| 3420k|619574 | 13573k| 4.0 | 394M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 138k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1652.09/1652.59 c 1653s| 3430k|620110 | 13610k| 4.0 | 394M| 55 | 7 | 172 | 26 | 172 | 20 | 23 | 139k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1656.59/1657.08 c 1657s| 3440k|620751 | 13646k| 4.0 | 395M| 55 | 7 | 172 | 28 | 172 | 20 | 23 | 139k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1661.09/1661.51 c 1662s| 3450k|621124 | 13682k| 4.0 | 395M| 55 | - | 172 | 28 | 172 | 20 | 23 | 139k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1665.59/1666.01 c 1666s| 3460k|621784 | 13720k| 4.0 | 396M| 55 | - | 172 | 24 | 0 | 0 | 23 | 140k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1670.09/1670.54 c 1671s| 3470k|622558 | 13757k| 4.0 | 396M| 55 | 7 | 172 | 26 | 172 | 20 | 23 | 140k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1674.49/1674.95 c 1675s| 3480k|623009 | 13793k| 4.0 | 397M| 55 | 7 | 172 | 26 | 172 | 20 | 23 | 141k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1678.89/1679.33 c 1679s| 3490k|623533 | 13828k| 4.0 | 397M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 141k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1683.29/1683.74 c 1684s| 3500k|624065 | 13865k| 4.0 | 398M| 55 | 7 | 172 | 26 | 172 | 20 | 23 | 141k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1687.69/1688.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1687.69/1688.14 c 1688s| 3510k|624569 | 13900k| 4.0 | 399M| 55 | - | 172 | 24 | 172 | 20 | 23 | 142k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1692.19/1692.60 c 1693s| 3520k|625546 | 13936k| 4.0 | 399M| 55 | 7 | 172 | 29 | 172 | 20 | 23 | 142k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1696.48/1697.00 c 1697s| 3530k|626669 | 13973k| 4.0 | 400M| 55 | - | 172 | 24 | 172 | 20 | 23 | 142k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1700.88/1701.36 c 1701s| 3540k|627626 | 14008k| 4.0 | 401M| 55 | 7 | 172 | 24 | 172 | 20 | 23 | 143k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1705.28/1705.70 c 1706s| 3550k|628164 | 14044k| 4.0 | 401M| 55 | - | 172 | 23 | 172 | 20 | 23 | 143k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1709.58/1710.05 c 1710s| 3560k|628870 | 14079k| 4.0 | 402M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 143k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1713.88/1714.37 c 1714s| 3570k|629151 | 14115k| 4.0 | 402M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 144k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1718.38/1718.80 c 1719s| 3580k|629850 | 14151k| 4.0 | 403M| 55 | - | 172 | 23 | 172 | 20 | 23 | 144k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1722.68/1723.18 c 1723s| 3590k|630211 | 14187k| 4.0 | 403M| 55 | - | 172 | 28 | 172 | 20 | 23 | 144k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1726.98/1727.45 c 1727s| 3600k|630552 | 14221k| 4.0 | 404M| 55 | - | 172 | 23 | 0 | 0 | 23 | 145k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1731.38/1731.83 c 1732s| 3610k|630740 | 14256k| 3.9 | 404M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 145k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1735.78/1736.24 c 1736s| 3620k|631244 | 14292k| 3.9 | 405M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 145k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1740.17/1740.61 c 1741s| 3630k|631672 | 14328k| 3.9 | 405M| 55 | - | 172 | 23 | 0 | 0 | 23 | 146k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1744.58/1745.02 c 1745s| 3640k|631992 | 14363k| 3.9 | 406M| 55 | - | 172 | 26 | 172 | 20 | 23 | 146k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1748.97/1749.41 c 1749s| 3650k|632505 | 14398k| 3.9 | 406M| 55 | - | 172 | 27 | 172 | 20 | 23 | 146k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1753.37/1753.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1753.37/1753.81 c 1754s| 3660k|632922 | 14433k| 3.9 | 407M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 147k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1757.77/1758.29 c 1758s| 3670k|633478 | 14470k| 3.9 | 407M| 55 | - | 172 | 22 | 172 | 20 | 23 | 147k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1762.37/1762.81 c 1763s| 3680k|634268 | 14507k| 3.9 | 408M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 148k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1766.87/1767.32 c 1767s| 3690k|634476 | 14543k| 3.9 | 408M| 55 | 7 | 172 | 24 | 172 | 20 | 23 | 148k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1771.36/1771.82 c 1772s| 3700k|634773 | 14579k| 3.9 | 409M| 55 | - | 172 | 24 | 172 | 20 | 23 | 148k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1775.76/1776.28 c 1776s| 3710k|635868 | 14615k| 3.9 | 409M| 55 | 7 | 172 | 24 | 172 | 20 | 23 | 149k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1780.17/1780.65 c 1781s| 3720k|636399 | 14650k| 3.9 | 410M| 55 | - | 172 | 24 | 172 | 20 | 23 | 149k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1784.56/1785.00 c 1785s| 3730k|636521 | 14685k| 3.9 | 410M| 55 | 7 | 172 | 24 | 172 | 20 | 23 | 149k| 26k| 0.000000e+00 | 1.200000e+01 | Inf
1788.86/1789.38 c 1789s| 3740k|636940 | 14721k| 3.9 | 411M| 55 | 7 | 172 | 24 | 172 | 20 | 23 | 150k| 26k| 0.000000e+00 | 1.200000e+01 | Inf
1789.56/1790.01 c
1789.56/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.56/1790.01 c Solving Time (sec) : 1790.00
1789.56/1790.01 c Solving Nodes : 3741439
1789.56/1790.01 c Primal Bound : +1.20000000000000e+01 (40 solutions)
1789.56/1790.01 c Dual Bound : +0.00000000000000e+00
1789.56/1790.01 c Gap : infinite
1789.56/1790.01 s SATISFIABLE
1789.56/1790.01 v x172 -x171 x170 -x169 -x168 x167 -x166 -x165 -x164 x163 x162 -x161 -x160 x159 x158 -x157 -x156 x155 -x154 x153 x152 x151 -x150
1789.56/1790.01 v -x149 x148 x147 x146 x145 -x144 -x143 -x142 x141 x140 x139 -x138 x137 -x136 -x135 x134 -x133 -x132 x131 -x130 -x129 x128 x127
1789.56/1790.01 v x126 -x125 -x124 -x123 -x122 x121 x120 x119 x118 -x117 -x116 x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1789.56/1790.01 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
1789.56/1790.01 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
1789.56/1790.01 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
1789.56/1790.01 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
1789.56/1790.01 v -x2 -x1
1789.56/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.56/1790.01 c Solving Time : 1790.00
1789.56/1790.01 c Original Problem :
1789.56/1790.01 c Problem name : HOME/instance-2703917-1278562732.opb
1789.56/1790.01 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.56/1790.01 c Constraints : 14 initial, 14 maximal
1789.56/1790.01 c Presolved Problem :
1789.56/1790.01 c Problem name : t_HOME/instance-2703917-1278562732.opb
1789.56/1790.01 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.56/1790.01 c Constraints : 7 initial, 52 maximal
1789.56/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.56/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.01 c probing : 0.01 0 0 0 0 0 0 0 0
1789.56/1790.01 c linear : 0.00 0 0 0 0 0 7 0 0
1789.56/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.01 c root node : - 56 - - 56 - - - -
1789.56/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.56/1790.01 c integral : 0 0 0 2229370 0 97 4765 0 0 4449238
1789.56/1790.01 c linear : 7+ 7 5627157 2 0 595840 3917961 0 0 0
1789.56/1790.01 c logicor : 0+ 0 853881 0 0 4225 48717 0 0 0
1789.56/1790.01 c countsols : 0 0 0 21 0 0 0 0 0 0
1789.56/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.56/1790.01 c integral : 29.41 0.00 0.00 29.41 0.00
1789.56/1790.01 c linear : 444.16 0.00 444.16 0.00 0.00
1789.56/1790.01 c logicor : 1.92 0.00 1.92 0.00 0.00
1789.56/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.56/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.56/1790.01 c vbounds : 2.18 2 0 0
1789.56/1790.01 c rootredcost : 2.22 32 0 56
1789.56/1790.01 c pseudoobj : 46.63 5632476 5500 632962
1789.56/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.56/1790.01 c propagation : 42.45 603020 138870 164154 58.8 28 31.9 -
1789.56/1790.01 c infeasible LP : 1.21 12965 11876 17508 42.1 2 44.0 0
1789.56/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.56/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.56/1790.01 c pseudo solution : 0.00 3 3 3 2.0 0 0.0 -
1789.56/1790.01 c applied globally : - - - 4593 26.6 - - -
1789.56/1790.01 c applied locally : - - - 145713 57.8 - - -
1789.56/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.56/1790.01 c cut pool : 0.00 5 - - 21 - (maximal pool size: 62)
1789.56/1790.01 c redcost : 69.43 3081949 0 17288061 0 0
1789.56/1790.01 c impliedbounds : 0.00 6 0 0 0 0
1789.56/1790.01 c intobj : 0.00 0 0 0 0 0
1789.56/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.56/1790.01 c gomory : 0.01 6 0 0 0 0
1789.56/1790.01 c strongcg : 0.01 6 0 0 12 0
1789.56/1790.01 c cmir : 0.03 6 0 0 24 0
1789.56/1790.01 c flowcover : 0.05 6 0 0 48 0
1789.56/1790.01 c clique : 0.00 1 0 0 0 0
1789.56/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.56/1790.01 c mcf : 0.00 1 0 0 0 0
1789.56/1790.01 c rapidlearning : 0.10 1 0 0 0 23
1789.56/1790.01 c Pricers : Time Calls Vars
1789.56/1790.01 c problem variables: 0.00 0 0
1789.56/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.56/1790.01 c relpscost : 27.24 2229349 97 4765 0 0 4449238
1789.56/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.56/1790.01 c inference : 0.00 0 0 0 0 0 0
1789.56/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.56/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.56/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.56/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.56/1790.01 c random : 0.00 0 0 0 0 0 0
1789.56/1790.01 c Primal Heuristics : Time Calls Found
1789.56/1790.01 c LP solutions : 0.24 - 21
1789.56/1790.01 c pseudo solutions : 0.00 - 0
1789.56/1790.01 c feaspump : 0.25 1 0
1789.56/1790.01 c oneopt : 1.44 32 0
1789.56/1790.01 c crossover : 23.40 15 2
1789.56/1790.01 c rootsoldiving : 5.93 1083 7
1789.56/1790.01 c pscostdiving : 18.51 5908 1
1789.56/1790.01 c fracdiving : 18.65 5908 3
1789.56/1790.01 c coefdiving : 33.34 5908 4
1789.56/1790.01 c veclendiving : 12.51 5908 0
1789.56/1790.01 c linesearchdiving : 14.34 5908 0
1789.56/1790.01 c guideddiving : 14.47 5908 0
1789.56/1790.01 c objpscostdiving : 6.74 2955 1
1789.56/1790.01 c trivial : 0.00 2 0
1789.56/1790.01 c simplerounding : 1.29 0 0
1789.56/1790.01 c zirounding : 1.37 1000 0
1789.56/1790.01 c rounding : 2.88 22139 0
1789.56/1790.01 c shifting : 6.57 7045 0
1789.56/1790.01 c intshifting : 0.11 0 0
1789.56/1790.01 c twoopt : 0.00 0 0
1789.56/1790.01 c fixandinfer : 0.00 0 0
1789.56/1790.01 c intdiving : 0.00 0 0
1789.56/1790.01 c actconsdiving : 0.00 0 0
1789.56/1790.01 c octane : 0.00 0 0
1789.56/1790.01 c rens : 0.05 1 0
1789.56/1790.01 c rins : 0.00 0 0
1789.56/1790.01 c localbranching : 0.00 0 0
1789.56/1790.01 c mutation : 0.00 0 0
1789.56/1790.01 c dins : 0.00 0 0
1789.56/1790.01 c undercover : 0.00 0 0
1789.56/1790.01 c nlp : 1.09 0 0
1789.56/1790.01 c trysol : 1.98 0 0
1789.56/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.56/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.56/1790.01 c dual LP : 664.71 3422132 13655107 3.99 20543.02
1789.56/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.56/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.56/1790.01 c diving/probing LP: 62.35 492761 1071183 2.17 17180.39
1789.56/1790.01 c strong branching : 6.82 26057 87056 3.34 12772.67
1789.56/1790.01 c (at root node) : - 13 1027 79.00 -
1789.56/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.56/1790.01 c B&B Tree :
1789.56/1790.01 c number of runs : 1
1789.56/1790.01 c nodes : 3741439
1789.56/1790.01 c nodes (total) : 3741439
1789.56/1790.01 c nodes left : 637090
1789.56/1790.01 c max depth : 55
1789.56/1790.01 c max depth (total): 55
1789.56/1790.01 c backtracks : 751950 (20.1%)
1789.56/1790.01 c delayed cutoffs : 26849
1789.56/1790.01 c repropagations : 50055 (190073 domain reductions, 26831 cutoffs)
1789.56/1790.01 c avg switch length: 5.49
1789.56/1790.01 c switching time : 136.30
1789.56/1790.01 c Solution :
1789.56/1790.01 c Solutions found : 40 (32 improvements)
1789.56/1790.01 c First Solution : +1.09300000000000e+03 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1789.56/1790.01 c Primal Bound : +1.20000000000000e+01 (in run 1, after 2551312 nodes, 1256.14 seconds, depth 48, found by <relaxation>)
1789.56/1790.01 c Dual Bound : +0.00000000000000e+00
1789.56/1790.01 c Gap : infinite
1789.56/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.56/1790.01 c Root Iterations : 133
1791.76/1792.29 c Time complete: 1791.85.
OK 12
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703917-1278562732/watcher-2703917-1278562732 -o /tmp/evaluation-result-2703917-1278562732/solver-2703917-1278562732 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703917-1278562732.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.02 1.00 3/106 30758 /proc/meminfo: memFree=1760796/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=7904 CPUtime=0 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 1080 0 0 0 0 0 0 0 20 0 1 0 24479646 8093696 992 1992294400 4194304 8395647 140736394962672 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30758/statm: 1976 1001 365 1026 0 946 0 [startup+0.0729021 s] /proc/loadavg: 1.00 1.02 1.00 3/106 30758 /proc/meminfo: memFree=1760796/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=22792 CPUtime=0.06 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 4903 0 0 0 5 1 0 0 20 0 1 0 24479646 23339008 4462 1992294400 4194304 8395647 140736394962672 18446744073709551615 4698126 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 5698 4462 597 1026 0 4668 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 22792 [startup+0.100904 s] /proc/loadavg: 1.00 1.02 1.00 3/106 30758 /proc/meminfo: memFree=1760796/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=22988 CPUtime=0.09 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 4938 0 0 0 8 1 0 0 20 0 1 0 24479646 23539712 4497 1992294400 4194304 8395647 140736394962672 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 5747 4497 597 1026 0 4717 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22988 [startup+0.300921 s] /proc/loadavg: 1.00 1.02 1.00 3/106 30758 /proc/meminfo: memFree=1760796/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=24104 CPUtime=0.29 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 5610 0 0 0 27 2 0 0 20 0 1 0 24479646 24682496 5169 1992294400 4194304 8395647 140736394962672 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 6026 5169 622 1026 0 4996 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24104 [startup+0.700956 s] /proc/loadavg: 1.00 1.02 1.00 3/106 30758 /proc/meminfo: memFree=1760796/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=24104 CPUtime=0.69 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 5610 0 0 0 64 5 0 0 20 0 1 0 24479646 24682496 5169 1992294400 4194304 8395647 140736394962672 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 6026 5169 622 1026 0 4996 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24104 [startup+1.50103 s] /proc/loadavg: 1.00 1.02 1.00 2/107 30759 /proc/meminfo: memFree=1742436/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=24104 CPUtime=1.49 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 5615 0 0 0 141 8 0 0 22 0 1 0 24479646 24682496 5174 1992294400 4194304 8395647 140736394962672 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 6026 5174 623 1026 0 4996 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24104 [startup+3.10117 s] /proc/loadavg: 1.00 1.02 1.00 2/107 30759 /proc/meminfo: memFree=1741444/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=24492 CPUtime=3.09 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 5728 0 0 0 291 18 0 0 25 0 1 0 24479646 25079808 5287 1992294400 4194304 8395647 140736394962672 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 6123 5287 624 1026 0 5093 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24492 [startup+6.30045 s] /proc/loadavg: 1.00 1.02 1.00 2/107 30759 /proc/meminfo: memFree=1741320/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=24492 CPUtime=6.29 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 5744 0 0 0 601 28 0 0 25 0 1 0 24479646 25079808 5303 1992294400 4194304 8395647 140736394962672 18446744073709551615 6003091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 6123 5303 624 1026 0 5093 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24492 [startup+12.702 s] /proc/loadavg: 1.00 1.02 1.00 2/107 30759 /proc/meminfo: memFree=1741320/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=26752 CPUtime=12.69 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 6332 0 0 0 1215 54 0 0 25 0 1 0 24479646 27394048 5891 1992294400 4194304 8395647 140736394962672 18446744073709551615 7385036 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 6688 5891 624 1026 0 5658 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26752 [startup+25.5011 s] /proc/loadavg: 1.00 1.02 1.00 2/107 30759 /proc/meminfo: memFree=1734376/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=31112 CPUtime=25.49 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 17171 0 0 0 2436 113 0 0 25 0 1 0 24479646 31858688 7041 1992294400 4194304 8395647 140736394962672 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 7778 7041 624 1026 0 6748 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 31112 [startup+51.1014 s] /proc/loadavg: 1.00 1.02 1.00 2/107 30761 /proc/meminfo: memFree=1709328/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=57796 CPUtime=51.08 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 33480 0 0 0 4860 248 0 0 25 0 1 0 24479646 59183104 13509 1992294400 4194304 8395647 140736394962672 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 14449 13509 624 1026 0 13419 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 57796 [startup+102.309 s] /proc/loadavg: 1.00 1.01 1.00 2/107 30764 /proc/meminfo: memFree=1692528/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=72576 CPUtime=102.28 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 60083 0 0 0 9741 487 0 0 25 0 1 0 24479646 74317824 17239 1992294400 4194304 8395647 140736394962672 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 18144 17239 624 1026 0 17114 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 72576 [startup+162.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 30766 /proc/meminfo: memFree=1674300/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=90820 CPUtime=162.25 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 80203 0 0 0 15465 760 0 0 25 0 1 0 24479646 92999680 21849 1992294400 4194304 8395647 140736394962672 18446744073709551615 6068909 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 22705 21849 624 1026 0 21675 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 90820 [startup+222.301 s] /proc/loadavg: 1.07 1.02 1.00 2/107 30768 /proc/meminfo: memFree=1656196/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=109892 CPUtime=222.23 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 92772 0 0 0 21241 982 0 0 25 0 1 0 24479646 112529408 26700 1992294400 4194304 8395647 140736394962672 18446744073709551615 6019690 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 27473 26700 624 1026 0 26443 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 109892 [startup+282.301 s] /proc/loadavg: 1.02 1.01 1.00 2/107 30770 /proc/meminfo: memFree=1637100/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=127928 CPUtime=282.23 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 98197 0 0 0 27018 1205 0 0 25 0 1 0 24479646 130998272 31266 1992294400 4194304 8395647 140736394962672 18446744073709551615 6585964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 31982 31266 624 1026 0 30952 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 127928 [startup+342.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 30771 /proc/meminfo: memFree=1624824/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=139792 CPUtime=342.21 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 101220 0 0 0 32792 1429 0 0 25 0 1 0 24479646 143147008 34289 1992294400 4194304 8395647 140736394962672 18446744073709551615 6028341 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 34948 34289 624 1026 0 33918 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 139792 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30772 /proc/meminfo: memFree=1615648/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=149244 CPUtime=402.19 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 111653 0 0 0 38544 1675 0 0 25 0 1 0 24479646 152825856 36674 1992294400 4194304 8395647 140736394962672 18446744073709551615 4616088 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 37311 36674 624 1026 0 36281 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 149244 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30774 /proc/meminfo: memFree=1597916/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=170268 CPUtime=462.18 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 116861 0 0 0 44305 1913 0 0 25 0 1 0 24479646 174354432 41029 1992294400 4194304 8395647 140736394962672 18446744073709551615 5026912 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 42567 41029 624 1026 0 41537 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 170268 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30776 /proc/meminfo: memFree=1567536/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=199624 CPUtime=522.17 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 125224 0 0 0 50069 2148 0 0 25 0 1 0 24479646 204414976 48541 1992294400 4194304 8395647 140736394962672 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 49906 48541 624 1026 0 48876 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 199624 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30778 /proc/meminfo: memFree=1545836/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=220028 CPUtime=582.15 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 131808 0 0 0 55809 2406 0 0 25 0 1 0 24479646 225308672 53771 1992294400 4194304 8395647 140736394962672 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 55007 53771 624 1026 0 53977 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 220028 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30779 /proc/meminfo: memFree=1528476/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=237272 CPUtime=642.14 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 136250 0 0 0 61572 2642 0 0 25 0 1 0 24479646 242966528 58213 1992294400 4194304 8395647 140736394962672 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 59318 58213 624 1026 0 58288 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 237272 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1395672/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=374176 CPUtime=1122.02 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 169203 0 0 0 107742 4460 0 0 25 0 1 0 24479646 383156224 91166 1992294400 4194304 8395647 140736394962672 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 93544 91166 624 1026 0 92514 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 374176 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30794 /proc/meminfo: memFree=1380048/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=389228 CPUtime=1182.01 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 173070 0 0 0 113509 4692 0 0 25 0 1 0 24479646 398569472 95033 1992294400 4194304 8395647 140736394962672 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 97307 95033 624 1026 0 96277 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 389228 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30796 /proc/meminfo: memFree=1367276/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=401656 CPUtime=1241.99 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 176200 0 0 0 119281 4918 0 0 25 0 1 0 24479646 411295744 98163 1992294400 4194304 8395647 140736394962672 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 100414 98163 624 1026 0 99384 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 401656 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30796 /proc/meminfo: memFree=1360580/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=407552 CPUtime=1301.98 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 186855 0 0 0 125021 5177 0 0 25 0 1 0 24479646 417333248 99653 1992294400 4194304 8395647 140736394962672 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 101888 99653 624 1026 0 100858 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 407552 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30798 /proc/meminfo: memFree=1353636/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=414924 CPUtime=1361.97 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 189408 0 0 0 130808 5389 0 0 25 0 1 0 24479646 424882176 101533 1992294400 4194304 8395647 140736394962672 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 103731 101533 624 1026 0 102701 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 414924 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30800 /proc/meminfo: memFree=1349668/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=418708 CPUtime=1421.96 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 190393 0 0 0 136589 5607 0 0 25 0 1 0 24479646 428756992 102518 1992294400 4194304 8395647 140736394962672 18446744073709551615 5620504 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 104677 102518 624 1026 0 103647 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 418708 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30802 /proc/meminfo: memFree=1342600/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=425432 CPUtime=1481.93 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 192114 0 0 0 142366 5827 0 0 25 0 1 0 24479646 435642368 104239 1992294400 4194304 8395647 140736394962672 18446744073709551615 5029575 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 106358 104239 624 1026 0 105328 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 425432 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30804 /proc/meminfo: memFree=1333672/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=434100 CPUtime=1541.92 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 194353 0 0 0 148143 6049 0 0 25 0 1 0 24479646 444518400 106478 1992294400 4194304 8395647 140736394962672 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 108525 106478 624 1026 0 107495 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 434100 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30804 /proc/meminfo: memFree=1328092/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=439412 CPUtime=1601.9 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 195713 0 0 0 153922 6268 0 0 25 0 1 0 24479646 449957888 107838 1992294400 4194304 8395647 140736394962672 18446744073709551615 6013843 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 109853 107838 624 1026 0 108823 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 439412 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30806 /proc/meminfo: memFree=1321024/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=446380 CPUtime=1661.89 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 197453 0 0 0 159701 6488 0 0 25 0 1 0 24479646 457093120 109578 1992294400 4194304 8395647 140736394962672 18446744073709551615 5026410 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 111595 109578 624 1026 0 110565 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 446380 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30808 /proc/meminfo: memFree=1313336/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=453876 CPUtime=1721.88 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 199392 0 0 0 165475 6713 0 0 25 0 1 0 24479646 464769024 111517 1992294400 4194304 8395647 140736394962672 18446744073709551615 6311052 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 113469 111517 624 1026 0 112439 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 453876 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30810 /proc/meminfo: memFree=1308004/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=458884 CPUtime=1781.87 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 200637 0 0 0 171259 6928 0 0 25 0 1 0 24479646 469897216 112762 1992294400 4194304 8395647 140736394962672 18446744073709551615 6070448 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 114721 112762 624 1026 0 113691 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 458884 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30810 /proc/meminfo: memFree=1307632/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=459204 CPUtime=1785.06 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 200717 0 0 0 171568 6938 0 0 25 0 1 0 24479646 470224896 112842 1992294400 4194304 8395647 140736394962672 18446744073709551615 5026644 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 114801 112842 624 1026 0 113771 0 Current children cumulated CPU time (s) 1785.06 Current children cumulated vsize (KiB) 459204 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30810 /proc/meminfo: memFree=1307632/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=459204 CPUtime=1788.26 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 200717 0 0 0 171876 6950 0 0 25 0 1 0 24479646 470224896 112842 1992294400 4194304 8395647 140736394962672 18446744073709551615 18446744073699066037 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30758/statm: 114801 112842 624 1026 0 113771 0 Current children cumulated CPU time (s) 1788.26 Current children cumulated vsize (KiB) 459204 [startup+1790.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30810 /proc/meminfo: memFree=1307632/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=459204 CPUtime=1789.86 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 200722 0 0 0 172031 6955 0 0 25 0 1 0 24479646 470224896 112847 1992294400 4194304 8395647 140736394962672 18446744073709551615 4653781 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30758/statm: 114801 112847 626 1026 0 113771 0 Current children cumulated CPU time (s) 1789.86 Current children cumulated vsize (KiB) 459204 [startup+1791.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30810 /proc/meminfo: memFree=1307632/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=459204 CPUtime=1790.66 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 200722 0 0 0 172111 6955 0 0 25 0 1 0 24479646 470224896 112847 1992294400 4194304 8395647 140736394962672 18446744073709551615 4723491 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30758/statm: 114801 112847 626 1026 0 113771 0 Current children cumulated CPU time (s) 1790.66 Current children cumulated vsize (KiB) 459204 [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30810 /proc/meminfo: memFree=1307632/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=459204 CPUtime=1791.47 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 200722 0 0 0 172192 6955 0 0 25 0 1 0 24479646 470224896 112847 1992294400 4194304 8395647 140736394962672 18446744073709551615 6345238 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30758/statm: 114801 112847 626 1026 0 113771 0 Current children cumulated CPU time (s) 1791.47 Current children cumulated vsize (KiB) 459204 [startup+1792.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30810 /proc/meminfo: memFree=1307632/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=459204 CPUtime=1791.66 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 200722 0 0 0 172211 6955 0 0 25 0 1 0 24479646 470224896 112847 1992294400 4194304 8395647 140736394962672 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30758/statm: 114801 112847 626 1026 0 113771 0 Current children cumulated CPU time (s) 1791.66 Current children cumulated vsize (KiB) 459204 [startup+1792.2 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30810 /proc/meminfo: memFree=1307632/2059040 swapFree=4139820/4192956 [pid=30758] ppid=30756 vsize=459204 CPUtime=1791.76 /proc/30758/stat : 30758 (pbscip.linux.x8) R 30756 30758 30682 0 -1 4202496 200722 0 0 0 172221 6955 0 0 25 0 1 0 24479646 470224896 112847 1992294400 4194304 8395647 140736394962672 18446744073709551615 4653781 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30758/statm: 114801 112847 626 1026 0 113771 0 Current children cumulated CPU time (s) 1791.76 Current children cumulated vsize (KiB) 459204 Child status: 0 Real time (s): 1792.29 CPU time (s): 1791.86 CPU user time (s): 1722.26 CPU system time (s): 69.6064 CPU usage (%): 99.976 Max. virtual memory (cumulated for all children) (KiB): 459204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1722.26 system time used= 69.6064 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 200725 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= 3 involuntary context switches= 3824 runsolver used 3.03154 second user time and 8.42272 second system time The end
Begin job on node055 at 2010-07-08 06:18:52 IDJOB=2703917 IDBENCH=2921 IDSOLVER=1213 FILE ID=node055/2703917-1278562732 PBS_JOBID= 11239576 Free space on /tmp= 62580 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 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_4.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-2703917-1278562732/watcher-2703917-1278562732 -o /tmp/evaluation-result-2703917-1278562732/solver-2703917-1278562732 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703917-1278562732.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8206de06d2228a9d751f3cf3a6d7aa05 RANDOM SEED=2088541358 node055.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.224 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.44 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.224 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1761200 kB Buffers: 11336 kB Cached: 198592 kB SwapCached: 6608 kB Active: 47144 kB Inactive: 176164 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1761200 kB SwapTotal: 4192956 kB SwapFree: 4139820 kB Dirty: 10308 kB Writeback: 0 kB AnonPages: 11328 kB Mapped: 11840 kB Slab: 52448 kB PageTables: 4164 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 178472 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62572 MiB End job on node055 at 2010-07-08 06:48:44