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-3691324-1338024449.opb>
0.00/0.01 c original problem has 1635 variables (1635 bin, 0 int, 0 impl, 0 cont) and 840 constraints
0.00/0.01 c problem read in 0.01
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 40 del vars, 40 del conss, 0 add conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 72 impls, 800 clqs
0.00/0.02 c (round 2) 121 del vars, 56 del conss, 0 add conss, 82 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 80 impls, 783 clqs
0.00/0.02 c (round 3) 154 del vars, 64 del conss, 0 add conss, 112 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 84 impls, 776 clqs
0.00/0.03 c (round 4) 154 del vars, 64 del conss, 0 add conss, 112 chg bounds, 0 chg sides, 0 chg coeffs, 776 upgd conss, 84 impls, 776 clqs
0.09/0.16 c (0.2s) probing: 1000/1481 (67.5%) - 11 fixings, 1 aggregations, 4985 implications, 0 bound changes
0.18/0.22 c (0.2s) probing cycle finished: starting next cycle
0.18/0.22 c (round 5) 166 del vars, 64 del conss, 0 add conss, 112 chg bounds, 0 chg sides, 0 chg coeffs, 776 upgd conss, 13772 impls, 774 clqs
0.18/0.22 c (round 6) 166 del vars, 66 del conss, 0 add conss, 112 chg bounds, 0 chg sides, 0 chg coeffs, 776 upgd conss, 13772 impls, 774 clqs
0.18/0.23 c (0.2s) probing: 96/1469 (6.5%) - 11 fixings, 1 aggregations, 6690 implications, 0 bound changes
0.18/0.23 c (0.2s) probing aborted: 50/50 successive totally useless probings
0.18/0.23 c presolving (7 rounds):
0.18/0.23 c 166 deleted vars, 66 deleted constraints, 0 added constraints, 112 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.18/0.23 c 14752 implications, 774 cliques
0.18/0.23 c presolved problem has 1469 variables (1469 bin, 0 int, 0 impl, 0 cont) and 774 constraints
0.18/0.23 c 774 constraints of type <setppc>
0.18/0.23 c transformed objective value is always integral (scale: 1)
0.18/0.23 c Presolving Time: 0.22
0.18/0.23 c - non default parameters ----------------------------------------------------------------------
0.18/0.23 c # SCIP version 2.1.1.4
0.18/0.23 c
0.18/0.23 c # maximal time in seconds to run
0.18/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.18/0.23 c limits/time = 1797
0.18/0.23 c
0.18/0.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.18/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.18/0.23 c limits/memory = 13950
0.18/0.23 c
0.18/0.23 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.18/0.23 c # [type: int, range: [1,2], default: 1]
0.18/0.23 c timing/clocktype = 2
0.18/0.23 c
0.18/0.23 c # belongs reading time to solving time?
0.18/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.18/0.23 c timing/reading = TRUE
0.18/0.23 c
0.18/0.23 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.18/0.23 c # [type: int, range: [-1,2147483647], default: -1]
0.18/0.23 c separating/rapidlearning/freq = 0
0.18/0.23 c
0.18/0.23 c -----------------------------------------------------------------------------------------------
0.18/0.23 c start solving
0.18/0.23 c
1.88/1.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.88/1.90 c 1.9s| 1 | 0 | 12191 | - |5914k| 0 | 764 |1469 | 864 |1469 | 774 | 0 | 90 | 0 | 2.800000e+02 | -- | Inf
5.68/5.72 c 5.7s| 1 | 0 | 19207 | - | 18M| 0 | 806 |1469 |1366 |1469 | 943 | 169 | 90 | 0 | 2.800000e+02 | -- | Inf
6.29/6.39 c 6.4s| 1 | 0 | 20186 | - | 18M| 0 | 779 |1469 |1366 |1469 | 953 | 179 | 90 | 0 | 2.800000e+02 | -- | Inf
7.88/7.90 c 7.9s| 1 | 0 | 21201 | - | 31M| 0 | 834 |1469 |1366 |1469 |1086 | 312 | 90 | 0 | 2.800000e+02 | -- | Inf
8.18/8.27 c 8.3s| 1 | 0 | 21227 | - | 31M| 0 | 836 |1469 |1366 |1469 |1088 | 314 | 90 | 0 | 2.800000e+02 | -- | Inf
23.98/24.04 c 24.0s| 1 | 2 | 21227 | - | 31M| 0 | 836 |1469 |1366 |1469 |1088 | 314 | 90 | 16 | 2.800000e+02 | -- | Inf
82.87/82.98 c 83.0s| 100 | 55 | 64825 | 440.4 | 31M| 31 | 750 |1469 |1444 |1469 | 847 | 314 | 169 | 418 | 2.800000e+02 | -- | Inf
99.97/100.03 c 100s| 200 | 73 |107122 | 431.6 | 31M| 31 | - |1469 |1588 |1469 | 847 | 314 | 313 | 490 | 2.800000e+02 | -- | Inf
121.47/121.58 c 122s| 300 | 115 |166969 | 487.4 | 31M| 32 | 736 |1469 |1771 |1469 | 847 | 314 | 496 | 553 | 2.800000e+02 | -- | Inf
139.26/139.32 c 139s| 400 | 120 |214431 | 484.2 | 31M| 32 | 725 |1469 |1954 |1469 | 847 | 314 | 679 | 607 | 2.800000e+02 | -- | Inf
155.96/156.04 c 156s| 500 | 166 |256596 | 471.7 | 32M| 32 | 682 |1469 |2060 |1469 | 847 | 314 | 785 | 652 | 2.800000e+02 | -- | Inf
172.66/172.71 c 173s| 600 | 180 |300488 | 466.2 | 32M| 32 | - |1469 |2207 |1469 | 847 | 314 | 932 | 698 | 2.800000e+02 | -- | Inf
188.55/188.68 c 189s| 700 | 206 |343171 | 460.6 | 32M| 32 | 687 |1469 |2316 |1469 | 847 | 314 |1041 | 739 | 2.800000e+02 | -- | Inf
205.84/205.90 c 206s| 800 | 210 |389264 | 460.6 | 32M| 32 | 699 |1469 |2514 |1469 | 847 | 314 |1239 | 780 | 2.800000e+02 | -- | Inf
222.04/222.11 c 222s| 900 | 230 |431589 | 456.5 | 32M| 32 | 702 |1469 |2650 |1469 | 847 | 314 |1375 | 825 | 2.800000e+02 | -- | Inf
238.24/238.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
238.24/238.34 c 238s| 1000 | 226 |477811 | 457.0 | 32M| 32 | 692 |1469 |2809 |1469 | 847 | 314 |1538 | 869 | 2.800000e+02 | -- | Inf
256.24/256.32 c 256s| 1100 | 236 |521850 | 455.5 | 33M| 32 | - |1469 |2958 |1469 | 847 | 314 |1687 | 924 | 2.800000e+02 | -- | Inf
271.33/271.46 c 271s| 1200 | 236 |563666 | 452.4 | 33M| 32 | - |1469 |3119 |1469 | 847 | 314 |1848 | 963 | 2.800000e+02 | -- | Inf
287.73/287.85 c 288s| 1300 | 244 |611684 | 454.5 | 33M| 32 | - |1469 |3261 |1469 | 847 | 314 |1992 |1002 | 2.800000e+02 | -- | Inf
304.53/304.69 c 305s| 1400 | 258 |654905 | 453.0 | 33M| 32 | - |1469 |3389 |1469 | 847 | 314 |2129 |1047 | 2.800000e+02 | -- | Inf
319.33/319.41 c 319s| 1500 | 272 |693043 | 448.2 | 33M| 32 | 687 |1469 |3577 |1469 | 847 | 314 |2324 |1092 | 2.800000e+02 | -- | Inf
334.13/334.23 c 334s| 1600 | 298 |731903 | 444.5 | 34M| 32 | - |1469 |3694 |1469 | 847 | 314 |2452 |1128 | 2.800000e+02 | -- | Inf
348.22/348.38 c 348s| 1700 | 322 |770148 | 440.8 | 34M| 32 | 731 |1469 |3794 |1469 | 847 | 314 |2576 |1161 | 2.800000e+02 | -- | Inf
363.33/363.43 c 363s| 1800 | 370 |807180 | 436.9 | 34M| 32 | - |1469 |3883 |1469 | 847 | 314 |2674 |1196 | 2.800000e+02 | -- | Inf
378.71/378.87 c 379s| 1900 | 397 |849826 | 436.3 | 34M| 32 | 688 |1469 |4008 |1469 | 847 | 314 |2814 |1231 | 2.800000e+02 | -- | Inf
396.91/397.02 c 397s| 2000 | 410 |900616 | 439.9 | 34M| 32 | - |1469 |4107 |1469 | 847 | 314 |2949 |1272 | 2.800000e+02 | -- | Inf
414.62/414.72 c 415s| 2100 | 423 |944761 | 440.0 | 34M| 32 | - |1469 |4194 |1469 | 847 | 314 |3083 |1323 | 2.800000e+02 | -- | Inf
429.71/429.85 c 430s| 2200 | 441 |983588 | 437.6 | 34M| 32 | - |1469 |4247 |1469 | 847 | 314 |3188 |1361 | 2.800000e+02 | -- | Inf
444.31/444.50 c 444s| 2300 | 459 | 1021k| 435.0 | 35M| 35 | 707 |1469 |4338 |1469 | 847 | 314 |3321 |1400 | 2.800000e+02 | -- | Inf
460.00/460.10 c 460s| 2400 | 459 | 1063k| 434.4 | 35M| 35 | - |1469 |4465 |1469 | 847 | 314 |3488 |1448 | 2.800000e+02 | -- | Inf
476.00/476.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
476.00/476.14 c 476s| 2500 | 472 | 1106k| 434.3 | 35M| 35 | 687 |1469 |4579 |1469 | 847 | 314 |3635 |1494 | 2.800000e+02 | -- | Inf
491.31/491.48 c 491s| 2600 | 494 | 1150k| 434.5 | 35M| 35 | 698 |1469 |4626 |1469 | 847 | 314 |3765 |1530 | 2.800000e+02 | -- | Inf
508.20/508.39 c 508s| 2700 | 524 | 1194k| 434.8 | 35M| 36 | 667 |1469 |4690 |1469 | 847 | 314 |3881 |1575 | 2.800000e+02 | -- | Inf
523.20/523.33 c 523s| 2800 | 542 | 1236k| 434.0 | 35M| 36 | 669 |1469 |4800 |1469 | 847 | 314 |4032 |1611 | 2.800000e+02 | -- | Inf
535.60/535.78 c 536s| 2900 | 569 | 1266k| 429.7 | 35M| 36 | 660 |1469 |4873 |1469 | 847 | 314 |4168 |1647 | 2.800000e+02 | -- | Inf
553.49/553.68 c 554s| 3000 | 567 | 1316k| 432.0 | 35M| 36 | - |1469 |4982 |1469 | 847 | 314 |4354 |1692 | 2.800000e+02 | -- | Inf
568.39/568.56 c 569s| 3100 | 573 | 1358k| 431.6 | 36M| 36 | - |1469 |5111 |1469 | 847 | 314 |4516 |1725 | 2.800000e+02 | -- | Inf
582.58/582.77 c 583s| 3200 | 587 | 1397k| 430.3 | 36M| 36 | - |1469 |5168 |1469 | 847 | 314 |4649 |1761 | 2.800000e+02 | -- | Inf
597.89/598.08 c 598s| 3300 | 596 | 1437k| 429.2 | 36M| 36 | 716 |1469 |5227 |1469 | 847 | 314 |4782 |1803 | 2.800000e+02 | -- | Inf
613.88/614.04 c 614s| 3400 | 606 | 1479k| 429.0 | 36M| 36 | - |1469 |5272 |1469 | 847 | 314 |4918 |1845 | 2.800000e+02 | -- | Inf
626.89/627.01 c 627s| 3500 | 632 | 1515k| 427.0 | 36M| 36 | 769 |1469 |5259 |1469 | 847 | 314 |5017 |1880 | 2.800000e+02 | -- | Inf
639.38/639.51 c 640s| 3600 | 664 | 1549k| 424.7 | 36M| 36 | - |1469 |5313 |1469 | 847 | 314 |5144 |1913 | 2.800000e+02 | -- | Inf
649.37/649.50 c 650s| 3700 | 680 | 1588k| 423.7 | 36M| 36 | 670 |1469 |5350 |1469 | 847 | 314 |5252 |1919 | 2.800000e+02 | -- | Inf
658.58/658.72 c 659s| 3800 | 690 | 1625k| 422.3 | 36M| 37 | 696 |1469 |5447 |1469 | 847 | 314 |5401 |1921 | 2.800000e+02 | -- | Inf
667.28/667.44 c 667s| 3900 | 707 | 1659k| 420.2 | 36M| 37 | - |1469 |5491 |1469 | 847 | 314 |5533 |1923 | 2.800000e+02 | -- | Inf
679.07/679.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
679.07/679.21 c 679s| 4000 | 707 | 1709k| 422.2 | 36M| 37 | 681 |1469 |5511 |1469 | 847 | 314 |5676 |1923 | 2.800000e+02 | -- | Inf
688.58/688.78 c 689s| 4100 | 721 | 1748k| 421.3 | 36M| 37 | 686 |1469 |5527 |1469 | 847 | 314 |5812 |1924 | 2.800000e+02 | -- | Inf
698.67/698.90 c 699s| 4200 | 725 | 1789k| 421.2 | 36M| 37 | - |1469 |5628 |1469 | 847 | 314 |5982 |1925 | 2.800000e+02 | -- | Inf
711.47/711.65 c 712s| 4300 | 739 | 1830k| 420.9 | 36M| 37 | 701 |1469 |5679 |1469 | 847 | 314 |6106 |1945 | 2.800000e+02 | -- | Inf
726.26/726.46 c 726s| 4400 | 743 | 1870k| 420.4 | 37M| 37 | 695 |1469 |5774 |1469 | 847 | 314 |6259 |1974 | 2.800000e+02 | -- | Inf
740.46/740.64 c 741s| 4500 | 761 | 1915k| 421.0 | 37M| 37 | - |1469 |5800 |1469 | 847 | 314 |6385 |1994 | 2.800000e+02 | -- | Inf
758.06/758.21 c 758s| 4600 | 763 | 1964k| 422.5 | 37M| 37 | 673 |1469 |5846 |1469 | 847 | 314 |6566 |2029 | 2.800000e+02 | -- | Inf
773.06/773.26 c 773s| 4700 | 779 | 2005k| 422.3 | 37M| 37 | 660 |1469 |5927 |1469 | 847 | 314 |6689 |2067 | 2.800000e+02 | -- | Inf
790.56/790.71 c 791s| 4800 | 794 | 2058k| 424.5 | 37M| 38 | 679 |1469 |5961 |1469 | 847 | 314 |6825 |2102 | 2.800000e+02 | -- | Inf
803.65/803.82 c 804s| 4900 | 816 | 2095k| 423.4 | 37M| 38 | 713 |1469 |5991 |1469 | 847 | 314 |6962 |2129 | 2.800000e+02 | -- | Inf
817.65/817.86 c 818s| 5000 | 830 | 2133k| 422.6 | 37M| 38 | - |1469 |6074 |1469 | 847 | 314 |7105 |2160 | 2.800000e+02 | -- | Inf
828.65/828.89 c 829s| 5100 | 850 | 2167k| 420.9 | 37M| 38 | - |1469 |6129 |1469 | 847 | 314 |7283 |2178 | 2.800000e+02 | -- | Inf
844.85/845.06 c 845s| 5200 | 860 | 2210k| 421.2 | 37M| 38 | - |1469 |6207 |1469 | 847 | 314 |7437 |2217 | 2.800000e+02 | -- | Inf
858.75/858.95 c 859s| 5300 | 876 | 2251k| 420.8 | 37M| 38 | 713 |1469 |6093 |1469 | 847 | 314 |7555 |2245 | 2.800000e+02 | -- | Inf
873.25/873.45 c 873s| 5400 | 890 | 2290k| 420.3 | 37M| 38 | 677 |1469 |6128 |1469 | 847 | 314 |7682 |2283 | 2.800000e+02 | -- | Inf
889.24/889.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
889.24/889.41 c 889s| 5500 | 904 | 2335k| 420.8 | 37M| 38 | - |1469 |6046 |1469 | 847 | 314 |7813 |2314 | 2.800000e+02 | -- | Inf
901.44/901.61 c 902s| 5600 | 916 | 2370k| 419.6 | 37M| 38 | - |1469 |6090 |1469 | 847 | 314 |7945 |2342 | 2.800000e+02 | -- | Inf
915.14/915.34 c 915s| 5700 | 940 | 2410k| 419.2 | 37M| 38 | 693 |1469 |6044 |1469 | 847 | 314 |8071 |2370 | 2.800000e+02 | -- | Inf
930.73/930.92 c 931s| 5800 | 938 | 2453k| 419.4 | 37M| 38 | 688 |1469 |6056 |1469 | 847 | 314 |8237 |2406 | 2.800000e+02 | -- | Inf
944.23/944.40 c 944s| 5900 | 952 | 2492k| 418.9 | 37M| 38 | 683 |1469 |6014 |1469 | 847 | 314 |8347 |2438 | 2.800000e+02 | -- | Inf
957.33/957.54 c 958s| 6000 | 966 | 2528k| 418.0 | 37M| 39 | - |1469 |5969 |1469 | 847 | 314 |8483 |2471 | 2.800000e+02 | -- | Inf
973.13/973.31 c 973s| 6100 | 980 | 2572k| 418.2 | 37M| 39 | 691 |1469 |5928 |1469 | 847 | 314 |8616 |2512 | 2.800000e+02 | -- | Inf
987.23/987.47 c 987s| 6200 | 988 | 2610k| 417.7 | 37M| 39 | - |1469 |5954 |1469 | 847 | 314 |8728 |2549 | 2.800000e+02 | -- | Inf
1001.13/1001.33 c 1001s| 6300 | 1012 | 2650k| 417.4 | 37M| 39 | 705 |1469 |5895 |1469 | 847 | 314 |8832 |2578 | 2.800000e+02 | -- | Inf
1015.02/1015.27 c 1015s| 6400 | 1020 | 2691k| 417.3 | 37M| 39 | - |1469 |5811 |1469 | 847 | 314 |8957 |2608 | 2.800000e+02 | -- | Inf
1029.92/1030.19 c 1030s| 6500 | 1028 | 2732k| 417.2 | 37M| 39 | - |1469 |5876 |1469 | 847 | 314 |9087 |2640 | 2.800000e+02 | -- | Inf
1043.42/1043.64 c 1044s| 6600 | 1044 | 2770k| 416.6 | 38M| 40 | 682 |1469 |5977 |1469 | 847 | 314 |9261 |2671 | 2.800000e+02 | -- | Inf
1056.72/1056.93 c 1057s| 6700 | 1058 | 2808k| 416.0 | 38M| 40 | - |1469 |5959 |1469 | 847 | 314 |9396 |2700 | 2.800000e+02 | -- | Inf
1072.32/1072.53 c 1073s| 6800 | 1052 | 2853k| 416.6 | 38M| 40 | - |1469 |5974 |1469 | 847 | 314 |9559 |2732 | 2.800000e+02 | -- | Inf
1091.31/1091.58 c 1092s| 6900 | 1062 | 2901k| 417.6 | 38M| 40 | 669 |1469 |5994 |1469 | 847 | 314 |9702 |2789 | 2.800000e+02 | -- | Inf
1101.11/1101.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1101.11/1101.30 c 1101s| 7000 | 1080 | 2936k| 416.5 | 38M| 40 | - |1469 |6022 |1469 | 847 | 314 |9882 |2799 | 2.800000e+02 | -- | Inf
1115.80/1116.08 c 1116s| 7100 | 1098 | 2975k| 416.2 | 38M| 40 | 681 |1469 |6039 |1469 | 847 | 314 | 10k|2837 | 2.800000e+02 | -- | Inf
1129.00/1129.21 c 1129s| 7200 | 1114 | 3013k| 415.6 | 38M| 40 | - |1469 |6051 |1469 | 847 | 314 | 10k|2866 | 2.800000e+02 | -- | Inf
1142.21/1142.47 c 1142s| 7300 | 1130 | 3050k| 415.0 | 38M| 40 | - |1469 |6031 |1469 | 847 | 314 | 10k|2897 | 2.800000e+02 | -- | Inf
1157.01/1157.28 c 1157s| 7400 | 1152 | 3093k| 415.3 | 38M| 40 | - |1469 |6039 |1469 | 847 | 314 | 10k|2928 | 2.800000e+02 | -- | Inf
1169.79/1170.04 c 1170s| 7500 | 1174 | 3129k| 414.4 | 38M| 40 | - |1469 |5997 |1469 | 847 | 314 | 10k|2957 | 2.800000e+02 | -- | Inf
1182.50/1182.74 c 1183s| 7600 | 1197 | 3164k| 413.7 | 38M| 40 | 693 |1469 |6014 |1469 | 847 | 314 | 10k|2989 | 2.800000e+02 | -- | Inf
1196.70/1196.99 c 1197s| 7700 | 1209 | 3203k| 413.4 | 38M| 40 | 677 |1469 |5987 |1469 | 847 | 314 | 10k|3023 | 2.800000e+02 | -- | Inf
1211.49/1211.70 c 1212s| 7800 | 1217 | 3247k| 413.6 | 38M| 40 | - |1469 |5970 |1469 | 847 | 314 | 10k|3056 | 2.800000e+02 | -- | Inf
1227.79/1228.04 c 1228s| 7900 | 1225 | 3292k| 414.2 | 38M| 40 | - |1469 |5891 |1469 | 847 | 314 | 11k|3093 | 2.800000e+02 | -- | Inf
1240.49/1240.71 c 1241s| 8000 | 1231 | 3327k| 413.4 | 38M| 40 | - |1469 |5923 |1469 | 847 | 314 | 11k|3126 | 2.800000e+02 | -- | Inf
1253.38/1253.64 c 1254s| 8100 | 1238 | 3366k| 413.1 | 38M| 41 | 670 |1469 |5899 |1469 | 847 | 314 | 11k|3154 | 2.800000e+02 | -- | Inf
1268.38/1268.68 c 1269s| 8200 | 1264 | 3406k| 412.9 | 38M| 41 | 688 |1469 |5836 |1469 | 847 | 314 | 11k|3197 | 2.800000e+02 | -- | Inf
1279.48/1279.70 c 1280s| 8300 | 1290 | 3438k| 411.7 | 38M| 41 | 667 |1469 |5894 |1469 | 847 | 314 | 11k|3221 | 2.800000e+02 | -- | Inf
1293.28/1293.52 c 1294s| 8400 | 1302 | 3476k| 411.4 | 38M| 41 | 657 |1469 |5956 |1469 | 847 | 314 | 11k|3257 | 2.800000e+02 | -- | Inf
1306.48/1306.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1306.48/1306.78 c 1307s| 8500 | 1328 | 3514k| 411.0 | 38M| 41 | 671 |1469 |5972 |1469 | 847 | 314 | 12k|3290 | 2.800000e+02 | -- | Inf
1321.18/1321.48 c 1321s| 8600 | 1348 | 3556k| 411.1 | 38M| 41 | 664 |1469 |5795 |1469 | 847 | 314 | 12k|3324 | 2.800000e+02 | -- | Inf
1332.98/1333.29 c 1333s| 8700 | 1364 | 3589k| 410.2 | 38M| 41 | - |1469 |5761 |1469 | 847 | 314 | 12k|3348 | 2.800000e+02 | -- | Inf
1349.07/1349.37 c 1349s| 8800 | 1370 | 3635k| 410.8 | 38M| 41 | - |1469 |5646 |1469 | 847 | 314 | 12k|3384 | 2.800000e+02 | -- | Inf
1363.47/1363.71 c 1364s| 8900 | 1394 | 3673k| 410.5 | 38M| 41 | - |1469 |5591 |1469 | 847 | 314 | 12k|3424 | 2.800000e+02 | -- | Inf
1377.37/1377.61 c 1378s| 9000 | 1402 | 3714k| 410.4 | 38M| 41 | - |1469 |5523 |1469 | 847 | 314 | 12k|3451 | 2.800000e+02 | -- | Inf
1391.97/1392.27 c 1392s| 9100 | 1418 | 3755k| 410.5 | 38M| 41 | 688 |1469 |5509 |1469 | 847 | 314 | 12k|3489 | 2.800000e+02 | -- | Inf
1406.37/1406.63 c 1407s| 9200 | 1442 | 3796k| 410.4 | 38M| 41 | 658 |1469 |5443 |1469 | 847 | 314 | 13k|3526 | 2.800000e+02 | -- | Inf
1418.06/1418.34 c 1418s| 9300 | 1449 | 3839k| 410.7 | 38M| 41 | - |1469 |5431 |1469 | 847 | 314 | 13k|3539 | 2.800000e+02 | -- | Inf
1428.67/1428.90 c 1429s| 9400 | 1455 | 3881k| 410.8 | 38M| 41 | - |1469 |5384 |1469 | 847 | 314 | 13k|3544 | 2.800000e+02 | -- | Inf
1437.35/1437.68 c 1438s| 9500 | 1481 | 3916k| 410.0 | 38M| 41 | 695 |1469 |5299 |1469 | 847 | 314 | 13k|3548 | 2.800000e+02 | -- | Inf
1447.75/1448.04 c 1448s| 9600 | 1487 | 3958k| 410.2 | 38M| 41 | 677 |1469 |5228 |1469 | 847 | 314 | 13k|3549 | 2.800000e+02 | -- | Inf
1457.76/1458.07 c 1458s| 9700 | 1493 | 3999k| 410.2 | 38M| 41 | - |1469 |5243 |1469 | 847 | 314 | 13k|3551 | 2.800000e+02 | -- | Inf
1467.35/1467.63 c 1468s| 9800 | 1515 | 4038k| 410.0 | 38M| 41 | 673 |1469 |5188 |1469 | 847 | 314 | 13k|3551 | 2.800000e+02 | -- | Inf
1476.35/1476.63 c 1477s| 9900 | 1537 | 4076k| 409.6 | 38M| 41 | - |1469 |5194 |1469 | 847 | 314 | 13k|3551 | 2.800000e+02 | -- | Inf
1485.35/1485.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1485.35/1485.67 c 1486s| 10000 | 1543 | 4113k| 409.3 | 38M| 41 | - |1469 |5224 |1469 | 847 | 314 | 14k|3551 | 2.800000e+02 | -- | Inf
1493.95/1494.22 c 1494s| 10100 | 1547 | 4149k| 408.8 | 38M| 41 | - |1469 |5283 |1469 | 847 | 314 | 14k|3551 | 2.800000e+02 | -- | Inf
1503.45/1503.78 c 1504s| 10200 | 1567 | 4188k| 408.6 | 38M| 41 | - |1469 |5183 |1469 | 847 | 314 | 14k|3551 | 2.800000e+02 | -- | Inf
1512.75/1513.00 c 1513s| 10300 | 1591 | 4226k| 408.3 | 38M| 41 | 666 |1469 |5117 |1469 | 847 | 314 | 14k|3551 | 2.800000e+02 | -- | Inf
1521.05/1521.40 c 1521s| 10400 | 1605 | 4261k| 407.7 | 38M| 41 | - |1469 |5088 |1469 | 847 | 314 | 14k|3551 | 2.800000e+02 | -- | Inf
1529.64/1529.97 c 1530s| 10500 | 1619 | 4296k| 407.2 | 38M| 41 | 664 |1469 |5104 |1469 | 847 | 314 | 14k|3551 | 2.800000e+02 | -- | Inf
1543.95/1544.21 c 1544s| 10600 | 1629 | 4342k| 407.7 | 38M| 41 | - |1469 |4968 |1469 | 847 | 314 | 14k|3571 | 2.800000e+02 | -- | Inf
1557.24/1557.50 c 1558s| 10700 | 1641 | 4381k| 407.6 | 38M| 41 | - |1469 |4937 |1469 | 847 | 314 | 15k|3592 | 2.800000e+02 | -- | Inf
1571.74/1572.04 c 1572s| 10800 | 1649 | 4422k| 407.6 | 38M| 41 | 653 |1469 |4984 |1469 | 847 | 314 | 15k|3620 | 2.800000e+02 | -- | Inf
1584.74/1585.00 c 1585s| 10900 | 1650 | 4462k| 407.5 | 38M| 41 | - |1469 |4942 |1469 | 847 | 314 | 15k|3639 | 2.800000e+02 | -- | Inf
1597.44/1597.71 c 1598s| 11000 | 1666 | 4504k| 407.6 | 39M| 41 | - |1469 |5010 |1469 | 847 | 314 | 15k|3660 | 2.800000e+02 | -- | Inf
1610.43/1610.74 c 1611s| 11100 | 1682 | 4543k| 407.5 | 39M| 41 | - |1469 |4934 |1469 | 847 | 314 | 15k|3681 | 2.800000e+02 | -- | Inf
1623.23/1623.56 c 1624s| 11200 | 1692 | 4579k| 407.1 | 38M| 41 | - |1469 |4697 |1469 | 847 | 314 | 15k|3708 | 2.800000e+02 | -- | Inf
1637.73/1638.06 c 1638s| 11300 | 1704 | 4622k| 407.3 | 38M| 41 | - |1469 |4432 |1469 | 847 | 314 | 15k|3738 | 2.800000e+02 | -- | Inf
1653.42/1653.71 c 1654s| 11400 | 1710 | 4668k| 407.7 | 38M| 41 | 730 |1469 |4399 |1469 | 847 | 314 | 16k|3762 | 2.800000e+02 | -- | Inf
1666.72/1667.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1666.72/1667.04 c 1667s| 11500 | 1718 | 4705k| 407.4 | 38M| 41 | 696 |1469 |4451 |1469 | 847 | 314 | 16k|3791 | 2.800000e+02 | -- | Inf
1677.23/1677.53 c 1678s| 11600 | 1730 | 4736k| 406.5 | 38M| 43 | - |1469 |4546 |1469 | 847 | 314 | 16k|3813 | 2.800000e+02 | -- | Inf
1690.72/1691.09 c 1691s| 11700 | 1744 | 4776k| 406.4 | 38M| 43 | 648 |1469 |4492 |1469 | 847 | 314 | 16k|3836 | 2.800000e+02 | -- | Inf
1705.61/1705.93 c 1706s| 11800 | 1744 | 4819k| 406.7 | 38M| 43 | - |1469 |4490 |1469 | 847 | 314 | 16k|3867 | 2.800000e+02 | -- | Inf
1718.52/1718.80 c 1719s| 11900 | 1760 | 4858k| 406.6 | 38M| 43 | 685 |1469 |4448 |1469 | 847 | 314 | 16k|3890 | 2.800000e+02 | -- | Inf
1733.32/1733.64 c 1734s| 12000 | 1780 | 4902k| 406.8 | 38M| 43 | - |1469 |4280 |1469 | 847 | 314 | 17k|3920 | 2.800000e+02 | -- | Inf
1746.11/1746.41 c 1746s| 12100 | 1798 | 4940k| 406.6 | 38M| 43 | 661 |1469 |4281 |1469 | 847 | 314 | 17k|3948 | 2.800000e+02 | -- | Inf
1760.31/1760.66 c 1761s| 12200 | 1814 | 4982k| 406.7 | 38M| 43 | - |1469 |4193 |1469 | 847 | 314 | 17k|3980 | 2.800000e+02 | -- | Inf
1774.70/1775.01 c 1775s| 12300 | 1826 | 5024k| 406.8 | 38M| 43 | 673 |1469 |4170 |1469 | 847 | 314 | 17k|4011 | 2.800000e+02 | -- | Inf
1788.31/1788.65 c 1789s| 12400 | 1836 | 5063k| 406.6 | 39M| 43 | 711 |1469 |4160 |1469 | 847 | 314 | 17k|4045 | 2.800000e+02 | -- | Inf
1796.70/1797.00 c
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Solving Time (sec) : 1797.00
1796.70/1797.00 c Solving Nodes : 12460
1796.70/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.70/1797.00 c Dual Bound : +2.80000000000000e+02
1796.70/1797.00 c Gap : infinite
1796.70/1797.00 s UNKNOWN
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Total Time : 1797.00
1796.70/1797.00 c solving : 1797.00
1796.70/1797.00 c presolving : 0.22 (included in solving)
1796.70/1797.00 c reading : 0.01 (included in solving)
1796.70/1797.00 c copying : 0.02 (2 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.70/1797.00 c Original Problem :
1796.70/1797.00 c Problem name : HOME/instance-3691324-1338024449.opb
1796.70/1797.00 c Variables : 1635 (1635 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 840 initial, 840 maximal
1796.70/1797.00 c Objective sense : minimize
1796.70/1797.00 c Presolved Problem :
1796.70/1797.00 c Problem name : t_HOME/instance-3691324-1338024449.opb
1796.70/1797.00 c Variables : 1469 (1469 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 774 initial, 6211 maximal
1796.70/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c probing : 0.19 0.00 11 1 0 0 0 0 0 0 0
1796.70/1797.00 c setppc : 0.01 0.00 0 0 0 0 0 2 0 0 0
1796.70/1797.00 c linear : 0.01 0.00 112 42 0 112 0 64 0 0 0
1796.70/1797.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c root node : - - 0 - - 0 - - - - -
1796.70/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c integral : 0 0 0 0 7374 0 4 0 68 409 0 0 14326
1796.70/1797.00 c setppc : 774 774 5 57401 0 1 3 677895 36 274907 0 0 0
1796.70/1797.00 c linear : 0+ 502 5 53455 0 0 0 18365 0 3961 4 0 0
1796.70/1797.00 c logicor : 0+ 4995 5 20935 0 0 0 14458 4 5065 0 0 0
1796.70/1797.00 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.70/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.00 c integral : 548.53 0.00 0.00 0.00 548.53 0.00 0.00 0.00
1796.70/1797.00 c setppc : 1.73 0.00 0.00 1.48 0.00 0.00 0.00 0.25
1796.70/1797.00 c linear : 0.28 0.00 0.00 0.26 0.00 0.00 0.00 0.02
1796.70/1797.00 c logicor : 1.43 0.00 0.00 1.40 0.00 0.00 0.00 0.03
1796.70/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.00 c rootredcost : 0 0 0 0
1796.70/1797.00 c pseudoobj : 60947 0 0 0
1796.70/1797.00 c vbounds : 0 0 0 0
1796.70/1797.00 c redcost : 7378 0 0 0
1796.70/1797.00 c probing : 0 0 0 0
1796.70/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.00 c rootredcost : 0.02 0.00 0.00 0.02 0.00
1796.70/1797.00 c pseudoobj : 0.07 0.00 0.00 0.07 0.00
1796.70/1797.00 c vbounds : 0.02 0.00 0.00 0.02 0.00
1796.70/1797.00 c redcost : 0.17 0.00 0.00 0.17 0.00
1796.70/1797.00 c probing : 0.19 0.00 0.19 0.00 0.00
1796.70/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.00 c propagation : 0.00 40 36 201 25.1 8 8.4 -
1796.70/1797.00 c infeasible LP : 2.93 5328 4688 70780 77.2 8 27.6 0
1796.70/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.00 c applied globally : - - - 17641 75.3 - - -
1796.70/1797.00 c applied locally : - - - 2 163.0 - - -
1796.70/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.00 c cut pool : 0.01 4 - - 0 - (maximal pool size: 1028)
1796.70/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c impliedbounds : 0.00 0.00 5 0 0 31 0
1796.70/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c gomory : 0.40 0.00 5 0 0 0 0
1796.70/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c strongcg : 0.75 0.00 5 0 0 1000 0
1796.70/1797.00 c cmir : 0.03 0.00 5 0 0 0 0
1796.70/1797.00 c flowcover : 0.03 0.00 5 0 0 0 0
1796.70/1797.00 c clique : 0.17 0.00 5 0 0 24 0
1796.70/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c mcf : 0.00 0.00 1 0 0 0 0
1796.70/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c rapidlearning : 1.71 0.00 1 0 0 0 502
1796.70/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.00 c problem variables: 0.00 - 0 0
1796.70/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c relpscost : 548.52 0.00 7374 68 409 0 0 14326
1796.70/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c inference : 0.00 0.00 1 0 0 0 0 2
1796.70/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.00 c LP solutions : 0.00 - - 0
1796.70/1797.00 c pseudo solutions : 0.00 - - 0
1796.70/1797.00 c oneopt : 0.01 0.00 0 0
1796.70/1797.00 c crossover : 0.01 0.00 0 0
1796.70/1797.00 c guideddiving : 0.00 0.00 0 0
1796.70/1797.00 c intshifting : 0.00 0.00 0 0
1796.70/1797.00 c pscostdiving : 5.27 0.00 9 0
1796.70/1797.00 c coefdiving : 7.43 0.00 9 0
1796.70/1797.00 c fracdiving : 5.32 0.00 9 0
1796.70/1797.00 c veclendiving : 11.00 0.00 9 0
1796.70/1797.00 c linesearchdiving : 4.74 0.00 9 0
1796.70/1797.00 c objpscostdiving : 0.78 0.00 5 0
1796.70/1797.00 c rootsoldiving : 1.78 0.00 5 0
1796.70/1797.00 c feaspump : 1.89 0.00 5 0
1796.70/1797.00 c smallcard : 0.00 0.00 0 0
1796.70/1797.00 c trivial : 0.00 0.00 2 0
1796.70/1797.00 c shiftandpropagate: 0.01 0.00 1 0
1796.70/1797.00 c simplerounding : 0.00 0.00 0 0
1796.70/1797.00 c zirounding : 1.91 0.00 0 0
1796.70/1797.00 c rounding : 1.08 0.00 1155 0
1796.70/1797.00 c shifting : 0.61 0.00 328 0
1796.70/1797.00 c twoopt : 0.00 0.00 0 0
1796.70/1797.00 c indoneopt : 0.01 0.00 0 0
1796.70/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.00 c clique : 0.00 0.00 0 0
1796.70/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.00 c indrounding : 0.00 0.00 0 0
1796.70/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.00 c intdiving : 0.00 0.00 0 0
1796.70/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.00 c octane : 0.00 0.00 0 0
1796.70/1797.00 c rens : 0.02 0.00 0 0
1796.70/1797.00 c rins : 0.00 0.00 0 0
1796.70/1797.00 c localbranching : 0.00 0.00 0 0
1796.70/1797.00 c mutation : 0.00 0.00 0 0
1796.70/1797.00 c dins : 0.00 0.00 0 0
1796.70/1797.00 c vbounds : 0.00 0.00 0 0
1796.70/1797.00 c undercover : 0.00 0.00 0 0
1796.70/1797.00 c subnlp : 0.00 0.00 0 0
1796.70/1797.00 c trysol : 0.01 0.00 0 0
1796.70/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.00 c primal LP : 0.04 1 0 0.00 0.00 0.04 1
1796.70/1797.00 c dual LP : 1190.38 12608 4979510 395.42 4183.12 0.09 15
1796.70/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.00 c diving/probing LP: 37.02 3568 106793 29.93 2884.40
1796.70/1797.00 c strong branching : 547.29 4063 2032894 500.34 3714.49
1796.70/1797.00 c (at root node) : - 16 14842 927.62 -
1796.70/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.00 c B&B Tree :
1796.70/1797.00 c number of runs : 1
1796.70/1797.00 c nodes : 12460
1796.70/1797.00 c nodes (total) : 12460
1796.70/1797.00 c nodes left : 1852
1796.70/1797.00 c max depth : 43
1796.70/1797.00 c max depth (total): 43
1796.70/1797.00 c backtracks : 2226 (17.9%)
1796.70/1797.00 c delayed cutoffs : 17
1796.70/1797.00 c repropagations : 7237 (61048 domain reductions, 14 cutoffs)
1796.70/1797.00 c avg switch length: 7.16
1796.70/1797.00 c switching time : 2.81
1796.70/1797.00 c Solution :
1796.70/1797.00 c Solutions found : 0 (0 improvements)
1796.70/1797.00 c Primal Bound : -
1796.70/1797.00 c Dual Bound : +2.80000000000000e+02
1796.70/1797.00 c Gap : infinite
1796.70/1797.00 c Root Dual Bound : +2.80000000000000e+02
1796.70/1797.00 c Root Iterations : 21227
1796.70/1797.03 c Time complete: 1796.74.
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-3691324-1338024449/watcher-3691324-1338024449 -o /tmp/evaluation-result-3691324-1338024449/solver-3691324-1338024449 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691324-1338024449.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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: 1.93 2.01 2.00 2/177 31787
/proc/meminfo: memFree=19429972/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=11140 CPUtime=0 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 1531 0 0 0 0 0 0 0 20 0 1 0 268570354 11407360 1485 33554432000 4194304 10173063 140733390630768 140735597476600 7545739 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31787/statm: 2785 1486 408 1460 0 1316 0
[startup+0.077051 s]
/proc/loadavg: 1.93 2.01 2.00 2/177 31787
/proc/meminfo: memFree=19429972/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=21892 CPUtime=0.07 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 4322 0 0 0 7 0 0 0 20 0 1 0 268570354 22417408 4019 33554432000 4194304 10173063 140733390630768 140735597476600 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31787/statm: 5473 4019 596 1460 0 4004 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 21892
[startup+0.10024 s]
/proc/loadavg: 1.93 2.01 2.00 2/177 31787
/proc/meminfo: memFree=19429972/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=21892 CPUtime=0.09 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 4322 0 0 0 9 0 0 0 20 0 1 0 268570354 22417408 4019 33554432000 4194304 10173063 140733390630768 140735597476600 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31787/statm: 5473 4019 596 1460 0 4004 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21892
[startup+0.300186 s]
/proc/loadavg: 1.93 2.01 2.00 2/177 31787
/proc/meminfo: memFree=19429972/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=26584 CPUtime=0.29 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 5703 0 0 0 28 1 0 0 20 0 1 0 268570354 27222016 5387 33554432000 4194304 10173063 140733390630768 140733390627144 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31787/statm: 6646 5387 756 1460 0 5177 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26584
[startup+0.700173 s]
/proc/loadavg: 1.93 2.01 2.00 2/177 31787
/proc/meminfo: memFree=19429972/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=26716 CPUtime=0.69 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 5749 0 0 0 67 2 0 0 20 0 1 0 268570354 27357184 5433 33554432000 4194304 10173063 140733390630768 140733390624120 7986020 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31787/statm: 6679 5433 756 1460 0 5210 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26716
[startup+1.50018 s]
/proc/loadavg: 1.93 2.01 2.00 3/178 31788
/proc/meminfo: memFree=19451308/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=28284 CPUtime=1.49 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 6050 0 0 0 147 2 0 0 20 0 1 0 268570354 28962816 5734 33554432000 4194304 10173063 140733390630768 140733390624072 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31787/statm: 7071 5734 760 1460 0 5602 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28284
[startup+3.10018 s]
/proc/loadavg: 1.93 2.01 2.00 3/178 31788
/proc/meminfo: memFree=19487780/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=28940 CPUtime=3.09 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 6760 0 0 0 306 3 0 0 20 0 1 0 268570354 29634560 6023 33554432000 4194304 10173063 140733390630768 140733390621928 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31787/statm: 7235 6023 780 1460 0 5766 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28940
[startup+6.30019 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 31788
/proc/meminfo: memFree=19571588/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=68712 CPUtime=6.29 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 17114 0 0 0 612 17 0 0 20 0 1 0 268570354 70361088 15851 33554432000 4194304 10173063 140733390630768 140733390624072 8012640 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31787/statm: 17178 15851 840 1460 0 15709 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 68712
[startup+12.7002 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 31788
/proc/meminfo: memFree=19696952/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=100912 CPUtime=12.68 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 33864 0 0 0 1247 21 0 0 20 0 1 0 268570354 103333888 22702 33554432000 4194304 10173063 140733390630768 140733390623480 7986142 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31787/statm: 25228 22702 843 1460 0 23759 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 100912
[startup+25.5003 s]
/proc/loadavg: 2.01 2.03 2.00 3/178 31788
/proc/meminfo: memFree=19176528/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=92276 CPUtime=25.49 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 43636 0 0 0 2524 25 0 0 20 0 1 0 268570354 94490624 20792 33554432000 4194304 10173063 140733390630768 140733390626808 8007545 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31787/statm: 23069 20792 844 1460 0 21600 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 92276
[startup+51.1003 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 31788
/proc/meminfo: memFree=19564636/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=92276 CPUtime=51.08 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 43636 0 0 0 5075 33 0 0 20 0 1 0 268570354 94490624 20792 33554432000 4194304 10173063 140733390630768 140733390624312 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31787/statm: 23069 20792 844 1460 0 21600 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 92276
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 31788
/proc/meminfo: memFree=19564576/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=92276 CPUtime=102.28 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 43639 0 0 0 10179 49 0 0 20 0 1 0 268570354 94490624 20795 33554432000 4194304 10173063 140733390630768 140733390623480 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31787/statm: 23069 20795 847 1460 0 21600 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 92276
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 31791
/proc/meminfo: memFree=19564584/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=93272 CPUtime=162.26 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 43857 0 0 0 16149 77 0 0 20 0 1 0 268570354 95510528 21013 33554432000 4194304 10173063 140733390630768 140733390624024 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31787/statm: 23318 21013 847 1460 0 21849 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 93272
[startup+222.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31830
/proc/meminfo: memFree=27574264/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=93272 CPUtime=222.25 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 43869 0 0 0 22120 105 0 0 20 0 1 0 268570354 95510528 21441 33554432000 4194304 10173063 140733390630768 140733390624024 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31787/statm: 23318 21441 847 1460 0 21849 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 93272
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31830
/proc/meminfo: memFree=27543784/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=94260 CPUtime=282.23 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 44115 0 0 0 28090 133 0 0 20 0 1 0 268570354 96522240 21955 33554432000 4194304 10173063 140733390630768 140733390624216 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31787/statm: 23565 21955 847 1460 0 22096 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 94260
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31830
/proc/meminfo: memFree=27489980/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=94260 CPUtime=342.23 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 44115 0 0 0 34063 160 0 0 20 0 1 0 268570354 96522240 21955 33554432000 4194304 10173063 140733390630768 140733390624216 8054704 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31787/statm: 23565 21955 847 1460 0 22096 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 94260
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31830
/proc/meminfo: memFree=27493608/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=94260 CPUtime=402.22 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 44115 0 0 0 40036 186 0 0 20 0 1 0 268570354 96522240 21955 33554432000 4194304 10173063 140733390630768 140733390624024 8033128 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31787/statm: 23565 21955 847 1460 0 22096 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 94260
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31830
/proc/meminfo: memFree=27483304/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=95236 CPUtime=462.21 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 44361 0 0 0 46008 213 0 0 20 0 1 0 268570354 97521664 22201 33554432000 4194304 10173063 140733390630768 140733390624120 8033069 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31787/statm: 23809 22201 847 1460 0 22340 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 95236
[startup+522.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 31831
/proc/meminfo: memFree=27486964/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=97200 CPUtime=522.19 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 44850 0 0 0 51979 240 0 0 20 0 1 0 268570354 99532800 22690 33554432000 4194304 10173063 140733390630768 140733390624408 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31787/statm: 24300 22690 847 1460 0 22831 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 97200
[startup+582.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 31831
/proc/meminfo: memFree=27725332/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=97200 CPUtime=582.18 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 44851 0 0 0 57950 268 0 0 20 0 1 0 268570354 99532800 22691 33554432000 4194304 10173063 140733390630768 140733390623288 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31787/statm: 24300 22691 847 1460 0 22831 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 97200
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26816436/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=99752 CPUtime=1062.12 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 45498 0 0 0 105711 501 0 0 20 0 1 0 268570354 102146048 23338 33554432000 4194304 10173063 140733390630768 140733390624024 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31787/statm: 24938 23338 847 1460 0 23469 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 99752
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 31836
/proc/meminfo: memFree=26816216/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=99752 CPUtime=1122.11 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 45498 0 0 0 111682 529 0 0 20 0 1 0 268570354 102146048 23338 33554432000 4194304 10173063 140733390630768 140733390624120 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31787/statm: 24938 23338 847 1460 0 23469 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 99752
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31836
/proc/meminfo: memFree=26814632/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=100260 CPUtime=1182.1 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 45616 0 0 0 117652 558 0 0 20 0 1 0 268570354 102666240 23456 33554432000 4194304 10173063 140733390630768 140733390624408 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31787/statm: 25065 23456 847 1460 0 23596 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 100260
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31836
/proc/meminfo: memFree=26807648/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=100780 CPUtime=1242.09 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 45746 0 0 0 123621 588 0 0 20 0 1 0 268570354 103198720 23586 33554432000 4194304 10173063 140733390630768 140733390624024 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31787/statm: 25195 23586 847 1460 0 23726 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 100780
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31836
/proc/meminfo: memFree=26801436/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=100780 CPUtime=1302.08 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 45746 0 0 0 129593 615 0 0 20 0 1 0 268570354 103198720 23586 33554432000 4194304 10173063 140733390630768 140733390624024 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31787/statm: 25195 23586 847 1460 0 23726 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 100780
[startup+1362.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 31839
/proc/meminfo: memFree=26801108/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=100780 CPUtime=1362.07 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 45746 0 0 0 135563 644 0 0 20 0 1 0 268570354 103198720 23586 33554432000 4194304 10173063 140733390630768 140733390624072 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31787/statm: 25195 23586 847 1460 0 23726 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 100780
[startup+1422.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 31840
/proc/meminfo: memFree=26801260/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=100780 CPUtime=1422.06 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 45746 0 0 0 141531 675 0 0 20 0 1 0 268570354 103198720 23586 33554432000 4194304 10173063 140733390630768 140733390624072 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31787/statm: 25195 23586 847 1460 0 23726 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 100780
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 31840
/proc/meminfo: memFree=26800700/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=101240 CPUtime=1482.05 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 45860 0 0 0 147503 702 0 0 20 0 1 0 268570354 103669760 23700 33554432000 4194304 10173063 140733390630768 140733390623288 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31787/statm: 25310 23700 847 1460 0 23841 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 101240
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31840
/proc/meminfo: memFree=26798836/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=101240 CPUtime=1542.05 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 45860 0 0 0 153472 733 0 0 20 0 1 0 268570354 103669760 23700 33554432000 4194304 10173063 140733390630768 140733390623944 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31787/statm: 25310 23700 847 1460 0 23841 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 101240
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31840
/proc/meminfo: memFree=26797292/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=101676 CPUtime=1602.03 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 45969 0 0 0 159439 764 0 0 20 0 1 0 268570354 104116224 23809 33554432000 4194304 10173063 140733390630768 140733390624120 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31787/statm: 25419 23809 847 1460 0 23950 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 101676
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31840
/proc/meminfo: memFree=26796576/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=102456 CPUtime=1662.02 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 46182 0 0 0 165409 793 0 0 20 0 1 0 268570354 104914944 24022 33554432000 4194304 10173063 140733390630768 140733390623288 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31787/statm: 25614 24022 847 1460 0 24145 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 102456
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31840
/proc/meminfo: memFree=26794620/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=104412 CPUtime=1722.01 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 46653 0 0 0 171378 823 0 0 20 0 1 0 268570354 106917888 24493 33554432000 4194304 10173063 140733390630768 140733390624024 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31787/statm: 26103 24493 847 1460 0 24634 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 104412
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31841
/proc/meminfo: memFree=26792244/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=104412 CPUtime=1782 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 46658 0 0 0 177350 850 0 0 20 0 1 0 268570354 106917888 24493 33554432000 4194304 10173063 140733390630768 140733390624120 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31787/statm: 26103 24493 847 1460 0 24634 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 104412
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31841
/proc/meminfo: memFree=26792244/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=104412 CPUtime=1785.31 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 46658 0 0 0 177678 853 0 0 20 0 1 0 268570354 106917888 24493 33554432000 4194304 10173063 140733390630768 140733390624120 8056160 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31787/statm: 26103 24493 847 1460 0 24634 0
Current children cumulated CPU time (s) 1785.31
Current children cumulated vsize (KiB) 104412
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31841
/proc/meminfo: memFree=26788148/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=104412 CPUtime=1791.71 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 46658 0 0 0 178315 856 0 0 20 0 1 0 268570354 106917888 24493 33554432000 4194304 10173063 140733390630768 140733390624216 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31787/statm: 26103 24493 847 1460 0 24634 0
Current children cumulated CPU time (s) 1791.71
Current children cumulated vsize (KiB) 104412
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31841
/proc/meminfo: memFree=26788024/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=104412 CPUtime=1794.91 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 46658 0 0 0 178633 858 0 0 20 0 1 0 268570354 106917888 24493 33554432000 4194304 10173063 140733390630768 140733390624072 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31787/statm: 26103 24493 847 1460 0 24634 0
Current children cumulated CPU time (s) 1794.91
Current children cumulated vsize (KiB) 104412
[startup+1796 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31841
/proc/meminfo: memFree=26788024/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=104412 CPUtime=1795.7 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 46658 0 0 0 178712 858 0 0 20 0 1 0 268570354 106917888 24493 33554432000 4194304 10173063 140733390630768 140733390624072 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31787/statm: 26103 24493 847 1460 0 24634 0
Current children cumulated CPU time (s) 1795.7
Current children cumulated vsize (KiB) 104412
[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31841
/proc/meminfo: memFree=26788024/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=104412 CPUtime=1796.5 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 46658 0 0 0 178792 858 0 0 20 0 1 0 268570354 106917888 24493 33554432000 4194304 10173063 140733390630768 140733390624216 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31787/statm: 26103 24493 847 1460 0 24634 0
Current children cumulated CPU time (s) 1796.5
Current children cumulated vsize (KiB) 104412
[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31841
/proc/meminfo: memFree=26788024/32873844 swapFree=7384/7384
[pid=31787] ppid=31785 vsize=104412 CPUtime=1796.7 cores=0,2,4,6
/proc/31787/stat : 31787 (scip-2.1.1.4fix) R 31785 31787 31024 0 -1 4202496 46658 0 0 0 178812 858 0 0 20 0 1 0 268570354 106917888 24493 33554432000 4194304 10173063 140733390630768 140733390624216 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31787/statm: 26103 24493 847 1460 0 24634 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 104412
Child status: 0
Real time (s): 1797.04
CPU time (s): 1796.75
CPU user time (s): 1788.16
CPU system time (s): 8.58969
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 112512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.16
system time used= 8.58969
maximum resident set size= 99604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46664
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= 20
involuntary context switches= 1959
runsolver used 3.21651 second user time and 7.84581 second system time
The end