Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? | 1790.46 | 1790.9 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-cycle.opb |
MD5SUM | a4f456875ede4549ae03268180cd603c |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of variables | 84737 |
Total number of constraints | 1802 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1802 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 1470 |
Number of terms in the objective function | 9240 |
Biggest coefficient in the objective function | 53687091200000 |
Number of bits for the biggest coefficient in the objective function | 46 |
Sum of the numbers in the objective function | 1737924154969464 |
Number of bits of the sum of numbers in the objective function | 51 |
Biggest number in a constraint | 48888431614361600 |
Number of bits of the biggest number in a constraint | 56 |
Biggest sum of numbers in a constraint | 779202693141814557 |
Number of bits of the biggest sum of numbers | 60 |
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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] 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-2703703-1278559407.opb> 1.29/1.37 c original problem has 84737 variables (84737 bin, 0 int, 0 impl, 0 cont) and 1802 constraints 1.29/1.37 c problem read 1.29/1.37 c presolving settings loaded 2.39/2.44 c presolving: 2.99/3.01 c (round 1) 34345 del vars, 275 del conss, 33691 chg bounds, 285 chg sides, 3787 chg coeffs, 0 upgd conss, 0 impls, 0 clqs 3.30/3.33 c (round 2) 47637 del vars, 357 del conss, 46951 chg bounds, 297 chg sides, 7500 chg coeffs, 0 upgd conss, 0 impls, 0 clqs 3.39/3.46 c (round 3) 49756 del vars, 363 del conss, 49070 chg bounds, 311 chg sides, 7792 chg coeffs, 0 upgd conss, 0 impls, 0 clqs 3.49/3.53 c (round 4) 50197 del vars, 364 del conss, 49511 chg bounds, 311 chg sides, 7929 chg coeffs, 0 upgd conss, 0 impls, 0 clqs 3.49/3.56 c (round 5) 50225 del vars, 364 del conss, 49539 chg bounds, 311 chg sides, 7931 chg coeffs, 0 upgd conss, 0 impls, 0 clqs 3.49/3.58 c (round 6) 50229 del vars, 364 del conss, 49543 chg bounds, 311 chg sides, 7933 chg coeffs, 0 upgd conss, 0 impls, 0 clqs 3.99/4.06 c (round 7) 50229 del vars, 367 del conss, 49543 chg bounds, 314 chg sides, 7933 chg coeffs, 364 upgd conss, 0 impls, 0 clqs 4.39/4.45 c (round 8) 50260 del vars, 369 del conss, 49573 chg bounds, 770 chg sides, 22580 chg coeffs, 364 upgd conss, 456 impls, 50 clqs 4.49/4.52 c (round 9) 50260 del vars, 371 del conss, 49573 chg bounds, 793 chg sides, 22605 chg coeffs, 365 upgd conss, 456 impls, 50 clqs 4.49/4.54 c (round 10) 50260 del vars, 371 del conss, 49573 chg bounds, 796 chg sides, 22612 chg coeffs, 365 upgd conss, 458 impls, 50 clqs 6.69/6.75 c (round 11) 50320 del vars, 371 del conss, 49573 chg bounds, 796 chg sides, 22613 chg coeffs, 365 upgd conss, 23338 impls, 37 clqs 6.89/6.95 c (round 12) 50320 del vars, 371 del conss, 49573 chg bounds, 802 chg sides, 22619 chg coeffs, 365 upgd conss, 23338 impls, 37 clqs 13.10/13.12 c (round 13) 50370 del vars, 371 del conss, 49573 chg bounds, 802 chg sides, 22619 chg coeffs, 365 upgd conss, 54036 impls, 37 clqs 13.29/13.30 c (round 14) 50370 del vars, 371 del conss, 49573 chg bounds, 804 chg sides, 22622 chg coeffs, 365 upgd conss, 54036 impls, 38 clqs 15.99/16.05 c (round 15) 50443 del vars, 371 del conss, 49573 chg bounds, 804 chg sides, 22622 chg coeffs, 365 upgd conss, 59906 impls, 38 clqs 16.19/16.26 c (round 16) 50452 del vars, 372 del conss, 49573 chg bounds, 841 chg sides, 22659 chg coeffs, 365 upgd conss, 59906 impls, 39 clqs 17.09/17.11 c (round 17) 50520 del vars, 372 del conss, 49573 chg bounds, 841 chg sides, 22659 chg coeffs, 365 upgd conss, 65386 impls, 37 clqs 17.29/17.39 c (round 18) 50529 del vars, 373 del conss, 49573 chg bounds, 905 chg sides, 22727 chg coeffs, 365 upgd conss, 65400 impls, 37 clqs 22.39/22.45 c (round 19) 50579 del vars, 373 del conss, 49573 chg bounds, 905 chg sides, 22727 chg coeffs, 365 upgd conss, 78280 impls, 29 clqs 22.59/22.66 c (round 20) 50586 del vars, 373 del conss, 49580 chg bounds, 915 chg sides, 22737 chg coeffs, 365 upgd conss, 78280 impls, 30 clqs 24.89/24.98 c (round 21) 50637 del vars, 373 del conss, 49581 chg bounds, 915 chg sides, 22737 chg coeffs, 365 upgd conss, 116464 impls, 27 clqs 25.09/25.14 c (round 22) 50638 del vars, 375 del conss, 49582 chg bounds, 944 chg sides, 22771 chg coeffs, 365 upgd conss, 116468 impls, 27 clqs 25.09/25.19 c (round 23) 50638 del vars, 375 del conss, 49582 chg bounds, 947 chg sides, 22774 chg coeffs, 365 upgd conss, 116468 impls, 27 clqs 28.28/28.33 c (27.0s) probing: 1000/34477 (2.9%) - 349 fixings, 30 aggregations, 30620 implications, 0 bound changes 29.28/29.39 c (round 24) 50693 del vars, 375 del conss, 49582 chg bounds, 947 chg sides, 22774 chg coeffs, 365 upgd conss, 145038 impls, 27 clqs 29.48/29.54 c (round 25) 50702 del vars, 377 del conss, 49582 chg bounds, 975 chg sides, 22804 chg coeffs, 365 upgd conss, 145040 impls, 27 clqs 31.79/31.82 c (round 26) 50774 del vars, 377 del conss, 49582 chg bounds, 975 chg sides, 22804 chg coeffs, 365 upgd conss, 156608 impls, 26 clqs 31.98/32.06 c (round 27) 50774 del vars, 377 del conss, 49582 chg bounds, 1001 chg sides, 22832 chg coeffs, 365 upgd conss, 156608 impls, 26 clqs 33.28/33.34 c (round 28) 50830 del vars, 377 del conss, 49582 chg bounds, 1001 chg sides, 22832 chg coeffs, 365 upgd conss, 157984 impls, 22 clqs 33.48/33.51 c (round 29) 50830 del vars, 377 del conss, 49582 chg bounds, 1004 chg sides, 22836 chg coeffs, 365 upgd conss, 157984 impls, 23 clqs 34.48/34.56 c (round 30) 50887 del vars, 377 del conss, 49582 chg bounds, 1004 chg sides, 22836 chg coeffs, 365 upgd conss, 162616 impls, 23 clqs 34.68/34.76 c (round 31) 50887 del vars, 377 del conss, 49582 chg bounds, 1029 chg sides, 22865 chg coeffs, 365 upgd conss, 162626 impls, 23 clqs 36.48/36.51 c (round 32) 50942 del vars, 377 del conss, 49582 chg bounds, 1029 chg sides, 22866 chg coeffs, 365 upgd conss, 167824 impls, 22 clqs 36.68/36.77 c (round 33) 50942 del vars, 379 del conss, 49582 chg bounds, 1113 chg sides, 22954 chg coeffs, 365 upgd conss, 167836 impls, 22 clqs 36.78/36.81 c (round 34) 50942 del vars, 379 del conss, 49582 chg bounds, 1118 chg sides, 22959 chg coeffs, 365 upgd conss, 167836 impls, 22 clqs 37.39/37.42 c (round 35) 50992 del vars, 379 del conss, 49582 chg bounds, 1118 chg sides, 22959 chg coeffs, 365 upgd conss, 170422 impls, 22 clqs 40.78/40.84 c (round 36) 51055 del vars, 379 del conss, 49582 chg bounds, 1118 chg sides, 22959 chg coeffs, 365 upgd conss, 178554 impls, 22 clqs 41.18/41.22 c (round 37) 51055 del vars, 380 del conss, 49582 chg bounds, 1366 chg sides, 23214 chg coeffs, 365 upgd conss, 178572 impls, 22 clqs 42.48/42.50 c (round 38) 51105 del vars, 380 del conss, 49582 chg bounds, 1366 chg sides, 23214 chg coeffs, 365 upgd conss, 179442 impls, 22 clqs 42.79/42.82 c (round 39) 51114 del vars, 382 del conss, 49582 chg bounds, 1419 chg sides, 23272 chg coeffs, 365 upgd conss, 179450 impls, 22 clqs 43.38/43.43 c (42.1s) probing: 2000/34477 (5.8%) - 764 fixings, 52 aggregations, 41052 implications, 0 bound changes 44.68/44.72 c (round 40) 51177 del vars, 382 del conss, 49582 chg bounds, 1419 chg sides, 23272 chg coeffs, 365 upgd conss, 194558 impls, 22 clqs 44.98/45.10 c (round 41) 51177 del vars, 382 del conss, 49582 chg bounds, 1449 chg sides, 23305 chg coeffs, 365 upgd conss, 194558 impls, 22 clqs 46.48/46.54 c (round 42) 51240 del vars, 382 del conss, 49582 chg bounds, 1449 chg sides, 23305 chg coeffs, 365 upgd conss, 209524 impls, 19 clqs 46.88/46.90 c (round 43) 51240 del vars, 382 del conss, 49582 chg bounds, 1519 chg sides, 23388 chg coeffs, 365 upgd conss, 209558 impls, 19 clqs 46.88/46.98 c (round 44) 51240 del vars, 386 del conss, 49582 chg bounds, 1529 chg sides, 23409 chg coeffs, 365 upgd conss, 209558 impls, 19 clqs 52.68/52.72 c (round 45) 51290 del vars, 386 del conss, 49582 chg bounds, 1529 chg sides, 23409 chg coeffs, 365 upgd conss, 212368 impls, 19 clqs 52.87/52.93 c (round 46) 51290 del vars, 387 del conss, 49582 chg bounds, 1665 chg sides, 23547 chg coeffs, 365 upgd conss, 212378 impls, 19 clqs 54.77/54.83 c (round 47) 51346 del vars, 387 del conss, 49582 chg bounds, 1665 chg sides, 23547 chg coeffs, 365 upgd conss, 213082 impls, 19 clqs 54.98/55.05 c (round 48) 51348 del vars, 399 del conss, 49583 chg bounds, 1704 chg sides, 23592 chg coeffs, 365 upgd conss, 213802 impls, 19 clqs 55.07/55.11 c (round 49) 51348 del vars, 399 del conss, 49583 chg bounds, 1705 chg sides, 23593 chg coeffs, 365 upgd conss, 213802 impls, 19 clqs 59.38/59.42 c (58.0s) probing: 3000/34477 (8.7%) - 985 fixings, 95 aggregations, 45606 implications, 0 bound changes 59.87/59.98 c (round 50) 51398 del vars, 399 del conss, 49583 chg bounds, 1705 chg sides, 23593 chg coeffs, 365 upgd conss, 215452 impls, 17 clqs 66.87/66.94 c (round 51) 51450 del vars, 399 del conss, 49583 chg bounds, 1705 chg sides, 23593 chg coeffs, 365 upgd conss, 216990 impls, 15 clqs 67.08/67.15 c (round 52) 51450 del vars, 409 del conss, 49583 chg bounds, 1735 chg sides, 23626 chg coeffs, 365 upgd conss, 216992 impls, 15 clqs 70.17/70.23 c (68.9s) probing: 4000/34477 (11.6%) - 1028 fixings, 139 aggregations, 47083 implications, 0 bound changes 77.07/77.14 c (round 53) 51500 del vars, 409 del conss, 49583 chg bounds, 1735 chg sides, 23626 chg coeffs, 365 upgd conss, 219520 impls, 10 clqs 77.37/77.46 c (round 54) 51509 del vars, 412 del conss, 49583 chg bounds, 1817 chg sides, 23714 chg coeffs, 365 upgd conss, 219528 impls, 12 clqs 77.47/77.52 c (round 55) 51509 del vars, 412 del conss, 49583 chg bounds, 1828 chg sides, 23728 chg coeffs, 365 upgd conss, 219528 impls, 12 clqs 77.47/77.55 c (round 56) 51509 del vars, 412 del conss, 49583 chg bounds, 1829 chg sides, 23733 chg coeffs, 365 upgd conss, 219528 impls, 12 clqs 80.57/80.61 c (79.2s) probing: 5000/34477 (14.5%) - 1082 fixings, 145 aggregations, 49149 implications, 0 bound changes 82.17/82.26 c (round 57) 51559 del vars, 412 del conss, 49583 chg bounds, 1829 chg sides, 23734 chg coeffs, 365 upgd conss, 223328 impls, 8 clqs 82.37/82.42 c (round 58) 51568 del vars, 414 del conss, 49583 chg bounds, 1831 chg sides, 23740 chg coeffs, 365 upgd conss, 223334 impls, 12 clqs 82.37/82.48 c (round 59) 51568 del vars, 415 del conss, 49583 chg bounds, 1857 chg sides, 23770 chg coeffs, 365 upgd conss, 223334 impls, 13 clqs 82.47/82.51 c (round 60) 51568 del vars, 415 del conss, 49583 chg bounds, 1858 chg sides, 23775 chg coeffs, 365 upgd conss, 223334 impls, 13 clqs 83.67/83.78 c (round 61) 51618 del vars, 415 del conss, 49583 chg bounds, 1858 chg sides, 23776 chg coeffs, 365 upgd conss, 223886 impls, 11 clqs 83.87/83.97 c (round 62) 51618 del vars, 416 del conss, 49583 chg bounds, 2124 chg sides, 24042 chg coeffs, 365 upgd conss, 223892 impls, 13 clqs 90.17/90.28 c (round 63) 51678 del vars, 416 del conss, 49583 chg bounds, 2124 chg sides, 24043 chg coeffs, 365 upgd conss, 227234 impls, 9 clqs 90.46/90.50 c (round 64) 51678 del vars, 416 del conss, 49583 chg bounds, 2195 chg sides, 24117 chg coeffs, 365 upgd conss, 227248 impls, 21 clqs 90.46/90.53 c (round 65) 51678 del vars, 416 del conss, 49583 chg bounds, 2196 chg sides, 24119 chg coeffs, 365 upgd conss, 227248 impls, 21 clqs 90.46/90.55 c (round 66) 51678 del vars, 416 del conss, 49583 chg bounds, 2197 chg sides, 24124 chg coeffs, 365 upgd conss, 227248 impls, 21 clqs 91.06/91.14 c (89.8s) probing: 6000/34477 (17.4%) - 1221 fixings, 162 aggregations, 50927 implications, 0 bound changes 92.46/92.52 c (round 67) 51733 del vars, 416 del conss, 49583 chg bounds, 2197 chg sides, 24125 chg coeffs, 365 upgd conss, 230160 impls, 14 clqs 92.66/92.76 c (round 68) 51733 del vars, 418 del conss, 49583 chg bounds, 2273 chg sides, 24202 chg coeffs, 365 upgd conss, 230170 impls, 18 clqs 101.27/101.34 c (100.0s) probing: 7000/34477 (20.3%) - 1283 fixings, 169 aggregations, 53925 implications, 0 bound changes 101.27/101.39 c (100.0s) probing: 7005/34477 (20.3%) - 1283 fixings, 169 aggregations, 53925 implications, 0 bound changes 101.27/101.39 c (100.0s) probing aborted: 100/100 successive totally useless probings 101.27/101.39 c (round 69) 51777 del vars, 418 del conss, 49583 chg bounds, 2273 chg sides, 24203 chg coeffs, 365 upgd conss, 235164 impls, 14 clqs 104.77/104.82 c (round 70) 51832 del vars, 418 del conss, 49583 chg bounds, 2273 chg sides, 24203 chg coeffs, 365 upgd conss, 244412 impls, 14 clqs 104.87/104.92 c (round 71) 51832 del vars, 418 del conss, 49583 chg bounds, 2274 chg sides, 24205 chg coeffs, 365 upgd conss, 244412 impls, 18 clqs 108.97/109.00 c (107.6s) probing: 7678/34477 (22.3%) - 1352 fixings, 193 aggregations, 56986 implications, 0 bound changes 108.97/109.00 c (107.6s) probing aborted: 100/100 successive totally useless probings 108.97/109.00 c (round 72) 51870 del vars, 418 del conss, 49583 chg bounds, 2274 chg sides, 24206 chg coeffs, 365 upgd conss, 246080 impls, 14 clqs 112.07/112.10 c (110.7s) probing: 8000/34477 (23.2%) - 1376 fixings, 201 aggregations, 57409 implications, 0 bound changes 114.67/114.72 c (113.4s) probing: 8282/34477 (24.0%) - 1381 fixings, 202 aggregations, 57471 implications, 0 bound changes 114.67/114.72 c (113.4s) probing aborted: 100/100 successive totally useless probings 114.67/114.72 c (round 73) 51908 del vars, 418 del conss, 49583 chg bounds, 2274 chg sides, 24206 chg coeffs, 365 upgd conss, 247126 impls, 14 clqs 115.07/115.12 c (round 74) 51908 del vars, 418 del conss, 49583 chg bounds, 2467 chg sides, 24400 chg coeffs, 365 upgd conss, 247128 impls, 18 clqs 116.37/116.41 c (115.0s) probing: 8416/34477 (24.4%) - 1395 fixings, 202 aggregations, 57725 implications, 0 bound changes 116.37/116.41 c (115.0s) probing aborted: 100/100 successive totally useless probings 116.37/116.41 c (round 75) 51922 del vars, 418 del conss, 49583 chg bounds, 2467 chg sides, 24401 chg coeffs, 365 upgd conss, 247658 impls, 14 clqs 117.47/117.50 c (116.1s) probing: 8527/34477 (24.7%) - 1402 fixings, 202 aggregations, 57743 implications, 0 bound changes 117.47/117.50 c (116.1s) probing aborted: 100/100 successive totally useless probings 117.47/117.50 c (round 76) 51929 del vars, 418 del conss, 49583 chg bounds, 2467 chg sides, 24402 chg coeffs, 365 upgd conss, 247694 impls, 15 clqs 117.47/117.56 c (round 77) 51929 del vars, 418 del conss, 49583 chg bounds, 2469 chg sides, 24407 chg coeffs, 365 upgd conss, 247694 impls, 17 clqs 118.97/119.08 c (117.7s) probing: 8689/34477 (25.2%) - 1407 fixings, 202 aggregations, 57754 implications, 0 bound changes 118.97/119.08 c (117.7s) probing aborted: 100/100 successive totally useless probings 118.97/119.08 c (round 78) 51934 del vars, 418 del conss, 49583 chg bounds, 2469 chg sides, 24407 chg coeffs, 365 upgd conss, 247716 impls, 15 clqs 120.37/120.49 c (119.1s) probing: 8836/34477 (25.6%) - 1412 fixings, 202 aggregations, 57758 implications, 0 bound changes 120.37/120.49 c (119.1s) probing aborted: 100/100 successive totally useless probings 120.37/120.49 c (round 79) 51939 del vars, 418 del conss, 49583 chg bounds, 2469 chg sides, 24407 chg coeffs, 365 upgd conss, 247724 impls, 15 clqs 120.56/120.64 c (119.3s) probing: 8846/34477 (25.7%) - 1412 fixings, 202 aggregations, 57758 implications, 0 bound changes 120.56/120.64 c (119.3s) probing aborted: 100/100 successive totally useless probings 120.56/120.65 c presolving (80 rounds): 120.56/120.65 c 51939 deleted vars, 418 deleted constraints, 49583 tightened bounds, 0 added holes, 2469 changed sides, 24408 changed coefficients 120.56/120.65 c 247724 implications, 16 cliques 120.56/120.65 c presolved problem has 32798 variables (32798 bin, 0 int, 0 impl, 0 cont) and 1441 constraints 120.56/120.65 c 364 constraints of type <knapsack> 120.56/120.65 c 14 constraints of type <setppc> 120.56/120.65 c 1063 constraints of type <linear> 120.56/120.65 c transformed objective value is always integral (scale: 1) 120.56/120.65 c Presolving Time: 118.74 120.56/120.65 c - non default parameters ---------------------------------------------------------------------- 120.56/120.65 c # SCIP version 1.2.1.3 120.56/120.65 c 120.56/120.65 c # frequency for displaying node information lines 120.56/120.65 c # [type: int, range: [-1,2147483647], default: 100] 120.56/120.65 c display/freq = 10000 120.56/120.65 c 120.56/120.65 c # maximal time in seconds to run 120.56/120.65 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 120.56/120.65 c limits/time = 1788.64 120.56/120.65 c 120.56/120.65 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 120.56/120.65 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 120.56/120.65 c limits/memory = 1620 120.56/120.65 c 120.56/120.65 c # default clock type (1: CPU user seconds, 2: wall clock time) 120.56/120.65 c # [type: int, range: [1,2], default: 1] 120.56/120.65 c timing/clocktype = 2 120.56/120.65 c 120.56/120.65 c # should presolving try to simplify inequalities 120.56/120.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 120.56/120.65 c constraints/linear/simplifyinequalities = TRUE 120.56/120.65 c 120.56/120.65 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 120.56/120.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 120.56/120.65 c constraints/indicator/addCouplingCons = TRUE 120.56/120.65 c 120.56/120.65 c # should presolving try to simplify knapsacks 120.56/120.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 120.56/120.65 c constraints/knapsack/simplifyinequalities = TRUE 120.56/120.65 c 120.56/120.65 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 120.56/120.65 c # [type: int, range: [-1,2147483647], default: -1] 120.56/120.65 c separating/rapidlearning/freq = 0 120.56/120.65 c 120.56/120.65 c ----------------------------------------------------------------------------------------------- 120.56/120.65 c start solving 120.56/120.68 c 948.07/948.38 c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09) 1774.66/1775.17 c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09) 1789.95/1790.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1789.95/1790.40 c 1789s| 1 | 0 |638532 | - | 205M| 0 | - | 32k|1441 | 32k|1441 | 0 | 0 | 0 |-1.046429e+10 | -- | Inf 1789.95/1790.42 c 1789s| 1 | 2 |638532 | - | 205M| 0 | - | 32k|1441 | 32k|1441 | 0 | 0 | 0 |-1.046429e+10 | -- | Inf 1789.95/1790.42 c 1789.95/1790.42 c SCIP Status : solving was interrupted [time limit reached] 1789.95/1790.42 c Solving Time (sec) : 1789.05 1789.95/1790.42 c Solving Nodes : 1 1789.95/1790.42 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1789.95/1790.42 c Dual Bound : -1.04642927450000e+10 1789.95/1790.42 c Gap : infinite 1789.95/1790.42 s UNKNOWN 1789.95/1790.42 c SCIP Status : solving was interrupted [time limit reached] 1789.95/1790.42 c Solving Time : 1789.05 1789.95/1790.42 c Original Problem : 1789.95/1790.42 c Problem name : HOME/instance-2703703-1278559407.opb 1789.95/1790.42 c Variables : 84737 (84737 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.95/1790.42 c Constraints : 1802 initial, 1802 maximal 1789.95/1790.42 c Presolved Problem : 1789.95/1790.42 c Problem name : t_HOME/instance-2703703-1278559407.opb 1789.95/1790.42 c Variables : 32798 (32798 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.95/1790.42 c Constraints : 1441 initial, 1441 maximal 1789.95/1790.42 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1789.95/1790.42 c trivial : 0.53 0 0 0 0 0 0 0 0 1789.95/1790.42 c dualfix : 0.55 180 0 0 0 0 0 0 0 1789.95/1790.42 c boundshift : 0.00 0 0 0 0 0 0 0 0 1789.95/1790.42 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1789.95/1790.42 c implics : 0.27 0 0 0 0 0 0 0 0 1789.95/1790.42 c probing : 107.88 1412 202 0 0 0 0 0 0 1789.95/1790.42 c knapsack : 5.78 2 0 0 0 0 1 2155 16475 1789.95/1790.42 c setppc : 0.02 0 0 0 0 0 43 0 0 1789.95/1790.42 c linear : 3.09 49898 245 0 49583 0 374 314 7933 1789.95/1790.42 c root node : - 0 - - 0 - - - - 1789.95/1790.42 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1789.95/1790.42 c integral : 0 0 0 0 0 0 0 0 0 0 1789.95/1790.42 c knapsack : 364 0 21911 0 1 99 0 0 0 0 1789.95/1790.42 c setppc : 14 0 21812 0 1 0 0 0 0 0 1789.95/1790.42 c linear : 1063 0 21812 0 1 435 0 0 0 0 1789.95/1790.42 c countsols : 0 0 0 0 1 0 0 0 0 0 1789.95/1790.42 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1789.95/1790.42 c integral : 0.00 0.00 0.00 0.00 0.00 1789.95/1790.42 c knapsack : 4.23 0.00 4.22 0.00 0.00 1789.95/1790.42 c setppc : 0.07 0.00 0.07 0.00 0.00 1789.95/1790.42 c linear : 32.17 0.00 32.17 0.00 0.00 1789.95/1790.42 c countsols : 0.00 0.00 0.00 0.00 0.00 1789.95/1790.42 c Propagators : Time Calls Cutoffs DomReds 1789.95/1790.42 c vbounds : 0.02 2 0 0 1789.95/1790.42 c rootredcost : 0.02 0 0 0 1789.95/1790.42 c pseudoobj : 0.01 1 0 0 1789.95/1790.42 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1789.95/1790.42 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1789.95/1790.42 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1789.95/1790.42 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1789.95/1790.42 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1789.95/1790.42 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1789.95/1790.42 c applied globally : - - - 0 0.0 - - - 1789.95/1790.42 c applied locally : - - - 0 0.0 - - - 1789.95/1790.42 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1789.95/1790.42 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1789.95/1790.42 c redcost : 0.00 0 0 0 0 0 1789.95/1790.42 c impliedbounds : 0.00 0 0 0 0 0 1789.95/1790.42 c intobj : 0.00 0 0 0 0 0 1789.95/1790.42 c cgmip : 0.00 0 0 0 0 0 1789.95/1790.42 c gomory : 0.00 0 0 0 0 0 1789.95/1790.42 c strongcg : 0.00 0 0 0 0 0 1789.95/1790.42 c cmir : 0.00 0 0 0 0 0 1789.95/1790.42 c flowcover : 0.00 0 0 0 0 0 1789.95/1790.42 c clique : 0.00 0 0 0 0 0 1789.95/1790.42 c zerohalf : 0.00 0 0 0 0 0 1789.95/1790.42 c mcf : 0.00 0 0 0 0 0 1789.95/1790.42 c rapidlearning : 0.00 0 0 0 0 0 1789.95/1790.42 c Pricers : Time Calls Vars 1789.95/1790.42 c problem variables: 0.00 0 0 1789.95/1790.42 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1789.95/1790.42 c relpscost : 0.00 0 0 0 0 0 0 1789.95/1790.42 c pscost : 0.00 0 0 0 0 0 0 1789.95/1790.42 c inference : 0.02 1 0 0 0 0 2 1789.95/1790.42 c mostinf : 0.00 0 0 0 0 0 0 1789.95/1790.42 c leastinf : 0.00 0 0 0 0 0 0 1789.95/1790.42 c fullstrong : 0.00 0 0 0 0 0 0 1789.95/1790.42 c allfullstrong : 0.00 0 0 0 0 0 0 1789.95/1790.42 c random : 0.00 0 0 0 0 0 0 1789.95/1790.42 c Primal Heuristics : Time Calls Found 1789.95/1790.42 c LP solutions : 0.00 - 0 1789.95/1790.42 c pseudo solutions : 0.00 - 0 1789.95/1790.42 c oneopt : 0.00 0 0 1789.95/1790.42 c trivial : 0.24 2 0 1789.95/1790.42 c simplerounding : 0.00 0 0 1789.95/1790.42 c zirounding : 0.00 0 0 1789.95/1790.42 c rounding : 0.00 0 0 1789.95/1790.42 c shifting : 0.00 0 0 1789.95/1790.42 c intshifting : 0.00 0 0 1789.95/1790.42 c twoopt : 0.00 0 0 1789.95/1790.42 c fixandinfer : 0.00 0 0 1789.95/1790.42 c feaspump : 0.00 0 0 1789.95/1790.42 c coefdiving : 0.00 0 0 1789.95/1790.42 c pscostdiving : 0.00 0 0 1789.95/1790.42 c fracdiving : 0.00 0 0 1789.95/1790.42 c veclendiving : 0.00 0 0 1789.95/1790.42 c intdiving : 0.00 0 0 1789.95/1790.42 c actconsdiving : 0.00 0 0 1789.95/1790.42 c objpscostdiving : 0.00 0 0 1789.95/1790.42 c rootsoldiving : 0.00 0 0 1789.95/1790.42 c linesearchdiving : 0.00 0 0 1789.95/1790.42 c guideddiving : 0.00 0 0 1789.95/1790.42 c octane : 0.00 0 0 1789.95/1790.42 c rens : 0.00 0 0 1789.95/1790.42 c rins : 0.00 0 0 1789.95/1790.42 c localbranching : 0.00 0 0 1789.95/1790.42 c mutation : 0.00 0 0 1789.95/1790.42 c crossover : 0.00 0 0 1789.95/1790.42 c dins : 0.00 0 0 1789.95/1790.42 c undercover : 0.00 0 0 1789.95/1790.42 c nlp : 0.00 0 0 1789.95/1790.42 c trysol : 0.00 0 0 1789.95/1790.42 c LP : Time Calls Iterations Iter/call Iter/sec 1789.95/1790.42 c primal LP : 15.23 1 6656 6656.00 437.07 1789.95/1790.42 c dual LP : 1654.20 2 631876 315938.00 381.98 1789.95/1790.42 c lex dual LP : 0.00 0 0 0.00 - 1789.95/1790.42 c barrier LP : 0.00 0 0 0.00 - 1789.95/1790.42 c diving/probing LP: 0.00 0 0 0.00 - 1789.95/1790.42 c strong branching : 0.00 0 0 0.00 - 1789.95/1790.42 c (at root node) : - 0 0 0.00 - 1789.95/1790.42 c conflict analysis: 0.00 0 0 0.00 - 1789.95/1790.42 c B&B Tree : 1789.95/1790.42 c number of runs : 1 1789.95/1790.42 c nodes : 1 1789.95/1790.42 c nodes (total) : 1 1789.95/1790.42 c nodes left : 2 1789.95/1790.42 c max depth : 0 1789.95/1790.42 c max depth (total): 0 1789.95/1790.42 c backtracks : 0 (0.0%) 1789.95/1790.42 c delayed cutoffs : 0 1789.95/1790.42 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1789.95/1790.42 c avg switch length: 1.00 1789.95/1790.42 c switching time : 0.00 1789.95/1790.42 c Solution : 1789.95/1790.42 c Solutions found : 0 (0 improvements) 1789.95/1790.42 c Primal Bound : - 1789.95/1790.42 c Dual Bound : -1.04642927450000e+10 1789.95/1790.42 c Gap : infinite 1789.95/1790.42 c Root Dual Bound : -1.04642927450000e+10 1789.95/1790.42 c Root Iterations : 638532 1790.37/1790.87 c Time complete: 1790.43.
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-2703703-1278559407/watcher-2703703-1278559407 -o /tmp/evaluation-result-2703703-1278559407/solver-2703703-1278559407 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703703-1278559407.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.06 1.04 1.00 3/106 30482 /proc/meminfo: memFree=1678004/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=7904 CPUtime=0 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 1072 0 0 0 0 0 0 0 18 0 1 0 24153314 8093696 985 1992294400 4194304 8395647 140733509803520 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30482/statm: 1976 993 365 1026 0 946 0 [startup+0.0415431 s] /proc/loadavg: 1.06 1.04 1.00 3/106 30482 /proc/meminfo: memFree=1678004/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=16160 CPUtime=0.03 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 3112 0 0 0 2 1 0 0 20 0 1 0 24153314 16547840 3023 1992294400 4194304 8395647 140733509803520 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30482/statm: 4040 3038 387 1026 0 3010 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 16160 [startup+0.101547 s] /proc/loadavg: 1.06 1.04 1.00 3/106 30482 /proc/meminfo: memFree=1678004/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=25388 CPUtime=0.09 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 5650 0 0 0 8 1 0 0 20 0 1 0 24153314 25997312 5556 1992294400 4194304 8395647 140733509803520 18446744073709551615 5755203 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30482/statm: 6347 5556 394 1026 0 5317 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 25388 [startup+0.301565 s] /proc/loadavg: 1.06 1.04 1.00 3/106 30482 /proc/meminfo: memFree=1678004/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=42968 CPUtime=0.29 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 10040 0 0 0 26 3 0 0 20 0 1 0 24153314 43999232 9946 1992294400 4194304 8395647 140733509803520 18446744073709551615 7430272 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30482/statm: 10742 9946 394 1026 0 9712 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 42968 [startup+0.701601 s] /proc/loadavg: 1.06 1.04 1.00 3/106 30482 /proc/meminfo: memFree=1678004/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=66148 CPUtime=0.69 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 15768 0 0 0 64 5 0 0 21 0 1 0 24153314 67735552 15674 1992294400 4194304 8395647 140733509803520 18446744073709551615 6765598 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30482/statm: 16537 15674 394 1026 0 15507 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 66148 [startup+1.50067 s] /proc/loadavg: 1.05 1.04 1.00 2/107 30483 /proc/meminfo: memFree=1606572/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=132952 CPUtime=1.49 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 32582 0 0 0 137 12 0 0 23 0 1 0 24153314 136142848 32134 1992294400 4194304 8395647 140733509803520 18446744073709551615 7491675 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 33238 32135 410 1026 0 32208 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 132952 [startup+3.10082 s] /proc/loadavg: 1.05 1.04 1.00 2/107 30483 /proc/meminfo: memFree=1490260/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=219380 CPUtime=3.09 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 52541 0 0 0 290 19 0 0 25 0 1 0 24153314 224645120 52093 1992294400 4194304 8395647 140733509803520 18446744073709551615 4982662 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 54845 52093 471 1026 0 53815 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 219380 [startup+6.30111 s] /proc/loadavg: 1.05 1.04 1.00 2/107 30483 /proc/meminfo: memFree=1449836/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=241120 CPUtime=6.29 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 57931 0 0 0 608 21 0 0 25 0 1 0 24153314 246906880 57390 1992294400 4194304 8395647 140733509803520 18446744073709551615 6080543 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 60280 57390 506 1026 0 59250 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 241120 [startup+12.7007 s] /proc/loadavg: 1.04 1.03 1.00 2/107 30483 /proc/meminfo: memFree=1446488/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=244128 CPUtime=12.69 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 58684 0 0 0 1248 21 0 0 25 0 1 0 24153314 249987072 58143 1992294400 4194304 8395647 140733509803520 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 61032 58143 506 1026 0 60002 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 244128 [startup+25.5018 s] /proc/loadavg: 1.04 1.03 1.00 2/107 30483 /proc/meminfo: memFree=1443512/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=247136 CPUtime=25.49 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 59428 0 0 0 2528 21 0 0 25 0 1 0 24153314 253067264 58887 1992294400 4194304 8395647 140733509803520 18446744073709551615 5026706 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 61784 58887 506 1026 0 60754 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 247136 [startup+51.1012 s] /proc/loadavg: 1.02 1.03 1.00 2/107 30483 /proc/meminfo: memFree=1439544/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=251200 CPUtime=51.08 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 60447 0 0 0 5087 21 0 0 25 0 1 0 24153314 257228800 59906 1992294400 4194304 8395647 140733509803520 18446744073709551615 4911233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 62800 59906 511 1026 0 61770 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 251200 [startup+102.309 s] /proc/loadavg: 1.01 1.02 1.00 2/107 30485 /proc/meminfo: memFree=1436940/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=253752 CPUtime=102.28 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 61085 0 0 0 10206 22 0 0 25 0 1 0 24153314 259842048 60544 1992294400 4194304 8395647 140733509803520 18446744073709551615 5608304 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 63438 60544 511 1026 0 62408 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 253752 [startup+162.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 30487 /proc/meminfo: memFree=1407304/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=291648 CPUtime=162.26 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68683 0 0 0 16192 34 0 0 25 0 1 0 24153314 298647552 68013 1992294400 4194304 8395647 140733509803520 18446744073709551615 6503581 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 72912 68013 584 1026 0 71882 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 291648 [startup+222.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 30489 /proc/meminfo: memFree=1406932/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=291648 CPUtime=222.24 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68801 0 0 0 22174 50 0 0 25 0 1 0 24153314 298647552 68131 1992294400 4194304 8395647 140733509803520 18446744073709551615 6503914 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 72912 68131 584 1026 0 71882 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 291648 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30491 /proc/meminfo: memFree=1406932/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=291648 CPUtime=282.23 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68801 0 0 0 28156 67 0 0 25 0 1 0 24153314 298647552 68131 1992294400 4194304 8395647 140733509803520 18446744073709551615 6663843 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 72912 68131 584 1026 0 71882 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 291648 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30491 /proc/meminfo: memFree=1406808/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=291648 CPUtime=342.2 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68922 0 0 0 34136 84 0 0 25 0 1 0 24153314 298647552 68252 1992294400 4194304 8395647 140733509803520 18446744073709551615 6503581 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 72912 68252 684 1026 0 71882 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 291648 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30493 /proc/meminfo: memFree=1406808/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=291648 CPUtime=402.2 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68922 0 0 0 40117 103 0 0 25 0 1 0 24153314 298647552 68252 1992294400 4194304 8395647 140733509803520 18446744073709551615 6503922 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 72912 68252 684 1026 0 71882 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 291648 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30495 /proc/meminfo: memFree=1406684/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=291648 CPUtime=462.18 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68922 0 0 0 46097 121 0 0 25 0 1 0 24153314 298647552 68252 1992294400 4194304 8395647 140733509803520 18446744073709551615 6501630 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 72912 68252 684 1026 0 71882 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 291648 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30497 /proc/meminfo: memFree=1406684/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=291648 CPUtime=522.17 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68922 0 0 0 52076 141 0 0 25 0 1 0 24153314 298647552 68252 1992294400 4194304 8395647 140733509803520 18446744073709551615 6503554 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 72912 68252 684 1026 0 71882 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 291648 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30499 /proc/meminfo: memFree=1406684/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=291648 CPUtime=582.15 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68922 0 0 0 58055 160 0 0 25 0 1 0 24153314 298647552 68252 1992294400 4194304 8395647 140733509803520 18446744073709551615 6697978 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 72912 68252 684 1026 0 71882 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 291648 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 3/107 30499 /proc/meminfo: memFree=1406560/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=291648 CPUtime=642.14 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68922 0 0 0 64034 180 0 0 25 0 1 0 24153314 298647552 68252 1992294400 4194304 8395647 140733509803520 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 72912 68252 684 1026 0 71882 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 291648 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1406064/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=291648 CPUtime=1062.03 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68924 0 0 0 105892 311 0 0 25 0 1 0 24153314 298647552 68254 1992294400 4194304 8395647 140733509803520 18446744073709551615 6670389 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 72912 68254 685 1026 0 71882 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 291648 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30513 /proc/meminfo: memFree=1406064/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=291648 CPUtime=1122.01 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68924 0 0 0 111875 326 0 0 25 0 1 0 24153314 298647552 68254 1992294400 4194304 8395647 140733509803520 18446744073709551615 6693729 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 72912 68254 685 1026 0 71882 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 291648 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30515 /proc/meminfo: memFree=1405940/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=291648 CPUtime=1182.01 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68924 0 0 0 117859 342 0 0 25 0 1 0 24153314 298647552 68254 1992294400 4194304 8395647 140733509803520 18446744073709551615 6502802 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 72912 68254 685 1026 0 71882 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 291648 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30515 /proc/meminfo: memFree=1405816/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=291648 CPUtime=1241.99 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68924 0 0 0 123836 363 0 0 25 0 1 0 24153314 298647552 68254 1992294400 4194304 8395647 140733509803520 18446744073709551615 6667456 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 72912 68254 685 1026 0 71882 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 291648 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30517 /proc/meminfo: memFree=1405692/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=291648 CPUtime=1301.98 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68924 0 0 0 129814 384 0 0 25 0 1 0 24153314 298647552 68254 1992294400 4194304 8395647 140733509803520 18446744073709551615 6502788 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 72912 68254 685 1026 0 71882 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 291648 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30519 /proc/meminfo: memFree=1405692/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=291648 CPUtime=1361.96 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68924 0 0 0 135792 404 0 0 25 0 1 0 24153314 298647552 68254 1992294400 4194304 8395647 140733509803520 18446744073709551615 6670389 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 72912 68254 685 1026 0 71882 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 291648 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30521 /proc/meminfo: memFree=1405692/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=291648 CPUtime=1421.96 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68924 0 0 0 141775 421 0 0 25 0 1 0 24153314 298647552 68254 1992294400 4194304 8395647 140733509803520 18446744073709551615 6663841 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 72912 68254 685 1026 0 71882 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 291648 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30523 /proc/meminfo: memFree=1405692/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=291648 CPUtime=1481.93 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68924 0 0 0 147755 438 0 0 25 0 1 0 24153314 298647552 68254 1992294400 4194304 8395647 140733509803520 18446744073709551615 6693729 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 72912 68254 685 1026 0 71882 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 291648 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30523 /proc/meminfo: memFree=1405568/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=291648 CPUtime=1541.92 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68924 0 0 0 153737 455 0 0 25 0 1 0 24153314 298647552 68254 1992294400 4194304 8395647 140733509803520 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 72912 68254 685 1026 0 71882 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 291648 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30525 /proc/meminfo: memFree=1405568/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=291648 CPUtime=1601.91 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68924 0 0 0 159717 474 0 0 25 0 1 0 24153314 298647552 68254 1992294400 4194304 8395647 140733509803520 18446744073709551615 6502821 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 72912 68254 685 1026 0 71882 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 291648 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30527 /proc/meminfo: memFree=1405692/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=291648 CPUtime=1661.89 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68924 0 0 0 165692 497 0 0 25 0 1 0 24153314 298647552 68254 1992294400 4194304 8395647 140733509803520 18446744073709551615 6670369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 72912 68254 685 1026 0 71882 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 291648 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30529 /proc/meminfo: memFree=1405568/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=291648 CPUtime=1721.87 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68924 0 0 0 171670 517 0 0 25 0 1 0 24153314 298647552 68254 1992294400 4194304 8395647 140733509803520 18446744073709551615 6663825 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 72912 68254 685 1026 0 71882 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 291648 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30531 /proc/meminfo: memFree=1405320/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=291648 CPUtime=1781.86 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68925 0 0 0 177652 534 0 0 25 0 1 0 24153314 298647552 68255 1992294400 4194304 8395647 140733509803520 18446744073709551615 6670381 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 72912 68255 686 1026 0 71882 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 291648 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30531 /proc/meminfo: memFree=1405320/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=291648 CPUtime=1785.06 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68925 0 0 0 177972 534 0 0 25 0 1 0 24153314 298647552 68255 1992294400 4194304 8395647 140733509803520 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 72912 68255 686 1026 0 71882 0 Current children cumulated CPU time (s) 1785.06 Current children cumulated vsize (KiB) 291648 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30531 /proc/meminfo: memFree=1405320/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=291648 CPUtime=1788.26 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68925 0 0 0 178290 536 0 0 25 0 1 0 24153314 298647552 68255 1992294400 4194304 8395647 140733509803520 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 72912 68255 686 1026 0 71882 0 Current children cumulated CPU time (s) 1788.26 Current children cumulated vsize (KiB) 291648 [startup+1789.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30531 /proc/meminfo: memFree=1405320/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=291648 CPUtime=1789.06 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68925 0 0 0 178370 536 0 0 25 0 1 0 24153314 298647552 68255 1992294400 4194304 8395647 140733509803520 18446744073709551615 6698034 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 72912 68255 686 1026 0 71882 0 Current children cumulated CPU time (s) 1789.06 Current children cumulated vsize (KiB) 291648 [startup+1790.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30531 /proc/meminfo: memFree=1405320/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=291648 CPUtime=1789.86 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68925 0 0 0 178450 536 0 0 25 0 1 0 24153314 298647552 68255 1992294400 4194304 8395647 140733509803520 18446744073709551615 6663849 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30482/statm: 72912 68255 686 1026 0 71882 0 Current children cumulated CPU time (s) 1789.86 Current children cumulated vsize (KiB) 291648 [startup+1790.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30531 /proc/meminfo: memFree=1405320/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=291648 CPUtime=1790.26 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68936 0 0 0 178490 536 0 0 25 0 1 0 24153314 298647552 68266 1992294400 4194304 8395647 140733509803520 18446744073709551615 6345199 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30482/statm: 72912 68266 697 1026 0 71882 0 Current children cumulated CPU time (s) 1790.26 Current children cumulated vsize (KiB) 291648 [startup+1790.81 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30531 /proc/meminfo: memFree=1405320/2059040 swapFree=4138592/4192956 [pid=30482] ppid=30480 vsize=276944 CPUtime=1790.37 /proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68936 0 0 0 178500 537 0 0 25 0 1 0 24153314 283590656 66596 1992294400 4194304 8395647 140733509803520 18446744073709551615 6345725 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30482/statm: 69236 66596 697 1026 0 68206 0 Current children cumulated CPU time (s) 1790.37 Current children cumulated vsize (KiB) 276944 Child status: 0 Real time (s): 1790.9 CPU time (s): 1790.46 CPU user time (s): 1785.06 CPU system time (s): 5.39918 CPU usage (%): 99.9758 Max. virtual memory (cumulated for all children) (KiB): 291648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785.06 system time used= 5.39918 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 68942 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= 4 involuntary context switches= 11692 runsolver used 2.94655 second user time and 8.46771 second system time The end
Begin job on node015 at 2010-07-08 05:23:28 IDJOB=2703703 IDBENCH=2433 IDSOLVER=1213 FILE ID=node015/2703703-1278559407 PBS_JOBID= 11239516 Free space on /tmp= 62576 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-cycle.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703703-1278559407/watcher-2703703-1278559407 -o /tmp/evaluation-result-2703703-1278559407/solver-2703703-1278559407 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703703-1278559407.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a4f456875ede4549ae03268180cd603c RANDOM SEED=1365945194 node015.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.214 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.42 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.214 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: 1678408 kB Buffers: 61188 kB Cached: 227704 kB SwapCached: 9100 kB Active: 142000 kB Inactive: 163476 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1678408 kB SwapTotal: 4192956 kB SwapFree: 4138592 kB Dirty: 18744 kB Writeback: 0 kB AnonPages: 13404 kB Mapped: 11960 kB Slab: 53172 kB PageTables: 4132 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183416 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= 62568 MiB End job on node015 at 2010-07-08 05:53:19