0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2663858-1276666953.opb>
0.00/0.02 c original problem has 1576 variables (1576 bin, 0 int, 0 impl, 0 cont) and 1627 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.04 o 0
0.00/0.04 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.04 c presolving:
0.19/0.24 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 150 upgd conss, 11908 impls, 100 clqs
0.39/0.45 c (0.2s) probing: 101/1576 (6.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.45 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.39/0.45 c presolving (2 rounds):
0.39/0.45 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.45 c 11908 implications, 100 cliques
0.39/0.45 c presolved problem has 1576 variables (1576 bin, 0 int, 0 impl, 0 cont) and 1627 constraints
0.39/0.45 c 100 constraints of type <setppc>
0.39/0.45 c 1476 constraints of type <and>
0.39/0.45 c 1 constraints of type <linear>
0.39/0.45 c 50 constraints of type <logicor>
0.39/0.45 c transformed objective value is always integral (scale: 1)
0.39/0.45 c Presolving Time: 0.23
0.39/0.45 c - non default parameters ----------------------------------------------------------------------
0.39/0.45 c # SCIP version 1.2.1.2
0.39/0.45 c
0.39/0.45 c # frequency for displaying node information lines
0.39/0.45 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.45 c display/freq = 10000
0.39/0.45 c
0.39/0.45 c # maximal time in seconds to run
0.39/0.45 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.45 c limits/time = 1799.99
0.39/0.45 c
0.39/0.45 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.45 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.45 c limits/memory = 1620
0.39/0.45 c
0.39/0.45 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.45 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.45 c lp/solvefreq = -1
0.39/0.45 c
0.39/0.45 c # should presolving try to simplify inequalities
0.39/0.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45 c constraints/linear/simplifyinequalities = TRUE
0.39/0.45 c
0.39/0.45 c # should presolving try to simplify knapsacks
0.39/0.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.45 c
0.39/0.45 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.39/0.45 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.45 c heuristics/undercover/freq = 0
0.39/0.45 c
0.39/0.45 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.45 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.45 c separating/rapidlearning/freq = 0
0.39/0.45 c
0.39/0.45 c -----------------------------------------------------------------------------------------------
0.39/0.45 c start solving
0.39/0.46 c
0.39/0.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.46 c t 0.2s| 1 | 2 | 0 | - |4696k| 0 | - |1576 |1627 | 0 | 0 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
1.49/1.58 o -3
1.49/1.58 c * 1.3s| 1216 | 768 | 0 | 0.0 |8811k| 60 | - |1576 |1803 | 0 | 0 | 0 | 176 | 0 |-4.800000e+01 |-3.000000e+00 | 93.75%
4.69/4.71 o -4
4.69/4.71 c * 4.3s| 4681 | 3445 | 0 | 0.0 | 25M| 62 | - |1576 |2073 | 0 | 0 | 0 | 567 | 0 |-4.800000e+01 |-4.000000e+00 | 91.67%
9.49/9.59 c 8.9s| 10000 | 6738 | 0 | 0.0 | 46M| 62 | - |1576 |2261 | 0 | 0 | 0 |1501 | 0 |-4.700000e+01 |-4.000000e+00 | 91.49%
14.49/14.55 o -5
14.49/14.55 c *13.6s| 15481 | 10914 | 0 | 0.0 | 72M| 62 | - |1576 |2539 | 0 | 0 | 0 |2208 | 0 |-4.700000e+01 |-5.000000e+00 | 89.36%
17.89/17.99 c 16.9s| 20000 | 13722 | 0 | 0.0 | 85M| 63 | - |1576 |2796 | 0 | 0 | 0 |3071 | 0 |-4.700000e+01 |-5.000000e+00 | 89.36%
25.98/26.09 c 24.6s| 30000 | 21876 | 0 | 0.0 | 118M| 64 | - |1576 |2568 | 0 | 0 | 0 |4021 | 0 |-4.600000e+01 |-5.000000e+00 | 89.13%
34.09/34.12 c 32.2s| 40000 | 29158 | 0 | 0.0 | 156M| 64 | - |1576 |2953 | 0 | 0 | 0 |5479 | 0 |-4.600000e+01 |-5.000000e+00 | 89.13%
41.48/41.51 c 39.2s| 50000 | 35247 | 0 | 0.0 | 180M| 64 | - |1576 |3112 | 0 | 0 | 0 |7430 | 0 |-4.500000e+01 |-5.000000e+00 | 88.89%
49.38/49.44 c 46.7s| 60000 | 43414 | 0 | 0.0 | 213M| 64 | - |1576 |2859 | 0 | 0 | 0 |8421 | 0 |-4.500000e+01 |-5.000000e+00 | 88.89%
57.08/57.20 c 54.1s| 70000 | 50702 | 0 | 0.0 | 242M| 64 | - |1576 |3244 | 0 | 0 | 0 |9975 | 0 |-4.500000e+01 |-5.000000e+00 | 88.89%
64.67/64.72 c 61.4s| 80000 | 56329 | 0 | 0.0 | 264M| 64 | - |1576 |3353 | 0 | 0 | 0 | 11k| 0 |-4.500000e+01 |-5.000000e+00 | 88.89%
73.07/73.13 c 69.4s| 90000 | 63992 | 0 | 0.0 | 295M| 64 | - |1576 |2963 | 0 | 0 | 0 | 13k| 0 |-4.400000e+01 |-5.000000e+00 | 88.64%
80.67/80.75 c 76.6s|100000 | 70989 | 0 | 0.0 | 323M| 64 | - |1576 |3439 | 0 | 0 | 0 | 14k| 0 |-4.400000e+01 |-5.000000e+00 | 88.64%
88.07/88.14 c 83.7s|110000 | 75658 | 0 | 0.0 | 341M| 65 | - |1576 |3837 | 0 | 0 | 0 | 17k| 0 |-4.300000e+01 |-5.000000e+00 | 88.37%
96.26/96.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.26/96.32 c 91.5s|120000 | 83426 | 0 | 0.0 | 368M| 66 | - |1576 |2976 | 0 | 0 | 0 | 18k| 0 |-4.300000e+01 |-5.000000e+00 | 88.37%
104.37/104.41 c 99.2s|130000 | 90921 | 0 | 0.0 | 399M| 66 | - |1576 |3305 | 0 | 0 | 0 | 19k| 0 |-4.300000e+01 |-5.000000e+00 | 88.37%
112.17/112.27 c 107s|140000 | 97212 | 0 | 0.0 | 422M| 66 | - |1576 |3971 | 0 | 0 | 0 | 21k| 0 |-4.300000e+01 |-5.000000e+00 | 88.37%
120.16/120.25 c 114s|150000 |101357 | 0 | 0.0 | 438M| 67 | - |1576 |4305 | 0 | 0 | 0 | 24k| 0 |-4.200000e+01 |-5.000000e+00 | 88.10%
128.45/128.57 c 122s|160000 |109659 | 0 | 0.0 | 462M| 67 | - |1576 |2951 | 0 | 0 | 0 | 25k| 0 |-4.200000e+01 |-5.000000e+00 | 88.10%
136.85/136.94 c 130s|170000 |117180 | 0 | 0.0 | 489M| 67 | - |1576 |3042 | 0 | 0 | 0 | 27k| 0 |-4.200000e+01 |-5.000000e+00 | 88.10%
144.76/144.83 c 138s|180000 |123950 | 0 | 0.0 | 513M| 67 | - |1576 |3753 | 0 | 0 | 0 | 29k| 0 |-4.200000e+01 |-5.000000e+00 | 88.10%
152.85/152.95 c 146s|190000 |128486 | 0 | 0.0 | 529M| 67 | - |1576 |3788 | 0 | 0 | 0 | 31k| 0 |-4.200000e+01 |-5.000000e+00 | 88.10%
160.75/160.81 c 153s|200000 |134758 | 0 | 0.0 | 545M| 67 | - |1576 |2859 | 0 | 0 | 0 | 33k| 0 |-4.100000e+01 |-5.000000e+00 | 87.80%
169.35/169.42 c 161s|210000 |142802 | 0 | 0.0 | 571M| 67 | - |1576 |2898 | 0 | 0 | 0 | 35k| 0 |-4.100000e+01 |-5.000000e+00 | 87.80%
177.64/177.71 c 169s|220000 |150609 | 0 | 0.0 | 593M| 67 | - |1576 |2998 | 0 | 0 | 0 | 36k| 0 |-4.100000e+01 |-5.000000e+00 | 87.80%
185.64/185.74 c 177s|230000 |157793 | 0 | 0.0 | 617M| 67 | - |1576 |3505 | 0 | 0 | 0 | 38k| 0 |-4.100000e+01 |-5.000000e+00 | 87.80%
193.63/193.76 c 185s|240000 |163592 | 0 | 0.0 | 636M| 67 | - |1576 |4372 | 0 | 0 | 0 | 40k| 0 |-4.100000e+01 |-5.000000e+00 | 87.80%
202.04/202.19 c 193s|250000 |168201 | 0 | 0.0 | 651M| 67 | - |1576 |4019 | 0 | 0 | 0 | 43k| 0 |-4.100000e+01 |-5.000000e+00 | 87.80%
210.24/210.39 c 201s|260000 |174460 | 0 | 0.0 | 667M| 67 | - |1576 |3130 | 0 | 0 | 0 | 45k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
219.03/219.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
219.03/219.14 c 209s|270000 |182481 | 0 | 0.0 | 688M| 67 | - |1576 |2970 | 0 | 0 | 0 | 46k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
228.64/228.78 c 218s|280000 |189043 | 0 | 0.0 | 711M| 67 | - |1576 |3295 | 0 | 0 | 0 | 48k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
237.93/238.04 c 227s|290000 |196038 | 0 | 0.0 | 734M| 67 | - |1576 |3358 | 0 | 0 | 0 | 50k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
246.63/246.78 c 235s|300000 |202824 | 0 | 0.0 | 753M| 68 | - |1576 |3764 | 0 | 0 | 0 | 52k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
255.23/255.34 c 244s|310000 |208898 | 0 | 0.0 | 772M| 68 | - |1576 |4411 | 0 | 0 | 0 | 55k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
264.12/264.21 c 252s|320000 |212940 | 0 | 0.0 | 785M| 68 | - |1576 |5170 | 0 | 0 | 0 | 58k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
273.02/273.18 c 261s|330000 |217537 | 0 | 0.0 | 798M| 68 | - |1576 |4387 | 0 | 0 | 0 | 61k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
282.22/282.34 c 270s|340000 |224228 | 0 | 0.0 | 817M| 68 | - |1576 |3359 | 0 | 0 | 0 | 63k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
291.81/291.98 o -6
291.81/291.98 c * 279s|348080 |226863 | 0 | 0.0 | 837M| 68 | - |1576 |3305 | 0 | 0 | 0 | 66k| 0 |-3.900000e+01 |-6.000000e+00 | 84.62%
294.11/294.30 c 281s|350000 |227807 | 0 | 0.0 | 842M| 68 | - |1576 |3476 | 0 | 0 | 0 | 66k| 0 |-3.900000e+01 |-6.000000e+00 | 84.62%
304.71/304.88 c 291s|360000 |234060 | 0 | 0.0 | 863M| 68 | - |1576 |3536 | 0 | 0 | 0 | 69k| 0 |-3.900000e+01 |-6.000000e+00 | 84.62%
315.00/315.15 c 301s|370000 |240540 | 0 | 0.0 | 885M| 68 | - |1576 |3683 | 0 | 0 | 0 | 71k| 0 |-3.900000e+01 |-6.000000e+00 | 84.62%
325.30/325.48 c 311s|380000 |247218 | 0 | 0.0 | 905M| 68 | - |1576 |3870 | 0 | 0 | 0 | 74k| 0 |-3.900000e+01 |-6.000000e+00 | 84.62%
335.00/335.12 c 320s|390000 |253843 | 0 | 0.0 | 924M| 69 | - |1576 |4444 | 0 | 0 | 0 | 77k| 0 |-3.900000e+01 |-6.000000e+00 | 84.62%
344.40/344.57 c 330s|400000 |259854 | 0 | 0.0 | 940M| 69 | - |1576 |5140 | 0 | 0 | 0 | 80k| 0 |-3.900000e+01 |-6.000000e+00 | 84.62%
354.49/354.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
354.49/354.69 c 339s|410000 |264168 | 0 | 0.0 | 953M| 69 | - |1576 |6047 | 0 | 0 | 0 | 84k| 0 |-3.900000e+01 |-6.000000e+00 | 84.62%
364.49/364.67 c 349s|420000 |269247 | 0 | 0.0 | 966M| 69 | - |1576 |4564 | 0 | 0 | 0 | 86k| 0 |-3.900000e+01 |-6.000000e+00 | 84.62%
373.90/374.05 c 358s|430000 |273933 | 0 | 0.0 | 976M| 69 | - |1576 |3319 | 0 | 0 | 0 | 90k| 0 |-3.800000e+01 |-6.000000e+00 | 84.21%
383.29/383.42 c 367s|440000 |282227 | 0 | 0.0 | 994M| 69 | - |1576 |3059 | 0 | 0 | 0 | 91k| 0 |-3.800000e+01 |-6.000000e+00 | 84.21%
393.09/393.29 c 377s|450000 |289846 | 0 | 0.0 |1014M| 69 | - |1576 |3173 | 0 | 0 | 0 | 92k| 0 |-3.800000e+01 |-6.000000e+00 | 84.21%
402.58/402.72 c 386s|460000 |297714 | 0 | 0.0 |1034M| 69 | - |1576 |3140 | 0 | 0 | 0 | 94k| 0 |-3.800000e+01 |-6.000000e+00 | 84.21%
411.49/411.70 c 394s|470000 |305651 | 0 | 0.0 |1052M| 69 | - |1576 |3254 | 0 | 0 | 0 | 95k| 0 |-3.800000e+01 |-6.000000e+00 | 84.21%
420.48/420.65 c 403s|480000 |313422 | 0 | 0.0 |1068M| 69 | - |1576 |3441 | 0 | 0 | 0 | 96k| 0 |-3.800000e+01 |-6.000000e+00 | 84.21%
429.68/429.87 c 412s|490000 |320630 | 0 | 0.0 |1085M| 69 | - |1576 |3760 | 0 | 0 | 0 | 98k| 0 |-3.800000e+01 |-6.000000e+00 | 84.21%
439.88/440.08 c 422s|500000 |326640 | 0 | 0.0 |1101M| 69 | - |1576 |4363 | 0 | 0 | 0 | 101k| 0 |-3.800000e+01 |-6.000000e+00 | 84.21%
449.57/449.79 c 431s|510000 |332878 | 0 | 0.0 |1116M| 69 | - |1576 |4911 | 0 | 0 | 0 | 104k| 0 |-3.800000e+01 |-6.000000e+00 | 84.21%
460.17/460.31 c 441s|520000 |336917 | 0 | 0.0 |1128M| 69 | - |1576 |6008 | 0 | 0 | 0 | 108k| 0 |-3.800000e+01 |-6.000000e+00 | 84.21%
469.27/469.42 c 450s|530000 |343713 | 0 | 0.0 |1141M| 70 | - |1576 |4547 | 0 | 0 | 0 | 111k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
477.77/477.98 c 458s|540000 |348107 | 0 | 0.0 |1149M| 70 | - |1576 |3507 | 0 | 0 | 0 | 114k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
486.76/486.91 c 467s|550000 |356349 | 0 | 0.0 |1166M| 70 | - |1576 |3255 | 0 | 0 | 0 | 115k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
496.97/497.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
496.97/497.18 c 477s|560000 |362683 | 0 | 0.0 |1185M| 70 | - |1576 |3852 | 0 | 0 | 0 | 118k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
507.86/508.03 c 487s|570000 |368871 | 0 | 0.0 |1203M| 70 | - |1576 |3654 | 0 | 0 | 0 | 120k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
517.35/517.54 c 496s|580000 |376232 | 0 | 0.0 |1219M| 70 | - |1576 |3659 | 0 | 0 | 0 | 122k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
527.05/527.22 c 505s|590000 |382943 | 0 | 0.0 |1236M| 70 | - |1576 |4135 | 0 | 0 | 0 | 125k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
537.14/537.35 c 515s|600000 |389232 | 0 | 0.0 |1252M| 70 | - |1576 |4464 | 0 | 0 | 0 | 127k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
547.65/547.81 c 525s|610000 |395095 | 0 | 0.0 |1267M| 71 | - |1576 |4585 | 0 | 0 | 0 | 131k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
557.94/558.19 c 535s|620000 |400943 | 0 | 0.0 |1282M| 71 | - |1576 |4878 | 0 | 0 | 0 | 134k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
568.45/568.60 c 545s|630000 |406603 | 0 | 0.0 |1295M| 71 | - |1576 |5282 | 0 | 0 | 0 | 137k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
578.73/578.97 c 555s|640000 |411346 | 0 | 0.0 |1307M| 71 | - |1576 |6300 | 0 | 0 | 0 | 141k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
590.34/590.54 c 566s|650000 |413570 | 0 | 0.0 |1316M| 71 | - |1576 |7480 | 0 | 0 | 0 | 147k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
600.13/600.33 c 576s|660000 |421299 | 0 | 0.0 |1329M| 71 | - |1576 |4274 | 0 | 0 | 0 | 149k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
608.93/609.13 c 584s|670000 |424198 | 0 | 0.0 |1336M| 71 | - |1576 |5315 | 0 | 0 | 0 | 153k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
618.42/618.68 c 594s|680000 |431331 | 0 | 0.0 |1350M| 71 | - |1576 |3595 | 0 | 0 | 0 | 155k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
623.53/623.78 c (node 685636) switching to memory saving mode (mem: 1296.0M/1620.0M)
626.83/627.02 c 602s|690000 |436031 | 0 | 0.0 |1359M| 93 | - |1576 |4560 | 0 | 0 | 0 | 158k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
635.02/635.29 c 609s|700000 |435598 | 0 | 0.0 |1358M| 93 | - |1576 |5679 | 0 | 0 | 0 | 166k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
644.12/644.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
644.12/644.35 c 618s|710000 |435169 | 0 | 0.0 |1357M| 93 | - |1576 |6491 | 0 | 0 | 0 | 174k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
652.72/653.00 c 626s|720000 |434960 | 0 | 0.0 |1357M| 93 | - |1576 |7113 | 0 | 0 | 0 | 182k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
663.02/663.29 c 636s|730000 |434449 | 0 | 0.0 |1356M| 93 | - |1576 |8014 | 0 | 0 | 0 | 190k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
672.21/672.40 c 645s|740000 |434292 | 0 | 0.0 |1356M| 93 | - |1576 |8403 | 0 | 0 | 0 | 200k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
683.01/683.22 c 655s|750000 |433647 | 0 | 0.0 |1354M| 93 | - |1576 |7443 | 0 | 0 | 0 | 209k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
692.30/692.58 c 664s|760000 |433462 | 0 | 0.0 |1355M| 93 | - |1576 |9178 | 0 | 0 | 0 | 218k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
701.41/701.68 c 672s|770000 |433306 | 0 | 0.0 |1354M| 93 | - |1576 |8174 | 0 | 0 | 0 | 228k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
711.20/711.44 c 682s|780000 |432944 | 0 | 0.0 |1353M| 93 | - |1576 |8060 | 0 | 0 | 0 | 237k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
722.40/722.64 c 692s|790000 |432224 | 0 | 0.0 |1352M| 93 | - |1576 |8845 | 0 | 0 | 0 | 245k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
732.30/732.56 c 702s|800000 |432132 | 0 | 0.0 |1353M| 93 | - |1576 | 10k| 0 | 0 | 0 | 253k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
741.99/742.27 c 711s|810000 |432024 | 0 | 0.0 |1352M| 93 | - |1576 |9345 | 0 | 0 | 0 | 262k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
751.49/751.71 c 720s|820000 |431847 | 0 | 0.0 |1352M| 93 | - |1576 |8836 | 0 | 0 | 0 | 271k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
760.69/760.93 c 729s|830000 |431721 | 0 | 0.0 |1352M| 93 | - |1576 |8782 | 0 | 0 | 0 | 281k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
770.38/770.61 c 738s|840000 |431513 | 0 | 0.0 |1352M| 93 | - |1576 |8668 | 0 | 0 | 0 | 290k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
783.39/783.67 c 751s|850000 |430364 | 0 | 0.0 |1348M| 93 | - |1576 |8689 | 0 | 0 | 0 | 299k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
792.38/792.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
792.38/792.67 c 759s|860000 |430254 | 0 | 0.0 |1349M| 93 | - |1576 | 10k| 0 | 0 | 0 | 308k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
802.28/802.55 c 769s|870000 |430198 | 0 | 0.0 |1350M| 93 | - |1576 | 10k| 0 | 0 | 0 | 314k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
812.47/812.73 c 779s|880000 |430101 | 0 | 0.0 |1350M| 93 | - |1576 | 11k| 0 | 0 | 0 | 323k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
822.77/823.05 c 788s|890000 |430009 | 0 | 0.0 |1349M| 93 | - |1576 | 10k| 0 | 0 | 0 | 332k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
833.07/833.38 c 798s|900000 |429900 | 0 | 0.0 |1349M| 93 | - |1576 | 10k| 0 | 0 | 0 | 341k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
842.77/843.03 c 808s|910000 |429759 | 0 | 0.0 |1349M| 93 | - |1576 | 10k| 0 | 0 | 0 | 350k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
852.06/852.31 c 816s|920000 |429628 | 0 | 0.0 |1349M| 93 | - |1576 |9830 | 0 | 0 | 0 | 359k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
861.26/861.50 c 825s|930000 |429507 | 0 | 0.0 |1349M| 93 | - |1576 |9514 | 0 | 0 | 0 | 369k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
870.66/870.90 c 834s|940000 |429356 | 0 | 0.0 |1349M| 93 | - |1576 |9623 | 0 | 0 | 0 | 378k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
881.65/881.96 c 845s|950000 |428705 | 0 | 0.0 |1347M| 93 | - |1576 |9468 | 0 | 0 | 0 | 388k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
894.56/894.88 c 857s|960000 |427728 | 0 | 0.0 |1346M| 93 | - |1576 | 11k| 0 | 0 | 0 | 397k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
903.15/903.47 c 865s|970000 |427642 | 0 | 0.0 |1347M| 93 | - |1576 | 12k| 0 | 0 | 0 | 405k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
913.64/913.99 c 876s|980000 |427579 | 0 | 0.0 |1347M| 93 | - |1576 | 12k| 0 | 0 | 0 | 412k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
924.44/924.78 c 886s|990000 |427515 | 0 | 0.0 |1347M| 93 | - |1576 | 13k| 0 | 0 | 0 | 419k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
934.94/935.29 c 896s| 1000k|427406 | 0 | 0.0 |1346M| 93 | - |1576 | 11k| 0 | 0 | 0 | 426k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
944.55/944.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
944.55/944.81 c 905s| 1010k|427299 | 0 | 0.0 |1346M| 93 | - |1576 | 12k| 0 | 0 | 0 | 434k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
954.44/954.78 c 915s| 1020k|427200 | 0 | 0.0 |1346M| 93 | - |1576 | 12k| 0 | 0 | 0 | 443k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
964.13/964.50 c 924s| 1030k|427069 | 0 | 0.0 |1345M| 93 | - |1576 | 11k| 0 | 0 | 0 | 452k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
973.63/973.99 c 933s| 1040k|426981 | 0 | 0.0 |1346M| 93 | - |1576 | 12k| 0 | 0 | 0 | 461k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
984.14/984.49 c 943s| 1050k|426857 | 0 | 0.0 |1345M| 93 | - |1576 | 11k| 0 | 0 | 0 | 471k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
993.83/994.15 c 952s| 1060k|426760 | 0 | 0.0 |1346M| 93 | - |1576 | 11k| 0 | 0 | 0 | 480k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1003.32/1003.65 c 961s| 1070k|426648 | 0 | 0.0 |1345M| 93 | - |1576 | 10k| 0 | 0 | 0 | 489k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1012.83/1013.14 c 970s| 1080k|426517 | 0 | 0.0 |1345M| 93 | - |1576 | 10k| 0 | 0 | 0 | 499k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1022.32/1022.70 c 980s| 1090k|426216 | 0 | 0.0 |1345M| 93 | - |1576 | 10k| 0 | 0 | 0 | 508k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1032.81/1033.14 c 990s| 1100k|425645 | 0 | 0.0 |1343M| 93 | - |1576 |9836 | 0 | 0 | 0 | 517k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1047.41/1047.75 c 1004s| 1110k|424337 | 0 | 0.0 |1339M| 93 | - |1576 | 10k| 0 | 0 | 0 | 527k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1055.51/1055.80 c 1012s| 1120k|424277 | 0 | 0.0 |1341M| 93 | - |1576 | 12k| 0 | 0 | 0 | 534k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1065.11/1065.47 c 1021s| 1130k|424200 | 0 | 0.0 |1342M| 93 | - |1576 | 14k| 0 | 0 | 0 | 542k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1075.91/1076.26 c 1031s| 1140k|424139 | 0 | 0.0 |1341M| 93 | - |1576 | 13k| 0 | 0 | 0 | 550k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1086.41/1086.71 c 1041s| 1150k|424072 | 0 | 0.0 |1341M| 93 | - |1576 | 13k| 0 | 0 | 0 | 558k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1096.50/1096.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1096.50/1096.87 c 1051s| 1160k|423987 | 0 | 0.0 |1340M| 93 | - |1576 | 12k| 0 | 0 | 0 | 566k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1105.90/1106.21 c 1060s| 1170k|423906 | 0 | 0.0 |1341M| 93 | - |1576 | 13k| 0 | 0 | 0 | 574k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1115.78/1116.15 c 1070s| 1180k|423839 | 0 | 0.0 |1341M| 93 | - |1576 | 14k| 0 | 0 | 0 | 583k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1126.27/1126.69 c 1080s| 1190k|423705 | 0 | 0.0 |1341M| 93 | - |1576 | 13k| 0 | 0 | 0 | 592k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1136.27/1136.62 c 1089s| 1200k|423584 | 0 | 0.0 |1341M| 93 | - |1576 | 13k| 0 | 0 | 0 | 601k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1146.17/1146.52 c 1099s| 1210k|423469 | 0 | 0.0 |1340M| 93 | - |1576 | 12k| 0 | 0 | 0 | 610k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1156.57/1156.93 c 1109s| 1220k|423318 | 0 | 0.0 |1339M| 93 | - |1576 | 11k| 0 | 0 | 0 | 619k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1165.77/1166.11 c 1117s| 1230k|423229 | 0 | 0.0 |1340M| 93 | - |1576 | 12k| 0 | 0 | 0 | 628k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1175.26/1175.64 c 1127s| 1240k|423141 | 0 | 0.0 |1340M| 93 | - |1576 | 11k| 0 | 0 | 0 | 637k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1184.46/1184.82 c 1135s| 1250k|423045 | 0 | 0.0 |1340M| 93 | - |1576 | 12k| 0 | 0 | 0 | 646k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1193.96/1194.39 c 1144s| 1260k|422935 | 0 | 0.0 |1340M| 93 | - |1576 | 11k| 0 | 0 | 0 | 655k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1203.15/1203.58 c 1153s| 1270k|422827 | 0 | 0.0 |1340M| 93 | - |1576 | 11k| 0 | 0 | 0 | 664k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1212.06/1212.45 c 1162s| 1280k|422719 | 0 | 0.0 |1341M| 93 | - |1576 | 12k| 0 | 0 | 0 | 674k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1221.66/1222.08 c 1171s| 1290k|422501 | 0 | 0.0 |1340M| 93 | - |1576 | 10k| 0 | 0 | 0 | 684k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1231.95/1232.32 c 1181s| 1300k|422007 | 0 | 0.0 |1339M| 93 | - |1576 | 11k| 0 | 0 | 0 | 693k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1243.44/1243.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1243.44/1243.89 c 1192s| 1310k|421332 | 0 | 0.0 |1337M| 93 | - |1576 | 11k| 0 | 0 | 0 | 702k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1259.15/1259.52 c 1207s| 1320k|420033 | 0 | 0.0 |1334M| 93 | - |1576 | 12k| 0 | 0 | 0 | 712k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1267.64/1268.02 c 1215s| 1330k|419957 | 0 | 0.0 |1334M| 93 | - |1576 | 13k| 0 | 0 | 0 | 719k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1277.23/1277.64 c 1224s| 1340k|419846 | 0 | 0.0 |1334M| 93 | - |1576 | 13k| 0 | 0 | 0 | 727k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1286.93/1287.40 c 1234s| 1350k|419780 | 0 | 0.0 |1335M| 93 | - |1576 | 15k| 0 | 0 | 0 | 735k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1298.23/1298.68 c 1245s| 1360k|419701 | 0 | 0.0 |1335M| 93 | - |1576 | 15k| 0 | 0 | 0 | 743k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1308.92/1309.33 c 1255s| 1370k|419614 | 0 | 0.0 |1336M| 93 | - |1576 | 17k| 0 | 0 | 0 | 752k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1320.82/1321.24 c 1266s| 1380k|419552 | 0 | 0.0 |1336M| 93 | - |1576 | 16k| 0 | 0 | 0 | 762k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1331.72/1332.18 c 1277s| 1390k|419451 | 0 | 0.0 |1335M| 93 | - |1576 | 16k| 0 | 0 | 0 | 770k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1342.52/1342.99 c 1287s| 1400k|419327 | 0 | 0.0 |1335M| 93 | - |1576 | 16k| 0 | 0 | 0 | 779k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1353.42/1353.85 c 1298s| 1410k|419189 | 0 | 0.0 |1335M| 93 | - |1576 | 15k| 0 | 0 | 0 | 788k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1364.41/1364.88 c 1308s| 1420k|419062 | 0 | 0.0 |1334M| 93 | - |1576 | 15k| 0 | 0 | 0 | 797k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1374.81/1375.26 c 1318s| 1430k|418948 | 0 | 0.0 |1334M| 93 | - |1576 | 13k| 0 | 0 | 0 | 805k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1384.41/1384.87 c 1328s| 1440k|418819 | 0 | 0.0 |1334M| 93 | - |1576 | 13k| 0 | 0 | 0 | 814k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1394.71/1395.17 c 1337s| 1450k|418714 | 0 | 0.0 |1334M| 93 | - |1576 | 14k| 0 | 0 | 0 | 823k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1405.00/1405.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1405.00/1405.45 c 1347s| 1460k|418622 | 0 | 0.0 |1333M| 93 | - |1576 | 13k| 0 | 0 | 0 | 833k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1415.00/1415.43 c 1357s| 1470k|418554 | 0 | 0.0 |1334M| 93 | - |1576 | 13k| 0 | 0 | 0 | 842k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1425.40/1425.84 c 1367s| 1480k|418436 | 0 | 0.0 |1333M| 93 | - |1576 | 11k| 0 | 0 | 0 | 851k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1434.69/1435.15 c 1376s| 1490k|418306 | 0 | 0.0 |1333M| 93 | - |1576 | 11k| 0 | 0 | 0 | 860k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1444.39/1444.83 c 1385s| 1500k|418209 | 0 | 0.0 |1333M| 93 | - |1576 | 11k| 0 | 0 | 0 | 870k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1454.09/1454.54 c 1394s| 1510k|418085 | 0 | 0.0 |1334M| 93 | - |1576 | 13k| 0 | 0 | 0 | 879k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1464.38/1464.81 c 1404s| 1520k|417866 | 0 | 0.0 |1333M| 93 | - |1576 | 12k| 0 | 0 | 0 | 889k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1474.78/1475.25 c 1414s| 1530k|417474 | 0 | 0.0 |1332M| 93 | - |1576 | 11k| 0 | 0 | 0 | 898k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1485.18/1485.66 c 1424s| 1540k|416961 | 0 | 0.0 |1331M| 93 | - |1576 | 11k| 0 | 0 | 0 | 907k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1497.18/1497.62 c 1436s| 1550k|416259 | 0 | 0.0 |1328M| 93 | - |1576 | 11k| 0 | 0 | 0 | 916k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1512.98/1513.49 c 1451s| 1560k|414875 | 0 | 0.0 |1324M| 93 | - |1576 | 11k| 0 | 0 | 0 | 926k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1520.97/1521.49 c 1459s| 1570k|414787 | 0 | 0.0 |1325M| 93 | - |1576 | 13k| 0 | 0 | 0 | 934k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1529.87/1530.39 c 1467s| 1580k|414686 | 0 | 0.0 |1325M| 93 | - |1576 | 14k| 0 | 0 | 0 | 943k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1540.26/1540.71 c 1477s| 1590k|414640 | 0 | 0.0 |1326M| 93 | - |1576 | 14k| 0 | 0 | 0 | 951k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1551.16/1551.68 c 1488s| 1600k|414571 | 0 | 0.0 |1326M| 93 | - |1576 | 15k| 0 | 0 | 0 | 959k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1561.36/1561.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1561.36/1561.86 c 1498s| 1610k|414518 | 0 | 0.0 |1326M| 93 | - |1576 | 16k| 0 | 0 | 0 | 967k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1572.05/1572.56 c 1508s| 1620k|414495 | 0 | 0.0 |1327M| 93 | - |1576 | 16k| 0 | 0 | 0 | 975k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1583.35/1583.81 c 1519s| 1630k|414453 | 0 | 0.0 |1327M| 93 | - |1576 | 17k| 0 | 0 | 0 | 981k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1594.65/1595.15 c 1530s| 1640k|414342 | 0 | 0.0 |1326M| 93 | - |1576 | 15k| 0 | 0 | 0 | 991k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1605.35/1605.83 c 1540s| 1650k|414264 | 0 | 0.0 |1326M| 93 | - |1576 | 16k| 0 | 0 | 0 |1000k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1614.95/1615.45 c 1550s| 1660k|414203 | 0 | 0.0 |1326M| 93 | - |1576 | 17k| 0 | 0 | 0 |1007k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1625.74/1626.29 c 1560s| 1670k|414083 | 0 | 0.0 |1325M| 93 | - |1576 | 15k| 0 | 0 | 0 |1016k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1635.94/1636.47 c 1570s| 1680k|413973 | 0 | 0.0 |1325M| 93 | - |1576 | 15k| 0 | 0 | 0 |1024k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1646.34/1646.90 c 1580s| 1690k|413834 | 0 | 0.0 |1325M| 93 | - |1576 | 15k| 0 | 0 | 0 |1033k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1656.94/1657.46 c 1590s| 1700k|413708 | 0 | 0.0 |1325M| 93 | - |1576 | 14k| 0 | 0 | 0 |1042k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1667.73/1668.23 c 1600s| 1710k|413600 | 0 | 0.0 |1325M| 93 | - |1576 | 14k| 0 | 0 | 0 |1052k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1678.33/1678.89 c 1611s| 1720k|413455 | 0 | 0.0 |1324M| 93 | - |1576 | 13k| 0 | 0 | 0 |1061k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1688.42/1688.97 c 1620s| 1730k|413323 | 0 | 0.0 |1324M| 93 | - |1576 | 13k| 0 | 0 | 0 |1070k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1698.43/1698.92 c 1630s| 1740k|413223 | 0 | 0.0 |1325M| 93 | - |1576 | 14k| 0 | 0 | 0 |1080k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1708.82/1709.36 c 1640s| 1750k|413109 | 0 | 0.0 |1325M| 93 | - |1576 | 15k| 0 | 0 | 0 |1088k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1719.02/1719.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1719.02/1719.59 c 1650s| 1760k|413020 | 0 | 0.0 |1325M| 93 | - |1576 | 14k| 0 | 0 | 0 |1098k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1728.91/1729.42 c 1659s| 1770k|412922 | 0 | 0.0 |1325M| 93 | - |1576 | 14k| 0 | 0 | 0 |1106k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1739.01/1739.57 c 1669s| 1780k|412812 | 0 | 0.0 |1324M| 93 | - |1576 | 13k| 0 | 0 | 0 |1116k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1748.71/1749.29 c 1678s| 1790k|412681 | 0 | 0.0 |1324M| 93 | - |1576 | 13k| 0 | 0 | 0 |1125k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1758.81/1759.36 c 1688s| 1800k|412536 | 0 | 0.0 |1325M| 93 | - |1576 | 14k| 0 | 0 | 0 |1135k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1769.50/1770.09 c 1698s| 1810k|412319 | 0 | 0.0 |1325M| 93 | - |1576 | 14k| 0 | 0 | 0 |1145k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1780.41/1781.00 c 1709s| 1820k|411962 | 0 | 0.0 |1323M| 93 | - |1576 | 12k| 0 | 0 | 0 |1154k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1790.80/1791.32 c 1719s| 1830k|411545 | 0 | 0.0 |1322M| 93 | - |1576 | 12k| 0 | 0 | 0 |1163k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
1800.11/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.11/1800.61 c
1800.11/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.11/1800.61 c Solving Time (sec) : 1727.56
1800.11/1800.61 c Solving Nodes : 1838500
1800.11/1800.61 c Primal Bound : -6.00000000000000e+00 (7 solutions)
1800.11/1800.61 c Dual Bound : -3.60000000000000e+01
1800.11/1800.61 c Gap : 83.33 %
1800.11/1800.61 s SATISFIABLE
1800.11/1800.61 v -x70 -x61 -x84 -x78 -x64 -x63 -x58 -x54 -x72 -x100 -x83 -x82 -x95 -x79 -x62 -x51 -x85 -x81 -x80 -x71 -x68 -x67 -x60 -x57 -x56 -x87
1800.11/1800.61 v -x55 -x99 -x88 -x98 -x74 x89 -x93 -x66 -x96 x92 -x53 -x90 -x94 x75 -x59 -x65 -x52 -x77 x73 -x76 -x91 x69 -x86 x97 x50 -x49
1800.11/1800.61 v -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 x36 -x35 x34 x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23
1800.11/1800.61 v -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.11/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.11/1800.62 c Solving Time : 1727.56
1800.11/1800.62 c Original Problem :
1800.11/1800.62 c Problem name : HOME/instance-2663858-1276666953.opb
1800.11/1800.62 c Variables : 1576 (1576 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.11/1800.62 c Constraints : 1627 initial, 1627 maximal
1800.11/1800.62 c Presolved Problem :
1800.11/1800.62 c Problem name : t_HOME/instance-2663858-1276666953.opb
1800.11/1800.62 c Variables : 1576 (1576 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.11/1800.62 c Constraints : 1627 initial, 17777 maximal
1800.11/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.11/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.62 c probing : 0.03 0 0 0 0 0 0 0 0
1800.11/1800.62 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.62 c and : 0.17 0 0 0 0 0 0 0 0
1800.11/1800.62 c linear : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.62 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.62 c root node : - 0 - - 0 - - - -
1800.11/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.11/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.11/1800.62 c setppc : 100 0 7034954 0 1189255 102117 3673866 0 0 0
1800.11/1800.62 c and : 1476 0 6935473 0 1189833 5533 25491680 0 0 0
1800.11/1800.62 c linear : 1 0 6929735 0 1189857 157948 4509138 0 0 0
1800.11/1800.62 c logicor : 50+ 0 1838098 0 955837 27016 1086455 0 0 0
1800.11/1800.62 c countsols : 0 0 0 0 1189861 0 0 0 0 0
1800.11/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.11/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.11/1800.62 c setppc : 60.84 0.00 17.18 0.00 43.66
1800.11/1800.62 c and : 101.64 0.00 99.62 0.00 2.02
1800.11/1800.62 c linear : 120.02 0.00 119.22 0.00 0.80
1800.11/1800.62 c logicor : 390.24 0.00 387.32 0.00 2.92
1800.11/1800.62 c countsols : 0.63 0.00 0.00 0.00 0.63
1800.11/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.11/1800.62 c vbounds : 4.05 2 0 0
1800.11/1800.62 c rootredcost : 3.56 0 0 0
1800.11/1800.62 c pseudoobj : 169.57 7515065 477565 803854
1800.11/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.11/1800.62 c propagation : 155.04 770179 650752 3281241 68.8 1106 43.8 -
1800.11/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.11/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.11/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.11/1800.62 c pseudo solution : 0.03 33 33 173 30.1 0 0.0 -
1800.11/1800.62 c applied globally : - - - 1171200 62.3 - - -
1800.11/1800.62 c applied locally : - - - 0 0.0 - - -
1800.11/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.11/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.11/1800.62 c redcost : 0.00 0 0 0 0 0
1800.11/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.11/1800.62 c intobj : 0.00 0 0 0 0 0
1800.11/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.11/1800.62 c gomory : 0.00 0 0 0 0 0
1800.11/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.11/1800.62 c cmir : 0.00 0 0 0 0 0
1800.11/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.11/1800.62 c clique : 0.00 0 0 0 0 0
1800.11/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.11/1800.62 c mcf : 0.00 0 0 0 0 0
1800.11/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.11/1800.62 c Pricers : Time Calls Vars
1800.11/1800.62 c problem variables: 0.00 0 0
1800.11/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.11/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.11/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.11/1800.62 c inference : 58.03 1189857 0 0 0 0 2379714
1800.11/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.11/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.11/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.11/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.11/1800.62 c random : 0.00 0 0 0 0 0 0
1800.11/1800.62 c Primal Heuristics : Time Calls Found
1800.11/1800.62 c LP solutions : 0.00 - 0
1800.11/1800.62 c pseudo solutions : 0.01 - 4
1800.11/1800.62 c oneopt : 1.82 0 0
1800.11/1800.62 c trivial : 0.01 2 3
1800.11/1800.62 c simplerounding : 0.00 0 0
1800.11/1800.62 c zirounding : 0.00 0 0
1800.11/1800.62 c rounding : 0.00 0 0
1800.11/1800.62 c shifting : 0.00 0 0
1800.11/1800.62 c intshifting : 0.00 0 0
1800.11/1800.62 c twoopt : 0.00 0 0
1800.11/1800.62 c fixandinfer : 0.00 0 0
1800.11/1800.62 c feaspump : 0.00 0 0
1800.11/1800.62 c coefdiving : 0.00 0 0
1800.11/1800.62 c pscostdiving : 0.00 0 0
1800.11/1800.62 c fracdiving : 0.00 0 0
1800.11/1800.62 c veclendiving : 0.00 0 0
1800.11/1800.62 c intdiving : 0.00 0 0
1800.11/1800.62 c actconsdiving : 0.00 0 0
1800.11/1800.62 c objpscostdiving : 0.00 0 0
1800.11/1800.62 c rootsoldiving : 0.00 0 0
1800.11/1800.62 c linesearchdiving : 0.00 0 0
1800.11/1800.62 c guideddiving : 0.00 0 0
1800.11/1800.62 c octane : 0.00 0 0
1800.11/1800.62 c rens : 0.00 0 0
1800.11/1800.62 c rins : 0.00 0 0
1800.11/1800.62 c localbranching : 0.00 0 0
1800.11/1800.62 c mutation : 0.00 0 0
1800.11/1800.62 c crossover : 0.00 0 0
1800.11/1800.62 c dins : 0.00 0 0
1800.11/1800.62 c undercover : 0.00 0 0
1800.11/1800.62 c nlp : 0.78 0 0
1800.11/1800.62 c trysol : 1.04 0 0
1800.11/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.11/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.11/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.11/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.11/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.11/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.11/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.11/1800.62 c (at root node) : - 0 0 0.00 -
1800.11/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.11/1800.62 c B&B Tree :
1800.11/1800.62 c number of runs : 1
1800.11/1800.62 c nodes : 1838500
1800.11/1800.62 c nodes (total) : 1838500
1800.11/1800.62 c nodes left : 411113
1800.11/1800.62 c max depth : 93
1800.11/1800.62 c max depth (total): 93
1800.11/1800.62 c backtracks : 208376 (11.3%)
1800.11/1800.62 c delayed cutoffs : 128978
1800.11/1800.62 c repropagations : 2906460 (4415233 domain reductions, 121573 cutoffs)
1800.11/1800.62 c avg switch length: 7.68
1800.11/1800.62 c switching time : 618.46
1800.11/1800.62 c Solution :
1800.11/1800.62 c Solutions found : 7 (5 improvements)
1800.11/1800.62 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.11/1800.62 c Primal Bound : -6.00000000000000e+00 (in run 1, after 348080 nodes, 278.84 seconds, depth 29, found by <relaxation>)
1800.11/1800.62 c Dual Bound : -3.60000000000000e+01
1800.11/1800.62 c Gap : 83.33 %
1800.11/1800.62 c Root Dual Bound : -5.00000000000000e+01
1800.11/1800.62 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663858-1276666953/watcher-2663858-1276666953 -o /tmp/evaluation-result-2663858-1276666953/solver-2663858-1276666953 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663858-1276666953.opb -t 1800 -m 1800
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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 7472
/proc/meminfo: memFree=1755860/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=6584 CPUtime=0
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 974 0 0 0 0 0 0 0 20 0 1 0 42299022 6742016 896 1992294400 4194304 7136930 140733915004000 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7472/statm: 1646 906 254 719 0 925 0
[startup+0.0477869 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 7472
/proc/meminfo: memFree=1755860/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=14596 CPUtime=0.04
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 3294 0 0 0 3 1 0 0 20 0 1 0 42299022 14946304 2862 1992294400 4194304 7136930 140733915004000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 3649 2867 333 719 0 2928 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 14596
[startup+0.100791 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 7472
/proc/meminfo: memFree=1755860/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=15020 CPUtime=0.09
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 3651 0 0 0 6 3 0 0 20 0 1 0 42299022 15380480 2962 1992294400 4194304 7136930 140733915004000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 3755 2962 333 719 0 3034 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15020
[startup+0.300813 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 7472
/proc/meminfo: memFree=1755860/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=16332 CPUtime=0.29
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 5303 0 0 0 16 13 0 0 20 0 1 0 42299022 16723968 3329 1992294400 4194304 7136930 140733915004000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 4083 3329 361 719 0 3362 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16332
[startup+0.700858 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 7472
/proc/meminfo: memFree=1755860/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=19636 CPUtime=0.69
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 6409 0 0 0 48 21 0 0 21 0 1 0 42299022 20107264 4178 1992294400 4194304 7136930 140733915004000 18446744073709551615 5892230 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 4909 4178 393 719 0 4188 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19636
[startup+1.50095 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 7473
/proc/meminfo: memFree=1738864/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=24156 CPUtime=1.49
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 7508 0 0 0 124 25 0 0 23 0 1 0 42299022 24735744 5277 1992294400 4194304 7136930 140733915004000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 6039 5277 393 719 0 5318 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24156
[startup+3.10113 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 7473
/proc/meminfo: memFree=1733656/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=34160 CPUtime=3.09
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 9851 0 0 0 277 32 0 0 25 0 1 0 42299022 34979840 7620 1992294400 4194304 7136930 140733915004000 18446744073709551615 4645588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 8540 7620 393 719 0 7819 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34160
[startup+6.30048 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 7473
/proc/meminfo: memFree=1711212/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=57160 CPUtime=6.29
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 14940 0 0 0 580 49 0 0 25 0 1 0 42299022 58531840 12709 1992294400 4194304 7136930 140733915004000 18446744073709551615 4660874 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 14290 12709 393 719 0 13569 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 57160
[startup+12.7012 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 7473
/proc/meminfo: memFree=1676624/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=97792 CPUtime=12.69
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 23470 0 0 0 1190 79 0 0 25 0 1 0 42299022 100139008 21239 1992294400 4194304 7136930 140733915004000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 24448 21239 393 719 0 23727 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 97792
[startup+25.5006 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 7473
/proc/meminfo: memFree=1614748/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=165032 CPUtime=25.48
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 38078 0 0 0 2404 144 0 0 25 0 1 0 42299022 168992768 35847 1992294400 4194304 7136930 140733915004000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 41258 35847 393 719 0 40537 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 165032
[startup+51.1005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7473
/proc/meminfo: memFree=1500544/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=296372 CPUtime=51.08
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 66603 0 0 0 4835 273 0 0 25 0 1 0 42299022 303484928 64372 1992294400 4194304 7136930 140733915004000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 74093 64372 393 719 0 73372 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 296372
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7475
/proc/meminfo: memFree=1313552/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=511888 CPUtime=102.27
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 112915 0 0 0 9718 509 0 0 25 0 1 0 42299022 524173312 110684 1992294400 4194304 7136930 140733915004000 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 127972 110684 393 719 0 127251 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 511888
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7477
/proc/meminfo: memFree=1142432/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=706856 CPUtime=162.25
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 155717 0 0 0 15452 773 0 0 25 0 1 0 42299022 723820544 153486 1992294400 4194304 7136930 140733915004000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 176714 153486 393 719 0 175993 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 706856
[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7479
/proc/meminfo: memFree=978876/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=889000 CPUtime=222.23
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 196525 0 0 0 21200 1023 0 0 25 0 1 0 42299022 910336000 194294 1992294400 4194304 7136930 140733915004000 18446744073709551615 4209993 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 222250 194294 393 719 0 221529 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 889000
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7479
/proc/meminfo: memFree=839748/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=1059220 CPUtime=282.22
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 231257 0 0 0 26953 1269 0 0 25 0 1 0 42299022 1084641280 229026 1992294400 4194304 7136930 140733915004000 18446744073709551615 4661506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 264805 229026 393 719 0 264084 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1059220
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7481
/proc/meminfo: memFree=718352/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=1182132 CPUtime=342.19
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 261469 0 0 0 32730 1489 0 0 25 0 1 0 42299022 1210503168 259238 1992294400 4194304 7136930 140733915004000 18446744073709551615 4661024 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 295533 259238 393 719 0 294812 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1182132
[startup+402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7483
/proc/meminfo: memFree=608488/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=1304048 CPUtime=402.18
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 289339 0 0 0 38523 1695 0 0 25 0 1 0 42299022 1335345152 287108 1992294400 4194304 7136930 140733915004000 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 326012 287108 393 719 0 325291 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1304048
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7485
/proc/meminfo: memFree=499988/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=1412524 CPUtime=462.17
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 315784 0 0 0 44297 1920 0 0 25 0 1 0 42299022 1446424576 313553 1992294400 4194304 7136930 140733915004000 18446744073709551615 4679169 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 353131 313553 393 719 0 352410 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1412524
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7487
/proc/meminfo: memFree=401780/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=1522640 CPUtime=522.15
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 340268 0 0 0 50067 2148 0 0 25 0 1 0 42299022 1559183360 338037 1992294400 4194304 7136930 140733915004000 18446744073709551615 4678299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 380660 338037 393 719 0 379939 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1522640
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7487
/proc/meminfo: memFree=320560/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=1602592 CPUtime=582.14
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 360380 0 0 0 55843 2371 0 0 25 0 1 0 42299022 1641054208 358149 1992294400 4194304 7136930 140733915004000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 400648 358149 393 719 0 399927 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1602592
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7489
/proc/meminfo: memFree=264140/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=1659188 CPUtime=642.13
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 376138 0 0 0 61595 2618 0 0 25 0 1 0 42299022 1699008512 372203 1992294400 4194304 7136930 140733915004000 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 414797 372203 393 719 0 414076 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1659188
[startup+702.301 s]
################
# More data... #
################
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 378591 0 0 0 101782 4419 0 0 25 0 1 0 42299022 1707282432 374656 1992294400 4194304 7136930 140733915004000 18446744073709551615 4434043 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 416817 374656 394 719 0 416096 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1667268
[startup+1122.3 s]
/proc/loadavg: 1.08 1.07 1.01 2/107 7512
/proc/meminfo: memFree=251492/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=1668104 CPUtime=1121.98
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 378852 0 0 0 107545 4653 0 0 25 0 1 0 42299022 1708138496 374917 1992294400 4194304 7136930 140733915004000 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 417026 374917 394 719 0 416305 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1668104
[startup+1182.3 s]
/proc/loadavg: 1.08 1.06 1.01 2/107 7512
/proc/meminfo: memFree=251492/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=1668288 CPUtime=1181.96
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 378970 0 0 0 113285 4911 0 0 25 0 1 0 42299022 1708326912 375035 1992294400 4194304 7136930 140733915004000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 417072 375035 394 719 0 416351 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 1668288
[startup+1242.3 s]
/proc/loadavg: 1.07 1.06 1.01 2/107 7514
/proc/meminfo: memFree=250624/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=1669308 CPUtime=1241.94
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 379162 0 0 0 119022 5172 0 0 25 0 1 0 42299022 1709371392 375227 1992294400 4194304 7136930 140733915004000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 417327 375227 394 719 0 416606 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1669308
[startup+1302.3 s]
/proc/loadavg: 1.06 1.06 1.01 2/107 7516
/proc/meminfo: memFree=250376/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=1669452 CPUtime=1301.94
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 379220 0 0 0 124808 5386 0 0 25 0 1 0 42299022 1709518848 375285 1992294400 4194304 7136930 140733915004000 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 417363 375285 394 719 0 416642 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1669452
[startup+1362.3 s]
/proc/loadavg: 1.06 1.06 1.01 2/107 7518
/proc/meminfo: memFree=249632/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=1670284 CPUtime=1361.91
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 379400 0 0 0 130590 5601 0 0 25 0 1 0 42299022 1710370816 375465 1992294400 4194304 7136930 140733915004000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 417571 375465 394 719 0 416850 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1670284
[startup+1422.31 s]
/proc/loadavg: 1.06 1.06 1.01 2/107 7520
/proc/meminfo: memFree=249012/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=1671308 CPUtime=1421.91
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 379528 0 0 0 136347 5844 0 0 25 0 1 0 42299022 1711419392 375593 1992294400 4194304 7136930 140733915004000 18446744073709551615 4221654 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 417827 375593 394 719 0 417106 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1671308
[startup+1482.3 s]
/proc/loadavg: 1.13 1.08 1.01 2/107 7520
/proc/meminfo: memFree=247028/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=1674364 CPUtime=1481.88
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 380026 0 0 0 142100 6088 0 0 25 0 1 0 42299022 1714548736 376091 1992294400 4194304 7136930 140733915004000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 418591 376091 394 719 0 417870 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1674364
[startup+1542.3 s]
/proc/loadavg: 1.12 1.08 1.01 2/107 7522
/proc/meminfo: memFree=247028/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=1674364 CPUtime=1541.87
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 380080 0 0 0 147892 6295 0 0 25 0 1 0 42299022 1714548736 376145 1992294400 4194304 7136930 140733915004000 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 418591 376145 394 719 0 417870 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1674364
[startup+1602.3 s]
/proc/loadavg: 1.11 1.07 1.01 2/107 7524
/proc/meminfo: memFree=246656/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=1674544 CPUtime=1601.85
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 380145 0 0 0 153686 6499 0 0 25 0 1 0 42299022 1714733056 376210 1992294400 4194304 7136930 140733915004000 18446744073709551615 5922119 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 418636 376210 394 719 0 417915 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1674544
[startup+1662.3 s]
/proc/loadavg: 1.10 1.07 1.01 2/107 7526
/proc/meminfo: memFree=246284/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=1674740 CPUtime=1661.83
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 380224 0 0 0 159471 6712 0 0 25 0 1 0 42299022 1714933760 376289 1992294400 4194304 7136930 140733915004000 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 418685 376289 394 719 0 417964 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1674740
[startup+1722.3 s]
/proc/loadavg: 1.09 1.07 1.01 2/107 7528
/proc/meminfo: memFree=246036/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=1674740 CPUtime=1721.82
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 380278 0 0 0 165230 6952 0 0 25 0 1 0 42299022 1714933760 376343 1992294400 4194304 7136930 140733915004000 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 418685 376343 394 719 0 417964 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1674740
[startup+1782.3 s]
/proc/loadavg: 1.16 1.09 1.01 2/107 7528
/proc/meminfo: memFree=245788/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=1674740 CPUtime=1781.8
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 380332 0 0 0 170986 7194 0 0 25 0 1 0 42299022 1714933760 376397 1992294400 4194304 7136930 140733915004000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 418685 376397 394 719 0 417964 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1674740
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.12 1.08 1.01 2/107 7530
/proc/meminfo: memFree=245664/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=1674740 CPUtime=1800.11
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 380340 0 0 0 172757 7254 0 0 25 0 1 0 42299022 1714933760 376405 1992294400 4194304 7136930 140733915004000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7472/statm: 418685 376405 394 719 0 417964 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 1674740
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -7472
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.12 1.08 1.01 2/107 7530
/proc/meminfo: memFree=245664/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=1674740 CPUtime=1800.9
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 380345 0 0 0 172836 7254 0 0 25 0 1 0 42299022 1714933760 376410 1992294400 4194304 7136930 140733915004000 18446744073709551615 6165674 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7472/statm: 418685 376410 399 719 0 417964 0
Current children cumulated CPU time (s) 1800.9
Current children cumulated vsize (KiB) 1674740
[startup+1802.2 s]
/proc/loadavg: 1.12 1.08 1.01 2/108 7531
/proc/meminfo: memFree=245532/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=1674740 CPUtime=1801.7
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 380345 0 0 0 172916 7254 0 0 25 0 1 0 42299022 1714933760 376410 1992294400 4194304 7136930 140733915004000 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7472/statm: 418685 376410 399 719 0 417964 0
Current children cumulated CPU time (s) 1801.7
Current children cumulated vsize (KiB) 1674740
[startup+1802.6 s]
/proc/loadavg: 1.12 1.08 1.01 2/108 7531
/proc/meminfo: memFree=245532/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=1674740 CPUtime=1802.1
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4202496 380345 0 0 0 172956 7254 0 0 25 0 1 0 42299022 1714933760 376410 1992294400 4194304 7136930 140733915004000 18446744073709551615 6165652 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7472/statm: 418685 376410 399 719 0 417964 0
Current children cumulated CPU time (s) 1802.1
Current children cumulated vsize (KiB) 1674740
[startup+1802.7 s]
/proc/loadavg: 1.12 1.08 1.01 2/108 7531
/proc/meminfo: memFree=245532/2059040 swapFree=4140468/4192956
[pid=7472] ppid=7470 vsize=0 CPUtime=1802.19
/proc/7472/stat : 7472 (pbscip.linux.x8) R 7470 7472 7269 0 -1 4203524 380345 0 0 0 172957 7262 0 0 25 0 1 0 42299022 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/7472/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.19
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.78
CPU time (s): 1802.28
CPU user time (s): 1729.58
CPU system time (s): 72.7009
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 1674740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1729.58
system time used= 72.7009
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 380345
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= 10216
runsolver used 2.94355 second user time and 8.5627 second system time
The end