0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3690869-1338018736.opb>
0.00/0.01 c original problem has 540 variables (540 bin, 0 int, 0 impl, 0 cont) and 4476 constraints
0.00/0.01 c problem read in 0.01
0.00/0.03 c presolving:
0.03/0.06 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 4476 upgd conss, 1260 impls, 210 clqs
0.08/0.10 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 3360 chg sides, 5040 chg coeffs, 4476 upgd conss, 1260 impls, 210 clqs
0.08/0.13 c (0.1s) probing: 51/540 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.08/0.13 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.08/0.13 c presolving (3 rounds):
0.08/0.13 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 3360 changed sides, 5040 changed coefficients
0.08/0.13 c 1260 implications, 210 cliques
0.08/0.13 c presolved problem has 540 variables (540 bin, 0 int, 0 impl, 0 cont) and 4476 constraints
0.08/0.13 c 1734 constraints of type <knapsack>
0.08/0.13 c 840 constraints of type <setppc>
0.08/0.13 c 1902 constraints of type <logicor>
0.08/0.13 c transformed objective value is always integral (scale: 1)
0.08/0.13 c Presolving Time: 0.11
0.08/0.13 c - non default parameters ----------------------------------------------------------------------
0.08/0.13 c # SCIP version 2.1.1.4
0.08/0.13 c
0.08/0.13 c # maximal time in seconds to run
0.08/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.13 c limits/time = 1797
0.08/0.13 c
0.08/0.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.08/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.13 c limits/memory = 13950
0.08/0.13 c
0.08/0.13 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.08/0.13 c # [type: int, range: [1,2], default: 1]
0.08/0.13 c timing/clocktype = 2
0.08/0.13 c
0.08/0.13 c # belongs reading time to solving time?
0.08/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.13 c timing/reading = TRUE
0.08/0.13 c
0.08/0.13 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.08/0.13 c # [type: int, range: [-1,2147483647], default: -1]
0.08/0.13 c separating/rapidlearning/freq = 0
0.08/0.13 c
0.08/0.13 c -----------------------------------------------------------------------------------------------
0.08/0.13 c start solving
0.08/0.13 c
0.39/0.40 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.40 c 0.4s| 1 | 0 | 1575 | - |9441k| 0 | 245 | 540 |4516 | 540 |4476 | 0 | 40 | 0 | 4.800000e+01 | -- | Inf
4.89/4.99 o 70
4.89/4.99 c y 5.0s| 1 | 0 | 12565 | - | 13M| 0 | 245 | 540 |4516 | 540 |4476 | 0 | 40 | 0 | 4.800000e+01 | 7.000000e+01 | 45.83%
5.09/5.12 c 5.1s| 1 | 0 | 12792 | - | 12M| 0 | 256 | 540 |4999 | 540 |4486 | 10 | 40 | 0 | 4.800000e+01 | 7.000000e+01 | 45.83%
5.69/5.77 c 5.8s| 1 | 0 | 13081 | - | 14M| 0 | 264 | 540 |4999 | 540 |4496 | 20 | 40 | 0 | 4.800000e+01 | 7.000000e+01 | 45.83%
6.39/6.47 c 6.5s| 1 | 0 | 13243 | - | 16M| 0 | 269 | 540 |4999 | 540 |4505 | 29 | 40 | 0 | 4.800000e+01 | 7.000000e+01 | 45.83%
6.89/6.93 c 6.9s| 1 | 0 | 13466 | - | 18M| 0 | 269 | 540 |4999 | 540 |4515 | 39 | 40 | 0 | 4.800000e+01 | 7.000000e+01 | 45.83%
7.60/7.65 c 7.7s| 1 | 0 | 13585 | - | 20M| 0 | 276 | 540 |4999 | 540 |4524 | 48 | 40 | 0 | 4.800000e+01 | 7.000000e+01 | 45.83%
8.39/8.41 c 8.4s| 1 | 0 | 13774 | - | 23M| 0 | 270 | 540 |4999 | 540 |4534 | 58 | 40 | 0 | 4.800000e+01 | 7.000000e+01 | 45.83%
9.59/9.69 c 9.7s| 1 | 2 | 13774 | - | 23M| 0 | 270 | 540 |4999 | 540 |4534 | 58 | 40 | 11 | 4.800000e+01 | 7.000000e+01 | 45.83%
44.67/44.72 c 44.7s| 100 | 97 | 57977 | 446.5 | 23M| 26 | 233 | 540 |5026 | 540 |4513 | 58 | 67 | 286 | 4.800000e+01 | 7.000000e+01 | 45.83%
55.27/55.37 c 55.4s| 200 | 193 | 92893 | 397.6 | 24M| 28 | 225 | 540 |5058 | 540 |4513 | 58 | 99 | 342 | 4.800000e+01 | 7.000000e+01 | 45.83%
79.77/79.89 c 79.9s| 300 | 293 |182754 | 565.2 | 24M| 28 | 230 | 540 |5229 | 540 |4513 | 58 | 270 | 414 | 4.800000e+01 | 7.000000e+01 | 45.83%
95.86/95.97 c 96.0s| 400 | 387 |236024 | 557.0 | 24M| 28 | 221 | 540 |5274 | 540 |4513 | 58 | 342 | 510 | 4.800000e+01 | 7.000000e+01 | 45.83%
108.26/108.39 c 108s| 500 | 483 |282881 | 539.3 | 25M| 28 | 159 | 540 |5284 | 540 |4513 | 58 | 408 | 589 | 4.800000e+01 | 7.000000e+01 | 45.83%
116.96/117.07 c 117s| 600 | 579 |320058 | 511.3 | 25M| 28 | 235 | 540 |5247 | 540 |4513 | 58 | 453 | 605 | 4.800000e+01 | 7.000000e+01 | 45.83%
133.06/133.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
133.06/133.19 c 133s| 700 | 677 |379451 | 523.1 | 25M| 28 | - | 540 |5194 | 0 | 0 | 58 | 482 | 690 | 4.800000e+01 | 7.000000e+01 | 45.83%
142.76/142.84 c 143s| 800 | 775 |413672 | 500.5 | 25M| 28 | 186 | 540 |5146 | 540 |4513 | 58 | 513 | 752 | 4.800000e+01 | 7.000000e+01 | 45.83%
153.05/153.17 c 153s| 900 | 865 |448804 | 483.9 | 26M| 31 | 168 | 540 |5150 | 540 |4513 | 58 | 571 | 836 | 4.800000e+01 | 7.000000e+01 | 45.83%
161.75/161.80 c 162s| 1000 | 951 |478364 | 465.1 | 26M| 31 | 230 | 540 |5150 | 540 |4513 | 58 | 615 | 915 | 4.800000e+01 | 7.000000e+01 | 45.83%
173.15/173.23 c 173s| 1100 | 1045 |522855 | 463.2 | 26M| 31 | 203 | 540 |5151 | 540 |4513 | 58 | 653 | 957 | 4.800000e+01 | 7.000000e+01 | 45.83%
181.45/181.59 c 182s| 1200 | 1127 |561801 | 457.1 | 26M| 31 | 162 | 540 |5160 | 540 |4513 | 58 | 706 | 966 | 4.800000e+01 | 7.000000e+01 | 45.83%
194.45/194.51 c 195s| 1300 | 1219 |614911 | 462.8 | 27M| 31 | 230 | 540 |5157 | 540 |4513 | 58 | 749 |1006 | 4.800000e+01 | 7.000000e+01 | 45.83%
207.75/207.81 c 208s| 1400 | 1313 |659453 | 461.5 | 27M| 31 | 185 | 540 |5179 | 540 |4513 | 58 | 815 |1096 | 4.800000e+01 | 7.000000e+01 | 45.83%
220.04/220.13 c 220s| 1500 | 1405 |704785 | 461.0 | 27M| 32 | 138 | 540 |5168 | 540 |4513 | 58 | 845 |1166 | 4.800000e+01 | 7.000000e+01 | 45.83%
230.85/230.91 c 231s| 1600 | 1487 |743902 | 456.6 | 27M| 32 | 158 | 540 |5159 | 540 |4513 | 58 | 866 |1226 | 4.800000e+01 | 7.000000e+01 | 45.83%
239.74/239.83 c 240s| 1700 | 1587 |774878 | 448.0 | 28M| 32 | 235 | 540 |5132 | 540 |4513 | 58 | 875 |1283 | 4.800000e+01 | 7.000000e+01 | 45.83%
251.44/251.58 c 252s| 1800 | 1685 |825753 | 451.4 | 28M| 32 | 236 | 540 |5104 | 540 |4513 | 58 | 886 |1303 | 4.800000e+01 | 7.000000e+01 | 45.83%
261.13/261.21 c 261s| 1900 | 1785 |868685 | 450.2 | 28M| 32 | 265 | 540 |5093 | 540 |4513 | 58 | 924 |1309 | 4.800000e+01 | 7.000000e+01 | 45.83%
269.24/269.38 c 269s| 2000 | 1883 |902411 | 444.5 | 28M| 32 | 200 | 540 |5081 | 540 |4513 | 58 | 946 |1314 | 4.800000e+01 | 7.000000e+01 | 45.83%
280.03/280.13 c 280s| 2100 | 1979 |940528 | 441.5 | 29M| 32 | 200 | 540 |5055 | 540 |4513 | 58 | 985 |1383 | 4.800000e+01 | 7.000000e+01 | 45.83%
290.53/290.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
290.53/290.68 c 291s| 2200 | 2079 |981604 | 440.1 | 29M| 32 | 250 | 540 |5045 | 540 |4513 | 58 |1002 |1415 | 4.800000e+01 | 7.000000e+01 | 45.83%
298.63/298.77 c 299s| 2300 | 2177 | 1009k| 433.1 | 29M| 32 | 198 | 540 |5029 | 540 |4513 | 58 |1007 |1457 | 4.800000e+01 | 7.000000e+01 | 45.83%
309.23/309.35 c 309s| 2400 | 2269 | 1045k| 430.1 | 29M| 35 | 179 | 540 |5032 | 540 |4513 | 58 |1030 |1523 | 4.800000e+01 | 7.000000e+01 | 45.83%
322.52/322.65 c 323s| 2500 | 2355 | 1094k| 432.5 | 29M| 38 | 195 | 540 |5082 | 540 |4513 | 58 |1117 |1609 | 4.800000e+01 | 7.000000e+01 | 45.83%
334.43/334.55 c 335s| 2600 | 2441 | 1143k| 434.6 | 30M| 39 | 185 | 540 |5105 | 540 |4513 | 58 |1175 |1655 | 4.800000e+01 | 7.000000e+01 | 45.83%
346.02/346.15 c 346s| 2700 | 2531 | 1192k| 436.9 | 30M| 42 | 294 | 540 |5091 | 540 |4513 | 58 |1211 |1676 | 4.800000e+01 | 7.000000e+01 | 45.83%
354.13/354.22 c 354s| 2800 | 2625 | 1227k| 433.8 | 30M| 42 | 198 | 540 |5088 | 540 |4513 | 58 |1257 |1684 | 4.800000e+01 | 7.000000e+01 | 45.83%
365.72/365.84 c 366s| 2900 | 2717 | 1276k| 435.6 | 30M| 42 | 176 | 540 |5083 | 540 |4513 | 58 |1313 |1715 | 4.800000e+01 | 7.000000e+01 | 45.83%
377.52/377.61 c 378s| 3000 | 2808 | 1319k| 435.5 | 31M| 42 | 194 | 540 |5111 | 540 |4513 | 58 |1386 |1775 | 4.800000e+01 | 7.000000e+01 | 45.83%
389.01/389.11 c 389s| 3100 | 2896 | 1363k| 435.6 | 31M| 42 | - | 540 |5117 | 540 |4513 | 58 |1432 |1831 | 4.800000e+01 | 7.000000e+01 | 45.83%
399.12/399.26 c 399s| 3200 | 2988 | 1401k| 433.9 | 31M| 42 | 189 | 540 |5092 | 540 |4513 | 58 |1463 |1884 | 4.800000e+01 | 7.000000e+01 | 45.83%
409.02/409.13 c 409s| 3300 | 3078 | 1437k| 431.7 | 31M| 42 | 180 | 540 |5072 | 540 |4513 | 58 |1490 |1943 | 4.800000e+01 | 7.000000e+01 | 45.83%
419.21/419.35 c 419s| 3400 | 3170 | 1476k| 430.3 | 32M| 42 | 170 | 540 |5057 | 540 |4513 | 58 |1532 |1997 | 4.800000e+01 | 7.000000e+01 | 45.83%
429.41/429.50 c 430s| 3500 | 3262 | 1521k| 430.8 | 32M| 42 | 183 | 540 |5098 | 540 |4513 | 58 |1610 |2024 | 4.800000e+01 | 7.000000e+01 | 45.83%
440.31/440.40 c 440s| 3600 | 3360 | 1569k| 432.2 | 32M| 43 | 165 | 540 |5099 | 540 |4513 | 58 |1666 |2035 | 4.800000e+01 | 7.000000e+01 | 45.83%
453.11/453.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
453.11/453.28 c 453s| 3700 | 3456 | 1629k| 436.9 | 33M| 43 | 141 | 540 |5114 | 540 |4513 | 58 |1719 |2036 | 4.800000e+01 | 7.000000e+01 | 45.83%
462.80/463.00 c 463s| 3800 | 3548 | 1672k| 436.5 | 33M| 43 | 198 | 540 |5112 | 540 |4513 | 58 |1783 |2053 | 4.800000e+01 | 7.000000e+01 | 45.83%
475.30/475.44 c 475s| 3900 | 3638 | 1717k| 436.9 | 33M| 43 | 195 | 540 |5069 | 540 |4513 | 58 |1828 |2116 | 4.800000e+01 | 7.000000e+01 | 45.83%
486.01/486.20 c 486s| 4000 | 3728 | 1759k| 436.6 | 33M| 43 | 282 | 540 |5049 | 540 |4513 | 58 |1878 |2161 | 4.800000e+01 | 7.000000e+01 | 45.83%
497.40/497.54 c 498s| 4100 | 3820 | 1801k| 436.1 | 34M| 43 | 186 | 540 |5036 | 540 |4513 | 58 |1929 |2223 | 4.800000e+01 | 7.000000e+01 | 45.83%
508.60/508.78 c 509s| 4200 | 3912 | 1843k| 435.9 | 34M| 43 | 180 | 540 |5033 | 540 |4513 | 58 |1971 |2281 | 4.800000e+01 | 7.000000e+01 | 45.83%
519.70/519.86 c 520s| 4300 | 4002 | 1886k| 435.6 | 34M| 43 | 192 | 540 |5042 | 540 |4513 | 58 |2024 |2344 | 4.800000e+01 | 7.000000e+01 | 45.83%
529.01/529.11 c 529s| 4400 | 4084 | 1924k| 434.4 | 34M| 43 | 193 | 540 |5069 | 540 |4513 | 58 |2079 |2371 | 4.800000e+01 | 7.000000e+01 | 45.83%
536.39/536.54 c 537s| 4500 | 4170 | 1957k| 432.1 | 35M| 43 | 234 | 540 |5086 | 540 |4513 | 58 |2129 |2391 | 4.800000e+01 | 7.000000e+01 | 45.83%
547.49/547.61 c 548s| 4600 | 4252 | 2011k| 434.3 | 35M| 43 | 196 | 540 |5123 | 540 |4513 | 58 |2218 |2393 | 4.800000e+01 | 7.000000e+01 | 45.83%
557.79/557.93 c 558s| 4700 | 4346 | 2058k| 435.2 | 35M| 43 | 213 | 540 |5132 | 540 |4513 | 58 |2292 |2395 | 4.800000e+01 | 7.000000e+01 | 45.83%
567.50/567.60 c 568s| 4800 | 4443 | 2101k| 435.1 | 36M| 43 | 228 | 540 |5115 | 540 |4513 | 58 |2349 |2405 | 4.800000e+01 | 7.000000e+01 | 45.83%
579.99/580.17 c 580s| 4900 | 4535 | 2147k| 435.5 | 36M| 43 | 213 | 540 |5115 | 540 |4513 | 58 |2412 |2472 | 4.800000e+01 | 7.000000e+01 | 45.83%
589.59/589.71 c 590s| 5000 | 4623 | 2183k| 434.0 | 36M| 43 | 225 | 540 |5070 | 540 |4513 | 58 |2457 |2510 | 4.800000e+01 | 7.000000e+01 | 45.83%
601.18/601.30 c 601s| 5100 | 4711 | 2228k| 434.4 | 36M| 43 | 198 | 540 |5056 | 540 |4513 | 58 |2521 |2563 | 4.800000e+01 | 7.000000e+01 | 45.83%
613.69/613.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
613.69/613.84 c 614s| 5200 | 4803 | 2277k| 435.3 | 37M| 43 | 179 | 540 |5067 | 540 |4513 | 58 |2611 |2608 | 4.800000e+01 | 7.000000e+01 | 45.83%
626.08/626.25 c 626s| 5300 | 4895 | 2324k| 436.1 | 37M| 43 | 244 | 540 |5062 | 540 |4513 | 58 |2676 |2670 | 4.800000e+01 | 7.000000e+01 | 45.83%
637.89/638.06 c 638s| 5400 | 4987 | 2376k| 437.6 | 37M| 43 | 252 | 540 |5057 | 540 |4513 | 58 |2732 |2692 | 4.800000e+01 | 7.000000e+01 | 45.83%
649.17/649.33 c 649s| 5500 | 5081 | 2427k| 439.0 | 37M| 43 | 254 | 540 |5101 | 540 |4513 | 58 |2830 |2695 | 4.800000e+01 | 7.000000e+01 | 45.83%
660.98/661.11 c 661s| 5600 | 5169 | 2481k| 440.8 | 38M| 43 | 173 | 540 |5119 | 540 |4513 | 58 |2912 |2699 | 4.800000e+01 | 7.000000e+01 | 45.83%
670.88/671.02 c 671s| 5700 | 5249 | 2527k| 441.2 | 38M| 43 | 199 | 540 |5123 | 540 |4513 | 58 |2972 |2701 | 4.800000e+01 | 7.000000e+01 | 45.83%
682.07/682.24 c 682s| 5800 | 5343 | 2580k| 442.6 | 38M| 43 | 187 | 540 |5078 | 540 |4513 | 58 |3002 |2702 | 4.800000e+01 | 7.000000e+01 | 45.83%
692.67/692.85 c 693s| 5900 | 5439 | 2627k| 443.1 | 38M| 43 | 216 | 540 |5034 | 540 |4513 | 58 |3034 |2706 | 4.800000e+01 | 7.000000e+01 | 45.83%
700.58/700.77 c 701s| 6000 | 5509 | 2664k| 441.9 | 39M| 45 | - | 540 |5073 | 0 | 0 | 58 |3128 |2707 | 4.800000e+01 | 7.000000e+01 | 45.83%
710.26/710.48 c 710s| 6100 | 5599 | 2708k| 441.8 | 39M| 45 | 189 | 540 |5094 | 540 |4513 | 58 |3219 |2707 | 4.800000e+01 | 7.000000e+01 | 45.83%
719.56/719.70 c 720s| 6200 | 5687 | 2751k| 441.6 | 39M| 45 | 185 | 540 |5099 | 540 |4513 | 58 |3272 |2707 | 4.800000e+01 | 7.000000e+01 | 45.83%
726.66/726.80 c 727s| 6300 | 5765 | 2784k| 439.9 | 40M| 45 | 195 | 540 |5081 | 540 |4513 | 58 |3331 |2708 | 4.800000e+01 | 7.000000e+01 | 45.83%
736.36/736.59 c 737s| 6400 | 5845 | 2827k| 439.8 | 40M| 45 | - | 540 |5062 | 540 |4513 | 58 |3375 |2727 | 4.800000e+01 | 7.000000e+01 | 45.83%
752.06/752.24 c 752s| 6500 | 5943 | 2890k| 442.6 | 40M| 45 | 187 | 540 |5011 | 540 |4513 | 58 |3410 |2774 | 4.800000e+01 | 7.000000e+01 | 45.83%
763.66/763.87 c 764s| 6600 | 6023 | 2935k| 442.8 | 40M| 45 | 177 | 540 |5057 | 540 |4513 | 58 |3506 |2828 | 4.800000e+01 | 7.000000e+01 | 45.83%
778.96/779.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
778.96/779.16 c 779s| 6700 | 6115 | 2994k| 445.0 | 41M| 45 | - | 540 |5068 | 540 |4513 | 58 |3595 |2880 | 4.800000e+01 | 7.000000e+01 | 45.83%
792.75/792.97 c 793s| 6800 | 6213 | 3048k| 446.3 | 41M| 45 | 177 | 540 |5056 | 540 |4513 | 58 |3636 |2932 | 4.800000e+01 | 7.000000e+01 | 45.83%
806.16/806.35 c 806s| 6900 | 6309 | 3103k| 447.8 | 41M| 45 | 169 | 540 |5010 | 540 |4513 | 58 |3672 |2982 | 4.800000e+01 | 7.000000e+01 | 45.83%
817.25/817.45 c 817s| 7000 | 6400 | 3152k| 448.5 | 41M| 45 | 202 | 540 |5006 | 540 |4513 | 58 |3757 |2993 | 4.800000e+01 | 7.000000e+01 | 45.83%
826.96/827.17 c 827s| 7100 | 6487 | 3195k| 448.2 | 42M| 45 | 229 | 540 |5005 | 540 |4513 | 58 |3833 |2999 | 4.800000e+01 | 7.000000e+01 | 45.83%
839.45/839.63 c 840s| 7200 | 6577 | 3253k| 450.1 | 42M| 45 | 197 | 540 |5006 | 540 |4513 | 58 |3876 |3001 | 4.800000e+01 | 7.000000e+01 | 45.83%
850.15/850.37 c 850s| 7300 | 6669 | 3305k| 451.0 | 42M| 45 | 216 | 540 |5007 | 540 |4513 | 58 |3904 |3007 | 4.800000e+01 | 7.000000e+01 | 45.83%
865.84/866.08 c 866s| 7400 | 6769 | 3369k| 453.6 | 42M| 45 | 191 | 540 |4996 | 540 |4513 | 58 |3927 |3049 | 4.800000e+01 | 7.000000e+01 | 45.83%
877.34/877.59 c 878s| 7500 | 6865 | 3413k| 453.4 | 43M| 45 | 162 | 540 |5012 | 540 |4513 | 58 |3984 |3096 | 4.800000e+01 | 7.000000e+01 | 45.83%
888.94/889.18 c 889s| 7600 | 6951 | 3460k| 453.5 | 43M| 45 | 188 | 540 |4998 | 540 |4513 | 58 |4029 |3137 | 4.800000e+01 | 7.000000e+01 | 45.83%
903.84/904.10 c 904s| 7700 | 7043 | 3519k| 455.3 | 43M| 45 | 186 | 540 |5051 | 540 |4513 | 58 |4135 |3196 | 4.800000e+01 | 7.000000e+01 | 45.83%
916.23/916.47 c 916s| 7800 | 7141 | 3569k| 455.9 | 43M| 45 | 184 | 540 |5012 | 540 |4513 | 58 |4161 |3244 | 4.800000e+01 | 7.000000e+01 | 45.83%
926.73/926.97 c 927s| 7900 | 7232 | 3609k| 455.2 | 44M| 45 | 226 | 540 |5011 | 540 |4513 | 58 |4220 |3281 | 4.800000e+01 | 7.000000e+01 | 45.83%
937.63/937.81 c 938s| 8000 | 7320 | 3657k| 455.6 | 44M| 45 | 205 | 540 |5019 | 540 |4513 | 58 |4286 |3295 | 4.800000e+01 | 7.000000e+01 | 45.83%
947.94/948.18 c 948s| 8100 | 7418 | 3704k| 455.7 | 44M| 45 | 176 | 540 |5019 | 540 |4513 | 58 |4333 |3299 | 4.800000e+01 | 7.000000e+01 | 45.83%
959.53/959.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
959.53/959.71 c 960s| 8200 | 7514 | 3758k| 456.7 | 44M| 45 | 191 | 540 |5007 | 540 |4513 | 58 |4362 |3303 | 4.800000e+01 | 7.000000e+01 | 45.83%
968.13/968.38 c 968s| 8300 | 7603 | 3797k| 455.9 | 45M| 45 | 178 | 540 |5002 | 540 |4513 | 58 |4416 |3304 | 4.800000e+01 | 7.000000e+01 | 45.83%
978.73/978.91 c 979s| 8400 | 7689 | 3845k| 456.3 | 45M| 45 | 192 | 540 |5055 | 540 |4513 | 58 |4524 |3304 | 4.800000e+01 | 7.000000e+01 | 45.83%
991.12/991.38 c 991s| 8500 | 7787 | 3893k| 456.5 | 45M| 45 | 180 | 540 |5063 | 540 |4513 | 58 |4573 |3340 | 4.800000e+01 | 7.000000e+01 | 45.83%
1000.82/1001.09 c 1001s| 8600 | 7859 | 3932k| 455.7 | 45M| 45 | 170 | 540 |5049 | 540 |4513 | 58 |4621 |3372 | 4.800000e+01 | 7.000000e+01 | 45.83%
1013.82/1014.05 c 1014s| 8700 | 7947 | 3979k| 455.9 | 46M| 45 | - | 540 |5083 | 0 | 0 | 58 |4711 |3435 | 4.800000e+01 | 7.000000e+01 | 45.83%
1026.21/1026.48 c 1026s| 8800 | 8037 | 4032k| 456.8 | 46M| 45 | 166 | 540 |5125 | 540 |4513 | 58 |4797 |3468 | 4.800000e+01 | 7.000000e+01 | 45.83%
1036.31/1036.59 c 1037s| 8900 | 8117 | 4073k| 456.2 | 46M| 45 | 193 | 540 |5123 | 540 |4513 | 58 |4855 |3504 | 4.800000e+01 | 7.000000e+01 | 45.83%
1047.31/1047.56 c 1048s| 9000 | 8212 | 4116k| 455.9 | 47M| 45 | 198 | 540 |5083 | 540 |4513 | 58 |4883 |3544 | 4.800000e+01 | 7.000000e+01 | 45.83%
1058.31/1058.56 c 1059s| 9100 | 8303 | 4163k| 456.1 | 47M| 45 | 162 | 540 |5049 | 540 |4513 | 58 |4939 |3574 | 4.800000e+01 | 7.000000e+01 | 45.83%
1071.41/1071.69 c 1072s| 9200 | 8396 | 4224k| 457.8 | 47M| 45 | 163 | 540 |5035 | 540 |4513 | 58 |5010 |3580 | 4.800000e+01 | 7.000000e+01 | 45.83%
1078.31/1078.51 c 1079s| 9300 | 8460 | 4254k| 456.0 | 47M| 45 | 236 | 540 |5117 | 540 |4513 | 58 |5145 |3580 | 4.800000e+01 | 7.000000e+01 | 45.83%
1088.01/1088.22 c 1088s| 9400 | 8536 | 4297k| 455.8 | 48M| 45 | 175 | 540 |5150 | 540 |4513 | 58 |5224 |3583 | 4.800000e+01 | 7.000000e+01 | 45.83%
1094.60/1094.83 c 1095s| 9500 | 8604 | 4328k| 454.2 | 48M| 45 | 175 | 540 |5171 | 540 |4513 | 58 |5291 |3584 | 4.800000e+01 | 7.000000e+01 | 45.83%
1104.01/1104.25 c 1104s| 9600 | 8689 | 4371k| 453.9 | 48M| 45 | 173 | 540 |5164 | 540 |4513 | 58 |5359 |3591 | 4.800000e+01 | 7.000000e+01 | 45.83%
1109.20/1109.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1109.20/1109.48 c 1109s| 9700 | 8771 | 4395k| 451.7 | 48M| 47 | - | 540 |5171 | 0 | 0 | 58 |5385 |3592 | 4.800000e+01 | 7.000000e+01 | 45.83%
1115.90/1116.12 c 1116s| 9800 | 8863 | 4419k| 449.6 | 48M| 49 | 156 | 540 |5195 | 540 |4513 | 58 |5446 |3617 | 4.800000e+01 | 7.000000e+01 | 45.83%
1123.40/1123.65 c 1124s| 9900 | 8939 | 4451k| 448.3 | 49M| 49 | - | 540 |5211 | 540 |4513 | 58 |5507 |3635 | 4.800000e+01 | 7.000000e+01 | 45.83%
1134.40/1134.65 c 1135s| 10000 | 9012 | 4496k| 448.3 | 49M| 49 | 160 | 540 |5186 | 540 |4513 | 58 |5606 |3666 | 4.800000e+01 | 7.000000e+01 | 45.83%
1146.49/1146.77 c 1147s| 10100 | 9106 | 4545k| 448.7 | 49M| 49 | 196 | 540 |5147 | 540 |4513 | 58 |5663 |3713 | 4.800000e+01 | 7.000000e+01 | 45.83%
1163.20/1163.41 c 1163s| 10200 | 9200 | 4612k| 450.9 | 49M| 49 | 164 | 540 |5144 | 540 |4513 | 58 |5753 |3772 | 4.800000e+01 | 7.000000e+01 | 45.83%
1174.39/1174.64 c 1175s| 10300 | 9289 | 4658k| 451.0 | 50M| 49 | 209 | 540 |5073 | 540 |4513 | 58 |5777 |3808 | 4.800000e+01 | 7.000000e+01 | 45.83%
1186.79/1187.03 c 1187s| 10400 | 9385 | 4708k| 451.4 | 50M| 49 | 214 | 540 |5044 | 540 |4513 | 58 |5838 |3846 | 4.800000e+01 | 7.000000e+01 | 45.83%
1195.49/1195.79 c 1196s| 10500 | 9465 | 4745k| 450.6 | 50M| 49 | 228 | 540 |5030 | 540 |4513 | 58 |5892 |3874 | 4.800000e+01 | 7.000000e+01 | 45.83%
1210.39/1210.69 c 1211s| 10600 | 9565 | 4814k| 452.9 | 50M| 49 | 252 | 540 |5039 | 540 |4513 | 58 |5951 |3875 | 4.800000e+01 | 7.000000e+01 | 45.83%
1221.49/1221.78 c 1222s| 10700 | 9665 | 4864k| 453.4 | 51M| 49 | 180 | 540 |5029 | 540 |4513 | 58 |5968 |3877 | 4.800000e+01 | 7.000000e+01 | 45.83%
1234.18/1234.42 c 1234s| 10800 | 9759 | 4925k| 454.9 | 51M| 49 | 205 | 540 |5055 | 540 |4513 | 58 |6023 |3878 | 4.800000e+01 | 7.000000e+01 | 45.83%
1247.08/1247.32 c 1247s| 10900 | 9855 | 4985k| 456.1 | 51M| 49 | 177 | 540 |5076 | 540 |4513 | 58 |6080 |3882 | 4.800000e+01 | 7.000000e+01 | 45.83%
1262.87/1263.15 c 1263s| 11000 | 9951 | 5052k| 458.1 | 51M| 49 | 198 | 540 |5093 | 540 |4513 | 58 |6151 |3916 | 4.800000e+01 | 7.000000e+01 | 45.83%
1276.67/1276.97 c 1277s| 11100 | 10037 | 5106k| 458.8 | 52M| 49 | 164 | 540 |5063 | 540 |4513 | 58 |6200 |3986 | 4.800000e+01 | 7.000000e+01 | 45.83%
1288.58/1288.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1288.58/1288.83 c 1289s| 11200 | 10119 | 5159k| 459.4 | 52M| 49 | 210 | 540 |5076 | 540 |4513 | 58 |6296 |4000 | 4.800000e+01 | 7.000000e+01 | 45.83%
1301.37/1301.64 c 1302s| 11300 | 10205 | 5209k| 459.8 | 52M| 49 | 200 | 540 |5060 | 540 |4513 | 58 |6373 |4047 | 4.800000e+01 | 7.000000e+01 | 45.83%
1310.87/1311.19 c 1311s| 11400 | 10290 | 5248k| 459.2 | 52M| 49 | 193 | 540 |5044 | 540 |4513 | 58 |6419 |4078 | 4.800000e+01 | 7.000000e+01 | 45.83%
1324.86/1325.18 c 1325s| 11500 | 10380 | 5304k| 460.1 | 53M| 49 | 202 | 540 |5019 | 540 |4513 | 58 |6466 |4137 | 4.800000e+01 | 7.000000e+01 | 45.83%
1335.67/1335.90 c 1336s| 11600 | 10465 | 5351k| 460.2 | 53M| 49 | 167 | 540 |5004 | 540 |4513 | 58 |6511 |4159 | 4.800000e+01 | 7.000000e+01 | 45.83%
1343.66/1343.93 c 1344s| 11700 | 10553 | 5388k| 459.4 | 53M| 49 | 177 | 540 |5027 | 540 |4513 | 58 |6559 |4167 | 4.800000e+01 | 7.000000e+01 | 45.83%
1355.76/1356.03 c 1356s| 11800 | 10647 | 5444k| 460.3 | 53M| 49 | 212 | 540 |5021 | 540 |4513 | 58 |6611 |4169 | 4.800000e+01 | 7.000000e+01 | 45.83%
1366.26/1366.59 c 1367s| 11900 | 10735 | 5492k| 460.4 | 54M| 49 | 175 | 540 |5018 | 540 |4513 | 58 |6666 |4179 | 4.800000e+01 | 7.000000e+01 | 45.83%
1376.76/1377.09 c 1377s| 12000 | 10831 | 5540k| 460.6 | 54M| 61 | - | 540 |5014 | 540 |4513 | 58 |6706 |4180 | 4.800000e+01 | 7.000000e+01 | 45.83%
1385.86/1386.11 c 1386s| 12100 | 10915 | 5583k| 460.4 | 54M| 61 | 210 | 540 |5017 | 540 |4513 | 58 |6775 |4181 | 4.800000e+01 | 7.000000e+01 | 45.83%
1394.65/1394.96 c 1395s| 12200 | 10995 | 5625k| 460.0 | 54M| 61 | 185 | 540 |5057 | 540 |4513 | 58 |6853 |4182 | 4.800000e+01 | 7.000000e+01 | 45.83%
1403.26/1403.58 c 1404s| 12300 | 11066 | 5663k| 459.4 | 54M| 61 | 224 | 540 |5062 | 540 |4513 | 58 |6904 |4200 | 4.800000e+01 | 7.000000e+01 | 45.83%
1413.75/1414.02 c 1414s| 12400 | 11149 | 5707k| 459.2 | 55M| 61 | 182 | 540 |5070 | 540 |4513 | 58 |6953 |4235 | 4.800000e+01 | 7.000000e+01 | 45.83%
1424.05/1424.38 c 1424s| 12500 | 11237 | 5746k| 458.7 | 55M| 61 | 172 | 540 |5051 | 540 |4513 | 58 |6981 |4274 | 4.800000e+01 | 7.000000e+01 | 45.83%
1432.55/1432.85 c 1433s| 12600 | 11302 | 5784k| 458.0 | 55M| 61 | - | 540 |5055 | 0 | 0 | 58 |7032 |4291 | 4.800000e+01 | 7.000000e+01 | 45.83%
1442.25/1442.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1442.25/1442.51 c 1443s| 12700 | 11392 | 5823k| 457.5 | 55M| 61 | 136 | 540 |5042 | 540 |4513 | 58 |7081 |4318 | 4.800000e+01 | 7.000000e+01 | 45.83%
1450.15/1450.48 c 1450s| 12800 | 11460 | 5855k| 456.4 | 56M| 61 | - | 540 |5040 | 0 | 0 | 58 |7134 |4345 | 4.800000e+01 | 7.000000e+01 | 45.83%
1460.35/1460.65 c 1461s| 12900 | 11542 | 5898k| 456.2 | 56M| 61 | 150 | 540 |5024 | 540 |4513 | 58 |7175 |4378 | 4.800000e+01 | 7.000000e+01 | 45.83%
1469.85/1470.16 c 1470s| 13000 | 11622 | 5936k| 455.6 | 56M| 61 | 141 | 540 |5039 | 540 |4513 | 58 |7235 |4417 | 4.800000e+01 | 7.000000e+01 | 45.83%
1480.25/1480.55 c 1481s| 13100 | 11703 | 5982k| 455.7 | 56M| 61 | 232 | 540 |5057 | 540 |4513 | 58 |7304 |4446 | 4.800000e+01 | 7.000000e+01 | 45.83%
1487.64/1487.94 c 1488s| 13200 | 11775 | 6016k| 454.8 | 57M| 61 | 192 | 540 |5102 | 540 |4513 | 58 |7402 |4457 | 4.800000e+01 | 7.000000e+01 | 45.83%
1495.04/1495.34 c 1495s| 13300 | 11847 | 6049k| 453.9 | 57M| 61 | 224 | 540 |5110 | 540 |4513 | 58 |7442 |4465 | 4.800000e+01 | 7.000000e+01 | 45.83%
1504.74/1505.06 c 1505s| 13400 | 11936 | 6094k| 453.8 | 57M| 61 | 210 | 540 |5149 | 540 |4513 | 58 |7519 |4467 | 4.800000e+01 | 7.000000e+01 | 45.83%
1514.24/1514.59 c 1515s| 13500 | 12026 | 6137k| 453.6 | 57M| 61 | - | 540 |5156 | 540 |4513 | 58 |7595 |4467 | 4.800000e+01 | 7.000000e+01 | 45.83%
1525.83/1526.18 c 1526s| 13600 | 12112 | 6190k| 454.2 | 58M| 61 | 181 | 540 |5140 | 540 |4513 | 58 |7660 |4470 | 4.800000e+01 | 7.000000e+01 | 45.83%
1535.84/1536.16 c 1536s| 13700 | 12199 | 6238k| 454.4 | 58M| 61 | 175 | 540 |5127 | 540 |4513 | 58 |7715 |4470 | 4.800000e+01 | 7.000000e+01 | 45.83%
1543.43/1543.79 c 1544s| 13800 | 12271 | 6274k| 453.7 | 58M| 61 | 218 | 540 |5072 | 540 |4513 | 58 |7744 |4471 | 4.800000e+01 | 7.000000e+01 | 45.83%
1550.83/1551.16 c 1551s| 13900 | 12343 | 6305k| 452.7 | 58M| 61 | 244 | 540 |5045 | 540 |4513 | 58 |7762 |4487 | 4.800000e+01 | 7.000000e+01 | 45.83%
1561.13/1561.43 c 1561s| 14000 | 12435 | 6348k| 452.5 | 58M| 61 | 181 | 540 |5045 | 540 |4513 | 58 |7839 |4512 | 4.800000e+01 | 7.000000e+01 | 45.83%
1571.03/1571.34 c 1571s| 14100 | 12525 | 6387k| 452.1 | 59M| 61 | 211 | 540 |5051 | 540 |4513 | 58 |7895 |4550 | 4.800000e+01 | 7.000000e+01 | 45.83%
1580.34/1580.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1580.34/1580.61 c 1581s| 14200 | 12605 | 6428k| 451.8 | 59M| 61 | 239 | 540 |5036 | 540 |4513 | 58 |7936 |4577 | 4.800000e+01 | 7.000000e+01 | 45.83%
1589.72/1590.02 c 1590s| 14300 | 12685 | 6470k| 451.6 | 59M| 61 | - | 540 |5063 | 540 |4513 | 58 |7999 |4594 | 4.800000e+01 | 7.000000e+01 | 45.83%
1600.24/1600.59 c 1601s| 14400 | 12772 | 6513k| 451.4 | 59M| 61 | 197 | 540 |5040 | 540 |4513 | 58 |8025 |4628 | 4.800000e+01 | 7.000000e+01 | 45.83%
1611.42/1611.75 c 1612s| 14500 | 12862 | 6559k| 451.5 | 60M| 61 | 183 | 540 |5042 | 540 |4513 | 58 |8078 |4668 | 4.800000e+01 | 7.000000e+01 | 45.83%
1621.03/1621.36 c 1621s| 14600 | 12940 | 6601k| 451.3 | 60M| 61 | 160 | 540 |5037 | 540 |4513 | 58 |8132 |4690 | 4.800000e+01 | 7.000000e+01 | 45.83%
1631.22/1631.53 c 1632s| 14700 | 13024 | 6645k| 451.2 | 60M| 61 | 182 | 540 |5039 | 540 |4513 | 58 |8185 |4718 | 4.800000e+01 | 7.000000e+01 | 45.83%
1637.72/1638.05 c 1638s| 14800 | 13098 | 6674k| 450.1 | 60M| 61 | 226 | 540 |5047 | 540 |4513 | 58 |8241 |4731 | 4.800000e+01 | 7.000000e+01 | 45.83%
1646.72/1647.03 c 1647s| 14900 | 13174 | 6716k| 449.9 | 61M| 61 | - | 540 |5050 | 540 |4513 | 58 |8299 |4743 | 4.800000e+01 | 7.000000e+01 | 45.83%
1655.22/1655.54 c 1656s| 15000 | 13247 | 6758k| 449.6 | 61M| 61 | 183 | 540 |5069 | 540 |4513 | 58 |8365 |4743 | 4.800000e+01 | 7.000000e+01 | 45.83%
1662.31/1662.69 c 1663s| 15100 | 13323 | 6792k| 448.9 | 61M| 61 | 167 | 540 |5085 | 540 |4513 | 58 |8428 |4745 | 4.800000e+01 | 7.000000e+01 | 45.83%
1669.52/1669.82 c 1670s| 15200 | 13395 | 6825k| 448.2 | 61M| 61 | 202 | 540 |5081 | 540 |4513 | 58 |8482 |4749 | 4.800000e+01 | 7.000000e+01 | 45.83%
1676.42/1676.78 c 1677s| 15300 | 13467 | 6859k| 447.4 | 62M| 61 | 149 | 540 |5079 | 540 |4513 | 58 |8526 |4749 | 4.800000e+01 | 7.000000e+01 | 45.83%
1685.02/1685.36 c 1685s| 15400 | 13541 | 6901k| 447.3 | 62M| 61 | 256 | 540 |5076 | 540 |4513 | 58 |8586 |4749 | 4.800000e+01 | 7.000000e+01 | 45.83%
1693.62/1693.93 c 1694s| 15500 | 13622 | 6942k| 447.0 | 62M| 61 | 231 | 540 |5068 | 540 |4513 | 58 |8638 |4749 | 4.800000e+01 | 7.000000e+01 | 45.83%
1701.51/1701.86 c 1702s| 15600 | 13695 | 6976k| 446.4 | 62M| 61 | 143 | 540 |5142 | 540 |4513 | 58 |8759 |4771 | 4.800000e+01 | 7.000000e+01 | 45.83%
1714.10/1714.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1714.10/1714.47 c 1714s| 15700 | 13777 | 7028k| 446.8 | 63M| 61 | 201 | 540 |5115 | 540 |4513 | 58 |8803 |4803 | 4.800000e+01 | 7.000000e+01 | 45.83%
1721.80/1722.16 c 1722s| 15800 | 13843 | 7061k| 446.1 | 63M| 61 | 195 | 540 |5115 | 540 |4513 | 58 |8863 |4824 | 4.800000e+01 | 7.000000e+01 | 45.83%
1732.91/1733.29 c 1733s| 15900 | 13931 | 7109k| 446.3 | 63M| 61 | 200 | 540 |5106 | 540 |4513 | 58 |8917 |4847 | 4.800000e+01 | 7.000000e+01 | 45.83%
1742.51/1742.80 c 1743s| 16000 | 13998 | 7149k| 446.0 | 63M| 61 | 192 | 540 |5100 | 540 |4513 | 58 |8980 |4869 | 4.800000e+01 | 7.000000e+01 | 45.83%
1752.90/1753.21 c 1753s| 16100 | 14084 | 7191k| 445.9 | 64M| 61 | 196 | 540 |5075 | 540 |4513 | 58 |9022 |4901 | 4.800000e+01 | 7.000000e+01 | 45.83%
1760.59/1760.91 c 1761s| 16200 | 14162 | 7224k| 445.1 | 64M| 61 | 199 | 540 |5050 | 540 |4513 | 58 |9024 |4925 | 4.800000e+01 | 7.000000e+01 | 45.83%
1773.20/1773.51 c 1774s| 16300 | 14246 | 7277k| 445.7 | 64M| 61 | 159 | 540 |5041 | 540 |4513 | 58 |9072 |4973 | 4.800000e+01 | 7.000000e+01 | 45.83%
1785.09/1785.43 c 1785s| 16400 | 14334 | 7330k| 446.2 | 64M| 61 | 214 | 540 |5043 | 540 |4513 | 58 |9123 |4992 | 4.800000e+01 | 7.000000e+01 | 45.83%
1793.70/1794.01 c 1794s| 16500 | 14412 | 7370k| 445.9 | 65M| 61 | - | 540 |5042 | 0 | 0 | 58 |9165 |5002 | 4.800000e+01 | 7.000000e+01 | 45.83%
1796.69/1797.00 c
1796.69/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.00 c Solving Time (sec) : 1797.00
1796.69/1797.00 c Solving Nodes : 16534
1796.69/1797.00 c Primal Bound : +7.00000000000000e+01 (1 solutions)
1796.69/1797.00 c Dual Bound : +4.80000000000000e+01
1796.69/1797.00 c Gap : 45.83 %
1796.69/1797.00 s SATISFIABLE
1796.69/1797.00 v -x325 x289 x253 -x217 -x181 -x145 x109 x73 x37 -x1 -x360 -x324 -x288 x252 -x216 x180 -x144 x108 x72 x36 x353 -x317 -x281 -x245
1796.69/1797.00 v x209 x173 x137 -x101 -x65 x29 -x346 x310 x274 -x238 x202 x166 x130 -x94 -x58 -x22 x339 -x303 x267 x231 -x195 -x159 -x123 x87
1796.69/1797.00 v -x51 x15 x332 x296 -x260 x224 x188 -x152 -x116 -x80 x44 -x8 x359 -x323 -x287 -x251 -x215 -x179 -x143 -x107 -x71 -x35 -x358 x322
1796.69/1797.00 v -x286 -x250 -x214 -x178 -x142 -x106 -x70 -x34 -x357 -x321 x285 -x249 -x213 -x177 -x141 -x105 -x69 -x33 -x356 -x320 -x284 -x248
1796.69/1797.00 v x212 -x176 -x140 -x104 -x68 -x32 -x355 -x319 -x283 -x247 -x211 -x175 x139 -x103 -x67 -x31 -x354 -x318 -x282 x246 -x210 -x174
1796.69/1797.00 v -x138 -x102 -x66 -x30 -x352 -x316 x280 -x244 -x208 -x172 -x136 -x100 -x64 -x28 -x351 -x315 -x279 -x243 -x207 -x171 -x135
1796.69/1797.00 v x99 -x63 -x27 -x350 -x314 -x278 -x242 -x206 -x170 -x134 -x98 x62 -x26 -x349 x313 -x277 -x241 -x205 -x169 -x133 -x97 -x61 -x25
1796.69/1797.00 v -x348 -x312 -x276 -x240 -x204 -x168 -x132 -x96 x60 -x24 -x347 -x311 -x275 -x239 -x203 -x167 -x131 -x95 -x59 x23 x345 -x309
1796.69/1797.00 v -x273 -x237 -x201 -x165 -x129 -x93 -x57 -x21 -x344 -x308 -x272 x236 -x200 -x164 -x128 -x92 -x56 -x20 -x343 -x307 -x271 -x235
1796.69/1797.00 v -x199 -x163 -x127 x91 -x55 -x19 -x342 -x306 -x270 -x234 -x198 x162 -x126 -x90 -x54 -x18 -x341 -x305 -x269 -x233 x197 -x161 -x125
1796.69/1797.00 v -x89 -x53 -x17 -x340 -x304 -x268 -x232 -x196 -x160 x124 -x88 -x52 -x16 -x338 x302 -x266 -x230 -x194 -x158 -x122 -x86 -x50
1796.69/1797.00 v -x14 -x337 -x301 -x265 -x229 -x193 -x157 -x121 -x85 x49 -x13 -x336 -x300 -x264 -x228 -x192 -x156 -x120 x84 -x48 -x12 -x335 -x299
1796.69/1797.00 v -x263 -x227 -x191 -x155 x119 -x83 -x47 -x11 -x334 -x298 -x262 -x226 -x190 x154 -x118 -x82 -x46 -x10 -x333 -x297 -x261 -x225
1796.69/1797.00 v -x189 -x153 -x117 -x81 -x45 x9 -x331 -x295 x259 -x223 -x187 -x151 -x115 -x79 -x43 -x7 -x330 -x294 -x258 -x222 -x186 -x150
1796.69/1797.00 v -x114 -x78 -x42 x6 -x329 -x293 -x257 -x221 -x185 x149 -x113 -x77 -x41 -x5 -x328 -x292 -x256 -x220 x184 -x148 -x112 -x76 -x40
1796.69/1797.00 v -x4 -x327 -x291 -x255 x219 -x183 -x147 -x111 -x75 -x39 -x3 x326 -x290 -x254 -x218 -x182 -x146 -x110 -x74 -x38 -x2 -x540 -x539
1796.69/1797.00 v x538 x537 x536 x535 -x534 -x533 -x532 -x531 -x530 x529 -x528 -x527 -x526 -x525 -x524 x523 -x522 -x521 x520 -x519 -x518 -x517
1796.69/1797.00 v -x516 x515 -x514 -x513 -x512 -x511 -x510 x509 -x508 -x507 -x506 x505 -x504 -x503 x502 -x501 -x500 -x499 -x498 -x497 x496 -x495
1796.69/1797.00 v x494 -x493 -x492 -x491 -x490 -x489 -x488 x487 -x486 -x485 x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 x476 x475 -x474
1796.69/1797.00 v -x473 -x472 -x471 -x470 x469 x468 x467 -x466 -x465 -x464 x463 -x462 -x461 -x460 -x459 x458 -x457 -x456 -x455 -x454 x453 -x452
1796.69/1797.00 v -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 x443 -x442 -x441 x440 -x439 -x438 -x437 -x436 -x435 -x434 x433 x432 x431 -x430
1796.69/1797.00 v -x429 -x428 x427 -x426 -x425 -x424 -x423 x422 -x421 x420 -x419 -x418 -x417 -x416 -x415 x414 -x413 -x412 -x411 -x410 -x409 -x408
1796.69/1797.00 v x407 -x406 -x405 -x404 -x403 x402 -x401 x400 -x399 -x398 x397 x396 -x395 -x394 -x393 -x392 x391 -x390 -x389 -x388 -x387
1796.69/1797.00 v x386 -x385 x384 -x383 -x382 -x381 -x380 -x379 x378 -x377 -x376 -x375 -x374 -x373 -x372 x371 -x370 -x369 -x368 -x367 x366 x365
1796.69/1797.00 v x364 -x363 -x362 x361
1796.69/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.00 c Total Time : 1797.00
1796.69/1797.00 c solving : 1797.00
1796.69/1797.00 c presolving : 0.11 (included in solving)
1796.69/1797.00 c reading : 0.01 (included in solving)
1796.69/1797.00 c copying : 0.03 (2 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.69/1797.00 c Original Problem :
1796.69/1797.00 c Problem name : HOME/instance-3690869-1338018736.opb
1796.69/1797.00 c Variables : 540 (540 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.00 c Constraints : 4476 initial, 4476 maximal
1796.69/1797.00 c Objective sense : minimize
1796.69/1797.00 c Presolved Problem :
1796.69/1797.00 c Problem name : t_HOME/instance-3690869-1338018736.opb
1796.69/1797.00 c Variables : 540 (540 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.00 c Constraints : 4476 initial, 5294 maximal
1796.69/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c probing : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c knapsack : 0.04 0.00 0 0 0 0 0 0 0 3360 5040
1796.69/1797.00 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c linear : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c logicor : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c root node : - - 0 - - 0 - - - - -
1796.69/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.00 c integral : 0 0 0 0 15689 0 7 0 17 250 0 0 31002
1796.69/1797.00 c knapsack : 1734 1734 6 176108 0 1 4 5485 55 21831 0 0 0
1796.69/1797.00 c setppc : 840 840 6 176053 0 1 2 77172 1228 242667 0 0 0
1796.69/1797.00 c linear : 0+ 483 6 174485 0 0 0 306 12 596 1 0 0
1796.69/1797.00 c logicor : 1902+ 2488 6 76413 0 1 1 15732 293 31162 0 0 0
1796.69/1797.00 c countsols : 0 0 0 0 0 1 3 0 0 0 0 0 0
1796.69/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.00 c integral : 200.95 0.00 0.00 0.00 200.95 0.00 0.00 0.00
1796.69/1797.00 c knapsack : 6.63 0.00 0.03 6.60 0.00 0.00 0.00 0.00
1796.69/1797.00 c setppc : 3.67 0.00 0.00 3.63 0.00 0.00 0.00 0.04
1796.69/1797.00 c linear : 0.47 0.00 0.00 0.46 0.00 0.00 0.00 0.00
1796.69/1797.00 c logicor : 1.69 0.00 0.00 1.68 0.00 0.00 0.00 0.01
1796.69/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.00 c rootredcost : 1 0 0 0
1796.69/1797.00 c pseudoobj : 191705 39 8 17
1796.69/1797.00 c vbounds : 0 0 0 0
1796.69/1797.00 c redcost : 16531 0 0 8248
1796.69/1797.00 c probing : 0 0 0 0
1796.69/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.00 c rootredcost : 0.06 0.00 0.00 0.06 0.00
1796.69/1797.00 c pseudoobj : 0.19 0.00 0.00 0.19 0.00
1796.69/1797.00 c vbounds : 0.05 0.00 0.00 0.05 0.00
1796.69/1797.00 c redcost : 0.26 0.00 0.00 0.26 0.00
1796.69/1797.00 c probing : 0.01 0.00 0.01 0.00 0.00
1796.69/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.00 c propagation : 0.10 1596 1595 10439 28.3 431 9.5 -
1796.69/1797.00 c infeasible LP : 0.27 1528 568 6367 50.0 102 7.8 0
1796.69/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.00 c applied globally : - - - 9175 24.8 - - -
1796.69/1797.00 c applied locally : - - - 13 62.3 - - -
1796.69/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.00 c cut pool : 0.01 5 - - 3 - (maximal pool size: 1760)
1796.69/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c impliedbounds : 0.00 0.00 6 0 0 0 0
1796.69/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c gomory : 2.71 0.00 6 0 0 150 0
1796.69/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c strongcg : 0.52 0.00 6 0 0 3000 0
1796.69/1797.00 c cmir : 0.06 0.00 6 0 0 0 0
1796.69/1797.00 c flowcover : 0.07 0.00 6 0 0 3 0
1796.69/1797.00 c clique : 0.01 0.00 6 0 0 36 0
1796.69/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c mcf : 0.00 0.00 1 0 0 0 0
1796.69/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c rapidlearning : 1.81 0.00 1 0 0 0 483
1796.69/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.00 c problem variables: 0.00 - 0 0
1796.69/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.00 c relpscost : 200.93 0.00 15689 17 250 0 0 31002
1796.69/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c inference : 0.00 0.00 1 0 0 0 0 2
1796.69/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.00 c LP solutions : 0.00 - - 0
1796.69/1797.00 c pseudo solutions : 0.00 - - 0
1796.69/1797.00 c crossover : 0.01 0.00 0 0
1796.69/1797.00 c oneopt : 0.02 0.00 1 0
1796.69/1797.00 c rootsoldiving : 16.01 0.00 21 0
1796.69/1797.00 c feaspump : 18.93 0.00 38 0
1796.69/1797.00 c coefdiving : 65.95 0.00 156 0
1796.69/1797.00 c pscostdiving : 73.27 0.00 275 0
1796.69/1797.00 c guideddiving : 85.04 0.00 374 0
1796.69/1797.00 c linesearchdiving : 67.96 0.00 374 0
1796.69/1797.00 c smallcard : 0.00 0.00 0 0
1796.69/1797.00 c trivial : 0.00 0.00 2 0
1796.69/1797.00 c shiftandpropagate: 0.02 0.00 1 0
1796.69/1797.00 c simplerounding : 0.01 0.00 0 0
1796.69/1797.00 c zirounding : 2.61 0.00 0 0
1796.69/1797.00 c rounding : 0.62 0.00 1717 0
1796.69/1797.00 c shifting : 0.43 0.00 501 0
1796.69/1797.00 c intshifting : 0.00 0.00 0 0
1796.69/1797.00 c twoopt : 0.00 0.00 0 0
1796.69/1797.00 c indoneopt : 0.01 0.00 0 0
1796.69/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.00 c clique : 0.00 0.00 0 0
1796.69/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.00 c indrounding : 0.00 0.00 0 0
1796.69/1797.00 c fracdiving : 80.29 0.00 375 0
1796.69/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.00 c veclendiving : 57.36 0.00 151 0
1796.69/1797.00 c intdiving : 0.00 0.00 0 0
1796.69/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.00 c objpscostdiving : 16.34 0.00 19 0
1796.69/1797.00 c octane : 0.00 0.00 0 0
1796.69/1797.00 c rens : 0.05 0.00 1 0
1796.69/1797.00 c rins : 0.00 0.00 0 0
1796.69/1797.00 c localbranching : 0.00 0.00 0 0
1796.69/1797.00 c mutation : 0.00 0.00 0 0
1796.69/1797.00 c dins : 0.00 0.00 0 0
1796.69/1797.00 c vbounds : 0.00 0.00 0 0
1796.69/1797.00 c undercover : 0.00 0.00 0 0
1796.69/1797.00 c subnlp : 0.01 0.00 0 0
1796.69/1797.00 c trysol : 0.01 0.00 0 0
1796.69/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.00 c primal LP : 0.00 1 0 0.00 - 0.00 1
1796.69/1797.00 c dual LP : 1086.04 17268 5486735 335.56 5052.07 0.66 917
1796.69/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.00 c diving/probing LP: 444.17 89704 1897268 21.15 4271.47
1796.69/1797.00 c strong branching : 199.92 5006 907627 181.31 4539.97
1796.69/1797.00 c (at root node) : - 11 5228 475.27 -
1796.69/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.00 c B&B Tree :
1796.69/1797.00 c number of runs : 1
1796.69/1797.00 c nodes : 16534
1796.69/1797.00 c nodes (total) : 16534
1796.69/1797.00 c nodes left : 14440
1796.69/1797.00 c max depth : 61
1796.69/1797.00 c max depth (total): 61
1796.69/1797.00 c backtracks : 3151 (19.1%)
1796.69/1797.00 c delayed cutoffs : 31
1796.69/1797.00 c repropagations : 1176 (4698 domain reductions, 22 cutoffs)
1796.69/1797.00 c avg switch length: 6.90
1796.69/1797.00 c switching time : 5.66
1796.69/1797.00 c Solution :
1796.69/1797.00 c Solutions found : 1 (1 improvements)
1796.69/1797.00 c First Solution : +7.00000000000000e+01 (in run 1, after 1 nodes, 5.00 seconds, depth 0, found by <trysol>)
1796.69/1797.00 c Primal Bound : +7.00000000000000e+01 (in run 1, after 1 nodes, 5.00 seconds, depth 0, found by <trysol>)
1796.69/1797.00 c Dual Bound : +4.80000000000000e+01
1796.69/1797.00 c Gap : 45.83 %
1796.69/1797.00 c Root Dual Bound : +4.80000000000000e+01
1796.69/1797.00 c Root Iterations : 13774
1796.69/1797.06 c Time complete: 1796.76.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3690869-1338018736/watcher-3690869-1338018736 -o /tmp/evaluation-result-3690869-1338018736/solver-3690869-1338018736 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690869-1338018736.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 1.99 1.68 3/176 32395
/proc/meminfo: memFree=27390648/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=10624 CPUtime=0 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 1403 0 0 0 0 0 0 0 20 0 1 0 268000933 10878976 1357 33554432000 4194304 10173063 140734164082320 140736055537784 8985008 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 2656 1358 416 1460 0 1187 0
[startup+0.0458729 s]
/proc/loadavg: 2.00 1.99 1.68 3/176 32395
/proc/meminfo: memFree=27390648/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=25068 CPUtime=0.03 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 5063 0 0 0 3 0 0 0 20 0 1 0 268000933 25669632 4760 33554432000 4194304 10173063 140734164082320 140736055537784 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 6267 4760 556 1460 0 4798 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 25068
[startup+0.100314 s]
/proc/loadavg: 2.00 1.99 1.68 3/176 32395
/proc/meminfo: memFree=27390648/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=28584 CPUtime=0.08 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 6038 0 0 0 8 0 0 0 20 0 1 0 268000933 29270016 5672 33554432000 4194304 10173063 140734164082320 140736055537784 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 7146 5672 587 1460 0 5677 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 28584
[startup+0.300275 s]
/proc/loadavg: 2.00 1.99 1.68 3/176 32395
/proc/meminfo: memFree=27390648/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=42404 CPUtime=0.29 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 9835 0 0 0 28 1 0 0 20 0 1 0 268000933 43421696 9277 33554432000 4194304 10173063 140734164082320 140736055537784 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 10601 9277 768 1460 0 9132 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42404
[startup+0.700226 s]
/proc/loadavg: 2.00 1.99 1.68 3/176 32395
/proc/meminfo: memFree=27390648/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=43776 CPUtime=0.68 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 10399 0 0 0 67 1 0 0 20 0 1 0 268000933 44826624 9729 33554432000 4194304 10173063 140734164082320 140734164075672 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 10944 9729 788 1460 0 9475 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 43776
[startup+1.50023 s]
/proc/loadavg: 2.00 1.99 1.68 3/177 32396
/proc/meminfo: memFree=27355152/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=43776 CPUtime=1.49 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 10419 0 0 0 147 2 0 0 20 0 1 0 268000933 44826624 9749 33554432000 4194304 10173063 140734164082320 140734164073480 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 10944 9749 788 1460 0 9475 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43776
[startup+3.10022 s]
/proc/loadavg: 2.00 1.99 1.68 3/177 32396
/proc/meminfo: memFree=27354532/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=41476 CPUtime=3.09 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 10448 0 0 0 306 3 0 0 20 0 1 0 268000933 42471424 9315 33554432000 4194304 10173063 140734164082320 140734164073848 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 10369 9315 802 1460 0 8900 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41476
[startup+6.3002 s]
/proc/loadavg: 2.00 1.99 1.68 2/175 32397
/proc/meminfo: memFree=28865432/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=71716 CPUtime=6.29 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 17791 0 0 0 614 15 0 0 20 0 1 0 268000933 73437184 16647 33554432000 4194304 10173063 140734164082320 140734164077240 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 17929 16647 856 1460 0 16460 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 71716
[startup+12.7002 s]
/proc/loadavg: 2.00 1.99 1.69 3/177 32549
/proc/meminfo: memFree=28813788/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=71824 CPUtime=12.69 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 19952 0 0 0 1249 20 0 0 20 0 1 0 268000933 73547776 16994 33554432000 4194304 10173063 140734164082320 140734164075768 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 17956 16994 864 1460 0 16487 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 71824
[startup+25.5002 s]
/proc/loadavg: 2.00 1.99 1.69 3/177 32549
/proc/meminfo: memFree=28765964/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=71824 CPUtime=25.48 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 19957 0 0 0 2522 26 0 0 20 0 1 0 268000933 73547776 17022 33554432000 4194304 10173063 140734164082320 140734164076152 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 17956 17022 864 1460 0 16487 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 71824
[startup+51.1003 s]
/proc/loadavg: 2.00 1.99 1.70 3/177 32549
/proc/meminfo: memFree=28764204/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=71824 CPUtime=51.07 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 19967 0 0 0 5067 40 0 0 20 0 1 0 268000933 73547776 17024 33554432000 4194304 10173063 140734164082320 140734164075576 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 17956 17024 865 1460 0 16487 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 71824
[startup+102.306 s]
/proc/loadavg: 2.00 1.99 1.71 3/177 32549
/proc/meminfo: memFree=28761064/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=71824 CPUtime=102.26 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 19969 0 0 0 10160 66 0 0 20 0 1 0 268000933 73547776 17283 33554432000 4194304 10173063 140734164082320 140734164075672 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 17956 17283 865 1460 0 16487 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 71824
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.73 3/177 32550
/proc/meminfo: memFree=28758776/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=71824 CPUtime=162.25 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 19969 0 0 0 16129 96 0 0 20 0 1 0 268000933 73547776 17283 33554432000 4194304 10173063 140734164082320 140734164075576 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 17956 17283 865 1460 0 16487 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 71824
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.74 3/177 32550
/proc/meminfo: memFree=28806368/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=71824 CPUtime=222.25 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 19969 0 0 0 22097 128 0 0 20 0 1 0 268000933 73547776 17283 33554432000 4194304 10173063 140734164082320 140734164075768 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 17956 17283 865 1460 0 16487 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 71824
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.75 3/177 32550
/proc/meminfo: memFree=28803020/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=71824 CPUtime=282.23 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 19969 0 0 0 28062 161 0 0 20 0 1 0 268000933 73547776 17283 33554432000 4194304 10173063 140734164082320 140734164075576 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 17956 17283 865 1460 0 16487 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 71824
[startup+342.3 s]
/proc/loadavg: 2.03 2.00 1.77 3/177 32550
/proc/meminfo: memFree=28801280/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=72848 CPUtime=342.22 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 20193 0 0 0 34028 194 0 0 20 0 1 0 268000933 74596352 17507 33554432000 4194304 10173063 140734164082320 140734164075624 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 18212 17507 865 1460 0 16743 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 72848
[startup+402.3 s]
/proc/loadavg: 2.01 2.00 1.78 3/177 32550
/proc/meminfo: memFree=28798492/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=73328 CPUtime=402.21 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 20324 0 0 0 39990 231 0 0 20 0 1 0 268000933 75087872 17637 33554432000 4194304 10173063 140734164082320 140734164075624 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 18332 17637 865 1460 0 16863 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 73328
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/176 32550
/proc/meminfo: memFree=28796640/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=75292 CPUtime=462.21 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 20731 0 0 0 45959 262 0 0 20 0 1 0 268000933 77099008 18044 33554432000 4194304 10173063 140734164082320 140734164076152 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 18823 18044 865 1460 0 17354 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 75292
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/178 32554
/proc/meminfo: memFree=28796012/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=75796 CPUtime=522.19 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 20937 0 0 0 51928 291 0 0 20 0 1 0 268000933 77615104 18249 33554432000 4194304 10173063 140734164082320 140734164075672 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 18949 18249 865 1460 0 17480 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 75796
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/178 32577
/proc/meminfo: memFree=28793396/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=79008 CPUtime=582.19 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 22265 0 0 0 57892 327 0 0 20 0 1 0 268000933 80904192 19047 33554432000 4194304 10173063 140734164082320 140734164075576 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 19752 19047 865 1460 0 18283 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 79008
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28776480/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=94676 CPUtime=1122.1 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 28456 0 0 0 111560 650 0 0 20 0 1 0 268000933 96948224 22964 33554432000 4194304 10173063 140734164082320 140734164075816 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 23669 22964 865 1460 0 22200 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 94676
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 32582
/proc/meminfo: memFree=28773884/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=97228 CPUtime=1182.09 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 29098 0 0 0 117524 685 0 0 20 0 1 0 268000933 99561472 23603 33554432000 4194304 10173063 140734164082320 140734164074040 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 24307 23603 865 1460 0 22838 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 97228
[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 1.90 3/177 32582
/proc/meminfo: memFree=28774132/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=98092 CPUtime=1242.08 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 29711 0 0 0 123487 721 0 0 20 0 1 0 268000933 100446208 23772 33554432000 4194304 10173063 140734164082320 140734164075448 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 24523 23772 865 1460 0 23054 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 98092
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 1.90 3/177 32582
/proc/meminfo: memFree=28771476/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=100116 CPUtime=1302.08 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 31144 0 0 0 129452 756 0 0 20 0 1 0 268000933 102518784 24323 33554432000 4194304 10173063 140734164082320 140734164075032 8058208 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 25029 24323 865 1460 0 23560 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 100116
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 32582
/proc/meminfo: memFree=28770732/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=101108 CPUtime=1362.07 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 31847 0 0 0 135418 789 0 0 20 0 1 0 268000933 103534592 24571 33554432000 4194304 10173063 140734164082320 140734164075576 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 25277 24571 865 1460 0 23808 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 101108
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 32583
/proc/meminfo: memFree=28769004/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=102724 CPUtime=1422.06 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 32194 0 0 0 141381 825 0 0 20 0 1 0 268000933 105189376 24916 33554432000 4194304 10173063 140734164082320 140734164075672 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 25681 24916 865 1460 0 24212 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 102724
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 32583
/proc/meminfo: memFree=28768508/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=103620 CPUtime=1482.04 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 32873 0 0 0 147345 859 0 0 20 0 1 0 268000933 106106880 25136 33554432000 4194304 10173063 140734164082320 140734164075576 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 25905 25136 865 1460 0 24436 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 103620
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 32583
/proc/meminfo: memFree=28767024/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=104940 CPUtime=1542.04 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 33268 0 0 0 153308 896 0 0 20 0 1 0 268000933 107458560 25530 33554432000 4194304 10173063 140734164082320 140734164075624 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 26235 25530 865 1460 0 24766 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 104940
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 32583
/proc/meminfo: memFree=28766528/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=104940 CPUtime=1602.02 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 33281 0 0 0 159273 929 0 0 20 0 1 0 268000933 107458560 25543 33554432000 4194304 10173063 140734164082320 140734164075576 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 26235 25543 865 1460 0 24766 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 104940
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 32583
/proc/meminfo: memFree=28764420/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=106888 CPUtime=1662.01 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 34207 0 0 0 165235 966 0 0 20 0 1 0 268000933 109453312 26017 33554432000 4194304 10173063 140734164082320 140734164075624 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 26722 26017 865 1460 0 25253 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 106888
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 32587
/proc/meminfo: memFree=28763132/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=107948 CPUtime=1722 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 34406 0 0 0 171200 1000 0 0 20 0 1 0 268000933 110538752 26216 33554432000 4194304 10173063 140734164082320 140734164075576 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 26987 26216 865 1460 0 25518 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 107948
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 32587
/proc/meminfo: memFree=28761032/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=109424 CPUtime=1782 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 34843 0 0 0 177165 1035 0 0 20 0 1 0 268000933 112050176 26651 33554432000 4194304 10173063 140734164082320 140734164075576 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 27356 26651 865 1460 0 25887 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 109424
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 32587
/proc/meminfo: memFree=28760908/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=109424 CPUtime=1785.19 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 34843 0 0 0 177482 1037 0 0 20 0 1 0 268000933 112050176 26651 33554432000 4194304 10173063 140734164082320 140734164075576 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 27356 26651 865 1460 0 25887 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 109424
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 32587
/proc/meminfo: memFree=28760784/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=109424 CPUtime=1791.6 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 34843 0 0 0 178119 1041 0 0 20 0 1 0 268000933 112050176 26651 33554432000 4194304 10173063 140734164082320 140734164075640 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 27356 26651 865 1460 0 25887 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 109424
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 32587
/proc/meminfo: memFree=28761032/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=109424 CPUtime=1794.8 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 34843 0 0 0 178437 1043 0 0 20 0 1 0 268000933 112050176 26651 33554432000 4194304 10173063 140734164082320 140734164075176 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 27356 26651 865 1460 0 25887 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 109424
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 32587
/proc/meminfo: memFree=28761032/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=109424 CPUtime=1795.59 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 34843 0 0 0 178516 1043 0 0 20 0 1 0 268000933 112050176 26651 33554432000 4194304 10173063 140734164082320 140734164075576 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 27356 26651 865 1460 0 25887 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (KiB) 109424
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 32587
/proc/meminfo: memFree=28761032/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=109424 CPUtime=1796.39 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 34843 0 0 0 178596 1043 0 0 20 0 1 0 268000933 112050176 26651 33554432000 4194304 10173063 140734164082320 140734164074968 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 27356 26651 865 1460 0 25887 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 109424
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 32587
/proc/meminfo: memFree=28761032/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=109424 CPUtime=1796.59 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 34843 0 0 0 178616 1043 0 0 20 0 1 0 268000933 112050176 26651 33554432000 4194304 10173063 140734164082320 140734164074968 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 27356 26651 865 1460 0 25887 0
Current children cumulated CPU time (s) 1796.59
Current children cumulated vsize (KiB) 109424
[startup+1797 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 32587
/proc/meminfo: memFree=28761032/32873648 swapFree=7108/7108
[pid=32395] ppid=32393 vsize=109424 CPUtime=1796.69 cores=1,3,5,7
/proc/32395/stat : 32395 (scip-2.1.1.4fix) R 32393 32395 32297 0 -1 4202496 34843 0 0 0 178626 1043 0 0 20 0 1 0 268000933 112050176 26651 33554432000 4194304 10173063 140734164082320 140734164074968 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32395/statm: 27356 26651 865 1460 0 25887 0
Current children cumulated CPU time (s) 1796.69
Current children cumulated vsize (KiB) 109424
Child status: 0
Real time (s): 1797.07
CPU time (s): 1796.77
CPU user time (s): 1786.33
CPU system time (s): 10.4404
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 109424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.33
system time used= 10.4404
maximum resident set size= 106616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34848
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= 38
involuntary context switches= 1844
runsolver used 3.2715 second user time and 10.2914 second system time
The end