Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | OPTIMUM | 696.174 | 696.153 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968094--soft-66-100-0.wbo |
MD5SUM | 3614e30d545cc7450a6dcbc158864418 |
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 | 17 |
Best CPU time to get the best result obtained on this benchmark | 0.162974 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 169 |
Total number of constraints | 101 |
Number of soft constraints | 29 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Top cost | 1556 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 1555 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1242 |
Number of bits of the biggest sum of numbers | 11 |
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-2694015-1277899970.wbo> 0.00/0.00 c original problem has 227 variables (198 bin, 0 int, 0 impl, 29 cont) and 131 constraints 0.00/0.00 c problem read 0.00/0.00 c presolving settings loaded 0.00/0.00 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.00/0.00 c presolving: 0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 37 impls, 48 clqs 0.00/0.01 c (round 2) 0 del vars, 18 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 37 impls, 48 clqs 0.00/0.01 c (round 3) 1 del vars, 19 del conss, 28 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 37 impls, 48 clqs 0.00/0.01 c (round 4) 2 del vars, 19 del conss, 28 chg bounds, 1 chg sides, 0 chg coeffs, 56 upgd conss, 37 impls, 48 clqs 0.00/0.02 c (0.0s) probing: 101/197 (51.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings 0.00/0.02 c presolving (5 rounds): 0.00/0.02 c 2 deleted vars, 19 deleted constraints, 28 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients 0.00/0.02 c 37 implications, 48 cliques 0.00/0.02 c presolved problem has 225 variables (197 bin, 0 int, 0 impl, 28 cont) and 112 constraints 0.00/0.02 c 28 constraints of type <indicator> 0.00/0.02 c 1 constraints of type <knapsack> 0.00/0.02 c 48 constraints of type <setppc> 0.00/0.02 c 28 constraints of type <linear> 0.00/0.02 c 7 constraints of type <logicor> 0.00/0.02 c transformed objective value is always integral (scale: 1) 0.00/0.02 c Presolving Time: 0.01 0.00/0.02 c - non default parameters ---------------------------------------------------------------------- 0.00/0.02 c # SCIP version 1.2.1.2 0.00/0.02 c 0.00/0.02 c # frequency for displaying node information lines 0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100] 0.00/0.02 c display/freq = 10000 0.00/0.02 c 0.00/0.02 c # maximal time in seconds to run 0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.00/0.02 c limits/time = 1800 0.00/0.02 c 0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.00/0.02 c limits/memory = 3420 0.00/0.02 c 0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1] 0.00/0.02 c lp/solvefreq = -1 0.00/0.02 c 0.00/0.02 c # should presolving try to simplify inequalities 0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.00/0.02 c constraints/linear/simplifyinequalities = TRUE 0.00/0.02 c 0.00/0.02 c # should presolving try to simplify knapsacks 0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE 0.00/0.02 c 0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1] 0.00/0.02 c separating/rapidlearning/freq = 0 0.00/0.02 c 0.00/0.02 c ----------------------------------------------------------------------------------------------- 0.00/0.02 c start solving 0.00/0.02 c 0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 868k| 0 | - | 225 | 112 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1.29/1.32 c 1.1s| 10000 | 6884 | 0 | 0.0 |6363k| 150 | - | 225 |3702 | 0 | 0 | 0 |5098 | 0 | 0.000000e+00 | -- | Inf 3.49/3.54 c 3.0s| 20000 | 11967 | 0 | 0.0 | 11M| 150 | - | 225 |5333 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf 6.39/6.40 c 5.5s| 30000 | 16287 | 0 | 0.0 | 16M| 150 | - | 225 |9458 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf 10.19/10.28 c 9.1s| 40000 | 19090 | 0 | 0.0 | 21M| 150 | - | 225 | 13k| 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf 14.69/14.71 c 13.2s| 50000 | 22104 | 0 | 0.0 | 23M| 150 | - | 225 | 10k| 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf 18.60/18.60 c 16.7s| 60000 | 25679 | 0 | 0.0 | 27M| 150 | - | 225 |9865 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf 24.29/24.39 c 22.2s| 70000 | 26414 | 0 | 0.0 | 31M| 150 | - | 225 | 15k| 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf 31.89/31.98 c 29.4s| 80000 | 26153 | 0 | 0.0 | 34M| 150 | - | 225 | 19k| 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf 41.29/41.39 c 38.5s| 90000 | 24286 | 0 | 0.0 | 37M| 150 | - | 225 | 25k| 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf 50.09/50.12 c 46.8s|100000 | 25431 | 0 | 0.0 | 35M| 150 | - | 225 | 15k| 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf 54.09/54.15 c 50.6s|110000 | 30331 | 0 | 0.0 | 38M| 150 | - | 225 | 12k| 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf 58.79/58.82 c 54.9s|120000 | 33530 | 0 | 0.0 | 42M| 150 | - | 225 | 16k| 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf 69.89/69.97 c 65.6s|130000 | 29568 | 0 | 0.0 | 41M| 150 | - | 225 | 20k| 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf 85.09/85.15 c 80.3s|140000 | 23581 | 0 | 0.0 | 35M| 150 | - | 225 | 27k| 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf 94.09/94.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 94.09/94.13 c 88.9s|150000 | 25739 | 0 | 0.0 | 35M| 150 | - | 225 | 18k| 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf 101.70/101.79 c 96.2s|160000 | 27044 | 0 | 0.0 | 37M| 150 | - | 225 | 19k| 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf 109.69/109.77 c 104s|170000 | 28102 | 0 | 0.0 | 39M| 150 | - | 225 | 23k| 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf 119.59/119.63 c 113s|180000 | 28004 | 0 | 0.0 | 41M| 150 | - | 225 | 29k| 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf 135.19/135.26 c 129s|190000 | 25053 | 0 | 0.0 | 36M| 150 | - | 225 | 27k| 0 | 0 | 0 | 245k| 0 | 1.000000e+00 | -- | Inf 148.69/148.74 o 111 148.69/148.74 c * 142s|199301 | 23392 | 0 | 0.0 | 37M| 150 | - | 225 | 32k| 0 | 0 | 0 | 260k| 0 | 1.000000e+00 | 1.110000e+02 | Large 149.79/149.83 c 143s|200000 | 23241 | 0 | 0.0 | 37M| 150 | - | 225 | 33k| 0 | 0 | 0 | 261k| 0 | 1.000000e+00 | 1.110000e+02 | Large 162.39/162.43 o 73 162.39/162.43 c * 155s|207868 | 20128 | 0 | 0.0 | 38M| 150 | - | 225 | 38k| 0 | 0 | 0 | 274k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00% 166.90/166.95 c 159s|210000 | 19547 | 0 | 0.0 | 35M| 150 | - | 225 | 28k| 0 | 0 | 0 | 278k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00% 183.60/183.63 c 175s|220000 | 14436 | 0 | 0.0 | 31M| 150 | - | 225 | 26k| 0 | 0 | 0 | 299k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00% 195.49/195.54 c 187s|230000 | 12861 | 0 | 0.0 | 20M| 150 | - | 225 |6921 | 0 | 0 | 0 | 313k| 0 | 7.000000e+00 | 7.300000e+01 | 942.86% 197.90/197.98 c 189s|240000 | 18777 | 0 | 0.0 | 25M| 150 | - | 225 |7890 | 0 | 0 | 0 | 318k| 0 | 7.000000e+00 | 7.300000e+01 | 942.86% 200.10/200.20 c 191s|250000 | 25615 | 0 | 0.0 | 28M| 150 | - | 225 |6486 | 0 | 0 | 0 | 322k| 0 | 7.000000e+00 | 7.300000e+01 | 942.86% 202.29/202.33 c 193s|260000 | 32458 | 0 | 0.0 | 33M| 150 | - | 225 |8024 | 0 | 0 | 0 | 327k| 0 | 7.000000e+00 | 7.300000e+01 | 942.86% 205.29/205.32 c 195s|270000 | 37935 | 0 | 0.0 | 37M| 150 | - | 225 | 10k| 0 | 0 | 0 | 332k| 0 | 7.000000e+00 | 7.300000e+01 | 942.86% 209.90/209.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 209.90/209.99 c 200s|280000 | 40970 | 0 | 0.0 | 42M| 150 | - | 225 | 13k| 0 | 0 | 0 | 341k| 0 | 7.000000e+00 | 7.300000e+01 | 942.86% 216.10/216.12 c 206s|290000 | 42129 | 0 | 0.0 | 45M| 150 | - | 225 | 15k| 0 | 0 | 0 | 350k| 0 | 7.000000e+00 | 7.300000e+01 | 942.86% 220.19/220.28 c 209s|300000 | 47903 | 0 | 0.0 | 49M| 150 | - | 225 | 14k| 0 | 0 | 0 | 356k| 0 | 7.000000e+00 | 7.300000e+01 | 942.86% 224.80/224.81 c 214s|310000 | 52676 | 0 | 0.0 | 53M| 150 | - | 225 | 14k| 0 | 0 | 0 | 364k| 0 | 7.000000e+00 | 7.300000e+01 | 942.86% 230.10/230.15 c 219s|320000 | 56593 | 0 | 0.0 | 57M| 150 | - | 225 | 16k| 0 | 0 | 0 | 372k| 0 | 7.000000e+00 | 7.300000e+01 | 942.86% 236.40/236.47 c 225s|330000 | 59803 | 0 | 0.0 | 62M| 150 | - | 225 | 18k| 0 | 0 | 0 | 382k| 0 | 7.000000e+00 | 7.300000e+01 | 942.86% 243.30/243.37 c 231s|340000 | 62772 | 0 | 0.0 | 66M| 150 | - | 225 | 20k| 0 | 0 | 0 | 391k| 0 | 7.000000e+00 | 7.300000e+01 | 942.86% 251.00/251.01 c 238s|350000 | 65259 | 0 | 0.0 | 70M| 150 | - | 225 | 21k| 0 | 0 | 0 | 401k| 0 | 7.000000e+00 | 7.300000e+01 | 942.86% 259.60/259.68 c 247s|360000 | 66778 | 0 | 0.0 | 74M| 150 | - | 225 | 22k| 0 | 0 | 0 | 412k| 0 | 7.000000e+00 | 7.300000e+01 | 942.86% 270.29/270.37 c 257s|370000 | 66354 | 0 | 0.0 | 76M| 150 | - | 225 | 25k| 0 | 0 | 0 | 425k| 0 | 7.000000e+00 | 7.300000e+01 | 942.86% 282.61/282.63 c 269s|380000 | 64651 | 0 | 0.0 | 76M| 150 | - | 225 | 26k| 0 | 0 | 0 | 437k| 0 | 7.000000e+00 | 7.300000e+01 | 942.86% 292.29/292.37 c 278s|390000 | 67336 | 0 | 0.0 | 79M| 150 | - | 225 | 24k| 0 | 0 | 0 | 447k| 0 | 7.000000e+00 | 7.300000e+01 | 942.86% 303.80/303.85 c 289s|400000 | 69223 | 0 | 0.0 | 83M| 150 | - | 225 | 26k| 0 | 0 | 0 | 459k| 0 | 7.000000e+00 | 7.300000e+01 | 942.86% 316.00/316.09 o 24 316.00/316.09 c * 301s|408960 | 49735 | 0 | 0.0 | 65M| 150 | - | 225 | 29k| 0 | 0 | 0 | 471k| 0 | 7.000000e+00 | 2.400000e+01 | 242.86% 319.50/319.57 c 304s|410000 | 49049 | 0 | 0.0 | 60M| 150 | - | 225 | 10k| 0 | 0 | 0 | 474k| 0 | 7.000000e+00 | 2.400000e+01 | 242.86% 334.59/334.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 334.59/334.64 c 319s|420000 | 42818 | 0 | 0.0 | 63M| 150 | - | 225 | 19k| 0 | 0 | 0 | 503k| 0 | 7.000000e+00 | 2.400000e+01 | 242.86% 357.20/357.26 c 341s|430000 | 34174 | 0 | 0.0 | 61M| 150 | - | 225 | 26k| 0 | 0 | 0 | 535k| 0 | 7.000000e+00 | 2.400000e+01 | 242.86% 386.30/386.30 c 369s|440000 | 23532 | 0 | 0.0 | 49M| 150 | - | 225 | 25k| 0 | 0 | 0 | 568k| 0 | 7.000000e+00 | 2.400000e+01 | 242.86% 424.50/424.57 c 407s|450000 | 9613 | 0 | 0.0 | 34M| 150 | - | 225 | 40k| 0 | 0 | 0 | 604k| 0 | 7.000000e+00 | 2.400000e+01 | 242.86% 439.10/439.15 c 421s|460000 | 12301 | 0 | 0.0 | 24M| 150 | - | 225 | 20k| 0 | 0 | 0 | 614k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43% 444.20/444.25 c 426s|470000 | 18086 | 0 | 0.0 | 28M| 150 | - | 225 | 19k| 0 | 0 | 0 | 622k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43% 450.21/450.23 c 432s|480000 | 23282 | 0 | 0.0 | 33M| 150 | - | 225 | 24k| 0 | 0 | 0 | 632k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43% 460.41/460.43 c 441s|490000 | 25438 | 0 | 0.0 | 38M| 150 | - | 225 | 29k| 0 | 0 | 0 | 645k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43% 470.91/470.92 c 452s|500000 | 28278 | 0 | 0.0 | 41M| 150 | - | 225 | 28k| 0 | 0 | 0 | 658k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43% 482.21/482.23 c 463s|510000 | 31061 | 0 | 0.0 | 45M| 150 | - | 225 | 31k| 0 | 0 | 0 | 672k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43% 496.30/496.31 c 476s|520000 | 32703 | 0 | 0.0 | 50M| 150 | - | 225 | 35k| 0 | 0 | 0 | 689k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43% 514.21/514.29 c 494s|530000 | 32343 | 0 | 0.0 | 53M| 150 | - | 225 | 38k| 0 | 0 | 0 | 708k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43% 538.51/538.54 c 518s|540000 | 29082 | 0 | 0.0 | 55M| 150 | - | 225 | 45k| 0 | 0 | 0 | 730k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43% 558.71/558.77 c 537s|550000 | 28785 | 0 | 0.0 | 52M| 150 | - | 225 | 34k| 0 | 0 | 0 | 748k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43% 582.80/582.80 c 561s|560000 | 26013 | 0 | 0.0 | 54M| 150 | - | 225 | 41k| 0 | 0 | 0 | 772k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43% 614.91/614.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 614.91/614.99 c 593s|570000 | 20969 | 0 | 0.0 | 53M| 150 | - | 225 | 50k| 0 | 0 | 0 | 799k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43% 648.91/649.00 c 626s|580000 | 16724 | 0 | 0.0 | 42M| 150 | - | 225 | 34k| 0 | 0 | 0 | 822k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43% 656.11/656.16 o 18 656.11/656.16 c * 633s|586233 | 12874 | 0 | 0.0 | 32M| 150 | - | 225 | 20k| 0 | 0 | 0 | 828k| 0 | 1.400000e+01 | 1.800000e+01 | 28.57% 663.61/663.68 c 641s|590000 | 9966 | 0 | 0.0 | 30M| 150 | - | 225 | 27k| 0 | 0 | 0 | 839k| 0 | 1.400000e+01 | 1.800000e+01 | 28.57% 680.22/680.22 c 657s|600000 | 9682 | 0 | 0.0 | 23M| 150 | - | 225 | 24k| 0 | 0 | 0 | 855k| 0 | 1.400000e+01 | 1.800000e+01 | 28.57% 689.52/689.57 c 666s|610000 | 13139 | 0 | 0.0 | 25M| 150 | - | 225 | 25k| 0 | 0 | 0 | 865k| 0 | 1.500000e+01 | 1.800000e+01 | 20.00% 696.11/696.11 o 17 696.11/696.11 c * 672s|615172 | 0 | 0 | 0.0 | 17M| 150 | - | 225 | 28k| 0 | 0 | 0 | 872k| 0 | 1.700000e+01 | 1.700000e+01 | 0.00% 696.11/696.12 c 696.11/696.12 c SCIP Status : problem is solved [optimal solution found] 696.11/696.12 c Solving Time (sec) : 672.08 696.11/696.12 c Solving Nodes : 615172 696.11/696.12 c Primal Bound : +1.70000000000000e+01 (5 solutions) 696.11/696.12 c Dual Bound : +1.70000000000000e+01 696.11/696.12 c Gap : 0.00 % 696.11/696.12 s OPTIMUM FOUND 696.11/696.12 v -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 696.11/696.12 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 696.11/696.12 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 696.11/696.12 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 696.11/696.12 v -x81 x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 696.11/696.12 v -x56 x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 696.11/696.12 v -x30 -x29 -x28 x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 696.11/696.12 v -x4 -x3 -x2 -x1 696.11/696.12 c SCIP Status : problem is solved [optimal solution found] 696.11/696.12 c Solving Time : 672.08 696.11/696.12 c Original Problem : 696.11/696.12 c Problem name : HOME/instance-2694015-1277899970.wbo 696.11/696.12 c Variables : 227 (198 binary, 0 integer, 0 implicit integer, 29 continuous) 696.11/696.12 c Constraints : 131 initial, 131 maximal 696.11/696.12 c Presolved Problem : 696.11/696.12 c Problem name : t_HOME/instance-2694015-1277899970.wbo 696.11/696.12 c Variables : 225 (197 binary, 0 integer, 0 implicit integer, 28 continuous) 696.11/696.12 c Constraints : 112 initial, 56696 maximal 696.11/696.12 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 696.11/696.12 c trivial : 0.00 0 0 0 0 0 0 0 0 696.11/696.12 c dualfix : 0.00 2 0 0 0 0 0 0 0 696.11/696.12 c boundshift : 0.00 0 0 0 0 0 0 0 0 696.11/696.12 c inttobinary : 0.00 0 0 0 0 0 0 0 0 696.11/696.12 c implics : 0.00 0 0 0 0 0 0 0 0 696.11/696.12 c probing : 0.00 0 0 0 0 0 0 0 0 696.11/696.12 c indicator : 0.00 0 0 0 0 0 1 0 0 696.11/696.12 c knapsack : 0.01 0 0 0 0 0 0 0 0 696.11/696.12 c setppc : 0.00 0 0 0 0 0 0 0 0 696.11/696.12 c linear : 0.00 0 0 0 28 0 18 1 0 696.11/696.12 c logicor : 0.00 0 0 0 0 0 0 0 0 696.11/696.12 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 696.11/696.12 c root node : - 0 - - 0 - - - - 696.11/696.12 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 696.11/696.12 c integral : 0 0 0 0 0 0 0 0 0 0 696.11/696.12 c indicator : 28 0 1687039 0 335781 542 130759 0 0 0 696.11/696.12 c knapsack : 1 0 2043268 0 400474 47737 6868122 0 0 0 696.11/696.12 c setppc : 48 0 1995518 0 400470 235549 2942815 0 0 0 696.11/696.12 c linear : 28 0 1759969 0 400470 24970 1172597 0 0 0 696.11/696.12 c logicor : 7+ 0 917291 0 384894 12554 387716 0 0 0 696.11/696.12 c bounddisjunction : 0+ 0 6996 0 0 0 233 0 0 0 696.11/696.12 c countsols : 0 0 0 0 400475 0 0 0 0 0 696.11/696.12 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 696.11/696.12 c integral : 0.00 0.00 0.00 0.00 0.00 696.11/696.12 c indicator : 0.31 0.00 0.22 0.00 0.09 696.11/696.12 c knapsack : 67.36 0.00 66.52 0.00 0.84 696.11/696.12 c setppc : 15.60 0.00 13.79 0.00 1.81 696.11/696.12 c linear : 9.54 0.00 9.49 0.00 0.05 696.11/696.12 c logicor : 297.21 0.00 297.11 0.00 0.10 696.11/696.12 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00 696.11/696.12 c countsols : 0.00 0.00 0.00 0.00 0.00 696.11/696.12 c Propagators : Time Calls Cutoffs DomReds 696.11/696.12 c vbounds : 0.00 2 0 0 696.11/696.12 c rootredcost : 0.00 0 0 0 696.11/696.12 c pseudoobj : 1.19 2043737 125 98829 696.11/696.12 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 696.11/696.12 c propagation : 9.64 320935 320919 1663537 20.7 23172 14.0 - 696.11/696.12 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 696.11/696.12 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 696.11/696.12 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 696.11/696.12 c pseudo solution : 0.00 2 2 11 28.1 0 0.0 - 696.11/696.12 c applied globally : - - - 865672 16.0 - - - 696.11/696.12 c applied locally : - - - 6770 35.8 - - - 696.11/696.12 c Separators : Time Calls Cutoffs DomReds Cuts Conss 696.11/696.12 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 696.11/696.12 c redcost : 0.00 0 0 0 0 0 696.11/696.12 c impliedbounds : 0.00 0 0 0 0 0 696.11/696.12 c intobj : 0.00 0 0 0 0 0 696.11/696.12 c cgmip : 0.00 0 0 0 0 0 696.11/696.12 c gomory : 0.00 0 0 0 0 0 696.11/696.12 c strongcg : 0.00 0 0 0 0 0 696.11/696.12 c cmir : 0.00 0 0 0 0 0 696.11/696.12 c flowcover : 0.00 0 0 0 0 0 696.11/696.12 c clique : 0.00 0 0 0 0 0 696.11/696.12 c zerohalf : 0.00 0 0 0 0 0 696.11/696.12 c mcf : 0.00 0 0 0 0 0 696.11/696.12 c rapidlearning : 0.00 0 0 0 0 0 696.11/696.12 c Pricers : Time Calls Vars 696.11/696.12 c problem variables: 0.00 0 0 696.11/696.12 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 696.11/696.12 c relpscost : 0.00 0 0 0 0 0 0 696.11/696.12 c pscost : 0.00 0 0 0 0 0 0 696.11/696.12 c inference : 2.60 400470 0 0 0 0 800940 696.11/696.12 c mostinf : 0.00 0 0 0 0 0 0 696.11/696.12 c leastinf : 0.00 0 0 0 0 0 0 696.11/696.12 c fullstrong : 0.00 0 0 0 0 0 0 696.11/696.12 c allfullstrong : 0.00 0 0 0 0 0 0 696.11/696.12 c random : 0.00 0 0 0 0 0 0 696.11/696.12 c Primal Heuristics : Time Calls Found 696.11/696.12 c LP solutions : 0.00 - 0 696.11/696.12 c pseudo solutions : 0.08 - 5 696.11/696.12 c oneopt : 0.02 0 0 696.11/696.12 c trivial : 0.00 2 0 696.11/696.12 c simplerounding : 0.00 0 0 696.11/696.12 c zirounding : 0.00 0 0 696.11/696.12 c rounding : 0.00 0 0 696.11/696.12 c shifting : 0.00 0 0 696.11/696.12 c intshifting : 0.00 0 0 696.11/696.12 c twoopt : 0.00 0 0 696.11/696.12 c fixandinfer : 0.00 0 0 696.11/696.12 c feaspump : 0.00 0 0 696.11/696.12 c coefdiving : 0.00 0 0 696.11/696.12 c pscostdiving : 0.00 0 0 696.11/696.12 c fracdiving : 0.00 0 0 696.11/696.12 c veclendiving : 0.00 0 0 696.11/696.12 c intdiving : 0.00 0 0 696.11/696.12 c actconsdiving : 0.00 0 0 696.11/696.12 c objpscostdiving : 0.00 0 0 696.11/696.12 c rootsoldiving : 0.00 0 0 696.11/696.12 c linesearchdiving : 0.00 0 0 696.11/696.12 c guideddiving : 0.00 0 0 696.11/696.12 c octane : 0.00 0 0 696.11/696.12 c rens : 0.00 0 0 696.11/696.12 c rins : 0.00 0 0 696.11/696.12 c localbranching : 0.00 0 0 696.11/696.12 c mutation : 0.00 0 0 696.11/696.12 c crossover : 0.00 0 0 696.11/696.12 c dins : 0.00 0 0 696.11/696.12 c undercover : 0.00 0 0 696.11/696.12 c nlp : 0.00 0 0 696.11/696.12 c trysol : 0.00 1 0 696.11/696.12 c LP : Time Calls Iterations Iter/call Iter/sec 696.11/696.12 c primal LP : 0.00 0 0 0.00 - 696.11/696.12 c dual LP : 0.00 0 0 0.00 - 696.11/696.12 c lex dual LP : 0.00 0 0 0.00 - 696.11/696.12 c barrier LP : 0.00 0 0 0.00 - 696.11/696.12 c diving/probing LP: 0.00 0 0 0.00 - 696.11/696.12 c strong branching : 0.00 0 0 0.00 - 696.11/696.12 c (at root node) : - 0 0 0.00 - 696.11/696.12 c conflict analysis: 0.00 0 0 0.00 - 696.11/696.12 c B&B Tree : 696.11/696.12 c number of runs : 1 696.11/696.12 c nodes : 615172 696.11/696.12 c nodes (total) : 615172 696.11/696.12 c nodes left : 0 696.11/696.12 c max depth : 150 696.11/696.12 c max depth (total): 150 696.11/696.12 c backtracks : 232646 (37.8%) 696.11/696.12 c delayed cutoffs : 144714 696.11/696.12 c repropagations : 750143 (3383784 domain reductions, 106782 cutoffs) 696.11/696.12 c avg switch length: 17.71 696.11/696.12 c switching time : 202.70 696.11/696.12 c Solution : 696.11/696.12 c Solutions found : 5 (5 improvements) 696.11/696.12 c First Solution : +1.11000000000000e+02 (in run 1, after 199301 nodes, 141.59 seconds, depth 58, found by <relaxation>) 696.11/696.12 c Primal Bound : +1.70000000000000e+01 (in run 1, after 615172 nodes, 672.06 seconds, depth 68, found by <relaxation>) 696.11/696.12 c Dual Bound : +1.70000000000000e+01 696.11/696.12 c Gap : 0.00 % 696.11/696.12 c Root Dual Bound : +0.00000000000000e+00 696.11/696.12 c Root Iterations : 0 696.11/696.15 c Time complete: 696.16.
OK 17
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694015-1277899970/watcher-2694015-1277899970 -o /tmp/evaluation-result-2694015-1277899970/solver-2694015-1277899970 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694015-1277899970.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.22 2.13 2.05 3/196 11496 /proc/meminfo: memFree=31488808/32950928 swapFree=67111528/67111528 [pid=11496] ppid=11494 vsize=8148 CPUtime=0 /proc/11496/stat : 11496 (pbscip.linux.x8) R 11494 11496 10826 0 -1 4202496 1518 0 0 0 0 0 0 0 21 0 1 0 131142626 8343552 1440 4089446400 4194304 7136930 140733403379200 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/11496/statm: 2037 1440 275 719 0 1316 0 [startup+0.0340249 s] /proc/loadavg: 2.22 2.13 2.05 3/196 11496 /proc/meminfo: memFree=31488808/32950928 swapFree=67111528/67111528 [pid=11496] ppid=11494 vsize=11992 CPUtime=0.02 /proc/11496/stat : 11496 (pbscip.linux.x8) R 11494 11496 10826 0 -1 4202496 4773 0 0 0 2 0 0 0 21 0 1 0 131142626 12279808 2286 4089446400 4194304 7136930 140733403379200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/11496/statm: 2998 2286 404 719 0 2277 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11992 [startup+0.101071 s] /proc/loadavg: 2.22 2.13 2.05 3/196 11496 /proc/meminfo: memFree=31488808/32950928 swapFree=67111528/67111528 [pid=11496] ppid=11494 vsize=12520 CPUtime=0.09 /proc/11496/stat : 11496 (pbscip.linux.x8) R 11494 11496 10826 0 -1 4202496 4932 0 0 0 7 2 0 0 21 0 1 0 131142626 12820480 2445 4089446400 4194304 7136930 140733403379200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/11496/statm: 3130 2445 404 719 0 2409 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12520 [startup+0.300976 s] /proc/loadavg: 2.22 2.13 2.05 3/196 11496 /proc/meminfo: memFree=31488808/32950928 swapFree=67111528/67111528 [pid=11496] ppid=11494 vsize=14152 CPUtime=0.29 /proc/11496/stat : 11496 (pbscip.linux.x8) R 11494 11496 10826 0 -1 4202496 5339 0 0 0 23 6 0 0 21 0 1 0 131142626 14491648 2852 4089446400 4194304 7136930 140733403379200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/11496/statm: 3538 2855 404 719 0 2817 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14152 [startup+0.700899 s] /proc/loadavg: 2.22 2.13 2.05 3/196 11496 /proc/meminfo: memFree=31488808/32950928 swapFree=67111528/67111528 [pid=11496] ppid=11494 vsize=17104 CPUtime=0.69 /proc/11496/stat : 11496 (pbscip.linux.x8) R 11494 11496 10826 0 -1 4202496 6074 0 0 0 53 16 0 0 22 0 1 0 131142626 17514496 3587 4089446400 4194304 7136930 140733403379200 18446744073709551615 4854246 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/11496/statm: 4276 3587 404 719 0 3555 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17104 [startup+1.5008 s] /proc/loadavg: 2.22 2.13 2.05 3/197 11497 /proc/meminfo: memFree=31475412/32950928 swapFree=67111528/67111528 [pid=11496] ppid=11494 vsize=20636 CPUtime=1.49 /proc/11496/stat : 11496 (pbscip.linux.x8) R 11494 11496 10826 0 -1 4202496 6988 0 0 0 120 29 0 0 25 0 1 0 131142626 21131264 4501 4089446400 4194304 7136930 140733403379200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/11496/statm: 5159 4501 404 719 0 4438 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20636 [startup+3.10044 s] /proc/loadavg: 2.22 2.13 2.05 3/197 11497 /proc/meminfo: memFree=31470824/32950928 swapFree=67111528/67111528 [pid=11496] ppid=11494 vsize=25032 CPUtime=3.09 /proc/11496/stat : 11496 (pbscip.linux.x8) R 11494 11496 10826 0 -1 4202496 8070 0 0 0 257 52 0 0 25 0 1 0 131142626 25632768 5583 4089446400 4194304 7136930 140733403379200 18446744073709551615 6166167 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/11496/statm: 6258 5583 404 719 0 5537 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25032 [startup+6.30083 s] /proc/loadavg: 2.21 2.13 2.05 3/197 11497 /proc/meminfo: memFree=31463260/32950928 swapFree=67111528/67111528 [pid=11496] ppid=11494 vsize=32644 CPUtime=6.29 /proc/11496/stat : 11496 (pbscip.linux.x8) R 11494 11496 10826 0 -1 4202496 9993 0 0 0 543 86 0 0 25 0 1 0 131142626 33427456 7506 4089446400 4194304 7136930 140733403379200 18446744073709551615 4209110 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/11496/statm: 8161 7506 404 719 0 7440 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32644 [startup+12.7006 s] /proc/loadavg: 2.19 2.12 2.05 3/197 11498 /proc/meminfo: memFree=31453436/32950928 swapFree=67111528/67111528 [pid=11496] ppid=11494 vsize=41240 CPUtime=12.69 /proc/11496/stat : 11496 (pbscip.linux.x8) R 11494 11496 10826 0 -1 4202496 12127 0 0 0 1129 140 0 0 25 0 1 0 131142626 42229760 9640 4089446400 4194304 7136930 140733403379200 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/11496/statm: 10310 9640 404 719 0 9589 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 41240 [startup+25.5002 s] /proc/loadavg: 2.15 2.12 2.04 3/197 11498 /proc/meminfo: memFree=31441368/32950928 swapFree=67111528/67111528 [pid=11496] ppid=11494 vsize=53860 CPUtime=25.49 /proc/11496/stat : 11496 (pbscip.linux.x8) R 11494 11496 10826 0 -1 4202496 15246 0 0 0 2323 226 0 0 25 0 1 0 131142626 55152640 12759 4089446400 4194304 7136930 140733403379200 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/11496/statm: 13465 12759 404 719 0 12744 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 53860 [startup+51.1003 s] /proc/loadavg: 2.10 2.11 2.04 3/197 11498 /proc/meminfo: memFree=31431116/32950928 swapFree=67111528/67111528 [pid=11496] ppid=11494 vsize=64364 CPUtime=51.09 /proc/11496/stat : 11496 (pbscip.linux.x8) R 11494 11496 10826 0 -1 4202496 17733 0 0 0 4774 335 0 0 25 0 1 0 131142626 65908736 15246 4089446400 4194304 7136930 140733403379200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/11496/statm: 16091 15246 404 719 0 15370 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 64364 [startup+102.306 s] /proc/loadavg: 2.04 2.09 2.04 3/197 11500 /proc/meminfo: memFree=31425624/32950928 swapFree=67111528/67111528 [pid=11496] ppid=11494 vsize=70204 CPUtime=102.3 /proc/11496/stat : 11496 (pbscip.linux.x8) R 11494 11496 10826 0 -1 4202496 19249 0 0 0 9671 559 0 0 25 0 1 0 131142626 71888896 16762 4089446400 4194304 7136930 140733403379200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11496/statm: 17551 16762 404 719 0 16830 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 70204 [startup+162.301 s] /proc/loadavg: 2.01 2.07 2.03 3/197 11502 /proc/meminfo: memFree=31421244/32950928 swapFree=67111528/67111528 [pid=11496] ppid=11494 vsize=75436 CPUtime=162.29 /proc/11496/stat : 11496 (pbscip.linux.x8) R 11494 11496 10826 0 -1 4202496 20311 0 0 0 15478 751 0 0 25 0 1 0 131142626 77246464 17824 4089446400 4194304 7136930 140733403379200 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11496/statm: 18859 17824 406 719 0 18138 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 75436 [startup+222.3 s] /proc/loadavg: 2.00 2.05 2.02 3/197 11503 /proc/meminfo: memFree=31405572/32950928 swapFree=67111528/67111528 [pid=11496] ppid=11494 vsize=84648 CPUtime=222.29 /proc/11496/stat : 11496 (pbscip.linux.x8) R 11494 11496 10826 0 -1 4202496 22649 0 0 0 21121 1108 0 0 25 0 1 0 131142626 86679552 20162 4089446400 4194304 7136930 140733403379200 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11496/statm: 21162 20162 407 719 0 20441 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 84648 [startup+282.301 s] /proc/loadavg: 2.00 2.04 2.02 3/197 11505 /proc/meminfo: memFree=31373028/32950928 swapFree=67111528/67111528 [pid=11496] ppid=11494 vsize=115416 CPUtime=282.3 /proc/11496/stat : 11496 (pbscip.linux.x8) R 11494 11496 10826 0 -1 4202496 29787 0 0 0 26843 1387 0 0 25 0 1 0 131142626 118185984 27300 4089446400 4194304 7136930 140733403379200 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11496/statm: 28854 27300 407 719 0 28133 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 115416 [startup+342.301 s] /proc/loadavg: 2.00 2.03 2.01 3/197 11506 /proc/meminfo: memFree=31363316/32950928 swapFree=67111528/67111528 [pid=11496] ppid=11494 vsize=124964 CPUtime=342.3 /proc/11496/stat : 11496 (pbscip.linux.x8) R 11494 11496 10826 0 -1 4202496 32215 0 0 0 32640 1590 0 0 25 0 1 0 131142626 127963136 29728 4089446400 4194304 7136930 140733403379200 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11496/statm: 31241 29728 407 719 0 30520 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 124964 [startup+402.301 s] /proc/loadavg: 2.00 2.02 2.01 3/197 11508 /proc/meminfo: memFree=31349032/32950928 swapFree=67111528/67111528 [pid=11496] ppid=11494 vsize=125452 CPUtime=402.31 /proc/11496/stat : 11496 (pbscip.linux.x8) R 11494 11496 10826 0 -1 4202496 32382 0 0 0 38507 1724 0 0 25 0 1 0 131142626 128462848 29895 4089446400 4194304 7136930 140733403379200 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11496/statm: 31363 29895 407 719 0 30642 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 125452 [startup+462.301 s] /proc/loadavg: 2.00 2.02 2.00 3/197 11510 /proc/meminfo: memFree=31348632/32950928 swapFree=67111528/67111528 [pid=11496] ppid=11494 vsize=125900 CPUtime=462.3 /proc/11496/stat : 11496 (pbscip.linux.x8) R 11494 11496 10826 0 -1 4202496 32757 0 0 0 44324 1906 0 0 25 0 1 0 131142626 128921600 29884 4089446400 4194304 7136930 140733403379200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11496/statm: 31475 29884 407 719 0 30754 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 125900 [startup+522.301 s] /proc/loadavg: 2.00 2.01 2.00 3/197 11511 /proc/meminfo: memFree=31344856/32950928 swapFree=67111528/67111528 [pid=11496] ppid=11494 vsize=125900 CPUtime=522.31 /proc/11496/stat : 11496 (pbscip.linux.x8) R 11494 11496 10826 0 -1 4202496 32759 0 0 0 50164 2067 0 0 25 0 1 0 131142626 128921600 29886 4089446400 4194304 7136930 140733403379200 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11496/statm: 31475 29886 407 719 0 30754 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 125900 [startup+582.301 s] /proc/loadavg: 2.00 2.01 2.00 3/197 11513 /proc/meminfo: memFree=31309088/32950928 swapFree=67111528/67111528 [pid=11496] ppid=11494 vsize=126860 CPUtime=582.3 /proc/11496/stat : 11496 (pbscip.linux.x8) R 11494 11496 10826 0 -1 4202496 32954 0 0 0 56052 2178 0 0 25 0 1 0 131142626 129904640 30081 4089446400 4194304 7136930 140733403379200 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11496/statm: 31715 30081 407 719 0 30994 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 126860 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11514 /proc/meminfo: memFree=31303972/32950928 swapFree=67111528/67111528 [pid=11496] ppid=11494 vsize=129644 CPUtime=642.31 /proc/11496/stat : 11496 (pbscip.linux.x8) R 11494 11496 10826 0 -1 4202496 33605 0 0 0 61969 2262 0 0 25 0 1 0 131142626 132755456 30732 4089446400 4194304 7136930 140733403379200 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11496/statm: 32411 30732 407 719 0 31690 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 129644 Solver just ended. Dumping a history of the last processes samples [startup+665.507 s] /proc/loadavg: 1.94 1.98 1.99 3/179 11545 /proc/meminfo: memFree=31665260/32950928 swapFree=67111528/67111528 [pid=11496] ppid=11494 vsize=129644 CPUtime=665.52 /proc/11496/stat : 11496 (pbscip.linux.x8) R 11494 11496 10826 0 -1 4202496 33606 0 0 0 64235 2317 0 0 25 0 1 0 131142626 132755456 30733 4089446400 4194304 7136930 140733403379200 18446744073709551615 4210623 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11496/statm: 32411 30733 407 719 0 31690 0 Current children cumulated CPU time (s) 665.52 Current children cumulated vsize (KiB) 129644 [startup+678.3 s] /proc/loadavg: 1.95 1.98 1.99 3/179 11545 /proc/meminfo: memFree=31629700/32950928 swapFree=67111528/67111528 [pid=11496] ppid=11494 vsize=129644 CPUtime=678.31 /proc/11496/stat : 11496 (pbscip.linux.x8) R 11494 11496 10826 0 -1 4202496 33606 0 0 0 65488 2343 0 0 25 0 1 0 131142626 132755456 30733 4089446400 4194304 7136930 140733403379200 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11496/statm: 32411 30733 407 719 0 31690 0 Current children cumulated CPU time (s) 678.31 Current children cumulated vsize (KiB) 129644 [startup+684.701 s] /proc/loadavg: 1.95 1.98 1.99 3/179 11546 /proc/meminfo: memFree=31608368/32950928 swapFree=67111528/67111528 [pid=11496] ppid=11494 vsize=129644 CPUtime=684.71 /proc/11496/stat : 11496 (pbscip.linux.x8) R 11494 11496 10826 0 -1 4202496 33606 0 0 0 66104 2367 0 0 25 0 1 0 131142626 132755456 30733 4089446400 4194304 7136930 140733403379200 18446744073709551615 4209070 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11496/statm: 32411 30733 407 719 0 31690 0 Current children cumulated CPU time (s) 684.71 Current children cumulated vsize (KiB) 129644 [startup+691.101 s] /proc/loadavg: 1.96 1.98 1.99 3/179 11546 /proc/meminfo: memFree=31588136/32950928 swapFree=67111528/67111528 [pid=11496] ppid=11494 vsize=129644 CPUtime=691.11 /proc/11496/stat : 11496 (pbscip.linux.x8) R 11494 11496 10826 0 -1 4202496 33607 0 0 0 66721 2390 0 0 25 0 1 0 131142626 132755456 30734 4089446400 4194304 7136930 140733403379200 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11496/statm: 32411 30734 407 719 0 31690 0 Current children cumulated CPU time (s) 691.11 Current children cumulated vsize (KiB) 129644 [startup+694.301 s] /proc/loadavg: 1.96 1.98 1.99 3/179 11546 /proc/meminfo: memFree=31578464/32950928 swapFree=67111528/67111528 [pid=11496] ppid=11494 vsize=129644 CPUtime=694.32 /proc/11496/stat : 11496 (pbscip.linux.x8) R 11494 11496 10826 0 -1 4202496 33607 0 0 0 67032 2400 0 0 25 0 1 0 131142626 132755456 30734 4089446400 4194304 7136930 140733403379200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11496/statm: 32411 30734 407 719 0 31690 0 Current children cumulated CPU time (s) 694.32 Current children cumulated vsize (KiB) 129644 [startup+695.101 s] /proc/loadavg: 1.96 1.98 1.99 3/179 11546 /proc/meminfo: memFree=31574868/32950928 swapFree=67111528/67111528 [pid=11496] ppid=11494 vsize=129644 CPUtime=695.12 /proc/11496/stat : 11496 (pbscip.linux.x8) R 11494 11496 10826 0 -1 4202496 33607 0 0 0 67110 2402 0 0 25 0 1 0 131142626 132755456 30734 4089446400 4194304 7136930 140733403379200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11496/statm: 32411 30734 407 719 0 31690 0 Current children cumulated CPU time (s) 695.12 Current children cumulated vsize (KiB) 129644 [startup+695.901 s] /proc/loadavg: 1.96 1.98 1.99 3/179 11546 /proc/meminfo: memFree=31574868/32950928 swapFree=67111528/67111528 [pid=11496] ppid=11494 vsize=129644 CPUtime=695.92 /proc/11496/stat : 11496 (pbscip.linux.x8) R 11494 11496 10826 0 -1 4202496 33607 0 0 0 67187 2405 0 0 25 0 1 0 131142626 132755456 30734 4089446400 4194304 7136930 140733403379200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11496/statm: 32411 30734 407 719 0 31690 0 Current children cumulated CPU time (s) 695.92 Current children cumulated vsize (KiB) 129644 [startup+696.101 s] /proc/loadavg: 1.96 1.98 1.99 3/179 11546 /proc/meminfo: memFree=31574868/32950928 swapFree=67111528/67111528 [pid=11496] ppid=11494 vsize=129644 CPUtime=696.11 /proc/11496/stat : 11496 (pbscip.linux.x8) R 11494 11496 10826 0 -1 4202496 33607 0 0 0 67206 2405 0 0 25 0 1 0 131142626 132755456 30734 4089446400 4194304 7136930 140733403379200 18446744073709551615 6165654 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11496/statm: 32411 30734 407 719 0 31690 0 Current children cumulated CPU time (s) 696.11 Current children cumulated vsize (KiB) 129644 Child status: 0 Real time (s): 696.153 CPU time (s): 696.174 CPU user time (s): 672.115 CPU system time (s): 24.0593 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 129644 getrusage(RUSAGE_CHILDREN,...) data: user time used= 672.115 system time used= 24.0593 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33619 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= 3 involuntary context switches= 12131 runsolver used 0.92086 second user time and 2.30265 second system time The end
Begin job on node127 at 2010-06-30 14:12:50 IDJOB=2694015 IDBENCH=78871 IDSOLVER=1206 FILE ID=node127/2694015-1277899970 PBS_JOBID= 11197189 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/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110968094--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-2694015-1277899970/watcher-2694015-1277899970 -o /tmp/evaluation-result-2694015-1277899970/solver-2694015-1277899970 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694015-1277899970.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3614e30d545cc7450a6dcbc158864418 RANDOM SEED=1751007844 node127.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.828 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.65 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.828 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.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 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.72 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.828 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.74 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.828 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.75 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.828 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.82 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.828 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31489336 kB Buffers: 184772 kB Cached: 711268 kB SwapCached: 0 kB Active: 834112 kB Inactive: 485048 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31489336 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3276 kB Writeback: 0 kB AnonPages: 423060 kB Mapped: 20492 kB Slab: 77340 kB PageTables: 5256 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1651048 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= 74200 MiB End job on node127 at 2010-06-30 14:24:26