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.10/0.12 c Default LC presolving (default).
0.10/0.12 c ** Before presolving: virtualMemUsedAtLc = 58933248, getVmSize() = 58933248, SCIPgetMemUsed() = 16119107, SCIPgetMemTotal() = 37048747, SCIPgetMemExternEstim() = 8210633
0.10/0.12 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.69/0.71 c ** Estimated virtualMemUsedAtSolver = 61128736, getVmSize() = 106569728, SCIPgetMemUsed() = 43866640, SCIPgetMemTotal() = 83482472, SCIPgetMemExternEstim() = 8210633
0.69/0.71 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.69/0.71 c Original Problem :
0.69/0.71 c Problem name : instance-4434676-1721099129
0.69/0.71 c Variables : 1812 (1812 binary, 0 integer, 0 implicit integer, 0 continuous)
0.69/0.71 c Constraints : 3443
0.69/0.71 c Objective sense : minimize
0.69/0.71 c Presolved Problem :
0.69/0.71 c Variables : 1812 (1812 binary, 0 integer, 0 implicit integer, 0 continuous)
0.69/0.71 c Constraints : 2508
0.69/0.71 c Constraints : Number
0.69/0.71 c knapsack : 143
0.69/0.71 c setppc : 715
0.69/0.71 c linear : 1650
0.69/0.71 c ** Instance transfer method used: 0
0.69/0.73 c ** ParaScipInstance copy does not increase the number of variables. **
0.69/0.75 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.69/0.75 c Nodes Active
0.69/0.75 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.57/5.68 c 6 98 84 1 - 12.0000 -
11.25/11.35 c 11 214 153 1 - 13.0000 -
16.84/16.96 c 17 352 230 1 - 13.0000 -
22.04/22.15 c 22 488 331 1 - 13.0000 -
27.02/27.19 c 27 601 395 1 - 15.0000 -
32.09/32.26 c 32 824 537 1 - 15.0000 -
38.07/38.22 c 38 1092 0 1 - 15.0000 -
43.97/44.14 c 44 1190 86 1 - 15.0642 -
49.34/49.55 c 50 1433 168 1 - 15.5000 -
54.52/54.78 c 55 2213 421 1 - 20.0000 -
60.20/60.40 c 60 3293 739 1 - 22.0000 -
65.68/65.94 c 66 4443 1062 1 - 22.0000 -
70.87/71.16 c 71 5392 1277 1 - 22.9582 -
75.94/76.24 c 76 6050 1324 1 - 23.0000 -
81.02/81.31 c 81 6855 1391 1 - 23.0000 -
86.00/86.39 c 86 7870 1564 1 - 23.0000 -
91.18/91.51 c 92 8678 1730 1 - 23.0000 -
96.36/96.73 c 97 9483 1925 1 - 23.0000 -
101.44/101.81 c 102 10397 2055 1 - 23.0000 -
106.43/106.87 c 107 11327 2301 1 - 23.0000 -
111.52/112.01 c 112 12146 2490 1 - 23.0000 -
116.70/117.15 c 117 12967 2666 1 - 23.0000 -
121.78/122.22 c 122 13734 2850 1 - 23.0000 -
126.86/127.31 c 127 14532 3005 1 - 23.0000 -
131.95/132.40 c 132 15287 3206 1 - 23.0000 -
136.94/137.46 c 137 16154 3401 1 - 23.0000 -
142.02/142.52 c 143 17027 3611 1 - 23.0000 -
147.00/147.57 c 148 18141 3774 1 - 23.0000 -
152.19/152.71 c 153 18853 3857 1 - 23.0000 -
157.18/157.78 c 158 19666 4038 1 - 23.0000 -
162.27/162.86 c 163 20423 4297 1 - 23.0000 -
168.25/168.84 c 169 21347 4558 1 - 23.0000 -
173.34/173.91 c 174 22158 4703 1 - 23.0000 -
178.32/178.97 c 179 22933 4992 1 - 23.0000 -
183.60/184.23 c 184 23620 5276 1 - 23.0000 -
188.69/189.32 c 189 24382 5495 1 - 23.0000 -
193.68/194.39 c 194 25213 5695 1 - 23.0000 -
198.77/199.44 c 199 26061 5931 1 - 23.0000 -
204.65/205.37 c 205 27018 6149 1 - 23.0000 -
209.74/210.43 c 210 28017 6318 1 - 23.0000 -
215.22/216.01 c 216 29188 6599 1 - 23.0000 -
220.41/221.15 c 221 30115 6772 1 - 23.0000 -
225.48/226.23 c 226 31197 6907 1 - 23.0000 -
230.56/231.30 c 231 31945 7172 1 - 23.0000 -
235.54/236.36 c 236 32767 7359 1 - 23.0000 -
240.63/241.44 c 241 33578 7629 1 - 23.0000 -
245.71/246.52 c 247 34404 7899 1 - 23.0000 -
250.78/251.62 c 252 35411 8098 1 - 23.0000 -
256.47/257.36 c 257 36337 8401 1 - 23.0000 -
261.95/262.89 c 263 37364 8633 1 - 23.0000 -
267.33/268.25 c 268 38324 8924 1 - 23.0000 -
272.51/273.46 c 273 39345 9130 1 - 23.0000 -
277.60/278.52 c 279 40359 9371 1 - 23.0000 -
282.57/283.58 c 284 41538 9562 1 - 23.0000 -
287.65/288.63 c 289 42504 9939 1 - 23.0000 -
293.43/294.47 c 294 43838 10140 1 - 23.0000 -
299.41/300.47 c 300 44894 10424 1 - 23.0000 -
304.89/305.93 c 306 46085 10708 1 - 23.0000 -
309.98/311.03 c 311 46862 10864 1 - 23.0000 -
314.97/316.09 c 316 47958 11128 1 - 23.0000 -
320.95/322.10 c 322 49128 11468 1 - 23.0000 -
326.23/327.32 c 327 50093 11761 1 - 23.0000 -
331.61/332.72 c 333 51102 12034 1 - 23.0000 -
336.60/337.78 c 338 52003 12293 1 - 23.0000 -
341.78/342.94 c 343 52851 12463 1 - 23.0000 -
347.16/348.32 c 348 53830 12707 1 - 23.0000 -
352.44/353.64 c 354 54871 12917 1 - 23.0000 -
357.53/358.74 c 359 55728 13115 1 - 23.0000 -
362.61/363.80 c 364 56681 13322 1 - 23.0000 -
367.70/368.91 c 369 57789 13542 1 - 23.0000 -
372.79/374.02 c 374 58758 13687 1 - 23.0000 -
377.78/379.08 c 379 59660 13966 1 - 23.0000 -
382.86/384.16 c 384 60628 14223 1 - 23.0000 -
388.03/389.35 c 389 61640 14445 1 - 23.0000 -
393.11/394.40 c 394 62687 14655 1 - 23.0000 -
398.10/399.48 c 399 63733 14850 1 - 23.0000 -
403.70/405.08 c 405 64898 15028 1 - 23.2147 -
408.77/410.16 c 410 66103 15214 1 - 23.3988 -
413.95/415.34 c 415 67133 15430 1 - 23.6250 -
419.33/420.75 c 421 68325 15627 1 - 24.0000 -
424.82/426.26 c 426 69405 15801 1 - 24.0000 -
429.90/431.36 c 431 70316 16034 1 - 24.0000 -
434.98/436.46 c 436 71318 16270 1 - 24.0000 -
440.17/441.64 c 442 72418 16464 1 - 24.0000 -
445.25/446.72 c 447 73342 16679 1 - 24.0000 -
450.23/451.77 c 452 74430 16885 1 - 24.0000 -
455.33/456.82 c 457 75563 17082 1 - 24.0000 -
460.49/462.02 c 462 76447 17450 1 - 24.0000 -
466.37/467.92 c 468 77407 17768 1 - 24.0000 -
471.45/473.10 c 473 78388 18066 1 - 24.0000 -
476.53/478.15 c 478 79367 18323 1 - 24.0000 -
482.00/483.69 c 484 80426 18622 1 - 24.0000 -
487.98/489.62 c 490 81565 18890 1 - 24.0000 -
493.07/494.74 c 495 82448 19172 1 - 24.0000 -
499.05/500.75 c 501 83717 19427 1 - 24.0000 -
504.24/505.97 c 506 84753 19560 1 - 24.2752 -
509.33/511.09 c 511 85503 19680 1 - 24.4556 -
514.61/516.30 c 516 86503 19877 1 - 24.7614 -
519.89/521.62 c 522 87503 20054 1 - 25.0000 -
525.77/527.58 c 528 88688 20313 1 - 25.0000 -
530.86/532.65 c 533 89724 20487 1 - 25.0000 -
535.95/537.72 c 538 90668 20701 1 - 25.0000 -
540.93/542.80 c 543 91635 20886 1 - 25.0000 -
546.02/547.86 c 548 92816 21070 1 - 25.0000 -
551.90/553.78 c 554 94128 21285 1 - 25.0000 -
557.09/558.90 c 559 95288 21445 1 - 25.0000 -
562.47/564.38 c 564 96347 21637 1 - 25.0000 -
567.56/569.45 c 569 97316 21841 1 - 25.0000 -
572.64/574.53 c 575 98253 22023 1 - 25.0000 -
578.04/580.01 c 580 99173 22245 1 - 25.3170 -
583.23/585.11 c 585 100103 22399 1 - 25.5080 -
588.90/590.88 c 591 101183 22624 1 - 25.7377 -
593.98/595.95 c 596 102013 22785 1 - 25.7390 -
599.36/601.32 c 601 102943 22967 1 - 25.8057 -
604.85/606.85 c 607 103963 23172 1 - 26.0000 -
609.94/611.98 c 612 104629 23281 1 - 26.0000 -
615.14/617.12 c 617 105478 23522 1 - 26.0000 -
620.31/622.32 c 622 106356 23691 1 - 26.0000 -
625.40/627.45 c 627 107512 23884 1 - 26.0000 -
630.59/632.66 c 633 108491 24001 1 - 26.0000 -
635.67/637.72 c 638 109508 24234 1 - 26.0000 -
640.66/642.76 c 643 110490 24383 1 - 26.0000 -
645.75/647.89 c 648 111369 24581 1 - 26.0000 -
651.04/653.16 c 653 112375 24961 1 - 26.0000 -
656.11/658.26 c 658 113342 25230 1 - 26.0000 -
661.30/663.41 c 663 114257 25588 1 - 26.0000 -
666.38/668.54 c 669 115208 25829 1 - 26.0000 -
671.88/674.04 c 674 116473 26026 1 - 26.0000 -
677.06/679.23 c 679 117562 26202 1 - 26.0000 -
682.14/684.30 c 684 118661 26391 1 - 26.0000 -
687.84/690.09 c 690 119808 26598 1 - 26.0000 -
693.01/695.28 c 695 120523 26722 1 - 26.0000 -
698.81/701.06 c 701 121140 26814 1 - 26.0000 -
703.99/706.23 c 706 121578 26879 1 - 26.0000 -
709.07/711.30 c 711 122079 26956 1 - 26.0000 -
714.06/716.38 c 716 122497 26994 1 - 26.0000 -
719.14/721.43 c 721 123037 27109 1 - 26.0000 -
724.31/726.68 c 727 123574 27193 1 - 26.0000 -
730.30/732.60 c 733 124276 27269 1 - 26.0000 -
735.48/737.86 c 738 125015 27363 1 - 26.0000 -
740.78/743.13 c 743 125624 27454 1 - 26.0000 -
745.85/748.25 c 748 126298 27497 1 - 26.0000 -
751.13/753.54 c 754 126932 27588 1 - 26.0000 -
756.41/758.82 c 759 127398 27673 1 - 26.0000 -
761.71/764.14 c 764 127904 27733 1 - 26.0000 -
766.88/769.37 c 769 128458 27816 1 - 26.0000 -
771.97/774.42 c 774 129079 27842 1 - 26.0000 -
776.94/779.45 c 779 129703 27914 1 - 26.1394 -
782.03/784.55 c 785 130293 28021 1 - 26.1407 -
788.21/790.70 c 791 131078 28113 1 - 26.4026 -
793.61/796.12 c 796 131683 28187 1 - 26.6666 -
799.27/801.80 c 802 132393 28302 1 - 26.6709 -
804.57/807.14 c 807 132933 28409 1 - 26.7221 -
809.55/812.16 c 812 133458 28497 1 - 26.8000 -
815.32/817.95 c 818 134092 28566 1 - 26.8000 -
820.42/823.05 c 823 134613 28660 1 - 26.9185 -
826.09/828.74 c 829 135298 28738 1 - 27.0000 -
831.18/833.83 c 834 135998 28826 1 - 27.0000 -
836.38/839.02 c 839 136692 28847 1 - 27.0000 -
841.56/844.29 c 844 137313 28916 1 - 27.0000 -
846.84/849.54 c 850 137848 28998 1 - 27.0000 -
852.22/854.92 c 855 138363 29059 1 - 27.0000 -
857.43/860.13 c 860 138888 29151 1 - 27.0000 -
862.60/865.36 c 865 139380 29230 1 - 27.0000 -
867.69/870.42 c 870 139984 29341 1 - 27.0000 -
872.77/875.55 c 876 140559 29404 1 - 27.0000 -
878.16/880.96 c 881 141272 29482 1 - 27.0000 -
883.36/886.12 c 886 141704 29580 1 - 27.0000 -
888.44/891.28 c 891 142288 29730 1 - 27.0000 -
893.62/896.48 c 896 142898 29847 1 - 27.0000 -
898.70/901.55 c 902 143478 29962 1 - 27.0000 -
903.80/906.67 c 907 144048 30025 1 - 27.0000 -
909.19/912.08 c 912 144628 30070 1 - 27.0000 -
914.28/917.17 c 917 145176 30153 1 - 27.0000 -
919.36/922.25 c 922 145669 30233 1 - 27.0000 -
924.44/927.37 c 927 146180 30286 1 - 27.0000 -
929.53/932.48 c 932 146585 30345 1 - 27.0000 -
934.61/937.56 c 938 147093 30457 1 - 27.0000 -
939.70/942.63 c 943 147694 30596 1 - 27.0000 -
944.89/947.86 c 948 148264 30663 1 - 27.0000 -
949.98/952.95 c 953 148832 30753 1 - 27.0000 -
955.07/958.06 c 958 149448 30873 1 - 27.0000 -
960.16/963.12 c 963 150092 30980 1 - 27.0000 -
965.34/968.32 c 968 150783 31136 1 - 27.0000 -
970.42/973.49 c 973 151389 31221 1 - 27.0000 -
975.60/978.65 c 979 152023 31294 1 - 27.0000 -
980.69/983.76 c 984 152728 31380 1 - 27.0000 -
985.78/988.86 c 989 153458 31454 1 - 27.0000 -
990.98/994.08 c 994 154020 31538 1 - 27.0000 -
996.07/999.18 c 999 154549 31604 1 - 27.0000 -
1001.14/1004.27 c 1004 155178 31659 1 - 27.0000 -
1006.43/1009.52 c 1010 155690 31742 1 - 27.0000 -
1011.51/1014.65 c 1015 156318 31816 1 - 27.0000 -
1016.79/1019.97 c 1020 156854 31873 1 - 27.0000 -
1021.90/1025.04 c 1025 157369 31961 1 - 27.0000 -
1027.17/1030.35 c 1030 157968 32066 1 - 27.0000 -
1032.26/1035.47 c 1035 158583 32095 1 - 27.0000 -
1037.54/1040.77 c 1041 159138 32170 1 - 27.0000 -
1042.63/1045.85 c 1046 159697 32256 1 - 27.0000 -
1047.71/1050.93 c 1051 160417 32312 1 - 27.0000 -
1052.91/1056.12 c 1056 160978 32419 1 - 27.0000 -
1057.98/1061.24 c 1061 161557 32494 1 - 27.0000 -
1063.06/1066.33 c 1066 162119 32600 1 - 27.0000 -
1068.05/1071.39 c 1071 162623 32717 1 - 27.0000 -
1073.33/1076.60 c 1077 163268 32793 1 - 27.0000 -
1079.11/1082.43 c 1082 163924 32888 1 - 27.0000 -
1084.10/1087.49 c 1087 164516 33021 1 - 27.0000 -
1089.18/1092.58 c 1093 165090 33135 1 - 27.0000 -
1094.26/1097.64 c 1098 165735 33293 1 - 27.0000 -
1099.35/1102.71 c 1103 166314 33388 1 - 27.0000 -
1104.33/1107.77 c 1108 166898 33504 1 - 27.0000 -
1109.51/1112.98 c 1113 167498 33637 1 - 27.0000 -
1114.60/1118.03 c 1118 168316 33691 1 - 27.0000 -
1119.78/1123.25 c 1123 169061 33747 1 - 27.0000 -
1124.87/1128.34 c 1128 169643 33867 1 - 27.0000 -
1129.95/1133.45 c 1133 170344 33961 1 - 27.0000 -
1135.04/1138.51 c 1139 170907 34082 1 - 27.0000 -
1140.12/1143.61 c 1144 171445 34145 1 - 27.0000 -
1145.21/1148.75 c 1149 171997 34232 1 - 27.0000 -
1150.40/1153.92 c 1154 172708 34307 1 - 27.0000 -
1155.98/1159.57 c 1160 173525 34414 1 - 27.0000 -
1161.87/1165.45 c 1165 174135 34493 1 - 27.0000 -
1166.96/1170.56 c 1171 174858 34566 1 - 27.0000 -
1172.05/1175.68 c 1176 175568 34610 1 - 27.0000 -
1177.13/1180.75 c 1181 176062 34678 1 - 27.0000 -
1182.62/1186.26 c 1186 176584 34741 1 - 27.0000 -
1187.71/1191.35 c 1191 177146 34793 1 - 27.0000 -
1192.80/1196.46 c 1196 177762 34857 1 - 27.0000 -
1198.28/1201.99 c 1202 178439 34929 1 - 27.0000 -
1203.38/1207.07 c 1207 179123 34981 1 - 27.0000 -
1208.65/1212.38 c 1212 179813 35110 1 - 27.0000 -
1213.84/1217.54 c 1218 180456 35261 1 - 27.0000 -
1218.92/1222.65 c 1223 181081 35383 1 - 27.0000 -
1224.00/1227.73 c 1228 181715 35476 1 - 27.0000 -
1229.08/1232.83 c 1233 182465 35559 1 - 27.0000 -
1234.87/1238.66 c 1239 183224 35747 1 - 27.0000 -
1240.45/1244.28 c 1244 183768 35851 1 - 27.0000 -
1246.24/1250.10 c 1250 184564 35949 1 - 27.0000 -
1251.51/1255.39 c 1255 185250 36006 1 - 27.0000 -
1257.00/1260.89 c 1261 185983 36179 1 - 27.0000 -
1262.38/1266.26 c 1266 186613 36297 1 - 27.0950 -
1267.46/1271.36 c 1271 187202 36385 1 - 27.0957 -
1272.74/1276.64 c 1277 187703 36473 1 - 27.1425 -
1277.93/1281.83 c 1282 188355 36623 1 - 27.2727 -
1283.51/1287.47 c 1287 188988 36780 1 - 27.2727 -
1289.11/1293.10 c 1293 189583 36875 1 - 27.2903 -
1294.19/1298.14 c 1298 190051 36974 1 - 27.2911 -
1299.66/1303.69 c 1304 190656 37106 1 - 27.3185 -
1305.15/1309.13 c 1309 191311 37261 1 - 27.3333 -
1310.72/1314.79 c 1315 191995 37365 1 - 27.3333 -
1315.90/1319.93 c 1320 192770 37490 1 - 27.3333 -
1321.09/1325.12 c 1325 193493 37596 1 - 27.3469 -
1326.57/1330.69 c 1331 194068 37711 1 - 27.3469 -
1331.65/1335.75 c 1336 194593 37809 1 - 27.3471 -
1337.14/1341.23 c 1341 195237 37930 1 - 27.3579 -
1342.21/1346.30 c 1346 195843 38027 1 - 27.3588 -
1347.91/1352.01 c 1352 196398 38130 1 - 27.4516 -
1353.38/1357.55 c 1358 197063 38253 1 - 27.4575 -
1358.67/1362.82 c 1363 197772 38379 1 - 27.4878 -
1363.65/1367.85 c 1368 198418 38430 1 - 27.4878 -
1368.73/1372.90 c 1373 199063 38477 1 - 27.4878 -
1374.41/1378.62 c 1379 199978 38606 1 - 27.5138 -
1379.40/1383.66 c 1384 200562 38732 1 - 27.6544 -
1384.58/1388.84 c 1389 201303 38804 1 - 27.6667 -
1389.96/1394.27 c 1394 202038 38926 1 - 27.6667 -
1395.05/1399.35 c 1399 202689 38990 1 - 27.6667 -
1400.62/1404.90 c 1405 203170 39026 1 - 27.6667 -
1405.71/1410.05 c 1410 203849 39117 1 - 27.8260 -
1411.58/1416.01 c 1416 204625 39218 1 - 27.8586 -
1416.69/1421.06 c 1421 205321 39291 1 - 27.8586 -
1422.67/1427.07 c 1427 205987 39376 1 - 27.8592 -
1427.84/1432.24 c 1432 206483 39431 1 - 27.8605 -
1432.92/1437.34 c 1437 207068 39500 1 - 27.9184 -
1438.52/1442.94 c 1443 207611 39580 1 - 27.9189 -
1443.61/1448.07 c 1448 208203 39585 1 - 27.9195 -
1449.09/1453.52 c 1454 208717 39697 1 - 27.9209 -
1454.17/1458.60 c 1459 209223 39787 1 - 27.9459 -
1459.46/1464.01 c 1464 209883 39877 1 - 28.0000 -
1465.34/1469.87 c 1470 210649 39954 1 - 28.0000 -
1471.23/1475.73 c 1476 211427 40045 1 - 28.0000 -
1476.31/1480.84 c 1481 212067 40136 1 - 28.0000 -
1481.61/1486.18 c 1486 212634 40230 1 - 28.0000 -
1486.69/1491.23 c 1491 213504 40418 1 - 28.0000 -
1491.68/1496.28 c 1496 214219 40482 1 - 28.0000 -
1496.76/1501.37 c 1501 214977 40496 1 - 28.0000 -
1501.85/1506.47 c 1506 215767 40572 1 - 28.0000 -
1506.92/1511.56 c 1512 216404 40648 1 - 28.0000 -
1512.01/1516.64 c 1517 216978 40755 1 - 28.0000 -
1517.10/1521.76 c 1522 217613 40851 1 - 28.0000 -
1522.18/1526.81 c 1527 218322 40971 1 - 28.0000 -
1527.16/1531.88 c 1532 218965 41080 1 - 28.0000 -
1532.35/1537.10 c 1537 219522 41191 1 - 28.0000 -
1537.43/1542.18 c 1542 220210 41288 1 - 28.0000 -
1542.50/1547.28 c 1547 220739 41344 1 - 28.0000 -
1547.59/1552.33 c 1552 221532 41513 1 - 28.0000 -
1552.67/1557.40 c 1557 222181 41637 1 - 28.0000 -
1557.75/1562.51 c 1563 222800 41723 1 - 28.0000 -
1562.83/1567.64 c 1568 223371 41860 1 - 28.0000 -
1567.92/1572.76 c 1573 223888 41958 1 - 28.0000 -
1573.11/1577.92 c 1578 224466 42031 1 - 28.0000 -
1578.19/1583.03 c 1583 225065 42131 1 - 28.0000 -
1583.28/1588.14 c 1588 225588 42213 1 - 28.0000 -
1588.35/1593.24 c 1593 226228 42314 1 - 28.0000 -
1593.43/1598.33 c 1598 227012 42602 1 - 28.0000 -
1598.71/1603.62 c 1604 227575 42718 1 - 28.0000 -
1603.70/1608.69 c 1609 228300 42774 1 - 28.0000 -
1608.78/1613.79 c 1614 228988 42980 1 - 28.0000 -
1614.08/1619.04 c 1619 229666 43078 1 - 28.0000 -
1619.16/1624.11 c 1624 230422 43145 1 - 28.0000 -
1624.23/1629.20 c 1629 231109 43330 1 - 28.0000 -
1629.91/1634.92 c 1635 231808 43441 1 - 28.0000 -
1634.89/1640.01 c 1640 232449 43545 1 - 28.0000 -
1639.99/1645.07 c 1645 232988 43644 1 - 28.0000 -
1645.07/1650.16 c 1650 233645 43703 1 - 28.0000 -
1650.14/1655.22 c 1655 234390 43755 1 - 28.0000 -
1655.32/1660.42 c 1660 235148 43805 1 - 28.0000 -
1660.41/1665.55 c 1666 235768 43899 1 - 28.0000 -
1665.59/1670.70 c 1671 236494 43994 1 - 28.0000 -
1670.67/1675.83 c 1676 237081 44140 1 - 28.0000 -
1675.75/1680.98 c 1681 237731 44274 1 - 28.0000 -
1680.84/1686.07 c 1686 238288 44349 1 - 28.0000 -
1685.93/1691.16 c 1691 238915 44467 1 - 28.0000 -
1691.50/1696.79 c 1697 239738 44626 1 - 28.0000 -
1696.58/1701.84 c 1702 240533 44743 1 - 28.0000 -
1701.66/1706.93 c 1707 241029 44817 1 - 28.0000 -
1706.76/1712.04 c 1712 241662 44920 1 - 28.0000 -
1711.74/1717.10 c 1717 242216 44998 1 - 28.0000 -
1716.83/1722.17 c 1722 242878 45095 1 - 28.0000 -
1721.99/1727.30 c 1727 243406 45165 1 - 28.0000 -
1726.98/1732.39 c 1732 243961 45262 1 - 28.0000 -
1732.06/1737.45 c 1737 244595 45364 1 - 28.0000 -
1737.15/1742.52 c 1743 245098 45528 1 - 28.0000 -
1742.64/1748.01 c 1748 245660 45581 1 - 28.0000 -
1748.21/1753.61 c 1754 246359 45683 1 - 28.0000 -
1753.40/1758.86 c 1759 246838 45821 1 - 28.0000 -
1758.47/1763.99 c 1764 247465 45991 1 - 28.0000 -
1763.57/1769.08 c 1769 248173 46108 1 - 28.0000 -
1768.65/1774.15 c 1774 248553 46191 1 - 28.0000 -
1773.83/1779.37 c 1779 249163 46270 1 - 28.0000 -
1778.91/1784.45 c 1784 249790 46371 1 - 28.0000 -
1783.99/1789.53 c 1790 250286 46502 1 - 28.0000 -
1788.97/1794.59 c 1795 250803 46636 1 - 28.0000 -
1794.06/1799.66 c 1800 251300 46771 1 - 28.0000 -
1799.14/1804.75 c 1805 252013 46851 1 - 28.0000 -
1804.23/1809.83 c 1810 252582 46950 1 - 28.0000 -
1809.21/1814.89 c 1815 253235 47075 1 - 28.0000 -
1815.09/1820.75 c 1821 253987 47199 1 - 28.0000 -
1820.17/1825.89 c 1826 254628 47313 1 - 28.0000 -
1825.55/1831.22 c 1831 255238 47413 1 - 28.0000 -
1830.64/1836.39 c 1836 255943 47565 1 - 28.0000 -
1835.92/1841.66 c 1842 256528 47687 1 - 28.0000 -
1841.01/1846.71 c 1847 257205 47772 1 - 28.0000 -
1846.48/1852.24 c 1852 257946 47874 1 - 28.0000 -
1851.57/1857.31 c 1857 258592 48030 1 - 28.0000 -
1856.55/1862.37 c 1862 259409 48119 1 - 28.0000 -
1861.73/1867.52 c 1868 260173 48257 1 - 28.0000 -
1867.12/1872.92 c 1873 260748 48345 1 - 28.0000 -
1872.10/1877.95 c 1878 261363 48452 1 - 28.0000 -
1877.18/1883.01 c 1883 262099 48602 1 - 28.0000 -
1882.27/1888.14 c 1888 262786 48853 1 - 28.0000 -
1887.34/1893.24 c 1893 263596 49062 1 - 28.0000 -
1892.73/1898.69 c 1899 264334 49234 1 - 28.0000 -
1898.71/1904.64 c 1905 265177 49402 1 - 28.0000 -
1903.90/1909.80 c 1910 265913 49561 1 - 28.0000 -
1909.77/1915.73 c 1916 266646 49754 1 - 28.0000 -
1915.76/1921.78 c 1922 267458 49874 1 - 28.0000 -
1920.85/1926.84 c 1927 268089 49973 1 - 28.0000 -
1925.93/1931.97 c 1932 268704 50144 1 - 28.0000 -
1930.92/1936.98 c 1937 269489 50194 1 - 28.0000 -
1936.02/1942.03 c 1942 270120 50287 1 - 28.0000 -
1941.39/1947.46 c 1947 270907 50427 1 - 28.0000 -
1946.87/1952.96 c 1953 271758 50621 1 - 28.0070 -
1952.17/1958.27 c 1958 272533 50721 1 - 28.1642 -
1957.45/1963.53 c 1964 273203 50858 1 - 28.2117 -
1963.33/1969.44 c 1969 273993 51062 1 - 28.2997 -
1968.42/1974.57 c 1975 274673 51207 1 - 28.3540 -
1973.50/1979.65 c 1980 275283 51443 1 - 28.3540 -
1979.39/1985.50 c 1985 275862 51670 1 - 28.3540 -
1984.38/1990.58 c 1991 276384 51851 1 - 28.3540 -
1990.36/1996.57 c 1997 277064 51978 1 - 28.3965 -
1996.05/2002.20 c 2002 277905 52102 1 - 28.4275 -
2001.33/2007.57 c 2008 278505 52215 1 - 28.5000 -
2006.42/2012.60 c 2013 279111 52410 1 - 28.6667 -
2012.10/2018.35 c 2018 279732 52648 1 - 28.6667 -
2017.29/2023.52 c 2024 280178 52878 1 - 28.6667 -
2022.38/2028.64 c 2029 280640 53057 1 - 28.6667 -
2027.56/2033.85 c 2034 281086 53215 1 - 28.6667 -
2032.64/2039.01 c 2039 281547 53302 1 - 28.6667 -
2037.84/2044.14 c 2044 282066 53385 1 - 28.6667 -
2042.91/2049.20 c 2049 282674 53559 1 - 28.6667 -
2048.10/2054.41 c 2054 283129 53729 1 - 28.6667 -
2053.19/2059.55 c 2060 283759 53898 1 - 28.6667 -
2058.37/2064.70 c 2065 284331 54020 1 - 28.6667 -
2063.36/2069.76 c 2070 284876 54175 1 - 28.6667 -
2068.45/2074.82 c 2075 285549 54290 1 - 28.6667 -
2073.53/2079.92 c 2080 286171 54362 1 - 28.6667 -
2078.74/2085.18 c 2085 286752 54438 1 - 28.6667 -
2083.90/2090.35 c 2090 287390 54602 1 - 28.6667 -
2089.09/2095.51 c 2096 288074 54723 1 - 28.6667 -
2094.08/2100.57 c 2101 288611 54862 1 - 28.6667 -
2099.26/2105.76 c 2106 289147 55048 1 - 28.6667 -
2104.35/2110.82 c 2111 289765 55214 1 - 28.6667 -
2109.34/2115.89 c 2116 290457 55364 1 - 28.6667 -
2114.43/2120.97 c 2121 291192 55434 1 - 28.6667 -
2119.53/2126.06 c 2126 291748 55599 1 - 28.6667 -
2124.61/2131.13 c 2131 292408 55756 1 - 28.6667 -
2129.69/2136.22 c 2136 293048 55811 1 - 28.6667 -
2134.67/2141.28 c 2141 293734 55933 1 - 28.6667 -
2139.85/2146.45 c 2146 294357 55997 1 - 28.6667 -
2144.94/2151.54 c 2152 294957 56072 1 - 28.6667 -
2150.03/2156.61 c 2157 295558 56185 1 - 28.6667 -
2155.91/2162.58 c 2163 296458 56281 1 - 28.6667 -
2161.09/2167.72 c 2168 297078 56414 1 - 28.6667 -
2166.08/2172.79 c 2173 297669 56594 1 - 28.6667 -
2171.17/2177.86 c 2178 298472 56719 1 - 28.6667 -
2176.26/2182.95 c 2183 299216 56790 1 - 28.6667 -
2182.04/2188.72 c 2189 299922 56918 1 - 28.6667 -
2187.12/2193.81 c 2194 300500 57028 1 - 28.6667 -
2192.91/2199.68 c 2200 301262 57173 1 - 28.6667 -
2197.99/2204.77 c 2205 301686 57361 1 - 28.6667 -
2203.08/2209.86 c 2210 302135 57515 1 - 28.6667 -
2208.17/2214.99 c 2215 302575 57610 1 - 28.6667 -
2213.36/2220.14 c 2220 303113 57651 1 - 28.6667 -
2219.24/2226.11 c 2226 303788 57744 1 - 28.6667 -
2224.33/2231.16 c 2231 304475 57818 1 - 28.6667 -
2229.50/2236.32 c 2236 305028 57916 1 - 28.6667 -
2234.69/2241.50 c 2242 305678 57997 1 - 28.6667 -
2239.97/2246.83 c 2247 306262 58092 1 - 28.6667 -
2245.75/2252.61 c 2253 306888 58245 1 - 28.6667 -
2250.84/2257.74 c 2258 307539 58383 1 - 28.6667 -
2256.13/2263.03 c 2263 308080 58530 1 - 28.6667 -
2261.31/2268.22 c 2268 308659 58611 1 - 28.6667 -
2266.39/2273.35 c 2273 309399 58715 1 - 28.6667 -
2271.48/2278.47 c 2278 309971 58780 1 - 28.6667 -
2276.67/2283.69 c 2284 310538 58893 1 - 28.6667 -
2281.76/2288.77 c 2289 311090 59045 1 - 28.6667 -
2286.94/2293.92 c 2294 311648 59122 1 - 28.6667 -
2292.04/2299.05 c 2299 312340 59336 1 - 28.6667 -
2297.13/2304.16 c 2304 313047 59548 1 - 28.6667 -
2302.40/2309.43 c 2309 313828 59678 1 - 28.6667 -
2307.89/2314.91 c 2315 314588 59750 1 - 28.6667 -
2312.87/2319.96 c 2320 315286 59825 1 - 28.6667 -
2317.97/2325.04 c 2325 316046 59985 1 - 28.6667 -
2323.05/2330.15 c 2330 316692 60114 1 - 28.6667 -
2328.04/2335.17 c 2335 317503 60179 1 - 28.6667 -
2333.11/2340.21 c 2340 318046 60231 1 - 28.6667 -
2338.70/2345.80 c 2346 318815 60324 1 - 28.6667 -
2343.98/2351.17 c 2351 319458 60417 1 - 28.6667 -
2349.16/2356.30 c 2356 320019 60562 1 - 28.6667 -
2354.25/2361.43 c 2361 320608 60718 1 - 28.6667 -
2359.33/2366.53 c 2367 321324 60832 1 - 28.6667 -
2364.83/2372.03 c 2372 322018 60955 1 - 28.6667 -
2369.92/2377.11 c 2377 322537 61093 1 - 28.6667 -
2374.99/2382.22 c 2382 323098 61222 1 - 28.6667 -
2380.07/2387.37 c 2387 323648 61264 1 - 28.6667 -
2385.27/2392.59 c 2393 324281 61308 1 - 28.6667 -
2390.65/2397.92 c 2398 325063 61401 1 - 28.6667 -
2395.64/2402.99 c 2403 325847 61495 1 - 28.6667 -
2401.13/2408.46 c 2408 326754 61527 1 - 28.6667 -
2406.72/2414.02 c 2414 327463 61712 1 - 28.6667 -
2411.81/2419.11 c 2419 328213 61729 1 - 28.6667 -
2416.88/2424.25 c 2424 328778 61806 1 - 28.6667 -
2422.27/2429.61 c 2430 329533 61926 1 - 28.7152 -
2428.26/2435.60 c 2436 330217 62069 1 - 28.7922 -
2433.34/2440.73 c 2441 330822 62156 1 - 28.7922 -
2438.43/2445.88 c 2446 331490 62255 1 - 28.7922 -
2444.02/2451.40 c 2451 332005 62364 1 - 28.7978 -
2449.10/2456.53 c 2457 332498 62413 1 - 28.7978 -
2454.70/2462.19 c 2462 333052 62528 1 - 28.8515 -
2460.07/2467.59 c 2468 333823 62673 1 - 28.9096 -
2465.57/2473.05 c 2473 334593 62818 1 - 28.9856 -
2471.04/2478.59 c 2479 335407 62933 1 - 29.0000 -
2476.63/2484.18 c 2484 336296 63086 1 - 29.0000 -
2482.61/2490.15 c 2490 337044 63109 1 - 29.0000 -
2487.89/2495.42 c 2495 337752 63174 1 - 29.0000 -
2492.87/2500.47 c 2500 338516 63236 1 - 29.0000 -
2498.06/2505.67 c 2506 339091 63345 1 - 29.0000 -
2503.15/2510.77 c 2511 339761 63447 1 - 29.0000 -
2508.33/2515.91 c 2516 340248 63582 1 - 29.0000 -
2513.43/2521.09 c 2521 340918 63681 1 - 29.0000 -
2518.61/2526.20 c 2526 341528 63743 1 - 29.0000 -
2523.80/2531.41 c 2531 342188 63880 1 - 29.0000 -
2528.88/2536.56 c 2537 342980 63990 1 - 29.0000 -
2534.06/2541.76 c 2542 343744 64144 1 - 29.0000 -
2539.25/2546.98 c 2547 344496 64178 1 - 29.0000 -
2544.35/2552.05 c 2552 345111 64320 1 - 29.0000 -
2549.43/2557.15 c 2557 345765 64493 1 - 29.0000 -
2554.51/2562.26 c 2562 346381 64565 1 - 29.0000 -
2559.60/2567.31 c 2567 346925 64678 1 - 29.0000 -
2564.68/2572.40 c 2572 347578 64796 1 - 29.0000 -
2569.77/2577.53 c 2578 348343 64915 1 - 29.0000 -
2574.86/2582.68 c 2583 348828 65009 1 - 29.0000 -
2580.05/2587.89 c 2588 349448 65088 1 - 29.0000 -
2585.13/2592.99 c 2593 350214 65183 1 - 29.0000 -
2590.51/2598.31 c 2598 350736 65306 1 - 29.0000 -
2595.70/2603.52 c 2604 351358 65372 1 - 29.0000 -
2600.79/2608.62 c 2609 352020 65488 1 - 29.0000 -
2605.87/2613.77 c 2614 352618 65631 1 - 29.0000 -
2610.95/2618.85 c 2619 353204 65797 1 - 29.0000 -
2616.16/2624.02 c 2624 353817 66043 1 - 29.0000 -
2621.24/2629.14 c 2629 354346 66212 1 - 29.0000 -
2626.42/2634.31 c 2634 354918 66282 1 - 29.0000 -
2631.50/2639.40 c 2639 355572 66329 1 - 29.0000 -
2636.49/2644.47 c 2644 356112 66406 1 - 29.0000 -
2641.68/2649.62 c 2650 356699 66502 1 - 29.0000 -
2646.77/2654.72 c 2655 357378 66648 1 - 29.0000 -
2651.75/2659.77 c 2660 357984 66778 1 - 29.0000 -
2656.94/2665.01 c 2665 358558 66895 1 - 29.0000 -
2662.13/2670.16 c 2670 359141 67001 1 - 29.0000 -
2667.40/2675.47 c 2675 359708 67096 1 - 29.0000 -
2672.49/2680.53 c 2681 360286 67167 1 - 29.0000 -
2677.78/2685.89 c 2686 360903 67227 1 - 29.0000 -
2683.08/2691.19 c 2691 361506 67342 1 - 29.0000 -
2688.15/2696.24 c 2696 362007 67411 1 - 29.0000 -
2693.24/2701.36 c 2701 362549 67559 1 - 29.0000 -
2698.32/2706.49 c 2706 363184 67736 1 - 29.0000 -
2703.41/2711.59 c 2712 363642 67875 1 - 29.0000 -
2708.50/2716.66 c 2717 364295 67987 1 - 29.0000 -
2713.69/2721.84 c 2722 364839 68214 1 - 29.0000 -
2718.67/2726.89 c 2727 365572 68305 1 - 29.0000 -
2723.76/2731.99 c 2732 366136 68528 1 - 29.0000 -
2728.85/2737.07 c 2737 366733 68658 1 - 29.0000 -
2734.13/2742.36 c 2742 367449 68764 1 - 29.0000 -
2739.22/2747.48 c 2747 368117 68843 1 - 29.0000 -
2744.31/2752.56 c 2753 368679 69015 1 - 29.0000 -
2749.39/2757.65 c 2758 369418 69065 1 - 29.0000 -
2754.48/2762.72 c 2763 370046 69162 1 - 29.0000 -
2759.47/2767.78 c 2768 370724 69369 1 - 29.0000 -
2765.35/2773.65 c 2774 371259 69658 1 - 29.0000 -
2770.63/2778.99 c 2779 371769 69786 1 - 29.0000 -
2775.84/2784.14 c 2784 372179 69880 1 - 29.0000 -
2780.91/2789.23 c 2789 372834 70018 1 - 29.0000 -
2785.99/2794.39 c 2794 373439 70132 1 - 29.0000 -
2791.18/2799.53 c 2800 373958 70219 1 - 29.0000 -
2796.27/2804.63 c 2805 374614 70292 1 - 29.0000 -
2801.36/2809.76 c 2810 375236 70411 1 - 29.0000 -
2806.44/2814.87 c 2815 375932 70560 1 - 29.0000 -
2811.64/2820.03 c 2820 376498 70701 1 - 29.0000 -
2816.63/2825.11 c 2825 377153 70799 1 - 29.0000 -
2821.80/2830.21 c 2830 377826 70928 1 - 29.0000 -
2826.79/2835.28 c 2835 378617 71037 1 - 29.0000 -
2831.97/2840.43 c 2840 379280 71144 1 - 29.0000 -
2837.27/2845.78 c 2846 379978 71254 1 - 29.0000 -
2842.35/2850.85 c 2851 380619 71345 1 - 29.0000 -
2847.54/2856.03 c 2856 381184 71470 1 - 29.0000 -
2852.54/2861.07 c 2861 381673 71547 1 - 29.0000 -
2857.62/2866.13 c 2866 382225 71659 1 - 29.0000 -
2863.50/2872.09 c 2872 383086 71823 1 - 29.0000 -
2868.60/2877.14 c 2877 383677 71936 1 - 29.0000 -
2873.58/2882.19 c 2882 384361 72011 1 - 29.0000 -
2878.66/2887.29 c 2887 385190 72126 1 - 29.0000 -
2883.84/2892.40 c 2892 385852 72252 1 - 29.0000 -
2888.83/2897.47 c 2897 386641 72334 1 - 29.0000 -
2894.21/2902.81 c 2903 387310 72493 1 - 29.0000 -
2899.20/2907.89 c 2908 387997 72662 1 - 29.0000 -
2904.29/2912.96 c 2913 388795 72756 1 - 29.0000 -
2909.27/2917.98 c 2918 389438 72817 1 - 29.0000 -
2914.37/2923.03 c 2923 390197 72885 1 - 29.0000 -
2920.35/2929.09 c 2929 391038 73006 1 - 29.0000 -
2925.83/2934.52 c 2935 391749 73057 1 - 29.0000 -
2930.81/2939.54 c 2940 392462 73119 1 - 29.0000 -
2935.80/2944.55 c 2945 393178 73174 1 - 29.0000 -
2941.68/2950.47 c 2950 393691 73278 1 - 29.0000 -
2947.27/2956.01 c 2956 394355 73344 1 - 29.0000 -
2952.36/2961.12 c 2961 394933 73541 1 - 29.0000 -
2958.23/2967.02 c 2967 395549 73678 1 - 29.0000 -
2963.71/2972.51 c 2972 396138 73780 1 - 29.0000 -
2968.89/2977.78 c 2978 396773 73887 1 - 29.0070 -
2974.38/2983.26 c 2983 397358 73991 1 - 29.0070 -
2979.46/2988.39 c 2988 397889 74085 1 - 29.0070 -
2984.85/2993.80 c 2994 398551 74258 1 - 29.0070 -
2989.93/2998.85 c 2999 399248 74382 1 - 29.0070 -
2995.01/3003.95 c 3004 399846 74500 1 - 29.0070 -
3000.30/3009.30 c 3009 400541 74618 1 - 29.0070 -
3005.37/3014.36 c 3014 400968 74741 1 - 29.0070 -
3010.46/3019.42 c 3019 401470 74899 1 - 29.0070 -
3015.54/3024.59 c 3025 402008 74956 1 - 29.0070 -
3020.83/3029.80 c 3030 402625 75061 1 - 29.0070 -
3025.81/3034.87 c 3035 403240 75217 1 - 29.0070 -
3031.49/3040.57 c 3041 403888 75325 1 - 29.0070 -
3036.57/3045.65 c 3046 404723 75406 1 - 29.0769 -
3041.55/3050.68 c 3051 405283 75580 1 - 29.1429 -
3047.33/3056.45 c 3056 406030 75725 1 - 29.1429 -
3052.72/3061.88 c 3062 406623 75849 1 - 29.1586 -
3058.69/3067.83 c 3068 407251 75956 1 - 29.1782 -
3063.78/3072.91 c 3073 407963 75990 1 - 29.2365 -
3069.46/3078.61 c 3079 408676 76119 1 - 29.3000 -
3074.54/3083.71 c 3084 409317 76199 1 - 29.3333 -
3080.23/3089.42 c 3089 410084 76224 1 - 29.3333 -
3085.30/3094.53 c 3095 410562 76422 1 - 29.3333 -
3090.49/3099.77 c 3100 411264 76523 1 - 29.3333 -
3095.67/3104.99 c 3105 411973 76602 1 - 29.3871 -
3100.94/3110.29 c 3110 412633 76684 1 - 29.3958 -
3106.33/3115.62 c 3116 413331 76760 1 - 29.5000 -
3111.83/3121.12 c 3121 414066 76871 1 - 29.6000 -
3117.30/3126.61 c 3127 414844 77005 1 - 29.6667 -
3122.29/3131.66 c 3132 415422 77077 1 - 29.8787 -
3127.88/3137.26 c 3137 416046 77230 1 - 29.8824 -
3133.26/3142.65 c 3143 416637 77341 1 - 29.8983 -
3139.05/3148.44 c 3148 417423 77436 1 - 29.9892 -
3144.03/3153.46 c 3153 418173 77523 1 - 30.0000 -
3149.91/3159.36 c 3159 419112 77621 1 - 30.0000 -
3155.20/3164.65 c 3165 419905 77766 1 - 30.0000 -
3160.60/3170.07 c 3170 420638 77924 1 - 30.0000 -
3165.69/3175.14 c 3175 421295 78012 1 - 30.0000 -
3170.76/3180.29 c 3180 421993 78214 1 - 30.0000 -
3176.14/3185.69 c 3186 422713 78274 1 - 30.0000 -
3181.33/3190.82 c 3191 423220 78411 1 - 30.0000 -
3186.42/3195.94 c 3196 423766 78541 1 - 30.0000 -
3191.52/3201.05 c 3201 424314 78631 1 - 30.0000 -
3196.69/3206.20 c 3206 424902 78707 1 - 30.0000 -
3201.67/3211.27 c 3211 425779 78750 1 - 30.0000 -
3206.96/3216.55 c 3217 426398 78827 1 - 30.0000 -
3212.15/3221.72 c 3222 427024 78891 1 - 30.0000 -
3217.23/3226.89 c 3227 427740 78978 1 - 30.0000 -
3222.43/3232.10 c 3232 428298 79069 1 - 30.0000 -
3227.52/3237.18 c 3237 429010 79161 1 - 30.0000 -
3232.69/3242.34 c 3242 429718 79266 1 - 30.0000 -
3237.78/3247.41 c 3247 430253 79398 1 - 30.0000 -
3242.86/3252.52 c 3253 431015 79481 1 - 30.0000 -
3247.95/3257.69 c 3258 431739 79609 1 - 30.0000 -
3253.23/3262.96 c 3263 432648 79692 1 - 30.0000 -
3258.34/3268.04 c 3268 433307 79763 1 - 30.0000 -
3263.42/3273.16 c 3273 433912 79822 1 - 30.0000 -
3268.60/3278.31 c 3278 434515 79914 1 - 30.0000 -
3273.58/3283.37 c 3283 435212 80074 1 - 30.0000 -
3278.67/3288.46 c 3288 435781 80145 1 - 30.0000 -
3283.76/3293.52 c 3294 436588 80213 1 - 30.0000 -
3288.84/3298.60 c 3299 437208 80355 1 - 30.0000 -
3293.83/3303.67 c 3304 437928 80457 1 - 30.0000 -
3298.92/3308.79 c 3309 438534 80550 1 - 30.0000 -
3304.00/3313.88 c 3314 439051 80710 1 - 30.0000 -
3309.19/3319.04 c 3319 439669 80906 1 - 30.0000 -
3314.29/3324.14 c 3324 440398 81010 1 - 30.0000 -
3319.36/3329.20 c 3329 441025 81110 1 - 30.0000 -
3324.45/3334.37 c 3334 441630 81191 1 - 30.0000 -
3329.53/3339.46 c 3339 442228 81384 1 - 30.0000 -
3334.72/3344.62 c 3345 442768 81621 1 - 30.0000 -
3339.71/3349.67 c 3350 443516 81657 1 - 30.0000 -
3344.89/3354.87 c 3355 444183 81777 1 - 30.0000 -
3349.98/3359.98 c 3360 444690 81940 1 - 30.0000 -
3355.08/3365.06 c 3365 445272 82066 1 - 30.0000 -
3360.17/3370.16 c 3370 445945 82152 1 - 30.0000 -
3365.24/3375.26 c 3375 446592 82192 1 - 30.0000 -
3370.33/3380.35 c 3380 447430 82281 1 - 30.0000 -
3375.41/3385.45 c 3385 448114 82544 1 - 30.0000 -
3380.49/3390.57 c 3391 448726 82744 1 - 30.0000 -
3385.78/3395.80 c 3396 449358 82880 1 - 30.0000 -
3391.15/3401.23 c 3401 449920 82964 1 - 30.0000 -
3396.34/3406.48 c 3406 450447 83048 1 - 30.0000 -
3401.62/3411.76 c 3412 451035 83149 1 - 30.0000 -
3406.71/3416.88 c 3417 451787 83229 1 - 30.0000 -
3411.89/3422.06 c 3422 452404 83292 1 - 30.0000 -
3416.98/3427.11 c 3427 453081 83347 1 - 30.0000 -
3422.05/3432.20 c 3432 453671 83427 1 - 30.0000 -
3427.53/3437.70 c 3438 454180 83569 1 - 30.0000 -
3432.61/3442.89 c 3443 454740 83627 1 - 30.0000 -
3437.70/3448.01 c 3448 455247 83748 1 - 30.0000 -
3442.78/3453.09 c 3453 455848 83816 1 - 30.0000 -
3447.87/3458.17 c 3458 456396 83886 1 - 30.0000 -
3453.24/3463.55 c 3464 457079 84011 1 - 30.0000 -
3458.33/3468.63 c 3469 457730 84146 1 - 30.0000 -
3463.41/3473.72 c 3474 458309 84339 1 - 30.0000 -
3468.48/3478.85 c 3479 458851 84505 1 - 30.0000 -
3473.67/3484.01 c 3484 459682 84670 1 - 30.0000 -
3478.66/3489.09 c 3489 460398 84805 1 - 30.0000 -
3483.75/3494.15 c 3494 461071 84901 1 - 30.0000 -
3488.82/3499.23 c 3499 461712 85007 1 - 30.0000 -
3494.00/3504.40 c 3504 462353 85087 1 - 30.0000 -
3499.09/3509.54 c 3510 462933 85200 1 - 30.0000 -
3504.18/3514.60 c 3515 463650 85305 1 - 30.0000 -
3509.27/3519.78 c 3520 464388 85403 1 - 30.0000 -
3514.56/3525.03 c 3525 464964 85530 1 - 30.0000 -
3519.55/3530.10 c 3530 465715 85694 1 - 30.0000 -
3524.73/3535.20 c 3535 466342 85820 1 - 30.0000 -
3529.71/3540.27 c 3540 466977 85946 1 - 30.0000 -
3534.80/3545.32 c 3545 467602 85969 1 - 30.0000 -
3539.99/3550.57 c 3551 468133 86046 1 - 30.0000 -
3545.08/3555.66 c 3556 468862 86135 1 - 30.0000 -
3550.16/3560.79 c 3561 469446 86219 1 - 30.0000 -
3555.25/3565.87 c 3566 470085 86322 1 - 30.0000 -
3560.33/3570.99 c 3571 470717 86433 1 - 30.0000 -
3565.43/3576.10 c 3576 471388 86519 1 - 30.0000 -
3570.52/3581.17 c 3581 472023 86546 1 - 30.0000 -
3575.59/3586.26 c 3586 472745 86651 1 - 30.0000 -
3580.87/3591.53 c 3592 473408 86807 1 - 30.0000 -
3585.96/3596.60 c 3597 473934 86902 1 - 30.0000 -
3589.85/3600.52 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.85/3600.52 c Total Time : 3600.5200
3589.85/3600.52 c solving : 3600.5200
3589.85/3600.52 c presolving : 0.5963 (included in solving)
3589.85/3600.52 c B&B Tree :
3589.85/3600.52 c nodes (total) : 1
3589.85/3600.52 c Solution :
3589.85/3600.52 c Solutions found : 0
3589.85/3600.52 c Primal Bound : -
3589.85/3600.52 c Dual Bound : +3.00000000000000e+01
3589.85/3600.52 c Gap : -
3589.85/3600.56 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: 64059 MiB (61026 MiB free)
memory of node 1: 64510 MiB (59035 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434676-1721099129/watcher-4434676-1721099129 -o /tmp/evaluation-result-4434676-1721099129/solver-4434676-1721099129 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721095536-830635 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434676-1721099129.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=832728, runsolver pid=832725
Current StackSize limit: 8192 KiB
[startup+0.1001 s]*
/proc/loadavg: 4.03 4.11 4.15 5/248 832729
/proc/meminfo: memFree=122922696/131655788 swapFree=131071996/131071996
[pid=832728] ppid=832725 vsize=50904 memory=40596 CPUtime=0.1 cores=4,6
/proc/832728/stat : 832728 (fscip) R 832725 832728 830624 0 -1 4194304 7827 0 0 0 8 2 0 0 20 0 1 0 162071625 52125696 10149 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
/proc/832728/statm: 12726 10149 2558 3032 0 9126 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50904 KiB
Current children cumulated memory: 40596 KiB
[startup+0.212886 s]*
/proc/loadavg: 4.03 4.11 4.15 5/248 832729
/proc/meminfo: memFree=122898488/131655788 swapFree=131071996/131071996
[pid=832728] ppid=832725 vsize=67420 memory=55600 CPUtime=0.21 cores=4,6
/proc/832728/stat : 832728 (fscip) R 832725 832728 830624 0 -1 4194304 10996 0 0 0 18 3 0 0 20 0 1 0 162071625 69038080 13900 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
/proc/832728/statm: 16855 13900 2654 3032 0 13255 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 67420 KiB
Current children cumulated memory: 55600 KiB
[startup+0.312917 s]*
/proc/loadavg: 4.03 4.11 4.15 5/248 832729
/proc/meminfo: memFree=122890192/131655788 swapFree=131071996/131071996
[pid=832728] ppid=832725 vsize=72984 memory=61100 CPUtime=0.31 cores=4,6
/proc/832728/stat : 832728 (fscip) R 832725 832728 830624 0 -1 4194304 14435 0 0 0 27 4 0 0 20 0 1 0 162071625 74735616 15275 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
/proc/832728/statm: 18246 15275 2670 3032 0 14646 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 72984 KiB
Current children cumulated memory: 61100 KiB
[startup+0.700305 s]
/proc/loadavg: 4.03 4.11 4.15 5/248 832729
/proc/meminfo: memFree=122903472/131655788 swapFree=131071996/131071996
[pid=832728] ppid=832725 vsize=95652 memory=82508 CPUtime=0.69 cores=4,6
/proc/832728/stat : 832728 (fscip) R 832725 832728 830624 0 -1 4194304 19909 0 0 0 63 6 0 0 20 0 1 0 162071625 97947648 20627 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
/proc/832728/statm: 24032 20627 2782 3032 0 20432 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 95652 KiB
Current children cumulated memory: 82508 KiB
[startup+1.50039 s]
/proc/loadavg: 4.03 4.11 4.15 5/250 832731
/proc/meminfo: memFree=122844040/131655788 swapFree=131071996/131071996
[pid=832728] ppid=832725 vsize=200880 memory=149616 CPUtime=1.48 cores=4,6
/proc/832728/stat : 832728 (fscip) S 832725 832728 830624 0 -1 1077936128 36115 0 0 0 139 9 0 0 20 0 3 0 162071625 205701120 37404 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
/proc/832728/statm: 50220 37404 2926 3032 0 44360 0
[pid=832728/tid=832730] ppid=832725 vsize=200880 memory=4312 CPUtime=0.75 cores=4,6
/proc/832728/task/832730/stat : 832730 (fscip) R 832725 832728 830624 0 -1 4194368 13892 0 0 0 72 3 0 0 20 0 3 0 162071696 205701120 37404 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
[pid=832728/tid=832731] ppid=832725 vsize=200880 memory=2268 CPUtime=0 cores=4,6
/proc/832728/task/832731/stat : 832731 (fscip) S 832725 832728 830624 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 162071700 205701120 37404 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 200880 KiB
Current children cumulated memory: 149616 KiB
[startup+3.11275 s]
/proc/loadavg: 4.11 4.13 4.16 6/248 832777
/proc/meminfo: memFree=125076536/131655788 swapFree=131071996/131071996
[pid=832728] ppid=832725 vsize=266416 memory=194728 CPUtime=3.09 cores=4,6
/proc/832728/stat : 832728 (fscip) S 832725 832728 830624 0 -1 1077936128 54278 0 0 0 297 12 0 0 20 0 3 0 162071625 272809984 48682 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
/proc/832728/statm: 66604 48682 2926 3032 0 56443 0
[pid=832728/tid=832730] ppid=832725 vsize=266416 memory=2268 CPUtime=2.35 cores=4,6
/proc/832728/task/832730/stat : 832730 (fscip) R 832725 832728 830624 0 -1 4194368 32048 0 0 0 230 5 0 0 20 0 3 0 162071696 272809984 48682 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
[pid=832728/tid=832731] ppid=832725 vsize=266416 memory=100 CPUtime=0 cores=4,6
/proc/832728/task/832731/stat : 832731 (fscip) S 832725 832728 830624 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 162071700 272809984 48682 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 266416 KiB
Current children cumulated memory: 194728 KiB
[startup+6.30037 s]
/proc/loadavg: 4.11 4.13 4.16 5/250 832780
/proc/meminfo: memFree=124638540/131655788 swapFree=131071996/131071996
[pid=832728] ppid=832725 vsize=266416 memory=216176 CPUtime=6.26 cores=4,6
/proc/832728/stat : 832728 (fscip) S 832725 832728 830624 0 -1 1077936128 74852 0 0 0 613 13 0 0 20 0 3 0 162071625 272809984 54044 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
/proc/832728/statm: 66604 54044 2974 3032 0 61384 0
[pid=832728/tid=832730] ppid=832725 vsize=266416 memory=214912 CPUtime=5.54 cores=4,6
/proc/832728/task/832730/stat : 832730 (fscip) R 832725 832728 830624 0 -1 4194368 52594 0 0 0 547 7 0 0 20 0 3 0 162071696 272809984 54044 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
[pid=832728/tid=832731] ppid=832725 vsize=266416 memory=11516 CPUtime=0 cores=4,6
/proc/832728/task/832731/stat : 832731 (fscip) S 832725 832728 830624 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 162071700 272809984 54044 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 266416 KiB
Current children cumulated memory: 216176 KiB
[startup+12.7004 s]
/proc/loadavg: 4.10 4.12 4.16 5/250 832830
/proc/meminfo: memFree=124169540/131655788 swapFree=131071996/131071996
[pid=832728] ppid=832725 vsize=266416 memory=215024 CPUtime=12.65 cores=4,6
/proc/832728/stat : 832728 (fscip) S 832725 832728 830624 0 -1 1077936128 106102 0 0 0 1249 16 0 0 20 0 3 0 162071625 272809984 53756 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
/proc/832728/statm: 66604 53756 2990 3032 0 62198 0
[pid=832728/tid=832730] ppid=832725 vsize=266416 memory=215024 CPUtime=11.92 cores=4,6
/proc/832728/task/832730/stat : 832730 (fscip) R 832725 832728 830624 0 -1 4194368 83786 0 0 0 1183 9 0 0 20 0 3 0 162071696 272809984 53756 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
[pid=832728/tid=832731] ppid=832725 vsize=266416 memory=194728 CPUtime=0 cores=4,6
/proc/832728/task/832731/stat : 832731 (fscip) S 832725 832728 830624 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 162071700 272809984 53756 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 266416 KiB
Current children cumulated memory: 215024 KiB
[startup+25.5004 s]
/proc/loadavg: 4.08 4.12 4.15 5/250 832831
/proc/meminfo: memFree=123825156/131655788 swapFree=131071996/131071996
[pid=832728] ppid=832725 vsize=331952 memory=228132 CPUtime=25.41 cores=4,6
/proc/832728/stat : 832728 (fscip) S 832725 832728 830624 0 -1 1077936128 154031 0 0 0 2522 19 0 0 20 0 3 0 162071625 339918848 57033 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
/proc/832728/statm: 82988 57033 2990 3032 0 64304 0
[pid=832728/tid=832730] ppid=832725 vsize=331952 memory=594552 CPUtime=24.68 cores=4,6
/proc/832728/task/832730/stat : 832730 (fscip) R 832725 832728 830624 0 -1 4194368 131646 0 0 0 2456 12 0 0 20 0 3 0 162071696 339918848 57033 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
[pid=832728/tid=832731] ppid=832725 vsize=331952 memory=228132 CPUtime=0 cores=4,6
/proc/832728/task/832731/stat : 832731 (fscip) S 832725 832728 830624 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 162071700 339918848 57033 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 331952 KiB
Current children cumulated memory: 228132 KiB
[startup+51.1128 s]
/proc/loadavg: 4.12 4.12 4.15 5/250 832836
/proc/meminfo: memFree=123759956/131655788 swapFree=131071996/131071996
[pid=832728] ppid=832725 vsize=331952 memory=258276 CPUtime=50.94 cores=4,6
/proc/832728/stat : 832728 (fscip) S 832725 832728 830624 0 -1 1077936128 238398 0 0 0 5068 26 0 0 20 0 3 0 162071625 339918848 64569 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
/proc/832728/statm: 82988 64569 2990 3032 0 73595 0
[pid=832728/tid=832730] ppid=832725 vsize=331952 memory=259820 CPUtime=50.21 cores=4,6
/proc/832728/task/832730/stat : 832730 (fscip) R 832725 832728 830624 0 -1 4194368 215891 0 0 0 5002 19 0 0 20 0 3 0 162071696 339918848 64569 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
[pid=832728/tid=832731] ppid=832725 vsize=331952 memory=41416 CPUtime=0 cores=4,6
/proc/832728/task/832731/stat : 832731 (fscip) S 832725 832728 830624 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 162071700 339918848 64569 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 331952 KiB
Current children cumulated memory: 258276 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.13 4.16 5/249 832844
/proc/meminfo: memFree=123636384/131655788 swapFree=131071996/131071996
[pid=832728] ppid=832725 vsize=331952 memory=262468 CPUtime=101.95 cores=4,6
/proc/832728/stat : 832728 (fscip) S 832725 832728 830624 0 -1 1077936128 289155 0 0 0 10160 35 0 0 20 0 3 0 162071625 339918848 65617 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
/proc/832728/statm: 82988 65617 2990 3032 0 73595 0
[pid=832728/tid=832730] ppid=832725 vsize=331952 memory=258312 CPUtime=101.21 cores=4,6
/proc/832728/task/832730/stat : 832730 (fscip) R 832725 832728 830624 0 -1 4194368 266556 0 0 0 10093 28 0 0 20 0 3 0 162071696 339918848 65617 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
[pid=832728/tid=832731] ppid=832725 vsize=331952 memory=11516 CPUtime=0 cores=4,6
/proc/832728/task/832731/stat : 832731 (fscip) S 832725 832728 830624 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 162071700 339918848 65617 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 331952 KiB
Current children cumulated memory: 262468 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/249 832854
/proc/meminfo: memFree=123561112/131655788 swapFree=131071996/131071996
[pid=832728] ppid=832725 vsize=397488 memory=320320 CPUtime=161.77 cores=4,6
/proc/832728/stat : 832728 (fscip) S 832725 832728 830624 0 -1 1077936128 341865 0 0 0 16133 44 0 0 20 0 3 0 162071625 407027712 80080 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
/proc/832728/statm: 99372 80080 2990 3032 0 87990 0
[pid=832728/tid=832730] ppid=832725 vsize=397488 memory=41416 CPUtime=161.02 cores=4,6
/proc/832728/task/832730/stat : 832730 (fscip) R 832725 832728 830624 0 -1 4194368 319209 0 0 0 16066 36 0 0 20 0 3 0 162071696 407027712 80080 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
[pid=832728/tid=832731] ppid=832725 vsize=397488 memory=11516 CPUtime=0 cores=4,6
/proc/832728/task/832731/stat : 832731 (fscip) S 832725 832728 830624 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 162071700 407027712 80080 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 397488 KiB
Current children cumulated memory: 320320 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/250 832867
/proc/meminfo: memFree=123512716/131655788 swapFree=131071996/131071996
[pid=832728] ppid=832725 vsize=397488 memory=323016 CPUtime=221.59 cores=4,6
/proc/832728/stat : 832728 (fscip) S 832725 832728 830624 0 -1 1077936128 368209 0 0 0 22108 51 0 0 20 0 3 0 162071625 407027712 80754 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
/proc/832728/statm: 99372 80754 2990 3032 0 87990 0
[pid=832728/tid=832730] ppid=832725 vsize=397488 memory=320620 CPUtime=220.84 cores=4,6
/proc/832728/task/832730/stat : 832730 (fscip) R 832725 832728 830624 0 -1 4194368 345518 0 0 0 22040 44 0 0 20 0 3 0 162071696 407027712 80754 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
[pid=832728/tid=832731] ppid=832725 vsize=397488 memory=320620 CPUtime=0 cores=4,6
/proc/832728/task/832731/stat : 832731 (fscip) S 832725 832728 830624 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 162071700 407027712 80754 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 397488 KiB
Current children cumulated memory: 323016 KiB
################
# More data... #
################
/proc/832728/statm: 389014 373315 2990 3032 0 383537 0
[pid=832728/tid=832730] ppid=832725 vsize=1556056 memory=1419136 CPUtime=3450.93 cores=4,6
/proc/832728/task/832730/stat : 832730 (fscip) R 832725 832728 830624 0 -1 4194368 2120201 0 0 0 344721 372 0 0 20 0 3 0 162071696 1593401344 373315 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
[pid=832728/tid=832731] ppid=832725 vsize=1556056 memory=11516 CPUtime=0.05 cores=4,6
/proc/832728/task/832731/stat : 832731 (fscip) S 832725 832728 830624 0 -1 1077936192 154 0 0 0 1 4 0 0 20 0 3 0 162071700 1593401344 373315 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
Current children cumulated CPU time: 3452.05 s
Current children cumulated vsize: 1556056 KiB
Current children cumulated memory: 1493260 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.25 4.17 5/253 835981
/proc/meminfo: memFree=122428104/131655788 swapFree=131071996/131071996
[pid=832728] ppid=832725 vsize=1556056 memory=1499932 CPUtime=3511.86 cores=4,6
/proc/832728/stat : 832728 (fscip) S 832725 832728 830624 0 -1 1077936128 2193800 0 0 0 350783 403 0 0 20 0 3 0 162071625 1593401344 374983 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
/proc/832728/statm: 389014 374983 2990 3032 0 383537 0
[pid=832728/tid=832730] ppid=832725 vsize=1556056 memory=2268 CPUtime=3510.75 cores=4,6
/proc/832728/task/832730/stat : 832730 (fscip) R 832725 832728 830624 0 -1 4194368 2170191 0 0 0 350696 379 0 0 20 0 3 0 162071696 1593401344 374983 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
[pid=832728/tid=832731] ppid=832725 vsize=1556056 memory=1499932 CPUtime=0.05 cores=4,6
/proc/832728/task/832731/stat : 832731 (fscip) S 832725 832728 830624 0 -1 1077936192 156 0 0 0 1 4 0 0 20 0 3 0 162071700 1593401344 374983 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
Current children cumulated CPU time: 3511.86 s
Current children cumulated vsize: 1556056 KiB
Current children cumulated memory: 1499932 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.23 4.17 5/253 835993
/proc/meminfo: memFree=122404220/131655788 swapFree=131071996/131071996
[pid=832728] ppid=832725 vsize=1559356 memory=1515312 CPUtime=3571.7 cores=4,6
/proc/832728/stat : 832728 (fscip) S 832725 832728 830624 0 -1 1077936128 2246573 0 0 0 356760 410 0 0 20 0 3 0 162071625 1596780544 378828 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
/proc/832728/statm: 389839 378828 2990 3032 0 385846 0
[pid=832728/tid=832730] ppid=832725 vsize=1559356 memory=6720665437216062832 CPUtime=3570.58 cores=4,6
/proc/832728/task/832730/stat : 832730 (fscip) R 832725 832728 830624 0 -1 4194368 2222948 0 0 0 356672 386 0 0 20 0 3 0 162071696 1596780544 378828 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
[pid=832728/tid=832731] ppid=832725 vsize=1559356 memory=11516 CPUtime=0.05 cores=4,6
/proc/832728/task/832731/stat : 832731 (fscip) S 832725 832728 830624 0 -1 1077936192 158 0 0 0 1 4 0 0 20 0 3 0 162071700 1596780544 378828 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
Current children cumulated CPU time: 3571.7 s
Current children cumulated vsize: 1559356 KiB
Current children cumulated memory: 1515312 KiB
[startup+3600.56 s]
# the end of solver process 832728 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.75 s, system=4.18037 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.23 4.17 5/253 835993
/proc/meminfo: memFree=122401952/131655788 swapFree=131071996/131071996
[pid=832728] ppid=832725 vsize=1624892 memory=1517580 CPUtime=3573.41 cores=4,6
/proc/832728/stat : 832728 (fscip) S 832725 832728 830624 0 -1 1077936128 2248156 0 0 0 356931 410 0 0 20 0 3 0 162071625 1663889408 379395 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
/proc/832728/statm: 406223 379395 2990 3032 0 386469 0
[pid=832728/tid=832730] ppid=832725 vsize=1624892 memory=6931104011862954076 CPUtime=3572.29 cores=4,6
/proc/832728/task/832730/stat : 832730 (fscip) R 832725 832728 830624 0 -1 4194368 2224531 0 0 0 356843 386 0 0 20 0 3 0 162071696 1663889408 379395 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
[pid=832728/tid=832731] ppid=832725 vsize=1624892 memory=6944656592455097440 CPUtime=0.05 cores=4,6
/proc/832728/task/832731/stat : 832731 (fscip) S 832725 832728 830624 0 -1 1077936192 158 0 0 0 1 4 0 0 20 0 3 0 162071700 1663889408 379395 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
Current children cumulated CPU time: 3573.41 s
Current children cumulated vsize: 1624892 KiB
Current children cumulated memory: 1517580 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.23 4.17 5/253 835994
/proc/meminfo: memFree=122397852/131655788 swapFree=131071996/131071996
[pid=832728] ppid=832725 vsize=1624892 memory=1521600 CPUtime=3579.77 cores=4,6
/proc/832728/stat : 832728 (fscip) S 832725 832728 830624 0 -1 1077936128 2250142 0 0 0 357566 411 0 0 20 0 3 0 162071625 1663889408 380400 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
/proc/832728/statm: 406223 380400 2990 3032 0 387418 0
[pid=832728/tid=832730] ppid=832725 vsize=1624892 memory=11516 CPUtime=3578.65 cores=4,6
/proc/832728/task/832730/stat : 832730 (fscip) R 832725 832728 830624 0 -1 4194368 2226513 0 0 0 357478 387 0 0 20 0 3 0 162071696 1663889408 380400 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
[pid=832728/tid=832731] ppid=832725 vsize=1624892 memory=1510876 CPUtime=0.05 cores=4,6
/proc/832728/task/832731/stat : 832731 (fscip) S 832725 832728 830624 0 -1 1077936192 160 0 0 0 1 4 0 0 20 0 3 0 162071700 1663889408 380400 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
Current children cumulated CPU time: 3579.77 s
Current children cumulated vsize: 1624892 KiB
Current children cumulated memory: 1521600 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.22 4.17 5/253 835994
/proc/meminfo: memFree=122397484/131655788 swapFree=131071996/131071996
[pid=832728] ppid=832725 vsize=1624892 memory=1521988 CPUtime=3586.16 cores=4,6
/proc/832728/stat : 832728 (fscip) S 832725 832728 830624 0 -1 1077936128 2251791 0 0 0 358204 412 0 0 20 0 3 0 162071625 1663889408 380497 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
/proc/832728/statm: 406223 380497 2990 3032 0 387418 0
[pid=832728/tid=832730] ppid=832725 vsize=1624892 memory=1506244 CPUtime=3585.04 cores=4,6
/proc/832728/task/832730/stat : 832730 (fscip) R 832725 832728 830624 0 -1 4194368 2228149 0 0 0 358116 388 0 0 20 0 3 0 162071696 1663889408 380497 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
[pid=832728/tid=832731] ppid=832725 vsize=1624892 memory=1512996 CPUtime=0.05 cores=4,6
/proc/832728/task/832731/stat : 832731 (fscip) S 832725 832728 830624 0 -1 1077936192 160 0 0 0 1 4 0 0 20 0 3 0 162071700 1663889408 380497 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
Current children cumulated CPU time: 3586.16 s
Current children cumulated vsize: 1624892 KiB
Current children cumulated memory: 1521988 KiB
[startup+3598.4 s]
/proc/loadavg: 4.12 4.22 4.17 5/253 835994
/proc/meminfo: memFree=122397456/131655788 swapFree=131071996/131071996
[pid=832728] ppid=832725 vsize=1624892 memory=1521996 CPUtime=3587.76 cores=4,6
/proc/832728/stat : 832728 (fscip) S 832725 832728 830624 0 -1 1077936128 2251951 0 0 0 358364 412 0 0 20 0 3 0 162071625 1663889408 380499 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
/proc/832728/statm: 406223 380499 2990 3032 0 387418 0
[pid=832728/tid=832730] ppid=832725 vsize=1624892 memory=16224 CPUtime=3586.63 cores=4,6
/proc/832728/task/832730/stat : 832730 (fscip) R 832725 832728 830624 0 -1 4194368 2228309 0 0 0 358275 388 0 0 20 0 3 0 162071696 1663889408 380499 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
[pid=832728/tid=832731] ppid=832725 vsize=1624892 memory=2268 CPUtime=0.05 cores=4,6
/proc/832728/task/832731/stat : 832731 (fscip) S 832725 832728 830624 0 -1 1077936192 160 0 0 0 1 4 0 0 20 0 3 0 162071700 1663889408 380499 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
Current children cumulated CPU time: 3587.76 s
Current children cumulated vsize: 1624892 KiB
Current children cumulated memory: 1521996 KiB
[startup+3599.2 s]
/proc/loadavg: 4.11 4.22 4.17 5/252 835996
/proc/meminfo: memFree=122392436/131655788 swapFree=131071996/131071996
[pid=832728] ppid=832725 vsize=1635332 memory=1526956 CPUtime=3588.55 cores=4,6
/proc/832728/stat : 832728 (fscip) S 832725 832728 830624 0 -1 1077936128 2252334 0 0 0 358443 412 0 0 20 0 3 0 162071625 1674579968 381739 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
/proc/832728/statm: 408833 381739 2990 3032 0 390238 0
[pid=832728/tid=832730] ppid=832725 vsize=1635332 memory=6720665437216062832 CPUtime=3587.43 cores=4,6
/proc/832728/task/832730/stat : 832730 (fscip) R 832725 832728 830624 0 -1 4194368 2228692 0 0 0 358355 388 0 0 20 0 3 0 162071696 1674579968 381739 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
[pid=832728/tid=832731] ppid=832725 vsize=1635332 memory=12020 CPUtime=0.05 cores=4,6
/proc/832728/task/832731/stat : 832731 (fscip) S 832725 832728 830624 0 -1 1077936192 160 0 0 0 1 4 0 0 20 0 3 0 162071700 1674579968 381739 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
Current children cumulated CPU time: 3588.55 s
Current children cumulated vsize: 1635332 KiB
Current children cumulated memory: 1526956 KiB
[startup+3600 s]*
/proc/loadavg: 4.11 4.22 4.17 5/252 835996
/proc/meminfo: memFree=122391632/131655788 swapFree=131071996/131071996
[pid=832728] ppid=832725 vsize=1635332 memory=1528024 CPUtime=3589.36 cores=4,6
/proc/832728/stat : 832728 (fscip) S 832725 832728 830624 0 -1 1077936128 2253159 0 0 0 358524 412 0 0 20 0 3 0 162071625 1674579968 382006 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
/proc/832728/statm: 408833 382006 2990 3032 0 390499 0
[pid=832728/tid=832730] ppid=832725 vsize=1635332 memory=19580 CPUtime=3588.24 cores=4,6
/proc/832728/task/832730/stat : 832730 (fscip) R 832725 832728 830624 0 -1 4194368 2229541 0 0 0 358436 388 0 0 20 0 3 0 162071696 1674579968 382006 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
[pid=832728/tid=832731] ppid=832725 vsize=1635332 memory=-7377872172555591543 CPUtime=0.05 cores=4,6
/proc/832728/task/832731/stat : 832731 (fscip) S 832725 832728 830624 0 -1 1077936192 160 0 0 0 1 4 0 0 20 0 3 0 162071700 1674579968 382006 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
Current children cumulated CPU time: 3589.36 s
Current children cumulated vsize: 1635332 KiB
Current children cumulated memory: 1528024 KiB
[startup+3600.4 s]
/proc/loadavg: 4.11 4.22 4.17 5/252 835996
/proc/meminfo: memFree=122391632/131655788 swapFree=131071996/131071996
[pid=832728] ppid=832725 vsize=1635332 memory=1528024 CPUtime=3589.75 cores=4,6
/proc/832728/stat : 832728 (fscip) S 832725 832728 830624 0 -1 1077936128 2291839 0 0 0 358560 415 0 0 20 0 3 0 162071625 1674579968 382006 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
/proc/832728/statm: 408833 382006 2990 3032 0 390499 0
[pid=832728/tid=832730] ppid=832725 vsize=1635332 memory=27540 CPUtime=3588.63 cores=4,6
/proc/832728/task/832730/stat : 832730 (fscip) R 832725 832728 830624 0 -1 4194368 2268203 0 0 0 358472 391 0 0 20 0 3 0 162071696 1674579968 382006 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
[pid=832728/tid=832731] ppid=832725 vsize=1635332 memory=40392 CPUtime=0.05 cores=4,6
/proc/832728/task/832731/stat : 832731 (fscip) S 832725 832728 830624 0 -1 1077936192 160 0 0 0 1 4 0 0 20 0 3 0 162071700 1674579968 382006 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
Current children cumulated CPU time: 3589.75 s
Current children cumulated vsize: 1635332 KiB
Current children cumulated memory: 1528024 KiB
[startup+3600.5 s]
/proc/loadavg: 4.11 4.22 4.17 5/252 835996
/proc/meminfo: memFree=122391632/131655788 swapFree=131071996/131071996
[pid=832728] ppid=832725 vsize=1635332 memory=1528024 CPUtime=3589.85 cores=4,6
/proc/832728/stat : 832728 (fscip) S 832725 832728 830624 0 -1 1077936128 2293435 0 0 0 358570 415 0 0 20 0 3 0 162071625 1674579968 382006 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
/proc/832728/statm: 408833 382006 2990 3032 0 390499 0
[pid=832728/tid=832730] ppid=832725 vsize=1635332 memory=1518076 CPUtime=3588.73 cores=4,6
/proc/832728/task/832730/stat : 832730 (fscip) R 832725 832728 830624 0 -1 4194368 2269792 0 0 0 358482 391 0 0 20 0 3 0 162071696 1674579968 382006 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
[pid=832728/tid=832731] ppid=832725 vsize=1635332 memory=164 CPUtime=0.05 cores=4,6
/proc/832728/task/832731/stat : 832731 (fscip) S 832725 832728 830624 0 -1 1077936192 160 0 0 0 1 4 0 0 20 0 3 0 162071700 1674579968 382006 134679101440 4194304 16613245 140727343136528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 26185728 140727343141909 140727343142025 140727343142025 140727343149040 0
Current children cumulated CPU time: 3589.85 s
Current children cumulated vsize: 1635332 KiB
Current children cumulated memory: 1528024 KiB
Child status: 0
Real time (s): 3600.56
CPU time (s): 3589.93
CPU user time (s): 3585.75
CPU system time (s): 4.18037
CPU usage (%): 99.7045
Max. virtual memory (cumulated for all children) (KiB): 1635332
Max. memory (cumulated for all children) (KiB): 1528024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.75
system time used= 4.18037
maximum resident set size= 1528024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2293901
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= 11794
involuntary context switches= 4316
# summary of solver processes directly reported to runsolver:
# pid: 832728
# total CPU time (s): 3589.93
# total CPU user time (s): 3585.75
# total CPU system time (s): 4.18037
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5592 second user time and 35.4547 second system time
The end
Begin job on nodeC006 at 2024-07-16 05:05:41
IDJOB=4434676
IDBENCH=147622
IDSOLVER=3064
FILE ID=nodeC006/4434676-1721099129
RUNJOBID= nodeC006-1721095536-830635
SLURM_JOB_ID= 7505606
Free space on /tmp= 723692 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_12.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-4434676-1721099129/watcher-4434676-1721099129 -o /tmp/evaluation-result-4434676-1721099129/solver-4434676-1721099129 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721095536-830635 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434676-1721099129.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 88220551ed2e54bab314d6806833f69c
RANDOM SEED=334102000
nodeC006.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 : 0xb00001f
cpu MHz : 3667.439
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.94
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 : 0xb00001f
cpu MHz : 3538.810
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26
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 : 0xb00001f
cpu MHz : 1197.400
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.94
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 : 0xb00001f
cpu MHz : 1197.397
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26
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 : 0xb00001f
cpu MHz : 1199.730
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.94
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 : 0xb00001f
cpu MHz : 3491.971
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26
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 : 0xb00001f
cpu MHz : 1197.250
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.94
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 : 0xb00001f
cpu MHz : 1197.405
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 122944016 kB
MemAvailable: 126654356 kB
Buffers: 396848 kB
Cached: 4110824 kB
SwapCached: 0 kB
Active: 694696 kB
Inactive: 7387024 kB
Active(anon): 1460 kB
Inactive(anon): 3610304 kB
Active(file): 693236 kB
Inactive(file): 3776720 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 57260 kB
Writeback: 0 kB
AnonPages: 3530504 kB
Mapped: 140312 kB
Shmem: 37704 kB
KReclaimable: 160828 kB
Slab: 265252 kB
SReclaimable: 160828 kB
SUnreclaim: 104424 kB
KernelStack: 3952 kB
PageTables: 16708 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2384920 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52096 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1746944 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: 219976 kB
DirectMap2M: 27996160 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 723656 MiB
End job on nodeC006 at 2024-07-16 06:05:42