Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT (TO) | 12 | 1802.1 | 1802.66 |
| 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.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2667084-1276615402.opb>
0.00/0.01 c original problem has 172 variables (172 bin, 0 int, 0 impl, 0 cont) and 14 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 7 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/172 (58.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (2 rounds):
0.00/0.03 c 0 deleted vars, 7 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 172 variables (172 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.03 c 7 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.01
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 44 | - | 564k| 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 | - | 618k| 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.1s| 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.1s| 1 | 0 | 106 | - | 759k| 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 | - | 776k| 0 | 18 | 172 | 30 | 172 | 25 | 18 | 0 | 0 | 0.000000e+00 | 1.093000e+03 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 127 | - | 800k| 0 | 18 | 172 | 30 | 172 | 28 | 21 | 0 | 0 | 0.000000e+00 | 1.093000e+03 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 133 | - | 803k| 0 | 19 | 172 | 30 | 172 | 30 | 23 | 0 | 0 | 0.000000e+00 | 1.093000e+03 | Inf
0.29/0.36 c 0.3s| 1 | 2 | 133 | - | 804k| 0 | 19 | 172 | 30 | 172 | 30 | 23 | 0 | 13 | 0.000000e+00 | 1.093000e+03 | Inf
0.59/0.62 o 491
0.59/0.62 c f 0.6s| 98 | 99 | 763 | 6.5 | 923k| 47 | - | 172 | 30 | 172 | 20 | 23 | 4 | 363 | 0.000000e+00 | 4.910000e+02 | Inf
0.69/0.78 o 346
0.69/0.78 c c 0.7s| 231 | 232 | 1826 | 7.4 |1001k| 47 | - | 172 | 37 | 172 | 20 | 23 | 16 | 467 | 0.000000e+00 | 3.460000e+02 | Inf
0.89/0.95 o 276
0.89/0.95 c c 0.9s| 422 | 423 | 3054 | 6.9 |1097k| 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.0s| 574 | 550 | 3934 | 6.6 |1151k| 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.2s| 805 | 777 | 5356 | 6.5 |1246k| 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.3s| 968 | 897 | 6067 | 6.1 |1320k| 52 | - | 172 | 43 | 172 | 20 | 23 | 43 | 574 | 0.000000e+00 | 1.050000e+02 | Inf
2.09/2.12 o 89
2.09/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.09/2.12 c C 1.9s| 1568 | 1464 | 9314 | 5.9 |1542k| 52 | 7 | 172 | 41 | 172 | 20 | 23 | 62 | 652 | 0.000000e+00 | 8.900000e+01 | Inf
8.99/9.03 c 8.3s| 10000 | 9700 | 62688 | 6.3 |5370k| 52 | 7 | 172 | 46 | 172 | 20 | 23 | 426 | 795 | 0.000000e+00 | 8.900000e+01 | Inf
15.49/15.58 o 57
15.49/15.58 c c14.4s| 18989 | 16780 |113517 | 6.0 |8582k| 52 | - | 172 | 29 | 172 | 20 | 23 | 759 |1173 | 0.000000e+00 | 5.700000e+01 | Inf
16.59/16.66 c 15.4s| 20000 | 17649 |119621 | 6.0 |8987k| 52 | 7 | 172 | 25 | 172 | 20 | 23 | 818 |1271 | 0.000000e+00 | 5.700000e+01 | Inf
23.39/23.49 c 21.6s| 30000 | 25917 |171029 | 5.7 | 13M| 52 | 7 | 172 | 29 | 172 | 20 | 23 |1222 |1802 | 0.000000e+00 | 5.700000e+01 | Inf
24.10/24.15 o 56
24.10/24.15 c p22.3s| 31020 | 26666 |176257 | 5.7 | 13M| 52 | - | 172 | 27 | 172 | 20 | 23 |1251 |1858 | 0.000000e+00 | 5.600000e+01 | Inf
27.28/27.34 o 54
27.28/27.34 c *25.2s| 35109 | 29807 |200601 | 5.7 | 15M| 53 | - | 172 | 27 | 172 | 20 | 23 |1556 |2034 | 0.000000e+00 | 5.400000e+01 | Inf
29.29/29.35 o 52
29.29/29.35 c C27.0s| 35309 | 29799 |201617 | 5.7 | 15M| 53 | - | 172 | 27 | 172 | 20 | 23 |1563 |2041 | 0.000000e+00 | 5.200000e+01 | Inf
32.39/32.42 c 29.8s| 40000 | 33250 |225619 | 5.6 | 17M| 53 | 7 | 172 | 27 | 172 | 20 | 23 |1779 |2228 | 0.000000e+00 | 5.200000e+01 | Inf
38.88/38.91 c 35.8s| 50000 | 40320 |276369 | 5.5 | 21M| 53 | - | 172 | 30 | 172 | 20 | 23 |2314 |2540 | 0.000000e+00 | 5.200000e+01 | Inf
45.48/45.50 c 41.9s| 60000 | 47195 |329388 | 5.5 | 26M| 53 | 7 | 172 | 34 | 172 | 20 | 23 |2900 |2808 | 0.000000e+00 | 5.200000e+01 | Inf
49.87/49.93 o 51
49.87/49.93 c *46.0s| 66762 | 51487 |364327 | 5.5 | 29M| 53 | - | 172 | 35 | 172 | 20 | 23 |3271 |2994 | 0.000000e+00 | 5.100000e+01 | Inf
49.87/49.93 o 49
49.87/49.93 c *46.0s| 66763 | 51149 |364327 | 5.5 | 28M| 53 | - | 172 | 35 | 172 | 20 | 23 |3271 |2994 | 0.000000e+00 | 4.900000e+01 | Inf
53.97/54.06 c 49.7s| 70000 | 53390 |380574 | 5.4 | 29M| 53 | 7 | 172 | 33 | 172 | 20 | 23 |3448 |3048 | 0.000000e+00 | 4.900000e+01 | Inf
55.58/55.63 o 47
55.58/55.63 c *51.2s| 72415 | 53718 |392897 | 5.4 | 29M| 53 | - | 172 | 35 | 172 | 20 | 23 |3583 |3102 | 0.000000e+00 | 4.700000e+01 | Inf
57.77/57.86 o 46
57.77/57.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.77/57.86 c *53.2s| 75764 | 55645 |410639 | 5.4 | 31M| 53 | - | 172 | 35 | 172 | 20 | 23 |3765 |3199 | 0.000000e+00 | 4.600000e+01 | Inf
62.07/62.13 c 57.1s| 80000 | 58499 |432549 | 5.4 | 33M| 53 | 7 | 172 | 37 | 172 | 20 | 23 |3982 |3308 | 0.000000e+00 | 4.600000e+01 | Inf
65.17/65.25 o 44
65.17/65.25 c *60.0s| 84728 | 60881 |457061 | 5.4 | 34M| 53 | - | 172 | 39 | 172 | 20 | 23 |4286 |3418 | 0.000000e+00 | 4.400000e+01 | Inf
65.17/65.26 o 42
65.17/65.26 c *60.0s| 84733 | 60295 |457064 | 5.4 | 33M| 53 | - | 172 | 39 | 172 | 20 | 23 |4286 |3429 | 0.000000e+00 | 4.200000e+01 | Inf
65.17/65.26 o 40
65.17/65.26 c *60.0s| 84734 | 59599 |457064 | 5.4 | 32M| 53 | - | 172 | 39 | 172 | 20 | 23 |4286 |3429 | 0.000000e+00 | 4.000000e+01 | Inf
66.07/66.10 o 38
66.07/66.10 c *60.8s| 86137 | 59564 |463806 | 5.4 | 32M| 53 | - | 172 | 39 | 172 | 20 | 23 |4371 |3466 | 0.000000e+00 | 3.800000e+01 | Inf
66.07/66.11 o 36
66.07/66.11 c *60.8s| 86138 | 58825 |463806 | 5.4 | 31M| 53 | - | 172 | 39 | 172 | 20 | 23 |4371 |3466 | 0.000000e+00 | 3.600000e+01 | Inf
69.07/69.16 c 63.6s| 90000 | 61061 |483363 | 5.4 | 33M| 53 | 7 | 172 | 39 | 172 | 20 | 23 |4622 |3563 | 0.000000e+00 | 3.600000e+01 | Inf
75.17/75.22 c 69.2s|100000 | 65977 |530561 | 5.3 | 37M| 53 | 7 | 172 | 33 | 172 | 20 | 23 |5279 |3817 | 0.000000e+00 | 3.600000e+01 | Inf
81.28/81.35 c 74.9s|110000 | 70473 |577955 | 5.3 | 41M| 53 | 7 | 172 | 34 | 172 | 20 | 23 |5970 |4061 | 0.000000e+00 | 3.600000e+01 | Inf
87.36/87.44 c 80.5s|120000 | 75209 |625448 | 5.2 | 44M| 53 | - | 172 | 28 | 172 | 20 | 23 |6561 |4274 | 0.000000e+00 | 3.600000e+01 | Inf
93.87/93.91 c 86.5s|130000 | 80370 |675259 | 5.2 | 48M| 53 | - | 172 | 28 | 172 | 20 | 23 |7199 |4464 | 0.000000e+00 | 3.600000e+01 | Inf
96.36/96.45 o 34
96.36/96.45 c *88.8s|134011 | 81336 |694635 | 5.2 | 49M| 53 | - | 172 | 30 | 172 | 20 | 23 |7499 |4541 | 0.000000e+00 | 3.400000e+01 | Inf
96.36/96.48 o 30
96.36/96.48 c *88.9s|134013 | 69933 |694638 | 5.2 | 40M| 53 | - | 172 | 30 | 172 | 20 | 23 |7499 |4542 | 0.000000e+00 | 3.000000e+01 | Inf
96.36/96.49 o 26
96.36/96.49 c *88.9s|134014 | 68427 |694638 | 5.2 | 38M| 53 | - | 172 | 30 | 172 | 20 | 23 |7499 |4542 | 0.000000e+00 | 2.600000e+01 | Inf
101.76/101.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.76/101.88 c 93.8s|140000 | 71163 |723177 | 5.2 | 40M| 53 | 7 | 172 | 27 | 172 | 20 | 23 |7821 |4667 | 0.000000e+00 | 2.600000e+01 | Inf
104.96/105.06 o 25
104.96/105.06 c *96.7s|145082 | 73209 |748882 | 5.2 | 41M| 53 | - | 172 | 31 | 172 | 20 | 23 |8093 |4760 | 0.000000e+00 | 2.500000e+01 | Inf
104.96/105.06 o 23
104.96/105.06 c *96.7s|145083 | 72280 |748882 | 5.2 | 40M| 53 | - | 172 | 31 | 172 | 20 | 23 |8093 |4760 | 0.000000e+00 | 2.300000e+01 | Inf
107.96/108.08 c 99.5s|150000 | 74522 |771693 | 5.1 | 41M| 53 | 7 | 172 | 36 | 172 | 20 | 23 |8370 |4871 | 0.000000e+00 | 2.300000e+01 | Inf
114.16/114.30 c 105s|160000 | 79491 |819263 | 5.1 | 44M| 53 | - | 172 | 38 | 172 | 20 | 23 |8901 |5034 | 0.000000e+00 | 2.300000e+01 | Inf
119.95/120.08 c 111s|170000 | 83577 |864268 | 5.1 | 47M| 53 | - | 172 | 36 | 172 | 20 | 23 |9474 |5214 | 0.000000e+00 | 2.300000e+01 | Inf
127.15/127.24 c 117s|180000 | 87103 |908034 | 5.0 | 49M| 53 | 7 | 172 | 32 | 172 | 20 | 23 |9961 |5408 | 0.000000e+00 | 2.300000e+01 | Inf
132.55/132.62 c 122s|190000 | 90722 |950841 | 5.0 | 52M| 53 | 7 | 172 | 34 | 172 | 20 | 23 | 10k|5581 | 0.000000e+00 | 2.300000e+01 | Inf
138.05/138.17 c 127s|200000 | 94751 |995003 | 5.0 | 54M| 53 | 7 | 172 | 32 | 172 | 20 | 23 | 10k|5718 | 0.000000e+00 | 2.300000e+01 | Inf
143.75/143.86 c 132s|210000 | 98740 | 1039k| 4.9 | 57M| 53 | 7 | 172 | 31 | 172 | 20 | 23 | 11k|5885 | 0.000000e+00 | 2.300000e+01 | Inf
147.74/147.87 o 21
147.74/147.87 c * 136s|217467 | 99808 | 1070k| 4.9 | 57M| 53 | - | 172 | 29 | 172 | 20 | 23 | 11k|6017 | 0.000000e+00 | 2.100000e+01 | Inf
151.05/151.18 c 139s|220000 |100368 | 1080k| 4.9 | 57M| 53 | - | 172 | 29 | 172 | 20 | 23 | 11k|6038 | 0.000000e+00 | 2.100000e+01 | Inf
156.25/156.37 c 144s|230000 |103300 | 1121k| 4.9 | 59M| 53 | - | 172 | 30 | 0 | 0 | 23 | 12k|6181 | 0.000000e+00 | 2.100000e+01 | Inf
162.14/162.28 c 149s|240000 |107596 | 1166k| 4.9 | 62M| 53 | 7 | 172 | 27 | 172 | 20 | 23 | 12k|6336 | 0.000000e+00 | 2.100000e+01 | Inf
167.74/167.80 c 155s|250000 |111517 | 1209k| 4.8 | 64M| 53 | 7 | 172 | 27 | 172 | 20 | 23 | 13k|6492 | 0.000000e+00 | 2.100000e+01 | Inf
173.14/173.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.14/173.25 c 160s|260000 |115039 | 1252k| 4.8 | 66M| 53 | 7 | 172 | 30 | 172 | 20 | 23 | 13k|6632 | 0.000000e+00 | 2.100000e+01 | Inf
178.83/179.00 c 165s|270000 |119043 | 1297k| 4.8 | 69M| 53 | 7 | 172 | 24 | 172 | 20 | 23 | 14k|6753 | 0.000000e+00 | 2.100000e+01 | Inf
184.34/184.48 c 170s|280000 |122442 | 1341k| 4.8 | 71M| 53 | 7 | 172 | 26 | 172 | 20 | 23 | 14k|6902 | 0.000000e+00 | 2.100000e+01 | Inf
185.53/185.67 o 19
185.53/185.67 c * 171s|282087 |121359 | 1351k| 4.8 | 69M| 53 | - | 172 | 31 | 172 | 20 | 23 | 14k|6948 | 0.000000e+00 | 1.900000e+01 | Inf
185.53/185.68 o 17
185.53/185.68 c * 171s|282088 |119332 | 1351k| 4.8 | 67M| 53 | - | 172 | 31 | 172 | 20 | 23 | 14k|6948 | 0.000000e+00 | 1.700000e+01 | Inf
189.74/189.88 c 175s|290000 |121202 | 1384k| 4.8 | 68M| 53 | - | 172 | 25 | 172 | 20 | 23 | 15k|7044 | 0.000000e+00 | 1.700000e+01 | Inf
194.84/194.93 c 180s|300000 |123716 | 1423k| 4.7 | 70M| 53 | 7 | 172 | 29 | 172 | 20 | 23 | 15k|7179 | 0.000000e+00 | 1.700000e+01 | Inf
199.93/200.01 c 184s|310000 |126152 | 1464k| 4.7 | 72M| 53 | 7 | 172 | 40 | 172 | 20 | 23 | 16k|7304 | 0.000000e+00 | 1.700000e+01 | Inf
204.83/204.96 c 189s|320000 |128105 | 1503k| 4.7 | 73M| 53 | - | 172 | 31 | 172 | 20 | 23 | 16k|7448 | 0.000000e+00 | 1.700000e+01 | Inf
210.04/210.17 c 194s|330000 |130832 | 1545k| 4.7 | 75M| 53 | 7 | 172 | 36 | 172 | 20 | 23 | 17k|7558 | 0.000000e+00 | 1.700000e+01 | Inf
215.03/215.17 c 198s|340000 |133358 | 1583k| 4.7 | 77M| 53 | 7 | 172 | 34 | 172 | 20 | 23 | 17k|7701 | 0.000000e+00 | 1.700000e+01 | Inf
220.03/220.12 c 203s|350000 |135225 | 1621k| 4.6 | 78M| 53 | 7 | 172 | 32 | 172 | 20 | 23 | 18k|7830 | 0.000000e+00 | 1.700000e+01 | Inf
224.82/224.92 c 207s|360000 |137143 | 1658k| 4.6 | 80M| 53 | 7 | 172 | 28 | 172 | 20 | 23 | 18k|7939 | 0.000000e+00 | 1.700000e+01 | Inf
229.62/229.76 c 212s|370000 |138651 | 1696k| 4.6 | 81M| 53 | - | 172 | 26 | 172 | 20 | 23 | 19k|8058 | 0.000000e+00 | 1.700000e+01 | Inf
234.52/234.60 c 216s|380000 |140305 | 1735k| 4.6 | 82M| 53 | 7 | 172 | 24 | 172 | 20 | 23 | 19k|8182 | 0.000000e+00 | 1.700000e+01 | Inf
239.32/239.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
239.32/239.48 c 221s|390000 |141848 | 1773k| 4.5 | 84M| 53 | 7 | 172 | 23 | 172 | 20 | 23 | 19k|8316 | 0.000000e+00 | 1.700000e+01 | Inf
244.22/244.34 c 225s|400000 |143586 | 1811k| 4.5 | 85M| 53 | 7 | 172 | 30 | 172 | 20 | 23 | 20k|8425 | 0.000000e+00 | 1.700000e+01 | Inf
249.02/249.19 c 230s|410000 |145405 | 1848k| 4.5 | 86M| 53 | 7 | 172 | 26 | 172 | 20 | 23 | 20k|8530 | 0.000000e+00 | 1.700000e+01 | Inf
253.82/253.96 c 234s|420000 |146653 | 1885k| 4.5 | 88M| 53 | - | 172 | 27 | 0 | 0 | 23 | 21k|8650 | 0.000000e+00 | 1.700000e+01 | Inf
258.61/258.77 c 239s|430000 |148270 | 1922k| 4.5 | 89M| 53 | 7 | 172 | 24 | 172 | 20 | 23 | 21k|8762 | 0.000000e+00 | 1.700000e+01 | Inf
263.41/263.58 c 243s|440000 |150237 | 1960k| 4.5 | 90M| 54 | 7 | 172 | 24 | 172 | 20 | 23 | 22k|8884 | 0.000000e+00 | 1.700000e+01 | Inf
268.11/268.26 c 247s|450000 |151646 | 1996k| 4.4 | 91M| 54 | - | 172 | 24 | 172 | 20 | 23 | 22k|8995 | 0.000000e+00 | 1.700000e+01 | Inf
272.91/273.07 c 252s|460000 |152899 | 2034k| 4.4 | 93M| 54 | 7 | 172 | 27 | 172 | 20 | 23 | 23k|9133 | 0.000000e+00 | 1.700000e+01 | Inf
277.71/277.85 c 256s|470000 |154501 | 2071k| 4.4 | 94M| 54 | 7 | 172 | 26 | 172 | 20 | 23 | 23k|9252 | 0.000000e+00 | 1.700000e+01 | Inf
282.52/282.60 c 261s|480000 |155716 | 2108k| 4.4 | 95M| 54 | 7 | 172 | 26 | 172 | 20 | 23 | 24k|9351 | 0.000000e+00 | 1.700000e+01 | Inf
287.21/287.39 c 265s|490000 |156812 | 2146k| 4.4 | 96M| 54 | 7 | 172 | 25 | 172 | 20 | 23 | 24k|9456 | 0.000000e+00 | 1.700000e+01 | Inf
292.01/292.17 c 269s|500000 |158172 | 2184k| 4.4 | 97M| 54 | 7 | 172 | 25 | 172 | 20 | 23 | 24k|9557 | 0.000000e+00 | 1.700000e+01 | Inf
297.00/297.11 c 274s|510000 |159679 | 2223k| 4.4 | 99M| 54 | 7 | 172 | 25 | 172 | 20 | 23 | 25k|9664 | 0.000000e+00 | 1.700000e+01 | Inf
301.70/301.87 c 278s|520000 |160670 | 2260k| 4.3 | 100M| 54 | - | 172 | 25 | 172 | 20 | 23 | 25k|9789 | 0.000000e+00 | 1.700000e+01 | Inf
306.50/306.65 c 283s|530000 |161495 | 2298k| 4.3 | 101M| 54 | 7 | 172 | 27 | 172 | 20 | 23 | 26k|9891 | 0.000000e+00 | 1.700000e+01 | Inf
311.20/311.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
311.20/311.37 c 287s|540000 |162534 | 2335k| 4.3 | 102M| 54 | 7 | 172 | 27 | 172 | 20 | 23 | 26k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
316.00/316.10 c 292s|550000 |163762 | 2372k| 4.3 | 103M| 54 | 7 | 172 | 24 | 172 | 20 | 23 | 26k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
320.69/320.81 c 296s|560000 |164912 | 2408k| 4.3 | 104M| 54 | 7 | 172 | 27 | 172 | 20 | 23 | 27k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
325.41/325.59 c 300s|570000 |165780 | 2446k| 4.3 | 105M| 54 | 7 | 172 | 28 | 172 | 20 | 23 | 27k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
330.19/330.36 c 305s|580000 |166933 | 2484k| 4.3 | 106M| 54 | - | 172 | 27 | 172 | 20 | 23 | 27k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
335.00/335.13 c 309s|590000 |168209 | 2521k| 4.3 | 107M| 54 | - | 172 | 26 | 172 | 20 | 23 | 28k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
339.79/339.93 c 314s|600000 |169204 | 2558k| 4.3 | 108M| 54 | - | 172 | 25 | 172 | 20 | 23 | 28k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
344.59/344.73 c 318s|610000 |170352 | 2595k| 4.3 | 109M| 54 | 7 | 172 | 26 | 172 | 20 | 23 | 29k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
349.29/349.45 c 322s|620000 |170984 | 2631k| 4.2 | 110M| 54 | - | 172 | 26 | 172 | 20 | 23 | 29k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
353.99/354.15 c 327s|630000 |172113 | 2667k| 4.2 | 111M| 54 | - | 172 | 27 | 0 | 0 | 23 | 29k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
358.68/358.84 c 331s|640000 |173085 | 2703k| 4.2 | 111M| 54 | - | 172 | 25 | 0 | 0 | 23 | 30k| 11k| 0.000000e+00 | 1.700000e+01 | Inf
363.29/363.42 c 335s|650000 |174437 | 2738k| 4.2 | 113M| 54 | - | 172 | 25 | 0 | 0 | 23 | 30k| 11k| 0.000000e+00 | 1.700000e+01 | Inf
367.99/368.15 c 340s|660000 |175666 | 2774k| 4.2 | 114M| 54 | - | 172 | 24 | 172 | 20 | 23 | 31k| 11k| 0.000000e+00 | 1.700000e+01 | Inf
372.68/372.90 c 344s|670000 |176700 | 2811k| 4.2 | 115M| 54 | - | 172 | 23 | 0 | 0 | 23 | 31k| 11k| 0.000000e+00 | 1.700000e+01 | Inf
374.38/374.53 o 16
374.38/374.53 c * 346s|673291 |173990 | 2823k| 4.2 | 112M| 54 | - | 172 | 23 | 172 | 20 | 23 | 31k| 11k| 0.000000e+00 | 1.600000e+01 | Inf
377.58/377.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
377.58/377.73 c 349s|680000 |174584 | 2851k| 4.2 | 112M| 54 | - | 172 | 23 | 0 | 0 | 23 | 31k| 11k| 0.000000e+00 | 1.600000e+01 | Inf
382.28/382.49 c 353s|690000 |175412 | 2891k| 4.2 | 113M| 54 | 7 | 172 | 23 | 172 | 20 | 23 | 32k| 11k| 0.000000e+00 | 1.600000e+01 | Inf
388.77/388.96 c 359s|700000 |176068 | 2931k| 4.2 | 114M| 54 | - | 172 | 25 | 172 | 20 | 23 | 32k| 11k| 0.000000e+00 | 1.600000e+01 | Inf
393.38/393.57 c 363s|710000 |177028 | 2969k| 4.2 | 115M| 54 | 7 | 172 | 27 | 172 | 20 | 23 | 32k| 11k| 0.000000e+00 | 1.600000e+01 | Inf
398.08/398.21 c 367s|720000 |178123 | 3008k| 4.2 | 116M| 54 | 7 | 172 | 25 | 172 | 20 | 23 | 33k| 11k| 0.000000e+00 | 1.600000e+01 | Inf
402.78/402.96 c 372s|730000 |179624 | 3049k| 4.2 | 117M| 54 | - | 172 | 22 | 172 | 20 | 23 | 33k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
407.57/407.72 c 376s|740000 |181155 | 3090k| 4.2 | 118M| 54 | 7 | 172 | 26 | 172 | 20 | 23 | 33k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
412.97/413.14 c 381s|750000 |184852 | 3136k| 4.2 | 120M| 54 | - | 172 | 22 | 0 | 0 | 23 | 34k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
417.96/418.15 c 386s|760000 |187399 | 3178k| 4.2 | 122M| 54 | 7 | 172 | 23 | 172 | 20 | 23 | 34k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
423.47/423.66 c 391s|770000 |190998 | 3225k| 4.2 | 123M| 54 | 7 | 172 | 25 | 172 | 20 | 23 | 35k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
428.96/429.12 c 396s|780000 |194399 | 3272k| 4.2 | 125M| 54 | 7 | 172 | 27 | 172 | 20 | 23 | 35k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
434.06/434.22 c 401s|790000 |197249 | 3315k| 4.2 | 127M| 54 | - | 172 | 27 | 0 | 0 | 23 | 35k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
439.36/439.55 c 405s|800000 |200873 | 3359k| 4.2 | 129M| 54 | 7 | 172 | 28 | 172 | 20 | 23 | 36k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
444.56/444.72 c 410s|810000 |204135 | 3402k| 4.2 | 131M| 54 | - | 172 | 26 | 0 | 0 | 23 | 36k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
449.56/449.77 c 415s|820000 |206809 | 3445k| 4.2 | 132M| 54 | - | 172 | 26 | 172 | 20 | 23 | 37k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
454.55/454.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
454.55/454.71 c 419s|830000 |209268 | 3487k| 4.2 | 134M| 54 | - | 172 | 26 | 172 | 20 | 23 | 37k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
459.45/459.64 c 424s|840000 |211471 | 3529k| 4.2 | 135M| 54 | 7 | 172 | 26 | 172 | 20 | 23 | 37k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
464.45/464.63 c 429s|850000 |214244 | 3571k| 4.2 | 137M| 54 | 7 | 172 | 28 | 172 | 20 | 23 | 38k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
469.46/469.63 c 433s|860000 |216976 | 3612k| 4.2 | 138M| 54 | - | 172 | 26 | 172 | 20 | 23 | 38k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
474.75/474.93 c 438s|870000 |220214 | 3656k| 4.2 | 140M| 54 | 7 | 172 | 26 | 172 | 20 | 23 | 39k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
480.04/480.25 c 443s|880000 |223811 | 3700k| 4.2 | 142M| 54 | 7 | 172 | 24 | 172 | 20 | 23 | 39k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
485.64/485.82 c 448s|890000 |228202 | 3745k| 4.2 | 144M| 54 | 7 | 172 | 21 | 172 | 20 | 23 | 39k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
491.24/491.45 c 453s|900000 |232701 | 3790k| 4.2 | 147M| 54 | 7 | 172 | 24 | 172 | 20 | 23 | 40k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
496.64/496.86 c 458s|910000 |236660 | 3834k| 4.2 | 149M| 54 | 7 | 172 | 25 | 172 | 20 | 23 | 40k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
501.84/502.03 c 463s|920000 |240213 | 3876k| 4.2 | 151M| 54 | 7 | 172 | 28 | 172 | 20 | 23 | 41k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
506.94/507.14 c 468s|930000 |243450 | 3917k| 4.2 | 152M| 54 | - | 172 | 22 | 172 | 20 | 23 | 41k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
512.04/512.29 c 473s|940000 |246538 | 3959k| 4.2 | 154M| 54 | - | 172 | 23 | 0 | 0 | 23 | 42k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
517.13/517.33 c 477s|950000 |249718 | 4001k| 4.2 | 156M| 54 | 7 | 172 | 24 | 172 | 20 | 23 | 42k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
522.53/522.73 c 482s|960000 |253448 | 4044k| 4.2 | 158M| 54 | 7 | 172 | 23 | 172 | 20 | 23 | 42k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
527.84/528.08 c 487s|970000 |257275 | 4087k| 4.2 | 160M| 54 | 7 | 172 | 26 | 172 | 20 | 23 | 43k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
532.93/533.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
532.93/533.17 c 492s|980000 |260540 | 4129k| 4.2 | 162M| 54 | - | 172 | 23 | 172 | 20 | 23 | 43k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
538.03/538.23 c 497s|990000 |263640 | 4170k| 4.2 | 164M| 54 | - | 172 | 22 | 172 | 20 | 23 | 44k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
543.23/543.46 c 501s| 1000k|267241 | 4212k| 4.2 | 166M| 54 | 7 | 172 | 24 | 172 | 20 | 23 | 44k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
548.12/548.32 c 506s| 1010k|269941 | 4252k| 4.2 | 167M| 54 | 7 | 172 | 23 | 172 | 20 | 23 | 45k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
553.32/553.55 c 511s| 1020k|273223 | 4294k| 4.2 | 169M| 54 | 7 | 172 | 23 | 172 | 20 | 23 | 45k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
558.32/558.58 c 515s| 1030k|276244 | 4336k| 4.2 | 171M| 54 | 7 | 172 | 23 | 172 | 20 | 23 | 45k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
563.22/563.43 c 520s| 1040k|278908 | 4375k| 4.2 | 172M| 54 | 7 | 172 | 23 | 172 | 20 | 23 | 46k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
568.02/568.24 c 524s| 1050k|281597 | 4414k| 4.2 | 174M| 54 | 7 | 172 | 22 | 172 | 20 | 23 | 46k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
572.83/573.05 c 529s| 1060k|284183 | 4453k| 4.2 | 176M| 54 | 7 | 172 | 27 | 172 | 20 | 23 | 47k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
577.71/577.97 c 533s| 1070k|286932 | 4493k| 4.2 | 177M| 54 | 7 | 172 | 25 | 172 | 20 | 23 | 47k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
582.92/583.10 c 538s| 1080k|290377 | 4535k| 4.2 | 179M| 54 | - | 172 | 22 | 172 | 20 | 23 | 48k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
589.92/590.15 c 544s| 1090k|292685 | 4575k| 4.2 | 180M| 54 | 7 | 172 | 22 | 172 | 20 | 23 | 48k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
594.71/594.96 c 549s| 1100k|294879 | 4614k| 4.2 | 182M| 54 | 7 | 172 | 25 | 172 | 20 | 23 | 49k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
599.71/599.94 c 553s| 1110k|297981 | 4654k| 4.2 | 184M| 54 | 7 | 172 | 24 | 172 | 20 | 23 | 49k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
604.61/604.81 c 558s| 1120k|300468 | 4695k| 4.2 | 185M| 54 | - | 172 | 28 | 172 | 20 | 23 | 49k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
609.30/609.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
609.30/609.59 c 562s| 1130k|302589 | 4734k| 4.2 | 186M| 54 | - | 172 | 24 | 172 | 20 | 23 | 50k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
614.21/614.47 c 567s| 1140k|305093 | 4775k| 4.2 | 188M| 54 | 7 | 172 | 22 | 172 | 20 | 23 | 50k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
619.11/619.39 c 571s| 1150k|307831 | 4816k| 4.2 | 190M| 54 | - | 172 | 29 | 172 | 20 | 23 | 51k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
624.01/624.20 c 576s| 1160k|310446 | 4855k| 4.2 | 191M| 54 | 7 | 172 | 26 | 172 | 20 | 23 | 51k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
628.91/629.12 c 580s| 1170k|313249 | 4895k| 4.2 | 193M| 54 | 7 | 172 | 24 | 172 | 20 | 23 | 52k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
633.80/634.04 c 585s| 1180k|315959 | 4935k| 4.2 | 194M| 54 | 7 | 172 | 27 | 172 | 20 | 23 | 52k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
638.60/638.86 c 589s| 1190k|318431 | 4975k| 4.2 | 196M| 54 | - | 172 | 24 | 172 | 20 | 23 | 52k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
644.10/644.33 c 594s| 1200k|322163 | 5019k| 4.2 | 198M| 54 | - | 172 | 24 | 0 | 0 | 23 | 53k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
649.09/649.39 c 599s| 1210k|325356 | 5061k| 4.2 | 200M| 54 | - | 172 | 23 | 172 | 20 | 23 | 53k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
654.09/654.34 c 604s| 1220k|328168 | 5103k| 4.2 | 201M| 54 | - | 172 | 22 | 0 | 0 | 23 | 54k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
659.09/659.30 c 608s| 1230k|330744 | 5145k| 4.2 | 203M| 54 | 7 | 172 | 24 | 172 | 20 | 23 | 54k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
664.49/664.75 c 613s| 1240k|334919 | 5189k| 4.2 | 205M| 54 | 7 | 172 | 28 | 172 | 20 | 23 | 55k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
669.28/669.59 c 618s| 1250k|337610 | 5229k| 4.2 | 207M| 54 | 7 | 172 | 25 | 172 | 20 | 23 | 55k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
674.28/674.57 c 622s| 1260k|340572 | 5269k| 4.2 | 208M| 54 | - | 172 | 25 | 0 | 0 | 23 | 56k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
679.08/679.31 c 627s| 1270k|342906 | 5308k| 4.2 | 210M| 54 | 7 | 172 | 23 | 172 | 20 | 23 | 56k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
683.77/684.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
683.77/684.08 c 631s| 1280k|345076 | 5348k| 4.2 | 211M| 54 | - | 172 | 25 | 0 | 0 | 23 | 56k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
688.77/689.05 c 636s| 1290k|348236 | 5388k| 4.2 | 213M| 54 | - | 172 | 24 | 0 | 0 | 23 | 57k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
693.58/693.80 c 640s| 1300k|350656 | 5427k| 4.2 | 214M| 54 | 7 | 172 | 26 | 172 | 20 | 23 | 57k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
698.28/698.58 c 644s| 1310k|353252 | 5467k| 4.2 | 216M| 54 | - | 172 | 23 | 172 | 20 | 23 | 58k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
703.07/703.37 c 649s| 1320k|355452 | 5507k| 4.2 | 217M| 54 | - | 172 | 23 | 0 | 0 | 23 | 58k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
707.97/708.20 c 653s| 1330k|357564 | 5548k| 4.2 | 219M| 54 | - | 172 | 25 | 172 | 20 | 23 | 58k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
712.57/712.89 c 658s| 1340k|359658 | 5587k| 4.2 | 220M| 54 | 7 | 172 | 29 | 172 | 20 | 23 | 59k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
717.77/718.07 c 662s| 1350k|363091 | 5630k| 4.2 | 222M| 54 | - | 172 | 26 | 0 | 0 | 23 | 59k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
722.76/723.06 c 667s| 1360k|365837 | 5672k| 4.2 | 223M| 54 | - | 172 | 24 | 172 | 20 | 23 | 60k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
727.57/727.86 c 671s| 1370k|367978 | 5713k| 4.2 | 225M| 54 | 7 | 172 | 23 | 172 | 20 | 23 | 60k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
732.37/732.65 c 676s| 1380k|370139 | 5753k| 4.2 | 226M| 54 | 7 | 172 | 24 | 172 | 20 | 23 | 61k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
737.16/737.41 c 680s| 1390k|372145 | 5793k| 4.2 | 228M| 54 | 7 | 172 | 24 | 172 | 20 | 23 | 61k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
741.86/742.11 c 685s| 1400k|373646 | 5833k| 4.2 | 229M| 54 | - | 172 | 25 | 0 | 0 | 23 | 61k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
746.57/746.88 c 689s| 1410k|375599 | 5873k| 4.2 | 230M| 54 | 7 | 172 | 28 | 172 | 20 | 23 | 62k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
751.46/751.80 c 693s| 1420k|378338 | 5914k| 4.2 | 231M| 54 | - | 172 | 25 | 172 | 20 | 23 | 62k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
756.26/756.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
756.26/756.54 c 698s| 1430k|380444 | 5954k| 4.2 | 233M| 54 | - | 172 | 22 | 172 | 20 | 23 | 63k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
760.96/761.29 c 702s| 1440k|382361 | 5994k| 4.2 | 234M| 54 | 7 | 172 | 22 | 172 | 20 | 23 | 63k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
766.36/766.61 c 707s| 1450k|386022 | 6037k| 4.2 | 236M| 54 | - | 172 | 24 | 0 | 0 | 23 | 63k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
771.15/771.46 c 712s| 1460k|388924 | 6078k| 4.2 | 238M| 54 | - | 172 | 24 | 172 | 20 | 23 | 64k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
775.85/776.19 c 716s| 1470k|391074 | 6118k| 4.2 | 239M| 54 | 7 | 172 | 23 | 172 | 20 | 23 | 64k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
780.76/781.00 c 720s| 1480k|393281 | 6157k| 4.2 | 240M| 54 | - | 172 | 24 | 172 | 20 | 23 | 65k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
785.44/785.75 c 725s| 1490k|395686 | 6197k| 4.2 | 242M| 54 | - | 172 | 26 | 0 | 0 | 23 | 65k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
790.24/790.50 c 729s| 1500k|397799 | 6236k| 4.2 | 243M| 54 | - | 172 | 25 | 0 | 0 | 23 | 65k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
794.95/795.20 c 733s| 1510k|399701 | 6275k| 4.2 | 244M| 54 | - | 172 | 25 | 172 | 20 | 23 | 66k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
799.64/799.91 c 738s| 1520k|401836 | 6314k| 4.2 | 246M| 54 | - | 172 | 29 | 172 | 20 | 23 | 66k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
804.34/804.61 c 742s| 1530k|403754 | 6354k| 4.2 | 247M| 54 | 7 | 172 | 23 | 172 | 20 | 23 | 67k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
809.04/809.38 c 747s| 1540k|405738 | 6394k| 4.2 | 248M| 54 | - | 172 | 23 | 0 | 0 | 23 | 67k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
813.84/814.12 c 751s| 1550k|407613 | 6433k| 4.2 | 250M| 54 | - | 172 | 27 | 0 | 0 | 23 | 67k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
818.44/818.78 c 755s| 1560k|409268 | 6472k| 4.1 | 251M| 54 | - | 172 | 23 | 0 | 0 | 23 | 68k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
823.14/823.48 c 760s| 1570k|410865 | 6511k| 4.1 | 252M| 54 | 7 | 172 | 23 | 172 | 20 | 23 | 68k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
827.83/828.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
827.83/828.18 c 764s| 1580k|412751 | 6550k| 4.1 | 253M| 54 | - | 172 | 27 | 172 | 20 | 23 | 69k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
832.53/832.87 c 768s| 1590k|414633 | 6588k| 4.1 | 254M| 54 | - | 172 | 26 | 172 | 20 | 23 | 69k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
837.33/837.60 c 772s| 1600k|416347 | 6627k| 4.1 | 255M| 54 | 7 | 172 | 22 | 172 | 20 | 23 | 70k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
841.93/842.27 c 777s| 1610k|418082 | 6666k| 4.1 | 257M| 54 | 7 | 172 | 24 | 172 | 20 | 23 | 70k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
846.74/847.03 c 781s| 1620k|419662 | 6706k| 4.1 | 258M| 54 | 7 | 172 | 26 | 172 | 20 | 23 | 70k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
851.43/851.77 c 786s| 1630k|421315 | 6746k| 4.1 | 259M| 54 | - | 172 | 27 | 172 | 20 | 23 | 71k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
856.22/856.58 c 790s| 1640k|423298 | 6785k| 4.1 | 260M| 54 | 7 | 172 | 25 | 172 | 20 | 23 | 71k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
861.03/861.32 c 794s| 1650k|425082 | 6824k| 4.1 | 261M| 54 | 7 | 172 | 23 | 172 | 20 | 23 | 72k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
865.62/865.98 c 799s| 1660k|426478 | 6863k| 4.1 | 262M| 54 | - | 172 | 25 | 172 | 20 | 23 | 72k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
870.32/870.65 c 803s| 1670k|428005 | 6903k| 4.1 | 263M| 54 | - | 172 | 27 | 0 | 0 | 23 | 72k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
875.02/875.31 c 807s| 1680k|429817 | 6941k| 4.1 | 265M| 54 | - | 172 | 23 | 0 | 0 | 23 | 73k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
879.73/880.02 c 812s| 1690k|431356 | 6980k| 4.1 | 266M| 54 | - | 172 | 25 | 0 | 0 | 23 | 73k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
884.42/884.76 c 816s| 1700k|432814 | 7020k| 4.1 | 267M| 54 | 7 | 172 | 25 | 172 | 20 | 23 | 74k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
889.11/889.43 c 820s| 1710k|434298 | 7058k| 4.1 | 268M| 54 | 7 | 172 | 22 | 172 | 20 | 23 | 74k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
893.82/894.16 c 825s| 1720k|436022 | 7097k| 4.1 | 269M| 54 | - | 172 | 22 | 172 | 20 | 23 | 75k| 17k| 0.000000e+00 | 1.600000e+01 | Inf
898.51/898.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
898.51/898.90 c 829s| 1730k|437611 | 7137k| 4.1 | 270M| 54 | 7 | 172 | 25 | 172 | 20 | 23 | 75k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
903.31/903.67 c 833s| 1740k|439777 | 7176k| 4.1 | 271M| 54 | - | 172 | 23 | 172 | 20 | 23 | 75k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
908.01/908.37 c 838s| 1750k|441155 | 7214k| 4.1 | 272M| 54 | 7 | 172 | 22 | 172 | 20 | 23 | 76k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
912.72/913.03 c 842s| 1760k|442773 | 7252k| 4.1 | 274M| 54 | 7 | 172 | 23 | 172 | 20 | 23 | 76k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
917.40/917.75 c 846s| 1770k|444292 | 7291k| 4.1 | 275M| 54 | - | 172 | 26 | 172 | 20 | 23 | 77k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
922.20/922.52 c 851s| 1780k|446006 | 7331k| 4.1 | 276M| 55 | - | 172 | 26 | 0 | 0 | 23 | 77k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
926.80/927.17 c 855s| 1790k|447342 | 7370k| 4.1 | 277M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 78k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
931.60/931.96 c 859s| 1800k|449055 | 7410k| 4.1 | 278M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 78k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
936.40/936.71 c 864s| 1810k|450546 | 7450k| 4.1 | 279M| 55 | - | 172 | 22 | 172 | 20 | 23 | 78k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
941.00/941.34 c 868s| 1820k|451919 | 7488k| 4.1 | 280M| 55 | - | 172 | 23 | 172 | 20 | 23 | 79k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
945.61/945.99 c 872s| 1830k|453674 | 7526k| 4.1 | 281M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 79k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
950.39/950.77 c 877s| 1840k|455136 | 7565k| 4.1 | 282M| 55 | - | 172 | 23 | 172 | 20 | 23 | 80k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
955.10/955.48 c 881s| 1850k|456330 | 7605k| 4.1 | 283M| 55 | 7 | 172 | 25 | 172 | 20 | 23 | 80k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
959.80/960.19 c 885s| 1860k|457672 | 7644k| 4.1 | 284M| 55 | - | 172 | 24 | 172 | 20 | 23 | 80k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
964.50/964.85 c 890s| 1870k|459472 | 7683k| 4.1 | 285M| 55 | 7 | 172 | 30 | 172 | 20 | 23 | 81k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
969.19/969.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
969.19/969.51 c 894s| 1880k|460560 | 7721k| 4.1 | 286M| 55 | - | 172 | 25 | 172 | 20 | 23 | 81k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
973.79/974.18 c 898s| 1890k|462013 | 7760k| 4.1 | 287M| 55 | 7 | 172 | 25 | 172 | 20 | 23 | 82k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
978.49/978.87 c 903s| 1900k|463502 | 7798k| 4.1 | 288M| 55 | 7 | 172 | 29 | 172 | 20 | 23 | 82k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
983.19/983.53 c 907s| 1910k|465144 | 7836k| 4.1 | 289M| 55 | - | 172 | 25 | 172 | 20 | 23 | 83k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
987.88/988.26 c 911s| 1920k|466405 | 7876k| 4.1 | 290M| 55 | - | 172 | 26 | 0 | 0 | 23 | 83k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
992.58/992.97 c 916s| 1930k|468131 | 7915k| 4.1 | 291M| 55 | 7 | 172 | 25 | 172 | 20 | 23 | 83k| 18k| 0.000000e+00 | 1.600000e+01 | Inf
997.29/997.65 c 920s| 1940k|469353 | 7955k| 4.1 | 292M| 55 | - | 172 | 27 | 172 | 20 | 23 | 84k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1002.18/1002.54 c 925s| 1950k|471360 | 7995k| 4.1 | 293M| 55 | 7 | 172 | 30 | 172 | 20 | 23 | 84k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1006.78/1007.19 c 929s| 1960k|472812 | 8032k| 4.1 | 294M| 55 | 7 | 172 | 25 | 172 | 20 | 23 | 85k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1011.58/1011.92 c 933s| 1970k|474399 | 8072k| 4.1 | 295M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 85k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1016.17/1016.59 c 938s| 1980k|475927 | 8110k| 4.1 | 297M| 55 | - | 172 | 25 | 172 | 20 | 23 | 85k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1020.98/1021.31 c 942s| 1990k|477036 | 8149k| 4.1 | 297M| 55 | - | 172 | 24 | 172 | 20 | 23 | 86k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1025.67/1026.06 c 946s| 2000k|478473 | 8188k| 4.1 | 298M| 55 | - | 172 | 24 | 172 | 20 | 23 | 86k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1030.47/1030.81 c 951s| 2010k|479697 | 8228k| 4.1 | 299M| 55 | - | 172 | 27 | 172 | 20 | 23 | 87k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1035.17/1035.51 c 955s| 2020k|481161 | 8267k| 4.1 | 300M| 55 | 7 | 172 | 25 | 172 | 20 | 23 | 87k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1039.77/1040.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1039.77/1040.16 c 959s| 2030k|482778 | 8305k| 4.1 | 302M| 55 | - | 172 | 26 | 172 | 20 | 23 | 87k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1044.37/1044.79 c 964s| 2040k|484025 | 8344k| 4.1 | 303M| 55 | 7 | 172 | 26 | 172 | 20 | 23 | 88k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1049.17/1049.56 c 968s| 2050k|485750 | 8384k| 4.1 | 304M| 55 | - | 172 | 28 | 172 | 20 | 23 | 88k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1053.86/1054.28 c 972s| 2060k|487283 | 8422k| 4.1 | 305M| 55 | 7 | 172 | 29 | 172 | 20 | 23 | 89k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1058.57/1058.94 c 977s| 2070k|488925 | 8459k| 4.1 | 306M| 55 | 7 | 172 | 27 | 172 | 20 | 23 | 89k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1063.27/1063.66 c 981s| 2080k|489919 | 8498k| 4.1 | 307M| 55 | - | 172 | 26 | 172 | 20 | 23 | 89k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1068.06/1068.46 c 986s| 2090k|491956 | 8538k| 4.1 | 308M| 55 | 7 | 172 | 26 | 172 | 20 | 23 | 90k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1072.86/1073.20 c 990s| 2100k|493867 | 8577k| 4.1 | 309M| 55 | 7 | 172 | 26 | 172 | 20 | 23 | 90k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1077.46/1077.81 c 994s| 2110k|494879 | 8615k| 4.1 | 310M| 55 | - | 172 | 26 | 172 | 20 | 23 | 91k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1082.26/1082.67 c 999s| 2120k|496943 | 8654k| 4.1 | 311M| 55 | 7 | 172 | 28 | 172 | 20 | 23 | 91k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1087.16/1087.59 c 1003s| 2130k|499111 | 8695k| 4.1 | 313M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 91k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1092.06/1092.46 c 1008s| 2140k|501321 | 8737k| 4.1 | 314M| 55 | 7 | 172 | 25 | 172 | 20 | 23 | 92k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1096.85/1097.27 c 1012s| 2150k|503181 | 8777k| 4.1 | 315M| 55 | - | 172 | 24 | 172 | 20 | 23 | 92k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
1102.05/1102.44 c 1017s| 2160k|505904 | 8820k| 4.1 | 317M| 55 | 7 | 172 | 25 | 172 | 20 | 23 | 93k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1107.15/1107.59 c 1022s| 2170k|508824 | 8863k| 4.1 | 318M| 55 | 7 | 172 | 21 | 172 | 20 | 23 | 93k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1112.15/1112.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1112.15/1112.57 c 1026s| 2180k|511197 | 8905k| 4.1 | 320M| 55 | 7 | 172 | 26 | 172 | 20 | 23 | 93k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1117.05/1117.47 c 1031s| 2190k|513546 | 8946k| 4.1 | 321M| 55 | - | 172 | 22 | 172 | 20 | 23 | 94k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1121.94/1122.37 c 1035s| 2200k|515609 | 8987k| 4.1 | 323M| 55 | - | 172 | 26 | 172 | 20 | 23 | 94k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1126.94/1127.33 c 1040s| 2210k|517804 | 9028k| 4.1 | 324M| 55 | - | 172 | 22 | 0 | 0 | 23 | 94k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1131.84/1132.22 c 1044s| 2220k|519698 | 9069k| 4.1 | 325M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 95k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1136.74/1137.15 c 1049s| 2230k|521911 | 9111k| 4.1 | 326M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 95k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1141.54/1141.96 c 1053s| 2240k|523639 | 9151k| 4.1 | 328M| 55 | 7 | 172 | 27 | 172 | 20 | 23 | 95k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1146.44/1146.84 c 1058s| 2250k|525847 | 9191k| 4.1 | 329M| 55 | - | 172 | 22 | 0 | 0 | 23 | 96k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1151.14/1151.60 c 1062s| 2260k|527658 | 9232k| 4.1 | 330M| 55 | 7 | 172 | 29 | 172 | 20 | 23 | 96k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1156.03/1156.43 c 1067s| 2270k|529500 | 9272k| 4.1 | 332M| 55 | - | 172 | 25 | 0 | 0 | 23 | 96k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1160.74/1161.19 c 1071s| 2280k|530854 | 9313k| 4.1 | 333M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 97k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1165.54/1165.98 c 1076s| 2290k|532377 | 9353k| 4.1 | 334M| 55 | 7 | 172 | 28 | 172 | 20 | 23 | 97k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1170.33/1170.77 c 1080s| 2300k|534193 | 9394k| 4.1 | 335M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 97k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1175.13/1175.59 c 1085s| 2310k|535563 | 9434k| 4.1 | 336M| 55 | - | 172 | 28 | 172 | 20 | 23 | 98k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1179.94/1180.37 c 1089s| 2320k|537023 | 9474k| 4.1 | 337M| 55 | - | 172 | 26 | 172 | 20 | 23 | 98k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1184.73/1185.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1184.73/1185.10 c 1093s| 2330k|538313 | 9514k| 4.1 | 338M| 55 | 7 | 172 | 28 | 172 | 20 | 23 | 99k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1189.42/1189.81 c 1098s| 2340k|539475 | 9553k| 4.1 | 339M| 55 | 7 | 172 | 25 | 172 | 20 | 23 | 99k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1194.23/1194.63 c 1102s| 2350k|541070 | 9593k| 4.1 | 340M| 55 | 7 | 172 | 25 | 172 | 20 | 23 | 99k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1199.02/1199.43 c 1107s| 2360k|542742 | 9633k| 4.1 | 341M| 55 | - | 172 | 21 | 172 | 20 | 23 | 100k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1203.83/1204.21 c 1111s| 2370k|544083 | 9672k| 4.1 | 342M| 55 | - | 172 | 23 | 172 | 20 | 23 | 100k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1208.52/1208.95 c 1115s| 2380k|545564 | 9712k| 4.1 | 343M| 55 | - | 172 | 25 | 0 | 0 | 23 | 100k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
1213.42/1213.84 c 1120s| 2390k|546745 | 9753k| 4.1 | 344M| 55 | - | 172 | 23 | 172 | 20 | 23 | 101k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1218.21/1218.61 c 1124s| 2400k|547690 | 9793k| 4.1 | 345M| 55 | - | 172 | 23 | 0 | 0 | 23 | 101k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1223.01/1223.45 c 1129s| 2410k|548958 | 9834k| 4.1 | 346M| 55 | 7 | 172 | 26 | 172 | 20 | 23 | 102k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1227.81/1228.21 c 1133s| 2420k|550205 | 9873k| 4.1 | 347M| 55 | - | 172 | 24 | 172 | 20 | 23 | 102k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1232.51/1232.98 c 1137s| 2430k|551337 | 9913k| 4.1 | 348M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 102k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1237.31/1237.74 c 1142s| 2440k|552485 | 9952k| 4.1 | 349M| 55 | 7 | 172 | 24 | 172 | 20 | 23 | 103k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1242.11/1242.53 c 1146s| 2450k|553487 | 9992k| 4.1 | 349M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 103k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1246.92/1247.34 c 1151s| 2460k|554535 | 10032k| 4.1 | 350M| 55 | 7 | 172 | 26 | 172 | 20 | 23 | 103k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1251.71/1252.17 c 1155s| 2470k|556181 | 10073k| 4.1 | 351M| 55 | - | 172 | 21 | 172 | 20 | 23 | 104k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1256.51/1256.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1256.51/1256.92 c 1159s| 2480k|557322 | 10114k| 4.1 | 352M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 104k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1261.31/1261.74 c 1164s| 2490k|558538 | 10154k| 4.1 | 353M| 55 | 7 | 172 | 25 | 172 | 20 | 23 | 104k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1266.10/1266.58 c 1168s| 2500k|559763 | 10195k| 4.1 | 354M| 55 | - | 172 | 25 | 0 | 0 | 23 | 105k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1271.00/1271.44 c 1173s| 2510k|560884 | 10235k| 4.1 | 355M| 55 | - | 172 | 25 | 172 | 20 | 23 | 105k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1275.80/1276.22 c 1177s| 2520k|561868 | 10275k| 4.1 | 356M| 55 | - | 172 | 23 | 172 | 20 | 23 | 105k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1280.60/1281.01 c 1182s| 2530k|562800 | 10315k| 4.1 | 357M| 55 | 7 | 172 | 25 | 172 | 20 | 23 | 106k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1285.40/1285.81 c 1186s| 2540k|563894 | 10355k| 4.1 | 358M| 55 | - | 172 | 23 | 172 | 20 | 23 | 106k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1290.19/1290.70 c 1191s| 2550k|565159 | 10396k| 4.1 | 359M| 55 | - | 172 | 24 | 172 | 20 | 23 | 106k| 21k| 0.000000e+00 | 1.600000e+01 | Inf
1290.91/1291.36 o 14
1290.91/1291.36 c *1191s| 2551k|560470 | 10402k| 4.1 | 350M| 55 | - | 172 | 24 | 172 | 20 | 23 | 107k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1291.00/1291.42 o 12
1291.00/1291.42 c *1191s| 2551k|552127 | 10402k| 4.1 | 336M| 55 | - | 172 | 24 | 172 | 20 | 23 | 107k| 21k| 0.000000e+00 | 1.200000e+01 | Inf
1297.10/1297.57 c 1197s| 2560k|553065 | 10434k| 4.1 | 337M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 107k| 21k| 0.000000e+00 | 1.200000e+01 | Inf
1301.80/1302.24 c 1201s| 2570k|553767 | 10471k| 4.1 | 338M| 55 | - | 172 | 23 | 172 | 20 | 23 | 107k| 21k| 0.000000e+00 | 1.200000e+01 | Inf
1306.49/1306.93 c 1206s| 2580k|554845 | 10508k| 4.1 | 339M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 108k| 21k| 0.000000e+00 | 1.200000e+01 | Inf
1311.19/1311.62 c 1210s| 2590k|556075 | 10546k| 4.1 | 339M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 108k| 21k| 0.000000e+00 | 1.200000e+01 | Inf
1315.89/1316.30 c 1214s| 2600k|556627 | 10583k| 4.1 | 340M| 55 | - | 172 | 21 | 172 | 20 | 23 | 108k| 21k| 0.000000e+00 | 1.200000e+01 | Inf
1322.58/1323.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1322.58/1323.05 c 1220s| 2610k|557482 | 10620k| 4.1 | 341M| 55 | - | 172 | 24 | 172 | 20 | 23 | 109k| 21k| 0.000000e+00 | 1.200000e+01 | Inf
1327.29/1327.73 c 1225s| 2620k|558453 | 10658k| 4.1 | 342M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 109k| 21k| 0.000000e+00 | 1.200000e+01 | Inf
1331.89/1332.38 c 1229s| 2630k|559402 | 10694k| 4.1 | 342M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 109k| 21k| 0.000000e+00 | 1.200000e+01 | Inf
1336.58/1337.04 c 1233s| 2640k|560065 | 10730k| 4.1 | 343M| 55 | - | 172 | 23 | 172 | 20 | 23 | 110k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1341.18/1341.62 c 1238s| 2650k|560981 | 10767k| 4.1 | 344M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 110k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1345.89/1346.32 c 1242s| 2660k|562149 | 10805k| 4.1 | 344M| 55 | - | 172 | 23 | 172 | 20 | 23 | 111k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1350.58/1351.03 c 1246s| 2670k|562939 | 10842k| 4.1 | 345M| 55 | - | 172 | 24 | 172 | 20 | 23 | 111k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1355.37/1355.80 c 1251s| 2680k|564820 | 10880k| 4.1 | 346M| 55 | - | 172 | 21 | 172 | 20 | 23 | 111k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1359.98/1360.48 c 1255s| 2690k|566155 | 10917k| 4.1 | 347M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 112k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1364.68/1365.12 c 1259s| 2700k|567271 | 10954k| 4.1 | 348M| 55 | 7 | 172 | 24 | 172 | 20 | 23 | 112k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1369.27/1369.72 c 1264s| 2710k|567919 | 10990k| 4.1 | 349M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 112k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1373.87/1374.30 c 1268s| 2720k|568919 | 11026k| 4.1 | 350M| 55 | 7 | 172 | 21 | 172 | 20 | 23 | 113k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1378.47/1378.92 c 1272s| 2730k|569660 | 11062k| 4.1 | 350M| 55 | - | 172 | 25 | 172 | 20 | 23 | 113k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1382.97/1383.46 c 1276s| 2740k|570777 | 11097k| 4.1 | 351M| 55 | - | 172 | 23 | 172 | 20 | 23 | 113k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1387.67/1388.12 c 1281s| 2750k|572268 | 11135k| 4.0 | 352M| 55 | 7 | 172 | 24 | 172 | 20 | 23 | 114k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1392.26/1392.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1392.26/1392.71 c 1285s| 2760k|573240 | 11172k| 4.0 | 353M| 55 | - | 172 | 23 | 172 | 20 | 23 | 114k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1396.77/1397.28 c 1289s| 2770k|574078 | 11209k| 4.0 | 353M| 55 | - | 172 | 25 | 172 | 20 | 23 | 115k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1401.36/1401.86 c 1293s| 2780k|575081 | 11245k| 4.0 | 354M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 115k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1405.86/1406.31 c 1297s| 2790k|575968 | 11280k| 4.0 | 355M| 55 | - | 172 | 26 | 172 | 20 | 23 | 115k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1410.36/1410.81 c 1301s| 2800k|576961 | 11315k| 4.0 | 356M| 55 | 7 | 172 | 27 | 172 | 20 | 23 | 116k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1414.96/1415.43 c 1306s| 2810k|577850 | 11352k| 4.0 | 356M| 55 | 7 | 172 | 30 | 172 | 20 | 23 | 116k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1419.56/1420.01 c 1310s| 2820k|578655 | 11388k| 4.0 | 357M| 55 | 7 | 172 | 28 | 172 | 20 | 23 | 116k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1424.07/1424.56 c 1314s| 2830k|579346 | 11424k| 4.0 | 358M| 55 | - | 172 | 24 | 0 | 0 | 23 | 117k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1428.65/1429.14 c 1318s| 2840k|579946 | 11460k| 4.0 | 358M| 55 | - | 172 | 26 | 172 | 20 | 23 | 117k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1433.15/1433.70 c 1323s| 2850k|580887 | 11496k| 4.0 | 359M| 55 | - | 172 | 23 | 0 | 0 | 23 | 117k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1437.76/1438.27 c 1327s| 2860k|581743 | 11532k| 4.0 | 360M| 55 | - | 172 | 26 | 0 | 0 | 23 | 118k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1442.35/1442.88 c 1331s| 2870k|582597 | 11570k| 4.0 | 360M| 55 | 7 | 172 | 24 | 172 | 20 | 23 | 118k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1446.95/1447.44 c 1335s| 2880k|583448 | 11606k| 4.0 | 361M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 119k| 22k| 0.000000e+00 | 1.200000e+01 | Inf
1451.46/1451.98 c 1340s| 2890k|584203 | 11641k| 4.0 | 362M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 119k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1456.04/1456.56 c 1344s| 2900k|584854 | 11678k| 4.0 | 362M| 55 | 7 | 172 | 24 | 172 | 20 | 23 | 119k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1460.65/1461.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1460.65/1461.12 c 1348s| 2910k|585489 | 11714k| 4.0 | 363M| 55 | 7 | 172 | 21 | 172 | 20 | 23 | 120k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1465.15/1465.69 c 1352s| 2920k|586120 | 11750k| 4.0 | 364M| 55 | - | 172 | 24 | 172 | 20 | 23 | 120k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1469.84/1470.31 c 1357s| 2930k|586863 | 11786k| 4.0 | 364M| 55 | 7 | 172 | 27 | 172 | 20 | 23 | 121k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1474.44/1474.90 c 1361s| 2940k|587466 | 11823k| 4.0 | 365M| 55 | - | 172 | 24 | 172 | 20 | 23 | 121k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1478.94/1479.46 c 1365s| 2950k|588112 | 11859k| 4.0 | 365M| 55 | - | 172 | 24 | 0 | 0 | 23 | 121k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1483.54/1484.07 c 1369s| 2960k|588976 | 11896k| 4.0 | 366M| 55 | 7 | 172 | 26 | 172 | 20 | 23 | 122k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1488.24/1488.70 c 1373s| 2970k|589482 | 11932k| 4.0 | 367M| 55 | 7 | 172 | 26 | 172 | 20 | 23 | 122k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1492.74/1493.28 c 1378s| 2980k|590425 | 11968k| 4.0 | 367M| 55 | 7 | 172 | 26 | 172 | 20 | 23 | 122k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1497.34/1497.81 c 1382s| 2990k|591336 | 12004k| 4.0 | 368M| 55 | - | 172 | 26 | 172 | 20 | 23 | 123k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1501.84/1502.34 c 1386s| 3000k|591839 | 12040k| 4.0 | 369M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 123k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1506.53/1507.06 c 1390s| 3010k|593221 | 12077k| 4.0 | 369M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 123k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1511.13/1511.70 c 1395s| 3020k|594155 | 12114k| 4.0 | 370M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 124k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1515.73/1516.29 c 1399s| 3030k|594587 | 12151k| 4.0 | 371M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 124k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1520.33/1520.84 c 1403s| 3040k|595123 | 12187k| 4.0 | 371M| 55 | 7 | 172 | 26 | 172 | 20 | 23 | 124k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1524.93/1525.40 c 1407s| 3050k|595929 | 12224k| 4.0 | 372M| 55 | - | 172 | 26 | 172 | 20 | 23 | 125k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1529.53/1530.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1529.53/1530.02 c 1412s| 3060k|597058 | 12262k| 4.0 | 373M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 125k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1534.12/1534.62 c 1416s| 3070k|597759 | 12298k| 4.0 | 373M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 125k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1538.62/1539.15 c 1420s| 3080k|598170 | 12334k| 4.0 | 374M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 126k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1543.12/1543.69 c 1424s| 3090k|598938 | 12370k| 4.0 | 375M| 55 | - | 172 | 24 | 172 | 20 | 23 | 126k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1547.82/1548.33 c 1428s| 3100k|599652 | 12407k| 4.0 | 375M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 127k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1552.32/1552.83 c 1433s| 3110k|600424 | 12443k| 4.0 | 376M| 55 | 7 | 172 | 24 | 172 | 20 | 23 | 127k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1556.92/1557.40 c 1437s| 3120k|601110 | 12478k| 4.0 | 376M| 55 | 7 | 172 | 24 | 172 | 20 | 23 | 127k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1561.42/1561.95 c 1441s| 3130k|602119 | 12514k| 4.0 | 377M| 55 | - | 172 | 22 | 172 | 20 | 23 | 128k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1565.82/1566.39 c 1445s| 3140k|602911 | 12549k| 4.0 | 378M| 55 | 7 | 172 | 21 | 172 | 20 | 23 | 128k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1570.32/1570.82 c 1449s| 3150k|603535 | 12584k| 4.0 | 378M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 128k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1574.91/1575.45 c 1454s| 3160k|604376 | 12621k| 4.0 | 379M| 55 | - | 172 | 23 | 172 | 20 | 23 | 129k| 23k| 0.000000e+00 | 1.200000e+01 | Inf
1579.51/1580.08 c 1458s| 3170k|605368 | 12658k| 4.0 | 380M| 55 | 7 | 172 | 21 | 172 | 20 | 23 | 129k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1584.10/1584.65 c 1462s| 3180k|606036 | 12696k| 4.0 | 380M| 55 | - | 172 | 25 | 0 | 0 | 23 | 129k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1588.71/1589.24 c 1466s| 3190k|606275 | 12733k| 4.0 | 381M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 130k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1593.31/1593.85 c 1471s| 3200k|606913 | 12769k| 4.0 | 381M| 55 | - | 172 | 22 | 0 | 0 | 23 | 130k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1597.81/1598.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1597.81/1598.36 c 1475s| 3210k|607619 | 12805k| 4.0 | 382M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 130k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1602.40/1602.95 c 1479s| 3220k|608195 | 12842k| 4.0 | 383M| 55 | - | 172 | 22 | 172 | 20 | 23 | 131k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1607.10/1607.61 c 1483s| 3230k|609287 | 12879k| 4.0 | 383M| 55 | - | 172 | 22 | 172 | 20 | 23 | 131k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1611.70/1612.22 c 1488s| 3240k|610295 | 12916k| 4.0 | 384M| 55 | - | 172 | 21 | 172 | 20 | 23 | 132k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1616.29/1616.81 c 1492s| 3250k|610913 | 12953k| 4.0 | 385M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 132k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1620.80/1621.40 c 1496s| 3260k|611391 | 12990k| 4.0 | 385M| 55 | - | 172 | 24 | 172 | 20 | 23 | 132k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1625.30/1625.89 c 1500s| 3270k|611957 | 13026k| 4.0 | 386M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 133k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1629.99/1630.50 c 1505s| 3280k|612424 | 13063k| 4.0 | 386M| 55 | - | 172 | 23 | 172 | 20 | 23 | 133k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1634.59/1635.12 c 1509s| 3290k|613029 | 13100k| 4.0 | 387M| 55 | - | 172 | 23 | 172 | 20 | 23 | 134k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1639.19/1639.70 c 1513s| 3300k|613468 | 13136k| 4.0 | 387M| 55 | 7 | 172 | 24 | 172 | 20 | 23 | 134k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1643.69/1644.23 c 1517s| 3310k|613857 | 13171k| 4.0 | 388M| 55 | - | 172 | 22 | 172 | 20 | 23 | 134k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1648.18/1648.80 c 1522s| 3320k|614351 | 13206k| 4.0 | 388M| 55 | 7 | 172 | 25 | 172 | 20 | 23 | 135k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1652.79/1653.34 c 1526s| 3330k|614824 | 13242k| 4.0 | 389M| 55 | 7 | 172 | 27 | 172 | 20 | 23 | 135k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1657.38/1657.96 c 1530s| 3340k|615658 | 13280k| 4.0 | 389M| 55 | - | 172 | 24 | 0 | 0 | 23 | 135k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1662.08/1662.60 c 1534s| 3350k|616233 | 13317k| 4.0 | 390M| 55 | 7 | 172 | 25 | 172 | 20 | 23 | 136k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1666.58/1667.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1666.58/1667.19 c 1538s| 3360k|616406 | 13354k| 4.0 | 390M| 55 | 7 | 172 | 25 | 172 | 20 | 23 | 136k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1671.17/1671.72 c 1543s| 3370k|616894 | 13389k| 4.0 | 391M| 55 | - | 172 | 24 | 172 | 20 | 23 | 137k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1675.79/1676.30 c 1547s| 3380k|617342 | 13426k| 4.0 | 391M| 55 | - | 172 | 30 | 172 | 20 | 23 | 137k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1680.37/1680.94 c 1551s| 3390k|618075 | 13464k| 4.0 | 392M| 55 | 7 | 172 | 26 | 172 | 20 | 23 | 137k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1684.97/1685.55 c 1555s| 3400k|618603 | 13501k| 4.0 | 393M| 55 | - | 172 | 27 | 0 | 0 | 23 | 138k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1689.48/1690.08 c 1560s| 3410k|618994 | 13537k| 4.0 | 393M| 55 | - | 172 | 23 | 172 | 20 | 23 | 138k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1694.07/1694.68 c 1564s| 3420k|619574 | 13573k| 4.0 | 394M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 138k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1698.67/1699.23 c 1568s| 3430k|620110 | 13610k| 4.0 | 394M| 55 | 7 | 172 | 26 | 172 | 20 | 23 | 139k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1703.27/1703.85 c 1572s| 3440k|620751 | 13646k| 4.0 | 395M| 55 | 7 | 172 | 28 | 172 | 20 | 23 | 139k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1707.87/1708.42 c 1577s| 3450k|621124 | 13682k| 4.0 | 395M| 55 | - | 172 | 28 | 172 | 20 | 23 | 139k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1712.46/1713.05 c 1581s| 3460k|621784 | 13720k| 4.0 | 396M| 55 | - | 172 | 24 | 0 | 0 | 23 | 140k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1717.15/1717.71 c 1585s| 3470k|622558 | 13757k| 4.0 | 396M| 55 | 7 | 172 | 26 | 172 | 20 | 23 | 140k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1721.66/1722.24 c 1589s| 3480k|623009 | 13793k| 4.0 | 397M| 55 | 7 | 172 | 26 | 172 | 20 | 23 | 141k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1726.16/1726.76 c 1594s| 3490k|623533 | 13828k| 4.0 | 397M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 141k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1730.76/1731.30 c 1598s| 3500k|624065 | 13865k| 4.0 | 398M| 55 | 7 | 172 | 26 | 172 | 20 | 23 | 141k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1735.26/1735.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1735.26/1735.83 c 1602s| 3510k|624569 | 13900k| 4.0 | 399M| 55 | - | 172 | 24 | 172 | 20 | 23 | 142k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1739.85/1740.42 c 1606s| 3520k|625546 | 13936k| 4.0 | 399M| 55 | 7 | 172 | 29 | 172 | 20 | 23 | 142k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1744.35/1744.94 c 1610s| 3530k|626669 | 13973k| 4.0 | 400M| 55 | - | 172 | 24 | 172 | 20 | 23 | 142k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1748.85/1749.44 c 1614s| 3540k|627626 | 14008k| 4.0 | 401M| 55 | 7 | 172 | 24 | 172 | 20 | 23 | 143k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1753.34/1753.90 c 1619s| 3550k|628164 | 14044k| 4.0 | 401M| 55 | - | 172 | 23 | 172 | 20 | 23 | 143k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1757.75/1758.39 c 1623s| 3560k|628870 | 14079k| 4.0 | 402M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 143k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1762.25/1762.84 c 1627s| 3570k|629151 | 14115k| 4.0 | 402M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 144k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1766.85/1767.40 c 1631s| 3580k|629850 | 14151k| 4.0 | 403M| 55 | - | 172 | 23 | 172 | 20 | 23 | 144k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1771.34/1771.90 c 1635s| 3590k|630211 | 14187k| 4.0 | 403M| 55 | - | 172 | 28 | 172 | 20 | 23 | 144k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1775.74/1776.30 c 1639s| 3600k|630552 | 14221k| 4.0 | 404M| 55 | - | 172 | 23 | 0 | 0 | 23 | 145k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1780.24/1780.80 c 1644s| 3610k|630740 | 14256k| 3.9 | 404M| 55 | 7 | 172 | 23 | 172 | 20 | 23 | 145k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1784.75/1785.35 c 1648s| 3620k|631244 | 14292k| 3.9 | 405M| 55 | 7 | 172 | 22 | 172 | 20 | 23 | 145k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1789.24/1789.85 c 1652s| 3630k|631672 | 14328k| 3.9 | 405M| 55 | - | 172 | 23 | 0 | 0 | 23 | 146k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1793.74/1794.39 c 1656s| 3640k|631992 | 14363k| 3.9 | 406M| 55 | - | 172 | 26 | 172 | 20 | 23 | 146k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1798.33/1798.91 c 1660s| 3650k|632505 | 14398k| 3.9 | 406M| 55 | - | 172 | 27 | 172 | 20 | 23 | 146k| 25k| 0.000000e+00 | 1.200000e+01 | Inf
1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.61 c
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time (sec) : 1661.83
1800.05/1800.61 c Solving Nodes : 3653804
1800.05/1800.61 c Primal Bound : +1.20000000000000e+01 (40 solutions)
1800.05/1800.61 c Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Gap : infinite
1800.05/1800.61 s SATISFIABLE
1800.05/1800.61 v x172 -x171 x170 -x169 -x168 x167 -x166 -x165 -x164 x163 x162 -x161 -x160 x159 x158 -x157 -x156 x155 -x154 x153 x152 x151 -x150
1800.05/1800.61 v -x149 x148 x147 x146 x145 -x144 -x143 -x142 x141 x140 x139 -x138 x137 -x136 -x135 x134 -x133 -x132 x131 -x130 -x129 x128 x127
1800.05/1800.61 v x126 -x125 -x124 -x123 -x122 x121 x120 x119 x118 -x117 -x116 x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.05/1800.61 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.05/1800.61 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55
1800.05/1800.61 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30
1800.05/1800.61 v -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 x9 -x8 -x7 -x6 -x5 -x4 -x3
1800.05/1800.61 v -x2 -x1
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time : 1661.83
1800.05/1800.61 c Original Problem :
1800.05/1800.61 c Problem name : HOME/instance-2667084-1276615402.opb
1800.05/1800.61 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 14 initial, 14 maximal
1800.05/1800.61 c Presolved Problem :
1800.05/1800.61 c Problem name : t_HOME/instance-2667084-1276615402.opb
1800.05/1800.61 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 7 initial, 52 maximal
1800.05/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.61 c linear : 0.00 0 0 0 0 0 7 0 0
1800.05/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c root node : - 56 - - 56 - - - -
1800.05/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c integral : 0 0 0 2182944 0 95 4684 0 0 4356546
1800.05/1800.61 c linear : 7+ 7 5506630 2 0 581060 3818921 0 0 0
1800.05/1800.61 c logicor : 0+ 0 834578 0 0 4199 47429 0 0 0
1800.05/1800.61 c countsols : 0 0 0 21 0 0 0 0 0 0
1800.05/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.61 c integral : 29.61 0.00 0.00 29.61 0.00
1800.05/1800.61 c linear : 425.28 0.00 425.28 0.00 0.00
1800.05/1800.61 c logicor : 1.95 0.00 1.95 0.00 0.00
1800.05/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.61 c vbounds : 2.86 2 0 0
1800.05/1800.61 c rootredcost : 2.55 32 0 56
1800.05/1800.61 c pseudoobj : 48.13 5511800 5351 629341
1800.05/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.61 c propagation : 41.48 588082 135807 160747 58.8 28 31.9 -
1800.05/1800.61 c infeasible LP : 1.23 12735 11647 17213 42.1 2 44.0 0
1800.05/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c pseudo solution : 0.00 3 3 3 2.0 0 0.0 -
1800.05/1800.61 c applied globally : - - - 4502 26.6 - - -
1800.05/1800.61 c applied locally : - - - 142530 57.8 - - -
1800.05/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.61 c cut pool : 0.00 5 - - 21 - (maximal pool size: 62)
1800.05/1800.61 c redcost : 65.30 3016559 0 16859386 0 0
1800.05/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.05/1800.61 c intobj : 0.00 0 0 0 0 0
1800.05/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.61 c gomory : 0.00 6 0 0 0 0
1800.05/1800.61 c strongcg : 0.01 6 0 0 12 0
1800.05/1800.61 c cmir : 0.03 6 0 0 24 0
1800.05/1800.61 c flowcover : 0.04 6 0 0 48 0
1800.05/1800.61 c clique : 0.00 1 0 0 0 0
1800.05/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.61 c mcf : 0.00 1 0 0 0 0
1800.05/1800.61 c rapidlearning : 0.09 1 0 0 0 23
1800.05/1800.61 c Pricers : Time Calls Vars
1800.05/1800.61 c problem variables: 0.00 0 0
1800.05/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c relpscost : 26.92 2182923 95 4684 0 0 4356546
1800.05/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c random : 0.00 0 0 0 0 0 0
1800.05/1800.61 c Primal Heuristics : Time Calls Found
1800.05/1800.61 c LP solutions : 0.22 - 21
1800.05/1800.61 c pseudo solutions : 0.00 - 0
1800.05/1800.61 c intshifting : 0.11 0 0
1800.05/1800.61 c feaspump : 0.25 1 0
1800.05/1800.61 c oneopt : 2.05 32 0
1800.05/1800.61 c crossover : 19.58 15 2
1800.05/1800.61 c rootsoldiving : 5.24 1052 7
1800.05/1800.61 c veclendiving : 11.84 5875 0
1800.05/1800.61 c guideddiving : 13.64 5875 0
1800.05/1800.61 c objpscostdiving : 6.12 2938 1
1800.05/1800.61 c coefdiving : 31.16 5876 4
1800.05/1800.61 c linesearchdiving : 14.06 5876 0
1800.05/1800.61 c fracdiving : 17.68 5876 3
1800.05/1800.61 c pscostdiving : 17.38 5876 1
1800.05/1800.61 c trivial : 0.00 2 0
1800.05/1800.61 c simplerounding : 2.01 0 0
1800.05/1800.61 c zirounding : 2.16 1000 0
1800.05/1800.61 c rounding : 3.18 21903 0
1800.05/1800.61 c shifting : 6.36 6967 0
1800.05/1800.61 c twoopt : 0.00 0 0
1800.05/1800.61 c fixandinfer : 0.00 0 0
1800.05/1800.61 c intdiving : 0.00 0 0
1800.05/1800.61 c actconsdiving : 0.00 0 0
1800.05/1800.61 c octane : 0.00 0 0
1800.05/1800.61 c rens : 0.04 1 0
1800.05/1800.61 c rins : 0.00 0 0
1800.05/1800.61 c localbranching : 0.00 0 0
1800.05/1800.61 c mutation : 0.00 0 0
1800.05/1800.61 c dins : 0.00 0 0
1800.05/1800.61 c undercover : 0.00 0 0
1800.05/1800.61 c nlp : 1.63 0 0
1800.05/1800.61 c trysol : 2.92 0 0
1800.05/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.61 c dual LP : 578.52 3342932 13347729 3.99 23072.20
1800.05/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.61 c diving/probing LP: 56.04 490440 1064197 2.17 18989.95
1800.05/1800.61 c strong branching : 6.39 25758 86192 3.35 13488.58
1800.05/1800.61 c (at root node) : - 13 1027 79.00 -
1800.05/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.61 c B&B Tree :
1800.05/1800.61 c number of runs : 1
1800.05/1800.61 c nodes : 3653804
1800.05/1800.61 c nodes (total) : 3653804
1800.05/1800.61 c nodes left : 632774
1800.05/1800.61 c max depth : 55
1800.05/1800.61 c max depth (total): 55
1800.05/1800.61 c backtracks : 731599 (20.0%)
1800.05/1800.61 c delayed cutoffs : 26108
1800.05/1800.61 c repropagations : 48761 (185042 domain reductions, 26093 cutoffs)
1800.05/1800.61 c avg switch length: 5.49
1800.05/1800.61 c switching time : 127.33
1800.05/1800.61 c Solution :
1800.05/1800.61 c Solutions found : 40 (32 improvements)
1800.05/1800.61 c First Solution : +1.09300000000000e+03 (in run 1, after 1 nodes, 0.11 seconds, depth 0, found by <trysol>)
1800.05/1800.61 c Primal Bound : +1.20000000000000e+01 (in run 1, after 2551312 nodes, 1191.34 seconds, depth 48, found by <relaxation>)
1800.05/1800.61 c Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Gap : infinite
1800.05/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Root Iterations : 133
OK 12
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667084-1276615402/watcher-2667084-1276615402 -o /tmp/evaluation-result-2667084-1276615402/solver-2667084-1276615402 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667084-1276615402.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: 0.98 1.00 1.00 3/105 11982 /proc/meminfo: memFree=1404008/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=7724 CPUtime=0 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 1153 0 0 0 0 0 0 0 25 0 1 0 2833993 7909376 1072 1992294400 4194304 8223781 140734085096832 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11982/statm: 1931 1081 348 984 0 944 0 [startup+0.0491959 s] /proc/loadavg: 0.98 1.00 1.00 3/105 11982 /proc/meminfo: memFree=1404008/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=13328 CPUtime=0.04 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 3107 0 0 0 4 0 0 0 25 0 1 0 2833993 13647872 2404 1992294400 4194304 8223781 140734085096832 18446744073709551615 7235159 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 3332 2405 550 984 0 2345 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 13328 [startup+0.101202 s] /proc/loadavg: 0.98 1.00 1.00 3/105 11982 /proc/meminfo: memFree=1404008/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=20832 CPUtime=0.09 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 4928 0 0 0 8 1 0 0 25 0 1 0 2833993 21331968 3958 1992294400 4194304 8223781 140734085096832 18446744073709551615 5909707 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 5208 3958 565 984 0 4221 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20832 [startup+0.301225 s] /proc/loadavg: 0.98 1.00 1.00 3/105 11982 /proc/meminfo: memFree=1404008/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=21268 CPUtime=0.29 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 8265 0 0 0 26 3 0 0 25 0 1 0 2833993 21778432 4196 1992294400 4194304 8223781 140734085096832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 5317 4196 585 984 0 4330 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21268 [startup+0.701271 s] /proc/loadavg: 0.98 1.00 1.00 3/105 11982 /proc/meminfo: memFree=1404008/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=14440 CPUtime=0.69 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 8268 0 0 0 63 6 0 0 25 0 1 0 2833993 14786560 2790 1992294400 4194304 8223781 140734085096832 18446744073709551615 4978336 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 3610 2790 588 984 0 2623 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14440 [startup+1.50136 s] /proc/loadavg: 0.98 1.00 1.00 2/106 11983 /proc/meminfo: memFree=1394452/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=14440 CPUtime=1.49 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 8786 0 0 0 137 12 0 0 25 0 1 0 2833993 14786560 2792 1992294400 4194304 8223781 140734085096832 18446744073709551615 4978944 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 3610 2792 589 984 0 2623 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14440 [startup+3.10155 s] /proc/loadavg: 0.98 1.00 1.00 2/106 11983 /proc/meminfo: memFree=1388500/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=15264 CPUtime=3.09 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 12854 0 0 0 284 25 0 0 25 0 1 0 2833993 15630336 3006 1992294400 4194304 8223781 140734085096832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 3816 3006 589 984 0 2829 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15264 [startup+6.30191 s] /proc/loadavg: 1.06 1.02 1.00 2/106 11983 /proc/meminfo: memFree=1391476/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=17596 CPUtime=6.29 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 15272 0 0 0 580 49 0 0 25 0 1 0 2833993 18018304 3580 1992294400 4194304 8223781 140734085096832 18446744073709551615 7074011 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 4399 3580 589 984 0 3412 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17596 [startup+12.7016 s] /proc/loadavg: 1.06 1.02 1.00 2/106 11983 /proc/meminfo: memFree=1387632/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=21864 CPUtime=12.69 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 16995 0 0 0 1173 96 0 0 25 0 1 0 2833993 22388736 4686 1992294400 4194304 8223781 140734085096832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 5466 4686 589 984 0 4479 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21864 [startup+25.5011 s] /proc/loadavg: 1.04 1.02 1.00 2/106 11985 /proc/meminfo: memFree=1379332/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=29468 CPUtime=25.49 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 28437 0 0 0 2352 197 0 0 25 0 1 0 2833993 30175232 6652 1992294400 4194304 8223781 140734085096832 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 7367 6652 589 984 0 6380 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 29468 [startup+51.1011 s] /proc/loadavg: 1.03 1.02 1.00 2/106 11985 /proc/meminfo: memFree=1355152/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=55084 CPUtime=51.08 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 43936 0 0 0 4702 406 0 0 25 0 1 0 2833993 56406016 12777 1992294400 4194304 8223781 140734085096832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 13771 12777 589 984 0 12784 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 55084 [startup+102.308 s] /proc/loadavg: 1.01 1.01 1.00 2/106 11987 /proc/meminfo: memFree=1337296/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=71932 CPUtime=102.27 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 70011 0 0 0 9417 810 0 0 25 0 1 0 2833993 73658368 16943 1992294400 4194304 8223781 140734085096832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 17983 16943 589 984 0 16996 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 71932 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11987 /proc/meminfo: memFree=1320060/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=89752 CPUtime=162.24 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 88228 0 0 0 14948 1276 0 0 25 0 1 0 2833993 91906048 21496 1992294400 4194304 8223781 140734085096832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 22438 21496 589 984 0 21451 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 89752 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11989 /proc/meminfo: memFree=1300592/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=108124 CPUtime=222.22 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 99000 0 0 0 20491 1731 0 0 25 0 1 0 2833993 110718976 26195 1992294400 4194304 8223781 140734085096832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 27031 26195 589 984 0 26044 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 108124 [startup+282.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11991 /proc/meminfo: memFree=1284844/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=123892 CPUtime=282.21 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 103618 0 0 0 26032 2189 0 0 25 0 1 0 2833993 126865408 30204 1992294400 4194304 8223781 140734085096832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 30973 30204 589 984 0 29986 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 123892 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11993 /proc/meminfo: memFree=1270460/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=137676 CPUtime=342.19 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 107709 0 0 0 31581 2638 0 0 25 0 1 0 2833993 140980224 33693 1992294400 4194304 8223781 140734085096832 18446744073709551615 4677228 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 34419 33693 589 984 0 33432 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 137676 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11995 /proc/meminfo: memFree=1260788/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=146384 CPUtime=402.17 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 117127 0 0 0 37105 3112 0 0 25 0 1 0 2833993 149897216 35931 1992294400 4194304 8223781 140734085096832 18446744073709551615 4981628 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 36596 35931 589 984 0 35609 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 146384 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11995 /proc/meminfo: memFree=1244544/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=166812 CPUtime=462.15 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 121942 0 0 0 42641 3574 0 0 25 0 1 0 2833993 170815488 40142 1992294400 4194304 8223781 140734085096832 18446744073709551615 4978973 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 41703 40142 589 984 0 40716 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 166812 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12000 /proc/meminfo: memFree=1216768/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=193304 CPUtime=522.13 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 129315 0 0 0 48189 4024 0 0 25 0 1 0 2833993 197943296 46912 1992294400 4194304 8223781 140734085096832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 48326 46912 589 984 0 47339 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 193304 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12002 /proc/meminfo: memFree=1193704/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=215600 CPUtime=582.12 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 135054 0 0 0 53731 4481 0 0 25 0 1 0 2833993 220774400 52651 1992294400 4194304 8223781 140734085096832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 53900 52651 589 984 0 52913 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 215600 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12004 /proc/meminfo: memFree=1175352/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=233392 CPUtime=642.11 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 142629 0 0 0 59248 4963 0 0 25 0 1 0 2833993 238993408 57217 1992294400 4194304 8223781 140734085096832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 58348 57217 589 984 0 57361 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 233392 [startup+702.301 s] ################ # More data... # ################ /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 167592 0 0 0 92435 7763 0 0 25 0 1 0 2833993 344805376 81583 1992294400 4194304 8223781 140734085096832 18446744073709551615 4947379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 84181 81583 589 984 0 83194 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 336724 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12014 /proc/meminfo: memFree=1064124/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=349740 CPUtime=1061.96 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 170903 0 0 0 97984 8212 0 0 25 0 1 0 2833993 358133760 84894 1992294400 4194304 8223781 140734085096832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 87435 84894 589 984 0 86448 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 349740 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12016 /proc/meminfo: memFree=1048004/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=365340 CPUtime=1121.94 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 174914 0 0 0 103525 8669 0 0 25 0 1 0 2833993 374108160 88905 1992294400 4194304 8223781 140734085096832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 91335 88905 589 984 0 90348 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 365340 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12018 /proc/meminfo: memFree=1031636/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=381156 CPUtime=1181.93 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 179558 0 0 0 109071 9122 0 0 25 0 1 0 2833993 390303744 92949 1992294400 4194304 8223781 140734085096832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 95289 92949 589 984 0 94302 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 381156 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12020 /proc/meminfo: memFree=1014152/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=398096 CPUtime=1241.9 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 183853 0 0 0 114601 9589 0 0 25 0 1 0 2833993 407650304 97244 1992294400 4194304 8223781 140734085096832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 99524 97244 589 984 0 98537 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 398096 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12022 /proc/meminfo: memFree=1005100/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=406136 CPUtime=1301.9 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 193559 0 0 0 120135 10055 0 0 25 0 1 0 2833993 415883264 99302 1992294400 4194304 8223781 140734085096832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 101534 99302 589 984 0 100547 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 406136 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12022 /proc/meminfo: memFree=1002744/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=409112 CPUtime=1361.88 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 198525 0 0 0 125676 10512 0 0 25 0 1 0 2833993 418930688 100050 1992294400 4194304 8223781 140734085096832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 102278 100050 589 984 0 101291 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 409112 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12024 /proc/meminfo: memFree=994684/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=416944 CPUtime=1421.86 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 201131 0 0 0 131213 10973 0 0 25 0 1 0 2833993 426950656 102056 1992294400 4194304 8223781 140734085096832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 104236 102056 589 984 0 103249 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 416944 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12026 /proc/meminfo: memFree=988112/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=423292 CPUtime=1481.84 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 202755 0 0 0 136759 11425 0 0 25 0 1 0 2833993 433451008 103680 1992294400 4194304 8223781 140734085096832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 105823 103680 589 984 0 104836 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 423292 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12028 /proc/meminfo: memFree=980548/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=430684 CPUtime=1541.82 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 205242 0 0 0 142293 11889 0 0 25 0 1 0 2833993 441020416 105567 1992294400 4194304 8223781 140734085096832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 107671 105567 589 984 0 106684 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 430684 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12030 /proc/meminfo: memFree=972984/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=437924 CPUtime=1601.81 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 207088 0 0 0 147842 12339 0 0 25 0 1 0 2833993 448434176 107413 1992294400 4194304 8223781 140734085096832 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 109481 107413 589 984 0 108494 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 437924 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12030 /proc/meminfo: memFree=966040/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=444708 CPUtime=1661.78 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 208816 0 0 0 153391 12787 0 0 25 0 1 0 2833993 455380992 109141 1992294400 4194304 8223781 140734085096832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 111177 109141 589 984 0 110190 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 444708 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12032 /proc/meminfo: memFree=959716/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=450648 CPUtime=1721.76 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 210928 0 0 0 158934 13242 0 0 25 0 1 0 2833993 461463552 110653 1992294400 4194304 8223781 140734085096832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 112662 110653 589 984 0 111675 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 450648 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12034 /proc/meminfo: memFree=953020/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=457044 CPUtime=1781.74 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 212559 0 0 0 164493 13681 0 0 25 0 1 0 2833993 468013056 112284 1992294400 4194304 8223781 140734085096832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 114261 112284 589 984 0 113274 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 457044 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12034 /proc/meminfo: memFree=951160/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=458804 CPUtime=1800.05 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 213004 0 0 0 166183 13822 0 0 25 0 1 0 2833993 469815296 112729 1992294400 4194304 8223781 140734085096832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11982/statm: 114701 112729 589 984 0 113714 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 458804 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -11982 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12034 /proc/meminfo: memFree=951160/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=458804 CPUtime=1800.83 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 213006 0 0 0 166261 13822 0 0 18 0 1 0 2833993 469815296 112731 1992294400 4194304 8223781 140734085096832 18446744073709551615 6207010 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11982/statm: 114701 112731 591 984 0 113714 0 Current children cumulated CPU time (s) 1800.83 Current children cumulated vsize (KiB) 458804 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12035 /proc/meminfo: memFree=951028/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=458804 CPUtime=1801.63 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 213006 0 0 0 166341 13822 0 0 20 0 1 0 2833993 469815296 112731 1992294400 4194304 8223781 140734085096832 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11982/statm: 114701 112731 591 984 0 113714 0 Current children cumulated CPU time (s) 1801.63 Current children cumulated vsize (KiB) 458804 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12035 /proc/meminfo: memFree=951028/2059040 swapFree=4192956/4192956 [pid=11982] ppid=11980 vsize=458804 CPUtime=1802.03 /proc/11982/stat : 11982 (pbscip.linux.x8) R 11980 11982 11957 0 -1 4202496 213006 0 0 0 166381 13822 0 0 21 0 1 0 2833993 469815296 112731 1992294400 4194304 8223781 140734085096832 18446744073709551615 4616598 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11982/statm: 114701 112731 591 984 0 113714 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 458804 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.66 CPU time (s): 1802.1 CPU user time (s): 1663.84 CPU system time (s): 138.264 CPU usage (%): 99.9691 Max. virtual memory (cumulated for all children) (KiB): 458804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1663.84 system time used= 138.264 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 213006 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 2636 runsolver used 3.12952 second user time and 8.38373 second system time The end
Begin job on node085 at 2010-06-15 17:23:22 IDJOB=2667084 IDBENCH=2921 IDSOLVER=1169 FILE ID=node085/2667084-1276615402 PBS_JOBID= 11172305 Free space on /tmp= 121872 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_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-2667084-1276615402/watcher-2667084-1276615402 -o /tmp/evaluation-result-2667084-1276615402/solver-2667084-1276615402 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667084-1276615402.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8206de06d2228a9d751f3cf3a6d7aa05 RANDOM SEED=1435127488 node085.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.221 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.221 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1404660 kB Buffers: 76320 kB Cached: 437236 kB SwapCached: 0 kB Active: 224848 kB Inactive: 348028 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1404660 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4664 kB Writeback: 8 kB AnonPages: 59268 kB Mapped: 15340 kB Slab: 59940 kB PageTables: 3896 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182480 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= 121868 MiB End job on node085 at 2010-06-15 17:53:24