0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
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.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
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.4.0 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.08 c Default LC presolving (default).
0.00/0.08 c ** Before presolving: virtualMemUsedAtLc = 77830125, getVmSize() = 69492736, SCIPgetMemUsed() = 40765847, SCIPgetMemTotal() = 45102359, SCIPgetMemExternEstim() = 32727766
0.00/0.08 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
91.55/91.98 c ** Estimated virtualMemUsedAtSolver = 107531842, getVmSize() = 155881472, SCIPgetMemUsed() = 84561389, SCIPgetMemTotal() = 128569997, SCIPgetMemExternEstim() = 32727766
91.55/91.98 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
91.55/91.98 c Original Problem :
91.55/91.98 c Problem name : instance-4464940-1722390220
91.55/91.98 c Variables : 12328 (12328 binary, 0 integer, 0 implicit integer, 0 continuous)
91.55/91.98 c Constraints : 23307
91.55/91.98 c Objective sense : minimize
91.55/91.98 c Presolved Problem :
91.55/91.98 c Variables : 11878 (11878 binary, 0 integer, 0 implicit integer, 0 continuous)
91.55/91.98 c Constraints : 11457
91.55/91.98 c Constraints : Number
91.55/91.98 c knapsack : 1
91.55/91.98 c linear : 11428
91.55/91.98 c indicator : 28
91.55/91.98 c ** Instance transfer method used: 0
91.66/92.01 c ** ParaScipInstance copy increased the number of variables. **
91.66/92.07 c LC is working with racing ramp-up and with rebuilding tree after racing.
91.66/92.08 c Nodes Active
91.66/92.08 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
92.06/92.46 c * 92 0 1 1 5714.0000 - -
92.06/92.46 c 92 0 1 1 5714.0000 - -
108.09/108.51 c * 109 0 1 1 3067.0000 - -
108.09/108.51 c 109 0 1 1 3067.0000 - -
108.30/108.76 c * 109 0 1 1 3037.0000 - -
108.30/108.79 c * 109 0 1 1 2749.0000 - -
114.09/114.50 c 114 2 1 1 2749.0000 381.5000 -
119.28/119.71 c 120 13 12 1 2749.0000 398.5000 -
126.16/126.66 c 127 25 24 1 2749.0000 414.0000 -
132.44/132.96 c 133 34 33 1 2749.0000 452.6667 -
137.83/138.36 c 138 45 44 1 2749.0000 452.6667 -
144.11/144.66 c 145 57 56 1 2749.0000 452.6667 -
151.19/151.74 c 152 68 67 1 2749.0000 452.6667 -
156.77/157.33 c 157 73 72 1 2749.0000 465.6667 490.34%
162.05/162.60 c 163 82 81 1 2749.0000 467.6667 487.81%
169.34/169.99 c 170 93 92 1 2749.0000 467.6667 487.81%
182.51/183.18 c 183 95 94 1 2749.0000 467.6667 487.81%
189.67/190.39 c 190 98 97 1 2749.0000 467.6667 487.81%
195.66/196.30 c 196 102 101 1 2749.0000 467.6667 487.81%
202.03/202.80 c 203 104 103 1 2749.0000 467.6667 487.81%
213.20/214.01 c 214 105 104 1 2749.0000 467.6667 487.81%
221.68/222.41 c 222 108 107 1 2749.0000 467.6667 487.81%
228.07/228.82 c * 229 110 109 1 2584.0000 467.6667 452.53%
228.07/228.82 c 229 110 109 1 2584.0000 467.6667 452.53%
234.54/235.38 c 235 112 111 1 2584.0000 467.6667 452.53%
239.63/240.41 c 240 114 113 1 2584.0000 467.6667 452.53%
247.70/248.57 c 249 118 117 1 2584.0000 467.6667 452.53%
254.89/255.75 c 256 122 121 1 2584.0000 468.1667 451.94%
264.66/265.52 c 266 126 125 1 2584.0000 468.1667 451.94%
269.74/270.61 c 271 129 128 1 2584.0000 468.1667 451.94%
276.24/277.11 c 277 132 131 1 2584.0000 468.1667 451.94%
283.30/284.21 c 284 136 135 1 2584.0000 483.6667 434.25%
290.57/291.57 c 292 140 139 1 2584.0000 483.6667 434.25%
297.96/298.94 c 299 144 143 1 2584.0000 513.1667 403.54%
305.83/306.82 c 307 148 147 1 2584.0000 513.1667 403.54%
313.51/314.50 c 315 152 151 1 2584.0000 544.1667 374.85%
320.29/321.34 c 321 155 154 1 2584.0000 548.1667 371.39%
325.88/326.92 c 327 159 158 1 2584.0000 548.1667 371.39%
332.07/333.19 c 333 166 165 1 2584.0000 548.1667 371.39%
339.83/340.96 c 341 170 169 1 2584.0000 548.1667 371.39%
355.10/356.26 c 356 176 175 1 2584.0000 548.1667 371.39%
360.48/361.63 c 362 178 177 1 2584.0000 548.1667 371.39%
367.16/368.31 c 368 182 181 1 2584.0000 548.1667 371.39%
374.14/375.30 c 375 186 185 1 2584.0000 548.1667 371.39%
380.83/382.07 c * 382 190 189 1 2579.0000 548.1667 370.48%
380.83/382.07 c 382 190 189 1 2579.0000 548.1667 370.48%
386.41/387.64 c 388 209 208 1 2579.0000 548.1667 370.48%
395.59/396.81 c 397 216 215 1 2579.0000 561.5000 359.31%
403.37/404.69 c 405 225 224 1 2579.0000 561.5000 359.31%
410.86/412.16 c 412 231 230 1 2579.0000 561.5000 359.31%
418.84/420.18 c 420 238 237 1 2579.0000 565.6667 355.92%
424.01/425.35 c 425 239 238 1 2579.0000 565.6667 355.92%
429.81/431.15 c 431 243 242 1 2579.0000 565.6667 355.92%
436.58/437.91 c * 438 246 245 1 2545.0000 565.6667 349.91%
436.58/437.91 c 438 246 245 1 2545.0000 565.6667 349.91%
446.66/448.01 c 448 251 250 1 2545.0000 565.6667 349.91%
452.65/454.01 c 454 254 253 1 2545.0000 578.1667 340.18%
467.80/469.29 c 469 264 263 1 2545.0000 578.1667 340.18%
475.17/476.66 c 477 272 271 1 2545.0000 578.1667 340.18%
480.95/482.49 c 482 278 277 1 2545.0000 578.1667 340.18%
489.83/491.39 c 491 285 284 1 2545.0000 578.1667 340.18%
495.53/497.05 c 497 294 293 1 2545.0000 578.1667 340.18%
501.80/503.36 c 503 309 308 1 2545.0000 578.1667 340.18%
509.77/511.38 c 511 315 314 1 2545.0000 578.1667 340.18%
517.26/518.80 c 519 322 321 1 2545.0000 578.1667 340.18%
524.63/526.20 c 526 326 325 1 2545.0000 578.1667 340.18%
529.81/531.42 c 531 329 328 1 2545.0000 578.1667 340.18%
538.09/539.73 c 540 339 338 1 2545.0000 578.1667 340.18%
545.38/547.08 c 547 352 351 1 2545.0000 578.5000 339.93%
552.46/554.19 c 554 369 368 1 2545.0000 578.5000 339.93%
557.83/559.60 c 560 404 403 1 2545.0000 578.5000 339.93%
563.43/565.14 c 565 432 431 1 2545.0000 582.0000 337.29%
570.19/571.98 c 572 444 443 1 2545.0000 582.0000 337.29%
578.77/580.50 c 581 472 471 1 2545.0000 582.6667 336.78%
584.27/586.04 c 586 480 479 1 2545.0000 582.6667 336.78%
589.36/591.16 c 591 487 486 1 2545.0000 582.6667 336.78%
595.73/597.57 c 598 512 511 1 2545.0000 597.5000 325.94%
601.61/603.46 c 603 527 526 1 2545.0000 597.5000 325.94%
608.99/610.87 c 611 532 531 1 2545.0000 599.4167 324.58%
616.07/617.92 c 618 541 540 1 2545.0000 599.4167 324.58%
622.16/624.04 c 624 543 542 1 2545.0000 603.6667 321.59%
627.34/629.26 c 629 548 547 1 2545.0000 603.6667 321.59%
633.83/635.79 c 636 560 559 1 2545.0000 603.6667 321.59%
641.31/643.22 c 643 582 581 1 2545.0000 611.0000 316.53%
647.69/649.66 c 650 594 593 1 2545.0000 614.0000 314.50%
653.67/655.62 c 656 600 599 1 2545.0000 614.0000 314.50%
658.95/660.98 c 661 608 607 1 2545.0000 614.0000 314.50%
667.72/669.73 c 670 611 610 1 2545.0000 614.0000 314.50%
676.02/678.01 c 678 614 613 1 2545.0000 614.4167 314.21%
682.58/684.67 c 685 618 617 1 2545.0000 614.4167 314.21%
689.16/691.28 c 691 624 623 1 2545.0000 614.4167 314.21%
696.34/698.41 c 698 630 629 1 2545.0000 614.4167 314.21%
701.62/703.79 c 704 636 635 1 2545.0000 614.4167 314.21%
713.79/715.99 c 716 642 641 1 2545.0000 618.6667 311.37%
719.67/721.86 c 722 647 646 1 2545.0000 618.6667 311.37%
726.25/728.46 c 728 653 652 1 2545.0000 618.6667 311.37%
731.34/733.51 c 734 662 661 1 2545.0000 618.6667 311.37%
737.22/739.46 c 739 668 667 1 2545.0000 618.6667 311.37%
744.30/746.58 c 747 674 673 1 2545.0000 624.1667 307.74%
750.69/752.94 c 753 678 677 1 2545.0000 624.1667 307.74%
758.37/760.62 c 761 687 686 1 2545.0000 624.1667 307.74%
764.46/766.79 c 767 698 697 1 2545.0000 624.1667 307.74%
770.34/772.67 c 773 730 729 1 2545.0000 624.1667 307.74%
777.73/780.08 c 780 748 747 1 2545.0000 624.1667 307.74%
783.81/786.14 c 786 759 758 1 2545.0000 624.1667 307.74%
789.38/791.75 c 792 764 763 1 2545.0000 629.5000 304.29%
796.86/799.29 c 799 776 775 1 2545.0000 629.5000 304.29%
803.35/805.76 c 806 782 781 1 2545.0000 634.0417 301.39%
811.02/813.42 c 813 785 784 1 2545.0000 634.0417 301.39%
819.61/822.05 c 822 792 791 1 2545.0000 634.1667 301.31%
824.69/827.15 c 827 801 800 1 2545.0000 634.1667 301.31%
829.68/832.19 c 832 811 810 1 2545.0000 634.1667 301.31%
834.75/837.29 c 837 818 817 1 2545.0000 634.1667 301.31%
855.29/857.85 c 858 831 830 1 2545.0000 634.1667 301.31%
861.29/863.85 c 864 834 833 1 2545.0000 635.6667 300.37%
866.26/868.86 c 869 836 835 1 2545.0000 635.6667 300.37%
873.75/876.32 c 876 842 841 1 2545.0000 638.1667 298.80%
881.72/884.36 c 884 847 846 1 2545.0000 638.1667 298.80%
888.10/890.77 c 891 853 852 1 2545.0000 638.1667 298.80%
895.28/897.91 c 898 863 862 1 2545.0000 638.1667 298.80%
900.67/903.33 c 903 873 872 1 2545.0000 638.1667 298.80%
906.66/909.36 c 909 879 878 1 2545.0000 638.1667 298.80%
914.64/917.30 c 917 894 893 1 2545.0000 638.1667 298.80%
919.82/922.59 c 923 904 903 1 2545.0000 638.1667 298.80%
925.50/928.25 c 928 908 907 1 2545.0000 638.1667 298.80%
931.48/934.22 c 934 929 928 1 2545.0000 638.1667 298.80%
936.47/939.23 c 939 939 938 1 2545.0000 638.1667 298.80%
942.45/945.29 c 945 972 971 1 2545.0000 638.1667 298.80%
947.94/950.76 c 951 1005 1004 1 2545.0000 638.1667 298.80%
953.82/956.69 c 957 1036 1035 1 2545.0000 638.1667 298.80%
960.01/962.80 c 963 1050 0 1 2545.0000 638.1667 298.80%
984.43/987.38 c 987 1051 1 1 2545.0000 996.2690 155.45%
991.12/994.08 c 994 1056 6 1 2545.0000 996.2690 155.45%
998.28/1001.28 c 1001 1068 18 1 2545.0000 1003.2708 153.67%
1006.08/1009.10 c 1009 1072 22 1 2545.0000 1003.2708 153.67%
1011.55/1014.50 c 1015 1078 28 1 2545.0000 1003.2708 153.67%
1017.32/1020.35 c 1020 1087 37 1 2545.0000 1014.2708 150.92%
1023.80/1026.88 c 1027 1093 43 1 2545.0000 1025.2083 148.24%
1029.10/1032.19 c 1032 1099 49 1 2545.0000 1025.2083 148.24%
1034.57/1037.61 c 1038 1105 55 1 2545.0000 1025.2083 148.24%
1042.25/1045.32 c 1045 1114 64 1 2545.0000 1027.2583 147.75%
1049.23/1052.31 c 1052 1118 68 1 2545.0000 1027.2583 147.75%
1056.70/1059.82 c 1060 1120 70 1 2545.0000 1027.2583 147.75%
1062.38/1065.54 c 1066 1139 89 1 2545.0000 1038.2083 145.13%
1068.87/1072.05 c 1072 1161 111 1 2545.0000 1038.2083 145.13%
1075.04/1078.28 c 1078 1171 121 1 2545.0000 1038.2083 145.13%
1081.72/1084.95 c 1085 1197 147 1 2545.0000 1038.2083 145.13%
1087.10/1090.32 c 1090 1206 156 1 2545.0000 1050.6667 142.23%
1095.58/1098.85 c 1099 1220 170 1 2545.0000 1051.9167 141.94%
1102.16/1105.48 c 1105 1238 188 1 2545.0000 1053.4167 141.59%
1110.43/1113.71 c 1114 1250 200 1 2545.0000 1055.6667 141.08%
1115.52/1118.89 c 1119 1258 208 1 2545.0000 1065.6667 138.82%
1121.19/1124.54 c 1125 1269 219 1 2545.0000 1065.6667 138.82%
1126.69/1130.03 c 1130 1278 228 1 2545.0000 1065.6667 138.82%
1131.68/1135.06 c 1135 1289 239 1 2545.0000 1065.6667 138.82%
1136.95/1140.33 c 1140 1299 249 1 2545.0000 1065.6667 138.82%
1142.64/1146.10 c 1146 1305 255 1 2545.0000 1065.6667 138.82%
1151.40/1154.86 c 1155 1313 263 1 2545.0000 1065.6667 138.82%
1157.39/1160.87 c 1161 1322 272 1 2545.0000 1065.6667 138.82%
1164.26/1167.74 c 1168 1333 283 1 2545.0000 1065.6667 138.82%
1170.04/1173.52 c 1174 1336 286 1 2545.0000 1065.6667 138.82%
1178.71/1182.20 c 1182 1343 293 1 2545.0000 1065.6667 138.82%
1184.70/1188.20 c 1188 1347 297 1 2545.0000 1065.6667 138.82%
1191.17/1194.77 c 1195 1355 305 1 2545.0000 1065.6667 138.82%
1197.95/1201.55 c 1202 1364 314 1 2545.0000 1066.4167 138.65%
1203.14/1206.76 c 1207 1370 320 1 2545.0000 1066.4167 138.65%
1208.22/1211.80 c 1212 1379 329 1 2545.0000 1066.4167 138.65%
1216.79/1220.41 c 1220 1390 340 1 2545.0000 1066.4167 138.65%
1222.17/1225.86 c 1226 1400 350 1 2545.0000 1066.4167 138.65%
1227.56/1231.26 c 1231 1409 359 1 2545.0000 1071.6667 137.48%
1232.84/1236.52 c 1237 1413 363 1 2545.0000 1071.6667 137.48%
1238.11/1241.86 c 1242 1422 372 1 2545.0000 1071.6667 137.48%
1245.19/1248.97 c 1249 1425 375 1 2545.0000 1071.6667 137.48%
1254.17/1257.96 c 1258 1437 387 1 2545.0000 1071.6667 137.48%
1259.94/1263.70 c 1264 1444 394 1 2545.0000 1071.6667 137.48%
1265.34/1269.11 c 1269 1452 402 1 2545.0000 1071.6667 137.48%
1271.00/1274.86 c 1275 1458 408 1 2545.0000 1071.6667 137.48%
1276.58/1280.46 c 1280 1460 410 1 2545.0000 1071.6667 137.48%
1282.07/1285.99 c 1286 1475 425 1 2545.0000 1071.6667 137.48%
1287.95/1291.89 c 1292 1480 430 1 2545.0000 1071.6667 137.48%
1297.02/1300.94 c 1301 1484 434 1 2545.0000 1071.9167 137.43%
1302.31/1306.24 c 1306 1489 439 1 2545.0000 1071.9167 137.43%
1310.68/1314.64 c 1315 1494 444 1 2545.0000 1071.9167 137.43%
1316.36/1320.33 c 1320 1501 451 1 2545.0000 1072.1667 137.37%
1321.45/1325.44 c 1325 1511 461 1 2545.0000 1072.9167 137.20%
1327.83/1331.84 c 1332 1523 473 1 2545.0000 1072.9167 137.20%
1333.31/1337.33 c 1337 1541 491 1 2545.0000 1074.1667 136.93%
1339.48/1343.58 c 1344 1548 498 1 2545.0000 1074.1667 136.93%
1345.57/1349.65 c 1350 1557 507 1 2545.0000 1074.1667 136.93%
1351.85/1355.91 c 1356 1581 531 1 2545.0000 1081.5000 135.32%
1356.83/1360.98 c 1361 1591 541 1 2545.0000 1085.2500 134.51%
1365.10/1369.26 c 1369 1615 565 1 2545.0000 1085.2500 134.51%
1371.09/1375.24 c 1375 1643 593 1 2545.0000 1085.2500 134.51%
1376.28/1380.46 c 1380 1651 601 1 2545.0000 1087.0000 134.13%
1381.36/1385.50 c 1386 1664 614 1 2545.0000 1087.0000 134.13%
1388.24/1392.48 c 1392 1668 618 1 2545.0000 1087.0000 134.13%
1393.43/1397.62 c 1398 1676 626 1 2545.0000 1089.1667 133.66%
1398.71/1402.97 c 1403 1701 651 1 2545.0000 1090.4167 133.40%
1404.69/1408.98 c 1409 1713 663 1 2545.0000 1090.4167 133.40%
1410.28/1414.55 c 1415 1733 683 1 2545.0000 1090.7500 133.33%
1420.15/1424.46 c 1424 1737 687 1 2545.0000 1090.7500 133.33%
1425.93/1430.21 c 1430 1751 701 1 2545.0000 1091.7500 133.11%
1433.41/1437.75 c 1438 1778 728 1 2545.0000 1091.7500 133.11%
1439.40/1443.71 c 1444 1791 741 1 2545.0000 1095.2500 132.37%
1445.49/1449.86 c 1450 1806 756 1 2545.0000 1095.4028 132.33%
1451.57/1455.96 c 1456 1819 769 1 2545.0000 1095.5000 132.31%
1457.34/1461.71 c 1462 1838 788 1 2545.0000 1095.5000 132.31%
1463.03/1467.48 c 1467 1851 801 1 2545.0000 1096.6667 132.07%
1471.21/1475.63 c 1476 1869 819 1 2545.0000 1096.6667 132.07%
1476.99/1481.42 c 1481 1899 849 1 2545.0000 1096.6667 132.07%
1482.27/1486.73 c 1487 1923 873 1 2545.0000 1098.1667 131.75%
1487.67/1492.15 c 1492 1930 880 1 2545.0000 1098.1667 131.75%
1495.94/1500.46 c 1500 1951 901 1 2545.0000 1099.9167 131.38%
1501.03/1505.54 c 1506 1977 927 1 2545.0000 1104.0000 130.53%
1507.31/1511.89 c 1512 1992 942 1 2545.0000 1104.0000 130.53%
1513.99/1518.56 c 1519 1996 946 1 2545.0000 1104.0000 130.53%
1519.97/1524.50 c 1525 2015 965 1 2545.0000 1104.0000 130.53%
1526.16/1530.78 c 1531 2038 988 1 2545.0000 1104.2500 130.47%
1532.24/1536.86 c 1537 2040 990 1 2545.0000 1104.2500 130.47%
1537.32/1541.91 c 1542 2049 999 1 2545.0000 1104.2500 130.47%
1542.80/1547.41 c 1547 2074 1024 1 2545.0000 1105.0000 130.32%
1548.59/1553.26 c 1553 2106 1056 1 2545.0000 1105.2500 130.26%
1554.07/1558.73 c 1559 2121 1071 1 2545.0000 1105.2500 130.26%
1559.56/1564.24 c 1564 2149 1099 1 2545.0000 1105.2500 130.26%
1566.74/1571.46 c 1571 2167 1117 1 2545.0000 1105.2500 130.26%
1573.22/1578.01 c 1578 2187 1137 1 2545.0000 1105.2500 130.26%
1580.10/1584.80 c 1585 2191 1141 1 2545.0000 1105.2500 130.26%
1588.78/1593.52 c 1594 2205 1155 1 2545.0000 1105.2500 130.26%
1596.65/1601.44 c 1601 2231 1181 1 2545.0000 1105.2500 130.26%
1602.36/1607.11 c 1607 2254 1204 1 2545.0000 1105.2500 130.26%
1607.93/1612.73 c 1613 2266 1216 1 2545.0000 1105.5000 130.21%
1615.11/1619.98 c 1620 2284 1234 1 2545.0000 1105.7500 130.16%
1620.79/1625.66 c 1626 2298 1248 1 2545.0000 1105.7500 130.16%
1625.98/1630.82 c 1631 2312 1262 1 2545.0000 1105.7500 130.16%
1631.56/1636.47 c 1636 2333 1283 1 2545.0000 1106.0000 130.11%
1637.26/1642.17 c 1642 2346 1296 1 2545.0000 1106.0000 130.11%
1642.64/1647.52 c 1648 2364 1314 1 2545.0000 1106.2500 130.06%
1647.62/1652.56 c 1653 2386 1336 1 2545.0000 1106.2500 130.06%
1654.12/1659.06 c 1659 2398 1348 1 2545.0000 1106.5000 130.00%
1664.19/1669.16 c 1669 2406 1356 1 2545.0000 1106.7500 129.95%
1670.17/1675.14 c 1675 2422 1372 1 2545.0000 1106.7500 129.95%
1675.74/1680.77 c 1681 2436 1386 1 2545.0000 1106.7500 129.95%
1681.53/1686.53 c 1687 2467 1417 1 2545.0000 1107.2500 129.85%
1687.42/1692.48 c 1692 2480 1430 1 2545.0000 1107.2500 129.85%
1695.19/1700.21 c 1700 2511 1461 1 2545.0000 1107.5000 129.80%
1702.37/1707.46 c 1707 2535 1485 1 2545.0000 1107.5000 129.80%
1707.65/1712.74 c 1713 2562 1512 1 2545.0000 1107.7500 129.74%
1713.13/1718.23 c 1718 2593 1543 1 2545.0000 1107.7500 129.74%
1720.03/1725.18 c 1725 2614 1564 1 2545.0000 1107.7500 129.74%
1725.70/1730.83 c 1731 2639 1589 1 2545.0000 1107.7500 129.74%
1733.38/1738.55 c 1739 2648 1598 1 2545.0000 1107.7500 129.74%
1740.86/1746.10 c 1746 2675 1625 1 2545.0000 1112.2500 128.82%
1749.13/1754.34 c 1754 2697 1647 1 2545.0000 1112.2500 128.82%
1757.20/1762.42 c 1762 2705 1655 1 2545.0000 1115.2500 128.20%
1762.99/1768.20 c 1768 2720 1670 1 2545.0000 1115.2500 128.20%
1768.88/1774.15 c 1774 2735 1685 1 2545.0000 1115.7500 128.10%
1774.46/1779.76 c 1780 2765 1715 1 2545.0000 1115.7500 128.10%
1780.05/1785.32 c 1785 2783 1733 1 2545.0000 1115.7500 128.10%
1791.92/1797.20 c 1797 2816 1766 1 2545.0000 1116.2500 128.00%
1797.20/1802.54 c 1803 2845 1795 1 2545.0000 1116.2500 128.00%
1804.48/1809.84 c 1810 2866 1816 1 2545.0000 1116.2500 128.00%
1810.68/1816.01 c 1816 2884 1834 1 2545.0000 1116.2500 128.00%
1816.35/1821.77 c 1822 2896 1846 1 2545.0000 1116.7500 127.89%
1822.64/1828.02 c 1828 2917 1867 1 2545.0000 1116.7500 127.89%
1830.51/1835.99 c 1836 2950 1900 1 2545.0000 1116.7500 127.89%
1836.40/1841.85 c 1842 2980 1930 1 2545.0000 1116.7500 127.89%
1842.08/1847.50 c 1848 3006 1956 1 2545.0000 1116.7500 127.89%
1848.16/1853.69 c 1854 3007 1957 1 2545.0000 1116.7500 127.89%
1853.57/1859.07 c 1859 3019 1969 1 2545.0000 1116.7500 127.89%
1862.43/1867.98 c 1868 3034 1984 1 2545.0000 1116.7500 127.89%
1867.91/1873.47 c 1873 3065 2015 1 2545.0000 1116.7500 127.89%
1873.80/1879.38 c 1879 3094 2044 1 2545.0000 1116.7500 127.89%
1879.59/1885.16 c 1885 3112 2062 1 2545.0000 1116.7500 127.89%
1887.07/1892.68 c 1893 3123 2073 1 2545.0000 1116.7500 127.89%
1892.46/1898.04 c 1898 3150 2100 1 2545.0000 1116.7500 127.89%
1897.93/1903.59 c 1904 3185 2135 1 2545.0000 1117.2500 127.79%
1903.52/1909.16 c 1909 3199 2149 1 2545.0000 1117.2500 127.79%
1908.89/1914.52 c 1915 3210 2160 1 2545.0000 1117.2500 127.79%
1914.49/1920.15 c 1920 3216 2166 1 2545.0000 1117.2500 127.79%
1919.87/1925.56 c 1926 3229 2179 1 2545.0000 1117.2500 127.79%
1927.65/1933.37 c 1933 3251 2201 1 2545.0000 1117.2500 127.79%
1935.13/1940.83 c 1941 3258 2208 1 2545.0000 1117.2500 127.79%
1942.51/1948.20 c 1948 3284 2234 1 2545.0000 1117.2500 127.79%
1948.79/1954.58 c 1955 3304 2254 1 2545.0000 1117.2500 127.79%
1954.29/1960.03 c 1960 3337 2287 1 2545.0000 1117.2500 127.79%
1961.65/1967.41 c 1967 3365 2315 1 2545.0000 1117.2500 127.79%
1970.04/1975.86 c 1976 3370 2320 1 2545.0000 1117.2500 127.79%
1976.82/1982.63 c 1983 3383 2333 1 2545.0000 1117.2500 127.79%
1982.50/1988.31 c 1988 3398 2348 1 2545.0000 1117.2500 127.79%
1988.58/1994.45 c 1994 3416 2366 1 2545.0000 1117.2500 127.79%
1994.36/2000.21 c 2000 3428 2378 1 2545.0000 1117.2500 127.79%
2000.54/2006.45 c 2006 3464 2414 1 2545.0000 1117.2500 127.79%
2009.41/2015.36 c 2015 3479 2429 1 2545.0000 1117.2500 127.79%
2015.00/2020.94 c 2021 3514 2464 1 2545.0000 1117.2500 127.79%
2020.38/2026.39 c 2026 3534 2484 1 2545.0000 1117.2500 127.79%
2025.57/2031.58 c 2032 3556 2506 1 2545.0000 1117.2500 127.79%
2030.75/2036.74 c 2037 3568 2518 1 2545.0000 1117.2500 127.79%
2036.24/2042.29 c 2042 3590 2540 1 2545.0000 1117.2500 127.79%
2041.63/2047.68 c 2048 3596 2546 1 2545.0000 1117.2500 127.79%
2050.41/2056.47 c 2056 3629 2579 1 2545.0000 1117.2500 127.79%
2055.89/2062.01 c 2062 3641 2591 1 2545.0000 1117.2500 127.79%
2064.46/2070.59 c 2071 3671 2621 1 2545.0000 1117.2500 127.79%
2073.05/2079.12 c 2079 3706 2656 1 2545.0000 1117.2500 127.79%
2078.32/2084.45 c 2084 3738 2688 1 2545.0000 1117.7500 127.69%
2084.40/2090.54 c 2091 3761 2711 1 2545.0000 1117.7500 127.69%
2089.90/2096.01 c 2096 3776 2726 1 2545.0000 1117.7500 127.69%
2095.88/2102.07 c 2102 3797 2747 1 2545.0000 1117.7500 127.69%
2101.36/2107.58 c 2108 3829 2779 1 2545.0000 1117.7500 127.69%
2106.74/2112.90 c 2113 3841 2791 1 2545.0000 1117.7500 127.69%
2112.83/2119.09 c 2119 3857 2807 1 2545.0000 1117.7500 127.69%
2118.01/2124.27 c 2124 3888 2838 1 2545.0000 1118.0000 127.64%
2125.49/2131.70 c 2132 3902 2852 1 2545.0000 1118.2500 127.59%
2131.07/2137.36 c 2137 3937 2887 1 2545.0000 1118.2500 127.59%
2136.65/2142.94 c 2143 3951 2901 1 2545.0000 1118.2500 127.59%
2144.32/2150.61 c 2151 3981 2931 1 2545.0000 1118.2500 127.59%
2150.61/2156.99 c 2157 3999 2949 1 2545.0000 1118.2500 127.59%
2160.08/2166.42 c 2166 4011 2961 1 2545.0000 1118.2500 127.59%
2168.67/2175.10 c 2175 4038 2988 1 2545.0000 1118.2500 127.59%
2175.44/2181.80 c 2182 4063 3013 1 2545.0000 1118.5000 127.54%
2180.73/2187.12 c 2187 4093 3043 1 2545.0000 1118.5000 127.54%
2188.71/2195.17 c 2195 4123 3073 1 2545.0000 1118.5000 127.54%
2195.08/2201.53 c 2202 4148 3098 1 2545.0000 1118.7500 127.49%
2200.86/2207.39 c 2207 4165 3115 1 2545.0000 1118.7500 127.49%
2206.44/2212.92 c 2213 4202 3152 1 2545.0000 1118.7500 127.49%
2212.53/2219.02 c 2219 4230 3180 1 2545.0000 1118.7500 127.49%
2220.91/2227.46 c 2227 4245 3195 1 2545.0000 1118.7500 127.49%
2226.19/2232.75 c 2233 4254 3204 1 2545.0000 1118.7500 127.49%
2234.27/2240.82 c 2241 4279 3229 1 2545.0000 1119.2500 127.38%
2243.04/2249.65 c 2250 4307 3257 1 2545.0000 1119.2500 127.38%
2248.33/2254.99 c 2255 4335 3285 1 2545.0000 1119.2500 127.38%
2253.52/2260.15 c 2260 4365 3315 1 2545.0000 1119.5000 127.33%
2262.98/2269.65 c 2270 4394 3344 1 2545.0000 1119.7500 127.28%
2268.38/2275.10 c 2275 4405 3355 1 2545.0000 1120.0000 127.23%
2273.46/2280.15 c 2280 4415 3365 1 2545.0000 1120.0000 127.23%
2281.53/2288.29 c 2288 4445 3395 1 2545.0000 1120.2500 127.18%
2287.31/2294.08 c 2294 4478 3428 1 2545.0000 1120.2500 127.18%
2293.18/2299.92 c 2300 4495 3445 1 2545.0000 1120.7500 127.08%
2298.28/2305.09 c 2305 4507 3457 1 2545.0000 1120.7500 127.08%
2306.44/2313.22 c 2313 4511 3461 1 2545.0000 1120.7500 127.08%
2312.03/2318.85 c 2319 4541 3491 1 2545.0000 1120.7500 127.08%
2317.51/2324.32 c 2324 4572 3522 1 2545.0000 1120.7500 127.08%
2326.30/2333.19 c 2333 4586 3536 1 2545.0000 1121.0000 127.03%
2331.67/2338.52 c 2339 4618 3568 1 2545.0000 1121.0000 127.03%
2337.66/2344.58 c 2345 4638 3588 1 2545.0000 1121.0000 127.03%
2343.44/2350.33 c 2350 4653 3603 1 2545.0000 1121.0000 127.03%
2350.72/2357.60 c 2358 4669 3619 1 2545.0000 1121.0000 127.03%
2356.90/2363.81 c 2364 4675 3625 1 2545.0000 1121.0000 127.03%
2363.09/2370.05 c 2370 4697 3647 1 2545.0000 1121.2500 126.98%
2368.66/2375.70 c 2376 4733 3683 1 2545.0000 1123.0000 126.63%
2374.56/2381.60 c 2382 4761 3711 1 2545.0000 1123.6667 126.49%
2380.15/2387.18 c 2387 4774 3724 1 2545.0000 1123.6667 126.49%
2385.82/2392.87 c 2393 4786 3736 1 2545.0000 1124.0000 126.42%
2391.02/2398.02 c 2398 4794 3744 1 2545.0000 1124.0000 126.42%
2396.39/2403.43 c 2403 4824 3774 1 2545.0000 1126.1408 125.99%
2402.09/2409.14 c 2409 4855 3805 1 2545.0000 1126.1408 125.99%
2407.17/2414.28 c 2414 4871 3821 1 2545.0000 1128.2500 125.57%
2412.25/2419.36 c 2419 4885 3835 1 2545.0000 1128.2500 125.57%
2422.93/2430.03 c 2430 4909 3859 1 2545.0000 1128.2500 125.57%
2432.09/2439.28 c 2439 4921 3871 1 2545.0000 1128.2500 125.57%
2437.68/2444.87 c 2445 4936 3886 1 2545.0000 1128.2500 125.57%
2443.37/2450.52 c 2451 4953 3903 1 2545.0000 1128.2500 125.57%
2451.85/2459.04 c 2459 4982 3932 1 2545.0000 1128.2500 125.57%
2457.42/2464.68 c 2465 5011 3961 1 2545.0000 1128.2500 125.57%
2462.82/2470.07 c 2470 5046 3996 1 2545.0000 1128.2500 125.57%
2471.39/2478.61 c 2479 5051 4001 1 2545.0000 1128.2500 125.57%
2477.37/2484.66 c 2485 5067 4017 1 2545.0000 1128.2500 125.57%
2482.87/2490.18 c 2490 5101 4051 1 2545.0000 1128.2500 125.57%
2491.13/2498.44 c 2498 5129 4079 1 2545.0000 1128.7500 125.47%
2496.72/2504.01 c 2504 5145 4095 1 2545.0000 1128.7500 125.47%
2502.31/2509.66 c 2510 5178 4128 1 2545.0000 1128.7500 125.47%
2507.99/2515.39 c 2515 5198 4148 1 2545.0000 1128.7500 125.47%
2513.17/2520.57 c 2521 5206 4156 1 2545.0000 1128.7500 125.47%
2520.85/2528.25 c 2528 5234 4184 1 2545.0000 1128.7500 125.47%
2526.23/2533.65 c 2534 5268 4218 1 2545.0000 1128.7500 125.47%
2531.42/2538.81 c 2539 5301 4251 1 2545.0000 1129.2500 125.37%
2539.40/2546.82 c 2547 5315 4265 1 2545.0000 1129.2500 125.37%
2545.09/2552.56 c 2553 5327 4277 1 2545.0000 1129.2500 125.37%
2550.37/2557.86 c 2558 5339 4289 1 2545.0000 1129.2500 125.37%
2555.85/2563.37 c 2563 5372 4322 1 2545.0000 1129.2500 125.37%
2560.84/2568.38 c 2568 5384 4334 1 2545.0000 1129.2500 125.37%
2569.52/2577.05 c 2577 5417 4367 1 2545.0000 1129.2500 125.37%
2575.10/2582.62 c 2583 5453 4403 1 2545.0000 1129.2500 125.37%
2580.18/2587.73 c 2588 5465 4415 1 2545.0000 1129.2500 125.37%
2585.58/2593.18 c 2593 5480 4430 1 2545.0000 1129.2500 125.37%
2591.56/2599.13 c 2599 5501 4451 1 2545.0000 1129.2500 125.37%
2598.63/2606.28 c 2606 5522 4472 1 2545.0000 1129.2500 125.37%
2604.02/2611.61 c 2612 5553 4503 1 2545.0000 1129.2500 125.37%
2609.30/2616.99 c 2617 5580 4530 1 2545.0000 1129.2500 125.37%
2614.68/2622.39 c 2622 5594 4544 1 2545.0000 1129.2500 125.37%
2621.68/2629.31 c 2629 5600 4550 1 2545.0000 1129.2500 125.37%
2627.47/2635.17 c 2635 5633 4583 1 2545.0000 1129.2500 125.37%
2638.23/2645.92 c 2646 5669 4619 1 2545.0000 1129.2500 125.37%
2645.01/2652.77 c 2653 5693 4643 1 2545.0000 1129.2500 125.37%
2650.09/2657.81 c 2658 5716 4666 1 2545.0000 1129.2500 125.37%
2656.47/2664.24 c 2664 5729 4679 1 2545.0000 1129.2500 125.37%
2662.15/2669.90 c 2670 5743 4693 1 2545.0000 1129.2500 125.37%
2671.13/2678.91 c 2679 5774 4724 1 2545.0000 1129.2500 125.37%
2676.11/2683.98 c 2684 5792 4742 1 2545.0000 1129.2500 125.37%
2681.70/2689.58 c 2690 5826 4776 1 2545.0000 1129.7500 125.27%
2689.08/2696.97 c 2697 5852 4802 1 2545.0000 1129.7500 125.27%
2694.56/2702.41 c 2702 5865 4815 1 2545.0000 1129.7500 125.27%
2699.75/2707.60 c 2708 5878 4828 1 2545.0000 1129.7500 125.27%
2705.33/2713.25 c 2713 5913 4863 1 2545.0000 1129.7500 125.27%
2710.61/2718.51 c 2719 5941 4891 1 2545.0000 1129.7500 125.27%
2717.69/2725.65 c 2726 5963 4913 1 2545.0000 1129.7500 125.27%
2723.10/2731.06 c 2731 5978 4928 1 2545.0000 1129.7500 125.27%
2729.27/2737.25 c 2737 5996 4946 1 2545.0000 1129.7500 125.27%
2735.06/2743.10 c 2743 6014 4964 1 2545.0000 1129.7500 125.27%
2740.93/2748.99 c 2749 6026 4976 1 2545.0000 1129.7500 125.27%
2746.22/2754.23 c 2754 6057 5007 1 2545.0000 1129.7500 125.27%
2751.80/2759.88 c 2760 6071 5021 1 2545.0000 1129.7500 125.27%
2757.19/2765.28 c 2765 6102 5052 1 2545.0000 1129.7500 125.27%
2766.66/2774.76 c 2775 6122 5072 1 2545.0000 1129.7500 125.27%
2772.05/2780.12 c 2780 6135 5085 1 2545.0000 1129.7500 125.27%
2778.94/2787.10 c 2787 6155 5105 1 2545.0000 1129.7500 125.27%
2785.02/2793.13 c 2793 6173 5123 1 2545.0000 1130.2500 125.17%
2790.40/2798.59 c 2799 6205 5155 1 2545.0000 1130.2500 125.17%
2797.57/2805.74 c 2806 6216 5166 1 2545.0000 1130.2500 125.17%
2802.87/2811.08 c 2811 6249 5199 1 2545.0000 1130.2500 125.17%
2808.74/2816.97 c 2817 6262 5212 1 2545.0000 1130.2500 125.17%
2813.84/2822.08 c 2822 6274 5224 1 2545.0000 1130.2500 125.17%
2821.00/2829.24 c 2829 6284 5234 1 2545.0000 1130.2500 125.17%
2826.19/2834.44 c 2834 6319 5269 1 2545.0000 1130.2500 125.17%
2832.08/2840.39 c 2840 6341 5291 1 2545.0000 1130.2500 125.17%
2837.66/2845.99 c 2846 6357 5307 1 2545.0000 1130.2500 125.17%
2843.65/2851.91 c 2852 6387 5337 1 2545.0000 1130.2500 125.17%
2852.22/2860.56 c 2861 6416 5366 1 2545.0000 1130.2500 125.17%
2858.50/2866.88 c 2867 6425 5375 1 2545.0000 1130.2500 125.17%
2864.70/2873.01 c 2873 6443 5393 1 2545.0000 1130.2500 125.17%
2869.97/2878.33 c 2878 6461 5411 1 2545.0000 1130.2500 125.17%
2875.86/2884.29 c 2884 6490 5440 1 2545.0000 1130.2500 125.17%
2884.34/2892.78 c 2893 6520 5470 1 2545.0000 1130.2500 125.17%
2892.72/2901.19 c 2901 6539 5489 1 2545.0000 1130.2500 125.17%
2897.80/2906.27 c 2906 6549 5499 1 2545.0000 1130.2500 125.17%
2903.29/2911.75 c 2912 6584 5534 1 2545.0000 1130.2500 125.17%
2911.47/2919.97 c 2920 6608 5558 1 2545.0000 1130.2500 125.17%
2916.46/2924.97 c 2925 6616 5566 1 2545.0000 1130.2500 125.17%
2922.04/2930.52 c 2931 6651 5601 1 2545.0000 1130.2500 125.17%
2929.03/2937.60 c 2938 6671 5621 1 2545.0000 1130.2500 125.17%
2935.71/2944.27 c 2944 6692 5642 1 2545.0000 1130.7500 125.07%
2941.51/2950.03 c 2950 6708 5658 1 2545.0000 1130.7500 125.07%
2947.38/2955.92 c 2956 6722 5672 1 2545.0000 1130.7500 125.07%
2953.16/2961.73 c 2962 6758 5708 1 2545.0000 1130.7500 125.07%
2958.56/2967.14 c 2967 6795 5745 1 2545.0000 1130.7500 125.07%
2965.44/2974.10 c 2974 6800 5750 1 2545.0000 1130.7500 125.07%
2971.32/2980.01 c 2980 6810 5760 1 2545.0000 1130.7500 125.07%
2976.80/2985.47 c 2985 6844 5794 1 2545.0000 1130.7500 125.07%
2983.89/2992.52 c 2993 6869 5819 1 2545.0000 1130.7500 125.07%
2990.18/2998.81 c 2999 6887 5837 1 2545.0000 1130.7500 125.07%
2996.56/3005.23 c 3005 6896 5846 1 2545.0000 1130.7500 125.07%
3002.85/3011.58 c 3012 6902 5852 1 2545.0000 1130.7500 125.07%
3008.04/3016.75 c 3017 6932 5882 1 2545.0000 1130.7500 125.07%
3014.02/3022.73 c 3023 6948 5898 1 2545.0000 1130.7500 125.07%
3021.90/3030.64 c 3031 6977 5927 1 2545.0000 1130.7500 125.07%
3027.19/3035.98 c 3036 6992 5942 1 2545.0000 1130.7500 125.07%
3032.77/3041.53 c 3042 7024 5974 1 2545.0000 1130.7500 125.07%
3038.05/3046.84 c 3047 7050 6000 1 2545.0000 1130.7500 125.07%
3044.34/3053.19 c 3053 7070 6020 1 2545.0000 1130.7500 125.07%
3051.61/3060.42 c 3060 7076 6026 1 2545.0000 1130.7500 125.07%
3057.00/3065.87 c 3066 7108 6058 1 2545.0000 1130.7500 125.07%
3064.58/3073.43 c 3073 7130 6080 1 2545.0000 1130.7500 125.07%
3070.28/3079.14 c 3079 7161 6111 1 2545.0000 1131.2500 124.97%
3075.35/3084.28 c 3084 7170 6120 1 2545.0000 1131.2500 124.97%
3083.93/3092.83 c 3093 7202 6152 1 2545.0000 1131.2500 124.97%
3092.51/3101.44 c 3101 7226 6176 1 2545.0000 1131.2500 124.97%
3099.39/3108.33 c 3108 7247 6197 1 2545.0000 1131.2500 124.97%
3104.78/3113.77 c 3114 7260 6210 1 2545.0000 1131.2500 124.97%
3110.17/3119.14 c 3119 7293 6243 1 2545.0000 1131.2500 124.97%
3117.05/3126.09 c 3126 7322 6272 1 2545.0000 1131.2500 124.97%
3122.73/3131.76 c 3132 7337 6287 1 2545.0000 1131.2500 124.97%
3131.02/3140.10 c 3140 7349 6299 1 2545.0000 1131.2500 124.97%
3137.20/3146.27 c 3146 7369 6319 1 2545.0000 1131.2500 124.97%
3142.68/3151.72 c 3152 7399 6349 1 2545.0000 1131.2500 124.97%
3148.27/3157.34 c 3157 7437 6387 1 2545.0000 1131.7500 124.87%
3154.85/3163.96 c 3164 7454 6404 1 2545.0000 1131.7500 124.87%
3162.63/3171.78 c 3172 7478 6428 1 2545.0000 1131.7500 124.87%
3168.12/3177.29 c 3177 7512 6462 1 2545.0000 1131.7500 124.87%
3175.20/3184.38 c 3184 7533 6483 1 2545.0000 1131.7500 124.87%
3180.48/3189.69 c 3190 7543 6493 1 2545.0000 1131.7500 124.87%
3186.18/3195.36 c 3195 7560 6510 1 2545.0000 1132.2500 124.77%
3194.87/3204.08 c 3204 7589 6539 1 2545.0000 1132.2500 124.77%
3202.95/3212.19 c 3212 7616 6566 1 2545.0000 1132.2500 124.77%
3208.22/3217.41 c 3217 7634 6584 1 2545.0000 1132.2500 124.77%
3213.51/3222.76 c 3223 7643 6593 1 2545.0000 1132.2500 124.77%
3219.39/3228.66 c 3229 7649 6599 1 2545.0000 1132.2500 124.77%
3224.68/3233.94 c 3234 7675 6625 1 2545.0000 1132.2500 124.77%
3229.96/3239.24 c 3239 7705 6655 1 2545.0000 1132.2500 124.77%
3237.86/3247.13 c 3247 7733 6683 1 2545.0000 1132.2500 124.77%
3243.54/3252.82 c 3253 7758 6708 1 2545.0000 1132.2500 124.77%
3248.74/3258.06 c 3258 7766 6716 1 2545.0000 1133.2500 124.58%
3254.21/3263.52 c 3264 7803 6753 1 2545.0000 1133.2500 124.58%
3259.20/3268.58 c 3269 7817 6767 1 2545.0000 1133.2500 124.58%
3264.28/3273.61 c 3274 7832 6782 1 2545.0000 1133.2500 124.58%
3270.68/3280.03 c 3280 7850 6800 1 2545.0000 1133.2500 124.58%
3276.55/3285.90 c 3286 7890 6840 1 2545.0000 1134.2500 124.38%
3284.04/3293.50 c 3294 7904 6854 1 2545.0000 1134.2500 124.38%
3289.32/3298.72 c 3299 7937 6887 1 2545.0000 1142.7500 122.71%
3294.41/3303.80 c 3304 7951 6901 1 2545.0000 1142.7500 122.71%
3299.89/3309.31 c 3309 7983 6933 1 2545.0000 1142.7500 122.71%
3305.48/3314.96 c 3315 8015 6965 1 2545.0000 1142.7500 122.71%
3311.17/3320.69 c 3321 8033 6983 1 2545.0000 1142.7500 122.71%
3317.56/3327.01 c 3327 8051 7001 1 2545.0000 1142.7500 122.71%
3322.74/3332.29 c 3332 8081 7031 1 2545.0000 1142.7500 122.71%
3328.32/3337.88 c 3338 8100 7050 1 2545.0000 1142.7500 122.71%
3333.41/3342.95 c 3343 8108 7058 1 2545.0000 1142.7500 122.71%
3338.99/3348.56 c 3349 8123 7073 1 2545.0000 1142.7500 122.71%
3344.08/3353.60 c 3354 8138 7088 1 2545.0000 1142.7500 122.71%
3349.59/3359.16 c 3359 8172 7122 1 2545.0000 1142.7500 122.71%
3355.47/3365.09 c 3365 8192 7142 1 2545.0000 1142.7500 122.71%
3361.24/3370.88 c 3371 8206 7156 1 2545.0000 1142.7500 122.71%
3369.22/3378.89 c 3379 8240 7190 1 2545.0000 1143.0000 122.66%
3375.21/3384.80 c 3385 8261 7211 1 2545.0000 1143.2500 122.61%
3380.50/3390.20 c 3390 8298 7248 1 2545.0000 1143.2500 122.61%
3385.97/3395.68 c 3396 8325 7275 1 2545.0000 1143.2500 122.61%
3392.37/3402.11 c 3402 8330 7280 1 2545.0000 1143.2500 122.61%
3397.84/3407.59 c 3408 8345 7295 1 2545.0000 1143.2500 122.61%
3403.24/3412.99 c 3413 8375 7325 1 2545.0000 1143.2500 122.61%
3410.22/3419.98 c 3420 8396 7346 1 2545.0000 1143.2500 122.61%
3417.31/3427.03 c 3427 8423 7373 1 2545.0000 1143.2500 122.61%
3423.79/3433.55 c 3434 8426 7376 1 2545.0000 1143.2500 122.61%
3429.38/3439.16 c 3439 8457 7407 1 2545.0000 1143.2500 122.61%
3438.45/3448.26 c 3448 8471 7421 1 2545.0000 1143.2500 122.61%
3444.35/3454.18 c 3454 8506 7456 1 2545.0000 1143.2500 122.61%
3450.23/3460.04 c 3460 8520 7470 1 2545.0000 1143.2500 122.61%
3457.50/3467.32 c 3467 8549 7499 1 2545.0000 1143.5000 122.56%
3462.89/3472.75 c 3473 8558 7508 1 2545.0000 1143.5000 122.56%
3467.87/3477.75 c 3478 8584 7534 1 2545.0000 1143.7500 122.51%
3473.28/3483.15 c 3483 8617 7567 1 2545.0000 1143.7500 122.51%
3480.05/3489.90 c 3490 8621 7571 1 2545.0000 1143.7500 122.51%
3485.33/3495.26 c 3495 8660 7610 1 2545.0000 1143.7500 122.51%
3492.31/3502.27 c 3502 8687 7637 1 2545.0000 1143.7500 122.51%
3500.59/3510.50 c 3511 8720 7670 1 2545.0000 1143.7500 122.51%
3505.77/3515.78 c 3516 8751 7701 1 2545.0000 1143.7500 122.51%
3513.75/3523.75 c 3524 8765 7715 1 2545.0000 1143.7500 122.51%
3518.94/3528.97 c 3529 8802 7752 1 2545.0000 1143.7500 122.51%
3524.04/3534.05 c 3534 8817 7767 1 2545.0000 1143.7500 122.51%
3529.91/3539.92 c 3540 8835 7785 1 2545.0000 1143.7500 122.51%
3535.39/3545.44 c 3545 8866 7816 1 2545.0000 1143.7500 122.51%
3540.99/3551.03 c 3551 8895 7845 1 2545.0000 1143.7500 122.51%
3546.97/3557.08 c 3557 8914 7864 1 2545.0000 1143.7500 122.51%
3558.13/3568.29 c 3568 8936 7886 1 2545.0000 1143.7500 122.51%
3569.59/3579.77 c 3580 8948 7898 1 2545.0000 1143.7500 122.51%
3576.47/3586.60 c 3587 8972 7922 1 2545.0000 1143.7500 122.51%
3581.76/3591.92 c 3592 9004 7954 1 2545.0000 1143.7500 122.51%
3586.86/3597.08 c 3597 9017 7967 1 2545.0000 1143.7500 122.51%
3587.86/3598.08 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.86/3598.08 c Total Time : 3598.09
3587.86/3598.08 c solving : 3598.09
3587.86/3598.08 c presolving : 91.90 (included in solving)
3587.86/3598.08 c B&B Tree :
3587.86/3598.08 c nodes (total) : 1
3587.86/3598.08 c Solution :
3587.86/3598.08 c Solutions found : 7
3587.86/3598.08 c Primal Bound : +2.54500000000000e+03
3587.86/3598.08 c Dual Bound : +1.14375000000000e+03
3587.86/3598.08 c Gap : 122.51366 %
3587.86/3598.08 c * Warning: final gap: 1.22514e+00 is greater than SCIPepsilon: 1.00000e-09
3587.86/3598.10 o 2545
3587.86/3598.10 s SATISFIABLE
3587.86/3598.10 v -x900 x899 -x898 x897 -x896 x895 x894 -x893 x892 -x891 -x890 x889 x888 -x887 -x886 x885 -x884 x883 x882 -x881 x880 -x879 -x878
3587.86/3598.10 v x877 -x876 x875 x874 -x873 x872 -x871 -x870 x869 -x868 x867 -x866 x865 x864 -x863 -x862 x861 x860 -x859 -x858 x857 -x856 x855
3587.86/3598.10 v x854 -x853 x852 -x851 -x850 x849 x848 -x847 x846 -x845 x844 -x843 -x842 x841 -x840 x839 -x838 x837 x836 -x835 -x834 x833 -x832
3587.86/3598.10 v x831 -x830 x829 x828 -x827 x826 -x825 x824 -x823 x822 -x821 x820 -x819 x818 -x817 -x816 x815 x814 -x813 -x812 x811 x810 -x809
3587.86/3598.10 v x808 -x807 -x806 x805 -x804 x803 -x802 x801 x800 -x799 -x798 x797 x796 -x795 x794 -x793 -x792 x791 x790 -x789 x788 -x787
3587.86/3598.10 v x786 -x785 x784 -x783 x782 -x781 -x780 x779 x778 -x777 x776 -x775 -x774 x773 -x772 x771 x770 -x769 -x768 x767 -x766 x765 x764
3587.86/3598.10 v -x763 x762 -x761 x760 -x759 -x758 x757 -x756 x755 -x754 x753 x752 -x751 -x750 x749 -x748 x747 -x746 x745 x744 -x743 -x742 x741
3587.86/3598.10 v -x740 x739 -x738 x737 x736 -x735 -x734 x733 -x732 x731 -x730 x729 -x728 x727 -x726 x725 -x724 x723 -x722 x721 x720 -x719 x718
3587.86/3598.10 v -x717 -x716 x715 x714 -x713 x712 -x711 x710 -x709 x708 -x707 -x706 x705 -x704 x703 x702 -x701 -x700 x699 -x698 x697 -x696
3587.86/3598.10 v x695 x694 -x693 x692 -x691 x690 -x689 x688 -x687 x686 -x685 x684 -x683 -x682 x681 x680 -x679 -x678 x677 x676 -x675 -x674 x673
3587.86/3598.10 v x672 -x671 x670 -x669 -x668 x667 x666 -x665 x664 -x663 -x662 x661 -x660 x659 x658 -x657 x656 -x655 x654 -x653 x652 -x651 -x650
3587.86/3598.10 v x649 x648 -x647 -x646 x645 x644 -x643 x642 -x641 -x640 x639 x638 -x637 x636 -x635 x634 -x633 x632 -x631 -x630 x629 x628 -x627
3587.86/3598.10 v -x626 x625 -x624 x623 x622 -x621 x620 -x619 x618 -x617 -x616 x615 -x614 x613 -x612 x611 -x610 x609 -x608 x607 -x606 x605
3587.86/3598.10 v -x604 x603 x602 -x601 x600 -x599 x598 -x597 -x596 x595 -x594 x593 x592 -x591 x590 -x589 -x588 x587 x586 -x585 x584 -x583 -x582
3587.86/3598.10 v x581 -x580 x579 x578 -x577 x576 -x575 -x574 x573 x572 -x571 -x570 x569 x568 -x567 -x566 x565 -x564 x563 -x562 x561 -x560 x559
3587.86/3598.10 v -x558 x557 x556 -x555 x554 -x553 -x552 x551 x550 -x549 x548 -x547 -x546 x545 -x544 x543 x542 -x541 x540 -x539 -x538 x537
3587.86/3598.10 v x536 -x535 x534 -x533 -x532 x531 -x530 x529 x528 -x527 -x526 x525 x524 -x523 x522 -x521 x520 -x519 -x518 x517 x516 -x515 x514
3587.86/3598.10 v -x513 x512 -x511 -x510 x509 x508 -x507 -x506 x505 x504 -x503 -x502 x501 x500 -x499 -x498 x497 -x496 x495 x494 -x493 x492 -x491
3587.86/3598.10 v -x490 x489 -x488 x487 -x486 x485 x484 -x483 -x482 x481 -x480 x479 x478 -x477 x476 -x475 x474 -x473 -x472 x471 -x470 x469 x468
3587.86/3598.10 v -x467 -x466 x465 x464 -x463 -x462 x461 -x460 x459 -x458 x457 -x456 x455 -x454 x453 x452 -x451 x450 -x449 -x448 x447 -x446
3587.86/3598.10 v x445 -x444 x443 -x442 x441 x440 -x439 -x438 x437 -x436 x435 -x434 x433 -x432 x431 x430 -x429 x428 -x427 -x426 x425 x424 -x423
3587.86/3598.10 v x422 -x421 -x420 x419 x418 -x417 -x416 x415 -x414 x413 x412 -x411 x410 -x409 -x408 x407 x406 -x405 x404 -x403 -x402 x401 -x400
3587.86/3598.10 v x399 -x398 x397 x396 -x395 x394 -x393 x392 -x391 -x390 x389 -x388 x387 x386 -x385 -x384 x383 -x382 x381 -x380 x379 x378 -x377
3587.86/3598.10 v x376 -x375 -x374 x373 x372 -x371 -x370 x369 x368 -x367 -x366 x365 x364 -x363 x362 -x361 x360 -x359 x358 -x357 -x356 x355
3587.86/3598.10 v -x354 x353 -x352 x351 -x350 x349 x348 -x347 -x346 x345 -x344 x343 -x342 x341 x340 -x339 -x338 x337 -x336 x335 -x334 x333 -x332
3587.86/3598.10 v x331 -x330 x329 -x328 x327 x326 -x325 x324 -x323 -x322 x321 x320 -x319 x318 -x317 -x316 x315 -x314 x313 -x312 x311 x310 -x309
3587.86/3598.10 v -x308 x307 x306 -x305 x304 -x303 -x302 x301 x300 -x299 x298 -x297 x296 -x295 -x294 x293 -x292 x291 -x290 x289 -x288 x287
3587.86/3598.10 v x286 -x285 x284 -x283 x282 -x281 -x280 x279 -x278 x277 x276 -x275 -x274 x273 -x272 x271 -x270 x269 -x268 x267 -x266 x265 x264
3587.86/3598.10 v -x263 x262 -x261 -x260 x259 x258 -x257 -x256 x255 x254 -x253 x252 -x251 -x250 x249 x248 -x247 -x246 x245 x244 -x243 x242 -x241
3587.86/3598.10 v -x240 x239 x238 -x237 x236 -x235 -x234 x233 x232 -x231 -x230 x229 x228 -x227 -x226 x225 x224 -x223 -x222 x221 -x220 x219 x218
3587.86/3598.10 v -x217 x216 -x215 -x214 x213 x212 -x211 x210 -x209 -x208 x207 -x206 x205 x204 -x203 x202 -x201 -x200 x199 -x198 x197 -x196
3587.86/3598.10 v x195 -x194 x193 x192 -x191 -x190 x189 -x188 x187 -x186 x185 x184 -x183 x182 -x181 -x180 x179 -x178 x177 -x176 x175 x174 -x173
3588.04/3598.21 v x172 -x171 x170 -x169 x168 -x167 -x166 x165 x164 -x163 -x162 x161 -x160 x159 -x158 x157 x156 -x155 -x154 x153 x152 -x151 x150
3588.04/3598.21 v -x149 x148 -x147 -x146 x145 -x144 x143 -x142 x141 x140 -x139 -x138 x137 x136 -x135 -x134 x133 x132 -x131 x130 -x129 -x128
3588.04/3598.21 v x127 x126 -x125 -x124 x123 -x122 x121 -x120 x119 -x118 x117 x116 -x115 -x114 x113 x112 -x111 -x110 x109 x108 -x107 -x106 x105
3588.04/3598.21 v -x104 x103 x102 -x101 -x100 x99 x98 -x97 -x96 x95 x94 -x93 -x92 x91 x90 -x89 x88 -x87 -x86 x85 x84 -x83 -x82 x81 x80 -x79 -x78
3588.04/3598.21 v x77 -x76 x75 x74 -x73 x72 -x71 -x70 x69 x68 -x67 -x66 x65 -x64 x63 -x62 x61 -x60 x59 x58 -x57 -x56 x55 -x54 x53 -x52 x51 -x50
3588.04/3598.21 v x49 x48 -x47 -x46 x45 -x44 x43 -x42 x41 -x40 x39 x38 -x37 x36 -x35 x34 -x33 x32 -x31 -x30 x29 -x28 x27 -x26 x25 x24 -x23
3588.04/3598.21 v x22 -x21 -x20 x19 x18 -x17 x16 -x15 -x14 x13 x12 -x11 x10 -x9 -x8 x7 x6 -x5 x4 -x3 x2 -x1
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 (57910 MiB free)
memory of node 1: 64510 MiB (60642 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4464940-1722390220/watcher-4464940-1722390220 -o /tmp/evaluation-result-4464940-1722390220/solver-4464940-1722390220 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722390200-35660 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464940-1722390220.wbo -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Current StackSize limit: 8192 KiB
solver pid=36011, runsolver pid=36008
[startup+0.100104 s]*
/proc/loadavg: 1.96 2.21 3.10 5/242 36012
/proc/meminfo: memFree=121254208/131655788 swapFree=131071996/131071996
[pid=36011] ppid=36008 vsize=84676 memory=72816 CPUtime=0.1 cores=5,7
/proc/36011/stat : 36011 (fscip) R 36008 36011 35647 0 -1 4194304 15905 0 0 0 8 2 0 0 20 0 1 0 5618951 86708224 18204 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
/proc/36011/statm: 21169 18204 2598 3035 0 17565 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 84676 KiB
Current children cumulated memory: 72816 KiB
[startup+0.213061 s]*
/proc/loadavg: 1.96 2.21 3.10 5/242 36012
/proc/meminfo: memFree=121170900/131655788 swapFree=131071996/131071996
[pid=36011] ppid=36008 vsize=117040 memory=102504 CPUtime=0.21 cores=5,7
/proc/36011/stat : 36011 (fscip) R 36008 36011 35647 0 -1 4194304 23297 0 0 0 18 3 0 0 20 0 1 0 5618951 119848960 25626 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
/proc/36011/statm: 29260 25626 2630 3035 0 25656 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 117040 KiB
Current children cumulated memory: 102504 KiB
[startup+0.313227 s]*
/proc/loadavg: 1.96 2.21 3.10 5/243 36013
/proc/meminfo: memFree=121061608/131655788 swapFree=131071996/131071996
[pid=36011] ppid=36008 vsize=118180 memory=103884 CPUtime=0.31 cores=5,7
/proc/36011/stat : 36011 (fscip) R 36008 36011 35647 0 -1 4194304 23644 0 0 0 28 3 0 0 20 0 1 0 5618951 121016320 25971 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
/proc/36011/statm: 29545 25971 2662 3035 0 25941 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 118180 KiB
Current children cumulated memory: 103884 KiB
[startup+0.700301 s]
/proc/loadavg: 1.96 2.21 3.10 5/243 36013
/proc/meminfo: memFree=120879916/131655788 swapFree=131071996/131071996
[pid=36011] ppid=36008 vsize=118180 memory=103884 CPUtime=0.69 cores=5,7
/proc/36011/stat : 36011 (fscip) R 36008 36011 35647 0 -1 4194304 23644 0 0 0 66 3 0 0 20 0 1 0 5618951 121016320 25971 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
/proc/36011/statm: 29545 25971 2662 3035 0 25941 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 118180 KiB
Current children cumulated memory: 103884 KiB
[startup+1.50033 s]
/proc/loadavg: 1.96 2.21 3.10 5/244 36014
/proc/meminfo: memFree=120488716/131655788 swapFree=131071996/131071996
[pid=36011] ppid=36008 vsize=118180 memory=104148 CPUtime=1.48 cores=5,7
/proc/36011/stat : 36011 (fscip) R 36008 36011 35647 0 -1 4194304 23676 0 0 0 145 3 0 0 20 0 1 0 5618951 121016320 26037 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
/proc/36011/statm: 29545 26037 2662 3035 0 25941 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 118180 KiB
Current children cumulated memory: 104148 KiB
[startup+3.11278 s]
/proc/loadavg: 2.21 2.26 3.11 5/244 36014
/proc/meminfo: memFree=119415460/131655788 swapFree=131071996/131071996
[pid=36011] ppid=36008 vsize=118564 memory=104412 CPUtime=3.09 cores=5,7
/proc/36011/stat : 36011 (fscip) R 36008 36011 35647 0 -1 4194304 23740 0 0 0 306 3 0 0 20 0 1 0 5618951 121409536 26103 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
/proc/36011/statm: 29641 26103 2662 3035 0 26037 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 118564 KiB
Current children cumulated memory: 104412 KiB
[startup+6.30031 s]
/proc/loadavg: 2.21 2.26 3.11 5/245 36016
/proc/meminfo: memFree=118134468/131655788 swapFree=131071996/131071996
[pid=36011] ppid=36008 vsize=119080 memory=104940 CPUtime=6.27 cores=5,7
/proc/36011/stat : 36011 (fscip) R 36008 36011 35647 0 -1 4194304 23868 0 0 0 624 3 0 0 20 0 1 0 5618951 121937920 26235 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
/proc/36011/statm: 29770 26235 2662 3035 0 26166 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 119080 KiB
Current children cumulated memory: 104940 KiB
[startup+12.7003 s]
/proc/loadavg: 2.48 2.32 3.12 5/246 36017
/proc/meminfo: memFree=117155276/131655788 swapFree=131071996/131071996
[pid=36011] ppid=36008 vsize=120108 memory=105732 CPUtime=12.64 cores=5,7
/proc/36011/stat : 36011 (fscip) R 36008 36011 35647 0 -1 4194304 24124 0 0 0 1261 3 0 0 20 0 1 0 5618951 122990592 26433 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
/proc/36011/statm: 30027 26433 2662 3035 0 26423 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 120108 KiB
Current children cumulated memory: 105732 KiB
[startup+25.5004 s]
/proc/loadavg: 2.72 2.38 3.13 5/246 36020
/proc/meminfo: memFree=117024160/131655788 swapFree=131071996/131071996
[pid=36011] ppid=36008 vsize=122164 memory=107844 CPUtime=25.38 cores=5,7
/proc/36011/stat : 36011 (fscip) R 36008 36011 35647 0 -1 4194304 24636 0 0 0 2535 3 0 0 20 0 1 0 5618951 125095936 26961 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
/proc/36011/statm: 30541 26961 2662 3035 0 26937 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 122164 KiB
Current children cumulated memory: 107844 KiB
[startup+51.1131 s]
/proc/loadavg: 3.16 2.51 3.16 5/246 36023
/proc/meminfo: memFree=116944756/131655788 swapFree=131071996/131071996
[pid=36011] ppid=36008 vsize=124220 memory=110088 CPUtime=50.9 cores=5,7
/proc/36011/stat : 36011 (fscip) R 36008 36011 35647 0 -1 4194304 25428 0 0 0 5086 4 0 0 20 0 1 0 5618951 127201280 27522 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
/proc/36011/statm: 31055 27522 2662 3035 0 27451 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 124220 KiB
Current children cumulated memory: 110088 KiB
[startup+102.3 s]
/proc/loadavg: 3.78 2.79 3.22 5/248 36034
/proc/meminfo: memFree=116483488/131655788 swapFree=131071996/131071996
[pid=36011] ppid=36008 vsize=366744 memory=258912 CPUtime=101.91 cores=5,7
/proc/36011/stat : 36011 (fscip) S 36008 36011 35647 0 -1 1077936128 97354 0 0 0 10176 15 0 0 20 0 3 0 5618951 375545856 64728 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
/proc/36011/statm: 91686 64728 2918 3035 0 76205 0
[pid=36011/tid=36031] ppid=36008 vsize=366744 memory=11488 CPUtime=10.23 cores=5,7
/proc/36011/task/36031/stat : 36031 (fscip) R 36008 36011 35647 0 -1 4194368 62719 0 0 0 1014 9 0 0 20 0 3 0 5628150 375545856 64728 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
[pid=36011/tid=36032] ppid=36008 vsize=366744 memory=116052 CPUtime=0 cores=5,7
/proc/36011/task/36032/stat : 36032 (fscip) S 36008 36011 35647 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 5628159 375545856 64728 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 366744 KiB
Current children cumulated memory: 258912 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 3.03 3.28 5/245 36045
/proc/meminfo: memFree=116092328/131655788 swapFree=131071996/131071996
[pid=36011] ppid=36008 vsize=432280 memory=329044 CPUtime=161.75 cores=5,7
/proc/36011/stat : 36011 (fscip) S 36008 36011 35647 0 -1 1077936128 226872 0 0 0 16148 27 0 0 20 0 3 0 5618951 442654720 82261 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
/proc/36011/statm: 108070 82261 3014 3035 0 94414 0
[pid=36011/tid=36031] ppid=36008 vsize=432280 memory=324048 CPUtime=70.07 cores=5,7
/proc/36011/task/36031/stat : 36031 (fscip) R 36008 36011 35647 0 -1 4194368 189747 0 0 0 6986 21 0 0 20 0 3 0 5628150 442654720 82261 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
[pid=36011/tid=36032] ppid=36008 vsize=432280 memory=324104 CPUtime=0 cores=5,7
/proc/36011/task/36032/stat : 36032 (fscip) S 36008 36011 35647 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 5628159 442654720 82261 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 432280 KiB
Current children cumulated memory: 329044 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 3.24 3.33 5/245 36055
/proc/meminfo: memFree=116060920/131655788 swapFree=131071996/131071996
[pid=36011] ppid=36008 vsize=432280 memory=352712 CPUtime=221.58 cores=5,7
/proc/36011/stat : 36011 (fscip) S 36008 36011 35647 0 -1 1077936128 295951 0 0 0 22125 33 0 0 20 0 3 0 5618951 442654720 88178 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
/proc/36011/statm: 108070 88178 3030 3035 0 102708 0
[pid=36011/tid=36031] ppid=36008 vsize=432280 memory=16700 CPUtime=129.88 cores=5,7
/proc/36011/task/36031/stat : 36031 (fscip) R 36008 36011 35647 0 -1 4194368 258731 0 0 0 12961 27 0 0 20 0 3 0 5628150 442654720 88178 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
[pid=36011/tid=36032] ppid=36008 vsize=432280 memory=2220 CPUtime=0 cores=5,7
/proc/36011/task/36032/stat : 36032 (fscip) S 36008 36011 35647 0 -1 1077936192 69 0 0 0 0 0 0 0 20 0 3 0 5628159 442654720 88178 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 432280 KiB
Current children cumulated memory: 352712 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.40 3.38 5/245 36066
/proc/meminfo: memFree=116059992/131655788 swapFree=131071996/131071996
[pid=36011] ppid=36008 vsize=432280 memory=352712 CPUtime=281.4 cores=5,7
/proc/36011/stat : 36011 (fscip) S 36008 36011 35647 0 -1 1077936128 331621 0 0 0 28103 37 0 0 20 0 3 0 5618951 442654720 88178 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
/proc/36011/statm: 108070 88178 3030 3035 0 102708 0
[pid=36011/tid=36031] ppid=36008 vsize=432280 memory=352712 CPUtime=189.7 cores=5,7
/proc/36011/task/36031/stat : 36031 (fscip) R 36008 36011 35647 0 -1 4194368 292550 0 0 0 18940 30 0 0 20 0 3 0 5628150 442654720 88178 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
[pid=36011/tid=36032] ppid=36008 vsize=432280 memory=352712 CPUtime=0 cores=5,7
/proc/36011/task/36032/stat : 36032 (fscip) S 36008 36011 35647 0 -1 1077936192 83 0 0 0 0 0 0 0 20 0 3 0 5628159 442654720 88178 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 432280 KiB
Current children cumulated memory: 352712 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 3.54 3.44 5/244 36078
/proc/meminfo: memFree=116049444/131655788 swapFree=131071996/131071996
[pid=36011] ppid=36008 vsize=497816 memory=362776 CPUtime=341.24 cores=5,7
/proc/36011/stat : 36011 (fscip) S 36008 36011 35647 0 -1 1077936128 363549 0 0 0 34082 42 0 0 20 0 3 0 5618951 509763584 90694 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
/proc/36011/statm: 124454 90694 3030 3035 0 106075 0
[pid=36011/tid=36031] ppid=36008 vsize=497816 memory=361796 CPUtime=249.52 cores=5,7
/proc/36011/task/36031/stat : 36031 (fscip) R 36008 36011 35647 0 -1 4194368 324444 0 0 0 24918 34 0 0 20 0 3 0 5628150 509763584 90694 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
[pid=36011/tid=36032] ppid=36008 vsize=497816 memory=361892 CPUtime=0 cores=5,7
/proc/36011/task/36032/stat : 36032 (fscip) S 36008 36011 35647 0 -1 1077936192 90 0 0 0 0 0 0 0 20 0 3 0 5628159 509763584 90694 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
Current children cumulated CPU time: 341.24 s
################
# More data... #
################
[pid=36011] ppid=36008 vsize=699508 memory=655844 CPUtime=3392.66 cores=5,7
/proc/36011/stat : 36011 (fscip) S 36008 36011 35647 0 -1 1077936128 1069193 0 0 0 339129 137 0 0 20 0 3 0 5618951 716296192 163961 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
/proc/36011/statm: 174877 163961 3030 3035 0 170822 0
[pid=36011/tid=36031] ppid=36008 vsize=699508 memory=654544 CPUtime=3300.71 cores=5,7
/proc/36011/task/36031/stat : 36031 (fscip) R 36008 36011 35647 0 -1 4194368 1025555 0 0 0 329952 119 0 0 20 0 3 0 5628150 716296192 163961 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
[pid=36011/tid=36032] ppid=36008 vsize=699508 memory=11488 CPUtime=0.05 cores=5,7
/proc/36011/task/36032/stat : 36032 (fscip) S 36008 36011 35647 0 -1 1077936192 223 0 0 0 1 4 0 0 20 0 3 0 5628159 716296192 163961 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
Current children cumulated CPU time: 3392.66 s
Current children cumulated vsize: 699508 KiB
Current children cumulated memory: 655844 KiB
[startup+3462.3 s]
/proc/loadavg: 2.11 2.09 2.16 3/230 37889
/proc/meminfo: memFree=124941564/131655788 swapFree=131071996/131071996
[pid=36011] ppid=36008 vsize=699508 memory=656220 CPUtime=3452.51 cores=5,7
/proc/36011/stat : 36011 (fscip) S 36008 36011 35647 0 -1 1077936128 1072436 0 0 0 345113 138 0 0 20 0 3 0 5618951 716296192 164055 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
/proc/36011/statm: 174877 164055 3030 3035 0 170822 0
[pid=36011/tid=36031] ppid=36008 vsize=699508 memory=654544 CPUtime=3360.57 cores=5,7
/proc/36011/task/36031/stat : 36031 (fscip) R 36008 36011 35647 0 -1 4194368 1028782 0 0 0 335937 120 0 0 20 0 3 0 5628150 716296192 164055 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
[pid=36011/tid=36032] ppid=36008 vsize=699508 memory=656220 CPUtime=0.06 cores=5,7
/proc/36011/task/36032/stat : 36032 (fscip) S 36008 36011 35647 0 -1 1077936192 227 0 0 0 1 5 0 0 20 0 3 0 5628159 716296192 164055 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
Current children cumulated CPU time: 3452.51 s
Current children cumulated vsize: 699508 KiB
Current children cumulated memory: 656220 KiB
[startup+3522.3 s]
/proc/loadavg: 2.09 2.09 2.16 3/230 37899
/proc/meminfo: memFree=124896964/131655788 swapFree=131071996/131071996
[pid=36011] ppid=36008 vsize=699508 memory=657884 CPUtime=3512.36 cores=5,7
/proc/36011/stat : 36011 (fscip) S 36008 36011 35647 0 -1 1077936128 1076181 0 0 0 351097 139 0 0 20 0 3 0 5618951 716296192 164471 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
/proc/36011/statm: 174877 164471 3030 3035 0 170822 0
[pid=36011/tid=36031] ppid=36008 vsize=699508 memory=38792 CPUtime=3420.4 cores=5,7
/proc/36011/task/36031/stat : 36031 (fscip) R 36008 36011 35647 0 -1 4194368 1032516 0 0 0 341920 120 0 0 20 0 3 0 5628150 716296192 164471 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
[pid=36011/tid=36032] ppid=36008 vsize=699508 memory=657884 CPUtime=0.06 cores=5,7
/proc/36011/task/36032/stat : 36032 (fscip) S 36008 36011 35647 0 -1 1077936192 227 0 0 0 1 5 0 0 20 0 3 0 5628159 716296192 164471 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
Current children cumulated CPU time: 3512.36 s
Current children cumulated vsize: 699508 KiB
Current children cumulated memory: 657884 KiB
[startup+3582.3 s]
/proc/loadavg: 2.14 2.10 2.16 3/230 37910
/proc/meminfo: memFree=124870524/131655788 swapFree=131071996/131071996
[pid=36011] ppid=36008 vsize=699508 memory=657940 CPUtime=3572.19 cores=5,7
/proc/36011/stat : 36011 (fscip) S 36008 36011 35647 0 -1 1077936128 1078994 0 0 0 357080 139 0 0 20 0 3 0 5618951 716296192 164485 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
/proc/36011/statm: 174877 164485 3030 3035 0 170822 0
[pid=36011/tid=36031] ppid=36008 vsize=699508 memory=12136 CPUtime=3480.23 cores=5,7
/proc/36011/task/36031/stat : 36031 (fscip) R 36008 36011 35647 0 -1 4194368 1035316 0 0 0 347903 120 0 0 20 0 3 0 5628150 716296192 164485 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
[pid=36011/tid=36032] ppid=36008 vsize=699508 memory=16700 CPUtime=0.06 cores=5,7
/proc/36011/task/36032/stat : 36032 (fscip) S 36008 36011 35647 0 -1 1077936192 229 0 0 0 1 5 0 0 20 0 3 0 5628159 716296192 164485 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
Current children cumulated CPU time: 3572.19 s
Current children cumulated vsize: 699508 KiB
Current children cumulated memory: 657940 KiB
[startup+3598.22 s]
# the end of solver process 36011 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.65 s, system=1.41644 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.13 2.10 2.16 3/230 37910
/proc/meminfo: memFree=124864640/131655788 swapFree=131071996/131071996
[pid=36011] ppid=36008 vsize=699508 memory=659344 CPUtime=3573.89 cores=5,7
/proc/36011/stat : 36011 (fscip) S 36008 36011 35647 0 -1 1077936128 1079392 0 0 0 357249 140 0 0 20 0 3 0 5618951 716296192 164836 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
/proc/36011/statm: 174877 164836 3030 3035 0 170822 0
[pid=36011/tid=36031] ppid=36008 vsize=699508 memory=-7666933632230055552 CPUtime=3481.93 cores=5,7
/proc/36011/task/36031/stat : 36031 (fscip) R 36008 36011 35647 0 -1 4194368 1035714 0 0 0 348072 121 0 0 20 0 3 0 5628150 716296192 164836 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
[pid=36011/tid=36032] ppid=36008 vsize=699508 memory=-7233808450367551678 CPUtime=0.06 cores=5,7
/proc/36011/task/36032/stat : 36032 (fscip) S 36008 36011 35647 0 -1 1077936192 229 0 0 0 1 5 0 0 20 0 3 0 5628159 716296192 164836 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
Current children cumulated CPU time: 3573.89 s
Current children cumulated vsize: 699508 KiB
Current children cumulated memory: 659344 KiB
[startup+3590.4 s]
/proc/loadavg: 2.12 2.10 2.16 3/231 37912
/proc/meminfo: memFree=124863500/131655788 swapFree=131071996/131071996
[pid=36011] ppid=36008 vsize=699508 memory=660428 CPUtime=3580.26 cores=5,7
/proc/36011/stat : 36011 (fscip) S 36008 36011 35647 0 -1 1077936128 1080907 0 0 0 357886 140 0 0 20 0 3 0 5618951 716296192 165107 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
/proc/36011/statm: 174877 165107 3030 3035 0 170822 0
[pid=36011/tid=36031] ppid=36008 vsize=699508 memory=-7666933632230055552 CPUtime=3488.3 cores=5,7
/proc/36011/task/36031/stat : 36031 (fscip) R 36008 36011 35647 0 -1 4194368 1037228 0 0 0 348709 121 0 0 20 0 3 0 5628150 716296192 165107 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
[pid=36011/tid=36032] ppid=36008 vsize=699508 memory=18844 CPUtime=0.06 cores=5,7
/proc/36011/task/36032/stat : 36032 (fscip) S 36008 36011 35647 0 -1 1077936192 230 0 0 0 1 5 0 0 20 0 3 0 5628159 716296192 165107 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
Current children cumulated CPU time: 3580.26 s
Current children cumulated vsize: 699508 KiB
Current children cumulated memory: 660428 KiB
[startup+3593.6 s]
/proc/loadavg: 2.11 2.09 2.15 3/231 37912
/proc/meminfo: memFree=124854676/131655788 swapFree=131071996/131071996
[pid=36011] ppid=36008 vsize=699508 memory=660440 CPUtime=3583.46 cores=5,7
/proc/36011/stat : 36011 (fscip) S 36008 36011 35647 0 -1 1077936128 1081022 0 0 0 358206 140 0 0 20 0 3 0 5618951 716296192 165110 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
/proc/36011/statm: 174877 165110 3030 3035 0 170822 0
[pid=36011/tid=36031] ppid=36008 vsize=699508 memory=12136 CPUtime=3491.49 cores=5,7
/proc/36011/task/36031/stat : 36031 (fscip) R 36008 36011 35647 0 -1 4194368 1037343 0 0 0 349028 121 0 0 20 0 3 0 5628150 716296192 165110 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
[pid=36011/tid=36032] ppid=36008 vsize=699508 memory=11488 CPUtime=0.06 cores=5,7
/proc/36011/task/36032/stat : 36032 (fscip) S 36008 36011 35647 0 -1 1077936192 230 0 0 0 1 5 0 0 20 0 3 0 5628159 716296192 165110 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
Current children cumulated CPU time: 3583.46 s
Current children cumulated vsize: 699508 KiB
Current children cumulated memory: 660440 KiB
[startup+3596.8 s]
/proc/loadavg: 2.11 2.09 2.15 3/231 37914
/proc/meminfo: memFree=124854632/131655788 swapFree=131071996/131071996
[pid=36011] ppid=36008 vsize=699508 memory=660440 CPUtime=3586.65 cores=5,7
/proc/36011/stat : 36011 (fscip) S 36008 36011 35647 0 -1 1077936128 1081030 0 0 0 358525 140 0 0 20 0 3 0 5618951 716296192 165110 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
/proc/36011/statm: 174877 165110 3030 3035 0 170822 0
[pid=36011/tid=36031] ppid=36008 vsize=699508 memory=11488 CPUtime=3494.69 cores=5,7
/proc/36011/task/36031/stat : 36031 (fscip) R 36008 36011 35647 0 -1 4194368 1037351 0 0 0 349348 121 0 0 20 0 3 0 5628150 716296192 165110 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
[pid=36011/tid=36032] ppid=36008 vsize=699508 memory=657936 CPUtime=0.06 cores=5,7
/proc/36011/task/36032/stat : 36032 (fscip) S 36008 36011 35647 0 -1 1077936192 230 0 0 0 1 5 0 0 20 0 3 0 5628159 716296192 165110 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
Current children cumulated CPU time: 3586.65 s
Current children cumulated vsize: 699508 KiB
Current children cumulated memory: 660440 KiB
[startup+3597.6 s]
/proc/loadavg: 2.11 2.09 2.15 3/231 37914
/proc/meminfo: memFree=124854660/131655788 swapFree=131071996/131071996
[pid=36011] ppid=36008 vsize=699508 memory=660440 CPUtime=3587.45 cores=5,7
/proc/36011/stat : 36011 (fscip) S 36008 36011 35647 0 -1 1077936128 1081032 0 0 0 358605 140 0 0 20 0 3 0 5618951 716296192 165110 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
/proc/36011/statm: 174877 165110 3030 3035 0 170822 0
[pid=36011/tid=36031] ppid=36008 vsize=699508 memory=16700 CPUtime=3495.48 cores=5,7
/proc/36011/task/36031/stat : 36031 (fscip) R 36008 36011 35647 0 -1 4194368 1037353 0 0 0 349427 121 0 0 20 0 3 0 5628150 716296192 165110 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
[pid=36011/tid=36032] ppid=36008 vsize=699508 memory=12136 CPUtime=0.06 cores=5,7
/proc/36011/task/36032/stat : 36032 (fscip) S 36008 36011 35647 0 -1 1077936192 230 0 0 0 1 5 0 0 20 0 3 0 5628159 716296192 165110 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
Current children cumulated CPU time: 3587.45 s
Current children cumulated vsize: 699508 KiB
Current children cumulated memory: 660440 KiB
[startup+3598 s]*
/proc/loadavg: 2.10 2.09 2.15 3/230 37914
/proc/meminfo: memFree=125121656/131655788 swapFree=131071996/131071996
[pid=36011] ppid=36008 vsize=699508 memory=660440 CPUtime=3587.86 cores=5,7
/proc/36011/stat : 36011 (fscip) S 36008 36011 35647 0 -1 1077936128 1081335 0 0 0 358646 140 0 0 20 0 3 0 5618951 716296192 165110 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
/proc/36011/statm: 174877 165110 3030 3035 0 170822 0
[pid=36011/tid=36031] ppid=36008 vsize=699508 memory=-7666933632230055552 CPUtime=3495.9 cores=5,7
/proc/36011/task/36031/stat : 36031 (fscip) R 36008 36011 35647 0 -1 4194368 1037655 0 0 0 349469 121 0 0 20 0 3 0 5628150 716296192 165110 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
[pid=36011/tid=36032] ppid=36008 vsize=699508 memory=4760 CPUtime=0.06 cores=5,7
/proc/36011/task/36032/stat : 36032 (fscip) S 36008 36011 35647 0 -1 1077936192 230 0 0 0 1 5 0 0 20 0 3 0 5628159 716296192 165110 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
Current children cumulated CPU time: 3587.86 s
Current children cumulated vsize: 699508 KiB
Current children cumulated memory: 660440 KiB
[startup+3598.2 s]
/proc/loadavg: 2.10 2.09 2.15 3/230 37914
/proc/meminfo: memFree=125121656/131655788 swapFree=131071996/131071996
[pid=36011] ppid=36008 vsize=598176 memory=532608 CPUtime=3588.04 cores=5,7
/proc/36011/stat : 36011 (fscip) R 36008 36011 35647 0 -1 4194304 1084099 0 0 0 358664 140 0 0 20 0 2 0 5618951 612532224 133152 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
/proc/36011/statm: 149544 133152 3030 3035 0 145489 0
[pid=36011/tid=36032] ppid=36008 vsize=598176 memory=3460 CPUtime=0.06 cores=5,7
/proc/36011/task/36032/stat : 36032 (fscip) S 36008 36011 35647 0 -1 1077936192 230 0 0 0 1 5 0 0 20 0 2 0 5628159 612532224 133152 134679101440 4194304 16623229 140720742583072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24924160 140720742589464 140720742589580 140720742589580 140720742596592 0
Current children cumulated CPU time: 3588.04 s
Current children cumulated vsize: 598176 KiB
Current children cumulated memory: 532608 KiB
Child status: 0
Real time (s): 3598.24
CPU time (s): 3588.07
CPU user time (s): 3586.65
CPU system time (s): 1.41644
CPU usage (%): 99.7174
Max. virtual memory (cumulated for all children) (KiB): 765044
Max. memory (cumulated for all children) (KiB): 660440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.65
system time used= 1.41644
maximum resident set size= 660440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1084528
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= 7323
involuntary context switches= 1484
# summary of solver processes directly reported to runsolver:
# pid: 36011
# total CPU time (s): 3588.07
# total CPU user time (s): 3586.65
# total CPU system time (s): 1.41644
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6215 second user time and 33.962 second system time
The end
Begin job on nodeC010 at 2024-07-31 03:43:40
IDJOB=4464940
IDBENCH=144115
IDSOLVER=3093
FILE ID=nodeC010/4464940-1722390220
RUNJOBID= nodeC010-1722390200-35660
SLURM_JOB_ID= 8249873
Free space on /tmp= 723648 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/coloring/normalized-le450-5a-2_wcsp.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4464940-1722390220/watcher-4464940-1722390220 -o /tmp/evaluation-result-4464940-1722390220/solver-4464940-1722390220 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722390200-35660 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464940-1722390220.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6c085f75a45f8dc628de423430f6f9d1
RANDOM SEED=1433521335
nodeC010.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 : 3664.676
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.21
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 : 2851.994
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.33
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.170
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.21
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.270
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.33
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 : 3549.615
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.21
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 : 3518.301
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.33
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.289
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.21
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.124
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.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 121411800 kB
MemAvailable: 124402268 kB
Buffers: 108848 kB
Cached: 3722444 kB
SwapCached: 0 kB
Active: 318288 kB
Inactive: 9475860 kB
Active(anon): 1988 kB
Inactive(anon): 5990676 kB
Active(file): 316300 kB
Inactive(file): 3485184 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 162084 kB
Writeback: 0 kB
AnonPages: 5963196 kB
Mapped: 124116 kB
Shmem: 29504 kB
KReclaimable: 58032 kB
Slab: 133528 kB
SReclaimable: 58032 kB
SUnreclaim: 75496 kB
KernelStack: 3836 kB
PageTables: 20812 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 6315712 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7200 kB
HardwareCorrupted: 0 kB
AnonHugePages: 733184 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: 146248 kB
DirectMap2M: 8146944 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 723720 MiB
End job on nodeC010 at 2024-07-31 04:43:39