Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.51 | 1800.49 |
Name | /PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-25s.smv--soft-66-100-0.wbo |
MD5SUM | a96e8ec93fa53032ae0ea101ae8e779b |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.082986 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 5072 |
Total number of constraints | 12829 |
Number of soft constraints | 4377 |
Number of constraints which are clauses | 11721 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1108 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15 |
Top cost | 225332 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 225331 |
Biggest number in a constraint | 165 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 546 |
Number of bits of the biggest sum of numbers | 10 |
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-2693628-1277913455.wbo> 0.09/0.12 c original problem has 13826 variables (9449 bin, 0 int, 0 impl, 4377 cont) and 17207 constraints 0.09/0.12 c problem read 0.09/0.12 c presolving settings loaded 0.09/0.12 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.09/0.19 c presolving: 0.19/0.24 c (round 1) 123 del vars, 10 del conss, 3 chg bounds, 554 chg sides, 1112 chg coeffs, 0 upgd conss, 54393 impls, 0 clqs 0.19/0.25 c (round 2) 123 del vars, 249 del conss, 3 chg bounds, 554 chg sides, 1112 chg coeffs, 0 upgd conss, 54393 impls, 0 clqs 0.19/0.27 c (round 3) 123 del vars, 249 del conss, 4380 chg bounds, 554 chg sides, 1112 chg coeffs, 0 upgd conss, 54393 impls, 0 clqs 0.29/0.34 c (round 4) 123 del vars, 249 del conss, 4380 chg bounds, 554 chg sides, 1112 chg coeffs, 8205 upgd conss, 54393 impls, 0 clqs 1.19/1.22 c (1.0s) probing: 1000/9326 (10.7%) - 0 fixings, 7 aggregations, 375 implications, 0 bound changes 1.89/1.90 c (1.7s) probing: 1856/9326 (19.9%) - 0 fixings, 14 aggregations, 517 implications, 0 bound changes 1.89/1.90 c (1.7s) probing aborted: 100/100 successive totally useless probings 1.89/1.90 c (round 5) 137 del vars, 249 del conss, 4380 chg bounds, 554 chg sides, 1112 chg coeffs, 8205 upgd conss, 56693 impls, 0 clqs 1.89/1.94 c (1.7s) probing: 1866/9326 (20.0%) - 0 fixings, 14 aggregations, 517 implications, 0 bound changes 1.89/1.94 c (1.7s) probing aborted: 100/100 successive totally useless probings 1.89/1.94 c presolving (6 rounds): 1.89/1.94 c 137 deleted vars, 249 deleted constraints, 4380 tightened bounds, 0 added holes, 554 changed sides, 1112 changed coefficients 1.89/1.94 c 56693 implications, 0 cliques 1.89/1.94 c presolved problem has 13689 variables (9312 bin, 0 int, 0 impl, 4377 cont) and 16958 constraints 1.89/1.94 c 4377 constraints of type <indicator> 1.89/1.94 c 1 constraints of type <varbound> 1.89/1.94 c 738 constraints of type <knapsack> 1.89/1.94 c 4376 constraints of type <linear> 1.89/1.94 c 7466 constraints of type <logicor> 1.89/1.94 c transformed objective value is always integral (scale: 1) 1.89/1.94 c Presolving Time: 1.67 1.89/1.94 c - non default parameters ---------------------------------------------------------------------- 1.89/1.94 c # SCIP version 1.2.1.2 1.89/1.94 c 1.89/1.94 c # frequency for displaying node information lines 1.89/1.94 c # [type: int, range: [-1,2147483647], default: 100] 1.89/1.94 c display/freq = 10000 1.89/1.94 c 1.89/1.94 c # maximal time in seconds to run 1.89/1.94 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.89/1.94 c limits/time = 1799.88 1.89/1.94 c 1.89/1.94 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 1.89/1.94 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.89/1.94 c limits/memory = 3420 1.89/1.94 c 1.89/1.94 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 1.89/1.94 c # [type: int, range: [-1,2147483647], default: 1] 1.89/1.94 c lp/solvefreq = -1 1.89/1.94 c 1.89/1.94 c # should presolving try to simplify inequalities 1.89/1.94 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.89/1.94 c constraints/linear/simplifyinequalities = TRUE 1.89/1.94 c 1.89/1.94 c # should presolving try to simplify knapsacks 1.89/1.94 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.89/1.94 c constraints/knapsack/simplifyinequalities = TRUE 1.89/1.94 c 1.89/1.94 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 1.89/1.94 c # [type: int, range: [-1,2147483647], default: -1] 1.89/1.94 c separating/rapidlearning/freq = 0 1.89/1.94 c 1.89/1.94 c ----------------------------------------------------------------------------------------------- 1.89/1.94 c start solving 1.89/1.94 c 1.89/1.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1.89/1.96 c 1.7s| 1 | 2 | 0 | - | 48M| 0 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 45.29/45.32 c 44.9s| 10000 | 10001 | 0 | 0.0 | 58M| 61 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 89.00/89.03 c 88.3s| 20000 | 20001 | 0 | 0.0 | 68M| 61 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 132.30/132.36 c 131s| 30000 | 30001 | 0 | 0.0 | 76M| 61 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 175.59/175.66 c 174s| 40000 | 40001 | 0 | 0.0 | 85M| 61 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 218.69/218.77 c 217s| 50000 | 50001 | 0 | 0.0 | 93M| 61 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 261.88/261.98 c 260s| 60000 | 60001 | 0 | 0.0 | 102M| 67 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 305.49/305.53 c 304s| 70000 | 70001 | 0 | 0.0 | 111M| 67 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 346.88/346.92 c 345s| 80000 | 80001 | 0 | 0.0 | 119M| 151 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 387.48/387.58 c 385s| 90000 | 90001 | 0 | 0.0 | 127M| 199 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 428.19/428.24 c 426s|100000 |100001 | 0 | 0.0 | 135M| 199 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 468.89/468.91 c 466s|110000 |110001 | 0 | 0.0 | 143M| 199 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 509.58/509.60 c 506s|120000 |120001 | 0 | 0.0 | 151M| 199 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 550.09/550.12 c 547s|130000 |130001 | 0 | 0.0 | 159M| 199 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 590.69/590.77 c 587s|140000 |140001 | 0 | 0.0 | 167M| 199 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 631.19/631.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 631.19/631.24 c 627s|150000 |150001 | 0 | 0.0 | 175M| 199 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 671.69/671.76 c 668s|160000 |160001 | 0 | 0.0 | 183M| 199 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 711.79/711.89 c 708s|170000 |170001 | 0 | 0.0 | 191M| 199 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 751.79/751.84 c 747s|180000 |180001 | 0 | 0.0 | 198M| 199 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 791.39/791.47 c 787s|190000 |190001 | 0 | 0.0 | 206M| 203 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 831.60/831.62 c 827s|200000 |200001 | 0 | 0.0 | 214M| 205 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 871.79/871.85 c 867s|210000 |210001 | 0 | 0.0 | 221M| 205 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 912.00/912.07 c 907s|220000 |220001 | 0 | 0.0 | 229M| 205 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 951.99/952.09 c 946s|230000 |230001 | 0 | 0.0 | 237M| 205 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 992.20/992.28 c 986s|240000 |240001 | 0 | 0.0 | 244M| 205 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1032.40/1032.50 c 1026s|250000 |250001 | 0 | 0.0 | 252M| 205 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1072.60/1072.64 c 1066s|260000 |260001 | 0 | 0.0 | 260M| 205 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1113.00/1113.00 c 1106s|270000 |270001 | 0 | 0.0 | 267M| 205 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1153.10/1153.19 c 1146s|280000 |280001 | 0 | 0.0 | 275M| 205 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1193.30/1193.31 c 1186s|290000 |290001 | 0 | 0.0 | 282M| 205 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1233.30/1233.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1233.30/1233.32 c 1226s|300000 |300001 | 0 | 0.0 | 290M| 205 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1272.70/1272.77 c 1265s|310000 |310001 | 0 | 0.0 | 297M| 205 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1312.20/1312.21 c 1304s|320000 |320001 | 0 | 0.0 | 304M| 205 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1351.81/1351.85 c 1344s|330000 |330001 | 0 | 0.0 | 312M| 205 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1391.41/1391.41 c 1383s|340000 |340001 | 0 | 0.0 | 319M| 205 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1431.11/1431.16 c 1423s|350000 |350001 | 0 | 0.0 | 327M| 205 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1470.71/1470.78 c 1462s|360000 |360001 | 0 | 0.0 | 334M| 205 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1510.31/1510.32 c 1501s|370000 |370001 | 0 | 0.0 | 342M| 205 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1549.81/1549.82 c 1541s|380000 |380001 | 0 | 0.0 | 349M| 205 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1589.31/1589.30 c 1580s|390000 |390001 | 0 | 0.0 | 356M| 205 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1628.60/1628.64 c 1619s|400000 |400001 | 0 | 0.0 | 364M| 205 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1667.91/1667.94 c 1658s|410000 |410001 | 0 | 0.0 | 371M| 205 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1707.41/1707.41 c 1697s|420000 |420001 | 0 | 0.0 | 378M| 205 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1746.91/1746.95 c 1737s|430000 |430001 | 0 | 0.0 | 386M| 205 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1786.42/1786.45 c 1776s|440000 |440001 | 0 | 0.0 | 393M| 205 | - | 13k| 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.02/1800.01 c 1800.02/1800.01 c SCIP Status : solving was interrupted [user interrupt] 1800.02/1800.01 c Solving Time (sec) : 1789.32 1800.02/1800.01 c Solving Nodes : 443410 1800.02/1800.01 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.02/1800.01 c Dual Bound : +0.00000000000000e+00 1800.02/1800.01 c Gap : infinite 1800.02/1800.01 s UNKNOWN 1800.02/1800.01 c SCIP Status : solving was interrupted [user interrupt] 1800.02/1800.01 c Solving Time : 1789.32 1800.02/1800.01 c Original Problem : 1800.02/1800.01 c Problem name : HOME/instance-2693628-1277913455.wbo 1800.02/1800.01 c Variables : 13826 (9449 binary, 0 integer, 0 implicit integer, 4377 continuous) 1800.02/1800.01 c Constraints : 17207 initial, 17207 maximal 1800.02/1800.01 c Presolved Problem : 1800.02/1800.01 c Problem name : t_HOME/instance-2693628-1277913455.wbo 1800.02/1800.01 c Variables : 13689 (9312 binary, 0 integer, 0 implicit integer, 4377 continuous) 1800.02/1800.01 c Constraints : 16958 initial, 16958 maximal 1800.02/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.02/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.01 c implics : 0.00 0 118 0 0 0 0 0 0 1800.02/1800.01 c probing : 1.51 0 14 0 0 0 0 0 0 1800.02/1800.01 c indicator : 0.01 0 0 0 0 0 0 0 0 1800.02/1800.01 c varbound : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.01 c linear : 0.09 3 2 0 4380 0 249 554 1112 1800.02/1800.01 c logicor : 0.03 0 0 0 0 0 0 0 0 1800.02/1800.01 c root node : - 0 - - 0 - - - - 1800.02/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.02/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0 1800.02/1800.01 c indicator : 4377 0 1794506 0 443415 0 35218 0 0 0 1800.02/1800.01 c varbound : 1 0 1692923 0 418790 0 0 0 0 0 1800.02/1800.01 c knapsack : 738 0 1794506 0 443415 0 3 0 0 0 1800.02/1800.01 c linear : 4376 0 1794506 0 443415 0 34305 0 0 0 1800.02/1800.01 c logicor : 7466 0 1659172 0 443415 0 3724636 0 0 0 1800.02/1800.01 c countsols : 0 0 0 0 443410 0 0 0 0 0 1800.02/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.02/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00 1800.02/1800.01 c indicator : 284.19 0.00 94.14 0.00 190.05 1800.02/1800.01 c varbound : 0.65 0.00 0.43 0.00 0.22 1800.02/1800.01 c knapsack : 22.55 0.00 21.63 0.00 0.92 1800.02/1800.01 c linear : 104.05 0.00 103.41 0.00 0.64 1800.02/1800.01 c logicor : 535.68 0.00 10.85 0.00 524.83 1800.02/1800.01 c countsols : 0.16 0.00 0.00 0.00 0.16 1800.02/1800.01 c Propagators : Time Calls Cutoffs DomReds 1800.02/1800.01 c vbounds : 0.49 26416 0 912 1800.02/1800.01 c rootredcost : 0.41 0 0 0 1800.02/1800.01 c pseudoobj : 186.69 1790500 0 0 1800.02/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.02/1800.01 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1800.02/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.02/1800.01 c applied globally : - - - 0 0.0 - - - 1800.02/1800.01 c applied locally : - - - 0 0.0 - - - 1800.02/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.02/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1800.02/1800.01 c redcost : 0.00 0 0 0 0 0 1800.02/1800.01 c impliedbounds : 0.00 0 0 0 0 0 1800.02/1800.01 c intobj : 0.00 0 0 0 0 0 1800.02/1800.01 c cgmip : 0.00 0 0 0 0 0 1800.02/1800.01 c gomory : 0.00 0 0 0 0 0 1800.02/1800.01 c strongcg : 0.00 0 0 0 0 0 1800.02/1800.01 c cmir : 0.00 0 0 0 0 0 1800.02/1800.01 c flowcover : 0.00 0 0 0 0 0 1800.02/1800.01 c clique : 0.00 0 0 0 0 0 1800.02/1800.01 c zerohalf : 0.00 0 0 0 0 0 1800.02/1800.01 c mcf : 0.00 0 0 0 0 0 1800.02/1800.01 c rapidlearning : 0.00 0 0 0 0 0 1800.02/1800.01 c Pricers : Time Calls Vars 1800.02/1800.01 c problem variables: 0.00 0 0 1800.02/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.02/1800.01 c relpscost : 0.00 0 0 0 0 0 0 1800.02/1800.01 c pscost : 0.00 0 0 0 0 0 0 1800.02/1800.01 c inference : 621.83 443410 0 0 0 0 886820 1800.02/1800.01 c mostinf : 0.00 0 0 0 0 0 0 1800.02/1800.01 c leastinf : 0.00 0 0 0 0 0 0 1800.02/1800.01 c fullstrong : 0.00 0 0 0 0 0 0 1800.02/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0 1800.02/1800.01 c random : 0.00 0 0 0 0 0 0 1800.02/1800.01 c Primal Heuristics : Time Calls Found 1800.02/1800.01 c LP solutions : 0.00 - 0 1800.02/1800.01 c pseudo solutions : 0.00 - 0 1800.02/1800.01 c oneopt : 0.09 0 0 1800.02/1800.01 c trivial : 0.02 2 0 1800.02/1800.01 c simplerounding : 0.00 0 0 1800.02/1800.01 c zirounding : 0.00 0 0 1800.02/1800.01 c rounding : 0.00 0 0 1800.02/1800.01 c shifting : 0.00 0 0 1800.02/1800.01 c intshifting : 0.00 0 0 1800.02/1800.01 c twoopt : 0.00 0 0 1800.02/1800.01 c fixandinfer : 0.00 0 0 1800.02/1800.01 c feaspump : 0.00 0 0 1800.02/1800.01 c coefdiving : 0.00 0 0 1800.02/1800.01 c pscostdiving : 0.00 0 0 1800.02/1800.01 c fracdiving : 0.00 0 0 1800.02/1800.01 c veclendiving : 0.00 0 0 1800.02/1800.01 c intdiving : 0.00 0 0 1800.02/1800.01 c actconsdiving : 0.00 0 0 1800.02/1800.01 c objpscostdiving : 0.00 0 0 1800.02/1800.01 c rootsoldiving : 0.00 0 0 1800.02/1800.01 c linesearchdiving : 0.00 0 0 1800.02/1800.01 c guideddiving : 0.00 0 0 1800.02/1800.01 c octane : 0.00 0 0 1800.02/1800.01 c rens : 0.00 0 0 1800.02/1800.01 c rins : 0.00 0 0 1800.02/1800.01 c localbranching : 0.00 0 0 1800.02/1800.01 c mutation : 0.00 0 0 1800.02/1800.01 c crossover : 0.00 0 0 1800.02/1800.01 c dins : 0.00 0 0 1800.02/1800.01 c undercover : 0.00 0 0 1800.02/1800.01 c nlp : 0.37 0 0 1800.02/1800.01 c trysol : 0.13 1 0 1800.02/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec 1800.02/1800.01 c primal LP : 0.00 0 0 0.00 - 1800.02/1800.01 c dual LP : 0.00 0 0 0.00 - 1800.02/1800.01 c lex dual LP : 0.00 0 0 0.00 - 1800.02/1800.01 c barrier LP : 0.00 0 0 0.00 - 1800.02/1800.01 c diving/probing LP: 0.00 0 0 0.00 - 1800.02/1800.01 c strong branching : 0.00 0 0 0.00 - 1800.02/1800.01 c (at root node) : - 0 0 0.00 - 1800.02/1800.01 c conflict analysis: 0.00 0 0 0.00 - 1800.02/1800.01 c B&B Tree : 1800.02/1800.01 c number of runs : 1 1800.02/1800.01 c nodes : 443410 1800.02/1800.01 c nodes (total) : 443410 1800.02/1800.01 c nodes left : 443411 1800.02/1800.01 c max depth : 205 1800.02/1800.01 c max depth (total): 205 1800.02/1800.01 c backtracks : 4974 (1.1%) 1800.02/1800.01 c delayed cutoffs : 0 1800.02/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1800.02/1800.01 c avg switch length: 2.30 1800.02/1800.01 c switching time : 14.90 1800.02/1800.01 c Solution : 1800.02/1800.01 c Solutions found : 0 (0 improvements) 1800.02/1800.01 c Primal Bound : - 1800.02/1800.01 c Dual Bound : +0.00000000000000e+00 1800.02/1800.01 c Gap : infinite 1800.02/1800.01 c Root Dual Bound : +0.00000000000000e+00 1800.02/1800.01 c Root Iterations : 0 1800.41/1800.49 c Time complete: 1800.5.
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-2693628-1277913455/watcher-2693628-1277913455 -o /tmp/evaluation-result-2693628-1277913455/solver-2693628-1277913455 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693628-1277913455.wbo -t 1800 -m 3800 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 1.99 1.99 4/178 12709 /proc/meminfo: memFree=31223480/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=8296 CPUtime=0 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 1553 0 0 0 0 0 0 0 25 0 1 0 132641828 8495104 1475 4089446400 4194304 7136930 140733863167952 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12709/statm: 2074 1475 275 719 0 1353 0 [startup+0.0426149 s] /proc/loadavg: 2.00 1.99 1.99 4/178 12709 /proc/meminfo: memFree=31223480/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=15288 CPUtime=0.03 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 3308 0 0 0 3 0 0 0 25 0 1 0 132641828 15654912 3230 4089446400 4194304 7136930 140733863167952 18446744073709551615 4373951 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12709/statm: 3822 3230 275 719 0 3101 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 15288 [startup+0.100601 s] /proc/loadavg: 2.00 1.99 1.99 4/178 12709 /proc/meminfo: memFree=31223480/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=26832 CPUtime=0.09 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 6184 0 0 0 9 0 0 0 25 0 1 0 132641828 27475968 6106 4089446400 4194304 7136930 140733863167952 18446744073709551615 5648496 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12709/statm: 6708 6106 275 719 0 5987 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 26832 [startup+0.300567 s] /proc/loadavg: 2.00 1.99 1.99 4/178 12709 /proc/meminfo: memFree=31223480/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=67952 CPUtime=0.29 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 17450 0 0 0 24 5 0 0 25 0 1 0 132641828 69582848 16027 4089446400 4194304 7136930 140733863167952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12709/statm: 16988 16027 371 719 0 16267 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 67952 [startup+0.700501 s] /proc/loadavg: 2.00 1.99 1.99 4/178 12709 /proc/meminfo: memFree=31223480/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=76464 CPUtime=0.69 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 20661 0 0 0 61 8 0 0 25 0 1 0 132641828 78299136 18151 4089446400 4194304 7136930 140733863167952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12709/statm: 19116 18151 404 719 0 18395 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 76464 [startup+1.50036 s] /proc/loadavg: 2.00 1.99 1.99 3/179 12710 /proc/meminfo: memFree=31152184/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=77492 CPUtime=1.49 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 20923 0 0 0 140 9 0 0 25 0 1 0 132641828 79351808 18413 4089446400 4194304 7136930 140733863167952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12709/statm: 19373 18413 410 719 0 18652 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 77492 [startup+3.10109 s] /proc/loadavg: 2.00 1.99 1.99 3/179 12710 /proc/meminfo: memFree=31148836/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=79648 CPUtime=3.09 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 22507 0 0 0 298 11 0 0 25 0 1 0 132641828 81559552 18892 4089446400 4194304 7136930 140733863167952 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12709/statm: 19912 18892 415 719 0 19191 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 79648 [startup+6.30058 s] /proc/loadavg: 2.00 1.99 1.99 3/179 12710 /proc/meminfo: memFree=31145640/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=80392 CPUtime=6.29 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 22668 0 0 0 616 13 0 0 25 0 1 0 132641828 82321408 19053 4089446400 4194304 7136930 140733863167952 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12709/statm: 20098 19053 415 719 0 19377 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 80392 [startup+12.7005 s] /proc/loadavg: 2.00 1.99 1.99 3/179 12710 /proc/meminfo: memFree=31142304/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=82256 CPUtime=12.69 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 23140 0 0 0 1253 16 0 0 25 0 1 0 132641828 84230144 19525 4089446400 4194304 7136930 140733863167952 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12709/statm: 20564 19525 415 719 0 19843 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 82256 [startup+25.5003 s] /proc/loadavg: 2.00 1.99 1.99 3/179 12712 /proc/meminfo: memFree=31132908/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=86052 CPUtime=25.49 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 24096 0 0 0 2525 24 0 0 25 0 1 0 132641828 88117248 20481 4089446400 4194304 7136930 140733863167952 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12709/statm: 21513 20481 415 719 0 20792 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 86052 [startup+51.101 s] /proc/loadavg: 2.07 2.00 2.00 3/179 12712 /proc/meminfo: memFree=31116572/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=92792 CPUtime=51.09 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 25820 0 0 0 5070 39 0 0 25 0 1 0 132641828 95019008 22205 4089446400 4194304 7136930 140733863167952 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12709/statm: 23198 22205 415 719 0 22477 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 92792 [startup+102.306 s] /proc/loadavg: 2.03 2.00 2.00 3/179 12714 /proc/meminfo: memFree=31082180/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=105184 CPUtime=102.3 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 28928 0 0 0 10160 70 0 0 25 0 1 0 132641828 107708416 25313 4089446400 4194304 7136930 140733863167952 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12709/statm: 26296 25313 415 719 0 25575 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 105184 [startup+162.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 12714 /proc/meminfo: memFree=31040480/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=118956 CPUtime=162.3 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 32428 0 0 0 16124 106 0 0 25 0 1 0 132641828 121810944 28813 4089446400 4194304 7136930 140733863167952 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12709/statm: 29739 28813 415 719 0 29018 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 118956 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12725 /proc/meminfo: memFree=31001576/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=133684 CPUtime=222.29 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 36159 0 0 0 22089 140 0 0 25 0 1 0 132641828 136892416 32544 4089446400 4194304 7136930 140733863167952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12709/statm: 33421 32544 415 719 0 32700 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 133684 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12727 /proc/meminfo: memFree=30963724/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=146048 CPUtime=282.29 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 39330 0 0 0 28053 176 0 0 25 0 1 0 132641828 149553152 35715 4089446400 4194304 7136930 140733863167952 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12709/statm: 36512 35715 415 719 0 35791 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 146048 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12729 /proc/meminfo: memFree=30925872/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=160356 CPUtime=342.29 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 42440 0 0 0 34018 211 0 0 25 0 1 0 132641828 164204544 38825 4089446400 4194304 7136930 140733863167952 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12709/statm: 40089 38825 415 719 0 39368 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 160356 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 4/179 12731 /proc/meminfo: memFree=30891856/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=172388 CPUtime=402.29 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 45501 0 0 0 39986 243 0 0 25 0 1 0 132641828 176525312 41886 4089446400 4194304 7136930 140733863167952 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12709/statm: 43097 41886 415 719 0 42376 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 172388 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12731 /proc/meminfo: memFree=30855108/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=183724 CPUtime=462.29 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 48396 0 0 0 45953 276 0 0 25 0 1 0 132641828 188133376 44781 4089446400 4194304 7136930 140733863167952 18446744073709551615 4827485 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12709/statm: 45931 44781 415 719 0 45210 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 183724 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12733 /proc/meminfo: memFree=30815768/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=198724 CPUtime=522.29 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 52208 0 0 0 51918 311 0 0 25 0 1 0 132641828 203493376 48593 4089446400 4194304 7136930 140733863167952 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12709/statm: 49681 48593 415 719 0 48960 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 198724 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12735 /proc/meminfo: memFree=30780264/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=210584 CPUtime=582.29 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 55220 0 0 0 57883 346 0 0 25 0 1 0 132641828 215638016 51605 4089446400 4194304 7136930 140733863167952 18446744073709551615 4826989 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12709/statm: 52646 51605 415 719 0 51925 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 210584 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12737 /proc/meminfo: memFree=30742760/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=224276 CPUtime=642.29 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 58693 0 0 0 63849 380 0 0 25 0 1 0 132641828 229658624 55078 4089446400 4194304 7136930 140733863167952 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12709/statm: 56069 55078 415 719 0 55348 0 Current children cumulated CPU time (s) 642.29 Current children cumulated vsize (KiB) 224276 [startup+702.3 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 2.00 2.01 2.00 3/179 12745 /proc/meminfo: memFree=30572936/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=284804 CPUtime=942.29 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 73041 0 0 0 93676 553 0 0 25 0 1 0 132641828 291639296 69426 4089446400 4194304 7136930 140733863167952 18446744073709551615 5507373 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12709/statm: 71201 69426 415 719 0 70480 0 Current children cumulated CPU time (s) 942.29 Current children cumulated vsize (KiB) 284804 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12747 /proc/meminfo: memFree=30537788/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=295864 CPUtime=1002.3 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 75887 0 0 0 99643 587 0 0 25 0 1 0 132641828 302964736 72272 4089446400 4194304 7136930 140733863167952 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12709/statm: 73966 72272 415 719 0 73245 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 295864 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12747 /proc/meminfo: memFree=30500800/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=309492 CPUtime=1062.3 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 79318 0 0 0 105609 621 0 0 25 0 1 0 132641828 316919808 75703 4089446400 4194304 7136930 140733863167952 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12709/statm: 77373 75703 415 719 0 76652 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 309492 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12749 /proc/meminfo: memFree=30464064/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=322776 CPUtime=1122.3 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 82701 0 0 0 111577 653 0 0 25 0 1 0 132641828 330522624 79086 4089446400 4194304 7136930 140733863167952 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12709/statm: 80694 79086 415 719 0 79973 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 322776 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12751 /proc/meminfo: memFree=30425848/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=337284 CPUtime=1182.3 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 86396 0 0 0 117538 692 0 0 25 0 1 0 132641828 345378816 82781 4089446400 4194304 7136930 140733863167952 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12709/statm: 84321 82781 415 719 0 83600 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 337284 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12781 /proc/meminfo: memFree=31140672/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=347620 CPUtime=1242.3 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 89007 0 0 0 123503 727 0 0 25 0 1 0 132641828 355962880 85392 4089446400 4194304 7136930 140733863167952 18446744073709551615 4697609 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12709/statm: 86905 85392 415 719 0 86184 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 347620 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12783 /proc/meminfo: memFree=31111612/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=357316 CPUtime=1302.3 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 91504 0 0 0 129465 765 0 0 25 0 1 0 132641828 365891584 87889 4089446400 4194304 7136930 140733863167952 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12709/statm: 89329 87889 415 719 0 88608 0 Current children cumulated CPU time (s) 1302.3 Current children cumulated vsize (KiB) 357316 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12783 /proc/meminfo: memFree=31080200/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=368900 CPUtime=1362.31 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 94475 0 0 0 135431 800 0 0 25 0 1 0 132641828 377753600 90860 4089446400 4194304 7136930 140733863167952 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12709/statm: 92225 90860 415 719 0 91504 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 368900 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12785 /proc/meminfo: memFree=31050048/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=382320 CPUtime=1422.31 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 97853 0 0 0 141397 834 0 0 25 0 1 0 132641828 391495680 94238 4089446400 4194304 7136930 140733863167952 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12709/statm: 95580 94238 415 719 0 94859 0 Current children cumulated CPU time (s) 1422.31 Current children cumulated vsize (KiB) 382320 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12787 /proc/meminfo: memFree=31026796/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=392724 CPUtime=1482.3 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 100496 0 0 0 147360 870 0 0 25 0 1 0 132641828 402149376 96881 4089446400 4194304 7136930 140733863167952 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12709/statm: 98181 96881 415 719 0 97460 0 Current children cumulated CPU time (s) 1482.3 Current children cumulated vsize (KiB) 392724 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12789 /proc/meminfo: memFree=30997128/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=404152 CPUtime=1542.3 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 103421 0 0 0 153323 907 0 0 25 0 1 0 132641828 413851648 99806 4089446400 4194304 7136930 140733863167952 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12709/statm: 101038 99806 415 719 0 100317 0 Current children cumulated CPU time (s) 1542.3 Current children cumulated vsize (KiB) 404152 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12791 /proc/meminfo: memFree=30975504/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=415188 CPUtime=1602.31 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 106257 0 0 0 159288 943 0 0 25 0 1 0 132641828 425152512 102642 4089446400 4194304 7136930 140733863167952 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12709/statm: 103797 102642 415 719 0 103076 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 415188 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12791 /proc/meminfo: memFree=30954876/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=425308 CPUtime=1662.31 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 108817 0 0 0 165252 979 0 0 25 0 1 0 132641828 435515392 105202 4089446400 4194304 7136930 140733863167952 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12709/statm: 106327 105202 415 719 0 105606 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 425308 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12793 /proc/meminfo: memFree=30922968/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=436728 CPUtime=1722.31 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 111757 0 0 0 171216 1015 0 0 25 0 1 0 132641828 447209472 108142 4089446400 4194304 7136930 140733863167952 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12709/statm: 109182 108142 415 719 0 108461 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 436728 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12795 /proc/meminfo: memFree=30895040/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=446156 CPUtime=1782.31 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 114179 0 0 0 177182 1049 0 0 25 0 1 0 132641828 456863744 110564 4089446400 4194304 7136930 140733863167952 18446744073709551615 4826989 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12709/statm: 111539 110564 415 719 0 110818 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 446156 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12795 /proc/meminfo: memFree=30888956/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=450752 CPUtime=1800.02 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 115327 0 0 0 178942 1060 0 0 25 0 1 0 132641828 461570048 111712 4089446400 4194304 7136930 140733863167952 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12709/statm: 112688 111712 415 719 0 111967 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 450752 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.2 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12795 /proc/meminfo: memFree=30888956/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=444800 CPUtime=1800.21 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 115334 0 0 0 178961 1060 0 0 25 0 1 0 132641828 455475200 110231 4089446400 4194304 7136930 140733863167952 18446744073709551615 6166282 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/12709/statm: 111200 110231 422 719 0 110479 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 444800 [startup+1800.4 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12795 /proc/meminfo: memFree=30888956/32950928 swapFree=67111528/67111528 [pid=12709] ppid=12707 vsize=355088 CPUtime=1800.41 /proc/12709/stat : 12709 (pbscip.linux.x8) R 12707 12709 11517 0 -1 4202496 115334 0 0 0 178981 1060 0 0 25 0 1 0 132641828 363610112 87803 4089446400 4194304 7136930 140733863167952 18446744073709551615 4212294 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/12709/statm: 88772 87803 422 719 0 88051 0 Current children cumulated CPU time (s) 1800.41 Current children cumulated vsize (KiB) 355088 Child status: 0 Real time (s): 1800.49 CPU time (s): 1800.51 CPU user time (s): 1789.89 CPU system time (s): 10.6174 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 450752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.89 system time used= 10.6174 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 115341 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= 1 involuntary context switches= 3877 runsolver used 3.12752 second user time and 6.66399 second system time The end
Begin job on node126 at 2010-06-30 17:57:35 IDJOB=2693628 IDBENCH=79016 IDSOLVER=1206 FILE ID=node126/2693628-1277913455 PBS_JOBID= 11197245 Free space on /tmp= 74188 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-25s.smv--soft-66-100-0.wbo 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-2693628-1277913455/watcher-2693628-1277913455 -o /tmp/evaluation-result-2693628-1277913455/solver-2693628-1277913455 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693628-1277913455.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a96e8ec93fa53032ae0ea101ae8e779b RANDOM SEED=780506239 node126.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.835 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.835 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.835 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.835 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.835 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.72 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.835 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.835 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.835 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31224132 kB Buffers: 196148 kB Cached: 926928 kB SwapCached: 0 kB Active: 928124 kB Inactive: 656900 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31224132 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3788 kB Writeback: 0 kB AnonPages: 461660 kB Mapped: 17124 kB Slab: 78316 kB PageTables: 5680 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 617368 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74184 MiB End job on node126 at 2010-06-30 18:27:37