0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2700032-1278533906.wbo>
0.00/0.01 c original problem has 2000 variables (1100 bin, 0 int, 0 impl, 900 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.03 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1100 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, 1100 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 1100 implications, 0 cliques
0.00/0.06 c presolved problem has 1900 variables (1000 bin, 0 int, 0 impl, 900 cont) and 1800 constraints
0.00/0.06 c 900 constraints of type <indicator>
0.00/0.06 c 900 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.03
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 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 | - |6450k| 0 | - |1900 |1800 | 0 | 0 | 0 | 0 | 0 | -- | 4.448540e+05 | Inf
0.06/0.06 c 0.0s| 1 | 0 | 0 | - |6872k| 0 | 0 |1900 |1800 |1900 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.06/0.07 c 0.0s| 1 | 0 | 38 | - |6912k| 0 | 4 |1900 |1800 |1900 | 70 | 70 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.06/0.07 c 0.0s| 1 | 0 | 120 | - |6973k| 0 | 43 |1900 |1800 |1900 | 130 | 130 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.06/0.08 c 0.1s| 1 | 0 | 198 | - |7119k| 0 | 83 |1900 |1800 |1900 | 173 | 173 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 240 | - |7155k| 0 | 85 |1900 |1800 |1900 | 194 | 194 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 269 | - |7189k| 0 | 83 |1900 |1800 |1900 | 203 | 203 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 279 | - |7218k| 0 | 86 |1900 |1800 |1900 | 208 | 208 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.29/0.35 c 0.3s| 1 | 2 | 451 | - |7270k| 0 | 86 |1900 |1800 |1900 | 208 | 208 | 0 | 33 | 0.000000e+00 | 4.448540e+05 | Inf
12.79/12.80 c 11.9s| 10000 | 10001 | 55545 | 5.5 | 20M| 85 | 0 |1900 |1800 |1900 | 327 | 17k| 0 | 791 | 0.000000e+00 | 4.448540e+05 | Inf
22.29/22.33 c 20.8s| 20000 | 20001 | 98741 | 4.9 | 31M| 91 | 15 |1900 |1800 |1900 | 325 | 30k| 0 | 791 | 0.000000e+00 | 4.448540e+05 | Inf
31.80/31.83 c 29.7s| 30000 | 30001 |151706 | 5.0 | 42M| 93 | 0 |1900 |1800 |1900 | 311 | 45k| 0 | 791 | 0.000000e+00 | 4.448540e+05 | Inf
41.59/41.68 c 38.9s| 40000 | 40001 |212704 | 5.3 | 52M| 93 | 0 |1900 |1800 |1900 | 318 | 64k| 0 | 848 | 0.000000e+00 | 4.448540e+05 | Inf
51.60/51.66 c 48.3s| 50000 | 50001 |276559 | 5.5 | 63M| 97 | 12 |1900 |1800 |1900 | 278 | 83k| 0 |1006 | 0.000000e+00 | 4.448540e+05 | Inf
61.19/61.23 c 57.2s| 60000 | 60001 |326782 | 5.4 | 73M| 99 | 0 |1900 |1800 |1900 | 294 | 98k| 0 |1145 | 0.000000e+00 | 4.448540e+05 | Inf
70.49/70.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.49/70.58 c 66.0s| 70000 | 70001 |372095 | 5.3 | 84M| 99 | 8 |1900 |1800 |1900 | 293 | 112k| 0 |1244 | 0.000000e+00 | 4.448540e+05 | Inf
80.19/80.20 c 75.1s| 80000 | 80001 |425795 | 5.3 | 94M| 99 | 16 |1900 |1800 |1900 | 266 | 128k| 0 |1352 | 0.000000e+00 | 4.448540e+05 | Inf
89.50/89.53 c 83.8s| 90000 | 90001 |470256 | 5.2 | 105M| 101 | 0 |1900 |1800 |1900 | 320 | 141k| 0 |1462 | 0.000000e+00 | 4.448540e+05 | Inf
98.90/98.99 c 92.7s|100000 |100001 |517575 | 5.2 | 115M| 101 | 10 |1900 |1800 |1900 | 272 | 155k| 0 |1529 | 0.000000e+00 | 4.448540e+05 | Inf
108.49/108.56 c 102s|110000 |110001 |568839 | 5.2 | 126M| 101 | 33 |1900 |1800 |1900 | 261 | 171k| 0 |1630 | 0.000000e+00 | 4.448540e+05 | Inf
117.99/118.07 c 111s|120000 |120001 |618758 | 5.2 | 137M| 101 | 8 |1900 |1800 |1900 | 277 | 187k| 0 |1733 | 0.000000e+00 | 4.448540e+05 | Inf
127.29/127.36 c 119s|130000 |130001 |661726 | 5.1 | 147M| 103 | 4 |1900 |1800 |1900 | 303 | 199k| 0 |1822 | 0.000000e+00 | 4.448540e+05 | Inf
136.19/136.29 c 128s|140000 |140001 |695952 | 5.0 | 158M| 109 | 7 |1900 |1800 |1900 | 267 | 209k| 0 |1888 | 0.000000e+00 | 4.448540e+05 | Inf
145.10/145.15 c 136s|150000 |150001 |727886 | 4.9 | 168M| 111 | 0 |1900 |1800 |1900 | 310 | 218k| 0 |1939 | 0.000000e+00 | 4.448540e+05 | Inf
153.90/153.96 c 144s|160000 |160001 |759819 | 4.7 | 179M| 113 | 18 |1900 |1800 |1900 | 263 | 227k| 0 |1963 | 0.000000e+00 | 4.448540e+05 | Inf
162.60/162.66 c 153s|170000 |170001 |785787 | 4.6 | 189M| 113 | 0 |1900 |1800 |1900 | 248 | 234k| 0 |2008 | 0.000000e+00 | 4.448540e+05 | Inf
171.60/171.69 c 161s|180000 |180001 |821237 | 4.6 | 200M| 113 | 0 |1900 |1800 |1900 | 289 | 244k| 0 |2063 | 0.000000e+00 | 4.448540e+05 | Inf
181.29/181.31 c 170s|190000 |190001 |872166 | 4.6 | 210M| 113 | 0 |1900 |1800 |1900 | 327 | 252k| 0 |2112 | 0.000000e+00 | 4.448540e+05 | Inf
190.70/190.78 c 179s|200000 |200001 |924933 | 4.6 | 221M| 113 | 0 |1900 |1800 |1900 | 294 | 268k| 0 |2189 | 0.000000e+00 | 4.448540e+05 | Inf
199.69/199.77 c 188s|210000 |210001 |964023 | 4.6 | 231M| 113 | 0 |1900 |1800 |1900 | 272 | 279k| 0 |2250 | 0.000000e+00 | 4.448540e+05 | Inf
208.60/208.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
208.60/208.69 c 196s|220000 |220001 | 1000k| 4.5 | 241M| 113 | 7 |1900 |1800 |1900 | 268 | 289k| 0 |2299 | 0.000000e+00 | 4.448540e+05 | Inf
217.80/217.81 c 205s|230000 |230001 | 1044k| 4.5 | 252M| 113 | 0 |1900 |1800 |1900 | 274 | 303k| 0 |2346 | 0.000000e+00 | 4.448540e+05 | Inf
227.20/227.26 c 213s|240000 |240001 | 1093k| 4.6 | 263M| 113 | 0 |1900 |1800 |1900 | 310 | 319k| 0 |2418 | 0.000000e+00 | 4.448540e+05 | Inf
236.40/236.45 c 222s|250000 |250001 | 1134k| 4.5 | 273M| 113 | 0 |1900 |1800 |1900 | 292 | 333k| 0 |2477 | 0.000000e+00 | 4.448540e+05 | Inf
245.59/245.61 c 231s|260000 |260001 | 1176k| 4.5 | 284M| 113 | 0 |1900 |1800 |1900 | 303 | 347k| 0 |2543 | 0.000000e+00 | 4.448540e+05 | Inf
254.90/254.98 c 240s|270000 |270001 | 1226k| 4.5 | 295M| 113 | 0 |1900 |1800 |1900 | 304 | 361k| 0 |2602 | 0.000000e+00 | 4.448540e+05 | Inf
264.10/264.16 c 248s|280000 |280001 | 1269k| 4.5 | 305M| 113 | 0 |1900 |1800 |1900 | 282 | 375k| 0 |2668 | 0.000000e+00 | 4.448540e+05 | Inf
273.19/273.27 c 257s|290000 |290001 | 1308k| 4.5 | 316M| 113 | 17 |1900 |1800 |1900 | 248 | 386k| 0 |2726 | 0.000000e+00 | 4.448540e+05 | Inf
282.20/282.28 c 265s|300000 |300001 | 1344k| 4.5 | 326M| 113 | 6 |1900 |1800 |1900 | 284 | 397k| 0 |2793 | 0.000000e+00 | 4.448540e+05 | Inf
290.80/290.80 c 273s|310000 |310001 | 1370k| 4.4 | 337M| 117 | 0 |1900 |1800 |1900 | 310 | 404k| 0 |2812 | 0.000000e+00 | 4.448540e+05 | Inf
299.80/299.85 c 282s|320000 |320001 | 1409k| 4.4 | 347M| 117 | 20 |1900 |1800 |1900 | 278 | 415k| 0 |2871 | 0.000000e+00 | 4.448540e+05 | Inf
308.80/308.83 c 290s|330000 |330001 | 1449k| 4.4 | 358M| 117 | 0 |1900 |1800 |1900 | 325 | 426k| 0 |2903 | 0.000000e+00 | 4.448540e+05 | Inf
317.70/317.78 c 299s|340000 |340001 | 1488k| 4.4 | 368M| 117 | 0 |1900 |1800 |1900 | 271 | 436k| 0 |2962 | 0.000000e+00 | 4.448540e+05 | Inf
326.80/326.82 c 307s|350000 |350001 | 1528k| 4.4 | 379M| 117 | 12 |1900 |1800 |1900 | 284 | 448k| 0 |3014 | 0.000000e+00 | 4.448540e+05 | Inf
335.80/335.83 c 315s|360000 |360001 | 1568k| 4.4 | 389M| 117 | 0 |1900 |1800 |1900 | 309 | 459k| 0 |3054 | 0.000000e+00 | 4.448540e+05 | Inf
344.90/344.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
344.90/344.92 c 324s|370000 |370001 | 1610k| 4.4 | 400M| 117 | 0 |1900 |1800 |1900 | 311 | 471k| 0 |3111 | 0.000000e+00 | 4.448540e+05 | Inf
354.10/354.14 c 333s|380000 |380001 | 1654k| 4.4 | 410M| 117 | 0 |1900 |1800 |1900 | 346 | 484k| 0 |3170 | 0.000000e+00 | 4.448540e+05 | Inf
363.00/363.03 c 341s|390000 |390001 | 1689k| 4.3 | 421M| 117 | 14 |1900 |1800 |1900 | 281 | 494k| 0 |3208 | 0.000000e+00 | 4.448540e+05 | Inf
372.20/372.24 c 350s|400000 |400001 | 1732k| 4.3 | 431M| 117 | 0 |1900 |1800 |1900 | 325 | 506k| 0 |3260 | 0.000000e+00 | 4.448540e+05 | Inf
381.20/381.27 c 358s|410000 |410001 | 1772k| 4.3 | 442M| 117 | 0 |1900 |1800 |1900 | 311 | 517k| 0 |3291 | 0.000000e+00 | 4.448540e+05 | Inf
390.10/390.17 c 367s|420000 |420001 | 1807k| 4.3 | 452M| 117 | 0 |1900 |1800 |1900 | 313 | 526k| 0 |3342 | 0.000000e+00 | 4.448540e+05 | Inf
399.10/399.16 c 375s|430000 |430001 | 1849k| 4.3 | 463M| 117 | 0 |1900 |1800 |1900 | 275 | 538k| 0 |3373 | 0.000000e+00 | 4.448540e+05 | Inf
407.90/407.96 c 383s|440000 |440001 | 1883k| 4.3 | 473M| 117 | 0 |1900 |1800 |1900 | 295 | 548k| 0 |3421 | 0.000000e+00 | 4.448540e+05 | Inf
416.81/416.86 c 392s|450000 |450001 | 1921k| 4.3 | 484M| 117 | 0 |1900 |1800 |1900 | 291 | 559k| 0 |3456 | 0.000000e+00 | 4.448540e+05 | Inf
426.00/426.00 c 400s|460000 |460001 | 1965k| 4.3 | 494M| 117 | 0 |1900 |1800 |1900 | 309 | 573k| 0 |3514 | 0.000000e+00 | 4.448540e+05 | Inf
435.00/435.05 c 409s|470000 |470001 | 2004k| 4.3 | 505M| 117 | 0 |1900 |1800 |1900 | 280 | 585k| 0 |3543 | 0.000000e+00 | 4.448540e+05 | Inf
443.90/443.98 c 417s|480000 |480001 | 2041k| 4.3 | 515M| 117 | 19 |1900 |1800 |1900 | 280 | 597k| 0 |3593 | 0.000000e+00 | 4.448540e+05 | Inf
452.70/452.80 c 425s|490000 |490001 | 2077k| 4.2 | 526M| 117 | 21 |1900 |1800 |1900 | 287 | 607k| 0 |3625 | 0.000000e+00 | 4.448540e+05 | Inf
461.80/461.81 c 434s|500000 |500001 | 2116k| 4.2 | 536M| 117 | 0 |1900 |1800 |1900 | 314 | 617k| 0 |3671 | 0.000000e+00 | 4.448540e+05 | Inf
470.80/470.87 c 442s|510000 |510001 | 2156k| 4.2 | 547M| 117 | 0 |1900 |1800 |1900 | 276 | 628k| 0 |3708 | 0.000000e+00 | 4.448540e+05 | Inf
479.81/479.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
479.81/479.89 c 451s|520000 |520001 | 2194k| 4.2 | 557M| 117 | 0 |1900 |1800 |1900 | 314 | 638k| 0 |3759 | 0.000000e+00 | 4.448540e+05 | Inf
488.61/488.67 c 459s|530000 |530001 | 2226k| 4.2 | 568M| 117 | 41 |1900 |1800 |1900 | 252 | 646k| 0 |3805 | 0.000000e+00 | 4.448540e+05 | Inf
497.21/497.29 c 467s|540000 |540001 | 2255k| 4.2 | 578M| 117 | 0 |1900 |1800 |1900 | 299 | 654k| 0 |3831 | 0.000000e+00 | 4.448540e+05 | Inf
505.70/505.79 c 475s|550000 |550001 | 2281k| 4.1 | 589M| 117 | 0 |1900 |1800 |1900 | 283 | 661k| 0 |3856 | 0.000000e+00 | 4.448540e+05 | Inf
514.21/514.28 c 483s|560000 |560001 | 2306k| 4.1 | 599M| 117 | 0 |1900 |1800 |1900 | 291 | 668k| 0 |3881 | 0.000000e+00 | 4.448540e+05 | Inf
522.80/522.85 c 491s|570000 |570001 | 2335k| 4.1 | 610M| 117 | 0 |1900 |1800 |1900 | 303 | 676k| 0 |3905 | 0.000000e+00 | 4.448540e+05 | Inf
531.31/531.33 c 499s|580000 |580001 | 2362k| 4.1 | 620M| 117 | 0 |1900 |1800 |1900 | 285 | 684k| 0 |3930 | 0.000000e+00 | 4.448540e+05 | Inf
540.01/540.04 c 508s|590000 |590001 | 2393k| 4.1 | 630M| 117 | 0 |1900 |1800 |1900 | 258 | 693k| 0 |3956 | 0.000000e+00 | 4.448540e+05 | Inf
548.70/548.71 c 516s|600000 |600001 | 2423k| 4.0 | 641M| 117 | 0 |1900 |1800 |1900 | 288 | 702k| 0 |3977 | 0.000000e+00 | 4.448540e+05 | Inf
557.10/557.19 c 524s|610000 |610001 | 2448k| 4.0 | 651M| 117 | 0 |1900 |1800 |1900 | 309 | 709k| 0 |4000 | 0.000000e+00 | 4.448540e+05 | Inf
565.70/565.71 c 532s|620000 |620001 | 2476k| 4.0 | 662M| 117 | 19 |1900 |1800 |1900 | 269 | 717k| 0 |4027 | 0.000000e+00 | 4.448540e+05 | Inf
574.01/574.10 c 540s|630000 |630001 | 2499k| 4.0 | 672M| 117 | 0 |1900 |1800 |1900 | 312 | 723k| 0 |4049 | 0.000000e+00 | 4.448540e+05 | Inf
582.71/582.73 c 548s|640000 |640001 | 2527k| 3.9 | 682M| 117 | 0 |1900 |1800 |1900 | 301 | 731k| 0 |4073 | 0.000000e+00 | 4.448540e+05 | Inf
591.40/591.41 c 556s|650000 |650001 | 2557k| 3.9 | 693M| 119 | 0 |1900 |1800 |1900 | 326 | 740k| 0 |4097 | 0.000000e+00 | 4.448540e+05 | Inf
599.70/599.77 c 564s|660000 |660001 | 2578k| 3.9 | 703M| 119 | 0 |1900 |1800 |1900 | 305 | 747k| 0 |4112 | 0.000000e+00 | 4.448540e+05 | Inf
608.21/608.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
608.21/608.23 c 572s|670000 |670001 | 2599k| 3.9 | 713M| 119 | 0 |1900 |1800 |1900 | 295 | 754k| 0 |4134 | 0.000000e+00 | 4.448540e+05 | Inf
616.91/616.91 c 580s|680000 |680001 | 2627k| 3.9 | 724M| 119 | 0 |1900 |1800 |1900 | 291 | 764k| 0 |4157 | 0.000000e+00 | 4.448540e+05 | Inf
625.81/625.80 c 589s|690000 |690001 | 2663k| 3.9 | 734M| 119 | 0 |1900 |1800 |1900 | 300 | 776k| 0 |4175 | 0.000000e+00 | 4.448540e+05 | Inf
634.71/634.76 c 597s|700000 |700001 | 2703k| 3.9 | 745M| 119 | 21 |1900 |1800 |1900 | 282 | 789k| 0 |4212 | 0.000000e+00 | 4.448540e+05 | Inf
643.61/643.63 c 605s|710000 |710001 | 2741k| 3.9 | 755M| 119 | 14 |1900 |1800 |1900 | 282 | 802k| 0 |4239 | 0.000000e+00 | 4.448540e+05 | Inf
652.31/652.36 c 614s|720000 |720001 | 2773k| 3.9 | 766M| 119 | 0 |1900 |1800 |1900 | 302 | 812k| 0 |4273 | 0.000000e+00 | 4.448540e+05 | Inf
660.80/660.89 c 622s|730000 |730001 | 2797k| 3.8 | 776M| 119 | 0 |1900 |1800 |1900 | 295 | 819k| 0 |4297 | 0.000000e+00 | 4.448540e+05 | Inf
669.41/669.43 c 630s|740000 |740001 | 2823k| 3.8 | 786M| 119 | 0 |1900 |1800 |1900 | 303 | 827k| 0 |4315 | 0.000000e+00 | 4.448540e+05 | Inf
677.91/677.93 c 638s|750000 |750001 | 2845k| 3.8 | 797M| 119 | 0 |1900 |1800 |1900 | 322 | 834k| 0 |4329 | 0.000000e+00 | 4.448540e+05 | Inf
686.70/686.72 c 646s|760000 |760001 | 2881k| 3.8 | 807M| 119 | 20 |1900 |1800 |1900 | 233 | 846k| 0 |4352 | 0.000000e+00 | 4.448540e+05 | Inf
695.51/695.57 c 654s|770000 |770001 | 2918k| 3.8 | 818M| 119 | 4 |1900 |1800 |1900 | 295 | 858k| 0 |4375 | 0.000000e+00 | 4.448540e+05 | Inf
704.51/704.59 c 663s|780000 |780001 | 2958k| 3.8 | 828M| 119 | 0 |1900 |1800 |1900 | 295 | 872k| 0 |4396 | 0.000000e+00 | 4.448540e+05 | Inf
713.50/713.59 c 671s|790000 |790001 | 2997k| 3.8 | 839M| 119 | 12 |1900 |1800 |1900 | 290 | 886k| 0 |4427 | 0.000000e+00 | 4.448540e+05 | Inf
722.51/722.59 c 680s|800000 |800001 | 3038k| 3.8 | 849M| 119 | 3 |1900 |1800 |1900 | 245 | 900k| 0 |4449 | 0.000000e+00 | 4.448540e+05 | Inf
731.52/731.51 c 688s|810000 |810001 | 3078k| 3.8 | 860M| 119 | 0 |1900 |1800 |1900 | 282 | 914k| 0 |4477 | 0.000000e+00 | 4.448540e+05 | Inf
740.60/740.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
740.60/740.60 c 697s|820000 |820001 | 3119k| 3.8 | 871M| 119 | 0 |1900 |1800 |1900 | 294 | 928k| 0 |4508 | 0.000000e+00 | 4.448540e+05 | Inf
749.41/749.42 c 705s|830000 |830001 | 3152k| 3.8 | 881M| 119 | 0 |1900 |1800 |1900 | 312 | 940k| 0 |4541 | 0.000000e+00 | 4.448540e+05 | Inf
758.21/758.25 c 713s|840000 |840001 | 3187k| 3.8 | 892M| 119 | 0 |1900 |1800 |1900 | 290 | 951k| 0 |4578 | 0.000000e+00 | 4.448540e+05 | Inf
767.01/767.06 c 722s|850000 |850001 | 3220k| 3.8 | 902M| 119 | 0 |1900 |1800 |1900 | 314 | 960k| 0 |4599 | 0.000000e+00 | 4.448540e+05 | Inf
775.81/775.85 c 730s|860000 |860001 | 3255k| 3.8 | 912M| 119 | 0 |1900 |1800 |1900 | 292 | 972k| 0 |4619 | 0.000000e+00 | 4.448540e+05 | Inf
784.41/784.46 c 738s|870000 |870001 | 3283k| 3.8 | 923M| 119 | 0 |1900 |1800 |1900 | 300 | 980k| 0 |4644 | 0.000000e+00 | 4.448540e+05 | Inf
793.11/793.14 c 746s|880000 |880001 | 3315k| 3.8 | 933M| 119 | 0 |1900 |1800 |1900 | 315 | 990k| 0 |4663 | 0.000000e+00 | 4.448540e+05 | Inf
802.21/802.22 c 755s|890000 |890001 | 3359k| 3.8 | 944M| 119 | 0 |1900 |1800 |1900 | 318 |1005k| 0 |4688 | 0.000000e+00 | 4.448540e+05 | Inf
811.31/811.32 c 763s|900000 |900001 | 3403k| 3.8 | 954M| 119 | 0 |1900 |1800 |1900 | 289 |1020k| 0 |4710 | 0.000000e+00 | 4.448540e+05 | Inf
820.41/820.46 c 772s|910000 |910001 | 3447k| 3.8 | 965M| 119 | 5 |1900 |1800 |1900 | 208 |1035k| 0 |4745 | 0.000000e+00 | 4.448540e+05 | Inf
829.42/829.46 c 780s|920000 |920001 | 3487k| 3.8 | 975M| 119 | 5 |1900 |1800 |1900 | 303 |1048k| 0 |4788 | 0.000000e+00 | 4.448540e+05 | Inf
838.21/838.28 c 789s|930000 |930001 | 3520k| 3.8 | 986M| 119 | 0 |1900 |1800 |1900 | 318 |1058k| 0 |4810 | 0.000000e+00 | 4.448540e+05 | Inf
847.02/847.05 c 797s|940000 |940001 | 3551k| 3.8 | 996M| 119 | 4 |1900 |1800 |1900 | 229 |1067k| 0 |4827 | 0.000000e+00 | 4.448540e+05 | Inf
855.82/855.90 c 805s|950000 |950001 | 3583k| 3.8 |1007M| 119 | 0 |1900 |1800 |1900 | 246 |1073k| 0 |4845 | 0.000000e+00 | 4.448540e+05 | Inf
864.41/864.45 c 813s|960000 |960001 | 3609k| 3.8 |1017M| 119 | 0 |1900 |1800 |1900 | 293 |1079k| 0 |4862 | 0.000000e+00 | 4.448540e+05 | Inf
873.12/873.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
873.12/873.15 c 822s|970000 |970001 | 3639k| 3.8 |1027M| 119 | 0 |1900 |1800 |1900 | 307 |1088k| 0 |4878 | 0.000000e+00 | 4.448540e+05 | Inf
881.91/881.97 c 830s|980000 |980001 | 3671k| 3.7 |1038M| 119 | 5 |1900 |1800 |1900 | 302 |1096k| 0 |4896 | 0.000000e+00 | 4.448540e+05 | Inf
890.92/890.94 c 838s|990000 |990001 | 3708k| 3.7 |1048M| 119 | 0 |1900 |1800 |1900 | 312 |1108k| 0 |4922 | 0.000000e+00 | 4.448540e+05 | Inf
899.62/899.61 c 847s| 1000k| 1000k| 3737k| 3.7 |1059M| 119 | 0 |1900 |1800 |1900 | 330 |1118k| 0 |4947 | 0.000000e+00 | 4.448540e+05 | Inf
908.21/908.27 c 855s| 1010k| 1010k| 3765k| 3.7 |1069M| 119 | 0 |1900 |1800 |1900 | 301 |1126k| 0 |4963 | 0.000000e+00 | 4.448540e+05 | Inf
917.32/917.30 c 863s| 1020k| 1020k| 3806k| 3.7 |1080M| 119 | 10 |1900 |1800 |1900 | 272 |1138k| 0 |4982 | 0.000000e+00 | 4.448540e+05 | Inf
925.91/925.94 c 871s| 1030k| 1030k| 3835k| 3.7 |1090M| 119 | 0 |1900 |1800 |1900 | 305 |1147k| 0 |5004 | 0.000000e+00 | 4.448540e+05 | Inf
934.81/934.84 c 880s| 1040k| 1040k| 3871k| 3.7 |1101M| 119 | 0 |1900 |1800 |1900 | 326 |1158k| 0 |5019 | 0.000000e+00 | 4.448540e+05 | Inf
944.32/944.33 c 889s| 1050k| 1050k| 3921k| 3.7 |1111M| 119 | 4 |1900 |1800 |1900 | 208 |1175k| 0 |5054 | 0.000000e+00 | 4.448540e+05 | Inf
953.11/953.15 c 897s| 1060k| 1060k| 3954k| 3.7 |1122M| 119 | 9 |1900 |1800 |1900 | 238 |1185k| 0 |5083 | 0.000000e+00 | 4.448540e+05 | Inf
961.91/961.91 c 905s| 1070k| 1070k| 3989k| 3.7 |1132M| 119 | 0 |1900 |1800 |1900 | 286 |1196k| 0 |5101 | 0.000000e+00 | 4.448540e+05 | Inf
970.71/970.78 c 914s| 1080k| 1080k| 4027k| 3.7 |1143M| 119 | 10 |1900 |1800 |1900 | 293 |1208k| 0 |5131 | 0.000000e+00 | 4.448540e+05 | Inf
979.52/979.59 c 922s| 1090k| 1090k| 4062k| 3.7 |1153M| 119 | 0 |1900 |1800 |1900 | 292 |1218k| 0 |5146 | 0.000000e+00 | 4.448540e+05 | Inf
988.11/988.12 c 930s| 1100k| 1100k| 4087k| 3.7 |1163M| 119 | 13 |1900 |1800 |1900 | 292 |1226k| 0 |5155 | 0.000000e+00 | 4.448540e+05 | Inf
997.12/997.19 c 938s| 1110k| 1110k| 4125k| 3.7 |1174M| 119 | 0 |1900 |1800 |1900 | 230 |1235k| 0 |5175 | 0.000000e+00 | 4.448540e+05 | Inf
1005.91/1005.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1005.91/1005.96 c 947s| 1120k| 1120k| 4154k| 3.7 |1184M| 119 | 12 |1900 |1800 |1900 | 269 |1242k| 0 |5190 | 0.000000e+00 | 4.448540e+05 | Inf
1014.61/1014.63 c 955s| 1130k| 1130k| 4184k| 3.7 |1195M| 119 | 11 |1900 |1800 |1900 | 278 |1251k| 0 |5204 | 0.000000e+00 | 4.448540e+05 | Inf
1023.22/1023.29 c 963s| 1140k| 1140k| 4212k| 3.7 |1205M| 121 | 0 |1900 |1800 |1900 | 307 |1260k| 0 |5223 | 0.000000e+00 | 4.448540e+05 | Inf
1032.11/1032.15 c 971s| 1150k| 1150k| 4247k| 3.7 |1215M| 121 | 0 |1900 |1800 |1900 | 279 |1270k| 0 |5244 | 0.000000e+00 | 4.448540e+05 | Inf
1040.72/1040.78 c 980s| 1160k| 1160k| 4276k| 3.7 |1226M| 121 | 0 |1900 |1800 |1900 | 291 |1278k| 0 |5261 | 0.000000e+00 | 4.448540e+05 | Inf
1049.71/1049.72 c 988s| 1170k| 1170k| 4313k| 3.7 |1236M| 121 | 5 |1900 |1800 |1900 | 234 |1287k| 0 |5278 | 0.000000e+00 | 4.448540e+05 | Inf
1058.22/1058.25 c 996s| 1180k| 1180k| 4339k| 3.7 |1247M| 121 | 0 |1900 |1800 |1900 | 322 |1295k| 0 |5296 | 0.000000e+00 | 4.448540e+05 | Inf
1067.42/1067.46 c 1005s| 1190k| 1190k| 4380k| 3.7 |1257M| 129 | 0 |1900 |1800 |1900 | 242 |1303k| 0 |5326 | 0.000000e+00 | 4.448540e+05 | Inf
1076.12/1076.15 c 1013s| 1200k| 1200k| 4411k| 3.7 |1267M| 129 | 7 |1900 |1800 |1900 | 303 |1311k| 0 |5343 | 0.000000e+00 | 4.448540e+05 | Inf
1084.52/1084.58 c 1021s| 1210k| 1210k| 4436k| 3.7 |1278M| 129 | 0 |1900 |1800 |1900 | 297 |1319k| 0 |5348 | 0.000000e+00 | 4.448540e+05 | Inf
1093.12/1093.18 c 1029s| 1220k| 1220k| 4465k| 3.7 |1288M| 129 | 0 |1900 |1800 |1900 | 243 |1328k| 0 |5359 | 0.000000e+00 | 4.448540e+05 | Inf
1101.52/1101.58 c 1037s| 1230k| 1230k| 4488k| 3.6 |1299M| 129 | 0 |1900 |1800 |1900 | 325 |1334k| 0 |5371 | 0.000000e+00 | 4.448540e+05 | Inf
1110.02/1110.04 c 1045s| 1240k| 1240k| 4516k| 3.6 |1309M| 131 | 6 |1900 |1800 |1900 | 244 |1343k| 0 |5382 | 0.000000e+00 | 4.448540e+05 | Inf
1118.52/1118.56 c 1053s| 1250k| 1250k| 4543k| 3.6 |1319M| 131 | 0 |1900 |1800 |1900 | 263 |1350k| 0 |5395 | 0.000000e+00 | 4.448540e+05 | Inf
1127.12/1127.14 c 1061s| 1260k| 1260k| 4571k| 3.6 |1330M| 131 | 0 |1900 |1800 |1900 | 303 |1358k| 0 |5409 | 0.000000e+00 | 4.448540e+05 | Inf
1136.11/1136.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1136.11/1136.19 c 1070s| 1270k| 1270k| 4617k| 3.6 |1340M| 131 | 10 |1900 |1800 |1900 | 237 |1372k| 0 |5432 | 0.000000e+00 | 4.448540e+05 | Inf
1144.72/1144.79 c 1078s| 1280k| 1280k| 4648k| 3.6 |1351M| 131 | 0 |1900 |1800 |1900 | 250 |1382k| 0 |5453 | 0.000000e+00 | 4.448540e+05 | Inf
1153.83/1153.83 c 1086s| 1290k| 1290k| 4684k| 3.6 |1361M| 131 | 15 |1900 |1800 |1900 | 242 |1387k| 0 |5473 | 0.000000e+00 | 4.448540e+05 | Inf
1162.42/1162.44 c 1095s| 1300k| 1300k| 4715k| 3.6 |1371M| 131 | 0 |1900 |1800 |1900 | 333 |1396k| 0 |5485 | 0.000000e+00 | 4.448540e+05 | Inf
1170.82/1170.88 c 1103s| 1310k| 1310k| 4740k| 3.6 |1382M| 131 | 0 |1900 |1800 |1900 | 338 |1404k| 0 |5497 | 0.000000e+00 | 4.448540e+05 | Inf
1179.32/1179.32 c 1110s| 1320k| 1320k| 4765k| 3.6 |1392M| 131 | 0 |1900 |1800 |1900 | 291 |1411k| 0 |5505 | 0.000000e+00 | 4.448540e+05 | Inf
1187.82/1187.84 c 1119s| 1330k| 1330k| 4793k| 3.6 |1402M| 131 | 5 |1900 |1800 |1900 | 246 |1419k| 0 |5513 | 0.000000e+00 | 4.448540e+05 | Inf
1196.42/1196.47 c 1127s| 1340k| 1340k| 4824k| 3.6 |1413M| 131 | 0 |1900 |1800 |1900 | 334 |1429k| 0 |5530 | 0.000000e+00 | 4.448540e+05 | Inf
1204.82/1204.82 c 1135s| 1350k| 1350k| 4847k| 3.6 |1423M| 131 | 0 |1900 |1800 |1900 | 308 |1435k| 0 |5548 | 0.000000e+00 | 4.448540e+05 | Inf
1213.52/1213.57 c 1143s| 1360k| 1360k| 4879k| 3.6 |1434M| 131 | 0 |1900 |1800 |1900 | 237 |1443k| 0 |5564 | 0.000000e+00 | 4.448540e+05 | Inf
1222.13/1222.15 c 1151s| 1370k| 1370k| 4912k| 3.6 |1444M| 131 | 17 |1900 |1800 |1900 | 228 |1451k| 0 |5580 | 0.000000e+00 | 4.448540e+05 | Inf
1231.02/1231.09 c 1159s| 1380k| 1380k| 4956k| 3.6 |1455M| 131 | 0 |1900 |1800 |1900 | 305 |1463k| 0 |5600 | 0.000000e+00 | 4.448540e+05 | Inf
1239.52/1239.54 c 1167s| 1390k| 1390k| 4981k| 3.6 |1465M| 131 | 25 |1900 |1800 |1900 | 262 |1471k| 0 |5612 | 0.000000e+00 | 4.448540e+05 | Inf
1248.32/1248.36 c 1176s| 1400k| 1400k| 5018k| 3.6 |1475M| 131 | 0 |1900 |1800 |1900 | 301 |1479k| 0 |5629 | 0.000000e+00 | 4.448540e+05 | Inf
1256.82/1256.85 c 1184s| 1410k| 1410k| 5044k| 3.6 |1486M| 131 | 0 |1900 |1800 |1900 | 321 |1485k| 0 |5645 | 0.000000e+00 | 4.448540e+05 | Inf
1265.22/1265.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1265.22/1265.24 c 1192s| 1420k| 1420k| 5068k| 3.6 |1496M| 131 | 0 |1900 |1800 |1900 | 301 |1492k| 0 |5661 | 0.000000e+00 | 4.448540e+05 | Inf
1273.62/1273.63 c 1199s| 1430k| 1430k| 5091k| 3.6 |1506M| 131 | 0 |1900 |1800 |1900 | 315 |1498k| 0 |5674 | 0.000000e+00 | 4.448540e+05 | Inf
1282.32/1282.32 c 1208s| 1440k| 1440k| 5126k| 3.6 |1517M| 131 | 15 |1900 |1800 |1900 | 245 |1509k| 0 |5691 | 0.000000e+00 | 4.448540e+05 | Inf
1290.82/1290.87 c 1216s| 1450k| 1450k| 5157k| 3.6 |1527M| 131 | 0 |1900 |1800 |1900 | 284 |1518k| 0 |5708 | 0.000000e+00 | 4.448540e+05 | Inf
1299.32/1299.32 c 1224s| 1460k| 1460k| 5183k| 3.6 |1538M| 131 | 0 |1900 |1800 |1900 | 296 |1527k| 0 |5723 | 0.000000e+00 | 4.448540e+05 | Inf
1307.52/1307.52 c 1231s| 1470k| 1470k| 5205k| 3.5 |1548M| 131 | 0 |1900 |1800 |1900 | 297 |1533k| 0 |5724 | 0.000000e+00 | 4.448540e+05 | Inf
1316.13/1316.14 c 1240s| 1480k| 1480k| 5236k| 3.5 |1558M| 131 | 0 |1900 |1800 |1900 | 277 |1542k| 0 |5742 | 0.000000e+00 | 4.448540e+05 | Inf
1324.62/1324.61 c 1248s| 1490k| 1490k| 5261k| 3.5 |1569M| 131 | 0 |1900 |1800 |1900 | 304 |1550k| 0 |5750 | 0.000000e+00 | 4.448540e+05 | Inf
1334.33/1334.33 c 1257s| 1500k| 1500k| 5316k| 3.5 |1579M| 131 | 0 |1900 |1800 |1900 | 345 |1558k| 0 |5779 | 0.000000e+00 | 4.448540e+05 | Inf
1343.13/1343.11 c 1265s| 1510k| 1510k| 5348k| 3.5 |1590M| 131 | 4 |1900 |1800 |1900 | 287 |1565k| 0 |5795 | 0.000000e+00 | 4.448540e+05 | Inf
1351.72/1351.70 c 1273s| 1520k| 1520k| 5376k| 3.5 |1600M| 131 | 0 |1900 |1800 |1900 | 305 |1573k| 0 |5808 | 0.000000e+00 | 4.448540e+05 | Inf
1360.53/1360.50 c 1281s| 1530k| 1530k| 5411k| 3.5 |1610M| 135 | 0 |1900 |1800 |1900 | 330 |1582k| 0 |5824 | 0.000000e+00 | 4.448540e+05 | Inf
1369.03/1369.05 c 1289s| 1540k| 1540k| 5441k| 3.5 |1621M| 135 | 8 |1900 |1800 |1900 | 266 |1592k| 0 |5840 | 0.000000e+00 | 4.448540e+05 | Inf
1377.72/1377.70 c 1298s| 1550k| 1550k| 5473k| 3.5 |1631M| 135 | 0 |1900 |1800 |1900 | 268 |1602k| 0 |5857 | 0.000000e+00 | 4.448540e+05 | Inf
1386.13/1386.18 c 1306s| 1560k| 1560k| 5501k| 3.5 |1642M| 135 | 0 |1900 |1800 |1900 | 306 |1610k| 0 |5870 | 0.000000e+00 | 4.448540e+05 | Inf
1394.73/1394.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1394.73/1394.80 c 1314s| 1570k| 1570k| 5534k| 3.5 |1652M| 135 | 0 |1900 |1800 |1900 | 295 |1621k| 0 |5885 | 0.000000e+00 | 4.448540e+05 | Inf
1403.12/1403.15 c 1322s| 1580k| 1580k| 5557k| 3.5 |1662M| 135 | 10 |1900 |1800 |1900 | 310 |1627k| 0 |5902 | 0.000000e+00 | 4.448540e+05 | Inf
1411.93/1411.93 c 1330s| 1590k| 1590k| 5592k| 3.5 |1673M| 135 | 0 |1900 |1800 |1900 | 307 |1637k| 0 |5918 | 0.000000e+00 | 4.448540e+05 | Inf
1420.73/1420.74 c 1338s| 1600k| 1600k| 5629k| 3.5 |1683M| 135 | 19 |1900 |1800 |1900 | 281 |1647k| 0 |5937 | 0.000000e+00 | 4.448540e+05 | Inf
1429.12/1429.19 c 1346s| 1610k| 1610k| 5656k| 3.5 |1694M| 135 | 6 |1900 |1800 |1900 | 292 |1656k| 0 |5947 | 0.000000e+00 | 4.448540e+05 | Inf
1437.73/1437.77 c 1354s| 1620k| 1620k| 5685k| 3.5 |1704M| 135 | 0 |1900 |1800 |1900 | 328 |1665k| 0 |5962 | 0.000000e+00 | 4.448540e+05 | Inf
1446.22/1446.29 c 1362s| 1630k| 1630k| 5712k| 3.5 |1715M| 135 | 0 |1900 |1800 |1900 | 328 |1672k| 0 |5967 | 0.000000e+00 | 4.448540e+05 | Inf
1454.82/1454.86 c 1370s| 1640k| 1640k| 5741k| 3.5 |1725M| 135 | 33 |1900 |1800 |1900 | 208 |1681k| 0 |5984 | 0.000000e+00 | 4.448540e+05 | Inf
1463.43/1463.44 c 1378s| 1650k| 1650k| 5770k| 3.5 |1735M| 135 | 22 |1900 |1800 |1900 | 275 |1690k| 0 |6001 | 0.000000e+00 | 4.448540e+05 | Inf
1472.03/1472.03 c 1387s| 1660k| 1660k| 5801k| 3.5 |1746M| 135 | 0 |1900 |1800 |1900 | 311 |1700k| 0 |6017 | 0.000000e+00 | 4.448540e+05 | Inf
1480.82/1480.85 c 1395s| 1670k| 1670k| 5839k| 3.5 |1756M| 135 | 0 |1900 |1800 |1900 | 313 |1714k| 0 |6031 | 0.000000e+00 | 4.448540e+05 | Inf
1489.23/1489.25 c 1403s| 1680k| 1680k| 5865k| 3.5 |1767M| 135 | 0 |1900 |1800 |1900 | 320 |1721k| 0 |6058 | 0.000000e+00 | 4.448540e+05 | Inf
1497.73/1497.74 c 1411s| 1690k| 1690k| 5891k| 3.5 |1777M| 135 | 0 |1900 |1800 |1900 | 309 |1729k| 0 |6070 | 0.000000e+00 | 4.448540e+05 | Inf
1506.03/1506.06 c 1419s| 1700k| 1700k| 5914k| 3.5 |1787M| 135 | 0 |1900 |1800 |1900 | 293 |1736k| 0 |6076 | 0.000000e+00 | 4.448540e+05 | Inf
1514.53/1514.54 c 1427s| 1710k| 1710k| 5940k| 3.5 |1798M| 135 | 0 |1900 |1800 |1900 | 267 |1745k| 0 |6093 | 0.000000e+00 | 4.448540e+05 | Inf
1522.92/1522.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1522.92/1522.98 c 1435s| 1720k| 1719k| 5963k| 3.5 |1808M| 135 | 9 |1900 |1801 |1900 | 281 |1751k| 1 |6111 | 0.000000e+00 | 4.448540e+05 | Inf
1531.53/1531.53 c 1443s| 1730k| 1729k| 5991k| 3.5 |1819M| 135 | 7 |1900 |1801 |1900 | 299 |1758k| 1 |6119 | 0.000000e+00 | 4.448540e+05 | Inf
1539.93/1539.96 c 1451s| 1740k| 1739k| 6018k| 3.5 |1829M| 135 | 0 |1900 |1801 |1900 | 300 |1766k| 1 |6136 | 0.000000e+00 | 4.448540e+05 | Inf
1548.03/1548.09 c 1458s| 1750k| 1749k| 6037k| 3.5 |1839M| 135 | 0 |1900 |1801 |1900 | 290 |1772k| 1 |6137 | 0.000000e+00 | 4.448540e+05 | Inf
1556.22/1556.29 c 1466s| 1760k| 1759k| 6059k| 3.4 |1849M| 135 | 0 |1900 |1801 |1900 | 278 |1779k| 1 |6151 | 0.000000e+00 | 4.448540e+05 | Inf
1564.43/1564.41 c 1474s| 1770k| 1769k| 6078k| 3.4 |1860M| 135 | 5 |1900 |1801 |1900 | 271 |1784k| 1 |6158 | 0.000000e+00 | 4.448540e+05 | Inf
1573.13/1573.14 c 1482s| 1780k| 1779k| 6112k| 3.4 |1870M| 135 | 6 |1900 |1801 |1900 | 304 |1794k| 1 |6174 | 0.000000e+00 | 4.448540e+05 | Inf
1581.53/1581.59 c 1490s| 1790k| 1789k| 6138k| 3.4 |1880M| 135 | 0 |1900 |1801 |1900 | 260 |1802k| 1 |6182 | 0.000000e+00 | 4.448540e+05 | Inf
1590.03/1590.06 c 1498s| 1800k| 1799k| 6164k| 3.4 |1891M| 135 | 0 |1900 |1801 |1900 | 298 |1810k| 1 |6196 | 0.000000e+00 | 4.448540e+05 | Inf
1598.83/1598.82 c 1506s| 1810k| 1809k| 6198k| 3.4 |1901M| 135 | 26 |1900 |1801 |1900 | 231 |1820k| 1 |6210 | 0.000000e+00 | 4.448540e+05 | Inf
1607.32/1607.38 c 1514s| 1820k| 1819k| 6228k| 3.4 |1912M| 135 | 0 |1900 |1801 |1900 | 310 |1829k| 1 |6223 | 0.000000e+00 | 4.448540e+05 | Inf
1615.43/1615.44 c 1522s| 1830k| 1829k| 6244k| 3.4 |1922M| 135 | 0 |1900 |1801 |1900 | 292 |1834k| 1 |6232 | 0.000000e+00 | 4.448540e+05 | Inf
1624.13/1624.18 c 1530s| 1840k| 1839k| 6277k| 3.4 |1932M| 135 | 0 |1900 |1801 |1900 | 315 |1839k| 1 |6247 | 0.000000e+00 | 4.448540e+05 | Inf
1632.83/1632.89 c 1538s| 1850k| 1849k| 6308k| 3.4 |1942M| 135 | 0 |1900 |1801 |1900 | 297 |1847k| 1 |6255 | 0.000000e+00 | 4.448540e+05 | Inf
1641.23/1641.24 c 1546s| 1860k| 1859k| 6331k| 3.4 |1953M| 135 | 16 |1900 |1801 |1900 | 264 |1853k| 1 |6266 | 0.000000e+00 | 4.448540e+05 | Inf
1649.63/1649.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1649.63/1649.69 c 1554s| 1870k| 1869k| 6356k| 3.4 |1963M| 135 | 0 |1900 |1801 |1900 | 275 |1860k| 1 |6278 | 0.000000e+00 | 4.448540e+05 | Inf
1658.33/1658.34 c 1562s| 1880k| 1879k| 6389k| 3.4 |1974M| 135 | 0 |1900 |1801 |1900 | 287 |1870k| 1 |6290 | 0.000000e+00 | 4.448540e+05 | Inf
1667.04/1667.01 c 1571s| 1890k| 1889k| 6420k| 3.4 |1984M| 135 | 0 |1900 |1801 |1900 | 319 |1879k| 1 |6302 | 0.000000e+00 | 4.448540e+05 | Inf
1675.53/1675.55 c 1579s| 1900k| 1899k| 6446k| 3.4 |1994M| 135 | 0 |1900 |1801 |1900 | 232 |1886k| 1 |6315 | 0.000000e+00 | 4.448540e+05 | Inf
1683.83/1683.89 c 1586s| 1910k| 1909k| 6469k| 3.4 |2004M| 135 | 0 |1900 |1801 |1900 | 307 |1892k| 1 |6316 | 0.000000e+00 | 4.448540e+05 | Inf
1692.43/1692.41 c 1595s| 1920k| 1919k| 6496k| 3.4 |2015M| 135 | 0 |1900 |1801 |1900 | 301 |1898k| 1 |6329 | 0.000000e+00 | 4.448540e+05 | Inf
1701.03/1701.00 c 1603s| 1930k| 1929k| 6527k| 3.4 |2025M| 135 | 0 |1900 |1801 |1900 | 310 |1907k| 1 |6341 | 0.000000e+00 | 4.448540e+05 | Inf
1709.44/1709.47 c 1611s| 1940k| 1939k| 6551k| 3.4 |2036M| 135 | 33 |1900 |1801 |1900 | 272 |1915k| 1 |6349 | 0.000000e+00 | 4.448540e+05 | Inf
1717.83/1717.89 c 1619s| 1950k| 1949k| 6577k| 3.4 |2046M| 135 | 7 |1900 |1801 |1900 | 259 |1921k| 1 |6365 | 0.000000e+00 | 4.448540e+05 | Inf
1726.43/1726.40 c 1627s| 1960k| 1959k| 6604k| 3.4 |2056M| 135 | 0 |1900 |1801 |1900 | 285 |1929k| 1 |6376 | 0.000000e+00 | 4.448540e+05 | Inf
1734.54/1734.56 c 1634s| 1970k| 1969k| 6624k| 3.4 |2067M| 135 | 0 |1900 |1801 |1900 | 294 |1935k| 1 |6378 | 0.000000e+00 | 4.448540e+05 | Inf
1742.93/1742.91 c 1642s| 1980k| 1979k| 6647k| 3.4 |2077M| 135 | 8 |1900 |1801 |1900 | 288 |1942k| 1 |6388 | 0.000000e+00 | 4.448540e+05 | Inf
1751.33/1751.33 c 1650s| 1990k| 1989k| 6673k| 3.4 |2087M| 135 | 0 |1900 |1801 |1900 | 304 |1950k| 1 |6400 | 0.000000e+00 | 4.448540e+05 | Inf
1759.53/1759.59 c 1658s| 2000k| 1999k| 6696k| 3.3 |2098M| 135 | 0 |1900 |1801 |1900 | 298 |1956k| 1 |6406 | 0.000000e+00 | 4.448540e+05 | Inf
1768.13/1768.18 c 1666s| 2010k| 2009k| 6727k| 3.3 |2108M| 135 | 0 |1900 |1801 |1900 | 294 |1966k| 1 |6414 | 0.000000e+00 | 4.448540e+05 | Inf
1776.83/1776.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1776.83/1776.88 c 1674s| 2020k| 2019k| 6761k| 3.3 |2119M| 135 | 0 |1900 |1801 |1900 | 313 |1979k| 1 |6425 | 0.000000e+00 | 4.448540e+05 | Inf
1786.23/1786.21 c 1683s| 2030k| 2029k| 6788k| 3.3 |2129M| 135 | 0 |1900 |1801 |1900 | 330 |1989k| 1 |6429 | 0.000000e+00 | 4.448540e+05 | Inf
1795.83/1795.80 c 1693s| 2040k| 2039k| 6819k| 3.3 |2139M| 135 | 12 |1900 |1801 |1900 | 291 |1999k| 1 |6442 | 0.000000e+00 | 4.448540e+05 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1696.92
1800.04/1800.00 c Solving Nodes : 2044525
1800.04/1800.00 c Primal Bound : +4.44854000000000e+05 (100 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.01 s SATISFIABLE
1800.04/1800.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
1800.04/1800.01 v x176 -x175 x174 -x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 x164 -x163 x162 -x161 x160 -x159 x158 -x157 x156 -x155
1800.04/1800.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
1800.04/1800.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
1800.04/1800.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
1800.04/1800.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
1800.04/1800.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
1800.04/1800.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
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time : 1696.92
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-2700032-1278533906.wbo
1800.04/1800.01 c Variables : 2000 (1100 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.04/1800.01 c Constraints : 1901 initial, 1901 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-2700032-1278533906.wbo
1800.04/1800.01 c Variables : 1900 (1000 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.04/1800.01 c Constraints : 1800 initial, 1801 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c linear : 0.02 0 100 0 900 0 101 0 0
1800.04/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c root node : - 0 - - 0 - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 2366267 0 0 1 0 0 1268104
1800.04/1800.01 c indicator : 900 0 3004512 1732214 0 0 2098188 0 0 0
1800.04/1800.01 c linear : 900 6 3004512 1732214 0 1 1136938 2003199 0 0
1800.04/1800.01 c logicor : 0+ 0 6365 0 0 0 496 0 0 0
1800.04/1800.01 c countsols : 0 0 0 1410472 0 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.01 c integral : 10.50 0.00 0.00 10.50 0.00
1800.04/1800.01 c indicator : 133.70 0.00 30.40 103.30 0.00
1800.04/1800.01 c linear : 37.92 0.00 15.94 21.98 0.00
1800.04/1800.01 c logicor : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.01 c vbounds : 0.02 2 0 0
1800.04/1800.01 c rootredcost : 0.01 0 0 0
1800.04/1800.01 c pseudoobj : 48.59 3004312 0 0
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 0.00 1 1 1 5.0 0 0.0 -
1800.04/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.01 c applied globally : - - - 1 5.0 - - -
1800.04/1800.01 c applied locally : - - - 0 0.0 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 4 - - 11 - (maximal pool size: 41)
1800.04/1800.01 c redcost : 86.39 2365912 0 0 0 0
1800.04/1800.01 c impliedbounds : 0.00 5 0 0 0 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 0.01 5 0 0 49 0
1800.04/1800.01 c strongcg : 0.01 5 0 0 0 0
1800.04/1800.01 c cmir : 0.00 5 0 0 0 0
1800.04/1800.01 c flowcover : 0.03 5 0 0 0 0
1800.04/1800.01 c clique : 0.00 1 0 0 0 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 1 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 10.44 634053 0 1 0 0 1268104
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 104.31 1410472 0 0 0 0 2820944
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 0
1800.04/1800.01 c pseudo solutions : 0.00 - 0
1800.04/1800.01 c feaspump : 0.00 0 0
1800.04/1800.01 c oneopt : 0.02 1 0
1800.04/1800.01 c intshifting : 0.04 27 0
1800.04/1800.01 c crossover : 0.16 13 0
1800.04/1800.01 c pscostdiving : 18.05 32309 0
1800.04/1800.01 c fracdiving : 18.08 32309 0
1800.04/1800.01 c veclendiving : 18.40 32309 0
1800.04/1800.01 c linesearchdiving : 18.68 32309 0
1800.04/1800.01 c guideddiving : 17.82 32309 0
1800.04/1800.01 c coefdiving : 18.05 32309 0
1800.04/1800.01 c objpscostdiving : 19.03 32244 0
1800.04/1800.01 c rootsoldiving : 19.22 32244 0
1800.04/1800.01 c trivial : 0.01 2 1
1800.04/1800.01 c simplerounding : 0.08 633808 0
1800.04/1800.01 c zirounding : 0.03 1000 0
1800.04/1800.01 c rounding : 0.51 11175 0
1800.04/1800.01 c shifting : 1.97 3472 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.01 1 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c nlp : 0.00 0 0
1800.04/1800.01 c trysol : 0.24 36571 99
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.01 c dual LP : 727.68 1091340 6826250 6.25 9380.84
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 0.45 919 3085 3.36 6855.56
1800.04/1800.01 c strong branching : 6.65 6459 90140 13.96 13554.89
1800.04/1800.01 c (at root node) : - 33 3223 97.67 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 2044525
1800.04/1800.01 c nodes (total) : 2044525
1800.04/1800.01 c nodes left : 2044524
1800.04/1800.01 c max depth : 135
1800.04/1800.01 c max depth (total): 135
1800.04/1800.01 c backtracks : 32655 (1.6%)
1800.04/1800.01 c delayed cutoffs : 0
1800.04/1800.01 c repropagations : 10 (1 domain reductions, 0 cutoffs)
1800.04/1800.01 c avg switch length: 2.37
1800.04/1800.01 c switching time : 63.30
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 100 (1 improvements)
1800.04/1800.01 c First Solution : +4.44854000000000e+05 (in run 1, after 1 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.04/1800.01 c Primal Bound : +4.44854000000000e+05 (in run 1, after 1 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Root Iterations : 279
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700032-1278533906/watcher-2700032-1278533906 -o /tmp/evaluation-result-2700032-1278533906/solver-2700032-1278533906 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700032-1278533906.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.44 0.48 0.17 3/178 19600
/proc/meminfo: memFree=30150460/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=9284 CPUtime=0
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 1646 0 0 0 0 0 0 0 20 0 1 0 21604607 9506816 1565 4089446400 4194304 8223781 140736544254336 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19600/statm: 2321 1565 369 984 0 1334 0
[startup+0.0674571 s]
/proc/loadavg: 1.44 0.48 0.17 3/178 19600
/proc/meminfo: memFree=30150460/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=21816 CPUtime=0.06
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 5688 0 0 0 5 1 0 0 18 0 1 0 21604607 22339584 4470 4089446400 4194304 8223781 140736544254336 18446744073709551615 4902885 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 5454 4470 478 984 0 4467 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 21816
[startup+0.1005 s]
/proc/loadavg: 1.44 0.48 0.17 3/178 19600
/proc/meminfo: memFree=30150460/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=23564 CPUtime=0.09
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 6200 0 0 0 8 1 0 0 18 0 1 0 21604607 24129536 4973 4089446400 4194304 8223781 140736544254336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 5891 4973 564 984 0 4904 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23564
[startup+0.300463 s]
/proc/loadavg: 1.44 0.48 0.17 3/178 19600
/proc/meminfo: memFree=30150460/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=23788 CPUtime=0.29
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 9441 0 0 0 26 3 0 0 18 0 1 0 21604607 24358912 5077 4089446400 4194304 8223781 140736544254336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 5947 5077 578 984 0 4960 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23788
[startup+0.700394 s]
/proc/loadavg: 1.44 0.48 0.17 3/178 19600
/proc/meminfo: memFree=30150460/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=23788 CPUtime=0.69
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 9446 0 0 0 63 6 0 0 18 0 1 0 21604607 24358912 5077 4089446400 4194304 8223781 140736544254336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 5947 5077 578 984 0 4960 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23788
[startup+1.50025 s]
/proc/loadavg: 1.57 0.52 0.18 3/179 19601
/proc/meminfo: memFree=30130488/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=23788 CPUtime=1.49
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 9458 0 0 0 136 13 0 0 19 0 1 0 21604607 24358912 5077 4089446400 4194304 8223781 140736544254336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 5947 5077 578 984 0 4960 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23788
[startup+3.10097 s]
/proc/loadavg: 1.57 0.52 0.18 3/179 19601
/proc/meminfo: memFree=30128876/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=25412 CPUtime=3.09
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 13048 0 0 0 282 27 0 0 25 0 1 0 21604607 26021888 5497 4089446400 4194304 8223781 140736544254336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 6353 5497 584 984 0 5366 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25412
[startup+6.30041 s]
/proc/loadavg: 1.57 0.52 0.18 3/179 19601
/proc/meminfo: memFree=30116756/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=30828 CPUtime=6.29
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 23901 0 0 0 580 49 0 0 25 0 1 0 21604607 31567872 6781 4089446400 4194304 8223781 140736544254336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 7707 6781 584 984 0 6720 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30828
[startup+12.7003 s]
/proc/loadavg: 1.63 0.57 0.20 3/179 19604
/proc/meminfo: memFree=30097616/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=39824 CPUtime=12.69
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 29323 0 0 0 1181 88 0 0 25 0 1 0 21604607 40779776 9039 4089446400 4194304 8223781 140736544254336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 9956 9039 584 984 0 8969 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39824
[startup+25.501 s]
/proc/loadavg: 1.69 0.62 0.22 3/179 19605
/proc/meminfo: memFree=30065888/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=54564 CPUtime=25.49
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 36248 0 0 0 2379 170 0 0 25 0 1 0 21604607 55873536 12780 4089446400 4194304 8223781 140736544254336 18446744073709551615 4561451 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 13641 12780 584 984 0 12654 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 54564
[startup+51.1005 s]
/proc/loadavg: 1.79 0.73 0.27 3/179 19606
/proc/meminfo: memFree=29998840/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=83484 CPUtime=51.09
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 46764 0 0 0 4773 336 0 0 25 0 1 0 21604607 85487616 20111 4089446400 4194304 8223781 140736544254336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 20871 20111 584 984 0 19884 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 83484
[startup+102.307 s]
/proc/loadavg: 1.95 0.95 0.37 3/179 19607
/proc/meminfo: memFree=29881868/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=140612 CPUtime=102.3
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 67085 0 0 0 9581 649 0 0 25 0 1 0 21604607 143986688 34104 4089446400 4194304 8223781 140736544254336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 35153 34104 584 984 0 34166 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 140612
[startup+162.301 s]
/proc/loadavg: 1.98 1.14 0.47 3/179 19608
/proc/meminfo: memFree=29736980/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=211624 CPUtime=162.29
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 85077 0 0 0 15239 990 0 0 25 0 1 0 21604607 216702976 52095 4089446400 4194304 8223781 140736544254336 18446744073709551615 4902953 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 52906 52095 584 984 0 51919 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 211624
[startup+222.3 s]
/proc/loadavg: 1.99 1.29 0.56 3/179 19610
/proc/meminfo: memFree=29588732/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=280780 CPUtime=222.29
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 104742 0 0 0 20884 1345 0 0 25 0 1 0 21604607 287518720 68604 4089446400 4194304 8223781 140736544254336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 70195 68604 584 984 0 69208 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 280780
[startup+282.301 s]
/proc/loadavg: 1.99 1.42 0.65 3/179 19612
/proc/meminfo: memFree=29449436/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=350200 CPUtime=282.3
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 122380 0 0 0 26525 1705 0 0 25 0 1 0 21604607 358604800 86238 4089446400 4194304 8223781 140736544254336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 87550 86238 584 984 0 86563 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 350200
[startup+342.3 s]
/proc/loadavg: 1.99 1.52 0.73 3/179 19613
/proc/meminfo: memFree=29300952/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=420192 CPUtime=342.3
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 140122 0 0 0 32160 2070 0 0 25 0 1 0 21604607 430276608 103980 4089446400 4194304 8223781 140736544254336 18446744073709551615 6003252 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 105048 103980 584 984 0 104061 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 420192
[startup+402.301 s]
/proc/loadavg: 1.99 1.61 0.81 3/179 19615
/proc/meminfo: memFree=29153216/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=488664 CPUtime=402.3
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 160662 0 0 0 37799 2431 0 0 25 0 1 0 21604607 500391936 121350 4089446400 4194304 8223781 140736544254336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 122166 121350 584 984 0 121179 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 488664
[startup+462.3 s]
/proc/loadavg: 1.99 1.68 0.88 3/179 19616
/proc/meminfo: memFree=29004108/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=566896 CPUtime=462.3
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 178441 0 0 0 43433 2797 0 0 25 0 1 0 21604607 580501504 139128 4089446400 4194304 8223781 140736544254336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 141724 139128 584 984 0 140737 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 566896
[startup+522.301 s]
/proc/loadavg: 1.99 1.73 0.95 3/179 19618
/proc/meminfo: memFree=28851416/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=636656 CPUtime=522.3
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 196151 0 0 0 49084 3146 0 0 25 0 1 0 21604607 651935744 156837 4089446400 4194304 8223781 140736544254336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 159164 156837 584 984 0 158177 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 636656
[startup+582.301 s]
/proc/loadavg: 1.99 1.78 1.01 3/179 19620
/proc/meminfo: memFree=28696732/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=707192 CPUtime=582.3
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 214072 0 0 0 54739 3491 0 0 25 0 1 0 21604607 724164608 174758 4089446400 4194304 8223781 140736544254336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 176798 174758 584 984 0 175811 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 707192
[startup+642.3 s]
/proc/loadavg: 2.04 1.83 1.07 3/179 19621
/proc/meminfo: memFree=28540428/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=779248 CPUtime=642.32
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 232348 0 0 0 60411 3821 0 0 25 0 1 0 21604607 797949952 193033 4089446400 4194304 8223781 140736544254336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 194812 193033 584 984 0 193825 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 779248
[startup+702.301 s]
################
# More data... #
################
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 342198 0 0 0 94332 5899 0 0 25 0 1 0 21604607 1245138944 299700 4089446400 4194304 8223781 140736544254336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 303989 299700 584 984 0 303002 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1215956
[startup+1062.3 s]
/proc/loadavg: 2.03 1.96 1.40 3/179 19632
/proc/meminfo: memFree=27470896/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=1284604 CPUtime=1062.31
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 359653 0 0 0 100000 6231 0 0 25 0 1 0 21604607 1315434496 317127 4089446400 4194304 8223781 140736544254336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 321151 317127 584 984 0 320164 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1284604
[startup+1122.3 s]
/proc/loadavg: 2.01 1.97 1.43 3/179 19634
/proc/meminfo: memFree=27322408/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=1355280 CPUtime=1122.32
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 377591 0 0 0 105669 6563 0 0 25 0 1 0 21604607 1387806720 335055 4089446400 4194304 8223781 140736544254336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 338820 335055 584 984 0 337833 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1355280
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.47 3/179 19636
/proc/meminfo: memFree=27177628/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=1426708 CPUtime=1182.32
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 395735 0 0 0 111329 6903 0 0 25 0 1 0 21604607 1460948992 353199 4089446400 4194304 8223781 140736544254336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 356677 353199 584 984 0 355690 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1426708
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.50 3/179 19637
/proc/meminfo: memFree=27027160/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=1496704 CPUtime=1242.32
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 413509 0 0 0 116988 7244 0 0 25 0 1 0 21604607 1532624896 370973 4089446400 4194304 8223781 140736544254336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 374176 370973 584 984 0 373189 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1496704
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.53 3/179 19639
/proc/meminfo: memFree=26872968/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=1570036 CPUtime=1302.32
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 432122 0 0 0 122651 7581 0 0 25 0 1 0 21604607 1607716864 389586 4089446400 4194304 8223781 140736544254336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 392509 389586 584 984 0 391522 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1570036
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.55 3/179 19640
/proc/meminfo: memFree=26727212/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=1637796 CPUtime=1362.33
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 449329 0 0 0 128309 7924 0 0 25 0 1 0 21604607 1677103104 406786 4089446400 4194304 8223781 140736544254336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 409449 406786 584 984 0 408462 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1637796
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.58 3/179 19642
/proc/meminfo: memFree=26573748/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=1712760 CPUtime=1422.33
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 468340 0 0 0 133967 8266 0 0 25 0 1 0 21604607 1753866240 425797 4089446400 4194304 8223781 140736544254336 18446744073709551615 4561048 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 428190 425797 584 984 0 427203 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1712760
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.60 3/179 19644
/proc/meminfo: memFree=26429620/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=1782764 CPUtime=1482.33
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 489278 0 0 0 139622 8611 0 0 25 0 1 0 21604607 1825550336 443579 4089446400 4194304 8223781 140736544254336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 445691 443579 584 984 0 444704 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1782764
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.62 3/179 19645
/proc/meminfo: memFree=26277044/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=1854712 CPUtime=1542.32
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 507528 0 0 0 145290 8942 0 0 25 0 1 0 21604607 1899225088 461829 4089446400 4194304 8223781 140736544254336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 463678 461829 588 984 0 462691 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 1854712
[startup+1602.3 s]
/proc/loadavg: 2.05 1.99 1.65 3/179 19647
/proc/meminfo: memFree=26118636/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=1927880 CPUtime=1602.33
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 526099 0 0 0 150950 9283 0 0 25 0 1 0 21604607 1974149120 480400 4089446400 4194304 8223781 140736544254336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 481970 480400 588 984 0 480983 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1927880
[startup+1662.3 s]
/proc/loadavg: 2.02 1.99 1.67 3/179 19648
/proc/meminfo: memFree=25961596/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=2001180 CPUtime=1662.33
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 544698 0 0 0 156615 9618 0 0 25 0 1 0 21604607 2049208320 498999 4089446400 4194304 8223781 140736544254336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 500295 498999 588 984 0 499308 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2001180
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.68 3/179 19650
/proc/meminfo: memFree=25806556/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=2074444 CPUtime=1722.33
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 563294 0 0 0 162271 9962 0 0 25 0 1 0 21604607 2124230656 517595 4089446400 4194304 8223781 140736544254336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19600/statm: 518611 517595 588 984 0 517624 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 2074444
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.70 3/179 19680
/proc/meminfo: memFree=28066012/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=2146092 CPUtime=1782.33
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 581488 0 0 0 167951 10282 0 0 25 0 1 0 21604607 2197598208 535788 4089446400 4194304 8223781 140736544254336 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19600/statm: 536523 535788 588 984 0 535536 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 2146092
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 1.99 1.71 3/179 19680
/proc/meminfo: memFree=28047004/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=2198100 CPUtime=1800.04
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 586372 0 0 0 169693 10311 0 0 25 0 1 0 21604607 2250854400 540672 4089446400 4194304 8223781 140736544254336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19600/statm: 549525 540672 588 984 0 548538 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2198100
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -19600
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 1.99 1.71 3/180 19681
/proc/meminfo: memFree=28046996/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=2198100 CPUtime=1801.43
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 586374 0 0 0 169832 10311 0 0 25 0 1 0 21604607 2250854400 540674 4089446400 4194304 8223781 140736544254336 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19600/statm: 549525 540674 590 984 0 548538 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 2198100
[startup+1801.81 s]
/proc/loadavg: 2.00 1.99 1.71 3/180 19681
/proc/meminfo: memFree=28046748/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=2198100 CPUtime=1801.84
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 586374 0 0 0 169873 10311 0 0 25 0 1 0 21604607 2250854400 540674 4089446400 4194304 8223781 140736544254336 18446744073709551615 6206593 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19600/statm: 549525 540674 590 984 0 548538 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 2198100
[startup+1802 s]
/proc/loadavg: 2.00 1.99 1.71 3/180 19681
/proc/meminfo: memFree=28046748/32951124 swapFree=67111528/67111528
[pid=19600] ppid=19598 vsize=2198100 CPUtime=1802.03
/proc/19600/stat : 19600 (pbscip.linux.x8) R 19598 19600 19224 0 -1 4202496 586374 0 0 0 169892 10311 0 0 25 0 1 0 21604607 2250854400 540674 4089446400 4194304 8223781 140736544254336 18446744073709551615 6207096 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19600/statm: 549525 540674 590 984 0 548538 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 2198100
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.09
CPU time (s): 1802.13
CPU user time (s): 1698.94
CPU system time (s): 103.197
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2198100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1698.94
system time used= 103.197
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 586374
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= 960
runsolver used 2.54661 second user time and 5.74913 second system time
The end
Begin job on node119 at 2010-07-07 22:18:26
IDJOB=2700032
IDBENCH=79394
IDSOLVER=1204
FILE ID=node119/2700032-1278533906
PBS_JOBID= 11239239
Free space on /tmp= 73220 MiB
SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh307_wcsp.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700032-1278533906/watcher-2700032-1278533906 -o /tmp/evaluation-result-2700032-1278533906/solver-2700032-1278533906 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700032-1278533906.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 944c5e420229bce90a366c23629af03a
RANDOM SEED=1637665230
node119.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.868
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.73
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.868
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.868
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.868
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.868
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.72
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.868
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.82
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.868
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.868
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: 30151360 kB
Buffers: 138720 kB
Cached: 2374044 kB
SwapCached: 0 kB
Active: 1180120 kB
Inactive: 1456512 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30151360 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 10700 kB
Writeback: 0 kB
AnonPages: 123780 kB
Mapped: 17292 kB
Slab: 99592 kB
PageTables: 5352 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 262272 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= 73220 MiB
End job on node119 at 2010-07-07 22:48:28