Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.96 | 1801.67 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mzzv11.opb |
MD5SUM | a74bcf40291587dc368e3a23fd278be9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -10859 |
Best CPU time to get the best result obtained on this benchmark | 187.313 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -10639 |
Optimality of the best value was proved | NO |
Number of variables | 11247 |
Total number of constraints | 9744 |
Number of constraints which are clauses | 77 |
Number of constraints which are cardinality constraints (but not clauses) | 5755 |
Number of constraints which are nor clauses,nor cardinality constraints | 3912 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 68 |
Number of terms in the objective function | 773 |
Biggest coefficient in the objective function | 1000 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 76861 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 1999 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 76861 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2664165-1276360696.opb> 0.29/0.39 c original problem has 11247 variables (11247 bin, 0 int, 0 impl, 0 cont) and 9744 constraints 0.29/0.39 c problem read 0.29/0.39 c presolving settings loaded 0.29/0.39 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs 0.49/0.58 c presolving: 0.69/0.73 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 513 chg sides, 580 chg coeffs, 0 upgd conss, 138 impls, 6828 clqs 0.79/0.90 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 513 chg sides, 580 chg coeffs, 7421 upgd conss, 138 impls, 6828 clqs 1.00/1.02 c (round 3) 54 del vars, 13 del conss, 4 chg bounds, 670 chg sides, 1286 chg coeffs, 7421 upgd conss, 1556 impls, 7057 clqs 1.00/1.08 c (round 4) 64 del vars, 51 del conss, 4 chg bounds, 932 chg sides, 1810 chg coeffs, 7449 upgd conss, 1604 impls, 7064 clqs 1.10/1.13 c (round 5) 66 del vars, 117 del conss, 4 chg bounds, 1242 chg sides, 3039 chg coeffs, 7450 upgd conss, 1620 impls, 7304 clqs 1.10/1.19 c (round 6) 66 del vars, 167 del conss, 4 chg bounds, 1302 chg sides, 3128 chg coeffs, 7450 upgd conss, 1620 impls, 7304 clqs 1.19/1.24 c (round 7) 66 del vars, 195 del conss, 4 chg bounds, 1359 chg sides, 3299 chg coeffs, 7450 upgd conss, 1620 impls, 7360 clqs 1.19/1.28 c (round 8) 66 del vars, 195 del conss, 4 chg bounds, 1361 chg sides, 3301 chg coeffs, 7450 upgd conss, 1620 impls, 7360 clqs 6.69/6.78 c (round 9) 121 del vars, 195 del conss, 4 chg bounds, 1361 chg sides, 3301 chg coeffs, 7450 upgd conss, 252142 impls, 7343 clqs 6.79/6.83 c (round 10) 125 del vars, 213 del conss, 4 chg bounds, 1361 chg sides, 3324 chg coeffs, 7450 upgd conss, 252252 impls, 7350 clqs 6.79/6.89 c (round 11) 125 del vars, 213 del conss, 4 chg bounds, 1370 chg sides, 3352 chg coeffs, 7457 upgd conss, 252252 impls, 7355 clqs 6.88/6.93 c (round 12) 125 del vars, 213 del conss, 4 chg bounds, 1371 chg sides, 3357 chg coeffs, 7457 upgd conss, 252252 impls, 7356 clqs 16.79/16.86 c (16.2s) probing: 1000/11181 (8.9%) - 84 fixings, 3 aggregations, 282405 implications, 0 bound changes 30.18/30.25 c (round 13) 176 del vars, 213 del conss, 4 chg bounds, 1371 chg sides, 3361 chg coeffs, 7457 upgd conss, 1026830 impls, 7341 clqs 30.28/30.31 c (round 14) 178 del vars, 232 del conss, 4 chg bounds, 1371 chg sides, 3456 chg coeffs, 7457 upgd conss, 1026836 impls, 7348 clqs 30.28/30.39 c (round 15) 178 del vars, 238 del conss, 4 chg bounds, 1401 chg sides, 3584 chg coeffs, 7464 upgd conss, 1026876 impls, 7416 clqs 30.38/30.46 c (round 16) 178 del vars, 240 del conss, 4 chg bounds, 1405 chg sides, 3630 chg coeffs, 7464 upgd conss, 1026878 impls, 7514 clqs 30.48/30.54 c (round 17) 178 del vars, 251 del conss, 4 chg bounds, 1405 chg sides, 3660 chg coeffs, 7464 upgd conss, 1026878 impls, 7610 clqs 30.58/30.62 c (round 18) 178 del vars, 259 del conss, 4 chg bounds, 1405 chg sides, 3686 chg coeffs, 7464 upgd conss, 1026878 impls, 7706 clqs 30.69/30.77 c (29.9s) probing: 2000/11181 (17.9%) - 99 fixings, 7 aggregations, 491297 implications, 0 bound changes 47.57/47.62 c (46.7s) probing: 3000/11181 (26.8%) - 134 fixings, 8 aggregations, 762125 implications, 0 bound changes 50.67/50.76 c (round 19) 235 del vars, 259 del conss, 4 chg bounds, 1405 chg sides, 3710 chg coeffs, 7464 upgd conss, 1662344 impls, 7733 clqs 50.77/50.86 c (round 20) 238 del vars, 279 del conss, 4 chg bounds, 1419 chg sides, 3829 chg coeffs, 7464 upgd conss, 1662774 impls, 7843 clqs 50.87/50.96 c (round 21) 238 del vars, 280 del conss, 4 chg bounds, 1422 chg sides, 3886 chg coeffs, 7476 upgd conss, 1662774 impls, 7950 clqs 50.97/51.05 c (round 22) 238 del vars, 285 del conss, 4 chg bounds, 1422 chg sides, 3912 chg coeffs, 7476 upgd conss, 1662778 impls, 8042 clqs 58.28/58.32 c (round 23) 288 del vars, 285 del conss, 4 chg bounds, 1422 chg sides, 3932 chg coeffs, 7476 upgd conss, 1842948 impls, 8080 clqs 58.37/58.42 c (round 24) 289 del vars, 297 del conss, 4 chg bounds, 1424 chg sides, 3979 chg coeffs, 7476 upgd conss, 1843066 impls, 8133 clqs 58.47/58.52 c (round 25) 289 del vars, 300 del conss, 4 chg bounds, 1425 chg sides, 4012 chg coeffs, 7482 upgd conss, 1843066 impls, 8188 clqs 58.47/58.59 c (round 26) 289 del vars, 300 del conss, 4 chg bounds, 1427 chg sides, 4058 chg coeffs, 7482 upgd conss, 1843066 impls, 8206 clqs 61.67/61.71 c (60.6s) probing: 4000/11181 (35.8%) - 217 fixings, 20 aggregations, 907346 implications, 0 bound changes 65.56/65.63 c (round 27) 339 del vars, 300 del conss, 4 chg bounds, 1427 chg sides, 4073 chg coeffs, 7482 upgd conss, 1977271 impls, 8202 clqs 65.67/65.74 c (round 28) 344 del vars, 333 del conss, 4 chg bounds, 1431 chg sides, 4121 chg coeffs, 7482 upgd conss, 1977669 impls, 8222 clqs 65.76/65.84 c (round 29) 346 del vars, 336 del conss, 4 chg bounds, 1433 chg sides, 4154 chg coeffs, 7485 upgd conss, 1977669 impls, 8263 clqs 65.87/65.91 c (round 30) 346 del vars, 337 del conss, 4 chg bounds, 1433 chg sides, 4165 chg coeffs, 7485 upgd conss, 1977669 impls, 8280 clqs 72.07/72.19 c (round 31) 399 del vars, 337 del conss, 4 chg bounds, 1433 chg sides, 4169 chg coeffs, 7485 upgd conss, 2112787 impls, 8280 clqs 72.27/72.30 c (round 32) 399 del vars, 355 del conss, 4 chg bounds, 1437 chg sides, 4199 chg coeffs, 7485 upgd conss, 2112787 impls, 8293 clqs 72.27/72.36 c (round 33) 402 del vars, 357 del conss, 4 chg bounds, 1441 chg sides, 4221 chg coeffs, 7489 upgd conss, 2112787 impls, 8311 clqs 72.36/72.43 c (round 34) 402 del vars, 362 del conss, 4 chg bounds, 1442 chg sides, 4230 chg coeffs, 7489 upgd conss, 2112787 impls, 8339 clqs 74.67/74.77 c (73.5s) probing: 5000/11181 (44.7%) - 298 fixings, 26 aggregations, 1027871 implications, 0 bound changes 84.36/84.43 c (round 35) 452 del vars, 362 del conss, 4 chg bounds, 1442 chg sides, 4237 chg coeffs, 7489 upgd conss, 2333012 impls, 8347 clqs 84.46/84.56 c (round 36) 456 del vars, 387 del conss, 4 chg bounds, 1451 chg sides, 4300 chg coeffs, 7489 upgd conss, 2334874 impls, 8363 clqs 84.57/84.64 c (round 37) 458 del vars, 391 del conss, 4 chg bounds, 1457 chg sides, 4338 chg coeffs, 7496 upgd conss, 2334882 impls, 8402 clqs 84.66/84.71 c (round 38) 458 del vars, 394 del conss, 4 chg bounds, 1457 chg sides, 4347 chg coeffs, 7496 upgd conss, 2334884 impls, 8448 clqs 86.16/86.21 c (84.8s) probing: 6000/11181 (53.7%) - 342 fixings, 37 aggregations, 1127339 implications, 0 bound changes 95.25/95.39 c (round 39) 508 del vars, 394 del conss, 4 chg bounds, 1457 chg sides, 4354 chg coeffs, 7496 upgd conss, 2543624 impls, 8435 clqs 95.45/95.53 c (round 40) 512 del vars, 406 del conss, 4 chg bounds, 1465 chg sides, 4438 chg coeffs, 7505 upgd conss, 2543804 impls, 8447 clqs 95.56/95.61 c (round 41) 512 del vars, 408 del conss, 4 chg bounds, 1469 chg sides, 4476 chg coeffs, 7505 upgd conss, 2543806 impls, 8454 clqs 95.56/95.68 c (round 42) 512 del vars, 412 del conss, 4 chg bounds, 1469 chg sides, 4487 chg coeffs, 7505 upgd conss, 2543806 impls, 8462 clqs 95.66/95.74 c (round 43) 512 del vars, 414 del conss, 4 chg bounds, 1469 chg sides, 4496 chg coeffs, 7505 upgd conss, 2543806 impls, 8492 clqs 95.75/95.81 c (round 44) 512 del vars, 418 del conss, 4 chg bounds, 1469 chg sides, 4498 chg coeffs, 7505 upgd conss, 2543806 impls, 8494 clqs 95.75/95.86 c (round 45) 512 del vars, 419 del conss, 4 chg bounds, 1469 chg sides, 4500 chg coeffs, 7505 upgd conss, 2543806 impls, 8495 clqs 98.45/98.54 c (97.0s) probing: 7000/11181 (62.6%) - 382 fixings, 40 aggregations, 1243043 implications, 0 bound changes 108.25/108.32 c (106.8s) probing: 8000/11181 (71.5%) - 404 fixings, 46 aggregations, 1318704 implications, 0 bound changes 113.35/113.43 c (round 46) 562 del vars, 419 del conss, 4 chg bounds, 1469 chg sides, 4501 chg coeffs, 7505 upgd conss, 2887867 impls, 8473 clqs 113.45/113.57 c (round 47) 568 del vars, 443 del conss, 4 chg bounds, 1482 chg sides, 4699 chg coeffs, 7505 upgd conss, 2888169 impls, 8491 clqs 113.55/113.69 c (round 48) 570 del vars, 453 del conss, 4 chg bounds, 1511 chg sides, 4845 chg coeffs, 7515 upgd conss, 2888193 impls, 8518 clqs 113.65/113.76 c (round 49) 570 del vars, 458 del conss, 4 chg bounds, 1512 chg sides, 4880 chg coeffs, 7515 upgd conss, 2888193 impls, 8519 clqs 113.75/113.82 c (round 50) 570 del vars, 459 del conss, 4 chg bounds, 1512 chg sides, 4901 chg coeffs, 7515 upgd conss, 2888193 impls, 8519 clqs 118.45/118.58 c (116.9s) probing: 9000/11181 (80.5%) - 446 fixings, 48 aggregations, 1411254 implications, 0 bound changes 119.65/119.72 c (round 51) 620 del vars, 459 del conss, 4 chg bounds, 1512 chg sides, 4919 chg coeffs, 7515 upgd conss, 2998236 impls, 8502 clqs 119.75/119.86 c (round 52) 623 del vars, 479 del conss, 4 chg bounds, 1525 chg sides, 5011 chg coeffs, 7515 upgd conss, 2998688 impls, 8519 clqs 119.85/119.92 c (round 53) 623 del vars, 481 del conss, 4 chg bounds, 1537 chg sides, 5072 chg coeffs, 7529 upgd conss, 2998696 impls, 8529 clqs 119.85/119.99 c (round 54) 623 del vars, 490 del conss, 4 chg bounds, 1537 chg sides, 5086 chg coeffs, 7529 upgd conss, 2998696 impls, 8529 clqs 125.15/125.28 c (round 55) 681 del vars, 490 del conss, 4 chg bounds, 1537 chg sides, 5094 chg coeffs, 7529 upgd conss, 3105564 impls, 8510 clqs 125.25/125.38 c (round 56) 685 del vars, 512 del conss, 4 chg bounds, 1545 chg sides, 5195 chg coeffs, 7529 upgd conss, 3105734 impls, 8516 clqs 125.35/125.46 c (round 57) 685 del vars, 519 del conss, 4 chg bounds, 1566 chg sides, 5282 chg coeffs, 7533 upgd conss, 3105742 impls, 8534 clqs 125.45/125.52 c (round 58) 685 del vars, 541 del conss, 4 chg bounds, 1569 chg sides, 5342 chg coeffs, 7533 upgd conss, 3105742 impls, 8548 clqs 128.24/128.34 c (126.5s) probing: 10000/11181 (89.4%) - 540 fixings, 58 aggregations, 1484806 implications, 0 bound changes 128.84/128.91 c (round 59) 742 del vars, 541 del conss, 4 chg bounds, 1569 chg sides, 5358 chg coeffs, 7533 upgd conss, 3147438 impls, 8536 clqs 128.94/129.05 c (round 60) 750 del vars, 570 del conss, 4 chg bounds, 1582 chg sides, 5468 chg coeffs, 7533 upgd conss, 3148584 impls, 8556 clqs 129.04/129.15 c (round 61) 750 del vars, 574 del conss, 4 chg bounds, 1585 chg sides, 5534 chg coeffs, 7545 upgd conss, 3148584 impls, 8562 clqs 129.15/129.21 c (round 62) 750 del vars, 574 del conss, 4 chg bounds, 1587 chg sides, 5592 chg coeffs, 7545 upgd conss, 3148584 impls, 8571 clqs 129.15/129.27 c (round 63) 750 del vars, 580 del conss, 4 chg bounds, 1587 chg sides, 5616 chg coeffs, 7545 upgd conss, 3148584 impls, 8575 clqs 130.86/130.99 c (round 64) 800 del vars, 580 del conss, 4 chg bounds, 1587 chg sides, 5636 chg coeffs, 7545 upgd conss, 3166996 impls, 8556 clqs 131.05/131.10 c (round 65) 803 del vars, 604 del conss, 4 chg bounds, 1606 chg sides, 5744 chg coeffs, 7545 upgd conss, 3167318 impls, 8570 clqs 131.05/131.17 c (round 66) 803 del vars, 605 del conss, 4 chg bounds, 1607 chg sides, 5784 chg coeffs, 7549 upgd conss, 3167318 impls, 8577 clqs 135.75/135.86 c (133.9s) probing: 10970/11181 (98.1%) - 650 fixings, 70 aggregations, 1506312 implications, 2 bound changes 135.75/135.86 c (133.9s) probing aborted: 100/100 successive totally useless probings 135.75/135.86 c (round 67) 842 del vars, 605 del conss, 6 chg bounds, 1607 chg sides, 5802 chg coeffs, 7549 upgd conss, 3196810 impls, 8558 clqs 135.84/135.97 c (round 68) 851 del vars, 622 del conss, 6 chg bounds, 1637 chg sides, 5935 chg coeffs, 7549 upgd conss, 3197306 impls, 8577 clqs 135.94/136.07 c (round 69) 851 del vars, 633 del conss, 6 chg bounds, 1642 chg sides, 5991 chg coeffs, 7555 upgd conss, 3197306 impls, 8592 clqs 136.05/136.12 c (round 70) 851 del vars, 634 del conss, 6 chg bounds, 1645 chg sides, 6031 chg coeffs, 7555 upgd conss, 3197306 impls, 8601 clqs 136.05/136.17 c (round 71) 851 del vars, 635 del conss, 6 chg bounds, 1646 chg sides, 6067 chg coeffs, 7555 upgd conss, 3197306 impls, 8602 clqs 136.14/136.27 c (134.3s) probing: 10980/11181 (98.2%) - 650 fixings, 70 aggregations, 1506312 implications, 2 bound changes 136.14/136.27 c (134.3s) probing aborted: 100/100 successive totally useless probings 136.14/136.27 c presolving (72 rounds): 136.14/136.27 c 851 deleted vars, 635 deleted constraints, 6 tightened bounds, 0 added holes, 1646 changed sides, 6083 changed coefficients 136.14/136.27 c 3197306 implications, 8609 cliques 136.14/136.27 c presolved problem has 10396 variables (10396 bin, 0 int, 0 impl, 0 cont) and 9729 constraints 136.14/136.27 c 335 constraints of type <knapsack> 136.14/136.27 c 7124 constraints of type <setppc> 136.14/136.27 c 2144 constraints of type <linear> 136.14/136.27 c 126 constraints of type <logicor> 136.14/136.27 c transformed objective value is always integral (scale: 1) 136.14/136.27 c Presolving Time: 134.20 136.14/136.27 c - non default parameters ---------------------------------------------------------------------- 136.14/136.27 c # SCIP version 1.2.1.2 136.14/136.27 c 136.14/136.27 c # frequency for displaying node information lines 136.14/136.27 c # [type: int, range: [-1,2147483647], default: 100] 136.14/136.27 c display/freq = 10000 136.14/136.27 c 136.14/136.27 c # maximal time in seconds to run 136.14/136.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 136.14/136.27 c limits/time = 1799.61 136.14/136.27 c 136.14/136.27 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 136.14/136.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 136.14/136.27 c limits/memory = 1620 136.14/136.27 c 136.14/136.27 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 136.14/136.27 c # [type: int, range: [-1,2147483647], default: 1] 136.14/136.27 c lp/solvefreq = -1 136.14/136.27 c 136.14/136.27 c # should presolving try to simplify inequalities 136.14/136.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 136.14/136.27 c constraints/linear/simplifyinequalities = TRUE 136.14/136.27 c 136.14/136.27 c # should presolving try to simplify knapsacks 136.14/136.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 136.14/136.27 c constraints/knapsack/simplifyinequalities = TRUE 136.14/136.27 c 136.14/136.27 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 136.14/136.27 c # [type: int, range: [-1,2147483647], default: -1] 136.14/136.27 c separating/rapidlearning/freq = 0 136.14/136.27 c 136.14/136.27 c ----------------------------------------------------------------------------------------------- 136.14/136.27 c start solving 136.14/136.28 c 136.24/136.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 136.24/136.31 c 134s| 1 | 2 | 0 | - | 122M| 0 | - | 10k|9729 | 0 | 0 | 0 | 0 | 0 |-1.348900e+04 | -- | Inf 277.89/278.04 c 275s| 10000 | 9458 | 0 | 0.0 | 150M| 116 | - | 10k| 10k| 0 | 0 | 0 | 418 | 0 |-1.282400e+04 | -- | Inf 412.35/412.55 c 409s| 20000 | 19234 | 0 | 0.0 | 180M| 116 | - | 10k| 10k| 0 | 0 | 0 | 742 | 0 |-1.282400e+04 | -- | Inf 545.68/545.92 c 542s| 30000 | 29031 | 0 | 0.0 | 211M| 116 | - | 10k| 10k| 0 | 0 | 0 |1027 | 0 |-1.282400e+04 | -- | Inf 678.73/679.09 c 675s| 40000 | 38859 | 0 | 0.0 | 243M| 116 | - | 10k| 10k| 0 | 0 | 0 |1246 | 0 |-1.282400e+04 | -- | Inf 806.18/806.53 c 802s| 50000 | 48737 | 0 | 0.0 | 276M| 116 | - | 10k| 10k| 0 | 0 | 0 |1385 | 0 |-1.282400e+04 | -- | Inf 932.24/932.64 c 927s| 60000 | 58632 | 0 | 0.0 | 309M| 116 | - | 10k| 10k| 0 | 0 | 0 |1524 | 0 |-1.282400e+04 | -- | Inf 1053.09/1053.55 c 1047s| 70000 | 68563 | 0 | 0.0 | 339M| 116 | - | 10k| 10k| 0 | 0 | 0 |1584 | 0 |-1.282400e+04 | -- | Inf 1172.35/1172.89 c 1166s| 80000 | 78506 | 0 | 0.0 | 371M| 116 | - | 10k| 10k| 0 | 0 | 0 |1672 | 0 |-1.282400e+04 | -- | Inf 1289.81/1290.34 c 1283s| 90000 | 88449 | 0 | 0.0 | 401M| 116 | - | 10k| 10k| 0 | 0 | 0 |1732 | 0 |-1.282400e+04 | -- | Inf 1420.24/1420.89 c 1413s|100000 | 98364 | 0 | 0.0 | 433M| 116 | - | 10k| 10k| 0 | 0 | 0 |1806 | 0 |-1.282400e+04 | -- | Inf 1551.39/1552.09 c 1543s|110000 |108220 | 0 | 0.0 | 467M| 116 | - | 10k| 10k| 0 | 0 | 0 |1955 | 0 |-1.282400e+04 | -- | Inf 1677.53/1678.21 c 1669s|120000 |118053 | 0 | 0.0 | 499M| 116 | - | 10k| 10k| 0 | 0 | 0 |2107 | 0 |-1.282400e+04 | -- | Inf 1800.09/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.09/1800.81 c 1800.09/1800.81 c SCIP Status : solving was interrupted [user interrupt] 1800.09/1800.81 c Solving Time (sec) : 1790.92 1800.09/1800.81 c Solving Nodes : 129773 1800.09/1800.81 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.09/1800.81 c Dual Bound : -1.28240000000000e+04 1800.09/1800.81 c Gap : infinite 1800.09/1800.81 s UNKNOWN 1800.09/1800.81 c SCIP Status : solving was interrupted [user interrupt] 1800.09/1800.81 c Solving Time : 1790.92 1800.09/1800.81 c Original Problem : 1800.09/1800.81 c Problem name : HOME/instance-2664165-1276360696.opb 1800.09/1800.81 c Variables : 11247 (11247 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.09/1800.81 c Constraints : 9744 initial, 9744 maximal 1800.09/1800.81 c Presolved Problem : 1800.09/1800.81 c Problem name : t_HOME/instance-2664165-1276360696.opb 1800.09/1800.81 c Variables : 10396 (10396 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.09/1800.81 c Constraints : 9729 initial, 10965 maximal 1800.09/1800.81 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.09/1800.81 c trivial : 0.14 2 0 0 0 0 0 0 0 1800.09/1800.81 c dualfix : 0.09 9 0 0 0 0 0 0 0 1800.09/1800.81 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.09/1800.81 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.09/1800.81 c implics : 0.17 0 38 0 0 0 0 0 0 1800.09/1800.81 c probing : 129.10 650 70 0 2 0 0 0 0 1800.09/1800.81 c knapsack : 2.04 12 0 0 4 0 142 1132 5503 1800.09/1800.81 c setppc : 1.10 11 46 0 0 0 434 1 0 1800.09/1800.81 c linear : 0.87 4 9 0 0 0 45 513 580 1800.09/1800.81 c logicor : 0.01 0 0 0 0 0 14 0 0 1800.09/1800.81 c root node : - 0 - - 0 - - - - 1800.09/1800.81 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.09/1800.81 c integral : 0 0 0 0 0 0 0 0 0 0 1800.09/1800.81 c knapsack : 335 0 628899 0 129117 82 439330 0 0 0 1800.09/1800.81 c setppc : 7124 0 628817 0 129117 104 2154452 0 0 0 1800.09/1800.81 c linear : 2144 0 628713 0 129117 702 4198583 0 0 0 1800.09/1800.81 c logicor : 126+ 0 35430 0 129117 129 12265 0 0 0 1800.09/1800.81 c countsols : 0 0 0 0 129117 0 0 0 0 0 1800.09/1800.81 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.09/1800.81 c integral : 0.00 0.00 0.00 0.00 0.00 1800.09/1800.81 c knapsack : 24.23 0.00 23.13 0.00 1.10 1800.09/1800.81 c setppc : 1162.65 0.00 310.23 0.00 852.42 1800.09/1800.81 c linear : 100.35 0.00 97.55 0.00 2.80 1800.09/1800.81 c logicor : 10.22 0.00 0.98 0.00 9.24 1800.09/1800.81 c countsols : 0.07 0.00 0.00 0.00 0.07 1800.09/1800.81 c Propagators : Time Calls Cutoffs DomReds 1800.09/1800.81 c vbounds : 0.56 2 0 0 1800.09/1800.81 c rootredcost : 0.46 0 0 0 1800.09/1800.81 c pseudoobj : 51.28 560564 0 0 1800.09/1800.81 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.09/1800.81 c propagation : 0.18 768 749 3331 21.3 202 9.8 - 1800.09/1800.81 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.09/1800.81 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.09/1800.81 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.09/1800.81 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.09/1800.81 c applied globally : - - - 2174 14.6 - - - 1800.09/1800.81 c applied locally : - - - 0 0.0 - - - 1800.09/1800.81 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.09/1800.81 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1800.09/1800.81 c redcost : 0.00 0 0 0 0 0 1800.09/1800.81 c impliedbounds : 0.00 0 0 0 0 0 1800.09/1800.81 c intobj : 0.00 0 0 0 0 0 1800.09/1800.81 c cgmip : 0.00 0 0 0 0 0 1800.09/1800.81 c gomory : 0.00 0 0 0 0 0 1800.09/1800.81 c strongcg : 0.00 0 0 0 0 0 1800.09/1800.81 c cmir : 0.00 0 0 0 0 0 1800.09/1800.81 c flowcover : 0.00 0 0 0 0 0 1800.09/1800.81 c clique : 0.00 0 0 0 0 0 1800.09/1800.81 c zerohalf : 0.00 0 0 0 0 0 1800.09/1800.81 c mcf : 0.00 0 0 0 0 0 1800.09/1800.81 c rapidlearning : 0.00 0 0 0 0 0 1800.09/1800.81 c Pricers : Time Calls Vars 1800.09/1800.81 c problem variables: 0.00 0 0 1800.09/1800.81 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.09/1800.81 c relpscost : 0.00 0 0 0 0 0 0 1800.09/1800.81 c pscost : 0.00 0 0 0 0 0 0 1800.09/1800.81 c inference : 341.74 129117 0 0 0 0 258234 1800.09/1800.81 c mostinf : 0.00 0 0 0 0 0 0 1800.09/1800.81 c leastinf : 0.00 0 0 0 0 0 0 1800.09/1800.81 c fullstrong : 0.00 0 0 0 0 0 0 1800.09/1800.81 c allfullstrong : 0.00 0 0 0 0 0 0 1800.09/1800.81 c random : 0.00 0 0 0 0 0 0 1800.09/1800.81 c Primal Heuristics : Time Calls Found 1800.09/1800.81 c LP solutions : 0.00 - 0 1800.09/1800.81 c pseudo solutions : 0.00 - 0 1800.09/1800.81 c oneopt : 0.11 0 0 1800.09/1800.81 c trivial : 0.03 2 0 1800.09/1800.81 c simplerounding : 0.00 0 0 1800.09/1800.81 c zirounding : 0.00 0 0 1800.09/1800.81 c rounding : 0.00 0 0 1800.09/1800.81 c shifting : 0.00 0 0 1800.09/1800.81 c intshifting : 0.00 0 0 1800.09/1800.81 c twoopt : 0.00 0 0 1800.09/1800.81 c fixandinfer : 0.00 0 0 1800.09/1800.81 c feaspump : 0.00 0 0 1800.09/1800.81 c coefdiving : 0.00 0 0 1800.09/1800.81 c pscostdiving : 0.00 0 0 1800.09/1800.81 c fracdiving : 0.00 0 0 1800.09/1800.81 c veclendiving : 0.00 0 0 1800.09/1800.81 c intdiving : 0.00 0 0 1800.09/1800.81 c actconsdiving : 0.00 0 0 1800.09/1800.81 c objpscostdiving : 0.00 0 0 1800.09/1800.81 c rootsoldiving : 0.00 0 0 1800.09/1800.81 c linesearchdiving : 0.00 0 0 1800.09/1800.81 c guideddiving : 0.00 0 0 1800.09/1800.81 c octane : 0.00 0 0 1800.09/1800.81 c rens : 0.00 0 0 1800.09/1800.81 c rins : 0.00 0 0 1800.09/1800.81 c localbranching : 0.00 0 0 1800.09/1800.81 c mutation : 0.00 0 0 1800.09/1800.81 c crossover : 0.00 0 0 1800.09/1800.81 c dins : 0.00 0 0 1800.09/1800.81 c undercover : 0.00 0 0 1800.09/1800.81 c nlp : 0.33 0 0 1800.09/1800.81 c trysol : 0.14 0 0 1800.09/1800.81 c LP : Time Calls Iterations Iter/call Iter/sec 1800.09/1800.81 c primal LP : 0.00 0 0 0.00 - 1800.09/1800.81 c dual LP : 0.00 0 0 0.00 - 1800.09/1800.81 c lex dual LP : 0.00 0 0 0.00 - 1800.09/1800.81 c barrier LP : 0.00 0 0 0.00 - 1800.09/1800.81 c diving/probing LP: 0.00 0 0 0.00 - 1800.09/1800.81 c strong branching : 0.00 0 0 0.00 - 1800.09/1800.81 c (at root node) : - 0 0 0.00 - 1800.09/1800.81 c conflict analysis: 0.00 0 0 0.00 - 1800.09/1800.81 c B&B Tree : 1800.09/1800.81 c number of runs : 1 1800.09/1800.81 c nodes : 129773 1800.09/1800.81 c nodes (total) : 129773 1800.09/1800.81 c nodes left : 127722 1800.09/1800.81 c max depth : 116 1800.09/1800.81 c max depth (total): 116 1800.09/1800.81 c backtracks : 2744 (2.1%) 1800.09/1800.81 c delayed cutoffs : 740 1800.09/1800.81 c repropagations : 4307 (31979 domain reductions, 112 cutoffs) 1800.09/1800.81 c avg switch length: 2.46 1800.09/1800.81 c switching time : 28.87 1800.09/1800.81 c Solution : 1800.09/1800.81 c Solutions found : 0 (0 improvements) 1800.09/1800.81 c Primal Bound : - 1800.09/1800.81 c Dual Bound : -1.28240000000000e+04 1800.09/1800.81 c Gap : infinite 1800.09/1800.81 c Root Dual Bound : -1.34890000000000e+04 1800.09/1800.81 c Root Iterations : 0 1800.88/1801.66 c Time complete: 1800.96.
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664165-1276360696/watcher-2664165-1276360696 -o /tmp/evaluation-result-2664165-1276360696/solver-2664165-1276360696 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664165-1276360696.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13445 /proc/meminfo: memFree=1361208/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=6584 CPUtime=0 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 989 0 0 0 0 0 0 0 18 0 1 0 11671016 6742016 912 1992294400 4194304 7136930 140734289823520 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13445/statm: 1646 922 254 719 0 925 0 [startup+0.094666 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13445 /proc/meminfo: memFree=1361208/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=16924 CPUtime=0.08 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 3704 0 0 0 7 1 0 0 20 0 1 0 11671016 17330176 3627 1992294400 4194304 7136930 140734289823520 18446744073709551615 6269102 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13445/statm: 4231 3627 271 719 0 3510 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 16924 [startup+0.100667 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13445 /proc/meminfo: memFree=1361208/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=17948 CPUtime=0.09 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 3961 0 0 0 8 1 0 0 20 0 1 0 11671016 18378752 3884 1992294400 4194304 7136930 140734289823520 18446744073709551615 6349764 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13445/statm: 4487 3884 271 719 0 3766 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17948 [startup+0.300702 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13445 /proc/meminfo: memFree=1361208/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=21884 CPUtime=0.29 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 4956 0 0 0 27 2 0 0 20 0 1 0 11671016 22409216 4879 1992294400 4194304 7136930 140734289823520 18446744073709551615 4361643 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13445/statm: 5471 4879 271 719 0 4750 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21884 [startup+0.70077 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13445 /proc/meminfo: memFree=1361208/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=58340 CPUtime=0.69 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 14065 0 0 0 63 6 0 0 20 0 1 0 11671016 59740160 13634 1992294400 4194304 7136930 140734289823520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 14585 13634 340 719 0 13864 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 58340 [startup+1.50091 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13446 /proc/meminfo: memFree=1291884/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=74396 CPUtime=1.49 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 24803 0 0 0 135 14 0 0 23 0 1 0 11671016 76181504 17657 1992294400 4194304 7136930 140734289823520 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 18599 17657 384 719 0 17878 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 74396 [startup+3.10118 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13446 /proc/meminfo: memFree=1290024/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=79252 CPUtime=3.09 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 25979 0 0 0 293 16 0 0 25 0 1 0 11671016 81154048 18828 1992294400 4194304 7136930 140734289823520 18446744073709551615 5126149 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 19813 18828 379 719 0 19092 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 79252 [startup+6.30073 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13446 /proc/meminfo: memFree=1284444/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=82516 CPUtime=6.29 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 26782 0 0 0 611 18 0 0 25 0 1 0 11671016 84496384 19631 1992294400 4194304 7136930 140734289823520 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 20629 19631 379 719 0 19908 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 82516 [startup+12.7008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13446 /proc/meminfo: memFree=1275764/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=90744 CPUtime=12.69 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 32352 0 0 0 1243 26 0 0 25 0 1 0 11671016 92921856 21603 1992294400 4194304 7136930 140734289823520 18446744073709551615 5496938 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 22686 21603 379 719 0 21965 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 90744 [startup+25.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13446 /proc/meminfo: memFree=1258652/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=108096 CPUtime=25.48 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 36576 0 0 0 2513 35 0 0 25 0 1 0 11671016 110690304 25827 1992294400 4194304 7136930 140734289823520 18446744073709551615 5500779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 27024 25827 385 719 0 26303 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 108096 [startup+51.1004 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13446 /proc/meminfo: memFree=1228644/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=138400 CPUtime=51.08 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 53072 0 0 0 5049 59 0 0 25 0 1 0 11671016 141721600 33328 1992294400 4194304 7136930 140734289823520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 34600 33328 385 719 0 33879 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 138400 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13448 /proc/meminfo: memFree=1205952/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=161776 CPUtime=102.26 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 82218 0 0 0 10116 110 0 0 25 0 1 0 11671016 165658624 38963 1992294400 4194304 7136930 140734289823520 18446744073709551615 4661054 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 40444 38963 385 719 0 39723 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 161776 [startup+162.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13450 /proc/meminfo: memFree=1188468/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=180088 CPUtime=162.23 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 112193 0 0 0 16056 167 0 0 25 0 1 0 11671016 184410112 43346 1992294400 4194304 7136930 140734289823520 18446744073709551615 5121846 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 45022 43346 402 719 0 44301 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 180088 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13452 /proc/meminfo: memFree=1174704/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=196168 CPUtime=222.2 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 115603 0 0 0 22033 187 0 0 25 0 1 0 11671016 200876032 46756 1992294400 4194304 7136930 140734289823520 18446744073709551615 5120202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 49042 46756 402 719 0 48321 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 196168 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13452 /proc/meminfo: memFree=1160444/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=212540 CPUtime=282.18 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 119297 0 0 0 28007 211 0 0 25 0 1 0 11671016 217640960 50450 1992294400 4194304 7136930 140734289823520 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 53135 50450 402 719 0 52414 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 212540 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13454 /proc/meminfo: memFree=1145688/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=227452 CPUtime=342.16 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 122812 0 0 0 33981 235 0 0 25 0 1 0 11671016 232910848 53965 1992294400 4194304 7136930 140734289823520 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 56863 53965 402 719 0 56142 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 227452 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13456 /proc/meminfo: memFree=1131552/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=243076 CPUtime=402.14 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 126336 0 0 0 39955 259 0 0 25 0 1 0 11671016 248909824 57489 1992294400 4194304 7136930 140734289823520 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 60769 57489 402 719 0 60048 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 243076 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13458 /proc/meminfo: memFree=1115308/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=260220 CPUtime=462.12 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 130355 0 0 0 45926 286 0 0 25 0 1 0 11671016 266465280 61508 1992294400 4194304 7136930 140734289823520 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 65055 61508 402 719 0 64334 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 260220 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13460 /proc/meminfo: memFree=1100056/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=277772 CPUtime=522.09 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 134209 0 0 0 51900 309 0 0 25 0 1 0 11671016 284438528 65362 1992294400 4194304 7136930 140734289823520 18446744073709551615 4414503 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 69443 65362 402 719 0 68722 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 277772 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13460 /proc/meminfo: memFree=1088028/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=289920 CPUtime=582.06 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 137196 0 0 0 57872 334 0 0 25 0 1 0 11671016 296878080 68349 1992294400 4194304 7136930 140734289823520 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 72480 68349 402 719 0 71759 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 289920 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13462 /proc/meminfo: memFree=1069800/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=308660 CPUtime=642.05 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 141717 0 0 0 63847 358 0 0 25 0 1 0 11671016 316067840 72870 1992294400 4194304 7136930 140734289823520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 77165 72870 402 719 0 76444 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 308660 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13470 /proc/meminfo: memFree=986968/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=398224 CPUtime=941.93 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 162340 0 0 0 93700 493 0 0 25 0 1 0 11671016 407781376 93493 1992294400 4194304 7136930 140734289823520 18446744073709551615 5121846 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 99556 93493 402 719 0 98835 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 398224 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13472 /proc/meminfo: memFree=970724/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=418508 CPUtime=1001.91 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 166361 0 0 0 99671 520 0 0 25 0 1 0 11671016 428552192 97514 1992294400 4194304 7136930 140734289823520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 104627 97514 402 719 0 103906 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 418508 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13474 /proc/meminfo: memFree=955968/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=435280 CPUtime=1061.89 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 170133 0 0 0 105640 549 0 0 25 0 1 0 11671016 445726720 101286 1992294400 4194304 7136930 140734289823520 18446744073709551615 5892292 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 108820 101286 402 719 0 108099 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 435280 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13476 /proc/meminfo: memFree=938236/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=454808 CPUtime=1121.87 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 174457 0 0 0 111609 578 0 0 25 0 1 0 11671016 465723392 105610 1992294400 4194304 7136930 140734289823520 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 113702 105610 402 719 0 112981 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 454808 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13476 /proc/meminfo: memFree=921124/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=474456 CPUtime=1181.84 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 178778 0 0 0 117578 606 0 0 25 0 1 0 11671016 485842944 109931 1992294400 4194304 7136930 140734289823520 18446744073709551615 5120202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 118614 109931 402 719 0 117893 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 474456 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13478 /proc/meminfo: memFree=902524/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=493840 CPUtime=1241.81 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 183383 0 0 0 123548 633 0 0 25 0 1 0 11671016 505692160 114536 1992294400 4194304 7136930 140734289823520 18446744073709551615 4414778 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 123460 114536 402 719 0 122739 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 493840 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13480 /proc/meminfo: memFree=889256/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=505496 CPUtime=1301.8 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 186650 0 0 0 129518 662 0 0 25 0 1 0 11671016 517627904 117803 1992294400 4194304 7136930 140734289823520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 126374 117803 402 719 0 125653 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 505496 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13482 /proc/meminfo: memFree=870780/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=525536 CPUtime=1361.77 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 191286 0 0 0 135493 684 0 0 25 0 1 0 11671016 538148864 122439 1992294400 4194304 7136930 140734289823520 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 131384 122439 402 719 0 130663 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 525536 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13493 /proc/meminfo: memFree=855652/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=540840 CPUtime=1421.74 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 194946 0 0 0 141462 712 0 0 25 0 1 0 11671016 553820160 126099 1992294400 4194304 7136930 140734289823520 18446744073709551615 4740313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 135210 126099 402 719 0 134489 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 540840 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13493 /proc/meminfo: memFree=840524/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=557188 CPUtime=1481.71 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 198723 0 0 0 147432 739 0 0 25 0 1 0 11671016 570560512 129876 1992294400 4194304 7136930 140734289823520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 139297 129876 402 719 0 138576 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 557188 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13495 /proc/meminfo: memFree=824776/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=575032 CPUtime=1541.68 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 202740 0 0 0 153403 765 0 0 25 0 1 0 11671016 588832768 133893 1992294400 4194304 7136930 140734289823520 18446744073709551615 5121843 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 143758 133893 402 719 0 143037 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 575032 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13497 /proc/meminfo: memFree=807912/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=592976 CPUtime=1601.66 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 206929 0 0 0 159373 793 0 0 25 0 1 0 11671016 607207424 138082 1992294400 4194304 7136930 140734289823520 18446744073709551615 4697663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 148244 138082 402 719 0 147523 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 592976 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13499 /proc/meminfo: memFree=784600/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=619604 CPUtime=1661.64 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 212719 0 0 0 165343 821 0 0 25 0 1 0 11671016 634474496 143872 1992294400 4194304 7136930 140734289823520 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 154901 143872 402 719 0 154180 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 619604 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13501 /proc/meminfo: memFree=775176/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=626044 CPUtime=1721.62 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 215088 0 0 0 171314 848 0 0 25 0 1 0 11671016 641069056 146241 1992294400 4194304 7136930 140734289823520 18446744073709551615 4643160 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 156511 146241 402 719 0 155790 0 Current children cumulated CPU time (s) 1721.62 Current children cumulated vsize (KiB) 626044 [startup+1782.3 s] /proc/loadavg: 1.12 1.03 1.01 2/107 13501 /proc/meminfo: memFree=759924/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=642060 CPUtime=1781.59 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 218908 0 0 0 177286 873 0 0 25 0 1 0 11671016 657469440 150061 1992294400 4194304 7136930 140734289823520 18446744073709551615 5121903 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 160515 150061 402 719 0 159794 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 642060 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.09 1.03 1.01 2/107 13503 /proc/meminfo: memFree=755212/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=646940 CPUtime=1800.09 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 220059 0 0 0 179128 881 0 0 25 0 1 0 11671016 662466560 151212 1992294400 4194304 7136930 140734289823520 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13445/statm: 161735 151212 402 719 0 161014 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 646940 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.09 1.03 1.01 2/107 13503 /proc/meminfo: memFree=755212/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=629812 CPUtime=1800.69 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 220066 0 0 0 179187 882 0 0 25 0 1 0 11671016 644927488 146937 1992294400 4194304 7136930 140734289823520 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13445/statm: 157453 146937 407 719 0 156732 0 Current children cumulated CPU time (s) 1800.69 Current children cumulated vsize (KiB) 629812 [startup+1801.6 s] /proc/loadavg: 1.09 1.03 1.01 2/107 13503 /proc/meminfo: memFree=755212/2059040 swapFree=4192956/4192956 [pid=13445] ppid=13443 vsize=401588 CPUtime=1800.88 /proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 220066 0 0 0 179204 884 0 0 25 0 1 0 11671016 411226112 92636 1992294400 4194304 7136930 140734289823520 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13445/statm: 100142 92636 407 719 0 99421 0 Current children cumulated CPU time (s) 1800.88 Current children cumulated vsize (KiB) 401588 Child status: 0 Real time (s): 1801.67 CPU time (s): 1800.96 CPU user time (s): 1792.07 CPU system time (s): 8.89265 CPU usage (%): 99.9609 Max. virtual memory (cumulated for all children) (KiB): 646940 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.07 system time used= 8.89265 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 220073 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= 3 involuntary context switches= 6558 runsolver used 3.03354 second user time and 8.46071 second system time The end
Begin job on node014 at 2010-06-12 18:38:16 IDJOB=2664165 IDBENCH=1875 IDSOLVER=1167 FILE ID=node014/2664165-1276360696 PBS_JOBID= 11173193 Free space on /tmp= 62464 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664165-1276360696/watcher-2664165-1276360696 -o /tmp/evaluation-result-2664165-1276360696/solver-2664165-1276360696 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664165-1276360696.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a74bcf40291587dc368e3a23fd278be9 RANDOM SEED=2057163431 node014.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.258 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.258 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1361736 kB Buffers: 135948 kB Cached: 416220 kB SwapCached: 0 kB Active: 197384 kB Inactive: 414796 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1361736 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4508 kB Writeback: 0 kB AnonPages: 59952 kB Mapped: 15476 kB Slab: 63352 kB PageTables: 3920 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182724 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62460 MiB End job on node014 at 2010-06-12 19:08:19