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-3690978-1338020533.opb>
0.03/0.09 c original problem has 4320 variables (4320 bin, 0 int, 0 impl, 0 cont) and 8415 constraints
0.03/0.09 c problem read in 0.10
0.09/0.18 c presolving:
0.19/0.25 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.28 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.29/0.32 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.33 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.34 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.37 c (0.4s) probing: 51/4319 (1.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.37 c (0.4s) probing aborted: 50/50 successive totally useless probings
0.29/0.38 c presolving (6 rounds):
0.29/0.38 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.38 c 214 implications, 7 cliques
0.29/0.38 c presolved problem has 4319 variables (4319 bin, 0 int, 0 impl, 0 cont) and 4443 constraints
0.29/0.38 c 452 constraints of type <knapsack>
0.29/0.38 c 10 constraints of type <setppc>
0.29/0.38 c 3981 constraints of type <linear>
0.29/0.38 c transformed objective value is always integral (scale: 1)
0.29/0.38 c Presolving Time: 0.26
0.29/0.38 c - non default parameters ----------------------------------------------------------------------
0.29/0.38 c # SCIP version 2.1.1.4
0.29/0.38 c
0.29/0.38 c # maximal time in seconds to run
0.29/0.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.38 c limits/time = 1797
0.29/0.38 c
0.29/0.38 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.38 c limits/memory = 13950
0.29/0.38 c
0.29/0.38 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.38 c # [type: int, range: [1,2], default: 1]
0.29/0.38 c timing/clocktype = 2
0.29/0.38 c
0.29/0.38 c # belongs reading time to solving time?
0.29/0.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.38 c timing/reading = TRUE
0.29/0.38 c
0.29/0.38 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.38 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.38 c separating/rapidlearning/freq = 0
0.29/0.38 c
0.29/0.38 c -----------------------------------------------------------------------------------------------
0.29/0.38 c start solving
0.29/0.38 c
0.69/0.74 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.74 c 0.7s| 1 | 0 | 107 | - | 38M| 0 | 282 |4319 |4470 |4319 |4443 | 0 | 27 | 0 | 1.050000e+02 | -- | Inf
11.49/11.59 c 11.6s| 1 | 0 | 7171 | - | 40M| 0 | 496 |4319 |6074 |4319 |4626 | 183 | 27 | 0 | 1.050000e+02 | -- | Inf
12.59/12.61 c 12.6s| 1 | 0 | 9958 | - | 41M| 0 | 638 |4319 |6074 |4319 |4845 | 402 | 27 | 0 | 1.050000e+02 | -- | Inf
13.99/14.08 c 14.1s| 1 | 0 | 12546 | - | 41M| 0 | 564 |4319 |6074 |4319 |5086 | 643 | 27 | 0 | 1.050000e+02 | -- | Inf
15.69/15.78 c 15.8s| 1 | 0 | 14516 | - | 42M| 0 | 596 |4319 |6074 |4319 |5316 | 873 | 27 | 0 | 1.050000e+02 | -- | Inf
17.79/17.87 c 17.9s| 1 | 0 | 16406 | - | 43M| 0 | 942 |4319 |6074 |4319 |5541 |1098 | 27 | 0 | 1.050000e+02 | -- | Inf
20.48/20.54 c 20.5s| 1 | 0 | 19412 | - | 44M| 0 |1025 |4319 |6074 |4319 |5784 |1341 | 27 | 0 | 1.050000e+02 | -- | Inf
30.58/30.64 c 30.6s| 1 | 2 | 19412 | - | 44M| 0 |1025 |4319 |6074 |4319 |5784 |1341 | 27 | 23 | 1.050000e+02 | -- | Inf
87.07/87.18 c 87.2s| 100 | 85 |129966 |1116.7 | 44M| 30 |1282 |4319 |6094 |4319 |4697 |1341 | 47 | 339 | 1.050000e+02 | -- | Inf
105.46/105.59 c 106s| 200 | 162 |215720 | 986.5 | 46M| 55 | 681 |4319 |6749 |4319 |4697 |1341 | 702 | 391 | 1.050000e+02 | -- | Inf
127.86/127.99 c 128s| 300 | 232 |301558 | 943.6 | 47M| 76 | 513 |4319 |8192 |4319 |4697 |1341 |2145 | 417 | 1.050000e+02 | -- | Inf
139.85/139.93 c 140s| 400 | 302 |347916 | 823.3 | 48M| 76 | - |4319 |8319 | 0 | 0 |1341 |2272 | 479 | 1.050000e+02 | -- | Inf
148.46/148.57 c 149s| 500 | 373 |381467 | 725.6 | 49M| 76 | 612 |4319 |8359 |4319 |4697 |1341 |2312 | 517 | 1.050000e+02 | -- | Inf
155.86/155.93 c 156s| 600 | 418 |406069 | 645.5 | 50M| 76 | - |4319 |8435 |4319 |4697 |1341 |2388 | 563 | 1.050000e+02 | -- | Inf
168.15/168.22 c 168s| 700 | 482 |468963 | 643.1 | 50M| 76 | 398 |4319 |8701 |4319 |4697 |1341 |2654 | 587 | 1.050000e+02 | -- | Inf
174.75/174.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
174.75/174.85 c 175s| 800 | 541 |493617 | 593.5 | 51M| 76 | 467 |4319 |8819 |4319 |4697 |1341 |2772 | 630 | 1.050000e+02 | -- | Inf
182.45/182.58 c 183s| 900 | 586 |522151 | 559.2 | 51M| 76 | 491 |4319 |8945 |4319 |4697 |1341 |2898 | 671 | 1.050000e+02 | -- | Inf
189.15/189.27 c 189s| 1000 | 643 |550889 | 532.0 | 52M| 76 | 660 |4319 |9060 |4319 |4697 |1341 |3013 | 720 | 1.050000e+02 | -- | Inf
196.65/196.70 c 197s| 1100 | 681 |577552 | 507.9 | 52M| 76 | 768 |4319 |9175 |4319 |4697 |1341 |3128 | 756 | 1.050000e+02 | -- | Inf
206.65/206.77 c 207s| 1200 | 729 |613959 | 495.9 | 52M| 76 | 488 |4319 |9372 |4319 |4697 |1341 |3325 | 791 | 1.050000e+02 | -- | Inf
216.04/216.16 c 216s| 1300 | 784 |649743 | 485.2 | 53M| 76 | - |4319 |9428 | 0 | 0 |1341 |3381 | 816 | 1.050000e+02 | -- | Inf
223.44/223.54 c 224s| 1400 | 823 |676648 | 469.8 | 53M| 76 | 692 |4319 |9526 |4319 |4697 |1341 |3480 | 857 | 1.050000e+02 | -- | Inf
230.14/230.21 c 230s| 1500 | 888 |702868 | 455.9 | 54M| 76 |2426 |4319 |9654 |4319 |4697 |1341 |3609 | 882 | 1.050000e+02 | -- | Inf
245.94/246.08 c 246s| 1600 | 958 |786083 | 479.5 | 54M| 76 | 851 |4319 |9773 |4319 |4697 |1341 |3730 | 928 | 1.050000e+02 | -- | Inf
268.94/269.01 c 269s| 1700 | 1028 |911210 | 524.9 | 55M| 76 | 551 |4319 |9982 |4319 |4697 |1341 |3955 | 975 | 1.050000e+02 | -- | Inf
280.63/280.71 c 281s| 1800 | 1105 |961162 | 523.5 | 55M| 76 | - |4319 | 10k| 0 | 0 |1341 |4071 |1010 | 1.050000e+02 | -- | Inf
288.74/288.85 c 289s| 1900 | 1155 |993170 | 512.8 | 55M| 76 |1103 |4319 |9994 |4319 |4697 |1341 |4198 |1041 | 1.050000e+02 | -- | Inf
297.73/297.85 c 298s| 2000 | 1214 | 1024k| 502.7 | 56M| 76 |1157 |4319 |9912 |4319 |4697 |1341 |4263 |1074 | 1.050000e+02 | -- | Inf
311.34/311.48 c 311s| 2100 | 1281 | 1072k| 501.9 | 56M| 76 |1152 |4319 |9791 |4319 |4697 |1341 |4326 |1126 | 1.050000e+02 | -- | Inf
321.43/321.50 c 321s| 2200 | 1351 | 1111k| 496.6 | 56M| 76 | 950 |4319 |9705 |4319 |4697 |1341 |4387 |1156 | 1.050000e+02 | -- | Inf
330.04/330.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
330.04/330.19 c 330s| 2300 | 1424 | 1141k| 488.0 | 56M| 76 |1120 |4319 |9631 |4319 |4697 |1341 |4420 |1188 | 1.050000e+02 | -- | Inf
338.43/338.57 c 339s| 2400 | 1478 | 1172k| 480.6 | 56M| 76 | 666 |4319 |9494 |4319 |4697 |1341 |4502 |1209 | 1.050000e+02 | -- | Inf
348.23/348.32 c 348s| 2500 | 1523 | 1202k| 473.4 | 56M| 76 | 519 |4319 |9322 |4319 |4697 |1341 |4601 |1234 | 1.050000e+02 | -- | Inf
358.42/358.58 c 359s| 2600 | 1568 | 1239k| 469.4 | 57M| 76 |1049 |4319 |9245 |4319 |4697 |1341 |4704 |1281 | 1.050000e+02 | -- | Inf
367.92/368.07 c 368s| 2700 | 1618 | 1275k| 465.5 | 57M| 76 | 794 |4319 |9136 |4319 |4697 |1341 |4817 |1312 | 1.050000e+02 | -- | Inf
383.92/384.04 c 384s| 2800 | 1662 | 1333k| 469.5 | 57M| 76 | 629 |4319 |9049 |4319 |4697 |1341 |4919 |1373 | 1.050000e+02 | -- | Inf
393.82/393.98 c 394s| 2900 | 1720 | 1370k| 466.0 | 57M| 76 |1019 |4319 |8930 |4319 |4697 |1341 |5059 |1406 | 1.050000e+02 | -- | Inf
403.62/403.71 c 404s| 3000 | 1770 | 1406k| 462.6 | 57M| 76 | - |4319 |8885 |4319 |4697 |1341 |5168 |1444 | 1.050000e+02 | -- | Inf
446.41/446.56 c 447s| 3100 | 1826 | 1609k| 513.1 | 58M| 76 | - |4319 |9048 |4319 |4697 |1341 |5699 |1480 | 1.050000e+02 | -- | Inf
456.41/456.55 c 457s| 3200 | 1866 | 1645k| 508.2 | 58M| 76 | - |4319 |8931 |4319 |4697 |1341 |5795 |1514 | 1.050000e+02 | -- | Inf
469.81/469.91 c 470s| 3300 | 1931 | 1693k| 507.5 | 58M| 76 |1010 |4319 |8646 |4319 |4697 |1341 |5869 |1569 | 1.050000e+02 | -- | Inf
487.71/487.89 c 488s| 3400 | 1993 | 1758k| 511.7 | 58M| 76 | 580 |4319 |8190 |4319 |4697 |1341 |6003 |1648 | 1.050000e+02 | -- | Inf
502.00/502.10 c 502s| 3500 | 2053 | 1819k| 514.4 | 58M| 76 | 721 |4319 |7882 |4319 |4697 |1341 |6078 |1682 | 1.050000e+02 | -- | Inf
511.60/511.73 c 512s| 3600 | 2090 | 1854k| 510.0 | 58M| 76 | - |4319 |7832 |4319 |4697 |1341 |6177 |1732 | 1.050000e+02 | -- | Inf
522.90/523.05 c 523s| 3700 | 2144 | 1894k| 506.8 | 58M| 76 | 955 |4319 |7830 |4319 |4697 |1341 |6271 |1783 | 1.050000e+02 | -- | Inf
533.10/533.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
533.10/533.25 c 533s| 3800 | 2191 | 1929k| 502.9 | 59M| 76 | - |4319 |7800 |4319 |4697 |1341 |6340 |1831 | 1.050000e+02 | -- | Inf
543.30/543.42 c 543s| 3900 | 2254 | 1974k| 501.3 | 59M| 76 | - |4319 |7694 |4319 |4697 |1341 |6428 |1852 | 1.050000e+02 | -- | Inf
556.19/556.30 c 556s| 4000 | 2307 | 2015k| 499.1 | 59M| 76 |1075 |4319 |7709 |4319 |4697 |1341 |6522 |1894 | 1.050000e+02 | -- | Inf
569.80/569.97 c 570s| 4100 | 2366 | 2066k| 499.5 | 59M| 76 | - |4319 |7678 |4319 |4697 |1341 |6593 |1949 | 1.050000e+02 | -- | Inf
602.39/602.58 c 603s| 4200 | 2413 | 2245k| 530.1 | 60M| 76 | - |4319 |7761 |4319 |4697 |1341 |6759 |1978 | 1.050000e+02 | -- | Inf
614.79/614.99 c 615s| 4300 | 2470 | 2295k| 529.6 | 60M| 76 | 736 |4319 |7788 |4319 |4697 |1341 |6874 |2028 | 1.050000e+02 | -- | Inf
621.89/622.06 c 622s| 4400 | 2512 | 2324k| 524.1 | 60M| 76 | 971 |4319 |7782 |4319 |4697 |1341 |6958 |2056 | 1.050000e+02 | -- | Inf
632.68/632.84 c 633s| 4500 | 2559 | 2362k| 520.8 | 60M| 76 | 749 |4319 |7806 |4319 |4697 |1341 |7076 |2097 | 1.050000e+02 | -- | Inf
641.48/641.68 c 642s| 4600 | 2600 | 2389k| 515.4 | 60M| 76 | 807 |4319 |7818 |4319 |4697 |1341 |7162 |2143 | 1.050000e+02 | -- | Inf
652.48/652.66 c 653s| 4700 | 2650 | 2429k| 513.0 | 61M| 76 | 857 |4319 |7803 |4319 |4697 |1341 |7236 |2176 | 1.050000e+02 | -- | Inf
657.98/658.11 c 658s| 4800 | 2697 | 2453k| 507.2 | 61M| 76 |1179 |4319 |7769 |4319 |4697 |1341 |7295 |2187 | 1.050000e+02 | -- | Inf
668.88/669.04 c 669s| 4900 | 2760 | 2494k| 505.1 | 61M| 76 |2088 |4319 |7729 |4319 |4697 |1341 |7333 |2219 | 1.050000e+02 | -- | Inf
677.78/677.95 c 678s| 5000 | 2816 | 2530k| 502.2 | 61M| 76 |1667 |4319 |7748 |4319 |4697 |1341 |7419 |2252 | 1.050000e+02 | -- | Inf
686.87/687.07 c 687s| 5100 | 2860 | 2568k| 499.9 | 62M| 76 | 696 |4319 |7746 |4319 |4697 |1341 |7496 |2273 | 1.050000e+02 | -- | Inf
696.18/696.34 c 696s| 5200 | 2909 | 2599k| 496.2 | 62M| 76 | 350 |4319 |7731 |4319 |4697 |1341 |7572 |2302 | 1.050000e+02 | -- | Inf
702.97/703.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
702.97/703.15 c 703s| 5300 | 2948 | 2624k| 491.7 | 62M| 76 | - |4319 |7772 |4319 |4697 |1341 |7683 |2341 | 1.050000e+02 | -- | Inf
711.37/711.55 c 712s| 5400 | 3011 | 2657k| 488.6 | 62M| 76 | - |4319 |7782 |4319 |4697 |1341 |7776 |2375 | 1.050000e+02 | -- | Inf
719.77/719.91 c 720s| 5500 | 3058 | 2689k| 485.5 | 63M| 76 | - |4319 |7871 |4319 |4697 |1341 |7945 |2428 | 1.050000e+02 | -- | Inf
727.37/727.57 c 728s| 5600 | 3082 | 2715k| 481.6 | 63M| 76 | 559 |4319 |8059 |4319 |4697 |1341 |8186 |2461 | 1.050000e+02 | -- | Inf
732.57/732.71 c 733s| 5700 | 3085 | 2732k| 476.1 | 63M| 76 | 751 |4319 |8212 |4319 |4697 |1341 |8414 |2488 | 1.050000e+02 | -- | Inf
747.67/747.80 c 748s| 5800 | 3131 | 2777k| 475.6 | 63M| 76 |1153 |4319 |8135 |4319 |4697 |1341 |8525 |2532 | 1.050000e+02 | -- | Inf
756.77/756.91 c 757s| 5900 | 3187 | 2816k| 474.1 | 64M| 76 | 609 |4319 |7919 |4319 |4697 |1341 |8609 |2563 | 1.050000e+02 | -- | Inf
766.67/766.89 c 767s| 6000 | 3234 | 2852k| 472.3 | 64M| 76 |1021 |4319 |7709 |4319 |4697 |1341 |8740 |2602 | 1.050000e+02 | -- | Inf
774.96/775.17 c 775s| 6100 | 3293 | 2892k| 471.0 | 64M| 76 | 583 |4319 |7607 |4319 |4697 |1341 |8853 |2622 | 1.050000e+02 | -- | Inf
783.36/783.58 c 784s| 6200 | 3334 | 2919k| 467.9 | 64M| 76 | - |4319 |7575 |4319 |4697 |1341 |8935 |2658 | 1.050000e+02 | -- | Inf
792.76/792.99 c 793s| 6300 | 3395 | 2952k| 465.6 | 65M| 76 | 756 |4319 |7497 |4319 |4697 |1341 |9010 |2689 | 1.050000e+02 | -- | Inf
796.46/796.64 c 797s| 6400 | 3425 | 2964k| 460.2 | 65M| 76 | - |4319 |7556 |4319 |4697 |1341 |9134 |2711 | 1.050000e+02 | -- | Inf
803.97/804.16 c 804s| 6500 | 3469 | 2989k| 457.1 | 65M| 76 | 627 |4319 |7598 |4319 |4697 |1341 |9233 |2758 | 1.050000e+02 | -- | Inf
811.76/811.93 c 812s| 6600 | 3515 | 3016k| 454.2 | 65M| 76 | - |4319 |7598 |4319 |4697 |1341 |9321 |2796 | 1.050000e+02 | -- | Inf
819.46/819.63 c 820s| 6700 | 3567 | 3046k| 451.9 | 66M| 76 | 999 |4319 |7601 |4319 |4697 |1341 |9390 |2830 | 1.050000e+02 | -- | Inf
825.45/825.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
825.45/825.61 c 826s| 6800 | 3621 | 3072k| 449.1 | 66M| 76 | 827 |4319 |7605 |4319 |4697 |1341 |9479 |2856 | 1.050000e+02 | -- | Inf
835.35/835.54 c 836s| 6900 | 3676 | 3104k| 447.1 | 66M| 76 | - |4319 |7646 |4319 |4697 |1341 |9585 |2888 | 1.050000e+02 | -- | Inf
842.85/843.03 c 843s| 7000 | 3729 | 3126k| 443.9 | 66M| 76 |1185 |4319 |7615 |4319 |4697 |1341 |9642 |2918 | 1.050000e+02 | -- | Inf
850.26/850.49 c 850s| 7100 | 3776 | 3153k| 441.5 | 66M| 76 | 712 |4319 |7508 |4319 |4697 |1341 |9734 |2941 | 1.050000e+02 | -- | Inf
856.14/856.37 c 856s| 7200 | 3819 | 3172k| 437.9 | 66M| 76 |1114 |4319 |7538 |4319 |4697 |1341 |9801 |2958 | 1.050000e+02 | -- | Inf
864.56/864.73 c 865s| 7300 | 3868 | 3197k| 435.4 | 67M| 76 | 636 |4319 |7476 |4319 |4697 |1341 |9899 |2988 | 1.050000e+02 | -- | Inf
870.65/870.87 c 871s| 7400 | 3903 | 3218k| 432.4 | 67M| 76 | - |4319 |7465 |4319 |4697 |1341 | 10k|3008 | 1.050000e+02 | -- | Inf
875.14/875.38 c 875s| 7500 | 3943 | 3236k| 429.0 | 67M| 76 | 592 |4319 |7446 |4319 |4697 |1341 | 10k|3039 | 1.050000e+02 | -- | Inf
883.74/883.94 c 884s| 7600 | 3973 | 3261k| 426.6 | 67M| 76 | 920 |4319 |7364 |4319 |4697 |1341 | 10k|3070 | 1.050000e+02 | -- | Inf
894.64/894.86 c 895s| 7700 | 4022 | 3305k| 426.8 | 67M| 76 | 597 |4319 |7363 |4319 |4697 |1341 | 10k|3096 | 1.050000e+02 | -- | Inf
902.34/902.59 c 903s| 7800 | 4050 | 3329k| 424.4 | 67M| 76 | - |4319 |7367 | 0 | 0 |1341 | 10k|3151 | 1.050000e+02 | -- | Inf
908.74/908.94 c 909s| 7900 | 4092 | 3347k| 421.3 | 68M| 76 | - |4319 |7393 |4319 |4697 |1341 | 10k|3196 | 1.050000e+02 | -- | Inf
917.54/917.73 c 918s| 8000 | 4134 | 3375k| 419.5 | 68M| 76 | - |4319 |7413 |4319 |4697 |1341 | 10k|3241 | 1.050000e+02 | -- | Inf
927.94/928.19 c 928s| 8100 | 4175 | 3415k| 419.4 | 68M| 76 | 797 |4319 |7437 |4319 |4697 |1341 | 10k|3292 | 1.050000e+02 | -- | Inf
958.33/958.57 c 959s| 8200 | 4229 | 3545k| 430.1 | 69M| 76 | - |4319 |8177 |4319 |4697 |1341 | 11k|3329 | 1.050000e+02 | -- | Inf
964.54/964.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
964.54/964.71 c 965s| 8300 | 4258 | 3564k| 427.1 | 69M| 76 | - |4319 |8217 |4319 |4697 |1341 | 11k|3362 | 1.050000e+02 | -- | Inf
970.73/970.97 c 971s| 8400 | 4310 | 3583k| 424.3 | 69M| 76 | 882 |4319 |8220 |4319 |4697 |1341 | 11k|3399 | 1.050000e+02 | -- | Inf
976.43/976.66 c 977s| 8500 | 4349 | 3603k| 421.7 | 69M| 76 | 970 |4319 |8275 |4319 |4697 |1341 | 11k|3443 | 1.050000e+02 | -- | Inf
982.53/982.72 c 983s| 8600 | 4380 | 3624k| 419.2 | 70M| 76 | 512 |4319 |8309 |4319 |4697 |1341 | 11k|3481 | 1.050000e+02 | -- | Inf
995.02/995.28 c 995s| 8700 | 4429 | 3673k| 420.1 | 70M| 76 |1182 |4319 |8388 |4319 |4697 |1341 | 12k|3522 | 1.050000e+02 | -- | Inf
1002.63/1002.81 c 1003s| 8800 | 4474 | 3704k| 418.8 | 70M| 76 | 861 |4319 |8396 |4319 |4697 |1341 | 12k|3549 | 1.050000e+02 | -- | Inf
1010.83/1011.03 c 1011s| 8900 | 4524 | 3730k| 417.0 | 70M| 76 |1422 |4319 |8377 |4319 |4697 |1341 | 12k|3587 | 1.050000e+02 | -- | Inf
1013.12/1013.33 c 1013s| 9000 | 4570 | 3740k| 413.5 | 71M| 76 | 584 |4319 |8340 |4319 |4697 |1341 | 12k|3587 | 1.050000e+02 | -- | Inf
1020.52/1020.70 c 1021s| 9100 | 4616 | 3764k| 411.5 | 71M| 76 | - |4319 |8264 |4319 |4697 |1341 | 12k|3627 | 1.050000e+02 | -- | Inf
1029.52/1029.73 c 1030s| 9200 | 4655 | 3796k| 410.6 | 71M| 76 | 523 |4319 |8279 |4319 |4697 |1341 | 12k|3695 | 1.050000e+02 | -- | Inf
1035.82/1036.07 c 1036s| 9300 | 4681 | 3817k| 408.4 | 71M| 76 | - |4319 |8241 |4319 |4697 |1341 | 12k|3721 | 1.050000e+02 | -- | Inf
1041.42/1041.62 c 1042s| 9400 | 4713 | 3835k| 406.0 | 72M| 76 | 405 |4319 |8266 |4319 |4697 |1341 | 12k|3750 | 1.050000e+02 | -- | Inf
1049.02/1049.23 c 1049s| 9500 | 4733 | 3860k| 404.4 | 72M| 76 | 660 |4319 |8366 |4319 |4697 |1341 | 13k|3768 | 1.050000e+02 | -- | Inf
1054.73/1054.94 c 1055s| 9600 | 4795 | 3883k| 402.5 | 72M| 76 | 787 |4319 |8280 |4319 |4697 |1341 | 13k|3788 | 1.050000e+02 | -- | Inf
1060.72/1060.90 c 1061s| 9700 | 4816 | 3903k| 400.5 | 72M| 76 | - |4319 |8262 |4319 |4697 |1341 | 13k|3823 | 1.050000e+02 | -- | Inf
1070.82/1071.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1070.82/1071.09 c 1071s| 9800 | 4855 | 3939k| 400.1 | 72M| 76 | - |4319 |8249 |4319 |4697 |1341 | 13k|3876 | 1.050000e+02 | -- | Inf
1078.22/1078.47 c 1078s| 9900 | 4894 | 3965k| 398.6 | 73M| 76 | 630 |4319 |8219 |4319 |4697 |1341 | 13k|3903 | 1.050000e+02 | -- | Inf
1086.31/1086.57 c 1087s| 10000 | 4926 | 3998k| 398.0 | 73M| 76 | - |4319 |8227 |4319 |4697 |1341 | 13k|3942 | 1.050000e+02 | -- | Inf
1094.61/1094.82 c 1095s| 10100 | 4985 | 4033k| 397.5 | 73M| 84 | 479 |4319 |8176 |4319 |4697 |1341 | 13k|3985 | 1.050000e+02 | -- | Inf
1100.61/1100.80 c 1101s| 10200 | 5011 | 4057k| 396.0 | 73M| 84 | - |4319 |8146 |4319 |4697 |1341 | 13k|4004 | 1.050000e+02 | -- | Inf
1106.91/1107.15 c 1107s| 10300 | 5057 | 4080k| 394.3 | 74M| 84 | 554 |4319 |8105 |4319 |4697 |1341 | 13k|4050 | 1.050000e+02 | -- | Inf
1112.91/1113.10 c 1113s| 10400 | 5107 | 4103k| 392.8 | 74M| 84 |1148 |4319 |8025 |4319 |4697 |1341 | 13k|4078 | 1.050000e+02 | -- | Inf
1121.20/1121.41 c 1121s| 10500 | 5155 | 4141k| 392.6 | 74M| 84 | 702 |4319 |7976 |4319 |4697 |1341 | 14k|4103 | 1.050000e+02 | -- | Inf
1127.81/1128.04 c 1128s| 10600 | 5185 | 4161k| 390.8 | 74M| 84 | 606 |4319 |7958 |4319 |4697 |1341 | 14k|4136 | 1.050000e+02 | -- | Inf
1130.81/1131.05 c 1131s| 10700 | 5228 | 4171k| 388.1 | 75M| 84 | 586 |4319 |7980 |4319 |4697 |1341 | 14k|4151 | 1.050000e+02 | -- | Inf
1138.70/1138.95 c 1139s| 10800 | 5271 | 4202k| 387.3 | 75M| 84 | - |4319 |7923 |4319 |4697 |1341 | 14k|4188 | 1.050000e+02 | -- | Inf
1149.31/1149.58 c 1150s| 10900 | 5321 | 4247k| 388.0 | 75M| 84 | 797 |4319 |7924 |4319 |4697 |1341 | 14k|4235 | 1.050000e+02 | -- | Inf
1155.50/1155.70 c 1156s| 11000 | 5359 | 4264k| 386.0 | 76M| 84 | 618 |4319 |7882 |4319 |4697 |1341 | 14k|4254 | 1.050000e+02 | -- | Inf
1162.50/1162.74 c 1163s| 11100 | 5399 | 4288k| 384.6 | 76M| 84 | 861 |4319 |7872 |4319 |4697 |1341 | 14k|4295 | 1.050000e+02 | -- | Inf
1173.30/1173.51 c 1174s| 11200 | 5444 | 4324k| 384.4 | 76M| 84 | 661 |4319 |7826 |4319 |4697 |1341 | 14k|4330 | 1.050000e+02 | -- | Inf
1178.70/1178.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1178.70/1178.95 c 1179s| 11300 | 5486 | 4344k| 382.8 | 76M| 84 | 751 |4319 |7833 |4319 |4697 |1341 | 14k|4349 | 1.050000e+02 | -- | Inf
1204.40/1204.61 c 1205s| 11400 | 5534 | 4502k| 393.3 | 76M| 84 |1138 |4319 |8197 |4319 |4697 |1341 | 15k|4377 | 1.050000e+02 | -- | Inf
1207.89/1208.12 c 1208s| 11500 | 5565 | 4513k| 390.8 | 77M| 84 | 530 |4319 |8213 |4319 |4697 |1341 | 15k|4391 | 1.050000e+02 | -- | Inf
1215.59/1215.85 c 1216s| 11600 | 5602 | 4533k| 389.2 | 77M| 84 | 728 |4319 |8175 |4319 |4697 |1341 | 15k|4430 | 1.050000e+02 | -- | Inf
1219.80/1220.06 c 1220s| 11700 | 5643 | 4550k| 387.3 | 77M| 84 | 616 |4319 |8213 |4319 |4697 |1341 | 15k|4439 | 1.050000e+02 | -- | Inf
1224.69/1224.90 c 1225s| 11800 | 5676 | 4567k| 385.5 | 78M| 84 | 657 |4319 |8224 |4319 |4697 |1341 | 15k|4457 | 1.050000e+02 | -- | Inf
1232.39/1232.64 c 1233s| 11900 | 5727 | 4593k| 384.4 | 78M| 84 | 977 |4319 |8259 |4319 |4697 |1341 | 15k|4494 | 1.050000e+02 | -- | Inf
1237.09/1237.38 c 1237s| 12000 | 5762 | 4611k| 382.7 | 78M| 84 | - |4319 |8390 | 0 | 0 |1341 | 15k|4507 | 1.050000e+02 | -- | Inf
1242.59/1242.88 c 1243s| 12100 | 5780 | 4631k| 381.2 | 78M| 84 | - |4319 |8397 |4319 |4697 |1341 | 16k|4545 | 1.050000e+02 | -- | Inf
1248.09/1248.38 c 1248s| 12200 | 5818 | 4650k| 379.6 | 79M| 84 | - |4319 |8393 |4319 |4697 |1341 | 16k|4574 | 1.050000e+02 | -- | Inf
1259.69/1259.92 c 1260s| 12300 | 5881 | 4690k| 379.8 | 79M| 84 | 593 |4319 |8379 |4319 |4697 |1341 | 16k|4602 | 1.050000e+02 | -- | Inf
1264.18/1264.46 c 1264s| 12400 | 5897 | 4705k| 377.9 | 79M| 84 | 733 |4319 |8359 |4319 |4697 |1341 | 16k|4629 | 1.050000e+02 | -- | Inf
1272.39/1272.67 c 1273s| 12500 | 5951 | 4729k| 376.9 | 79M| 84 | 742 |4319 |8286 |4319 |4697 |1341 | 16k|4665 | 1.050000e+02 | -- | Inf
1277.99/1278.26 c 1278s| 12600 | 5989 | 4748k| 375.4 | 79M| 84 | 665 |4319 |8237 |4319 |4697 |1341 | 16k|4693 | 1.050000e+02 | -- | Inf
1283.28/1283.51 c 1284s| 12700 | 6026 | 4763k| 373.6 | 80M| 84 | - |4319 |8290 |4319 |4697 |1341 | 16k|4739 | 1.050000e+02 | -- | Inf
1289.19/1289.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1289.19/1289.44 c 1289s| 12800 | 6052 | 4779k| 371.9 | 80M| 84 | 662 |4319 |8274 |4319 |4697 |1341 | 16k|4766 | 1.050000e+02 | -- | Inf
1293.68/1293.98 c 1294s| 12900 | 6074 | 4793k| 370.1 | 80M| 84 | 613 |4319 |8266 |4319 |4697 |1341 | 16k|4785 | 1.050000e+02 | -- | Inf
1298.08/1298.33 c 1298s| 13000 | 6102 | 4806k| 368.2 | 80M| 84 |1144 |4319 |8313 |4319 |4697 |1341 | 16k|4814 | 1.050000e+02 | -- | Inf
1307.28/1307.55 c 1308s| 13100 | 6153 | 4842k| 368.2 | 80M| 84 | 710 |4319 |8311 |4319 |4697 |1341 | 16k|4859 | 1.050000e+02 | -- | Inf
1315.08/1315.33 c 1315s| 13200 | 6184 | 4861k| 366.8 | 80M| 84 | - |4319 |8308 |4319 |4697 |1341 | 17k|4903 | 1.050000e+02 | -- | Inf
1318.28/1318.55 c 1319s| 13300 | 6206 | 4871k| 364.9 | 81M| 84 | - |4319 |8359 |4319 |4697 |1341 | 17k|4921 | 1.050000e+02 | -- | Inf
1325.68/1325.92 c 1326s| 13400 | 6257 | 4901k| 364.4 | 81M| 84 |1004 |4319 |8344 |4319 |4697 |1341 | 17k|4960 | 1.050000e+02 | -- | Inf
1331.98/1332.27 c 1332s| 13500 | 6303 | 4923k| 363.3 | 81M| 84 | 520 |4319 |8334 |4319 |4697 |1341 | 17k|4996 | 1.050000e+02 | -- | Inf
1339.27/1339.58 c 1340s| 13600 | 6330 | 4951k| 362.7 | 81M| 84 | - |4319 |8318 |4319 |4697 |1341 | 17k|5024 | 1.050000e+02 | -- | Inf
1346.47/1346.70 c 1347s| 13700 | 6365 | 4974k| 361.7 | 82M| 84 | - |4319 |8341 |4319 |4697 |1341 | 17k|5042 | 1.050000e+02 | -- | Inf
1358.07/1358.37 c 1358s| 13800 | 6385 | 5041k| 363.9 | 82M| 84 | 818 |4319 |8555 |4319 |4697 |1341 | 17k|5052 | 1.050000e+02 | -- | Inf
1365.17/1365.43 c 1365s| 13900 | 6402 | 5063k| 362.9 | 82M| 84 | 955 |4319 |8636 |4319 |4697 |1341 | 18k|5110 | 1.050000e+02 | -- | Inf
1370.47/1370.76 c 1371s| 14000 | 6446 | 5081k| 361.6 | 82M| 84 | - |4319 |8711 |4319 |4697 |1341 | 18k|5131 | 1.050000e+02 | -- | Inf
1376.86/1377.16 c 1377s| 14100 | 6466 | 5102k| 360.5 | 83M| 84 | - |4319 |8749 |4319 |4697 |1341 | 18k|5158 | 1.050000e+02 | -- | Inf
1385.06/1385.38 c 1385s| 14200 | 6523 | 5125k| 359.6 | 83M| 84 | 610 |4319 |8709 |4319 |4697 |1341 | 18k|5208 | 1.050000e+02 | -- | Inf
1389.47/1389.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1389.47/1389.73 c 1390s| 14300 | 6569 | 5138k| 358.0 | 83M| 84 | - |4319 |8770 |4319 |4697 |1341 | 18k|5239 | 1.050000e+02 | -- | Inf
1393.47/1393.77 c 1394s| 14400 | 6609 | 5151k| 356.4 | 84M| 84 | 630 |4319 |8780 |4319 |4697 |1341 | 18k|5262 | 1.050000e+02 | -- | Inf
1403.06/1403.35 c 1403s| 14500 | 6655 | 5184k| 356.2 | 84M| 84 | 465 |4319 |8773 |4319 |4697 |1341 | 18k|5305 | 1.050000e+02 | -- | Inf
1405.47/1405.70 c 1406s| 14600 | 6665 | 5190k| 354.2 | 84M| 84 | - |4319 |8877 |4319 |4697 |1341 | 18k|5315 | 1.050000e+02 | -- | Inf
1414.26/1414.55 c 1415s| 14700 | 6694 | 5218k| 353.7 | 84M| 84 | 787 |4319 |8897 |4319 |4697 |1341 | 19k|5361 | 1.050000e+02 | -- | Inf
1419.97/1420.28 c 1420s| 14800 | 6737 | 5235k| 352.5 | 85M| 84 | 524 |4319 |8947 |4319 |4697 |1341 | 19k|5401 | 1.050000e+02 | -- | Inf
1426.36/1426.60 c 1427s| 14900 | 6755 | 5256k| 351.5 | 85M| 84 | 690 |4319 |8939 |4319 |4697 |1341 | 19k|5434 | 1.050000e+02 | -- | Inf
1430.16/1430.47 c 1430s| 15000 | 6788 | 5266k| 349.8 | 86M| 84 | 397 |4319 |9060 |4319 |4697 |1341 | 19k|5476 | 1.050000e+02 | -- | Inf
1434.36/1434.65 c 1435s| 15100 | 6792 | 5277k| 348.2 | 86M| 84 | - |4319 |9159 | 0 | 0 |1341 | 19k|5529 | 1.050000e+02 | -- | Inf
1443.56/1443.81 c 1444s| 15200 | 6844 | 5304k| 347.7 | 86M| 84 | - |4319 |9036 |4319 |4697 |1341 | 19k|5598 | 1.050000e+02 | -- | Inf
1447.65/1447.93 c 1448s| 15300 | 6852 | 5317k| 346.3 | 86M| 84 | 630 |4319 |8897 |4319 |4697 |1341 | 19k|5611 | 1.050000e+02 | -- | Inf
1461.46/1461.72 c 1462s| 15400 | 6903 | 5365k| 347.2 | 87M| 84 | 612 |4319 |8686 |4319 |4697 |1341 | 20k|5663 | 1.050000e+02 | -- | Inf
1465.95/1466.20 c 1466s| 15500 | 6921 | 5382k| 346.1 | 87M| 84 | 836 |4319 |8481 |4319 |4697 |1341 | 20k|5681 | 1.050000e+02 | -- | Inf
1470.76/1471.01 c 1471s| 15600 | 6946 | 5397k| 344.8 | 87M| 84 | - |4319 |8503 |4319 |4697 |1341 | 20k|5722 | 1.050000e+02 | -- | Inf
1478.46/1478.70 c 1479s| 15700 | 6987 | 5419k| 344.0 | 87M| 84 | - |4319 |8448 |4319 |4697 |1341 | 20k|5754 | 1.050000e+02 | -- | Inf
1482.45/1482.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1482.45/1482.71 c 1483s| 15800 | 7025 | 5432k| 342.6 | 87M| 84 | - |4319 |8474 | 0 | 0 |1341 | 20k|5771 | 1.050000e+02 | -- | Inf
1487.15/1487.40 c 1487s| 15900 | 7027 | 5443k| 341.2 | 88M| 84 | - |4319 |8532 | 0 | 0 |1341 | 20k|5826 | 1.050000e+02 | -- | Inf
1494.45/1494.70 c 1495s| 16000 | 7053 | 5468k| 340.6 | 88M| 84 | - |4319 |8465 |4319 |4697 |1341 | 20k|5851 | 1.050000e+02 | -- | Inf
1500.15/1500.42 c 1500s| 16100 | 7096 | 5494k| 340.1 | 88M| 84 | 518 |4319 |8474 |4319 |4697 |1341 | 20k|5873 | 1.050000e+02 | -- | Inf
1505.65/1505.98 c 1506s| 16200 | 7120 | 5511k| 339.0 | 88M| 84 | 774 |4319 |8496 |4319 |4697 |1341 | 21k|5909 | 1.050000e+02 | -- | Inf
1511.65/1511.94 c 1512s| 16300 | 7139 | 5529k| 338.0 | 88M| 84 | 798 |4319 |8470 |4319 |4697 |1341 | 21k|5941 | 1.050000e+02 | -- | Inf
1516.45/1516.78 c 1517s| 16400 | 7174 | 5550k| 337.3 | 88M| 84 | 490 |4319 |8482 |4319 |4697 |1341 | 21k|5951 | 1.050000e+02 | -- | Inf
1520.65/1520.98 c 1521s| 16500 | 7209 | 5565k| 336.1 | 89M| 84 |1091 |4319 |8455 |4319 |4697 |1341 | 21k|5962 | 1.050000e+02 | -- | Inf
1525.15/1525.45 c 1525s| 16600 | 7239 | 5581k| 335.1 | 89M| 84 | - |4319 |8485 |4319 |4697 |1341 | 21k|5985 | 1.050000e+02 | -- | Inf
1532.05/1532.33 c 1532s| 16700 | 7287 | 5612k| 334.9 | 89M| 84 | 757 |4319 |8441 |4319 |4697 |1341 | 21k|6005 | 1.050000e+02 | -- | Inf
1537.84/1538.17 c 1538s| 16800 | 7332 | 5633k| 334.2 | 89M| 84 | 644 |4319 |8427 |4319 |4697 |1341 | 21k|6023 | 1.050000e+02 | -- | Inf
1544.25/1544.55 c 1545s| 16900 | 7356 | 5654k| 333.5 | 90M| 84 | - |4319 |8423 |4319 |4697 |1341 | 21k|6049 | 1.050000e+02 | -- | Inf
1548.65/1548.98 c 1549s| 17000 | 7386 | 5673k| 332.6 | 90M| 84 | 600 |4319 |8435 |4319 |4697 |1341 | 22k|6063 | 1.050000e+02 | -- | Inf
1555.84/1556.16 c 1556s| 17100 | 7406 | 5702k| 332.3 | 90M| 84 | 563 |4319 |8530 |4319 |4697 |1341 | 22k|6098 | 1.050000e+02 | -- | Inf
1562.64/1562.98 c 1563s| 17200 | 7462 | 5724k| 331.7 | 90M| 84 | 376 |4319 |8483 |4319 |4697 |1341 | 22k|6135 | 1.050000e+02 | -- | Inf
1574.04/1574.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1574.04/1574.33 c 1574s| 17300 | 7498 | 5769k| 332.4 | 91M| 84 | 897 |4319 |8351 |4319 |4697 |1341 | 22k|6175 | 1.050000e+02 | -- | Inf
1578.74/1579.02 c 1579s| 17400 | 7524 | 5785k| 331.4 | 91M| 84 | - |4319 |8485 | 0 | 0 |1341 | 22k|6193 | 1.050000e+02 | -- | Inf
1582.94/1583.26 c 1583s| 17500 | 7523 | 5806k| 330.7 | 91M| 84 | - |4319 |8654 |4319 |4697 |1341 | 22k|6193 | 1.050000e+02 | -- | Inf
1589.53/1589.83 c 1590s| 17600 | 7555 | 5829k| 330.1 | 91M| 84 | - |4319 |8641 | 0 | 0 |1341 | 23k|6224 | 1.050000e+02 | -- | Inf
1595.44/1595.72 c 1596s| 17700 | 7556 | 5838k| 328.8 | 92M| 84 | - |4319 |8650 |4319 |4697 |1341 | 23k|6319 | 1.050000e+02 | -- | Inf
1602.14/1602.48 c 1602s| 17800 | 7574 | 5858k| 328.1 | 92M| 84 | 896 |4319 |8560 |4319 |4697 |1341 | 23k|6354 | 1.050000e+02 | -- | Inf
1608.33/1608.64 c 1609s| 17900 | 7587 | 5880k| 327.4 | 92M| 84 | 492 |4319 |8493 |4319 |4697 |1341 | 23k|6379 | 1.050000e+02 | -- | Inf
1622.33/1622.69 c 1623s| 18000 | 7619 | 5952k| 329.6 | 92M| 84 | - |4319 |8560 |4319 |4697 |1341 | 23k|6406 | 1.050000e+02 | -- | Inf
1630.33/1630.65 c 1631s| 18100 | 7656 | 5978k| 329.3 | 92M| 84 | 839 |4319 |8342 |4319 |4697 |1341 | 23k|6437 | 1.050000e+02 | -- | Inf
1635.03/1635.32 c 1635s| 18200 | 7708 | 5992k| 328.2 | 92M| 84 | 537 |4319 |8293 |4319 |4697 |1341 | 23k|6456 | 1.050000e+02 | -- | Inf
1638.53/1638.87 c 1639s| 18300 | 7742 | 6005k| 327.1 | 93M| 84 | - |4319 |8281 |4319 |4697 |1341 | 24k|6465 | 1.050000e+02 | -- | Inf
1647.53/1647.81 c 1648s| 18400 | 7779 | 6029k| 326.7 | 93M| 84 | 416 |4319 |8308 |4319 |4697 |1341 | 24k|6532 | 1.050000e+02 | -- | Inf
1651.02/1651.33 c 1651s| 18500 | 7813 | 6046k| 325.8 | 93M| 84 | 335 |4319 |8448 |4319 |4697 |1341 | 24k|6542 | 1.050000e+02 | -- | Inf
1652.92/1653.24 c 1653s| 18600 | 7835 | 6051k| 324.3 | 94M| 84 | 410 |4319 |8633 |4319 |4697 |1341 | 24k|6546 | 1.050000e+02 | -- | Inf
1657.03/1657.35 c 1657s| 18700 | 7867 | 6066k| 323.4 | 94M| 84 | 614 |4319 |8773 |4319 |4697 |1341 | 24k|6564 | 1.050000e+02 | -- | Inf
1659.73/1660.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1659.73/1660.09 c 1660s| 18800 | 7882 | 6075k| 322.2 | 95M| 84 | - |4319 |8863 |4319 |4697 |1341 | 24k|6568 | 1.050000e+02 | -- | Inf
1662.93/1663.25 c 1663s| 18900 | 7899 | 6084k| 320.9 | 95M| 84 | 518 |4319 |8923 |4319 |4697 |1341 | 25k|6577 | 1.050000e+02 | -- | Inf
1665.62/1665.99 c 1666s| 19000 | 7888 | 6095k| 319.8 | 96M| 84 | 643 |4319 |8930 |4319 |4697 |1341 | 25k|6578 | 1.050000e+02 | -- | Inf
1671.73/1672.01 c 1672s| 19100 | 7920 | 6108k| 318.8 | 96M| 84 | 438 |4319 |8959 |4319 |4697 |1341 | 25k|6633 | 1.050000e+02 | -- | Inf
1681.02/1681.33 c 1681s| 19200 | 7947 | 6130k| 318.3 | 96M| 84 | - |4319 |8900 |4319 |4697 |1341 | 25k|6715 | 1.050000e+02 | -- | Inf
1689.82/1690.11 c 1690s| 19300 | 7984 | 6154k| 317.9 | 97M| 84 | 960 |4319 |8812 |4319 |4697 |1341 | 25k|6764 | 1.050000e+02 | -- | Inf
1692.92/1693.20 c 1693s| 19400 | 8012 | 6167k| 317.0 | 97M| 84 | - |4319 |8807 |4319 |4697 |1341 | 25k|6772 | 1.050000e+02 | -- | Inf
1698.72/1699.06 c 1699s| 19500 | 8047 | 6193k| 316.7 | 97M| 84 | - |4319 |8803 |4319 |4697 |1341 | 25k|6806 | 1.050000e+02 | -- | Inf
1705.12/1705.46 c 1705s| 19600 | 8067 | 6214k| 316.1 | 97M| 84 | - |4319 |8731 |4319 |4697 |1341 | 26k|6835 | 1.050000e+02 | -- | Inf
1712.12/1712.40 c 1712s| 19700 | 8099 | 6236k| 315.6 | 98M| 84 | 583 |4319 |8684 |4319 |4697 |1341 | 26k|6872 | 1.050000e+02 | -- | Inf
1720.92/1721.23 c 1721s| 19800 | 8122 | 6256k| 315.0 | 98M| 84 | 785 |4319 |8705 |4319 |4697 |1341 | 26k|6916 | 1.050000e+02 | -- | Inf
1723.21/1723.51 c 1724s| 19900 | 8134 | 6264k| 313.8 | 98M| 84 | - |4319 |8789 |4319 |4697 |1341 | 26k|6916 | 1.050000e+02 | -- | Inf
1729.42/1729.73 c 1730s| 20000 | 8145 | 6290k| 313.6 | 98M| 84 | 537 |4319 |8889 |4319 |4697 |1341 | 26k|6940 | 1.050000e+02 | -- | Inf
1734.52/1734.83 c 1735s| 20100 | 8136 | 6307k| 312.9 | 98M| 84 | 670 |4319 |9039 |4319 |4697 |1341 | 26k|6971 | 1.050000e+02 | -- | Inf
1739.31/1739.63 c 1740s| 20200 | 8157 | 6325k| 312.2 | 98M| 84 | - |4319 |8999 | 0 | 0 |1341 | 26k|6990 | 1.050000e+02 | -- | Inf
1743.81/1744.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1743.81/1744.14 c 1744s| 20300 | 8185 | 6335k| 311.2 | 98M| 84 | 458 |4319 |8928 |4319 |4697 |1341 | 26k|7016 | 1.050000e+02 | -- | Inf
1750.01/1750.30 c 1750s| 20400 | 8214 | 6360k| 310.8 | 98M| 84 | - |4319 |8746 | 0 | 0 |1341 | 27k|7025 | 1.050000e+02 | -- | Inf
1754.61/1754.94 c 1755s| 20500 | 8259 | 6379k| 310.2 | 99M| 84 | - |4319 |8672 |4319 |4697 |1341 | 27k|7040 | 1.050000e+02 | -- | Inf
1761.31/1761.62 c 1762s| 20600 | 8293 | 6422k| 310.8 | 99M| 84 | 443 |4319 |8736 |4319 |4697 |1341 | 27k|7045 | 1.050000e+02 | -- | Inf
1765.61/1765.90 c 1766s| 20700 | 8324 | 6441k| 310.3 | 99M| 84 | - |4319 |8729 |4319 |4697 |1341 | 27k|7045 | 1.050000e+02 | -- | Inf
1768.61/1768.97 c 1769s| 20800 | 8352 | 6455k| 309.5 | 100M| 84 | - |4319 |8697 |4319 |4697 |1341 | 27k|7052 | 1.050000e+02 | -- | Inf
1772.30/1772.65 c 1773s| 20900 | 8369 | 6468k| 308.6 | 100M| 84 | - |4319 |8703 |4319 |4697 |1341 | 27k|7071 | 1.050000e+02 | -- | Inf
1780.62/1780.91 c 1781s| 21000 | 8368 | 6493k| 308.3 | 100M| 84 | 629 |4319 |8695 |4319 |4697 |1341 | 27k|7131 | 1.050000e+02 | -- | Inf
1783.41/1783.72 c 1784s| 21100 | 8377 | 6506k| 307.4 | 100M| 84 |1026 |4319 |8752 |4319 |4697 |1341 | 27k|7133 | 1.050000e+02 | -- | Inf
1788.81/1789.19 c 1789s| 21200 | 8399 | 6537k| 307.5 | 100M| 84 | - |4319 |8878 |4319 |4697 |1341 | 28k|7138 | 1.050000e+02 | -- | Inf
1796.71/1797.00 c
1796.71/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.00 c Solving Time (sec) : 1797.00
1796.71/1797.00 c Solving Nodes : 21225
1796.71/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.71/1797.00 c Dual Bound : +1.05000000000000e+02
1796.71/1797.00 c Gap : infinite
1796.71/1797.00 s UNKNOWN
1796.71/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.00 c Total Time : 1797.00
1796.71/1797.00 c solving : 1797.00
1796.71/1797.00 c presolving : 0.26 (included in solving)
1796.71/1797.00 c reading : 0.10 (included in solving)
1796.71/1797.00 c copying : 0.07 (2 #copies) (minimal 0.03, maximal 0.03, average 0.03)
1796.71/1797.00 c Original Problem :
1796.71/1797.00 c Problem name : HOME/instance-3690978-1338020533.opb
1796.71/1797.00 c Variables : 4320 (4320 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.00 c Constraints : 8415 initial, 8415 maximal
1796.71/1797.00 c Objective sense : minimize
1796.71/1797.00 c Presolved Problem :
1796.71/1797.00 c Problem name : t_HOME/instance-3690978-1338020533.opb
1796.71/1797.00 c Variables : 4319 (4319 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.00 c Constraints : 4443 initial, 10083 maximal
1796.71/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.71/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c probing : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c knapsack : 0.01 0.00 0 0 0 0 0 0 10 63 137
1796.71/1797.00 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c linear : 0.14 0.00 1 0 0 1 0 3982 0 4 305
1796.71/1797.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c root node : - - 0 - - 0 - - - - -
1796.71/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.71/1797.00 c integral : 0 0 0 0 16029 0 4 0 32 2352 0 0 30622
1796.71/1797.00 c knapsack : 452 452 6 105019 0 0 3 56376 387 115959 1204 0 0
1796.71/1797.00 c setppc : 10 10 6 33678 0 0 0 3483 0 55 0 0 0
1796.71/1797.00 c linear : 3981+ 5585 7 104632 0 0 0 28444 1092 1338616 631 0 0
1796.71/1797.00 c logicor : 0+ 4036 6 57085 0 0 0 71260 191 55862 0 0 0
1796.71/1797.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.71/1797.00 c integral : 539.95 0.00 0.00 0.00 539.95 0.00 0.00 0.00
1796.71/1797.00 c knapsack : 8.19 0.00 0.03 8.09 0.00 0.00 0.00 0.06
1796.71/1797.00 c setppc : 0.04 0.00 0.00 0.04 0.00 0.00 0.00 0.00
1796.71/1797.00 c linear : 33.52 0.00 0.01 33.46 0.00 0.00 0.00 0.05
1796.71/1797.00 c logicor : 3.64 0.00 0.00 3.54 0.00 0.00 0.00 0.10
1796.71/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.71/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.71/1797.00 c rootredcost : 0 0 0 0
1796.71/1797.00 c pseudoobj : 120948 0 0 0
1796.71/1797.00 c vbounds : 0 0 0 0
1796.71/1797.00 c redcost : 16088 0 0 79
1796.71/1797.00 c probing : 0 0 0 0
1796.71/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.71/1797.00 c rootredcost : 0.05 0.00 0.00 0.05 0.00
1796.71/1797.00 c pseudoobj : 0.17 0.00 0.00 0.17 0.00
1796.71/1797.00 c vbounds : 0.04 0.00 0.00 0.04 0.00
1796.71/1797.00 c redcost : 1.12 0.00 0.00 1.12 0.00
1796.71/1797.00 c probing : 0.01 0.00 0.01 0.00 0.00
1796.71/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.71/1797.00 c propagation : 0.19 1670 1663 15920 39.9 140 19.7 -
1796.71/1797.00 c infeasible LP : 6.23 9729 9729 31501 25.6 1044 12.8 0
1796.71/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.00 c applied globally : - - - 28224 21.9 - - -
1796.71/1797.00 c applied locally : - - - 0 0.0 - - -
1796.71/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.71/1797.00 c cut pool : 0.00 5 - - 488 - (maximal pool size: 4082)
1796.71/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c impliedbounds : 0.00 0.00 6 0 0 4 0
1796.71/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c gomory : 1.41 0.00 6 0 0 45 0
1796.71/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c strongcg : 1.36 0.00 6 0 0 5 0
1796.71/1797.00 c cmir : 1.60 0.00 6 0 0 3000 0
1796.71/1797.00 c flowcover : 0.85 0.00 6 0 0 1200 0
1796.71/1797.00 c clique : 0.00 0.00 6 0 0 2 0
1796.71/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c mcf : 0.00 0.00 2 0 0 0 0
1796.71/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c rapidlearning : 9.01 0.00 1 0 0 0 1604
1796.71/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.71/1797.00 c problem variables: 0.00 - 0 0
1796.71/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.71/1797.00 c relpscost : 539.92 0.00 16029 32 2352 0 0 30622
1796.71/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c inference : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.71/1797.00 c LP solutions : 0.00 - - 0
1796.71/1797.00 c pseudo solutions : 0.00 - - 0
1796.71/1797.00 c oneopt : 0.02 0.00 0 0
1796.71/1797.00 c crossover : 0.01 0.00 0 0
1796.71/1797.00 c guideddiving : 0.00 0.00 0 0
1796.71/1797.00 c coefdiving : 93.93 0.00 8 0
1796.71/1797.00 c fracdiving : 79.32 0.00 9 0
1796.71/1797.00 c objpscostdiving : 23.06 0.00 15 0
1796.71/1797.00 c rootsoldiving : 12.02 0.00 31 0
1796.71/1797.00 c feaspump : 29.06 0.00 35 0
1796.71/1797.00 c pscostdiving : 46.36 0.00 97 0
1796.71/1797.00 c veclendiving : 46.83 0.00 136 0
1796.71/1797.00 c linesearchdiving : 55.05 0.00 150 0
1796.71/1797.00 c smallcard : 0.00 0.00 0 0
1796.71/1797.00 c trivial : 0.00 0.00 2 0
1796.71/1797.00 c shiftandpropagate: 0.30 0.00 1 0
1796.71/1797.00 c simplerounding : 0.01 0.00 0 0
1796.71/1797.00 c zirounding : 0.52 0.00 1000 0
1796.71/1797.00 c rounding : 1.61 0.00 1738 0
1796.71/1797.00 c shifting : 11.05 0.00 536 0
1796.71/1797.00 c intshifting : 0.00 0.00 0 0
1796.71/1797.00 c twoopt : 0.00 0.00 0 0
1796.71/1797.00 c indoneopt : 0.02 0.00 0 0
1796.71/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.71/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.71/1797.00 c clique : 0.00 0.00 0 0
1796.71/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.71/1797.00 c indrounding : 0.00 0.00 0 0
1796.71/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.71/1797.00 c intdiving : 0.00 0.00 0 0
1796.71/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.71/1797.00 c octane : 0.00 0.00 0 0
1796.71/1797.00 c rens : 0.15 0.00 1 0
1796.71/1797.00 c rins : 0.00 0.00 0 0
1796.71/1797.00 c localbranching : 0.00 0.00 0 0
1796.71/1797.00 c mutation : 0.00 0.00 0 0
1796.71/1797.00 c dins : 0.00 0.00 0 0
1796.71/1797.00 c vbounds : 0.00 0.00 0 0
1796.71/1797.00 c undercover : 0.00 0.00 0 0
1796.71/1797.00 c subnlp : 0.01 0.00 0 0
1796.71/1797.00 c trysol : 0.01 0.00 0 0
1796.71/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.71/1797.00 c primal LP : 0.04 1 0 0.00 0.00 0.04 1
1796.71/1797.00 c dual LP : 751.03 21385 4584222 216.76 6103.87 1.40 236
1796.71/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.71/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.71/1797.00 c diving/probing LP: 349.38 14496 1957714 135.05 5603.38
1796.71/1797.00 c strong branching : 536.41 7261 2411900 332.17 4496.40
1796.71/1797.00 c (at root node) : - 23 18532 805.74 -
1796.71/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.71/1797.00 c B&B Tree :
1796.71/1797.00 c number of runs : 1
1796.71/1797.00 c nodes : 21225
1796.71/1797.00 c nodes (total) : 21225
1796.71/1797.00 c nodes left : 8410
1796.71/1797.00 c max depth : 84
1796.71/1797.00 c max depth (total): 84
1796.71/1797.00 c backtracks : 3039 (14.3%)
1796.71/1797.00 c delayed cutoffs : 988
1796.71/1797.00 c repropagations : 24409 (414835 domain reductions, 421 cutoffs)
1796.71/1797.00 c avg switch length: 8.80
1796.71/1797.00 c switching time : 30.33
1796.71/1797.00 c Solution :
1796.71/1797.00 c Solutions found : 0 (0 improvements)
1796.71/1797.00 c Primal Bound : -
1796.71/1797.00 c Dual Bound : +1.05000000000000e+02
1796.71/1797.00 c Gap : infinite
1796.71/1797.00 c Root Dual Bound : +1.05000000000000e+02
1796.71/1797.00 c Root Iterations : 19412
1796.81/1797.13 c Time complete: 1796.84.
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-3690978-1338020533/watcher-3690978-1338020533 -o /tmp/evaluation-result-3690978-1338020533/solver-3690978-1338020533 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690978-1338020533.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.06 2.02 1.92 3/176 9962
/proc/meminfo: memFree=28507904/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=10120 CPUtime=0 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 1285 0 0 0 0 0 0 0 20 0 1 0 268178763 10362880 1239 33554432000 4194304 10173063 140736786388336 140736786253512 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 2530 1239 416 1460 0 1061 0
[startup+0.040482 s]
/proc/loadavg: 2.06 2.02 1.92 3/176 9962
/proc/meminfo: memFree=28507904/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=14864 CPUtime=0.03 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 2457 0 0 0 3 0 0 0 20 0 1 0 268178763 15220736 2411 33554432000 4194304 10173063 140736786388336 140736786253512 8985008 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 3716 2411 416 1460 0 2247 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14864
[startup+0.100244 s]
/proc/loadavg: 2.06 2.02 1.92 3/176 9962
/proc/meminfo: memFree=28507904/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=23444 CPUtime=0.09 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 4562 0 0 0 8 1 0 0 20 0 1 0 268178763 24006656 4516 33554432000 4194304 10173063 140736786388336 140736786251880 8846909 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 6118 4540 464 1460 0 4649 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23444
[startup+0.300173 s]
/proc/loadavg: 2.06 2.02 1.92 3/176 9962
/proc/meminfo: memFree=28507904/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=96052 CPUtime=0.29 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 22321 0 0 0 25 4 0 0 20 0 1 0 268178763 98357248 21665 33554432000 4194304 10173063 140736786388336 140736786251880 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 24013 21665 593 1460 0 22544 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 96052
[startup+0.700173 s]
/proc/loadavg: 2.06 2.02 1.92 3/176 9962
/proc/meminfo: memFree=28507904/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=129204 CPUtime=0.69 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 30257 0 0 0 63 6 0 0 20 0 1 0 268178763 132304896 29231 33554432000 4194304 10173063 140736786388336 140736786251880 8797506 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 32301 29231 729 1460 0 30832 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 129204
[startup+1.50017 s]
/proc/loadavg: 2.06 2.02 1.92 3/177 9963
/proc/meminfo: memFree=28393272/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=127584 CPUtime=1.49 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 31583 0 0 0 142 7 0 0 20 0 1 0 268178763 130646016 29503 33554432000 4194304 10173063 140736786388336 140736786378760 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 31896 29503 796 1460 0 30427 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 127584
[startup+3.10017 s]
/proc/loadavg: 2.06 2.02 1.92 3/177 9963
/proc/meminfo: memFree=28391768/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=177792 CPUtime=3.09 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 43826 0 0 0 298 11 0 0 20 0 1 0 268178763 182059008 41746 33554432000 4194304 10173063 140736786388336 140736786382808 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 44448 41746 842 1460 0 42979 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 177792
[startup+6.30016 s]
/proc/loadavg: 2.06 2.01 1.92 3/177 9963
/proc/meminfo: memFree=28339440/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=181528 CPUtime=6.28 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 44763 0 0 0 607 21 0 0 20 0 1 0 268178763 185884672 42683 33554432000 4194304 10173063 140736786388336 140736786382376 4435788 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 45382 42683 842 1460 0 43913 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 181528
[startup+12.7002 s]
/proc/loadavg: 2.05 2.01 1.92 3/177 9963
/proc/meminfo: memFree=28328960/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=190256 CPUtime=12.69 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 47216 0 0 0 1235 34 0 0 20 0 1 0 268178763 194822144 45027 33554432000 4194304 10173063 140736786388336 140736786383496 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 47564 45027 863 1460 0 46095 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 190256
[startup+25.5003 s]
/proc/loadavg: 2.04 2.01 1.92 3/177 9963
/proc/meminfo: memFree=28320636/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=190296 CPUtime=25.49 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 52339 0 0 0 2509 40 0 0 20 0 1 0 268178763 194863104 45681 33554432000 4194304 10173063 140736786388336 140736786381048 8033103 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 47574 45681 871 1460 0 46105 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 190296
[startup+51.1002 s]
/proc/loadavg: 2.02 2.01 1.92 3/177 10229
/proc/meminfo: memFree=28406448/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=190296 CPUtime=51.08 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 52341 0 0 0 5059 49 0 0 20 0 1 0 268178763 194863104 45713 33554432000 4194304 10173063 140736786388336 140736786381048 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 47574 45713 871 1460 0 46105 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 190296
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/177 10306
/proc/meminfo: memFree=28382792/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=190296 CPUtime=102.27 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 52351 0 0 0 10154 73 0 0 20 0 1 0 268178763 194863104 45775 33554432000 4194304 10173063 140736786388336 140736786381048 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 47574 45775 873 1460 0 46105 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 190296
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 10344
/proc/meminfo: memFree=28191640/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=190296 CPUtime=162.25 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 52354 0 0 0 16123 102 0 0 20 0 1 0 268178763 194863104 46668 33554432000 4194304 10173063 140736786388336 140736786380776 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 47574 46668 873 1460 0 46105 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 190296
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 10344
/proc/meminfo: memFree=27817140/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=190296 CPUtime=222.25 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 52354 0 0 0 22090 135 0 0 20 0 1 0 268178763 194863104 46668 33554432000 4194304 10173063 140736786388336 140736786384808 4953488 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 47574 46668 873 1460 0 46105 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 190296
[startup+282.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/177 10345
/proc/meminfo: memFree=27816800/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=190296 CPUtime=282.24 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 52354 0 0 0 28053 171 0 0 20 0 1 0 268178763 194863104 46668 33554432000 4194304 10173063 140736786388336 140736786380056 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 47574 46668 873 1460 0 46105 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 190296
[startup+342.3 s]
/proc/loadavg: 2.06 2.02 1.93 3/177 10345
/proc/meminfo: memFree=27813392/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=190296 CPUtime=342.23 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 52354 0 0 0 34024 199 0 0 20 0 1 0 268178763 194863104 46668 33554432000 4194304 10173063 140736786388336 140736786380984 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 47574 46668 873 1460 0 46105 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 190296
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 1.93 3/177 10345
/proc/meminfo: memFree=27812140/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=190296 CPUtime=402.22 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 52354 0 0 0 39995 227 0 0 20 0 1 0 268178763 194863104 46668 33554432000 4194304 10173063 140736786388336 140736786381048 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 47574 46668 873 1460 0 46105 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 190296
[startup+462.3 s]
/proc/loadavg: 2.07 2.04 1.94 3/177 10346
/proc/meminfo: memFree=27811248/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=190296 CPUtime=462.21 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 52354 0 0 0 45968 253 0 0 20 0 1 0 268178763 194863104 46668 33554432000 4194304 10173063 140736786388336 140736786381048 4480570 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 47574 46668 873 1460 0 46105 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 190296
[startup+522.3 s]
/proc/loadavg: 2.02 2.03 1.94 3/178 10349
/proc/meminfo: memFree=27809992/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=190296 CPUtime=522.2 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 52354 0 0 0 51937 283 0 0 20 0 1 0 268178763 194863104 46668 33554432000 4194304 10173063 140736786388336 140736786380952 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 47574 46668 873 1460 0 46105 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 190296
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/177 10349
/proc/meminfo: memFree=27808788/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=190296 CPUtime=582.19 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 52354 0 0 0 57908 311 0 0 20 0 1 0 268178763 194863104 46668 33554432000 4194304 10173063 140736786388336 140736786381256 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 47574 46668 873 1460 0 46105 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 190296
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27817124/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=196248 CPUtime=1122.11 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 53530 0 0 0 111627 584 0 0 20 0 1 0 268178763 200957952 47844 33554432000 4194304 10173063 140736786388336 140736786384808 8047310 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 49062 47844 873 1460 0 47593 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 196248
[startup+1182.3 s]
/proc/loadavg: 2.00 2.04 1.99 3/177 10354
/proc/meminfo: memFree=27812668/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=200116 CPUtime=1182.1 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 54738 0 0 0 117598 612 0 0 20 0 1 0 268178763 204918784 49052 33554432000 4194304 10173063 140736786388336 140736786384808 8033024 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 50029 49052 873 1460 0 48560 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 200116
[startup+1242.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 10354
/proc/meminfo: memFree=27814340/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=198992 CPUtime=1242.09 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 59178 0 0 0 123563 646 0 0 20 0 1 0 268178763 203767808 48624 33554432000 4194304 10173063 140736786388336 140736786381464 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 49748 48624 873 1460 0 48279 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 198992
[startup+1302.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 10354
/proc/meminfo: memFree=27808268/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=204060 CPUtime=1302.08 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 62845 0 0 0 129535 673 0 0 20 0 1 0 268178763 208957440 50068 33554432000 4194304 10173063 140736786388336 140736786381512 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 51015 50068 873 1460 0 49546 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 204060
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10355
/proc/meminfo: memFree=27807884/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=204620 CPUtime=1362.07 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 65294 0 0 0 135501 706 0 0 20 0 1 0 268178763 209530880 50200 33554432000 4194304 10173063 140736786388336 140736786381592 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 51155 50200 873 1460 0 49686 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 204620
[startup+1422.3 s]
/proc/loadavg: 2.10 2.05 2.00 3/177 10355
/proc/meminfo: memFree=27805700/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=206780 CPUtime=1422.06 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 76597 0 0 0 141472 734 0 0 20 0 1 0 268178763 211742720 50758 33554432000 4194304 10173063 140736786388336 140736786380856 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 51695 50758 873 1460 0 50226 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 206780
[startup+1482.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 10355
/proc/meminfo: memFree=27802476/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=210036 CPUtime=1482.05 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 98015 0 0 0 147438 767 0 0 20 0 1 0 268178763 215076864 51553 33554432000 4194304 10173063 140736786388336 140736786381592 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 52509 51553 873 1460 0 51040 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 210036
[startup+1542.31 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 10355
/proc/meminfo: memFree=27796156/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=216304 CPUtime=1542.05 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 101729 0 0 0 153405 800 0 0 20 0 1 0 268178763 221495296 53139 33554432000 4194304 10173063 140736786388336 140736786380568 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 54076 53139 873 1460 0 52607 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 216304
[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 10355
/proc/meminfo: memFree=27789152/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=223108 CPUtime=1602.03 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 108093 0 0 0 159372 831 0 0 20 0 1 0 268178763 228462592 54835 33554432000 4194304 10173063 140736786388336 140736786381976 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 55777 54835 873 1460 0 54308 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 223108
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 10356
/proc/meminfo: memFree=27785680/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=226532 CPUtime=1662.02 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 108960 0 0 0 165337 865 0 0 20 0 1 0 268178763 231968768 55671 33554432000 4194304 10173063 140736786388336 140736786381624 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 56633 55671 873 1460 0 55164 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 226532
[startup+1722.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/178 10359
/proc/meminfo: memFree=27777740/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=228604 CPUtime=1722.01 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 114416 0 0 0 171308 893 0 0 20 0 1 0 268178763 234090496 55992 33554432000 4194304 10173063 140736786388336 140736786381976 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 57151 55992 873 1460 0 55682 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 228604
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 10359
/proc/meminfo: memFree=27776508/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=235516 CPUtime=1782 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 120409 0 0 0 177276 924 0 0 20 0 1 0 268178763 241168384 57892 33554432000 4194304 10173063 140736786388336 140736786380856 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 58879 57892 873 1460 0 57410 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 235516
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 10359
/proc/meminfo: memFree=27776880/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=235516 CPUtime=1785.3 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 120409 0 0 0 177605 925 0 0 20 0 1 0 268178763 241168384 57892 33554432000 4194304 10173063 140736786388336 140736786383704 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 58879 57892 873 1460 0 57410 0
Current children cumulated CPU time (s) 1785.3
Current children cumulated vsize (KiB) 235516
[startup+1792.01 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 10359
/proc/meminfo: memFree=27778864/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=233796 CPUtime=1791.71 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 122149 0 0 0 178242 929 0 0 20 0 1 0 268178763 239407104 57407 33554432000 4194304 10173063 140736786388336 140736786382168 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 58449 57407 873 1460 0 56980 0
Current children cumulated CPU time (s) 1791.71
Current children cumulated vsize (KiB) 233796
[startup+1795.2 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 10359
/proc/meminfo: memFree=27778492/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=234740 CPUtime=1794.91 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 122223 0 0 0 178560 931 0 0 20 0 1 0 268178763 240373760 57481 33554432000 4194304 10173063 140736786388336 140736786381464 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 58685 57481 873 1460 0 57216 0
Current children cumulated CPU time (s) 1794.91
Current children cumulated vsize (KiB) 234740
[startup+1796 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 10359
/proc/meminfo: memFree=27778492/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=234740 CPUtime=1795.7 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 122223 0 0 0 178639 931 0 0 20 0 1 0 268178763 240373760 57481 33554432000 4194304 10173063 140736786388336 140736786381464 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 58685 57481 873 1460 0 57216 0
Current children cumulated CPU time (s) 1795.7
Current children cumulated vsize (KiB) 234740
[startup+1796.8 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 10359
/proc/meminfo: memFree=27778492/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=234740 CPUtime=1796.5 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 122238 0 0 0 178718 932 0 0 20 0 1 0 268178763 240373760 57496 33554432000 4194304 10173063 140736786388336 140736786381784 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 58685 57496 873 1460 0 57216 0
Current children cumulated CPU time (s) 1796.5
Current children cumulated vsize (KiB) 234740
[startup+1797 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 10359
/proc/meminfo: memFree=27778492/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=234740 CPUtime=1796.71 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 122238 0 0 0 178738 933 0 0 20 0 1 0 268178763 240373760 57496 33554432000 4194304 10173063 140736786388336 140736786381784 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 58685 57496 873 1460 0 57216 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 234740
[startup+1797.1 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 10359
/proc/meminfo: memFree=27778492/32873648 swapFree=7104/7104
[pid=9962] ppid=9960 vsize=231804 CPUtime=1796.81 cores=1,3,5,7
/proc/9962/stat : 9962 (scip-2.1.1.4fix) R 9960 9962 9598 0 -1 4202496 122241 0 0 0 178748 933 0 0 20 0 1 0 268178763 237367296 56765 33554432000 4194304 10173063 140736786388336 140736786387448 5480541 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 57951 56765 876 1460 0 56482 0
Current children cumulated CPU time (s) 1796.81
Current children cumulated vsize (KiB) 231804
Child status: 0
Real time (s): 1797.14
CPU time (s): 1796.85
CPU user time (s): 1787.5
CPU system time (s): 9.34558
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 238336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.5
system time used= 9.34558
maximum resident set size= 233544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122243
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= 17
involuntary context switches= 1851
runsolver used 2.6296 second user time and 7.28589 second system time
The end