Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1800.29 | 1800.25 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978334--soft-66-100-0.wbo |
MD5SUM | 4d6b693ddbf7ce459649ee1140704478 |
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 | 63 |
Best CPU time to get the best result obtained on this benchmark | 0.175972 |
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 | 1247 |
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-2693888-1277896516.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.19/1.29 c 1.1s| 10000 | 7191 | 0 | 0.0 |6486k| 150 | - | 225 |3380 | 0 | 0 | 0 |6216 | 0 | 0.000000e+00 | -- | Inf 3.30/3.35 c 2.9s| 20000 | 12831 | 0 | 0.0 | 11M| 150 | - | 225 |4671 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf 5.89/5.99 c 5.2s| 30000 | 17804 | 0 | 0.0 | 16M| 150 | - | 225 |7467 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf 9.30/9.36 c 8.3s| 40000 | 22044 | 0 | 0.0 | 20M| 150 | - | 225 | 10k| 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf 13.29/13.37 c 12.0s| 50000 | 25639 | 0 | 0.0 | 25M| 150 | - | 225 | 13k| 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf 18.49/18.56 c 16.9s| 60000 | 27720 | 0 | 0.0 | 30M| 150 | - | 225 | 17k| 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf 22.19/22.25 c 20.2s| 70000 | 33156 | 0 | 0.0 | 30M| 150 | - | 225 |5804 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf 25.60/25.63 c 23.4s| 80000 | 36978 | 0 | 0.0 | 34M| 150 | - | 225 |8703 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf 32.19/32.21 c 29.9s| 90000 | 37086 | 0 | 0.0 | 38M| 150 | - | 225 | 13k| 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf 40.29/40.39 c 37.9s|100000 | 35990 | 0 | 0.0 | 42M| 150 | - | 225 | 16k| 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf 50.10/50.15 c 47.5s|110000 | 34082 | 0 | 0.0 | 44M| 150 | - | 225 | 20k| 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf 60.29/60.39 c 57.7s|120000 | 32523 | 0 | 0.0 | 46M| 150 | - | 225 | 23k| 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf 71.19/71.25 c 68.4s|130000 | 31536 | 0 | 0.0 | 48M| 150 | - | 225 | 28k| 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf 80.30/80.32 c 77.4s|140000 | 35070 | 0 | 0.0 | 45M| 150 | - | 225 | 11k| 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf 83.10/83.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 83.10/83.20 c 80.1s|150000 | 41590 | 0 | 0.0 | 48M| 150 | - | 225 |9246 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf 86.49/86.55 c 83.4s|160000 | 47178 | 0 | 0.0 | 52M| 150 | - | 225 | 10k| 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf 90.59/90.69 c 87.4s|170000 | 51827 | 0 | 0.0 | 56M| 150 | - | 225 | 12k| 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf 95.50/95.57 c 92.2s|180000 | 55265 | 0 | 0.0 | 59M| 150 | - | 225 | 12k| 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf 104.50/104.57 c 101s|190000 | 52864 | 0 | 0.0 | 59M| 150 | - | 225 | 15k| 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf 118.80/118.82 c 115s|200000 | 45770 | 0 | 0.0 | 53M| 150 | - | 225 | 23k| 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf 133.90/133.92 c 130s|210000 | 43123 | 0 | 0.0 | 46M| 150 | - | 225 | 19k| 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf 139.60/139.67 c 136s|220000 | 47489 | 0 | 0.0 | 47M| 150 | - | 225 | 12k| 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf 145.29/145.40 c 141s|230000 | 50867 | 0 | 0.0 | 50M| 150 | - | 225 | 12k| 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | -- | Inf 151.60/151.64 c 148s|240000 | 53771 | 0 | 0.0 | 54M| 150 | - | 225 | 14k| 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | -- | Inf 158.79/158.85 c 155s|250000 | 55911 | 0 | 0.0 | 57M| 150 | - | 225 | 16k| 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | -- | Inf 167.29/167.31 c 163s|260000 | 57211 | 0 | 0.0 | 60M| 150 | - | 225 | 19k| 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | -- | Inf 178.20/178.23 c 174s|270000 | 57590 | 0 | 0.0 | 62M| 150 | - | 225 | 22k| 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | -- | Inf 190.09/190.14 c 185s|280000 | 56928 | 0 | 0.0 | 63M| 150 | - | 225 | 24k| 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | -- | Inf 203.30/203.31 c 198s|290000 | 55862 | 0 | 0.0 | 64M| 150 | - | 225 | 27k| 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | -- | Inf 219.00/219.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 219.00/219.01 c 214s|300000 | 53348 | 0 | 0.0 | 62M| 150 | - | 225 | 29k| 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | -- | Inf 231.70/231.73 c 226s|310000 | 52356 | 0 | 0.0 | 59M| 150 | - | 225 | 16k| 0 | 0 | 0 | 432k| 0 | 1.000000e+00 | -- | Inf 242.79/242.86 c 237s|320000 | 51688 | 0 | 0.0 | 62M| 150 | - | 225 | 20k| 0 | 0 | 0 | 448k| 0 | 1.000000e+00 | -- | Inf 255.60/255.66 c 249s|330000 | 50675 | 0 | 0.0 | 64M| 150 | - | 225 | 25k| 0 | 0 | 0 | 464k| 0 | 1.000000e+00 | -- | Inf 271.19/271.22 c 265s|340000 | 48973 | 0 | 0.0 | 67M| 150 | - | 225 | 31k| 0 | 0 | 0 | 481k| 0 | 1.000000e+00 | -- | Inf 290.69/290.70 c 284s|350000 | 46450 | 0 | 0.0 | 69M| 150 | - | 225 | 37k| 0 | 0 | 0 | 499k| 0 | 1.000000e+00 | -- | Inf 313.80/313.86 c 306s|360000 | 43288 | 0 | 0.0 | 70M| 150 | - | 225 | 45k| 0 | 0 | 0 | 517k| 0 | 1.000000e+00 | -- | Inf 340.70/340.79 c 333s|370000 | 39574 | 0 | 0.0 | 70M| 150 | - | 225 | 50k| 0 | 0 | 0 | 535k| 0 | 1.000000e+00 | -- | Inf 375.99/376.08 c 368s|380000 | 34216 | 0 | 0.0 | 63M| 150 | - | 225 | 36k| 0 | 0 | 0 | 555k| 0 | 1.000000e+00 | -- | Inf 406.50/406.59 c 398s|390000 | 27470 | 0 | 0.0 | 57M| 150 | - | 225 | 41k| 0 | 0 | 0 | 578k| 0 | 1.000000e+00 | -- | Inf 441.60/441.68 c 433s|400000 | 19552 | 0 | 0.0 | 48M| 150 | - | 225 | 50k| 0 | 0 | 0 | 600k| 0 | 1.000000e+00 | -- | Inf 454.00/454.05 c 445s|410000 | 24081 | 0 | 0.0 | 36M| 150 | - | 225 | 12k| 0 | 0 | 0 | 606k| 0 | 7.000000e+00 | -- | Inf 457.10/457.17 c 448s|420000 | 29996 | 0 | 0.0 | 40M| 150 | - | 225 | 12k| 0 | 0 | 0 | 611k| 0 | 7.000000e+00 | -- | Inf 459.60/459.69 c 450s|430000 | 37240 | 0 | 0.0 | 43M| 150 | - | 225 | 10k| 0 | 0 | 0 | 615k| 0 | 7.000000e+00 | -- | Inf 462.10/462.16 c 452s|440000 | 44260 | 0 | 0.0 | 47M| 150 | - | 225 | 12k| 0 | 0 | 0 | 620k| 0 | 7.000000e+00 | -- | Inf 465.00/465.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 465.00/465.00 c 455s|450000 | 50886 | 0 | 0.0 | 52M| 150 | - | 225 | 13k| 0 | 0 | 0 | 625k| 0 | 7.000000e+00 | -- | Inf 468.51/468.54 c 458s|460000 | 56813 | 0 | 0.0 | 57M| 150 | - | 225 | 16k| 0 | 0 | 0 | 630k| 0 | 7.000000e+00 | -- | Inf 473.01/473.01 c 463s|470000 | 61828 | 0 | 0.0 | 61M| 150 | - | 225 | 18k| 0 | 0 | 0 | 637k| 0 | 7.000000e+00 | -- | Inf 478.70/478.77 c 468s|480000 | 65739 | 0 | 0.0 | 66M| 150 | - | 225 | 21k| 0 | 0 | 0 | 644k| 0 | 7.000000e+00 | -- | Inf 486.60/486.63 c 476s|490000 | 67844 | 0 | 0.0 | 69M| 150 | - | 225 | 23k| 0 | 0 | 0 | 653k| 0 | 7.000000e+00 | -- | Inf 492.30/492.38 c 481s|500000 | 73817 | 0 | 0.0 | 73M| 150 | - | 225 | 22k| 0 | 0 | 0 | 660k| 0 | 7.000000e+00 | -- | Inf 498.10/498.15 c 487s|510000 | 79447 | 0 | 0.0 | 77M| 150 | - | 225 | 22k| 0 | 0 | 0 | 667k| 0 | 7.000000e+00 | -- | Inf 502.00/502.04 o 153 502.00/502.04 c * 490s|516601 | 82728 | 0 | 0.0 | 79M| 150 | - | 225 | 21k| 0 | 0 | 0 | 671k| 0 | 7.000000e+00 | 1.530000e+02 |2085.71% 504.10/504.17 c 493s|520000 | 84399 | 0 | 0.0 | 80M| 150 | - | 225 | 21k| 0 | 0 | 0 | 674k| 0 | 7.000000e+00 | 1.530000e+02 |2085.71% 510.41/510.49 c 499s|530000 | 89184 | 0 | 0.0 | 84M| 150 | - | 225 | 22k| 0 | 0 | 0 | 682k| 0 | 7.000000e+00 | 1.530000e+02 |2085.71% 516.81/516.80 c 505s|540000 | 93993 | 0 | 0.0 | 88M| 150 | - | 225 | 23k| 0 | 0 | 0 | 689k| 0 | 7.000000e+00 | 1.530000e+02 |2085.71% 522.30/522.37 o 105 522.30/522.37 c * 510s|548253 | 95935 | 0 | 0.0 | 91M| 150 | - | 225 | 24k| 0 | 0 | 0 | 695k| 0 | 7.000000e+00 | 1.050000e+02 |1400.00% 524.10/524.11 c 512s|550000 | 96498 | 0 | 0.0 | 90M| 150 | - | 225 | 20k| 0 | 0 | 0 | 697k| 0 | 7.000000e+00 | 1.050000e+02 |1400.00% 529.30/529.30 c 517s|560000 |100271 | 0 | 0.0 | 92M| 150 | - | 225 | 12k| 0 | 0 | 0 | 706k| 0 | 7.000000e+00 | 1.050000e+02 |1400.00% 534.41/534.48 c 521s|570000 |103793 | 0 | 0.0 | 97M| 150 | - | 225 | 15k| 0 | 0 | 0 | 715k| 0 | 7.000000e+00 | 1.050000e+02 |1400.00% 540.20/540.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 540.20/540.25 c 527s|580000 |107178 | 0 | 0.0 | 101M| 150 | - | 225 | 17k| 0 | 0 | 0 | 724k| 0 | 7.000000e+00 | 1.050000e+02 |1400.00% 547.10/547.19 c 534s|590000 |109749 | 0 | 0.0 | 106M| 150 | - | 225 | 19k| 0 | 0 | 0 | 734k| 0 | 7.000000e+00 | 1.050000e+02 |1400.00% 554.40/554.46 c 541s|600000 |112320 | 0 | 0.0 | 110M| 150 | - | 225 | 21k| 0 | 0 | 0 | 743k| 0 | 7.000000e+00 | 1.050000e+02 |1400.00% 563.11/563.15 c 549s|610000 |113786 | 0 | 0.0 | 113M| 150 | - | 225 | 22k| 0 | 0 | 0 | 754k| 0 | 7.000000e+00 | 1.050000e+02 |1400.00% 573.01/573.02 c 558s|620000 |114229 | 0 | 0.0 | 117M| 150 | - | 225 | 25k| 0 | 0 | 0 | 766k| 0 | 7.000000e+00 | 1.050000e+02 |1400.00% 585.21/585.21 c 570s|630000 |113102 | 0 | 0.0 | 119M| 150 | - | 225 | 27k| 0 | 0 | 0 | 779k| 0 | 7.000000e+00 | 1.050000e+02 |1400.00% 596.50/596.52 c 581s|640000 |113692 | 0 | 0.0 | 119M| 150 | - | 225 | 21k| 0 | 0 | 0 | 791k| 0 | 7.000000e+00 | 1.050000e+02 |1400.00% 605.20/605.21 c 590s|650000 |116756 | 0 | 0.0 | 122M| 150 | - | 225 | 21k| 0 | 0 | 0 | 802k| 0 | 7.000000e+00 | 1.050000e+02 |1400.00% 607.30/607.34 o 79 607.30/607.34 c * 592s|652478 |108587 | 0 | 0.0 | 114M| 150 | - | 225 | 22k| 0 | 0 | 0 | 805k| 0 | 7.000000e+00 | 7.900000e+01 |1028.57% 616.71/616.74 c 601s|660000 |109187 | 0 | 0.0 | 117M| 150 | - | 225 | 24k| 0 | 0 | 0 | 815k| 0 | 7.000000e+00 | 7.900000e+01 |1028.57% 631.10/631.17 c 615s|670000 |109194 | 0 | 0.0 | 121M| 150 | - | 225 | 27k| 0 | 0 | 0 | 831k| 0 | 7.000000e+00 | 7.900000e+01 |1028.57% 647.91/647.92 c 631s|680000 |108493 | 0 | 0.0 | 124M| 150 | - | 225 | 30k| 0 | 0 | 0 | 846k| 0 | 7.000000e+00 | 7.900000e+01 |1028.57% 666.41/666.42 c 650s|690000 |107438 | 0 | 0.0 | 127M| 150 | - | 225 | 33k| 0 | 0 | 0 | 862k| 0 | 7.000000e+00 | 7.900000e+01 |1028.57% 686.21/686.27 c 669s|700000 |106480 | 0 | 0.0 | 130M| 150 | - | 225 | 36k| 0 | 0 | 0 | 877k| 0 | 7.000000e+00 | 7.900000e+01 |1028.57% 709.60/709.62 c 692s|710000 |104499 | 0 | 0.0 | 133M| 150 | - | 225 | 40k| 0 | 0 | 0 | 893k| 0 | 7.000000e+00 | 7.900000e+01 |1028.57% 735.30/735.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 735.30/735.38 c 718s|720000 |102124 | 0 | 0.0 | 135M| 150 | - | 225 | 42k| 0 | 0 | 0 | 909k| 0 | 7.000000e+00 | 7.900000e+01 |1028.57% 764.52/764.56 c 746s|730000 | 98707 | 0 | 0.0 | 136M| 150 | - | 225 | 46k| 0 | 0 | 0 | 925k| 0 | 7.000000e+00 | 7.900000e+01 |1028.57% 797.31/797.35 c 779s|740000 | 94486 | 0 | 0.0 | 137M| 150 | - | 225 | 51k| 0 | 0 | 0 | 942k| 0 | 7.000000e+00 | 7.900000e+01 |1028.57% 835.61/835.61 c 817s|750000 | 88495 | 0 | 0.0 | 135M| 150 | - | 225 | 56k| 0 | 0 | 0 | 960k| 0 | 7.000000e+00 | 7.900000e+01 |1028.57% 874.91/874.93 c 856s|760000 | 81036 | 0 | 0.0 | 129M| 150 | - | 225 | 61k| 0 | 0 | 0 | 979k| 0 | 7.000000e+00 | 7.900000e+01 |1028.57% 911.41/911.40 c 892s|770000 | 78812 | 0 | 0.0 | 128M| 150 | - | 225 | 54k| 0 | 0 | 0 | 997k| 0 | 7.000000e+00 | 7.900000e+01 |1028.57% 955.71/955.71 c 936s|780000 | 74779 | 0 | 0.0 | 128M| 150 | - | 225 | 58k| 0 | 0 | 0 |1016k| 0 | 7.000000e+00 | 7.900000e+01 |1028.57% 1010.51/1010.57 c 990s|790000 | 67992 | 0 | 0.0 | 124M| 150 | - | 225 | 63k| 0 | 0 | 0 |1038k| 0 | 7.000000e+00 | 7.900000e+01 |1028.57% 1070.41/1070.46 c 1050s|800000 | 59753 | 0 | 0.0 | 117M| 150 | - | 225 | 68k| 0 | 0 | 0 |1059k| 0 | 7.000000e+00 | 7.900000e+01 |1028.57% 1133.12/1133.12 c 1112s|810000 | 50246 | 0 | 0.0 | 105M| 150 | - | 225 | 71k| 0 | 0 | 0 |1082k| 0 | 7.000000e+00 | 7.900000e+01 |1028.57% 1195.91/1195.99 c 1174s|820000 | 43838 | 0 | 0.0 | 79M| 150 | - | 225 | 25k| 0 | 0 | 0 |1102k| 0 | 1.400000e+01 | 7.900000e+01 | 464.29% 1199.32/1199.34 c 1177s|830000 | 51111 | 0 | 0.0 | 81M| 150 | - | 225 | 16k| 0 | 0 | 0 |1107k| 0 | 1.400000e+01 | 7.900000e+01 | 464.29% 1203.52/1203.51 c 1181s|840000 | 57203 | 0 | 0.0 | 84M| 150 | - | 225 | 14k| 0 | 0 | 0 |1113k| 0 | 1.400000e+01 | 7.900000e+01 | 464.29% 1207.72/1207.77 c 1185s|850000 | 63070 | 0 | 0.0 | 89M| 150 | - | 225 | 17k| 0 | 0 | 0 |1120k| 0 | 1.400000e+01 | 7.900000e+01 | 464.29% 1213.62/1213.66 c 1191s|860000 | 67696 | 0 | 0.0 | 94M| 150 | - | 225 | 20k| 0 | 0 | 0 |1129k| 0 | 1.400000e+01 | 7.900000e+01 | 464.29% 1221.32/1221.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1221.32/1221.34 c 1198s|870000 | 71066 | 0 | 0.0 | 98M| 150 | - | 225 | 24k| 0 | 0 | 0 |1140k| 0 | 1.400000e+01 | 7.900000e+01 | 464.29% 1231.62/1231.63 c 1208s|880000 | 72369 | 0 | 0.0 | 102M| 150 | - | 225 | 27k| 0 | 0 | 0 |1151k| 0 | 1.400000e+01 | 7.900000e+01 | 464.29% 1239.62/1239.66 c 1216s|890000 | 77751 | 0 | 0.0 | 105M| 150 | - | 225 | 23k| 0 | 0 | 0 |1160k| 0 | 1.400000e+01 | 7.900000e+01 | 464.29% 1248.12/1248.14 c 1224s|900000 | 82057 | 0 | 0.0 | 109M| 150 | - | 225 | 24k| 0 | 0 | 0 |1170k| 0 | 1.400000e+01 | 7.900000e+01 | 464.29% 1258.12/1258.14 c 1234s|910000 | 85384 | 0 | 0.0 | 113M| 150 | - | 225 | 26k| 0 | 0 | 0 |1180k| 0 | 1.400000e+01 | 7.900000e+01 | 464.29% 1270.22/1270.22 c 1246s|920000 | 87583 | 0 | 0.0 | 117M| 150 | - | 225 | 29k| 0 | 0 | 0 |1191k| 0 | 1.400000e+01 | 7.900000e+01 | 464.29% 1285.12/1285.15 c 1261s|930000 | 88259 | 0 | 0.0 | 121M| 150 | - | 225 | 33k| 0 | 0 | 0 |1203k| 0 | 1.400000e+01 | 7.900000e+01 | 464.29% 1303.62/1303.62 c 1279s|940000 | 86938 | 0 | 0.0 | 124M| 150 | - | 225 | 37k| 0 | 0 | 0 |1218k| 0 | 1.400000e+01 | 7.900000e+01 | 464.29% 1328.02/1328.03 c 1303s|950000 | 82393 | 0 | 0.0 | 124M| 150 | - | 225 | 43k| 0 | 0 | 0 |1235k| 0 | 1.400000e+01 | 7.900000e+01 | 464.29% 1345.92/1345.96 c 1320s|960000 | 83595 | 0 | 0.0 | 123M| 150 | - | 225 | 34k| 0 | 0 | 0 |1248k| 0 | 1.400000e+01 | 7.900000e+01 | 464.29% 1365.22/1365.26 c 1339s|970000 | 83844 | 0 | 0.0 | 126M| 150 | - | 225 | 34k| 0 | 0 | 0 |1262k| 0 | 1.400000e+01 | 7.900000e+01 | 464.29% 1389.23/1389.29 c 1363s|980000 | 82411 | 0 | 0.0 | 129M| 150 | - | 225 | 39k| 0 | 0 | 0 |1278k| 0 | 1.400000e+01 | 7.900000e+01 | 464.29% 1418.52/1418.55 c 1392s|990000 | 79302 | 0 | 0.0 | 129M| 150 | - | 225 | 43k| 0 | 0 | 0 |1295k| 0 | 1.400000e+01 | 7.900000e+01 | 464.29% 1453.13/1453.17 c 1426s| 1000k| 73793 | 0 | 0.0 | 127M| 150 | - | 225 | 50k| 0 | 0 | 0 |1314k| 0 | 1.400000e+01 | 7.900000e+01 | 464.29% 1479.62/1479.61 c 1452s| 1010k| 72502 | 0 | 0.0 | 115M| 150 | - | 225 | 21k| 0 | 0 | 0 |1327k| 0 | 1.400000e+01 | 7.900000e+01 | 464.29% 1481.62/1481.63 o 63 1481.62/1481.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1481.62/1481.63 c *1454s| 1011k| 60436 | 0 | 0.0 | 99M| 150 | - | 225 | 18k| 0 | 0 | 0 |1330k| 0 | 1.400000e+01 | 6.300000e+01 | 350.00% 1498.03/1498.03 c 1470s| 1020k| 54884 | 0 | 0.0 | 97M| 150 | - | 225 | 27k| 0 | 0 | 0 |1349k| 0 | 1.400000e+01 | 6.300000e+01 | 350.00% 1521.72/1521.76 c 1494s| 1030k| 50351 | 0 | 0.0 | 86M| 150 | - | 225 | 21k| 0 | 0 | 0 |1368k| 0 | 1.400000e+01 | 6.300000e+01 | 350.00% 1530.23/1530.27 c 1502s| 1040k| 54235 | 0 | 0.0 | 88M| 150 | - | 225 | 19k| 0 | 0 | 0 |1378k| 0 | 1.400000e+01 | 6.300000e+01 | 350.00% 1540.13/1540.19 c 1512s| 1050k| 55494 | 0 | 0.0 | 87M| 150 | - | 225 | 16k| 0 | 0 | 0 |1391k| 0 | 1.700000e+01 | 6.300000e+01 | 270.59% 1550.52/1550.59 c 1522s| 1060k| 56327 | 0 | 0.0 | 91M| 150 | - | 225 | 20k| 0 | 0 | 0 |1405k| 0 | 1.700000e+01 | 6.300000e+01 | 270.59% 1564.03/1564.07 c 1535s| 1070k| 56415 | 0 | 0.0 | 94M| 150 | - | 225 | 26k| 0 | 0 | 0 |1420k| 0 | 1.700000e+01 | 6.300000e+01 | 270.59% 1580.63/1580.65 c 1551s| 1080k| 55335 | 0 | 0.0 | 95M| 150 | - | 225 | 30k| 0 | 0 | 0 |1436k| 0 | 1.700000e+01 | 6.300000e+01 | 270.59% 1585.93/1585.92 c 1556s| 1090k| 61269 | 0 | 0.0 | 93M| 150 | - | 225 |7642 | 0 | 0 | 0 |1444k| 0 | 1.700000e+01 | 6.300000e+01 | 270.59% 1592.32/1592.34 c 1562s| 1100k| 61752 | 0 | 0.0 | 95M| 150 | - | 225 | 10k| 0 | 0 | 0 |1459k| 0 | 1.700000e+01 | 6.300000e+01 | 270.59% 1602.03/1602.09 c 1572s| 1110k| 59072 | 0 | 0.0 | 94M| 150 | - | 225 | 14k| 0 | 0 | 0 |1477k| 0 | 1.700000e+01 | 6.300000e+01 | 270.59% 1616.43/1616.49 c 1586s| 1120k| 55293 | 0 | 0.0 | 93M| 150 | - | 225 | 26k| 0 | 0 | 0 |1496k| 0 | 1.700000e+01 | 6.300000e+01 | 270.59% 1621.53/1621.56 c 1591s| 1130k| 61934 | 0 | 0.0 | 92M| 150 | - | 225 |8905 | 0 | 0 | 0 |1503k| 0 | 1.700000e+01 | 6.300000e+01 | 270.59% 1625.73/1625.80 c 1595s| 1140k| 67003 | 0 | 0.0 | 97M| 150 | - | 225 | 11k| 0 | 0 | 0 |1512k| 0 | 1.700000e+01 | 6.300000e+01 | 270.59% 1632.53/1632.58 c 1601s| 1150k| 69477 | 0 | 0.0 | 101M| 150 | - | 225 | 15k| 0 | 0 | 0 |1525k| 0 | 1.700000e+01 | 6.300000e+01 | 270.59% 1638.82/1638.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1638.82/1638.86 c 1607s| 1160k| 73171 | 0 | 0.0 | 102M| 150 | - | 225 |8229 | 0 | 0 | 0 |1535k| 0 | 1.700000e+01 | 6.300000e+01 | 270.59% 1645.23/1645.25 c 1613s| 1170k| 74299 | 0 | 0.0 | 103M| 150 | - | 225 | 11k| 0 | 0 | 0 |1549k| 0 | 1.700000e+01 | 6.300000e+01 | 270.59% 1657.33/1657.34 c 1625s| 1180k| 68600 | 0 | 0.0 | 97M| 150 | - | 225 | 17k| 0 | 0 | 0 |1569k| 0 | 1.700000e+01 | 6.300000e+01 | 270.59% 1663.33/1663.30 c 1631s| 1190k| 73317 | 0 | 0.0 | 98M| 150 | - | 225 | 13k| 0 | 0 | 0 |1580k| 0 | 1.700000e+01 | 6.300000e+01 | 270.59% 1670.93/1670.96 c 1638s| 1200k| 75926 | 0 | 0.0 | 102M| 150 | - | 225 | 16k| 0 | 0 | 0 |1593k| 0 | 1.900000e+01 | 6.300000e+01 | 231.58% 1680.43/1680.49 c 1647s| 1210k| 77493 | 0 | 0.0 | 106M| 150 | - | 225 | 21k| 0 | 0 | 0 |1607k| 0 | 1.900000e+01 | 6.300000e+01 | 231.58% 1692.63/1692.60 c 1659s| 1220k| 77898 | 0 | 0.0 | 110M| 150 | - | 225 | 25k| 0 | 0 | 0 |1623k| 0 | 1.900000e+01 | 6.300000e+01 | 231.58% 1707.43/1707.42 c 1674s| 1230k| 77115 | 0 | 0.0 | 114M| 150 | - | 225 | 31k| 0 | 0 | 0 |1640k| 0 | 1.900000e+01 | 6.300000e+01 | 231.58% 1726.23/1726.25 c 1692s| 1240k| 74634 | 0 | 0.0 | 114M| 150 | - | 225 | 36k| 0 | 0 | 0 |1658k| 0 | 1.900000e+01 | 6.300000e+01 | 231.58% 1735.23/1735.29 c 1701s| 1250k| 79780 | 0 | 0.0 | 112M| 150 | - | 225 | 13k| 0 | 0 | 0 |1667k| 0 | 1.900000e+01 | 6.300000e+01 | 231.58% 1742.93/1742.91 c 1708s| 1260k| 82393 | 0 | 0.0 | 116M| 150 | - | 225 | 16k| 0 | 0 | 0 |1681k| 0 | 1.900000e+01 | 6.300000e+01 | 231.58% 1753.03/1753.02 c 1718s| 1270k| 83064 | 0 | 0.0 | 118M| 150 | - | 225 | 18k| 0 | 0 | 0 |1697k| 0 | 1.900000e+01 | 6.300000e+01 | 231.58% 1764.23/1764.27 c 1729s| 1280k| 83119 | 0 | 0.0 | 120M| 150 | - | 225 | 20k| 0 | 0 | 0 |1714k| 0 | 1.900000e+01 | 6.300000e+01 | 231.58% 1778.83/1778.85 c 1743s| 1290k| 82579 | 0 | 0.0 | 124M| 150 | - | 225 | 26k| 0 | 0 | 0 |1732k| 0 | 1.900000e+01 | 6.300000e+01 | 231.58% 1799.43/1799.44 c 1764s| 1300k| 79777 | 0 | 0.0 | 125M| 150 | - | 225 | 33k| 0 | 0 | 0 |1752k| 0 | 1.900000e+01 | 6.300000e+01 | 231.58% 1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.03/1800.00 c 1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt] 1800.03/1800.00 c Solving Time (sec) : 1764.16 1800.03/1800.00 c Solving Nodes : 1300230 1800.03/1800.00 c Primal Bound : +6.30000000000000e+01 (4 solutions) 1800.03/1800.00 c Dual Bound : +1.90000000000000e+01 1800.03/1800.00 c Gap : 231.58 % 1800.03/1800.00 s SATISFIABLE 1800.03/1800.00 v -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 1800.03/1800.00 v -x147 x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 1800.03/1800.00 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 1800.03/1800.00 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 1800.03/1800.00 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 -x56 1800.03/1800.00 v -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 1800.03/1800.00 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 1800.03/1800.00 v -x4 -x3 -x2 x1 1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt] 1800.03/1800.00 c Solving Time : 1764.16 1800.03/1800.00 c Original Problem : 1800.03/1800.00 c Problem name : HOME/instance-2693888-1277896516.wbo 1800.03/1800.00 c Variables : 227 (198 binary, 0 integer, 0 implicit integer, 29 continuous) 1800.03/1800.00 c Constraints : 131 initial, 131 maximal 1800.03/1800.00 c Presolved Problem : 1800.03/1800.00 c Problem name : t_HOME/instance-2693888-1277896516.wbo 1800.03/1800.00 c Variables : 225 (197 binary, 0 integer, 0 implicit integer, 28 continuous) 1800.03/1800.00 c Constraints : 112 initial, 76638 maximal 1800.03/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.03/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.00 c dualfix : 0.00 2 0 0 0 0 0 0 0 1800.03/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0 1800.03/1800.00 c indicator : 0.00 0 0 0 0 0 1 0 0 1800.03/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.00 c linear : 0.00 0 0 0 28 0 18 1 0 1800.03/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.00 c root node : - 0 - - 0 - - - - 1800.03/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.03/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0 1800.03/1800.00 c indicator : 28 0 3638627 0 742116 1492 349730 0 0 0 1800.03/1800.00 c knapsack : 1 0 4157658 0 840536 91645 15583445 0 0 0 1800.03/1800.00 c setppc : 48 0 4066008 0 840533 451565 5792813 0 0 0 1800.03/1800.00 c linear : 28 0 3614441 0 840532 82282 1875729 0 0 0 1800.03/1800.00 c logicor : 7+ 0 1932526 0 807418 37962 876298 0 0 0 1800.03/1800.00 c bounddisjunction : 0+ 0 18301 0 0 0 2084 0 0 0 1800.03/1800.00 c countsols : 0 0 0 0 840536 0 0 0 0 0 1800.03/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.03/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00 1800.03/1800.00 c indicator : 1.33 0.00 0.72 0.00 0.61 1800.03/1800.00 c knapsack : 145.41 0.00 143.52 0.00 1.89 1800.03/1800.00 c setppc : 31.39 0.00 27.71 0.00 3.68 1800.03/1800.00 c linear : 22.83 0.00 22.58 0.00 0.25 1800.03/1800.00 c logicor : 822.21 0.00 821.84 0.00 0.37 1800.03/1800.00 c bounddisjunction : 0.03 0.00 0.03 0.00 0.00 1800.03/1800.00 c countsols : 0.02 0.00 0.00 0.00 0.02 1800.03/1800.00 c Propagators : Time Calls Cutoffs DomReds 1800.03/1800.00 c vbounds : 0.14 2 0 0 1800.03/1800.00 c rootredcost : 0.17 0 0 0 1800.03/1800.00 c pseudoobj : 4.02 4159320 369 254587 1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.03/1800.00 c propagation : 20.14 663823 663778 3391350 20.1 172682 13.9 - 1800.03/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.03/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.03/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.03/1800.00 c pseudo solution : 0.00 10 10 35 10.9 1 3.0 - 1800.03/1800.00 c applied globally : - - - 1740431 15.6 - - - 1800.03/1800.00 c applied locally : - - - 12594 35.8 - - - 1800.03/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.03/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1800.03/1800.00 c redcost : 0.00 0 0 0 0 0 1800.03/1800.00 c impliedbounds : 0.00 0 0 0 0 0 1800.03/1800.00 c intobj : 0.00 0 0 0 0 0 1800.03/1800.00 c cgmip : 0.00 0 0 0 0 0 1800.03/1800.00 c gomory : 0.00 0 0 0 0 0 1800.03/1800.00 c strongcg : 0.00 0 0 0 0 0 1800.03/1800.00 c cmir : 0.00 0 0 0 0 0 1800.03/1800.00 c flowcover : 0.00 0 0 0 0 0 1800.03/1800.00 c clique : 0.00 0 0 0 0 0 1800.03/1800.00 c zerohalf : 0.00 0 0 0 0 0 1800.03/1800.00 c mcf : 0.00 0 0 0 0 0 1800.03/1800.00 c rapidlearning : 0.00 0 0 0 0 0 1800.03/1800.00 c Pricers : Time Calls Vars 1800.03/1800.00 c problem variables: 0.00 0 0 1800.03/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.03/1800.00 c relpscost : 0.00 0 0 0 0 0 0 1800.03/1800.00 c pscost : 0.00 0 0 0 0 0 0 1800.03/1800.00 c inference : 5.74 840532 0 0 0 0 1681064 1800.03/1800.00 c mostinf : 0.00 0 0 0 0 0 0 1800.03/1800.00 c leastinf : 0.00 0 0 0 0 0 0 1800.03/1800.00 c fullstrong : 0.00 0 0 0 0 0 0 1800.03/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0 1800.03/1800.00 c random : 0.00 0 0 0 0 0 0 1800.03/1800.00 c Primal Heuristics : Time Calls Found 1800.03/1800.00 c LP solutions : 0.00 - 0 1800.03/1800.00 c pseudo solutions : 0.05 - 4 1800.03/1800.00 c oneopt : 0.19 0 0 1800.03/1800.00 c trivial : 0.00 2 0 1800.03/1800.00 c simplerounding : 0.00 0 0 1800.03/1800.00 c zirounding : 0.00 0 0 1800.03/1800.00 c rounding : 0.00 0 0 1800.03/1800.00 c shifting : 0.00 0 0 1800.03/1800.00 c intshifting : 0.00 0 0 1800.03/1800.00 c twoopt : 0.00 0 0 1800.03/1800.00 c fixandinfer : 0.00 0 0 1800.03/1800.00 c feaspump : 0.00 0 0 1800.03/1800.00 c coefdiving : 0.00 0 0 1800.03/1800.00 c pscostdiving : 0.00 0 0 1800.03/1800.00 c fracdiving : 0.00 0 0 1800.03/1800.00 c veclendiving : 0.00 0 0 1800.03/1800.00 c intdiving : 0.00 0 0 1800.03/1800.00 c actconsdiving : 0.00 0 0 1800.03/1800.00 c objpscostdiving : 0.00 0 0 1800.03/1800.00 c rootsoldiving : 0.00 0 0 1800.03/1800.00 c linesearchdiving : 0.00 0 0 1800.03/1800.00 c guideddiving : 0.00 0 0 1800.03/1800.00 c octane : 0.00 0 0 1800.03/1800.00 c rens : 0.00 0 0 1800.03/1800.00 c rins : 0.00 0 0 1800.03/1800.00 c localbranching : 0.00 0 0 1800.03/1800.00 c mutation : 0.00 0 0 1800.03/1800.00 c crossover : 0.00 0 0 1800.03/1800.00 c dins : 0.00 0 0 1800.03/1800.00 c undercover : 0.00 0 0 1800.03/1800.00 c nlp : 0.17 0 0 1800.03/1800.00 c trysol : 0.07 1 0 1800.03/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec 1800.03/1800.00 c primal LP : 0.00 0 0 0.00 - 1800.03/1800.00 c dual LP : 0.00 0 0 0.00 - 1800.03/1800.00 c lex dual LP : 0.00 0 0 0.00 - 1800.03/1800.00 c barrier LP : 0.00 0 0 0.00 - 1800.03/1800.00 c diving/probing LP: 0.00 0 0 0.00 - 1800.03/1800.00 c strong branching : 0.00 0 0 0.00 - 1800.03/1800.00 c (at root node) : - 0 0 0.00 - 1800.03/1800.00 c conflict analysis: 0.00 0 0 0.00 - 1800.03/1800.00 c B&B Tree : 1800.03/1800.00 c number of runs : 1 1800.03/1800.00 c nodes : 1300230 1800.03/1800.00 c nodes (total) : 1300230 1800.03/1800.00 c nodes left : 79671 1800.03/1800.00 c max depth : 150 1800.03/1800.00 c max depth (total): 150 1800.03/1800.00 c backtracks : 480939 (37.0%) 1800.03/1800.00 c delayed cutoffs : 278210 1800.03/1800.00 c repropagations : 1521620 (6688831 domain reductions, 205631 cutoffs) 1800.03/1800.00 c avg switch length: 18.19 1800.03/1800.00 c switching time : 537.54 1800.03/1800.00 c Solution : 1800.03/1800.00 c Solutions found : 4 (4 improvements) 1800.03/1800.00 c First Solution : +1.53000000000000e+02 (in run 1, after 516601 nodes, 490.46 seconds, depth 39, found by <relaxation>) 1800.03/1800.00 c Primal Bound : +6.30000000000000e+01 (in run 1, after 1011674 nodes, 1454.27 seconds, depth 51, found by <relaxation>) 1800.03/1800.00 c Dual Bound : +1.90000000000000e+01 1800.03/1800.00 c Gap : 231.58 % 1800.03/1800.00 c Root Dual Bound : +0.00000000000000e+00 1800.03/1800.00 c Root Iterations : 0 1800.23/1800.25 c Time complete: 1800.28.
OK 63
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693888-1277896516/watcher-2693888-1277896516 -o /tmp/evaluation-result-2693888-1277896516/solver-2693888-1277896516 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693888-1277896516.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.98 1.97 1.99 3/196 22956 /proc/meminfo: memFree=31583084/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=8144 CPUtime=0 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 1517 0 0 0 0 0 0 0 21 0 1 0 163291073 8339456 1440 4089446400 4194304 7136930 140735027843872 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/22956/statm: 2036 1440 275 719 0 1315 0 [startup+0.042494 s] /proc/loadavg: 1.98 1.97 1.99 3/196 22956 /proc/meminfo: memFree=31583084/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=11988 CPUtime=0.03 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 4799 0 0 0 2 1 0 0 21 0 1 0 163291073 12275712 2313 4089446400 4194304 7136930 140735027843872 18446744073709551615 4854266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22956/statm: 3030 2315 404 719 0 2309 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11988 [startup+0.100448 s] /proc/loadavg: 1.98 1.97 1.99 3/196 22956 /proc/meminfo: memFree=31583084/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=12656 CPUtime=0.09 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 4942 0 0 0 7 2 0 0 21 0 1 0 163291073 12959744 2456 4089446400 4194304 7136930 140735027843872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22956/statm: 3164 2456 404 719 0 2443 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12656 [startup+0.300452 s] /proc/loadavg: 1.98 1.97 1.99 3/196 22956 /proc/meminfo: memFree=31583084/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=14360 CPUtime=0.29 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 5394 0 0 0 24 5 0 0 21 0 1 0 163291073 14704640 2908 4089446400 4194304 7136930 140735027843872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22956/statm: 3590 2908 404 719 0 2869 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14360 [startup+0.700391 s] /proc/loadavg: 1.98 1.97 1.99 3/196 22956 /proc/meminfo: memFree=31583084/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=17152 CPUtime=0.69 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 6093 0 0 0 56 13 0 0 22 0 1 0 163291073 17563648 3607 4089446400 4194304 7136930 140735027843872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22956/statm: 4288 3607 404 719 0 3567 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17152 [startup+1.50025 s] /proc/loadavg: 1.98 1.97 1.99 7/197 22957 /proc/meminfo: memFree=31568692/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=20640 CPUtime=1.49 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 6989 0 0 0 125 24 0 0 25 0 1 0 163291073 21135360 4503 4089446400 4194304 7136930 140735027843872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22956/statm: 5160 4503 404 719 0 4439 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20640 [startup+3.10097 s] /proc/loadavg: 1.98 1.97 1.99 3/197 22957 /proc/meminfo: memFree=31563732/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=25616 CPUtime=3.09 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 8249 0 0 0 263 46 0 0 25 0 1 0 163291073 26230784 5763 4089446400 4194304 7136930 140735027843872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22956/statm: 6404 5763 404 719 0 5683 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25616 [startup+6.30041 s] /proc/loadavg: 1.98 1.97 1.99 3/197 22957 /proc/meminfo: memFree=31555552/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=33380 CPUtime=6.29 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 10171 0 0 0 550 79 0 0 25 0 1 0 163291073 34181120 7685 4089446400 4194304 7136930 140735027843872 18446744073709551615 4999707 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22956/statm: 8345 7685 404 719 0 7624 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33380 [startup+12.7003 s] /proc/loadavg: 1.98 1.97 1.99 4/197 23003 /proc/meminfo: memFree=31546220/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=43360 CPUtime=12.69 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 12709 0 0 0 1141 128 0 0 25 0 1 0 163291073 44400640 10223 4089446400 4194304 7136930 140735027843872 18446744073709551615 4223875 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22956/statm: 10840 10223 404 719 0 10119 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 43360 [startup+25.501 s] /proc/loadavg: 1.98 1.97 1.99 3/179 23032 /proc/meminfo: memFree=31549736/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=57488 CPUtime=25.49 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 16234 0 0 0 2327 222 0 0 25 0 1 0 163291073 58867712 13748 4089446400 4194304 7136930 140735027843872 18446744073709551615 4409098 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22956/statm: 14372 13748 404 719 0 13651 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 57488 [startup+51.1005 s] /proc/loadavg: 1.99 1.97 1.99 3/179 23033 /proc/meminfo: memFree=31541068/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=68216 CPUtime=51.1 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 18900 0 0 0 4848 262 0 0 25 0 1 0 163291073 69853184 16414 4089446400 4194304 7136930 140735027843872 18446744073709551615 4854266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22956/statm: 17054 16414 404 719 0 16333 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 68216 [startup+102.306 s] /proc/loadavg: 1.99 1.97 1.99 3/179 23034 /proc/meminfo: memFree=31517188/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=91272 CPUtime=102.3 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 24673 0 0 0 9883 347 0 0 25 0 1 0 163291073 93462528 22187 4089446400 4194304 7136930 140735027843872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22956/statm: 22818 22187 404 719 0 22097 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 91272 [startup+162.301 s] /proc/loadavg: 1.96 1.96 1.98 4/200 23101 /proc/meminfo: memFree=31316368/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=93916 CPUtime=162.29 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 25248 0 0 0 15804 425 0 0 25 0 1 0 163291073 96169984 22762 4089446400 4194304 7136930 140735027843872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22956/statm: 23479 22762 404 719 0 22758 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 93916 [startup+222.3 s] /proc/loadavg: 2.01 1.97 1.99 3/197 23149 /proc/meminfo: memFree=31324148/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=98064 CPUtime=222.29 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 26287 0 0 0 21676 553 0 0 25 0 1 0 163291073 100417536 23801 4089446400 4194304 7136930 140735027843872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22956/statm: 24516 23801 404 719 0 23795 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 98064 [startup+282.301 s] /proc/loadavg: 2.00 1.97 1.99 3/197 23151 /proc/meminfo: memFree=31309328/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=103424 CPUtime=282.29 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 27511 0 0 0 27543 686 0 0 25 0 1 0 163291073 105906176 25025 4089446400 4194304 7136930 140735027843872 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22956/statm: 25856 25025 404 719 0 25135 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 103424 [startup+342.3 s] /proc/loadavg: 2.00 1.97 1.99 3/197 23153 /proc/meminfo: memFree=31299744/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=110324 CPUtime=342.3 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 29134 0 0 0 33455 775 0 0 25 0 1 0 163291073 112971776 26648 4089446400 4194304 7136930 140735027843872 18446744073709551615 5004416 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22956/statm: 27581 26648 404 719 0 26860 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 110324 [startup+402.301 s] /proc/loadavg: 2.04 1.99 1.99 3/197 23154 /proc/meminfo: memFree=31287912/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=112464 CPUtime=402.3 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 29504 0 0 0 39391 839 0 0 25 0 1 0 163291073 115163136 27018 4089446400 4194304 7136930 140735027843872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22956/statm: 28116 27018 404 719 0 27395 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 112464 [startup+462.3 s] /proc/loadavg: 2.01 1.99 1.99 3/197 23155 /proc/meminfo: memFree=31281304/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=113412 CPUtime=462.3 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 29688 0 0 0 45258 972 0 0 25 0 1 0 163291073 116133888 27202 4089446400 4194304 7136930 140735027843872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22956/statm: 28353 27202 404 719 0 27632 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 113412 [startup+522.301 s] /proc/loadavg: 2.00 1.99 1.99 3/197 23157 /proc/meminfo: memFree=31257644/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=137540 CPUtime=522.3 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 35391 0 0 0 50993 1237 0 0 25 0 1 0 163291073 140840960 32905 4089446400 4194304 7136930 140735027843872 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22956/statm: 34385 32905 405 719 0 33664 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 137540 [startup+582.301 s] /proc/loadavg: 2.00 1.99 1.99 3/197 23159 /proc/meminfo: memFree=31212588/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=166720 CPUtime=582.3 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 42692 0 0 0 56747 1483 0 0 25 0 1 0 163291073 170721280 40206 4089446400 4194304 7136930 140735027843872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22956/statm: 41680 40206 405 719 0 40959 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 166720 [startup+642.301 s] /proc/loadavg: 2.00 1.99 1.99 3/197 23161 /proc/meminfo: memFree=31195188/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=175256 CPUtime=642.3 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 44795 0 0 0 62594 1636 0 0 25 0 1 0 163291073 179462144 42309 4089446400 4194304 7136930 140735027843872 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22956/statm: 43814 42309 405 719 0 43093 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 175256 [startup+702.301 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.00 1.99 1.99 3/197 23167 /proc/meminfo: memFree=31132252/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=191976 CPUtime=882.31 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 48928 0 0 0 86285 1946 0 0 25 0 1 0 163291073 196583424 46442 4089446400 4194304 7136930 140735027843872 18446744073709551615 5126149 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22956/statm: 47994 46442 405 719 0 47273 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 191976 [startup+942.301 s] /proc/loadavg: 2.00 1.99 1.99 3/197 23169 /proc/meminfo: memFree=31121424/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=191976 CPUtime=942.31 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 48985 0 0 0 92234 1997 0 0 25 0 1 0 163291073 196583424 46499 4089446400 4194304 7136930 140735027843872 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22956/statm: 47994 46499 405 719 0 47273 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 191976 [startup+1002.3 s] /proc/loadavg: 2.00 1.99 1.99 3/197 23170 /proc/meminfo: memFree=31120504/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=193564 CPUtime=1002.31 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 49196 0 0 0 98195 2036 0 0 25 0 1 0 163291073 198209536 46710 4089446400 4194304 7136930 140735027843872 18446744073709551615 4223007 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22956/statm: 48391 46710 405 719 0 47670 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 193564 [startup+1062.3 s] /proc/loadavg: 2.00 1.99 1.99 3/197 23171 /proc/meminfo: memFree=31118600/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=195948 CPUtime=1062.32 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 49640 0 0 0 104150 2082 0 0 25 0 1 0 163291073 200650752 47154 4089446400 4194304 7136930 140735027843872 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22956/statm: 48987 47154 405 719 0 48266 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 195948 [startup+1122.3 s] /proc/loadavg: 2.00 1.99 1.99 3/197 23173 /proc/meminfo: memFree=31111000/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=197908 CPUtime=1122.32 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 50016 0 0 0 110107 2125 0 0 25 0 1 0 163291073 202657792 47530 4089446400 4194304 7136930 140735027843872 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22956/statm: 49477 47530 405 719 0 48756 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 197908 [startup+1182.3 s] /proc/loadavg: 2.00 1.99 1.99 3/197 23175 /proc/meminfo: memFree=31110212/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=198700 CPUtime=1182.32 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 50181 0 0 0 116068 2164 0 0 25 0 1 0 163291073 203468800 47695 4089446400 4194304 7136930 140735027843872 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22956/statm: 49675 47695 405 719 0 48954 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 198700 [startup+1242.3 s] /proc/loadavg: 2.00 1.99 1.99 3/197 23177 /proc/meminfo: memFree=31099116/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=199252 CPUtime=1242.32 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 50349 0 0 0 121878 2354 0 0 25 0 1 0 163291073 204034048 47863 4089446400 4194304 7136930 140735027843872 18446744073709551615 5950290 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22956/statm: 49813 47863 407 719 0 49092 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 199252 [startup+1302.3 s] /proc/loadavg: 2.03 2.00 2.00 3/197 23178 /proc/meminfo: memFree=31090632/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=199252 CPUtime=1302.33 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 50350 0 0 0 127741 2492 0 0 25 0 1 0 163291073 204034048 47864 4089446400 4194304 7136930 140735027843872 18446744073709551615 4219854 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22956/statm: 49813 47864 407 719 0 49092 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 199252 [startup+1362.3 s] /proc/loadavg: 2.01 2.00 2.00 3/197 23179 /proc/meminfo: memFree=31083032/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=199252 CPUtime=1362.32 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 50350 0 0 0 133648 2584 0 0 25 0 1 0 163291073 204034048 47864 4089446400 4194304 7136930 140735027843872 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22956/statm: 49813 47864 407 719 0 49092 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 199252 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23181 /proc/meminfo: memFree=31080732/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=201300 CPUtime=1422.33 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 50864 0 0 0 139568 2665 0 0 25 0 1 0 163291073 206131200 48378 4089446400 4194304 7136930 140735027843872 18446744073709551615 5004416 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22956/statm: 50325 48378 407 719 0 49604 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 201300 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23183 /proc/meminfo: memFree=31079840/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=201300 CPUtime=1482.33 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 50937 0 0 0 145495 2738 0 0 25 0 1 0 163291073 206131200 48451 4089446400 4194304 7136930 140735027843872 18446744073709551615 4212288 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22956/statm: 50325 48451 407 719 0 49604 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 201300 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23187 /proc/meminfo: memFree=31078672/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=201300 CPUtime=1542.32 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 50938 0 0 0 151367 2865 0 0 25 0 1 0 163291073 206131200 48452 4089446400 4194304 7136930 140735027843872 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22956/statm: 50325 48452 407 719 0 49604 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 201300 [startup+1602.3 s] /proc/loadavg: 2.07 2.02 2.00 3/197 23189 /proc/meminfo: memFree=31072248/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=201300 CPUtime=1602.32 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 50941 0 0 0 157195 3037 0 0 25 0 1 0 163291073 206131200 48455 4089446400 4194304 7136930 140735027843872 18446744073709551615 4208866 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22956/statm: 50325 48455 407 719 0 49604 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 201300 [startup+1662.3 s] /proc/loadavg: 2.02 2.01 2.00 3/197 23190 /proc/meminfo: memFree=31068488/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=201300 CPUtime=1662.33 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 50942 0 0 0 162976 3257 0 0 25 0 1 0 163291073 206131200 48456 4089446400 4194304 7136930 140735027843872 18446744073709551615 4677424 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22956/statm: 50325 48456 407 719 0 49604 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 201300 [startup+1722.3 s] /proc/loadavg: 2.01 2.00 2.00 3/197 23192 /proc/meminfo: memFree=31068436/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=201300 CPUtime=1722.33 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 50942 0 0 0 168827 3406 0 0 25 0 1 0 163291073 206131200 48456 4089446400 4194304 7136930 140735027843872 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22956/statm: 50325 48456 407 719 0 49604 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 201300 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23194 /proc/meminfo: memFree=31067760/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=201460 CPUtime=1782.33 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 50977 0 0 0 174672 3561 0 0 25 0 1 0 163291073 206295040 48491 4089446400 4194304 7136930 140735027843872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22956/statm: 50365 48491 407 719 0 49644 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 201460 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23194 /proc/meminfo: memFree=31067608/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=201460 CPUtime=1800.03 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 50977 0 0 0 176416 3587 0 0 25 0 1 0 163291073 206295040 48491 4089446400 4194304 7136930 140735027843872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22956/statm: 50365 48491 407 719 0 49644 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 201460 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.2 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23194 /proc/meminfo: memFree=31067608/32951124 swapFree=67111528/67111528 [pid=22956] ppid=22954 vsize=199412 CPUtime=1800.23 /proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 50982 0 0 0 176436 3587 0 0 18 0 1 0 163291073 204197888 47984 4089446400 4194304 7136930 140735027843872 18446744073709551615 6166114 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/22956/statm: 49853 47984 412 719 0 49132 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 199412 Child status: 0 Real time (s): 1800.25 CPU time (s): 1800.29 CPU user time (s): 1764.4 CPU system time (s): 35.8895 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 201460 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1764.4 system time used= 35.8895 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50989 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 2356 runsolver used 3.11053 second user time and 5.85311 second system time The end
Begin job on node119 at 2010-06-30 13:15:16 IDJOB=2693888 IDBENCH=78786 IDSOLVER=1206 FILE ID=node119/2693888-1277896516 PBS_JOBID= 11197116 Free space on /tmp= 74212 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.1110978334--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-2693888-1277896516/watcher-2693888-1277896516 -o /tmp/evaluation-result-2693888-1277896516/solver-2693888-1277896516 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693888-1277896516.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4d6b693ddbf7ce459649ee1140704478 RANDOM SEED=1048696094 node119.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.802 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.60 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.802 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.802 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.802 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.75 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.802 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.73 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.802 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.802 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.802 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31583860 kB Buffers: 180436 kB Cached: 950592 kB SwapCached: 0 kB Active: 603168 kB Inactive: 622164 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31583860 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3864 kB Writeback: 0 kB AnonPages: 94152 kB Mapped: 20260 kB Slab: 78596 kB PageTables: 4784 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1643056 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= 74208 MiB End job on node119 at 2010-06-30 13:45:18