0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3692624-1338035737.opb>
0.09/0.11 c original problem has 37958 variables (500 bin, 0 int, 37458 impl, 0 cont) and 38458 constraints
0.09/0.11 c problem read in 0.12
0.19/0.30 o 500
0.29/0.31 c feasible solution found by trivial heuristic, objective value 5.000000e+02
0.29/0.31 c presolving:
0.89/0.94 c (round 1) 0 del vars, 38458 del conss, 500 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 74916 impls, 0 clqs
0.99/1.03 c (round 2) 37458 del vars, 38458 del conss, 500 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 74916 impls, 0 clqs
0.99/1.03 c (1.0s) probing: 51/500 (10.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.99/1.03 c (1.0s) probing aborted: 50/50 successive totally useless probings
0.99/1.04 c presolving (3 rounds):
0.99/1.04 c 37458 deleted vars, 38458 deleted constraints, 500 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.99/1.04 c 74916 implications, 0 cliques
0.99/1.04 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 500 constraints
0.99/1.04 c 500 constraints of type <logicor>
0.99/1.04 c transformed objective value is always integral (scale: 1)
0.99/1.04 c Presolving Time: 0.83
0.99/1.04 c - non default parameters ----------------------------------------------------------------------
0.99/1.04 c # SCIP version 2.1.1.4
0.99/1.04 c
0.99/1.04 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.04 c conflict/interconss = 0
0.99/1.04 c
0.99/1.04 c # should binary conflicts be preferred?
0.99/1.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.04 c conflict/preferbinary = TRUE
0.99/1.04 c
0.99/1.04 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.04 c constraints/agelimit = 1
0.99/1.04 c
0.99/1.04 c # should enforcement of pseudo solution be disabled?
0.99/1.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.04 c constraints/disableenfops = TRUE
0.99/1.04 c
0.99/1.04 c # maximal time in seconds to run
0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.04 c limits/time = 1797
0.99/1.04 c
0.99/1.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.04 c limits/memory = 13950
0.99/1.04 c
0.99/1.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.99/1.04 c # [type: int, range: [1,2], default: 1]
0.99/1.04 c timing/clocktype = 2
0.99/1.04 c
0.99/1.04 c # belongs reading time to solving time?
0.99/1.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.04 c timing/reading = TRUE
0.99/1.04 c
0.99/1.04 c -----------------------------------------------------------------------------------------------
0.99/1.04 c start solving
0.99/1.04 c
3.18/3.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.18/3.30 c t 3.3s| 1 | 0 | 8180 | - | 85M| 0 | 211 | 500 | 500 | 500 | 500 | 0 | 0 | 0 | 6.518022e+00 | 5.000000e+02 |7571.04%
3.18/3.30 o 211
3.18/3.30 c r 3.3s| 1 | 0 | 8180 | - | 85M| 0 | 211 | 500 | 500 | 500 | 500 | 0 | 0 | 0 | 6.518022e+00 | 2.110000e+02 |3137.18%
3.29/3.30 o 210
3.29/3.30 c R 3.3s| 1 | 0 | 8180 | - | 85M| 0 | 211 | 500 | 500 | 500 | 500 | 0 | 0 | 0 | 6.518022e+00 | 2.100000e+02 |3121.84%
3.29/3.30 o 209
3.29/3.30 c s 3.3s| 1 | 0 | 8180 | - | 85M| 0 | 211 | 500 | 500 | 500 | 500 | 0 | 0 | 0 | 6.518022e+00 | 2.090000e+02 |3106.49%
3.29/3.36 o 31
3.29/3.36 c z 3.4s| 1 | 0 | 8180 | - | 85M| 0 | 211 | 500 | 500 | 500 | 500 | 0 | 0 | 0 | 6.518022e+00 | 3.100000e+01 | 375.60%
59.58/59.61 o 15
59.58/59.61 c E59.6s| 1 | 0 | 8180 | - | 85M| 0 | 211 | 500 | 500 | 500 | 500 | 0 | 0 | 0 | 6.518022e+00 | 1.500000e+01 | 130.13%
59.58/59.62 c 59.6s| 1 | 0 | 8180 | - | 85M| 0 | 211 | 500 | 500 | 500 | 500 | 0 | 0 | 0 | 6.518022e+00 | 1.500000e+01 | 130.13%
66.58/66.67 c 66.7s| 1 | 2 | 8180 | - | 85M| 0 | 211 | 500 | 500 | 500 | 500 | 0 | 0 | 17 | 6.518022e+00 | 1.500000e+01 | 130.13%
125.77/125.86 c 126s| 100 | 93 | 94659 | 873.5 | 85M| 18 | 180 | 500 | 500 | 500 | 500 | 0 | 0 | 321 | 6.671760e+00 | 1.500000e+01 | 124.83%
190.36/190.44 c 190s| 200 | 193 |258919 |1260.0 | 86M| 35 | 200 | 500 | 500 | 500 | 500 | 0 | 0 | 405 | 6.671760e+00 | 1.500000e+01 | 124.83%
274.64/274.70 c 275s| 300 | 293 |484806 |1594.1 | 86M| 41 | 208 | 500 | 500 | 500 | 500 | 0 | 0 | 635 | 6.671760e+00 | 1.500000e+01 | 124.83%
365.42/365.55 c 366s| 400 | 393 |734281 |1819.8 | 86M| 55 | 147 | 500 | 500 | 500 | 500 | 0 | 0 | 965 | 7.231958e+00 | 1.500000e+01 | 107.41%
413.32/413.41 c 413s| 500 | 493 |913616 |1814.5 | 86M| 72 | 210 | 500 | 500 | 500 | 500 | 0 | 0 |1110 | 7.329145e+00 | 1.500000e+01 | 104.66%
455.71/455.89 c 456s| 600 | 593 | 1041k|1724.7 | 86M| 85 | 71 | 500 | 500 | 500 | 500 | 0 | 0 |1329 | 7.329145e+00 | 1.500000e+01 | 104.66%
483.50/483.68 c 484s| 700 | 689 | 1150k|1634.6 | 86M| 95 | 127 | 500 | 500 | 500 | 500 | 0 | 0 |1385 | 7.340297e+00 | 1.500000e+01 | 104.35%
509.20/509.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
509.20/509.37 c 509s| 800 | 773 | 1244k|1547.5 | 86M| 104 | 109 | 500 | 500 | 500 | 500 | 0 | 0 |1470 | 7.353782e+00 | 1.500000e+01 | 103.98%
539.79/539.97 c 540s| 900 | 843 | 1326k|1466.8 | 86M| 111 | 75 | 500 | 500 | 500 | 500 | 0 | 0 |1577 | 7.357626e+00 | 1.500000e+01 | 103.87%
563.49/563.61 c 564s| 1000 | 921 | 1398k|1391.6 | 86M| 114 | 61 | 500 | 500 | 500 | 500 | 0 | 0 |1684 | 7.378862e+00 | 1.500000e+01 | 103.28%
584.59/584.79 c 585s| 1100 | 1003 | 1480k|1339.3 | 86M| 117 | 75 | 500 | 500 | 500 | 500 | 0 | 0 |1746 | 7.396337e+00 | 1.500000e+01 | 102.80%
599.28/599.42 c 599s| 1200 | 1083 | 1551k|1287.3 | 87M| 117 | 74 | 500 | 500 | 500 | 500 | 0 | 0 |1757 | 7.408725e+00 | 1.500000e+01 | 102.46%
617.59/617.71 c 618s| 1300 | 1173 | 1629k|1248.0 | 87M| 118 | 83 | 500 | 500 | 500 | 500 | 0 | 0 |1791 | 7.409711e+00 | 1.500000e+01 | 102.44%
638.99/639.13 c 639s| 1400 | 1265 | 1708k|1215.6 | 87M| 119 | 155 | 500 | 500 | 500 | 500 | 0 | 0 |1884 | 7.409711e+00 | 1.500000e+01 | 102.44%
658.88/659.03 c 659s| 1500 | 1343 | 1775k|1179.0 | 87M| 121 | 107 | 500 | 500 | 500 | 500 | 0 | 0 |1960 | 7.409867e+00 | 1.500000e+01 | 102.43%
679.37/679.50 c 679s| 1600 | 1437 | 1844k|1148.4 | 87M| 121 | 195 | 500 | 500 | 500 | 500 | 0 | 0 |2037 | 7.409867e+00 | 1.500000e+01 | 102.43%
701.87/702.01 c 702s| 1700 | 1517 | 1922k|1126.5 | 87M| 124 | 111 | 500 | 500 | 500 | 500 | 0 | 0 |2106 | 7.424587e+00 | 1.500000e+01 | 102.03%
706.87/707.01 o 15
706.87/707.01 c s 707s| 1730 | 1541 | 1945k|1120.4 | 87M| 124 | 33 | 500 | 500 | 500 | 500 | 0 | 0 |2112 | 7.424587e+00 | 1.500000e+01 | 102.03%
716.36/716.57 c 717s| 1800 | 1597 | 1992k|1103.0 | 88M| 124 | 67 | 500 | 500 | 500 | 500 | 0 | 0 |2117 | 7.424587e+00 | 1.500000e+01 | 102.03%
730.27/730.41 c 730s| 1900 | 1679 | 2059k|1080.5 | 88M| 126 | 127 | 500 | 500 | 500 | 500 | 0 | 0 |2125 | 7.436770e+00 | 1.500000e+01 | 101.70%
749.07/749.22 c 749s| 2000 | 1769 | 2131k|1062.0 | 88M| 127 | 33 | 500 | 500 | 500 | 500 | 0 | 0 |2160 | 7.455610e+00 | 1.500000e+01 | 101.19%
768.96/769.18 c 769s| 2100 | 1859 | 2203k|1045.8 | 88M| 127 | 176 | 500 | 500 | 500 | 500 | 0 | 0 |2224 | 7.485511e+00 | 1.500000e+01 | 100.39%
788.66/788.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
788.66/788.89 c 789s| 2200 | 1951 | 2286k|1036.2 | 88M| 131 | 66 | 500 | 500 | 500 | 500 | 0 | 0 |2284 | 7.491561e+00 | 1.500000e+01 | 100.23%
804.95/805.12 c 805s| 2300 | 2023 | 2348k|1017.9 | 88M| 131 | 104 | 500 | 500 | 500 | 500 | 0 | 0 |2338 | 7.491561e+00 | 1.500000e+01 | 100.23%
822.55/822.70 c 823s| 2400 | 2097 | 2406k| 999.7 | 88M| 131 | - | 500 | 500 | 500 | 500 | 0 | 0 |2391 | 7.491561e+00 | 1.500000e+01 | 100.23%
842.25/842.40 c 842s| 2500 | 2183 | 2475k| 987.4 | 89M| 131 | 43 | 500 | 500 | 500 | 500 | 0 | 0 |2445 | 7.503354e+00 | 1.500000e+01 | 99.91%
858.95/859.20 c 859s| 2600 | 2253 | 2541k| 974.8 | 89M| 132 | 114 | 500 | 500 | 500 | 500 | 0 | 0 |2478 | 7.511306e+00 | 1.500000e+01 | 99.70%
872.85/873.07 c 873s| 2700 | 2341 | 2611k| 964.7 | 89M| 132 | 125 | 500 | 500 | 500 | 500 | 0 | 0 |2486 | 7.513771e+00 | 1.500000e+01 | 99.63%
885.14/885.33 c 885s| 2800 | 2425 | 2678k| 954.1 | 89M| 134 | 175 | 500 | 500 | 500 | 500 | 0 | 0 |2487 | 7.513771e+00 | 1.500000e+01 | 99.63%
903.24/903.42 c 903s| 2900 | 2511 | 2751k| 946.4 | 89M| 135 | 152 | 500 | 500 | 500 | 500 | 0 | 0 |2510 | 7.533722e+00 | 1.500000e+01 | 99.10%
916.94/917.16 c 917s| 3000 | 2591 | 2815k| 936.0 | 89M| 135 | 49 | 500 | 500 | 500 | 500 | 0 | 0 |2551 | 7.533722e+00 | 1.500000e+01 | 99.10%
936.14/936.34 c 936s| 3100 | 2681 | 2882k| 927.5 | 89M| 135 | 111 | 500 | 500 | 500 | 500 | 0 | 0 |2585 | 7.541425e+00 | 1.500000e+01 | 98.90%
957.33/957.56 c 958s| 3200 | 2769 | 2953k| 920.7 | 89M| 136 | 95 | 500 | 500 | 500 | 500 | 0 | 0 |2641 | 7.541425e+00 | 1.500000e+01 | 98.90%
976.13/976.39 c 976s| 3300 | 2863 | 3021k| 913.5 | 90M| 137 | 86 | 500 | 500 | 500 | 500 | 0 | 0 |2683 | 7.541989e+00 | 1.500000e+01 | 98.89%
995.62/995.89 c 996s| 3400 | 2953 | 3094k| 908.0 | 90M| 137 | 68 | 500 | 500 | 500 | 500 | 0 | 0 |2728 | 7.544392e+00 | 1.500000e+01 | 98.82%
1015.82/1016.04 c 1016s| 3500 | 3039 | 3162k| 901.6 | 90M| 137 | 53 | 500 | 500 | 500 | 500 | 0 | 0 |2780 | 7.544392e+00 | 1.500000e+01 | 98.82%
1032.32/1032.50 c 1033s| 3600 | 3119 | 3225k| 894.0 | 90M| 137 | 137 | 500 | 500 | 500 | 500 | 0 | 0 |2823 | 7.548106e+00 | 1.500000e+01 | 98.73%
1045.62/1045.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1045.62/1045.80 c 1046s| 3700 | 3199 | 3288k| 886.7 | 90M| 137 | 194 | 500 | 500 | 500 | 500 | 0 | 0 |2844 | 7.552832e+00 | 1.500000e+01 | 98.60%
1061.21/1061.43 c 1061s| 3800 | 3283 | 3357k| 881.7 | 90M| 138 | 63 | 500 | 500 | 500 | 500 | 0 | 0 |2861 | 7.552832e+00 | 1.500000e+01 | 98.60%
1073.91/1074.17 c 1074s| 3900 | 3361 | 3423k| 876.0 | 90M| 141 | 117 | 500 | 500 | 500 | 500 | 0 | 0 |2862 | 7.552832e+00 | 1.500000e+01 | 98.60%
1085.01/1085.24 c 1085s| 4000 | 3433 | 3479k| 868.1 | 90M| 142 | 102 | 500 | 500 | 500 | 500 | 0 | 0 |2864 | 7.556508e+00 | 1.500000e+01 | 98.50%
1096.41/1096.67 c 1097s| 4100 | 3505 | 3537k| 861.0 | 90M| 142 | 38 | 500 | 500 | 500 | 500 | 0 | 0 |2878 | 7.559832e+00 | 1.500000e+01 | 98.42%
1110.21/1110.47 c 1110s| 4200 | 3575 | 3594k| 854.2 | 91M| 142 | 37 | 500 | 500 | 500 | 500 | 0 | 0 |2905 | 7.566660e+00 | 1.500000e+01 | 98.24%
1130.41/1130.67 c 1131s| 4300 | 3653 | 3659k| 849.4 | 91M| 142 | 99 | 500 | 500 | 500 | 500 | 0 | 0 |2942 | 7.566660e+00 | 1.500000e+01 | 98.24%
1144.30/1144.55 c 1145s| 4400 | 3723 | 3716k| 842.9 | 91M| 142 | 50 | 500 | 500 | 500 | 500 | 0 | 0 |2971 | 7.566660e+00 | 1.500000e+01 | 98.24%
1159.90/1160.13 c 1160s| 4500 | 3797 | 3778k| 838.0 | 91M| 142 | 131 | 500 | 500 | 500 | 500 | 0 | 0 |3012 | 7.571704e+00 | 1.500000e+01 | 98.11%
1176.19/1176.42 c 1176s| 4600 | 3873 | 3838k| 832.9 | 91M| 142 | - | 500 | 500 | 500 | 500 | 0 | 0 |3034 | 7.575553e+00 | 1.500000e+01 | 98.01%
1192.39/1192.62 c 1193s| 4700 | 3943 | 3897k| 827.6 | 91M| 142 | 79 | 500 | 500 | 500 | 500 | 0 | 0 |3068 | 7.575553e+00 | 1.500000e+01 | 98.01%
1208.69/1208.99 c 1209s| 4800 | 4015 | 3957k| 823.0 | 91M| 143 | 125 | 500 | 500 | 500 | 500 | 0 | 0 |3106 | 7.575553e+00 | 1.500000e+01 | 98.01%
1225.49/1225.72 c 1226s| 4900 | 4087 | 4016k| 818.3 | 91M| 143 | 78 | 500 | 500 | 500 | 500 | 0 | 0 |3144 | 7.575553e+00 | 1.500000e+01 | 98.01%
1240.99/1241.20 c 1241s| 5000 | 4151 | 4074k| 813.3 | 91M| 143 | - | 500 | 500 | 500 | 500 | 0 | 0 |3175 | 7.576699e+00 | 1.500000e+01 | 97.98%
1253.19/1253.46 c 1253s| 5100 | 4219 | 4128k| 808.0 | 92M| 143 | 69 | 500 | 500 | 500 | 500 | 0 | 0 |3203 | 7.577468e+00 | 1.500000e+01 | 97.96%
1268.19/1268.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1268.19/1268.43 c 1268s| 5200 | 4283 | 4189k| 804.2 | 92M| 143 | 90 | 500 | 500 | 500 | 500 | 0 | 0 |3232 | 7.577468e+00 | 1.500000e+01 | 97.96%
1280.19/1280.41 c 1280s| 5300 | 4369 | 4248k| 800.2 | 92M| 143 | - | 500 | 500 | 500 | 500 | 0 | 0 |3243 | 7.577636e+00 | 1.500000e+01 | 97.95%
1294.18/1294.41 c 1294s| 5400 | 4453 | 4312k| 797.3 | 92M| 144 | 171 | 500 | 500 | 500 | 500 | 0 | 0 |3251 | 7.577636e+00 | 1.500000e+01 | 97.95%
1305.88/1306.11 c 1306s| 5500 | 4537 | 4373k| 793.9 | 92M| 144 | 84 | 500 | 500 | 500 | 500 | 0 | 0 |3254 | 7.577636e+00 | 1.500000e+01 | 97.95%
1316.18/1316.47 c 1316s| 5600 | 4597 | 4427k| 789.4 | 92M| 144 | 101 | 500 | 500 | 500 | 500 | 0 | 0 |3255 | 7.577636e+00 | 1.500000e+01 | 97.95%
1327.17/1327.46 c 1327s| 5700 | 4665 | 4482k| 785.1 | 92M| 144 | 149 | 500 | 500 | 500 | 500 | 0 | 0 |3256 | 7.577636e+00 | 1.500000e+01 | 97.95%
1337.67/1337.99 c 1338s| 5800 | 4745 | 4541k| 781.7 | 92M| 144 | 60 | 500 | 500 | 500 | 500 | 0 | 0 |3257 | 7.580803e+00 | 1.500000e+01 | 97.87%
1348.67/1348.95 c 1349s| 5900 | 4811 | 4597k| 778.0 | 92M| 144 | 57 | 500 | 500 | 500 | 500 | 0 | 0 |3257 | 7.584705e+00 | 1.500000e+01 | 97.77%
1358.67/1358.99 c 1359s| 6000 | 4883 | 4652k| 774.2 | 92M| 144 | 60 | 500 | 500 | 500 | 500 | 0 | 0 |3258 | 7.585068e+00 | 1.500000e+01 | 97.76%
1369.17/1369.45 c 1369s| 6100 | 4951 | 4705k| 770.3 | 93M| 144 | 77 | 500 | 500 | 500 | 500 | 0 | 0 |3259 | 7.585068e+00 | 1.500000e+01 | 97.76%
1380.87/1381.17 c 1381s| 6200 | 5013 | 4763k| 767.1 | 93M| 147 | - | 500 | 500 | 500 | 500 | 0 | 0 |3273 | 7.585068e+00 | 1.500000e+01 | 97.76%
1399.46/1399.70 c 1400s| 6300 | 5087 | 4824k| 764.6 | 93M| 147 | 146 | 500 | 500 | 500 | 500 | 0 | 0 |3305 | 7.590676e+00 | 1.500000e+01 | 97.61%
1414.86/1415.10 c 1415s| 6400 | 5161 | 4884k| 762.0 | 93M| 149 | 61 | 500 | 500 | 500 | 500 | 0 | 0 |3321 | 7.591339e+00 | 1.500000e+01 | 97.59%
1428.16/1428.43 c 1428s| 6500 | 5231 | 4937k| 758.5 | 93M| 149 | - | 500 | 500 | 500 | 500 | 0 | 0 |3352 | 7.591339e+00 | 1.500000e+01 | 97.59%
1442.65/1442.96 c 1443s| 6600 | 5301 | 4991k| 755.1 | 93M| 149 | 54 | 500 | 500 | 500 | 500 | 0 | 0 |3373 | 7.591339e+00 | 1.500000e+01 | 97.59%
1459.25/1459.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1459.25/1459.59 c 1460s| 6700 | 5385 | 5057k| 753.7 | 93M| 149 | 160 | 500 | 500 | 500 | 500 | 0 | 0 |3405 | 7.591339e+00 | 1.500000e+01 | 97.59%
1473.85/1474.17 c 1474s| 6800 | 5463 | 5114k| 751.1 | 93M| 149 | 58 | 500 | 500 | 500 | 500 | 0 | 0 |3435 | 7.592356e+00 | 1.500000e+01 | 97.57%
1487.75/1488.09 c 1488s| 6900 | 5539 | 5172k| 748.6 | 93M| 149 | 169 | 500 | 500 | 500 | 500 | 0 | 0 |3457 | 7.592356e+00 | 1.500000e+01 | 97.57%
1503.65/1503.95 c 1504s| 7000 | 5619 | 5233k| 746.6 | 94M| 149 | 119 | 500 | 500 | 500 | 500 | 0 | 0 |3487 | 7.592356e+00 | 1.500000e+01 | 97.57%
1517.25/1517.50 c 1517s| 7100 | 5689 | 5290k| 744.1 | 94M| 152 | 97 | 500 | 500 | 500 | 500 | 0 | 0 |3519 | 7.592767e+00 | 1.500000e+01 | 97.56%
1528.94/1529.26 c 1529s| 7200 | 5757 | 5341k| 740.8 | 94M| 152 | 186 | 500 | 500 | 500 | 500 | 0 | 0 |3537 | 7.596081e+00 | 1.500000e+01 | 97.47%
1546.54/1546.87 c 1547s| 7300 | 5835 | 5402k| 739.1 | 94M| 152 | 186 | 500 | 500 | 500 | 500 | 0 | 0 |3569 | 7.596081e+00 | 1.500000e+01 | 97.47%
1559.93/1560.25 c 1560s| 7400 | 5905 | 5458k| 736.6 | 94M| 152 | - | 500 | 500 | 500 | 500 | 0 | 0 |3594 | 7.596081e+00 | 1.500000e+01 | 97.47%
1572.23/1572.54 c 1573s| 7500 | 5975 | 5513k| 734.2 | 94M| 152 | 115 | 500 | 500 | 500 | 500 | 0 | 0 |3610 | 7.596081e+00 | 1.500000e+01 | 97.47%
1584.13/1584.49 c 1584s| 7600 | 6057 | 5572k| 732.2 | 94M| 152 | 151 | 500 | 500 | 500 | 500 | 0 | 0 |3616 | 7.596081e+00 | 1.500000e+01 | 97.47%
1595.23/1595.57 c 1596s| 7700 | 6131 | 5626k| 729.7 | 94M| 152 | 168 | 500 | 500 | 500 | 500 | 0 | 0 |3621 | 7.599019e+00 | 1.500000e+01 | 97.39%
1606.22/1606.52 c 1607s| 7800 | 6209 | 5681k| 727.4 | 94M| 152 | 190 | 500 | 500 | 500 | 500 | 0 | 0 |3626 | 7.599019e+00 | 1.500000e+01 | 97.39%
1617.43/1617.75 c 1618s| 7900 | 6291 | 5737k| 725.3 | 95M| 154 | - | 500 | 500 | 500 | 500 | 0 | 0 |3628 | 7.599019e+00 | 1.500000e+01 | 97.39%
1627.93/1628.29 c 1628s| 8000 | 6363 | 5792k| 723.2 | 95M| 154 | 61 | 500 | 500 | 500 | 500 | 0 | 0 |3629 | 7.599689e+00 | 1.500000e+01 | 97.38%
1639.32/1639.67 c 1640s| 8100 | 6445 | 5851k| 721.5 | 95M| 154 | 116 | 500 | 500 | 500 | 500 | 0 | 0 |3629 | 7.599689e+00 | 1.500000e+01 | 97.38%
1649.42/1649.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1649.42/1649.73 c 1650s| 8200 | 6511 | 5900k| 718.7 | 95M| 154 | 55 | 500 | 500 | 500 | 500 | 0 | 0 |3640 | 7.599689e+00 | 1.500000e+01 | 97.38%
1662.32/1662.66 c 1663s| 8300 | 6589 | 5954k| 716.5 | 95M| 155 | - | 500 | 500 | 500 | 500 | 0 | 0 |3665 | 7.600966e+00 | 1.500000e+01 | 97.34%
1673.51/1673.81 c 1674s| 8400 | 6667 | 6008k| 714.4 | 95M| 155 | 192 | 500 | 500 | 500 | 500 | 0 | 0 |3675 | 7.605948e+00 | 1.500000e+01 | 97.21%
1688.02/1688.35 c 1688s| 8500 | 6739 | 6064k| 712.6 | 95M| 155 | - | 500 | 500 | 500 | 500 | 0 | 0 |3696 | 7.605948e+00 | 1.500000e+01 | 97.21%
1703.42/1703.77 c 1704s| 8600 | 6829 | 6124k| 711.3 | 95M| 157 | 94 | 500 | 500 | 500 | 500 | 0 | 0 |3718 | 7.605948e+00 | 1.500000e+01 | 97.21%
1716.91/1717.29 c 1717s| 8700 | 6905 | 6182k| 709.8 | 95M| 157 | - | 500 | 500 | 500 | 500 | 0 | 0 |3749 | 7.606914e+00 | 1.500000e+01 | 97.19%
1730.90/1731.24 c 1731s| 8800 | 6993 | 6248k| 709.2 | 96M| 157 | 31 | 500 | 500 | 500 | 500 | 0 | 0 |3767 | 7.606914e+00 | 1.500000e+01 | 97.19%
1743.11/1743.44 c 1743s| 8900 | 7073 | 6300k| 707.1 | 96M| 157 | 45 | 500 | 500 | 500 | 500 | 0 | 0 |3785 | 7.606914e+00 | 1.500000e+01 | 97.19%
1758.80/1759.15 c 1759s| 9000 | 7151 | 6358k| 705.6 | 96M| 157 | - | 500 | 500 | 500 | 500 | 0 | 0 |3816 | 7.607645e+00 | 1.500000e+01 | 97.17%
1772.60/1772.94 c 1773s| 9100 | 7227 | 6416k| 704.2 | 96M| 157 | 102 | 500 | 500 | 500 | 500 | 0 | 0 |3843 | 7.610514e+00 | 1.500000e+01 | 97.10%
1787.00/1787.39 c 1787s| 9200 | 7323 | 6482k| 703.8 | 96M| 157 | 76 | 500 | 500 | 500 | 500 | 0 | 0 |3865 | 7.610514e+00 | 1.500000e+01 | 97.10%
1796.70/1797.01 c
1796.70/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.01 c Solving Time (sec) : 1797.01
1796.70/1797.01 c Solving Nodes : 9260
1796.70/1797.01 c Primal Bound : +1.50000000000000e+01 (706 solutions)
1796.70/1797.01 c Dual Bound : +7.61051398108231e+00
1796.70/1797.01 c Gap : 97.10 %
1796.70/1797.03 s SATISFIABLE
1796.70/1797.03 v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479
1796.70/1797.03 v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459
1796.70/1797.03 v -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438
1796.70/1797.03 v -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417
1796.70/1797.03 v -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396
1796.70/1797.03 v -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375
1796.70/1797.03 v -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354
1796.70/1797.03 v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334
1796.70/1797.03 v -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313
1796.70/1797.03 v -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292
1796.70/1797.03 v -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271
1796.70/1797.03 v -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250
1796.70/1797.03 v -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229
1796.70/1797.03 v -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209
1796.70/1797.03 v -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188
1796.70/1797.03 v -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 x169 -x168 -x167
1796.70/1797.03 v -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146
1796.70/1797.03 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125
1796.70/1797.03 v -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1796.70/1797.03 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80
1796.70/1797.03 v -x79 -x78 x77 -x76 x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54
1796.70/1797.03 v -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 x32 -x31 -x30 -x29
1796.70/1797.03 v -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 x13 x12 -x11 -x10 -x9 x8 -x7 x6 -x5 x4 -x3 -x2 -x1
1796.70/1797.03 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.03 c Total Time : 1797.01
1796.70/1797.03 c solving : 1797.01
1796.70/1797.03 c presolving : 0.83 (included in solving)
1796.70/1797.03 c reading : 0.12 (included in solving)
1796.70/1797.03 c copying : 0.05 (5 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.70/1797.03 c Original Problem :
1796.70/1797.03 c Problem name : HOME/instance-3692624-1338035737.opb
1796.70/1797.03 c Variables : 37958 (500 binary, 0 integer, 37458 implicit integer, 0 continuous)
1796.70/1797.03 c Constraints : 38458 initial, 38458 maximal
1796.70/1797.03 c Objective sense : minimize
1796.70/1797.03 c Presolved Problem :
1796.70/1797.03 c Problem name : t_HOME/instance-3692624-1338035737.opb
1796.70/1797.03 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.03 c Constraints : 500 initial, 500 maximal
1796.70/1797.03 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.03 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c dualfix : 0.05 0.00 37458 0 0 0 0 0 0 0 0
1796.70/1797.03 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c linear : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c logicor : 0.02 0.01 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c pseudoboolean : 0.07 0.01 0 0 0 0 0 38458 500 0 0
1796.70/1797.03 c root node : - - 0 - - 0 - - - - -
1796.70/1797.03 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.03 c integral : 0 0 0 0 8378 0 711 0 1 144 0 0 16632
1796.70/1797.03 c logicor : 500 500 1 5992 0 0 706 0 0 0 0 0 0
1796.70/1797.03 c countsols : 0 0 0 0 0 0 709 0 0 0 0 0 0
1796.70/1797.03 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.03 c integral : 423.29 0.00 0.00 0.00 423.28 0.00 0.01 0.00
1796.70/1797.03 c logicor : 0.23 0.01 0.00 0.22 0.00 0.00 0.01 0.00
1796.70/1797.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.03 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.03 c rootredcost : 0 0 0 0
1796.70/1797.03 c pseudoobj : 32883 0 0 0
1796.70/1797.03 c vbounds : 0 0 0 0
1796.70/1797.03 c redcost : 10023 0 0 152191
1796.70/1797.03 c probing : 0 0 0 0
1796.70/1797.03 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.03 c rootredcost : 0.02 0.00 0.00 0.02 0.00
1796.70/1797.03 c pseudoobj : 0.05 0.00 0.00 0.05 0.00
1796.70/1797.03 c vbounds : 0.02 0.00 0.00 0.02 0.00
1796.70/1797.03 c redcost : 0.35 0.00 0.00 0.35 0.00
1796.70/1797.03 c probing : 0.00 0.00 0.00 0.00 0.00
1796.70/1797.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.03 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.03 c applied globally : - - - 0 0.0 - - -
1796.70/1797.03 c applied locally : - - - 0 0.0 - - -
1796.70/1797.03 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.03 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1796.70/1797.03 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c impliedbounds : 0.00 0.00 2 0 0 0 0
1796.70/1797.03 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c gomory : 0.04 0.00 2 0 0 0 0
1796.70/1797.03 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c strongcg : 0.04 0.00 2 0 0 0 0
1796.70/1797.03 c cmir : 0.01 0.00 2 0 0 0 0
1796.70/1797.03 c flowcover : 0.02 0.00 2 0 0 0 0
1796.70/1797.03 c clique : 0.00 0.00 1 0 0 0 0
1796.70/1797.03 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c mcf : 0.00 0.00 1 0 0 0 0
1796.70/1797.03 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.03 c problem variables: 0.00 - 0 0
1796.70/1797.03 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.03 c relpscost : 423.25 0.00 8378 1 144 0 0 16632
1796.70/1797.03 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c inference : 0.00 0.00 1 0 0 0 0 2
1796.70/1797.03 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.03 c LP solutions : 0.00 - - 0
1796.70/1797.03 c pseudo solutions : 0.00 - - 0
1796.70/1797.03 c feaspump : 0.00 0.00 0 0
1796.70/1797.03 c oneopt : 0.01 0.00 2 0
1796.70/1797.03 c coefdiving : 13.34 0.00 40 10
1796.70/1797.03 c linesearchdiving : 8.14 0.00 40 0
1796.70/1797.03 c pscostdiving : 20.23 0.00 40 9
1796.70/1797.03 c fracdiving : 11.32 0.00 40 9
1796.70/1797.03 c guideddiving : 11.77 0.00 40 0
1796.70/1797.03 c veclendiving : 6.98 0.00 40 3
1796.70/1797.03 c objpscostdiving : 4.58 0.00 21 7
1796.70/1797.03 c rootsoldiving : 4.37 0.00 21 0
1796.70/1797.03 c smallcard : 0.00 0.00 0 0
1796.70/1797.03 c trivial : 0.05 0.00 2 2
1796.70/1797.03 c shiftandpropagate: 0.00 0.00 0 0
1796.70/1797.03 c simplerounding : 0.13 0.00 8378 59
1796.70/1797.03 c zirounding : 3.82 0.00 8317 599
1796.70/1797.03 c rounding : 0.41 0.00 3898 1
1796.70/1797.03 c shifting : 0.14 0.00 835 2
1796.70/1797.03 c intshifting : 0.00 0.00 0 0
1796.70/1797.03 c twoopt : 0.00 0.00 0 0
1796.70/1797.03 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.03 c indoneopt : 0.02 0.00 0 0
1796.70/1797.03 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.03 c clique : 0.00 0.00 0 0
1796.70/1797.03 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.03 c indrounding : 0.00 0.00 0 0
1796.70/1797.03 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.03 c intdiving : 0.00 0.00 0 0
1796.70/1797.03 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.03 c octane : 0.00 0.00 0 0
1796.70/1797.03 c rens : 56.25 0.00 1 1
1796.70/1797.03 c rins : 0.00 0.00 0 0
1796.70/1797.03 c localbranching : 0.00 0.00 0 0
1796.70/1797.03 c mutation : 0.00 0.00 0 0
1796.70/1797.03 c crossover : 2.07 0.00 4 4
1796.70/1797.03 c dins : 0.00 0.00 0 0
1796.70/1797.03 c vbounds : 0.00 0.00 0 0
1796.70/1797.03 c undercover : 0.00 0.00 0 0
1796.70/1797.03 c subnlp : 0.01 0.00 0 0
1796.70/1797.03 c trysol : 0.02 0.00 0 0
1796.70/1797.03 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.03 c primal LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.03 c dual LP : 1226.83 11007 6081891 652.49 4957.39 0.57 1686
1796.70/1797.03 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.03 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.03 c diving/probing LP: 78.47 16028 435604 27.18 5551.29
1796.70/1797.03 c strong branching : 422.96 3884 1423382 366.47 3365.31
1796.70/1797.03 c (at root node) : - 17 15464 909.65 -
1796.70/1797.03 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.03 c B&B Tree :
1796.70/1797.03 c number of runs : 1
1796.70/1797.03 c nodes : 9260
1796.70/1797.03 c nodes (total) : 9260
1796.70/1797.03 c nodes left : 7375
1796.70/1797.03 c max depth : 157
1796.70/1797.03 c max depth (total): 157
1796.70/1797.03 c backtracks : 647 (7.0%)
1796.70/1797.03 c delayed cutoffs : 0
1796.70/1797.03 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.70/1797.03 c avg switch length: 4.66
1796.70/1797.03 c switching time : 0.33
1796.70/1797.03 c Solution :
1796.70/1797.03 c Solutions found : 706 (7 improvements)
1796.70/1797.03 c First Solution : +5.00000000000000e+02 (in run 1, after 0 nodes, 0.27 seconds, depth 0, found by <trivial>)
1796.70/1797.03 c Primal Bound : +1.50000000000000e+01 (in run 1, after 1730 nodes, 707.00 seconds, depth 20, found by <shifting>)
1796.70/1797.03 c Dual Bound : +7.61051398108231e+00
1796.70/1797.03 c Gap : 97.10 %
1796.70/1797.03 c Root Dual Bound : +6.51802242628133e+00
1796.70/1797.03 c Root Iterations : 8180
1796.80/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-3692624-1338035737/watcher-3692624-1338035737 -o /tmp/evaluation-result-3692624-1338035737/solver-3692624-1338035737 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692624-1338035737.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 1.99 1.99 3/176 2462
/proc/meminfo: memFree=29178760/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=13120 CPUtime=0 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 2022 0 0 0 0 0 0 0 20 0 1 0 269640731 13434880 1976 33554432000 4194304 10219143 140734998386272 140734998251112 5989968 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 3280 1982 427 1471 0 1800 0
[startup+0.098799 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 2462
/proc/meminfo: memFree=29178760/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=49776 CPUtime=0.09 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 11186 0 0 0 8 1 0 0 20 0 1 0 269640731 50970624 11140 33554432000 4194304 10219143 140734998386272 140734998251112 5536259 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 12444 11140 435 1471 0 10964 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 49776
[startup+0.100325 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 2462
/proc/meminfo: memFree=29178760/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=50980 CPUtime=0.09 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 11480 0 0 0 8 1 0 0 20 0 1 0 269640731 52203520 11434 33554432000 4194304 10219143 140734998386272 140734998251112 7589947 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 12745 11434 435 1471 0 11265 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 50980
[startup+0.300295 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 2462
/proc/meminfo: memFree=29178760/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=125484 CPUtime=0.29 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 29381 0 0 0 25 4 0 0 20 0 1 0 269640731 128495616 29142 33554432000 4194304 10219143 140734998386272 140734998251112 9029296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 31371 29142 538 1471 0 29891 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 125484
[startup+0.700286 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 2462
/proc/meminfo: memFree=29178760/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=140828 CPUtime=0.69 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 32750 0 0 0 59 10 0 0 20 0 1 0 269640731 144207872 33022 33554432000 4194304 10219143 140734998386272 140734998382232 5344884 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 35207 33022 556 1471 0 33727 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 140828
[startup+1.50025 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 2463
/proc/meminfo: memFree=29049940/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=142888 CPUtime=1.49 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 35678 0 0 0 123 26 0 0 20 0 1 0 269640731 146317312 33566 33554432000 4194304 10219143 140734998386272 140734998379624 8099069 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 35722 33566 751 1471 0 34242 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 142888
[startup+3.10024 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 2463
/proc/meminfo: memFree=29045840/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=143456 CPUtime=3.08 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 35821 0 0 0 282 26 0 0 20 0 1 0 269640731 146898944 33709 33554432000 4194304 10219143 140734998386272 140734998379528 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 35864 33709 752 1471 0 34384 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 143456
[startup+6.30024 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 2463
/proc/meminfo: memFree=29022460/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=166828 CPUtime=6.29 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 41791 0 0 0 599 30 0 0 20 0 1 0 269640731 170831872 39543 33554432000 4194304 10219143 140734998386272 140734998375800 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 41707 39543 809 1471 0 40227 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 166828
[startup+12.7002 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 2463
/proc/meminfo: memFree=29021516/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=166828 CPUtime=12.69 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 41793 0 0 0 1236 33 0 0 20 0 1 0 269640731 170831872 39545 33554432000 4194304 10219143 140734998386272 140734998376264 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 41707 39545 810 1471 0 40227 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 166828
[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 2463
/proc/meminfo: memFree=29017960/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=166828 CPUtime=25.49 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 41793 0 0 0 2507 42 0 0 20 0 1 0 269640731 170831872 39545 33554432000 4194304 10219143 140734998386272 140734998375960 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 41707 39545 810 1471 0 40227 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 166828
[startup+51.1003 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 2463
/proc/meminfo: memFree=29015976/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=166828 CPUtime=51.08 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 41794 0 0 0 5041 67 0 0 20 0 1 0 269640731 170831872 39546 33554432000 4194304 10219143 140734998386272 140734998376616 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 41707 39546 810 1471 0 40227 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 166828
[startup+102.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 2464
/proc/meminfo: memFree=29032220/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=142508 CPUtime=102.28 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 41899 0 0 0 10138 90 0 0 20 0 1 0 269640731 145928192 33798 33554432000 4194304 10219143 140734998386272 140734998379720 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 35627 33798 828 1471 0 34147 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 142508
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 2502
/proc/meminfo: memFree=29411068/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=143648 CPUtime=162.25 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 42189 0 0 0 16110 115 0 0 20 0 1 0 269640731 147095552 34087 33554432000 4194304 10219143 140734998386272 140734998378920 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 35912 34087 828 1471 0 34432 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 143648
[startup+222.307 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 2502
/proc/meminfo: memFree=29408624/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=143928 CPUtime=222.25 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 47126 0 0 0 22078 147 0 0 20 0 1 0 269640731 147382272 34690 33554432000 4194304 10219143 140734998386272 140734998379576 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 35982 34690 835 1471 0 34502 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 143928
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 2505
/proc/meminfo: memFree=29405524/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=144184 CPUtime=282.24 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 47127 0 0 0 28050 174 0 0 20 0 1 0 269640731 147644416 34691 33554432000 4194304 10219143 140734998386272 140734998379400 8099239 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 36046 34691 835 1471 0 34566 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 144184
[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 2505
/proc/meminfo: memFree=29405532/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=144184 CPUtime=342.22 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 47127 0 0 0 34024 198 0 0 20 0 1 0 269640731 147644416 34691 33554432000 4194304 10219143 140734998386272 140734998379816 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 36046 34691 835 1471 0 34566 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 144184
[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 2506
/proc/meminfo: memFree=29405344/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=144184 CPUtime=402.21 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 47128 0 0 0 39995 226 0 0 20 0 1 0 269640731 147644416 34692 33554432000 4194304 10219143 140734998386272 140734998379912 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 36046 34692 835 1471 0 34566 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 144184
[startup+462.3 s]
/proc/loadavg: 2.06 2.00 2.00 3/177 2506
/proc/meminfo: memFree=29405468/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=144184 CPUtime=462.2 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 47129 0 0 0 45963 257 0 0 20 0 1 0 269640731 147644416 34693 33554432000 4194304 10219143 140734998386272 140734998379528 8098912 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 36046 34693 835 1471 0 34566 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 144184
[startup+522.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/178 2507
/proc/meminfo: memFree=29405584/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=144184 CPUtime=522.19 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 47129 0 0 0 51934 285 0 0 20 0 1 0 269640731 147644416 34693 33554432000 4194304 10219143 140734998386272 140734998379400 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 36046 34693 835 1471 0 34566 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 144184
[startup+582.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 2507
/proc/meminfo: memFree=29405032/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=144520 CPUtime=582.19 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 47274 0 0 0 57904 315 0 0 20 0 1 0 269640731 147988480 34838 33554432000 4194304 10219143 140734998386272 140734998379576 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 36130 34838 835 1471 0 34650 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 144520
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29399320/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=149648 CPUtime=1122.1 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 58198 0 0 0 111549 661 0 0 20 0 1 0 269640731 153239552 36121 33554432000 4194304 10219143 140734998386272 140734998379576 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 37412 36121 836 1471 0 35932 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 149648
[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 2512
/proc/meminfo: memFree=29398452/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=150576 CPUtime=1182.09 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 58437 0 0 0 117513 696 0 0 20 0 1 0 269640731 154189824 36360 33554432000 4194304 10219143 140734998386272 140734998379576 8099063 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 37644 36360 836 1471 0 36164 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 150576
[startup+1242.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/177 2512
/proc/meminfo: memFree=29398080/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=150576 CPUtime=1242.08 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 58440 0 0 0 123479 729 0 0 20 0 1 0 269640731 154189824 36363 33554432000 4194304 10219143 140734998386272 140734998379624 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 37644 36363 836 1471 0 36164 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 150576
[startup+1302.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 2513
/proc/meminfo: memFree=29396964/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=151860 CPUtime=1302.08 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 58733 0 0 0 129442 766 0 0 20 0 1 0 269640731 155504640 36656 33554432000 4194304 10219143 140734998386272 140734998379624 8099077 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 37965 36656 836 1471 0 36485 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 151860
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2513
/proc/meminfo: memFree=29395784/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=153060 CPUtime=1362.07 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 59067 0 0 0 135401 806 0 0 20 0 1 0 269640731 156733440 36988 33554432000 4194304 10219143 140734998386272 140734998382760 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 38265 36988 836 1471 0 36785 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 153060
[startup+1422.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 2513
/proc/meminfo: memFree=29396960/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=153060 CPUtime=1422.06 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 59070 0 0 0 141368 838 0 0 20 0 1 0 269640731 156733440 36991 33554432000 4194304 10219143 140734998386272 140734998379528 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 38265 36991 836 1471 0 36785 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 153060
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 2516
/proc/meminfo: memFree=29396144/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=153284 CPUtime=1482.05 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 64121 0 0 0 147323 882 0 0 20 0 1 0 269640731 156962816 36953 33554432000 4194304 10219143 140734998386272 140734998379576 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 38321 36953 836 1471 0 36841 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 153284
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 2539
/proc/meminfo: memFree=29395276/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=153732 CPUtime=1542.05 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 64316 0 0 0 153282 923 0 0 20 0 1 0 269640731 157421568 37148 33554432000 4194304 10219143 140734998386272 140734998379176 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 38433 37148 836 1471 0 36953 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 153732
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2540
/proc/meminfo: memFree=29395404/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=154844 CPUtime=1602.03 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 64639 0 0 0 159242 961 0 0 20 0 1 0 269640731 158560256 37470 33554432000 4194304 10219143 140734998386272 140734998379528 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 38711 37470 836 1471 0 37231 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 154844
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2540
/proc/meminfo: memFree=29393976/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=154844 CPUtime=1662.02 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 64639 0 0 0 165198 1004 0 0 20 0 1 0 269640731 158560256 37470 33554432000 4194304 10219143 140734998386272 140734998379528 8090924 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 38711 37470 836 1471 0 37231 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 154844
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2540
/proc/meminfo: memFree=29393728/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=155496 CPUtime=1722.01 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 64773 0 0 0 171156 1045 0 0 20 0 1 0 269640731 159227904 37604 33554432000 4194304 10219143 140734998386272 140734998379768 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 38874 37604 836 1471 0 37394 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 155496
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2540
/proc/meminfo: memFree=29392300/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=155848 CPUtime=1782 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 64863 0 0 0 177114 1086 0 0 20 0 1 0 269640731 159588352 37694 33554432000 4194304 10219143 140734998386272 140734998379528 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 38962 37694 836 1471 0 37482 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 155848
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 2540
/proc/meminfo: memFree=29393168/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=155848 CPUtime=1785.3 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 64863 0 0 0 177442 1088 0 0 20 0 1 0 269640731 159588352 37694 33554432000 4194304 10219143 140734998386272 140734998379624 8098719 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 38962 37694 836 1471 0 37482 0
Current children cumulated CPU time (s) 1785.3
Current children cumulated vsize (KiB) 155848
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2540
/proc/meminfo: memFree=29392796/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=156396 CPUtime=1791.71 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 64972 0 0 0 178078 1093 0 0 20 0 1 0 269640731 160149504 37803 33554432000 4194304 10219143 140734998386272 140734998378792 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 39099 37803 836 1471 0 37619 0
Current children cumulated CPU time (s) 1791.71
Current children cumulated vsize (KiB) 156396
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2540
/proc/meminfo: memFree=29392672/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=156396 CPUtime=1794.91 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 64972 0 0 0 178395 1096 0 0 20 0 1 0 269640731 160149504 37803 33554432000 4194304 10219143 140734998386272 140734998379576 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 39099 37803 836 1471 0 37619 0
Current children cumulated CPU time (s) 1794.91
Current children cumulated vsize (KiB) 156396
[startup+1796 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2540
/proc/meminfo: memFree=29392672/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=156396 CPUtime=1795.7 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 64972 0 0 0 178474 1096 0 0 20 0 1 0 269640731 160149504 37803 33554432000 4194304 10219143 140734998386272 140734998379720 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 39099 37803 836 1471 0 37619 0
Current children cumulated CPU time (s) 1795.7
Current children cumulated vsize (KiB) 156396
[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2540
/proc/meminfo: memFree=29392672/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=156396 CPUtime=1796.5 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 64972 0 0 0 178554 1096 0 0 20 0 1 0 269640731 160149504 37803 33554432000 4194304 10219143 140734998386272 140734998379768 8099197 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 39099 37803 836 1471 0 37619 0
Current children cumulated CPU time (s) 1796.5
Current children cumulated vsize (KiB) 156396
[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2540
/proc/meminfo: memFree=29392672/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=156396 CPUtime=1796.7 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 64972 0 0 0 178573 1097 0 0 20 0 1 0 269640731 160149504 37803 33554432000 4194304 10219143 140734998386272 140734998379768 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 39099 37803 836 1471 0 37619 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 156396
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2540
/proc/meminfo: memFree=29392672/32873844 swapFree=6868/6868
[pid=2462] ppid=2460 vsize=134328 CPUtime=1796.8 cores=0,2,4,6
/proc/2462/stat : 2462 (scip-2.1.1.4exp) R 2460 2462 31651 0 -1 4202496 65752 0 0 0 178583 1097 0 0 20 0 1 0 269640731 137551872 32246 33554432000 4194304 10219143 140734998386272 140734998379768 7594375 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2462/statm: 33582 32246 838 1471 0 32102 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 134328
Child status: 0
Real time (s): 1797.14
CPU time (s): 1796.85
CPU user time (s): 1785.86
CPU system time (s): 10.9833
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 171280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.86
system time used= 10.9833
maximum resident set size= 164980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65754
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= 1848
runsolver used 2.71359 second user time and 7.08992 second system time
The end