Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed | SAT | 189 | 1796.75 | 1797.03 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb |
| MD5SUM | 6549a0bbc5c463b1b909374436b51d65 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 188 |
| Best CPU time to get the best result obtained on this benchmark | 1796.77 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 183 |
| Optimality of the best value was proved | NO |
| Number of variables | 470 |
| Total number of constraints | 470 |
| 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 | 470 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 18 |
| Number of terms in the objective function | 470 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 470 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 470 |
| Number of bits of the biggest sum of numbers | 9 |
| 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 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3693214-1338029634.opb>
0.00/0.00 c original problem has 470 variables (470 bin, 0 int, 0 impl, 0 cont) and 470 constraints
0.00/0.00 c problem read in 0.00
0.00/0.01 o 470
0.00/0.01 c feasible solution found by trivial heuristic, objective value 4.700000e+02
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 43 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 43 chg coeffs, 470 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 3) 0 del vars, 65 del conss, 182 add conss, 0 chg bounds, 232 chg sides, 596 chg coeffs, 471 upgd conss, 252 impls, 0 clqs
0.00/0.03 c (round 4) 0 del vars, 97 del conss, 195 add conss, 0 chg bounds, 289 chg sides, 692 chg coeffs, 471 upgd conss, 252 impls, 0 clqs
0.00/0.03 c (round 5) 0 del vars, 99 del conss, 198 add conss, 0 chg bounds, 320 chg sides, 750 chg coeffs, 471 upgd conss, 252 impls, 0 clqs
0.00/0.03 c (round 6) 0 del vars, 100 del conss, 199 add conss, 0 chg bounds, 326 chg sides, 776 chg coeffs, 471 upgd conss, 252 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 51/470 (10.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.04 c presolving (7 rounds):
0.00/0.04 c 0 deleted vars, 100 deleted constraints, 199 added constraints, 0 tightened bounds, 0 added holes, 326 changed sides, 776 changed coefficients
0.00/0.04 c 252 implications, 0 cliques
0.00/0.04 c presolved problem has 470 variables (470 bin, 0 int, 0 impl, 0 cont) and 569 constraints
0.00/0.04 c 440 constraints of type <knapsack>
0.00/0.04 c 126 constraints of type <setppc>
0.00/0.04 c 3 constraints of type <logicor>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.03
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 2.1.1.4
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1797
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 13950
0.00/0.04 c
0.00/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.04 c # [type: int, range: [1,2], default: 1]
0.00/0.04 c timing/clocktype = 2
0.00/0.04 c
0.00/0.04 c # belongs reading time to solving time?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c timing/reading = TRUE
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.89/0.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.91 c t 0.9s| 1 | 0 | 10638 | - |2704k| 0 | 340 | 470 | 569 | 470 | 569 | 0 | 0 | 0 | 1.502194e+02 | 4.700000e+02 | 212.88%
0.89/0.91 o 351
0.89/0.91 c r 0.9s| 1 | 0 | 10638 | - |2718k| 0 | 340 | 470 | 569 | 470 | 569 | 0 | 0 | 0 | 1.502194e+02 | 3.510000e+02 | 133.66%
0.89/0.91 o 350
0.89/0.91 c R 0.9s| 1 | 0 | 10638 | - |2731k| 0 | 340 | 470 | 569 | 470 | 569 | 0 | 0 | 0 | 1.502194e+02 | 3.500000e+02 | 132.99%
0.89/0.92 o 349
0.89/0.92 c s 0.9s| 1 | 0 | 10638 | - |2745k| 0 | 340 | 470 | 569 | 470 | 569 | 0 | 0 | 0 | 1.502194e+02 | 3.490000e+02 | 132.33%
1.59/1.60 c 1.6s| 1 | 0 | 14518 | - |3026k| 0 | 378 | 470 | 569 | 470 | 769 | 200 | 0 | 0 | 1.554946e+02 | 3.490000e+02 | 124.45%
1.59/1.60 o 217
1.59/1.60 c b 1.6s| 1 | 0 | 14518 | - |3040k| 0 | 378 | 470 | 569 | 470 | 769 | 200 | 0 | 0 | 1.554946e+02 | 2.170000e+02 | 39.55%
2.28/2.30 c 2.3s| 1 | 0 | 17800 | - |3295k| 0 | 416 | 470 | 569 | 470 | 951 | 382 | 0 | 0 | 1.586842e+02 | 2.170000e+02 | 36.75%
2.98/3.02 c 3.0s| 1 | 0 | 20657 | - |3476k| 0 | 416 | 470 | 569 | 470 |1080 | 511 | 0 | 0 | 1.604481e+02 | 2.170000e+02 | 35.25%
3.49/3.57 c 3.6s| 1 | 0 | 21812 | - |3572k| 0 | 428 | 470 | 569 | 470 |1159 | 590 | 0 | 0 | 1.610494e+02 | 2.170000e+02 | 34.74%
4.08/4.14 c 4.1s| 1 | 0 | 23003 | - |3628k| 0 | 434 | 470 | 569 | 470 |1213 | 644 | 0 | 0 | 1.614659e+02 | 2.170000e+02 | 34.39%
4.58/4.63 c 4.6s| 1 | 0 | 23550 | - |3655k| 0 | 432 | 470 | 569 | 470 |1245 | 676 | 0 | 0 | 1.616737e+02 | 2.170000e+02 | 34.22%
4.99/5.09 c 5.1s| 1 | 0 | 23835 | - |3677k| 0 | 438 | 470 | 569 | 470 |1266 | 697 | 0 | 0 | 1.617438e+02 | 2.170000e+02 | 34.16%
5.39/5.47 c 5.5s| 1 | 0 | 23922 | - |3685k| 0 | 440 | 470 | 569 | 470 |1269 | 700 | 0 | 0 | 1.617592e+02 | 2.170000e+02 | 34.15%
5.78/5.84 c 5.8s| 1 | 0 | 23991 | - |3693k| 0 | 434 | 470 | 569 | 470 |1272 | 703 | 0 | 0 | 1.617690e+02 | 2.170000e+02 | 34.14%
6.19/6.20 c 6.2s| 1 | 0 | 24038 | - |3700k| 0 | 436 | 470 | 569 | 470 |1273 | 704 | 0 | 0 | 1.617712e+02 | 2.170000e+02 | 34.14%
6.29/6.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.29/6.37 c 6.4s| 1 | 0 | 24098 | - |3707k| 0 | 439 | 470 | 569 | 470 |1229 | 705 | 0 | 0 | 1.617779e+02 | 2.170000e+02 | 34.13%
8.69/8.74 c 8.7s| 1 | 2 | 24098 | - |3728k| 0 | 439 | 470 | 569 | 470 |1229 | 705 | 0 | 18 | 1.617779e+02 | 2.170000e+02 | 34.13%
29.28/29.34 o 216
29.28/29.34 c c29.3s| 16 | 17 | 43025 |1261.8 |4510k| 15 | - | 470 | 569 | 470 | 965 | 705 | 0 | 211 | 1.620930e+02 | 2.160000e+02 | 33.26%
29.28/29.34 o 214
29.28/29.34 c c29.3s| 16 | 17 | 43030 |1262.1 |4511k| 15 | - | 470 | 569 | 470 | 965 | 705 | 0 | 211 | 1.620930e+02 | 2.140000e+02 | 32.02%
29.28/29.35 o 214
29.28/29.35 c c29.3s| 16 | 17 | 43056 |1263.9 |4515k| 15 | - | 470 | 569 | 470 | 965 | 705 | 0 | 211 | 1.620930e+02 | 2.140000e+02 | 32.02%
29.28/29.35 o 213
29.28/29.35 c c29.4s| 16 | 17 | 43066 |1264.5 |4519k| 15 | - | 470 | 569 | 470 | 965 | 705 | 0 | 211 | 1.620930e+02 | 2.130000e+02 | 31.41%
30.58/30.60 o 209
30.58/30.60 c p30.6s| 28 | 29 | 52330 |1045.6 |4594k| 15 | - | 470 | 569 | 470 | 965 | 705 | 0 | 211 | 1.620930e+02 | 2.090000e+02 | 28.94%
30.58/30.61 o 208
30.58/30.61 c p30.6s| 28 | 29 | 52349 |1046.3 |4598k| 15 | - | 470 | 569 | 470 | 965 | 705 | 0 | 211 | 1.620930e+02 | 2.080000e+02 | 28.32%
30.58/30.61 o 207
30.58/30.61 c p30.6s| 28 | 29 | 52359 |1046.7 |4600k| 15 | - | 470 | 569 | 470 | 965 | 705 | 0 | 211 | 1.620930e+02 | 2.070000e+02 | 27.70%
30.58/30.61 o 207
30.58/30.61 c p30.6s| 28 | 29 | 52370 |1047.1 |4602k| 15 | - | 470 | 569 | 470 | 965 | 705 | 0 | 211 | 1.620930e+02 | 2.070000e+02 | 27.70%
30.58/30.61 o 205
30.58/30.61 c p30.6s| 28 | 29 | 52374 |1047.3 |4604k| 15 | - | 470 | 569 | 470 | 965 | 705 | 0 | 211 | 1.620930e+02 | 2.050000e+02 | 26.47%
30.58/30.61 o 203
30.58/30.61 c p30.6s| 28 | 29 | 52381 |1047.5 |4605k| 15 | - | 470 | 569 | 470 | 965 | 705 | 0 | 211 | 1.620930e+02 | 2.030000e+02 | 25.24%
30.58/30.62 o 202
30.58/30.62 c p30.6s| 28 | 29 | 52415 |1048.8 |4613k| 15 | - | 470 | 569 | 470 | 965 | 705 | 0 | 211 | 1.620930e+02 | 2.020000e+02 | 24.62%
30.58/30.62 o 201
30.58/30.62 c p30.6s| 28 | 29 | 52419 |1048.9 |4615k| 15 | - | 470 | 569 | 470 | 965 | 705 | 0 | 211 | 1.620930e+02 | 2.010000e+02 | 24.00%
30.58/30.62 o 200
30.58/30.62 c p30.6s| 28 | 29 | 52445 |1049.9 |4622k| 15 | - | 470 | 569 | 470 | 965 | 705 | 0 | 211 | 1.620930e+02 | 2.000000e+02 | 23.39%
30.58/30.63 o 199
30.58/30.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.58/30.63 c b30.6s| 28 | 29 | 52459 |1050.4 |4472k| 15 | 375 | 470 | 569 | 470 | 965 | 705 | 0 | 211 | 1.620930e+02 | 1.990000e+02 | 22.77%
44.58/44.60 o 199
44.58/44.60 c l44.6s| 93 | 94 |180194 |1696.7 |4782k| 28 | - | 470 | 573 | 470 | 965 | 705 | 4 | 225 | 1.620930e+02 | 1.990000e+02 | 22.77%
44.58/44.60 o 198
44.58/44.60 c b44.6s| 93 | 94 |180204 |1696.8 |4628k| 28 | 401 | 470 | 573 | 470 | 965 | 705 | 4 | 225 | 1.620930e+02 | 1.980000e+02 | 22.15%
45.48/45.50 c 45.5s| 100 | 101 |181688 |1591.8 |4627k| 28 | 359 | 470 | 573 | 470 | 965 | 705 | 4 | 237 | 1.620930e+02 | 1.980000e+02 | 22.15%
50.38/50.44 o 197
50.38/50.44 c p50.4s| 132 | 133 |220917 |1502.4 |4829k| 28 | - | 470 | 573 | 470 | 965 | 705 | 4 | 237 | 1.620930e+02 | 1.970000e+02 | 21.54%
61.48/61.56 o 197
61.48/61.56 c p61.6s| 194 | 195 |294200 |1399.5 |4887k| 28 | - | 470 | 573 | 470 | 965 | 705 | 4 | 271 | 1.620930e+02 | 1.970000e+02 | 21.54%
61.48/61.56 o 196
61.48/61.56 c p61.6s| 194 | 195 |294201 |1399.5 |4888k| 28 | - | 470 | 573 | 470 | 965 | 705 | 4 | 271 | 1.620930e+02 | 1.960000e+02 | 20.92%
61.48/61.56 o 196
61.48/61.56 c p61.6s| 194 | 195 |294206 |1399.5 |4889k| 28 | - | 470 | 573 | 470 | 965 | 705 | 4 | 271 | 1.620930e+02 | 1.960000e+02 | 20.92%
61.48/61.57 o 195
61.48/61.57 c p61.6s| 194 | 195 |294233 |1399.7 |4893k| 28 | - | 470 | 573 | 470 | 965 | 705 | 4 | 271 | 1.620930e+02 | 1.950000e+02 | 20.30%
61.59/61.65 o 193
61.59/61.65 c b61.7s| 195 | 196 |294781 |1395.3 |4739k| 28 | 401 | 470 | 573 | 470 | 965 | 705 | 4 | 271 | 1.620930e+02 | 1.930000e+02 | 19.07%
63.48/63.57 c 63.6s| 200 | 201 |310434 |1438.9 |4738k| 31 | 343 | 470 | 573 | 470 | 965 | 705 | 4 | 271 | 1.620930e+02 | 1.930000e+02 | 19.07%
92.38/92.44 c 92.4s| 300 | 301 |530119 |1692.4 |4815k| 32 | 353 | 470 | 573 | 470 | 965 | 705 | 4 | 331 | 1.620930e+02 | 1.930000e+02 | 19.07%
118.67/118.74 o 189
118.67/118.74 c C 119s| 395 | 396 |729365 |1790.0 |4882k| 36 | 368 | 470 | 574 | 470 | 965 | 705 | 5 | 394 | 1.620930e+02 | 1.890000e+02 | 16.60%
118.87/118.95 c 119s| 400 | 401 |730729 |1771.0 |4885k| 36 | 382 | 470 | 574 | 470 | 965 | 705 | 5 | 394 | 1.620930e+02 | 1.890000e+02 | 16.60%
138.66/138.71 c 139s| 500 | 501 |869582 |1694.4 |4955k| 36 | 355 | 470 | 574 | 470 | 965 | 705 | 5 | 457 | 1.620930e+02 | 1.890000e+02 | 16.60%
156.27/156.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
156.27/156.38 c 156s| 600 | 601 |993498 |1618.4 |5026k| 36 | 319 | 470 | 574 | 470 | 965 | 705 | 5 | 524 | 1.620930e+02 | 1.890000e+02 | 16.60%
171.66/171.78 c 172s| 700 | 701 | 1112k|1556.7 |5094k| 39 | 389 | 470 | 574 | 470 | 965 | 705 | 5 | 534 | 1.620930e+02 | 1.890000e+02 | 16.60%
181.46/181.51 c 182s| 800 | 801 | 1190k|1460.2 |5164k| 59 | 242 | 470 | 574 | 470 | 965 | 705 | 5 | 536 | 1.620930e+02 | 1.890000e+02 | 16.60%
186.36/186.45 c 186s| 900 | 901 | 1228k|1339.3 |5237k| 75 | 199 | 470 | 574 | 470 | 965 | 705 | 5 | 563 | 1.621116e+02 | 1.890000e+02 | 16.59%
189.16/189.29 c 189s| 1000 | 1001 | 1250k|1227.7 |5309k| 85 | 177 | 470 | 574 | 470 | 965 | 705 | 5 | 591 | 1.621116e+02 | 1.890000e+02 | 16.59%
190.76/190.86 c 191s| 1100 | 1101 | 1261k|1126.0 |5383k| 91 | 160 | 470 | 574 | 470 | 965 | 705 | 5 | 630 | 1.621116e+02 | 1.890000e+02 | 16.59%
192.26/192.37 c 192s| 1200 | 1201 | 1274k|1042.6 |5458k| 91 | 181 | 470 | 574 | 470 | 965 | 705 | 5 | 649 | 1.621116e+02 | 1.890000e+02 | 16.59%
204.25/204.37 c 204s| 1300 | 1297 | 1362k|1030.0 |5533k| 95 | 388 | 470 | 574 | 470 | 965 | 705 | 5 | 678 | 1.624444e+02 | 1.890000e+02 | 16.35%
214.95/215.09 c 215s| 1400 | 1397 | 1443k|1014.4 |5605k| 95 | 358 | 470 | 574 | 470 | 965 | 705 | 5 | 678 | 1.626435e+02 | 1.890000e+02 | 16.21%
225.55/225.68 c 226s| 1500 | 1497 | 1517k| 996.5 |5677k| 95 | 392 | 470 | 574 | 470 | 965 | 705 | 5 | 697 | 1.627455e+02 | 1.890000e+02 | 16.13%
239.55/239.65 c 240s| 1600 | 1597 | 1606k| 989.5 |5749k| 95 | 372 | 470 | 574 | 470 | 965 | 705 | 5 | 766 | 1.628170e+02 | 1.890000e+02 | 16.08%
252.24/252.31 c 252s| 1700 | 1697 | 1691k| 981.2 |5820k| 95 | 382 | 470 | 574 | 470 | 965 | 705 | 5 | 806 | 1.628779e+02 | 1.890000e+02 | 16.04%
260.94/261.04 c 261s| 1800 | 1797 | 1751k| 960.4 |5893k| 95 | 378 | 470 | 574 | 470 | 965 | 705 | 5 | 829 | 1.629196e+02 | 1.890000e+02 | 16.01%
272.24/272.30 c 272s| 1900 | 1897 | 1838k| 955.5 |5965k| 95 | 381 | 470 | 574 | 470 | 965 | 705 | 5 | 831 | 1.629693e+02 | 1.890000e+02 | 15.97%
280.75/280.83 c 281s| 2000 | 1997 | 1902k| 939.7 |6037k| 95 | 359 | 470 | 574 | 470 | 965 | 705 | 5 | 831 | 1.630100e+02 | 1.890000e+02 | 15.94%
292.45/292.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
292.45/292.56 c 293s| 2100 | 2097 | 1982k| 932.8 |6108k| 95 | 378 | 470 | 574 | 470 | 965 | 705 | 5 | 871 | 1.630367e+02 | 1.890000e+02 | 15.92%
303.45/303.53 c 304s| 2200 | 2197 | 2052k| 922.6 |6180k| 95 | 374 | 470 | 574 | 470 | 965 | 705 | 5 | 916 | 1.630656e+02 | 1.890000e+02 | 15.90%
314.94/315.06 c 315s| 2300 | 2297 | 2127k| 914.8 |6251k| 95 | 382 | 470 | 574 | 470 | 965 | 705 | 5 | 968 | 1.630908e+02 | 1.890000e+02 | 15.89%
325.55/325.68 c 326s| 2400 | 2397 | 2203k| 908.4 |6323k| 95 | 368 | 470 | 574 | 470 | 965 | 705 | 5 | 992 | 1.631168e+02 | 1.890000e+02 | 15.87%
335.63/335.75 c 336s| 2500 | 2497 | 2279k| 902.7 |6395k| 95 | 375 | 470 | 574 | 470 | 965 | 705 | 5 | 994 | 1.631362e+02 | 1.890000e+02 | 15.85%
346.03/346.12 c 346s| 2600 | 2597 | 2360k| 899.0 |6467k| 95 | 368 | 470 | 574 | 470 | 965 | 705 | 5 | 994 | 1.631570e+02 | 1.890000e+02 | 15.84%
355.93/356.05 c 356s| 2700 | 2697 | 2425k| 889.9 |6539k| 95 | 379 | 470 | 574 | 470 | 965 | 705 | 5 |1027 | 1.631741e+02 | 1.890000e+02 | 15.83%
365.34/365.43 c 365s| 2800 | 2797 | 2485k| 879.5 |6612k| 95 | 384 | 470 | 574 | 470 | 965 | 705 | 5 |1064 | 1.631925e+02 | 1.890000e+02 | 15.81%
373.53/373.61 c 374s| 2900 | 2897 | 2535k| 866.3 |6684k| 95 | 383 | 470 | 574 | 470 | 965 | 705 | 5 |1101 | 1.632127e+02 | 1.890000e+02 | 15.80%
386.23/386.37 c 386s| 3000 | 2997 | 2628k| 868.3 |6755k| 95 | 384 | 470 | 574 | 470 | 965 | 705 | 5 |1130 | 1.632337e+02 | 1.890000e+02 | 15.78%
394.63/394.71 c 395s| 3100 | 3097 | 2691k| 860.6 |6826k| 95 | 376 | 470 | 574 | 470 | 965 | 705 | 5 |1130 | 1.632558e+02 | 1.890000e+02 | 15.77%
400.73/400.87 c 401s| 3200 | 3197 | 2736k| 847.9 |6897k| 95 | 364 | 470 | 574 | 470 | 965 | 705 | 5 |1130 | 1.632640e+02 | 1.890000e+02 | 15.76%
409.73/409.85 c 410s| 3300 | 3297 | 2799k| 841.2 |6969k| 95 | 383 | 470 | 574 | 470 | 965 | 705 | 5 |1148 | 1.632763e+02 | 1.890000e+02 | 15.75%
419.42/419.52 c 420s| 3400 | 3397 | 2863k| 835.5 |7040k| 95 | 378 | 470 | 574 | 470 | 965 | 705 | 5 |1178 | 1.632900e+02 | 1.890000e+02 | 15.75%
431.03/431.15 c 431s| 3500 | 3497 | 2943k| 834.3 |7111k| 95 | 360 | 470 | 574 | 470 | 965 | 705 | 5 |1216 | 1.633028e+02 | 1.890000e+02 | 15.74%
441.03/441.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
441.03/441.17 c 441s| 3600 | 3597 | 3008k| 829.3 |7184k| 95 | 374 | 470 | 574 | 470 | 965 | 705 | 5 |1250 | 1.633167e+02 | 1.890000e+02 | 15.73%
450.42/450.53 c 451s| 3700 | 3697 | 3072k| 824.0 |7257k| 95 | 372 | 470 | 574 | 470 | 965 | 705 | 5 |1279 | 1.633333e+02 | 1.890000e+02 | 15.71%
458.42/458.52 c 459s| 3800 | 3797 | 3131k| 817.9 |7331k| 95 | 383 | 470 | 574 | 470 | 965 | 705 | 5 |1285 | 1.633463e+02 | 1.890000e+02 | 15.71%
469.31/469.43 c 469s| 3900 | 3897 | 3216k| 818.8 |7404k| 95 | 365 | 470 | 574 | 470 | 965 | 705 | 5 |1286 | 1.633564e+02 | 1.890000e+02 | 15.70%
478.11/478.24 c 478s| 4000 | 3997 | 3283k| 815.0 |7477k| 95 | 374 | 470 | 574 | 470 | 965 | 705 | 5 |1287 | 1.633678e+02 | 1.890000e+02 | 15.69%
485.91/486.09 c 486s| 4100 | 4097 | 3337k| 808.3 |7548k| 95 | 352 | 470 | 574 | 470 | 965 | 705 | 5 |1309 | 1.633740e+02 | 1.890000e+02 | 15.69%
497.91/498.02 c 498s| 4200 | 4197 | 3413k| 807.2 |7620k| 95 | 355 | 470 | 574 | 470 | 965 | 705 | 5 |1360 | 1.633900e+02 | 1.890000e+02 | 15.67%
508.71/508.80 c 509s| 4300 | 4297 | 3487k| 805.5 |7692k| 95 | 365 | 470 | 574 | 470 | 965 | 705 | 5 |1395 | 1.633969e+02 | 1.890000e+02 | 15.67%
517.01/517.10 c 517s| 4400 | 4397 | 3544k| 800.3 |7763k| 95 | 373 | 470 | 574 | 470 | 965 | 705 | 5 |1415 | 1.634067e+02 | 1.890000e+02 | 15.66%
527.11/527.22 c 527s| 4500 | 4497 | 3617k| 798.7 |7835k| 95 | 384 | 470 | 574 | 470 | 965 | 705 | 5 |1442 | 1.634153e+02 | 1.890000e+02 | 15.66%
534.41/534.53 c 535s| 4600 | 4597 | 3672k| 793.4 |7904k| 95 | 377 | 470 | 574 | 470 | 965 | 705 | 5 |1444 | 1.634227e+02 | 1.890000e+02 | 15.65%
540.80/540.93 c 541s| 4700 | 4697 | 3720k| 786.7 |7975k| 95 | 373 | 470 | 574 | 470 | 965 | 705 | 5 |1444 | 1.634294e+02 | 1.890000e+02 | 15.65%
549.20/549.39 c 549s| 4800 | 4797 | 3786k| 784.1 |8046k| 95 | 372 | 470 | 574 | 470 | 965 | 705 | 5 |1444 | 1.634366e+02 | 1.890000e+02 | 15.64%
556.60/556.76 c 557s| 4900 | 4897 | 3842k| 779.4 |8117k| 95 | 376 | 470 | 574 | 470 | 965 | 705 | 5 |1444 | 1.634497e+02 | 1.890000e+02 | 15.63%
565.60/565.74 c 566s| 5000 | 4997 | 3911k| 777.6 |8187k| 95 | 385 | 470 | 574 | 470 | 965 | 705 | 5 |1444 | 1.634604e+02 | 1.890000e+02 | 15.62%
573.29/573.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
573.29/573.41 c 573s| 5100 | 5097 | 3969k| 773.8 |8259k| 95 | 366 | 470 | 574 | 470 | 965 | 705 | 5 |1446 | 1.634664e+02 | 1.890000e+02 | 15.62%
581.71/581.87 c 582s| 5200 | 5197 | 4034k| 771.3 |8332k| 95 | 377 | 470 | 574 | 470 | 965 | 705 | 5 |1446 | 1.634763e+02 | 1.890000e+02 | 15.61%
590.20/590.30 c 590s| 5300 | 5297 | 4100k| 769.2 |8404k| 95 | 357 | 470 | 574 | 470 | 965 | 705 | 5 |1446 | 1.634833e+02 | 1.890000e+02 | 15.61%
596.99/597.20 c 597s| 5400 | 5397 | 4152k| 764.6 |8476k| 95 | 366 | 470 | 574 | 470 | 965 | 705 | 5 |1446 | 1.634900e+02 | 1.890000e+02 | 15.60%
606.20/606.32 c 606s| 5500 | 5497 | 4223k| 763.7 |8548k| 95 | 364 | 470 | 574 | 470 | 965 | 705 | 5 |1447 | 1.634953e+02 | 1.890000e+02 | 15.60%
614.29/614.46 c 614s| 5600 | 5597 | 4281k| 760.4 |8620k| 95 | 374 | 470 | 574 | 470 | 965 | 705 | 5 |1464 | 1.634988e+02 | 1.890000e+02 | 15.60%
622.60/622.73 c 623s| 5700 | 5697 | 4331k| 755.7 |8693k| 95 | 367 | 470 | 574 | 470 | 965 | 705 | 5 |1508 | 1.635045e+02 | 1.890000e+02 | 15.59%
633.29/633.48 c 633s| 5800 | 5797 | 4410k| 756.4 |8765k| 95 | 377 | 470 | 574 | 470 | 965 | 705 | 5 |1534 | 1.635115e+02 | 1.890000e+02 | 15.59%
643.19/643.37 c 643s| 5900 | 5897 | 4485k| 756.4 |8837k| 95 | 357 | 470 | 574 | 470 | 965 | 705 | 5 |1543 | 1.635158e+02 | 1.890000e+02 | 15.59%
649.49/649.62 c 650s| 6000 | 5997 | 4532k| 751.5 |8909k| 95 | 362 | 470 | 574 | 470 | 965 | 705 | 5 |1543 | 1.635244e+02 | 1.890000e+02 | 15.58%
658.19/658.35 c 658s| 6100 | 6097 | 4600k| 750.3 |8980k| 95 | 362 | 470 | 574 | 470 | 965 | 705 | 5 |1543 | 1.635280e+02 | 1.890000e+02 | 15.58%
665.68/665.84 c 666s| 6200 | 6197 | 4657k| 747.4 |9053k| 95 | 377 | 470 | 574 | 470 | 965 | 705 | 5 |1544 | 1.635331e+02 | 1.890000e+02 | 15.57%
673.78/673.91 c 674s| 6300 | 6297 | 4708k| 743.6 |9125k| 95 | 377 | 470 | 574 | 470 | 965 | 705 | 5 |1577 | 1.635384e+02 | 1.890000e+02 | 15.57%
684.78/684.94 c 685s| 6400 | 6397 | 4785k| 744.1 |9198k| 95 | 351 | 470 | 574 | 470 | 965 | 705 | 5 |1603 | 1.635456e+02 | 1.890000e+02 | 15.56%
695.78/695.92 c 696s| 6500 | 6497 | 4859k| 744.1 |9271k| 95 | 361 | 470 | 574 | 470 | 965 | 705 | 5 |1643 | 1.635523e+02 | 1.890000e+02 | 15.56%
704.28/704.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
704.28/704.45 c 704s| 6600 | 6597 | 4919k| 741.8 |9345k| 95 | 346 | 470 | 574 | 470 | 965 | 705 | 5 |1662 | 1.635601e+02 | 1.890000e+02 | 15.55%
712.78/712.91 c 713s| 6700 | 6697 | 4984k| 740.4 |9416k| 95 | 368 | 470 | 574 | 470 | 965 | 705 | 5 |1663 | 1.635675e+02 | 1.890000e+02 | 15.55%
721.78/721.94 c 722s| 6800 | 6797 | 5056k| 740.2 |9489k| 95 | 352 | 470 | 574 | 470 | 965 | 705 | 5 |1663 | 1.635720e+02 | 1.890000e+02 | 15.55%
728.98/729.14 c 729s| 6900 | 6897 | 5111k| 737.3 |9560k| 95 | 376 | 470 | 574 | 470 | 965 | 705 | 5 |1663 | 1.635762e+02 | 1.890000e+02 | 15.54%
737.18/737.31 c 737s| 7000 | 6997 | 5169k| 735.2 |9632k| 95 | 388 | 470 | 574 | 470 | 965 | 705 | 5 |1676 | 1.635827e+02 | 1.890000e+02 | 15.54%
744.17/744.34 c 744s| 7100 | 7097 | 5215k| 731.3 |9703k| 95 | 369 | 470 | 574 | 470 | 965 | 705 | 5 |1698 | 1.635877e+02 | 1.890000e+02 | 15.53%
752.87/753.07 c 753s| 7200 | 7197 | 5275k| 729.5 |9773k| 95 | 357 | 470 | 574 | 470 | 965 | 705 | 5 |1720 | 1.635904e+02 | 1.890000e+02 | 15.53%
762.76/762.93 c 763s| 7300 | 7297 | 5342k| 728.6 |9845k| 95 | 361 | 470 | 574 | 470 | 965 | 705 | 5 |1749 | 1.635939e+02 | 1.890000e+02 | 15.53%
771.16/771.33 c 771s| 7400 | 7397 | 5400k| 726.6 |9918k| 95 | 367 | 470 | 574 | 470 | 965 | 705 | 5 |1775 | 1.635997e+02 | 1.890000e+02 | 15.53%
779.47/779.61 c 780s| 7500 | 7497 | 5455k| 724.3 |9990k| 95 | 359 | 470 | 574 | 470 | 965 | 705 | 5 |1799 | 1.636033e+02 | 1.890000e+02 | 15.52%
788.47/788.67 c 789s| 7600 | 7597 | 5525k| 723.9 | 10M| 95 | 347 | 470 | 574 | 470 | 965 | 705 | 5 |1801 | 1.636081e+02 | 1.890000e+02 | 15.52%
795.56/795.71 c 796s| 7700 | 7697 | 5578k| 721.5 | 10M| 95 | 362 | 470 | 574 | 470 | 965 | 705 | 5 |1801 | 1.636152e+02 | 1.890000e+02 | 15.51%
805.07/805.27 c 805s| 7800 | 7797 | 5653k| 721.8 | 10M| 95 | 367 | 470 | 574 | 470 | 965 | 705 | 5 |1801 | 1.636197e+02 | 1.890000e+02 | 15.51%
813.66/813.87 c 814s| 7900 | 7897 | 5716k| 720.7 | 10M| 95 | 372 | 470 | 574 | 470 | 965 | 705 | 5 |1814 | 1.636236e+02 | 1.890000e+02 | 15.51%
821.16/821.31 c 821s| 8000 | 7997 | 5766k| 717.9 | 10M| 95 | 369 | 470 | 574 | 470 | 965 | 705 | 5 |1831 | 1.636293e+02 | 1.890000e+02 | 15.50%
832.25/832.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
832.25/832.49 c 832s| 8100 | 8097 | 5842k| 718.4 | 10M| 95 | 371 | 470 | 574 | 470 | 965 | 705 | 5 |1869 | 1.636320e+02 | 1.890000e+02 | 15.50%
839.86/840.07 c 840s| 8200 | 8197 | 5893k| 715.9 | 10M| 95 | 362 | 470 | 574 | 470 | 965 | 705 | 5 |1892 | 1.636359e+02 | 1.890000e+02 | 15.50%
848.85/849.07 c 849s| 8300 | 8297 | 5957k| 715.0 | 10M| 95 | 356 | 470 | 574 | 470 | 965 | 705 | 5 |1909 | 1.636434e+02 | 1.890000e+02 | 15.50%
856.46/856.67 c 857s| 8400 | 8397 | 6011k| 712.8 | 10M| 95 | 372 | 470 | 574 | 470 | 965 | 705 | 5 |1927 | 1.636469e+02 | 1.890000e+02 | 15.49%
864.75/864.99 c 865s| 8500 | 8497 | 6076k| 712.1 | 10M| 95 | 346 | 470 | 574 | 470 | 965 | 705 | 5 |1928 | 1.636506e+02 | 1.890000e+02 | 15.49%
871.85/872.01 c 872s| 8600 | 8597 | 6128k| 709.9 | 10M| 95 | 365 | 470 | 574 | 470 | 965 | 705 | 5 |1928 | 1.636565e+02 | 1.890000e+02 | 15.49%
879.35/879.54 c 880s| 8700 | 8697 | 6187k| 708.5 | 10M| 95 | 370 | 470 | 574 | 470 | 965 | 705 | 5 |1928 | 1.636588e+02 | 1.890000e+02 | 15.48%
889.55/889.77 c 890s| 8800 | 8797 | 6267k| 709.6 | 10M| 95 | 366 | 470 | 574 | 470 | 965 | 705 | 5 |1928 | 1.636621e+02 | 1.890000e+02 | 15.48%
895.55/895.74 c 896s| 8900 | 8897 | 6305k| 705.9 | 10M| 95 | 358 | 470 | 574 | 470 | 965 | 705 | 5 |1947 | 1.636661e+02 | 1.890000e+02 | 15.48%
901.35/901.59 c 902s| 9000 | 8997 | 6343k| 702.3 | 11M| 95 | 369 | 470 | 574 | 470 | 965 | 705 | 5 |1962 | 1.636690e+02 | 1.890000e+02 | 15.48%
912.14/912.34 c 912s| 9100 | 9097 | 6420k| 703.0 | 11M| 95 | 367 | 470 | 574 | 470 | 965 | 705 | 5 |1985 | 1.636738e+02 | 1.890000e+02 | 15.47%
921.55/921.76 c 922s| 9200 | 9197 | 6485k| 702.4 | 11M| 95 | 367 | 470 | 574 | 470 | 965 | 705 | 5 |2010 | 1.636785e+02 | 1.890000e+02 | 15.47%
928.54/928.72 c 929s| 9300 | 9297 | 6530k| 699.7 | 11M| 95 | 375 | 470 | 574 | 470 | 965 | 705 | 5 |2033 | 1.636806e+02 | 1.890000e+02 | 15.47%
937.34/937.59 c 938s| 9400 | 9397 | 6595k| 699.2 | 11M| 95 | 378 | 470 | 574 | 470 | 965 | 705 | 5 |2049 | 1.636854e+02 | 1.890000e+02 | 15.47%
945.64/945.84 c 946s| 9500 | 9497 | 6659k| 698.6 | 11M| 95 | 360 | 470 | 574 | 470 | 965 | 705 | 5 |2049 | 1.636877e+02 | 1.890000e+02 | 15.46%
952.24/952.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
952.24/952.48 c 952s| 9600 | 9597 | 6710k| 696.5 | 11M| 95 | 379 | 470 | 574 | 470 | 965 | 705 | 5 |2049 | 1.636905e+02 | 1.890000e+02 | 15.46%
959.64/959.85 c 960s| 9700 | 9697 | 6765k| 695.0 | 11M| 95 | 392 | 470 | 574 | 470 | 965 | 705 | 5 |2049 | 1.636933e+02 | 1.890000e+02 | 15.46%
977.34/977.54 c 978s| 9800 | 9797 | 6932k| 705.0 | 11M| 95 | 367 | 470 | 574 | 470 | 965 | 705 | 5 |2049 | 1.636972e+02 | 1.890000e+02 | 15.46%
985.14/985.38 c 985s| 9900 | 9897 | 6988k| 703.6 | 11M| 95 | 378 | 470 | 574 | 470 | 965 | 705 | 5 |2062 | 1.636998e+02 | 1.890000e+02 | 15.46%
993.53/993.77 c 994s| 10000 | 9997 | 7041k| 701.8 | 11M| 95 | 371 | 470 | 574 | 470 | 965 | 705 | 5 |2096 | 1.637039e+02 | 1.890000e+02 | 15.45%
1009.83/1010.07 c 1010s| 10100 | 10097 | 7191k| 709.7 | 11M| 95 | 361 | 470 | 574 | 470 | 965 | 705 | 5 |2107 | 1.637062e+02 | 1.890000e+02 | 15.45%
1015.73/1015.92 c 1016s| 10200 | 10197 | 7231k| 706.6 | 11M| 95 | 367 | 470 | 574 | 470 | 965 | 705 | 5 |2119 | 1.637108e+02 | 1.890000e+02 | 15.45%
1027.73/1027.97 c 1028s| 10300 | 10297 | 7313k| 707.8 | 12M| 95 | 364 | 470 | 574 | 470 | 965 | 705 | 5 |2157 | 1.637152e+02 | 1.890000e+02 | 15.44%
1033.43/1033.62 c 1034s| 10400 | 10397 | 7352k| 704.8 | 12M| 95 | 370 | 470 | 574 | 470 | 965 | 705 | 5 |2166 | 1.637182e+02 | 1.890000e+02 | 15.44%
1041.23/1041.41 c 1041s| 10500 | 10497 | 7408k| 703.3 | 12M| 95 | 370 | 470 | 574 | 470 | 965 | 705 | 5 |2179 | 1.637219e+02 | 1.890000e+02 | 15.44%
1048.04/1048.30 c 1048s| 10600 | 10597 | 7461k| 701.7 | 12M| 95 | 342 | 470 | 574 | 470 | 965 | 705 | 5 |2179 | 1.637235e+02 | 1.890000e+02 | 15.44%
1056.72/1056.96 c 1057s| 10700 | 10697 | 7528k| 701.4 | 12M| 95 | 378 | 470 | 574 | 470 | 965 | 705 | 5 |2181 | 1.637260e+02 | 1.890000e+02 | 15.44%
1062.13/1062.34 c 1062s| 10800 | 10797 | 7567k| 698.6 | 12M| 95 | 348 | 470 | 574 | 470 | 965 | 705 | 5 |2181 | 1.637298e+02 | 1.890000e+02 | 15.43%
1071.63/1071.84 c 1072s| 10900 | 10897 | 7642k| 699.0 | 12M| 95 | 382 | 470 | 574 | 470 | 965 | 705 | 5 |2181 | 1.637331e+02 | 1.890000e+02 | 15.43%
1079.52/1079.70 c 1080s| 11000 | 10997 | 7697k| 697.6 | 12M| 95 | 359 | 470 | 574 | 470 | 965 | 705 | 5 |2199 | 1.637352e+02 | 1.890000e+02 | 15.43%
1088.42/1088.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1088.42/1088.68 c 1089s| 11100 | 11097 | 7762k| 697.3 | 12M| 95 | 365 | 470 | 574 | 470 | 965 | 705 | 5 |2211 | 1.637377e+02 | 1.890000e+02 | 15.43%
1095.12/1095.39 c 1095s| 11200 | 11197 | 7804k| 694.7 | 12M| 95 | 353 | 470 | 574 | 470 | 965 | 705 | 5 |2238 | 1.637420e+02 | 1.890000e+02 | 15.43%
1104.32/1104.57 c 1105s| 11300 | 11297 | 7872k| 694.6 | 12M| 95 | 365 | 470 | 574 | 470 | 965 | 705 | 5 |2251 | 1.637458e+02 | 1.890000e+02 | 15.42%
1110.61/1110.83 c 1111s| 11400 | 11397 | 7912k| 692.1 | 12M| 95 | 367 | 470 | 574 | 470 | 965 | 705 | 5 |2266 | 1.637511e+02 | 1.890000e+02 | 15.42%
1119.52/1119.72 c 1120s| 11500 | 11497 | 7974k| 691.4 | 12M| 95 | 342 | 470 | 574 | 470 | 965 | 705 | 5 |2293 | 1.637536e+02 | 1.890000e+02 | 15.42%
1125.52/1125.77 c 1126s| 11600 | 11597 | 8016k| 689.0 | 12M| 95 | 386 | 470 | 574 | 470 | 965 | 705 | 5 |2308 | 1.637566e+02 | 1.890000e+02 | 15.42%
1134.02/1134.28 c 1134s| 11700 | 11697 | 8082k| 688.8 | 13M| 95 | 361 | 470 | 574 | 470 | 965 | 705 | 5 |2310 | 1.637612e+02 | 1.890000e+02 | 15.41%
1140.81/1141.02 c 1141s| 11800 | 11797 | 8134k| 687.4 | 13M| 95 | 371 | 470 | 574 | 470 | 965 | 705 | 5 |2310 | 1.637646e+02 | 1.890000e+02 | 15.41%
1149.32/1149.52 c 1150s| 11900 | 11897 | 8200k| 687.2 | 13M| 95 | 377 | 470 | 574 | 470 | 965 | 705 | 5 |2311 | 1.637659e+02 | 1.890000e+02 | 15.41%
1155.61/1155.85 c 1156s| 12000 | 11997 | 8248k| 685.4 | 13M| 95 | 379 | 470 | 574 | 470 | 965 | 705 | 5 |2311 | 1.637679e+02 | 1.890000e+02 | 15.41%
1164.41/1164.63 c 1165s| 12100 | 12097 | 8318k| 685.5 | 13M| 95 | 379 | 470 | 574 | 470 | 965 | 705 | 5 |2311 | 1.637709e+02 | 1.890000e+02 | 15.41%
1173.20/1173.47 c 1173s| 12200 | 12197 | 8378k| 684.9 | 13M| 95 | 363 | 470 | 574 | 470 | 965 | 705 | 5 |2335 | 1.637741e+02 | 1.890000e+02 | 15.40%
1180.71/1180.99 c 1181s| 12300 | 12297 | 8429k| 683.5 | 13M| 95 | 355 | 470 | 574 | 470 | 965 | 705 | 5 |2356 | 1.637758e+02 | 1.890000e+02 | 15.40%
1189.40/1189.69 c 1190s| 12400 | 12397 | 8488k| 682.7 | 13M| 95 | 347 | 470 | 574 | 470 | 965 | 705 | 5 |2378 | 1.637793e+02 | 1.890000e+02 | 15.40%
1196.40/1196.62 c 1197s| 12500 | 12497 | 8535k| 681.0 | 13M| 95 | 355 | 470 | 574 | 470 | 965 | 705 | 5 |2393 | 1.637812e+02 | 1.890000e+02 | 15.40%
1207.10/1207.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1207.10/1207.39 c 1207s| 12600 | 12597 | 8615k| 681.9 | 13M| 95 | 348 | 470 | 574 | 470 | 965 | 705 | 5 |2412 | 1.637850e+02 | 1.890000e+02 | 15.40%
1214.00/1214.24 c 1214s| 12700 | 12697 | 8663k| 680.3 | 13M| 95 | 364 | 470 | 578 | 470 | 965 | 705 | 9 |2427 | 1.637879e+02 | 1.890000e+02 | 15.39%
1220.90/1221.13 c 1221s| 12800 | 12797 | 8712k| 678.8 | 13M| 95 | 352 | 470 | 578 | 470 | 965 | 705 | 9 |2441 | 1.637908e+02 | 1.890000e+02 | 15.39%
1228.20/1228.48 c 1228s| 12900 | 12897 | 8768k| 677.9 | 13M| 95 | 367 | 470 | 578 | 470 | 965 | 705 | 9 |2443 | 1.637929e+02 | 1.890000e+02 | 15.39%
1235.50/1235.77 c 1236s| 13000 | 12997 | 8825k| 677.1 | 13M| 95 | 335 | 470 | 578 | 470 | 965 | 705 | 9 |2443 | 1.637981e+02 | 1.890000e+02 | 15.39%
1245.01/1245.29 c 1245s| 13100 | 13097 | 8901k| 677.7 | 14M| 95 | 353 | 470 | 581 | 470 | 965 | 705 | 12 |2444 | 1.638017e+02 | 1.890000e+02 | 15.38%
1252.79/1253.00 c 1253s| 13200 | 13197 | 8961k| 677.1 | 14M| 95 | 350 | 470 | 581 | 470 | 965 | 705 | 12 |2444 | 1.638041e+02 | 1.890000e+02 | 15.38%
1258.10/1258.37 c 1258s| 13300 | 13297 | 9001k| 675.1 | 14M| 95 | 352 | 470 | 581 | 470 | 965 | 705 | 12 |2444 | 1.638058e+02 | 1.890000e+02 | 15.38%
1268.60/1268.80 c 1269s| 13400 | 13397 | 9078k| 675.8 | 14M| 95 | 367 | 470 | 581 | 470 | 965 | 705 | 12 |2455 | 1.638091e+02 | 1.890000e+02 | 15.38%
1274.79/1275.03 c 1275s| 13500 | 13497 | 9120k| 673.9 | 14M| 95 | 358 | 470 | 581 | 470 | 965 | 705 | 12 |2467 | 1.638111e+02 | 1.890000e+02 | 15.38%
1284.99/1285.26 c 1285s| 13600 | 13597 | 9197k| 674.6 | 14M| 95 | 353 | 470 | 585 | 470 | 965 | 705 | 16 |2484 | 1.638138e+02 | 1.890000e+02 | 15.37%
1300.59/1300.84 c 1301s| 13700 | 13697 | 9339k| 680.0 | 14M| 95 | 350 | 470 | 585 | 470 | 965 | 705 | 16 |2502 | 1.638170e+02 | 1.890000e+02 | 15.37%
1310.38/1310.64 c 1311s| 13800 | 13797 | 9406k| 679.9 | 14M| 95 | 350 | 470 | 587 | 470 | 965 | 705 | 18 |2528 | 1.638186e+02 | 1.890000e+02 | 15.37%
1318.88/1319.19 c 1319s| 13900 | 13897 | 9467k| 679.5 | 14M| 95 | 367 | 470 | 587 | 470 | 965 | 705 | 18 |2546 | 1.638201e+02 | 1.890000e+02 | 15.37%
1324.68/1324.99 c 1325s| 14000 | 13997 | 9506k| 677.4 | 14M| 95 | 368 | 470 | 587 | 470 | 965 | 705 | 18 |2561 | 1.638232e+02 | 1.890000e+02 | 15.37%
1334.88/1335.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1334.88/1335.13 c 1335s| 14100 | 14097 | 9584k| 678.1 | 14M| 95 | 373 | 470 | 587 | 470 | 965 | 705 | 18 |2569 | 1.638251e+02 | 1.890000e+02 | 15.37%
1340.68/1340.97 c 1341s| 14200 | 14197 | 9628k| 676.4 | 14M| 95 | 352 | 470 | 587 | 470 | 965 | 705 | 18 |2569 | 1.638283e+02 | 1.890000e+02 | 15.36%
1347.68/1347.92 c 1348s| 14300 | 14297 | 9681k| 675.4 | 14M| 95 | 359 | 470 | 587 | 470 | 965 | 705 | 18 |2569 | 1.638316e+02 | 1.890000e+02 | 15.36%
1352.78/1353.02 c 1353s| 14400 | 14397 | 9719k| 673.3 | 14M| 95 | 377 | 470 | 587 | 470 | 965 | 705 | 18 |2569 | 1.638335e+02 | 1.890000e+02 | 15.36%
1361.18/1361.49 c 1361s| 14500 | 14497 | 9785k| 673.3 | 15M| 95 | 360 | 470 | 587 | 470 | 965 | 705 | 18 |2570 | 1.638354e+02 | 1.890000e+02 | 15.36%
1368.98/1369.22 c 1369s| 14600 | 14597 | 9845k| 672.8 | 15M| 95 | 358 | 470 | 587 | 470 | 965 | 705 | 18 |2570 | 1.638381e+02 | 1.890000e+02 | 15.36%
1377.27/1377.51 c 1378s| 14700 | 14697 | 9906k| 672.3 | 15M| 95 | 365 | 470 | 592 | 470 | 965 | 705 | 23 |2583 | 1.638420e+02 | 1.890000e+02 | 15.36%
1384.48/1384.79 c 1385s| 14800 | 14797 | 9955k| 671.1 | 15M| 95 | 365 | 470 | 592 | 470 | 965 | 705 | 23 |2599 | 1.638444e+02 | 1.890000e+02 | 15.35%
1392.07/1392.36 c 1392s| 14900 | 14897 | 10010k| 670.3 | 15M| 95 | 361 | 470 | 592 | 470 | 965 | 705 | 23 |2610 | 1.638455e+02 | 1.890000e+02 | 15.35%
1400.08/1400.35 c 1400s| 15000 | 14997 | 10068k| 669.7 | 15M| 95 | 365 | 470 | 595 | 470 | 965 | 705 | 26 |2625 | 1.638472e+02 | 1.890000e+02 | 15.35%
1407.57/1407.82 c 1408s| 15100 | 15097 | 10119k| 668.6 | 15M| 95 | 375 | 470 | 595 | 470 | 965 | 705 | 26 |2641 | 1.638491e+02 | 1.890000e+02 | 15.35%
1414.47/1414.73 c 1415s| 15200 | 15197 | 10167k| 667.4 | 15M| 95 | 372 | 470 | 595 | 470 | 965 | 705 | 26 |2656 | 1.638513e+02 | 1.890000e+02 | 15.35%
1422.47/1422.76 c 1423s| 15300 | 15297 | 10224k| 666.8 | 15M| 95 | 364 | 470 | 595 | 470 | 965 | 705 | 26 |2676 | 1.638545e+02 | 1.890000e+02 | 15.35%
1429.87/1430.15 c 1430s| 15400 | 15397 | 10277k| 665.8 | 15M| 95 | 371 | 470 | 595 | 470 | 965 | 705 | 26 |2690 | 1.638554e+02 | 1.890000e+02 | 15.35%
1437.76/1438.01 c 1438s| 15500 | 15497 | 10341k| 665.7 | 15M| 95 | 353 | 470 | 597 | 470 | 965 | 705 | 28 |2691 | 1.638572e+02 | 1.890000e+02 | 15.34%
1442.97/1443.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1442.97/1443.22 c 1443s| 15600 | 15597 | 10379k| 663.9 | 15M| 95 | 363 | 470 | 597 | 470 | 965 | 705 | 28 |2691 | 1.638587e+02 | 1.890000e+02 | 15.34%
1450.87/1451.18 c 1451s| 15700 | 15697 | 10441k| 663.6 | 15M| 95 | 370 | 470 | 597 | 470 | 965 | 705 | 28 |2691 | 1.638612e+02 | 1.890000e+02 | 15.34%
1458.56/1458.84 c 1459s| 15800 | 15797 | 10501k| 663.2 | 15M| 95 | 375 | 470 | 597 | 470 | 965 | 705 | 28 |2691 | 1.638633e+02 | 1.890000e+02 | 15.34%
1464.76/1465.03 c 1465s| 15900 | 15897 | 10548k| 661.9 | 16M| 95 | 379 | 470 | 597 | 470 | 965 | 705 | 28 |2691 | 1.638651e+02 | 1.890000e+02 | 15.34%
1471.66/1471.99 c 1472s| 16000 | 15997 | 10602k| 661.2 | 16M| 95 | 351 | 470 | 597 | 470 | 965 | 705 | 28 |2691 | 1.638667e+02 | 1.890000e+02 | 15.34%
1479.86/1480.19 c 1480s| 16100 | 16097 | 10660k| 660.7 | 16M| 95 | 376 | 470 | 597 | 470 | 965 | 705 | 28 |2708 | 1.638692e+02 | 1.890000e+02 | 15.34%
1489.36/1489.63 c 1490s| 16200 | 16197 | 10729k| 660.9 | 16M| 95 | 370 | 470 | 597 | 470 | 965 | 705 | 28 |2722 | 1.638704e+02 | 1.890000e+02 | 15.34%
1496.06/1496.31 c 1496s| 16300 | 16297 | 10770k| 659.4 | 16M| 95 | 350 | 470 | 597 | 470 | 965 | 705 | 28 |2745 | 1.638715e+02 | 1.890000e+02 | 15.33%
1505.36/1505.69 c 1506s| 16400 | 16397 | 10837k| 659.4 | 16M| 95 | 353 | 470 | 597 | 470 | 965 | 705 | 28 |2762 | 1.638729e+02 | 1.890000e+02 | 15.33%
1512.56/1512.89 c 1513s| 16500 | 16497 | 10889k| 658.6 | 16M| 95 | 363 | 470 | 597 | 470 | 965 | 705 | 28 |2773 | 1.638746e+02 | 1.890000e+02 | 15.33%
1519.36/1519.70 c 1520s| 16600 | 16597 | 10936k| 657.4 | 16M| 95 | 367 | 470 | 597 | 470 | 965 | 705 | 28 |2786 | 1.638772e+02 | 1.890000e+02 | 15.33%
1526.85/1527.14 c 1527s| 16700 | 16697 | 10990k| 656.7 | 16M| 95 | 335 | 470 | 597 | 470 | 965 | 705 | 28 |2804 | 1.638788e+02 | 1.890000e+02 | 15.33%
1536.55/1536.88 c 1537s| 16800 | 16797 | 11066k| 657.3 | 16M| 95 | 361 | 470 | 597 | 470 | 965 | 705 | 28 |2806 | 1.638798e+02 | 1.890000e+02 | 15.33%
1543.85/1544.16 c 1544s| 16900 | 16897 | 11123k| 656.8 | 16M| 95 | 352 | 470 | 597 | 470 | 965 | 705 | 28 |2806 | 1.638822e+02 | 1.890000e+02 | 15.33%
1550.25/1550.56 c 1551s| 17000 | 16997 | 11171k| 655.8 | 16M| 95 | 353 | 470 | 597 | 470 | 965 | 705 | 28 |2807 | 1.638833e+02 | 1.890000e+02 | 15.33%
1557.25/1557.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1557.25/1557.60 c 1558s| 17100 | 17097 | 11226k| 655.1 | 16M| 95 | 364 | 470 | 597 | 470 | 965 | 705 | 28 |2807 | 1.638859e+02 | 1.890000e+02 | 15.32%
1564.74/1565.04 c 1565s| 17200 | 17197 | 11284k| 654.7 | 16M| 95 | 356 | 470 | 597 | 470 | 965 | 705 | 28 |2807 | 1.638881e+02 | 1.890000e+02 | 15.32%
1573.76/1574.08 c 1574s| 17300 | 17297 | 11357k| 655.1 | 17M| 95 | 339 | 470 | 597 | 470 | 965 | 705 | 28 |2807 | 1.638902e+02 | 1.890000e+02 | 15.32%
1580.85/1581.18 c 1581s| 17400 | 17397 | 11404k| 654.1 | 17M| 95 | 373 | 470 | 597 | 470 | 965 | 705 | 28 |2826 | 1.638930e+02 | 1.890000e+02 | 15.32%
1586.65/1586.92 c 1587s| 17500 | 17497 | 11441k| 652.4 | 17M| 95 | 365 | 470 | 597 | 470 | 965 | 705 | 28 |2841 | 1.638945e+02 | 1.890000e+02 | 15.32%
1594.94/1595.20 c 1595s| 17600 | 17597 | 11498k| 652.0 | 17M| 95 | 354 | 470 | 597 | 470 | 965 | 705 | 28 |2861 | 1.638972e+02 | 1.890000e+02 | 15.32%
1603.55/1603.86 c 1604s| 17700 | 17697 | 11559k| 651.8 | 17M| 95 | 372 | 470 | 597 | 470 | 965 | 705 | 28 |2878 | 1.638990e+02 | 1.890000e+02 | 15.31%
1611.44/1611.77 c 1612s| 17800 | 17797 | 11617k| 651.3 | 17M| 95 | 375 | 470 | 597 | 470 | 965 | 705 | 28 |2889 | 1.638998e+02 | 1.890000e+02 | 15.31%
1619.64/1619.94 c 1620s| 17900 | 17897 | 11677k| 651.0 | 17M| 95 | 373 | 470 | 597 | 470 | 965 | 705 | 28 |2900 | 1.639017e+02 | 1.890000e+02 | 15.31%
1626.24/1626.51 c 1627s| 18000 | 17997 | 11723k| 650.0 | 17M| 95 | 339 | 470 | 597 | 470 | 965 | 705 | 28 |2917 | 1.639034e+02 | 1.890000e+02 | 15.31%
1633.04/1633.36 c 1633s| 18100 | 18097 | 11775k| 649.3 | 17M| 95 | 368 | 470 | 597 | 470 | 965 | 705 | 28 |2918 | 1.639054e+02 | 1.890000e+02 | 15.31%
1642.23/1642.54 c 1643s| 18200 | 18197 | 11849k| 649.8 | 17M| 95 | 360 | 470 | 597 | 470 | 965 | 705 | 28 |2918 | 1.639070e+02 | 1.890000e+02 | 15.31%
1649.83/1650.12 c 1650s| 18300 | 18297 | 11908k| 649.5 | 17M| 95 | 378 | 470 | 597 | 470 | 965 | 705 | 28 |2918 | 1.639082e+02 | 1.890000e+02 | 15.31%
1656.03/1656.33 c 1656s| 18400 | 18397 | 11956k| 648.5 | 17M| 95 | 357 | 470 | 597 | 470 | 965 | 705 | 28 |2918 | 1.639102e+02 | 1.890000e+02 | 15.31%
1662.93/1663.28 c 1663s| 18500 | 18497 | 12010k| 648.0 | 17M| 95 | 356 | 470 | 597 | 470 | 965 | 705 | 28 |2918 | 1.639114e+02 | 1.890000e+02 | 15.31%
1669.53/1669.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1669.53/1669.86 c 1670s| 18600 | 18597 | 12060k| 647.2 | 17M| 95 | 364 | 470 | 597 | 470 | 965 | 705 | 28 |2918 | 1.639143e+02 | 1.890000e+02 | 15.30%
1680.22/1680.54 c 1681s| 18700 | 18697 | 12140k| 648.0 | 18M| 95 | 338 | 470 | 597 | 470 | 965 | 705 | 28 |2934 | 1.639165e+02 | 1.890000e+02 | 15.30%
1687.43/1687.70 c 1688s| 18800 | 18797 | 12187k| 647.0 | 18M| 95 | 375 | 470 | 597 | 470 | 965 | 705 | 28 |2953 | 1.639176e+02 | 1.890000e+02 | 15.30%
1692.23/1692.55 c 1693s| 18900 | 18897 | 12223k| 645.5 | 18M| 95 | 368 | 470 | 597 | 470 | 965 | 705 | 28 |2953 | 1.639193e+02 | 1.890000e+02 | 15.30%
1700.12/1700.41 c 1700s| 19000 | 18997 | 12278k| 645.0 | 18M| 95 | 366 | 470 | 597 | 470 | 965 | 705 | 28 |2968 | 1.639219e+02 | 1.890000e+02 | 15.30%
1706.72/1707.04 c 1707s| 19100 | 19097 | 12321k| 643.9 | 18M| 95 | 336 | 470 | 597 | 470 | 965 | 705 | 28 |2988 | 1.639244e+02 | 1.890000e+02 | 15.30%
1714.72/1715.05 c 1715s| 19200 | 19197 | 12381k| 643.7 | 18M| 95 | 349 | 470 | 597 | 470 | 965 | 705 | 28 |2997 | 1.639257e+02 | 1.890000e+02 | 15.30%
1723.62/1723.97 c 1724s| 19300 | 19297 | 12445k| 643.6 | 18M| 95 | 372 | 470 | 597 | 470 | 965 | 705 | 28 |3014 | 1.639289e+02 | 1.890000e+02 | 15.29%
1729.83/1730.13 c 1730s| 19400 | 19397 | 12486k| 642.4 | 18M| 95 | 360 | 470 | 597 | 470 | 965 | 705 | 28 |3029 | 1.639311e+02 | 1.890000e+02 | 15.29%
1737.22/1737.51 c 1738s| 19500 | 19497 | 12543k| 642.1 | 18M| 95 | 350 | 470 | 596 | 470 | 965 | 705 | 28 |3033 | 1.639322e+02 | 1.890000e+02 | 15.29%
1743.51/1743.82 c 1744s| 19600 | 19597 | 12592k| 641.3 | 18M| 95 | 372 | 470 | 596 | 470 | 965 | 705 | 28 |3033 | 1.639339e+02 | 1.890000e+02 | 15.29%
1750.62/1750.94 c 1751s| 19700 | 19697 | 12648k| 640.8 | 18M| 95 | 363 | 470 | 596 | 470 | 965 | 705 | 28 |3033 | 1.639351e+02 | 1.890000e+02 | 15.29%
1758.72/1759.08 c 1759s| 19800 | 19797 | 12712k| 640.9 | 18M| 95 | 360 | 470 | 596 | 470 | 965 | 705 | 28 |3033 | 1.639367e+02 | 1.890000e+02 | 15.29%
1765.32/1765.64 c 1766s| 19900 | 19897 | 12762k| 640.2 | 18M| 95 | 341 | 470 | 596 | 470 | 965 | 705 | 28 |3033 | 1.639389e+02 | 1.890000e+02 | 15.29%
1772.92/1773.25 c 1773s| 20000 | 19997 | 12822k| 640.0 | 18M| 95 | 373 | 470 | 596 | 470 | 965 | 705 | 28 |3033 | 1.639409e+02 | 1.890000e+02 | 15.29%
1779.12/1779.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1779.12/1779.49 c 1779s| 20100 | 20097 | 12869k| 639.1 | 19M| 95 | 358 | 470 | 596 | 470 | 965 | 705 | 28 |3033 | 1.639430e+02 | 1.890000e+02 | 15.28%
1787.51/1787.84 c 1788s| 20200 | 20197 | 12926k| 638.8 | 19M| 95 | 364 | 470 | 596 | 470 | 965 | 705 | 28 |3053 | 1.639452e+02 | 1.890000e+02 | 15.28%
1795.81/1796.16 c 1796s| 20300 | 20297 | 12977k| 638.1 | 19M| 95 | 370 | 470 | 596 | 470 | 965 | 705 | 28 |3089 | 1.639471e+02 | 1.890000e+02 | 15.28%
1796.71/1797.00 c
1796.71/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.00 c Solving Time (sec) : 1797.00
1796.71/1797.00 c Solving Nodes : 20310
1796.71/1797.00 c Primal Bound : +1.89000000000000e+02 (637 solutions)
1796.71/1797.00 c Dual Bound : +1.63947172075101e+02
1796.71/1797.00 c Gap : 15.28 %
1796.71/1797.00 s SATISFIABLE
1796.71/1797.00 v x470 -x469 x468 -x467 -x466 -x465 x464 -x463 x462 -x461 -x460 x459 x458 x457 x456 x455 x454 x453 x452 x451 -x450 -x449 x448 -x447
1796.71/1797.00 v x446 x445 x444 -x443 x442 x441 x440 -x439 -x438 x437 -x436 -x435 -x434 -x433 -x432 x431 -x430 -x429 x428 -x427 x426 x425 -x424
1796.71/1797.00 v x423 x422 -x421 x420 x419 x418 -x417 -x416 -x415 x414 -x413 -x412 x411 -x410 -x409 x408 x407 x406 x405 -x404 x403 -x402
1796.71/1797.00 v -x401 x400 -x399 x398 -x397 x396 -x395 x394 -x393 -x392 x391 x390 -x389 -x388 x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380
1796.71/1797.00 v x379 -x378 x377 -x376 x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 x366 x365 x364 -x363 -x362 -x361 -x360 -x359 -x358
1796.71/1797.00 v x357 x356 x355 x354 -x353 x352 -x351 x350 -x349 -x348 x347 x346 -x345 -x344 x343 -x342 -x341 x340 x339 x338 -x337 x336 -x335
1796.71/1797.00 v x334 -x333 -x332 -x331 -x330 x329 -x328 x327 x326 -x325 -x324 -x323 x322 -x321 -x320 -x319 -x318 x317 -x316 -x315 -x314 -x313
1796.71/1797.00 v -x312 -x311 -x310 x309 x308 -x307 -x306 -x305 -x304 -x303 -x302 x301 -x300 -x299 -x298 x297 x296 -x295 -x294 -x293 x292 x291
1796.71/1797.00 v -x290 x289 -x288 -x287 -x286 x285 -x284 -x283 -x282 -x281 -x280 x279 x278 x277 x276 x275 x274 x273 -x272 x271 x270 -x269 -x268
1796.71/1797.00 v x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 x258 -x257 -x256 x255 -x254 -x253 x252 x251 -x250 x249 x248 -x247 x246
1796.71/1797.00 v x245 x244 -x243 x242 x241 -x240 -x239 x238 -x237 -x236 x235 x234 x233 x232 -x231 x230 x229 x228 -x227 x226 -x225 -x224 x223
1796.71/1797.00 v -x222 x221 -x220 -x219 -x218 x217 -x216 x215 -x214 -x213 -x212 -x211 x210 -x209 -x208 x207 x206 x205 -x204 -x203 x202 x201
1796.71/1797.00 v -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 x184 -x183 -x182 -x181 -x180 -x179
1796.71/1797.00 v x178 -x177 -x176 x175 -x174 -x173 x172 -x171 -x170 -x169 x168 x167 x166 x165 -x164 x163 -x162 x161 -x160 -x159 -x158 -x157
1796.71/1797.00 v x156 x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 x147 -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 x138 x137 -x136 -x135
1796.71/1797.00 v -x134 -x133 x132 -x131 -x130 x129 -x128 -x127 x126 x125 -x124 x123 x122 x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 x113 x112
1796.71/1797.00 v x111 x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 x99 -x98 x97 x96 -x95 x94 x93 x92 -x91 -x90 x89 x88
1796.71/1797.00 v x87 x86 x85 -x84 -x83 -x82 x81 -x80 -x79 x78 -x77 -x76 -x75 x74 -x73 -x72 x71 x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61
1796.71/1797.00 v x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 x47 x46 -x45 -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35
1796.71/1797.00 v -x34 -x33 x32 x31 -x30 x29 -x28 x27 x26 -x25 -x24 -x23 x22 x21 -x20 x19 x18 -x17 -x16 -x15 x14 x13 -x12 -x11 -x10 x9 -x8 x7 -x6
1796.71/1797.00 v -x5 x4 -x3 -x2 x1
1796.71/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.00 c Total Time : 1797.00
1796.71/1797.00 c solving : 1797.00
1796.71/1797.00 c presolving : 0.03 (included in solving)
1796.71/1797.00 c reading : 0.00 (included in solving)
1796.71/1797.00 c copying : 0.01 (2 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.71/1797.00 c Original Problem :
1796.71/1797.00 c Problem name : HOME/instance-3693214-1338029634.opb
1796.71/1797.00 c Variables : 470 (470 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.00 c Constraints : 470 initial, 470 maximal
1796.71/1797.00 c Objective sense : minimize
1796.71/1797.00 c Presolved Problem :
1796.71/1797.00 c Problem name : t_HOME/instance-3693214-1338029634.opb
1796.71/1797.00 c Variables : 470 (470 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.00 c Constraints : 569 initial, 597 maximal
1796.71/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.71/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c knapsack : 0.01 0.00 0 0 0 0 0 26 199 326 733
1796.71/1797.00 c setppc : 0.00 0.00 0 0 0 0 0 74 0 0 0
1796.71/1797.00 c linear : 0.01 0.00 0 0 0 0 0 0 0 0 43
1796.71/1797.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c root node : - - 0 - - 0 - - - - -
1796.71/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.71/1797.00 c integral : 0 0 0 0 20308 0 642 0 0 0 0 0 40616
1796.71/1797.00 c knapsack : 440 440 12 190228 0 0 637 0 1 4520 758 0 0
1796.71/1797.00 c setppc : 126 126 12 190221 0 0 636 0 0 7484 0 0 0
1796.71/1797.00 c logicor : 3+ 31 12 6784 0 0 636 0 0 0 0 0 0
1796.71/1797.00 c countsols : 0 0 0 0 0 0 640 0 0 0 0 0 0
1796.71/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.71/1797.00 c integral : 135.00 0.00 0.00 0.00 135.00 0.00 0.00 0.00
1796.71/1797.00 c knapsack : 1.39 0.00 0.04 1.35 0.00 0.00 0.01 0.00
1796.71/1797.00 c setppc : 0.37 0.00 0.00 0.37 0.00 0.00 0.00 0.00
1796.71/1797.00 c logicor : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00
1796.71/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.71/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.71/1797.00 c rootredcost : 19 0 0 0
1796.71/1797.00 c pseudoobj : 210486 0 0 0
1796.71/1797.00 c vbounds : 0 0 0 0
1796.71/1797.00 c redcost : 20323 0 0 121
1796.71/1797.00 c probing : 0 0 0 0
1796.71/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.71/1797.00 c rootredcost : 0.17 0.00 0.00 0.17 0.00
1796.71/1797.00 c pseudoobj : 0.33 0.00 0.00 0.33 0.00
1796.71/1797.00 c vbounds : 0.17 0.00 0.00 0.17 0.00
1796.71/1797.00 c redcost : 0.29 0.00 0.00 0.29 0.00
1796.71/1797.00 c probing : 0.00 0.00 0.00 0.00 0.00
1796.71/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.71/1797.00 c propagation : 0.00 1 0 0 0.0 0 0.0 -
1796.71/1797.00 c infeasible LP : 0.00 28 28 28 4.2 0 0.0 0
1796.71/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.00 c applied globally : - - - 28 4.2 - - -
1796.71/1797.00 c applied locally : - - - 0 0.0 - - -
1796.71/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.71/1797.00 c cut pool : 0.00 11 - - 303 - (maximal pool size: 1226)
1796.71/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c impliedbounds : 0.00 0.00 12 0 0 0 0
1796.71/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c gomory : 1.63 0.00 10 0 0 0 0
1796.71/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c strongcg : 1.49 0.00 12 0 0 0 0
1796.71/1797.00 c cmir : 0.19 0.00 10 0 0 736 0
1796.71/1797.00 c flowcover : 0.24 0.00 10 0 0 903 0
1796.71/1797.00 c clique : 0.00 0.00 1 0 0 0 0
1796.71/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c mcf : 0.00 0.00 1 0 0 0 0
1796.71/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.71/1797.00 c problem variables: 0.00 - 0 0
1796.71/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.71/1797.00 c relpscost : 134.93 0.00 20308 0 0 0 0 40616
1796.71/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c inference : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.71/1797.00 c LP solutions : 0.00 - - 0
1796.71/1797.00 c pseudo solutions : 0.00 - - 0
1796.71/1797.00 c oneopt : 0.02 0.00 11 4
1796.71/1797.00 c smallcard : 0.00 0.00 0 0
1796.71/1797.00 c trivial : 0.00 0.00 2 1
1796.71/1797.00 c shiftandpropagate: 0.00 0.00 0 0
1796.71/1797.00 c simplerounding : 0.61 0.00 20319 27
1796.71/1797.00 c zirounding : 0.42 0.00 1301 26
1796.71/1797.00 c rounding : 14.65 0.00 6388 1
1796.71/1797.00 c shifting : 4.12 0.00 1630 1
1796.71/1797.00 c intshifting : 0.00 0.00 0 0
1796.71/1797.00 c twoopt : 0.00 0.00 0 0
1796.71/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.71/1797.00 c indoneopt : 0.05 0.00 0 0
1796.71/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.71/1797.00 c feaspump : 0.00 0.00 0 0
1796.71/1797.00 c clique : 0.00 0.00 0 0
1796.71/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.71/1797.00 c indrounding : 0.00 0.00 0 0
1796.71/1797.00 c coefdiving : 161.14 0.00 133 171
1796.71/1797.00 c pscostdiving : 274.63 0.00 325 239
1796.71/1797.00 c fracdiving : 50.14 0.00 44 0
1796.71/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.71/1797.00 c veclendiving : 56.80 0.00 64 33
1796.71/1797.00 c intdiving : 0.00 0.00 0 0
1796.71/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.71/1797.00 c objpscostdiving : 31.51 0.00 4 97
1796.71/1797.00 c rootsoldiving : 12.27 0.00 12 0
1796.71/1797.00 c linesearchdiving : 89.40 0.00 123 36
1796.71/1797.00 c guideddiving : 50.25 0.00 44 0
1796.71/1797.00 c octane : 0.00 0.00 0 0
1796.71/1797.00 c rens : 0.01 0.00 0 0
1796.71/1797.00 c rins : 0.00 0.00 0 0
1796.71/1797.00 c localbranching : 0.00 0.00 0 0
1796.71/1797.00 c mutation : 0.00 0.00 0 0
1796.71/1797.00 c crossover : 0.24 0.00 1 1
1796.71/1797.00 c dins : 0.00 0.00 0 0
1796.71/1797.00 c vbounds : 0.00 0.00 0 0
1796.71/1797.00 c undercover : 0.00 0.00 0 0
1796.71/1797.00 c subnlp : 0.02 0.00 0 0
1796.71/1797.00 c trysol : 0.04 0.00 0 0
1796.71/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.71/1797.00 c primal LP : 0.01 2 0 0.00 - 0.01 2
1796.71/1797.00 c dual LP : 907.23 20341 6815954 335.41 7512.92 0.05 20
1796.71/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.71/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.71/1797.00 c diving/probing LP: 703.40 113950 6167522 54.12 8768.12
1796.71/1797.00 c strong branching : 133.34 3089 893059 289.11 6697.50
1796.71/1797.00 c (at root node) : - 18 13758 764.33 -
1796.71/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.71/1797.00 c B&B Tree :
1796.71/1797.00 c number of runs : 1
1796.71/1797.00 c nodes : 20310
1796.71/1797.00 c nodes (total) : 20310
1796.71/1797.00 c nodes left : 20307
1796.71/1797.00 c max depth : 95
1796.71/1797.00 c max depth (total): 95
1796.71/1797.00 c backtracks : 2112 (10.4%)
1796.71/1797.00 c delayed cutoffs : 0
1796.71/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.71/1797.00 c avg switch length: 3.81
1796.71/1797.00 c switching time : 0.59
1796.71/1797.00 c Solution :
1796.71/1797.00 c Solutions found : 637 (28 improvements)
1796.71/1797.00 c First Solution : +4.70000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1796.71/1797.00 c Primal Bound : +1.89000000000000e+02 (in run 1, after 395 nodes, 118.74 seconds, depth 17, found by <crossover>)
1796.71/1797.00 c Dual Bound : +1.63947172075101e+02
1796.71/1797.00 c Gap : 15.28 %
1796.71/1797.00 c Root Dual Bound : +1.61777901315092e+02
1796.71/1797.00 c Root Iterations : 24098
1796.71/1797.02 c Time complete: 1796.74.
OK 189
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3693214-1338029634/watcher-3693214-1338029634 -o /tmp/evaluation-result-3693214-1338029634/solver-3693214-1338029634 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693214-1338029634.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.14 3/173 2351 /proc/meminfo: memFree=28452832/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=10404 CPUtime=0 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 1362 0 0 0 0 0 0 0 20 0 1 0 269091999 10653696 1316 33554432000 4194304 10169799 140735829089840 140735829088488 7543003 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 2601 1316 412 1459 0 1133 0 [startup+0.0636029 s] /proc/loadavg: 1.00 1.00 1.14 3/173 2351 /proc/meminfo: memFree=28452832/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=24116 CPUtime=0.05 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 5055 0 0 0 4 1 0 0 20 0 1 0 269091999 24694784 4752 33554432000 4194304 10169799 140735829089840 140735829088488 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 6029 4752 752 1459 0 4561 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 24116 [startup+0.100345 s] /proc/loadavg: 1.00 1.00 1.14 3/173 2351 /proc/meminfo: memFree=28452832/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=24328 CPUtime=0.09 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 5076 0 0 0 8 1 0 0 20 0 1 0 269091999 24911872 4773 33554432000 4194304 10169799 140735829089840 140735829088488 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 6082 4773 752 1459 0 4614 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 24328 [startup+0.300234 s] /proc/loadavg: 1.00 1.00 1.14 3/173 2351 /proc/meminfo: memFree=28452832/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=24328 CPUtime=0.29 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 5099 0 0 0 28 1 0 0 20 0 1 0 269091999 24911872 4796 33554432000 4194304 10169799 140735829089840 140735829088488 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 6082 4796 752 1459 0 4614 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24328 [startup+0.70024 s] /proc/loadavg: 1.00 1.00 1.14 3/173 2351 /proc/meminfo: memFree=28452832/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=24484 CPUtime=0.69 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 5145 0 0 0 67 2 0 0 20 0 1 0 269091999 25071616 4842 33554432000 4194304 10169799 140735829089840 140735829084632 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 6121 4842 753 1459 0 4653 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24484 [startup+1.50024 s] /proc/loadavg: 1.00 1.00 1.14 3/177 2355 /proc/meminfo: memFree=28417584/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=26068 CPUtime=1.49 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 5599 0 0 0 147 2 0 0 20 0 1 0 269091999 26693632 5295 33554432000 4194304 10169799 140735829089840 140735829084632 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 6517 5295 802 1459 0 5049 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 26068 [startup+3.10024 s] /proc/loadavg: 1.00 1.00 1.14 3/177 2355 /proc/meminfo: memFree=28410484/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=27716 CPUtime=3.08 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 5935 0 0 0 304 4 0 0 20 0 1 0 269091999 28381184 6005 33554432000 4194304 10169799 140735829089840 140735829084296 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 6929 6005 803 1459 0 5461 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 27716 [startup+6.30024 s] /proc/loadavg: 1.08 1.02 1.15 3/177 2355 /proc/meminfo: memFree=28408872/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=28112 CPUtime=6.29 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 6152 0 0 0 621 8 0 0 20 0 1 0 269091999 28786688 6216 33554432000 4194304 10169799 140735829089840 140735829085880 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 7028 6216 803 1459 0 5560 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28112 [startup+12.7002 s] /proc/loadavg: 1.15 1.03 1.15 3/177 2355 /proc/meminfo: memFree=28408180/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=28160 CPUtime=12.69 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 7006 0 0 0 1255 14 0 0 20 0 1 0 269091999 28835840 6226 33554432000 4194304 10169799 140735829089840 140735829084120 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 7040 6226 838 1459 0 5572 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28160 [startup+25.5002 s] /proc/loadavg: 1.34 1.08 1.16 3/177 2355 /proc/meminfo: memFree=28408248/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=28496 CPUtime=25.48 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 7083 0 0 0 2526 22 0 0 20 0 1 0 269091999 29179904 6302 33554432000 4194304 10169799 140735829089840 140735829084344 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 7124 6302 839 1459 0 5656 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28496 [startup+51.1002 s] /proc/loadavg: 1.56 1.15 1.19 3/177 2355 /proc/meminfo: memFree=28407256/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=29036 CPUtime=51.07 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 7252 0 0 0 5060 47 0 0 20 0 1 0 269091999 29732864 6471 33554432000 4194304 10169799 140735829089840 140735829084488 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 7259 6471 843 1459 0 5791 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 29036 [startup+102.307 s] /proc/loadavg: 1.86 1.30 1.23 3/177 2355 /proc/meminfo: memFree=28405828/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=29340 CPUtime=102.28 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 7306 0 0 0 10126 102 0 0 20 0 1 0 269091999 30044160 6543 33554432000 4194304 10169799 140735829089840 140735829084248 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 7335 6543 843 1459 0 5867 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 29340 [startup+162.3 s] /proc/loadavg: 1.95 1.42 1.28 3/177 2355 /proc/meminfo: memFree=28404524/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=29532 CPUtime=162.26 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 10600 0 0 0 16055 171 0 0 20 0 1 0 269091999 30240768 6586 33554432000 4194304 10169799 140735829089840 140735829083928 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 7383 6586 853 1459 0 5915 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 29532 [startup+222.3 s] /proc/loadavg: 1.98 1.52 1.32 3/177 2355 /proc/meminfo: memFree=28403468/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=30592 CPUtime=222.25 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 10885 0 0 0 21983 242 0 0 20 0 1 0 269091999 31326208 6867 33554432000 4194304 10169799 140735829089840 140735829084296 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 7648 6867 853 1459 0 6180 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 30592 [startup+282.3 s] /proc/loadavg: 1.99 1.61 1.36 3/177 2356 /proc/meminfo: memFree=28401360/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=31176 CPUtime=282.24 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 11017 0 0 0 27921 303 0 0 20 0 1 0 269091999 31924224 6999 33554432000 4194304 10169799 140735829089840 140735829084440 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 7794 6999 853 1459 0 6326 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 31176 [startup+342.3 s] /proc/loadavg: 1.99 1.68 1.39 3/177 2356 /proc/meminfo: memFree=28400364/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=31884 CPUtime=342.23 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 11201 0 0 0 33860 363 0 0 20 0 1 0 269091999 32649216 7182 33554432000 4194304 10169799 140735829089840 140735829083864 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 7971 7182 853 1459 0 6503 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 31884 [startup+402.3 s] /proc/loadavg: 1.99 1.73 1.43 3/178 2359 /proc/meminfo: memFree=28399860/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=32132 CPUtime=402.23 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 11286 0 0 0 39805 418 0 0 20 0 1 0 269091999 32903168 7267 33554432000 4194304 10169799 140735829089840 140735829084248 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 8033 7267 853 1459 0 6565 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 32132 [startup+462.3 s] /proc/loadavg: 1.99 1.78 1.46 3/178 2382 /proc/meminfo: memFree=28398124/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=32304 CPUtime=462.21 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 11300 0 0 0 45748 473 0 0 20 0 1 0 269091999 33079296 7281 33554432000 4194304 10169799 140735829089840 140735829084024 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 8076 7281 853 1459 0 6608 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 32304 [startup+522.3 s] /proc/loadavg: 1.99 1.82 1.49 3/177 2382 /proc/meminfo: memFree=28396952/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=33780 CPUtime=522.21 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 11674 0 0 0 51690 531 0 0 20 0 1 0 269091999 34590720 7655 33554432000 4194304 10169799 140735829089840 140735829083656 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 8445 7655 853 1459 0 6977 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 33780 [startup+582.3 s] /proc/loadavg: 1.99 1.85 1.52 3/176 2382 /proc/meminfo: memFree=28394788/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=34852 CPUtime=582.2 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 11939 0 0 0 57630 590 0 0 20 0 1 0 269091999 35688448 7919 33554432000 4194304 10169799 140735829089840 140735829083592 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 8713 7919 853 1459 0 7245 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 34852 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=28385968/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=39248 CPUtime=1122.12 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 13052 0 0 0 111092 1120 0 0 20 0 1 0 269091999 40189952 9031 33554432000 4194304 10169799 140735829089840 140735829084296 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 9812 9031 853 1459 0 8344 0 Current children cumulated CPU time (s) 1122.12 Current children cumulated vsize (KiB) 39248 [startup+1182.3 s] /proc/loadavg: 2.04 1.99 1.74 3/177 2387 /proc/meminfo: memFree=28384480/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=39532 CPUtime=1182.11 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 13117 0 0 0 117029 1182 0 0 20 0 1 0 269091999 40480768 9096 33554432000 4194304 10169799 140735829089840 140735829083944 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 9883 9096 853 1459 0 8415 0 Current children cumulated CPU time (s) 1182.11 Current children cumulated vsize (KiB) 39532 [startup+1242.3 s] /proc/loadavg: 2.01 1.99 1.75 3/177 2388 /proc/meminfo: memFree=28381560/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=40416 CPUtime=1242.1 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 13314 0 0 0 122964 1246 0 0 20 0 1 0 269091999 41385984 9322 33554432000 4194304 10169799 140735829089840 140735829084344 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 10104 9322 853 1459 0 8636 0 Current children cumulated CPU time (s) 1242.1 Current children cumulated vsize (KiB) 40416 [startup+1302.3 s] /proc/loadavg: 2.00 1.99 1.76 3/177 2388 /proc/meminfo: memFree=28379576/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=41984 CPUtime=1302.1 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 13707 0 0 0 128907 1303 0 0 20 0 1 0 269091999 42991616 9715 33554432000 4194304 10169799 140735829089840 140735829084248 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 10496 9715 853 1459 0 9028 0 Current children cumulated CPU time (s) 1302.1 Current children cumulated vsize (KiB) 41984 [startup+1362.3 s] /proc/loadavg: 2.00 1.99 1.77 3/177 2388 /proc/meminfo: memFree=28380256/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=42256 CPUtime=1362.08 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 13800 0 0 0 134846 1362 0 0 20 0 1 0 269091999 43270144 9807 33554432000 4194304 10169799 140735829089840 140735829084248 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 10564 9807 853 1459 0 9096 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 42256 [startup+1422.31 s] /proc/loadavg: 2.00 1.99 1.78 3/177 2388 /proc/meminfo: memFree=28379760/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=42256 CPUtime=1422.07 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 13800 0 0 0 140790 1417 0 0 20 0 1 0 269091999 43270144 9807 33554432000 4194304 10169799 140735829089840 140735829084344 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 10564 9807 853 1459 0 9096 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 42256 [startup+1482.3 s] /proc/loadavg: 2.00 1.99 1.80 3/177 2388 /proc/meminfo: memFree=28378644/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=42388 CPUtime=1482.06 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 13803 0 0 0 146726 1480 0 0 20 0 1 0 269091999 43405312 9810 33554432000 4194304 10169799 140735829089840 140735829084296 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 10597 9810 853 1459 0 9129 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 42388 [startup+1542.3 s] /proc/loadavg: 2.00 1.99 1.81 3/177 2389 /proc/meminfo: memFree=28377404/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=43184 CPUtime=1542.05 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 13922 0 0 0 152665 1540 0 0 20 0 1 0 269091999 44220416 9929 33554432000 4194304 10169799 140735829089840 140735829084248 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 10796 9929 853 1459 0 9328 0 Current children cumulated CPU time (s) 1542.05 Current children cumulated vsize (KiB) 43184 [startup+1602.3 s] /proc/loadavg: 2.11 2.02 1.83 3/178 2392 /proc/meminfo: memFree=28375844/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=43360 CPUtime=1602.04 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 14057 0 0 0 158604 1600 0 0 20 0 1 0 269091999 44400640 10064 33554432000 4194304 10169799 140735829089840 140735829084824 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 10840 10064 853 1459 0 9372 0 Current children cumulated CPU time (s) 1602.04 Current children cumulated vsize (KiB) 43360 [startup+1662.3 s] /proc/loadavg: 2.09 2.03 1.84 3/177 2392 /proc/meminfo: memFree=28373060/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=45228 CPUtime=1662.04 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 14524 0 0 0 164548 1656 0 0 20 0 1 0 269091999 46313472 10530 33554432000 4194304 10169799 140735829089840 140735829084088 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 11307 10530 853 1459 0 9839 0 Current children cumulated CPU time (s) 1662.04 Current children cumulated vsize (KiB) 45228 [startup+1722.3 s] /proc/loadavg: 2.03 2.02 1.84 3/177 2392 /proc/meminfo: memFree=28372812/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=45620 CPUtime=1722.02 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 14612 0 0 0 170488 1714 0 0 20 0 1 0 269091999 46714880 10618 33554432000 4194304 10169799 140735829089840 140735829084248 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 11405 10618 853 1459 0 9937 0 Current children cumulated CPU time (s) 1722.02 Current children cumulated vsize (KiB) 45620 [startup+1782.3 s] /proc/loadavg: 2.01 2.02 1.85 3/177 2392 /proc/meminfo: memFree=28371012/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=45620 CPUtime=1782.01 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 14618 0 0 0 176429 1772 0 0 20 0 1 0 269091999 46714880 10624 33554432000 4194304 10169799 140735829089840 140735829084248 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 11405 10624 853 1459 0 9937 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 45620 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.01 2.02 1.85 3/177 2392 /proc/meminfo: memFree=28371136/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=45620 CPUtime=1785.21 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 14619 0 0 0 176746 1775 0 0 20 0 1 0 269091999 46714880 10625 33554432000 4194304 10169799 140735829089840 140735829083896 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 11405 10625 853 1459 0 9937 0 Current children cumulated CPU time (s) 1785.21 Current children cumulated vsize (KiB) 45620 [startup+1791.91 s] /proc/loadavg: 2.01 2.02 1.85 3/177 2392 /proc/meminfo: memFree=28371072/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=45760 CPUtime=1791.62 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 14659 0 0 0 177380 1782 0 0 20 0 1 0 269091999 46858240 10668 33554432000 4194304 10169799 140735829089840 140735829084248 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 11440 10668 853 1459 0 9972 0 Current children cumulated CPU time (s) 1791.62 Current children cumulated vsize (KiB) 45760 [startup+1795.1 s] /proc/loadavg: 2.01 2.02 1.85 3/177 2392 /proc/meminfo: memFree=28371072/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=45760 CPUtime=1794.82 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 14659 0 0 0 177698 1784 0 0 20 0 1 0 269091999 46858240 10668 33554432000 4194304 10169799 140735829089840 140735829084440 8035669 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 11440 10668 853 1459 0 9972 0 Current children cumulated CPU time (s) 1794.82 Current children cumulated vsize (KiB) 45760 [startup+1795.9 s] /proc/loadavg: 2.01 2.02 1.85 3/177 2392 /proc/meminfo: memFree=28371072/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=45760 CPUtime=1795.61 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 14659 0 0 0 177776 1785 0 0 20 0 1 0 269091999 46858240 10668 33554432000 4194304 10169799 140735829089840 140735829084248 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 11440 10668 853 1459 0 9972 0 Current children cumulated CPU time (s) 1795.61 Current children cumulated vsize (KiB) 45760 [startup+1796.7 s] /proc/loadavg: 2.01 2.02 1.85 3/177 2392 /proc/meminfo: memFree=28370948/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=45760 CPUtime=1796.41 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 14659 0 0 0 177856 1785 0 0 20 0 1 0 269091999 46858240 10668 33554432000 4194304 10169799 140735829089840 140735829083960 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 11440 10668 853 1459 0 9972 0 Current children cumulated CPU time (s) 1796.41 Current children cumulated vsize (KiB) 45760 [startup+1796.9 s] /proc/loadavg: 2.01 2.02 1.85 3/177 2392 /proc/meminfo: memFree=28370948/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=45760 CPUtime=1796.61 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 14659 0 0 0 177876 1785 0 0 20 0 1 0 269091999 46858240 10668 33554432000 4194304 10169799 140735829089840 140735829083960 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 11440 10668 853 1459 0 9972 0 Current children cumulated CPU time (s) 1796.61 Current children cumulated vsize (KiB) 45760 [startup+1797 s] /proc/loadavg: 2.01 2.02 1.85 3/177 2392 /proc/meminfo: memFree=28370948/32873844 swapFree=7356/7356 [pid=2351] ppid=2348 vsize=45760 CPUtime=1796.71 cores=0,2,4,6 /proc/2351/stat : 2351 (scip-2.1.1.4sfi) R 2348 2351 1047 0 -1 4202496 14659 0 0 0 177885 1786 0 0 20 0 1 0 269091999 46858240 10668 33554432000 4194304 10169799 140735829089840 140735829083960 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2351/statm: 11440 10668 853 1459 0 9972 0 Current children cumulated CPU time (s) 1796.71 Current children cumulated vsize (KiB) 45760 Child status: 0 Real time (s): 1797.03 CPU time (s): 1796.75 CPU user time (s): 1778.89 CPU system time (s): 17.8623 CPU usage (%): 99.9845 Max. virtual memory (cumulated for all children) (KiB): 45760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1778.89 system time used= 17.8623 maximum resident set size= 42680 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14663 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= 16 involuntary context switches= 2190 runsolver used 2.6116 second user time and 9.16261 second system time The end
Begin job on node109 at 2012-05-26 12:53:54 IDJOB=3693214 IDBENCH=1961 IDSOLVER=2272 FILE ID=node109/3693214-1338029634 RUNJOBID= node109-1338029634-2326 PBS_JOBID= 14624362 Free space on /tmp= 71396 MiB SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb COMMAND LINE= HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3693214-1338029634/watcher-3693214-1338029634 -o /tmp/evaluation-result-3693214-1338029634/solver-3693214-1338029634 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693214-1338029634.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6549a0bbc5c463b1b909374436b51d65 RANDOM SEED=1651800852 node109.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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 : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28453748 kB Buffers: 239012 kB Cached: 3393984 kB SwapCached: 0 kB Active: 701984 kB Inactive: 2941748 kB Active(anon): 13216 kB Inactive(anon): 0 kB Active(file): 688768 kB Inactive(file): 2941748 kB Unevictable: 7356 kB Mlocked: 7356 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 27148 kB Writeback: 0 kB AnonPages: 17908 kB Mapped: 13556 kB Shmem: 200 kB Slab: 638352 kB SReclaimable: 81068 kB SUnreclaim: 557284 kB KernelStack: 1384 kB PageTables: 4472 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 102976 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71368 MiB End job on node109 at 2012-05-26 13:23:51