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.03 c Default LC presolving (default).
0.00/0.03 c ** Before presolving: virtualMemUsedAtLc = 44351488, getVmSize() = 44351488, SCIPgetMemUsed() = 18694273, SCIPgetMemTotal() = 22058905, SCIPgetMemExternEstim() = 11381264
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.21/0.27 c ** Estimated virtualMemUsedAtSolver = 36129450, getVmSize() = 64036864, SCIPgetMemUsed() = 22041346, SCIPgetMemTotal() = 39940402, SCIPgetMemExternEstim() = 11381264
0.21/0.27 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.21/0.27 c Original Problem :
0.21/0.27 c Problem name : instance-4464658-1722386240
0.21/0.27 c Variables : 3968 (3968 binary, 0 integer, 0 implicit integer, 0 continuous)
0.21/0.27 c Constraints : 7856
0.21/0.27 c Objective sense : minimize
0.21/0.27 c Presolved Problem :
0.21/0.27 c Variables : 3225 (3225 binary, 0 integer, 0 implicit integer, 0 continuous)
0.21/0.27 c Constraints : 6532
0.21/0.27 c Constraints : Number
0.21/0.27 c and : 41
0.21/0.27 c xor : 2
0.21/0.27 c linear : 1299
0.21/0.27 c logicor : 5190
0.21/0.27 c ** Instance transfer method used: 0
0.21/0.30 c ** ParaScipInstance copy does not increase the number of variables. **
0.30/0.34 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.30/0.34 c Nodes Active
0.30/0.34 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
33.22/33.46 c 33 2 1 1 - 0.0000 -
39.91/40.19 c 40 10 9 1 - 0.0000 -
47.27/47.53 c 48 13 12 1 - 0.0000 -
52.36/52.60 c 53 15 14 1 - 0.0000 -
176.13/176.82 c 177 16 15 1 - 0.0000 -
182.51/183.27 c 183 18 17 1 - 0.0000 -
190.08/190.81 c 191 20 19 1 - 0.0000 -
195.06/195.81 c 196 22 21 1 - 0.0000 -
201.54/202.39 c 202 27 26 1 - 0.0000 -
208.51/209.38 c 209 32 31 1 - 0.0000 -
213.79/214.68 c 215 34 33 1 - 0.0000 -
218.88/219.74 c 220 38 37 1 - 0.0000 -
225.56/226.45 c 226 42 41 1 - 0.0000 -
231.03/231.99 c 232 54 53 1 - 0.0000 -
239.12/240.06 c 240 60 59 1 - 0.0000 -
244.20/245.19 c 245 64 63 1 - 0.0000 -
250.08/251.06 c 251 89 88 1 - 0.0000 -
257.15/258.17 c 258 116 115 1 - 0.0000 -
264.41/265.47 c 265 137 136 1 - 0.0000 -
272.48/273.56 c 274 143 142 1 - 0.0000 -
279.47/280.59 c 281 180 179 1 - 0.0000 -
287.95/289.02 c 289 212 211 1 - 0.0000 -
294.03/295.12 c 295 285 284 1 - 0.0000 -
300.90/302.02 c 302 312 311 1 - 0.0000 -
309.46/310.67 c 311 363 362 1 - 0.0000 -
314.95/316.14 c 316 417 416 1 - 0.0000 -
320.62/321.87 c 322 428 427 1 - 0.0000 -
326.40/327.67 c 328 480 479 1 - 0.0000 -
334.07/335.34 c 335 496 495 1 - 0.0000 -
339.86/341.16 c 341 540 539 1 - 0.0000 -
345.63/346.92 c 347 577 576 1 - 0.0000 -
352.21/353.59 c 354 612 611 1 - 0.0000 -
358.09/359.45 c 359 708 707 1 - 0.0000 -
364.26/365.66 c 366 744 743 1 - 0.0000 -
371.75/373.11 c 373 752 751 1 - 0.0000 -
378.01/379.48 c 379 783 782 1 - 0.0000 -
383.30/384.77 c 385 803 802 1 - 0.0000 -
388.48/389.99 c 390 834 833 1 - 0.0000 -
396.36/397.83 c 398 850 849 1 - 0.0000 -
401.34/402.86 c 403 867 866 1 - 0.0000 -
406.63/408.16 c 408 915 914 1 - 0.0000 -
412.89/414.47 c 414 975 974 1 - 0.0000 -
418.28/419.89 c 420 990 989 1 - 0.0000 -
424.65/426.23 c 426 1022 1021 1 - 0.0000 -
470.10/471.85 c 472 1051 1 1 - 0.0000 -
478.87/480.67 c 481 1063 13 1 - 0.0000 -
485.26/487.03 c 487 1065 15 1 - 0.0000 -
491.03/492.88 c 493 1067 17 1 - 0.0000 -
496.91/498.75 c 499 1071 21 1 - 0.0000 -
503.39/505.24 c 505 1091 41 1 - 0.0000 -
508.57/510.40 c 510 1094 44 1 - 0.0000 -
514.55/516.44 c 516 1111 61 1 - 0.0000 -
520.52/522.49 c 522 1145 95 1 - 0.0000 -
526.31/528.28 c 528 1359 307 1 - 0.0000 -
532.28/534.22 c 534 1590 434 1 - 0.0000 -
537.86/539.81 c 540 1633 462 1 - 0.0000 -
546.23/548.24 c 548 1711 528 1 - 0.0000 -
553.71/555.78 c 556 2206 793 1 - 0.0000 -
559.19/561.27 c 561 2683 982 1 - 0.0000 -
564.26/566.34 c 566 3352 991 1 - 0.0000 -
569.24/571.38 c 571 3941 989 1 - 0.0000 -
574.32/576.46 c 576 4715 1003 1 - 0.0000 -
579.41/581.51 c 582 5538 987 1 - 0.0000 -
584.49/586.60 c 587 6300 984 1 - 0.0000 -
589.47/591.65 c 592 7038 977 1 - 0.0000 -
594.55/596.74 c 597 7783 985 1 - 0.0000 -
599.64/601.81 c 602 8517 1004 1 - 0.0000 -
604.61/606.86 c 607 9197 1003 1 - 0.0000 -
609.69/611.93 c 612 9881 998 1 - 0.0000 -
614.67/617.00 c 617 10601 1000 1 - 0.0000 -
619.76/622.05 c 622 11339 1001 1 - 0.0000 -
624.85/627.12 c 627 12100 1016 1 - 0.0000 -
629.83/632.17 c 632 12861 1014 1 - 0.0000 -
634.89/637.24 c 637 13543 1001 1 - 0.0000 -
639.98/642.32 c 642 14173 1006 1 - 0.0000 -
644.96/647.37 c 647 14853 1008 1 - 0.0000 -
650.04/652.44 c 652 15556 1007 1 - 0.0000 -
655.12/657.58 c 658 16130 1002 1 - 0.0000 -
660.20/662.65 c 663 16832 1015 1 - 0.0000 -
665.18/667.69 c 668 17547 1009 1 - 0.0000 -
670.26/672.75 c 673 18270 996 1 - 0.0000 -
675.34/677.81 c 678 18915 1001 1 - 0.0000 -
680.33/682.86 c 683 19676 1013 1 - 0.0000 -
685.40/687.91 c 688 20296 1005 1 - 0.0000 -
690.38/693.01 c 693 21109 1011 1 - 0.0000 -
695.47/698.05 c 698 21903 1033 1 - 0.0000 -
700.45/703.11 c 703 22657 1021 1 - 0.0000 -
705.53/708.17 c 708 23387 1008 1 - 0.0000 -
710.60/713.23 c 713 24109 1019 1 - 0.0000 -
715.68/718.30 c 718 24719 1022 1 - 0.0000 -
720.67/723.34 c 723 25398 1031 1 - 0.0000 -
725.74/728.44 c 728 25985 1025 1 - 0.0000 -
730.82/733.50 c 734 26675 1035 1 - 0.0000 -
735.80/738.55 c 739 27349 1039 1 - 0.0000 -
740.89/743.61 c 744 28026 1047 1 - 0.0000 -
745.87/748.66 c 749 28716 1051 1 - 0.0000 -
750.95/753.74 c 754 29429 1042 1 - 0.0000 -
755.93/758.79 c 759 30083 1038 1 - 0.0000 -
761.01/763.84 c 764 30766 1051 1 - 0.0000 -
766.10/768.90 c 769 31382 1043 1 - 0.0000 -
771.07/774.01 c 774 32045 1058 1 - 0.0000 -
776.15/779.04 c 779 32767 1061 1 - 0.0000 -
781.23/784.13 c 784 33520 1056 1 - 0.0000 -
786.22/789.19 c 789 34199 1047 1 - 0.0000 -
791.28/794.24 c 794 34910 1051 1 - 0.0000 -
796.27/799.28 c 799 35598 1063 1 - 0.0000 -
801.35/804.34 c 804 36273 1050 1 - 0.0000 -
806.43/809.41 c 809 36887 1053 1 - 0.0000 -
811.41/814.49 c 814 37619 1051 1 - 0.0000 -
816.49/819.55 c 820 38249 1047 1 - 0.0000 -
821.58/824.60 c 825 38882 1051 1 - 0.0000 -
826.56/829.67 c 830 39504 1044 1 - 0.0000 -
831.63/834.75 c 835 40203 1028 1 - 0.0000 -
836.72/839.81 c 840 40869 1030 1 - 0.0000 -
841.70/844.86 c 845 41535 1024 1 - 0.0000 -
846.78/849.92 c 850 42154 1015 1 - 0.0000 -
851.76/854.97 c 855 42805 1017 1 - 0.0000 -
856.84/860.03 c 860 43506 1033 1 - 0.0000 -
861.82/865.09 c 865 44234 1028 1 - 0.0000 -
866.90/870.16 c 870 44973 1029 1 - 0.0000 -
871.97/875.20 c 875 45619 1034 1 - 0.0000 -
876.94/880.26 c 880 46274 1039 1 - 0.0000 -
882.02/885.31 c 885 46934 1020 1 - 0.0000 -
887.00/890.38 c 890 47617 1025 1 - 0.0000 -
892.08/895.43 c 895 48287 1027 1 - 0.0000 -
897.05/900.49 c 900 49002 1043 1 - 0.0000 -
902.13/905.59 c 906 49643 1017 1 - 0.0000 -
907.21/910.63 c 911 50387 1048 1 - 0.0000 -
912.19/915.69 c 916 51053 1042 1 - 0.0000 -
917.26/920.75 c 921 51760 1044 1 - 0.0000 -
922.25/925.80 c 926 52372 1057 1 - 0.0000 -
927.32/930.84 c 931 53000 1047 1 - 0.0000 -
932.40/935.91 c 936 53622 1047 1 - 0.0000 -
937.38/941.00 c 941 54279 1071 1 - 0.0000 -
942.47/946.05 c 946 54933 1071 1 - 0.0000 -
947.45/951.11 c 951 55610 1040 1 - 0.0000 -
952.53/956.15 c 956 56238 1037 1 - 0.0000 -
957.60/961.22 c 961 56954 1041 1 - 0.0000 -
962.58/966.29 c 966 57612 1042 1 - 0.0000 -
967.66/971.34 c 971 58235 1026 1 - 0.0000 -
972.74/976.40 c 976 58917 1017 1 - 0.0000 -
977.92/981.60 c 982 59542 1011 1 - 0.0000 -
983.60/987.31 c 987 60096 1010 1 - 0.0000 -
988.59/992.37 c 992 60768 1007 1 - 0.0000 -
993.67/997.43 c 997 61354 1004 1 - 0.0000 -
998.75/1002.50 c 1002 62018 1004 1 - 0.0000 -
1003.73/1007.58 c 1008 62703 1014 1 - 0.0000 -
1008.80/1012.63 c 1013 63450 1019 1 - 0.0000 -
1013.78/1017.69 c 1018 64155 1010 1 - 0.0000 -
1018.87/1022.73 c 1023 64888 1006 1 - 0.0000 -
1023.85/1027.79 c 1028 65525 997 1 - 0.0000 -
1028.93/1032.85 c 1033 66256 1007 1 - 0.0000 -
1034.01/1037.92 c 1038 67093 1024 1 - 0.0000 -
1038.99/1042.97 c 1043 67827 1012 1 - 0.0000 -
1044.07/1048.05 c 1048 68532 1005 1 - 0.0000 -
1049.05/1053.09 c 1053 69289 1009 1 - 0.0000 -
1054.13/1058.17 c 1058 70038 1004 1 - 0.0000 -
1059.19/1063.21 c 1063 70766 1003 1 - 0.0000 -
1064.17/1068.27 c 1068 71439 1020 1 - 0.0000 -
1069.25/1073.33 c 1073 72137 1016 1 - 0.0000 -
1074.32/1078.43 c 1078 72760 1012 1 - 0.0000 -
1079.31/1083.48 c 1083 73426 1015 1 - 0.0000 -
1084.38/1088.53 c 1089 74105 1010 1 - 0.0000 -
1089.36/1093.57 c 1094 74821 1013 1 - 0.0000 -
1094.43/1098.63 c 1099 75563 1004 1 - 0.0000 -
1099.51/1103.73 c 1104 76230 1019 1 - 0.0000 -
1104.49/1108.78 c 1109 76923 1023 1 - 0.0000 -
1109.56/1113.87 c 1114 77667 1023 1 - 0.0000 -
1114.64/1118.92 c 1119 78365 1012 1 - 0.0000 -
1119.62/1123.97 c 1124 79032 1008 1 - 0.0000 -
1124.71/1129.03 c 1129 79768 1005 1 - 0.0000 -
1129.69/1134.09 c 1134 80567 1003 1 - 0.0000 -
1134.76/1139.15 c 1139 81319 1001 1 - 0.0000 -
1139.83/1144.24 c 1144 82116 1022 1 - 0.0000 -
1144.91/1149.32 c 1149 82858 1001 1 - 0.0000 -
1149.88/1154.37 c 1154 83506 996 1 - 0.0000 -
1154.96/1159.43 c 1159 84299 1006 1 - 0.0000 -
1159.94/1164.47 c 1164 84953 1020 1 - 0.0000 -
1165.02/1169.54 c 1170 85616 1002 1 - 0.0000 -
1170.00/1174.60 c 1175 86261 998 1 - 0.0000 -
1175.07/1179.68 c 1180 86975 985 1 - 0.0000 -
1180.15/1184.73 c 1185 87689 982 1 - 0.0000 -
1185.13/1189.77 c 1190 88492 988 1 - 0.0000 -
1190.20/1194.84 c 1195 89264 986 1 - 0.0000 -
1195.18/1199.90 c 1200 90014 988 1 - 0.0000 -
1200.25/1204.95 c 1205 90708 1003 1 - 0.0000 -
1205.23/1210.01 c 1210 91488 993 1 - 0.0000 -
1210.31/1215.06 c 1215 92207 1002 1 - 0.0000 -
1215.30/1220.10 c 1220 92910 1017 1 - 0.0000 -
1220.38/1225.16 c 1225 93581 1043 1 - 0.0000 -
1225.44/1230.22 c 1230 94256 1037 1 - 0.0000 -
1230.43/1235.27 c 1235 94924 1004 1 - 0.0000 -
1235.51/1240.33 c 1240 95616 1013 1 - 0.0000 -
1240.59/1245.41 c 1245 96289 1014 1 - 0.0000 -
1245.67/1250.57 c 1251 96892 1006 1 - 0.0000 -
1250.75/1255.63 c 1256 97599 1022 1 - 0.0000 -
1255.83/1260.70 c 1261 98282 1017 1 - 0.0000 -
1260.81/1265.75 c 1266 99014 1023 1 - 0.0000 -
1265.90/1270.83 c 1271 99703 1027 1 - 0.0000 -
1270.88/1275.90 c 1276 100356 1018 1 - 0.0000 -
1275.95/1280.95 c 1281 101096 1021 1 - 0.0000 -
1280.93/1286.01 c 1286 101851 1008 1 - 0.0000 -
1286.02/1291.05 c 1291 102548 1028 1 - 0.0000 -
1291.10/1296.12 c 1296 103247 1044 1 - 0.0000 -
1296.08/1301.19 c 1301 103917 1037 1 - 0.0000 -
1301.15/1306.26 c 1306 104586 1031 1 - 0.0000 -
1306.23/1311.31 c 1311 105315 1002 1 - 0.0000 -
1311.21/1316.36 c 1316 105901 999 1 - 0.0000 -
1316.29/1321.41 c 1321 106687 999 1 - 0.0000 -
1321.28/1326.45 c 1326 107398 1006 1 - 0.0000 -
1326.35/1331.51 c 1332 108029 990 1 - 0.0000 -
1331.34/1336.56 c 1337 108741 1000 1 - 0.0000 -
1336.42/1341.60 c 1342 109465 1010 1 - 0.0000 -
1341.40/1346.66 c 1347 110185 1014 1 - 0.0000 -
1346.48/1351.73 c 1352 110924 1021 1 - 0.0000 -
1351.55/1356.80 c 1357 111627 1016 1 - 0.0000 -
1356.54/1361.84 c 1362 112253 1009 1 - 0.0000 -
1361.61/1366.92 c 1367 113004 1010 1 - 0.0000 -
1366.60/1371.97 c 1372 113733 1010 1 - 0.0000 -
1371.68/1377.02 c 1377 114413 1023 1 - 0.0000 -
1376.65/1382.06 c 1382 115140 1008 1 - 0.0000 -
1381.74/1387.14 c 1387 115813 997 1 - 0.0000 -
1386.71/1392.19 c 1392 116536 998 1 - 0.0000 -
1391.78/1397.24 c 1397 117370 1013 1 - 0.0000 -
1396.86/1402.30 c 1402 118147 995 1 - 0.0000 -
1401.83/1407.37 c 1407 118841 996 1 - 0.0000 -
1406.91/1412.42 c 1412 119521 1009 1 - 0.0000 -
1411.89/1417.49 c 1417 120272 1001 1 - 0.0000 -
1416.96/1422.55 c 1423 121075 995 1 - 0.0000 -
1421.94/1427.59 c 1428 121831 995 1 - 0.0000 -
1427.01/1432.65 c 1433 122555 1024 1 - 0.0000 -
1432.10/1437.72 c 1438 123237 1022 1 - 0.0000 -
1437.07/1442.78 c 1443 123867 998 1 - 0.0000 -
1442.15/1447.84 c 1448 124503 1000 1 - 0.0000 -
1447.22/1452.90 c 1453 125206 991 1 - 0.0000 -
1452.21/1457.94 c 1458 125938 990 1 - 0.0000 -
1457.29/1463.02 c 1463 126618 992 1 - 0.0000 -
1462.26/1468.07 c 1468 127334 1001 1 - 0.0000 -
1467.35/1473.14 c 1473 128070 992 1 - 0.0000 -
1472.41/1478.23 c 1478 128766 1005 1 - 0.0000 -
1477.49/1483.32 c 1483 129397 1003 1 - 0.0000 -
1482.46/1488.37 c 1488 130068 990 1 - 0.0000 -
1487.54/1493.43 c 1493 130806 1010 1 - 0.0000 -
1492.52/1498.49 c 1498 131414 998 1 - 0.0000 -
1497.60/1503.54 c 1504 132139 992 1 - 0.0000 -
1502.58/1508.60 c 1509 132848 1010 1 - 0.0000 -
1507.65/1513.65 c 1514 133553 1000 1 - 0.0000 -
1512.73/1518.73 c 1519 134224 991 1 - 0.0000 -
1517.80/1523.82 c 1524 134904 1005 1 - 0.0000 -
1522.78/1528.87 c 1529 135588 989 1 - 0.0000 -
1527.86/1533.92 c 1534 136265 983 1 - 0.0000 -
1532.83/1538.99 c 1539 136957 984 1 - 0.0000 -
1537.92/1544.07 c 1544 137667 1004 1 - 0.0000 -
1543.00/1549.12 c 1549 138409 1019 1 - 0.0000 -
1547.97/1554.18 c 1554 139158 1011 1 - 0.0000 -
1553.04/1559.25 c 1559 139912 998 1 - 0.0000 -
1558.12/1564.30 c 1564 140630 995 1 - 0.0000 -
1563.10/1569.36 c 1569 141352 991 1 - 0.0000 -
1568.16/1574.41 c 1574 142056 979 1 - 0.0000 -
1573.15/1579.46 c 1579 142780 984 1 - 0.0000 -
1578.22/1584.52 c 1585 143526 998 1 - 0.0000 -
1583.20/1589.59 c 1590 144270 979 1 - 0.0000 -
1588.27/1594.64 c 1595 144963 988 1 - 0.0000 -
1593.35/1599.70 c 1600 145692 1005 1 - 0.0000 -
1598.33/1604.76 c 1605 146369 989 1 - 0.0000 -
1603.41/1609.80 c 1610 147085 984 1 - 0.0000 -
1608.39/1614.85 c 1615 147812 1006 1 - 0.0000 -
1613.46/1619.91 c 1620 148633 1014 1 - 0.0000 -
1618.45/1624.96 c 1625 149301 1023 1 - 0.0000 -
1623.54/1630.01 c 1630 150006 1004 1 - 0.0000 -
1628.51/1635.08 c 1635 150750 1015 1 - 0.0000 -
1633.59/1640.14 c 1640 151479 1043 1 - 0.0000 -
1638.57/1645.19 c 1645 152127 1036 1 - 0.0000 -
1643.64/1650.24 c 1650 152783 1017 1 - 0.0000 -
1648.91/1655.57 c 1656 153428 1010 1 - 0.0000 -
1653.99/1660.62 c 1661 154204 1002 1 - 0.0000 -
1658.97/1665.67 c 1666 154976 987 1 - 0.0000 -
1664.04/1670.73 c 1671 155705 992 1 - 0.0000 -
1669.12/1675.80 c 1676 156384 995 1 - 0.0000 -
1674.10/1680.86 c 1681 157202 983 1 - 0.0000 -
1679.18/1685.92 c 1686 157942 1004 1 - 0.0000 -
1684.15/1690.96 c 1691 158661 1015 1 - 0.0000 -
1689.24/1696.04 c 1696 159284 1002 1 - 0.0000 -
1694.22/1701.10 c 1701 160014 982 1 - 0.0000 -
1699.30/1706.15 c 1706 160754 972 1 - 0.0000 -
1704.37/1711.24 c 1711 161066 1053 1 - 0.0000 -
1709.35/1716.29 c 1716 161968 1104 1 - 0.0000 -
1714.43/1721.35 c 1721 162754 1115 1 - 0.0000 -
1719.51/1726.40 c 1726 163487 1140 1 - 0.0000 -
1724.50/1731.45 c 1731 164223 1121 1 - 0.0000 -
1729.58/1736.51 c 1737 164975 1114 1 - 0.0000 -
1734.55/1741.56 c 1742 165728 1090 1 - 0.0000 -
1739.64/1746.62 c 1747 166500 1095 1 - 0.0000 -
1744.62/1751.68 c 1752 167292 1084 1 - 0.0000 -
1749.70/1756.72 c 1757 168064 1066 1 - 0.0000 -
1754.69/1761.79 c 1762 168892 1069 1 - 0.0000 -
1759.77/1766.84 c 1767 169641 1141 1 - 0.0000 -
1764.75/1771.90 c 1772 170363 1162 1 - 0.0000 -
1769.82/1776.94 c 1777 171017 1155 1 - 0.0000 -
1774.81/1782.01 c 1782 171699 1135 1 - 0.0000 -
1779.88/1787.06 c 1787 172492 1159 1 - 0.0000 -
1784.96/1792.11 c 1792 173293 1167 1 - 0.0000 -
1789.95/1797.17 c 1797 174077 1169 1 - 0.0000 -
1795.02/1802.23 c 1802 174892 1164 1 - 0.0000 -
1800.00/1807.28 c 1807 175657 1144 1 - 0.0000 -
1805.09/1812.34 c 1812 176370 1147 1 - 0.0000 -
1810.16/1817.40 c 1817 177112 1151 1 - 0.0000 -
1815.14/1822.45 c 1822 177882 1151 1 - 0.0000 -
1820.22/1827.50 c 1828 178668 1160 1 - 0.0000 -
1825.20/1832.57 c 1833 179456 1154 1 - 0.0000 -
1830.29/1837.63 c 1838 180192 1152 1 - 0.0000 -
1835.37/1842.70 c 1843 180930 1155 1 - 0.0000 -
1840.35/1847.75 c 1848 181692 1163 1 - 0.0000 -
1845.33/1852.80 c 1853 182409 1159 1 - 0.0000 -
1850.41/1857.86 c 1858 183193 1173 1 - 0.0000 -
1855.48/1862.92 c 1863 183954 1167 1 - 0.0000 -
1860.47/1867.97 c 1868 184731 1179 1 - 0.0000 -
1865.55/1873.02 c 1873 185438 1168 1 - 0.0000 -
1870.53/1878.06 c 1878 186183 1173 1 - 0.0000 -
1875.62/1883.13 c 1883 186926 1167 1 - 0.0000 -
1880.60/1888.19 c 1888 187667 1181 1 - 0.0000 -
1885.66/1893.23 c 1893 188299 1183 1 - 0.0000 -
1890.64/1898.29 c 1898 189011 1182 1 - 0.0000 -
1895.73/1903.35 c 1903 189743 1161 1 - 0.0000 -
1900.81/1908.40 c 1908 190476 1164 1 - 0.0000 -
1905.78/1913.46 c 1913 191198 1165 1 - 0.0000 -
1910.86/1918.51 c 1919 191945 1158 1 - 0.0000 -
1915.84/1923.57 c 1924 192661 1166 1 - 0.0000 -
1920.91/1928.62 c 1929 193375 1178 1 - 0.0000 -
1925.89/1933.68 c 1934 194024 1182 1 - 0.0000 -
1930.97/1938.77 c 1939 194743 1180 1 - 0.0000 -
1936.05/1943.84 c 1944 195479 1162 1 - 0.0000 -
1941.03/1948.89 c 1949 196240 1186 1 - 0.0000 -
1946.10/1953.95 c 1954 196946 1196 1 - 0.0000 -
1951.19/1959.02 c 1959 197719 1196 1 - 0.0000 -
1956.17/1964.09 c 1964 198525 1189 1 - 0.0000 -
1961.25/1969.14 c 1969 199262 1193 1 - 0.0000 -
1966.32/1974.20 c 1974 200068 1189 1 - 0.0000 -
1971.29/1979.24 c 1979 200832 1191 1 - 0.0000 -
1976.37/1984.30 c 1984 201555 1189 1 - 0.0000 -
1981.35/1989.35 c 1989 202248 1187 1 - 0.0000 -
1986.33/1994.39 c 1994 203021 1204 1 - 0.0000 -
1991.50/1999.51 c 2000 203746 1189 1 - 0.0000 -
1996.58/2004.62 c 2005 204504 1213 1 - 0.0000 -
2001.56/2009.66 c 2010 205251 1216 1 - 0.0000 -
2006.64/2014.72 c 2015 205973 1224 1 - 0.0000 -
2011.61/2019.79 c 2020 206672 1230 1 - 0.0000 -
2016.70/2024.85 c 2025 207361 1224 1 - 0.0000 -
2021.77/2029.91 c 2030 208033 1230 1 - 0.0000 -
2026.76/2034.96 c 2035 208753 1226 1 - 0.0000 -
2031.83/2040.01 c 2040 209503 1227 1 - 0.0000 -
2036.81/2045.05 c 2045 210269 1237 1 - 0.0000 -
2041.90/2050.11 c 2050 210986 1233 1 - 0.0000 -
2046.87/2055.17 c 2055 211724 1275 1 - 0.0000 -
2051.94/2060.23 c 2060 212426 1261 1 - 0.0000 -
2057.03/2065.30 c 2065 213090 1267 1 - 0.0000 -
2062.01/2070.36 c 2070 213726 1268 1 - 0.0000 -
2067.09/2075.44 c 2075 214390 1251 1 - 0.0000 -
2072.08/2080.48 c 2080 215124 1266 1 - 0.0000 -
2077.16/2085.55 c 2086 215772 1251 1 - 0.0000 -
2082.14/2090.59 c 2091 216437 1249 1 - 0.0000 -
2087.22/2095.66 c 2096 217070 1248 1 - 0.0000 -
2092.30/2100.73 c 2101 217710 1263 1 - 0.0000 -
2097.29/2105.78 c 2106 218391 1273 1 - 0.0000 -
2102.37/2110.82 c 2111 219064 1256 1 - 0.0000 -
2107.35/2115.88 c 2116 219755 1255 1 - 0.0000 -
2112.43/2120.93 c 2121 220372 1244 1 - 0.0000 -
2117.41/2125.99 c 2126 221061 1274 1 - 0.0000 -
2122.50/2131.06 c 2131 221757 1258 1 - 0.0000 -
2127.59/2136.13 c 2136 222430 1259 1 - 0.0000 -
2132.57/2141.18 c 2141 223121 1267 1 - 0.0000 -
2137.63/2146.24 c 2146 223804 1266 1 - 0.0000 -
2142.62/2151.29 c 2151 224581 1269 1 - 0.0000 -
2147.69/2156.35 c 2156 225292 1271 1 - 0.0000 -
2152.77/2161.40 c 2161 226085 1277 1 - 0.0000 -
2157.74/2166.45 c 2166 226858 1290 1 - 0.0000 -
2162.83/2171.53 c 2172 227619 1268 1 - 0.0000 -
2167.91/2176.60 c 2177 228306 1268 1 - 0.0000 -
2172.89/2181.65 c 2182 229014 1270 1 - 0.0000 -
2177.97/2186.71 c 2187 229742 1267 1 - 0.0000 -
2182.94/2191.78 c 2192 230472 1266 1 - 0.0000 -
2188.02/2196.84 c 2197 231223 1279 1 - 0.0000 -
2192.99/2201.88 c 2202 231944 1273 1 - 0.0000 -
2198.07/2206.94 c 2207 232609 1275 1 - 0.0000 -
2203.16/2212.01 c 2212 233295 1257 1 - 0.0000 -
2208.14/2217.06 c 2217 233962 1254 1 - 0.0000 -
2213.22/2222.13 c 2222 234738 1258 1 - 0.0000 -
2218.19/2227.18 c 2227 235483 1252 1 - 0.0000 -
2223.26/2232.22 c 2232 236254 1251 1 - 0.0000 -
2228.24/2237.29 c 2237 236967 1255 1 - 0.0000 -
2233.32/2242.36 c 2242 237653 1250 1 - 0.0000 -
2238.40/2247.43 c 2247 238370 1235 1 - 0.0000 -
2243.48/2252.53 c 2253 239150 1248 1 - 0.0000 -
2248.45/2257.60 c 2258 239812 1253 1 - 0.0000 -
2253.53/2262.66 c 2263 240462 1243 1 - 0.0000 -
2258.61/2267.73 c 2268 241220 1237 1 - 0.0000 -
2263.59/2272.77 c 2273 241920 1251 1 - 0.0000 -
2268.67/2277.83 c 2278 242642 1256 1 - 0.0000 -
2273.64/2282.89 c 2283 243397 1245 1 - 0.0000 -
2278.73/2287.94 c 2288 244150 1250 1 - 0.0000 -
2283.70/2292.99 c 2293 244748 1252 1 - 0.0000 -
2288.79/2298.03 c 2298 245448 1252 1 - 0.0000 -
2293.77/2303.09 c 2303 246213 1250 1 - 0.0000 -
2298.86/2308.14 c 2308 246851 1268 1 - 0.0000 -
2303.93/2313.20 c 2313 247527 1250 1 - 0.0000 -
2308.91/2318.25 c 2318 248181 1250 1 - 0.0000 -
2313.99/2323.32 c 2323 248870 1287 1 - 0.0000 -
2318.97/2328.37 c 2328 249553 1270 1 - 0.0000 -
2324.05/2333.43 c 2333 250291 1262 1 - 0.0000 -
2329.03/2338.48 c 2338 250979 1263 1 - 0.0000 -
2334.11/2343.56 c 2344 251692 1255 1 - 0.0000 -
2339.19/2348.60 c 2349 252481 1258 1 - 0.0000 -
2344.18/2353.66 c 2354 253278 1249 1 - 0.0000 -
2349.26/2358.70 c 2359 254142 1273 1 - 0.0000 -
2354.24/2363.75 c 2364 255034 1289 1 - 0.0000 -
2359.33/2368.82 c 2369 255952 1255 1 - 0.0000 -
2364.31/2373.88 c 2374 256713 1267 1 - 0.0000 -
2369.39/2378.93 c 2379 257426 1256 1 - 0.0000 -
2374.37/2383.98 c 2384 258108 1262 1 - 0.0000 -
2379.46/2389.03 c 2389 258957 1265 1 - 0.0000 -
2384.44/2394.09 c 2394 259748 1267 1 - 0.0000 -
2389.52/2399.14 c 2399 260569 1265 1 - 0.0000 -
2394.51/2404.18 c 2404 261417 1260 1 - 0.0000 -
2399.58/2409.23 c 2409 262149 1262 1 - 0.0000 -
2404.66/2414.30 c 2414 262880 1248 1 - 0.0000 -
2409.64/2419.34 c 2419 263662 1264 1 - 0.0000 -
2414.62/2424.39 c 2424 264457 1254 1 - 0.0000 -
2419.71/2429.45 c 2429 265366 1251 1 - 0.0000 -
2424.78/2434.50 c 2435 266146 1254 1 - 0.0000 -
2429.77/2439.55 c 2440 266926 1287 1 - 0.0000 -
2434.85/2444.60 c 2445 267783 1316 1 - 0.0000 -
2439.83/2449.65 c 2450 268540 1302 1 - 0.0000 -
2444.91/2454.73 c 2455 269335 1277 1 - 0.0000 -
2449.89/2459.78 c 2460 270134 1268 1 - 0.0000 -
2454.97/2464.84 c 2465 270885 1269 1 - 0.0000 -
2459.96/2469.88 c 2470 271658 1268 1 - 0.0000 -
2465.04/2474.94 c 2475 272514 1262 1 - 0.0000 -
2470.02/2479.99 c 2480 273360 1283 1 - 0.0000 -
2475.10/2485.04 c 2485 274178 1282 1 - 0.0000 -
2480.08/2490.10 c 2490 275008 1277 1 - 0.0000 -
2485.17/2495.15 c 2495 275817 1273 1 - 0.0000 -
2490.15/2500.20 c 2500 276636 1259 1 - 0.0000 -
2495.22/2505.24 c 2505 277464 1270 1 - 0.0000 -
2500.30/2510.30 c 2510 278374 1276 1 - 0.0000 -
2505.28/2515.34 c 2515 279202 1265 1 - 0.0000 -
2510.36/2520.40 c 2520 279992 1272 1 - 0.0000 -
2515.34/2525.45 c 2525 280789 1271 1 - 0.0000 -
2520.43/2530.50 c 2531 281702 1264 1 - 0.0000 -
2525.41/2535.55 c 2536 282566 1263 1 - 0.0000 -
2530.49/2540.64 c 2541 283315 1262 1 - 0.0000 -
2535.48/2545.69 c 2546 284139 1270 1 - 0.0000 -
2540.55/2550.73 c 2551 284956 1269 1 - 0.0000 -
2545.53/2555.78 c 2556 285819 1263 1 - 0.0000 -
2550.61/2560.83 c 2561 286636 1277 1 - 0.0000 -
2555.70/2565.91 c 2566 287465 1270 1 - 0.0000 -
2560.68/2570.96 c 2571 288182 1268 1 - 0.0000 -
2565.65/2576.01 c 2576 288930 1268 1 - 0.0000 -
2570.74/2581.05 c 2581 289703 1278 1 - 0.0000 -
2575.73/2586.11 c 2586 290433 1281 1 - 0.0000 -
2580.81/2591.15 c 2591 291068 1270 1 - 0.0000 -
2585.88/2596.22 c 2596 291789 1269 1 - 0.0000 -
2590.86/2601.28 c 2601 292527 1267 1 - 0.0000 -
2595.94/2606.34 c 2606 293298 1274 1 - 0.0000 -
2601.02/2611.40 c 2611 294139 1266 1 - 0.0000 -
2606.01/2616.44 c 2616 294923 1267 1 - 0.0000 -
2611.09/2621.50 c 2622 295690 1270 1 - 0.0000 -
2616.06/2626.56 c 2627 296518 1271 1 - 0.0000 -
2621.15/2631.62 c 2632 297318 1243 1 - 0.0000 -
2626.14/2636.68 c 2637 298083 1245 1 - 0.0000 -
2631.21/2641.73 c 2642 298789 1256 1 - 0.0000 -
2636.30/2646.80 c 2647 299504 1250 1 - 0.0000 -
2641.27/2651.86 c 2652 300184 1235 1 - 0.0000 -
2646.35/2656.91 c 2657 300939 1250 1 - 0.0000 -
2651.34/2661.96 c 2662 301783 1231 1 - 0.0000 -
2656.42/2667.02 c 2667 302550 1207 1 - 0.0000 -
2661.40/2672.08 c 2672 303279 1225 1 - 0.0000 -
2666.48/2677.13 c 2677 304040 1217 1 - 0.0000 -
2671.46/2682.18 c 2682 304734 1211 1 - 0.0000 -
2676.54/2687.24 c 2687 305460 1219 1 - 0.0000 -
2681.52/2692.28 c 2692 306223 1214 1 - 0.0000 -
2686.60/2697.35 c 2697 307011 1279 1 - 0.0000 -
2691.68/2702.40 c 2702 307726 1260 1 - 0.0000 -
2696.67/2707.46 c 2707 308483 1329 1 - 0.0000 -
2701.75/2712.51 c 2713 309439 1273 1 - 0.0000 -
2706.73/2717.55 c 2718 310258 1231 1 - 0.0000 -
2711.81/2722.60 c 2723 311155 1245 1 - 0.0000 -
2716.80/2727.67 c 2728 311902 1256 1 - 0.0000 -
2721.88/2732.72 c 2733 312619 1264 1 - 0.0000 -
2726.86/2737.78 c 2738 313420 1292 1 - 0.0000 -
2731.94/2742.83 c 2743 314179 1335 1 - 0.0000 -
2736.92/2747.89 c 2748 314855 1341 1 - 0.0000 -
2742.01/2752.96 c 2753 315612 1321 1 - 0.0000 -
2747.09/2758.02 c 2758 316391 1298 1 - 0.0000 -
2752.07/2763.11 c 2763 317162 1279 1 - 0.0000 -
2757.16/2768.16 c 2768 317919 1280 1 - 0.0000 -
2762.22/2773.22 c 2773 318688 1287 1 - 0.0000 -
2767.20/2778.28 c 2778 319446 1282 1 - 0.0000 -
2772.28/2783.35 c 2783 320247 1299 1 - 0.0000 -
2777.36/2788.41 c 2788 320945 1283 1 - 0.0000 -
2782.35/2793.46 c 2793 321671 1254 1 - 0.0000 -
2787.43/2798.51 c 2799 322428 1253 1 - 0.0000 -
2792.42/2803.58 c 2804 323217 1251 1 - 0.0000 -
2797.60/2808.70 c 2809 323960 1245 1 - 0.0000 -
2802.58/2813.76 c 2814 324699 1245 1 - 0.0000 -
2807.65/2818.81 c 2819 325448 1239 1 - 0.0000 -
2812.64/2823.86 c 2824 326192 1249 1 - 0.0000 -
2817.72/2828.92 c 2829 326979 1255 1 - 0.0000 -
2822.70/2833.98 c 2834 327746 1266 1 - 0.0000 -
2827.80/2839.02 c 2839 328501 1259 1 - 0.0000 -
2832.77/2844.08 c 2844 329294 1266 1 - 0.0000 -
2837.86/2849.13 c 2849 330014 1258 1 - 0.0000 -
2842.84/2854.19 c 2854 330802 1253 1 - 0.0000 -
2847.90/2859.25 c 2859 331560 1250 1 - 0.0000 -
2852.99/2864.31 c 2864 332283 1253 1 - 0.0000 -
2857.98/2869.36 c 2869 332970 1251 1 - 0.0000 -
2863.05/2874.42 c 2874 333700 1259 1 - 0.0000 -
2868.03/2879.48 c 2879 334442 1252 1 - 0.0000 -
2873.12/2884.55 c 2885 335262 1259 1 - 0.0000 -
2878.20/2889.63 c 2890 336035 1256 1 - 0.0000 -
2883.18/2894.69 c 2895 336837 1272 1 - 0.0000 -
2888.27/2899.76 c 2900 337682 1272 1 - 0.0000 -
2893.34/2904.81 c 2905 338408 1261 1 - 0.0000 -
2898.32/2909.85 c 2910 339174 1273 1 - 0.0000 -
2903.41/2914.94 c 2915 339816 1281 1 - 0.0000 -
2908.50/2920.01 c 2920 340596 1283 1 - 0.0000 -
2913.48/2925.05 c 2925 341380 1288 1 - 0.0000 -
2918.56/2930.12 c 2930 342168 1269 1 - 0.0000 -
2923.54/2935.18 c 2935 343110 1313 1 - 0.0000 -
2928.61/2940.25 c 2940 343876 1324 1 - 0.0000 -
2933.70/2945.30 c 2945 344613 1330 1 - 0.0000 -
2938.68/2950.36 c 2950 345307 1349 1 - 0.0000 -
2943.76/2955.43 c 2955 346103 1334 1 - 0.0000 -
2948.74/2960.47 c 2960 346912 1337 1 - 0.0000 -
2953.82/2965.53 c 2966 347753 1330 1 - 0.0000 -
2958.81/2970.59 c 2971 348557 1329 1 - 0.0000 -
2963.89/2975.65 c 2976 349358 1339 1 - 0.0000 -
2968.97/2980.70 c 2981 350146 1317 1 - 0.0000 -
2973.95/2985.75 c 2986 350929 1342 1 - 0.0000 -
2978.93/2990.79 c 2991 351730 1330 1 - 0.0000 -
2984.01/2995.88 c 2996 352541 1334 1 - 0.0000 -
2989.10/3000.94 c 3001 353341 1334 1 - 0.0000 -
2994.08/3006.00 c 3006 354174 1334 1 - 0.0000 -
2999.18/3011.06 c 3011 354989 1333 1 - 0.0000 -
3004.26/3016.11 c 3016 355886 1338 1 - 0.0000 -
3009.23/3021.16 c 3021 356677 1334 1 - 0.0000 -
3014.30/3026.21 c 3026 357441 1330 1 - 0.0000 -
3019.29/3031.26 c 3031 358299 1348 1 - 0.0000 -
3024.37/3036.33 c 3036 359080 1347 1 - 0.0000 -
3029.35/3041.38 c 3041 359890 1329 1 - 0.0000 -
3034.43/3046.44 c 3046 360747 1338 1 - 0.0000 -
3039.52/3051.50 c 3052 361518 1357 1 - 0.0000 -
3044.49/3056.59 c 3057 362309 1353 1 - 0.0000 -
3049.58/3061.63 c 3062 363169 1342 1 - 0.0000 -
3054.66/3066.71 c 3067 363928 1344 1 - 0.0000 -
3059.64/3071.76 c 3072 364734 1335 1 - 0.0000 -
3064.72/3076.81 c 3077 365583 1334 1 - 0.0000 -
3069.70/3081.87 c 3082 366326 1324 1 - 0.0000 -
3074.79/3086.92 c 3087 367091 1343 1 - 0.0000 -
3079.77/3091.98 c 3092 367945 1333 1 - 0.0000 -
3084.85/3097.03 c 3097 368819 1350 1 - 0.0000 -
3089.83/3102.08 c 3102 369564 1356 1 - 0.0000 -
3094.92/3107.14 c 3107 370349 1354 1 - 0.0000 -
3099.90/3112.18 c 3112 371149 1346 1 - 0.0000 -
3104.97/3117.26 c 3117 371985 1347 1 - 0.0000 -
3110.05/3122.32 c 3122 372727 1348 1 - 0.0000 -
3115.03/3127.38 c 3127 373510 1352 1 - 0.0000 -
3120.11/3132.44 c 3132 374289 1346 1 - 0.0000 -
3125.09/3137.49 c 3138 375018 1348 1 - 0.0000 -
3130.18/3142.55 c 3143 375807 1353 1 - 0.0000 -
3135.26/3147.60 c 3148 376641 1363 1 - 0.0000 -
3140.24/3152.65 c 3153 377429 1360 1 - 0.0000 -
3145.32/3157.71 c 3158 378261 1336 1 - 0.0000 -
3150.31/3162.78 c 3163 379021 1341 1 - 0.0000 -
3155.38/3167.84 c 3168 379763 1328 1 - 0.0000 -
3160.36/3172.89 c 3173 380468 1336 1 - 0.0000 -
3165.44/3177.94 c 3178 381239 1333 1 - 0.0000 -
3170.42/3182.99 c 3183 382046 1341 1 - 0.0000 -
3175.51/3188.06 c 3188 382781 1333 1 - 0.0000 -
3180.49/3193.11 c 3193 383662 1332 1 - 0.0000 -
3185.58/3198.16 c 3198 384625 1346 1 - 0.0000 -
3190.65/3203.22 c 3203 385544 1368 1 - 0.0000 -
3195.63/3208.27 c 3208 386353 1344 1 - 0.0000 -
3200.70/3213.33 c 3213 387255 1346 1 - 0.0000 -
3205.68/3218.38 c 3218 388116 1347 1 - 0.0000 -
3210.77/3223.44 c 3223 389064 1344 1 - 0.0000 -
3215.75/3228.49 c 3228 389978 1333 1 - 0.0000 -
3220.83/3233.59 c 3234 390706 1342 1 - 0.0000 -
3225.91/3238.65 c 3239 391574 1343 1 - 0.0000 -
3230.99/3243.72 c 3244 392366 1335 1 - 0.0000 -
3235.97/3248.76 c 3249 393176 1346 1 - 0.0000 -
3241.05/3253.83 c 3254 394032 1334 1 - 0.0000 -
3246.03/3258.89 c 3259 394870 1334 1 - 0.0000 -
3251.11/3263.93 c 3264 395741 1337 1 - 0.0000 -
3256.09/3268.99 c 3269 396521 1326 1 - 0.0000 -
3261.18/3274.05 c 3274 397390 1337 1 - 0.0000 -
3266.16/3279.10 c 3279 398246 1330 1 - 0.0000 -
3271.24/3284.14 c 3284 399081 1335 1 - 0.0000 -
3276.31/3289.21 c 3289 400030 1341 1 - 0.0000 -
3281.29/3294.27 c 3294 400779 1350 1 - 0.0000 -
3286.37/3299.35 c 3299 401536 1347 1 - 0.0000 -
3291.45/3304.40 c 3304 402383 1352 1 - 0.0000 -
3296.43/3309.47 c 3309 403169 1380 1 - 0.0000 -
3301.51/3314.54 c 3315 403992 1378 1 - 0.0000 -
3306.49/3319.59 c 3320 404796 1359 1 - 0.0000 -
3311.57/3324.65 c 3325 405618 1375 1 - 0.0000 -
3316.65/3329.76 c 3330 406311 1363 1 - 0.0000 -
3321.73/3334.81 c 3335 407144 1378 1 - 0.0000 -
3326.71/3339.87 c 3340 407882 1381 1 - 0.0000 -
3331.80/3344.92 c 3345 408788 1382 1 - 0.0000 -
3336.77/3349.97 c 3350 409499 1353 1 - 0.0000 -
3341.86/3355.04 c 3355 410377 1366 1 - 0.0000 -
3346.84/3360.09 c 3360 411294 1344 1 - 0.0000 -
3351.92/3365.18 c 3365 412122 1344 1 - 0.0000 -
3356.99/3370.24 c 3370 412976 1340 1 - 0.0000 -
3362.08/3375.30 c 3375 413841 1347 1 - 0.0000 -
3367.06/3380.36 c 3380 414697 1347 1 - 0.0000 -
3372.14/3385.41 c 3385 415650 1339 1 - 0.0000 -
3377.11/3390.45 c 3390 416556 1357 1 - 0.0000 -
3382.19/3395.51 c 3396 417384 1369 1 - 0.0000 -
3387.18/3400.56 c 3401 418302 1365 1 - 0.0000 -
3392.26/3405.62 c 3406 419165 1366 1 - 0.0000 -
3397.23/3410.66 c 3411 420039 1368 1 - 0.0000 -
3402.31/3415.73 c 3416 420950 1372 1 - 0.0000 -
3407.30/3420.78 c 3421 421806 1390 1 - 0.0000 -
3412.38/3425.83 c 3426 422628 1381 1 - 0.0000 -
3417.46/3430.90 c 3431 423495 1387 1 - 0.0000 -
3422.44/3435.97 c 3436 424322 1376 1 - 0.0000 -
3427.52/3441.04 c 3441 425123 1376 1 - 0.0000 -
3432.51/3446.08 c 3446 426043 1351 1 - 0.0000 -
3437.59/3451.15 c 3451 426908 1348 1 - 0.0000 -
3442.57/3456.19 c 3456 427711 1334 1 - 0.0000 -
3447.64/3461.25 c 3461 428596 1336 1 - 0.0000 -
3452.72/3466.33 c 3466 429332 1320 1 - 0.0000 -
3457.70/3471.39 c 3471 430167 1321 1 - 0.0000 -
3462.78/3476.44 c 3476 431074 1317 1 - 0.0000 -
3467.86/3481.51 c 3482 431961 1329 1 - 0.0000 -
3472.84/3486.56 c 3487 432789 1318 1 - 0.0000 -
3477.92/3491.61 c 3492 433626 1334 1 - 0.0000 -
3482.90/3496.67 c 3497 434502 1312 1 - 0.0000 -
3487.98/3501.73 c 3502 435338 1309 1 - 0.0000 -
3492.96/3506.77 c 3507 436129 1301 1 - 0.0000 -
3498.04/3511.82 c 3512 437004 1301 1 - 0.0000 -
3503.02/3516.87 c 3517 437838 1297 1 - 0.0000 -
3508.10/3521.93 c 3522 438615 1310 1 - 0.0000 -
3513.08/3526.99 c 3527 439551 1303 1 - 0.0000 -
3518.17/3532.05 c 3532 440364 1285 1 - 0.0000 -
3523.15/3537.09 c 3537 441170 1295 1 - 0.0000 -
3528.24/3542.15 c 3542 441986 1302 1 - 0.0000 -
3533.31/3547.20 c 3547 442880 1274 1 - 0.0000 -
3538.29/3552.25 c 3552 443678 1277 1 - 0.0000 -
3543.36/3557.31 c 3557 444490 1265 1 - 0.0000 -
3548.34/3562.37 c 3562 445280 1264 1 - 0.0000 -
3553.42/3567.43 c 3567 446031 1265 1 - 0.0000 -
3558.41/3572.48 c 3572 446769 1264 1 - 0.0000 -
3563.49/3577.54 c 3578 447518 1261 1 - 0.0000 -
3568.57/3582.60 c 3583 448402 1235 1 - 0.0000 -
3573.55/3587.65 c 3588 449252 1239 1 - 0.0000 -
3578.62/3592.70 c 3593 450089 1240 1 - 0.0000 -
3583.60/3597.76 c 3598 451061 1249 1 - 0.0000 -
3583.91/3598.04 c SCIP Status : c solving was interrupted [hard time limit reached]
3583.91/3598.04 c Total Time : 3598.0500
3583.91/3598.04 c solving : 3598.0500
3583.91/3598.04 c presolving : 0.2419 (included in solving)
3583.91/3598.04 c B&B Tree :
3583.91/3598.04 c nodes (total) : 1
3583.91/3598.04 c Solution :
3583.91/3598.04 c Solutions found : 0
3583.91/3598.04 c Primal Bound : -
3583.91/3598.04 c Dual Bound : +0.00000000000000e+00
3583.91/3598.04 c Gap : -
3583.91/3598.07 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: 64096 MiB (62703 MiB free)
memory of node 1: 64473 MiB (56381 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464658-1722386240/watcher-4464658-1722386240 -o /tmp/evaluation-result-4464658-1722386240/solver-4464658-1722386240 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722378594-28205 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464658-1722386240.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Current StackSize limit: 8192 KiB
solver pid=32988, runsolver pid=32985
[startup+0.100103 s]*
/proc/loadavg: 4.34 4.15 4.11 5/244 32989
/proc/meminfo: memFree=121912740/131655788 swapFree=131071216/131071996
[pid=32988] ppid=32985 vsize=51968 memory=41060 CPUtime=0.1 cores=0,2
/proc/32988/stat : 32988 (fscip) R 32985 32988 28195 0 -1 4194304 8974 0 0 0 9 1 0 0 20 0 1 0 4994632 53215232 10265 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
/proc/32988/statm: 12992 10265 2726 3035 0 9388 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 51968 KiB
Current children cumulated memory: 41060 KiB
[startup+0.213039 s]*
/proc/loadavg: 4.34 4.15 4.11 5/244 32989
/proc/meminfo: memFree=121909528/131655788 swapFree=131071216/131071996
[pid=32988] ppid=32985 vsize=54116 memory=43232 CPUtime=0.21 cores=0,2
/proc/32988/stat : 32988 (fscip) R 32985 32988 28195 0 -1 4194304 9436 0 0 0 20 1 0 0 20 0 1 0 4994632 55414784 10742 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
/proc/32988/statm: 13529 10742 2742 3035 0 9925 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 54116 KiB
Current children cumulated memory: 43232 KiB
[startup+0.313214 s]*
/proc/loadavg: 4.34 4.15 4.11 5/245 32990
/proc/meminfo: memFree=121896488/131655788 swapFree=131071216/131071996
[pid=32988] ppid=32985 vsize=139548 memory=55816 CPUtime=0.3 cores=0,2
/proc/32988/stat : 32988 (fscip) S 32985 32988 28195 0 -1 1077936128 14583 0 0 0 28 2 0 0 20 0 2 0 4994632 142897152 13954 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
/proc/32988/statm: 34887 13954 2774 3035 0 16297 0
[pid=32988/tid=32990] ppid=32985 vsize=139548 memory=-5155630180557548421 CPUtime=0 cores=0,2
/proc/32988/task/32990/stat : 32990 (fscip) R 32985 32988 28195 0 -1 4194368 1381 0 0 0 0 0 0 0 20 0 2 0 4994660 142897152 13954 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 139548 KiB
Current children cumulated memory: 55816 KiB
[startup+0.701214 s]
/proc/loadavg: 4.34 4.15 4.11 5/246 32991
/proc/meminfo: memFree=121872716/131655788 swapFree=131071216/131071996
[pid=32988] ppid=32985 vsize=150828 memory=80376 CPUtime=0.65 cores=0,2
/proc/32988/stat : 32988 (fscip) S 32985 32988 28195 0 -1 1077936128 20718 0 0 0 61 4 0 0 20 0 3 0 4994632 154447872 20094 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
/proc/32988/statm: 37707 20094 2790 3035 0 24808 0
[pid=32988/tid=32990] ppid=32985 vsize=150828 memory=1972 CPUtime=0.34 cores=0,2
/proc/32988/task/32990/stat : 32990 (fscip) R 32985 32988 28195 0 -1 4194368 7513 0 0 0 33 1 0 0 20 0 3 0 4994660 154447872 20094 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
[pid=32988/tid=32991] ppid=32985 vsize=150828 memory=2369 CPUtime=0 cores=0,2
/proc/32988/task/32991/stat : 32991 (fscip) S 32985 32988 28195 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4994667 154447872 20094 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 150828 KiB
Current children cumulated memory: 80376 KiB
[startup+1.50029 s]
/proc/loadavg: 4.34 4.15 4.11 5/246 32991
/proc/meminfo: memFree=121855028/131655788 swapFree=131071216/131071996
[pid=32988] ppid=32985 vsize=220476 memory=129912 CPUtime=1.44 cores=0,2
/proc/32988/stat : 32988 (fscip) S 32985 32988 28195 0 -1 1077936128 36413 0 0 0 137 7 0 0 20 0 3 0 4994632 225767424 32478 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
/proc/32988/statm: 55119 32478 2966 3035 0 37585 0
[pid=32988/tid=32990] ppid=32985 vsize=220476 memory=2369 CPUtime=1.14 cores=0,2
/proc/32988/task/32990/stat : 32990 (fscip) R 32985 32988 28195 0 -1 4194368 23208 0 0 0 109 5 0 0 20 0 3 0 4994660 225767424 32478 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
[pid=32988/tid=32991] ppid=32985 vsize=220476 memory=0 CPUtime=0 cores=0,2
/proc/32988/task/32991/stat : 32991 (fscip) S 32985 32988 28195 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4994667 225767424 32478 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 220476 KiB
Current children cumulated memory: 129912 KiB
[startup+3.11288 s]
/proc/loadavg: 4.34 4.15 4.11 5/246 32993
/proc/meminfo: memFree=121826156/131655788 swapFree=131071216/131071996
[pid=32988] ppid=32985 vsize=217392 memory=124320 CPUtime=3.05 cores=0,2
/proc/32988/stat : 32988 (fscip) S 32985 32988 28195 0 -1 1077936128 44526 0 0 0 297 8 0 0 20 0 3 0 4994632 222609408 31080 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
/proc/32988/statm: 54348 31080 2966 3035 0 36814 0
[pid=32988/tid=32990] ppid=32985 vsize=217392 memory=0 CPUtime=2.74 cores=0,2
/proc/32988/task/32990/stat : 32990 (fscip) R 32985 32988 28195 0 -1 4194368 31319 0 0 0 269 5 0 0 20 0 3 0 4994660 222609408 31080 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
[pid=32988/tid=32991] ppid=32985 vsize=217392 memory=279280248620672 CPUtime=0 cores=0,2
/proc/32988/task/32991/stat : 32991 (fscip) S 32985 32988 28195 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4994667 222609408 31080 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 217392 KiB
Current children cumulated memory: 124320 KiB
[startup+6.30035 s]
/proc/loadavg: 4.39 4.16 4.11 6/246 32993
/proc/meminfo: memFree=121792016/131655788 swapFree=131071216/131071996
[pid=32988] ppid=32985 vsize=217392 memory=124580 CPUtime=6.22 cores=0,2
/proc/32988/stat : 32988 (fscip) S 32985 32988 28195 0 -1 1077936128 46793 0 0 0 614 8 0 0 20 0 3 0 4994632 222609408 31145 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
/proc/32988/statm: 54348 31145 2966 3035 0 36814 0
[pid=32988/tid=32990] ppid=32985 vsize=217392 memory=6935649255759569472 CPUtime=5.92 cores=0,2
/proc/32988/task/32990/stat : 32990 (fscip) R 32985 32988 28195 0 -1 4194368 33586 0 0 0 586 6 0 0 20 0 3 0 4994660 222609408 31145 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
[pid=32988/tid=32991] ppid=32985 vsize=217392 memory=0 CPUtime=0 cores=0,2
/proc/32988/task/32991/stat : 32991 (fscip) S 32985 32988 28195 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4994667 222609408 31145 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 217392 KiB
Current children cumulated memory: 124580 KiB
[startup+12.7003 s]
/proc/loadavg: 4.44 4.18 4.12 5/246 32994
/proc/meminfo: memFree=121782644/131655788 swapFree=131071216/131071996
[pid=32988] ppid=32985 vsize=217392 memory=125956 CPUtime=12.59 cores=0,2
/proc/32988/stat : 32988 (fscip) S 32985 32988 28195 0 -1 1077936128 72865 0 0 0 1250 9 0 0 20 0 3 0 4994632 222609408 31489 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
/proc/32988/statm: 54348 31489 2966 3035 0 36814 0
[pid=32988/tid=32990] ppid=32985 vsize=217392 memory=124580 CPUtime=12.3 cores=0,2
/proc/32988/task/32990/stat : 32990 (fscip) R 32985 32988 28195 0 -1 4194368 59642 0 0 0 1223 7 0 0 20 0 3 0 4994660 222609408 31489 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
[pid=32988/tid=32991] ppid=32985 vsize=217392 memory=11516 CPUtime=0 cores=0,2
/proc/32988/task/32991/stat : 32991 (fscip) S 32985 32988 28195 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 4994667 222609408 31489 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 217392 KiB
Current children cumulated memory: 125956 KiB
[startup+25.5004 s]
/proc/loadavg: 4.65 4.24 4.14 5/246 32996
/proc/meminfo: memFree=121765260/131655788 swapFree=131071216/131071996
[pid=32988] ppid=32985 vsize=217392 memory=127576 CPUtime=25.35 cores=0,2
/proc/32988/stat : 32988 (fscip) S 32985 32988 28195 0 -1 1077936128 96017 0 0 0 2524 11 0 0 20 0 3 0 4994632 222609408 31894 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
/proc/32988/statm: 54348 31894 2966 3035 0 37165 0
[pid=32988/tid=32990] ppid=32985 vsize=217392 memory=127576 CPUtime=25.05 cores=0,2
/proc/32988/task/32990/stat : 32990 (fscip) R 32985 32988 28195 0 -1 4194368 82785 0 0 0 2496 9 0 0 20 0 3 0 4994660 222609408 31894 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
[pid=32988/tid=32991] ppid=32985 vsize=217392 memory=127060 CPUtime=0 cores=0,2
/proc/32988/task/32991/stat : 32991 (fscip) S 32985 32988 28195 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 4994667 222609408 31894 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 217392 KiB
Current children cumulated memory: 127576 KiB
[startup+51.1128 s]
/proc/loadavg: 4.73 4.30 4.16 5/246 32999
/proc/meminfo: memFree=121709260/131655788 swapFree=131071216/131071996
[pid=32988] ppid=32985 vsize=217392 memory=149728 CPUtime=50.88 cores=0,2
/proc/32988/stat : 32988 (fscip) S 32985 32988 28195 0 -1 1077936128 134768 0 0 0 5073 15 0 0 20 0 3 0 4994632 222609408 37432 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
/proc/32988/statm: 54348 37432 3014 3035 0 44413 0
[pid=32988/tid=32990] ppid=32985 vsize=217392 memory=149412 CPUtime=50.57 cores=0,2
/proc/32988/task/32990/stat : 32990 (fscip) R 32985 32988 28195 0 -1 4194368 121433 0 0 0 5045 12 0 0 20 0 3 0 4994660 222609408 37432 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
[pid=32988/tid=32991] ppid=32985 vsize=217392 memory=149412 CPUtime=0 cores=0,2
/proc/32988/task/32991/stat : 32991 (fscip) S 32985 32988 28195 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 4994667 222609408 37432 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 217392 KiB
Current children cumulated memory: 149728 KiB
[startup+102.3 s]
/proc/loadavg: 4.37 4.26 4.16 5/246 33009
/proc/meminfo: memFree=121636336/131655788 swapFree=131071216/131071996
[pid=32988] ppid=32985 vsize=217392 memory=149728 CPUtime=101.89 cores=0,2
/proc/32988/stat : 32988 (fscip) S 32985 32988 28195 0 -1 1077936128 147229 0 0 0 10173 16 0 0 20 0 3 0 4994632 222609408 37432 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
/proc/32988/statm: 54348 37432 3014 3035 0 44413 0
[pid=32988/tid=32990] ppid=32985 vsize=217392 memory=149728 CPUtime=101.58 cores=0,2
/proc/32988/task/32990/stat : 32990 (fscip) R 32985 32988 28195 0 -1 4194368 133875 0 0 0 10145 13 0 0 20 0 3 0 4994660 222609408 37432 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
[pid=32988/tid=32991] ppid=32985 vsize=217392 memory=-7019541185795547512 CPUtime=0 cores=0,2
/proc/32988/task/32991/stat : 32991 (fscip) S 32985 32988 28195 0 -1 1077936192 65 0 0 0 0 0 0 0 20 0 3 0 4994667 222609408 37432 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 217392 KiB
Current children cumulated memory: 149728 KiB
[startup+162.3 s]
/proc/loadavg: 4.36 4.28 4.17 6/246 33020
/proc/meminfo: memFree=120560260/131655788 swapFree=131071216/131071996
[pid=32988] ppid=32985 vsize=217392 memory=149728 CPUtime=161.68 cores=0,2
/proc/32988/stat : 32988 (fscip) S 32985 32988 28195 0 -1 1077936128 155483 0 0 0 16152 16 0 0 20 0 3 0 4994632 222609408 37432 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
/proc/32988/statm: 54348 37432 3014 3035 0 44413 0
[pid=32988/tid=32990] ppid=32985 vsize=217392 memory=149728 CPUtime=161.37 cores=0,2
/proc/32988/task/32990/stat : 32990 (fscip) R 32985 32988 28195 0 -1 4194368 142117 0 0 0 16124 13 0 0 20 0 3 0 4994660 222609408 37432 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
[pid=32988/tid=32991] ppid=32985 vsize=217392 memory=149728 CPUtime=0 cores=0,2
/proc/32988/task/32991/stat : 32991 (fscip) S 32985 32988 28195 0 -1 1077936192 77 0 0 0 0 0 0 0 20 0 3 0 4994667 222609408 37432 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 217392 KiB
Current children cumulated memory: 149728 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.22 4.16 5/249 33035
/proc/meminfo: memFree=120530760/131655788 swapFree=131071216/131071996
[pid=32988] ppid=32985 vsize=217392 memory=154684 CPUtime=221.47 cores=0,2
/proc/32988/stat : 32988 (fscip) S 32985 32988 28195 0 -1 1077936128 184584 0 0 0 22128 19 0 0 20 0 3 0 4994632 222609408 38671 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
/proc/32988/statm: 54348 38671 3014 3035 0 44679 0
[pid=32988/tid=32990] ppid=32985 vsize=217392 memory=154684 CPUtime=221.16 cores=0,2
/proc/32988/task/32990/stat : 32990 (fscip) R 32985 32988 28195 0 -1 4194368 171166 0 0 0 22100 16 0 0 20 0 3 0 4994660 222609408 38671 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
################
# More data... #
################
/proc/32988/statm: 87655 77538 3014 3035 0 79998 0
[pid=32988/tid=32990] ppid=32985 vsize=350620 memory=310152 CPUtime=3388.35 cores=0,2
/proc/32988/task/32990/stat : 32990 (fscip) R 32985 32988 28195 0 -1 4194368 732938 0 0 0 338624 211 0 0 20 0 3 0 4994660 359034880 77538 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
[pid=32988/tid=32991] ppid=32985 vsize=350620 memory=310152 CPUtime=0.05 cores=0,2
/proc/32988/task/32991/stat : 32991 (fscip) S 32985 32988 28195 0 -1 1077936192 195 0 0 0 1 4 0 0 20 0 3 0 4994667 359034880 77538 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
Current children cumulated CPU time: 3388.97 s
Current children cumulated vsize: 350620 KiB
Current children cumulated memory: 310152 KiB
[startup+3462.3 s]
/proc/loadavg: 2.11 2.87 3.58 3/233 34930
/proc/meminfo: memFree=129002744/131655788 swapFree=131071216/131071996
[pid=32988] ppid=32985 vsize=350620 memory=310152 CPUtime=3448.74 cores=0,2
/proc/32988/stat : 32988 (fscip) S 32985 32988 28195 0 -1 1077936128 748296 0 0 0 344644 230 0 0 20 0 3 0 4994632 359034880 77538 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
/proc/32988/statm: 87655 77538 3014 3035 0 79998 0
[pid=32988/tid=32990] ppid=32985 vsize=350620 memory=310152 CPUtime=3448.11 cores=0,2
/proc/32988/task/32990/stat : 32990 (fscip) R 32985 32988 28195 0 -1 4194368 733869 0 0 0 344598 213 0 0 20 0 3 0 4994660 359034880 77538 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
[pid=32988/tid=32991] ppid=32985 vsize=350620 memory=310152 CPUtime=0.05 cores=0,2
/proc/32988/task/32991/stat : 32991 (fscip) S 32985 32988 28195 0 -1 1077936192 197 0 0 0 1 4 0 0 20 0 3 0 4994667 359034880 77538 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
Current children cumulated CPU time: 3448.74 s
Current children cumulated vsize: 350620 KiB
Current children cumulated memory: 310152 KiB
[startup+3522.3 s]
/proc/loadavg: 2.11 2.72 3.48 3/229 34942
/proc/meminfo: memFree=129002300/131655788 swapFree=131071216/131071996
[pid=32988] ppid=32985 vsize=350620 memory=310152 CPUtime=3508.5 cores=0,2
/proc/32988/stat : 32988 (fscip) S 32985 32988 28195 0 -1 1077936128 749251 0 0 0 350618 232 0 0 20 0 3 0 4994632 359034880 77538 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
/proc/32988/statm: 87655 77538 3014 3035 0 79998 0
[pid=32988/tid=32990] ppid=32985 vsize=350620 memory=11516 CPUtime=3507.87 cores=0,2
/proc/32988/task/32990/stat : 32990 (fscip) R 32985 32988 28195 0 -1 4194368 734807 0 0 0 350572 215 0 0 20 0 3 0 4994660 359034880 77538 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
[pid=32988/tid=32991] ppid=32985 vsize=350620 memory=310152 CPUtime=0.05 cores=0,2
/proc/32988/task/32991/stat : 32991 (fscip) S 32985 32988 28195 0 -1 1077936192 199 0 0 0 1 4 0 0 20 0 3 0 4994667 359034880 77538 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
Current children cumulated CPU time: 3508.5 s
Current children cumulated vsize: 350620 KiB
Current children cumulated memory: 310152 KiB
[startup+3582.3 s]
/proc/loadavg: 2.09 2.61 3.39 3/229 34952
/proc/meminfo: memFree=128995276/131655788 swapFree=131071216/131071996
[pid=32988] ppid=32985 vsize=350620 memory=310152 CPUtime=3568.27 cores=0,2
/proc/32988/stat : 32988 (fscip) S 32985 32988 28195 0 -1 1077936128 750558 0 0 0 356593 234 0 0 20 0 3 0 4994632 359034880 77538 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
/proc/32988/statm: 87655 77538 3014 3035 0 79998 0
[pid=32988/tid=32990] ppid=32985 vsize=350620 memory=14720 CPUtime=3567.62 cores=0,2
/proc/32988/task/32990/stat : 32990 (fscip) R 32985 32988 28195 0 -1 4194368 736097 0 0 0 356546 216 0 0 20 0 3 0 4994660 359034880 77538 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
[pid=32988/tid=32991] ppid=32985 vsize=350620 memory=11516 CPUtime=0.05 cores=0,2
/proc/32988/task/32991/stat : 32991 (fscip) S 32985 32988 28195 0 -1 1077936192 201 0 0 0 1 4 0 0 20 0 3 0 4994667 359034880 77538 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
Current children cumulated CPU time: 3568.27 s
Current children cumulated vsize: 350620 KiB
Current children cumulated memory: 310152 KiB
[startup+3598.08 s]
# the end of solver process 32988 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.64 s, system=2.355 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.09 2.61 3.39 3/229 34952
/proc/meminfo: memFree=128995284/131655788 swapFree=131071216/131071996
[pid=32988] ppid=32985 vsize=350620 memory=310152 CPUtime=3569.97 cores=0,2
/proc/32988/stat : 32988 (fscip) S 32985 32988 28195 0 -1 1077936128 750901 0 0 0 356763 234 0 0 20 0 3 0 4994632 359034880 77538 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
/proc/32988/statm: 87655 77538 3014 3035 0 79998 0
[pid=32988/tid=32990] ppid=32985 vsize=350620 memory=20704 CPUtime=3569.33 cores=0,2
/proc/32988/task/32990/stat : 32990 (fscip) R 32985 32988 28195 0 -1 4194368 736436 0 0 0 356717 216 0 0 20 0 3 0 4994660 359034880 77538 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
[pid=32988/tid=32991] ppid=32985 vsize=350620 memory=5460 CPUtime=0.05 cores=0,2
/proc/32988/task/32991/stat : 32991 (fscip) S 32985 32988 28195 0 -1 1077936192 203 0 0 0 1 4 0 0 20 0 3 0 4994667 359034880 77538 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
Current children cumulated CPU time: 3569.97 s
Current children cumulated vsize: 350620 KiB
Current children cumulated memory: 310152 KiB
[startup+3590.4 s]
/proc/loadavg: 2.08 2.58 3.38 3/229 34952
/proc/meminfo: memFree=128995268/131655788 swapFree=131071216/131071996
[pid=32988] ppid=32985 vsize=350620 memory=310152 CPUtime=3576.33 cores=0,2
/proc/32988/stat : 32988 (fscip) S 32985 32988 28195 0 -1 1077936128 751021 0 0 0 357399 234 0 0 20 0 3 0 4994632 359034880 77538 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
/proc/32988/statm: 87655 77538 3014 3035 0 79998 0
[pid=32988/tid=32990] ppid=32985 vsize=350620 memory=12624 CPUtime=3575.69 cores=0,2
/proc/32988/task/32990/stat : 32990 (fscip) R 32985 32988 28195 0 -1 4194368 736556 0 0 0 357353 216 0 0 20 0 3 0 4994660 359034880 77538 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
[pid=32988/tid=32991] ppid=32985 vsize=350620 memory=5492 CPUtime=0.05 cores=0,2
/proc/32988/task/32991/stat : 32991 (fscip) S 32985 32988 28195 0 -1 1077936192 203 0 0 0 1 4 0 0 20 0 3 0 4994667 359034880 77538 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
Current children cumulated CPU time: 3576.33 s
Current children cumulated vsize: 350620 KiB
Current children cumulated memory: 310152 KiB
[startup+3593.6 s]
/proc/loadavg: 2.08 2.58 3.38 3/229 34953
/proc/meminfo: memFree=128995196/131655788 swapFree=131071216/131071996
[pid=32988] ppid=32985 vsize=350620 memory=310152 CPUtime=3579.52 cores=0,2
/proc/32988/stat : 32988 (fscip) S 32985 32988 28195 0 -1 1077936128 751043 0 0 0 357718 234 0 0 20 0 3 0 4994632 359034880 77538 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
/proc/32988/statm: 87655 77538 3014 3035 0 79998 0
[pid=32988/tid=32990] ppid=32985 vsize=350620 memory=310152 CPUtime=3578.87 cores=0,2
/proc/32988/task/32990/stat : 32990 (fscip) R 32985 32988 28195 0 -1 4194368 736578 0 0 0 357671 216 0 0 20 0 3 0 4994660 359034880 77538 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
[pid=32988/tid=32991] ppid=32985 vsize=350620 memory=310152 CPUtime=0.05 cores=0,2
/proc/32988/task/32991/stat : 32991 (fscip) S 32985 32988 28195 0 -1 1077936192 203 0 0 0 1 4 0 0 20 0 3 0 4994667 359034880 77538 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
Current children cumulated CPU time: 3579.52 s
Current children cumulated vsize: 350620 KiB
Current children cumulated memory: 310152 KiB
[startup+3595.2 s]
/proc/loadavg: 2.07 2.58 3.37 3/229 34953
/proc/meminfo: memFree=128995196/131655788 swapFree=131071216/131071996
[pid=32988] ppid=32985 vsize=350620 memory=310152 CPUtime=3581.11 cores=0,2
/proc/32988/stat : 32988 (fscip) S 32985 32988 28195 0 -1 1077936128 751043 0 0 0 357877 234 0 0 20 0 3 0 4994632 359034880 77538 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
/proc/32988/statm: 87655 77538 3014 3035 0 79998 0
[pid=32988/tid=32990] ppid=32985 vsize=350620 memory=-7019541185795547512 CPUtime=3580.48 cores=0,2
/proc/32988/task/32990/stat : 32990 (fscip) R 32985 32988 28195 0 -1 4194368 736578 0 0 0 357831 217 0 0 20 0 3 0 4994660 359034880 77538 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
[pid=32988/tid=32991] ppid=32985 vsize=350620 memory=12624 CPUtime=0.05 cores=0,2
/proc/32988/task/32991/stat : 32991 (fscip) S 32985 32988 28195 0 -1 1077936192 203 0 0 0 1 4 0 0 20 0 3 0 4994667 359034880 77538 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
Current children cumulated CPU time: 3581.11 s
Current children cumulated vsize: 350620 KiB
Current children cumulated memory: 310152 KiB
[startup+3596.8 s]
/proc/loadavg: 2.07 2.58 3.37 3/229 34953
/proc/meminfo: memFree=128995220/131655788 swapFree=131071216/131071996
[pid=32988] ppid=32985 vsize=350620 memory=310152 CPUtime=3582.71 cores=0,2
/proc/32988/stat : 32988 (fscip) S 32985 32988 28195 0 -1 1077936128 751044 0 0 0 358037 234 0 0 20 0 3 0 4994632 359034880 77538 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
/proc/32988/statm: 87655 77538 3014 3035 0 79998 0
[pid=32988/tid=32990] ppid=32985 vsize=350620 memory=11516 CPUtime=3582.07 cores=0,2
/proc/32988/task/32990/stat : 32990 (fscip) R 32985 32988 28195 0 -1 4194368 736579 0 0 0 357990 217 0 0 20 0 3 0 4994660 359034880 77538 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
[pid=32988/tid=32991] ppid=32985 vsize=350620 memory=14720 CPUtime=0.05 cores=0,2
/proc/32988/task/32991/stat : 32991 (fscip) S 32985 32988 28195 0 -1 1077936192 203 0 0 0 1 4 0 0 20 0 3 0 4994667 359034880 77538 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
Current children cumulated CPU time: 3582.71 s
Current children cumulated vsize: 350620 KiB
Current children cumulated memory: 310152 KiB
[startup+3597.6 s]
/proc/loadavg: 2.07 2.58 3.37 3/229 34953
/proc/meminfo: memFree=128995188/131655788 swapFree=131071216/131071996
[pid=32988] ppid=32985 vsize=350620 memory=310152 CPUtime=3583.5 cores=0,2
/proc/32988/stat : 32988 (fscip) S 32985 32988 28195 0 -1 1077936128 751045 0 0 0 358116 234 0 0 20 0 3 0 4994632 359034880 77538 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
/proc/32988/statm: 87655 77538 3014 3035 0 79998 0
[pid=32988/tid=32990] ppid=32985 vsize=350620 memory=-7595720463122260351 CPUtime=3582.87 cores=0,2
/proc/32988/task/32990/stat : 32990 (fscip) R 32985 32988 28195 0 -1 4194368 736580 0 0 0 358070 217 0 0 20 0 3 0 4994660 359034880 77538 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
[pid=32988/tid=32991] ppid=32985 vsize=350620 memory=7366608714789915246 CPUtime=0.05 cores=0,2
/proc/32988/task/32991/stat : 32991 (fscip) S 32985 32988 28195 0 -1 1077936192 203 0 0 0 1 4 0 0 20 0 3 0 4994667 359034880 77538 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
Current children cumulated CPU time: 3583.5 s
Current children cumulated vsize: 350620 KiB
Current children cumulated memory: 310152 KiB
[startup+3598 s]*
/proc/loadavg: 2.07 2.58 3.37 3/229 34954
/proc/meminfo: memFree=128995088/131655788 swapFree=131071216/131071996
[pid=32988] ppid=32985 vsize=350620 memory=310152 CPUtime=3583.91 cores=0,2
/proc/32988/stat : 32988 (fscip) S 32985 32988 28195 0 -1 1077936128 751053 0 0 0 358157 234 0 0 20 0 3 0 4994632 359034880 77538 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
/proc/32988/statm: 87655 77538 3014 3035 0 79998 0
[pid=32988/tid=32990] ppid=32985 vsize=350620 memory=-7595720463122260351 CPUtime=3583.28 cores=0,2
/proc/32988/task/32990/stat : 32990 (fscip) R 32985 32988 28195 0 -1 4194368 736644 0 0 0 358111 217 0 0 20 0 3 0 4994660 359034880 77538 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
[pid=32988/tid=32991] ppid=32985 vsize=350620 memory=-4421386504854333284 CPUtime=0.05 cores=0,2
/proc/32988/task/32991/stat : 32991 (fscip) S 32985 32988 28195 0 -1 1077936192 203 0 0 0 1 4 0 0 20 0 3 0 4994667 359034880 77538 134679101440 4194304 16623229 140722999851792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42663936 140722999854106 140722999854222 140722999854222 140722999861232 0
Current children cumulated CPU time: 3583.91 s
Current children cumulated vsize: 350620 KiB
Current children cumulated memory: 310152 KiB
Child status: 0
Real time (s): 3598.08
CPU time (s): 3583.99
CPU user time (s): 3581.64
CPU system time (s): 2.355
CPU usage (%): 99.6085
Max. virtual memory (cumulated for all children) (KiB): 350620
Max. memory (cumulated for all children) (KiB): 310152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.64
system time used= 2.355
maximum resident set size= 310152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 751806
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= 10064
involuntary context switches= 25085
# summary of solver processes directly reported to runsolver:
# pid: 32988
# total CPU time (s): 3583.99
# total CPU user time (s): 3581.64
# total CPU system time (s): 2.355
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1361 second user time and 35.7919 second system time
The end
Begin job on nodeC007 at 2024-07-31 02:37:20
IDJOB=4464658
IDBENCH=162218
IDSOLVER=3092
FILE ID=nodeC007/4464658-1722386240
RUNJOBID= nodeC007-1722378594-28205
SLURM_JOB_ID= 8249837
Free space on /tmp= 723672 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size80-round21-3.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464658-1722386240/watcher-4464658-1722386240 -o /tmp/evaluation-result-4464658-1722386240/solver-4464658-1722386240 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722378594-28205 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464658-1722386240.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 864bfa231da9fb907b495a126824f2c7
RANDOM SEED=1999425319
nodeC007.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 : 3491.820
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.58
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 : 3605.386
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.35
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.187
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.58
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.304
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.35
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 : 3646.929
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.58
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 : 3660.564
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.35
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.295
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.58
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.392
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.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 121943620 kB
MemAvailable: 122234736 kB
Buffers: 91128 kB
Cached: 1039072 kB
SwapCached: 100 kB
Active: 280160 kB
Inactive: 8992912 kB
Active(anon): 1492 kB
Inactive(anon): 8162452 kB
Active(file): 278668 kB
Inactive(file): 830460 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 28676 kB
Writeback: 76 kB
AnonPages: 8142732 kB
Mapped: 124436 kB
Shmem: 21076 kB
KReclaimable: 44376 kB
Slab: 120976 kB
SReclaimable: 44376 kB
SUnreclaim: 76600 kB
KernelStack: 3888 kB
PageTables: 25568 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 5067652 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6432 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1873920 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: 174920 kB
DirectMap2M: 7069696 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 723728 MiB
End job on nodeC007 at 2024-07-31 03:37:18