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.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 24838144, getVmSize() = 24838144, SCIPgetMemUsed() = 2323864, SCIPgetMemTotal() = 3232080, SCIPgetMemExternEstim() = 1227421
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.01 c ** Estimated virtualMemUsedAtSolver = 17981440, getVmSize() = 29106176, SCIPgetMemUsed() = 2766927, SCIPgetMemTotal() = 6260079, SCIPgetMemExternEstim() = 1227421
0.00/0.01 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.01 c Original Problem :
0.00/0.01 c Problem name : instance-4447790-1721361233
0.00/0.01 c Variables : 354 (354 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 944
0.00/0.01 c Objective sense : minimize
0.00/0.01 c Presolved Problem :
0.00/0.01 c Variables : 354 (354 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 944
0.00/0.01 c Constraints : Number
0.00/0.01 c logicor : 944
0.00/0.01 c ** Instance transfer method used: 0
0.00/0.02 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.02 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.02 c Nodes Active
0.00/0.02 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.45/5.55 c 6 1246 196 1 - 0.0000 -
10.54/10.62 c 11 3993 2943 1 - 0.0000 -
15.62/15.71 c 16 8353 7303 1 - 0.0000 -
20.70/20.82 c 21 12627 11577 1 - 0.0000 -
25.69/25.87 c 26 16610 15560 1 - 0.0000 -
30.77/30.92 c 31 20774 19721 1 - 0.0000 -
35.74/35.97 c 36 25328 24275 1 - 0.0000 -
40.84/41.03 c 41 29928 28847 1 - 0.0000 -
45.91/46.12 c 46 34240 33159 1 - 0.0000 -
51.00/51.21 c 51 38887 37798 1 - 0.0000 -
55.97/56.29 c 56 43431 42342 1 - 0.0000 -
61.05/61.34 c 61 47908 46813 1 - 0.0000 -
66.14/66.40 c 66 52441 51331 1 - 0.0000 -
71.12/71.45 c 71 56926 55775 1 - 0.0000 -
76.20/76.52 c 77 61311 60152 1 - 0.0000 -
81.18/81.58 c 82 65624 64403 1 - 0.0000 -
86.27/86.66 c 87 70352 69068 1 - 0.0000 -
91.34/91.72 c 92 74934 73576 1 - 0.0000 -
96.33/96.78 c 97 79698 78283 1 - 0.0000 -
101.41/101.86 c 102 84157 82608 1 - 0.0000 -
106.49/106.91 c 107 88815 87193 1 - 0.0000 -
111.47/111.96 c 112 93607 91857 1 - 0.0000 -
116.56/117.05 c 117 98188 96413 1 - 0.0000 -
121.64/122.11 c 122 102595 100755 1 - 0.0000 -
126.62/127.17 c 127 107102 105179 1 - 0.0000 -
131.70/132.21 c 132 111718 109795 1 - 0.0000 -
136.67/137.29 c 137 116201 114187 1 - 0.0000 -
141.75/142.34 c 142 120655 118324 1 - 0.0000 -
146.73/147.39 c 147 125234 122716 1 - 0.0000 -
151.81/152.48 c 152 129800 127144 1 - 0.0000 -
156.88/157.53 c 158 134280 131534 1 - 0.0000 -
161.86/162.59 c 163 138927 136085 1 - 0.0000 -
166.94/167.64 c 168 143289 140340 1 - 0.0000 -
172.02/172.71 c 173 147851 144845 1 - 0.0000 -
177.00/177.76 c 178 152254 149132 1 - 0.0000 -
182.07/182.83 c 183 156748 153507 1 - 0.0000 -
187.05/187.88 c 188 161337 158060 1 - 0.0000 -
192.13/192.94 c 193 165889 162438 1 - 0.0000 -
197.21/198.01 c 198 170171 166665 1 - 0.0000 -
202.19/203.07 c 203 174565 170979 1 - 0.0000 -
207.27/208.14 c 208 178936 175307 1 - 0.0000 -
212.34/213.21 c 213 183284 179579 1 - 0.0000 -
217.32/218.27 c 218 187687 183898 1 - 0.0000 -
222.40/223.34 c 223 192249 188460 1 - 0.0000 -
227.47/228.43 c 228 196991 193202 1 - 0.0000 -
232.44/233.49 c 234 201623 197834 1 - 0.0000 -
237.62/238.60 c 239 206219 202402 1 - 0.0000 -
242.71/243.72 c 244 210226 206374 1 - 0.0000 -
247.68/248.78 c 249 214764 210903 1 - 0.0000 -
252.76/253.84 c 254 219246 215385 1 - 0.0000 -
257.83/258.91 c 259 223975 220085 1 - 0.0000 -
262.92/264.00 c 264 228414 224508 1 - 0.0000 -
267.89/269.06 c 269 232771 228853 1 - 0.0000 -
272.97/274.11 c 274 237040 233099 1 - 0.0000 -
277.95/279.19 c 279 241173 237154 1 - 0.0000 -
283.03/284.26 c 284 245604 241565 1 - 0.0000 -
288.10/289.31 c 289 250103 246033 1 - 0.0000 -
293.08/294.37 c 294 254545 250464 1 - 0.0000 -
298.15/299.43 c 299 259027 254893 1 - 0.0000 -
303.13/304.48 c 304 263573 259439 1 - 0.0000 -
308.21/309.55 c 310 268103 263969 1 - 0.0000 -
313.19/314.59 c 315 272727 268593 1 - 0.0000 -
318.27/319.64 c 320 277226 273092 1 - 0.0000 -
323.24/324.69 c 325 281767 277633 1 - 0.0000 -
328.32/329.75 c 330 286241 282107 1 - 0.0000 -
333.39/334.81 c 335 290623 286489 1 - 0.0000 -
338.48/339.93 c 340 294981 290835 1 - 0.0000 -
343.45/344.98 c 345 299557 295411 1 - 0.0000 -
348.53/350.05 c 350 304155 300009 1 - 0.0000 -
353.51/355.10 c 355 308723 304556 1 - 0.0000 -
358.59/360.17 c 360 313122 308932 1 - 0.0000 -
363.66/365.25 c 365 317518 313306 1 - 0.0000 -
368.74/370.33 c 370 321873 317661 1 - 0.0000 -
373.72/375.39 c 375 326234 322022 1 - 0.0000 -
378.80/380.44 c 380 330592 326369 1 - 0.0000 -
383.76/385.49 c 386 335217 330994 1 - 0.0000 -
388.84/390.55 c 391 339591 335368 1 - 0.0000 -
393.92/395.60 c 396 344406 340183 1 - 0.0000 -
398.91/400.65 c 401 348891 344645 1 - 0.0000 -
403.99/405.72 c 406 353324 348829 1 - 0.0000 -
408.97/410.78 c 411 357760 353253 1 - 0.0000 -
414.05/415.85 c 416 362154 357586 1 - 0.0000 -
419.13/420.93 c 421 366823 362255 1 - 0.0000 -
424.21/426.01 c 426 371206 366495 1 - 0.0000 -
429.19/431.06 c 431 375506 370625 1 - 0.0000 -
434.27/436.13 c 436 379843 374773 1 - 0.0000 -
439.35/441.22 c 441 384585 379344 1 - 0.0000 -
444.32/446.28 c 446 389129 383619 1 - 0.0000 -
449.41/451.38 c 451 393517 387740 1 - 0.0000 -
454.49/456.45 c 456 397801 391997 1 - 0.0000 -
459.47/461.49 c 462 402064 396096 1 - 0.0000 -
464.55/466.55 c 467 406322 400330 1 - 0.0000 -
469.63/471.62 c 472 410734 404659 1 - 0.0000 -
474.61/476.68 c 477 415217 409047 1 - 0.0000 -
479.70/481.73 c 482 419584 413406 1 - 0.0000 -
484.77/486.80 c 487 424005 417827 1 - 0.0000 -
489.75/491.89 c 492 428639 422435 1 - 0.0000 -
494.84/496.94 c 497 433014 426773 1 - 0.0000 -
499.91/502.02 c 502 437460 431060 1 - 0.0000 -
504.89/507.08 c 507 441884 435439 1 - 0.0000 -
509.97/512.17 c 512 446357 439852 1 - 0.0000 -
515.04/517.23 c 517 450680 444039 1 - 0.0000 -
520.12/522.34 c 522 454939 448231 1 - 0.0000 -
525.21/527.41 c 527 459436 452563 1 - 0.0000 -
530.18/532.48 c 532 464091 457122 1 - 0.0000 -
535.27/537.55 c 538 468326 461315 1 - 0.0000 -
540.35/542.62 c 543 472949 465864 1 - 0.0000 -
545.33/547.69 c 548 477463 470284 1 - 0.0000 -
550.41/552.77 c 553 481921 474654 1 - 0.0000 -
555.49/557.82 c 558 486461 479048 1 - 0.0000 -
560.47/562.87 c 563 490731 483199 1 - 0.0000 -
565.56/567.94 c 568 495281 487623 1 - 0.0000 -
570.64/573.01 c 573 499603 491828 1 - 0.0000 -
575.62/578.07 c 578 504111 496176 1 - 0.0000 -
580.71/583.15 c 583 508608 500583 1 - 0.0000 -
585.78/588.25 c 588 513469 505444 1 - 0.0000 -
590.77/593.29 c 593 518368 510343 1 - 0.0000 -
595.85/598.34 c 598 522701 514652 1 - 0.0000 -
600.93/603.40 c 603 527242 519193 1 - 0.0000 -
605.92/608.45 c 608 531783 523569 1 - 0.0000 -
610.99/613.52 c 614 535984 527666 1 - 0.0000 -
615.98/618.59 c 619 540327 531829 1 - 0.0000 -
621.06/623.65 c 624 544888 536257 1 - 0.0000 -
626.13/628.70 c 629 549611 540717 1 - 0.0000 -
631.12/633.77 c 634 554233 545242 1 - 0.0000 -
636.20/638.86 c 639 558866 549780 1 - 0.0000 -
641.28/643.92 c 644 563301 554172 1 - 0.0000 -
646.27/648.99 c 649 567945 558485 1 - 0.0000 -
651.36/654.04 c 654 572300 562805 1 - 0.0000 -
656.43/659.11 c 659 576838 567279 1 - 0.0000 -
661.42/664.16 c 664 581223 571610 1 - 0.0000 -
666.50/669.22 c 669 585438 575729 1 - 0.0000 -
671.47/674.27 c 674 589680 579729 1 - 0.0000 -
676.56/679.34 c 679 593778 583752 1 - 0.0000 -
681.64/684.42 c 684 598146 587965 1 - 0.0000 -
686.62/689.47 c 689 602725 592343 1 - 0.0000 -
691.70/694.55 c 695 607186 596697 1 - 0.0000 -
696.78/699.63 c 700 611673 601145 1 - 0.0000 -
701.86/704.72 c 705 616235 605692 1 - 0.0000 -
706.85/709.77 c 710 620580 609906 1 - 0.0000 -
711.93/714.82 c 715 624946 614222 1 - 0.0000 -
717.01/719.94 c 720 629423 618543 1 - 0.0000 -
722.09/725.01 c 725 634192 623279 1 - 0.0000 -
727.07/730.06 c 730 638963 627995 1 - 0.0000 -
732.15/735.12 c 735 643424 632438 1 - 0.0000 -
737.14/740.18 c 740 647891 636885 1 - 0.0000 -
742.22/745.22 c 745 652223 641126 1 - 0.0000 -
747.20/750.28 c 750 656790 645693 1 - 0.0000 -
752.28/755.34 c 755 661460 650363 1 - 0.0000 -
757.36/760.40 c 760 665983 654766 1 - 0.0000 -
762.34/765.45 c 765 670380 659052 1 - 0.0000 -
767.42/770.51 c 771 674773 663222 1 - 0.0000 -
772.40/775.57 c 776 679005 667269 1 - 0.0000 -
777.49/780.65 c 781 683236 671373 1 - 0.0000 -
782.56/785.74 c 786 687583 675654 1 - 0.0000 -
787.64/790.80 c 791 692115 680170 1 - 0.0000 -
792.63/795.87 c 796 696484 684498 1 - 0.0000 -
797.71/800.95 c 801 700862 688823 1 - 0.0000 -
802.79/806.02 c 806 705045 692949 1 - 0.0000 -
807.77/811.09 c 811 709589 697440 1 - 0.0000 -
812.85/816.15 c 816 714144 701920 1 - 0.0000 -
817.93/821.20 c 821 718619 706327 1 - 0.0000 -
822.91/826.25 c 826 723121 710823 1 - 0.0000 -
827.99/831.34 c 831 727733 715403 1 - 0.0000 -
832.98/836.38 c 836 732144 719808 1 - 0.0000 -
838.05/841.44 c 841 736682 724306 1 - 0.0000 -
843.14/846.50 c 847 741390 729008 1 - 0.0000 -
848.12/851.57 c 852 745882 733434 1 - 0.0000 -
853.21/856.63 c 857 750251 737702 1 - 0.0000 -
858.19/861.69 c 862 754588 741830 1 - 0.0000 -
863.26/866.77 c 867 759231 746401 1 - 0.0000 -
868.35/871.86 c 872 763877 750965 1 - 0.0000 -
873.43/876.92 c 877 768542 755560 1 - 0.0000 -
878.41/881.99 c 882 773074 759945 1 - 0.0000 -
883.50/887.06 c 887 777671 764496 1 - 0.0000 -
888.58/892.12 c 892 782289 769099 1 - 0.0000 -
893.56/897.17 c 897 786996 773744 1 - 0.0000 -
898.64/902.24 c 902 791398 777975 1 - 0.0000 -
903.62/907.29 c 907 796076 782635 1 - 0.0000 -
908.70/912.36 c 912 800693 787209 1 - 0.0000 -
913.79/917.43 c 917 805615 792100 1 - 0.0000 -
918.76/922.49 c 922 810504 796989 1 - 0.0000 -
923.84/927.55 c 928 815056 801530 1 - 0.0000 -
928.92/932.60 c 933 819761 806171 1 - 0.0000 -
933.91/937.64 c 938 824357 810735 1 - 0.0000 -
938.89/942.69 c 943 829089 815462 1 - 0.0000 -
943.98/947.74 c 948 833659 819942 1 - 0.0000 -
949.06/952.80 c 953 838507 824708 1 - 0.0000 -
954.04/957.85 c 958 842921 829082 1 - 0.0000 -
959.12/962.94 c 963 847495 833640 1 - 0.0000 -
964.10/967.98 c 968 852034 838104 1 - 0.0000 -
969.19/973.06 c 973 856603 842589 1 - 0.0000 -
974.27/978.11 c 978 861206 847181 1 - 0.0000 -
979.25/983.17 c 983 865846 851817 1 - 0.0000 -
984.33/988.24 c 988 870475 856431 1 - 0.0000 -
989.41/993.31 c 993 875013 860849 1 - 0.0000 -
994.39/998.36 c 998 879432 865173 1 - 0.0000 -
999.47/1003.41 c 1003 883874 869575 1 - 0.0000 -
1004.45/1008.46 c 1008 888496 874162 1 - 0.0000 -
1009.53/1013.58 c 1014 893073 878679 1 - 0.0000 -
1014.61/1018.63 c 1019 897476 882972 1 - 0.0000 -
1019.60/1023.69 c 1024 901660 887042 1 - 0.0000 -
1024.68/1028.73 c 1029 905784 891026 1 - 0.0000 -
1029.66/1033.78 c 1034 910103 895246 1 - 0.0000 -
1034.75/1038.89 c 1039 914500 899582 1 - 0.0000 -
1039.82/1043.96 c 1044 919085 904096 1 - 0.0000 -
1044.91/1049.03 c 1049 923659 908640 1 - 0.0000 -
1049.89/1054.08 c 1054 928084 913023 1 - 0.0000 -
1054.97/1059.18 c 1059 932625 917494 1 - 0.0000 -
1060.04/1064.24 c 1064 937236 922099 1 - 0.0000 -
1065.03/1069.29 c 1069 941706 926528 1 - 0.0000 -
1070.11/1074.35 c 1074 945973 930736 1 - 0.0000 -
1075.20/1079.40 c 1079 950476 935224 1 - 0.0000 -
1080.18/1084.44 c 1084 954996 939710 1 - 0.0000 -
1085.26/1089.51 c 1090 959436 944095 1 - 0.0000 -
1090.24/1094.57 c 1095 963880 948492 1 - 0.0000 -
1095.32/1099.62 c 1100 968191 952730 1 - 0.0000 -
1100.30/1104.69 c 1105 972821 957311 1 - 0.0000 -
1105.39/1109.76 c 1110 977399 961816 1 - 0.0000 -
1110.46/1114.82 c 1115 981879 966222 1 - 0.0000 -
1115.55/1119.90 c 1120 986418 970704 1 - 0.0000 -
1120.53/1124.95 c 1125 991052 975286 1 - 0.0000 -
1125.62/1130.02 c 1130 995471 979636 1 - 0.0000 -
1130.60/1135.06 c 1135 1000041 983992 1 - 0.0000 -
1135.68/1140.15 c 1140 1004533 988443 1 - 0.0000 -
1140.66/1145.19 c 1145 1008963 992741 1 - 0.0000 -
1145.74/1150.25 c 1150 1013344 997051 1 - 0.0000 -
1150.82/1155.32 c 1155 1017736 1001174 1 - 0.0000 -
1155.80/1160.38 c 1160 1021968 1005148 1 - 0.0000 -
1160.89/1165.46 c 1165 1026581 1009668 1 - 0.0000 -
1165.97/1170.50 c 1171 1030856 1013782 1 - 0.0000 -
1170.94/1175.57 c 1176 1035291 1017861 1 - 0.0000 -
1176.03/1180.63 c 1181 1039764 1022222 1 - 0.0000 -
1181.01/1185.69 c 1186 1044271 1026624 1 - 0.0000 -
1186.09/1190.74 c 1191 1049159 1031445 1 - 0.0000 -
1191.17/1195.81 c 1196 1053658 1035793 1 - 0.0000 -
1196.25/1200.91 c 1201 1058090 1040100 1 - 0.0000 -
1201.23/1205.96 c 1206 1062401 1044290 1 - 0.0000 -
1206.32/1211.03 c 1211 1066751 1048620 1 - 0.0000 -
1211.30/1216.09 c 1216 1071030 1052812 1 - 0.0000 -
1216.38/1221.17 c 1221 1075373 1057064 1 - 0.0000 -
1221.46/1226.23 c 1226 1079876 1061449 1 - 0.0000 -
1226.43/1231.28 c 1231 1084348 1065722 1 - 0.0000 -
1231.51/1236.34 c 1236 1088699 1069804 1 - 0.0000 -
1236.58/1241.40 c 1241 1093376 1074343 1 - 0.0000 -
1241.56/1246.45 c 1246 1097832 1078707 1 - 0.0000 -
1246.64/1251.51 c 1252 1102320 1083101 1 - 0.0000 -
1251.62/1256.58 c 1257 1106899 1087589 1 - 0.0000 -
1256.70/1261.62 c 1262 1111389 1091875 1 - 0.0000 -
1261.68/1266.69 c 1267 1115638 1095937 1 - 0.0000 -
1266.75/1271.75 c 1272 1119999 1100054 1 - 0.0000 -
1271.84/1276.83 c 1277 1124479 1104486 1 - 0.0000 -
1276.81/1281.89 c 1282 1128816 1108708 1 - 0.0000 -
1281.88/1286.94 c 1287 1133285 1113050 1 - 0.0000 -
1286.97/1292.02 c 1292 1137601 1117247 1 - 0.0000 -
1291.95/1297.08 c 1297 1141998 1121595 1 - 0.0000 -
1297.03/1302.14 c 1302 1146456 1125843 1 - 0.0000 -
1302.09/1307.21 c 1307 1150958 1130200 1 - 0.0000 -
1307.08/1312.27 c 1312 1155509 1134469 1 - 0.0000 -
1312.16/1317.33 c 1317 1160050 1138963 1 - 0.0000 -
1317.23/1322.40 c 1322 1164482 1143105 1 - 0.0000 -
1322.21/1327.45 c 1327 1168938 1147510 1 - 0.0000 -
1327.29/1332.51 c 1333 1173441 1151927 1 - 0.0000 -
1332.27/1337.56 c 1338 1177777 1156086 1 - 0.0000 -
1337.35/1342.61 c 1343 1182254 1160432 1 - 0.0000 -
1342.42/1347.71 c 1348 1186737 1164857 1 - 0.0000 -
1347.50/1352.80 c 1353 1191155 1169150 1 - 0.0000 -
1352.48/1357.87 c 1358 1195670 1173494 1 - 0.0000 -
1357.66/1363.08 c 1363 1200045 1177836 1 - 0.0000 -
1362.74/1368.13 c 1368 1204281 1182007 1 - 0.0000 -
1367.72/1373.17 c 1373 1208843 1186203 1 - 0.0000 -
1372.79/1378.23 c 1378 1213089 1190315 1 - 0.0000 -
1377.86/1383.32 c 1383 1217412 1194477 1 - 0.0000 -
1382.84/1388.39 c 1388 1221788 1198555 1 - 0.0000 -
1387.92/1393.45 c 1393 1226186 1202670 1 - 0.0000 -
1393.00/1398.51 c 1399 1230787 1207107 1 - 0.0000 -
1397.98/1403.57 c 1404 1235228 1211216 1 - 0.0000 -
1403.06/1408.65 c 1409 1239641 1215357 1 - 0.0000 -
1408.13/1413.71 c 1414 1244080 1219562 1 - 0.0000 -
1413.11/1418.76 c 1419 1248184 1223579 1 - 0.0000 -
1418.19/1423.84 c 1424 1252624 1227788 1 - 0.0000 -
1423.27/1428.90 c 1429 1256952 1231804 1 - 0.0000 -
1428.25/1433.96 c 1434 1261483 1236274 1 - 0.0000 -
1433.33/1439.02 c 1439 1266041 1240453 1 - 0.0000 -
1438.30/1444.08 c 1444 1270361 1244665 1 - 0.0000 -
1443.38/1449.14 c 1449 1274714 1248821 1 - 0.0000 -
1448.45/1454.22 c 1454 1279054 1253141 1 - 0.0000 -
1453.43/1459.28 c 1459 1283329 1256928 1 - 0.0000 -
1458.51/1464.34 c 1464 1287517 1260963 1 - 0.0000 -
1463.59/1469.40 c 1469 1292125 1265551 1 - 0.0000 -
1468.57/1474.49 c 1474 1296511 1269895 1 - 0.0000 -
1473.65/1479.53 c 1480 1300990 1274276 1 - 0.0000 -
1478.62/1484.59 c 1485 1305311 1278388 1 - 0.0000 -
1483.70/1489.65 c 1490 1309848 1282913 1 - 0.0000 -
1488.78/1494.73 c 1495 1314409 1287317 1 - 0.0000 -
1493.86/1499.82 c 1500 1318886 1291651 1 - 0.0000 -
1498.83/1504.87 c 1505 1323260 1295972 1 - 0.0000 -
1503.91/1509.93 c 1510 1327754 1300346 1 - 0.0000 -
1508.88/1514.99 c 1515 1332328 1304743 1 - 0.0000 -
1513.98/1520.06 c 1520 1336325 1308392 1 - 0.0000 -
1519.05/1525.11 c 1525 1340781 1312596 1 - 0.0000 -
1524.03/1530.18 c 1530 1345268 1317007 1 - 0.0000 -
1529.10/1535.28 c 1535 1349911 1321558 1 - 0.0000 -
1534.18/1540.38 c 1540 1354314 1325835 1 - 0.0000 -
1539.26/1545.45 c 1545 1358651 1330116 1 - 0.0000 -
1544.23/1550.49 c 1550 1363107 1334309 1 - 0.0000 -
1549.31/1555.57 c 1556 1367293 1338278 1 - 0.0000 -
1554.39/1560.63 c 1561 1372021 1342763 1 - 0.0000 -
1559.37/1565.68 c 1566 1376638 1347070 1 - 0.0000 -
1564.45/1570.76 c 1571 1380949 1351231 1 - 0.0000 -
1569.52/1575.81 c 1576 1385530 1355721 1 - 0.0000 -
1574.50/1580.86 c 1581 1389929 1360039 1 - 0.0000 -
1579.57/1585.94 c 1586 1394330 1364219 1 - 0.0000 -
1584.56/1590.99 c 1591 1398701 1368319 1 - 0.0000 -
1589.64/1596.04 c 1596 1403224 1372777 1 - 0.0000 -
1594.72/1601.12 c 1601 1407615 1377019 1 - 0.0000 -
1599.70/1606.17 c 1606 1412235 1381505 1 - 0.0000 -
1604.77/1611.22 c 1611 1416658 1385777 1 - 0.0000 -
1609.76/1616.29 c 1616 1421333 1390449 1 - 0.0000 -
1614.84/1621.38 c 1621 1425953 1395047 1 - 0.0000 -
1619.92/1626.45 c 1626 1430355 1399214 1 - 0.0000 -
1625.00/1631.51 c 1632 1434756 1403549 1 - 0.0000 -
1629.98/1636.59 c 1637 1439254 1408035 1 - 0.0000 -
1635.07/1641.64 c 1642 1443785 1412435 1 - 0.0000 -
1640.15/1646.70 c 1647 1448386 1416863 1 - 0.0000 -
1645.13/1651.76 c 1652 1452832 1421029 1 - 0.0000 -
1650.21/1656.81 c 1657 1457213 1425285 1 - 0.0000 -
1655.19/1661.86 c 1662 1461802 1429645 1 - 0.0000 -
1660.28/1666.92 c 1667 1466389 1434188 1 - 0.0000 -
1665.26/1671.97 c 1672 1470806 1438531 1 - 0.0000 -
1670.34/1677.05 c 1677 1475307 1442963 1 - 0.0000 -
1675.32/1682.10 c 1682 1479814 1447282 1 - 0.0000 -
1680.40/1687.17 c 1687 1484387 1451732 1 - 0.0000 -
1685.48/1692.23 c 1692 1488762 1456032 1 - 0.0000 -
1690.47/1697.29 c 1697 1493140 1460360 1 - 0.0000 -
1695.54/1702.38 c 1702 1497652 1464751 1 - 0.0000 -
1700.62/1707.44 c 1707 1502124 1469064 1 - 0.0000 -
1705.71/1712.52 c 1713 1506801 1473625 1 - 0.0000 -
1710.79/1717.61 c 1718 1511456 1478181 1 - 0.0000 -
1715.77/1722.65 c 1723 1516020 1482739 1 - 0.0000 -
1720.85/1727.70 c 1728 1520839 1487558 1 - 0.0000 -
1725.83/1732.75 c 1733 1525397 1491977 1 - 0.0000 -
1730.92/1737.81 c 1738 1529734 1496215 1 - 0.0000 -
1735.90/1742.86 c 1743 1534491 1500972 1 - 0.0000 -
1740.98/1747.93 c 1748 1539036 1505487 1 - 0.0000 -
1746.06/1753.01 c 1753 1543415 1509840 1 - 0.0000 -
1751.05/1758.10 c 1758 1547981 1514351 1 - 0.0000 -
1756.12/1763.16 c 1763 1552449 1518780 1 - 0.0000 -
1761.20/1768.22 c 1768 1556829 1523098 1 - 0.0000 -
1766.19/1773.29 c 1773 1561467 1527683 1 - 0.0000 -
1771.27/1778.33 c 1778 1566083 1532186 1 - 0.0000 -
1776.35/1783.41 c 1783 1570635 1536717 1 - 0.0000 -
1781.33/1788.49 c 1788 1575001 1541064 1 - 0.0000 -
1786.41/1793.56 c 1794 1579457 1545470 1 - 0.0000 -
1791.49/1798.61 c 1799 1584149 1550082 1 - 0.0000 -
1796.58/1803.71 c 1804 1588521 1554307 1 - 0.0000 -
1801.55/1808.77 c 1809 1593378 1559017 1 - 0.0000 -
1806.64/1813.88 c 1814 1597865 1563436 1 - 0.0000 -
1811.72/1818.92 c 1819 1602480 1567975 1 - 0.0000 -
1816.81/1824.07 c 1824 1607498 1572906 1 - 0.0000 -
1821.88/1829.11 c 1829 1611925 1577065 1 - 0.0000 -
1826.96/1834.20 c 1834 1616557 1581679 1 - 0.0000 -
1831.94/1839.25 c 1839 1620908 1585883 1 - 0.0000 -
1837.03/1844.31 c 1844 1625547 1590425 1 - 0.0000 -
1842.11/1849.40 c 1849 1629839 1594660 1 - 0.0000 -
1847.19/1854.50 c 1855 1634313 1599099 1 - 0.0000 -
1852.17/1859.55 c 1860 1638944 1603663 1 - 0.0000 -
1857.25/1864.60 c 1865 1643529 1608195 1 - 0.0000 -
1862.24/1869.68 c 1870 1648005 1612662 1 - 0.0000 -
1867.31/1874.73 c 1875 1652462 1617087 1 - 0.0000 -
1872.30/1879.79 c 1880 1657015 1621557 1 - 0.0000 -
1877.38/1884.84 c 1885 1661479 1625919 1 - 0.0000 -
1882.46/1889.92 c 1890 1666063 1630484 1 - 0.0000 -
1887.55/1895.01 c 1895 1670591 1634786 1 - 0.0000 -
1892.54/1900.08 c 1900 1674996 1639171 1 - 0.0000 -
1897.62/1905.13 c 1905 1679734 1643829 1 - 0.0000 -
1902.60/1910.19 c 1910 1684223 1648228 1 - 0.0000 -
1907.67/1915.26 c 1915 1688726 1652718 1 - 0.0000 -
1912.75/1920.32 c 1920 1693362 1657349 1 - 0.0000 -
1917.73/1925.38 c 1925 1698053 1662004 1 - 0.0000 -
1922.82/1930.49 c 1930 1702344 1666124 1 - 0.0000 -
1927.90/1935.58 c 1936 1706884 1670653 1 - 0.0000 -
1932.98/1940.64 c 1941 1711467 1675178 1 - 0.0000 -
1938.06/1945.70 c 1946 1716094 1679623 1 - 0.0000 -
1943.04/1950.76 c 1951 1720715 1684179 1 - 0.0000 -
1948.12/1955.82 c 1956 1725412 1688770 1 - 0.0000 -
1953.10/1960.89 c 1961 1729854 1693063 1 - 0.0000 -
1958.18/1965.95 c 1966 1734546 1697650 1 - 0.0000 -
1963.27/1971.05 c 1971 1739027 1701893 1 - 0.0000 -
1968.35/1976.12 c 1976 1743551 1706288 1 - 0.0000 -
1973.34/1981.18 c 1981 1748137 1710863 1 - 0.0000 -
1978.41/1986.23 c 1986 1752715 1715264 1 - 0.0000 -
1983.39/1991.29 c 1991 1757358 1719873 1 - 0.0000 -
1988.47/1996.34 c 1996 1761573 1724057 1 - 0.0000 -
1993.55/2001.45 c 2001 1766248 1728648 1 - 0.0000 -
1998.62/2006.51 c 2007 1770817 1733183 1 - 0.0000 -
2003.70/2011.61 c 2012 1775276 1737582 1 - 0.0000 -
2008.68/2016.67 c 2017 1779875 1741967 1 - 0.0000 -
2013.76/2021.73 c 2022 1784525 1746491 1 - 0.0000 -
2018.73/2026.79 c 2027 1789071 1750916 1 - 0.0000 -
2023.81/2031.83 c 2032 1793697 1755506 1 - 0.0000 -
2028.79/2036.88 c 2037 1798270 1759974 1 - 0.0000 -
2033.87/2041.94 c 2042 1802806 1764435 1 - 0.0000 -
2038.95/2047.00 c 2047 1807297 1768818 1 - 0.0000 -
2043.93/2052.04 c 2052 1811851 1773150 1 - 0.0000 -
2049.02/2057.11 c 2057 1816248 1777341 1 - 0.0000 -
2054.09/2062.20 c 2062 1820698 1781709 1 - 0.0000 -
2059.07/2067.25 c 2067 1825227 1786058 1 - 0.0000 -
2064.15/2072.31 c 2072 1829819 1790521 1 - 0.0000 -
2069.14/2077.39 c 2077 1834485 1795170 1 - 0.0000 -
2074.22/2082.44 c 2082 1838944 1799629 1 - 0.0000 -
2079.29/2087.50 c 2088 1843573 1804206 1 - 0.0000 -
2084.28/2092.54 c 2093 1848164 1808704 1 - 0.0000 -
2089.36/2097.60 c 2098 1852514 1812837 1 - 0.0000 -
2094.34/2102.66 c 2103 1857464 1817284 1 - 0.0000 -
2099.42/2107.74 c 2108 1862141 1821868 1 - 0.0000 -
2104.39/2112.79 c 2113 1866749 1826464 1 - 0.0000 -
2109.47/2117.88 c 2118 1871203 1830893 1 - 0.0000 -
2114.55/2122.94 c 2123 1875797 1835448 1 - 0.0000 -
2119.63/2128.04 c 2128 1880378 1839984 1 - 0.0000 -
2124.61/2133.09 c 2133 1885164 1844753 1 - 0.0000 -
2129.69/2138.14 c 2138 1889643 1849206 1 - 0.0000 -
2134.77/2143.20 c 2143 1894241 1853800 1 - 0.0000 -
2139.85/2148.32 c 2148 1898769 1858328 1 - 0.0000 -
2144.83/2153.37 c 2153 1903487 1863044 1 - 0.0000 -
2149.92/2158.48 c 2158 1908126 1867677 1 - 0.0000 -
2154.99/2163.56 c 2164 1912693 1872244 1 - 0.0000 -
2160.08/2168.60 c 2169 1917504 1877055 1 - 0.0000 -
2165.06/2173.67 c 2174 1922385 1881936 1 - 0.0000 -
2170.14/2178.72 c 2179 1927228 1886779 1 - 0.0000 -
2175.22/2183.81 c 2184 1931863 1891411 1 - 0.0000 -
2180.31/2188.90 c 2189 1936633 1896175 1 - 0.0000 -
2185.29/2193.97 c 2194 1941097 1900639 1 - 0.0000 -
2190.37/2199.02 c 2199 1945599 1905141 1 - 0.0000 -
2195.35/2204.07 c 2204 1950197 1909739 1 - 0.0000 -
2200.44/2209.14 c 2209 1954861 1914397 1 - 0.0000 -
2205.51/2214.24 c 2214 1959447 1918971 1 - 0.0000 -
2210.50/2219.28 c 2219 1963986 1923510 1 - 0.0000 -
2215.58/2224.34 c 2224 1968432 1927956 1 - 0.0000 -
2220.66/2229.40 c 2229 1972962 1932486 1 - 0.0000 -
2225.64/2234.47 c 2234 1977695 1937219 1 - 0.0000 -
2230.72/2239.53 c 2240 1982191 1941715 1 - 0.0000 -
2235.81/2244.60 c 2245 1986485 1946009 1 - 0.0000 -
2240.79/2249.64 c 2250 1990807 1950331 1 - 0.0000 -
2245.87/2254.70 c 2255 1995170 1954694 1 - 0.0000 -
2250.95/2259.82 c 2260 1999572 1959096 1 - 0.0000 -
2255.93/2264.88 c 2265 2004088 1963612 1 - 0.0000 -
2261.01/2269.93 c 2270 2008367 1967887 1 - 0.0000 -
2265.99/2274.98 c 2275 2013045 1972565 1 - 0.0000 -
2271.08/2280.03 c 2280 2017549 1977069 1 - 0.0000 -
2276.05/2285.10 c 2285 2021935 1981455 1 - 0.0000 -
2281.13/2290.15 c 2290 2026550 1986070 1 - 0.0000 -
2286.21/2295.23 c 2295 2030931 1990445 1 - 0.0000 -
2291.18/2300.28 c 2300 2035327 1994841 1 - 0.0000 -
2296.27/2305.33 c 2305 2039844 1999358 1 - 0.0000 -
2301.24/2310.39 c 2310 2044265 2003776 1 - 0.0000 -
2306.32/2315.46 c 2315 2048788 2008299 1 - 0.0000 -
2311.40/2320.54 c 2321 2053013 2012506 1 - 0.0000 -
2316.48/2325.60 c 2326 2057215 2016708 1 - 0.0000 -
2321.45/2330.67 c 2331 2061645 2021138 1 - 0.0000 -
2326.53/2335.71 c 2336 2066083 2025576 1 - 0.0000 -
2331.61/2340.81 c 2341 2070531 2030024 1 - 0.0000 -
2336.59/2345.89 c 2346 2075173 2034666 1 - 0.0000 -
2341.66/2350.95 c 2351 2079703 2039196 1 - 0.0000 -
2346.74/2356.00 c 2356 2084128 2043609 1 - 0.0000 -
2351.72/2361.08 c 2361 2088390 2047871 1 - 0.0000 -
2356.80/2366.13 c 2366 2092763 2052244 1 - 0.0000 -
2361.79/2371.18 c 2371 2097162 2056643 1 - 0.0000 -
2366.86/2376.25 c 2376 2101470 2060951 1 - 0.0000 -
2371.94/2381.33 c 2381 2106084 2065565 1 - 0.0000 -
2376.92/2386.38 c 2386 2110721 2070196 1 - 0.0000 -
2381.99/2391.45 c 2391 2115373 2074848 1 - 0.0000 -
2387.06/2396.50 c 2397 2119752 2079224 1 - 0.0000 -
2392.05/2401.56 c 2402 2124338 2083804 1 - 0.0000 -
2397.13/2406.67 c 2407 2128756 2088222 1 - 0.0000 -
2402.20/2411.71 c 2412 2133056 2092517 1 - 0.0000 -
2407.18/2416.77 c 2417 2137353 2096814 1 - 0.0000 -
2412.25/2421.86 c 2422 2141844 2101290 1 - 0.0000 -
2417.33/2426.92 c 2427 2146463 2105897 1 - 0.0000 -
2422.31/2431.98 c 2432 2151207 2110630 1 - 0.0000 -
2427.39/2437.06 c 2437 2155691 2115100 1 - 0.0000 -
2432.47/2442.17 c 2442 2160326 2119735 1 - 0.0000 -
2437.54/2447.22 c 2447 2164739 2124136 1 - 0.0000 -
2442.52/2452.27 c 2452 2168900 2128279 1 - 0.0000 -
2447.60/2457.32 c 2457 2173277 2132650 1 - 0.0000 -
2452.68/2462.40 c 2462 2177635 2137005 1 - 0.0000 -
2457.66/2467.46 c 2467 2181973 2141320 1 - 0.0000 -
2462.74/2472.51 c 2473 2186394 2145620 1 - 0.0000 -
2467.71/2477.59 c 2478 2191039 2150259 1 - 0.0000 -
2472.79/2482.65 c 2483 2195557 2154733 1 - 0.0000 -
2477.87/2487.72 c 2488 2199943 2159108 1 - 0.0000 -
2482.84/2492.78 c 2493 2204421 2163557 1 - 0.0000 -
2487.92/2497.84 c 2498 2209051 2168108 1 - 0.0000 -
2493.01/2502.90 c 2503 2213663 2172716 1 - 0.0000 -
2497.99/2507.96 c 2508 2218251 2177298 1 - 0.0000 -
2503.07/2513.01 c 2513 2222931 2181890 1 - 0.0000 -
2508.04/2518.07 c 2518 2227308 2186219 1 - 0.0000 -
2513.12/2523.13 c 2523 2231951 2190781 1 - 0.0000 -
2518.19/2528.22 c 2528 2236506 2195044 1 - 0.0000 -
2523.17/2533.28 c 2533 2240891 2199351 1 - 0.0000 -
2528.25/2538.34 c 2538 2245038 2203498 1 - 0.0000 -
2533.33/2543.40 c 2543 2249520 2207974 1 - 0.0000 -
2538.31/2548.47 c 2548 2253821 2212269 1 - 0.0000 -
2543.39/2553.52 c 2554 2258005 2216447 1 - 0.0000 -
2548.47/2558.61 c 2559 2262106 2220548 1 - 0.0000 -
2553.44/2563.65 c 2564 2266342 2224738 1 - 0.0000 -
2558.52/2568.70 c 2569 2270887 2229271 1 - 0.0000 -
2563.49/2573.79 c 2574 2275316 2233646 1 - 0.0000 -
2568.57/2578.85 c 2579 2279371 2237701 1 - 0.0000 -
2573.65/2583.94 c 2584 2283778 2242105 1 - 0.0000 -
2578.63/2588.99 c 2589 2288452 2246732 1 - 0.0000 -
2583.71/2594.06 c 2594 2292952 2251127 1 - 0.0000 -
2588.79/2599.16 c 2599 2297249 2255418 1 - 0.0000 -
2593.87/2604.27 c 2604 2301873 2259992 1 - 0.0000 -
2598.95/2609.35 c 2609 2306475 2264582 1 - 0.0000 -
2604.02/2614.42 c 2614 2311077 2269143 1 - 0.0000 -
2609.00/2619.48 c 2619 2315881 2273935 1 - 0.0000 -
2614.07/2624.55 c 2625 2320309 2278238 1 - 0.0000 -
2619.15/2629.62 c 2630 2324674 2282597 1 - 0.0000 -
2624.12/2634.68 c 2635 2329185 2287032 1 - 0.0000 -
2629.21/2639.77 c 2640 2334031 2291858 1 - 0.0000 -
2634.29/2644.82 c 2645 2338381 2296042 1 - 0.0000 -
2639.26/2649.88 c 2650 2342678 2300236 1 - 0.0000 -
2644.34/2654.96 c 2655 2347289 2304821 1 - 0.0000 -
2649.42/2660.03 c 2660 2352201 2309733 1 - 0.0000 -
2654.40/2665.09 c 2665 2357073 2314596 1 - 0.0000 -
2659.47/2670.15 c 2670 2361566 2319044 1 - 0.0000 -
2664.54/2675.20 c 2675 2366153 2323589 1 - 0.0000 -
2669.53/2680.27 c 2680 2370663 2328083 1 - 0.0000 -
2674.60/2685.34 c 2685 2375103 2332433 1 - 0.0000 -
2679.58/2690.38 c 2690 2379622 2336949 1 - 0.0000 -
2684.66/2695.46 c 2695 2384091 2341391 1 - 0.0000 -
2689.73/2700.52 c 2701 2388559 2345829 1 - 0.0000 -
2694.81/2705.61 c 2706 2393049 2350284 1 - 0.0000 -
2699.89/2710.70 c 2711 2397563 2354783 1 - 0.0000 -
2704.87/2715.78 c 2716 2402166 2359340 1 - 0.0000 -
2709.96/2720.85 c 2721 2406573 2363713 1 - 0.0000 -
2714.94/2725.89 c 2726 2410807 2367947 1 - 0.0000 -
2720.12/2731.02 c 2731 2415185 2372288 1 - 0.0000 -
2725.10/2736.09 c 2736 2419710 2376813 1 - 0.0000 -
2730.18/2741.14 c 2741 2424094 2381173 1 - 0.0000 -
2735.27/2746.21 c 2746 2428591 2385655 1 - 0.0000 -
2740.25/2751.29 c 2751 2432941 2389965 1 - 0.0000 -
2745.32/2756.34 c 2756 2437606 2394533 1 - 0.0000 -
2750.41/2761.43 c 2761 2442037 2398906 1 - 0.0000 -
2755.39/2766.47 c 2766 2446477 2403305 1 - 0.0000 -
2760.47/2771.52 c 2772 2450822 2407528 1 - 0.0000 -
2765.45/2776.58 c 2777 2455277 2411910 1 - 0.0000 -
2770.53/2781.66 c 2782 2459678 2416210 1 - 0.0000 -
2775.61/2786.72 c 2787 2464044 2420539 1 - 0.0000 -
2780.60/2791.78 c 2792 2468362 2424830 1 - 0.0000 -
2785.68/2796.83 c 2797 2472786 2429189 1 - 0.0000 -
2790.66/2801.89 c 2802 2477036 2433434 1 - 0.0000 -
2795.74/2806.96 c 2807 2481443 2437795 1 - 0.0000 -
2800.83/2812.01 c 2812 2485888 2441875 1 - 0.0000 -
2805.81/2817.06 c 2817 2490186 2445778 1 - 0.0000 -
2810.89/2822.12 c 2822 2494652 2450212 1 - 0.0000 -
2815.87/2827.17 c 2827 2498795 2454355 1 - 0.0000 -
2820.95/2832.22 c 2832 2503077 2458637 1 - 0.0000 -
2826.03/2837.30 c 2837 2507123 2462683 1 - 0.0000 -
2831.01/2842.35 c 2842 2511559 2467075 1 - 0.0000 -
2836.09/2847.43 c 2847 2516287 2471707 1 - 0.0000 -
2841.07/2852.49 c 2852 2520743 2476077 1 - 0.0000 -
2846.16/2857.54 c 2858 2525267 2480579 1 - 0.0000 -
2851.14/2862.59 c 2863 2529570 2484882 1 - 0.0000 -
2856.23/2867.65 c 2868 2533897 2489205 1 - 0.0000 -
2861.31/2872.71 c 2873 2538349 2493657 1 - 0.0000 -
2866.29/2877.79 c 2878 2542705 2498013 1 - 0.0000 -
2871.36/2882.89 c 2883 2547117 2502425 1 - 0.0000 -
2876.44/2887.93 c 2888 2551685 2506959 1 - 0.0000 -
2881.52/2893.00 c 2893 2555981 2511223 1 - 0.0000 -
2886.50/2898.07 c 2898 2560295 2515533 1 - 0.0000 -
2891.58/2903.18 c 2903 2564825 2520042 1 - 0.0000 -
2896.65/2908.26 c 2908 2569103 2524305 1 - 0.0000 -
2901.73/2913.30 c 2913 2573246 2528433 1 - 0.0000 -
2906.80/2918.40 c 2918 2577929 2533087 1 - 0.0000 -
2911.79/2923.45 c 2923 2582667 2537695 1 - 0.0000 -
2916.86/2928.51 c 2929 2587333 2542326 1 - 0.0000 -
2921.84/2933.59 c 2934 2591839 2546811 1 - 0.0000 -
2926.92/2938.65 c 2939 2596364 2551324 1 - 0.0000 -
2932.00/2943.71 c 2944 2600621 2555573 1 - 0.0000 -
2937.07/2948.81 c 2949 2605181 2560107 1 - 0.0000 -
2942.05/2953.86 c 2954 2609671 2564523 1 - 0.0000 -
2947.14/2958.94 c 2959 2614265 2569034 1 - 0.0000 -
2952.11/2963.99 c 2964 2618886 2573641 1 - 0.0000 -
2957.19/2969.04 c 2969 2623208 2577745 1 - 0.0000 -
2962.17/2974.10 c 2974 2627429 2581728 1 - 0.0000 -
2967.25/2979.16 c 2979 2631661 2585807 1 - 0.0000 -
2972.32/2984.22 c 2984 2635865 2589981 1 - 0.0000 -
2977.30/2989.28 c 2989 2640141 2594205 1 - 0.0000 -
2982.37/2994.34 c 2994 2644495 2598553 1 - 0.0000 -
2987.45/2999.42 c 2999 2648940 2602907 1 - 0.0000 -
2992.54/3004.52 c 3005 2653324 2607244 1 - 0.0000 -
2997.61/3009.65 c 3010 2657597 2611469 1 - 0.0000 -
3002.68/3014.72 c 3015 2661874 2615724 1 - 0.0000 -
3007.66/3019.78 c 3020 2666221 2620011 1 - 0.0000 -
3012.74/3024.84 c 3025 2670696 2624443 1 - 0.0000 -
3017.82/3029.91 c 3030 2675118 2628853 1 - 0.0000 -
3022.80/3034.96 c 3035 2679575 2633269 1 - 0.0000 -
3027.88/3040.05 c 3040 2684005 2637507 1 - 0.0000 -
3032.87/3045.10 c 3045 2688464 2641920 1 - 0.0000 -
3037.94/3050.16 c 3050 2692426 2645862 1 - 0.0000 -
3043.01/3055.21 c 3055 2696675 2650071 1 - 0.0000 -
3047.99/3060.26 c 3060 2701118 2654510 1 - 0.0000 -
3053.07/3065.32 c 3065 2705448 2658692 1 - 0.0000 -
3058.05/3070.38 c 3070 2709770 2662836 1 - 0.0000 -
3063.12/3075.45 c 3075 2714311 2667257 1 - 0.0000 -
3068.21/3080.52 c 3081 2718893 2671707 1 - 0.0000 -
3073.19/3085.57 c 3086 2723494 2676244 1 - 0.0000 -
3078.26/3090.63 c 3091 2728047 2680763 1 - 0.0000 -
3083.24/3095.69 c 3096 2732577 2685193 1 - 0.0000 -
3088.31/3100.76 c 3101 2737063 2689647 1 - 0.0000 -
3093.40/3105.80 c 3106 2741569 2694123 1 - 0.0000 -
3098.37/3110.89 c 3111 2745847 2698290 1 - 0.0000 -
3103.45/3115.97 c 3116 2750225 2702662 1 - 0.0000 -
3108.53/3121.04 c 3121 2754883 2707290 1 - 0.0000 -
3113.61/3126.10 c 3126 2759311 2711637 1 - 0.0000 -
3118.58/3131.16 c 3131 2763811 2716105 1 - 0.0000 -
3123.66/3136.26 c 3136 2768657 2720951 1 - 0.0000 -
3128.74/3141.31 c 3141 2773176 2725301 1 - 0.0000 -
3133.82/3146.43 c 3146 2777753 2729816 1 - 0.0000 -
3138.89/3151.53 c 3152 2782177 2734207 1 - 0.0000 -
3143.87/3156.59 c 3157 2786626 2738605 1 - 0.0000 -
3148.95/3161.68 c 3162 2791074 2742944 1 - 0.0000 -
3154.03/3166.75 c 3167 2795478 2747310 1 - 0.0000 -
3159.11/3171.83 c 3172 2799901 2751730 1 - 0.0000 -
3164.19/3176.90 c 3177 2804291 2756120 1 - 0.0000 -
3169.27/3182.00 c 3182 2809043 2760872 1 - 0.0000 -
3174.25/3187.04 c 3187 2813697 2765526 1 - 0.0000 -
3179.33/3192.16 c 3192 2818497 2770326 1 - 0.0000 -
3184.40/3197.22 c 3197 2823299 2775128 1 - 0.0000 -
3189.49/3202.34 c 3202 2828037 2779866 1 - 0.0000 -
3194.57/3207.40 c 3207 2832571 2784400 1 - 0.0000 -
3199.65/3212.51 c 3213 2837065 2788823 1 - 0.0000 -
3204.63/3217.57 c 3218 2841591 2793237 1 - 0.0000 -
3209.71/3222.65 c 3223 2846048 2797617 1 - 0.0000 -
3214.80/3227.71 c 3228 2850172 2801698 1 - 0.0000 -
3219.78/3232.78 c 3233 2854501 2805985 1 - 0.0000 -
3224.85/3237.83 c 3238 2858909 2810393 1 - 0.0000 -
3229.84/3242.89 c 3243 2863312 2814796 1 - 0.0000 -
3235.03/3248.00 c 3248 2867621 2818898 1 - 0.0000 -
3240.01/3253.08 c 3253 2872021 2823289 1 - 0.0000 -
3245.09/3258.17 c 3258 2876478 2827659 1 - 0.0000 -
3250.17/3263.23 c 3263 2880994 2831980 1 - 0.0000 -
3255.15/3268.28 c 3268 2885341 2836327 1 - 0.0000 -
3260.23/3273.34 c 3273 2889840 2840826 1 - 0.0000 -
3265.31/3278.41 c 3278 2893959 2844935 1 - 0.0000 -
3270.30/3283.47 c 3283 2898225 2849201 1 - 0.0000 -
3275.38/3288.53 c 3289 2902571 2853547 1 - 0.0000 -
3280.47/3293.62 c 3294 2906965 2857932 1 - 0.0000 -
3285.45/3298.68 c 3299 2911349 2862269 1 - 0.0000 -
3290.52/3303.74 c 3304 2915803 2866713 1 - 0.0000 -
3295.60/3308.80 c 3309 2920294 2871184 1 - 0.0000 -
3300.59/3313.86 c 3314 2924736 2875613 1 - 0.0000 -
3305.67/3318.92 c 3319 2929174 2880032 1 - 0.0000 -
3310.66/3323.97 c 3324 2933771 2884601 1 - 0.0000 -
3315.74/3329.05 c 3329 2938189 2889007 1 - 0.0000 -
3320.73/3334.10 c 3334 2942476 2893280 1 - 0.0000 -
3325.80/3339.16 c 3339 2947012 2897712 1 - 0.0000 -
3330.88/3344.24 c 3344 2951458 2902124 1 - 0.0000 -
3335.97/3349.31 c 3349 2955916 2906532 1 - 0.0000 -
3340.95/3354.36 c 3354 2960215 2910739 1 - 0.0000 -
3346.03/3359.41 c 3359 2964419 2914819 1 - 0.0000 -
3351.11/3364.52 c 3365 2968821 2919125 1 - 0.0000 -
3356.19/3369.61 c 3370 2973317 2923540 1 - 0.0000 -
3361.17/3374.66 c 3375 2977638 2927790 1 - 0.0000 -
3366.24/3379.74 c 3380 2982119 2932175 1 - 0.0000 -
3371.33/3384.82 c 3385 2986825 2936841 1 - 0.0000 -
3376.31/3389.87 c 3390 2991492 2941508 1 - 0.0000 -
3381.38/3394.95 c 3395 2996101 2946117 1 - 0.0000 -
3386.46/3400.02 c 3400 3000866 2950874 1 - 0.0000 -
3391.44/3405.08 c 3405 3005688 2955696 1 - 0.0000 -
3396.52/3410.15 c 3410 3010203 2960211 1 - 0.0000 -
3401.59/3415.21 c 3415 3015009 2965017 1 - 0.0000 -
3406.57/3420.26 c 3420 3019284 2969292 1 - 0.0000 -
3411.65/3425.31 c 3425 3023823 2973831 1 - 0.0000 -
3416.63/3430.38 c 3430 3028368 2978374 1 - 0.0000 -
3421.71/3435.43 c 3435 3032779 2982777 1 - 0.0000 -
3426.78/3440.54 c 3441 3037379 2987377 1 - 0.0000 -
3431.86/3445.60 c 3446 3041752 2991750 1 - 0.0000 -
3436.84/3450.66 c 3451 3046398 2996396 1 - 0.0000 -
3441.92/3455.73 c 3456 3051059 3001057 1 - 0.0000 -
3447.00/3460.81 c 3461 3055714 3005712 1 - 0.0000 -
3451.98/3465.87 c 3466 3060192 3010063 1 - 0.0000 -
3457.06/3470.92 c 3471 3064747 3014499 1 - 0.0000 -
3462.14/3476.00 c 3476 3069115 3018860 1 - 0.0000 -
3467.11/3481.05 c 3481 3073349 3023076 1 - 0.0000 -
3472.20/3486.11 c 3486 3077854 3027374 1 - 0.0000 -
3477.18/3491.19 c 3491 3082214 3031719 1 - 0.0000 -
3482.25/3496.25 c 3496 3086139 3035525 1 - 0.0000 -
3487.32/3501.34 c 3501 3090601 3039948 1 - 0.0000 -
3492.40/3506.43 c 3506 3095091 3044335 1 - 0.0000 -
3497.48/3511.53 c 3512 3099794 3048981 1 - 0.0000 -
3502.46/3516.59 c 3517 3104439 3053597 1 - 0.0000 -
3507.54/3521.65 c 3522 3108928 3058077 1 - 0.0000 -
3512.62/3526.74 c 3527 3113478 3062530 1 - 0.0000 -
3517.59/3531.78 c 3532 3117680 3066676 1 - 0.0000 -
3522.67/3536.87 c 3537 3121903 3070866 1 - 0.0000 -
3527.75/3541.94 c 3542 3126213 3075137 1 - 0.0000 -
3532.73/3546.98 c 3547 3130961 3079771 1 - 0.0000 -
3537.81/3552.03 c 3552 3135565 3084282 1 - 0.0000 -
3542.79/3557.08 c 3557 3140047 3088710 1 - 0.0000 -
3547.87/3562.13 c 3562 3144591 3092993 1 - 0.0000 -
3552.85/3567.19 c 3567 3148825 3097150 1 - 0.0000 -
3557.92/3572.24 c 3572 3153531 3101832 1 - 0.0000 -
3563.00/3577.30 c 3577 3157981 3106026 1 - 0.0000 -
3567.97/3582.36 c 3582 3162471 3110446 1 - 0.0000 -
3573.06/3587.45 c 3587 3167081 3115029 1 - 0.0000 -
3578.03/3592.49 c 3592 3171412 3119330 1 - 0.0000 -
3583.11/3597.55 c 3598 3175583 3123440 1 - 0.0000 -
3588.39/3602.88 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.39/3602.88 c Total Time : 3602.8800
3588.39/3602.88 c solving : 3602.8800
3588.39/3602.88 c presolving : 0.0116 (included in solving)
3588.39/3602.88 c B&B Tree :
3588.39/3602.88 c nodes (total) : 1
3588.39/3602.88 c Solution :
3588.39/3602.89 c Solutions found : 0
3588.39/3602.89 c Primal Bound : -
3588.39/3602.89 c Dual Bound : +0.00000000000000e+00
3588.39/3602.89 c Gap : -
3588.48/3602.91 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61083 MiB free)
memory of node 1: 64510 MiB (62972 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447790-1721361233/watcher-4447790-1721361233 -o /tmp/evaluation-result-4447790-1721361233/solver-4447790-1721361233 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721361246-1011502 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447790-1721361233.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
Current StackSize limit: 8192 KiB
solver pid=1011560, runsolver pid=1011550
[startup+0.100924 s]*
/proc/loadavg: 1.10 1.97 3.02 9/267 1011575
/proc/meminfo: memFree=126944496/131524600 swapFree=131071996/131071996
[pid=1011560] ppid=1011550 vsize=112524 memory=33816 CPUtime=0.1 cores=0,2
/proc/1011560/stat : 1011560 (fscip) S 1011550 1011560 1011492 0 -1 1077936128 6119 0 0 0 9 1 0 0 20 0 3 0 188287519 115224576 8454 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
/proc/1011560/statm: 28131 8454 2910 3032 0 12407 0
[pid=1011560/tid=1011572] ppid=1011550 vsize=112524 memory=4026531971 CPUtime=0.07 cores=0,2
/proc/1011560/task/1011572/stat : 1011572 (fscip) R 1011550 1011560 1011492 0 -1 4194368 3603 0 0 0 7 0 0 0 20 0 3 0 188287521 115224576 8454 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
[pid=1011560/tid=1011573] ppid=1011550 vsize=112524 memory=19020 CPUtime=0 cores=0,2
/proc/1011560/task/1011573/stat : 1011573 (fscip) S 1011550 1011560 1011492 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188287522 115224576 8454 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 112524 KiB
Current children cumulated memory: 33816 KiB
[startup+0.210923 s]*
/proc/loadavg: 1.10 1.97 3.02 8/267 1011575
/proc/meminfo: memFree=126927872/131524600 swapFree=131071996/131071996
[pid=1011560] ppid=1011550 vsize=112524 memory=34928 CPUtime=0.19 cores=0,2
/proc/1011560/stat : 1011560 (fscip) S 1011550 1011560 1011492 0 -1 1077936128 6413 0 0 0 18 1 0 0 20 0 3 0 188287519 115224576 8732 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
/proc/1011560/statm: 28131 8732 2926 3032 0 12407 0
[pid=1011560/tid=1011572] ppid=1011550 vsize=112524 memory=8603368907145347203 CPUtime=0.17 cores=0,2
/proc/1011560/task/1011572/stat : 1011572 (fscip) R 1011550 1011560 1011492 0 -1 4194368 3897 0 0 0 17 0 0 0 20 0 3 0 188287521 115224576 8732 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
[pid=1011560/tid=1011573] ppid=1011550 vsize=112524 memory=19020 CPUtime=0 cores=0,2
/proc/1011560/task/1011573/stat : 1011573 (fscip) S 1011550 1011560 1011492 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188287522 115224576 8732 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 112524 KiB
Current children cumulated memory: 34928 KiB
[startup+0.304924 s]*
/proc/loadavg: 1.10 1.97 3.02 5/267 1011575
/proc/meminfo: memFree=126921724/131524600 swapFree=131071996/131071996
[pid=1011560] ppid=1011550 vsize=114196 memory=39152 CPUtime=0.28 cores=0,2
/proc/1011560/stat : 1011560 (fscip) S 1011550 1011560 1011492 0 -1 1077936128 7494 0 0 0 27 1 0 0 20 0 3 0 188287519 116936704 9788 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
/proc/1011560/statm: 28549 9788 2926 3032 0 13296 0
[pid=1011560/tid=1011572] ppid=1011550 vsize=114196 memory=-7880590079371469183 CPUtime=0.27 cores=0,2
/proc/1011560/task/1011572/stat : 1011572 (fscip) R 1011550 1011560 1011492 0 -1 4194368 4978 0 0 0 26 1 0 0 20 0 3 0 188287521 116936704 9788 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
[pid=1011560/tid=1011573] ppid=1011550 vsize=114196 memory=4571036637617787759 CPUtime=0 cores=0,2
/proc/1011560/task/1011573/stat : 1011573 (fscip) S 1011550 1011560 1011492 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188287522 116936704 9788 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 114196 KiB
Current children cumulated memory: 39152 KiB
[startup+0.700177 s]
/proc/loadavg: 1.10 1.97 3.02 5/267 1011575
/proc/meminfo: memFree=126904284/131524600 swapFree=131071996/131071996
[pid=1011560] ppid=1011550 vsize=114196 memory=46004 CPUtime=0.67 cores=0,2
/proc/1011560/stat : 1011560 (fscip) S 1011550 1011560 1011492 0 -1 1077936128 9485 0 0 0 66 1 0 0 20 0 3 0 188287519 116936704 11501 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
/proc/1011560/statm: 28549 11501 2942 3032 0 15155 0
[pid=1011560/tid=1011572] ppid=1011550 vsize=114196 memory=0 CPUtime=0.65 cores=0,2
/proc/1011560/task/1011572/stat : 1011572 (fscip) R 1011550 1011560 1011492 0 -1 4194368 6969 0 0 0 64 1 0 0 20 0 3 0 188287521 116936704 11501 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
[pid=1011560/tid=1011573] ppid=1011550 vsize=114196 memory=0 CPUtime=0 cores=0,2
/proc/1011560/task/1011573/stat : 1011573 (fscip) S 1011550 1011560 1011492 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188287522 116936704 11501 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 114196 KiB
Current children cumulated memory: 46004 KiB
[startup+1.5002 s]
/proc/loadavg: 1.10 1.97 3.02 7/267 1011575
/proc/meminfo: memFree=126897268/131524600 swapFree=131071996/131071996
[pid=1011560] ppid=1011550 vsize=114888 memory=49440 CPUtime=1.47 cores=0,2
/proc/1011560/stat : 1011560 (fscip) S 1011550 1011560 1011492 0 -1 1077936128 14357 0 0 0 145 2 0 0 20 0 3 0 188287519 117645312 12360 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
/proc/1011560/statm: 28722 12360 2942 3032 0 16129 0
[pid=1011560/tid=1011572] ppid=1011550 vsize=114888 memory=0 CPUtime=1.45 cores=0,2
/proc/1011560/task/1011572/stat : 1011572 (fscip) R 1011550 1011560 1011492 0 -1 4194368 11841 0 0 0 144 1 0 0 20 0 3 0 188287521 117645312 12360 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
[pid=1011560/tid=1011573] ppid=1011550 vsize=114888 memory=0 CPUtime=0 cores=0,2
/proc/1011560/task/1011573/stat : 1011573 (fscip) S 1011550 1011560 1011492 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188287522 117645312 12360 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 114888 KiB
Current children cumulated memory: 49440 KiB
[startup+3.10661 s]
/proc/loadavg: 1.34 2.00 3.03 7/267 1011575
/proc/meminfo: memFree=126864772/131524600 swapFree=131071996/131071996
[pid=1011560] ppid=1011550 vsize=114888 memory=51724 CPUtime=3.07 cores=0,2
/proc/1011560/stat : 1011560 (fscip) S 1011550 1011560 1011492 0 -1 1077936128 15343 0 0 0 305 2 0 0 20 0 3 0 188287519 117645312 12931 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
/proc/1011560/statm: 28722 12931 2942 3032 0 16354 0
[pid=1011560/tid=1011572] ppid=1011550 vsize=114888 memory=0 CPUtime=3.05 cores=0,2
/proc/1011560/task/1011572/stat : 1011572 (fscip) R 1011550 1011560 1011492 0 -1 4194368 12808 0 0 0 304 1 0 0 20 0 3 0 188287521 117645312 12931 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
[pid=1011560/tid=1011573] ppid=1011550 vsize=114888 memory=2273 CPUtime=0 cores=0,2
/proc/1011560/task/1011573/stat : 1011573 (fscip) S 1011550 1011560 1011492 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 188287522 117645312 12931 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 114888 KiB
Current children cumulated memory: 51724 KiB
[startup+6.30023 s]
/proc/loadavg: 1.34 2.00 3.03 8/267 1011577
/proc/meminfo: memFree=126838988/131524600 swapFree=131071996/131071996
[pid=1011560] ppid=1011550 vsize=114888 memory=60156 CPUtime=6.25 cores=0,2
/proc/1011560/stat : 1011560 (fscip) S 1011550 1011560 1011492 0 -1 1077936128 22598 0 0 0 623 2 0 0 20 0 3 0 188287519 117645312 15039 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
/proc/1011560/statm: 28722 15039 2990 3032 0 18608 0
[pid=1011560/tid=1011572] ppid=1011550 vsize=114888 memory=0 CPUtime=6.23 cores=0,2
/proc/1011560/task/1011572/stat : 1011572 (fscip) R 1011550 1011560 1011492 0 -1 4194368 20037 0 0 0 621 2 0 0 20 0 3 0 188287521 117645312 15039 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
[pid=1011560/tid=1011573] ppid=1011550 vsize=114888 memory=11604 CPUtime=0 cores=0,2
/proc/1011560/task/1011573/stat : 1011573 (fscip) S 1011550 1011560 1011492 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 188287522 117645312 15039 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 114888 KiB
Current children cumulated memory: 60156 KiB
[startup+12.7002 s]
/proc/loadavg: 1.83 2.08 3.05 6/267 1011625
/proc/meminfo: memFree=126836424/131524600 swapFree=131071996/131071996
[pid=1011560] ppid=1011550 vsize=115852 memory=61800 CPUtime=12.63 cores=0,2
/proc/1011560/stat : 1011560 (fscip) S 1011550 1011560 1011492 0 -1 1077936128 32331 0 0 0 1259 4 0 0 20 0 3 0 188287519 118632448 15450 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
/proc/1011560/statm: 28963 15450 2990 3032 0 18849 0
[pid=1011560/tid=1011572] ppid=1011550 vsize=115852 memory=11604 CPUtime=12.61 cores=0,2
/proc/1011560/task/1011572/stat : 1011572 (fscip) R 1011550 1011560 1011492 0 -1 4194368 29727 0 0 0 1257 4 0 0 20 0 3 0 188287521 118632448 15450 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
[pid=1011560/tid=1011573] ppid=1011550 vsize=115852 memory=51720 CPUtime=0 cores=0,2
/proc/1011560/task/1011573/stat : 1011573 (fscip) S 1011550 1011560 1011492 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 188287522 118632448 15450 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 115852 KiB
Current children cumulated memory: 61800 KiB
[startup+25.5002 s]
/proc/loadavg: 2.16 2.15 3.06 7/267 1011628
/proc/meminfo: memFree=126759548/131524600 swapFree=131071996/131071996
[pid=1011560] ppid=1011550 vsize=120420 memory=67496 CPUtime=25.38 cores=0,2
/proc/1011560/stat : 1011560 (fscip) S 1011550 1011560 1011492 0 -1 1077936128 43541 0 0 0 2532 6 0 0 20 0 3 0 188287519 123310080 16874 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
/proc/1011560/statm: 30105 16874 2990 3032 0 20383 0
[pid=1011560/tid=1011572] ppid=1011550 vsize=120420 memory=11604 CPUtime=25.36 cores=0,2
/proc/1011560/task/1011572/stat : 1011572 (fscip) R 1011550 1011560 1011492 0 -1 4194368 40883 0 0 0 2530 6 0 0 20 0 3 0 188287521 123310080 16874 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
[pid=1011560/tid=1011573] ppid=1011550 vsize=120420 memory=279382119771984 CPUtime=0 cores=0,2
/proc/1011560/task/1011573/stat : 1011573 (fscip) S 1011550 1011560 1011492 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 188287522 123310080 16874 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 120420 KiB
Current children cumulated memory: 67496 KiB
[startup+51.106 s]
/proc/loadavg: 2.79 2.30 3.08 7/267 1011679
/proc/meminfo: memFree=126784144/131524600 swapFree=131071996/131071996
[pid=1011560] ppid=1011550 vsize=126208 memory=84536 CPUtime=50.9 cores=0,2
/proc/1011560/stat : 1011560 (fscip) S 1011550 1011560 1011492 0 -1 1077936128 64705 0 0 0 5078 12 0 0 20 0 3 0 188287519 129236992 21134 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
/proc/1011560/statm: 31552 21134 2990 3032 0 24378 0
[pid=1011560/tid=1011572] ppid=1011550 vsize=126208 memory=11604 CPUtime=50.87 cores=0,2
/proc/1011560/task/1011572/stat : 1011572 (fscip) R 1011550 1011560 1011492 0 -1 4194368 61961 0 0 0 5076 11 0 0 20 0 3 0 188287521 129236992 21134 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
[pid=1011560/tid=1011573] ppid=1011550 vsize=126208 memory=81260 CPUtime=0 cores=0,2
/proc/1011560/task/1011573/stat : 1011573 (fscip) S 1011550 1011560 1011492 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 188287522 129236992 21134 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 126208 KiB
Current children cumulated memory: 84536 KiB
[startup+102.3 s]
/proc/loadavg: 3.64 2.62 3.15 7/265 1012068
/proc/meminfo: memFree=126603168/131524600 swapFree=131071996/131071996
[pid=1011560] ppid=1011550 vsize=203500 memory=121100 CPUtime=101.91 cores=0,2
/proc/1011560/stat : 1011560 (fscip) S 1011550 1011560 1011492 0 -1 1077936128 97702 0 0 0 10170 21 0 0 20 0 3 0 188287519 208384000 30275 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
/proc/1011560/statm: 50875 30275 2990 3032 0 33707 0
[pid=1011560/tid=1011572] ppid=1011550 vsize=203500 memory=11604 CPUtime=101.88 cores=0,2
/proc/1011560/task/1011572/stat : 1011572 (fscip) R 1011550 1011560 1011492 0 -1 4194368 94882 0 0 0 10168 20 0 0 20 0 3 0 188287521 208384000 30275 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
[pid=1011560/tid=1011573] ppid=1011550 vsize=203500 memory=46536 CPUtime=0 cores=0,2
/proc/1011560/task/1011573/stat : 1011573 (fscip) S 1011550 1011560 1011492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 188287522 208384000 30275 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 203500 KiB
Current children cumulated memory: 121100 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 2.87 3.20 7/265 1012079
/proc/meminfo: memFree=126381272/131524600 swapFree=131071996/131071996
[pid=1011560] ppid=1011550 vsize=213776 memory=166844 CPUtime=161.67 cores=0,2
/proc/1011560/stat : 1011560 (fscip) S 1011550 1011560 1011492 0 -1 1077936128 133688 0 0 0 16134 33 0 0 20 0 3 0 188287519 218906624 41711 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
/proc/1011560/statm: 53444 41711 2990 3032 0 45241 0
[pid=1011560/tid=1011572] ppid=1011550 vsize=213776 memory=158708 CPUtime=161.63 cores=0,2
/proc/1011560/task/1011572/stat : 1011572 (fscip) R 1011550 1011560 1011492 0 -1 4194368 130816 0 0 0 16131 32 0 0 20 0 3 0 188287521 218906624 41711 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
[pid=1011560/tid=1011573] ppid=1011550 vsize=213776 memory=11604 CPUtime=0 cores=0,2
/proc/1011560/task/1011573/stat : 1011573 (fscip) S 1011550 1011560 1011492 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 188287522 218906624 41711 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 213776 KiB
################
# More data... #
################
/proc/1011560/statm: 622957 599289 2990 3032 0 605139 0
[pid=1011560/tid=1011572] ppid=1011550 vsize=2491828 memory=2309432 CPUtime=3448.26 cores=0,2
/proc/1011560/task/1011572/stat : 1011572 (fscip) R 1011550 1011560 1011492 0 -1 4194368 1311201 0 0 0 344205 621 0 0 20 0 3 0 188287521 2551631872 599289 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
[pid=1011560/tid=1011573] ppid=1011550 vsize=2491828 memory=2392860 CPUtime=0.02 cores=0,2
/proc/1011560/task/1011573/stat : 1011573 (fscip) S 1011550 1011560 1011492 0 -1 1077936192 130 0 0 0 0 2 0 0 20 0 3 0 188287522 2551631872 599289 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
Current children cumulated CPU time: 3448.49 s
Current children cumulated vsize: 2491828 KiB
Current children cumulated memory: 2397156 KiB
[startup+3522.3 s]
/proc/loadavg: 5.11 4.34 4.14 7/264 1013480
/proc/meminfo: memFree=121419444/131524600 swapFree=131071996/131071996
[pid=1011560] ppid=1011550 vsize=2508264 memory=2436120 CPUtime=3508.24 cores=0,2
/proc/1011560/stat : 1011560 (fscip) S 1011550 1011560 1011492 0 -1 1077936128 1339796 0 0 0 350185 639 0 0 20 0 3 0 188287519 2568462336 609030 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
/proc/1011560/statm: 627066 609030 2990 3032 0 614915 0
[pid=1011560/tid=1011572] ppid=1011550 vsize=2508264 memory=2392860 CPUtime=3508 cores=0,2
/proc/1011560/task/1011572/stat : 1011572 (fscip) R 1011550 1011560 1011492 0 -1 4194368 1335698 0 0 0 350167 633 0 0 20 0 3 0 188287521 2568462336 609030 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
[pid=1011560/tid=1011573] ppid=1011550 vsize=2508264 memory=11604 CPUtime=0.02 cores=0,2
/proc/1011560/task/1011573/stat : 1011573 (fscip) S 1011550 1011560 1011492 0 -1 1077936192 132 0 0 0 0 2 0 0 20 0 3 0 188287522 2568462336 609030 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
Current children cumulated CPU time: 3508.24 s
Current children cumulated vsize: 2508264 KiB
Current children cumulated memory: 2436120 KiB
[startup+3582.3 s]
/proc/loadavg: 4.65 4.37 4.17 7/264 1013490
/proc/meminfo: memFree=121303368/131524600 swapFree=131071996/131071996
[pid=1011560] ppid=1011550 vsize=2527764 memory=2479472 CPUtime=3567.97 cores=0,2
/proc/1011560/stat : 1011560 (fscip) S 1011550 1011560 1011492 0 -1 1077936128 1363223 0 0 0 356148 649 0 0 20 0 3 0 188287519 2588430336 619868 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
/proc/1011560/statm: 631941 619868 2990 3032 0 625215 0
[pid=1011560/tid=1011572] ppid=1011550 vsize=2527764 memory=2475600 CPUtime=3567.73 cores=0,2
/proc/1011560/task/1011572/stat : 1011572 (fscip) R 1011550 1011560 1011492 0 -1 4194368 1359102 0 0 0 356130 643 0 0 20 0 3 0 188287521 2588430336 619868 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
[pid=1011560/tid=1011573] ppid=1011550 vsize=2527764 memory=11604 CPUtime=0.02 cores=0,2
/proc/1011560/task/1011573/stat : 1011573 (fscip) S 1011550 1011560 1011492 0 -1 1077936192 134 0 0 0 0 2 0 0 20 0 3 0 188287522 2588430336 619868 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
Current children cumulated CPU time: 3567.97 s
Current children cumulated vsize: 2527764 KiB
Current children cumulated memory: 2479472 KiB
[startup+3602.91 s]
# the end of solver process 1011560 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.71 s, system=6.80229 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.60 4.37 4.17 7/264 1013490
/proc/meminfo: memFree=121300592/131524600 swapFree=131071996/131071996
[pid=1011560] ppid=1011550 vsize=2528792 memory=2480736 CPUtime=3569.67 cores=0,2
/proc/1011560/stat : 1011560 (fscip) S 1011550 1011560 1011492 0 -1 1077936128 1363662 0 0 0 356318 649 0 0 20 0 3 0 188287519 2589483008 620184 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
/proc/1011560/statm: 632198 620184 2990 3032 0 625568 0
[pid=1011560/tid=1011572] ppid=1011550 vsize=2528792 memory=-6953134261842972523 CPUtime=3569.44 cores=0,2
/proc/1011560/task/1011572/stat : 1011572 (fscip) R 1011550 1011560 1011492 0 -1 4194368 1359541 0 0 0 356300 644 0 0 20 0 3 0 188287521 2589483008 620184 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
[pid=1011560/tid=1011573] ppid=1011550 vsize=2528792 memory=-9187040403409501381 CPUtime=0.02 cores=0,2
/proc/1011560/task/1011573/stat : 1011573 (fscip) S 1011550 1011560 1011492 0 -1 1077936192 134 0 0 0 0 2 0 0 20 0 3 0 188287522 2589483008 620184 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
Current children cumulated CPU time: 3569.67 s
Current children cumulated vsize: 2528792 KiB
Current children cumulated memory: 2480736 KiB
[startup+3590.4 s]
/proc/loadavg: 4.63 4.38 4.17 7/264 1013493
/proc/meminfo: memFree=121290692/131524600 swapFree=131071996/131071996
[pid=1011560] ppid=1011550 vsize=2529820 memory=2484128 CPUtime=3576.04 cores=0,2
/proc/1011560/stat : 1011560 (fscip) S 1011550 1011560 1011492 0 -1 1077936128 1364801 0 0 0 356954 650 0 0 20 0 3 0 188287519 2590535680 621032 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
/proc/1011560/statm: 632455 621032 2990 3032 0 626370 0
[pid=1011560/tid=1011572] ppid=1011550 vsize=2529820 memory=2475600 CPUtime=3575.8 cores=0,2
/proc/1011560/task/1011572/stat : 1011572 (fscip) R 1011550 1011560 1011492 0 -1 4194368 1360680 0 0 0 356936 644 0 0 20 0 3 0 188287521 2590535680 621032 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
[pid=1011560/tid=1011573] ppid=1011550 vsize=2529820 memory=11604 CPUtime=0.02 cores=0,2
/proc/1011560/task/1011573/stat : 1011573 (fscip) S 1011550 1011560 1011492 0 -1 1077936192 134 0 0 0 0 2 0 0 20 0 3 0 188287522 2590535680 621032 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
Current children cumulated CPU time: 3576.04 s
Current children cumulated vsize: 2529820 KiB
Current children cumulated memory: 2484128 KiB
[startup+3596.8 s]
/proc/loadavg: 4.58 4.37 4.17 7/264 1013495
/proc/meminfo: memFree=121278268/131524600 swapFree=131071996/131071996
[pid=1011560] ppid=1011550 vsize=2530848 memory=2488164 CPUtime=3582.42 cores=0,2
/proc/1011560/stat : 1011560 (fscip) S 1011550 1011560 1011492 0 -1 1077936128 1366127 0 0 0 357590 652 0 0 20 0 3 0 188287519 2591588352 622041 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
/proc/1011560/statm: 632712 622041 2990 3032 0 627379 0
[pid=1011560/tid=1011572] ppid=1011550 vsize=2530848 memory=16328 CPUtime=3582.18 cores=0,2
/proc/1011560/task/1011572/stat : 1011572 (fscip) R 1011550 1011560 1011492 0 -1 4194368 1362002 0 0 0 357572 646 0 0 20 0 3 0 188287521 2591588352 622041 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
[pid=1011560/tid=1011573] ppid=1011550 vsize=2530848 memory=2486000 CPUtime=0.02 cores=0,2
/proc/1011560/task/1011573/stat : 1011573 (fscip) S 1011550 1011560 1011492 0 -1 1077936192 136 0 0 0 0 2 0 0 20 0 3 0 188287522 2591588352 622041 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
Current children cumulated CPU time: 3582.42 s
Current children cumulated vsize: 2530848 KiB
Current children cumulated memory: 2488164 KiB
[startup+3600 s]*
/proc/loadavg: 4.53 4.36 4.17 7/264 1013495
/proc/meminfo: memFree=121270336/131524600 swapFree=131071996/131071996
[pid=1011560] ppid=1011550 vsize=2532904 memory=2490732 CPUtime=3585.6 cores=0,2
/proc/1011560/stat : 1011560 (fscip) S 1011550 1011560 1011492 0 -1 1077936128 1377352 0 0 0 357908 652 0 0 20 0 3 0 188287519 2593693696 622683 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
/proc/1011560/statm: 633226 622683 2990 3032 0 628021 0
[pid=1011560/tid=1011572] ppid=1011550 vsize=2532904 memory=-6953134261842972523 CPUtime=3585.37 cores=0,2
/proc/1011560/task/1011572/stat : 1011572 (fscip) R 1011550 1011560 1011492 0 -1 4194368 1373689 0 0 0 357890 647 0 0 20 0 3 0 188287521 2593693696 622683 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
[pid=1011560/tid=1011573] ppid=1011550 vsize=2532904 memory=-9187040403409501381 CPUtime=0.02 cores=0,2
/proc/1011560/task/1011573/stat : 1011573 (fscip) S 1011550 1011560 1011492 0 -1 1077936192 136 0 0 0 0 2 0 0 20 0 3 0 188287522 2593693696 622683 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
Current children cumulated CPU time: 3585.6 s
Current children cumulated vsize: 2532904 KiB
Current children cumulated memory: 2490732 KiB
[startup+3601.6 s]
/proc/loadavg: 4.53 4.36 4.17 6/264 1013543
/proc/meminfo: memFree=121577852/131524600 swapFree=131071996/131071996
[pid=1011560] ppid=1011550 vsize=2182524 memory=2140360 CPUtime=3587.19 cores=0,2
/proc/1011560/stat : 1011560 (fscip) S 1011550 1011560 1011492 0 -1 1077936128 1623743 0 0 0 358051 668 0 0 20 0 3 0 188287519 2234904576 535090 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
/proc/1011560/statm: 545631 535090 2990 3032 0 540426 0
[pid=1011560/tid=1011572] ppid=1011550 vsize=2182524 memory=2490732 CPUtime=3586.96 cores=0,2
/proc/1011560/task/1011572/stat : 1011572 (fscip) R 1011550 1011560 1011492 0 -1 4194368 1619622 0 0 0 358033 663 0 0 20 0 3 0 188287521 2234904576 535090 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
[pid=1011560/tid=1011573] ppid=1011550 vsize=2182524 memory=12576 CPUtime=0.02 cores=0,2
/proc/1011560/task/1011573/stat : 1011573 (fscip) S 1011550 1011560 1011492 0 -1 1077936192 136 0 0 0 0 2 0 0 20 0 3 0 188287522 2234904576 535090 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
Current children cumulated CPU time: 3587.19 s
Current children cumulated vsize: 2182524 KiB
Current children cumulated memory: 2140360 KiB
[startup+3602.4 s]
/proc/loadavg: 4.53 4.36 4.17 4/256 1013574
/proc/meminfo: memFree=123416556/131524600 swapFree=131071996/131071996
[pid=1011560] ppid=1011550 vsize=1852864 memory=1810704 CPUtime=3588 cores=0,2
/proc/1011560/stat : 1011560 (fscip) S 1011550 1011560 1011492 0 -1 1077936128 1695491 0 0 0 358125 675 0 0 20 0 3 0 188287519 1897332736 452676 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
/proc/1011560/statm: 463216 452676 2990 3032 0 458011 0
[pid=1011560/tid=1011572] ppid=1011550 vsize=1852864 memory=11604 CPUtime=3587.75 cores=0,2
/proc/1011560/task/1011572/stat : 1011572 (fscip) R 1011550 1011560 1011492 0 -1 4194368 1691352 0 0 0 358106 669 0 0 20 0 3 0 188287521 1897332736 452676 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
[pid=1011560/tid=1011573] ppid=1011550 vsize=1852864 memory=46536 CPUtime=0.02 cores=0,2
/proc/1011560/task/1011573/stat : 1011573 (fscip) S 1011550 1011560 1011492 0 -1 1077936192 136 0 0 0 0 2 0 0 20 0 3 0 188287522 1897332736 452676 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
Current children cumulated CPU time: 3588 s
Current children cumulated vsize: 1852864 KiB
Current children cumulated memory: 1810704 KiB
[startup+3602.8 s]
/proc/loadavg: 4.53 4.36 4.17 4/256 1013574
/proc/meminfo: memFree=123416556/131524600 swapFree=131071996/131071996
[pid=1011560] ppid=1011550 vsize=1708120 memory=1665960 CPUtime=3588.39 cores=0,2
/proc/1011560/stat : 1011560 (fscip) S 1011550 1011560 1011492 0 -1 1077936128 1699882 0 0 0 358164 675 0 0 20 0 3 0 188287519 1749114880 416490 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
/proc/1011560/statm: 427030 416490 2990 3032 0 421825 0
[pid=1011560/tid=1011572] ppid=1011550 vsize=1708120 memory=-6953134261842972523 CPUtime=3588.14 cores=0,2
/proc/1011560/task/1011572/stat : 1011572 (fscip) R 1011550 1011560 1011492 0 -1 4194368 1695742 0 0 0 358145 669 0 0 20 0 3 0 188287521 1749114880 416490 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
[pid=1011560/tid=1011573] ppid=1011550 vsize=1708120 memory=2226664 CPUtime=0.02 cores=0,2
/proc/1011560/task/1011573/stat : 1011573 (fscip) S 1011550 1011560 1011492 0 -1 1077936192 136 0 0 0 0 2 0 0 20 0 3 0 188287522 1749114880 416490 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
Current children cumulated CPU time: 3588.39 s
Current children cumulated vsize: 1708120 KiB
Current children cumulated memory: 1665960 KiB
[startup+3602.9 s]
/proc/loadavg: 4.53 4.36 4.17 4/256 1013574
/proc/meminfo: memFree=123416556/131524600 swapFree=131071996/131071996
[pid=1011560] ppid=1011550 vsize=964492 memory=874808 CPUtime=3588.48 cores=0,2
/proc/1011560/stat : 1011560 (fscip) S 1011550 1011560 1011492 0 -1 1077936128 1700789 0 0 0 358170 678 0 0 20 0 3 0 188287519 987639808 219214 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
/proc/1011560/statm: 241123 219214 2990 3032 0 237004 0
[pid=1011560/tid=1011572] ppid=1011550 vsize=964492 memory=2477780 CPUtime=3588.25 cores=0,2
/proc/1011560/task/1011572/stat : 1011572 (fscip) R 1011550 1011560 1011492 0 -1 4194368 1696642 0 0 0 358152 673 0 0 20 0 3 0 188287521 987639808 218225 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
[pid=1011560/tid=1011573] ppid=1011550 vsize=964492 memory=2480920 CPUtime=0.02 cores=0,2
/proc/1011560/task/1011573/stat : 1011573 (fscip) S 1011550 1011560 1011492 0 -1 1077936192 136 0 0 0 0 2 0 0 20 0 3 0 188287522 987639808 218225 134679101440 4194304 16613245 140730133338432 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49602560 140730133345299 140730133345415 140730133345415 140730133352432 0
Current children cumulated CPU time: 3588.48 s
Current children cumulated vsize: 964492 KiB
Current children cumulated memory: 874808 KiB
Child status: 0
Real time (s): 3602.91
CPU time (s): 3588.51
CPU user time (s): 3581.71
CPU system time (s): 6.80229
CPU usage (%): 99.6003
Max. virtual memory (cumulated for all children) (KiB): 2532904
Max. memory (cumulated for all children) (KiB): 2490732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.71
system time used= 6.80229
maximum resident set size= 2490732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1700879
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= 10898
involuntary context switches= 25166
# summary of solver processes directly reported to runsolver:
# pid: 1011560
# total CPU time (s): 3588.51
# total CPU user time (s): 3581.71
# total CPU system time (s): 6.80229
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.24596 second user time and 18.2554 second system time
The end
Begin job on nodeC022 at 2024-07-19 05:54:06
IDJOB=4447790
IDBENCH=160323
IDSOLVER=3064
FILE ID=nodeC022/4447790-1721361233
RUNJOBID= nodeC022-1721361246-1011502
SLURM_JOB_ID= 7542779
Free space on /tmp= 890084 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n236-d3-i2-f.cnf.gz-plain.pb.metafix.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-4447790-1721361233/watcher-4447790-1721361233 -o /tmp/evaluation-result-4447790-1721361233/solver-4447790-1721361233 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721361246-1011502 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447790-1721361233.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b320e8df0d5fbea72b736842c910ba4c
RANDOM SEED=1407414039
nodeC022.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 : 3949.608
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.66
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 : 3728.824
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3867.216
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.66
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 : 3753.169
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3710.347
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.66
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 : 3772.545
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3697.150
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.66
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 : 3635.510
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127033520 kB
MemAvailable: 129686936 kB
Buffers: 498920 kB
Cached: 2979944 kB
SwapCached: 0 kB
Active: 1196872 kB
Inactive: 2642900 kB
Active(anon): 1440 kB
Inactive(anon): 405372 kB
Active(file): 1195432 kB
Inactive(file): 2237528 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 112092 kB
Writeback: 12 kB
AnonPages: 360252 kB
Mapped: 106904 kB
Shmem: 45912 kB
KReclaimable: 120208 kB
Slab: 235572 kB
SReclaimable: 120208 kB
SUnreclaim: 115364 kB
KernelStack: 3776 kB
PageTables: 10008 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 733924 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68704 kB
HardwareCorrupted: 0 kB
AnonHugePages: 235520 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 260820 kB
DirectMap2M: 28872704 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC022 at 2024-07-19 06:54:09