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-3690998-1338018959.opb>
0.19/0.22 c original problem has 8883 variables (8883 bin, 0 int, 0 impl, 0 cont) and 17459 constraints
0.19/0.22 c problem read in 0.22
0.39/0.42 c presolving:
0.49/0.59 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 306 chg sides, 306 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.59/0.65 c (round 2) 0 del vars, 8568 del conss, 0 add conss, 0 chg bounds, 306 chg sides, 306 chg coeffs, 170 upgd conss, 0 impls, 0 clqs
0.69/0.71 c (round 3) 0 del vars, 8568 del conss, 0 add conss, 0 chg bounds, 306 chg sides, 306 chg coeffs, 323 upgd conss, 1412 impls, 0 clqs
0.69/0.75 c (0.8s) probing: 51/8883 (0.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.69/0.75 c (0.8s) probing aborted: 50/50 successive totally useless probings
0.69/0.78 c presolving (4 rounds):
0.69/0.78 c 0 deleted vars, 8568 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 306 changed sides, 306 changed coefficients
0.69/0.78 c 1412 implications, 0 cliques
0.69/0.78 c presolved problem has 8883 variables (8883 bin, 0 int, 0 impl, 0 cont) and 8891 constraints
0.69/0.78 c 323 constraints of type <knapsack>
0.69/0.78 c 8568 constraints of type <linear>
0.69/0.78 c transformed objective value is always integral (scale: 1)
0.69/0.78 c Presolving Time: 0.51
0.69/0.78 c - non default parameters ----------------------------------------------------------------------
0.69/0.78 c # SCIP version 2.1.1.4
0.69/0.78 c
0.69/0.78 c # maximal time in seconds to run
0.69/0.78 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.78 c limits/time = 1797
0.69/0.78 c
0.69/0.78 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.78 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.78 c limits/memory = 13950
0.69/0.78 c
0.69/0.78 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.69/0.78 c # [type: int, range: [1,2], default: 1]
0.69/0.78 c timing/clocktype = 2
0.69/0.78 c
0.69/0.78 c # belongs reading time to solving time?
0.69/0.78 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.78 c timing/reading = TRUE
0.69/0.78 c
0.69/0.78 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.69/0.78 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.78 c separating/rapidlearning/freq = 0
0.69/0.78 c
0.69/0.78 c -----------------------------------------------------------------------------------------------
0.69/0.78 c start solving
0.69/0.78 c
1.79/1.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.79/1.89 c 1.9s| 1 | 0 | 168 | - | 85M| 0 |1049 |8883 |8906 |8883 |8891 | 0 | 15 | 0 | 1.700000e+01 | -- | Inf
28.98/29.08 c 29.1s| 1 | 0 | 5954 | - | 86M| 0 |1090 |8883 |9531 |8883 |8987 | 96 | 15 | 0 | 1.700000e+01 | -- | Inf
29.78/29.81 c 29.8s| 1 | 0 | 6033 | - | 87M| 0 |1096 |8883 |9531 |8883 |9058 | 167 | 15 | 0 | 1.700000e+01 | -- | Inf
30.79/30.89 c 30.9s| 1 | 0 | 6462 | - | 88M| 0 |1094 |8883 |9531 |8883 |9192 | 301 | 15 | 0 | 1.700000e+01 | -- | Inf
31.98/32.06 c 32.1s| 1 | 0 | 7022 | - | 88M| 0 |1102 |8883 |9531 |8883 |9333 | 442 | 15 | 0 | 1.700000e+01 | -- | Inf
33.38/33.44 c 33.4s| 1 | 0 | 7761 | - | 89M| 0 |1112 |8883 |9531 |8883 |9451 | 560 | 15 | 0 | 1.700000e+01 | -- | Inf
34.78/34.89 c 34.9s| 1 | 0 | 8331 | - | 89M| 0 |1117 |8883 |9531 |8883 |9556 | 665 | 15 | 0 | 1.700000e+01 | -- | Inf
48.28/48.35 c 48.3s| 1 | 2 | 8331 | - | 89M| 0 |1117 |8883 |9531 |8883 |9556 | 665 | 15 | 18 | 1.700000e+01 | -- | Inf
245.34/245.47 c 245s| 100 | 91 |263456 |2577.0 | 91M| 17 |1422 |8883 |9562 |8883 |9056 | 665 | 46 | 264 | 1.800000e+01 | -- | Inf
315.83/315.95 c 316s| 200 | 185 |447416 |2206.5 | 91M| 29 |1598 |8883 |9632 |8883 |9056 | 665 | 116 | 312 | 1.900000e+01 | -- | Inf
387.93/388.08 c 388s| 300 | 277 |656324 |2167.2 | 92M| 37 |1053 |8883 |9709 |8883 |9056 | 665 | 193 | 360 | 1.900000e+01 | -- | Inf
433.81/433.90 c 434s| 400 | 349 |783711 |1943.3 | 93M| 37 | - |8883 |9767 |8883 |9056 | 665 | 251 | 414 | 1.900000e+01 | -- | Inf
473.60/473.78 c 474s| 500 | 439 |886088 |1759.0 | 93M| 47 |1062 |8883 |9815 |8883 |9056 | 665 | 299 | 467 | 1.900000e+01 | -- | Inf
519.90/520.02 c 520s| 600 | 517 | 1001k|1657.5 | 94M| 47 |1226 |8883 |9884 |8883 |9056 | 665 | 368 | 512 | 1.900000e+01 | -- | Inf
560.20/560.37 c 560s| 700 | 609 | 1120k|1591.5 | 94M| 47 |1417 |8883 |9923 |8883 |9056 | 665 | 407 | 538 | 1.900000e+01 | -- | Inf
820.16/820.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
820.16/820.35 c 820s| 800 | 693 | 2358k|2941.0 | 96M| 47 |1204 |8883 | 10k|8883 |9056 | 665 |1296 | 598 | 1.900000e+01 | -- | Inf
865.65/865.81 c 866s| 900 | 779 | 2473k|2742.6 | 96M| 47 |1624 |8883 | 10k|8883 |9056 | 665 |1320 | 643 | 1.900000e+01 | -- | Inf
885.64/885.85 c 886s| 1000 | 857 | 2527k|2522.2 | 96M| 47 |1246 |8883 | 10k|8883 |9056 | 665 |1342 | 678 | 1.900000e+01 | -- | Inf
906.15/906.31 c 906s| 1100 | 929 | 2569k|2330.6 | 97M| 47 |1146 |8883 | 10k|8883 |9056 | 665 |1365 | 730 | 1.900000e+01 | -- | Inf
918.34/918.54 c 919s| 1200 | 999 | 2596k|2158.8 | 97M| 47 |1594 |8883 | 10k|8883 |9056 | 665 |1406 | 750 | 1.900000e+01 | -- | Inf
933.64/933.89 c 934s| 1300 | 1082 | 2640k|2026.2 | 97M| 53 | - |8883 | 10k|8883 |9056 | 665 |1426 | 775 | 1.900000e+01 | -- | Inf
944.44/944.62 c 945s| 1400 | 1140 | 2664k|1898.7 | 98M| 53 | - |8883 | 10k|8883 |9056 | 665 |1464 | 807 | 1.900000e+01 | -- | Inf
965.93/966.19 c 966s| 1500 | 1232 | 2725k|1812.4 | 99M| 64 |1215 |8883 | 11k|8883 |9056 | 665 |1514 | 837 | 1.900000e+01 | -- | Inf
979.33/979.57 c 980s| 1600 | 1302 | 2751k|1715.4 | 99M| 64 |1235 |8883 | 11k|8883 |9056 | 665 |1539 | 867 | 1.900000e+01 | -- | Inf
987.64/987.89 c 988s| 1700 | 1358 | 2765k|1623.0 | 100M| 64 |1450 |8883 | 11k|8883 |9056 | 665 |1584 | 881 | 1.900000e+01 | -- | Inf
1002.03/1002.25 c 1002s| 1800 | 1424 | 2797k|1550.2 | 100M| 64 |1177 |8883 | 11k|8883 |9056 | 665 |1625 | 910 | 1.900000e+01 | -- | Inf
1013.33/1013.50 c 1013s| 1900 | 1460 | 2819k|1480.2 | 100M| 64 |1008 |8883 | 11k|8883 |9056 | 665 |1702 | 925 | 1.900000e+01 | -- | Inf
1018.53/1018.70 c 1019s| 2000 | 1478 | 2831k|1412.1 | 100M| 64 |1358 |8883 | 11k|8883 |9056 | 665 |1811 | 925 | 1.900000e+01 | -- | Inf
1045.22/1045.47 c 1045s| 2100 | 1520 | 2883k|1370.0 | 100M| 64 |1399 |8883 | 11k|8883 |9056 | 665 |1893 | 953 | 1.900000e+01 | -- | Inf
1063.12/1063.39 c 1063s| 2200 | 1546 | 2923k|1325.8 | 101M| 64 |1204 |8883 | 11k|8883 |9056 | 665 |1973 | 967 | 1.900000e+01 | -- | Inf
1075.02/1075.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1075.02/1075.21 c 1075s| 2300 | 1586 | 2945k|1277.6 | 101M| 64 |1210 |8883 | 11k|8883 |9056 | 665 |2044 | 997 | 1.900000e+01 | -- | Inf
1097.31/1097.54 c 1098s| 2400 | 1644 | 3013k|1252.8 | 101M| 64 |1208 |8883 | 11k|8883 |9056 | 665 |2151 |1042 | 1.900000e+01 | -- | Inf
1130.21/1130.45 c 1130s| 2500 | 1697 | 3071k|1225.6 | 102M| 64 |1263 |8883 | 11k|8883 |9056 | 665 |2204 |1108 | 1.900000e+01 | -- | Inf
1152.31/1152.50 c 1153s| 2600 | 1787 | 3131k|1201.9 | 102M| 64 |1350 |8883 | 11k|8883 |9056 | 665 |2224 |1138 | 1.900000e+01 | -- | Inf
1167.80/1168.10 c 1168s| 2700 | 1857 | 3162k|1168.5 | 102M| 64 |1760 |8883 | 11k|8883 |9056 | 665 |2246 |1167 | 1.900000e+01 | -- | Inf
1201.20/1201.48 c 1201s| 2800 | 1941 | 3230k|1151.1 | 103M| 64 |1837 |8883 | 11k|8883 |9056 | 665 |2290 |1211 | 1.900000e+01 | -- | Inf
1216.50/1216.75 c 1217s| 2900 | 2023 | 3265k|1123.6 | 103M| 64 | - |8883 | 11k|8883 |9056 | 665 |2313 |1241 | 1.900000e+01 | -- | Inf
1232.39/1232.69 c 1233s| 3000 | 2091 | 3302k|1098.4 | 104M| 64 |1266 |8883 | 11k|8883 |9056 | 665 |2355 |1269 | 1.900000e+01 | -- | Inf
1250.89/1251.12 c 1251s| 3100 | 2167 | 3340k|1075.2 | 104M| 64 |1209 |8883 | 11k|8883 |9056 | 665 |2414 |1311 | 1.900000e+01 | -- | Inf
1266.79/1267.07 c 1267s| 3200 | 2249 | 3376k|1052.8 | 104M| 64 |1272 |8883 | 11k|8883 |9056 | 665 |2432 |1340 | 1.900000e+01 | -- | Inf
1297.69/1297.96 c 1298s| 3300 | 2329 | 3453k|1044.4 | 105M| 64 |1712 |8883 | 11k|8883 |9056 | 665 |2470 |1391 | 1.900000e+01 | -- | Inf
1316.68/1316.98 c 1317s| 3400 | 2411 | 3492k|1025.1 | 105M| 64 |1446 |8883 | 12k|8883 |9056 | 665 |2523 |1434 | 1.900000e+01 | -- | Inf
1339.88/1340.16 c 1340s| 3500 | 2477 | 3560k|1015.1 | 106M| 64 |1466 |8883 | 12k|8883 |9056 | 665 |2570 |1462 | 1.950000e+01 | -- | Inf
1350.98/1351.29 c 1351s| 3600 | 2535 | 3577k| 991.6 | 106M| 64 |1426 |8883 | 12k|8883 |9056 | 665 |2617 |1490 | 1.950000e+01 | -- | Inf
1362.98/1363.22 c 1363s| 3700 | 2605 | 3606k| 972.7 | 106M| 64 | - |8883 | 12k|8883 |9056 | 665 |2650 |1515 | 1.950000e+01 | -- | Inf
1486.06/1486.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1486.06/1486.31 c 1486s| 3800 | 2677 | 4131k|1085.3 | 107M| 64 | - |8883 | 12k|8883 |9056 | 665 |2979 |1557 | 2.000000e+01 | -- | Inf
1507.25/1507.50 c 1507s| 3900 | 2749 | 4175k|1068.8 | 107M| 64 |1465 |8883 | 12k|8883 |9056 | 665 |3019 |1586 | 2.000000e+01 | -- | Inf
1524.75/1525.00 c 1525s| 4000 | 2835 | 4216k|1052.4 | 108M| 64 |1255 |8883 | 12k|8883 |9056 | 665 |3038 |1614 | 2.000000e+01 | -- | Inf
1538.85/1539.15 c 1539s| 4100 | 2909 | 4246k|1033.9 | 108M| 64 |1215 |8883 | 12k|8883 |9056 | 665 |3072 |1642 | 2.000000e+01 | -- | Inf
1566.15/1566.42 c 1566s| 4200 | 2991 | 4303k|1023.0 | 108M| 64 |1227 |8883 | 12k|8883 |9056 | 665 |3102 |1672 | 2.000000e+01 | -- | Inf
1581.24/1581.58 c 1582s| 4300 | 3057 | 4350k|1010.1 | 109M| 64 | - |8883 | 12k|8883 |9056 | 665 |3153 |1695 | 2.000000e+01 | -- | Inf
1593.84/1594.10 c 1594s| 4400 | 3137 | 4379k| 993.6 | 109M| 64 | - |8883 | 12k|8883 |9056 | 665 |3176 |1709 | 2.000000e+01 | -- | Inf
1614.74/1615.04 c 1615s| 4500 | 3213 | 4421k| 981.0 | 109M| 64 |1438 |8883 | 12k|8883 |9056 | 665 |3200 |1737 | 2.000000e+01 | -- | Inf
1624.03/1624.33 c 1624s| 4600 | 3289 | 4439k| 963.5 | 110M| 64 |1452 |8883 | 12k|8883 |9056 | 665 |3244 |1756 | 2.000000e+01 | -- | Inf
1638.64/1638.96 c 1639s| 4700 | 3347 | 4468k| 949.1 | 110M| 64 |1534 |8883 | 12k|8883 |9056 | 665 |3301 |1798 | 2.000000e+01 | -- | Inf
1655.83/1656.12 c 1656s| 4800 | 3411 | 4509k| 937.9 | 111M| 64 |1685 |8883 | 12k|8883 |9056 | 665 |3353 |1837 | 2.000000e+01 | -- | Inf
1675.73/1676.09 c 1676s| 4900 | 3485 | 4566k| 930.5 | 111M| 64 |1091 |8883 | 12k|8883 |9056 | 665 |3403 |1865 | 2.000000e+01 | -- | Inf
1692.22/1692.56 c 1693s| 5000 | 3557 | 4587k| 916.0 | 111M| 64 | - |8883 | 12k|8883 |9056 | 665 |3430 |1905 | 2.000000e+01 | -- | Inf
1704.52/1704.84 c 1705s| 5100 | 3625 | 4612k| 902.9 | 112M| 64 |1087 |8883 | 12k|8883 |9056 | 665 |3461 |1930 | 2.000000e+01 | -- | Inf
1719.62/1719.95 c 1720s| 5200 | 3681 | 4643k| 891.5 | 112M| 64 |1190 |8883 | 13k|8883 |9056 | 665 |3520 |1965 | 2.000000e+01 | -- | Inf
1737.62/1737.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1737.62/1737.97 c 1738s| 5300 | 3752 | 4688k| 883.1 | 112M| 64 | - |8883 | 13k|8883 |9056 | 665 |3564 |1993 | 2.000000e+01 | -- | Inf
1764.42/1764.76 c 1765s| 5400 | 3817 | 4753k| 879.0 | 113M| 64 | - |8883 | 13k|8883 |9056 | 665 |3620 |2035 | 2.000000e+01 | -- | Inf
1776.12/1776.41 c 1776s| 5500 | 3887 | 4775k| 866.9 | 113M| 64 |1066 |8883 | 13k|8883 |9056 | 665 |3648 |2063 | 2.000000e+01 | -- | Inf
1796.71/1797.02 c
1796.71/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.02 c Solving Time (sec) : 1797.02
1796.71/1797.02 c Solving Nodes : 5570
1796.71/1797.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.71/1797.02 c Dual Bound : +2.00000000000000e+01
1796.71/1797.02 c Gap : infinite
1796.71/1797.02 s UNKNOWN
1796.71/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.02 c Total Time : 1797.02
1796.71/1797.02 c solving : 1797.02
1796.71/1797.02 c presolving : 0.51 (included in solving)
1796.71/1797.02 c reading : 0.22 (included in solving)
1796.71/1797.02 c copying : 0.13 (2 #copies) (minimal 0.06, maximal 0.06, average 0.06)
1796.71/1797.02 c Original Problem :
1796.71/1797.02 c Problem name : HOME/instance-3690998-1338018959.opb
1796.71/1797.02 c Variables : 8883 (8883 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.02 c Constraints : 17459 initial, 17459 maximal
1796.71/1797.02 c Objective sense : minimize
1796.71/1797.02 c Presolved Problem :
1796.71/1797.02 c Problem name : t_HOME/instance-3690998-1338018959.opb
1796.71/1797.02 c Variables : 8883 (8883 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.02 c Constraints : 8891 initial, 13100 maximal
1796.71/1797.02 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.71/1797.02 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c components : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c probing : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c knapsack : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c linear : 0.26 0.00 0 0 0 0 0 8568 0 306 306
1796.71/1797.02 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c root node : - - 0 - - 0 - - - - -
1796.71/1797.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.71/1797.02 c integral : 0 0 0 0 4830 0 4 0 3 238 0 0 9518
1796.71/1797.02 c knapsack : 323 323 6 25303 0 1 3 18328 39 4543 1120 0 0
1796.71/1797.02 c linear : 8568+ 9193 7 25264 0 0 0 2966 72 34415 0 0 0
1796.71/1797.02 c logicor : 0+ 3584 6 6340 0 0 0 1762 2 2631 8 0 0
1796.71/1797.02 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.71/1797.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.71/1797.02 c integral : 460.06 0.00 0.00 0.00 460.06 0.00 0.00 0.00
1796.71/1797.02 c knapsack : 1.52 0.00 0.02 1.48 0.00 0.00 0.00 0.02
1796.71/1797.02 c linear : 7.23 0.00 0.01 7.22 0.00 0.00 0.00 0.01
1796.71/1797.02 c logicor : 0.17 0.00 0.00 0.17 0.00 0.00 0.00 0.00
1796.71/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.71/1797.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.71/1797.02 c rootredcost : 0 0 0 0
1796.71/1797.02 c pseudoobj : 30033 0 0 0
1796.71/1797.02 c vbounds : 0 0 0 0
1796.71/1797.02 c redcost : 4839 0 0 3
1796.71/1797.02 c probing : 0 0 0 0
1796.71/1797.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.71/1797.02 c rootredcost : 0.01 0.00 0.00 0.01 0.00
1796.71/1797.02 c pseudoobj : 0.05 0.00 0.00 0.05 0.00
1796.71/1797.02 c vbounds : 0.01 0.00 0.00 0.01 0.00
1796.71/1797.02 c redcost : 0.72 0.00 0.00 0.72 0.00
1796.71/1797.02 c probing : 0.03 0.00 0.03 0.00 0.00
1796.71/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.71/1797.02 c propagation : 0.01 113 113 546 31.1 5 17.2 -
1796.71/1797.02 c infeasible LP : 1.66 1794 1794 3582 16.3 201 9.6 0
1796.71/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.02 c applied globally : - - - 3659 15.7 - - -
1796.71/1797.02 c applied locally : - - - 0 0.0 - - -
1796.71/1797.02 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.71/1797.02 c cut pool : 0.00 5 - - 828 - (maximal pool size: 4111)
1796.71/1797.02 c closecuts : 0.00 0.00 0 0 0 0 0
1796.71/1797.02 c impliedbounds : 0.00 0.00 6 0 0 61 0
1796.71/1797.02 c intobj : 0.00 0.00 0 0 0 0 0
1796.71/1797.02 c gomory : 0.20 0.00 6 0 0 47 0
1796.71/1797.02 c cgmip : 0.00 0.00 0 0 0 0 0
1796.71/1797.02 c strongcg : 0.19 0.00 6 0 0 38 0
1796.71/1797.02 c cmir : 2.09 0.00 6 0 0 3000 0
1796.71/1797.02 c flowcover : 1.29 0.00 6 0 0 1200 0
1796.71/1797.02 c clique : 0.00 0.00 1 0 0 0 0
1796.71/1797.02 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.71/1797.02 c mcf : 0.00 0.00 1 0 0 0 0
1796.71/1797.02 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.71/1797.02 c rapidlearning : 24.21 0.00 1 0 0 0 625
1796.71/1797.02 c Pricers : ExecTime SetupTime Calls Vars
1796.71/1797.02 c problem variables: 0.00 - 0 0
1796.71/1797.02 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.71/1797.02 c relpscost : 460.05 0.00 4830 3 238 0 0 9518
1796.71/1797.02 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.02 c inference : 0.00 0.00 1 0 0 0 0 2
1796.71/1797.02 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.02 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.02 c random : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.02 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.71/1797.02 c LP solutions : 0.00 - - 0
1796.71/1797.02 c pseudo solutions : 0.00 - - 0
1796.71/1797.02 c oneopt : 0.00 0.00 0 0
1796.71/1797.02 c crossover : 0.00 0.00 0 0
1796.71/1797.02 c guideddiving : 0.00 0.00 0 0
1796.71/1797.02 c intshifting : 0.00 0.00 0 0
1796.71/1797.02 c coefdiving : 222.01 0.00 5 0
1796.71/1797.02 c linesearchdiving : 55.81 0.00 25 0
1796.71/1797.02 c veclendiving : 37.20 0.00 27 0
1796.71/1797.02 c smallcard : 0.00 0.00 0 0
1796.71/1797.02 c trivial : 0.01 0.00 2 0
1796.71/1797.02 c shiftandpropagate: 0.91 0.00 1 0
1796.71/1797.02 c simplerounding : 0.00 0.00 0 0
1796.71/1797.02 c zirounding : 1.20 0.00 1000 0
1796.71/1797.02 c rounding : 1.85 0.00 940 0
1796.71/1797.02 c shifting : 8.37 0.00 261 0
1796.71/1797.02 c twoopt : 0.00 0.00 0 0
1796.71/1797.02 c indtwoopt : 0.00 0.00 0 0
1796.71/1797.02 c indoneopt : 0.00 0.00 0 0
1796.71/1797.02 c fixandinfer : 0.00 0.00 0 0
1796.71/1797.02 c feaspump : 44.30 0.00 12 0
1796.71/1797.02 c clique : 0.00 0.00 0 0
1796.71/1797.02 c indcoefdiving : 0.00 0.00 0 0
1796.71/1797.02 c indrounding : 0.00 0.00 0 0
1796.71/1797.02 c pscostdiving : 39.59 0.00 19 0
1796.71/1797.02 c nlpdiving : 0.00 0.00 0 0
1796.71/1797.02 c fracdiving : 115.32 0.00 8 0
1796.71/1797.02 c intdiving : 0.00 0.00 0 0
1796.71/1797.02 c actconsdiving : 0.00 0.00 0 0
1796.71/1797.02 c objpscostdiving : 33.02 0.00 4 0
1796.71/1797.02 c rootsoldiving : 20.66 0.00 9 0
1796.71/1797.02 c octane : 0.00 0.00 0 0
1796.71/1797.02 c rens : 0.24 0.00 1 0
1796.71/1797.02 c rins : 0.00 0.00 0 0
1796.71/1797.02 c localbranching : 0.00 0.00 0 0
1796.71/1797.02 c mutation : 0.00 0.00 0 0
1796.71/1797.02 c dins : 0.00 0.00 0 0
1796.71/1797.02 c vbounds : 0.00 0.00 0 0
1796.71/1797.02 c undercover : 0.00 0.00 0 0
1796.71/1797.02 c subnlp : 0.00 0.00 0 0
1796.71/1797.02 c trysol : 0.00 0.00 0 0
1796.71/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.71/1797.02 c primal LP : 0.11 1 0 0.00 0.00 0.11 1
1796.71/1797.02 c dual LP : 707.90 5657 2267501 405.35 3203.12 0.90 63
1796.71/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1796.71/1797.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.71/1797.02 c diving/probing LP: 554.01 4133 2556028 618.44 4613.65
1796.71/1797.02 c strong branching : 458.36 2104 1255990 596.95 2740.20
1796.71/1797.02 c (at root node) : - 18 12300 683.33 -
1796.71/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1796.71/1797.02 c B&B Tree :
1796.71/1797.02 c number of runs : 1
1796.71/1797.02 c nodes : 5570
1796.71/1797.02 c nodes (total) : 5570
1796.71/1797.02 c nodes left : 3947
1796.71/1797.02 c max depth : 64
1796.71/1797.02 c max depth (total): 64
1796.71/1797.02 c backtracks : 449 (8.1%)
1796.71/1797.02 c delayed cutoffs : 4
1796.71/1797.02 c repropagations : 2685 (3297 domain reductions, 1 cutoffs)
1796.71/1797.02 c avg switch length: 4.33
1796.71/1797.02 c switching time : 3.69
1796.71/1797.02 c Solution :
1796.71/1797.02 c Solutions found : 0 (0 improvements)
1796.71/1797.02 c Primal Bound : -
1796.71/1797.02 c Dual Bound : +2.00000000000000e+01
1796.71/1797.02 c Gap : infinite
1796.71/1797.02 c Root Dual Bound : +1.70000000000000e+01
1796.71/1797.02 c Root Iterations : 8331
1796.81/1797.15 c Time complete: 1796.86.
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-3690998-1338018959/watcher-3690998-1338018959 -o /tmp/evaluation-result-3690998-1338018959/solver-3690998-1338018959 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690998-1338018959.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: 2.01 2.01 1.75 3/176 660
/proc/meminfo: memFree=28753456/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=8132 CPUtime=0 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 772 0 0 0 0 0 0 0 20 0 1 0 268024452 8327168 727 33554432000 4194304 10173063 140733353220496 140734404634088 8846909 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 2033 737 392 1460 0 564 0
[startup+0.025916 s]
/proc/loadavg: 2.01 2.01 1.75 3/176 660
/proc/meminfo: memFree=28753456/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=12448 CPUtime=0.01 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 1855 0 0 0 1 0 0 0 20 0 1 0 268024452 12746752 1810 33554432000 4194304 10173063 140733353220496 140734404634088 8985008 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 3112 1810 416 1460 0 1643 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12448
[startup+0.100269 s]
/proc/loadavg: 2.01 2.01 1.75 3/176 660
/proc/meminfo: memFree=28753456/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=20364 CPUtime=0.08 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 3838 0 0 0 8 0 0 0 20 0 1 0 268024452 20852736 3793 33554432000 4194304 10173063 140733353220496 140734404634088 8831440 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 5091 3793 416 1460 0 3622 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 20364
[startup+0.300258 s]
/proc/loadavg: 2.01 2.01 1.75 3/176 660
/proc/meminfo: memFree=28753456/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=81312 CPUtime=0.29 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 18757 0 0 0 26 3 0 0 20 0 1 0 268024452 83263488 18712 33554432000 4194304 10173063 140733353220496 140733353085672 7545739 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 20328 18712 514 1460 0 18859 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 81312
[startup+0.700266 s]
/proc/loadavg: 2.01 2.01 1.75 3/176 660
/proc/meminfo: memFree=28753456/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=168376 CPUtime=0.69 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 44407 0 0 0 62 7 0 0 20 0 1 0 268024452 172417024 39073 33554432000 4194304 10173063 140733353220496 140733353085672 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 42094 39073 579 1460 0 40625 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 168376
[startup+1.50025 s]
/proc/loadavg: 2.01 2.01 1.75 3/177 661
/proc/meminfo: memFree=28559516/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=218868 CPUtime=1.49 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 57120 0 0 0 137 12 0 0 20 0 1 0 268024452 224120832 50423 33554432000 4194304 10173063 140733353220496 140733353216376 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 54717 50423 684 1460 0 53248 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 218868
[startup+3.10023 s]
/proc/loadavg: 2.01 2.01 1.75 3/177 661
/proc/meminfo: memFree=28528988/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=239712 CPUtime=3.09 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 59789 0 0 0 296 13 0 0 20 0 1 0 268024452 245465088 56710 33554432000 4194304 10173063 140733353220496 140733353211752 8046931 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 59928 56710 789 1460 0 58459 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 239712
[startup+6.30027 s]
/proc/loadavg: 2.01 2.01 1.75 3/177 661
/proc/meminfo: memFree=28448388/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=324368 CPUtime=6.29 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 80153 0 0 0 611 18 0 0 20 0 1 0 268024452 332152832 77074 33554432000 4194304 10173063 140733353220496 140733353214536 5749448 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 81092 77074 827 1460 0 79623 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 324368
[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 1.75 3/177 661
/proc/meminfo: memFree=28443568/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=327928 CPUtime=12.69 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 81023 0 0 0 1242 27 0 0 20 0 1 0 268024452 335798272 77944 33554432000 4194304 10173063 140733353220496 140733353214536 4435967 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 81982 77944 827 1460 0 80513 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 327928
[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 1.75 3/177 661
/proc/meminfo: memFree=28436248/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=335732 CPUtime=25.49 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 82957 0 0 0 2503 46 0 0 20 0 1 0 268024452 343789568 79880 33554432000 4194304 10173063 140733353220496 140733353214536 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 83933 79880 827 1460 0 82464 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 335732
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.76 3/177 661
/proc/meminfo: memFree=28426296/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=339288 CPUtime=51.08 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 92842 0 0 0 5053 55 0 0 20 0 1 0 268024452 347430912 82182 33554432000 4194304 10173063 140733353220496 140733353213016 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 84822 82182 860 1460 0 83353 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 339288
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.77 3/177 661
/proc/meminfo: memFree=28422504/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=339288 CPUtime=102.28 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 92847 0 0 0 10162 66 0 0 20 0 1 0 268024452 347430912 82664 33554432000 4194304 10173063 140733353220496 140733353213208 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 84822 82664 860 1460 0 83353 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 339288
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/177 662
/proc/meminfo: memFree=28414056/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=339288 CPUtime=162.25 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 92853 0 0 0 16142 83 0 0 20 0 1 0 268024452 347430912 83660 33554432000 4194304 10173063 140733353220496 140733353213480 7887641 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 84822 83660 865 1460 0 83353 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 339288
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/177 662
/proc/meminfo: memFree=28408704/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=339288 CPUtime=222.25 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 92853 0 0 0 22127 98 0 0 20 0 1 0 268024452 347430912 84078 33554432000 4194304 10173063 140733353220496 140733353213608 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 84822 84078 865 1460 0 83353 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 339288
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/178 665
/proc/meminfo: memFree=28402792/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=339288 CPUtime=282.24 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 92853 0 0 0 28113 111 0 0 20 0 1 0 268024452 347430912 84078 33554432000 4194304 10173063 140733353220496 140733353213016 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 84822 84078 865 1460 0 83353 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 339288
[startup+342.3 s]
/proc/loadavg: 2.03 2.01 1.82 3/178 688
/proc/meminfo: memFree=28395476/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=339288 CPUtime=342.23 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 92853 0 0 0 34088 135 0 0 20 0 1 0 268024452 347430912 84078 33554432000 4194304 10173063 140733353220496 140733353212936 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 84822 84078 865 1460 0 83353 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 339288
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 1.83 3/177 688
/proc/meminfo: memFree=28389656/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=339288 CPUtime=402.22 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 92853 0 0 0 40067 155 0 0 20 0 1 0 268024452 347430912 84078 33554432000 4194304 10173063 140733353220496 140733353213752 8047293 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 84822 84078 865 1460 0 83353 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 339288
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/177 689
/proc/meminfo: memFree=28386060/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=339288 CPUtime=462.21 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 92854 0 0 0 46043 178 0 0 20 0 1 0 268024452 347430912 84079 33554432000 4194304 10173063 140733353220496 140733353212728 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 84822 84079 865 1460 0 83353 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 339288
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/177 689
/proc/meminfo: memFree=28379092/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=339288 CPUtime=522.2 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 92854 0 0 0 52021 199 0 0 20 0 1 0 268024452 347430912 84079 33554432000 4194304 10173063 140733353220496 140733353214168 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 84822 84079 865 1460 0 83353 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 339288
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/177 689
/proc/meminfo: memFree=28376984/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=339288 CPUtime=582.19 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 92854 0 0 0 58000 219 0 0 20 0 1 0 268024452 347430912 84079 33554432000 4194304 10173063 140733353220496 140733353212680 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 84822 84079 865 1460 0 83353 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 339288
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28353148/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=339288 CPUtime=1062.12 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 92854 0 0 0 105808 404 0 0 20 0 1 0 268024452 347430912 84079 33554432000 4194304 10173063 140733353220496 140733353213016 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 84822 84079 865 1460 0 83353 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 339288
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 694
/proc/meminfo: memFree=28350668/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=339288 CPUtime=1122.11 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 92854 0 0 0 111790 421 0 0 20 0 1 0 268024452 347430912 84079 33554432000 4194304 10173063 140733353220496 140733353213304 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 84822 84079 865 1460 0 83353 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 339288
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 694
/proc/meminfo: memFree=28351040/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=339288 CPUtime=1182.1 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 92855 0 0 0 117771 439 0 0 20 0 1 0 268024452 347430912 84080 33554432000 4194304 10173063 140733353220496 140733353213016 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 84822 84080 866 1460 0 83353 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 339288
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 694
/proc/meminfo: memFree=28347072/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=339288 CPUtime=1242.09 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 92855 0 0 0 123751 458 0 0 20 0 1 0 268024452 347430912 84080 33554432000 4194304 10173063 140733353220496 140733353213016 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 84822 84080 866 1460 0 83353 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 339288
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 694
/proc/meminfo: memFree=28341740/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=339288 CPUtime=1302.09 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 92855 0 0 0 129732 477 0 0 20 0 1 0 268024452 347430912 84080 33554432000 4194304 10173063 140733353220496 140733353213752 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 84822 84080 866 1460 0 83353 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 339288
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/177 695
/proc/meminfo: memFree=28340984/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=339288 CPUtime=1362.07 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 92855 0 0 0 135711 496 0 0 20 0 1 0 268024452 347430912 84080 33554432000 4194304 10173063 140733353220496 140733353213432 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 84822 84080 866 1460 0 83353 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 339288
[startup+1422.31 s]
/proc/loadavg: 2.04 2.02 1.92 3/177 695
/proc/meminfo: memFree=28337512/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=339288 CPUtime=1422.07 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 92855 0 0 0 141681 526 0 0 20 0 1 0 268024452 347430912 84080 33554432000 4194304 10173063 140733353220496 140733353212680 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 84822 84080 866 1460 0 83353 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 339288
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 1.92 3/178 698
/proc/meminfo: memFree=28335520/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=339288 CPUtime=1482.06 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 92855 0 0 0 147654 552 0 0 20 0 1 0 268024452 347430912 84080 33554432000 4194304 10173063 140733353220496 140733353213016 7971279 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 84822 84080 866 1460 0 83353 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 339288
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/177 698
/proc/meminfo: memFree=28335280/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=339288 CPUtime=1542.04 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 92855 0 0 0 153635 569 0 0 20 0 1 0 268024452 347430912 84080 33554432000 4194304 10173063 140733353220496 140733353213208 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 84822 84080 866 1460 0 83353 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 339288
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/177 737
/proc/meminfo: memFree=28441968/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=339288 CPUtime=1602.04 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 92855 0 0 0 159616 588 0 0 20 0 1 0 268024452 347430912 84080 33554432000 4194304 10173063 140733353220496 140733353213016 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 84822 84080 866 1460 0 83353 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 339288
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 738
/proc/meminfo: memFree=28420640/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=339288 CPUtime=1662.03 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 92855 0 0 0 165596 607 0 0 20 0 1 0 268024452 347430912 84080 33554432000 4194304 10173063 140733353220496 140733353214136 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 84822 84080 866 1460 0 83353 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 339288
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 738
/proc/meminfo: memFree=28393856/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=339288 CPUtime=1722.02 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 92855 0 0 0 171578 624 0 0 20 0 1 0 268024452 347430912 84080 33554432000 4194304 10173063 140733353220496 140733353213016 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 84822 84080 866 1460 0 83353 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 339288
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/176 738
/proc/meminfo: memFree=28372348/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=339288 CPUtime=1782.01 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 92855 0 0 0 177561 640 0 0 20 0 1 0 268024452 347430912 84080 33554432000 4194304 10173063 140733353220496 140733353213016 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 84822 84080 866 1460 0 83353 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 339288
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.03 2.01 1.93 3/176 738
/proc/meminfo: memFree=28371356/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=339288 CPUtime=1785.21 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 92855 0 0 0 177881 640 0 0 20 0 1 0 268024452 347430912 84080 33554432000 4194304 10173063 140733353220496 140733353214328 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 84822 84080 866 1460 0 83353 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 339288
[startup+1791.91 s]
/proc/loadavg: 2.03 2.01 1.93 3/176 738
/proc/meminfo: memFree=28368364/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=339288 CPUtime=1791.61 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 92855 0 0 0 178519 642 0 0 20 0 1 0 268024452 347430912 84080 33554432000 4194304 10173063 140733353220496 140733353211928 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 84822 84080 866 1460 0 83353 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 339288
[startup+1795.1 s]
/proc/loadavg: 2.03 2.01 1.93 3/176 738
/proc/meminfo: memFree=28367248/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=339288 CPUtime=1794.81 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 92855 0 0 0 178837 644 0 0 20 0 1 0 268024452 347430912 84080 33554432000 4194304 10173063 140733353220496 140733353213208 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 84822 84080 866 1460 0 83353 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 339288
[startup+1795.9 s]
/proc/loadavg: 2.03 2.01 1.93 3/176 738
/proc/meminfo: memFree=28367248/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=339288 CPUtime=1795.61 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 92855 0 0 0 178917 644 0 0 20 0 1 0 268024452 347430912 84080 33554432000 4194304 10173063 140733353220496 140733353213208 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 84822 84080 866 1460 0 83353 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (KiB) 339288
[startup+1796.7 s]
/proc/loadavg: 2.03 2.01 1.93 3/176 738
/proc/meminfo: memFree=28366628/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=339288 CPUtime=1796.41 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 92855 0 0 0 178996 645 0 0 20 0 1 0 268024452 347430912 84080 33554432000 4194304 10173063 140733353220496 140733353213016 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 84822 84080 866 1460 0 83353 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 339288
[startup+1797.1 s]
/proc/loadavg: 2.03 2.01 1.93 3/176 738
/proc/meminfo: memFree=28366628/32873844 swapFree=7100/7100
[pid=660] ppid=658 vsize=333812 CPUtime=1796.81 cores=0,2,4,6
/proc/660/stat : 660 (scip-2.1.1.4fix) R 658 660 32565 0 -1 4202496 92859 0 0 0 179036 645 0 0 20 0 1 0 268024452 341823488 82715 33554432000 4194304 10173063 140733353220496 140733353213016 5894816 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/660/statm: 83453 82715 870 1460 0 81984 0
Current children cumulated CPU time (s) 1796.81
Current children cumulated vsize (KiB) 333812
Child status: 0
Real time (s): 1797.16
CPU time (s): 1796.87
CPU user time (s): 1790.41
CPU system time (s): 6.46802
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 372588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.41
system time used= 6.46802
maximum resident set size= 358872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92861
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= 14
involuntary context switches= 1874
runsolver used 2.80157 second user time and 7.00293 second system time
The end