Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.75 | 1800.73 |
Name | /PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf7.ucl--soft-66-100-0.wbo |
MD5SUM | 8b3bb15bf42f2b763120a3c01531d890 |
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.088985 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 3736 |
Total number of constraints | 10457 |
Number of soft constraints | 3516 |
Number of constraints which are clauses | 10089 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 368 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
Top cost | 177995 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 177994 |
Biggest number in a constraint | 33 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 126 |
Number of bits of the biggest sum of numbers | 7 |
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-2693706-1277915211.wbo> 0.03/0.09 c original problem has 10768 variables (7252 bin, 0 int, 0 impl, 3516 cont) and 13974 constraints 0.03/0.09 c problem read 0.03/0.09 c presolving settings loaded 0.03/0.09 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.14 c presolving: 0.09/0.19 c (round 1) 104 del vars, 61 del conss, 16 chg bounds, 184 chg sides, 380 chg coeffs, 0 upgd conss, 87961 impls, 0 clqs 0.19/0.20 c (round 2) 118 del vars, 254 del conss, 16 chg bounds, 184 chg sides, 380 chg coeffs, 0 upgd conss, 87961 impls, 0 clqs 0.19/0.22 c (round 3) 134 del vars, 256 del conss, 3516 chg bounds, 184 chg sides, 380 chg coeffs, 0 upgd conss, 87961 impls, 0 clqs 0.19/0.27 c (round 4) 136 del vars, 256 del conss, 3516 chg bounds, 184 chg sides, 380 chg coeffs, 6733 upgd conss, 87961 impls, 0 clqs 1.10/1.17 c (1.0s) probing: 1000/7132 (14.0%) - 0 fixings, 8 aggregations, 4567 implications, 0 bound changes 1.59/1.69 c (1.5s) probing: 1867/7132 (26.2%) - 0 fixings, 8 aggregations, 4728 implications, 0 bound changes 1.59/1.69 c (1.5s) probing aborted: 100/100 successive totally useless probings 1.59/1.69 c (round 5) 144 del vars, 256 del conss, 3516 chg bounds, 184 chg sides, 380 chg coeffs, 6733 upgd conss, 107862 impls, 0 clqs 1.79/1.81 c (1.6s) probing: 2000/7132 (28.0%) - 0 fixings, 9 aggregations, 4738 implications, 0 bound changes 1.79/1.88 c (1.7s) probing: 2129/7132 (29.9%) - 0 fixings, 9 aggregations, 4739 implications, 0 bound changes 1.79/1.88 c (1.7s) probing aborted: 100/100 successive totally useless probings 1.79/1.88 c presolving (6 rounds): 1.79/1.88 c 145 deleted vars, 256 deleted constraints, 3516 tightened bounds, 0 added holes, 184 changed sides, 380 changed coefficients 1.79/1.88 c 107885 implications, 0 cliques 1.79/1.88 c presolved problem has 10623 variables (7123 bin, 0 int, 0 impl, 3500 cont) and 13718 constraints 1.79/1.88 c 3500 constraints of type <indicator> 1.79/1.88 c 15 constraints of type <varbound> 1.79/1.88 c 248 constraints of type <knapsack> 1.79/1.88 c 3485 constraints of type <linear> 1.79/1.88 c 6470 constraints of type <logicor> 1.79/1.88 c transformed objective value is always integral (scale: 1) 1.79/1.88 c Presolving Time: 1.63 1.79/1.88 c - non default parameters ---------------------------------------------------------------------- 1.79/1.88 c # SCIP version 1.2.1.2 1.79/1.88 c 1.79/1.88 c # frequency for displaying node information lines 1.79/1.88 c # [type: int, range: [-1,2147483647], default: 100] 1.79/1.88 c display/freq = 10000 1.79/1.88 c 1.79/1.88 c # maximal time in seconds to run 1.79/1.88 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.79/1.88 c limits/time = 1799.91 1.79/1.88 c 1.79/1.88 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 1.79/1.88 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.79/1.88 c limits/memory = 3420 1.79/1.88 c 1.79/1.88 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 1.79/1.88 c # [type: int, range: [-1,2147483647], default: 1] 1.79/1.88 c lp/solvefreq = -1 1.79/1.88 c 1.79/1.88 c # should presolving try to simplify inequalities 1.79/1.88 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.79/1.88 c constraints/linear/simplifyinequalities = TRUE 1.79/1.88 c 1.79/1.88 c # should presolving try to simplify knapsacks 1.79/1.88 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.79/1.88 c constraints/knapsack/simplifyinequalities = TRUE 1.79/1.88 c 1.79/1.88 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 1.79/1.88 c # [type: int, range: [-1,2147483647], default: -1] 1.79/1.88 c separating/rapidlearning/freq = 0 1.79/1.88 c 1.79/1.88 c ----------------------------------------------------------------------------------------------- 1.79/1.88 c start solving 1.79/1.88 c 1.89/1.90 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.90 c 1.7s| 1 | 2 | 0 | - | 39M| 0 | - | 10k| 13k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 29.49/29.60 c 28.8s| 10000 | 9999 | 0 | 0.0 | 49M| 67 | - | 10k| 13k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf 55.89/56.00 c 54.5s| 20000 | 19999 | 0 | 0.0 | 58M| 121 | - | 10k| 13k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf 81.89/81.95 c 79.8s| 30000 | 29999 | 0 | 0.0 | 66M| 121 | - | 10k| 13k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf 107.60/107.66 c 105s| 40000 | 39999 | 0 | 0.0 | 73M| 121 | - | 10k| 13k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf 133.10/133.12 c 130s| 50000 | 49999 | 0 | 0.0 | 80M| 121 | - | 10k| 13k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf 158.09/158.19 c 154s| 60000 | 59999 | 0 | 0.0 | 87M| 121 | - | 10k| 13k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf 182.99/183.00 c 179s| 70000 | 69999 | 0 | 0.0 | 93M| 121 | - | 10k| 13k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf 207.59/207.65 c 203s| 80000 | 79999 | 0 | 0.0 | 100M| 121 | - | 10k| 13k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf 232.79/232.83 c 227s| 90000 | 89999 | 0 | 0.0 | 107M| 121 | - | 10k| 13k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf 257.89/257.95 c 252s|100000 | 99999 | 0 | 0.0 | 114M| 121 | - | 10k| 13k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf 282.89/282.98 c 276s|110000 |109997 | 0 | 0.0 | 121M| 121 | - | 10k| 13k| 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf 307.69/307.79 c 300s|120000 |119997 | 0 | 0.0 | 127M| 121 | - | 10k| 13k| 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf 332.49/332.52 c 324s|130000 |129997 | 0 | 0.0 | 133M| 121 | - | 10k| 13k| 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf 357.59/357.64 c 349s|140000 |139997 | 0 | 0.0 | 140M| 125 | - | 10k| 13k| 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf 383.50/383.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 383.50/383.57 c 374s|150000 |149997 | 0 | 0.0 | 148M| 125 | - | 10k| 13k| 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf 409.30/409.39 c 399s|160000 |159997 | 0 | 0.0 | 155M| 125 | - | 10k| 13k| 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf 434.89/434.98 c 424s|170000 |169997 | 0 | 0.0 | 162M| 125 | - | 10k| 13k| 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf 460.50/460.54 c 449s|180000 |179997 | 0 | 0.0 | 169M| 125 | - | 10k| 13k| 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf 485.99/486.09 c 474s|190000 |189997 | 0 | 0.0 | 176M| 125 | - | 10k| 13k| 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf 511.50/511.56 c 499s|200000 |199997 | 0 | 0.0 | 182M| 125 | - | 10k| 13k| 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf 536.89/536.98 c 524s|210000 |209997 | 0 | 0.0 | 189M| 125 | - | 10k| 13k| 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf 562.20/562.28 c 549s|220000 |219995 | 0 | 0.0 | 196M| 125 | - | 10k| 13k| 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf 587.60/587.68 c 574s|230000 |229993 | 0 | 0.0 | 202M| 125 | - | 10k| 13k| 0 | 0 | 0 | 4 | 0 | 0.000000e+00 | -- | Inf 612.80/612.83 c 598s|240000 |239993 | 0 | 0.0 | 209M| 125 | - | 10k| 13k| 0 | 0 | 0 | 4 | 0 | 0.000000e+00 | -- | Inf 638.01/638.07 c 623s|250000 |249993 | 0 | 0.0 | 215M| 125 | - | 10k| 13k| 0 | 0 | 0 | 4 | 0 | 0.000000e+00 | -- | Inf 663.09/663.17 c 647s|260000 |259991 | 0 | 0.0 | 222M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 688.29/688.31 c 672s|270000 |269991 | 0 | 0.0 | 228M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 713.40/713.44 c 696s|280000 |279991 | 0 | 0.0 | 235M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 738.50/738.50 c 721s|290000 |289991 | 0 | 0.0 | 241M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 763.50/763.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 763.50/763.57 c 745s|300000 |299991 | 0 | 0.0 | 248M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 788.40/788.49 c 770s|310000 |309991 | 0 | 0.0 | 254M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 813.20/813.27 c 794s|320000 |319991 | 0 | 0.0 | 260M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 838.00/838.08 c 818s|330000 |329991 | 0 | 0.0 | 267M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 862.89/862.91 c 842s|340000 |339991 | 0 | 0.0 | 273M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 887.50/887.50 c 866s|350000 |349991 | 0 | 0.0 | 279M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 912.10/912.13 c 890s|360000 |359991 | 0 | 0.0 | 286M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 936.70/936.74 c 915s|370000 |369991 | 0 | 0.0 | 292M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 961.20/961.21 c 938s|380000 |379991 | 0 | 0.0 | 298M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 985.79/985.83 c 963s|390000 |389991 | 0 | 0.0 | 304M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1010.20/1010.26 c 986s|400000 |399991 | 0 | 0.0 | 310M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1034.70/1034.73 c 1010s|410000 |409991 | 0 | 0.0 | 317M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1059.10/1059.14 c 1034s|420000 |419991 | 0 | 0.0 | 323M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1083.51/1083.56 c 1058s|430000 |429991 | 0 | 0.0 | 329M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1107.80/1107.84 c 1082s|440000 |439991 | 0 | 0.0 | 335M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1132.30/1132.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1132.30/1132.36 c 1106s|450000 |449991 | 0 | 0.0 | 341M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1156.50/1156.56 c 1129s|460000 |459991 | 0 | 0.0 | 348M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1180.60/1180.62 c 1153s|470000 |469991 | 0 | 0.0 | 354M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1204.70/1204.76 c 1177s|480000 |479991 | 0 | 0.0 | 360M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1228.71/1228.77 c 1200s|490000 |489991 | 0 | 0.0 | 366M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1252.60/1252.66 c 1223s|500000 |499991 | 0 | 0.0 | 372M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1276.61/1276.62 c 1247s|510000 |509991 | 0 | 0.0 | 378M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1300.40/1300.45 c 1270s|520000 |519991 | 0 | 0.0 | 384M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1324.90/1324.92 c 1294s|530000 |529991 | 0 | 0.0 | 391M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1349.91/1349.94 c 1319s|540000 |539991 | 0 | 0.0 | 398M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1374.81/1374.84 c 1343s|550000 |549991 | 0 | 0.0 | 405M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1399.61/1399.65 c 1367s|560000 |559991 | 0 | 0.0 | 412M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1424.31/1424.38 c 1391s|570000 |569991 | 0 | 0.0 | 419M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1449.00/1449.07 c 1415s|580000 |579991 | 0 | 0.0 | 426M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1473.70/1473.75 c 1440s|590000 |589991 | 0 | 0.0 | 432M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1498.41/1498.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1498.41/1498.42 c 1464s|600000 |599991 | 0 | 0.0 | 439M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1522.91/1522.94 c 1488s|610000 |609991 | 0 | 0.0 | 445M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1547.61/1547.62 c 1512s|620000 |619991 | 0 | 0.0 | 452M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1572.11/1572.14 c 1536s|630000 |629991 | 0 | 0.0 | 459M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1596.60/1596.63 c 1560s|640000 |639991 | 0 | 0.0 | 465M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1621.11/1621.14 c 1584s|650000 |649991 | 0 | 0.0 | 471M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1645.41/1645.49 c 1608s|660000 |659991 | 0 | 0.0 | 478M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1669.91/1669.97 c 1631s|670000 |669991 | 0 | 0.0 | 484M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1694.31/1694.34 c 1655s|680000 |679991 | 0 | 0.0 | 490M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1718.61/1718.68 c 1679s|690000 |689991 | 0 | 0.0 | 497M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1743.01/1743.06 c 1703s|700000 |699991 | 0 | 0.0 | 503M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1767.31/1767.35 c 1727s|710000 |709991 | 0 | 0.0 | 509M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1791.61/1791.64 c 1750s|720000 |719991 | 0 | 0.0 | 516M| 125 | - | 10k| 13k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.02/1800.00 c 1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt] 1800.02/1800.00 c Solving Time (sec) : 1758.41 1800.02/1800.00 c Solving Nodes : 723434 1800.02/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.02/1800.00 c Dual Bound : +0.00000000000000e+00 1800.02/1800.00 c Gap : infinite 1800.02/1800.00 s UNKNOWN 1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt] 1800.02/1800.00 c Solving Time : 1758.41 1800.02/1800.00 c Original Problem : 1800.02/1800.00 c Problem name : HOME/instance-2693706-1277915211.wbo 1800.02/1800.00 c Variables : 10768 (7252 binary, 0 integer, 0 implicit integer, 3516 continuous) 1800.02/1800.00 c Constraints : 13974 initial, 13974 maximal 1800.02/1800.00 c Presolved Problem : 1800.02/1800.00 c Problem name : t_HOME/instance-2693706-1277915211.wbo 1800.02/1800.00 c Variables : 10623 (7123 binary, 0 integer, 0 implicit integer, 3500 continuous) 1800.02/1800.00 c Constraints : 13718 initial, 13723 maximal 1800.02/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.02/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.00 c dualfix : 0.00 32 0 0 0 0 0 0 0 1800.02/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.00 c implics : 0.01 0 83 0 0 0 0 0 0 1800.02/1800.00 c probing : 1.51 0 9 0 0 0 0 0 0 1800.02/1800.00 c indicator : 0.01 0 0 0 0 0 16 0 0 1800.02/1800.00 c varbound : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.00 c linear : 0.07 16 5 0 3516 0 240 184 380 1800.02/1800.00 c logicor : 0.02 0 0 0 0 0 0 0 0 1800.02/1800.00 c root node : - 0 - - 0 - - - - 1800.02/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.02/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0 1800.02/1800.00 c indicator : 3500 0 2711143 0 723429 0 83764 0 0 0 1800.02/1800.00 c varbound : 15 0 2711143 0 723429 0 0 0 0 0 1800.02/1800.00 c knapsack : 248 0 2711143 0 723429 0 0 0 0 0 1800.02/1800.00 c linear : 3485 0 2711143 0 723429 0 83634 0 0 0 1800.02/1800.00 c logicor : 6470+ 0 2454775 0 723429 5 4464014 0 0 0 1800.02/1800.00 c countsols : 0 0 0 0 723429 0 0 0 0 0 1800.02/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.02/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00 1800.02/1800.00 c indicator : 292.26 0.00 96.82 0.00 195.44 1800.02/1800.00 c varbound : 0.99 0.00 0.13 0.00 0.86 1800.02/1800.00 c knapsack : 9.37 0.00 9.08 0.00 0.29 1800.02/1800.00 c linear : 101.27 0.00 101.08 0.00 0.19 1800.02/1800.00 c logicor : 527.46 0.00 11.70 0.00 515.76 1800.02/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.02/1800.00 c Propagators : Time Calls Cutoffs DomReds 1800.02/1800.00 c vbounds : 0.63 72777 0 127 1800.02/1800.00 c rootredcost : 0.01 0 0 0 1800.02/1800.00 c pseudoobj : 213.11 2705930 0 0 1800.02/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.02/1800.00 c propagation : 0.00 5 5 5 3.0 0 0.0 - 1800.02/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.02/1800.00 c applied globally : - - - 5 3.0 - - - 1800.02/1800.00 c applied locally : - - - 0 0.0 - - - 1800.02/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.02/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1800.02/1800.00 c redcost : 0.00 0 0 0 0 0 1800.02/1800.00 c impliedbounds : 0.00 0 0 0 0 0 1800.02/1800.00 c intobj : 0.00 0 0 0 0 0 1800.02/1800.00 c cgmip : 0.00 0 0 0 0 0 1800.02/1800.00 c gomory : 0.00 0 0 0 0 0 1800.02/1800.00 c strongcg : 0.00 0 0 0 0 0 1800.02/1800.00 c cmir : 0.00 0 0 0 0 0 1800.02/1800.00 c flowcover : 0.00 0 0 0 0 0 1800.02/1800.00 c clique : 0.00 0 0 0 0 0 1800.02/1800.00 c zerohalf : 0.00 0 0 0 0 0 1800.02/1800.00 c mcf : 0.00 0 0 0 0 0 1800.02/1800.00 c rapidlearning : 0.00 0 0 0 0 0 1800.02/1800.00 c Pricers : Time Calls Vars 1800.02/1800.00 c problem variables: 0.00 0 0 1800.02/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.02/1800.00 c relpscost : 0.00 0 0 0 0 0 0 1800.02/1800.00 c pscost : 0.00 0 0 0 0 0 0 1800.02/1800.00 c inference : 579.48 723429 0 0 0 0 1446858 1800.02/1800.00 c mostinf : 0.00 0 0 0 0 0 0 1800.02/1800.00 c leastinf : 0.00 0 0 0 0 0 0 1800.02/1800.00 c fullstrong : 0.00 0 0 0 0 0 0 1800.02/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0 1800.02/1800.00 c random : 0.00 0 0 0 0 0 0 1800.02/1800.00 c Primal Heuristics : Time Calls Found 1800.02/1800.00 c LP solutions : 0.00 - 0 1800.02/1800.00 c pseudo solutions : 0.00 - 0 1800.02/1800.00 c oneopt : 0.00 0 0 1800.02/1800.00 c trivial : 0.02 2 0 1800.02/1800.00 c simplerounding : 0.00 0 0 1800.02/1800.00 c zirounding : 0.00 0 0 1800.02/1800.00 c rounding : 0.00 0 0 1800.02/1800.00 c shifting : 0.00 0 0 1800.02/1800.00 c intshifting : 0.00 0 0 1800.02/1800.00 c twoopt : 0.00 0 0 1800.02/1800.00 c fixandinfer : 0.00 0 0 1800.02/1800.00 c feaspump : 0.00 0 0 1800.02/1800.00 c coefdiving : 0.00 0 0 1800.02/1800.00 c pscostdiving : 0.00 0 0 1800.02/1800.00 c fracdiving : 0.00 0 0 1800.02/1800.00 c veclendiving : 0.00 0 0 1800.02/1800.00 c intdiving : 0.00 0 0 1800.02/1800.00 c actconsdiving : 0.00 0 0 1800.02/1800.00 c objpscostdiving : 0.00 0 0 1800.02/1800.00 c rootsoldiving : 0.00 0 0 1800.02/1800.00 c linesearchdiving : 0.00 0 0 1800.02/1800.00 c guideddiving : 0.00 0 0 1800.02/1800.00 c octane : 0.00 0 0 1800.02/1800.00 c rens : 0.00 0 0 1800.02/1800.00 c rins : 0.00 0 0 1800.02/1800.00 c localbranching : 0.00 0 0 1800.02/1800.00 c mutation : 0.00 0 0 1800.02/1800.00 c crossover : 0.00 0 0 1800.02/1800.00 c dins : 0.00 0 0 1800.02/1800.00 c undercover : 0.00 0 0 1800.02/1800.00 c nlp : 0.01 0 0 1800.02/1800.00 c trysol : 0.01 1 0 1800.02/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec 1800.02/1800.00 c primal LP : 0.00 0 0 0.00 - 1800.02/1800.00 c dual LP : 0.00 0 0 0.00 - 1800.02/1800.00 c lex dual LP : 0.00 0 0 0.00 - 1800.02/1800.00 c barrier LP : 0.00 0 0 0.00 - 1800.02/1800.00 c diving/probing LP: 0.00 0 0 0.00 - 1800.02/1800.00 c strong branching : 0.00 0 0 0.00 - 1800.02/1800.00 c (at root node) : - 0 0 0.00 - 1800.02/1800.00 c conflict analysis: 0.00 0 0 0.00 - 1800.02/1800.00 c B&B Tree : 1800.02/1800.00 c number of runs : 1 1800.02/1800.00 c nodes : 723434 1800.02/1800.00 c nodes (total) : 723434 1800.02/1800.00 c nodes left : 723425 1800.02/1800.00 c max depth : 125 1800.02/1800.00 c max depth (total): 125 1800.02/1800.00 c backtracks : 10876 (1.5%) 1800.02/1800.00 c delayed cutoffs : 0 1800.02/1800.00 c repropagations : 72 (74 domain reductions, 0 cutoffs) 1800.02/1800.00 c avg switch length: 2.56 1800.02/1800.00 c switching time : 23.07 1800.02/1800.00 c Solution : 1800.02/1800.00 c Solutions found : 0 (0 improvements) 1800.02/1800.00 c Primal Bound : - 1800.02/1800.00 c Dual Bound : +0.00000000000000e+00 1800.02/1800.00 c Gap : infinite 1800.02/1800.00 c Root Dual Bound : +0.00000000000000e+00 1800.02/1800.00 c Root Iterations : 0 1800.72/1800.73 c Time complete: 1800.74.
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-2693706-1277915211/watcher-2693706-1277915211 -o /tmp/evaluation-result-2693706-1277915211/solver-2693706-1277915211 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693706-1277915211.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 2.00 2.00 4/178 25055 /proc/meminfo: memFree=31008976/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=8296 CPUtime=0 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 1560 0 0 0 0 0 0 0 20 0 1 0 165160665 8495104 1483 4089446400 4194304 7136930 140735349121408 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/25055/statm: 2074 1484 275 719 0 1353 0 [startup+0.037688 s] /proc/loadavg: 2.00 2.00 2.00 4/178 25055 /proc/meminfo: memFree=31008976/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=15236 CPUtime=0.03 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 3282 0 0 0 3 0 0 0 20 0 1 0 165160665 15601664 3205 4089446400 4194304 7136930 140735349121408 18446744073709551615 4466976 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/25055/statm: 3809 3205 275 719 0 3088 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 15236 [startup+0.100682 s] /proc/loadavg: 2.00 2.00 2.00 4/178 25055 /proc/meminfo: memFree=31008976/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=28224 CPUtime=0.09 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 6796 0 0 0 9 0 0 0 20 0 1 0 165160665 28901376 6349 4089446400 4194304 7136930 140735349121408 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/25055/statm: 7056 6406 305 719 0 6335 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28224 [startup+0.300651 s] /proc/loadavg: 2.00 2.00 2.00 4/178 25055 /proc/meminfo: memFree=31008976/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=61436 CPUtime=0.29 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 17766 0 0 0 23 6 0 0 20 0 1 0 165160665 62910464 14480 4089446400 4194304 7136930 140735349121408 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/25055/statm: 15359 14480 397 719 0 14638 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 61436 [startup+0.70059 s] /proc/loadavg: 2.00 2.00 2.00 4/178 25055 /proc/meminfo: memFree=31008976/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=62624 CPUtime=0.69 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 18084 0 0 0 62 7 0 0 21 0 1 0 165160665 64126976 14791 4089446400 4194304 7136930 140735349121408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/25055/statm: 15656 14791 393 719 0 14935 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 62624 [startup+1.50045 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25056 /proc/meminfo: memFree=30950688/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=64368 CPUtime=1.49 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 18491 0 0 0 139 10 0 0 23 0 1 0 165160665 65912832 15198 4089446400 4194304 7136930 140735349121408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/25055/statm: 16092 15198 399 719 0 15371 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 64368 [startup+3.10118 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25056 /proc/meminfo: memFree=30947092/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=66556 CPUtime=3.09 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 20338 0 0 0 294 15 0 0 25 0 1 0 165160665 68153344 15690 4089446400 4194304 7136930 140735349121408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/25055/statm: 16639 15690 411 719 0 15918 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 66556 [startup+6.30065 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25056 /proc/meminfo: memFree=30946020/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=67880 CPUtime=6.29 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 20675 0 0 0 608 21 0 0 25 0 1 0 165160665 69509120 16027 4089446400 4194304 7136930 140735349121408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/25055/statm: 16970 16027 411 719 0 16249 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 67880 [startup+12.7006 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25056 /proc/meminfo: memFree=30942284/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=71368 CPUtime=12.69 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 21568 0 0 0 1233 36 0 0 25 0 1 0 165160665 73080832 16920 4089446400 4194304 7136930 140735349121408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/25055/statm: 17842 16920 415 719 0 17121 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 71368 [startup+25.5004 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25056 /proc/meminfo: memFree=30932528/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=76712 CPUtime=25.49 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 22922 0 0 0 2484 65 0 0 25 0 1 0 165160665 78553088 18274 4089446400 4194304 7136930 140735349121408 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/25055/statm: 19178 18274 415 719 0 18457 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 76712 [startup+51.1011 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25056 /proc/meminfo: memFree=30917124/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=87016 CPUtime=51.09 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 25502 0 0 0 4982 127 0 0 25 0 1 0 165160665 89104384 20854 4089446400 4194304 7136930 140735349121408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/25055/statm: 21754 20854 415 719 0 21033 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 87016 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25058 /proc/meminfo: memFree=30883232/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=107176 CPUtime=102.29 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 30642 0 0 0 9981 248 0 0 25 0 1 0 165160665 109748224 25994 4089446400 4194304 7136930 140735349121408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/25055/statm: 26794 25994 415 719 0 26073 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 107176 [startup+162.301 s] /proc/loadavg: 2.03 2.01 2.00 3/179 25060 /proc/meminfo: memFree=30853548/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=122984 CPUtime=162.29 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 34684 0 0 0 15839 390 0 0 25 0 1 0 165160665 125935616 30036 4089446400 4194304 7136930 140735349121408 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25055/statm: 30746 30036 415 719 0 30025 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 122984 [startup+222.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 25062 /proc/meminfo: memFree=30819284/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=143216 CPUtime=222.29 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 39322 0 0 0 21694 535 0 0 25 0 1 0 165160665 146653184 34674 4089446400 4194304 7136930 140735349121408 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25055/statm: 35804 34674 415 719 0 35083 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 143216 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25062 /proc/meminfo: memFree=30785384/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=160400 CPUtime=282.29 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 43709 0 0 0 27554 675 0 0 25 0 1 0 165160665 164249600 39061 4089446400 4194304 7136930 140735349121408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25055/statm: 40100 39061 415 719 0 39379 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 160400 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25064 /proc/meminfo: memFree=30758668/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=173420 CPUtime=342.3 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 47058 0 0 0 33408 822 0 0 25 0 1 0 165160665 177582080 42410 4089446400 4194304 7136930 140735349121408 18446744073709551615 4697388 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25055/statm: 43355 42410 415 719 0 42634 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 173420 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25066 /proc/meminfo: memFree=30724284/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=190344 CPUtime=402.29 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 51378 0 0 0 39263 966 0 0 25 0 1 0 165160665 194912256 46730 4089446400 4194304 7136930 140735349121408 18446744073709551615 5005114 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25055/statm: 47586 46730 415 719 0 46865 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 190344 [startup+462.3 s] /proc/loadavg: 2.06 2.01 2.00 3/179 25068 /proc/meminfo: memFree=30687916/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=211148 CPUtime=462.29 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 56668 0 0 0 45122 1107 0 0 25 0 1 0 165160665 216215552 52020 4089446400 4194304 7136930 140735349121408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25055/statm: 52787 52020 415 719 0 52066 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 211148 [startup+522.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 25070 /proc/meminfo: memFree=30654004/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=233952 CPUtime=522.3 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 61448 0 0 0 50982 1248 0 0 25 0 1 0 165160665 239566848 56800 4089446400 4194304 7136930 140735349121408 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25055/statm: 58488 56800 415 719 0 57767 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 233952 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25070 /proc/meminfo: memFree=30624816/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=248444 CPUtime=582.3 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 65163 0 0 0 56845 1385 0 0 25 0 1 0 165160665 254406656 60515 4089446400 4194304 7136930 140735349121408 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25055/statm: 62111 60515 415 719 0 61390 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 248444 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25072 /proc/meminfo: memFree=30595136/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=263456 CPUtime=642.3 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 69008 0 0 0 62708 1522 0 0 25 0 1 0 165160665 269778944 64360 4089446400 4194304 7136930 140735349121408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25055/statm: 65864 64360 415 719 0 65143 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 263456 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25085 /proc/meminfo: memFree=30406392/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=358104 CPUtime=1002.3 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 93211 0 0 0 97877 2353 0 0 25 0 1 0 165160665 366698496 88563 4089446400 4194304 7136930 140735349121408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25055/statm: 89526 88563 415 719 0 88805 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 358104 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25087 /proc/meminfo: memFree=30376700/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=374144 CPUtime=1062.3 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 97316 0 0 0 103745 2485 0 0 25 0 1 0 165160665 383123456 92668 4089446400 4194304 7136930 140735349121408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25055/statm: 93536 92668 415 719 0 92815 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 374144 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25209 /proc/meminfo: memFree=30780032/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=384344 CPUtime=1122.3 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 99962 0 0 0 109601 2629 0 0 25 0 1 0 165160665 393568256 95314 4089446400 4194304 7136930 140735349121408 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25055/statm: 96086 95314 415 719 0 95365 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 384344 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25209 /proc/meminfo: memFree=30738124/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=409656 CPUtime=1182.3 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 104347 0 0 0 115475 2755 0 0 25 0 1 0 165160665 419487744 99699 4089446400 4194304 7136930 140735349121408 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25055/statm: 102414 99699 415 719 0 101693 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 409656 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25211 /proc/meminfo: memFree=30722212/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=423440 CPUtime=1242.3 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 107892 0 0 0 121340 2890 0 0 25 0 1 0 165160665 433602560 103244 4089446400 4194304 7136930 140735349121408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25055/statm: 105860 103244 415 719 0 105139 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 423440 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25213 /proc/meminfo: memFree=30706188/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=437828 CPUtime=1302.31 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 111584 0 0 0 127205 3026 0 0 25 0 1 0 165160665 448335872 106936 4089446400 4194304 7136930 140735349121408 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25055/statm: 109457 106936 415 719 0 108736 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 437828 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25215 /proc/meminfo: memFree=30689384/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=453848 CPUtime=1362.31 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 115699 0 0 0 133073 3158 0 0 25 0 1 0 165160665 464740352 111051 4089446400 4194304 7136930 140735349121408 18446744073709551615 5892284 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25055/statm: 113462 111051 415 719 0 112741 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 453848 [startup+1422.31 s] /proc/loadavg: 2.06 2.01 2.00 3/179 25217 /proc/meminfo: memFree=30669128/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=467944 CPUtime=1422.31 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 119314 0 0 0 138939 3292 0 0 25 0 1 0 165160665 479174656 114666 4089446400 4194304 7136930 140735349121408 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25055/statm: 116986 114666 415 719 0 116265 0 Current children cumulated CPU time (s) 1422.31 Current children cumulated vsize (KiB) 467944 [startup+1482.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 25217 /proc/meminfo: memFree=30643676/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=487644 CPUtime=1482.3 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 124337 0 0 0 144800 3430 0 0 25 0 1 0 165160665 499347456 119689 4089446400 4194304 7136930 140735349121408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25055/statm: 121911 119689 415 719 0 121190 0 Current children cumulated CPU time (s) 1482.3 Current children cumulated vsize (KiB) 487644 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25219 /proc/meminfo: memFree=30616092/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=504836 CPUtime=1542.31 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 128729 0 0 0 150674 3557 0 0 25 0 1 0 165160665 516952064 124081 4089446400 4194304 7136930 140735349121408 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25055/statm: 126209 124081 415 719 0 125488 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 504836 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25221 /proc/meminfo: memFree=30583312/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=522496 CPUtime=1602.31 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 133238 0 0 0 156540 3691 0 0 25 0 1 0 165160665 535035904 128590 4089446400 4194304 7136930 140735349121408 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25055/statm: 130624 128590 415 719 0 129903 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 522496 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25223 /proc/meminfo: memFree=30549512/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=540336 CPUtime=1662.31 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 137793 0 0 0 162407 3824 0 0 25 0 1 0 165160665 553304064 133145 4089446400 4194304 7136930 140735349121408 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25055/statm: 135084 133145 415 719 0 134363 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 540336 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25225 /proc/meminfo: memFree=30517872/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=551748 CPUtime=1722.31 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 140742 0 0 0 168264 3967 0 0 25 0 1 0 165160665 564989952 136094 4089446400 4194304 7136930 140735349121408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25055/statm: 137937 136094 415 719 0 137216 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 551748 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25225 /proc/meminfo: memFree=30467332/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=568788 CPUtime=1782.31 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 145098 0 0 0 174121 4110 0 0 25 0 1 0 165160665 582438912 140450 4089446400 4194304 7136930 140735349121408 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25055/statm: 142197 140450 415 719 0 141476 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 568788 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25227 /proc/meminfo: memFree=30456140/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=573740 CPUtime=1800.02 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 146363 0 0 0 175850 4152 0 0 25 0 1 0 165160665 587509760 141715 4089446400 4194304 7136930 140735349121408 18446744073709551615 4697663 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25055/statm: 143435 141715 415 719 0 142714 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 573740 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 25227 /proc/meminfo: memFree=30456140/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=573600 CPUtime=1800.21 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 146369 0 0 0 175869 4152 0 0 18 0 1 0 165160665 587366400 141686 4089446400 4194304 7136930 140735349121408 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25055/statm: 143400 141686 421 719 0 142679 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 573600 [startup+1800.6 s] /proc/loadavg: 2.00 2.00 2.00 3/180 25228 /proc/meminfo: memFree=30533756/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=494440 CPUtime=1800.62 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 146369 0 0 0 175910 4152 0 0 18 0 1 0 165160665 506306560 121896 4089446400 4194304 7136930 140735349121408 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25055/statm: 123610 121896 421 719 0 122889 0 Current children cumulated CPU time (s) 1800.62 Current children cumulated vsize (KiB) 494440 [startup+1800.71 s] /proc/loadavg: 2.00 2.00 2.00 3/180 25228 /proc/meminfo: memFree=30533756/32951124 swapFree=67111528/67111528 [pid=25055] ppid=25053 vsize=239716 CPUtime=1800.72 /proc/25055/stat : 25055 (pbscip.linux.x8) R 25053 25055 24698 0 -1 4202496 146369 0 0 0 175918 4154 0 0 18 0 1 0 165160665 245469184 58228 4089446400 4194304 7136930 140735349121408 18446744073709551615 6166266 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25055/statm: 59929 58228 421 719 0 59208 0 Current children cumulated CPU time (s) 1800.72 Current children cumulated vsize (KiB) 239716 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.75 CPU user time (s): 1759.2 CPU system time (s): 41.5497 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 573740 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1759.2 system time used= 41.5497 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 146376 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= 6255 runsolver used 3.14952 second user time and 6.68998 second system time The end
Begin job on node118 at 2010-06-30 18:26:51 IDJOB=2693706 IDBENCH=79048 IDSOLVER=1206 FILE ID=node118/2693706-1277915211 PBS_JOBID= 11197314 Free space on /tmp= 74208 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-ooo.rf7.ucl--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-2693706-1277915211/watcher-2693706-1277915211 -o /tmp/evaluation-result-2693706-1277915211/solver-2693706-1277915211 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693706-1277915211.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8b3bb15bf42f2b763120a3c01531d890 RANDOM SEED=337608678 node118.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.791 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.58 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.791 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.75 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.791 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.76 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.791 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.791 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.75 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.791 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.83 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.791 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.791 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 : 5448.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31009380 kB Buffers: 200716 kB Cached: 1301324 kB SwapCached: 0 kB Active: 771444 kB Inactive: 1027608 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31009380 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3508 kB Writeback: 0 kB AnonPages: 296848 kB Mapped: 16540 kB Slab: 79176 kB PageTables: 4944 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 443476 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= 74204 MiB End job on node118 at 2010-06-30 18:56:53