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 | 11 | 1796.78 | 1797.1 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_1.opb |
| MD5SUM | 88e7a647c6e46a38e952354158b1fb76 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 11 |
| Best CPU time to get the best result obtained on this benchmark | 1789.78 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 12 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 200 |
| 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 | 200 |
| Minimum length of a constraint | 26 |
| Maximum length of a constraint | 44 |
| Number of terms in the objective function | 200 |
| 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 | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 6204 |
| Sum of products size (including duplicates) | 12408 |
| Number of different products | 6204 |
| Sum of products size | 12408 |
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-3693780-1338035367.opb>
0.00/0.00 c original problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.00/0.00 c problem read in 0.01
0.00/0.04 o 200
0.00/0.04 c feasible solution found by trivial heuristic, objective value 2.000000e+02
0.00/0.04 c presolving:
0.19/0.21 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 411740 impls, 0 clqs
0.19/0.29 c (0.3s) probing: 51/6404 (0.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.29 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.28/0.30 c presolving (2 rounds):
0.28/0.30 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.28/0.30 c 411740 implications, 0 cliques
0.28/0.30 c presolved problem has 6404 variables (6404 bin, 0 int, 0 impl, 0 cont) and 6404 constraints
0.28/0.30 c 6204 constraints of type <and>
0.28/0.30 c 200 constraints of type <logicor>
0.28/0.30 c transformed objective value is always integral (scale: 1)
0.28/0.30 c Presolving Time: 0.29
0.28/0.30 c - non default parameters ----------------------------------------------------------------------
0.28/0.30 c # SCIP version 2.1.1.4
0.28/0.30 c
0.28/0.30 c # maximal time in seconds to run
0.28/0.30 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.28/0.30 c limits/time = 1797
0.28/0.30 c
0.28/0.30 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.28/0.30 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.28/0.30 c limits/memory = 13950
0.28/0.30 c
0.28/0.30 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.28/0.30 c # [type: int, range: [1,2], default: 1]
0.28/0.30 c timing/clocktype = 2
0.28/0.30 c
0.28/0.30 c # belongs reading time to solving time?
0.28/0.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.28/0.30 c timing/reading = TRUE
0.28/0.30 c
0.28/0.30 c -----------------------------------------------------------------------------------------------
0.28/0.30 c start solving
0.28/0.31 c
0.28/0.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.28/0.40 c t 0.4s| 1 | 0 | 400 | - | 36M| 0 | 400 |6404 |6404 |6404 | 12k| 0 | 0 | 0 | 0.000000e+00 | 2.000000e+02 | Inf
1.00/1.10 c 1.1s| 1 | 0 | 1000 | - | 37M| 0 | 400 |6404 |6404 |6404 | 13k| 403 | 0 | 0 | 0.000000e+00 | 2.000000e+02 | Inf
1.09/1.11 o 34
1.09/1.11 c s 1.1s| 1 | 0 | 1000 | - | 37M| 0 | 400 |6404 |6404 |6404 | 13k| 403 | 0 | 0 | 0.000000e+00 | 3.400000e+01 | Inf
1.48/1.55 c 1.6s| 1 | 0 | 1600 | - | 37M| 0 | 400 |6404 |6404 |6404 | 13k| 803 | 0 | 0 | 0.000000e+00 | 3.400000e+01 | Inf
1.48/1.57 o 25
1.48/1.57 c s 1.6s| 1 | 0 | 1600 | - | 37M| 0 | 400 |6404 |6404 |6404 | 13k| 803 | 0 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
1.99/2.03 c 2.0s| 1 | 0 | 2201 | - | 37M| 0 | 400 |6404 |6404 |6404 | 13k|1205 | 0 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
1.99/2.04 o 23
1.99/2.04 c s 2.0s| 1 | 0 | 2201 | - | 37M| 0 | 400 |6404 |6404 |6404 | 13k|1205 | 0 | 0 | 0.000000e+00 | 2.300000e+01 | Inf
2.49/2.53 c 2.5s| 1 | 0 | 2801 | - | 37M| 0 | 400 |6404 |6404 |6404 | 14k|1610 | 0 | 0 | 0.000000e+00 | 2.300000e+01 | Inf
2.49/2.54 o 22
2.49/2.54 c s 2.5s| 1 | 0 | 2801 | - | 38M| 0 | 400 |6404 |6404 |6404 | 14k|1610 | 0 | 0 | 0.000000e+00 | 2.200000e+01 | Inf
2.99/3.05 c 3.1s| 1 | 0 | 3401 | - | 38M| 0 | 400 |6404 |6404 |6404 | 14k|2013 | 0 | 0 | 0.000000e+00 | 2.200000e+01 | Inf
3.09/3.24 o 20
3.09/3.24 c s 3.1s| 1 | 0 | 3401 | - | 38M| 0 | 400 |6404 |6404 |6404 | 14k|2013 | 0 | 0 | 0.000000e+00 | 2.000000e+01 | Inf
3.59/3.60 c 3.6s| 1 | 0 | 4002 | - | 38M| 0 | 400 |6404 |6404 |6404 | 15k|2417 | 0 | 0 | 0.000000e+00 | 2.000000e+01 | Inf
3.59/3.69 c 3.7s| 1 | 2 | 4002 | - | 38M| 0 | 400 |6404 |6404 |6404 | 15k|2417 | 0 | 0 | 0.000000e+00 | 2.000000e+01 | Inf
18.90/18.98 o 12
18.90/18.98 c *19.0s| 18 | 13 | 15703 | 688.3 | 36M| 15 | - |6404 |6404 |6404 |6009 |6870 | 0 | 180 | 1.000000e+00 | 1.200000e+01 |1100.00%
52.18/52.21 c 52.2s| 100 | 55 | 63896 | 605.0 | 38M| 15 |1222 |6404 |6404 |6404 |5236 | 22k| 0 | 532 | 2.000000e+00 | 1.200000e+01 | 500.00%
150.56/150.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.56/150.62 c 151s| 200 | 129 |367371 |1826.0 | 39M| 20 | - |6404 |6412 |6404 |6123 | 52k| 8 | 662 | 5.150082e+00 | 1.200000e+01 | 133.01%
150.56/150.64 o 11
150.56/150.64 c * 151s| 201 | 110 |367395 |1817.0 | 38M| 20 | - |6404 |6412 |6404 |6124 | 52k| 8 | 662 | 5.150082e+00 | 1.100000e+01 | 113.59%
177.27/177.34 c 177s| 300 | 143 |423655 |1403.5 | 39M| 27 | - |6404 |6415 |6404 |6388 | 60k| 11 | 738 | 5.502309e+00 | 1.100000e+01 | 99.92%
194.36/194.49 c 194s| 400 | 165 |459783 |1142.3 | 40M| 27 | - |6404 |6415 |6404 |6276 | 65k| 11 | 759 | 6.153868e+00 | 1.100000e+01 | 78.75%
211.55/211.61 c 212s| 500 | 187 |495219 | 984.4 | 40M| 27 | - |6404 |6416 |6404 |6180 | 68k| 12 | 788 | 6.260148e+00 | 1.100000e+01 | 75.71%
224.95/225.08 c 225s| 600 | 199 |518444 | 858.8 | 41M| 27 | - |6404 |6416 |6404 |6530 | 71k| 12 | 843 | 6.398452e+00 | 1.100000e+01 | 71.92%
233.46/233.56 c 234s| 700 | 207 |529441 | 751.7 | 41M| 27 | - |6404 |6416 |6404 |6537 | 71k| 12 | 862 | 6.460687e+00 | 1.100000e+01 | 70.26%
246.65/246.71 c 247s| 800 | 215 |551787 | 685.6 | 41M| 29 | - |6404 |6416 |6404 |6537 | 72k| 12 | 899 | 6.488438e+00 | 1.100000e+01 | 69.53%
256.65/256.76 c 257s| 900 | 221 |567040 | 626.3 | 42M| 29 | - |6404 |6416 |6404 |6177 | 73k| 12 | 935 | 6.607004e+00 | 1.100000e+01 | 66.49%
264.94/265.00 c 265s| 1000 | 229 |581578 | 578.2 | 42M| 30 |2050 |6404 |6416 |6404 |6426 | 74k| 12 | 955 | 6.607004e+00 | 1.100000e+01 | 66.49%
272.35/272.43 c 272s| 1100 | 235 |597388 | 539.9 | 42M| 33 |1437 |6404 |6416 |6404 |6442 | 74k| 12 | 967 | 6.607004e+00 | 1.100000e+01 | 66.49%
277.75/277.82 c 278s| 1200 | 235 |609000 | 504.6 | 42M| 42 |1281 |6404 |6416 |6404 |6354 | 75k| 12 | 969 | 6.607004e+00 | 1.100000e+01 | 66.49%
284.14/284.23 c 284s| 1300 | 243 |621756 | 475.6 | 43M| 42 | - |6404 |6416 |6404 |6244 | 76k| 12 | 973 | 6.629628e+00 | 1.100000e+01 | 65.92%
290.45/290.54 c 291s| 1400 | 249 |634298 | 450.5 | 43M| 42 | - |6404 |6416 |6404 |6189 | 77k| 12 | 973 | 6.640226e+00 | 1.100000e+01 | 65.66%
299.04/299.17 c 299s| 1500 | 251 |649101 | 430.4 | 43M| 42 | - |6404 |6416 |6404 |6272 | 78k| 12 |1010 | 6.640226e+00 | 1.100000e+01 | 65.66%
306.04/306.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
306.04/306.15 c 306s| 1600 | 251 |660362 | 410.5 | 43M| 42 |1498 |6404 |6416 |6404 |6236 | 79k| 12 |1052 | 6.640226e+00 | 1.100000e+01 | 65.66%
315.24/315.31 c 315s| 1700 | 259 |677136 | 396.2 | 43M| 46 |1469 |6404 |6416 |6404 |6298 | 80k| 12 |1088 | 6.648551e+00 | 1.100000e+01 | 65.45%
326.34/326.45 c 326s| 1800 | 273 |697565 | 385.5 | 44M| 46 |1412 |6404 |6416 |6404 |6516 | 82k| 12 |1127 | 6.727315e+00 | 1.100000e+01 | 63.51%
333.83/333.91 c 334s| 1900 | 277 |707684 | 370.6 | 44M| 46 |1925 |6404 |6416 |6404 |6468 | 82k| 12 |1162 | 6.744288e+00 | 1.100000e+01 | 63.10%
341.92/342.02 c 342s| 2000 | 283 |722735 | 359.5 | 44M| 46 | - |6404 |6416 |6404 |6350 | 83k| 12 |1178 | 6.759016e+00 | 1.100000e+01 | 62.75%
349.83/349.97 c 350s| 2100 | 291 |741165 | 351.2 | 44M| 46 |1660 |6404 |6416 |6404 |6384 | 85k| 12 |1182 | 6.797223e+00 | 1.100000e+01 | 61.83%
355.83/355.92 c 356s| 2200 | 293 |755018 | 341.5 | 44M| 46 | - |6404 |6416 |6404 |6539 | 86k| 12 |1183 | 6.797223e+00 | 1.100000e+01 | 61.83%
365.22/365.38 c 365s| 2300 | 305 |775774 | 335.7 | 45M| 46 | - |6404 |6416 |6404 |6524 | 87k| 12 |1183 | 6.838964e+00 | 1.100000e+01 | 60.84%
372.51/372.65 c 373s| 2400 | 309 |789000 | 327.2 | 45M| 46 | - |6404 |6416 |6404 |6500 | 89k| 12 |1204 | 6.838964e+00 | 1.100000e+01 | 60.84%
379.42/379.50 c 379s| 2500 | 315 |800067 | 318.6 | 45M| 46 |1443 |6404 |6416 |6404 |6526 | 90k| 12 |1224 | 6.838964e+00 | 1.100000e+01 | 60.84%
385.61/385.78 c 386s| 2600 | 319 |811456 | 310.7 | 45M| 46 |1543 |6404 |6416 |6404 |6235 | 91k| 12 |1242 | 6.864497e+00 | 1.100000e+01 | 60.24%
398.01/398.15 c 398s| 2700 | 329 |834388 | 307.7 | 45M| 46 |1935 |6404 |6416 |6404 |6238 | 94k| 12 |1288 | 6.873699e+00 | 1.100000e+01 | 60.03%
406.22/406.33 c 406s| 2800 | 331 |848149 | 301.6 | 45M| 46 |1452 |6404 |6416 |6404 |6286 | 95k| 12 |1337 | 6.873699e+00 | 1.100000e+01 | 60.03%
417.71/417.87 c 418s| 2900 | 341 |871600 | 299.3 | 46M| 46 |1375 |6404 |6416 |6404 |6112 | 98k| 12 |1368 | 6.892994e+00 | 1.100000e+01 | 59.58%
424.91/425.03 c 425s| 3000 | 347 |888872 | 295.1 | 46M| 46 | - |6404 |6416 |6404 |6249 | 101k| 12 |1377 | 6.925030e+00 | 1.100000e+01 | 58.84%
432.32/432.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
432.32/432.45 c 432s| 3100 | 353 |904373 | 290.5 | 46M| 46 | - |6404 |6416 |6404 |6166 | 102k| 12 |1378 | 6.944418e+00 | 1.100000e+01 | 58.40%
436.51/436.61 c 437s| 3200 | 353 |913536 | 284.3 | 46M| 46 | - |6404 |6416 |6404 |6014 | 103k| 12 |1378 | 6.944418e+00 | 1.100000e+01 | 58.40%
441.51/441.67 c 442s| 3300 | 357 |925623 | 279.4 | 47M| 46 | - |6404 |6416 |6404 |6079 | 104k| 12 |1378 | 6.944418e+00 | 1.100000e+01 | 58.40%
446.01/446.18 c 446s| 3400 | 359 |934547 | 273.8 | 47M| 46 |1412 |6404 |6416 |6404 |6171 | 104k| 12 |1380 | 6.944418e+00 | 1.100000e+01 | 58.40%
453.31/453.42 c 453s| 3500 | 361 |948339 | 269.9 | 47M| 46 |1351 |6404 |6416 |6404 |6177 | 106k| 12 |1405 | 6.944418e+00 | 1.100000e+01 | 58.40%
462.60/462.77 c 463s| 3600 | 371 |963377 | 266.6 | 47M| 46 | - |6404 |6416 |6404 |6550 | 107k| 12 |1432 | 6.964866e+00 | 1.100000e+01 | 57.94%
472.40/472.54 c 473s| 3700 | 381 |982874 | 264.6 | 47M| 46 |1435 |6404 |6421 |6404 |6256 | 108k| 17 |1452 | 6.973974e+00 | 1.100000e+01 | 57.73%
480.21/480.31 c 480s| 3800 | 383 |996945 | 261.4 | 47M| 46 | - |6404 |6421 |6404 |6587 | 109k| 17 |1495 | 6.973974e+00 | 1.100000e+01 | 57.73%
487.80/487.92 c 488s| 3900 | 389 | 1011k| 258.4 | 48M| 46 |1569 |6404 |6421 |6404 |6644 | 110k| 17 |1522 | 6.976166e+00 | 1.100000e+01 | 57.68%
499.59/499.70 c 500s| 4000 | 405 | 1031k| 257.0 | 48M| 46 | - |6404 |6419 |6404 |5944 | 113k| 17 |1560 | 6.994774e+00 | 1.100000e+01 | 57.26%
506.30/506.47 c 506s| 4100 | 409 | 1044k| 254.0 | 48M| 46 |1316 |6404 |6419 |6404 |6061 | 114k| 17 |1595 | 6.994774e+00 | 1.100000e+01 | 57.26%
514.20/514.36 c 514s| 4200 | 415 | 1061k| 251.8 | 49M| 46 |1421 |6404 |6418 |6404 |6382 | 116k| 17 |1621 | 7.006978e+00 | 1.100000e+01 | 56.99%
519.90/520.08 c 520s| 4300 | 413 | 1073k| 248.8 | 49M| 46 | - |6404 |6418 |6404 |6250 | 116k| 17 |1631 | 7.006978e+00 | 1.100000e+01 | 56.99%
528.30/528.43 c 528s| 4400 | 427 | 1092k| 247.4 | 49M| 46 |1382 |6404 |6418 |6404 |6050 | 119k| 17 |1642 | 7.015545e+00 | 1.100000e+01 | 56.79%
536.80/536.95 c 537s| 4500 | 437 | 1111k| 246.2 | 50M| 46 | - |6404 |6418 |6404 |6085 | 121k| 17 |1642 | 7.025972e+00 | 1.100000e+01 | 56.56%
543.99/544.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
543.99/544.19 c 544s| 4600 | 445 | 1126k| 244.0 | 50M| 46 |1320 |6404 |6418 |6404 |6079 | 122k| 17 |1647 | 7.026922e+00 | 1.100000e+01 | 56.54%
550.90/551.01 c 551s| 4700 | 453 | 1141k| 242.2 | 50M| 46 | - |6404 |6418 |6404 |6309 | 123k| 17 |1649 | 7.052089e+00 | 1.100000e+01 | 55.98%
559.39/559.59 c 560s| 4800 | 457 | 1157k| 240.4 | 50M| 46 | - |6404 |6417 |6404 |6456 | 124k| 17 |1685 | 7.052089e+00 | 1.100000e+01 | 55.98%
566.79/566.98 c 567s| 4900 | 461 | 1171k| 238.2 | 50M| 46 | - |6404 |6417 |6404 |6246 | 125k| 17 |1702 | 7.054374e+00 | 1.100000e+01 | 55.93%
578.79/578.94 c 579s| 5000 | 477 | 1192k| 237.7 | 50M| 46 |1399 |6404 |6417 |6404 |6594 | 126k| 17 |1734 | 7.082410e+00 | 1.100000e+01 | 55.31%
584.39/584.56 c 585s| 5100 | 479 | 1200k| 234.7 | 51M| 46 | - |6404 |6417 |6404 |6555 | 127k| 17 |1750 | 7.087588e+00 | 1.100000e+01 | 55.20%
591.18/591.35 c 591s| 5200 | 487 | 1212k| 232.4 | 51M| 46 |1256 |6404 |6417 |6404 |6381 | 128k| 17 |1769 | 7.094914e+00 | 1.100000e+01 | 55.04%
597.08/597.29 c 597s| 5300 | 489 | 1221k| 229.8 | 51M| 46 | - |6404 |6417 |6404 |6098 | 129k| 17 |1791 | 7.094914e+00 | 1.100000e+01 | 55.04%
604.58/604.72 c 605s| 5400 | 495 | 1233k| 227.8 | 52M| 46 |1360 |6404 |6417 |6404 |6261 | 130k| 17 |1822 | 7.095201e+00 | 1.100000e+01 | 55.03%
611.59/611.76 c 612s| 5500 | 501 | 1245k| 225.8 | 52M| 46 |1224 |6404 |6417 |6404 |6688 | 131k| 17 |1847 | 7.102044e+00 | 1.100000e+01 | 54.88%
619.49/619.69 c 620s| 5600 | 507 | 1259k| 224.2 | 52M| 46 | - |6404 |6417 |6404 |6567 | 132k| 17 |1864 | 7.116671e+00 | 1.100000e+01 | 54.57%
628.88/629.06 c 629s| 5700 | 517 | 1278k| 223.6 | 51M| 46 |1533 |6404 |6417 |6404 |6366 | 133k| 17 |1873 | 7.136250e+00 | 1.100000e+01 | 54.14%
635.17/635.32 c 635s| 5800 | 519 | 1292k| 222.1 | 52M| 46 |1364 |6404 |6417 |6404 |6275 | 135k| 17 |1873 | 7.136250e+00 | 1.100000e+01 | 54.14%
641.18/641.30 c 641s| 5900 | 523 | 1303k| 220.3 | 52M| 46 |1451 |6404 |6417 |6404 |6355 | 136k| 17 |1874 | 7.137280e+00 | 1.100000e+01 | 54.12%
648.38/648.51 c 649s| 6000 | 533 | 1317k| 219.0 | 52M| 46 |1384 |6404 |6417 |6404 |6534 | 137k| 17 |1874 | 7.147164e+00 | 1.100000e+01 | 53.91%
655.37/655.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
655.37/655.56 c 656s| 6100 | 539 | 1331k| 217.6 | 52M| 46 | - |6404 |6417 |6404 |6348 | 138k| 17 |1874 | 7.155898e+00 | 1.100000e+01 | 53.72%
662.07/662.24 c 662s| 6200 | 551 | 1344k| 216.2 | 52M| 46 |1536 |6404 |6417 |6404 |6747 | 139k| 17 |1874 | 7.160702e+00 | 1.100000e+01 | 53.62%
669.28/669.42 c 669s| 6300 | 555 | 1358k| 215.0 | 53M| 46 |2068 |6404 |6417 |6404 |6407 | 140k| 17 |1874 | 7.160933e+00 | 1.100000e+01 | 53.61%
677.47/677.70 c 678s| 6400 | 565 | 1375k| 214.3 | 53M| 46 | - |6404 |6417 |6404 |6111 | 141k| 17 |1874 | 7.162898e+00 | 1.100000e+01 | 53.57%
681.87/682.07 c 682s| 6500 | 571 | 1383k| 212.3 | 54M| 46 | - |6404 |6417 |6404 |6573 | 142k| 17 |1874 | 7.162898e+00 | 1.100000e+01 | 53.57%
688.58/688.79 c 689s| 6600 | 575 | 1398k| 211.3 | 54M| 46 |1579 |6404 |6417 |6404 |6262 | 143k| 17 |1874 | 7.162898e+00 | 1.100000e+01 | 53.57%
695.37/695.58 c 696s| 6700 | 577 | 1412k| 210.3 | 54M| 46 | - |6404 |6417 |6404 |6262 | 144k| 17 |1874 | 7.162944e+00 | 1.100000e+01 | 53.57%
701.97/702.11 c 702s| 6800 | 585 | 1427k| 209.3 | 54M| 46 | - |6404 |6417 |6404 |6441 | 145k| 17 |1874 | 7.167689e+00 | 1.100000e+01 | 53.47%
707.38/707.55 c 708s| 6900 | 585 | 1439k| 208.0 | 54M| 46 |1349 |6404 |6417 |6404 |6223 | 147k| 17 |1874 | 7.179360e+00 | 1.100000e+01 | 53.22%
713.27/713.47 c 713s| 7000 | 587 | 1451k| 206.8 | 54M| 46 |1491 |6404 |6417 |6404 |6365 | 148k| 17 |1874 | 7.179360e+00 | 1.100000e+01 | 53.22%
724.07/724.29 c 724s| 7100 | 613 | 1473k| 207.0 | 54M| 46 |1342 |6404 |6417 |6404 |6429 | 150k| 17 |1874 | 7.190992e+00 | 1.100000e+01 | 52.97%
731.17/731.37 c 731s| 7200 | 625 | 1486k| 206.0 | 55M| 46 | - |6404 |6417 |6404 |6469 | 150k| 17 |1874 | 7.200363e+00 | 1.100000e+01 | 52.77%
736.66/736.89 c 737s| 7300 | 631 | 1499k| 204.9 | 55M| 46 | - |6404 |6417 |6404 |6409 | 152k| 17 |1878 | 7.200501e+00 | 1.100000e+01 | 52.77%
745.67/745.89 c 746s| 7400 | 643 | 1520k| 205.0 | 55M| 46 |1433 |6404 |6419 |6404 |6694 | 153k| 19 |1878 | 7.206284e+00 | 1.100000e+01 | 52.64%
753.96/754.13 c 754s| 7500 | 651 | 1537k| 204.5 | 56M| 46 | - |6404 |6419 |6404 |6377 | 155k| 19 |1878 | 7.211894e+00 | 1.100000e+01 | 52.53%
760.56/760.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
760.56/760.75 c 761s| 7600 | 665 | 1550k| 203.5 | 56M| 46 |1430 |6404 |6419 |6404 |6746 | 156k| 19 |1878 | 7.215137e+00 | 1.100000e+01 | 52.46%
769.06/769.25 c 769s| 7700 | 667 | 1562k| 202.5 | 56M| 46 | - |6404 |6419 |6404 |6558 | 157k| 19 |1911 | 7.217044e+00 | 1.100000e+01 | 52.42%
775.56/775.74 c 776s| 7800 | 677 | 1574k| 201.4 | 56M| 46 | - |6404 |6419 |6404 |6685 | 158k| 19 |1911 | 7.228084e+00 | 1.100000e+01 | 52.18%
782.95/783.18 c 783s| 7900 | 687 | 1586k| 200.4 | 56M| 46 |1989 |6404 |6418 |6404 |6286 | 159k| 19 |1925 | 7.231526e+00 | 1.100000e+01 | 52.11%
792.95/793.15 c 793s| 8000 | 699 | 1602k| 199.8 | 56M| 46 |1344 |6404 |6418 |6404 |6083 | 160k| 19 |1962 | 7.236468e+00 | 1.100000e+01 | 52.01%
799.55/799.78 c 800s| 8100 | 703 | 1614k| 198.8 | 56M| 46 |1951 |6404 |6418 |6404 |6673 | 161k| 19 |1977 | 7.238431e+00 | 1.100000e+01 | 51.97%
806.15/806.33 c 806s| 8200 | 701 | 1624k| 197.7 | 55M| 46 |1746 |6404 |6418 |6404 |6123 | 161k| 19 |2000 | 7.238431e+00 | 1.100000e+01 | 51.97%
812.25/812.41 c 812s| 8300 | 705 | 1634k| 196.5 | 56M| 46 | - |6404 |6418 |6404 |6481 | 162k| 19 |2029 | 7.238431e+00 | 1.100000e+01 | 51.97%
820.25/820.44 c 820s| 8400 | 707 | 1649k| 195.9 | 56M| 46 |1403 |6404 |6418 |6404 |6399 | 163k| 19 |2057 | 7.243457e+00 | 1.100000e+01 | 51.86%
827.55/827.74 c 828s| 8500 | 711 | 1661k| 195.0 | 56M| 46 |1169 |6404 |6418 |6404 |6129 | 164k| 19 |2082 | 7.243769e+00 | 1.100000e+01 | 51.85%
835.05/835.22 c 835s| 8600 | 717 | 1676k| 194.4 | 56M| 46 |1343 |6404 |6418 |6404 |6077 | 166k| 19 |2103 | 7.243769e+00 | 1.100000e+01 | 51.85%
841.74/841.94 c 842s| 8700 | 723 | 1691k| 194.0 | 57M| 46 | - |6404 |6418 |6404 |6338 | 168k| 19 |2108 | 7.250988e+00 | 1.100000e+01 | 51.70%
848.85/849.04 c 849s| 8800 | 729 | 1706k| 193.4 | 57M| 46 | - |6404 |6418 |6404 |6098 | 169k| 19 |2110 | 7.254755e+00 | 1.100000e+01 | 51.62%
856.55/856.74 c 857s| 8900 | 743 | 1721k| 193.0 | 58M| 46 | - |6404 |6418 |6404 |6771 | 170k| 19 |2112 | 7.260516e+00 | 1.100000e+01 | 51.50%
863.85/864.07 c 864s| 9000 | 755 | 1736k| 192.5 | 58M| 47 |1673 |6404 |6418 |6404 |6526 | 172k| 19 |2114 | 7.262461e+00 | 1.100000e+01 | 51.46%
870.34/870.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
870.34/870.50 c 871s| 9100 | 761 | 1749k| 191.8 | 58M| 47 | - |6404 |6418 |6404 |6595 | 173k| 19 |2117 | 7.267264e+00 | 1.100000e+01 | 51.36%
875.45/875.70 c 876s| 9200 | 767 | 1759k| 190.8 | 59M| 47 |1425 |6404 |6418 |6404 |6540 | 174k| 19 |2117 | 7.267264e+00 | 1.100000e+01 | 51.36%
882.15/882.37 c 882s| 9300 | 773 | 1773k| 190.2 | 59M| 47 |1788 |6404 |6418 |6404 |6235 | 176k| 19 |2117 | 7.269994e+00 | 1.100000e+01 | 51.31%
892.44/892.67 c 893s| 9400 | 781 | 1789k| 190.0 | 60M| 47 | - |6404 |6418 |6404 |6433 | 177k| 19 |2153 | 7.279502e+00 | 1.100000e+01 | 51.11%
900.64/900.86 c 901s| 9500 | 793 | 1803k| 189.4 | 60M| 47 | - |6404 |6418 |6404 |6321 | 178k| 19 |2171 | 7.281910e+00 | 1.100000e+01 | 51.06%
908.43/908.60 c 909s| 9600 | 801 | 1816k| 188.8 | 60M| 47 |1323 |6404 |6418 |6404 |6483 | 179k| 19 |2191 | 7.282137e+00 | 1.100000e+01 | 51.05%
915.14/915.31 c 915s| 9700 | 805 | 1826k| 187.9 | 60M| 47 |1527 |6404 |6418 |6404 |6034 | 180k| 19 |2202 | 7.282619e+00 | 1.100000e+01 | 51.04%
922.34/922.58 c 923s| 9800 | 811 | 1838k| 187.2 | 60M| 47 |1460 |6404 |6418 |6404 |6428 | 181k| 19 |2226 | 7.292565e+00 | 1.100000e+01 | 50.84%
930.43/930.65 c 931s| 9900 | 815 | 1852k| 186.8 | 60M| 47 |1560 |6404 |6418 |6404 |6296 | 182k| 19 |2251 | 7.297448e+00 | 1.100000e+01 | 50.74%
937.34/937.58 c 938s| 10000 | 817 | 1866k| 186.3 | 60M| 47 | - |6404 |6418 |6404 |6778 | 183k| 19 |2275 | 7.300995e+00 | 1.100000e+01 | 50.66%
944.63/944.89 c 945s| 10100 | 825 | 1877k| 185.5 | 61M| 47 | - |6404 |6418 |6404 |6317 | 184k| 19 |2301 | 7.301335e+00 | 1.100000e+01 | 50.66%
955.43/955.67 c 956s| 10200 | 843 | 1895k| 185.5 | 61M| 48 |1333 |6404 |6418 |6404 |6506 | 185k| 19 |2321 | 7.304909e+00 | 1.100000e+01 | 50.58%
963.93/964.19 c 964s| 10300 | 849 | 1912k| 185.3 | 61M| 48 |1436 |6404 |6421 |6404 |6245 | 186k| 22 |2342 | 7.305494e+00 | 1.100000e+01 | 50.57%
974.63/974.86 c 975s| 10400 | 865 | 1935k| 185.7 | 61M| 48 | - |6404 |6421 |6404 |5912 | 188k| 22 |2351 | 7.312570e+00 | 1.100000e+01 | 50.43%
983.23/983.50 c 983s| 10500 | 879 | 1952k| 185.6 | 61M| 48 | - |6404 |6421 |6404 |6566 | 190k| 22 |2354 | 7.323939e+00 | 1.100000e+01 | 50.19%
990.83/991.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
990.83/991.07 c 991s| 10600 | 891 | 1967k| 185.2 | 62M| 48 |1332 |6404 |6421 |6404 |6569 | 191k| 22 |2355 | 7.326942e+00 | 1.100000e+01 | 50.13%
998.83/999.04 c 999s| 10700 | 905 | 1981k| 184.9 | 62M| 48 |1519 |6404 |6421 |6404 |6226 | 192k| 22 |2356 | 7.337603e+00 | 1.100000e+01 | 49.91%
1008.02/1008.22 c 1008s| 10800 | 921 | 1997k| 184.6 | 62M| 48 |2011 |6404 |6421 |6404 |6804 | 193k| 22 |2357 | 7.343587e+00 | 1.100000e+01 | 49.79%
1014.12/1014.31 c 1014s| 10900 | 925 | 2008k| 183.9 | 62M| 49 |1561 |6404 |6421 |6404 |6439 | 194k| 22 |2358 | 7.346290e+00 | 1.100000e+01 | 49.74%
1022.22/1022.48 c 1022s| 11000 | 939 | 2024k| 183.7 | 62M| 49 |1612 |6404 |6421 |6404 |6684 | 195k| 22 |2359 | 7.357149e+00 | 1.100000e+01 | 49.51%
1028.52/1028.79 c 1029s| 11100 | 939 | 2036k| 183.1 | 62M| 49 | - |6404 |6421 |6404 |6528 | 196k| 22 |2371 | 7.357589e+00 | 1.100000e+01 | 49.51%
1035.41/1035.63 c 1036s| 11200 | 941 | 2048k| 182.5 | 61M| 49 | - |6404 |6421 |6404 |6687 | 197k| 22 |2388 | 7.360707e+00 | 1.100000e+01 | 49.44%
1044.72/1044.99 c 1045s| 11300 | 953 | 2064k| 182.4 | 62M| 51 | - |6404 |6421 |6404 |6794 | 198k| 22 |2408 | 7.364373e+00 | 1.100000e+01 | 49.37%
1053.42/1053.62 c 1054s| 11400 | 959 | 2078k| 182.0 | 62M| 51 | - |6404 |6421 |6404 |6639 | 199k| 22 |2436 | 7.364647e+00 | 1.100000e+01 | 49.36%
1058.72/1058.98 c 1059s| 11500 | 959 | 2087k| 181.2 | 62M| 51 | - |6404 |6421 |6404 |6328 | 199k| 22 |2453 | 7.364647e+00 | 1.100000e+01 | 49.36%
1065.92/1066.15 c 1066s| 11600 | 967 | 2100k| 180.8 | 62M| 52 |1731 |6404 |6421 |6404 |6790 | 200k| 22 |2463 | 7.367518e+00 | 1.100000e+01 | 49.30%
1073.71/1073.93 c 1074s| 11700 | 975 | 2113k| 180.3 | 63M| 52 | - |6404 |6421 |6404 |6373 | 201k| 22 |2482 | 7.374234e+00 | 1.100000e+01 | 49.17%
1081.71/1081.91 c 1082s| 11800 | 979 | 2126k| 179.9 | 62M| 52 | - |6404 |6421 |6404 |6478 | 202k| 22 |2500 | 7.375079e+00 | 1.100000e+01 | 49.15%
1087.11/1087.31 c 1087s| 11900 | 979 | 2134k| 179.1 | 62M| 52 | - |6404 |6421 |6404 |6585 | 203k| 22 |2520 | 7.375079e+00 | 1.100000e+01 | 49.15%
1094.91/1095.16 c 1095s| 12000 | 985 | 2148k| 178.7 | 62M| 52 | - |6404 |6421 |6404 |6506 | 204k| 22 |2544 | 7.383417e+00 | 1.100000e+01 | 48.98%
1101.11/1101.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1101.11/1101.35 c 1101s| 12100 | 987 | 2160k| 178.2 | 62M| 52 | - |6404 |6421 |6404 |6733 | 205k| 22 |2556 | 7.386773e+00 | 1.100000e+01 | 48.91%
1107.01/1107.29 c 1107s| 12200 | 995 | 2171k| 177.7 | 62M| 52 |1330 |6404 |6421 |6404 |6398 | 205k| 22 |2558 | 7.389405e+00 | 1.100000e+01 | 48.86%
1111.21/1111.46 c 1111s| 12300 | 999 | 2179k| 176.9 | 63M| 52 | - |6404 |6421 |6404 |6446 | 206k| 22 |2559 | 7.389840e+00 | 1.100000e+01 | 48.85%
1115.81/1116.04 c 1116s| 12400 | 1003 | 2187k| 176.1 | 63M| 52 |1409 |6404 |6421 |6404 |6437 | 207k| 22 |2560 | 7.391450e+00 | 1.100000e+01 | 48.82%
1121.71/1121.94 c 1122s| 12500 | 1009 | 2200k| 175.7 | 63M| 52 |1756 |6404 |6421 |6404 |6267 | 208k| 22 |2560 | 7.392340e+00 | 1.100000e+01 | 48.80%
1127.70/1127.90 c 1128s| 12600 | 1011 | 2212k| 175.3 | 63M| 52 |1912 |6404 |6421 |6404 |6606 | 209k| 22 |2561 | 7.393231e+00 | 1.100000e+01 | 48.78%
1133.40/1133.60 c 1134s| 12700 | 1013 | 2223k| 174.8 | 63M| 52 |1525 |6404 |6421 |6404 |6397 | 210k| 22 |2561 | 7.393231e+00 | 1.100000e+01 | 48.78%
1138.80/1139.07 c 1139s| 12800 | 1015 | 2234k| 174.3 | 63M| 52 | - |6404 |6421 |6404 |6362 | 211k| 22 |2561 | 7.393231e+00 | 1.100000e+01 | 48.78%
1145.70/1145.90 c 1146s| 12900 | 1023 | 2247k| 173.9 | 63M| 52 |1395 |6404 |6421 |6404 |6568 | 211k| 22 |2561 | 7.395641e+00 | 1.100000e+01 | 48.74%
1152.19/1152.47 c 1152s| 13000 | 1029 | 2260k| 173.6 | 63M| 52 |1572 |6404 |6421 |6404 |6556 | 212k| 22 |2561 | 7.402795e+00 | 1.100000e+01 | 48.59%
1160.00/1160.20 c 1160s| 13100 | 1035 | 2273k| 173.2 | 63M| 52 | - |6404 |6421 |6404 |6467 | 214k| 22 |2587 | 7.402795e+00 | 1.100000e+01 | 48.59%
1164.09/1164.40 c 1164s| 13200 | 1037 | 2280k| 172.5 | 63M| 52 |1424 |6404 |6421 |6404 |6756 | 214k| 22 |2587 | 7.402795e+00 | 1.100000e+01 | 48.59%
1173.88/1174.15 c 1174s| 13300 | 1045 | 2296k| 172.4 | 63M| 52 |1476 |6404 |6421 |6404 |6713 | 215k| 22 |2613 | 7.405309e+00 | 1.100000e+01 | 48.54%
1179.48/1179.79 c 1180s| 13400 | 1047 | 2307k| 171.9 | 63M| 52 | - |6404 |6421 |6404 |6229 | 216k| 22 |2623 | 7.405989e+00 | 1.100000e+01 | 48.53%
1186.79/1187.02 c 1187s| 13500 | 1053 | 2319k| 171.5 | 63M| 52 |1371 |6404 |6421 |6404 |6596 | 217k| 22 |2647 | 7.410476e+00 | 1.100000e+01 | 48.44%
1196.99/1197.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1196.99/1197.27 c 1197s| 13600 | 1063 | 2335k| 171.5 | 62M| 52 |1842 |6404 |6421 |6404 |6464 | 218k| 22 |2674 | 7.417306e+00 | 1.100000e+01 | 48.30%
1205.59/1205.84 c 1206s| 13700 | 1073 | 2354k| 171.6 | 63M| 52 |1532 |6404 |6421 |6404 |6443 | 219k| 22 |2689 | 7.419826e+00 | 1.100000e+01 | 48.25%
1212.38/1212.61 c 1213s| 13800 | 1077 | 2366k| 171.2 | 63M| 52 | - |6404 |6421 |6404 |6656 | 220k| 22 |2711 | 7.419826e+00 | 1.100000e+01 | 48.25%
1220.89/1221.14 c 1221s| 13900 | 1085 | 2379k| 170.9 | 63M| 52 |1584 |6404 |6421 |6404 |6538 | 221k| 22 |2735 | 7.421325e+00 | 1.100000e+01 | 48.22%
1227.87/1228.17 c 1228s| 14000 | 1087 | 2392k| 170.6 | 64M| 52 | - |6404 |6421 |6404 |6050 | 222k| 22 |2752 | 7.421963e+00 | 1.100000e+01 | 48.21%
1235.68/1235.92 c 1236s| 14100 | 1097 | 2406k| 170.4 | 63M| 53 | - |6404 |6421 |6404 |6394 | 223k| 22 |2766 | 7.424260e+00 | 1.100000e+01 | 48.16%
1240.68/1240.91 c 1241s| 14200 | 1103 | 2416k| 169.9 | 64M| 53 | - |6404 |6421 |6404 |6471 | 224k| 22 |2768 | 7.425355e+00 | 1.100000e+01 | 48.14%
1245.37/1245.66 c 1246s| 14300 | 1107 | 2426k| 169.4 | 64M| 53 |1830 |6404 |6421 |6404 |6312 | 225k| 22 |2768 | 7.425355e+00 | 1.100000e+01 | 48.14%
1250.27/1250.56 c 1251s| 14400 | 1113 | 2435k| 168.9 | 64M| 53 |1446 |6404 |6421 |6404 |6400 | 225k| 22 |2769 | 7.426116e+00 | 1.100000e+01 | 48.13%
1255.77/1256.06 c 1256s| 14500 | 1121 | 2446k| 168.5 | 65M| 53 | - |6404 |6421 |6404 |6185 | 226k| 22 |2770 | 7.426116e+00 | 1.100000e+01 | 48.13%
1260.97/1261.26 c 1261s| 14600 | 1125 | 2457k| 168.0 | 65M| 53 | - |6404 |6421 |6404 |6662 | 227k| 22 |2771 | 7.426116e+00 | 1.100000e+01 | 48.13%
1266.47/1266.78 c 1267s| 14700 | 1129 | 2467k| 167.6 | 65M| 53 |1535 |6404 |6421 |6404 |6422 | 228k| 22 |2771 | 7.428614e+00 | 1.100000e+01 | 48.08%
1274.27/1274.56 c 1275s| 14800 | 1137 | 2484k| 167.6 | 65M| 53 | - |6404 |6421 |6404 |6054 | 229k| 22 |2771 | 7.429422e+00 | 1.100000e+01 | 48.06%
1280.77/1281.08 c 1281s| 14900 | 1151 | 2498k| 167.4 | 66M| 53 |1476 |6404 |6421 |6404 |6678 | 230k| 22 |2771 | 7.439363e+00 | 1.100000e+01 | 47.86%
1286.67/1286.94 c 1287s| 15000 | 1153 | 2509k| 167.0 | 66M| 53 | - |6404 |6421 |6404 |6330 | 231k| 22 |2771 | 7.441632e+00 | 1.100000e+01 | 47.82%
1293.67/1293.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1293.67/1293.92 c 1294s| 15100 | 1161 | 2523k| 166.9 | 66M| 53 |1455 |6404 |6420 |6404 |6567 | 232k| 22 |2771 | 7.444251e+00 | 1.100000e+01 | 47.77%
1299.57/1299.85 c 1300s| 15200 | 1157 | 2532k| 166.4 | 66M| 53 | - |6404 |6420 |6404 |6811 | 233k| 22 |2792 | 7.444251e+00 | 1.100000e+01 | 47.77%
1308.27/1308.54 c 1309s| 15300 | 1167 | 2549k| 166.4 | 66M| 53 | - |6404 |6420 |6404 |6636 | 234k| 22 |2806 | 7.450068e+00 | 1.100000e+01 | 47.65%
1315.96/1316.25 c 1316s| 15400 | 1177 | 2563k| 166.2 | 66M| 54 | - |6404 |6420 |6404 |5882 | 235k| 22 |2823 | 7.452143e+00 | 1.100000e+01 | 47.61%
1324.06/1324.30 c 1324s| 15500 | 1181 | 2577k| 166.0 | 67M| 54 |1443 |6404 |6420 |6404 |6805 | 236k| 22 |2843 | 7.452143e+00 | 1.100000e+01 | 47.61%
1330.76/1331.05 c 1331s| 15600 | 1187 | 2589k| 165.8 | 67M| 54 |1817 |6404 |6420 |6404 |5833 | 237k| 22 |2858 | 7.454240e+00 | 1.100000e+01 | 47.57%
1340.66/1340.93 c 1341s| 15700 | 1201 | 2607k| 165.9 | 67M| 54 |1469 |6404 |6420 |6404 |6170 | 238k| 22 |2876 | 7.460365e+00 | 1.100000e+01 | 47.45%
1349.46/1349.71 c 1350s| 15800 | 1211 | 2622k| 165.7 | 67M| 54 | - |6404 |6420 |6404 |6076 | 240k| 22 |2896 | 7.461469e+00 | 1.100000e+01 | 47.42%
1356.06/1356.38 c 1356s| 15900 | 1211 | 2634k| 165.4 | 66M| 54 |1465 |6404 |6420 |6404 |6252 | 240k| 22 |2915 | 7.462114e+00 | 1.100000e+01 | 47.41%
1363.56/1363.81 c 1364s| 16000 | 1221 | 2646k| 165.2 | 67M| 54 | - |6404 |6420 |6404 |6006 | 241k| 22 |2932 | 7.462552e+00 | 1.100000e+01 | 47.40%
1370.76/1371.05 c 1371s| 16100 | 1225 | 2658k| 164.9 | 67M| 54 | - |6404 |6420 |6404 |6193 | 243k| 22 |2946 | 7.462552e+00 | 1.100000e+01 | 47.40%
1378.06/1378.35 c 1378s| 16200 | 1229 | 2671k| 164.7 | 66M| 54 | - |6404 |6420 |6404 |6677 | 244k| 22 |2958 | 7.464482e+00 | 1.100000e+01 | 47.36%
1386.76/1387.08 c 1387s| 16300 | 1243 | 2689k| 164.8 | 67M| 54 | - |6404 |6420 |6404 |6539 | 245k| 22 |2962 | 7.469776e+00 | 1.100000e+01 | 47.26%
1393.45/1393.79 c 1394s| 16400 | 1247 | 2704k| 164.7 | 67M| 54 | - |6404 |6419 |6404 |6797 | 246k| 22 |2965 | 7.471825e+00 | 1.100000e+01 | 47.22%
1399.25/1399.59 c 1400s| 16500 | 1253 | 2716k| 164.4 | 68M| 54 | - |6404 |6419 |6404 |6584 | 247k| 22 |2966 | 7.471825e+00 | 1.100000e+01 | 47.22%
1407.96/1408.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1407.96/1408.25 c 1408s| 16600 | 1269 | 2735k| 164.5 | 68M| 54 |1382 |6404 |6419 |6404 |6065 | 249k| 22 |2966 | 7.479056e+00 | 1.100000e+01 | 47.08%
1413.35/1413.63 c 1414s| 16700 | 1273 | 2745k| 164.2 | 68M| 55 | - |6404 |6419 |6404 |6502 | 249k| 22 |2966 | 7.480324e+00 | 1.100000e+01 | 47.05%
1417.94/1418.25 c 1418s| 16800 | 1273 | 2755k| 163.8 | 68M| 55 | - |6404 |6419 |6404 |6572 | 250k| 22 |2966 | 7.480324e+00 | 1.100000e+01 | 47.05%
1425.25/1425.59 c 1426s| 16900 | 1283 | 2769k| 163.6 | 68M| 55 | - |6404 |6419 |6404 |6391 | 251k| 22 |2966 | 7.483426e+00 | 1.100000e+01 | 46.99%
1432.84/1433.16 c 1433s| 17000 | 1293 | 2786k| 163.7 | 69M| 55 | - |6404 |6419 |6404 |5944 | 253k| 22 |2966 | 7.489743e+00 | 1.100000e+01 | 46.87%
1438.44/1438.78 c 1439s| 17100 | 1299 | 2797k| 163.4 | 69M| 56 |1454 |6404 |6419 |6404 |6265 | 254k| 22 |2966 | 7.491833e+00 | 1.100000e+01 | 46.83%
1444.64/1444.99 c 1445s| 17200 | 1303 | 2810k| 163.2 | 69M| 56 | - |6404 |6419 |6404 |6418 | 255k| 22 |2977 | 7.491861e+00 | 1.100000e+01 | 46.83%
1451.54/1451.86 c 1452s| 17300 | 1311 | 2822k| 162.9 | 69M| 56 |1658 |6404 |6419 |6404 |6590 | 256k| 22 |2990 | 7.494362e+00 | 1.100000e+01 | 46.78%
1458.73/1459.08 c 1459s| 17400 | 1319 | 2834k| 162.7 | 70M| 56 | - |6404 |6418 |6404 |6325 | 256k| 22 |2999 | 7.496747e+00 | 1.100000e+01 | 46.73%
1465.24/1465.56 c 1466s| 17500 | 1321 | 2845k| 162.4 | 70M| 56 | - |6404 |6418 |6404 |6449 | 257k| 22 |3016 | 7.496747e+00 | 1.100000e+01 | 46.73%
1473.23/1473.50 c 1473s| 17600 | 1331 | 2860k| 162.3 | 70M| 56 | - |6404 |6417 |6404 |6272 | 258k| 22 |3029 | 7.498807e+00 | 1.100000e+01 | 46.69%
1479.33/1479.70 c 1480s| 17700 | 1335 | 2873k| 162.1 | 70M| 56 | - |6404 |6417 |6404 |6195 | 259k| 22 |3045 | 7.498807e+00 | 1.100000e+01 | 46.69%
1487.44/1487.71 c 1488s| 17800 | 1339 | 2887k| 162.0 | 70M| 56 |1585 |6404 |6417 |6404 |6363 | 260k| 22 |3073 | 7.501312e+00 | 1.100000e+01 | 46.64%
1494.03/1494.34 c 1494s| 17900 | 1341 | 2899k| 161.8 | 70M| 56 | - |6404 |6417 |6404 |6492 | 261k| 22 |3088 | 7.501312e+00 | 1.100000e+01 | 46.64%
1503.43/1503.80 c 1504s| 18000 | 1355 | 2915k| 161.8 | 70M| 56 | - |6404 |6417 |6404 |6336 | 262k| 22 |3117 | 7.506884e+00 | 1.100000e+01 | 46.53%
1511.34/1511.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1511.34/1511.66 c 1512s| 18100 | 1361 | 2930k| 161.7 | 70M| 56 | - |6404 |6417 |6404 |6092 | 263k| 22 |3130 | 7.507453e+00 | 1.100000e+01 | 46.52%
1517.83/1518.14 c 1518s| 18200 | 1361 | 2942k| 161.5 | 70M| 56 | - |6404 |6417 |6404 |6547 | 264k| 22 |3147 | 7.508652e+00 | 1.100000e+01 | 46.50%
1524.02/1524.35 c 1524s| 18300 | 1367 | 2954k| 161.2 | 70M| 56 |1414 |6404 |6417 |6404 |6702 | 265k| 22 |3158 | 7.508652e+00 | 1.100000e+01 | 46.50%
1530.53/1530.88 c 1531s| 18400 | 1373 | 2968k| 161.1 | 71M| 56 | - |6404 |6417 |6404 |6262 | 266k| 22 |3158 | 7.508723e+00 | 1.100000e+01 | 46.50%
1537.63/1537.96 c 1538s| 18500 | 1381 | 2982k| 161.0 | 71M| 56 | - |6404 |6417 |6404 |6489 | 267k| 22 |3161 | 7.508818e+00 | 1.100000e+01 | 46.49%
1543.43/1543.74 c 1544s| 18600 | 1383 | 2992k| 160.7 | 71M| 56 | - |6404 |6417 |6404 |6067 | 268k| 22 |3161 | 7.510394e+00 | 1.100000e+01 | 46.46%
1550.43/1550.73 c 1551s| 18700 | 1393 | 3007k| 160.6 | 71M| 56 | - |6404 |6417 |6404 |6559 | 269k| 22 |3161 | 7.514135e+00 | 1.100000e+01 | 46.39%
1557.53/1557.85 c 1558s| 18800 | 1397 | 3022k| 160.6 | 72M| 56 | - |6404 |6416 |6404 |6362 | 270k| 22 |3161 | 7.514135e+00 | 1.100000e+01 | 46.39%
1565.42/1565.79 c 1566s| 18900 | 1413 | 3039k| 160.6 | 72M| 57 | - |6404 |6416 |6404 |6342 | 271k| 22 |3161 | 7.515647e+00 | 1.100000e+01 | 46.36%
1571.52/1571.84 c 1572s| 19000 | 1417 | 3051k| 160.4 | 72M| 57 |1788 |6404 |6416 |6404 |6515 | 272k| 22 |3162 | 7.515647e+00 | 1.100000e+01 | 46.36%
1579.72/1580.03 c 1580s| 19100 | 1427 | 3067k| 160.4 | 73M| 57 |1410 |6404 |6415 |6404 |6750 | 273k| 22 |3162 | 7.516627e+00 | 1.100000e+01 | 46.34%
1587.52/1587.89 c 1588s| 19200 | 1439 | 3083k| 160.4 | 73M| 57 | - |6404 |6415 |6404 |6535 | 274k| 22 |3162 | 7.518272e+00 | 1.100000e+01 | 46.31%
1595.51/1595.84 c 1596s| 19300 | 1447 | 3097k| 160.3 | 73M| 57 | - |6404 |6415 |6404 |6451 | 275k| 22 |3177 | 7.522451e+00 | 1.100000e+01 | 46.23%
1604.32/1604.63 c 1605s| 19400 | 1455 | 3111k| 160.2 | 73M| 57 | - |6404 |6415 |6404 |6287 | 276k| 22 |3196 | 7.528098e+00 | 1.100000e+01 | 46.12%
1612.31/1612.68 c 1613s| 19500 | 1465 | 3126k| 160.1 | 73M| 57 | - |6404 |6415 |6404 |6349 | 277k| 22 |3206 | 7.532093e+00 | 1.100000e+01 | 46.04%
1620.62/1620.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1620.62/1620.92 c 1621s| 19600 | 1477 | 3141k| 160.1 | 74M| 57 | - |6404 |6414 |6404 |6422 | 278k| 22 |3224 | 7.533795e+00 | 1.100000e+01 | 46.01%
1629.71/1630.03 c 1630s| 19700 | 1493 | 3158k| 160.1 | 74M| 57 | - |6404 |6414 |6404 |6370 | 280k| 22 |3238 | 7.538287e+00 | 1.100000e+01 | 45.92%
1636.31/1636.63 c 1637s| 19800 | 1501 | 3169k| 159.9 | 74M| 57 | - |6404 |6414 |6404 |6716 | 281k| 22 |3263 | 7.538943e+00 | 1.100000e+01 | 45.91%
1643.71/1644.06 c 1644s| 19900 | 1505 | 3183k| 159.8 | 75M| 57 | - |6404 |6414 |6404 |6605 | 282k| 22 |3287 | 7.538943e+00 | 1.100000e+01 | 45.91%
1651.21/1651.56 c 1652s| 20000 | 1513 | 3198k| 159.7 | 75M| 57 |1744 |6404 |6414 |6404 |6781 | 283k| 22 |3300 | 7.541548e+00 | 1.100000e+01 | 45.86%
1657.62/1657.91 c 1658s| 20100 | 1515 | 3209k| 159.5 | 75M| 57 | - |6404 |6414 |6404 |6706 | 284k| 22 |3314 | 7.541548e+00 | 1.100000e+01 | 45.86%
1666.90/1667.29 c 1667s| 20200 | 1527 | 3227k| 159.6 | 75M| 57 |1403 |6404 |6414 |6404 |6197 | 286k| 22 |3344 | 7.541548e+00 | 1.100000e+01 | 45.86%
1674.90/1675.26 c 1675s| 20300 | 1529 | 3241k| 159.5 | 75M| 57 |1586 |6404 |6414 |6404 |6491 | 287k| 22 |3360 | 7.541548e+00 | 1.100000e+01 | 45.86%
1681.01/1681.32 c 1681s| 20400 | 1537 | 3252k| 159.3 | 75M| 57 |1554 |6404 |6414 |6404 |6659 | 288k| 22 |3368 | 7.541548e+00 | 1.100000e+01 | 45.86%
1686.90/1687.20 c 1687s| 20500 | 1543 | 3263k| 159.0 | 76M| 57 |1504 |6404 |6414 |6404 |6317 | 289k| 22 |3373 | 7.545589e+00 | 1.100000e+01 | 45.78%
1693.21/1693.51 c 1694s| 20600 | 1549 | 3277k| 158.9 | 76M| 57 | - |6404 |6414 |6404 |6581 | 290k| 22 |3373 | 7.546939e+00 | 1.100000e+01 | 45.75%
1700.00/1700.37 c 1700s| 20700 | 1559 | 3291k| 158.8 | 77M| 58 |1264 |6404 |6413 |6404 |6322 | 291k| 22 |3373 | 7.547186e+00 | 1.100000e+01 | 45.75%
1705.10/1705.49 c 1705s| 20800 | 1561 | 3301k| 158.6 | 77M| 58 |1431 |6404 |6413 |6404 |6415 | 292k| 22 |3373 | 7.547186e+00 | 1.100000e+01 | 45.75%
1712.40/1712.80 c 1713s| 20900 | 1573 | 3315k| 158.5 | 78M| 58 |1854 |6404 |6413 |6404 |6650 | 292k| 22 |3373 | 7.547564e+00 | 1.100000e+01 | 45.74%
1720.09/1720.47 c 1720s| 21000 | 1585 | 3330k| 158.4 | 78M| 58 |1439 |6404 |6412 |6404 |6462 | 294k| 22 |3373 | 7.548792e+00 | 1.100000e+01 | 45.72%
1728.40/1728.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1728.40/1728.77 c 1729s| 21100 | 1597 | 3348k| 158.5 | 78M| 58 |1455 |6404 |6412 |6404 |6714 | 295k| 22 |3373 | 7.552282e+00 | 1.100000e+01 | 45.65%
1735.40/1735.72 c 1736s| 21200 | 1601 | 3362k| 158.4 | 78M| 58 | - |6404 |6412 |6404 |6307 | 296k| 22 |3373 | 7.552282e+00 | 1.100000e+01 | 45.65%
1743.00/1743.33 c 1743s| 21300 | 1611 | 3378k| 158.4 | 79M| 58 | - |6404 |6411 |6404 |6518 | 297k| 22 |3373 | 7.553535e+00 | 1.100000e+01 | 45.63%
1750.60/1750.90 c 1751s| 21400 | 1621 | 3394k| 158.4 | 79M| 58 |1308 |6404 |6411 |6404 |6428 | 298k| 22 |3374 | 7.554387e+00 | 1.100000e+01 | 45.61%
1757.50/1757.87 c 1758s| 21500 | 1629 | 3406k| 158.3 | 80M| 58 |1915 |6404 |6411 |6404 |6529 | 299k| 22 |3393 | 7.554387e+00 | 1.100000e+01 | 45.61%
1765.09/1765.46 c 1765s| 21600 | 1635 | 3419k| 158.1 | 80M| 58 |1659 |6404 |6411 |6404 |6768 | 300k| 22 |3404 | 7.554585e+00 | 1.100000e+01 | 45.61%
1773.88/1774.22 c 1774s| 21700 | 1647 | 3432k| 158.0 | 80M| 58 | - |6404 |6411 |6404 |6141 | 301k| 22 |3429 | 7.555223e+00 | 1.100000e+01 | 45.59%
1782.58/1782.94 c 1783s| 21800 | 1657 | 3447k| 158.0 | 81M| 58 |1437 |6404 |6411 |6404 |6675 | 302k| 22 |3441 | 7.555223e+00 | 1.100000e+01 | 45.59%
1791.87/1792.23 c 1792s| 21900 | 1673 | 3463k| 158.0 | 81M| 58 |1490 |6404 |6412 |6404 |6742 | 303k| 23 |3454 | 7.556804e+00 | 1.100000e+01 | 45.56%
1796.68/1797.01 c
1796.68/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.01 c Solving Time (sec) : 1797.01
1796.68/1797.01 c Solving Nodes : 21982
1796.68/1797.01 c Primal Bound : +1.10000000000000e+01 (8 solutions)
1796.68/1797.01 c Dual Bound : +7.55680367953491e+00
1796.68/1797.01 c Gap : 45.56 %
1796.68/1797.01 s SATISFIABLE
1796.68/1797.01 v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179
1796.68/1797.01 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158
1796.68/1797.01 v -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137
1796.68/1797.01 v -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117
1796.68/1797.01 v -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95
1796.68/1797.01 v -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70
1796.68/1797.01 v -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44
1796.68/1797.01 v -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 x34 x33 -x32 -x31 -x30 -x29 -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19
1796.68/1797.01 v -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
1796.68/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.01 c Total Time : 1797.01
1796.68/1797.01 c solving : 1797.01
1796.68/1797.01 c presolving : 0.29 (included in solving)
1796.68/1797.01 c reading : 0.01 (included in solving)
1796.68/1797.01 c copying : 0.13 (7 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.68/1797.01 c Original Problem :
1796.68/1797.01 c Problem name : HOME/instance-3693780-1338035367.opb
1796.68/1797.01 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01 c Constraints : 200 initial, 200 maximal
1796.68/1797.01 c Objective sense : minimize
1796.68/1797.01 c Presolved Problem :
1796.68/1797.01 c Problem name : t_HOME/instance-3693780-1338035367.opb
1796.68/1797.01 c Variables : 6404 (6404 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01 c Constraints : 6404 initial, 6421 maximal
1796.68/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c pseudoobj : 0.00 0.01 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c probing : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c and : 0.22 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c linear : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c root node : - - 0 - - 0 - - - - -
1796.68/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.68/1797.01 c integral : 0 0 0 0 12231 0 39 0 39 891 0 0 23678
1796.68/1797.01 c and : 6204 6204 37507 69840 2 0 34 501 2 9628376 346269 0 0
1796.68/1797.01 c logicor : 200+ 217 6 29132 2 0 6 1 11 0 0 0 0
1796.68/1797.01 c countsols : 0 0 0 0 2 0 9 0 0 0 0 0 0
1796.68/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.68/1797.01 c integral : 177.86 0.00 0.00 0.00 177.86 0.00 0.00 0.00
1796.68/1797.01 c and : 135.12 0.00 115.63 19.48 0.00 0.00 0.01 0.00
1796.68/1797.01 c logicor : 0.63 0.00 0.00 0.63 0.00 0.00 0.00 0.00
1796.68/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.68/1797.01 c rootredcost : 3 0 0 0
1796.68/1797.01 c pseudoobj : 81972 255 1 0
1796.68/1797.01 c vbounds : 0 0 0 0
1796.68/1797.01 c redcost : 52726 0 0 167293
1796.68/1797.01 c probing : 0 0 0 0
1796.68/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.68/1797.01 c rootredcost : 0.04 0.00 0.00 0.04 0.00
1796.68/1797.01 c pseudoobj : 0.20 0.01 0.00 0.18 0.01
1796.68/1797.01 c vbounds : 0.03 0.00 0.00 0.03 0.00
1796.68/1797.01 c redcost : 4.62 0.00 0.00 4.62 0.00
1796.68/1797.01 c probing : 0.03 0.00 0.03 0.00 0.00
1796.68/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.01 c propagation : 0.01 14 14 23 20.3 0 0.0 -
1796.68/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.01 c applied globally : - - - 23 20.3 - - -
1796.68/1797.01 c applied locally : - - - 0 0.0 - - -
1796.68/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.68/1797.01 c cut pool : 0.00 5 - - 0 - (maximal pool size: 2417)
1796.68/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c impliedbounds : 0.01 0.00 6 0 0 2400 0
1796.68/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c gomory : 0.04 0.00 6 0 0 300 0
1796.68/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c strongcg : 0.33 0.00 6 0 0 3000 0
1796.68/1797.01 c cmir : 1.66 0.00 6 0 0 2400 0
1796.68/1797.01 c flowcover : 0.44 0.00 6 0 0 0 0
1796.68/1797.01 c clique : 0.14 0.00 6 0 0 17 0
1796.68/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c mcf : 0.01 0.00 1 0 0 0 0
1796.68/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.68/1797.01 c problem variables: 0.00 - 0 0
1796.68/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.01 c relpscost : 177.82 0.00 12219 39 891 0 0 23658
1796.68/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c inference : 0.00 0.00 10 0 0 0 0 20
1796.68/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.68/1797.01 c LP solutions : 0.00 - - 2
1796.68/1797.01 c pseudo solutions : 0.00 - - 0
1796.68/1797.01 c feaspump : 0.00 0.00 0 0
1796.68/1797.01 c oneopt : 0.04 0.00 6 0
1796.68/1797.01 c objpscostdiving : 42.20 0.00 2 0
1796.68/1797.01 c crossover : 0.79 0.00 4 0
1796.68/1797.01 c guideddiving : 20.03 0.00 21 0
1796.68/1797.01 c pscostdiving : 13.67 0.00 21 0
1796.68/1797.01 c fracdiving : 15.97 0.00 21 0
1796.68/1797.01 c coefdiving : 8.19 0.00 21 0
1796.68/1797.01 c rootsoldiving : 5.81 0.00 11 0
1796.68/1797.01 c linesearchdiving : 18.31 0.00 22 0
1796.68/1797.01 c veclendiving : 18.11 0.00 22 0
1796.68/1797.01 c smallcard : 0.00 0.00 0 0
1796.68/1797.01 c trivial : 0.00 0.00 2 1
1796.68/1797.01 c shiftandpropagate: 0.00 0.00 0 0
1796.68/1797.01 c simplerounding : 0.04 0.00 0 0
1796.68/1797.01 c zirounding : 1.01 0.00 1000 0
1796.68/1797.01 c rounding : 2.72 0.00 2778 0
1796.68/1797.01 c shifting : 4.99 0.00 3752 5
1796.68/1797.01 c intshifting : 0.00 0.00 0 0
1796.68/1797.01 c twoopt : 0.00 0.00 0 0
1796.68/1797.01 c indoneopt : 0.04 0.00 0 0
1796.68/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.68/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.68/1797.01 c clique : 0.00 0.00 0 0
1796.68/1797.01 c indrounding : 0.00 0.00 0 0
1796.68/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.68/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.68/1797.01 c intdiving : 0.00 0.00 0 0
1796.68/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.68/1797.01 c octane : 0.00 0.00 0 0
1796.68/1797.01 c rens : 0.08 0.00 1 0
1796.68/1797.01 c rins : 0.00 0.00 0 0
1796.68/1797.01 c localbranching : 0.00 0.00 0 0
1796.68/1797.01 c mutation : 0.00 0.00 0 0
1796.68/1797.01 c dins : 0.00 0.00 0 0
1796.68/1797.01 c vbounds : 0.00 0.00 0 0
1796.68/1797.01 c undercover : 0.13 0.00 1 0
1796.68/1797.01 c subnlp : 0.01 0.00 0 0
1796.68/1797.01 c trysol : 0.04 0.00 0 0
1796.68/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.68/1797.01 c primal LP : 23.31 4770 1 1.00 0.04 23.31 4769
1796.68/1797.01 c dual LP : 1166.86 62841 3128854 60.93 2681.44 22.52 11493
1796.68/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.68/1797.01 c diving/probing LP: 119.71 10551 343897 32.59 2872.68
1796.68/1797.01 c strong branching : 177.08 3455 521595 150.97 2945.53
1796.68/1797.01 c (at root node) : - 0 0 0.00 -
1796.68/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.01 c B&B Tree :
1796.68/1797.01 c number of runs : 1
1796.68/1797.01 c nodes : 21982
1796.68/1797.01 c nodes (total) : 21982
1796.68/1797.01 c nodes left : 1675
1796.68/1797.01 c max depth : 58
1796.68/1797.01 c max depth (total): 58
1796.68/1797.01 c backtracks : 2618 (11.9%)
1796.68/1797.01 c delayed cutoffs : 0
1796.68/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.68/1797.01 c avg switch length: 4.43
1796.68/1797.01 c switching time : 39.94
1796.68/1797.01 c Solution :
1796.68/1797.01 c Solutions found : 8 (8 improvements)
1796.68/1797.01 c First Solution : +2.00000000000000e+02 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
1796.68/1797.01 c Primal Bound : +1.10000000000000e+01 (in run 1, after 201 nodes, 150.64 seconds, depth 17, found by <relaxation>)
1796.68/1797.01 c Dual Bound : +7.55680367953491e+00
1796.68/1797.01 c Gap : 45.56 %
1796.68/1797.01 c Root Dual Bound : +0.00000000000000e+00
1796.68/1797.01 c Root Iterations : 4002
1796.68/1797.09 c Time complete: 1796.77.
OK 11
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-3693780-1338035367/watcher-3693780-1338035367 -o /tmp/evaluation-result-3693780-1338035367/solver-3693780-1338035367 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693780-1338035367.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 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: 2.00 2.00 2.00 3/176 24372 /proc/meminfo: memFree=25945420/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=10264 CPUtime=0 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 1328 0 0 0 0 0 0 0 20 0 1 0 269662840 10510336 1283 33554432000 4194304 10169799 140737254513472 140736203679496 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 2566 1283 414 1459 0 1098 0 [startup+0.0834911 s] /proc/loadavg: 2.00 2.00 2.00 3/176 24372 /proc/meminfo: memFree=25945420/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=35132 CPUtime=0.07 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 7215 0 0 0 6 1 0 0 20 0 1 0 269662840 35975168 7170 33554432000 4194304 10169799 140737254513472 140736203679496 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 8783 7170 538 1459 0 7315 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 35132 [startup+0.100368 s] /proc/loadavg: 2.00 2.00 2.00 3/176 24372 /proc/meminfo: memFree=25945420/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=37620 CPUtime=0.09 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 7836 0 0 0 8 1 0 0 20 0 1 0 269662840 38522880 7791 33554432000 4194304 10169799 140737254513472 140736203679496 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 9405 7791 538 1459 0 7937 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 37620 [startup+0.300287 s] /proc/loadavg: 2.00 2.00 2.00 3/176 24372 /proc/meminfo: memFree=25945420/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=46868 CPUtime=0.28 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 10536 0 0 0 21 7 0 0 20 0 1 0 269662840 47992832 10234 33554432000 4194304 10169799 140737254513472 140737254511480 8797266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 11717 10235 591 1459 0 10249 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 46868 [startup+0.700302 s] /proc/loadavg: 2.00 2.00 2.00 3/176 24372 /proc/meminfo: memFree=25945420/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=77184 CPUtime=0.69 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 26235 0 0 0 57 12 0 0 20 0 1 0 269662840 79036416 18004 33554432000 4194304 10169799 140737254513472 140737254511480 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 19296 18004 799 1459 0 17828 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 77184 [startup+1.50028 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24373 /proc/meminfo: memFree=25876468/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=81500 CPUtime=1.48 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 27379 0 0 0 133 15 0 0 20 0 1 0 269662840 83456000 18906 33554432000 4194304 10169799 140737254513472 140737254510008 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 20375 18906 814 1459 0 18907 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 81500 [startup+3.10031 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24373 /proc/meminfo: memFree=25872368/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=85440 CPUtime=3.09 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 28554 0 0 0 292 17 0 0 20 0 1 0 269662840 87490560 20081 33554432000 4194304 10169799 140737254513472 140737254510008 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 21360 20081 814 1459 0 19892 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 85440 [startup+6.30023 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24373 /proc/meminfo: memFree=25865556/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=87812 CPUtime=6.29 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 35288 0 0 0 609 20 0 0 20 0 1 0 269662840 89919488 20591 33554432000 4194304 10169799 140737254513472 140737254508072 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 21953 20591 828 1459 0 20485 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 87812 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24373 /proc/meminfo: memFree=25864008/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=87812 CPUtime=12.68 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 35288 0 0 0 1244 24 0 0 20 0 1 0 269662840 89919488 20591 33554432000 4194304 10169799 140737254513472 140737254511064 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 21953 20591 828 1459 0 20485 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 87812 [startup+25.5067 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24373 /proc/meminfo: memFree=25863132/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=88880 CPUtime=25.49 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 35534 0 0 0 2517 32 0 0 20 0 1 0 269662840 91013120 20837 33554432000 4194304 10169799 140737254513472 140737254508456 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 22220 20837 828 1459 0 20752 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 88880 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/178 24376 /proc/meminfo: memFree=25857816/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=90296 CPUtime=51.08 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 35890 0 0 0 5062 46 0 0 20 0 1 0 269662840 92463104 21193 33554432000 4194304 10169799 140737254513472 140737254508168 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 22574 21193 828 1459 0 21106 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 90296 [startup+102.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24376 /proc/meminfo: memFree=25839072/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=90568 CPUtime=102.28 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 35967 0 0 0 10158 70 0 0 20 0 1 0 269662840 92741632 21270 33554432000 4194304 10169799 140737254513472 140737254507944 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 22642 21270 829 1459 0 21174 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 90568 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24376 /proc/meminfo: memFree=25830296/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=99796 CPUtime=162.26 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 38223 0 0 0 16130 96 0 0 20 0 1 0 269662840 102191104 23501 33554432000 4194304 10169799 140737254513472 140737254507960 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 24949 23501 833 1459 0 23481 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 99796 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24377 /proc/meminfo: memFree=25824496/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=105552 CPUtime=222.26 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 46289 0 0 0 22108 118 0 0 20 0 1 0 269662840 108085248 25035 33554432000 4194304 10169799 140737254513472 140737254507880 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 26388 25035 844 1459 0 24920 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 105552 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24377 /proc/meminfo: memFree=25838428/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=112860 CPUtime=282.25 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 54787 0 0 0 28087 138 0 0 20 0 1 0 269662840 115568640 26882 33554432000 4194304 10169799 140737254513472 140737254508264 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 28215 26882 844 1459 0 26747 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 112860 [startup+342.307 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24377 /proc/meminfo: memFree=25831884/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=119172 CPUtime=342.23 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 59022 0 0 0 34062 161 0 0 20 0 1 0 269662840 122032128 28547 33554432000 4194304 10169799 140737254513472 140737254507880 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 29793 28547 844 1459 0 28325 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 119172 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24377 /proc/meminfo: memFree=25823972/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=126132 CPUtime=402.21 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 60835 0 0 0 40037 184 0 0 20 0 1 0 269662840 129159168 30620 33554432000 4194304 10169799 140737254513472 140737254507880 6110657 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 31533 30620 844 1459 0 30065 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 126132 [startup+462.3 s] /proc/loadavg: 2.05 2.01 2.00 3/177 24377 /proc/meminfo: memFree=25811196/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=132856 CPUtime=462.2 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 72723 0 0 0 46011 209 0 0 20 0 1 0 269662840 136044544 32255 33554432000 4194304 10169799 140737254513472 140737254509592 5868642 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 33214 32255 844 1459 0 31746 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 132856 [startup+522.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 24378 /proc/meminfo: memFree=25798856/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=139780 CPUtime=522.19 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 74490 0 0 0 51984 235 0 0 20 0 1 0 269662840 143134720 34022 33554432000 4194304 10169799 140737254513472 140737254507880 8030626 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 34945 34022 844 1459 0 33477 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 139780 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24378 /proc/meminfo: memFree=25791540/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=147360 CPUtime=582.19 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 76359 0 0 0 57958 261 0 0 20 0 1 0 269662840 150896640 35891 33554432000 4194304 10169799 140737254513472 140737254507880 5081370 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 36840 35891 844 1459 0 35372 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 147360 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27324772/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=197148 CPUtime=1122.11 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 96301 0 0 0 111746 465 0 0 20 0 1 0 269662840 201879552 48320 33554432000 4194304 10169799 140737254513472 140737254511064 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 49287 48320 845 1459 0 47819 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 197148 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24459 /proc/meminfo: memFree=27270008/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=204084 CPUtime=1182.08 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 100749 0 0 0 117724 484 0 0 20 0 1 0 269662840 208982016 50143 33554432000 4194304 10169799 140737254513472 140737254507976 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 51021 50143 845 1459 0 49553 0 Current children cumulated CPU time (s) 1182.08 Current children cumulated vsize (KiB) 204084 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 24462 /proc/meminfo: memFree=27220776/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=209724 CPUtime=1242.07 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 102136 0 0 0 123704 503 0 0 20 0 1 0 269662840 214757376 51530 33554432000 4194304 10169799 140737254513472 140737254511096 7546690 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 52431 51530 845 1459 0 50963 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 209724 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24462 /proc/meminfo: memFree=27171832/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=214408 CPUtime=1302.07 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 103201 0 0 0 129685 522 0 0 20 0 1 0 269662840 219553792 52595 33554432000 4194304 10169799 140737254513472 140737254507800 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 53602 52595 845 1459 0 52134 0 Current children cumulated CPU time (s) 1302.07 Current children cumulated vsize (KiB) 214408 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24462 /proc/meminfo: memFree=27120960/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=218876 CPUtime=1362.06 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 104337 0 0 0 135667 539 0 0 20 0 1 0 269662840 224129024 53731 33554432000 4194304 10169799 140737254513472 140737254507976 8044639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 54719 53731 845 1459 0 53251 0 Current children cumulated CPU time (s) 1362.06 Current children cumulated vsize (KiB) 218876 [startup+1422.3 s] /proc/loadavg: 2.09 2.03 2.01 3/177 24463 /proc/meminfo: memFree=27083384/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=221944 CPUtime=1422.05 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 105192 0 0 0 141648 557 0 0 20 0 1 0 269662840 227270656 54585 33554432000 4194304 10169799 140737254513472 140737254508296 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 55486 54585 845 1459 0 54018 0 Current children cumulated CPU time (s) 1422.05 Current children cumulated vsize (KiB) 221944 [startup+1482.3 s] /proc/loadavg: 2.03 2.02 2.00 3/177 24463 /proc/meminfo: memFree=27049516/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=229296 CPUtime=1482.03 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 107059 0 0 0 147629 574 0 0 20 0 1 0 269662840 234799104 56446 33554432000 4194304 10169799 140737254513472 140737254508264 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 57324 56446 845 1459 0 55856 0 Current children cumulated CPU time (s) 1482.03 Current children cumulated vsize (KiB) 229296 [startup+1542.3 s] /proc/loadavg: 2.01 2.02 2.00 3/177 24463 /proc/meminfo: memFree=27040588/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=233396 CPUtime=1542.03 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 108062 0 0 0 153611 592 0 0 20 0 1 0 269662840 238997504 57449 33554432000 4194304 10169799 140737254513472 140737254508264 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 58349 57449 845 1459 0 56881 0 Current children cumulated CPU time (s) 1542.03 Current children cumulated vsize (KiB) 233396 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 24463 /proc/meminfo: memFree=27015432/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=237040 CPUtime=1602.01 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 108973 0 0 0 159591 610 0 0 20 0 1 0 269662840 242728960 58360 33554432000 4194304 10169799 140737254513472 140737254511064 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 59260 58360 845 1459 0 57792 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 237040 [startup+1662.31 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24463 /proc/meminfo: memFree=26985208/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=239772 CPUtime=1662.01 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 110584 0 0 0 165573 628 0 0 20 0 1 0 269662840 245526528 58972 33554432000 4194304 10169799 140737254513472 140737254507608 8036752 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 59943 58972 845 1459 0 58475 0 Current children cumulated CPU time (s) 1662.01 Current children cumulated vsize (KiB) 239772 [startup+1722.3 s] /proc/loadavg: 2.03 2.02 2.00 3/177 24464 /proc/meminfo: memFree=26964252/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=243768 CPUtime=1722 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 111678 0 0 0 171554 646 0 0 20 0 1 0 269662840 249618432 60066 33554432000 4194304 10169799 140737254513472 140737254508264 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 60942 60066 845 1459 0 59474 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 243768 [startup+1782.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 24464 /proc/meminfo: memFree=26954128/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=253012 CPUtime=1781.99 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 113852 0 0 0 177535 664 0 0 20 0 1 0 269662840 259084288 62238 33554432000 4194304 10169799 140737254513472 140737254508264 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 63253 62238 845 1459 0 61785 0 Current children cumulated CPU time (s) 1781.99 Current children cumulated vsize (KiB) 253012 Solver just ended. Dumping a history of the last processes samples [startup+1785.7 s] /proc/loadavg: 2.01 2.01 2.00 3/177 24464 /proc/meminfo: memFree=26953880/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=253012 CPUtime=1785.39 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 113852 0 0 0 177874 665 0 0 20 0 1 0 269662840 259084288 62238 33554432000 4194304 10169799 140737254513472 140737254511064 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 63253 62238 845 1459 0 61785 0 Current children cumulated CPU time (s) 1785.39 Current children cumulated vsize (KiB) 253012 [startup+1792.11 s] /proc/loadavg: 2.01 2.01 2.00 3/177 24464 /proc/meminfo: memFree=26952444/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=253632 CPUtime=1791.78 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 114129 0 0 0 178512 666 0 0 20 0 1 0 269662840 259719168 62510 33554432000 4194304 10169799 140737254513472 140737254507608 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 63408 62510 845 1459 0 61940 0 Current children cumulated CPU time (s) 1791.78 Current children cumulated vsize (KiB) 253632 [startup+1795.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 24464 /proc/meminfo: memFree=26951452/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=253632 CPUtime=1794.98 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 114129 0 0 0 178831 667 0 0 20 0 1 0 269662840 259719168 62510 33554432000 4194304 10169799 140737254513472 140737254507608 5119491 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 63408 62510 845 1459 0 61940 0 Current children cumulated CPU time (s) 1794.98 Current children cumulated vsize (KiB) 253632 [startup+1796.1 s] /proc/loadavg: 2.01 2.01 2.00 3/177 24464 /proc/meminfo: memFree=26951452/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=253632 CPUtime=1795.78 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 114129 0 0 0 178910 668 0 0 20 0 1 0 269662840 259719168 62510 33554432000 4194304 10169799 140737254513472 140737254507608 8042424 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 63408 62510 845 1459 0 61940 0 Current children cumulated CPU time (s) 1795.78 Current children cumulated vsize (KiB) 253632 [startup+1796.51 s] /proc/loadavg: 2.01 2.01 2.00 3/177 24464 /proc/meminfo: memFree=26951452/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=253632 CPUtime=1796.19 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 114129 0 0 0 178951 668 0 0 20 0 1 0 269662840 259719168 62510 33554432000 4194304 10169799 140737254513472 140737254509992 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 63408 62510 845 1459 0 61940 0 Current children cumulated CPU time (s) 1796.19 Current children cumulated vsize (KiB) 253632 [startup+1796.9 s] /proc/loadavg: 2.01 2.01 2.00 3/177 24464 /proc/meminfo: memFree=26951452/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=253632 CPUtime=1796.58 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 114129 0 0 0 178990 668 0 0 20 0 1 0 269662840 259719168 62510 33554432000 4194304 10169799 140737254513472 140737254509992 6110587 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 63408 62510 845 1459 0 61940 0 Current children cumulated CPU time (s) 1796.58 Current children cumulated vsize (KiB) 253632 [startup+1797 s] /proc/loadavg: 2.01 2.01 2.00 3/177 24464 /proc/meminfo: memFree=26951452/32873844 swapFree=7364/7364 [pid=24372] ppid=24370 vsize=253632 CPUtime=1796.68 cores=1,3,5,7 /proc/24372/stat : 24372 (scip-2.1.1.4sfi) R 24370 24372 21011 0 -1 4202496 114129 0 0 0 179000 668 0 0 20 0 1 0 269662840 259719168 62510 33554432000 4194304 10169799 140737254513472 140737254509992 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24372/statm: 63408 62510 845 1459 0 61940 0 Current children cumulated CPU time (s) 1796.68 Current children cumulated vsize (KiB) 253632 Child status: 0 Real time (s): 1797.1 CPU time (s): 1796.78 CPU user time (s): 1790.1 CPU system time (s): 6.68798 CPU usage (%): 99.9826 Max. virtual memory (cumulated for all children) (KiB): 253632 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.1 system time used= 6.68798 maximum resident set size= 250048 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 114133 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= 49 involuntary context switches= 1847 runsolver used 2.98555 second user time and 8.37973 second system time The end
Begin job on node118 at 2012-05-26 14:29:27 IDJOB=3693780 IDBENCH=48128 IDSOLVER=2272 FILE ID=node118/3693780-1338035367 RUNJOBID= node118-1338029245-21966 PBS_JOBID= 14624353 Free space on /tmp= 71536 MiB SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_1.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-3693780-1338035367/watcher-3693780-1338035367 -o /tmp/evaluation-result-3693780-1338035367/solver-3693780-1338035367 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693780-1338035367.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 88e7a647c6e46a38e952354158b1fb76 RANDOM SEED=789984644 node118.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 : 2666.212 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 : 5332.42 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 : 2666.212 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 : 5438.55 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 : 2666.212 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.92 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 : 2666.212 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 : 2666.212 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 : 5320.68 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 : 2666.212 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 : 2666.212 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 : 2666.212 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: 25946164 kB Buffers: 248964 kB Cached: 4325028 kB SwapCached: 0 kB Active: 2175160 kB Inactive: 3969308 kB Active(anon): 1571680 kB Inactive(anon): 0 kB Active(file): 603480 kB Inactive(file): 3969308 kB Unevictable: 7364 kB Mlocked: 7364 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 13412 kB Writeback: 0 kB AnonPages: 1580172 kB Mapped: 17592 kB Shmem: 200 kB Slab: 638252 kB SReclaimable: 80464 kB SUnreclaim: 557788 kB KernelStack: 1448 kB PageTables: 7304 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1725176 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 962560 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= 71568 MiB End job on node118 at 2012-05-26 14:59:25