Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | ? (TO) | 1802.13 | 1802.74 |
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: Clp 1.11.1] [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-2665595-1276360702.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.49/0.58 c presolving: 0.69/0.72 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.89 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 0.99/1.01 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 0.99/1.07 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.12 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.18 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.20/1.23 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.20/1.27 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.74 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.69/6.78 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.84 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.79/6.89 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.69/16.73 c (16.0s) probing: 1000/11181 (8.9%) - 84 fixings, 3 aggregations, 282405 implications, 0 bound changes 29.98/30.01 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 29.98/30.07 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.08/30.15 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.18/30.22 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.18/30.30 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.28/30.38 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.48/30.52 c (29.7s) probing: 2000/11181 (17.9%) - 99 fixings, 7 aggregations, 491297 implications, 0 bound changes 47.18/47.26 c (46.3s) probing: 3000/11181 (26.8%) - 134 fixings, 8 aggregations, 762125 implications, 0 bound changes 50.28/50.38 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.37/50.48 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.48/50.57 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.58/50.67 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 57.77/57.88 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 57.87/57.98 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 57.97/58.08 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.07/58.15 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.17/61.25 c (60.1s) probing: 4000/11181 (35.8%) - 217 fixings, 20 aggregations, 907346 implications, 0 bound changes 65.07/65.13 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.17/65.24 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.27/65.33 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.37/65.41 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 71.57/71.63 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 71.67/71.74 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 71.76/71.81 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 71.76/71.87 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.06/74.19 c (72.9s) probing: 5000/11181 (44.7%) - 298 fixings, 26 aggregations, 1027871 implications, 0 bound changes 83.66/83.75 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 83.76/83.88 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 83.87/83.97 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 83.97/84.04 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 85.47/85.53 c (84.1s) probing: 6000/11181 (53.7%) - 342 fixings, 37 aggregations, 1127339 implications, 0 bound changes 94.57/94.62 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 94.66/94.75 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 94.76/94.83 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 94.86/94.90 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 94.86/94.97 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 94.96/95.04 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 94.96/95.09 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 97.65/97.74 c (96.2s) probing: 7000/11181 (62.6%) - 382 fixings, 40 aggregations, 1243043 implications, 0 bound changes 107.36/107.43 c (105.8s) probing: 8000/11181 (71.5%) - 404 fixings, 46 aggregations, 1318704 implications, 0 bound changes 112.35/112.48 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 112.55/112.62 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 112.66/112.74 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 112.75/112.81 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 112.75/112.87 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 117.45/117.58 c (115.8s) probing: 9000/11181 (80.5%) - 446 fixings, 48 aggregations, 1411254 implications, 0 bound changes 118.66/118.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 118.76/118.85 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 118.85/118.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 118.85/118.98 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 124.16/124.22 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 124.26/124.32 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 124.35/124.40 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 124.35/124.47 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 127.14/127.25 c (125.4s) probing: 10000/11181 (89.4%) - 540 fixings, 58 aggregations, 1484806 implications, 0 bound changes 127.75/127.82 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 127.85/127.96 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 127.95/128.06 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 128.05/128.12 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 128.05/128.18 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 129.75/129.88 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 129.85/129.99 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 129.95/130.06 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 134.65/134.71 c (132.7s) probing: 10970/11181 (98.1%) - 650 fixings, 70 aggregations, 1506312 implications, 2 bound changes 134.65/134.71 c (132.7s) probing aborted: 100/100 successive totally useless probings 134.65/134.72 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 134.75/134.83 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 134.85/134.92 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 134.85/134.98 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 134.95/135.03 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 135.05/135.13 c (133.1s) probing: 10980/11181 (98.2%) - 650 fixings, 70 aggregations, 1506312 implications, 2 bound changes 135.05/135.13 c (133.1s) probing aborted: 100/100 successive totally useless probings 135.05/135.13 c presolving (72 rounds): 135.05/135.13 c 851 deleted vars, 635 deleted constraints, 6 tightened bounds, 0 added holes, 1646 changed sides, 6083 changed coefficients 135.05/135.13 c 3197306 implications, 8609 cliques 135.05/135.13 c presolved problem has 10396 variables (10396 bin, 0 int, 0 impl, 0 cont) and 9729 constraints 135.05/135.13 c 335 constraints of type <knapsack> 135.05/135.13 c 7124 constraints of type <setppc> 135.05/135.13 c 2144 constraints of type <linear> 135.05/135.13 c 126 constraints of type <logicor> 135.05/135.13 c transformed objective value is always integral (scale: 1) 135.05/135.13 c Presolving Time: 132.99 135.05/135.13 c - non default parameters ---------------------------------------------------------------------- 135.05/135.13 c # SCIP version 1.2.1.2 135.05/135.13 c 135.05/135.13 c # frequency for displaying node information lines 135.05/135.13 c # [type: int, range: [-1,2147483647], default: 100] 135.05/135.13 c display/freq = 10000 135.05/135.13 c 135.05/135.13 c # maximal time in seconds to run 135.05/135.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 135.05/135.13 c limits/time = 1799.61 135.05/135.13 c 135.05/135.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 135.05/135.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 135.05/135.13 c limits/memory = 1620 135.05/135.13 c 135.05/135.13 c # should presolving try to simplify inequalities 135.05/135.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 135.05/135.13 c constraints/linear/simplifyinequalities = TRUE 135.05/135.13 c 135.05/135.13 c # should presolving try to simplify knapsacks 135.05/135.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 135.05/135.13 c constraints/knapsack/simplifyinequalities = TRUE 135.05/135.13 c 135.05/135.13 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 135.05/135.13 c # [type: int, range: [-1,2147483647], default: -1] 135.05/135.13 c separating/rapidlearning/freq = 0 135.05/135.13 c 135.05/135.13 c ----------------------------------------------------------------------------------------------- 135.05/135.13 c start solving 135.05/135.14 c 723.16/723.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 723.16/723.44 c 716s| 1 | 0 |144836 | - | 134M| 0 | 845 | 10k|9729 | 10k|9727 | 0 | 0 | 0 |-1.119076e+04 | -- | Inf 866.01/866.30 c 857s| 1 | 0 |176486 | - | 142M| 0 | 881 | 10k|9729 | 10k| 10k| 618 | 0 | 0 |-1.098897e+04 | -- | Inf 1129.12/1129.58 c 1118s| 1 | 0 |245258 | - | 148M| 0 |1009 | 10k|9729 | 10k| 10k|1012 | 0 | 0 |-1.094497e+04 | -- | Inf 1273.87/1274.33 c 1262s| 1 | 0 |278937 | - | 148M| 0 |1058 | 10k|9729 | 10k| 10k|1106 | 0 | 0 |-1.091791e+04 | -- | Inf 1338.35/1338.80 c 1326s| 1 | 0 |294437 | - | 149M| 0 |1112 | 10k|9729 | 10k| 10k|1181 | 0 | 0 |-1.091298e+04 | -- | Inf 1412.50/1413.00 c 1400s| 1 | 0 |311881 | - | 149M| 0 |1103 | 10k|9729 | 10k| 10k|1253 | 0 | 0 |-1.091010e+04 | -- | Inf 1454.89/1455.42 c 1442s| 1 | 0 |323099 | - | 152M| 0 |1102 | 10k|9729 | 10k| 11k|1287 | 0 | 0 |-1.090443e+04 | -- | Inf 1488.89/1489.48 c 1476s| 1 | 0 |332174 | - | 152M| 0 |1033 | 10k|9729 | 10k| 11k|1324 | 0 | 0 |-1.090417e+04 | -- | Inf 1554.77/1555.37 c 1541s| 1 | 0 |348107 | - | 152M| 0 |1041 | 10k|9729 | 10k| 11k|1346 | 0 | 0 |-1.090337e+04 | -- | Inf 1583.25/1583.86 c 1569s| 1 | 0 |355353 | - | 153M| 0 |1086 | 10k|9729 | 10k| 11k|1363 | 0 | 0 |-1.090320e+04 | -- | Inf 1611.65/1612.27 c 1598s| 1 | 0 |363660 | - | 153M| 0 |1045 | 10k|9729 | 10k| 11k|1381 | 0 | 0 |-1.090318e+04 | -- | Inf 1662.64/1663.24 c 1648s| 1 | 0 |377770 | - | 153M| 0 |1088 | 10k|9729 | 10k| 10k|1403 | 0 | 0 |-1.090299e+04 | -- | Inf 1687.42/1688.07 c 1673s| 1 | 0 |384830 | - | 153M| 0 |1046 | 10k|9729 | 10k| 10k|1451 | 0 | 0 |-1.090293e+04 | -- | Inf 1708.11/1708.70 c 1693s| 1 | 0 |391012 | - | 154M| 0 | 962 | 10k|9729 | 10k| 10k|1483 | 0 | 0 |-1.090214e+04 | -- | Inf 1732.20/1732.89 c 1717s| 1 | 0 |397636 | - | 154M| 0 |1028 | 10k|9729 | 10k| 10k|1496 | 0 | 0 |-1.090208e+04 | -- | Inf 1745.10/1745.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1745.10/1745.73 c 1730s| 1 | 0 |400464 | - | 155M| 0 | 938 | 10k|9729 | 10k| 10k|1503 | 0 | 0 |-1.090122e+04 | -- | Inf 1770.59/1771.25 c 1755s| 1 | 0 |407708 | - | 155M| 0 | 927 | 10k|9729 | 10k| 10k|1512 | 0 | 0 |-1.090089e+04 | -- | Inf 1800.10/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
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-2665595-1276360702/watcher-2665595-1276360702 -o /tmp/evaluation-result-2665595-1276360702/solver-2665595-1276360702 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665595-1276360702.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.07 3/106 13369 /proc/meminfo: memFree=1811820/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=8260 CPUtime=0 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 1005 0 0 0 0 0 0 0 18 0 1 0 11671769 8458240 926 1992294400 4194304 9819077 140737221545824 18446744073709551615 8718880 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13369/statm: 2065 927 366 1374 0 686 0 [startup+0.0652879 s] /proc/loadavg: 1.00 1.00 1.07 3/106 13369 /proc/meminfo: memFree=1811820/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=16376 CPUtime=0.06 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 3014 0 0 0 5 1 0 0 20 0 1 0 11671769 16769024 2935 1992294400 4194304 9819077 140737221545824 18446744073709551615 4240605 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13369/statm: 4094 2935 388 1374 0 2715 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 16376 [startup+0.101294 s] /proc/loadavg: 1.00 1.00 1.07 3/106 13369 /proc/meminfo: memFree=1811820/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=20648 CPUtime=0.09 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 4082 0 0 0 8 1 0 0 20 0 1 0 11671769 21143552 4003 1992294400 4194304 9819077 140737221545824 18446744073709551615 8081497 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13369/statm: 5162 4003 388 1374 0 3783 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20648 [startup+0.301329 s] /proc/loadavg: 1.00 1.00 1.07 3/106 13369 /proc/meminfo: memFree=1811820/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=24584 CPUtime=0.29 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 5083 0 0 0 28 1 0 0 20 0 1 0 11671769 25174016 5004 1992294400 4194304 9819077 140737221545824 18446744073709551615 8610923 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13369/statm: 6146 5004 388 1374 0 4767 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24584 [startup+0.701401 s] /proc/loadavg: 1.00 1.00 1.07 3/106 13369 /proc/meminfo: memFree=1811820/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=61308 CPUtime=0.69 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 14280 0 0 0 63 6 0 0 21 0 1 0 11671769 62779392 13847 1992294400 4194304 9819077 140737221545824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 15327 13847 484 1374 0 13948 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 61308 [startup+1.50154 s] /proc/loadavg: 1.00 1.00 1.07 2/107 13370 /proc/meminfo: memFree=1742620/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=77104 CPUtime=1.49 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 24954 0 0 0 133 16 0 0 23 0 1 0 11671769 78954496 17805 1992294400 4194304 9819077 140737221545824 18446744073709551615 4689573 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 19276 17805 529 1374 0 17897 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 77104 [startup+3.10183 s] /proc/loadavg: 1.00 1.00 1.07 2/107 13370 /proc/meminfo: memFree=1740760/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=81964 CPUtime=3.09 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 26131 0 0 0 292 17 0 0 25 0 1 0 11671769 83931136 18977 1992294400 4194304 9819077 140737221545824 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 20491 18977 524 1374 0 19112 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 81964 [startup+6.3014 s] /proc/loadavg: 1.00 1.00 1.06 2/107 13370 /proc/meminfo: memFree=1735056/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=85232 CPUtime=6.29 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 26932 0 0 0 608 21 0 0 25 0 1 0 11671769 87277568 19778 1992294400 4194304 9819077 140737221545824 18446744073709551615 5120202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 21308 19778 524 1374 0 19929 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 85232 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.06 2/107 13370 /proc/meminfo: memFree=1726376/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=93456 CPUtime=12.69 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 32503 0 0 0 1240 29 0 0 25 0 1 0 11671769 95698944 21751 1992294400 4194304 9819077 140737221545824 18446744073709551615 5120184 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 23364 21751 524 1374 0 21985 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 93456 [startup+25.5008 s] /proc/loadavg: 1.00 1.00 1.06 2/107 13370 /proc/meminfo: memFree=1709388/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=110812 CPUtime=25.48 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 36728 0 0 0 2509 39 0 0 25 0 1 0 11671769 113471488 25976 1992294400 4194304 9819077 140737221545824 18446744073709551615 5120202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 27703 25976 529 1374 0 26324 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 110812 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.06 2/107 13370 /proc/meminfo: memFree=1678760/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=141116 CPUtime=51.07 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 53995 0 0 0 5041 66 0 0 25 0 1 0 11671769 144502784 33477 1992294400 4194304 9819077 140737221545824 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 35279 33477 529 1374 0 33900 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 141116 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.06 2/107 13372 /proc/meminfo: memFree=1656440/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=164492 CPUtime=102.26 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 82415 0 0 0 10108 118 0 0 25 0 1 0 11671769 168439808 39157 1992294400 4194304 9819077 140737221545824 18446744073709551615 5120184 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 41123 39157 529 1374 0 39744 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 164492 [startup+162.301 s] /proc/loadavg: 1.12 1.03 1.06 2/107 13374 /proc/meminfo: memFree=1622092/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=209808 CPUtime=162.24 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 143783 0 0 0 16042 182 0 0 25 0 1 0 11671769 214843392 48239 1992294400 4194304 9819077 140737221545824 18446744073709551615 7297955 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 52452 48239 649 1374 0 51073 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 209808 [startup+222.301 s] /proc/loadavg: 1.10 1.04 1.06 2/107 13376 /proc/meminfo: memFree=1623704/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=210060 CPUtime=222.22 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 197864 0 0 0 22006 216 0 0 25 0 1 0 11671769 215101440 47734 1992294400 4194304 9819077 140737221545824 18446744073709551615 7290981 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 52515 47734 649 1374 0 51136 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 210060 [startup+282.302 s] /proc/loadavg: 1.09 1.04 1.06 2/107 13378 /proc/meminfo: memFree=1622464/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=209960 CPUtime=282.2 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 251903 0 0 0 27967 253 0 0 25 0 1 0 11671769 214999040 47808 1992294400 4194304 9819077 140737221545824 18446744073709551615 7291127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 52490 47808 649 1374 0 51111 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 209960 [startup+342.302 s] /proc/loadavg: 1.08 1.05 1.06 2/107 13378 /proc/meminfo: memFree=1620728/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=210612 CPUtime=342.18 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 306057 0 0 0 33927 291 0 0 25 0 1 0 11671769 215666688 47803 1992294400 4194304 9819077 140737221545824 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 52653 47803 649 1374 0 51274 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 210612 [startup+402.301 s] /proc/loadavg: 1.07 1.05 1.06 2/107 13380 /proc/meminfo: memFree=1621348/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=211216 CPUtime=402.16 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 361933 0 0 0 39889 327 0 0 25 0 1 0 11671769 216285184 47900 1992294400 4194304 9819077 140737221545824 18446744073709551615 7291717 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 52804 47900 650 1374 0 51425 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 211216 [startup+462.301 s] /proc/loadavg: 1.07 1.06 1.06 2/107 13382 /proc/meminfo: memFree=1619488/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=211636 CPUtime=462.14 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 419887 0 0 0 45850 364 0 0 25 0 1 0 11671769 216715264 47923 1992294400 4194304 9819077 140737221545824 18446744073709551615 7301636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 52909 47923 650 1374 0 51530 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 211636 [startup+522.301 s] /proc/loadavg: 1.06 1.06 1.06 2/107 13384 /proc/meminfo: memFree=1620108/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=210932 CPUtime=522.12 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 476788 0 0 0 51813 399 0 0 25 0 1 0 11671769 215994368 48149 1992294400 4194304 9819077 140737221545824 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 52733 48149 650 1374 0 51354 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 210932 [startup+582.3 s] /proc/loadavg: 1.06 1.06 1.06 2/107 13386 /proc/meminfo: memFree=1622216/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=209840 CPUtime=582.1 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 533249 0 0 0 57773 437 0 0 25 0 1 0 11671769 214876160 48090 1992294400 4194304 9819077 140737221545824 18446744073709551615 7298091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 52460 48090 650 1374 0 51081 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 209840 [startup+642.301 s] /proc/loadavg: 1.02 1.05 1.05 2/107 13386 /proc/meminfo: memFree=1622092/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=208988 CPUtime=642.08 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 593959 0 0 0 63731 477 0 0 25 0 1 0 11671769 214003712 47762 1992294400 4194304 9819077 140737221545824 18446744073709551615 6391510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 52247 47762 650 1374 0 50868 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 208988 [startup+702.301 s] ################ # More data... # ################ /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 1481094 0 0 0 105166 1028 0 0 25 0 1 0 11671769 250191872 55624 1992294400 4194304 9819077 140737221545824 18446744073709551615 7311174 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 61082 55624 694 1374 0 59703 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 244328 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.02 2/107 13400 /proc/meminfo: memFree=1589604/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=243592 CPUtime=1121.92 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 1533236 0 0 0 111130 1062 0 0 25 0 1 0 11671769 249438208 55654 1992294400 4194304 9819077 140737221545824 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 60898 55654 694 1374 0 59519 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 243592 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.01 2/107 13402 /proc/meminfo: memFree=1586132/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=248492 CPUtime=1181.9 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 1587184 0 0 0 117092 1098 0 0 25 0 1 0 11671769 254455808 56519 1992294400 4194304 9819077 140737221545824 18446744073709551615 7292346 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 62123 56519 694 1374 0 60744 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 248492 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13402 /proc/meminfo: memFree=1585636/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=247496 CPUtime=1241.88 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 1643117 0 0 0 123053 1135 0 0 25 0 1 0 11671769 253435904 56542 1992294400 4194304 9819077 140737221545824 18446744073709551615 6391510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 61874 56542 694 1374 0 60495 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 247496 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13404 /proc/meminfo: memFree=1585140/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=248344 CPUtime=1301.87 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 1696523 0 0 0 129014 1173 0 0 25 0 1 0 11671769 254304256 56890 1992294400 4194304 9819077 140737221545824 18446744073709551615 7291987 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 62086 56890 694 1374 0 60707 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 248344 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13415 /proc/meminfo: memFree=1585264/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=248684 CPUtime=1361.82 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 1752894 0 0 0 134969 1213 0 0 25 0 1 0 11671769 254652416 56623 1992294400 4194304 9819077 140737221545824 18446744073709551615 6198342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 62171 56623 694 1374 0 60792 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 248684 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13417 /proc/meminfo: memFree=1581668/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=251696 CPUtime=1421.81 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 1808253 0 0 0 140929 1252 0 0 25 0 1 0 11671769 257736704 57794 1992294400 4194304 9819077 140737221545824 18446744073709551615 7290952 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 62924 57794 694 1374 0 61545 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 251696 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13419 /proc/meminfo: memFree=1581172/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=253248 CPUtime=1481.78 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 1869641 0 0 0 146885 1293 0 0 25 0 1 0 11671769 259325952 58185 1992294400 4194304 9819077 140737221545824 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 63312 58185 694 1374 0 61933 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 253248 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13419 /proc/meminfo: memFree=1579684/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=253856 CPUtime=1541.76 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 1926476 0 0 0 152843 1333 0 0 25 0 1 0 11671769 259948544 58351 1992294400 4194304 9819077 140737221545824 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 63464 58351 694 1374 0 62085 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 253856 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13421 /proc/meminfo: memFree=1579932/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=253592 CPUtime=1601.75 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 1983407 0 0 0 158801 1374 0 0 25 0 1 0 11671769 259678208 57849 1992294400 4194304 9819077 140737221545824 18446744073709551615 7291742 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 63398 57849 694 1374 0 62019 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 253592 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13423 /proc/meminfo: memFree=1580800/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=253208 CPUtime=1661.73 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 2042159 0 0 0 164755 1418 0 0 25 0 1 0 11671769 259284992 58043 1992294400 4194304 9819077 140737221545824 18446744073709551615 7291987 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 63302 58043 694 1374 0 61923 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 253208 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13425 /proc/meminfo: memFree=1579808/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=254296 CPUtime=1721.71 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 2096347 0 0 0 170711 1460 0 0 25 0 1 0 11671769 260399104 58269 1992294400 4194304 9819077 140737221545824 18446744073709551615 7292006 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 63574 58269 698 1374 0 62195 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 254296 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13427 /proc/meminfo: memFree=1579436/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=254216 CPUtime=1781.69 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 2148000 0 0 0 176667 1502 0 0 25 0 1 0 11671769 260317184 58343 1992294400 4194304 9819077 140737221545824 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 63554 58343 698 1374 0 62175 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 254216 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13427 /proc/meminfo: memFree=1579064/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=254476 CPUtime=1800.1 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 2167055 0 0 0 178495 1515 0 0 25 0 1 0 11671769 260583424 58297 1992294400 4194304 9819077 140737221545824 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 63619 58297 698 1374 0 62240 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 254476 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -13369 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13427 /proc/meminfo: memFree=1579064/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=254476 CPUtime=1800.78 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 2167500 0 0 0 178563 1515 0 0 25 0 1 0 11671769 260583424 58742 1992294400 4194304 9819077 140737221545824 18446744073709551615 6391510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 63619 58742 698 1374 0 62240 0 Current children cumulated CPU time (s) 1800.78 Current children cumulated vsize (KiB) 254476 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13428 /proc/meminfo: memFree=1576948/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=254504 CPUtime=1801.58 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 2168283 0 0 0 178642 1516 0 0 25 0 1 0 11671769 260612096 58327 1992294400 4194304 9819077 140737221545824 18446744073709551615 7309283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 63626 58327 698 1374 0 62247 0 Current children cumulated CPU time (s) 1801.58 Current children cumulated vsize (KiB) 254504 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13428 /proc/meminfo: memFree=1576948/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=254504 CPUtime=1801.98 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 2168472 0 0 0 178682 1516 0 0 25 0 1 0 11671769 260612096 58516 1992294400 4194304 9819077 140737221545824 18446744073709551615 7298091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 63626 58516 698 1374 0 62247 0 Current children cumulated CPU time (s) 1801.98 Current children cumulated vsize (KiB) 254504 [startup+1802.7 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13428 /proc/meminfo: memFree=1576948/2059040 swapFree=4136696/4192956 [pid=13369] ppid=13367 vsize=254504 CPUtime=1802.08 /proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 2168548 0 0 0 178692 1516 0 0 25 0 1 0 11671769 260612096 58592 1992294400 4194304 9819077 140737221545824 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13369/statm: 63626 58592 698 1374 0 62247 0 Current children cumulated CPU time (s) 1802.08 Current children cumulated vsize (KiB) 254504 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.74 CPU time (s): 1802.13 CPU user time (s): 1786.94 CPU system time (s): 15.1857 CPU usage (%): 99.966 Max. virtual memory (cumulated for all children) (KiB): 254660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.94 system time used= 15.1857 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2168566 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= 2 involuntary context switches= 23377 runsolver used 2.96455 second user time and 8.5297 second system time The end
Begin job on node012 at 2010-06-12 18:38:22 IDJOB=2665595 IDBENCH=1875 IDSOLVER=1168 FILE ID=node012/2665595-1276360702 PBS_JOBID= 11173212 Free space on /tmp= 62408 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665595-1276360702/watcher-2665595-1276360702 -o /tmp/evaluation-result-2665595-1276360702/solver-2665595-1276360702 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665595-1276360702.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a74bcf40291587dc368e3a23fd278be9 RANDOM SEED=1646097685 node012.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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1812472 kB Buffers: 42536 kB Cached: 119696 kB SwapCached: 16480 kB Active: 117036 kB Inactive: 64700 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1812472 kB SwapTotal: 4192956 kB SwapFree: 4136696 kB Dirty: 7520 kB Writeback: 0 kB AnonPages: 10788 kB Mapped: 9208 kB Slab: 43100 kB PageTables: 4108 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181692 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= 62404 MiB End job on node012 at 2010-06-12 19:08:25