0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 32526336, getVmSize() = 32526336, SCIPgetMemUsed() = 8864010, SCIPgetMemTotal() = 10624546, SCIPgetMemExternEstim() = 5423906
0.00/0.01 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.05 c ** Estimated virtualMemUsedAtSolver = 24958293, getVmSize() = 42348544, SCIPgetMemUsed() = 10330359, SCIPgetMemTotal() = 19002351, SCIPgetMemExternEstim() = 5423906
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-4434653-1721082413
0.00/0.05 c Variables : 1964 (1964 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.05 c Constraints : 4000
0.00/0.05 c Objective sense : minimize
0.00/0.05 c Presolved Problem :
0.00/0.05 c Variables : 1517 (1517 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.05 c Constraints : 2928
0.00/0.05 c Constraints : Number
0.00/0.05 c setppc : 2928
0.00/0.05 c ** Instance transfer method used: 0
0.00/0.06 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.07 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.07 c Nodes Active
0.00/0.07 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.00/0.07 c * 0 0 1 1 1734.0000 - -
0.10/0.13 c * 0 0 1 1 1153.0000 - -
0.10/0.14 c * 0 0 1 1 1072.0000 - -
0.10/0.16 c * 0 0 1 1 1067.0000 - -
10.84/10.90 c * 11 0 1 1 1056.0000 - -
10.84/10.90 c 11 0 1 1 1056.0000 - -
10.84/10.90 c * 11 0 1 1 1054.0000 - -
16.73/16.87 c 17 4 3 1 1054.0000 999.6200 5.44%
22.61/22.79 c 23 8 7 1 1054.0000 999.6200 5.44%
28.09/28.22 c 28 42 41 1 1054.0000 999.6200 5.44%
28.39/28.53 c * 29 42 41 1 1043.0000 999.6200 4.34%
33.17/33.31 c 33 70 61 1 1043.0000 999.9110 4.31%
33.77/33.93 c * 34 70 61 1 1042.0000 999.9110 4.21%
33.88/34.00 c * 34 70 61 1 1041.0000 999.9110 4.11%
39.46/39.60 c 40 170 76 1 1041.0000 1000.0478 4.10%
42.04/42.28 c * 42 188 84 1 1040.0000 1000.4804 3.95%
44.95/45.11 c 45 238 111 1 1040.0000 1000.4804 3.95%
49.32/49.60 c * 50 252 109 1 1039.0000 1000.4804 3.85%
49.42/49.66 c * 50 266 105 1 1038.0000 1000.4804 3.75%
51.42/51.67 c 52 352 102 1 1038.0000 1000.6331 3.73%
58.69/58.98 c 59 397 127 1 1038.0000 1002.1687 3.58%
64.07/64.35 c 64 493 137 1 1038.0000 1002.3369 3.56%
70.95/71.24 c 71 556 144 1 1038.0000 1002.6886 3.52%
76.33/76.60 c 77 692 154 1 1038.0000 1002.9424 3.50%
81.51/81.89 c 82 772 170 1 1038.0000 1003.7435 3.41%
85.60/85.92 c * 86 838 176 1 1037.0000 1003.7435 3.31%
87.10/87.49 c 87 893 171 1 1037.0000 1003.8552 3.30%
94.87/95.29 c 95 995 187 1 1037.0000 1003.9921 3.29%
100.16/100.53 c 101 1147 193 1 1037.0000 1004.0789 3.28%
106.74/107.15 c 107 1294 198 1 1037.0000 1004.3687 3.25%
108.92/109.39 c * 109 1304 202 1 1036.0000 1004.3687 3.15%
112.31/112.75 c 113 1394 203 1 1036.0000 1004.3750 3.15%
117.89/118.34 c 118 1432 213 1 1036.0000 1004.4170 3.14%
123.47/123.94 c 124 1477 224 1 1036.0000 1004.4829 3.14%
129.35/129.84 c 130 1595 234 1 1036.0000 1004.7134 3.11%
135.64/136.15 c 136 1822 237 1 1036.0000 1004.8769 3.10%
143.40/143.91 c 144 1913 250 1 1036.0000 1004.9361 3.09%
149.99/150.53 c 151 2072 265 1 1036.0000 1005.2618 3.06%
155.17/155.70 c 156 2106 277 1 1036.0000 1005.3143 3.05%
163.04/163.61 c 164 2143 286 1 1036.0000 1005.4251 3.04%
168.82/169.46 c 169 2356 297 1 1036.0000 1005.5000 3.03%
174.00/174.65 c * 175 2446 301 1 1035.0000 1005.5174 2.93%
174.00/174.65 c 175 2446 301 1 1035.0000 1005.5174 2.93%
179.29/179.90 c 180 2504 305 1 1035.0000 1005.6667 2.92%
185.07/185.70 c 186 2622 315 1 1035.0000 1005.7040 2.91%
186.56/187.22 c * 187 2645 314 1 1034.0000 1005.7040 2.81%
190.25/190.94 c 191 2761 322 1 1034.0000 1005.7040 2.81%
196.62/197.37 c 197 2805 330 1 1034.0000 1005.7696 2.81%
203.89/204.63 c 205 2877 344 1 1034.0000 1005.8542 2.80%
209.29/210.01 c 210 2947 348 1 1034.0000 1005.8678 2.80%
215.16/215.98 c 216 3000 359 1 1034.0000 1006.0000 2.78%
221.93/222.76 c 223 3063 366 1 1034.0000 1006.0556 2.78%
227.23/228.08 c 228 3102 377 1 1034.0000 1006.1355 2.77%
233.10/233.95 c 234 3184 387 1 1034.0000 1006.1458 2.77%
238.29/239.16 c 239 3302 387 1 1034.0000 1006.2162 2.76%
243.46/244.34 c 244 3350 391 1 1034.0000 1006.2162 2.76%
248.85/249.78 c 250 3444 391 1 1034.0000 1006.2162 2.76%
255.03/255.90 c 256 3515 398 1 1034.0000 1006.3389 2.75%
261.01/261.93 c 262 3647 410 1 1034.0000 1006.5346 2.73%
266.69/267.66 c 268 3712 419 1 1034.0000 1006.6921 2.71%
272.07/273.04 c 273 3736 429 1 1034.0000 1006.6986 2.71%
277.45/278.49 c 278 3867 438 1 1034.0000 1006.7872 2.70%
284.93/285.96 c 286 3934 447 1 1034.0000 1006.9073 2.69%
290.01/291.03 c 291 4022 455 1 1034.0000 1006.9634 2.68%
295.09/296.19 c 296 4086 465 1 1034.0000 1006.9673 2.68%
300.97/302.10 c 302 4167 474 1 1034.0000 1006.9697 2.68%
306.24/307.39 c 307 4252 481 1 1034.0000 1007.0348 2.68%
312.93/314.02 c 314 4315 492 1 1034.0000 1007.0368 2.68%
320.60/321.74 c 322 4355 506 1 1034.0000 1007.1270 2.67%
325.78/326.91 c 327 4528 509 1 1034.0000 1007.1270 2.67%
334.16/335.33 c 335 4567 524 1 1034.0000 1007.1866 2.66%
339.24/340.49 c 340 4660 533 1 1034.0000 1007.2284 2.66%
344.52/345.72 c 346 4712 543 1 1034.0000 1007.2927 2.65%
350.10/351.37 c 351 4745 550 1 1034.0000 1007.3571 2.64%
355.79/357.05 c 357 4816 561 1 1034.0000 1007.4027 2.64%
361.57/362.88 c 363 4906 563 1 1034.0000 1007.4027 2.64%
367.05/368.34 c 368 4967 564 1 1034.0000 1007.4028 2.64%
372.63/373.94 c 374 5153 558 1 1034.0000 1007.4028 2.64%
379.91/381.23 c 381 5205 564 1 1034.0000 1007.5000 2.63%
397.46/398.89 c 399 5273 1 1 1034.0000 1007.5973 2.62%
403.04/404.43 c 404 5335 27 1 1034.0000 1007.5973 2.62%
409.42/410.86 c 411 5456 38 1 1034.0000 1007.9461 2.58%
415.20/416.69 c 417 5654 42 1 1034.0000 1008.0526 2.57%
420.28/421.73 c 422 5696 48 1 1034.0000 1008.1233 2.57%
425.76/427.24 c 427 5818 64 1 1034.0000 1008.3261 2.55%
430.84/432.35 c 432 6000 66 1 1034.0000 1008.3261 2.55%
436.82/438.38 c 438 6197 79 1 1034.0000 1008.6757 2.51%
441.90/443.49 c 443 6353 89 1 1034.0000 1008.9666 2.48%
447.19/448.72 c 449 6489 99 1 1034.0000 1009.0499 2.47%
452.97/454.54 c 455 6690 100 1 1034.0000 1009.1311 2.46%
458.56/460.17 c 460 6840 108 1 1034.0000 1009.1359 2.46%
463.84/465.43 c 465 7006 108 1 1034.0000 1009.2737 2.45%
469.12/470.75 c 471 7166 112 1 1034.0000 1009.2737 2.45%
474.70/476.39 c 476 7268 114 1 1034.0000 1009.3607 2.44%
480.08/481.78 c 482 7418 126 1 1034.0000 1009.4683 2.43%
486.46/488.14 c 488 7486 140 1 1034.0000 1009.5984 2.42%
492.55/494.22 c 494 7577 147 1 1034.0000 1009.6408 2.41%
497.53/499.28 c 499 7617 151 1 1034.0000 1009.6618 2.41%
502.81/504.59 c 505 7707 157 1 1034.0000 1009.7312 2.40%
507.89/509.66 c 510 7765 159 1 1034.0000 1009.9379 2.38%
513.17/514.91 c 515 7893 165 1 1034.0000 1009.9738 2.38%
519.55/521.37 c 521 8002 172 1 1034.0000 1009.9836 2.38%
525.03/526.84 c 527 8098 188 1 1034.0000 1010.0757 2.37%
531.62/533.42 c 533 8267 187 1 1034.0000 1010.1266 2.36%
537.40/539.23 c 539 8303 197 1 1034.0000 1010.1474 2.36%
542.88/544.77 c 545 8457 205 1 1034.0000 1010.1534 2.36%
548.06/549.96 c 550 8553 207 1 1034.0000 1010.1697 2.36%
553.44/555.34 c 555 8621 215 1 1034.0000 1010.1865 2.36%
559.93/561.88 c 562 8747 219 1 1034.0000 1010.2287 2.35%
565.60/567.50 c 568 8812 228 1 1034.0000 1010.2664 2.35%
570.68/572.61 c 573 9008 230 1 1034.0000 1010.2664 2.35%
578.26/580.29 c * 580 9107 229 1 1032.0000 1010.2664 2.15%
578.26/580.29 c 580 9107 229 1 1032.0000 1010.2664 2.15%
583.65/585.60 c 586 9265 226 1 1032.0000 1010.2664 2.15%
588.73/590.72 c 591 9412 231 1 1032.0000 1010.2664 2.15%
594.02/596.05 c 596 9486 239 1 1032.0000 1010.2899 2.15%
599.89/601.98 c 602 9595 242 1 1032.0000 1010.3072 2.15%
605.37/607.47 c 607 9693 254 1 1032.0000 1010.4152 2.14%
611.36/613.47 c 613 9767 266 1 1032.0000 1010.4369 2.13%
616.74/618.80 c 619 9970 273 1 1032.0000 1010.4657 2.13%
622.62/624.74 c 625 10123 282 1 1032.0000 1010.6269 2.11%
628.20/630.34 c 630 10233 292 1 1032.0000 1010.6726 2.11%
633.38/635.58 c 636 10334 303 1 1032.0000 1010.7333 2.10%
639.26/641.49 c 642 10365 312 1 1032.0000 1010.7385 2.10%
645.14/647.32 c 647 10531 320 1 1032.0000 1010.7750 2.10%
650.23/652.40 c 652 10763 316 1 1032.0000 1010.8004 2.10%
655.51/657.73 c 658 10923 326 1 1032.0000 1010.8570 2.09%
661.39/663.66 c 664 10969 332 1 1032.0000 1010.8570 2.09%
666.57/668.85 c 669 11063 334 1 1032.0000 1010.8729 2.09%
671.76/674.02 c 674 11176 337 1 1032.0000 1010.8729 2.09%
676.84/679.19 c 679 11240 355 1 1032.0000 1010.9109 2.09%
682.82/685.19 c 685 11358 359 1 1032.0000 1010.9198 2.09%
688.40/690.70 c 691 11413 366 1 1032.0000 1010.9320 2.08%
693.98/696.31 c 696 11486 371 1 1032.0000 1010.9630 2.08%
699.57/701.92 c 702 11596 375 1 1032.0000 1010.9790 2.08%
705.05/707.46 c 707 11663 382 1 1032.0000 1011.0333 2.07%
711.92/714.37 c 714 11777 394 1 1032.0000 1011.0465 2.07%
717.51/719.95 c 720 11888 403 1 1032.0000 1011.0829 2.07%
722.89/725.32 c 725 11933 406 1 1032.0000 1011.1095 2.07%
728.47/730.92 c 731 12115 408 1 1032.0000 1011.1095 2.07%
733.76/736.25 c 736 12243 412 1 1032.0000 1011.1786 2.06%
738.94/741.45 c 741 12395 416 1 1032.0000 1011.1859 2.06%
744.63/747.13 c 747 12502 427 1 1032.0000 1011.2544 2.05%
750.90/753.49 c 754 12633 432 1 1032.0000 1011.2728 2.05%
756.29/758.86 c 759 12741 450 1 1032.0000 1011.2799 2.05%
761.77/764.35 c 764 12845 460 1 1032.0000 1011.3072 2.05%
767.05/769.67 c 770 12971 468 1 1032.0000 1011.3294 2.04%
772.83/775.46 c 775 13103 474 1 1032.0000 1011.3730 2.04%
778.12/780.73 c 781 13184 485 1 1032.0000 1011.4180 2.03%
784.89/787.58 c 788 13257 494 1 1032.0000 1011.4505 2.03%
791.37/794.00 c 794 13396 503 1 1032.0000 1011.5144 2.03%
796.46/799.15 c 799 13632 505 1 1032.0000 1011.5144 2.03%
801.83/804.53 c 805 13882 507 1 1032.0000 1011.5144 2.03%
806.82/809.58 c 810 14129 510 1 1032.0000 1011.5656 2.02%
813.70/816.48 c 816 14207 520 1 1032.0000 1011.6196 2.01%
819.58/822.36 c 822 14364 523 1 1032.0000 1011.6428 2.01%
825.07/827.80 c 828 14492 531 1 1032.0000 1011.6683 2.01%
831.05/833.83 c 834 14608 543 1 1032.0000 1011.6746 2.01%
836.53/839.37 c 839 14664 555 1 1032.0000 1011.7332 2.00%
841.61/844.41 c 844 14775 566 1 1032.0000 1011.7412 2.00%
847.59/850.42 c 850 14923 574 1 1032.0000 1011.7854 2.00%
853.29/856.11 c 856 15036 589 1 1032.0000 1011.8204 1.99%
858.66/861.52 c 862 15210 605 1 1032.0000 1011.8204 1.99%
867.73/870.60 c 871 15247 608 1 1032.0000 1011.8311 1.99%
872.81/875.72 c 876 15458 611 1 1032.0000 1011.8311 1.99%
878.69/881.61 c 882 15544 615 1 1032.0000 1011.8775 1.99%
883.68/886.68 c 887 15623 632 1 1032.0000 1011.9313 1.98%
889.56/892.52 c 893 15676 635 1 1032.0000 1011.9313 1.98%
896.84/899.80 c 900 15745 640 1 1032.0000 1011.9574 1.98%
901.92/904.99 c 905 15860 649 1 1032.0000 1011.9807 1.98%
908.80/911.81 c 912 16043 656 1 1032.0000 1012.0245 1.97%
913.99/917.07 c 917 16198 657 1 1032.0000 1012.0245 1.97%
920.46/923.57 c 924 16373 656 1 1032.0000 1012.0575 1.97%
925.64/928.77 c 929 16453 664 1 1032.0000 1012.0936 1.97%
930.93/934.05 c 934 16514 665 1 1032.0000 1012.0957 1.97%
936.61/939.74 c 940 16592 677 1 1032.0000 1012.0965 1.97%
942.40/945.57 c 946 16629 686 1 1032.0000 1012.1289 1.96%
947.78/950.95 c 951 16748 699 1 1032.0000 1012.1380 1.96%
953.16/956.39 c 956 16936 699 1 1032.0000 1012.1380 1.96%
959.24/962.44 c 962 17156 701 1 1032.0000 1012.1401 1.96%
964.42/967.68 c 968 17317 708 1 1032.0000 1012.1531 1.96%
970.10/973.39 c 973 17431 728 1 1032.0000 1012.1943 1.96%
975.68/978.90 c 979 17483 736 1 1032.0000 1012.2543 1.95%
981.17/984.49 c 984 17556 745 1 1032.0000 1012.2544 1.95%
986.55/989.85 c 990 17783 752 1 1032.0000 1012.2626 1.95%
993.73/997.01 c 997 17913 758 1 1032.0000 1012.2701 1.95%
999.22/1002.59 c 1003 18092 777 1 1032.0000 1012.2779 1.95%
1004.40/1007.77 c 1008 18263 776 1 1032.0000 1012.2809 1.95%
1010.38/1013.72 c 1014 18393 780 1 1032.0000 1012.3000 1.95%
1015.56/1018.98 c 1019 18455 784 1 1032.0000 1012.3000 1.95%
1021.05/1024.48 c 1024 18516 791 1 1032.0000 1012.3026 1.95%
1026.23/1029.62 c 1030 18623 802 1 1032.0000 1012.3104 1.95%
1031.91/1035.36 c 1035 18746 813 1 1032.0000 1012.3218 1.94%
1037.69/1041.16 c 1041 18833 830 1 1032.0000 1012.3580 1.94%
1043.87/1047.39 c 1047 19045 826 1 1032.0000 1012.3894 1.94%
1049.06/1052.54 c 1053 19244 841 1 1032.0000 1012.3894 1.94%
1054.64/1058.17 c 1058 19294 845 1 1032.0000 1012.4224 1.93%
1059.82/1063.33 c 1063 19522 857 1 1032.0000 1012.4224 1.93%
1065.21/1068.73 c 1069 19655 858 1 1032.0000 1012.4302 1.93%
1070.79/1074.32 c 1074 19793 868 1 1032.0000 1012.4437 1.93%
1076.37/1079.98 c 1080 19866 877 1 1032.0000 1012.4462 1.93%
1083.14/1086.74 c 1087 19927 884 1 1032.0000 1012.4554 1.93%
1088.43/1092.04 c 1092 19977 888 1 1032.0000 1012.4766 1.93%
1093.52/1097.13 c 1097 20041 892 1 1032.0000 1012.4774 1.93%
1099.29/1102.90 c 1103 20093 902 1 1032.0000 1012.4982 1.93%
1106.08/1109.78 c 1110 20243 910 1 1032.0000 1012.5604 1.92%
1113.05/1116.76 c 1117 20413 914 1 1032.0000 1012.5743 1.92%
1118.53/1122.23 c 1122 20545 928 1 1032.0000 1012.6367 1.91%
1123.62/1127.31 c 1127 20577 934 1 1032.0000 1012.6390 1.91%
1129.49/1133.28 c 1133 20681 942 1 1032.0000 1012.6392 1.91%
1134.68/1138.44 c 1138 20790 941 1 1032.0000 1012.6452 1.91%
1139.77/1143.60 c 1144 20940 947 1 1032.0000 1012.6537 1.91%
1145.45/1149.26 c 1149 21028 955 1 1032.0000 1012.6589 1.91%
1150.73/1154.58 c 1155 21113 958 1 1032.0000 1012.6624 1.91%
1156.01/1159.80 c 1160 21153 960 1 1032.0000 1012.6666 1.91%
1161.09/1164.95 c 1165 21303 960 1 1032.0000 1012.6666 1.91%
1166.08/1169.98 c 1170 21431 964 1 1032.0000 1012.6751 1.91%
1173.16/1177.03 c 1177 21561 974 1 1032.0000 1012.6805 1.91%
1178.33/1182.22 c 1182 21637 988 1 1032.0000 1012.6944 1.91%
1183.41/1187.30 c 1187 21743 996 1 1032.0000 1012.6972 1.91%
1190.00/1193.92 c 1194 21864 1001 1 1032.0000 1012.7205 1.90%
1195.19/1199.19 c 1199 22062 1005 1 1032.0000 1012.7205 1.90%
1201.17/1205.14 c 1205 22175 1008 1 1032.0000 1012.7250 1.90%
1206.25/1210.29 c 1210 22383 1010 1 1032.0000 1012.7430 1.90%
1212.03/1216.09 c 1216 22435 1022 1 1032.0000 1012.7609 1.90%
1217.21/1221.27 c 1221 22569 1024 1 1032.0000 1012.7638 1.90%
1222.49/1226.53 c 1227 22774 1031 1 1032.0000 1012.7670 1.90%
1227.98/1232.08 c 1232 22970 1043 1 1032.0000 1012.7994 1.90%
1233.46/1237.59 c 1238 23144 1047 1 1032.0000 1012.8059 1.90%
1238.94/1243.02 c 1243 23286 1055 1 1032.0000 1012.8215 1.89%
1244.12/1248.27 c 1248 23377 1056 1 1032.0000 1012.8215 1.89%
1249.40/1253.56 c 1254 23552 1061 1 1032.0000 1012.8215 1.89%
1254.69/1258.89 c 1259 23643 1072 1 1032.0000 1012.8694 1.89%
1259.98/1264.13 c 1264 23744 1087 1 1032.0000 1012.8816 1.89%
1265.35/1269.52 c 1270 23861 1096 1 1032.0000 1012.9235 1.88%
1270.34/1274.59 c 1275 24054 1109 1 1032.0000 1012.9239 1.88%
1276.22/1280.42 c 1280 24153 1114 1 1032.0000 1012.9292 1.88%
1281.30/1285.52 c 1286 24371 1114 1 1032.0000 1012.9292 1.88%
1286.89/1291.15 c 1291 24493 1126 1 1032.0000 1012.9450 1.88%
1293.56/1297.89 c 1298 24613 1136 1 1032.0000 1012.9564 1.88%
1300.04/1304.32 c 1304 24703 1142 1 1032.0000 1012.9738 1.88%
1306.23/1310.52 c 1311 24707 1146 1 1032.0000 1012.9738 1.88%
1311.71/1316.01 c 1316 24810 1151 1 1032.0000 1012.9871 1.88%
1316.89/1321.20 c 1321 24956 1161 1 1032.0000 1012.9972 1.88%
1321.97/1326.36 c 1326 25059 1168 1 1032.0000 1013.0342 1.87%
1327.45/1331.85 c 1332 25165 1184 1 1032.0000 1013.0683 1.87%
1334.74/1339.12 c 1339 25353 1188 1 1032.0000 1013.1027 1.87%
1340.91/1345.33 c 1345 25417 1204 1 1032.0000 1013.1346 1.86%
1345.90/1350.38 c 1350 25455 1216 1 1032.0000 1013.1618 1.86%
1351.39/1355.81 c 1356 25514 1221 1 1032.0000 1013.1699 1.86%
1356.97/1361.40 c 1361 25605 1228 1 1032.0000 1013.1747 1.86%
1362.65/1367.15 c 1367 25655 1236 1 1032.0000 1013.1943 1.86%
1369.03/1373.51 c 1374 25674 1239 1 1032.0000 1013.2203 1.85%
1374.91/1379.49 c 1380 25714 1245 1 1032.0000 1013.2278 1.85%
1380.99/1385.53 c 1386 25800 1253 1 1032.0000 1013.2372 1.85%
1386.58/1391.15 c 1391 25993 1258 1 1032.0000 1013.2389 1.85%
1391.96/1396.54 c 1397 26099 1264 1 1032.0000 1013.2472 1.85%
1397.84/1402.49 c 1402 26133 1268 1 1032.0000 1013.2622 1.85%
1403.62/1408.29 c 1408 26229 1274 1 1032.0000 1013.2642 1.85%
1408.90/1413.51 c 1414 26379 1270 1 1032.0000 1013.2642 1.85%
1413.89/1418.56 c 1419 26453 1276 1 1032.0000 1013.2966 1.85%
1419.57/1424.27 c 1424 26517 1288 1 1032.0000 1013.3046 1.84%
1425.45/1430.12 c 1430 26659 1306 1 1032.0000 1013.3207 1.84%
1430.83/1435.57 c 1436 26838 1305 1 1032.0000 1013.3207 1.84%
1438.31/1443.06 c 1443 26897 1314 1 1032.0000 1013.3379 1.84%
1443.68/1448.46 c 1448 27022 1317 1 1032.0000 1013.3518 1.84%
1448.67/1453.49 c 1454 27123 1322 1 1032.0000 1013.3825 1.84%
1454.15/1458.95 c 1459 27231 1330 1 1032.0000 1013.3861 1.84%
1460.24/1465.09 c 1465 27393 1324 1 1032.0000 1013.4005 1.84%
1465.62/1470.46 c 1470 27523 1334 1 1032.0000 1013.4034 1.84%
1471.50/1476.39 c 1476 27665 1336 1 1032.0000 1013.4194 1.83%
1477.48/1482.38 c 1482 27841 1342 1 1032.0000 1013.4230 1.83%
1483.27/1488.18 c 1488 27981 1346 1 1032.0000 1013.4230 1.83%
1488.64/1493.50 c 1494 28093 1362 1 1032.0000 1013.4453 1.83%
1494.32/1499.27 c 1499 28175 1368 1 1032.0000 1013.4503 1.83%
1500.30/1505.22 c 1505 28329 1378 1 1032.0000 1013.4540 1.83%
1505.79/1510.77 c 1511 28454 1391 1 1032.0000 1013.4720 1.83%
1511.18/1516.13 c 1516 28647 1394 1 1032.0000 1013.4720 1.83%
1516.17/1521.14 c 1521 28721 1398 1 1032.0000 1013.4757 1.83%
1521.34/1526.39 c 1526 28882 1397 1 1032.0000 1013.4757 1.83%
1526.92/1531.94 c 1532 28958 1405 1 1032.0000 1013.4816 1.83%
1532.41/1537.46 c 1537 29103 1408 1 1032.0000 1013.4825 1.83%
1538.19/1543.29 c 1543 29248 1415 1 1032.0000 1013.4954 1.83%
1543.97/1549.10 c 1549 29463 1420 1 1032.0000 1013.5037 1.82%
1549.15/1554.29 c 1554 29618 1425 1 1032.0000 1013.5037 1.82%
1554.73/1559.82 c 1560 29752 1433 1 1032.0000 1013.5148 1.82%
1559.82/1564.97 c 1565 29968 1435 1 1032.0000 1013.5148 1.82%
1565.29/1570.41 c 1570 30075 1438 1 1032.0000 1013.5184 1.82%
1570.89/1576.05 c 1576 30219 1446 1 1032.0000 1013.5373 1.82%
1576.87/1582.03 c 1582 30340 1451 1 1032.0000 1013.5419 1.82%
1582.55/1587.76 c 1588 30454 1459 1 1032.0000 1013.5675 1.82%
1588.32/1593.54 c 1594 30583 1460 1 1032.0000 1013.5754 1.82%
1593.40/1598.67 c 1599 30723 1476 1 1032.0000 1013.5805 1.82%
1598.99/1604.24 c 1604 30877 1480 1 1032.0000 1013.5844 1.82%
1604.57/1609.85 c 1610 30976 1491 1 1032.0000 1013.6154 1.81%
1610.55/1615.84 c 1616 31043 1502 1 1032.0000 1013.6223 1.81%
1616.04/1621.34 c 1621 31164 1505 1 1032.0000 1013.6228 1.81%
1621.52/1626.88 c 1627 31245 1516 1 1032.0000 1013.6465 1.81%
1626.81/1632.18 c 1632 31373 1518 1 1032.0000 1013.6510 1.81%
1632.69/1638.05 c 1638 31433 1528 1 1032.0000 1013.6714 1.81%
1638.37/1643.71 c 1644 31587 1546 1 1032.0000 1013.6743 1.81%
1644.05/1649.40 c 1649 31689 1556 1 1032.0000 1013.7035 1.80%
1651.12/1656.51 c 1657 31854 1555 1 1032.0000 1013.7096 1.80%
1658.90/1664.30 c 1664 31943 1562 1 1032.0000 1013.7168 1.80%
1664.08/1669.56 c 1670 32062 1567 1 1032.0000 1013.7168 1.80%
1670.76/1676.26 c 1676 32243 1566 1 1032.0000 1013.7288 1.80%
1677.05/1682.56 c 1683 32336 1583 1 1032.0000 1013.7405 1.80%
1682.33/1687.85 c 1688 32472 1585 1 1032.0000 1013.7405 1.80%
1689.70/1695.25 c 1695 32633 1590 1 1032.0000 1013.7475 1.80%
1694.88/1700.47 c 1700 32653 1594 1 1032.0000 1013.7506 1.80%
1700.16/1705.78 c 1706 32756 1603 1 1032.0000 1013.7623 1.80%
1705.26/1710.87 c 1711 32938 1601 1 1032.0000 1013.7623 1.80%
1710.45/1716.04 c 1716 33075 1606 1 1032.0000 1013.7623 1.80%
1716.12/1721.73 c 1722 33268 1605 1 1032.0000 1013.7623 1.80%
1721.51/1727.14 c 1727 33374 1609 1 1032.0000 1013.7627 1.80%
1727.08/1732.78 c 1733 33443 1624 1 1032.0000 1013.7758 1.80%
1733.36/1739.02 c 1739 33525 1622 1 1032.0000 1013.7758 1.80%
1739.15/1744.80 c 1745 33618 1631 1 1032.0000 1013.7821 1.80%
1744.73/1750.42 c 1750 33749 1638 1 1032.0000 1013.7855 1.80%
1751.21/1756.90 c 1757 33823 1642 1 1032.0000 1013.7957 1.80%
1756.49/1762.24 c 1762 33935 1648 1 1032.0000 1013.7957 1.80%
1761.87/1767.66 c 1768 34063 1648 1 1032.0000 1013.7957 1.80%
1766.96/1772.74 c 1773 34145 1656 1 1032.0000 1013.8039 1.79%
1772.14/1777.95 c 1778 34194 1659 1 1032.0000 1013.8100 1.79%
1777.62/1783.42 c 1783 34243 1662 1 1032.0000 1013.8195 1.79%
1783.31/1789.15 c 1789 34353 1672 1 1032.0000 1013.8333 1.79%
1789.19/1795.04 c 1795 34473 1680 1 1032.0000 1013.8373 1.79%
1794.77/1800.65 c 1801 34483 1686 1 1032.0000 1013.8427 1.79%
1800.26/1806.15 c 1806 34583 1696 1 1032.0000 1013.8513 1.79%
1806.63/1812.54 c 1813 34613 1702 1 1032.0000 1013.8513 1.79%
1811.81/1817.77 c 1818 34753 1706 1 1032.0000 1013.8779 1.79%
1817.79/1823.70 c 1824 34872 1717 1 1032.0000 1013.8836 1.79%
1823.67/1829.65 c 1830 34887 1728 1 1032.0000 1013.9009 1.79%
1829.05/1835.04 c 1835 34922 1733 1 1032.0000 1013.9072 1.78%
1834.64/1840.68 c 1841 34945 1742 1 1032.0000 1013.9267 1.78%
1840.32/1846.31 c 1846 34994 1749 1 1032.0000 1013.9275 1.78%
1846.70/1852.77 c 1853 35123 1752 1 1032.0000 1013.9300 1.78%
1852.28/1858.33 c 1858 35204 1765 1 1032.0000 1013.9414 1.78%
1857.27/1863.39 c 1863 35386 1767 1 1032.0000 1013.9414 1.78%
1863.15/1869.29 c 1869 35513 1768 1 1032.0000 1013.9422 1.78%
1868.23/1874.36 c 1874 35542 1781 1 1032.0000 1013.9434 1.78%
1874.11/1880.27 c 1880 35664 1787 1 1032.0000 1013.9443 1.78%
1879.90/1886.05 c 1886 35853 1796 1 1032.0000 1013.9474 1.78%
1885.58/1891.74 c 1892 35997 1806 1 1032.0000 1013.9539 1.78%
1891.26/1897.46 c 1897 36077 1804 1 1032.0000 1013.9539 1.78%
1897.04/1903.29 c 1903 36174 1809 1 1032.0000 1013.9733 1.78%
1902.62/1908.89 c 1909 36272 1815 1 1032.0000 1013.9846 1.78%
1907.81/1914.08 c 1914 36447 1816 1 1032.0000 1013.9878 1.78%
1913.68/1919.91 c 1920 36515 1830 1 1032.0000 1014.0102 1.77%
1918.87/1925.13 c 1925 36635 1834 1 1032.0000 1014.0239 1.77%
1923.87/1930.15 c 1930 36703 1846 1 1032.0000 1014.0271 1.77%
1929.74/1936.00 c 1936 36790 1853 1 1032.0000 1014.0332 1.77%
1936.21/1942.58 c 1943 36856 1861 1 1032.0000 1014.0345 1.77%
1942.20/1948.54 c 1949 37020 1869 1 1032.0000 1014.0396 1.77%
1947.69/1954.10 c 1954 37157 1878 1 1032.0000 1014.0484 1.77%
1953.66/1960.00 c 1960 37262 1893 1 1032.0000 1014.0726 1.77%
1960.04/1966.44 c 1966 37353 1892 1 1032.0000 1014.0893 1.77%
1966.62/1973.04 c 1973 37424 1899 1 1032.0000 1014.0897 1.77%
1972.30/1978.74 c 1979 37484 1911 1 1032.0000 1014.0957 1.77%
1977.98/1984.49 c 1984 37549 1912 1 1032.0000 1014.0957 1.77%
1983.06/1989.54 c 1990 37638 1911 1 1032.0000 1014.0957 1.77%
1989.75/1996.26 c 1996 37658 1915 1 1032.0000 1014.0998 1.77%
1995.72/2002.23 c 2002 37804 1923 1 1032.0000 1014.1193 1.76%
2002.21/2008.72 c 2009 37833 1928 1 1032.0000 1014.1290 1.76%
2008.38/2014.98 c 2015 37920 1937 1 1032.0000 1014.1290 1.76%
2014.26/2020.88 c 2021 37989 1942 1 1032.0000 1014.1299 1.76%
2021.64/2028.20 c 2028 38093 1938 1 1032.0000 1014.1432 1.76%
2027.02/2033.64 c 2034 38175 1942 1 1032.0000 1014.1432 1.76%
2032.31/2038.98 c 2039 38299 1940 1 1032.0000 1014.1432 1.76%
2040.18/2046.80 c 2047 38433 1946 1 1032.0000 1014.1437 1.76%
2046.16/2052.89 c 2053 38481 1958 1 1032.0000 1014.1577 1.76%
2051.35/2058.09 c 2058 38633 1970 1 1032.0000 1014.1577 1.76%
2056.63/2063.31 c 2063 38796 1973 1 1032.0000 1014.1577 1.76%
2062.31/2069.08 c 2069 38857 1986 1 1032.0000 1014.1618 1.76%
2067.99/2074.79 c 2075 38933 1990 1 1032.0000 1014.1618 1.76%
2073.08/2079.81 c 2080 39018 1997 1 1032.0000 1014.1618 1.76%
2078.55/2085.38 c 2085 39094 1995 1 1032.0000 1014.1618 1.76%
2083.64/2090.41 c 2090 39195 1992 1 1032.0000 1014.1618 1.76%
2089.02/2095.80 c 2096 39235 1998 1 1032.0000 1014.1770 1.76%
2094.10/2100.90 c 2101 39314 2003 1 1032.0000 1014.1809 1.76%
2099.49/2106.33 c 2106 39381 2004 1 1032.0000 1014.1809 1.76%
2104.77/2111.63 c 2112 39498 2009 1 1032.0000 1014.1857 1.76%
2110.05/2116.91 c 2117 39537 2014 1 1032.0000 1014.1898 1.76%
2117.03/2123.94 c 2124 39662 2023 1 1032.0000 1014.1899 1.76%
2122.51/2129.46 c 2129 39743 2026 1 1032.0000 1014.1993 1.76%
2127.89/2134.87 c 2135 39769 2032 1 1032.0000 1014.1993 1.76%
2133.87/2140.80 c 2141 39855 2032 1 1032.0000 1014.2019 1.75%
2139.66/2146.60 c 2147 39940 2047 1 1032.0000 1014.2104 1.75%
2144.85/2151.87 c 2152 40039 2054 1 1032.0000 1014.2118 1.75%
2150.93/2157.95 c 2158 40163 2062 1 1032.0000 1014.2147 1.75%
2156.61/2163.62 c 2164 40235 2064 1 1032.0000 1014.2182 1.75%
2161.69/2168.75 c 2169 40310 2067 1 1032.0000 1014.2303 1.75%
2166.87/2173.95 c 2174 40380 2077 1 1032.0000 1014.2360 1.75%
2172.45/2179.56 c 2180 40513 2086 1 1032.0000 1014.2409 1.75%
2177.84/2184.96 c 2185 40533 2098 1 1032.0000 1014.2459 1.75%
2183.81/2190.92 c 2191 40583 2102 1 1032.0000 1014.2709 1.75%
2189.80/2196.94 c 2197 40684 2115 1 1032.0000 1014.2709 1.75%
2195.89/2203.09 c 2203 40715 2122 1 1032.0000 1014.3004 1.75%
2201.46/2208.69 c 2209 40812 2129 1 1032.0000 1014.3091 1.74%
2206.85/2214.03 c 2214 40878 2135 1 1032.0000 1014.3105 1.74%
2213.42/2220.60 c 2221 40888 2139 1 1032.0000 1014.3121 1.74%
2219.01/2226.29 c 2226 40979 2144 1 1032.0000 1014.3153 1.74%
2224.99/2232.24 c 2232 41046 2157 1 1032.0000 1014.3394 1.74%
2230.47/2237.76 c 2238 41139 2166 1 1032.0000 1014.3669 1.74%
2237.35/2244.66 c 2245 41274 2169 1 1032.0000 1014.3914 1.74%
2242.64/2249.98 c 2250 41330 2181 1 1032.0000 1014.4013 1.73%
2248.42/2255.70 c 2256 41461 2188 1 1032.0000 1014.4155 1.73%
2253.80/2261.16 c 2261 41608 2197 1 1032.0000 1014.4236 1.73%
2259.28/2266.65 c 2267 41713 2196 1 1032.0000 1014.4305 1.73%
2264.46/2271.82 c 2272 41866 2205 1 1032.0000 1014.4305 1.73%
2269.65/2277.04 c 2277 41993 2202 1 1032.0000 1014.4347 1.73%
2275.52/2282.90 c 2283 42086 2209 1 1032.0000 1014.4394 1.73%
2282.30/2289.76 c 2290 42143 2216 1 1032.0000 1014.4699 1.73%
2287.99/2295.40 c 2295 42220 2225 1 1032.0000 1014.4772 1.73%
2293.38/2300.82 c 2301 42379 2236 1 1032.0000 1014.5069 1.72%
2299.05/2306.57 c 2307 42541 2246 1 1032.0000 1014.5096 1.72%
2305.63/2313.13 c 2313 42714 2251 1 1032.0000 1014.5247 1.72%
2312.11/2319.65 c 2320 42773 2262 1 1032.0000 1014.5318 1.72%
2320.09/2327.66 c 2328 42808 2277 1 1032.0000 1014.5454 1.72%
2325.87/2333.44 c 2333 42939 2282 1 1032.0000 1014.5522 1.72%
2332.45/2340.05 c 2340 42975 2288 1 1032.0000 1014.5549 1.72%
2338.32/2345.91 c 2346 43095 2288 1 1032.0000 1014.5599 1.72%
2343.41/2351.02 c 2351 43241 2294 1 1032.0000 1014.5599 1.72%
2348.90/2356.58 c 2357 43373 2306 1 1032.0000 1014.5640 1.72%
2355.38/2363.07 c 2363 43424 2311 1 1032.0000 1014.5643 1.72%
2361.55/2369.23 c 2369 43542 2315 1 1032.0000 1014.5643 1.72%
2366.64/2374.35 c 2374 43614 2321 1 1032.0000 1014.5716 1.72%
2371.92/2379.67 c 2380 43781 2328 1 1032.0000 1014.5753 1.72%
2378.20/2385.99 c 2386 43943 2328 1 1032.0000 1014.5762 1.72%
2383.78/2391.52 c 2392 44086 2337 1 1032.0000 1014.5834 1.72%
2389.66/2397.47 c 2397 44224 2341 1 1032.0000 1014.5964 1.72%
2396.74/2404.53 c 2405 44303 2352 1 1032.0000 1014.6127 1.71%
2402.23/2410.04 c 2410 44355 2364 1 1032.0000 1014.6254 1.71%
2408.00/2415.81 c 2416 44506 2363 1 1032.0000 1014.6254 1.71%
2413.39/2421.23 c 2421 44664 2359 1 1032.0000 1014.6282 1.71%
2418.57/2426.42 c 2426 44785 2366 1 1032.0000 1014.6289 1.71%
2424.16/2432.06 c 2432 44883 2380 1 1032.0000 1014.6321 1.71%
2429.53/2437.44 c 2437 45012 2377 1 1032.0000 1014.6321 1.71%
2436.12/2444.10 c 2444 45093 2392 1 1032.0000 1014.6708 1.71%
2441.30/2449.29 c 2449 45153 2400 1 1032.0000 1014.6714 1.71%
2447.37/2455.32 c 2455 45243 2402 1 1032.0000 1014.6714 1.71%
2452.66/2460.63 c 2461 45288 2409 1 1032.0000 1014.7059 1.70%
2457.84/2465.84 c 2466 45341 2420 1 1032.0000 1014.7164 1.70%
2463.53/2471.52 c 2472 45389 2424 1 1032.0000 1014.7227 1.70%
2469.80/2477.80 c 2478 45513 2424 1 1032.0000 1014.7227 1.70%
2475.29/2483.36 c 2483 45573 2440 1 1032.0000 1014.7520 1.70%
2480.67/2488.70 c 2489 45643 2448 1 1032.0000 1014.7568 1.70%
2485.75/2493.85 c 2494 45774 2457 1 1032.0000 1014.7766 1.70%
2491.53/2499.60 c 2500 45923 2460 1 1032.0000 1014.7824 1.70%
2497.12/2505.21 c 2505 46074 2473 1 1032.0000 1014.7879 1.70%
2502.40/2510.57 c 2511 46223 2480 1 1032.0000 1014.7990 1.70%
2507.68/2515.80 c 2516 46347 2486 1 1032.0000 1014.7990 1.70%
2514.06/2522.22 c 2522 46463 2488 1 1032.0000 1014.8035 1.69%
2519.54/2527.78 c 2528 46548 2501 1 1032.0000 1014.8152 1.69%
2527.31/2535.56 c 2536 46698 2513 1 1032.0000 1014.8226 1.69%
2532.90/2541.18 c 2541 46824 2517 1 1032.0000 1014.8255 1.69%
2538.88/2547.17 c 2547 46931 2524 1 1032.0000 1014.8309 1.69%
2544.56/2552.89 c 2553 47073 2546 1 1032.0000 1014.8354 1.69%
2550.05/2558.37 c 2558 47162 2563 1 1032.0000 1014.8382 1.69%
2555.73/2564.03 c 2564 47319 2562 1 1032.0000 1014.8421 1.69%
2561.71/2570.03 c 2570 47444 2581 1 1032.0000 1014.8693 1.69%
2567.39/2575.79 c 2576 47516 2589 1 1032.0000 1014.8755 1.69%
2572.57/2580.98 c 2581 47641 2606 1 1032.0000 1014.8830 1.69%
2578.55/2586.97 c 2587 47785 2612 1 1032.0000 1014.9060 1.68%
2583.74/2592.12 c 2592 47926 2619 1 1032.0000 1014.9100 1.68%
2588.92/2597.33 c 2597 48073 2618 1 1032.0000 1014.9148 1.68%
2594.00/2602.49 c 2602 48182 2633 1 1032.0000 1014.9218 1.68%
2595.99/2604.46 c * 2604 48218 2635 1 1031.0000 1014.9218 1.58%
2599.88/2608.37 c 2608 48268 2585 1 1031.0000 1014.9219 1.58%
2605.16/2613.62 c 2614 48385 2594 1 1031.0000 1014.9364 1.58%
2610.55/2619.01 c 2619 48543 2606 1 1031.0000 1014.9561 1.58%
2615.63/2624.16 c 2624 48725 2608 1 1031.0000 1014.9561 1.58%
2621.51/2630.07 c 2630 48849 2616 1 1031.0000 1014.9840 1.58%
2627.50/2636.05 c 2636 49014 2631 1 1031.0000 1014.9870 1.58%
2633.48/2642.00 c 2642 49058 2645 1 1031.0000 1014.9964 1.58%
2638.56/2647.19 c 2647 49143 2652 1 1031.0000 1015.0032 1.58%
2644.84/2653.47 c 2653 49224 2657 1 1031.0000 1015.0120 1.58%
2650.52/2659.12 c 2659 49370 2665 1 1031.0000 1015.0121 1.58%
2657.20/2665.86 c 2666 49493 2676 1 1031.0000 1015.0134 1.58%
2662.58/2671.20 c 2671 49585 2682 1 1031.0000 1015.0201 1.57%
2668.47/2677.13 c 2677 49734 2679 1 1031.0000 1015.0293 1.57%
2673.65/2682.30 c 2682 49870 2691 1 1031.0000 1015.0294 1.57%
2679.34/2688.02 c 2688 50002 2695 1 1031.0000 1015.0412 1.57%
2685.32/2694.05 c 2694 50043 2700 1 1031.0000 1015.0499 1.57%
2690.50/2699.29 c 2699 50162 2707 1 1031.0000 1015.0499 1.57%
2695.89/2704.60 c 2705 50240 2715 1 1031.0000 1015.0561 1.57%
2701.37/2710.11 c 2710 50423 2716 1 1031.0000 1015.0561 1.57%
2706.55/2715.35 c 2715 50546 2713 1 1031.0000 1015.0561 1.57%
2709.14/2717.93 c * 2718 50597 2716 1 1030.0000 1015.0561 1.47%
2711.84/2720.65 c 2721 50605 2607 1 1030.0000 1015.0574 1.47%
2716.92/2725.76 c 2726 50695 2621 1 1030.0000 1015.0972 1.47%
2722.90/2731.73 c 2732 50793 2637 1 1030.0000 1015.1151 1.47%
2728.78/2737.65 c 2738 50907 2641 1 1030.0000 1015.1158 1.47%
2734.56/2743.48 c 2743 51055 2643 1 1030.0000 1015.1190 1.47%
2740.64/2749.52 c 2750 51238 2646 1 1030.0000 1015.1199 1.47%
2745.83/2754.71 c 2755 51397 2643 1 1030.0000 1015.1199 1.47%
2750.91/2759.85 c 2760 51499 2659 1 1030.0000 1015.1247 1.47%
2756.10/2765.07 c 2765 51633 2677 1 1030.0000 1015.1247 1.47%
2761.77/2770.71 c 2771 51688 2684 1 1030.0000 1015.1315 1.46%
2763.27/2772.29 c * 2772 51721 2685 1 1029.0000 1015.1315 1.37%
2767.55/2776.57 c 2777 51820 2544 1 1029.0000 1015.1379 1.37%
2772.84/2781.89 c 2782 51865 2555 1 1029.0000 1015.1658 1.36%
2777.92/2786.91 c 2787 51943 2559 1 1029.0000 1015.1898 1.36%
2783.21/2792.21 c 2792 52087 2563 1 1029.0000 1015.1938 1.36%
2788.29/2797.32 c 2797 52146 2572 1 1029.0000 1015.2065 1.36%
2793.87/2802.92 c 2803 52255 2575 1 1029.0000 1015.2094 1.36%
2800.95/2810.08 c 2810 52323 2599 1 1029.0000 1015.2217 1.36%
2806.13/2815.28 c 2815 52413 2609 1 1029.0000 1015.2395 1.36%
2812.31/2821.40 c 2821 52525 2617 1 1029.0000 1015.2442 1.35%
2817.71/2826.89 c 2827 52639 2633 1 1029.0000 1015.2527 1.35%
2823.59/2832.71 c 2833 52754 2636 1 1029.0000 1015.2580 1.35%
2829.37/2838.51 c 2839 52902 2650 1 1029.0000 1015.2596 1.35%
2835.05/2844.26 c 2844 53045 2651 1 1029.0000 1015.2618 1.35%
2840.14/2849.35 c 2849 53183 2659 1 1029.0000 1015.2763 1.35%
2845.72/2854.96 c 2855 53274 2664 1 1029.0000 1015.2763 1.35%
2851.00/2860.21 c 2860 53319 2669 1 1029.0000 1015.2846 1.35%
2856.38/2865.65 c 2866 53426 2672 1 1029.0000 1015.2866 1.35%
2861.96/2871.29 c 2871 53506 2676 1 1029.0000 1015.2884 1.35%
2865.55/2874.87 c * 2875 53593 2679 1 1028.0000 1015.2884 1.25%
2867.75/2877.08 c 2877 53659 2484 1 1028.0000 1015.2921 1.25%
2875.72/2885.06 c 2885 53723 2492 1 1028.0000 1015.3050 1.25%
2880.90/2890.20 c 2890 53851 2498 1 1028.0000 1015.3109 1.25%
2885.89/2895.26 c 2895 53906 2501 1 1028.0000 1015.3148 1.25%
2891.17/2900.52 c 2901 53981 2506 1 1028.0000 1015.3149 1.25%
2898.36/2907.79 c 2908 54133 2506 1 1028.0000 1015.3183 1.25%
2903.54/2912.97 c 2913 54183 2514 1 1028.0000 1015.3293 1.25%
2908.73/2918.10 c 2918 54311 2522 1 1028.0000 1015.3293 1.25%
2914.01/2923.45 c 2923 54453 2520 1 1028.0000 1015.3323 1.25%
2920.69/2930.18 c 2930 54563 2530 1 1028.0000 1015.3421 1.25%
2925.77/2935.24 c 2935 54693 2538 1 1028.0000 1015.3445 1.25%
2931.45/2940.95 c 2941 54805 2540 1 1028.0000 1015.3455 1.25%
2937.33/2946.89 c 2947 54879 2546 1 1028.0000 1015.3501 1.25%
2943.11/2952.63 c 2953 55043 2548 1 1028.0000 1015.3524 1.25%
2948.40/2957.94 c 2958 55202 2547 1 1028.0000 1015.3524 1.25%
2953.49/2963.04 c 2963 55331 2554 1 1028.0000 1015.3582 1.25%
2958.76/2968.30 c 2968 55457 2556 1 1028.0000 1015.3595 1.24%
2964.35/2973.92 c 2974 55548 2561 1 1028.0000 1015.3628 1.24%
2970.23/2979.88 c 2980 55662 2567 1 1028.0000 1015.3635 1.24%
2975.52/2985.19 c 2985 55785 2574 1 1028.0000 1015.3698 1.24%
2981.59/2991.20 c 2991 55919 2566 1 1028.0000 1015.3698 1.24%
2986.97/2996.69 c 2997 56035 2570 1 1028.0000 1015.3698 1.24%
2992.16/3001.84 c 3002 56183 2574 1 1028.0000 1015.3698 1.24%
2998.14/3007.83 c 3008 56327 2578 1 1028.0000 1015.3783 1.24%
3004.13/3013.84 c 3014 56454 2585 1 1028.0000 1015.3807 1.24%
3009.21/3018.98 c 3019 56567 2586 1 1028.0000 1015.3825 1.24%
3014.69/3024.41 c 3024 56636 2597 1 1028.0000 1015.3878 1.24%
3020.47/3030.29 c 3030 56723 2600 1 1028.0000 1015.3935 1.24%
3027.75/3037.54 c 3038 56813 2608 1 1028.0000 1015.3977 1.24%
3035.23/3045.09 c 3045 56943 2614 1 1028.0000 1015.3977 1.24%
3040.80/3050.61 c 3051 57003 2620 1 1028.0000 1015.4000 1.24%
3046.39/3056.20 c 3056 57064 2623 1 1028.0000 1015.4000 1.24%
3052.47/3062.33 c 3062 57158 2623 1 1028.0000 1015.4000 1.24%
3057.85/3067.77 c 3068 57194 2623 1 1028.0000 1015.4100 1.24%
3063.83/3073.71 c 3074 57328 2627 1 1028.0000 1015.4105 1.24%
3069.52/3079.47 c 3079 57421 2636 1 1028.0000 1015.4139 1.24%
3075.10/3085.05 c 3085 57474 2641 1 1028.0000 1015.4221 1.24%
3080.19/3090.16 c 3090 57621 2642 1 1028.0000 1015.4221 1.24%
3085.36/3095.38 c 3095 57704 2649 1 1028.0000 1015.4242 1.24%
3090.75/3100.73 c 3101 57847 2654 1 1028.0000 1015.4260 1.24%
3097.72/3107.71 c 3108 57953 2658 1 1028.0000 1015.4330 1.24%
3102.82/3112.83 c 3113 57996 2663 1 1028.0000 1015.4354 1.24%
3107.80/3117.85 c 3118 58063 2670 1 1028.0000 1015.4511 1.24%
3112.99/3123.02 c 3123 58119 2678 1 1028.0000 1015.4518 1.24%
3119.56/3129.63 c 3130 58253 2674 1 1028.0000 1015.4615 1.23%
3124.95/3135.09 c 3135 58323 2678 1 1028.0000 1015.4648 1.23%
3130.33/3140.46 c 3140 58430 2691 1 1028.0000 1015.4728 1.23%
3136.31/3146.47 c 3146 58512 2699 1 1028.0000 1015.4797 1.23%
3141.59/3151.75 c 3152 58603 2696 1 1028.0000 1015.4878 1.23%
3147.47/3157.69 c 3158 58737 2698 1 1028.0000 1015.5013 1.23%
3152.86/3163.04 c 3163 58857 2706 1 1028.0000 1015.5093 1.23%
3158.24/3168.44 c 3168 59001 2714 1 1028.0000 1015.5223 1.23%
3163.42/3173.61 c 3174 59157 2710 1 1028.0000 1015.5223 1.23%
3168.61/3178.87 c 3179 59302 2707 1 1028.0000 1015.5223 1.23%
3174.09/3184.32 c 3184 59373 2712 1 1028.0000 1015.5360 1.23%
3180.57/3190.86 c 3191 59473 2722 1 1028.0000 1015.5543 1.23%
3185.95/3196.26 c 3196 59599 2728 1 1028.0000 1015.5601 1.22%
3191.84/3202.11 c 3202 59681 2734 1 1028.0000 1015.5620 1.22%
3197.82/3208.16 c 3208 59808 2741 1 1028.0000 1015.5749 1.22%
3202.90/3213.21 c 3213 59913 2752 1 1028.0000 1015.5818 1.22%
3208.79/3219.17 c 3219 60046 2763 1 1028.0000 1015.5900 1.22%
3214.77/3225.14 c 3225 60193 2762 1 1028.0000 1015.5921 1.22%
3219.94/3230.32 c 3230 60347 2766 1 1028.0000 1015.5921 1.22%
3225.93/3236.35 c 3236 60415 2776 1 1028.0000 1015.6160 1.22%
3231.61/3242.06 c 3242 60483 2782 1 1028.0000 1015.6287 1.22%
3236.79/3247.21 c 3247 60543 2792 1 1028.0000 1015.6317 1.22%
3241.98/3252.40 c 3252 60594 2797 1 1028.0000 1015.6323 1.22%
3247.16/3257.66 c 3258 60726 2803 1 1028.0000 1015.6323 1.22%
3253.04/3263.58 c 3264 60885 2812 1 1028.0000 1015.6335 1.22%
3258.32/3268.82 c 3269 61026 2821 1 1028.0000 1015.6362 1.22%
3263.51/3274.10 c 3274 61103 2830 1 1028.0000 1015.6451 1.22%
3268.99/3279.59 c 3280 61183 2838 1 1028.0000 1015.6569 1.22%
3274.37/3284.95 c 3285 61245 2844 1 1028.0000 1015.6573 1.22%
3279.47/3290.03 c 3290 61407 2842 1 1028.0000 1015.6616 1.21%
3285.24/3295.89 c 3296 61559 2846 1 1028.0000 1015.6622 1.21%
3291.43/3302.07 c 3302 61683 2844 1 1028.0000 1015.6667 1.21%
3297.30/3307.93 c 3308 61839 2854 1 1028.0000 1015.6673 1.21%
3302.89/3313.50 c 3314 61976 2865 1 1028.0000 1015.6684 1.21%
3309.37/3320.02 c 3320 62114 2869 1 1028.0000 1015.6784 1.21%
3315.04/3325.77 c 3326 62140 2875 1 1028.0000 1015.6833 1.21%
3320.23/3330.95 c 3331 62253 2884 1 1028.0000 1015.6925 1.21%
3326.11/3336.83 c 3337 62364 2893 1 1028.0000 1015.6958 1.21%
3331.40/3342.13 c 3342 62527 2898 1 1028.0000 1015.6958 1.21%
3336.57/3347.36 c 3347 62693 2896 1 1028.0000 1015.6958 1.21%
3341.95/3352.79 c 3353 62792 2899 1 1028.0000 1015.7009 1.21%
3347.83/3358.65 c 3359 62872 2911 1 1028.0000 1015.7175 1.21%
3353.72/3364.51 c 3365 62958 2917 1 1028.0000 1015.7202 1.21%
3359.01/3369.84 c 3370 63110 2921 1 1028.0000 1015.7692 1.20%
3364.99/3375.89 c 3376 63183 2924 1 1028.0000 1015.7757 1.20%
3370.18/3381.03 c 3381 63293 2932 1 1028.0000 1015.7964 1.20%
3375.16/3386.08 c 3386 63414 2945 1 1028.0000 1015.8038 1.20%
3381.44/3392.39 c 3392 63533 2944 1 1028.0000 1015.8166 1.20%
3386.62/3397.52 c 3398 63693 2944 1 1028.0000 1015.8166 1.20%
3392.20/3403.18 c 3403 63839 2944 1 1028.0000 1015.8166 1.20%
3397.98/3408.94 c 3409 63946 2941 1 1028.0000 1015.8229 1.20%
3403.27/3414.21 c 3414 64013 2946 1 1028.0000 1015.8323 1.20%
3408.45/3419.43 c 3419 64065 2950 1 1028.0000 1015.8367 1.20%
3413.53/3424.51 c 3425 64196 2955 1 1028.0000 1015.8367 1.20%
3418.61/3429.60 c 3430 64271 2958 1 1028.0000 1015.8405 1.20%
3423.80/3434.80 c 3435 64433 2958 1 1028.0000 1015.8405 1.20%
3428.88/3439.97 c 3440 64552 2959 1 1028.0000 1015.8454 1.20%
3434.16/3445.26 c 3445 64683 2964 1 1028.0000 1015.8557 1.20%
3439.85/3450.91 c 3451 64745 2968 1 1028.0000 1015.8560 1.20%
3445.34/3456.47 c 3456 64871 2978 1 1028.0000 1015.8633 1.19%
3451.81/3462.92 c 3463 64964 2987 1 1028.0000 1015.8898 1.19%
3456.90/3468.09 c 3468 65100 2989 1 1028.0000 1015.8898 1.19%
3462.48/3473.68 c 3474 65211 2998 1 1028.0000 1015.8939 1.19%
3468.96/3480.13 c 3480 65303 3004 1 1028.0000 1015.8955 1.19%
3474.14/3485.33 c 3485 65451 3006 1 1028.0000 1015.8955 1.19%
3479.22/3490.45 c 3490 65573 3012 1 1028.0000 1015.9001 1.19%
3484.80/3496.00 c 3496 65661 3016 1 1028.0000 1015.9062 1.19%
3490.48/3501.70 c 3502 65780 3023 1 1028.0000 1015.9079 1.19%
3495.56/3506.84 c 3507 65923 3022 1 1028.0000 1015.9079 1.19%
3501.05/3512.38 c 3512 66071 3026 1 1028.0000 1015.9104 1.19%
3506.84/3518.15 c 3518 66175 3030 1 1028.0000 1015.9264 1.19%
3512.02/3523.35 c 3523 66333 3028 1 1028.0000 1015.9264 1.19%
3517.90/3529.22 c 3529 66464 3033 1 1028.0000 1015.9401 1.19%
3523.08/3534.42 c 3534 66579 3042 1 1028.0000 1015.9469 1.19%
3528.96/3540.36 c 3540 66655 3050 1 1028.0000 1015.9516 1.19%
3534.24/3545.62 c 3546 66794 3057 1 1028.0000 1015.9688 1.18%
3540.12/3551.54 c 3552 66940 3059 1 1028.0000 1015.9719 1.18%
3545.40/3556.86 c 3557 67074 3063 1 1028.0000 1015.9719 1.18%
3550.49/3561.94 c 3562 67141 3066 1 1028.0000 1015.9737 1.18%
3555.87/3567.31 c 3567 67282 3071 1 1028.0000 1015.9737 1.18%
3560.86/3572.35 c 3572 67408 3075 1 1028.0000 1015.9773 1.18%
3566.54/3578.05 c 3578 67483 3082 1 1028.0000 1015.9810 1.18%
3571.82/3583.32 c 3583 67589 3088 1 1028.0000 1015.9820 1.18%
3577.00/3588.50 c 3589 67744 3087 1 1028.0000 1015.9820 1.18%
3584.18/3595.71 c 3596 67804 3089 1 1028.0000 1015.9903 1.18%
3588.47/3600.08 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.47/3600.08 c Total Time : 3600.09
3588.47/3600.08 c solving : 3600.09
3588.47/3600.08 c presolving : 0.04 (included in solving)
3588.47/3600.08 c B&B Tree :
3588.47/3600.08 c nodes (total) : 1
3588.47/3600.08 c Solution :
3588.47/3600.08 c Solutions found : 22
3588.47/3600.08 c Primal Bound : +1.02800000000000e+03
3588.47/3600.08 c Dual Bound : +1.01599025132229e+03
3588.47/3600.08 c Gap : 1.18207 %
3588.47/3600.08 c * Warning: final gap: 1.18207e-02 is greater than SCIPepsilon: 1.00000e-09
3588.47/3600.08 o 1028
3588.47/3600.08 s SATISFIABLE
3588.47/3600.08 v x1964 x1963 x1962 -x1961 x1960 x1959 x1958 -x1957 x1956 x1955 -x1954 x1953 x1952 -x1951 -x1950 -x1949 x1948 x1947 x1946 -x1945
3588.47/3600.08 v -x1944 x1943 x1942 -x1941 -x1940 x1939 -x1938 x1937 x1936 -x1935 -x1934 -x1933 -x1932 -x1931 x1930 -x1929 x1928 -x1927 -x1926
3588.47/3600.08 v x1925 x1924 x1923 x1922 -x1921 x1920 x1919 x1918 -x1917 -x1916 -x1915 -x1914 -x1913 x1912 -x1911 x1910 x1909 x1908 x1907 x1906
3588.47/3600.08 v x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 x1898 x1897 -x1896 x1895 x1894 x1893 -x1892 -x1891 x1890 -x1889 -x1888 x1887
3588.47/3600.08 v x1886 -x1885 -x1884 x1883 x1882 -x1881 -x1880 x1879 x1878 -x1877 x1876 x1875 x1874 -x1873 -x1872 x1871 -x1870 -x1869 x1868
3588.47/3600.08 v x1867 -x1866 x1865 x1864 x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 x1856 x1855 -x1854 -x1853 -x1852 -x1851 -x1850 x1849
3588.47/3600.08 v -x1848 x1847 -x1846 -x1845 -x1844 -x1843 x1842 -x1841 x1840 x1839 -x1838 x1837 x1836 -x1835 -x1834 x1833 -x1832 x1831 -x1830
3588.47/3600.08 v -x1829 x1828 x1827 -x1826 x1825 x1824 -x1823 x1822 -x1821 -x1820 x1819 x1818 -x1817 x1816 -x1815 -x1814 -x1813 x1812 x1811
3588.47/3600.08 v x1810 -x1809 -x1808 -x1807 x1806 x1805 x1804 -x1803 -x1802 -x1801 x1800 x1799 -x1798 x1797 -x1796 x1795 x1794 -x1793 x1792 x1791
3588.47/3600.08 v -x1790 x1789 -x1788 x1787 -x1786 -x1785 x1784 -x1783 -x1782 x1781 -x1780 x1779 x1778 -x1777 -x1776 x1775 x1774 -x1773 -x1772
3588.47/3600.08 v -x1771 x1770 x1769 x1768 x1767 -x1766 x1765 -x1764 -x1763 -x1762 -x1761 x1760 -x1759 -x1758 -x1757 x1756 -x1755 x1754 x1753
3588.47/3600.08 v -x1752 x1751 x1750 -x1749 x1748 x1747 x1746 x1745 x1744 x1743 x1742 -x1741 -x1740 x1739 x1738 x1737 -x1736 x1735 x1734 -x1733
3588.47/3600.08 v x1732 x1731 x1730 -x1729 x1728 x1727 x1726 -x1725 -x1724 x1723 -x1722 x1721 -x1720 x1719 -x1718 -x1717 -x1716 x1715 x1714
3588.47/3600.08 v -x1713 x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 x1705 x1704 -x1703 -x1702 x1701 -x1700 -x1699 -x1698 -x1697 x1696 x1695
3588.47/3600.08 v x1694 -x1693 -x1692 x1691 x1690 -x1689 -x1688 x1687 -x1686 x1685 x1684 -x1683 -x1682 x1681 -x1680 x1679 -x1678 -x1677 x1676
3588.47/3600.08 v x1675 x1674 x1673 -x1672 x1671 x1670 x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 x1662 x1661 x1660 x1659 -x1658 x1657 x1656
3588.47/3600.08 v x1655 -x1654 x1653 -x1652 -x1651 -x1650 -x1649 -x1648 x1647 x1646 x1645 x1644 -x1643 -x1642 -x1641 x1640 x1639 x1638 -x1637
3588.47/3600.08 v x1636 -x1635 x1634 -x1633 x1632 -x1631 x1630 -x1629 -x1628 -x1627 x1626 -x1625 -x1624 -x1623 -x1622 x1621 x1620 x1619 -x1618
3588.47/3600.08 v x1617 -x1616 -x1615 x1614 x1613 x1612 x1611 -x1610 x1609 x1608 -x1607 -x1606 -x1605 x1604 x1603 x1602 -x1601 -x1600 -x1599
3588.47/3600.08 v -x1598 -x1597 x1596 -x1595 x1594 x1593 -x1592 x1591 x1590 x1589 -x1588 x1587 x1586 -x1585 -x1584 -x1583 x1582 -x1581 x1580
3588.47/3600.08 v x1579 x1578 x1577 -x1576 x1575 x1574 x1573 -x1572 x1571 x1570 x1569 -x1568 x1567 -x1566 -x1565 x1564 -x1563 x1562 x1561 -x1560
3588.47/3600.08 v x1559 x1558 x1557 -x1556 x1555 x1554 -x1553 -x1552 -x1551 x1550 -x1549 x1548 x1547 x1546 -x1545 -x1544 x1543 x1542 -x1541 -x1540
3588.47/3600.08 v -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 x1533 -x1532 x1531 -x1530 -x1529 x1528 -x1527 x1526 x1525 x1524 x1523 -x1522
3588.47/3600.08 v -x1521 x1520 -x1519 x1518 -x1517 -x1516 -x1515 -x1514 x1513 -x1512 -x1511 -x1510 x1509 -x1508 -x1507 x1506 -x1505 -x1504 x1503
3588.47/3600.08 v -x1502 -x1501 x1500 x1499 x1498 -x1497 x1496 -x1495 x1494 x1493 -x1492 x1491 x1490 x1489 x1488 x1487 x1486 x1485 x1484 x1483
3588.47/3600.08 v x1482 x1481 -x1480 x1479 x1478 x1477 x1476 x1475 -x1474 -x1473 -x1472 -x1471 x1470 -x1469 x1468 x1467 -x1466 -x1465 x1464 -x1463
3588.47/3600.08 v -x1462 x1461 x1460 x1459 -x1458 -x1457 x1456 -x1455 -x1454 x1453 -x1452 x1451 -x1450 -x1449 -x1448 -x1447 x1446 x1445 x1444
3588.47/3600.08 v x1443 -x1442 -x1441 x1440 x1439 x1438 x1437 x1436 -x1435 x1434 -x1433 -x1432 x1431 x1430 -x1429 -x1428 x1427 x1426 -x1425
3588.47/3600.08 v -x1424 x1423 -x1422 x1421 -x1420 x1419 -x1418 -x1417 -x1416 x1415 -x1414 -x1413 -x1412 -x1411 x1410 x1409 x1408 x1407 -x1406
3588.47/3600.08 v x1405 x1404 -x1403 x1402 -x1401 x1400 x1399 -x1398 x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 x1389 x1388 -x1387
3588.47/3600.08 v -x1386 -x1385 x1384 x1383 -x1382 x1381 x1380 -x1379 x1378 x1377 x1376 x1375 -x1374 x1373 -x1372 -x1371 -x1370 x1369 x1368 x1367
3588.47/3600.08 v x1366 x1365 x1364 x1363 -x1362 x1361 x1360 -x1359 -x1358 x1357 -x1356 -x1355 x1354 -x1353 x1352 -x1351 -x1350 -x1349 x1348
3588.47/3600.08 v x1347 x1346 x1345 x1344 -x1343 x1342 x1341 -x1340 x1339 x1338 x1337 -x1336 x1335 -x1334 -x1333 x1332 x1331 x1330 -x1329 -x1328
3588.47/3600.08 v x1327 x1326 x1325 x1324 x1323 -x1322 x1321 x1320 -x1319 -x1318 -x1317 x1316 x1315 x1314 x1313 -x1312 x1311 x1310 x1309 x1308
3588.47/3600.08 v -x1307 x1306 -x1305 -x1304 x1303 x1302 -x1301 x1300 x1299 x1298 -x1297 x1296 -x1295 -x1294 -x1293 -x1292 -x1291 x1290 -x1289
3588.47/3600.08 v x1288 x1287 -x1286 -x1285 -x1284 x1283 x1282 x1281 x1280 -x1279 -x1278 x1277 x1276 -x1275 -x1274 -x1273 x1272 x1271 -x1270
3588.47/3600.08 v x1269 -x1268 x1267 x1266 x1265 x1264 x1263 x1262 x1261 x1260 x1259 -x1258 x1257 -x1256 -x1255 x1254 x1253 x1252 x1251 -x1250
3588.47/3600.08 v x1249 -x1248 -x1247 x1246 x1245 x1244 x1243 -x1242 x1241 -x1240 x1239 -x1238 -x1237 -x1236 x1235 -x1234 -x1233 x1232 x1231
3588.47/3600.08 v -x1230 -x1229 -x1228 x1227 x1226 -x1225 -x1224 x1223 -x1222 -x1221 -x1220 x1219 -x1218 -x1217 -x1216 x1215 x1214 x1213 -x1212
3588.47/3600.08 v -x1211 x1210 x1209 -x1208 -x1207 -x1206 -x1205 -x1204 x1203 x1202 x1201 -x1200 x1199 x1198 x1197 x1196 x1195 x1194 x1193 x1192
3588.47/3600.08 v x1191 -x1190 -x1189 x1188 -x1187 -x1186 x1185 x1184 -x1183 x1182 x1181 -x1180 x1179 -x1178 x1177 -x1176 -x1175 -x1174 -x1173
3588.47/3600.08 v -x1172 -x1171 x1170 -x1169 x1168 x1167 x1166 -x1165 -x1164 -x1163 x1162 -x1161 -x1160 x1159 x1158 x1157 x1156 x1155 x1154
3588.47/3600.08 v -x1153 -x1152 x1151 x1150 x1149 x1148 x1147 -x1146 -x1145 -x1144 x1143 x1142 x1141 -x1140 x1139 x1138 -x1137 -x1136 x1135 -x1134
3588.47/3600.08 v -x1133 -x1132 -x1131 -x1130 x1129 -x1128 -x1127 -x1126 x1125 -x1124 -x1123 -x1122 x1121 -x1120 x1119 -x1118 x1117 -x1116
3588.47/3600.08 v x1115 x1114 x1113 -x1112 -x1111 x1110 -x1109 -x1108 -x1107 x1106 x1105 -x1104 x1103 x1102 -x1101 -x1100 -x1099 -x1098 x1097
3588.47/3600.08 v -x1096 x1095 -x1094 x1093 x1092 x1091 -x1090 -x1089 x1088 -x1087 -x1086 x1085 -x1084 x1083 x1082 -x1081 -x1080 -x1079 x1078 -x1077
3588.47/3600.08 v x1076 x1075 x1074 -x1073 -x1072 -x1071 -x1070 x1069 -x1068 x1067 -x1066 -x1065 x1064 -x1063 x1062 x1061 -x1060 x1059 -x1058
3588.47/3600.08 v -x1057 x1056 x1055 -x1054 -x1053 x1052 -x1051 x1050 x1049 -x1048 -x1047 -x1046 x1045 x1044 -x1043 x1042 x1041 x1040 x1039
3588.47/3600.08 v -x1038 -x1037 -x1036 x1035 -x1034 -x1033 x1032 x1031 -x1030 -x1029 x1028 x1027 -x1026 x1025 x1024 x1023 -x1022 x1021 -x1020
3588.47/3600.08 v x1019 x1018 -x1017 x1016 -x1015 x1014 x1013 x1012 -x1011 x1010 x1009 x1008 -x1007 x1006 x1005 -x1004 -x1003 -x1002 x1001 x1000
3588.47/3600.08 v -x999 -x998 x997 x996 -x995 x994 x993 -x992 -x991 x990 x989 x988 x987 -x986 -x985 -x984 x983 -x982 x981 -x980 -x979 x978 x977
3588.47/3600.08 v x976 -x975 x974 -x973 x972 x971 -x970 x969 x968 x967 -x966 x965 x964 -x963 x962 x961 -x960 x959 -x958 -x957 -x956 x955 x954
3588.47/3600.08 v -x953 -x952 x951 -x950 x949 -x948 x947 -x946 x945 x944 x943 -x942 -x941 -x940 x939 -x938 x937 x936 -x935 -x934 x933 x932 x931
3588.47/3600.08 v -x930 -x929 x928 x927 x926 x925 -x924 x923 x922 -x921 -x920 x919 x918 -x917 -x916 x915 x914 x913 x912 x911 x910 -x909 -x908
3588.47/3600.08 v x907 -x906 -x905 -x904 -x903 x902 -x901 -x900 x899 -x898 -x897 -x896 x895 -x894 -x893 -x892 x891 x890 -x889 x888 x887 -x886
3588.47/3600.08 v -x885 -x884 -x883 x882 x881 -x880 x879 x878 -x877 -x876 x875 -x874 -x873 x872 x871 -x870 -x869 x868 -x867 -x866 -x865 -x864
3588.47/3600.08 v x863 -x862 x861 -x860 x859 -x858 -x857 -x856 x855 -x854 x853 -x852 x851 x850 x849 -x848 -x847 -x846 x845 x844 x843 -x842 x841
3588.47/3600.08 v x840 x839 x838 x837 -x836 x835 -x834 x833 x832 -x831 -x830 x829 -x828 x827 x826 -x825 -x824 x823 -x822 -x821 x820 -x819 -x818
3588.47/3600.08 v -x817 -x816 -x815 x814 x813 x812 x811 -x810 x809 x808 -x807 x806 -x805 x804 x803 x802 -x801 -x800 -x799 x798 x797 -x796 -x795
3588.47/3600.08 v x794 x793 x792 x791 x790 x789 x788 x787 x786 x785 x784 x783 -x782 x781 x780 x779 x778 -x777 -x776 -x775 -x774 -x773 -x772
3588.47/3600.08 v -x771 -x770 x769 x768 -x767 x766 x765 x764 x763 x762 x761 x760 x759 -x758 -x757 x756 x755 x754 -x753 -x752 x751 -x750 x749 x748
3588.47/3600.08 v -x747 -x746 x745 x744 -x743 x742 x741 x740 x739 -x738 -x737 x736 x735 -x734 x733 x732 -x731 -x730 x729 x728 -x727 -x726 x725
3588.47/3600.08 v x724 x723 x722 x721 x720 x719 x718 -x717 x716 -x715 x714 -x713 x712 x711 x710 x709 -x708 -x707 x706 x705 x704 -x703 x702
3588.47/3600.08 v -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 x690 x689 x688 -x687 x686 -x685 x684 -x683 x682 -x681 -x680
3588.47/3600.09 v x679 x678 -x677 -x676 x675 -x674 -x673 x672 x671 x670 x669 -x668 x667 -x666 x665 x664 -x663 x662 x661 x660 x659 x658 -x657 -x656
3588.47/3600.09 v -x655 -x654 -x653 x652 x651 x650 -x649 x648 -x647 x646 -x645 -x644 -x643 x642 x641 x640 x639 x638 -x637 x636 -x635 x634
3588.47/3600.09 v -x633 -x632 x631 -x630 -x629 x628 x627 x626 x625 -x624 x623 x622 -x621 -x620 x619 x618 x617 x616 x615 -x614 -x613 x612 -x611
3588.47/3600.09 v x610 x609 -x608 -x607 x606 x605 -x604 -x603 x602 x601 -x600 x599 x598 x597 -x596 x595 x594 x593 -x592 -x591 -x590 -x589 -x588
3588.47/3600.09 v x587 x586 -x585 -x584 -x583 x582 -x581 x580 x579 -x578 x577 x576 x575 -x574 x573 -x572 -x571 -x570 -x569 x568 -x567 -x566 x565
3588.47/3600.09 v x564 x563 x562 -x561 x560 x559 -x558 -x557 x556 -x555 x554 x553 x552 -x551 x550 x549 -x548 x547 x546 x545 -x544 -x543 -x542
3588.47/3600.09 v x541 x540 x539 -x538 x537 -x536 x535 -x534 -x533 -x532 x531 -x530 -x529 x528 x527 x526 x525 x524 x523 x522 x521 -x520 x519
3588.47/3600.09 v -x518 -x517 x516 -x515 x514 -x513 x512 x511 -x510 -x509 x508 -x507 x506 x505 x504 x503 x502 -x501 -x500 -x499 -x498 x497 -x496
3588.47/3600.09 v -x495 -x494 -x493 x492 -x491 -x490 -x489 -x488 -x487 x486 x485 x484 x483 -x482 -x481 x480 x479 x478 x477 x476 -x475 -x474 -x473
3588.47/3600.09 v x472 x471 -x470 -x469 x468 -x467 -x466 x465 x464 x463 x462 x461 x460 -x459 -x458 -x457 -x456 -x455 -x454 x453 -x452 x451
3588.47/3600.09 v x450 x449 x448 x447 -x446 -x445 x444 x443 x442 -x441 x440 -x439 x438 x437 x436 x435 x434 x433 x432 -x431 x430 -x429 x428 x427
3588.47/3600.09 v x426 x425 x424 x423 x422 x421 x420 x419 x418 x417 x416 -x415 -x414 -x413 -x412 x411 -x410 x409 x408 -x407 -x406 -x405 -x404
3588.47/3600.09 v -x403 -x402 x401 x400 x399 -x398 x397 x396 -x395 -x394 -x393 x392 x391 -x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 x382 -x381
3588.47/3600.09 v x380 x379 x378 -x377 x376 -x375 -x374 -x373 x372 -x371 x370 -x369 -x368 x367 -x366 x365 x364 -x363 x362 -x361 x360 x359
3588.47/3600.09 v -x358 -x357 x356 x355 x354 -x353 -x352 x351 x350 -x349 x348 -x347 -x346 -x345 -x344 x343 -x342 -x341 -x340 x339 -x338 x337 -x336
3588.47/3600.09 v -x335 x334 -x333 x332 -x331 x330 -x329 x328 x327 x326 -x325 -x324 -x323 x322 x321 -x320 -x319 -x318 x317 -x316 x315 -x314
3588.47/3600.09 v -x313 -x312 -x311 x310 x309 -x308 -x307 -x306 x305 -x304 -x303 x302 -x301 -x300 -x299 x298 x297 x296 x295 x294 x293 -x292 -x291
3588.47/3600.09 v -x290 -x289 x288 x287 x286 -x285 x284 x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 x271 x270 x269
3588.47/3600.09 v -x268 x267 x266 x265 x264 -x263 x262 x261 x260 x259 x258 x257 x256 -x255 -x254 x253 -x252 x251 x250 -x249 x248 -x247 x246 -x245
3588.47/3600.09 v x244 x243 x242 x241 -x240 -x239 -x238 -x237 x236 x235 -x234 x233 x232 x231 -x230 x229 x228 x227 x226 x225 x224 -x223 -x222
3588.47/3600.09 v -x221 x220 x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 x211 -x210 -x209 x208 -x207 x206 x205 x204 x203 x202 -x201 x200 x199
3588.47/3600.09 v -x198 x197 -x196 -x195 -x194 x193 x192 -x191 x190 x189 x188 x187 x186 x185 -x184 x183 -x182 x181 x180 -x179 x178 -x177 x176
3588.47/3600.09 v -x175 x174 -x173 x172 -x171 x170 -x169 -x168 -x167 -x166 x165 -x164 x163 -x162 -x161 -x160 x159 x158 -x157 -x156 -x155 x154
3588.47/3600.09 v -x153 -x152 x151 x150 x149 -x148 -x147 x146 -x145 -x144 -x143 x142 x141 -x140 -x139 x138 -x137 x136 x135 -x134 x133 x132 x131
3588.47/3600.09 v -x130 x129 -x128 -x127 -x126 x125 x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 x116 -x115 -x114 -x113 x112 x111 -x110 x109
3588.47/3600.09 v -x108 x107 -x106 -x105 x104 -x103 x102 x101 -x100 x99 -x98 x97 -x96 x95 x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 x84 -x83
3588.47/3600.09 v x82 -x81 -x80 -x79 x78 x77 x76 x75 x74 x73 x72 -x71 x70 -x69 -x68 -x67 -x66 x65 -x64 x63 x62 -x61 -x60 x59 -x58 x57 x56 -x55
3588.47/3600.09 v x54 -x53 x52 x51 x50 -x49 x48 x47 x46 x45 -x44 x43 x42 x41 -x40 x39 -x38 x37 -x36 -x35 -x34 -x33 x32 -x31 -x30 -x29 x28 -x27
3588.47/3600.09 v x26 -x25 -x24 x23 -x22 -x21 x20 -x19 x18 x17 -x16 x15 -x14 -x13 -x12 x11 -x10 x9 -x8 x7 x6 x5 x4 x3 x2 -x1
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 (63042 MiB free)
memory of node 1: 64473 MiB (63437 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434653-1721082413/watcher-4434653-1721082413 -o /tmp/evaluation-result-4434653-1721082413/solver-4434653-1721082413 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721082425-843388 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434653-1721082413.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=843445, runsolver pid=843434
Current StackSize limit: 8192 KiB
[startup+0.101048 s]*
/proc/loadavg: 1.19 2.11 3.20 8/266 843460
/proc/meminfo: memFree=129379128/131524600 swapFree=131071996/131071996
[pid=843445] ppid=843434 vsize=131236 memory=44848 CPUtime=0.1 cores=0,2
/proc/843445/stat : 843445 (fscip) S 843434 843445 843378 0 -1 1077936128 9847 0 0 0 9 1 0 0 20 0 3 0 160403706 134385664 11212 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
/proc/843445/statm: 32809 11212 2782 3032 0 15215 0
[pid=843445/tid=843453] ppid=843434 vsize=131236 memory=4026531971 CPUtime=0.03 cores=0,2
/proc/843445/task/843453/stat : 843453 (fscip) R 843434 843445 843378 0 -1 4194368 3742 0 0 0 3 0 0 0 20 0 3 0 160403712 134385664 11212 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
[pid=843445/tid=843457] ppid=843434 vsize=131236 memory=16956 CPUtime=0 cores=0,2
/proc/843445/task/843457/stat : 843457 (fscip) S 843434 843445 843378 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160403713 134385664 11212 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 131236 KiB
Current children cumulated memory: 44848 KiB
[startup+0.214065 s]*
/proc/loadavg: 1.19 2.11 3.20 6/266 843460
/proc/meminfo: memFree=129350596/131524600 swapFree=131071996/131071996
[pid=843445] ppid=843434 vsize=132260 memory=52636 CPUtime=0.2 cores=0,2
/proc/843445/stat : 843445 (fscip) S 843434 843445 843378 0 -1 1077936128 11673 0 0 0 18 2 0 0 20 0 3 0 160403706 135434240 13159 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
/proc/843445/statm: 33065 13159 2894 3032 0 16988 0
[pid=843445/tid=843453] ppid=843434 vsize=132260 memory=664970851429515395 CPUtime=0.14 cores=0,2
/proc/843445/task/843453/stat : 843453 (fscip) R 843434 843445 843378 0 -1 4194368 5568 0 0 0 13 1 0 0 20 0 3 0 160403712 135434240 13159 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
[pid=843445/tid=843457] ppid=843434 vsize=132260 memory=16956 CPUtime=0 cores=0,2
/proc/843445/task/843457/stat : 843457 (fscip) S 843434 843445 843378 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160403713 135434240 13159 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 132260 KiB
Current children cumulated memory: 52636 KiB
[startup+0.306051 s]*
/proc/loadavg: 1.19 2.11 3.20 7/266 843460
/proc/meminfo: memFree=129349628/131524600 swapFree=131071996/131071996
[pid=843445] ppid=843434 vsize=132260 memory=52636 CPUtime=0.29 cores=0,2
/proc/843445/stat : 843445 (fscip) S 843434 843445 843378 0 -1 1077936128 11674 0 0 0 27 2 0 0 20 0 3 0 160403706 135434240 13159 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
/proc/843445/statm: 33065 13159 2894 3032 0 16988 0
[pid=843445/tid=843453] ppid=843434 vsize=132260 memory=-6514009816462179174 CPUtime=0.23 cores=0,2
/proc/843445/task/843453/stat : 843453 (fscip) R 843434 843445 843378 0 -1 4194368 5569 0 0 0 22 1 0 0 20 0 3 0 160403712 135434240 13159 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
[pid=843445/tid=843457] ppid=843434 vsize=132260 memory=0 CPUtime=0 cores=0,2
/proc/843445/task/843457/stat : 843457 (fscip) S 843434 843445 843378 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160403713 135434240 13159 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 132260 KiB
Current children cumulated memory: 52636 KiB
[startup+0.700194 s]
/proc/loadavg: 1.19 2.11 3.20 8/266 843460
/proc/meminfo: memFree=129333968/131524600 swapFree=131071996/131071996
[pid=843445] ppid=843434 vsize=133716 memory=56640 CPUtime=0.68 cores=0,2
/proc/843445/stat : 843445 (fscip) S 843434 843445 843378 0 -1 1077936128 12651 0 0 0 66 2 0 0 20 0 3 0 160403706 136925184 14160 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
/proc/843445/statm: 33429 14160 2910 3032 0 18066 0
[pid=843445/tid=843453] ppid=843434 vsize=133716 memory=0 CPUtime=0.61 cores=0,2
/proc/843445/task/843453/stat : 843453 (fscip) R 843434 843445 843378 0 -1 4194368 6546 0 0 0 60 1 0 0 20 0 3 0 160403712 136925184 14160 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
[pid=843445/tid=843457] ppid=843434 vsize=133716 memory=0 CPUtime=0 cores=0,2
/proc/843445/task/843457/stat : 843457 (fscip) S 843434 843445 843378 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160403713 136925184 14160 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 133716 KiB
Current children cumulated memory: 56640 KiB
[startup+1.5002 s]
/proc/loadavg: 1.19 2.11 3.20 7/266 843460
/proc/meminfo: memFree=129330188/131524600 swapFree=131071996/131071996
[pid=843445] ppid=843434 vsize=133716 memory=58892 CPUtime=1.48 cores=0,2
/proc/843445/stat : 843445 (fscip) S 843434 843445 843378 0 -1 1077936128 16985 0 0 0 146 2 0 0 20 0 3 0 160403706 136925184 14723 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
/proc/843445/statm: 33429 14723 2910 3032 0 18830 0
[pid=843445/tid=843453] ppid=843434 vsize=133716 memory=0 CPUtime=1.41 cores=0,2
/proc/843445/task/843453/stat : 843453 (fscip) R 843434 843445 843378 0 -1 4194368 10880 0 0 0 140 1 0 0 20 0 3 0 160403712 136925184 14723 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
[pid=843445/tid=843457] ppid=843434 vsize=133716 memory=0 CPUtime=0 cores=0,2
/proc/843445/task/843457/stat : 843457 (fscip) S 843434 843445 843378 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160403713 136925184 14723 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 133716 KiB
Current children cumulated memory: 58892 KiB
[startup+3.10625 s]
/proc/loadavg: 1.19 2.11 3.20 7/266 843462
/proc/meminfo: memFree=129220780/131524600 swapFree=131071996/131071996
[pid=843445] ppid=843434 vsize=150128 memory=88560 CPUtime=3.08 cores=0,2
/proc/843445/stat : 843445 (fscip) S 843434 843445 843378 0 -1 1077936128 24506 0 0 0 305 3 0 0 20 0 3 0 160403706 153731072 22140 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
/proc/843445/statm: 37532 22140 2910 3032 0 26438 0
[pid=843445/tid=843453] ppid=843434 vsize=150128 memory=0 CPUtime=3.01 cores=0,2
/proc/843445/task/843453/stat : 843453 (fscip) R 843434 843445 843378 0 -1 4194368 18399 0 0 0 299 2 0 0 20 0 3 0 160403712 153731072 22140 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
[pid=843445/tid=843457] ppid=843434 vsize=150128 memory=2273 CPUtime=0 cores=0,2
/proc/843445/task/843457/stat : 843457 (fscip) S 843434 843445 843378 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 160403713 153731072 22140 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 150128 KiB
Current children cumulated memory: 88560 KiB
[startup+6.30018 s]
/proc/loadavg: 1.41 2.15 3.20 7/266 843462
/proc/meminfo: memFree=129070644/131524600 swapFree=131071996/131071996
[pid=843445] ppid=843434 vsize=161472 memory=124908 CPUtime=6.26 cores=0,2
/proc/843445/stat : 843445 (fscip) S 843434 843445 843378 0 -1 1077936128 46563 0 0 0 621 5 0 0 20 0 3 0 160403706 165347328 31227 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
/proc/843445/statm: 40368 31227 2910 3032 0 35889 0
[pid=843445/tid=843453] ppid=843434 vsize=161472 memory=0 CPUtime=6.19 cores=0,2
/proc/843445/task/843453/stat : 843453 (fscip) R 843434 843445 843378 0 -1 4194368 40454 0 0 0 615 4 0 0 20 0 3 0 160403712 165347328 31227 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
[pid=843445/tid=843457] ppid=843434 vsize=161472 memory=12304 CPUtime=0 cores=0,2
/proc/843445/task/843457/stat : 843457 (fscip) S 843434 843445 843378 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 160403713 165347328 31227 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 161472 KiB
Current children cumulated memory: 124908 KiB
[startup+12.7001 s]
/proc/loadavg: 1.70 2.19 3.21 6/266 843462
/proc/meminfo: memFree=128946040/131524600 swapFree=131071996/131071996
[pid=843445] ppid=843434 vsize=225984 memory=178960 CPUtime=12.63 cores=0,2
/proc/843445/stat : 843445 (fscip) S 843434 843445 843378 0 -1 1077936128 76905 0 0 0 1255 8 0 0 20 0 3 0 160403706 231407616 44740 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
/proc/843445/statm: 56496 44740 2958 3032 0 50499 0
[pid=843445/tid=843453] ppid=843434 vsize=225984 memory=12304 CPUtime=12.57 cores=0,2
/proc/843445/task/843453/stat : 843453 (fscip) R 843434 843445 843378 0 -1 4194368 70414 0 0 0 1250 7 0 0 20 0 3 0 160403712 231407616 44740 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
[pid=843445/tid=843457] ppid=843434 vsize=225984 memory=88560 CPUtime=0 cores=0,2
/proc/843445/task/843457/stat : 843457 (fscip) S 843434 843445 843378 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 160403713 231407616 44740 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 225984 KiB
Current children cumulated memory: 178960 KiB
[startup+25.5002 s]
/proc/loadavg: 2.21 2.28 3.22 6/266 843465
/proc/meminfo: memFree=128936148/131524600 swapFree=131071996/131071996
[pid=843445] ppid=843434 vsize=225984 memory=182576 CPUtime=25.4 cores=0,2
/proc/843445/stat : 843445 (fscip) S 843434 843445 843378 0 -1 1077936128 112291 0 0 0 2530 10 0 0 20 0 3 0 160403706 231407616 45644 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
/proc/843445/statm: 56496 45644 2958 3032 0 51199 0
[pid=843445/tid=843453] ppid=843434 vsize=225984 memory=12304 CPUtime=25.33 cores=0,2
/proc/843445/task/843453/stat : 843453 (fscip) R 843434 843445 843378 0 -1 4194368 105717 0 0 0 2524 9 0 0 20 0 3 0 160403712 231407616 45644 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
[pid=843445/tid=843457] ppid=843434 vsize=225984 memory=180208 CPUtime=0 cores=0,2
/proc/843445/task/843457/stat : 843457 (fscip) S 843434 843445 843378 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 160403713 231407616 45644 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 225984 KiB
Current children cumulated memory: 182576 KiB
[startup+51.1063 s]
/proc/loadavg: 2.90 2.44 3.25 6/266 843468
/proc/meminfo: memFree=128718260/131524600 swapFree=131071996/131071996
[pid=843445] ppid=843434 vsize=291520 memory=244516 CPUtime=50.93 cores=0,2
/proc/843445/stat : 843445 (fscip) S 843434 843445 843378 0 -1 1077936128 205588 0 0 0 5075 18 0 0 20 0 3 0 160403706 298516480 61129 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
/proc/843445/statm: 72880 61129 2958 3032 0 67930 0
[pid=843445/tid=843453] ppid=843434 vsize=291520 memory=5628 CPUtime=50.85 cores=0,2
/proc/843445/task/843453/stat : 843453 (fscip) R 843434 843445 843378 0 -1 4194368 197702 0 0 0 5069 16 0 0 20 0 3 0 160403712 298516480 61129 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
[pid=843445/tid=843457] ppid=843434 vsize=291520 memory=237272 CPUtime=0 cores=0,2
/proc/843445/task/843457/stat : 843457 (fscip) S 843434 843445 843378 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 3 0 160403713 298516480 61129 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 291520 KiB
Current children cumulated memory: 244516 KiB
[startup+102.3 s]
/proc/loadavg: 3.66 2.71 3.30 7/268 843646
/proc/meminfo: memFree=128614788/131524600 swapFree=131071996/131071996
[pid=843445] ppid=843434 vsize=356880 memory=282900 CPUtime=101.95 cores=0,2
/proc/843445/stat : 843445 (fscip) S 843434 843445 843378 0 -1 1077936128 291831 0 0 0 10170 25 0 0 20 0 3 0 160403706 365445120 70725 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
/proc/843445/statm: 89220 70725 2958 3032 0 76780 0
[pid=843445/tid=843453] ppid=843434 vsize=356880 memory=282460 CPUtime=101.87 cores=0,2
/proc/843445/task/843453/stat : 843453 (fscip) R 843434 843445 843378 0 -1 4194368 283683 0 0 0 10164 23 0 0 20 0 3 0 160403712 365445120 70725 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
[pid=843445/tid=843457] ppid=843434 vsize=356880 memory=12304 CPUtime=0 cores=0,2
/proc/843445/task/843457/stat : 843457 (fscip) S 843434 843445 843378 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 160403713 365445120 70725 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 356880 KiB
Current children cumulated memory: 282900 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.95 3.35 7/268 843657
/proc/meminfo: memFree=128511132/131524600 swapFree=131071996/131071996
[pid=843445] ppid=843434 vsize=357440 memory=289728 CPUtime=161.75 cores=0,2
/proc/843445/stat : 843445 (fscip) S 843434 843445 843378 0 -1 1077936128 321585 0 0 0 16148 27 0 0 20 0 3 0 160403706 366018560 72432 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
/proc/843445/statm: 89360 72432 2958 3032 0 78227 0
[pid=843445/tid=843453] ppid=843434 vsize=357440 memory=283932 CPUtime=161.67 cores=0,2
/proc/843445/task/843453/stat : 843453 (fscip) R 843434 843445 843378 0 -1 4194368 313420 0 0 0 16141 26 0 0 20 0 3 0 160403712 366018560 72432 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
[pid=843445/tid=843457] ppid=843434 vsize=357440 memory=6720664341949136493 CPUtime=0 cores=0,2
/proc/843445/task/843457/stat : 843457 (fscip) S 843434 843445 843378 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 160403713 366018560 72432 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 357440 KiB
################
# More data... #
################
/proc/843445/statm: 194592 169992 2974 3032 0 174122 0
[pid=843445/tid=843453] ppid=843434 vsize=778368 memory=679968 CPUtime=3391.14 cores=0,2
/proc/843445/task/843453/stat : 843453 (fscip) R 843434 843445 843378 0 -1 4194368 1087775 0 0 0 338992 122 0 0 20 0 3 0 160403712 797048832 169992 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
[pid=843445/tid=843457] ppid=843434 vsize=778368 memory=679968 CPUtime=0.02 cores=0,2
/proc/843445/task/843457/stat : 843457 (fscip) S 843434 843445 843378 0 -1 1077936192 144 0 0 0 0 2 0 0 20 0 3 0 160403713 797048832 169992 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
Current children cumulated CPU time: 3391.4 s
Current children cumulated vsize: 778368 KiB
Current children cumulated memory: 679968 KiB
[startup+3462.3 s]
/proc/loadavg: 4.22 4.13 4.10 7/264 844886
/proc/meminfo: memFree=126996448/131524600 swapFree=131071996/131071996
[pid=843445] ppid=843434 vsize=778368 memory=679968 CPUtime=3451.22 cores=0,2
/proc/843445/stat : 843445 (fscip) S 843434 843445 843378 0 -1 1077936128 1097754 0 0 0 344991 131 0 0 20 0 3 0 160403706 797048832 169992 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
/proc/843445/statm: 194592 169992 2974 3032 0 174122 0
[pid=843445/tid=843453] ppid=843434 vsize=778368 memory=679968 CPUtime=3450.94 cores=0,2
/proc/843445/task/843453/stat : 843453 (fscip) R 843434 843445 843378 0 -1 4194368 1088514 0 0 0 344972 122 0 0 20 0 3 0 160403712 797048832 169992 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
[pid=843445/tid=843457] ppid=843434 vsize=778368 memory=-5155633680935826750 CPUtime=0.02 cores=0,2
/proc/843445/task/843457/stat : 843457 (fscip) S 843434 843445 843378 0 -1 1077936192 146 0 0 0 0 2 0 0 20 0 3 0 160403713 797048832 169992 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
Current children cumulated CPU time: 3451.22 s
Current children cumulated vsize: 778368 KiB
Current children cumulated memory: 679968 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 6/265 845279
/proc/meminfo: memFree=126996068/131524600 swapFree=131071996/131071996
[pid=843445] ppid=843434 vsize=778368 memory=679968 CPUtime=3511.02 cores=0,2
/proc/843445/stat : 843445 (fscip) S 843434 843445 843378 0 -1 1077936128 1098495 0 0 0 350970 132 0 0 20 0 3 0 160403706 797048832 169992 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
/proc/843445/statm: 194592 169992 2974 3032 0 174122 0
[pid=843445/tid=843453] ppid=843434 vsize=778368 memory=12304 CPUtime=3510.75 cores=0,2
/proc/843445/task/843453/stat : 843453 (fscip) R 843434 843445 843378 0 -1 4194368 1089246 0 0 0 350952 123 0 0 20 0 3 0 160403712 797048832 169992 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
[pid=843445/tid=843457] ppid=843434 vsize=778368 memory=679968 CPUtime=0.02 cores=0,2
/proc/843445/task/843457/stat : 843457 (fscip) S 843434 843445 843378 0 -1 1077936192 148 0 0 0 0 2 0 0 20 0 3 0 160403713 797048832 169992 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
Current children cumulated CPU time: 3511.02 s
Current children cumulated vsize: 778368 KiB
Current children cumulated memory: 679968 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/264 845290
/proc/meminfo: memFree=126992656/131524600 swapFree=131071996/131071996
[pid=843445] ppid=843434 vsize=778368 memory=679968 CPUtime=3570.82 cores=0,2
/proc/843445/stat : 843445 (fscip) S 843434 843445 843378 0 -1 1077936128 1099242 0 0 0 356950 132 0 0 20 0 3 0 160403706 797048832 169992 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
/proc/843445/statm: 194592 169992 2974 3032 0 174122 0
[pid=843445/tid=843453] ppid=843434 vsize=778368 memory=6720664341949136493 CPUtime=3570.56 cores=0,2
/proc/843445/task/843453/stat : 843453 (fscip) R 843434 843445 843378 0 -1 4194368 1089982 0 0 0 356932 124 0 0 20 0 3 0 160403712 797048832 169992 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
[pid=843445/tid=843457] ppid=843434 vsize=778368 memory=43312 CPUtime=0.02 cores=0,2
/proc/843445/task/843457/stat : 843457 (fscip) S 843434 843445 843378 0 -1 1077936192 150 0 0 0 0 2 0 0 20 0 3 0 160403713 797048832 169992 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
Current children cumulated CPU time: 3570.82 s
Current children cumulated vsize: 778368 KiB
Current children cumulated memory: 679968 KiB
[startup+3600.1 s]
# the end of solver process 843445 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.24 s, system=1.33018 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.12 4.09 6/264 845291
/proc/meminfo: memFree=126991284/131524600 swapFree=131071996/131071996
[pid=843445] ppid=843434 vsize=778368 memory=679968 CPUtime=3572.52 cores=0,2
/proc/843445/stat : 843445 (fscip) S 843434 843445 843378 0 -1 1077936128 1099242 0 0 0 357120 132 0 0 20 0 3 0 160403706 797048832 169992 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
/proc/843445/statm: 194592 169992 2974 3032 0 174122 0
[pid=843445/tid=843453] ppid=843434 vsize=778368 memory=6720666540972392041 CPUtime=3572.26 cores=0,2
/proc/843445/task/843453/stat : 843453 (fscip) R 843434 843445 843378 0 -1 4194368 1089982 0 0 0 357102 124 0 0 20 0 3 0 160403712 797048832 169992 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
[pid=843445/tid=843457] ppid=843434 vsize=778368 memory=-7377590697578618494 CPUtime=0.02 cores=0,2
/proc/843445/task/843457/stat : 843457 (fscip) S 843434 843445 843378 0 -1 1077936192 150 0 0 0 0 2 0 0 20 0 3 0 160403713 797048832 169992 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
Current children cumulated CPU time: 3572.52 s
Current children cumulated vsize: 778368 KiB
Current children cumulated memory: 679968 KiB
[startup+3590.4 s]
/proc/loadavg: 4.21 4.14 4.10 6/264 845291
/proc/meminfo: memFree=126991288/131524600 swapFree=131071996/131071996
[pid=843445] ppid=843434 vsize=778368 memory=679968 CPUtime=3578.9 cores=0,2
/proc/843445/stat : 843445 (fscip) S 843434 843445 843378 0 -1 1077936128 1099246 0 0 0 357758 132 0 0 20 0 3 0 160403706 797048832 169992 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
/proc/843445/statm: 194592 169992 2974 3032 0 174122 0
[pid=843445/tid=843453] ppid=843434 vsize=778368 memory=679968 CPUtime=3578.63 cores=0,2
/proc/843445/task/843453/stat : 843453 (fscip) R 843434 843445 843378 0 -1 4194368 1089986 0 0 0 357739 124 0 0 20 0 3 0 160403712 797048832 169992 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
[pid=843445/tid=843457] ppid=843434 vsize=778368 memory=679968 CPUtime=0.02 cores=0,2
/proc/843445/task/843457/stat : 843457 (fscip) S 843434 843445 843378 0 -1 1077936192 150 0 0 0 0 2 0 0 20 0 3 0 160403713 797048832 169992 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
Current children cumulated CPU time: 3578.9 s
Current children cumulated vsize: 778368 KiB
Current children cumulated memory: 679968 KiB
[startup+3596.8 s]
/proc/loadavg: 4.19 4.13 4.10 7/264 845293
/proc/meminfo: memFree=126991184/131524600 swapFree=131071996/131071996
[pid=843445] ppid=843434 vsize=778368 memory=679968 CPUtime=3585.28 cores=0,2
/proc/843445/stat : 843445 (fscip) S 843434 843445 843378 0 -1 1077936128 1099321 0 0 0 358396 132 0 0 20 0 3 0 160403706 797048832 169992 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
/proc/843445/statm: 194592 169992 2974 3032 0 174122 0
[pid=843445/tid=843453] ppid=843434 vsize=778368 memory=679968 CPUtime=3585.01 cores=0,2
/proc/843445/task/843453/stat : 843453 (fscip) R 843434 843445 843378 0 -1 4194368 1090060 0 0 0 358377 124 0 0 20 0 3 0 160403712 797048832 169992 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
[pid=843445/tid=843457] ppid=843434 vsize=778368 memory=679968 CPUtime=0.02 cores=0,2
/proc/843445/task/843457/stat : 843457 (fscip) S 843434 843445 843378 0 -1 1077936192 150 0 0 0 0 2 0 0 20 0 3 0 160403713 797048832 169992 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
Current children cumulated CPU time: 3585.28 s
Current children cumulated vsize: 778368 KiB
Current children cumulated memory: 679968 KiB
[startup+3598.4 s]
/proc/loadavg: 4.19 4.13 4.10 7/264 845293
/proc/meminfo: memFree=126991192/131524600 swapFree=131071996/131071996
[pid=843445] ppid=843434 vsize=778368 memory=679968 CPUtime=3586.87 cores=0,2
/proc/843445/stat : 843445 (fscip) S 843434 843445 843378 0 -1 1077936128 1099340 0 0 0 358555 132 0 0 20 0 3 0 160403706 797048832 169992 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
/proc/843445/statm: 194592 169992 2974 3032 0 174122 0
[pid=843445/tid=843453] ppid=843434 vsize=778368 memory=4880 CPUtime=3586.61 cores=0,2
/proc/843445/task/843453/stat : 843453 (fscip) R 843434 843445 843378 0 -1 4194368 1090077 0 0 0 358537 124 0 0 20 0 3 0 160403712 797048832 169992 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
[pid=843445/tid=843457] ppid=843434 vsize=778368 memory=635332 CPUtime=0.02 cores=0,2
/proc/843445/task/843457/stat : 843457 (fscip) S 843434 843445 843378 0 -1 1077936192 152 0 0 0 0 2 0 0 20 0 3 0 160403713 797048832 169992 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
Current children cumulated CPU time: 3586.87 s
Current children cumulated vsize: 778368 KiB
Current children cumulated memory: 679968 KiB
[startup+3599.2 s]
/proc/loadavg: 4.19 4.13 4.10 7/264 845293
/proc/meminfo: memFree=126991156/131524600 swapFree=131071996/131071996
[pid=843445] ppid=843434 vsize=778368 memory=679968 CPUtime=3587.67 cores=0,2
/proc/843445/stat : 843445 (fscip) S 843434 843445 843378 0 -1 1077936128 1099351 0 0 0 358635 132 0 0 20 0 3 0 160403706 797048832 169992 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
/proc/843445/statm: 194592 169992 2974 3032 0 174122 0
[pid=843445/tid=843453] ppid=843434 vsize=778368 memory=43312 CPUtime=3587.41 cores=0,2
/proc/843445/task/843453/stat : 843453 (fscip) R 843434 843445 843378 0 -1 4194368 1090088 0 0 0 358617 124 0 0 20 0 3 0 160403712 797048832 169992 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
[pid=843445/tid=843457] ppid=843434 vsize=778368 memory=13124 CPUtime=0.02 cores=0,2
/proc/843445/task/843457/stat : 843457 (fscip) S 843434 843445 843378 0 -1 1077936192 152 0 0 0 0 2 0 0 20 0 3 0 160403713 797048832 169992 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
Current children cumulated CPU time: 3587.67 s
Current children cumulated vsize: 778368 KiB
Current children cumulated memory: 679968 KiB
[startup+3599.6 s]
/proc/loadavg: 4.19 4.13 4.10 7/264 845293
/proc/meminfo: memFree=126991156/131524600 swapFree=131071996/131071996
[pid=843445] ppid=843434 vsize=778368 memory=679968 CPUtime=3588.07 cores=0,2
/proc/843445/stat : 843445 (fscip) S 843434 843445 843378 0 -1 1077936128 1099351 0 0 0 358675 132 0 0 20 0 3 0 160403706 797048832 169992 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
/proc/843445/statm: 194592 169992 2974 3032 0 174122 0
[pid=843445/tid=843453] ppid=843434 vsize=778368 memory=1852 CPUtime=3587.8 cores=0,2
/proc/843445/task/843453/stat : 843453 (fscip) R 843434 843445 843378 0 -1 4194368 1090088 0 0 0 358656 124 0 0 20 0 3 0 160403712 797048832 169992 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
[pid=843445/tid=843457] ppid=843434 vsize=778368 memory=30448 CPUtime=0.02 cores=0,2
/proc/843445/task/843457/stat : 843457 (fscip) S 843434 843445 843378 0 -1 1077936192 152 0 0 0 0 2 0 0 20 0 3 0 160403713 797048832 169992 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
Current children cumulated CPU time: 3588.07 s
Current children cumulated vsize: 778368 KiB
Current children cumulated memory: 679968 KiB
[startup+3600 s]*
/proc/loadavg: 4.18 4.13 4.10 8/264 845293
/proc/meminfo: memFree=126991220/131524600 swapFree=131071996/131071996
[pid=843445] ppid=843434 vsize=778368 memory=679968 CPUtime=3588.47 cores=0,2
/proc/843445/stat : 843445 (fscip) S 843434 843445 843378 0 -1 1077936128 1099420 0 0 0 358715 132 0 0 20 0 3 0 160403706 797048832 169992 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
/proc/843445/statm: 194592 169992 2974 3032 0 174122 0
[pid=843445/tid=843453] ppid=843434 vsize=778368 memory=6720666540972392041 CPUtime=3588.21 cores=0,2
/proc/843445/task/843453/stat : 843453 (fscip) R 843434 843445 843378 0 -1 4194368 1090160 0 0 0 358697 124 0 0 20 0 3 0 160403712 797048832 169992 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
[pid=843445/tid=843457] ppid=843434 vsize=778368 memory=20848 CPUtime=0.02 cores=0,2
/proc/843445/task/843457/stat : 843457 (fscip) S 843434 843445 843378 0 -1 1077936192 152 0 0 0 0 2 0 0 20 0 3 0 160403713 797048832 169992 134679101440 4194304 16613245 140729854095168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56492032 140729854100501 140729854100617 140729854100617 140729854107632 0
Current children cumulated CPU time: 3588.47 s
Current children cumulated vsize: 778368 KiB
Current children cumulated memory: 679968 KiB
Child status: 0
Real time (s): 3600.1
CPU time (s): 3588.57
CPU user time (s): 3587.24
CPU system time (s): 1.33018
CPU usage (%): 99.68
Max. virtual memory (cumulated for all children) (KiB): 778368
Max. memory (cumulated for all children) (KiB): 679968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.24
system time used= 1.33018
maximum resident set size= 679968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1100251
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= 9944
involuntary context switches= 24570
# summary of solver processes directly reported to runsolver:
# pid: 843445
# total CPU time (s): 3588.57
# total CPU user time (s): 3587.24
# total CPU system time (s): 1.33018
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.69426 second user time and 19.2348 second system time
The end
Begin job on nodeC018 at 2024-07-16 00:27:05
IDJOB=4434653
IDBENCH=147534
IDSOLVER=3064
FILE ID=nodeC018/4434653-1721082413
RUNJOBID= nodeC018-1721082425-843388
SLURM_JOB_ID= 7505562
Free space on /tmp= 890084 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.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-4434653-1721082413/watcher-4434653-1721082413 -o /tmp/evaluation-result-4434653-1721082413/solver-4434653-1721082413 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721082425-843388 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434653-1721082413.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 40839a009ce460ae7be0fe2be6267e36
RANDOM SEED=475558305
nodeC018.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 : 3585.841
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.52
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 : 3629.863
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.30
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 : 3487.762
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.52
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 : 3358.989
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.30
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 : 3477.744
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.52
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 : 3339.352
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.30
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 : 3595.201
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.52
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.866
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129518572 kB
MemAvailable: 129781608 kB
Buffers: 367840 kB
Cached: 737548 kB
SwapCached: 0 kB
Active: 661608 kB
Inactive: 761852 kB
Active(anon): 1440 kB
Inactive(anon): 354672 kB
Active(file): 660168 kB
Inactive(file): 407180 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 112776 kB
Writeback: 8 kB
AnonPages: 316552 kB
Mapped: 105408 kB
Shmem: 37720 kB
KReclaimable: 71024 kB
Slab: 176852 kB
SReclaimable: 71024 kB
SUnreclaim: 105828 kB
KernelStack: 3856 kB
PageTables: 9480 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 738056 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 60704 kB
HardwareCorrupted: 0 kB
AnonHugePages: 196608 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: 232148 kB
DirectMap2M: 16318464 kB
DirectMap1G: 119537664 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC018 at 2024-07-16 01:27:05