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-2663875-1276669806.opb>
0.02/0.02 c original problem has 1580 variables (1580 bin, 0 int, 0 impl, 0 cont) and 1631 constraints
0.02/0.02 c problem read
0.02/0.02 c presolving settings loaded
0.02/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.23 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 150 upgd conss, 11940 impls, 100 clqs
0.39/0.45 c (0.2s) probing: 101/1580 (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 11940 implications, 100 cliques
0.39/0.45 c presolved problem has 1580 variables (1580 bin, 0 int, 0 impl, 0 cont) and 1631 constraints
0.39/0.45 c 100 constraints of type <setppc>
0.39/0.45 c 1480 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.21
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.98
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.45 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.45 c t 0.2s| 1 | 2 | 0 | - |4709k| 0 | - |1580 |1631 | 0 | 0 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
1.29/1.32 o -2
1.29/1.32 c * 1.1s| 990 | 720 | 0 | 0.0 |8158k| 51 | - |1580 |1747 | 0 | 0 | 0 | 116 | 0 |-4.900000e+01 |-2.000000e+00 | 95.92%
2.09/2.10 o -3
2.09/2.10 c * 1.8s| 1751 | 1111 | 0 | 0.0 |9884k| 62 | - |1580 |1919 | 0 | 0 | 0 | 297 | 0 |-4.800000e+01 |-3.000000e+00 | 93.75%
3.39/3.44 o -4
3.39/3.44 c * 3.1s| 3186 | 2221 | 0 | 0.0 | 16M| 62 | - |1580 |2054 | 0 | 0 | 0 | 458 | 0 |-4.800000e+01 |-4.000000e+00 | 91.67%
3.89/3.98 o -5
3.89/3.98 c * 3.6s| 3718 | 2601 | 0 | 0.0 | 20M| 62 | - |1580 |2109 | 0 | 0 | 0 | 529 | 0 |-4.800000e+01 |-5.000000e+00 | 89.58%
9.79/9.84 c 9.1s| 10000 | 6565 | 0 | 0.0 | 47M| 62 | - |1580 |2551 | 0 | 0 | 0 |1770 | 0 |-4.700000e+01 |-5.000000e+00 | 89.36%
18.98/19.01 c 17.9s| 20000 | 13589 | 0 | 0.0 | 91M| 62 | - |1580 |2714 | 0 | 0 | 0 |3288 | 0 |-4.600000e+01 |-5.000000e+00 | 89.13%
27.88/27.91 c 26.4s| 30000 | 20481 | 0 | 0.0 | 134M| 62 | - |1580 |3435 | 0 | 0 | 0 |5058 | 0 |-4.500000e+01 |-5.000000e+00 | 88.89%
36.87/36.97 c 35.0s| 40000 | 27131 | 0 | 0.0 | 174M| 62 | - |1580 |3528 | 0 | 0 | 0 |6895 | 0 |-4.500000e+01 |-5.000000e+00 | 88.89%
45.77/45.83 c 43.5s| 50000 | 33840 | 0 | 0.0 | 209M| 62 | - |1580 |3338 | 0 | 0 | 0 |8725 | 0 |-4.400000e+01 |-5.000000e+00 | 88.64%
54.56/54.60 c 52.0s| 60000 | 39086 | 0 | 0.0 | 237M| 64 | - |1580 |4049 | 0 | 0 | 0 | 11k| 0 |-4.300000e+01 |-5.000000e+00 | 88.37%
63.87/63.95 c 60.9s| 70000 | 46493 | 0 | 0.0 | 277M| 64 | - |1580 |3452 | 0 | 0 | 0 | 12k| 0 |-4.300000e+01 |-5.000000e+00 | 88.37%
72.06/72.12 c 68.7s| 80000 | 52839 | 0 | 0.0 | 308M| 64 | - |1580 |4035 | 0 | 0 | 0 | 14k| 0 |-4.300000e+01 |-5.000000e+00 | 88.37%
80.66/80.73 c 77.0s| 90000 | 58881 | 0 | 0.0 | 333M| 65 | - |1580 |3656 | 0 | 0 | 0 | 17k| 0 |-4.200000e+01 |-5.000000e+00 | 88.10%
89.35/89.40 c 85.2s|100000 | 66226 | 0 | 0.0 | 366M| 65 | - |1580 |3612 | 0 | 0 | 0 | 18k| 0 |-4.200000e+01 |-5.000000e+00 | 88.10%
97.55/97.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.55/97.60 c 93.1s|110000 | 72156 | 0 | 0.0 | 392M| 67 | - |1580 |4245 | 0 | 0 | 0 | 21k| 0 |-4.200000e+01 |-5.000000e+00 | 88.10%
106.55/106.66 c 102s|120000 | 76830 | 0 | 0.0 | 413M| 67 | - |1580 |4470 | 0 | 0 | 0 | 24k| 0 |-4.100000e+01 |-5.000000e+00 | 87.80%
115.54/115.60 c 110s|130000 | 84679 | 0 | 0.0 | 444M| 67 | - |1580 |3364 | 0 | 0 | 0 | 25k| 0 |-4.100000e+01 |-5.000000e+00 | 87.80%
123.84/123.99 c 118s|140000 | 91570 | 0 | 0.0 | 471M| 67 | - |1580 |3840 | 0 | 0 | 0 | 27k| 0 |-4.100000e+01 |-5.000000e+00 | 87.80%
132.64/132.77 c 127s|150000 | 95906 | 0 | 0.0 | 492M| 67 | - |1580 |4987 | 0 | 0 | 0 | 30k| 0 |-4.100000e+01 |-5.000000e+00 | 87.80%
141.63/141.75 c 135s|160000 |100946 | 0 | 0.0 | 511M| 68 | - |1580 |4949 | 0 | 0 | 0 | 33k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
150.54/150.61 c 144s|170000 |109197 | 0 | 0.0 | 535M| 68 | - |1580 |3167 | 0 | 0 | 0 | 34k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
159.02/159.14 c 152s|180000 |116741 | 0 | 0.0 | 561M| 68 | - |1580 |3327 | 0 | 0 | 0 | 35k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
167.13/167.27 c 160s|190000 |123671 | 0 | 0.0 | 584M| 68 | - |1580 |4030 | 0 | 0 | 0 | 37k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
175.62/175.73 c 168s|200000 |128824 | 0 | 0.0 | 603M| 68 | - |1580 |5042 | 0 | 0 | 0 | 40k| 0 |-4.000000e+01 |-5.000000e+00 | 87.50%
184.82/184.91 c 177s|210000 |133823 | 0 | 0.0 | 621M| 68 | - |1580 |4636 | 0 | 0 | 0 | 43k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
194.12/194.25 c 186s|220000 |139258 | 0 | 0.0 | 637M| 69 | - |1580 |3189 | 0 | 0 | 0 | 45k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
202.61/202.77 c 194s|230000 |147314 | 0 | 0.0 | 660M| 69 | - |1580 |3108 | 0 | 0 | 0 | 47k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
211.01/211.19 c 202s|240000 |154953 | 0 | 0.0 | 683M| 69 | - |1580 |3332 | 0 | 0 | 0 | 48k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
219.09/219.29 c 210s|250000 |162392 | 0 | 0.0 | 705M| 69 | - |1580 |3577 | 0 | 0 | 0 | 49k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
227.29/227.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
227.29/227.49 c 217s|260000 |168817 | 0 | 0.0 | 725M| 69 | - |1580 |4322 | 0 | 0 | 0 | 52k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
236.19/236.35 c 226s|270000 |173883 | 0 | 0.0 | 742M| 69 | - |1580 |4268 | 0 | 0 | 0 | 54k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
244.29/244.43 c 234s|280000 |179465 | 0 | 0.0 | 757M| 69 | - |1580 |4944 | 0 | 0 | 0 | 57k| 0 |-3.900000e+01 |-5.000000e+00 | 87.18%
253.69/253.80 c 243s|290000 |185809 | 0 | 0.0 | 774M| 69 | - |1580 |3279 | 0 | 0 | 0 | 59k| 0 |-3.800000e+01 |-5.000000e+00 | 86.84%
262.88/263.07 c 252s|300000 |193559 | 0 | 0.0 | 798M| 69 | - |1580 |3235 | 0 | 0 | 0 | 60k| 0 |-3.800000e+01 |-5.000000e+00 | 86.84%
271.58/271.74 c 260s|310000 |201367 | 0 | 0.0 | 820M| 69 | - |1580 |3491 | 0 | 0 | 0 | 62k| 0 |-3.800000e+01 |-5.000000e+00 | 86.84%
279.58/279.76 o -6
279.58/279.76 c * 268s|319104 |207143 | 0 | 0.0 | 839M| 69 | - |1580 |3562 | 0 | 0 | 0 | 63k| 0 |-3.800000e+01 |-6.000000e+00 | 84.21%
280.48/280.63 c 268s|320000 |207834 | 0 | 0.0 | 841M| 69 | - |1580 |3555 | 0 | 0 | 0 | 64k| 0 |-3.800000e+01 |-6.000000e+00 | 84.21%
289.37/289.54 c 277s|330000 |215040 | 0 | 0.0 | 861M| 69 | - |1580 |3907 | 0 | 0 | 0 | 66k| 0 |-3.800000e+01 |-6.000000e+00 | 84.21%
298.37/298.55 c 286s|340000 |221376 | 0 | 0.0 | 880M| 69 | - |1580 |4809 | 0 | 0 | 0 | 68k| 0 |-3.800000e+01 |-6.000000e+00 | 84.21%
307.37/307.56 c 294s|350000 |225962 | 0 | 0.0 | 895M| 69 | - |1580 |5977 | 0 | 0 | 0 | 72k| 0 |-3.800000e+01 |-6.000000e+00 | 84.21%
317.87/318.02 c 304s|360000 |230151 | 0 | 0.0 | 907M| 69 | - |1580 |4222 | 0 | 0 | 0 | 75k| 0 |-3.800000e+01 |-6.000000e+00 | 84.21%
325.76/325.91 c 312s|370000 |236767 | 0 | 0.0 | 923M| 69 | - |1580 |4597 | 0 | 0 | 0 | 77k| 0 |-3.800000e+01 |-6.000000e+00 | 84.21%
334.75/334.99 c 321s|380000 |241789 | 0 | 0.0 | 934M| 70 | - |1580 |3691 | 0 | 0 | 0 | 79k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
345.45/345.60 c 331s|390000 |247319 | 0 | 0.0 | 956M| 70 | - |1580 |3794 | 0 | 0 | 0 | 82k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
354.34/354.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
354.34/354.58 c 339s|400000 |255633 | 0 | 0.0 | 975M| 70 | - |1580 |3445 | 0 | 0 | 0 | 84k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
363.74/363.97 c 349s|410000 |262642 | 0 | 0.0 | 994M| 70 | - |1580 |3873 | 0 | 0 | 0 | 86k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
373.14/373.36 c 358s|420000 |269564 | 0 | 0.0 |1013M| 70 | - |1580 |3865 | 0 | 0 | 0 | 88k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
382.44/382.64 c 366s|430000 |276135 | 0 | 0.0 |1031M| 70 | - |1580 |4249 | 0 | 0 | 0 | 91k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
391.63/391.83 c 375s|440000 |282486 | 0 | 0.0 |1048M| 70 | - |1580 |4816 | 0 | 0 | 0 | 93k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
400.63/400.82 c 384s|450000 |287691 | 0 | 0.0 |1062M| 70 | - |1580 |6066 | 0 | 0 | 0 | 97k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
410.33/410.53 c 393s|460000 |290799 | 0 | 0.0 |1074M| 70 | - |1580 |7089 | 0 | 0 | 0 | 101k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
421.62/421.85 c 404s|470000 |292243 | 0 | 0.0 |1081M| 71 | - |1580 |7496 | 0 | 0 | 0 | 106k| 0 |-3.700000e+01 |-6.000000e+00 | 83.78%
430.52/430.74 c 413s|480000 |300498 | 0 | 0.0 |1097M| 71 | - |1580 |4028 | 0 | 0 | 0 | 107k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
439.51/439.77 c 422s|490000 |304008 | 0 | 0.0 |1107M| 71 | - |1580 |5364 | 0 | 0 | 0 | 111k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
448.52/448.80 c 430s|500000 |310457 | 0 | 0.0 |1118M| 71 | - |1580 |3500 | 0 | 0 | 0 | 113k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
457.50/457.71 c 439s|510000 |318732 | 0 | 0.0 |1137M| 71 | - |1580 |3586 | 0 | 0 | 0 | 114k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
468.70/468.93 c 450s|520000 |323523 | 0 | 0.0 |1157M| 71 | - |1580 |4025 | 0 | 0 | 0 | 118k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
478.80/479.09 c 459s|530000 |329756 | 0 | 0.0 |1176M| 71 | - |1580 |4139 | 0 | 0 | 0 | 121k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
488.69/488.93 c 469s|540000 |336276 | 0 | 0.0 |1192M| 71 | - |1580 |4434 | 0 | 0 | 0 | 124k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
498.19/498.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
498.19/498.41 c 478s|550000 |342767 | 0 | 0.0 |1209M| 71 | - |1580 |4534 | 0 | 0 | 0 | 126k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
507.79/508.08 c 487s|560000 |348991 | 0 | 0.0 |1224M| 71 | - |1580 |5012 | 0 | 0 | 0 | 129k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
517.28/517.57 c 496s|570000 |355016 | 0 | 0.0 |1238M| 71 | - |1580 |5499 | 0 | 0 | 0 | 132k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
527.08/527.32 c 506s|580000 |359769 | 0 | 0.0 |1251M| 71 | - |1580 |6709 | 0 | 0 | 0 | 136k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
537.97/538.22 c 516s|590000 |362162 | 0 | 0.0 |1260M| 72 | - |1580 |8052 | 0 | 0 | 0 | 141k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
547.77/548.08 c 526s|600000 |368999 | 0 | 0.0 |1271M| 72 | - |1580 |4099 | 0 | 0 | 0 | 143k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
556.07/556.37 c 534s|610000 |375360 | 0 | 0.0 |1283M| 72 | - |1580 |4892 | 0 | 0 | 0 | 145k| 0 |-3.600000e+01 |-6.000000e+00 | 83.33%
565.47/565.72 c 543s|620000 |377610 | 0 | 0.0 |1290M| 72 | - |1580 |5631 | 0 | 0 | 0 | 150k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
574.76/575.01 c 552s|630000 |386144 | 0 | 0.0 |1303M| 72 | - |1580 |3672 | 0 | 0 | 0 | 150k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
584.06/584.39 c 561s|640000 |393944 | 0 | 0.0 |1320M| 72 | - |1580 |3961 | 0 | 0 | 0 | 152k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
594.36/594.64 c 571s|650000 |400309 | 0 | 0.0 |1338M| 72 | - |1580 |4405 | 0 | 0 | 0 | 155k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
604.85/605.17 c 581s|660000 |406513 | 0 | 0.0 |1356M| 72 | - |1580 |4470 | 0 | 0 | 0 | 157k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
606.45/606.74 c (node 661604) switching to memory saving mode (mem: 1296.0M/1620.0M)
613.55/613.81 c 589s|670000 |407292 | 0 | 0.0 |1359M| 95 | - |1580 |6854 | 0 | 0 | 0 | 164k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
622.75/623.01 c 598s|680000 |406886 | 0 | 0.0 |1357M| 95 | - |1580 |7181 | 0 | 0 | 0 | 173k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
632.25/632.58 c 607s|690000 |406441 | 0 | 0.0 |1356M| 95 | - |1580 |7600 | 0 | 0 | 0 | 183k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
642.53/642.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
642.53/642.86 c 617s|700000 |405819 | 0 | 0.0 |1355M| 95 | - |1580 |8105 | 0 | 0 | 0 | 192k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
651.53/651.81 c 625s|710000 |405673 | 0 | 0.0 |1355M| 95 | - |1580 |8565 | 0 | 0 | 0 | 201k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
660.74/661.01 c 634s|720000 |405465 | 0 | 0.0 |1355M| 95 | - |1580 |8704 | 0 | 0 | 0 | 211k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
672.33/672.66 c 645s|730000 |404765 | 0 | 0.0 |1354M| 95 | - |1580 |9379 | 0 | 0 | 0 | 219k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
681.92/682.20 c 654s|740000 |404628 | 0 | 0.0 |1356M| 95 | - |1580 | 11k| 0 | 0 | 0 | 228k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
691.82/692.15 c 664s|750000 |404477 | 0 | 0.0 |1354M| 95 | - |1580 |9927 | 0 | 0 | 0 | 238k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
701.81/702.14 c 673s|760000 |404184 | 0 | 0.0 |1354M| 95 | - |1580 |9574 | 0 | 0 | 0 | 247k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
713.91/714.29 c 685s|770000 |403347 | 0 | 0.0 |1352M| 95 | - |1580 | 10k| 0 | 0 | 0 | 256k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
724.61/724.97 c 695s|780000 |403239 | 0 | 0.0 |1352M| 95 | - |1580 | 10k| 0 | 0 | 0 | 263k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
734.30/734.66 c 704s|790000 |403154 | 0 | 0.0 |1353M| 95 | - |1580 | 11k| 0 | 0 | 0 | 271k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
744.50/744.89 c 714s|800000 |403040 | 0 | 0.0 |1353M| 95 | - |1580 | 11k| 0 | 0 | 0 | 279k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
754.60/754.95 c 724s|810000 |402883 | 0 | 0.0 |1353M| 95 | - |1580 | 12k| 0 | 0 | 0 | 288k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
764.89/765.27 c 734s|820000 |402757 | 0 | 0.0 |1352M| 95 | - |1580 | 11k| 0 | 0 | 0 | 298k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
775.09/775.41 c 743s|830000 |402549 | 0 | 0.0 |1352M| 95 | - |1580 | 10k| 0 | 0 | 0 | 307k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
787.88/788.24 c 756s|840000 |401522 | 0 | 0.0 |1349M| 95 | - |1580 | 10k| 0 | 0 | 0 | 316k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
797.78/798.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
797.78/798.15 c 765s|850000 |401247 | 0 | 0.0 |1349M| 95 | - |1580 | 11k| 0 | 0 | 0 | 323k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
807.37/807.75 c 774s|860000 |401142 | 0 | 0.0 |1350M| 95 | - |1580 | 12k| 0 | 0 | 0 | 331k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
817.47/817.88 c 784s|870000 |401096 | 0 | 0.0 |1350M| 95 | - |1580 | 12k| 0 | 0 | 0 | 336k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
828.17/828.52 c 795s|880000 |401041 | 0 | 0.0 |1350M| 95 | - |1580 | 13k| 0 | 0 | 0 | 341k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
839.76/840.11 c 806s|890000 |400922 | 0 | 0.0 |1350M| 95 | - |1580 | 13k| 0 | 0 | 0 | 348k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
849.86/850.28 c 816s|900000 |400859 | 0 | 0.0 |1351M| 95 | - |1580 | 14k| 0 | 0 | 0 | 356k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
860.56/860.94 c 826s|910000 |400762 | 0 | 0.0 |1350M| 95 | - |1580 | 13k| 0 | 0 | 0 | 363k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
869.95/870.38 c 835s|920000 |400680 | 0 | 0.0 |1351M| 95 | - |1580 | 14k| 0 | 0 | 0 | 371k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
880.04/880.41 c 844s|930000 |400542 | 0 | 0.0 |1350M| 95 | - |1580 | 13k| 0 | 0 | 0 | 378k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
890.55/890.91 c 855s|940000 |400382 | 0 | 0.0 |1350M| 95 | - |1580 | 12k| 0 | 0 | 0 | 387k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
900.44/900.83 c 864s|950000 |400253 | 0 | 0.0 |1349M| 95 | - |1580 | 11k| 0 | 0 | 0 | 396k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
910.34/910.73 c 874s|960000 |400054 | 0 | 0.0 |1349M| 95 | - |1580 | 11k| 0 | 0 | 0 | 405k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
921.13/921.58 c 884s|970000 |399454 | 0 | 0.0 |1347M| 95 | - |1580 | 10k| 0 | 0 | 0 | 414k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
934.32/934.77 c 897s|980000 |398386 | 0 | 0.0 |1345M| 95 | - |1580 | 11k| 0 | 0 | 0 | 423k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
943.72/944.12 c 906s|990000 |398314 | 0 | 0.0 |1346M| 95 | - |1580 | 13k| 0 | 0 | 0 | 431k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
953.12/953.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
953.12/953.58 c 915s| 1000k|398237 | 0 | 0.0 |1346M| 95 | - |1580 | 13k| 0 | 0 | 0 | 437k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
962.61/963.09 c 924s| 1010k|398157 | 0 | 0.0 |1346M| 95 | - |1580 | 14k| 0 | 0 | 0 | 445k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
973.02/973.48 c 934s| 1020k|398109 | 0 | 0.0 |1347M| 95 | - |1580 | 15k| 0 | 0 | 0 | 452k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
984.01/984.47 c 945s| 1030k|398087 | 0 | 0.0 |1348M| 95 | - |1580 | 16k| 0 | 0 | 0 | 458k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
997.50/997.98 c 958s| 1040k|398048 | 0 | 0.0 |1347M| 95 | - |1580 | 16k| 0 | 0 | 0 | 463k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1010.40/1010.85 c 970s| 1050k|398029 | 0 | 0.0 |1348M| 95 | - |1580 | 16k| 0 | 0 | 0 | 469k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1025.19/1025.63 c 985s| 1060k|398018 | 0 | 0.0 |1350M| 95 | - |1580 | 18k| 0 | 0 | 0 | 475k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1038.68/1039.19 c 998s| 1070k|397985 | 0 | 0.0 |1349M| 95 | - |1580 | 17k| 0 | 0 | 0 | 480k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1050.38/1050.87 c 1009s| 1080k|397940 | 0 | 0.0 |1349M| 95 | - |1580 | 17k| 0 | 0 | 0 | 487k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1062.68/1063.14 c 1021s| 1090k|397861 | 0 | 0.0 |1348M| 95 | - |1580 | 16k| 0 | 0 | 0 | 493k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1073.47/1073.93 c 1032s| 1100k|397785 | 0 | 0.0 |1348M| 95 | - |1580 | 16k| 0 | 0 | 0 | 501k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1085.66/1086.14 c 1043s| 1110k|397720 | 0 | 0.0 |1348M| 95 | - |1580 | 17k| 0 | 0 | 0 | 509k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1096.76/1097.24 c 1054s| 1120k|397640 | 0 | 0.0 |1348M| 95 | - |1580 | 16k| 0 | 0 | 0 | 518k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1107.66/1108.12 c 1065s| 1130k|397555 | 0 | 0.0 |1348M| 95 | - |1580 | 17k| 0 | 0 | 0 | 526k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1118.66/1119.10 c 1075s| 1140k|397457 | 0 | 0.0 |1347M| 95 | - |1580 | 16k| 0 | 0 | 0 | 533k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1129.15/1129.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1129.15/1129.69 c 1085s| 1150k|397324 | 0 | 0.0 |1346M| 95 | - |1580 | 14k| 0 | 0 | 0 | 542k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1139.64/1140.10 c 1096s| 1160k|397241 | 0 | 0.0 |1347M| 95 | - |1580 | 15k| 0 | 0 | 0 | 550k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1151.25/1151.71 c 1107s| 1170k|397134 | 0 | 0.0 |1346M| 95 | - |1580 | 14k| 0 | 0 | 0 | 559k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1162.14/1162.62 c 1117s| 1180k|397016 | 0 | 0.0 |1346M| 95 | - |1580 | 13k| 0 | 0 | 0 | 568k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1172.43/1172.90 c 1127s| 1190k|396868 | 0 | 0.0 |1345M| 95 | - |1580 | 12k| 0 | 0 | 0 | 577k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1181.83/1182.38 c 1136s| 1200k|396632 | 0 | 0.0 |1345M| 95 | - |1580 | 12k| 0 | 0 | 0 | 585k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1192.82/1193.30 c 1147s| 1210k|396108 | 0 | 0.0 |1344M| 95 | - |1580 | 12k| 0 | 0 | 0 | 594k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1206.02/1206.56 c 1160s| 1220k|395149 | 0 | 0.0 |1341M| 95 | - |1580 | 12k| 0 | 0 | 0 | 604k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1217.12/1217.68 c 1170s| 1230k|394734 | 0 | 0.0 |1341M| 95 | - |1580 | 14k| 0 | 0 | 0 | 613k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1227.81/1228.38 c 1181s| 1240k|394698 | 0 | 0.0 |1342M| 95 | - |1580 | 15k| 0 | 0 | 0 | 621k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1238.71/1239.27 c 1191s| 1250k|394662 | 0 | 0.0 |1342M| 95 | - |1580 | 16k| 0 | 0 | 0 | 627k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1249.39/1249.99 c 1202s| 1260k|394575 | 0 | 0.0 |1342M| 95 | - |1580 | 16k| 0 | 0 | 0 | 634k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1260.00/1260.50 c 1212s| 1270k|394484 | 0 | 0.0 |1342M| 95 | - |1580 | 16k| 0 | 0 | 0 | 642k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1270.90/1271.40 c 1222s| 1280k|394416 | 0 | 0.0 |1342M| 95 | - |1580 | 17k| 0 | 0 | 0 | 650k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1282.29/1282.82 c 1233s| 1290k|394368 | 0 | 0.0 |1342M| 95 | - |1580 | 17k| 0 | 0 | 0 | 657k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1292.78/1293.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1292.78/1293.36 c 1244s| 1300k|394338 | 0 | 0.0 |1344M| 95 | - |1580 | 19k| 0 | 0 | 0 | 663k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1306.58/1307.14 c 1257s| 1310k|394305 | 0 | 0.0 |1343M| 95 | - |1580 | 18k| 0 | 0 | 0 | 668k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1319.57/1320.18 c 1270s| 1320k|394287 | 0 | 0.0 |1344M| 95 | - |1580 | 19k| 0 | 0 | 0 | 675k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1335.37/1335.92 c 1285s| 1330k|394265 | 0 | 0.0 |1344M| 95 | - |1580 | 20k| 0 | 0 | 0 | 680k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1348.16/1348.78 c 1298s| 1340k|394248 | 0 | 0.0 |1345M| 95 | - |1580 | 21k| 0 | 0 | 0 | 686k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1360.45/1361.06 c 1310s| 1350k|394216 | 0 | 0.0 |1345M| 95 | - |1580 | 21k| 0 | 0 | 0 | 692k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1375.35/1375.96 c 1324s| 1360k|394167 | 0 | 0.0 |1345M| 95 | - |1580 | 22k| 0 | 0 | 0 | 699k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1389.25/1389.80 c 1338s| 1370k|394095 | 0 | 0.0 |1344M| 95 | - |1580 | 19k| 0 | 0 | 0 | 707k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1401.65/1402.21 c 1350s| 1380k|394036 | 0 | 0.0 |1344M| 95 | - |1580 | 20k| 0 | 0 | 0 | 715k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1414.64/1415.26 c 1362s| 1390k|393961 | 0 | 0.0 |1344M| 95 | - |1580 | 21k| 0 | 0 | 0 | 721k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1427.24/1427.89 c 1375s| 1400k|393886 | 0 | 0.0 |1344M| 95 | - |1580 | 20k| 0 | 0 | 0 | 729k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1439.83/1440.46 c 1387s| 1410k|393786 | 0 | 0.0 |1343M| 95 | - |1580 | 19k| 0 | 0 | 0 | 738k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1451.12/1451.73 c 1398s| 1420k|393704 | 0 | 0.0 |1342M| 95 | - |1580 | 18k| 0 | 0 | 0 | 746k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1462.33/1462.93 c 1409s| 1430k|393610 | 0 | 0.0 |1342M| 95 | - |1580 | 18k| 0 | 0 | 0 | 753k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1474.11/1474.72 c 1420s| 1440k|393489 | 0 | 0.0 |1342M| 95 | - |1580 | 18k| 0 | 0 | 0 | 763k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1485.31/1485.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1485.31/1485.96 c 1431s| 1450k|393382 | 0 | 0.0 |1341M| 95 | - |1580 | 16k| 0 | 0 | 0 | 771k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1497.21/1497.84 c 1442s| 1460k|393308 | 0 | 0.0 |1341M| 95 | - |1580 | 16k| 0 | 0 | 0 | 780k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1508.51/1509.10 c 1453s| 1470k|393196 | 0 | 0.0 |1341M| 95 | - |1580 | 16k| 0 | 0 | 0 | 789k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1519.79/1520.42 c 1464s| 1480k|393113 | 0 | 0.0 |1341M| 95 | - |1580 | 15k| 0 | 0 | 0 | 798k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1530.79/1531.41 c 1475s| 1490k|392994 | 0 | 0.0 |1340M| 95 | - |1580 | 13k| 0 | 0 | 0 | 807k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1541.39/1542.00 c 1485s| 1500k|392889 | 0 | 0.0 |1340M| 95 | - |1580 | 12k| 0 | 0 | 0 | 817k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1550.79/1551.43 c 1494s| 1510k|392729 | 0 | 0.0 |1339M| 95 | - |1580 | 11k| 0 | 0 | 0 | 825k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1560.29/1560.99 c 1503s| 1520k|392381 | 0 | 0.0 |1339M| 95 | - |1580 | 12k| 0 | 0 | 0 | 833k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1570.97/1571.63 c 1513s| 1530k|391866 | 0 | 0.0 |1337M| 95 | - |1580 | 12k| 0 | 0 | 0 | 842k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1583.87/1584.50 c 1526s| 1540k|390971 | 0 | 0.0 |1333M| 95 | - |1580 | 11k| 0 | 0 | 0 | 852k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1595.17/1595.84 c 1537s| 1550k|390380 | 0 | 0.0 |1334M| 95 | - |1580 | 14k| 0 | 0 | 0 | 861k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1604.96/1605.64 c 1546s| 1560k|390310 | 0 | 0.0 |1334M| 95 | - |1580 | 15k| 0 | 0 | 0 | 868k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1615.56/1616.21 c 1556s| 1570k|390282 | 0 | 0.0 |1335M| 95 | - |1580 | 17k| 0 | 0 | 0 | 874k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1628.15/1628.83 c 1569s| 1580k|390240 | 0 | 0.0 |1336M| 95 | - |1580 | 18k| 0 | 0 | 0 | 882k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1640.35/1641.05 c 1581s| 1590k|390186 | 0 | 0.0 |1335M| 95 | - |1580 | 18k| 0 | 0 | 0 | 889k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1650.95/1651.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1650.95/1651.67 c 1591s| 1600k|390094 | 0 | 0.0 |1335M| 95 | - |1580 | 18k| 0 | 0 | 0 | 897k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1662.45/1663.10 c 1602s| 1610k|390025 | 0 | 0.0 |1335M| 95 | - |1580 | 19k| 0 | 0 | 0 | 904k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1675.33/1676.01 c 1614s| 1620k|389972 | 0 | 0.0 |1336M| 95 | - |1580 | 19k| 0 | 0 | 0 | 911k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1689.63/1690.38 c 1628s| 1630k|389958 | 0 | 0.0 |1337M| 95 | - |1580 | 20k| 0 | 0 | 0 | 917k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1704.92/1705.62 c 1643s| 1640k|389946 | 0 | 0.0 |1337M| 95 | - |1580 | 21k| 0 | 0 | 0 | 923k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1721.82/1722.57 c 1660s| 1650k|389921 | 0 | 0.0 |1338M| 95 | - |1580 | 22k| 0 | 0 | 0 | 929k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1736.12/1736.82 c 1674s| 1660k|389832 | 0 | 0.0 |1337M| 95 | - |1580 | 22k| 0 | 0 | 0 | 938k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1750.71/1751.40 c 1688s| 1670k|389788 | 0 | 0.0 |1338M| 95 | - |1580 | 22k| 0 | 0 | 0 | 945k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1764.60/1765.38 c 1702s| 1680k|389690 | 0 | 0.0 |1337M| 95 | - |1580 | 21k| 0 | 0 | 0 | 954k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1778.59/1779.33 c 1715s| 1690k|389649 | 0 | 0.0 |1337M| 95 | - |1580 | 22k| 0 | 0 | 0 | 962k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1791.79/1792.53 c 1728s| 1700k|389575 | 0 | 0.0 |1337M| 95 | - |1580 | 22k| 0 | 0 | 0 | 970k| 0 |-3.500000e+01 |-6.000000e+00 | 82.86%
1800.09/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.81 c
1800.09/1800.81 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.81 c Solving Time (sec) : 1736.03
1800.09/1800.81 c Solving Nodes : 1706301
1800.09/1800.81 c Primal Bound : -6.00000000000000e+00 (8 solutions)
1800.09/1800.81 c Dual Bound : -3.50000000000000e+01
1800.09/1800.81 c Gap : 82.86 %
1800.09/1800.81 s SATISFIABLE
1800.09/1800.81 v -x84 -x71 -x52 -x90 -x85 x82 -x77 -x75 -x54 -x56 -x95 -x98 -x83 -x87 -x51 -x86 -x79 -x72 -x69 -x67 -x63 -x60 -x59 -x58 -x57 -x64
1800.09/1800.81 v -x97 -x61 -x92 -x66 -x73 -x53 -x81 -x68 -x74 -x55 x88 x94 -x100 -x80 x93 x96 -x78 -x65 -x99 x62 -x76 -x89 -x70 -x91 -x50 -x49
1800.09/1800.81 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.09/1800.81 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.09/1800.81 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.81 c Solving Time : 1736.03
1800.09/1800.81 c Original Problem :
1800.09/1800.81 c Problem name : HOME/instance-2663875-1276669806.opb
1800.09/1800.81 c Variables : 1580 (1580 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.81 c Constraints : 1631 initial, 1631 maximal
1800.09/1800.81 c Presolved Problem :
1800.09/1800.81 c Problem name : t_HOME/instance-2663875-1276669806.opb
1800.09/1800.81 c Variables : 1580 (1580 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.81 c Constraints : 1631 initial, 24238 maximal
1800.09/1800.81 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.81 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.81 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.81 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.81 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.81 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.81 c probing : 0.03 0 0 0 0 0 0 0 0
1800.09/1800.81 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.81 c and : 0.17 0 0 0 0 0 0 0 0
1800.09/1800.81 c linear : 0.01 0 0 0 0 0 0 0 0
1800.09/1800.81 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.81 c root node : - 0 - - 0 - - - -
1800.09/1800.81 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.81 c integral : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.81 c setppc : 100 0 5979890 0 1100087 81070 3413566 0 0 0
1800.09/1800.81 c and : 1480 0 5901071 0 1100707 4590 25301227 0 0 0
1800.09/1800.81 c linear : 1 0 5896208 0 1100755 136432 4719192 0 0 0
1800.09/1800.81 c logicor : 50+ 0 1638457 0 850715 33235 950845 0 0 0
1800.09/1800.81 c countsols : 0 0 0 0 1100760 0 0 0 0 0
1800.09/1800.81 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.81 c integral : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.81 c setppc : 57.83 0.00 15.71 0.00 42.12
1800.09/1800.81 c and : 99.05 0.00 97.03 0.00 2.02
1800.09/1800.81 c linear : 115.90 0.00 114.92 0.00 0.98
1800.09/1800.81 c logicor : 456.95 0.00 454.25 0.00 2.70
1800.09/1800.81 c countsols : 0.43 0.00 0.00 0.00 0.43
1800.09/1800.81 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.81 c vbounds : 3.10 2 0 0
1800.09/1800.81 c rootredcost : 2.92 0 0 0
1800.09/1800.81 c pseudoobj : 156.25 6431312 449184 666706
1800.09/1800.81 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.81 c propagation : 141.49 704511 542601 2555375 68.9 894 39.3 -
1800.09/1800.81 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.81 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.81 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.81 c pseudo solution : 0.02 32 32 162 28.7 0 0.0 -
1800.09/1800.81 c applied globally : - - - 976319 63.6 - - -
1800.09/1800.81 c applied locally : - - - 0 0.0 - - -
1800.09/1800.81 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.81 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.09/1800.81 c redcost : 0.00 0 0 0 0 0
1800.09/1800.81 c impliedbounds : 0.00 0 0 0 0 0
1800.09/1800.81 c intobj : 0.00 0 0 0 0 0
1800.09/1800.81 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.81 c gomory : 0.00 0 0 0 0 0
1800.09/1800.81 c strongcg : 0.00 0 0 0 0 0
1800.09/1800.81 c cmir : 0.00 0 0 0 0 0
1800.09/1800.81 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.81 c clique : 0.00 0 0 0 0 0
1800.09/1800.81 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.81 c mcf : 0.00 0 0 0 0 0
1800.09/1800.81 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.81 c Pricers : Time Calls Vars
1800.09/1800.81 c problem variables: 0.00 0 0
1800.09/1800.81 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.81 c relpscost : 0.00 0 0 0 0 0 0
1800.09/1800.81 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.81 c inference : 54.33 1100755 0 0 0 0 2201510
1800.09/1800.81 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.81 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.81 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.81 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.81 c random : 0.00 0 0 0 0 0 0
1800.09/1800.81 c Primal Heuristics : Time Calls Found
1800.09/1800.81 c LP solutions : 0.00 - 0
1800.09/1800.81 c pseudo solutions : 0.02 - 5
1800.09/1800.81 c oneopt : 1.43 0 0
1800.09/1800.81 c trivial : 0.01 2 3
1800.09/1800.81 c simplerounding : 0.00 0 0
1800.09/1800.81 c zirounding : 0.00 0 0
1800.09/1800.81 c rounding : 0.00 0 0
1800.09/1800.81 c shifting : 0.00 0 0
1800.09/1800.81 c intshifting : 0.00 0 0
1800.09/1800.81 c twoopt : 0.00 0 0
1800.09/1800.81 c fixandinfer : 0.00 0 0
1800.09/1800.81 c feaspump : 0.00 0 0
1800.09/1800.81 c coefdiving : 0.00 0 0
1800.09/1800.81 c pscostdiving : 0.00 0 0
1800.09/1800.81 c fracdiving : 0.00 0 0
1800.09/1800.81 c veclendiving : 0.00 0 0
1800.09/1800.81 c intdiving : 0.00 0 0
1800.09/1800.81 c actconsdiving : 0.00 0 0
1800.09/1800.81 c objpscostdiving : 0.00 0 0
1800.09/1800.81 c rootsoldiving : 0.00 0 0
1800.09/1800.81 c linesearchdiving : 0.00 0 0
1800.09/1800.81 c guideddiving : 0.00 0 0
1800.09/1800.81 c octane : 0.00 0 0
1800.09/1800.81 c rens : 0.00 0 0
1800.09/1800.81 c rins : 0.00 0 0
1800.09/1800.81 c localbranching : 0.00 0 0
1800.09/1800.81 c mutation : 0.00 0 0
1800.09/1800.81 c crossover : 0.00 0 0
1800.09/1800.81 c dins : 0.00 0 0
1800.09/1800.81 c undercover : 0.00 0 0
1800.09/1800.81 c nlp : 0.98 0 0
1800.09/1800.81 c trysol : 1.10 0 0
1800.09/1800.81 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.81 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.81 c dual LP : 0.00 0 0 0.00 -
1800.09/1800.81 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.81 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.81 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.81 c strong branching : 0.00 0 0 0.00 -
1800.09/1800.81 c (at root node) : - 0 0 0.00 -
1800.09/1800.81 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.81 c B&B Tree :
1800.09/1800.81 c number of runs : 1
1800.09/1800.81 c nodes : 1706301
1800.09/1800.81 c nodes (total) : 1706301
1800.09/1800.81 c nodes left : 389525
1800.09/1800.81 c max depth : 95
1800.09/1800.81 c max depth (total): 95
1800.09/1800.81 c backtracks : 186796 (10.9%)
1800.09/1800.81 c delayed cutoffs : 104774
1800.09/1800.81 c repropagations : 2268314 (3791011 domain reductions, 99002 cutoffs)
1800.09/1800.81 c avg switch length: 7.09
1800.09/1800.81 c switching time : 583.41
1800.09/1800.81 c Solution :
1800.09/1800.81 c Solutions found : 8 (6 improvements)
1800.09/1800.81 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.09/1800.81 c Primal Bound : -6.00000000000000e+00 (in run 1, after 319104 nodes, 267.53 seconds, depth 42, found by <relaxation>)
1800.09/1800.81 c Dual Bound : -3.50000000000000e+01
1800.09/1800.81 c Gap : 82.86 %
1800.09/1800.81 c Root Dual Bound : -5.00000000000000e+01
1800.09/1800.81 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-2663875-1276669806/watcher-2663875-1276669806 -o /tmp/evaluation-result-2663875-1276669806/solver-2663875-1276669806 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663875-1276669806.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.01 1.06 3/106 9257
/proc/meminfo: memFree=1760140/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=6584 CPUtime=0
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 973 0 0 0 0 0 0 0 20 0 1 0 40636909 6742016 896 1992294400 4194304 7136930 140733616774672 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9257/statm: 1646 905 254 719 0 925 0
[startup+0.0267201 s]
/proc/loadavg: 1.00 1.01 1.06 3/106 9257
/proc/meminfo: memFree=1760140/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=9860 CPUtime=0.02
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 1940 0 0 0 2 0 0 0 20 0 1 0 40636909 10096640 1863 1992294400 4194304 7136930 140733616774672 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9257/statm: 2465 1863 272 719 0 1744 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9860
[startup+0.100734 s]
/proc/loadavg: 1.00 1.01 1.06 3/106 9257
/proc/meminfo: memFree=1760140/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=15008 CPUtime=0.09
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 3654 0 0 0 6 3 0 0 20 0 1 0 40636909 15368192 2966 1992294400 4194304 7136930 140733616774672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9257/statm: 3752 2966 333 719 0 3031 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15008
[startup+0.30077 s]
/proc/loadavg: 1.00 1.01 1.06 3/106 9257
/proc/meminfo: memFree=1760140/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=16344 CPUtime=0.29
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 5302 0 0 0 16 13 0 0 20 0 1 0 40636909 16736256 3329 1992294400 4194304 7136930 140733616774672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9257/statm: 4086 3329 361 719 0 3365 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16344
[startup+0.700845 s]
/proc/loadavg: 1.00 1.01 1.06 3/106 9257
/proc/meminfo: memFree=1760140/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=19968 CPUtime=0.69
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 6500 0 0 0 48 21 0 0 20 0 1 0 40636909 20447232 4270 1992294400 4194304 7136930 140733616774672 18446744073709551615 4660913 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9257/statm: 4992 4270 393 719 0 4271 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19968
[startup+1.50099 s]
/proc/loadavg: 1.00 1.01 1.06 2/107 9258
/proc/meminfo: memFree=1743392/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=23968 CPUtime=1.49
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 7486 0 0 0 124 25 0 0 22 0 1 0 40636909 24543232 5256 1992294400 4194304 7136930 140733616774672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9257/statm: 5992 5256 393 719 0 5271 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23968
[startup+3.10129 s]
/proc/loadavg: 1.00 1.01 1.05 2/107 9258
/proc/meminfo: memFree=1738184/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=32832 CPUtime=3.09
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 9563 0 0 0 276 33 0 0 25 0 1 0 40636909 33619968 7333 1992294400 4194304 7136930 140733616774672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9257/statm: 8208 7333 393 719 0 7487 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32832
[startup+6.30089 s]
/proc/loadavg: 1.00 1.01 1.05 2/107 9258
/proc/meminfo: memFree=1715988/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=57636 CPUtime=6.29
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 15062 0 0 0 581 48 0 0 25 0 1 0 40636909 59019264 12832 1992294400 4194304 7136930 140733616774672 18446744073709551615 4780873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9257/statm: 14409 12832 393 719 0 13688 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 57636
[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 9258
/proc/meminfo: memFree=1679532/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=96600 CPUtime=12.68
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 23389 0 0 0 1190 78 0 0 25 0 1 0 40636909 98918400 21159 1992294400 4194304 7136930 140733616774672 18446744073709551615 6000517 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9257/statm: 24150 21159 393 719 0 23429 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 96600
[startup+25.5005 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 9258
/proc/meminfo: memFree=1610712/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=176592 CPUtime=25.48
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 40090 0 0 0 2414 134 0 0 25 0 1 0 40636909 180830208 37860 1992294400 4194304 7136930 140733616774672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9257/statm: 44148 37860 393 719 0 43427 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 176592
[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 9258
/proc/meminfo: memFree=1497748/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=310100 CPUtime=51.07
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 68402 0 0 0 4861 246 0 0 25 0 1 0 40636909 317542400 66172 1992294400 4194304 7136930 140733616774672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9257/statm: 77525 66172 393 719 0 76804 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 310100
[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 9260
/proc/meminfo: memFree=1302200/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=536980 CPUtime=102.25
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 116721 0 0 0 9761 464 0 0 25 0 1 0 40636909 549867520 114491 1992294400 4194304 7136930 140733616774672 18446744073709551615 4210454 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9257/statm: 134245 114491 393 719 0 133524 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 536980
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 9262
/proc/meminfo: memFree=1117068/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=760592 CPUtime=162.23
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 163498 0 0 0 15503 720 0 0 25 0 1 0 40636909 778846208 161268 1992294400 4194304 7136930 140733616774672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9257/statm: 190148 161268 393 719 0 189427 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 760592
[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 9264
/proc/meminfo: memFree=967524/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=922408 CPUtime=222.2
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 200159 0 0 0 21245 975 0 0 25 0 1 0 40636909 944545792 197929 1992294400 4194304 7136930 140733616774672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9257/statm: 230602 197929 393 719 0 229881 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 922408
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 9264
/proc/meminfo: memFree=814012/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=1108640 CPUtime=282.18
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 238757 0 0 0 26999 1219 0 0 25 0 1 0 40636909 1135247360 236527 1992294400 4194304 7136930 140733616774672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9257/statm: 277160 236527 393 719 0 276439 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 1108640
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 9266
/proc/meminfo: memFree=714564/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=1202080 CPUtime=342.15
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 263316 0 0 0 32767 1448 0 0 25 0 1 0 40636909 1230929920 261086 1992294400 4194304 7136930 140733616774672 18446744073709551615 4780277 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9257/statm: 300520 261086 393 719 0 299799 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 1202080
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 9268
/proc/meminfo: memFree=587588/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=1333588 CPUtime=402.13
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 295052 0 0 0 38543 1670 0 0 25 0 1 0 40636909 1365594112 292822 1992294400 4194304 7136930 140733616774672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9257/statm: 333397 292822 393 719 0 332676 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 1333588
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 9270
/proc/meminfo: memFree=487520/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=1442504 CPUtime=462.11
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 319904 0 0 0 44329 1882 0 0 25 0 1 0 40636909 1477124096 317674 1992294400 4194304 7136930 140733616774672 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9257/statm: 360626 317674 393 719 0 359905 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 1442504
[startup+522.301 s]
/proc/loadavg: 1.05 1.01 1.01 2/107 9275
/proc/meminfo: memFree=383608/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=1554652 CPUtime=522.08
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 345655 0 0 0 50093 2115 0 0 25 0 1 0 40636909 1591963648 343425 1992294400 4194304 7136930 140733616774672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9257/statm: 388663 343425 393 719 0 387942 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 1554652
[startup+582.301 s]
/proc/loadavg: 1.05 1.02 1.01 2/107 9275
/proc/meminfo: memFree=309828/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=1629160 CPUtime=582.06
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 364195 0 0 0 55886 2320 0 0 25 0 1 0 40636909 1668259840 361965 1992294400 4194304 7136930 140733616774672 18446744073709551615 4678299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9257/statm: 407290 361965 393 719 0 406569 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 1629160
[startup+642.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 9277
/proc/meminfo: memFree=258244/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=1679488 CPUtime=642.05
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 378347 0 0 0 61603 2602 0 0 25 0 1 0 40636909 1719795712 374522 1992294400 4194304 7136930 140733616774672 18446744073709551615 5958430 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9257/statm: 419872 374522 393 719 0 419151 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 1679488
[startup+702.301 s]
################
# More data... #
################
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 380614 0 0 0 107833 4352 0 0 25 0 1 0 40636909 1728278528 376789 1992294400 4194304 7136930 140733616774672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9257/statm: 421943 376789 394 719 0 421222 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 1687772
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9291
/proc/meminfo: memFree=248200/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=1687968 CPUtime=1181.83
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 380717 0 0 0 113605 4578 0 0 25 0 1 0 40636909 1728479232 376892 1992294400 4194304 7136930 140733616774672 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9257/statm: 421992 376892 394 719 0 421271 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 1687968
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9293
/proc/meminfo: memFree=248076/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=1688164 CPUtime=1241.81
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 380760 0 0 0 119416 4765 0 0 25 0 1 0 40636909 1728679936 376935 1992294400 4194304 7136930 140733616774672 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9257/statm: 422041 376935 394 719 0 421320 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 1688164
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9295
/proc/meminfo: memFree=247580/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=1688792 CPUtime=1301.78
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 380873 0 0 0 125235 4943 0 0 25 0 1 0 40636909 1729323008 377048 1992294400 4194304 7136930 140733616774672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9257/statm: 422198 377048 394 719 0 421477 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 1688792
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9297
/proc/meminfo: memFree=246216/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=1689816 CPUtime=1361.76
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 381184 0 0 0 131088 5088 0 0 25 0 1 0 40636909 1730371584 377359 1992294400 4194304 7136930 140733616774672 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9257/statm: 422454 377359 394 719 0 421733 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 1689816
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9299
/proc/meminfo: memFree=244852/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=1691156 CPUtime=1421.74
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 381523 0 0 0 136922 5252 0 0 25 0 1 0 40636909 1731743744 377698 1992294400 4194304 7136930 140733616774672 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9257/statm: 422789 377698 394 719 0 422068 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 1691156
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9299
/proc/meminfo: memFree=244356/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=1692172 CPUtime=1481.71
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 381616 0 0 0 142737 5434 0 0 25 0 1 0 40636909 1732784128 377791 1992294400 4194304 7136930 140733616774672 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9257/statm: 423043 377791 394 719 0 422322 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 1692172
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9301
/proc/meminfo: memFree=243860/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=1693196 CPUtime=1541.69
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 381749 0 0 0 148506 5663 0 0 25 0 1 0 40636909 1733832704 377924 1992294400 4194304 7136930 140733616774672 18446744073709551615 4704780 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9257/statm: 423299 377924 394 719 0 422578 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 1693196
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9303
/proc/meminfo: memFree=243612/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=1693196 CPUtime=1601.67
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 381783 0 0 0 154303 5864 0 0 25 0 1 0 40636909 1733832704 377958 1992294400 4194304 7136930 140733616774672 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9257/statm: 423299 377958 394 719 0 422578 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 1693196
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9305
/proc/meminfo: memFree=243488/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=1693196 CPUtime=1661.64
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 381784 0 0 0 160114 6050 0 0 25 0 1 0 40636909 1733832704 377959 1992294400 4194304 7136930 140733616774672 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9257/statm: 423299 377959 394 719 0 422578 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 1693196
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9307
/proc/meminfo: memFree=243364/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=1693416 CPUtime=1721.62
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 381814 0 0 0 165968 6194 0 0 25 0 1 0 40636909 1734057984 377989 1992294400 4194304 7136930 140733616774672 18446744073709551615 4670720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9257/statm: 423354 377989 394 719 0 422633 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 1693416
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9307
/proc/meminfo: memFree=242248/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=1694928 CPUtime=1781.59
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 382088 0 0 0 171809 6350 0 0 25 0 1 0 40636909 1735606272 378263 1992294400 4194304 7136930 140733616774672 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9257/statm: 423732 378263 394 719 0 423011 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 1694928
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9309
/proc/meminfo: memFree=242124/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=1694928 CPUtime=1800.09
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 382088 0 0 0 173605 6404 0 0 25 0 1 0 40636909 1735606272 378263 1992294400 4194304 7136930 140733616774672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9257/statm: 423732 378263 394 719 0 423011 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1694928
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9257
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 9309
/proc/meminfo: memFree=242124/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=1695128 CPUtime=1800.68
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 382143 0 0 0 173664 6404 0 0 25 0 1 0 40636909 1735811072 378318 1992294400 4194304 7136930 140733616774672 18446744073709551615 4616629 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9257/statm: 423782 378318 399 719 0 423061 0
Current children cumulated CPU time (s) 1800.68
Current children cumulated vsize (KiB) 1695128
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9310
/proc/meminfo: memFree=241992/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=1695128 CPUtime=1801.48
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 382143 0 0 0 173744 6404 0 0 25 0 1 0 40636909 1735811072 378318 1992294400 4194304 7136930 140733616774672 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9257/statm: 423782 378318 399 719 0 423061 0
Current children cumulated CPU time (s) 1801.48
Current children cumulated vsize (KiB) 1695128
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9310
/proc/meminfo: memFree=241992/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=1695128 CPUtime=1801.88
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 382143 0 0 0 173784 6404 0 0 25 0 1 0 40636909 1735811072 378318 1992294400 4194304 7136930 140733616774672 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9257/statm: 423782 378318 399 719 0 423061 0
Current children cumulated CPU time (s) 1801.88
Current children cumulated vsize (KiB) 1695128
[startup+1802.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9310
/proc/meminfo: memFree=241992/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=1695128 CPUtime=1802.09
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4202496 382143 0 0 0 173805 6404 0 0 25 0 1 0 40636909 1735811072 378318 1992294400 4194304 7136930 140733616774672 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9257/statm: 423782 378318 399 719 0 423061 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 1695128
[startup+1802.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9310
/proc/meminfo: memFree=241992/2059040 swapFree=4140352/4192956
[pid=9257] ppid=9255 vsize=0 CPUtime=1802.19
/proc/9257/stat : 9257 (pbscip.linux.x8) R 9255 9257 9043 0 -1 4203524 382143 0 0 0 173805 6414 0 0 25 0 1 0 40636909 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9257/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.19
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.97
CPU time (s): 1802.26
CPU user time (s): 1738.06
CPU system time (s): 64.2042
CPU usage (%): 99.9607
Max. virtual memory (cumulated for all children) (KiB): 1695128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1738.06
system time used= 64.2042
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 382143
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= 4
involuntary context switches= 6244
runsolver used 2.86556 second user time and 8.64069 second system time
The end