Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | SAT (TO) | 14 | 1802.06 | 1802.55 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_2.opb |
| MD5SUM | a70b0edfadf87ffd0bc1b32400cae43b |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 14 |
| Best CPU time to get the best result obtained on this benchmark | 1792.37 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 18 |
| 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 | 74 |
| 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 | 1648 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5454 |
| 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.01 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-2665661-1276616466.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.02
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 | 36 | - | 564k| 0 | 7 | 172 | 7 | 172 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.15 o 436
0.09/0.15 c y 0.1s| 1 | 0 | 36 | - | 614k| 0 | 7 | 172 | 7 | 172 | 7 | 0 | 0 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
0.09/0.16 c 0.1s| 1 | 0 | 42 | - | 748k| 0 | 10 | 172 | 97 | 172 | 15 | 8 | 0 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
0.09/0.17 c 0.1s| 1 | 0 | 49 | - | 827k| 0 | 11 | 172 | 97 | 172 | 20 | 13 | 0 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
0.09/0.19 c 0.2s| 1 | 0 | 60 | - | 933k| 0 | 12 | 172 | 97 | 172 | 25 | 18 | 0 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 65 | - |1006k| 0 | 13 | 172 | 97 | 172 | 29 | 22 | 0 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 75 | - |1041k| 0 | 15 | 172 | 97 | 172 | 31 | 24 | 0 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
0.19/0.26 c 0.2s| 1 | 0 | 82 | - |1065k| 0 | 17 | 172 | 97 | 172 | 34 | 27 | 0 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
0.29/0.36 c 0.3s| 1 | 2 | 82 | - |1066k| 0 | 17 | 172 | 97 | 172 | 34 | 27 | 0 | 13 | 0.000000e+00 | 4.360000e+02 | Inf
0.49/0.54 o 337
0.49/0.54 c p 0.5s| 36 | 37 | 396 | 9.0 |1173k| 21 | - | 172 | 97 | 172 | 17 | 27 | 3 | 207 | 0.000000e+00 | 3.370000e+02 | Inf
1.10/1.17 o 263
1.10/1.17 c f 1.0s| 474 | 475 | 3276 | 6.8 |1391k| 51 | - | 172 | 99 | 172 | 17 | 27 | 21 | 501 | 0.000000e+00 | 2.630000e+02 | Inf
1.19/1.29 o 262
1.19/1.29 c p 1.1s| 598 | 598 | 3935 | 6.5 |1434k| 51 | - | 172 | 99 | 172 | 17 | 27 | 24 | 517 | 0.000000e+00 | 2.620000e+02 | Inf
1.39/1.49 o 194
1.39/1.49 c c 1.3s| 777 | 776 | 5333 | 6.8 |1526k| 51 | - | 172 | 100 | 172 | 17 | 27 | 27 | 549 | 0.000000e+00 | 1.940000e+02 | Inf
4.30/4.36 o 119
4.30/4.36 c f 3.7s| 2698 | 2627 | 16864 | 6.2 |2389k| 51 | - | 172 | 111 | 172 | 17 | 27 | 138 | 678 | 0.000000e+00 | 1.190000e+02 | Inf
6.60/6.69 o 82
6.60/6.69 c f 5.8s| 5014 | 4834 | 30400 | 6.0 |3365k| 51 | - | 172 | 117 | 172 | 17 | 27 | 244 | 754 | 0.000000e+00 | 8.200000e+01 | Inf
12.88/12.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.88/12.96 c 11.3s| 10000 | 9612 | 62843 | 6.3 |5592k| 51 | 7 | 172 | 31 | 172 | 17 | 27 | 556 | 944 | 0.000000e+00 | 8.200000e+01 | Inf
16.68/16.71 o 80
16.68/16.71 c *14.6s| 14206 | 13571 | 83312 | 5.9 |7450k| 51 | - | 172 | 32 | 172 | 17 | 27 | 699 |1188 | 0.000000e+00 | 8.000000e+01 | Inf
17.59/17.67 o 79
17.59/17.67 c p15.4s| 15273 | 14575 | 88619 | 5.8 |7962k| 51 | - | 172 | 30 | 172 | 17 | 27 | 736 |1246 | 0.000000e+00 | 7.900000e+01 | Inf
22.08/22.18 c 19.4s| 20000 | 18865 |113537 | 5.7 | 10M| 51 | 7 | 172 | 34 | 172 | 17 | 27 | 920 |1494 | 0.000000e+00 | 7.900000e+01 | Inf
22.29/22.36 o 78
22.29/22.36 c *19.6s| 20165 | 19003 |114597 | 5.7 | 10M| 51 | - | 172 | 34 | 172 | 17 | 27 | 930 |1512 | 0.000000e+00 | 7.800000e+01 | Inf
31.48/31.55 c 27.6s| 30000 | 27776 |172711 | 5.8 | 14M| 55 | 7 | 172 | 42 | 172 | 17 | 27 |1277 |2023 | 0.000000e+00 | 7.800000e+01 | Inf
32.89/32.95 o 76
32.89/32.95 c l28.9s| 31581 | 29052 |181024 | 5.7 | 15M| 55 | - | 172 | 42 | 172 | 17 | 27 |1330 |2103 | 0.000000e+00 | 7.600000e+01 | Inf
36.88/36.90 o 74
36.88/36.90 c *32.4s| 35620 | 32368 |205262 | 5.8 | 17M| 55 | - | 172 | 41 | 172 | 17 | 27 |1501 |2294 | 0.000000e+00 | 7.400000e+01 | Inf
38.49/38.57 o 73
38.49/38.57 c *33.8s| 37450 | 33804 |215507 | 5.8 | 18M| 55 | - | 172 | 39 | 172 | 17 | 27 |1561 |2375 | 0.000000e+00 | 7.300000e+01 | Inf
38.79/38.82 o 55
38.79/38.82 c f34.0s| 37710 | 31130 |216897 | 5.7 | 15M| 55 | - | 172 | 39 | 172 | 17 | 27 |1567 |2387 | 0.000000e+00 | 5.500000e+01 | Inf
41.08/41.19 c 36.1s| 40000 | 32904 |230934 | 5.8 | 16M| 55 | - | 172 | 32 | 172 | 17 | 27 |1699 |2541 | 0.000000e+00 | 5.500000e+01 | Inf
49.88/49.92 c 43.9s| 50000 | 40578 |285013 | 5.7 | 21M| 55 | - | 172 | 35 | 172 | 17 | 27 |2170 |2932 | 0.000000e+00 | 5.500000e+01 | Inf
58.38/58.42 c 51.4s| 60000 | 48339 |336568 | 5.6 | 25M| 55 | 7 | 172 | 46 | 172 | 17 | 27 |2654 |3188 | 0.000000e+00 | 5.500000e+01 | Inf
66.77/66.88 c 58.8s| 70000 | 56146 |388318 | 5.5 | 30M| 55 | - | 172 | 49 | 172 | 17 | 27 |3136 |3466 | 0.000000e+00 | 5.500000e+01 | Inf
75.27/75.39 c 66.3s| 80000 | 63843 |440743 | 5.5 | 34M| 55 | 7 | 172 | 53 | 172 | 17 | 27 |3659 |3730 | 0.000000e+00 | 5.500000e+01 | Inf
83.87/83.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.87/83.93 c 73.8s| 90000 | 71066 |493184 | 5.5 | 39M| 55 | 7 | 172 | 53 | 172 | 17 | 27 |4213 |3968 | 0.000000e+00 | 5.500000e+01 | Inf
91.77/91.85 o 54
91.77/91.85 c l80.8s| 99142 | 77473 |542537 | 5.5 | 43M| 55 | - | 172 | 57 | 172 | 17 | 27 |4725 |4165 | 0.000000e+00 | 5.400000e+01 | Inf
92.56/92.62 c 81.5s|100000 | 78082 |547290 | 5.5 | 43M| 55 | 7 | 172 | 55 | 172 | 17 | 27 |4772 |4183 | 0.000000e+00 | 5.400000e+01 | Inf
93.77/93.81 o 53
93.77/93.81 c *82.5s|101090 | 78716 |554877 | 5.5 | 43M| 55 | - | 172 | 51 | 172 | 17 | 27 |4843 |4198 | 0.000000e+00 | 5.300000e+01 | Inf
94.36/94.41 o 52
94.36/94.41 c *83.1s|101730 | 78877 |558575 | 5.5 | 43M| 55 | - | 172 | 51 | 172 | 17 | 27 |4868 |4217 | 0.000000e+00 | 5.200000e+01 | Inf
95.57/95.68 o 50
95.57/95.68 c *84.2s|103154 | 79240 |566418 | 5.5 | 43M| 57 | - | 172 | 48 | 172 | 17 | 27 |4943 |4250 | 0.000000e+00 | 5.000000e+01 | Inf
101.57/101.69 c 89.5s|110000 | 83707 |603694 | 5.5 | 46M| 57 | 7 | 172 | 51 | 172 | 17 | 27 |5381 |4369 | 0.000000e+00 | 5.000000e+01 | Inf
102.36/102.48 o 41
102.36/102.48 c p90.2s|110846 | 79503 |608527 | 5.5 | 41M| 57 | - | 172 | 47 | 172 | 17 | 27 |5421 |4380 | 0.000000e+00 | 4.100000e+01 | Inf
110.66/110.77 c 97.5s|120000 | 84865 |660374 | 5.5 | 45M| 57 | 7 | 172 | 51 | 172 | 17 | 27 |6058 |4570 | 0.000000e+00 | 4.100000e+01 | Inf
114.16/114.29 o 40
114.16/114.29 c * 101s|123855 | 86651 |682381 | 5.5 | 46M| 57 | - | 172 | 55 | 172 | 17 | 27 |6263 |4664 | 0.000000e+00 | 4.000000e+01 | Inf
117.86/117.92 o 38
117.86/117.92 c * 104s|127978 | 87947 |704992 | 5.5 | 47M| 57 | - | 172 | 61 | 172 | 17 | 27 |6534 |4748 | 0.000000e+00 | 3.800000e+01 | Inf
117.86/117.93 o 36
117.86/117.93 c * 104s|127979 | 86784 |704992 | 5.5 | 46M| 57 | - | 172 | 61 | 172 | 17 | 27 |6534 |4748 | 0.000000e+00 | 3.600000e+01 | Inf
119.66/119.80 c 105s|130000 | 88030 |715908 | 5.5 | 46M| 57 | 7 | 172 | 57 | 172 | 17 | 27 |6650 |4783 | 0.000000e+00 | 3.600000e+01 | Inf
128.36/128.47 c 113s|140000 | 93325 |769799 | 5.5 | 50M| 57 | 7 | 172 | 52 | 172 | 17 | 27 |7275 |4969 | 0.000000e+00 | 3.600000e+01 | Inf
134.55/134.66 o 34
134.55/134.66 c * 119s|146762 | 95643 |807505 | 5.5 | 52M| 57 | - | 172 | 51 | 172 | 17 | 27 |7771 |5082 | 0.000000e+00 | 3.400000e+01 | Inf
137.26/137.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
137.26/137.35 c 121s|150000 | 97252 |824519 | 5.5 | 53M| 57 | 7 | 172 | 52 | 172 | 17 | 27 |7940 |5157 | 0.000000e+00 | 3.400000e+01 | Inf
138.46/138.56 o 33
138.46/138.56 c * 122s|151361 | 97382 |831914 | 5.5 | 53M| 57 | - | 172 | 53 | 172 | 17 | 27 |8020 |5179 | 0.000000e+00 | 3.300000e+01 | Inf
145.96/146.08 c 129s|160000 |101681 |877182 | 5.5 | 56M| 57 | - | 172 | 62 | 172 | 17 | 27 |8706 |5306 | 0.000000e+00 | 3.300000e+01 | Inf
149.95/150.02 o 32
149.95/150.02 c * 132s|164499 | 94164 |900985 | 5.5 | 52M| 57 | - | 172 | 79 | 172 | 17 | 27 |9035 |5387 | 0.000000e+00 | 3.200000e+01 | Inf
150.46/150.57 o 30
150.46/150.57 c * 133s|165093 | 93672 |904754 | 5.5 | 51M| 57 | - | 172 | 77 | 172 | 17 | 27 |9081 |5405 | 0.000000e+00 | 3.000000e+01 | Inf
154.55/154.66 c 136s|170000 | 96055 |932970 | 5.5 | 52M| 57 | 7 | 172 | 82 | 172 | 17 | 27 |9373 |5500 | 0.000000e+00 | 3.000000e+01 | Inf
154.75/154.87 o 29
154.75/154.87 c * 136s|170293 | 95668 |934500 | 5.5 | 52M| 57 | - | 172 | 82 | 172 | 17 | 27 |9385 |5514 | 0.000000e+00 | 2.900000e+01 | Inf
158.86/158.98 o 28
158.86/158.98 c * 140s|174864 | 97610 |961777 | 5.5 | 53M| 57 | - | 172 | 89 | 172 | 17 | 27 |9686 |5596 | 0.000000e+00 | 2.800000e+01 | Inf
163.15/163.22 c 144s|180000 |100186 |990827 | 5.5 | 54M| 57 | 7 | 172 | 92 | 172 | 17 | 27 |9948 |5687 | 0.000000e+00 | 2.800000e+01 | Inf
164.15/164.28 o 27
164.15/164.28 c * 145s|181325 |100275 |997903 | 5.5 | 54M| 57 | - | 172 | 94 | 172 | 17 | 27 | 10k|5703 | 0.000000e+00 | 2.700000e+01 | Inf
164.15/164.29 o 25
164.15/164.29 c * 145s|181326 | 99014 |997903 | 5.5 | 53M| 57 | - | 172 | 94 | 172 | 17 | 27 | 10k|5703 | 0.000000e+00 | 2.500000e+01 | Inf
171.05/171.14 c 151s|190000 |103029 | 1045k| 5.5 | 55M| 57 | 7 | 172 | 94 | 172 | 17 | 27 | 10k|5863 | 0.000000e+00 | 2.500000e+01 | Inf
179.05/179.16 c 158s|200000 |107639 | 1099k| 5.5 | 58M| 57 | - | 172 | 90 | 0 | 0 | 27 | 11k|6034 | 0.000000e+00 | 2.500000e+01 | Inf
186.85/187.00 c 165s|210000 |111889 | 1153k| 5.5 | 61M| 57 | 7 | 172 | 88 | 172 | 17 | 27 | 11k|6204 | 0.000000e+00 | 2.500000e+01 | Inf
192.04/192.11 o 21
192.04/192.11 c * 169s|216496 |111091 | 1189k| 5.5 | 59M| 57 | - | 172 | 81 | 172 | 17 | 27 | 11k|6304 | 0.000000e+00 | 2.100000e+01 | Inf
194.74/194.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.74/194.81 c 172s|220000 |112489 | 1207k| 5.5 | 60M| 57 | 7 | 172 | 102 | 172 | 17 | 27 | 12k|6342 | 0.000000e+00 | 2.100000e+01 | Inf
202.35/202.41 c 178s|230000 |116080 | 1260k| 5.5 | 63M| 57 | - | 172 | 89 | 172 | 17 | 27 | 12k|6474 | 0.000000e+00 | 2.100000e+01 | Inf
210.05/210.12 c 185s|240000 |120249 | 1313k| 5.5 | 66M| 57 | 7 | 172 | 80 | 172 | 17 | 27 | 13k|6582 | 0.000000e+00 | 2.100000e+01 | Inf
217.65/217.70 c 192s|250000 |123666 | 1366k| 5.5 | 68M| 57 | 7 | 172 | 72 | 172 | 17 | 27 | 13k|6712 | 0.000000e+00 | 2.100000e+01 | Inf
224.93/225.02 c 198s|260000 |126677 | 1418k| 5.5 | 70M| 57 | - | 172 | 78 | 172 | 17 | 27 | 14k|6845 | 0.000000e+00 | 2.100000e+01 | Inf
232.93/233.09 c 205s|270000 |130577 | 1474k| 5.5 | 73M| 57 | - | 172 | 76 | 172 | 17 | 27 | 14k|6953 | 0.000000e+00 | 2.100000e+01 | Inf
240.74/240.90 c 212s|280000 |134610 | 1529k| 5.5 | 75M| 57 | 7 | 172 | 75 | 172 | 17 | 27 | 14k|7086 | 0.000000e+00 | 2.100000e+01 | Inf
248.33/248.43 c 219s|290000 |138186 | 1583k| 5.5 | 77M| 57 | 7 | 172 | 79 | 172 | 17 | 27 | 15k|7197 | 0.000000e+00 | 2.100000e+01 | Inf
255.72/255.88 c 225s|300000 |141466 | 1636k| 5.5 | 80M| 57 | - | 172 | 78 | 172 | 17 | 27 | 15k|7344 | 0.000000e+00 | 2.100000e+01 | Inf
263.12/263.22 c 232s|310000 |144252 | 1687k| 5.4 | 82M| 57 | 7 | 172 | 76 | 172 | 17 | 27 | 16k|7473 | 0.000000e+00 | 2.100000e+01 | Inf
270.43/270.52 c 238s|320000 |146851 | 1739k| 5.4 | 84M| 57 | 7 | 172 | 79 | 172 | 17 | 27 | 16k|7602 | 0.000000e+00 | 2.100000e+01 | Inf
275.82/275.98 o 19
275.82/275.98 c * 243s|327565 |146026 | 1778k| 5.4 | 82M| 57 | - | 172 | 77 | 172 | 17 | 27 | 17k|7666 | 0.000000e+00 | 1.900000e+01 | Inf
280.71/280.83 c 247s|330000 |146509 | 1791k| 5.4 | 82M| 57 | - | 172 | 76 | 172 | 17 | 27 | 17k|7694 | 0.000000e+00 | 1.900000e+01 | Inf
287.82/287.91 c 253s|340000 |148888 | 1842k| 5.4 | 84M| 57 | - | 172 | 77 | 172 | 17 | 27 | 17k|7812 | 0.000000e+00 | 1.900000e+01 | Inf
294.82/294.98 c 260s|350000 |151131 | 1894k| 5.4 | 85M| 57 | 7 | 172 | 76 | 172 | 17 | 27 | 17k|7934 | 0.000000e+00 | 1.900000e+01 | Inf
301.81/301.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
301.81/301.94 c 266s|360000 |153275 | 1944k| 5.4 | 87M| 57 | 7 | 172 | 76 | 172 | 17 | 27 | 18k|8063 | 0.000000e+00 | 1.900000e+01 | Inf
309.21/309.31 c 272s|370000 |155818 | 1996k| 5.4 | 89M| 57 | 7 | 172 | 77 | 172 | 17 | 27 | 18k|8172 | 0.000000e+00 | 1.900000e+01 | Inf
316.11/316.21 c 278s|380000 |157566 | 2048k| 5.4 | 90M| 57 | 7 | 172 | 76 | 172 | 17 | 27 | 19k|8290 | 0.000000e+00 | 1.900000e+01 | Inf
322.90/323.01 c 284s|390000 |159402 | 2097k| 5.4 | 92M| 57 | 7 | 172 | 79 | 172 | 17 | 27 | 19k|8427 | 0.000000e+00 | 1.900000e+01 | Inf
329.71/329.81 c 290s|400000 |160976 | 2147k| 5.4 | 93M| 57 | 7 | 172 | 79 | 172 | 17 | 27 | 19k|8542 | 0.000000e+00 | 1.900000e+01 | Inf
336.60/336.78 c 296s|410000 |162864 | 2197k| 5.4 | 95M| 57 | 7 | 172 | 79 | 172 | 17 | 27 | 20k|8650 | 0.000000e+00 | 1.900000e+01 | Inf
343.40/343.58 c 302s|420000 |164411 | 2246k| 5.3 | 96M| 57 | - | 172 | 83 | 172 | 17 | 27 | 20k|8756 | 0.000000e+00 | 1.900000e+01 | Inf
350.40/350.56 c 308s|430000 |166492 | 2295k| 5.3 | 98M| 57 | - | 172 | 75 | 172 | 17 | 27 | 21k|8879 | 0.000000e+00 | 1.900000e+01 | Inf
357.20/357.34 c 314s|440000 |167978 | 2345k| 5.3 | 99M| 57 | - | 172 | 74 | 0 | 0 | 27 | 21k|8988 | 0.000000e+00 | 1.900000e+01 | Inf
364.10/364.28 c 320s|450000 |169827 | 2396k| 5.3 | 100M| 57 | 7 | 172 | 74 | 172 | 17 | 27 | 21k|9088 | 0.000000e+00 | 1.900000e+01 | Inf
371.20/371.34 c 327s|460000 |171950 | 2448k| 5.3 | 102M| 57 | 7 | 172 | 71 | 172 | 17 | 27 | 22k|9205 | 0.000000e+00 | 1.900000e+01 | Inf
378.09/378.20 c 333s|470000 |173554 | 2499k| 5.3 | 103M| 57 | 7 | 172 | 73 | 172 | 17 | 27 | 22k|9325 | 0.000000e+00 | 1.900000e+01 | Inf
384.80/384.91 c 339s|480000 |174958 | 2548k| 5.3 | 105M| 57 | 7 | 172 | 78 | 172 | 17 | 27 | 22k|9428 | 0.000000e+00 | 1.900000e+01 | Inf
391.69/391.87 c 345s|490000 |177133 | 2598k| 5.3 | 106M| 57 | - | 172 | 71 | 0 | 0 | 27 | 23k|9542 | 0.000000e+00 | 1.900000e+01 | Inf
398.69/398.89 c 351s|500000 |179597 | 2648k| 5.3 | 108M| 57 | 7 | 172 | 76 | 172 | 17 | 27 | 23k|9632 | 0.000000e+00 | 1.900000e+01 | Inf
406.49/406.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
406.49/406.60 c 358s|510000 |183480 | 2702k| 5.3 | 110M| 57 | 7 | 172 | 74 | 172 | 17 | 27 | 24k|9734 | 0.000000e+00 | 1.900000e+01 | Inf
413.58/413.75 c 364s|520000 |186645 | 2752k| 5.3 | 112M| 57 | 7 | 172 | 76 | 172 | 17 | 27 | 24k|9844 | 0.000000e+00 | 1.900000e+01 | Inf
421.28/421.41 c 371s|530000 |190535 | 2804k| 5.3 | 115M| 57 | 7 | 172 | 68 | 172 | 17 | 27 | 24k|9932 | 0.000000e+00 | 1.900000e+01 | Inf
428.48/428.63 c 377s|540000 |193481 | 2855k| 5.3 | 117M| 57 | - | 172 | 73 | 0 | 0 | 27 | 25k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
435.67/435.88 c 383s|550000 |196391 | 2906k| 5.3 | 119M| 57 | 7 | 172 | 75 | 172 | 17 | 27 | 25k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
442.68/442.86 c 389s|560000 |198731 | 2955k| 5.3 | 120M| 57 | 7 | 172 | 74 | 172 | 17 | 27 | 26k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
449.79/449.96 c 396s|570000 |201459 | 3004k| 5.3 | 122M| 57 | - | 172 | 75 | 172 | 17 | 27 | 26k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
456.87/457.08 c 402s|580000 |204375 | 3054k| 5.3 | 124M| 57 | - | 172 | 75 | 172 | 17 | 27 | 26k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
463.97/464.14 c 408s|590000 |207100 | 3105k| 5.3 | 126M| 57 | 7 | 172 | 72 | 172 | 17 | 27 | 27k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
470.87/471.06 c 414s|600000 |209503 | 3155k| 5.3 | 128M| 57 | 7 | 172 | 75 | 172 | 17 | 27 | 27k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
477.87/478.00 c 420s|610000 |211697 | 3204k| 5.3 | 130M| 57 | 7 | 172 | 76 | 172 | 17 | 27 | 28k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
485.07/485.24 c 427s|620000 |214496 | 3255k| 5.3 | 132M| 57 | 7 | 172 | 87 | 172 | 17 | 27 | 28k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
492.06/492.23 c 433s|630000 |216831 | 3305k| 5.2 | 134M| 57 | 7 | 172 | 75 | 172 | 17 | 27 | 28k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
498.86/499.06 c 439s|640000 |218995 | 3354k| 5.2 | 135M| 57 | 7 | 172 | 77 | 172 | 17 | 27 | 29k| 11k| 0.000000e+00 | 1.900000e+01 | Inf
502.36/502.58 o 17
502.36/502.58 c * 442s|645129 |216424 | 3379k| 5.2 | 131M| 57 | - | 172 | 71 | 172 | 17 | 27 | 29k| 11k| 0.000000e+00 | 1.700000e+01 | Inf
502.46/502.61 o 15
502.46/502.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
502.46/502.61 c * 442s|645130 |208453 | 3379k| 5.2 | 124M| 57 | - | 172 | 71 | 172 | 17 | 27 | 29k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
508.76/508.92 c 447s|650000 |209286 | 3403k| 5.2 | 124M| 57 | 7 | 172 | 78 | 172 | 17 | 27 | 29k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
515.35/515.59 c 453s|660000 |211074 | 3454k| 5.2 | 125M| 57 | 7 | 172 | 80 | 172 | 17 | 27 | 29k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
521.96/522.16 c 459s|670000 |212933 | 3504k| 5.2 | 127M| 57 | - | 172 | 83 | 172 | 17 | 27 | 30k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
528.56/528.71 c 465s|680000 |214676 | 3553k| 5.2 | 128M| 57 | 7 | 172 | 86 | 172 | 17 | 27 | 30k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
535.25/535.45 c 471s|690000 |216432 | 3604k| 5.2 | 129M| 57 | - | 172 | 88 | 0 | 0 | 27 | 31k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
544.65/544.81 c 479s|700000 |218272 | 3654k| 5.2 | 130M| 57 | 7 | 172 | 81 | 172 | 17 | 27 | 31k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
551.15/551.33 c 484s|710000 |220019 | 3703k| 5.2 | 131M| 57 | 7 | 172 | 76 | 172 | 17 | 27 | 31k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
557.74/557.94 c 490s|720000 |221599 | 3754k| 5.2 | 133M| 57 | 7 | 172 | 74 | 172 | 17 | 27 | 32k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
564.35/564.51 c 496s|730000 |223339 | 3804k| 5.2 | 134M| 57 | - | 172 | 79 | 0 | 0 | 27 | 32k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
570.94/571.13 c 502s|740000 |225117 | 3855k| 5.2 | 135M| 57 | - | 172 | 77 | 172 | 17 | 27 | 32k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
577.44/577.67 c 508s|750000 |226404 | 3908k| 5.2 | 136M| 57 | - | 172 | 81 | 172 | 17 | 27 | 33k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
584.14/584.38 c 513s|760000 |227931 | 3964k| 5.2 | 137M| 57 | 7 | 172 | 79 | 172 | 17 | 27 | 33k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
590.84/591.02 c 519s|770000 |229534 | 4018k| 5.2 | 138M| 57 | 7 | 172 | 88 | 172 | 17 | 27 | 34k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
597.44/597.62 c 525s|780000 |230314 | 4074k| 5.2 | 139M| 57 | - | 172 | 92 | 0 | 0 | 27 | 34k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
604.03/604.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
604.03/604.26 c 531s|790000 |231469 | 4128k| 5.2 | 140M| 57 | 7 | 172 | 84 | 172 | 17 | 27 | 34k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
610.53/610.76 c 537s|800000 |232860 | 4179k| 5.2 | 141M| 57 | 7 | 172 | 86 | 172 | 17 | 27 | 35k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
617.23/617.47 c 542s|810000 |235325 | 4229k| 5.2 | 142M| 57 | - | 172 | 85 | 172 | 17 | 27 | 35k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
623.82/624.08 c 548s|820000 |237432 | 4279k| 5.2 | 144M| 57 | 7 | 172 | 91 | 172 | 17 | 27 | 36k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
630.43/630.67 c 554s|830000 |239560 | 4329k| 5.2 | 145M| 57 | - | 172 | 90 | 172 | 17 | 27 | 36k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
637.02/637.29 c 560s|840000 |241789 | 4378k| 5.2 | 146M| 57 | - | 172 | 75 | 172 | 17 | 27 | 36k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
643.63/643.88 c 566s|850000 |243456 | 4429k| 5.2 | 148M| 57 | - | 172 | 83 | 172 | 17 | 27 | 37k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
650.12/650.39 c 571s|860000 |244952 | 4480k| 5.2 | 149M| 57 | - | 172 | 81 | 172 | 17 | 27 | 37k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
656.82/657.05 c 577s|870000 |246844 | 4535k| 5.2 | 150M| 57 | 7 | 172 | 65 | 172 | 17 | 27 | 37k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
663.81/664.04 c 583s|880000 |249763 | 4589k| 5.2 | 152M| 57 | - | 172 | 77 | 172 | 17 | 27 | 38k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
670.61/670.86 c 589s|890000 |252781 | 4643k| 5.2 | 153M| 57 | - | 172 | 79 | 172 | 17 | 27 | 38k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
677.42/677.66 c 595s|900000 |255672 | 4696k| 5.2 | 155M| 57 | 7 | 172 | 72 | 172 | 17 | 27 | 39k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
684.12/684.38 c 601s|910000 |258253 | 4750k| 5.2 | 156M| 57 | - | 172 | 79 | 172 | 17 | 27 | 39k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
691.11/691.32 c 607s|920000 |261053 | 4805k| 5.2 | 158M| 57 | - | 172 | 78 | 172 | 17 | 27 | 39k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
697.91/698.14 c 613s|930000 |263594 | 4861k| 5.2 | 160M| 57 | - | 172 | 80 | 0 | 0 | 27 | 40k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
704.61/704.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
704.61/704.85 c 619s|940000 |265603 | 4915k| 5.2 | 161M| 57 | 7 | 172 | 76 | 172 | 17 | 27 | 40k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
711.10/711.35 c 625s|950000 |267343 | 4965k| 5.2 | 162M| 57 | 7 | 172 | 85 | 172 | 17 | 27 | 41k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
717.70/717.94 c 630s|960000 |269731 | 5015k| 5.2 | 163M| 57 | - | 172 | 76 | 172 | 17 | 27 | 41k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
724.21/724.49 c 636s|970000 |271500 | 5065k| 5.2 | 165M| 57 | - | 172 | 89 | 172 | 17 | 27 | 41k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
730.71/730.93 c 642s|980000 |273104 | 5114k| 5.2 | 166M| 57 | - | 172 | 81 | 172 | 17 | 27 | 42k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
737.10/737.34 c 648s|990000 |275061 | 5163k| 5.2 | 167M| 57 | 7 | 172 | 85 | 172 | 17 | 27 | 42k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
743.50/743.74 c 653s| 1000k|276775 | 5211k| 5.2 | 168M| 57 | - | 172 | 87 | 172 | 17 | 27 | 42k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
749.90/750.20 c 659s| 1010k|277998 | 5260k| 5.2 | 169M| 57 | 7 | 172 | 80 | 172 | 17 | 27 | 43k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
756.50/756.71 c 664s| 1020k|279911 | 5310k| 5.2 | 170M| 57 | 7 | 172 | 78 | 172 | 17 | 27 | 43k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
763.10/763.31 c 670s| 1030k|281925 | 5361k| 5.2 | 172M| 57 | 7 | 172 | 83 | 172 | 17 | 27 | 43k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
769.59/769.89 c 676s| 1040k|283844 | 5412k| 5.2 | 173M| 57 | 7 | 172 | 86 | 172 | 17 | 27 | 44k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
776.09/776.38 c 682s| 1050k|285326 | 5462k| 5.2 | 174M| 57 | - | 172 | 80 | 0 | 0 | 27 | 44k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
782.49/782.77 c 687s| 1060k|286525 | 5512k| 5.2 | 175M| 57 | 7 | 172 | 80 | 172 | 17 | 27 | 45k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
788.89/789.15 c 693s| 1070k|288281 | 5560k| 5.2 | 176M| 57 | 7 | 172 | 90 | 172 | 17 | 27 | 45k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
795.28/795.56 c 699s| 1080k|289517 | 5609k| 5.2 | 177M| 57 | 7 | 172 | 86 | 172 | 17 | 27 | 45k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
801.69/801.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
801.69/801.95 c 704s| 1090k|290880 | 5658k| 5.2 | 178M| 57 | - | 172 | 95 | 172 | 17 | 27 | 46k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
808.18/808.43 c 710s| 1100k|292575 | 5707k| 5.2 | 179M| 57 | - | 172 | 83 | 172 | 17 | 27 | 46k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
814.48/814.72 c 715s| 1110k|293745 | 5756k| 5.2 | 180M| 57 | 7 | 172 | 84 | 172 | 17 | 27 | 47k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
820.98/821.22 c 721s| 1120k|295719 | 5805k| 5.2 | 181M| 57 | - | 172 | 92 | 0 | 0 | 27 | 47k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
827.37/827.69 c 727s| 1130k|297068 | 5855k| 5.2 | 182M| 57 | 7 | 172 | 81 | 172 | 17 | 27 | 47k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
833.88/834.19 c 732s| 1140k|298435 | 5905k| 5.2 | 183M| 57 | - | 172 | 80 | 172 | 17 | 27 | 48k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
840.38/840.64 c 738s| 1150k|299369 | 5955k| 5.2 | 184M| 57 | 7 | 172 | 81 | 172 | 17 | 27 | 48k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
846.77/847.09 c 744s| 1160k|300623 | 6006k| 5.2 | 185M| 57 | - | 172 | 85 | 172 | 17 | 27 | 48k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
853.38/853.61 c 749s| 1170k|302425 | 6057k| 5.2 | 186M| 57 | 7 | 172 | 85 | 172 | 17 | 27 | 49k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
859.77/860.06 c 755s| 1180k|303925 | 6107k| 5.2 | 187M| 57 | 7 | 172 | 79 | 172 | 17 | 27 | 49k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
866.16/866.48 c 761s| 1190k|304872 | 6157k| 5.2 | 188M| 57 | 7 | 172 | 87 | 172 | 17 | 27 | 50k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
872.66/872.99 c 766s| 1200k|306096 | 6208k| 5.2 | 189M| 57 | 7 | 172 | 75 | 172 | 17 | 27 | 50k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
879.26/879.50 c 772s| 1210k|306898 | 6261k| 5.2 | 190M| 57 | 7 | 172 | 83 | 172 | 17 | 27 | 50k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
885.66/885.90 c 778s| 1220k|307850 | 6312k| 5.2 | 191M| 57 | 7 | 172 | 87 | 172 | 17 | 27 | 51k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
892.06/892.38 c 783s| 1230k|308872 | 6363k| 5.2 | 192M| 57 | - | 172 | 87 | 172 | 17 | 27 | 51k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
898.55/898.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
898.55/898.83 c 789s| 1240k|309698 | 6414k| 5.2 | 192M| 57 | - | 172 | 82 | 172 | 17 | 27 | 51k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
904.96/905.22 c 795s| 1250k|310675 | 6464k| 5.2 | 193M| 57 | - | 172 | 84 | 172 | 17 | 27 | 52k| 16k| 0.000000e+00 | 1.500000e+01 | Inf
911.56/911.81 c 800s| 1260k|311973 | 6516k| 5.2 | 194M| 57 | 7 | 172 | 88 | 172 | 17 | 27 | 52k| 16k| 0.000000e+00 | 1.500000e+01 | Inf
917.95/918.29 c 806s| 1270k|312902 | 6567k| 5.2 | 195M| 57 | 7 | 172 | 85 | 172 | 17 | 27 | 52k| 16k| 0.000000e+00 | 1.500000e+01 | Inf
924.55/924.82 c 812s| 1280k|314020 | 6618k| 5.2 | 196M| 57 | - | 172 | 85 | 172 | 17 | 27 | 53k| 16k| 0.000000e+00 | 1.500000e+01 | Inf
930.94/931.29 c 817s| 1290k|315391 | 6668k| 5.2 | 197M| 57 | 7 | 172 | 80 | 172 | 17 | 27 | 53k| 16k| 0.000000e+00 | 1.500000e+01 | Inf
937.45/937.79 c 823s| 1300k|316155 | 6719k| 5.2 | 198M| 57 | 7 | 172 | 87 | 172 | 17 | 27 | 54k| 16k| 0.000000e+00 | 1.500000e+01 | Inf
944.05/944.37 c 829s| 1310k|317648 | 6770k| 5.2 | 199M| 57 | 7 | 172 | 82 | 172 | 17 | 27 | 54k| 16k| 0.000000e+00 | 1.500000e+01 | Inf
950.44/950.79 c 834s| 1320k|318397 | 6820k| 5.2 | 199M| 57 | - | 172 | 77 | 172 | 17 | 27 | 54k| 16k| 0.000000e+00 | 1.500000e+01 | Inf
956.95/957.23 c 840s| 1330k|319487 | 6872k| 5.2 | 200M| 57 | - | 172 | 80 | 172 | 17 | 27 | 55k| 16k| 0.000000e+00 | 1.500000e+01 | Inf
963.35/963.63 c 846s| 1340k|320368 | 6922k| 5.2 | 201M| 57 | - | 172 | 85 | 172 | 17 | 27 | 55k| 16k| 0.000000e+00 | 1.500000e+01 | Inf
969.85/970.16 c 851s| 1350k|320999 | 6973k| 5.2 | 202M| 57 | - | 172 | 86 | 0 | 0 | 27 | 55k| 16k| 0.000000e+00 | 1.500000e+01 | Inf
976.34/976.61 c 857s| 1360k|323017 | 7023k| 5.2 | 203M| 57 | - | 172 | 92 | 172 | 17 | 27 | 56k| 16k| 0.000000e+00 | 1.500000e+01 | Inf
982.74/983.05 c 863s| 1370k|324363 | 7073k| 5.2 | 204M| 57 | - | 172 | 89 | 0 | 0 | 27 | 56k| 16k| 0.000000e+00 | 1.500000e+01 | Inf
989.23/989.51 c 868s| 1380k|325141 | 7123k| 5.2 | 205M| 57 | 7 | 172 | 97 | 172 | 17 | 27 | 56k| 16k| 0.000000e+00 | 1.500000e+01 | Inf
995.64/995.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
995.64/995.93 c 874s| 1390k|325969 | 7172k| 5.2 | 206M| 57 | - | 172 | 90 | 172 | 17 | 27 | 57k| 16k| 0.000000e+00 | 1.500000e+01 | Inf
1002.03/1002.39 c 880s| 1400k|326837 | 7221k| 5.2 | 206M| 57 | - | 172 | 86 | 0 | 0 | 27 | 57k| 17k| 0.000000e+00 | 1.500000e+01 | Inf
1008.63/1008.90 c 885s| 1410k|327749 | 7270k| 5.2 | 207M| 57 | - | 172 | 85 | 172 | 17 | 27 | 58k| 17k| 0.000000e+00 | 1.500000e+01 | Inf
1015.22/1015.51 c 891s| 1420k|328742 | 7322k| 5.2 | 208M| 57 | - | 172 | 90 | 172 | 17 | 27 | 58k| 17k| 0.000000e+00 | 1.500000e+01 | Inf
1021.64/1021.94 c 897s| 1430k|329521 | 7372k| 5.2 | 209M| 57 | 7 | 172 | 87 | 172 | 17 | 27 | 58k| 17k| 0.000000e+00 | 1.500000e+01 | Inf
1028.02/1028.37 c 903s| 1440k|330322 | 7421k| 5.2 | 210M| 57 | 7 | 172 | 87 | 172 | 17 | 27 | 59k| 17k| 0.000000e+00 | 1.500000e+01 | Inf
1034.52/1034.87 c 908s| 1450k|331084 | 7471k| 5.2 | 210M| 57 | - | 172 | 84 | 172 | 17 | 27 | 59k| 17k| 0.000000e+00 | 1.500000e+01 | Inf
1040.92/1041.26 c 914s| 1460k|332075 | 7520k| 5.2 | 211M| 57 | 7 | 172 | 78 | 172 | 17 | 27 | 60k| 17k| 0.000000e+00 | 1.500000e+01 | Inf
1047.42/1047.71 c 919s| 1470k|332742 | 7571k| 5.2 | 212M| 57 | - | 172 | 89 | 172 | 17 | 27 | 60k| 17k| 0.000000e+00 | 1.500000e+01 | Inf
1053.92/1054.26 c 925s| 1480k|333449 | 7625k| 5.2 | 213M| 57 | - | 172 | 82 | 172 | 17 | 27 | 60k| 17k| 0.000000e+00 | 1.500000e+01 | Inf
1060.41/1060.77 c 931s| 1490k|334514 | 7677k| 5.2 | 214M| 57 | 7 | 172 | 87 | 172 | 17 | 27 | 61k| 17k| 0.000000e+00 | 1.500000e+01 | Inf
1066.92/1067.22 c 937s| 1500k|335234 | 7728k| 5.2 | 214M| 57 | 7 | 172 | 90 | 172 | 17 | 27 | 61k| 17k| 0.000000e+00 | 1.500000e+01 | Inf
1073.32/1073.64 c 942s| 1510k|336044 | 7780k| 5.2 | 215M| 57 | - | 172 | 91 | 172 | 17 | 27 | 61k| 17k| 0.000000e+00 | 1.500000e+01 | Inf
1079.82/1080.13 c 948s| 1520k|337152 | 7832k| 5.2 | 216M| 57 | - | 172 | 79 | 0 | 0 | 27 | 62k| 17k| 0.000000e+00 | 1.500000e+01 | Inf
1086.30/1086.60 c 954s| 1530k|337886 | 7884k| 5.2 | 216M| 57 | - | 172 | 82 | 172 | 17 | 27 | 62k| 17k| 0.000000e+00 | 1.500000e+01 | Inf
1092.91/1093.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1092.91/1093.22 c 959s| 1540k|340023 | 7935k| 5.2 | 218M| 57 | - | 172 | 82 | 172 | 17 | 27 | 63k| 18k| 0.000000e+00 | 1.500000e+01 | Inf
1099.50/1099.88 c 965s| 1550k|342109 | 7988k| 5.2 | 219M| 57 | 7 | 172 | 86 | 172 | 17 | 27 | 63k| 18k| 0.000000e+00 | 1.500000e+01 | Inf
1106.01/1106.32 c 971s| 1560k|343672 | 8038k| 5.2 | 220M| 57 | 7 | 172 | 85 | 172 | 17 | 27 | 63k| 18k| 0.000000e+00 | 1.500000e+01 | Inf
1112.30/1112.65 c 976s| 1570k|344904 | 8088k| 5.2 | 221M| 57 | 7 | 172 | 92 | 172 | 17 | 27 | 64k| 18k| 0.000000e+00 | 1.500000e+01 | Inf
1118.90/1119.21 c 982s| 1580k|346675 | 8139k| 5.2 | 222M| 57 | 7 | 172 | 85 | 172 | 17 | 27 | 64k| 18k| 0.000000e+00 | 1.500000e+01 | Inf
1125.60/1125.92 c 988s| 1590k|348691 | 8192k| 5.2 | 224M| 57 | - | 172 | 84 | 172 | 17 | 27 | 65k| 18k| 0.000000e+00 | 1.500000e+01 | Inf
1132.19/1132.59 c 994s| 1600k|350555 | 8246k| 5.2 | 225M| 57 | - | 172 | 86 | 172 | 17 | 27 | 65k| 18k| 0.000000e+00 | 1.500000e+01 | Inf
1138.79/1139.16 c 1000s| 1610k|352197 | 8300k| 5.2 | 226M| 57 | - | 172 | 79 | 172 | 17 | 27 | 65k| 18k| 0.000000e+00 | 1.500000e+01 | Inf
1145.39/1145.70 c 1005s| 1620k|353298 | 8353k| 5.2 | 227M| 57 | - | 172 | 82 | 0 | 0 | 27 | 66k| 18k| 0.000000e+00 | 1.500000e+01 | Inf
1151.89/1152.26 c 1011s| 1630k|354631 | 8405k| 5.2 | 228M| 57 | 7 | 172 | 80 | 172 | 17 | 27 | 66k| 18k| 0.000000e+00 | 1.500000e+01 | Inf
1158.49/1158.82 c 1017s| 1640k|355810 | 8457k| 5.2 | 229M| 57 | 7 | 172 | 81 | 172 | 17 | 27 | 66k| 18k| 0.000000e+00 | 1.500000e+01 | Inf
1160.10/1160.48 o 14
1160.10/1160.48 c *1018s| 1642k|353274 | 8471k| 5.2 | 225M| 57 | - | 172 | 85 | 172 | 17 | 27 | 67k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
1164.99/1165.32 c 1023s| 1650k|354086 | 8509k| 5.2 | 226M| 57 | 7 | 172 | 86 | 172 | 17 | 27 | 67k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
1171.49/1171.80 c 1028s| 1660k|354929 | 8560k| 5.2 | 226M| 57 | 7 | 172 | 90 | 172 | 17 | 27 | 67k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
1177.99/1178.34 c 1034s| 1670k|355814 | 8613k| 5.2 | 227M| 57 | - | 172 | 79 | 172 | 17 | 27 | 68k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
1184.48/1184.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1184.48/1184.87 c 1040s| 1680k|356325 | 8664k| 5.2 | 228M| 57 | 7 | 172 | 82 | 172 | 17 | 27 | 68k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
1190.89/1191.30 c 1045s| 1690k|357149 | 8715k| 5.2 | 228M| 57 | 7 | 172 | 87 | 172 | 17 | 27 | 68k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
1197.36/1197.80 c 1051s| 1700k|357961 | 8767k| 5.2 | 229M| 57 | 7 | 172 | 83 | 172 | 17 | 27 | 69k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1203.87/1204.26 c 1057s| 1710k|358683 | 8818k| 5.2 | 230M| 57 | 7 | 172 | 92 | 172 | 17 | 27 | 69k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1210.26/1210.68 c 1062s| 1720k|359385 | 8867k| 5.2 | 231M| 57 | 7 | 172 | 82 | 172 | 17 | 27 | 69k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1216.66/1217.07 c 1068s| 1730k|359984 | 8916k| 5.2 | 231M| 57 | - | 172 | 83 | 0 | 0 | 27 | 70k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1222.96/1223.38 c 1073s| 1740k|360556 | 8964k| 5.2 | 232M| 57 | - | 172 | 88 | 172 | 17 | 27 | 70k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1229.47/1229.85 c 1079s| 1750k|361329 | 9012k| 5.2 | 232M| 57 | 7 | 172 | 80 | 172 | 17 | 27 | 71k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1235.85/1236.27 c 1085s| 1760k|361780 | 9060k| 5.1 | 233M| 57 | 7 | 172 | 86 | 172 | 17 | 27 | 71k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1242.26/1242.60 c 1090s| 1770k|362352 | 9107k| 5.1 | 234M| 57 | 7 | 172 | 84 | 172 | 17 | 27 | 71k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1248.55/1248.96 c 1096s| 1780k|362866 | 9155k| 5.1 | 234M| 57 | 7 | 172 | 89 | 172 | 17 | 27 | 72k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1254.95/1255.35 c 1101s| 1790k|363590 | 9202k| 5.1 | 235M| 57 | - | 172 | 87 | 0 | 0 | 27 | 72k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1261.36/1261.74 c 1107s| 1800k|364095 | 9250k| 5.1 | 235M| 57 | 7 | 172 | 77 | 172 | 17 | 27 | 72k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1267.65/1268.08 c 1113s| 1810k|364701 | 9297k| 5.1 | 236M| 57 | - | 172 | 81 | 172 | 17 | 27 | 73k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1274.05/1274.43 c 1118s| 1820k|365211 | 9344k| 5.1 | 237M| 57 | - | 172 | 86 | 0 | 0 | 27 | 73k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1280.34/1280.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1280.34/1280.76 c 1124s| 1830k|365452 | 9392k| 5.1 | 237M| 57 | 7 | 172 | 85 | 172 | 17 | 27 | 74k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1286.65/1287.08 c 1129s| 1840k|365974 | 9439k| 5.1 | 238M| 57 | - | 172 | 85 | 0 | 0 | 27 | 74k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1292.94/1293.39 c 1135s| 1850k|366544 | 9486k| 5.1 | 238M| 57 | 7 | 172 | 81 | 172 | 17 | 27 | 74k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1299.34/1299.72 c 1140s| 1860k|366942 | 9534k| 5.1 | 239M| 57 | 7 | 172 | 90 | 172 | 17 | 27 | 75k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1305.74/1306.10 c 1146s| 1870k|367224 | 9581k| 5.1 | 239M| 57 | - | 172 | 86 | 0 | 0 | 27 | 75k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1312.03/1312.49 c 1151s| 1880k|367531 | 9630k| 5.1 | 240M| 57 | - | 172 | 79 | 172 | 17 | 27 | 75k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1318.44/1318.87 c 1157s| 1890k|367582 | 9679k| 5.1 | 240M| 57 | - | 172 | 81 | 172 | 17 | 27 | 76k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1324.93/1325.31 c 1163s| 1900k|367743 | 9729k| 5.1 | 241M| 57 | 7 | 172 | 83 | 172 | 17 | 27 | 76k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1331.23/1331.70 c 1168s| 1910k|368188 | 9777k| 5.1 | 241M| 57 | 7 | 172 | 76 | 172 | 17 | 27 | 76k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1337.73/1338.12 c 1174s| 1920k|369100 | 9826k| 5.1 | 242M| 57 | - | 172 | 80 | 172 | 17 | 27 | 77k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1344.22/1344.61 c 1180s| 1930k|370239 | 9875k| 5.1 | 243M| 57 | 7 | 172 | 78 | 172 | 17 | 27 | 77k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1350.63/1351.06 c 1185s| 1940k|370907 | 9924k| 5.1 | 244M| 57 | 7 | 172 | 84 | 172 | 17 | 27 | 78k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1357.12/1357.53 c 1191s| 1950k|372425 | 9972k| 5.1 | 245M| 57 | 7 | 172 | 79 | 172 | 17 | 27 | 78k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1363.83/1364.23 c 1197s| 1960k|374499 | 10024k| 5.1 | 246M| 57 | - | 172 | 84 | 0 | 0 | 27 | 78k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1370.52/1370.92 c 1203s| 1970k|376470 | 10075k| 5.1 | 247M| 57 | - | 172 | 75 | 172 | 17 | 27 | 79k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1377.12/1377.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1377.12/1377.55 c 1209s| 1980k|378555 | 10125k| 5.1 | 249M| 57 | 7 | 172 | 78 | 172 | 17 | 27 | 79k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1383.52/1383.98 c 1214s| 1990k|379959 | 10174k| 5.1 | 250M| 57 | 7 | 172 | 81 | 172 | 17 | 27 | 80k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1390.22/1390.64 c 1220s| 2000k|382333 | 10224k| 5.1 | 251M| 57 | - | 172 | 94 | 172 | 17 | 27 | 80k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1396.82/1397.22 c 1226s| 2010k|383929 | 10273k| 5.1 | 252M| 57 | - | 172 | 93 | 0 | 0 | 27 | 80k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1403.31/1403.74 c 1232s| 2020k|385315 | 10322k| 5.1 | 253M| 57 | - | 172 | 85 | 172 | 17 | 27 | 81k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1409.82/1410.21 c 1237s| 2030k|386376 | 10371k| 5.1 | 254M| 57 | 7 | 172 | 86 | 172 | 17 | 27 | 81k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1416.31/1416.71 c 1243s| 2040k|388043 | 10421k| 5.1 | 255M| 57 | 7 | 172 | 77 | 172 | 17 | 27 | 81k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1422.70/1423.17 c 1249s| 2050k|389732 | 10470k| 5.1 | 256M| 57 | - | 172 | 79 | 172 | 17 | 27 | 82k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1429.21/1429.65 c 1254s| 2060k|391212 | 10518k| 5.1 | 257M| 57 | 7 | 172 | 86 | 172 | 17 | 27 | 82k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1435.81/1436.28 c 1260s| 2070k|392558 | 10567k| 5.1 | 258M| 57 | 7 | 172 | 87 | 172 | 17 | 27 | 83k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1443.10/1443.54 c 1267s| 2080k|396058 | 10620k| 5.1 | 260M| 57 | - | 172 | 83 | 172 | 17 | 27 | 83k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1449.90/1450.33 c 1273s| 2090k|398796 | 10672k| 5.1 | 262M| 57 | 7 | 172 | 85 | 172 | 17 | 27 | 83k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1457.11/1457.56 c 1279s| 2100k|402259 | 10724k| 5.1 | 264M| 57 | - | 172 | 86 | 172 | 17 | 27 | 84k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1464.09/1464.59 c 1285s| 2110k|405281 | 10776k| 5.1 | 265M| 57 | 7 | 172 | 90 | 172 | 17 | 27 | 84k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1471.40/1471.85 c 1292s| 2120k|408750 | 10829k| 5.1 | 267M| 57 | - | 172 | 94 | 172 | 17 | 27 | 85k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1478.30/1478.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1478.30/1478.74 c 1298s| 2130k|411795 | 10881k| 5.1 | 269M| 57 | 7 | 172 | 85 | 172 | 17 | 27 | 85k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1485.39/1485.83 c 1304s| 2140k|414944 | 10933k| 5.1 | 271M| 57 | - | 172 | 83 | 0 | 0 | 27 | 86k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1492.20/1492.70 c 1310s| 2150k|417524 | 10985k| 5.1 | 272M| 57 | 7 | 172 | 97 | 172 | 17 | 27 | 86k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1499.39/1499.88 c 1316s| 2160k|421203 | 11037k| 5.1 | 274M| 57 | 7 | 172 | 85 | 172 | 17 | 27 | 86k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1506.19/1506.70 c 1322s| 2170k|423630 | 11087k| 5.1 | 276M| 57 | 7 | 172 | 88 | 172 | 17 | 27 | 87k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1513.20/1513.63 c 1328s| 2180k|426700 | 11137k| 5.1 | 277M| 57 | 7 | 172 | 106 | 172 | 17 | 27 | 87k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1520.28/1520.71 c 1334s| 2190k|430098 | 11189k| 5.1 | 279M| 57 | 7 | 172 | 95 | 172 | 17 | 27 | 88k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1527.28/1527.76 c 1341s| 2200k|433101 | 11242k| 5.1 | 281M| 57 | 7 | 172 | 84 | 172 | 17 | 27 | 88k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1533.99/1534.48 c 1347s| 2210k|435673 | 11292k| 5.1 | 283M| 57 | 7 | 172 | 95 | 172 | 17 | 27 | 89k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1540.77/1541.29 c 1352s| 2220k|438216 | 11342k| 5.1 | 284M| 57 | - | 172 | 86 | 0 | 0 | 27 | 89k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1547.37/1547.88 c 1358s| 2230k|440474 | 11391k| 5.1 | 285M| 57 | - | 172 | 100 | 172 | 17 | 27 | 90k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1554.37/1554.86 c 1364s| 2240k|443558 | 11442k| 5.1 | 287M| 57 | 7 | 172 | 92 | 172 | 17 | 27 | 90k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1561.27/1561.72 c 1370s| 2250k|446419 | 11493k| 5.1 | 289M| 57 | 7 | 172 | 86 | 172 | 17 | 27 | 90k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1568.18/1568.63 c 1376s| 2260k|449442 | 11546k| 5.1 | 291M| 57 | - | 172 | 75 | 172 | 17 | 27 | 91k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1574.78/1575.22 c 1382s| 2270k|451624 | 11596k| 5.1 | 292M| 57 | 7 | 172 | 79 | 172 | 17 | 27 | 91k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1581.77/1582.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1581.77/1582.20 c 1388s| 2280k|454760 | 11649k| 5.1 | 294M| 57 | - | 172 | 79 | 172 | 17 | 27 | 91k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1588.46/1588.96 c 1394s| 2290k|457246 | 11701k| 5.1 | 295M| 57 | 7 | 172 | 81 | 172 | 17 | 27 | 92k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1595.26/1595.77 c 1400s| 2300k|459382 | 11752k| 5.1 | 296M| 57 | - | 172 | 89 | 172 | 17 | 27 | 92k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1602.27/1602.79 c 1406s| 2310k|461894 | 11806k| 5.1 | 298M| 57 | 7 | 172 | 83 | 172 | 17 | 27 | 93k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1609.06/1609.50 c 1412s| 2320k|463831 | 11858k| 5.1 | 299M| 57 | 7 | 172 | 88 | 172 | 17 | 27 | 93k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1615.76/1616.25 c 1418s| 2330k|465948 | 11909k| 5.1 | 301M| 57 | - | 172 | 92 | 172 | 17 | 27 | 93k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1622.95/1623.49 c 1425s| 2340k|468889 | 11965k| 5.1 | 302M| 57 | 7 | 172 | 81 | 172 | 17 | 27 | 94k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1630.16/1630.67 c 1431s| 2350k|472199 | 12021k| 5.1 | 304M| 57 | - | 172 | 70 | 172 | 17 | 27 | 94k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1637.36/1637.90 c 1437s| 2360k|474990 | 12077k| 5.1 | 306M| 57 | 7 | 172 | 72 | 172 | 17 | 27 | 95k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1645.06/1645.56 c 1444s| 2370k|479234 | 12134k| 5.1 | 308M| 57 | 7 | 172 | 82 | 172 | 17 | 27 | 95k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1653.14/1653.67 c 1451s| 2380k|483719 | 12193k| 5.1 | 310M| 57 | 7 | 172 | 87 | 172 | 17 | 27 | 95k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1660.65/1661.12 c 1458s| 2390k|487394 | 12249k| 5.1 | 312M| 57 | 7 | 172 | 90 | 172 | 17 | 27 | 96k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1667.85/1668.33 c 1464s| 2400k|490532 | 12304k| 5.1 | 314M| 57 | 7 | 172 | 81 | 172 | 17 | 27 | 96k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1675.34/1675.84 c 1471s| 2410k|494356 | 12360k| 5.1 | 316M| 57 | - | 172 | 83 | 0 | 0 | 27 | 97k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1682.45/1683.00 c 1477s| 2420k|497653 | 12414k| 5.1 | 318M| 57 | 7 | 172 | 76 | 172 | 17 | 27 | 97k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1689.64/1690.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1689.64/1690.13 c 1483s| 2430k|500823 | 12467k| 5.1 | 320M| 57 | 7 | 172 | 81 | 172 | 17 | 27 | 97k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1696.75/1697.23 c 1490s| 2440k|503803 | 12521k| 5.1 | 321M| 57 | 7 | 172 | 91 | 172 | 17 | 27 | 98k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1703.93/1704.42 c 1496s| 2450k|507057 | 12576k| 5.1 | 323M| 57 | 7 | 172 | 72 | 172 | 17 | 27 | 98k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1711.04/1711.52 c 1502s| 2460k|510077 | 12629k| 5.1 | 325M| 57 | 7 | 172 | 78 | 172 | 17 | 27 | 99k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1717.93/1718.43 c 1508s| 2470k|512841 | 12680k| 5.1 | 327M| 57 | 7 | 172 | 76 | 172 | 17 | 27 | 99k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1724.92/1725.41 c 1514s| 2480k|516115 | 12730k| 5.1 | 328M| 57 | - | 172 | 82 | 172 | 17 | 27 | 99k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1731.73/1732.29 c 1520s| 2490k|518477 | 12781k| 5.1 | 330M| 57 | 7 | 172 | 89 | 172 | 17 | 27 | 100k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1738.63/1739.14 c 1526s| 2500k|520975 | 12830k| 5.1 | 331M| 57 | 7 | 172 | 81 | 172 | 17 | 27 | 100k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1745.42/1745.92 c 1532s| 2510k|523466 | 12880k| 5.1 | 333M| 57 | 7 | 172 | 95 | 172 | 17 | 27 | 100k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1752.23/1752.78 c 1538s| 2520k|526267 | 12930k| 5.1 | 334M| 57 | 7 | 172 | 88 | 172 | 17 | 27 | 101k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1758.92/1759.42 c 1544s| 2530k|528711 | 12979k| 5.1 | 336M| 57 | - | 172 | 95 | 172 | 17 | 27 | 101k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1765.52/1766.04 c 1550s| 2540k|530935 | 13028k| 5.1 | 337M| 57 | 7 | 172 | 83 | 172 | 17 | 27 | 102k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1772.32/1772.88 c 1556s| 2550k|533533 | 13078k| 5.1 | 339M| 57 | - | 172 | 88 | 172 | 17 | 27 | 102k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1779.22/1779.75 c 1562s| 2560k|536808 | 13128k| 5.1 | 341M| 57 | - | 172 | 87 | 172 | 17 | 27 | 102k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1785.92/1786.48 c 1568s| 2570k|539612 | 13177k| 5.1 | 342M| 57 | 7 | 172 | 91 | 172 | 17 | 27 | 103k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1792.52/1793.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1792.52/1793.04 c 1574s| 2580k|542095 | 13225k| 5.1 | 344M| 57 | 7 | 172 | 89 | 172 | 17 | 27 | 103k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1799.12/1799.68 c 1580s| 2590k|544391 | 13274k| 5.1 | 345M| 57 | - | 172 | 89 | 172 | 17 | 27 | 103k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1800.01/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.50 c
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time (sec) : 1580.22
1800.01/1800.50 c Solving Nodes : 2591261
1800.01/1800.50 c Primal Bound : +1.40000000000000e+01 (48 solutions)
1800.01/1800.50 c Dual Bound : +0.00000000000000e+00
1800.01/1800.50 c Gap : infinite
1800.01/1800.50 s SATISFIABLE
1800.01/1800.50 v -x172 x171 x170 -x169 -x168 x167 x166 -x165 x164 x163 x162 x161 x160 -x159 x158 -x157 -x156 -x155 x154 x153 x152 x151 -x150 -x149
1800.01/1800.50 v -x148 -x147 x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 x130 x129 -x128 -x127
1800.01/1800.50 v x126 x125 x124 -x123 x122 -x121 x120 x119 -x118 x117 -x116 x115 x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.01/1800.50 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81
1800.01/1800.50 v -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56
1800.01/1800.50 v -x55 -x54 -x53 -x52 x51 x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30
1800.01/1800.50 v -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3
1800.01/1800.50 v -x2 x1
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time : 1580.22
1800.01/1800.50 c Original Problem :
1800.01/1800.50 c Problem name : HOME/instance-2665661-1276616466.opb
1800.01/1800.50 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50 c Constraints : 14 initial, 14 maximal
1800.01/1800.50 c Presolved Problem :
1800.01/1800.50 c Problem name : t_HOME/instance-2665661-1276616466.opb
1800.01/1800.50 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50 c Constraints : 7 initial, 118 maximal
1800.01/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c probing : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.50 c linear : 0.01 0 0 0 0 0 7 0 0
1800.01/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c root node : - 56 - - 56 - - - -
1800.01/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.50 c integral : 0 0 0 1603104 0 131 3204 0 0 3199702
1800.01/1800.50 c linear : 7+ 7 4011306 1 0 357172 2258827 0 0 0
1800.01/1800.50 c logicor : 0+ 0 989848 0 0 2817 32120 0 0 0
1800.01/1800.50 c countsols : 0 0 0 23 0 0 0 0 0 0
1800.01/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.50 c integral : 27.21 0.00 0.00 27.21 0.00
1800.01/1800.50 c linear : 304.11 0.00 304.11 0.00 0.00
1800.01/1800.50 c logicor : 4.28 0.00 4.28 0.00 0.00
1800.01/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.50 c vbounds : 1.86 2 0 0
1800.01/1800.50 c rootredcost : 1.54 35 0 56
1800.01/1800.50 c pseudoobj : 35.54 4015018 3888 374910
1800.01/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.50 c propagation : 25.39 361826 75319 91477 59.5 30 32.0 -
1800.01/1800.50 c infeasible LP : 2.59 30630 29238 35954 36.0 2 33.0 0
1800.01/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.50 c pseudo solution : 0.00 6 6 6 2.3 0 0.0 -
1800.01/1800.50 c applied globally : - - - 16575 26.8 - - -
1800.01/1800.50 c applied locally : - - - 87350 56.5 - - -
1800.01/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.50 c cut pool : 0.00 5 - - 8 - (maximal pool size: 107)
1800.01/1800.50 c redcost : 56.63 2203859 0 11669373 0 0
1800.01/1800.50 c impliedbounds : 0.00 6 0 0 0 0
1800.01/1800.50 c intobj : 0.00 0 0 0 0 0
1800.01/1800.50 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.50 c gomory : 0.01 6 0 0 0 0
1800.01/1800.50 c strongcg : 0.01 6 0 0 47 0
1800.01/1800.50 c cmir : 0.02 6 0 0 32 0
1800.01/1800.50 c flowcover : 0.07 6 0 0 37 0
1800.01/1800.50 c clique : 0.00 1 0 0 0 0
1800.01/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.50 c mcf : 0.00 1 0 0 0 0
1800.01/1800.51 c rapidlearning : 0.09 1 0 0 0 90
1800.01/1800.51 c Pricers : Time Calls Vars
1800.01/1800.51 c problem variables: 0.00 0 0
1800.01/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.51 c relpscost : 25.16 1603081 131 3204 0 0 3199702
1800.01/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.51 c inference : 0.00 0 0 0 0 0 0
1800.01/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c random : 0.00 0 0 0 0 0 0
1800.01/1800.51 c Primal Heuristics : Time Calls Found
1800.01/1800.51 c LP solutions : 0.22 - 23
1800.01/1800.51 c pseudo solutions : 0.00 - 0
1800.01/1800.51 c intshifting : 0.15 0 0
1800.01/1800.51 c oneopt : 1.65 35 0
1800.01/1800.51 c feaspump : 0.21 2 0
1800.01/1800.51 c crossover : 9.66 4 0
1800.01/1800.51 c rootsoldiving : 10.87 2144 12
1800.01/1800.51 c fracdiving : 21.64 5054 4
1800.01/1800.51 c veclendiving : 16.30 5054 0
1800.01/1800.51 c guideddiving : 16.90 5054 0
1800.01/1800.51 c pscostdiving : 22.04 5055 4
1800.01/1800.51 c linesearchdiving : 16.43 5055 2
1800.01/1800.51 c coefdiving : 42.48 5055 1
1800.01/1800.51 c objpscostdiving : 5.30 2528 0
1800.01/1800.51 c trivial : 0.00 2 0
1800.01/1800.51 c simplerounding : 1.46 0 0
1800.01/1800.51 c zirounding : 1.44 1000 0
1800.01/1800.51 c rounding : 2.62 18551 0
1800.01/1800.51 c shifting : 7.38 8199 1
1800.01/1800.51 c twoopt : 0.00 0 0
1800.01/1800.51 c fixandinfer : 0.00 0 0
1800.01/1800.51 c intdiving : 0.00 0 0
1800.01/1800.51 c actconsdiving : 0.00 0 0
1800.01/1800.51 c octane : 0.00 0 0
1800.01/1800.51 c rens : 0.04 1 0
1800.01/1800.51 c rins : 0.00 0 0
1800.01/1800.51 c localbranching : 0.00 0 0
1800.01/1800.51 c mutation : 0.00 0 0
1800.01/1800.51 c dins : 0.00 0 0
1800.01/1800.51 c undercover : 0.00 0 0
1800.01/1800.51 c nlp : 1.23 0 0
1800.01/1800.51 c trysol : 2.12 0 0
1800.01/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.51 c dual LP : 735.38 2393965 12103366 5.06 16458.66
1800.01/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.51 c diving/probing LP: 95.28 466161 1177380 2.53 12357.05
1800.01/1800.51 c strong branching : 8.30 23279 82736 3.55 9968.19
1800.01/1800.51 c (at root node) : - 13 782 60.15 -
1800.01/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.51 c B&B Tree :
1800.01/1800.51 c number of runs : 1
1800.01/1800.51 c nodes : 2591261
1800.01/1800.51 c nodes (total) : 2591261
1800.01/1800.51 c nodes left : 544613
1800.01/1800.51 c max depth : 57
1800.01/1800.51 c max depth (total): 57
1800.01/1800.51 c backtracks : 508127 (19.6%)
1800.01/1800.51 c delayed cutoffs : 16274
1800.01/1800.51 c repropagations : 33356 (117340 domain reductions, 16262 cutoffs)
1800.01/1800.51 c avg switch length: 5.50
1800.01/1800.51 c switching time : 92.71
1800.01/1800.51 c Solution :
1800.01/1800.51 c Solutions found : 48 (35 improvements)
1800.01/1800.51 c First Solution : +4.36000000000000e+02 (in run 1, after 1 nodes, 0.12 seconds, depth 0, found by <trysol>)
1800.01/1800.51 c Primal Bound : +1.40000000000000e+01 (in run 1, after 1642510 nodes, 1018.26 seconds, depth 47, found by <relaxation>)
1800.01/1800.51 c Dual Bound : +0.00000000000000e+00
1800.01/1800.51 c Gap : infinite
1800.01/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.51 c Root Iterations : 82
OK 14
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665661-1276616466/watcher-2665661-1276616466 -o /tmp/evaluation-result-2665661-1276616466/solver-2665661-1276616466 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665661-1276616466.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.92 0.98 0.99 2/105 12137 /proc/meminfo: memFree=1406544/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=10316 CPUtime=0 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 1436 0 0 0 0 0 0 0 23 0 1 0 2940092 10563584 1357 1992294400 4194304 9819077 140735555195984 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12137/statm: 2579 1365 371 1374 0 1200 0 [startup+0.088702 s] /proc/loadavg: 0.92 0.98 0.99 2/105 12137 /proc/meminfo: memFree=1406544/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=22696 CPUtime=0.08 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 5006 0 0 0 6 2 0 0 23 0 1 0 2940092 23240704 4050 1992294400 4194304 9819077 140735555195984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 5674 4050 673 1374 0 4295 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 22696 [startup+0.100703 s] /proc/loadavg: 0.92 0.98 0.99 2/105 12137 /proc/meminfo: memFree=1406544/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=22860 CPUtime=0.09 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 5039 0 0 0 7 2 0 0 23 0 1 0 2940092 23408640 4083 1992294400 4194304 9819077 140735555195984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 5715 4083 673 1374 0 4336 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22860 [startup+0.300724 s] /proc/loadavg: 0.92 0.98 0.99 2/105 12137 /proc/meminfo: memFree=1406544/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=24912 CPUtime=0.29 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 8453 0 0 0 25 4 0 0 24 0 1 0 2940092 25509888 4480 1992294400 4194304 9819077 140735555195984 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 6108 4477 714 1374 0 4729 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24912 [startup+0.700765 s] /proc/loadavg: 0.92 0.98 0.99 2/105 12137 /proc/meminfo: memFree=1406544/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=17328 CPUtime=0.69 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 14271 0 0 0 58 11 0 0 25 0 1 0 2940092 17743872 2974 1992294400 4194304 9819077 140735555195984 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 4412 2976 723 1374 0 3033 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17328 [startup+1.50085 s] /proc/loadavg: 0.92 0.98 0.99 2/106 12138 /proc/meminfo: memFree=1396864/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=17008 CPUtime=1.49 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 22044 0 0 0 129 20 0 0 25 0 1 0 2940092 17416192 2975 1992294400 4194304 9819077 140735555195984 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 4252 2975 724 1374 0 2873 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17008 [startup+3.10101 s] /proc/loadavg: 0.92 0.98 0.99 2/106 12138 /proc/meminfo: memFree=1396492/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=26284 CPUtime=3.09 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 41947 0 0 0 265 44 0 0 25 0 1 0 2940092 26914816 4762 1992294400 4194304 9819077 140735555195984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 6571 4762 725 1374 0 5192 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26284 [startup+6.30034 s] /proc/loadavg: 0.93 0.98 0.99 2/106 12138 /proc/meminfo: memFree=1395624/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=19256 CPUtime=6.29 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 78521 0 0 0 544 85 0 0 25 0 1 0 2940092 19718144 3521 1992294400 4194304 9819077 140735555195984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 4814 3521 725 1374 0 3435 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19256 [startup+12.701 s] /proc/loadavg: 0.93 0.98 0.99 2/106 12138 /proc/meminfo: memFree=1392648/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=21680 CPUtime=12.69 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 142332 0 0 0 1111 158 0 0 25 0 1 0 2940092 22200320 4131 1992294400 4194304 9819077 140735555195984 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 5420 4131 725 1374 0 4041 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21680 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.99 2/106 12138 /proc/meminfo: memFree=1385456/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=28452 CPUtime=25.49 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 276986 0 0 0 2232 317 0 0 25 0 1 0 2940092 29134848 5914 1992294400 4194304 9819077 140735555195984 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 7113 5914 725 1374 0 5734 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 28452 [startup+51.101 s] /proc/loadavg: 0.96 0.98 0.99 2/106 12140 /proc/meminfo: memFree=1372684/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=40456 CPUtime=51.08 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 536050 0 0 0 4492 616 0 0 25 0 1 0 2940092 41426944 8972 1992294400 4194304 9819077 140735555195984 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 10114 8972 725 1374 0 8735 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 40456 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/106 12142 /proc/meminfo: memFree=1343172/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=71620 CPUtime=102.27 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 1024123 0 0 0 9004 1223 0 0 25 0 1 0 2940092 73338880 16416 1992294400 4194304 9819077 140735555195984 18446744073709551615 4978478 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 17905 16416 725 1374 0 16526 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 71620 [startup+162.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 12142 /proc/meminfo: memFree=1329532/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=84168 CPUtime=162.25 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 1597626 0 0 0 14298 1927 0 0 25 0 1 0 2940092 86188032 19634 1992294400 4194304 9819077 140735555195984 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 21042 19634 725 1374 0 19663 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 84168 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 12144 /proc/meminfo: memFree=1316512/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=97736 CPUtime=222.23 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 2171963 0 0 0 19583 2640 0 0 25 0 1 0 2940092 100081664 23047 1992294400 4194304 9819077 140735555195984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 24434 23047 725 1374 0 23055 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 97736 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 12146 /proc/meminfo: memFree=1298780/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=114124 CPUtime=282.22 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 2764316 0 0 0 24837 3385 0 0 25 0 1 0 2940092 116862976 27293 1992294400 4194304 9819077 140735555195984 18446744073709551615 4978478 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 28531 27293 725 1374 0 27152 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 114124 [startup+342.301 s] /proc/loadavg: 1.11 1.02 1.01 2/106 12148 /proc/meminfo: memFree=1287620/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=125724 CPUtime=342.2 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 3338153 0 0 0 30111 4109 0 0 25 0 1 0 2940092 128741376 30199 1992294400 4194304 9819077 140735555195984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 31431 30199 725 1374 0 30052 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 125724 [startup+402.301 s] /proc/loadavg: 1.11 1.03 1.00 3/106 12148 /proc/meminfo: memFree=1274352/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=139344 CPUtime=402.19 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 3913838 0 0 0 35375 4844 0 0 25 0 1 0 2940092 142688256 33671 1992294400 4194304 9819077 140735555195984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 34836 33671 725 1374 0 33457 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 139344 [startup+462.301 s] /proc/loadavg: 1.11 1.04 1.00 2/106 12150 /proc/meminfo: memFree=1256992/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=159516 CPUtime=462.17 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 4485673 0 0 0 40652 5565 0 0 25 0 1 0 2940092 163344384 37792 1992294400 4194304 9819077 140735555195984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 39879 37792 725 1374 0 38500 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 159516 [startup+522.301 s] /proc/loadavg: 1.10 1.04 1.00 2/106 12152 /proc/meminfo: memFree=1239136/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=176300 CPUtime=522.16 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 5085297 0 0 0 45910 6306 0 0 25 0 1 0 2940092 180531200 42090 1992294400 4194304 9819077 140735555195984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 44075 42090 725 1374 0 42696 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 176300 [startup+582.301 s] /proc/loadavg: 1.09 1.05 1.00 2/106 12154 /proc/meminfo: memFree=1233928/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=181868 CPUtime=582.13 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 5697571 0 0 0 51159 7054 0 0 25 0 1 0 2940092 186232832 43510 1992294400 4194304 9819077 140735555195984 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 45467 43510 725 1374 0 44088 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 181868 [startup+642.301 s] /proc/loadavg: 1.08 1.05 1.00 2/106 12156 /proc/meminfo: memFree=1223264/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=192192 CPUtime=642.13 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 6288569 0 0 0 56421 7792 0 0 25 0 1 0 2940092 196804608 46126 1992294400 4194304 9819077 140735555195984 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 48048 46126 725 1374 0 46669 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 192192 [startup+702.301 s] ################ # More data... # ################ /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 10428395 0 0 0 93225 12976 0 0 25 0 1 0 2940092 254894080 60718 1992294400 4194304 9819077 140735555195984 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 62270 60719 725 1374 0 60891 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 248920 [startup+1122.3 s] /proc/loadavg: 1.00 1.03 1.00 2/106 12168 /proc/meminfo: memFree=1151964/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=261096 CPUtime=1122 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 11024719 0 0 0 98484 13716 0 0 25 0 1 0 2940092 267362304 63757 1992294400 4194304 9819077 140735555195984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 65274 63757 725 1374 0 63895 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 261096 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 1.00 2/106 12170 /proc/meminfo: memFree=1144400/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=267532 CPUtime=1181.98 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 11615684 0 0 0 103743 14455 0 0 25 0 1 0 2940092 273952768 65434 1992294400 4194304 9819077 140735555195984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 66883 65434 725 1374 0 65504 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 267532 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.00 2/106 12181 /proc/meminfo: memFree=1138572/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=272960 CPUtime=1241.95 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 12214971 0 0 0 109007 15188 0 0 25 0 1 0 2940092 279511040 66815 1992294400 4194304 9819077 140735555195984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 68240 66815 725 1374 0 66861 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 272960 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.00 2/106 12183 /proc/meminfo: memFree=1134108/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=277956 CPUtime=1301.95 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 12816090 0 0 0 114254 15941 0 0 25 0 1 0 2940092 284626944 68053 1992294400 4194304 9819077 140735555195984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 69489 68053 725 1374 0 68110 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 277956 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/106 12183 /proc/meminfo: memFree=1125056/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=286844 CPUtime=1361.92 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 13415002 0 0 0 119518 16674 0 0 25 0 1 0 2940092 293728256 70285 1992294400 4194304 9819077 140735555195984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 71711 70285 725 1374 0 70332 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 286844 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12185 /proc/meminfo: memFree=1116128/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=295480 CPUtime=1421.92 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 14004467 0 0 0 124787 17405 0 0 25 0 1 0 2940092 302571520 72505 1992294400 4194304 9819077 140735555195984 18446744073709551615 4923501 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 73870 72505 725 1374 0 72491 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 295480 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12187 /proc/meminfo: memFree=1102240/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=308836 CPUtime=1481.89 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 14592214 0 0 0 130069 18120 0 0 25 0 1 0 2940092 316248064 75935 1992294400 4194304 9819077 140735555195984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 77209 75935 725 1374 0 75830 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 308836 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12189 /proc/meminfo: memFree=1088848/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=321668 CPUtime=1541.88 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 15178993 0 0 0 135338 18850 0 0 25 0 1 0 2940092 329388032 79252 1992294400 4194304 9819077 140735555195984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 80417 79252 725 1374 0 79038 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 321668 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12191 /proc/meminfo: memFree=1076696/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=342132 CPUtime=1601.86 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 15765701 0 0 0 140600 19586 0 0 25 0 1 0 2940092 350343168 82393 1992294400 4194304 9819077 140735555195984 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 85533 82393 725 1374 0 84154 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 342132 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12191 /proc/meminfo: memFree=1057352/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=360468 CPUtime=1661.84 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 16342001 0 0 0 145887 20297 0 0 25 0 1 0 2940092 369119232 87095 1992294400 4194304 9819077 140735555195984 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 90117 87095 725 1374 0 88738 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 360468 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12193 /proc/meminfo: memFree=1043216/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=374092 CPUtime=1721.83 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 16920056 0 0 0 151163 21020 0 0 25 0 1 0 2940092 383070208 90635 1992294400 4194304 9819077 140735555195984 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 93563 90636 725 1374 0 92184 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 374092 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12195 /proc/meminfo: memFree=1026724/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=388912 CPUtime=1781.81 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 17501362 0 0 0 156429 21752 0 0 25 0 1 0 2940092 398245888 94634 1992294400 4194304 9819077 140735555195984 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 97428 94638 725 1374 0 96049 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 388912 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12195 /proc/meminfo: memFree=1023376/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=393124 CPUtime=1800.01 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 17678557 0 0 0 158022 21979 0 0 25 0 1 0 2940092 402558976 95458 1992294400 4194304 9819077 140735555195984 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12137/statm: 98281 95458 725 1374 0 96902 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 393124 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -12137 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 3/107 12196 /proc/meminfo: memFree=1023368/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=393124 CPUtime=1800.91 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 17678563 0 0 0 158112 21979 0 0 25 0 1 0 2940092 402558976 95459 1992294400 4194304 9819077 140735555195984 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12137/statm: 98281 95459 726 1374 0 96902 0 Current children cumulated CPU time (s) 1800.91 Current children cumulated vsize (KiB) 393124 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12196 /proc/meminfo: memFree=1023244/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=393124 CPUtime=1801.71 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 17678563 0 0 0 158192 21979 0 0 25 0 1 0 2940092 402558976 95459 1992294400 4194304 9819077 140735555195984 18446744073709551615 6179982 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12137/statm: 98281 95459 726 1374 0 96902 0 Current children cumulated CPU time (s) 1801.71 Current children cumulated vsize (KiB) 393124 [startup+1802.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12196 /proc/meminfo: memFree=1023244/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=393124 CPUtime=1801.91 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 17678563 0 0 0 158212 21979 0 0 25 0 1 0 2940092 402558976 95459 1992294400 4194304 9819077 140735555195984 18446744073709551615 6180576 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12137/statm: 98281 95459 726 1374 0 96902 0 Current children cumulated CPU time (s) 1801.91 Current children cumulated vsize (KiB) 393124 [startup+1802.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12196 /proc/meminfo: memFree=1023244/2059040 swapFree=4192956/4192956 [pid=12137] ppid=12135 vsize=393124 CPUtime=1802.01 /proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 17678563 0 0 0 158222 21979 0 0 25 0 1 0 2940092 402558976 95459 1992294400 4194304 9819077 140735555195984 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12137/statm: 98281 95459 726 1374 0 96902 0 Current children cumulated CPU time (s) 1802.01 Current children cumulated vsize (KiB) 393124 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.55 CPU time (s): 1802.06 CPU user time (s): 1582.23 CPU system time (s): 219.834 CPU usage (%): 99.9732 Max. virtual memory (cumulated for all children) (KiB): 393124 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1582.23 system time used= 219.834 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17678563 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= 1 involuntary context switches= 3831 runsolver used 3.2865 second user time and 8.21775 second system time The end
Begin job on node082 at 2010-06-15 17:41:06 IDJOB=2665661 IDBENCH=2924 IDSOLVER=1168 FILE ID=node082/2665661-1276616466 PBS_JOBID= 11172318 Free space on /tmp= 62584 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665661-1276616466/watcher-2665661-1276616466 -o /tmp/evaluation-result-2665661-1276616466/solver-2665661-1276616466 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665661-1276616466.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a70b0edfadf87ffd0bc1b32400cae43b RANDOM SEED=1039902607 node082.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.215 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.215 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1407196 kB Buffers: 80172 kB Cached: 430528 kB SwapCached: 0 kB Active: 210656 kB Inactive: 359348 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1407196 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6548 kB Writeback: 0 kB AnonPages: 59244 kB Mapped: 15296 kB Slab: 60212 kB PageTables: 3968 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181372 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62576 MiB End job on node082 at 2010-06-15 18:11:09