Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.07 | 1801 |
Name | /PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag8.ucl--soft-66-100-0.wbo |
MD5SUM | fbaddd9625623c5e0a4f0ddddf2cf090 |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 2.6076 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 3249 |
Total number of constraints | 8983 |
Number of soft constraints | 3029 |
Number of constraints which are clauses | 8599 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 384 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
Top cost | 154751 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 154750 |
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-2693726-1277915447.wbo> 0.02/0.08 c original problem has 9307 variables (6278 bin, 0 int, 0 impl, 3029 cont) and 12013 constraints 0.02/0.08 c problem read 0.02/0.08 c presolving settings loaded 0.02/0.08 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.12 c presolving: 0.09/0.16 c (round 1) 90 del vars, 5 del conss, 0 chg bounds, 192 chg sides, 384 chg coeffs, 0 upgd conss, 56479 impls, 0 clqs 0.09/0.17 c (round 2) 92 del vars, 183 del conss, 0 chg bounds, 192 chg sides, 384 chg coeffs, 0 upgd conss, 56479 impls, 0 clqs 0.09/0.18 c (round 3) 95 del vars, 185 del conss, 3026 chg bounds, 192 chg sides, 384 chg coeffs, 0 upgd conss, 56479 impls, 0 clqs 0.20/0.23 c (round 4) 97 del vars, 185 del conss, 3026 chg bounds, 192 chg sides, 384 chg coeffs, 5777 upgd conss, 56479 impls, 0 clqs 0.90/0.93 c (0.8s) probing: 1000/6184 (16.2%) - 0 fixings, 3 aggregations, 2436 implications, 0 bound changes 0.99/1.08 c (0.9s) probing: 1293/6184 (20.9%) - 0 fixings, 3 aggregations, 2453 implications, 0 bound changes 0.99/1.08 c (0.9s) probing aborted: 100/100 successive totally useless probings 0.99/1.08 c (round 5) 100 del vars, 185 del conss, 3026 chg bounds, 192 chg sides, 384 chg coeffs, 5777 upgd conss, 67903 impls, 0 clqs 1.19/1.24 c (1.0s) probing: 1536/6184 (24.8%) - 0 fixings, 3 aggregations, 2521 implications, 0 bound changes 1.19/1.24 c (1.0s) probing aborted: 100/100 successive totally useless probings 1.19/1.24 c presolving (6 rounds): 1.19/1.24 c 100 deleted vars, 185 deleted constraints, 3026 tightened bounds, 0 added holes, 192 changed sides, 384 changed coefficients 1.19/1.24 c 68074 implications, 0 cliques 1.19/1.24 c presolved problem has 9207 variables (6181 bin, 0 int, 0 impl, 3026 cont) and 11828 constraints 1.19/1.24 c 3026 constraints of type <indicator> 1.19/1.24 c 1 constraints of type <varbound> 1.19/1.24 c 254 constraints of type <knapsack> 1.19/1.24 c 3025 constraints of type <linear> 1.19/1.24 c 5522 constraints of type <logicor> 1.19/1.24 c transformed objective value is always integral (scale: 1) 1.19/1.24 c Presolving Time: 1.01 1.19/1.24 c - non default parameters ---------------------------------------------------------------------- 1.19/1.24 c # SCIP version 1.2.1.2 1.19/1.24 c 1.19/1.24 c # frequency for displaying node information lines 1.19/1.24 c # [type: int, range: [-1,2147483647], default: 100] 1.19/1.24 c display/freq = 10000 1.19/1.24 c 1.19/1.24 c # maximal time in seconds to run 1.19/1.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.19/1.24 c limits/time = 1799.93 1.19/1.24 c 1.19/1.24 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 1.19/1.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.19/1.24 c limits/memory = 3420 1.19/1.24 c 1.19/1.24 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 1.19/1.24 c # [type: int, range: [-1,2147483647], default: 1] 1.19/1.24 c lp/solvefreq = -1 1.19/1.24 c 1.19/1.24 c # should presolving try to simplify inequalities 1.19/1.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.19/1.24 c constraints/linear/simplifyinequalities = TRUE 1.19/1.24 c 1.19/1.24 c # should presolving try to simplify knapsacks 1.19/1.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.19/1.24 c constraints/knapsack/simplifyinequalities = TRUE 1.19/1.24 c 1.19/1.24 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 1.19/1.24 c # [type: int, range: [-1,2147483647], default: -1] 1.19/1.24 c separating/rapidlearning/freq = 0 1.19/1.24 c 1.19/1.24 c ----------------------------------------------------------------------------------------------- 1.19/1.24 c start solving 1.19/1.24 c 1.19/1.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1.19/1.26 c 1.1s| 1 | 2 | 0 | - | 33M| 0 | - |9207 | 11k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 24.49/24.51 c 23.5s| 10000 | 9991 | 0 | 0.0 | 45M| 63 | - |9207 | 11k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 46.90/46.94 c 45.1s| 20000 | 19989 | 0 | 0.0 | 55M| 67 | - |9207 | 11k| 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf 69.00/69.03 c 66.3s| 30000 | 29986 | 0 | 0.0 | 64M| 67 | - |9207 | 11k| 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf 89.00/89.10 c 85.6s| 40000 | 39984 | 0 | 0.0 | 71M| 143 | - |9207 | 11k| 0 | 0 | 0 | 8 | 0 | 0.000000e+00 | -- | Inf 109.20/109.26 c 105s| 50000 | 49984 | 0 | 0.0 | 79M| 143 | - |9207 | 11k| 0 | 0 | 0 | 8 | 0 | 0.000000e+00 | -- | Inf 128.90/128.97 c 124s| 60000 | 59984 | 0 | 0.0 | 85M| 143 | - |9207 | 11k| 0 | 0 | 0 | 8 | 0 | 0.000000e+00 | -- | Inf 148.80/148.85 c 143s| 70000 | 69984 | 0 | 0.0 | 92M| 143 | - |9207 | 11k| 0 | 0 | 0 | 8 | 0 | 0.000000e+00 | -- | Inf 169.70/169.74 c 163s| 80000 | 79984 | 0 | 0.0 | 100M| 143 | - |9207 | 11k| 0 | 0 | 0 | 8 | 0 | 0.000000e+00 | -- | Inf 190.31/190.31 c 183s| 90000 | 89984 | 0 | 0.0 | 108M| 143 | - |9207 | 11k| 0 | 0 | 0 | 8 | 0 | 0.000000e+00 | -- | Inf 210.50/210.53 c 202s|100000 | 99984 | 0 | 0.0 | 115M| 143 | - |9207 | 11k| 0 | 0 | 0 | 8 | 0 | 0.000000e+00 | -- | Inf 230.50/230.53 c 222s|110000 |109984 | 0 | 0.0 | 122M| 143 | - |9207 | 11k| 0 | 0 | 0 | 8 | 0 | 0.000000e+00 | -- | Inf 250.50/250.52 c 241s|120000 |119984 | 0 | 0.0 | 129M| 143 | - |9207 | 11k| 0 | 0 | 0 | 8 | 0 | 0.000000e+00 | -- | Inf 270.20/270.21 c 260s|130000 |129984 | 0 | 0.0 | 135M| 143 | - |9207 | 11k| 0 | 0 | 0 | 8 | 0 | 0.000000e+00 | -- | Inf 289.70/289.75 c 279s|140000 |139984 | 0 | 0.0 | 142M| 143 | - |9207 | 11k| 0 | 0 | 0 | 8 | 0 | 0.000000e+00 | -- | Inf 308.90/308.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 308.90/308.95 c 297s|150000 |149980 | 0 | 0.0 | 148M| 143 | - |9207 | 11k| 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf 327.40/327.42 c 315s|160000 |159980 | 0 | 0.0 | 154M| 147 | - |9207 | 11k| 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf 345.42/345.45 c 332s|170000 |169980 | 0 | 0.0 | 160M| 171 | - |9207 | 11k| 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf 364.70/364.75 c 351s|180000 |179980 | 0 | 0.0 | 167M| 171 | - |9207 | 11k| 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf 383.70/383.76 c 369s|190000 |189980 | 0 | 0.0 | 174M| 171 | - |9207 | 11k| 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf 402.51/402.57 c 387s|200000 |199980 | 0 | 0.0 | 180M| 171 | - |9207 | 11k| 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf 421.21/421.27 c 405s|210000 |209980 | 0 | 0.0 | 186M| 171 | - |9207 | 11k| 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf 439.71/439.77 c 423s|220000 |219980 | 0 | 0.0 | 193M| 171 | - |9207 | 11k| 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf 458.11/458.14 c 441s|230000 |229980 | 0 | 0.0 | 199M| 171 | - |9207 | 11k| 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf 476.41/476.47 c 458s|240000 |239980 | 0 | 0.0 | 205M| 175 | - |9207 | 11k| 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf 494.71/494.71 c 476s|250000 |249980 | 0 | 0.0 | 211M| 175 | - |9207 | 11k| 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf 512.81/512.87 c 493s|260000 |259980 | 0 | 0.0 | 217M| 175 | - |9207 | 11k| 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf 530.81/530.89 c 510s|270000 |269980 | 0 | 0.0 | 223M| 175 | - |9207 | 11k| 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf 548.82/548.87 c 528s|280000 |279980 | 0 | 0.0 | 229M| 175 | - |9207 | 11k| 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf 566.81/566.84 c 545s|290000 |289980 | 0 | 0.0 | 235M| 175 | - |9207 | 11k| 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf 584.71/584.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 584.71/584.77 c 562s|300000 |299980 | 0 | 0.0 | 241M| 175 | - |9207 | 11k| 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf 602.72/602.73 c 579s|310000 |309980 | 0 | 0.0 | 248M| 175 | - |9207 | 11k| 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf 620.61/620.68 c 597s|320000 |319980 | 0 | 0.0 | 254M| 175 | - |9207 | 11k| 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf 638.51/638.53 c 614s|330000 |329980 | 0 | 0.0 | 260M| 175 | - |9207 | 11k| 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf 656.32/656.32 c 631s|340000 |339980 | 0 | 0.0 | 266M| 175 | - |9207 | 11k| 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf 674.01/674.01 c 648s|350000 |349980 | 0 | 0.0 | 272M| 175 | - |9207 | 11k| 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf 691.51/691.51 c 665s|360000 |359980 | 0 | 0.0 | 278M| 175 | - |9207 | 11k| 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf 708.72/708.74 c 681s|370000 |369980 | 0 | 0.0 | 284M| 175 | - |9207 | 11k| 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf 725.81/725.83 c 698s|380000 |379980 | 0 | 0.0 | 290M| 175 | - |9207 | 11k| 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf 744.22/744.24 c 715s|390000 |389980 | 0 | 0.0 | 297M| 175 | - |9207 | 11k| 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf 763.62/763.68 c 734s|400000 |399976 | 0 | 0.0 | 304M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 783.12/783.15 c 753s|410000 |409976 | 0 | 0.0 | 311M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 802.22/802.22 c 771s|420000 |419976 | 0 | 0.0 | 318M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 821.22/821.20 c 789s|430000 |429976 | 0 | 0.0 | 324M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 840.03/840.04 c 807s|440000 |439976 | 0 | 0.0 | 331M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 858.92/858.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 858.92/858.98 c 826s|450000 |449976 | 0 | 0.0 | 338M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 877.63/877.65 c 844s|460000 |459976 | 0 | 0.0 | 344M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 896.33/896.36 c 862s|470000 |469976 | 0 | 0.0 | 350M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 914.93/914.97 c 880s|480000 |479976 | 0 | 0.0 | 357M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 933.42/933.49 c 897s|490000 |489976 | 0 | 0.0 | 363M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 952.03/952.04 c 915s|500000 |499976 | 0 | 0.0 | 369M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 970.53/970.54 c 933s|510000 |509976 | 0 | 0.0 | 376M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 988.84/988.82 c 950s|520000 |519976 | 0 | 0.0 | 382M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1007.23/1007.27 c 968s|530000 |529976 | 0 | 0.0 | 388M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1025.53/1025.52 c 986s|540000 |539976 | 0 | 0.0 | 395M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1043.84/1043.80 c 1003s|550000 |549976 | 0 | 0.0 | 401M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1062.03/1062.02 c 1021s|560000 |559976 | 0 | 0.0 | 407M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1080.04/1080.08 c 1038s|570000 |569976 | 0 | 0.0 | 413M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1098.23/1098.23 c 1056s|580000 |579976 | 0 | 0.0 | 419M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1116.33/1116.33 c 1073s|590000 |589976 | 0 | 0.0 | 425M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1134.23/1134.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1134.23/1134.27 c 1090s|600000 |599976 | 0 | 0.0 | 432M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1152.24/1152.29 c 1108s|610000 |609976 | 0 | 0.0 | 438M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1170.24/1170.20 c 1125s|620000 |619976 | 0 | 0.0 | 444M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1188.14/1188.16 c 1142s|630000 |629976 | 0 | 0.0 | 450M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1205.94/1205.92 c 1159s|640000 |639976 | 0 | 0.0 | 456M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1223.74/1223.75 c 1176s|650000 |649976 | 0 | 0.0 | 462M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1241.54/1241.51 c 1193s|660000 |659976 | 0 | 0.0 | 468M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1259.24/1259.27 c 1210s|670000 |669976 | 0 | 0.0 | 474M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1277.05/1277.01 c 1228s|680000 |679976 | 0 | 0.0 | 480M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1294.65/1294.66 c 1244s|690000 |689976 | 0 | 0.0 | 486M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1312.35/1312.32 c 1261s|700000 |699976 | 0 | 0.0 | 492M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1329.95/1329.98 c 1278s|710000 |709976 | 0 | 0.0 | 498M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1347.64/1347.64 c 1295s|720000 |719976 | 0 | 0.0 | 504M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1365.25/1365.24 c 1312s|730000 |729976 | 0 | 0.0 | 510M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1382.75/1382.71 c 1329s|740000 |739976 | 0 | 0.0 | 516M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1400.26/1400.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1400.26/1400.21 c 1346s|750000 |749976 | 0 | 0.0 | 522M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1417.65/1417.60 c 1363s|760000 |759976 | 0 | 0.0 | 528M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1434.85/1434.84 c 1379s|770000 |769976 | 0 | 0.0 | 534M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1452.06/1452.06 c 1396s|780000 |779976 | 0 | 0.0 | 540M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1469.15/1469.19 c 1412s|790000 |789976 | 0 | 0.0 | 546M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1486.35/1486.34 c 1429s|800000 |799976 | 0 | 0.0 | 552M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1503.45/1503.48 c 1445s|810000 |809976 | 0 | 0.0 | 558M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1520.55/1520.57 c 1461s|820000 |819976 | 0 | 0.0 | 564M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1537.66/1537.65 c 1478s|830000 |829976 | 0 | 0.0 | 570M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1554.65/1554.67 c 1494s|840000 |839976 | 0 | 0.0 | 575M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1571.55/1571.59 c 1510s|850000 |849976 | 0 | 0.0 | 581M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1588.46/1588.47 c 1527s|860000 |859976 | 0 | 0.0 | 587M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1605.36/1605.31 c 1543s|870000 |869976 | 0 | 0.0 | 593M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1622.15/1622.11 c 1559s|880000 |879976 | 0 | 0.0 | 599M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1638.86/1638.89 c 1575s|890000 |889976 | 0 | 0.0 | 605M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1655.66/1655.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1655.66/1655.64 c 1591s|900000 |899976 | 0 | 0.0 | 610M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1672.26/1672.24 c 1607s|910000 |909976 | 0 | 0.0 | 616M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1688.86/1688.87 c 1624s|920000 |919976 | 0 | 0.0 | 622M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1705.46/1705.42 c 1640s|930000 |929976 | 0 | 0.0 | 628M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1721.96/1721.92 c 1656s|940000 |939976 | 0 | 0.0 | 634M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1738.46/1738.43 c 1672s|950000 |949976 | 0 | 0.0 | 639M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1754.96/1754.93 c 1688s|960000 |959976 | 0 | 0.0 | 645M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1771.46/1771.42 c 1704s|970000 |969976 | 0 | 0.0 | 651M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1788.06/1788.05 c 1720s|980000 |979976 | 0 | 0.0 | 657M| 175 | - |9207 | 11k| 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf 1800.07/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.07/1800.00 c 1800.07/1800.00 c SCIP Status : solving was interrupted [user interrupt] 1800.07/1800.00 c Solving Time (sec) : 1731.79 1800.07/1800.00 c Solving Nodes : 987156 1800.07/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.07/1800.00 c Dual Bound : +0.00000000000000e+00 1800.07/1800.00 c Gap : infinite 1800.07/1800.00 s UNKNOWN 1800.07/1800.00 c SCIP Status : solving was interrupted [user interrupt] 1800.07/1800.00 c Solving Time : 1731.79 1800.07/1800.00 c Original Problem : 1800.07/1800.00 c Problem name : HOME/instance-2693726-1277915447.wbo 1800.07/1800.00 c Variables : 9307 (6278 binary, 0 integer, 0 implicit integer, 3029 continuous) 1800.07/1800.00 c Constraints : 12013 initial, 12013 maximal 1800.07/1800.00 c Presolved Problem : 1800.07/1800.00 c Problem name : t_HOME/instance-2693726-1277915447.wbo 1800.07/1800.00 c Variables : 9207 (6181 binary, 0 integer, 0 implicit integer, 3026 continuous) 1800.07/1800.00 c Constraints : 11828 initial, 11837 maximal 1800.07/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.07/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.00 c dualfix : 0.00 6 0 0 0 0 0 0 0 1800.07/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.00 c implics : 0.01 0 87 0 0 0 0 0 0 1800.07/1800.00 c probing : 0.92 0 3 0 0 0 0 0 0 1800.07/1800.00 c indicator : 0.00 0 0 0 0 0 3 0 0 1800.07/1800.00 c varbound : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.00 c linear : 0.04 0 4 0 3026 0 182 192 384 1800.07/1800.00 c logicor : 0.03 0 0 0 0 0 0 0 0 1800.07/1800.00 c root node : - 0 - - 0 - - - - 1800.07/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.07/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0 1800.07/1800.00 c indicator : 3026 0 3643724 0 987145 0 98861 0 0 0 1800.07/1800.00 c varbound : 1 0 3627335 0 982830 0 0 0 0 0 1800.07/1800.00 c knapsack : 254 0 3643724 0 987145 0 0 0 0 0 1800.07/1800.00 c linear : 3025 0 3643724 0 987145 0 98727 0 0 0 1800.07/1800.00 c logicor : 5522+ 0 3231549 0 987145 11 5710977 0 0 0 1800.07/1800.00 c countsols : 0 0 0 0 987145 0 0 0 0 0 1800.07/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.07/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00 1800.07/1800.00 c indicator : 311.39 0.00 108.51 0.00 202.88 1800.07/1800.00 c varbound : 0.03 0.00 0.02 0.00 0.01 1800.07/1800.00 c knapsack : 10.62 0.00 10.55 0.00 0.07 1800.07/1800.00 c linear : 96.56 0.00 95.83 0.00 0.73 1800.07/1800.00 c logicor : 459.69 0.00 13.01 0.00 446.68 1800.07/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.07/1800.00 c Propagators : Time Calls Cutoffs DomReds 1800.07/1800.00 c vbounds : 0.00 3593 0 136 1800.07/1800.00 c rootredcost : 0.02 0 0 0 1800.07/1800.00 c pseudoobj : 238.78 3640078 0 0 1800.07/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.07/1800.00 c propagation : 0.00 11 11 13 3.9 0 0.0 - 1800.07/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.07/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.07/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.07/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.07/1800.00 c applied globally : - - - 12 3.8 - - - 1800.07/1800.00 c applied locally : - - - 0 0.0 - - - 1800.07/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.07/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1800.07/1800.00 c redcost : 0.00 0 0 0 0 0 1800.07/1800.00 c impliedbounds : 0.00 0 0 0 0 0 1800.07/1800.00 c intobj : 0.00 0 0 0 0 0 1800.07/1800.00 c cgmip : 0.00 0 0 0 0 0 1800.07/1800.00 c gomory : 0.00 0 0 0 0 0 1800.07/1800.00 c strongcg : 0.00 0 0 0 0 0 1800.07/1800.00 c cmir : 0.00 0 0 0 0 0 1800.07/1800.00 c flowcover : 0.00 0 0 0 0 0 1800.07/1800.00 c clique : 0.00 0 0 0 0 0 1800.07/1800.00 c zerohalf : 0.00 0 0 0 0 0 1800.07/1800.00 c mcf : 0.00 0 0 0 0 0 1800.07/1800.00 c rapidlearning : 0.00 0 0 0 0 0 1800.07/1800.00 c Pricers : Time Calls Vars 1800.07/1800.00 c problem variables: 0.00 0 0 1800.07/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.07/1800.00 c relpscost : 0.00 0 0 0 0 0 0 1800.07/1800.00 c pscost : 0.00 0 0 0 0 0 0 1800.07/1800.00 c inference : 579.28 987145 0 0 0 0 1974290 1800.07/1800.00 c mostinf : 0.00 0 0 0 0 0 0 1800.07/1800.00 c leastinf : 0.00 0 0 0 0 0 0 1800.07/1800.00 c fullstrong : 0.00 0 0 0 0 0 0 1800.07/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0 1800.07/1800.00 c random : 0.00 0 0 0 0 0 0 1800.07/1800.00 c Primal Heuristics : Time Calls Found 1800.07/1800.00 c LP solutions : 0.00 - 0 1800.07/1800.00 c pseudo solutions : 0.00 - 0 1800.07/1800.00 c oneopt : 0.00 0 0 1800.07/1800.00 c trivial : 0.02 2 0 1800.07/1800.00 c simplerounding : 0.00 0 0 1800.07/1800.00 c zirounding : 0.00 0 0 1800.07/1800.00 c rounding : 0.00 0 0 1800.07/1800.00 c shifting : 0.00 0 0 1800.07/1800.00 c intshifting : 0.00 0 0 1800.07/1800.00 c twoopt : 0.00 0 0 1800.07/1800.00 c fixandinfer : 0.00 0 0 1800.07/1800.00 c feaspump : 0.00 0 0 1800.07/1800.00 c coefdiving : 0.00 0 0 1800.07/1800.00 c pscostdiving : 0.00 0 0 1800.07/1800.00 c fracdiving : 0.00 0 0 1800.07/1800.00 c veclendiving : 0.00 0 0 1800.07/1800.00 c intdiving : 0.00 0 0 1800.07/1800.00 c actconsdiving : 0.00 0 0 1800.07/1800.00 c objpscostdiving : 0.00 0 0 1800.07/1800.00 c rootsoldiving : 0.00 0 0 1800.07/1800.00 c linesearchdiving : 0.00 0 0 1800.07/1800.00 c guideddiving : 0.00 0 0 1800.07/1800.00 c octane : 0.00 0 0 1800.07/1800.00 c rens : 0.00 0 0 1800.07/1800.00 c rins : 0.00 0 0 1800.07/1800.00 c localbranching : 0.00 0 0 1800.07/1800.00 c mutation : 0.00 0 0 1800.07/1800.00 c crossover : 0.00 0 0 1800.07/1800.00 c dins : 0.00 0 0 1800.07/1800.00 c undercover : 0.00 0 0 1800.07/1800.00 c nlp : 0.00 0 0 1800.07/1800.00 c trysol : 0.00 1 0 1800.07/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec 1800.07/1800.00 c primal LP : 0.00 0 0 0.00 - 1800.07/1800.00 c dual LP : 0.00 0 0 0.00 - 1800.07/1800.00 c lex dual LP : 0.00 0 0 0.00 - 1800.07/1800.00 c barrier LP : 0.00 0 0 0.00 - 1800.07/1800.00 c diving/probing LP: 0.00 0 0 0.00 - 1800.07/1800.00 c strong branching : 0.00 0 0 0.00 - 1800.07/1800.00 c (at root node) : - 0 0 0.00 - 1800.07/1800.00 c conflict analysis: 0.00 0 0 0.00 - 1800.07/1800.00 c B&B Tree : 1800.07/1800.00 c number of runs : 1 1800.07/1800.00 c nodes : 987156 1800.07/1800.00 c nodes (total) : 987156 1800.07/1800.00 c nodes left : 987132 1800.07/1800.00 c max depth : 175 1800.07/1800.00 c max depth (total): 175 1800.07/1800.00 c backtracks : 11236 (1.1%) 1800.07/1800.00 c delayed cutoffs : 3 1800.07/1800.00 c repropagations : 68 (114 domain reductions, 0 cutoffs) 1800.07/1800.00 c avg switch length: 2.57 1800.07/1800.00 c switching time : 25.35 1800.07/1800.00 c Solution : 1800.07/1800.00 c Solutions found : 0 (0 improvements) 1800.07/1800.00 c Primal Bound : - 1800.07/1800.00 c Dual Bound : +0.00000000000000e+00 1800.07/1800.00 c Gap : infinite 1800.07/1800.00 c Root Dual Bound : +0.00000000000000e+00 1800.07/1800.00 c Root Iterations : 0 1800.97/1800.99 c Time complete: 1801.06.
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-2693726-1277915447/watcher-2693726-1277915447 -o /tmp/evaluation-result-2693726-1277915447/solver-2693726-1277915447 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693726-1277915447.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: 1.97 1.97 1.98 4/178 15962 /proc/meminfo: memFree=31123360/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=8164 CPUtime=0 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 1522 0 0 0 0 0 0 0 25 0 1 0 132838968 8359936 1444 4089446400 4194304 7136930 140737277918272 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15962/statm: 2041 1444 275 719 0 1320 0 [startup+0.034166 s] /proc/loadavg: 1.97 1.97 1.98 4/178 15962 /proc/meminfo: memFree=31123360/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=14664 CPUtime=0.02 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 3157 0 0 0 2 0 0 0 25 0 1 0 132838968 15015936 3079 4089446400 4194304 7136930 140737277918272 18446744073709551615 6349797 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15962/statm: 3784 3079 275 719 0 3063 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 14664 [startup+0.101156 s] /proc/loadavg: 1.97 1.97 1.98 4/178 15962 /proc/meminfo: memFree=31123360/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=37692 CPUtime=0.09 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 9198 0 0 0 8 1 0 0 25 0 1 0 132838968 38596608 8767 4089446400 4194304 7136930 140737277918272 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15962/statm: 9423 8844 289 719 0 8702 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 37692 [startup+0.301114 s] /proc/loadavg: 1.97 1.97 1.98 4/178 15962 /proc/meminfo: memFree=31123360/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=53704 CPUtime=0.29 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 15779 0 0 0 21 8 0 0 25 0 1 0 132838968 54992896 12573 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15962/statm: 13426 12573 385 719 0 12705 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 53704 [startup+0.701036 s] /proc/loadavg: 1.97 1.97 1.98 4/178 15962 /proc/meminfo: memFree=31123360/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=54856 CPUtime=0.69 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 16044 0 0 0 60 9 0 0 25 0 1 0 132838968 56172544 12838 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15962/statm: 13714 12838 385 719 0 12993 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 54856 [startup+1.50088 s] /proc/loadavg: 1.97 1.97 1.98 3/179 15963 /proc/meminfo: memFree=31074008/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=57552 CPUtime=1.49 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 17801 0 0 0 135 14 0 0 25 0 1 0 132838968 58933248 13497 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15962/statm: 14388 13497 410 719 0 13667 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 57552 [startup+3.10057 s] /proc/loadavg: 1.97 1.97 1.98 3/179 15963 /proc/meminfo: memFree=31069668/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=58648 CPUtime=3.09 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 18071 0 0 0 290 19 0 0 25 0 1 0 132838968 60055552 13767 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15962/statm: 14662 13767 410 719 0 13941 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 58648 [startup+6.30096 s] /proc/loadavg: 1.97 1.97 1.98 3/179 15963 /proc/meminfo: memFree=31065172/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=61588 CPUtime=6.29 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 18799 0 0 0 600 29 0 0 25 0 1 0 132838968 63066112 14495 4089446400 4194304 7136930 140737277918272 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15962/statm: 15397 14495 410 719 0 14676 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 61588 [startup+12.7007 s] /proc/loadavg: 1.97 1.97 1.98 3/179 15964 /proc/meminfo: memFree=31060624/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=65776 CPUtime=12.69 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 19823 0 0 0 1219 50 0 0 25 0 1 0 132838968 67354624 15519 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15962/statm: 16444 15519 410 719 0 15723 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 65776 [startup+25.5003 s] /proc/loadavg: 1.98 1.97 1.98 3/179 15964 /proc/meminfo: memFree=31052180/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=73712 CPUtime=25.49 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 21818 0 0 0 2449 100 0 0 25 0 1 0 132838968 75481088 17514 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15962/statm: 18428 17514 410 719 0 17707 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 73712 [startup+51.1004 s] /proc/loadavg: 1.98 1.97 1.98 3/179 15965 /proc/meminfo: memFree=31036128/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=87892 CPUtime=51.1 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 25362 0 0 0 4912 198 0 0 25 0 1 0 132838968 90001408 21058 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15962/statm: 21973 21058 410 719 0 21252 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 87892 [startup+102.308 s] /proc/loadavg: 1.99 1.97 1.98 3/179 15969 /proc/meminfo: memFree=31008616/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=109340 CPUtime=102.31 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 30823 0 0 0 9841 390 0 0 25 0 1 0 132838968 111964160 26519 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15962/statm: 27335 26519 410 719 0 26614 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 109340 [startup+162.301 s] /proc/loadavg: 1.99 1.97 1.98 3/179 15971 /proc/meminfo: memFree=30979824/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=134272 CPUtime=162.3 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 36647 0 0 0 15601 629 0 0 25 0 1 0 132838968 137494528 32343 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15962/statm: 33568 32343 410 719 0 32847 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 134272 [startup+222.3 s] /proc/loadavg: 1.99 1.97 1.98 3/179 15972 /proc/meminfo: memFree=30953012/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=157524 CPUtime=222.3 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 42557 0 0 0 21376 854 0 0 25 0 1 0 132838968 161304576 38253 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15962/statm: 39381 38253 410 719 0 38660 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 157524 [startup+282.301 s] /proc/loadavg: 2.07 1.99 1.98 3/179 15974 /proc/meminfo: memFree=30918876/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=182140 CPUtime=282.3 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 48855 0 0 0 27149 1081 0 0 25 0 1 0 132838968 186511360 44551 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15962/statm: 45535 44551 410 719 0 44814 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 182140 [startup+342.3 s] /proc/loadavg: 2.03 1.99 1.98 3/179 15975 /proc/meminfo: memFree=30896768/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=200320 CPUtime=342.3 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 53526 0 0 0 32909 1321 0 0 25 0 1 0 132838968 205127680 49222 4089446400 4194304 7136930 140737277918272 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15962/statm: 50080 49222 410 719 0 49359 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 200320 [startup+402.301 s] /proc/loadavg: 2.01 1.99 1.98 3/179 15977 /proc/meminfo: memFree=30872548/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=224320 CPUtime=402.31 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 58625 0 0 0 38686 1545 0 0 25 0 1 0 132838968 229703680 54321 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15962/statm: 56080 54321 410 719 0 55359 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 224320 [startup+462.3 s] /proc/loadavg: 2.00 1.99 1.98 3/179 15979 /proc/meminfo: memFree=30844868/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=246288 CPUtime=462.31 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 64244 0 0 0 44458 1773 0 0 25 0 1 0 132838968 252198912 59940 4089446400 4194304 7136930 140737277918272 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15962/statm: 61572 59940 410 719 0 60851 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 246288 [startup+522.301 s] /proc/loadavg: 2.00 1.99 1.98 3/179 15980 /proc/meminfo: memFree=30821124/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=264956 CPUtime=522.31 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 69044 0 0 0 50229 2002 0 0 25 0 1 0 132838968 271314944 64740 4089446400 4194304 7136930 140737277918272 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15962/statm: 66239 64740 410 719 0 65518 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 264956 [startup+582.3 s] /proc/loadavg: 2.00 1.99 1.98 3/179 15982 /proc/meminfo: memFree=30794432/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=284364 CPUtime=582.32 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 74025 0 0 0 55989 2243 0 0 25 0 1 0 132838968 291188736 69721 4089446400 4194304 7136930 140737277918272 18446744073709551615 4834591 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15962/statm: 71091 69721 410 719 0 70370 0 Current children cumulated CPU time (s) 582.32 Current children cumulated vsize (KiB) 284364 [startup+642.301 s] /proc/loadavg: 2.00 1.99 1.98 3/179 15983 /proc/meminfo: memFree=30768224/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=304988 CPUtime=642.33 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 79315 0 0 0 61753 2480 0 0 25 0 1 0 132838968 312307712 75011 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15962/statm: 76247 75011 410 719 0 75526 0 Current children cumulated CPU time (s) 642.33 Current children cumulated vsize (KiB) 304988 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 2.00 1.99 1.98 3/179 15993 /proc/meminfo: memFree=30610120/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=439480 CPUtime=1002.33 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 111640 0 0 0 96353 3880 0 0 25 0 1 0 132838968 450027520 107336 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15962/statm: 109870 107336 410 719 0 109149 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 439480 [startup+1062.3 s] /proc/loadavg: 2.05 2.00 1.99 3/179 15995 /proc/meminfo: memFree=30582672/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=461432 CPUtime=1062.34 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 117259 0 0 0 102124 4110 0 0 25 0 1 0 132838968 472506368 112955 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15962/statm: 115358 112955 410 719 0 114637 0 Current children cumulated CPU time (s) 1062.34 Current children cumulated vsize (KiB) 461432 [startup+1122.3 s] /proc/loadavg: 2.02 2.00 1.99 3/179 15996 /proc/meminfo: memFree=30559692/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=479740 CPUtime=1122.33 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 121964 0 0 0 107890 4343 0 0 25 0 1 0 132838968 491253760 117660 4089446400 4194304 7136930 140737277918272 18446744073709551615 4414774 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15962/statm: 119935 117660 410 719 0 119214 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 479740 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.99 3/179 15998 /proc/meminfo: memFree=30532868/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=500852 CPUtime=1182.34 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 127376 0 0 0 113656 4578 0 0 25 0 1 0 132838968 512872448 123072 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15962/statm: 125213 123072 410 719 0 124492 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 500852 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.99 3/179 15999 /proc/meminfo: memFree=30506900/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=520116 CPUtime=1242.34 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 132319 0 0 0 119427 4807 0 0 25 0 1 0 132838968 532598784 128015 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15962/statm: 130029 128015 410 719 0 129308 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 520116 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.99 3/179 16001 /proc/meminfo: memFree=30480676/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=541960 CPUtime=1302.35 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 137917 0 0 0 125190 5045 0 0 25 0 1 0 132838968 554967040 133613 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15962/statm: 135490 133613 410 719 0 134769 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 541960 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.99 3/179 16003 /proc/meminfo: memFree=30452872/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=563224 CPUtime=1362.34 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 143365 0 0 0 130953 5281 0 0 25 0 1 0 132838968 576741376 139061 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15962/statm: 140806 139061 410 719 0 140085 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 563224 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.99 3/179 16004 /proc/meminfo: memFree=30432468/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=581404 CPUtime=1422.35 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 148043 0 0 0 136723 5512 0 0 25 0 1 0 132838968 595357696 143739 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15962/statm: 145351 143739 410 719 0 144630 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 581404 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.99 3/179 16006 /proc/meminfo: memFree=30405284/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=602724 CPUtime=1482.35 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 153510 0 0 0 142489 5746 0 0 25 0 1 0 132838968 617189376 149206 4089446400 4194304 7136930 140737277918272 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15962/statm: 150681 149206 410 719 0 149960 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 602724 [startup+1542.3 s] /proc/loadavg: 2.08 2.02 2.00 3/179 16007 /proc/meminfo: memFree=30377096/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=623592 CPUtime=1542.36 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 158867 0 0 0 148243 5993 0 0 25 0 1 0 132838968 638558208 154563 4089446400 4194304 7136930 140737277918272 18446744073709551615 5892349 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15962/statm: 155898 154563 410 719 0 155177 0 Current children cumulated CPU time (s) 1542.36 Current children cumulated vsize (KiB) 623592 [startup+1602.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 16009 /proc/meminfo: memFree=30352020/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=644728 CPUtime=1602.36 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 164288 0 0 0 154003 6233 0 0 25 0 1 0 132838968 660201472 159984 4089446400 4194304 7136930 140737277918272 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15962/statm: 161182 159984 410 719 0 160461 0 Current children cumulated CPU time (s) 1602.36 Current children cumulated vsize (KiB) 644728 [startup+1662.3 s] /proc/loadavg: 2.16 2.04 2.01 3/197 16057 /proc/meminfo: memFree=30442608/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=664704 CPUtime=1662.36 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 169422 0 0 0 159772 6464 0 0 25 0 1 0 132838968 680656896 165118 4089446400 4194304 7136930 140737277918272 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15962/statm: 166176 165118 410 719 0 165455 0 Current children cumulated CPU time (s) 1662.36 Current children cumulated vsize (KiB) 664704 [startup+1722.3 s] /proc/loadavg: 2.06 2.03 2.00 4/179 16086 /proc/meminfo: memFree=30411816/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=683864 CPUtime=1722.35 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 174355 0 0 0 165615 6620 0 0 25 0 1 0 132838968 700276736 170051 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15962/statm: 170966 170051 410 719 0 170245 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 683864 [startup+1782.3 s] /proc/loadavg: 2.02 2.02 2.00 3/179 16088 /proc/meminfo: memFree=30386128/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=708216 CPUtime=1782.37 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 180583 0 0 0 171462 6775 0 0 25 0 1 0 132838968 725213184 176279 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15962/statm: 177054 176279 410 719 0 176333 0 Current children cumulated CPU time (s) 1782.37 Current children cumulated vsize (KiB) 708216 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.02 2.00 3/179 16088 /proc/meminfo: memFree=30381272/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=729372 CPUtime=1800.07 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 181817 0 0 0 173186 6821 0 0 25 0 1 0 132838968 746876928 177513 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15962/statm: 182343 177513 410 719 0 181622 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 729372 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 2.01 2.02 2.00 3/180 16089 /proc/meminfo: memFree=30399860/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=709564 CPUtime=1800.67 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 181823 0 0 0 173246 6821 0 0 18 0 1 0 132838968 726593536 172567 4089446400 4194304 7136930 140737277918272 18446744073709551615 6165668 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15962/statm: 177391 172567 416 719 0 176670 0 Current children cumulated CPU time (s) 1800.67 Current children cumulated vsize (KiB) 709564 [startup+1800.8 s] /proc/loadavg: 2.01 2.02 2.00 3/180 16089 /proc/meminfo: memFree=30399860/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=649896 CPUtime=1800.86 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 181823 0 0 0 173265 6821 0 0 18 0 1 0 132838968 665493504 157650 4089446400 4194304 7136930 140737277918272 18446744073709551615 6165693 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15962/statm: 162474 157650 416 719 0 161753 0 Current children cumulated CPU time (s) 1800.86 Current children cumulated vsize (KiB) 649896 [startup+1800.9 s] /proc/loadavg: 2.01 2.02 2.00 3/180 16089 /proc/meminfo: memFree=30399860/32950928 swapFree=67111528/67111528 [pid=15962] ppid=15960 vsize=577100 CPUtime=1800.97 /proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 181823 0 0 0 173275 6822 0 0 19 0 1 0 132838968 590950400 139451 4089446400 4194304 7136930 140737277918272 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15962/statm: 144275 139451 416 719 0 143554 0 Current children cumulated CPU time (s) 1800.97 Current children cumulated vsize (KiB) 577100 Child status: 0 Real time (s): 1801 CPU time (s): 1801.07 CPU user time (s): 1732.83 CPU system time (s): 68.2456 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 729372 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1732.83 system time used= 68.2456 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 181830 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= 4 involuntary context switches= 3843 runsolver used 3.12153 second user time and 6.594 second system time The end
Begin job on node148 at 2010-06-30 18:30:47 IDJOB=2693726 IDBENCH=79053 IDSOLVER=1206 FILE ID=node148/2693726-1277915447 PBS_JOBID= 11197282 Free space on /tmp= 74172 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.tag8.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-2693726-1277915447/watcher-2693726-1277915447 -o /tmp/evaluation-result-2693726-1277915447/solver-2693726-1277915447 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693726-1277915447.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fbaddd9625623c5e0a4f0ddddf2cf090 RANDOM SEED=1443288175 node148.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.836 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.836 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.836 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 : 5415.14 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.836 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.836 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.78 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.836 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.79 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.836 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.836 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.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31123880 kB Buffers: 199140 kB Cached: 1274652 kB SwapCached: 0 kB Active: 685048 kB Inactive: 996340 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31123880 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3532 kB Writeback: 0 kB AnonPages: 208132 kB Mapped: 16132 kB Slab: 81084 kB PageTables: 5484 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 361200 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= 74168 MiB End job on node148 at 2010-06-30 19:00:49