Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1802.16 | 1802.16 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552735--soft-66-100-0.wbo |
| MD5SUM | fc51ff1d1c737b59f1aece9b373640d1 |
| 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 | 6 |
| Best CPU time to get the best result obtained on this benchmark | 586.641 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 906 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 44801 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 44800 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 739 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2694173-1277909159.wbo>
0.00/0.02 c original problem has 2043 variables (1137 bin, 0 int, 0 impl, 906 cont) and 3614 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 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.04 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1118 impls, 12 clqs
0.00/0.08 c (round 2) 0 del vars, 115 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 1118 impls, 12 clqs
0.00/0.09 c (round 3) 55 del vars, 170 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 1742 upgd conss, 1118 impls, 12 clqs
0.09/0.10 c (round 4) 110 del vars, 170 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 1742 upgd conss, 1118 impls, 12 clqs
0.09/0.14 c (0.1s) probing: 101/1082 (9.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14 c presolving (5 rounds):
0.09/0.14 c 110 deleted vars, 170 deleted constraints, 906 tightened bounds, 0 added holes, 55 changed sides, 0 changed coefficients
0.09/0.14 c 1118 implications, 12 cliques
0.09/0.14 c presolved problem has 1933 variables (1082 bin, 0 int, 0 impl, 851 cont) and 3444 constraints
0.09/0.14 c 851 constraints of type <indicator>
0.09/0.14 c 12 constraints of type <setppc>
0.09/0.14 c 851 constraints of type <linear>
0.09/0.14 c 1730 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.09
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1799.98
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 3420
0.09/0.14 c
0.09/0.14 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c lp/solvefreq = -1
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify inequalities
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/linear/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify knapsacks
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c separating/rapidlearning/freq = 0
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 c
0.09/0.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.14 c 0.1s| 1 | 2 | 0 | - |7504k| 0 | - |1933 |3444 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.88/0.97 o 525
0.88/0.97 c * 0.9s| 3592 | 3121 | 0 | 0.0 |9937k|1044 | - |1933 |3951 | 0 | 0 | 0 | 651 | 0 | 0.000000e+00 | 5.250000e+02 | Inf
0.88/0.97 o 508
0.88/0.97 c * 0.9s| 3593 | 3119 | 0 | 0.0 | 10M|1044 | - |1933 |3951 | 0 | 0 | 0 | 651 | 0 | 0.000000e+00 | 5.080000e+02 | Inf
1.08/1.11 o 319
1.08/1.11 c * 1.0s| 4085 | 3585 | 0 | 0.0 | 10M|1044 | - |1933 |3990 | 0 | 0 | 0 | 707 | 0 | 0.000000e+00 | 3.190000e+02 | Inf
1.08/1.11 o 281
1.08/1.11 c * 1.0s| 4086 | 3566 | 0 | 0.0 | 10M|1044 | - |1933 |3990 | 0 | 0 | 0 | 707 | 0 | 0.000000e+00 | 2.810000e+02 | Inf
2.48/2.53 c 2.4s| 10000 | 8576 | 0 | 0.0 | 14M|1044 | - |1933 |4474 | 0 | 0 | 0 |2557 | 0 | 0.000000e+00 | 2.810000e+02 | Inf
5.17/5.22 c 5.0s| 20000 | 16253 | 0 | 0.0 | 20M|1044 | - |1933 |5406 | 0 | 0 | 0 |7084 | 0 | 0.000000e+00 | 2.810000e+02 | Inf
6.87/6.96 o 220
6.87/6.96 c * 6.7s| 24799 | 18821 | 0 | 0.0 | 23M|1044 | - |1933 |6378 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 2.200000e+02 | Inf
6.87/6.96 o 127
6.87/6.96 c * 6.7s| 24800 | 18648 | 0 | 0.0 | 23M|1044 | - |1933 |6378 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
6.97/7.07 o 110
6.97/7.07 c * 6.8s| 25101 | 18890 | 0 | 0.0 | 24M|1044 | - |1933 |6196 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.100000e+02 | Inf
6.97/7.09 o 101
6.97/7.09 c * 6.8s| 25150 | 18899 | 0 | 0.0 | 24M|1044 | - |1933 |6182 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
7.27/7.35 o 97
7.27/7.35 c * 7.0s| 25878 | 19505 | 0 | 0.0 | 24M|1044 | - |1933 |5876 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
8.67/8.76 c 8.4s| 30000 | 23150 | 0 | 0.0 | 28M|1044 | - |1933 |5044 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
8.87/8.98 o 37
8.87/8.98 c * 8.6s| 30596 | 22582 | 0 | 0.0 | 27M|1044 | - |1933 |5245 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
8.87/8.98 o 25
8.87/8.98 c * 8.6s| 30615 | 22206 | 0 | 0.0 | 27M|1044 | - |1933 |5248 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
8.96/9.00 o 10
8.96/9.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.96/9.00 c * 8.6s| 30649 | 21785 | 0 | 0.0 | 26M|1044 | - |1933 |5264 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
8.96/9.01 o 7
8.96/9.01 c * 8.6s| 30673 | 21489 | 0 | 0.0 | 26M|1044 | - |1933 |5264 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
11.87/11.95 c 11.5s| 40000 | 28744 | 0 | 0.0 | 41M|1044 | - |1933 |5806 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
14.97/15.06 c 14.5s| 50000 | 36241 | 0 | 0.0 | 48M|1044 | - |1933 |6818 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
18.26/18.30 c 17.6s| 60000 | 43603 | 0 | 0.0 | 55M|1044 | - |1933 |6634 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
21.66/21.74 c 21.0s| 70000 | 50492 | 0 | 0.0 | 61M|1044 | - |1933 |6809 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
25.37/25.48 c 24.6s| 80000 | 57010 | 0 | 0.0 | 68M|1044 | - |1933 |7402 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
29.35/29.42 c 28.4s| 90000 | 63377 | 0 | 0.0 | 75M|1044 | - |1933 |7680 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
33.56/33.64 c 32.5s|100000 | 69383 | 0 | 0.0 | 83M|1044 | - |1933 |8475 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
38.25/38.39 c 37.2s|110000 | 75078 | 0 | 0.0 | 90M|1044 | - |1933 |8624 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
43.25/43.37 c 42.1s|120000 | 80510 | 0 | 0.0 | 98M|1044 | - |1933 |8962 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
48.85/48.92 c 47.5s|130000 | 83733 | 0 | 0.0 | 105M|1044 | - |1933 |9337 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
54.45/54.56 c 53.0s|140000 | 88026 | 0 | 0.0 | 126M|1044 | - |1933 |5504 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
59.55/59.69 c 58.0s|150000 | 93842 | 0 | 0.0 | 146M|1044 | - |1933 |7716 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
63.75/63.85 c 62.0s|160000 |101961 | 0 | 0.0 | 182M|1044 | - |1933 |6974 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
68.75/68.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
68.75/68.87 c 67.0s|170000 |108852 | 0 | 0.0 | 204M|1044 | - |1933 |9136 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
74.45/74.51 c 72.5s|180000 |114815 | 0 | 0.0 | 211M|1044 | - |1933 |8831 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
78.55/78.61 c 76.3s|190000 |122373 | 0 | 0.0 | 219M|1044 | - |1933 | 10k| 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
84.35/84.49 c 81.9s|200000 |128352 | 0 | 0.0 | 228M|1044 | - |1933 | 11k| 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
88.35/88.43 c 85.5s|210000 |135447 | 0 | 0.0 | 234M|1044 | - |1933 |8776 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
91.85/91.97 c 88.7s|220000 |142559 | 0 | 0.0 | 241M|1044 | - |1933 | 10k| 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
95.25/95.39 c 91.8s|230000 |150109 | 0 | 0.0 | 246M|1044 | - |1933 |5715 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
98.45/98.52 c 94.7s|240000 |157777 | 0 | 0.0 | 251M|1044 | - |1933 |4469 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
102.55/102.63 c 98.5s|250000 |163613 | 0 | 0.0 | 258M|1044 | - |1933 |4758 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
106.86/106.91 c 102s|260000 |169223 | 0 | 0.0 | 265M|1044 | - |1933 |5185 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
111.46/111.52 c 107s|270000 |174286 | 0 | 0.0 | 272M|1044 | - |1933 |5399 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
116.25/116.32 c 111s|280000 |179069 | 0 | 0.0 | 279M|1044 | - |1933 |5890 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
121.06/121.17 c 116s|290000 |183857 | 0 | 0.0 | 286M|1044 | - |1933 |5537 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
126.15/126.29 c 120s|300000 |188032 | 0 | 0.0 | 294M|1044 | - |1933 |6103 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
131.45/131.58 c 125s|310000 |192046 | 0 | 0.0 | 301M|1044 | - |1933 |6509 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
136.95/137.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
136.95/137.05 c 130s|320000 |195676 | 0 | 0.0 | 308M|1044 | - |1933 |6508 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
142.65/142.71 c 136s|330000 |198947 | 0 | 0.0 | 315M|1044 | - |1933 |6611 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
148.25/148.33 c 141s|340000 |202321 | 0 | 0.0 | 322M|1044 | - |1933 |6652 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
153.75/153.82 c 146s|350000 |205890 | 0 | 0.0 | 329M|1044 | - |1933 |6738 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
159.35/159.48 c 151s|360000 |209140 | 0 | 0.0 | 336M|1044 | - |1933 |6854 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
165.25/165.33 c 157s|370000 |212025 | 0 | 0.0 | 343M|1044 | - |1933 |6919 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
171.36/171.42 c 162s|380000 |214510 | 0 | 0.0 | 350M|1044 | - |1933 |7303 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
177.45/177.53 c 168s|390000 |216883 | 0 | 0.0 | 356M|1044 | - |1933 |7519 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
183.76/183.88 c 174s|400000 |218712 | 0 | 0.0 | 362M|1044 | - |1933 |7586 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
190.45/190.52 c 180s|410000 |219942 | 0 | 0.0 | 368M|1044 | - |1933 |7750 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
197.35/197.46 c 187s|420000 |220300 | 0 | 0.0 | 373M|1044 | - |1933 |7932 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
204.86/204.95 c 194s|430000 |219644 | 0 | 0.0 | 377M|1044 | - |1933 |8116 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
212.36/212.43 c 201s|440000 |219586 | 0 | 0.0 | 381M|1044 | - |1933 |8816 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
220.86/220.97 c 209s|450000 |218482 | 0 | 0.0 | 384M|1044 | - |1933 | 10k| 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
228.65/228.79 c 217s|460000 |219536 | 0 | 0.0 | 383M|1044 | - |1933 |5001 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
231.76/231.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
231.76/231.85 c 219s|470000 |227480 | 0 | 0.0 | 389M|1044 | - |1933 |4275 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
235.05/235.16 c 222s|480000 |234912 | 0 | 0.0 | 396M|1044 | - |1933 |4843 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
238.86/238.92 c 226s|490000 |241707 | 0 | 0.0 | 403M|1044 | - |1933 |5536 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
242.95/243.07 c 229s|500000 |247950 | 0 | 0.0 | 411M|1044 | - |1933 |6464 | 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
247.46/247.52 c 233s|510000 |253764 | 0 | 0.0 | 418M|1044 | - |1933 |7028 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
252.55/252.63 c 238s|520000 |258571 | 0 | 0.0 | 426M|1044 | - |1933 |7775 | 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
258.76/258.88 c 244s|530000 |261964 | 0 | 0.0 | 433M|1044 | - |1933 |9190 | 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
264.75/264.81 c 249s|540000 |266130 | 0 | 0.0 | 437M|1044 | - |1933 |6052 | 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
267.95/268.06 c 252s|550000 |273712 | 0 | 0.0 | 444M|1044 | - |1933 |5605 | 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
271.55/271.60 c 256s|560000 |280869 | 0 | 0.0 | 451M|1044 | - |1933 |5971 | 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
275.15/275.27 c 259s|570000 |287820 | 0 | 0.0 | 458M|1044 | - |1933 |6338 | 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
279.36/279.47 c 263s|580000 |294053 | 0 | 0.0 | 465M|1044 | - |1933 |6843 | 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
283.86/283.94 c 267s|590000 |299932 | 0 | 0.0 | 472M|1044 | - |1933 |7405 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
288.46/288.57 c 271s|600000 |305684 | 0 | 0.0 | 479M|1044 | - |1933 |8066 | 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
293.36/293.43 c 276s|610000 |311182 | 0 | 0.0 | 485M|1044 | - |1933 |8682 | 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
298.66/298.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
298.66/298.77 c 280s|620000 |316137 | 0 | 0.0 | 492M|1044 | - |1933 |9968 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
304.76/304.83 c 286s|630000 |320489 | 0 | 0.0 | 499M|1044 | - |1933 | 11k| 0 | 0 | 0 | 486k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
311.85/311.98 c 293s|640000 |323872 | 0 | 0.0 | 506M|1044 | - |1933 | 13k| 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
319.45/319.54 c 300s|650000 |327156 | 0 | 0.0 | 509M|1044 | - |1933 |8043 | 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
322.66/322.74 c 303s|660000 |335012 | 0 | 0.0 | 514M|1044 | - |1933 |6215 | 0 | 0 | 0 | 513k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
326.15/326.20 c 306s|670000 |342401 | 0 | 0.0 | 521M|1044 | - |1933 |6751 | 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
329.85/329.95 c 309s|680000 |349257 | 0 | 0.0 | 528M|1044 | - |1933 |7478 | 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
334.05/334.16 c 313s|690000 |355587 | 0 | 0.0 | 535M|1044 | - |1933 |8514 | 0 | 0 | 0 | 529k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
338.76/338.85 c 317s|700000 |361332 | 0 | 0.0 | 542M|1044 | - |1933 |9586 | 0 | 0 | 0 | 536k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
344.16/344.29 c 322s|710000 |366293 | 0 | 0.0 | 550M|1044 | - |1933 | 11k| 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
350.25/350.36 c 328s|720000 |370844 | 0 | 0.0 | 557M|1044 | - |1933 | 12k| 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
357.46/357.51 c 335s|730000 |374295 | 0 | 0.0 | 564M|1044 | - |1933 | 13k| 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
365.46/365.54 c 342s|740000 |377235 | 0 | 0.0 | 570M|1044 | - |1933 | 16k| 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
373.06/373.14 c 350s|750000 |381221 | 0 | 0.0 | 573M|1044 | - |1933 | 11k| 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
376.86/376.98 c 353s|760000 |388616 | 0 | 0.0 | 579M|1044 | - |1933 |9532 | 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
381.15/381.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
381.15/381.22 c 357s|770000 |395229 | 0 | 0.0 | 586M|1044 | - |1933 | 10k| 0 | 0 | 0 | 600k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
386.26/386.38 c 362s|780000 |400728 | 0 | 0.0 | 593M|1044 | - |1933 | 12k| 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
392.67/392.74 c 368s|790000 |405221 | 0 | 0.0 | 601M|1044 | - |1933 | 16k| 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
400.55/400.61 c 375s|800000 |408803 | 0 | 0.0 | 606M|1044 | - |1933 | 16k| 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
404.56/404.64 c 379s|810000 |416403 | 0 | 0.0 | 611M|1044 | - |1933 | 10k| 0 | 0 | 0 | 635k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
408.65/408.80 c 383s|820000 |423175 | 0 | 0.0 | 618M|1044 | - |1933 | 11k| 0 | 0 | 0 | 640k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
413.35/413.45 c 387s|830000 |429420 | 0 | 0.0 | 625M|1044 | - |1933 | 12k| 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
418.76/418.87 c 392s|840000 |434931 | 0 | 0.0 | 633M|1044 | - |1933 | 13k| 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
425.15/425.20 c 398s|850000 |439434 | 0 | 0.0 | 639M|1044 | - |1933 | 15k| 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
433.26/433.31 c 405s|860000 |442190 | 0 | 0.0 | 645M|1044 | - |1933 | 18k| 0 | 0 | 0 | 673k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
437.36/437.46 c 409s|870000 |449693 | 0 | 0.0 | 649M|1044 | - |1933 | 10k| 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
441.65/441.72 c 413s|880000 |456300 | 0 | 0.0 | 655M|1044 | - |1933 | 10k| 0 | 0 | 0 | 682k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
446.86/446.95 c 418s|890000 |461759 | 0 | 0.0 | 663M|1044 | - |1933 | 11k| 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
453.27/453.39 c 424s|900000 |465993 | 0 | 0.0 | 670M|1044 | - |1933 | 13k| 0 | 0 | 0 | 696k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
461.06/461.13 c 431s|910000 |469276 | 0 | 0.0 | 674M|1044 | - |1933 |8038 | 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
464.66/464.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
464.66/464.77 c 435s|920000 |476503 | 0 | 0.0 | 679M|1044 | - |1933 |4439 | 0 | 0 | 0 | 711k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
468.26/468.33 c 438s|930000 |483641 | 0 | 0.0 | 686M|1044 | - |1933 |5454 | 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
471.36/471.41 c 441s|940000 |491581 | 0 | 0.0 | 692M|1044 | - |1933 |4081 | 0 | 0 | 0 | 718k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
474.25/474.33 c 443s|950000 |499484 | 0 | 0.0 | 699M|1044 | - |1933 |5422 | 0 | 0 | 0 | 721k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
477.47/477.59 c 446s|960000 |506853 | 0 | 0.0 | 705M|1044 | - |1933 |6005 | 0 | 0 | 0 | 725k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
480.56/480.70 c 449s|970000 |514599 | 0 | 0.0 | 711M|1044 | - |1933 |4791 | 0 | 0 | 0 | 728k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
483.76/483.86 c 452s|980000 |522244 | 0 | 0.0 | 717M|1044 | - |1933 |4091 | 0 | 0 | 0 | 732k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
487.96/488.02 c 456s|990000 |527968 | 0 | 0.0 | 723M|1044 | - |1933 |5666 | 0 | 0 | 0 | 738k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
494.85/494.91 c 462s| 1000k|530086 | 0 | 0.0 | 730M|1044 | - |1933 |7236 | 0 | 0 | 0 | 748k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
502.46/502.55 c 470s| 1010k|531625 | 0 | 0.0 | 737M|1044 | - |1933 |8242 | 0 | 0 | 0 | 759k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
511.26/511.31 c 478s| 1020k|532088 | 0 | 0.0 | 743M|1044 | - |1933 |8409 | 0 | 0 | 0 | 771k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
520.26/520.31 c 486s| 1030k|531992 | 0 | 0.0 | 747M|1044 | - |1933 |9079 | 0 | 0 | 0 | 784k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
529.25/529.39 c 495s| 1040k|531984 | 0 | 0.0 | 753M|1044 | - |1933 |9512 | 0 | 0 | 0 | 798k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
538.65/538.76 c 504s| 1050k|531874 | 0 | 0.0 | 758M|1044 | - |1933 |9802 | 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
548.16/548.21 c 513s| 1060k|531819 | 0 | 0.0 | 762M|1044 | - |1933 |9735 | 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
557.96/558.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
557.96/558.01 c 522s| 1070k|531371 | 0 | 0.0 | 766M|1044 | - |1933 |9937 | 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
568.16/568.27 c 532s| 1080k|530684 | 0 | 0.0 | 769M|1044 | - |1933 |9964 | 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
578.36/578.40 c 542s| 1090k|530108 | 0 | 0.0 | 773M|1044 | - |1933 | 10k| 0 | 0 | 0 | 867k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
588.57/588.67 c 552s| 1100k|529410 | 0 | 0.0 | 776M|1044 | - |1933 | 10k| 0 | 0 | 0 | 882k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
598.86/598.98 c 562s| 1110k|528523 | 0 | 0.0 | 778M|1044 | - |1933 | 10k| 0 | 0 | 0 | 896k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
609.46/609.57 c 572s| 1120k|527453 | 0 | 0.0 | 781M|1044 | - |1933 | 10k| 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
620.26/620.37 c 582s| 1130k|526261 | 0 | 0.0 | 783M|1044 | - |1933 | 11k| 0 | 0 | 0 | 927k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
631.47/631.59 c 593s| 1140k|524510 | 0 | 0.0 | 784M|1044 | - |1933 | 11k| 0 | 0 | 0 | 943k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
642.66/642.70 c 604s| 1150k|522948 | 0 | 0.0 | 786M|1044 | - |1933 | 11k| 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
653.56/653.69 c 614s| 1160k|520994 | 0 | 0.0 | 786M|1044 | - |1933 | 11k| 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
665.46/665.56 c 626s| 1170k|518154 | 0 | 0.0 | 785M|1044 | - |1933 | 12k| 0 | 0 | 0 | 991k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
677.57/677.67 c 637s| 1180k|515507 | 0 | 0.0 | 784M|1044 | - |1933 | 12k| 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
690.46/690.52 c 650s| 1190k|511840 | 0 | 0.0 | 781M|1044 | - |1933 | 12k| 0 | 0 | 0 |1027k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
703.76/703.85 c 663s| 1200k|507668 | 0 | 0.0 | 776M|1044 | - |1933 | 13k| 0 | 0 | 0 |1046k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
718.37/718.45 c 677s| 1210k|503137 | 0 | 0.0 | 769M|1044 | - |1933 | 15k| 0 | 0 | 0 |1066k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
733.56/733.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
733.56/733.62 c 691s| 1220k|499773 | 0 | 0.0 | 759M|1044 | - |1933 | 12k| 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
738.17/738.29 c 696s| 1230k|506516 | 0 | 0.0 | 764M|1044 | - |1933 |7302 | 0 | 0 | 0 |1089k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
742.56/742.68 c 700s| 1240k|513006 | 0 | 0.0 | 771M|1044 | - |1933 |7294 | 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
747.27/747.34 c 704s| 1250k|519175 | 0 | 0.0 | 778M|1044 | - |1933 |7888 | 0 | 0 | 0 |1100k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
752.06/752.14 c 708s| 1260k|525223 | 0 | 0.0 | 785M|1044 | - |1933 |8330 | 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
757.16/757.25 c 713s| 1270k|530971 | 0 | 0.0 | 792M|1044 | - |1933 |8824 | 0 | 0 | 0 |1111k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
762.47/762.51 c 718s| 1280k|536620 | 0 | 0.0 | 799M|1044 | - |1933 |9561 | 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
767.96/768.01 c 723s| 1290k|542040 | 0 | 0.0 | 806M|1044 | - |1933 | 10k| 0 | 0 | 0 |1124k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
773.57/773.62 c 728s| 1300k|547335 | 0 | 0.0 | 813M|1044 | - |1933 | 10k| 0 | 0 | 0 |1131k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
779.26/779.38 c 734s| 1310k|552383 | 0 | 0.0 | 819M|1044 | - |1933 | 10k| 0 | 0 | 0 |1138k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
785.26/785.30 c 739s| 1320k|557324 | 0 | 0.0 | 826M|1044 | - |1933 | 10k| 0 | 0 | 0 |1145k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
791.27/791.33 c 745s| 1330k|562198 | 0 | 0.0 | 833M|1044 | - |1933 | 10k| 0 | 0 | 0 |1153k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
797.86/797.96 c 751s| 1340k|566415 | 0 | 0.0 | 839M|1044 | - |1933 | 11k| 0 | 0 | 0 |1161k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
804.96/805.03 c 758s| 1350k|570258 | 0 | 0.0 | 846M|1044 | - |1933 | 11k| 0 | 0 | 0 |1170k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
812.37/812.42 c 765s| 1360k|573676 | 0 | 0.0 | 852M|1044 | - |1933 | 11k| 0 | 0 | 0 |1180k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
820.57/820.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
820.57/820.63 c 773s| 1370k|576175 | 0 | 0.0 | 858M|1044 | - |1933 | 11k| 0 | 0 | 0 |1191k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
829.56/829.63 c 781s| 1380k|578127 | 0 | 0.0 | 863M|1044 | - |1933 | 12k| 0 | 0 | 0 |1202k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
838.66/838.74 c 790s| 1390k|580192 | 0 | 0.0 | 869M|1044 | - |1933 | 13k| 0 | 0 | 0 |1214k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
848.67/848.72 c 799s| 1400k|581349 | 0 | 0.0 | 873M|1044 | - |1933 | 13k| 0 | 0 | 0 |1226k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
858.56/858.61 c 809s| 1410k|582956 | 0 | 0.0 | 879M|1044 | - |1933 | 14k| 0 | 0 | 0 |1239k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
869.37/869.46 c 819s| 1420k|583462 | 0 | 0.0 | 883M|1044 | - |1933 | 14k| 0 | 0 | 0 |1253k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
881.37/881.46 c 831s| 1430k|583239 | 0 | 0.0 | 886M|1044 | - |1933 | 15k| 0 | 0 | 0 |1269k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
894.37/894.48 c 843s| 1440k|582449 | 0 | 0.0 | 888M|1044 | - |1933 | 17k| 0 | 0 | 0 |1287k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
903.76/903.80 c 852s| 1450k|585804 | 0 | 0.0 | 891M|1044 | - |1933 | 12k| 0 | 0 | 0 |1298k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
909.27/909.39 c 857s| 1460k|592058 | 0 | 0.0 | 897M|1044 | - |1933 | 11k| 0 | 0 | 0 |1305k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
914.87/914.99 c 862s| 1470k|597963 | 0 | 0.0 | 903M|1044 | - |1933 | 10k| 0 | 0 | 0 |1311k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
920.67/920.75 c 868s| 1480k|603595 | 0 | 0.0 | 910M|1044 | - |1933 | 11k| 0 | 0 | 0 |1318k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
926.37/926.48 c 873s| 1490k|609262 | 0 | 0.0 | 917M|1044 | - |1933 | 11k| 0 | 0 | 0 |1325k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
932.36/932.48 c 879s| 1500k|614633 | 0 | 0.0 | 923M|1044 | - |1933 | 11k| 0 | 0 | 0 |1332k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
938.67/938.75 c 884s| 1510k|619829 | 0 | 0.0 | 930M|1044 | - |1933 | 12k| 0 | 0 | 0 |1340k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
944.87/944.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
944.87/944.99 c 890s| 1520k|625046 | 0 | 0.0 | 936M|1044 | - |1933 | 12k| 0 | 0 | 0 |1348k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
951.17/951.29 c 896s| 1530k|630301 | 0 | 0.0 | 942M|1044 | - |1933 | 13k| 0 | 0 | 0 |1355k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
957.77/957.84 c 902s| 1540k|635373 | 0 | 0.0 | 948M|1044 | - |1933 | 13k| 0 | 0 | 0 |1363k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
964.07/964.19 c 908s| 1550k|640660 | 0 | 0.0 | 954M|1044 | - |1933 | 13k| 0 | 0 | 0 |1371k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
970.18/970.23 c 914s| 1560k|646294 | 0 | 0.0 | 960M|1044 | - |1933 | 13k| 0 | 0 | 0 |1379k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
976.88/976.96 c 920s| 1570k|651309 | 0 | 0.0 | 966M|1044 | - |1933 | 14k| 0 | 0 | 0 |1387k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
983.67/983.79 c 927s| 1580k|656242 | 0 | 0.0 | 972M|1044 | - |1933 | 14k| 0 | 0 | 0 |1396k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
990.77/990.82 c 933s| 1590k|661045 | 0 | 0.0 | 977M|1044 | - |1933 | 15k| 0 | 0 | 0 |1404k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
997.68/997.73 c 940s| 1600k|666041 | 0 | 0.0 | 983M|1044 | - |1933 | 15k| 0 | 0 | 0 |1413k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1004.67/1004.79 c 947s| 1610k|670903 | 0 | 0.0 | 988M|1044 | - |1933 | 15k| 0 | 0 | 0 |1422k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1012.27/1012.32 c 954s| 1620k|675431 | 0 | 0.0 | 994M|1044 | - |1933 | 16k| 0 | 0 | 0 |1432k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1019.87/1019.93 c 961s| 1630k|679992 | 0 | 0.0 | 999M|1044 | - |1933 | 16k| 0 | 0 | 0 |1441k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1027.27/1027.37 c 968s| 1640k|684959 | 0 | 0.0 |1005M|1044 | - |1933 | 17k| 0 | 0 | 0 |1450k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1035.57/1035.60 c 976s| 1650k|689252 | 0 | 0.0 |1011M|1044 | - |1933 | 17k| 0 | 0 | 0 |1460k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1044.07/1044.15 c 984s| 1660k|693366 | 0 | 0.0 |1016M|1044 | - |1933 | 18k| 0 | 0 | 0 |1471k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1052.87/1052.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1052.87/1052.91 c 992s| 1670k|697343 | 0 | 0.0 |1021M|1044 | - |1933 | 18k| 0 | 0 | 0 |1481k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1061.57/1061.68 c 1001s| 1680k|701399 | 0 | 0.0 |1026M|1044 | - |1933 | 19k| 0 | 0 | 0 |1492k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1070.98/1071.01 c 1010s| 1690k|705180 | 0 | 0.0 |1031M|1044 | - |1933 | 19k| 0 | 0 | 0 |1503k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1080.47/1080.54 c 1019s| 1700k|708968 | 0 | 0.0 |1036M|1044 | - |1933 | 20k| 0 | 0 | 0 |1514k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1090.37/1090.46 c 1028s| 1710k|712638 | 0 | 0.0 |1041M|1044 | - |1933 | 21k| 0 | 0 | 0 |1525k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1100.67/1100.77 c 1038s| 1720k|716208 | 0 | 0.0 |1046M|1044 | - |1933 | 22k| 0 | 0 | 0 |1536k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1110.98/1111.07 c 1048s| 1730k|719942 | 0 | 0.0 |1051M|1044 | - |1933 | 22k| 0 | 0 | 0 |1547k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1123.08/1123.16 c 1060s| 1740k|722449 | 0 | 0.0 |1055M|1044 | - |1933 | 24k| 0 | 0 | 0 |1560k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1134.37/1134.48 c 1071s| 1750k|725942 | 0 | 0.0 |1060M|1044 | - |1933 | 24k| 0 | 0 | 0 |1572k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1148.18/1148.26 c 1084s| 1760k|727774 | 0 | 0.0 |1063M|1044 | - |1933 | 26k| 0 | 0 | 0 |1586k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1163.68/1163.71 c 1099s| 1770k|728990 | 0 | 0.0 |1067M|1044 | - |1933 | 28k| 0 | 0 | 0 |1602k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1181.98/1182.02 c 1117s| 1780k|728956 | 0 | 0.0 |1070M|1044 | - |1933 | 31k| 0 | 0 | 0 |1620k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1196.78/1196.90 c 1131s| 1790k|731324 | 0 | 0.0 |1069M|1044 | - |1933 | 19k| 0 | 0 | 0 |1632k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1203.28/1203.34 c 1137s| 1800k|737827 | 0 | 0.0 |1073M|1044 | - |1933 | 14k| 0 | 0 | 0 |1638k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1209.27/1209.32 c 1143s| 1810k|744039 | 0 | 0.0 |1079M|1044 | - |1933 | 13k| 0 | 0 | 0 |1645k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1215.68/1215.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1215.68/1215.71 c 1149s| 1820k|749842 | 0 | 0.0 |1086M|1044 | - |1933 | 14k| 0 | 0 | 0 |1651k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1221.87/1221.99 c 1155s| 1830k|755740 | 0 | 0.0 |1092M|1044 | - |1933 | 14k| 0 | 0 | 0 |1658k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1228.37/1228.40 c 1161s| 1840k|761599 | 0 | 0.0 |1099M|1044 | - |1933 | 15k| 0 | 0 | 0 |1665k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1234.78/1234.89 c 1167s| 1850k|767382 | 0 | 0.0 |1105M|1044 | - |1933 | 15k| 0 | 0 | 0 |1672k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1241.47/1241.51 c 1173s| 1860k|773031 | 0 | 0.0 |1111M|1044 | - |1933 | 15k| 0 | 0 | 0 |1680k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1247.98/1248.07 c 1179s| 1870k|778836 | 0 | 0.0 |1118M|1044 | - |1933 | 16k| 0 | 0 | 0 |1687k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1254.78/1254.83 c 1186s| 1880k|784479 | 0 | 0.0 |1124M|1044 | - |1933 | 16k| 0 | 0 | 0 |1695k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1262.38/1262.43 c 1193s| 1890k|789486 | 0 | 0.0 |1129M|1044 | - |1933 | 16k| 0 | 0 | 0 |1703k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1268.98/1269.01 c 1199s| 1900k|795259 | 0 | 0.0 |1135M|1044 | - |1933 | 17k| 0 | 0 | 0 |1710k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1276.58/1276.61 c 1206s| 1910k|800279 | 0 | 0.0 |1141M|1044 | - |1933 | 18k| 0 | 0 | 0 |1719k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1284.48/1284.52 c 1214s| 1920k|804986 | 0 | 0.0 |1147M|1044 | - |1933 | 18k| 0 | 0 | 0 |1728k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1292.18/1292.22 c 1221s| 1930k|809994 | 0 | 0.0 |1152M|1044 | - |1933 | 18k| 0 | 0 | 0 |1736k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1299.78/1299.81 c 1228s| 1940k|815061 | 0 | 0.0 |1158M|1044 | - |1933 | 19k| 0 | 0 | 0 |1745k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1308.28/1308.35 c 1236s| 1950k|819453 | 0 | 0.0 |1163M|1044 | - |1933 | 19k| 0 | 0 | 0 |1754k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1316.97/1317.02 c 1245s| 1960k|823870 | 0 | 0.0 |1168M|1044 | - |1933 | 20k| 0 | 0 | 0 |1764k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1325.18/1325.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1325.18/1325.21 c 1252s| 1970k|828651 | 0 | 0.0 |1174M|1044 | - |1933 | 21k| 0 | 0 | 0 |1773k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1333.98/1334.03 c 1261s| 1980k|833012 | 0 | 0.0 |1179M|1044 | - |1933 | 21k| 0 | 0 | 0 |1783k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1344.18/1344.23 c 1271s| 1990k|836414 | 0 | 0.0 |1184M|1044 | - |1933 | 23k| 0 | 0 | 0 |1794k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1354.98/1355.08 c 1281s| 2000k|839697 | 0 | 0.0 |1189M|1044 | - |1933 | 23k| 0 | 0 | 0 |1806k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1366.78/1366.84 c 1292s| 2010k|842470 | 0 | 0.0 |1194M|1044 | - |1933 | 24k| 0 | 0 | 0 |1818k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1378.78/1378.82 c 1304s| 2020k|845322 | 0 | 0.0 |1199M|1044 | - |1933 | 25k| 0 | 0 | 0 |1830k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1392.78/1392.85 c 1317s| 2030k|846923 | 0 | 0.0 |1202M|1044 | - |1933 | 26k| 0 | 0 | 0 |1845k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1406.18/1406.28 c 1330s| 2040k|849251 | 0 | 0.0 |1207M|1044 | - |1933 | 27k| 0 | 0 | 0 |1858k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1421.39/1421.41 c 1345s| 2050k|850714 | 0 | 0.0 |1211M|1044 | - |1933 | 29k| 0 | 0 | 0 |1874k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1438.18/1438.23 c 1361s| 2060k|851443 | 0 | 0.0 |1214M|1044 | - |1933 | 30k| 0 | 0 | 0 |1890k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1456.09/1456.14 c 1379s| 2070k|851586 | 0 | 0.0 |1216M|1044 | - |1933 | 31k| 0 | 0 | 0 |1908k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1476.59/1476.61 c 1399s| 2080k|850287 | 0 | 0.0 |1215M|1044 | - |1933 | 30k| 0 | 0 | 0 |1928k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1484.59/1484.65 c 1406s| 2090k|856947 | 0 | 0.0 |1218M|1044 | - |1933 | 21k| 0 | 0 | 0 |1934k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1490.99/1491.06 c 1412s| 2100k|863688 | 0 | 0.0 |1223M|1044 | - |1933 | 18k| 0 | 0 | 0 |1940k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1497.09/1497.16 c 1418s| 2110k|870258 | 0 | 0.0 |1229M|1044 | - |1933 | 17k| 0 | 0 | 0 |1946k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1503.28/1503.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1503.28/1503.39 c 1424s| 2120k|876552 | 0 | 0.0 |1235M|1044 | - |1933 | 17k| 0 | 0 | 0 |1953k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1510.09/1510.10 c 1430s| 2130k|882491 | 0 | 0.0 |1241M|1044 | - |1933 | 18k| 0 | 0 | 0 |1960k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1517.38/1517.42 c 1437s| 2140k|887999 | 0 | 0.0 |1247M|1044 | - |1933 | 19k| 0 | 0 | 0 |1968k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1524.89/1524.95 c 1444s| 2150k|893422 | 0 | 0.0 |1253M|1044 | - |1933 | 19k| 0 | 0 | 0 |1977k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1532.58/1532.64 c 1452s| 2160k|898748 | 0 | 0.0 |1259M|1044 | - |1933 | 20k| 0 | 0 | 0 |1985k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1540.69/1540.78 c 1460s| 2170k|903804 | 0 | 0.0 |1265M|1044 | - |1933 | 21k| 0 | 0 | 0 |1994k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1549.68/1549.70 c 1468s| 2180k|908456 | 0 | 0.0 |1270M|1044 | - |1933 | 23k| 0 | 0 | 0 |2004k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1559.69/1559.80 c 1478s| 2190k|912531 | 0 | 0.0 |1276M|1044 | - |1933 | 24k| 0 | 0 | 0 |2014k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1569.09/1569.14 c 1487s| 2200k|916989 | 0 | 0.0 |1281M|1044 | - |1933 | 25k| 0 | 0 | 0 |2024k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1579.49/1579.56 c 1497s| 2210k|920813 | 0 | 0.0 |1286M|1044 | - |1933 | 26k| 0 | 0 | 0 |2035k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1589.78/1589.82 c 1507s| 2220k|924958 | 0 | 0.0 |1291M|1044 | - |1933 | 28k| 0 | 0 | 0 |2046k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1601.29/1601.33 c 1518s| 2230k|928500 | 0 | 0.0 |1296M|1044 | - |1933 | 30k| 0 | 0 | 0 |2058k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1615.09/1615.15 c 1531s| 2240k|931068 | 0 | 0.0 |1300M|1044 | - |1933 | 32k| 0 | 0 | 0 |2072k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1629.99/1630.01 c 1545s| 2250k|933153 | 0 | 0.0 |1304M|1044 | - |1933 | 34k| 0 | 0 | 0 |2087k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1647.79/1647.82 c 1563s| 2260k|933574 | 0 | 0.0 |1305M|1044 | - |1933 | 34k| 0 | 0 | 0 |2104k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1655.60/1655.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1655.60/1655.63 c 1570s| 2270k|940508 | 0 | 0.0 |1308M|1044 | - |1933 | 22k| 0 | 0 | 0 |2110k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1661.89/1661.90 c 1576s| 2280k|947244 | 0 | 0.0 |1313M|1044 | - |1933 | 20k| 0 | 0 | 0 |2115k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1668.09/1668.10 c 1582s| 2290k|953752 | 0 | 0.0 |1319M|1044 | - |1933 | 18k| 0 | 0 | 0 |2121k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1674.08/1674.12 c 1588s| 2300k|960236 | 0 | 0.0 |1325M|1044 | - |1933 | 18k| 0 | 0 | 0 |2127k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1680.29/1680.34 c 1594s| 2310k|966417 | 0 | 0.0 |1331M|1044 | - |1933 | 18k| 0 | 0 | 0 |2133k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1686.69/1686.78 c 1600s| 2320k|972376 | 0 | 0.0 |1337M|1044 | - |1933 | 18k| 0 | 0 | 0 |2140k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1693.29/1693.37 c 1606s| 2330k|978055 | 0 | 0.0 |1343M|1044 | - |1933 | 18k| 0 | 0 | 0 |2147k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1700.29/1700.33 c 1613s| 2340k|983544 | 0 | 0.0 |1349M|1044 | - |1933 | 19k| 0 | 0 | 0 |2154k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1707.30/1707.35 c 1619s| 2350k|988989 | 0 | 0.0 |1355M|1044 | - |1933 | 19k| 0 | 0 | 0 |2161k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1714.79/1714.84 c 1626s| 2360k|994142 | 0 | 0.0 |1361M|1044 | - |1933 | 20k| 0 | 0 | 0 |2169k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1722.49/1722.57 c 1634s| 2370k|999118 | 0 | 0.0 |1366M|1044 | - |1933 | 20k| 0 | 0 | 0 |2177k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1730.69/1730.70 c 1641s| 2380k| 1003k| 0 | 0.0 |1372M|1044 | - |1933 | 21k| 0 | 0 | 0 |2185k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1740.99/1741.05 c 1651s| 2390k| 1006k| 0 | 0.0 |1377M|1044 | - |1933 | 21k| 0 | 0 | 0 |2195k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1752.59/1752.64 c 1662s| 2400k| 1009k| 0 | 0.0 |1382M|1044 | - |1933 | 22k| 0 | 0 | 0 |2206k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1765.39/1765.45 c 1675s| 2410k| 1010k| 0 | 0.0 |1387M|1044 | - |1933 | 24k| 0 | 0 | 0 |2219k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1779.29/1779.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1779.29/1779.30 c 1688s| 2420k| 1011k| 0 | 0.0 |1391M|1044 | - |1933 | 25k| 0 | 0 | 0 |2232k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1794.30/1794.39 c 1703s| 2430k| 1012k| 0 | 0.0 |1395M|1044 | - |1933 | 26k| 0 | 0 | 0 |2246k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1800.09/1800.10 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.10 c
1800.09/1800.10 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.10 c Solving Time (sec) : 1708.39
1800.09/1800.10 c Solving Nodes : 2433614
1800.09/1800.10 c Primal Bound : +7.00000000000000e+00 (13 solutions)
1800.09/1800.10 c Dual Bound : +0.00000000000000e+00
1800.09/1800.10 c Gap : infinite
1800.09/1800.12 s SATISFIABLE
1800.09/1800.12 v -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210
1800.09/1800.12 v -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.09/1800.12 v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168
1800.09/1800.12 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.09/1800.12 v -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 x131 -x130 -x129 -x128 -x127 -x126 -x125
1800.09/1800.12 v -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.09/1800.12 v x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.09/1800.12 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54
1800.09/1800.12 v -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 x32 -x31 -x30 -x29
1800.09/1800.12 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 -x3 -x2
1800.09/1800.12 v x1
1800.09/1800.12 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.12 c Solving Time : 1708.39
1800.09/1800.12 c Original Problem :
1800.09/1800.12 c Problem name : HOME/instance-2694173-1277909159.wbo
1800.09/1800.12 c Variables : 2043 (1137 binary, 0 integer, 0 implicit integer, 906 continuous)
1800.09/1800.12 c Constraints : 3614 initial, 3614 maximal
1800.09/1800.12 c Presolved Problem :
1800.09/1800.12 c Problem name : t_HOME/instance-2694173-1277909159.wbo
1800.09/1800.12 c Variables : 1933 (1082 binary, 0 integer, 0 implicit integer, 851 continuous)
1800.09/1800.12 c Constraints : 3444 initial, 37792 maximal
1800.09/1800.12 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.12 c trivial : 0.00 55 0 0 0 0 0 0 0
1800.09/1800.12 c dualfix : 0.01 55 0 0 0 0 0 0 0
1800.09/1800.12 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.12 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.12 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.12 c probing : 0.03 0 0 0 0 0 0 0 0
1800.09/1800.12 c indicator : 0.00 0 0 0 0 0 55 0 0
1800.09/1800.12 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.12 c linear : 0.05 0 0 0 906 0 115 55 0
1800.09/1800.12 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.12 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.12 c root node : - 790 - - 1580 - - - -
1800.09/1800.12 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.12 c integral : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.12 c indicator : 851 0 5480608 0 1486581 48 1429329 0 0 0
1800.09/1800.12 c setppc : 12 0 7778808 0 1917478 177862 4608958 0 0 0
1800.09/1800.12 c linear : 851 0 7602002 0 1917583 285219 37881187 0 0 0
1800.09/1800.12 c logicor : 1730+ 0 5525445 0 1917584 328923 15044143 0 0 0
1800.09/1800.12 c bounddisjunction : 0+ 0 30202 0 0 0 12 0 0 0
1800.09/1800.12 c countsols : 0 0 0 0 1917573 0 0 0 0 0
1800.09/1800.12 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.12 c integral : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.12 c indicator : 5.06 0.00 2.06 0.00 3.00
1800.09/1800.12 c setppc : 29.53 0.00 27.33 0.00 2.20
1800.09/1800.12 c linear : 187.81 0.00 186.44 0.00 1.37
1800.09/1800.12 c logicor : 623.44 0.00 529.34 0.00 94.10
1800.09/1800.12 c bounddisjunction : 0.02 0.00 0.02 0.00 0.00
1800.09/1800.12 c countsols : 0.04 0.00 0.00 0.00 0.04
1800.09/1800.12 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.12 c vbounds : 0.08 2 0 0
1800.09/1800.12 c rootredcost : 0.08 0 0 0
1800.09/1800.12 c pseudoobj : 126.70 7780252 539 1402716
1800.09/1800.12 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.12 c propagation : 40.23 792543 791169 4003921 21.2 48038 11.9 -
1800.09/1800.12 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.12 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.12 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.12 c pseudo solution : 0.00 11 11 43 21.4 11 6.7 -
1800.09/1800.12 c applied globally : - - - 2251630 18.5 - - -
1800.09/1800.12 c applied locally : - - - 13 127.2 - - -
1800.09/1800.12 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.12 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.09/1800.12 c redcost : 0.00 0 0 0 0 0
1800.09/1800.12 c impliedbounds : 0.00 0 0 0 0 0
1800.09/1800.12 c intobj : 0.00 0 0 0 0 0
1800.09/1800.12 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.12 c gomory : 0.00 0 0 0 0 0
1800.09/1800.12 c strongcg : 0.00 0 0 0 0 0
1800.09/1800.12 c cmir : 0.00 0 0 0 0 0
1800.09/1800.12 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.12 c clique : 0.00 0 0 0 0 0
1800.09/1800.12 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.12 c mcf : 0.00 0 0 0 0 0
1800.09/1800.12 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.12 c Pricers : Time Calls Vars
1800.09/1800.12 c problem variables: 0.00 0 0
1800.09/1800.12 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.12 c relpscost : 0.00 0 0 0 0 0 0
1800.09/1800.12 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.12 c inference : 27.23 1917560 0 0 0 0 3835120
1800.09/1800.12 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.12 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.12 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.12 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.12 c random : 0.00 0 0 0 0 0 0
1800.09/1800.12 c Primal Heuristics : Time Calls Found
1800.09/1800.12 c LP solutions : 0.00 - 0
1800.09/1800.12 c pseudo solutions : 0.00 - 13
1800.09/1800.12 c oneopt : 0.10 0 0
1800.09/1800.12 c trivial : 0.00 2 0
1800.09/1800.12 c simplerounding : 0.00 0 0
1800.09/1800.12 c zirounding : 0.00 0 0
1800.09/1800.12 c rounding : 0.00 0 0
1800.09/1800.12 c shifting : 0.00 0 0
1800.09/1800.12 c intshifting : 0.00 0 0
1800.09/1800.12 c twoopt : 0.00 0 0
1800.09/1800.12 c fixandinfer : 0.00 0 0
1800.09/1800.12 c feaspump : 0.00 0 0
1800.09/1800.12 c coefdiving : 0.00 0 0
1800.09/1800.12 c pscostdiving : 0.00 0 0
1800.09/1800.12 c fracdiving : 0.00 0 0
1800.09/1800.12 c veclendiving : 0.00 0 0
1800.09/1800.12 c intdiving : 0.00 0 0
1800.09/1800.12 c actconsdiving : 0.00 0 0
1800.09/1800.12 c objpscostdiving : 0.00 0 0
1800.09/1800.12 c rootsoldiving : 0.00 0 0
1800.09/1800.12 c linesearchdiving : 0.00 0 0
1800.09/1800.12 c guideddiving : 0.00 0 0
1800.09/1800.12 c octane : 0.00 0 0
1800.09/1800.12 c rens : 0.00 0 0
1800.09/1800.12 c rins : 0.00 0 0
1800.09/1800.12 c localbranching : 0.00 0 0
1800.09/1800.12 c mutation : 0.00 0 0
1800.09/1800.12 c crossover : 0.00 0 0
1800.09/1800.12 c dins : 0.00 0 0
1800.09/1800.12 c undercover : 0.00 0 0
1800.09/1800.12 c nlp : 0.07 0 0
1800.09/1800.12 c trysol : 0.03 1 0
1800.09/1800.12 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.12 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.12 c dual LP : 0.00 0 0 0.00 -
1800.09/1800.12 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.12 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.12 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.12 c strong branching : 0.00 0 0 0.00 -
1800.09/1800.12 c (at root node) : - 0 0 0.00 -
1800.09/1800.12 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.12 c B&B Tree :
1800.09/1800.12 c number of runs : 1
1800.09/1800.12 c nodes : 2433614
1800.09/1800.12 c nodes (total) : 2433614
1800.09/1800.12 c nodes left : 1012049
1800.09/1800.12 c max depth : 1044
1800.09/1800.12 c max depth (total): 1044
1800.09/1800.12 c backtracks : 519908 (21.4%)
1800.09/1800.12 c delayed cutoffs : 386897
1800.09/1800.12 c repropagations : 1773096 (16806014 domain reductions, 276561 cutoffs)
1800.09/1800.12 c avg switch length: 27.70
1800.09/1800.12 c switching time : 550.13
1800.09/1800.12 c Solution :
1800.09/1800.12 c Solutions found : 13 (13 improvements)
1800.09/1800.12 c First Solution : +5.25000000000000e+02 (in run 1, after 3592 nodes, 0.90 seconds, depth 181, found by <relaxation>)
1800.09/1800.12 c Primal Bound : +7.00000000000000e+00 (in run 1, after 30673 nodes, 8.64 seconds, depth 242, found by <relaxation>)
1800.09/1800.12 c Dual Bound : +0.00000000000000e+00
1800.09/1800.12 c Gap : infinite
1800.09/1800.12 c Root Dual Bound : +0.00000000000000e+00
1800.09/1800.12 c Root Iterations : 0
OK 6
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694173-1277909159/watcher-2694173-1277909159 -o /tmp/evaluation-result-2694173-1277909159/solver-2694173-1277909159 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694173-1277909159.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.16 2.16 2.10 3/196 10295 /proc/meminfo: memFree=30976148/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=8156 CPUtime=0 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 1531 0 0 0 0 0 0 0 21 0 1 0 132213254 8351744 1453 4089446400 4194304 7136930 140733574701744 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/10295/statm: 2039 1465 275 719 0 1318 0 [startup+0.100998 s] /proc/loadavg: 2.16 2.16 2.10 3/196 10295 /proc/meminfo: memFree=30976148/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=23108 CPUtime=0.09 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 7236 0 0 0 8 1 0 0 21 0 1 0 132213254 23662592 5006 4089446400 4194304 7136930 140733574701744 18446744073709551615 6346856 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10295/statm: 5777 5010 360 719 0 5056 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23108 [startup+0.20098 s] /proc/loadavg: 2.16 2.16 2.10 3/196 10295 /proc/meminfo: memFree=30976148/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=23528 CPUtime=0.19 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 8417 0 0 0 18 1 0 0 21 0 1 0 132213254 24092672 5158 4089446400 4194304 7136930 140733574701744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10295/statm: 5882 5158 391 719 0 5161 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 23528 [startup+0.300961 s] /proc/loadavg: 2.16 2.16 2.10 3/196 10295 /proc/meminfo: memFree=30976148/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=24196 CPUtime=0.29 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 8570 0 0 0 27 2 0 0 21 0 1 0 132213254 24776704 5311 4089446400 4194304 7136930 140733574701744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10295/statm: 6049 5311 391 719 0 5328 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24196 [startup+0.700921 s] /proc/loadavg: 2.16 2.16 2.10 3/196 10295 /proc/meminfo: memFree=30976148/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=26092 CPUtime=0.68 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 9069 0 0 0 65 3 0 0 22 0 1 0 132213254 26718208 5810 4089446400 4194304 7136930 140733574701744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10295/statm: 6523 5810 395 719 0 5802 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 26092 [startup+1.50078 s] /proc/loadavg: 2.16 2.16 2.10 3/197 10296 /proc/meminfo: memFree=30952084/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=29016 CPUtime=1.48 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 9771 0 0 0 141 7 0 0 25 0 1 0 132213254 29712384 6512 4089446400 4194304 7136930 140733574701744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10295/statm: 7254 6512 395 719 0 6533 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 29016 [startup+3.10051 s] /proc/loadavg: 2.16 2.16 2.10 3/197 10296 /proc/meminfo: memFree=30948240/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=34192 CPUtime=3.07 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 11078 0 0 0 294 13 0 0 25 0 1 0 132213254 35012608 7819 4089446400 4194304 7136930 140733574701744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10295/statm: 8548 7819 395 719 0 7827 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 34192 [startup+6.3009 s] /proc/loadavg: 2.15 2.15 2.09 3/197 10297 /proc/meminfo: memFree=30937840/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=44152 CPUtime=6.27 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 13619 0 0 0 603 24 0 0 25 0 1 0 132213254 45211648 10360 4089446400 4194304 7136930 140733574701744 18446744073709551615 5005190 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10295/statm: 11038 10360 395 719 0 10317 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 44152 [startup+12.7007 s] /proc/loadavg: 2.14 2.15 2.09 3/197 10297 /proc/meminfo: memFree=30908828/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=72508 CPUtime=12.66 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 20370 0 0 0 1220 46 0 0 25 0 1 0 132213254 74248192 17111 4089446400 4194304 7136930 140733574701744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10295/statm: 18127 17111 398 719 0 17406 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 72508 [startup+25.5004 s] /proc/loadavg: 2.11 2.14 2.09 3/197 10297 /proc/meminfo: memFree=30876172/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=102264 CPUtime=25.46 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 27870 0 0 0 2460 86 0 0 25 0 1 0 132213254 104718336 24611 4089446400 4194304 7136930 140733574701744 18446744073709551615 4209090 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10295/statm: 25566 24611 398 719 0 24845 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 102264 [startup+51.1007 s] /proc/loadavg: 2.07 2.13 2.09 3/197 10297 /proc/meminfo: memFree=30829688/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=152772 CPUtime=51.05 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 39971 0 0 0 4964 141 0 0 25 0 1 0 132213254 156438528 36712 4089446400 4194304 7136930 140733574701744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10295/statm: 38193 36712 398 719 0 37472 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 152772 [startup+102.3 s] /proc/loadavg: 1.98 2.09 2.08 3/197 10347 /proc/meminfo: memFree=31139936/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=345924 CPUtime=102.25 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 82815 0 0 0 9817 408 0 0 25 0 1 0 132213254 354226176 79556 4089446400 4194304 7136930 140733574701744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10295/statm: 86481 79556 398 719 0 85760 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 345924 [startup+162.3 s] /proc/loadavg: 1.99 2.07 2.07 3/179 10377 /proc/meminfo: memFree=31047968/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=444388 CPUtime=162.26 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 106460 0 0 0 15396 830 0 0 25 0 1 0 132213254 455053312 103201 4089446400 4194304 7136930 140733574701744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10295/statm: 111097 103201 398 719 0 110376 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 444388 [startup+222.306 s] /proc/loadavg: 1.99 2.06 2.07 3/179 10378 /proc/meminfo: memFree=30983304/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=495044 CPUtime=222.26 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 118866 0 0 0 21047 1179 0 0 25 0 1 0 132213254 506925056 115607 4089446400 4194304 7136930 140733574701744 18446744073709551615 4660974 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10295/statm: 123761 115607 398 719 0 123040 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 495044 [startup+282.3 s] /proc/loadavg: 1.99 2.04 2.06 3/179 10380 /proc/meminfo: memFree=30876244/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=601452 CPUtime=282.25 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 144478 0 0 0 26529 1696 0 0 25 0 1 0 132213254 615886848 141219 4089446400 4194304 7136930 140733574701744 18446744073709551615 4221906 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10295/statm: 150363 141219 398 719 0 149642 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 601452 [startup+342.3 s] /proc/loadavg: 1.99 2.03 2.05 3/179 10381 /proc/meminfo: memFree=30782824/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=687836 CPUtime=342.25 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 165817 0 0 0 32063 2162 0 0 25 0 1 0 132213254 704344064 162558 4089446400 4194304 7136930 140733574701744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10295/statm: 171959 162558 398 719 0 171238 0 Current children cumulated CPU time (s) 342.25 Current children cumulated vsize (KiB) 687836 [startup+402.3 s] /proc/loadavg: 1.99 2.02 2.05 3/179 10383 /proc/meminfo: memFree=30703528/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=759076 CPUtime=402.25 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 183733 0 0 0 37669 2556 0 0 25 0 1 0 132213254 777293824 180474 4089446400 4194304 7136930 140733574701744 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10295/statm: 189769 180474 398 719 0 189048 0 Current children cumulated CPU time (s) 402.25 Current children cumulated vsize (KiB) 759076 [startup+462.3 s] /proc/loadavg: 1.99 2.02 2.04 3/179 10385 /proc/meminfo: memFree=30627344/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=835432 CPUtime=462.26 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 200929 0 0 0 43251 2975 0 0 25 0 1 0 132213254 855482368 197670 4089446400 4194304 7136930 140733574701744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10295/statm: 208858 197670 398 719 0 208137 0 Current children cumulated CPU time (s) 462.26 Current children cumulated vsize (KiB) 835432 [startup+522.3 s] /proc/loadavg: 2.07 2.03 2.04 4/179 10386 /proc/meminfo: memFree=30554764/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=907216 CPUtime=522.26 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 218781 0 0 0 48833 3393 0 0 25 0 1 0 132213254 928989184 215522 4089446400 4194304 7136930 140733574701744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10295/statm: 226804 215522 398 719 0 226083 0 Current children cumulated CPU time (s) 522.26 Current children cumulated vsize (KiB) 907216 [startup+582.3 s] /proc/loadavg: 2.03 2.02 2.04 3/179 10388 /proc/meminfo: memFree=30520748/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=938096 CPUtime=582.26 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 226394 0 0 0 54572 3654 0 0 25 0 1 0 132213254 960610304 223135 4089446400 4194304 7136930 140733574701744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10295/statm: 234524 223135 398 719 0 233803 0 Current children cumulated CPU time (s) 582.26 Current children cumulated vsize (KiB) 938096 [startup+642.3 s] /proc/loadavg: 2.01 2.02 2.03 3/179 10389 /proc/meminfo: memFree=30509292/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=948612 CPUtime=642.26 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 229071 0 0 0 60345 3881 0 0 25 0 1 0 132213254 971378688 225812 4089446400 4194304 7136930 140733574701744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10295/statm: 237153 225812 398 719 0 236432 0 Current children cumulated CPU time (s) 642.26 Current children cumulated vsize (KiB) 948612 [startup+702.3 s] ################ # More data... # ################ /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 279083 0 0 0 94435 5792 0 0 25 0 1 0 132213254 1174757376 275824 4089446400 4194304 7136930 140733574701744 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10295/statm: 286806 275824 398 719 0 286085 0 Current children cumulated CPU time (s) 1002.27 Current children cumulated vsize (KiB) 1147224 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10410 /proc/meminfo: memFree=30244068/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=1184924 CPUtime=1062.27 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 288718 0 0 0 100137 6090 0 0 25 0 1 0 132213254 1213362176 285459 4089446400 4194304 7136930 140733574701744 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10295/statm: 296231 285459 398 719 0 295510 0 Current children cumulated CPU time (s) 1062.27 Current children cumulated vsize (KiB) 1184924 [startup+1122.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 10411 /proc/meminfo: memFree=30210060/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=1214132 CPUtime=1122.28 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 296037 0 0 0 105887 6341 0 0 25 0 1 0 132213254 1243271168 292778 4089446400 4194304 7136930 140733574701744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10295/statm: 303533 292778 398 719 0 302812 0 Current children cumulated CPU time (s) 1122.28 Current children cumulated vsize (KiB) 1214132 [startup+1182.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 10413 /proc/meminfo: memFree=30189072/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=1229376 CPUtime=1182.28 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 299894 0 0 0 111695 6533 0 0 25 0 1 0 132213254 1258881024 296635 4089446400 4194304 7136930 140733574701744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10295/statm: 307344 296635 398 719 0 306623 0 Current children cumulated CPU time (s) 1182.28 Current children cumulated vsize (KiB) 1229376 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10414 /proc/meminfo: memFree=30141024/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=1273176 CPUtime=1242.27 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 311047 0 0 0 117373 6854 0 0 25 0 1 0 132213254 1303732224 307788 4089446400 4194304 7136930 140733574701744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10295/statm: 318294 307788 398 719 0 317573 0 Current children cumulated CPU time (s) 1242.27 Current children cumulated vsize (KiB) 1273176 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10416 /proc/meminfo: memFree=30095332/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=1317288 CPUtime=1302.28 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 322160 0 0 0 123057 7171 0 0 25 0 1 0 132213254 1348902912 318901 4089446400 4194304 7136930 140733574701744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10295/statm: 329322 318901 398 719 0 328601 0 Current children cumulated CPU time (s) 1302.28 Current children cumulated vsize (KiB) 1317288 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10418 /proc/meminfo: memFree=30054624/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=1354076 CPUtime=1362.28 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 331322 0 0 0 128798 7430 0 0 25 0 1 0 132213254 1386573824 328063 4089446400 4194304 7136930 140733574701744 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10295/statm: 338519 328063 398 719 0 337798 0 Current children cumulated CPU time (s) 1362.28 Current children cumulated vsize (KiB) 1354076 [startup+1422.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10419 /proc/meminfo: memFree=30026436/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=1378860 CPUtime=1422.29 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 337451 0 0 0 134594 7635 0 0 25 0 1 0 132213254 1411952640 334192 4089446400 4194304 7136930 140733574701744 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10295/statm: 344715 334192 398 719 0 343994 0 Current children cumulated CPU time (s) 1422.29 Current children cumulated vsize (KiB) 1378860 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10421 /proc/meminfo: memFree=30017232/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=1385236 CPUtime=1482.29 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 339045 0 0 0 140416 7813 0 0 25 0 1 0 132213254 1418481664 335786 4089446400 4194304 7136930 140733574701744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10295/statm: 346309 335786 398 719 0 345588 0 Current children cumulated CPU time (s) 1482.29 Current children cumulated vsize (KiB) 1385236 [startup+1542.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10422 /proc/meminfo: memFree=29957152/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=1436208 CPUtime=1542.29 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 352013 0 0 0 146098 8131 0 0 25 0 1 0 132213254 1470676992 348754 4089446400 4194304 7136930 140733574701744 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10295/statm: 359052 348754 398 719 0 358331 0 Current children cumulated CPU time (s) 1542.29 Current children cumulated vsize (KiB) 1436208 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10424 /proc/meminfo: memFree=29927368/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=1460760 CPUtime=1602.29 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 358272 0 0 0 151862 8367 0 0 25 0 1 0 132213254 1495818240 355013 4089446400 4194304 7136930 140733574701744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10295/statm: 365190 355013 398 719 0 364469 0 Current children cumulated CPU time (s) 1602.29 Current children cumulated vsize (KiB) 1460760 [startup+1662.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 10426 /proc/meminfo: memFree=29898808/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=1484760 CPUtime=1662.29 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 364271 0 0 0 157664 8565 0 0 25 0 1 0 132213254 1520394240 361012 4089446400 4194304 7136930 140733574701744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10295/statm: 371190 361012 398 719 0 370469 0 Current children cumulated CPU time (s) 1662.29 Current children cumulated vsize (KiB) 1484760 [startup+1722.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 10427 /proc/meminfo: memFree=29845432/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=1550644 CPUtime=1722.29 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 376851 0 0 0 163340 8889 0 0 25 0 1 0 132213254 1587859456 373592 4089446400 4194304 7136930 140733574701744 18446744073709551615 4209178 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10295/statm: 387661 373592 398 719 0 386940 0 Current children cumulated CPU time (s) 1722.29 Current children cumulated vsize (KiB) 1550644 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10429 /proc/meminfo: memFree=29817604/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=1575268 CPUtime=1782.29 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 382927 0 0 0 169112 9117 0 0 25 0 1 0 132213254 1613074432 379668 4089446400 4194304 7136930 140733574701744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10295/statm: 393817 379668 398 719 0 393096 0 Current children cumulated CPU time (s) 1782.29 Current children cumulated vsize (KiB) 1575268 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10429 /proc/meminfo: memFree=29811888/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=1578992 CPUtime=1800.09 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 383874 0 0 0 170840 9169 0 0 25 0 1 0 132213254 1616887808 380615 4089446400 4194304 7136930 140733574701744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10295/statm: 394748 380615 398 719 0 394027 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1578992 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -10295 Solver just ended. Dumping a history of the last processes samples [startup+1801.5 s] /proc/loadavg: 2.00 2.00 2.00 3/180 10430 /proc/meminfo: memFree=29811632/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=1578992 CPUtime=1801.49 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 383879 0 0 0 170980 9169 0 0 25 0 1 0 132213254 1616887808 380620 4089446400 4194304 7136930 140733574701744 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/10295/statm: 394748 380620 403 719 0 394027 0 Current children cumulated CPU time (s) 1801.49 Current children cumulated vsize (KiB) 1578992 [startup+1801.91 s] /proc/loadavg: 2.00 2.00 2.00 3/180 10430 /proc/meminfo: memFree=29811632/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=1577700 CPUtime=1801.89 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 383879 0 0 0 171020 9169 0 0 25 0 1 0 132213254 1615564800 380297 4089446400 4194304 7136930 140733574701744 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/10295/statm: 394425 380297 403 719 0 393704 0 Current children cumulated CPU time (s) 1801.89 Current children cumulated vsize (KiB) 1577700 [startup+1802.1 s] /proc/loadavg: 2.00 2.00 2.00 3/180 10430 /proc/meminfo: memFree=29811632/32951124 swapFree=67111528/67111528 [pid=10295] ppid=10293 vsize=1572292 CPUtime=1802.09 /proc/10295/stat : 10295 (pbscip.linux.x8) R 10293 10295 9536 0 -1 4202496 383879 0 0 0 171040 9169 0 0 25 0 1 0 132213254 1610027008 378946 4089446400 4194304 7136930 140733574701744 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/10295/statm: 393073 378946 403 719 0 392352 0 Current children cumulated CPU time (s) 1802.09 Current children cumulated vsize (KiB) 1572292 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.16 CPU time (s): 1802.16 CPU user time (s): 1710.41 CPU system time (s): 91.7501 CPU usage (%): 99.9999 Max. virtual memory (cumulated for all children) (KiB): 1578992 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1710.41 system time used= 91.7501 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 383879 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= 2607 runsolver used 2.56761 second user time and 5.65514 second system time The end
Begin job on node109 at 2010-06-30 16:45:59 IDJOB=2694173 IDBENCH=78965 IDSOLVER=1206 FILE ID=node109/2694173-1277909159 PBS_JOBID= 11197242 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/tsp/normalized-t3002.11tsp11.1900552735--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-2694173-1277909159/watcher-2694173-1277909159 -o /tmp/evaluation-result-2694173-1277909159/solver-2694173-1277909159 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694173-1277909159.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fc51ff1d1c737b59f1aece9b373640d1 RANDOM SEED=1180113719 node109.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.817 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.63 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.817 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.817 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.82 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.817 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.817 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.82 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.817 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.817 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.74 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.817 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: 32951124 kB MemFree: 30976552 kB Buffers: 189184 kB Cached: 1043092 kB SwapCached: 0 kB Active: 1105176 kB Inactive: 725264 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30976552 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3156 kB Writeback: 12 kB AnonPages: 597836 kB Mapped: 20308 kB Slab: 80408 kB PageTables: 5772 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1657416 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node109 at 2010-06-30 17:16:01