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-3690980-1338020538.opb>
0.08/0.17 c original problem has 7081 variables (7081 bin, 0 int, 0 impl, 0 cont) and 13889 constraints
0.08/0.17 c problem read in 0.17
0.29/0.34 c presolving:
0.49/0.50 c (round 1) 1 del vars, 1 del conss, 0 add conss, 1 chg bounds, 28 chg sides, 869 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.49/0.58 c (round 2) 1 del vars, 6214 del conss, 0 add conss, 1 chg bounds, 28 chg sides, 869 chg coeffs, 739 upgd conss, 0 impls, 0 clqs
0.59/0.68 c (round 3) 1 del vars, 6214 del conss, 9 add conss, 1 chg bounds, 45 chg sides, 907 chg coeffs, 1462 upgd conss, 946 impls, 4 clqs
0.69/0.72 c (round 4) 1 del vars, 6214 del conss, 9 add conss, 1 chg bounds, 50 chg sides, 1378 chg coeffs, 1462 upgd conss, 946 impls, 4 clqs
0.69/0.77 c (0.8s) probing: 51/7080 (0.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.69/0.77 c (0.8s) probing aborted: 50/50 successive totally useless probings
0.79/0.80 c presolving (5 rounds):
0.79/0.80 c 1 deleted vars, 6214 deleted constraints, 9 added constraints, 1 tightened bounds, 0 added holes, 50 changed sides, 1378 changed coefficients
0.79/0.80 c 946 implications, 4 cliques
0.79/0.80 c presolved problem has 7080 variables (7080 bin, 0 int, 0 impl, 0 cont) and 7684 constraints
0.79/0.80 c 1462 constraints of type <knapsack>
0.79/0.80 c 9 constraints of type <setppc>
0.79/0.80 c 6213 constraints of type <linear>
0.79/0.80 c transformed objective value is always integral (scale: 1)
0.79/0.80 c Presolving Time: 0.59
0.79/0.80 c - non default parameters ----------------------------------------------------------------------
0.79/0.80 c # SCIP version 2.1.1.4
0.79/0.80 c
0.79/0.80 c # maximal time in seconds to run
0.79/0.80 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.80 c limits/time = 1797
0.79/0.80 c
0.79/0.80 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.80 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.80 c limits/memory = 13950
0.79/0.80 c
0.79/0.80 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.79/0.80 c # [type: int, range: [1,2], default: 1]
0.79/0.80 c timing/clocktype = 2
0.79/0.80 c
0.79/0.80 c # belongs reading time to solving time?
0.79/0.80 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.80 c timing/reading = TRUE
0.79/0.80 c
0.79/0.80 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.79/0.80 c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.80 c separating/rapidlearning/freq = 0
0.79/0.80 c
0.79/0.80 c -----------------------------------------------------------------------------------------------
0.79/0.80 c start solving
0.79/0.80 c
1.69/1.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.69/1.76 c 1.8s| 1 | 0 | 172 | - | 67M| 0 | 353 |7080 |7703 |7080 |7684 | 0 | 19 | 0 | 1.360000e+02 | -- | Inf
34.38/34.46 c 34.5s| 1 | 0 | 9943 | - | 69M| 0 |2229 |7080 |8780 |7080 |7867 | 183 | 19 | 0 | 1.360000e+02 | -- | Inf
37.48/37.53 c 37.5s| 1 | 0 | 15221 | - | 70M| 0 |3080 |7080 |8780 |7080 |7986 | 302 | 19 | 0 | 1.360000e+02 | -- | Inf
39.59/39.65 c 39.7s| 1 | 0 | 16088 | - | 70M| 0 |3138 |7080 |8780 |7080 |8160 | 476 | 19 | 0 | 1.360000e+02 | -- | Inf
44.68/44.70 c 44.7s| 1 | 0 | 19664 | - | 71M| 0 |3289 |7080 |8780 |7080 |8339 | 655 | 19 | 0 | 1.360000e+02 | -- | Inf
48.58/48.66 c 48.7s| 1 | 0 | 21316 | - | 72M| 0 |3819 |7080 |8780 |7080 |8530 | 846 | 19 | 0 | 1.360000e+02 | -- | Inf
54.08/54.11 c 54.1s| 1 | 0 | 23733 | - | 73M| 0 |3656 |7080 |8780 |7080 |8715 |1031 | 19 | 0 | 1.360000e+02 | -- | Inf
72.38/72.49 c 72.5s| 1 | 2 | 23733 | - | 73M| 0 |3656 |7080 |8780 |7080 |8715 |1031 | 19 | 20 | 1.360000e+02 | -- | Inf
327.53/327.64 c 328s| 100 | 95 |425928 |4062.6 | 75M| 27 |1365 |7080 |9715 |7080 |7921 |1031 | 954 | 203 | 1.360000e+02 | -- | Inf
401.43/401.56 c 402s| 200 | 183 |527638 |2532.2 | 75M| 33 |2102 |7080 |9751 |7080 |7921 |1031 | 990 | 296 | 1.360000e+02 | -- | Inf
529.01/529.17 c 529s| 300 | 277 |758374 |2457.0 | 76M| 33 |1375 |7080 |9855 |7080 |7921 |1031 |1094 | 349 | 1.360000e+02 | -- | Inf
570.40/570.50 c 570s| 400 | 350 |827127 |2013.5 | 77M| 36 |1463 |7080 |9956 |7080 |7921 |1031 |1195 | 392 | 1.360000e+02 | -- | Inf
617.49/617.66 c 618s| 500 | 426 |900831 |1757.7 | 77M| 36 |1768 |7080 |9983 |7080 |7921 |1031 |1222 | 462 | 1.360000e+02 | -- | Inf
667.79/667.95 c 668s| 600 | 508 |992975 |1618.1 | 77M| 36 | - |7080 | 10k|7080 |7921 |1031 |1264 | 526 | 1.360000e+02 | -- | Inf
694.68/694.82 c 695s| 700 | 576 | 1039k|1453.2 | 78M| 54 |1263 |7080 | 10k|7080 |7921 |1031 |1304 | 598 | 1.360000e+02 | -- | Inf
743.97/744.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
743.97/744.19 c 744s| 800 | 615 | 1155k|1416.0 | 79M| 57 |2649 |7080 | 10k|7080 |7921 |1031 |1506 | 623 | 1.360000e+02 | -- | Inf
798.87/799.09 c 799s| 900 | 681 | 1251k|1365.2 | 80M| 57 |2123 |7080 | 10k|7080 |7921 |1031 |1607 | 677 | 1.360000e+02 | -- | Inf
856.45/856.64 c 857s| 1000 | 704 | 1346k|1324.0 | 80M| 57 | - |7080 | 10k| 0 | 0 |1031 |1741 | 737 | 1.360000e+02 | -- | Inf
978.33/978.55 c 979s| 1100 | 716 | 1563k|1401.2 | 83M| 57 | - |7080 | 13k|7080 |7921 |1031 |5173 | 785 | 1.360000e+02 | -- | Inf
994.74/994.90 c 995s| 1200 | 762 | 1590k|1306.7 | 84M| 69 |1654 |7080 | 14k|7080 |7921 |1031 |5262 | 810 | 1.360000e+02 | -- | Inf
1001.84/1002.01 c 1002s| 1300 | 793 | 1608k|1219.8 | 85M| 69 | - |7080 | 14k|7080 |7921 |1031 |5382 | 827 | 1.360000e+02 | -- | Inf
1035.53/1035.72 c 1036s| 1400 | 822 | 1660k|1170.2 | 85M| 69 |1624 |7080 | 14k|7080 |7921 |1031 |5478 | 880 | 1.360000e+02 | -- | Inf
1061.23/1061.44 c 1061s| 1500 | 846 | 1704k|1121.0 | 86M| 69 |1209 |7080 | 14k|7080 |7921 |1031 |5680 | 929 | 1.360000e+02 | -- | Inf
1086.42/1086.65 c 1087s| 1600 | 838 | 1757k|1084.2 | 86M| 72 | - |7080 | 14k|7080 |7921 |1031 |5905 | 987 | 1.360000e+02 | -- | Inf
1108.11/1108.36 c 1108s| 1700 | 820 | 1813k|1053.5 | 86M| 72 |1774 |7080 | 14k|7080 |7921 |1031 |6062 |1002 | 1.360000e+02 | -- | Inf
1121.82/1122.01 c 1122s| 1800 | 842 | 1841k|1010.2 | 87M| 72 | - |7080 | 14k|7080 |7921 |1031 |6169 |1059 | 1.360000e+02 | -- | Inf
1171.21/1171.42 c 1171s| 1900 | 881 | 1925k|1001.7 | 87M| 72 |2143 |7080 | 15k|7080 |7921 |1031 |6398 |1100 | 1.360000e+02 | -- | Inf
1180.91/1181.13 c 1181s| 2000 | 909 | 1948k| 962.8 | 87M| 72 |1881 |7080 | 15k|7080 |7921 |1031 |6480 |1125 | 1.360000e+02 | -- | Inf
1202.91/1203.17 c 1203s| 2100 | 942 | 1994k| 939.1 | 88M| 72 |1816 |7080 | 15k|7080 |7921 |1031 |6668 |1224 | 1.360000e+02 | -- | Inf
1229.50/1229.74 c 1230s| 2200 | 981 | 2039k| 916.6 | 89M| 72 |1248 |7080 | 15k|7080 |7921 |1031 |6818 |1254 | 1.360000e+02 | -- | Inf
1250.20/1250.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1250.20/1250.40 c 1250s| 2300 | 1008 | 2075k| 892.3 | 90M| 72 |1508 |7080 | 14k|7080 |7921 |1031 |6981 |1318 | 1.360000e+02 | -- | Inf
1274.89/1275.11 c 1275s| 2400 | 1018 | 2123k| 875.1 | 91M| 72 |1233 |7080 | 14k|7080 |7921 |1031 |7138 |1417 | 1.360000e+02 | -- | Inf
1294.79/1295.03 c 1295s| 2500 | 1062 | 2161k| 855.4 | 91M| 72 | - |7080 | 13k|7080 |7921 |1031 |7274 |1471 | 1.360000e+02 | -- | Inf
1305.89/1306.16 c 1306s| 2600 | 1084 | 2188k| 832.8 | 92M| 72 | 624 |7080 | 13k|7080 |7921 |1031 |7466 |1516 | 1.360000e+02 | -- | Inf
1335.88/1336.12 c 1336s| 2700 | 1110 | 2254k| 826.5 | 92M| 72 | - |7080 | 13k|7080 |7921 |1031 |7641 |1601 | 1.360000e+02 | -- | Inf
1353.28/1353.58 c 1354s| 2800 | 1124 | 2288k| 809.0 | 93M| 72 |1948 |7080 | 13k|7080 |7921 |1031 |7881 |1685 | 1.360000e+02 | -- | Inf
1390.78/1391.07 c 1391s| 2900 | 1163 | 2375k| 811.1 | 94M| 72 |1711 |7080 | 13k|7080 |7921 |1031 |8863 |1724 | 1.360000e+02 | -- | Inf
1406.97/1407.28 c 1407s| 3000 | 1177 | 2408k| 795.1 | 94M| 72 |1647 |7080 | 13k|7080 |7921 |1031 |9014 |1836 | 1.360000e+02 | -- | Inf
1429.07/1429.38 c 1429s| 3100 | 1200 | 2448k| 782.5 | 94M| 72 |1833 |7080 | 12k|7080 |7921 |1031 |9148 |1906 | 1.360000e+02 | -- | Inf
1435.76/1436.08 c 1436s| 3200 | 1215 | 2463k| 762.7 | 95M| 72 |1038 |7080 | 12k|7080 |7921 |1031 |9314 |1938 | 1.360000e+02 | -- | Inf
1457.27/1457.53 c 1458s| 3300 | 1228 | 2504k| 752.1 | 95M| 72 |1274 |7080 | 12k|7080 |7921 |1031 |9469 |1989 | 1.360000e+02 | -- | Inf
1474.66/1474.96 c 1475s| 3400 | 1251 | 2545k| 742.0 | 96M| 72 | - |7080 | 12k| 0 | 0 |1031 |9643 |2032 | 1.360000e+02 | -- | Inf
1493.25/1493.50 c 1494s| 3500 | 1273 | 2591k| 733.8 | 96M| 72 |2177 |7080 | 12k|7080 |7921 |1031 |9798 |2072 | 1.360000e+02 | -- | Inf
1502.36/1502.69 c 1503s| 3600 | 1291 | 2614k| 719.9 | 97M| 87 | 454 |7080 | 12k|7080 |7921 |1031 |9965 |2109 | 1.360000e+02 | -- | Inf
1521.25/1521.53 c 1522s| 3700 | 1278 | 2659k| 712.6 | 96M| 94 | - |7080 | 12k|7080 |7921 |1031 | 10k|2172 | 1.360000e+02 | -- | Inf
1539.35/1539.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1539.35/1539.62 c 1540s| 3800 | 1294 | 2706k| 706.2 | 97M| 94 |1127 |7080 | 12k|7080 |7921 |1031 | 10k|2241 | 1.360000e+02 | -- | Inf
1549.85/1550.12 c 1550s| 3900 | 1307 | 2728k| 693.8 | 97M| 94 |1528 |7080 | 12k|7080 |7921 |1031 | 10k|2256 | 1.360000e+02 | -- | Inf
1565.95/1566.21 c 1566s| 4000 | 1300 | 2760k| 684.4 | 97M| 94 | - |7080 | 12k|7080 |7921 |1031 | 10k|2300 | 1.360000e+02 | -- | Inf
1582.45/1582.71 c 1583s| 4100 | 1312 | 2794k| 675.9 | 97M| 94 | - |7080 | 12k|7080 |7921 |1031 | 11k|2315 | 1.360000e+02 | -- | Inf
1595.14/1595.46 c 1595s| 4200 | 1304 | 2822k| 666.6 | 97M| 94 |2627 |7080 | 11k|7080 |7921 |1031 | 11k|2369 | 1.360000e+02 | -- | Inf
1609.34/1609.61 c 1610s| 4300 | 1289 | 2854k| 658.5 | 96M| 94 | - |7080 | 11k|7080 |7921 |1031 | 11k|2423 | 1.360000e+02 | -- | Inf
1644.14/1644.47 c 1644s| 4400 | 1293 | 2946k| 664.4 | 96M| 94 |1367 |7080 | 12k|7080 |7921 |1031 | 12k|2483 | 1.360000e+02 | -- | Inf
1653.74/1654.02 c 1654s| 4500 | 1290 | 2969k| 654.8 | 96M| 94 |1148 |7080 | 12k|7080 |7921 |1031 | 12k|2506 | 1.360000e+02 | -- | Inf
1669.03/1669.34 c 1669s| 4600 | 1302 | 3011k| 649.7 | 96M| 94 | - |7080 | 12k|7080 |7921 |1031 | 12k|2536 | 1.360000e+02 | -- | Inf
1677.93/1678.25 c 1678s| 4700 | 1322 | 3034k| 640.6 | 96M| 94 |1241 |7080 | 12k|7080 |7921 |1031 | 13k|2551 | 1.360000e+02 | -- | Inf
1687.73/1688.06 c 1688s| 4800 | 1330 | 3052k| 631.0 | 96M| 94 |1273 |7080 | 12k|7080 |7921 |1031 | 13k|2631 | 1.360000e+02 | -- | Inf
1701.12/1701.47 c 1701s| 4900 | 1311 | 3083k| 624.6 | 96M| 94 | - |7080 | 12k|7080 |7921 |1031 | 13k|2674 | 1.360000e+02 | -- | Inf
1711.52/1711.80 c 1712s| 5000 | 1305 | 3107k| 616.8 | 94M| 94 |1481 |7080 | 12k|7080 |7921 |1031 | 13k|2700 | 1.360000e+02 | -- | Inf
1736.92/1737.22 c 1737s| 5100 | 1334 | 3166k| 616.3 | 95M| 94 | - |7080 | 12k| 0 | 0 |1031 | 13k|2774 | 1.360000e+02 | -- | Inf
1752.81/1753.11 c 1753s| 5200 | 1370 | 3205k| 612.1 | 95M| 94 |1623 |7080 | 12k|7080 |7921 |1031 | 13k|2825 | 1.360000e+02 | -- | Inf
1762.22/1762.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1762.22/1762.58 c 1763s| 5300 | 1382 | 3227k| 604.7 | 96M| 94 |1825 |7080 | 12k|7080 |7921 |1031 | 14k|2850 | 1.360000e+02 | -- | Inf
1775.02/1775.37 c 1775s| 5400 | 1375 | 3256k| 598.8 | 96M| 94 |1979 |7080 | 12k|7080 |7921 |1031 | 14k|2916 | 1.360000e+02 | -- | Inf
1791.52/1791.85 c 1792s| 5500 | 1384 | 3291k| 594.2 | 96M| 94 | - |7080 | 12k|7080 |7921 |1031 | 14k|2988 | 1.360000e+02 | -- | Inf
1796.71/1797.01 c
1796.71/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.01 c Solving Time (sec) : 1797.01
1796.71/1797.01 c Solving Nodes : 5537
1796.71/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.71/1797.01 c Dual Bound : +1.36000000000000e+02
1796.71/1797.01 c Gap : infinite
1796.71/1797.01 s UNKNOWN
1796.71/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.01 c Total Time : 1797.01
1796.71/1797.01 c solving : 1797.01
1796.71/1797.01 c presolving : 0.59 (included in solving)
1796.71/1797.01 c reading : 0.17 (included in solving)
1796.71/1797.01 c copying : 0.12 (2 #copies) (minimal 0.06, maximal 0.06, average 0.06)
1796.71/1797.01 c Original Problem :
1796.71/1797.01 c Problem name : HOME/instance-3690980-1338020538.opb
1796.71/1797.01 c Variables : 7081 (7081 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.01 c Constraints : 13889 initial, 13889 maximal
1796.71/1797.01 c Objective sense : minimize
1796.71/1797.01 c Presolved Problem :
1796.71/1797.01 c Problem name : t_HOME/instance-3690980-1338020538.opb
1796.71/1797.01 c Variables : 7080 (7080 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.01 c Constraints : 7684 initial, 15236 maximal
1796.71/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.71/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c components : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c probing : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c knapsack : 0.06 0.00 0 0 0 0 0 0 9 22 509
1796.71/1797.01 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c linear : 0.31 0.00 1 0 0 1 0 6214 0 28 869
1796.71/1797.01 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c root node : - - 0 - - 0 - - - - -
1796.71/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.71/1797.01 c integral : 0 0 0 0 4112 0 4 0 39 1294 0 0 7580
1796.71/1797.01 c knapsack : 1462 1462 6 41510 0 1 3 53270 244 71957 1090 0 0
1796.71/1797.01 c setppc : 9 9 6 12908 0 0 0 20 0 2 0 0 0
1796.71/1797.01 c linear : 6213+ 7290 7 41266 0 1 0 24946 973 1259874 9 0 0
1796.71/1797.01 c logicor : 0+ 6476 6 16813 0 0 0 44781 168 11922 0 0 0
1796.71/1797.01 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.71/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.71/1797.01 c integral : 587.84 0.00 0.00 0.00 587.84 0.00 0.00 0.00
1796.71/1797.01 c knapsack : 5.18 0.00 0.12 4.97 0.00 0.00 0.00 0.09
1796.71/1797.01 c setppc : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00
1796.71/1797.01 c linear : 22.39 0.00 0.01 22.31 0.00 0.00 0.00 0.07
1796.71/1797.01 c logicor : 1.96 0.00 0.00 1.86 0.00 0.00 0.00 0.10
1796.71/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.71/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.71/1797.01 c rootredcost : 0 0 0 0
1796.71/1797.01 c pseudoobj : 45522 0 0 0
1796.71/1797.01 c vbounds : 0 0 0 0
1796.71/1797.01 c redcost : 4125 0 0 7
1796.71/1797.01 c probing : 0 0 0 0
1796.71/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.71/1797.01 c rootredcost : 0.05 0.00 0.00 0.05 0.00
1796.71/1797.01 c pseudoobj : 0.12 0.00 0.00 0.12 0.00
1796.71/1797.01 c vbounds : 0.04 0.00 0.00 0.04 0.00
1796.71/1797.01 c redcost : 0.66 0.00 0.00 0.66 0.00
1796.71/1797.01 c probing : 0.03 0.00 0.03 0.00 0.00
1796.71/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.71/1797.01 c propagation : 0.31 1385 1385 16012 43.3 186 16.6 -
1796.71/1797.01 c infeasible LP : 5.84 4298 4298 16759 32.8 326 14.8 0
1796.71/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.01 c applied globally : - - - 14424 25.6 - - -
1796.71/1797.01 c applied locally : - - - 0 0.0 - - -
1796.71/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.71/1797.01 c cut pool : 0.00 5 - - 840 - (maximal pool size: 4276)
1796.71/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c impliedbounds : 0.00 0.00 6 0 0 88 0
1796.71/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c gomory : 2.83 0.00 6 0 0 83 0
1796.71/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c strongcg : 2.80 0.00 6 0 0 42 0
1796.71/1797.01 c cmir : 2.43 0.00 6 0 0 3000 0
1796.71/1797.01 c flowcover : 3.13 0.00 6 0 0 1200 0
1796.71/1797.01 c clique : 0.01 0.00 6 0 0 0 0
1796.71/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c mcf : 0.00 0.00 1 0 0 0 0
1796.71/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c rapidlearning : 28.93 0.00 1 0 0 0 1077
1796.71/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.71/1797.01 c problem variables: 0.00 - 0 0
1796.71/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.71/1797.01 c relpscost : 587.82 0.00 4112 39 1294 0 0 7580
1796.71/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c inference : 0.00 0.00 1 0 0 0 0 2
1796.71/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.71/1797.01 c LP solutions : 0.00 - - 0
1796.71/1797.01 c pseudo solutions : 0.00 - - 0
1796.71/1797.01 c oneopt : 0.01 0.00 0 0
1796.71/1797.01 c crossover : 0.01 0.00 0 0
1796.71/1797.01 c guideddiving : 0.00 0.00 0 0
1796.71/1797.01 c intshifting : 0.00 0.00 0 0
1796.71/1797.01 c coefdiving : 166.73 0.00 3 0
1796.71/1797.01 c fracdiving : 93.73 0.00 6 0
1796.71/1797.01 c veclendiving : 35.66 0.00 21 0
1796.71/1797.01 c pscostdiving : 44.72 0.00 21 0
1796.71/1797.01 c rootsoldiving : 14.21 0.00 11 0
1796.71/1797.01 c feaspump : 34.27 0.00 11 0
1796.71/1797.01 c objpscostdiving : 17.47 0.00 13 0
1796.71/1797.01 c linesearchdiving : 74.62 0.00 47 0
1796.71/1797.01 c smallcard : 0.00 0.00 0 0
1796.71/1797.01 c trivial : 0.01 0.00 2 0
1796.71/1797.01 c shiftandpropagate: 0.83 0.00 1 0
1796.71/1797.01 c simplerounding : 0.01 0.00 0 0
1796.71/1797.01 c zirounding : 1.72 0.00 1000 0
1796.71/1797.01 c rounding : 2.12 0.00 856 0
1796.71/1797.01 c shifting : 7.37 0.00 234 0
1796.71/1797.01 c twoopt : 0.00 0.00 0 0
1796.71/1797.01 c indoneopt : 0.01 0.00 0 0
1796.71/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.71/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.71/1797.01 c clique : 0.00 0.00 0 0
1796.71/1797.01 c indrounding : 0.00 0.00 0 0
1796.71/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.71/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.71/1797.01 c intdiving : 0.00 0.00 0 0
1796.71/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.71/1797.01 c octane : 0.00 0.00 0 0
1796.71/1797.01 c rens : 0.08 0.00 0 0
1796.71/1797.01 c rins : 0.00 0.00 0 0
1796.71/1797.01 c localbranching : 0.00 0.00 0 0
1796.71/1797.01 c mutation : 0.00 0.00 0 0
1796.71/1797.01 c dins : 0.00 0.00 0 0
1796.71/1797.01 c vbounds : 0.00 0.00 0 0
1796.71/1797.01 c undercover : 0.00 0.00 0 0
1796.71/1797.01 c subnlp : 0.01 0.00 0 0
1796.71/1797.01 c trysol : 0.01 0.00 0 0
1796.71/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.71/1797.01 c primal LP : 0.12 1 0 0.00 0.00 0.12 1
1796.71/1797.01 c dual LP : 622.71 5302 2114307 403.49 3395.33 1.11 62
1796.71/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.71/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.71/1797.01 c diving/probing LP: 444.53 9190 1186298 129.09 2668.66
1796.71/1797.01 c strong branching : 585.60 3007 1180345 392.53 2015.62
1796.71/1797.01 c (at root node) : - 20 17147 857.35 -
1796.71/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.71/1797.01 c B&B Tree :
1796.71/1797.01 c number of runs : 1
1796.71/1797.01 c nodes : 5537
1796.71/1797.01 c nodes (total) : 5537
1796.71/1797.01 c nodes left : 1390
1796.71/1797.01 c max depth : 94
1796.71/1797.01 c max depth (total): 94
1796.71/1797.01 c backtracks : 952 (17.2%)
1796.71/1797.01 c delayed cutoffs : 656
1796.71/1797.01 c repropagations : 7718 (426921 domain reductions, 298 cutoffs)
1796.71/1797.01 c avg switch length: 6.19
1796.71/1797.01 c switching time : 16.95
1796.71/1797.01 c Solution :
1796.71/1797.01 c Solutions found : 0 (0 improvements)
1796.71/1797.01 c Primal Bound : -
1796.71/1797.01 c Dual Bound : +1.36000000000000e+02
1796.71/1797.01 c Gap : infinite
1796.71/1797.01 c Root Dual Bound : +1.36000000000000e+02
1796.71/1797.01 c Root Iterations : 23733
1796.82/1797.17 c Time complete: 1796.89.
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-3690980-1338020538/watcher-3690980-1338020538 -o /tmp/evaluation-result-3690980-1338020538/solver-3690980-1338020538 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690980-1338020538.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.00 1.91 3/176 1027
/proc/meminfo: memFree=27258288/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=9828 CPUtime=0 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 1195 0 0 0 0 0 0 0 20 0 1 0 268178836 10063872 1150 33554432000 4194304 10173063 140735381990208 140735381855048 8800002 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 2457 1150 416 1460 0 988 0
[startup+0.022393 s]
/proc/loadavg: 2.01 2.00 1.91 3/176 1027
/proc/meminfo: memFree=27258288/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=12192 CPUtime=0.01 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 1783 0 0 0 1 0 0 0 20 0 1 0 268178836 12484608 1738 33554432000 4194304 10173063 140735381990208 140735381855384 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 3048 1738 416 1460 0 1579 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12192
[startup+0.100282 s]
/proc/loadavg: 2.01 2.00 1.91 3/176 1027
/proc/meminfo: memFree=27258288/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=21300 CPUtime=0.08 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 4079 0 0 0 8 0 0 0 20 0 1 0 268178836 21811200 4034 33554432000 4194304 10173063 140735381990208 140735381855384 8867708 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 5325 4034 416 1460 0 3856 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 21300
[startup+0.300314 s]
/proc/loadavg: 2.01 2.00 1.91 3/176 1027
/proc/meminfo: memFree=27258288/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=117096 CPUtime=0.29 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 27035 0 0 0 25 4 0 0 20 0 1 0 268178836 119906304 26990 33554432000 4194304 10173063 140735381990208 140735381855384 4901632 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 29274 26990 514 1460 0 27805 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 117096
[startup+0.700296 s]
/proc/loadavg: 2.01 2.00 1.91 3/176 1027
/proc/meminfo: memFree=27258288/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=145048 CPUtime=0.69 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 36078 0 0 0 56 13 0 0 20 0 1 0 268178836 148529152 33290 33554432000 4194304 10173063 140735381990208 140735381985896 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 36262 33290 594 1460 0 34793 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 145048
[startup+1.50024 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 1028
/proc/meminfo: memFree=27102928/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=177468 CPUtime=1.48 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 44763 0 0 0 132 16 0 0 20 0 1 0 268178836 181727232 40408 33554432000 4194304 10173063 140735381990208 140735381986088 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 44367 40408 701 1460 0 42898 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 177468
[startup+3.10033 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 1028
/proc/meminfo: memFree=27080640/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=193736 CPUtime=3.09 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 47630 0 0 0 291 18 0 0 20 0 1 0 268178836 198385664 44912 33554432000 4194304 10173063 140735381990208 140735381981368 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 48434 44912 795 1460 0 46965 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 193736
[startup+6.30032 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 1028
/proc/meminfo: memFree=27000892/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=272888 CPUtime=6.29 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 66749 0 0 0 593 36 0 0 20 0 1 0 268178836 279437312 64031 33554432000 4194304 10173063 140735381990208 140735381984248 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 68222 64031 836 1460 0 66753 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 272888
[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 1028
/proc/meminfo: memFree=26994080/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=275240 CPUtime=12.69 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 67325 0 0 0 1219 50 0 0 20 0 1 0 268178836 281845760 64607 33554432000 4194304 10173063 140735381990208 140735381984248 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 68810 64607 836 1460 0 67341 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 275240
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 1028
/proc/meminfo: memFree=26958108/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=300692 CPUtime=25.49 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 73678 0 0 0 2409 140 0 0 20 0 1 0 268178836 307908608 70960 33554432000 4194304 10173063 140735381990208 140735381984248 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 75173 70960 836 1460 0 73704 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 300692
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 1028
/proc/meminfo: memFree=26933776/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=305188 CPUtime=51.08 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 75812 0 0 0 4939 169 0 0 20 0 1 0 268178836 312512512 73217 33554432000 4194304 10173063 140735381990208 140735381985592 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 76297 73217 857 1460 0 74828 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 305188
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 1028
/proc/meminfo: memFree=26902028/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=305188 CPUtime=102.28 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 76416 0 0 0 10052 176 0 0 20 0 1 0 268178836 312512512 74062 33554432000 4194304 10173063 140735381990208 140735381982920 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 76297 74062 861 1460 0 74828 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 305188
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 1029
/proc/meminfo: memFree=26872488/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=305188 CPUtime=162.26 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 76417 0 0 0 16043 183 0 0 20 0 1 0 268178836 312512512 74744 33554432000 4194304 10173063 140735381990208 140735381983336 8039690 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 76297 74744 861 1460 0 74828 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 305188
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 1029
/proc/meminfo: memFree=26841848/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=305188 CPUtime=222.25 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 76419 0 0 0 22026 199 0 0 20 0 1 0 268178836 312512512 75288 33554432000 4194304 10173063 140735381990208 140735381982280 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 76297 75288 863 1460 0 74828 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 305188
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 1029
/proc/meminfo: memFree=26820556/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=305188 CPUtime=282.24 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 76419 0 0 0 28006 218 0 0 20 0 1 0 268178836 312512512 75288 33554432000 4194304 10173063 140735381990208 140735381982392 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 76297 75288 863 1460 0 74828 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 305188
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 1029
/proc/meminfo: memFree=26792488/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=305188 CPUtime=342.23 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 76419 0 0 0 33991 232 0 0 20 0 1 0 268178836 312512512 75288 33554432000 4194304 10173063 140735381990208 140735381982872 7887628 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 76297 75288 863 1460 0 74828 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 305188
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 1029
/proc/meminfo: memFree=26769796/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=305188 CPUtime=402.23 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 76419 0 0 0 39979 244 0 0 20 0 1 0 268178836 312512512 75288 33554432000 4194304 10173063 140735381990208 140735381983192 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 76297 75288 863 1460 0 74828 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 305188
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 1030
/proc/meminfo: memFree=26748220/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=305188 CPUtime=462.22 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 76419 0 0 0 45965 257 0 0 20 0 1 0 268178836 312512512 75288 33554432000 4194304 10173063 140735381990208 140735381982408 5122997 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 76297 75288 863 1460 0 74828 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 305188
[startup+522.3 s]
/proc/loadavg: 2.06 2.02 1.92 3/178 1033
/proc/meminfo: memFree=26726636/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=305188 CPUtime=522.2 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 76419 0 0 0 51950 270 0 0 20 0 1 0 268178836 312512512 75288 33554432000 4194304 10173063 140735381990208 140735381983336 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 76297 75288 863 1460 0 74828 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 305188
[startup+582.3 s]
/proc/loadavg: 2.09 2.03 1.93 3/177 1033
/proc/meminfo: memFree=26705192/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=305188 CPUtime=582.19 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 76419 0 0 0 57935 284 0 0 20 0 1 0 268178836 312512512 75288 33554432000 4194304 10173063 140735381990208 140735381983144 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 76297 75288 863 1460 0 74828 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 305188
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26553128/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=305188 CPUtime=1062.12 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 76419 0 0 0 105798 414 0 0 20 0 1 0 268178836 312512512 75288 33554432000 4194304 10173063 140735381990208 140735381983848 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 76297 75288 863 1460 0 74828 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 305188
[startup+1122.3 s]
/proc/loadavg: 2.04 2.03 1.95 3/178 1039
/proc/meminfo: memFree=26536600/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=305188 CPUtime=1122.12 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 76419 0 0 0 111778 434 0 0 20 0 1 0 268178836 312512512 75288 33554432000 4194304 10173063 140735381990208 140735381983848 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 76297 75288 863 1460 0 74828 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 305188
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/177 1039
/proc/meminfo: memFree=26520860/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=305188 CPUtime=1182.1 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 76419 0 0 0 117761 449 0 0 20 0 1 0 268178836 312512512 75288 33554432000 4194304 10173063 140735381990208 140735381982728 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 76297 75288 863 1460 0 74828 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 305188
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/177 1039
/proc/meminfo: memFree=26508088/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=305188 CPUtime=1242.1 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 76419 0 0 0 123745 465 0 0 20 0 1 0 268178836 312512512 75288 33554432000 4194304 10173063 140735381990208 140735381981192 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 76297 75288 863 1460 0 74828 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 305188
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/177 1039
/proc/meminfo: memFree=26489612/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=305188 CPUtime=1302.09 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 76419 0 0 0 129725 484 0 0 20 0 1 0 268178836 312512512 75288 33554432000 4194304 10173063 140735381990208 140735381983464 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 76297 75288 863 1460 0 74828 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 305188
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/177 1040
/proc/meminfo: memFree=26470516/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=305188 CPUtime=1362.08 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 76419 0 0 0 135701 507 0 0 20 0 1 0 268178836 312512512 75288 33554432000 4194304 10173063 140735381990208 140735381982728 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 76297 75288 863 1460 0 74828 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 305188
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 1040
/proc/meminfo: memFree=26457124/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=305188 CPUtime=1422.07 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 76419 0 0 0 141681 526 0 0 20 0 1 0 268178836 312512512 75288 33554432000 4194304 10173063 140735381990208 140735381983336 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 76297 75288 863 1460 0 74828 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 305188
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 1040
/proc/meminfo: memFree=26442368/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=305188 CPUtime=1482.06 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 76419 0 0 0 147660 546 0 0 20 0 1 0 268178836 312512512 75288 33554432000 4194304 10173063 140735381990208 140735381982824 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 76297 75288 863 1460 0 74828 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 305188
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 1040
/proc/meminfo: memFree=26422900/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=305188 CPUtime=1542.05 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 76419 0 0 0 153633 572 0 0 20 0 1 0 268178836 312512512 75288 33554432000 4194304 10173063 140735381990208 140735381984040 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 76297 75288 863 1460 0 74828 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 305188
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/177 1040
/proc/meminfo: memFree=26410996/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=305188 CPUtime=1602.05 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 76509 0 0 0 159610 595 0 0 20 0 1 0 268178836 312512512 75378 33554432000 4194304 10173063 140735381990208 140735381983336 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 76297 75378 863 1460 0 74828 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 305188
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/177 1041
/proc/meminfo: memFree=26396164/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=305188 CPUtime=1662.03 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 76547 0 0 0 165581 622 0 0 20 0 1 0 268178836 312512512 75416 33554432000 4194304 10173063 140735381990208 140735381982728 7887628 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 76297 75416 863 1460 0 74828 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 305188
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 1044
/proc/meminfo: memFree=26382144/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=305188 CPUtime=1722.03 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 76547 0 0 0 171556 647 0 0 20 0 1 0 268178836 312512512 75416 33554432000 4194304 10173063 140735381990208 140735381982296 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 76297 75416 863 1460 0 74828 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 305188
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 1084
/proc/meminfo: memFree=26919440/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=305188 CPUtime=1782.02 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 76547 0 0 0 177532 670 0 0 20 0 1 0 268178836 312512512 75416 33554432000 4194304 10173063 140735381990208 140735381982328 7935032 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 76297 75416 863 1460 0 74828 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 305188
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 1084
/proc/meminfo: memFree=26918944/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=305188 CPUtime=1785.22 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 76547 0 0 0 177851 671 0 0 20 0 1 0 268178836 312512512 75416 33554432000 4194304 10173063 140735381990208 140735381983880 5749424 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 76297 75416 863 1460 0 74828 0
Current children cumulated CPU time (s) 1785.22
Current children cumulated vsize (KiB) 305188
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 1084
/proc/meminfo: memFree=26878684/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=305188 CPUtime=1791.62 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 76547 0 0 0 178488 674 0 0 20 0 1 0 268178836 312512512 75416 33554432000 4194304 10173063 140735381990208 140735381986680 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 76297 75416 863 1460 0 74828 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 305188
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 1084
/proc/meminfo: memFree=26870012/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=305188 CPUtime=1794.81 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 76547 0 0 0 178806 675 0 0 20 0 1 0 268178836 312512512 75416 33554432000 4194304 10173063 140735381990208 140735381983144 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 76297 75416 863 1460 0 74828 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 305188
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 1084
/proc/meminfo: memFree=26870012/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=305188 CPUtime=1795.61 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 76547 0 0 0 178886 675 0 0 20 0 1 0 268178836 312512512 75416 33554432000 4194304 10173063 140735381990208 140735381982728 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 76297 75416 863 1460 0 74828 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (KiB) 305188
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 1084
/proc/meminfo: memFree=26867284/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=305188 CPUtime=1796.41 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 76547 0 0 0 178966 675 0 0 20 0 1 0 268178836 312512512 75416 33554432000 4194304 10173063 140735381990208 140735381983336 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 76297 75416 863 1460 0 74828 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 305188
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 1084
/proc/meminfo: memFree=26867284/32873844 swapFree=7108/7108
[pid=1027] ppid=1025 vsize=302752 CPUtime=1796.82 cores=1,3,5,7
/proc/1027/stat : 1027 (scip-2.1.1.4fix) R 1025 1027 659 0 -1 4202496 76552 0 0 0 179006 676 0 0 20 0 1 0 268178836 310018048 74812 33554432000 4194304 10173063 140735381990208 140735381983336 5894843 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 75688 74812 868 1460 0 74219 0
Current children cumulated CPU time (s) 1796.82
Current children cumulated vsize (KiB) 302752
Child status: 0
Real time (s): 1797.17
CPU time (s): 1796.9
CPU user time (s): 1790.12
CPU system time (s): 6.77297
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 305188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.12
system time used= 6.77297
maximum resident set size= 301684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76554
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= 10
involuntary context switches= 1870
runsolver used 2.76658 second user time and 7.10092 second system time
The end