Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.49 | 1800.94 |
Name | /OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randc18b26.cudf.paranoid.opb |
MD5SUM | d27ae1c0c4452502b0341c609634994f |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 10655 |
Best CPU time to get the best result obtained on this benchmark | 8.5797 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 6048 |
Total number of constraints | 27046 |
Number of constraints which are clauses | 26740 |
Number of constraints which are cardinality constraints (but not clauses) | 306 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 553 |
Number of terms in the objective function | 2259 |
Biggest coefficient in the objective function | 1710 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 943918 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1710 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 943918 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2683180-1277507712.opb> 0.39/0.50 c original problem has 6048 variables (6048 bin, 0 int, 0 impl, 0 cont) and 27046 constraints 0.39/0.50 c problem read 0.39/0.50 c presolving settings loaded 0.49/0.50 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs 0.59/0.63 c presolving: 0.79/0.82 c (round 1) 718 del vars, 1416 del conss, 32 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 62348 impls, 300 clqs 0.79/0.87 c (round 2) 843 del vars, 1823 del conss, 81 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 69960 impls, 298 clqs 0.90/0.93 c (round 3) 1101 del vars, 5224 del conss, 257 chg bounds, 0 chg sides, 6 chg coeffs, 0 upgd conss, 71923 impls, 285 clqs 0.90/0.99 c (round 4) 1849 del vars, 10241 del conss, 412 chg bounds, 11 chg sides, 38 chg coeffs, 0 upgd conss, 72842 impls, 271 clqs 1.00/1.02 c (round 5) 1957 del vars, 11508 del conss, 442 chg bounds, 15 chg sides, 46 chg coeffs, 0 upgd conss, 73397 impls, 270 clqs 1.00/1.04 c (round 6) 2004 del vars, 11869 del conss, 449 chg bounds, 16 chg sides, 50 chg coeffs, 0 upgd conss, 73627 impls, 270 clqs 1.00/1.06 c (round 7) 2021 del vars, 11943 del conss, 452 chg bounds, 16 chg sides, 50 chg coeffs, 0 upgd conss, 73629 impls, 270 clqs 1.00/1.08 c (round 8) 2024 del vars, 11946 del conss, 452 chg bounds, 16 chg sides, 50 chg coeffs, 0 upgd conss, 73629 impls, 270 clqs 1.00/1.10 c (round 9) 2025 del vars, 11951 del conss, 452 chg bounds, 16 chg sides, 50 chg coeffs, 0 upgd conss, 73629 impls, 270 clqs 1.19/1.29 c (round 10) 2025 del vars, 13535 del conss, 452 chg bounds, 16 chg sides, 50 chg coeffs, 13460 upgd conss, 73629 impls, 270 clqs 1.29/1.34 c (round 11) 2032 del vars, 13542 del conss, 452 chg bounds, 16 chg sides, 50 chg coeffs, 13460 upgd conss, 73629 impls, 270 clqs 1.29/1.39 c (round 12) 2032 del vars, 13544 del conss, 452 chg bounds, 18 chg sides, 50 chg coeffs, 13460 upgd conss, 73629 impls, 270 clqs 1.40/1.41 c (round 13) 2033 del vars, 13545 del conss, 452 chg bounds, 18 chg sides, 50 chg coeffs, 13500 upgd conss, 73629 impls, 270 clqs 1.40/1.46 c (round 14) 2033 del vars, 13548 del conss, 452 chg bounds, 18 chg sides, 50 chg coeffs, 13502 upgd conss, 73629 impls, 270 clqs 1.49/1.57 c (round 15) 2083 del vars, 13548 del conss, 452 chg bounds, 18 chg sides, 50 chg coeffs, 13502 upgd conss, 80164 impls, 262 clqs 1.49/1.59 c (round 16) 2096 del vars, 14215 del conss, 454 chg bounds, 18 chg sides, 50 chg coeffs, 13502 upgd conss, 80235 impls, 261 clqs 1.59/1.61 c (round 17) 2099 del vars, 14221 del conss, 454 chg bounds, 18 chg sides, 50 chg coeffs, 13502 upgd conss, 80235 impls, 261 clqs 1.59/1.66 c (round 18) 2099 del vars, 14224 del conss, 454 chg bounds, 19 chg sides, 50 chg coeffs, 13502 upgd conss, 80235 impls, 261 clqs 1.69/1.78 c (round 19) 2149 del vars, 14224 del conss, 454 chg bounds, 19 chg sides, 50 chg coeffs, 13502 upgd conss, 86282 impls, 254 clqs 1.79/1.80 c (round 20) 2149 del vars, 14485 del conss, 454 chg bounds, 19 chg sides, 50 chg coeffs, 13502 upgd conss, 86282 impls, 254 clqs 1.79/1.82 c (round 21) 2150 del vars, 14494 del conss, 454 chg bounds, 19 chg sides, 50 chg coeffs, 13502 upgd conss, 86282 impls, 254 clqs 1.79/1.88 c (round 22) 2151 del vars, 14498 del conss, 454 chg bounds, 19 chg sides, 50 chg coeffs, 13502 upgd conss, 86282 impls, 254 clqs 2.10/2.15 c (round 23) 2201 del vars, 14498 del conss, 454 chg bounds, 19 chg sides, 50 chg coeffs, 13502 upgd conss, 87497 impls, 253 clqs 2.10/2.17 c (round 24) 2201 del vars, 14524 del conss, 454 chg bounds, 19 chg sides, 50 chg coeffs, 13502 upgd conss, 87497 impls, 253 clqs 2.29/2.35 c (round 25) 2201 del vars, 14581 del conss, 454 chg bounds, 20 chg sides, 50 chg coeffs, 13502 upgd conss, 87497 impls, 253 clqs 2.29/2.37 c (round 26) 2202 del vars, 14582 del conss, 454 chg bounds, 20 chg sides, 50 chg coeffs, 13502 upgd conss, 87497 impls, 253 clqs 2.49/2.56 c (round 27) 2252 del vars, 14582 del conss, 454 chg bounds, 20 chg sides, 50 chg coeffs, 13502 upgd conss, 89617 impls, 244 clqs 2.49/2.58 c (round 28) 2256 del vars, 14625 del conss, 454 chg bounds, 20 chg sides, 50 chg coeffs, 13502 upgd conss, 89630 impls, 244 clqs 2.59/2.61 c (round 29) 2259 del vars, 14631 del conss, 454 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 89630 impls, 244 clqs 2.79/2.82 c (round 30) 2309 del vars, 14631 del conss, 454 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 91298 impls, 241 clqs 2.79/2.84 c (round 31) 2313 del vars, 14694 del conss, 454 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 91326 impls, 241 clqs 2.79/2.86 c (round 32) 2318 del vars, 14711 del conss, 454 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 91326 impls, 241 clqs 2.79/2.88 c (round 33) 2322 del vars, 14737 del conss, 454 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 91326 impls, 241 clqs 2.89/2.90 c (round 34) 2324 del vars, 14750 del conss, 454 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 91326 impls, 241 clqs 2.99/3.05 c (2.2s) probing: 1000/4015 (24.9%) - 118 fixings, 168 aggregations, 2723 implications, 0 bound changes 3.09/3.10 c (round 35) 2374 del vars, 14750 del conss, 454 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 92100 impls, 239 clqs 3.09/3.12 c (round 36) 2376 del vars, 14810 del conss, 454 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 92156 impls, 239 clqs 3.30/3.39 c (round 37) 2426 del vars, 14810 del conss, 454 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 93896 impls, 239 clqs 3.39/3.41 c (round 38) 2426 del vars, 14813 del conss, 454 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 93896 impls, 239 clqs 3.59/3.65 c (round 39) 2476 del vars, 14814 del conss, 454 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 95200 impls, 238 clqs 3.59/3.67 c (round 40) 2478 del vars, 14842 del conss, 454 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 95238 impls, 238 clqs 3.89/3.97 c (round 41) 2478 del vars, 14938 del conss, 454 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 95238 impls, 238 clqs 3.89/3.99 c (round 42) 2479 del vars, 14949 del conss, 454 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 95238 impls, 238 clqs 3.99/4.05 c (round 43) 2479 del vars, 14951 del conss, 454 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 95238 impls, 238 clqs 4.09/4.19 c (3.2s) probing: 2000/4015 (49.8%) - 135 fixings, 300 aggregations, 4592 implications, 0 bound changes 4.19/4.22 c (round 44) 2529 del vars, 14951 del conss, 454 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 96162 impls, 238 clqs 4.19/4.24 c (round 45) 2531 del vars, 14969 del conss, 455 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 96167 impls, 238 clqs 4.19/4.26 c (round 46) 2532 del vars, 14971 del conss, 455 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 96167 impls, 238 clqs 4.29/4.32 c (round 47) 2532 del vars, 14974 del conss, 455 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 96167 impls, 238 clqs 4.39/4.47 c (round 48) 2582 del vars, 14974 del conss, 455 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 97483 impls, 238 clqs 4.39/4.50 c (round 49) 2582 del vars, 15018 del conss, 455 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 97483 impls, 238 clqs 4.49/4.57 c (round 50) 2582 del vars, 15021 del conss, 455 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 97483 impls, 238 clqs 4.69/4.77 c (round 51) 2632 del vars, 15021 del conss, 455 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 99919 impls, 238 clqs 4.69/4.79 c (round 52) 2632 del vars, 15041 del conss, 455 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 99919 impls, 238 clqs 4.79/4.85 c (round 53) 2632 del vars, 15045 del conss, 455 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 99919 impls, 238 clqs 5.09/5.10 c (round 54) 2682 del vars, 15045 del conss, 455 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 103943 impls, 238 clqs 5.09/5.12 c (round 55) 2683 del vars, 15092 del conss, 455 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 103947 impls, 238 clqs 5.09/5.20 c (4.1s) probing: 3000/4015 (74.7%) - 172 fixings, 432 aggregations, 8379 implications, 0 bound changes 5.50/5.51 c (round 56) 2733 del vars, 15093 del conss, 455 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 111159 impls, 238 clqs 5.50/5.53 c (round 57) 2756 del vars, 15187 del conss, 456 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 111782 impls, 238 clqs 5.50/5.59 c (round 58) 2757 del vars, 15197 del conss, 456 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 111782 impls, 238 clqs 5.79/5.88 c (4.8s) probing: 4000/4015 (99.6%) - 248 fixings, 442 aggregations, 16380 implications, 0 bound changes 5.79/5.88 c (round 59) 2797 del vars, 15197 del conss, 456 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 124538 impls, 238 clqs 5.88/5.90 c (round 60) 2844 del vars, 15277 del conss, 456 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 125188 impls, 238 clqs 5.88/5.97 c (round 61) 2844 del vars, 15283 del conss, 456 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 125188 impls, 238 clqs 5.99/6.02 c (round 62) 2845 del vars, 15283 del conss, 456 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 125188 impls, 238 clqs 6.69/6.70 c (round 63) 2845 del vars, 15606 del conss, 456 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 125188 impls, 238 clqs 6.69/6.72 c (round 64) 2848 del vars, 15607 del conss, 456 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 125188 impls, 238 clqs 6.69/6.77 c (round 65) 2848 del vars, 15609 del conss, 456 chg bounds, 21 chg sides, 50 chg coeffs, 13502 upgd conss, 125188 impls, 238 clqs 6.79/6.82 c presolving (66 rounds): 6.79/6.82 c 2848 deleted vars, 15609 deleted constraints, 456 tightened bounds, 0 added holes, 21 changed sides, 50 changed coefficients 6.79/6.82 c 125188 implications, 238 cliques 6.79/6.82 c presolved problem has 3200 variables (3200 bin, 0 int, 0 impl, 0 cont) and 11442 constraints 6.79/6.82 c 243 constraints of type <setppc> 6.79/6.82 c 11199 constraints of type <logicor> 6.79/6.82 c transformed objective value is always integral (scale: 1) 6.79/6.82 c Presolving Time: 5.58 6.79/6.82 c - non default parameters ---------------------------------------------------------------------- 6.79/6.82 c # SCIP version 1.2.1.2 6.79/6.82 c 6.79/6.82 c # frequency for displaying node information lines 6.79/6.82 c # [type: int, range: [-1,2147483647], default: 100] 6.79/6.82 c display/freq = 10000 6.79/6.82 c 6.79/6.82 c # maximal time in seconds to run 6.79/6.82 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 6.79/6.82 c limits/time = 1799.51 6.79/6.82 c 6.79/6.82 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 6.79/6.82 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 6.79/6.82 c limits/memory = 1620 6.79/6.82 c 6.79/6.82 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 6.79/6.82 c # [type: int, range: [-1,2147483647], default: 1] 6.79/6.82 c lp/solvefreq = -1 6.79/6.82 c 6.79/6.82 c # should presolving try to simplify inequalities 6.79/6.82 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 6.79/6.82 c constraints/linear/simplifyinequalities = TRUE 6.79/6.82 c 6.79/6.82 c # should presolving try to simplify knapsacks 6.79/6.82 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 6.79/6.82 c constraints/knapsack/simplifyinequalities = TRUE 6.79/6.82 c 6.79/6.82 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 6.79/6.82 c # [type: int, range: [-1,2147483647], default: -1] 6.79/6.82 c separating/rapidlearning/freq = 0 6.79/6.82 c 6.79/6.82 c ----------------------------------------------------------------------------------------------- 6.79/6.82 c start solving 6.79/6.82 c 6.79/6.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 6.79/6.84 c 5.7s| 1 | 2 | 0 | - | 30M| 0 | - |3200 | 11k| 0 | 0 | 0 | 0 | 0 | 5.442000e+03 | -- | Inf 98.77/98.82 c 97.3s| 10000 | 9862 | 0 | 0.0 | 36M| 75 | - |3200 | 11k| 0 | 0 | 0 | 79 | 0 | 1.060800e+04 | -- | Inf 187.84/187.93 c 186s| 20000 | 19844 | 0 | 0.0 | 42M| 111 | - |3200 | 11k| 0 | 0 | 0 | 87 | 0 | 1.061000e+04 | -- | Inf 275.82/275.92 c 274s| 30000 | 29827 | 0 | 0.0 | 47M| 111 | - |3200 | 11k| 0 | 0 | 0 | 93 | 0 | 1.061000e+04 | -- | Inf 364.30/364.48 c 362s| 40000 | 39818 | 0 | 0.0 | 53M| 111 | - |3200 | 11k| 0 | 0 | 0 | 96 | 0 | 1.061100e+04 | -- | Inf 452.18/452.30 c 449s| 50000 | 49807 | 0 | 0.0 | 58M| 111 | - |3200 | 11k| 0 | 0 | 0 | 96 | 0 | 1.061200e+04 | -- | Inf 539.36/539.51 c 536s| 60000 | 59800 | 0 | 0.0 | 63M| 113 | - |3200 | 11k| 0 | 0 | 0 | 96 | 0 | 1.061200e+04 | -- | Inf 626.64/626.89 c 623s| 70000 | 69793 | 0 | 0.0 | 69M| 113 | - |3200 | 11k| 0 | 0 | 0 | 98 | 0 | 1.061300e+04 | -- | Inf 713.01/713.28 c 709s| 80000 | 79774 | 0 | 0.0 | 74M| 115 | - |3200 | 11k| 0 | 0 | 0 | 99 | 0 | 1.061300e+04 | -- | Inf 800.89/801.14 c 797s| 90000 | 89774 | 0 | 0.0 | 80M| 115 | - |3200 | 11k| 0 | 0 | 0 | 99 | 0 | 1.061300e+04 | -- | Inf 885.97/886.27 c 882s|100000 | 99767 | 0 | 0.0 | 85M| 117 | - |3200 | 11k| 0 | 0 | 0 | 100 | 0 | 1.061400e+04 | -- | Inf 973.75/974.05 c 969s|110000 |109765 | 0 | 0.0 | 90M| 117 | - |3200 | 11k| 0 | 0 | 0 | 101 | 0 | 1.061400e+04 | -- | Inf 1059.33/1059.65 c 1054s|120000 |119752 | 0 | 0.0 | 96M| 117 | - |3200 | 11k| 0 | 0 | 0 | 101 | 0 | 1.061400e+04 | -- | Inf 1144.40/1144.77 c 1139s|130000 |129746 | 0 | 0.0 | 101M| 117 | - |3200 | 11k| 0 | 0 | 0 | 102 | 0 | 1.061400e+04 | -- | Inf 1231.08/1231.42 c 1225s|140000 |139742 | 0 | 0.0 | 106M| 117 | - |3200 | 11k| 0 | 0 | 0 | 103 | 0 | 1.061400e+04 | -- | Inf 1316.16/1316.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1316.16/1316.51 c 1310s|150000 |149740 | 0 | 0.0 | 112M| 117 | - |3200 | 11k| 0 | 0 | 0 | 104 | 0 | 1.061400e+04 | -- | Inf 1399.54/1399.94 c 1393s|160000 |159740 | 0 | 0.0 | 117M| 123 | - |3200 | 11k| 0 | 0 | 0 | 104 | 0 | 1.061500e+04 | -- | Inf 1486.83/1487.25 c 1480s|170000 |169740 | 0 | 0.0 | 122M| 123 | - |3200 | 11k| 0 | 0 | 0 | 104 | 0 | 1.061500e+04 | -- | Inf 1572.61/1573.02 c 1565s|180000 |179734 | 0 | 0.0 | 127M| 123 | - |3200 | 11k| 0 | 0 | 0 | 107 | 0 | 1.061500e+04 | -- | Inf 1657.38/1657.86 c 1650s|190000 |189729 | 0 | 0.0 | 133M| 123 | - |3200 | 11k| 0 | 0 | 0 | 108 | 0 | 1.061500e+04 | -- | Inf 1740.76/1741.26 c 1733s|200000 |199726 | 0 | 0.0 | 138M| 123 | - |3200 | 11k| 0 | 0 | 0 | 109 | 0 | 1.061500e+04 | -- | Inf 1800.06/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.06/1800.51 c 1800.06/1800.51 c SCIP Status : solving was interrupted [user interrupt] 1800.06/1800.51 c Solving Time (sec) : 1792.00 1800.06/1800.51 c Solving Nodes : 206886 1800.06/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.06/1800.51 c Dual Bound : +1.06150000000000e+04 1800.06/1800.51 c Gap : infinite 1800.06/1800.51 s UNKNOWN 1800.06/1800.51 c SCIP Status : solving was interrupted [user interrupt] 1800.06/1800.51 c Solving Time : 1792.00 1800.06/1800.51 c Original Problem : 1800.06/1800.51 c Problem name : HOME/instance-2683180-1277507712.opb 1800.06/1800.51 c Variables : 6048 (6048 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.06/1800.51 c Constraints : 27046 initial, 27046 maximal 1800.06/1800.51 c Presolved Problem : 1800.06/1800.51 c Problem name : t_HOME/instance-2683180-1277507712.opb 1800.06/1800.51 c Variables : 3200 (3200 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.06/1800.51 c Constraints : 11442 initial, 11532 maximal 1800.06/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.06/1800.51 c trivial : 0.06 45 0 0 0 0 0 0 0 1800.06/1800.51 c dualfix : 0.03 608 0 0 0 0 0 0 0 1800.06/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.51 c implics : 0.10 0 281 0 0 0 0 0 0 1800.06/1800.51 c probing : 2.33 248 442 0 0 0 0 0 0 1800.06/1800.51 c setppc : 0.04 0 2 0 0 0 32 3 0 1800.06/1800.51 c linear : 0.38 420 795 0 452 0 13544 18 50 1800.06/1800.51 c logicor : 2.53 7 0 0 4 0 2033 0 0 1800.06/1800.51 c root node : - 0 - - 0 - - - - 1800.06/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.06/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0 1800.06/1800.51 c setppc : 243 0 647158 0 206781 83 31742 0 0 0 1800.06/1800.51 c logicor : 11199+ 0 595599 0 206781 212 1118444 0 0 0 1800.06/1800.51 c countsols : 0 0 0 0 206781 0 0 0 0 0 1800.06/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.06/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00 1800.06/1800.51 c setppc : 41.17 0.00 10.99 0.00 30.18 1800.06/1800.51 c logicor : 1368.47 0.00 11.53 0.00 1356.94 1800.06/1800.51 c countsols : 0.19 0.00 0.00 0.00 0.19 1800.06/1800.51 c Propagators : Time Calls Cutoffs DomReds 1800.06/1800.51 c vbounds : 0.36 2 0 0 1800.06/1800.51 c rootredcost : 0.48 0 0 0 1800.06/1800.51 c pseudoobj : 70.67 635978 0 0 1800.06/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.06/1800.51 c propagation : 0.00 107 100 107 2.3 6 2.5 - 1800.06/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.06/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.06/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.06/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.06/1800.51 c applied globally : - - - 112 2.3 - - - 1800.06/1800.51 c applied locally : - - - 0 0.0 - - - 1800.06/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.06/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1800.06/1800.51 c redcost : 0.00 0 0 0 0 0 1800.06/1800.51 c impliedbounds : 0.00 0 0 0 0 0 1800.06/1800.51 c intobj : 0.00 0 0 0 0 0 1800.06/1800.51 c cgmip : 0.00 0 0 0 0 0 1800.06/1800.51 c gomory : 0.00 0 0 0 0 0 1800.06/1800.51 c strongcg : 0.00 0 0 0 0 0 1800.06/1800.51 c cmir : 0.00 0 0 0 0 0 1800.06/1800.51 c flowcover : 0.00 0 0 0 0 0 1800.06/1800.51 c clique : 0.00 0 0 0 0 0 1800.06/1800.51 c zerohalf : 0.00 0 0 0 0 0 1800.06/1800.51 c mcf : 0.00 0 0 0 0 0 1800.06/1800.51 c rapidlearning : 0.00 0 0 0 0 0 1800.06/1800.51 c Pricers : Time Calls Vars 1800.06/1800.51 c problem variables: 0.00 0 0 1800.06/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.06/1800.51 c relpscost : 0.00 0 0 0 0 0 0 1800.06/1800.51 c pscost : 0.00 0 0 0 0 0 0 1800.06/1800.51 c inference : 276.68 206781 0 0 0 0 413562 1800.06/1800.51 c mostinf : 0.00 0 0 0 0 0 0 1800.06/1800.51 c leastinf : 0.00 0 0 0 0 0 0 1800.06/1800.51 c fullstrong : 0.00 0 0 0 0 0 0 1800.06/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0 1800.06/1800.51 c random : 0.00 0 0 0 0 0 0 1800.06/1800.51 c Primal Heuristics : Time Calls Found 1800.06/1800.51 c LP solutions : 0.00 - 0 1800.06/1800.51 c pseudo solutions : 0.00 - 0 1800.06/1800.51 c oneopt : 0.16 0 0 1800.06/1800.51 c trivial : 0.03 2 0 1800.06/1800.51 c simplerounding : 0.00 0 0 1800.06/1800.51 c zirounding : 0.00 0 0 1800.06/1800.51 c rounding : 0.00 0 0 1800.06/1800.51 c shifting : 0.00 0 0 1800.06/1800.51 c intshifting : 0.00 0 0 1800.06/1800.51 c twoopt : 0.00 0 0 1800.06/1800.51 c fixandinfer : 0.00 0 0 1800.06/1800.51 c feaspump : 0.00 0 0 1800.06/1800.51 c coefdiving : 0.00 0 0 1800.06/1800.51 c pscostdiving : 0.00 0 0 1800.06/1800.51 c fracdiving : 0.00 0 0 1800.06/1800.51 c veclendiving : 0.00 0 0 1800.06/1800.51 c intdiving : 0.00 0 0 1800.06/1800.51 c actconsdiving : 0.00 0 0 1800.06/1800.51 c objpscostdiving : 0.00 0 0 1800.06/1800.51 c rootsoldiving : 0.00 0 0 1800.06/1800.51 c linesearchdiving : 0.00 0 0 1800.06/1800.51 c guideddiving : 0.00 0 0 1800.06/1800.51 c octane : 0.00 0 0 1800.06/1800.51 c rens : 0.00 0 0 1800.06/1800.51 c rins : 0.00 0 0 1800.06/1800.51 c localbranching : 0.00 0 0 1800.06/1800.51 c mutation : 0.00 0 0 1800.06/1800.51 c crossover : 0.00 0 0 1800.06/1800.51 c dins : 0.00 0 0 1800.06/1800.51 c undercover : 0.00 0 0 1800.06/1800.51 c nlp : 0.45 0 0 1800.06/1800.51 c trysol : 0.18 0 0 1800.06/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec 1800.06/1800.51 c primal LP : 0.00 0 0 0.00 - 1800.06/1800.51 c dual LP : 0.00 0 0 0.00 - 1800.06/1800.51 c lex dual LP : 0.00 0 0 0.00 - 1800.06/1800.51 c barrier LP : 0.00 0 0 0.00 - 1800.06/1800.51 c diving/probing LP: 0.00 0 0 0.00 - 1800.06/1800.51 c strong branching : 0.00 0 0 0.00 - 1800.06/1800.51 c (at root node) : - 0 0 0.00 - 1800.06/1800.51 c conflict analysis: 0.00 0 0 0.00 - 1800.06/1800.51 c B&B Tree : 1800.06/1800.51 c number of runs : 1 1800.06/1800.51 c nodes : 206886 1800.06/1800.51 c nodes (total) : 206886 1800.06/1800.51 c nodes left : 206607 1800.06/1800.51 c max depth : 143 1800.06/1800.51 c max depth (total): 143 1800.06/1800.51 c backtracks : 3646 (1.8%) 1800.06/1800.51 c delayed cutoffs : 70 1800.06/1800.51 c repropagations : 4448 (447 domain reductions, 2 cutoffs) 1800.06/1800.51 c avg switch length: 2.60 1800.06/1800.51 c switching time : 12.32 1800.06/1800.51 c Solution : 1800.06/1800.51 c Solutions found : 0 (0 improvements) 1800.06/1800.51 c Primal Bound : - 1800.06/1800.51 c Dual Bound : +1.06150000000000e+04 1800.06/1800.51 c Gap : infinite 1800.06/1800.51 c Root Dual Bound : +5.44200000000000e+03 1800.06/1800.51 c Root Iterations : 0 1800.44/1800.93 c Time complete: 1800.48.
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-2683180-1277507712/watcher-2683180-1277507712 -o /tmp/evaluation-result-2683180-1277507712/solver-2683180-1277507712 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683180-1277507712.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.45 1.07 1.02 3/106 24100 /proc/meminfo: memFree=1854168/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=5556 CPUtime=0 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 887 0 0 0 0 0 0 0 18 0 1 0 124427577 5689344 809 1992294400 4194304 7136930 140735491614544 18446744073709551615 6349764 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24100/statm: 1389 809 249 719 0 668 0 [startup+0.0244999 s] /proc/loadavg: 1.45 1.07 1.02 3/106 24100 /proc/meminfo: memFree=1854168/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=10556 CPUtime=0.01 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 2137 0 0 0 1 0 0 0 18 0 1 0 124427577 10809344 2058 1992294400 4194304 7136930 140735491614544 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24100/statm: 2639 2058 271 719 0 1918 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10556 [startup+0.101507 s] /proc/loadavg: 1.45 1.07 1.02 3/106 24100 /proc/meminfo: memFree=1854168/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=13376 CPUtime=0.09 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 2849 0 0 0 9 0 0 0 21 0 1 0 124427577 13697024 2770 1992294400 4194304 7136930 140735491614544 18446744073709551615 6285697 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24100/statm: 3344 2770 271 719 0 2623 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13376 [startup+0.301527 s] /proc/loadavg: 1.45 1.07 1.02 3/106 24100 /proc/meminfo: memFree=1854168/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=18676 CPUtime=0.29 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 4176 0 0 0 28 1 0 0 21 0 1 0 124427577 19124224 4097 1992294400 4194304 7136930 140735491614544 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24100/statm: 4669 4097 271 719 0 3948 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18676 [startup+0.701564 s] /proc/loadavg: 1.45 1.07 1.02 3/106 24100 /proc/meminfo: memFree=1854168/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=51696 CPUtime=0.7 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 12442 0 0 0 64 6 0 0 22 0 1 0 124427577 52936704 11991 1992294400 4194304 7136930 140735491614544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24100/statm: 12924 11991 342 719 0 12203 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 51696 [startup+1.50164 s] /proc/loadavg: 1.45 1.07 1.02 2/107 24101 /proc/meminfo: memFree=1804560/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=58948 CPUtime=1.49 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 20236 0 0 0 129 20 0 0 25 0 1 0 124427577 60362752 13811 1992294400 4194304 7136930 140735491614544 18446744073709551615 5008782 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24100/statm: 14737 13811 360 719 0 14016 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 58948 [startup+3.1008 s] /proc/loadavg: 1.45 1.07 1.02 2/107 24101 /proc/meminfo: memFree=1798732/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=60752 CPUtime=3.09 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 28915 0 0 0 271 38 0 0 25 0 1 0 124427577 62210048 14269 1992294400 4194304 7136930 140735491614544 18446744073709551615 6346613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24100/statm: 15188 14279 376 719 0 14467 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 60752 [startup+6.3011 s] /proc/loadavg: 1.42 1.07 1.02 2/107 24101 /proc/meminfo: memFree=1796996/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=61728 CPUtime=6.29 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 41881 0 0 0 562 67 0 0 25 0 1 0 124427577 63209472 14552 1992294400 4194304 7136930 140735491614544 18446744073709551615 5008838 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24100/statm: 15432 14552 376 719 0 14711 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 61728 [startup+12.7007 s] /proc/loadavg: 1.38 1.07 1.02 2/107 24101 /proc/meminfo: memFree=1795632/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=62756 CPUtime=12.69 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 43146 0 0 0 1198 71 0 0 25 0 1 0 124427577 64262144 14854 1992294400 4194304 7136930 140735491614544 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24100/statm: 15689 14854 392 719 0 14968 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 62756 [startup+25.5009 s] /proc/loadavg: 1.30 1.06 1.02 2/107 24101 /proc/meminfo: memFree=1794392/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=64080 CPUtime=25.48 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 43453 0 0 0 2471 77 0 0 25 0 1 0 124427577 65617920 15161 1992294400 4194304 7136930 140735491614544 18446744073709551615 4697187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24100/statm: 16020 15161 392 719 0 15299 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 64080 [startup+51.1014 s] /proc/loadavg: 1.20 1.06 1.02 2/107 24103 /proc/meminfo: memFree=1793028/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=65308 CPUtime=51.08 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 43782 0 0 0 5021 87 0 0 25 0 1 0 124427577 66875392 15490 1992294400 4194304 7136930 140735491614544 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24100/statm: 16327 15490 392 719 0 15606 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 65308 [startup+102.308 s] /proc/loadavg: 1.08 1.05 1.01 2/107 24103 /proc/meminfo: memFree=1787696/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=70620 CPUtime=102.27 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 45122 0 0 0 10124 103 0 0 25 0 1 0 124427577 72314880 16830 1992294400 4194304 7136930 140735491614544 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24100/statm: 17655 16830 392 719 0 16934 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 70620 [startup+162.301 s] /proc/loadavg: 1.03 1.03 1.01 2/107 24105 /proc/meminfo: memFree=1783728/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=74452 CPUtime=162.25 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 46096 0 0 0 16100 125 0 0 25 0 1 0 124427577 76238848 17804 1992294400 4194304 7136930 140735491614544 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24100/statm: 18613 17804 392 719 0 17892 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 74452 [startup+222.302 s] /proc/loadavg: 1.01 1.03 1.00 2/107 24107 /proc/meminfo: memFree=1779388/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=78528 CPUtime=222.24 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 47150 0 0 0 22077 147 0 0 25 0 1 0 124427577 80412672 18858 1992294400 4194304 7136930 140735491614544 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24100/statm: 19632 18858 392 719 0 18911 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 78528 [startup+282.302 s] /proc/loadavg: 1.00 1.02 1.00 2/107 24109 /proc/meminfo: memFree=1776784/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=80992 CPUtime=282.22 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 47794 0 0 0 28054 168 0 0 25 0 1 0 124427577 82935808 19502 1992294400 4194304 7136930 140735491614544 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24100/statm: 20248 19502 392 719 0 19527 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 80992 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 24111 /proc/meminfo: memFree=1770708/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=86932 CPUtime=342.21 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 49308 0 0 0 34030 191 0 0 25 0 1 0 124427577 89018368 21016 1992294400 4194304 7136930 140735491614544 18446744073709551615 4740353 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24100/statm: 21733 21016 392 719 0 21012 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 86932 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 24111 /proc/meminfo: memFree=1766244/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=91336 CPUtime=402.19 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 50451 0 0 0 40004 215 0 0 25 0 1 0 124427577 93528064 22159 1992294400 4194304 7136930 140735491614544 18446744073709551615 4697611 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24100/statm: 22834 22159 392 719 0 22113 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 91336 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24113 /proc/meminfo: memFree=1763640/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=93764 CPUtime=462.18 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 51053 0 0 0 45979 239 0 0 25 0 1 0 124427577 96014336 22761 1992294400 4194304 7136930 140735491614544 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24100/statm: 23441 22761 392 719 0 22720 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 93764 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24115 /proc/meminfo: memFree=1760292/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=96976 CPUtime=522.16 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 51893 0 0 0 51954 262 0 0 25 0 1 0 124427577 99303424 23601 1992294400 4194304 7136930 140735491614544 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24100/statm: 24244 23601 392 719 0 23523 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 96976 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24117 /proc/meminfo: memFree=1756200/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=100872 CPUtime=582.14 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 52885 0 0 0 57930 284 0 0 25 0 1 0 124427577 103292928 24593 1992294400 4194304 7136930 140735491614544 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24100/statm: 25218 24593 392 719 0 24497 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 100872 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24119 /proc/meminfo: memFree=1753348/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=105640 CPUtime=642.14 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 53600 0 0 0 63904 310 0 0 25 0 1 0 124427577 108175360 25308 1992294400 4194304 7136930 140735491614544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24100/statm: 26410 25308 392 719 0 25689 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 105640 [startup+702.302 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24127 /proc/meminfo: memFree=1727060/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=131412 CPUtime=1002.04 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 60219 0 0 0 99758 446 0 0 25 0 1 0 124427577 134565888 31927 1992294400 4194304 7136930 140735491614544 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24100/statm: 32853 31927 392 719 0 32132 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 131412 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24129 /proc/meminfo: memFree=1723092/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=134628 CPUtime=1062.03 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 61051 0 0 0 105734 469 0 0 25 0 1 0 124427577 137859072 32759 1992294400 4194304 7136930 140735491614544 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24100/statm: 33657 32759 392 719 0 32936 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 134628 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24131 /proc/meminfo: memFree=1719124/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=138488 CPUtime=1122.01 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 62044 0 0 0 111707 494 0 0 25 0 1 0 124427577 141811712 33752 1992294400 4194304 7136930 140735491614544 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24100/statm: 34622 33752 392 719 0 33901 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 138488 [startup+1182.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 24133 /proc/meminfo: memFree=1717140/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=140172 CPUtime=1182 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 62496 0 0 0 117684 516 0 0 25 0 1 0 124427577 143536128 34204 1992294400 4194304 7136930 140735491614544 18446744073709551615 5507443 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24100/statm: 35043 34204 392 719 0 34322 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 140172 [startup+1242.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 24135 /proc/meminfo: memFree=1713544/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=143508 CPUtime=1241.98 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 63364 0 0 0 123660 538 0 0 25 0 1 0 124427577 146952192 35072 1992294400 4194304 7136930 140735491614544 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24100/statm: 35877 35072 392 719 0 35156 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 143508 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24135 /proc/meminfo: memFree=1708832/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=148200 CPUtime=1301.98 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 64534 0 0 0 129634 564 0 0 25 0 1 0 124427577 151756800 36242 1992294400 4194304 7136930 140735491614544 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24100/statm: 37050 36242 392 719 0 36329 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 148200 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24137 /proc/meminfo: memFree=1703004/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=153760 CPUtime=1361.95 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 65983 0 0 0 135608 587 0 0 25 0 1 0 124427577 157450240 37691 1992294400 4194304 7136930 140735491614544 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24100/statm: 38440 37691 392 719 0 37719 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 153760 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24142 /proc/meminfo: memFree=1699408/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=156728 CPUtime=1421.94 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 66752 0 0 0 141583 611 0 0 25 0 1 0 124427577 160489472 38460 1992294400 4194304 7136930 140735491614544 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24100/statm: 39182 38460 392 719 0 38461 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 156728 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24144 /proc/meminfo: memFree=1696060/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=159944 CPUtime=1481.93 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 67584 0 0 0 147559 634 0 0 25 0 1 0 124427577 163782656 39292 1992294400 4194304 7136930 140735491614544 18446744073709551615 4414793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24100/statm: 39986 39292 392 719 0 39265 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 159944 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24146 /proc/meminfo: memFree=1694572/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=161696 CPUtime=1541.9 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 68018 0 0 0 153533 657 0 0 25 0 1 0 124427577 165576704 39726 1992294400 4194304 7136930 140735491614544 18446744073709551615 4697373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24100/statm: 40424 39726 392 719 0 39703 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 161696 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24146 /proc/meminfo: memFree=1690356/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=165836 CPUtime=1601.89 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 69079 0 0 0 159508 681 0 0 25 0 1 0 124427577 169816064 40787 1992294400 4194304 7136930 140735491614544 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24100/statm: 41459 40787 392 719 0 40738 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 165836 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24148 /proc/meminfo: memFree=1682668/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=173248 CPUtime=1661.87 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 70992 0 0 0 165485 702 0 0 25 0 1 0 124427577 177405952 42700 1992294400 4194304 7136930 140735491614544 18446744073709551615 4414776 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24100/statm: 43312 42700 392 719 0 42591 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 173248 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24150 /proc/meminfo: memFree=1680436/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=179540 CPUtime=1721.87 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 71569 0 0 0 171460 727 0 0 25 0 1 0 124427577 183848960 43277 1992294400 4194304 7136930 140735491614544 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24100/statm: 44885 43277 392 719 0 44164 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 179540 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24152 /proc/meminfo: memFree=1677212/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=182376 CPUtime=1781.85 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 72307 0 0 0 177434 751 0 0 25 0 1 0 124427577 186753024 44015 1992294400 4194304 7136930 140735491614544 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24100/statm: 45594 44015 392 719 0 44873 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 182376 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.07 1.02 1.00 2/107 24152 /proc/meminfo: memFree=1676592/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=183024 CPUtime=1800.06 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 72477 0 0 0 179248 758 0 0 25 0 1 0 124427577 187416576 44185 1992294400 4194304 7136930 140735491614544 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24100/statm: 45756 44185 392 719 0 45035 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 183024 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.07 1.02 1.00 2/108 24153 /proc/meminfo: memFree=1676584/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=183024 CPUtime=1800.16 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 72482 0 0 0 179258 758 0 0 25 0 1 0 124427577 187416576 44190 1992294400 4194304 7136930 140735491614544 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24100/statm: 45756 44190 397 719 0 45035 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 183024 [startup+1800.8 s] /proc/loadavg: 1.07 1.02 1.00 2/108 24153 /proc/meminfo: memFree=1676584/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=179268 CPUtime=1800.35 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 72482 0 0 0 179277 758 0 0 25 0 1 0 124427577 183570432 43251 1992294400 4194304 7136930 140735491614544 18446744073709551615 4670183 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24100/statm: 44817 43251 397 719 0 44096 0 Current children cumulated CPU time (s) 1800.35 Current children cumulated vsize (KiB) 179268 [startup+1800.9 s] /proc/loadavg: 1.07 1.02 1.00 2/108 24153 /proc/meminfo: memFree=1676584/2059040 swapFree=4139084/4192956 [pid=24100] ppid=24098 vsize=121320 CPUtime=1800.44 /proc/24100/stat : 24100 (pbscip.linux.x8) R 24098 24100 23875 0 -1 4202496 72482 0 0 0 179286 758 0 0 25 0 1 0 124427577 124231680 28774 1992294400 4194304 7136930 140735491614544 18446744073709551615 6165636 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24100/statm: 30330 28774 397 719 0 29609 0 Current children cumulated CPU time (s) 1800.44 Current children cumulated vsize (KiB) 121320 Child status: 0 Real time (s): 1800.94 CPU time (s): 1800.49 CPU user time (s): 1792.89 CPU system time (s): 7.60484 CPU usage (%): 99.9752 Max. virtual memory (cumulated for all children) (KiB): 183024 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.89 system time used= 7.60484 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 72489 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= 6771 runsolver used 2.89356 second user time and 8.58969 second system time The end
Begin job on node018 at 2010-06-26 01:15:12 IDJOB=2683180 IDBENCH=72092 IDSOLVER=1167 FILE ID=node018/2683180-1277507712 PBS_JOBID= 11190623 Free space on /tmp= 62488 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randc18b26.cudf.paranoid.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2683180-1277507712/watcher-2683180-1277507712 -o /tmp/evaluation-result-2683180-1277507712/solver-2683180-1277507712 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683180-1277507712.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d27ae1c0c4452502b0341c609634994f RANDOM SEED=1765865590 node018.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.248 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.49 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.248 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1854448 kB Buffers: 18228 kB Cached: 86952 kB SwapCached: 6088 kB Active: 73232 kB Inactive: 44660 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1854448 kB SwapTotal: 4192956 kB SwapFree: 4139084 kB Dirty: 4056 kB Writeback: 0 kB AnonPages: 11492 kB Mapped: 11880 kB Slab: 64676 kB PageTables: 4076 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182156 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= 62484 MiB End job on node018 at 2010-06-26 01:45:15