Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | ? | 1795.62 | 1795.39 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mzzv42z.opb |
MD5SUM | 8886b8ab7bdc8ec03150a7b794b8a992 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -10270 |
Best CPU time to get the best result obtained on this benchmark | 590.273 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -10270 |
Optimality of the best value was proved | YES |
Number of variables | 12596 |
Total number of constraints | 10687 |
Number of constraints which are clauses | 4 |
Number of constraints which are cardinality constraints (but not clauses) | 5680 |
Number of constraints which are nor clauses,nor cardinality constraints | 5003 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 714 |
Biggest coefficient in the objective function | 559 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 66891 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 1117 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 66891 |
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.29/0.38 c SCIP version 1.1.0.7 0.29/0.38 c LP-Solver SoPlex 1.4.1 0.29/0.38 c user parameter file <scip.set> not found - using default parameters 0.29/0.38 c read problem <HOME/instance-1868730-1245135712.opb> 0.29/0.38 c original problem has 12596 variables (12596 bin, 0 int, 0 impl, 0 cont) and 10687 constraints 0.49/0.54 c start presolving problem 0.49/0.54 c presolving: 0.69/0.70 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 393 chg sides, 429 chg coeffs, 0 upgd conss, 48 impls, 7837 clqs 0.79/0.87 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 393 chg sides, 429 chg coeffs, 8331 upgd conss, 48 impls, 7837 clqs 0.99/1.01 c (round 3) 39 del vars, 22 del conss, 8 chg bounds, 988 chg sides, 1702 chg coeffs, 8331 upgd conss, 1308 impls, 8107 clqs 0.99/1.09 c (round 4) 42 del vars, 129 del conss, 8 chg bounds, 1211 chg sides, 2011 chg coeffs, 8342 upgd conss, 1348 impls, 8122 clqs 1.10/1.14 c (round 5) 42 del vars, 140 del conss, 8 chg bounds, 1226 chg sides, 2047 chg coeffs, 8342 upgd conss, 1360 impls, 8138 clqs 1.10/1.20 c (round 6) 42 del vars, 279 del conss, 8 chg bounds, 1232 chg sides, 2061 chg coeffs, 8342 upgd conss, 1372 impls, 8138 clqs 1.19/1.23 c (round 7) 42 del vars, 281 del conss, 8 chg bounds, 1232 chg sides, 2061 chg coeffs, 8342 upgd conss, 1372 impls, 8138 clqs 15.49/15.55 c (15.0s) probing: 1000/12554 (8.0%) - 39 fixings, 2 aggregations, 207163 implications, 0 bound changes 17.50/17.51 c (round 8) 93 del vars, 281 del conss, 8 chg bounds, 1232 chg sides, 2061 chg coeffs, 8342 upgd conss, 479812 impls, 8127 clqs 17.50/17.56 c (round 9) 95 del vars, 293 del conss, 8 chg bounds, 1232 chg sides, 2124 chg coeffs, 8342 upgd conss, 479830 impls, 8132 clqs 17.60/17.63 c (round 10) 95 del vars, 296 del conss, 8 chg bounds, 1239 chg sides, 2161 chg coeffs, 8347 upgd conss, 479840 impls, 8133 clqs 29.40/29.40 c (28.8s) probing: 2000/12554 (15.9%) - 70 fixings, 5 aggregations, 352868 implications, 0 bound changes 40.59/40.66 c (40.0s) probing: 3000/12554 (23.9%) - 92 fixings, 5 aggregations, 435442 implications, 0 bound changes 42.08/42.14 c (round 11) 145 del vars, 296 del conss, 8 chg bounds, 1239 chg sides, 2177 chg coeffs, 8347 upgd conss, 927312 impls, 8138 clqs 42.18/42.22 c (round 12) 148 del vars, 308 del conss, 8 chg bounds, 1239 chg sides, 2226 chg coeffs, 8355 upgd conss, 927380 impls, 8164 clqs 42.18/42.29 c (round 13) 149 del vars, 309 del conss, 8 chg bounds, 1241 chg sides, 2265 chg coeffs, 8355 upgd conss, 927416 impls, 8188 clqs 42.28/42.34 c (round 14) 150 del vars, 310 del conss, 8 chg bounds, 1242 chg sides, 2286 chg coeffs, 8355 upgd conss, 927416 impls, 8212 clqs 42.38/42.40 c (round 15) 150 del vars, 312 del conss, 8 chg bounds, 1242 chg sides, 2303 chg coeffs, 8355 upgd conss, 927416 impls, 8235 clqs 52.59/52.66 c (51.9s) probing: 4000/12554 (31.9%) - 112 fixings, 9 aggregations, 508670 implications, 0 bound changes 59.59/59.62 c (round 16) 200 del vars, 312 del conss, 8 chg bounds, 1242 chg sides, 2316 chg coeffs, 8355 upgd conss, 1159361 impls, 8239 clqs 59.68/59.71 c (round 17) 205 del vars, 329 del conss, 8 chg bounds, 1268 chg sides, 2463 chg coeffs, 8361 upgd conss, 1159573 impls, 8273 clqs 59.68/59.79 c (round 18) 205 del vars, 338 del conss, 8 chg bounds, 1282 chg sides, 2568 chg coeffs, 8361 upgd conss, 1159603 impls, 8301 clqs 59.78/59.86 c (round 19) 205 del vars, 340 del conss, 8 chg bounds, 1282 chg sides, 2607 chg coeffs, 8361 upgd conss, 1159605 impls, 8312 clqs 64.19/64.24 c (63.4s) probing: 5000/12554 (39.8%) - 148 fixings, 13 aggregations, 587895 implications, 0 bound changes 74.69/74.74 c (round 20) 255 del vars, 340 del conss, 8 chg bounds, 1282 chg sides, 2635 chg coeffs, 8361 upgd conss, 1358430 impls, 8311 clqs 74.79/74.84 c (round 21) 258 del vars, 356 del conss, 8 chg bounds, 1306 chg sides, 2735 chg coeffs, 8361 upgd conss, 1358704 impls, 8333 clqs 74.88/74.93 c (round 22) 258 del vars, 366 del conss, 8 chg bounds, 1311 chg sides, 2779 chg coeffs, 8370 upgd conss, 1358714 impls, 8346 clqs 74.88/74.99 c (round 23) 258 del vars, 366 del conss, 8 chg bounds, 1313 chg sides, 2793 chg coeffs, 8370 upgd conss, 1358714 impls, 8352 clqs 75.29/75.33 c (74.4s) probing: 6000/12554 (47.8%) - 181 fixings, 20 aggregations, 647844 implications, 0 bound changes 85.48/85.53 c (84.6s) probing: 7000/12554 (55.8%) - 206 fixings, 24 aggregations, 706354 implications, 0 bound changes 95.39/95.47 c (94.5s) probing: 8000/12554 (63.7%) - 218 fixings, 27 aggregations, 763060 implications, 0 bound changes 95.69/95.73 c (round 24) 313 del vars, 366 del conss, 8 chg bounds, 1313 chg sides, 2801 chg coeffs, 8370 upgd conss, 1629692 impls, 8342 clqs 95.79/95.83 c (round 25) 318 del vars, 382 del conss, 8 chg bounds, 1319 chg sides, 2903 chg coeffs, 8370 upgd conss, 1629738 impls, 8355 clqs 95.89/95.91 c (round 26) 318 del vars, 387 del conss, 8 chg bounds, 1356 chg sides, 3054 chg coeffs, 8378 upgd conss, 1629780 impls, 8384 clqs 95.89/95.98 c (round 27) 318 del vars, 391 del conss, 8 chg bounds, 1356 chg sides, 3077 chg coeffs, 8378 upgd conss, 1629780 impls, 8391 clqs 106.38/106.48 c (105.4s) probing: 9000/12554 (71.7%) - 250 fixings, 34 aggregations, 868344 implications, 0 bound changes 110.79/110.82 c (round 28) 370 del vars, 391 del conss, 8 chg bounds, 1356 chg sides, 3092 chg coeffs, 8378 upgd conss, 1898411 impls, 8381 clqs 110.89/110.94 c (round 29) 376 del vars, 407 del conss, 8 chg bounds, 1372 chg sides, 3215 chg coeffs, 8398 upgd conss, 1898659 impls, 8410 clqs 111.00/111.03 c (round 30) 376 del vars, 410 del conss, 8 chg bounds, 1387 chg sides, 3302 chg coeffs, 8398 upgd conss, 1898683 impls, 8435 clqs 115.59/115.66 c (114.6s) probing: 10000/12554 (79.7%) - 299 fixings, 41 aggregations, 913003 implications, 0 bound changes 116.29/116.30 c (round 31) 433 del vars, 411 del conss, 9 chg bounds, 1387 chg sides, 3325 chg coeffs, 8398 upgd conss, 1951805 impls, 8424 clqs 116.39/116.41 c (round 32) 439 del vars, 433 del conss, 9 chg bounds, 1390 chg sides, 3391 chg coeffs, 8398 upgd conss, 1952535 impls, 8438 clqs 116.39/116.48 c (round 33) 439 del vars, 435 del conss, 9 chg bounds, 1402 chg sides, 3448 chg coeffs, 8409 upgd conss, 1952539 impls, 8445 clqs 116.49/116.53 c (round 34) 439 del vars, 443 del conss, 9 chg bounds, 1402 chg sides, 3464 chg coeffs, 8409 upgd conss, 1952539 impls, 8455 clqs 124.89/124.97 c (123.8s) probing: 11000/12554 (87.6%) - 350 fixings, 47 aggregations, 974898 implications, 1 bound changes 132.89/132.94 c (round 35) 501 del vars, 443 del conss, 10 chg bounds, 1402 chg sides, 3470 chg coeffs, 8409 upgd conss, 2236332 impls, 8429 clqs 133.00/133.06 c (round 36) 503 del vars, 469 del conss, 10 chg bounds, 1460 chg sides, 3766 chg coeffs, 8417 upgd conss, 2236492 impls, 8469 clqs 133.09/133.16 c (round 37) 503 del vars, 504 del conss, 10 chg bounds, 1478 chg sides, 3934 chg coeffs, 8417 upgd conss, 2236492 impls, 8493 clqs 134.99/135.09 c (133.9s) probing: 12000/12554 (95.6%) - 377 fixings, 55 aggregations, 1060090 implications, 2 bound changes 136.60/136.64 c (135.4s) probing: 12279/12554 (97.8%) - 377 fixings, 55 aggregations, 1060555 implications, 2 bound changes 136.60/136.64 c (135.4s) probing aborted: 100/100 successive totally useless probings 136.60/136.65 c (round 38) 508 del vars, 505 del conss, 10 chg bounds, 1478 chg sides, 4000 chg coeffs, 8417 upgd conss, 2254262 impls, 8505 clqs 136.70/136.77 c (round 39) 508 del vars, 505 del conss, 10 chg bounds, 1478 chg sides, 4067 chg coeffs, 8422 upgd conss, 2254262 impls, 8543 clqs 136.79/136.89 c (135.7s) probing: 12289/12554 (97.9%) - 377 fixings, 55 aggregations, 1060555 implications, 2 bound changes 136.79/136.89 c (135.7s) probing aborted: 100/100 successive totally useless probings 136.79/136.89 c presolving (40 rounds): 136.79/136.89 c 508 deleted vars, 505 deleted constraints, 10 tightened bounds, 0 added holes, 1478 changed sides, 4119 changed coefficients 136.79/136.89 c 2254262 implications, 8567 cliques 136.79/136.89 c presolved problem has 12088 variables (12088 bin, 0 int, 0 impl, 0 cont) and 10974 constraints 136.79/136.89 c 313 constraints of type <knapsack> 136.79/136.89 c 8340 constraints of type <setppc> 136.79/136.89 c 2258 constraints of type <linear> 136.79/136.89 c 63 constraints of type <logicor> 136.79/136.89 c transformed objective value is always integral (scale: 1) 136.79/136.89 c Presolving Time: 135.57 136.79/136.90 c OPT-LIN 136.79/136.90 c ----------------------------------------------------------------------------------------------- 136.79/136.90 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 136.79/136.90 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 136.79/136.90 c limits/memory = c 1620 136.79/136.90 c # maximal time in seconds to run 136.79/136.90 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 136.79/136.90 c limits/time = c 1791 136.79/136.90 c # frequency for displaying node information lines 136.79/136.90 c # [type: int, range: [-1,2147483647], default: 100] 136.79/136.90 c display/freq = c 10000 136.79/136.90 c ----------------------------------------------------------------------------------------------- 136.79/136.90 c start solving problem 136.79/136.90 c 202.71/202.74 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 202.71/202.74 c 201s| 1 | 0 | 26886 | 121M| 0 | 995 | 12k| 10k| 10k| 12k| 10k| 0 | 0 | 0 |-1.048953e+04 | -- | Inf 396.93/396.97 c 395s| 1 | 0 | 63672 | 127M| 0 | 910 | 12k| 10k| 10k| 12k| 11k| 475 | 0 | 0 |-1.041728e+04 | -- | Inf 421.43/421.44 c 419s| 1 | 0 | 67950 | 131M| 0 | 805 | 12k| 10k| 10k| 12k| 11k| 607 | 0 | 0 |-1.039413e+04 | -- | Inf 435.93/435.96 c 434s| 1 | 0 | 71472 | 132M| 0 | 744 | 12k| 10k| 10k| 12k| 11k| 658 | 0 | 0 |-1.038140e+04 | -- | Inf 467.03/467.05 c 465s| 1 | 0 | 77544 | 133M| 0 | 895 | 12k| 10k| 10k| 12k| 11k| 701 | 0 | 0 |-1.035123e+04 | -- | Inf 490.34/490.33 c 488s| 1 | 0 | 82417 | 134M| 0 | 923 | 12k| 10k| 10k| 12k| 11k| 751 | 0 | 0 |-1.032788e+04 | -- | Inf 509.64/509.69 c 507s| 1 | 0 | 86468 | 134M| 0 | 988 | 12k| 10k| 10k| 12k| 11k| 771 | 0 | 0 |-1.031072e+04 | -- | Inf 524.44/524.48 c 522s| 1 | 0 | 89017 | 136M| 0 | 996 | 12k| 10k| 10k| 12k| 11k| 809 | 0 | 0 |-1.028624e+04 | -- | Inf 538.85/538.86 c 536s| 1 | 0 | 92140 | 136M| 0 | 950 | 12k| 10k| 10k| 12k| 11k| 825 | 0 | 0 |-1.028368e+04 | -- | Inf 553.85/553.81 c 551s| 1 | 0 | 94866 | 136M| 0 | 965 | 12k| 10k| 10k| 12k| 11k| 837 | 0 | 0 |-1.028345e+04 | -- | Inf 571.45/571.42 c 569s| 1 | 0 | 97669 | 136M| 0 | 965 | 12k| 10k| 10k| 12k| 11k| 842 | 0 | 0 |-1.028338e+04 | -- | Inf 590.76/590.80 c 588s| 1 | 0 |101975 | 136M| 0 | 933 | 12k| 10k| 10k| 12k| 11k| 850 | 0 | 0 |-1.028004e+04 | -- | Inf 606.76/606.76 c 604s| 1 | 0 |103863 | 138M| 0 | 395 | 12k| 10k| 10k| 12k| 11k| 870 | 0 | 0 |-1.027745e+04 | -- | Inf 613.56/613.53 c 611s| 1 | 0 |105179 | 138M| 0 | 491 | 12k| 10k| 10k| 12k| 11k| 877 | 0 | 0 |-1.027726e+04 | -- | Inf 621.46/621.41 c 619s| 1 | 0 |106670 | 138M| 0 | 466 | 12k| 10k| 10k| 12k| 11k| 884 | 0 | 0 |-1.027725e+04 | -- | Inf 631.06/631.08 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 631.06/631.08 c 628s| 1 | 0 |108509 | 139M| 0 | 502 | 12k| 10k| 10k| 12k| 11k| 896 | 0 | 0 |-1.027725e+04 | -- | Inf 640.66/640.64 c 638s| 1 | 0 |110344 | 139M| 0 | 495 | 12k| 10k| 10k| 12k| 11k| 901 | 0 | 0 |-1.027725e+04 | -- | Inf 650.56/650.51 c 648s| 1 | 0 |112192 | 139M| 0 | 451 | 12k| 10k| 10k| 12k| 11k| 906 | 0 | 0 |-1.027725e+04 | -- | Inf 766.68/766.62 c 764s| 1 | 2 |112192 | 139M| 0 | 451 | 12k| 10k| 10k| 12k| 11k| 906 | 0 | 40 |-1.027725e+04 | -- | Inf 1795.21/1795.10 c 1795.21/1795.10 c SCIP Status : solving was interrupted [time limit reached] 1795.21/1795.10 c Solving Time (sec) : 1791.00 1795.21/1795.10 c Solving Nodes : 14 1795.21/1795.10 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1795.21/1795.10 c Dual Bound : -1.02700000000000e+04 1795.21/1795.10 c Gap : infinite 1795.21/1795.10 c NODE 14 1795.21/1795.10 c DUAL BOUND -10270 1795.21/1795.10 c PRIMAL BOUND 1e+20 1795.21/1795.10 c GAP 1e+20 1795.21/1795.10 s UNKNOWN 1795.21/1795.10 c SCIP Status : solving was interrupted [time limit reached] 1795.21/1795.10 c Solving Time : 1791.00 1795.21/1795.10 c Original Problem : 1795.21/1795.10 c Problem name : HOME/instance-1868730-1245135712.opb 1795.21/1795.10 c Variables : 12596 (12596 binary, 0 integer, 0 implicit integer, 0 continuous) 1795.21/1795.10 c Constraints : 10687 initial, 10687 maximal 1795.21/1795.10 c Presolved Problem : 1795.21/1795.10 c Problem name : t_HOME/instance-1868730-1245135712.opb 1795.21/1795.10 c Variables : 12088 (12088 binary, 0 integer, 0 implicit integer, 0 continuous) 1795.21/1795.10 c Constraints : 10974 initial, 11020 maximal 1795.21/1795.10 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1795.21/1795.10 c trivial : 0.13 2 0 0 0 0 0 0 0 1795.21/1795.10 c dualfix : 0.08 0 0 0 0 0 0 0 0 1795.21/1795.10 c boundshift : 0.00 0 0 0 0 0 0 0 0 1795.21/1795.10 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1795.21/1795.10 c implics : 0.19 0 32 0 0 0 0 0 0 1795.21/1795.10 c probing : 132.60 377 55 0 2 0 0 0 0 1795.21/1795.10 c knapsack : 1.17 2 0 0 8 0 121 1085 3690 1795.21/1795.10 c setppc : 0.51 1 31 0 0 0 369 0 0 1795.21/1795.10 c linear : 0.56 8 0 0 0 0 7 393 429 1795.21/1795.10 c logicor : 0.01 0 0 0 0 0 8 0 0 1795.21/1795.10 c root node : - 0 - - 0 - - - - 1795.21/1795.10 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1795.21/1795.10 c integral : 0 0 0 14 0 0 0 0 0 28 1795.21/1795.10 c knapsack : 313 17 70483 0 0 21 0 140 0 0 1795.21/1795.10 c setppc : 8340 17 70462 0 0 25 259 0 0 0 1795.21/1795.10 c linear : 2258 17 70437 0 0 140 113 45 0 0 1795.21/1795.10 c logicor : 63+ 17 2592 0 0 12 0 0 0 0 1795.21/1795.10 c countsols : 0 0 0 0 0 0 0 0 0 0 1795.21/1795.10 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1795.21/1795.10 c integral : 774.97 0.00 0.00 774.97 0.00 1795.21/1795.10 c knapsack : 3.32 0.03 3.29 0.00 0.00 1795.21/1795.10 c setppc : 59.72 0.04 59.68 0.00 0.00 1795.21/1795.10 c linear : 25.75 6.01 19.74 0.00 0.00 1795.21/1795.10 c logicor : 0.00 0.00 0.00 0.00 0.00 1795.21/1795.10 c countsols : 0.00 0.00 0.00 0.00 0.00 1795.21/1795.10 c Propagators : Time Calls Cutoffs DomReds 1795.21/1795.10 c rootredcost : 0.03 0 0 0 1795.21/1795.10 c pseudoobj : 0.11 397 0 0 1795.21/1795.10 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1795.21/1795.10 c propagation : 0.00 1 1 3 17.0 0 0.0 - 1795.21/1795.10 c infeasible LP : 0.03 5 5 58 52.4 1 12.0 0 1795.21/1795.10 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1795.21/1795.10 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1795.21/1795.10 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1795.21/1795.10 c applied globally : - - - 46 49.6 - - - 1795.21/1795.10 c applied locally : - - - 0 0.0 - - - 1795.21/1795.10 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1795.21/1795.10 c cut pool : 0.06 16 - - 56 - (maximal pool size: 2142) 1795.21/1795.10 c redcost : 0.09 30 0 0 0 0 1795.21/1795.10 c impliedbounds : 0.16 17 0 0 751 0 1795.21/1795.10 c intobj : 0.00 0 0 0 0 0 1795.21/1795.10 c gomory : 44.38 17 0 0 1499 0 1795.21/1795.10 c strongcg : 35.73 17 0 0 1954 0 1795.21/1795.10 c cmir : 3.62 10 0 0 0 0 1795.21/1795.10 c flowcover : 2.67 10 0 0 0 0 1795.21/1795.10 c clique : 10.01 17 0 0 121 0 1795.21/1795.10 c zerohalf : 0.00 0 0 0 0 0 1795.21/1795.10 c mcf : 0.19 1 0 0 0 0 1795.21/1795.10 c Pricers : Time Calls Vars 1795.21/1795.10 c problem variables: 0.00 0 0 1795.21/1795.10 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1795.21/1795.10 c relpscost : 774.97 14 0 0 0 0 28 1795.21/1795.10 c pscost : 0.00 0 0 0 0 0 0 1795.21/1795.10 c inference : 0.00 0 0 0 0 0 0 1795.21/1795.10 c mostinf : 0.00 0 0 0 0 0 0 1795.21/1795.10 c leastinf : 0.00 0 0 0 0 0 0 1795.21/1795.10 c fullstrong : 0.00 0 0 0 0 0 0 1795.21/1795.10 c allfullstrong : 0.00 0 0 0 0 0 0 1795.21/1795.10 c random : 0.00 0 0 0 0 0 0 1795.21/1795.10 c Primal Heuristics : Time Calls Found 1795.21/1795.10 c LP solutions : 0.00 - 0 1795.21/1795.10 c pseudo solutions : 0.00 - 0 1795.21/1795.10 c oneopt : 0.00 0 0 1795.21/1795.10 c veclendiving : 0.00 0 0 1795.21/1795.10 c objpscostdiving : 0.00 0 0 1795.21/1795.10 c rootsoldiving : 0.00 0 0 1795.21/1795.10 c coefdiving : 141.16 1 0 1795.21/1795.10 c pscostdiving : 102.02 1 0 1795.21/1795.10 c simplerounding : 0.00 0 0 1795.21/1795.10 c rounding : 0.07 31 0 1795.21/1795.10 c shifting : 0.42 18 0 1795.21/1795.10 c intshifting : 0.00 0 0 1795.21/1795.10 c fixandinfer : 0.00 0 0 1795.32/1795.10 c feaspump : 167.57 1 0 1795.32/1795.10 c fracdiving : 39.85 1 0 1795.32/1795.10 c intdiving : 0.00 0 0 1795.32/1795.10 c actconsdiving : 0.00 0 0 1795.32/1795.10 c linesearchdiving : 0.00 0 0 1795.32/1795.10 c guideddiving : 0.00 0 0 1795.32/1795.10 c octane : 0.00 0 0 1795.32/1795.10 c rens : 0.36 1 0 1795.32/1795.10 c rins : 0.00 0 0 1795.32/1795.10 c localbranching : 0.00 0 0 1795.32/1795.10 c mutation : 0.00 0 0 1795.32/1795.10 c crossover : 0.00 0 0 1795.32/1795.10 c dins : 0.00 0 0 1795.32/1795.10 c LP : Time Calls Iterations Iter/call Iter/sec 1795.32/1795.10 c primal LP : 0.07 0 0 0.00 0.00 1795.32/1795.10 c dual LP : 325.04 31 102927 3320.23 316.66 1795.32/1795.10 c barrier LP : 0.00 0 0 0.00 - 1795.32/1795.10 c diving/probing LP: 447.92 250 95050 380.20 212.20 1795.32/1795.10 c strong branching : 774.95 243 203780 838.60 262.96 1795.32/1795.10 c (at root node) : - 40 29469 736.73 - 1795.32/1795.10 c conflict analysis: 0.00 0 0 0.00 - 1795.32/1795.10 c B&B Tree : 1795.32/1795.10 c number of runs : 1 1795.32/1795.10 c nodes : 14 1795.32/1795.10 c nodes (total) : 14 1795.32/1795.10 c nodes left : 15 1795.32/1795.10 c max depth : 5 1795.32/1795.10 c max depth (total): 5 1795.32/1795.10 c backtracks : 2 (14.3%) 1795.32/1795.10 c delayed cutoffs : 0 1795.32/1795.10 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1795.32/1795.10 c avg switch length: 1.57 1795.32/1795.10 c switching time : 0.03 1795.32/1795.10 c Solution : 1795.32/1795.10 c Solutions found : 0 (0 improvements) 1795.32/1795.10 c Primal Bound : - 1795.32/1795.10 c Dual Bound : -1.02700000000000e+04 1795.32/1795.10 c Gap : infinite 1795.32/1795.10 c Root Dual Bound : -1.02772544987147e+04 1795.51/1795.39 c Time complete: 1795.61.
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-1868730-1245135712/watcher-1868730-1245135712 -o /tmp/evaluation-result-1868730-1245135712/solver-1868730-1245135712 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868730-1245135712.opb 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.03 1.01 1.00 3/64 29161 /proc/meminfo: memFree=1770512/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=4648 CPUtime=0 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 490 0 0 0 0 0 0 0 18 0 1 0 181171660 4759552 474 1992294400 4194304 7823515 548682068736 18446744073709551615 6884513 0 0 4096 0 0 0 0 17 1 0 0 /proc/29161/statm: 1162 485 318 886 0 272 0 [startup+0.041858 s] /proc/loadavg: 1.03 1.01 1.00 3/64 29161 /proc/meminfo: memFree=1770512/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=12620 CPUtime=0.03 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 2485 0 0 0 3 0 0 0 18 0 1 0 181171660 12922880 2467 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0 /proc/29161/statm: 3155 2467 354 886 0 2265 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12620 [startup+0.101838 s] /proc/loadavg: 1.03 1.01 1.00 3/64 29161 /proc/meminfo: memFree=1770512/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=17476 CPUtime=0.09 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 3711 0 0 0 8 1 0 0 18 0 1 0 181171660 17895424 3693 1992294400 4194304 7823515 548682068736 18446744073709551615 4512305 0 0 4096 0 0 0 0 17 1 0 0 /proc/29161/statm: 4369 3693 354 886 0 3479 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17476 [startup+0.301782 s] /proc/loadavg: 1.03 1.01 1.00 3/64 29161 /proc/meminfo: memFree=1770512/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=23080 CPUtime=0.29 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 5079 0 0 0 28 1 0 0 19 0 1 0 181171660 23633920 5061 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0 /proc/29161/statm: 5770 5061 354 886 0 4880 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23080 [startup+0.701667 s] /proc/loadavg: 1.03 1.01 1.00 3/64 29161 /proc/meminfo: memFree=1770512/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=62648 CPUtime=0.69 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 15071 0 0 0 63 6 0 0 22 0 1 0 181171660 64151552 14699 1992294400 4194304 7823515 548682068736 18446744073709551615 4243002 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 15662 14699 421 886 0 14772 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 62648 [startup+1.50144 s] /proc/loadavg: 1.03 1.01 1.00 2/65 29162 /proc/meminfo: memFree=1696840/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=78856 CPUtime=1.49 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 19333 0 0 0 137 12 0 0 25 0 1 0 181171660 80748544 18880 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 19714 18880 460 886 0 18824 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 78856 [startup+3.10198 s] /proc/loadavg: 1.03 1.01 1.00 2/65 29162 /proc/meminfo: memFree=1696008/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=81256 CPUtime=3.09 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 19918 0 0 0 296 13 0 0 25 0 1 0 181171660 83206144 19465 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 20314 19465 460 886 0 19424 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 81256 [startup+6.30206 s] /proc/loadavg: 1.03 1.01 1.00 2/65 29162 /proc/meminfo: memFree=1688456/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=87840 CPUtime=6.3 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 21525 0 0 0 614 16 0 0 25 0 1 0 181171660 89948160 21072 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 21960 21072 461 886 0 21070 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 87840 [startup+12.7012 s] /proc/loadavg: 1.03 1.01 1.00 2/65 29162 /proc/meminfo: memFree=1683720/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=93052 CPUtime=12.69 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 22834 0 0 0 1250 19 0 0 25 0 1 0 181171660 95285248 22381 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 23263 22381 461 886 0 22373 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 93052 [startup+25.5016 s] /proc/loadavg: 1.02 1.01 1.00 2/65 29162 /proc/meminfo: memFree=1670024/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=106164 CPUtime=25.5 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 25953 0 0 0 2523 27 0 0 25 0 1 0 181171660 108711936 25500 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 26541 25500 466 886 0 25651 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 106164 [startup+51.1012 s] /proc/loadavg: 1.01 1.01 1.00 2/65 29162 /proc/meminfo: memFree=1659528/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=118048 CPUtime=51.08 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 28979 0 0 0 5069 39 0 0 25 0 1 0 181171660 120881152 28526 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 29512 28526 466 886 0 28622 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 118048 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29162 /proc/meminfo: memFree=1635336/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=140792 CPUtime=102.29 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 34629 0 0 0 10162 67 0 0 25 0 1 0 181171660 144171008 34176 1992294400 4194304 7823515 548682068736 18446744073709551615 5803639 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 35198 34176 466 886 0 34308 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 140792 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29162 /proc/meminfo: memFree=1590024/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=189600 CPUtime=162.29 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 47880 0 0 0 16135 94 0 0 25 0 1 0 181171660 194150400 45532 1992294400 4194304 7823515 548682068736 18446744073709551615 6211224 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 47400 45532 531 886 0 46510 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 189600 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29162 /proc/meminfo: memFree=1584200/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=196780 CPUtime=222.3 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 49759 0 0 0 22126 104 0 0 25 0 1 0 181171660 201502720 47336 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 49195 47336 542 886 0 48305 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 196780 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29162 /proc/meminfo: memFree=1582536/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=199036 CPUtime=282.31 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 49801 0 0 0 28122 109 0 0 25 0 1 0 181171660 203812864 47378 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 49759 47378 542 886 0 48869 0 Current children cumulated CPU time (s) 282.31 Current children cumulated vsize (KiB) 199036 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29162 /proc/meminfo: memFree=1578952/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=201456 CPUtime=342.32 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 50711 0 0 0 34115 117 0 0 25 0 1 0 181171660 206290944 48278 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 50364 48278 542 886 0 49474 0 Current children cumulated CPU time (s) 342.32 Current children cumulated vsize (KiB) 201456 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29162 /proc/meminfo: memFree=1560392/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=223892 CPUtime=402.33 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 58596 0 0 0 40048 185 0 0 25 0 1 0 181171660 229265408 52935 1992294400 4194304 7823515 548682068736 18446744073709551615 4338511 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 55973 52935 572 886 0 55083 0 Current children cumulated CPU time (s) 402.33 Current children cumulated vsize (KiB) 223892 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29162 /proc/meminfo: memFree=1539400/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=245412 CPUtime=462.33 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 63857 0 0 0 46036 197 0 0 25 0 1 0 181171660 251301888 58179 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 61353 58179 572 886 0 60463 0 Current children cumulated CPU time (s) 462.33 Current children cumulated vsize (KiB) 245412 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29162 /proc/meminfo: memFree=1533576/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=250092 CPUtime=522.34 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 65342 0 0 0 52024 210 0 0 25 0 1 0 181171660 256094208 59609 1992294400 4194304 7823515 548682068736 18446744073709551615 6206056 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 62523 59609 572 886 0 61633 0 Current children cumulated CPU time (s) 522.34 Current children cumulated vsize (KiB) 250092 [startup+582.302 s] /proc/loadavg: 1.04 1.01 1.00 2/65 29162 /proc/meminfo: memFree=1528840/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=255392 CPUtime=582.35 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 66553 0 0 0 58011 224 0 0 25 0 1 0 181171660 261521408 60786 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 63848 60786 572 886 0 62958 0 Current children cumulated CPU time (s) 582.35 Current children cumulated vsize (KiB) 255392 [startup+642.302 s] /proc/loadavg: 1.01 1.01 1.00 2/65 29162 /proc/meminfo: memFree=1524168/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=258768 CPUtime=642.36 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 67720 0 0 0 63997 239 0 0 25 0 1 0 181171660 264978432 61951 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 64692 61951 572 886 0 63802 0 Current children cumulated CPU time (s) 642.36 Current children cumulated vsize (KiB) 258768 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1523656/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=259628 CPUtime=1062.42 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 79504 0 0 0 105940 302 0 0 25 0 1 0 181171660 265859072 62015 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 64907 62015 577 886 0 64017 0 Current children cumulated CPU time (s) 1062.42 Current children cumulated vsize (KiB) 259628 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29162 /proc/meminfo: memFree=1523592/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=259628 CPUtime=1122.43 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 79518 0 0 0 111933 310 0 0 25 0 1 0 181171660 265859072 62029 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 64907 62029 577 886 0 64017 0 Current children cumulated CPU time (s) 1122.43 Current children cumulated vsize (KiB) 259628 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29162 /proc/meminfo: memFree=1523592/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=259628 CPUtime=1182.44 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 79519 0 0 0 117925 319 0 0 25 0 1 0 181171660 265859072 62030 1992294400 4194304 7823515 548682068736 18446744073709551615 6206188 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 64907 62030 577 886 0 64017 0 Current children cumulated CPU time (s) 1182.44 Current children cumulated vsize (KiB) 259628 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29162 /proc/meminfo: memFree=1523528/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=259628 CPUtime=1242.44 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 79522 0 0 0 123919 325 0 0 25 0 1 0 181171660 265859072 62033 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 64907 62033 580 886 0 64017 0 Current children cumulated CPU time (s) 1242.44 Current children cumulated vsize (KiB) 259628 [startup+1302.3 s] /proc/loadavg: 1.07 1.02 1.00 2/65 29162 /proc/meminfo: memFree=1522824/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=259628 CPUtime=1302.46 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 79687 0 0 0 129913 333 0 0 25 0 1 0 181171660 265859072 62198 1992294400 4194304 7823515 548682068736 18446744073709551615 6236694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 64907 62198 582 886 0 64017 0 Current children cumulated CPU time (s) 1302.46 Current children cumulated vsize (KiB) 259628 [startup+1362.3 s] /proc/loadavg: 1.02 1.01 1.00 2/65 29162 /proc/meminfo: memFree=1522824/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=259628 CPUtime=1362.46 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 79687 0 0 0 135906 340 0 0 25 0 1 0 181171660 265859072 62198 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 64907 62198 582 886 0 64017 0 Current children cumulated CPU time (s) 1362.46 Current children cumulated vsize (KiB) 259628 [startup+1422.31 s] /proc/loadavg: 1.01 1.00 1.00 2/65 29162 /proc/meminfo: memFree=1522824/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=259628 CPUtime=1422.47 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 79687 0 0 0 141900 347 0 0 25 0 1 0 181171660 265859072 62198 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 64907 62198 582 886 0 64017 0 Current children cumulated CPU time (s) 1422.47 Current children cumulated vsize (KiB) 259628 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29162 /proc/meminfo: memFree=1522824/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=259628 CPUtime=1482.47 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 79687 0 0 0 147894 353 0 0 25 0 1 0 181171660 265859072 62198 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 64907 62198 582 886 0 64017 0 Current children cumulated CPU time (s) 1482.47 Current children cumulated vsize (KiB) 259628 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29162 /proc/meminfo: memFree=1522824/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=259628 CPUtime=1542.48 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 79687 0 0 0 153887 361 0 0 25 0 1 0 181171660 265859072 62198 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 64907 62198 582 886 0 64017 0 Current children cumulated CPU time (s) 1542.48 Current children cumulated vsize (KiB) 259628 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29162 /proc/meminfo: memFree=1522760/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=259628 CPUtime=1602.49 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 79687 0 0 0 159880 369 0 0 25 0 1 0 181171660 265859072 62198 1992294400 4194304 7823515 548682068736 18446744073709551615 6180632 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 64907 62198 582 886 0 64017 0 Current children cumulated CPU time (s) 1602.49 Current children cumulated vsize (KiB) 259628 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29162 /proc/meminfo: memFree=1519304/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=264188 CPUtime=1662.5 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 80551 0 0 0 165873 377 0 0 25 0 1 0 181171660 270528512 63062 1992294400 4194304 7823515 548682068736 18446744073709551615 6211359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 66047 63062 582 886 0 65157 0 Current children cumulated CPU time (s) 1662.5 Current children cumulated vsize (KiB) 264188 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29162 /proc/meminfo: memFree=1525256/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=258232 CPUtime=1722.5 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 81855 0 0 0 171864 386 0 0 25 0 1 0 181171660 264429568 61581 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 64558 61581 582 886 0 63668 0 Current children cumulated CPU time (s) 1722.5 Current children cumulated vsize (KiB) 258232 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29162 /proc/meminfo: memFree=1524104/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=258232 CPUtime=1782.52 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 82112 0 0 0 177857 395 0 0 25 0 1 0 181171660 264429568 61838 1992294400 4194304 7823515 548682068736 18446744073709551615 6211363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 64558 61838 582 886 0 63668 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (KiB) 258232 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29162 /proc/meminfo: memFree=1524104/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=258232 CPUtime=1785.72 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 82112 0 0 0 178177 395 0 0 25 0 1 0 181171660 264429568 61838 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 64558 61838 582 886 0 63668 0 Current children cumulated CPU time (s) 1785.72 Current children cumulated vsize (KiB) 258232 [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29162 /proc/meminfo: memFree=1524104/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=258232 CPUtime=1792.12 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 82112 0 0 0 178816 396 0 0 25 0 1 0 181171660 264429568 61838 1992294400 4194304 7823515 548682068736 18446744073709551615 6211346 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 64558 61838 582 886 0 63668 0 Current children cumulated CPU time (s) 1792.12 Current children cumulated vsize (KiB) 258232 [startup+1793.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29162 /proc/meminfo: memFree=1524104/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=258232 CPUtime=1793.71 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 82112 0 0 0 178975 396 0 0 25 0 1 0 181171660 264429568 61838 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 64558 61838 582 886 0 63668 0 Current children cumulated CPU time (s) 1793.71 Current children cumulated vsize (KiB) 258232 [startup+1794.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29162 /proc/meminfo: memFree=1524104/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=258232 CPUtime=1794.52 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 82112 0 0 0 179056 396 0 0 25 0 1 0 181171660 264429568 61838 1992294400 4194304 7823515 548682068736 18446744073709551615 6211327 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29161/statm: 64558 61838 582 886 0 63668 0 Current children cumulated CPU time (s) 1794.52 Current children cumulated vsize (KiB) 258232 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 3/65 29162 /proc/meminfo: memFree=1524104/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=258232 CPUtime=1795.32 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 82114 0 0 0 179136 396 0 0 25 0 1 0 181171660 264429568 61840 1992294400 4194304 7823515 548682068736 18446744073709551615 4569319 0 0 4096 0 0 0 0 17 1 0 0 /proc/29161/statm: 64558 61840 584 886 0 63668 0 Current children cumulated CPU time (s) 1795.32 Current children cumulated vsize (KiB) 258232 [startup+1795.3 s] /proc/loadavg: 1.00 1.00 1.00 3/65 29162 /proc/meminfo: memFree=1524104/2055920 swapFree=4191900/4192956 [pid=29161] ppid=29159 vsize=258232 CPUtime=1795.51 /proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 82114 0 0 0 179155 396 0 0 25 0 1 0 181171660 264429568 61840 1992294400 4194304 7823515 548682068736 18446744073709551615 5875083 0 0 4096 0 0 0 0 17 1 0 0 /proc/29161/statm: 64558 61840 584 886 0 63668 0 Current children cumulated CPU time (s) 1795.51 Current children cumulated vsize (KiB) 258232 Child status: 0 Real time (s): 1795.39 CPU time (s): 1795.62 CPU user time (s): 1791.61 CPU system time (s): 4.00939 CPU usage (%): 100.013 Max. virtual memory (cumulated for all children) (KiB): 302420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.61 system time used= 4.00939 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 82117 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= 2671 runsolver used 1.46178 second user time and 4.04838 second system time The end
Begin job on node16 at 2009-06-16 09:01:52 IDJOB=1868730 IDBENCH=1878 IDSOLVER=683 FILE ID=node16/1868730-1245135712 PBS_JOBID= 9363699 Free space on /tmp= 66280 MiB SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1868730-1245135712/watcher-1868730-1245135712 -o /tmp/evaluation-result-1868730-1245135712/solver-1868730-1245135712 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868730-1245135712.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8886b8ab7bdc8ec03150a7b794b8a992 RANDOM SEED=1404673506 node16.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1770928 kB Buffers: 43124 kB Cached: 163064 kB SwapCached: 260 kB Active: 67088 kB Inactive: 151884 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1770928 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 11308 kB Writeback: 0 kB Mapped: 21272 kB Slab: 51940 kB Committed_AS: 149284 kB PageTables: 1440 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66268 MiB End job on node16 at 2009-06-16 09:31:48