Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1802.09 | 1802.07 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557362--soft-66-100-0.wbo |
| MD5SUM | a633e631fdb9de9296374319dc47b460 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 7 |
| Best CPU time to get the best result obtained on this benchmark | 451.752 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 899 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 46330 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 46329 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 709 |
| Number of bits of the biggest sum of numbers | 10 |
| 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: NONE] [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-2694181-1277909627.wbo>
0.00/0.02 c original problem has 2029 variables (1130 bin, 0 int, 0 impl, 899 cont) and 3607 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.04 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.00/0.07 c (round 2) 0 del vars, 110 del conss, 899 chg bounds, 51 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.00/0.09 c (round 3) 51 del vars, 242 del conss, 915 chg bounds, 132 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.09/0.10 c (round 4) 118 del vars, 258 del conss, 915 chg bounds, 132 chg sides, 0 chg coeffs, 1685 upgd conss, 1117 impls, 11 clqs
0.09/0.12 c (round 5) 134 del vars, 258 del conss, 915 chg bounds, 132 chg sides, 0 chg coeffs, 1685 upgd conss, 1117 impls, 11 clqs
0.09/0.16 c (0.1s) probing: 101/1063 (9.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16 c presolving (6 rounds):
0.09/0.16 c 134 deleted vars, 258 deleted constraints, 915 tightened bounds, 0 added holes, 132 changed sides, 0 changed coefficients
0.09/0.16 c 1117 implications, 11 cliques
0.09/0.16 c presolved problem has 1895 variables (1063 bin, 0 int, 0 impl, 832 cont) and 3349 constraints
0.09/0.16 c 832 constraints of type <indicator>
0.09/0.16 c 1 constraints of type <knapsack>
0.09/0.16 c 11 constraints of type <setppc>
0.09/0.16 c 832 constraints of type <linear>
0.09/0.16 c 1673 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.11
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.2
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1799.98
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 3420
0.09/0.16 c
0.09/0.16 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.16 c lp/solvefreq = -1
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.16 c
0.09/0.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.16 c 0.1s| 1 | 2 | 0 | - |7441k| 0 | - |1895 |3349 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.79/0.89 o 474
0.79/0.89 c * 0.8s| 3185 | 2810 | 0 | 0.0 |9579k| 998 | - |1895 |3844 | 0 | 0 | 0 | 685 | 0 | 0.000000e+00 | 4.740000e+02 | Inf
0.89/0.96 o 430
0.89/0.96 c * 0.9s| 3442 | 3040 | 0 | 0.0 |9722k| 998 | - |1895 |3845 | 0 | 0 | 0 | 704 | 0 | 0.000000e+00 | 4.300000e+02 | Inf
2.79/2.81 c 2.7s| 10000 | 8551 | 0 | 0.0 | 14M| 998 | - |1895 |4661 | 0 | 0 | 0 |3616 | 0 | 0.000000e+00 | 4.300000e+02 | Inf
5.29/5.33 o 333
5.29/5.33 c * 5.1s| 18149 | 13800 | 0 | 0.0 | 20M| 998 | - |1895 |5769 | 0 | 0 | 0 |8658 | 0 | 0.000000e+00 | 3.330000e+02 | Inf
5.59/5.64 o 308
5.59/5.64 c * 5.4s| 19177 | 14775 | 0 | 0.0 | 20M| 998 | - |1895 |5330 | 0 | 0 | 0 |8816 | 0 | 0.000000e+00 | 3.080000e+02 | Inf
5.59/5.68 o 290
5.59/5.68 c * 5.4s| 19317 | 14902 | 0 | 0.0 | 20M| 998 | - |1895 |5280 | 0 | 0 | 0 |8829 | 0 | 0.000000e+00 | 2.900000e+02 | Inf
5.79/5.84 o 275
5.79/5.84 c * 5.6s| 19879 | 15417 | 0 | 0.0 | 21M| 998 | - |1895 |5123 | 0 | 0 | 0 |8937 | 0 | 0.000000e+00 | 2.750000e+02 | Inf
5.79/5.88 c 5.6s| 20000 | 15532 | 0 | 0.0 | 20M| 998 | - |1895 |5076 | 0 | 0 | 0 |8951 | 0 | 0.000000e+00 | 2.750000e+02 | Inf
5.89/5.98 o 247
5.89/5.98 c * 5.7s| 20364 | 15852 | 0 | 0.0 | 21M| 998 | - |1895 |4975 | 0 | 0 | 0 |9004 | 0 | 0.000000e+00 | 2.470000e+02 | Inf
6.49/6.58 o 178
6.49/6.58 c * 6.3s| 22490 | 17554 | 0 | 0.0 | 22M| 998 | - |1895 |4560 | 0 | 0 | 0 |9465 | 0 | 0.000000e+00 | 1.780000e+02 | Inf
6.59/6.69 o 167
6.59/6.69 c * 6.4s| 22869 | 17894 | 0 | 0.0 | 22M| 998 | - |1895 |4538 | 0 | 0 | 0 |9561 | 0 | 0.000000e+00 | 1.670000e+02 | Inf
6.69/6.78 o 154
6.69/6.78 c * 6.5s| 23218 | 18088 | 0 | 0.0 | 22M| 998 | - |1895 |4508 | 0 | 0 | 0 |9619 | 0 | 0.000000e+00 | 1.540000e+02 | Inf
6.69/6.78 o 142
6.69/6.78 c * 6.5s| 23219 | 17869 | 0 | 0.0 | 22M| 998 | - |1895 |4508 | 0 | 0 | 0 |9619 | 0 | 0.000000e+00 | 1.420000e+02 | Inf
8.69/8.73 c 8.4s| 30000 | 23686 | 0 | 0.0 | 26M| 998 | - |1895 |4985 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.420000e+02 | Inf
11.79/11.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.79/11.85 c 11.4s| 40000 | 31560 | 0 | 0.0 | 33M| 998 | - |1895 |5493 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.420000e+02 | Inf
15.29/15.40 c 14.8s| 50000 | 38865 | 0 | 0.0 | 40M| 998 | - |1895 |5466 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.420000e+02 | Inf
19.09/19.19 c 18.5s| 60000 | 45674 | 0 | 0.0 | 47M| 998 | - |1895 |5814 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 1.420000e+02 | Inf
23.19/23.26 c 22.5s| 70000 | 51945 | 0 | 0.0 | 54M| 998 | - |1895 |6295 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 1.420000e+02 | Inf
27.29/27.35 c 26.4s| 80000 | 57950 | 0 | 0.0 | 60M| 998 | - |1895 |6585 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 1.420000e+02 | Inf
31.58/31.69 c 30.6s| 90000 | 63500 | 0 | 0.0 | 67M| 998 | - |1895 |7252 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 1.420000e+02 | Inf
36.09/36.15 c 35.0s|100000 | 68980 | 0 | 0.0 | 74M| 998 | - |1895 |8658 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 1.420000e+02 | Inf
42.39/42.47 c 41.2s|110000 | 72575 | 0 | 0.0 | 80M| 998 | - |1895 |9058 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 1.420000e+02 | Inf
45.89/45.90 c 44.5s|120000 | 81644 | 0 | 0.0 | 88M| 998 | - |1895 |5471 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 1.420000e+02 | Inf
46.39/46.41 o 138
46.39/46.41 c *45.0s|121499 | 82955 | 0 | 0.0 | 89M| 998 | - |1895 |5545 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
47.09/47.11 o 97
47.09/47.11 c *45.7s|123476 | 83644 | 0 | 0.0 | 88M| 998 | - |1895 |5564 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
47.09/47.11 o 77
47.09/47.11 c *45.7s|123477 | 82574 | 0 | 0.0 | 86M| 998 | - |1895 |5564 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
49.39/49.49 c 48.0s|130000 | 88090 | 0 | 0.0 | 93M| 998 | - |1895 |5873 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
53.19/53.22 c 51.6s|140000 | 96183 | 0 | 0.0 | 105M| 998 | - |1895 |5769 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
56.49/56.50 c 54.7s|150000 |104848 | 0 | 0.0 | 113M| 998 | - |1895 |5566 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
59.79/59.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.79/59.84 c 58.0s|160000 |113108 | 0 | 0.0 | 123M| 998 | - |1895 |5743 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
62.80/62.81 c 60.8s|170000 |121735 | 0 | 0.0 | 130M| 998 | - |1895 |6392 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
62.98/63.01 o 71
62.98/63.01 c *61.0s|170651 |120532 | 0 | 0.0 | 125M| 998 | - |1895 |6474 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
66.10/66.18 o 65
66.10/66.18 c *64.0s|179991 |127396 | 0 | 0.0 | 131M| 998 | - |1895 |6227 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
66.10/66.18 c 64.0s|180000 |127405 | 0 | 0.0 | 131M| 998 | - |1895 |6216 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
69.19/69.21 c 67.0s|190000 |135614 | 0 | 0.0 | 138M| 998 | - |1895 |6650 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
72.39/72.43 c 70.1s|200000 |143405 | 0 | 0.0 | 145M| 998 | - |1895 |6762 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
75.89/75.97 c 73.5s|210000 |150546 | 0 | 0.0 | 151M| 998 | - |1895 |6966 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
79.39/79.41 c 76.8s|220000 |157732 | 0 | 0.0 | 159M| 998 | - |1895 |9575 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
82.89/82.93 c 80.2s|230000 |164984 | 0 | 0.0 | 165M| 998 | - |1895 |8813 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
86.39/86.40 c 83.5s|240000 |173273 | 0 | 0.0 | 172M| 998 | - |1895 |4491 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
89.38/89.45 c 86.5s|250000 |181407 | 0 | 0.0 | 179M| 998 | - |1895 |5110 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
93.29/93.31 c 90.2s|260000 |188080 | 0 | 0.0 | 186M| 998 | - |1895 |6380 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
97.39/97.49 c 94.2s|270000 |194406 | 0 | 0.0 | 194M| 998 | - |1895 |6683 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
102.09/102.11 c 98.8s|280000 |200139 | 0 | 0.0 | 201M| 998 | - |1895 |6739 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
106.88/106.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.88/106.90 c 103s|290000 |205664 | 0 | 0.0 | 208M| 998 | - |1895 |6112 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
111.99/112.06 c 108s|300000 |210499 | 0 | 0.0 | 215M| 998 | - |1895 |6755 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
117.39/117.44 c 114s|310000 |215143 | 0 | 0.0 | 222M| 998 | - |1895 |6589 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
122.79/122.89 c 119s|320000 |219569 | 0 | 0.0 | 229M| 998 | - |1895 |6427 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
128.70/128.75 c 125s|330000 |223387 | 0 | 0.0 | 236M| 998 | - |1895 |7293 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
134.79/134.83 c 131s|340000 |226957 | 0 | 0.0 | 243M| 998 | - |1895 |7080 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
140.99/141.09 c 137s|350000 |230313 | 0 | 0.0 | 249M| 998 | - |1895 |6939 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
147.29/147.38 c 143s|360000 |233550 | 0 | 0.0 | 256M| 998 | - |1895 |7250 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
153.99/154.07 c 149s|370000 |236148 | 0 | 0.0 | 263M| 998 | - |1895 |7892 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
160.39/160.49 c 155s|380000 |239184 | 0 | 0.0 | 270M| 998 | - |1895 |7542 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
167.30/167.39 c 162s|390000 |241383 | 0 | 0.0 | 276M| 998 | - |1895 |7578 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
173.99/174.02 c 169s|400000 |243989 | 0 | 0.0 | 282M| 998 | - |1895 |7693 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
180.99/181.08 c 176s|410000 |245863 | 0 | 0.0 | 288M| 998 | - |1895 |7540 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
188.20/188.29 c 183s|420000 |247392 | 0 | 0.0 | 293M| 998 | - |1895 |7969 | 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
195.90/195.99 c 190s|430000 |248358 | 0 | 0.0 | 298M| 998 | - |1895 |8889 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
204.39/204.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
204.39/204.50 c 199s|440000 |248472 | 0 | 0.0 | 303M| 998 | - |1895 |9695 | 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
214.39/214.49 c 208s|450000 |246854 | 0 | 0.0 | 305M| 998 | - |1895 | 12k| 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
221.30/221.36 c 215s|460000 |250880 | 0 | 0.0 | 306M| 998 | - |1895 |4496 | 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
221.89/221.92 o 50
221.89/221.92 c * 216s|461563 |250613 | 0 | 0.0 | 302M| 998 | - |1895 |4578 | 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
224.89/224.99 c 219s|470000 |257602 | 0 | 0.0 | 309M| 998 | - |1895 |4031 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
228.30/228.33 c 222s|480000 |265923 | 0 | 0.0 | 318M| 998 | - |1895 |4497 | 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
231.59/231.69 c 225s|490000 |274131 | 0 | 0.0 | 327M| 998 | - |1895 |4810 | 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
234.99/235.08 c 228s|500000 |282302 | 0 | 0.0 | 336M| 998 | - |1895 |5222 | 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
238.49/238.52 c 232s|510000 |290369 | 0 | 0.0 | 345M| 998 | - |1895 |5415 | 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
241.39/241.43 o 43
241.39/241.43 c * 234s|518407 |295553 | 0 | 0.0 | 349M| 998 | - |1895 |5482 | 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
241.89/241.99 c 235s|520000 |296838 | 0 | 0.0 | 351M| 998 | - |1895 |5277 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
245.39/245.45 c 238s|530000 |304790 | 0 | 0.0 | 360M| 998 | - |1895 |5729 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
248.89/248.97 c 242s|540000 |312590 | 0 | 0.0 | 370M| 998 | - |1895 |6033 | 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
252.79/252.88 c 245s|550000 |320273 | 0 | 0.0 | 379M| 998 | - |1895 |4191 | 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
256.59/256.63 c 249s|560000 |327968 | 0 | 0.0 | 388M| 998 | - |1895 |4460 | 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
260.19/260.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
260.19/260.24 c 252s|570000 |335425 | 0 | 0.0 | 399M| 998 | - |1895 |5714 | 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
264.00/264.01 c 256s|580000 |342790 | 0 | 0.0 | 410M| 998 | - |1895 |6459 | 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
268.09/268.15 c 260s|590000 |349796 | 0 | 0.0 | 421M| 998 | - |1895 |6418 | 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
272.29/272.34 c 264s|600000 |356696 | 0 | 0.0 | 433M| 998 | - |1895 |7312 | 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
276.69/276.77 c 268s|610000 |363328 | 0 | 0.0 | 445M| 998 | - |1895 |7997 | 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
281.39/281.47 c 273s|620000 |369730 | 0 | 0.0 | 457M| 998 | - |1895 |8983 | 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
286.79/286.87 c 278s|630000 |375424 | 0 | 0.0 | 469M| 998 | - |1895 |9045 | 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
288.59/288.61 o 39
288.59/288.61 c * 280s|632991 |368137 | 0 | 0.0 | 446M| 998 | - |1895 |9354 | 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
293.70/293.77 c 285s|640000 |370215 | 0 | 0.0 | 453M| 998 | - |1895 |7064 | 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
297.49/297.58 c 288s|650000 |377428 | 0 | 0.0 | 459M| 998 | - |1895 |4970 | 0 | 0 | 0 | 527k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
300.59/300.64 c 291s|660000 |385724 | 0 | 0.0 | 467M| 998 | - |1895 |5512 | 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
303.70/303.77 c 294s|670000 |393876 | 0 | 0.0 | 474M| 998 | - |1895 |5815 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
306.90/306.92 c 297s|680000 |401928 | 0 | 0.0 | 482M| 998 | - |1895 |6251 | 0 | 0 | 0 | 537k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
310.09/310.13 c 300s|690000 |409905 | 0 | 0.0 | 490M| 998 | - |1895 |6603 | 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
313.40/313.40 c 303s|700000 |417761 | 0 | 0.0 | 497M| 998 | - |1895 |7083 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
316.69/316.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
316.69/316.75 c 307s|710000 |425571 | 0 | 0.0 | 505M| 998 | - |1895 |7080 | 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
320.09/320.19 c 310s|720000 |433208 | 0 | 0.0 | 512M| 998 | - |1895 |7571 | 0 | 0 | 0 | 553k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
323.69/323.77 c 313s|730000 |440694 | 0 | 0.0 | 520M| 998 | - |1895 |7938 | 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
327.49/327.51 c 317s|740000 |447945 | 0 | 0.0 | 528M| 998 | - |1895 |8393 | 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
331.29/331.34 c 321s|750000 |455073 | 0 | 0.0 | 537M| 998 | - |1895 |8939 | 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
335.29/335.34 c 324s|760000 |462047 | 0 | 0.0 | 545M| 998 | - |1895 |9362 | 0 | 0 | 0 | 573k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
339.40/339.43 c 328s|770000 |468947 | 0 | 0.0 | 552M| 998 | - |1895 |9428 | 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
343.99/344.05 c 333s|780000 |475193 | 0 | 0.0 | 561M| 998 | - |1895 | 10k| 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
349.39/349.46 c 338s|790000 |480478 | 0 | 0.0 | 569M| 998 | - |1895 | 11k| 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
355.09/355.12 c 344s|800000 |485422 | 0 | 0.0 | 576M| 998 | - |1895 |7482 | 0 | 0 | 0 | 603k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
358.09/358.17 c 346s|810000 |493786 | 0 | 0.0 | 583M| 998 | - |1895 |7108 | 0 | 0 | 0 | 606k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
361.19/361.26 c 349s|820000 |502047 | 0 | 0.0 | 590M| 998 | - |1895 |7571 | 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
364.29/364.34 c 352s|830000 |510258 | 0 | 0.0 | 597M| 998 | - |1895 |7977 | 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
367.50/367.57 c 355s|840000 |518258 | 0 | 0.0 | 605M| 998 | - |1895 |8126 | 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
370.80/370.85 c 359s|850000 |526172 | 0 | 0.0 | 612M| 998 | - |1895 |8654 | 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
374.29/374.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
374.29/374.35 c 362s|860000 |533812 | 0 | 0.0 | 619M| 998 | - |1895 |9127 | 0 | 0 | 0 | 623k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
377.90/377.98 c 365s|870000 |541257 | 0 | 0.0 | 627M| 998 | - |1895 |9594 | 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
381.59/381.64 c 369s|880000 |548763 | 0 | 0.0 | 634M| 998 | - |1895 | 10k| 0 | 0 | 0 | 632k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
385.60/385.63 c 373s|890000 |555896 | 0 | 0.0 | 642M| 998 | - |1895 | 10k| 0 | 0 | 0 | 637k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
389.79/389.80 c 377s|900000 |562904 | 0 | 0.0 | 650M| 998 | - |1895 | 11k| 0 | 0 | 0 | 642k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
390.89/390.95 o 38
390.89/390.95 c * 378s|902602 |563827 | 0 | 0.0 | 649M| 998 | - |1895 | 11k| 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
394.19/394.28 c 381s|910000 |568807 | 0 | 0.0 | 655M| 998 | - |1895 | 11k| 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
399.09/399.18 c 386s|920000 |575033 | 0 | 0.0 | 663M| 998 | - |1895 | 12k| 0 | 0 | 0 | 655k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
404.39/404.48 c 391s|930000 |580858 | 0 | 0.0 | 672M| 998 | - |1895 | 12k| 0 | 0 | 0 | 663k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
410.30/410.36 c 397s|940000 |586004 | 0 | 0.0 | 680M| 998 | - |1895 | 14k| 0 | 0 | 0 | 672k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
417.09/417.11 c 403s|950000 |590458 | 0 | 0.0 | 686M| 998 | - |1895 | 10k| 0 | 0 | 0 | 683k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
420.30/420.35 c 406s|960000 |598699 | 0 | 0.0 | 692M| 998 | - |1895 |8794 | 0 | 0 | 0 | 686k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
423.60/423.62 c 409s|970000 |606760 | 0 | 0.0 | 699M| 998 | - |1895 |9189 | 0 | 0 | 0 | 690k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
427.10/427.18 c 413s|980000 |614482 | 0 | 0.0 | 706M| 998 | - |1895 |9515 | 0 | 0 | 0 | 696k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
430.89/430.91 c 416s|990000 |622004 | 0 | 0.0 | 714M| 998 | - |1895 |9954 | 0 | 0 | 0 | 701k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
434.79/434.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
434.79/434.86 c 420s| 1000k|629189 | 0 | 0.0 | 721M| 998 | - |1895 | 10k| 0 | 0 | 0 | 708k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
439.09/439.10 c 424s| 1010k|636073 | 0 | 0.0 | 729M| 998 | - |1895 | 10k| 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
443.40/443.48 c 428s| 1020k|642715 | 0 | 0.0 | 736M| 998 | - |1895 | 11k| 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
448.20/448.25 c 433s| 1030k|648864 | 0 | 0.0 | 744M| 998 | - |1895 | 12k| 0 | 0 | 0 | 730k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
453.50/453.59 c 438s| 1040k|654302 | 0 | 0.0 | 751M| 998 | - |1895 | 12k| 0 | 0 | 0 | 739k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
459.80/459.84 o 33
459.80/459.84 c * 444s| 1049k|626785 | 0 | 0.0 | 678M| 998 | - |1895 | 13k| 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
459.90/459.91 c 444s| 1050k|626810 | 0 | 0.0 | 678M| 998 | - |1895 | 13k| 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
465.80/465.80 c 450s| 1060k|631648 | 0 | 0.0 | 682M| 998 | - |1895 |9593 | 0 | 0 | 0 | 761k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
469.29/469.31 c 453s| 1070k|639498 | 0 | 0.0 | 689M| 998 | - |1895 | 10k| 0 | 0 | 0 | 767k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
473.00/473.08 c 457s| 1080k|647122 | 0 | 0.0 | 696M| 998 | - |1895 | 11k| 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
477.19/477.21 c 461s| 1090k|654411 | 0 | 0.0 | 703M| 998 | - |1895 | 12k| 0 | 0 | 0 | 780k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
481.69/481.75 c 465s| 1100k|661229 | 0 | 0.0 | 710M| 998 | - |1895 | 13k| 0 | 0 | 0 | 788k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
487.00/487.04 c 471s| 1110k|667331 | 0 | 0.0 | 717M| 998 | - |1895 | 14k| 0 | 0 | 0 | 798k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
493.00/493.03 c 476s| 1120k|672762 | 0 | 0.0 | 724M| 998 | - |1895 | 15k| 0 | 0 | 0 | 808k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
500.70/500.72 c 484s| 1130k|676696 | 0 | 0.0 | 730M| 998 | - |1895 | 16k| 0 | 0 | 0 | 823k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
507.79/507.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
507.79/507.80 c 491s| 1140k|681349 | 0 | 0.0 | 733M| 998 | - |1895 | 10k| 0 | 0 | 0 | 835k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
511.39/511.43 c 494s| 1150k|689136 | 0 | 0.0 | 740M| 998 | - |1895 | 11k| 0 | 0 | 0 | 840k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
515.30/515.35 c 498s| 1160k|696554 | 0 | 0.0 | 747M| 998 | - |1895 | 12k| 0 | 0 | 0 | 846k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
519.59/519.60 c 502s| 1170k|703648 | 0 | 0.0 | 753M| 998 | - |1895 | 13k| 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
524.09/524.11 c 506s| 1180k|710452 | 0 | 0.0 | 760M| 998 | - |1895 | 14k| 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
529.20/529.28 c 511s| 1190k|716568 | 0 | 0.0 | 767M| 998 | - |1895 | 15k| 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
535.30/535.33 c 517s| 1200k|721892 | 0 | 0.0 | 773M| 998 | - |1895 | 17k| 0 | 0 | 0 | 882k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
544.50/544.52 c 526s| 1210k|724326 | 0 | 0.0 | 779M| 998 | - |1895 | 20k| 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
549.30/549.38 c 531s| 1220k|731311 | 0 | 0.0 | 782M| 998 | - |1895 | 11k| 0 | 0 | 0 | 907k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
553.40/553.44 c 535s| 1230k|738658 | 0 | 0.0 | 789M| 998 | - |1895 | 12k| 0 | 0 | 0 | 913k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
557.70/557.79 c 539s| 1240k|745707 | 0 | 0.0 | 796M| 998 | - |1895 | 14k| 0 | 0 | 0 | 920k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
562.60/562.69 c 544s| 1250k|752294 | 0 | 0.0 | 802M| 998 | - |1895 | 15k| 0 | 0 | 0 | 927k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
568.49/568.54 c 550s| 1260k|757898 | 0 | 0.0 | 808M| 998 | - |1895 | 17k| 0 | 0 | 0 | 937k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
576.90/576.90 c 558s| 1270k|761056 | 0 | 0.0 | 814M| 998 | - |1895 | 19k| 0 | 0 | 0 | 953k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
581.60/581.60 c 562s| 1280k|768366 | 0 | 0.0 | 815M| 998 | - |1895 |5533 | 0 | 0 | 0 | 959k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
584.99/585.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
584.99/585.07 c 566s| 1290k|776386 | 0 | 0.0 | 822M| 998 | - |1895 |5021 | 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
588.50/588.55 c 569s| 1300k|784369 | 0 | 0.0 | 829M| 998 | - |1895 |5124 | 0 | 0 | 0 | 967k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
591.99/592.02 c 572s| 1310k|792344 | 0 | 0.0 | 836M| 998 | - |1895 |5479 | 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
595.90/595.97 c 576s| 1320k|799693 | 0 | 0.0 | 844M| 998 | - |1895 |6770 | 0 | 0 | 0 | 977k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
600.30/600.31 c 580s| 1330k|806527 | 0 | 0.0 | 850M| 998 | - |1895 |5224 | 0 | 0 | 0 | 984k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
603.30/603.36 c 583s| 1340k|814992 | 0 | 0.0 | 857M| 998 | - |1895 |5404 | 0 | 0 | 0 | 987k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
606.69/606.75 c 586s| 1350k|822933 | 0 | 0.0 | 864M| 998 | - |1895 |6339 | 0 | 0 | 0 | 991k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
610.70/610.78 c 590s| 1360k|829824 | 0 | 0.0 | 871M| 998 | - |1895 |8243 | 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
614.10/614.15 c 594s| 1370k|837909 | 0 | 0.0 | 877M| 998 | - |1895 |5677 | 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
617.10/617.18 c 596s| 1380k|846279 | 0 | 0.0 | 883M| 998 | - |1895 |6086 | 0 | 0 | 0 |1004k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
620.40/620.48 c 600s| 1390k|854244 | 0 | 0.0 | 890M| 998 | - |1895 |7061 | 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
624.29/624.30 c 603s| 1400k|861510 | 0 | 0.0 | 897M| 998 | - |1895 |8431 | 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
629.40/629.42 c 608s| 1410k|867148 | 0 | 0.0 | 905M| 998 | - |1895 | 11k| 0 | 0 | 0 |1023k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
633.09/633.14 c 612s| 1420k|875037 | 0 | 0.0 | 909M| 998 | - |1895 |4405 | 0 | 0 | 0 |1027k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
637.90/637.97 c 617s| 1430k|880608 | 0 | 0.0 | 917M| 998 | - |1895 |7086 | 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
643.90/643.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
643.90/643.93 c 622s| 1440k|885066 | 0 | 0.0 | 925M| 998 | - |1895 |9189 | 0 | 0 | 0 |1048k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
650.90/650.91 c 629s| 1450k|888735 | 0 | 0.0 | 932M| 998 | - |1895 |9556 | 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
658.50/658.52 c 637s| 1460k|891934 | 0 | 0.0 | 939M| 998 | - |1895 | 11k| 0 | 0 | 0 |1075k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
666.50/666.58 c 644s| 1470k|894770 | 0 | 0.0 | 945M| 998 | - |1895 | 11k| 0 | 0 | 0 |1090k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
675.41/675.49 c 653s| 1480k|896936 | 0 | 0.0 | 951M| 998 | - |1895 | 11k| 0 | 0 | 0 |1106k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
685.10/685.13 c 663s| 1490k|898568 | 0 | 0.0 | 956M| 998 | - |1895 | 11k| 0 | 0 | 0 |1123k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
695.50/695.59 c 673s| 1500k|899472 | 0 | 0.0 | 962M| 998 | - |1895 | 11k| 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
707.40/707.46 c 685s| 1510k|899507 | 0 | 0.0 | 966M| 998 | - |1895 | 10k| 0 | 0 | 0 |1159k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
719.90/719.99 c 697s| 1520k|899007 | 0 | 0.0 | 971M| 998 | - |1895 | 10k| 0 | 0 | 0 |1179k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
732.80/732.81 c 710s| 1530k|897729 | 0 | 0.0 | 973M| 998 | - |1895 | 10k| 0 | 0 | 0 |1200k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
745.49/745.56 c 722s| 1540k|896161 | 0 | 0.0 | 975M| 998 | - |1895 | 11k| 0 | 0 | 0 |1221k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
759.11/759.15 c 735s| 1550k|894006 | 0 | 0.0 | 978M| 998 | - |1895 | 12k| 0 | 0 | 0 |1244k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
773.10/773.13 c 749s| 1560k|891268 | 0 | 0.0 | 979M| 998 | - |1895 | 12k| 0 | 0 | 0 |1266k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
787.20/787.22 c 763s| 1570k|888062 | 0 | 0.0 | 979M| 998 | - |1895 | 10k| 0 | 0 | 0 |1290k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
801.91/801.92 c 778s| 1580k|883698 | 0 | 0.0 | 976M| 998 | - |1895 | 11k| 0 | 0 | 0 |1315k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
816.80/816.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
816.80/816.80 c 792s| 1590k|879045 | 0 | 0.0 | 972M| 998 | - |1895 | 10k| 0 | 0 | 0 |1340k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
831.40/831.46 c 807s| 1600k|873993 | 0 | 0.0 | 969M| 998 | - |1895 | 10k| 0 | 0 | 0 |1365k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
846.41/846.43 c 821s| 1610k|868336 | 0 | 0.0 | 964M| 998 | - |1895 | 10k| 0 | 0 | 0 |1391k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
862.70/862.76 c 838s| 1620k|861262 | 0 | 0.0 | 955M| 998 | - |1895 | 11k| 0 | 0 | 0 |1419k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
880.01/880.07 c 855s| 1630k|853488 | 0 | 0.0 | 944M| 998 | - |1895 | 13k| 0 | 0 | 0 |1446k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
895.20/895.20 c 870s| 1640k|850092 | 0 | 0.0 | 932M| 998 | - |1895 |6004 | 0 | 0 | 0 |1469k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
899.20/899.22 c 873s| 1650k|857602 | 0 | 0.0 | 939M| 998 | - |1895 |6046 | 0 | 0 | 0 |1474k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
903.21/903.24 c 877s| 1660k|865159 | 0 | 0.0 | 946M| 998 | - |1895 |6027 | 0 | 0 | 0 |1479k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
907.21/907.26 c 881s| 1670k|872690 | 0 | 0.0 | 954M| 998 | - |1895 |7165 | 0 | 0 | 0 |1484k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
911.50/911.56 c 885s| 1680k|880009 | 0 | 0.0 | 961M| 998 | - |1895 |7334 | 0 | 0 | 0 |1489k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
915.90/915.90 c 890s| 1690k|887243 | 0 | 0.0 | 969M| 998 | - |1895 |7567 | 0 | 0 | 0 |1495k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
920.30/920.33 c 894s| 1700k|894443 | 0 | 0.0 | 976M| 998 | - |1895 |8225 | 0 | 0 | 0 |1501k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
924.80/924.89 c 898s| 1710k|901502 | 0 | 0.0 | 984M| 998 | - |1895 |8309 | 0 | 0 | 0 |1506k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
929.51/929.60 c 903s| 1720k|908465 | 0 | 0.0 | 992M| 998 | - |1895 |9123 | 0 | 0 | 0 |1513k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
934.10/934.17 c 907s| 1730k|915518 | 0 | 0.0 | 999M| 998 | - |1895 |9788 | 0 | 0 | 0 |1519k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
938.90/938.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
938.90/938.91 c 912s| 1740k|922474 | 0 | 0.0 |1007M| 998 | - |1895 | 10k| 0 | 0 | 0 |1525k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
943.81/943.90 c 917s| 1750k|929178 | 0 | 0.0 |1014M| 998 | - |1895 | 11k| 0 | 0 | 0 |1532k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
948.70/948.70 c 921s| 1760k|936130 | 0 | 0.0 |1022M| 998 | - |1895 | 11k| 0 | 0 | 0 |1538k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
954.00/954.07 c 927s| 1770k|942667 | 0 | 0.0 |1029M| 998 | - |1895 | 11k| 0 | 0 | 0 |1545k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
959.21/959.22 c 932s| 1780k|949261 | 0 | 0.0 |1037M| 998 | - |1895 | 11k| 0 | 0 | 0 |1553k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
964.60/964.65 c 937s| 1790k|955634 | 0 | 0.0 |1044M| 998 | - |1895 | 12k| 0 | 0 | 0 |1560k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
970.00/970.07 c 942s| 1800k|962077 | 0 | 0.0 |1052M| 998 | - |1895 | 12k| 0 | 0 | 0 |1568k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
975.20/975.29 c 947s| 1810k|968757 | 0 | 0.0 |1060M| 998 | - |1895 | 13k| 0 | 0 | 0 |1575k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
980.90/980.98 c 953s| 1820k|975172 | 0 | 0.0 |1068M| 998 | - |1895 | 13k| 0 | 0 | 0 |1582k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
986.50/986.53 c 958s| 1830k|981695 | 0 | 0.0 |1075M| 998 | - |1895 | 13k| 0 | 0 | 0 |1589k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
992.00/992.00 c 963s| 1840k|988313 | 0 | 0.0 |1083M| 998 | - |1895 | 14k| 0 | 0 | 0 |1597k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
998.11/998.14 c 969s| 1850k|994383 | 0 | 0.0 |1091M| 998 | - |1895 | 15k| 0 | 0 | 0 |1605k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1003.90/1003.95 c 975s| 1860k| 1000k| 0 | 0.0 |1100M| 998 | - |1895 | 15k| 0 | 0 | 0 |1613k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1010.30/1010.35 c 981s| 1870k| 1006k| 0 | 0.0 |1107M| 998 | - |1895 | 16k| 0 | 0 | 0 |1621k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1016.30/1016.37 c 987s| 1880k| 1013k| 0 | 0.0 |1116M| 998 | - |1895 | 16k| 0 | 0 | 0 |1629k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1023.10/1023.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1023.10/1023.19 c 994s| 1890k| 1019k| 0 | 0.0 |1124M| 998 | - |1895 | 16k| 0 | 0 | 0 |1637k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1029.30/1029.36 c 1000s| 1900k| 1025k| 0 | 0.0 |1132M| 998 | - |1895 | 17k| 0 | 0 | 0 |1645k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1036.21/1036.21 c 1006s| 1910k| 1031k| 0 | 0.0 |1140M| 998 | - |1895 | 17k| 0 | 0 | 0 |1654k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1042.81/1042.87 c 1013s| 1920k| 1037k| 0 | 0.0 |1148M| 998 | - |1895 | 18k| 0 | 0 | 0 |1663k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1049.41/1049.42 c 1019s| 1930k| 1043k| 0 | 0.0 |1156M| 998 | - |1895 | 18k| 0 | 0 | 0 |1671k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1056.90/1056.98 c 1027s| 1940k| 1049k| 0 | 0.0 |1164M| 998 | - |1895 | 18k| 0 | 0 | 0 |1680k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1063.81/1063.83 c 1033s| 1950k| 1055k| 0 | 0.0 |1172M| 998 | - |1895 | 19k| 0 | 0 | 0 |1688k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1071.70/1071.71 c 1041s| 1960k| 1060k| 0 | 0.0 |1180M| 998 | - |1895 | 19k| 0 | 0 | 0 |1697k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1078.80/1078.89 c 1048s| 1970k| 1066k| 0 | 0.0 |1188M| 998 | - |1895 | 20k| 0 | 0 | 0 |1706k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1087.01/1087.09 c 1056s| 1980k| 1071k| 0 | 0.0 |1197M| 998 | - |1895 | 21k| 0 | 0 | 0 |1715k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1095.00/1095.01 c 1064s| 1990k| 1077k| 0 | 0.0 |1205M| 998 | - |1895 | 21k| 0 | 0 | 0 |1724k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1102.70/1102.75 c 1071s| 2000k| 1083k| 0 | 0.0 |1213M| 998 | - |1895 | 22k| 0 | 0 | 0 |1733k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1111.80/1111.86 c 1080s| 2010k| 1087k| 0 | 0.0 |1221M| 998 | - |1895 | 22k| 0 | 0 | 0 |1743k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1119.80/1119.89 c 1088s| 2020k| 1093k| 0 | 0.0 |1230M| 998 | - |1895 | 23k| 0 | 0 | 0 |1752k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1129.50/1129.54 c 1098s| 2030k| 1098k| 0 | 0.0 |1238M| 998 | - |1895 | 23k| 0 | 0 | 0 |1763k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1137.90/1137.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1137.90/1137.97 c 1106s| 2040k| 1103k| 0 | 0.0 |1246M| 998 | - |1895 | 24k| 0 | 0 | 0 |1772k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1148.10/1148.13 c 1116s| 2050k| 1108k| 0 | 0.0 |1255M| 998 | - |1895 | 24k| 0 | 0 | 0 |1783k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1156.71/1156.74 c 1124s| 2060k| 1114k| 0 | 0.0 |1263M| 998 | - |1895 | 25k| 0 | 0 | 0 |1792k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1167.71/1167.70 c 1135s| 2070k| 1118k| 0 | 0.0 |1272M| 998 | - |1895 | 25k| 0 | 0 | 0 |1804k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1177.30/1177.38 c 1145s| 2080k| 1123k| 0 | 0.0 |1281M| 998 | - |1895 | 26k| 0 | 0 | 0 |1814k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1188.71/1188.74 c 1156s| 2090k| 1127k| 0 | 0.0 |1289M| 998 | - |1895 | 26k| 0 | 0 | 0 |1825k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1198.91/1198.91 c 1166s| 2100k| 1132k| 0 | 0.0 |1298M| 998 | - |1895 | 28k| 0 | 0 | 0 |1835k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1202.90/1202.91 o 31
1202.90/1202.91 c *1170s| 2102k| 1131k| 0 | 0.0 |1289M| 998 | - |1895 | 28k| 0 | 0 | 0 |1839k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1211.60/1211.60 c 1178s| 2110k| 1134k| 0 | 0.0 |1296M| 998 | - |1895 | 28k| 0 | 0 | 0 |1847k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1224.90/1224.95 c 1191s| 2120k| 1137k| 0 | 0.0 |1306M| 998 | - |1895 | 29k| 0 | 0 | 0 |1859k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1236.70/1236.77 c 1203s| 2130k| 1142k| 0 | 0.0 |1316M| 998 | - |1895 | 30k| 0 | 0 | 0 |1870k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1250.61/1250.69 c 1217s| 2140k| 1145k| 0 | 0.0 |1326M| 998 | - |1895 | 30k| 0 | 0 | 0 |1883k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1265.30/1265.32 c 1231s| 2150k| 1148k| 0 | 0.0 |1335M| 998 | - |1895 | 31k| 0 | 0 | 0 |1896k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1280.20/1280.22 c 1246s| 2160k| 1152k| 0 | 0.0 |1345M| 998 | - |1895 | 32k| 0 | 0 | 0 |1909k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1296.31/1296.30 c 1262s| 2170k| 1155k| 0 | 0.0 |1355M| 998 | - |1895 | 34k| 0 | 0 | 0 |1922k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1313.81/1313.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1313.81/1313.82 c 1279s| 2180k| 1157k| 0 | 0.0 |1364M| 998 | - |1895 | 35k| 0 | 0 | 0 |1936k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1332.51/1332.52 c 1297s| 2190k| 1159k| 0 | 0.0 |1373M| 998 | - |1895 | 36k| 0 | 0 | 0 |1951k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1352.11/1352.15 c 1317s| 2200k| 1161k| 0 | 0.0 |1382M| 998 | - |1895 | 38k| 0 | 0 | 0 |1966k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1373.81/1373.83 c 1338s| 2210k| 1162k| 0 | 0.0 |1391M| 998 | - |1895 | 39k| 0 | 0 | 0 |1982k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1398.12/1398.14 c 1362s| 2220k| 1162k| 0 | 0.0 |1399M| 998 | - |1895 | 40k| 0 | 0 | 0 |1999k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1424.61/1424.68 c 1388s| 2230k| 1161k| 0 | 0.0 |1406M| 998 | - |1895 | 43k| 0 | 0 | 0 |2018k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1447.51/1447.59 c 1411s| 2240k| 1163k| 0 | 0.0 |1408M| 998 | - |1895 | 30k| 0 | 0 | 0 |2033k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1454.61/1454.60 c 1418s| 2250k| 1170k| 0 | 0.0 |1413M| 998 | - |1895 | 23k| 0 | 0 | 0 |2038k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1460.61/1460.63 c 1424s| 2260k| 1177k| 0 | 0.0 |1421M| 998 | - |1895 | 21k| 0 | 0 | 0 |2044k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1466.42/1466.48 c 1430s| 2270k| 1185k| 0 | 0.0 |1429M| 998 | - |1895 | 21k| 0 | 0 | 0 |2049k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1472.31/1472.31 c 1435s| 2280k| 1192k| 0 | 0.0 |1434M| 998 | - |1895 | 15k| 0 | 0 | 0 |2054k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1477.32/1477.31 c 1440s| 2290k| 1199k| 0 | 0.0 |1442M| 998 | - |1895 | 16k| 0 | 0 | 0 |2060k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1482.31/1482.37 c 1445s| 2300k| 1206k| 0 | 0.0 |1449M| 998 | - |1895 | 17k| 0 | 0 | 0 |2065k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1487.62/1487.63 c 1450s| 2310k| 1213k| 0 | 0.0 |1456M| 998 | - |1895 | 17k| 0 | 0 | 0 |2070k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1492.82/1492.86 c 1455s| 2320k| 1220k| 0 | 0.0 |1463M| 998 | - |1895 | 17k| 0 | 0 | 0 |2076k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1497.91/1497.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1497.91/1497.91 c 1460s| 2330k| 1227k| 0 | 0.0 |1470M| 998 | - |1895 | 18k| 0 | 0 | 0 |2081k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1503.42/1503.46 c 1466s| 2340k| 1233k| 0 | 0.0 |1477M| 998 | - |1895 | 18k| 0 | 0 | 0 |2087k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1508.91/1508.98 c 1471s| 2350k| 1240k| 0 | 0.0 |1485M| 998 | - |1895 | 17k| 0 | 0 | 0 |2092k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1514.32/1514.33 c 1476s| 2360k| 1247k| 0 | 0.0 |1492M| 998 | - |1895 | 18k| 0 | 0 | 0 |2098k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1520.11/1520.11 c 1482s| 2370k| 1254k| 0 | 0.0 |1499M| 998 | - |1895 | 18k| 0 | 0 | 0 |2104k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1525.41/1525.49 c 1487s| 2380k| 1260k| 0 | 0.0 |1507M| 998 | - |1895 | 19k| 0 | 0 | 0 |2109k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1531.01/1531.07 c 1492s| 2390k| 1267k| 0 | 0.0 |1514M| 998 | - |1895 | 18k| 0 | 0 | 0 |2115k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1536.51/1536.50 c 1498s| 2400k| 1274k| 0 | 0.0 |1521M| 998 | - |1895 | 19k| 0 | 0 | 0 |2121k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1542.41/1542.44 c 1503s| 2410k| 1280k| 0 | 0.0 |1529M| 998 | - |1895 | 18k| 0 | 0 | 0 |2127k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1548.21/1548.21 c 1509s| 2420k| 1286k| 0 | 0.0 |1536M| 998 | - |1895 | 19k| 0 | 0 | 0 |2133k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1554.32/1554.38 c 1515s| 2430k| 1293k| 0 | 0.0 |1543M| 998 | - |1895 | 19k| 0 | 0 | 0 |2139k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1560.31/1560.34 c 1521s| 2440k| 1299k| 0 | 0.0 |1551M| 998 | - |1895 | 19k| 0 | 0 | 0 |2146k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1566.11/1566.12 c 1526s| 2450k| 1305k| 0 | 0.0 |1558M| 998 | - |1895 | 18k| 0 | 0 | 0 |2152k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1572.21/1572.27 c 1532s| 2460k| 1311k| 0 | 0.0 |1566M| 998 | - |1895 | 19k| 0 | 0 | 0 |2158k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1578.11/1578.16 c 1538s| 2470k| 1318k| 0 | 0.0 |1573M| 998 | - |1895 | 19k| 0 | 0 | 0 |2164k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1584.81/1584.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1584.81/1584.85 c 1545s| 2480k| 1324k| 0 | 0.0 |1581M| 998 | - |1895 | 19k| 0 | 0 | 0 |2171k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1590.81/1590.84 c 1551s| 2490k| 1330k| 0 | 0.0 |1589M| 998 | - |1895 | 20k| 0 | 0 | 0 |2178k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1597.32/1597.33 c 1557s| 2500k| 1336k| 0 | 0.0 |1596M| 998 | - |1895 | 20k| 0 | 0 | 0 |2185k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1603.71/1603.75 c 1563s| 2510k| 1341k| 0 | 0.0 |1604M| 998 | - |1895 | 20k| 0 | 0 | 0 |2191k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1610.01/1610.06 c 1569s| 2520k| 1348k| 0 | 0.0 |1612M| 998 | - |1895 | 19k| 0 | 0 | 0 |2198k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1617.41/1617.41 c 1576s| 2530k| 1353k| 0 | 0.0 |1619M| 998 | - |1895 | 20k| 0 | 0 | 0 |2205k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1623.72/1623.78 c 1583s| 2540k| 1359k| 0 | 0.0 |1627M| 998 | - |1895 | 21k| 0 | 0 | 0 |2212k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1631.11/1631.12 c 1590s| 2550k| 1364k| 0 | 0.0 |1635M| 998 | - |1895 | 21k| 0 | 0 | 0 |2220k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1637.71/1637.74 c 1596s| 2560k| 1370k| 0 | 0.0 |1643M| 998 | - |1895 | 21k| 0 | 0 | 0 |2227k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1644.71/1644.77 c 1603s| 2570k| 1376k| 0 | 0.0 |1651M| 998 | - |1895 | 21k| 0 | 0 | 0 |2234k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1651.91/1651.93 c 1610s| 2580k| 1382k| 0 | 0.0 |1659M| 998 | - |1895 | 22k| 0 | 0 | 0 |2241k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1658.81/1658.85 c 1617s| 2590k| 1387k| 0 | 0.0 |1667M| 998 | - |1895 | 21k| 0 | 0 | 0 |2249k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1666.81/1666.86 c 1625s| 2600k| 1392k| 0 | 0.0 |1674M| 998 | - |1895 | 22k| 0 | 0 | 0 |2257k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1673.91/1673.98 c 1632s| 2610k| 1398k| 0 | 0.0 |1682M| 998 | - |1895 | 22k| 0 | 0 | 0 |2264k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1682.02/1682.08 c 1640s| 2620k| 1403k| 0 | 0.0 |1690M| 998 | - |1895 | 22k| 0 | 0 | 0 |2273k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1689.82/1689.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1689.82/1689.87 c 1647s| 2630k| 1408k| 0 | 0.0 |1698M| 998 | - |1895 | 22k| 0 | 0 | 0 |2280k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1697.91/1697.96 c 1655s| 2640k| 1413k| 0 | 0.0 |1705M| 998 | - |1895 | 22k| 0 | 0 | 0 |2288k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1705.92/1705.96 c 1663s| 2650k| 1418k| 0 | 0.0 |1713M| 998 | - |1895 | 23k| 0 | 0 | 0 |2297k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1713.61/1713.62 c 1670s| 2660k| 1424k| 0 | 0.0 |1721M| 998 | - |1895 | 23k| 0 | 0 | 0 |2304k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1722.81/1722.89 c 1679s| 2670k| 1428k| 0 | 0.0 |1728M| 998 | - |1895 | 24k| 0 | 0 | 0 |2313k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1730.72/1730.77 c 1687s| 2680k| 1433k| 0 | 0.0 |1736M| 998 | - |1895 | 23k| 0 | 0 | 0 |2321k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1740.52/1740.51 c 1697s| 2690k| 1437k| 0 | 0.0 |1744M| 998 | - |1895 | 24k| 0 | 0 | 0 |2331k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1742.31/1742.34 o 29
1742.31/1742.34 c *1698s| 2692k| 1425k| 0 | 0.0 |1706M| 998 | - |1895 | 24k| 0 | 0 | 0 |2332k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
1749.41/1749.47 c 1705s| 2700k| 1429k| 0 | 0.0 |1713M| 998 | - |1895 | 23k| 0 | 0 | 0 |2339k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
1759.21/1759.22 c 1715s| 2710k| 1433k| 0 | 0.0 |1722M| 998 | - |1895 | 24k| 0 | 0 | 0 |2348k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
1769.51/1769.56 c 1725s| 2720k| 1438k| 0 | 0.0 |1729M| 998 | - |1895 | 24k| 0 | 0 | 0 |2357k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
1778.82/1778.82 c 1734s| 2730k| 1442k| 0 | 0.0 |1738M| 998 | - |1895 | 24k| 0 | 0 | 0 |2366k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
1789.62/1789.68 c 1745s| 2740k| 1446k| 0 | 0.0 |1745M| 998 | - |1895 | 25k| 0 | 0 | 0 |2376k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.00 c Solving Time (sec) : 1754.94
1800.02/1800.00 c Solving Nodes : 2749597
1800.02/1800.00 c Primal Bound : +2.90000000000000e+01 (23 solutions)
1800.02/1800.00 c Dual Bound : +0.00000000000000e+00
1800.02/1800.00 c Gap : infinite
1800.02/1800.01 s SATISFIABLE
1800.02/1800.01 v -x231 -x230 x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.02/1800.01 v -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.02/1800.01 v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.02/1800.01 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.02/1800.01 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126
1800.02/1800.01 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 x105
1800.02/1800.01 v -x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 x81 -x80
1800.02/1800.01 v -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55
1800.02/1800.01 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29
1800.02/1800.01 v -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 -x2
1800.02/1800.01 v -x1
1800.02/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.01 c Solving Time : 1754.94
1800.02/1800.01 c Original Problem :
1800.02/1800.01 c Problem name : HOME/instance-2694181-1277909627.wbo
1800.02/1800.01 c Variables : 2029 (1130 binary, 0 integer, 0 implicit integer, 899 continuous)
1800.02/1800.01 c Constraints : 3607 initial, 3607 maximal
1800.02/1800.01 c Presolved Problem :
1800.02/1800.01 c Problem name : t_HOME/instance-2694181-1277909627.wbo
1800.02/1800.01 c Variables : 1895 (1063 binary, 0 integer, 0 implicit integer, 832 continuous)
1800.02/1800.01 c Constraints : 3349 initial, 45090 maximal
1800.02/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.01 c trivial : 0.00 67 0 0 0 0 0 0 0
1800.02/1800.01 c dualfix : 0.00 67 0 0 0 0 0 0 0
1800.02/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0
1800.02/1800.01 c indicator : 0.00 0 0 0 0 0 67 0 0
1800.02/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.01 c setppc : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.01 c linear : 0.07 0 0 0 915 0 191 132 0
1800.02/1800.02 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.02 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.02 c root node : - 581 - - 1162 - - - -
1800.02/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.02 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.02 c indicator : 832 0 6414265 0 1926337 1482 6893336 0 0 0
1800.02/1800.02 c knapsack : 1 0 8530943 0 2304733 129006 23320411 0 0 0
1800.02/1800.02 c setppc : 11 0 8415792 0 2304736 58767 3441470 0 0 0
1800.02/1800.02 c linear : 832 0 8362382 0 2305287 124343 10116370 0 0 0
1800.02/1800.02 c logicor : 1673+ 0 6242020 0 2305303 361473 14170305 0 0 0
1800.02/1800.02 c bounddisjunction : 0+ 0 150490 0 0 25 7565 0 0 0
1800.02/1800.02 c countsols : 0 0 0 0 2305297 0 0 0 0 0
1800.02/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.02 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.02 c indicator : 36.94 0.00 19.38 0.00 17.56
1800.02/1800.02 c knapsack : 79.05 0.00 74.55 0.00 4.50
1800.02/1800.02 c setppc : 19.35 0.00 16.01 0.00 3.34
1800.02/1800.02 c linear : 129.46 0.00 127.64 0.00 1.82
1800.02/1800.02 c logicor : 569.42 0.00 459.99 0.00 109.43
1800.02/1800.02 c bounddisjunction : 0.53 0.00 0.53 0.00 0.00
1800.02/1800.02 c countsols : 0.40 0.00 0.00 0.00 0.40
1800.02/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.02 c vbounds : 2.03 2 0 0
1800.02/1800.02 c rootredcost : 2.01 0 0 0
1800.02/1800.02 c pseudoobj : 174.52 8564674 13115 6664092
1800.02/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.02 c propagation : 25.62 686729 686692 3297798 22.7 258953 8.5 -
1800.02/1800.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.02 c pseudo solution : 0.06 200 200 873 17.6 117 8.5 -
1800.02/1800.02 c applied globally : - - - 2386738 19.3 - - -
1800.02/1800.02 c applied locally : - - - 11 114.6 - - -
1800.02/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.02 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.02 c redcost : 0.00 0 0 0 0 0
1800.02/1800.02 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.02 c intobj : 0.00 0 0 0 0 0
1800.02/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.02 c gomory : 0.00 0 0 0 0 0
1800.02/1800.02 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.02 c cmir : 0.00 0 0 0 0 0
1800.02/1800.02 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.02 c clique : 0.00 0 0 0 0 0
1800.02/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.02 c mcf : 0.00 0 0 0 0 0
1800.02/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.02 c Pricers : Time Calls Vars
1800.02/1800.02 c problem variables: 0.00 0 0
1800.02/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.02 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.02 c inference : 53.77 2305274 0 0 0 0 4610548
1800.02/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.02 c random : 0.00 0 0 0 0 0 0
1800.02/1800.02 c Primal Heuristics : Time Calls Found
1800.02/1800.02 c LP solutions : 0.00 - 0
1800.02/1800.02 c pseudo solutions : 0.19 - 23
1800.02/1800.02 c oneopt : 0.93 0 0
1800.02/1800.02 c trivial : 0.00 2 0
1800.02/1800.02 c simplerounding : 0.00 0 0
1800.02/1800.02 c zirounding : 0.00 0 0
1800.02/1800.02 c rounding : 0.00 0 0
1800.02/1800.02 c shifting : 0.00 0 0
1800.02/1800.02 c intshifting : 0.00 0 0
1800.02/1800.02 c twoopt : 0.00 0 0
1800.02/1800.02 c fixandinfer : 0.00 0 0
1800.02/1800.02 c feaspump : 0.00 0 0
1800.02/1800.02 c coefdiving : 0.00 0 0
1800.02/1800.02 c pscostdiving : 0.00 0 0
1800.02/1800.02 c fracdiving : 0.00 0 0
1800.02/1800.02 c veclendiving : 0.00 0 0
1800.02/1800.02 c intdiving : 0.00 0 0
1800.02/1800.02 c actconsdiving : 0.00 0 0
1800.02/1800.02 c objpscostdiving : 0.00 0 0
1800.02/1800.02 c rootsoldiving : 0.00 0 0
1800.02/1800.02 c linesearchdiving : 0.00 0 0
1800.02/1800.02 c guideddiving : 0.00 0 0
1800.02/1800.02 c octane : 0.00 0 0
1800.02/1800.02 c rens : 0.00 0 0
1800.02/1800.02 c rins : 0.00 0 0
1800.02/1800.02 c localbranching : 0.00 0 0
1800.02/1800.02 c mutation : 0.00 0 0
1800.02/1800.02 c crossover : 0.00 0 0
1800.02/1800.02 c dins : 0.00 0 0
1800.02/1800.02 c undercover : 0.00 0 0
1800.02/1800.02 c nlp : 0.71 0 0
1800.02/1800.02 c trysol : 0.60 1 0
1800.02/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.02 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.02 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.02 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.02 c (at root node) : - 0 0 0.00 -
1800.02/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.02 c B&B Tree :
1800.02/1800.02 c number of runs : 1
1800.02/1800.02 c nodes : 2749597
1800.02/1800.02 c nodes (total) : 2749597
1800.02/1800.02 c nodes left : 1449648
1800.02/1800.02 c max depth : 998
1800.02/1800.02 c max depth (total): 998
1800.02/1800.02 c backtracks : 452732 (16.5%)
1800.02/1800.02 c delayed cutoffs : 345599
1800.02/1800.02 c repropagations : 1832674 (17526363 domain reductions, 244111 cutoffs)
1800.02/1800.02 c avg switch length: 19.85
1800.02/1800.02 c switching time : 509.54
1800.02/1800.02 c Solution :
1800.02/1800.02 c Solutions found : 23 (23 improvements)
1800.02/1800.02 c First Solution : +4.74000000000000e+02 (in run 1, after 3185 nodes, 0.82 seconds, depth 368, found by <relaxation>)
1800.02/1800.02 c Primal Bound : +2.90000000000000e+01 (in run 1, after 2692144 nodes, 1698.41 seconds, depth 458, found by <relaxation>)
1800.02/1800.02 c Dual Bound : +0.00000000000000e+00
1800.02/1800.02 c Gap : infinite
1800.02/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.02 c Root Iterations : 0
OK 28
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694181-1277909627/watcher-2694181-1277909627 -o /tmp/evaluation-result-2694181-1277909627/solver-2694181-1277909627 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694181-1277909627.wbo -t 1800 -m 3800 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.02 2.05 4/196 13731 /proc/meminfo: memFree=31367096/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=8300 CPUtime=0 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 1554 0 0 0 0 0 0 0 25 0 1 0 132259069 8499200 1476 4089446400 4194304 7136930 140734527724032 18446744073709551615 6166570 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/13731/statm: 2075 1476 275 719 0 1354 0 [startup+0.106124 s] /proc/loadavg: 2.00 2.02 2.05 4/196 13731 /proc/meminfo: memFree=31367096/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=22076 CPUtime=0.09 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 6716 0 0 0 9 0 0 0 25 0 1 0 132259069 22605824 4742 4089446400 4194304 7136930 140734527724032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13731/statm: 5519 4742 360 719 0 4798 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22076 [startup+0.201108 s] /proc/loadavg: 2.00 2.02 2.05 4/196 13731 /proc/meminfo: memFree=31367096/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=23384 CPUtime=0.19 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 9404 0 0 0 18 1 0 0 25 0 1 0 132259069 23945216 5117 4089446400 4194304 7136930 140734527724032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13731/statm: 5846 5117 399 719 0 5125 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 23384 [startup+0.301106 s] /proc/loadavg: 2.00 2.02 2.05 4/196 13731 /proc/meminfo: memFree=31367096/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=24036 CPUtime=0.29 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 9588 0 0 0 27 2 0 0 25 0 1 0 132259069 24612864 5301 4089446400 4194304 7136930 140734527724032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13731/statm: 6009 5301 399 719 0 5288 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24036 [startup+0.700954 s] /proc/loadavg: 2.00 2.02 2.05 4/196 13731 /proc/meminfo: memFree=31367096/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=26196 CPUtime=0.69 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 10111 0 0 0 65 4 0 0 25 0 1 0 132259069 26824704 5824 4089446400 4194304 7136930 140734527724032 18446744073709551615 4925431 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13731/statm: 6549 5824 404 719 0 5828 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26196 [startup+1.50093 s] /proc/loadavg: 2.00 2.02 2.05 3/197 13732 /proc/meminfo: memFree=31343528/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=27848 CPUtime=1.49 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 10555 0 0 0 141 8 0 0 25 0 1 0 132259069 28516352 6268 4089446400 4194304 7136930 140734527724032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13731/statm: 6962 6268 404 719 0 6241 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27848 [startup+3.10065 s] /proc/loadavg: 2.00 2.02 2.05 3/197 13732 /proc/meminfo: memFree=31339628/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=33436 CPUtime=3.09 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 11946 0 0 0 296 13 0 0 25 0 1 0 132259069 34238464 7659 4089446400 4194304 7136930 140734527724032 18446744073709551615 4219802 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13731/statm: 8359 7659 404 719 0 7638 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33436 [startup+6.30103 s] /proc/loadavg: 2.00 2.02 2.05 3/197 13732 /proc/meminfo: memFree=31330440/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=41832 CPUtime=6.29 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 14074 0 0 0 606 23 0 0 25 0 1 0 132259069 42835968 9787 4089446400 4194304 7136930 140734527724032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13731/statm: 10458 9787 405 719 0 9737 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 41832 [startup+12.7009 s] /proc/loadavg: 2.00 2.02 2.05 3/197 13732 /proc/meminfo: memFree=31312708/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=59436 CPUtime=12.69 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 18506 0 0 0 1221 48 0 0 25 0 1 0 132259069 60862464 14219 4089446400 4194304 7136930 140734527724032 18446744073709551615 4923119 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13731/statm: 14859 14219 405 719 0 14138 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 59436 [startup+25.5006 s] /proc/loadavg: 2.00 2.02 2.04 3/197 13733 /proc/meminfo: memFree=31284976/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=86240 CPUtime=25.49 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 25241 0 0 0 2466 83 0 0 25 0 1 0 132259069 88309760 20954 4089446400 4194304 7136930 140734527724032 18446744073709551615 5005237 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13731/statm: 21560 20954 405 719 0 20839 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 86240 [startup+51.101 s] /proc/loadavg: 2.00 2.02 2.04 3/197 13734 /proc/meminfo: memFree=31230924/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=145880 CPUtime=51.09 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 39321 0 0 0 4953 156 0 0 25 0 1 0 132259069 149381120 35034 4089446400 4194304 7136930 140734527724032 18446744073709551615 4210120 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13731/statm: 36470 35034 407 719 0 35749 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 145880 [startup+102.301 s] /proc/loadavg: 2.00 2.01 2.04 3/197 13735 /proc/meminfo: memFree=31106988/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=273252 CPUtime=102.29 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 69413 0 0 0 9896 333 0 0 25 0 1 0 132259069 279810048 65126 4089446400 4194304 7136930 140734527724032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13731/statm: 68313 65126 407 719 0 67592 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 273252 [startup+162.3 s] /proc/loadavg: 2.04 2.02 2.04 3/179 13766 /proc/meminfo: memFree=31084872/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=356488 CPUtime=162.29 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 90195 0 0 0 15729 500 0 0 25 0 1 0 132259069 365043712 85908 4089446400 4194304 7136930 140734527724032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13731/statm: 89122 85908 407 719 0 88401 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 356488 [startup+222.307 s] /proc/loadavg: 2.01 2.02 2.03 3/179 13768 /proc/meminfo: memFree=30881660/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=401120 CPUtime=222.29 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 101047 0 0 0 21597 632 0 0 25 0 1 0 132259069 410746880 96760 4089446400 4194304 7136930 140734527724032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13731/statm: 100280 96760 407 719 0 99559 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 401120 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.02 3/179 13770 /proc/meminfo: memFree=30593184/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=571916 CPUtime=282.29 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 140182 0 0 0 27365 864 0 0 25 0 1 0 132259069 585641984 135895 4089446400 4194304 7136930 140734527724032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13731/statm: 142979 135895 407 719 0 142258 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 571916 [startup+342.301 s] /proc/loadavg: 2.07 2.03 2.03 3/197 13817 /proc/meminfo: memFree=30565600/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=713036 CPUtime=342.29 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 172083 0 0 0 33115 1114 0 0 25 0 1 0 132259069 730148864 167796 4089446400 4194304 7136930 140734527724032 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13731/statm: 178259 167796 407 719 0 177538 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 713036 [startup+402.301 s] /proc/loadavg: 2.02 2.02 2.02 3/197 13818 /proc/meminfo: memFree=30427660/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=838540 CPUtime=402.29 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 202969 0 0 0 38877 1352 0 0 25 0 1 0 132259069 858664960 198682 4089446400 4194304 7136930 140734527724032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13731/statm: 209635 198682 407 719 0 208914 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 838540 [startup+462.3 s] /proc/loadavg: 2.01 2.02 2.02 3/197 13828 /proc/meminfo: memFree=30318472/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=930804 CPUtime=462.29 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 225775 0 0 0 44670 1559 0 0 25 0 1 0 132259069 953143296 221488 4089446400 4194304 7136930 140734527724032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13731/statm: 232701 221488 407 719 0 231980 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 930804 [startup+522.301 s] /proc/loadavg: 2.06 2.03 2.02 3/197 13830 /proc/meminfo: memFree=30251088/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=980704 CPUtime=522.29 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 238394 0 0 0 50474 1755 0 0 25 0 1 0 132259069 1004240896 234107 4089446400 4194304 7136930 140734527724032 18446744073709551615 4208913 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13731/statm: 245176 234107 407 719 0 244455 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 980704 [startup+582.301 s] /proc/loadavg: 2.58 2.14 2.05 3/197 13832 /proc/meminfo: memFree=30173168/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=1042756 CPUtime=582.3 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 254214 0 0 0 56296 1934 0 0 25 0 1 0 132259069 1067782144 249927 4089446400 4194304 7136930 140734527724032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13731/statm: 260689 249927 407 719 0 259968 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1042756 [startup+642.3 s] /proc/loadavg: 2.21 2.11 2.04 3/197 13834 /proc/meminfo: memFree=30077628/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=1128536 CPUtime=642.29 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 276159 0 0 0 62073 2156 0 0 25 0 1 0 132259069 1155620864 271872 4089446400 4194304 7136930 140734527724032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13731/statm: 282134 271872 407 719 0 281413 0 Current children cumulated CPU time (s) 642.29 Current children cumulated vsize (KiB) 1128536 [startup+702.301 s] ################ # More data... # ################ /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 336920 0 0 0 103182 3048 0 0 25 0 1 0 132259069 1428586496 332633 4089446400 4194304 7136930 140734527724032 18446744073709551615 4222921 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13731/statm: 348776 332633 407 719 0 348055 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 1395104 [startup+1122.3 s] /proc/loadavg: 2.59 2.15 2.04 3/197 13846 /proc/meminfo: memFree=29708456/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=1454076 CPUtime=1122.3 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 351159 0 0 0 109047 3183 0 0 25 0 1 0 132259069 1488973824 346872 4089446400 4194304 7136930 140734527724032 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13731/statm: 363519 346872 407 719 0 362798 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 1454076 [startup+1182.3 s] /proc/loadavg: 2.21 2.12 2.04 3/197 13848 /proc/meminfo: memFree=29648884/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=1511320 CPUtime=1182.31 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 364518 0 0 0 114939 3292 0 0 25 0 1 0 132259069 1547591680 360231 4089446400 4194304 7136930 140734527724032 18446744073709551615 4999797 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13731/statm: 377830 360231 407 719 0 377109 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1511320 [startup+1242.3 s] /proc/loadavg: 2.08 2.10 2.03 3/197 13850 /proc/meminfo: memFree=29603208/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=1551400 CPUtime=1242.31 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 374066 0 0 0 120838 3393 0 0 25 0 1 0 132259069 1588633600 369779 4089446400 4194304 7136930 140734527724032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13731/statm: 387850 369779 407 719 0 387129 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 1551400 [startup+1302.3 s] /proc/loadavg: 2.03 2.08 2.03 3/197 13851 /proc/meminfo: memFree=29564720/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=1586664 CPUtime=1302.3 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 382651 0 0 0 126757 3473 0 0 25 0 1 0 132259069 1624743936 378364 4089446400 4194304 7136930 140734527724032 18446744073709551615 4212294 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13731/statm: 396666 378364 407 719 0 395945 0 Current children cumulated CPU time (s) 1302.3 Current children cumulated vsize (KiB) 1586664 [startup+1362.3 s] /proc/loadavg: 2.01 2.06 2.02 3/197 13852 /proc/meminfo: memFree=29527612/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=1624520 CPUtime=1362.31 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 391530 0 0 0 132685 3546 0 0 25 0 1 0 132259069 1663508480 387243 4089446400 4194304 7136930 140734527724032 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13731/statm: 406130 387243 407 719 0 405409 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 1624520 [startup+1422.3 s] /proc/loadavg: 2.04 2.06 2.02 3/197 13854 /proc/meminfo: memFree=29512060/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=1641352 CPUtime=1422.31 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 395374 0 0 0 138618 3613 0 0 25 0 1 0 132259069 1680744448 391087 4089446400 4194304 7136930 140734527724032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13731/statm: 410338 391087 407 719 0 409617 0 Current children cumulated CPU time (s) 1422.31 Current children cumulated vsize (KiB) 1641352 [startup+1482.3 s] /proc/loadavg: 2.01 2.05 2.02 3/197 13856 /proc/meminfo: memFree=29464140/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=1689324 CPUtime=1482.31 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 407282 0 0 0 144499 3732 0 0 25 0 1 0 132259069 1729867776 402995 4089446400 4194304 7136930 140734527724032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13731/statm: 422331 402995 407 719 0 421610 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 1689324 [startup+1542.31 s] /proc/loadavg: 2.44 2.14 2.05 3/197 13858 /proc/meminfo: memFree=29385332/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=1765484 CPUtime=1542.32 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 426793 0 0 0 150333 3899 0 0 25 0 1 0 132259069 1807855616 422506 4089446400 4194304 7136930 140734527724032 18446744073709551615 5956317 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13731/statm: 441371 422506 407 719 0 440650 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 1765484 [startup+1602.3 s] /proc/loadavg: 2.16 2.12 2.04 3/197 13859 /proc/meminfo: memFree=29317436/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=1837212 CPUtime=1602.31 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 444047 0 0 0 156173 4058 0 0 25 0 1 0 132259069 1881305088 439760 4089446400 4194304 7136930 140734527724032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13731/statm: 459303 439760 407 719 0 458582 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 1837212 [startup+1662.3 s] /proc/loadavg: 2.06 2.09 2.04 4/197 13860 /proc/meminfo: memFree=29245692/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=1909196 CPUtime=1662.31 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 461590 0 0 0 162023 4208 0 0 25 0 1 0 132259069 1955016704 457303 4089446400 4194304 7136930 140734527724032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13731/statm: 477299 457303 407 719 0 476578 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 1909196 [startup+1722.3 s] /proc/loadavg: 2.02 2.07 2.03 3/197 13862 /proc/meminfo: memFree=29183148/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=1974824 CPUtime=1722.31 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 476644 0 0 0 167884 4347 0 0 25 0 1 0 132259069 2022219776 472357 4089446400 4194304 7136930 140734527724032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13731/statm: 493706 472357 407 719 0 492985 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 1974824 [startup+1782.3 s] /proc/loadavg: 2.00 2.06 2.02 3/197 13864 /proc/meminfo: memFree=29129008/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=2024292 CPUtime=1782.31 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 488561 0 0 0 173759 4472 0 0 25 0 1 0 132259069 2072875008 484274 4089446400 4194304 7136930 140734527724032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13731/statm: 506073 484274 407 719 0 505352 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 2024292 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.05 2.02 3/197 13864 /proc/meminfo: memFree=29119448/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=2033656 CPUtime=1800.02 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 490706 0 0 0 175496 4506 0 0 25 0 1 0 132259069 2082463744 486419 4089446400 4194304 7136930 140734527724032 18446744073709551615 4221545 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13731/statm: 508414 486419 407 719 0 507693 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 2033656 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -13731 Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 2.00 2.05 2.02 3/198 13865 /proc/meminfo: memFree=29119068/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=2033656 CPUtime=1800.72 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 490711 0 0 0 175566 4506 0 0 25 0 1 0 132259069 2082463744 486424 4089446400 4194304 7136930 140734527724032 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13731/statm: 508414 486424 412 719 0 507693 0 Current children cumulated CPU time (s) 1800.72 Current children cumulated vsize (KiB) 2033656 [startup+1801.5 s] /proc/loadavg: 2.00 2.05 2.02 3/198 13865 /proc/meminfo: memFree=29119068/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=2033656 CPUtime=1801.51 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 490711 0 0 0 175645 4506 0 0 25 0 1 0 132259069 2082463744 486424 4089446400 4194304 7136930 140734527724032 18446744073709551615 4212294 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13731/statm: 508414 486424 412 719 0 507693 0 Current children cumulated CPU time (s) 1801.51 Current children cumulated vsize (KiB) 2033656 [startup+1801.91 s] /proc/loadavg: 2.00 2.05 2.02 3/198 13865 /proc/meminfo: memFree=29119068/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=2033656 CPUtime=1801.92 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 490711 0 0 0 175686 4506 0 0 25 0 1 0 132259069 2082463744 486424 4089446400 4194304 7136930 140734527724032 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13731/statm: 508414 486424 412 719 0 507693 0 Current children cumulated CPU time (s) 1801.92 Current children cumulated vsize (KiB) 2033656 [startup+1802 s] /proc/loadavg: 2.00 2.05 2.02 3/198 13865 /proc/meminfo: memFree=29119068/32950928 swapFree=4192956/4192956 [pid=13731] ppid=13729 vsize=2033656 CPUtime=1802.01 /proc/13731/stat : 13731 (pbscip.linux.x8) R 13729 13731 12796 0 -1 4202496 490711 0 0 0 175695 4506 0 0 25 0 1 0 132259069 2082463744 486424 4089446400 4194304 7136930 140734527724032 18446744073709551615 6165617 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13731/statm: 508414 486424 412 719 0 507693 0 Current children cumulated CPU time (s) 1802.01 Current children cumulated vsize (KiB) 2033656 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.07 CPU time (s): 1802.09 CPU user time (s): 1756.96 CPU system time (s): 45.1301 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 2033656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1756.96 system time used= 45.1301 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 490711 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= 4001 runsolver used 2.97555 second user time and 6.11207 second system time The end
Begin job on node124 at 2010-06-30 16:53:47 IDJOB=2694181 IDBENCH=78969 IDSOLVER=1206 FILE ID=node124/2694181-1277909627 PBS_JOBID= 11197228 Free space on /tmp= 130620 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557362--soft-66-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694181-1277909627/watcher-2694181-1277909627 -o /tmp/evaluation-result-2694181-1277909627/solver-2694181-1277909627 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694181-1277909627.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a633e631fdb9de9296374319dc47b460 RANDOM SEED=1717157570 node124.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31367500 kB Buffers: 197456 kB Cached: 1117572 kB SwapCached: 0 kB Active: 643288 kB Inactive: 828312 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31367500 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3188 kB Writeback: 0 kB AnonPages: 156328 kB Mapped: 20284 kB Slab: 79596 kB PageTables: 4668 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 20668420 kB Committed_AS: 1658360 kB VmallocTotal: 34359738367 kB VmallocUsed: 265212 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 130620 MiB End job on node124 at 2010-06-30 17:23:50