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-2705731-1278580118.wbo>
0.00/0.01 c original problem has 2000 variables (1100 bin, 0 int, 900 impl, 0 cont) and 1901 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.00/0.03 c (round 2) 100 del vars, 101 del conss, 900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 0 clqs
0.00/0.06 c (0.0s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.0s) 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, 900 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 2000 implications, 0 cliques
0.00/0.06 c presolved problem has 1900 variables (1000 bin, 0 int, 900 impl, 0 cont) and 1800 constraints
0.00/0.06 c 900 constraints of type <linear>
0.00/0.06 c 900 constraints of type <indicator>
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.3
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 = 1789.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 # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.06 c # [type: int, range: [1,2], default: 1]
0.00/0.06 c timing/clocktype = 2
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 # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/indicator/addCouplingCons = 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 444854
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.0s| 1 | 0 | 0 | - |6619k| 0 | - |1900 |1800 | 0 | 0 | 0 | 0 | 0 | -- | 4.448540e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 0 | - |7041k| 0 | 0 |1900 |1800 |1900 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 34 | - |7103k| 0 | 0 |1900 |1800 |1900 | 65 | 65 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 110 | - |7125k| 0 | 37 |1900 |1800 |1900 | 106 | 106 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 168 | - |7294k| 0 | 54 |1900 |1800 |1900 | 154 | 154 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 237 | - |7659k| 0 | 42 |1900 |1800 |1900 | 172 | 172 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.18 c 0.2s| 1 | 0 | 370 | - |7758k| 0 | 52 |1900 |1800 |1900 | 178 | 178 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.19/0.20 c 0.2s| 1 | 0 | 394 | - |7765k| 0 | 48 |1900 |1800 |1900 | 190 | 190 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.29/0.37 c 0.4s| 1 | 2 | 394 | - |7790k| 0 | 48 |1900 |1800 |1900 | 190 | 190 | 0 | 33 | 0.000000e+00 | 4.448540e+05 | Inf
9.19/9.26 c 9.2s| 10000 | 9993 | 12113 | 1.2 | 20M| 149 | 0 |1900 |1802 |1900 | 219 |2921 | 2 | 584 | 0.000000e+00 | 4.448540e+05 | Inf
16.79/16.87 c 16.9s| 20000 | 19993 | 18723 | 0.9 | 30M| 149 | 0 |1900 |1802 |1900 | 198 |4669 | 2 | 592 | 0.000000e+00 | 4.448540e+05 | Inf
23.79/23.88 c 23.9s| 30000 | 29983 | 25395 | 0.8 | 40M| 575 | 0 |1900 |1807 |1900 | 201 |6054 | 7 | 708 | 0.000000e+00 | 4.448540e+05 | Inf
30.80/30.88 c 30.9s| 40000 | 39973 | 31329 | 0.8 | 50M| 575 | 0 |1900 |1813 |1900 | 212 |7306 | 13 | 739 | 0.000000e+00 | 4.448540e+05 | Inf
37.59/37.66 c 37.6s| 50000 | 49973 | 34877 | 0.7 | 59M| 575 | 0 |1900 |1813 |1900 | 215 |8067 | 13 | 739 | 0.000000e+00 | 4.448540e+05 | Inf
44.50/44.51 c 44.5s| 60000 | 59973 | 38373 | 0.6 | 69M| 575 | 0 |1900 |1813 |1900 | 221 |8796 | 13 | 740 | 0.000000e+00 | 4.448540e+05 | Inf
51.19/51.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.19/51.27 c 51.3s| 70000 | 69971 | 41664 | 0.6 | 79M| 575 | 0 |1900 |1814 |1900 | 206 |9435 | 14 | 741 | 0.000000e+00 | 4.448540e+05 | Inf
57.99/58.01 c 58.0s| 80000 | 79971 | 45054 | 0.6 | 89M| 575 | 0 |1900 |1814 |1900 | 207 | 10k| 14 | 743 | 0.000000e+00 | 4.448540e+05 | Inf
64.90/64.94 c 64.9s| 90000 | 89971 | 51046 | 0.6 | 99M| 575 | 0 |1900 |1814 |1900 | 205 | 11k| 14 | 743 | 0.000000e+00 | 4.448540e+05 | Inf
71.89/71.90 c 71.9s|100000 | 99967 | 56061 | 0.6 | 109M| 575 | 0 |1900 |1815 |1900 | 229 | 12k| 16 | 746 | 0.000000e+00 | 4.448540e+05 | Inf
78.69/78.78 c 78.8s|110000 |109963 | 60441 | 0.5 | 119M| 575 | 0 |1900 |1817 |1900 | 224 | 13k| 18 | 746 | 0.000000e+00 | 4.448540e+05 | Inf
85.49/85.55 c 85.5s|120000 |119963 | 64260 | 0.5 | 128M| 575 | 0 |1900 |1817 |1900 | 235 | 13k| 18 | 746 | 0.000000e+00 | 4.448540e+05 | Inf
92.19/92.22 c 92.2s|130000 |129963 | 67727 | 0.5 | 138M| 575 | 0 |1900 |1816 |1900 | 214 | 14k| 18 | 746 | 0.000000e+00 | 4.448540e+05 | Inf
98.79/98.84 c 98.8s|140000 |139963 | 71101 | 0.5 | 148M| 575 | 0 |1900 |1816 |1900 | 226 | 15k| 18 | 746 | 0.000000e+00 | 4.448540e+05 | Inf
105.40/105.43 c 105s|150000 |149963 | 74099 | 0.5 | 158M| 575 | 0 |1900 |1816 |1900 | 212 | 15k| 18 | 746 | 0.000000e+00 | 4.448540e+05 | Inf
111.90/111.97 c 112s|160000 |159963 | 77203 | 0.5 | 168M| 575 | 0 |1900 |1816 |1900 | 219 | 16k| 18 | 746 | 0.000000e+00 | 4.448540e+05 | Inf
118.50/118.51 c 118s|170000 |169963 | 80273 | 0.5 | 178M| 575 | 0 |1900 |1816 |1900 | 224 | 16k| 18 | 746 | 0.000000e+00 | 4.448540e+05 | Inf
125.10/125.11 c 125s|180000 |179963 | 83503 | 0.5 | 187M| 575 | 0 |1900 |1816 |1900 | 210 | 17k| 18 | 746 | 0.000000e+00 | 4.448540e+05 | Inf
131.69/131.71 c 132s|190000 |189963 | 86740 | 0.5 | 197M| 575 | 0 |1900 |1816 |1900 | 219 | 18k| 18 | 746 | 0.000000e+00 | 4.448540e+05 | Inf
138.19/138.28 c 138s|200000 |199963 | 90018 | 0.4 | 207M| 575 | 0 |1900 |1816 |1900 | 236 | 18k| 18 | 746 | 0.000000e+00 | 4.448540e+05 | Inf
144.89/144.94 c 145s|210000 |209963 | 93605 | 0.4 | 217M| 575 | 0 |1900 |1816 |1900 | 212 | 19k| 18 | 746 | 0.000000e+00 | 4.448540e+05 | Inf
151.50/151.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.50/151.50 c 151s|220000 |219963 | 96952 | 0.4 | 227M| 575 | 0 |1900 |1816 |1900 | 208 | 20k| 18 | 746 | 0.000000e+00 | 4.448540e+05 | Inf
158.09/158.13 c 158s|230000 |229963 |100391 | 0.4 | 237M| 575 | 0 |1900 |1816 |1900 | 234 | 20k| 18 | 746 | 0.000000e+00 | 4.448540e+05 | Inf
164.59/164.69 c 165s|240000 |239961 |103592 | 0.4 | 246M| 575 | 0 |1900 |1817 |1900 | 227 | 21k| 19 | 746 | 0.000000e+00 | 4.448540e+05 | Inf
171.30/171.32 c 171s|250000 |249961 |106918 | 0.4 | 256M| 575 | 0 |1900 |1816 |1900 | 225 | 21k| 19 | 746 | 0.000000e+00 | 4.448540e+05 | Inf
177.90/177.96 c 178s|260000 |259961 |110503 | 0.4 | 266M| 575 | 0 |1900 |1815 |1900 | 218 | 22k| 19 | 746 | 0.000000e+00 | 4.448540e+05 | Inf
184.50/184.52 c 185s|270000 |269961 |113489 | 0.4 | 276M| 575 | 0 |1900 |1815 |1900 | 215 | 23k| 19 | 750 | 0.000000e+00 | 4.448540e+05 | Inf
191.00/191.08 c 191s|280000 |279961 |116669 | 0.4 | 286M| 575 | 0 |1900 |1815 |1900 | 217 | 23k| 19 | 755 | 0.000000e+00 | 4.448540e+05 | Inf
197.60/197.68 c 198s|290000 |289961 |119893 | 0.4 | 296M| 575 | 0 |1900 |1815 |1900 | 220 | 24k| 19 | 762 | 0.000000e+00 | 4.448540e+05 | Inf
204.20/204.29 c 204s|300000 |299959 |123082 | 0.4 | 305M| 575 | 0 |1900 |1814 |1900 | 209 | 24k| 19 | 766 | 0.000000e+00 | 4.448540e+05 | Inf
210.80/210.86 c 211s|310000 |309959 |126709 | 0.4 | 315M| 575 | 0 |1900 |1814 |1900 | 225 | 25k| 19 | 777 | 0.000000e+00 | 4.448540e+05 | Inf
217.40/217.44 c 217s|320000 |319959 |130455 | 0.4 | 325M| 575 | 0 |1900 |1814 |1900 | 237 | 26k| 19 | 779 | 0.000000e+00 | 4.448540e+05 | Inf
224.10/224.14 c 224s|330000 |329957 |135053 | 0.4 | 335M| 575 | 0 |1900 |1814 |1900 | 211 | 27k| 19 | 789 | 0.000000e+00 | 4.448540e+05 | Inf
230.70/230.73 c 231s|340000 |339957 |137958 | 0.4 | 345M| 575 | 0 |1900 |1814 |1900 | 212 | 27k| 19 | 790 | 0.000000e+00 | 4.448540e+05 | Inf
237.30/237.32 c 237s|350000 |349957 |141257 | 0.4 | 355M| 575 | 0 |1900 |1814 |1900 | 219 | 28k| 19 | 794 | 0.000000e+00 | 4.448540e+05 | Inf
243.90/243.93 c 244s|360000 |359957 |144906 | 0.4 | 364M| 575 | 0 |1900 |1813 |1900 | 217 | 29k| 19 | 794 | 0.000000e+00 | 4.448540e+05 | Inf
250.50/250.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
250.50/250.57 c 251s|370000 |369957 |148950 | 0.4 | 374M| 575 | 0 |1900 |1813 |1900 | 212 | 30k| 19 | 805 | 0.000000e+00 | 4.448540e+05 | Inf
257.20/257.26 c 257s|380000 |379955 |153526 | 0.4 | 384M| 575 | 0 |1900 |1813 |1900 | 222 | 30k| 20 | 810 | 0.000000e+00 | 4.448540e+05 | Inf
263.90/263.93 c 264s|390000 |389955 |157341 | 0.4 | 394M| 575 | 0 |1900 |1813 |1900 | 232 | 31k| 20 | 817 | 0.000000e+00 | 4.448540e+05 | Inf
270.70/270.75 c 271s|400000 |399955 |161403 | 0.4 | 404M| 575 | 0 |1900 |1813 |1900 | 242 | 32k| 20 | 887 | 0.000000e+00 | 4.448540e+05 | Inf
277.60/277.63 c 278s|410000 |409955 |165919 | 0.4 | 414M| 575 | 0 |1900 |1813 |1900 | 218 | 33k| 20 | 937 | 0.000000e+00 | 4.448540e+05 | Inf
284.50/284.53 c 285s|420000 |419955 |170977 | 0.4 | 424M| 575 | 0 |1900 |1813 |1900 | 211 | 34k| 20 | 959 | 0.000000e+00 | 4.448540e+05 | Inf
291.31/291.36 c 291s|430000 |429955 |176339 | 0.4 | 434M| 575 | 0 |1900 |1813 |1900 | 220 | 35k| 20 | 971 | 0.000000e+00 | 4.448540e+05 | Inf
298.20/298.20 c 298s|440000 |439955 |181599 | 0.4 | 444M| 575 | 0 |1900 |1812 |1900 | 220 | 36k| 20 | 987 | 0.000000e+00 | 4.448540e+05 | Inf
305.00/305.08 c 305s|450000 |449955 |186678 | 0.4 | 453M| 575 | 0 |1900 |1812 |1900 | 241 | 37k| 20 |1004 | 0.000000e+00 | 4.448540e+05 | Inf
311.81/311.89 c 312s|460000 |459955 |191553 | 0.4 | 463M| 575 | 0 |1900 |1812 |1900 | 237 | 38k| 20 |1009 | 0.000000e+00 | 4.448540e+05 | Inf
318.60/318.60 c 319s|470000 |469955 |195636 | 0.4 | 473M| 575 | 0 |1900 |1811 |1900 | 219 | 38k| 20 |1023 | 0.000000e+00 | 4.448540e+05 | Inf
325.30/325.37 c 325s|480000 |479955 |199693 | 0.4 | 483M| 575 | 0 |1900 |1811 |1900 | 214 | 39k| 20 |1096 | 0.000000e+00 | 4.448540e+05 | Inf
332.12/332.15 c 332s|490000 |489953 |203693 | 0.4 | 493M| 575 | 0 |1900 |1811 |1900 | 237 | 40k| 21 |1171 | 0.000000e+00 | 4.448540e+05 | Inf
338.81/338.86 c 339s|500000 |499953 |207731 | 0.4 | 503M| 575 | 0 |1900 |1811 |1900 | 218 | 41k| 21 |1180 | 0.000000e+00 | 4.448540e+05 | Inf
345.41/345.43 c 345s|510000 |509953 |211079 | 0.4 | 513M| 575 | 0 |1900 |1811 |1900 | 220 | 42k| 21 |1181 | 0.000000e+00 | 4.448540e+05 | Inf
352.10/352.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
352.10/352.11 c 352s|520000 |519953 |214615 | 0.4 | 523M| 575 | 0 |1900 |1809 |1900 | 227 | 43k| 21 |1194 | 0.000000e+00 | 4.448540e+05 | Inf
358.80/358.84 c 359s|530000 |529953 |218502 | 0.4 | 533M| 575 | 0 |1900 |1807 |1900 | 235 | 44k| 21 |1199 | 0.000000e+00 | 4.448540e+05 | Inf
365.50/365.55 c 366s|540000 |539953 |222154 | 0.4 | 543M| 575 | 0 |1900 |1807 |1900 | 220 | 45k| 21 |1205 | 0.000000e+00 | 4.448540e+05 | Inf
372.10/372.17 c 372s|550000 |549951 |225660 | 0.4 | 553M| 575 | 0 |1900 |1808 |1900 | 234 | 46k| 22 |1209 | 0.000000e+00 | 4.448540e+05 | Inf
378.81/378.83 c 379s|560000 |559951 |229341 | 0.4 | 562M| 575 | 0 |1900 |1808 |1900 | 229 | 47k| 22 |1220 | 0.000000e+00 | 4.448540e+05 | Inf
385.41/385.48 c 385s|570000 |569951 |232745 | 0.4 | 572M| 575 | 0 |1900 |1808 |1900 | 238 | 48k| 22 |1232 | 0.000000e+00 | 4.448540e+05 | Inf
392.11/392.13 c 392s|580000 |579951 |236565 | 0.4 | 582M| 575 | 0 |1900 |1808 |1900 | 215 | 49k| 22 |1232 | 0.000000e+00 | 4.448540e+05 | Inf
398.70/398.76 c 399s|590000 |589951 |239965 | 0.4 | 592M| 575 | 0 |1900 |1808 |1900 | 246 | 50k| 22 |1232 | 0.000000e+00 | 4.448540e+05 | Inf
405.40/405.43 c 405s|600000 |599951 |243694 | 0.4 | 602M| 575 | 0 |1900 |1808 |1900 | 232 | 51k| 22 |1243 | 0.000000e+00 | 4.448540e+05 | Inf
412.11/412.12 c 412s|610000 |609947 |247481 | 0.4 | 612M| 575 | 0 |1900 |1809 |1900 | 234 | 52k| 24 |1281 | 0.000000e+00 | 4.448540e+05 | Inf
418.81/418.80 c 419s|620000 |619945 |250979 | 0.4 | 622M| 575 | 0 |1900 |1810 |1900 | 240 | 53k| 25 |1304 | 0.000000e+00 | 4.448540e+05 | Inf
425.41/425.48 c 425s|630000 |629945 |254477 | 0.4 | 632M| 575 | 0 |1900 |1810 |1900 | 222 | 54k| 25 |1305 | 0.000000e+00 | 4.448540e+05 | Inf
432.01/432.08 c 432s|640000 |639945 |257559 | 0.4 | 642M| 575 | 0 |1900 |1810 |1900 | 223 | 54k| 25 |1309 | 0.000000e+00 | 4.448540e+05 | Inf
438.61/438.65 c 439s|650000 |649943 |260315 | 0.4 | 652M| 575 | 0 |1900 |1811 |1900 | 229 | 55k| 26 |1345 | 0.000000e+00 | 4.448540e+05 | Inf
445.31/445.34 c 445s|660000 |659941 |264243 | 0.4 | 662M| 575 | 0 |1900 |1812 |1900 | 209 | 56k| 27 |1545 | 0.000000e+00 | 4.448540e+05 | Inf
451.91/451.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
451.91/451.92 c 452s|670000 |669939 |267602 | 0.4 | 671M| 575 | 0 |1900 |1811 |1900 | 216 | 56k| 27 |1611 | 0.000000e+00 | 4.448540e+05 | Inf
458.41/458.46 c 458s|680000 |679937 |270521 | 0.4 | 681M| 575 | 0 |1900 |1811 |1900 | 216 | 56k| 27 |1618 | 0.000000e+00 | 4.448540e+05 | Inf
464.91/464.99 c 465s|690000 |689937 |273006 | 0.4 | 691M| 575 | 0 |1900 |1811 |1900 | 221 | 57k| 27 |1618 | 0.000000e+00 | 4.448540e+05 | Inf
471.51/471.51 c 471s|700000 |699937 |275472 | 0.4 | 701M| 575 | 0 |1900 |1811 |1900 | 210 | 57k| 27 |1618 | 0.000000e+00 | 4.448540e+05 | Inf
477.91/477.99 c 478s|710000 |709937 |277762 | 0.4 | 711M| 575 | 0 |1900 |1811 |1900 | 214 | 57k| 27 |1618 | 0.000000e+00 | 4.448540e+05 | Inf
484.51/484.52 c 485s|720000 |719937 |280569 | 0.4 | 721M| 575 | 0 |1900 |1811 |1900 | 211 | 58k| 27 |1633 | 0.000000e+00 | 4.448540e+05 | Inf
491.11/491.12 c 491s|730000 |729937 |284529 | 0.4 | 730M| 575 | 0 |1900 |1811 |1900 | 228 | 58k| 27 |1655 | 0.000000e+00 | 4.448540e+05 | Inf
497.61/497.65 c 498s|740000 |739937 |286686 | 0.4 | 740M| 575 | 0 |1900 |1811 |1900 | 222 | 59k| 27 |1656 | 0.000000e+00 | 4.448540e+05 | Inf
504.01/504.06 c 504s|750000 |749937 |288567 | 0.4 | 750M| 575 | 0 |1900 |1810 |1900 | 218 | 59k| 27 |1656 | 0.000000e+00 | 4.448540e+05 | Inf
510.51/510.53 c 511s|760000 |759937 |290648 | 0.4 | 760M| 575 | 0 |1900 |1809 |1900 | 225 | 59k| 27 |1656 | 0.000000e+00 | 4.448540e+05 | Inf
517.02/517.01 c 517s|770000 |769937 |292923 | 0.4 | 770M| 575 | 0 |1900 |1808 |1900 | 221 | 60k| 27 |1656 | 0.000000e+00 | 4.448540e+05 | Inf
523.52/523.51 c 523s|780000 |779937 |295743 | 0.4 | 780M| 575 | 0 |1900 |1808 |1900 | 222 | 60k| 27 |1666 | 0.000000e+00 | 4.448540e+05 | Inf
529.91/529.92 c 530s|790000 |789937 |297779 | 0.4 | 789M| 575 | 0 |1900 |1808 |1900 | 209 | 61k| 27 |1666 | 0.000000e+00 | 4.448540e+05 | Inf
536.32/536.30 c 536s|800000 |799937 |299644 | 0.4 | 799M| 575 | 0 |1900 |1807 |1900 | 221 | 61k| 27 |1666 | 0.000000e+00 | 4.448540e+05 | Inf
542.72/542.71 c 543s|810000 |809937 |301522 | 0.4 | 809M| 575 | 0 |1900 |1806 |1900 | 222 | 61k| 27 |1666 | 0.000000e+00 | 4.448540e+05 | Inf
549.12/549.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
549.12/549.13 c 549s|820000 |819937 |303359 | 0.4 | 819M| 575 | 0 |1900 |1805 |1900 | 223 | 61k| 27 |1666 | 0.000000e+00 | 4.448540e+05 | Inf
555.61/555.61 c 556s|830000 |829937 |305548 | 0.4 | 829M| 575 | 0 |1900 |1805 |1900 | 230 | 62k| 27 |1666 | 0.000000e+00 | 4.448540e+05 | Inf
562.12/562.12 c 562s|840000 |839937 |307654 | 0.4 | 839M| 575 | 0 |1900 |1805 |1900 | 227 | 62k| 27 |1666 | 0.000000e+00 | 4.448540e+05 | Inf
568.52/568.58 c 569s|850000 |849937 |309857 | 0.4 | 849M| 575 | 0 |1900 |1805 |1900 | 221 | 62k| 27 |1667 | 0.000000e+00 | 4.448540e+05 | Inf
575.01/575.09 c 575s|860000 |859937 |312269 | 0.4 | 859M| 575 | 0 |1900 |1805 |1900 | 220 | 63k| 27 |1667 | 0.000000e+00 | 4.448540e+05 | Inf
581.62/581.66 c 582s|870000 |869937 |314975 | 0.4 | 868M| 575 | 0 |1900 |1805 |1900 | 230 | 63k| 27 |1667 | 0.000000e+00 | 4.448540e+05 | Inf
588.21/588.24 c 588s|880000 |879937 |317593 | 0.4 | 878M| 575 | 0 |1900 |1804 |1900 | 234 | 64k| 27 |1670 | 0.000000e+00 | 4.448540e+05 | Inf
594.82/594.81 c 595s|890000 |889937 |319969 | 0.4 | 888M| 575 | 0 |1900 |1804 |1900 | 223 | 64k| 27 |1673 | 0.000000e+00 | 4.448540e+05 | Inf
601.32/601.37 c 601s|900000 |899937 |322534 | 0.4 | 898M| 575 | 0 |1900 |1804 |1900 | 208 | 64k| 27 |1680 | 0.000000e+00 | 4.448540e+05 | Inf
607.82/607.80 c 608s|910000 |909937 |324804 | 0.4 | 908M| 575 | 0 |1900 |1804 |1900 | 218 | 65k| 27 |1680 | 0.000000e+00 | 4.448540e+05 | Inf
614.21/614.26 c 614s|920000 |919937 |327018 | 0.4 | 918M| 575 | 0 |1900 |1804 |1900 | 214 | 65k| 27 |1703 | 0.000000e+00 | 4.448540e+05 | Inf
620.72/620.74 c 621s|930000 |929937 |329206 | 0.4 | 928M| 575 | 0 |1900 |1804 |1900 | 214 | 65k| 27 |1717 | 0.000000e+00 | 4.448540e+05 | Inf
627.22/627.22 c 627s|940000 |939937 |331354 | 0.4 | 937M| 575 | 0 |1900 |1804 |1900 | 220 | 66k| 27 |1721 | 0.000000e+00 | 4.448540e+05 | Inf
633.62/633.65 c 634s|950000 |949937 |333216 | 0.4 | 947M| 575 | 0 |1900 |1804 |1900 | 221 | 66k| 27 |1723 | 0.000000e+00 | 4.448540e+05 | Inf
640.02/640.08 c 640s|960000 |959937 |335092 | 0.3 | 957M| 575 | 0 |1900 |1803 |1900 | 215 | 66k| 27 |1724 | 0.000000e+00 | 4.448540e+05 | Inf
646.52/646.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
646.52/646.51 c 646s|970000 |969937 |336994 | 0.3 | 967M| 575 | 0 |1900 |1803 |1900 | 224 | 67k| 27 |1726 | 0.000000e+00 | 4.448540e+05 | Inf
652.92/652.95 c 653s|980000 |979937 |338909 | 0.3 | 977M| 575 | 0 |1900 |1803 |1900 | 216 | 67k| 27 |1727 | 0.000000e+00 | 4.448540e+05 | Inf
659.32/659.34 c 659s|990000 |989937 |340589 | 0.3 | 987M| 575 | 0 |1900 |1803 |1900 | 206 | 67k| 27 |1727 | 0.000000e+00 | 4.448540e+05 | Inf
665.62/665.63 c 666s| 1000k|999937 |341871 | 0.3 | 996M| 575 | 0 |1900 |1803 |1900 | 218 | 67k| 27 |1727 | 0.000000e+00 | 4.448540e+05 | Inf
672.03/672.01 c 672s| 1010k| 1009k|343671 | 0.3 |1006M| 575 | 0 |1900 |1803 |1900 | 220 | 67k| 27 |1727 | 0.000000e+00 | 4.448540e+05 | Inf
678.33/678.39 c 678s| 1020k| 1019k|345262 | 0.3 |1016M| 575 | 0 |1900 |1803 |1900 | 217 | 68k| 27 |1727 | 0.000000e+00 | 4.448540e+05 | Inf
684.73/684.71 c 685s| 1030k| 1029k|346814 | 0.3 |1026M| 575 | 0 |1900 |1803 |1900 | 219 | 68k| 27 |1727 | 0.000000e+00 | 4.448540e+05 | Inf
691.03/691.08 c 691s| 1040k| 1039k|348589 | 0.3 |1036M| 575 | 0 |1900 |1803 |1900 | 216 | 68k| 27 |1728 | 0.000000e+00 | 4.448540e+05 | Inf
697.42/697.45 c 697s| 1050k| 1049k|350319 | 0.3 |1046M| 575 | 0 |1900 |1803 |1900 | 223 | 68k| 27 |1728 | 0.000000e+00 | 4.448540e+05 | Inf
703.82/703.82 c 704s| 1060k| 1059k|351900 | 0.3 |1056M| 575 | 0 |1900 |1803 |1900 | 207 | 68k| 27 |1728 | 0.000000e+00 | 4.448540e+05 | Inf
710.23/710.28 c 710s| 1070k| 1069k|354203 | 0.3 |1065M| 575 | 0 |1900 |1804 |1900 | 231 | 69k| 28 |1749 | 0.000000e+00 | 4.448540e+05 | Inf
716.72/716.72 c 717s| 1080k| 1079k|356473 | 0.3 |1075M| 575 | 0 |1900 |1805 |1900 | 229 | 69k| 29 |1749 | 0.000000e+00 | 4.448540e+05 | Inf
723.12/723.12 c 723s| 1090k| 1089k|358669 | 0.3 |1085M| 575 | 0 |1900 |1805 |1900 | 207 | 70k| 29 |1769 | 0.000000e+00 | 4.448540e+05 | Inf
729.53/729.55 c 730s| 1100k| 1099k|360853 | 0.3 |1095M| 575 | 0 |1900 |1805 |1900 | 216 | 70k| 29 |1779 | 0.000000e+00 | 4.448540e+05 | Inf
735.93/735.98 c 736s| 1110k| 1109k|363064 | 0.3 |1105M| 575 | 0 |1900 |1805 |1900 | 211 | 70k| 29 |1779 | 0.000000e+00 | 4.448540e+05 | Inf
742.43/742.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
742.43/742.49 c 742s| 1120k| 1119k|365756 | 0.3 |1115M| 575 | 0 |1900 |1805 |1900 | 229 | 71k| 29 |1783 | 0.000000e+00 | 4.448540e+05 | Inf
748.92/749.00 c 749s| 1130k| 1129k|367797 | 0.3 |1125M| 575 | 0 |1900 |1805 |1900 | 229 | 71k| 29 |1796 | 0.000000e+00 | 4.448540e+05 | Inf
755.42/755.44 c 755s| 1140k| 1139k|369692 | 0.3 |1135M| 575 | 0 |1900 |1805 |1900 | 234 | 72k| 29 |1796 | 0.000000e+00 | 4.448540e+05 | Inf
761.92/761.93 c 762s| 1150k| 1149k|371638 | 0.3 |1145M| 575 | 0 |1900 |1806 |1900 | 227 | 72k| 30 |1796 | 0.000000e+00 | 4.448540e+05 | Inf
768.42/768.41 c 768s| 1160k| 1159k|373596 | 0.3 |1154M| 575 | 0 |1900 |1806 |1900 | 222 | 73k| 30 |1796 | 0.000000e+00 | 4.448540e+05 | Inf
774.92/774.91 c 775s| 1170k| 1169k|375643 | 0.3 |1164M| 575 | 0 |1900 |1806 |1900 | 228 | 73k| 30 |1796 | 0.000000e+00 | 4.448540e+05 | Inf
781.33/781.39 c 781s| 1180k| 1179k|377797 | 0.3 |1174M| 575 | 0 |1900 |1805 |1900 | 219 | 73k| 30 |1806 | 0.000000e+00 | 4.448540e+05 | Inf
787.82/787.87 c 788s| 1190k| 1189k|380156 | 0.3 |1184M| 575 | 0 |1900 |1805 |1900 | 222 | 74k| 30 |1810 | 0.000000e+00 | 4.448540e+05 | Inf
794.33/794.36 c 794s| 1200k| 1199k|382224 | 0.3 |1194M| 575 | 0 |1900 |1805 |1900 | 216 | 74k| 30 |1810 | 0.000000e+00 | 4.448540e+05 | Inf
800.92/800.92 c 801s| 1210k| 1209k|384537 | 0.3 |1204M| 575 | 0 |1900 |1805 |1900 | 221 | 74k| 30 |1812 | 0.000000e+00 | 4.448540e+05 | Inf
807.33/807.38 c 807s| 1220k| 1219k|386907 | 0.3 |1213M| 575 | 0 |1900 |1804 |1900 | 205 | 75k| 30 |1820 | 0.000000e+00 | 4.448540e+05 | Inf
813.83/813.84 c 814s| 1230k| 1229k|389113 | 0.3 |1223M| 575 | 0 |1900 |1804 |1900 | 206 | 75k| 30 |1820 | 0.000000e+00 | 4.448540e+05 | Inf
820.33/820.32 c 820s| 1240k| 1239k|391282 | 0.3 |1233M| 575 | 0 |1900 |1804 |1900 | 218 | 76k| 31 |1820 | 0.000000e+00 | 4.448540e+05 | Inf
826.83/826.80 c 827s| 1250k| 1249k|393808 | 0.3 |1243M| 575 | 0 |1900 |1804 |1900 | 214 | 76k| 31 |1820 | 0.000000e+00 | 4.448540e+05 | Inf
833.33/833.30 c 833s| 1260k| 1259k|395993 | 0.3 |1253M| 575 | 0 |1900 |1804 |1900 | 220 | 77k| 31 |1820 | 0.000000e+00 | 4.448540e+05 | Inf
839.72/839.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
839.72/839.73 c 840s| 1270k| 1269k|398052 | 0.3 |1263M| 575 | 0 |1900 |1804 |1900 | 209 | 77k| 31 |1820 | 0.000000e+00 | 4.448540e+05 | Inf
846.13/846.19 c 846s| 1280k| 1279k|400210 | 0.3 |1273M| 575 | 0 |1900 |1804 |1900 | 211 | 77k| 32 |1828 | 0.000000e+00 | 4.448540e+05 | Inf
852.63/852.62 c 853s| 1290k| 1289k|402450 | 0.3 |1283M| 575 | 0 |1900 |1804 |1900 | 227 | 78k| 32 |1832 | 0.000000e+00 | 4.448540e+05 | Inf
859.04/859.10 c 859s| 1300k| 1299k|404888 | 0.3 |1292M| 575 | 0 |1900 |1804 |1900 | 221 | 78k| 32 |1832 | 0.000000e+00 | 4.448540e+05 | Inf
865.64/865.63 c 866s| 1310k| 1309k|407597 | 0.3 |1302M| 575 | 0 |1900 |1804 |1900 | 211 | 78k| 32 |1832 | 0.000000e+00 | 4.448540e+05 | Inf
872.24/872.20 c 872s| 1320k| 1319k|410041 | 0.3 |1312M| 575 | 0 |1900 |1804 |1900 | 231 | 79k| 32 |1832 | 0.000000e+00 | 4.448540e+05 | Inf
878.63/878.69 c 879s| 1330k| 1329k|411978 | 0.3 |1322M| 575 | 0 |1900 |1803 |1900 | 222 | 79k| 32 |1839 | 0.000000e+00 | 4.448540e+05 | Inf
885.13/885.12 c 885s| 1340k| 1339k|414155 | 0.3 |1332M| 575 | 0 |1900 |1803 |1900 | 215 | 80k| 32 |1839 | 0.000000e+00 | 4.448540e+05 | Inf
891.53/891.52 c 892s| 1350k| 1349k|416208 | 0.3 |1342M| 575 | 0 |1900 |1803 |1900 | 213 | 80k| 32 |1839 | 0.000000e+00 | 4.448540e+05 | Inf
897.93/897.94 c 898s| 1360k| 1359k|418268 | 0.3 |1351M| 575 | 0 |1900 |1803 |1900 | 216 | 80k| 32 |1839 | 0.000000e+00 | 4.448540e+05 | Inf
904.33/904.34 c 904s| 1370k| 1369k|420156 | 0.3 |1361M| 575 | 0 |1900 |1803 |1900 | 222 | 81k| 32 |1839 | 0.000000e+00 | 4.448540e+05 | Inf
910.73/910.75 c 911s| 1380k| 1379k|422140 | 0.3 |1371M| 575 | 0 |1900 |1803 |1900 | 210 | 81k| 32 |1852 | 0.000000e+00 | 4.448540e+05 | Inf
917.14/917.13 c 917s| 1390k| 1389k|423990 | 0.3 |1381M| 575 | 0 |1900 |1803 |1900 | 211 | 81k| 32 |1852 | 0.000000e+00 | 4.448540e+05 | Inf
923.53/923.54 c 924s| 1400k| 1399k|425903 | 0.3 |1391M| 575 | 0 |1900 |1803 |1900 | 207 | 82k| 32 |1860 | 0.000000e+00 | 4.448540e+05 | Inf
929.93/929.98 c 930s| 1410k| 1409k|428089 | 0.3 |1400M| 575 | 0 |1900 |1803 |1900 | 217 | 82k| 32 |1866 | 0.000000e+00 | 4.448540e+05 | Inf
936.33/936.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
936.33/936.40 c 936s| 1420k| 1419k|430132 | 0.3 |1410M| 575 | 0 |1900 |1803 |1900 | 218 | 83k| 32 |1869 | 0.000000e+00 | 4.448540e+05 | Inf
942.83/942.82 c 943s| 1430k| 1429k|432137 | 0.3 |1420M| 575 | 0 |1900 |1802 |1900 | 220 | 83k| 32 |1873 | 0.000000e+00 | 4.448540e+05 | Inf
949.24/949.23 c 949s| 1440k| 1439k|434141 | 0.3 |1430M| 575 | 0 |1900 |1802 |1900 | 210 | 83k| 32 |1873 | 0.000000e+00 | 4.448540e+05 | Inf
955.64/955.67 c 956s| 1450k| 1449k|436062 | 0.3 |1440M| 575 | 0 |1900 |1802 |1900 | 214 | 84k| 32 |1873 | 0.000000e+00 | 4.448540e+05 | Inf
962.14/962.16 c 962s| 1460k| 1459k|438276 | 0.3 |1449M| 575 | 0 |1900 |1802 |1900 | 215 | 84k| 32 |1873 | 0.000000e+00 | 4.448540e+05 | Inf
968.74/968.71 c 969s| 1470k| 1469k|440527 | 0.3 |1459M| 575 | 0 |1900 |1802 |1900 | 208 | 85k| 32 |1875 | 0.000000e+00 | 4.448540e+05 | Inf
975.13/975.14 c 975s| 1480k| 1479k|442565 | 0.3 |1469M| 575 | 0 |1900 |1802 |1900 | 218 | 85k| 32 |1882 | 0.000000e+00 | 4.448540e+05 | Inf
981.63/981.66 c 982s| 1490k| 1489k|444404 | 0.3 |1479M| 575 | 0 |1900 |1802 |1900 | 217 | 86k| 32 |1883 | 0.000000e+00 | 4.448540e+05 | Inf
988.14/988.14 c 988s| 1500k| 1499k|446153 | 0.3 |1489M| 575 | 0 |1900 |1802 |1900 | 222 | 86k| 32 |1892 | 0.000000e+00 | 4.448540e+05 | Inf
994.54/994.50 c 994s| 1510k| 1509k|447996 | 0.3 |1499M| 575 | 0 |1900 |1802 |1900 | 220 | 86k| 32 |1894 | 0.000000e+00 | 4.448540e+05 | Inf
1000.95/1000.91 c 1001s| 1520k| 1519k|450048 | 0.3 |1508M| 575 | 0 |1900 |1802 |1900 | 220 | 87k| 32 |1901 | 0.000000e+00 | 4.448540e+05 | Inf
1007.44/1007.42 c 1007s| 1530k| 1529k|452732 | 0.3 |1518M| 575 | 0 |1900 |1802 |1900 | 231 | 87k| 32 |1904 | 0.000000e+00 | 4.448540e+05 | Inf
1013.84/1013.86 c 1014s| 1540k| 1539k|454706 | 0.3 |1528M| 575 | 0 |1900 |1802 |1900 | 215 | 87k| 32 |1904 | 0.000000e+00 | 4.448540e+05 | Inf
1020.24/1020.26 c 1020s| 1550k| 1549k|456694 | 0.3 |1538M| 575 | 0 |1900 |1802 |1900 | 223 | 88k| 32 |1904 | 0.000000e+00 | 4.448540e+05 | Inf
1026.63/1026.66 c 1027s| 1560k| 1559k|458607 | 0.3 |1548M| 575 | 0 |1900 |1802 |1900 | 218 | 88k| 32 |1904 | 0.000000e+00 | 4.448540e+05 | Inf
1033.03/1033.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1033.03/1033.07 c 1033s| 1570k| 1569k|460644 | 0.3 |1558M| 575 | 0 |1900 |1802 |1900 | 218 | 88k| 32 |1906 | 0.000000e+00 | 4.448540e+05 | Inf
1039.55/1039.51 c 1039s| 1580k| 1579k|462603 | 0.3 |1567M| 575 | 0 |1900 |1802 |1900 | 218 | 89k| 32 |1906 | 0.000000e+00 | 4.448540e+05 | Inf
1045.94/1045.96 c 1046s| 1590k| 1589k|464606 | 0.3 |1577M| 575 | 0 |1900 |1802 |1900 | 216 | 89k| 32 |1906 | 0.000000e+00 | 4.448540e+05 | Inf
1052.43/1052.40 c 1052s| 1600k| 1599k|466372 | 0.3 |1587M| 575 | 0 |1900 |1802 |1900 | 215 | 89k| 32 |1906 | 0.000000e+00 | 4.448540e+05 | Inf
1058.84/1058.85 c 1059s| 1610k| 1609k|468471 | 0.3 |1597M| 575 | 0 |1900 |1802 |1900 | 230 | 90k| 32 |1906 | 0.000000e+00 | 4.448540e+05 | Inf
1065.24/1065.26 c 1065s| 1620k| 1619k|470295 | 0.3 |1607M| 575 | 0 |1900 |1802 |1900 | 223 | 90k| 32 |1906 | 0.000000e+00 | 4.448540e+05 | Inf
1071.74/1071.73 c 1072s| 1630k| 1629k|472351 | 0.3 |1617M| 575 | 0 |1900 |1802 |1900 | 217 | 90k| 32 |1906 | 0.000000e+00 | 4.448540e+05 | Inf
1078.14/1078.16 c 1078s| 1640k| 1639k|474172 | 0.3 |1626M| 575 | 0 |1900 |1802 |1900 | 224 | 91k| 32 |1906 | 0.000000e+00 | 4.448540e+05 | Inf
1084.64/1084.63 c 1085s| 1650k| 1649k|476246 | 0.3 |1636M| 575 | 0 |1900 |1802 |1900 | 235 | 91k| 32 |1906 | 0.000000e+00 | 4.448540e+05 | Inf
1091.14/1091.11 c 1091s| 1660k| 1659k|478291 | 0.3 |1646M| 575 | 0 |1900 |1802 |1900 | 228 | 91k| 32 |1906 | 0.000000e+00 | 4.448540e+05 | Inf
1097.54/1097.51 c 1097s| 1670k| 1669k|479984 | 0.3 |1656M| 575 | 0 |1900 |1802 |1900 | 222 | 92k| 32 |1906 | 0.000000e+00 | 4.448540e+05 | Inf
1103.94/1103.95 c 1104s| 1680k| 1679k|481913 | 0.3 |1666M| 575 | 0 |1900 |1802 |1900 | 224 | 92k| 32 |1906 | 0.000000e+00 | 4.448540e+05 | Inf
1110.34/1110.38 c 1110s| 1690k| 1689k|483744 | 0.3 |1676M| 575 | 0 |1900 |1802 |1900 | 219 | 92k| 32 |1906 | 0.000000e+00 | 4.448540e+05 | Inf
1116.84/1116.83 c 1117s| 1700k| 1699k|485727 | 0.3 |1686M| 575 | 0 |1900 |1802 |1900 | 228 | 93k| 32 |1906 | 0.000000e+00 | 4.448540e+05 | Inf
1123.25/1123.25 c 1123s| 1710k| 1709k|487633 | 0.3 |1695M| 575 | 0 |1900 |1802 |1900 | 215 | 93k| 32 |1920 | 0.000000e+00 | 4.448540e+05 | Inf
1129.64/1129.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1129.64/1129.66 c 1130s| 1720k| 1719k|489574 | 0.3 |1705M| 575 | 0 |1900 |1802 |1900 | 214 | 93k| 32 |1920 | 0.000000e+00 | 4.448540e+05 | Inf
1136.04/1136.00 c 1136s| 1730k| 1729k|491138 | 0.3 |1715M| 575 | 0 |1900 |1802 |1900 | 226 | 93k| 32 |1920 | 0.000000e+00 | 4.448540e+05 | Inf
1142.34/1142.38 c 1142s| 1740k| 1739k|492491 | 0.3 |1725M| 575 | 0 |1900 |1802 |1900 | 208 | 94k| 32 |1920 | 0.000000e+00 | 4.448540e+05 | Inf
1148.74/1148.74 c 1149s| 1750k| 1749k|493800 | 0.3 |1735M| 575 | 0 |1900 |1803 |1900 | 212 | 94k| 33 |1920 | 0.000000e+00 | 4.448540e+05 | Inf
1155.14/1155.13 c 1155s| 1760k| 1759k|495392 | 0.3 |1745M| 575 | 0 |1900 |1803 |1900 | 217 | 94k| 33 |1920 | 0.000000e+00 | 4.448540e+05 | Inf
1161.45/1161.49 c 1161s| 1770k| 1769k|497273 | 0.3 |1754M| 575 | 0 |1900 |1803 |1900 | 216 | 94k| 33 |1920 | 0.000000e+00 | 4.448540e+05 | Inf
1167.84/1167.85 c 1168s| 1780k| 1779k|498974 | 0.3 |1764M| 575 | 0 |1900 |1803 |1900 | 234 | 95k| 33 |1920 | 0.000000e+00 | 4.448540e+05 | Inf
1174.24/1174.21 c 1174s| 1790k| 1789k|500766 | 0.3 |1774M| 575 | 0 |1900 |1803 |1900 | 224 | 95k| 33 |1920 | 0.000000e+00 | 4.448540e+05 | Inf
1180.64/1180.63 c 1181s| 1800k| 1799k|501964 | 0.3 |1784M| 575 | 0 |1900 |1803 |1900 | 229 | 95k| 33 |1920 | 0.000000e+00 | 4.448540e+05 | Inf
1187.05/1187.09 c 1187s| 1810k| 1809k|503329 | 0.3 |1794M| 575 | 0 |1900 |1803 |1900 | 235 | 95k| 33 |1920 | 0.000000e+00 | 4.448540e+05 | Inf
1193.45/1193.49 c 1193s| 1820k| 1819k|504648 | 0.3 |1803M| 575 | 0 |1900 |1803 |1900 | 217 | 95k| 33 |1920 | 0.000000e+00 | 4.448540e+05 | Inf
1199.95/1199.90 c 1200s| 1830k| 1829k|506092 | 0.3 |1813M| 575 | 0 |1900 |1803 |1900 | 224 | 96k| 33 |1920 | 0.000000e+00 | 4.448540e+05 | Inf
1206.25/1206.29 c 1206s| 1840k| 1839k|507557 | 0.3 |1823M| 575 | 0 |1900 |1803 |1900 | 213 | 96k| 33 |1920 | 0.000000e+00 | 4.448540e+05 | Inf
1212.65/1212.69 c 1213s| 1850k| 1849k|508729 | 0.3 |1833M| 575 | 0 |1900 |1803 |1900 | 220 | 96k| 33 |1920 | 0.000000e+00 | 4.448540e+05 | Inf
1219.05/1219.07 c 1219s| 1860k| 1859k|510054 | 0.3 |1842M| 575 | 0 |1900 |1803 |1900 | 201 | 96k| 33 |1920 | 0.000000e+00 | 4.448540e+05 | Inf
1225.45/1225.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1225.45/1225.43 c 1225s| 1870k| 1869k|511748 | 0.3 |1852M| 575 | 0 |1900 |1803 |1900 | 219 | 96k| 33 |1920 | 0.000000e+00 | 4.448540e+05 | Inf
1231.75/1231.79 c 1232s| 1880k| 1879k|513480 | 0.3 |1862M| 575 | 0 |1900 |1803 |1900 | 223 | 97k| 33 |1920 | 0.000000e+00 | 4.448540e+05 | Inf
1238.25/1238.25 c 1238s| 1890k| 1889k|515304 | 0.3 |1872M| 575 | 0 |1900 |1803 |1900 | 226 | 97k| 33 |1920 | 0.000000e+00 | 4.448540e+05 | Inf
1244.65/1244.62 c 1245s| 1900k| 1899k|516990 | 0.3 |1882M| 575 | 0 |1900 |1803 |1900 | 224 | 97k| 33 |1920 | 0.000000e+00 | 4.448540e+05 | Inf
1251.05/1251.00 c 1251s| 1910k| 1909k|518574 | 0.3 |1892M| 575 | 0 |1900 |1803 |1900 | 221 | 97k| 33 |1920 | 0.000000e+00 | 4.448540e+05 | Inf
1257.45/1257.42 c 1257s| 1920k| 1919k|520252 | 0.3 |1901M| 575 | 0 |1900 |1803 |1900 | 216 | 98k| 33 |1920 | 0.000000e+00 | 4.448540e+05 | Inf
1263.75/1263.77 c 1264s| 1930k| 1929k|521798 | 0.3 |1911M| 575 | 0 |1900 |1803 |1900 | 211 | 98k| 33 |1920 | 0.000000e+00 | 4.448540e+05 | Inf
1270.15/1270.15 c 1270s| 1940k| 1939k|523647 | 0.3 |1921M| 575 | 0 |1900 |1803 |1900 | 218 | 98k| 33 |1920 | 0.000000e+00 | 4.448540e+05 | Inf
1276.54/1276.53 c 1277s| 1950k| 1949k|525363 | 0.3 |1931M| 575 | 0 |1900 |1803 |1900 | 220 | 98k| 33 |1920 | 0.000000e+00 | 4.448540e+05 | Inf
1282.95/1282.93 c 1283s| 1960k| 1959k|526975 | 0.3 |1941M| 575 | 0 |1900 |1803 |1900 | 224 | 99k| 33 |1920 | 0.000000e+00 | 4.448540e+05 | Inf
1289.45/1289.40 c 1289s| 1970k| 1969k|528832 | 0.3 |1950M| 575 | 0 |1900 |1803 |1900 | 223 | 99k| 33 |1920 | 0.000000e+00 | 4.448540e+05 | Inf
1295.86/1295.80 c 1296s| 1980k| 1979k|530504 | 0.3 |1960M| 575 | 0 |1900 |1803 |1900 | 220 | 99k| 33 |1920 | 0.000000e+00 | 4.448540e+05 | Inf
1302.25/1302.30 c 1302s| 1990k| 1989k|532467 | 0.3 |1970M| 575 | 0 |1900 |1803 |1900 | 226 | 100k| 33 |1920 | 0.000000e+00 | 4.448540e+05 | Inf
1308.75/1308.70 c 1309s| 2000k| 1999k|534417 | 0.3 |1980M| 575 | 0 |1900 |1803 |1900 | 220 | 100k| 33 |1920 | 0.000000e+00 | 4.448540e+05 | Inf
1315.16/1315.15 c 1315s| 2010k| 2009k|536515 | 0.3 |1990M| 575 | 0 |1900 |1803 |1900 | 225 | 100k| 33 |1923 | 0.000000e+00 | 4.448540e+05 | Inf
1321.55/1321.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1321.55/1321.54 c 1322s| 2020k| 2019k|537974 | 0.3 |2000M| 575 | 0 |1900 |1803 |1900 | 220 | 101k| 33 |1923 | 0.000000e+00 | 4.448540e+05 | Inf
1327.95/1327.90 c 1328s| 2030k| 2029k|539632 | 0.3 |2009M| 575 | 0 |1900 |1803 |1900 | 215 | 101k| 33 |1923 | 0.000000e+00 | 4.448540e+05 | Inf
1334.26/1334.30 c 1334s| 2040k| 2039k|540988 | 0.3 |2019M| 575 | 0 |1900 |1803 |1900 | 221 | 101k| 33 |1923 | 0.000000e+00 | 4.448540e+05 | Inf
1340.65/1340.69 c 1341s| 2050k| 2049k|542399 | 0.3 |2029M| 575 | 0 |1900 |1803 |1900 | 220 | 101k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1347.05/1347.07 c 1347s| 2060k| 2059k|543657 | 0.3 |2039M| 575 | 0 |1900 |1803 |1900 | 214 | 101k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1353.46/1353.44 c 1353s| 2070k| 2069k|545080 | 0.3 |2048M| 575 | 0 |1900 |1803 |1900 | 222 | 101k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1359.85/1359.82 c 1360s| 2080k| 2079k|546684 | 0.3 |2058M| 575 | 0 |1900 |1803 |1900 | 220 | 102k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1366.26/1366.26 c 1366s| 2090k| 2089k|548601 | 0.3 |2068M| 575 | 0 |1900 |1803 |1900 | 220 | 102k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1372.65/1372.62 c 1373s| 2100k| 2099k|550187 | 0.3 |2078M| 575 | 0 |1900 |1803 |1900 | 220 | 102k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1378.96/1378.98 c 1379s| 2110k| 2109k|551894 | 0.3 |2088M| 575 | 0 |1900 |1803 |1900 | 215 | 102k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1385.35/1385.34 c 1385s| 2120k| 2119k|553464 | 0.3 |2097M| 575 | 0 |1900 |1803 |1900 | 219 | 103k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1391.76/1391.71 c 1392s| 2130k| 2129k|555171 | 0.3 |2107M| 575 | 0 |1900 |1803 |1900 | 221 | 103k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1398.16/1398.16 c 1398s| 2140k| 2139k|557159 | 0.3 |2117M| 575 | 0 |1900 |1803 |1900 | 231 | 103k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1404.66/1404.62 c 1405s| 2150k| 2149k|559059 | 0.3 |2127M| 575 | 0 |1900 |1803 |1900 | 229 | 103k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1411.05/1411.02 c 1411s| 2160k| 2159k|560772 | 0.3 |2137M| 575 | 0 |1900 |1803 |1900 | 219 | 104k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1417.45/1417.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1417.45/1417.45 c 1417s| 2170k| 2169k|562494 | 0.3 |2147M| 575 | 0 |1900 |1803 |1900 | 227 | 104k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1423.95/1423.90 c 1424s| 2180k| 2179k|564249 | 0.3 |2156M| 575 | 0 |1900 |1803 |1900 | 223 | 104k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1430.36/1430.37 c 1430s| 2190k| 2189k|566030 | 0.3 |2166M| 575 | 0 |1900 |1803 |1900 | 222 | 105k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1436.75/1436.75 c 1437s| 2200k| 2199k|567859 | 0.3 |2176M| 575 | 0 |1900 |1803 |1900 | 229 | 105k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1443.16/1443.20 c 1443s| 2210k| 2209k|569679 | 0.3 |2186M| 575 | 0 |1900 |1803 |1900 | 224 | 105k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1449.66/1449.69 c 1450s| 2220k| 2219k|571697 | 0.3 |2196M| 575 | 0 |1900 |1803 |1900 | 230 | 105k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1456.25/1456.23 c 1456s| 2230k| 2229k|573544 | 0.3 |2206M| 575 | 0 |1900 |1803 |1900 | 224 | 106k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1462.65/1462.64 c 1463s| 2240k| 2239k|575404 | 0.3 |2215M| 575 | 0 |1900 |1803 |1900 | 227 | 106k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1469.16/1469.12 c 1469s| 2250k| 2249k|577237 | 0.3 |2225M| 575 | 0 |1900 |1803 |1900 | 232 | 106k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1475.66/1475.63 c 1476s| 2260k| 2259k|579055 | 0.3 |2235M| 575 | 0 |1900 |1803 |1900 | 233 | 107k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1482.16/1482.16 c 1482s| 2270k| 2269k|580964 | 0.3 |2245M| 575 | 0 |1900 |1803 |1900 | 241 | 107k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1488.66/1488.69 c 1489s| 2280k| 2279k|582906 | 0.3 |2255M| 575 | 0 |1900 |1803 |1900 | 221 | 108k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1495.06/1495.09 c 1495s| 2290k| 2289k|584662 | 0.3 |2265M| 575 | 0 |1900 |1803 |1900 | 221 | 108k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1501.57/1501.55 c 1502s| 2300k| 2299k|586485 | 0.3 |2275M| 575 | 0 |1900 |1803 |1900 | 230 | 108k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1508.17/1508.11 c 1508s| 2310k| 2309k|588517 | 0.3 |2285M| 575 | 0 |1900 |1803 |1900 | 229 | 109k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1514.67/1514.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1514.67/1514.61 c 1515s| 2320k| 2319k|590399 | 0.3 |2294M| 575 | 0 |1900 |1803 |1900 | 230 | 109k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1521.06/1521.06 c 1521s| 2330k| 2329k|592353 | 0.3 |2304M| 575 | 0 |1900 |1803 |1900 | 210 | 109k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1527.46/1527.44 c 1527s| 2340k| 2339k|593959 | 0.3 |2314M| 575 | 0 |1900 |1803 |1900 | 212 | 110k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1533.86/1533.83 c 1534s| 2350k| 2349k|595601 | 0.3 |2324M| 575 | 0 |1900 |1803 |1900 | 223 | 110k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1540.26/1540.25 c 1540s| 2360k| 2359k|597332 | 0.3 |2334M| 575 | 0 |1900 |1803 |1900 | 229 | 110k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1546.76/1546.75 c 1547s| 2370k| 2369k|599236 | 0.3 |2344M| 575 | 0 |1900 |1803 |1900 | 224 | 110k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1553.17/1553.19 c 1553s| 2380k| 2379k|601608 | 0.3 |2354M| 575 | 0 |1900 |1803 |1900 | 230 | 111k| 33 |1926 | 0.000000e+00 | 4.448540e+05 | Inf
1559.67/1559.63 c 1560s| 2390k| 2389k|603468 | 0.3 |2363M| 575 | 0 |1900 |1803 |1900 | 225 | 111k| 33 |1935 | 0.000000e+00 | 4.448540e+05 | Inf
1566.17/1566.15 c 1566s| 2400k| 2399k|605577 | 0.3 |2373M| 575 | 0 |1900 |1803 |1900 | 216 | 111k| 33 |1943 | 0.000000e+00 | 4.448540e+05 | Inf
1572.56/1572.57 c 1573s| 2410k| 2409k|607364 | 0.3 |2383M| 575 | 0 |1900 |1803 |1900 | 212 | 112k| 33 |1943 | 0.000000e+00 | 4.448540e+05 | Inf
1579.06/1579.07 c 1579s| 2420k| 2419k|609343 | 0.3 |2393M| 575 | 0 |1900 |1803 |1900 | 205 | 112k| 33 |1974 | 0.000000e+00 | 4.448540e+05 | Inf
1585.56/1585.57 c 1586s| 2430k| 2429k|611160 | 0.3 |2403M| 575 | 0 |1900 |1802 |1900 | 234 | 113k| 33 |1974 | 0.000000e+00 | 4.448540e+05 | Inf
1591.97/1591.91 c 1592s| 2440k| 2439k|612449 | 0.3 |2413M| 575 | 0 |1900 |1802 |1900 | 201 | 113k| 33 |1974 | 0.000000e+00 | 4.448540e+05 | Inf
1598.27/1598.22 c 1598s| 2450k| 2449k|613572 | 0.3 |2423M| 575 | 0 |1900 |1802 |1900 | 202 | 113k| 33 |1974 | 0.000000e+00 | 4.448540e+05 | Inf
1604.57/1604.58 c 1605s| 2460k| 2459k|614970 | 0.2 |2432M| 575 | 0 |1900 |1802 |1900 | 200 | 113k| 33 |1974 | 0.000000e+00 | 4.448540e+05 | Inf
1610.87/1610.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1610.87/1610.81 c 1611s| 2470k| 2469k|616543 | 0.2 |2442M| 575 | 0 |1900 |1802 |1900 | 197 | 113k| 33 |1974 | 0.000000e+00 | 4.448540e+05 | Inf
1617.07/1617.07 c 1617s| 2480k| 2479k|618539 | 0.2 |2452M| 575 | 0 |1900 |1802 |1900 | 221 | 113k| 33 |1974 | 0.000000e+00 | 4.448540e+05 | Inf
1623.57/1623.55 c 1624s| 2490k| 2489k|620886 | 0.2 |2462M| 575 | 0 |1900 |1802 |1900 | 221 | 114k| 33 |1995 | 0.000000e+00 | 4.448540e+05 | Inf
1630.07/1630.02 c 1630s| 2500k| 2499k|623151 | 0.2 |2472M| 575 | 0 |1900 |1802 |1900 | 214 | 114k| 33 |2001 | 0.000000e+00 | 4.448540e+05 | Inf
1636.47/1636.44 c 1636s| 2510k| 2509k|625290 | 0.2 |2482M| 575 | 0 |1900 |1802 |1900 | 218 | 115k| 33 |2001 | 0.000000e+00 | 4.448540e+05 | Inf
1642.86/1642.83 c 1643s| 2520k| 2519k|627315 | 0.2 |2491M| 575 | 0 |1900 |1802 |1900 | 207 | 115k| 33 |2001 | 0.000000e+00 | 4.448540e+05 | Inf
1649.26/1649.26 c 1649s| 2530k| 2529k|629357 | 0.2 |2501M| 575 | 0 |1900 |1802 |1900 | 215 | 115k| 33 |2001 | 0.000000e+00 | 4.448540e+05 | Inf
1655.77/1655.74 c 1656s| 2540k| 2539k|631441 | 0.2 |2511M| 575 | 0 |1900 |1802 |1900 | 209 | 116k| 33 |2001 | 0.000000e+00 | 4.448540e+05 | Inf
1662.18/1662.17 c 1662s| 2550k| 2549k|633290 | 0.2 |2521M| 575 | 0 |1900 |1802 |1900 | 219 | 116k| 33 |2001 | 0.000000e+00 | 4.448540e+05 | Inf
1668.68/1668.61 c 1669s| 2560k| 2559k|635025 | 0.2 |2531M| 575 | 0 |1900 |1802 |1900 | 211 | 116k| 33 |2001 | 0.000000e+00 | 4.448540e+05 | Inf
1675.07/1675.05 c 1675s| 2570k| 2569k|637315 | 0.2 |2540M| 575 | 0 |1900 |1802 |1900 | 225 | 117k| 33 |2001 | 0.000000e+00 | 4.448540e+05 | Inf
1681.57/1681.50 c 1681s| 2580k| 2579k|639498 | 0.2 |2550M| 575 | 0 |1900 |1802 |1900 | 229 | 117k| 33 |2001 | 0.000000e+00 | 4.448540e+05 | Inf
1687.77/1687.77 c 1688s| 2590k| 2589k|641358 | 0.2 |2560M| 575 | 0 |1900 |1802 |1900 | 214 | 117k| 33 |2004 | 0.000000e+00 | 4.448540e+05 | Inf
1694.08/1694.05 c 1694s| 2600k| 2599k|643281 | 0.2 |2570M| 575 | 0 |1900 |1802 |1900 | 210 | 118k| 33 |2004 | 0.000000e+00 | 4.448540e+05 | Inf
1700.47/1700.50 c 1700s| 2610k| 2609k|645814 | 0.2 |2580M| 575 | 0 |1900 |1802 |1900 | 214 | 118k| 33 |2004 | 0.000000e+00 | 4.448540e+05 | Inf
1706.86/1706.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1706.86/1706.80 c 1707s| 2620k| 2619k|647675 | 0.2 |2590M| 575 | 0 |1900 |1802 |1900 | 219 | 118k| 33 |2004 | 0.000000e+00 | 4.448540e+05 | Inf
1713.27/1713.20 c 1713s| 2630k| 2629k|649816 | 0.2 |2599M| 575 | 0 |1900 |1802 |1900 | 224 | 118k| 33 |2012 | 0.000000e+00 | 4.448540e+05 | Inf
1719.67/1719.61 c 1720s| 2640k| 2639k|651896 | 0.2 |2609M| 575 | 0 |1900 |1802 |1900 | 214 | 119k| 33 |2012 | 0.000000e+00 | 4.448540e+05 | Inf
1726.08/1726.06 c 1726s| 2650k| 2649k|654102 | 0.2 |2619M| 575 | 0 |1900 |1802 |1900 | 232 | 119k| 33 |2012 | 0.000000e+00 | 4.448540e+05 | Inf
1732.48/1732.45 c 1732s| 2660k| 2659k|656074 | 0.2 |2629M| 575 | 0 |1900 |1802 |1900 | 224 | 120k| 33 |2012 | 0.000000e+00 | 4.448540e+05 | Inf
1738.87/1738.85 c 1739s| 2670k| 2669k|657865 | 0.2 |2639M| 575 | 0 |1900 |1802 |1900 | 226 | 120k| 33 |2012 | 0.000000e+00 | 4.448540e+05 | Inf
1745.27/1745.23 c 1745s| 2680k| 2679k|659700 | 0.2 |2649M| 575 | 0 |1900 |1802 |1900 | 219 | 120k| 33 |2012 | 0.000000e+00 | 4.448540e+05 | Inf
1751.57/1751.57 c 1752s| 2690k| 2689k|661363 | 0.2 |2659M| 575 | 0 |1900 |1802 |1900 | 222 | 120k| 33 |2012 | 0.000000e+00 | 4.448540e+05 | Inf
1757.97/1757.93 c 1758s| 2700k| 2699k|663214 | 0.2 |2669M| 575 | 0 |1900 |1802 |1900 | 205 | 121k| 33 |2012 | 0.000000e+00 | 4.448540e+05 | Inf
1764.27/1764.29 c 1764s| 2710k| 2709k|664908 | 0.2 |2678M| 575 | 0 |1900 |1802 |1900 | 229 | 121k| 33 |2012 | 0.000000e+00 | 4.448540e+05 | Inf
1770.68/1770.69 c 1771s| 2720k| 2719k|666988 | 0.2 |2688M| 575 | 0 |1900 |1802 |1900 | 215 | 121k| 33 |2016 | 0.000000e+00 | 4.448540e+05 | Inf
1777.08/1777.06 c 1777s| 2730k| 2729k|669171 | 0.2 |2698M| 575 | 0 |1900 |1802 |1900 | 234 | 121k| 33 |2016 | 0.000000e+00 | 4.448540e+05 | Inf
1783.47/1783.46 c 1783s| 2740k| 2739k|671459 | 0.2 |2708M| 575 | 0 |1900 |1802 |1900 | 221 | 122k| 33 |2016 | 0.000000e+00 | 4.448540e+05 | Inf
1789.87/1789.88 c 1790s| 2750k| 2749k|673915 | 0.2 |2718M| 575 | 0 |1900 |1802 |1900 | 226 | 122k| 33 |2016 | 0.000000e+00 | 4.448540e+05 | Inf
1790.07/1790.00 c
1790.07/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1790.07/1790.00 c Solving Time (sec) : 1789.99
1790.07/1790.00 c Solving Nodes : 2750178
1790.07/1790.00 c Primal Bound : +4.44854000000000e+05 (100 solutions)
1790.07/1790.00 c Dual Bound : +0.00000000000000e+00
1790.07/1790.00 c Gap : infinite
1790.07/1790.01 s SATISFIABLE
1790.07/1790.01 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
1790.07/1790.01 v x176 -x175 x174 -x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 x164 -x163 x162 -x161 x160 -x159 x158 -x157 x156 -x155
1790.07/1790.01 v x154 -x153 x152 -x151 x150 -x149 x148 -x147 x146 -x145 x144 -x143 x142 -x141 x140 -x139 x138 -x137 x136 -x135 x134 -x133 x132
1790.07/1790.01 v -x131 x130 -x129 x128 -x127 x126 -x125 x124 -x123 x122 -x121 x120 -x119 x118 -x117 x116 -x115 x114 -x113 x112 -x111 x110 -x109
1790.07/1790.01 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
1790.07/1790.01 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
1790.07/1790.01 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
1790.07/1790.01 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
1790.07/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.07/1790.01 c Solving Time : 1789.99
1790.07/1790.01 c Original Problem :
1790.07/1790.01 c Problem name : HOME/instance-2705731-1278580118.wbo
1790.07/1790.01 c Variables : 2000 (1100 binary, 0 integer, 900 implicit integer, 0 continuous)
1790.07/1790.01 c Constraints : 1901 initial, 1901 maximal
1790.07/1790.01 c Presolved Problem :
1790.07/1790.01 c Problem name : t_HOME/instance-2705731-1278580118.wbo
1790.07/1790.01 c Variables : 1900 (1000 binary, 0 integer, 900 implicit integer, 0 continuous)
1790.07/1790.01 c Constraints : 1800 initial, 1817 maximal
1790.07/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.07/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1790.07/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1790.07/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.07/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.07/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1790.07/1790.01 c probing : 0.02 0 0 0 0 0 0 0 0
1790.07/1790.01 c linear : 0.02 0 100 0 900 0 101 0 0
1790.07/1790.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1790.07/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1790.07/1790.01 c root node : - 0 - - 0 - - - -
1790.07/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.07/1790.01 c integral : 0 0 0 2815598 0 0 10 0 0 3742
1790.07/1790.01 c linear : 900 6 3565167 2813718 1 26 446485 122737 0 0
1790.07/1790.01 c indicator : 900 0 3565141 2813718 1 11 2743339 0 0 0
1790.07/1790.01 c logicor : 0+ 0 39421 0 0 0 9551 0 0 0
1790.07/1790.01 c countsols : 0 0 0 2748265 1 0 0 0 0 0
1790.07/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.07/1790.01 c integral : 2.57 0.00 0.00 2.57 0.00
1790.07/1790.01 c linear : 46.54 0.00 9.79 36.76 0.00
1790.07/1790.01 c indicator : 248.78 0.05 87.45 161.28 0.00
1790.07/1790.01 c logicor : 0.07 0.00 0.07 0.00 0.00
1790.07/1790.01 c countsols : 0.33 0.00 0.00 0.33 0.00
1790.07/1790.01 c Propagators : Time Calls Cutoffs DomReds
1790.07/1790.01 c vbounds : 0.69 2 0 0
1790.07/1790.01 c rootredcost : 0.64 0 0 0
1790.07/1790.01 c pseudoobj : 47.31 3564967 0 0
1790.07/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.07/1790.01 c propagation : 0.00 26 26 26 6.8 0 0.0 -
1790.07/1790.01 c infeasible LP : 0.00 5 5 7 16.6 0 0.0 0
1790.07/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.07/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.07/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.07/1790.01 c applied globally : - - - 33 8.9 - - -
1790.07/1790.01 c applied locally : - - - 0 0.0 - - -
1790.07/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.07/1790.01 c cut pool : 0.00 3 - - 0 - (maximal pool size: 211)
1790.07/1790.01 c redcost : 122.11 2815596 0 0 0 0
1790.07/1790.01 c impliedbounds : 0.00 4 0 0 0 0
1790.07/1790.01 c intobj : 0.00 0 0 0 0 0
1790.07/1790.01 c cgmip : 0.00 0 0 0 0 0
1790.07/1790.01 c gomory : 0.02 4 0 0 315 0
1790.07/1790.01 c strongcg : 0.02 4 0 0 326 0
1790.07/1790.01 c cmir : 0.01 4 0 0 0 0
1790.07/1790.01 c flowcover : 0.02 4 0 0 0 0
1790.07/1790.01 c clique : 0.00 1 0 0 0 0
1790.07/1790.01 c zerohalf : 0.00 0 0 0 0 0
1790.07/1790.01 c mcf : 0.00 1 0 0 0 0
1790.07/1790.01 c rapidlearning : 0.06 1 0 0 0 0
1790.07/1790.01 c Pricers : Time Calls Vars
1790.07/1790.01 c problem variables: 0.00 0 0
1790.07/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.07/1790.01 c relpscost : 1.82 1880 0 10 0 0 3742
1790.07/1790.01 c pscost : 0.00 0 0 0 0 0 0
1790.07/1790.01 c inference : 308.88 2748266 0 0 0 0 5496532
1790.07/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1790.07/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1790.07/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1790.07/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1790.07/1790.01 c random : 0.00 0 0 0 0 0 0
1790.07/1790.01 c Primal Heuristics : Time Calls Found
1790.07/1790.01 c LP solutions : 0.00 - 0
1790.07/1790.01 c pseudo solutions : 0.00 - 0
1790.07/1790.01 c intshifting : 0.00 0 0
1790.07/1790.01 c feaspump : 0.00 0 0
1790.07/1790.01 c oneopt : 1.20 1 0
1790.07/1790.01 c crossover : 0.82 13 2
1790.07/1790.01 c pscostdiving : 6.67 9622 0
1790.07/1790.01 c fracdiving : 6.51 9622 0
1790.07/1790.01 c veclendiving : 6.52 9622 0
1790.07/1790.01 c linesearchdiving : 6.55 9622 0
1790.07/1790.01 c coefdiving : 6.47 9623 0
1790.07/1790.01 c guideddiving : 6.48 9623 0
1790.07/1790.01 c objpscostdiving : 6.77 9622 0
1790.07/1790.01 c rootsoldiving : 6.84 9622 0
1790.07/1790.01 c trivial : 0.00 2 1
1790.07/1790.01 c simplerounding : 0.67 1884 0
1790.07/1790.01 c zirounding : 0.54 1000 0
1790.07/1790.01 c rounding : 0.46 583 0
1790.07/1790.01 c shifting : 0.09 144 0
1790.07/1790.01 c twoopt : 0.00 0 0
1790.07/1790.01 c fixandinfer : 0.00 0 0
1790.07/1790.01 c intdiving : 0.00 0 0
1790.07/1790.01 c actconsdiving : 0.00 0 0
1790.07/1790.01 c octane : 0.00 0 0
1790.07/1790.01 c rens : 0.01 1 0
1790.07/1790.01 c rins : 0.00 0 0
1790.07/1790.01 c localbranching : 0.00 0 0
1790.07/1790.01 c mutation : 0.00 0 0
1790.07/1790.01 c dins : 0.00 0 0
1790.07/1790.01 c undercover : 0.00 0 0
1790.07/1790.01 c nlp : 0.38 0 0
1790.07/1790.01 c trysol : 0.64 9667 97
1790.07/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1790.07/1790.01 c primal LP : 0.00 0 0 0.00 -
1790.07/1790.01 c dual LP : 569.41 174104 673927 3.87 1183.56
1790.07/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1790.07/1790.01 c barrier LP : 0.00 0 0 0.00 -
1790.07/1790.01 c diving/probing LP: 0.00 3 36 12.00 -
1790.07/1790.01 c strong branching : 1.81 2016 37025 18.37 20506.71
1790.07/1790.01 c (at root node) : - 33 4733 143.42 -
1790.07/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1790.07/1790.01 c B&B Tree :
1790.07/1790.01 c number of runs : 1
1790.07/1790.01 c nodes : 2750178
1790.07/1790.01 c nodes (total) : 2750178
1790.07/1790.01 c nodes left : 2750097
1790.07/1790.01 c max depth : 575
1790.07/1790.01 c max depth (total): 575
1790.07/1790.01 c backtracks : 9625 (0.3%)
1790.07/1790.01 c delayed cutoffs : 0
1790.07/1790.01 c repropagations : 576 (154 domain reductions, 0 cutoffs)
1790.07/1790.01 c avg switch length: 2.06
1790.07/1790.01 c switching time : 58.33
1790.07/1790.01 c Solution :
1790.07/1790.01 c Solutions found : 100 (1 improvements)
1790.07/1790.01 c First Solution : +4.44854000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1790.07/1790.01 c Primal Bound : +4.44854000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1790.07/1790.01 c Dual Bound : +0.00000000000000e+00
1790.07/1790.01 c Gap : infinite
1790.07/1790.01 c Root Dual Bound : +0.00000000000000e+00
1790.07/1790.01 c Root Iterations : 394
1794.57/1794.59 c Time complete: 1794.67.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705731-1278580118/watcher-2705731-1278580118 -o /tmp/evaluation-result-2705731-1278580118/solver-2705731-1278580118 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705731-1278580118.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.95 4/178 24134
/proc/meminfo: memFree=29023012/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=12548 CPUtime=0
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 1984 0 0 0 0 0 0 0 20 0 1 0 26224213 12849152 1903 4089446400 4194304 10345943 140734801664272 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/24134/statm: 3137 1903 429 1502 0 1630 0
[startup+0.066046 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 24134
/proc/meminfo: memFree=29023012/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=29204 CPUtime=0.05
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 6346 0 0 0 5 0 0 0 20 0 1 0 26224213 29904896 5911 4089446400 4194304 10345943 140734801664272 18446744073709551615 9134739 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24134/statm: 7301 5960 631 1502 0 5794 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 29204
[startup+0.10104 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 24134
/proc/meminfo: memFree=29023012/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=40276 CPUtime=0.09
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 8953 0 0 0 8 1 0 0 20 0 1 0 26224213 41242624 8518 4089446400 4194304 10345943 140734801664272 18446744073709551615 9186026 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24134/statm: 10069 8518 636 1502 0 8562 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40276
[startup+0.301008 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 24134
/proc/meminfo: memFree=29023012/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=44664 CPUtime=0.29
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 10648 0 0 0 27 2 0 0 20 0 1 0 26224213 45735936 9716 4089446400 4194304 10345943 140734801664272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24134/statm: 11166 9716 750 1502 0 9659 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44664
[startup+0.70093 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 24134
/proc/meminfo: memFree=29023012/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=44664 CPUtime=0.69
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 10648 0 0 0 66 3 0 0 21 0 1 0 26224213 45735936 9716 4089446400 4194304 10345943 140734801664272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24134/statm: 11166 9716 750 1502 0 9659 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44664
[startup+1.50076 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24135
/proc/meminfo: memFree=28986088/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=45168 CPUtime=1.49
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 11030 0 0 0 145 4 0 0 23 0 1 0 26224213 46252032 10098 4089446400 4194304 10345943 140734801664272 18446744073709551615 9134653 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24134/statm: 11292 10104 756 1502 0 9785 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45168
[startup+3.10042 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24135
/proc/meminfo: memFree=28984600/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=43200 CPUtime=3.09
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 11505 0 0 0 305 4 0 0 25 0 1 0 26224213 44236800 9671 4089446400 4194304 10345943 140734801664272 18446744073709551615 6002299 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24134/statm: 10800 9671 756 1502 0 9293 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43200
[startup+6.30081 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24135
/proc/meminfo: memFree=28985888/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=44736 CPUtime=6.3
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 15731 0 0 0 624 6 0 0 25 0 1 0 26224213 45809664 10042 4089446400 4194304 10345943 140734801664272 18446744073709551615 6119562 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24134/statm: 11184 10042 759 1502 0 9677 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 44736
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24135
/proc/meminfo: memFree=28978664/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=52676 CPUtime=12.69
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 20128 0 0 0 1262 7 0 0 25 0 1 0 26224213 53940224 11741 4089446400 4194304 10345943 140734801664272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24134/statm: 13169 11741 759 1502 0 11662 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52676
[startup+25.501 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24162
/proc/meminfo: memFree=29252680/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=71900 CPUtime=25.49
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 26989 0 0 0 2540 9 0 0 25 0 1 0 26224213 73625600 16257 4089446400 4194304 10345943 140734801664272 18446744073709551615 6702694 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24134/statm: 17975 16257 760 1502 0 16468 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 71900
[startup+51.1009 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24163
/proc/meminfo: memFree=29176428/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=110020 CPUtime=51.09
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 38790 0 0 0 5095 14 0 0 25 0 1 0 26224213 112660480 25825 4089446400 4194304 10345943 140734801664272 18446744073709551615 6777348 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24134/statm: 27505 25825 760 1502 0 25998 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 110020
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24164
/proc/meminfo: memFree=29017672/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=183440 CPUtime=102.3
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 59478 0 0 0 10208 22 0 0 25 0 1 0 26224213 187842560 44349 4089446400 4194304 10345943 140734801664272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24134/statm: 45860 44349 760 1502 0 44353 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 183440
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24166
/proc/meminfo: memFree=28827728/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=277560 CPUtime=162.3
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 84239 0 0 0 16196 34 0 0 25 0 1 0 26224213 284221440 66990 4089446400 4194304 10345943 140734801664272 18446744073709551615 6119704 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24134/statm: 69390 66990 760 1502 0 67883 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 277560
[startup+222.301 s]
/proc/loadavg: 2.03 2.01 1.95 3/179 24168
/proc/meminfo: memFree=28643260/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=367480 CPUtime=222.3
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 106506 0 0 0 22186 44 0 0 25 0 1 0 26224213 376299520 89257 4089446400 4194304 10345943 140734801664272 18446744073709551615 8160436 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24134/statm: 91870 89257 760 1502 0 90363 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 367480
[startup+282.301 s]
/proc/loadavg: 2.01 2.01 1.95 3/179 24169
/proc/meminfo: memFree=28456692/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=457460 CPUtime=282.31
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 131385 0 0 0 28177 54 0 0 25 0 1 0 26224213 468439040 111968 4089446400 4194304 10345943 140734801664272 18446744073709551615 7518896 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24134/statm: 114365 111968 760 1502 0 112858 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 457460
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24171
/proc/meminfo: memFree=28272116/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=553224 CPUtime=342.31
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 153249 0 0 0 34167 64 0 0 25 0 1 0 26224213 566501376 133832 4089446400 4194304 10345943 140734801664272 18446744073709551615 4696469 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24134/statm: 138306 133832 760 1502 0 136799 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 553224
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24172
/proc/meminfo: memFree=28087412/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=643320 CPUtime=402.31
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 175605 0 0 0 40158 73 0 0 25 0 1 0 26224213 658759680 156188 4089446400 4194304 10345943 140734801664272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24134/statm: 160830 156188 760 1502 0 159323 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 643320
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24174
/proc/meminfo: memFree=27903936/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=731244 CPUtime=462.31
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 197623 0 0 0 46149 82 0 0 25 0 1 0 26224213 748793856 178206 4089446400 4194304 10345943 140734801664272 18446744073709551615 6757741 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24134/statm: 182811 178206 760 1502 0 181304 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 731244
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24176
/proc/meminfo: memFree=27717976/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=823060 CPUtime=522.31
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 220310 0 0 0 52140 91 0 0 25 0 1 0 26224213 842813440 200893 4089446400 4194304 10345943 140734801664272 18446744073709551615 4688020 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24134/statm: 205765 200893 760 1502 0 204258 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 823060
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24177
/proc/meminfo: memFree=27526436/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=913168 CPUtime=582.31
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 245260 0 0 0 58131 100 0 0 25 0 1 0 26224213 935084032 223675 4089446400 4194304 10345943 140734801664272 18446744073709551615 8160436 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24134/statm: 228292 223675 760 1502 0 226785 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 913168
[startup+642.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24182
/proc/meminfo: memFree=27337104/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=1005648 CPUtime=642.32
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 268275 0 0 0 64124 108 0 0 25 0 1 0 26224213 1029783552 246690 4089446400 4194304 10345943 140734801664272 18446744073709551615 6518861 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24134/statm: 251412 246690 760 1502 0 249905 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 1005648
[startup+702.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26024464/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=1662128 CPUtime=1062.34
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 428145 0 0 0 106061 173 0 0 25 0 1 0 26224213 1702019072 406560 4089446400 4194304 10345943 140734801664272 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24134/statm: 415532 406560 760 1502 0 414025 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 1662128
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24195
/proc/meminfo: memFree=25832700/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=1754744 CPUtime=1122.35
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 453577 0 0 0 112053 182 0 0 25 0 1 0 26224213 1796857856 429825 4089446400 4194304 10345943 140734801664272 18446744073709551615 9104608 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24134/statm: 438686 429825 760 1502 0 437179 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 1754744
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24196
/proc/meminfo: memFree=25644268/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=1846624 CPUtime=1182.34
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 476627 0 0 0 118046 188 0 0 25 0 1 0 26224213 1890942976 452875 4089446400 4194304 10345943 140734801664272 18446744073709551615 6120333 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24134/statm: 461656 452875 760 1502 0 460149 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 1846624
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24198
/proc/meminfo: memFree=25455852/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=1937420 CPUtime=1242.35
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 499119 0 0 0 124037 198 0 0 25 0 1 0 26224213 1983918080 475367 4089446400 4194304 10345943 140734801664272 18446744073709551615 6804096 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24134/statm: 484355 475367 760 1502 0 482848 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 1937420
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24199
/proc/meminfo: memFree=25264684/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=2029364 CPUtime=1302.36
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 522142 0 0 0 130029 207 0 0 25 0 1 0 26224213 2078068736 498390 4089446400 4194304 10345943 140734801664272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24134/statm: 507341 498390 760 1502 0 505834 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 2029364
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24201
/proc/meminfo: memFree=25075888/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=2155884 CPUtime=1362.35
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 545371 0 0 0 136019 216 0 0 25 0 1 0 26224213 2207625216 521619 4089446400 4194304 10345943 140734801664272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24134/statm: 538971 521619 760 1502 0 537464 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 2155884
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24203
/proc/meminfo: memFree=24887352/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=2246328 CPUtime=1422.36
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 568061 0 0 0 142012 224 0 0 25 0 1 0 26224213 2300239872 544309 4089446400 4194304 10345943 140734801664272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24134/statm: 561582 544309 760 1502 0 560075 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 2246328
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24204
/proc/meminfo: memFree=24700284/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=2338448 CPUtime=1482.35
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 590896 0 0 0 148003 232 0 0 25 0 1 0 26224213 2394570752 567144 4089446400 4194304 10345943 140734801664272 18446744073709551615 4687791 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24134/statm: 584612 567144 760 1502 0 583105 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 2338448
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24206
/proc/meminfo: memFree=24511744/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=2429680 CPUtime=1542.36
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 613861 0 0 0 153995 241 0 0 25 0 1 0 26224213 2487992320 590109 4089446400 4194304 10345943 140734801664272 18446744073709551615 4696445 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24134/statm: 607420 590109 760 1502 0 605913 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 2429680
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24207
/proc/meminfo: memFree=24324804/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=2519844 CPUtime=1602.37
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 636072 0 0 0 159989 248 0 0 25 0 1 0 26224213 2580320256 612320 4089446400 4194304 10345943 140734801664272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24134/statm: 629961 612320 760 1502 0 628454 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 2519844
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24209
/proc/meminfo: memFree=24135892/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=2613056 CPUtime=1662.37
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 659402 0 0 0 165979 258 0 0 25 0 1 0 26224213 2675769344 635650 4089446400 4194304 10345943 140734801664272 18446744073709551615 4686922 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24134/statm: 653264 635650 760 1502 0 651757 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 2613056
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24211
/proc/meminfo: memFree=23946984/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=2705508 CPUtime=1722.37
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 682393 0 0 0 171972 265 0 0 25 0 1 0 26224213 2770440192 658641 4089446400 4194304 10345943 140734801664272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24134/statm: 676377 658641 760 1502 0 674870 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 2705508
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24212
/proc/meminfo: memFree=23756336/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=2799612 CPUtime=1782.38
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 705848 0 0 0 177963 275 0 0 25 0 1 0 26224213 2866802688 682096 4089446400 4194304 10345943 140734801664272 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24134/statm: 699903 682096 760 1502 0 698396 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (KiB) 2799612
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24213
/proc/meminfo: memFree=23745288/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=2804500 CPUtime=1785.57
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 707007 0 0 0 178282 275 0 0 25 0 1 0 26224213 2871808000 683255 4089446400 4194304 10345943 140734801664272 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24134/statm: 701125 683255 760 1502 0 699618 0
Current children cumulated CPU time (s) 1785.57
Current children cumulated vsize (KiB) 2804500
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24213
/proc/meminfo: memFree=23732884/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=2809756 CPUtime=1788.77
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 708368 0 0 0 178601 276 0 0 25 0 1 0 26224213 2877190144 684616 4089446400 4194304 10345943 140734801664272 18446744073709551615 6715901 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24134/statm: 702439 684616 760 1502 0 700932 0
Current children cumulated CPU time (s) 1788.77
Current children cumulated vsize (KiB) 2809756
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24213
/proc/meminfo: memFree=23726932/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=2810856 CPUtime=1791.98
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 708821 0 0 0 178922 276 0 0 20 0 1 0 26224213 2878316544 685069 4089446400 4194304 10345943 140734801664272 18446744073709551615 6325130 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24134/statm: 702714 685069 764 1502 0 701207 0
Current children cumulated CPU time (s) 1791.98
Current children cumulated vsize (KiB) 2810856
[startup+1793.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24213
/proc/meminfo: memFree=23724448/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=2810856 CPUtime=1793.57
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 708821 0 0 0 179081 276 0 0 25 0 1 0 26224213 2878316544 685069 4089446400 4194304 10345943 140734801664272 18446744073709551615 6325473 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24134/statm: 702714 685069 764 1502 0 701207 0
Current children cumulated CPU time (s) 1793.57
Current children cumulated vsize (KiB) 2810856
[startup+1794.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24213
/proc/meminfo: memFree=23722092/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=2810856 CPUtime=1794.37
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 708821 0 0 0 179161 276 0 0 25 0 1 0 26224213 2878316544 685069 4089446400 4194304 10345943 140734801664272 18446744073709551615 6325130 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24134/statm: 702714 685069 764 1502 0 701207 0
Current children cumulated CPU time (s) 1794.37
Current children cumulated vsize (KiB) 2810856
[startup+1794.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24213
/proc/meminfo: memFree=23722092/32951124 swapFree=67111528/67111528
[pid=24134] ppid=24132 vsize=2810856 CPUtime=1794.57
/proc/24134/stat : 24134 (pbscip.linux.x8) R 24132 24134 23512 0 -1 4202496 708821 0 0 0 179181 276 0 0 25 0 1 0 26224213 2878316544 685069 4089446400 4194304 10345943 140734801664272 18446744073709551615 6150524 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24134/statm: 702714 685069 764 1502 0 701207 0
Current children cumulated CPU time (s) 1794.57
Current children cumulated vsize (KiB) 2810856
Child status: 0
Real time (s): 1794.6
CPU time (s): 1794.68
CPU user time (s): 1791.82
CPU system time (s): 2.85756
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 2810856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.82
system time used= 2.85757
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 708824
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1259
runsolver used 3.2575 second user time and 6.545 second system time
The end
Begin job on node143 at 2010-07-08 11:08:38
IDJOB=2705731
IDBENCH=79395
IDSOLVER=1214
FILE ID=node143/2705731-1278580118
PBS_JOBID= 11240168
Free space on /tmp= 73236 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-jnh305_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-2705731-1278580118/watcher-2705731-1278580118 -o /tmp/evaluation-result-2705731-1278580118/solver-2705731-1278580118 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705731-1278580118.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8285b15ee2c0064deae9a0e09e679565
RANDOM SEED=841772143
node143.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.829
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.65
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.829
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.829
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.829
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.72
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.829
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 : 5338.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.829
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.829
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.829
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 29023416 kB
Buffers: 157024 kB
Cached: 3220564 kB
SwapCached: 0 kB
Active: 1975896 kB
Inactive: 1792688 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 29023416 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 12824 kB
Writeback: 0 kB
AnonPages: 391028 kB
Mapped: 17964 kB
Slab: 95240 kB
PageTables: 5244 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 540592 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= 73224 MiB
End job on node143 at 2010-07-08 11:38:33