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-2663877-1276670184.opb>
0.00/0.02 c original problem has 1598 variables (1598 bin, 0 int, 0 impl, 0 cont) and 1649 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.02/0.04 o 0
0.02/0.04 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.02/0.04 c presolving:
0.19/0.22 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 150 upgd conss, 12084 impls, 100 clqs
0.39/0.42 c (0.2s) probing: 101/1598 (6.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.42 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.39/0.42 c presolving (2 rounds):
0.39/0.42 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.42 c 12084 implications, 100 cliques
0.39/0.42 c presolved problem has 1598 variables (1598 bin, 0 int, 0 impl, 0 cont) and 1649 constraints
0.39/0.42 c 100 constraints of type <setppc>
0.39/0.42 c 1498 constraints of type <and>
0.39/0.42 c 1 constraints of type <linear>
0.39/0.42 c 50 constraints of type <logicor>
0.39/0.42 c transformed objective value is always integral (scale: 1)
0.39/0.42 c Presolving Time: 0.20
0.39/0.42 c - non default parameters ----------------------------------------------------------------------
0.39/0.42 c # SCIP version 1.2.1.2
0.39/0.42 c
0.39/0.42 c # frequency for displaying node information lines
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.42 c display/freq = 10000
0.39/0.42 c
0.39/0.42 c # maximal time in seconds to run
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42 c limits/time = 1799.98
0.39/0.42 c
0.39/0.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42 c limits/memory = 1620
0.39/0.42 c
0.39/0.42 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42 c lp/solvefreq = -1
0.39/0.42 c
0.39/0.42 c # should presolving try to simplify inequalities
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42 c constraints/linear/simplifyinequalities = TRUE
0.39/0.42 c
0.39/0.42 c # should presolving try to simplify knapsacks
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42 c heuristics/undercover/freq = 0
0.39/0.42 c
0.39/0.42 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42 c separating/rapidlearning/freq = 0
0.39/0.42 c
0.39/0.42 c -----------------------------------------------------------------------------------------------
0.39/0.42 c start solving
0.39/0.43 c
0.39/0.43 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.43 c t 0.2s| 1 | 2 | 0 | - |4757k| 0 | - |1598 |1649 | 0 | 0 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
1.29/1.39 o -3
1.29/1.39 c * 1.1s| 932 | 544 | 0 | 0.0 |8752k| 51 | - |1598 |1779 | 0 | 0 | 0 | 130 | 0 |-4.800000e+01 |-3.000000e+00 | 93.75%
2.59/2.66 o -4
2.59/2.66 c * 2.4s| 2322 | 1560 | 0 | 0.0 | 14M| 61 | - |1598 |1940 | 0 | 0 | 0 | 307 | 0 |-4.800000e+01 |-4.000000e+00 | 91.67%
8.99/9.07 c 8.5s| 10000 | 7491 | 0 | 0.0 | 45M| 61 | - |1598 |2262 | 0 | 0 | 0 |1144 | 0 |-4.700000e+01 |-4.000000e+00 | 91.49%
16.49/16.54 c 15.6s| 20000 | 14444 | 0 | 0.0 | 79M| 63 | - |1598 |2679 | 0 | 0 | 0 |2673 | 0 |-4.600000e+01 |-4.000000e+00 | 91.30%
23.89/23.98 c 22.6s| 30000 | 22984 | 0 | 0.0 | 115M| 63 | - |1598 |2765 | 0 | 0 | 0 |3404 | 0 |-4.600000e+01 |-4.000000e+00 | 91.30%
31.18/31.27 c 29.5s| 40000 | 30601 | 0 | 0.0 | 148M| 63 | - |1598 |3029 | 0 | 0 | 0 |4612 | 0 |-4.600000e+01 |-4.000000e+00 | 91.30%
31.58/31.62 o -5
31.58/31.62 c *29.9s| 40513 | 30968 | 0 | 0.0 | 150M| 63 | - |1598 |3016 | 0 | 0 | 0 |4676 | 0 |-4.600000e+01 |-5.000000e+00 | 89.13%
38.08/38.19 c 36.1s| 50000 | 36474 | 0 | 0.0 | 171M| 64 | - |1598 |3173 | 0 | 0 | 0 |6746 | 0 |-4.600000e+01 |-5.000000e+00 | 89.13%
45.77/45.83 c 43.4s| 60000 | 44622 | 0 | 0.0 | 207M| 64 | - |1598 |2706 | 0 | 0 | 0 |7760 | 0 |-4.500000e+01 |-5.000000e+00 | 88.89%
52.87/52.95 c 50.1s| 70000 | 52438 | 0 | 0.0 | 235M| 64 | - |1598 |2890 | 0 | 0 | 0 |8874 | 0 |-4.500000e+01 |-5.000000e+00 | 88.89%
59.88/59.94 c 56.8s| 80000 | 59981 | 0 | 0.0 | 262M| 64 | - |1598 |3039 | 0 | 0 | 0 | 10k| 0 |-4.500000e+01 |-5.000000e+00 | 88.89%
66.87/66.92 c 63.4s| 90000 | 66113 | 0 | 0.0 | 285M| 64 | - |1598 |3416 | 0 | 0 | 0 | 12k| 0 |-4.500000e+01 |-5.000000e+00 | 88.89%
74.46/74.54 c 70.7s|100000 | 73093 | 0 | 0.0 | 313M| 64 | - |1598 |2846 | 0 | 0 | 0 | 13k| 0 |-4.400000e+01 |-5.000000e+00 | 88.64%
82.17/82.28 c 78.1s|110000 | 80543 | 0 | 0.0 | 343M| 64 | - |1598 |3129 | 0 | 0 | 0 | 15k| 0 |-4.400000e+01 |-5.000000e+00 | 88.64%
89.27/89.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
89.27/89.31 c 84.8s|120000 | 86844 | 0 | 0.0 | 364M| 65 | - |1598 |3878 | 0 | 0 | 0 | 17k| 0 |-4.400000e+01 |-5.000000e+00 | 88.64%
96.96/97.07 c 92.2s|130000 | 92575 | 0 | 0.0 | 387M| 65 | - |1598 |3074 | 0 | 0 | 0 | 19k| 0 |-4.300000e+01 |-5.000000e+00 | 88.37%
105.46/105.51 c 100s|140000 | 99775 | 0 | 0.0 | 418M| 66 | - |1598 |3212 | 0 | 0 | 0 | 20k| 0 |-4.300000e+01 |-5.000000e+00 | 88.37%
112.85/112.96 c 107s|150000 |106659 | 0 | 0.0 | 442M| 66 | - |1598 |3627 | 0 | 0 | 0 | 22k| 0 |-4.300000e+01 |-5.000000e+00 | 88.37%
120.45/120.52 c 115s|160000 |111482 | 0 | 0.0 | 460M| 66 | - |1598 |3908 | 0 | 0 | 0 | 25k| 0 |-4.300000e+01 |-5.000000e+00 | 88.37%
128.25/128.38 c 122s|170000 |118182 | 0 | 0.0 | 482M| 66 | - |1598 |2902 | 0 | 0 | 0 | 27k| 0 |-4.200000e+01 |-5.000000e+00 | 88.10%
136.76/136.84 c 130s|180000 |125740 | 0 | 0.0 | 508M| 66 | - |1598 |3086 | 0 | 0 | 0 | 28k| 0 |-4.200000e+01 |-5.000000e+00 | 88.10%
144.75/144.85 c 138s|190000 |132714 | 0 | 0.0 | 533M| 67 | - |1598 |3392 | 0 | 0 | 0 | 30k| 0 |-4.200000e+01 |-5.000000e+00 | 88.10%
152.55/152.67 c 145s|200000 |138503 | 0 | 0.0 | 553M| 67 | - |1598 |4143 | 0 | 0 | 0 | 33k| 0 |-4.200000e+01 |-5.000000e+00 | 88.10%
160.84/160.98 c 153s|210000 |143084 | 0 | 0.0 | 568M| 67 | - |1598 |4124 | 0 | 0 | 0 | 36k| 0 |-4.100000e+01 |-5.000000e+00 | 87.80%
168.84/168.95 c 161s|220000 |150521 | 0 | 0.0 | 588M| 67 | - |1598 |2972 | 0 | 0 | 0 | 37k| 0 |-4.100000e+01 |-5.000000e+00 | 87.80%
177.64/177.70 c 169s|230000 |158389 | 0 | 0.0 | 611M| 67 | - |1598 |3141 | 0 | 0 | 0 | 38k| 0 |-4.100000e+01 |-5.000000e+00 | 87.80%
186.34/186.42 c 178s|240000 |165626 | 0 | 0.0 | 632M| 67 | - |1598 |3213 | 0 | 0 | 0 | 40k| 0 |-4.100000e+01 |-5.000000e+00 | 87.80%
194.43/194.58 c 186s|250000 |172914 | 0 | 0.0 | 652M| 67 | - |1598 |3404 | 0 | 0 | 0 | 41k| 0 |-4.100000e+01 |-5.000000e+00 | 87.80%
202.63/202.73 c 193s|260000 |179298 | 0 | 0.0 | 671M| 67 | - |1598 |3830 | 0 | 0 | 0 | 43k| 0 |-4.100000e+01 |-5.000000e+00 | 87.80%
211.42/211.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
211.42/211.55 c 202s|270000 |183572 | 0 | 0.0 | 684M| 67 | - |1598 |4002 | 0 | 0 | 0 | 46k| 0 |-4.100000e+01 |-5.000000e+00 | 87.80%
219.52/219.65 c 210s|280000 |189054 | 0 | 0.0 | 700M| 67 | - |1598 |3090 | 0 | 0 | 0 | 49k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
230.03/230.19 c 220s|290000 |195071 | 0 | 0.0 | 729M| 67 | - |1598 |3361 | 0 | 0 | 0 | 51k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
239.63/239.79 c 229s|300000 |201530 | 0 | 0.0 | 749M| 67 | - |1598 |3582 | 0 | 0 | 0 | 54k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
248.82/248.92 c 238s|310000 |208746 | 0 | 0.0 | 768M| 67 | - |1598 |3497 | 0 | 0 | 0 | 55k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
258.02/258.15 c 247s|320000 |215379 | 0 | 0.0 | 786M| 67 | - |1598 |3375 | 0 | 0 | 0 | 57k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
266.12/266.22 c 254s|330000 |222926 | 0 | 0.0 | 803M| 67 | - |1598 |3509 | 0 | 0 | 0 | 59k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
274.61/274.77 c 263s|340000 |229660 | 0 | 0.0 | 820M| 67 | - |1598 |3966 | 0 | 0 | 0 | 61k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
283.61/283.78 c 271s|350000 |234324 | 0 | 0.0 | 836M| 68 | - |1598 |5086 | 0 | 0 | 0 | 64k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
292.51/292.68 c 280s|360000 |239146 | 0 | 0.0 | 848M| 68 | - |1598 |4198 | 0 | 0 | 0 | 67k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
300.90/301.04 c 288s|370000 |245323 | 0 | 0.0 | 861M| 69 | - |1598 |2987 | 0 | 0 | 0 | 69k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
310.20/310.37 c 297s|380000 |252652 | 0 | 0.0 | 882M| 69 | - |1598 |3211 | 0 | 0 | 0 | 71k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
318.59/318.78 c 305s|390000 |261093 | 0 | 0.0 | 901M| 69 | - |1598 |3238 | 0 | 0 | 0 | 72k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
328.70/328.88 c 315s|400000 |267226 | 0 | 0.0 | 922M| 69 | - |1598 |3682 | 0 | 0 | 0 | 74k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
337.39/337.58 c 323s|410000 |275132 | 0 | 0.0 | 938M| 69 | - |1598 |3527 | 0 | 0 | 0 | 75k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
345.99/346.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
345.99/346.16 c 331s|420000 |282922 | 0 | 0.0 | 955M| 69 | - |1598 |3676 | 0 | 0 | 0 | 77k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
354.59/354.75 c 340s|430000 |290531 | 0 | 0.0 | 972M| 69 | - |1598 |3753 | 0 | 0 | 0 | 78k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
364.08/364.23 c 349s|440000 |296471 | 0 | 0.0 | 988M| 69 | - |1598 |4355 | 0 | 0 | 0 | 81k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
373.48/373.63 c 358s|450000 |301934 | 0 | 0.0 |1003M| 69 | - |1598 |4920 | 0 | 0 | 0 | 84k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
383.28/383.45 c 367s|460000 |305525 | 0 | 0.0 |1014M| 69 | - |1598 |4769 | 0 | 0 | 0 | 88k| 0 |-3.800000e+01 |-5.000000e+00 | 86.84%
391.78/391.94 c 376s|470000 |310851 | 0 | 0.0 |1026M| 70 | - |1598 |4387 | 0 | 0 | 0 | 91k| 0 |-3.800000e+01 |-5.000000e+00 | 86.84%
399.78/399.94 c 383s|480000 |318714 | 0 | 0.0 |1041M| 70 | - |1598 |3022 | 0 | 0 | 0 | 92k| 0 |-3.800000e+01 |-5.000000e+00 | 86.84%
409.17/409.34 c 392s|490000 |326008 | 0 | 0.0 |1063M| 70 | - |1598 |3340 | 0 | 0 | 0 | 94k| 0 |-3.800000e+01 |-5.000000e+00 | 86.84%
418.77/418.99 c 402s|500000 |332380 | 0 | 0.0 |1083M| 70 | - |1598 |3936 | 0 | 0 | 0 | 97k| 0 |-3.800000e+01 |-5.000000e+00 | 86.84%
429.06/429.26 c 412s|510000 |337879 | 0 | 0.0 |1102M| 70 | - |1598 |3959 | 0 | 0 | 0 | 100k| 0 |-3.800000e+01 |-5.000000e+00 | 86.84%
438.17/438.37 c 420s|520000 |344803 | 0 | 0.0 |1118M| 70 | - |1598 |3961 | 0 | 0 | 0 | 102k| 0 |-3.800000e+01 |-5.000000e+00 | 86.84%
447.26/447.47 c 429s|530000 |351490 | 0 | 0.0 |1134M| 70 | - |1598 |4126 | 0 | 0 | 0 | 104k| 0 |-3.800000e+01 |-5.000000e+00 | 86.84%
456.16/456.30 c 438s|540000 |358896 | 0 | 0.0 |1149M| 70 | - |1598 |3963 | 0 | 0 | 0 | 106k| 0 |-3.800000e+01 |-5.000000e+00 | 86.84%
465.16/465.37 c 446s|550000 |365383 | 0 | 0.0 |1164M| 70 | - |1598 |4372 | 0 | 0 | 0 | 108k| 0 |-3.800000e+01 |-5.000000e+00 | 86.84%
474.55/474.75 c 455s|560000 |371218 | 0 | 0.0 |1178M| 70 | - |1598 |4491 | 0 | 0 | 0 | 111k| 0 |-3.800000e+01 |-5.000000e+00 | 86.84%
483.76/483.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
483.76/483.96 c 464s|570000 |376864 | 0 | 0.0 |1191M| 70 | - |1598 |5117 | 0 | 0 | 0 | 114k| 0 |-3.800000e+01 |-5.000000e+00 | 86.84%
493.84/494.01 c 474s|580000 |380453 | 0 | 0.0 |1202M| 70 | - |1598 |6068 | 0 | 0 | 0 | 119k| 0 |-3.800000e+01 |-5.000000e+00 | 86.84%
502.74/502.98 c 482s|590000 |387042 | 0 | 0.0 |1214M| 70 | - |1598 |4179 | 0 | 0 | 0 | 121k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
510.84/511.07 c 490s|600000 |391363 | 0 | 0.0 |1223M| 70 | - |1598 |3652 | 0 | 0 | 0 | 124k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
519.83/520.06 c 499s|610000 |398967 | 0 | 0.0 |1241M| 70 | - |1598 |3775 | 0 | 0 | 0 | 126k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
529.53/529.75 c 508s|620000 |405898 | 0 | 0.0 |1260M| 70 | - |1598 |3846 | 0 | 0 | 0 | 128k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
539.84/540.04 c 518s|630000 |411839 | 0 | 0.0 |1278M| 70 | - |1598 |3945 | 0 | 0 | 0 | 131k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
550.33/550.52 c 528s|640000 |417583 | 0 | 0.0 |1296M| 70 | - |1598 |4331 | 0 | 0 | 0 | 134k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
560.13/560.38 c 538s|650000 |423950 | 0 | 0.0 |1312M| 70 | - |1598 |4398 | 0 | 0 | 0 | 137k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
569.82/570.07 c 547s|660000 |430392 | 0 | 0.0 |1326M| 70 | - |1598 |4288 | 0 | 0 | 0 | 139k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
578.93/579.17 c 556s|670000 |437685 | 0 | 0.0 |1340M| 70 | - |1598 |4334 | 0 | 0 | 0 | 141k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
588.62/588.86 c 565s|680000 |443784 | 0 | 0.0 |1354M| 70 | - |1598 |4773 | 0 | 0 | 0 | 144k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
592.02/592.26 c (node 683379) switching to memory saving mode (mem: 1296.0M/1620.0M)
596.91/597.11 c 573s|690000 |445382 | 0 | 0.0 |1359M| 94 | - |1598 |6470 | 0 | 0 | 0 | 149k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
604.82/605.04 c 580s|700000 |445108 | 0 | 0.0 |1359M| 95 | - |1598 |7598 | 0 | 0 | 0 | 157k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
613.41/613.65 c 589s|710000 |444779 | 0 | 0.0 |1358M| 95 | - |1598 |7647 | 0 | 0 | 0 | 164k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
622.21/622.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
622.21/622.44 c 597s|720000 |444378 | 0 | 0.0 |1357M| 95 | - |1598 |7800 | 0 | 0 | 0 | 172k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
630.40/630.64 c 605s|730000 |444230 | 0 | 0.0 |1357M| 95 | - |1598 |7912 | 0 | 0 | 0 | 181k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
640.50/640.71 c 614s|740000 |443683 | 0 | 0.0 |1355M| 95 | - |1598 |8567 | 0 | 0 | 0 | 190k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
649.20/649.48 c 623s|750000 |443542 | 0 | 0.0 |1355M| 95 | - |1598 |8442 | 0 | 0 | 0 | 199k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
659.39/659.60 c 632s|760000 |442914 | 0 | 0.0 |1353M| 95 | - |1598 |8432 | 0 | 0 | 0 | 208k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
668.00/668.27 c 641s|770000 |442773 | 0 | 0.0 |1354M| 95 | - |1598 |8957 | 0 | 0 | 0 | 218k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
676.20/676.46 c 648s|780000 |442676 | 0 | 0.0 |1354M| 95 | - |1598 |8793 | 0 | 0 | 0 | 227k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
684.59/684.82 c 656s|790000 |442562 | 0 | 0.0 |1354M| 95 | - |1598 |9163 | 0 | 0 | 0 | 237k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
694.29/694.50 c 666s|800000 |442097 | 0 | 0.0 |1353M| 95 | - |1598 |8552 | 0 | 0 | 0 | 247k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
704.48/704.76 c 675s|810000 |441646 | 0 | 0.0 |1352M| 95 | - |1598 |9867 | 0 | 0 | 0 | 254k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
713.88/714.12 c 684s|820000 |441561 | 0 | 0.0 |1353M| 95 | - |1598 | 10k| 0 | 0 | 0 | 263k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
722.98/723.25 c 693s|830000 |441464 | 0 | 0.0 |1353M| 95 | - |1598 | 10k| 0 | 0 | 0 | 272k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
731.67/731.94 c 701s|840000 |441318 | 0 | 0.0 |1352M| 95 | - |1598 | 10k| 0 | 0 | 0 | 282k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
739.98/740.25 c 709s|850000 |441194 | 0 | 0.0 |1353M| 95 | - |1598 | 10k| 0 | 0 | 0 | 292k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
748.28/748.53 c 717s|860000 |441106 | 0 | 0.0 |1352M| 95 | - |1598 |9823 | 0 | 0 | 0 | 302k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
757.37/757.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
757.37/757.66 c 726s|870000 |440808 | 0 | 0.0 |1352M| 95 | - |1598 |9153 | 0 | 0 | 0 | 312k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
768.37/768.66 c 736s|880000 |439972 | 0 | 0.0 |1350M| 95 | - |1598 | 10k| 0 | 0 | 0 | 321k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
777.67/777.97 c 745s|890000 |439894 | 0 | 0.0 |1350M| 95 | - |1598 | 10k| 0 | 0 | 0 | 329k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
787.56/787.86 c 755s|900000 |439846 | 0 | 0.0 |1350M| 95 | - |1598 | 10k| 0 | 0 | 0 | 335k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
797.27/797.56 c 764s|910000 |439758 | 0 | 0.0 |1350M| 95 | - |1598 | 11k| 0 | 0 | 0 | 343k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
805.85/806.13 c 772s|920000 |439683 | 0 | 0.0 |1350M| 95 | - |1598 | 11k| 0 | 0 | 0 | 350k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
814.46/814.76 c 780s|930000 |439591 | 0 | 0.0 |1350M| 95 | - |1598 | 11k| 0 | 0 | 0 | 359k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
823.85/824.16 c 789s|940000 |439456 | 0 | 0.0 |1350M| 95 | - |1598 | 10k| 0 | 0 | 0 | 369k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
832.25/832.53 c 797s|950000 |439366 | 0 | 0.0 |1350M| 95 | - |1598 | 10k| 0 | 0 | 0 | 377k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
840.95/841.26 c 806s|960000 |439248 | 0 | 0.0 |1351M| 95 | - |1598 | 11k| 0 | 0 | 0 | 387k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
849.84/850.16 c 814s|970000 |439164 | 0 | 0.0 |1351M| 95 | - |1598 | 11k| 0 | 0 | 0 | 397k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
858.84/859.19 c 823s|980000 |439050 | 0 | 0.0 |1350M| 95 | - |1598 | 10k| 0 | 0 | 0 | 407k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
868.03/868.34 c 831s|990000 |438756 | 0 | 0.0 |1349M| 95 | - |1598 |9665 | 0 | 0 | 0 | 416k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
879.74/880.01 c 843s| 1000k|437893 | 0 | 0.0 |1346M| 95 | - |1598 |9372 | 0 | 0 | 0 | 425k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
888.73/889.03 c 851s| 1010k|437524 | 0 | 0.0 |1346M| 95 | - |1598 | 10k| 0 | 0 | 0 | 433k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
898.13/898.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
898.13/898.41 c 860s| 1020k|437459 | 0 | 0.0 |1347M| 95 | - |1598 | 11k| 0 | 0 | 0 | 439k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
907.62/907.94 c 870s| 1030k|437417 | 0 | 0.0 |1347M| 95 | - |1598 | 12k| 0 | 0 | 0 | 446k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
916.83/917.17 c 879s| 1040k|437360 | 0 | 0.0 |1347M| 95 | - |1598 | 12k| 0 | 0 | 0 | 453k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
926.42/926.76 c 888s| 1050k|437287 | 0 | 0.0 |1347M| 95 | - |1598 | 12k| 0 | 0 | 0 | 462k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
936.12/936.44 c 897s| 1060k|437221 | 0 | 0.0 |1347M| 95 | - |1598 | 13k| 0 | 0 | 0 | 471k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
945.51/945.87 c 906s| 1070k|437143 | 0 | 0.0 |1348M| 95 | - |1598 | 13k| 0 | 0 | 0 | 480k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
955.62/955.95 c 916s| 1080k|437047 | 0 | 0.0 |1347M| 95 | - |1598 | 12k| 0 | 0 | 0 | 489k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
965.21/965.52 c 925s| 1090k|436947 | 0 | 0.0 |1348M| 95 | - |1598 | 13k| 0 | 0 | 0 | 498k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
974.51/974.88 c 934s| 1100k|436824 | 0 | 0.0 |1347M| 95 | - |1598 | 12k| 0 | 0 | 0 | 507k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
984.00/984.35 c 943s| 1110k|436738 | 0 | 0.0 |1347M| 95 | - |1598 | 11k| 0 | 0 | 0 | 516k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
992.80/993.14 c 951s| 1120k|436636 | 0 | 0.0 |1347M| 95 | - |1598 | 12k| 0 | 0 | 0 | 525k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1001.60/1001.93 c 960s| 1130k|436547 | 0 | 0.0 |1347M| 95 | - |1598 | 11k| 0 | 0 | 0 | 535k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1010.39/1010.73 c 968s| 1140k|436476 | 0 | 0.0 |1347M| 95 | - |1598 | 11k| 0 | 0 | 0 | 545k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1018.79/1019.13 c 976s| 1150k|436372 | 0 | 0.0 |1347M| 95 | - |1598 | 11k| 0 | 0 | 0 | 554k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1028.19/1028.59 c 985s| 1160k|436026 | 0 | 0.0 |1346M| 95 | - |1598 | 10k| 0 | 0 | 0 | 564k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1038.18/1038.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1038.18/1038.53 c 995s| 1170k|435454 | 0 | 0.0 |1344M| 95 | - |1598 | 10k| 0 | 0 | 0 | 573k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1050.58/1050.91 c 1007s| 1180k|434529 | 0 | 0.0 |1342M| 95 | - |1598 | 11k| 0 | 0 | 0 | 583k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1058.28/1058.70 c 1014s| 1190k|434462 | 0 | 0.0 |1343M| 95 | - |1598 | 12k| 0 | 0 | 0 | 590k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1067.88/1068.21 c 1023s| 1200k|434387 | 0 | 0.0 |1343M| 95 | - |1598 | 13k| 0 | 0 | 0 | 599k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1078.47/1078.86 c 1034s| 1210k|434330 | 0 | 0.0 |1344M| 95 | - |1598 | 14k| 0 | 0 | 0 | 606k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1087.27/1087.69 c 1042s| 1220k|434248 | 0 | 0.0 |1343M| 95 | - |1598 | 13k| 0 | 0 | 0 | 614k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1096.57/1096.91 c 1051s| 1230k|434195 | 0 | 0.0 |1344M| 95 | - |1598 | 15k| 0 | 0 | 0 | 622k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1106.57/1106.98 c 1061s| 1240k|434125 | 0 | 0.0 |1343M| 95 | - |1598 | 14k| 0 | 0 | 0 | 631k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1116.27/1116.65 c 1070s| 1250k|434067 | 0 | 0.0 |1343M| 95 | - |1598 | 14k| 0 | 0 | 0 | 640k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1125.46/1125.84 c 1079s| 1260k|433932 | 0 | 0.0 |1342M| 95 | - |1598 | 13k| 0 | 0 | 0 | 649k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1134.36/1134.77 c 1087s| 1270k|433836 | 0 | 0.0 |1343M| 95 | - |1598 | 13k| 0 | 0 | 0 | 658k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1143.75/1144.15 c 1096s| 1280k|433738 | 0 | 0.0 |1342M| 95 | - |1598 | 13k| 0 | 0 | 0 | 666k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1152.65/1153.09 c 1105s| 1290k|433651 | 0 | 0.0 |1343M| 95 | - |1598 | 13k| 0 | 0 | 0 | 676k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1161.05/1161.45 c 1113s| 1300k|433589 | 0 | 0.0 |1343M| 95 | - |1598 | 13k| 0 | 0 | 0 | 684k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1169.85/1170.20 c 1121s| 1310k|433513 | 0 | 0.0 |1343M| 95 | - |1598 | 14k| 0 | 0 | 0 | 692k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1179.44/1179.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1179.44/1179.80 c 1131s| 1320k|433414 | 0 | 0.0 |1342M| 95 | - |1598 | 12k| 0 | 0 | 0 | 702k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1188.64/1189.03 c 1139s| 1330k|433326 | 0 | 0.0 |1342M| 95 | - |1598 | 12k| 0 | 0 | 0 | 711k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1197.64/1198.07 c 1148s| 1340k|433204 | 0 | 0.0 |1342M| 95 | - |1598 | 12k| 0 | 0 | 0 | 721k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1206.94/1207.32 c 1157s| 1350k|433127 | 0 | 0.0 |1343M| 95 | - |1598 | 13k| 0 | 0 | 0 | 730k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1215.74/1216.16 c 1165s| 1360k|433011 | 0 | 0.0 |1343M| 95 | - |1598 | 13k| 0 | 0 | 0 | 740k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1225.63/1226.00 c 1175s| 1370k|432740 | 0 | 0.0 |1342M| 95 | - |1598 | 11k| 0 | 0 | 0 | 750k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1235.53/1235.97 c 1184s| 1380k|432272 | 0 | 0.0 |1340M| 95 | - |1598 | 12k| 0 | 0 | 0 | 759k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1246.42/1246.86 c 1195s| 1390k|431640 | 0 | 0.0 |1338M| 95 | - |1598 | 12k| 0 | 0 | 0 | 768k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1259.22/1259.66 c 1207s| 1400k|430683 | 0 | 0.0 |1336M| 95 | - |1598 | 12k| 0 | 0 | 0 | 779k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1267.82/1268.22 c 1216s| 1410k|430600 | 0 | 0.0 |1337M| 95 | - |1598 | 13k| 0 | 0 | 0 | 786k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1276.92/1277.30 c 1224s| 1420k|430506 | 0 | 0.0 |1337M| 95 | - |1598 | 15k| 0 | 0 | 0 | 795k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1286.12/1286.53 c 1233s| 1430k|430472 | 0 | 0.0 |1338M| 95 | - |1598 | 16k| 0 | 0 | 0 | 801k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1295.32/1295.80 c 1242s| 1440k|430409 | 0 | 0.0 |1337M| 95 | - |1598 | 15k| 0 | 0 | 0 | 808k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1305.11/1305.60 c 1252s| 1450k|430327 | 0 | 0.0 |1337M| 95 | - |1598 | 16k| 0 | 0 | 0 | 817k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1314.51/1314.98 c 1261s| 1460k|430244 | 0 | 0.0 |1338M| 95 | - |1598 | 16k| 0 | 0 | 0 | 826k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1324.40/1324.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1324.40/1324.90 c 1270s| 1470k|430177 | 0 | 0.0 |1338M| 95 | - |1598 | 16k| 0 | 0 | 0 | 835k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1334.40/1334.86 c 1280s| 1480k|430132 | 0 | 0.0 |1339M| 95 | - |1598 | 18k| 0 | 0 | 0 | 843k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1345.29/1345.70 c 1290s| 1490k|430048 | 0 | 0.0 |1338M| 95 | - |1598 | 16k| 0 | 0 | 0 | 852k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1354.80/1355.25 c 1299s| 1500k|429910 | 0 | 0.0 |1337M| 95 | - |1598 | 15k| 0 | 0 | 0 | 860k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1364.39/1364.88 c 1309s| 1510k|429792 | 0 | 0.0 |1337M| 95 | - |1598 | 16k| 0 | 0 | 0 | 870k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1374.69/1375.13 c 1319s| 1520k|429677 | 0 | 0.0 |1336M| 95 | - |1598 | 14k| 0 | 0 | 0 | 879k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1384.78/1385.27 c 1328s| 1530k|429591 | 0 | 0.0 |1336M| 95 | - |1598 | 14k| 0 | 0 | 0 | 889k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1394.18/1394.67 c 1337s| 1540k|429508 | 0 | 0.0 |1337M| 95 | - |1598 | 16k| 0 | 0 | 0 | 898k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1404.58/1405.01 c 1347s| 1550k|429371 | 0 | 0.0 |1336M| 95 | - |1598 | 13k| 0 | 0 | 0 | 908k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1413.27/1413.72 c 1356s| 1560k|429258 | 0 | 0.0 |1337M| 95 | - |1598 | 14k| 0 | 0 | 0 | 918k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1423.07/1423.54 c 1365s| 1570k|429202 | 0 | 0.0 |1337M| 95 | - |1598 | 14k| 0 | 0 | 0 | 928k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1431.97/1432.44 c 1373s| 1580k|429067 | 0 | 0.0 |1336M| 95 | - |1598 | 13k| 0 | 0 | 0 | 937k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1440.96/1441.46 c 1382s| 1590k|428966 | 0 | 0.0 |1336M| 95 | - |1598 | 13k| 0 | 0 | 0 | 947k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1449.97/1450.40 c 1391s| 1600k|428878 | 0 | 0.0 |1336M| 95 | - |1598 | 13k| 0 | 0 | 0 | 956k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1459.07/1459.52 c 1399s| 1610k|428734 | 0 | 0.0 |1336M| 95 | - |1598 | 13k| 0 | 0 | 0 | 966k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1468.26/1468.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1468.26/1468.73 c 1408s| 1620k|428521 | 0 | 0.0 |1336M| 95 | - |1598 | 13k| 0 | 0 | 0 | 976k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1477.96/1478.42 c 1417s| 1630k|428206 | 0 | 0.0 |1335M| 95 | - |1598 | 12k| 0 | 0 | 0 | 985k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1487.86/1488.37 c 1427s| 1640k|427773 | 0 | 0.0 |1333M| 95 | - |1598 | 12k| 0 | 0 | 0 | 994k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1499.04/1499.55 c 1438s| 1650k|427148 | 0 | 0.0 |1331M| 95 | - |1598 | 12k| 0 | 0 | 0 |1004k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1512.84/1513.36 c 1451s| 1660k|426005 | 0 | 0.0 |1329M| 95 | - |1598 | 12k| 0 | 0 | 0 |1014k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1521.04/1521.52 c 1459s| 1670k|425957 | 0 | 0.0 |1329M| 95 | - |1598 | 14k| 0 | 0 | 0 |1022k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1529.64/1530.20 c 1467s| 1680k|425859 | 0 | 0.0 |1329M| 95 | - |1598 | 15k| 0 | 0 | 0 |1030k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1539.74/1540.24 c 1477s| 1690k|425793 | 0 | 0.0 |1330M| 95 | - |1598 | 16k| 0 | 0 | 0 |1039k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1549.83/1550.31 c 1487s| 1700k|425772 | 0 | 0.0 |1331M| 95 | - |1598 | 17k| 0 | 0 | 0 |1046k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1560.52/1561.05 c 1497s| 1710k|425741 | 0 | 0.0 |1331M| 95 | - |1598 | 17k| 0 | 0 | 0 |1052k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1571.43/1571.94 c 1508s| 1720k|425684 | 0 | 0.0 |1331M| 95 | - |1598 | 17k| 0 | 0 | 0 |1061k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1581.62/1582.15 c 1518s| 1730k|425635 | 0 | 0.0 |1331M| 95 | - |1598 | 17k| 0 | 0 | 0 |1070k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1591.52/1592.09 c 1527s| 1740k|425580 | 0 | 0.0 |1330M| 95 | - |1598 | 17k| 0 | 0 | 0 |1077k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1601.71/1602.28 c 1537s| 1750k|425492 | 0 | 0.0 |1330M| 95 | - |1598 | 17k| 0 | 0 | 0 |1086k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1611.81/1612.33 c 1547s| 1760k|425444 | 0 | 0.0 |1330M| 95 | - |1598 | 16k| 0 | 0 | 0 |1095k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1622.11/1622.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1622.11/1622.67 c 1557s| 1770k|425402 | 0 | 0.0 |1331M| 95 | - |1598 | 18k| 0 | 0 | 0 |1103k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1633.51/1634.06 c 1568s| 1780k|425345 | 0 | 0.0 |1331M| 95 | - |1598 | 18k| 0 | 0 | 0 |1113k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1643.91/1644.50 c 1578s| 1790k|425255 | 0 | 0.0 |1331M| 95 | - |1598 | 18k| 0 | 0 | 0 |1122k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1654.70/1655.25 c 1588s| 1800k|425196 | 0 | 0.0 |1332M| 95 | - |1598 | 19k| 0 | 0 | 0 |1132k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1666.49/1667.07 c 1600s| 1810k|425080 | 0 | 0.0 |1330M| 95 | - |1598 | 16k| 0 | 0 | 0 |1141k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1677.00/1677.53 c 1610s| 1820k|424997 | 0 | 0.0 |1330M| 95 | - |1598 | 17k| 0 | 0 | 0 |1151k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1687.89/1688.40 c 1620s| 1830k|424876 | 0 | 0.0 |1329M| 95 | - |1598 | 16k| 0 | 0 | 0 |1160k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1697.49/1698.08 c 1629s| 1840k|424805 | 0 | 0.0 |1329M| 95 | - |1598 | 15k| 0 | 0 | 0 |1168k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1707.79/1708.37 c 1639s| 1850k|424726 | 0 | 0.0 |1330M| 95 | - |1598 | 17k| 0 | 0 | 0 |1178k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1719.28/1719.80 c 1650s| 1860k|424684 | 0 | 0.0 |1331M| 95 | - |1598 | 18k| 0 | 0 | 0 |1188k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1730.17/1730.79 c 1661s| 1870k|424585 | 0 | 0.0 |1330M| 95 | - |1598 | 16k| 0 | 0 | 0 |1198k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1740.57/1741.14 c 1671s| 1880k|424494 | 0 | 0.0 |1329M| 95 | - |1598 | 15k| 0 | 0 | 0 |1208k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1750.67/1751.21 c 1681s| 1890k|424407 | 0 | 0.0 |1330M| 95 | - |1598 | 16k| 0 | 0 | 0 |1216k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1760.96/1761.55 c 1691s| 1900k|424298 | 0 | 0.0 |1329M| 95 | - |1598 | 14k| 0 | 0 | 0 |1227k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1770.38/1770.97 c 1700s| 1910k|424208 | 0 | 0.0 |1330M| 95 | - |1598 | 16k| 0 | 0 | 0 |1236k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1780.37/1780.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1780.37/1780.98 c 1709s| 1920k|424103 | 0 | 0.0 |1329M| 95 | - |1598 | 14k| 0 | 0 | 0 |1246k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1790.76/1791.36 c 1719s| 1930k|424033 | 0 | 0.0 |1330M| 95 | - |1598 | 15k| 0 | 0 | 0 |1256k| 0 |-3.700000e+01 |-5.000000e+00 | 86.49%
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.61 c
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time (sec) : 1728.08
1800.07/1800.61 c Solving Nodes : 1939109
1800.07/1800.61 c Primal Bound : -5.00000000000000e+00 (6 solutions)
1800.07/1800.61 c Dual Bound : -3.70000000000000e+01
1800.07/1800.61 c Gap : 86.49 %
1800.07/1800.61 s SATISFIABLE
1800.07/1800.61 v -x95 x89 -x79 -x96 -x52 x98 -x58 -x55 -x54 -x71 -x75 -x99 -x88 -x85 -x57 -x51 -x97 -x92 -x90 -x82 -x76 -x67 -x65 -x61 -x56 -x70
1800.07/1800.61 v -x59 -x53 -x74 -x81 -x83 x80 x68 -x69 -x62 -x73 -x77 -x64 -x60 -x91 -x63 -x72 -x100 -x93 -x86 -x94 x66 -x78 -x87 -x84 x50 -x49
1800.07/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
1800.07/1800.61 v x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time : 1728.08
1800.07/1800.61 c Original Problem :
1800.07/1800.61 c Problem name : HOME/instance-2663877-1276670184.opb
1800.07/1800.61 c Variables : 1598 (1598 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 1649 initial, 1649 maximal
1800.07/1800.61 c Presolved Problem :
1800.07/1800.61 c Problem name : t_HOME/instance-2663877-1276670184.opb
1800.07/1800.61 c Variables : 1598 (1598 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 1649 initial, 20513 maximal
1800.07/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c probing : 0.03 0 0 0 0 0 0 0 0
1800.07/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c and : 0.15 0 0 0 0 0 0 0 0
1800.07/1800.61 c linear : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c root node : - 0 - - 0 - - - -
1800.07/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.61 c setppc : 100 0 7556064 0 1251382 114142 3715747 0 0 0
1800.07/1800.61 c and : 1498 0 7447734 0 1252761 6399 25457196 0 0 0
1800.07/1800.61 c linear : 1 0 7441306 0 1252822 175397 4311931 0 0 0
1800.07/1800.61 c logicor : 50+ 0 1905508 0 1020271 25777 1161142 0 0 0
1800.07/1800.61 c countsols : 0 0 0 0 1252825 0 0 0 0 0
1800.07/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.61 c setppc : 59.47 0.00 17.01 0.00 42.46
1800.07/1800.61 c and : 99.88 0.00 98.17 0.00 1.71
1800.07/1800.61 c linear : 119.49 0.00 118.24 0.00 1.25
1800.07/1800.61 c logicor : 410.36 0.00 406.97 0.00 3.39
1800.07/1800.61 c countsols : 0.52 0.00 0.00 0.00 0.52
1800.07/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.61 c vbounds : 3.74 2 0 0
1800.07/1800.61 c rootredcost : 3.51 0 0 0
1800.07/1800.61 c pseudoobj : 164.03 8062087 500119 729382
1800.07/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.61 c propagation : 150.64 821834 706603 3553296 69.7 1362 47.8 -
1800.07/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c pseudo solution : 0.01 20 20 104 28.3 0 0.0 -
1800.07/1800.61 c applied globally : - - - 1265430 63.1 - - -
1800.07/1800.61 c applied locally : - - - 0 0.0 - - -
1800.07/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.61 c redcost : 0.00 0 0 0 0 0
1800.07/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.61 c intobj : 0.00 0 0 0 0 0
1800.07/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.61 c gomory : 0.00 0 0 0 0 0
1800.07/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.61 c cmir : 0.00 0 0 0 0 0
1800.07/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.61 c clique : 0.00 0 0 0 0 0
1800.07/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.61 c mcf : 0.00 0 0 0 0 0
1800.07/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.61 c Pricers : Time Calls Vars
1800.07/1800.61 c problem variables: 0.00 0 0
1800.07/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.61 c inference : 56.47 1252822 0 0 0 0 2505644
1800.07/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c random : 0.00 0 0 0 0 0 0
1800.07/1800.61 c Primal Heuristics : Time Calls Found
1800.07/1800.61 c LP solutions : 0.00 - 0
1800.07/1800.61 c pseudo solutions : 0.01 - 3
1800.07/1800.61 c oneopt : 1.72 0 0
1800.07/1800.61 c trivial : 0.00 2 3
1800.07/1800.61 c simplerounding : 0.00 0 0
1800.07/1800.61 c zirounding : 0.00 0 0
1800.07/1800.61 c rounding : 0.00 0 0
1800.07/1800.61 c shifting : 0.00 0 0
1800.07/1800.61 c intshifting : 0.00 0 0
1800.07/1800.61 c twoopt : 0.00 0 0
1800.07/1800.61 c fixandinfer : 0.00 0 0
1800.07/1800.61 c feaspump : 0.00 0 0
1800.07/1800.61 c coefdiving : 0.00 0 0
1800.07/1800.61 c pscostdiving : 0.00 0 0
1800.07/1800.61 c fracdiving : 0.00 0 0
1800.07/1800.61 c veclendiving : 0.00 0 0
1800.07/1800.61 c intdiving : 0.00 0 0
1800.07/1800.61 c actconsdiving : 0.00 0 0
1800.07/1800.61 c objpscostdiving : 0.00 0 0
1800.07/1800.61 c rootsoldiving : 0.00 0 0
1800.07/1800.61 c linesearchdiving : 0.00 0 0
1800.07/1800.61 c guideddiving : 0.00 0 0
1800.07/1800.61 c octane : 0.00 0 0
1800.07/1800.61 c rens : 0.00 0 0
1800.07/1800.61 c rins : 0.00 0 0
1800.07/1800.61 c localbranching : 0.00 0 0
1800.07/1800.61 c mutation : 0.00 0 0
1800.07/1800.61 c crossover : 0.00 0 0
1800.07/1800.61 c dins : 0.00 0 0
1800.07/1800.61 c undercover : 0.00 0 0
1800.07/1800.61 c nlp : 0.86 0 0
1800.07/1800.61 c trysol : 0.87 0 0
1800.07/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.61 c (at root node) : - 0 0 0.00 -
1800.07/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.61 c B&B Tree :
1800.07/1800.61 c number of runs : 1
1800.07/1800.61 c nodes : 1939109
1800.07/1800.61 c nodes (total) : 1939109
1800.07/1800.61 c nodes left : 423890
1800.07/1800.61 c max depth : 95
1800.07/1800.61 c max depth (total): 95
1800.07/1800.61 c backtracks : 220857 (11.4%)
1800.07/1800.61 c delayed cutoffs : 142611
1800.07/1800.61 c repropagations : 3179258 (4639808 domain reductions, 135570 cutoffs)
1800.07/1800.61 c avg switch length: 7.30
1800.07/1800.61 c switching time : 606.80
1800.07/1800.61 c Solution :
1800.07/1800.61 c Solutions found : 6 (4 improvements)
1800.07/1800.61 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.07/1800.61 c Primal Bound : -5.00000000000000e+00 (in run 1, after 40513 nodes, 29.86 seconds, depth 39, found by <relaxation>)
1800.07/1800.61 c Dual Bound : -3.70000000000000e+01
1800.07/1800.61 c Gap : 86.49 %
1800.07/1800.61 c Root Dual Bound : -5.00000000000000e+01
1800.07/1800.61 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-2663877-1276670184/watcher-2663877-1276670184 -o /tmp/evaluation-result-2663877-1276670184/solver-2663877-1276670184 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663877-1276670184.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.00 1.00 3/106 15886
/proc/meminfo: memFree=1765172/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=6584 CPUtime=0
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 1080 0 0 0 0 0 0 0 25 0 1 0 8312172 6742016 1003 1992294400 4194304 7136930 140734172962496 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15886/statm: 1646 1012 254 719 0 925 0
[startup+0.033275 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 15886
/proc/meminfo: memFree=1765172/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=11932 CPUtime=0.02
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 2846 0 0 0 2 0 0 0 25 0 1 0 8312172 12218368 2415 1992294400 4194304 7136930 140734172962496 18446744073709551615 4325603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 2983 2415 283 719 0 2262 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11932
[startup+0.100283 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 15886
/proc/meminfo: memFree=1765172/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=15012 CPUtime=0.09
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 3648 0 0 0 6 3 0 0 25 0 1 0 8312172 15372288 2960 1992294400 4194304 7136930 140734172962496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 3753 2960 333 719 0 3032 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15012
[startup+0.300303 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 15886
/proc/meminfo: memFree=1765172/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=16308 CPUtime=0.29
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 5296 0 0 0 15 14 0 0 25 0 1 0 8312172 16699392 3323 1992294400 4194304 7136930 140734172962496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 4077 3323 361 719 0 3356 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16308
[startup+0.700343 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 15886
/proc/meminfo: memFree=1765172/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=19924 CPUtime=0.69
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 6493 0 0 0 49 20 0 0 25 0 1 0 8312172 20402176 4263 1992294400 4194304 7136930 140734172962496 18446744073709551615 4414523 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 4981 4263 393 719 0 4260 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19924
[startup+1.50043 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15887
/proc/meminfo: memFree=1747556/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=24556 CPUtime=1.49
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 7601 0 0 0 125 24 0 0 25 0 1 0 8312172 25145344 5371 1992294400 4194304 7136930 140734172962496 18446744073709551615 4660829 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 6139 5371 393 719 0 5418 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24556
[startup+3.10059 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15887
/proc/meminfo: memFree=1742100/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=36932 CPUtime=3.09
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 10424 0 0 0 279 30 0 0 25 0 1 0 8312172 37818368 8194 1992294400 4194304 7136930 140734172962496 18446744073709551615 4642986 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 9233 8194 393 719 0 8512 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36932
[startup+6.30092 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15887
/proc/meminfo: memFree=1722756/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=54284 CPUtime=6.29
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 14367 0 0 0 585 44 0 0 25 0 1 0 8312172 55586816 12137 1992294400 4194304 7136930 140734172962496 18446744073709551615 6215719 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 13571 12137 393 719 0 12850 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 54284
[startup+12.7006 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15887
/proc/meminfo: memFree=1683696/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=95192 CPUtime=12.69
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 23202 0 0 0 1195 74 0 0 25 0 1 0 8312172 97476608 20972 1992294400 4194304 7136930 140734172962496 18446744073709551615 4678792 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 23798 20972 393 719 0 23077 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 95192
[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15887
/proc/meminfo: memFree=1619092/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=171152 CPUtime=25.49
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 39503 0 0 0 2410 139 0 0 25 0 1 0 8312172 175259648 37273 1992294400 4194304 7136930 140734172962496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 42788 37273 393 719 0 42067 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 171152
[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15889
/proc/meminfo: memFree=1504640/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=302640 CPUtime=51.07
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 68187 0 0 0 4838 269 0 0 25 0 1 0 8312172 309903360 65957 1992294400 4194304 7136930 140734172962496 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 75660 65957 393 719 0 74939 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 302640
[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15889
/proc/meminfo: memFree=1306240/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=525596 CPUtime=102.27
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 116992 0 0 0 9722 505 0 0 25 0 1 0 8312172 538210304 114762 1992294400 4194304 7136930 140734172962496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 131399 114762 393 719 0 130678 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 525596
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15891
/proc/meminfo: memFree=1128424/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=732524 CPUtime=162.24
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 161321 0 0 0 15459 765 0 0 25 0 1 0 8312172 750104576 159091 1992294400 4194304 7136930 140734172962496 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 183131 159091 393 719 0 182410 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 732524
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15893
/proc/meminfo: memFree=976896/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=895304 CPUtime=222.23
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 199314 0 0 0 21228 995 0 0 25 0 1 0 8312172 916791296 197084 1992294400 4194304 7136930 140734172962496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 223826 197084 393 719 0 223105 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 895304
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15895
/proc/meminfo: memFree=838760/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=1058328 CPUtime=282.21
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 233889 0 0 0 26988 1233 0 0 25 0 1 0 8312172 1083727872 231659 1992294400 4194304 7136930 140734172962496 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 264582 231659 393 719 0 263861 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1058328
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15897
/proc/meminfo: memFree=709924/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=1203284 CPUtime=342.19
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 265620 0 0 0 32772 1447 0 0 25 0 1 0 8312172 1232162816 263390 1992294400 4194304 7136930 140734172962496 18446744073709551615 4660153 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 300821 263390 393 719 0 300100 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1203284
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15897
/proc/meminfo: memFree=603904/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=1305852 CPUtime=402.17
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 292444 0 0 0 38557 1660 0 0 25 0 1 0 8312172 1337192448 290214 1992294400 4194304 7136930 140734172962496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 326463 290214 393 719 0 325742 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 1305852
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15899
/proc/meminfo: memFree=488832/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=1423180 CPUtime=462.15
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 320959 0 0 0 44329 1886 0 0 25 0 1 0 8312172 1457336320 318729 1992294400 4194304 7136930 140734172962496 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 355795 318729 393 719 0 355074 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 1423180
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15901
/proc/meminfo: memFree=394592/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=1531964 CPUtime=522.14
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 344636 0 0 0 50114 2100 0 0 25 0 1 0 8312172 1568731136 342406 1992294400 4194304 7136930 140734172962496 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 382991 342406 393 719 0 382270 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1531964
[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15903
/proc/meminfo: memFree=293408/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=1640196 CPUtime=582.12
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 369730 0 0 0 55896 2316 0 0 25 0 1 0 8312172 1679560704 367500 1992294400 4194304 7136930 140734172962496 18446744073709551615 5958125 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 410049 367500 393 719 0 409328 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1640196
[startup+642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15905
/proc/meminfo: memFree=273196/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=1662864 CPUtime=642.11
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 376213 0 0 0 61592 2619 0 0 25 0 1 0 8312172 1702772736 372240 1992294400 4194304 7136930 140734172962496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 415716 372240 393 719 0 414995 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 1662864
[startup+702.301 s]
################
# More data... #
################
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 378276 0 0 0 101767 4431 0 0 25 0 1 0 8312172 1709486080 374303 1992294400 4194304 7136930 140734172962496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 417355 374303 394 719 0 416634 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 1669420
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15917
/proc/meminfo: memFree=263772/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=1670072 CPUtime=1121.96
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 378476 0 0 0 107541 4655 0 0 25 0 1 0 8312172 1710153728 374503 1992294400 4194304 7136930 140734172962496 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 417518 374503 394 719 0 416797 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 1670072
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15919
/proc/meminfo: memFree=263152/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=1670072 CPUtime=1181.94
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 378560 0 0 0 113297 4897 0 0 25 0 1 0 8312172 1710153728 374587 1992294400 4194304 7136930 140734172962496 18446744073709551615 4704207 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 417518 374587 394 719 0 416797 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 1670072
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15921
/proc/meminfo: memFree=262408/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=1671096 CPUtime=1241.92
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 378714 0 0 0 119044 5148 0 0 25 0 1 0 8312172 1711202304 374741 1992294400 4194304 7136930 140734172962496 18446744073709551615 4976330 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 417774 374741 394 719 0 417053 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1671096
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15921
/proc/meminfo: memFree=261044/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=1672108 CPUtime=1301.92
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 379031 0 0 0 124838 5354 0 0 25 0 1 0 8312172 1712238592 375058 1992294400 4194304 7136930 140734172962496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 418027 375058 394 719 0 417306 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1672108
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 15923
/proc/meminfo: memFree=260672/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=1672552 CPUtime=1361.89
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 379139 0 0 0 130620 5569 0 0 25 0 1 0 8312172 1712693248 375166 1992294400 4194304 7136930 140734172962496 18446744073709551615 5924066 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 418138 375166 394 719 0 417417 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1672552
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15925
/proc/meminfo: memFree=260052/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=1672552 CPUtime=1421.88
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 379250 0 0 0 136375 5813 0 0 25 0 1 0 8312172 1712693248 375277 1992294400 4194304 7136930 140734172962496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 418138 375277 394 719 0 417417 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1672552
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15936
/proc/meminfo: memFree=258432/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=1673568 CPUtime=1481.84
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 379417 0 0 0 142112 6072 0 0 25 0 1 0 8312172 1713733632 375444 1992294400 4194304 7136930 140734172962496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 418392 375444 394 719 0 417671 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1673568
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15938
/proc/meminfo: memFree=258440/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=1673808 CPUtime=1541.83
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 379491 0 0 0 147903 6280 0 0 25 0 1 0 8312172 1713979392 375518 1992294400 4194304 7136930 140734172962496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 418452 375518 394 719 0 417731 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1673808
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15938
/proc/meminfo: memFree=258316/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=1674004 CPUtime=1601.82
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 379613 0 0 0 153702 6480 0 0 25 0 1 0 8312172 1714180096 375640 1992294400 4194304 7136930 140734172962496 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 418501 375640 394 719 0 417780 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1674004
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15940
/proc/meminfo: memFree=256828/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=1675632 CPUtime=1661.79
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 379977 0 0 0 159493 6686 0 0 25 0 1 0 8312172 1715847168 376004 1992294400 4194304 7136930 140734172962496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 418908 376004 394 719 0 418187 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1675632
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15942
/proc/meminfo: memFree=255588/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=1677316 CPUtime=1721.77
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 380276 0 0 0 165279 6898 0 0 25 0 1 0 8312172 1717571584 376303 1992294400 4194304 7136930 140734172962496 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 419329 376303 394 719 0 418608 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1677316
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15944
/proc/meminfo: memFree=255092/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=1677316 CPUtime=1781.76
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 380333 0 0 0 171051 7125 0 0 25 0 1 0 8312172 1717571584 376360 1992294400 4194304 7136930 140734172962496 18446744073709551615 5004416 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 419329 376360 394 719 0 418608 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1677316
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15944
/proc/meminfo: memFree=255092/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=1677316 CPUtime=1800.07
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 380363 0 0 0 172810 7197 0 0 25 0 1 0 8312172 1717571584 376390 1992294400 4194304 7136930 140734172962496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15886/statm: 419329 376390 394 719 0 418608 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1677316
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -15886
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15944
/proc/meminfo: memFree=255092/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=1677480 CPUtime=1800.86
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 380423 0 0 0 172889 7197 0 0 19 0 1 0 8312172 1717739520 376450 1992294400 4194304 7136930 140734172962496 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15886/statm: 419370 376450 399 719 0 418649 0
Current children cumulated CPU time (s) 1800.86
Current children cumulated vsize (KiB) 1677480
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 15945
/proc/meminfo: memFree=254836/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=1677480 CPUtime=1801.66
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 380423 0 0 0 172969 7197 0 0 20 0 1 0 8312172 1717739520 376450 1992294400 4194304 7136930 140734172962496 18446744073709551615 6165668 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15886/statm: 419370 376450 399 719 0 418649 0
Current children cumulated CPU time (s) 1801.66
Current children cumulated vsize (KiB) 1677480
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 15945
/proc/meminfo: memFree=254836/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=1677480 CPUtime=1802.05
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4202496 380423 0 0 0 173008 7197 0 0 21 0 1 0 8312172 1717739520 376450 1992294400 4194304 7136930 140734172962496 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15886/statm: 419370 376450 399 719 0 418649 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 1677480
[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 15945
/proc/meminfo: memFree=254836/2059040 swapFree=4175448/4192956
[pid=15886] ppid=15884 vsize=0 CPUtime=1802.15
/proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15338 0 -1 4203524 380423 0 0 0 173010 7205 0 0 21 0 1 0 8312172 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15886/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.15
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.76
CPU time (s): 1802.22
CPU user time (s): 1730.11
CPU system time (s): 72.119
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 1677480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1730.11
system time used= 72.119
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 380423
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= 16070
runsolver used 3.03254 second user time and 8.47771 second system time
The end