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.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 35840000, getVmSize() = 35840000, SCIPgetMemUsed() = 8941660, SCIPgetMemTotal() = 13847684, SCIPgetMemExternEstim() = 6259060
0.00/0.01 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.20/0.26 c ** Estimated virtualMemUsedAtSolver = 32187733, getVmSize() = 60723200, SCIPgetMemUsed() = 20877698, SCIPgetMemTotal() = 37164754, SCIPgetMemExternEstim() = 6259060
0.20/0.26 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.20/0.26 c Original Problem :
0.20/0.26 c Problem name : instance-4464676-1722387172
0.20/0.26 c Variables : 1122 (1122 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.26 c Constraints : 5318
0.20/0.26 c Objective sense : minimize
0.20/0.26 c Presolved Problem :
0.20/0.26 c Variables : 1116 (1116 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.26 c Constraints : 5045
0.20/0.26 c Constraints : Number
0.20/0.26 c knapsack : 1
0.20/0.26 c setppc : 2139
0.20/0.26 c linear : 1
0.20/0.26 c logicor : 2904
0.20/0.26 c ** Instance transfer method used: 0
0.20/0.27 c ** ParaScipInstance copy does not increase the number of variables. **
0.20/0.28 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.20/0.28 c Nodes Active
0.20/0.28 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.27/5.38 c 5 9 8 1 - 0.0000 -
11.55/11.61 c 12 14 13 1 - 0.0000 -
17.23/17.31 c 17 84 48 1 - 0.0000 -
22.31/22.47 c 22 272 55 1 - 0.0000 -
27.91/28.03 c 28 438 96 1 - 0.0000 -
33.29/33.40 c 33 528 155 1 - 0.0000 -
38.86/39.06 c 39 660 193 1 - 0.0000 -
44.85/45.09 c 45 772 229 1 - 0.0000 -
50.13/50.35 c 50 865 274 1 - 0.0000 -
55.51/55.74 c 56 954 330 1 - 0.0000 -
61.00/61.27 c 61 992 19 1 - 0.0000 -
66.18/66.40 c 66 1184 25 1 - 0.0000 -
71.66/71.98 c 72 1375 34 1 - 0.0000 -
76.93/77.23 c 77 1543 41 1 - 0.0000 -
82.12/82.46 c 82 1742 60 1 - 0.0000 -
87.40/87.74 c 88 1919 68 1 - 0.0000 -
92.49/92.80 c 93 2164 76 1 - 0.0000 -
97.57/97.95 c 98 2419 75 1 - 0.0000 -
104.95/105.30 c 105 2689 70 1 - 0.0000 -
109.93/110.39 c 110 2891 77 1 - 0.0000 -
115.02/115.49 c 115 3148 74 1 - 0.0000 -
120.10/120.56 c 121 3422 70 1 - 0.0000 -
125.98/126.41 c 126 3673 73 1 - 0.0000 -
133.26/133.79 c 134 3907 81 1 - 0.0000 -
138.34/138.87 c 139 4181 94 1 - 0.0000 -
143.42/143.99 c 144 4475 83 1 - 0.0000 -
148.70/149.29 c 149 4700 94 1 - 0.0000 -
153.89/154.40 c 154 4961 99 1 - 0.0000 -
158.87/159.49 c 159 5228 90 1 - 0.0000 -
164.06/164.61 c 165 5456 100 1 - 0.0000 -
169.44/170.01 c 170 5655 98 1 - 0.0000 -
174.53/175.12 c 175 5924 88 1 - 0.0000 -
179.60/180.25 c 180 6183 90 1 - 0.0000 -
184.78/185.45 c 185 6440 87 1 - 0.0000 -
189.87/190.52 c 191 6721 88 1 - 0.0000 -
195.15/195.87 c 196 6980 82 1 - 0.0000 -
200.23/200.93 c 201 7247 83 1 - 0.0000 -
205.31/206.08 c 206 7542 72 1 - 0.0000 -
210.40/211.18 c 211 7804 72 1 - 0.0000 -
215.57/216.38 c 216 7962 83 1 - 0.0000 -
220.65/221.46 c 221 8214 78 1 - 0.0000 -
225.84/226.64 c 227 8439 76 1 - 0.0000 -
230.92/231.74 c 232 8726 74 1 - 0.0000 -
237.60/238.46 c 238 8924 68 1 - 0.0000 -
242.98/243.83 c 244 9138 80 1 - 0.0000 -
248.06/248.96 c 249 9334 94 1 - 0.0000 -
253.15/254.08 c 254 9606 98 1 - 0.0000 -
258.23/259.14 c 259 9858 90 1 - 0.0000 -
263.41/264.38 c 264 10112 92 1 - 0.0000 -
268.59/269.51 c 270 10326 98 1 - 0.0000 -
273.77/274.75 c 275 10556 96 1 - 0.0000 -
279.06/280.04 c 280 10790 98 1 - 0.0000 -
284.15/285.12 c 285 11054 101 1 - 0.0000 -
289.42/290.46 c 290 11232 103 1 - 0.0000 -
294.60/295.64 c 296 11492 109 1 - 0.0000 -
299.78/300.88 c 301 11692 115 1 - 0.0000 -
304.86/305.98 c 306 11943 114 1 - 0.0000 -
312.74/313.84 c 314 12208 109 1 - 0.0000 -
317.93/319.03 c 319 12414 117 1 - 0.0000 -
323.01/324.10 c 324 12620 128 1 - 0.0000 -
327.99/329.18 c 329 12877 132 1 - 0.0000 -
333.17/334.33 c 334 13103 133 1 - 0.0000 -
338.26/339.45 c 339 13378 139 1 - 0.0000 -
343.34/344.57 c 345 13611 135 1 - 0.0000 -
348.72/349.97 c 350 13842 133 1 - 0.0000 -
353.80/355.08 c 355 14102 137 1 - 0.0000 -
358.98/360.24 c 360 14313 140 1 - 0.0000 -
364.06/365.35 c 365 14563 136 1 - 0.0000 -
369.15/370.45 c 370 14817 140 1 - 0.0000 -
374.23/375.53 c 376 15071 135 1 - 0.0000 -
379.72/381.05 c 381 15261 142 1 - 0.0000 -
384.80/386.16 c 386 15498 146 1 - 0.0000 -
389.88/391.22 c 391 15765 145 1 - 0.0000 -
394.85/396.29 c 396 15988 146 1 - 0.0000 -
400.04/401.43 c 401 16236 145 1 - 0.0000 -
405.82/407.20 c 407 16457 144 1 - 0.0000 -
410.90/412.37 c 412 16675 145 1 - 0.0000 -
420.58/422.00 c 422 16866 160 1 - 0.0000 -
425.65/427.16 c 427 17111 162 1 - 0.0000 -
430.74/432.23 c 432 17351 163 1 - 0.0000 -
436.22/437.79 c 438 17578 162 1 - 0.0000 -
441.40/442.94 c 443 17817 166 1 - 0.0000 -
446.59/448.13 c 448 18057 168 1 - 0.0000 -
451.57/453.19 c 453 18309 163 1 - 0.0000 -
456.64/458.29 c 458 18600 161 1 - 0.0000 -
461.83/463.45 c 463 18887 162 1 - 0.0000 -
467.21/468.80 c 469 19141 156 1 - 0.0000 -
472.40/474.08 c 474 19339 154 1 - 0.0000 -
477.57/479.23 c 479 19579 157 1 - 0.0000 -
482.75/484.45 c 484 19800 152 1 - 0.0000 -
487.84/489.51 c 490 20040 149 1 - 0.0000 -
493.03/494.77 c 495 20284 149 1 - 0.0000 -
498.11/499.88 c 500 20531 153 1 - 0.0000 -
503.19/504.95 c 505 20805 148 1 - 0.0000 -
508.28/510.08 c 510 21067 154 1 - 0.0000 -
513.36/515.19 c 515 21299 154 1 - 0.0000 -
518.44/520.25 c 520 21540 152 1 - 0.0000 -
523.82/525.65 c 526 21798 146 1 - 0.0000 -
528.90/530.76 c 531 22044 147 1 - 0.0000 -
534.08/535.91 c 536 22285 145 1 - 0.0000 -
539.17/541.02 c 541 22500 164 1 - 0.0000 -
544.25/546.16 c 546 22729 166 1 - 0.0000 -
549.33/551.29 c 551 22977 155 1 - 0.0000 -
554.62/556.59 c 557 23231 161 1 - 0.0000 -
560.20/562.16 c 562 23480 155 1 - 0.0000 -
565.28/567.26 c 567 23709 160 1 - 0.0000 -
570.36/572.33 c 572 23920 165 1 - 0.0000 -
575.44/577.40 c 577 24171 169 1 - 0.0000 -
580.42/582.47 c 582 24432 161 1 - 0.0000 -
585.50/587.56 c 588 24719 161 1 - 0.0000 -
590.59/592.65 c 593 24953 163 1 - 0.0000 -
595.67/597.74 c 598 25046 160 1 - 0.0000 -
600.85/602.90 c 603 25264 159 1 - 0.0000 -
605.94/608.03 c 608 25505 158 1 - 0.0000 -
611.12/613.27 c 613 25743 165 1 - 0.0000 -
616.40/618.51 c 619 26012 160 1 - 0.0000 -
621.48/623.63 c 624 26243 161 1 - 0.0000 -
626.66/628.83 c 629 26529 156 1 - 0.0000 -
631.64/633.89 c 634 26764 161 1 - 0.0000 -
636.73/638.99 c 639 27008 156 1 - 0.0000 -
641.92/644.14 c 644 27254 150 1 - 0.0000 -
646.99/649.24 c 649 27482 158 1 - 0.0000 -
652.18/654.44 c 654 27684 158 1 - 0.0000 -
657.26/659.52 c 660 27940 151 1 - 0.0000 -
662.54/664.80 c 665 28122 161 1 - 0.0000 -
667.62/669.96 c 670 28357 164 1 - 0.0000 -
672.71/675.08 c 675 28623 158 1 - 0.0000 -
677.79/680.13 c 680 28827 162 1 - 0.0000 -
682.87/685.27 c 685 29093 174 1 - 0.0000 -
687.95/690.38 c 690 29378 171 1 - 0.0000 -
693.04/695.45 c 695 29647 173 1 - 0.0000 -
698.63/701.00 c 701 29841 178 1 - 0.0000 -
703.81/706.29 c 706 30070 189 1 - 0.0000 -
711.08/713.52 c 714 30230 186 1 - 0.0000 -
716.17/718.66 c 719 30492 179 1 - 0.0000 -
721.75/724.23 c 724 30665 198 1 - 0.0000 -
726.93/729.43 c 729 30889 214 1 - 0.0000 -
732.42/734.91 c 735 31123 218 1 - 0.0000 -
737.51/740.01 c 740 31384 217 1 - 0.0000 -
742.49/745.10 c 745 31653 214 1 - 0.0000 -
747.67/750.22 c 750 31903 214 1 - 0.0000 -
752.76/755.38 c 755 32166 215 1 - 0.0000 -
757.85/760.45 c 760 32389 210 1 - 0.0000 -
763.23/765.87 c 766 32582 225 1 - 0.0000 -
768.61/771.23 c 771 32816 224 1 - 0.0000 -
773.70/776.37 c 776 33054 223 1 - 0.0000 -
778.78/781.46 c 781 33300 232 1 - 0.0000 -
783.98/786.63 c 787 33512 237 1 - 0.0000 -
789.06/791.74 c 792 33755 237 1 - 0.0000 -
794.35/797.08 c 797 33967 247 1 - 0.0000 -
799.53/802.29 c 802 34157 264 1 - 0.0000 -
804.92/807.64 c 808 34292 285 1 - 0.0000 -
810.00/812.72 c 813 34521 279 1 - 0.0000 -
815.09/817.82 c 818 34711 291 1 - 0.0000 -
820.17/822.91 c 823 34929 290 1 - 0.0000 -
825.26/828.03 c 828 35124 291 1 - 0.0000 -
830.44/833.20 c 833 35360 297 1 - 0.0000 -
835.53/838.33 c 838 35584 307 1 - 0.0000 -
842.81/845.67 c 846 35784 298 1 - 0.0000 -
848.00/850.80 c 851 36012 295 1 - 0.0000 -
852.98/855.89 c 856 36227 301 1 - 0.0000 -
858.07/860.97 c 861 36430 302 1 - 0.0000 -
863.65/866.56 c 867 36655 315 1 - 0.0000 -
869.04/871.93 c 872 36857 339 1 - 0.0000 -
874.12/877.01 c 877 37086 338 1 - 0.0000 -
879.21/882.15 c 882 37252 345 1 - 0.0000 -
884.29/887.29 c 887 37480 359 1 - 0.0000 -
889.38/892.39 c 892 37718 362 1 - 0.0000 -
894.46/897.49 c 897 37975 361 1 - 0.0000 -
900.15/903.19 c 903 38170 370 1 - 0.0000 -
905.44/908.45 c 908 38385 378 1 - 0.0000 -
910.52/913.57 c 914 38611 387 1 - 0.0000 -
915.71/918.77 c 919 38888 377 1 - 0.0000 -
920.89/923.99 c 924 39059 401 1 - 0.0000 -
925.98/929.09 c 929 39285 402 1 - 0.0000 -
931.16/934.25 c 934 39476 414 1 - 0.0000 -
936.25/939.37 c 939 39710 416 1 - 0.0000 -
941.54/944.62 c 945 39920 415 1 - 0.0000 -
946.62/949.72 c 950 40150 412 1 - 0.0000 -
951.71/954.82 c 955 40368 412 1 - 0.0000 -
957.49/960.67 c 961 40608 396 1 - 0.0000 -
962.89/966.07 c 966 40850 389 1 - 0.0000 -
967.97/971.13 c 971 41085 395 1 - 0.0000 -
973.55/976.72 c 977 41294 392 1 - 0.0000 -
978.64/981.82 c 982 41507 396 1 - 0.0000 -
983.72/986.91 c 987 41729 397 1 - 0.0000 -
988.91/992.16 c 992 41965 390 1 - 0.0000 -
993.99/997.24 c 997 42184 395 1 - 0.0000 -
999.47/1002.70 c 1003 42424 396 1 - 0.0000 -
1004.46/1007.79 c 1008 42633 404 1 - 0.0000 -
1009.95/1013.21 c 1013 42893 398 1 - 0.0000 -
1015.04/1018.34 c 1018 43103 412 1 - 0.0000 -
1020.13/1023.42 c 1023 43294 413 1 - 0.0000 -
1025.61/1028.91 c 1029 43460 417 1 - 0.0000 -
1030.70/1034.06 c 1034 43656 432 1 - 0.0000 -
1035.78/1039.15 c 1039 43886 446 1 - 0.0000 -
1040.87/1044.26 c 1044 44104 443 1 - 0.0000 -
1045.95/1049.34 c 1049 44364 449 1 - 0.0000 -
1051.03/1054.42 c 1054 44613 443 1 - 0.0000 -
1057.12/1060.51 c 1061 44796 456 1 - 0.0000 -
1062.61/1066.02 c 1066 45003 468 1 - 0.0000 -
1067.89/1071.36 c 1071 45194 485 1 - 0.0000 -
1073.08/1076.51 c 1077 45402 489 1 - 0.0000 -
1078.16/1081.62 c 1082 45660 478 1 - 0.0000 -
1083.25/1086.76 c 1087 45817 495 1 - 0.0000 -
1088.34/1091.87 c 1092 46017 509 1 - 0.0000 -
1093.42/1096.96 c 1097 46273 514 1 - 0.0000 -
1098.51/1102.06 c 1102 46526 508 1 - 0.0000 -
1104.79/1108.39 c 1108 46713 514 1 - 0.0000 -
1109.87/1113.48 c 1113 46923 524 1 - 0.0000 -
1115.16/1118.78 c 1119 47075 551 1 - 0.0000 -
1120.24/1123.86 c 1124 47283 557 1 - 0.0000 -
1125.63/1129.23 c 1129 47484 563 1 - 0.0000 -
1130.71/1134.31 c 1134 47703 568 1 - 0.0000 -
1135.70/1139.37 c 1139 47977 570 1 - 0.0000 -
1141.69/1145.30 c 1145 48218 569 1 - 0.0000 -
1146.98/1150.61 c 1151 48476 567 1 - 0.0000 -
1152.16/1155.85 c 1156 48655 587 1 - 0.0000 -
1157.24/1160.91 c 1161 48908 590 1 - 0.0000 -
1162.33/1166.01 c 1166 49115 591 1 - 0.0000 -
1167.42/1171.11 c 1171 49349 599 1 - 0.0000 -
1172.60/1176.35 c 1176 49613 599 1 - 0.0000 -
1177.69/1181.43 c 1181 49876 610 1 - 0.0000 -
1182.77/1186.54 c 1187 50118 609 1 - 0.0000 -
1187.86/1191.67 c 1192 50354 607 1 - 0.0000 -
1193.24/1197.01 c 1197 50587 606 1 - 0.0000 -
1198.33/1202.14 c 1202 50809 616 1 - 0.0000 -
1203.52/1207.39 c 1207 50972 637 1 - 0.0000 -
1208.70/1212.57 c 1213 51179 642 1 - 0.0000 -
1213.78/1217.68 c 1218 51427 646 1 - 0.0000 -
1218.87/1222.78 c 1223 51681 645 1 - 0.0000 -
1224.05/1227.91 c 1228 51885 651 1 - 0.0000 -
1229.44/1233.36 c 1233 52091 663 1 - 0.0000 -
1234.63/1238.54 c 1239 52287 667 1 - 0.0000 -
1239.81/1243.77 c 1244 52504 679 1 - 0.0000 -
1244.90/1248.85 c 1249 52640 713 1 - 0.0000 -
1250.09/1254.07 c 1254 52840 727 1 - 0.0000 -
1255.18/1259.17 c 1259 53015 723 1 - 0.0000 -
1260.46/1264.48 c 1264 53213 737 1 - 0.0000 -
1265.64/1269.66 c 1270 53431 749 1 - 0.0000 -
1270.73/1274.78 c 1275 53679 754 1 - 0.0000 -
1275.91/1279.98 c 1280 53867 757 1 - 0.0000 -
1281.19/1285.20 c 1285 54122 752 1 - 0.0000 -
1286.28/1290.38 c 1290 54312 773 1 - 0.0000 -
1291.47/1295.59 c 1296 54539 768 1 - 0.0000 -
1296.76/1300.88 c 1301 54730 776 1 - 0.0000 -
1302.05/1306.16 c 1306 54914 782 1 - 0.0000 -
1307.13/1311.28 c 1311 55141 784 1 - 0.0000 -
1312.92/1317.00 c 1317 55307 791 1 - 0.0000 -
1318.09/1322.25 c 1322 55508 793 1 - 0.0000 -
1323.38/1327.55 c 1328 55714 801 1 - 0.0000 -
1328.46/1332.68 c 1333 55958 801 1 - 0.0000 -
1333.95/1338.13 c 1338 56115 813 1 - 0.0000 -
1339.03/1343.23 c 1343 56314 817 1 - 0.0000 -
1344.12/1348.38 c 1348 56493 822 1 - 0.0000 -
1349.41/1353.66 c 1354 56653 845 1 - 0.0000 -
1354.59/1358.86 c 1359 56816 843 1 - 0.0000 -
1359.68/1363.96 c 1364 57006 854 1 - 0.0000 -
1365.17/1369.41 c 1369 57176 870 1 - 0.0000 -
1370.35/1374.63 c 1375 57326 891 1 - 0.0000 -
1375.74/1380.08 c 1380 57511 898 1 - 0.0000 -
1381.02/1385.36 c 1385 57756 905 1 - 0.0000 -
1386.11/1390.46 c 1390 57993 906 1 - 0.0000 -
1391.40/1395.76 c 1396 58209 905 1 - 0.0000 -
1396.79/1401.11 c 1401 58404 924 1 - 0.0000 -
1401.97/1406.38 c 1406 58622 928 1 - 0.0000 -
1407.45/1411.83 c 1412 58828 929 1 - 0.0000 -
1412.74/1417.18 c 1417 59042 939 1 - 0.0000 -
1417.82/1422.26 c 1422 59187 957 1 - 0.0000 -
1422.90/1427.36 c 1427 59371 968 1 - 0.0000 -
1427.99/1432.44 c 1432 59567 984 1 - 0.0000 -
1433.08/1437.53 c 1438 59761 994 1 - 0.0000 -
1438.16/1442.67 c 1443 59967 1004 1 - 0.0000 -
1443.45/1447.97 c 1448 60149 1014 1 - 0.0000 -
1448.74/1453.28 c 1453 60304 1026 1 - 0.0000 -
1453.92/1458.43 c 1458 60513 1037 1 - 0.0000 -
1459.30/1463.82 c 1464 60715 1046 1 - 0.0000 -
1464.29/1468.89 c 1469 60959 1036 1 - 0.0000 -
1469.38/1473.94 c 1474 61175 1052 1 - 0.0000 -
1474.47/1479.04 c 1479 61439 1039 1 - 0.0000 -
1479.55/1484.11 c 1484 61593 1060 1 - 0.0000 -
1484.64/1489.27 c 1489 61847 1080 1 - 0.0000 -
1489.73/1494.37 c 1494 62102 1076 1 - 0.0000 -
1494.91/1499.52 c 1500 62357 1074 1 - 0.0000 -
1500.10/1504.74 c 1505 62535 1087 1 - 0.0000 -
1505.18/1509.86 c 1510 62777 1084 1 - 0.0000 -
1510.27/1514.98 c 1515 63026 1123 1 - 0.0000 -
1515.36/1520.08 c 1520 63294 1089 1 - 0.0000 -
1520.74/1525.45 c 1525 63507 1095 1 - 0.0000 -
1526.12/1530.81 c 1531 63680 1108 1 - 0.0000 -
1531.21/1535.96 c 1536 63882 1116 1 - 0.0000 -
1536.30/1541.09 c 1541 64075 1122 1 - 0.0000 -
1541.49/1546.28 c 1546 64267 1127 1 - 0.0000 -
1546.67/1551.47 c 1551 64518 1124 1 - 0.0000 -
1551.76/1556.55 c 1557 64753 1110 1 - 0.0000 -
1556.84/1561.67 c 1562 64956 1109 1 - 0.0000 -
1562.13/1566.94 c 1567 65148 1116 1 - 0.0000 -
1567.22/1572.10 c 1572 65358 1113 1 - 0.0000 -
1572.30/1577.18 c 1577 65543 1113 1 - 0.0000 -
1577.48/1582.39 c 1582 65752 1131 1 - 0.0000 -
1583.07/1587.92 c 1588 65897 1144 1 - 0.0000 -
1588.16/1593.02 c 1593 66169 1145 1 - 0.0000 -
1593.44/1598.39 c 1598 66333 1181 1 - 0.0000 -
1598.53/1603.49 c 1603 66568 1174 1 - 0.0000 -
1603.72/1608.67 c 1609 66781 1180 1 - 0.0000 -
1608.90/1613.86 c 1614 66967 1191 1 - 0.0000 -
1614.09/1619.07 c 1619 67157 1206 1 - 0.0000 -
1619.27/1624.25 c 1624 67316 1227 1 - 0.0000 -
1624.36/1629.34 c 1629 67538 1223 1 - 0.0000 -
1629.44/1634.44 c 1634 67721 1225 1 - 0.0000 -
1634.73/1639.79 c 1640 67902 1258 1 - 0.0000 -
1640.02/1645.00 c 1645 68098 1278 1 - 0.0000 -
1645.20/1650.27 c 1650 68289 1284 1 - 0.0000 -
1650.39/1655.43 c 1655 68529 1283 1 - 0.0000 -
1655.57/1660.61 c 1661 68754 1298 1 - 0.0000 -
1660.66/1665.78 c 1666 69022 1295 1 - 0.0000 -
1666.24/1671.32 c 1671 69265 1295 1 - 0.0000 -
1671.43/1676.52 c 1677 69492 1296 1 - 0.0000 -
1676.72/1681.85 c 1682 69775 1287 1 - 0.0000 -
1681.91/1687.07 c 1687 69950 1303 1 - 0.0000 -
1687.09/1692.22 c 1692 70181 1296 1 - 0.0000 -
1692.17/1697.30 c 1697 70387 1309 1 - 0.0000 -
1697.16/1702.38 c 1702 70648 1317 1 - 0.0000 -
1702.45/1707.67 c 1708 70932 1307 1 - 0.0000 -
1707.73/1712.94 c 1713 71148 1307 1 - 0.0000 -
1712.82/1718.05 c 1718 71388 1299 1 - 0.0000 -
1717.90/1723.14 c 1723 71573 1312 1 - 0.0000 -
1722.99/1728.25 c 1728 71803 1307 1 - 0.0000 -
1728.08/1733.34 c 1733 72040 1309 1 - 0.0000 -
1733.16/1738.48 c 1738 72283 1323 1 - 0.0000 -
1738.55/1743.82 c 1744 72500 1335 1 - 0.0000 -
1743.63/1748.99 c 1749 72725 1338 1 - 0.0000 -
1748.72/1754.09 c 1754 72940 1339 1 - 0.0000 -
1753.90/1759.22 c 1759 73140 1338 1 - 0.0000 -
1758.99/1764.39 c 1764 73342 1338 1 - 0.0000 -
1764.17/1769.51 c 1770 73579 1344 1 - 0.0000 -
1770.26/1775.60 c 1776 73797 1341 1 - 0.0000 -
1775.44/1780.85 c 1781 74009 1342 1 - 0.0000 -
1780.73/1786.15 c 1786 74199 1356 1 - 0.0000 -
1785.81/1791.24 c 1791 74426 1359 1 - 0.0000 -
1790.89/1796.32 c 1796 74652 1354 1 - 0.0000 -
1795.87/1801.39 c 1801 74881 1345 1 - 0.0000 -
1800.96/1806.47 c 1806 75109 1347 1 - 0.0000 -
1806.05/1811.56 c 1812 75338 1338 1 - 0.0000 -
1811.64/1817.18 c 1817 75562 1339 1 - 0.0000 -
1816.91/1822.43 c 1822 75796 1333 1 - 0.0000 -
1822.19/1827.72 c 1828 75974 1362 1 - 0.0000 -
1827.28/1832.82 c 1833 76216 1363 1 - 0.0000 -
1832.26/1837.89 c 1838 76457 1364 1 - 0.0000 -
1837.45/1843.02 c 1843 76693 1358 1 - 0.0000 -
1842.72/1848.33 c 1848 76882 1374 1 - 0.0000 -
1847.81/1853.40 c 1853 77134 1380 1 - 0.0000 -
1853.39/1859.01 c 1859 77337 1374 1 - 0.0000 -
1858.57/1864.21 c 1864 77594 1368 1 - 0.0000 -
1863.66/1869.31 c 1869 77804 1369 1 - 0.0000 -
1869.05/1874.72 c 1875 77999 1375 1 - 0.0000 -
1874.44/1880.13 c 1880 78223 1382 1 - 0.0000 -
1879.62/1885.36 c 1885 78472 1392 1 - 0.0000 -
1884.70/1890.49 c 1890 78735 1397 1 - 0.0000 -
1889.89/1895.60 c 1896 79017 1392 1 - 0.0000 -
1894.98/1900.72 c 1901 79289 1387 1 - 0.0000 -
1899.96/1905.78 c 1906 79546 1389 1 - 0.0000 -
1905.54/1911.30 c 1911 79715 1406 1 - 0.0000 -
1910.63/1916.43 c 1916 79943 1402 1 - 0.0000 -
1915.72/1921.54 c 1922 80044 1400 1 - 0.0000 -
1920.80/1926.62 c 1927 80289 1406 1 - 0.0000 -
1926.19/1932.01 c 1932 80474 1409 1 - 0.0000 -
1931.28/1937.14 c 1937 80653 1430 1 - 0.0000 -
1936.37/1942.28 c 1942 80901 1438 1 - 0.0000 -
1941.45/1947.38 c 1947 81141 1438 1 - 0.0000 -
1946.64/1952.52 c 1953 81361 1445 1 - 0.0000 -
1951.93/1957.88 c 1958 81648 1441 1 - 0.0000 -
1957.01/1962.99 c 1963 81887 1435 1 - 0.0000 -
1962.30/1968.20 c 1968 82128 1440 1 - 0.0000 -
1967.88/1973.83 c 1974 82334 1448 1 - 0.0000 -
1972.97/1978.96 c 1979 82541 1467 1 - 0.0000 -
1978.35/1984.40 c 1984 82771 1462 1 - 0.0000 -
1983.73/1989.70 c 1990 83002 1459 1 - 0.0000 -
1988.72/1994.78 c 1995 83260 1460 1 - 0.0000 -
1994.11/2000.17 c 2000 83493 1469 1 - 0.0000 -
1999.20/2005.27 c 2005 83784 1460 1 - 0.0000 -
2004.38/2010.46 c 2010 84002 1463 1 - 0.0000 -
2009.57/2015.61 c 2016 84194 1466 1 - 0.0000 -
2014.65/2020.71 c 2021 84425 1472 1 - 0.0000 -
2019.75/2025.80 c 2026 84664 1471 1 - 0.0000 -
2025.23/2031.30 c 2031 84858 1481 1 - 0.0000 -
2030.92/2037.01 c 2037 85011 1496 1 - 0.0000 -
2036.00/2042.12 c 2042 85244 1496 1 - 0.0000 -
2041.09/2047.20 c 2047 85481 1498 1 - 0.0000 -
2046.27/2052.41 c 2052 85732 1501 1 - 0.0000 -
2051.36/2057.52 c 2058 85939 1514 1 - 0.0000 -
2056.95/2063.18 c 2063 86175 1517 1 - 0.0000 -
2062.03/2068.26 c 2068 86399 1525 1 - 0.0000 -
2067.11/2073.37 c 2073 86660 1523 1 - 0.0000 -
2072.20/2078.43 c 2078 86890 1533 1 - 0.0000 -
2077.29/2083.57 c 2084 87118 1540 1 - 0.0000 -
2082.47/2088.75 c 2089 87336 1541 1 - 0.0000 -
2087.86/2094.18 c 2094 87577 1541 1 - 0.0000 -
2092.95/2099.28 c 2099 87824 1540 1 - 0.0000 -
2098.43/2104.74 c 2105 88039 1543 1 - 0.0000 -
2103.52/2109.84 c 2110 88279 1552 1 - 0.0000 -
2108.71/2115.07 c 2115 88515 1555 1 - 0.0000 -
2113.88/2120.26 c 2120 88767 1556 1 - 0.0000 -
2118.97/2125.38 c 2125 89040 1553 1 - 0.0000 -
2124.16/2130.50 c 2130 89216 1568 1 - 0.0000 -
2129.24/2135.65 c 2136 89425 1574 1 - 0.0000 -
2134.33/2140.76 c 2141 89677 1578 1 - 0.0000 -
2139.42/2145.87 c 2146 89897 1582 1 - 0.0000 -
2144.71/2151.16 c 2151 90098 1587 1 - 0.0000 -
2149.99/2156.43 c 2156 90326 1593 1 - 0.0000 -
2155.27/2161.78 c 2162 90562 1590 1 - 0.0000 -
2160.56/2167.03 c 2167 90761 1607 1 - 0.0000 -
2165.65/2172.14 c 2172 90964 1611 1 - 0.0000 -
2170.73/2177.26 c 2177 91150 1612 1 - 0.0000 -
2175.82/2182.39 c 2182 91356 1622 1 - 0.0000 -
2181.31/2187.82 c 2188 91515 1631 1 - 0.0000 -
2186.40/2192.93 c 2193 91733 1635 1 - 0.0000 -
2191.59/2198.19 c 2198 91937 1645 1 - 0.0000 -
2196.96/2203.51 c 2204 92173 1651 1 - 0.0000 -
2202.05/2208.61 c 2209 92422 1651 1 - 0.0000 -
2207.13/2213.72 c 2214 92655 1647 1 - 0.0000 -
2212.22/2218.82 c 2219 92874 1642 1 - 0.0000 -
2217.31/2223.91 c 2224 93111 1635 1 - 0.0000 -
2222.79/2229.40 c 2229 93316 1637 1 - 0.0000 -
2227.88/2234.54 c 2235 93575 1627 1 - 0.0000 -
2233.07/2239.71 c 2240 93802 1631 1 - 0.0000 -
2238.26/2244.91 c 2245 94062 1629 1 - 0.0000 -
2243.25/2249.96 c 2250 94308 1629 1 - 0.0000 -
2248.64/2255.31 c 2255 94570 1626 1 - 0.0000 -
2254.02/2260.71 c 2261 94793 1634 1 - 0.0000 -
2259.11/2265.81 c 2266 95017 1637 1 - 0.0000 -
2264.60/2271.32 c 2271 95282 1634 1 - 0.0000 -
2269.69/2276.42 c 2276 95530 1639 1 - 0.0000 -
2274.78/2281.53 c 2282 95656 1643 1 - 0.0000 -
2279.86/2286.62 c 2287 95890 1645 1 - 0.0000 -
2284.95/2291.76 c 2292 96128 1654 1 - 0.0000 -
2290.14/2296.96 c 2297 96372 1649 1 - 0.0000 -
2295.24/2302.08 c 2302 96644 1643 1 - 0.0000 -
2300.43/2307.20 c 2307 96847 1654 1 - 0.0000 -
2305.62/2312.44 c 2312 97039 1674 1 - 0.0000 -
2310.70/2317.54 c 2318 97311 1683 1 - 0.0000 -
2315.79/2322.62 c 2323 97587 1680 1 - 0.0000 -
2320.88/2327.70 c 2328 97849 1678 1 - 0.0000 -
2325.97/2332.85 c 2333 98082 1668 1 - 0.0000 -
2331.06/2337.93 c 2338 98336 1661 1 - 0.0000 -
2336.15/2343.02 c 2343 98523 1674 1 - 0.0000 -
2341.43/2348.32 c 2348 98724 1685 1 - 0.0000 -
2346.72/2353.66 c 2354 98992 1685 1 - 0.0000 -
2351.91/2358.85 c 2359 99230 1692 1 - 0.0000 -
2357.01/2363.97 c 2364 99485 1704 1 - 0.0000 -
2362.10/2369.07 c 2369 99778 1697 1 - 0.0000 -
2367.19/2374.14 c 2374 100055 1687 1 - 0.0000 -
2372.87/2379.86 c 2380 100228 1684 1 - 0.0000 -
2377.96/2384.95 c 2385 100439 1695 1 - 0.0000 -
2383.05/2390.02 c 2390 100703 1685 1 - 0.0000 -
2388.33/2395.30 c 2395 100942 1685 1 - 0.0000 -
2393.32/2400.38 c 2400 101178 1699 1 - 0.0000 -
2398.41/2405.45 c 2405 101390 1707 1 - 0.0000 -
2403.80/2410.87 c 2411 101658 1713 1 - 0.0000 -
2408.89/2415.96 c 2416 101950 1707 1 - 0.0000 -
2414.17/2421.22 c 2421 102103 1721 1 - 0.0000 -
2419.16/2426.28 c 2426 102315 1723 1 - 0.0000 -
2424.26/2431.36 c 2431 102552 1722 1 - 0.0000 -
2429.35/2436.47 c 2436 102789 1739 1 - 0.0000 -
2434.43/2441.58 c 2442 103031 1746 1 - 0.0000 -
2439.62/2446.70 c 2447 103267 1743 1 - 0.0000 -
2444.61/2451.78 c 2452 103527 1741 1 - 0.0000 -
2449.70/2456.87 c 2457 103783 1735 1 - 0.0000 -
2454.90/2462.00 c 2462 104002 1745 1 - 0.0000 -
2459.88/2467.08 c 2467 104286 1740 1 - 0.0000 -
2464.97/2472.15 c 2472 104490 1751 1 - 0.0000 -
2470.06/2477.23 c 2477 104719 1752 1 - 0.0000 -
2475.14/2482.33 c 2482 104942 1757 1 - 0.0000 -
2480.93/2488.19 c 2488 105183 1756 1 - 0.0000 -
2486.22/2493.44 c 2493 105451 1744 1 - 0.0000 -
2491.31/2498.53 c 2499 105692 1744 1 - 0.0000 -
2496.40/2503.60 c 2504 105943 1743 1 - 0.0000 -
2501.39/2508.69 c 2509 106194 1743 1 - 0.0000 -
2506.57/2513.80 c 2514 106416 1749 1 - 0.0000 -
2511.66/2518.95 c 2519 106693 1752 1 - 0.0000 -
2516.85/2524.16 c 2524 106968 1756 1 - 0.0000 -
2522.05/2529.39 c 2529 107220 1754 1 - 0.0000 -
2527.23/2534.52 c 2535 107448 1771 1 - 0.0000 -
2532.32/2539.69 c 2540 107691 1783 1 - 0.0000 -
2538.01/2545.38 c 2545 107866 1779 1 - 0.0000 -
2543.19/2550.53 c 2551 108128 1780 1 - 0.0000 -
2548.28/2555.64 c 2556 108340 1787 1 - 0.0000 -
2553.37/2560.78 c 2561 108591 1783 1 - 0.0000 -
2558.56/2565.91 c 2566 108824 1789 1 - 0.0000 -
2563.65/2571.01 c 2571 109131 1785 1 - 0.0000 -
2568.84/2576.24 c 2576 109382 1779 1 - 0.0000 -
2574.03/2581.45 c 2581 109682 1778 1 - 0.0000 -
2579.12/2586.53 c 2587 109950 1778 1 - 0.0000 -
2584.20/2591.67 c 2592 110213 1771 1 - 0.0000 -
2589.59/2597.07 c 2597 110448 1777 1 - 0.0000 -
2594.79/2602.27 c 2602 110658 1782 1 - 0.0000 -
2599.88/2607.35 c 2607 110902 1792 1 - 0.0000 -
2604.97/2612.45 c 2612 111076 1812 1 - 0.0000 -
2610.05/2617.54 c 2618 111343 1811 1 - 0.0000 -
2615.14/2622.66 c 2623 111594 1824 1 - 0.0000 -
2620.23/2627.78 c 2628 111825 1824 1 - 0.0000 -
2625.32/2632.86 c 2633 112059 1826 1 - 0.0000 -
2630.41/2637.94 c 2638 112339 1815 1 - 0.0000 -
2635.60/2643.12 c 2643 112564 1832 1 - 0.0000 -
2641.28/2648.84 c 2649 112830 1828 1 - 0.0000 -
2646.48/2654.05 c 2654 113067 1843 1 - 0.0000 -
2651.56/2659.16 c 2659 113296 1850 1 - 0.0000 -
2656.75/2664.34 c 2664 113534 1862 1 - 0.0000 -
2661.84/2669.41 c 2669 113824 1841 1 - 0.0000 -
2666.93/2674.51 c 2674 114097 1843 1 - 0.0000 -
2672.01/2679.62 c 2680 114347 1843 1 - 0.0000 -
2677.10/2684.72 c 2685 114619 1834 1 - 0.0000 -
2682.29/2689.98 c 2690 114853 1830 1 - 0.0000 -
2688.08/2695.70 c 2696 115104 1828 1 - 0.0000 -
2693.17/2700.81 c 2701 115316 1838 1 - 0.0000 -
2698.25/2705.91 c 2706 115582 1824 1 - 0.0000 -
2703.24/2710.98 c 2711 115870 1818 1 - 0.0000 -
2708.43/2716.18 c 2716 115925 1819 1 - 0.0000 -
2713.63/2721.32 c 2721 116182 1821 1 - 0.0000 -
2718.61/2726.38 c 2726 116474 1823 1 - 0.0000 -
2723.70/2731.44 c 2731 116714 1821 1 - 0.0000 -
2728.79/2736.55 c 2737 116980 1816 1 - 0.0000 -
2733.88/2741.64 c 2742 117244 1812 1 - 0.0000 -
2738.97/2746.72 c 2747 117485 1819 1 - 0.0000 -
2744.16/2751.92 c 2752 117726 1827 1 - 0.0000 -
2749.25/2757.02 c 2757 117986 1831 1 - 0.0000 -
2754.24/2762.09 c 2762 118252 1825 1 - 0.0000 -
2759.32/2767.16 c 2767 118467 1828 1 - 0.0000 -
2764.41/2772.25 c 2772 118732 1831 1 - 0.0000 -
2769.51/2777.39 c 2777 118978 1830 1 - 0.0000 -
2774.69/2782.58 c 2783 119209 1834 1 - 0.0000 -
2779.98/2787.83 c 2788 119438 1834 1 - 0.0000 -
2785.07/2792.93 c 2793 119640 1847 1 - 0.0000 -
2790.16/2798.05 c 2798 119920 1850 1 - 0.0000 -
2795.25/2803.13 c 2803 120174 1840 1 - 0.0000 -
2800.34/2808.22 c 2808 120439 1834 1 - 0.0000 -
2805.63/2813.52 c 2814 120683 1838 1 - 0.0000 -
2810.71/2818.61 c 2819 120961 1830 1 - 0.0000 -
2816.50/2824.47 c 2824 121213 1827 1 - 0.0000 -
2821.69/2829.69 c 2830 121448 1831 1 - 0.0000 -
2826.78/2834.79 c 2835 121658 1839 1 - 0.0000 -
2831.96/2839.91 c 2840 121900 1837 1 - 0.0000 -
2837.15/2845.13 c 2845 122110 1840 1 - 0.0000 -
2842.44/2850.44 c 2850 122344 1847 1 - 0.0000 -
2847.74/2855.71 c 2856 122599 1851 1 - 0.0000 -
2852.72/2860.79 c 2861 122885 1846 1 - 0.0000 -
2858.02/2866.06 c 2866 123127 1845 1 - 0.0000 -
2863.10/2871.16 c 2871 123379 1851 1 - 0.0000 -
2868.19/2876.24 c 2876 123655 1845 1 - 0.0000 -
2873.28/2881.36 c 2881 123929 1841 1 - 0.0000 -
2878.76/2886.88 c 2887 124097 1838 1 - 0.0000 -
2883.96/2892.05 c 2892 124376 1839 1 - 0.0000 -
2889.04/2897.20 c 2897 124655 1826 1 - 0.0000 -
2894.43/2902.50 c 2902 124869 1835 1 - 0.0000 -
2899.42/2907.58 c 2908 125095 1836 1 - 0.0000 -
2904.51/2912.66 c 2913 125320 1840 1 - 0.0000 -
2909.59/2917.75 c 2918 125556 1843 1 - 0.0000 -
2914.68/2922.88 c 2923 125834 1834 1 - 0.0000 -
2919.77/2927.96 c 2928 126110 1826 1 - 0.0000 -
2924.86/2933.05 c 2933 126350 1819 1 - 0.0000 -
2929.95/2938.18 c 2938 126617 1819 1 - 0.0000 -
2935.33/2943.53 c 2944 126855 1813 1 - 0.0000 -
2940.53/2948.70 c 2949 127124 1808 1 - 0.0000 -
2945.72/2953.96 c 2954 127377 1797 1 - 0.0000 -
2950.81/2959.08 c 2959 127640 1795 1 - 0.0000 -
2955.90/2964.19 c 2964 127894 1793 1 - 0.0000 -
2961.08/2969.31 c 2969 128141 1797 1 - 0.0000 -
2966.17/2974.43 c 2974 128368 1791 1 - 0.0000 -
2971.26/2979.50 c 2980 128589 1794 1 - 0.0000 -
2976.55/2984.87 c 2985 128736 1796 1 - 0.0000 -
2981.64/2989.92 c 2990 128986 1793 1 - 0.0000 -
2986.83/2995.13 c 2995 129252 1798 1 - 0.0000 -
2991.91/3000.23 c 3000 129514 1793 1 - 0.0000 -
2997.00/3005.31 c 3005 129797 1787 1 - 0.0000 -
3002.10/3010.43 c 3010 130013 1796 1 - 0.0000 -
3007.19/3015.51 c 3016 130261 1802 1 - 0.0000 -
3012.17/3020.59 c 3021 130532 1804 1 - 0.0000 -
3017.26/3025.67 c 3026 130815 1791 1 - 0.0000 -
3022.35/3030.76 c 3031 131082 1796 1 - 0.0000 -
3027.44/3035.82 c 3036 131335 1803 1 - 0.0000 -
3033.22/3041.67 c 3042 131574 1794 1 - 0.0000 -
3038.31/3046.78 c 3047 131800 1794 1 - 0.0000 -
3043.50/3051.97 c 3052 132066 1792 1 - 0.0000 -
3048.70/3057.17 c 3057 132312 1793 1 - 0.0000 -
3053.78/3062.27 c 3062 132554 1790 1 - 0.0000 -
3058.97/3067.41 c 3067 132821 1784 1 - 0.0000 -
3064.16/3072.60 c 3073 133049 1793 1 - 0.0000 -
3069.24/3077.71 c 3078 133311 1793 1 - 0.0000 -
3074.23/3082.78 c 3083 133591 1797 1 - 0.0000 -
3079.42/3087.98 c 3088 133890 1797 1 - 0.0000 -
3084.52/3093.05 c 3093 134147 1791 1 - 0.0000 -
3089.61/3098.16 c 3098 134414 1779 1 - 0.0000 -
3094.89/3103.41 c 3103 134691 1775 1 - 0.0000 -
3099.98/3108.53 c 3109 134966 1768 1 - 0.0000 -
3104.97/3113.56 c 3114 135123 1772 1 - 0.0000 -
3110.16/3118.76 c 3119 135330 1791 1 - 0.0000 -
3115.34/3123.91 c 3124 135568 1791 1 - 0.0000 -
3120.44/3129.00 c 3129 135818 1788 1 - 0.0000 -
3125.42/3134.08 c 3134 136048 1788 1 - 0.0000 -
3130.71/3139.32 c 3139 136273 1801 1 - 0.0000 -
3135.80/3144.43 c 3144 136542 1791 1 - 0.0000 -
3140.88/3149.50 c 3150 136808 1789 1 - 0.0000 -
3145.97/3154.63 c 3155 137104 1782 1 - 0.0000 -
3151.06/3159.75 c 3160 137359 1780 1 - 0.0000 -
3156.16/3164.85 c 3165 137608 1785 1 - 0.0000 -
3161.25/3169.96 c 3170 137872 1775 1 - 0.0000 -
3166.34/3175.03 c 3175 138109 1776 1 - 0.0000 -
3171.42/3180.13 c 3180 138378 1777 1 - 0.0000 -
3176.81/3185.54 c 3186 138619 1773 1 - 0.0000 -
3181.90/3190.66 c 3191 138890 1772 1 - 0.0000 -
3186.98/3195.74 c 3196 139155 1786 1 - 0.0000 -
3192.28/3201.00 c 3201 139438 1777 1 - 0.0000 -
3197.36/3206.13 c 3206 139689 1767 1 - 0.0000 -
3202.46/3211.22 c 3211 139928 1770 1 - 0.0000 -
3207.55/3216.31 c 3216 140192 1762 1 - 0.0000 -
3212.63/3221.46 c 3221 140445 1757 1 - 0.0000 -
3217.72/3226.57 c 3227 140663 1751 1 - 0.0000 -
3223.01/3231.84 c 3232 140868 1758 1 - 0.0000 -
3228.10/3236.95 c 3237 141134 1759 1 - 0.0000 -
3233.19/3242.05 c 3242 141409 1752 1 - 0.0000 -
3238.28/3247.14 c 3247 141668 1747 1 - 0.0000 -
3243.66/3252.54 c 3253 141813 1753 1 - 0.0000 -
3248.65/3257.59 c 3258 142078 1747 1 - 0.0000 -
3254.14/3263.07 c 3263 142334 1753 1 - 0.0000 -
3259.33/3268.23 c 3268 142625 1752 1 - 0.0000 -
3264.41/3273.35 c 3273 142880 1750 1 - 0.0000 -
3269.61/3278.55 c 3279 143146 1753 1 - 0.0000 -
3274.90/3283.86 c 3284 143390 1757 1 - 0.0000 -
3280.29/3289.28 c 3289 143647 1766 1 - 0.0000 -
3285.48/3294.49 c 3294 143899 1765 1 - 0.0000 -
3290.56/3299.57 c 3300 144128 1766 1 - 0.0000 -
3295.65/3304.68 c 3305 144379 1766 1 - 0.0000 -
3300.94/3309.90 c 3310 144664 1764 1 - 0.0000 -
3306.13/3315.18 c 3315 144934 1764 1 - 0.0000 -
3311.21/3320.24 c 3320 145222 1752 1 - 0.0000 -
3316.50/3325.52 c 3326 145466 1750 1 - 0.0000 -
3321.59/3330.64 c 3331 145697 1745 1 - 0.0000 -
3326.78/3335.85 c 3336 145942 1750 1 - 0.0000 -
3331.87/3340.92 c 3341 146177 1744 1 - 0.0000 -
3336.96/3346.01 c 3346 146468 1736 1 - 0.0000 -
3341.96/3351.10 c 3351 146727 1739 1 - 0.0000 -
3347.05/3356.17 c 3356 147025 1735 1 - 0.0000 -
3352.93/3362.07 c 3362 147254 1735 1 - 0.0000 -
3358.02/3367.15 c 3367 147514 1736 1 - 0.0000 -
3363.11/3372.23 c 3372 147782 1740 1 - 0.0000 -
3368.19/3377.38 c 3377 148062 1741 1 - 0.0000 -
3373.28/3382.49 c 3382 148291 1741 1 - 0.0000 -
3378.37/3387.59 c 3388 148539 1742 1 - 0.0000 -
3383.46/3392.69 c 3393 148809 1742 1 - 0.0000 -
3388.54/3397.77 c 3398 149081 1729 1 - 0.0000 -
3393.63/3402.84 c 3403 149361 1722 1 - 0.0000 -
3398.73/3407.93 c 3408 149626 1716 1 - 0.0000 -
3403.82/3413.04 c 3413 149897 1703 1 - 0.0000 -
3408.81/3418.07 c 3418 150103 1708 1 - 0.0000 -
3413.99/3423.27 c 3423 150324 1707 1 - 0.0000 -
3419.08/3428.38 c 3428 150592 1705 1 - 0.0000 -
3424.17/3433.44 c 3433 150873 1694 1 - 0.0000 -
3429.26/3438.53 c 3439 151118 1687 1 - 0.0000 -
3434.35/3443.61 c 3444 151407 1687 1 - 0.0000 -
3439.43/3448.70 c 3449 151672 1688 1 - 0.0000 -
3444.92/3454.23 c 3454 151840 1692 1 - 0.0000 -
3450.11/3459.42 c 3459 152088 1701 1 - 0.0000 -
3455.30/3464.63 c 3465 152355 1705 1 - 0.0000 -
3460.39/3469.79 c 3470 152645 1711 1 - 0.0000 -
3465.58/3474.98 c 3475 152935 1706 1 - 0.0000 -
3470.87/3480.20 c 3480 153214 1698 1 - 0.0000 -
3475.86/3485.27 c 3485 153456 1689 1 - 0.0000 -
3480.95/3490.35 c 3490 153734 1686 1 - 0.0000 -
3486.04/3495.42 c 3495 153993 1688 1 - 0.0000 -
3491.13/3500.55 c 3501 154196 1705 1 - 0.0000 -
3496.21/3505.65 c 3506 154487 1705 1 - 0.0000 -
3501.30/3510.72 c 3511 154719 1702 1 - 0.0000 -
3506.39/3515.82 c 3516 154983 1684 1 - 0.0000 -
3511.68/3521.15 c 3521 155195 1684 1 - 0.0000 -
3516.86/3526.38 c 3526 155455 1686 1 - 0.0000 -
3522.56/3532.06 c 3532 155686 1691 1 - 0.0000 -
3527.94/3537.40 c 3537 155947 1688 1 - 0.0000 -
3533.03/3542.51 c 3543 156206 1687 1 - 0.0000 -
3538.02/3547.58 c 3548 156478 1683 1 - 0.0000 -
3543.21/3552.70 c 3553 156719 1692 1 - 0.0000 -
3548.20/3557.79 c 3558 156989 1700 1 - 0.0000 -
3553.39/3562.95 c 3563 157266 1687 1 - 0.0000 -
3558.68/3568.23 c 3568 157539 1682 1 - 0.0000 -
3563.87/3573.40 c 3573 157772 1688 1 - 0.0000 -
3568.85/3578.46 c 3578 158038 1692 1 - 0.0000 -
3573.94/3583.57 c 3584 158279 1698 1 - 0.0000 -
3579.13/3588.71 c 3589 158537 1692 1 - 0.0000 -
3584.42/3594.04 c 3594 158802 1712 1 - 0.0000 -
3588.41/3598.07 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.41/3598.07 c Total Time : 3598.0700
3588.41/3598.07 c solving : 3598.0700
3588.41/3598.07 c presolving : 0.2466 (included in solving)
3588.41/3598.07 c B&B Tree :
3588.41/3598.07 c nodes (total) : 1
3588.41/3598.07 c Solution :
3588.41/3598.07 c Solutions found : 0
3588.41/3598.07 c Primal Bound : -
3588.41/3598.07 c Dual Bound : +0.00000000000000e+00
3588.41/3598.07 c Gap : -
3588.41/3598.08 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61070 MiB free)
memory of node 1: 64510 MiB (63709 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464676-1722387172/watcher-4464676-1722387172 -o /tmp/evaluation-result-4464676-1722387172/solver-4464676-1722387172 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722378594-29597 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464676-1722387172.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=34837, runsolver pid=34834
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 4.13 4.10 4.09 5/262 34838
/proc/meminfo: memFree=127753904/131524600 swapFree=131071996/131071996
[pid=34837] ppid=34834 vsize=42016 memory=31520 CPUtime=0.09 cores=5,7
/proc/34837/stat : 34837 (fscip) R 34834 34837 29584 0 -1 4194304 5884 0 0 0 9 0 0 0 20 0 1 0 5316553 43024384 7880 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
/proc/34837/statm: 10504 7880 2758 3035 0 6900 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42016 KiB
Current children cumulated memory: 31520 KiB
[startup+0.205637 s]*
/proc/loadavg: 4.12 4.10 4.09 5/262 34838
/proc/meminfo: memFree=127752992/131524600 swapFree=131071996/131071996
[pid=34837] ppid=34834 vsize=42272 memory=31784 CPUtime=0.2 cores=5,7
/proc/34837/stat : 34837 (fscip) R 34834 34837 29584 0 -1 4194304 5948 0 0 0 20 0 0 0 20 0 1 0 5316553 43286528 7946 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
/proc/34837/statm: 10568 7946 2758 3035 0 6964 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42272 KiB
Current children cumulated memory: 31784 KiB
[startup+0.306193 s]*
/proc/loadavg: 4.12 4.10 4.09 5/264 34840
/proc/meminfo: memFree=127719532/131524600 swapFree=131071996/131071996
[pid=34837] ppid=34834 vsize=148428 memory=65248 CPUtime=0.29 cores=5,7
/proc/34837/stat : 34837 (fscip) S 34834 34837 29584 0 -1 1077936128 15348 0 0 0 27 2 0 0 20 0 3 0 5316553 151990272 16312 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
/proc/34837/statm: 37107 16312 2790 3035 0 20869 0
[pid=34837/tid=34839] ppid=34834 vsize=148428 memory=-5155631301560658821 CPUtime=0.02 cores=5,7
/proc/34837/task/34839/stat : 34839 (fscip) R 34834 34837 29584 0 -1 4194368 4686 0 0 0 1 1 0 0 20 0 3 0 5316580 151990272 16312 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
[pid=34837/tid=34840] ppid=34834 vsize=148428 memory=0 CPUtime=0 cores=5,7
/proc/34837/task/34840/stat : 34840 (fscip) S 34834 34837 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5316581 151990272 16312 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 148428 KiB
Current children cumulated memory: 65248 KiB
[startup+0.700262 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 34840
/proc/meminfo: memFree=127712128/131524600 swapFree=131071996/131071996
[pid=34837] ppid=34834 vsize=154352 memory=82076 CPUtime=0.68 cores=5,7
/proc/34837/stat : 34837 (fscip) S 34834 34837 29584 0 -1 1077936128 19507 0 0 0 65 3 0 0 20 0 3 0 5316553 158056448 20519 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
/proc/34837/statm: 38588 20519 2934 3035 0 25408 0
[pid=34837/tid=34839] ppid=34834 vsize=154352 memory=5424 CPUtime=0.4 cores=5,7
/proc/34837/task/34839/stat : 34839 (fscip) R 34834 34837 29584 0 -1 4194368 8845 0 0 0 39 1 0 0 20 0 3 0 5316580 158056448 20519 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
[pid=34837/tid=34840] ppid=34834 vsize=154352 memory=417 CPUtime=0 cores=5,7
/proc/34837/task/34840/stat : 34840 (fscip) S 34834 34837 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5316581 158056448 20519 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 154352 KiB
Current children cumulated memory: 82076 KiB
[startup+1.50025 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 34840
/proc/meminfo: memFree=127703372/131524600 swapFree=131071996/131071996
[pid=34837] ppid=34834 vsize=154352 memory=84872 CPUtime=1.47 cores=5,7
/proc/34837/stat : 34837 (fscip) S 34834 34837 29584 0 -1 1077936128 21694 0 0 0 144 3 0 0 20 0 3 0 5316553 158056448 21218 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
/proc/34837/statm: 38588 21218 2950 3035 0 26047 0
[pid=34837/tid=34839] ppid=34834 vsize=154352 memory=417 CPUtime=1.19 cores=5,7
/proc/34837/task/34839/stat : 34839 (fscip) R 34834 34837 29584 0 -1 4194368 11032 0 0 0 118 1 0 0 20 0 3 0 5316580 158056448 21218 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
[pid=34837/tid=34840] ppid=34834 vsize=154352 memory=0 CPUtime=0 cores=5,7
/proc/34837/task/34840/stat : 34840 (fscip) S 34834 34837 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5316581 158056448 21218 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 154352 KiB
Current children cumulated memory: 84872 KiB
[startup+3.10545 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 34840
/proc/meminfo: memFree=127644724/131524600 swapFree=131071996/131071996
[pid=34837] ppid=34834 vsize=219888 memory=141680 CPUtime=3.07 cores=5,7
/proc/34837/stat : 34837 (fscip) S 34834 34837 29584 0 -1 1077936128 39750 0 0 0 302 5 0 0 20 0 3 0 5316553 225165312 35420 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
/proc/34837/statm: 54972 35420 2950 3035 0 41939 0
[pid=34837/tid=34839] ppid=34834 vsize=219888 memory=-5155631301560658821 CPUtime=2.8 cores=5,7
/proc/34837/task/34839/stat : 34839 (fscip) R 34834 34837 29584 0 -1 4194368 29085 0 0 0 277 3 0 0 20 0 3 0 5316580 225165312 35420 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
[pid=34837/tid=34840] ppid=34834 vsize=219888 memory=0 CPUtime=0 cores=5,7
/proc/34837/task/34840/stat : 34840 (fscip) S 34834 34837 29584 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 5316581 225165312 35420 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 219888 KiB
Current children cumulated memory: 141680 KiB
[startup+6.30025 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 34840
/proc/meminfo: memFree=127622736/131524600 swapFree=131071996/131071996
[pid=34837] ppid=34834 vsize=219888 memory=161440 CPUtime=6.26 cores=5,7
/proc/34837/stat : 34837 (fscip) S 34834 34837 29584 0 -1 1077936128 45889 0 0 0 620 6 0 0 20 0 3 0 5316553 225165312 40360 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
/proc/34837/statm: 54972 40360 2950 3035 0 47246 0
[pid=34837/tid=34839] ppid=34834 vsize=219888 memory=11592 CPUtime=5.98 cores=5,7
/proc/34837/task/34839/stat : 34839 (fscip) R 34834 34837 29584 0 -1 4194368 35190 0 0 0 594 4 0 0 20 0 3 0 5316580 225165312 40360 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
[pid=34837/tid=34840] ppid=34834 vsize=219888 memory=11592 CPUtime=0 cores=5,7
/proc/34837/task/34840/stat : 34840 (fscip) S 34834 34837 29584 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 5316581 225165312 40360 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 219888 KiB
Current children cumulated memory: 161440 KiB
[startup+12.7003 s]
/proc/loadavg: 4.18 4.11 4.10 5/264 34842
/proc/meminfo: memFree=127618308/131524600 swapFree=131071996/131071996
[pid=34837] ppid=34834 vsize=219888 memory=162996 CPUtime=12.64 cores=5,7
/proc/34837/stat : 34837 (fscip) S 34834 34837 29584 0 -1 1077936128 52446 0 0 0 1258 6 0 0 20 0 3 0 5316553 225165312 40749 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
/proc/34837/statm: 54972 40749 2998 3035 0 47246 0
[pid=34837/tid=34839] ppid=34834 vsize=219888 memory=160240 CPUtime=12.36 cores=5,7
/proc/34837/task/34839/stat : 34839 (fscip) R 34834 34837 29584 0 -1 4194368 41695 0 0 0 1232 4 0 0 20 0 3 0 5316580 225165312 40749 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
[pid=34837/tid=34840] ppid=34834 vsize=219888 memory=-5155631301560658821 CPUtime=0 cores=5,7
/proc/34837/task/34840/stat : 34840 (fscip) S 34834 34837 29584 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 5316581 225165312 40749 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 219888 KiB
Current children cumulated memory: 162996 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.11 4.09 5/264 34843
/proc/meminfo: memFree=127614648/131524600 swapFree=131071996/131071996
[pid=34837] ppid=34834 vsize=219888 memory=163580 CPUtime=25.41 cores=5,7
/proc/34837/stat : 34837 (fscip) S 34834 34837 29584 0 -1 1077936128 104932 0 0 0 2532 9 0 0 20 0 3 0 5316553 225165312 40895 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
/proc/34837/statm: 54972 40895 3014 3035 0 47246 0
[pid=34837/tid=34839] ppid=34834 vsize=219888 memory=11592 CPUtime=25.14 cores=5,7
/proc/34837/task/34839/stat : 34839 (fscip) R 34834 34837 29584 0 -1 4194368 94105 0 0 0 2506 8 0 0 20 0 3 0 5316580 225165312 40895 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
[pid=34837/tid=34840] ppid=34834 vsize=219888 memory=11592 CPUtime=0 cores=5,7
/proc/34837/task/34840/stat : 34840 (fscip) S 34834 34837 29584 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 5316581 225165312 40895 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 219888 KiB
Current children cumulated memory: 163580 KiB
[startup+51.1056 s]
/proc/loadavg: 4.16 4.11 4.09 5/264 34848
/proc/meminfo: memFree=127589796/131524600 swapFree=131071996/131071996
[pid=34837] ppid=34834 vsize=219888 memory=174732 CPUtime=50.93 cores=5,7
/proc/34837/stat : 34837 (fscip) S 34834 34837 29584 0 -1 1077936128 170540 0 0 0 5078 15 0 0 20 0 3 0 5316553 225165312 43683 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
/proc/34837/statm: 54972 43683 3014 3035 0 50774 0
[pid=34837/tid=34839] ppid=34834 vsize=219888 memory=7237110248620057705 CPUtime=50.66 cores=5,7
/proc/34837/task/34839/stat : 34839 (fscip) R 34834 34837 29584 0 -1 4194368 159610 0 0 0 5052 14 0 0 20 0 3 0 5316580 225165312 43683 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
[pid=34837/tid=34840] ppid=34834 vsize=219888 memory=11592 CPUtime=0 cores=5,7
/proc/34837/task/34840/stat : 34840 (fscip) S 34834 34837 29584 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 5316581 225165312 43683 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 219888 KiB
Current children cumulated memory: 174732 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 34857
/proc/meminfo: memFree=127537944/131524600 swapFree=131071996/131071996
[pid=34837] ppid=34834 vsize=285424 memory=202684 CPUtime=101.96 cores=5,7
/proc/34837/stat : 34837 (fscip) S 34834 34837 29584 0 -1 1077936128 255212 0 0 0 10173 23 0 0 20 0 3 0 5316553 292274176 50671 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
/proc/34837/statm: 71356 50671 3014 3035 0 57021 0
[pid=34837/tid=34839] ppid=34834 vsize=285424 memory=202684 CPUtime=101.67 cores=5,7
/proc/34837/task/34839/stat : 34839 (fscip) R 34834 34837 29584 0 -1 4194368 244163 0 0 0 10146 21 0 0 20 0 3 0 5316580 292274176 50671 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
[pid=34837/tid=34840] ppid=34834 vsize=285424 memory=202668 CPUtime=0 cores=5,7
/proc/34837/task/34840/stat : 34840 (fscip) S 34834 34837 29584 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 5316581 292274176 50671 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 285424 KiB
Current children cumulated memory: 202684 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 35251
/proc/meminfo: memFree=127517516/131524600 swapFree=131071996/131071996
[pid=34837] ppid=34834 vsize=285424 memory=202684 CPUtime=161.76 cores=5,7
/proc/34837/stat : 34837 (fscip) S 34834 34837 29584 0 -1 1077936128 281765 0 0 0 16149 27 0 0 20 0 3 0 5316553 292274176 50671 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
/proc/34837/statm: 71356 50671 3014 3035 0 57021 0
[pid=34837/tid=34839] ppid=34834 vsize=285424 memory=11592 CPUtime=161.48 cores=5,7
/proc/34837/task/34839/stat : 34839 (fscip) R 34834 34837 29584 0 -1 4194368 270634 0 0 0 16123 25 0 0 20 0 3 0 5316580 292274176 50671 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
[pid=34837/tid=34840] ppid=34834 vsize=285424 memory=11592 CPUtime=0 cores=5,7
/proc/34837/task/34840/stat : 34840 (fscip) S 34834 34837 29584 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 5316581 292274176 50671 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 285424 KiB
Current children cumulated memory: 202684 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/264 35261
/proc/meminfo: memFree=127489120/131524600 swapFree=131071996/131071996
[pid=34837] ppid=34834 vsize=285424 memory=202688 CPUtime=221.55 cores=5,7
/proc/34837/stat : 34837 (fscip) S 34834 34837 29584 0 -1 1077936128 293849 0 0 0 22127 28 0 0 20 0 3 0 5316553 292274176 50672 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
/proc/34837/statm: 71356 50672 3014 3035 0 57021 0
################
# More data... #
################
/proc/34837/statm: 89850 68243 3014 3035 0 71486 0
[pid=34837/tid=34839] ppid=34834 vsize=359400 memory=11592 CPUtime=3392.64 cores=5,7
/proc/34837/task/34839/stat : 34839 (fscip) R 34834 34837 29584 0 -1 4194368 519388 0 0 0 339170 94 0 0 20 0 3 0 5316580 368025600 68243 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
[pid=34837/tid=34840] ppid=34834 vsize=359400 memory=272972 CPUtime=0.03 cores=5,7
/proc/34837/task/34840/stat : 34840 (fscip) S 34834 34837 29584 0 -1 1077936192 230 0 0 0 1 2 0 0 20 0 3 0 5316581 368025600 68243 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
Current children cumulated CPU time: 3393.13 s
Current children cumulated vsize: 359400 KiB
Current children cumulated memory: 272972 KiB
[startup+3462.3 s]
/proc/loadavg: 1.10 1.14 1.88 2/239 36762
/proc/meminfo: memFree=129181344/131524600 swapFree=131071996/131071996
[pid=34837] ppid=34834 vsize=359400 memory=274012 CPUtime=3453 cores=5,7
/proc/34837/stat : 34837 (fscip) S 34834 34837 29584 0 -1 1077936128 534290 0 0 0 345195 105 0 0 20 0 3 0 5316553 368025600 68503 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
/proc/34837/statm: 89850 68503 3014 3035 0 71486 0
[pid=34837/tid=34839] ppid=34834 vsize=359400 memory=272972 CPUtime=3452.51 cores=5,7
/proc/34837/task/34839/stat : 34839 (fscip) R 34834 34837 29584 0 -1 4194368 521531 0 0 0 345156 95 0 0 20 0 3 0 5316580 368025600 68503 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
[pid=34837/tid=34840] ppid=34834 vsize=359400 memory=11592 CPUtime=0.03 cores=5,7
/proc/34837/task/34840/stat : 34840 (fscip) S 34834 34837 29584 0 -1 1077936192 233 0 0 0 1 2 0 0 20 0 3 0 5316581 368025600 68503 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
Current children cumulated CPU time: 3453 s
Current children cumulated vsize: 359400 KiB
Current children cumulated memory: 274012 KiB
[startup+3522.3 s]
/proc/loadavg: 1.15 1.15 1.83 2/239 36774
/proc/meminfo: memFree=129180836/131524600 swapFree=131071996/131071996
[pid=34837] ppid=34834 vsize=359400 memory=274156 CPUtime=3512.87 cores=5,7
/proc/34837/stat : 34837 (fscip) S 34834 34837 29584 0 -1 1077936128 536499 0 0 0 351181 106 0 0 20 0 3 0 5316553 368025600 68539 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
/proc/34837/statm: 89850 68539 3014 3035 0 71486 0
[pid=34837/tid=34839] ppid=34834 vsize=359400 memory=274076 CPUtime=3512.37 cores=5,7
/proc/34837/task/34839/stat : 34839 (fscip) R 34834 34837 29584 0 -1 4194368 523714 0 0 0 351141 96 0 0 20 0 3 0 5316580 368025600 68539 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
[pid=34837/tid=34840] ppid=34834 vsize=359400 memory=274076 CPUtime=0.03 cores=5,7
/proc/34837/task/34840/stat : 34840 (fscip) S 34834 34837 29584 0 -1 1077936192 236 0 0 0 1 2 0 0 20 0 3 0 5316581 368025600 68539 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
Current children cumulated CPU time: 3512.87 s
Current children cumulated vsize: 359400 KiB
Current children cumulated memory: 274156 KiB
[startup+3582.3 s]
/proc/loadavg: 1.05 1.12 1.78 2/239 36784
/proc/meminfo: memFree=129178092/131524600 swapFree=131071996/131071996
[pid=34837] ppid=34834 vsize=359400 memory=276508 CPUtime=3572.74 cores=5,7
/proc/34837/stat : 34837 (fscip) S 34834 34837 29584 0 -1 1077936128 539545 0 0 0 357167 107 0 0 20 0 3 0 5316553 368025600 69127 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
/proc/34837/statm: 89850 69127 3014 3035 0 72274 0
[pid=34837/tid=34839] ppid=34834 vsize=359400 memory=52432 CPUtime=3572.23 cores=5,7
/proc/34837/task/34839/stat : 34839 (fscip) R 34834 34837 29584 0 -1 4194368 526738 0 0 0 357127 96 0 0 20 0 3 0 5316580 368025600 69127 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
[pid=34837/tid=34840] ppid=34834 vsize=359400 memory=1900 CPUtime=0.03 cores=5,7
/proc/34837/task/34840/stat : 34840 (fscip) S 34834 34837 29584 0 -1 1077936192 239 0 0 0 1 2 0 0 20 0 3 0 5316581 368025600 69127 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
Current children cumulated CPU time: 3572.74 s
Current children cumulated vsize: 359400 KiB
Current children cumulated memory: 276508 KiB
[startup+3598.08 s]
# the end of solver process 34837 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.42 s, system=1.08279 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.05 1.12 1.78 2/239 36784
/proc/meminfo: memFree=129178092/131524600 swapFree=131071996/131071996
[pid=34837] ppid=34834 vsize=359400 memory=276508 CPUtime=3574.44 cores=5,7
/proc/34837/stat : 34837 (fscip) S 34834 34837 29584 0 -1 1077936128 539545 0 0 0 357337 107 0 0 20 0 3 0 5316553 368025600 69127 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
/proc/34837/statm: 89850 69127 3014 3035 0 72274 0
[pid=34837/tid=34839] ppid=34834 vsize=359400 memory=-7091035829880054397 CPUtime=3573.93 cores=5,7
/proc/34837/task/34839/stat : 34839 (fscip) R 34834 34837 29584 0 -1 4194368 526738 0 0 0 357297 96 0 0 20 0 3 0 5316580 368025600 69127 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
[pid=34837/tid=34840] ppid=34834 vsize=359400 memory=4499547499027656351 CPUtime=0.03 cores=5,7
/proc/34837/task/34840/stat : 34840 (fscip) S 34834 34837 29584 0 -1 1077936192 239 0 0 0 1 2 0 0 20 0 3 0 5316581 368025600 69127 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
Current children cumulated CPU time: 3574.44 s
Current children cumulated vsize: 359400 KiB
Current children cumulated memory: 276508 KiB
[startup+3590.4 s]
/proc/loadavg: 1.05 1.11 1.77 2/239 36786
/proc/meminfo: memFree=129178008/131524600 swapFree=131071996/131071996
[pid=34837] ppid=34834 vsize=359400 memory=276508 CPUtime=3580.83 cores=5,7
/proc/34837/stat : 34837 (fscip) S 34834 34837 29584 0 -1 1077936128 539572 0 0 0 357976 107 0 0 20 0 3 0 5316553 368025600 69127 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
/proc/34837/statm: 89850 69127 3014 3035 0 72274 0
[pid=34837/tid=34839] ppid=34834 vsize=359400 memory=276508 CPUtime=3580.31 cores=5,7
/proc/34837/task/34839/stat : 34839 (fscip) R 34834 34837 29584 0 -1 4194368 526765 0 0 0 357935 96 0 0 20 0 3 0 5316580 368025600 69127 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
[pid=34837/tid=34840] ppid=34834 vsize=359400 memory=11592 CPUtime=0.03 cores=5,7
/proc/34837/task/34840/stat : 34840 (fscip) S 34834 34837 29584 0 -1 1077936192 239 0 0 0 1 2 0 0 20 0 3 0 5316581 368025600 69127 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
Current children cumulated CPU time: 3580.83 s
Current children cumulated vsize: 359400 KiB
Current children cumulated memory: 276508 KiB
[startup+3593.6 s]
/proc/loadavg: 1.05 1.11 1.77 2/239 36786
/proc/meminfo: memFree=129178008/131524600 swapFree=131071996/131071996
[pid=34837] ppid=34834 vsize=359400 memory=276508 CPUtime=3584.02 cores=5,7
/proc/34837/stat : 34837 (fscip) S 34834 34837 29584 0 -1 1077936128 539572 0 0 0 358295 107 0 0 20 0 3 0 5316553 368025600 69127 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
/proc/34837/statm: 89850 69127 3014 3035 0 72274 0
[pid=34837/tid=34839] ppid=34834 vsize=359400 memory=276508 CPUtime=3583.51 cores=5,7
/proc/34837/task/34839/stat : 34839 (fscip) R 34834 34837 29584 0 -1 4194368 526765 0 0 0 358255 96 0 0 20 0 3 0 5316580 368025600 69127 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
[pid=34837/tid=34840] ppid=34834 vsize=359400 memory=276508 CPUtime=0.03 cores=5,7
/proc/34837/task/34840/stat : 34840 (fscip) S 34834 34837 29584 0 -1 1077936192 239 0 0 0 1 2 0 0 20 0 3 0 5316581 368025600 69127 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
Current children cumulated CPU time: 3584.02 s
Current children cumulated vsize: 359400 KiB
Current children cumulated memory: 276508 KiB
[startup+3595.2 s]
/proc/loadavg: 1.05 1.11 1.77 2/239 36786
/proc/meminfo: memFree=129178000/131524600 swapFree=131071996/131071996
[pid=34837] ppid=34834 vsize=359400 memory=276508 CPUtime=3585.61 cores=5,7
/proc/34837/stat : 34837 (fscip) S 34834 34837 29584 0 -1 1077936128 539578 0 0 0 358454 107 0 0 20 0 3 0 5316553 368025600 69127 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
/proc/34837/statm: 89850 69127 3014 3035 0 72274 0
[pid=34837/tid=34839] ppid=34834 vsize=359400 memory=276508 CPUtime=3585.1 cores=5,7
/proc/34837/task/34839/stat : 34839 (fscip) R 34834 34837 29584 0 -1 4194368 526771 0 0 0 358414 96 0 0 20 0 3 0 5316580 368025600 69127 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
[pid=34837/tid=34840] ppid=34834 vsize=359400 memory=12976 CPUtime=0.03 cores=5,7
/proc/34837/task/34840/stat : 34840 (fscip) S 34834 34837 29584 0 -1 1077936192 239 0 0 0 1 2 0 0 20 0 3 0 5316581 368025600 69127 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
Current children cumulated CPU time: 3585.61 s
Current children cumulated vsize: 359400 KiB
Current children cumulated memory: 276508 KiB
[startup+3596.8 s]
/proc/loadavg: 1.04 1.11 1.76 2/239 36786
/proc/meminfo: memFree=129178008/131524600 swapFree=131071996/131071996
[pid=34837] ppid=34834 vsize=359400 memory=276508 CPUtime=3587.21 cores=5,7
/proc/34837/stat : 34837 (fscip) S 34834 34837 29584 0 -1 1077936128 539578 0 0 0 358614 107 0 0 20 0 3 0 5316553 368025600 69127 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
/proc/34837/statm: 89850 69127 3014 3035 0 72274 0
[pid=34837/tid=34839] ppid=34834 vsize=359400 memory=12976 CPUtime=3586.7 cores=5,7
/proc/34837/task/34839/stat : 34839 (fscip) R 34834 34837 29584 0 -1 4194368 526771 0 0 0 358574 96 0 0 20 0 3 0 5316580 368025600 69127 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
[pid=34837/tid=34840] ppid=34834 vsize=359400 memory=2268 CPUtime=0.03 cores=5,7
/proc/34837/task/34840/stat : 34840 (fscip) S 34834 34837 29584 0 -1 1077936192 239 0 0 0 1 2 0 0 20 0 3 0 5316581 368025600 69127 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
Current children cumulated CPU time: 3587.21 s
Current children cumulated vsize: 359400 KiB
Current children cumulated memory: 276508 KiB
[startup+3597.6 s]
/proc/loadavg: 1.04 1.11 1.76 2/239 36787
/proc/meminfo: memFree=129177972/131524600 swapFree=131071996/131071996
[pid=34837] ppid=34834 vsize=359400 memory=276508 CPUtime=3588.01 cores=5,7
/proc/34837/stat : 34837 (fscip) S 34834 34837 29584 0 -1 1077936128 539578 0 0 0 358694 107 0 0 20 0 3 0 5316553 368025600 69127 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
/proc/34837/statm: 89850 69127 3014 3035 0 72274 0
[pid=34837/tid=34839] ppid=34834 vsize=359400 memory=5424 CPUtime=3587.5 cores=5,7
/proc/34837/task/34839/stat : 34839 (fscip) R 34834 34837 29584 0 -1 4194368 526771 0 0 0 358654 96 0 0 20 0 3 0 5316580 368025600 69127 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
[pid=34837/tid=34840] ppid=34834 vsize=359400 memory=1900 CPUtime=0.03 cores=5,7
/proc/34837/task/34840/stat : 34840 (fscip) S 34834 34837 29584 0 -1 1077936192 239 0 0 0 1 2 0 0 20 0 3 0 5316581 368025600 69127 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
Current children cumulated CPU time: 3588.01 s
Current children cumulated vsize: 359400 KiB
Current children cumulated memory: 276508 KiB
[startup+3598 s]*
/proc/loadavg: 1.04 1.11 1.76 2/239 36787
/proc/meminfo: memFree=129177972/131524600 swapFree=131071996/131071996
[pid=34837] ppid=34834 vsize=359400 memory=276508 CPUtime=3588.41 cores=5,7
/proc/34837/stat : 34837 (fscip) S 34834 34837 29584 0 -1 1077936128 539578 0 0 0 358734 107 0 0 20 0 3 0 5316553 368025600 69127 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
/proc/34837/statm: 89850 69127 3014 3035 0 72274 0
[pid=34837/tid=34839] ppid=34834 vsize=359400 memory=-7091035829880054397 CPUtime=3587.9 cores=5,7
/proc/34837/task/34839/stat : 34839 (fscip) R 34834 34837 29584 0 -1 4194368 526771 0 0 0 358694 96 0 0 20 0 3 0 5316580 368025600 69127 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
[pid=34837/tid=34840] ppid=34834 vsize=359400 memory=4499547499027656351 CPUtime=0.03 cores=5,7
/proc/34837/task/34840/stat : 34840 (fscip) S 34834 34837 29584 0 -1 1077936192 239 0 0 0 1 2 0 0 20 0 3 0 5316581 368025600 69127 134679101440 4194304 16623229 140726464899584 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726464902166 140726464902282 140726464902282 140726464909296 0
Current children cumulated CPU time: 3588.41 s
Current children cumulated vsize: 359400 KiB
Current children cumulated memory: 276508 KiB
Child status: 0
Real time (s): 3598.08
CPU time (s): 3588.51
CPU user time (s): 3587.42
CPU system time (s): 1.08279
CPU usage (%): 99.7338
Max. virtual memory (cumulated for all children) (KiB): 359400
Max. memory (cumulated for all children) (KiB): 276508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.42
system time used= 1.08279
maximum resident set size= 276508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 540083
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= 10556
involuntary context switches= 1496
# summary of solver processes directly reported to runsolver:
# pid: 34837
# total CPU time (s): 3588.51
# total CPU user time (s): 3587.42
# total CPU system time (s): 1.08279
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.30109 second user time and 16.3022 second system time
The end
Begin job on nodeC023 at 2024-07-31 02:52:52
IDJOB=4464676
IDBENCH=162921
IDSOLVER=3092
FILE ID=nodeC023/4464676-1722387172
RUNJOBID= nodeC023-1722378594-29597
SLURM_JOB_ID= 8249846
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_25.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-4464676-1722387172/watcher-4464676-1722387172 -o /tmp/evaluation-result-4464676-1722387172/solver-4464676-1722387172 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722378594-29597 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464676-1722387172.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 327700430205073718cfdeea5c9331a0
RANDOM SEED=2017193718
nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3669.051
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3671.177
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.279
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.188
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3669.022
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.624
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.264
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3673.510
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127775364 kB
MemAvailable: 128234016 kB
Buffers: 107656 kB
Cached: 1185492 kB
SwapCached: 0 kB
Active: 276728 kB
Inactive: 2995408 kB
Active(anon): 1560 kB
Inactive(anon): 1998812 kB
Active(file): 275168 kB
Inactive(file): 996596 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28484 kB
Writeback: 16 kB
AnonPages: 1977292 kB
Mapped: 124680 kB
Shmem: 21336 kB
KReclaimable: 53068 kB
Slab: 133568 kB
SReclaimable: 53068 kB
SUnreclaim: 80500 kB
KernelStack: 4204 kB
PageTables: 12752 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1382128 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9984 kB
HardwareCorrupted: 0 kB
AnonHugePages: 731136 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: 164564 kB
DirectMap2M: 10094592 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC023 at 2024-07-31 03:52:51