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: 947bdb7-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-3692144-1338034816.opb>
0.09/0.10 c original problem has 4320 variables (4320 bin, 0 int, 0 impl, 0 cont) and 8415 constraints
0.09/0.10 c problem read in 0.10
0.09/0.16 c presolving:
0.19/0.23 c (round 1) 1 del vars, 1 del conss, 0 add conss, 1 chg bounds, 4 chg sides, 305 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.19/0.26 c (round 2) 1 del vars, 3982 del conss, 0 add conss, 1 chg bounds, 4 chg sides, 305 chg coeffs, 233 upgd conss, 0 impls, 0 clqs
0.19/0.29 c (round 3) 1 del vars, 3982 del conss, 9 add conss, 1 chg bounds, 19 chg sides, 342 chg coeffs, 452 upgd conss, 212 impls, 7 clqs
0.29/0.30 c (round 4) 1 del vars, 3982 del conss, 10 add conss, 1 chg bounds, 61 chg sides, 391 chg coeffs, 452 upgd conss, 214 impls, 7 clqs
0.29/0.31 c (round 5) 1 del vars, 3982 del conss, 10 add conss, 1 chg bounds, 67 chg sides, 442 chg coeffs, 452 upgd conss, 214 impls, 7 clqs
0.29/0.34 c (0.3s) probing: 51/4319 (1.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.34 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.29/0.35 c presolving (6 rounds):
0.29/0.35 c 1 deleted vars, 3982 deleted constraints, 10 added constraints, 1 tightened bounds, 0 added holes, 67 changed sides, 442 changed coefficients
0.29/0.35 c 214 implications, 7 cliques
0.29/0.35 c presolved problem has 4319 variables (4319 bin, 0 int, 0 impl, 0 cont) and 4443 constraints
0.29/0.35 c 452 constraints of type <knapsack>
0.29/0.35 c 10 constraints of type <setppc>
0.29/0.35 c 3981 constraints of type <linear>
0.29/0.35 c transformed objective value is always integral (scale: 1)
0.29/0.35 c Presolving Time: 0.19
0.29/0.35 c - non default parameters ----------------------------------------------------------------------
0.29/0.35 c # SCIP version 2.1.1.4
0.29/0.35 c
0.29/0.35 c # maximal time in seconds to run
0.29/0.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.35 c limits/time = 1797
0.29/0.35 c
0.29/0.35 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.35 c limits/memory = 13950
0.29/0.35 c
0.29/0.35 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.35 c # [type: int, range: [1,2], default: 1]
0.29/0.35 c timing/clocktype = 2
0.29/0.35 c
0.29/0.35 c # belongs reading time to solving time?
0.29/0.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c timing/reading = TRUE
0.29/0.35 c
0.29/0.35 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.35 c separating/rapidlearning/freq = 0
0.29/0.35 c
0.29/0.35 c -----------------------------------------------------------------------------------------------
0.29/0.35 c start solving
0.29/0.35 c
0.69/0.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.71 c 0.7s| 1 | 0 | 107 | - | 39M| 0 | 282 |4319 |4470 |4319 |4443 | 0 | 27 | 0 | 1.050000e+02 | -- | Inf
11.39/11.41 c 11.4s| 1 | 0 | 7171 | - | 41M| 0 | 496 |4319 |6074 |4319 |4626 | 183 | 27 | 0 | 1.050000e+02 | -- | Inf
12.38/12.42 c 12.4s| 1 | 0 | 9958 | - | 42M| 0 | 638 |4319 |6074 |4319 |4845 | 402 | 27 | 0 | 1.050000e+02 | -- | Inf
13.79/13.89 c 13.9s| 1 | 0 | 12546 | - | 43M| 0 | 564 |4319 |6074 |4319 |5086 | 643 | 27 | 0 | 1.050000e+02 | -- | Inf
15.48/15.58 c 15.6s| 1 | 0 | 14516 | - | 43M| 0 | 596 |4319 |6074 |4319 |5316 | 873 | 27 | 0 | 1.050000e+02 | -- | Inf
17.59/17.66 c 17.7s| 1 | 0 | 16406 | - | 44M| 0 | 942 |4319 |6074 |4319 |5541 |1098 | 27 | 0 | 1.050000e+02 | -- | Inf
20.28/20.32 c 20.3s| 1 | 0 | 19412 | - | 45M| 0 |1025 |4319 |6074 |4319 |5784 |1341 | 27 | 0 | 1.050000e+02 | -- | Inf
30.28/30.36 c 30.4s| 1 | 2 | 19412 | - | 45M| 0 |1025 |4319 |6074 |4319 |5784 |1341 | 27 | 23 | 1.050000e+02 | -- | Inf
86.68/86.72 c 86.7s| 100 | 85 |129966 |1116.7 | 46M| 30 |1282 |4319 |6094 |4319 |4697 |1341 | 47 | 339 | 1.050000e+02 | -- | Inf
104.78/104.87 c 105s| 200 | 162 |215720 | 986.5 | 47M| 55 | 681 |4319 |6749 |4319 |4697 |1341 | 702 | 391 | 1.050000e+02 | -- | Inf
126.57/126.68 c 127s| 300 | 232 |301558 | 943.6 | 49M| 76 | 513 |4319 |8192 |4319 |4697 |1341 |2145 | 417 | 1.050000e+02 | -- | Inf
138.37/138.42 c 138s| 400 | 302 |347916 | 823.3 | 50M| 76 | - |4319 |8319 | 0 | 0 |1341 |2272 | 479 | 1.050000e+02 | -- | Inf
146.77/146.85 c 147s| 500 | 373 |381467 | 725.6 | 50M| 76 | 612 |4319 |8359 |4319 |4697 |1341 |2312 | 517 | 1.050000e+02 | -- | Inf
153.97/154.06 c 154s| 600 | 418 |406069 | 645.5 | 51M| 76 | - |4319 |8435 |4319 |4697 |1341 |2388 | 563 | 1.050000e+02 | -- | Inf
165.97/166.04 c 166s| 700 | 482 |468963 | 643.1 | 51M| 76 | 398 |4319 |8701 |4319 |4697 |1341 |2654 | 587 | 1.050000e+02 | -- | Inf
172.46/172.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.46/172.52 c 173s| 800 | 541 |493617 | 593.5 | 52M| 76 | 467 |4319 |8819 |4319 |4697 |1341 |2772 | 630 | 1.050000e+02 | -- | Inf
180.06/180.11 c 180s| 900 | 586 |522151 | 559.2 | 52M| 76 | 491 |4319 |8945 |4319 |4697 |1341 |2898 | 671 | 1.050000e+02 | -- | Inf
186.56/186.66 c 187s| 1000 | 643 |550889 | 532.0 | 53M| 76 | 660 |4319 |9060 |4319 |4697 |1341 |3013 | 720 | 1.050000e+02 | -- | Inf
193.85/193.93 c 194s| 1100 | 681 |577552 | 507.9 | 53M| 76 | 768 |4319 |9175 |4319 |4697 |1341 |3128 | 756 | 1.050000e+02 | -- | Inf
203.66/203.76 c 204s| 1200 | 729 |613959 | 495.9 | 53M| 76 | 488 |4319 |9372 |4319 |4697 |1341 |3325 | 791 | 1.050000e+02 | -- | Inf
212.86/212.97 c 213s| 1300 | 784 |649743 | 485.2 | 54M| 76 | - |4319 |9428 | 0 | 0 |1341 |3381 | 816 | 1.050000e+02 | -- | Inf
220.16/220.23 c 220s| 1400 | 823 |676648 | 469.8 | 54M| 76 | 692 |4319 |9526 |4319 |4697 |1341 |3480 | 857 | 1.050000e+02 | -- | Inf
226.65/226.75 c 227s| 1500 | 888 |702868 | 455.9 | 55M| 76 |2426 |4319 |9654 |4319 |4697 |1341 |3609 | 882 | 1.050000e+02 | -- | Inf
242.15/242.24 c 242s| 1600 | 958 |786083 | 479.5 | 55M| 76 | 851 |4319 |9773 |4319 |4697 |1341 |3730 | 928 | 1.050000e+02 | -- | Inf
264.43/264.58 c 265s| 1700 | 1028 |911210 | 524.9 | 56M| 76 | 551 |4319 |9982 |4319 |4697 |1341 |3955 | 975 | 1.050000e+02 | -- | Inf
275.84/275.95 c 276s| 1800 | 1105 |961162 | 523.5 | 56M| 76 | - |4319 | 10k| 0 | 0 |1341 |4071 |1010 | 1.050000e+02 | -- | Inf
283.64/283.80 c 284s| 1900 | 1155 |993170 | 512.8 | 56M| 76 |1103 |4319 |9994 |4319 |4697 |1341 |4198 |1041 | 1.050000e+02 | -- | Inf
292.44/292.56 c 293s| 2000 | 1214 | 1024k| 502.7 | 57M| 76 |1157 |4319 |9912 |4319 |4697 |1341 |4263 |1074 | 1.050000e+02 | -- | Inf
305.73/305.82 c 306s| 2100 | 1281 | 1072k| 501.9 | 57M| 76 |1152 |4319 |9791 |4319 |4697 |1341 |4326 |1126 | 1.050000e+02 | -- | Inf
315.43/315.60 c 316s| 2200 | 1351 | 1111k| 496.6 | 57M| 76 | 950 |4319 |9705 |4319 |4697 |1341 |4387 |1156 | 1.050000e+02 | -- | Inf
323.93/324.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
323.93/324.04 c 324s| 2300 | 1424 | 1141k| 488.0 | 57M| 76 |1120 |4319 |9631 |4319 |4697 |1341 |4420 |1188 | 1.050000e+02 | -- | Inf
332.03/332.13 c 332s| 2400 | 1478 | 1172k| 480.6 | 57M| 76 | 666 |4319 |9494 |4319 |4697 |1341 |4502 |1209 | 1.050000e+02 | -- | Inf
341.42/341.52 c 342s| 2500 | 1523 | 1202k| 473.4 | 58M| 76 | 519 |4319 |9322 |4319 |4697 |1341 |4601 |1234 | 1.050000e+02 | -- | Inf
351.32/351.44 c 351s| 2600 | 1568 | 1239k| 469.4 | 58M| 76 |1049 |4319 |9245 |4319 |4697 |1341 |4704 |1281 | 1.050000e+02 | -- | Inf
360.42/360.57 c 361s| 2700 | 1618 | 1275k| 465.5 | 58M| 76 | 794 |4319 |9136 |4319 |4697 |1341 |4817 |1312 | 1.050000e+02 | -- | Inf
375.92/376.07 c 376s| 2800 | 1662 | 1333k| 469.5 | 58M| 76 | 629 |4319 |9049 |4319 |4697 |1341 |4919 |1373 | 1.050000e+02 | -- | Inf
385.52/385.61 c 386s| 2900 | 1720 | 1370k| 466.0 | 58M| 76 |1019 |4319 |8930 |4319 |4697 |1341 |5059 |1406 | 1.050000e+02 | -- | Inf
394.91/395.05 c 395s| 3000 | 1770 | 1406k| 462.6 | 58M| 76 | - |4319 |8885 |4319 |4697 |1341 |5168 |1444 | 1.050000e+02 | -- | Inf
436.52/436.65 c 437s| 3100 | 1826 | 1609k| 513.1 | 59M| 76 | - |4319 |9048 |4319 |4697 |1341 |5699 |1480 | 1.050000e+02 | -- | Inf
446.20/446.37 c 446s| 3200 | 1866 | 1645k| 508.2 | 59M| 76 | - |4319 |8931 |4319 |4697 |1341 |5795 |1514 | 1.050000e+02 | -- | Inf
459.10/459.28 c 459s| 3300 | 1931 | 1693k| 507.5 | 59M| 76 |1010 |4319 |8646 |4319 |4697 |1341 |5869 |1569 | 1.050000e+02 | -- | Inf
476.60/476.70 c 477s| 3400 | 1993 | 1758k| 511.7 | 59M| 76 | 580 |4319 |8190 |4319 |4697 |1341 |6003 |1648 | 1.050000e+02 | -- | Inf
490.40/490.59 c 491s| 3500 | 2053 | 1819k| 514.4 | 59M| 76 | 721 |4319 |7882 |4319 |4697 |1341 |6078 |1682 | 1.050000e+02 | -- | Inf
499.80/499.95 c 500s| 3600 | 2090 | 1854k| 510.0 | 60M| 76 | - |4319 |7832 |4319 |4697 |1341 |6177 |1732 | 1.050000e+02 | -- | Inf
510.80/510.92 c 511s| 3700 | 2144 | 1894k| 506.8 | 60M| 76 | 955 |4319 |7830 |4319 |4697 |1341 |6271 |1783 | 1.050000e+02 | -- | Inf
520.59/520.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
520.59/520.78 c 521s| 3800 | 2191 | 1929k| 502.9 | 60M| 76 | - |4319 |7800 |4319 |4697 |1341 |6340 |1831 | 1.050000e+02 | -- | Inf
530.49/530.62 c 531s| 3900 | 2254 | 1974k| 501.3 | 60M| 76 | - |4319 |7694 |4319 |4697 |1341 |6428 |1852 | 1.050000e+02 | -- | Inf
542.99/543.13 c 543s| 4000 | 2307 | 2015k| 499.1 | 60M| 76 |1075 |4319 |7709 |4319 |4697 |1341 |6522 |1894 | 1.050000e+02 | -- | Inf
556.29/556.46 c 556s| 4100 | 2366 | 2066k| 499.5 | 60M| 76 | - |4319 |7678 |4319 |4697 |1341 |6593 |1949 | 1.050000e+02 | -- | Inf
588.29/588.45 c 588s| 4200 | 2413 | 2245k| 530.1 | 61M| 76 | - |4319 |7761 |4319 |4697 |1341 |6759 |1978 | 1.050000e+02 | -- | Inf
600.29/600.40 c 600s| 4300 | 2470 | 2295k| 529.6 | 61M| 76 | 736 |4319 |7788 |4319 |4697 |1341 |6874 |2028 | 1.050000e+02 | -- | Inf
607.09/607.23 c 607s| 4400 | 2512 | 2324k| 524.1 | 61M| 76 | 971 |4319 |7782 |4319 |4697 |1341 |6958 |2056 | 1.050000e+02 | -- | Inf
617.48/617.69 c 618s| 4500 | 2559 | 2362k| 520.8 | 61M| 76 | 749 |4319 |7806 |4319 |4697 |1341 |7076 |2097 | 1.050000e+02 | -- | Inf
626.08/626.28 c 626s| 4600 | 2600 | 2389k| 515.4 | 62M| 76 | 807 |4319 |7818 |4319 |4697 |1341 |7162 |2143 | 1.050000e+02 | -- | Inf
636.79/636.94 c 637s| 4700 | 2650 | 2429k| 513.0 | 62M| 76 | 857 |4319 |7803 |4319 |4697 |1341 |7236 |2176 | 1.050000e+02 | -- | Inf
641.98/642.17 c 642s| 4800 | 2697 | 2453k| 507.2 | 62M| 76 |1179 |4319 |7769 |4319 |4697 |1341 |7295 |2187 | 1.050000e+02 | -- | Inf
652.67/652.81 c 653s| 4900 | 2760 | 2494k| 505.1 | 62M| 76 |2088 |4319 |7729 |4319 |4697 |1341 |7333 |2219 | 1.050000e+02 | -- | Inf
661.27/661.45 c 661s| 5000 | 2816 | 2530k| 502.2 | 63M| 76 |1667 |4319 |7748 |4319 |4697 |1341 |7419 |2252 | 1.050000e+02 | -- | Inf
670.07/670.27 c 670s| 5100 | 2860 | 2568k| 499.9 | 63M| 76 | 696 |4319 |7746 |4319 |4697 |1341 |7496 |2273 | 1.050000e+02 | -- | Inf
679.07/679.26 c 679s| 5200 | 2909 | 2599k| 496.2 | 63M| 76 | 350 |4319 |7731 |4319 |4697 |1341 |7572 |2302 | 1.050000e+02 | -- | Inf
685.67/685.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
685.67/685.85 c 686s| 5300 | 2948 | 2624k| 491.7 | 63M| 76 | - |4319 |7772 |4319 |4697 |1341 |7683 |2341 | 1.050000e+02 | -- | Inf
693.77/693.95 c 694s| 5400 | 3011 | 2657k| 488.6 | 64M| 76 | - |4319 |7782 |4319 |4697 |1341 |7776 |2375 | 1.050000e+02 | -- | Inf
701.87/702.01 c 702s| 5500 | 3058 | 2689k| 485.5 | 64M| 76 | - |4319 |7871 |4319 |4697 |1341 |7945 |2428 | 1.050000e+02 | -- | Inf
709.16/709.37 c 709s| 5600 | 3082 | 2715k| 481.6 | 64M| 76 | 559 |4319 |8059 |4319 |4697 |1341 |8186 |2461 | 1.050000e+02 | -- | Inf
714.06/714.27 c 714s| 5700 | 3085 | 2732k| 476.1 | 64M| 76 | 751 |4319 |8212 |4319 |4697 |1341 |8414 |2488 | 1.050000e+02 | -- | Inf
728.66/728.84 c 729s| 5800 | 3131 | 2777k| 475.6 | 65M| 76 |1153 |4319 |8135 |4319 |4697 |1341 |8525 |2532 | 1.050000e+02 | -- | Inf
737.47/737.62 c 738s| 5900 | 3187 | 2816k| 474.1 | 65M| 76 | 609 |4319 |7919 |4319 |4697 |1341 |8609 |2563 | 1.050000e+02 | -- | Inf
747.06/747.26 c 747s| 6000 | 3234 | 2852k| 472.3 | 65M| 76 |1021 |4319 |7709 |4319 |4697 |1341 |8740 |2602 | 1.050000e+02 | -- | Inf
755.06/755.23 c 755s| 6100 | 3293 | 2892k| 471.0 | 65M| 76 | 583 |4319 |7607 |4319 |4697 |1341 |8853 |2622 | 1.050000e+02 | -- | Inf
763.17/763.37 c 763s| 6200 | 3334 | 2919k| 467.9 | 65M| 76 | - |4319 |7575 |4319 |4697 |1341 |8935 |2658 | 1.050000e+02 | -- | Inf
772.26/772.44 c 772s| 6300 | 3395 | 2952k| 465.6 | 66M| 76 | 756 |4319 |7497 |4319 |4697 |1341 |9010 |2689 | 1.050000e+02 | -- | Inf
775.76/775.92 c 776s| 6400 | 3425 | 2964k| 460.2 | 66M| 76 | - |4319 |7556 |4319 |4697 |1341 |9134 |2711 | 1.050000e+02 | -- | Inf
783.07/783.22 c 783s| 6500 | 3469 | 2989k| 457.1 | 66M| 76 | 627 |4319 |7598 |4319 |4697 |1341 |9233 |2758 | 1.050000e+02 | -- | Inf
790.56/790.73 c 791s| 6600 | 3515 | 3016k| 454.2 | 66M| 76 | - |4319 |7598 |4319 |4697 |1341 |9321 |2796 | 1.050000e+02 | -- | Inf
797.95/798.19 c 798s| 6700 | 3567 | 3046k| 451.9 | 67M| 76 | 999 |4319 |7601 |4319 |4697 |1341 |9390 |2830 | 1.050000e+02 | -- | Inf
803.75/803.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
803.75/803.97 c 804s| 6800 | 3621 | 3072k| 449.1 | 67M| 76 | 827 |4319 |7605 |4319 |4697 |1341 |9479 |2856 | 1.050000e+02 | -- | Inf
813.45/813.60 c 814s| 6900 | 3676 | 3104k| 447.1 | 67M| 76 | - |4319 |7646 |4319 |4697 |1341 |9585 |2888 | 1.050000e+02 | -- | Inf
820.65/820.84 c 821s| 7000 | 3729 | 3126k| 443.9 | 67M| 76 |1185 |4319 |7615 |4319 |4697 |1341 |9642 |2918 | 1.050000e+02 | -- | Inf
827.85/828.02 c 828s| 7100 | 3776 | 3153k| 441.5 | 67M| 76 | 712 |4319 |7508 |4319 |4697 |1341 |9734 |2941 | 1.050000e+02 | -- | Inf
833.45/833.69 c 834s| 7200 | 3819 | 3172k| 437.9 | 68M| 76 |1114 |4319 |7538 |4319 |4697 |1341 |9801 |2958 | 1.050000e+02 | -- | Inf
841.55/841.74 c 842s| 7300 | 3868 | 3197k| 435.4 | 68M| 76 | 636 |4319 |7476 |4319 |4697 |1341 |9899 |2988 | 1.050000e+02 | -- | Inf
847.35/847.59 c 848s| 7400 | 3903 | 3218k| 432.4 | 68M| 76 | - |4319 |7465 |4319 |4697 |1341 | 10k|3008 | 1.050000e+02 | -- | Inf
851.74/851.93 c 852s| 7500 | 3943 | 3236k| 429.0 | 68M| 76 | 592 |4319 |7446 |4319 |4697 |1341 | 10k|3039 | 1.050000e+02 | -- | Inf
860.05/860.20 c 860s| 7600 | 3973 | 3261k| 426.6 | 68M| 76 | 920 |4319 |7364 |4319 |4697 |1341 | 10k|3070 | 1.050000e+02 | -- | Inf
870.65/870.81 c 871s| 7700 | 4022 | 3305k| 426.8 | 68M| 76 | 597 |4319 |7363 |4319 |4697 |1341 | 10k|3096 | 1.050000e+02 | -- | Inf
878.05/878.27 c 878s| 7800 | 4050 | 3329k| 424.4 | 69M| 76 | - |4319 |7367 | 0 | 0 |1341 | 10k|3151 | 1.050000e+02 | -- | Inf
884.15/884.40 c 884s| 7900 | 4092 | 3347k| 421.3 | 69M| 76 | - |4319 |7393 |4319 |4697 |1341 | 10k|3196 | 1.050000e+02 | -- | Inf
892.74/892.91 c 893s| 8000 | 4134 | 3375k| 419.5 | 69M| 76 | - |4319 |7413 |4319 |4697 |1341 | 10k|3241 | 1.050000e+02 | -- | Inf
902.85/903.02 c 903s| 8100 | 4175 | 3415k| 419.4 | 69M| 76 | 797 |4319 |7437 |4319 |4697 |1341 | 10k|3292 | 1.050000e+02 | -- | Inf
931.83/932.06 c 932s| 8200 | 4229 | 3545k| 430.1 | 70M| 76 | - |4319 |8177 |4319 |4697 |1341 | 11k|3329 | 1.050000e+02 | -- | Inf
937.63/937.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
937.63/937.89 c 938s| 8300 | 4258 | 3564k| 427.1 | 70M| 76 | - |4319 |8217 |4319 |4697 |1341 | 11k|3362 | 1.050000e+02 | -- | Inf
943.73/943.92 c 944s| 8400 | 4310 | 3583k| 424.3 | 70M| 76 | 882 |4319 |8220 |4319 |4697 |1341 | 11k|3399 | 1.050000e+02 | -- | Inf
949.14/949.36 c 949s| 8500 | 4349 | 3603k| 421.7 | 71M| 76 | 970 |4319 |8275 |4319 |4697 |1341 | 11k|3443 | 1.050000e+02 | -- | Inf
954.93/955.18 c 955s| 8600 | 4380 | 3624k| 419.2 | 71M| 76 | 512 |4319 |8309 |4319 |4697 |1341 | 11k|3481 | 1.050000e+02 | -- | Inf
967.13/967.32 c 967s| 8700 | 4429 | 3673k| 420.1 | 71M| 76 |1182 |4319 |8388 |4319 |4697 |1341 | 12k|3522 | 1.050000e+02 | -- | Inf
974.34/974.53 c 975s| 8800 | 4474 | 3704k| 418.8 | 71M| 76 | 861 |4319 |8396 |4319 |4697 |1341 | 12k|3549 | 1.050000e+02 | -- | Inf
982.23/982.42 c 982s| 8900 | 4524 | 3730k| 417.0 | 72M| 76 |1422 |4319 |8377 |4319 |4697 |1341 | 12k|3587 | 1.050000e+02 | -- | Inf
984.33/984.58 c 985s| 9000 | 4570 | 3740k| 413.5 | 72M| 76 | 584 |4319 |8340 |4319 |4697 |1341 | 12k|3587 | 1.050000e+02 | -- | Inf
991.42/991.68 c 992s| 9100 | 4616 | 3764k| 411.5 | 72M| 76 | - |4319 |8264 |4319 |4697 |1341 | 12k|3627 | 1.050000e+02 | -- | Inf
1000.23/1000.41 c 1000s| 9200 | 4655 | 3796k| 410.6 | 72M| 76 | 523 |4319 |8279 |4319 |4697 |1341 | 12k|3695 | 1.050000e+02 | -- | Inf
1006.23/1006.46 c 1006s| 9300 | 4681 | 3817k| 408.4 | 72M| 76 | - |4319 |8241 |4319 |4697 |1341 | 12k|3721 | 1.050000e+02 | -- | Inf
1011.52/1011.78 c 1012s| 9400 | 4713 | 3835k| 406.0 | 73M| 76 | 405 |4319 |8266 |4319 |4697 |1341 | 12k|3750 | 1.050000e+02 | -- | Inf
1018.82/1019.06 c 1019s| 9500 | 4733 | 3860k| 404.4 | 73M| 76 | 660 |4319 |8366 |4319 |4697 |1341 | 13k|3768 | 1.050000e+02 | -- | Inf
1024.32/1024.55 c 1025s| 9600 | 4795 | 3883k| 402.5 | 73M| 76 | 787 |4319 |8280 |4319 |4697 |1341 | 13k|3788 | 1.050000e+02 | -- | Inf
1030.02/1030.29 c 1030s| 9700 | 4816 | 3903k| 400.5 | 73M| 76 | - |4319 |8262 |4319 |4697 |1341 | 13k|3823 | 1.050000e+02 | -- | Inf
1039.92/1040.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1039.92/1040.14 c 1040s| 9800 | 4855 | 3939k| 400.1 | 74M| 76 | - |4319 |8249 |4319 |4697 |1341 | 13k|3876 | 1.050000e+02 | -- | Inf
1047.03/1047.25 c 1047s| 9900 | 4894 | 3965k| 398.6 | 74M| 76 | 630 |4319 |8219 |4319 |4697 |1341 | 13k|3903 | 1.050000e+02 | -- | Inf
1054.82/1055.06 c 1055s| 10000 | 4926 | 3998k| 398.0 | 74M| 76 | - |4319 |8227 |4319 |4697 |1341 | 13k|3942 | 1.050000e+02 | -- | Inf
1062.81/1063.02 c 1063s| 10100 | 4985 | 4033k| 397.5 | 74M| 84 | 479 |4319 |8176 |4319 |4697 |1341 | 13k|3985 | 1.050000e+02 | -- | Inf
1068.51/1068.74 c 1069s| 10200 | 5011 | 4057k| 396.0 | 75M| 84 | - |4319 |8146 |4319 |4697 |1341 | 13k|4004 | 1.050000e+02 | -- | Inf
1074.61/1074.88 c 1075s| 10300 | 5057 | 4080k| 394.3 | 75M| 84 | 554 |4319 |8105 |4319 |4697 |1341 | 13k|4050 | 1.050000e+02 | -- | Inf
1080.41/1080.61 c 1081s| 10400 | 5107 | 4103k| 392.8 | 75M| 84 |1148 |4319 |8025 |4319 |4697 |1341 | 13k|4078 | 1.050000e+02 | -- | Inf
1088.41/1088.66 c 1089s| 10500 | 5155 | 4141k| 392.6 | 75M| 84 | 702 |4319 |7976 |4319 |4697 |1341 | 14k|4103 | 1.050000e+02 | -- | Inf
1094.81/1095.02 c 1095s| 10600 | 5185 | 4161k| 390.8 | 76M| 84 | 606 |4319 |7958 |4319 |4697 |1341 | 14k|4136 | 1.050000e+02 | -- | Inf
1097.61/1097.90 c 1098s| 10700 | 5228 | 4171k| 388.1 | 76M| 84 | 586 |4319 |7980 |4319 |4697 |1341 | 14k|4151 | 1.050000e+02 | -- | Inf
1105.31/1105.52 c 1106s| 10800 | 5271 | 4202k| 387.3 | 76M| 84 | - |4319 |7923 |4319 |4697 |1341 | 14k|4188 | 1.050000e+02 | -- | Inf
1115.61/1115.80 c 1116s| 10900 | 5321 | 4247k| 388.0 | 76M| 84 | 797 |4319 |7924 |4319 |4697 |1341 | 14k|4235 | 1.050000e+02 | -- | Inf
1121.51/1121.72 c 1122s| 11000 | 5359 | 4264k| 386.0 | 77M| 84 | 618 |4319 |7882 |4319 |4697 |1341 | 14k|4254 | 1.050000e+02 | -- | Inf
1128.31/1128.53 c 1129s| 11100 | 5399 | 4288k| 384.6 | 77M| 84 | 861 |4319 |7872 |4319 |4697 |1341 | 14k|4295 | 1.050000e+02 | -- | Inf
1138.81/1139.02 c 1139s| 11200 | 5444 | 4324k| 384.4 | 77M| 84 | 661 |4319 |7826 |4319 |4697 |1341 | 14k|4330 | 1.050000e+02 | -- | Inf
1144.00/1144.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1144.00/1144.24 c 1144s| 11300 | 5486 | 4344k| 382.8 | 77M| 84 | 751 |4319 |7833 |4319 |4697 |1341 | 14k|4349 | 1.050000e+02 | -- | Inf
1168.80/1169.04 c 1169s| 11400 | 5534 | 4502k| 393.3 | 78M| 84 |1138 |4319 |8197 |4319 |4697 |1341 | 15k|4377 | 1.050000e+02 | -- | Inf
1172.10/1172.38 c 1172s| 11500 | 5565 | 4513k| 390.8 | 78M| 84 | 530 |4319 |8213 |4319 |4697 |1341 | 15k|4391 | 1.050000e+02 | -- | Inf
1179.60/1179.83 c 1180s| 11600 | 5602 | 4533k| 389.2 | 78M| 84 | 728 |4319 |8175 |4319 |4697 |1341 | 15k|4430 | 1.050000e+02 | -- | Inf
1183.60/1183.85 c 1184s| 11700 | 5643 | 4550k| 387.3 | 78M| 84 | 616 |4319 |8213 |4319 |4697 |1341 | 15k|4439 | 1.050000e+02 | -- | Inf
1188.30/1188.50 c 1189s| 11800 | 5676 | 4567k| 385.5 | 79M| 84 | 657 |4319 |8224 |4319 |4697 |1341 | 15k|4457 | 1.050000e+02 | -- | Inf
1195.70/1195.99 c 1196s| 11900 | 5727 | 4593k| 384.4 | 79M| 84 | 977 |4319 |8259 |4319 |4697 |1341 | 15k|4494 | 1.050000e+02 | -- | Inf
1200.30/1200.54 c 1201s| 12000 | 5762 | 4611k| 382.7 | 79M| 84 | - |4319 |8390 | 0 | 0 |1341 | 15k|4507 | 1.050000e+02 | -- | Inf
1205.59/1205.85 c 1206s| 12100 | 5780 | 4631k| 381.2 | 80M| 84 | - |4319 |8397 |4319 |4697 |1341 | 16k|4545 | 1.050000e+02 | -- | Inf
1210.90/1211.14 c 1211s| 12200 | 5818 | 4650k| 379.6 | 80M| 84 | - |4319 |8393 |4319 |4697 |1341 | 16k|4574 | 1.050000e+02 | -- | Inf
1222.19/1222.40 c 1222s| 12300 | 5881 | 4690k| 379.8 | 80M| 84 | 593 |4319 |8379 |4319 |4697 |1341 | 16k|4602 | 1.050000e+02 | -- | Inf
1226.49/1226.76 c 1227s| 12400 | 5897 | 4705k| 377.9 | 80M| 84 | 733 |4319 |8359 |4319 |4697 |1341 | 16k|4629 | 1.050000e+02 | -- | Inf
1234.49/1234.72 c 1235s| 12500 | 5951 | 4729k| 376.9 | 80M| 84 | 742 |4319 |8286 |4319 |4697 |1341 | 16k|4665 | 1.050000e+02 | -- | Inf
1239.89/1240.10 c 1240s| 12600 | 5989 | 4748k| 375.4 | 81M| 84 | 665 |4319 |8237 |4319 |4697 |1341 | 16k|4693 | 1.050000e+02 | -- | Inf
1244.89/1245.18 c 1245s| 12700 | 6026 | 4763k| 373.6 | 81M| 84 | - |4319 |8290 |4319 |4697 |1341 | 16k|4739 | 1.050000e+02 | -- | Inf
1250.69/1250.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1250.69/1250.92 c 1251s| 12800 | 6052 | 4779k| 371.9 | 81M| 84 | 662 |4319 |8274 |4319 |4697 |1341 | 16k|4766 | 1.050000e+02 | -- | Inf
1254.98/1255.29 c 1255s| 12900 | 6074 | 4793k| 370.1 | 81M| 84 | 613 |4319 |8266 |4319 |4697 |1341 | 16k|4785 | 1.050000e+02 | -- | Inf
1259.19/1259.47 c 1259s| 13000 | 6102 | 4806k| 368.2 | 81M| 84 |1144 |4319 |8313 |4319 |4697 |1341 | 16k|4814 | 1.050000e+02 | -- | Inf
1268.09/1268.37 c 1268s| 13100 | 6153 | 4842k| 368.2 | 81M| 84 | 710 |4319 |8311 |4319 |4697 |1341 | 16k|4859 | 1.050000e+02 | -- | Inf
1275.69/1275.94 c 1276s| 13200 | 6184 | 4861k| 366.8 | 82M| 84 | - |4319 |8308 |4319 |4697 |1341 | 17k|4903 | 1.050000e+02 | -- | Inf
1278.78/1279.01 c 1279s| 13300 | 6206 | 4871k| 364.9 | 82M| 84 | - |4319 |8359 |4319 |4697 |1341 | 17k|4921 | 1.050000e+02 | -- | Inf
1285.87/1286.14 c 1286s| 13400 | 6257 | 4901k| 364.4 | 82M| 84 |1004 |4319 |8344 |4319 |4697 |1341 | 17k|4960 | 1.050000e+02 | -- | Inf
1291.98/1292.29 c 1292s| 13500 | 6303 | 4923k| 363.3 | 82M| 84 | 520 |4319 |8334 |4319 |4697 |1341 | 17k|4996 | 1.050000e+02 | -- | Inf
1299.08/1299.33 c 1299s| 13600 | 6330 | 4951k| 362.7 | 82M| 84 | - |4319 |8318 |4319 |4697 |1341 | 17k|5024 | 1.050000e+02 | -- | Inf
1305.97/1306.21 c 1306s| 13700 | 6365 | 4974k| 361.7 | 83M| 84 | - |4319 |8341 |4319 |4697 |1341 | 17k|5042 | 1.050000e+02 | -- | Inf
1317.07/1317.34 c 1317s| 13800 | 6385 | 5041k| 363.9 | 83M| 84 | 818 |4319 |8555 |4319 |4697 |1341 | 17k|5052 | 1.050000e+02 | -- | Inf
1323.87/1324.15 c 1324s| 13900 | 6402 | 5063k| 362.9 | 83M| 84 | 955 |4319 |8636 |4319 |4697 |1341 | 18k|5110 | 1.050000e+02 | -- | Inf
1328.97/1329.20 c 1329s| 14000 | 6446 | 5081k| 361.6 | 84M| 84 | - |4319 |8711 |4319 |4697 |1341 | 18k|5131 | 1.050000e+02 | -- | Inf
1335.18/1335.41 c 1335s| 14100 | 6466 | 5102k| 360.5 | 84M| 84 | - |4319 |8749 |4319 |4697 |1341 | 18k|5158 | 1.050000e+02 | -- | Inf
1343.16/1343.41 c 1343s| 14200 | 6523 | 5125k| 359.6 | 84M| 84 | 610 |4319 |8709 |4319 |4697 |1341 | 18k|5208 | 1.050000e+02 | -- | Inf
1347.37/1347.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1347.37/1347.63 c 1348s| 14300 | 6569 | 5138k| 358.0 | 84M| 84 | - |4319 |8770 |4319 |4697 |1341 | 18k|5239 | 1.050000e+02 | -- | Inf
1351.27/1351.50 c 1352s| 14400 | 6609 | 5151k| 356.4 | 85M| 84 | 630 |4319 |8780 |4319 |4697 |1341 | 18k|5262 | 1.050000e+02 | -- | Inf
1360.57/1360.81 c 1361s| 14500 | 6655 | 5184k| 356.2 | 85M| 84 | 465 |4319 |8773 |4319 |4697 |1341 | 18k|5305 | 1.050000e+02 | -- | Inf
1362.76/1363.05 c 1363s| 14600 | 6665 | 5190k| 354.2 | 85M| 84 | - |4319 |8877 |4319 |4697 |1341 | 18k|5315 | 1.050000e+02 | -- | Inf
1371.37/1371.65 c 1372s| 14700 | 6694 | 5218k| 353.7 | 86M| 84 | 787 |4319 |8897 |4319 |4697 |1341 | 19k|5361 | 1.050000e+02 | -- | Inf
1376.97/1377.21 c 1377s| 14800 | 6737 | 5235k| 352.5 | 86M| 84 | 524 |4319 |8947 |4319 |4697 |1341 | 19k|5401 | 1.050000e+02 | -- | Inf
1382.96/1383.29 c 1383s| 14900 | 6755 | 5256k| 351.5 | 86M| 84 | 690 |4319 |8939 |4319 |4697 |1341 | 19k|5434 | 1.050000e+02 | -- | Inf
1386.77/1387.02 c 1387s| 15000 | 6788 | 5266k| 349.8 | 87M| 84 | 397 |4319 |9060 |4319 |4697 |1341 | 19k|5476 | 1.050000e+02 | -- | Inf
1390.77/1391.03 c 1391s| 15100 | 6792 | 5277k| 348.2 | 87M| 84 | - |4319 |9159 | 0 | 0 |1341 | 19k|5529 | 1.050000e+02 | -- | Inf
1399.66/1399.93 c 1400s| 15200 | 6844 | 5304k| 347.7 | 87M| 84 | - |4319 |9036 |4319 |4697 |1341 | 19k|5598 | 1.050000e+02 | -- | Inf
1403.56/1403.85 c 1404s| 15300 | 6852 | 5317k| 346.3 | 87M| 84 | 630 |4319 |8897 |4319 |4697 |1341 | 19k|5611 | 1.050000e+02 | -- | Inf
1417.06/1417.32 c 1417s| 15400 | 6903 | 5365k| 347.2 | 88M| 84 | 612 |4319 |8686 |4319 |4697 |1341 | 20k|5663 | 1.050000e+02 | -- | Inf
1421.36/1421.60 c 1422s| 15500 | 6921 | 5382k| 346.1 | 88M| 84 | 836 |4319 |8481 |4319 |4697 |1341 | 20k|5681 | 1.050000e+02 | -- | Inf
1425.95/1426.27 c 1426s| 15600 | 6946 | 5397k| 344.8 | 88M| 84 | - |4319 |8503 |4319 |4697 |1341 | 20k|5722 | 1.050000e+02 | -- | Inf
1433.45/1433.70 c 1434s| 15700 | 6987 | 5419k| 344.0 | 88M| 84 | - |4319 |8448 |4319 |4697 |1341 | 20k|5754 | 1.050000e+02 | -- | Inf
1437.25/1437.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1437.25/1437.54 c 1438s| 15800 | 7025 | 5432k| 342.6 | 88M| 84 | - |4319 |8474 | 0 | 0 |1341 | 20k|5771 | 1.050000e+02 | -- | Inf
1441.76/1442.04 c 1442s| 15900 | 7027 | 5443k| 341.2 | 89M| 84 | - |4319 |8532 | 0 | 0 |1341 | 20k|5826 | 1.050000e+02 | -- | Inf
1448.85/1449.15 c 1449s| 16000 | 7053 | 5468k| 340.6 | 89M| 84 | - |4319 |8465 |4319 |4697 |1341 | 20k|5851 | 1.050000e+02 | -- | Inf
1454.35/1454.68 c 1455s| 16100 | 7096 | 5494k| 340.1 | 89M| 84 | 518 |4319 |8474 |4319 |4697 |1341 | 20k|5873 | 1.050000e+02 | -- | Inf
1459.75/1460.08 c 1460s| 16200 | 7120 | 5511k| 339.0 | 89M| 84 | 774 |4319 |8496 |4319 |4697 |1341 | 21k|5909 | 1.050000e+02 | -- | Inf
1465.55/1465.81 c 1466s| 16300 | 7139 | 5529k| 338.0 | 89M| 84 | 798 |4319 |8470 |4319 |4697 |1341 | 21k|5941 | 1.050000e+02 | -- | Inf
1470.15/1470.48 c 1470s| 16400 | 7174 | 5550k| 337.3 | 90M| 84 | 490 |4319 |8482 |4319 |4697 |1341 | 21k|5951 | 1.050000e+02 | -- | Inf
1474.25/1474.55 c 1475s| 16500 | 7209 | 5565k| 336.1 | 90M| 84 |1091 |4319 |8455 |4319 |4697 |1341 | 21k|5962 | 1.050000e+02 | -- | Inf
1478.55/1478.88 c 1479s| 16600 | 7239 | 5581k| 335.1 | 90M| 84 | - |4319 |8485 |4319 |4697 |1341 | 21k|5985 | 1.050000e+02 | -- | Inf
1485.25/1485.55 c 1486s| 16700 | 7287 | 5612k| 334.9 | 90M| 84 | 757 |4319 |8441 |4319 |4697 |1341 | 21k|6005 | 1.050000e+02 | -- | Inf
1490.85/1491.18 c 1491s| 16800 | 7332 | 5633k| 334.2 | 91M| 84 | 644 |4319 |8427 |4319 |4697 |1341 | 21k|6023 | 1.050000e+02 | -- | Inf
1497.05/1497.33 c 1497s| 16900 | 7356 | 5654k| 333.5 | 91M| 84 | - |4319 |8423 |4319 |4697 |1341 | 21k|6049 | 1.050000e+02 | -- | Inf
1501.25/1501.56 c 1502s| 17000 | 7386 | 5673k| 332.6 | 91M| 84 | 600 |4319 |8435 |4319 |4697 |1341 | 22k|6063 | 1.050000e+02 | -- | Inf
1508.24/1508.51 c 1509s| 17100 | 7406 | 5702k| 332.3 | 91M| 84 | 563 |4319 |8530 |4319 |4697 |1341 | 22k|6098 | 1.050000e+02 | -- | Inf
1514.84/1515.12 c 1515s| 17200 | 7462 | 5724k| 331.7 | 92M| 84 | 376 |4319 |8483 |4319 |4697 |1341 | 22k|6135 | 1.050000e+02 | -- | Inf
1525.85/1526.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1525.85/1526.12 c 1526s| 17300 | 7498 | 5769k| 332.4 | 92M| 84 | 897 |4319 |8351 |4319 |4697 |1341 | 22k|6175 | 1.050000e+02 | -- | Inf
1530.34/1530.64 c 1531s| 17400 | 7524 | 5785k| 331.4 | 92M| 84 | - |4319 |8485 | 0 | 0 |1341 | 22k|6193 | 1.050000e+02 | -- | Inf
1534.34/1534.64 c 1535s| 17500 | 7523 | 5806k| 330.7 | 92M| 84 | - |4319 |8654 |4319 |4697 |1341 | 22k|6193 | 1.050000e+02 | -- | Inf
1540.63/1540.96 c 1541s| 17600 | 7555 | 5829k| 330.1 | 92M| 84 | - |4319 |8641 | 0 | 0 |1341 | 23k|6224 | 1.050000e+02 | -- | Inf
1546.34/1546.66 c 1547s| 17700 | 7556 | 5838k| 328.8 | 93M| 84 | - |4319 |8650 |4319 |4697 |1341 | 23k|6319 | 1.050000e+02 | -- | Inf
1552.94/1553.26 c 1553s| 17800 | 7574 | 5858k| 328.1 | 93M| 84 | 896 |4319 |8560 |4319 |4697 |1341 | 23k|6354 | 1.050000e+02 | -- | Inf
1558.94/1559.22 c 1559s| 17900 | 7587 | 5880k| 327.4 | 93M| 84 | 492 |4319 |8493 |4319 |4697 |1341 | 23k|6379 | 1.050000e+02 | -- | Inf
1572.64/1572.91 c 1573s| 18000 | 7619 | 5952k| 329.6 | 93M| 84 | - |4319 |8560 |4319 |4697 |1341 | 23k|6406 | 1.050000e+02 | -- | Inf
1580.34/1580.64 c 1581s| 18100 | 7656 | 5978k| 329.3 | 93M| 84 | 839 |4319 |8342 |4319 |4697 |1341 | 23k|6437 | 1.050000e+02 | -- | Inf
1584.84/1585.13 c 1585s| 18200 | 7708 | 5992k| 328.2 | 94M| 84 | 537 |4319 |8293 |4319 |4697 |1341 | 23k|6456 | 1.050000e+02 | -- | Inf
1588.23/1588.52 c 1589s| 18300 | 7742 | 6005k| 327.1 | 94M| 84 | - |4319 |8281 |4319 |4697 |1341 | 24k|6465 | 1.050000e+02 | -- | Inf
1596.93/1597.22 c 1597s| 18400 | 7779 | 6029k| 326.7 | 94M| 84 | 416 |4319 |8308 |4319 |4697 |1341 | 24k|6532 | 1.050000e+02 | -- | Inf
1600.33/1600.60 c 1601s| 18500 | 7813 | 6046k| 325.8 | 94M| 84 | 335 |4319 |8448 |4319 |4697 |1341 | 24k|6542 | 1.050000e+02 | -- | Inf
1602.03/1602.38 c 1602s| 18600 | 7835 | 6051k| 324.3 | 95M| 84 | 410 |4319 |8633 |4319 |4697 |1341 | 24k|6546 | 1.050000e+02 | -- | Inf
1606.03/1606.32 c 1606s| 18700 | 7867 | 6066k| 323.4 | 96M| 84 | 614 |4319 |8773 |4319 |4697 |1341 | 24k|6564 | 1.050000e+02 | -- | Inf
1608.53/1608.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1608.53/1608.87 c 1609s| 18800 | 7882 | 6075k| 322.2 | 96M| 84 | - |4319 |8863 |4319 |4697 |1341 | 24k|6568 | 1.050000e+02 | -- | Inf
1611.53/1611.87 c 1612s| 18900 | 7899 | 6084k| 320.9 | 97M| 84 | 518 |4319 |8923 |4319 |4697 |1341 | 25k|6577 | 1.050000e+02 | -- | Inf
1614.13/1614.45 c 1614s| 19000 | 7888 | 6095k| 319.8 | 97M| 84 | 643 |4319 |8930 |4319 |4697 |1341 | 25k|6578 | 1.050000e+02 | -- | Inf
1619.93/1620.29 c 1620s| 19100 | 7920 | 6108k| 318.8 | 97M| 84 | 438 |4319 |8959 |4319 |4697 |1341 | 25k|6633 | 1.050000e+02 | -- | Inf
1629.03/1629.36 c 1629s| 19200 | 7947 | 6130k| 318.3 | 97M| 84 | - |4319 |8900 |4319 |4697 |1341 | 25k|6715 | 1.050000e+02 | -- | Inf
1637.63/1637.92 c 1638s| 19300 | 7984 | 6154k| 317.9 | 98M| 84 | 960 |4319 |8812 |4319 |4697 |1341 | 25k|6764 | 1.050000e+02 | -- | Inf
1640.52/1640.86 c 1641s| 19400 | 8012 | 6167k| 317.0 | 98M| 84 | - |4319 |8807 |4319 |4697 |1341 | 25k|6772 | 1.050000e+02 | -- | Inf
1646.22/1646.53 c 1647s| 19500 | 8047 | 6193k| 316.7 | 98M| 84 | - |4319 |8803 |4319 |4697 |1341 | 25k|6806 | 1.050000e+02 | -- | Inf
1652.42/1652.73 c 1653s| 19600 | 8067 | 6214k| 316.1 | 98M| 84 | - |4319 |8731 |4319 |4697 |1341 | 26k|6835 | 1.050000e+02 | -- | Inf
1659.12/1659.48 c 1659s| 19700 | 8099 | 6236k| 315.6 | 99M| 84 | 583 |4319 |8684 |4319 |4697 |1341 | 26k|6872 | 1.050000e+02 | -- | Inf
1667.82/1668.11 c 1668s| 19800 | 8122 | 6256k| 315.0 | 99M| 84 | 785 |4319 |8705 |4319 |4697 |1341 | 26k|6916 | 1.050000e+02 | -- | Inf
1669.92/1670.26 c 1670s| 19900 | 8134 | 6264k| 313.8 | 99M| 84 | - |4319 |8789 |4319 |4697 |1341 | 26k|6916 | 1.050000e+02 | -- | Inf
1675.92/1676.29 c 1676s| 20000 | 8145 | 6290k| 313.6 | 99M| 84 | 537 |4319 |8889 |4319 |4697 |1341 | 26k|6940 | 1.050000e+02 | -- | Inf
1680.92/1681.23 c 1681s| 20100 | 8136 | 6307k| 312.9 | 99M| 84 | 670 |4319 |9039 |4319 |4697 |1341 | 26k|6971 | 1.050000e+02 | -- | Inf
1685.52/1685.85 c 1686s| 20200 | 8157 | 6325k| 312.2 | 99M| 84 | - |4319 |8999 | 0 | 0 |1341 | 26k|6990 | 1.050000e+02 | -- | Inf
1689.81/1690.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1689.81/1690.16 c 1690s| 20300 | 8185 | 6335k| 311.2 | 99M| 84 | 458 |4319 |8928 |4319 |4697 |1341 | 26k|7016 | 1.050000e+02 | -- | Inf
1695.71/1696.02 c 1696s| 20400 | 8214 | 6360k| 310.8 | 100M| 84 | - |4319 |8746 | 0 | 0 |1341 | 27k|7025 | 1.050000e+02 | -- | Inf
1700.12/1700.44 c 1700s| 20500 | 8259 | 6379k| 310.2 | 100M| 84 | - |4319 |8672 |4319 |4697 |1341 | 27k|7040 | 1.050000e+02 | -- | Inf
1706.61/1706.92 c 1707s| 20600 | 8293 | 6422k| 310.8 | 100M| 84 | 443 |4319 |8736 |4319 |4697 |1341 | 27k|7045 | 1.050000e+02 | -- | Inf
1710.71/1711.00 c 1711s| 20700 | 8324 | 6441k| 310.3 | 100M| 84 | - |4319 |8729 |4319 |4697 |1341 | 27k|7045 | 1.050000e+02 | -- | Inf
1713.62/1713.93 c 1714s| 20800 | 8352 | 6455k| 309.5 | 101M| 84 | - |4319 |8697 |4319 |4697 |1341 | 27k|7052 | 1.050000e+02 | -- | Inf
1717.11/1717.44 c 1717s| 20900 | 8369 | 6468k| 308.6 | 101M| 84 | - |4319 |8703 |4319 |4697 |1341 | 27k|7071 | 1.050000e+02 | -- | Inf
1725.11/1725.47 c 1725s| 21000 | 8368 | 6493k| 308.3 | 101M| 84 | 629 |4319 |8695 |4319 |4697 |1341 | 27k|7131 | 1.050000e+02 | -- | Inf
1727.82/1728.13 c 1728s| 21100 | 8377 | 6506k| 307.4 | 101M| 84 |1026 |4319 |8752 |4319 |4697 |1341 | 27k|7133 | 1.050000e+02 | -- | Inf
1733.01/1733.36 c 1733s| 21200 | 8399 | 6537k| 307.5 | 101M| 84 | - |4319 |8878 |4319 |4697 |1341 | 28k|7138 | 1.050000e+02 | -- | Inf
1743.61/1743.91 c 1744s| 21300 | 8426 | 6551k| 306.7 | 102M| 84 | - |4319 |8866 |4319 |4697 |1341 | 28k|7279 | 1.050000e+02 | -- | Inf
1751.21/1751.56 c 1752s| 21400 | 8470 | 6575k| 306.4 | 102M| 84 | 973 |4319 |8838 |4319 |4697 |1341 | 28k|7312 | 1.050000e+02 | -- | Inf
1756.10/1756.46 c 1756s| 21500 | 8497 | 6607k| 306.4 | 102M| 84 | 563 |4319 |8870 |4319 |4697 |1341 | 28k|7314 | 1.050000e+02 | -- | Inf
1762.31/1762.61 c 1763s| 21600 | 8513 | 6624k| 305.8 | 102M| 84 | 683 |4319 |8880 |4319 |4697 |1341 | 28k|7380 | 1.050000e+02 | -- | Inf
1766.71/1767.00 c 1767s| 21700 | 8541 | 6637k| 305.0 | 102M| 84 | 462 |4319 |8906 |4319 |4697 |1341 | 28k|7389 | 1.050000e+02 | -- | Inf
1769.30/1769.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1769.30/1769.60 c 1770s| 21800 | 8566 | 6648k| 304.1 | 103M| 84 | - |4319 |8978 | 0 | 0 |1341 | 29k|7395 | 1.050000e+02 | -- | Inf
1771.90/1772.20 c 1772s| 21900 | 8590 | 6659k| 303.2 | 103M| 84 | 891 |4319 |9052 |4319 |4697 |1341 | 29k|7401 | 1.050000e+02 | -- | Inf
1776.11/1776.43 c 1776s| 22000 | 8631 | 6673k| 302.5 | 103M| 84 | 553 |4319 |9064 |4319 |4697 |1341 | 29k|7418 | 1.050000e+02 | -- | Inf
1779.20/1779.56 c 1780s| 22100 | 8646 | 6687k| 301.8 | 103M| 84 | 609 |4319 |9137 |4319 |4697 |1341 | 29k|7422 | 1.050000e+02 | -- | Inf
1788.41/1788.75 c 1789s| 22200 | 8687 | 6711k| 301.4 | 104M| 84 | 852 |4319 |9080 |4319 |4697 |1341 | 29k|7485 | 1.050000e+02 | -- | Inf
1790.51/1790.86 c 1791s| 22300 | 8702 | 6717k| 300.4 | 104M| 84 | 492 |4319 |9138 |4319 |4697 |1341 | 29k|7485 | 1.050000e+02 | -- | Inf
1792.80/1793.13 c 1793s| 22400 | 8719 | 6728k| 299.5 | 104M| 84 | 413 |4319 |9286 |4319 |4697 |1341 | 29k|7486 | 1.050000e+02 | -- | Inf
1795.50/1795.84 c 1796s| 22500 | 8727 | 6742k| 298.8 | 105M| 84 | - |4319 |9502 |4319 |4697 |1341 | 30k|7486 | 1.050000e+02 | -- | Inf
1796.70/1797.01 c
1796.70/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.01 c Solving Time (sec) : 1797.01
1796.70/1797.01 c Solving Nodes : 22557
1796.70/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.70/1797.01 c Dual Bound : +1.05000000000000e+02
1796.70/1797.01 c Gap : infinite
1796.70/1797.01 s UNKNOWN
1796.70/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.01 c Total Time : 1797.01
1796.70/1797.01 c solving : 1797.01
1796.70/1797.01 c presolving : 0.19 (included in solving)
1796.70/1797.01 c reading : 0.10 (included in solving)
1796.70/1797.01 c copying : 0.07 (2 #copies) (minimal 0.03, maximal 0.03, average 0.03)
1796.70/1797.01 c Original Problem :
1796.70/1797.01 c Problem name : HOME/instance-3692144-1338034816.opb
1796.70/1797.01 c Variables : 4320 (4320 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.01 c Constraints : 8415 initial, 8415 maximal
1796.70/1797.01 c Objective sense : minimize
1796.70/1797.01 c Presolved Problem :
1796.70/1797.01 c Problem name : t_HOME/instance-3692144-1338034816.opb
1796.70/1797.01 c Variables : 4319 (4319 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.01 c Constraints : 4443 initial, 10083 maximal
1796.70/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c probing : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c knapsack : 0.01 0.00 0 0 0 0 0 0 10 63 137
1796.70/1797.01 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c linear : 0.14 0.03 1 0 0 1 0 3982 0 4 305
1796.70/1797.01 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c root node : - - 0 - - 0 - - - - -
1796.70/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.01 c integral : 0 0 0 0 16923 0 4 0 32 2409 0 0 32350
1796.70/1797.01 c knapsack : 452 452 6 110923 0 2 3 60930 411 125165 1204 0 0
1796.70/1797.01 c setppc : 10 10 6 34384 0 0 0 3819 0 59 0 0 0
1796.70/1797.01 c linear : 3981+ 5585 7 110512 0 2 0 30422 1164 1455640 631 0 0
1796.70/1797.01 c logicor : 0+ 4036 6 60286 0 0 0 79037 205 59888 0 0 0
1796.70/1797.01 c countsols : 0 0 0 0 0 2 0 0 0 0 0 0 0
1796.70/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.01 c integral : 548.59 0.00 0.00 0.00 548.59 0.00 0.00 0.00
1796.70/1797.01 c knapsack : 6.43 0.00 0.03 6.34 0.00 0.00 0.00 0.06
1796.70/1797.01 c setppc : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00
1796.70/1797.01 c linear : 28.50 0.03 0.01 28.41 0.00 0.00 0.00 0.05
1796.70/1797.01 c logicor : 2.80 0.00 0.00 2.71 0.00 0.00 0.00 0.09
1796.70/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.01 c rootredcost : 0 0 0 0
1796.70/1797.01 c pseudoobj : 127747 0 0 0
1796.70/1797.01 c vbounds : 0 0 0 0
1796.70/1797.01 c redcost : 16983 0 0 82
1796.70/1797.01 c probing : 0 0 0 0
1796.70/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.01 c rootredcost : 0.05 0.00 0.00 0.05 0.00
1796.70/1797.01 c pseudoobj : 0.17 0.00 0.00 0.17 0.00
1796.70/1797.01 c vbounds : 0.04 0.00 0.00 0.04 0.00
1796.70/1797.01 c redcost : 1.12 0.00 0.00 1.12 0.00
1796.70/1797.01 c probing : 0.01 0.00 0.01 0.00 0.00
1796.70/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.01 c propagation : 0.18 1780 1773 17219 40.1 163 21.3 -
1796.70/1797.01 c infeasible LP : 5.24 10191 10191 34412 26.1 1115 12.9 0
1796.70/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.01 c applied globally : - - - 30394 22.2 - - -
1796.70/1797.01 c applied locally : - - - 0 0.0 - - -
1796.70/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.01 c cut pool : 0.00 5 - - 488 - (maximal pool size: 4082)
1796.70/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c impliedbounds : 0.00 0.00 6 0 0 4 0
1796.70/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c gomory : 1.40 0.00 6 0 0 45 0
1796.70/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c strongcg : 1.36 0.00 6 0 0 5 0
1796.70/1797.01 c cmir : 1.61 0.00 6 0 0 3000 0
1796.70/1797.01 c flowcover : 0.85 0.00 6 0 0 1200 0
1796.70/1797.01 c clique : 0.00 0.00 6 0 0 2 0
1796.70/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c mcf : 0.00 0.00 2 0 0 0 0
1796.70/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c rapidlearning : 8.86 0.00 1 0 0 0 1604
1796.70/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.01 c problem variables: 0.00 - 0 0
1796.70/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.01 c relpscost : 548.56 0.00 16923 32 2409 0 0 32350
1796.70/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c inference : 0.00 0.00 2 0 0 0 0 4
1796.70/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.01 c LP solutions : 0.00 - - 0
1796.70/1797.01 c pseudo solutions : 0.00 - - 0
1796.70/1797.01 c oneopt : 0.02 0.00 0 0
1796.70/1797.01 c crossover : 0.01 0.00 0 0
1796.70/1797.01 c guideddiving : 0.00 0.00 0 0
1796.70/1797.01 c intshifting : 0.00 0.00 0 0
1796.70/1797.01 c coefdiving : 90.86 0.00 8 0
1796.70/1797.01 c fracdiving : 77.30 0.00 9 0
1796.70/1797.01 c objpscostdiving : 23.53 0.00 16 0
1796.70/1797.01 c rootsoldiving : 12.01 0.00 32 0
1796.70/1797.01 c feaspump : 27.90 0.00 35 0
1796.70/1797.01 c pscostdiving : 45.20 0.00 98 0
1796.70/1797.01 c veclendiving : 45.84 0.00 153 0
1796.70/1797.01 c linesearchdiving : 53.50 0.00 154 0
1796.70/1797.01 c smallcard : 0.00 0.00 0 0
1796.70/1797.01 c trivial : 0.00 0.00 2 0
1796.70/1797.01 c shiftandpropagate: 0.29 0.00 1 0
1796.70/1797.01 c simplerounding : 0.01 0.00 0 0
1796.70/1797.01 c zirounding : 0.54 0.00 1000 0
1796.70/1797.01 c rounding : 1.61 0.00 1787 0
1796.70/1797.01 c shifting : 11.36 0.00 547 0
1796.70/1797.01 c twoopt : 0.00 0.00 0 0
1796.70/1797.01 c indoneopt : 0.02 0.00 0 0
1796.70/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.01 c clique : 0.00 0.00 0 0
1796.70/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.01 c indrounding : 0.00 0.00 0 0
1796.70/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.01 c intdiving : 0.00 0.00 0 0
1796.70/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.01 c octane : 0.00 0.00 0 0
1796.70/1797.01 c rens : 0.15 0.00 1 0
1796.70/1797.01 c rins : 0.00 0.00 0 0
1796.70/1797.01 c localbranching : 0.00 0.00 0 0
1796.70/1797.01 c mutation : 0.00 0.00 0 0
1796.70/1797.01 c dins : 0.00 0.00 0 0
1796.70/1797.01 c vbounds : 0.00 0.00 0 0
1796.70/1797.01 c undercover : 0.00 0.00 0 0
1796.70/1797.01 c subnlp : 0.01 0.00 0 0
1796.70/1797.01 c trysol : 0.02 0.00 0 0
1796.70/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.01 c primal LP : 0.04 1 0 0.00 0.00 0.04 1
1796.70/1797.01 c dual LP : 768.34 22693 4767026 212.39 6204.31 1.40 248
1796.70/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.01 c diving/probing LP: 346.30 14709 1979867 134.60 5717.18
1796.70/1797.01 c strong branching : 545.18 7486 2479621 331.23 4548.28
1796.70/1797.01 c (at root node) : - 23 18532 805.74 -
1796.70/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.01 c B&B Tree :
1796.70/1797.01 c number of runs : 1
1796.70/1797.01 c nodes : 22557
1796.70/1797.01 c nodes (total) : 22557
1796.70/1797.01 c nodes left : 8732
1796.70/1797.01 c max depth : 84
1796.70/1797.01 c max depth (total): 84
1796.70/1797.01 c backtracks : 3233 (14.3%)
1796.70/1797.01 c delayed cutoffs : 1066
1796.70/1797.01 c repropagations : 26077 (447970 domain reductions, 462 cutoffs)
1796.70/1797.01 c avg switch length: 8.73
1796.70/1797.01 c switching time : 22.95
1796.70/1797.01 c Solution :
1796.70/1797.01 c Solutions found : 0 (0 improvements)
1796.70/1797.01 c Primal Bound : -
1796.70/1797.01 c Dual Bound : +1.05000000000000e+02
1796.70/1797.01 c Gap : infinite
1796.70/1797.01 c Root Dual Bound : +1.05000000000000e+02
1796.70/1797.01 c Root Iterations : 19412
1796.80/1797.11 c Time complete: 1796.82.
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-3692144-1338034816/watcher-3692144-1338034816 -o /tmp/evaluation-result-3692144-1338034816/solver-3692144-1338034816 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692144-1338034816.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.09 2.03 2.01 3/177 3305
/proc/meminfo: memFree=28367120/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=12820 CPUtime=0 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 1944 0 0 0 0 0 0 0 20 0 1 0 269607623 13127680 1899 33554432000 4194304 10219143 140733561840144 140733561704984 7589947 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 3205 1899 421 1471 0 1725 0
[startup+0.05031 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 3305
/proc/meminfo: memFree=28367120/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=18728 CPUtime=0.04 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 3424 0 0 0 4 0 0 0 20 0 1 0 269607623 19177472 3379 33554432000 4194304 10219143 140733561840144 140733561704984 9029200 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 4682 3379 421 1471 0 3202 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18728
[startup+0.100259 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 3305
/proc/meminfo: memFree=28367120/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=25820 CPUtime=0.09 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 5099 0 0 0 9 0 0 0 20 0 1 0 269607623 26439680 5055 33554432000 4194304 10219143 140733561840144 140733561704984 7589947 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 6455 5090 421 1471 0 4975 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25820
[startup+0.300176 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 3305
/proc/meminfo: memFree=28367120/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=93412 CPUtime=0.29 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 21652 0 0 0 26 3 0 0 20 0 1 0 269607623 95653888 20997 33554432000 4194304 10219143 140733561840144 140733561704984 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 23353 20997 594 1471 0 21873 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 93412
[startup+0.700249 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 3305
/proc/meminfo: memFree=28367120/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=127592 CPUtime=0.69 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 29984 0 0 0 64 5 0 0 20 0 1 0 269607623 130654208 28955 33554432000 4194304 10219143 140733561840144 140733561836024 8077296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 31898 28955 768 1471 0 30418 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 127592
[startup+1.50025 s]
/proc/loadavg: 2.09 2.03 2.01 3/178 3306
/proc/meminfo: memFree=28059132/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=125972 CPUtime=1.49 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 31152 0 0 0 143 6 0 0 20 0 1 0 269607623 128995328 29069 33554432000 4194304 10219143 140733561840144 140733561831304 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 31493 29069 786 1471 0 30013 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 125972
[startup+3.10018 s]
/proc/loadavg: 2.09 2.03 2.01 3/178 3306
/proc/meminfo: memFree=28051428/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=178804 CPUtime=3.08 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 44066 0 0 0 299 9 0 0 20 0 1 0 269607623 183095296 41983 33554432000 4194304 10219143 140733561840144 140733561833832 4436031 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 44701 41983 830 1471 0 43221 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 178804
[startup+6.30014 s]
/proc/loadavg: 2.08 2.03 2.01 3/178 3306
/proc/meminfo: memFree=27966524/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=182672 CPUtime=6.28 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 45019 0 0 0 608 20 0 0 20 0 1 0 269607623 187056128 42936 33554432000 4194304 10219143 140733561840144 140733561834248 4436025 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 45668 42936 830 1471 0 44188 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 182672
[startup+12.7001 s]
/proc/loadavg: 2.07 2.03 2.00 3/178 3306
/proc/meminfo: memFree=27936468/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=192252 CPUtime=12.69 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 47759 0 0 0 1237 32 0 0 20 0 1 0 269607623 196866048 45571 33554432000 4194304 10219143 140733561840144 140733561835096 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 48063 45571 848 1471 0 46583 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 192252
[startup+25.5002 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 3306
/proc/meminfo: memFree=27906680/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=192264 CPUtime=25.49 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 52848 0 0 0 2511 38 0 0 20 0 1 0 269607623 196878336 46162 33554432000 4194304 10219143 140733561840144 140733561833592 8077296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 48066 46162 856 1471 0 46586 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 192264
[startup+51.1002 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 3306
/proc/meminfo: memFree=27875628/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=192264 CPUtime=51.08 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 52848 0 0 0 5063 45 0 0 20 0 1 0 269607623 196878336 46162 33554432000 4194304 10219143 140733561840144 140733561832664 8077296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 48066 46162 856 1471 0 46586 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 192264
[startup+102.306 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 3306
/proc/meminfo: memFree=27886448/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=192264 CPUtime=102.28 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 52854 0 0 0 10159 69 0 0 20 0 1 0 269607623 196878336 46168 33554432000 4194304 10219143 140733561840144 140733561832584 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 48066 46168 859 1471 0 46586 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 192264
[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 3306
/proc/meminfo: memFree=27888856/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=192264 CPUtime=162.26 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 52863 0 0 0 16126 100 0 0 20 0 1 0 269607623 196878336 46177 33554432000 4194304 10219143 140733561840144 140733561836184 8077296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 48066 46177 859 1471 0 46586 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 192264
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 3306
/proc/meminfo: memFree=27870408/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=192264 CPUtime=222.26 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 52875 0 0 0 22093 133 0 0 20 0 1 0 269607623 196878336 46196 33554432000 4194304 10219143 140733561840144 140733561834008 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 48066 46196 859 1471 0 46586 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 192264
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3307
/proc/meminfo: memFree=27887132/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=192264 CPUtime=282.23 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 52890 0 0 0 28061 162 0 0 20 0 1 0 269607623 196878336 46601 33554432000 4194304 10219143 140733561840144 140733561832856 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 48066 46601 859 1471 0 46586 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 192264
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3307
/proc/meminfo: memFree=27881680/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=192264 CPUtime=342.22 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 52892 0 0 0 34032 190 0 0 20 0 1 0 269607623 196878336 47102 33554432000 4194304 10219143 140733561840144 140733561832760 8077296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 48066 47102 859 1471 0 46586 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 192264
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3308
/proc/meminfo: memFree=27881672/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=192264 CPUtime=402.21 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 52893 0 0 0 40003 218 0 0 20 0 1 0 269607623 196878336 47103 33554432000 4194304 10219143 140733561840144 140733561832120 8077296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 48066 47103 859 1471 0 46586 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 192264
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3308
/proc/meminfo: memFree=27877068/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=192264 CPUtime=462.21 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 52893 0 0 0 45974 247 0 0 20 0 1 0 269607623 196878336 47103 33554432000 4194304 10219143 140733561840144 140733561832760 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 48066 47103 859 1471 0 46586 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 192264
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3308
/proc/meminfo: memFree=27876984/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=192264 CPUtime=522.2 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 52896 0 0 0 51944 276 0 0 20 0 1 0 269607623 196878336 47106 33554432000 4194304 10219143 140733561840144 140733561833128 6798413 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 48066 47106 859 1471 0 46586 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 192264
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3309
/proc/meminfo: memFree=27876796/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=192264 CPUtime=582.19 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 52896 0 0 0 57912 307 0 0 20 0 1 0 269607623 196878336 47121 33554432000 4194304 10219143 140733561840144 140733561832328 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 48066 47121 859 1471 0 46586 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 192264
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27870428/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=194452 CPUtime=1062.12 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 53420 0 0 0 105670 542 0 0 20 0 1 0 269607623 199118848 47645 33554432000 4194304 10219143 140733561840144 140733561832664 8077296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 48613 47645 859 1471 0 47133 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 194452
[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 3313
/proc/meminfo: memFree=27870192/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=196632 CPUtime=1122.11 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 53906 0 0 0 111637 574 0 0 20 0 1 0 269607623 201351168 48131 33554432000 4194304 10219143 140733561840144 140733561832664 8077296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 49158 48131 859 1471 0 47678 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 196632
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 3314
/proc/meminfo: memFree=27861384/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=198712 CPUtime=1182.09 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 54483 0 0 0 117602 607 0 0 20 0 1 0 269607623 203481088 48708 33554432000 4194304 10219143 140733561840144 140733561833400 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 49678 48708 859 1471 0 48198 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 198712
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 3317
/proc/meminfo: memFree=27853684/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=200240 CPUtime=1242.09 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 57063 0 0 0 123572 637 0 0 20 0 1 0 269607623 205045760 49096 33554432000 4194304 10219143 140733561840144 140733561833128 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 50060 49096 859 1471 0 48580 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 200240
[startup+1302.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 3317
/proc/meminfo: memFree=27845624/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=205028 CPUtime=1302.08 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 60552 0 0 0 129543 665 0 0 20 0 1 0 269607623 209948672 49765 33554432000 4194304 10219143 140733561840144 140733561833128 8077296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 51257 49765 859 1471 0 49777 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 205028
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3317
/proc/meminfo: memFree=27853696/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=204664 CPUtime=1362.06 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 66385 0 0 0 135512 694 0 0 20 0 1 0 269607623 209575936 50208 33554432000 4194304 10219143 140733561840144 140733561836616 8077296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 51166 50208 859 1471 0 49686 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 204664
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3317
/proc/meminfo: memFree=27847624/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=210796 CPUtime=1422.06 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 78401 0 0 0 141481 725 0 0 20 0 1 0 269607623 215855104 51730 33554432000 4194304 10219143 140733561840144 140733561833080 8077296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 52699 51730 859 1471 0 51219 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 210796
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3318
/proc/meminfo: memFree=27840304/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=213504 CPUtime=1482.05 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 91590 0 0 0 147448 757 0 0 20 0 1 0 269607623 218628096 52388 33554432000 4194304 10219143 140733561840144 140733561833272 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 53376 52388 859 1471 0 51896 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 213504
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3318
/proc/meminfo: memFree=27854152/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=220348 CPUtime=1542.04 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 97543 0 0 0 153415 789 0 0 20 0 1 0 269607623 225636352 54131 33554432000 4194304 10219143 140733561840144 140733561833976 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 55087 54131 859 1471 0 53607 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 220348
[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 3318
/proc/meminfo: memFree=27839700/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=221800 CPUtime=1602.03 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 109441 0 0 0 159381 822 0 0 20 0 1 0 269607623 227123200 54383 33554432000 4194304 10219143 140733561840144 140733561833080 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 55450 54383 859 1471 0 53970 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 221800
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 3318
/proc/meminfo: memFree=27825100/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=231256 CPUtime=1662.02 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 117341 0 0 0 165351 851 0 0 20 0 1 0 269607623 236806144 56860 33554432000 4194304 10219143 140733561840144 140733561833080 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 57814 56860 859 1471 0 56334 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 231256
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 3318
/proc/meminfo: memFree=27822812/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=236552 CPUtime=1722.01 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 123837 0 0 0 171321 880 0 0 20 0 1 0 269607623 242229248 57831 33554432000 4194304 10219143 140733561840144 140733561833784 8091852 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 59138 57831 859 1471 0 57658 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 236552
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3319
/proc/meminfo: memFree=27815064/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=241840 CPUtime=1782 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 125504 0 0 0 177290 910 0 0 20 0 1 0 269607623 247644160 59498 33554432000 4194304 10219143 140733561840144 140733561833320 8077296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 60460 59498 859 1471 0 58980 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 241840
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3322
/proc/meminfo: memFree=27814428/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=241840 CPUtime=1785.21 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 125504 0 0 0 177609 912 0 0 20 0 1 0 269607623 247644160 59498 33554432000 4194304 10219143 140733561840144 140733561833272 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 60460 59498 859 1471 0 58980 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 241840
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3322
/proc/meminfo: memFree=27818468/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=237960 CPUtime=1791.61 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 127022 0 0 0 178245 916 0 0 20 0 1 0 269607623 243671040 58536 33554432000 4194304 10219143 140733561840144 140733561832664 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 59490 58536 859 1471 0 58010 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 237960
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3322
/proc/meminfo: memFree=27817176/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=240028 CPUtime=1794.81 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 127354 0 0 0 178563 918 0 0 20 0 1 0 269607623 245788672 58868 33554432000 4194304 10219143 140733561840144 140733561833784 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 60007 58868 859 1471 0 58527 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 240028
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3322
/proc/meminfo: memFree=27817176/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=240028 CPUtime=1795.6 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 127525 0 0 0 178642 918 0 0 20 0 1 0 269607623 245788672 59039 33554432000 4194304 10219143 140733561840144 140733561833448 8077296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 60007 59039 859 1471 0 58527 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 240028
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3322
/proc/meminfo: memFree=27816556/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=240028 CPUtime=1796.4 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 127533 0 0 0 178721 919 0 0 20 0 1 0 269607623 245788672 59047 33554432000 4194304 10219143 140733561840144 140733561832760 8077296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 60007 59047 859 1471 0 58527 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 240028
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3322
/proc/meminfo: memFree=27816556/32873648 swapFree=6864/6864
[pid=3305] ppid=3303 vsize=233504 CPUtime=1796.8 cores=1,3,5,7
/proc/3305/stat : 3305 (scip-2.1.1.4exp) R 3303 3305 1798 0 -1 4202496 127537 0 0 0 178761 919 0 0 20 0 1 0 269607623 239108096 57570 33554432000 4194304 10219143 140733561840144 140733561832760 9036791 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3305/statm: 58376 57570 863 1471 0 56896 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 233504
Child status: 0
Real time (s): 1797.12
CPU time (s): 1796.83
CPU user time (s): 1787.63
CPU system time (s): 9.1996
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 241840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.63
system time used= 9.1996
maximum resident set size= 237992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127539
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= 23
involuntary context switches= 1849
runsolver used 3.20151 second user time and 7.79481 second system time
The end