Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver | OPTIMUM | 1117.35 | 1117.32 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh215_wcsp.wbo |
| MD5SUM | f6fb73f0a02abbaaed6c5aa05fa83af7 |
| 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 | 88 |
| Best CPU time to get the best result obtained on this benchmark | 0.164974 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 200 |
| Total number of constraints | 900 |
| Number of soft constraints | 800 |
| Number of constraints which are clauses | 800 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 11 |
| Top cost | 394239 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 394238 |
| Biggest number in a constraint | 10 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 21 |
| Number of bits of the biggest sum of numbers | 5 |
| 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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705733-1278580121.wbo>
0.00/0.01 c original problem has 1800 variables (1000 bin, 0 int, 800 impl, 0 cont) and 1701 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 0 clqs
0.02/0.03 c (round 2) 100 del vars, 101 del conss, 800 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 0 clqs
0.02/0.05 c (0.0s) probing: 101/900 (11.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.02/0.05 c presolving (3 rounds):
0.02/0.05 c 100 deleted vars, 101 deleted constraints, 800 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.05 c 1800 implications, 0 cliques
0.02/0.05 c presolved problem has 1700 variables (900 bin, 0 int, 800 impl, 0 cont) and 1600 constraints
0.02/0.05 c 800 constraints of type <linear>
0.02/0.05 c 800 constraints of type <indicator>
0.02/0.05 c transformed objective value is always integral (scale: 1)
0.02/0.05 c Presolving Time: 0.03
0.02/0.05 c - non default parameters ----------------------------------------------------------------------
0.02/0.05 c # SCIP version 1.2.1.3
0.02/0.05 c
0.02/0.05 c # frequency for displaying node information lines
0.02/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.05 c display/freq = 10000
0.02/0.05 c
0.02/0.05 c # maximal time in seconds to run
0.02/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.05 c limits/time = 1789.99
0.02/0.05 c
0.02/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.05 c limits/memory = 3420
0.02/0.05 c
0.02/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.02/0.05 c # [type: int, range: [1,2], default: 1]
0.02/0.05 c timing/clocktype = 2
0.02/0.05 c
0.02/0.05 c # should presolving try to simplify inequalities
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c constraints/linear/simplifyinequalities = TRUE
0.02/0.05 c
0.02/0.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c constraints/indicator/addCouplingCons = TRUE
0.02/0.05 c
0.02/0.05 c # should presolving try to simplify knapsacks
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.05 c
0.02/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.05 c separating/rapidlearning/freq = 0
0.02/0.05 c
0.02/0.05 c -----------------------------------------------------------------------------------------------
0.02/0.05 c start solving
0.02/0.05 c
0.02/0.05 o 394238
0.02/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.02/0.05 c t 0.0s| 1 | 0 | 0 | - |5949k| 0 | - |1700 |1600 | 0 | 0 | 0 | 0 | 0 | -- | 3.942380e+05 | Inf
0.02/0.05 c 0.0s| 1 | 0 | 0 | - |6322k| 0 | 0 |1700 |1600 |1700 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 41 | - |6388k| 0 | 0 |1700 |1600 |1700 | 71 | 71 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 136 | - |6411k| 0 | 59 |1700 |1600 |1700 | 113 | 113 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 182 | - |6722k| 0 | 70 |1700 |1600 |1700 | 145 | 145 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 202 | - |6890k| 0 | 73 |1700 |1600 |1700 | 157 | 157 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.17 c 0.2s| 1 | 0 | 221 | - |7158k| 0 | 75 |1700 |1600 |1700 | 159 | 159 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.19 c 0.2s| 1 | 0 | 233 | - |7421k| 0 | 79 |1700 |1600 |1700 | 162 | 162 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.29/0.35 c 0.3s| 1 | 2 | 233 | - |7446k| 0 | 79 |1700 |1600 |1700 | 162 | 162 | 0 | 33 | 0.000000e+00 | 3.942380e+05 | Inf
5.09/5.15 o 5676
5.09/5.15 c * 5.1s| 3791 | 3506 | 23897 | 6.2 | 12M| 797 | - |1700 |1604 |1700 | 239 | 815 | 4 | 664 | 0.000000e+00 | 5.676000e+03 | Inf
6.60/6.63 o 5517
6.60/6.63 c * 6.6s| 5245 | 4901 | 34514 | 6.5 | 14M| 797 | - |1700 |1605 |1700 | 228 |1144 | 5 | 758 | 0.000000e+00 | 5.517000e+03 | Inf
10.19/10.28 c 10.3s| 10000 | 9641 | 49334 | 4.9 | 19M| 797 | 0 |1700 |1627 |1700 | 180 |1776 | 27 | 770 | 0.000000e+00 | 5.517000e+03 | Inf
18.49/18.53 c 18.5s| 20000 | 19115 | 95246 | 4.8 | 30M| 797 | 0 |1700 |2734 |1700 | 206 |3245 |1134 | 778 | 0.000000e+00 | 5.517000e+03 | Inf
28.39/28.42 c 28.4s| 30000 | 27356 |171701 | 5.7 | 44M| 797 | 0 |1700 |5524 |1700 | 210 |6029 |4385 | 784 | 0.000000e+00 | 5.517000e+03 | Inf
38.40/38.41 c 38.4s| 40000 | 35775 |243030 | 6.1 | 56M| 797 | 0 |1700 |4153 |1700 | 199 |8656 |7626 | 844 | 0.000000e+00 | 5.517000e+03 | Inf
47.89/47.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.89/47.95 c 47.9s| 50000 | 44238 |306886 | 6.1 | 68M| 797 | 0 |1700 |2482 |1700 | 185 | 10k| 10k| 999 | 0.000000e+00 | 5.517000e+03 | Inf
57.09/57.13 c 57.1s| 60000 | 52623 |364544 | 6.1 | 80M| 797 | 0 |1700 |3132 |1700 | 190 | 12k| 14k|1104 | 0.000000e+00 | 5.517000e+03 | Inf
66.09/66.17 c 66.2s| 70000 | 61008 |418998 | 6.0 | 92M| 797 | 0 |1700 |2637 |1700 | 188 | 14k| 17k|1233 | 0.000000e+00 | 5.517000e+03 | Inf
75.39/75.44 c 75.4s| 80000 | 69293 |480754 | 6.0 | 104M| 797 | 0 |1700 |2944 |1700 | 219 | 16k| 20k|1348 | 0.000000e+00 | 5.517000e+03 | Inf
84.50/84.53 c 84.5s| 90000 | 77664 |538456 | 6.0 | 116M| 797 | 0 |1700 |2813 |1700 | 195 | 18k| 23k|1456 | 0.000000e+00 | 5.517000e+03 | Inf
93.60/93.69 c 93.7s|100000 | 86019 |595969 | 6.0 | 128M| 797 | 0 |1700 |3601 |1700 | 194 | 20k| 26k|1565 | 0.000000e+00 | 5.517000e+03 | Inf
99.49/99.56 o 5389
99.49/99.56 c *99.5s|106006 | 90059 |636052 | 6.0 | 134M| 797 | - |1700 |3633 |1700 | 199 | 22k| 29k|1659 | 0.000000e+00 | 5.389000e+03 | Inf
103.69/103.72 c 104s|110000 | 93405 |668353 | 6.1 | 139M| 797 | 0 |1700 |3539 |1700 | 194 | 23k| 30k|1687 | 0.000000e+00 | 5.389000e+03 | Inf
113.20/113.21 c 113s|120000 |101775 |733707 | 6.1 | 151M| 797 | 0 |1700 |3310 |1700 | 218 | 26k| 33k|1823 | 0.000000e+00 | 5.389000e+03 | Inf
123.20/123.22 c 123s|130000 |110143 |809439 | 6.2 | 164M| 797 | 0 |1700 |4371 |1700 | 225 | 28k| 37k|1958 | 0.000000e+00 | 5.389000e+03 | Inf
129.99/130.03 o 5362
129.99/130.03 c * 130s|137124 |115760 |855544 | 6.2 | 172M| 797 | - |1700 |3571 |1700 | 221 | 30k| 39k|2056 | 0.000000e+00 | 5.362000e+03 | Inf
129.99/130.03 o 5345
129.99/130.03 c * 130s|137125 |115574 |855551 | 6.2 | 171M| 797 | - |1700 |3571 |1700 | 221 | 30k| 39k|2056 | 0.000000e+00 | 5.345000e+03 | Inf
133.00/133.01 c 133s|140000 |117940 |878891 | 6.3 | 175M| 797 | 0 |1700 |3825 |1700 | 198 | 31k| 40k|2075 | 0.000000e+00 | 5.345000e+03 | Inf
143.49/143.50 c 143s|150000 |126089 |961246 | 6.4 | 188M| 797 | 0 |1700 |3966 |1700 | 203 | 34k| 44k|2211 | 0.000000e+00 | 5.345000e+03 | Inf
152.59/152.63 c 153s|160000 |134314 | 1015k| 6.3 | 199M| 797 | 0 |1700 |3816 |1700 | 193 | 36k| 48k|2279 | 0.000000e+00 | 5.345000e+03 | Inf
162.10/162.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.10/162.15 c 162s|170000 |142557 | 1079k| 6.3 | 211M| 797 | - |1700 |3802 | 0 | 0 | 38k| 51k|2334 | 0.000000e+00 | 5.345000e+03 | Inf
171.60/171.65 c 172s|180000 |150872 | 1140k| 6.3 | 224M| 797 | 0 |1700 |4016 |1700 | 200 | 41k| 55k|2426 | 0.000000e+00 | 5.345000e+03 | Inf
172.19/172.28 o 5221
172.19/172.28 c * 172s|180682 |149634 | 1144k| 6.3 | 221M| 797 | - |1700 |4031 |1700 | 254 | 41k| 55k|2444 | 0.000000e+00 | 5.221000e+03 | Inf
181.59/181.69 o 5148
181.59/181.69 c * 182s|189961 |155976 | 1217k| 6.4 | 230M| 797 | - |1700 |3288 |1700 | 209 | 43k| 58k|2516 | 0.000000e+00 | 5.148000e+03 | Inf
181.70/181.74 c 182s|190000 |156011 | 1218k| 6.4 | 230M| 797 | 0 |1700 |3285 |1700 | 203 | 43k| 58k|2516 | 0.000000e+00 | 5.148000e+03 | Inf
181.80/181.88 o 5142
181.80/181.88 c * 182s|190089 |155959 | 1219k| 6.4 | 230M| 797 | - |1700 |3301 |1700 | 212 | 43k| 58k|2524 | 0.000000e+00 | 5.142000e+03 | Inf
182.30/182.38 o 5129
182.30/182.38 c * 182s|190435 |156017 | 1225k| 6.4 | 231M| 797 | - |1700 |3378 |1700 | 229 | 44k| 58k|2566 | 0.000000e+00 | 5.129000e+03 | Inf
182.30/182.38 o 5128
182.30/182.38 c * 182s|190436 |155995 | 1225k| 6.4 | 231M| 797 | - |1700 |3378 |1700 | 229 | 44k| 58k|2566 | 0.000000e+00 | 5.128000e+03 | Inf
191.60/191.69 c 192s|200000 |163979 | 1290k| 6.4 | 242M| 797 | 0 |1700 |3594 |1700 | 205 | 46k| 61k|2628 | 0.000000e+00 | 5.128000e+03 | Inf
201.89/201.98 c 202s|210000 |172186 | 1370k| 6.5 | 254M| 797 | 0 |1700 |3844 |1700 | 197 | 49k| 65k|2770 | 0.000000e+00 | 5.128000e+03 | Inf
211.70/211.75 c 212s|220000 |180352 | 1436k| 6.5 | 267M| 797 | 0 |1700 |3842 |1700 | 201 | 51k| 68k|2881 | 0.000000e+00 | 5.128000e+03 | Inf
221.70/221.73 c 222s|230000 |188516 | 1505k| 6.5 | 279M| 797 | 0 |1700 |3925 |1700 | 198 | 54k| 72k|3041 | 0.000000e+00 | 5.128000e+03 | Inf
231.39/231.45 c 231s|240000 |196609 | 1571k| 6.5 | 291M| 797 | 0 |1700 |3580 |1700 | 191 | 57k| 75k|3115 | 0.000000e+00 | 5.128000e+03 | Inf
232.49/232.58 o 5126
232.49/232.58 c * 233s|241114 |197459 | 1579k| 6.5 | 293M| 797 | - |1700 |3659 |1700 | 219 | 57k| 76k|3124 | 0.000000e+00 | 5.126000e+03 | Inf
232.49/232.59 o 5029
232.49/232.59 c * 233s|241115 |195171 | 1579k| 6.5 | 289M| 797 | - |1700 |3659 |1700 | 219 | 57k| 76k|3124 | 0.000000e+00 | 5.029000e+03 | Inf
241.09/241.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
241.09/241.20 c 241s|250000 |202468 | 1637k| 6.5 | 300M| 797 | 0 |1700 |3659 |1700 | 194 | 59k| 79k|3226 | 0.000000e+00 | 5.029000e+03 | Inf
251.40/251.41 c 251s|260000 |210764 | 1716k| 6.6 | 314M| 797 | 0 |1700 |4436 |1700 | 193 | 62k| 83k|3298 | 0.000000e+00 | 5.029000e+03 | Inf
261.10/261.13 c 261s|270000 |218908 | 1781k| 6.6 | 326M| 797 | 0 |1700 |4246 |1700 | 209 | 65k| 86k|3379 | 0.000000e+00 | 5.029000e+03 | Inf
270.70/270.72 c 271s|280000 |226938 | 1843k| 6.6 | 338M| 797 | 0 |1700 |3969 |1700 | 220 | 67k| 90k|3439 | 0.000000e+00 | 5.029000e+03 | Inf
280.70/280.78 c 281s|290000 |235059 | 1918k| 6.6 | 350M| 797 | 0 |1700 |3961 |1700 | 207 | 69k| 94k|3518 | 0.000000e+00 | 5.029000e+03 | Inf
289.89/289.98 c 290s|300000 |243144 | 1970k| 6.6 | 362M| 797 | 0 |1700 |3970 |1700 | 211 | 71k| 97k|3575 | 0.000000e+00 | 5.029000e+03 | Inf
299.50/299.50 c 299s|310000 |251382 | 2032k| 6.6 | 374M| 797 | 0 |1700 |4034 |1700 | 201 | 74k| 101k|3621 | 0.000000e+00 | 5.029000e+03 | Inf
309.20/309.24 c 309s|320000 |259597 | 2098k| 6.6 | 386M| 797 | - |1700 |3961 | 0 | 0 | 76k| 105k|3697 | 0.000000e+00 | 5.029000e+03 | Inf
314.10/314.18 o 5003
314.10/314.18 c * 314s|325168 |263088 | 2131k| 6.6 | 391M| 797 | - |1700 |4303 |1700 | 205 | 77k| 106k|3725 | 0.000000e+00 | 5.003000e+03 | Inf
314.20/314.22 o 4964
314.20/314.22 c * 314s|325207 |261864 | 2131k| 6.6 | 389M| 797 | - |1700 |4300 |1700 | 200 | 77k| 106k|3725 | 0.000000e+00 | 4.964000e+03 | Inf
314.30/314.37 o 4954
314.30/314.37 c * 314s|325343 |261636 | 2132k| 6.6 | 389M| 797 | - |1700 |4320 |1700 | 208 | 77k| 106k|3725 | 0.000000e+00 | 4.954000e+03 | Inf
314.30/314.39 o 4916
314.30/314.39 c * 314s|325368 |260485 | 2132k| 6.6 | 387M| 797 | - |1700 |4320 |1700 | 208 | 77k| 106k|3725 | 0.000000e+00 | 4.916000e+03 | Inf
319.10/319.15 c 319s|330000 |264157 | 2166k| 6.6 | 393M| 797 | 0 |1700 |4534 |1700 | 204 | 79k| 108k|3760 | 0.000000e+00 | 4.916000e+03 | Inf
329.10/329.16 c 329s|340000 |272291 | 2236k| 6.6 | 406M| 797 | 0 |1700 |3748 |1700 | 211 | 81k| 111k|3847 | 0.000000e+00 | 4.916000e+03 | Inf
339.00/339.03 c 339s|350000 |280425 | 2302k| 6.6 | 418M| 797 | 0 |1700 |3604 |1700 | 194 | 84k| 115k|3939 | 0.000000e+00 | 4.916000e+03 | Inf
349.20/349.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
349.20/349.24 c 349s|360000 |288750 | 2378k| 6.6 | 431M| 797 | 0 |1700 |3294 |1700 | 199 | 87k| 118k|4011 | 0.000000e+00 | 4.916000e+03 | Inf
358.80/358.87 c 359s|370000 |297286 | 2443k| 6.6 | 443M| 797 | 0 |1700 |4105 |1700 | 190 | 89k| 121k|4048 | 0.000000e+00 | 4.916000e+03 | Inf
369.00/369.00 c 369s|380000 |305701 | 2517k| 6.6 | 455M| 797 | - |1700 |4244 | 0 | 0 | 91k| 124k|4096 | 0.000000e+00 | 4.916000e+03 | Inf
379.41/379.47 c 379s|390000 |314006 | 2599k| 6.7 | 467M| 797 | 0 |1700 |4009 |1700 | 201 | 94k| 128k|4163 | 0.000000e+00 | 4.916000e+03 | Inf
386.50/386.58 o 4885
386.50/386.58 c * 387s|396981 |318468 | 2649k| 6.7 | 475M| 797 | - |1700 |4726 |1700 | 219 | 96k| 131k|4211 | 0.000000e+00 | 4.885000e+03 | Inf
389.50/389.55 c 390s|400000 |320854 | 2667k| 6.7 | 478M| 797 | 0 |1700 |4685 |1700 | 222 | 97k| 132k|4238 | 0.000000e+00 | 4.885000e+03 | Inf
392.40/392.40 o 4861
392.40/392.40 c * 392s|403129 |322416 | 2681k| 6.7 | 480M| 797 | - |1700 |4908 |1700 | 248 | 98k| 133k|4282 | 0.000000e+00 | 4.861000e+03 | Inf
395.10/395.18 o 4847
395.10/395.18 c * 395s|405967 |324166 | 2699k| 6.6 | 483M| 797 | - |1700 |4788 |1700 | 215 | 98k| 134k|4296 | 0.000000e+00 | 4.847000e+03 | Inf
395.30/395.31 o 4834
395.30/395.31 c * 395s|406068 |323704 | 2700k| 6.6 | 482M| 797 | - |1700 |4818 |1700 | 222 | 98k| 134k|4296 | 0.000000e+00 | 4.834000e+03 | Inf
395.41/395.43 o 4822
395.41/395.43 c * 395s|406162 |323279 | 2701k| 6.7 | 481M| 797 | - |1700 |4820 |1700 | 226 | 98k| 134k|4296 | 0.000000e+00 | 4.822000e+03 | Inf
395.41/395.48 o 4757
395.41/395.48 c * 395s|406202 |320439 | 2701k| 6.7 | 474M| 797 | - |1700 |4824 |1700 | 223 | 98k| 134k|4296 | 0.000000e+00 | 4.757000e+03 | Inf
399.20/399.25 c 399s|410000 |323496 | 2726k| 6.6 | 479M| 797 | 0 |1700 |4172 |1700 | 194 | 99k| 136k|4333 | 0.000000e+00 | 4.757000e+03 | Inf
406.00/406.05 o 4588
406.00/406.05 c * 406s|417134 |320668 | 2769k| 6.6 | 466M| 797 | - |1700 |3669 |1700 | 207 | 101k| 138k|4382 | 0.000000e+00 | 4.588000e+03 | Inf
406.00/406.06 o 4503
406.00/406.06 c * 406s|417135 |315245 | 2769k| 6.6 | 449M| 797 | - |1700 |3669 |1700 | 207 | 101k| 138k|4382 | 0.000000e+00 | 4.503000e+03 | Inf
409.01/409.09 c 409s|420000 |317563 | 2791k| 6.6 | 452M| 797 | 0 |1700 |3844 |1700 | 202 | 102k| 139k|4411 | 0.000000e+00 | 4.503000e+03 | Inf
419.20/419.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
419.20/419.25 c 419s|430000 |325682 | 2860k| 6.7 | 466M| 797 | 0 |1700 |3523 |1700 | 198 | 104k| 142k|4490 | 0.000000e+00 | 4.503000e+03 | Inf
425.20/425.27 o 4470
425.20/425.27 c * 425s|435406 |327841 | 2912k| 6.7 | 466M| 797 | - |1700 |3690 |1700 | 220 | 106k| 144k|4547 | 0.000000e+00 | 4.470000e+03 | Inf
425.20/425.29 o 4361
425.20/425.29 c * 425s|435407 |320053 | 2912k| 6.7 | 444M| 797 | - |1700 |3690 |1700 | 220 | 106k| 144k|4547 | 0.000000e+00 | 4.361000e+03 | Inf
425.30/425.37 o 4302
425.30/425.37 c * 425s|435479 |315861 | 2912k| 6.7 | 432M| 797 | - |1700 |3700 |1700 | 224 | 106k| 144k|4547 | 0.000000e+00 | 4.302000e+03 | Inf
425.40/425.40 o 4193
425.40/425.40 c * 425s|435480 |307651 | 2912k| 6.7 | 409M| 797 | - |1700 |3700 |1700 | 224 | 106k| 144k|4547 | 0.000000e+00 | 4.193000e+03 | Inf
430.21/430.22 c 430s|440000 |311200 | 2947k| 6.7 | 415M| 797 | 0 |1700 |4189 |1700 | 215 | 108k| 146k|4582 | 0.000000e+00 | 4.193000e+03 | Inf
439.80/439.81 o 4145
439.80/439.81 c * 440s|449151 |314475 | 3020k| 6.7 | 414M| 797 | - |1700 |3423 |1700 | 216 | 110k| 149k|4634 | 0.000000e+00 | 4.145000e+03 | Inf
439.80/439.84 o 4006
439.80/439.84 c * 440s|449152 |302917 | 3020k| 6.7 | 380M| 797 | - |1700 |3423 |1700 | 216 | 110k| 149k|4634 | 0.000000e+00 | 4.006000e+03 | Inf
439.90/439.91 o 3950
439.90/439.91 c * 440s|449172 |297947 | 3021k| 6.7 | 367M| 797 | - |1700 |3418 |1700 | 213 | 110k| 149k|4637 | 0.000000e+00 | 3.950000e+03 | Inf
440.91/440.99 c 441s|450000 |298602 | 3032k| 6.7 | 368M| 797 | 0 |1700 |3303 |1700 | 219 | 111k| 149k|4643 | 0.000000e+00 | 3.950000e+03 | Inf
452.50/452.56 c 453s|460000 |306645 | 3133k| 6.8 | 381M| 797 | 0 |1700 |3227 |1700 | 200 | 114k| 152k|4734 | 0.000000e+00 | 3.950000e+03 | Inf
463.80/463.84 c 464s|470000 |314757 | 3230k| 6.9 | 394M| 797 | 0 |1700 |2878 |1700 | 211 | 118k| 155k|4795 | 0.000000e+00 | 3.950000e+03 | Inf
474.20/474.27 c 474s|480000 |322761 | 3307k| 6.9 | 408M| 797 | 0 |1700 |3446 |1700 | 195 | 121k| 158k|4883 | 0.000000e+00 | 3.950000e+03 | Inf
481.90/481.94 o 3909
481.90/481.94 c * 482s|487934 |325087 | 3355k| 6.9 | 407M| 797 | - |1700 |3526 |1700 | 206 | 123k| 161k|4898 | 0.000000e+00 | 3.909000e+03 | Inf
484.10/484.11 c 484s|490000 |326645 | 3369k| 6.9 | 410M| 797 | 0 |1700 |3632 |1700 | 227 | 124k| 162k|4921 | 0.000000e+00 | 3.909000e+03 | Inf
494.80/494.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
494.80/494.83 c 495s|500000 |334315 | 3450k| 6.9 | 424M| 797 | - |1700 |4011 | 0 | 0 | 127k| 165k|5001 | 0.000000e+00 | 3.909000e+03 | Inf
505.00/505.06 c 505s|510000 |342098 | 3523k| 6.9 | 436M| 797 | - |1700 |3867 | 0 | 0 | 129k| 169k|5063 | 0.000000e+00 | 3.909000e+03 | Inf
515.20/515.20 c 515s|520000 |349818 | 3593k| 6.9 | 449M| 797 | 0 |1700 |3995 |1700 | 195 | 132k| 172k|5139 | 0.000000e+00 | 3.909000e+03 | Inf
525.31/525.37 c 525s|530000 |357746 | 3665k| 6.9 | 462M| 797 | 0 |1700 |3873 |1700 | 210 | 135k| 176k|5204 | 0.000000e+00 | 3.909000e+03 | Inf
536.00/536.05 c 536s|540000 |365636 | 3745k| 6.9 | 476M| 797 | 0 |1700 |3976 |1700 | 215 | 138k| 179k|5274 | 0.000000e+00 | 3.909000e+03 | Inf
541.31/541.34 o 3907
541.31/541.34 c * 541s|544937 |369207 | 3785k| 6.9 | 483M| 797 | - |1700 |3957 |1700 | 217 | 139k| 181k|5308 | 0.000000e+00 | 3.907000e+03 | Inf
546.71/546.71 o 3827
546.71/546.71 c * 547s|549407 |364892 | 3832k| 7.0 | 472M| 797 | - |1700 |4054 |1700 | 223 | 141k| 183k|5349 | 0.000000e+00 | 3.827000e+03 | Inf
546.71/546.77 o 3777
546.71/546.77 c * 547s|549428 |359850 | 3833k| 7.0 | 461M| 797 | - |1700 |4046 |1700 | 224 | 141k| 183k|5349 | 0.000000e+00 | 3.777000e+03 | Inf
547.31/547.33 c 547s|550000 |360323 | 3836k| 7.0 | 462M| 797 | 0 |1700 |4082 |1700 | 204 | 141k| 183k|5350 | 0.000000e+00 | 3.777000e+03 | Inf
556.91/556.94 o 3709
556.91/556.94 c * 557s|558293 |359887 | 3915k| 7.0 | 459M| 797 | - |1700 |3749 |1700 | 207 | 144k| 185k|5472 | 0.000000e+00 | 3.709000e+03 | Inf
556.91/556.96 o 3632
556.91/556.96 c * 557s|558294 |352165 | 3915k| 7.0 | 446M| 797 | - |1700 |3749 |1700 | 207 | 144k| 185k|5472 | 0.000000e+00 | 3.632000e+03 | Inf
557.81/557.82 o 3622
557.81/557.82 c * 558s|558888 |351552 | 3924k| 7.0 | 445M| 797 | - |1700 |3799 |1700 | 216 | 145k| 186k|5478 | 0.000000e+00 | 3.622000e+03 | Inf
557.81/557.83 o 3604
557.81/557.83 c * 558s|558894 |349783 | 3924k| 7.0 | 442M| 797 | - |1700 |3799 |1700 | 216 | 145k| 186k|5478 | 0.000000e+00 | 3.604000e+03 | Inf
557.81/557.85 o 3571
557.81/557.85 c * 558s|558895 |346528 | 3924k| 7.0 | 437M| 797 | - |1700 |3799 |1700 | 216 | 145k| 186k|5478 | 0.000000e+00 | 3.571000e+03 | Inf
559.10/559.18 c 559s|560000 |347375 | 3936k| 7.0 | 438M| 797 | 0 |1700 |3876 |1700 | 199 | 145k| 186k|5492 | 0.000000e+00 | 3.571000e+03 | Inf
565.80/565.84 o 3531
565.80/565.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
565.80/565.84 c * 566s|565520 |347602 | 3993k| 7.1 | 439M| 797 | - |1700 |3986 |1700 | 200 | 148k| 188k|5532 | 0.000000e+00 | 3.531000e+03 | Inf
565.80/565.86 o 3456
565.80/565.86 c * 566s|565521 |340008 | 3993k| 7.1 | 426M| 797 | - |1700 |3986 |1700 | 200 | 148k| 188k|5532 | 0.000000e+00 | 3.456000e+03 | Inf
565.90/565.92 o 3389
565.90/565.92 c * 566s|565552 |333577 | 3994k| 7.1 | 416M| 797 | - |1700 |3988 |1700 | 200 | 148k| 188k|5532 | 0.000000e+00 | 3.389000e+03 | Inf
565.90/565.94 o 3366
565.90/565.94 c * 566s|565554 |331397 | 3994k| 7.1 | 413M| 797 | - |1700 |3988 |1700 | 202 | 148k| 188k|5532 | 0.000000e+00 | 3.366000e+03 | Inf
565.90/565.95 o 3359
565.90/565.95 c * 566s|565555 |330676 | 3994k| 7.1 | 412M| 797 | - |1700 |3988 |1700 | 202 | 148k| 188k|5532 | 0.000000e+00 | 3.359000e+03 | Inf
566.00/566.08 o 3351
566.00/566.08 c * 566s|565666 |329986 | 3995k| 7.1 | 411M| 797 | - |1700 |4010 |1700 | 221 | 148k| 188k|5532 | 0.000000e+00 | 3.351000e+03 | Inf
566.51/566.55 o 3310
566.51/566.55 c * 567s|566004 |326588 | 3999k| 7.1 | 406M| 797 | - |1700 |3960 |1700 | 225 | 148k| 188k|5533 | 0.000000e+00 | 3.310000e+03 | Inf
571.01/571.02 c 571s|570000 |329605 | 4034k| 7.1 | 411M| 797 | 0 |1700 |4027 |1700 | 197 | 149k| 190k|5555 | 0.000000e+00 | 3.310000e+03 | Inf
576.20/576.23 o 3270
576.20/576.23 c * 576s|574531 |329133 | 4077k| 7.1 | 412M| 797 | - |1700 |3950 |1700 | 207 | 151k| 191k|5585 | 0.000000e+00 | 3.270000e+03 | Inf
583.02/583.05 c 583s|580000 |333163 | 4136k| 7.1 | 420M| 797 | 0 |1700 |4021 |1700 | 207 | 153k| 193k|5647 | 0.000000e+00 | 3.270000e+03 | Inf
594.10/594.18 c 594s|590000 |341017 | 4227k| 7.2 | 435M| 797 | 0 |1700 |3974 |1700 | 192 | 156k| 196k|5702 | 0.000000e+00 | 3.270000e+03 | Inf
599.30/599.37 o 3252
599.30/599.37 c * 599s|594529 |342795 | 4270k| 7.2 | 438M| 797 | - |1700 |3714 |1700 | 199 | 158k| 197k|5738 | 0.000000e+00 | 3.252000e+03 | Inf
605.60/605.66 c 606s|600000 |346930 | 4323k| 7.2 | 446M| 797 | 0 |1700 |3716 |1700 | 197 | 160k| 199k|5759 | 0.000000e+00 | 3.252000e+03 | Inf
609.21/609.22 o 3090
609.21/609.22 c * 609s|603015 |333046 | 4353k| 7.2 | 423M| 797 | - |1700 |3810 |1700 | 212 | 161k| 200k|5793 | 0.000000e+00 | 3.090000e+03 | Inf
617.81/617.85 c 618s|610000 |338164 | 4431k| 7.3 | 434M| 797 | 0 |1700 |3425 |1700 | 199 | 164k| 203k|5858 | 0.000000e+00 | 3.090000e+03 | Inf
629.51/629.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
629.51/629.55 c 630s|620000 |345651 | 4531k| 7.3 | 448M| 797 | 0 |1700 |4254 |1700 | 230 | 168k| 206k|5904 | 0.000000e+00 | 3.090000e+03 | Inf
641.41/641.44 c 641s|630000 |352901 | 4632k| 7.4 | 462M| 797 | 0 |1700 |3933 |1700 | 188 | 171k| 210k|5986 | 0.000000e+00 | 3.090000e+03 | Inf
653.01/653.01 c 653s|640000 |360301 | 4730k| 7.4 | 477M| 797 | 0 |1700 |3759 |1700 | 209 | 175k| 213k|6049 | 0.000000e+00 | 3.090000e+03 | Inf
665.01/665.03 c 665s|650000 |367731 | 4839k| 7.4 | 491M| 797 | 0 |1700 |3690 |1700 | 196 | 179k| 217k|6128 | 0.000000e+00 | 3.090000e+03 | Inf
670.51/670.58 o 3038
670.51/670.58 c * 671s|654438 |365286 | 4891k| 7.5 | 486M| 797 | - |1700 |3439 |1700 | 220 | 181k| 218k|6169 | 0.000000e+00 | 3.038000e+03 | Inf
677.31/677.37 c 677s|660000 |369456 | 4952k| 7.5 | 493M| 797 | 0 |1700 |3425 |1700 | 228 | 183k| 220k|6186 | 0.000000e+00 | 3.038000e+03 | Inf
678.31/678.38 o 2964
678.31/678.38 c * 678s|661022 |361709 | 4958k| 7.5 | 477M| 797 | - |1700 |3313 |1700 | 232 | 184k| 221k|6201 | 0.000000e+00 | 2.964000e+03 | Inf
686.61/686.60 o 2819
686.61/686.60 c * 687s|667966 |348852 | 5031k| 7.5 | 453M| 797 | - |1700 |3620 |1700 | 218 | 186k| 223k|6236 | 0.000000e+00 | 2.819000e+03 | Inf
689.21/689.26 c 689s|670000 |350386 | 5057k| 7.5 | 456M| 797 | 0 |1700 |3529 |1700 | 194 | 187k| 223k|6247 | 0.000000e+00 | 2.819000e+03 | Inf
690.51/690.54 o 2731
690.51/690.54 c * 691s|671023 |340067 | 5069k| 7.6 | 438M| 797 | - |1700 |3660 |1700 | 237 | 187k| 224k|6251 | 0.000000e+00 | 2.731000e+03 | Inf
690.51/690.57 o 2667
690.51/690.57 c * 691s|671024 |332186 | 5069k| 7.6 | 426M| 797 | - |1700 |3660 |1700 | 237 | 187k| 224k|6251 | 0.000000e+00 | 2.667000e+03 | Inf
693.11/693.19 o 2636
693.11/693.19 c * 693s|673119 |329613 | 5090k| 7.6 | 423M| 797 | - |1700 |3679 |1700 | 221 | 188k| 225k|6268 | 0.000000e+00 | 2.636000e+03 | Inf
693.21/693.21 o 2588
693.21/693.21 c * 693s|673124 |323779 | 5090k| 7.6 | 414M| 797 | - |1700 |3685 |1700 | 220 | 188k| 225k|6269 | 0.000000e+00 | 2.588000e+03 | Inf
693.21/693.22 o 2577
693.21/693.22 c * 693s|673125 |322329 | 5090k| 7.6 | 411M| 797 | - |1700 |3685 |1700 | 220 | 188k| 225k|6269 | 0.000000e+00 | 2.577000e+03 | Inf
701.61/701.67 c 702s|680000 |327198 | 5163k| 7.6 | 423M| 797 | 0 |1700 |3608 |1700 | 198 | 191k| 227k|6305 | 0.000000e+00 | 2.577000e+03 | Inf
707.81/707.88 o 2568
707.81/707.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
707.81/707.88 c * 708s|684810 |329542 | 5223k| 7.6 | 428M| 797 | - |1700 |3712 |1700 | 246 | 193k| 229k|6349 | 0.000000e+00 | 2.568000e+03 | Inf
714.71/714.71 o 2479
714.71/714.71 c * 715s|689871 |321832 | 5291k| 7.7 | 419M| 797 | - |1700 |3415 |1700 | 257 | 195k| 230k|6391 | 0.000000e+00 | 2.479000e+03 | Inf
714.71/714.72 o 2462
714.71/714.72 c * 715s|689872 |319624 | 5291k| 7.7 | 416M| 797 | - |1700 |3415 |1700 | 257 | 195k| 230k|6391 | 0.000000e+00 | 2.462000e+03 | Inf
714.92/714.91 c 715s|690000 |319710 | 5294k| 7.7 | 416M| 797 | 0 |1700 |3453 |1700 | 204 | 195k| 230k|6391 | 0.000000e+00 | 2.462000e+03 | Inf
727.71/727.73 c 728s|700000 |326825 | 5412k| 7.7 | 431M| 797 | - |1700 |3478 | 0 | 0 | 199k| 234k|6471 | 0.000000e+00 | 2.462000e+03 | Inf
728.22/728.28 o 2444
728.22/728.28 c * 728s|700412 |324674 | 5418k| 7.7 | 428M| 797 | - |1700 |3479 |1700 | 232 | 199k| 234k|6474 | 0.000000e+00 | 2.444000e+03 | Inf
728.31/728.30 o 2380
728.31/728.30 c * 728s|700413 |316739 | 5418k| 7.7 | 414M| 797 | - |1700 |3479 |1700 | 232 | 199k| 234k|6474 | 0.000000e+00 | 2.380000e+03 | Inf
728.31/728.39 o 2349
728.31/728.39 c * 728s|700457 |312539 | 5418k| 7.7 | 407M| 797 | - |1700 |3480 |1700 | 242 | 199k| 234k|6474 | 0.000000e+00 | 2.349000e+03 | Inf
728.31/728.40 o 2348
728.31/728.40 c * 728s|700462 |312394 | 5418k| 7.7 | 407M| 797 | - |1700 |3480 |1700 | 242 | 199k| 234k|6474 | 0.000000e+00 | 2.348000e+03 | Inf
728.41/728.42 o 2284
728.41/728.42 c * 728s|700463 |304142 | 5418k| 7.7 | 393M| 797 | - |1700 |3480 |1700 | 242 | 199k| 234k|6474 | 0.000000e+00 | 2.284000e+03 | Inf
741.42/741.41 c 741s|710000 |310634 | 5544k| 7.8 | 408M| 797 | 0 |1700 |2939 |1700 | 202 | 204k| 237k|6540 | 0.000000e+00 | 2.284000e+03 | Inf
753.91/753.93 c 754s|720000 |317801 | 5660k| 7.9 | 424M| 797 | 0 |1700 |2970 |1700 | 203 | 208k| 241k|6610 | 0.000000e+00 | 2.284000e+03 | Inf
760.41/760.48 o 2229
760.41/760.48 c * 760s|725044 |313644 | 5723k| 7.9 | 419M| 797 | - |1700 |3076 |1700 | 223 | 211k| 242k|6648 | 0.000000e+00 | 2.229000e+03 | Inf
760.41/760.49 o 2222
760.41/760.49 c * 760s|725045 |312566 | 5723k| 7.9 | 417M| 797 | - |1700 |3076 |1700 | 223 | 211k| 242k|6648 | 0.000000e+00 | 2.222000e+03 | Inf
760.51/760.52 o 2219
760.51/760.52 c * 761s|725057 |312211 | 5723k| 7.9 | 416M| 797 | - |1700 |3063 |1700 | 212 | 211k| 242k|6648 | 0.000000e+00 | 2.219000e+03 | Inf
761.82/761.84 o 2203
761.82/761.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
761.82/761.84 c * 762s|726067 |310804 | 5735k| 7.9 | 415M| 797 | - |1700 |3186 |1700 | 208 | 211k| 243k|6648 | 0.000000e+00 | 2.203000e+03 | Inf
767.01/767.01 c 767s|730000 |313456 | 5782k| 7.9 | 421M| 797 | 0 |1700 |3434 |1700 | 199 | 213k| 244k|6682 | 0.000000e+00 | 2.203000e+03 | Inf
770.61/770.65 o 2092
770.61/770.65 c * 771s|732749 |299783 | 5818k| 7.9 | 398M| 797 | - |1700 |3370 |1700 | 245 | 214k| 245k|6697 | 0.000000e+00 | 2.092000e+03 | Inf
780.61/780.62 c 781s|740000 |304980 | 5921k| 8.0 | 410M| 797 | 0 |1700 |3422 |1700 | 208 | 218k| 247k|6758 | 0.000000e+00 | 2.092000e+03 | Inf
793.21/793.22 c 793s|750000 |311907 | 6040k| 8.1 | 425M| 797 | 0 |1700 |3331 |1700 | 218 | 222k| 250k|6813 | 0.000000e+00 | 2.092000e+03 | Inf
799.51/799.59 o 2090
799.51/799.59 c * 800s|755116 |315247 | 6100k| 8.1 | 433M| 797 | - |1700 |3759 |1700 | 225 | 224k| 252k|6856 | 0.000000e+00 | 2.090000e+03 | Inf
799.62/799.66 o 1908
799.62/799.66 c * 800s|755117 |288434 | 6100k| 8.1 | 390M| 797 | - |1700 |3759 |1700 | 225 | 224k| 252k|6856 | 0.000000e+00 | 1.908000e+03 | Inf
806.41/806.42 c 806s|760000 |291692 | 6167k| 8.1 | 398M| 797 | 0 |1700 |3214 |1700 | 217 | 226k| 254k|6895 | 0.000000e+00 | 1.908000e+03 | Inf
820.32/820.32 c 820s|770000 |298301 | 6310k| 8.2 | 415M| 797 | 0 |1700 |3415 |1700 | 230 | 231k| 257k|6977 | 0.000000e+00 | 1.908000e+03 | Inf
834.02/834.02 c 834s|780000 |305089 | 6444k| 8.3 | 432M| 797 | 0 |1700 |3332 |1700 | 205 | 237k| 261k|7050 | 0.000000e+00 | 1.908000e+03 | Inf
846.42/846.43 o 1888
846.42/846.43 c * 846s|788736 |307937 | 6571k| 8.3 | 443M| 797 | - |1700 |3080 |1700 | 206 | 241k| 264k|7100 | 0.000000e+00 | 1.888000e+03 | Inf
848.51/848.50 c 848s|790000 |308766 | 6597k| 8.4 | 445M| 797 | 0 |1700 |3098 |1700 | 211 | 242k| 264k|7124 | 0.000000e+00 | 1.888000e+03 | Inf
861.62/861.62 c 862s|800000 |315584 | 6723k| 8.4 | 461M| 797 | 0 |1700 |3118 |1700 | 200 | 247k| 267k|7183 | 0.000000e+00 | 1.888000e+03 | Inf
875.12/875.18 c 875s|810000 |322087 | 6858k| 8.5 | 477M| 797 | 0 |1700 |3187 |1700 | 187 | 252k| 271k|7247 | 0.000000e+00 | 1.888000e+03 | Inf
888.91/888.91 c 889s|820000 |328606 | 6996k| 8.5 | 495M| 797 | - |1700 |3621 | 0 | 0 | 257k| 275k|7326 | 0.000000e+00 | 1.888000e+03 | Inf
889.31/889.34 o 1867
889.31/889.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
889.31/889.34 c * 889s|820212 |325376 | 7001k| 8.5 | 490M| 797 | - |1700 |3559 |1700 | 236 | 257k| 275k|7330 | 0.000000e+00 | 1.867000e+03 | Inf
903.51/903.57 c 904s|830000 |331905 | 7152k| 8.6 | 507M| 797 | - |1700 |3145 | 0 | 0 | 263k| 278k|7403 | 0.000000e+00 | 1.867000e+03 | Inf
905.52/905.51 o 1814
905.52/905.51 c * 906s|831369 |324051 | 7171k| 8.6 | 496M| 797 | - |1700 |3111 |1700 | 235 | 264k| 279k|7418 | 0.000000e+00 | 1.814000e+03 | Inf
917.51/917.56 c 918s|840000 |329614 | 7291k| 8.7 | 510M| 797 | 0 |1700 |3530 |1700 | 201 | 268k| 282k|7472 | 0.000000e+00 | 1.814000e+03 | Inf
932.82/932.81 c 933s|850000 |335991 | 7463k| 8.8 | 528M| 797 | 0 |1700 |3305 |1700 | 207 | 274k| 286k|7528 | 0.000000e+00 | 1.814000e+03 | Inf
948.22/948.28 c 948s|860000 |342306 | 7645k| 8.9 | 545M| 797 | 0 |1700 |3166 |1700 | 248 | 280k| 290k|7594 | 0.000000e+00 | 1.814000e+03 | Inf
962.31/962.30 c 962s|870000 |348783 | 7790k| 9.0 | 563M| 797 | - |1700 |3911 | 0 | 0 | 286k| 294k|7652 | 0.000000e+00 | 1.814000e+03 | Inf
976.62/976.60 c 977s|880000 |355012 | 7938k| 9.0 | 579M| 797 | 0 |1700 |3547 |1700 | 262 | 291k| 298k|7717 | 0.000000e+00 | 1.814000e+03 | Inf
984.12/984.19 o 1787
984.12/984.19 c * 984s|884785 |353882 | 8028k| 9.1 | 581M| 797 | - |1700 |3220 |1700 | 212 | 294k| 299k|7751 | 0.000000e+00 | 1.787000e+03 | Inf
991.82/991.82 c 992s|890000 |357139 | 8108k| 9.1 | 590M| 797 | 0 |1700 |3447 |1700 | 214 | 297k| 301k|7790 | 0.000000e+00 | 1.787000e+03 | Inf
992.82/992.89 o 1783
992.82/992.89 c * 993s|890791 |356763 | 8119k| 9.1 | 591M| 797 | - |1700 |3498 |1700 | 219 | 298k| 301k|7795 | 0.000000e+00 | 1.783000e+03 | Inf
995.91/995.96 o 1688
995.91/995.96 c * 996s|892712 |340284 | 8153k| 9.1 | 570M| 797 | - |1700 |3529 |1700 | 215 | 299k| 302k|7796 | 0.000000e+00 | 1.688000e+03 | Inf
996.12/996.13 o 1611
996.12/996.13 c * 996s|892821 |325812 | 8154k| 9.1 | 549M| 797 | - |1700 |3539 |1700 | 223 | 299k| 302k|7796 | 0.000000e+00 | 1.611000e+03 | Inf
996.12/996.19 o 1508
996.12/996.19 c * 996s|892824 |305475 | 8154k| 9.1 | 518M| 797 | - |1700 |3541 |1700 | 218 | 299k| 302k|7796 | 0.000000e+00 | 1.508000e+03 | Inf
1007.62/1007.62 c 1008s|900000 |309496 | 8281k| 9.2 | 532M| 797 | 0 |1700 |3323 |1700 | 198 | 304k| 305k|7855 | 0.000000e+00 | 1.508000e+03 | Inf
1012.71/1012.74 o 1452
1012.71/1012.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1012.71/1012.74 c *1013s|903287 |301033 | 8339k| 9.2 | 521M| 797 | - |1700 |3289 |1700 | 233 | 306k| 306k|7874 | 0.000000e+00 | 1.452000e+03 | Inf
1012.71/1012.77 o 1398
1012.71/1012.77 c *1013s|903291 |291705 | 8339k| 9.2 | 505M| 797 | - |1700 |3289 |1700 | 234 | 306k| 306k|7874 | 0.000000e+00 | 1.398000e+03 | Inf
1023.52/1023.53 c 1024s|910000 |295417 | 8460k| 9.3 | 518M| 797 | - |1700 |3318 | 0 | 0 | 311k| 309k|7933 | 0.000000e+00 | 1.398000e+03 | Inf
1039.52/1039.51 c 1040s|920000 |301035 | 8637k| 9.4 | 537M| 797 | - |1700 |3316 | 0 | 0 | 317k| 313k|8010 | 0.000000e+00 | 1.398000e+03 | Inf
1055.22/1055.25 o 1395
1055.22/1055.25 c *1055s|929507 |305772 | 8819k| 9.5 | 555M| 797 | - |1700 |3332 |1700 | 218 | 324k| 317k|8072 | 0.000000e+00 | 1.395000e+03 | Inf
1056.03/1056.06 c 1056s|930000 |306072 | 8828k| 9.5 | 555M| 797 | - |1700 |3351 | 0 | 0 | 324k| 318k|8072 | 0.000000e+00 | 1.395000e+03 | Inf
1066.52/1066.51 o 1346
1066.52/1066.51 c *1066s|936547 |300415 | 8941k| 9.5 | 551M| 797 | - |1700 |3497 |1700 | 218 | 328k| 320k|8115 | 0.000000e+00 | 1.346000e+03 | Inf
1069.42/1069.43 o 1322
1069.42/1069.43 c *1069s|938472 |296960 | 8970k| 9.6 | 547M| 797 | - |1700 |3476 |1700 | 198 | 329k| 321k|8139 | 0.000000e+00 | 1.322000e+03 | Inf
1071.72/1071.75 c 1072s|940000 |297727 | 8992k| 9.6 | 550M| 797 | 0 |1700 |3731 |1700 | 208 | 330k| 322k|8142 | 0.000000e+00 | 1.322000e+03 | Inf
1073.32/1073.37 o 1241
1073.32/1073.37 c *1073s|940941 |282046 | 9010k| 9.6 | 521M| 797 | - |1700 |3673 |1700 | 239 | 330k| 322k|8142 | 0.000000e+00 | 1.241000e+03 | Inf
1073.42/1073.44 o 1128
1073.42/1073.44 c *1073s|940942 |259421 | 9010k| 9.6 | 477M| 797 | - |1700 |3673 |1700 | 239 | 330k| 322k|8142 | 0.000000e+00 | 1.128000e+03 | Inf
1090.42/1090.41 c 1090s|950000 |263632 | 9219k| 9.7 | 498M| 797 | 0 |1700 |3281 |1700 | 218 | 338k| 327k|8218 | 0.000000e+00 | 1.128000e+03 | Inf
1096.02/1096.01 o 1081
1096.02/1096.01 c *1096s|952815 |255062 | 9288k| 9.7 | 484M| 797 | - |1700 |3367 |1700 | 212 | 341k| 328k|8249 | 0.000000e+00 | 1.081000e+03 | Inf
1096.22/1096.22 o 1022
1096.22/1096.22 c *1096s|952881 |242659 | 9291k| 9.8 | 458M| 797 | - |1700 |3379 |1700 | 220 | 341k| 329k|8250 | 0.000000e+00 | 1.022000e+03 | Inf
1097.82/1097.83 o 910
1097.82/1097.83 c *1098s|953630 |212230 | 9311k| 9.8 | 396M| 797 | - |1700 |3541 |1700 | 230 | 342k| 329k|8252 | 0.000000e+00 | 9.100000e+02 | Inf
1098.22/1098.21 o 809
1098.22/1098.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1098.22/1098.21 c *1098s|953805 |182555 | 9314k| 9.8 | 342M| 797 | - |1700 |3373 |1700 | 224 | 342k| 329k|8252 | 0.000000e+00 | 8.090000e+02 | Inf
1101.02/1101.01 o 784
1101.02/1101.01 c *1101s|954918 |172868 | 9348k| 9.8 | 326M| 797 | - |1700 |2378 |1700 | 242 | 344k| 330k|8259 | 0.000000e+00 | 7.840000e+02 | Inf
1103.92/1103.90 o 736
1103.92/1103.90 c *1104s|955982 |163228 | 9388k| 9.8 | 311M| 797 | - |1700 |2113 |1700 | 216 | 345k| 331k|8285 | 0.000000e+00 | 7.360000e+02 | Inf
1104.92/1104.97 o 722
1104.92/1104.97 c *1105s|956481 |160748 | 9401k| 9.8 | 308M| 797 | - |1700 |2231 |1700 | 252 | 346k| 331k|8285 | 0.000000e+00 | 7.220000e+02 | Inf
1106.12/1106.12 o 667
1106.12/1106.12 c *1106s|956932 |143302 | 9415k| 9.8 | 279M| 797 | - |1700 |2162 |1700 | 230 | 347k| 332k|8286 | 0.000000e+00 | 6.670000e+02 | Inf
1107.12/1107.18 o 620
1107.12/1107.18 c *1107s|957309 |128297 | 9430k| 9.9 | 255M| 797 | - |1700 |2114 |1700 | 220 | 348k| 332k|8289 | 0.000000e+00 | 6.200000e+02 | Inf
1109.52/1109.57 o 562
1109.52/1109.57 c *1110s|958058 |119619 | 9461k| 9.9 | 245M| 797 | - |1700 |1927 |1700 | 229 | 349k| 333k|8310 | 0.000000e+00 | 5.620000e+02 | Inf
1109.52/1109.59 o 519
1109.52/1109.59 c *1110s|958059 |114486 | 9461k| 9.9 | 234M| 797 | - |1700 |1927 |1700 | 229 | 349k| 333k|8310 | 0.000000e+00 | 5.190000e+02 | Inf
1110.02/1110.06 o 493
1110.02/1110.06 c *1110s|958182 |110607 | 9467k| 9.9 | 228M| 797 | - |1700 |1751 |1700 | 208 | 350k| 333k|8315 | 0.000000e+00 | 4.930000e+02 | Inf
1110.02/1110.08 o 478
1110.02/1110.08 c *1110s|958186 |108833 | 9467k| 9.9 | 224M| 797 | - |1700 |1721 |1700 | 214 | 350k| 333k|8315 | 0.000000e+00 | 4.780000e+02 | Inf
1111.12/1111.11 o 477
1111.12/1111.11 c *1111s|958493 |107413 | 9478k| 9.9 | 225M| 797 | - |1700 |1854 |1700 | 199 | 350k| 334k|8317 | 0.000000e+00 | 4.770000e+02 | Inf
1112.02/1112.08 o 462
1112.02/1112.08 c *1112s|958707 |103913 | 9489k| 9.9 | 223M| 797 | - |1700 |1914 |1700 | 228 | 351k| 334k|8324 | 0.000000e+00 | 4.620000e+02 | Inf
1112.12/1112.15 o 387
1112.12/1112.15 c *1112s|958749 | 90163 | 9489k| 9.9 | 195M| 797 | - |1700 |1893 |1700 | 237 | 351k| 334k|8324 | 0.000000e+00 | 3.870000e+02 | Inf
1112.42/1112.44 o 351
1112.42/1112.44 c *1112s|958842 | 82520 | 9491k| 9.9 | 180M| 797 | - |1700 |1771 |1700 | 220 | 351k| 335k|8325 | 0.000000e+00 | 3.510000e+02 | Inf
1114.92/1114.90 c 1115s|960000 | 70036 | 9517k| 9.9 | 171M| 797 | - |1700 |2019 | 0 | 0 | 355k| 337k|8338 | 0.000000e+00 | 3.510000e+02 | Inf
1115.72/1115.70 o 326
1115.72/1115.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1115.72/1115.70 c *1116s|960413 | 62880 | 9527k| 9.9 | 158M| 797 | - |1700 |2054 |1700 | 222 | 356k| 337k|8344 | 0.000000e+00 | 3.260000e+02 | Inf
1115.72/1115.74 o 287
1115.72/1115.74 c *1116s|960414 | 51691 | 9527k| 9.9 | 137M| 797 | - |1700 |2054 |1700 | 222 | 356k| 337k|8344 | 0.000000e+00 | 2.870000e+02 | Inf
1116.32/1116.34 o 286
1116.32/1116.34 c *1116s|960696 | 44435 | 9532k| 9.9 | 128M| 797 | - |1700 |1838 |1700 | 190 | 357k| 337k|8348 | 0.000000e+00 | 2.860000e+02 | Inf
1116.32/1116.35 o 272
1116.32/1116.35 c *1116s|960697 | 43419 | 9532k| 9.9 | 126M| 797 | - |1700 |1838 |1700 | 190 | 357k| 337k|8348 | 0.000000e+00 | 2.720000e+02 | Inf
1116.72/1116.70 o 247
1116.72/1116.70 c *1117s|960836 | 31876 | 9535k| 9.9 | 103M| 797 | - |1700 |1773 |1700 | 203 | 357k| 338k|8348 | 0.000000e+00 | 2.470000e+02 | Inf
1116.82/1116.88 o 236
1116.82/1116.88 c *1117s|960903 | 24384 | 9536k| 9.9 | 90M| 797 | - |1700 |1685 |1700 | 190 | 358k| 338k|8348 | 0.000000e+00 | 2.360000e+02 | Inf
1116.92/1116.97 o 102
1116.92/1116.97 c *1117s|960956 | 9560 | 9537k| 9.9 | 58M| 797 | - |1700 |1687 |1700 | 206 | 358k| 338k|8348 | 0.000000e+00 | 1.020000e+02 | Inf
1116.92/1116.98 o 97
1116.92/1116.98 c *1117s|960961 | 9546 | 9537k| 9.9 | 58M| 797 | - |1700 |1536 |1700 | 201 | 358k| 338k|8348 | 0.000000e+00 | 9.700000e+01 | Inf
1116.92/1116.99 o 88
1116.92/1116.99 c *1117s|960967 | 9376 | 9537k| 9.9 | 57M| 797 | - |1700 |1522 |1700 | 201 | 358k| 338k|8348 | 0.000000e+00 | 8.800000e+01 | Inf
1117.22/1117.28 c
1117.22/1117.28 c SCIP Status : problem is solved [optimal solution found]
1117.22/1117.28 c Solving Time (sec) : 1117.26
1117.22/1117.28 c Solving Nodes : 961071
1117.22/1117.28 c Primal Bound : +8.80000000000000e+01 (216 solutions)
1117.22/1117.28 c Dual Bound : +8.80000000000000e+01
1117.22/1117.28 c Gap : 0.00 %
1117.22/1117.28 s OPTIMUM FOUND
1117.22/1117.28 v x200 -x199 -x198 x197 x196 -x195 x194 -x193 -x192 x191 -x190 x189 x188 -x187 -x186 x185 x184 -x183 x182 -x181 x180 -x179 x178 -x177
1117.22/1117.28 v x176 -x175 x174 -x173 -x172 x171 x170 -x169 -x168 x167 x166 -x165 x164 -x163 -x162 x161 -x160 x159 -x158 x157 x156 -x155
1117.22/1117.28 v x154 -x153 x152 -x151 -x150 x149 -x148 x147 -x146 x145 x144 -x143 x142 -x141 -x140 x139 x138 -x137 x136 -x135 x134 -x133 x132
1117.22/1117.28 v -x131 -x130 x129 x128 -x127 x126 -x125 x124 -x123 -x122 x121 x120 -x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111 -x110 x109
1117.22/1117.28 v x108 -x107 -x106 x105 x104 -x103 x102 -x101 x100 -x99 -x98 x97 -x96 x95 -x94 x93 -x92 x91 x90 -x89 x88 -x87 x86 -x85 -x84
1117.22/1117.28 v x83 x82 -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
1117.22/1117.28 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 -x30 x29 -x28
1117.22/1117.28 v 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 -x1
1117.22/1117.28 c SCIP Status : problem is solved [optimal solution found]
1117.22/1117.28 c Solving Time : 1117.26
1117.22/1117.28 c Original Problem :
1117.22/1117.28 c Problem name : HOME/instance-2705733-1278580121.wbo
1117.22/1117.28 c Variables : 1800 (1000 binary, 0 integer, 800 implicit integer, 0 continuous)
1117.22/1117.28 c Constraints : 1701 initial, 1701 maximal
1117.22/1117.28 c Presolved Problem :
1117.22/1117.28 c Problem name : t_HOME/instance-2705733-1278580121.wbo
1117.22/1117.28 c Variables : 1700 (900 binary, 0 integer, 800 implicit integer, 0 continuous)
1117.22/1117.28 c Constraints : 1600 initial, 5608 maximal
1117.22/1117.28 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1117.22/1117.28 c trivial : 0.00 0 0 0 0 0 0 0 0
1117.22/1117.28 c dualfix : 0.00 0 0 0 0 0 0 0 0
1117.22/1117.28 c boundshift : 0.00 0 0 0 0 0 0 0 0
1117.22/1117.28 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1117.22/1117.28 c implics : 0.00 0 0 0 0 0 0 0 0
1117.22/1117.28 c probing : 0.01 0 0 0 0 0 0 0 0
1117.22/1117.28 c linear : 0.02 0 100 0 800 0 101 0 0
1117.22/1117.28 c indicator : 0.00 0 0 0 0 0 0 0 0
1117.22/1117.28 c logicor : 0.00 0 0 0 0 0 0 0 0
1117.22/1117.28 c root node : - 1464 - - 1464 - - - -
1117.22/1117.28 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1117.22/1117.28 c integral : 0 0 0 993125 0 0 29 0 0 38122
1117.22/1117.28 c linear : 800 6 2444275 973916 0 17266 1628487 358185 0 0
1117.22/1117.28 c indicator : 800 0 2427316 974035 0 14603 27405788 0 0 0
1117.22/1117.28 c logicor : 0+ 0 1234036 0 0 9152 657319 0 0 0
1117.22/1117.28 c countsols : 0 0 0 842529 0 0 0 0 0 0
1117.22/1117.28 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1117.22/1117.28 c integral : 9.56 0.00 0.00 9.56 0.00
1117.22/1117.28 c linear : 53.67 0.00 27.44 26.23 0.00
1117.22/1117.28 c indicator : 129.21 0.02 72.39 56.80 0.00
1117.22/1117.28 c logicor : 15.66 0.00 15.66 0.00 0.00
1117.22/1117.28 c countsols : 0.11 0.00 0.00 0.11 0.00
1117.22/1117.28 c Propagators : Time Calls Cutoffs DomReds
1117.22/1117.28 c vbounds : 0.44 2 0 0
1117.22/1117.28 c rootredcost : 0.42 114 0 730
1117.22/1117.28 c pseudoobj : 53.22 2537497 93104 26649462
1117.22/1117.28 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1117.22/1117.28 c propagation : 5.66 119522 119024 382360 22.4 2039 13.2 -
1117.22/1117.28 c infeasible LP : 0.01 77 77 237 16.5 2 17.0 0
1117.22/1117.28 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1117.22/1117.28 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1117.22/1117.28 c pseudo solution : 0.00 11 11 39 12.4 0 0.0 -
1117.22/1117.28 c applied globally : - - - 338544 21.7 - - -
1117.22/1117.28 c applied locally : - - - 0 0.0 - - -
1117.22/1117.28 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1117.22/1117.28 c cut pool : 0.00 3 - - 44 - (maximal pool size: 256)
1117.22/1117.28 c redcost : 39.58 1024649 0 1488004 0 0
1117.22/1117.28 c impliedbounds : 0.00 4 0 0 0 0
1117.22/1117.28 c intobj : 0.00 0 0 0 0 0
1117.22/1117.28 c cgmip : 0.00 0 0 0 0 0
1117.22/1117.28 c gomory : 0.02 4 0 0 100 0
1117.22/1117.28 c strongcg : 0.02 4 0 0 282 0
1117.22/1117.28 c cmir : 0.01 4 0 0 0 0
1117.22/1117.28 c flowcover : 0.01 4 0 0 0 0
1117.22/1117.28 c clique : 0.00 1 0 0 0 0
1117.22/1117.28 c zerohalf : 0.00 0 0 0 0 0
1117.22/1117.28 c mcf : 0.00 1 0 0 0 0
1117.22/1117.28 c rapidlearning : 0.05 1 0 0 0 0
1117.22/1117.28 c Pricers : Time Calls Vars
1117.22/1117.28 c problem variables: 0.00 0 0
1117.22/1117.28 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1117.22/1117.28 c relpscost : 9.28 19086 0 29 0 0 38122
1117.22/1117.28 c pscost : 0.00 0 0 0 0 0 0
1117.22/1117.28 c inference : 107.20 842415 0 0 0 0 1684830
1117.22/1117.28 c mostinf : 0.00 0 0 0 0 0 0
1117.22/1117.28 c leastinf : 0.00 0 0 0 0 0 0
1117.22/1117.28 c fullstrong : 0.00 0 0 0 0 0 0
1117.22/1117.28 c allfullstrong : 0.00 0 0 0 0 0 0
1117.22/1117.28 c random : 0.00 0 0 0 0 0 0
1117.22/1117.28 c Primal Heuristics : Time Calls Found
1117.22/1117.28 c LP solutions : 1.98 - 114
1117.22/1117.28 c pseudo solutions : 0.00 - 0
1117.22/1117.28 c feaspump : 0.00 0 0
1117.22/1117.28 c oneopt : 0.61 93 0
1117.22/1117.28 c linesearchdiving : 0.12 209 0
1117.22/1117.28 c guideddiving : 0.12 209 0
1117.22/1117.28 c veclendiving : 0.13 209 0
1117.22/1117.28 c coefdiving : 0.13 210 0
1117.22/1117.28 c pscostdiving : 0.12 210 0
1117.22/1117.28 c fracdiving : 0.13 210 0
1117.22/1117.28 c objpscostdiving : 0.13 209 0
1117.22/1117.28 c rootsoldiving : 0.13 209 0
1117.22/1117.28 c crossover : 2.79 166 6
1117.22/1117.28 c trivial : 0.00 2 1
1117.22/1117.28 c simplerounding : 0.32 21232 0
1117.22/1117.28 c zirounding : 0.20 1000 0
1117.22/1117.28 c rounding : 0.21 1988 0
1117.22/1117.28 c shifting : 0.11 625 0
1117.22/1117.28 c intshifting : 0.00 0 0
1117.22/1117.28 c twoopt : 0.00 0 0
1117.22/1117.28 c fixandinfer : 0.00 0 0
1117.22/1117.28 c intdiving : 0.00 0 0
1117.22/1117.28 c actconsdiving : 0.00 0 0
1117.22/1117.28 c octane : 0.00 0 0
1117.22/1117.28 c rens : 0.01 1 0
1117.22/1117.28 c rins : 0.00 0 0
1117.22/1117.28 c localbranching : 0.00 0 0
1117.22/1117.28 c mutation : 0.00 0 0
1117.22/1117.28 c dins : 0.00 0 0
1117.22/1117.28 c undercover : 0.00 0 0
1117.22/1117.28 c nlp : 0.14 0 0
1117.22/1117.28 c trysol : 0.27 397 95
1117.22/1117.28 c LP : Time Calls Iterations Iter/call Iter/sec
1117.22/1117.28 c primal LP : 0.00 0 0 0.00 -
1117.22/1117.28 c dual LP : 510.49 313236 9523169 30.40 18655.00
1117.22/1117.28 c lex dual LP : 0.00 0 0 0.00 -
1117.22/1117.28 c barrier LP : 0.00 0 0 0.00 -
1117.22/1117.28 c diving/probing LP: 0.35 96 16074 167.44 46307.42
1117.22/1117.28 c strong branching : 9.13 8358 192909 23.08 21139.61
1117.22/1117.28 c (at root node) : - 33 3947 119.61 -
1117.22/1117.28 c conflict analysis: 0.00 0 0 0.00 -
1117.22/1117.28 c B&B Tree :
1117.22/1117.28 c number of runs : 1
1117.22/1117.28 c nodes : 961071
1117.22/1117.28 c nodes (total) : 961071
1117.22/1117.28 c nodes left : 0
1117.22/1117.28 c max depth : 797
1117.22/1117.28 c max depth (total): 797
1117.22/1117.28 c backtracks : 44901 (4.7%)
1117.22/1117.28 c delayed cutoffs : 81560
1117.22/1117.28 c repropagations : 233797 (13810849 domain reductions, 34732 cutoffs)
1117.22/1117.28 c avg switch length: 3.87
1117.22/1117.28 c switching time : 63.58
1117.22/1117.28 c Solution :
1117.22/1117.28 c Solutions found : 216 (115 improvements)
1117.22/1117.28 c First Solution : +3.94238000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1117.22/1117.28 c Primal Bound : +8.80000000000000e+01 (in run 1, after 960967 nodes, 1116.97 seconds, depth 28, found by <relaxation>)
1117.22/1117.28 c Dual Bound : +8.80000000000000e+01
1117.22/1117.28 c Gap : 0.00 %
1117.22/1117.28 c Root Dual Bound : +0.00000000000000e+00
1117.22/1117.28 c Root Iterations : 233
1117.32/1117.32 c Time complete: 1117.35.
OK 88
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705733-1278580121/watcher-2705733-1278580121 -o /tmp/evaluation-result-2705733-1278580121/solver-2705733-1278580121 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705733-1278580121.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.94 4/178 23680 /proc/meminfo: memFree=29404628/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=12548 CPUtime=0 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 1971 0 0 0 0 0 0 0 21 0 1 0 26225678 12849152 1890 4089446400 4194304 10345943 140737425781712 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/23680/statm: 3137 1891 429 1502 0 1630 0 [startup+0.0295569 s] /proc/loadavg: 2.00 2.00 1.94 4/178 23680 /proc/meminfo: memFree=29404628/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=23704 CPUtime=0.02 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 4966 0 0 0 2 0 0 0 21 0 1 0 26225678 24272896 4531 4089446400 4194304 10345943 140737425781712 18446744073709551615 5017658 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 5926 4531 536 1502 0 4419 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 23704 [startup+0.100547 s] /proc/loadavg: 2.00 2.00 1.94 4/178 23680 /proc/meminfo: memFree=29404628/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=39352 CPUtime=0.09 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 8743 0 0 0 8 1 0 0 21 0 1 0 26225678 40296448 8308 4089446400 4194304 10345943 140737425781712 18446744073709551615 9186026 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 9838 8308 636 1502 0 8331 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 39352 [startup+0.30051 s] /proc/loadavg: 2.00 2.00 1.94 4/178 23680 /proc/meminfo: memFree=29404628/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=38028 CPUtime=0.29 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 9905 0 0 0 28 1 0 0 21 0 1 0 26225678 38940672 8369 4089446400 4194304 10345943 140737425781712 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 9507 8369 751 1502 0 8000 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 38028 [startup+0.70044 s] /proc/loadavg: 2.00 2.00 1.94 4/178 23680 /proc/meminfo: memFree=29404628/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=38028 CPUtime=0.69 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 9905 0 0 0 66 3 0 0 22 0 1 0 26225678 38940672 8369 4089446400 4194304 10345943 140737425781712 18446744073709551615 6802900 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 9507 8369 751 1502 0 8000 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38028 [startup+1.50035 s] /proc/loadavg: 2.00 2.00 1.94 3/179 23681 /proc/meminfo: memFree=29375976/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=35652 CPUtime=1.49 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 10449 0 0 0 145 4 0 0 25 0 1 0 26225678 36507648 7781 4089446400 4194304 10345943 140737425781712 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 8913 7781 757 1502 0 7406 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 35652 [startup+3.10106 s] /proc/loadavg: 2.00 2.00 1.94 3/179 23681 /proc/meminfo: memFree=29375728/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=36496 CPUtime=3.09 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 13347 0 0 0 302 7 0 0 25 0 1 0 26225678 37371904 7996 4089446400 4194304 10345943 140737425781712 18446744073709551615 6119675 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 9124 7996 757 1502 0 7617 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 36496 [startup+6.30059 s] /proc/loadavg: 2.00 2.00 1.94 3/179 23681 /proc/meminfo: memFree=29366092/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=48748 CPUtime=6.29 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 16158 0 0 0 620 9 0 0 25 0 1 0 26225678 49917952 10807 4089446400 4194304 10345943 140737425781712 18446744073709551615 9100035 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 12187 10807 761 1502 0 10680 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 48748 [startup+12.7004 s] /proc/loadavg: 1.93 1.98 1.93 3/179 23708 /proc/meminfo: memFree=29592372/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=50376 CPUtime=12.69 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 19482 0 0 0 1256 13 0 0 25 0 1 0 26225678 51585024 11417 4089446400 4194304 10345943 140737425781712 18446744073709551615 9137947 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 12594 11417 761 1502 0 11087 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 50376 [startup+25.5011 s] /proc/loadavg: 1.94 1.98 1.93 3/179 23709 /proc/meminfo: memFree=29560372/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=70256 CPUtime=25.49 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 25058 0 0 0 2527 22 0 0 25 0 1 0 26225678 71942144 16140 4089446400 4194304 10345943 140737425781712 18446744073709551615 8933795 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 17564 16140 761 1502 0 16057 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 70256 [startup+51.1005 s] /proc/loadavg: 1.96 1.98 1.93 3/179 23709 /proc/meminfo: memFree=29491968/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=109288 CPUtime=51.09 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 36946 0 0 0 5068 41 0 0 25 0 1 0 26225678 111910912 25586 4089446400 4194304 10345943 140737425781712 18446744073709551615 6777445 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 27322 25586 761 1502 0 25815 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 109288 [startup+102.307 s] /proc/loadavg: 1.98 1.98 1.93 3/179 23711 /proc/meminfo: memFree=29350192/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=190068 CPUtime=102.3 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 65359 0 0 0 10155 75 0 0 25 0 1 0 26225678 194629632 44743 4089446400 4194304 10345943 140737425781712 18446744073709551615 6803054 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 47517 44743 761 1502 0 46010 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 190068 [startup+162.301 s] /proc/loadavg: 2.04 2.00 1.94 3/179 23712 /proc/meminfo: memFree=29199480/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=276060 CPUtime=162.3 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 109178 0 0 0 16113 117 0 0 25 0 1 0 26225678 282685440 65705 4089446400 4194304 10345943 140737425781712 18446744073709551615 4900920 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 69015 65705 761 1502 0 67508 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 276060 [startup+222.301 s] /proc/loadavg: 2.01 2.00 1.94 3/179 23714 /proc/meminfo: memFree=29048768/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=355624 CPUtime=222.29 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 149448 0 0 0 22069 160 0 0 25 0 1 0 26225678 364158976 84962 4089446400 4194304 10345943 140737425781712 18446744073709551615 4701030 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 88906 84962 761 1502 0 87399 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 355624 [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 23715 /proc/meminfo: memFree=28897692/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=444732 CPUtime=282.3 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 178222 0 0 0 28026 204 0 0 25 0 1 0 26225678 455405568 104666 4089446400 4194304 10345943 140737425781712 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 111183 104666 761 1502 0 109676 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 444732 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.94 3/179 23717 /proc/meminfo: memFree=28751204/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=523548 CPUtime=342.3 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 210065 0 0 0 33986 244 0 0 25 0 1 0 26225678 536113152 123636 4089446400 4194304 10345943 140737425781712 18446744073709551615 6558406 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 130887 123636 761 1502 0 129380 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 523548 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.94 3/179 23719 /proc/meminfo: memFree=28602236/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=596132 CPUtime=402.3 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 245961 0 0 0 39942 288 0 0 25 0 1 0 26225678 610439168 141252 4089446400 4194304 10345943 140737425781712 18446744073709551615 8160445 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 149033 141252 761 1502 0 147526 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 596132 [startup+462.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 23720 /proc/meminfo: memFree=28514740/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=611408 CPUtime=462.3 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 270891 0 0 0 45897 333 0 0 25 0 1 0 26225678 626081792 144850 4089446400 4194304 10345943 140737425781712 18446744073709551615 4706194 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 152852 144850 761 1502 0 151345 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 611408 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 23721 /proc/meminfo: memFree=28408188/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=645056 CPUtime=522.3 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 287946 0 0 0 51856 374 0 0 25 0 1 0 26225678 660537344 153144 4089446400 4194304 10345943 140737425781712 18446744073709551615 5614786 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 161264 153144 761 1502 0 159757 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 645056 [startup+582.301 s] /proc/loadavg: 2.00 2.00 1.94 3/179 23723 /proc/meminfo: memFree=28307560/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=669624 CPUtime=582.31 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 330800 0 0 0 57807 424 0 0 25 0 1 0 26225678 685694976 159459 4089446400 4194304 10345943 140737425781712 18446744073709551615 6068911 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 167406 159459 761 1502 0 165899 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 669624 [startup+642.301 s] /proc/loadavg: 2.00 2.00 1.94 3/179 23728 /proc/meminfo: memFree=28222704/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=677352 CPUtime=642.31 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 352717 0 0 0 63759 472 0 0 25 0 1 0 26225678 693608448 161189 4089446400 4194304 10345943 140737425781712 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 169338 161189 761 1502 0 167831 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 677352 [startup+702.3 s] /proc/loadavg: 2.06 2.02 1.94 3/179 23730 /proc/meminfo: memFree=28135000/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=688064 CPUtime=702.31 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 395393 0 0 0 69710 521 0 0 25 0 1 0 26225678 704577536 163702 4089446400 4194304 10345943 140737425781712 18446744073709551615 6519449 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 172016 163702 761 1502 0 170509 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 688064 [startup+762.307 s] /proc/loadavg: 2.02 2.01 1.94 3/179 23731 /proc/meminfo: memFree=28052248/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=692848 CPUtime=762.32 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 426397 0 0 0 75660 572 0 0 25 0 1 0 26225678 709476352 165022 4089446400 4194304 10345943 140737425781712 18446744073709551615 4212454 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 173212 165022 761 1502 0 171705 0 Current children cumulated CPU time (s) 762.32 Current children cumulated vsize (KiB) 692848 [startup+822.301 s] /proc/loadavg: 2.01 2.00 1.94 4/179 23732 /proc/meminfo: memFree=27968608/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=701360 CPUtime=822.31 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 457036 0 0 0 81604 627 0 0 25 0 1 0 26225678 718192640 167016 4089446400 4194304 10345943 140737425781712 18446744073709551615 5012587 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 175340 167016 761 1502 0 173833 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 701360 [startup+882.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 23734 /proc/meminfo: memFree=27870360/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=720152 CPUtime=882.32 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 469772 0 0 0 87551 681 0 0 25 0 1 0 26225678 737435648 171972 4089446400 4194304 10345943 140737425781712 18446744073709551615 5926454 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 180038 171972 761 1502 0 178531 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 720152 [startup+942.301 s] /proc/loadavg: 2.00 2.00 1.94 3/179 23736 /proc/meminfo: memFree=27776172/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=741864 CPUtime=942.31 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 491873 0 0 0 93490 741 0 0 25 0 1 0 26225678 759668736 176458 4089446400 4194304 10345943 140737425781712 18446744073709551615 4900920 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 185466 176458 761 1502 0 183959 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 741864 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 23738 /proc/meminfo: memFree=27664516/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=783000 CPUtime=1002.31 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 525012 0 0 0 99430 801 0 0 25 0 1 0 26225678 801792000 185189 4089446400 4194304 10345943 140737425781712 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 195750 185189 761 1502 0 194243 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 783000 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 23739 /proc/meminfo: memFree=27565876/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=808876 CPUtime=1062.32 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 551579 0 0 0 105371 861 0 0 25 0 1 0 26225678 828289024 190731 4089446400 4194304 10345943 140737425781712 18446744073709551615 6328950 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 202219 190731 761 1502 0 200712 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 808876 Solver just ended. Dumping a history of the last processes samples [startup+1075.1 s] /proc/loadavg: 2.00 2.00 1.94 3/179 23740 /proc/meminfo: memFree=27541568/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=818520 CPUtime=1075.11 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 570491 0 0 0 106637 874 0 0 25 0 1 0 26225678 838164480 192277 4089446400 4194304 10345943 140737425781712 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 204630 192277 761 1502 0 203123 0 Current children cumulated CPU time (s) 1075.11 Current children cumulated vsize (KiB) 818520 [startup+1100.7 s] /proc/loadavg: 2.00 2.00 1.94 3/179 23740 /proc/meminfo: memFree=27504224/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=824716 CPUtime=1100.72 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 582733 0 0 0 109171 901 0 0 25 0 1 0 26225678 844509184 193703 4089446400 4194304 10345943 140737425781712 18446744073709551615 4688020 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 206179 193703 762 1502 0 204672 0 Current children cumulated CPU time (s) 1100.72 Current children cumulated vsize (KiB) 824716 [startup+1107.1 s] /proc/loadavg: 2.00 2.00 1.94 3/179 23740 /proc/meminfo: memFree=27494176/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=825176 CPUtime=1107.12 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 593055 0 0 0 109803 909 0 0 25 0 1 0 26225678 844980224 193868 4089446400 4194304 10345943 140737425781712 18446744073709551615 5614780 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 206294 193868 762 1502 0 204787 0 Current children cumulated CPU time (s) 1107.12 Current children cumulated vsize (KiB) 825176 [startup+1113.5 s] /proc/loadavg: 2.00 2.00 1.94 3/179 23740 /proc/meminfo: memFree=27485356/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=824992 CPUtime=1113.52 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 603356 0 0 0 110437 915 0 0 25 0 1 0 26225678 844791808 193921 4089446400 4194304 10345943 140737425781712 18446744073709551615 4677646 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 206248 193921 762 1502 0 204741 0 Current children cumulated CPU time (s) 1113.52 Current children cumulated vsize (KiB) 824992 [startup+1115.1 s] /proc/loadavg: 2.00 2.00 1.94 3/179 23740 /proc/meminfo: memFree=27484116/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=825004 CPUtime=1115.12 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 605457 0 0 0 110595 917 0 0 25 0 1 0 26225678 844804096 193942 4089446400 4194304 10345943 140737425781712 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 206251 193942 762 1502 0 204744 0 Current children cumulated CPU time (s) 1115.12 Current children cumulated vsize (KiB) 825004 [startup+1116.7 s] /proc/loadavg: 2.00 2.00 1.94 3/179 23740 /proc/meminfo: memFree=27481632/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=825184 CPUtime=1116.72 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 609495 0 0 0 110754 918 0 0 25 0 1 0 26225678 844988416 193924 4089446400 4194304 10345943 140737425781712 18446744073709551615 6325586 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 206296 193924 762 1502 0 204789 0 Current children cumulated CPU time (s) 1116.72 Current children cumulated vsize (KiB) 825184 [startup+1117.1 s] /proc/loadavg: 2.00 2.00 1.94 3/179 23740 /proc/meminfo: memFree=27481632/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=825184 CPUtime=1117.12 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 609499 0 0 0 110794 918 0 0 25 0 1 0 26225678 844988416 193928 4089446400 4194304 10345943 140737425781712 18446744073709551615 6260688 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23680/statm: 206296 193928 762 1502 0 204789 0 Current children cumulated CPU time (s) 1117.12 Current children cumulated vsize (KiB) 825184 [startup+1117.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 23740 /proc/meminfo: memFree=27481632/32950928 swapFree=67111528/67111528 [pid=23680] ppid=23678 vsize=785892 CPUtime=1117.32 /proc/23680/stat : 23680 (pbscip.linux.x8) R 23678 23680 23086 0 -1 4202496 609503 0 0 0 110813 919 0 0 25 0 1 0 26225678 804753408 152593 4089446400 4194304 10345943 140737425781712 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/23680/statm: 196473 152593 766 1502 0 194966 0 Current children cumulated CPU time (s) 1117.32 Current children cumulated vsize (KiB) 785892 Child status: 0 Real time (s): 1117.32 CPU time (s): 1117.35 CPU user time (s): 1108.13 CPU system time (s): 9.2206 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 832864 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1108.13 system time used= 9.2206 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 609506 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= 1 involuntary context switches= 872 runsolver used 1.92471 second user time and 3.80642 second system time The end
Begin job on node122 at 2010-07-08 11:08:41 IDJOB=2705733 IDBENCH=79397 IDSOLVER=1214 FILE ID=node122/2705733-1278580121 PBS_JOBID= 11240209 Free space on /tmp= 73396 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh215_wcsp.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705733-1278580121/watcher-2705733-1278580121 -o /tmp/evaluation-result-2705733-1278580121/solver-2705733-1278580121 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705733-1278580121.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f6fb73f0a02abbaaed6c5aa05fa83af7 RANDOM SEED=948873935 node122.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.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 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 : 5226.16 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.839 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.839 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.81 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.839 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.76 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.839 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.67 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.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 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: 32950928 kB MemFree: 29405032 kB Buffers: 165552 kB Cached: 2886248 kB SwapCached: 0 kB Active: 1393180 kB Inactive: 1985304 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29405032 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 12828 kB Writeback: 0 kB AnonPages: 326924 kB Mapped: 17964 kB Slab: 103024 kB PageTables: 5020 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 471760 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= 73384 MiB End job on node122 at 2010-07-08 11:27:19