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-3690996-1338018956.opb>
0.09/0.14 c original problem has 5584 variables (5584 bin, 0 int, 0 impl, 0 cont) and 10895 constraints
0.09/0.14 c problem read in 0.14
0.19/0.29 c presolving:
0.29/0.39 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 240 chg sides, 240 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.38/0.44 c (round 2) 0 del vars, 5320 del conss, 0 add conss, 0 chg bounds, 240 chg sides, 240 chg coeffs, 135 upgd conss, 0 impls, 0 clqs
0.38/0.49 c (round 3) 0 del vars, 5320 del conss, 0 add conss, 0 chg bounds, 240 chg sides, 240 chg coeffs, 255 upgd conss, 1874 impls, 0 clqs
0.49/0.50 c (round 4) 0 del vars, 5320 del conss, 0 add conss, 0 chg bounds, 345 chg sides, 430 chg coeffs, 255 upgd conss, 1874 impls, 0 clqs
0.49/0.53 c (0.5s) probing: 51/5584 (0.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.53 c (0.5s) probing aborted: 50/50 successive totally useless probings
0.49/0.54 c presolving (5 rounds):
0.49/0.54 c 0 deleted vars, 5320 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 345 changed sides, 430 changed coefficients
0.49/0.54 c 1874 implications, 0 cliques
0.49/0.54 c presolved problem has 5584 variables (5584 bin, 0 int, 0 impl, 0 cont) and 5575 constraints
0.49/0.54 c 255 constraints of type <knapsack>
0.49/0.54 c 5320 constraints of type <linear>
0.49/0.54 c transformed objective value is always integral (scale: 1)
0.49/0.54 c Presolving Time: 0.37
0.49/0.54 c - non default parameters ----------------------------------------------------------------------
0.49/0.54 c # SCIP version 2.1.1.4
0.49/0.54 c
0.49/0.54 c # maximal time in seconds to run
0.49/0.54 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.54 c limits/time = 1797
0.49/0.54 c
0.49/0.54 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.54 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.54 c limits/memory = 13950
0.49/0.54 c
0.49/0.54 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.49/0.54 c # [type: int, range: [1,2], default: 1]
0.49/0.54 c timing/clocktype = 2
0.49/0.54 c
0.49/0.54 c # belongs reading time to solving time?
0.49/0.54 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.54 c timing/reading = TRUE
0.49/0.54 c
0.49/0.54 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.54 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.54 c separating/rapidlearning/freq = 0
0.49/0.54 c
0.49/0.54 c -----------------------------------------------------------------------------------------------
0.49/0.54 c start solving
0.49/0.55 c
1.09/1.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.09/1.14 c 1.1s| 1 | 0 | 129 | - | 53M| 0 | 743 |5584 |5605 |5584 |5575 | 0 | 30 | 0 | 1.500000e+01 | -- | Inf
16.29/16.37 c 16.4s| 1 | 0 | 7429 | - | 56M| 0 | 774 |5584 |6832 |5584 |5657 | 82 | 30 | 0 | 1.500000e+01 | -- | Inf
16.69/16.77 c 16.8s| 1 | 0 | 7554 | - | 56M| 0 | 781 |5584 |6832 |5584 |5726 | 151 | 30 | 0 | 1.500000e+01 | -- | Inf
17.38/17.44 c 17.4s| 1 | 0 | 7975 | - | 57M| 0 | 917 |5584 |6832 |5584 |5813 | 238 | 30 | 0 | 1.500130e+01 | -- | Inf
18.19/18.27 c 18.3s| 1 | 0 | 8425 | - | 58M| 0 | 924 |5584 |6832 |5584 |5911 | 336 | 30 | 0 | 1.500260e+01 | -- | Inf
19.18/19.27 c 19.3s| 1 | 0 | 9082 | - | 58M| 0 | 949 |5584 |6832 |5584 |5999 | 424 | 30 | 0 | 1.500260e+01 | -- | Inf
20.48/20.58 c 20.6s| 1 | 0 | 9723 | - | 59M| 0 | 947 |5584 |6832 |5584 |6090 | 515 | 30 | 0 | 1.516667e+01 | -- | Inf
22.19/22.29 c 22.3s| 1 | 0 | 10253 | - | 60M| 0 | 946 |5584 |6832 |5584 |6168 | 593 | 30 | 0 | 1.516667e+01 | -- | Inf
23.89/23.93 c 23.9s| 1 | 0 | 10969 | - | 60M| 0 | 995 |5584 |6832 |5584 |6257 | 682 | 30 | 0 | 1.516667e+01 | -- | Inf
25.29/25.35 c 25.3s| 1 | 0 | 11360 | - | 61M| 0 | 965 |5584 |6832 |5584 |6330 | 755 | 30 | 0 | 1.516667e+01 | -- | Inf
27.58/27.69 c 27.7s| 1 | 0 | 12383 | - | 62M| 0 | 966 |5584 |6832 |5584 |6395 | 820 | 30 | 0 | 1.516667e+01 | -- | Inf
28.18/28.24 c 28.2s| 1 | 0 | 12865 | - | 62M| 0 | 942 |5584 |6832 |5584 |6427 | 852 | 30 | 0 | 1.516667e+01 | -- | Inf
38.38/38.47 c 38.5s| 1 | 2 | 12865 | - | 62M| 0 | 942 |5584 |6832 |5584 |6427 | 852 | 30 | 25 | 1.516667e+01 | -- | Inf
115.27/115.32 c 115s| 100 | 95 | 74859 | 626.2 | 62M| 16 | 918 |5584 |6850 |5584 |5737 | 852 | 48 | 312 | 1.600000e+01 | -- | Inf
472.30/472.42 c 472s| 200 | 193 | 1861k|9287.9 | 64M| 22 | 702 |5584 |7778 |5584 |5737 | 852 | 976 | 341 | 1.600000e+01 | -- | Inf
504.30/504.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
504.30/504.45 c 504s| 300 | 275 | 1934k|6425.8 | 64M| 24 |1164 |5584 |7857 |5584 |5737 | 852 |1055 | 379 | 1.600000e+01 | -- | Inf
550.79/550.97 c 551s| 400 | 371 | 2024k|5042.7 | 64M| 24 | 926 |5584 |7873 |5584 |5737 | 852 |1071 | 407 | 1.637500e+01 | -- | Inf
582.48/582.61 c 583s| 500 | 465 | 2090k|4164.4 | 64M| 24 |1140 |5584 |7876 |5584 |5737 | 852 |1074 | 449 | 1.675000e+01 | -- | Inf
610.08/610.25 c 610s| 600 | 565 | 2160k|3585.9 | 65M| 27 | 802 |5584 |7879 |5584 |5737 | 852 |1077 | 477 | 1.700000e+01 | -- | Inf
628.58/628.71 c 629s| 700 | 655 | 2195k|3123.0 | 65M| 27 | 730 |5584 |7884 |5584 |5737 | 852 |1082 | 504 | 1.700000e+01 | -- | Inf
659.07/659.24 c 659s| 800 | 741 | 2244k|2793.3 | 65M| 27 | 742 |5584 |7898 |5584 |5737 | 852 |1096 | 558 | 1.737500e+01 | -- | Inf
675.97/676.12 c 676s| 900 | 835 | 2279k|2521.4 | 66M| 31 | 876 |5584 |7902 |5584 |5737 | 852 |1100 | 584 | 1.737500e+01 | -- | Inf
690.97/691.10 c 691s| 1000 | 927 | 2313k|2303.1 | 66M| 34 | 532 |5584 |7913 |5584 |5737 | 852 |1111 | 612 | 1.737500e+01 | -- | Inf
708.28/708.47 c 708s| 1100 | 1021 | 2355k|2132.0 | 66M| 34 | 699 |5584 |7927 |5584 |5737 | 852 |1126 | 625 | 1.737500e+01 | -- | Inf
732.16/732.37 c 732s| 1200 | 1107 | 2409k|1999.1 | 66M| 34 | 882 |5584 |7959 |5584 |5737 | 852 |1166 | 665 | 1.775000e+01 | -- | Inf
755.47/755.64 c 756s| 1300 | 1203 | 2448k|1875.4 | 67M| 34 | 971 |5584 |7953 |5584 |5737 | 852 |1168 | 704 | 1.800000e+01 | -- | Inf
769.55/769.78 c 770s| 1400 | 1297 | 2471k|1757.2 | 67M| 39 | 789 |5584 |7895 |5584 |5737 | 852 |1175 | 730 | 1.800000e+01 | -- | Inf
784.96/785.11 c 785s| 1500 | 1389 | 2491k|1653.2 | 67M| 43 | 753 |5584 |7862 |5584 |5737 | 852 |1179 | 769 | 1.800000e+01 | -- | Inf
794.35/794.53 c 795s| 1600 | 1481 | 2509k|1561.1 | 68M| 60 | 750 |5584 |7872 |5584 |5737 | 852 |1189 | 783 | 1.800000e+01 | -- | Inf
812.85/813.05 c 813s| 1700 | 1573 | 2555k|1496.3 | 68M| 60 | 882 |5584 |7889 |5584 |5737 | 852 |1206 | 810 | 1.800000e+01 | -- | Inf
826.45/826.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
826.45/826.69 c 827s| 1800 | 1671 | 2588k|1431.6 | 68M| 60 |1065 |5584 |7898 |5584 |5737 | 852 |1215 | 824 | 1.800000e+01 | -- | Inf
844.85/845.04 c 845s| 1900 | 1767 | 2613k|1369.6 | 68M| 60 | - |5584 |7900 |5584 |5737 | 852 |1217 | 876 | 1.800000e+01 | -- | Inf
861.05/861.23 c 861s| 2000 | 1857 | 2645k|1317.0 | 69M| 60 | 892 |5584 |7847 |5584 |5737 | 852 |1224 | 902 | 1.800000e+01 | -- | Inf
884.64/884.84 c 885s| 2100 | 1951 | 2691k|1276.3 | 69M| 60 |1063 |5584 |7666 |5584 |5737 | 852 |1228 | 966 | 1.800000e+01 | -- | Inf
900.53/900.78 c 901s| 2200 | 2048 | 2741k|1241.0 | 69M| 60 | 679 |5584 |7675 |5584 |5737 | 852 |1243 | 979 | 1.800000e+01 | -- | Inf
915.83/916.07 c 916s| 2300 | 2140 | 2801k|1213.2 | 70M| 60 | 673 |5584 |7658 |5584 |5737 | 852 |1254 |1005 | 1.800000e+01 | -- | Inf
930.34/930.53 c 931s| 2400 | 2238 | 2846k|1181.2 | 70M| 60 | 841 |5584 |7527 |5584 |5737 | 852 |1255 |1031 | 1.800000e+01 | -- | Inf
942.33/942.53 c 943s| 2500 | 2330 | 2874k|1145.1 | 70M| 60 | 638 |5584 |7517 |5584 |5737 | 852 |1259 |1057 | 1.800000e+01 | -- | Inf
962.02/962.21 c 962s| 2600 | 2414 | 2935k|1124.7 | 71M| 60 |1034 |5584 |7532 |5584 |5737 | 852 |1283 |1097 | 1.800000e+01 | -- | Inf
986.73/986.95 c 987s| 2700 | 2506 | 3025k|1116.2 | 71M| 60 | 951 |5584 |7583 |5584 |5737 | 852 |1340 |1136 | 1.800000e+01 | -- | Inf
1006.63/1006.84 c 1007s| 2800 | 2601 | 3068k|1091.7 | 71M| 60 | 744 |5584 |7581 |5584 |5737 | 852 |1344 |1174 | 1.800000e+01 | -- | Inf
1027.62/1027.80 c 1028s| 2900 | 2697 | 3121k|1072.3 | 72M| 60 | 577 |5584 |7617 |5584 |5737 | 852 |1385 |1224 | 1.800000e+01 | -- | Inf
1047.42/1047.68 c 1048s| 3000 | 2789 | 3171k|1053.3 | 72M| 60 | 642 |5584 |7620 |5584 |5737 | 852 |1394 |1263 | 1.800000e+01 | -- | Inf
1069.11/1069.32 c 1069s| 3100 | 2889 | 3227k|1037.2 | 72M| 60 | 838 |5584 |7600 |5584 |5737 | 852 |1398 |1312 | 1.800000e+01 | -- | Inf
1084.31/1084.53 c 1085s| 3200 | 2985 | 3258k|1014.6 | 72M| 60 | 792 |5584 |7595 |5584 |5737 | 852 |1400 |1349 | 1.800000e+01 | -- | Inf
1102.10/1102.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1102.10/1102.30 c 1102s| 3300 | 3081 | 3321k|1003.1 | 73M| 60 | 765 |5584 |7573 |5584 |5737 | 852 |1401 |1374 | 1.800000e+01 | -- | Inf
1126.90/1127.17 c 1127s| 3400 | 3175 | 3395k| 995.3 | 73M| 60 | 706 |5584 |7621 |5584 |5737 | 852 |1450 |1426 | 1.800000e+01 | -- | Inf
1146.50/1146.74 c 1147s| 3500 | 3269 | 3462k| 985.8 | 73M| 60 | 664 |5584 |7632 |5584 |5737 | 852 |1472 |1464 | 1.800000e+01 | -- | Inf
1162.30/1162.51 c 1163s| 3600 | 3363 | 3491k| 966.6 | 74M| 60 | 862 |5584 |7625 |5584 |5737 | 852 |1475 |1502 | 1.800000e+01 | -- | Inf
1181.20/1181.45 c 1181s| 3700 | 3455 | 3550k| 956.3 | 74M| 60 | 932 |5584 |7650 |5584 |5737 | 852 |1503 |1541 | 1.800000e+01 | -- | Inf
1195.40/1195.61 c 1196s| 3800 | 3551 | 3590k| 941.7 | 74M| 60 | 900 |5584 |7652 |5584 |5737 | 852 |1511 |1566 | 1.800000e+01 | -- | Inf
1204.89/1205.15 c 1205s| 3900 | 3643 | 3609k| 922.6 | 74M| 60 | 760 |5584 |7658 |5584 |5737 | 852 |1517 |1592 | 1.800000e+01 | -- | Inf
1228.09/1228.31 c 1228s| 4000 | 3731 | 3664k| 913.1 | 75M| 60 | 628 |5584 |7662 |5584 |5737 | 852 |1565 |1654 | 1.800000e+01 | -- | Inf
1242.58/1242.85 c 1243s| 4100 | 3825 | 3705k| 900.8 | 75M| 60 | 585 |5584 |7676 |5584 |5737 | 852 |1586 |1679 | 1.800000e+01 | -- | Inf
1262.59/1262.81 c 1263s| 4200 | 3925 | 3768k| 894.3 | 75M| 60 | 836 |5584 |7643 |5584 |5737 | 852 |1614 |1715 | 1.800000e+01 | -- | Inf
1285.08/1285.39 c 1285s| 4300 | 4019 | 3834k| 889.1 | 76M| 60 | 630 |5584 |7640 |5584 |5737 | 852 |1639 |1789 | 1.837500e+01 | -- | Inf
1299.89/1300.18 c 1300s| 4400 | 4117 | 3866k| 876.0 | 76M| 60 | 780 |5584 |7643 |5584 |5737 | 852 |1645 |1842 | 1.837500e+01 | -- | Inf
1318.68/1318.95 c 1319s| 4500 | 4213 | 3924k| 869.4 | 76M| 60 | 681 |5584 |7641 |5584 |5737 | 852 |1652 |1899 | 1.837500e+01 | -- | Inf
1332.98/1333.22 c 1333s| 4600 | 4311 | 3962k| 858.9 | 77M| 60 | - |5584 |7666 |5584 |5737 | 852 |1677 |1923 | 1.837500e+01 | -- | Inf
1348.17/1348.42 c 1348s| 4700 | 4407 | 4009k| 850.5 | 77M| 60 |1404 |5584 |7681 |5584 |5737 | 852 |1703 |1957 | 1.837500e+01 | -- | Inf
1363.68/1363.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1363.68/1363.95 c 1364s| 4800 | 4501 | 4042k| 839.7 | 77M| 60 | 680 |5584 |7679 |5584 |5737 | 852 |1708 |1996 | 1.837500e+01 | -- | Inf
1378.07/1378.35 c 1378s| 4900 | 4597 | 4074k| 829.0 | 78M| 60 | 853 |5584 |7676 |5584 |5737 | 852 |1710 |2043 | 1.837500e+01 | -- | Inf
1391.86/1392.16 c 1392s| 5000 | 4693 | 4100k| 817.8 | 78M| 60 | 820 |5584 |7675 |5584 |5737 | 852 |1714 |2079 | 1.837500e+01 | -- | Inf
1412.86/1413.17 c 1413s| 5100 | 4791 | 4152k| 811.9 | 78M| 60 | 785 |5584 |7698 |5584 |5737 | 852 |1749 |2132 | 1.837500e+01 | -- | Inf
1428.36/1428.67 c 1429s| 5200 | 4891 | 4178k| 801.3 | 79M| 60 | 650 |5584 |7685 |5584 |5737 | 852 |1749 |2174 | 1.837500e+01 | -- | Inf
1437.26/1437.54 c 1438s| 5300 | 4987 | 4202k| 790.7 | 79M| 60 | 916 |5584 |7682 |5584 |5737 | 852 |1751 |2191 | 1.837500e+01 | -- | Inf
1454.16/1454.49 c 1454s| 5400 | 5083 | 4251k| 785.0 | 79M| 60 |1068 |5584 |7631 |5584 |5737 | 852 |1756 |2237 | 1.837500e+01 | -- | Inf
1476.15/1476.48 c 1476s| 5500 | 5173 | 4303k| 780.3 | 80M| 60 | 720 |5584 |7610 |5584 |5737 | 852 |1792 |2272 | 1.837500e+01 | -- | Inf
1490.55/1490.86 c 1491s| 5600 | 5267 | 4339k| 772.8 | 80M| 60 | 967 |5584 |7582 |5584 |5737 | 852 |1795 |2308 | 1.837500e+01 | -- | Inf
1514.04/1514.37 c 1514s| 5700 | 5361 | 4409k| 771.5 | 80M| 60 | 776 |5584 |7596 |5584 |5737 | 852 |1865 |2356 | 1.837500e+01 | -- | Inf
1540.04/1540.34 c 1540s| 5800 | 5457 | 4494k| 772.8 | 80M| 60 |1181 |5584 |7535 |5584 |5737 | 852 |1920 |2415 | 1.850000e+01 | -- | Inf
1563.04/1563.33 c 1563s| 5900 | 5545 | 4561k| 771.1 | 81M| 60 | 861 |5584 |7443 |5584 |5737 | 852 |1954 |2485 | 1.850000e+01 | -- | Inf
1583.43/1583.78 c 1584s| 6000 | 5635 | 4623k| 768.5 | 81M| 60 | 627 |5584 |7395 |5584 |5737 | 852 |1964 |2543 | 1.850000e+01 | -- | Inf
1608.33/1608.61 c 1609s| 6100 | 5731 | 4702k| 769.0 | 81M| 60 | 970 |5584 |7331 |5584 |5737 | 852 |2041 |2611 | 1.850000e+01 | -- | Inf
1624.83/1625.17 c 1625s| 6200 | 5821 | 4757k| 765.3 | 82M| 60 | 644 |5584 |7292 |5584 |5737 | 852 |2118 |2645 | 1.850000e+01 | -- | Inf
1645.72/1646.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1645.72/1646.04 c 1646s| 6300 | 5911 | 4815k| 762.4 | 82M| 60 | 591 |5584 |7189 |5584 |5737 | 852 |2125 |2703 | 1.900000e+01 | -- | Inf
1663.32/1663.64 c 1664s| 6400 | 5994 | 4873k| 759.5 | 82M| 60 | 896 |5584 |7136 |5584 |5737 | 852 |2177 |2738 | 1.900000e+01 | -- | Inf
1692.32/1692.67 c 1693s| 6500 | 6090 | 4959k| 761.1 | 82M| 60 | 596 |5584 |7040 |5584 |5737 | 852 |2238 |2806 | 1.900000e+01 | -- | Inf
1709.51/1709.86 c 1710s| 6600 | 6184 | 5009k| 757.2 | 83M| 60 | 826 |5584 |6992 |5584 |5737 | 852 |2241 |2852 | 1.900000e+01 | -- | Inf
1730.41/1730.70 c 1731s| 6700 | 6282 | 5064k| 754.1 | 83M| 60 | 755 |5584 |6936 |5584 |5737 | 852 |2242 |2920 | 1.900000e+01 | -- | Inf
1755.11/1755.47 c 1755s| 6800 | 6376 | 5131k| 752.8 | 83M| 60 | 745 |5584 |6901 |5584 |5737 | 852 |2253 |2985 | 1.900000e+01 | -- | Inf
1783.10/1783.45 c 1783s| 6900 | 6466 | 5209k| 753.2 | 84M| 60 |1104 |5584 |6874 |5584 |5737 | 852 |2343 |3041 | 1.900000e+01 | -- | Inf
1796.70/1797.00 c
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Solving Time (sec) : 1797.00
1796.70/1797.00 c Solving Nodes : 6976
1796.70/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.70/1797.00 c Dual Bound : +1.90000000000000e+01
1796.70/1797.00 c Gap : infinite
1796.70/1797.00 s UNKNOWN
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Total Time : 1797.00
1796.70/1797.00 c solving : 1797.00
1796.70/1797.00 c presolving : 0.37 (included in solving)
1796.70/1797.00 c reading : 0.14 (included in solving)
1796.70/1797.00 c copying : 0.10 (2 #copies) (minimal 0.05, maximal 0.05, average 0.05)
1796.70/1797.00 c Original Problem :
1796.70/1797.00 c Problem name : HOME/instance-3690996-1338018956.opb
1796.70/1797.00 c Variables : 5584 (5584 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 10895 initial, 10895 maximal
1796.70/1797.00 c Objective sense : minimize
1796.70/1797.00 c Presolved Problem :
1796.70/1797.00 c Problem name : t_HOME/instance-3690996-1338018956.opb
1796.70/1797.00 c Variables : 5584 (5584 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 5575 initial, 7959 maximal
1796.70/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c components : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c probing : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c knapsack : 0.01 0.00 0 0 0 0 0 0 0 105 190
1796.70/1797.00 c linear : 0.19 0.00 0 0 0 0 0 5320 0 240 240
1796.70/1797.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c root node : - - 7 - - 7 - - - - -
1796.70/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c integral : 0 0 0 0 6872 0 4 0 0 283 0 0 13512
1796.70/1797.00 c knapsack : 255 255 12 25634 0 1 3 4303 71 8967 2274 0 0
1796.70/1797.00 c linear : 5320+ 6547 12 25563 0 0 0 1059 69 20017 2 0 0
1796.70/1797.00 c logicor : 0+ 1716 12 8633 0 0 0 918 7 4978 8 0 0
1796.70/1797.00 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.70/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.00 c integral : 484.13 0.00 0.00 0.00 484.13 0.00 0.00 0.00
1796.70/1797.00 c knapsack : 4.36 0.00 0.05 4.31 0.00 0.00 0.00 0.01
1796.70/1797.00 c linear : 9.83 0.00 0.02 9.81 0.00 0.00 0.00 0.00
1796.70/1797.00 c logicor : 0.30 0.00 0.00 0.30 0.00 0.00 0.00 0.00
1796.70/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.00 c rootredcost : 0 0 0 0
1796.70/1797.00 c pseudoobj : 32407 0 0 0
1796.70/1797.00 c vbounds : 0 0 0 0
1796.70/1797.00 c redcost : 6931 0 0 50
1796.70/1797.00 c probing : 0 0 0 0
1796.70/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.00 c rootredcost : 0.02 0.00 0.00 0.02 0.00
1796.70/1797.00 c pseudoobj : 0.07 0.00 0.00 0.07 0.00
1796.70/1797.00 c vbounds : 0.01 0.00 0.00 0.01 0.00
1796.70/1797.00 c redcost : 0.71 0.00 0.00 0.71 0.00
1796.70/1797.00 c probing : 0.02 0.00 0.02 0.00 0.00
1796.70/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.00 c propagation : 0.01 147 144 726 22.3 3 12.0 -
1796.70/1797.00 c infeasible LP : 1.53 1704 1704 2111 12.7 15 11.8 0
1796.70/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.00 c applied globally : - - - 2349 13.3 - - -
1796.70/1797.00 c applied locally : - - - 0 0.0 - - -
1796.70/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.00 c cut pool : 0.01 10 - - 2092 - (maximal pool size: 6720)
1796.70/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c impliedbounds : 0.00 0.00 11 0 0 48 0
1796.70/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c gomory : 0.69 0.00 10 0 0 79 0
1796.70/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c strongcg : 0.78 0.00 11 0 0 25 0
1796.70/1797.00 c cmir : 4.52 0.00 10 0 0 5000 0
1796.70/1797.00 c flowcover : 2.45 0.00 10 0 0 2000 0
1796.70/1797.00 c clique : 0.00 0.00 1 0 0 0 0
1796.70/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c mcf : 0.00 0.00 1 0 0 0 0
1796.70/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c rapidlearning : 12.86 0.00 1 0 7 0 1227
1796.70/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.00 c problem variables: 0.00 - 0 0
1796.70/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c relpscost : 484.12 0.00 6872 0 283 0 0 13512
1796.70/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c inference : 0.00 0.00 1 0 0 0 0 2
1796.70/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.00 c LP solutions : 0.00 - - 0
1796.70/1797.00 c pseudo solutions : 0.00 - - 0
1796.70/1797.00 c oneopt : 0.01 0.00 0 0
1796.70/1797.00 c crossover : 0.01 0.00 0 0
1796.70/1797.00 c smallcard : 0.00 0.00 0 0
1796.70/1797.00 c trivial : 0.00 0.00 2 0
1796.70/1797.00 c shiftandpropagate: 0.48 0.00 1 0
1796.70/1797.00 c simplerounding : 0.00 0.00 0 0
1796.70/1797.00 c zirounding : 1.13 0.00 1000 0
1796.70/1797.00 c rounding : 2.47 0.00 1126 0
1796.70/1797.00 c shifting : 8.13 0.00 328 0
1796.70/1797.00 c intshifting : 0.00 0.00 0 0
1796.70/1797.00 c twoopt : 0.00 0.00 0 0
1796.70/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.00 c indoneopt : 0.01 0.00 0 0
1796.70/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.00 c feaspump : 33.32 0.00 12 0
1796.70/1797.00 c clique : 0.00 0.00 0 0
1796.70/1797.00 c indrounding : 0.00 0.00 0 0
1796.70/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.00 c coefdiving : 259.86 0.00 2 0
1796.70/1797.00 c pscostdiving : 43.30 0.00 28 0
1796.70/1797.00 c fracdiving : 74.73 0.00 3 0
1796.70/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.00 c veclendiving : 31.64 0.00 21 0
1796.70/1797.00 c intdiving : 0.00 0.00 0 0
1796.70/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.00 c objpscostdiving : 30.57 0.00 10 0
1796.70/1797.00 c rootsoldiving : 16.71 0.00 8 0
1796.70/1797.00 c linesearchdiving : 48.74 0.00 44 0
1796.70/1797.00 c guideddiving : 0.00 0.00 0 0
1796.70/1797.00 c octane : 0.00 0.00 0 0
1796.70/1797.00 c rens : 0.20 0.00 1 0
1796.70/1797.00 c rins : 0.00 0.00 0 0
1796.70/1797.00 c localbranching : 0.00 0.00 0 0
1796.70/1797.00 c mutation : 0.00 0.00 0 0
1796.70/1797.00 c dins : 0.00 0.00 0 0
1796.70/1797.00 c vbounds : 0.00 0.00 0 0
1796.70/1797.00 c undercover : 0.00 0.00 0 0
1796.70/1797.00 c subnlp : 0.00 0.00 0 0
1796.70/1797.00 c trysol : 0.01 0.00 0 0
1796.70/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.00 c primal LP : 0.03 1 0 0.00 0.00 0.03 1
1796.70/1797.00 c dual LP : 714.01 7169 2729147 387.44 3822.29 1.17 125
1796.70/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.00 c diving/probing LP: 519.19 5602 2527819 451.24 4868.73
1796.70/1797.00 c strong branching : 482.28 3063 1484258 484.58 3077.58
1796.70/1797.00 c (at root node) : - 25 15661 626.44 -
1796.70/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.00 c B&B Tree :
1796.70/1797.00 c number of runs : 1
1796.70/1797.00 c nodes : 6976
1796.70/1797.00 c nodes (total) : 6976
1796.70/1797.00 c nodes left : 6535
1796.70/1797.00 c max depth : 60
1796.70/1797.00 c max depth (total): 60
1796.70/1797.00 c backtracks : 907 (13.0%)
1796.70/1797.00 c delayed cutoffs : 4
1796.70/1797.00 c repropagations : 1231 (1094 domain reductions, 0 cutoffs)
1796.70/1797.00 c avg switch length: 4.95
1796.70/1797.00 c switching time : 5.05
1796.70/1797.00 c Solution :
1796.70/1797.00 c Solutions found : 0 (0 improvements)
1796.70/1797.00 c Primal Bound : -
1796.70/1797.00 c Dual Bound : +1.90000000000000e+01
1796.70/1797.00 c Gap : infinite
1796.70/1797.00 c Root Dual Bound : +1.51666666666668e+01
1796.70/1797.00 c Root Iterations : 12865
1796.80/1797.11 c Time complete: 1796.82.
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-3690996-1338018956/watcher-3690996-1338018956 -o /tmp/evaluation-result-3690996-1338018956/solver-3690996-1338018956 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690996-1338018956.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.08 2.00 1.84 3/176 7412
/proc/meminfo: memFree=27970068/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=8132 CPUtime=0 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 718 0 0 0 0 0 0 0 20 0 1 0 268019943 8327168 672 33554432000 4194304 10173063 140735690472144 140735144905208 8846909 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 2033 681 392 1460 0 564 0
[startup+0.066491 s]
/proc/loadavg: 2.08 2.00 1.84 3/176 7412
/proc/meminfo: memFree=27970068/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=17016 CPUtime=0.05 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 3011 0 0 0 5 0 0 0 20 0 1 0 268019943 17424384 2965 33554432000 4194304 10173063 140735690472144 140735144905208 8985008 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 4254 2965 416 1460 0 2785 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 17016
[startup+0.100338 s]
/proc/loadavg: 2.08 2.00 1.84 3/176 7412
/proc/meminfo: memFree=27970068/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=20364 CPUtime=0.09 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 3839 0 0 0 9 0 0 0 20 0 1 0 268019943 20852736 3793 33554432000 4194304 10173063 140735690472144 140735144905208 8985008 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 5091 3793 416 1460 0 3622 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20364
[startup+0.300327 s]
/proc/loadavg: 2.08 2.00 1.84 3/176 7412
/proc/meminfo: memFree=27970068/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=119908 CPUtime=0.29 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 28505 0 0 0 25 4 0 0 20 0 1 0 268019943 122785792 27437 33554432000 4194304 10173063 140735690472144 140735690467880 8963895 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 29977 27437 544 1460 0 28508 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 119908
[startup+0.700312 s]
/proc/loadavg: 2.08 2.00 1.84 3/176 7412
/proc/meminfo: memFree=27970068/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=147432 CPUtime=0.68 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 36935 0 0 0 62 6 0 0 20 0 1 0 268019943 150970368 33619 33554432000 4194304 10173063 140735690472144 140735690467880 8963895 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 36858 33619 684 1460 0 35389 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 147432
[startup+1.50032 s]
/proc/loadavg: 2.08 2.00 1.84 3/177 7413
/proc/meminfo: memFree=27830568/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=163532 CPUtime=1.48 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 40343 0 0 0 140 8 0 0 20 0 1 0 268019943 167456768 38080 33554432000 4194304 10173063 140735690472144 140735690463304 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 40883 38080 789 1460 0 39414 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 163532
[startup+3.10023 s]
/proc/loadavg: 2.15 2.02 1.84 3/177 7413
/proc/meminfo: memFree=27816608/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=163532 CPUtime=3.09 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 40343 0 0 0 299 10 0 0 20 0 1 0 268019943 167456768 38080 33554432000 4194304 10173063 140735690472144 140735690462568 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 40883 38080 789 1460 0 39414 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 163532
[startup+6.30032 s]
/proc/loadavg: 2.15 2.02 1.84 3/177 7413
/proc/meminfo: memFree=27752764/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=229976 CPUtime=6.29 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 56712 0 0 0 615 14 0 0 20 0 1 0 268019943 235495424 54449 33554432000 4194304 10173063 140735690472144 140735690466184 8963895 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 57494 54449 829 1460 0 56025 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 229976
[startup+12.7003 s]
/proc/loadavg: 2.13 2.02 1.84 3/177 7413
/proc/meminfo: memFree=27728252/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=250732 CPUtime=12.69 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 61778 0 0 0 1248 21 0 0 20 0 1 0 268019943 256749568 59515 33554432000 4194304 10173063 140735690472144 140735690466184 4953507 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 62683 59515 829 1460 0 61214 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 250732
[startup+25.5003 s]
/proc/loadavg: 2.11 2.02 1.84 3/177 7413
/proc/meminfo: memFree=27712560/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=261432 CPUtime=25.48 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 65304 0 0 0 2522 26 0 0 20 0 1 0 268019943 267706368 62982 33554432000 4194304 10173063 140735690472144 140735690464664 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 65358 62982 852 1460 0 63889 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 261432
[startup+51.1003 s]
/proc/loadavg: 2.07 2.02 1.85 3/177 7413
/proc/meminfo: memFree=27703100/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=270212 CPUtime=51.08 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 67136 0 0 0 5074 34 0 0 20 0 1 0 268019943 276697088 64814 33554432000 4194304 10173063 140735690472144 140735690465320 8039690 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 67553 64814 860 1460 0 66084 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 270212
[startup+102.307 s]
/proc/loadavg: 2.12 2.04 1.86 3/177 7413
/proc/meminfo: memFree=27605208/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=270212 CPUtime=102.28 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 67138 0 0 0 10183 45 0 0 20 0 1 0 268019943 276697088 64816 33554432000 4194304 10173063 140735690472144 140735690464664 8033088 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 67553 64816 862 1460 0 66084 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 270212
[startup+162.3 s]
/proc/loadavg: 2.11 2.05 1.87 3/177 7414
/proc/meminfo: memFree=27604160/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=270212 CPUtime=162.26 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 67138 0 0 0 16158 68 0 0 20 0 1 0 268019943 276697088 64816 33554432000 4194304 10173063 140735690472144 140735690464120 8033088 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 67553 64816 862 1460 0 66084 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 270212
[startup+222.3 s]
/proc/loadavg: 2.04 2.03 1.88 3/177 7414
/proc/meminfo: memFree=27602948/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=270212 CPUtime=222.26 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 67138 0 0 0 22132 94 0 0 20 0 1 0 268019943 276697088 64816 33554432000 4194304 10173063 140735690472144 140735690464120 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 67553 64816 862 1460 0 66084 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 270212
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 1.88 3/178 7417
/proc/meminfo: memFree=27601260/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=270212 CPUtime=282.24 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 67145 0 0 0 28100 124 0 0 20 0 1 0 268019943 276697088 65229 33554432000 4194304 10173063 140735690472144 140735690464120 8033088 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 67553 65229 862 1460 0 66084 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 270212
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 1.89 3/178 7440
/proc/meminfo: memFree=27599296/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=270212 CPUtime=342.22 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 67151 0 0 0 34067 155 0 0 20 0 1 0 268019943 276697088 65817 33554432000 4194304 10173063 140735690472144 140735690464120 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 67553 65817 862 1460 0 66084 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 270212
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/177 7440
/proc/meminfo: memFree=27595376/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=270212 CPUtime=402.22 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 67151 0 0 0 40034 188 0 0 20 0 1 0 268019943 276697088 66820 33554432000 4194304 10173063 140735690472144 140735690465064 8033088 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 67553 66820 862 1460 0 66084 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 270212
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/177 7441
/proc/meminfo: memFree=27605056/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=270212 CPUtime=462.2 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 67151 0 0 0 46001 219 0 0 20 0 1 0 268019943 276697088 66820 33554432000 4194304 10173063 140735690472144 140735690465496 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 67553 66820 862 1460 0 66084 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 270212
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 7441
/proc/meminfo: memFree=27605060/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=270212 CPUtime=522.19 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 67151 0 0 0 51981 238 0 0 20 0 1 0 268019943 276697088 66820 33554432000 4194304 10173063 140735690472144 140735690465368 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 67553 66820 862 1460 0 66084 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 270212
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 7441
/proc/meminfo: memFree=27605184/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=270212 CPUtime=582.18 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 67151 0 0 0 57962 256 0 0 20 0 1 0 268019943 276697088 66820 33554432000 4194304 10173063 140735690472144 140735690464856 8033088 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 67553 66820 862 1460 0 66084 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 270212
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27569068/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=270212 CPUtime=1062.11 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 67152 0 0 0 105779 432 0 0 20 0 1 0 268019943 276697088 66821 33554432000 4194304 10173063 140735690472144 140735690465768 8033088 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 67553 66821 863 1460 0 66084 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 270212
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 7446
/proc/meminfo: memFree=27566960/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=270212 CPUtime=1122.1 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 67152 0 0 0 111754 456 0 0 20 0 1 0 268019943 276697088 66821 33554432000 4194304 10173063 140735690472144 140735690468344 8963895 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 67553 66821 863 1460 0 66084 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 270212
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 7446
/proc/meminfo: memFree=27559828/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=270212 CPUtime=1182.09 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 67152 0 0 0 117722 487 0 0 20 0 1 0 268019943 276697088 66821 33554432000 4194304 10173063 140735690472144 140735690464664 8033088 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 67553 66821 863 1460 0 66084 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 270212
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 7446
/proc/meminfo: memFree=27553316/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=270212 CPUtime=1242.08 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 67152 0 0 0 123697 511 0 0 20 0 1 0 268019943 276697088 66821 33554432000 4194304 10173063 140735690472144 140735690465320 8033088 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 67553 66821 863 1460 0 66084 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 270212
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 7446
/proc/meminfo: memFree=27550216/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=270212 CPUtime=1302.09 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 67152 0 0 0 129672 537 0 0 20 0 1 0 268019943 276697088 66821 33554432000 4194304 10173063 140735690472144 140735690464664 8033088 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 67553 66821 863 1460 0 66084 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 270212
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 7447
/proc/meminfo: memFree=27542772/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=270212 CPUtime=1362.07 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 67152 0 0 0 135645 562 0 0 20 0 1 0 268019943 276697088 66821 33554432000 4194304 10173063 140735690472144 140735690465784 8033088 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 67553 66821 863 1460 0 66084 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 270212
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 7447
/proc/meminfo: memFree=27537812/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=270212 CPUtime=1422.06 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 67152 0 0 0 141624 582 0 0 20 0 1 0 268019943 276697088 66821 33554432000 4194304 10173063 140735690472144 140735690465080 8033059 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 67553 66821 863 1460 0 66084 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 270212
[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 1.92 3/178 7450
/proc/meminfo: memFree=27526300/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=270212 CPUtime=1482.05 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 67152 0 0 0 147600 605 0 0 20 0 1 0 268019943 276697088 66821 33554432000 4194304 10173063 140735690472144 140735690464856 7576547 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 67553 66821 863 1460 0 66084 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 270212
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/177 7450
/proc/meminfo: memFree=27523020/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=270212 CPUtime=1542.04 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 67152 0 0 0 153572 632 0 0 20 0 1 0 268019943 276697088 66821 33554432000 4194304 10173063 140735690472144 140735690464664 8033088 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 67553 66821 863 1460 0 66084 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 270212
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 7450
/proc/meminfo: memFree=27515704/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=270212 CPUtime=1602.03 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 67152 0 0 0 159540 663 0 0 20 0 1 0 268019943 276697088 66821 33554432000 4194304 10173063 140735690472144 140735690465128 8033088 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 67553 66821 863 1460 0 66084 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 270212
[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 1.93 3/177 7451
/proc/meminfo: memFree=27509620/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=270212 CPUtime=1662.02 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 67152 0 0 0 165514 688 0 0 20 0 1 0 268019943 276697088 66821 33554432000 4194304 10173063 140735690472144 140735690465464 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 67553 66821 863 1460 0 66084 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 270212
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/177 7451
/proc/meminfo: memFree=27493372/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=270212 CPUtime=1722.02 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 67152 0 0 0 171487 715 0 0 20 0 1 0 268019943 276697088 66821 33554432000 4194304 10173063 140735690472144 140735690465272 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 67553 66821 863 1460 0 66084 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 270212
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/177 7489
/proc/meminfo: memFree=27892580/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=270212 CPUtime=1782 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 67152 0 0 0 177459 741 0 0 20 0 1 0 268019943 276697088 66821 33554432000 4194304 10173063 140735690472144 140735690465976 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 67553 66821 863 1460 0 66084 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 270212
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.00 1.93 3/177 7489
/proc/meminfo: memFree=27892580/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=270212 CPUtime=1785.2 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 67152 0 0 0 177777 743 0 0 20 0 1 0 268019943 276697088 66821 33554432000 4194304 10173063 140735690472144 140735690464664 8033088 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 67553 66821 863 1460 0 66084 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 270212
[startup+1791.91 s]
/proc/loadavg: 2.01 2.00 1.93 3/177 7527
/proc/meminfo: memFree=28041676/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=270212 CPUtime=1791.61 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 67152 0 0 0 178414 747 0 0 20 0 1 0 268019943 276697088 66821 33554432000 4194304 10173063 140735690472144 140735690465784 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 67553 66821 863 1460 0 66084 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 270212
[startup+1795.1 s]
/proc/loadavg: 2.01 2.00 1.93 3/177 7565
/proc/meminfo: memFree=28022580/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=270212 CPUtime=1794.81 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 67152 0 0 0 178733 748 0 0 20 0 1 0 268019943 276697088 66821 33554432000 4194304 10173063 140735690472144 140735690465976 8047331 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 67553 66821 863 1460 0 66084 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 270212
[startup+1795.9 s]
/proc/loadavg: 2.01 2.00 1.93 3/177 7565
/proc/meminfo: memFree=28022580/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=270212 CPUtime=1795.6 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 67152 0 0 0 178812 748 0 0 20 0 1 0 268019943 276697088 66821 33554432000 4194304 10173063 140735690472144 140735690464664 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 67553 66821 863 1460 0 66084 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 270212
[startup+1796.7 s]
/proc/loadavg: 2.01 2.00 1.93 3/177 7565
/proc/meminfo: memFree=28022820/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=270212 CPUtime=1796.4 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 67152 0 0 0 178891 749 0 0 20 0 1 0 268019943 276697088 66821 33554432000 4194304 10173063 140735690472144 140735690465128 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 67553 66821 863 1460 0 66084 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 270212
[startup+1797.1 s]
/proc/loadavg: 2.01 2.00 1.93 3/177 7565
/proc/meminfo: memFree=28022820/32873844 swapFree=7616/7616
[pid=7412] ppid=7410 vsize=251808 CPUtime=1796.8 cores=1,3,5,7
/proc/7412/stat : 7412 (scip-2.1.1.4fix) R 7410 7412 6477 0 -1 4202496 67156 0 0 0 178931 749 0 0 20 0 1 0 268019943 257851392 62224 33554432000 4194304 10173063 140735690472144 140735690465128 5908620 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7412/statm: 62952 62224 867 1460 0 61483 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 251808
Child status: 0
Real time (s): 1797.12
CPU time (s): 1796.83
CPU user time (s): 1789.32
CPU system time (s): 7.50586
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 270212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.32
system time used= 7.50586
maximum resident set size= 267300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67158
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= 16
involuntary context switches= 1970
runsolver used 3.47347 second user time and 8.80466 second system time
The end