0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.03 c Default LC presolving (default).
0.00/0.03 c ** Before presolving: virtualMemUsedAtLc = 44335104, getVmSize() = 44335104, SCIPgetMemUsed() = 18694193, SCIPgetMemTotal() = 22058905, SCIPgetMemExternEstim() = 11381264
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.09/0.20 c ** Estimated virtualMemUsedAtSolver = 36118528, getVmSize() = 64020480, SCIPgetMemUsed() = 22041266, SCIPgetMemTotal() = 39940402, SCIPgetMemExternEstim() = 11381264
0.09/0.20 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.09/0.20 c Original Problem :
0.09/0.20 c Problem name : instance-4450690-1721417788
0.09/0.20 c Variables : 3968 (3968 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.20 c Constraints : 7856
0.09/0.20 c Objective sense : minimize
0.09/0.20 c Presolved Problem :
0.09/0.20 c Variables : 3225 (3225 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.20 c Constraints : 6532
0.09/0.20 c Constraints : Number
0.09/0.20 c and : 41
0.09/0.20 c xor : 2
0.09/0.20 c linear : 1299
0.09/0.20 c logicor : 5190
0.09/0.20 c ** Instance transfer method used: 0
0.20/0.22 c ** ParaScipInstance copy does not increase the number of variables. **
0.20/0.23 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.20/0.23 c Nodes Active
0.20/0.23 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
31.49/31.63 c 32 2 1 1 - 0.0000 -
38.07/38.28 c 38 10 9 1 - 0.0000 -
45.36/45.58 c 46 13 12 1 - 0.0000 -
50.45/50.62 c 51 15 14 1 - 0.0000 -
172.75/173.23 c 173 16 15 1 - 0.0000 -
179.14/179.65 c 180 18 17 1 - 0.0000 -
186.63/187.14 c 187 20 19 1 - 0.0000 -
194.90/195.46 c 195 23 22 1 - 0.0000 -
201.28/201.89 c 202 29 28 1 - 0.0000 -
210.26/210.83 c 211 34 33 1 - 0.0000 -
215.25/215.87 c 216 38 37 1 - 0.0000 -
221.94/222.50 c 222 42 41 1 - 0.0000 -
227.42/228.01 c 228 54 53 1 - 0.0000 -
235.40/236.00 c 236 60 59 1 - 0.0000 -
240.40/241.06 c 241 64 63 1 - 0.0000 -
246.18/246.88 c 247 89 88 1 - 0.0000 -
253.26/253.91 c 254 116 115 1 - 0.0000 -
260.44/261.14 c 261 137 136 1 - 0.0000 -
268.32/269.08 c 269 143 142 1 - 0.0000 -
275.20/275.96 c 276 180 179 1 - 0.0000 -
283.48/284.24 c 284 212 211 1 - 0.0000 -
289.37/290.18 c 290 285 284 1 - 0.0000 -
296.15/296.95 c 297 312 311 1 - 0.0000 -
304.64/305.40 c 305 363 362 1 - 0.0000 -
309.92/310.73 c 311 417 416 1 - 0.0000 -
315.51/316.34 c 316 428 427 1 - 0.0000 -
321.09/321.95 c 322 480 479 1 - 0.0000 -
328.58/329.49 c 329 496 495 1 - 0.0000 -
334.27/335.14 c 335 540 539 1 - 0.0000 -
339.85/340.76 c 341 577 576 1 - 0.0000 -
346.33/347.23 c 347 612 611 1 - 0.0000 -
352.01/352.94 c 353 708 707 1 - 0.0000 -
358.00/358.99 c 359 744 743 1 - 0.0000 -
365.38/366.31 c 366 752 751 1 - 0.0000 -
371.56/372.54 c 373 783 782 1 - 0.0000 -
376.64/377.69 c 378 803 802 1 - 0.0000 -
381.73/382.79 c 383 835 834 1 - 0.0000 -
389.41/390.46 c 390 850 849 1 - 0.0000 -
396.29/397.30 c 397 882 881 1 - 0.0000 -
402.46/403.51 c 404 966 965 1 - 0.0000 -
407.85/408.95 c 409 985 984 1 - 0.0000 -
415.53/416.60 c 417 1005 1004 1 - 0.0000 -
461.48/462.76 c 463 1051 1 1 - 0.0000 -
470.06/471.34 c 471 1063 13 1 - 0.0000 -
476.25/477.56 c 478 1065 15 1 - 0.0000 -
481.92/483.29 c 483 1067 17 1 - 0.0000 -
487.71/489.08 c 489 1071 21 1 - 0.0000 -
494.09/495.40 c 495 1091 41 1 - 0.0000 -
499.08/500.43 c 500 1094 44 1 - 0.0000 -
504.76/506.18 c 506 1111 61 1 - 0.0000 -
510.64/512.00 c 512 1145 95 1 - 0.0000 -
516.23/517.61 c 518 1369 317 1 - 0.0000 -
521.61/523.09 c 523 1590 434 1 - 0.0000 -
527.10/528.51 c 529 1633 462 1 - 0.0000 -
535.18/536.66 c 537 1711 528 1 - 0.0000 -
542.26/543.79 c 544 2206 793 1 - 0.0000 -
547.74/549.23 c 549 2713 981 1 - 0.0000 -
552.83/554.33 c 554 3444 992 1 - 0.0000 -
557.92/559.45 c 559 4125 994 1 - 0.0000 -
563.00/564.50 c 564 5043 994 1 - 0.0000 -
567.99/569.55 c 570 5893 982 1 - 0.0000 -
573.07/574.62 c 575 6739 984 1 - 0.0000 -
578.06/579.67 c 580 7526 988 1 - 0.0000 -
583.15/584.73 c 585 8339 1005 1 - 0.0000 -
588.24/589.81 c 590 9090 1000 1 - 0.0000 -
593.22/594.89 c 595 9838 1004 1 - 0.0000 -
598.31/599.95 c 600 10618 1006 1 - 0.0000 -
603.40/605.01 c 605 11453 1005 1 - 0.0000 -
608.38/610.06 c 610 12259 1012 1 - 0.0000 -
613.47/615.11 c 615 13085 1012 1 - 0.0000 -
618.46/620.18 c 620 13813 1004 1 - 0.0000 -
623.54/625.26 c 625 14552 1007 1 - 0.0000 -
628.63/630.33 c 630 15316 1001 1 - 0.0000 -
633.61/635.38 c 635 16037 1005 1 - 0.0000 -
638.70/640.43 c 640 16702 1009 1 - 0.0000 -
643.79/645.50 c 646 17489 1015 1 - 0.0000 -
648.78/650.55 c 651 18286 997 1 - 0.0000 -
653.86/655.60 c 656 19044 1012 1 - 0.0000 -
658.86/660.65 c 661 19824 1000 1 - 0.0000 -
663.94/665.70 c 666 20581 1005 1 - 0.0000 -
668.92/670.76 c 671 21425 1019 1 - 0.0000 -
674.02/675.81 c 676 22326 1035 1 - 0.0000 -
679.00/680.87 c 681 23116 1012 1 - 0.0000 -
684.09/685.93 c 686 23914 1027 1 - 0.0000 -
689.07/690.98 c 691 24633 1021 1 - 0.0000 -
694.16/696.03 c 696 25356 1034 1 - 0.0000 -
699.16/701.08 c 701 26013 1024 1 - 0.0000 -
704.24/706.15 c 706 26777 1034 1 - 0.0000 -
709.32/711.21 c 711 27516 1040 1 - 0.0000 -
714.31/716.26 c 716 28260 1048 1 - 0.0000 -
719.40/721.32 c 721 29054 1051 1 - 0.0000 -
724.39/726.39 c 726 29776 1037 1 - 0.0000 -
729.48/731.44 c 731 30522 1050 1 - 0.0000 -
734.56/736.52 c 737 31201 1051 1 - 0.0000 -
739.55/741.58 c 742 31942 1063 1 - 0.0000 -
744.64/746.64 c 747 32714 1059 1 - 0.0000 -
749.73/751.71 c 752 33530 1057 1 - 0.0000 -
754.71/756.78 c 757 34280 1046 1 - 0.0000 -
759.80/761.83 c 762 35074 1044 1 - 0.0000 -
764.78/766.89 c 767 35838 1059 1 - 0.0000 -
769.88/771.96 c 772 36559 1053 1 - 0.0000 -
774.97/777.01 c 777 37255 1047 1 - 0.0000 -
780.06/782.13 c 782 38017 1044 1 - 0.0000 -
785.04/787.19 c 787 38703 1042 1 - 0.0000 -
790.12/792.26 c 792 39413 1051 1 - 0.0000 -
795.21/797.32 c 797 40161 1030 1 - 0.0000 -
800.20/802.38 c 802 40908 1026 1 - 0.0000 -
805.28/807.43 c 807 41630 1020 1 - 0.0000 -
810.28/812.49 c 812 42341 1022 1 - 0.0000 -
815.36/817.56 c 818 43068 1013 1 - 0.0000 -
820.44/822.63 c 823 43834 1032 1 - 0.0000 -
825.43/827.69 c 828 44629 1035 1 - 0.0000 -
830.52/832.75 c 833 45446 1031 1 - 0.0000 -
835.61/837.83 c 838 46118 1041 1 - 0.0000 -
840.59/842.88 c 843 46828 1026 1 - 0.0000 -
845.69/847.94 c 848 47550 1026 1 - 0.0000 -
850.78/853.02 c 853 48300 1026 1 - 0.0000 -
855.76/858.08 c 858 49089 1034 1 - 0.0000 -
860.85/863.15 c 863 49809 1035 1 - 0.0000 -
865.94/868.20 c 868 50651 1038 1 - 0.0000 -
870.92/873.26 c 873 51372 1035 1 - 0.0000 -
876.01/878.33 c 878 52084 1045 1 - 0.0000 -
881.00/883.39 c 883 52768 1053 1 - 0.0000 -
886.08/888.45 c 888 53453 1051 1 - 0.0000 -
891.17/893.51 c 894 54167 1061 1 - 0.0000 -
896.16/898.57 c 899 54874 1070 1 - 0.0000 -
901.25/903.62 c 904 55634 1039 1 - 0.0000 -
906.23/908.68 c 909 56347 1038 1 - 0.0000 -
911.32/913.73 c 914 57139 1057 1 - 0.0000 -
916.31/918.79 c 919 57822 1039 1 - 0.0000 -
921.39/923.84 c 924 58515 1028 1 - 0.0000 -
926.49/928.90 c 929 59229 1011 1 - 0.0000 -
932.37/934.89 c 935 59869 1011 1 - 0.0000 -
937.45/939.96 c 940 60590 1004 1 - 0.0000 -
942.55/945.02 c 945 61259 990 1 - 0.0000 -
947.53/950.08 c 950 61982 1010 1 - 0.0000 -
952.62/955.13 c 955 62749 1018 1 - 0.0000 -
957.62/960.18 c 960 63557 1013 1 - 0.0000 -
962.69/965.25 c 965 64352 1013 1 - 0.0000 -
967.78/970.30 c 970 65108 1000 1 - 0.0000 -
972.77/975.38 c 975 65886 1003 1 - 0.0000 -
977.86/980.44 c 980 66769 1006 1 - 0.0000 -
982.84/985.49 c 985 67618 1021 1 - 0.0000 -
987.93/990.54 c 991 68369 1002 1 - 0.0000 -
992.92/995.59 c 996 69208 1008 1 - 0.0000 -
998.01/1000.64 c 1001 70038 1004 1 - 0.0000 -
1002.99/1005.69 c 1006 70840 1011 1 - 0.0000 -
1008.08/1010.74 c 1011 71563 1012 1 - 0.0000 -
1013.07/1015.79 c 1016 72327 1006 1 - 0.0000 -
1018.16/1020.86 c 1021 73016 1017 1 - 0.0000 -
1023.24/1025.90 c 1026 73781 1009 1 - 0.0000 -
1028.23/1030.98 c 1031 74520 1002 1 - 0.0000 -
1033.31/1036.03 c 1036 75345 997 1 - 0.0000 -
1038.30/1041.08 c 1041 76083 1030 1 - 0.0000 -
1043.40/1046.14 c 1046 76855 1020 1 - 0.0000 -
1048.47/1051.21 c 1051 77662 1022 1 - 0.0000 -
1053.47/1056.26 c 1056 78435 1007 1 - 0.0000 -
1058.55/1061.33 c 1061 79211 1006 1 - 0.0000 -
1063.64/1066.42 c 1066 80027 1017 1 - 0.0000 -
1068.62/1071.47 c 1071 80889 1007 1 - 0.0000 -
1073.71/1076.54 c 1077 81733 1015 1 - 0.0000 -
1078.80/1081.62 c 1082 82613 1017 1 - 0.0000 -
1084.09/1086.92 c 1087 83374 999 1 - 0.0000 -
1089.07/1091.97 c 1092 84191 1004 1 - 0.0000 -
1094.17/1097.04 c 1097 84949 1019 1 - 0.0000 -
1099.25/1102.11 c 1102 85675 1002 1 - 0.0000 -
1104.24/1107.18 c 1107 86382 998 1 - 0.0000 -
1109.32/1112.24 c 1112 87178 987 1 - 0.0000 -
1114.30/1117.29 c 1117 88006 988 1 - 0.0000 -
1119.40/1122.37 c 1122 88931 987 1 - 0.0000 -
1124.48/1127.42 c 1127 89759 990 1 - 0.0000 -
1129.47/1132.47 c 1132 90558 1003 1 - 0.0000 -
1134.55/1137.54 c 1138 91433 997 1 - 0.0000 -
1139.55/1142.59 c 1143 92230 1000 1 - 0.0000 -
1144.63/1147.64 c 1148 93023 1050 1 - 0.0000 -
1149.71/1152.70 c 1153 93764 1046 1 - 0.0000 -
1154.71/1157.75 c 1158 94509 1018 1 - 0.0000 -
1159.80/1162.80 c 1163 95286 1026 1 - 0.0000 -
1164.78/1167.86 c 1168 96057 1008 1 - 0.0000 -
1169.87/1172.92 c 1173 96732 1016 1 - 0.0000 -
1174.85/1177.97 c 1178 97498 1019 1 - 0.0000 -
1179.94/1183.04 c 1183 98280 1018 1 - 0.0000 -
1184.94/1188.08 c 1188 99086 1021 1 - 0.0000 -
1190.02/1193.15 c 1193 99877 1036 1 - 0.0000 -
1195.01/1198.20 c 1198 100603 1012 1 - 0.0000 -
1200.09/1203.28 c 1203 101460 1023 1 - 0.0000 -
1205.18/1208.34 c 1208 102280 1007 1 - 0.0000 -
1210.26/1213.40 c 1213 103041 1039 1 - 0.0000 -
1215.25/1218.47 c 1218 103819 1042 1 - 0.0000 -
1220.33/1223.53 c 1224 104561 1024 1 - 0.0000 -
1225.41/1228.62 c 1229 105374 1006 1 - 0.0000 -
1230.40/1233.68 c 1234 106057 997 1 - 0.0000 -
1235.49/1238.74 c 1239 106925 1002 1 - 0.0000 -
1240.47/1243.79 c 1244 107709 996 1 - 0.0000 -
1245.56/1248.84 c 1249 108433 999 1 - 0.0000 -
1250.54/1253.89 c 1254 109268 997 1 - 0.0000 -
1255.62/1258.94 c 1259 110074 1024 1 - 0.0000 -
1260.61/1263.99 c 1264 110887 1022 1 - 0.0000 -
1265.70/1269.04 c 1269 111663 1013 1 - 0.0000 -
1270.78/1274.14 c 1274 112389 1010 1 - 0.0000 -
1275.86/1279.20 c 1279 113247 1011 1 - 0.0000 -
1280.86/1284.26 c 1284 113999 1006 1 - 0.0000 -
1285.94/1289.31 c 1289 114794 1023 1 - 0.0000 -
1290.92/1294.37 c 1294 115580 1002 1 - 0.0000 -
1296.01/1299.43 c 1299 116337 1004 1 - 0.0000 -
1301.10/1304.50 c 1304 117251 1001 1 - 0.0000 -
1306.09/1309.55 c 1310 118117 997 1 - 0.0000 -
1311.18/1314.62 c 1315 118889 993 1 - 0.0000 -
1316.26/1319.70 c 1320 119702 1005 1 - 0.0000 -
1321.25/1324.76 c 1325 120586 1010 1 - 0.0000 -
1326.33/1329.81 c 1330 121384 1001 1 - 0.0000 -
1331.31/1334.87 c 1335 122184 1014 1 - 0.0000 -
1336.41/1339.94 c 1340 123014 1030 1 - 0.0000 -
1341.50/1345.01 c 1345 123690 999 1 - 0.0000 -
1346.48/1350.06 c 1350 124425 1005 1 - 0.0000 -
1351.57/1355.12 c 1355 125185 995 1 - 0.0000 -
1356.55/1360.17 c 1360 125987 994 1 - 0.0000 -
1361.63/1365.23 c 1365 126738 999 1 - 0.0000 -
1366.73/1370.30 c 1370 127504 994 1 - 0.0000 -
1371.71/1375.37 c 1375 128333 1010 1 - 0.0000 -
1376.80/1380.43 c 1380 129038 1001 1 - 0.0000 -
1381.88/1385.51 c 1386 129724 990 1 - 0.0000 -
1386.87/1390.57 c 1391 130574 1001 1 - 0.0000 -
1391.95/1395.63 c 1396 131260 1004 1 - 0.0000 -
1396.95/1400.69 c 1401 132059 989 1 - 0.0000 -
1402.03/1405.74 c 1406 132820 1000 1 - 0.0000 -
1407.12/1410.80 c 1411 133616 1010 1 - 0.0000 -
1412.11/1415.86 c 1416 134346 990 1 - 0.0000 -
1417.19/1420.91 c 1421 135101 988 1 - 0.0000 -
1422.18/1425.96 c 1426 135897 991 1 - 0.0000 -
1427.28/1431.02 c 1431 136636 987 1 - 0.0000 -
1432.26/1436.08 c 1436 137396 1002 1 - 0.0000 -
1437.35/1441.13 c 1441 138177 1016 1 - 0.0000 -
1442.33/1446.19 c 1446 139019 1013 1 - 0.0000 -
1447.42/1451.26 c 1451 139868 998 1 - 0.0000 -
1452.51/1456.33 c 1456 140657 994 1 - 0.0000 -
1457.49/1461.38 c 1461 141451 988 1 - 0.0000 -
1462.58/1466.46 c 1466 142217 976 1 - 0.0000 -
1467.66/1471.51 c 1472 143047 1002 1 - 0.0000 -
1472.65/1476.58 c 1477 143862 986 1 - 0.0000 -
1477.74/1481.63 c 1482 144688 988 1 - 0.0000 -
1482.73/1486.68 c 1487 145459 994 1 - 0.0000 -
1487.81/1491.75 c 1492 146221 992 1 - 0.0000 -
1492.90/1496.82 c 1497 146995 988 1 - 0.0000 -
1497.89/1501.89 c 1502 147794 1001 1 - 0.0000 -
1502.97/1506.96 c 1507 148692 1018 1 - 0.0000 -
1508.06/1512.02 c 1512 149448 1026 1 - 0.0000 -
1513.05/1517.07 c 1517 150241 1006 1 - 0.0000 -
1518.15/1522.15 c 1522 151042 1018 1 - 0.0000 -
1523.22/1527.20 c 1527 151785 1032 1 - 0.0000 -
1528.21/1532.26 c 1532 152491 1019 1 - 0.0000 -
1533.30/1537.39 c 1537 153131 1006 1 - 0.0000 -
1538.39/1542.46 c 1542 153991 1000 1 - 0.0000 -
1543.47/1547.51 c 1548 154891 993 1 - 0.0000 -
1548.46/1552.58 c 1553 155647 993 1 - 0.0000 -
1553.54/1557.63 c 1558 156402 997 1 - 0.0000 -
1558.54/1562.68 c 1563 157291 982 1 - 0.0000 -
1563.62/1567.74 c 1568 158078 1011 1 - 0.0000 -
1568.61/1572.79 c 1573 158844 1004 1 - 0.0000 -
1573.69/1577.84 c 1578 159565 987 1 - 0.0000 -
1578.69/1582.89 c 1583 160351 978 1 - 0.0000 -
1586.27/1590.45 c 1590 161066 1053 1 - 0.0000 -
1591.35/1595.51 c 1596 162029 1106 1 - 0.0000 -
1596.34/1600.57 c 1601 162870 1133 1 - 0.0000 -
1601.43/1605.63 c 1606 163661 1137 1 - 0.0000 -
1606.42/1610.68 c 1611 164447 1126 1 - 0.0000 -
1611.50/1615.73 c 1616 165267 1113 1 - 0.0000 -
1616.49/1620.79 c 1621 166107 1087 1 - 0.0000 -
1621.58/1625.85 c 1626 166928 1100 1 - 0.0000 -
1626.67/1630.92 c 1631 167760 1068 1 - 0.0000 -
1631.65/1635.97 c 1636 168639 1082 1 - 0.0000 -
1636.74/1641.02 c 1641 169502 1145 1 - 0.0000 -
1641.73/1646.08 c 1646 170243 1147 1 - 0.0000 -
1646.82/1651.13 c 1651 170960 1146 1 - 0.0000 -
1651.81/1656.19 c 1656 171699 1135 1 - 0.0000 -
1656.89/1661.24 c 1661 172576 1159 1 - 0.0000 -
1661.87/1666.29 c 1666 173436 1173 1 - 0.0000 -
1666.96/1671.34 c 1671 174285 1167 1 - 0.0000 -
1671.95/1676.39 c 1676 175107 1171 1 - 0.0000 -
1677.03/1681.44 c 1681 175916 1142 1 - 0.0000 -
1682.02/1686.49 c 1686 176700 1132 1 - 0.0000 -
1687.11/1691.54 c 1692 177526 1151 1 - 0.0000 -
1692.20/1696.62 c 1697 178340 1147 1 - 0.0000 -
1697.19/1701.69 c 1702 179195 1173 1 - 0.0000 -
1702.27/1706.76 c 1707 179988 1160 1 - 0.0000 -
1707.36/1711.85 c 1712 180805 1160 1 - 0.0000 -
1712.34/1716.90 c 1717 181620 1158 1 - 0.0000 -
1717.43/1721.96 c 1722 182376 1160 1 - 0.0000 -
1722.52/1727.01 c 1727 183218 1171 1 - 0.0000 -
1727.50/1732.08 c 1732 184061 1168 1 - 0.0000 -
1732.59/1737.13 c 1737 184848 1175 1 - 0.0000 -
1737.58/1742.18 c 1742 185629 1173 1 - 0.0000 -
1742.66/1747.23 c 1747 186438 1161 1 - 0.0000 -
1747.65/1752.28 c 1752 187232 1160 1 - 0.0000 -
1753.04/1757.60 c 1758 187973 1181 1 - 0.0000 -
1758.02/1762.65 c 1763 188753 1163 1 - 0.0000 -
1763.11/1767.70 c 1768 189506 1164 1 - 0.0000 -
1768.10/1772.76 c 1773 190296 1162 1 - 0.0000 -
1773.19/1777.83 c 1778 191064 1165 1 - 0.0000 -
1778.18/1782.89 c 1783 191856 1158 1 - 0.0000 -
1783.26/1787.94 c 1788 192639 1162 1 - 0.0000 -
1788.35/1793.01 c 1793 193413 1177 1 - 0.0000 -
1793.34/1798.06 c 1798 194129 1171 1 - 0.0000 -
1798.43/1803.13 c 1803 194893 1165 1 - 0.0000 -
1803.41/1808.18 c 1808 195694 1161 1 - 0.0000 -
1808.50/1813.24 c 1813 196504 1191 1 - 0.0000 -
1813.58/1818.30 c 1818 197256 1211 1 - 0.0000 -
1818.57/1823.35 c 1823 198105 1189 1 - 0.0000 -
1823.66/1828.42 c 1828 198973 1202 1 - 0.0000 -
1828.64/1833.47 c 1833 199809 1196 1 - 0.0000 -
1833.73/1838.52 c 1839 200620 1186 1 - 0.0000 -
1838.71/1843.57 c 1844 201377 1191 1 - 0.0000 -
1843.81/1848.64 c 1849 202134 1186 1 - 0.0000 -
1848.80/1853.69 c 1854 202976 1208 1 - 0.0000 -
1853.88/1858.76 c 1859 203757 1188 1 - 0.0000 -
1858.96/1863.81 c 1864 204556 1219 1 - 0.0000 -
1863.96/1868.86 c 1869 205369 1226 1 - 0.0000 -
1869.04/1873.91 c 1874 206137 1230 1 - 0.0000 -
1874.03/1878.98 c 1879 206900 1233 1 - 0.0000 -
1879.12/1884.03 c 1884 207624 1214 1 - 0.0000 -
1884.11/1889.08 c 1889 208368 1221 1 - 0.0000 -
1889.19/1894.14 c 1894 209142 1214 1 - 0.0000 -
1894.28/1899.20 c 1899 209964 1221 1 - 0.0000 -
1899.27/1904.25 c 1904 210746 1228 1 - 0.0000 -
1904.35/1909.31 c 1909 211536 1217 1 - 0.0000 -
1909.34/1914.39 c 1914 212326 1260 1 - 0.0000 -
1914.43/1919.44 c 1919 213030 1261 1 - 0.0000 -
1919.52/1924.52 c 1925 213708 1265 1 - 0.0000 -
1924.50/1929.59 c 1930 214414 1261 1 - 0.0000 -
1929.59/1934.65 c 1935 215193 1270 1 - 0.0000 -
1934.57/1939.69 c 1940 215863 1251 1 - 0.0000 -
1939.67/1944.74 c 1945 216592 1253 1 - 0.0000 -
1944.75/1949.82 c 1950 217275 1269 1 - 0.0000 -
1949.74/1954.88 c 1955 217952 1255 1 - 0.0000 -
1954.82/1959.95 c 1960 218674 1280 1 - 0.0000 -
1959.91/1965.01 c 1965 219397 1254 1 - 0.0000 -
1964.91/1970.08 c 1970 220105 1259 1 - 0.0000 -
1969.99/1975.13 c 1975 220796 1254 1 - 0.0000 -
1975.08/1980.21 c 1980 221520 1265 1 - 0.0000 -
1980.06/1985.26 c 1985 222240 1259 1 - 0.0000 -
1985.16/1990.34 c 1990 222993 1267 1 - 0.0000 -
1990.24/1995.40 c 1995 223700 1272 1 - 0.0000 -
1995.22/2000.45 c 2000 224513 1271 1 - 0.0000 -
2000.31/2005.50 c 2006 225271 1274 1 - 0.0000 -
2005.31/2010.57 c 2011 226105 1272 1 - 0.0000 -
2010.39/2015.61 c 2016 226920 1287 1 - 0.0000 -
2015.37/2020.69 c 2021 227728 1261 1 - 0.0000 -
2020.47/2025.75 c 2026 228459 1259 1 - 0.0000 -
2025.55/2030.80 c 2031 229208 1273 1 - 0.0000 -
2030.54/2035.87 c 2036 230008 1266 1 - 0.0000 -
2035.63/2040.94 c 2041 230817 1262 1 - 0.0000 -
2040.61/2045.99 c 2046 231581 1263 1 - 0.0000 -
2045.71/2051.03 c 2051 232359 1273 1 - 0.0000 -
2050.69/2056.09 c 2056 233059 1255 1 - 0.0000 -
2055.78/2061.14 c 2061 233779 1263 1 - 0.0000 -
2060.86/2066.20 c 2066 234605 1252 1 - 0.0000 -
2065.85/2071.26 c 2071 235386 1247 1 - 0.0000 -
2070.94/2076.31 c 2076 236228 1253 1 - 0.0000 -
2075.92/2081.37 c 2081 236986 1258 1 - 0.0000 -
2081.01/2086.43 c 2086 237702 1250 1 - 0.0000 -
2086.00/2091.49 c 2091 238504 1240 1 - 0.0000 -
2091.09/2096.55 c 2097 239313 1248 1 - 0.0000 -
2096.18/2101.60 c 2102 239992 1251 1 - 0.0000 -
2101.16/2106.66 c 2107 240725 1242 1 - 0.0000 -
2106.25/2111.71 c 2112 241547 1256 1 - 0.0000 -
2111.24/2116.76 c 2117 242297 1262 1 - 0.0000 -
2116.33/2121.82 c 2122 243106 1253 1 - 0.0000 -
2121.32/2126.87 c 2127 243903 1248 1 - 0.0000 -
2126.40/2131.93 c 2132 244573 1250 1 - 0.0000 -
2131.39/2136.98 c 2137 245278 1273 1 - 0.0000 -
2136.48/2142.06 c 2142 246074 1249 1 - 0.0000 -
2141.57/2147.12 c 2147 246793 1276 1 - 0.0000 -
2146.55/2152.18 c 2152 247500 1253 1 - 0.0000 -
2151.64/2157.29 c 2157 248213 1255 1 - 0.0000 -
2156.73/2162.35 c 2162 248954 1283 1 - 0.0000 -
2161.81/2167.40 c 2167 249682 1272 1 - 0.0000 -
2166.80/2172.46 c 2172 250469 1262 1 - 0.0000 -
2171.89/2177.51 c 2178 251226 1262 1 - 0.0000 -
2176.88/2182.56 c 2183 252016 1252 1 - 0.0000 -
2181.97/2187.62 c 2188 252884 1255 1 - 0.0000 -
2186.95/2192.68 c 2193 253757 1246 1 - 0.0000 -
2192.04/2197.74 c 2198 254710 1263 1 - 0.0000 -
2197.13/2202.81 c 2203 255699 1290 1 - 0.0000 -
2202.12/2207.86 c 2208 256565 1275 1 - 0.0000 -
2207.21/2212.93 c 2213 257303 1258 1 - 0.0000 -
2212.30/2218.01 c 2218 258070 1264 1 - 0.0000 -
2217.28/2223.06 c 2223 258965 1265 1 - 0.0000 -
2222.37/2228.12 c 2228 259804 1267 1 - 0.0000 -
2227.35/2233.18 c 2233 260725 1274 1 - 0.0000 -
2232.44/2238.24 c 2238 261584 1266 1 - 0.0000 -
2237.43/2243.29 c 2243 262371 1263 1 - 0.0000 -
2242.51/2248.34 c 2248 263173 1255 1 - 0.0000 -
2247.50/2253.39 c 2253 263977 1261 1 - 0.0000 -
2252.59/2258.44 c 2258 264927 1250 1 - 0.0000 -
2257.57/2263.49 c 2263 265845 1256 1 - 0.0000 -
2262.66/2268.55 c 2269 266646 1259 1 - 0.0000 -
2267.76/2273.60 c 2274 267542 1324 1 - 0.0000 -
2272.74/2278.65 c 2279 268410 1302 1 - 0.0000 -
2277.83/2283.70 c 2284 269218 1274 1 - 0.0000 -
2282.82/2288.75 c 2289 270064 1267 1 - 0.0000 -
2287.90/2293.80 c 2294 270875 1266 1 - 0.0000 -
2292.89/2298.86 c 2299 271713 1259 1 - 0.0000 -
2297.97/2303.92 c 2304 272596 1267 1 - 0.0000 -
2302.97/2308.97 c 2309 273541 1292 1 - 0.0000 -
2308.06/2314.05 c 2314 274380 1277 1 - 0.0000 -
2313.05/2319.10 c 2319 275289 1274 1 - 0.0000 -
2318.13/2324.15 c 2324 276137 1269 1 - 0.0000 -
2323.22/2329.20 c 2329 277032 1255 1 - 0.0000 -
2328.21/2334.26 c 2334 277973 1272 1 - 0.0000 -
2333.29/2339.31 c 2339 278904 1261 1 - 0.0000 -
2338.28/2344.38 c 2344 279770 1264 1 - 0.0000 -
2343.37/2349.43 c 2349 280635 1271 1 - 0.0000 -
2348.36/2354.49 c 2354 281589 1268 1 - 0.0000 -
2353.44/2359.54 c 2360 282525 1263 1 - 0.0000 -
2358.43/2364.59 c 2365 283328 1258 1 - 0.0000 -
2363.51/2369.64 c 2370 284220 1278 1 - 0.0000 -
2368.51/2374.69 c 2375 285109 1265 1 - 0.0000 -
2373.60/2379.74 c 2380 286013 1272 1 - 0.0000 -
2378.68/2384.80 c 2385 286912 1276 1 - 0.0000 -
2383.67/2389.87 c 2390 287717 1269 1 - 0.0000 -
2388.76/2394.93 c 2395 288501 1277 1 - 0.0000 -
2393.85/2400.01 c 2400 289320 1282 1 - 0.0000 -
2398.84/2405.09 c 2405 290141 1290 1 - 0.0000 -
2403.92/2410.18 c 2410 290907 1280 1 - 0.0000 -
2409.00/2415.23 c 2415 291581 1270 1 - 0.0000 -
2414.00/2420.28 c 2420 292384 1281 1 - 0.0000 -
2419.08/2425.33 c 2425 293199 1280 1 - 0.0000 -
2424.07/2430.38 c 2430 294052 1268 1 - 0.0000 -
2429.15/2435.43 c 2435 294906 1269 1 - 0.0000 -
2434.14/2440.49 c 2440 295729 1269 1 - 0.0000 -
2439.24/2445.55 c 2446 296614 1263 1 - 0.0000 -
2444.32/2450.60 c 2451 297451 1240 1 - 0.0000 -
2449.31/2455.65 c 2456 298267 1243 1 - 0.0000 -
2454.39/2460.72 c 2461 299030 1261 1 - 0.0000 -
2459.38/2465.79 c 2466 299810 1241 1 - 0.0000 -
2464.47/2470.84 c 2471 300530 1242 1 - 0.0000 -
2469.46/2475.89 c 2476 301471 1247 1 - 0.0000 -
2474.54/2480.96 c 2481 302286 1236 1 - 0.0000 -
2479.64/2486.02 c 2486 303075 1219 1 - 0.0000 -
2484.72/2491.11 c 2491 303899 1219 1 - 0.0000 -
2489.71/2496.17 c 2496 304667 1207 1 - 0.0000 -
2494.79/2501.22 c 2501 305411 1215 1 - 0.0000 -
2499.78/2506.28 c 2506 306244 1211 1 - 0.0000 -
2504.86/2511.33 c 2511 307086 1261 1 - 0.0000 -
2509.85/2516.39 c 2516 307845 1263 1 - 0.0000 -
2514.94/2521.45 c 2521 308736 1325 1 - 0.0000 -
2520.03/2526.50 c 2526 309692 1288 1 - 0.0000 -
2525.02/2531.57 c 2532 310609 1240 1 - 0.0000 -
2530.10/2536.61 c 2537 311539 1250 1 - 0.0000 -
2535.09/2541.67 c 2542 312310 1256 1 - 0.0000 -
2540.18/2546.72 c 2547 313139 1288 1 - 0.0000 -
2545.26/2551.80 c 2552 313964 1302 1 - 0.0000 -
2550.26/2556.85 c 2557 314700 1345 1 - 0.0000 -
2555.34/2561.92 c 2562 315504 1331 1 - 0.0000 -
2560.33/2566.97 c 2567 316361 1294 1 - 0.0000 -
2565.42/2572.06 c 2572 317156 1280 1 - 0.0000 -
2570.51/2577.11 c 2577 317965 1295 1 - 0.0000 -
2575.49/2582.17 c 2582 318789 1289 1 - 0.0000 -
2580.58/2587.23 c 2587 319641 1286 1 - 0.0000 -
2585.57/2592.29 c 2592 320459 1289 1 - 0.0000 -
2590.65/2597.34 c 2597 321214 1267 1 - 0.0000 -
2595.74/2602.41 c 2602 321965 1256 1 - 0.0000 -
2600.73/2607.46 c 2607 322805 1253 1 - 0.0000 -
2605.81/2612.51 c 2613 323606 1249 1 - 0.0000 -
2610.80/2617.57 c 2618 324340 1246 1 - 0.0000 -
2615.89/2622.64 c 2623 325166 1247 1 - 0.0000 -
2620.98/2627.71 c 2628 325982 1262 1 - 0.0000 -
2625.97/2632.77 c 2633 326813 1260 1 - 0.0000 -
2631.05/2637.82 c 2638 327644 1276 1 - 0.0000 -
2636.14/2642.91 c 2643 328453 1258 1 - 0.0000 -
2641.13/2647.97 c 2648 329301 1265 1 - 0.0000 -
2646.22/2653.02 c 2653 330102 1257 1 - 0.0000 -
2651.21/2658.07 c 2658 330936 1253 1 - 0.0000 -
2656.29/2663.12 c 2663 331740 1253 1 - 0.0000 -
2661.28/2668.17 c 2668 332482 1252 1 - 0.0000 -
2666.36/2673.24 c 2673 333267 1254 1 - 0.0000 -
2671.35/2678.29 c 2678 334025 1259 1 - 0.0000 -
2676.44/2683.35 c 2683 334850 1273 1 - 0.0000 -
2681.42/2688.40 c 2688 335741 1258 1 - 0.0000 -
2686.51/2693.45 c 2693 336556 1262 1 - 0.0000 -
2691.60/2698.53 c 2699 337423 1270 1 - 0.0000 -
2696.59/2703.58 c 2704 338265 1261 1 - 0.0000 -
2701.67/2708.63 c 2709 339081 1275 1 - 0.0000 -
2706.96/2713.95 c 2714 339815 1282 1 - 0.0000 -
2712.05/2719.00 c 2719 340681 1282 1 - 0.0000 -
2717.04/2724.07 c 2724 341543 1282 1 - 0.0000 -
2722.12/2729.14 c 2729 342389 1296 1 - 0.0000 -
2727.20/2734.20 c 2734 343347 1335 1 - 0.0000 -
2732.19/2739.25 c 2739 344137 1331 1 - 0.0000 -
2737.27/2744.32 c 2744 344940 1343 1 - 0.0000 -
2742.27/2749.37 c 2749 345693 1352 1 - 0.0000 -
2747.36/2754.44 c 2754 346556 1330 1 - 0.0000 -
2752.44/2759.50 c 2760 347463 1334 1 - 0.0000 -
2757.43/2764.55 c 2765 348332 1328 1 - 0.0000 -
2762.51/2769.60 c 2770 349186 1322 1 - 0.0000 -
2767.50/2774.67 c 2775 350050 1330 1 - 0.0000 -
2772.58/2779.73 c 2780 350883 1345 1 - 0.0000 -
2777.68/2784.81 c 2785 351735 1331 1 - 0.0000 -
2782.67/2789.86 c 2790 352605 1331 1 - 0.0000 -
2787.75/2794.92 c 2795 353453 1341 1 - 0.0000 -
2792.74/2799.98 c 2800 354357 1337 1 - 0.0000 -
2797.83/2805.03 c 2805 355235 1332 1 - 0.0000 -
2802.81/2810.08 c 2810 356203 1333 1 - 0.0000 -
2807.90/2815.15 c 2815 357037 1333 1 - 0.0000 -
2812.99/2820.20 c 2820 357934 1342 1 - 0.0000 -
2817.97/2825.25 c 2825 358763 1357 1 - 0.0000 -
2823.05/2830.31 c 2830 359620 1336 1 - 0.0000 -
2828.05/2835.36 c 2835 360528 1352 1 - 0.0000 -
2833.13/2840.41 c 2840 361364 1353 1 - 0.0000 -
2838.12/2845.49 c 2845 362187 1350 1 - 0.0000 -
2843.20/2850.55 c 2851 363137 1345 1 - 0.0000 -
2848.29/2855.60 c 2856 363948 1344 1 - 0.0000 -
2853.28/2860.66 c 2861 364821 1335 1 - 0.0000 -
2858.36/2865.72 c 2866 365693 1334 1 - 0.0000 -
2863.36/2870.77 c 2871 366519 1331 1 - 0.0000 -
2868.44/2875.83 c 2876 367313 1333 1 - 0.0000 -
2873.43/2880.88 c 2881 368260 1343 1 - 0.0000 -
2878.51/2885.93 c 2886 369168 1350 1 - 0.0000 -
2883.50/2890.99 c 2891 369976 1353 1 - 0.0000 -
2888.59/2896.05 c 2896 370817 1345 1 - 0.0000 -
2893.58/2901.10 c 2901 371693 1342 1 - 0.0000 -
2898.66/2906.15 c 2906 372552 1345 1 - 0.0000 -
2903.75/2911.20 c 2911 373354 1341 1 - 0.0000 -
2908.73/2916.25 c 2916 374188 1346 1 - 0.0000 -
2913.82/2921.32 c 2921 374990 1348 1 - 0.0000 -
2918.81/2926.37 c 2926 375820 1349 1 - 0.0000 -
2923.89/2931.45 c 2931 376717 1360 1 - 0.0000 -
2928.98/2936.50 c 2936 377584 1361 1 - 0.0000 -
2933.97/2941.55 c 2942 378474 1331 1 - 0.0000 -
2939.06/2946.62 c 2947 379244 1333 1 - 0.0000 -
2944.05/2951.68 c 2952 380066 1333 1 - 0.0000 -
2949.13/2956.77 c 2957 380819 1341 1 - 0.0000 -
2954.22/2961.83 c 2962 381660 1343 1 - 0.0000 -
2959.21/2966.89 c 2967 382399 1335 1 - 0.0000 -
2964.29/2971.96 c 2972 383210 1333 1 - 0.0000 -
2969.38/2977.01 c 2977 384085 1326 1 - 0.0000 -
2974.36/2982.06 c 2982 385067 1342 1 - 0.0000 -
2979.45/2987.11 c 2987 385902 1361 1 - 0.0000 -
2984.44/2992.16 c 2992 386687 1333 1 - 0.0000 -
2989.53/2997.21 c 2997 387642 1345 1 - 0.0000 -
2994.51/3002.26 c 3002 388482 1337 1 - 0.0000 -
2999.60/3007.31 c 3007 389410 1334 1 - 0.0000 -
3004.58/3012.36 c 3012 390317 1333 1 - 0.0000 -
3009.77/3017.57 c 3018 391052 1333 1 - 0.0000 -
3014.87/3022.63 c 3023 391873 1337 1 - 0.0000 -
3019.85/3027.68 c 3028 392650 1335 1 - 0.0000 -
3024.93/3032.73 c 3033 393491 1345 1 - 0.0000 -
3029.92/3037.79 c 3038 394316 1331 1 - 0.0000 -
3035.01/3042.85 c 3043 395150 1330 1 - 0.0000 -
3040.09/3047.91 c 3048 396004 1342 1 - 0.0000 -
3045.09/3052.96 c 3053 396804 1333 1 - 0.0000 -
3050.18/3058.03 c 3058 397660 1345 1 - 0.0000 -
3055.16/3063.08 c 3063 398494 1345 1 - 0.0000 -
3060.25/3068.13 c 3068 399324 1330 1 - 0.0000 -
3065.33/3073.21 c 3073 400241 1341 1 - 0.0000 -
3070.32/3078.26 c 3078 400946 1354 1 - 0.0000 -
3075.41/3083.33 c 3083 401707 1342 1 - 0.0000 -
3080.50/3088.40 c 3088 402571 1360 1 - 0.0000 -
3085.48/3093.46 c 3093 403309 1384 1 - 0.0000 -
3090.57/3098.52 c 3099 404144 1370 1 - 0.0000 -
3095.56/3103.58 c 3104 404928 1361 1 - 0.0000 -
3100.64/3108.63 c 3109 405732 1370 1 - 0.0000 -
3105.73/3113.70 c 3114 406428 1367 1 - 0.0000 -
3110.72/3118.77 c 3119 407237 1382 1 - 0.0000 -
3115.81/3123.83 c 3124 407962 1384 1 - 0.0000 -
3120.79/3128.89 c 3129 408855 1381 1 - 0.0000 -
3125.88/3133.96 c 3134 409561 1361 1 - 0.0000 -
3130.98/3139.02 c 3139 410443 1368 1 - 0.0000 -
3135.96/3144.07 c 3144 411348 1336 1 - 0.0000 -
3141.05/3149.13 c 3149 412145 1342 1 - 0.0000 -
3146.04/3154.18 c 3154 412978 1342 1 - 0.0000 -
3151.11/3159.24 c 3159 413819 1343 1 - 0.0000 -
3156.20/3164.30 c 3164 414656 1341 1 - 0.0000 -
3161.19/3169.35 c 3169 415578 1340 1 - 0.0000 -
3166.27/3174.42 c 3174 416454 1358 1 - 0.0000 -
3171.27/3179.48 c 3179 417268 1359 1 - 0.0000 -
3176.36/3184.53 c 3185 418127 1363 1 - 0.0000 -
3181.34/3189.58 c 3190 418998 1372 1 - 0.0000 -
3186.43/3194.64 c 3195 419837 1369 1 - 0.0000 -
3191.51/3199.70 c 3200 420698 1376 1 - 0.0000 -
3196.50/3204.76 c 3205 421532 1387 1 - 0.0000 -
3201.59/3209.82 c 3210 422379 1381 1 - 0.0000 -
3206.58/3214.88 c 3215 423208 1398 1 - 0.0000 -
3211.67/3219.94 c 3220 423987 1382 1 - 0.0000 -
3216.75/3225.00 c 3225 424815 1376 1 - 0.0000 -
3221.74/3230.07 c 3230 425653 1367 1 - 0.0000 -
3226.83/3235.12 c 3235 426527 1341 1 - 0.0000 -
3231.81/3240.18 c 3240 427284 1353 1 - 0.0000 -
3236.90/3245.24 c 3245 428159 1339 1 - 0.0000 -
3241.99/3250.31 c 3250 428930 1330 1 - 0.0000 -
3247.07/3255.40 c 3255 429722 1323 1 - 0.0000 -
3252.06/3260.45 c 3260 430551 1317 1 - 0.0000 -
3257.15/3265.50 c 3266 431415 1319 1 - 0.0000 -
3262.23/3270.60 c 3271 432242 1313 1 - 0.0000 -
3267.22/3275.67 c 3276 433069 1325 1 - 0.0000 -
3272.30/3280.73 c 3281 433929 1314 1 - 0.0000 -
3277.30/3285.78 c 3286 434772 1317 1 - 0.0000 -
3282.39/3290.85 c 3291 435547 1298 1 - 0.0000 -
3287.48/3295.90 c 3296 436307 1299 1 - 0.0000 -
3292.46/3300.98 c 3301 437165 1295 1 - 0.0000 -
3297.55/3306.03 c 3306 437967 1295 1 - 0.0000 -
3302.54/3311.08 c 3311 438733 1315 1 - 0.0000 -
3307.62/3316.13 c 3316 439642 1304 1 - 0.0000 -
3312.61/3321.18 c 3321 440438 1286 1 - 0.0000 -
3317.69/3326.23 c 3326 441227 1292 1 - 0.0000 -
3322.79/3331.30 c 3331 442012 1305 1 - 0.0000 -
3327.77/3336.36 c 3336 442880 1274 1 - 0.0000 -
3332.86/3341.43 c 3341 443665 1279 1 - 0.0000 -
3337.85/3346.48 c 3346 444452 1264 1 - 0.0000 -
3342.93/3351.54 c 3352 445222 1263 1 - 0.0000 -
3347.93/3356.59 c 3357 445967 1264 1 - 0.0000 -
3353.01/3361.65 c 3362 446665 1265 1 - 0.0000 -
3358.10/3366.71 c 3367 447425 1259 1 - 0.0000 -
3363.08/3371.77 c 3372 448263 1239 1 - 0.0000 -
3368.17/3376.82 c 3377 449102 1242 1 - 0.0000 -
3373.16/3381.89 c 3382 449905 1263 1 - 0.0000 -
3378.25/3386.94 c 3387 450826 1240 1 - 0.0000 -
3383.24/3391.99 c 3392 451741 1256 1 - 0.0000 -
3388.32/3397.05 c 3397 452694 1251 1 - 0.0000 -
3393.41/3402.11 c 3402 453718 1253 1 - 0.0000 -
3398.40/3407.16 c 3407 454654 1266 1 - 0.0000 -
3403.49/3412.22 c 3412 455531 1262 1 - 0.0000 -
3408.47/3417.27 c 3417 456627 1262 1 - 0.0000 -
3413.56/3422.33 c 3422 457604 1278 1 - 0.0000 -
3418.54/3427.38 c 3427 458802 1298 1 - 0.0000 -
3423.63/3432.45 c 3432 459796 1283 1 - 0.0000 -
3428.71/3437.50 c 3438 460728 1272 1 - 0.0000 -
3433.69/3442.56 c 3443 461737 1252 1 - 0.0000 -
3438.78/3447.61 c 3448 462656 1257 1 - 0.0000 -
3443.77/3452.66 c 3453 463563 1276 1 - 0.0000 -
3448.85/3457.72 c 3458 464502 1251 1 - 0.0000 -
3453.83/3462.77 c 3463 465307 1247 1 - 0.0000 -
3458.92/3467.84 c 3468 466131 1275 1 - 0.0000 -
3463.90/3472.89 c 3473 467040 1276 1 - 0.0000 -
3468.98/3477.94 c 3478 467923 1270 1 - 0.0000 -
3473.97/3482.99 c 3483 468742 1285 1 - 0.0000 -
3479.06/3488.04 c 3488 469603 1280 1 - 0.0000 -
3484.04/3493.09 c 3493 470512 1289 1 - 0.0000 -
3489.12/3498.15 c 3498 471442 1283 1 - 0.0000 -
3494.20/3503.21 c 3503 472444 1276 1 - 0.0000 -
3499.19/3508.28 c 3508 473385 1272 1 - 0.0000 -
3504.27/3513.34 c 3513 474289 1271 1 - 0.0000 -
3509.25/3518.39 c 3518 475285 1270 1 - 0.0000 -
3514.35/3523.46 c 3523 476169 1268 1 - 0.0000 -
3519.42/3528.51 c 3529 477022 1256 1 - 0.0000 -
3524.41/3533.56 c 3534 477848 1235 1 - 0.0000 -
3529.49/3538.61 c 3539 478611 1247 1 - 0.0000 -
3534.48/3543.67 c 3544 479527 1270 1 - 0.0000 -
3539.57/3548.74 c 3549 480391 1263 1 - 0.0000 -
3544.65/3553.80 c 3554 481232 1259 1 - 0.0000 -
3549.63/3558.87 c 3559 482091 1256 1 - 0.0000 -
3554.71/3563.92 c 3564 482880 1247 1 - 0.0000 -
3559.70/3568.97 c 3569 483764 1241 1 - 0.0000 -
3564.79/3574.02 c 3574 484598 1231 1 - 0.0000 -
3569.77/3579.07 c 3579 485432 1230 1 - 0.0000 -
3574.85/3584.12 c 3584 486250 1248 1 - 0.0000 -
3579.84/3589.18 c 3589 487079 1246 1 - 0.0000 -
3584.92/3594.24 c 3594 487938 1274 1 - 0.0000 -
3589.90/3599.29 c 3599 488760 1251 1 - 0.0000 -
3590.70/3600.06 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.70/3600.06 c Total Time : 3600.0400
3590.70/3600.06 c solving : 3600.0400
3590.70/3600.06 c presolving : 0.1695 (included in solving)
3590.70/3600.06 c B&B Tree :
3590.70/3600.06 c nodes (total) : 1
3590.70/3600.06 c Solution :
3590.70/3600.06 c Solutions found : 0
3590.70/3600.06 c Primal Bound : -
3590.70/3600.06 c Dual Bound : +0.00000000000000e+00
3590.70/3600.06 c Gap : -
3590.70/3600.06 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (60321 MiB free)
memory of node 1: 64510 MiB (61136 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450690-1721417788/watcher-4450690-1721417788 -o /tmp/evaluation-result-4450690-1721417788/solver-4450690-1721417788 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721410598-1040501 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450690-1721417788.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1044833, runsolver pid=1044830
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 4.18 4.20 4.13 5/261 1044834
/proc/meminfo: memFree=124342044/131524600 swapFree=131071996/131071996
[pid=1044833] ppid=1044830 vsize=52780 memory=42016 CPUtime=0.09 cores=5,7
/proc/1044833/stat : 1044833 (fscip) R 1044830 1044833 1040488 0 -1 4194304 9191 0 0 0 8 1 0 0 20 0 1 0 193948483 54046720 10504 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
/proc/1044833/statm: 13195 10504 2702 3032 0 9595 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 52780 KiB
Current children cumulated memory: 42016 KiB
[startup+0.205569 s]*
/proc/loadavg: 4.18 4.20 4.13 5/262 1044835
/proc/meminfo: memFree=124335800/131524600 swapFree=131071996/131071996
[pid=1044833] ppid=1044830 vsize=142268 memory=52960 CPUtime=0.2 cores=5,7
/proc/1044833/stat : 1044833 (fscip) R 1044830 1044833 1040488 0 -1 4194304 12154 0 0 0 18 2 0 0 20 0 2 0 193948483 145682432 13240 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
/proc/1044833/statm: 35567 13240 2766 3032 0 15615 0
[pid=1044833/tid=1044835] ppid=1044830 vsize=142268 memory=6007641856751698051 CPUtime=0 cores=5,7
/proc/1044833/task/1044835/stat : 1044835 (fscip) S 1044830 1044833 1040488 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 2 0 193948503 145682432 13240 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 142268 KiB
Current children cumulated memory: 52960 KiB
[startup+0.305928 s]*
/proc/loadavg: 4.18 4.20 4.13 5/263 1044836
/proc/meminfo: memFree=124303040/131524600 swapFree=131071996/131071996
[pid=1044833] ppid=1044830 vsize=150812 memory=80076 CPUtime=0.3 cores=5,7
/proc/1044833/stat : 1044833 (fscip) S 1044830 1044833 1040488 0 -1 1077936128 20605 0 0 0 27 3 0 0 20 0 3 0 193948483 154431488 20019 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
/proc/1044833/statm: 37703 20019 2782 3032 0 24696 0
[pid=1044833/tid=1044835] ppid=1044830 vsize=150812 memory=-7664417297391967868 CPUtime=0.08 cores=5,7
/proc/1044833/task/1044835/stat : 1044835 (fscip) R 1044830 1044833 1040488 0 -1 4194368 7400 0 0 0 7 1 0 0 20 0 3 0 193948503 154431488 20019 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
[pid=1044833/tid=1044836] ppid=1044830 vsize=150812 memory=0 CPUtime=0 cores=5,7
/proc/1044833/task/1044836/stat : 1044836 (fscip) S 1044830 1044833 1040488 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 193948506 154431488 20019 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 150812 KiB
Current children cumulated memory: 80076 KiB
[startup+0.700928 s]
/proc/loadavg: 4.18 4.20 4.13 5/263 1044836
/proc/meminfo: memFree=124288256/131524600 swapFree=131071996/131071996
[pid=1044833] ppid=1044830 vsize=220460 memory=129704 CPUtime=0.68 cores=5,7
/proc/1044833/stat : 1044833 (fscip) S 1044830 1044833 1040488 0 -1 1077936128 32934 0 0 0 63 5 0 0 20 0 3 0 193948483 225751040 32426 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
/proc/1044833/statm: 55115 32426 2942 3032 0 37594 0
[pid=1044833/tid=1044835] ppid=1044830 vsize=220460 memory=12312 CPUtime=0.45 cores=5,7
/proc/1044833/task/1044835/stat : 1044835 (fscip) R 1044830 1044833 1040488 0 -1 4194368 19729 0 0 0 43 2 0 0 20 0 3 0 193948503 225751040 32426 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
[pid=1044833/tid=1044836] ppid=1044830 vsize=220460 memory=0 CPUtime=0 cores=5,7
/proc/1044833/task/1044836/stat : 1044836 (fscip) S 1044830 1044833 1040488 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 193948506 225751040 32426 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 220460 KiB
Current children cumulated memory: 129704 KiB
[startup+1.50026 s]
/proc/loadavg: 4.18 4.20 4.13 5/263 1044836
/proc/meminfo: memFree=124259396/131524600 swapFree=131071996/131071996
[pid=1044833] ppid=1044830 vsize=217376 memory=124144 CPUtime=1.47 cores=5,7
/proc/1044833/stat : 1044833 (fscip) S 1044830 1044833 1040488 0 -1 1077936128 40362 0 0 0 142 5 0 0 20 0 3 0 193948483 222593024 31036 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
/proc/1044833/statm: 54344 31036 2942 3032 0 36823 0
[pid=1044833/tid=1044835] ppid=1044830 vsize=217376 memory=0 CPUtime=1.24 cores=5,7
/proc/1044833/task/1044835/stat : 1044835 (fscip) R 1044830 1044833 1040488 0 -1 4194368 27150 0 0 0 122 2 0 0 20 0 3 0 193948503 222593024 31036 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
[pid=1044833/tid=1044836] ppid=1044830 vsize=217376 memory=0 CPUtime=0 cores=5,7
/proc/1044833/task/1044836/stat : 1044836 (fscip) S 1044830 1044833 1040488 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 193948506 222593024 31036 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 217376 KiB
Current children cumulated memory: 124144 KiB
[startup+3.10562 s]
/proc/loadavg: 4.16 4.20 4.13 5/263 1044836
/proc/meminfo: memFree=124259360/131524600 swapFree=131071996/131071996
[pid=1044833] ppid=1044830 vsize=217376 memory=124164 CPUtime=3.07 cores=5,7
/proc/1044833/stat : 1044833 (fscip) S 1044830 1044833 1040488 0 -1 1077936128 42023 0 0 0 302 5 0 0 20 0 3 0 193948483 222593024 31041 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
/proc/1044833/statm: 54344 31041 2942 3032 0 36823 0
[pid=1044833/tid=1044835] ppid=1044830 vsize=217376 memory=12312 CPUtime=2.85 cores=5,7
/proc/1044833/task/1044835/stat : 1044835 (fscip) R 1044830 1044833 1040488 0 -1 4194368 28811 0 0 0 282 3 0 0 20 0 3 0 193948503 222593024 31041 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
[pid=1044833/tid=1044836] ppid=1044830 vsize=217376 memory=-7664417297391967868 CPUtime=0 cores=5,7
/proc/1044833/task/1044836/stat : 1044836 (fscip) S 1044830 1044833 1040488 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 193948506 222593024 31041 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 217376 KiB
Current children cumulated memory: 124164 KiB
[startup+6.30026 s]
/proc/loadavg: 4.16 4.20 4.13 5/263 1044837
/proc/meminfo: memFree=124258016/131524600 swapFree=131071996/131071996
[pid=1044833] ppid=1044830 vsize=217376 memory=125368 CPUtime=6.26 cores=5,7
/proc/1044833/stat : 1044833 (fscip) S 1044830 1044833 1040488 0 -1 1077936128 54980 0 0 0 620 6 0 0 20 0 3 0 193948483 222593024 31342 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
/proc/1044833/statm: 54344 31342 2942 3032 0 36823 0
[pid=1044833/tid=1044835] ppid=1044830 vsize=217376 memory=-7664417297391967868 CPUtime=6.03 cores=5,7
/proc/1044833/task/1044835/stat : 1044835 (fscip) R 1044830 1044833 1040488 0 -1 4194368 41759 0 0 0 600 3 0 0 20 0 3 0 193948503 222593024 31342 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
[pid=1044833/tid=1044836] ppid=1044830 vsize=217376 memory=124184 CPUtime=0 cores=5,7
/proc/1044833/task/1044836/stat : 1044836 (fscip) S 1044830 1044833 1040488 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 193948506 222593024 31342 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 217376 KiB
Current children cumulated memory: 125368 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 4.20 4.13 5/263 1044837
/proc/meminfo: memFree=124257384/131524600 swapFree=131071996/131071996
[pid=1044833] ppid=1044830 vsize=217376 memory=125764 CPUtime=12.64 cores=5,7
/proc/1044833/stat : 1044833 (fscip) S 1044830 1044833 1040488 0 -1 1077936128 72100 0 0 0 1258 6 0 0 20 0 3 0 193948483 222593024 31441 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
/proc/1044833/statm: 54344 31441 2942 3032 0 36823 0
[pid=1044833/tid=1044835] ppid=1044830 vsize=217376 memory=-7664417297391967868 CPUtime=12.42 cores=5,7
/proc/1044833/task/1044835/stat : 1044835 (fscip) R 1044830 1044833 1040488 0 -1 4194368 58872 0 0 0 1238 4 0 0 20 0 3 0 193948503 222593024 31441 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
[pid=1044833/tid=1044836] ppid=1044830 vsize=217376 memory=125384 CPUtime=0 cores=5,7
/proc/1044833/task/1044836/stat : 1044836 (fscip) S 1044830 1044833 1040488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 193948506 222593024 31441 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 217376 KiB
Current children cumulated memory: 125764 KiB
[startup+25.5003 s]
/proc/loadavg: 4.20 4.20 4.13 5/263 1044839
/proc/meminfo: memFree=124255576/131524600 swapFree=131071996/131071996
[pid=1044833] ppid=1044830 vsize=217376 memory=127448 CPUtime=25.41 cores=5,7
/proc/1044833/stat : 1044833 (fscip) S 1044830 1044833 1040488 0 -1 1077936128 100158 0 0 0 2533 8 0 0 20 0 3 0 193948483 222593024 31862 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
/proc/1044833/statm: 54344 31862 2942 3032 0 37415 0
[pid=1044833/tid=1044835] ppid=1044830 vsize=217376 memory=126656 CPUtime=25.19 cores=5,7
/proc/1044833/task/1044835/stat : 1044835 (fscip) R 1044830 1044833 1040488 0 -1 4194368 86913 0 0 0 2513 6 0 0 20 0 3 0 193948503 222593024 31862 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
[pid=1044833/tid=1044836] ppid=1044830 vsize=217376 memory=127172 CPUtime=0 cores=5,7
/proc/1044833/task/1044836/stat : 1044836 (fscip) S 1044830 1044833 1040488 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 193948506 222593024 31862 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 217376 KiB
Current children cumulated memory: 127448 KiB
[startup+51.1054 s]
/proc/loadavg: 4.13 4.19 4.12 5/262 1044843
/proc/meminfo: memFree=124202876/131524600 swapFree=131071996/131071996
[pid=1044833] ppid=1044830 vsize=217376 memory=151476 CPUtime=50.95 cores=5,7
/proc/1044833/stat : 1044833 (fscip) S 1044830 1044833 1040488 0 -1 1077936128 128516 0 0 0 5085 10 0 0 20 0 3 0 193948483 222593024 37869 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
/proc/1044833/statm: 54344 37869 2990 3032 0 44407 0
[pid=1044833/tid=1044835] ppid=1044830 vsize=217376 memory=126656 CPUtime=50.73 cores=5,7
/proc/1044833/task/1044835/stat : 1044835 (fscip) R 1044830 1044833 1040488 0 -1 4194368 115182 0 0 0 5065 8 0 0 20 0 3 0 193948503 222593024 37869 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
[pid=1044833/tid=1044836] ppid=1044830 vsize=217376 memory=151284 CPUtime=0 cores=5,7
/proc/1044833/task/1044836/stat : 1044836 (fscip) S 1044830 1044833 1040488 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 3 0 193948506 222593024 37869 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 217376 KiB
Current children cumulated memory: 151476 KiB
[startup+102.3 s]
/proc/loadavg: 4.44 4.25 4.15 5/262 1044853
/proc/meminfo: memFree=124202080/131524600 swapFree=131071996/131071996
[pid=1044833] ppid=1044830 vsize=217376 memory=151476 CPUtime=102.03 cores=5,7
/proc/1044833/stat : 1044833 (fscip) S 1044830 1044833 1040488 0 -1 1077936128 140912 0 0 0 10192 11 0 0 20 0 3 0 193948483 222593024 37869 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
/proc/1044833/statm: 54344 37869 2990 3032 0 44407 0
[pid=1044833/tid=1044835] ppid=1044830 vsize=217376 memory=151476 CPUtime=101.8 cores=5,7
/proc/1044833/task/1044835/stat : 1044835 (fscip) R 1044830 1044833 1040488 0 -1 4194368 127559 0 0 0 10172 8 0 0 20 0 3 0 193948503 222593024 37869 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
[pid=1044833/tid=1044836] ppid=1044830 vsize=217376 memory=49348 CPUtime=0 cores=5,7
/proc/1044833/task/1044836/stat : 1044836 (fscip) S 1044830 1044833 1040488 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 193948506 222593024 37869 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 217376 KiB
Current children cumulated memory: 151476 KiB
[startup+162.3 s]
/proc/loadavg: 4.26 4.23 4.15 5/262 1044863
/proc/meminfo: memFree=124201576/131524600 swapFree=131071996/131071996
[pid=1044833] ppid=1044830 vsize=217376 memory=151476 CPUtime=161.88 cores=5,7
/proc/1044833/stat : 1044833 (fscip) S 1044830 1044833 1040488 0 -1 1077936128 149184 0 0 0 16177 11 0 0 20 0 3 0 193948483 222593024 37869 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
/proc/1044833/statm: 54344 37869 2990 3032 0 44407 0
[pid=1044833/tid=1044835] ppid=1044830 vsize=217376 memory=151476 CPUtime=161.66 cores=5,7
/proc/1044833/task/1044835/stat : 1044835 (fscip) R 1044830 1044833 1040488 0 -1 4194368 135818 0 0 0 16157 9 0 0 20 0 3 0 193948503 222593024 37869 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
[pid=1044833/tid=1044836] ppid=1044830 vsize=217376 memory=151476 CPUtime=0 cores=5,7
/proc/1044833/task/1044836/stat : 1044836 (fscip) S 1044830 1044833 1040488 0 -1 1077936192 83 0 0 0 0 0 0 0 20 0 3 0 193948506 222593024 37869 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 217376 KiB
Current children cumulated memory: 151476 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.20 4.14 5/262 1044873
/proc/meminfo: memFree=124194536/131524600 swapFree=131071996/131071996
[pid=1044833] ppid=1044830 vsize=217376 memory=152980 CPUtime=221.74 cores=5,7
################
# More data... #
################
/proc/1044833/statm: 87651 77406 2990 3032 0 80005 0
[pid=1044833/tid=1044835] ppid=1044830 vsize=350604 memory=309624 CPUtime=3393.17 cores=5,7
/proc/1044833/task/1044835/stat : 1044835 (fscip) R 1044830 1044833 1040488 0 -1 4194368 464134 0 0 0 339175 142 0 0 20 0 3 0 193948503 359018496 77406 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
[pid=1044833/tid=1044836] ppid=1044830 vsize=350604 memory=309624 CPUtime=0.03 cores=5,7
/proc/1044833/task/1044836/stat : 1044836 (fscip) S 1044830 1044833 1040488 0 -1 1077936192 198 0 0 0 1 2 0 0 20 0 3 0 193948506 359018496 77406 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
Current children cumulated CPU time: 3393.6 s
Current children cumulated vsize: 350604 KiB
Current children cumulated memory: 309624 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 1046781
/proc/meminfo: memFree=124140964/131524600 swapFree=131071996/131071996
[pid=1044833] ppid=1044830 vsize=350604 memory=309624 CPUtime=3453.44 cores=5,7
/proc/1044833/stat : 1044833 (fscip) S 1044830 1044833 1040488 0 -1 1077936128 479119 0 0 0 345188 156 0 0 20 0 3 0 193948483 359018496 77406 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
/proc/1044833/statm: 87651 77406 2990 3032 0 80005 0
[pid=1044833/tid=1044835] ppid=1044830 vsize=350604 memory=309624 CPUtime=3452.98 cores=5,7
/proc/1044833/task/1044835/stat : 1044835 (fscip) R 1044830 1044833 1040488 0 -1 4194368 464731 0 0 0 345154 144 0 0 20 0 3 0 193948503 359018496 77406 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
[pid=1044833/tid=1044836] ppid=1044830 vsize=350604 memory=1400224349373227066 CPUtime=0.03 cores=5,7
/proc/1044833/task/1044836/stat : 1044836 (fscip) S 1044830 1044833 1040488 0 -1 1077936192 200 0 0 0 1 2 0 0 20 0 3 0 193948506 359018496 77406 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
Current children cumulated CPU time: 3453.44 s
Current children cumulated vsize: 350604 KiB
Current children cumulated memory: 309624 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 1046791
/proc/meminfo: memFree=124113252/131524600 swapFree=131071996/131071996
[pid=1044833] ppid=1044830 vsize=350604 memory=309624 CPUtime=3513.25 cores=5,7
/proc/1044833/stat : 1044833 (fscip) S 1044830 1044833 1040488 0 -1 1077936128 479649 0 0 0 351166 159 0 0 20 0 3 0 193948483 359018496 77406 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
/proc/1044833/statm: 87651 77406 2990 3032 0 80005 0
[pid=1044833/tid=1044835] ppid=1044830 vsize=350604 memory=309624 CPUtime=3512.8 cores=5,7
/proc/1044833/task/1044835/stat : 1044835 (fscip) R 1044830 1044833 1040488 0 -1 4194368 465244 0 0 0 351133 147 0 0 20 0 3 0 193948503 359018496 77406 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
[pid=1044833/tid=1044836] ppid=1044830 vsize=350604 memory=309624 CPUtime=0.03 cores=5,7
/proc/1044833/task/1044836/stat : 1044836 (fscip) S 1044830 1044833 1040488 0 -1 1077936192 202 0 0 0 1 2 0 0 20 0 3 0 193948506 359018496 77406 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
Current children cumulated CPU time: 3513.25 s
Current children cumulated vsize: 350604 KiB
Current children cumulated memory: 309624 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 1046801
/proc/meminfo: memFree=124098292/131524600 swapFree=131071996/131071996
[pid=1044833] ppid=1044830 vsize=350604 memory=309624 CPUtime=3573.05 cores=5,7
/proc/1044833/stat : 1044833 (fscip) S 1044830 1044833 1040488 0 -1 1077936128 480240 0 0 0 357144 161 0 0 20 0 3 0 193948483 359018496 77406 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
/proc/1044833/statm: 87651 77406 2990 3032 0 80005 0
[pid=1044833/tid=1044835] ppid=1044830 vsize=350604 memory=49348 CPUtime=3572.6 cores=5,7
/proc/1044833/task/1044835/stat : 1044835 (fscip) R 1044830 1044833 1040488 0 -1 4194368 465818 0 0 0 357111 149 0 0 20 0 3 0 193948503 359018496 77406 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
[pid=1044833/tid=1044836] ppid=1044830 vsize=350604 memory=12340 CPUtime=0.03 cores=5,7
/proc/1044833/task/1044836/stat : 1044836 (fscip) S 1044830 1044833 1040488 0 -1 1077936192 204 0 0 0 1 2 0 0 20 0 3 0 193948506 359018496 77406 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
Current children cumulated CPU time: 3573.05 s
Current children cumulated vsize: 350604 KiB
Current children cumulated memory: 309624 KiB
[startup+3600.07 s]
# the end of solver process 1044833 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.15 s, system=1.62901 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.10 4.09 5/262 1046801
/proc/meminfo: memFree=124097936/131524600 swapFree=131071996/131071996
[pid=1044833] ppid=1044830 vsize=350604 memory=309624 CPUtime=3574.75 cores=5,7
/proc/1044833/stat : 1044833 (fscip) S 1044830 1044833 1040488 0 -1 1077936128 480255 0 0 0 357314 161 0 0 20 0 3 0 193948483 359018496 77406 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
/proc/1044833/statm: 87651 77406 2990 3032 0 80005 0
[pid=1044833/tid=1044835] ppid=1044830 vsize=350604 memory=12340 CPUtime=3574.3 cores=5,7
/proc/1044833/task/1044835/stat : 1044835 (fscip) R 1044830 1044833 1040488 0 -1 4194368 465833 0 0 0 357281 149 0 0 20 0 3 0 193948503 359018496 77406 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
[pid=1044833/tid=1044836] ppid=1044830 vsize=350604 memory=1400224349373227066 CPUtime=0.03 cores=5,7
/proc/1044833/task/1044836/stat : 1044836 (fscip) S 1044830 1044833 1040488 0 -1 1077936192 204 0 0 0 1 2 0 0 20 0 3 0 193948506 359018496 77406 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
Current children cumulated CPU time: 3574.75 s
Current children cumulated vsize: 350604 KiB
Current children cumulated memory: 309624 KiB
[startup+3590.4 s]
/proc/loadavg: 4.16 4.12 4.09 5/262 1046803
/proc/meminfo: memFree=124069068/131524600 swapFree=131071996/131071996
[pid=1044833] ppid=1044830 vsize=350604 memory=309624 CPUtime=3581.13 cores=5,7
/proc/1044833/stat : 1044833 (fscip) S 1044830 1044833 1040488 0 -1 1077936128 480269 0 0 0 357951 162 0 0 20 0 3 0 193948483 359018496 77406 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
/proc/1044833/statm: 87651 77406 2990 3032 0 80005 0
[pid=1044833/tid=1044835] ppid=1044830 vsize=350604 memory=5492 CPUtime=3580.68 cores=5,7
/proc/1044833/task/1044835/stat : 1044835 (fscip) R 1044830 1044833 1040488 0 -1 4194368 465847 0 0 0 357918 150 0 0 20 0 3 0 193948503 359018496 77406 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
[pid=1044833/tid=1044836] ppid=1044830 vsize=350604 memory=282460 CPUtime=0.03 cores=5,7
/proc/1044833/task/1044836/stat : 1044836 (fscip) S 1044830 1044833 1040488 0 -1 1077936192 204 0 0 0 1 2 0 0 20 0 3 0 193948506 359018496 77406 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
Current children cumulated CPU time: 3581.13 s
Current children cumulated vsize: 350604 KiB
Current children cumulated memory: 309624 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 1046804
/proc/meminfo: memFree=124068984/131524600 swapFree=131071996/131071996
[pid=1044833] ppid=1044830 vsize=350604 memory=309624 CPUtime=3587.51 cores=5,7
/proc/1044833/stat : 1044833 (fscip) S 1044830 1044833 1040488 0 -1 1077936128 480274 0 0 0 358589 162 0 0 20 0 3 0 193948483 359018496 77406 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
/proc/1044833/statm: 87651 77406 2990 3032 0 80005 0
[pid=1044833/tid=1044835] ppid=1044830 vsize=350604 memory=309624 CPUtime=3587.06 cores=5,7
/proc/1044833/task/1044835/stat : 1044835 (fscip) R 1044830 1044833 1040488 0 -1 4194368 465852 0 0 0 358556 150 0 0 20 0 3 0 193948503 359018496 77406 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
[pid=1044833/tid=1044836] ppid=1044830 vsize=350604 memory=5492 CPUtime=0.03 cores=5,7
/proc/1044833/task/1044836/stat : 1044836 (fscip) S 1044830 1044833 1040488 0 -1 1077936192 204 0 0 0 1 2 0 0 20 0 3 0 193948506 359018496 77406 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
Current children cumulated CPU time: 3587.51 s
Current children cumulated vsize: 350604 KiB
Current children cumulated memory: 309624 KiB
[startup+3598.4 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 1046804
/proc/meminfo: memFree=124068984/131524600 swapFree=131071996/131071996
[pid=1044833] ppid=1044830 vsize=350604 memory=309624 CPUtime=3589.11 cores=5,7
/proc/1044833/stat : 1044833 (fscip) S 1044830 1044833 1040488 0 -1 1077936128 480278 0 0 0 358749 162 0 0 20 0 3 0 193948483 359018496 77406 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
/proc/1044833/statm: 87651 77406 2990 3032 0 80005 0
[pid=1044833/tid=1044835] ppid=1044830 vsize=350604 memory=17820 CPUtime=3588.65 cores=5,7
/proc/1044833/task/1044835/stat : 1044835 (fscip) R 1044830 1044833 1040488 0 -1 4194368 465856 0 0 0 358715 150 0 0 20 0 3 0 193948503 359018496 77406 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
[pid=1044833/tid=1044836] ppid=1044830 vsize=350604 memory=4673 CPUtime=0.03 cores=5,7
/proc/1044833/task/1044836/stat : 1044836 (fscip) S 1044830 1044833 1040488 0 -1 1077936192 204 0 0 0 1 2 0 0 20 0 3 0 193948506 359018496 77406 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
Current children cumulated CPU time: 3589.11 s
Current children cumulated vsize: 350604 KiB
Current children cumulated memory: 309624 KiB
[startup+3599.2 s]
/proc/loadavg: 4.13 4.12 4.09 5/262 1046804
/proc/meminfo: memFree=124068984/131524600 swapFree=131071996/131071996
[pid=1044833] ppid=1044830 vsize=350604 memory=309624 CPUtime=3589.9 cores=5,7
/proc/1044833/stat : 1044833 (fscip) S 1044830 1044833 1040488 0 -1 1077936128 480278 0 0 0 358828 162 0 0 20 0 3 0 193948483 359018496 77406 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
/proc/1044833/statm: 87651 77406 2990 3032 0 80005 0
[pid=1044833/tid=1044835] ppid=1044830 vsize=350604 memory=15976 CPUtime=3589.45 cores=5,7
/proc/1044833/task/1044835/stat : 1044835 (fscip) R 1044830 1044833 1040488 0 -1 4194368 465856 0 0 0 358795 150 0 0 20 0 3 0 193948503 359018496 77406 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
[pid=1044833/tid=1044836] ppid=1044830 vsize=350604 memory=2220 CPUtime=0.03 cores=5,7
/proc/1044833/task/1044836/stat : 1044836 (fscip) S 1044830 1044833 1040488 0 -1 1077936192 204 0 0 0 1 2 0 0 20 0 3 0 193948506 359018496 77406 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
Current children cumulated CPU time: 3589.9 s
Current children cumulated vsize: 350604 KiB
Current children cumulated memory: 309624 KiB
[startup+3599.6 s]
/proc/loadavg: 4.13 4.12 4.09 5/262 1046804
/proc/meminfo: memFree=124068984/131524600 swapFree=131071996/131071996
[pid=1044833] ppid=1044830 vsize=350604 memory=309624 CPUtime=3590.3 cores=5,7
/proc/1044833/stat : 1044833 (fscip) S 1044830 1044833 1040488 0 -1 1077936128 480278 0 0 0 358868 162 0 0 20 0 3 0 193948483 359018496 77406 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
/proc/1044833/statm: 87651 77406 2990 3032 0 80005 0
[pid=1044833/tid=1044835] ppid=1044830 vsize=350604 memory=309624 CPUtime=3589.84 cores=5,7
/proc/1044833/task/1044835/stat : 1044835 (fscip) R 1044830 1044833 1040488 0 -1 4194368 465856 0 0 0 358834 150 0 0 20 0 3 0 193948503 359018496 77406 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
[pid=1044833/tid=1044836] ppid=1044830 vsize=350604 memory=49348 CPUtime=0.03 cores=5,7
/proc/1044833/task/1044836/stat : 1044836 (fscip) S 1044830 1044833 1040488 0 -1 1077936192 204 0 0 0 1 2 0 0 20 0 3 0 193948506 359018496 77406 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
Current children cumulated CPU time: 3590.3 s
Current children cumulated vsize: 350604 KiB
Current children cumulated memory: 309624 KiB
[startup+3600 s]*
/proc/loadavg: 4.13 4.12 4.09 5/262 1046804
/proc/meminfo: memFree=124068984/131524600 swapFree=131071996/131071996
[pid=1044833] ppid=1044830 vsize=350604 memory=309624 CPUtime=3590.7 cores=5,7
/proc/1044833/stat : 1044833 (fscip) S 1044830 1044833 1040488 0 -1 1077936128 480278 0 0 0 358908 162 0 0 20 0 3 0 193948483 359018496 77406 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
/proc/1044833/statm: 87651 77406 2990 3032 0 80005 0
[pid=1044833/tid=1044835] ppid=1044830 vsize=350604 memory=33708 CPUtime=3590.25 cores=5,7
/proc/1044833/task/1044835/stat : 1044835 (fscip) R 1044830 1044833 1040488 0 -1 4194368 465856 0 0 0 358875 150 0 0 20 0 3 0 193948503 359018496 77406 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
[pid=1044833/tid=1044836] ppid=1044830 vsize=350604 memory=6600 CPUtime=0.03 cores=5,7
/proc/1044833/task/1044836/stat : 1044836 (fscip) S 1044830 1044833 1040488 0 -1 1077936192 204 0 0 0 1 2 0 0 20 0 3 0 193948506 359018496 77406 134679101440 4194304 16613245 140732857497920 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35729408 140732857500691 140732857500807 140732857500807 140732857507824 0
Current children cumulated CPU time: 3590.7 s
Current children cumulated vsize: 350604 KiB
Current children cumulated memory: 309624 KiB
Child status: 0
Real time (s): 3600.07
CPU time (s): 3590.77
CPU user time (s): 3589.15
CPU system time (s): 1.62901
CPU usage (%): 99.7419
Max. virtual memory (cumulated for all children) (KiB): 350604
Max. memory (cumulated for all children) (KiB): 309624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.15
system time used= 1.62901
maximum resident set size= 309624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 481162
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= 10008
involuntary context switches= 1437
# summary of solver processes directly reported to runsolver:
# pid: 1044833
# total CPU time (s): 3590.77
# total CPU user time (s): 3589.15
# total CPU system time (s): 1.62901
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.15078 second user time and 17.0467 second system time
The end
Begin job on nodeC033 at 2024-07-19 21:36:40
IDJOB=4450690
IDBENCH=162218
IDSOLVER=3064
FILE ID=nodeC033/4450690-1721417788
RUNJOBID= nodeC033-1721410598-1040501
SLURM_JOB_ID= 7545470
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size80-round21-3.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450690-1721417788/watcher-4450690-1721417788 -o /tmp/evaluation-result-4450690-1721417788/solver-4450690-1721417788 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721410598-1040501 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450690-1721417788.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 864bfa231da9fb907b495a126824f2c7
RANDOM SEED=49149893
nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.235
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3663.141
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.092
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.787
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.239
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.167
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.087
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3659.590
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124373244 kB
MemAvailable: 128798624 kB
Buffers: 575920 kB
Cached: 4641696 kB
SwapCached: 0 kB
Active: 1036500 kB
Inactive: 5385336 kB
Active(anon): 1556 kB
Inactive(anon): 1248572 kB
Active(file): 1034944 kB
Inactive(file): 4136764 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28728 kB
Writeback: 0 kB
AnonPages: 1201536 kB
Mapped: 146044 kB
Shmem: 45908 kB
KReclaimable: 186636 kB
Slab: 309964 kB
SReclaimable: 186636 kB
SUnreclaim: 123328 kB
KernelStack: 4192 kB
PageTables: 11624 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 859800 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71296 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1011712 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 273108 kB
DirectMap2M: 28860416 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC033 at 2024-07-19 22:36:40