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.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 24485888, getVmSize() = 24485888, SCIPgetMemUsed() = 2274420, SCIPgetMemTotal() = 2885596, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.05 c ** Estimated virtualMemUsedAtSolver = 19027285, getVmSize() = 32595968, SCIPgetMemUsed() = 6111485, SCIPgetMemTotal() = 9779133, SCIPgetMemExternEstim() = 1048576
0.00/0.05 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.05 c Original Problem :
0.00/0.05 c Problem name : instance-4464383-1722378634
0.00/0.05 c Variables : 428 (428 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.05 c Constraints : 644
0.00/0.05 c Objective sense : minimize
0.00/0.05 c Presolved Problem :
0.00/0.05 c Variables : 420 (420 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.05 c Constraints : 344
0.00/0.05 c Constraints : Number
0.00/0.05 c knapsack : 2
0.00/0.05 c setppc : 210
0.00/0.05 c and : 132
0.00/0.05 c ** Instance transfer method used: 0
0.00/0.05 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.06 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.06 c Nodes Active
0.00/0.06 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.88/5.99 c 6 728 51 1 - 0.0000 -
11.35/11.41 c 11 1664 21 1 - 0.0000 -
16.34/16.46 c 16 5254 21 1 - 0.0000 -
21.52/21.63 c 22 7888 37 1 - 0.0000 -
26.51/26.68 c 27 10611 46 1 - 0.0000 -
31.59/31.72 c 32 14142 63 1 - 0.0000 -
36.89/37.03 c 37 17781 75 1 - 0.0000 -
41.97/42.18 c 42 20904 110 1 - 0.0000 -
47.05/47.23 c 47 24601 111 1 - 0.0000 -
52.03/52.28 c 52 27964 118 1 - 0.0000 -
57.11/57.33 c 57 30726 138 1 - 0.0000 -
62.20/62.47 c 62 34108 150 1 - 0.0000 -
67.28/67.51 c 68 37366 184 1 - 0.0000 -
72.26/72.56 c 73 40338 196 1 - 0.0000 -
77.35/77.61 c 78 42698 204 1 - 0.0000 -
82.33/82.66 c 83 45792 222 1 - 0.0000 -
87.41/87.72 c 88 49362 230 1 - 0.0000 -
92.40/92.76 c 93 52113 237 1 - 0.0000 -
97.49/97.81 c 98 55313 259 1 - 0.0000 -
102.57/102.97 c 103 57563 283 1 - 0.0000 -
107.66/108.02 c 108 60564 308 1 - 0.0000 -
112.64/113.07 c 113 64267 335 1 - 0.0000 -
117.72/118.12 c 118 66786 348 1 - 0.0000 -
122.71/123.17 c 123 69784 354 1 - 0.0000 -
127.79/128.23 c 128 72553 371 1 - 0.0000 -
132.78/133.27 c 133 75171 397 1 - 0.0000 -
137.86/138.32 c 138 79158 438 1 - 0.0000 -
142.84/143.37 c 143 82183 445 1 - 0.0000 -
147.93/148.42 c 148 85541 465 1 - 0.0000 -
153.01/153.50 c 154 88140 472 1 - 0.0000 -
158.09/158.60 c 159 89996 480 1 - 0.0000 -
163.08/163.64 c 164 92457 493 1 - 0.0000 -
168.06/168.69 c 169 95428 538 1 - 0.0000 -
173.14/173.74 c 174 98711 519 1 - 0.0000 -
178.23/178.80 c 179 101375 543 1 - 0.0000 -
183.22/183.86 c 184 104339 561 1 - 0.0000 -
188.30/188.90 c 189 107299 583 1 - 0.0000 -
193.28/193.95 c 194 109733 583 1 - 0.0000 -
198.36/199.00 c 199 112324 608 1 - 0.0000 -
203.45/204.16 c 204 115149 641 1 - 0.0000 -
208.53/209.21 c 209 118713 671 1 - 0.0000 -
213.52/214.26 c 214 121954 722 1 - 0.0000 -
218.60/219.32 c 219 124888 738 1 - 0.0000 -
223.58/224.37 c 224 127144 770 1 - 0.0000 -
228.67/229.49 c 230 129717 787 1 - 0.0000 -
233.75/234.54 c 235 132723 799 1 - 0.0000 -
238.94/239.76 c 240 135024 806 1 - 0.0000 -
244.02/244.84 c 245 138034 840 1 - 0.0000 -
249.00/249.89 c 250 141095 861 1 - 0.0000 -
254.09/254.98 c 255 144116 896 1 - 0.0000 -
259.28/260.10 c 260 146991 921 1 - 0.0000 -
264.26/265.15 c 265 149641 937 1 - 0.0000 -
269.33/270.21 c 270 152954 950 1 - 0.0000 -
274.32/275.26 c 275 156863 971 1 - 0.0000 -
279.41/280.38 c 280 160232 990 1 - 0.0000 -
284.48/285.43 c 285 162888 992 1 - 0.0000 -
289.47/290.48 c 290 165886 1022 1 - 0.0000 -
294.55/295.54 c 296 168484 1042 1 - 0.0000 -
299.54/300.59 c 301 172008 1066 1 - 0.0000 -
304.62/305.65 c 306 174694 1128 1 - 0.0000 -
309.71/310.70 c 311 177513 1157 1 - 0.0000 -
314.68/315.76 c 316 180409 1185 1 - 0.0000 -
319.87/320.99 c 321 182514 1214 1 - 0.0000 -
324.96/326.03 c 326 184990 1257 1 - 0.0000 -
329.95/331.08 c 331 187792 1279 1 - 0.0000 -
335.12/336.26 c 336 191222 1319 1 - 0.0000 -
340.21/341.39 c 341 193579 1354 1 - 0.0000 -
345.29/346.44 c 346 197597 1432 1 - 0.0000 -
350.27/351.49 c 352 200627 1438 1 - 0.0000 -
355.45/356.60 c 357 203822 1439 1 - 0.0000 -
360.44/361.66 c 362 206427 1464 1 - 0.0000 -
365.52/366.71 c 367 209514 1459 1 - 0.0000 -
370.49/371.77 c 372 212017 1482 1 - 0.0000 -
375.57/376.81 c 377 215139 1494 1 - 0.0000 -
380.55/381.86 c 382 217829 1492 1 - 0.0000 -
385.63/386.91 c 387 221591 1518 1 - 0.0000 -
390.71/392.04 c 392 224544 1541 1 - 0.0000 -
395.70/397.09 c 397 227657 1572 1 - 0.0000 -
400.77/402.14 c 402 230279 1568 1 - 0.0000 -
405.95/407.32 c 407 231562 1581 1 - 0.0000 -
411.02/412.42 c 412 234213 1592 1 - 0.0000 -
416.00/417.47 c 417 237099 1618 1 - 0.0000 -
421.08/422.52 c 423 241339 1656 1 - 0.0000 -
426.06/427.57 c 428 245686 1673 1 - 0.0000 -
431.14/432.68 c 433 248639 1698 1 - 0.0000 -
436.22/437.72 c 438 251893 1744 1 - 0.0000 -
441.39/442.90 c 443 253938 1753 1 - 0.0000 -
446.38/447.94 c 448 256692 1773 1 - 0.0000 -
451.35/452.99 c 453 259773 1778 1 - 0.0000 -
456.44/458.07 c 458 261842 1799 1 - 0.0000 -
461.61/463.23 c 463 264551 1802 1 - 0.0000 -
466.79/468.40 c 468 266436 1811 1 - 0.0000 -
471.87/473.55 c 474 268543 1818 1 - 0.0000 -
476.95/478.61 c 479 270077 1838 1 - 0.0000 -
482.13/483.82 c 484 272499 1846 1 - 0.0000 -
487.10/488.87 c 489 274468 1845 1 - 0.0000 -
492.18/493.92 c 494 277371 1858 1 - 0.0000 -
497.27/499.01 c 499 280704 1875 1 - 0.0000 -
502.25/504.08 c 504 283031 1882 1 - 0.0000 -
507.32/509.19 c 509 285151 1910 1 - 0.0000 -
512.40/514.24 c 514 287555 1938 1 - 0.0000 -
517.48/519.36 c 519 289736 1945 1 - 0.0000 -
522.56/524.48 c 524 291859 1984 1 - 0.0000 -
527.74/529.66 c 530 294592 2009 1 - 0.0000 -
532.91/534.83 c 535 296352 2025 1 - 0.0000 -
537.99/539.91 c 540 299202 2033 1 - 0.0000 -
543.17/545.11 c 545 300570 2037 1 - 0.0000 -
548.16/550.16 c 550 303770 2041 1 - 0.0000 -
553.23/555.24 c 555 306593 2092 1 - 0.0000 -
558.21/560.29 c 560 309544 2115 1 - 0.0000 -
563.28/565.34 c 565 313335 2146 1 - 0.0000 -
568.37/570.44 c 570 315816 2155 1 - 0.0000 -
573.54/575.62 c 576 317728 2147 1 - 0.0000 -
578.62/580.74 c 581 319754 2139 1 - 0.0000 -
583.71/585.85 c 586 321998 2165 1 - 0.0000 -
588.78/590.90 c 591 325139 2166 1 - 0.0000 -
593.76/595.95 c 596 327373 2178 1 - 0.0000 -
598.84/601.00 c 601 330418 2187 1 - 0.0000 -
603.82/606.05 c 606 332837 2188 1 - 0.0000 -
608.99/611.21 c 611 334874 2183 1 - 0.0000 -
614.07/616.36 c 616 337331 2182 1 - 0.0000 -
619.16/621.46 c 621 340181 2204 1 - 0.0000 -
624.23/626.57 c 627 342072 2211 1 - 0.0000 -
629.41/631.77 c 632 344449 2200 1 - 0.0000 -
634.48/636.85 c 637 346661 2204 1 - 0.0000 -
639.56/641.98 c 642 348537 2216 1 - 0.0000 -
644.65/647.03 c 647 351710 2231 1 - 0.0000 -
649.63/652.08 c 652 354313 2224 1 - 0.0000 -
654.80/657.21 c 657 357093 2251 1 - 0.0000 -
659.78/662.26 c 662 359989 2273 1 - 0.0000 -
664.86/667.37 c 667 362206 2300 1 - 0.0000 -
670.03/672.56 c 673 363884 2308 1 - 0.0000 -
675.11/677.62 c 678 366660 2312 1 - 0.0000 -
680.19/682.72 c 683 368685 2311 1 - 0.0000 -
685.16/687.78 c 688 370789 2329 1 - 0.0000 -
690.44/693.01 c 693 372686 2330 1 - 0.0000 -
695.42/698.06 c 698 374907 2355 1 - 0.0000 -
700.50/703.11 c 703 377225 2383 1 - 0.0000 -
705.48/708.16 c 708 380081 2397 1 - 0.0000 -
710.56/713.28 c 713 382583 2393 1 - 0.0000 -
715.73/718.49 c 718 384115 2381 1 - 0.0000 -
720.82/723.53 c 724 386676 2420 1 - 0.0000 -
725.90/728.69 c 729 389215 2401 1 - 0.0000 -
730.98/733.74 c 734 392519 2461 1 - 0.0000 -
735.96/738.79 c 739 396050 2500 1 - 0.0000 -
741.04/743.84 c 744 399849 2555 1 - 0.0000 -
746.11/748.97 c 749 403134 2570 1 - 0.0000 -
751.20/754.04 c 754 405010 2566 1 - 0.0000 -
756.28/759.18 c 759 407476 2574 1 - 0.0000 -
761.37/764.22 c 764 410798 2592 1 - 0.0000 -
766.34/769.27 c 769 414318 2610 1 - 0.0000 -
771.52/774.41 c 774 416562 2646 1 - 0.0000 -
776.50/779.46 c 779 420208 2698 1 - 0.0000 -
781.79/784.74 c 785 422937 2707 1 - 0.0000 -
786.98/789.90 c 790 424822 2714 1 - 0.0000 -
792.06/795.01 c 795 426380 2702 1 - 0.0000 -
797.04/800.08 c 800 428347 2711 1 - 0.0000 -
802.12/805.12 c 805 430409 2721 1 - 0.0000 -
807.30/810.33 c 810 432526 2738 1 - 0.0000 -
812.38/815.41 c 815 433962 2746 1 - 0.0000 -
817.36/820.46 c 820 437237 2761 1 - 0.0000 -
822.44/825.51 c 826 440122 2786 1 - 0.0000 -
827.42/830.56 c 831 442587 2783 1 - 0.0000 -
832.50/835.61 c 836 444779 2805 1 - 0.0000 -
837.59/840.75 c 841 447193 2817 1 - 0.0000 -
842.68/845.80 c 846 450665 2823 1 - 0.0000 -
847.96/851.10 c 851 452754 2840 1 - 0.0000 -
852.95/856.15 c 856 455902 2858 1 - 0.0000 -
858.03/861.28 c 861 458294 2876 1 - 0.0000 -
863.11/866.35 c 866 461121 2921 1 - 0.0000 -
868.20/871.49 c 872 463674 2910 1 - 0.0000 -
873.28/876.54 c 877 466175 2915 1 - 0.0000 -
878.37/881.69 c 882 468749 2923 1 - 0.0000 -
883.44/886.79 c 887 471898 2948 1 - 0.0000 -
888.54/891.84 c 892 474703 2951 1 - 0.0000 -
893.61/896.90 c 897 478029 2971 1 - 0.0000 -
898.60/901.97 c 902 480212 2988 1 - 0.0000 -
903.69/907.02 c 907 483150 2988 1 - 0.0000 -
908.78/912.16 c 912 485391 2991 1 - 0.0000 -
913.85/917.27 c 917 487826 3014 1 - 0.0000 -
918.93/922.32 c 922 490148 3022 1 - 0.0000 -
924.03/927.43 c 927 491921 3047 1 - 0.0000 -
929.11/932.52 c 933 495148 3076 1 - 0.0000 -
934.39/937.86 c 938 497484 3110 1 - 0.0000 -
939.58/943.02 c 943 499275 3121 1 - 0.0000 -
944.66/948.14 c 948 502394 3128 1 - 0.0000 -
949.64/953.18 c 953 504764 3146 1 - 0.0000 -
954.73/958.23 c 958 507096 3168 1 - 0.0000 -
959.92/963.43 c 963 508791 3175 1 - 0.0000 -
964.90/968.48 c 968 511203 3203 1 - 0.0000 -
970.08/973.65 c 974 513175 3203 1 - 0.0000 -
975.17/978.72 c 979 515633 3235 1 - 0.0000 -
980.15/983.77 c 984 518420 3242 1 - 0.0000 -
985.34/988.90 c 989 521080 3250 1 - 0.0000 -
990.42/994.06 c 994 522473 3261 1 - 0.0000 -
995.60/999.22 c 999 524931 3263 1 - 0.0000 -
1000.58/1004.27 c 1004 527390 3280 1 - 0.0000 -
1005.67/1009.32 c 1009 530116 3284 1 - 0.0000 -
1010.76/1014.47 c 1014 531339 3283 1 - 0.0000 -
1016.05/1019.73 c 1020 532550 3288 1 - 0.0000 -
1021.22/1024.92 c 1025 534761 3285 1 - 0.0000 -
1026.21/1029.97 c 1030 538416 3298 1 - 0.0000 -
1031.30/1035.04 c 1035 541971 3323 1 - 0.0000 -
1036.48/1040.29 c 1040 544296 3324 1 - 0.0000 -
1041.66/1045.46 c 1045 545348 3322 1 - 0.0000 -
1046.85/1050.65 c 1051 547494 3316 1 - 0.0000 -
1052.13/1056.00 c 1056 549634 3322 1 - 0.0000 -
1057.42/1061.21 c 1061 550677 3339 1 - 0.0000 -
1062.60/1066.47 c 1066 551901 3331 1 - 0.0000 -
1067.69/1071.52 c 1072 553883 3329 1 - 0.0000 -
1072.87/1076.75 c 1077 556520 3324 1 - 0.0000 -
1078.05/1081.95 c 1082 558555 3335 1 - 0.0000 -
1083.33/1087.24 c 1087 560881 3351 1 - 0.0000 -
1088.62/1092.51 c 1093 562994 3362 1 - 0.0000 -
1093.71/1097.65 c 1098 565802 3398 1 - 0.0000 -
1098.69/1102.69 c 1103 568174 3406 1 - 0.0000 -
1103.77/1107.74 c 1108 571321 3407 1 - 0.0000 -
1108.86/1112.80 c 1113 574509 3425 1 - 0.0000 -
1113.84/1117.84 c 1118 578033 3475 1 - 0.0000 -
1118.82/1122.89 c 1123 581164 3486 1 - 0.0000 -
1124.41/1128.47 c 1128 582994 3494 1 - 0.0000 -
1129.50/1133.53 c 1134 586119 3555 1 - 0.0000 -
1134.68/1138.75 c 1139 587701 3589 1 - 0.0000 -
1139.87/1143.96 c 1144 590192 3616 1 - 0.0000 -
1145.05/1149.10 c 1149 592617 3627 1 - 0.0000 -
1150.04/1154.15 c 1154 595860 3642 1 - 0.0000 -
1155.12/1159.20 c 1159 599002 3688 1 - 0.0000 -
1160.11/1164.25 c 1164 601728 3716 1 - 0.0000 -
1165.39/1169.52 c 1170 603086 3744 1 - 0.0000 -
1170.58/1174.79 c 1175 603888 3756 1 - 0.0000 -
1175.87/1180.00 c 1180 605402 3762 1 - 0.0000 -
1181.04/1185.21 c 1185 607311 3771 1 - 0.0000 -
1186.13/1190.33 c 1190 608935 3781 1 - 0.0000 -
1191.21/1195.42 c 1195 611979 3807 1 - 0.0000 -
1196.20/1200.47 c 1200 614216 3816 1 - 0.0000 -
1201.29/1205.58 c 1206 616749 3811 1 - 0.0000 -
1206.37/1210.68 c 1211 619306 3826 1 - 0.0000 -
1211.76/1216.00 c 1216 620866 3846 1 - 0.0000 -
1216.75/1221.08 c 1221 622827 3847 1 - 0.0000 -
1222.03/1226.36 c 1226 624902 3874 1 - 0.0000 -
1227.31/1231.60 c 1232 626596 3878 1 - 0.0000 -
1232.30/1236.67 c 1237 629314 3884 1 - 0.0000 -
1237.79/1242.16 c 1242 630954 3894 1 - 0.0000 -
1242.97/1247.39 c 1247 633001 3881 1 - 0.0000 -
1248.05/1252.43 c 1252 635593 3899 1 - 0.0000 -
1253.13/1257.53 c 1258 637532 3896 1 - 0.0000 -
1258.22/1262.61 c 1263 640123 3909 1 - 0.0000 -
1263.30/1267.79 c 1268 642257 3913 1 - 0.0000 -
1268.49/1272.94 c 1273 644260 3926 1 - 0.0000 -
1273.77/1278.29 c 1278 646810 3942 1 - 0.0000 -
1278.96/1283.41 c 1283 649169 3939 1 - 0.0000 -
1284.14/1288.68 c 1289 650754 3950 1 - 0.0000 -
1289.53/1294.07 c 1294 652165 3957 1 - 0.0000 -
1294.91/1299.43 c 1299 653520 3980 1 - 0.0000 -
1299.99/1304.55 c 1305 655032 3976 1 - 0.0000 -
1305.08/1309.60 c 1310 658134 3982 1 - 0.0000 -
1310.37/1314.93 c 1315 659676 3996 1 - 0.0000 -
1315.65/1320.27 c 1320 662151 3991 1 - 0.0000 -
1320.74/1325.32 c 1325 664010 3988 1 - 0.0000 -
1325.92/1330.59 c 1331 666126 3996 1 - 0.0000 -
1331.00/1335.63 c 1336 668253 3997 1 - 0.0000 -
1336.09/1340.77 c 1341 670811 4011 1 - 0.0000 -
1341.17/1345.82 c 1346 674299 4049 1 - 0.0000 -
1346.56/1351.22 c 1351 676844 4052 1 - 0.0000 -
1351.54/1356.27 c 1356 680015 4051 1 - 0.0000 -
1356.82/1361.59 c 1362 682621 4071 1 - 0.0000 -
1361.91/1366.64 c 1367 684316 4078 1 - 0.0000 -
1367.30/1372.02 c 1372 684998 4074 1 - 0.0000 -
1372.28/1377.09 c 1377 687300 4080 1 - 0.0000 -
1377.37/1382.14 c 1382 689815 4075 1 - 0.0000 -
1382.45/1387.26 c 1387 692744 4096 1 - 0.0000 -
1387.63/1392.43 c 1392 695394 4100 1 - 0.0000 -
1392.71/1397.56 c 1398 696741 4103 1 - 0.0000 -
1397.89/1402.72 c 1403 699116 4106 1 - 0.0000 -
1403.08/1407.94 c 1408 701378 4120 1 - 0.0000 -
1408.37/1413.27 c 1413 703248 4128 1 - 0.0000 -
1413.45/1418.32 c 1418 706810 4150 1 - 0.0000 -
1418.43/1423.37 c 1423 710349 4163 1 - 0.0000 -
1423.61/1428.59 c 1429 713335 4187 1 - 0.0000 -
1428.70/1433.66 c 1434 716144 4190 1 - 0.0000 -
1433.78/1438.71 c 1439 718654 4192 1 - 0.0000 -
1438.77/1443.76 c 1444 721643 4207 1 - 0.0000 -
1443.95/1448.90 c 1449 723082 4218 1 - 0.0000 -
1449.04/1454.06 c 1454 724360 4220 1 - 0.0000 -
1454.13/1459.15 c 1459 727120 4212 1 - 0.0000 -
1459.30/1464.32 c 1464 729728 4228 1 - 0.0000 -
1464.39/1469.42 c 1469 731891 4233 1 - 0.0000 -
1469.38/1474.47 c 1474 734889 4255 1 - 0.0000 -
1474.45/1479.59 c 1480 738216 4286 1 - 0.0000 -
1479.54/1484.65 c 1485 741525 4321 1 - 0.0000 -
1484.53/1489.69 c 1490 744201 4343 1 - 0.0000 -
1489.71/1494.83 c 1495 746532 4360 1 - 0.0000 -
1494.79/1499.96 c 1500 748802 4360 1 - 0.0000 -
1500.07/1505.29 c 1505 749965 4355 1 - 0.0000 -
1505.25/1510.41 c 1510 752751 4369 1 - 0.0000 -
1510.32/1515.54 c 1516 755221 4377 1 - 0.0000 -
1515.31/1520.59 c 1521 759531 4377 1 - 0.0000 -
1520.38/1525.66 c 1526 761658 4394 1 - 0.0000 -
1525.46/1530.79 c 1531 763594 4396 1 - 0.0000 -
1530.65/1535.91 c 1536 765171 4401 1 - 0.0000 -
1535.83/1541.15 c 1541 766722 4408 1 - 0.0000 -
1540.91/1546.20 c 1546 769799 4407 1 - 0.0000 -
1546.08/1551.44 c 1551 770940 4400 1 - 0.0000 -
1551.17/1556.54 c 1557 773201 4427 1 - 0.0000 -
1556.44/1561.87 c 1562 775266 4418 1 - 0.0000 -
1561.62/1567.06 c 1567 778526 4414 1 - 0.0000 -
1566.80/1572.27 c 1572 780053 4421 1 - 0.0000 -
1571.89/1577.35 c 1577 782211 4421 1 - 0.0000 -
1577.07/1582.59 c 1583 785216 4440 1 - 0.0000 -
1582.26/1587.78 c 1588 787939 4443 1 - 0.0000 -
1587.54/1593.07 c 1593 789152 4438 1 - 0.0000 -
1592.62/1598.12 c 1598 792228 4478 1 - 0.0000 -
1597.69/1603.20 c 1603 794496 4486 1 - 0.0000 -
1602.67/1608.25 c 1608 796846 4478 1 - 0.0000 -
1607.85/1613.48 c 1613 799185 4477 1 - 0.0000 -
1613.13/1618.75 c 1619 800951 4487 1 - 0.0000 -
1618.21/1623.81 c 1624 803205 4485 1 - 0.0000 -
1623.19/1628.87 c 1629 805462 4480 1 - 0.0000 -
1628.37/1634.04 c 1634 807152 4482 1 - 0.0000 -
1633.46/1639.11 c 1639 809395 4487 1 - 0.0000 -
1638.53/1644.22 c 1644 811764 4500 1 - 0.0000 -
1643.71/1649.45 c 1649 814371 4511 1 - 0.0000 -
1648.99/1654.74 c 1655 815866 4510 1 - 0.0000 -
1654.07/1659.84 c 1660 817973 4525 1 - 0.0000 -
1659.15/1664.94 c 1665 820142 4532 1 - 0.0000 -
1664.43/1670.25 c 1670 822387 4541 1 - 0.0000 -
1669.71/1675.56 c 1676 825139 4563 1 - 0.0000 -
1674.79/1680.64 c 1681 827428 4568 1 - 0.0000 -
1679.87/1685.78 c 1686 828885 4581 1 - 0.0000 -
1684.94/1690.85 c 1691 830917 4585 1 - 0.0000 -
1690.03/1695.99 c 1696 833032 4590 1 - 0.0000 -
1695.40/1701.37 c 1701 834973 4605 1 - 0.0000 -
1700.49/1706.43 c 1706 836594 4594 1 - 0.0000 -
1705.77/1711.70 c 1712 838480 4624 1 - 0.0000 -
1711.25/1717.21 c 1717 839225 4631 1 - 0.0000 -
1716.72/1722.76 c 1723 840176 4628 1 - 0.0000 -
1721.80/1727.81 c 1728 843984 4642 1 - 0.0000 -
1726.79/1732.88 c 1733 846387 4639 1 - 0.0000 -
1732.07/1738.11 c 1738 848549 4635 1 - 0.0000 -
1737.05/1743.16 c 1743 852108 4652 1 - 0.0000 -
1742.13/1748.21 c 1748 855453 4649 1 - 0.0000 -
1747.21/1753.37 c 1753 857258 4656 1 - 0.0000 -
1752.30/1758.45 c 1758 859559 4669 1 - 0.0000 -
1757.48/1763.67 c 1764 861687 4673 1 - 0.0000 -
1762.56/1768.77 c 1769 863576 4684 1 - 0.0000 -
1767.85/1774.02 c 1774 866494 4714 1 - 0.0000 -
1772.83/1779.07 c 1779 870463 4757 1 - 0.0000 -
1777.92/1784.12 c 1784 873211 4749 1 - 0.0000 -
1783.00/1789.21 c 1789 875076 4760 1 - 0.0000 -
1788.18/1794.41 c 1794 876620 4760 1 - 0.0000 -
1793.36/1799.61 c 1800 878519 4775 1 - 0.0000 -
1798.45/1804.76 c 1805 879921 4759 1 - 0.0000 -
1803.74/1810.02 c 1810 881666 4762 1 - 0.0000 -
1808.82/1815.13 c 1815 883813 4785 1 - 0.0000 -
1813.81/1820.18 c 1820 887101 4787 1 - 0.0000 -
1818.89/1825.23 c 1825 890697 4793 1 - 0.0000 -
1823.97/1830.31 c 1830 893419 4807 1 - 0.0000 -
1828.96/1835.35 c 1835 895563 4815 1 - 0.0000 -
1834.04/1840.40 c 1840 899591 4819 1 - 0.0000 -
1839.02/1845.45 c 1845 903632 4816 1 - 0.0000 -
1844.11/1850.50 c 1851 907160 4814 1 - 0.0000 -
1849.09/1855.55 c 1856 910130 4824 1 - 0.0000 -
1854.18/1860.60 c 1861 913295 4813 1 - 0.0000 -
1859.25/1865.71 c 1866 915715 4815 1 - 0.0000 -
1864.34/1870.81 c 1871 917743 4813 1 - 0.0000 -
1869.72/1876.22 c 1876 919153 4811 1 - 0.0000 -
1874.71/1881.26 c 1881 921588 4810 1 - 0.0000 -
1880.10/1886.60 c 1887 923740 4812 1 - 0.0000 -
1885.28/1891.80 c 1892 926277 4821 1 - 0.0000 -
1890.36/1896.99 c 1897 928456 4822 1 - 0.0000 -
1895.56/1902.16 c 1902 929622 4816 1 - 0.0000 -
1900.63/1907.23 c 1907 931206 4842 1 - 0.0000 -
1905.82/1912.49 c 1912 932186 4854 1 - 0.0000 -
1910.90/1917.54 c 1918 934553 4881 1 - 0.0000 -
1915.89/1922.59 c 1923 938227 4905 1 - 0.0000 -
1920.97/1927.65 c 1928 940613 4907 1 - 0.0000 -
1926.35/1933.07 c 1933 942490 4918 1 - 0.0000 -
1931.44/1938.16 c 1938 943018 4916 1 - 0.0000 -
1936.52/1943.21 c 1943 945924 4940 1 - 0.0000 -
1941.50/1948.26 c 1948 949683 4923 1 - 0.0000 -
1946.59/1953.31 c 1953 952825 4921 1 - 0.0000 -
1951.67/1958.43 c 1958 955779 4921 1 - 0.0000 -
1956.66/1963.48 c 1963 958103 4931 1 - 0.0000 -
1961.74/1968.53 c 1969 962060 4954 1 - 0.0000 -
1966.73/1973.58 c 1974 965291 4967 1 - 0.0000 -
1971.91/1978.74 c 1979 967690 4974 1 - 0.0000 -
1976.99/1983.84 c 1984 969552 4984 1 - 0.0000 -
1982.18/1989.09 c 1989 971600 4982 1 - 0.0000 -
1987.46/1994.34 c 1994 973107 4987 1 - 0.0000 -
1992.45/1999.39 c 1999 975108 4982 1 - 0.0000 -
1997.83/2004.71 c 2005 976203 4997 1 - 0.0000 -
2003.01/2009.92 c 2010 977862 5002 1 - 0.0000 -
2008.00/2014.97 c 2015 980065 5015 1 - 0.0000 -
2013.09/2020.02 c 2020 983288 5012 1 - 0.0000 -
2018.18/2025.11 c 2025 985507 5005 1 - 0.0000 -
2023.16/2030.16 c 2030 987163 5009 1 - 0.0000 -
2028.34/2035.32 c 2035 990719 5005 1 - 0.0000 -
2033.43/2040.48 c 2040 993307 5019 1 - 0.0000 -
2038.61/2045.63 c 2046 996190 5040 1 - 0.0000 -
2043.89/2050.91 c 2051 997731 5027 1 - 0.0000 -
2048.99/2056.08 c 2056 1000379 5055 1 - 0.0000 -
2054.07/2061.13 c 2061 1003388 5074 1 - 0.0000 -
2059.15/2066.26 c 2066 1006167 5077 1 - 0.0000 -
2064.24/2071.30 c 2071 1007784 5090 1 - 0.0000 -
2069.22/2076.38 c 2076 1010361 5077 1 - 0.0000 -
2074.30/2081.42 c 2081 1012192 5100 1 - 0.0000 -
2079.29/2086.49 c 2086 1014898 5132 1 - 0.0000 -
2084.37/2091.54 c 2092 1016923 5135 1 - 0.0000 -
2089.36/2096.59 c 2097 1019266 5130 1 - 0.0000 -
2094.74/2101.90 c 2102 1021224 5122 1 - 0.0000 -
2100.03/2107.23 c 2107 1022342 5114 1 - 0.0000 -
2105.01/2112.27 c 2112 1026162 5166 1 - 0.0000 -
2110.20/2117.43 c 2117 1029641 5209 1 - 0.0000 -
2115.48/2122.76 c 2123 1033148 5218 1 - 0.0000 -
2120.57/2127.81 c 2128 1036840 5238 1 - 0.0000 -
2125.54/2132.86 c 2133 1040248 5240 1 - 0.0000 -
2130.74/2138.08 c 2138 1042603 5255 1 - 0.0000 -
2136.21/2143.58 c 2144 1043223 5257 1 - 0.0000 -
2141.30/2148.64 c 2149 1045133 5263 1 - 0.0000 -
2146.29/2153.69 c 2154 1048882 5276 1 - 0.0000 -
2151.37/2158.75 c 2159 1051878 5268 1 - 0.0000 -
2156.45/2163.80 c 2164 1054263 5267 1 - 0.0000 -
2161.54/2168.93 c 2169 1056387 5273 1 - 0.0000 -
2166.52/2173.99 c 2174 1058677 5277 1 - 0.0000 -
2171.72/2179.11 c 2179 1060737 5279 1 - 0.0000 -
2176.79/2184.21 c 2184 1062696 5278 1 - 0.0000 -
2181.98/2189.48 c 2189 1064566 5276 1 - 0.0000 -
2187.06/2194.57 c 2195 1066797 5269 1 - 0.0000 -
2192.15/2199.66 c 2200 1068679 5271 1 - 0.0000 -
2197.23/2204.71 c 2205 1071004 5272 1 - 0.0000 -
2202.22/2209.76 c 2210 1073909 5277 1 - 0.0000 -
2207.30/2214.84 c 2215 1076129 5283 1 - 0.0000 -
2212.39/2219.90 c 2220 1078283 5293 1 - 0.0000 -
2217.38/2224.96 c 2225 1080422 5286 1 - 0.0000 -
2222.46/2230.00 c 2230 1083659 5309 1 - 0.0000 -
2227.54/2235.11 c 2235 1086410 5318 1 - 0.0000 -
2232.53/2240.17 c 2240 1088470 5310 1 - 0.0000 -
2237.91/2245.53 c 2246 1090434 5322 1 - 0.0000 -
2243.30/2250.99 c 2251 1091731 5333 1 - 0.0000 -
2248.39/2256.07 c 2256 1094874 5334 1 - 0.0000 -
2253.97/2261.67 c 2262 1097369 5355 1 - 0.0000 -
2259.25/2266.94 c 2267 1097853 5357 1 - 0.0000 -
2264.44/2272.11 c 2272 1098554 5366 1 - 0.0000 -
2269.42/2277.17 c 2277 1099794 5380 1 - 0.0000 -
2274.60/2282.33 c 2282 1101831 5379 1 - 0.0000 -
2279.59/2287.38 c 2287 1104086 5376 1 - 0.0000 -
2284.87/2292.69 c 2293 1105225 5375 1 - 0.0000 -
2289.96/2297.77 c 2298 1105803 5379 1 - 0.0000 -
2295.14/2302.90 c 2303 1108755 5395 1 - 0.0000 -
2300.42/2308.24 c 2308 1109765 5407 1 - 0.0000 -
2305.71/2313.57 c 2314 1110657 5409 1 - 0.0000 -
2310.79/2318.62 c 2319 1113255 5421 1 - 0.0000 -
2316.28/2324.18 c 2324 1115056 5416 1 - 0.0000 -
2321.36/2329.22 c 2329 1117355 5433 1 - 0.0000 -
2326.35/2334.28 c 2334 1119574 5428 1 - 0.0000 -
2331.44/2339.39 c 2339 1121401 5419 1 - 0.0000 -
2336.92/2344.80 c 2345 1122669 5421 1 - 0.0000 -
2342.00/2349.90 c 2350 1124018 5430 1 - 0.0000 -
2346.98/2354.95 c 2355 1126825 5435 1 - 0.0000 -
2352.07/2360.02 c 2360 1128897 5439 1 - 0.0000 -
2357.15/2365.13 c 2365 1131416 5446 1 - 0.0000 -
2362.13/2370.18 c 2370 1134322 5454 1 - 0.0000 -
2367.22/2375.23 c 2375 1137934 5464 1 - 0.0000 -
2372.30/2380.32 c 2380 1140624 5446 1 - 0.0000 -
2377.28/2385.37 c 2385 1142905 5445 1 - 0.0000 -
2382.37/2390.42 c 2390 1145494 5454 1 - 0.0000 -
2387.55/2395.61 c 2396 1148592 5448 1 - 0.0000 -
2392.54/2400.66 c 2401 1150543 5455 1 - 0.0000 -
2397.61/2405.77 c 2406 1153602 5476 1 - 0.0000 -
2402.70/2410.83 c 2411 1155991 5471 1 - 0.0000 -
2407.78/2415.99 c 2416 1157893 5468 1 - 0.0000 -
2412.87/2421.03 c 2421 1161541 5484 1 - 0.0000 -
2417.96/2426.18 c 2426 1163832 5483 1 - 0.0000 -
2423.03/2431.23 c 2431 1167130 5471 1 - 0.0000 -
2428.12/2436.33 c 2436 1169684 5485 1 - 0.0000 -
2433.20/2441.49 c 2442 1171188 5485 1 - 0.0000 -
2438.49/2446.73 c 2447 1172630 5485 1 - 0.0000 -
2443.57/2451.84 c 2452 1175567 5498 1 - 0.0000 -
2448.65/2456.92 c 2457 1177814 5555 1 - 0.0000 -
2453.75/2462.03 c 2462 1179996 5557 1 - 0.0000 -
2459.23/2467.50 c 2468 1181690 5553 1 - 0.0000 -
2464.31/2472.65 c 2473 1183779 5556 1 - 0.0000 -
2469.39/2477.76 c 2478 1185788 5543 1 - 0.0000 -
2474.58/2482.98 c 2483 1187615 5542 1 - 0.0000 -
2479.77/2488.14 c 2488 1190574 5543 1 - 0.0000 -
2484.94/2493.35 c 2493 1191900 5541 1 - 0.0000 -
2490.13/2498.57 c 2499 1193967 5534 1 - 0.0000 -
2495.21/2503.68 c 2504 1196723 5546 1 - 0.0000 -
2500.30/2508.78 c 2509 1198800 5545 1 - 0.0000 -
2505.59/2514.09 c 2514 1200299 5542 1 - 0.0000 -
2510.77/2519.24 c 2519 1202979 5556 1 - 0.0000 -
2515.85/2524.37 c 2524 1205086 5563 1 - 0.0000 -
2520.93/2529.44 c 2529 1207173 5558 1 - 0.0000 -
2526.11/2534.62 c 2535 1208428 5557 1 - 0.0000 -
2531.10/2539.67 c 2540 1211172 5577 1 - 0.0000 -
2536.19/2544.72 c 2545 1212949 5586 1 - 0.0000 -
2541.37/2549.97 c 2550 1215062 5575 1 - 0.0000 -
2546.56/2555.16 c 2555 1217006 5585 1 - 0.0000 -
2551.64/2560.22 c 2560 1219352 5587 1 - 0.0000 -
2557.02/2565.61 c 2566 1221291 5588 1 - 0.0000 -
2562.11/2570.71 c 2571 1223031 5578 1 - 0.0000 -
2567.19/2575.80 c 2576 1225527 5580 1 - 0.0000 -
2572.27/2580.90 c 2581 1228749 5576 1 - 0.0000 -
2577.56/2586.23 c 2586 1230762 5589 1 - 0.0000 -
2582.54/2591.27 c 2591 1232777 5606 1 - 0.0000 -
2587.83/2596.54 c 2597 1233373 5618 1 - 0.0000 -
2593.02/2601.75 c 2602 1234178 5637 1 - 0.0000 -
2598.10/2606.80 c 2607 1236669 5638 1 - 0.0000 -
2603.08/2611.85 c 2612 1239340 5627 1 - 0.0000 -
2608.17/2616.93 c 2617 1241312 5619 1 - 0.0000 -
2613.16/2621.97 c 2622 1243765 5642 1 - 0.0000 -
2618.24/2627.07 c 2627 1247419 5702 1 - 0.0000 -
2623.42/2632.25 c 2632 1249884 5693 1 - 0.0000 -
2628.60/2637.49 c 2638 1251788 5697 1 - 0.0000 -
2633.99/2642.85 c 2643 1254013 5706 1 - 0.0000 -
2639.28/2648.14 c 2648 1255988 5723 1 - 0.0000 -
2644.35/2653.24 c 2653 1257666 5735 1 - 0.0000 -
2649.44/2658.31 c 2658 1260226 5731 1 - 0.0000 -
2654.73/2663.66 c 2664 1261124 5723 1 - 0.0000 -
2659.92/2668.85 c 2669 1262807 5726 1 - 0.0000 -
2665.00/2673.90 c 2674 1265694 5745 1 - 0.0000 -
2670.19/2679.11 c 2679 1268341 5766 1 - 0.0000 -
2675.27/2684.24 c 2684 1270221 5774 1 - 0.0000 -
2680.45/2689.47 c 2689 1272055 5786 1 - 0.0000 -
2685.74/2694.72 c 2695 1273608 5785 1 - 0.0000 -
2690.82/2699.86 c 2700 1275858 5781 1 - 0.0000 -
2695.90/2704.91 c 2705 1277302 5783 1 - 0.0000 -
2700.89/2709.97 c 2710 1279539 5790 1 - 0.0000 -
2706.08/2715.14 c 2715 1281980 5781 1 - 0.0000 -
2711.06/2720.19 c 2720 1283745 5790 1 - 0.0000 -
2716.15/2725.26 c 2725 1285018 5795 1 - 0.0000 -
2721.33/2730.40 c 2730 1287193 5780 1 - 0.0000 -
2726.31/2735.44 c 2735 1289411 5788 1 - 0.0000 -
2731.80/2740.95 c 2741 1290001 5790 1 - 0.0000 -
2736.89/2746.06 c 2746 1292539 5808 1 - 0.0000 -
2742.27/2751.46 c 2751 1294472 5821 1 - 0.0000 -
2747.45/2756.69 c 2757 1295663 5820 1 - 0.0000 -
2752.73/2761.97 c 2762 1297406 5817 1 - 0.0000 -
2757.82/2767.02 c 2767 1299635 5826 1 - 0.0000 -
2762.81/2772.07 c 2772 1303520 5831 1 - 0.0000 -
2767.90/2777.12 c 2777 1307293 5836 1 - 0.0000 -
2772.87/2782.17 c 2782 1311414 5843 1 - 0.0000 -
2778.16/2787.44 c 2787 1314281 5834 1 - 0.0000 -
2783.24/2792.57 c 2793 1315769 5846 1 - 0.0000 -
2788.33/2797.62 c 2798 1317759 5858 1 - 0.0000 -
2793.42/2802.72 c 2803 1320847 5870 1 - 0.0000 -
2798.50/2807.86 c 2808 1322634 5869 1 - 0.0000 -
2803.58/2812.96 c 2813 1325308 5865 1 - 0.0000 -
2808.87/2818.24 c 2818 1327538 5879 1 - 0.0000 -
2814.05/2823.42 c 2823 1330407 5864 1 - 0.0000 -
2819.33/2828.76 c 2829 1331224 5867 1 - 0.0000 -
2824.42/2833.82 c 2834 1333149 5868 1 - 0.0000 -
2829.41/2838.87 c 2839 1335545 5870 1 - 0.0000 -
2834.59/2844.04 c 2844 1336586 5877 1 - 0.0000 -
2839.58/2849.09 c 2849 1339009 5884 1 - 0.0000 -
2844.66/2854.19 c 2854 1342274 5915 1 - 0.0000 -
2849.84/2859.36 c 2859 1345684 5941 1 - 0.0000 -
2854.92/2864.41 c 2864 1348639 5952 1 - 0.0000 -
2859.91/2869.47 c 2869 1353104 5961 1 - 0.0000 -
2864.99/2874.52 c 2875 1356427 5966 1 - 0.0000 -
2869.98/2879.57 c 2880 1359525 5974 1 - 0.0000 -
2875.06/2884.62 c 2885 1362783 5982 1 - 0.0000 -
2880.14/2889.70 c 2890 1366033 5984 1 - 0.0000 -
2885.23/2894.82 c 2895 1369643 6006 1 - 0.0000 -
2890.30/2899.94 c 2900 1373250 6053 1 - 0.0000 -
2895.50/2905.14 c 2905 1376184 6063 1 - 0.0000 -
2900.87/2910.54 c 2911 1378326 6121 1 - 0.0000 -
2906.17/2915.81 c 2916 1378911 6130 1 - 0.0000 -
2911.25/2920.95 c 2921 1380515 6084 1 - 0.0000 -
2916.43/2926.11 c 2926 1383326 6057 1 - 0.0000 -
2921.51/2931.25 c 2931 1387241 6092 1 - 0.0000 -
2926.70/2936.43 c 2936 1389026 6075 1 - 0.0000 -
2931.69/2941.48 c 2941 1392210 6079 1 - 0.0000 -
2936.86/2946.63 c 2947 1394445 6088 1 - 0.0000 -
2942.25/2952.02 c 2952 1395193 6090 1 - 0.0000 -
2947.34/2957.12 c 2957 1397665 6116 1 - 0.0000 -
2952.52/2962.37 c 2962 1399023 6130 1 - 0.0000 -
2957.60/2967.42 c 2967 1402788 6131 1 - 0.0000 -
2962.78/2972.66 c 2973 1405353 6130 1 - 0.0000 -
2967.86/2977.73 c 2978 1406880 6133 1 - 0.0000 -
2973.15/2983.00 c 2983 1408471 6138 1 - 0.0000 -
2978.23/2988.15 c 2988 1410381 6136 1 - 0.0000 -
2983.40/2993.35 c 2993 1411583 6148 1 - 0.0000 -
2988.59/2998.52 c 2999 1413631 6154 1 - 0.0000 -
2993.67/3003.64 c 3004 1415199 6148 1 - 0.0000 -
2998.95/3008.91 c 3009 1416976 6141 1 - 0.0000 -
3004.13/3014.16 c 3014 1418228 6149 1 - 0.0000 -
3009.31/3019.36 c 3019 1421534 6171 1 - 0.0000 -
3014.39/3024.41 c 3024 1425251 6216 1 - 0.0000 -
3019.47/3029.58 c 3030 1427463 6212 1 - 0.0000 -
3024.55/3034.67 c 3035 1428976 6211 1 - 0.0000 -
3029.63/3039.72 c 3040 1431792 6247 1 - 0.0000 -
3034.61/3044.77 c 3045 1435607 6278 1 - 0.0000 -
3039.69/3049.86 c 3050 1438145 6302 1 - 0.0000 -
3044.76/3054.97 c 3055 1440677 6324 1 - 0.0000 -
3050.05/3060.26 c 3060 1442934 6323 1 - 0.0000 -
3055.13/3065.38 c 3065 1444646 6313 1 - 0.0000 -
3060.40/3070.66 c 3071 1446372 6313 1 - 0.0000 -
3065.59/3075.80 c 3076 1448054 6299 1 - 0.0000 -
3070.87/3081.13 c 3081 1449508 6305 1 - 0.0000 -
3075.95/3086.27 c 3086 1452251 6304 1 - 0.0000 -
3081.13/3091.40 c 3091 1453756 6287 1 - 0.0000 -
3086.20/3096.51 c 3097 1456516 6293 1 - 0.0000 -
3091.19/3101.56 c 3102 1459851 6292 1 - 0.0000 -
3096.37/3106.70 c 3107 1461713 6288 1 - 0.0000 -
3101.55/3111.96 c 3112 1464450 6299 1 - 0.0000 -
3106.73/3117.11 c 3117 1467809 6324 1 - 0.0000 -
3111.81/3122.21 c 3122 1470495 6334 1 - 0.0000 -
3116.99/3127.44 c 3127 1472942 6327 1 - 0.0000 -
3122.07/3132.57 c 3133 1475236 6327 1 - 0.0000 -
3127.16/3137.66 c 3138 1476857 6312 1 - 0.0000 -
3132.24/3142.75 c 3143 1479571 6342 1 - 0.0000 -
3137.31/3147.80 c 3148 1482961 6356 1 - 0.0000 -
3142.30/3152.85 c 3153 1484971 6310 1 - 0.0000 -
3147.38/3157.90 c 3158 1487468 6319 1 - 0.0000 -
3152.36/3162.95 c 3163 1490702 6325 1 - 0.0000 -
3157.44/3168.09 c 3168 1493503 6338 1 - 0.0000 -
3162.52/3173.15 c 3173 1496944 6369 1 - 0.0000 -
3167.60/3178.27 c 3178 1498930 6369 1 - 0.0000 -
3172.88/3183.54 c 3184 1500519 6366 1 - 0.0000 -
3177.86/3188.59 c 3189 1502501 6364 1 - 0.0000 -
3183.35/3194.02 c 3194 1503597 6370 1 - 0.0000 -
3188.52/3199.28 c 3199 1504612 6365 1 - 0.0000 -
3193.80/3204.51 c 3205 1505817 6372 1 - 0.0000 -
3198.98/3209.73 c 3210 1506743 6382 1 - 0.0000 -
3204.06/3214.89 c 3215 1509098 6393 1 - 0.0000 -
3209.14/3219.94 c 3220 1513234 6403 1 - 0.0000 -
3214.33/3225.11 c 3225 1516065 6400 1 - 0.0000 -
3219.50/3230.33 c 3230 1518619 6410 1 - 0.0000 -
3224.67/3235.50 c 3236 1520424 6415 1 - 0.0000 -
3229.65/3240.55 c 3241 1523185 6424 1 - 0.0000 -
3235.24/3246.15 c 3246 1525111 6438 1 - 0.0000 -
3240.42/3251.39 c 3251 1528151 6446 1 - 0.0000 -
3246.10/3257.00 c 3257 1528831 6438 1 - 0.0000 -
3251.08/3262.04 c 3262 1531646 6435 1 - 0.0000 -
3256.15/3267.14 c 3267 1533450 6415 1 - 0.0000 -
3261.14/3272.18 c 3272 1535412 6429 1 - 0.0000 -
3266.22/3277.29 c 3277 1538270 6443 1 - 0.0000 -
3271.59/3282.63 c 3283 1539934 6443 1 - 0.0000 -
3276.57/3287.68 c 3288 1541746 6445 1 - 0.0000 -
3281.65/3292.73 c 3293 1544255 6452 1 - 0.0000 -
3286.94/3298.03 c 3298 1545853 6464 1 - 0.0000 -
3291.91/3303.07 c 3303 1548241 6476 1 - 0.0000 -
3297.00/3308.19 c 3308 1550244 6475 1 - 0.0000 -
3302.27/3313.40 c 3313 1552294 6469 1 - 0.0000 -
3307.25/3318.45 c 3318 1555247 6468 1 - 0.0000 -
3312.33/3323.50 c 3324 1558792 6471 1 - 0.0000 -
3317.31/3328.55 c 3329 1560815 6466 1 - 0.0000 -
3322.39/3333.60 c 3334 1563199 6464 1 - 0.0000 -
3327.47/3338.78 c 3339 1564548 6471 1 - 0.0000 -
3332.65/3343.94 c 3344 1566354 6455 1 - 0.0000 -
3337.73/3349.04 c 3349 1569086 6471 1 - 0.0000 -
3342.72/3354.09 c 3354 1571678 6479 1 - 0.0000 -
3347.79/3359.19 c 3359 1573188 6489 1 - 0.0000 -
3352.87/3364.29 c 3364 1575347 6482 1 - 0.0000 -
3358.26/3369.68 c 3370 1576604 6483 1 - 0.0000 -
3363.74/3375.18 c 3375 1577723 6488 1 - 0.0000 -
3369.11/3380.57 c 3381 1578509 6482 1 - 0.0000 -
3374.40/3385.84 c 3386 1579501 6488 1 - 0.0000 -
3379.68/3391.19 c 3391 1580544 6491 1 - 0.0000 -
3384.75/3396.24 c 3396 1583161 6480 1 - 0.0000 -
3389.94/3401.43 c 3401 1584734 6477 1 - 0.0000 -
3395.01/3406.50 c 3407 1587206 6481 1 - 0.0000 -
3400.10/3411.66 c 3412 1589144 6493 1 - 0.0000 -
3405.27/3416.85 c 3417 1591101 6496 1 - 0.0000 -
3410.46/3422.03 c 3422 1593857 6506 1 - 0.0000 -
3415.73/3427.34 c 3427 1595237 6494 1 - 0.0000 -
3421.01/3432.68 c 3433 1595776 6509 1 - 0.0000 -
3426.40/3438.00 c 3438 1597066 6505 1 - 0.0000 -
3431.38/3443.05 c 3443 1600162 6525 1 - 0.0000 -
3436.46/3448.10 c 3448 1603258 6531 1 - 0.0000 -
3441.44/3453.15 c 3453 1606932 6525 1 - 0.0000 -
3446.52/3458.20 c 3458 1609974 6527 1 - 0.0000 -
3451.69/3463.48 c 3463 1611865 6542 1 - 0.0000 -
3456.97/3468.78 c 3469 1612233 6546 1 - 0.0000 -
3462.25/3474.01 c 3474 1612705 6550 1 - 0.0000 -
3467.34/3479.14 c 3479 1614673 6550 1 - 0.0000 -
3472.62/3484.47 c 3484 1615391 6540 1 - 0.0000 -
3477.71/3489.52 c 3490 1618023 6544 1 - 0.0000 -
3482.69/3494.59 c 3495 1620528 6537 1 - 0.0000 -
3487.87/3499.76 c 3500 1623004 6575 1 - 0.0000 -
3492.95/3504.81 c 3505 1626523 6594 1 - 0.0000 -
3497.94/3509.86 c 3510 1629721 6626 1 - 0.0000 -
3503.13/3515.04 c 3515 1632770 6631 1 - 0.0000 -
3508.21/3520.14 c 3520 1634509 6638 1 - 0.0000 -
3513.29/3525.25 c 3525 1636865 6628 1 - 0.0000 -
3518.48/3530.41 c 3530 1639589 6636 1 - 0.0000 -
3523.56/3535.52 c 3536 1641892 6631 1 - 0.0000 -
3528.65/3540.68 c 3541 1643458 6643 1 - 0.0000 -
3533.93/3545.93 c 3546 1644426 6659 1 - 0.0000 -
3539.12/3551.10 c 3551 1645908 6667 1 - 0.0000 -
3544.20/3556.27 c 3556 1647865 6676 1 - 0.0000 -
3549.49/3561.57 c 3562 1649557 6668 1 - 0.0000 -
3554.68/3566.73 c 3567 1651379 6672 1 - 0.0000 -
3559.76/3571.81 c 3572 1654324 6679 1 - 0.0000 -
3564.94/3577.02 c 3577 1656278 6667 1 - 0.0000 -
3569.93/3582.07 c 3582 1658697 6668 1 - 0.0000 -
3575.10/3587.20 c 3587 1660411 6664 1 - 0.0000 -
3580.39/3592.54 c 3593 1662128 6645 1 - 0.0000 -
3585.47/3597.69 c 3598 1664746 6637 1 - 0.0000 -
3585.97/3598.11 c SCIP Status : c solving was interrupted [hard time limit reached]
3585.97/3598.11 c Total Time : 3598.1100
3585.97/3598.11 c solving : 3598.1100
3585.97/3598.11 c presolving : 0.0483 (included in solving)
3585.97/3598.11 c B&B Tree :
3585.97/3598.11 c nodes (total) : 1
3585.97/3598.11 c Solution :
3585.97/3598.11 c Solutions found : 0
3585.97/3598.11 c Primal Bound : -
3585.97/3598.11 c Dual Bound : +0.00000000000000e+00
3585.97/3598.11 c Gap : -
3585.97/3598.11 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (62992 MiB free)
memory of node 1: 64510 MiB (63586 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464383-1722378634/watcher-4464383-1722378634 -o /tmp/evaluation-result-4464383-1722378634/solver-4464383-1722378634 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722378597-28892 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464383-1722378634.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=29119, runsolver pid=29116
[startup+0.100102 s]*
/proc/loadavg: 2.02 0.58 0.26 5/270 29122
/proc/meminfo: memFree=129597452/131524600 swapFree=131071996/131071996
[pid=29119] ppid=29116 vsize=116004 memory=30752 CPUtime=0.09 cores=5,7
/proc/29119/stat : 29119 (fscip) S 29116 29119 28879 0 -1 1077936128 5062 0 0 0 9 0 0 0 20 0 3 0 4463956 118788096 7688 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
/proc/29119/statm: 29001 7688 2950 3035 0 11232 0
[pid=29119/tid=29121] ppid=29116 vsize=116004 memory=4026561586 CPUtime=0.04 cores=5,7
/proc/29119/task/29121/stat : 29121 (fscip) R 29116 29119 28879 0 -1 4194368 1906 0 0 0 4 0 0 0 20 0 3 0 4463962 118788096 7688 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
[pid=29119/tid=29122] ppid=29116 vsize=116004 memory=228556276070 CPUtime=0 cores=5,7
/proc/29119/task/29122/stat : 29122 (fscip) S 29116 29119 28879 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4463962 118788096 7688 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 116004 KiB
Current children cumulated memory: 30752 KiB
[startup+0.205912 s]*
/proc/loadavg: 2.02 0.58 0.26 5/270 29122
/proc/meminfo: memFree=129587684/131524600 swapFree=131071996/131071996
[pid=29119] ppid=29116 vsize=117032 memory=41108 CPUtime=0.2 cores=5,7
/proc/29119/stat : 29119 (fscip) S 29116 29119 28879 0 -1 1077936128 7613 0 0 0 20 0 0 0 20 0 3 0 4463956 119840768 10277 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
/proc/29119/statm: 29258 10277 2966 3035 0 13781 0
[pid=29119/tid=29121] ppid=29116 vsize=117032 memory=664970838410264707 CPUtime=0.14 cores=5,7
/proc/29119/task/29121/stat : 29121 (fscip) R 29116 29119 28879 0 -1 4194368 4456 0 0 0 14 0 0 0 20 0 3 0 4463962 119840768 10277 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
[pid=29119/tid=29122] ppid=29116 vsize=117032 memory=17990 CPUtime=0 cores=5,7
/proc/29119/task/29122/stat : 29122 (fscip) S 29116 29119 28879 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4463962 119840768 10277 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 117032 KiB
Current children cumulated memory: 41108 KiB
[startup+0.305864 s]*
/proc/loadavg: 2.02 0.58 0.26 5/270 29122
/proc/meminfo: memFree=129570044/131524600 swapFree=131071996/131071996
[pid=29119] ppid=29116 vsize=125188 memory=54572 CPUtime=0.3 cores=5,7
/proc/29119/stat : 29119 (fscip) S 29116 29119 28879 0 -1 1077936128 10950 0 0 0 29 1 0 0 20 0 3 0 4463956 128192512 13643 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
/proc/29119/statm: 31297 13643 2966 3035 0 17172 0
[pid=29119/tid=29121] ppid=29116 vsize=125188 memory=-5155629111244450949 CPUtime=0.24 cores=5,7
/proc/29119/task/29121/stat : 29121 (fscip) R 29116 29119 28879 0 -1 4194368 7793 0 0 0 24 0 0 0 20 0 3 0 4463962 128192512 13643 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
[pid=29119/tid=29122] ppid=29116 vsize=125188 memory=0 CPUtime=0 cores=5,7
/proc/29119/task/29122/stat : 29122 (fscip) S 29116 29119 28879 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4463962 128192512 13643 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 125188 KiB
Current children cumulated memory: 54572 KiB
[startup+0.700277 s]
/proc/loadavg: 2.02 0.58 0.26 5/270 29122
/proc/meminfo: memFree=129550080/131524600 swapFree=131071996/131071996
[pid=29119] ppid=29116 vsize=154412 memory=90740 CPUtime=0.69 cores=5,7
/proc/29119/stat : 29119 (fscip) S 29116 29119 28879 0 -1 1077936128 20022 0 0 0 67 2 0 0 20 0 3 0 4463956 158117888 22685 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
/proc/29119/statm: 38603 22685 2966 3035 0 26724 0
[pid=29119/tid=29121] ppid=29116 vsize=154412 memory=0 CPUtime=0.63 cores=5,7
/proc/29119/task/29121/stat : 29121 (fscip) R 29116 29119 28879 0 -1 4194368 16865 0 0 0 62 1 0 0 20 0 3 0 4463962 158117888 22685 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
[pid=29119/tid=29122] ppid=29116 vsize=154412 memory=0 CPUtime=0 cores=5,7
/proc/29119/task/29122/stat : 29122 (fscip) S 29116 29119 28879 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4463962 158117888 22685 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 154412 KiB
Current children cumulated memory: 90740 KiB
[startup+1.50027 s]
/proc/loadavg: 2.02 0.58 0.26 5/270 29122
/proc/meminfo: memFree=129515088/131524600 swapFree=131071996/131071996
[pid=29119] ppid=29116 vsize=163556 memory=109904 CPUtime=1.49 cores=5,7
/proc/29119/stat : 29119 (fscip) S 29116 29119 28879 0 -1 1077936128 32408 0 0 0 146 3 0 0 20 0 3 0 4463956 167481344 27476 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
/proc/29119/statm: 40889 27476 2966 3035 0 31609 0
[pid=29119/tid=29121] ppid=29116 vsize=163556 memory=0 CPUtime=1.43 cores=5,7
/proc/29119/task/29121/stat : 29121 (fscip) R 29116 29119 28879 0 -1 4194368 29251 0 0 0 141 2 0 0 20 0 3 0 4463962 167481344 27476 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
[pid=29119/tid=29122] ppid=29116 vsize=163556 memory=0 CPUtime=0 cores=5,7
/proc/29119/task/29122/stat : 29122 (fscip) S 29116 29119 28879 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4463962 167481344 27476 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 163556 KiB
Current children cumulated memory: 109904 KiB
[startup+3.10593 s]
/proc/loadavg: 2.02 0.58 0.26 5/270 29122
/proc/meminfo: memFree=129495376/131524600 swapFree=131071996/131071996
[pid=29119] ppid=29116 vsize=165488 memory=125396 CPUtime=3.09 cores=5,7
/proc/29119/stat : 29119 (fscip) S 29116 29119 28879 0 -1 1077936128 41057 0 0 0 305 4 0 0 20 0 3 0 4463956 169459712 31349 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
/proc/29119/statm: 41372 31349 2966 3035 0 36140 0
[pid=29119/tid=29121] ppid=29116 vsize=165488 memory=0 CPUtime=3.03 cores=5,7
/proc/29119/task/29121/stat : 29121 (fscip) R 29116 29119 28879 0 -1 4194368 37887 0 0 0 299 4 0 0 20 0 3 0 4463962 169459712 31349 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
[pid=29119/tid=29122] ppid=29116 vsize=165488 memory=2273 CPUtime=0 cores=5,7
/proc/29119/task/29122/stat : 29122 (fscip) S 29116 29119 28879 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4463962 169459712 31349 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 165488 KiB
Current children cumulated memory: 125396 KiB
[startup+6.30026 s]
/proc/loadavg: 2.18 0.64 0.28 5/270 29122
/proc/meminfo: memFree=129453052/131524600 swapFree=131071996/131071996
[pid=29119] ppid=29116 vsize=236564 memory=151900 CPUtime=6.27 cores=5,7
/proc/29119/stat : 29119 (fscip) S 29116 29119 28879 0 -1 1077936128 65619 0 0 0 620 7 0 0 20 0 3 0 4463956 242241536 37975 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
/proc/29119/statm: 59141 37975 2966 3035 0 42938 0
[pid=29119/tid=29121] ppid=29116 vsize=236564 memory=131576 CPUtime=6.21 cores=5,7
/proc/29119/task/29121/stat : 29121 (fscip) R 29116 29119 28879 0 -1 4194368 62427 0 0 0 615 6 0 0 20 0 3 0 4463962 242241536 37975 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
[pid=29119/tid=29122] ppid=29116 vsize=236564 memory=-5155629111244450949 CPUtime=0 cores=5,7
/proc/29119/task/29122/stat : 29122 (fscip) S 29116 29119 28879 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4463962 242241536 37975 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 236564 KiB
Current children cumulated memory: 151900 KiB
[startup+12.7003 s]
/proc/loadavg: 2.33 0.70 0.30 5/270 29124
/proc/meminfo: memFree=129421328/131524600 swapFree=131071996/131071996
[pid=29119] ppid=29116 vsize=236960 memory=159200 CPUtime=12.66 cores=5,7
/proc/29119/stat : 29119 (fscip) S 29116 29119 28879 0 -1 1077936128 97199 0 0 0 1256 10 0 0 20 0 3 0 4463956 242647040 39800 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
/proc/29119/statm: 59240 39800 3014 3035 0 44502 0
[pid=29119/tid=29121] ppid=29116 vsize=236960 memory=164 CPUtime=12.59 cores=5,7
/proc/29119/task/29121/stat : 29121 (fscip) R 29116 29119 28879 0 -1 4194368 93971 0 0 0 1250 9 0 0 20 0 3 0 4463962 242647040 39800 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
[pid=29119/tid=29122] ppid=29116 vsize=236960 memory=158848 CPUtime=0 cores=5,7
/proc/29119/task/29122/stat : 29122 (fscip) S 29116 29119 28879 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4463962 242647040 39800 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 236960 KiB
Current children cumulated memory: 159200 KiB
[startup+25.5002 s]
/proc/loadavg: 2.83 0.89 0.37 5/270 29127
/proc/meminfo: memFree=129374364/131524600 swapFree=131071996/131071996
[pid=29119] ppid=29116 vsize=236960 memory=159204 CPUtime=25.42 cores=5,7
/proc/29119/stat : 29119 (fscip) S 29116 29119 28879 0 -1 1077936128 109277 0 0 0 2530 12 0 0 20 0 3 0 4463956 242647040 39801 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
/proc/29119/statm: 59240 39801 3014 3035 0 44502 0
[pid=29119/tid=29121] ppid=29116 vsize=236960 memory=159204 CPUtime=25.35 cores=5,7
/proc/29119/task/29121/stat : 29121 (fscip) R 29116 29119 28879 0 -1 4194368 106003 0 0 0 2524 11 0 0 20 0 3 0 4463962 242647040 39801 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
[pid=29119/tid=29122] ppid=29116 vsize=236960 memory=11628 CPUtime=0 cores=5,7
/proc/29119/task/29122/stat : 29122 (fscip) S 29116 29119 28879 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4463962 242647040 39801 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 236960 KiB
Current children cumulated memory: 159204 KiB
[startup+51.1058 s]
/proc/loadavg: 3.23 1.14 0.47 5/270 29132
/proc/meminfo: memFree=129269160/131524600 swapFree=131071996/131071996
[pid=29119] ppid=29116 vsize=236960 memory=162324 CPUtime=50.94 cores=5,7
/proc/29119/stat : 29119 (fscip) S 29116 29119 28879 0 -1 1077936128 129648 0 0 0 5078 16 0 0 20 0 3 0 4463956 242647040 40581 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
/proc/29119/statm: 59240 40581 3030 3035 0 45368 0
[pid=29119/tid=29121] ppid=29116 vsize=236960 memory=162324 CPUtime=50.88 cores=5,7
/proc/29119/task/29121/stat : 29121 (fscip) R 29116 29119 28879 0 -1 4194368 126298 0 0 0 5072 16 0 0 20 0 3 0 4463962 242647040 40581 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
[pid=29119/tid=29122] ppid=29116 vsize=236960 memory=159204 CPUtime=0 cores=5,7
/proc/29119/task/29122/stat : 29122 (fscip) S 29116 29119 28879 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 4463962 242647040 40581 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 236960 KiB
Current children cumulated memory: 162324 KiB
[startup+102.3 s]
/proc/loadavg: 3.99 1.66 0.68 5/270 29140
/proc/meminfo: memFree=129171024/131524600 swapFree=131071996/131071996
[pid=29119] ppid=29116 vsize=239792 memory=164928 CPUtime=101.97 cores=5,7
/proc/29119/stat : 29119 (fscip) S 29116 29119 28879 0 -1 1077936128 161191 0 0 0 10172 25 0 0 20 0 3 0 4463956 245547008 41232 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
/proc/29119/statm: 59948 41232 3030 3035 0 46076 0
[pid=29119/tid=29121] ppid=29116 vsize=239792 memory=12420 CPUtime=101.9 cores=5,7
/proc/29119/task/29121/stat : 29121 (fscip) R 29116 29119 28879 0 -1 4194368 157747 0 0 0 10166 24 0 0 20 0 3 0 4463962 245547008 41232 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
[pid=29119/tid=29122] ppid=29116 vsize=239792 memory=163476 CPUtime=0 cores=5,7
/proc/29119/task/29122/stat : 29122 (fscip) S 29116 29119 28879 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 4463962 245547008 41232 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 239792 KiB
Current children cumulated memory: 164928 KiB
[startup+162.3 s]
/proc/loadavg: 4.36 2.20 0.93 5/269 29151
/proc/meminfo: memFree=129083756/131524600 swapFree=131071996/131071996
[pid=29119] ppid=29116 vsize=240352 memory=168028 CPUtime=161.78 cores=5,7
/proc/29119/stat : 29119 (fscip) S 29116 29119 28879 0 -1 1077936128 182010 0 0 0 16146 32 0 0 20 0 3 0 4463956 246120448 42007 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
/proc/29119/statm: 60088 42007 3030 3035 0 46926 0
[pid=29119/tid=29121] ppid=29116 vsize=240352 memory=166364 CPUtime=161.72 cores=5,7
/proc/29119/task/29121/stat : 29121 (fscip) R 29116 29119 28879 0 -1 4194368 178504 0 0 0 16140 32 0 0 20 0 3 0 4463962 246120448 42007 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
[pid=29119/tid=29122] ppid=29116 vsize=240352 memory=168028 CPUtime=0 cores=5,7
/proc/29119/task/29122/stat : 29122 (fscip) S 29116 29119 28879 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 4463962 246120448 42007 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 240352 KiB
################
# More data... #
################
/proc/29119/statm: 160612 148115 3030 3035 0 156989 0
[pid=29119/tid=29121] ppid=29116 vsize=642448 memory=576076 CPUtime=3450.29 cores=5,7
/proc/29119/task/29121/stat : 29121 (fscip) R 29116 29119 28879 0 -1 4194368 1475042 0 0 0 344612 417 0 0 20 0 3 0 4463962 657866752 148115 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
[pid=29119/tid=29122] ppid=29116 vsize=642448 memory=592460 CPUtime=0.04 cores=5,7
/proc/29119/task/29122/stat : 29122 (fscip) S 29116 29119 28879 0 -1 1077936192 135 0 0 0 1 3 0 0 20 0 3 0 4463962 657866752 148115 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
Current children cumulated CPU time: 3450.6 s
Current children cumulated vsize: 642448 KiB
Current children cumulated memory: 592460 KiB
[startup+3522.3 s]
/proc/loadavg: 4.23 4.16 4.06 5/265 30884
/proc/meminfo: memFree=125149708/131524600 swapFree=131071996/131071996
[pid=29119] ppid=29116 vsize=642448 memory=601140 CPUtime=3510.4 cores=5,7
/proc/29119/stat : 29119 (fscip) S 29116 29119 28879 0 -1 1077936128 1505752 0 0 0 350608 432 0 0 20 0 3 0 4463956 657866752 150285 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
/proc/29119/statm: 160612 150285 3030 3035 0 156989 0
[pid=29119/tid=29121] ppid=29116 vsize=642448 memory=592460 CPUtime=3510.09 cores=5,7
/proc/29119/task/29121/stat : 29121 (fscip) R 29116 29119 28879 0 -1 4194368 1501546 0 0 0 350586 423 0 0 20 0 3 0 4463962 657866752 150285 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
[pid=29119/tid=29122] ppid=29116 vsize=642448 memory=601140 CPUtime=0.04 cores=5,7
/proc/29119/task/29122/stat : 29122 (fscip) S 29116 29119 28879 0 -1 1077936192 137 0 0 0 1 3 0 0 20 0 3 0 4463962 657866752 150285 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
Current children cumulated CPU time: 3510.4 s
Current children cumulated vsize: 642448 KiB
Current children cumulated memory: 601140 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.16 4.07 5/263 31237
/proc/meminfo: memFree=125110160/131524600 swapFree=131071996/131071996
[pid=29119] ppid=29116 vsize=707984 memory=603876 CPUtime=3570.22 cores=5,7
/proc/29119/stat : 29119 (fscip) S 29116 29119 28879 0 -1 1077936128 1532382 0 0 0 356585 437 0 0 20 0 3 0 4463956 724975616 150969 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
/proc/29119/statm: 176996 150969 3030 3035 0 157872 0
[pid=29119/tid=29121] ppid=29116 vsize=707984 memory=12420 CPUtime=3569.9 cores=5,7
/proc/29119/task/29121/stat : 29121 (fscip) R 29116 29119 28879 0 -1 4194368 1528164 0 0 0 356563 427 0 0 20 0 3 0 4463962 724975616 150969 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
[pid=29119/tid=29122] ppid=29116 vsize=707984 memory=603632 CPUtime=0.04 cores=5,7
/proc/29119/task/29122/stat : 29122 (fscip) S 29116 29119 28879 0 -1 1077936192 140 0 0 0 1 3 0 0 20 0 3 0 4463962 724975616 150969 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
Current children cumulated CPU time: 3570.22 s
Current children cumulated vsize: 707984 KiB
Current children cumulated memory: 603876 KiB
[startup+3598.12 s]
# the end of solver process 29119 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.6 s, system=4.39462 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.18 4.16 4.07 5/263 31237
/proc/meminfo: memFree=124540156/131524600 swapFree=131071996/131071996
[pid=29119] ppid=29116 vsize=707984 memory=603876 CPUtime=3571.92 cores=5,7
/proc/29119/stat : 29119 (fscip) S 29116 29119 28879 0 -1 1077936128 1532458 0 0 0 356755 437 0 0 20 0 3 0 4463956 724975616 150969 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
/proc/29119/statm: 176996 150969 3030 3035 0 157872 0
[pid=29119/tid=29121] ppid=29116 vsize=707984 memory=-6000919494148057964 CPUtime=3571.61 cores=5,7
/proc/29119/task/29121/stat : 29121 (fscip) R 29116 29119 28879 0 -1 4194368 1528240 0 0 0 356733 428 0 0 20 0 3 0 4463962 724975616 150969 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
[pid=29119/tid=29122] ppid=29116 vsize=707984 memory=7686721470264483783 CPUtime=0.04 cores=5,7
/proc/29119/task/29122/stat : 29122 (fscip) S 29116 29119 28879 0 -1 1077936192 140 0 0 0 1 3 0 0 20 0 3 0 4463962 724975616 150969 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
Current children cumulated CPU time: 3571.92 s
Current children cumulated vsize: 707984 KiB
Current children cumulated memory: 603876 KiB
[startup+3590.4 s]
/proc/loadavg: 4.17 4.15 4.07 5/263 31238
/proc/meminfo: memFree=122540644/131524600 swapFree=131071996/131071996
[pid=29119] ppid=29116 vsize=707984 memory=603876 CPUtime=3578.3 cores=5,7
/proc/29119/stat : 29119 (fscip) S 29116 29119 28879 0 -1 1077936128 1532682 0 0 0 357392 438 0 0 20 0 3 0 4463956 724975616 150969 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
/proc/29119/statm: 176996 150969 3030 3035 0 157872 0
[pid=29119/tid=29121] ppid=29116 vsize=707984 memory=603876 CPUtime=3577.98 cores=5,7
/proc/29119/task/29121/stat : 29121 (fscip) R 29116 29119 28879 0 -1 4194368 1528464 0 0 0 357369 429 0 0 20 0 3 0 4463962 724975616 150969 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
[pid=29119/tid=29122] ppid=29116 vsize=707984 memory=603876 CPUtime=0.04 cores=5,7
/proc/29119/task/29122/stat : 29122 (fscip) S 29116 29119 28879 0 -1 1077936192 140 0 0 0 1 3 0 0 20 0 3 0 4463962 724975616 150969 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
Current children cumulated CPU time: 3578.3 s
Current children cumulated vsize: 707984 KiB
Current children cumulated memory: 603876 KiB
[startup+3593.6 s]
/proc/loadavg: 4.24 4.17 4.07 6/263 31238
/proc/meminfo: memFree=121370140/131524600 swapFree=131071996/131071996
[pid=29119] ppid=29116 vsize=707984 memory=603876 CPUtime=3581.49 cores=5,7
/proc/29119/stat : 29119 (fscip) S 29116 29119 28879 0 -1 1077936128 1532793 0 0 0 357711 438 0 0 20 0 3 0 4463956 724975616 150969 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
/proc/29119/statm: 176996 150969 3030 3035 0 157872 0
[pid=29119/tid=29121] ppid=29116 vsize=707984 memory=12856 CPUtime=3581.17 cores=5,7
/proc/29119/task/29121/stat : 29121 (fscip) R 29116 29119 28879 0 -1 4194368 1528575 0 0 0 357688 429 0 0 20 0 3 0 4463962 724975616 150969 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
[pid=29119/tid=29122] ppid=29116 vsize=707984 memory=603876 CPUtime=0.04 cores=5,7
/proc/29119/task/29122/stat : 29122 (fscip) S 29116 29119 28879 0 -1 1077936192 140 0 0 0 1 3 0 0 20 0 3 0 4463962 724975616 150969 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
Current children cumulated CPU time: 3581.49 s
Current children cumulated vsize: 707984 KiB
Current children cumulated memory: 603876 KiB
[startup+3595.2 s]
/proc/loadavg: 4.24 4.17 4.07 5/263 31238
/proc/meminfo: memFree=120288520/131524600 swapFree=131071996/131071996
[pid=29119] ppid=29116 vsize=707984 memory=603876 CPUtime=3583.08 cores=5,7
/proc/29119/stat : 29119 (fscip) S 29116 29119 28879 0 -1 1077936128 1532799 0 0 0 357870 438 0 0 20 0 3 0 4463956 724975616 150969 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
/proc/29119/statm: 176996 150969 3030 3035 0 157872 0
[pid=29119/tid=29121] ppid=29116 vsize=707984 memory=-7028418844326600091 CPUtime=3582.76 cores=5,7
/proc/29119/task/29121/stat : 29121 (fscip) R 29116 29119 28879 0 -1 4194368 1528581 0 0 0 357847 429 0 0 20 0 3 0 4463962 724975616 150969 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
[pid=29119/tid=29122] ppid=29116 vsize=707984 memory=-7594032712773623935 CPUtime=0.04 cores=5,7
/proc/29119/task/29122/stat : 29122 (fscip) S 29116 29119 28879 0 -1 1077936192 140 0 0 0 1 3 0 0 20 0 3 0 4463962 724975616 150969 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
Current children cumulated CPU time: 3583.08 s
Current children cumulated vsize: 707984 KiB
Current children cumulated memory: 603876 KiB
[startup+3596.8 s]
/proc/loadavg: 4.22 4.16 4.07 5/263 31238
/proc/meminfo: memFree=119852488/131524600 swapFree=131071996/131071996
[pid=29119] ppid=29116 vsize=707984 memory=603876 CPUtime=3584.67 cores=5,7
/proc/29119/stat : 29119 (fscip) S 29116 29119 28879 0 -1 1077936128 1532812 0 0 0 358029 438 0 0 20 0 3 0 4463956 724975616 150969 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
/proc/29119/statm: 176996 150969 3030 3035 0 157872 0
[pid=29119/tid=29121] ppid=29116 vsize=707984 memory=11628 CPUtime=3584.35 cores=5,7
/proc/29119/task/29121/stat : 29121 (fscip) R 29116 29119 28879 0 -1 4194368 1528594 0 0 0 358006 429 0 0 20 0 3 0 4463962 724975616 150969 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
[pid=29119/tid=29122] ppid=29116 vsize=707984 memory=193 CPUtime=0.04 cores=5,7
/proc/29119/task/29122/stat : 29122 (fscip) S 29116 29119 28879 0 -1 1077936192 140 0 0 0 1 3 0 0 20 0 3 0 4463962 724975616 150969 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
Current children cumulated CPU time: 3584.67 s
Current children cumulated vsize: 707984 KiB
Current children cumulated memory: 603876 KiB
[startup+3597.6 s]
/proc/loadavg: 4.22 4.16 4.07 5/263 31238
/proc/meminfo: memFree=119380156/131524600 swapFree=131071996/131071996
[pid=29119] ppid=29116 vsize=707984 memory=603876 CPUtime=3585.47 cores=5,7
/proc/29119/stat : 29119 (fscip) S 29116 29119 28879 0 -1 1077936128 1532822 0 0 0 358109 438 0 0 20 0 3 0 4463956 724975616 150969 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
/proc/29119/statm: 176996 150969 3030 3035 0 157872 0
[pid=29119/tid=29121] ppid=29116 vsize=707984 memory=11628 CPUtime=3585.15 cores=5,7
/proc/29119/task/29121/stat : 29121 (fscip) R 29116 29119 28879 0 -1 4194368 1528604 0 0 0 358086 429 0 0 20 0 3 0 4463962 724975616 150969 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
[pid=29119/tid=29122] ppid=29116 vsize=707984 memory=5432 CPUtime=0.04 cores=5,7
/proc/29119/task/29122/stat : 29122 (fscip) S 29116 29119 28879 0 -1 1077936192 140 0 0 0 1 3 0 0 20 0 3 0 4463962 724975616 150969 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
Current children cumulated CPU time: 3585.47 s
Current children cumulated vsize: 707984 KiB
Current children cumulated memory: 603876 KiB
[startup+3598 s]*
/proc/loadavg: 4.22 4.16 4.07 5/263 31238
/proc/meminfo: memFree=119216448/131524600 swapFree=131071996/131071996
[pid=29119] ppid=29116 vsize=707984 memory=603876 CPUtime=3585.87 cores=5,7
/proc/29119/stat : 29119 (fscip) R 29116 29119 28879 0 -1 1077936128 1532828 0 0 0 358149 438 0 0 20 0 3 0 4463956 724975616 150969 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
/proc/29119/statm: 176996 150969 3030 3035 0 157872 0
[pid=29119/tid=29121] ppid=29116 vsize=707984 memory=603876 CPUtime=3585.55 cores=5,7
/proc/29119/task/29121/stat : 29121 (fscip) R 29116 29119 28879 0 -1 4194368 1528610 0 0 0 358126 429 0 0 20 0 3 0 4463962 724975616 150969 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
[pid=29119/tid=29122] ppid=29116 vsize=707984 memory=2696 CPUtime=0.04 cores=5,7
/proc/29119/task/29122/stat : 29122 (fscip) S 29116 29119 28879 0 -1 1077936192 140 0 0 0 1 3 0 0 20 0 3 0 4463962 724975616 150969 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
Current children cumulated CPU time: 3585.87 s
Current children cumulated vsize: 707984 KiB
Current children cumulated memory: 603876 KiB
[startup+3598.11 s]
/proc/loadavg: 4.22 4.16 4.07 5/263 31238
/proc/meminfo: memFree=119216448/131524600 swapFree=131071996/131071996
[pid=29119] ppid=29116 vsize=706960 memory=602856 CPUtime=3585.97 cores=5,7
/proc/29119/stat : 29119 (fscip) S 29116 29119 28879 0 -1 1077936128 1533299 0 0 0 358159 438 0 0 20 0 3 0 4463956 723927040 150714 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
/proc/29119/statm: 176740 150714 3030 3035 0 157616 0
[pid=29119/tid=29121] ppid=29116 vsize=706960 memory=12420 CPUtime=3585.65 cores=5,7
/proc/29119/task/29121/stat : 29121 (fscip) R 29116 29119 28879 0 -1 4194368 1529080 0 0 0 358136 429 0 0 20 0 3 0 4463962 723927040 150714 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
[pid=29119/tid=29122] ppid=29116 vsize=706960 memory=603876 CPUtime=0.04 cores=5,7
/proc/29119/task/29122/stat : 29122 (fscip) S 29116 29119 28879 0 -1 1077936192 140 0 0 0 1 3 0 0 20 0 3 0 4463962 723927040 150714 134679101440 4194304 16623229 140736383539792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29110272 140736383546390 140736383546506 140736383546506 140736383553520 0
Current children cumulated CPU time: 3585.97 s
Current children cumulated vsize: 706960 KiB
Current children cumulated memory: 602856 KiB
Child status: 0
Real time (s): 3598.12
CPU time (s): 3585.99
CPU user time (s): 3581.6
CPU system time (s): 4.39462
CPU usage (%): 99.6631
Max. virtual memory (cumulated for all children) (KiB): 707984
Max. memory (cumulated for all children) (KiB): 603876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.6
system time used= 4.39462
maximum resident set size= 603876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1533506
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= 10789
involuntary context switches= 2267
# summary of solver processes directly reported to runsolver:
# pid: 29119
# total CPU time (s): 3585.99
# total CPU user time (s): 3581.6
# total CPU system time (s): 4.39462
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.96323 second user time and 17.6716 second system time
The end
Begin job on nodeC027 at 2024-07-31 00:30:35
IDJOB=4464383
IDBENCH=147874
IDSOLVER=3092
FILE ID=nodeC027/4464383-1722378634
RUNJOBID= nodeC027-1722378597-28892
SLURM_JOB_ID= 8249850
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/armies/normalized-army12.21ls.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-4464383-1722378634/watcher-4464383-1722378634 -o /tmp/evaluation-result-4464383-1722378634/solver-4464383-1722378634 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722378597-28892 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464383-1722378634.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7546ebd0ce66e1c0113f5874ce57dd6d
RANDOM SEED=881201410
nodeC027.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.692
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.88
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 : 3675.207
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.31
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.337
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.88
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 : 3626.618
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.31
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.657
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.88
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 : 3672.828
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.31
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.226
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.88
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 : 3661.337
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129616600 kB
MemAvailable: 129412696 kB
Buffers: 84516 kB
Cached: 547724 kB
SwapCached: 0 kB
Active: 244600 kB
Inactive: 1190616 kB
Active(anon): 1560 kB
Inactive(anon): 822744 kB
Active(file): 243040 kB
Inactive(file): 367872 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 27864 kB
Writeback: 0 kB
AnonPages: 801736 kB
Mapped: 126004 kB
Shmem: 21336 kB
KReclaimable: 49660 kB
Slab: 129860 kB
SReclaimable: 49660 kB
SUnreclaim: 80200 kB
KernelStack: 4264 kB
PageTables: 10996 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 954344 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9824 kB
HardwareCorrupted: 0 kB
AnonHugePages: 194560 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: 150228 kB
DirectMap2M: 9060352 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 889340 MiB
End job on nodeC027 at 2024-07-31 01:30:33