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.02 c Default LC presolving (default).
0.00/0.02 c ** Before presolving: virtualMemUsedAtLc = 38375424, getVmSize() = 38375424, SCIPgetMemUsed() = 11622525, SCIPgetMemTotal() = 16292293, SCIPgetMemExternEstim() = 8316418
0.00/0.02 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.30/0.37 c ** Estimated virtualMemUsedAtSolver = 37727294, getVmSize() = 72192000, SCIPgetMemUsed() = 27046931, SCIPgetMemTotal() = 48274523, SCIPgetMemExternEstim() = 8316418
0.30/0.37 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.30/0.37 c Original Problem :
0.30/0.37 c Problem name : instance-4464672-1722387015
0.30/0.37 c Variables : 1482 (1482 binary, 0 integer, 0 implicit integer, 0 continuous)
0.30/0.37 c Constraints : 7073
0.30/0.37 c Objective sense : minimize
0.30/0.37 c Presolved Problem :
0.30/0.37 c Variables : 1476 (1476 binary, 0 integer, 0 implicit integer, 0 continuous)
0.30/0.37 c Constraints : 6760
0.30/0.37 c Constraints : Number
0.30/0.37 c knapsack : 1
0.30/0.37 c setppc : 2844
0.30/0.37 c linear : 1
0.30/0.37 c logicor : 3914
0.30/0.37 c ** Instance transfer method used: 0
0.30/0.38 c ** ParaScipInstance copy does not increase the number of variables. **
0.30/0.39 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.30/0.39 c Nodes Active
0.30/0.39 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
7.55/7.60 c 8 2 1 1 - 0.0000 -
13.05/13.16 c 13 107 52 1 - 0.0000 -
18.22/18.30 c 18 327 79 1 - 0.0000 -
23.81/23.90 c 24 476 113 1 - 0.0000 -
29.09/29.21 c 29 697 134 1 - 0.0000 -
34.18/34.38 c 34 856 187 1 - 0.0000 -
39.87/40.08 c 40 962 231 1 - 0.0000 -
45.96/46.13 c 46 1065 248 1 - 0.0000 -
58.62/58.80 c 59 1080 263 1 - 0.0000 -
64.51/64.71 c 65 1124 292 1 - 0.0000 -
70.39/70.63 c 71 1165 304 1 - 0.0000 -
75.78/76.04 c 76 1262 330 1 - 0.0000 -
81.26/81.50 c 82 1394 378 1 - 0.0000 -
86.44/86.71 c 87 1564 400 1 - 0.0000 -
91.64/91.93 c 92 1636 442 1 - 0.0000 -
96.82/97.12 c 97 1744 475 1 - 0.0000 -
102.10/102.46 c 102 1819 535 1 - 0.0000 -
107.39/107.76 c 108 1929 600 1 - 0.0000 -
112.78/113.17 c 113 2027 660 1 - 0.0000 -
118.26/118.61 c 119 2155 686 1 - 0.0000 -
124.14/124.53 c 125 2276 741 1 - 0.0000 -
129.33/129.71 c 130 2409 784 1 - 0.0000 -
134.42/134.84 c 135 2513 826 1 - 0.0000 -
141.50/141.98 c 142 2539 1 1 - 0.0000 -
147.08/147.53 c 148 2659 35 1 - 0.0000 -
152.07/152.59 c 153 2855 49 1 - 0.0000 -
157.15/157.66 c 158 3185 51 1 - 0.0000 -
162.25/162.78 c 163 3492 58 1 - 0.0000 -
167.33/167.82 c 168 3840 50 1 - 0.0000 -
172.41/172.90 c 173 4156 51 1 - 0.0000 -
177.50/178.03 c 178 4488 57 1 - 0.0000 -
182.50/183.10 c 183 4812 54 1 - 0.0000 -
187.67/188.23 c 188 5130 47 1 - 0.0000 -
192.77/193.30 c 193 5423 59 1 - 0.0000 -
197.75/198.39 c 198 5768 46 1 - 0.0000 -
202.84/203.46 c 203 6117 55 1 - 0.0000 -
207.92/208.52 c 209 6452 53 1 - 0.0000 -
213.00/213.61 c 214 6744 49 1 - 0.0000 -
217.99/218.70 c 219 6992 60 1 - 0.0000 -
223.08/223.76 c 224 7278 58 1 - 0.0000 -
228.27/228.93 c 229 7497 69 1 - 0.0000 -
233.66/234.35 c 234 7789 81 1 - 0.0000 -
238.84/239.57 c 240 8049 65 1 - 0.0000 -
243.92/244.69 c 245 8321 55 1 - 0.0000 -
249.01/249.77 c 250 8517 70 1 - 0.0000 -
254.19/254.94 c 255 8753 85 1 - 0.0000 -
259.28/260.04 c 260 9062 88 1 - 0.0000 -
264.28/265.10 c 265 9353 76 1 - 0.0000 -
269.66/270.41 c 270 9621 69 1 - 0.0000 -
274.74/275.53 c 276 9841 92 1 - 0.0000 -
279.82/280.64 c 281 10100 109 1 - 0.0000 -
284.91/285.76 c 286 10441 98 1 - 0.0000 -
290.10/290.96 c 291 10633 116 1 - 0.0000 -
295.58/296.47 c 296 10757 159 1 - 0.0000 -
301.18/302.08 c 302 11002 170 1 - 0.0000 -
306.27/307.17 c 307 11347 168 1 - 0.0000 -
311.35/312.25 c 312 11695 166 1 - 0.0000 -
316.63/317.58 c 318 11956 186 1 - 0.0000 -
322.02/322.91 c 323 12165 198 1 - 0.0000 -
327.11/328.00 c 328 12458 186 1 - 0.0000 -
332.39/333.31 c 333 12574 211 1 - 0.0000 -
337.47/338.40 c 338 12897 221 1 - 0.0000 -
342.56/343.56 c 344 13250 224 1 - 0.0000 -
347.65/348.62 c 349 13592 212 1 - 0.0000 -
352.74/353.70 c 354 13829 231 1 - 0.0000 -
358.13/359.12 c 359 14009 271 1 - 0.0000 -
363.21/364.26 c 364 14269 294 1 - 0.0000 -
368.40/369.43 c 369 14443 317 1 - 0.0000 -
373.58/374.63 c 375 14690 352 1 - 0.0000 -
378.77/379.83 c 380 14886 385 1 - 0.0000 -
384.45/385.59 c 386 14984 388 1 - 0.0000 -
389.64/390.76 c 391 15202 416 1 - 0.0000 -
394.93/396.05 c 396 15371 442 1 - 0.0000 -
400.41/401.57 c 402 15523 472 1 - 0.0000 -
406.29/407.45 c 407 15672 526 1 - 0.0000 -
411.68/412.83 c 413 15799 566 1 - 0.0000 -
416.67/417.85 c 418 15958 582 1 - 0.0000 -
421.86/423.07 c 423 16127 594 1 - 0.0000 -
427.04/428.29 c 428 16256 627 1 - 0.0000 -
432.52/433.70 c 434 16431 648 1 - 0.0000 -
437.81/439.10 c 439 16559 703 1 - 0.0000 -
442.99/444.27 c 444 16717 748 1 - 0.0000 -
448.48/449.75 c 450 16875 801 1 - 0.0000 -
453.77/455.09 c 455 17142 826 1 - 0.0000 -
459.16/460.47 c 460 17377 836 1 - 0.0000 -
464.44/465.76 c 466 17632 857 1 - 0.0000 -
469.53/470.84 c 471 17896 863 1 - 0.0000 -
474.72/476.04 c 476 18121 884 1 - 0.0000 -
479.81/481.17 c 481 18265 926 1 - 0.0000 -
485.09/486.42 c 486 18426 949 1 - 0.0000 -
490.17/491.50 c 492 18648 978 1 - 0.0000 -
495.26/496.68 c 497 18835 1022 1 - 0.0000 -
500.76/502.14 c 502 19010 1053 1 - 0.0000 -
505.84/507.26 c 507 19202 1087 1 - 0.0000 -
511.52/512.98 c 513 19403 1121 1 - 0.0000 -
516.71/518.12 c 518 19606 1138 1 - 0.0000 -
521.90/523.33 c 523 19739 1173 1 - 0.0000 -
527.39/528.84 c 529 19922 1207 1 - 0.0000 -
532.58/534.04 c 534 20087 1246 1 - 0.0000 -
538.06/539.54 c 540 20213 1305 1 - 0.0000 -
543.14/544.62 c 545 20441 1342 1 - 0.0000 -
548.53/550.02 c 550 20622 1366 1 - 0.0000 -
553.71/555.20 c 555 20879 1386 1 - 0.0000 -
559.09/560.62 c 561 21066 1433 1 - 0.0000 -
564.29/565.82 c 566 21235 1469 1 - 0.0000 -
569.48/571.05 c 571 21416 1489 1 - 0.0000 -
576.65/578.28 c 578 21459 1499 1 - 0.0000 -
581.94/583.57 c 584 21660 1543 1 - 0.0000 -
587.03/588.66 c 589 21893 1546 1 - 0.0000 -
592.61/594.26 c 594 22094 1573 1 - 0.0000 -
598.10/599.70 c 600 22273 1621 1 - 0.0000 -
603.19/604.80 c 605 22456 1653 1 - 0.0000 -
608.27/609.93 c 610 22643 1688 1 - 0.0000 -
613.46/615.10 c 615 22861 1712 1 - 0.0000 -
618.74/620.46 c 620 23074 1741 1 - 0.0000 -
623.92/625.67 c 626 23305 1769 1 - 0.0000 -
629.01/630.78 c 631 23577 1777 1 - 0.0000 -
634.30/636.03 c 636 23811 1787 1 - 0.0000 -
639.79/641.53 c 642 24021 1809 1 - 0.0000 -
644.87/646.61 c 647 24257 1817 1 - 0.0000 -
650.16/651.96 c 652 24480 1818 1 - 0.0000 -
655.34/657.12 c 657 24689 1828 1 - 0.0000 -
660.62/662.49 c 662 24953 1826 1 - 0.0000 -
665.71/667.56 c 668 25185 1845 1 - 0.0000 -
670.79/672.69 c 673 25405 1862 1 - 0.0000 -
675.98/677.84 c 678 25617 1886 1 - 0.0000 -
681.06/682.96 c 683 25814 1902 1 - 0.0000 -
686.85/688.71 c 689 25993 1951 1 - 0.0000 -
692.24/694.16 c 694 26189 1982 1 - 0.0000 -
697.53/699.41 c 699 26419 2008 1 - 0.0000 -
702.71/704.61 c 705 26593 2041 1 - 0.0000 -
707.90/709.89 c 710 26780 2075 1 - 0.0000 -
713.19/715.17 c 715 26953 2097 1 - 0.0000 -
718.57/720.55 c 721 27179 2121 1 - 0.0000 -
724.06/726.01 c 726 27349 2159 1 - 0.0000 -
729.25/731.27 c 731 27577 2176 1 - 0.0000 -
734.33/736.39 c 736 27753 2185 1 - 0.0000 -
739.52/741.52 c 742 27924 2209 1 - 0.0000 -
744.90/746.91 c 747 28196 2227 1 - 0.0000 -
749.99/752.04 c 752 28393 2262 1 - 0.0000 -
755.18/757.29 c 757 28584 2296 1 - 0.0000 -
760.56/762.60 c 763 28789 2311 1 - 0.0000 -
765.65/767.79 c 768 28978 2350 1 - 0.0000 -
771.24/773.38 c 773 29133 2401 1 - 0.0000 -
776.52/778.61 c 779 29330 2428 1 - 0.0000 -
781.61/783.72 c 784 29549 2445 1 - 0.0000 -
786.90/789.09 c 789 29737 2460 1 - 0.0000 -
791.99/794.19 c 794 29931 2487 1 - 0.0000 -
797.07/799.28 c 799 30082 2522 1 - 0.0000 -
802.76/804.98 c 805 30284 2554 1 - 0.0000 -
807.85/810.09 c 810 30447 2587 1 - 0.0000 -
813.13/815.32 c 815 30711 2601 1 - 0.0000 -
818.11/820.38 c 820 30878 2636 1 - 0.0000 -
824.00/826.27 c 826 31128 2640 1 - 0.0000 -
829.99/832.25 c 832 31302 2650 1 - 0.0000 -
835.47/837.72 c 838 31487 2681 1 - 0.0000 -
840.86/843.11 c 843 31685 2702 1 - 0.0000 -
846.04/848.31 c 848 31869 2729 1 - 0.0000 -
851.24/853.57 c 854 32049 2761 1 - 0.0000 -
856.52/858.83 c 859 32231 2764 1 - 0.0000 -
861.61/863.94 c 864 32442 2777 1 - 0.0000 -
866.70/869.08 c 869 32566 2799 1 - 0.0000 -
871.98/874.36 c 874 32775 2824 1 - 0.0000 -
877.16/879.53 c 880 32976 2859 1 - 0.0000 -
882.45/884.89 c 885 33157 2880 1 - 0.0000 -
887.65/890.04 c 890 33342 2883 1 - 0.0000 -
893.13/895.50 c 896 33516 2904 1 - 0.0000 -
898.21/900.66 c 901 33709 2925 1 - 0.0000 -
903.70/906.12 c 906 33903 2930 1 - 0.0000 -
908.69/911.17 c 911 34041 2949 1 - 0.0000 -
913.77/916.24 c 916 34299 2967 1 - 0.0000 -
918.85/921.31 c 921 34466 3007 1 - 0.0000 -
923.95/926.49 c 926 34790 3015 1 - 0.0000 -
929.44/931.95 c 932 35025 3027 1 - 0.0000 -
934.52/937.10 c 937 35264 3045 1 - 0.0000 -
939.80/942.31 c 942 35427 3059 1 - 0.0000 -
945.19/947.77 c 948 35599 3071 1 - 0.0000 -
950.58/953.13 c 953 35747 3109 1 - 0.0000 -
955.86/958.41 c 958 35920 3139 1 - 0.0000 -
961.05/963.62 c 964 36106 3179 1 - 0.0000 -
966.13/968.73 c 969 36340 3209 1 - 0.0000 -
971.12/973.79 c 974 36552 3247 1 - 0.0000 -
976.31/978.95 c 979 36781 3291 1 - 0.0000 -
981.50/984.12 c 984 36952 3307 1 - 0.0000 -
986.58/989.23 c 989 37219 3308 1 - 0.0000 -
991.67/994.34 c 994 37433 3319 1 - 0.0000 -
997.06/999.78 c 1000 37611 3353 1 - 0.0000 -
1002.14/1004.85 c 1005 37797 3384 1 - 0.0000 -
1007.43/1010.13 c 1010 37954 3372 1 - 0.0000 -
1012.81/1015.51 c 1016 38175 3381 1 - 0.0000 -
1018.11/1020.84 c 1021 38382 3384 1 - 0.0000 -
1023.30/1026.05 c 1026 38575 3402 1 - 0.0000 -
1028.48/1031.29 c 1031 38787 3414 1 - 0.0000 -
1033.66/1036.48 c 1036 39037 3439 1 - 0.0000 -
1038.95/1041.71 c 1042 39237 3465 1 - 0.0000 -
1044.03/1046.80 c 1047 39470 3473 1 - 0.0000 -
1049.23/1052.03 c 1052 39621 3481 1 - 0.0000 -
1054.32/1057.11 c 1057 39835 3497 1 - 0.0000 -
1059.49/1062.30 c 1062 39995 3524 1 - 0.0000 -
1064.68/1067.51 c 1068 40211 3528 1 - 0.0000 -
1069.86/1072.71 c 1073 40400 3546 1 - 0.0000 -
1074.96/1077.86 c 1078 40630 3552 1 - 0.0000 -
1080.04/1082.95 c 1083 40889 3562 1 - 0.0000 -
1085.13/1088.06 c 1088 41114 3566 1 - 0.0000 -
1090.41/1093.34 c 1093 41312 3590 1 - 0.0000 -
1095.69/1098.61 c 1099 41523 3617 1 - 0.0000 -
1100.78/1103.70 c 1104 41778 3631 1 - 0.0000 -
1105.87/1108.86 c 1109 42017 3649 1 - 0.0000 -
1110.96/1113.92 c 1114 42201 3682 1 - 0.0000 -
1116.15/1119.18 c 1119 42407 3699 1 - 0.0000 -
1121.43/1124.49 c 1124 42588 3735 1 - 0.0000 -
1126.71/1129.70 c 1130 42793 3740 1 - 0.0000 -
1131.90/1134.92 c 1135 42959 3767 1 - 0.0000 -
1137.10/1140.14 c 1140 43154 3779 1 - 0.0000 -
1142.38/1145.41 c 1145 43375 3791 1 - 0.0000 -
1147.66/1150.78 c 1151 43572 3806 1 - 0.0000 -
1152.94/1156.03 c 1156 43771 3828 1 - 0.0000 -
1158.03/1161.11 c 1161 44047 3829 1 - 0.0000 -
1163.31/1166.40 c 1166 44262 3842 1 - 0.0000 -
1168.50/1171.64 c 1172 44483 3850 1 - 0.0000 -
1173.79/1176.90 c 1177 44730 3867 1 - 0.0000 -
1179.07/1182.22 c 1182 44925 3880 1 - 0.0000 -
1184.16/1187.39 c 1187 45147 3887 1 - 0.0000 -
1189.35/1192.53 c 1193 45351 3895 1 - 0.0000 -
1194.94/1198.16 c 1198 45530 3921 1 - 0.0000 -
1200.02/1203.24 c 1203 45719 3938 1 - 0.0000 -
1205.20/1208.48 c 1208 45907 3955 1 - 0.0000 -
1210.49/1213.79 c 1214 46105 3965 1 - 0.0000 -
1215.68/1218.94 c 1219 46302 3973 1 - 0.0000 -
1220.97/1224.21 c 1224 46448 4003 1 - 0.0000 -
1227.35/1230.68 c 1231 46586 4012 1 - 0.0000 -
1232.54/1235.85 c 1236 46819 4021 1 - 0.0000 -
1237.92/1241.23 c 1241 47038 4033 1 - 0.0000 -
1243.11/1246.48 c 1246 47219 4044 1 - 0.0000 -
1248.29/1251.62 c 1252 47398 4054 1 - 0.0000 -
1253.38/1256.75 c 1257 47592 4074 1 - 0.0000 -
1258.57/1261.91 c 1262 47792 4084 1 - 0.0000 -
1264.05/1267.43 c 1267 47950 4115 1 - 0.0000 -
1269.14/1272.50 c 1272 48121 4137 1 - 0.0000 -
1274.13/1277.57 c 1278 48320 4161 1 - 0.0000 -
1279.31/1282.78 c 1283 48527 4177 1 - 0.0000 -
1284.50/1287.94 c 1288 48732 4182 1 - 0.0000 -
1289.79/1293.25 c 1293 48916 4205 1 - 0.0000 -
1295.27/1298.71 c 1299 49048 4233 1 - 0.0000 -
1300.46/1303.95 c 1304 49268 4244 1 - 0.0000 -
1305.65/1309.11 c 1309 49476 4260 1 - 0.0000 -
1310.74/1314.20 c 1314 49705 4256 1 - 0.0000 -
1316.02/1319.54 c 1320 49912 4288 1 - 0.0000 -
1321.10/1324.63 c 1325 50144 4296 1 - 0.0000 -
1326.49/1330.02 c 1330 50377 4310 1 - 0.0000 -
1332.07/1335.60 c 1336 50592 4331 1 - 0.0000 -
1337.16/1340.71 c 1341 50794 4343 1 - 0.0000 -
1342.35/1345.94 c 1346 50955 4357 1 - 0.0000 -
1347.44/1351.07 c 1351 51187 4364 1 - 0.0000 -
1352.62/1356.27 c 1356 51414 4378 1 - 0.0000 -
1358.42/1362.05 c 1362 51609 4409 1 - 0.0000 -
1363.70/1367.36 c 1367 51831 4435 1 - 0.0000 -
1368.78/1372.49 c 1372 52003 4451 1 - 0.0000 -
1374.06/1377.79 c 1378 52157 4490 1 - 0.0000 -
1379.55/1383.26 c 1383 52306 4512 1 - 0.0000 -
1385.45/1389.16 c 1389 52476 4520 1 - 0.0000 -
1390.72/1394.49 c 1394 52657 4533 1 - 0.0000 -
1396.11/1399.86 c 1400 52859 4544 1 - 0.0000 -
1401.49/1405.21 c 1405 53069 4571 1 - 0.0000 -
1406.58/1410.34 c 1410 53249 4608 1 - 0.0000 -
1411.96/1415.77 c 1416 53448 4630 1 - 0.0000 -
1417.36/1421.13 c 1421 53599 4670 1 - 0.0000 -
1423.13/1426.90 c 1427 53784 4694 1 - 0.0000 -
1428.13/1431.97 c 1432 53985 4705 1 - 0.0000 -
1433.32/1437.13 c 1437 54152 4728 1 - 0.0000 -
1438.40/1442.27 c 1442 54332 4743 1 - 0.0000 -
1444.08/1447.97 c 1448 54469 4793 1 - 0.0000 -
1449.27/1453.11 c 1453 54723 4792 1 - 0.0000 -
1454.35/1458.21 c 1458 54917 4805 1 - 0.0000 -
1459.64/1463.56 c 1464 55080 4843 1 - 0.0000 -
1465.42/1469.30 c 1469 55292 4860 1 - 0.0000 -
1470.51/1474.49 c 1474 55511 4887 1 - 0.0000 -
1476.20/1480.12 c 1480 55699 4915 1 - 0.0000 -
1481.38/1485.32 c 1485 55948 4925 1 - 0.0000 -
1486.57/1490.55 c 1491 56111 4966 1 - 0.0000 -
1491.95/1495.90 c 1496 56260 5002 1 - 0.0000 -
1497.04/1501.08 c 1501 56454 5028 1 - 0.0000 -
1502.14/1506.19 c 1506 56599 5070 1 - 0.0000 -
1507.32/1511.31 c 1511 56775 5093 1 - 0.0000 -
1512.40/1516.48 c 1516 56959 5109 1 - 0.0000 -
1517.59/1521.68 c 1522 57119 5150 1 - 0.0000 -
1522.87/1526.93 c 1527 57316 5170 1 - 0.0000 -
1528.16/1532.29 c 1532 57474 5209 1 - 0.0000 -
1533.54/1537.68 c 1538 57672 5222 1 - 0.0000 -
1538.74/1542.86 c 1543 57857 5249 1 - 0.0000 -
1543.93/1548.07 c 1548 58017 5265 1 - 0.0000 -
1549.51/1553.65 c 1554 58189 5277 1 - 0.0000 -
1554.59/1558.75 c 1559 58363 5293 1 - 0.0000 -
1560.18/1564.33 c 1564 58541 5333 1 - 0.0000 -
1565.46/1569.63 c 1570 58711 5348 1 - 0.0000 -
1570.65/1574.82 c 1575 58877 5382 1 - 0.0000 -
1575.74/1579.90 c 1580 59098 5392 1 - 0.0000 -
1580.83/1585.03 c 1585 59318 5405 1 - 0.0000 -
1586.21/1590.46 c 1590 59560 5420 1 - 0.0000 -
1591.50/1595.79 c 1596 59725 5446 1 - 0.0000 -
1596.68/1600.93 c 1601 59845 5470 1 - 0.0000 -
1602.47/1606.72 c 1607 60113 5469 1 - 0.0000 -
1607.76/1612.06 c 1612 60281 5480 1 - 0.0000 -
1613.04/1617.32 c 1617 60486 5493 1 - 0.0000 -
1618.13/1622.49 c 1622 60738 5507 1 - 0.0000 -
1623.32/1627.63 c 1628 60899 5531 1 - 0.0000 -
1629.00/1633.34 c 1633 61091 5542 1 - 0.0000 -
1634.29/1638.68 c 1639 61264 5560 1 - 0.0000 -
1639.37/1643.74 c 1644 61429 5572 1 - 0.0000 -
1644.56/1648.99 c 1649 61607 5613 1 - 0.0000 -
1649.95/1654.36 c 1654 61764 5624 1 - 0.0000 -
1655.33/1659.74 c 1660 61945 5648 1 - 0.0000 -
1660.62/1665.08 c 1665 62119 5670 1 - 0.0000 -
1665.80/1670.26 c 1670 62319 5676 1 - 0.0000 -
1670.99/1675.42 c 1675 62522 5693 1 - 0.0000 -
1676.68/1681.14 c 1681 62725 5713 1 - 0.0000 -
1681.77/1686.27 c 1686 62923 5750 1 - 0.0000 -
1687.05/1691.51 c 1692 63131 5754 1 - 0.0000 -
1692.14/1696.63 c 1697 63297 5775 1 - 0.0000 -
1697.53/1702.01 c 1702 63520 5775 1 - 0.0000 -
1702.61/1707.19 c 1707 63746 5777 1 - 0.0000 -
1708.39/1712.90 c 1713 63942 5800 1 - 0.0000 -
1713.48/1718.02 c 1718 64162 5808 1 - 0.0000 -
1718.57/1723.17 c 1723 64366 5827 1 - 0.0000 -
1723.65/1728.26 c 1728 64564 5828 1 - 0.0000 -
1728.74/1733.36 c 1733 64728 5848 1 - 0.0000 -
1733.93/1738.55 c 1739 64916 5855 1 - 0.0000 -
1743.21/1747.84 c 1748 65085 5842 1 - 0.0000 -
1748.29/1752.93 c 1753 65278 5854 1 - 0.0000 -
1753.38/1758.00 c 1758 65458 5855 1 - 0.0000 -
1758.37/1763.09 c 1763 65638 5858 1 - 0.0000 -
1763.75/1768.42 c 1768 65803 5878 1 - 0.0000 -
1768.93/1773.62 c 1774 66013 5909 1 - 0.0000 -
1774.22/1778.93 c 1779 66157 5941 1 - 0.0000 -
1779.41/1784.12 c 1784 66336 5955 1 - 0.0000 -
1784.50/1789.25 c 1789 66540 5961 1 - 0.0000 -
1789.78/1794.55 c 1795 66702 5975 1 - 0.0000 -
1795.27/1800.05 c 1800 66874 5991 1 - 0.0000 -
1800.45/1805.26 c 1805 67034 6033 1 - 0.0000 -
1805.55/1810.34 c 1810 67225 6044 1 - 0.0000 -
1810.63/1815.47 c 1815 67487 6039 1 - 0.0000 -
1815.72/1820.56 c 1821 67684 6038 1 - 0.0000 -
1820.80/1825.62 c 1826 67933 6037 1 - 0.0000 -
1826.19/1831.06 c 1831 68109 6039 1 - 0.0000 -
1831.77/1836.62 c 1837 68317 6051 1 - 0.0000 -
1837.06/1841.91 c 1842 68540 6043 1 - 0.0000 -
1842.64/1847.54 c 1848 68714 6045 1 - 0.0000 -
1847.83/1852.75 c 1853 68952 6049 1 - 0.0000 -
1852.92/1857.88 c 1858 69143 6079 1 - 0.0000 -
1858.40/1863.39 c 1863 69323 6107 1 - 0.0000 -
1863.58/1868.54 c 1869 69494 6108 1 - 0.0000 -
1868.97/1873.94 c 1874 69626 6144 1 - 0.0000 -
1874.17/1879.15 c 1879 69794 6161 1 - 0.0000 -
1879.24/1884.26 c 1884 70016 6177 1 - 0.0000 -
1884.43/1889.47 c 1889 70231 6170 1 - 0.0000 -
1889.51/1894.55 c 1895 70417 6176 1 - 0.0000 -
1895.11/1900.12 c 1900 70620 6192 1 - 0.0000 -
1900.19/1905.22 c 1905 70809 6213 1 - 0.0000 -
1905.48/1910.59 c 1911 70982 6224 1 - 0.0000 -
1910.57/1915.67 c 1916 71149 6245 1 - 0.0000 -
1916.25/1921.34 c 1921 71300 6257 1 - 0.0000 -
1921.34/1926.43 c 1926 71514 6251 1 - 0.0000 -
1926.82/1931.98 c 1932 71621 6282 1 - 0.0000 -
1932.02/1937.10 c 1937 71821 6298 1 - 0.0000 -
1937.10/1942.23 c 1942 72045 6321 1 - 0.0000 -
1942.59/1947.72 c 1948 72263 6321 1 - 0.0000 -
1947.67/1952.85 c 1953 72491 6315 1 - 0.0000 -
1952.75/1957.96 c 1958 72693 6325 1 - 0.0000 -
1957.85/1963.04 c 1963 72892 6328 1 - 0.0000 -
1963.03/1968.20 c 1968 73056 6345 1 - 0.0000 -
1968.32/1973.50 c 1974 73222 6363 1 - 0.0000 -
1973.41/1978.66 c 1979 73433 6371 1 - 0.0000 -
1978.49/1983.74 c 1984 73641 6383 1 - 0.0000 -
1983.58/1988.87 c 1989 73816 6418 1 - 0.0000 -
1988.66/1993.96 c 1994 74045 6425 1 - 0.0000 -
1993.75/1999.06 c 1999 74237 6446 1 - 0.0000 -
1998.93/2004.28 c 2004 74464 6449 1 - 0.0000 -
2004.32/2009.60 c 2010 74689 6464 1 - 0.0000 -
2010.11/2015.48 c 2015 74870 6474 1 - 0.0000 -
2015.29/2020.69 c 2021 75033 6491 1 - 0.0000 -
2020.68/2026.04 c 2026 75238 6517 1 - 0.0000 -
2025.78/2031.14 c 2031 75356 6542 1 - 0.0000 -
2030.86/2036.27 c 2036 75590 6536 1 - 0.0000 -
2036.24/2041.65 c 2042 75768 6561 1 - 0.0000 -
2041.33/2046.75 c 2047 75945 6580 1 - 0.0000 -
2046.41/2051.89 c 2052 76139 6607 1 - 0.0000 -
2052.00/2057.40 c 2057 76309 6627 1 - 0.0000 -
2057.18/2062.67 c 2063 76481 6646 1 - 0.0000 -
2062.68/2068.13 c 2068 76669 6655 1 - 0.0000 -
2067.76/2073.25 c 2073 76845 6658 1 - 0.0000 -
2072.85/2078.39 c 2078 77047 6672 1 - 0.0000 -
2078.23/2083.77 c 2084 77213 6681 1 - 0.0000 -
2083.52/2089.06 c 2089 77361 6703 1 - 0.0000 -
2088.70/2094.27 c 2094 77547 6729 1 - 0.0000 -
2093.89/2099.43 c 2099 77730 6730 1 - 0.0000 -
2099.07/2104.62 c 2105 77941 6744 1 - 0.0000 -
2104.17/2109.76 c 2110 78151 6758 1 - 0.0000 -
2109.25/2114.82 c 2115 78353 6761 1 - 0.0000 -
2114.34/2119.95 c 2120 78571 6769 1 - 0.0000 -
2119.82/2125.40 c 2125 78753 6766 1 - 0.0000 -
2124.81/2130.48 c 2130 78962 6762 1 - 0.0000 -
2129.99/2135.60 c 2136 79159 6767 1 - 0.0000 -
2135.08/2140.72 c 2141 79330 6798 1 - 0.0000 -
2140.56/2146.23 c 2146 79519 6827 1 - 0.0000 -
2145.86/2151.53 c 2152 79687 6842 1 - 0.0000 -
2150.95/2156.61 c 2157 79860 6862 1 - 0.0000 -
2156.23/2161.97 c 2162 80002 6886 1 - 0.0000 -
2161.42/2167.12 c 2167 80142 6897 1 - 0.0000 -
2166.50/2172.29 c 2172 80343 6913 1 - 0.0000 -
2171.59/2177.37 c 2177 80565 6916 1 - 0.0000 -
2176.77/2182.55 c 2183 80745 6924 1 - 0.0000 -
2181.96/2187.76 c 2188 80914 6930 1 - 0.0000 -
2187.14/2192.94 c 2193 81119 6949 1 - 0.0000 -
2192.24/2198.06 c 2198 81320 6950 1 - 0.0000 -
2197.42/2203.23 c 2203 81515 6965 1 - 0.0000 -
2202.51/2208.39 c 2208 81750 6948 1 - 0.0000 -
2207.79/2213.64 c 2214 81909 6958 1 - 0.0000 -
2213.18/2219.05 c 2219 82077 6966 1 - 0.0000 -
2218.46/2224.36 c 2224 82208 6999 1 - 0.0000 -
2224.06/2229.95 c 2230 82313 7009 1 - 0.0000 -
2229.34/2235.28 c 2235 82497 7014 1 - 0.0000 -
2234.43/2240.39 c 2240 82669 7019 1 - 0.0000 -
2239.62/2245.50 c 2246 82886 7032 1 - 0.0000 -
2244.70/2250.63 c 2251 83098 7040 1 - 0.0000 -
2249.89/2255.81 c 2256 83226 7052 1 - 0.0000 -
2254.88/2260.90 c 2261 83450 7055 1 - 0.0000 -
2260.36/2266.35 c 2266 83635 7084 1 - 0.0000 -
2265.44/2271.41 c 2271 83844 7095 1 - 0.0000 -
2270.63/2276.64 c 2277 84041 7099 1 - 0.0000 -
2275.72/2281.78 c 2282 84274 7090 1 - 0.0000 -
2280.80/2286.88 c 2287 84502 7089 1 - 0.0000 -
2286.00/2292.01 c 2292 84707 7095 1 - 0.0000 -
2291.08/2297.11 c 2297 84897 7095 1 - 0.0000 -
2296.16/2302.20 c 2302 85109 7098 1 - 0.0000 -
2301.25/2307.30 c 2307 85303 7107 1 - 0.0000 -
2306.33/2312.46 c 2312 85475 7131 1 - 0.0000 -
2311.52/2317.62 c 2318 85607 7185 1 - 0.0000 -
2316.92/2323.04 c 2323 85816 7198 1 - 0.0000 -
2322.00/2328.10 c 2328 86015 7195 1 - 0.0000 -
2326.99/2333.19 c 2333 86216 7192 1 - 0.0000 -
2332.17/2338.39 c 2338 86398 7222 1 - 0.0000 -
2338.76/2344.93 c 2345 86559 7251 1 - 0.0000 -
2343.84/2350.05 c 2350 86731 7273 1 - 0.0000 -
2349.32/2355.54 c 2356 86911 7305 1 - 0.0000 -
2354.52/2360.70 c 2361 87096 7336 1 - 0.0000 -
2360.00/2366.27 c 2366 87290 7348 1 - 0.0000 -
2365.38/2371.65 c 2372 87486 7351 1 - 0.0000 -
2370.87/2377.20 c 2377 87725 7352 1 - 0.0000 -
2376.05/2382.37 c 2382 87866 7366 1 - 0.0000 -
2381.14/2387.49 c 2388 88009 7386 1 - 0.0000 -
2386.32/2392.65 c 2393 88188 7408 1 - 0.0000 -
2391.71/2398.00 c 2398 88364 7419 1 - 0.0000 -
2396.70/2403.08 c 2403 88614 7426 1 - 0.0000 -
2402.39/2408.71 c 2409 88800 7437 1 - 0.0000 -
2408.17/2414.50 c 2415 88954 7455 1 - 0.0000 -
2413.36/2419.77 c 2420 89081 7487 1 - 0.0000 -
2418.44/2424.84 c 2425 89281 7490 1 - 0.0000 -
2423.73/2430.11 c 2430 89467 7504 1 - 0.0000 -
2429.32/2435.74 c 2436 89589 7531 1 - 0.0000 -
2434.41/2440.88 c 2441 89785 7538 1 - 0.0000 -
2439.99/2446.44 c 2446 89945 7566 1 - 0.0000 -
2445.29/2451.70 c 2452 90139 7566 1 - 0.0000 -
2450.47/2456.98 c 2457 90321 7574 1 - 0.0000 -
2455.96/2462.42 c 2462 90562 7575 1 - 0.0000 -
2461.05/2467.55 c 2468 90762 7598 1 - 0.0000 -
2466.33/2472.82 c 2473 90968 7604 1 - 0.0000 -
2471.92/2478.40 c 2478 91141 7621 1 - 0.0000 -
2477.01/2483.50 c 2484 91364 7633 1 - 0.0000 -
2481.99/2488.59 c 2489 91570 7639 1 - 0.0000 -
2487.18/2493.75 c 2494 91730 7687 1 - 0.0000 -
2492.28/2498.86 c 2499 91939 7705 1 - 0.0000 -
2497.36/2503.95 c 2504 92164 7701 1 - 0.0000 -
2502.65/2509.20 c 2509 92352 7706 1 - 0.0000 -
2507.73/2514.30 c 2514 92543 7720 1 - 0.0000 -
2512.72/2519.38 c 2519 92723 7755 1 - 0.0000 -
2517.91/2524.56 c 2525 92917 7763 1 - 0.0000 -
2525.10/2531.70 c 2532 93041 7766 1 - 0.0000 -
2530.18/2536.81 c 2537 93242 7790 1 - 0.0000 -
2535.38/2542.04 c 2542 93403 7810 1 - 0.0000 -
2540.46/2547.13 c 2547 93590 7821 1 - 0.0000 -
2545.64/2552.39 c 2552 93817 7819 1 - 0.0000 -
2550.73/2557.48 c 2557 94010 7829 1 - 0.0000 -
2555.92/2562.62 c 2563 94217 7828 1 - 0.0000 -
2560.91/2567.69 c 2568 94403 7823 1 - 0.0000 -
2566.30/2573.10 c 2573 94616 7840 1 - 0.0000 -
2571.48/2578.21 c 2578 94821 7842 1 - 0.0000 -
2576.68/2583.46 c 2583 95026 7850 1 - 0.0000 -
2581.76/2588.55 c 2589 95200 7858 1 - 0.0000 -
2586.85/2593.65 c 2594 95404 7856 1 - 0.0000 -
2592.13/2598.97 c 2599 95553 7886 1 - 0.0000 -
2597.42/2604.23 c 2604 95748 7902 1 - 0.0000 -
2602.51/2609.31 c 2609 95942 7908 1 - 0.0000 -
2607.60/2614.47 c 2614 96126 7914 1 - 0.0000 -
2613.19/2620.02 c 2620 96300 7930 1 - 0.0000 -
2618.28/2625.19 c 2625 96473 7954 1 - 0.0000 -
2623.46/2630.30 c 2630 96700 7958 1 - 0.0000 -
2628.55/2635.43 c 2635 96886 7980 1 - 0.0000 -
2633.64/2640.54 c 2641 97097 7990 1 - 0.0000 -
2638.83/2645.76 c 2646 97319 8004 1 - 0.0000 -
2643.91/2650.88 c 2651 97482 8017 1 - 0.0000 -
2649.00/2655.98 c 2656 97685 8023 1 - 0.0000 -
2654.49/2661.44 c 2661 97869 8031 1 - 0.0000 -
2659.57/2666.55 c 2667 98038 8063 1 - 0.0000 -
2664.85/2671.87 c 2672 98200 8087 1 - 0.0000 -
2669.94/2676.97 c 2677 98392 8095 1 - 0.0000 -
2675.23/2682.20 c 2682 98536 8122 1 - 0.0000 -
2680.52/2687.55 c 2688 98772 8122 1 - 0.0000 -
2685.80/2692.85 c 2693 98972 8117 1 - 0.0000 -
2690.89/2697.95 c 2698 99167 8126 1 - 0.0000 -
2695.98/2703.05 c 2703 99404 8147 1 - 0.0000 -
2701.07/2708.14 c 2708 99637 8170 1 - 0.0000 -
2706.15/2713.26 c 2713 99886 8166 1 - 0.0000 -
2711.24/2718.36 c 2718 100091 8184 1 - 0.0000 -
2716.73/2723.84 c 2724 100286 8214 1 - 0.0000 -
2722.02/2729.15 c 2729 100486 8222 1 - 0.0000 -
2727.30/2734.40 c 2734 100659 8237 1 - 0.0000 -
2732.49/2739.66 c 2740 100870 8266 1 - 0.0000 -
2737.57/2744.78 c 2745 101138 8282 1 - 0.0000 -
2742.87/2750.04 c 2750 101419 8300 1 - 0.0000 -
2747.96/2755.13 c 2755 101578 8325 1 - 0.0000 -
2753.34/2760.53 c 2761 101761 8364 1 - 0.0000 -
2758.43/2765.62 c 2766 102030 8364 1 - 0.0000 -
2764.22/2771.41 c 2771 102215 8366 1 - 0.0000 -
2769.40/2776.66 c 2777 102444 8387 1 - 0.0000 -
2774.49/2781.78 c 2782 102682 8377 1 - 0.0000 -
2779.78/2787.00 c 2787 102914 8383 1 - 0.0000 -
2784.87/2792.15 c 2792 103136 8393 1 - 0.0000 -
2790.25/2797.50 c 2798 103312 8419 1 - 0.0000 -
2795.34/2802.63 c 2803 103484 8439 1 - 0.0000 -
2800.43/2807.78 c 2808 103733 8446 1 - 0.0000 -
2805.51/2812.89 c 2813 103985 8442 1 - 0.0000 -
2810.61/2817.97 c 2818 104180 8458 1 - 0.0000 -
2815.80/2823.14 c 2823 104430 8455 1 - 0.0000 -
2820.88/2828.22 c 2828 104659 8464 1 - 0.0000 -
2825.97/2833.31 c 2833 104880 8488 1 - 0.0000 -
2831.25/2838.69 c 2839 105116 8493 1 - 0.0000 -
2836.45/2843.84 c 2844 105332 8506 1 - 0.0000 -
2841.54/2848.94 c 2849 105562 8516 1 - 0.0000 -
2847.02/2854.40 c 2854 105822 8508 1 - 0.0000 -
2852.01/2859.48 c 2859 106050 8517 1 - 0.0000 -
2857.99/2865.41 c 2865 106267 8521 1 - 0.0000 -
2863.18/2870.66 c 2871 106490 8520 1 - 0.0000 -
2868.27/2875.74 c 2876 106729 8524 1 - 0.0000 -
2873.76/2881.20 c 2881 106792 8518 1 - 0.0000 -
2878.75/2886.26 c 2886 107062 8512 1 - 0.0000 -
2883.84/2891.36 c 2891 107314 8518 1 - 0.0000 -
2888.92/2896.44 c 2896 107523 8522 1 - 0.0000 -
2894.01/2901.57 c 2902 107735 8547 1 - 0.0000 -
2899.70/2907.24 c 2907 107971 8551 1 - 0.0000 -
2905.49/2913.07 c 2913 108194 8564 1 - 0.0000 -
2910.59/2918.16 c 2918 108443 8575 1 - 0.0000 -
2915.87/2923.42 c 2923 108622 8584 1 - 0.0000 -
2921.06/2928.67 c 2929 108881 8586 1 - 0.0000 -
2926.15/2933.76 c 2934 109176 8588 1 - 0.0000 -
2931.24/2938.82 c 2939 109407 8593 1 - 0.0000 -
2936.22/2943.88 c 2944 109680 8588 1 - 0.0000 -
2941.31/2948.99 c 2949 109978 8598 1 - 0.0000 -
2946.40/2954.09 c 2954 110204 8600 1 - 0.0000 -
2951.49/2959.13 c 2959 110464 8612 1 - 0.0000 -
2956.58/2964.23 c 2964 110726 8616 1 - 0.0000 -
2961.77/2969.41 c 2969 110945 8645 1 - 0.0000 -
2966.86/2974.50 c 2974 111188 8634 1 - 0.0000 -
2971.94/2979.66 c 2980 111401 8649 1 - 0.0000 -
2977.03/2984.72 c 2985 111601 8668 1 - 0.0000 -
2982.12/2989.85 c 2990 111868 8675 1 - 0.0000 -
2987.51/2995.23 c 2995 112099 8687 1 - 0.0000 -
2992.80/3000.53 c 3001 112276 8727 1 - 0.0000 -
2997.89/3005.62 c 3006 112512 8730 1 - 0.0000 -
3003.07/3010.87 c 3011 112700 8764 1 - 0.0000 -
3008.36/3016.10 c 3016 112925 8781 1 - 0.0000 -
3013.55/3021.31 c 3021 113155 8805 1 - 0.0000 -
3018.84/3026.60 c 3027 113365 8805 1 - 0.0000 -
3023.92/3031.70 c 3032 113589 8816 1 - 0.0000 -
3029.01/3036.83 c 3037 113816 8809 1 - 0.0000 -
3034.39/3042.26 c 3042 113992 8820 1 - 0.0000 -
3039.97/3047.85 c 3048 114173 8838 1 - 0.0000 -
3045.66/3053.57 c 3054 114378 8864 1 - 0.0000 -
3050.84/3058.78 c 3059 114558 8887 1 - 0.0000 -
3056.23/3064.18 c 3064 114749 8914 1 - 0.0000 -
3061.51/3069.40 c 3069 114956 8939 1 - 0.0000 -
3066.60/3074.56 c 3075 115193 8958 1 - 0.0000 -
3071.68/3079.63 c 3080 115468 8977 1 - 0.0000 -
3076.77/3084.76 c 3085 115722 8965 1 - 0.0000 -
3082.17/3090.17 c 3090 115979 8989 1 - 0.0000 -
3087.45/3095.40 c 3095 116228 9018 1 - 0.0000 -
3092.83/3100.81 c 3101 116429 9028 1 - 0.0000 -
3097.81/3105.88 c 3106 116697 9009 1 - 0.0000 -
3102.90/3110.95 c 3111 116911 9022 1 - 0.0000 -
3107.99/3116.03 c 3116 117169 9032 1 - 0.0000 -
3113.27/3121.37 c 3121 117322 9066 1 - 0.0000 -
3118.55/3126.64 c 3127 117600 9090 1 - 0.0000 -
3123.63/3131.74 c 3132 117864 9115 1 - 0.0000 -
3128.73/3136.81 c 3137 118205 9091 1 - 0.0000 -
3133.81/3141.97 c 3142 118394 9097 1 - 0.0000 -
3138.90/3147.05 c 3147 118630 9133 1 - 0.0000 -
3144.08/3152.23 c 3152 118898 9122 1 - 0.0000 -
3149.87/3158.04 c 3158 119182 9112 1 - 0.0000 -
3154.95/3163.11 c 3163 119400 9100 1 - 0.0000 -
3160.04/3168.22 c 3168 119652 9107 1 - 0.0000 -
3165.22/3173.44 c 3173 119875 9116 1 - 0.0000 -
3170.41/3178.65 c 3179 120079 9128 1 - 0.0000 -
3175.59/3183.85 c 3184 120286 9143 1 - 0.0000 -
3180.78/3189.01 c 3189 120549 9170 1 - 0.0000 -
3185.87/3194.13 c 3194 120886 9157 1 - 0.0000 -
3190.95/3199.24 c 3199 121210 9160 1 - 0.0000 -
3196.13/3204.48 c 3204 121541 9155 1 - 0.0000 -
3201.62/3209.90 c 3210 121685 9178 1 - 0.0000 -
3207.40/3215.70 c 3216 121772 9190 1 - 0.0000 -
3212.58/3220.96 c 3221 121993 9199 1 - 0.0000 -
3218.37/3226.73 c 3227 122207 9242 1 - 0.0000 -
3223.45/3231.84 c 3232 122457 9240 1 - 0.0000 -
3228.54/3236.95 c 3237 122640 9261 1 - 0.0000 -
3233.63/3242.09 c 3242 122892 9317 1 - 0.0000 -
3238.72/3247.17 c 3247 123169 9318 1 - 0.0000 -
3243.80/3252.24 c 3252 123421 9312 1 - 0.0000 -
3248.89/3257.32 c 3257 123666 9315 1 - 0.0000 -
3253.97/3262.41 c 3262 123890 9322 1 - 0.0000 -
3259.06/3267.58 c 3268 124062 9354 1 - 0.0000 -
3264.24/3272.79 c 3273 124283 9383 1 - 0.0000 -
3269.43/3277.98 c 3278 124559 9374 1 - 0.0000 -
3274.51/3283.08 c 3283 124769 9397 1 - 0.0000 -
3279.69/3288.28 c 3288 124978 9425 1 - 0.0000 -
3284.99/3293.52 c 3294 125163 9438 1 - 0.0000 -
3290.17/3298.75 c 3299 125408 9455 1 - 0.0000 -
3295.26/3303.88 c 3304 125636 9471 1 - 0.0000 -
3300.34/3308.97 c 3309 125877 9475 1 - 0.0000 -
3305.53/3314.18 c 3314 126083 9471 1 - 0.0000 -
3310.91/3319.57 c 3320 126314 9521 1 - 0.0000 -
3316.00/3324.63 c 3325 126578 9521 1 - 0.0000 -
3321.18/3329.86 c 3330 126790 9531 1 - 0.0000 -
3326.27/3334.95 c 3335 127012 9536 1 - 0.0000 -
3331.35/3340.06 c 3340 127268 9540 1 - 0.0000 -
3336.54/3345.24 c 3345 127494 9548 1 - 0.0000 -
3341.63/3350.33 c 3350 127722 9557 1 - 0.0000 -
3346.71/3355.44 c 3355 127979 9580 1 - 0.0000 -
3351.80/3360.50 c 3360 128216 9580 1 - 0.0000 -
3356.78/3365.57 c 3366 128470 9600 1 - 0.0000 -
3361.97/3370.72 c 3371 128676 9607 1 - 0.0000 -
3367.05/3375.87 c 3376 128922 9606 1 - 0.0000 -
3372.34/3381.18 c 3381 129095 9639 1 - 0.0000 -
3377.42/3386.28 c 3386 129336 9616 1 - 0.0000 -
3382.51/3391.38 c 3391 129543 9628 1 - 0.0000 -
3387.70/3396.57 c 3397 129770 9637 1 - 0.0000 -
3392.88/3401.77 c 3402 129928 9652 1 - 0.0000 -
3398.07/3406.90 c 3407 130144 9665 1 - 0.0000 -
3403.26/3412.10 c 3412 130349 9677 1 - 0.0000 -
3408.54/3417.42 c 3417 130566 9703 1 - 0.0000 -
3413.62/3422.58 c 3423 130813 9708 1 - 0.0000 -
3419.00/3427.97 c 3428 131038 9721 1 - 0.0000 -
3424.49/3433.47 c 3433 131261 9720 1 - 0.0000 -
3429.58/3438.58 c 3439 131479 9726 1 - 0.0000 -
3434.66/3443.68 c 3444 131743 9734 1 - 0.0000 -
3440.15/3449.14 c 3449 131943 9740 1 - 0.0000 -
3445.43/3454.46 c 3454 132191 9749 1 - 0.0000 -
3450.52/3459.56 c 3460 132434 9755 1 - 0.0000 -
3455.60/3464.63 c 3465 132679 9747 1 - 0.0000 -
3460.69/3469.72 c 3470 132893 9762 1 - 0.0000 -
3465.87/3474.99 c 3475 133112 9767 1 - 0.0000 -
3471.16/3480.22 c 3480 133323 9761 1 - 0.0000 -
3476.44/3485.59 c 3486 133479 9778 1 - 0.0000 -
3481.63/3490.74 c 3491 133648 9799 1 - 0.0000 -
3487.11/3496.23 c 3496 133805 9818 1 - 0.0000 -
3492.20/3501.35 c 3501 134082 9842 1 - 0.0000 -
3497.28/3506.48 c 3506 134321 9846 1 - 0.0000 -
3502.37/3511.58 c 3512 134514 9861 1 - 0.0000 -
3507.56/3516.71 c 3517 134753 9866 1 - 0.0000 -
3514.14/3523.36 c 3523 134812 9863 1 - 0.0000 -
3519.23/3528.42 c 3528 135025 9875 1 - 0.0000 -
3524.31/3533.53 c 3534 135210 9874 1 - 0.0000 -
3529.40/3538.69 c 3539 135400 9889 1 - 0.0000 -
3534.58/3543.81 c 3544 135650 9899 1 - 0.0000 -
3539.87/3549.13 c 3549 135891 9908 1 - 0.0000 -
3544.95/3554.27 c 3554 136097 9928 1 - 0.0000 -
3550.33/3559.69 c 3560 136409 9936 1 - 0.0000 -
3555.41/3564.76 c 3565 136685 9942 1 - 0.0000 -
3560.71/3570.07 c 3570 136893 9961 1 - 0.0000 -
3566.09/3575.43 c 3575 137115 9960 1 - 0.0000 -
3571.27/3580.60 c 3581 137337 9963 1 - 0.0000 -
3576.26/3585.67 c 3586 137560 9978 1 - 0.0000 -
3581.34/3590.79 c 3591 137792 10025 1 - 0.0000 -
3586.43/3595.89 c 3596 138067 10002 1 - 0.0000 -
3588.73/3598.14 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.73/3598.14 c Total Time : 3598.1500
3588.73/3598.14 c solving : 3598.1500
3588.73/3598.14 c presolving : 0.3471 (included in solving)
3588.73/3598.14 c B&B Tree :
3588.73/3598.14 c nodes (total) : 1
3588.73/3598.14 c Solution :
3588.73/3598.14 c Solutions found : 0
3588.73/3598.14 c Primal Bound : -
3588.73/3598.14 c Dual Bound : +0.00000000000000e+00
3588.73/3598.14 c Gap : -
3588.73/3598.15 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 (36805 MiB free)
memory of node 1: 64473 MiB (61434 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464672-1722387015/watcher-4464672-1722387015 -o /tmp/evaluation-result-4464672-1722387015/solver-4464672-1722387015 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722378594-31129 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464672-1722387015.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=36494, runsolver pid=36491
Current StackSize limit: 8192 KiB
[startup+0.100084 s]*
/proc/loadavg: 4.07 4.13 4.10 6/263 36495
/proc/meminfo: memFree=100571232/131524600 swapFree=131071996/131071996
[pid=36494] ppid=36491 vsize=47892 memory=37548 CPUtime=0.09 cores=5,7
/proc/36494/stat : 36494 (fscip) R 36491 36494 31114 0 -1 4194304 7668 0 0 0 9 0 0 0 20 0 1 0 5301360 49041408 9387 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
/proc/36494/statm: 11973 9387 2758 3035 0 8369 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47892 KiB
Current children cumulated memory: 37548 KiB
[startup+0.204844 s]*
/proc/loadavg: 4.07 4.13 4.10 5/263 36495
/proc/meminfo: memFree=100569428/131524600 swapFree=131071996/131071996
[pid=36494] ppid=36491 vsize=48380 memory=37812 CPUtime=0.2 cores=5,7
/proc/36494/stat : 36494 (fscip) R 36491 36494 31114 0 -1 4194304 7764 0 0 0 20 0 0 0 20 0 1 0 5301360 49541120 9453 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
/proc/36494/statm: 12095 9453 2758 3035 0 8491 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48380 KiB
Current children cumulated memory: 37812 KiB
[startup+0.305638 s]*
/proc/loadavg: 4.07 4.13 4.10 5/263 36495
/proc/meminfo: memFree=100569352/131524600 swapFree=131071996/131071996
[pid=36494] ppid=36491 vsize=48380 memory=37812 CPUtime=0.3 cores=5,7
/proc/36494/stat : 36494 (fscip) R 36491 36494 31114 0 -1 4194304 7770 0 0 0 30 0 0 0 20 0 1 0 5301360 49541120 9453 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
/proc/36494/statm: 12095 9453 2758 3035 0 8491 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48380 KiB
Current children cumulated memory: 37812 KiB
[startup+0.700251 s]
/proc/loadavg: 4.07 4.13 4.10 5/265 36497
/proc/meminfo: memFree=100524664/131524600 swapFree=131071996/131071996
[pid=36494] ppid=36491 vsize=162396 memory=100344 CPUtime=0.68 cores=5,7
/proc/36494/stat : 36494 (fscip) S 36491 36494 31114 0 -1 1077936128 24754 0 0 0 66 2 0 0 20 0 3 0 5301360 166293504 25086 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
/proc/36494/statm: 40599 25086 2934 3035 0 30374 0
[pid=36494/tid=36496] ppid=36491 vsize=162396 memory=52580 CPUtime=0.3 cores=5,7
/proc/36494/task/36496/stat : 36496 (fscip) R 36491 36494 31114 0 -1 4194368 10684 0 0 0 29 1 0 0 20 0 3 0 5301397 166293504 25086 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
[pid=36494/tid=36497] ppid=36491 vsize=162396 memory=2273 CPUtime=0 cores=5,7
/proc/36494/task/36497/stat : 36497 (fscip) S 36491 36494 31114 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5301400 166293504 25086 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 162396 KiB
Current children cumulated memory: 100344 KiB
[startup+1.5002 s]
/proc/loadavg: 4.07 4.13 4.10 5/265 36497
/proc/meminfo: memFree=100506520/131524600 swapFree=131071996/131071996
[pid=36494] ppid=36491 vsize=162396 memory=101496 CPUtime=1.47 cores=5,7
/proc/36494/stat : 36494 (fscip) S 36491 36494 31114 0 -1 1077936128 25836 0 0 0 145 2 0 0 20 0 3 0 5301360 166293504 25374 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
/proc/36494/statm: 40599 25374 2934 3035 0 30632 0
[pid=36494/tid=36496] ppid=36491 vsize=162396 memory=2273 CPUtime=1.09 cores=5,7
/proc/36494/task/36496/stat : 36496 (fscip) R 36491 36494 31114 0 -1 4194368 11766 0 0 0 108 1 0 0 20 0 3 0 5301397 166293504 25374 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
[pid=36494/tid=36497] ppid=36491 vsize=162396 memory=0 CPUtime=0 cores=5,7
/proc/36494/task/36497/stat : 36497 (fscip) S 36491 36494 31114 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5301400 166293504 25374 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 162396 KiB
Current children cumulated memory: 101496 KiB
[startup+3.10564 s]
/proc/loadavg: 4.06 4.13 4.10 5/265 36497
/proc/meminfo: memFree=100503176/131524600 swapFree=131071996/131071996
[pid=36494] ppid=36491 vsize=162396 memory=101584 CPUtime=3.07 cores=5,7
/proc/36494/stat : 36494 (fscip) S 36491 36494 31114 0 -1 1077936128 27370 0 0 0 305 2 0 0 20 0 3 0 5301360 166293504 25396 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
/proc/36494/statm: 40599 25396 2950 3035 0 30635 0
[pid=36494/tid=36496] ppid=36491 vsize=162396 memory=101504 CPUtime=2.69 cores=5,7
/proc/36494/task/36496/stat : 36496 (fscip) R 36491 36494 31114 0 -1 4194368 13293 0 0 0 268 1 0 0 20 0 3 0 5301397 166293504 25396 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
[pid=36494/tid=36497] ppid=36491 vsize=162396 memory=0 CPUtime=0 cores=5,7
/proc/36494/task/36497/stat : 36497 (fscip) S 36491 36494 31114 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 5301400 166293504 25396 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 162396 KiB
Current children cumulated memory: 101584 KiB
[startup+6.30024 s]
/proc/loadavg: 4.06 4.13 4.10 5/265 36497
/proc/meminfo: memFree=100430300/131524600 swapFree=131071996/131071996
[pid=36494] ppid=36491 vsize=227932 memory=169208 CPUtime=6.25 cores=5,7
/proc/36494/stat : 36494 (fscip) S 36491 36494 31114 0 -1 1077936128 62136 0 0 0 620 5 0 0 20 0 3 0 5301360 233402368 42302 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
/proc/36494/statm: 56983 42302 2966 3035 0 49354 0
[pid=36494/tid=36496] ppid=36491 vsize=227932 memory=11436 CPUtime=5.87 cores=5,7
/proc/36494/task/36496/stat : 36496 (fscip) R 36491 36494 31114 0 -1 4194368 48059 0 0 0 583 4 0 0 20 0 3 0 5301397 233402368 42302 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
[pid=36494/tid=36497] ppid=36491 vsize=227932 memory=148716 CPUtime=0 cores=5,7
/proc/36494/task/36497/stat : 36497 (fscip) S 36491 36494 31114 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 5301400 233402368 42302 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 227932 KiB
Current children cumulated memory: 169208 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.13 4.10 5/265 36498
/proc/meminfo: memFree=100395168/131524600 swapFree=131071996/131071996
[pid=36494] ppid=36491 vsize=293468 memory=197996 CPUtime=12.64 cores=5,7
/proc/36494/stat : 36494 (fscip) S 36491 36494 31114 0 -1 1077936128 87594 0 0 0 1256 8 0 0 20 0 3 0 5301360 300511232 49499 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
/proc/36494/statm: 73367 49499 3030 3035 0 56384 0
[pid=36494/tid=36496] ppid=36491 vsize=293468 memory=6944656592387989600 CPUtime=12.26 cores=5,7
/proc/36494/task/36496/stat : 36496 (fscip) R 36491 36494 31114 0 -1 4194368 73450 0 0 0 1220 6 0 0 20 0 3 0 5301397 300511232 49499 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
[pid=36494/tid=36497] ppid=36491 vsize=293468 memory=101584 CPUtime=0 cores=5,7
/proc/36494/task/36497/stat : 36497 (fscip) S 36491 36494 31114 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 5301400 300511232 49499 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 293468 KiB
Current children cumulated memory: 197996 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.14 4.10 5/265 36500
/proc/meminfo: memFree=100373888/131524600 swapFree=131071996/131071996
[pid=36494] ppid=36491 vsize=293468 memory=199632 CPUtime=25.4 cores=5,7
/proc/36494/stat : 36494 (fscip) S 36491 36494 31114 0 -1 1077936128 147478 0 0 0 2528 12 0 0 20 0 3 0 5301360 300511232 49908 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
/proc/36494/statm: 73367 49908 3030 3035 0 57756 0
[pid=36494/tid=36496] ppid=36491 vsize=293468 memory=199632 CPUtime=25.02 cores=5,7
/proc/36494/task/36496/stat : 36496 (fscip) R 36491 36494 31114 0 -1 4194368 133238 0 0 0 2491 11 0 0 20 0 3 0 5301397 300511232 49908 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
[pid=36494/tid=36497] ppid=36491 vsize=293468 memory=199256 CPUtime=0 cores=5,7
/proc/36494/task/36497/stat : 36497 (fscip) S 36491 36494 31114 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 5301400 300511232 49908 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 293468 KiB
Current children cumulated memory: 199632 KiB
[startup+51.1057 s]
/proc/loadavg: 4.23 4.16 4.11 6/265 36505
/proc/meminfo: memFree=100317940/131524600 swapFree=131071996/131071996
[pid=36494] ppid=36491 vsize=293468 memory=217064 CPUtime=50.94 cores=5,7
/proc/36494/stat : 36494 (fscip) S 36491 36494 31114 0 -1 1077936128 213312 0 0 0 5077 17 0 0 20 0 3 0 5301360 300511232 54266 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
/proc/36494/statm: 73367 54266 3030 3035 0 62635 0
[pid=36494/tid=36496] ppid=36491 vsize=293468 memory=11436 CPUtime=50.56 cores=5,7
/proc/36494/task/36496/stat : 36496 (fscip) R 36491 36494 31114 0 -1 4194368 198965 0 0 0 5040 16 0 0 20 0 3 0 5301397 300511232 54266 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
[pid=36494/tid=36497] ppid=36491 vsize=293468 memory=-7378703256078345591 CPUtime=0 cores=5,7
/proc/36494/task/36497/stat : 36497 (fscip) S 36491 36494 31114 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 5301400 300511232 54266 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 293468 KiB
Current children cumulated memory: 217064 KiB
[startup+102.3 s]
/proc/loadavg: 4.43 4.24 4.14 5/265 36514
/proc/meminfo: memFree=100243068/131524600 swapFree=131071996/131071996
[pid=36494] ppid=36491 vsize=293468 memory=219192 CPUtime=102 cores=5,7
/proc/36494/stat : 36494 (fscip) S 36491 36494 31114 0 -1 1077936128 300862 0 0 0 10175 25 0 0 20 0 3 0 5301360 300511232 54798 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
/proc/36494/statm: 73367 54798 3030 3035 0 63151 0
[pid=36494/tid=36496] ppid=36491 vsize=293468 memory=11436 CPUtime=101.61 cores=5,7
/proc/36494/task/36496/stat : 36496 (fscip) R 36491 36494 31114 0 -1 4194368 286407 0 0 0 10138 23 0 0 20 0 3 0 5301397 300511232 54798 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
[pid=36494/tid=36497] ppid=36491 vsize=293468 memory=219180 CPUtime=0 cores=5,7
/proc/36494/task/36497/stat : 36497 (fscip) S 36491 36494 31114 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 5301400 300511232 54798 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 293468 KiB
Current children cumulated memory: 219192 KiB
[startup+162.3 s]
/proc/loadavg: 4.27 4.22 4.14 5/265 36525
/proc/meminfo: memFree=100145856/131524600 swapFree=131071996/131071996
[pid=36494] ppid=36491 vsize=293468 memory=231416 CPUtime=161.85 cores=5,7
/proc/36494/stat : 36494 (fscip) S 36491 36494 31114 0 -1 1077936128 360180 0 0 0 16154 31 0 0 20 0 3 0 5301360 300511232 57854 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
/proc/36494/statm: 73367 57854 3030 3035 0 65900 0
[pid=36494/tid=36496] ppid=36491 vsize=293468 memory=219192 CPUtime=161.45 cores=5,7
/proc/36494/task/36496/stat : 36496 (fscip) R 36491 36494 31114 0 -1 4194368 345598 0 0 0 16116 29 0 0 20 0 3 0 5301397 300511232 57854 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
[pid=36494/tid=36497] ppid=36491 vsize=293468 memory=231416 CPUtime=0 cores=5,7
/proc/36494/task/36497/stat : 36497 (fscip) S 36491 36494 31114 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 5301400 300511232 57854 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 293468 KiB
Current children cumulated memory: 231416 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.18 4.13 5/265 36535
/proc/meminfo: memFree=100050064/131524600 swapFree=131071996/131071996
[pid=36494] ppid=36491 vsize=293468 memory=231472 CPUtime=221.68 cores=5,7
/proc/36494/stat : 36494 (fscip) S 36491 36494 31114 0 -1 1077936128 379461 0 0 0 22135 33 0 0 20 0 3 0 5301360 300511232 57868 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
/proc/36494/statm: 73367 57868 3030 3035 0 65900 0
[pid=36494/tid=36496] ppid=36491 vsize=293468 memory=231436 CPUtime=221.29 cores=5,7
/proc/36494/task/36496/stat : 36496 (fscip) R 36491 36494 31114 0 -1 4194368 364838 0 0 0 22097 32 0 0 20 0 3 0 5301397 300511232 57868 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
[pid=36494/tid=36497] ppid=36491 vsize=293468 memory=231436 CPUtime=0 cores=5,7
/proc/36494/task/36497/stat : 36497 (fscip) S 36491 36494 31114 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 5301400 300511232 57868 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
################
# More data... #
################
/proc/36494/statm: 122519 102791 3030 3035 0 105546 0
[pid=36494/tid=36496] ppid=36491 vsize=490076 memory=411080 CPUtime=3452.72 cores=5,7
/proc/36494/task/36496/stat : 36496 (fscip) R 36491 36494 31114 0 -1 4194368 1424752 0 0 0 345107 165 0 0 20 0 3 0 5301397 501837824 102791 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
[pid=36494/tid=36497] ppid=36491 vsize=490076 memory=411080 CPUtime=0.03 cores=5,7
/proc/36494/task/36497/stat : 36497 (fscip) S 36491 36494 31114 0 -1 1077936192 166 0 0 0 1 2 0 0 20 0 3 0 5301400 501837824 102791 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
Current children cumulated CPU time: 3453.31 s
Current children cumulated vsize: 490076 KiB
Current children cumulated memory: 411164 KiB
[startup+3522.3 s]
/proc/loadavg: 2.10 2.18 2.80 3/246 38657
/proc/meminfo: memFree=122350128/131524600 swapFree=131071996/131071996
[pid=36494] ppid=36491 vsize=490076 memory=411720 CPUtime=3513.14 cores=5,7
/proc/36494/stat : 36494 (fscip) S 36491 36494 31114 0 -1 1077936128 1444653 0 0 0 351141 173 0 0 20 0 3 0 5301360 501837824 102930 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
/proc/36494/statm: 122519 102930 3030 3035 0 105546 0
[pid=36494/tid=36496] ppid=36491 vsize=490076 memory=411080 CPUtime=3512.54 cores=5,7
/proc/36494/task/36496/stat : 36496 (fscip) R 36491 36494 31114 0 -1 4194368 1428079 0 0 0 351089 165 0 0 20 0 3 0 5301397 501837824 102930 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
[pid=36494/tid=36497] ppid=36491 vsize=490076 memory=411164 CPUtime=0.03 cores=5,7
/proc/36494/task/36497/stat : 36497 (fscip) S 36491 36494 31114 0 -1 1077936192 168 0 0 0 1 2 0 0 20 0 3 0 5301400 501837824 102930 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
Current children cumulated CPU time: 3513.14 s
Current children cumulated vsize: 490076 KiB
Current children cumulated memory: 411720 KiB
[startup+3582.3 s]
/proc/loadavg: 2.09 2.16 2.75 3/245 38668
/proc/meminfo: memFree=122348960/131524600 swapFree=131071996/131071996
[pid=36494] ppid=36491 vsize=490076 memory=412252 CPUtime=3572.97 cores=5,7
/proc/36494/stat : 36494 (fscip) S 36491 36494 31114 0 -1 1077936128 1447619 0 0 0 357123 174 0 0 20 0 3 0 5301360 501837824 103063 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
/proc/36494/statm: 122519 103063 3030 3035 0 105546 0
[pid=36494/tid=36496] ppid=36491 vsize=490076 memory=411080 CPUtime=3572.37 cores=5,7
/proc/36494/task/36496/stat : 36496 (fscip) R 36491 36494 31114 0 -1 4194368 1431021 0 0 0 357070 167 0 0 20 0 3 0 5301397 501837824 103063 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
[pid=36494/tid=36497] ppid=36491 vsize=490076 memory=11436 CPUtime=0.03 cores=5,7
/proc/36494/task/36497/stat : 36497 (fscip) S 36491 36494 31114 0 -1 1077936192 173 0 0 0 1 2 0 0 20 0 3 0 5301400 501837824 103063 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
Current children cumulated CPU time: 3572.97 s
Current children cumulated vsize: 490076 KiB
Current children cumulated memory: 412252 KiB
[startup+3598.16 s]
# the end of solver process 36494 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.04 s, system=1.75321 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.08 2.16 2.74 3/245 38668
/proc/meminfo: memFree=122348960/131524600 swapFree=131071996/131071996
[pid=36494] ppid=36491 vsize=490076 memory=412252 CPUtime=3574.67 cores=5,7
/proc/36494/stat : 36494 (fscip) S 36491 36494 31114 0 -1 1077936128 1449414 0 0 0 357293 174 0 0 20 0 3 0 5301360 501837824 103063 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
/proc/36494/statm: 122519 103063 3030 3035 0 105546 0
[pid=36494/tid=36496] ppid=36491 vsize=490076 memory=-7378421781101634174 CPUtime=3574.07 cores=5,7
/proc/36494/task/36496/stat : 36496 (fscip) R 36491 36494 31114 0 -1 4194368 1432810 0 0 0 357240 167 0 0 20 0 3 0 5301397 501837824 103063 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
[pid=36494/tid=36497] ppid=36491 vsize=490076 memory=-5155633680935826750 CPUtime=0.03 cores=5,7
/proc/36494/task/36497/stat : 36497 (fscip) S 36491 36494 31114 0 -1 1077936192 173 0 0 0 1 2 0 0 20 0 3 0 5301400 501837824 103063 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
Current children cumulated CPU time: 3574.67 s
Current children cumulated vsize: 490076 KiB
Current children cumulated memory: 412252 KiB
[startup+3590.4 s]
/proc/loadavg: 2.15 2.17 2.75 3/245 38669
/proc/meminfo: memFree=122348792/131524600 swapFree=131071996/131071996
[pid=36494] ppid=36491 vsize=490076 memory=412252 CPUtime=3581.04 cores=5,7
/proc/36494/stat : 36494 (fscip) S 36491 36494 31114 0 -1 1077936128 1449642 0 0 0 357930 174 0 0 20 0 3 0 5301360 501837824 103063 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
/proc/36494/statm: 122519 103063 3030 3035 0 105546 0
[pid=36494/tid=36496] ppid=36491 vsize=490076 memory=412252 CPUtime=3580.44 cores=5,7
/proc/36494/task/36496/stat : 36496 (fscip) R 36491 36494 31114 0 -1 4194368 1433029 0 0 0 357877 167 0 0 20 0 3 0 5301397 501837824 103063 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
[pid=36494/tid=36497] ppid=36491 vsize=490076 memory=280670744543744 CPUtime=0.03 cores=5,7
/proc/36494/task/36497/stat : 36497 (fscip) S 36491 36494 31114 0 -1 1077936192 173 0 0 0 1 2 0 0 20 0 3 0 5301400 501837824 103063 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
Current children cumulated CPU time: 3581.04 s
Current children cumulated vsize: 490076 KiB
Current children cumulated memory: 412252 KiB
[startup+3593.6 s]
/proc/loadavg: 2.14 2.17 2.74 3/245 38669
/proc/meminfo: memFree=122348792/131524600 swapFree=131071996/131071996
[pid=36494] ppid=36491 vsize=490076 memory=412252 CPUtime=3584.23 cores=5,7
/proc/36494/stat : 36494 (fscip) S 36491 36494 31114 0 -1 1077936128 1449683 0 0 0 358249 174 0 0 20 0 3 0 5301360 501837824 103063 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
/proc/36494/statm: 122519 103063 3030 3035 0 105546 0
[pid=36494/tid=36496] ppid=36491 vsize=490076 memory=412252 CPUtime=3583.64 cores=5,7
/proc/36494/task/36496/stat : 36496 (fscip) R 36491 36494 31114 0 -1 4194368 1433070 0 0 0 358197 167 0 0 20 0 3 0 5301397 501837824 103063 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
[pid=36494/tid=36497] ppid=36491 vsize=490076 memory=11436 CPUtime=0.03 cores=5,7
/proc/36494/task/36497/stat : 36497 (fscip) S 36491 36494 31114 0 -1 1077936192 173 0 0 0 1 2 0 0 20 0 3 0 5301400 501837824 103063 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
Current children cumulated CPU time: 3584.23 s
Current children cumulated vsize: 490076 KiB
Current children cumulated memory: 412252 KiB
[startup+3595.2 s]
/proc/loadavg: 2.14 2.17 2.74 3/245 38669
/proc/meminfo: memFree=122348780/131524600 swapFree=131071996/131071996
[pid=36494] ppid=36491 vsize=490076 memory=412252 CPUtime=3585.83 cores=5,7
/proc/36494/stat : 36494 (fscip) S 36491 36494 31114 0 -1 1077936128 1449746 0 0 0 358409 174 0 0 20 0 3 0 5301360 501837824 103063 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
/proc/36494/statm: 122519 103063 3030 3035 0 105546 0
[pid=36494/tid=36496] ppid=36491 vsize=490076 memory=19036 CPUtime=3585.23 cores=5,7
/proc/36494/task/36496/stat : 36496 (fscip) R 36491 36494 31114 0 -1 4194368 1433133 0 0 0 358356 167 0 0 20 0 3 0 5301397 501837824 103063 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
[pid=36494/tid=36497] ppid=36491 vsize=490076 memory=2273 CPUtime=0.03 cores=5,7
/proc/36494/task/36497/stat : 36497 (fscip) S 36491 36494 31114 0 -1 1077936192 173 0 0 0 1 2 0 0 20 0 3 0 5301400 501837824 103063 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
Current children cumulated CPU time: 3585.83 s
Current children cumulated vsize: 490076 KiB
Current children cumulated memory: 412252 KiB
[startup+3596.8 s]
/proc/loadavg: 2.14 2.17 2.74 3/245 38669
/proc/meminfo: memFree=122348780/131524600 swapFree=131071996/131071996
[pid=36494] ppid=36491 vsize=490076 memory=412252 CPUtime=3587.42 cores=5,7
/proc/36494/stat : 36494 (fscip) S 36491 36494 31114 0 -1 1077936128 1449747 0 0 0 358568 174 0 0 20 0 3 0 5301360 501837824 103063 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
/proc/36494/statm: 122519 103063 3030 3035 0 105546 0
[pid=36494/tid=36496] ppid=36491 vsize=490076 memory=412252 CPUtime=3586.82 cores=5,7
/proc/36494/task/36496/stat : 36496 (fscip) R 36491 36494 31114 0 -1 4194368 1433134 0 0 0 358515 167 0 0 20 0 3 0 5301397 501837824 103063 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
[pid=36494/tid=36497] ppid=36491 vsize=490076 memory=12272 CPUtime=0.03 cores=5,7
/proc/36494/task/36497/stat : 36497 (fscip) S 36491 36494 31114 0 -1 1077936192 173 0 0 0 1 2 0 0 20 0 3 0 5301400 501837824 103063 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
Current children cumulated CPU time: 3587.42 s
Current children cumulated vsize: 490076 KiB
Current children cumulated memory: 412252 KiB
[startup+3597.6 s]
/proc/loadavg: 2.14 2.17 2.74 4/245 38669
/proc/meminfo: memFree=122348780/131524600 swapFree=131071996/131071996
[pid=36494] ppid=36491 vsize=490076 memory=412252 CPUtime=3588.22 cores=5,7
/proc/36494/stat : 36494 (fscip) S 36491 36494 31114 0 -1 1077936128 1449750 0 0 0 358648 174 0 0 20 0 3 0 5301360 501837824 103063 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
/proc/36494/statm: 122519 103063 3030 3035 0 105546 0
[pid=36494/tid=36496] ppid=36491 vsize=490076 memory=15016 CPUtime=3587.62 cores=5,7
/proc/36494/task/36496/stat : 36496 (fscip) R 36491 36494 31114 0 -1 4194368 1433137 0 0 0 358595 167 0 0 20 0 3 0 5301397 501837824 103063 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
[pid=36494/tid=36497] ppid=36491 vsize=490076 memory=12272 CPUtime=0.03 cores=5,7
/proc/36494/task/36497/stat : 36497 (fscip) S 36491 36494 31114 0 -1 1077936192 173 0 0 0 1 2 0 0 20 0 3 0 5301400 501837824 103063 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
Current children cumulated CPU time: 3588.22 s
Current children cumulated vsize: 490076 KiB
Current children cumulated memory: 412252 KiB
[startup+3598 s]*
/proc/loadavg: 2.21 2.18 2.74 3/245 38669
/proc/meminfo: memFree=122348780/131524600 swapFree=131071996/131071996
[pid=36494] ppid=36491 vsize=490076 memory=412252 CPUtime=3588.62 cores=5,7
/proc/36494/stat : 36494 (fscip) R 36491 36494 31114 0 -1 1077936128 1449754 0 0 0 358688 174 0 0 20 0 3 0 5301360 501837824 103063 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
/proc/36494/statm: 122519 103063 3030 3035 0 105546 0
[pid=36494/tid=36496] ppid=36491 vsize=490076 memory=-7378421781101634174 CPUtime=3588.03 cores=5,7
/proc/36494/task/36496/stat : 36496 (fscip) R 36491 36494 31114 0 -1 4194368 1433141 0 0 0 358636 167 0 0 20 0 3 0 5301397 501837824 103063 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
[pid=36494/tid=36497] ppid=36491 vsize=490076 memory=972296 CPUtime=0.03 cores=5,7
/proc/36494/task/36497/stat : 36497 (fscip) S 36491 36494 31114 0 -1 1077936192 173 0 0 0 1 2 0 0 20 0 3 0 5301400 501837824 103063 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
Current children cumulated CPU time: 3588.62 s
Current children cumulated vsize: 490076 KiB
Current children cumulated memory: 412252 KiB
[startup+3598.11 s]
/proc/loadavg: 2.21 2.18 2.74 3/245 38669
/proc/meminfo: memFree=122348780/131524600 swapFree=131071996/131071996
[pid=36494] ppid=36491 vsize=490076 memory=412252 CPUtime=3588.73 cores=5,7
/proc/36494/stat : 36494 (fscip) S 36491 36494 31114 0 -1 1077936128 1451069 0 0 0 358699 174 0 0 20 0 3 0 5301360 501837824 103063 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
/proc/36494/statm: 122519 103063 3030 3035 0 105546 0
[pid=36494/tid=36496] ppid=36491 vsize=490076 memory=412252 CPUtime=3588.13 cores=5,7
/proc/36494/task/36496/stat : 36496 (fscip) R 36491 36494 31114 0 -1 4194368 1434454 0 0 0 358646 167 0 0 20 0 3 0 5301397 501837824 103063 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
[pid=36494/tid=36497] ppid=36491 vsize=490076 memory=412252 CPUtime=0.03 cores=5,7
/proc/36494/task/36497/stat : 36497 (fscip) S 36491 36494 31114 0 -1 1077936192 173 0 0 0 1 2 0 0 20 0 3 0 5301400 501837824 103063 134679101440 4194304 16623229 140722046500720 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 32673792 140722046510102 140722046510218 140722046510218 140722046517232 0
Current children cumulated CPU time: 3588.73 s
Current children cumulated vsize: 490076 KiB
Current children cumulated memory: 412252 KiB
Child status: 0
Real time (s): 3598.16
CPU time (s): 3588.79
CPU user time (s): 3587.04
CPU system time (s): 1.75321
CPU usage (%): 99.7397
Max. virtual memory (cumulated for all children) (KiB): 490076
Max. memory (cumulated for all children) (KiB): 412252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.04
system time used= 1.75321
maximum resident set size= 412252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1452452
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= 10519
involuntary context switches= 1597
# summary of solver processes directly reported to runsolver:
# pid: 36494
# total CPU time (s): 3588.79
# total CPU user time (s): 3587.04
# total CPU system time (s): 1.75321
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.31132 second user time and 14.2682 second system time
The end
Begin job on nodeC025 at 2024-07-31 02:50:15
IDJOB=4464672
IDBENCH=162853
IDSOLVER=3092
FILE ID=nodeC025/4464672-1722387015
RUNJOBID= nodeC025-1722378594-31129
SLURM_JOB_ID= 8249848
Free space on /tmp= 889788 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_32.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-4464672-1722387015/watcher-4464672-1722387015 -o /tmp/evaluation-result-4464672-1722387015/solver-4464672-1722387015 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722378594-31129 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464672-1722387015.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 821356efb808a668e35dedcee024edbb
RANDOM SEED=888329659
nodeC025.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 : 3672.267
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 : 7000.10
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 : 3683.695
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.96
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.080
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 : 7000.10
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 : 3604.491
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.96
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 : 3672.252
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 : 7000.10
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 : 3666.242
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.96
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.407
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 : 7000.10
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 : 3675.499
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.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 100597976 kB
MemAvailable: 106963272 kB
Buffers: 103220 kB
Cached: 7035796 kB
SwapCached: 0 kB
Active: 493084 kB
Inactive: 29779520 kB
Active(anon): 1584 kB
Inactive(anon): 23153352 kB
Active(file): 491500 kB
Inactive(file): 6626168 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28524 kB
Writeback: 0 kB
AnonPages: 23128928 kB
Mapped: 124740 kB
Shmem: 21336 kB
KReclaimable: 174900 kB
Slab: 265856 kB
SReclaimable: 174900 kB
SUnreclaim: 90956 kB
KernelStack: 4204 kB
PageTables: 54756 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 22027384 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9792 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8226816 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: 248532 kB
DirectMap2M: 11059200 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 890028 MiB
End job on nodeC025 at 2024-07-31 03:50:13