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.2 with Clp 1.11.1 (Release Version) as LP solver | MSAT (TO) | 1802.16 | 1811.77 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh18_wcsp.wbo |
| MD5SUM | 11b5917216c9682d33b4eac8f024a9c6 |
| 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 | 130 |
| Best CPU time to get the best result obtained on this benchmark | 1.55476 |
| 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 | 950 |
| Number of soft constraints | 850 |
| Number of constraints which are clauses | 850 |
| 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 | 420926 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 420925 |
| 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.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2700105-1278533976.wbo>
0.00/0.01 c original problem has 1900 variables (1050 bin, 0 int, 0 impl, 850 cont) and 1801 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.03 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
0.00/0.04 c (round 2) 100 del vars, 101 del conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
0.00/0.06 c (0.1s) probing: 101/950 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.00/0.06 c presolving (3 rounds):
0.00/0.06 c 100 deleted vars, 101 deleted constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 1050 implications, 0 cliques
0.00/0.06 c presolved problem has 1800 variables (950 bin, 0 int, 0 impl, 850 cont) and 1700 constraints
0.00/0.06 c 850 constraints of type <indicator>
0.00/0.06 c 850 constraints of type <linear>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.04
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 1.2.1.2
0.00/0.06 c
0.00/0.06 c # frequency for displaying node information lines
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06 c display/freq = 10000
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/time = 1799.99
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/memory = 3420
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify inequalities
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/linear/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify knapsacks
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/rapidlearning/freq = 0
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.00/0.06 c
0.00/0.06 o 420925
0.00/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.06 c t 0.1s| 1 | 0 | 0 | - |6129k| 0 | - |1800 |1700 | 0 | 0 | 0 | 0 | 0 | -- | 4.209250e+05 | Inf
0.00/0.07 c 0.1s| 1 | 0 | 0 | - |6526k| 0 | 0 |1800 |1700 |1800 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.00/0.07 c 0.1s| 1 | 0 | 34 | - |6563k| 0 | 6 |1800 |1700 |1800 | 62 | 62 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.00/0.08 c 0.1s| 1 | 0 | 115 | - |6619k| 0 | 55 |1800 |1700 |1800 | 107 | 107 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.08/0.09 c 0.1s| 1 | 0 | 176 | - |6783k| 0 | 54 |1800 |1700 |1800 | 145 | 145 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 214 | - |6816k| 0 | 52 |1800 |1700 |1800 | 160 | 160 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 245 | - |6843k| 0 | 57 |1800 |1700 |1800 | 162 | 162 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 246 | - |6868k| 0 | 57 |1800 |1700 |1800 | 163 | 163 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.29/0.32 c 0.3s| 1 | 2 | 362 | - |6895k| 0 | 57 |1800 |1700 |1800 | 163 | 163 | 0 | 33 | 0.000000e+00 | 4.209250e+05 | Inf
2.69/2.74 o 6852
2.69/2.74 c * 2.6s| 2307 | 2164 | 4129 | 1.7 | 10M| 636 | - |1800 |1723 |1800 | 243 | 508 | 23 | 641 | 0.000000e+00 | 6.852000e+03 | Inf
8.99/9.05 c 8.8s| 10000 | 9595 | 16392 | 1.6 | 20M| 636 | 0 |1800 |2598 |1800 | 182 |2303 | 898 | 782 | 0.000000e+00 | 6.852000e+03 | Inf
16.70/16.70 o 6834
16.70/16.70 c *16.2s| 19155 | 17822 | 29186 | 1.5 | 32M| 636 | - |1800 |4077 |1800 | 198 |4145 |3977 | 792 | 0.000000e+00 | 6.834000e+03 | Inf
16.70/16.70 o 6818
16.70/16.70 c *16.2s| 19156 | 17801 | 29189 | 1.5 | 32M| 636 | - |1800 |4077 |1800 | 198 |4145 |3977 | 792 | 0.000000e+00 | 6.818000e+03 | Inf
17.39/17.42 c 16.9s| 20000 | 18595 | 30421 | 1.5 | 32M| 636 | 0 |1800 |3812 |1800 | 182 |4284 |4184 | 792 | 0.000000e+00 | 6.818000e+03 | Inf
22.49/22.54 o 6793
22.49/22.54 c *21.9s| 26035 | 23931 | 39486 | 1.5 | 40M| 636 | - |1800 |3821 |1800 | 198 |5670 |6344 | 796 | 0.000000e+00 | 6.793000e+03 | Inf
25.99/26.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.99/26.04 c 25.4s| 30000 | 27444 | 45525 | 1.5 | 45M| 636 | 0 |1800 |4023 |1800 | 195 |6558 |7949 | 797 | 0.000000e+00 | 6.793000e+03 | Inf
34.39/34.40 c 33.5s| 40000 | 36275 | 59488 | 1.5 | 57M| 636 | 0 |1800 |3558 |1800 | 243 |8540 | 11k| 810 | 0.000000e+00 | 6.793000e+03 | Inf
34.59/34.61 o 6628
34.59/34.61 c *33.7s| 40234 | 35955 | 59917 | 1.5 | 57M| 636 | - |1800 |3586 |1800 | 237 |8596 | 11k| 810 | 0.000000e+00 | 6.628000e+03 | Inf
34.59/34.62 o 6503
34.59/34.62 c *33.7s| 40236 | 35435 | 59941 | 1.5 | 56M| 636 | - |1800 |3586 |1800 | 236 |8597 | 11k| 810 | 0.000000e+00 | 6.503000e+03 | Inf
34.59/34.62 o 6250
34.59/34.62 c *33.7s| 40237 | 34274 | 59943 | 1.5 | 54M| 636 | - |1800 |3586 |1800 | 236 |8597 | 11k| 810 | 0.000000e+00 | 6.250000e+03 | Inf
42.79/42.87 c 41.8s| 50000 | 42797 | 76148 | 1.5 | 67M| 636 | 0 |1800 |3873 |1800 | 187 | 10k| 15k| 814 | 0.000000e+00 | 6.250000e+03 | Inf
51.39/51.44 c 50.1s| 60000 | 51339 | 91534 | 1.5 | 79M| 636 | 0 |1800 |4766 |1800 | 252 | 13k| 20k| 814 | 0.000000e+00 | 6.250000e+03 | Inf
59.89/59.97 c 58.5s| 70000 | 59965 |105650 | 1.5 | 92M| 636 | 0 |1800 |4830 |1800 | 182 | 15k| 25k| 825 | 0.000000e+00 | 6.250000e+03 | Inf
68.59/68.64 c 66.9s| 80000 | 68696 |121118 | 1.5 | 104M| 636 | 0 |1800 |4674 |1800 | 199 | 17k| 29k| 869 | 0.000000e+00 | 6.250000e+03 | Inf
77.09/77.10 c 75.2s| 90000 | 77416 |133878 | 1.5 | 116M| 636 | 0 |1800 |4619 |1800 | 198 | 19k| 33k| 911 | 0.000000e+00 | 6.250000e+03 | Inf
85.49/85.57 c 83.5s|100000 | 86065 |146535 | 1.5 | 128M| 636 | 0 |1800 |4505 |1800 | 204 | 21k| 37k| 952 | 0.000000e+00 | 6.250000e+03 | Inf
94.20/94.22 c 91.9s|110000 | 94960 |159757 | 1.5 | 141M| 636 | 0 |1800 |5160 |1800 | 214 | 23k| 41k|1037 | 0.000000e+00 | 6.250000e+03 | Inf
102.60/102.69 c 100s|120000 |103581 |171724 | 1.4 | 154M| 636 | 0 |1800 |5043 |1800 | 192 | 25k| 46k|1080 | 0.000000e+00 | 6.250000e+03 | Inf
109.09/109.17 o 6078
109.09/109.17 c * 106s|127260 |107893 |184026 | 1.4 | 160M| 636 | - |1800 |5643 |1800 | 194 | 27k| 49k|1146 | 0.000000e+00 | 6.078000e+03 | Inf
111.20/111.22 o 6024
111.20/111.22 c * 108s|129468 |109059 |187613 | 1.4 | 161M| 636 | - |1800 |5734 |1800 | 208 | 27k| 49k|1149 | 0.000000e+00 | 6.024000e+03 | Inf
111.70/111.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.70/111.77 c 109s|130000 |109512 |188470 | 1.4 | 161M| 636 | 0 |1800 |5758 |1800 | 197 | 27k| 50k|1196 | 0.000000e+00 | 6.024000e+03 | Inf
120.30/120.38 c 117s|140000 |118072 |201689 | 1.4 | 173M| 636 | 0 |1800 |4602 |1800 | 201 | 29k| 54k|1244 | 0.000000e+00 | 6.024000e+03 | Inf
129.29/129.33 c 126s|150000 |126706 |216618 | 1.4 | 186M| 636 | 0 |1800 |5717 |1800 | 178 | 32k| 59k|1305 | 0.000000e+00 | 6.024000e+03 | Inf
136.00/136.05 o 6016
136.00/136.05 c * 133s|157773 |133441 |227112 | 1.4 | 196M| 636 | - |1800 |5812 |1800 | 199 | 34k| 62k|1345 | 0.000000e+00 | 6.016000e+03 | Inf
138.20/138.24 c 135s|160000 |135300 |231640 | 1.4 | 199M| 636 | 0 |1800 |5790 |1800 | 192 | 35k| 63k|1382 | 0.000000e+00 | 6.016000e+03 | Inf
146.69/146.77 c 143s|170000 |143986 |243439 | 1.4 | 211M| 636 | 0 |1800 |5964 |1800 | 192 | 37k| 68k|1408 | 0.000000e+00 | 6.016000e+03 | Inf
148.09/148.14 o 5990
148.09/148.14 c * 144s|171783 |145129 |245628 | 1.4 | 212M| 636 | - |1800 |5351 |1800 | 206 | 37k| 68k|1414 | 0.000000e+00 | 5.990000e+03 | Inf
154.60/154.63 c 151s|180000 |152498 |256225 | 1.4 | 222M| 636 | 0 |1800 |5529 |1800 | 183 | 39k| 71k|1455 | 0.000000e+00 | 5.990000e+03 | Inf
163.30/163.39 c 159s|190000 |161489 |267564 | 1.4 | 234M| 636 | 0 |1800 |5683 |1800 | 191 | 41k| 75k|1496 | 0.000000e+00 | 5.990000e+03 | Inf
173.00/173.09 c 168s|200000 |170038 |278928 | 1.4 | 247M| 636 | 0 |1800 |5500 |1800 | 185 | 43k| 80k|1527 | 0.000000e+00 | 5.990000e+03 | Inf
173.90/173.98 o 5714
173.90/173.98 c * 169s|201099 |163614 |280570 | 1.4 | 234M| 636 | - |1800 |5502 |1800 | 185 | 43k| 80k|1540 | 0.000000e+00 | 5.714000e+03 | Inf
181.30/181.39 c 176s|210000 |171021 |294291 | 1.4 | 245M| 636 | - |1800 |5512 | 0 | 0 | 45k| 85k|1644 | 0.000000e+00 | 5.714000e+03 | Inf
189.40/189.47 c 183s|220000 |179549 |309116 | 1.4 | 258M| 636 | 0 |1800 |5755 |1800 | 193 | 48k| 90k|1706 | 0.000000e+00 | 5.714000e+03 | Inf
194.30/194.39 o 5623
194.30/194.39 c * 188s|226471 |182044 |316340 | 1.4 | 260M| 636 | - |1800 |5367 |1800 | 243 | 49k| 93k|1730 | 0.000000e+00 | 5.623000e+03 | Inf
194.40/194.40 o 5491
194.40/194.40 c * 188s|226472 |177386 |316342 | 1.4 | 250M| 636 | - |1800 |5367 |1800 | 243 | 49k| 93k|1730 | 0.000000e+00 | 5.491000e+03 | Inf
197.20/197.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
197.20/197.24 c 191s|230000 |180408 |321073 | 1.4 | 255M| 636 | 0 |1800 |5126 |1800 | 193 | 50k| 94k|1741 | 0.000000e+00 | 5.491000e+03 | Inf
205.00/205.08 c 198s|240000 |189180 |332963 | 1.4 | 267M| 636 | 0 |1800 |5748 |1800 | 182 | 52k| 98k|1784 | 0.000000e+00 | 5.491000e+03 | Inf
210.80/210.84 o 5476
210.80/210.84 c * 203s|247291 |195040 |342337 | 1.4 | 275M| 636 | - |1800 |6090 |1800 | 194 | 53k| 101k|1807 | 0.000000e+00 | 5.476000e+03 | Inf
210.80/210.85 o 5361
210.80/210.85 c * 203s|247292 |190709 |342339 | 1.4 | 265M| 636 | - |1800 |6090 |1800 | 194 | 53k| 101k|1807 | 0.000000e+00 | 5.361000e+03 | Inf
213.10/213.15 c 206s|250000 |193003 |346622 | 1.4 | 268M| 636 | - |1800 |6207 | 0 | 0 | 54k| 103k|1848 | 0.000000e+00 | 5.361000e+03 | Inf
221.30/221.33 c 213s|260000 |201784 |361503 | 1.4 | 281M| 636 | 0 |1800 |6301 |1800 | 205 | 56k| 107k|1883 | 0.000000e+00 | 5.361000e+03 | Inf
229.40/229.40 c 221s|270000 |210415 |377563 | 1.4 | 293M| 636 | 0 |1800 |5282 |1800 | 187 | 59k| 111k|1960 | 0.000000e+00 | 5.361000e+03 | Inf
239.60/239.69 c 231s|280000 |218830 |391410 | 1.4 | 306M| 636 | 0 |1800 |5656 |1800 | 215 | 61k| 116k|2020 | 0.000000e+00 | 5.361000e+03 | Inf
243.40/243.46 o 5249
243.40/243.46 c * 234s|284603 |217521 |398249 | 1.4 | 299M| 636 | - |1800 |4429 |1800 | 209 | 62k| 118k|2063 | 0.000000e+00 | 5.249000e+03 | Inf
243.40/243.48 o 5154
243.40/243.48 c * 234s|284604 |212634 |398254 | 1.4 | 287M| 636 | - |1800 |4429 |1800 | 209 | 62k| 118k|2063 | 0.000000e+00 | 5.154000e+03 | Inf
251.91/251.97 o 5144
251.91/251.97 c * 242s|288997 |215893 |404047 | 1.4 | 291M| 636 | - |1800 |4820 |1800 | 191 | 63k| 120k|2078 | 0.000000e+00 | 5.144000e+03 | Inf
254.40/254.44 c 245s|290000 |216751 |405736 | 1.4 | 292M| 636 | 0 |1800 |4916 |1800 | 180 | 63k| 120k|2086 | 0.000000e+00 | 5.144000e+03 | Inf
262.10/262.19 o 5055
262.10/262.19 c * 252s|293957 |215326 |412106 | 1.4 | 287M| 636 | - |1800 |4705 |1800 | 193 | 64k| 122k|2122 | 0.000000e+00 | 5.055000e+03 | Inf
271.40/271.48 c 261s|300000 |220504 |419216 | 1.4 | 294M| 636 | 0 |1800 |4897 |1800 | 194 | 65k| 125k|2145 | 0.000000e+00 | 5.055000e+03 | Inf
287.21/287.25 c 276s|310000 |229194 |431671 | 1.4 | 308M| 636 | - |1800 |4999 | 0 | 0 | 67k| 128k|2195 | 0.000000e+00 | 5.055000e+03 | Inf
302.60/302.64 o 5039
302.60/302.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
302.60/302.64 c * 290s|318964 |236056 |445983 | 1.4 | 318M| 636 | - |1800 |5579 |1800 | 197 | 70k| 132k|2229 | 0.000000e+00 | 5.039000e+03 | Inf
302.60/302.65 o 4993
302.60/302.65 c * 290s|318965 |233329 |445988 | 1.4 | 311M| 636 | - |1800 |5579 |1800 | 197 | 70k| 132k|2229 | 0.000000e+00 | 4.993000e+03 | Inf
304.30/304.38 c 292s|320000 |234238 |447899 | 1.4 | 312M| 636 | 0 |1800 |5332 |1800 | 180 | 70k| 133k|2237 | 0.000000e+00 | 4.993000e+03 | Inf
319.71/319.76 c 307s|330000 |242779 |463819 | 1.4 | 326M| 636 | 0 |1800 |5035 |1800 | 242 | 73k| 137k|2300 | 0.000000e+00 | 4.993000e+03 | Inf
335.70/335.79 c 322s|340000 |251221 |477539 | 1.4 | 338M| 636 | 0 |1800 |4981 |1800 | 181 | 75k| 142k|2338 | 0.000000e+00 | 4.993000e+03 | Inf
351.81/351.86 c 337s|350000 |259809 |490529 | 1.4 | 351M| 636 | 0 |1800 |4320 |1800 | 180 | 77k| 146k|2396 | 0.000000e+00 | 4.993000e+03 | Inf
368.01/368.06 c 353s|360000 |268196 |508199 | 1.4 | 364M| 636 | 0 |1800 |3871 |1800 | 173 | 80k| 150k|2516 | 0.000000e+00 | 4.993000e+03 | Inf
376.01/376.09 c 360s|370000 |276603 |521880 | 1.4 | 378M| 636 | 0 |1800 |4058 |1800 | 191 | 82k| 154k|2546 | 0.000000e+00 | 4.993000e+03 | Inf
383.70/383.70 c 367s|380000 |285185 |532590 | 1.4 | 391M| 636 | 0 |1800 |5871 |1800 | 193 | 84k| 158k|2571 | 0.000000e+00 | 4.993000e+03 | Inf
391.51/391.58 c 375s|390000 |293694 |544373 | 1.4 | 404M| 636 | 0 |1800 |5347 |1800 | 185 | 87k| 162k|2600 | 0.000000e+00 | 4.993000e+03 | Inf
400.01/400.05 c 383s|400000 |302094 |562685 | 1.4 | 417M| 636 | 0 |1800 |4397 |1800 | 189 | 89k| 167k|2678 | 0.000000e+00 | 4.993000e+03 | Inf
408.21/408.28 c 390s|410000 |310543 |578502 | 1.4 | 430M| 636 | 0 |1800 |5116 |1800 | 180 | 92k| 171k|2717 | 0.000000e+00 | 4.993000e+03 | Inf
416.10/416.14 c 398s|420000 |319146 |590984 | 1.4 | 443M| 636 | 0 |1800 |5684 |1800 | 184 | 94k| 175k|2728 | 0.000000e+00 | 4.993000e+03 | Inf
419.60/419.62 o 4974
419.60/419.62 c * 401s|424022 |321285 |598074 | 1.4 | 446M| 636 | - |1800 |5945 |1800 | 205 | 96k| 176k|2753 | 0.000000e+00 | 4.974000e+03 | Inf
424.51/424.53 c 406s|430000 |326300 |606332 | 1.4 | 454M| 636 | 0 |1800 |5801 |1800 | 218 | 97k| 179k|2784 | 0.000000e+00 | 4.974000e+03 | Inf
432.51/432.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
432.51/432.55 c 413s|440000 |335025 |620397 | 1.4 | 466M| 636 | 0 |1800 |4186 |1800 | 193 | 99k| 183k|2818 | 0.000000e+00 | 4.974000e+03 | Inf
440.61/440.70 c 421s|450000 |343547 |634139 | 1.4 | 480M| 636 | - |1800 |4274 | 0 | 0 | 102k| 187k|2868 | 0.000000e+00 | 4.974000e+03 | Inf
444.51/444.51 o 4964
444.51/444.51 c * 424s|454770 |347045 |641048 | 1.4 | 484M| 636 | - |1800 |4745 |1800 | 185 | 103k| 188k|2881 | 0.000000e+00 | 4.964000e+03 | Inf
444.51/444.52 o 4938
444.51/444.52 c * 424s|454771 |345175 |641053 | 1.4 | 480M| 636 | - |1800 |4745 |1800 | 185 | 103k| 188k|2881 | 0.000000e+00 | 4.938000e+03 | Inf
444.61/444.60 o 4865
444.61/444.60 c * 425s|454829 |340143 |641332 | 1.4 | 471M| 636 | - |1800 |4753 |1800 | 191 | 103k| 188k|2885 | 0.000000e+00 | 4.865000e+03 | Inf
449.10/449.10 c 429s|460000 |344591 |650930 | 1.4 | 477M| 636 | 0 |1800 |5382 |1800 | 189 | 104k| 191k|2914 | 0.000000e+00 | 4.865000e+03 | Inf
457.30/457.35 c 436s|470000 |352932 |664572 | 1.4 | 490M| 636 | 0 |1800 |4347 |1800 | 184 | 106k| 195k|2948 | 0.000000e+00 | 4.865000e+03 | Inf
465.21/465.29 c 444s|480000 |361395 |676932 | 1.4 | 503M| 636 | 0 |1800 |5417 |1800 | 188 | 109k| 199k|2985 | 0.000000e+00 | 4.865000e+03 | Inf
476.11/476.14 o 4861
476.11/476.14 c * 454s|487718 |367726 |687016 | 1.4 | 513M| 636 | - |1800 |5428 |1800 | 202 | 110k| 203k|3015 | 0.000000e+00 | 4.861000e+03 | Inf
480.51/480.53 c 458s|490000 |369628 |691595 | 1.4 | 516M| 636 | 0 |1800 |4775 |1800 | 186 | 111k| 204k|3031 | 0.000000e+00 | 4.861000e+03 | Inf
495.01/495.01 o 4813
495.01/495.01 c * 472s|498202 |372725 |705389 | 1.4 | 521M| 636 | - |1800 |4615 |1800 | 188 | 113k| 208k|3076 | 0.000000e+00 | 4.813000e+03 | Inf
495.01/495.05 o 4680
495.01/495.05 c * 472s|498203 |362078 |705393 | 1.4 | 501M| 636 | - |1800 |4615 |1800 | 188 | 113k| 208k|3076 | 0.000000e+00 | 4.680000e+03 | Inf
497.91/497.93 c 475s|500000 |363616 |708406 | 1.4 | 503M| 636 | 0 |1800 |4740 |1800 | 209 | 114k| 208k|3079 | 0.000000e+00 | 4.680000e+03 | Inf
512.79/513.34 c 489s|510000 |371947 |722006 | 1.4 | 517M| 636 | 0 |1800 |5117 |1800 | 197 | 116k| 212k|3107 | 0.000000e+00 | 4.680000e+03 | Inf
527.97/530.89 c 504s|520000 |380291 |736462 | 1.4 | 531M| 636 | 0 |1800 |5209 |1800 | 192 | 118k| 217k|3140 | 0.000000e+00 | 4.680000e+03 | Inf
541.84/548.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
541.84/548.36 c 517s|530000 |388711 |748913 | 1.4 | 544M| 636 | 0 |1800 |4916 |1800 | 187 | 120k| 221k|3186 | 0.000000e+00 | 4.680000e+03 | Inf
555.84/564.29 c 530s|540000 |397314 |761666 | 1.4 | 556M| 636 | 0 |1800 |4861 |1800 | 196 | 122k| 224k|3210 | 0.000000e+00 | 4.680000e+03 | Inf
570.74/580.48 c 545s|550000 |405677 |774570 | 1.4 | 570M| 636 | 0 |1800 |5196 |1800 | 182 | 125k| 228k|3229 | 0.000000e+00 | 4.680000e+03 | Inf
580.24/589.98 c 554s|560000 |413962 |789379 | 1.4 | 583M| 636 | 0 |1800 |4859 |1800 | 173 | 127k| 233k|3273 | 0.000000e+00 | 4.680000e+03 | Inf
581.33/591.08 o 4649
581.33/591.08 c * 555s|561274 |412180 |791839 | 1.4 | 579M| 636 | - |1800 |5085 |1800 | 193 | 128k| 233k|3294 | 0.000000e+00 | 4.649000e+03 | Inf
588.64/598.38 c 562s|570000 |419276 |806021 | 1.4 | 592M| 636 | 0 |1800 |5062 |1800 | 226 | 130k| 237k|3339 | 0.000000e+00 | 4.649000e+03 | Inf
596.53/606.20 c 570s|580000 |427741 |818505 | 1.4 | 604M| 636 | 0 |1800 |5771 |1800 | 185 | 132k| 241k|3362 | 0.000000e+00 | 4.649000e+03 | Inf
604.44/614.18 c 578s|590000 |436116 |831644 | 1.4 | 617M| 636 | 0 |1800 |5567 |1800 | 182 | 134k| 246k|3390 | 0.000000e+00 | 4.649000e+03 | Inf
612.23/621.94 c 585s|600000 |444621 |843547 | 1.4 | 630M| 636 | 0 |1800 |4920 |1800 | 187 | 136k| 250k|3423 | 0.000000e+00 | 4.649000e+03 | Inf
612.34/622.01 o 4498
612.34/622.01 c * 585s|600048 |430465 |843645 | 1.4 | 604M| 636 | - |1800 |4945 |1800 | 186 | 136k| 250k|3423 | 0.000000e+00 | 4.498000e+03 | Inf
620.74/630.42 c 593s|610000 |438759 |858713 | 1.4 | 618M| 636 | 0 |1800 |5874 |1800 | 197 | 139k| 255k|3470 | 0.000000e+00 | 4.498000e+03 | Inf
628.84/638.52 c 601s|620000 |447185 |872195 | 1.4 | 631M| 636 | 0 |1800 |6011 |1800 | 190 | 141k| 260k|3515 | 0.000000e+00 | 4.498000e+03 | Inf
636.74/646.43 c 609s|630000 |455435 |884830 | 1.4 | 643M| 636 | 0 |1800 |4961 |1800 | 193 | 143k| 264k|3551 | 0.000000e+00 | 4.498000e+03 | Inf
645.04/654.72 c 617s|640000 |463655 |902577 | 1.4 | 658M| 636 | 0 |1800 |4910 |1800 | 226 | 146k| 269k|3595 | 0.000000e+00 | 4.498000e+03 | Inf
653.23/662.92 c 625s|650000 |472048 |919606 | 1.4 | 671M| 636 | 0 |1800 |4751 |1800 | 209 | 149k| 273k|3630 | 0.000000e+00 | 4.498000e+03 | Inf
661.24/670.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
661.24/670.96 c 633s|660000 |480424 |933521 | 1.4 | 684M| 636 | 0 |1800 |5354 |1800 | 215 | 151k| 278k|3661 | 0.000000e+00 | 4.498000e+03 | Inf
668.34/678.09 o 4474
668.34/678.09 c * 640s|668605 |485053 |946058 | 1.4 | 690M| 636 | - |1800 |5059 |1800 | 209 | 153k| 282k|3677 | 0.000000e+00 | 4.474000e+03 | Inf
668.54/678.30 o 4471
668.54/678.30 c * 640s|668832 |484934 |946542 | 1.4 | 690M| 636 | - |1800 |5124 |1800 | 192 | 153k| 282k|3683 | 0.000000e+00 | 4.471000e+03 | Inf
668.64/678.32 o 4408
668.64/678.32 c * 640s|668833 |478221 |946544 | 1.4 | 679M| 636 | - |1800 |5124 |1800 | 192 | 153k| 282k|3683 | 0.000000e+00 | 4.408000e+03 | Inf
669.54/679.29 c 641s|670000 |479194 |948524 | 1.4 | 680M| 636 | 0 |1800 |4866 |1800 | 173 | 154k| 283k|3685 | 0.000000e+00 | 4.408000e+03 | Inf
677.84/687.57 c 649s|680000 |487509 |963892 | 1.4 | 694M| 636 | 0 |1800 |5047 |1800 | 221 | 156k| 287k|3738 | 0.000000e+00 | 4.408000e+03 | Inf
686.04/695.72 c 657s|690000 |495801 |977798 | 1.4 | 707M| 636 | 0 |1800 |5187 |1800 | 193 | 159k| 292k|3757 | 0.000000e+00 | 4.408000e+03 | Inf
694.04/703.71 c 665s|700000 |504240 |991669 | 1.4 | 720M| 636 | 0 |1800 |4612 |1800 | 192 | 161k| 296k|3783 | 0.000000e+00 | 4.408000e+03 | Inf
694.54/704.26 o 4330
694.54/704.26 c * 665s|700661 |495951 |992614 | 1.4 | 704M| 636 | - |1800 |4613 |1800 | 213 | 161k| 296k|3784 | 0.000000e+00 | 4.330000e+03 | Inf
702.25/711.98 c 673s|710000 |503739 | 1007k| 1.4 | 716M| 636 | 0 |1800 |4443 |1800 | 183 | 164k| 300k|3826 | 0.000000e+00 | 4.330000e+03 | Inf
704.85/714.55 o 4297
704.85/714.55 c * 675s|712868 |502187 | 1013k| 1.4 | 713M| 636 | - |1800 |4633 |1800 | 200 | 165k| 301k|3865 | 0.000000e+00 | 4.297000e+03 | Inf
704.85/714.56 o 4281
704.85/714.56 c * 675s|712869 |500231 | 1013k| 1.4 | 709M| 636 | - |1800 |4633 |1800 | 200 | 165k| 301k|3865 | 0.000000e+00 | 4.281000e+03 | Inf
711.14/720.85 c 682s|720000 |506007 | 1028k| 1.4 | 719M| 636 | 0 |1800 |4609 |1800 | 178 | 167k| 305k|3893 | 0.000000e+00 | 4.281000e+03 | Inf
719.44/729.13 c 690s|730000 |514213 | 1044k| 1.4 | 733M| 636 | 0 |1800 |5603 |1800 | 228 | 170k| 309k|3921 | 0.000000e+00 | 4.281000e+03 | Inf
727.65/737.37 c 698s|740000 |522376 | 1059k| 1.4 | 746M| 636 | 0 |1800 |5590 |1800 | 184 | 172k| 314k|3980 | 0.000000e+00 | 4.281000e+03 | Inf
732.75/742.46 o 4073
732.75/742.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
732.75/742.46 c * 703s|746225 |500977 | 1069k| 1.4 | 698M| 636 | - |1800 |4891 |1800 | 195 | 174k| 317k|3997 | 0.000000e+00 | 4.073000e+03 | Inf
733.84/743.52 o 4025
733.84/743.52 c * 704s|747312 |495119 | 1073k| 1.4 | 684M| 636 | - |1800 |4811 |1800 | 194 | 175k| 318k|4010 | 0.000000e+00 | 4.025000e+03 | Inf
736.24/745.96 c 706s|750000 |497344 | 1079k| 1.4 | 688M| 636 | 0 |1800 |4940 |1800 | 208 | 176k| 319k|4018 | 0.000000e+00 | 4.025000e+03 | Inf
741.24/750.90 o 3893
741.24/750.90 c * 711s|755373 |482069 | 1091k| 1.4 | 650M| 636 | - |1800 |4935 |1800 | 209 | 178k| 322k|4053 | 0.000000e+00 | 3.893000e+03 | Inf
745.55/755.21 c 715s|760000 |485838 | 1103k| 1.5 | 657M| 636 | 0 |1800 |4559 |1800 | 213 | 180k| 324k|4078 | 0.000000e+00 | 3.893000e+03 | Inf
754.04/763.72 c 723s|770000 |493894 | 1119k| 1.5 | 671M| 636 | 0 |1800 |5634 |1800 | 207 | 182k| 329k|4108 | 0.000000e+00 | 3.893000e+03 | Inf
762.75/772.40 c 732s|780000 |501750 | 1135k| 1.5 | 685M| 636 | 0 |1800 |5151 |1800 | 234 | 185k| 335k|4130 | 0.000000e+00 | 3.893000e+03 | Inf
769.15/778.86 o 3770
769.15/778.86 c * 738s|787613 |489429 | 1148k| 1.5 | 652M| 636 | - |1800 |5176 |1800 | 211 | 187k| 338k|4180 | 0.000000e+00 | 3.770000e+03 | Inf
771.45/781.12 c 740s|790000 |491328 | 1154k| 1.5 | 656M| 636 | 0 |1800 |4735 |1800 | 176 | 188k| 339k|4189 | 0.000000e+00 | 3.770000e+03 | Inf
780.64/790.30 c 749s|800000 |499107 | 1177k| 1.5 | 671M| 636 | 0 |1800 |4692 |1800 | 187 | 192k| 344k|4243 | 0.000000e+00 | 3.770000e+03 | Inf
789.45/799.14 c 758s|810000 |507283 | 1196k| 1.5 | 685M| 636 | 0 |1800 |4531 |1800 | 189 | 195k| 348k|4284 | 0.000000e+00 | 3.770000e+03 | Inf
797.84/807.58 c 766s|820000 |515494 | 1213k| 1.5 | 699M| 636 | 0 |1800 |4932 |1800 | 195 | 198k| 353k|4326 | 0.000000e+00 | 3.770000e+03 | Inf
806.45/816.17 c 774s|830000 |523583 | 1233k| 1.5 | 713M| 636 | 0 |1800 |4842 |1800 | 182 | 201k| 357k|4377 | 0.000000e+00 | 3.770000e+03 | Inf
814.85/824.56 c 783s|840000 |531534 | 1248k| 1.5 | 727M| 636 | 0 |1800 |4672 |1800 | 204 | 204k| 362k|4388 | 0.000000e+00 | 3.770000e+03 | Inf
822.85/832.60 c 790s|850000 |539602 | 1262k| 1.5 | 741M| 636 | - |1800 |5067 | 0 | 0 | 206k| 366k|4406 | 0.000000e+00 | 3.770000e+03 | Inf
831.35/841.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
831.35/841.00 c 799s|860000 |547608 | 1278k| 1.5 | 755M| 636 | 0 |1800 |5313 |1800 | 193 | 209k| 370k|4431 | 0.000000e+00 | 3.770000e+03 | Inf
839.74/849.47 c 807s|870000 |555809 | 1294k| 1.5 | 769M| 636 | 0 |1800 |5661 |1800 | 182 | 212k| 375k|4456 | 0.000000e+00 | 3.770000e+03 | Inf
848.05/857.76 c 815s|880000 |563955 | 1310k| 1.5 | 782M| 636 | 0 |1800 |4850 |1800 | 202 | 215k| 379k|4498 | 0.000000e+00 | 3.770000e+03 | Inf
856.75/866.43 c 823s|890000 |571869 | 1329k| 1.5 | 797M| 636 | 0 |1800 |5216 |1800 | 184 | 218k| 385k|4546 | 0.000000e+00 | 3.770000e+03 | Inf
865.05/874.79 c 832s|900000 |579895 | 1344k| 1.5 | 811M| 636 | 0 |1800 |5138 |1800 | 214 | 221k| 389k|4558 | 0.000000e+00 | 3.770000e+03 | Inf
873.45/883.19 c 840s|910000 |587967 | 1360k| 1.5 | 824M| 636 | 0 |1800 |5204 |1800 | 188 | 223k| 394k|4590 | 0.000000e+00 | 3.770000e+03 | Inf
882.05/891.70 c 848s|920000 |595859 | 1378k| 1.5 | 837M| 636 | 0 |1800 |4183 |1800 | 190 | 226k| 399k|4628 | 0.000000e+00 | 3.770000e+03 | Inf
889.95/899.66 c 856s|930000 |603877 | 1391k| 1.5 | 851M| 636 | 0 |1800 |4939 |1800 | 196 | 229k| 403k|4648 | 0.000000e+00 | 3.770000e+03 | Inf
898.15/907.87 c 864s|940000 |612186 | 1405k| 1.5 | 864M| 636 | 0 |1800 |5251 |1800 | 221 | 231k| 407k|4675 | 0.000000e+00 | 3.770000e+03 | Inf
899.55/909.27 o 3745
899.55/909.27 c * 865s|941772 |609534 | 1407k| 1.5 | 857M| 636 | - |1800 |5392 |1800 | 206 | 232k| 408k|4683 | 0.000000e+00 | 3.745000e+03 | Inf
899.65/909.30 o 3719
899.65/909.30 c * 865s|941778 |605123 | 1407k| 1.5 | 848M| 636 | - |1800 |5392 |1800 | 206 | 232k| 408k|4683 | 0.000000e+00 | 3.719000e+03 | Inf
899.65/909.33 o 3660
899.65/909.33 c * 865s|941779 |595045 | 1407k| 1.5 | 826M| 636 | - |1800 |5392 |1800 | 206 | 232k| 408k|4683 | 0.000000e+00 | 3.660000e+03 | Inf
904.25/913.95 o 3466
904.25/913.95 c * 870s|946962 |564087 | 1415k| 1.5 | 761M| 636 | - |1800 |5409 |1800 | 198 | 233k| 411k|4711 | 0.000000e+00 | 3.466000e+03 | Inf
905.35/915.02 o 3447
905.35/915.02 c * 871s|948105 |561437 | 1417k| 1.5 | 756M| 636 | - |1800 |5417 |1800 | 209 | 234k| 411k|4714 | 0.000000e+00 | 3.447000e+03 | Inf
905.45/915.15 o 3232
905.45/915.15 c * 871s|948114 |521249 | 1417k| 1.5 | 682M| 636 | - |1800 |5417 |1800 | 209 | 234k| 411k|4714 | 0.000000e+00 | 3.232000e+03 | Inf
907.15/916.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
907.15/916.86 c 873s|950000 |522731 | 1420k| 1.5 | 684M| 636 | - |1800 |5339 | 0 | 0 | 234k| 412k|4718 | 0.000000e+00 | 3.232000e+03 | Inf
909.15/918.84 o 3213
909.15/918.84 c * 874s|952012 |520708 | 1425k| 1.5 | 681M| 636 | - |1800 |5574 |1800 | 216 | 235k| 413k|4725 | 0.000000e+00 | 3.213000e+03 | Inf
916.95/926.62 c 882s|960000 |526789 | 1446k| 1.5 | 694M| 636 | 0 |1800 |4634 |1800 | 195 | 238k| 417k|4777 | 0.000000e+00 | 3.213000e+03 | Inf
925.95/935.69 c 891s|970000 |534504 | 1465k| 1.5 | 709M| 636 | 0 |1800 |5342 |1800 | 187 | 241k| 423k|4817 | 0.000000e+00 | 3.213000e+03 | Inf
935.16/944.85 c 900s|980000 |542154 | 1485k| 1.5 | 725M| 636 | - |1800 |5446 | 0 | 0 | 245k| 428k|4842 | 0.000000e+00 | 3.213000e+03 | Inf
939.45/949.15 o 3198
939.45/949.15 c * 904s|984606 |542824 | 1494k| 1.5 | 727M| 636 | - |1800 |4880 |1800 | 189 | 246k| 431k|4877 | 0.000000e+00 | 3.198000e+03 | Inf
944.46/954.18 c 909s|990000 |546814 | 1506k| 1.5 | 735M| 636 | 0 |1800 |6235 |1800 | 216 | 248k| 435k|4883 | 0.000000e+00 | 3.198000e+03 | Inf
953.26/962.91 c 917s| 1000k|554554 | 1522k| 1.5 | 749M| 636 | 0 |1800 |5161 |1800 | 182 | 251k| 440k|4912 | 0.000000e+00 | 3.198000e+03 | Inf
962.25/971.98 c 926s| 1010k|562354 | 1541k| 1.5 | 765M| 636 | - |1800 |5300 | 0 | 0 | 254k| 445k|4955 | 0.000000e+00 | 3.198000e+03 | Inf
971.75/981.46 c 936s| 1020k|570158 | 1566k| 1.5 | 780M| 636 | 0 |1800 |5243 |1800 | 185 | 258k| 450k|4990 | 0.000000e+00 | 3.198000e+03 | Inf
980.85/990.51 c 944s| 1030k|577826 | 1585k| 1.5 | 794M| 636 | - |1800 |5087 | 0 | 0 | 261k| 455k|5038 | 0.000000e+00 | 3.198000e+03 | Inf
989.66/999.31 c 953s| 1040k|585587 | 1602k| 1.5 | 809M| 636 | 0 |1800 |5358 |1800 | 183 | 264k| 460k|5059 | 0.000000e+00 | 3.198000e+03 | Inf
998.15/1007.85 c 961s| 1050k|593364 | 1617k| 1.5 | 823M| 636 | 0 |1800 |4868 |1800 | 225 | 267k| 464k|5079 | 0.000000e+00 | 3.198000e+03 | Inf
1007.15/1016.84 c 970s| 1060k|601131 | 1641k| 1.5 | 837M| 636 | 0 |1800 |4469 |1800 | 187 | 270k| 469k|5120 | 0.000000e+00 | 3.198000e+03 | Inf
1012.95/1022.63 o 3150
1012.95/1022.63 c * 976s| 1066k|596760 | 1654k| 1.6 | 830M| 636 | - |1800 |4299 |1800 | 208 | 272k| 472k|5152 | 0.000000e+00 | 3.150000e+03 | Inf
1016.05/1025.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1016.05/1025.75 c 979s| 1070k|599685 | 1659k| 1.6 | 835M| 636 | 0 |1800 |4581 |1800 | 206 | 273k| 474k|5156 | 0.000000e+00 | 3.150000e+03 | Inf
1025.15/1034.80 c 988s| 1080k|607424 | 1680k| 1.6 | 850M| 636 | 0 |1800 |4986 |1800 | 189 | 277k| 479k|5195 | 0.000000e+00 | 3.150000e+03 | Inf
1034.06/1043.79 c 996s| 1090k|615359 | 1700k| 1.6 | 865M| 636 | 0 |1800 |5004 |1800 | 195 | 280k| 484k|5235 | 0.000000e+00 | 3.150000e+03 | Inf
1042.86/1052.58 c 1005s| 1100k|623004 | 1717k| 1.6 | 879M| 636 | 0 |1800 |4980 |1800 | 197 | 283k| 488k|5254 | 0.000000e+00 | 3.150000e+03 | Inf
1051.55/1061.26 c 1013s| 1110k|630712 | 1734k| 1.6 | 893M| 636 | 0 |1800 |5058 |1800 | 177 | 286k| 493k|5281 | 0.000000e+00 | 3.150000e+03 | Inf
1060.15/1069.87 c 1022s| 1120k|638488 | 1750k| 1.6 | 907M| 636 | - |1800 |5339 | 0 | 0 | 289k| 498k|5303 | 0.000000e+00 | 3.150000e+03 | Inf
1068.66/1078.39 c 1030s| 1130k|646367 | 1767k| 1.6 | 921M| 636 | 0 |1800 |5812 |1800 | 205 | 291k| 502k|5325 | 0.000000e+00 | 3.150000e+03 | Inf
1077.96/1087.68 c 1039s| 1140k|653943 | 1789k| 1.6 | 936M| 636 | 0 |1800 |6113 |1800 | 192 | 295k| 508k|5371 | 0.000000e+00 | 3.150000e+03 | Inf
1086.85/1096.55 c 1048s| 1150k|661674 | 1807k| 1.6 | 951M| 636 | 0 |1800 |5505 |1800 | 190 | 298k| 512k|5397 | 0.000000e+00 | 3.150000e+03 | Inf
1095.76/1105.47 c 1056s| 1160k|669365 | 1825k| 1.6 | 966M| 636 | 0 |1800 |5260 |1800 | 190 | 302k| 517k|5417 | 0.000000e+00 | 3.150000e+03 | Inf
1104.56/1114.29 c 1065s| 1170k|677494 | 1843k| 1.6 | 981M| 636 | 0 |1800 |6027 |1800 | 178 | 305k| 522k|5436 | 0.000000e+00 | 3.150000e+03 | Inf
1113.85/1123.53 c 1074s| 1180k|685200 | 1865k| 1.6 | 995M| 636 | 0 |1800 |5056 |1800 | 188 | 309k| 527k|5488 | 0.000000e+00 | 3.150000e+03 | Inf
1122.86/1132.52 c 1083s| 1190k|693128 | 1887k| 1.6 |1010M| 636 | 0 |1800 |4726 |1800 | 198 | 312k| 531k|5529 | 0.000000e+00 | 3.150000e+03 | Inf
1131.95/1141.68 c 1092s| 1200k|700511 | 1908k| 1.6 |1025M| 636 | 0 |1800 |4619 |1800 | 187 | 315k| 535k|5562 | 0.000000e+00 | 3.150000e+03 | Inf
1133.35/1143.07 o 3136
1133.35/1143.07 c *1093s| 1201k|698789 | 1911k| 1.6 |1022M| 636 | - |1800 |4773 |1800 | 183 | 316k| 536k|5566 | 0.000000e+00 | 3.136000e+03 | Inf
1133.45/1143.10 o 3103
1133.45/1143.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1133.45/1143.10 c *1093s| 1201k|691679 | 1911k| 1.6 |1010M| 636 | - |1800 |4773 |1800 | 183 | 316k| 536k|5566 | 0.000000e+00 | 3.103000e+03 | Inf
1133.45/1143.14 o 3051
1133.45/1143.14 c *1093s| 1201k|680277 | 1911k| 1.6 | 989M| 636 | - |1800 |4773 |1800 | 183 | 316k| 536k|5566 | 0.000000e+00 | 3.051000e+03 | Inf
1141.26/1150.92 c 1101s| 1210k|686682 | 1929k| 1.6 |1002M| 636 | 0 |1800 |4432 |1800 | 199 | 319k| 540k|5586 | 0.000000e+00 | 3.051000e+03 | Inf
1149.86/1159.56 c 1109s| 1220k|694334 | 1945k| 1.6 |1017M| 636 | 0 |1800 |5654 |1800 | 195 | 321k| 545k|5622 | 0.000000e+00 | 3.051000e+03 | Inf
1158.86/1168.59 c 1118s| 1230k|701890 | 1962k| 1.6 |1033M| 636 | 0 |1800 |5848 |1800 | 210 | 324k| 550k|5650 | 0.000000e+00 | 3.051000e+03 | Inf
1165.76/1175.43 o 3028
1165.76/1175.43 c *1124s| 1237k|702221 | 1977k| 1.6 |1034M| 636 | - |1800 |5886 |1800 | 200 | 327k| 554k|5670 | 0.000000e+00 | 3.028000e+03 | Inf
1168.16/1177.84 c 1127s| 1240k|704250 | 1982k| 1.6 |1038M| 636 | 0 |1800 |5369 |1800 | 204 | 328k| 555k|5673 | 0.000000e+00 | 3.028000e+03 | Inf
1176.96/1186.68 c 1135s| 1250k|711911 | 1999k| 1.6 |1053M| 636 | - |1800 |4743 | 0 | 0 | 331k| 559k|5700 | 0.000000e+00 | 3.028000e+03 | Inf
1185.86/1195.50 c 1144s| 1260k|719618 | 2017k| 1.6 |1068M| 636 | 0 |1800 |5181 |1800 | 182 | 334k| 564k|5737 | 0.000000e+00 | 3.028000e+03 | Inf
1195.36/1205.03 c 1153s| 1270k|727066 | 2042k| 1.6 |1084M| 636 | 0 |1800 |5473 |1800 | 190 | 338k| 570k|5767 | 0.000000e+00 | 3.028000e+03 | Inf
1204.27/1213.98 c 1162s| 1280k|734406 | 2060k| 1.6 |1099M| 636 | - |1800 |4616 | 0 | 0 | 341k| 575k|5797 | 0.000000e+00 | 3.028000e+03 | Inf
1213.37/1223.09 c 1171s| 1290k|741998 | 2081k| 1.6 |1114M| 636 | - |1800 |4589 | 0 | 0 | 345k| 580k|5841 | 0.000000e+00 | 3.028000e+03 | Inf
1222.57/1232.28 c 1180s| 1300k|749647 | 2102k| 1.6 |1128M| 636 | 0 |1800 |5082 |1800 | 197 | 349k| 585k|5864 | 0.000000e+00 | 3.028000e+03 | Inf
1232.07/1241.77 c 1189s| 1310k|757235 | 2125k| 1.6 |1143M| 636 | 0 |1800 |5195 |1800 | 181 | 353k| 590k|5899 | 0.000000e+00 | 3.028000e+03 | Inf
1241.46/1251.11 c 1198s| 1320k|765074 | 2148k| 1.6 |1159M| 636 | - |1800 |5791 | 0 | 0 | 356k| 596k|5950 | 0.000000e+00 | 3.028000e+03 | Inf
1241.46/1251.16 o 2995
1241.46/1251.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1241.46/1251.16 c *1198s| 1320k|757144 | 2148k| 1.6 |1143M| 636 | - |1800 |5790 |1800 | 215 | 356k| 596k|5950 | 0.000000e+00 | 2.995000e+03 | Inf
1250.56/1260.24 c 1207s| 1330k|764780 | 2168k| 1.6 |1158M| 636 | 0 |1800 |5169 |1800 | 212 | 360k| 601k|5974 | 0.000000e+00 | 2.995000e+03 | Inf
1259.67/1269.30 c 1216s| 1340k|772373 | 2189k| 1.6 |1173M| 636 | 0 |1800 |4832 |1800 | 185 | 363k| 606k|6004 | 0.000000e+00 | 2.995000e+03 | Inf
1268.87/1278.56 c 1225s| 1350k|779831 | 2212k| 1.6 |1189M| 636 | 0 |1800 |4844 |1800 | 192 | 367k| 611k|6034 | 0.000000e+00 | 2.995000e+03 | Inf
1277.86/1287.51 c 1234s| 1360k|787725 | 2231k| 1.6 |1204M| 636 | 0 |1800 |4834 |1800 | 182 | 370k| 615k|6062 | 0.000000e+00 | 2.995000e+03 | Inf
1286.67/1296.36 c 1242s| 1370k|795370 | 2250k| 1.6 |1220M| 636 | - |1800 |5436 | 0 | 0 | 374k| 620k|6084 | 0.000000e+00 | 2.995000e+03 | Inf
1293.56/1303.22 o 2871
1293.56/1303.22 c *1249s| 1377k|769588 | 2265k| 1.6 |1175M| 636 | - |1800 |5432 |1800 | 228 | 377k| 624k|6097 | 0.000000e+00 | 2.871000e+03 | Inf
1296.07/1305.74 c 1251s| 1380k|771745 | 2271k| 1.6 |1180M| 636 | - |1800 |5527 | 0 | 0 | 378k| 625k|6114 | 0.000000e+00 | 2.871000e+03 | Inf
1305.46/1315.19 c 1261s| 1390k|779379 | 2292k| 1.6 |1195M| 636 | 0 |1800 |5195 |1800 | 189 | 381k| 631k|6141 | 0.000000e+00 | 2.871000e+03 | Inf
1315.07/1324.71 c 1270s| 1400k|787029 | 2314k| 1.7 |1210M| 636 | 0 |1800 |5068 |1800 | 186 | 385k| 636k|6180 | 0.000000e+00 | 2.871000e+03 | Inf
1323.67/1333.39 c 1278s| 1410k|795000 | 2331k| 1.7 |1224M| 636 | 0 |1800 |5259 |1800 | 198 | 388k| 640k|6189 | 0.000000e+00 | 2.871000e+03 | Inf
1333.27/1342.97 c 1288s| 1420k|802234 | 2354k| 1.7 |1240M| 636 | 0 |1800 |4962 |1800 | 210 | 392k| 646k|6230 | 0.000000e+00 | 2.871000e+03 | Inf
1342.97/1352.62 c 1297s| 1430k|809763 | 2379k| 1.7 |1255M| 636 | 0 |1800 |5466 |1800 | 189 | 396k| 652k|6264 | 0.000000e+00 | 2.871000e+03 | Inf
1347.26/1356.97 o 2781
1347.26/1356.97 c *1301s| 1434k|788648 | 2388k| 1.7 |1220M| 636 | - |1800 |5012 |1800 | 214 | 397k| 654k|6272 | 0.000000e+00 | 2.781000e+03 | Inf
1352.77/1362.45 c 1307s| 1440k|792548 | 2407k| 1.7 |1228M| 636 | 0 |1800 |4668 |1800 | 181 | 400k| 657k|6310 | 0.000000e+00 | 2.781000e+03 | Inf
1361.76/1371.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1361.76/1371.47 c 1315s| 1450k|800054 | 2423k| 1.7 |1242M| 636 | 0 |1800 |4609 |1800 | 196 | 403k| 661k|6314 | 0.000000e+00 | 2.781000e+03 | Inf
1371.37/1381.00 c 1325s| 1460k|807503 | 2446k| 1.7 |1258M| 636 | 0 |1800 |5431 |1800 | 184 | 407k| 667k|6353 | 0.000000e+00 | 2.781000e+03 | Inf
1380.17/1389.86 c 1333s| 1470k|815094 | 2463k| 1.7 |1273M| 636 | 0 |1800 |4925 |1800 | 190 | 410k| 671k|6379 | 0.000000e+00 | 2.781000e+03 | Inf
1389.48/1399.16 c 1342s| 1480k|822635 | 2485k| 1.7 |1288M| 636 | 0 |1800 |5041 |1800 | 196 | 414k| 676k|6410 | 0.000000e+00 | 2.781000e+03 | Inf
1397.17/1406.82 o 2736
1397.17/1406.82 c *1350s| 1488k|815575 | 2503k| 1.7 |1275M| 636 | - |1800 |5708 |1800 | 220 | 417k| 681k|6425 | 0.000000e+00 | 2.736000e+03 | Inf
1397.28/1406.92 o 2646
1397.28/1406.92 c *1350s| 1488k|787811 | 2503k| 1.7 |1225M| 636 | - |1800 |5717 |1800 | 220 | 417k| 681k|6425 | 0.000000e+00 | 2.646000e+03 | Inf
1397.67/1407.38 o 2512
1397.67/1407.38 c *1350s| 1488k|746330 | 2504k| 1.7 |1150M| 636 | - |1800 |5755 |1800 | 214 | 417k| 681k|6425 | 0.000000e+00 | 2.512000e+03 | Inf
1399.37/1409.01 c 1352s| 1490k|747476 | 2507k| 1.7 |1153M| 636 | 0 |1800 |5631 |1800 | 188 | 418k| 682k|6427 | 0.000000e+00 | 2.512000e+03 | Inf
1409.37/1419.07 c 1362s| 1500k|754752 | 2536k| 1.7 |1169M| 636 | 0 |1800 |4961 |1800 | 231 | 422k| 687k|6473 | 0.000000e+00 | 2.512000e+03 | Inf
1418.97/1428.63 c 1371s| 1510k|762022 | 2558k| 1.7 |1184M| 636 | 0 |1800 |4551 |1800 | 186 | 426k| 691k|6504 | 0.000000e+00 | 2.512000e+03 | Inf
1425.97/1435.60 o 2485
1425.97/1435.60 c *1378s| 1516k|758432 | 2579k| 1.7 |1179M| 636 | - |1800 |4354 |1800 | 208 | 429k| 694k|6521 | 0.000000e+00 | 2.485000e+03 | Inf
1428.97/1438.67 c 1381s| 1520k|760672 | 2586k| 1.7 |1184M| 636 | 0 |1800 |4773 |1800 | 184 | 430k| 696k|6539 | 0.000000e+00 | 2.485000e+03 | Inf
1438.97/1448.64 c 1390s| 1530k|767848 | 2611k| 1.7 |1200M| 636 | 0 |1800 |4532 |1800 | 194 | 435k| 701k|6563 | 0.000000e+00 | 2.485000e+03 | Inf
1448.77/1458.48 c 1400s| 1540k|775138 | 2638k| 1.7 |1216M| 636 | 0 |1800 |5023 |1800 | 185 | 439k| 706k|6609 | 0.000000e+00 | 2.485000e+03 | Inf
1458.68/1468.37 c 1410s| 1550k|782252 | 2664k| 1.7 |1232M| 636 | - |1800 |5435 | 0 | 0 | 443k| 711k|6655 | 0.000000e+00 | 2.485000e+03 | Inf
1468.38/1478.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1468.38/1478.07 c 1419s| 1560k|789667 | 2686k| 1.7 |1248M| 636 | 0 |1800 |6090 |1800 | 238 | 447k| 717k|6686 | 0.000000e+00 | 2.485000e+03 | Inf
1478.37/1488.08 c 1429s| 1570k|796804 | 2711k| 1.7 |1264M| 636 | 0 |1800 |6029 |1800 | 192 | 451k| 722k|6704 | 0.000000e+00 | 2.485000e+03 | Inf
1487.97/1497.62 c 1438s| 1580k|804147 | 2733k| 1.7 |1280M| 636 | 7 |1800 |4998 |1800 | 219 | 455k| 728k|6736 | 0.000000e+00 | 2.485000e+03 | Inf
1490.57/1500.30 o 2480
1490.57/1500.30 c *1441s| 1582k|804480 | 2742k| 1.7 |1282M| 636 | - |1800 |4913 |1800 | 182 | 456k| 729k|6738 | 0.000000e+00 | 2.480000e+03 | Inf
1498.27/1507.94 c 1448s| 1590k|809956 | 2765k| 1.7 |1296M| 636 | 0 |1800 |4853 |1800 | 196 | 460k| 733k|6785 | 0.000000e+00 | 2.480000e+03 | Inf
1508.28/1517.95 c 1458s| 1600k|817550 | 2795k| 1.7 |1312M| 636 | 0 |1800 |4802 |1800 | 195 | 465k| 738k|6816 | 0.000000e+00 | 2.480000e+03 | Inf
1517.27/1526.97 c 1467s| 1610k|824999 | 2814k| 1.7 |1328M| 636 | 0 |1800 |5344 |1800 | 176 | 468k| 742k|6827 | 0.000000e+00 | 2.480000e+03 | Inf
1527.17/1536.84 c 1476s| 1620k|832067 | 2837k| 1.8 |1344M| 636 | 0 |1800 |5306 |1800 | 196 | 472k| 748k|6871 | 0.000000e+00 | 2.480000e+03 | Inf
1530.38/1540.08 o 2433
1530.38/1540.08 c *1479s| 1623k|818848 | 2845k| 1.8 |1319M| 636 | - |1800 |4969 |1800 | 235 | 473k| 749k|6874 | 0.000000e+00 | 2.433000e+03 | Inf
1530.48/1540.10 o 2419
1530.48/1540.10 c *1479s| 1623k|814130 | 2845k| 1.8 |1309M| 636 | - |1800 |4969 |1800 | 235 | 473k| 749k|6874 | 0.000000e+00 | 2.419000e+03 | Inf
1531.27/1540.94 o 2406
1531.27/1540.94 c *1480s| 1624k|810316 | 2848k| 1.8 |1302M| 636 | - |1800 |4920 |1800 | 206 | 474k| 750k|6875 | 0.000000e+00 | 2.406000e+03 | Inf
1531.97/1541.63 o 2192
1531.97/1541.63 c *1481s| 1624k|735451 | 2849k| 1.8 |1143M| 636 | - |1800 |4953 |1800 | 209 | 474k| 750k|6875 | 0.000000e+00 | 2.192000e+03 | Inf
1532.07/1541.70 o 2145
1532.07/1541.70 c *1481s| 1624k|717821 | 2849k| 1.8 |1102M| 636 | - |1800 |4953 |1800 | 209 | 474k| 750k|6875 | 0.000000e+00 | 2.145000e+03 | Inf
1532.17/1541.87 o 2072
1532.17/1541.87 c *1481s| 1624k|689830 | 2849k| 1.8 |1037M| 636 | - |1800 |4966 |1800 | 211 | 474k| 750k|6875 | 0.000000e+00 | 2.072000e+03 | Inf
1532.27/1541.92 o 2048
1532.27/1541.92 c *1481s| 1624k|680443 | 2849k| 1.8 |1015M| 636 | - |1800 |4965 |1800 | 211 | 474k| 750k|6875 | 0.000000e+00 | 2.048000e+03 | Inf
1532.37/1542.09 o 1955
1532.37/1542.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1532.37/1542.09 c *1481s| 1624k|642474 | 2849k| 1.8 | 929M| 636 | - |1800 |4985 |1800 | 217 | 474k| 750k|6875 | 0.000000e+00 | 1.955000e+03 | Inf
1537.98/1547.68 c 1487s| 1630k|646184 | 2864k| 1.8 | 938M| 636 | 0 |1800 |5152 |1800 | 184 | 476k| 753k|6899 | 0.000000e+00 | 1.955000e+03 | Inf
1548.78/1558.45 c 1497s| 1640k|652702 | 2892k| 1.8 | 955M| 636 | 0 |1800 |4728 |1800 | 189 | 481k| 758k|6930 | 0.000000e+00 | 1.955000e+03 | Inf
1559.38/1569.04 c 1508s| 1650k|659334 | 2921k| 1.8 | 973M| 636 | 0 |1800 |4482 |1800 | 192 | 486k| 764k|6968 | 0.000000e+00 | 1.955000e+03 | Inf
1570.68/1580.32 c 1519s| 1660k|665996 | 2961k| 1.8 | 992M| 636 | 0 |1800 |4789 |1800 | 195 | 492k| 770k|7016 | 0.000000e+00 | 1.955000e+03 | Inf
1581.68/1591.31 c 1529s| 1670k|672488 | 2997k| 1.8 |1009M| 636 | 0 |1800 |4827 |1800 | 198 | 498k| 775k|7059 | 0.000000e+00 | 1.955000e+03 | Inf
1592.48/1602.12 c 1540s| 1680k|679125 | 3030k| 1.8 |1026M| 636 | 0 |1800 |4575 |1800 | 204 | 503k| 781k|7077 | 0.000000e+00 | 1.955000e+03 | Inf
1603.28/1612.93 c 1550s| 1690k|685737 | 3061k| 1.8 |1043M| 636 | 0 |1800 |4146 |1800 | 191 | 508k| 786k|7106 | 0.000000e+00 | 1.955000e+03 | Inf
1613.98/1623.60 c 1561s| 1700k|692527 | 3094k| 1.8 |1062M| 636 | 0 |1800 |4407 |1800 | 210 | 513k| 791k|7143 | 0.000000e+00 | 1.955000e+03 | Inf
1624.78/1634.44 c 1571s| 1710k|698982 | 3126k| 1.8 |1080M| 636 | 0 |1800 |4103 |1800 | 265 | 518k| 797k|7194 | 0.000000e+00 | 1.955000e+03 | Inf
1635.48/1645.16 c 1582s| 1720k|705639 | 3158k| 1.8 |1097M| 636 | 0 |1800 |4712 |1800 | 179 | 524k| 802k|7226 | 0.000000e+00 | 1.955000e+03 | Inf
1646.28/1655.91 c 1592s| 1730k|712124 | 3189k| 1.8 |1114M| 636 | 0 |1800 |4734 |1800 | 195 | 529k| 807k|7263 | 0.000000e+00 | 1.955000e+03 | Inf
1656.89/1666.54 c 1603s| 1740k|718706 | 3219k| 1.9 |1130M| 636 | 0 |1800 |4354 |1800 | 220 | 534k| 812k|7303 | 0.000000e+00 | 1.955000e+03 | Inf
1667.28/1676.97 c 1613s| 1750k|725268 | 3246k| 1.9 |1148M| 636 | - |1800 |5156 | 0 | 0 | 539k| 818k|7323 | 0.000000e+00 | 1.955000e+03 | Inf
1677.88/1687.51 c 1623s| 1760k|731991 | 3276k| 1.9 |1165M| 636 | 0 |1800 |5352 |1800 | 187 | 543k| 823k|7356 | 0.000000e+00 | 1.955000e+03 | Inf
1688.38/1698.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1688.38/1698.00 c 1633s| 1770k|738733 | 3302k| 1.9 |1184M| 636 | 0 |1800 |4930 |1800 | 203 | 548k| 828k|7391 | 0.000000e+00 | 1.955000e+03 | Inf
1699.08/1708.77 c 1644s| 1780k|745458 | 3333k| 1.9 |1201M| 636 | 0 |1800 |4788 |1800 | 210 | 553k| 834k|7434 | 0.000000e+00 | 1.955000e+03 | Inf
1709.89/1719.51 c 1654s| 1790k|752086 | 3365k| 1.9 |1219M| 636 | 0 |1800 |4175 |1800 | 198 | 559k| 839k|7477 | 0.000000e+00 | 1.955000e+03 | Inf
1720.38/1730.08 c 1664s| 1800k|758593 | 3394k| 1.9 |1237M| 636 | 0 |1800 |4349 |1800 | 185 | 563k| 844k|7498 | 0.000000e+00 | 1.955000e+03 | Inf
1731.08/1740.77 c 1675s| 1810k|765047 | 3425k| 1.9 |1254M| 636 | 0 |1800 |4762 |1800 | 205 | 568k| 850k|7527 | 0.000000e+00 | 1.955000e+03 | Inf
1741.59/1751.22 c 1685s| 1820k|771825 | 3455k| 1.9 |1271M| 636 | 0 |1800 |4823 |1800 | 200 | 573k| 855k|7568 | 0.000000e+00 | 1.955000e+03 | Inf
1752.18/1761.81 c 1695s| 1830k|778624 | 3484k| 1.9 |1288M| 636 | 0 |1800 |4810 |1800 | 200 | 578k| 860k|7609 | 0.000000e+00 | 1.955000e+03 | Inf
1762.78/1772.43 c 1706s| 1840k|785625 | 3518k| 1.9 |1305M| 636 | 0 |1800 |5909 |1800 | 237 | 583k| 867k|7646 | 0.000000e+00 | 1.955000e+03 | Inf
1763.28/1772.96 o 1922
1763.28/1772.96 c *1706s| 1840k|771363 | 3519k| 1.9 |1276M| 636 | - |1800 |5975 |1800 | 216 | 583k| 867k|7647 | 0.000000e+00 | 1.922000e+03 | Inf
1774.38/1784.06 c 1717s| 1850k|777604 | 3552k| 1.9 |1293M| 636 | 0 |1800 |4190 |1800 | 186 | 589k| 873k|7680 | 0.000000e+00 | 1.922000e+03 | Inf
1785.09/1794.72 c 1727s| 1860k|784439 | 3583k| 1.9 |1311M| 636 | 0 |1800 |4350 |1800 | 196 | 594k| 878k|7711 | 0.000000e+00 | 1.922000e+03 | Inf
1796.08/1805.71 c 1738s| 1870k|790952 | 3616k| 1.9 |1329M| 636 | 0 |1800 |4392 |1800 | 188 | 599k| 884k|7749 | 0.000000e+00 | 1.922000e+03 | Inf
1800.09/1809.70 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1809.70 c
1800.09/1809.70 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1809.70 c Solving Time (sec) : 1741.87
1800.09/1809.70 c Solving Nodes : 1873556
1800.09/1809.70 c Primal Bound : +1.92200000000000e+03 (170 solutions)
1800.09/1809.70 c Dual Bound : +0.00000000000000e+00
1800.09/1809.70 c Gap : infinite
1800.09/1809.71 s SATISFIABLE
1800.09/1809.71 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
1800.09/1809.71 v x176 -x175 -x174 x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 -x164 x163 x162 -x161 x160 -x159 x158 -x157 -x156 x155
1800.09/1809.71 v -x154 x153 -x152 x151 x150 -x149 -x148 x147 x146 -x145 x144 -x143 x142 -x141 -x140 x139 -x138 x137 -x136 x135 x134 -x133 x132
1800.09/1809.71 v -x131 -x130 x129 x128 -x127 -x126 x125 x124 -x123 -x122 x121 -x120 x119 x118 -x117 x116 -x115 x114 -x113 -x112 x111 x110 -x109
1800.09/1809.71 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
1800.09/1809.71 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
1800.09/1809.71 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
1800.09/1809.71 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
1800.09/1809.71 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1809.71 c Solving Time : 1741.87
1800.09/1809.71 c Original Problem :
1800.09/1809.71 c Problem name : HOME/instance-2700105-1278533976.wbo
1800.09/1809.71 c Variables : 1900 (1050 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.09/1809.71 c Constraints : 1801 initial, 1801 maximal
1800.09/1809.71 c Presolved Problem :
1800.09/1809.71 c Problem name : t_HOME/instance-2700105-1278533976.wbo
1800.09/1809.71 c Variables : 1800 (950 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.09/1809.71 c Constraints : 1700 initial, 6739 maximal
1800.09/1809.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1809.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1809.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1809.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1809.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1809.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1809.71 c probing : 0.02 0 0 0 0 0 0 0 0
1800.09/1809.71 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.09/1809.71 c linear : 0.02 0 100 0 850 0 101 0 0
1800.09/1809.71 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.09/1809.71 c root node : - 0 - - 0 - - - -
1800.09/1809.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1809.71 c integral : 0 0 0 1945603 0 0 137 0 0 29244
1800.09/1809.71 c indicator : 850 0 4207285 1930861 0 4135 46554088 0 0 0
1800.09/1809.71 c linear : 850 6 4202966 1930829 0 41593 3487823 601334 0 0
1800.09/1809.71 c logicor : 0+ 0 2565470 0 0 4129 1441362 0 0 0
1800.09/1809.71 c countsols : 0 0 0 1689786 0 0 0 0 0 0
1800.09/1809.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1809.71 c integral : 6.75 0.00 0.00 6.75 0.00
1800.09/1809.71 c indicator : 205.00 0.03 81.73 123.24 0.00
1800.09/1809.71 c linear : 136.91 0.01 65.15 71.75 0.00
1800.09/1809.71 c logicor : 47.20 0.00 47.20 0.00 0.00
1800.09/1809.71 c countsols : 0.25 0.00 0.00 0.25 0.00
1800.09/1809.71 c Propagators : Time Calls Cutoffs DomReds
1800.09/1809.71 c vbounds : 0.81 2 0 0
1800.09/1809.71 c rootredcost : 0.83 71 0 0
1800.09/1809.71 c pseudoobj : 118.34 4382195 175102 38909248
1800.09/1809.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1809.71 c propagation : 10.86 220824 220749 655789 21.5 309648 3.8 -
1800.09/1809.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1809.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1809.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1809.71 c pseudo solution : 0.09 740 740 2779 16.2 1497 4.1 -
1800.09/1809.71 c applied globally : - - - 886119 14.7 - - -
1800.09/1809.71 c applied locally : - - - 0 0.0 - - -
1800.09/1809.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1809.71 c cut pool : 0.00 4 - - 3 - (maximal pool size: 36)
1800.09/1809.71 c redcost : 78.34 2007538 0 6827857 0 0
1800.09/1809.71 c impliedbounds : 0.00 5 0 0 0 0
1800.09/1809.71 c intobj : 0.00 0 0 0 0 0
1800.09/1809.71 c cgmip : 0.00 0 0 0 0 0
1800.09/1809.71 c gomory : 0.02 5 0 0 38 0
1800.09/1809.71 c strongcg : 0.00 5 0 0 0 0
1800.09/1809.71 c cmir : 0.01 5 0 0 0 0
1800.09/1809.71 c flowcover : 0.02 5 0 0 0 0
1800.09/1809.71 c clique : 0.00 1 0 0 0 0
1800.09/1809.71 c zerohalf : 0.00 0 0 0 0 0
1800.09/1809.71 c mcf : 0.00 1 0 0 0 0
1800.09/1809.71 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1809.71 c Pricers : Time Calls Vars
1800.09/1809.71 c problem variables: 0.00 0 0
1800.09/1809.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1809.71 c relpscost : 6.27 14742 0 137 0 0 29244
1800.09/1809.71 c pscost : 0.00 0 0 0 0 0 0
1800.09/1809.71 c inference : 146.86 1689715 0 0 0 0 3379430
1800.09/1809.71 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1809.71 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1809.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1809.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1809.71 c random : 0.00 0 0 0 0 0 0
1800.09/1809.71 c Primal Heuristics : Time Calls Found
1800.09/1809.71 c LP solutions : 2.30 - 71
1800.09/1809.71 c pseudo solutions : 0.00 - 0
1800.09/1809.71 c feaspump : 0.00 0 0
1800.09/1809.71 c oneopt : 0.71 58 0
1800.09/1809.71 c crossover : 2.55 152 5
1800.09/1809.71 c linesearchdiving : 0.89 1627 0
1800.09/1809.71 c guideddiving : 0.83 1627 0
1800.09/1809.71 c coefdiving : 0.81 1627 0
1800.09/1809.71 c veclendiving : 0.79 1627 0
1800.09/1809.71 c pscostdiving : 0.96 1628 0
1800.09/1809.71 c fracdiving : 0.82 1628 0
1800.09/1809.71 c rootsoldiving : 0.89 1627 0
1800.09/1809.71 c objpscostdiving : 0.95 1627 0
1800.09/1809.71 c trivial : 0.00 2 1
1800.09/1809.71 c simplerounding : 0.85 17186 0
1800.09/1809.71 c zirounding : 0.50 1000 0
1800.09/1809.71 c rounding : 0.54 1823 0
1800.09/1809.71 c shifting : 0.37 533 0
1800.09/1809.71 c intshifting : 0.01 2 0
1800.09/1809.71 c twoopt : 0.00 0 0
1800.09/1809.71 c fixandinfer : 0.00 0 0
1800.09/1809.71 c intdiving : 0.00 0 0
1800.09/1809.71 c actconsdiving : 0.00 0 0
1800.09/1809.71 c octane : 0.00 0 0
1800.09/1809.71 c rens : 0.02 1 0
1800.09/1809.71 c rins : 0.00 0 0
1800.09/1809.71 c localbranching : 0.00 0 0
1800.09/1809.71 c mutation : 0.00 0 0
1800.09/1809.71 c dins : 0.00 0 0
1800.09/1809.71 c undercover : 0.00 0 0
1800.09/1809.71 c nlp : 0.42 0 0
1800.09/1809.71 c trysol : 0.73 2485 93
1800.09/1809.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1809.71 c primal LP : 0.00 0 0 0.00 -
1800.09/1809.71 c dual LP : 582.85 573808 3624434 6.32 6218.47
1800.09/1809.71 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1809.71 c barrier LP : 0.00 0 0 0.00 -
1800.09/1809.71 c diving/probing LP: 0.05 62 4447 71.73 88940.00
1800.09/1809.71 c strong branching : 6.17 7768 77244 9.94 12519.29
1800.09/1809.71 c (at root node) : - 33 4179 126.64 -
1800.09/1809.71 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1809.71 c B&B Tree :
1800.09/1809.71 c number of runs : 1
1800.09/1809.71 c nodes : 1873556
1800.09/1809.71 c nodes (total) : 1873556
1800.09/1809.71 c nodes left : 793325
1800.09/1809.71 c max depth : 636
1800.09/1809.71 c max depth (total): 636
1800.09/1809.71 c backtracks : 71622 (3.8%)
1800.09/1809.71 c delayed cutoffs : 56702
1800.09/1809.71 c repropagations : 387561 (23242854 domain reductions, 56550 cutoffs)
1800.09/1809.71 c avg switch length: 3.35
1800.09/1809.71 c switching time : 130.14
1800.09/1809.71 c Solution :
1800.09/1809.71 c Solutions found : 170 (72 improvements)
1800.09/1809.71 c First Solution : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.05 seconds, depth 0, found by <trivial>)
1800.09/1809.71 c Primal Bound : +1.92200000000000e+03 (in run 1, after 1840416 nodes, 1706.06 seconds, depth 45, found by <relaxation>)
1800.09/1809.71 c Dual Bound : +0.00000000000000e+00
1800.09/1809.71 c Gap : infinite
1800.09/1809.71 c Root Dual Bound : +0.00000000000000e+00
1800.09/1809.71 c Root Iterations : 246
OK 1922
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700105-1278533976/watcher-2700105-1278533976 -o /tmp/evaluation-result-2700105-1278533976/solver-2700105-1278533976 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700105-1278533976.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.89 0.88 0.34 4/178 15642 /proc/meminfo: memFree=30492112/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=10844 CPUtime=0 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 1642 0 0 0 0 0 0 0 22 0 1 0 21544826 11104256 1562 4089446400 4194304 9819077 140734643637120 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/15642/statm: 2711 1579 392 1374 0 1332 0 [startup+0.0915189 s] /proc/loadavg: 1.89 0.88 0.34 4/178 15642 /proc/meminfo: memFree=30492112/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=25776 CPUtime=0.08 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 6262 0 0 0 8 0 0 0 22 0 1 0 21544826 26394624 5029 4089446400 4194304 9819077 140734643637120 18446744073709551615 6385895 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15642/statm: 6444 5033 673 1374 0 5065 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 25776 [startup+0.10052 s] /proc/loadavg: 1.89 0.88 0.34 4/178 15642 /proc/meminfo: memFree=30492112/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=25800 CPUtime=0.09 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 6304 0 0 0 9 0 0 0 22 0 1 0 21544826 26419200 5051 4089446400 4194304 9819077 140734643637120 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15642/statm: 6450 5051 673 1374 0 5071 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 25800 [startup+0.300494 s] /proc/loadavg: 1.89 0.88 0.34 4/178 15642 /proc/meminfo: memFree=30492112/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=27940 CPUtime=0.29 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 11522 0 0 0 28 1 0 0 22 0 1 0 21544826 28610560 5328 4089446400 4194304 9819077 140734643637120 18446744073709551615 7304818 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15642/statm: 6985 5328 695 1374 0 5606 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27940 [startup+0.700408 s] /proc/loadavg: 1.89 0.88 0.34 4/178 15642 /proc/meminfo: memFree=30492112/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=27796 CPUtime=0.69 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 18337 0 0 0 66 3 0 0 24 0 1 0 21544826 28463104 5308 4089446400 4194304 9819077 140734643637120 18446744073709551615 8875210 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15642/statm: 6985 5320 695 1374 0 5606 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27796 [startup+1.50025 s] /proc/loadavg: 1.90 0.90 0.34 3/179 15643 /proc/meminfo: memFree=30472388/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=29948 CPUtime=1.49 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 31353 0 0 0 142 7 0 0 25 0 1 0 21544826 30666752 6278 4089446400 4194304 9819077 140734643637120 18446744073709551615 6162152 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15642/statm: 7487 6278 704 1374 0 6108 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29948 [startup+3.10094 s] /proc/loadavg: 1.90 0.90 0.34 3/179 15643 /proc/meminfo: memFree=30468384/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=32580 CPUtime=3.09 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 39709 0 0 0 298 11 0 0 25 0 1 0 21544826 33361920 6900 4089446400 4194304 9819077 140734643637120 18446744073709551615 6628421 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15642/statm: 8145 6900 704 1374 0 6766 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32580 [startup+6.30033 s] /proc/loadavg: 1.90 0.90 0.34 3/179 15643 /proc/meminfo: memFree=30463228/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=39112 CPUtime=6.29 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 55483 0 0 0 611 18 0 0 25 0 1 0 21544826 40050688 8302 4089446400 4194304 9819077 140734643637120 18446744073709551615 4660929 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15642/statm: 9778 8302 704 1374 0 8399 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 39112 [startup+12.7011 s] /proc/loadavg: 1.91 0.93 0.36 3/179 15643 /proc/meminfo: memFree=30452664/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=49840 CPUtime=12.69 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 72685 0 0 0 1235 34 0 0 25 0 1 0 21544826 51036160 11003 4089446400 4194304 9819077 140734643637120 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15642/statm: 12460 11003 704 1374 0 11081 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49840 [startup+25.5006 s] /proc/loadavg: 1.93 0.97 0.38 3/179 15643 /proc/meminfo: memFree=30428468/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=72972 CPUtime=25.49 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 133855 0 0 0 2483 66 0 0 25 0 1 0 21544826 74723328 16730 4089446400 4194304 9819077 140734643637120 18446744073709551615 6003398 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15642/statm: 18243 16730 704 1374 0 16864 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 72972 [startup+51.1007 s] /proc/loadavg: 1.95 1.05 0.42 3/179 15643 /proc/meminfo: memFree=30388988/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=114744 CPUtime=51.09 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 217978 0 0 0 4979 130 0 0 25 0 1 0 21544826 117497856 26885 4089446400 4194304 9819077 140734643637120 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15642/statm: 28686 26885 704 1374 0 27307 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 114744 [startup+102.306 s] /proc/loadavg: 1.98 1.21 0.51 3/179 15645 /proc/meminfo: memFree=30306868/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=198792 CPUtime=102.3 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 349193 0 0 0 9978 252 0 0 25 0 1 0 21544826 203563008 46524 4089446400 4194304 9819077 140734643637120 18446744073709551615 8678556 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15642/statm: 49698 46524 704 1374 0 48319 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 198792 [startup+162.3 s] /proc/loadavg: 1.99 1.35 0.60 10/186 15654 /proc/meminfo: memFree=29811620/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=292840 CPUtime=162.3 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 548801 0 0 0 15774 456 0 0 25 0 1 0 21544826 299868160 69026 4089446400 4194304 9819077 140734643637120 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15642/statm: 73210 69026 704 1374 0 71831 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 292840 [startup+222.301 s] /proc/loadavg: 2.19 1.55 0.71 3/179 15656 /proc/meminfo: memFree=29945608/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=369592 CPUtime=222.3 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 734054 0 0 0 21419 811 0 0 25 0 1 0 21544826 378462208 86174 4089446400 4194304 9819077 140734643637120 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15642/statm: 92398 86174 704 1374 0 91019 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 369592 [startup+282.301 s] /proc/loadavg: 4.99 2.43 1.06 10/186 15670 /proc/meminfo: memFree=29566608/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=402232 CPUtime=282.3 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 844574 0 0 0 27115 1115 0 0 25 0 1 0 21544826 411885568 93752 4089446400 4194304 9819077 140734643637120 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15642/statm: 100514 93750 704 1374 0 99135 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 402232 [startup+342.301 s] /proc/loadavg: 5.88 3.10 1.38 10/186 15672 /proc/meminfo: memFree=29476548/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=439840 CPUtime=342.3 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 941054 0 0 0 32821 1409 0 0 25 0 1 0 21544826 450396160 102773 4089446400 4194304 9819077 140734643637120 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15642/statm: 109960 102773 704 1374 0 108581 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 439840 [startup+402.301 s] /proc/loadavg: 4.37 3.27 1.55 3/186 15674 /proc/meminfo: memFree=29283640/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=514436 CPUtime=402.3 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 1070359 0 0 0 38483 1747 0 0 25 0 1 0 21544826 526782464 120354 4089446400 4194304 9819077 140734643637120 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15642/statm: 128609 120354 704 1374 0 127230 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 514436 [startup+462.3 s] /proc/loadavg: 2.87 3.04 1.57 3/186 15676 /proc/meminfo: memFree=29243276/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=602424 CPUtime=462.3 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 1246568 0 0 0 44115 2115 0 0 25 0 1 0 21544826 616882176 140933 4089446400 4194304 9819077 140734643637120 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15642/statm: 150606 140933 704 1374 0 149227 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 602424 [startup+522.301 s] /proc/loadavg: 4.91 3.59 1.85 3/186 15678 /proc/meminfo: memFree=29225356/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=639840 CPUtime=521.38 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 1350399 0 0 0 49718 2420 0 0 25 0 1 0 21544826 655196160 149484 4089446400 4194304 9819077 140734643637120 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15642/statm: 159960 149484 704 1374 0 158581 0 Current children cumulated CPU time (s) 521.38 Current children cumulated vsize (KiB) 639840 [startup+582.3 s] /proc/loadavg: 5.98 4.12 2.14 4/186 15678 /proc/meminfo: memFree=29178660/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=684564 CPUtime=572.64 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 1424658 0 0 0 54654 2610 0 0 25 0 1 0 21544826 700993536 159921 4089446400 4194304 9819077 140734643637120 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15642/statm: 171141 159921 704 1374 0 169762 0 Current children cumulated CPU time (s) 572.64 Current children cumulated vsize (KiB) 684564 [startup+642.301 s] /proc/loadavg: 3.53 3.76 2.14 3/178 15819 /proc/meminfo: memFree=29806376/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=759604 CPUtime=632.65 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 1604839 0 0 0 60509 2756 0 0 25 0 1 0 21544826 777834496 176966 4089446400 4194304 9819077 140734643637120 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15642/statm: 189901 176966 704 1374 0 188522 0 Current children cumulated CPU time (s) 632.65 Current children cumulated vsize (KiB) 759604 [startup+702.3 s] ################ # More data... # ################ /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 2890606 0 0 0 101433 3833 0 0 25 0 1 0 21544826 1119371264 251300 4089446400 4194304 9819077 140734643637120 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15642/statm: 273284 251300 704 1374 0 271905 0 Current children cumulated CPU time (s) 1052.66 Current children cumulated vsize (KiB) 1093136 [startup+1122.3 s] /proc/loadavg: 2.00 2.34 2.07 3/178 16106 /proc/meminfo: memFree=29212364/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=1182320 CPUtime=1112.66 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 3080959 0 0 0 107272 3994 0 0 25 0 1 0 21544826 1210695680 272309 4089446400 4194304 9819077 140734643637120 18446744073709551615 4661114 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15642/statm: 295580 272309 704 1374 0 294201 0 Current children cumulated CPU time (s) 1112.66 Current children cumulated vsize (KiB) 1182320 [startup+1182.3 s] /proc/loadavg: 2.07 2.29 2.07 3/178 16106 /proc/meminfo: memFree=29080972/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=1245872 CPUtime=1172.66 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 3274544 0 0 0 113119 4147 0 0 25 0 1 0 21544826 1275772928 286695 4089446400 4194304 9819077 140734643637120 18446744073709551615 6387641 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15642/statm: 311468 286695 704 1374 0 310089 0 Current children cumulated CPU time (s) 1172.66 Current children cumulated vsize (KiB) 1245872 [startup+1242.3 s] /proc/loadavg: 2.02 2.24 2.06 3/178 16108 /proc/meminfo: memFree=28911520/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=1341716 CPUtime=1232.66 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 3469522 0 0 0 118961 4305 0 0 25 0 1 0 21544826 1373917184 308835 4089446400 4194304 9819077 140734643637120 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15642/statm: 335429 308835 704 1374 0 334050 0 Current children cumulated CPU time (s) 1232.66 Current children cumulated vsize (KiB) 1341716 [startup+1302.3 s] /proc/loadavg: 2.01 2.19 2.05 3/178 16110 /proc/meminfo: memFree=28750872/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=1432036 CPUtime=1292.67 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 3675177 0 0 0 124804 4463 0 0 25 0 1 0 21544826 1466404864 329458 4089446400 4194304 9819077 140734643637120 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15642/statm: 358009 329458 704 1374 0 356630 0 Current children cumulated CPU time (s) 1292.67 Current children cumulated vsize (KiB) 1432036 [startup+1362.3 s] /proc/loadavg: 2.00 2.15 2.05 3/178 16112 /proc/meminfo: memFree=28633264/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=1480992 CPUtime=1352.66 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 3882814 0 0 0 130643 4623 0 0 25 0 1 0 21544826 1516535808 339575 4089446400 4194304 9819077 140734643637120 18446744073709551615 7815954 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15642/statm: 370248 339575 704 1374 0 368869 0 Current children cumulated CPU time (s) 1352.66 Current children cumulated vsize (KiB) 1480992 [startup+1422.31 s] /proc/loadavg: 2.00 2.12 2.04 3/178 16114 /proc/meminfo: memFree=28511172/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=1528800 CPUtime=1412.68 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 4080517 0 0 0 136486 4782 0 0 25 0 1 0 21544826 1565491200 350113 4089446400 4194304 9819077 140734643637120 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15642/statm: 382200 350113 704 1374 0 380821 0 Current children cumulated CPU time (s) 1412.68 Current children cumulated vsize (KiB) 1528800 [startup+1482.3 s] /proc/loadavg: 2.00 2.10 2.04 3/178 16114 /proc/meminfo: memFree=28419700/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=1544452 CPUtime=1472.67 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 4271599 0 0 0 142325 4942 0 0 25 0 1 0 21544826 1581518848 353100 4089446400 4194304 9819077 140734643637120 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15642/statm: 386113 353100 704 1374 0 384734 0 Current children cumulated CPU time (s) 1472.67 Current children cumulated vsize (KiB) 1544452 [startup+1542.3 s] /proc/loadavg: 2.03 2.09 2.04 3/178 16116 /proc/meminfo: memFree=28294388/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=1605148 CPUtime=1532.67 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 4478545 0 0 0 148162 5105 0 0 25 0 1 0 21544826 1643671552 364679 4089446400 4194304 9819077 140734643637120 18446744073709551615 6003152 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15642/statm: 401287 364679 704 1374 0 399908 0 Current children cumulated CPU time (s) 1532.67 Current children cumulated vsize (KiB) 1605148 [startup+1602.3 s] /proc/loadavg: 2.01 2.07 2.03 3/178 16118 /proc/meminfo: memFree=28213984/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=1607920 CPUtime=1592.68 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 4689950 0 0 0 153998 5270 0 0 25 0 1 0 21544826 1646510080 365241 4089446400 4194304 9819077 140734643637120 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15642/statm: 401980 365241 704 1374 0 400601 0 Current children cumulated CPU time (s) 1592.68 Current children cumulated vsize (KiB) 1607920 [startup+1662.3 s] /proc/loadavg: 2.00 2.06 2.02 3/178 16120 /proc/meminfo: memFree=28127624/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=1617088 CPUtime=1652.68 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 4883480 0 0 0 159841 5427 0 0 25 0 1 0 21544826 1655898112 366555 4089446400 4194304 9819077 140734643637120 18446744073709551615 6003239 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15642/statm: 404272 366555 704 1374 0 402893 0 Current children cumulated CPU time (s) 1652.68 Current children cumulated vsize (KiB) 1617088 [startup+1722.3 s] /proc/loadavg: 2.04 2.06 2.02 3/178 16122 /proc/meminfo: memFree=28041760/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=1629092 CPUtime=1712.68 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 5071818 0 0 0 165679 5589 0 0 25 0 1 0 21544826 1668190208 368959 4089446400 4194304 9819077 140734643637120 18446744073709551615 6361730 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15642/statm: 407273 368959 704 1374 0 405894 0 Current children cumulated CPU time (s) 1712.68 Current children cumulated vsize (KiB) 1629092 [startup+1782.3 s] /proc/loadavg: 2.01 2.05 2.02 3/178 16122 /proc/meminfo: memFree=27935808/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=1656444 CPUtime=1772.68 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 5276272 0 0 0 171520 5748 0 0 25 0 1 0 21544826 1696198656 374463 4089446400 4194304 9819077 140734643637120 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15642/statm: 414111 374463 704 1374 0 412732 0 Current children cumulated CPU time (s) 1772.68 Current children cumulated vsize (KiB) 1656444 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1809.7 s] /proc/loadavg: 2.01 2.04 2.02 3/178 16124 /proc/meminfo: memFree=27886804/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=1675456 CPUtime=1800.09 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 5371688 0 0 0 174188 5821 0 0 25 0 1 0 21544826 1715666944 378162 4089446400 4194304 9819077 140734643637120 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15642/statm: 418778 378158 704 1374 0 417399 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1675456 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -15642 Solver just ended. Dumping a history of the last processes samples [startup+1811 s] /proc/loadavg: 2.01 2.04 2.02 3/179 16125 /proc/meminfo: memFree=27886424/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=1675456 CPUtime=1801.39 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 5371707 0 0 0 174318 5821 0 0 25 0 1 0 21544826 1715666944 378164 4089446400 4194304 9819077 140734643637120 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/15642/statm: 418864 378164 707 1374 0 417485 0 Current children cumulated CPU time (s) 1801.39 Current children cumulated vsize (KiB) 1675456 [startup+1811.4 s] /proc/loadavg: 2.01 2.04 2.02 3/179 16125 /proc/meminfo: memFree=27886424/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=1675456 CPUtime=1801.79 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 5371707 0 0 0 174358 5821 0 0 25 0 1 0 21544826 1715666944 378164 4089446400 4194304 9819077 140734643637120 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/15642/statm: 418864 378164 707 1374 0 417485 0 Current children cumulated CPU time (s) 1801.79 Current children cumulated vsize (KiB) 1675456 [startup+1811.6 s] /proc/loadavg: 2.01 2.04 2.02 3/179 16125 /proc/meminfo: memFree=27884564/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=1675456 CPUtime=1801.99 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 5371707 0 0 0 174378 5821 0 0 25 0 1 0 21544826 1715666944 378164 4089446400 4194304 9819077 140734643637120 18446744073709551615 4616598 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/15642/statm: 418864 378164 707 1374 0 417485 0 Current children cumulated CPU time (s) 1801.99 Current children cumulated vsize (KiB) 1675456 [startup+1811.71 s] /proc/loadavg: 2.01 2.04 2.02 3/179 16125 /proc/meminfo: memFree=27884564/32950928 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=1675456 CPUtime=1802.09 /proc/15642/stat : 15642 (pbscip.linux.x8) R 15640 15642 15393 0 -1 4202496 5371707 0 0 0 174388 5821 0 0 25 0 1 0 21544826 1715666944 378164 4089446400 4194304 9819077 140734643637120 18446744073709551615 6162881 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/15642/statm: 418864 378164 707 1374 0 417485 0 Current children cumulated CPU time (s) 1802.09 Current children cumulated vsize (KiB) 1675456 Child ended because it received signal 9 (SIGKILL) Real time (s): 1811.77 CPU time (s): 1802.16 CPU user time (s): 1743.89 CPU system time (s): 58.2731 CPU usage (%): 99.4698 Max. virtual memory (cumulated for all children) (KiB): 1675456 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1743.89 system time used= 58.2731 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5371707 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= 3511 runsolver used 2.5986 second user time and 6.09107 second system time The end
Begin job on node115 at 2010-07-07 22:19:36 IDJOB=2700105 IDBENCH=79400 IDSOLVER=1205 FILE ID=node115/2700105-1278533976 PBS_JOBID= 11239247 Free space on /tmp= 73612 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh18_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-2700105-1278533976/watcher-2700105-1278533976 -o /tmp/evaluation-result-2700105-1278533976/solver-2700105-1278533976 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700105-1278533976.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 11b5917216c9682d33b4eac8f024a9c6 RANDOM SEED=819368025 node115.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.812 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.62 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.812 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.76 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.812 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.812 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.812 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.812 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.812 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.812 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: 30492640 kB Buffers: 123448 kB Cached: 2117184 kB SwapCached: 0 kB Active: 945172 kB Inactive: 1371500 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30492640 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6408 kB Writeback: 0 kB AnonPages: 76180 kB Mapped: 16712 kB Slab: 78332 kB PageTables: 4944 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 221940 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= 73616 MiB End job on node115 at 2010-07-07 22:49:48