Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.47 | 1801 |
Name | /OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randc5fe62.cudf.paranoid.opb |
MD5SUM | 728d13d02a02ab6fe35cdade8d9e5d55 |
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 | 1882 |
Best CPU time to get the best result obtained on this benchmark | 2.50862 |
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 | 5756 |
Total number of constraints | 25625 |
Number of constraints which are clauses | 25334 |
Number of constraints which are cardinality constraints (but not clauses) | 291 |
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 | 2137 |
Biggest coefficient in the objective function | 1588 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 876574 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1588 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 876574 |
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-2683193-1277507920.opb> 0.39/0.49 c original problem has 5756 variables (5756 bin, 0 int, 0 impl, 0 cont) and 25625 constraints 0.39/0.49 c problem read 0.39/0.49 c presolving settings loaded 0.39/0.49 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.62 c presolving: 0.69/0.79 c (round 1) 633 del vars, 1252 del conss, 32 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 53894 impls, 286 clqs 0.79/0.84 c (round 2) 736 del vars, 1633 del conss, 74 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 60929 impls, 285 clqs 0.79/0.88 c (round 3) 883 del vars, 4315 del conss, 162 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 61887 impls, 282 clqs 0.89/0.94 c (round 4) 1556 del vars, 8632 del conss, 239 chg bounds, 10 chg sides, 37 chg coeffs, 0 upgd conss, 62630 impls, 276 clqs 0.89/0.96 c (round 5) 1632 del vars, 9219 del conss, 282 chg bounds, 14 chg sides, 44 chg coeffs, 0 upgd conss, 63045 impls, 275 clqs 0.89/0.99 c (round 6) 1679 del vars, 9570 del conss, 294 chg bounds, 15 chg sides, 46 chg coeffs, 0 upgd conss, 63134 impls, 275 clqs 1.00/1.01 c (round 7) 1690 del vars, 9636 del conss, 294 chg bounds, 16 chg sides, 47 chg coeffs, 0 upgd conss, 63136 impls, 275 clqs 1.00/1.03 c (round 8) 1693 del vars, 9637 del conss, 294 chg bounds, 16 chg sides, 47 chg coeffs, 0 upgd conss, 63136 impls, 275 clqs 1.19/1.24 c (round 9) 1693 del vars, 11023 del conss, 294 chg bounds, 32 chg sides, 47 chg coeffs, 14555 upgd conss, 63136 impls, 275 clqs 1.19/1.29 c (round 10) 1695 del vars, 11025 del conss, 294 chg bounds, 32 chg sides, 47 chg coeffs, 14555 upgd conss, 63136 impls, 275 clqs 1.29/1.34 c (round 11) 1695 del vars, 11027 del conss, 294 chg bounds, 34 chg sides, 47 chg coeffs, 14555 upgd conss, 63136 impls, 275 clqs 1.29/1.36 c (round 12) 1696 del vars, 11028 del conss, 294 chg bounds, 34 chg sides, 47 chg coeffs, 14597 upgd conss, 63136 impls, 275 clqs 1.39/1.41 c (round 13) 1696 del vars, 11029 del conss, 294 chg bounds, 34 chg sides, 47 chg coeffs, 14598 upgd conss, 63136 impls, 275 clqs 1.69/1.71 c (round 14) 1746 del vars, 11029 del conss, 294 chg bounds, 34 chg sides, 47 chg coeffs, 14598 upgd conss, 79575 impls, 270 clqs 1.69/1.73 c (round 15) 1749 del vars, 11114 del conss, 294 chg bounds, 34 chg sides, 47 chg coeffs, 14598 upgd conss, 79708 impls, 270 clqs 1.69/1.75 c (round 16) 1753 del vars, 11131 del conss, 294 chg bounds, 34 chg sides, 47 chg coeffs, 14598 upgd conss, 79708 impls, 270 clqs 1.99/2.07 c (round 17) 1803 del vars, 11132 del conss, 294 chg bounds, 34 chg sides, 47 chg coeffs, 14598 upgd conss, 83158 impls, 269 clqs 1.99/2.09 c (round 18) 1803 del vars, 11160 del conss, 294 chg bounds, 35 chg sides, 47 chg coeffs, 14598 upgd conss, 83158 impls, 269 clqs 2.29/2.39 c (round 19) 1853 del vars, 11160 del conss, 294 chg bounds, 35 chg sides, 47 chg coeffs, 14598 upgd conss, 88517 impls, 268 clqs 2.39/2.41 c (round 20) 1856 del vars, 11182 del conss, 294 chg bounds, 35 chg sides, 47 chg coeffs, 14598 upgd conss, 88529 impls, 268 clqs 2.59/2.62 c (1.9s) probing: 1000/4060 (24.6%) - 27 fixings, 159 aggregations, 6332 implications, 0 bound changes 2.59/2.67 c (round 21) 1906 del vars, 11182 del conss, 294 chg bounds, 35 chg sides, 47 chg coeffs, 14598 upgd conss, 91199 impls, 267 clqs 2.59/2.69 c (round 22) 1910 del vars, 11194 del conss, 294 chg bounds, 35 chg sides, 47 chg coeffs, 14598 upgd conss, 91237 impls, 267 clqs 2.89/2.92 c (round 23) 1960 del vars, 11194 del conss, 294 chg bounds, 35 chg sides, 47 chg coeffs, 14598 upgd conss, 93578 impls, 266 clqs 2.89/2.95 c (round 24) 1964 del vars, 11207 del conss, 294 chg bounds, 35 chg sides, 47 chg coeffs, 14598 upgd conss, 93684 impls, 266 clqs 2.99/3.02 c (round 25) 1964 del vars, 11211 del conss, 294 chg bounds, 35 chg sides, 47 chg coeffs, 14598 upgd conss, 93684 impls, 266 clqs 3.09/3.20 c (round 26) 2016 del vars, 11211 del conss, 294 chg bounds, 35 chg sides, 47 chg coeffs, 14598 upgd conss, 94984 impls, 265 clqs 3.20/3.22 c (round 27) 2021 del vars, 11238 del conss, 294 chg bounds, 35 chg sides, 47 chg coeffs, 14598 upgd conss, 95100 impls, 265 clqs 3.39/3.43 c (round 28) 2071 del vars, 11238 del conss, 294 chg bounds, 35 chg sides, 47 chg coeffs, 14598 upgd conss, 95962 impls, 265 clqs 3.39/3.45 c (round 29) 2073 del vars, 11258 del conss, 294 chg bounds, 35 chg sides, 47 chg coeffs, 14598 upgd conss, 95976 impls, 265 clqs 3.49/3.52 c (2.7s) probing: 2000/4060 (49.3%) - 51 fixings, 305 aggregations, 8362 implications, 0 bound changes 3.59/3.61 c (round 30) 2123 del vars, 11258 del conss, 294 chg bounds, 35 chg sides, 47 chg coeffs, 14598 upgd conss, 96364 impls, 264 clqs 3.59/3.63 c (round 31) 2125 del vars, 11278 del conss, 294 chg bounds, 36 chg sides, 47 chg coeffs, 14598 upgd conss, 96372 impls, 264 clqs 3.69/3.79 c (round 32) 2175 del vars, 11278 del conss, 294 chg bounds, 36 chg sides, 47 chg coeffs, 14598 upgd conss, 97180 impls, 264 clqs 3.79/3.82 c (round 33) 2176 del vars, 11300 del conss, 294 chg bounds, 36 chg sides, 47 chg coeffs, 14598 upgd conss, 97202 impls, 264 clqs 3.79/3.87 c (round 34) 2176 del vars, 11305 del conss, 294 chg bounds, 36 chg sides, 47 chg coeffs, 14598 upgd conss, 97202 impls, 264 clqs 3.99/4.04 c (round 35) 2226 del vars, 11305 del conss, 294 chg bounds, 36 chg sides, 47 chg coeffs, 14598 upgd conss, 97610 impls, 263 clqs 3.99/4.06 c (round 36) 2231 del vars, 11329 del conss, 294 chg bounds, 37 chg sides, 47 chg coeffs, 14598 upgd conss, 97722 impls, 263 clqs 4.19/4.27 c (3.3s) probing: 3000/4060 (73.9%) - 83 fixings, 465 aggregations, 9795 implications, 0 bound changes 4.19/4.28 c (round 37) 2281 del vars, 11329 del conss, 294 chg bounds, 37 chg sides, 47 chg coeffs, 14598 upgd conss, 98929 impls, 263 clqs 4.30/4.30 c (round 38) 2283 del vars, 11376 del conss, 294 chg bounds, 37 chg sides, 47 chg coeffs, 14598 upgd conss, 98953 impls, 263 clqs 4.49/4.54 c (round 39) 2333 del vars, 11377 del conss, 294 chg bounds, 37 chg sides, 47 chg coeffs, 14598 upgd conss, 100871 impls, 263 clqs 4.49/4.56 c (round 40) 2341 del vars, 11470 del conss, 294 chg bounds, 37 chg sides, 47 chg coeffs, 14598 upgd conss, 100975 impls, 263 clqs 4.79/4.83 c (round 41) 2391 del vars, 11471 del conss, 294 chg bounds, 37 chg sides, 47 chg coeffs, 14598 upgd conss, 105009 impls, 263 clqs 4.79/4.85 c (round 42) 2435 del vars, 11580 del conss, 294 chg bounds, 37 chg sides, 47 chg coeffs, 14598 upgd conss, 105603 impls, 263 clqs 4.89/4.99 c (4.0s) probing: 4000/4060 (98.5%) - 202 fixings, 485 aggregations, 14572 implications, 0 bound changes 4.99/5.01 c (round 43) 2471 del vars, 11580 del conss, 294 chg bounds, 37 chg sides, 47 chg coeffs, 14598 upgd conss, 107933 impls, 263 clqs 4.99/5.03 c (round 44) 2507 del vars, 11652 del conss, 294 chg bounds, 37 chg sides, 47 chg coeffs, 14598 upgd conss, 108039 impls, 263 clqs 4.99/5.07 c presolving (45 rounds): 4.99/5.07 c 2507 deleted vars, 11652 deleted constraints, 294 tightened bounds, 0 added holes, 37 changed sides, 47 changed coefficients 4.99/5.07 c 108039 implications, 263 cliques 4.99/5.07 c presolved problem has 3249 variables (3249 bin, 0 int, 0 impl, 0 cont) and 13976 constraints 4.99/5.07 c 264 constraints of type <setppc> 4.99/5.07 c 13712 constraints of type <logicor> 4.99/5.07 c transformed objective value is always integral (scale: 1) 4.99/5.07 c Presolving Time: 4.00 4.99/5.07 c - non default parameters ---------------------------------------------------------------------- 4.99/5.07 c # SCIP version 1.2.1.2 4.99/5.07 c 4.99/5.07 c # frequency for displaying node information lines 4.99/5.07 c # [type: int, range: [-1,2147483647], default: 100] 4.99/5.07 c display/freq = 10000 4.99/5.07 c 4.99/5.07 c # maximal time in seconds to run 4.99/5.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 4.99/5.07 c limits/time = 1799.51 4.99/5.07 c 4.99/5.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 4.99/5.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 4.99/5.07 c limits/memory = 1620 4.99/5.07 c 4.99/5.07 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 4.99/5.07 c # [type: int, range: [-1,2147483647], default: 1] 4.99/5.07 c lp/solvefreq = -1 4.99/5.07 c 4.99/5.07 c # should presolving try to simplify inequalities 4.99/5.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 4.99/5.07 c constraints/linear/simplifyinequalities = TRUE 4.99/5.07 c 4.99/5.07 c # should presolving try to simplify knapsacks 4.99/5.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 4.99/5.07 c constraints/knapsack/simplifyinequalities = TRUE 4.99/5.07 c 4.99/5.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 4.99/5.07 c # [type: int, range: [-1,2147483647], default: -1] 4.99/5.07 c separating/rapidlearning/freq = 0 4.99/5.07 c 4.99/5.07 c ----------------------------------------------------------------------------------------------- 4.99/5.07 c start solving 4.99/5.08 c 4.99/5.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 4.99/5.09 c 4.1s| 1 | 2 | 0 | - | 29M| 0 | - |3249 | 13k| 0 | 0 | 0 | 0 | 0 | 1.841000e+03 | -- | Inf 104.86/104.99 c 104s| 10000 | 9957 | 0 | 0.0 | 35M| 115 | - |3249 | 14k| 0 | 0 | 0 | 26 | 0 | 1.845000e+03 | -- | Inf 200.33/200.48 c 199s| 20000 | 19953 | 0 | 0.0 | 41M| 147 | - |3249 | 14k| 0 | 0 | 0 | 28 | 0 | 1.846000e+03 | -- | Inf 297.21/297.38 c 295s| 30000 | 29951 | 0 | 0.0 | 46M| 147 | - |3249 | 14k| 0 | 0 | 0 | 29 | 0 | 1.846000e+03 | -- | Inf 391.27/391.41 c 389s| 40000 | 39945 | 0 | 0.0 | 51M| 147 | - |3249 | 14k| 0 | 0 | 0 | 32 | 0 | 1.847000e+03 | -- | Inf 486.95/487.16 c 484s| 50000 | 49921 | 0 | 0.0 | 56M| 147 | - |3249 | 14k| 0 | 0 | 0 | 45 | 0 | 1.847000e+03 | -- | Inf 581.12/581.33 c 578s| 60000 | 59919 | 0 | 0.0 | 61M| 147 | - |3249 | 14k| 0 | 0 | 0 | 46 | 0 | 1.847000e+03 | -- | Inf 675.39/675.60 c 672s| 70000 | 69914 | 0 | 0.0 | 66M| 147 | - |3249 | 14k| 0 | 0 | 0 | 48 | 0 | 1.848000e+03 | -- | Inf 768.16/768.40 c 765s| 80000 | 79912 | 0 | 0.0 | 71M| 147 | - |3249 | 14k| 0 | 0 | 0 | 49 | 0 | 1.848000e+03 | -- | Inf 862.24/862.58 c 858s| 90000 | 89912 | 0 | 0.0 | 76M| 147 | - |3249 | 14k| 0 | 0 | 0 | 49 | 0 | 1.848000e+03 | -- | Inf 956.61/956.92 c 952s|100000 | 99910 | 0 | 0.0 | 81M| 149 | - |3249 | 14k| 0 | 0 | 0 | 50 | 0 | 1.849000e+03 | -- | Inf 1051.48/1051.81 c 1047s|110000 |109910 | 0 | 0.0 | 86M| 149 | - |3249 | 14k| 0 | 0 | 0 | 50 | 0 | 1.849000e+03 | -- | Inf 1144.55/1144.90 c 1140s|120000 |119908 | 0 | 0.0 | 91M| 149 | - |3249 | 14k| 0 | 0 | 0 | 51 | 0 | 1.849000e+03 | -- | Inf 1239.42/1239.83 c 1234s|130000 |129906 | 0 | 0.0 | 96M| 151 | - |3249 | 14k| 0 | 0 | 0 | 52 | 0 | 1.849000e+03 | -- | Inf 1332.59/1333.04 c 1327s|140000 |139906 | 0 | 0.0 | 101M| 151 | - |3249 | 14k| 0 | 0 | 0 | 52 | 0 | 1.849000e+03 | -- | Inf 1424.87/1425.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1424.87/1425.30 c 1419s|150000 |149906 | 0 | 0.0 | 106M| 151 | - |3249 | 14k| 0 | 0 | 0 | 52 | 0 | 1.849000e+03 | -- | Inf 1515.94/1516.41 c 1510s|160000 |159906 | 0 | 0.0 | 111M| 151 | - |3249 | 14k| 0 | 0 | 0 | 52 | 0 | 1.849000e+03 | -- | Inf 1612.91/1613.49 c 1607s|170000 |169904 | 0 | 0.0 | 116M| 151 | - |3249 | 14k| 0 | 0 | 0 | 53 | 0 | 1.850000e+03 | -- | Inf 1707.98/1708.53 c 1701s|180000 |179904 | 0 | 0.0 | 121M| 151 | - |3249 | 14k| 0 | 0 | 0 | 53 | 0 | 1.850000e+03 | -- | Inf 1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.07/1800.61 c 1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt] 1800.07/1800.61 c Solving Time (sec) : 1793.12 1800.07/1800.61 c Solving Nodes : 189718 1800.07/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.07/1800.61 c Dual Bound : +1.85000000000000e+03 1800.07/1800.61 c Gap : infinite 1800.07/1800.61 s UNKNOWN 1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt] 1800.07/1800.61 c Solving Time : 1793.12 1800.07/1800.61 c Original Problem : 1800.07/1800.61 c Problem name : HOME/instance-2683193-1277507920.opb 1800.07/1800.61 c Variables : 5756 (5756 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.07/1800.61 c Constraints : 25625 initial, 25625 maximal 1800.07/1800.61 c Presolved Problem : 1800.07/1800.61 c Problem name : t_HOME/instance-2683193-1277507920.opb 1800.07/1800.61 c Variables : 3249 (3249 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.07/1800.61 c Constraints : 13976 initial, 14019 maximal 1800.07/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.07/1800.61 c trivial : 0.04 26 0 0 0 0 0 0 0 1800.07/1800.61 c dualfix : 0.04 575 0 0 0 0 0 0 0 1800.07/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.61 c implics : 0.01 0 274 0 0 0 0 0 0 1800.07/1800.61 c probing : 2.41 203 485 0 0 0 0 0 0 1800.07/1800.61 c setppc : 0.01 0 1 0 0 0 14 3 0 1800.07/1800.61 c linear : 0.38 270 673 0 294 0 11027 34 47 1800.07/1800.61 c logicor : 0.99 0 0 0 0 0 611 0 0 1800.07/1800.61 c root node : - 0 - - 0 - - - - 1800.07/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.07/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0 1800.07/1800.61 c setppc : 264 0 550550 0 189672 73 39856 0 0 0 1800.07/1800.61 c logicor : 13712+ 0 510239 0 189672 154 890771 0 0 0 1800.07/1800.61 c countsols : 0 0 0 0 189672 0 0 0 0 0 1800.07/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.07/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00 1800.07/1800.61 c setppc : 37.75 0.00 9.76 0.00 27.99 1800.07/1800.61 c logicor : 1415.29 0.00 10.26 0.00 1405.03 1800.07/1800.62 c countsols : 0.13 0.00 0.00 0.00 0.13 1800.07/1800.62 c Propagators : Time Calls Cutoffs DomReds 1800.07/1800.62 c vbounds : 0.42 2 0 0 1800.07/1800.62 c rootredcost : 0.47 0 0 0 1800.07/1800.62 c pseudoobj : 64.15 539387 0 0 1800.07/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.07/1800.62 c propagation : 0.00 46 44 52 2.4 3 2.0 - 1800.07/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.07/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.07/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.07/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.07/1800.62 c applied globally : - - - 54 2.4 - - - 1800.07/1800.62 c applied locally : - - - 0 0.0 - - - 1800.07/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.07/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1800.07/1800.62 c redcost : 0.00 0 0 0 0 0 1800.07/1800.62 c impliedbounds : 0.00 0 0 0 0 0 1800.07/1800.62 c intobj : 0.00 0 0 0 0 0 1800.07/1800.62 c cgmip : 0.00 0 0 0 0 0 1800.07/1800.62 c gomory : 0.00 0 0 0 0 0 1800.07/1800.62 c strongcg : 0.00 0 0 0 0 0 1800.07/1800.62 c cmir : 0.00 0 0 0 0 0 1800.07/1800.62 c flowcover : 0.00 0 0 0 0 0 1800.07/1800.62 c clique : 0.00 0 0 0 0 0 1800.07/1800.62 c zerohalf : 0.00 0 0 0 0 0 1800.07/1800.62 c mcf : 0.00 0 0 0 0 0 1800.07/1800.62 c rapidlearning : 0.00 0 0 0 0 0 1800.07/1800.62 c Pricers : Time Calls Vars 1800.07/1800.62 c problem variables: 0.00 0 0 1800.07/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.07/1800.62 c relpscost : 0.00 0 0 0 0 0 0 1800.07/1800.62 c pscost : 0.00 0 0 0 0 0 0 1800.07/1800.62 c inference : 245.68 189672 0 0 0 0 379344 1800.07/1800.62 c mostinf : 0.00 0 0 0 0 0 0 1800.07/1800.62 c leastinf : 0.00 0 0 0 0 0 0 1800.07/1800.62 c fullstrong : 0.00 0 0 0 0 0 0 1800.07/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0 1800.07/1800.62 c random : 0.00 0 0 0 0 0 0 1800.07/1800.62 c Primal Heuristics : Time Calls Found 1800.07/1800.62 c LP solutions : 0.00 - 0 1800.07/1800.62 c pseudo solutions : 0.00 - 0 1800.07/1800.62 c oneopt : 0.10 0 0 1800.07/1800.62 c trivial : 0.03 2 0 1800.07/1800.62 c simplerounding : 0.00 0 0 1800.07/1800.62 c zirounding : 0.00 0 0 1800.07/1800.62 c rounding : 0.00 0 0 1800.07/1800.62 c shifting : 0.00 0 0 1800.07/1800.62 c intshifting : 0.00 0 0 1800.07/1800.62 c twoopt : 0.00 0 0 1800.07/1800.62 c fixandinfer : 0.00 0 0 1800.07/1800.62 c feaspump : 0.00 0 0 1800.07/1800.62 c coefdiving : 0.00 0 0 1800.07/1800.62 c pscostdiving : 0.00 0 0 1800.07/1800.62 c fracdiving : 0.00 0 0 1800.07/1800.62 c veclendiving : 0.00 0 0 1800.07/1800.62 c intdiving : 0.00 0 0 1800.07/1800.62 c actconsdiving : 0.00 0 0 1800.07/1800.62 c objpscostdiving : 0.00 0 0 1800.07/1800.62 c rootsoldiving : 0.00 0 0 1800.07/1800.62 c linesearchdiving : 0.00 0 0 1800.07/1800.62 c guideddiving : 0.00 0 0 1800.07/1800.62 c octane : 0.00 0 0 1800.07/1800.62 c rens : 0.00 0 0 1800.07/1800.62 c rins : 0.00 0 0 1800.07/1800.62 c localbranching : 0.00 0 0 1800.07/1800.62 c mutation : 0.00 0 0 1800.07/1800.62 c crossover : 0.00 0 0 1800.07/1800.62 c dins : 0.00 0 0 1800.07/1800.62 c undercover : 0.00 0 0 1800.07/1800.62 c nlp : 0.30 0 0 1800.07/1800.62 c trysol : 0.11 0 0 1800.07/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec 1800.07/1800.62 c primal LP : 0.00 0 0 0.00 - 1800.07/1800.62 c dual LP : 0.00 0 0 0.00 - 1800.07/1800.62 c lex dual LP : 0.00 0 0 0.00 - 1800.07/1800.62 c barrier LP : 0.00 0 0 0.00 - 1800.07/1800.62 c diving/probing LP: 0.00 0 0 0.00 - 1800.07/1800.62 c strong branching : 0.00 0 0 0.00 - 1800.07/1800.62 c (at root node) : - 0 0 0.00 - 1800.07/1800.62 c conflict analysis: 0.00 0 0 0.00 - 1800.07/1800.62 c B&B Tree : 1800.07/1800.62 c number of runs : 1 1800.07/1800.62 c nodes : 189718 1800.07/1800.62 c nodes (total) : 189718 1800.07/1800.62 c nodes left : 189620 1800.07/1800.62 c max depth : 151 1800.07/1800.62 c max depth (total): 151 1800.07/1800.62 c backtracks : 2603 (1.4%) 1800.07/1800.62 c delayed cutoffs : 7 1800.07/1800.62 c repropagations : 1610 (197 domain reductions, 0 cutoffs) 1800.07/1800.62 c avg switch length: 2.51 1800.07/1800.62 c switching time : 11.70 1800.07/1800.62 c Solution : 1800.07/1800.62 c Solutions found : 0 (0 improvements) 1800.07/1800.62 c Primal Bound : - 1800.07/1800.62 c Dual Bound : +1.85000000000000e+03 1800.07/1800.62 c Gap : infinite 1800.07/1800.62 c Root Dual Bound : +1.84100000000000e+03 1800.07/1800.62 c Root Iterations : 0 1800.46/1801.00 c Time complete: 1800.46.
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-2683193-1277507920/watcher-2683193-1277507920 -o /tmp/evaluation-result-2683193-1277507920/solver-2683193-1277507920 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683193-1277507920.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.09 1.02 1.01 3/106 32324 /proc/meminfo: memFree=1832736/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=5556 CPUtime=0 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 885 0 0 0 0 0 0 0 18 0 1 0 92084795 5689344 808 1992294400 4194304 7136930 140734690034832 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32324/statm: 1389 808 249 719 0 668 0 [startup+0.033575 s] /proc/loadavg: 1.09 1.02 1.01 3/106 32324 /proc/meminfo: memFree=1832736/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=10916 CPUtime=0.02 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 2212 0 0 0 2 0 0 0 18 0 1 0 92084795 11177984 2133 1992294400 4194304 7136930 140734690034832 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32324/statm: 2729 2133 271 719 0 2008 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10916 [startup+0.100583 s] /proc/loadavg: 1.09 1.02 1.01 3/106 32324 /proc/meminfo: memFree=1832736/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=13340 CPUtime=0.09 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 2824 0 0 0 9 0 0 0 21 0 1 0 92084795 13660160 2745 1992294400 4194304 7136930 140734690034832 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32324/statm: 3335 2745 271 719 0 2614 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13340 [startup+0.300611 s] /proc/loadavg: 1.09 1.02 1.01 3/106 32324 /proc/meminfo: memFree=1832736/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=18572 CPUtime=0.29 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 4123 0 0 0 28 1 0 0 21 0 1 0 92084795 19017728 4044 1992294400 4194304 7136930 140734690034832 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32324/statm: 4643 4044 271 719 0 3922 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18572 [startup+0.700668 s] /proc/loadavg: 1.09 1.02 1.01 3/106 32324 /proc/meminfo: memFree=1832736/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=48936 CPUtime=0.69 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 11797 0 0 0 63 6 0 0 22 0 1 0 92084795 50110464 11359 1992294400 4194304 7136930 140734690034832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 12234 11359 342 719 0 11513 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 48936 [startup+1.50078 s] /proc/loadavg: 1.09 1.02 1.01 2/107 32325 /proc/meminfo: memFree=1785856/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=56780 CPUtime=1.49 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 19592 0 0 0 128 21 0 0 25 0 1 0 92084795 58142720 13376 1992294400 4194304 7136930 140734690034832 18446744073709551615 5500779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 14195 13376 370 719 0 13474 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 56780 [startup+3.10101 s] /proc/loadavg: 1.08 1.02 1.00 2/107 32325 /proc/meminfo: memFree=1778664/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=58748 CPUtime=3.09 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 26060 0 0 0 275 34 0 0 25 0 1 0 92084795 60157952 13871 1992294400 4194304 7136930 140734690034832 18446744073709551615 5497079 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 14687 13871 376 719 0 13966 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 58748 [startup+6.30147 s] /proc/loadavg: 1.08 1.02 1.00 2/107 32325 /proc/meminfo: memFree=1776804/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=59964 CPUtime=6.29 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 36084 0 0 0 575 54 0 0 25 0 1 0 92084795 61403136 14197 1992294400 4194304 7136930 140734690034832 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 14991 14197 392 719 0 14270 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 59964 [startup+12.7014 s] /proc/loadavg: 1.07 1.02 1.00 2/107 32325 /proc/meminfo: memFree=1776556/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=60240 CPUtime=12.69 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 36152 0 0 0 1212 57 0 0 25 0 1 0 92084795 61685760 14265 1992294400 4194304 7136930 140734690034832 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 15060 14265 392 719 0 14339 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 60240 [startup+25.5012 s] /proc/loadavg: 1.06 1.01 1.00 2/107 32325 /proc/meminfo: memFree=1775440/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=61316 CPUtime=25.49 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 36445 0 0 0 2488 61 0 0 25 0 1 0 92084795 62787584 14558 1992294400 4194304 7136930 140734690034832 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 15329 14558 392 719 0 14608 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 61316 [startup+51.1009 s] /proc/loadavg: 1.04 1.01 1.00 2/107 32325 /proc/meminfo: memFree=1774324/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=62984 CPUtime=51.07 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 36849 0 0 0 5038 69 0 0 25 0 1 0 92084795 64495616 14962 1992294400 4194304 7136930 140734690034832 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 15746 14962 392 719 0 15025 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 62984 [startup+102.308 s] /proc/loadavg: 1.01 1.01 1.00 2/107 32327 /proc/meminfo: memFree=1769860/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=66868 CPUtime=102.27 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 37842 0 0 0 10138 89 0 0 25 0 1 0 92084795 68472832 15955 1992294400 4194304 7136930 140734690034832 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 16717 15955 392 719 0 15996 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 66868 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32329 /proc/meminfo: memFree=1766140/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=70360 CPUtime=162.25 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 38734 0 0 0 16115 110 0 0 25 0 1 0 92084795 72048640 16847 1992294400 4194304 7136930 140734690034832 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 17590 16847 392 719 0 16869 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 70360 [startup+222.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32331 /proc/meminfo: memFree=1763412/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=73052 CPUtime=222.22 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 39425 0 0 0 22094 128 0 0 25 0 1 0 92084795 74805248 17538 1992294400 4194304 7136930 140734690034832 18446744073709551615 4697373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 18263 17538 392 719 0 17542 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 73052 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32331 /proc/meminfo: memFree=1759444/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=76868 CPUtime=282.21 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 40400 0 0 0 28072 149 0 0 25 0 1 0 92084795 78712832 18513 1992294400 4194304 7136930 140734690034832 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 19217 18513 392 719 0 18496 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 76868 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32333 /proc/meminfo: memFree=1755972/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=80260 CPUtime=342.19 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 41272 0 0 0 34049 170 0 0 25 0 1 0 92084795 82186240 19385 1992294400 4194304 7136930 140734690034832 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 20065 19385 392 719 0 19344 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 80260 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32335 /proc/meminfo: memFree=1752500/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=83492 CPUtime=402.17 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 42125 0 0 0 40027 190 0 0 25 0 1 0 92084795 85495808 20238 1992294400 4194304 7136930 140734690034832 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 20873 20238 392 719 0 20152 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 83492 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32337 /proc/meminfo: memFree=1747540/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=88276 CPUtime=462.15 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 43343 0 0 0 46002 213 0 0 25 0 1 0 92084795 90394624 21456 1992294400 4194304 7136930 140734690034832 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 22069 21456 392 719 0 21348 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 88276 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32339 /proc/meminfo: memFree=1744688/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=90876 CPUtime=522.14 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 44025 0 0 0 51981 233 0 0 25 0 1 0 92084795 93057024 22138 1992294400 4194304 7136930 140734690034832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 22719 22138 392 719 0 21998 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 90876 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32339 /proc/meminfo: memFree=1741588/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=93824 CPUtime=582.11 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 44790 0 0 0 57959 252 0 0 25 0 1 0 92084795 96075776 22903 1992294400 4194304 7136930 140734690034832 18446744073709551615 4697187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 23456 22903 392 719 0 22735 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 93824 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32341 /proc/meminfo: memFree=1737868/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=99476 CPUtime=642.11 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 45717 0 0 0 63938 273 0 0 25 0 1 0 92084795 101863424 23830 1992294400 4194304 7136930 140734690034832 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 24869 23830 392 719 0 24148 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 99476 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.02 1.01 1.00 2/107 32350 /proc/meminfo: memFree=1723236/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=113064 CPUtime=882.02 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 49197 0 0 0 87852 350 0 0 25 0 1 0 92084795 115777536 27310 1992294400 4194304 7136930 140734690034832 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 28266 27310 392 719 0 27545 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 113064 [startup+942.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 32352 /proc/meminfo: memFree=1720880/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=115184 CPUtime=942.01 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 49762 0 0 0 93831 370 0 0 25 0 1 0 92084795 117948416 27875 1992294400 4194304 7136930 140734690034832 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 28796 27875 392 719 0 28075 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 115184 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32354 /proc/meminfo: memFree=1717904/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=118068 CPUtime=1001.99 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 50511 0 0 0 99809 390 0 0 25 0 1 0 92084795 120901632 28624 1992294400 4194304 7136930 140734690034832 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 29517 28624 392 719 0 28796 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 118068 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32356 /proc/meminfo: memFree=1713316/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=122596 CPUtime=1061.98 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 51649 0 0 0 105788 410 0 0 25 0 1 0 92084795 125538304 29762 1992294400 4194304 7136930 140734690034832 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 30649 29762 392 719 0 29928 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 122596 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32358 /proc/meminfo: memFree=1711208/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=124560 CPUtime=1121.96 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 52165 0 0 0 111768 428 0 0 25 0 1 0 92084795 127549440 30278 1992294400 4194304 7136930 140734690034832 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 31140 30278 392 719 0 30419 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 124560 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32358 /proc/meminfo: memFree=1706000/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=129684 CPUtime=1181.93 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 53482 0 0 0 117745 448 0 0 25 0 1 0 92084795 132796416 31595 1992294400 4194304 7136930 140734690034832 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 32421 31595 392 719 0 31700 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 129684 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32360 /proc/meminfo: memFree=1703396/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=132128 CPUtime=1241.92 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 54128 0 0 0 123723 469 0 0 25 0 1 0 92084795 135299072 32241 1992294400 4194304 7136930 140734690034832 18446744073709551615 4697422 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 33032 32241 392 719 0 32311 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 132128 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32362 /proc/meminfo: memFree=1699180/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=136120 CPUtime=1301.91 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 55150 0 0 0 129702 489 0 0 25 0 1 0 92084795 139386880 33263 1992294400 4194304 7136930 140734690034832 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 34030 33263 392 719 0 33309 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 136120 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32364 /proc/meminfo: memFree=1697072/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=138180 CPUtime=1361.88 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 55690 0 0 0 135678 510 0 0 25 0 1 0 92084795 141496320 33803 1992294400 4194304 7136930 140734690034832 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 34545 33803 392 719 0 33824 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 138180 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32366 /proc/meminfo: memFree=1693104/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=141920 CPUtime=1421.88 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 56653 0 0 0 141658 530 0 0 25 0 1 0 92084795 145326080 34766 1992294400 4194304 7136930 140734690034832 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 35480 34766 392 719 0 34759 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 141920 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32366 /proc/meminfo: memFree=1690996/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=144496 CPUtime=1481.85 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 57321 0 0 0 147637 548 0 0 25 0 1 0 92084795 147963904 35434 1992294400 4194304 7136930 140734690034832 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 36124 35434 392 719 0 35403 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 144496 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32368 /proc/meminfo: memFree=1686904/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=147976 CPUtime=1541.83 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 58217 0 0 0 153616 567 0 0 25 0 1 0 92084795 151527424 36330 1992294400 4194304 7136930 140734690034832 18446744073709551615 4697187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 36994 36330 392 719 0 36273 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 147976 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32370 /proc/meminfo: memFree=1683928/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=150956 CPUtime=1601.82 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 58971 0 0 0 159596 586 0 0 25 0 1 0 92084795 154578944 37084 1992294400 4194304 7136930 140734690034832 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 37739 37084 392 719 0 37018 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 150956 [startup+1662.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 32372 /proc/meminfo: memFree=1681572/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=153148 CPUtime=1661.8 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 59546 0 0 0 165577 603 0 0 25 0 1 0 92084795 156823552 37659 1992294400 4194304 7136930 140734690034832 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 38287 37659 392 719 0 37566 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 153148 [startup+1722.3 s] /proc/loadavg: 1.06 1.02 1.00 2/107 32374 /proc/meminfo: memFree=1676736/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=157816 CPUtime=1721.78 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 60754 0 0 0 171555 623 0 0 25 0 1 0 92084795 161603584 38867 1992294400 4194304 7136930 140734690034832 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 39454 38867 392 719 0 38733 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 157816 [startup+1782.3 s] /proc/loadavg: 1.06 1.03 1.00 2/107 32374 /proc/meminfo: memFree=1674256/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=160048 CPUtime=1781.76 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 61337 0 0 0 177534 642 0 0 25 0 1 0 92084795 163889152 39450 1992294400 4194304 7136930 140734690034832 18446744073709551615 5005114 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 40012 39450 392 719 0 39291 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 160048 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.04 1.03 1.00 2/107 32376 /proc/meminfo: memFree=1672892/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=161324 CPUtime=1800.07 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 61664 0 0 0 179359 648 0 0 25 0 1 0 92084795 165195776 39777 1992294400 4194304 7136930 140734690034832 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32324/statm: 40331 39777 392 719 0 39610 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 161324 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.04 1.03 1.00 2/107 32376 /proc/meminfo: memFree=1672892/2059040 swapFree=4140068/4192956 [pid=32324] ppid=32322 vsize=19928 CPUtime=1800.46 /proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 61671 0 0 0 179396 650 0 0 25 0 1 0 92084795 20406272 4496 1992294400 4194304 7136930 140734690034832 18446744073709551615 6526746 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32324/statm: 4982 4020 399 719 0 4261 0 Current children cumulated CPU time (s) 1800.46 Current children cumulated vsize (KiB) 19928 Child status: 0 Real time (s): 1801 CPU time (s): 1800.47 CPU user time (s): 1793.96 CPU system time (s): 6.50701 CPU usage (%): 99.9702 Max. virtual memory (cumulated for all children) (KiB): 161324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.96 system time used= 6.50701 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61676 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= 21119 runsolver used 3.00154 second user time and 8.48571 second system time The end
Begin job on node039 at 2010-06-26 01:18:40 IDJOB=2683193 IDBENCH=72093 IDSOLVER=1167 FILE ID=node039/2683193-1277507920 PBS_JOBID= 11190593 Free space on /tmp= 62320 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-randc5fe62.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-2683193-1277507920/watcher-2683193-1277507920 -o /tmp/evaluation-result-2683193-1277507920/solver-2683193-1277507920 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683193-1277507920.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 728d13d02a02ab6fe35cdade8d9e5d55 RANDOM SEED=843601497 node039.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.267 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.53 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.267 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1833016 kB Buffers: 28620 kB Cached: 106836 kB SwapCached: 5404 kB Active: 71940 kB Inactive: 75676 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1833016 kB SwapTotal: 4192956 kB SwapFree: 4140068 kB Dirty: 4160 kB Writeback: 0 kB AnonPages: 10952 kB Mapped: 12152 kB Slab: 56420 kB PageTables: 4108 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181944 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= 62316 MiB End job on node039 at 2010-06-26 01:48:43