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-2663886-1276671485.opb>
0.01/0.02 c original problem has 1566 variables (1566 bin, 0 int, 0 impl, 0 cont) and 1617 constraints
0.01/0.02 c problem read
0.01/0.02 c presolving settings loaded
0.01/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.01/0.04 o 0
0.01/0.04 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.01/0.04 c presolving:
0.19/0.23 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 150 upgd conss, 11828 impls, 100 clqs
0.39/0.45 c (0.2s) probing: 101/1566 (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 11828 implications, 100 cliques
0.39/0.45 c presolved problem has 1566 variables (1566 bin, 0 int, 0 impl, 0 cont) and 1617 constraints
0.39/0.45 c 100 constraints of type <setppc>
0.39/0.45 c 1466 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.45 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 | - |4668k| 0 | - |1566 |1617 | 0 | 0 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
1.39/1.46 o -2
1.39/1.46 c * 1.2s| 1117 | 792 | 0 | 0.0 |9185k| 54 | - |1566 |1741 | 0 | 0 | 0 | 124 | 0 |-4.800000e+01 |-2.000000e+00 | 95.83%
1.69/1.79 o -3
1.69/1.79 c * 1.5s| 1574 | 1100 | 0 | 0.0 |9984k| 63 | - |1566 |1798 | 0 | 0 | 0 | 185 | 0 |-4.800000e+01 |-3.000000e+00 | 93.75%
2.89/2.92 o -4
2.89/2.92 c * 2.6s| 2762 | 2044 | 0 | 0.0 | 16M| 63 | - |1566 |1895 | 0 | 0 | 0 | 301 | 0 |-4.800000e+01 |-4.000000e+00 | 91.67%
9.29/9.39 c 8.8s| 10000 | 6537 | 0 | 0.0 | 49M| 63 | - |1566 |2580 | 0 | 0 | 0 |1621 | 0 |-4.700000e+01 |-4.000000e+00 | 91.49%
18.38/18.41 c 17.4s| 20000 | 14053 | 0 | 0.0 | 96M| 63 | - |1566 |2720 | 0 | 0 | 0 |2881 | 0 |-4.700000e+01 |-4.000000e+00 | 91.49%
26.89/26.98 c 25.6s| 30000 | 21377 | 0 | 0.0 | 133M| 63 | - |1566 |2543 | 0 | 0 | 0 |4294 | 0 |-4.600000e+01 |-4.000000e+00 | 91.30%
34.88/34.93 c 33.1s| 40000 | 28583 | 0 | 0.0 | 170M| 63 | - |1566 |2886 | 0 | 0 | 0 |5775 | 0 |-4.600000e+01 |-4.000000e+00 | 91.30%
42.79/42.89 c 40.7s| 50000 | 35277 | 0 | 0.0 | 197M| 63 | - |1566 |2738 | 0 | 0 | 0 |7553 | 0 |-4.500000e+01 |-4.000000e+00 | 91.11%
43.88/43.94 o -5
43.88/43.94 c *41.6s| 51331 | 36293 | 0 | 0.0 | 201M| 63 | - |1566 |2752 | 0 | 0 | 0 |7690 | 0 |-4.500000e+01 |-5.000000e+00 | 88.89%
50.08/50.14 c 47.6s| 60000 | 43282 | 0 | 0.0 | 226M| 63 | - |1566 |2875 | 0 | 0 | 0 |8585 | 0 |-4.500000e+01 |-5.000000e+00 | 88.89%
57.27/57.34 c 54.4s| 70000 | 51069 | 0 | 0.0 | 258M| 63 | - |1566 |2914 | 0 | 0 | 0 |9688 | 0 |-4.500000e+01 |-5.000000e+00 | 88.89%
64.88/64.93 c 61.6s| 80000 | 57373 | 0 | 0.0 | 285M| 63 | - |1566 |3516 | 0 | 0 | 0 | 11k| 0 |-4.500000e+01 |-5.000000e+00 | 88.89%
73.58/73.61 c 69.9s| 90000 | 64269 | 0 | 0.0 | 317M| 63 | - |1566 |2751 | 0 | 0 | 0 | 13k| 0 |-4.400000e+01 |-5.000000e+00 | 88.64%
81.28/81.35 c 77.2s|100000 | 72024 | 0 | 0.0 | 350M| 64 | - |1566 |2958 | 0 | 0 | 0 | 14k| 0 |-4.400000e+01 |-5.000000e+00 | 88.64%
88.67/88.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.67/88.74 c 84.2s|110000 | 78671 | 0 | 0.0 | 379M| 64 | - |1566 |3508 | 0 | 0 | 0 | 16k| 0 |-4.400000e+01 |-5.000000e+00 | 88.64%
97.37/97.48 c 92.6s|120000 | 83907 | 0 | 0.0 | 402M| 65 | - |1566 |3060 | 0 | 0 | 0 | 19k| 0 |-4.300000e+01 |-5.000000e+00 | 88.37%
106.37/106.49 c 101s|130000 | 91265 | 0 | 0.0 | 437M| 65 | - |1566 |3123 | 0 | 0 | 0 | 21k| 0 |-4.300000e+01 |-5.000000e+00 | 88.37%
114.16/114.25 c 109s|140000 | 98451 | 0 | 0.0 | 465M| 66 | - |1566 |3526 | 0 | 0 | 0 | 22k| 0 |-4.300000e+01 |-5.000000e+00 | 88.37%
122.76/122.84 c 117s|150000 |103419 | 0 | 0.0 | 487M| 66 | - |1566 |4095 | 0 | 0 | 0 | 25k| 0 |-4.300000e+01 |-5.000000e+00 | 88.37%
131.56/131.68 c 125s|160000 |109558 | 0 | 0.0 | 507M| 67 | - |1566 |2969 | 0 | 0 | 0 | 27k| 0 |-4.200000e+01 |-5.000000e+00 | 88.10%
140.46/140.51 c 134s|170000 |117200 | 0 | 0.0 | 537M| 67 | - |1566 |2991 | 0 | 0 | 0 | 29k| 0 |-4.200000e+01 |-5.000000e+00 | 88.10%
148.76/148.88 c 142s|180000 |124204 | 0 | 0.0 | 564M| 67 | - |1566 |3399 | 0 | 0 | 0 | 31k| 0 |-4.200000e+01 |-5.000000e+00 | 88.10%
157.55/157.62 c 150s|190000 |128700 | 0 | 0.0 | 584M| 67 | - |1566 |4376 | 0 | 0 | 0 | 34k| 0 |-4.200000e+01 |-5.000000e+00 | 88.10%
166.45/166.54 c 159s|200000 |132848 | 0 | 0.0 | 599M| 67 | - |1566 |4495 | 0 | 0 | 0 | 37k| 0 |-4.100000e+01 |-5.000000e+00 | 87.80%
175.55/175.69 c 167s|210000 |140743 | 0 | 0.0 | 627M| 67 | - |1566 |2884 | 0 | 0 | 0 | 38k| 0 |-4.100000e+01 |-5.000000e+00 | 87.80%
183.73/183.85 c 175s|220000 |148877 | 0 | 0.0 | 652M| 67 | - |1566 |2954 | 0 | 0 | 0 | 39k| 0 |-4.100000e+01 |-5.000000e+00 | 87.80%
191.63/191.77 c 183s|230000 |156552 | 0 | 0.0 | 675M| 67 | - |1566 |3181 | 0 | 0 | 0 | 41k| 0 |-4.100000e+01 |-5.000000e+00 | 87.80%
199.93/200.04 c 191s|240000 |163390 | 0 | 0.0 | 696M| 67 | - |1566 |3736 | 0 | 0 | 0 | 43k| 0 |-4.100000e+01 |-5.000000e+00 | 87.80%
208.93/209.06 c 199s|250000 |168106 | 0 | 0.0 | 714M| 67 | - |1566 |4994 | 0 | 0 | 0 | 46k| 0 |-4.100000e+01 |-5.000000e+00 | 87.80%
217.53/217.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
217.53/217.70 c 208s|260000 |173020 | 0 | 0.0 | 729M| 67 | - |1566 |4767 | 0 | 0 | 0 | 49k| 0 |-4.100000e+01 |-5.000000e+00 | 87.80%
226.33/226.47 c 216s|270000 |180446 | 0 | 0.0 | 752M| 67 | - |1566 |3036 | 0 | 0 | 0 | 51k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
234.62/234.76 c 224s|280000 |188752 | 0 | 0.0 | 778M| 67 | - |1566 |3116 | 0 | 0 | 0 | 52k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
243.52/243.68 c 233s|290000 |196093 | 0 | 0.0 | 802M| 68 | - |1566 |3233 | 0 | 0 | 0 | 53k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
252.31/252.45 c 241s|300000 |203376 | 0 | 0.0 | 824M| 68 | - |1566 |3284 | 0 | 0 | 0 | 55k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
260.62/260.78 c 249s|310000 |210554 | 0 | 0.0 | 844M| 68 | - |1566 |3615 | 0 | 0 | 0 | 57k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
269.02/269.12 c 257s|320000 |216821 | 0 | 0.0 | 863M| 68 | - |1566 |4271 | 0 | 0 | 0 | 60k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
278.61/278.72 c 266s|330000 |220189 | 0 | 0.0 | 877M| 68 | - |1566 |4712 | 0 | 0 | 0 | 63k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
287.01/287.18 c 274s|340000 |225344 | 0 | 0.0 | 892M| 68 | - |1566 |4997 | 0 | 0 | 0 | 67k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
296.70/296.90 c 284s|350000 |230585 | 0 | 0.0 | 909M| 69 | - |1566 |3309 | 0 | 0 | 0 | 69k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
305.71/305.81 c 292s|360000 |238747 | 0 | 0.0 | 933M| 69 | - |1566 |3108 | 0 | 0 | 0 | 70k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
315.90/316.09 c 302s|370000 |245309 | 0 | 0.0 | 960M| 69 | - |1566 |3403 | 0 | 0 | 0 | 73k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
326.10/326.21 c 312s|380000 |251657 | 0 | 0.0 | 983M| 69 | - |1566 |3228 | 0 | 0 | 0 | 75k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
335.50/335.66 c 321s|390000 |258451 | 0 | 0.0 |1003M| 69 | - |1566 |3465 | 0 | 0 | 0 | 77k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
344.70/344.85 c 330s|400000 |265096 | 0 | 0.0 |1022M| 69 | - |1566 |4166 | 0 | 0 | 0 | 80k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
354.00/354.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
354.00/354.16 c 339s|410000 |270779 | 0 | 0.0 |1040M| 69 | - |1566 |5056 | 0 | 0 | 0 | 83k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
363.49/363.68 c 348s|420000 |274485 | 0 | 0.0 |1054M| 69 | - |1566 |6063 | 0 | 0 | 0 | 86k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
372.70/372.83 o -6
372.70/372.83 c * 357s|428904 |277642 | 0 | 0.0 |1064M| 69 | - |1566 |4019 | 0 | 0 | 0 | 89k| 0 |-3.800000e+01 |-6.000000e+00 | 84.21%
373.69/373.86 c 358s|430000 |278357 | 0 | 0.0 |1066M| 69 | - |1566 |4065 | 0 | 0 | 0 | 89k| 0 |-3.800000e+01 |-6.000000e+00 | 84.21%
383.09/383.28 c 367s|440000 |281171 | 0 | 0.0 |1075M| 69 | - |1566 |5179 | 0 | 0 | 0 | 93k| 0 |-3.800000e+01 |-6.000000e+00 | 84.21%
393.29/393.47 c 377s|450000 |288564 | 0 | 0.0 |1096M| 69 | - |1566 |3175 | 0 | 0 | 0 | 95k| 0 |-3.800000e+01 |-6.000000e+00 | 84.21%
404.39/404.52 c 387s|460000 |294961 | 0 | 0.0 |1123M| 69 | - |1566 |3388 | 0 | 0 | 0 | 97k| 0 |-3.800000e+01 |-6.000000e+00 | 84.21%
414.78/414.93 c 397s|470000 |301322 | 0 | 0.0 |1145M| 69 | - |1566 |3585 | 0 | 0 | 0 | 100k| 0 |-3.800000e+01 |-6.000000e+00 | 84.21%
424.39/424.50 c 406s|480000 |308444 | 0 | 0.0 |1163M| 69 | - |1566 |3562 | 0 | 0 | 0 | 102k| 0 |-3.800000e+01 |-6.000000e+00 | 84.21%
433.18/433.39 c 415s|490000 |315890 | 0 | 0.0 |1181M| 69 | - |1566 |3675 | 0 | 0 | 0 | 103k| 0 |-3.800000e+01 |-6.000000e+00 | 84.21%
442.47/442.69 c 424s|500000 |322843 | 0 | 0.0 |1199M| 69 | - |1566 |4175 | 0 | 0 | 0 | 105k| 0 |-3.800000e+01 |-6.000000e+00 | 84.21%
452.37/452.53 c 433s|510000 |329585 | 0 | 0.0 |1216M| 69 | - |1566 |4584 | 0 | 0 | 0 | 108k| 0 |-3.800000e+01 |-6.000000e+00 | 84.21%
462.58/462.79 c 443s|520000 |335645 | 0 | 0.0 |1232M| 69 | - |1566 |5165 | 0 | 0 | 0 | 111k| 0 |-3.800000e+01 |-6.000000e+00 | 84.21%
473.76/473.91 c 454s|530000 |339853 | 0 | 0.0 |1246M| 69 | - |1566 |6235 | 0 | 0 | 0 | 115k| 0 |-3.800000e+01 |-6.000000e+00 | 84.21%
484.17/484.31 c 464s|540000 |346421 | 0 | 0.0 |1260M| 69 | - |1566 |4404 | 0 | 0 | 0 | 117k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
493.36/493.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
493.36/493.54 c 473s|550000 |349877 | 0 | 0.0 |1269M| 70 | - |1566 |5386 | 0 | 0 | 0 | 121k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
502.76/502.97 c 482s|560000 |355903 | 0 | 0.0 |1280M| 70 | - |1566 |3346 | 0 | 0 | 0 | 123k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
513.86/514.01 c 493s|570000 |361492 | 0 | 0.0 |1301M| 70 | - |1566 |3528 | 0 | 0 | 0 | 126k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
524.36/524.57 c 503s|580000 |367556 | 0 | 0.0 |1323M| 70 | - |1566 |3838 | 0 | 0 | 0 | 129k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
534.56/534.77 c 513s|590000 |373784 | 0 | 0.0 |1343M| 70 | - |1566 |3983 | 0 | 0 | 0 | 132k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
542.95/543.17 c (node 598845) switching to memory saving mode (mem: 1296.0M/1620.0M)
544.26/544.45 c 522s|600000 |379732 | 0 | 0.0 |1358M| 93 | - |1566 |4605 | 0 | 0 | 0 | 135k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
553.55/553.76 c 531s|610000 |379140 | 0 | 0.0 |1358M| 93 | - |1566 |6456 | 0 | 0 | 0 | 145k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
563.95/564.12 c 541s|620000 |378611 | 0 | 0.0 |1357M| 93 | - |1566 |7963 | 0 | 0 | 0 | 155k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
572.85/573.01 c 549s|630000 |378422 | 0 | 0.0 |1357M| 93 | - |1566 |7693 | 0 | 0 | 0 | 164k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
583.95/584.12 c 560s|640000 |377812 | 0 | 0.0 |1356M| 93 | - |1566 |8931 | 0 | 0 | 0 | 173k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
593.65/593.80 c 569s|650000 |377645 | 0 | 0.0 |1356M| 93 | - |1566 |8182 | 0 | 0 | 0 | 183k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
605.23/605.48 c 580s|660000 |376980 | 0 | 0.0 |1354M| 93 | - |1566 |8887 | 0 | 0 | 0 | 192k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
615.75/616.00 c 590s|670000 |376752 | 0 | 0.0 |1354M| 93 | - |1566 |9351 | 0 | 0 | 0 | 200k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
626.04/626.24 c 600s|680000 |376535 | 0 | 0.0 |1355M| 93 | - |1566 |9776 | 0 | 0 | 0 | 209k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
635.23/635.46 c 609s|690000 |376455 | 0 | 0.0 |1355M| 93 | - |1566 | 10k| 0 | 0 | 0 | 219k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
648.23/648.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
648.23/648.44 c 621s|700000 |375595 | 0 | 0.0 |1352M| 93 | - |1566 |8869 | 0 | 0 | 0 | 229k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
658.23/658.48 c 631s|710000 |375389 | 0 | 0.0 |1352M| 93 | - |1566 |9825 | 0 | 0 | 0 | 235k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
668.82/669.08 c 641s|720000 |375177 | 0 | 0.0 |1352M| 93 | - |1566 |9804 | 0 | 0 | 0 | 242k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
678.12/678.31 c 650s|730000 |375087 | 0 | 0.0 |1353M| 93 | - |1566 | 11k| 0 | 0 | 0 | 251k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
688.22/688.42 c 659s|740000 |374899 | 0 | 0.0 |1352M| 93 | - |1566 | 10k| 0 | 0 | 0 | 260k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
697.82/698.00 c 669s|750000 |374797 | 0 | 0.0 |1352M| 93 | - |1566 | 10k| 0 | 0 | 0 | 270k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
710.01/710.26 c 680s|760000 |374075 | 0 | 0.0 |1350M| 93 | - |1566 |9219 | 0 | 0 | 0 | 279k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
720.62/720.81 c 691s|770000 |373515 | 0 | 0.0 |1349M| 93 | - |1566 | 10k| 0 | 0 | 0 | 286k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
730.41/730.63 c 700s|780000 |373389 | 0 | 0.0 |1349M| 93 | - |1566 | 11k| 0 | 0 | 0 | 294k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
740.71/740.97 c 710s|790000 |373339 | 0 | 0.0 |1349M| 93 | - |1566 | 11k| 0 | 0 | 0 | 298k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
751.40/751.60 c 720s|800000 |373234 | 0 | 0.0 |1349M| 93 | - |1566 | 11k| 0 | 0 | 0 | 304k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
762.12/762.35 c 731s|810000 |373125 | 0 | 0.0 |1350M| 93 | - |1566 | 12k| 0 | 0 | 0 | 312k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
772.50/772.75 c 741s|820000 |373013 | 0 | 0.0 |1349M| 93 | - |1566 | 11k| 0 | 0 | 0 | 320k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
782.60/782.86 c 750s|830000 |372906 | 0 | 0.0 |1349M| 93 | - |1566 | 12k| 0 | 0 | 0 | 330k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
792.99/793.27 c 760s|840000 |372798 | 0 | 0.0 |1349M| 93 | - |1566 | 12k| 0 | 0 | 0 | 339k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
803.59/803.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
803.59/803.80 c 770s|850000 |372702 | 0 | 0.0 |1349M| 93 | - |1566 | 11k| 0 | 0 | 0 | 349k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
813.60/813.82 c 780s|860000 |372605 | 0 | 0.0 |1349M| 93 | - |1566 | 10k| 0 | 0 | 0 | 358k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
823.49/823.77 c 789s|870000 |372446 | 0 | 0.0 |1348M| 93 | - |1566 |9355 | 0 | 0 | 0 | 368k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
833.99/834.22 c 799s|880000 |371845 | 0 | 0.0 |1346M| 93 | - |1566 |9321 | 0 | 0 | 0 | 376k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
846.19/846.46 c 811s|890000 |370962 | 0 | 0.0 |1344M| 94 | - |1566 | 10k| 0 | 0 | 0 | 385k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
855.19/855.49 c 820s|900000 |370837 | 0 | 0.0 |1345M| 94 | - |1566 | 12k| 0 | 0 | 0 | 392k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
865.19/865.42 c 829s|910000 |370751 | 0 | 0.0 |1345M| 94 | - |1566 | 12k| 0 | 0 | 0 | 398k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
874.88/875.16 c 839s|920000 |370704 | 0 | 0.0 |1345M| 94 | - |1566 | 12k| 0 | 0 | 0 | 404k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
884.68/884.98 c 848s|930000 |370682 | 0 | 0.0 |1346M| 94 | - |1566 | 14k| 0 | 0 | 0 | 410k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
897.38/897.66 c 861s|940000 |370648 | 0 | 0.0 |1347M| 94 | - |1566 | 15k| 0 | 0 | 0 | 416k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
909.27/909.55 c 872s|950000 |370630 | 0 | 0.0 |1348M| 94 | - |1566 | 16k| 0 | 0 | 0 | 422k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
923.57/923.85 c 886s|960000 |370615 | 0 | 0.0 |1348M| 94 | - |1566 | 17k| 0 | 0 | 0 | 426k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
938.97/939.29 c 901s|970000 |370607 | 0 | 0.0 |1349M| 94 | - |1566 | 18k| 0 | 0 | 0 | 431k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
953.47/953.72 c 915s|980000 |370554 | 0 | 0.0 |1348M| 94 | - |1566 | 17k| 0 | 0 | 0 | 437k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
966.46/966.75 c 928s|990000 |370427 | 0 | 0.0 |1346M| 94 | - |1566 | 14k| 0 | 0 | 0 | 446k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
977.57/977.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
977.57/977.84 c 939s| 1000k|370401 | 0 | 0.0 |1347M| 94 | - |1566 | 16k| 0 | 0 | 0 | 453k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
988.16/988.42 c 949s| 1010k|370299 | 0 | 0.0 |1346M| 94 | - |1566 | 14k| 0 | 0 | 0 | 460k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
998.95/999.20 c 959s| 1020k|370195 | 0 | 0.0 |1345M| 94 | - |1566 | 13k| 0 | 0 | 0 | 468k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1009.95/1010.25 c 970s| 1030k|370067 | 0 | 0.0 |1346M| 94 | - |1566 | 14k| 0 | 0 | 0 | 478k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1020.45/1020.80 c 980s| 1040k|370004 | 0 | 0.0 |1345M| 94 | - |1566 | 13k| 0 | 0 | 0 | 488k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1030.65/1030.94 c 990s| 1050k|369912 | 0 | 0.0 |1345M| 94 | - |1566 | 13k| 0 | 0 | 0 | 497k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1041.24/1041.56 c 1000s| 1060k|369801 | 0 | 0.0 |1345M| 94 | - |1566 | 12k| 0 | 0 | 0 | 506k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1050.84/1051.15 c 1009s| 1070k|369742 | 0 | 0.0 |1345M| 94 | - |1566 | 11k| 0 | 0 | 0 | 517k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1060.24/1060.52 c 1018s| 1080k|369660 | 0 | 0.0 |1344M| 94 | - |1566 | 10k| 0 | 0 | 0 | 526k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1069.74/1070.05 c 1027s| 1090k|369576 | 0 | 0.0 |1345M| 94 | - |1566 | 11k| 0 | 0 | 0 | 536k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1080.44/1080.70 c 1037s| 1100k|369114 | 0 | 0.0 |1343M| 94 | - |1566 | 10k| 0 | 0 | 0 | 544k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1092.43/1092.75 c 1049s| 1110k|368272 | 0 | 0.0 |1339M| 94 | - |1566 | 10k| 0 | 0 | 0 | 554k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1103.93/1104.27 c 1060s| 1120k|367744 | 0 | 0.0 |1339M| 94 | - |1566 | 12k| 0 | 0 | 0 | 563k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1112.94/1113.21 c 1069s| 1130k|367707 | 0 | 0.0 |1340M| 94 | - |1566 | 13k| 0 | 0 | 0 | 570k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1123.03/1123.39 c 1078s| 1140k|367693 | 0 | 0.0 |1340M| 94 | - |1566 | 14k| 0 | 0 | 0 | 575k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1135.02/1135.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1135.02/1135.32 c 1090s| 1150k|367615 | 0 | 0.0 |1341M| 94 | - |1566 | 15k| 0 | 0 | 0 | 582k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1145.93/1146.22 c 1101s| 1160k|367550 | 0 | 0.0 |1340M| 94 | - |1566 | 15k| 0 | 0 | 0 | 589k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1156.22/1156.51 c 1110s| 1170k|367467 | 0 | 0.0 |1340M| 94 | - |1566 | 15k| 0 | 0 | 0 | 597k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1166.92/1167.22 c 1121s| 1180k|367426 | 0 | 0.0 |1341M| 94 | - |1566 | 16k| 0 | 0 | 0 | 603k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1180.31/1180.64 c 1134s| 1190k|367387 | 0 | 0.0 |1341M| 94 | - |1566 | 17k| 0 | 0 | 0 | 610k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1194.22/1194.59 c 1148s| 1200k|367372 | 0 | 0.0 |1342M| 94 | - |1566 | 18k| 0 | 0 | 0 | 616k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1207.71/1208.06 c 1161s| 1210k|367357 | 0 | 0.0 |1342M| 94 | - |1566 | 19k| 0 | 0 | 0 | 622k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1222.50/1222.89 c 1175s| 1220k|367325 | 0 | 0.0 |1342M| 94 | - |1566 | 18k| 0 | 0 | 0 | 628k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1235.70/1236.09 c 1188s| 1230k|367319 | 0 | 0.0 |1343M| 94 | - |1566 | 19k| 0 | 0 | 0 | 633k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1249.00/1249.35 c 1201s| 1240k|367270 | 0 | 0.0 |1342M| 94 | - |1566 | 18k| 0 | 0 | 0 | 641k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1261.70/1262.09 c 1213s| 1250k|367231 | 0 | 0.0 |1342M| 94 | - |1566 | 19k| 0 | 0 | 0 | 648k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1275.10/1275.47 c 1226s| 1260k|367151 | 0 | 0.0 |1342M| 94 | - |1566 | 18k| 0 | 0 | 0 | 657k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1286.89/1287.27 c 1238s| 1270k|367093 | 0 | 0.0 |1341M| 94 | - |1566 | 17k| 0 | 0 | 0 | 665k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1298.49/1298.88 c 1249s| 1280k|367001 | 0 | 0.0 |1340M| 94 | - |1566 | 15k| 0 | 0 | 0 | 672k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1309.79/1310.13 c 1260s| 1290k|366896 | 0 | 0.0 |1339M| 94 | - |1566 | 14k| 0 | 0 | 0 | 681k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1320.19/1320.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1320.19/1320.57 c 1270s| 1300k|366807 | 0 | 0.0 |1339M| 94 | - |1566 | 13k| 0 | 0 | 0 | 689k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1330.78/1331.16 c 1280s| 1310k|366722 | 0 | 0.0 |1339M| 94 | - |1566 | 14k| 0 | 0 | 0 | 698k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1340.78/1341.15 c 1290s| 1320k|366644 | 0 | 0.0 |1339M| 94 | - |1566 | 14k| 0 | 0 | 0 | 706k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1351.38/1351.72 c 1300s| 1330k|366554 | 0 | 0.0 |1339M| 94 | - |1566 | 14k| 0 | 0 | 0 | 714k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1362.28/1362.69 c 1310s| 1340k|366481 | 0 | 0.0 |1339M| 94 | - |1566 | 13k| 0 | 0 | 0 | 723k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1372.77/1373.13 c 1320s| 1350k|366438 | 0 | 0.0 |1339M| 94 | - |1566 | 13k| 0 | 0 | 0 | 733k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1383.87/1384.23 c 1331s| 1360k|366297 | 0 | 0.0 |1338M| 94 | - |1566 | 11k| 0 | 0 | 0 | 743k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1393.87/1394.20 c 1341s| 1370k|366203 | 0 | 0.0 |1338M| 94 | - |1566 | 11k| 0 | 0 | 0 | 752k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1404.06/1404.47 c 1350s| 1380k|366101 | 0 | 0.0 |1337M| 94 | - |1566 | 10k| 0 | 0 | 0 | 762k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1414.37/1414.71 c 1360s| 1390k|365794 | 0 | 0.0 |1337M| 94 | - |1566 | 10k| 0 | 0 | 0 | 771k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1424.77/1425.10 c 1370s| 1400k|365288 | 0 | 0.0 |1335M| 94 | - |1566 | 10k| 0 | 0 | 0 | 780k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1436.76/1437.14 c 1382s| 1410k|364521 | 0 | 0.0 |1332M| 94 | - |1566 | 10k| 0 | 0 | 0 | 789k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1448.37/1448.75 c 1393s| 1420k|363745 | 0 | 0.0 |1330M| 94 | - |1566 | 11k| 0 | 0 | 0 | 797k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1457.65/1458.09 c 1402s| 1430k|363731 | 0 | 0.0 |1332M| 94 | - |1566 | 14k| 0 | 0 | 0 | 805k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1469.16/1469.55 c 1413s| 1440k|363695 | 0 | 0.0 |1332M| 94 | - |1566 | 14k| 0 | 0 | 0 | 812k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1479.75/1480.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1479.75/1480.11 c 1424s| 1450k|363657 | 0 | 0.0 |1333M| 94 | - |1566 | 16k| 0 | 0 | 0 | 819k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1491.16/1491.51 c 1435s| 1460k|363634 | 0 | 0.0 |1333M| 94 | - |1566 | 17k| 0 | 0 | 0 | 825k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1502.26/1502.65 c 1445s| 1470k|363572 | 0 | 0.0 |1332M| 94 | - |1566 | 16k| 0 | 0 | 0 | 831k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1513.44/1513.84 c 1456s| 1480k|363501 | 0 | 0.0 |1332M| 94 | - |1566 | 16k| 0 | 0 | 0 | 841k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1524.64/1525.02 c 1467s| 1490k|363451 | 0 | 0.0 |1333M| 94 | - |1566 | 16k| 0 | 0 | 0 | 848k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1536.25/1536.67 c 1478s| 1500k|363446 | 0 | 0.0 |1334M| 94 | - |1566 | 18k| 0 | 0 | 0 | 854k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1549.84/1550.21 c 1492s| 1510k|363439 | 0 | 0.0 |1334M| 94 | - |1566 | 19k| 0 | 0 | 0 | 860k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1563.74/1564.10 c 1505s| 1520k|363438 | 0 | 0.0 |1335M| 94 | - |1566 | 20k| 0 | 0 | 0 | 865k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1577.63/1578.02 c 1519s| 1530k|363421 | 0 | 0.0 |1335M| 94 | - |1566 | 20k| 0 | 0 | 0 | 872k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1591.33/1591.72 c 1532s| 1540k|363396 | 0 | 0.0 |1335M| 94 | - |1566 | 20k| 0 | 0 | 0 | 878k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1604.82/1605.29 c 1545s| 1550k|363364 | 0 | 0.0 |1335M| 94 | - |1566 | 20k| 0 | 0 | 0 | 885k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1617.92/1618.38 c 1558s| 1560k|363321 | 0 | 0.0 |1334M| 94 | - |1566 | 19k| 0 | 0 | 0 | 892k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1629.62/1630.07 c 1569s| 1570k|363281 | 0 | 0.0 |1333M| 94 | - |1566 | 17k| 0 | 0 | 0 | 898k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1640.61/1641.05 c 1580s| 1580k|363208 | 0 | 0.0 |1333M| 94 | - |1566 | 17k| 0 | 0 | 0 | 906k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1652.52/1652.93 c 1591s| 1590k|363121 | 0 | 0.0 |1331M| 94 | - |1566 | 14k| 0 | 0 | 0 | 915k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1663.61/1664.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1663.61/1664.09 c 1602s| 1600k|363085 | 0 | 0.0 |1334M| 94 | - |1566 | 18k| 0 | 0 | 0 | 924k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1676.21/1676.69 c 1614s| 1610k|363007 | 0 | 0.0 |1331M| 94 | - |1566 | 14k| 0 | 0 | 0 | 932k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1687.80/1688.23 c 1626s| 1620k|362942 | 0 | 0.0 |1332M| 94 | - |1566 | 15k| 0 | 0 | 0 | 942k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1699.01/1699.48 c 1636s| 1630k|362875 | 0 | 0.0 |1331M| 94 | - |1566 | 14k| 0 | 0 | 0 | 950k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1709.70/1710.15 c 1647s| 1640k|362786 | 0 | 0.0 |1332M| 94 | - |1566 | 15k| 0 | 0 | 0 | 959k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1721.60/1722.00 c 1658s| 1650k|362654 | 0 | 0.0 |1331M| 94 | - |1566 | 14k| 0 | 0 | 0 | 967k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1732.19/1732.68 c 1668s| 1660k|362585 | 0 | 0.0 |1332M| 94 | - |1566 | 15k| 0 | 0 | 0 | 975k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1744.49/1744.99 c 1680s| 1670k|362563 | 0 | 0.0 |1332M| 94 | - |1566 | 15k| 0 | 0 | 0 | 985k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1756.20/1756.66 c 1692s| 1680k|362480 | 0 | 0.0 |1332M| 94 | - |1566 | 15k| 0 | 0 | 0 | 993k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1767.49/1767.93 c 1702s| 1690k|362385 | 0 | 0.0 |1331M| 94 | - |1566 | 14k| 0 | 0 | 0 |1003k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1778.49/1778.99 c 1713s| 1700k|362294 | 0 | 0.0 |1332M| 94 | - |1566 | 15k| 0 | 0 | 0 |1013k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1789.68/1790.17 c 1724s| 1710k|362189 | 0 | 0.0 |1331M| 94 | - |1566 | 14k| 0 | 0 | 0 |1021k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
1800.08/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.50 c
1800.08/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.50 c Solving Time (sec) : 1733.74
1800.08/1800.50 c Solving Nodes : 1719344
1800.08/1800.50 c Primal Bound : -6.00000000000000e+00 (8 solutions)
1800.08/1800.50 c Dual Bound : -3.70000000000000e+01
1800.08/1800.50 c Gap : 83.78 %
1800.08/1800.51 s SATISFIABLE
1800.08/1800.51 v -x59 -x66 -x97 -x60 -x58 -x56 -x96 -x87 -x72 -x90 -x98 -x94 x93 -x82 -x62 x70 -x51 -x99 -x91 x89 -x85 -x78 -x67 -x63 -x61 -x57
1800.08/1800.51 v -x81 -x71 x83 -x73 -x74 -x80 -x69 -x68 -x100 -x92 -x53 -x54 -x65 x55 -x95 -x86 -x79 -x76 -x88 -x64 x77 -x75 -x84 -x52 -x50 -x49
1800.08/1800.51 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.08/1800.51 v -x22 x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.08/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.51 c Solving Time : 1733.74
1800.08/1800.51 c Original Problem :
1800.08/1800.51 c Problem name : HOME/instance-2663886-1276671485.opb
1800.08/1800.51 c Variables : 1566 (1566 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.51 c Constraints : 1617 initial, 1617 maximal
1800.08/1800.51 c Presolved Problem :
1800.08/1800.51 c Problem name : t_HOME/instance-2663886-1276671485.opb
1800.08/1800.51 c Variables : 1566 (1566 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.51 c Constraints : 1617 initial, 21315 maximal
1800.08/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.51 c probing : 0.03 0 0 0 0 0 0 0 0
1800.08/1800.51 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.51 c and : 0.18 0 0 0 0 0 0 0 0
1800.08/1800.51 c linear : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.51 c root node : - 0 - - 0 - - - -
1800.08/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.51 c setppc : 100 0 6310492 0 1099216 87575 3635405 0 0 0
1800.08/1800.51 c and : 1466 0 6224169 0 1099601 6177 26313492 0 0 0
1800.08/1800.51 c linear : 1 0 6217456 0 1099626 141474 4838348 0 0 0
1800.08/1800.51 c logicor : 50+ 0 1712338 0 890668 33085 1058770 0 0 0
1800.08/1800.51 c countsols : 0 0 0 0 1099631 0 0 0 0 0
1800.08/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.51 c setppc : 59.28 0.00 16.94 0.00 42.34
1800.08/1800.51 c and : 104.90 0.00 102.66 0.00 2.24
1800.08/1800.51 c linear : 116.72 0.00 115.48 0.00 1.24
1800.08/1800.51 c logicor : 452.00 0.00 449.31 0.00 2.69
1800.08/1800.51 c countsols : 0.44 0.00 0.00 0.00 0.44
1800.08/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.51 c vbounds : 3.26 2 0 0
1800.08/1800.51 c rootredcost : 3.30 0 0 0
1800.08/1800.51 c pseudoobj : 161.49 6771612 459962 699648
1800.08/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.51 c propagation : 145.94 728273 577644 2846996 67.9 921 43.7 -
1800.08/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.51 c pseudo solution : 0.00 15 15 77 28.8 0 0.0 -
1800.08/1800.51 c applied globally : - - - 1031311 62.2 - - -
1800.08/1800.51 c applied locally : - - - 0 0.0 - - -
1800.08/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.08/1800.51 c redcost : 0.00 0 0 0 0 0
1800.08/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.08/1800.51 c intobj : 0.00 0 0 0 0 0
1800.08/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.51 c gomory : 0.00 0 0 0 0 0
1800.08/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.08/1800.51 c cmir : 0.00 0 0 0 0 0
1800.08/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.08/1800.51 c clique : 0.00 0 0 0 0 0
1800.08/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.51 c mcf : 0.00 0 0 0 0 0
1800.08/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.51 c Pricers : Time Calls Vars
1800.08/1800.51 c problem variables: 0.00 0 0
1800.08/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.08/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.51 c inference : 54.02 1099626 0 0 0 0 2199252
1800.08/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.51 c random : 0.00 0 0 0 0 0 0
1800.08/1800.51 c Primal Heuristics : Time Calls Found
1800.08/1800.51 c LP solutions : 0.00 - 0
1800.08/1800.51 c pseudo solutions : 0.02 - 5
1800.08/1800.51 c oneopt : 1.31 0 0
1800.08/1800.51 c trivial : 0.00 2 3
1800.08/1800.51 c simplerounding : 0.00 0 0
1800.08/1800.51 c zirounding : 0.00 0 0
1800.08/1800.51 c rounding : 0.00 0 0
1800.08/1800.51 c shifting : 0.00 0 0
1800.08/1800.51 c intshifting : 0.00 0 0
1800.08/1800.51 c twoopt : 0.00 0 0
1800.08/1800.51 c fixandinfer : 0.00 0 0
1800.08/1800.51 c feaspump : 0.00 0 0
1800.08/1800.51 c coefdiving : 0.00 0 0
1800.08/1800.51 c pscostdiving : 0.00 0 0
1800.08/1800.51 c fracdiving : 0.00 0 0
1800.08/1800.51 c veclendiving : 0.00 0 0
1800.08/1800.51 c intdiving : 0.00 0 0
1800.08/1800.51 c actconsdiving : 0.00 0 0
1800.08/1800.51 c objpscostdiving : 0.00 0 0
1800.08/1800.51 c rootsoldiving : 0.00 0 0
1800.08/1800.51 c linesearchdiving : 0.00 0 0
1800.08/1800.51 c guideddiving : 0.00 0 0
1800.08/1800.51 c octane : 0.00 0 0
1800.08/1800.51 c rens : 0.00 0 0
1800.08/1800.51 c rins : 0.00 0 0
1800.08/1800.51 c localbranching : 0.00 0 0
1800.08/1800.51 c mutation : 0.00 0 0
1800.08/1800.51 c crossover : 0.00 0 0
1800.08/1800.51 c dins : 0.00 0 0
1800.08/1800.51 c undercover : 0.00 0 0
1800.08/1800.51 c nlp : 0.99 0 0
1800.08/1800.51 c trysol : 0.96 0 0
1800.08/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.08/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.08/1800.51 c (at root node) : - 0 0 0.00 -
1800.08/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.51 c B&B Tree :
1800.08/1800.51 c number of runs : 1
1800.08/1800.51 c nodes : 1719344
1800.08/1800.51 c nodes (total) : 1719344
1800.08/1800.51 c nodes left : 362143
1800.08/1800.51 c max depth : 94
1800.08/1800.51 c max depth (total): 94
1800.08/1800.51 c backtracks : 191058 (11.1%)
1800.08/1800.51 c delayed cutoffs : 116056
1800.08/1800.51 c repropagations : 2511958 (4290645 domain reductions, 108575 cutoffs)
1800.08/1800.51 c avg switch length: 6.95
1800.08/1800.51 c switching time : 572.55
1800.08/1800.51 c Solution :
1800.08/1800.51 c Solutions found : 8 (6 improvements)
1800.08/1800.51 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.08/1800.51 c Primal Bound : -6.00000000000000e+00 (in run 1, after 428904 nodes, 356.56 seconds, depth 55, found by <relaxation>)
1800.08/1800.51 c Dual Bound : -3.70000000000000e+01
1800.08/1800.51 c Gap : 83.78 %
1800.08/1800.51 c Root Dual Bound : -5.00000000000000e+01
1800.08/1800.51 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-2663886-1276671485/watcher-2663886-1276671485 -o /tmp/evaluation-result-2663886-1276671485/solver-2663886-1276671485 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663886-1276671485.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: 2.52 2.23 2.08 3/106 14837
/proc/meminfo: memFree=1784288/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=6584 CPUtime=0
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 1006 0 0 0 0 0 0 0 20 0 1 0 8443905 6742016 929 1992294400 4194304 7136930 140736125857136 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14837/statm: 1646 937 254 719 0 925 0
[startup+0.027692 s]
/proc/loadavg: 2.52 2.23 2.08 3/106 14837
/proc/meminfo: memFree=1784288/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=9840 CPUtime=0.01
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 1940 0 0 0 1 0 0 0 20 0 1 0 8443905 10076160 1862 1992294400 4194304 7136930 140736125857136 18446744073709551615 4333573 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14837/statm: 2460 1862 273 719 0 1739 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9840
[startup+0.100694 s]
/proc/loadavg: 2.52 2.23 2.08 3/106 14837
/proc/meminfo: memFree=1784288/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=15056 CPUtime=0.09
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 3662 0 0 0 6 3 0 0 20 0 1 0 8443905 15417344 2974 1992294400 4194304 7136930 140736125857136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 3764 2974 333 719 0 3043 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15056
[startup+0.300707 s]
/proc/loadavg: 2.52 2.23 2.08 3/106 14837
/proc/meminfo: memFree=1784288/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=16352 CPUtime=0.29
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 5296 0 0 0 16 13 0 0 20 0 1 0 8443905 16744448 3323 1992294400 4194304 7136930 140736125857136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 4088 3323 361 719 0 3367 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16352
[startup+0.700731 s]
/proc/loadavg: 2.52 2.23 2.08 3/106 14837
/proc/meminfo: memFree=1784288/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=19796 CPUtime=0.69
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 6447 0 0 0 49 20 0 0 20 0 1 0 8443905 20271104 4217 1992294400 4194304 7136930 140736125857136 18446744073709551615 6166861 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 4949 4217 393 719 0 4228 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19796
[startup+1.50078 s]
/proc/loadavg: 2.52 2.23 2.08 2/107 14838
/proc/meminfo: memFree=1767292/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=24864 CPUtime=1.49
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 7659 0 0 0 125 24 0 0 23 0 1 0 8443905 25460736 5429 1992294400 4194304 7136930 140736125857136 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 6216 5429 393 719 0 5495 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24864
[startup+3.10088 s]
/proc/loadavg: 2.40 2.21 2.08 2/107 14838
/proc/meminfo: memFree=1761092/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=35168 CPUtime=3.09
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 10074 0 0 0 278 31 0 0 25 0 1 0 8443905 36012032 7844 1992294400 4194304 7136930 140736125857136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 8792 7844 393 719 0 8071 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35168
[startup+6.30108 s]
/proc/loadavg: 2.40 2.21 2.08 2/107 14838
/proc/meminfo: memFree=1737780/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=61376 CPUtime=6.29
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 15741 0 0 0 584 45 0 0 25 0 1 0 8443905 62849024 13511 1992294400 4194304 7136930 140736125857136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 15344 13511 393 719 0 14623 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 61376
[startup+12.7015 s]
/proc/loadavg: 2.19 2.17 2.07 2/107 14840
/proc/meminfo: memFree=1702936/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=100372 CPUtime=12.69
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 24071 0 0 0 1196 73 0 0 25 0 1 0 8443905 102780928 21841 1992294400 4194304 7136930 140736125857136 18446744073709551615 5121846 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 25093 21841 393 719 0 24372 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 100372
[startup+25.5013 s]
/proc/loadavg: 2.00 2.13 2.05 2/107 14840
/proc/meminfo: memFree=1632628/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=177068 CPUtime=25.48
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 40538 0 0 0 2417 131 0 0 25 0 1 0 8443905 181317632 38308 1992294400 4194304 7136930 140736125857136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 44267 38308 393 719 0 43546 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 177068
[startup+51.1009 s]
/proc/loadavg: 1.66 2.04 2.02 2/107 14840
/proc/meminfo: memFree=1522516/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=310460 CPUtime=51.08
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 68709 0 0 0 4851 257 0 0 25 0 1 0 8443905 317911040 66479 1992294400 4194304 7136930 140736125857136 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 77615 66492 393 719 0 76894 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 310460
[startup+102.308 s]
/proc/loadavg: 1.26 1.86 1.96 2/107 14842
/proc/meminfo: memFree=1310104/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=555200 CPUtime=102.28
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 120766 0 0 0 9722 506 0 0 25 0 1 0 8443905 568524800 118536 1992294400 4194304 7136930 140736125857136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 138800 118536 393 719 0 138079 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 555200
[startup+162.301 s]
/proc/loadavg: 1.09 1.70 1.90 2/107 14844
/proc/meminfo: memFree=1125096/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=758828 CPUtime=162.25
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 167063 0 0 0 15462 763 0 0 25 0 1 0 8443905 777039872 164833 1992294400 4194304 7136930 140736125857136 18446744073709551615 4703360 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 189707 164833 393 719 0 188986 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 758828
[startup+222.3 s]
/proc/loadavg: 1.03 1.57 1.84 2/107 14853
/proc/meminfo: memFree=959060/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=963252 CPUtime=222.22
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 208572 0 0 0 21212 1010 0 0 25 0 1 0 8443905 986370048 206342 1992294400 4194304 7136930 140736125857136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 240813 206342 393 719 0 240092 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 963252
[startup+282.301 s]
/proc/loadavg: 1.01 1.47 1.79 2/107 14855
/proc/meminfo: memFree=798356/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=1146204 CPUtime=282.21
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 248567 0 0 0 26960 1261 0 0 25 0 1 0 8443905 1173712896 246337 1992294400 4194304 7136930 140736125857136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 286551 246337 393 719 0 285830 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1146204
[startup+342.301 s]
/proc/loadavg: 1.00 1.38 1.73 2/107 14857
/proc/meminfo: memFree=665676/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=1276664 CPUtime=342.2
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 281423 0 0 0 32716 1504 0 0 25 0 1 0 8443905 1307303936 279193 1992294400 4194304 7136930 140736125857136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 319166 279193 393 719 0 318445 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1276664
[startup+402.301 s]
/proc/loadavg: 1.00 1.31 1.68 2/107 14859
/proc/meminfo: memFree=558912/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=1398924 CPUtime=402.19
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 308703 0 0 0 38506 1713 0 0 25 0 1 0 8443905 1432498176 306473 1992294400 4194304 7136930 140736125857136 18446744073709551615 4660061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 349731 306473 393 719 0 349010 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1398924
[startup+462.301 s]
/proc/loadavg: 1.00 1.25 1.64 2/107 14861
/proc/meminfo: memFree=415692/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=1558904 CPUtime=462.17
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 343731 0 0 0 44276 1941 0 0 25 0 1 0 8443905 1596317696 341501 1992294400 4194304 7136930 140736125857136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 389726 341501 393 719 0 389005 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1558904
[startup+522.301 s]
/proc/loadavg: 1.00 1.20 1.60 2/107 14861
/proc/meminfo: memFree=330504/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=1647064 CPUtime=522.16
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 365765 0 0 0 50066 2150 0 0 25 0 1 0 8443905 1686593536 363535 1992294400 4194304 7136930 140736125857136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 411766 363535 393 719 0 411045 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 1647064
[startup+582.301 s]
/proc/loadavg: 1.00 1.16 1.56 2/107 14863
/proc/meminfo: memFree=284500/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=1692472 CPUtime=582.15
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 377934 0 0 0 55788 2427 0 0 25 0 1 0 8443905 1733091328 374220 1992294400 4194304 7136930 140736125857136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 423118 374220 394 719 0 422397 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 1692472
[startup+642.301 s]
/proc/loadavg: 1.00 1.13 1.52 2/107 14865
/proc/meminfo: memFree=282144/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=1694324 CPUtime=642.13
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 378430 0 0 0 61519 2694 0 0 25 0 1 0 8443905 1734987776 374716 1992294400 4194304 7136930 140736125857136 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 423581 374716 394 719 0 422860 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1694324
[startup+702.301 s]
################
# More data... #
################
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 380420 0 0 0 96220 3985 0 0 25 0 1 0 8443905 1745174528 376706 1992294400 4194304 7136930 140736125857136 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 426068 376706 394 719 0 425347 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 1704272
[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.31 2/107 14877
/proc/meminfo: memFree=272348/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=1705280 CPUtime=1062.04
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 380763 0 0 0 101961 4243 0 0 25 0 1 0 8443905 1746206720 377049 1992294400 4194304 7136930 140736125857136 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 426320 377049 394 719 0 425599 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 1705280
[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.29 2/107 14877
/proc/meminfo: memFree=272100/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=1705280 CPUtime=1122.03
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 380804 0 0 0 107738 4465 0 0 25 0 1 0 8443905 1746206720 377090 1992294400 4194304 7136930 140736125857136 18446744073709551615 4636131 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 426320 377090 394 719 0 425599 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 1705280
[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.27 2/107 14879
/proc/meminfo: memFree=271976/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=1705484 CPUtime=1182.01
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 380829 0 0 0 113553 4648 0 0 25 0 1 0 8443905 1746415616 377115 1992294400 4194304 7136930 140736125857136 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 426371 377115 394 719 0 425650 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 1705484
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.25 2/107 14881
/proc/meminfo: memFree=271480/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=1705680 CPUtime=1242
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 380906 0 0 0 119412 4788 0 0 25 0 1 0 8443905 1746616320 377192 1992294400 4194304 7136930 140736125857136 18446744073709551615 4652873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 426420 377192 394 719 0 425699 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 1705680
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.23 2/107 14883
/proc/meminfo: memFree=270984/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=1705916 CPUtime=1302
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 381003 0 0 0 125230 4970 0 0 25 0 1 0 8443905 1746857984 377289 1992294400 4194304 7136930 140736125857136 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 426479 377289 394 719 0 425758 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1705916
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.22 2/107 14885
/proc/meminfo: memFree=270860/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=1705916 CPUtime=1361.98
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 381040 0 0 0 131006 5192 0 0 25 0 1 0 8443905 1746857984 377326 1992294400 4194304 7136930 140736125857136 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 426479 377326 394 719 0 425758 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 1705916
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.20 2/107 14885
/proc/meminfo: memFree=270364/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=1705916 CPUtime=1421.97
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 381133 0 0 0 136762 5435 0 0 25 0 1 0 8443905 1746857984 377419 1992294400 4194304 7136930 140736125857136 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 426479 377419 394 719 0 425758 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1705916
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.18 2/107 14887
/proc/meminfo: memFree=270240/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=1705916 CPUtime=1481.95
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 381158 0 0 0 142569 5626 0 0 25 0 1 0 8443905 1746857984 377444 1992294400 4194304 7136930 140736125857136 18446744073709551615 5956299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 426479 377444 394 719 0 425758 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 1705916
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/107 14889
/proc/meminfo: memFree=269992/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=1706152 CPUtime=1541.94
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 381226 0 0 0 148387 5807 0 0 25 0 1 0 8443905 1747099648 377512 1992294400 4194304 7136930 140736125857136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 426538 377512 394 719 0 425817 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 1706152
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/107 14891
/proc/meminfo: memFree=268876/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=1707216 CPUtime=1601.92
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 381471 0 0 0 154241 5951 0 0 25 0 1 0 8443905 1748189184 377757 1992294400 4194304 7136930 140736125857136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 426804 377757 394 719 0 426083 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 1707216
[startup+1662.3 s]
/proc/loadavg: 1.05 1.01 1.15 2/107 14893
/proc/meminfo: memFree=268876/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=1707216 CPUtime=1661.91
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 381496 0 0 0 160050 6141 0 0 25 0 1 0 8443905 1748189184 377782 1992294400 4194304 7136930 140736125857136 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 426804 377782 394 719 0 426083 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 1707216
[startup+1722.3 s]
/proc/loadavg: 1.06 1.02 1.14 2/107 14893
/proc/meminfo: memFree=268008/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=1708236 CPUtime=1721.89
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 381651 0 0 0 165842 6347 0 0 25 0 1 0 8443905 1749233664 377937 1992294400 4194304 7136930 140736125857136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 427059 377937 394 719 0 426338 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 1708236
[startup+1782.3 s]
/proc/loadavg: 1.06 1.03 1.14 2/107 14895
/proc/meminfo: memFree=267760/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=1708236 CPUtime=1781.88
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 381665 0 0 0 171623 6565 0 0 25 0 1 0 8443905 1749233664 377951 1992294400 4194304 7136930 140736125857136 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 427059 377951 394 719 0 426338 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 1708236
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.05 1.03 1.14 2/107 14895
/proc/meminfo: memFree=267140/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=1708696 CPUtime=1800.08
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 381797 0 0 0 173375 6633 0 0 25 0 1 0 8443905 1749704704 378083 1992294400 4194304 7136930 140736125857136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14837/statm: 427174 378083 394 719 0 426453 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1708696
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14837
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.05 1.03 1.14 2/108 14896
/proc/meminfo: memFree=267132/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=1708696 CPUtime=1800.98
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 381802 0 0 0 173465 6633 0 0 25 0 1 0 8443905 1749704704 378088 1992294400 4194304 7136930 140736125857136 18446744073709551615 4212432 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14837/statm: 427174 378088 399 719 0 426453 0
Current children cumulated CPU time (s) 1800.98
Current children cumulated vsize (KiB) 1708696
[startup+1802.2 s]
/proc/loadavg: 1.04 1.03 1.13 2/108 14896
/proc/meminfo: memFree=267132/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=1708696 CPUtime=1801.78
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4202496 381802 0 0 0 173545 6633 0 0 25 0 1 0 8443905 1749704704 378088 1992294400 4194304 7136930 140736125857136 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14837/statm: 427174 378088 399 719 0 426453 0
Current children cumulated CPU time (s) 1801.78
Current children cumulated vsize (KiB) 1708696
[startup+1802.6 s]
/proc/loadavg: 1.04 1.03 1.13 2/108 14896
/proc/meminfo: memFree=267132/2059040 swapFree=4164944/4192956
[pid=14837] ppid=14835 vsize=0 CPUtime=1802.18
/proc/14837/stat : 14837 (pbscip.linux.x8) R 14835 14837 14723 0 -1 4203524 381802 0 0 0 173576 6642 0 0 25 0 1 0 8443905 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/14837/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.18
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.67
CPU time (s): 1802.26
CPU user time (s): 1735.76
CPU system time (s): 66.4949
CPU usage (%): 99.9772
Max. virtual memory (cumulated for all children) (KiB): 1708696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1735.76
system time used= 66.4949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 381802
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= 5268
runsolver used 3.04254 second user time and 8.45771 second system time
The end