0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.09 c Default LC presolving (default).
0.00/0.09 c ** Before presolving: virtualMemUsedAtLc = 89654528, getVmSize() = 74899456, SCIPgetMemUsed() = 45003619, SCIPgetMemTotal() = 49912187, SCIPgetMemExternEstim() = 39742341
0.00/0.09 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.99/1.04 c ** Estimated virtualMemUsedAtSolver = 86599103, getVmSize() = 124063744, SCIPgetMemUsed() = 62333186, SCIPgetMemTotal() = 90156314, SCIPgetMemExternEstim() = 39742341
0.99/1.04 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.99/1.04 c Original Problem :
0.99/1.04 c Problem name : instance-4442600-1721297389
0.99/1.04 c Variables : 1800 (1800 binary, 0 integer, 0 implicit integer, 0 continuous)
0.99/1.04 c Constraints : 39645
0.99/1.04 c Objective sense : minimize
0.99/1.04 c Presolved Problem :
0.99/1.04 c Variables : 1800 (1800 binary, 0 integer, 0 implicit integer, 0 continuous)
0.99/1.04 c Constraints : 39728
0.99/1.04 c Constraints : Number
0.99/1.04 c setppc : 39683
0.99/1.04 c logicor : 45
0.99/1.04 c ** Instance transfer method used: 0
0.99/1.09 c ** ParaScipInstance copy does not increase the number of variables. **
1.10/1.13 c LC is working with racing ramp-up and with rebuilding tree after racing.
1.10/1.13 c Nodes Active
1.10/1.13 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
6.67/6.74 c 7 2 1 1 - 0.0000 -
12.56/12.64 c 13 65 64 1 - 0.0000 -
18.14/18.28 c 18 226 185 1 - 0.0000 -
23.52/23.63 c 24 420 255 1 - 0.0000 -
28.81/28.98 c 29 570 317 1 - 0.0000 -
33.89/34.05 c 34 771 364 1 - 0.0000 -
39.48/39.66 c 40 934 399 1 - 0.0000 -
45.56/45.77 c 46 1003 420 1 - 0.0000 -
51.64/51.86 c 52 1103 442 1 - 0.0000 -
56.73/56.96 c 57 1258 479 1 - 0.0000 -
62.81/63.06 c 63 1467 504 1 - 0.0000 -
68.09/68.30 c 68 1691 548 1 - 0.0000 -
73.68/73.91 c 74 1807 574 1 - 0.0000 -
79.06/79.39 c 79 1958 593 1 - 0.0000 -
84.45/84.78 c 85 2115 612 1 - 0.0000 -
89.83/90.12 c 90 2322 649 1 - 0.0000 -
95.52/95.82 c 96 2578 699 1 - 0.0000 -
100.60/100.93 c 101 2888 747 1 - 0.0000 -
106.59/106.93 c 107 3065 786 1 - 0.0000 -
113.16/113.53 c 114 3233 932 1 - 0.0000 -
118.25/118.69 c 119 3417 1022 1 - 0.0000 -
123.33/123.77 c 124 3755 1106 1 - 0.0000 -
128.82/129.29 c 129 4081 1168 1 - 0.0000 -
133.90/134.35 c 134 4439 1316 1 - 0.0000 -
139.48/139.90 c 140 4742 1405 1 - 0.0000 -
144.86/145.39 c 145 5086 1473 1 - 0.0000 -
149.95/150.49 c 150 5447 1568 1 - 0.0000 -
155.03/155.53 c 156 5847 1662 1 - 0.0000 -
161.11/161.64 c 162 5950 1735 1 - 0.0000 -
166.71/167.28 c 167 6018 1783 1 - 0.0000 -
173.39/173.92 c 174 6059 1816 1 - 0.0000 -
179.27/179.80 c 180 6384 1933 1 - 0.0000 -
184.25/184.86 c 185 6815 2056 1 - 0.0000 -
189.33/189.92 c 190 7321 2156 1 - 0.0000 -
195.40/196.07 c 196 7766 2239 1 - 0.0000 -
200.48/201.13 c 201 8178 2311 1 - 0.0000 -
205.46/206.18 c 206 8690 2403 1 - 0.0000 -
210.53/211.24 c 211 9074 2501 1 - 0.0000 -
215.61/216.31 c 216 9490 2603 1 - 0.0000 -
220.59/221.38 c 221 9888 2703 1 - 0.0000 -
225.67/226.44 c 226 10392 2765 1 - 0.0000 -
230.75/231.50 c 232 10870 2847 1 - 0.0000 -
235.72/236.55 c 237 11341 2934 1 - 0.0000 -
240.81/241.62 c 242 11877 3014 1 - 0.0000 -
245.88/246.72 c 247 12377 3092 1 - 0.0000 -
250.86/251.78 c 252 12830 3183 1 - 0.0000 -
255.95/256.84 c 257 13313 3262 1 - 0.0000 -
261.03/261.92 c 262 13815 3354 1 - 0.0000 -
266.70/267.65 c 268 13997 3412 1 - 0.0000 -
271.78/272.75 c 273 14503 3530 1 - 0.0000 -
276.85/277.81 c 278 15086 3598 1 - 0.0000 -
281.84/282.88 c 283 15626 3695 1 - 0.0000 -
287.71/288.70 c 289 15764 3759 1 - 0.0000 -
292.89/293.98 c 294 15909 3818 1 - 0.0000 -
297.97/299.03 c 299 16461 3930 1 - 0.0000 -
302.96/304.08 c 304 17044 3997 1 - 0.0000 -
308.13/309.26 c 309 17371 4158 1 - 0.0000 -
313.32/314.46 c 314 17836 4273 1 - 0.0000 -
318.40/319.50 c 320 18315 4402 1 - 0.0000 -
323.39/324.58 c 325 18818 4499 1 - 0.0000 -
328.46/329.63 c 330 19359 4596 1 - 0.0000 -
333.45/334.68 c 335 19909 4712 1 - 0.0000 -
338.94/340.13 c 340 20411 4818 1 - 0.0000 -
344.01/345.22 c 345 20804 4933 1 - 0.0000 -
349.00/350.27 c 350 21318 5029 1 - 0.0000 -
354.18/355.47 c 355 21778 5133 1 - 0.0000 -
359.76/361.07 c 361 22208 5243 1 - 0.0000 -
364.85/366.14 c 366 22694 5347 1 - 0.0000 -
369.93/371.20 c 371 23154 5461 1 - 0.0000 -
374.91/376.27 c 376 23603 5610 1 - 0.0000 -
379.99/381.31 c 381 24050 5707 1 - 0.0000 -
384.97/386.39 c 386 24502 5781 1 - 0.0000 -
390.06/391.43 c 391 24976 5867 1 - 0.0000 -
395.14/396.50 c 397 25447 5960 1 - 0.0000 -
400.12/401.57 c 402 25969 6010 1 - 0.0000 -
405.21/406.63 c 407 26437 6090 1 - 0.0000 -
410.19/411.69 c 412 26948 6209 1 - 0.0000 -
415.27/416.74 c 417 27498 6309 1 - 0.0000 -
420.86/422.33 c 422 27871 6492 1 - 0.0000 -
425.84/427.38 c 427 28316 6631 1 - 0.0000 -
430.92/432.46 c 432 28812 6735 1 - 0.0000 -
436.20/437.77 c 438 29297 6880 1 - 0.0000 -
441.29/442.82 c 443 29814 7003 1 - 0.0000 -
446.26/447.87 c 448 30311 7110 1 - 0.0000 -
451.46/453.04 c 453 30738 7189 1 - 0.0000 -
457.44/459.04 c 459 31252 7285 1 - 0.0000 -
462.52/464.11 c 464 31739 7384 1 - 0.0000 -
467.50/469.15 c 469 32248 7466 1 - 0.0000 -
472.58/474.22 c 474 32735 7571 1 - 0.0000 -
477.56/479.27 c 479 33197 7659 1 - 0.0000 -
482.64/484.33 c 484 33695 7735 1 - 0.0000 -
487.63/489.39 c 489 34196 7794 1 - 0.0000 -
492.71/494.49 c 494 34701 7887 1 - 0.0000 -
497.79/499.57 c 500 35197 7963 1 - 0.0000 -
502.87/504.64 c 505 35744 8016 1 - 0.0000 -
507.95/509.73 c 510 36285 8065 1 - 0.0000 -
512.94/514.77 c 515 36818 8122 1 - 0.0000 -
518.02/519.84 c 520 37375 8151 1 - 0.0000 -
523.11/524.92 c 525 37911 8219 1 - 0.0000 -
528.08/529.98 c 530 38458 8290 1 - 0.0000 -
533.17/535.03 c 535 38987 8341 1 - 0.0000 -
538.15/540.09 c 540 39492 8420 1 - 0.0000 -
543.24/545.15 c 545 40035 8505 1 - 0.0000 -
548.81/550.79 c 551 40465 8625 1 - 0.0000 -
554.20/556.18 c 556 40848 8720 1 - 0.0000 -
559.28/561.23 c 561 41404 8806 1 - 0.0000 -
564.27/566.30 c 566 41995 8845 1 - 0.0000 -
569.95/571.92 c 572 42581 8897 1 - 0.0000 -
574.92/576.96 c 577 43138 9012 1 - 0.0000 -
580.01/582.04 c 582 43705 9079 1 - 0.0000 -
584.99/587.08 c 587 44294 9132 1 - 0.0000 -
590.08/592.13 c 592 44894 9168 1 - 0.0000 -
595.15/597.23 c 597 45466 9242 1 - 0.0000 -
600.14/602.28 c 602 46092 9277 1 - 0.0000 -
605.72/607.85 c 608 46638 9333 1 - 0.0000 -
610.80/612.90 c 613 47167 9452 1 - 0.0000 -
615.78/617.96 c 618 47672 9567 1 - 0.0000 -
620.86/623.04 c 623 48228 9645 1 - 0.0000 -
625.85/628.08 c 628 48803 9728 1 - 0.0000 -
630.93/633.16 c 633 49286 9815 1 - 0.0000 -
636.00/638.21 c 638 49840 9911 1 - 0.0000 -
640.99/643.29 c 643 50385 9994 1 - 0.0000 -
646.07/648.34 c 648 50912 10089 1 - 0.0000 -
651.06/653.39 c 653 51467 10154 1 - 0.0000 -
656.13/658.46 c 658 52047 10208 1 - 0.0000 -
661.22/663.50 c 664 52637 10274 1 - 0.0000 -
666.20/668.60 c 669 53225 10344 1 - 0.0000 -
671.29/673.64 c 674 53804 10406 1 - 0.0000 -
676.37/678.70 c 679 54381 10455 1 - 0.0000 -
681.35/683.74 c 684 54966 10532 1 - 0.0000 -
686.43/688.82 c 689 55521 10622 1 - 0.0000 -
691.41/693.87 c 694 56047 10720 1 - 0.0000 -
696.50/698.92 c 699 56561 10826 1 - 0.0000 -
701.48/703.96 c 704 57086 10925 1 - 0.0000 -
706.57/709.03 c 709 57659 11018 1 - 0.0000 -
711.55/714.09 c 714 58245 11092 1 - 0.0000 -
716.64/719.15 c 719 58842 11157 1 - 0.0000 -
721.71/724.20 c 724 59431 11230 1 - 0.0000 -
726.70/729.25 c 729 60000 11306 1 - 0.0000 -
731.87/734.50 c 734 60481 11416 1 - 0.0000 -
736.95/739.56 c 740 61019 11498 1 - 0.0000 -
742.04/744.61 c 745 61564 11597 1 - 0.0000 -
747.02/749.66 c 750 62131 11674 1 - 0.0000 -
752.11/754.72 c 755 62673 11770 1 - 0.0000 -
757.09/759.77 c 760 63203 11858 1 - 0.0000 -
762.17/764.83 c 765 63747 11932 1 - 0.0000 -
767.25/769.90 c 770 64272 12019 1 - 0.0000 -
772.24/774.95 c 775 64823 12076 1 - 0.0000 -
777.32/780.00 c 780 65340 12165 1 - 0.0000 -
782.30/785.05 c 785 65879 12272 1 - 0.0000 -
787.29/790.09 c 790 66477 12338 1 - 0.0000 -
792.37/795.17 c 795 67008 12455 1 - 0.0000 -
797.45/800.21 c 800 67553 12546 1 - 0.0000 -
802.44/805.27 c 805 68065 12630 1 - 0.0000 -
807.52/810.31 c 810 68644 12689 1 - 0.0000 -
812.50/815.37 c 815 69113 12806 1 - 0.0000 -
817.59/820.43 c 820 69662 12891 1 - 0.0000 -
822.57/825.48 c 825 70178 12963 1 - 0.0000 -
827.65/830.56 c 831 70678 13027 1 - 0.0000 -
832.73/835.61 c 836 71182 13073 1 - 0.0000 -
837.82/840.71 c 841 71691 13112 1 - 0.0000 -
842.81/845.77 c 846 72205 13164 1 - 0.0000 -
848.39/851.31 c 851 72637 13240 1 - 0.0000 -
853.37/856.38 c 856 73201 13308 1 - 0.0000 -
858.46/861.44 c 861 73701 13404 1 - 0.0000 -
863.54/866.51 c 867 74164 13477 1 - 0.0000 -
868.53/871.56 c 872 74666 13551 1 - 0.0000 -
873.60/876.63 c 877 75204 13605 1 - 0.0000 -
878.59/881.68 c 882 75743 13660 1 - 0.0000 -
883.67/886.74 c 887 76259 13768 1 - 0.0000 -
888.76/891.80 c 892 76796 13857 1 - 0.0000 -
893.74/896.86 c 897 77355 13926 1 - 0.0000 -
898.82/901.92 c 902 77899 13994 1 - 0.0000 -
903.80/906.97 c 907 78485 14048 1 - 0.0000 -
908.89/912.03 c 912 79052 14111 1 - 0.0000 -
913.88/917.08 c 917 79609 14208 1 - 0.0000 -
918.96/922.14 c 922 80190 14287 1 - 0.0000 -
924.04/927.21 c 927 80776 14423 1 - 0.0000 -
929.02/932.26 c 932 81357 14512 1 - 0.0000 -
934.10/937.31 c 937 81895 14642 1 - 0.0000 -
939.08/942.37 c 942 82458 14761 1 - 0.0000 -
944.17/947.43 c 947 83005 14860 1 - 0.0000 -
949.15/952.48 c 952 83546 14931 1 - 0.0000 -
954.23/957.54 c 958 84101 15020 1 - 0.0000 -
959.31/962.60 c 963 84662 15085 1 - 0.0000 -
964.30/967.66 c 968 85228 15179 1 - 0.0000 -
969.38/972.71 c 973 85754 15313 1 - 0.0000 -
974.36/977.76 c 978 86300 15387 1 - 0.0000 -
979.45/982.82 c 983 86844 15455 1 - 0.0000 -
984.44/987.89 c 988 87354 15557 1 - 0.0000 -
989.51/992.95 c 993 87856 15679 1 - 0.0000 -
994.60/998.00 c 998 88370 15789 1 - 0.0000 -
999.59/1003.07 c 1003 88894 15887 1 - 0.0000 -
1004.67/1008.13 c 1008 89443 15968 1 - 0.0000 -
1009.66/1013.18 c 1013 89981 16044 1 - 0.0000 -
1014.73/1018.22 c 1018 90538 16139 1 - 0.0000 -
1019.72/1023.27 c 1023 91125 16204 1 - 0.0000 -
1024.80/1028.31 c 1028 91714 16277 1 - 0.0000 -
1029.79/1033.36 c 1033 92302 16351 1 - 0.0000 -
1034.87/1038.43 c 1038 92892 16441 1 - 0.0000 -
1039.85/1043.48 c 1043 93445 16522 1 - 0.0000 -
1044.94/1048.54 c 1049 93977 16642 1 - 0.0000 -
1049.92/1053.59 c 1054 94522 16733 1 - 0.0000 -
1055.00/1058.63 c 1059 95101 16806 1 - 0.0000 -
1059.99/1063.68 c 1064 95689 16884 1 - 0.0000 -
1065.08/1068.73 c 1069 96268 16973 1 - 0.0000 -
1070.16/1073.80 c 1074 96857 17074 1 - 0.0000 -
1075.25/1078.97 c 1079 97275 17184 1 - 0.0000 -
1080.34/1084.04 c 1084 97837 17276 1 - 0.0000 -
1085.32/1089.09 c 1089 98387 17374 1 - 0.0000 -
1090.41/1094.15 c 1094 98937 17446 1 - 0.0000 -
1095.49/1099.22 c 1099 99505 17514 1 - 0.0000 -
1100.47/1104.27 c 1104 100101 17578 1 - 0.0000 -
1105.55/1109.32 c 1109 100663 17656 1 - 0.0000 -
1110.54/1114.39 c 1114 101234 17751 1 - 0.0000 -
1115.63/1119.45 c 1119 101777 17836 1 - 0.0000 -
1120.72/1124.51 c 1125 102368 17889 1 - 0.0000 -
1125.70/1129.55 c 1130 102932 17977 1 - 0.0000 -
1130.79/1134.61 c 1135 103487 18064 1 - 0.0000 -
1135.77/1139.66 c 1140 104033 18250 1 - 0.0000 -
1140.86/1144.72 c 1145 104663 18298 1 - 0.0000 -
1145.84/1149.76 c 1150 105246 18397 1 - 0.0000 -
1150.93/1154.83 c 1155 105833 18502 1 - 0.0000 -
1155.92/1159.90 c 1160 106403 18584 1 - 0.0000 -
1161.00/1164.95 c 1165 106957 18724 1 - 0.0000 -
1165.98/1169.99 c 1170 107541 18816 1 - 0.0000 -
1171.08/1175.04 c 1175 108127 18874 1 - 0.0000 -
1176.06/1180.09 c 1180 108716 18941 1 - 0.0000 -
1181.35/1185.32 c 1185 109141 19014 1 - 0.0000 -
1187.04/1191.05 c 1191 109307 19042 1 - 0.0000 -
1192.13/1196.11 c 1196 109451 19078 1 - 0.0000 -
1197.30/1201.33 c 1201 109906 19145 1 - 0.0000 -
1202.79/1206.90 c 1207 110139 19194 1 - 0.0000 -
1208.28/1212.35 c 1212 110438 19253 1 - 0.0000 -
1213.56/1217.63 c 1218 110797 19312 1 - 0.0000 -
1218.85/1222.93 c 1223 110961 19344 1 - 0.0000 -
1223.94/1228.04 c 1228 111467 19410 1 - 0.0000 -
1229.12/1233.28 c 1233 111796 19461 1 - 0.0000 -
1234.51/1238.62 c 1239 112075 19504 1 - 0.0000 -
1239.49/1243.67 c 1244 112647 19590 1 - 0.0000 -
1245.58/1249.70 c 1250 112966 19663 1 - 0.0000 -
1250.67/1254.80 c 1255 113451 19742 1 - 0.0000 -
1255.86/1260.04 c 1260 113944 19790 1 - 0.0000 -
1260.94/1265.17 c 1265 114309 19851 1 - 0.0000 -
1266.82/1271.08 c 1271 114715 19951 1 - 0.0000 -
1272.92/1277.10 c 1277 114863 19997 1 - 0.0000 -
1278.09/1282.34 c 1282 115306 20056 1 - 0.0000 -
1283.18/1287.46 c 1287 115561 20099 1 - 0.0000 -
1288.27/1292.51 c 1293 116043 20189 1 - 0.0000 -
1293.76/1298.05 c 1298 116459 20243 1 - 0.0000 -
1298.85/1303.11 c 1303 116994 20305 1 - 0.0000 -
1303.83/1308.16 c 1308 117530 20393 1 - 0.0000 -
1309.61/1313.96 c 1314 117945 20460 1 - 0.0000 -
1314.70/1319.02 c 1319 118505 20556 1 - 0.0000 -
1319.68/1324.08 c 1324 119124 20617 1 - 0.0000 -
1324.77/1329.13 c 1329 119691 20682 1 - 0.0000 -
1329.75/1334.18 c 1334 120314 20720 1 - 0.0000 -
1334.84/1339.23 c 1339 120930 20788 1 - 0.0000 -
1339.92/1344.30 c 1344 121490 20840 1 - 0.0000 -
1344.91/1349.34 c 1349 122107 20903 1 - 0.0000 -
1349.99/1354.40 c 1354 122691 20967 1 - 0.0000 -
1354.98/1359.44 c 1359 123316 21031 1 - 0.0000 -
1359.96/1364.49 c 1364 123898 21091 1 - 0.0000 -
1365.05/1369.56 c 1370 124473 21140 1 - 0.0000 -
1370.13/1374.60 c 1375 125088 21204 1 - 0.0000 -
1375.32/1379.90 c 1380 125488 21252 1 - 0.0000 -
1380.51/1385.02 c 1385 125941 21343 1 - 0.0000 -
1385.51/1390.08 c 1390 126518 21390 1 - 0.0000 -
1390.59/1395.14 c 1395 127028 21438 1 - 0.0000 -
1395.67/1400.21 c 1400 127499 21482 1 - 0.0000 -
1401.05/1405.60 c 1406 127918 21546 1 - 0.0000 -
1406.13/1410.75 c 1411 128374 21620 1 - 0.0000 -
1411.23/1415.80 c 1416 128908 21704 1 - 0.0000 -
1416.61/1421.20 c 1421 129518 21774 1 - 0.0000 -
1422.19/1426.82 c 1427 129963 21851 1 - 0.0000 -
1427.18/1431.87 c 1432 130488 21942 1 - 0.0000 -
1432.27/1436.93 c 1437 131089 22017 1 - 0.0000 -
1437.85/1442.58 c 1443 131663 22129 1 - 0.0000 -
1442.94/1447.65 c 1448 132238 22220 1 - 0.0000 -
1448.02/1452.71 c 1453 132853 22291 1 - 0.0000 -
1453.41/1458.15 c 1458 133444 22388 1 - 0.0000 -
1458.50/1463.20 c 1463 134035 22473 1 - 0.0000 -
1463.48/1468.26 c 1468 134639 22549 1 - 0.0000 -
1468.57/1473.34 c 1473 135227 22595 1 - 0.0000 -
1474.15/1478.90 c 1479 135518 22654 1 - 0.0000 -
1479.13/1483.95 c 1484 136041 22731 1 - 0.0000 -
1484.62/1489.47 c 1489 136578 22807 1 - 0.0000 -
1489.71/1494.52 c 1495 137139 22910 1 - 0.0000 -
1494.90/1499.78 c 1500 137664 22989 1 - 0.0000 -
1499.98/1504.84 c 1505 138136 23061 1 - 0.0000 -
1504.97/1509.89 c 1510 138665 23156 1 - 0.0000 -
1510.05/1514.94 c 1515 139232 23227 1 - 0.0000 -
1515.04/1519.99 c 1520 139823 23306 1 - 0.0000 -
1520.13/1525.05 c 1525 140400 23403 1 - 0.0000 -
1525.22/1530.11 c 1530 141004 23483 1 - 0.0000 -
1530.20/1535.16 c 1535 141597 23582 1 - 0.0000 -
1535.28/1540.20 c 1540 142155 23682 1 - 0.0000 -
1540.27/1545.26 c 1545 142704 23793 1 - 0.0000 -
1545.36/1550.31 c 1550 143273 23886 1 - 0.0000 -
1550.34/1555.37 c 1555 143842 23991 1 - 0.0000 -
1555.43/1560.44 c 1560 144436 24085 1 - 0.0000 -
1560.41/1565.49 c 1565 144912 24175 1 - 0.0000 -
1565.50/1570.53 c 1571 145467 24260 1 - 0.0000 -
1570.68/1575.72 c 1576 145983 24360 1 - 0.0000 -
1575.67/1580.79 c 1581 146552 24463 1 - 0.0000 -
1580.97/1586.03 c 1586 147089 24572 1 - 0.0000 -
1585.95/1591.08 c 1591 147661 24680 1 - 0.0000 -
1591.03/1596.13 c 1596 148232 24797 1 - 0.0000 -
1596.02/1601.18 c 1601 148817 24926 1 - 0.0000 -
1601.10/1606.24 c 1606 149430 25049 1 - 0.0000 -
1606.09/1611.29 c 1611 150028 25159 1 - 0.0000 -
1611.17/1616.34 c 1616 150613 25302 1 - 0.0000 -
1616.25/1621.41 c 1621 151234 25391 1 - 0.0000 -
1621.24/1626.46 c 1626 151858 25479 1 - 0.0000 -
1626.33/1631.52 c 1632 152475 25566 1 - 0.0000 -
1631.32/1636.57 c 1637 153117 25622 1 - 0.0000 -
1636.40/1641.62 c 1642 153751 25692 1 - 0.0000 -
1641.39/1646.67 c 1647 154373 25752 1 - 0.0000 -
1646.47/1651.71 c 1652 154972 25855 1 - 0.0000 -
1651.46/1656.78 c 1657 155552 25957 1 - 0.0000 -
1656.54/1661.84 c 1662 156185 26024 1 - 0.0000 -
1661.53/1666.89 c 1667 156784 26107 1 - 0.0000 -
1666.62/1671.95 c 1672 157365 26178 1 - 0.0000 -
1671.60/1676.99 c 1677 157975 26264 1 - 0.0000 -
1676.70/1682.06 c 1682 158551 26388 1 - 0.0000 -
1681.78/1687.11 c 1687 159156 26461 1 - 0.0000 -
1686.76/1692.16 c 1692 159750 26555 1 - 0.0000 -
1691.84/1697.22 c 1697 160404 26629 1 - 0.0000 -
1697.83/1703.24 c 1703 160749 26674 1 - 0.0000 -
1702.92/1708.30 c 1708 161324 26777 1 - 0.0000 -
1707.90/1713.34 c 1713 161894 26843 1 - 0.0000 -
1713.28/1718.70 c 1719 162419 26922 1 - 0.0000 -
1718.58/1724.08 c 1724 162915 26988 1 - 0.0000 -
1723.66/1729.16 c 1729 163450 27077 1 - 0.0000 -
1728.74/1734.22 c 1734 164029 27142 1 - 0.0000 -
1734.43/1739.93 c 1740 164555 27220 1 - 0.0000 -
1739.71/1745.20 c 1745 165091 27300 1 - 0.0000 -
1744.70/1750.25 c 1750 165568 27377 1 - 0.0000 -
1749.79/1755.31 c 1755 166112 27419 1 - 0.0000 -
1754.77/1760.39 c 1760 166655 27544 1 - 0.0000 -
1759.86/1765.44 c 1765 167267 27610 1 - 0.0000 -
1764.94/1770.51 c 1771 167829 27696 1 - 0.0000 -
1769.93/1775.56 c 1776 168416 27761 1 - 0.0000 -
1775.02/1780.62 c 1781 168978 27877 1 - 0.0000 -
1780.00/1785.67 c 1786 169572 27957 1 - 0.0000 -
1785.09/1790.71 c 1791 170182 28019 1 - 0.0000 -
1790.07/1795.77 c 1796 170770 28073 1 - 0.0000 -
1795.16/1800.81 c 1801 171353 28159 1 - 0.0000 -
1800.15/1805.88 c 1806 171906 28214 1 - 0.0000 -
1805.23/1810.93 c 1811 172522 28270 1 - 0.0000 -
1810.22/1815.97 c 1816 173121 28337 1 - 0.0000 -
1815.31/1821.05 c 1821 173734 28408 1 - 0.0000 -
1820.40/1826.11 c 1826 174342 28482 1 - 0.0000 -
1825.38/1831.19 c 1831 174961 28534 1 - 0.0000 -
1830.46/1836.23 c 1836 175581 28598 1 - 0.0000 -
1835.55/1841.30 c 1841 176204 28671 1 - 0.0000 -
1840.53/1846.36 c 1846 176799 28744 1 - 0.0000 -
1845.62/1851.41 c 1851 177399 28836 1 - 0.0000 -
1851.21/1857.00 c 1857 178025 28892 1 - 0.0000 -
1856.20/1862.08 c 1862 178596 28999 1 - 0.0000 -
1861.28/1867.14 c 1867 179187 29102 1 - 0.0000 -
1866.26/1872.19 c 1872 179791 29204 1 - 0.0000 -
1871.35/1877.25 c 1877 180424 29267 1 - 0.0000 -
1876.33/1882.29 c 1882 181042 29353 1 - 0.0000 -
1881.42/1887.35 c 1887 181643 29428 1 - 0.0000 -
1886.51/1892.40 c 1892 182242 29531 1 - 0.0000 -
1891.49/1897.45 c 1897 182864 29593 1 - 0.0000 -
1896.58/1902.50 c 1903 183462 29663 1 - 0.0000 -
1901.56/1907.56 c 1908 184084 29733 1 - 0.0000 -
1906.95/1912.95 c 1913 184420 29781 1 - 0.0000 -
1912.04/1918.02 c 1918 184891 29884 1 - 0.0000 -
1917.02/1923.08 c 1923 185397 29960 1 - 0.0000 -
1922.11/1928.19 c 1928 185893 30020 1 - 0.0000 -
1927.19/1933.24 c 1933 186509 30082 1 - 0.0000 -
1932.18/1938.29 c 1938 187114 30151 1 - 0.0000 -
1937.26/1943.35 c 1943 187731 30208 1 - 0.0000 -
1942.35/1948.40 c 1948 188323 30278 1 - 0.0000 -
1947.33/1953.45 c 1953 188935 30370 1 - 0.0000 -
1952.42/1958.50 c 1958 189567 30438 1 - 0.0000 -
1957.40/1963.54 c 1964 190201 30486 1 - 0.0000 -
1962.49/1968.61 c 1969 190833 30538 1 - 0.0000 -
1967.58/1973.76 c 1974 191372 30615 1 - 0.0000 -
1972.66/1978.81 c 1979 191984 30689 1 - 0.0000 -
1977.86/1984.02 c 1984 192581 30786 1 - 0.0000 -
1982.84/1989.06 c 1989 193198 30875 1 - 0.0000 -
1987.92/1994.12 c 1994 193808 30949 1 - 0.0000 -
1992.91/1999.17 c 1999 194426 31013 1 - 0.0000 -
1997.99/2004.22 c 2004 195055 31062 1 - 0.0000 -
2002.98/2009.26 c 2009 195675 31146 1 - 0.0000 -
2008.06/2014.31 c 2014 196308 31199 1 - 0.0000 -
2013.35/2019.63 c 2020 196814 31239 1 - 0.0000 -
2018.53/2024.89 c 2025 197275 31286 1 - 0.0000 -
2024.02/2030.39 c 2030 197743 31352 1 - 0.0000 -
2029.11/2035.46 c 2035 198315 31404 1 - 0.0000 -
2034.19/2040.50 c 2041 198944 31427 1 - 0.0000 -
2039.18/2045.55 c 2046 199535 31467 1 - 0.0000 -
2044.26/2050.62 c 2051 200104 31580 1 - 0.0000 -
2049.25/2055.68 c 2056 200694 31658 1 - 0.0000 -
2054.34/2060.73 c 2061 201292 31745 1 - 0.0000 -
2059.32/2065.79 c 2066 201905 31812 1 - 0.0000 -
2064.50/2070.93 c 2071 202475 31880 1 - 0.0000 -
2069.50/2075.98 c 2076 203088 31945 1 - 0.0000 -
2074.58/2081.04 c 2081 203723 31986 1 - 0.0000 -
2079.57/2086.09 c 2086 204339 32044 1 - 0.0000 -
2084.66/2091.14 c 2091 204946 32119 1 - 0.0000 -
2089.64/2096.19 c 2096 205526 32217 1 - 0.0000 -
2094.73/2101.25 c 2101 206116 32343 1 - 0.0000 -
2099.81/2106.30 c 2106 206668 32439 1 - 0.0000 -
2105.40/2111.93 c 2112 206978 32525 1 - 0.0000 -
2110.49/2117.02 c 2117 207310 32605 1 - 0.0000 -
2115.97/2122.55 c 2123 207609 32684 1 - 0.0000 -
2121.25/2127.84 c 2128 207768 32759 1 - 0.0000 -
2126.64/2133.22 c 2133 207944 32841 1 - 0.0000 -
2132.53/2139.13 c 2139 208224 32943 1 - 0.0000 -
2137.61/2144.22 c 2144 208490 32999 1 - 0.0000 -
2143.09/2149.71 c 2150 208721 33052 1 - 0.0000 -
2148.58/2155.24 c 2155 209070 33143 1 - 0.0000 -
2153.66/2160.34 c 2160 209519 33232 1 - 0.0000 -
2159.46/2166.12 c 2166 209819 33292 1 - 0.0000 -
2165.03/2171.74 c 2172 210225 33400 1 - 0.0000 -
2170.11/2176.80 c 2177 210647 33510 1 - 0.0000 -
2175.70/2182.49 c 2182 211041 33606 1 - 0.0000 -
2180.79/2187.54 c 2188 211559 33728 1 - 0.0000 -
2186.47/2193.27 c 2193 212091 33816 1 - 0.0000 -
2191.56/2198.32 c 2198 212588 33909 1 - 0.0000 -
2196.75/2203.55 c 2204 213069 34000 1 - 0.0000 -
2201.83/2208.65 c 2209 213591 34078 1 - 0.0000 -
2206.91/2213.70 c 2214 214131 34172 1 - 0.0000 -
2211.91/2218.76 c 2219 214670 34277 1 - 0.0000 -
2216.99/2223.81 c 2224 215215 34372 1 - 0.0000 -
2221.97/2228.88 c 2229 215688 34475 1 - 0.0000 -
2227.66/2234.56 c 2235 216105 34582 1 - 0.0000 -
2232.85/2239.77 c 2240 216302 34649 1 - 0.0000 -
2238.14/2245.00 c 2245 216522 34697 1 - 0.0000 -
2243.82/2250.72 c 2251 216768 34741 1 - 0.0000 -
2249.31/2256.29 c 2256 217125 34794 1 - 0.0000 -
2255.20/2262.18 c 2262 217507 34856 1 - 0.0000 -
2260.58/2267.50 c 2268 217889 34928 1 - 0.0000 -
2265.56/2272.58 c 2273 218286 34989 1 - 0.0000 -
2270.85/2277.86 c 2278 218791 35056 1 - 0.0000 -
2275.93/2282.91 c 2283 219302 35141 1 - 0.0000 -
2280.91/2287.97 c 2288 219841 35240 1 - 0.0000 -
2286.30/2293.32 c 2293 220389 35328 1 - 0.0000 -
2291.79/2298.85 c 2299 220860 35378 1 - 0.0000 -
2297.87/2304.93 c 2305 221273 35449 1 - 0.0000 -
2302.86/2309.99 c 2310 221672 35522 1 - 0.0000 -
2308.05/2315.16 c 2315 222173 35631 1 - 0.0000 -
2313.52/2320.64 c 2321 222589 35717 1 - 0.0000 -
2319.22/2326.31 c 2326 223008 35790 1 - 0.0000 -
2324.20/2331.36 c 2331 223543 35871 1 - 0.0000 -
2329.29/2336.41 c 2336 224038 35990 1 - 0.0000 -
2334.27/2341.46 c 2341 224521 36079 1 - 0.0000 -
2339.65/2346.87 c 2347 224958 36156 1 - 0.0000 -
2344.74/2351.92 c 2352 225470 36258 1 - 0.0000 -
2349.83/2357.00 c 2357 226000 36354 1 - 0.0000 -
2354.82/2362.06 c 2362 226560 36429 1 - 0.0000 -
2360.30/2367.56 c 2368 227037 36492 1 - 0.0000 -
2366.58/2373.84 c 2374 227478 36595 1 - 0.0000 -
2371.67/2378.90 c 2379 227942 36693 1 - 0.0000 -
2376.66/2383.96 c 2384 228476 36781 1 - 0.0000 -
2381.75/2389.04 c 2389 229013 36854 1 - 0.0000 -
2386.74/2394.08 c 2394 229421 36938 1 - 0.0000 -
2391.82/2399.16 c 2399 229904 37019 1 - 0.0000 -
2397.20/2404.58 c 2405 230425 37092 1 - 0.0000 -
2402.29/2409.62 c 2410 230955 37156 1 - 0.0000 -
2407.57/2414.95 c 2415 231400 37237 1 - 0.0000 -
2412.67/2420.01 c 2420 231919 37330 1 - 0.0000 -
2417.65/2425.05 c 2425 232451 37422 1 - 0.0000 -
2423.23/2430.63 c 2431 232724 37481 1 - 0.0000 -
2428.52/2435.90 c 2436 233118 37567 1 - 0.0000 -
2433.50/2440.94 c 2441 233613 37680 1 - 0.0000 -
2438.59/2446.01 c 2446 234145 37768 1 - 0.0000 -
2443.58/2451.08 c 2451 234641 37856 1 - 0.0000 -
2449.25/2456.70 c 2457 235158 37949 1 - 0.0000 -
2454.24/2461.77 c 2462 235648 38033 1 - 0.0000 -
2459.33/2466.85 c 2467 236183 38122 1 - 0.0000 -
2464.42/2471.91 c 2472 236717 38220 1 - 0.0000 -
2469.40/2476.97 c 2477 237290 38309 1 - 0.0000 -
2474.89/2482.47 c 2482 237798 38380 1 - 0.0000 -
2480.67/2488.28 c 2488 238187 38447 1 - 0.0000 -
2485.76/2493.33 c 2493 238710 38514 1 - 0.0000 -
2490.85/2498.43 c 2498 239224 38608 1 - 0.0000 -
2495.83/2503.48 c 2503 239777 38673 1 - 0.0000 -
2500.92/2508.55 c 2509 240318 38760 1 - 0.0000 -
2506.00/2513.60 c 2514 240872 38826 1 - 0.0000 -
2510.99/2518.64 c 2519 241425 38919 1 - 0.0000 -
2516.27/2523.99 c 2524 241885 39033 1 - 0.0000 -
2521.37/2529.06 c 2529 242408 39130 1 - 0.0000 -
2526.75/2534.46 c 2534 242847 39219 1 - 0.0000 -
2531.83/2539.54 c 2540 243384 39322 1 - 0.0000 -
2536.82/2544.58 c 2545 243921 39429 1 - 0.0000 -
2541.90/2549.65 c 2550 244432 39544 1 - 0.0000 -
2547.40/2555.16 c 2555 244937 39607 1 - 0.0000 -
2552.67/2560.42 c 2560 245345 39683 1 - 0.0000 -
2557.76/2565.50 c 2566 245881 39783 1 - 0.0000 -
2563.04/2570.86 c 2571 246389 39881 1 - 0.0000 -
2568.14/2575.92 c 2576 246827 39971 1 - 0.0000 -
2573.12/2580.98 c 2581 247331 40069 1 - 0.0000 -
2578.20/2586.04 c 2586 247806 40164 1 - 0.0000 -
2583.19/2591.08 c 2591 248356 40260 1 - 0.0000 -
2588.27/2596.14 c 2596 248936 40333 1 - 0.0000 -
2594.27/2602.18 c 2602 249234 40405 1 - 0.0000 -
2600.25/2608.16 c 2608 249394 40475 1 - 0.0000 -
2605.73/2613.62 c 2614 249522 40533 1 - 0.0000 -
2610.92/2618.86 c 2619 249978 40651 1 - 0.0000 -
2616.00/2623.91 c 2624 250511 40762 1 - 0.0000 -
2620.99/2628.97 c 2629 251067 40848 1 - 0.0000 -
2626.07/2634.07 c 2634 251564 40949 1 - 0.0000 -
2631.17/2639.11 c 2639 252128 41037 1 - 0.0000 -
2636.15/2644.16 c 2644 252679 41118 1 - 0.0000 -
2641.23/2649.22 c 2649 253223 41226 1 - 0.0000 -
2646.21/2654.28 c 2654 253764 41310 1 - 0.0000 -
2651.30/2659.35 c 2659 254307 41409 1 - 0.0000 -
2656.39/2664.44 c 2664 254851 41527 1 - 0.0000 -
2661.38/2669.49 c 2670 255408 41615 1 - 0.0000 -
2666.46/2674.58 c 2675 255964 41703 1 - 0.0000 -
2671.95/2680.05 c 2680 256312 41777 1 - 0.0000 -
2676.93/2685.10 c 2685 256826 41891 1 - 0.0000 -
2682.02/2690.17 c 2690 257342 41991 1 - 0.0000 -
2687.10/2695.21 c 2695 257862 42099 1 - 0.0000 -
2692.09/2700.26 c 2700 258387 42202 1 - 0.0000 -
2697.17/2705.32 c 2705 258926 42311 1 - 0.0000 -
2702.17/2710.37 c 2710 259441 42426 1 - 0.0000 -
2707.64/2715.89 c 2716 259867 42512 1 - 0.0000 -
2712.73/2720.96 c 2721 260382 42613 1 - 0.0000 -
2717.82/2726.03 c 2726 260913 42722 1 - 0.0000 -
2722.81/2731.07 c 2731 261489 42796 1 - 0.0000 -
2727.89/2736.12 c 2736 262028 42893 1 - 0.0000 -
2732.88/2741.18 c 2741 262451 42956 1 - 0.0000 -
2738.25/2746.54 c 2747 262753 43014 1 - 0.0000 -
2743.44/2751.74 c 2752 263166 43107 1 - 0.0000 -
2749.03/2757.34 c 2757 263648 43213 1 - 0.0000 -
2754.01/2762.39 c 2762 264137 43296 1 - 0.0000 -
2759.20/2767.59 c 2768 264654 43383 1 - 0.0000 -
2765.09/2773.41 c 2773 264708 43427 1 - 0.0000 -
2770.46/2778.87 c 2779 265241 43534 1 - 0.0000 -
2775.56/2783.92 c 2784 265783 43628 1 - 0.0000 -
2780.54/2788.99 c 2789 266292 43727 1 - 0.0000 -
2785.63/2794.05 c 2794 266824 43823 1 - 0.0000 -
2791.51/2799.91 c 2800 267378 43907 1 - 0.0000 -
2796.60/2805.05 c 2805 267831 44014 1 - 0.0000 -
2801.69/2810.11 c 2810 268352 44117 1 - 0.0000 -
2806.67/2815.16 c 2815 268876 44233 1 - 0.0000 -
2811.76/2820.23 c 2820 269397 44324 1 - 0.0000 -
2816.84/2825.30 c 2825 269917 44414 1 - 0.0000 -
2821.83/2830.36 c 2830 270454 44517 1 - 0.0000 -
2826.91/2835.42 c 2835 270963 44604 1 - 0.0000 -
2831.90/2840.48 c 2840 271495 44694 1 - 0.0000 -
2836.98/2845.52 c 2846 272018 44797 1 - 0.0000 -
2841.97/2850.58 c 2851 272539 44904 1 - 0.0000 -
2847.05/2855.65 c 2856 273076 45005 1 - 0.0000 -
2852.14/2860.71 c 2861 273557 45084 1 - 0.0000 -
2857.23/2865.80 c 2866 274072 45159 1 - 0.0000 -
2862.21/2870.87 c 2871 274636 45253 1 - 0.0000 -
2867.30/2875.96 c 2876 275137 45352 1 - 0.0000 -
2872.59/2881.23 c 2881 275611 45446 1 - 0.0000 -
2877.57/2886.28 c 2886 276117 45554 1 - 0.0000 -
2882.66/2891.34 c 2891 276643 45664 1 - 0.0000 -
2887.64/2896.39 c 2896 277196 45743 1 - 0.0000 -
2892.73/2901.46 c 2901 277748 45839 1 - 0.0000 -
2897.81/2906.58 c 2907 278155 45916 1 - 0.0000 -
2902.90/2911.64 c 2912 278693 45980 1 - 0.0000 -
2907.98/2916.70 c 2917 279239 46076 1 - 0.0000 -
2912.98/2921.76 c 2922 279806 46151 1 - 0.0000 -
2918.06/2926.81 c 2927 280335 46244 1 - 0.0000 -
2923.05/2931.88 c 2932 280853 46344 1 - 0.0000 -
2928.13/2936.93 c 2937 281395 46440 1 - 0.0000 -
2933.12/2941.98 c 2942 281927 46546 1 - 0.0000 -
2938.21/2947.07 c 2947 282466 46613 1 - 0.0000 -
2943.30/2952.11 c 2952 282963 46674 1 - 0.0000 -
2948.28/2957.16 c 2957 283496 46761 1 - 0.0000 -
2953.36/2962.23 c 2962 284032 46847 1 - 0.0000 -
2958.55/2967.48 c 2967 284535 46916 1 - 0.0000 -
2963.64/2972.53 c 2973 285063 46998 1 - 0.0000 -
2968.72/2977.61 c 2978 285615 47060 1 - 0.0000 -
2973.70/2982.68 c 2983 286201 47158 1 - 0.0000 -
2978.80/2987.75 c 2988 286756 47269 1 - 0.0000 -
2983.88/2992.82 c 2993 287326 47370 1 - 0.0000 -
2988.87/2997.89 c 2998 287886 47458 1 - 0.0000 -
2993.95/3002.97 c 3003 288436 47524 1 - 0.0000 -
2999.04/3008.02 c 3008 288977 47597 1 - 0.0000 -
3004.03/3013.08 c 3013 289489 47676 1 - 0.0000 -
3009.11/3018.15 c 3018 290041 47760 1 - 0.0000 -
3014.19/3023.29 c 3023 290512 47843 1 - 0.0000 -
3019.28/3028.34 c 3028 290981 47896 1 - 0.0000 -
3024.36/3033.41 c 3033 291532 47990 1 - 0.0000 -
3029.35/3038.46 c 3038 292039 48097 1 - 0.0000 -
3034.84/3043.95 c 3044 292434 48182 1 - 0.0000 -
3039.82/3048.99 c 3049 292890 48232 1 - 0.0000 -
3045.21/3054.36 c 3054 293420 48330 1 - 0.0000 -
3050.29/3059.45 c 3059 293929 48391 1 - 0.0000 -
3055.38/3064.50 c 3065 294425 48465 1 - 0.0000 -
3060.36/3069.58 c 3070 294966 48544 1 - 0.0000 -
3065.45/3074.65 c 3075 295523 48607 1 - 0.0000 -
3070.53/3079.71 c 3080 296013 48701 1 - 0.0000 -
3075.62/3084.80 c 3085 296415 48761 1 - 0.0000 -
3080.82/3090.06 c 3090 296837 48817 1 - 0.0000 -
3085.90/3095.12 c 3095 297403 48893 1 - 0.0000 -
3091.28/3100.51 c 3101 297806 48944 1 - 0.0000 -
3096.77/3106.02 c 3106 298275 49011 1 - 0.0000 -
3101.85/3111.14 c 3111 298700 49104 1 - 0.0000 -
3107.23/3116.51 c 3117 299237 49195 1 - 0.0000 -
3112.22/3121.57 c 3122 299817 49279 1 - 0.0000 -
3117.71/3127.02 c 3127 300261 49375 1 - 0.0000 -
3123.19/3132.50 c 3133 300361 49413 1 - 0.0000 -
3128.68/3138.02 c 3138 300479 49465 1 - 0.0000 -
3134.17/3143.53 c 3144 300752 49528 1 - 0.0000 -
3139.55/3148.98 c 3149 301263 49629 1 - 0.0000 -
3144.64/3154.05 c 3154 301791 49739 1 - 0.0000 -
3149.72/3159.10 c 3159 302301 49793 1 - 0.0000 -
3154.71/3164.18 c 3164 302837 49859 1 - 0.0000 -
3159.79/3169.25 c 3169 303367 49931 1 - 0.0000 -
3164.87/3174.30 c 3174 303887 49987 1 - 0.0000 -
3169.86/3179.34 c 3179 304386 50082 1 - 0.0000 -
3174.94/3184.40 c 3184 304958 50160 1 - 0.0000 -
3179.93/3189.46 c 3189 305483 50261 1 - 0.0000 -
3185.01/3194.50 c 3195 306016 50342 1 - 0.0000 -
3190.01/3199.55 c 3200 306591 50411 1 - 0.0000 -
3195.69/3205.20 c 3205 307042 50512 1 - 0.0000 -
3201.67/3211.25 c 3211 307158 50590 1 - 0.0000 -
3206.96/3216.58 c 3217 307500 50666 1 - 0.0000 -
3212.56/3222.14 c 3222 307898 50774 1 - 0.0000 -
3217.63/3227.21 c 3227 308101 50837 1 - 0.0000 -
3223.53/3233.12 c 3233 308309 50935 1 - 0.0000 -
3229.11/3238.74 c 3239 308437 50993 1 - 0.0000 -
3235.59/3245.20 c 3245 308525 51071 1 - 0.0000 -
3240.87/3250.51 c 3251 308583 51117 1 - 0.0000 -
3246.17/3255.89 c 3256 308821 51211 1 - 0.0000 -
3251.25/3260.94 c 3261 309365 51307 1 - 0.0000 -
3256.34/3266.02 c 3266 309836 51386 1 - 0.0000 -
3262.02/3271.74 c 3272 310128 51452 1 - 0.0000 -
3267.70/3277.44 c 3277 310649 51537 1 - 0.0000 -
3272.99/3282.78 c 3283 311085 51629 1 - 0.0000 -
3278.07/3287.83 c 3288 311621 51725 1 - 0.0000 -
3283.06/3292.88 c 3293 312162 51822 1 - 0.0000 -
3288.14/3297.93 c 3298 312704 51926 1 - 0.0000 -
3293.63/3303.44 c 3303 313136 52018 1 - 0.0000 -
3298.72/3308.50 c 3308 313603 52111 1 - 0.0000 -
3303.71/3313.57 c 3314 314130 52208 1 - 0.0000 -
3308.80/3318.62 c 3319 314670 52298 1 - 0.0000 -
3313.78/3323.69 c 3324 315205 52367 1 - 0.0000 -
3318.87/3328.76 c 3329 315740 52464 1 - 0.0000 -
3323.95/3333.81 c 3334 316281 52573 1 - 0.0000 -
3328.94/3338.85 c 3339 316845 52669 1 - 0.0000 -
3334.02/3343.90 c 3344 317403 52747 1 - 0.0000 -
3339.01/3348.98 c 3349 317975 52839 1 - 0.0000 -
3344.10/3354.03 c 3354 318531 52937 1 - 0.0000 -
3349.18/3359.11 c 3359 319056 53012 1 - 0.0000 -
3354.18/3364.19 c 3364 319514 53080 1 - 0.0000 -
3359.25/3369.26 c 3369 320065 53145 1 - 0.0000 -
3364.34/3374.32 c 3374 320620 53244 1 - 0.0000 -
3369.42/3379.40 c 3379 321153 53325 1 - 0.0000 -
3374.41/3384.45 c 3384 321675 53435 1 - 0.0000 -
3379.50/3389.51 c 3390 322233 53511 1 - 0.0000 -
3384.49/3394.57 c 3395 322733 53607 1 - 0.0000 -
3389.57/3399.64 c 3400 323285 53681 1 - 0.0000 -
3394.65/3404.72 c 3405 323817 53769 1 - 0.0000 -
3400.14/3410.22 c 3410 324318 53824 1 - 0.0000 -
3405.22/3415.30 c 3415 324905 53897 1 - 0.0000 -
3410.22/3420.38 c 3420 325483 53979 1 - 0.0000 -
3415.30/3425.43 c 3425 326033 54065 1 - 0.0000 -
3420.29/3430.49 c 3430 326602 54138 1 - 0.0000 -
3425.37/3435.56 c 3436 327152 54236 1 - 0.0000 -
3430.45/3440.61 c 3441 327731 54299 1 - 0.0000 -
3435.44/3445.66 c 3446 328292 54382 1 - 0.0000 -
3440.53/3450.70 c 3451 328840 54484 1 - 0.0000 -
3445.52/3455.77 c 3456 329418 54596 1 - 0.0000 -
3450.60/3460.82 c 3461 329978 54668 1 - 0.0000 -
3455.58/3465.87 c 3466 330545 54731 1 - 0.0000 -
3460.67/3470.94 c 3471 331087 54849 1 - 0.0000 -
3465.76/3476.03 c 3476 331607 54955 1 - 0.0000 -
3471.05/3481.38 c 3481 332071 55029 1 - 0.0000 -
3476.23/3486.57 c 3487 332575 55097 1 - 0.0000 -
3481.31/3491.61 c 3492 333115 55145 1 - 0.0000 -
3486.40/3496.74 c 3497 333565 55197 1 - 0.0000 -
3491.38/3501.79 c 3502 334129 55265 1 - 0.0000 -
3496.47/3506.84 c 3507 334681 55335 1 - 0.0000 -
3501.46/3511.88 c 3512 335270 55390 1 - 0.0000 -
3506.54/3516.95 c 3517 335842 55432 1 - 0.0000 -
3511.73/3522.14 c 3522 336393 55491 1 - 0.0000 -
3516.81/3527.20 c 3527 336927 55575 1 - 0.0000 -
3521.80/3532.27 c 3532 337412 55632 1 - 0.0000 -
3526.89/3537.35 c 3537 337962 55694 1 - 0.0000 -
3531.97/3542.42 c 3542 338537 55755 1 - 0.0000 -
3536.96/3547.47 c 3547 339088 55832 1 - 0.0000 -
3542.05/3552.53 c 3553 339633 55935 1 - 0.0000 -
3547.03/3557.59 c 3558 340188 56030 1 - 0.0000 -
3552.12/3562.65 c 3563 340767 56117 1 - 0.0000 -
3557.20/3567.70 c 3568 341297 56233 1 - 0.0000 -
3562.19/3572.78 c 3573 341829 56341 1 - 0.0000 -
3567.28/3577.82 c 3578 342387 56427 1 - 0.0000 -
3572.26/3582.88 c 3583 343000 56493 1 - 0.0000 -
3577.74/3588.34 c 3588 343429 56534 1 - 0.0000 -
3582.83/3593.44 c 3593 343817 56604 1 - 0.0000 -
3587.82/3598.49 c 3598 344393 56682 1 - 0.0000 -
3589.92/3600.54 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.92/3600.54 c Total Time : 3600.5500
3589.92/3600.54 c solving : 3600.5500
3589.92/3600.54 c presolving : 0.9518 (included in solving)
3589.92/3600.54 c B&B Tree :
3589.92/3600.54 c nodes (total) : 1
3589.92/3600.54 c Solution :
3589.92/3600.54 c Solutions found : 0
3589.92/3600.54 c Primal Bound : -
3589.92/3600.54 c Dual Bound : +0.00000000000000e+00
3589.92/3600.54 c Gap : -
3590.01/3600.60 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: 63968 MiB (62246 MiB free)
memory of node 1: 64473 MiB (63040 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442600-1721297389/watcher-4442600-1721297389 -o /tmp/evaluation-result-4442600-1721297389/solver-4442600-1721297389 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721293769-954240 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4442600-1721297389.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
Current StackSize limit: 8192 KiB
solver pid=957303, runsolver pid=957300
[startup+0.100427 s]*
/proc/loadavg: 4.18 4.13 4.09 5/260 957304
/proc/meminfo: memFree=128240456/131524600 swapFree=131071996/131071996
[pid=957303] ppid=957300 vsize=75192 memory=62764 CPUtime=0.09 cores=5,7
/proc/957303/stat : 957303 (fscip) R 957300 957303 954227 0 -1 4194304 13537 0 0 0 7 2 0 0 20 0 1 0 181905111 76996608 15691 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
/proc/957303/statm: 18798 15691 2590 3032 0 15198 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 75192 KiB
Current children cumulated memory: 62764 KiB
[startup+0.205458 s]*
/proc/loadavg: 4.18 4.13 4.09 5/260 957304
/proc/meminfo: memFree=128229872/131524600 swapFree=131071996/131071996
[pid=957303] ppid=957300 vsize=85304 memory=73268 CPUtime=0.2 cores=5,7
/proc/957303/stat : 957303 (fscip) R 957300 957303 954227 0 -1 4194304 21423 0 0 0 17 3 0 0 20 0 1 0 181905111 87351296 18317 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
/proc/957303/statm: 21326 18317 2670 3032 0 17726 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 85304 KiB
Current children cumulated memory: 73268 KiB
[startup+0.305519 s]*
/proc/loadavg: 4.18 4.13 4.09 5/260 957304
/proc/meminfo: memFree=128216428/131524600 swapFree=131071996/131071996
[pid=957303] ppid=957300 vsize=97968 memory=86584 CPUtime=0.3 cores=5,7
/proc/957303/stat : 957303 (fscip) R 957300 957303 954227 0 -1 4194304 26248 0 0 0 26 4 0 0 20 0 1 0 181905111 100319232 21646 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
/proc/957303/statm: 24492 21646 2686 3032 0 20892 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 97968 KiB
Current children cumulated memory: 86584 KiB
[startup+0.70019 s]
/proc/loadavg: 4.18 4.13 4.09 5/260 957304
/proc/meminfo: memFree=128201840/131524600 swapFree=131071996/131071996
[pid=957303] ppid=957300 vsize=123680 memory=102928 CPUtime=0.68 cores=5,7
/proc/957303/stat : 957303 (fscip) R 957300 957303 954227 0 -1 4194304 30281 0 0 0 64 4 0 0 20 0 1 0 181905111 126648320 25732 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
/proc/957303/statm: 30920 25732 2750 3032 0 27320 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 123680 KiB
Current children cumulated memory: 102928 KiB
[startup+1.50023 s]
/proc/loadavg: 4.18 4.13 4.09 5/260 957304
/proc/meminfo: memFree=128198848/131524600 swapFree=131071996/131071996
[pid=957303] ppid=957300 vsize=277976 memory=193212 CPUtime=1.48 cores=5,7
/proc/957303/stat : 957303 (fscip) S 957300 957303 954227 0 -1 1077936128 59695 0 0 0 140 8 0 0 20 0 3 0 181905111 284647424 48303 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
/proc/957303/statm: 69494 48303 2766 3032 0 52902 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 277976 KiB
Current children cumulated memory: 193212 KiB
[startup+3.10534 s]
/proc/loadavg: 4.16 4.13 4.09 5/262 957306
/proc/meminfo: memFree=128052272/131524600 swapFree=131071996/131071996
[pid=957303] ppid=957300 vsize=343512 memory=250804 CPUtime=3.09 cores=5,7
/proc/957303/stat : 957303 (fscip) S 957300 957303 954227 0 -1 1077936128 85526 0 0 0 298 11 0 0 20 0 3 0 181905111 351756288 62701 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
/proc/957303/statm: 85878 62701 2926 3032 0 69514 0
[pid=957303/tid=957305] ppid=957300 vsize=343512 memory=198340509722 CPUtime=1.99 cores=5,7
/proc/957303/task/957305/stat : 957305 (fscip) R 957300 957303 954227 0 -1 4194368 48777 0 0 0 195 4 0 0 20 0 3 0 181905216 351756288 62701 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
[pid=957303/tid=957306] ppid=957300 vsize=343512 memory=0 CPUtime=0 cores=5,7
/proc/957303/task/957306/stat : 957306 (fscip) S 957300 957303 954227 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 181905225 351756288 62701 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 343512 KiB
Current children cumulated memory: 250804 KiB
[startup+6.30023 s]
/proc/loadavg: 4.16 4.13 4.09 5/264 957312
/proc/meminfo: memFree=127993340/131524600 swapFree=131071996/131071996
[pid=957303] ppid=957300 vsize=409048 memory=304404 CPUtime=6.27 cores=5,7
/proc/957303/stat : 957303 (fscip) S 957300 957303 954227 0 -1 1077936128 114777 0 0 0 613 14 0 0 20 0 3 0 181905111 418865152 76101 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
/proc/957303/statm: 102262 76101 2926 3032 0 89144 0
[pid=957303/tid=957305] ppid=957300 vsize=409048 memory=0 CPUtime=5.18 cores=5,7
/proc/957303/task/957305/stat : 957305 (fscip) R 957300 957303 954227 0 -1 4194368 78026 0 0 0 510 8 0 0 20 0 3 0 181905216 418865152 76101 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
[pid=957303/tid=957306] ppid=957300 vsize=409048 memory=0 CPUtime=0 cores=5,7
/proc/957303/task/957306/stat : 957306 (fscip) S 957300 957303 954227 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 181905225 418865152 76101 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 409048 KiB
Current children cumulated memory: 304404 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 957312
/proc/meminfo: memFree=127965688/131524600 swapFree=131071996/131071996
[pid=957303] ppid=957300 vsize=409048 memory=330988 CPUtime=12.66 cores=5,7
/proc/957303/stat : 957303 (fscip) S 957300 957303 954227 0 -1 1077936128 146433 0 0 0 1249 17 0 0 20 0 3 0 181905111 418865152 82747 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
/proc/957303/statm: 102262 82747 2926 3032 0 95679 0
[pid=957303/tid=957305] ppid=957300 vsize=409048 memory=0 CPUtime=11.57 cores=5,7
/proc/957303/task/957305/stat : 957305 (fscip) R 957300 957303 954227 0 -1 4194368 109638 0 0 0 1146 11 0 0 20 0 3 0 181905216 418865152 82747 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
[pid=957303/tid=957306] ppid=957300 vsize=409048 memory=328368 CPUtime=0 cores=5,7
/proc/957303/task/957306/stat : 957306 (fscip) S 957300 957303 954227 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 181905225 418865152 82747 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 409048 KiB
Current children cumulated memory: 330988 KiB
[startup+25.5003 s]
/proc/loadavg: 4.19 4.13 4.09 5/264 957315
/proc/meminfo: memFree=127950780/131524600 swapFree=131071996/131071996
[pid=957303] ppid=957300 vsize=409048 memory=331332 CPUtime=25.42 cores=5,7
/proc/957303/stat : 957303 (fscip) S 957300 957303 954227 0 -1 1077936128 186435 0 0 0 2523 19 0 0 20 0 3 0 181905111 418865152 82833 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
/proc/957303/statm: 102262 82833 2974 3032 0 98111 0
[pid=957303/tid=957305] ppid=957300 vsize=409048 memory=11664 CPUtime=24.33 cores=5,7
/proc/957303/task/957305/stat : 957305 (fscip) R 957300 957303 954227 0 -1 4194368 149595 0 0 0 2420 13 0 0 20 0 3 0 181905216 418865152 82833 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
[pid=957303/tid=957306] ppid=957300 vsize=409048 memory=11664 CPUtime=0 cores=5,7
/proc/957303/task/957306/stat : 957306 (fscip) S 957300 957303 954227 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 181905225 418865152 82833 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 409048 KiB
Current children cumulated memory: 331332 KiB
[startup+51.1058 s]
/proc/loadavg: 4.20 4.14 4.09 5/265 957321
/proc/meminfo: memFree=127910184/131524600 swapFree=131071996/131071996
[pid=957303] ppid=957300 vsize=474584 memory=356816 CPUtime=50.95 cores=5,7
/proc/957303/stat : 957303 (fscip) S 957300 957303 954227 0 -1 1077936128 248861 0 0 0 5072 23 0 0 20 0 3 0 181905111 485974016 89204 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
/proc/957303/statm: 118646 89204 2974 3032 0 113078 0
[pid=957303/tid=957305] ppid=957300 vsize=474584 memory=348264 CPUtime=49.85 cores=5,7
/proc/957303/task/957305/stat : 957305 (fscip) R 957300 957303 954227 0 -1 4194368 211969 0 0 0 4968 17 0 0 20 0 3 0 181905216 485974016 89204 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
[pid=957303/tid=957306] ppid=957300 vsize=474584 memory=344924 CPUtime=0 cores=5,7
/proc/957303/task/957306/stat : 957306 (fscip) S 957300 957303 954227 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 181905225 485974016 89204 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 474584 KiB
Current children cumulated memory: 356816 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/265 957329
/proc/meminfo: memFree=127832820/131524600 swapFree=131071996/131071996
[pid=957303] ppid=957300 vsize=540120 memory=417068 CPUtime=101.99 cores=5,7
/proc/957303/stat : 957303 (fscip) S 957300 957303 954227 0 -1 1077936128 364835 0 0 0 10166 33 0 0 20 0 3 0 181905111 553082880 104267 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
/proc/957303/statm: 135030 104267 2974 3032 0 128443 0
[pid=957303/tid=957305] ppid=957300 vsize=540120 memory=417064 CPUtime=100.89 cores=5,7
/proc/957303/task/957305/stat : 957305 (fscip) R 957300 957303 954227 0 -1 4194368 327863 0 0 0 10063 26 0 0 20 0 3 0 181905216 553082880 104267 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
[pid=957303/tid=957306] ppid=957300 vsize=540120 memory=416644 CPUtime=0 cores=5,7
/proc/957303/task/957306/stat : 957306 (fscip) S 957300 957303 954227 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 181905225 553082880 104267 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 540120 KiB
Current children cumulated memory: 417068 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 957339
/proc/meminfo: memFree=127701760/131524600 swapFree=131071996/131071996
[pid=957303] ppid=957300 vsize=605656 memory=432676 CPUtime=161.81 cores=5,7
/proc/957303/stat : 957303 (fscip) S 957300 957303 954227 0 -1 1077936128 442790 0 0 0 16142 39 0 0 20 0 3 0 181905111 620191744 108169 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
/proc/957303/statm: 151414 108169 2974 3032 0 132054 0
[pid=957303/tid=957305] ppid=957300 vsize=605656 memory=422912 CPUtime=160.72 cores=5,7
/proc/957303/task/957305/stat : 957305 (fscip) R 957300 957303 954227 0 -1 4194368 405741 0 0 0 16039 33 0 0 20 0 3 0 181905216 620191744 108169 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
[pid=957303/tid=957306] ppid=957300 vsize=605656 memory=11664 CPUtime=0 cores=5,7
/proc/957303/task/957306/stat : 957306 (fscip) S 957300 957303 954227 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 181905225 620191744 108169 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 605656 KiB
Current children cumulated memory: 432676 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/265 957350
/proc/meminfo: memFree=127580104/131524600 swapFree=131071996/131071996
[pid=957303] ppid=957300 vsize=677264 memory=505268 CPUtime=221.58 cores=5,7
/proc/957303/stat : 957303 (fscip) S 957300 957303 954227 0 -1 1077936128 511271 0 0 0 22110 48 0 0 20 0 3 0 181905111 693518336 126317 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
/proc/957303/statm: 169316 126317 2974 3032 0 151655 0
[pid=957303/tid=957305] ppid=957300 vsize=677264 memory=424052 CPUtime=220.49 cores=5,7
/proc/957303/task/957305/stat : 957305 (fscip) R 957300 957303 954227 0 -1 4194368 474190 0 0 0 22007 42 0 0 20 0 3 0 181905216 693518336 126317 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
[pid=957303/tid=957306] ppid=957300 vsize=677264 memory=11664 CPUtime=0 cores=5,7
/proc/957303/task/957306/stat : 957306 (fscip) S 957300 957303 954227 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 181905225 693518336 126317 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 677264 KiB
Current children cumulated memory: 505268 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/265 957361
/proc/meminfo: memFree=127541888/131524600 swapFree=131071996/131071996
[pid=957303] ppid=957300 vsize=677264 memory=506392 CPUtime=281.34 cores=5,7
################
# More data... #
################
[pid=957303] ppid=957300 vsize=1722928 memory=1600728 CPUtime=3392.26 cores=5,7
/proc/957303/stat : 957303 (fscip) S 957300 957303 954227 0 -1 1077936128 1408200 0 0 0 338895 331 0 0 20 0 3 0 181905111 1764278272 400182 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
/proc/957303/statm: 430732 400182 2974 3032 0 411397 0
[pid=957303/tid=957305] ppid=957300 vsize=1722928 memory=43436 CPUtime=3390.93 cores=5,7
/proc/957303/task/957305/stat : 957305 (fscip) R 957300 957303 954227 0 -1 4194368 1370035 0 0 0 338776 317 0 0 20 0 3 0 181905216 1764278272 400182 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
[pid=957303/tid=957306] ppid=957300 vsize=1722928 memory=11664 CPUtime=0.03 cores=5,7
/proc/957303/task/957306/stat : 957306 (fscip) S 957300 957303 954227 0 -1 1077936192 138 0 0 0 1 2 0 0 20 0 3 0 181905225 1764278272 400182 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
Current children cumulated CPU time: 3392.26 s
Current children cumulated vsize: 1722928 KiB
Current children cumulated memory: 1600728 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/263 959126
/proc/meminfo: memFree=126193084/131524600 swapFree=131071996/131071996
[pid=957303] ppid=957300 vsize=1722928 memory=1616920 CPUtime=3452.09 cores=5,7
/proc/957303/stat : 957303 (fscip) S 957300 957303 954227 0 -1 1077936128 1419041 0 0 0 344872 337 0 0 20 0 3 0 181905111 1764278272 404230 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
/proc/957303/statm: 430732 404230 2974 3032 0 415225 0
[pid=957303/tid=957305] ppid=957300 vsize=1722928 memory=11664 CPUtime=3450.76 cores=5,7
/proc/957303/task/957305/stat : 957305 (fscip) R 957300 957303 954227 0 -1 4194368 1380855 0 0 0 344754 322 0 0 20 0 3 0 181905216 1764278272 404230 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
[pid=957303/tid=957306] ppid=957300 vsize=1722928 memory=1614724 CPUtime=0.03 cores=5,7
/proc/957303/task/957306/stat : 957306 (fscip) S 957300 957303 954227 0 -1 1077936192 140 0 0 0 1 2 0 0 20 0 3 0 181905225 1764278272 404230 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
Current children cumulated CPU time: 3452.09 s
Current children cumulated vsize: 1722928 KiB
Current children cumulated memory: 1616920 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/263 959136
/proc/meminfo: memFree=126176632/131524600 swapFree=131071996/131071996
[pid=957303] ppid=957300 vsize=1722928 memory=1632720 CPUtime=3511.92 cores=5,7
/proc/957303/stat : 957303 (fscip) S 957300 957303 954227 0 -1 1077936128 1428206 0 0 0 350850 342 0 0 20 0 3 0 181905111 1764278272 408180 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
/proc/957303/statm: 430732 408180 2974 3032 0 419199 0
[pid=957303/tid=957305] ppid=957300 vsize=1722928 memory=1616956 CPUtime=3510.59 cores=5,7
/proc/957303/task/957305/stat : 957305 (fscip) R 957300 957303 954227 0 -1 4194368 1389998 0 0 0 350731 328 0 0 20 0 3 0 181905216 1764278272 408180 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
[pid=957303/tid=957306] ppid=957300 vsize=1722928 memory=11664 CPUtime=0.04 cores=5,7
/proc/957303/task/957306/stat : 957306 (fscip) S 957300 957303 954227 0 -1 1077936192 142 0 0 0 1 3 0 0 20 0 3 0 181905225 1764278272 408180 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
Current children cumulated CPU time: 3511.92 s
Current children cumulated vsize: 1722928 KiB
Current children cumulated memory: 1632720 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.11 5/258 959335
/proc/meminfo: memFree=125940724/131524600 swapFree=131071996/131071996
[pid=957303] ppid=957300 vsize=1722928 memory=1653672 CPUtime=3571.76 cores=5,7
/proc/957303/stat : 957303 (fscip) S 957300 957303 954227 0 -1 1077936128 1438611 0 0 0 356828 348 0 0 20 0 3 0 181905111 1764278272 413418 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
/proc/957303/statm: 430732 413418 2974 3032 0 424658 0
[pid=957303/tid=957305] ppid=957300 vsize=1722928 memory=43436 CPUtime=3570.42 cores=5,7
/proc/957303/task/957305/stat : 957305 (fscip) R 957300 957303 954227 0 -1 4194368 1400383 0 0 0 356709 333 0 0 20 0 3 0 181905216 1764278272 413418 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
[pid=957303/tid=957306] ppid=957300 vsize=1722928 memory=11664 CPUtime=0.04 cores=5,7
/proc/957303/task/957306/stat : 957306 (fscip) S 957300 957303 954227 0 -1 1077936192 144 0 0 0 1 3 0 0 20 0 3 0 181905225 1764278272 413418 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
Current children cumulated CPU time: 3571.76 s
Current children cumulated vsize: 1722928 KiB
Current children cumulated memory: 1653672 KiB
[startup+3600.62 s]
# the end of solver process 957303 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.46 s, system=3.58159 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.14 4.11 5/258 959335
/proc/meminfo: memFree=125930136/131524600 swapFree=131071996/131071996
[pid=957303] ppid=957300 vsize=1722928 memory=1653776 CPUtime=3573.46 cores=5,7
/proc/957303/stat : 957303 (fscip) S 957300 957303 954227 0 -1 1077936128 1438850 0 0 0 356998 348 0 0 20 0 3 0 181905111 1764278272 413444 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
/proc/957303/statm: 430732 413444 2974 3032 0 424658 0
[pid=957303/tid=957305] ppid=957300 vsize=1722928 memory=2700 CPUtime=3572.12 cores=5,7
/proc/957303/task/957305/stat : 957305 (fscip) R 957300 957303 954227 0 -1 4194368 1400622 0 0 0 356879 333 0 0 20 0 3 0 181905216 1764278272 413444 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
[pid=957303/tid=957306] ppid=957300 vsize=1722928 memory=13856 CPUtime=0.04 cores=5,7
/proc/957303/task/957306/stat : 957306 (fscip) S 957300 957303 954227 0 -1 1077936192 144 0 0 0 1 3 0 0 20 0 3 0 181905225 1764278272 413444 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
Current children cumulated CPU time: 3573.46 s
Current children cumulated vsize: 1722928 KiB
Current children cumulated memory: 1653776 KiB
[startup+3590.4 s]
/proc/loadavg: 4.12 4.14 4.11 5/258 959336
/proc/meminfo: memFree=125830708/131524600 swapFree=131071996/131071996
[pid=957303] ppid=957300 vsize=1722928 memory=1654164 CPUtime=3579.84 cores=5,7
/proc/957303/stat : 957303 (fscip) S 957300 957303 954227 0 -1 1077936128 1439950 0 0 0 357635 349 0 0 20 0 3 0 181905111 1764278272 413541 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
/proc/957303/statm: 430732 413541 2974 3032 0 424658 0
[pid=957303/tid=957305] ppid=957300 vsize=1722928 memory=1653000 CPUtime=3578.5 cores=5,7
/proc/957303/task/957305/stat : 957305 (fscip) R 957300 957303 954227 0 -1 4194368 1401722 0 0 0 357516 334 0 0 20 0 3 0 181905216 1764278272 413541 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
[pid=957303/tid=957306] ppid=957300 vsize=1722928 memory=1653944 CPUtime=0.04 cores=5,7
/proc/957303/task/957306/stat : 957306 (fscip) S 957300 957303 954227 0 -1 1077936192 144 0 0 0 1 3 0 0 20 0 3 0 181905225 1764278272 413541 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
Current children cumulated CPU time: 3579.84 s
Current children cumulated vsize: 1722928 KiB
Current children cumulated memory: 1654164 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.14 4.10 5/258 959338
/proc/meminfo: memFree=125822032/131524600 swapFree=131071996/131071996
[pid=957303] ppid=957300 vsize=1788464 memory=1657048 CPUtime=3586.22 cores=5,7
/proc/957303/stat : 957303 (fscip) S 957300 957303 954227 0 -1 1077936128 1441051 0 0 0 358273 349 0 0 20 0 3 0 181905111 1831387136 414262 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
/proc/957303/statm: 447116 414262 2974 3032 0 425425 0
[pid=957303/tid=957305] ppid=957300 vsize=1788464 memory=11664 CPUtime=3584.87 cores=5,7
/proc/957303/task/957305/stat : 957305 (fscip) R 957300 957303 954227 0 -1 4194368 1402823 0 0 0 358153 334 0 0 20 0 3 0 181905216 1831387136 414262 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
[pid=957303/tid=957306] ppid=957300 vsize=1788464 memory=11664 CPUtime=0.04 cores=5,7
/proc/957303/task/957306/stat : 957306 (fscip) S 957300 957303 954227 0 -1 1077936192 144 0 0 0 1 3 0 0 20 0 3 0 181905225 1831387136 414262 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
Current children cumulated CPU time: 3586.22 s
Current children cumulated vsize: 1788464 KiB
Current children cumulated memory: 1657048 KiB
[startup+3598.4 s]
/proc/loadavg: 4.11 4.14 4.10 5/258 959338
/proc/meminfo: memFree=125819980/131524600 swapFree=131071996/131071996
[pid=957303] ppid=957300 vsize=1788464 memory=1657288 CPUtime=3587.82 cores=5,7
/proc/957303/stat : 957303 (fscip) S 957300 957303 954227 0 -1 1077936128 1441352 0 0 0 358432 350 0 0 20 0 3 0 181905111 1831387136 414322 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
/proc/957303/statm: 447116 414322 2974 3032 0 425425 0
[pid=957303/tid=957305] ppid=957300 vsize=1788464 memory=-9104703273349456572 CPUtime=3586.47 cores=5,7
/proc/957303/task/957305/stat : 957305 (fscip) R 957300 957303 954227 0 -1 4194368 1403124 0 0 0 358313 334 0 0 20 0 3 0 181905216 1831387136 414322 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
[pid=957303/tid=957306] ppid=957300 vsize=1788464 memory=4376 CPUtime=0.04 cores=5,7
/proc/957303/task/957306/stat : 957306 (fscip) S 957300 957303 954227 0 -1 1077936192 144 0 0 0 1 3 0 0 20 0 3 0 181905225 1831387136 414322 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
Current children cumulated CPU time: 3587.82 s
Current children cumulated vsize: 1788464 KiB
Current children cumulated memory: 1657288 KiB
[startup+3600 s]*
/proc/loadavg: 4.10 4.13 4.10 5/258 959338
/proc/meminfo: memFree=125814436/131524600 swapFree=131071996/131071996
[pid=957303] ppid=957300 vsize=1788464 memory=1657972 CPUtime=3589.42 cores=5,7
/proc/957303/stat : 957303 (fscip) S 957300 957303 954227 0 -1 1077936128 1441863 0 0 0 358592 350 0 0 20 0 3 0 181905111 1831387136 414493 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
/proc/957303/statm: 447116 414493 2974 3032 0 425680 0
[pid=957303/tid=957305] ppid=957300 vsize=1788464 memory=-9104703273349456572 CPUtime=3588.07 cores=5,7
/proc/957303/task/957305/stat : 957305 (fscip) R 957300 957303 954227 0 -1 4194368 1403634 0 0 0 358472 335 0 0 20 0 3 0 181905216 1831387136 414493 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
[pid=957303/tid=957306] ppid=957300 vsize=1788464 memory=19704 CPUtime=0.04 cores=5,7
/proc/957303/task/957306/stat : 957306 (fscip) S 957300 957303 954227 0 -1 1077936192 144 0 0 0 1 3 0 0 20 0 3 0 181905225 1831387136 414493 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
Current children cumulated CPU time: 3589.42 s
Current children cumulated vsize: 1788464 KiB
Current children cumulated memory: 1657972 KiB
[startup+3600.4 s]
/proc/loadavg: 4.10 4.13 4.10 5/258 959338
/proc/meminfo: memFree=125814436/131524600 swapFree=131071996/131071996
[pid=957303] ppid=957300 vsize=1788464 memory=1658056 CPUtime=3589.81 cores=5,7
/proc/957303/stat : 957303 (fscip) S 957300 957303 954227 0 -1 1077936128 1521969 0 0 0 358627 354 0 0 20 0 3 0 181905111 1831387136 414514 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
/proc/957303/statm: 447116 414514 2974 3032 0 425680 0
[pid=957303/tid=957305] ppid=957300 vsize=1788464 memory=2728 CPUtime=3588.46 cores=5,7
/proc/957303/task/957305/stat : 957305 (fscip) R 957300 957303 954227 0 -1 4194368 1483739 0 0 0 358507 339 0 0 20 0 3 0 181905216 1831387136 414514 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
[pid=957303/tid=957306] ppid=957300 vsize=1788464 memory=4404 CPUtime=0.04 cores=5,7
/proc/957303/task/957306/stat : 957306 (fscip) S 957300 957303 954227 0 -1 1077936192 144 0 0 0 1 3 0 0 20 0 3 0 181905225 1831387136 414514 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
Current children cumulated CPU time: 3589.81 s
Current children cumulated vsize: 1788464 KiB
Current children cumulated memory: 1658056 KiB
[startup+3600.6 s]
/proc/loadavg: 4.10 4.13 4.10 5/258 959338
/proc/meminfo: memFree=125814436/131524600 swapFree=131071996/131071996
[pid=957303] ppid=957300 vsize=1440936 memory=1329884 CPUtime=3590.01 cores=5,7
/proc/957303/stat : 957303 (fscip) R 957300 957303 954227 0 -1 4194304 1528219 0 0 0 358645 356 0 0 20 0 2 0 181905111 1475518464 332471 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
/proc/957303/statm: 360234 332471 2974 3032 0 354674 0
[pid=957303/tid=957306] ppid=957300 vsize=1440936 memory=7488 CPUtime=0.04 cores=5,7
/proc/957303/task/957306/stat : 957306 (fscip) S 957300 957303 954227 0 -1 1077936192 144 0 0 0 1 3 0 0 20 0 2 0 181905225 1475518464 332471 134679101440 4194304 16613245 140734763075376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43204608 140734763078676 140734763078792 140734763078792 140734763085808 0
Current children cumulated CPU time: 3590.01 s
Current children cumulated vsize: 1440936 KiB
Current children cumulated memory: 1329884 KiB
Child status: 0
Real time (s): 3600.62
CPU time (s): 3590.04
CPU user time (s): 3586.46
CPU system time (s): 3.58159
CPU usage (%): 99.7062
Max. virtual memory (cumulated for all children) (KiB): 1788464
Max. memory (cumulated for all children) (KiB): 1658056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.46
system time used= 3.58159
maximum resident set size= 1658056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1528862
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= 10667
involuntary context switches= 3926
# summary of solver processes directly reported to runsolver:
# pid: 957303
# total CPU time (s): 3590.04
# total CPU user time (s): 3586.46
# total CPU system time (s): 3.58159
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.87671 second user time and 17.6845 second system time
The end
Begin job on nodeC026 at 2024-07-18 12:10:02
IDJOB=4442600
IDBENCH=147833
IDSOLVER=3064
FILE ID=nodeC026/4442600-1721297389
RUNJOBID= nodeC026-1721293769-954240
SLURM_JOB_ID= 7542600
Free space on /tmp= 889996 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-45-40.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-4442600-1721297389/watcher-4442600-1721297389 -o /tmp/evaluation-result-4442600-1721297389/solver-4442600-1721297389 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721293769-954240 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4442600-1721297389.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2590c1209b8f449ade71ad316e08b5f7
RANDOM SEED=1609916517
nodeC026.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 : 3600.649
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.74
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 : 3673.442
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 : 7005.45
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 : 3671.388
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.74
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.324
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 : 7005.45
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 : 3671.413
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.74
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 : 3677.538
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 : 7005.45
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.031
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.74
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 : 3664.483
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 : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128294132 kB
MemAvailable: 128988156 kB
Buffers: 501852 kB
Cached: 1029332 kB
SwapCached: 0 kB
Active: 986068 kB
Inactive: 1632912 kB
Active(anon): 1548 kB
Inactive(anon): 1123984 kB
Active(file): 984520 kB
Inactive(file): 508928 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 118060 kB
Writeback: 0 kB
AnonPages: 1084896 kB
Mapped: 141556 kB
Shmem: 37720 kB
KReclaimable: 80796 kB
Slab: 191220 kB
SReclaimable: 80796 kB
SUnreclaim: 110424 kB
KernelStack: 4144 kB
PageTables: 11596 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1099116 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 67808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 245760 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: 260820 kB
DirectMap2M: 27824128 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 889960 MiB
End job on nodeC026 at 2024-07-18 13:10:03