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.02 c Default LC presolving (default).
0.00/0.02 c ** Before presolving: virtualMemUsedAtLc = 37834752, getVmSize() = 37834752, SCIPgetMemUsed() = 11449776, SCIPgetMemTotal() = 15511384, SCIPgetMemExternEstim() = 8663376
0.00/0.02 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
2.78/2.86 c ** Estimated virtualMemUsedAtSolver = 33445205, getVmSize() = 62500864, SCIPgetMemUsed() = 22682074, SCIPgetMemTotal() = 38561618, SCIPgetMemExternEstim() = 8663376
2.78/2.86 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
2.78/2.86 c Original Problem :
2.78/2.86 c Problem name : instance-4426846-1720908337
2.78/2.86 c Variables : 3444 (3444 binary, 0 integer, 0 implicit integer, 0 continuous)
2.78/2.86 c Constraints : 6014
2.78/2.86 c Objective sense : minimize
2.78/2.86 c Presolved Problem :
2.78/2.86 c Variables : 3444 (3444 binary, 0 integer, 0 implicit integer, 0 continuous)
2.78/2.86 c Constraints : 3089
2.78/2.86 c Constraints : Number
2.78/2.86 c knapsack : 1
2.78/2.86 c setppc : 125
2.78/2.86 c linear : 2944
2.78/2.86 c indicator : 19
2.78/2.86 c ** Instance transfer method used: 0
2.78/2.87 c ** ParaScipInstance copy does not increase the number of variables. **
2.78/2.88 c LC is working with racing ramp-up and with rebuilding tree after racing.
2.78/2.88 c Nodes Active
2.78/2.88 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
2.97/3.02 c * 3 0 1 1 736.0000 - -
3.47/3.56 c * 4 0 1 1 237.0000 - -
3.57/3.65 c * 4 0 1 1 218.0000 - -
3.57/3.67 c * 4 0 1 1 206.0000 - -
3.67/3.79 c * 4 0 1 1 199.0000 - -
4.56/4.66 c * 5 0 1 1 165.0000 - -
5.25/5.32 c 5 2 1 1 165.0000 0.0000 -
11.29/11.44 c 11 18 17 1 165.0000 0.0000 -
12.77/12.97 c * 13 23 22 1 137.0000 0.0000 -
12.88/13.00 c * 13 23 22 1 135.0000 0.0000 -
15.45/15.66 c * 16 30 29 1 91.0000 0.0000 -
16.75/16.97 c 17 75 74 1 91.0000 0.0000 -
17.24/17.50 c * 18 75 74 1 63.0000 0.0000 -
19.33/19.55 c * 20 98 97 1 60.0000 0.0000 -
21.53/21.76 c * 22 139 138 1 50.0000 0.0000 -
22.42/22.63 c 23 164 163 1 50.0000 0.0000 -
27.90/28.17 c 28 269 268 1 50.0000 0.0000 -
31.68/31.94 c * 32 342 341 1 48.0000 0.0000 -
33.27/33.53 c 34 364 363 1 48.0000 0.0000 -
39.05/39.30 c 39 415 414 1 48.0000 0.0000 -
44.63/44.97 c 45 480 479 1 48.0000 0.0000 -
50.11/50.48 c 50 530 529 1 48.0000 0.0000 -
55.59/55.95 c 56 599 598 1 48.0000 0.0000 -
56.69/57.01 c * 57 609 610 1 44.0000 0.0000 -
60.96/61.37 c 61 660 659 1 44.0000 0.0000 -
66.65/67.08 c 67 745 744 1 44.0000 0.0000 -
72.62/73.00 c 73 813 812 1 44.0000 0.0000 -
78.09/78.55 c 79 849 848 1 44.0000 0.0000 -
83.87/84.30 c 84 904 903 1 44.0000 0.0000 -
89.25/89.77 c 90 979 978 1 44.0000 0.0000 -
94.33/94.88 c 95 1049 1048 1 44.0000 0.0000 -
99.61/100.17 c 100 1119 69 1 44.0000 0.0000 -
104.98/105.50 c 106 1261 211 1 44.0000 0.0000 -
110.17/110.71 c 111 1408 358 1 44.0000 0.0000 -
115.44/116.00 c 116 1520 470 1 44.0000 0.0000 -
120.52/121.18 c 121 1656 606 1 44.0000 0.0000 -
125.70/126.35 c 126 1778 728 1 44.0000 0.0000 -
130.77/131.48 c 131 1905 855 1 44.0000 0.0000 -
136.05/136.71 c 137 2006 956 1 44.0000 0.0000 -
141.63/142.31 c 142 2136 1086 1 44.0000 0.0000 -
146.81/147.54 c 148 2234 1184 1 44.0000 0.0000 -
151.98/152.78 c 153 2371 1321 1 44.0000 0.0000 -
157.46/158.22 c 158 2507 1457 1 44.0000 0.0000 -
162.84/163.62 c 164 2600 1550 1 44.0000 0.0000 -
168.33/169.12 c 169 2676 1626 1 44.0000 0.0000 -
173.50/174.39 c 174 2768 1718 1 44.0000 0.0000 -
178.67/179.58 c 180 2864 1814 1 44.0000 0.0000 -
183.86/184.76 c 185 2965 1915 1 44.0000 0.0000 -
189.24/190.17 c 190 3066 2016 1 44.0000 0.0000 -
194.51/195.40 c 195 3178 2128 1 44.0000 0.0000 -
200.39/201.38 c 201 3277 2227 1 44.0000 0.0000 -
205.86/206.85 c 207 3372 2322 1 44.0000 0.0000 -
211.05/212.04 c 212 3490 2440 1 44.0000 0.0000 -
216.62/217.60 c 218 3595 2545 1 44.0000 0.0000 -
221.89/222.91 c 223 3692 2642 1 44.0000 0.0000 -
227.77/228.81 c 229 3779 2729 1 44.0000 0.0000 -
232.94/234.00 c 234 3877 2827 1 44.0000 0.0000 -
237.92/239.04 c 239 4002 2952 1 44.0000 0.0000 -
243.40/244.50 c 245 4124 3074 1 44.0000 0.0000 -
248.48/249.65 c 250 4242 3192 1 44.0000 0.0000 -
253.86/255.05 c 255 4319 3269 1 44.0000 0.0000 -
258.94/260.17 c 260 4433 3383 1 44.0000 0.0000 -
264.01/265.27 c 265 4552 3502 1 44.0000 0.0000 -
269.59/270.86 c 271 4676 3626 1 44.0000 0.0000 -
275.17/276.43 c 276 4798 3748 1 44.0000 0.0000 -
280.24/281.56 c 282 4937 3887 1 44.0000 0.0000 -
285.32/286.69 c 287 5044 3994 1 44.0000 0.0000 -
290.60/291.97 c 292 5154 4104 1 44.0000 0.0000 -
295.08/296.40 c * 296 5222 4172 1 43.0000 0.0000 -
295.97/297.37 c 297 5244 4194 1 43.0000 0.0000 -
301.16/302.57 c 303 5336 4286 1 43.0000 0.0000 -
306.93/308.32 c 308 5448 4398 1 43.0000 0.0000 -
312.51/313.93 c 314 5554 4504 1 43.0000 0.0000 -
318.09/319.55 c 320 5665 4615 1 43.0000 0.0000 -
324.06/325.50 c 326 5786 4736 1 43.0000 0.0000 -
329.34/330.89 c 331 5856 4806 1 43.0000 0.0000 -
334.91/336.49 c 336 5956 4906 1 43.0000 0.0000 -
340.39/341.98 c 342 6049 4999 1 43.0000 0.0000 -
345.97/347.54 c 348 6140 5090 1 43.0000 0.0000 -
351.04/352.69 c 353 6245 5195 1 43.0000 0.0000 -
353.73/355.39 c * 355 6294 5244 1 41.0000 0.0000 -
356.92/358.50 c 359 6361 5311 1 41.0000 0.0000 -
362.40/364.02 c 364 6478 5428 1 41.0000 0.0000 -
367.78/369.43 c 369 6594 5544 1 41.0000 0.0000 -
372.86/374.59 c 375 6691 5641 1 41.0000 0.0000 -
378.73/380.45 c 380 6814 5764 1 41.0000 0.0000 -
384.31/386.09 c 386 6927 5877 1 41.0000 0.0000 -
389.48/391.28 c 391 7054 6004 1 41.0000 0.0000 -
394.76/396.55 c 397 7159 6109 1 41.0000 0.0000 -
400.04/401.89 c 402 7276 6226 1 41.0000 0.0000 -
405.42/407.26 c 407 7371 6321 1 41.0000 0.0000 -
410.99/412.88 c 413 7493 6443 1 41.0000 0.0000 -
416.47/418.33 c 418 7594 6544 1 41.0000 0.0000 -
422.05/423.96 c 424 7709 6659 1 41.0000 0.0000 -
427.82/429.72 c 430 7836 6786 1 41.0000 0.0000 -
433.39/435.36 c 435 7952 6902 1 41.0000 0.0000 -
439.18/441.10 c 441 8063 7013 1 41.0000 0.0000 -
444.25/446.26 c 446 8182 7132 1 41.0000 0.0000 -
449.53/451.57 c 452 8283 7233 1 41.0000 0.0000 -
454.70/456.77 c 457 8414 7364 1 41.0000 0.0000 -
460.18/462.23 c 462 8533 7483 1 41.0000 0.0000 -
465.37/467.47 c 467 8641 7591 1 41.0000 0.0000 -
471.04/473.17 c 473 8743 7693 1 41.0000 0.0000 -
476.32/478.43 c 478 8843 7793 1 41.0000 0.0000 -
481.60/483.77 c 484 8910 7860 1 41.0000 0.0000 -
486.88/489.04 c 489 9025 7975 1 41.0000 0.0000 -
492.15/494.33 c 494 9090 8040 1 41.0000 0.0000 -
497.42/499.66 c 500 9174 8124 1 41.0000 0.0000 -
502.71/505.00 c 505 9294 8244 1 41.0000 0.0000 -
508.28/510.50 c 511 9394 8344 1 41.0000 0.0000 -
513.36/515.65 c 516 9508 8458 1 41.0000 0.0000 -
518.63/520.90 c 521 9606 8556 1 41.0000 0.0000 -
523.82/526.19 c 526 9703 8653 1 41.0000 0.0000 -
529.10/531.41 c 531 9829 8779 1 41.0000 0.0000 -
534.17/536.57 c 537 9973 8923 1 41.0000 0.0000 -
539.35/541.77 c 542 10074 9024 1 41.0000 0.0000 -
544.83/547.23 c 547 10163 9113 1 41.0000 0.0000 -
550.01/552.42 c 552 10291 9241 1 41.0000 0.0000 -
555.28/557.73 c 558 10408 9358 1 41.0000 0.0000 -
560.46/562.99 c 563 10528 9478 1 41.0000 0.0000 -
565.65/568.12 c 568 10666 9616 1 41.0000 0.0000 -
570.82/573.39 c 573 10754 9704 1 41.0000 0.0000 -
576.10/578.64 c 579 10843 9793 1 41.0000 0.0000 -
581.38/583.91 c 584 10964 9914 1 41.0000 0.0000 -
586.46/589.01 c 589 11087 10037 1 41.0000 0.0000 -
591.63/594.22 c 594 11210 10160 1 41.0000 0.0000 -
596.81/599.49 c 600 11326 10276 1 41.0000 0.0000 -
601.99/604.64 c 605 11458 10408 1 41.0000 0.0000 -
607.27/609.94 c 610 11565 10515 1 41.0000 0.0000 -
612.85/615.51 c 616 11669 10619 1 41.0000 0.0000 -
618.23/620.99 c 621 11801 10751 1 41.0000 0.0000 -
623.51/626.21 c 626 11909 10859 1 41.0000 0.0000 -
629.38/632.13 c 632 12022 10972 1 41.0000 0.0000 -
634.66/637.42 c 637 12137 11087 1 41.0000 0.0000 -
639.93/642.70 c 643 12239 11189 1 41.0000 0.0000 -
645.32/648.10 c 648 12360 11310 1 41.0000 0.0000 -
651.09/653.93 c 654 12478 11428 1 41.0000 0.0000 -
656.37/659.21 c 659 12589 11539 1 41.0000 0.0000 -
661.95/664.81 c 665 12704 11654 1 41.0000 0.0000 -
667.13/670.00 c 670 12804 11754 1 41.0000 0.0000 -
672.40/675.34 c 675 12927 11877 1 41.0000 0.0000 -
677.88/680.84 c 681 13064 12014 1 41.0000 0.0000 -
683.06/686.09 c 686 13162 12112 1 41.0000 0.0000 -
688.23/691.28 c 691 13267 12217 1 41.0000 0.0000 -
693.71/696.78 c 697 13404 12354 1 41.0000 0.0000 -
699.00/702.06 c 702 13515 12465 1 41.0000 0.0000 -
704.66/707.75 c 708 13625 12575 1 41.0000 0.0000 -
709.94/713.07 c 713 13745 12695 1 41.0000 0.0000 -
715.22/718.32 c 718 13870 12820 1 41.0000 0.0000 -
720.40/723.59 c 724 13980 12930 1 41.0000 0.0000 -
725.88/729.09 c 729 14098 13048 1 41.0000 0.0000 -
728.56/731.70 c * 732 14140 13090 1 37.0000 0.0000 -
731.15/734.32 c 734 14189 13139 1 37.0000 0.0000 -
736.43/739.62 c 740 14265 13215 1 37.0000 0.0000 -
741.81/745.01 c 745 14383 13333 1 37.0000 0.0000 -
747.48/750.78 c 751 14459 13409 1 37.0000 0.0000 -
752.97/756.28 c 756 14572 13522 1 37.0000 0.0000 -
758.54/761.81 c 762 14659 13609 1 37.0000 0.0000 -
764.22/767.59 c 768 14743 13693 1 37.0000 0.0000 -
769.89/773.28 c 773 14837 13787 1 37.0000 0.0000 -
775.27/778.64 c 779 14930 13880 1 37.0000 0.0000 -
780.65/784.03 c 784 15038 13988 1 37.0000 0.0000 -
785.82/789.26 c 789 15157 14107 1 37.0000 0.0000 -
791.00/794.43 c 794 15283 14233 1 37.0000 0.0000 -
796.08/799.56 c 800 15407 14357 1 37.0000 0.0000 -
801.75/805.25 c 805 15514 14464 1 37.0000 0.0000 -
807.24/810.70 c 811 15628 14578 1 37.0000 0.0000 -
812.51/816.04 c 816 15744 14694 1 37.0000 0.0000 -
817.59/821.17 c 821 15883 14833 1 37.0000 0.0000 -
822.76/826.39 c 826 15988 14938 1 37.0000 0.0000 -
827.94/831.59 c 832 16108 15058 1 37.0000 0.0000 -
833.32/836.97 c 837 16251 15201 1 37.0000 0.0000 -
839.09/842.74 c 843 16349 15299 1 37.0000 0.0000 -
844.27/847.93 c 848 16455 15405 1 37.0000 0.0000 -
849.44/853.16 c 853 16589 15539 1 37.0000 0.0000 -
854.81/858.59 c 859 16706 15656 1 37.0000 0.0000 -
860.30/864.02 c 864 16829 15779 1 37.0000 0.0000 -
865.56/869.34 c 869 16919 15869 1 37.0000 0.0000 -
868.16/871.91 c * 872 16985 15935 1 33.0000 0.0000 -
870.95/874.78 c 875 17053 16003 1 33.0000 0.0000 -
876.82/880.65 c 881 17172 16122 1 33.0000 0.0000 -
882.59/886.48 c 886 17264 16214 1 33.0000 0.0000 -
887.77/891.62 c 892 17374 16324 1 33.0000 0.0000 -
893.05/896.97 c 897 17479 16429 1 33.0000 0.0000 -
898.23/902.16 c 902 17572 16522 1 33.0000 0.0000 -
903.60/907.51 c 908 17686 16636 1 33.0000 0.0000 -
908.88/912.84 c 913 17809 16759 1 33.0000 0.0000 -
913.95/917.99 c 918 17926 16876 1 33.0000 0.0000 -
919.13/923.15 c 923 18023 16973 1 33.0000 0.0000 -
924.90/928.99 c 929 18170 17120 1 33.0000 0.0000 -
930.28/934.33 c 934 18284 17234 1 33.0000 0.0000 -
935.36/939.45 c 939 18431 17381 1 33.0000 0.0000 -
940.54/944.67 c 945 18556 17506 1 33.0000 0.0000 -
946.02/950.17 c 950 18678 17628 1 33.0000 0.0000 -
951.69/955.82 c 956 18799 17749 1 33.0000 0.0000 -
956.87/961.10 c 961 18927 17877 1 33.0000 0.0000 -
962.14/966.36 c 966 19036 17984 1 33.0000 0.0000 -
967.32/971.57 c 972 19136 18084 1 33.0000 0.0000 -
972.50/976.73 c 977 19285 18233 1 33.0000 0.0000 -
977.58/981.83 c 982 19409 18357 1 33.0000 0.0000 -
982.86/987.19 c 987 19526 18474 1 33.0000 0.0000 -
987.93/992.29 c 992 19645 18593 1 33.0000 0.0000 -
993.21/997.50 c 998 19730 18678 1 33.0000 0.0000 -
998.49/1002.82 c 1003 19852 18800 1 33.0000 0.0000 -
1003.86/1008.24 c 1008 19945 18893 1 33.0000 0.0000 -
1009.04/1013.44 c 1013 20021 18969 1 33.0000 0.0000 -
1014.22/1018.65 c 1019 20124 19072 1 33.0000 0.0000 -
1019.49/1023.91 c 1024 20197 19145 1 33.0000 0.0000 -
1024.77/1029.26 c 1029 20311 19259 1 33.0000 0.0000 -
1030.15/1034.68 c 1035 20402 19350 1 33.0000 0.0000 -
1035.92/1040.42 c 1040 20485 19433 1 33.0000 0.0000 -
1041.11/1045.66 c 1046 20576 19524 1 33.0000 0.0000 -
1046.28/1050.89 c 1051 20692 19640 1 33.0000 0.0000 -
1051.57/1056.15 c 1056 20785 19733 1 33.0000 0.0000 -
1056.85/1061.49 c 1062 20877 19825 1 33.0000 0.0000 -
1062.23/1066.88 c 1067 20974 19922 1 33.0000 0.0000 -
1067.41/1072.08 c 1072 21090 20036 1 33.0000 0.0000 -
1072.68/1077.36 c 1077 21207 20149 1 33.0000 0.0000 -
1078.16/1082.86 c 1083 21327 20269 1 33.0000 0.0000 -
1083.53/1088.25 c 1088 21441 20383 1 33.0000 0.0000 -
1088.71/1093.48 c 1093 21549 20491 1 33.0000 0.0000 -
1093.99/1098.75 c 1099 21690 20632 1 33.0000 0.0000 -
1099.17/1103.97 c 1104 21810 20752 1 33.0000 0.0000 -
1104.25/1109.07 c 1109 21931 20873 1 33.0000 0.0000 -
1109.53/1114.30 c 1114 22038 20980 1 33.0000 0.0000 -
1114.80/1119.61 c 1120 22175 21117 1 33.0000 0.0000 -
1119.88/1124.75 c 1125 22301 21243 1 33.0000 0.0000 -
1125.06/1129.93 c 1130 22433 21373 1 33.0000 0.0000 -
1130.24/1135.14 c 1135 22565 21503 1 33.0000 0.0000 -
1135.41/1140.33 c 1140 22680 21618 1 33.0000 0.0000 -
1140.49/1145.45 c 1145 22793 21731 1 33.0000 0.0000 -
1145.87/1150.85 c 1151 22924 21862 1 33.0000 0.0000 -
1150.94/1155.98 c 1156 23062 22000 1 33.0000 0.0000 -
1156.12/1161.13 c 1161 23165 22103 1 33.0000 0.0000 -
1161.40/1166.46 c 1166 23296 22234 1 33.0000 0.0000 -
1166.57/1171.65 c 1172 23414 22352 1 33.0000 0.0000 -
1171.74/1176.86 c 1177 23559 22497 1 33.0000 0.0000 -
1177.22/1182.34 c 1182 23658 22596 1 33.0000 0.0000 -
1182.60/1187.78 c 1188 23782 22720 1 33.0000 0.0000 -
1187.77/1192.98 c 1193 23893 22831 1 33.0000 0.0000 -
1193.05/1198.29 c 1198 23994 22932 1 33.0000 0.0000 -
1198.22/1203.40 c 1203 24106 23044 1 33.0000 0.0000 -
1203.70/1208.92 c 1209 24251 23189 1 33.0000 0.0000 -
1209.17/1214.41 c 1214 24373 23311 1 33.0000 0.0000 -
1214.24/1219.51 c 1220 24476 23414 1 33.0000 0.0000 -
1219.42/1224.75 c 1225 24557 23493 1 33.0000 0.0000 -
1224.50/1229.84 c 1230 24673 23607 1 33.0000 0.0000 -
1229.57/1234.96 c 1235 24788 23722 1 33.0000 0.0000 -
1235.15/1240.52 c 1241 24868 23802 1 33.0000 0.0000 -
1240.33/1245.75 c 1246 24971 23905 1 33.0000 0.0000 -
1245.50/1250.94 c 1251 25096 24030 1 33.0000 0.0000 -
1250.88/1256.34 c 1256 25213 24145 1 33.0000 0.0000 -
1256.16/1261.68 c 1262 25338 24270 1 33.0000 0.0000 -
1261.64/1267.10 c 1267 25451 24383 1 33.0000 0.0000 -
1266.62/1272.19 c 1272 25577 24509 1 33.0000 0.0000 -
1271.89/1277.49 c 1277 25672 24602 1 33.0000 0.0000 -
1277.08/1282.63 c 1283 25791 24721 1 33.0000 0.0000 -
1282.46/1288.04 c 1288 25937 24867 1 33.0000 0.0000 -
1285.94/1291.50 c * 1292 25991 24921 1 30.0000 0.0000 -
1288.33/1293.93 c 1294 26045 24869 1 30.0000 0.0000 -
1293.72/1299.40 c 1299 26165 24983 1 30.0000 0.0000 -
1294.91/1300.59 c * 1301 26199 25017 1 29.0000 0.0000 -
1298.99/1304.68 c 1305 26306 25022 1 29.0000 0.0000 -
1304.87/1310.53 c 1311 26443 25155 1 29.0000 0.0000 -
1310.16/1315.81 c 1316 26557 25265 1 29.0000 0.0000 -
1315.54/1321.21 c 1321 26692 25394 1 29.0000 0.0000 -
1320.62/1326.31 c 1326 26854 25542 1 29.0000 0.0000 -
1326.00/1331.73 c 1332 26986 25674 1 29.0000 0.0000 -
1331.39/1337.19 c 1337 27112 25800 1 29.0000 0.0000 -
1336.67/1342.41 c 1342 27229 25915 1 29.0000 0.0000 -
1341.85/1347.63 c 1348 27321 26001 1 29.0000 0.0000 -
1347.13/1352.95 c 1353 27472 26150 1 29.0000 0.0000 -
1352.41/1358.25 c 1358 27600 26278 1 29.0000 0.0000 -
1357.79/1363.64 c 1364 27701 26373 1 29.0000 0.0000 -
1363.28/1369.12 c 1369 27839 26511 1 29.0000 0.0000 -
1368.35/1374.28 c 1374 27961 26627 1 29.0000 0.0000 -
1373.43/1379.39 c 1379 28095 26759 1 29.0000 0.0000 -
1378.61/1384.57 c 1385 28223 26885 1 29.0000 0.0000 -
1384.50/1390.41 c 1390 28367 27027 1 29.0000 0.0000 -
1389.68/1395.66 c 1396 28505 27165 1 29.0000 0.0000 -
1395.06/1401.03 c 1401 28651 27307 1 29.0000 0.0000 -
1400.24/1406.23 c 1406 28797 27453 1 29.0000 0.0000 -
1400.74/1406.73 c * 1407 28797 27453 1 27.0000 0.0000 -
1405.52/1411.52 c 1412 28963 27207 1 27.0000 0.0000 -
1410.70/1416.75 c 1417 29099 27333 1 27.0000 0.0000 -
1415.99/1422.02 c 1422 29223 27455 1 27.0000 0.0000 -
1421.17/1427.25 c 1427 29348 27572 1 27.0000 0.0000 -
1426.45/1432.59 c 1433 29465 27689 1 27.0000 0.0000 -
1431.93/1438.02 c 1438 29625 27845 1 27.0000 0.0000 -
1437.01/1443.11 c 1443 29759 27977 1 27.0000 0.0000 -
1442.09/1448.21 c 1448 29903 28115 1 27.0000 0.0000 -
1447.27/1453.49 c 1454 30041 28233 1 27.0000 0.0000 -
1452.55/1458.73 c 1459 30170 28362 1 27.0000 0.0000 -
1457.85/1464.03 c 1464 30317 28503 1 27.0000 0.0000 -
1463.52/1469.71 c 1470 30427 28613 1 27.0000 0.0000 -
1468.90/1475.11 c 1475 30556 28736 1 27.0000 0.0000 -
1473.98/1480.20 c 1480 30698 28876 1 27.0000 0.0000 -
1479.26/1485.50 c 1486 30830 29008 1 27.0000 0.0000 -
1484.64/1490.97 c 1491 30993 29171 1 27.0000 0.0000 -
1489.93/1496.20 c 1496 31124 29298 1 27.0000 0.0000 -
1495.11/1501.47 c 1501 31257 29419 1 27.0000 0.0000 -
1500.19/1506.55 c 1507 31395 29547 1 27.0000 0.0000 -
1505.38/1511.70 c 1512 31546 29688 1 27.0000 0.0000 -
1510.56/1516.96 c 1517 31662 29802 1 27.0000 0.0000 -
1515.94/1522.31 c 1522 31797 29929 1 27.0000 0.0000 -
1520.92/1527.39 c 1527 31939 30067 1 27.0000 0.0000 -
1526.10/1532.58 c 1533 32086 30212 1 27.0000 0.0000 -
1529.59/1536.01 c * 1536 32150 30272 1 24.0000 0.0000 -
1531.48/1537.91 c 1538 32205 28761 1 24.0000 0.0000 -
1536.57/1543.08 c 1543 32360 28916 1 24.0000 0.0000 -
1541.75/1548.28 c 1548 32508 29062 1 24.0000 0.0000 -
1547.13/1553.60 c 1554 32648 29190 1 24.0000 0.0000 -
1552.61/1559.18 c 1559 32767 29296 1 24.0000 0.0000 -
1557.79/1564.33 c 1564 32896 29425 1 24.0000 0.0000 -
1562.87/1569.49 c 1569 33029 29550 1 24.0000 0.0000 -
1568.26/1574.86 c 1575 33149 29662 1 24.0000 0.0000 -
1574.04/1580.68 c 1581 33278 29787 1 24.0000 0.0000 -
1579.32/1585.94 c 1586 33374 29875 1 24.0000 0.0000 -
1584.70/1591.33 c 1591 33498 29997 1 24.0000 0.0000 -
1589.88/1596.52 c 1597 33624 30113 1 24.0000 0.0000 -
1595.26/1601.90 c 1602 33759 30236 1 24.0000 0.0000 -
1600.94/1607.64 c 1608 33903 30370 1 24.0000 0.0000 -
1606.33/1613.01 c 1613 34033 30496 1 24.0000 0.0000 -
1611.41/1618.17 c 1618 34186 30625 1 24.0000 0.0000 -
1616.69/1623.43 c 1623 34303 30742 1 24.0000 0.0000 -
1621.77/1628.58 c 1629 34453 30876 1 24.0000 0.0000 -
1627.15/1633.94 c 1634 34602 31019 1 24.0000 0.0000 -
1632.24/1639.09 c 1639 34747 31164 1 24.0000 0.0000 -
1637.41/1644.23 c 1644 34914 31317 1 24.0000 0.0000 -
1642.60/1649.47 c 1649 35025 31420 1 24.0000 0.0000 -
1647.78/1654.68 c 1655 35155 31548 1 24.0000 0.0000 -
1652.86/1659.79 c 1660 35307 31692 1 24.0000 0.0000 -
1658.04/1664.96 c 1665 35439 31824 1 24.0000 0.0000 -
1663.12/1670.08 c 1670 35582 31967 1 24.0000 0.0000 -
1668.70/1675.69 c 1676 35730 32115 1 24.0000 0.0000 -
1673.78/1680.79 c 1681 35876 32251 1 24.0000 0.0000 -
1679.08/1686.01 c 1686 36004 32379 1 24.0000 0.0000 -
1684.25/1691.22 c 1691 36137 32506 1 24.0000 0.0000 -
1689.73/1696.73 c 1697 36265 32626 1 24.0000 0.0000 -
1694.91/1701.90 c 1702 36377 32726 1 24.0000 0.0000 -
1700.10/1707.17 c 1707 36517 32860 1 24.0000 0.0000 -
1705.28/1712.36 c 1712 36649 32990 1 24.0000 0.0000 -
1710.46/1717.51 c 1718 36804 33143 1 24.0000 0.0000 -
1715.64/1722.71 c 1723 36944 33271 1 24.0000 0.0000 -
1721.22/1728.32 c 1728 37078 33401 1 24.0000 0.0000 -
1726.40/1733.56 c 1734 37189 33504 1 24.0000 0.0000 -
1731.58/1738.79 c 1739 37275 33590 1 24.0000 0.0000 -
1737.06/1744.20 c 1744 37397 33712 1 24.0000 0.0000 -
1742.34/1749.59 c 1750 37532 33837 1 24.0000 0.0000 -
1747.53/1754.71 c 1755 37677 33957 1 24.0000 0.0000 -
1752.61/1759.86 c 1760 37799 34074 1 24.0000 0.0000 -
1757.80/1765.10 c 1765 37924 34199 1 24.0000 0.0000 -
1763.27/1770.59 c 1771 38060 34335 1 24.0000 0.0000 -
1768.46/1775.76 c 1776 38195 34464 1 24.0000 0.0000 -
1773.64/1780.90 c 1781 38325 34594 1 24.0000 0.0000 -
1778.83/1786.14 c 1786 38436 34705 1 24.0000 0.0000 -
1784.00/1791.30 c 1791 38571 34836 1 24.0000 0.0000 -
1789.09/1796.44 c 1796 38699 34954 1 24.0000 0.0000 -
1794.47/1801.89 c 1802 38842 35091 1 24.0000 0.0000 -
1799.65/1807.05 c 1807 38959 35208 1 24.0000 0.0000 -
1804.74/1812.12 c 1812 39089 35330 1 24.0000 0.0000 -
1809.81/1817.25 c 1817 39233 35474 1 24.0000 0.0000 -
1815.09/1822.58 c 1823 39374 35615 1 24.0000 0.0000 -
1820.18/1827.68 c 1828 39510 35747 1 24.0000 0.0000 -
1825.56/1833.03 c 1833 39625 35862 1 24.0000 0.0000 -
1831.04/1838.50 c 1839 39742 35979 1 24.0000 0.0000 -
1836.12/1843.64 c 1844 39876 36111 1 24.0000 0.0000 -
1841.20/1848.72 c 1849 39998 36233 1 24.0000 0.0000 -
1846.49/1854.02 c 1854 40106 36341 1 24.0000 0.0000 -
1851.47/1859.03 c 1859 40216 36451 1 24.0000 0.0000 -
1856.75/1864.35 c 1864 40356 36591 1 24.0000 0.0000 -
1861.93/1869.54 c 1870 40501 36736 1 24.0000 0.0000 -
1867.11/1874.73 c 1875 40658 36891 1 24.0000 0.0000 -
1872.19/1879.84 c 1880 40824 37055 1 24.0000 0.0000 -
1877.39/1885.02 c 1885 40998 37229 1 24.0000 0.0000 -
1882.56/1890.24 c 1890 41148 37379 1 24.0000 0.0000 -
1887.84/1895.56 c 1896 41278 37509 1 24.0000 0.0000 -
1892.92/1900.68 c 1901 41416 37645 1 24.0000 0.0000 -
1898.11/1905.80 c 1906 41586 37815 1 24.0000 0.0000 -
1903.29/1911.02 c 1911 41756 37985 1 24.0000 0.0000 -
1908.38/1916.13 c 1916 41925 38154 1 24.0000 0.0000 -
1913.65/1921.47 c 1921 42080 38309 1 24.0000 0.0000 -
1918.83/1926.60 c 1927 42252 38479 1 24.0000 0.0000 -
1923.91/1931.70 c 1932 42387 38610 1 24.0000 0.0000 -
1928.99/1936.85 c 1937 42564 38775 1 24.0000 0.0000 -
1934.18/1942.01 c 1942 42737 38946 1 24.0000 0.0000 -
1939.36/1947.27 c 1947 42880 39087 1 24.0000 0.0000 -
1944.64/1952.58 c 1953 43012 39213 1 24.0000 0.0000 -
1950.03/1957.91 c 1958 43159 39346 1 24.0000 0.0000 -
1955.11/1963.02 c 1963 43323 39508 1 24.0000 0.0000 -
1960.19/1968.12 c 1968 43439 39624 1 24.0000 0.0345 -
1965.27/1973.22 c 1973 43603 39788 1 24.0000 0.0625 -
1970.45/1978.43 c 1978 43731 39916 1 24.0000 0.0667 -
1976.43/1984.42 c 1984 43894 40079 1 24.0000 0.0833 -
1982.41/1990.42 c 1990 44024 40209 1 24.0000 0.0833 -
1987.49/1995.53 c 1996 44149 40332 1 24.0000 0.0909 -
1992.67/2000.78 c 2001 44265 40448 1 24.0000 0.0909 -
1998.06/2006.14 c 2006 44407 40590 1 24.0000 0.1000 -
2003.33/2011.41 c 2011 44562 40745 1 24.0000 0.1250 -
2008.41/2016.59 c 2017 44703 40880 1 24.0000 0.1250 -
2013.90/2022.02 c 2022 44837 41014 1 24.0000 0.1429 -
2019.38/2027.51 c 2028 45002 41179 1 24.0000 0.1429 -
2024.46/2032.67 c 2033 45159 41336 1 24.0000 0.1429 -
2029.54/2037.77 c 2038 45313 41490 1 24.0000 0.1429 -
2034.72/2042.92 c 2043 45452 41629 1 24.0000 0.1429 -
2040.11/2048.37 c 2048 45612 41789 1 24.0000 0.1429 -
2045.39/2053.69 c 2054 45776 41953 1 24.0000 0.1429 -
2050.67/2058.96 c 2059 45927 42104 1 24.0000 0.1429 -
2056.25/2064.52 c 2065 46090 42267 1 24.0000 0.1429 -
2062.13/2070.40 c 2070 46232 42409 1 24.0000 0.1667 -
2067.21/2075.50 c 2076 46375 42552 1 24.0000 0.1667 -
2072.50/2080.84 c 2081 46517 42694 1 24.0000 0.1667 -
2077.68/2086.03 c 2086 46670 42847 1 24.0000 0.1667 -
2082.76/2091.17 c 2091 46855 43032 1 24.0000 0.1667 -
2088.14/2096.56 c 2097 46987 43158 1 24.0000 0.1667 -
2093.42/2101.81 c 2102 47153 43324 1 24.0000 0.1667 -
2098.60/2107.09 c 2107 47300 43471 1 24.0000 0.1667 -
2103.79/2112.20 c 2112 47439 43608 1 24.0000 0.1818 -
2108.97/2117.40 c 2117 47559 43728 1 24.0000 0.2000 -
2114.15/2122.64 c 2123 47681 43846 1 24.0000 0.2000 -
2119.43/2127.91 c 2128 47840 44005 1 24.0000 0.2000 -
2124.41/2132.99 c 2133 47991 44156 1 24.0000 0.2000 -
2129.60/2138.14 c 2138 48157 44322 1 24.0000 0.2000 -
2134.77/2143.33 c 2143 48296 44459 1 24.0000 0.2000 -
2139.96/2148.57 c 2149 48425 44588 1 24.0000 0.2000 -
2145.14/2153.74 c 2154 48554 44717 1 24.0000 0.2000 -
2150.22/2158.81 c 2159 48676 44839 1 24.0000 0.2000 -
2155.30/2163.91 c 2164 48801 44964 1 24.0000 0.2000 -
2160.29/2168.99 c 2169 48949 45112 1 24.0000 0.2500 -
2165.87/2174.58 c 2175 49081 45244 1 24.0000 0.2500 -
2171.05/2179.73 c 2180 49219 45382 1 24.0000 0.2500 -
2176.13/2184.87 c 2185 49330 45493 1 24.0000 0.2500 -
2181.42/2190.10 c 2190 49456 45619 1 24.0000 0.2500 -
2186.50/2195.28 c 2195 49599 45762 1 24.0000 0.2500 -
2191.68/2200.47 c 2200 49743 45906 1 24.0000 0.2500 -
2196.96/2205.75 c 2206 49891 46054 1 24.0000 0.2500 -
2202.04/2210.88 c 2211 50043 46204 1 24.0000 0.2500 -
2207.23/2216.02 c 2216 50192 46353 1 24.0000 0.2500 -
2212.50/2221.35 c 2221 50307 46468 1 24.0000 0.2500 -
2217.58/2226.44 c 2226 50469 46630 1 24.0000 0.2500 -
2222.66/2231.56 c 2232 50617 46778 1 24.0000 0.2500 -
2227.75/2236.66 c 2237 50782 46943 1 24.0000 0.2500 -
2233.03/2241.91 c 2242 50953 47110 1 24.0000 0.2500 -
2238.22/2247.19 c 2247 51062 47219 1 24.0000 0.2500 -
2243.60/2252.55 c 2253 51191 47348 1 24.0000 0.2500 -
2248.68/2257.68 c 2258 51324 47481 1 24.0000 0.2500 -
2253.76/2262.78 c 2263 51450 47607 1 24.0000 0.2500 -
2258.94/2267.95 c 2268 51575 47732 1 24.0000 0.2500 -
2264.03/2273.08 c 2273 51712 47869 1 24.0000 0.2500 -
2269.31/2278.30 c 2278 51841 47998 1 24.0000 0.2500 -
2274.39/2283.41 c 2283 51987 48144 1 24.0000 0.2500 -
2279.47/2288.58 c 2289 52128 48285 1 24.0000 0.2500 -
2284.65/2293.72 c 2294 52260 48417 1 24.0000 0.2500 -
2289.73/2298.80 c 2299 52412 48569 1 24.0000 0.2500 -
2294.82/2303.99 c 2304 52548 48705 1 24.0000 0.2500 -
2300.10/2309.20 c 2309 52684 48841 1 24.0000 0.2500 -
2305.28/2314.48 c 2314 52812 48969 1 24.0000 0.2500 -
2310.46/2319.63 c 2320 52939 49096 1 24.0000 0.2500 -
2315.54/2324.75 c 2325 53075 49230 1 24.0000 0.2500 -
2321.22/2330.44 c 2330 53181 49336 1 24.0000 0.2500 -
2327.20/2336.43 c 2336 53329 49484 1 24.0000 0.2500 -
2332.39/2341.62 c 2342 53468 49623 1 24.0000 0.2500 -
2337.96/2347.20 c 2347 53556 49711 1 24.0000 0.2500 -
2343.65/2352.91 c 2353 53620 49775 1 24.0000 0.2500 -
2348.73/2358.05 c 2358 53733 49888 1 24.0000 0.2500 -
2353.81/2363.19 c 2363 53872 50027 1 24.0000 0.2500 -
2359.09/2368.43 c 2368 53993 50148 1 24.0000 0.2500 -
2364.17/2373.51 c 2374 54122 50277 1 24.0000 0.2500 -
2369.25/2378.60 c 2379 54271 50422 1 24.0000 0.2500 -
2374.65/2384.00 c 2384 54378 50519 1 24.0000 0.2727 -
2379.73/2389.16 c 2389 54499 50638 1 24.0000 0.3333 -
2385.10/2394.58 c 2395 54642 50781 1 24.0000 0.3333 -
2390.38/2399.89 c 2400 54793 50932 1 24.0000 0.3333 -
2395.57/2405.01 c 2405 54959 51094 1 24.0000 0.3333 -
2400.75/2410.22 c 2410 55133 51256 1 24.0000 0.3333 -
2406.03/2415.56 c 2416 55292 51409 1 24.0000 0.3333 -
2411.11/2420.69 c 2421 55449 51552 1 24.0000 0.3333 -
2416.29/2425.82 c 2426 55646 51713 1 24.0000 0.3333 -
2421.37/2430.93 c 2431 55842 51857 1 24.0000 0.3333 -
2426.46/2436.09 c 2436 56011 52026 1 24.0000 0.3333 -
2431.55/2441.19 c 2441 56174 52189 1 24.0000 0.3333 -
2436.72/2446.30 c 2446 56323 52338 1 24.0000 0.3333 -
2442.30/2451.98 c 2452 56505 52520 1 24.0000 0.3333 -
2447.49/2457.17 c 2457 56631 52646 1 24.0000 0.3333 -
2452.66/2462.30 c 2462 56792 52807 1 24.0000 0.3333 -
2458.45/2468.17 c 2468 56957 52972 1 24.0000 0.3333 -
2463.83/2473.52 c 2474 57082 53091 1 24.0000 0.3333 -
2469.01/2478.71 c 2479 57197 53200 1 24.0000 0.3333 -
2474.49/2484.25 c 2484 57320 53317 1 24.0000 0.3333 -
2479.57/2489.36 c 2489 57452 53449 1 24.0000 0.3333 -
2484.75/2494.52 c 2495 57594 53591 1 24.0000 0.3333 -
2490.03/2499.83 c 2500 57727 53724 1 24.0000 0.3333 -
2495.11/2504.99 c 2505 57860 53857 1 24.0000 0.3333 -
2500.59/2510.47 c 2510 58002 53999 1 24.0000 0.3333 -
2506.37/2516.21 c 2516 58133 54130 1 24.0000 0.3333 -
2511.45/2521.35 c 2521 58252 54249 1 24.0000 0.3333 -
2516.63/2526.51 c 2527 58385 54382 1 24.0000 0.3333 -
2521.72/2531.68 c 2532 58549 54546 1 24.0000 0.3333 -
2526.90/2536.86 c 2537 58700 54697 1 24.0000 0.3333 -
2531.99/2541.97 c 2542 58892 54871 1 24.0000 0.3333 -
2537.07/2547.08 c 2547 59074 55039 1 24.0000 0.3333 -
2542.25/2552.28 c 2552 59241 55184 1 24.0000 0.3333 -
2547.64/2557.62 c 2558 59376 55307 1 24.0000 0.3333 -
2552.62/2562.69 c 2563 59553 55478 1 24.0000 0.3333 -
2557.90/2567.90 c 2568 59695 55608 1 24.0000 0.3333 -
2562.88/2572.99 c 2573 59872 55785 1 24.0000 0.3333 -
2568.07/2578.11 c 2578 60025 55938 1 24.0000 0.3333 -
2573.24/2583.35 c 2583 60182 56095 1 24.0000 0.3333 -
2578.52/2588.64 c 2589 60324 56237 1 24.0000 0.3333 -
2583.60/2593.76 c 2594 60466 56379 1 24.0000 0.3333 -
2588.69/2598.84 c 2599 60615 56528 1 24.0000 0.3333 -
2594.07/2604.23 c 2604 60775 56688 1 24.0000 0.3333 -
2599.25/2609.42 c 2609 60960 56873 1 24.0000 0.3333 -
2604.33/2614.56 c 2615 61143 57056 1 24.0000 0.3333 -
2609.41/2619.61 c 2620 61361 57272 1 24.0000 0.3333 -
2614.90/2625.13 c 2625 61556 57467 1 24.0000 0.3333 -
2619.98/2630.28 c 2630 61750 57661 1 24.0000 0.3333 -
2625.06/2635.39 c 2635 61923 57834 1 24.0000 0.3333 -
2630.44/2640.76 c 2641 62095 58004 1 24.0000 0.3333 -
2635.52/2645.84 c 2646 62270 58177 1 24.0000 0.3333 -
2640.81/2651.11 c 2651 62444 58351 1 24.0000 0.3333 -
2645.99/2656.30 c 2656 62597 58501 1 24.0000 0.3333 -
2651.46/2661.82 c 2662 62740 58642 1 24.0000 0.3333 -
2656.84/2667.23 c 2667 62890 58786 1 24.0000 0.3333 -
2662.23/2672.67 c 2673 63001 58883 1 24.0000 0.3333 -
2667.31/2677.78 c 2678 63168 59050 1 24.0000 0.3333 -
2672.39/2682.87 c 2683 63317 59195 1 24.0000 0.3333 -
2677.58/2688.00 c 2688 63459 59333 1 24.0000 0.3333 -
2682.86/2693.31 c 2693 63584 59456 1 24.0000 0.3333 -
2688.04/2698.54 c 2699 63743 59611 1 24.0000 0.3333 -
2693.32/2703.85 c 2704 63878 59738 1 24.0000 0.3333 -
2698.90/2709.43 c 2709 64039 59899 1 24.0000 0.3333 -
2703.98/2714.54 c 2715 64206 60056 1 24.0000 0.3333 -
2709.06/2719.65 c 2720 64375 60225 1 24.0000 0.3333 -
2714.15/2724.79 c 2725 64546 60386 1 24.0000 0.3333 -
2719.43/2730.03 c 2730 64708 60546 1 24.0000 0.3333 -
2724.61/2735.27 c 2735 64850 60688 1 24.0000 0.3333 -
2729.90/2740.58 c 2741 65011 60846 1 24.0000 0.3333 -
2735.08/2745.78 c 2746 65137 60960 1 24.0000 0.3333 -
2740.95/2751.61 c 2752 65289 61098 1 24.0000 0.3333 -
2746.23/2756.94 c 2757 65395 61204 1 24.0000 0.3333 -
2751.71/2762.45 c 2762 65514 61309 1 24.0000 0.3333 -
2756.69/2767.47 c 2767 65651 61446 1 24.0000 0.3333 -
2761.97/2772.75 c 2773 65832 61627 1 24.0000 0.3333 -
2767.06/2777.86 c 2778 65967 61762 1 24.0000 0.3636 -
2772.14/2782.96 c 2783 66075 61866 1 24.0000 0.3750 -
2777.22/2788.07 c 2788 66219 62010 1 24.0000 0.3750 -
2782.41/2793.29 c 2793 66355 62146 1 24.0000 0.4000 -
2787.59/2798.41 c 2798 66516 62307 1 24.0000 0.4000 -
2792.97/2803.85 c 2804 66661 62442 1 24.0000 0.4000 -
2798.16/2809.04 c 2809 66811 62588 1 24.0000 0.4000 -
2803.43/2814.38 c 2814 66971 62748 1 24.0000 0.4286 -
2809.31/2820.23 c 2820 67101 62878 1 24.0000 0.4286 -
2815.09/2826.02 c 2826 67271 63046 1 24.0000 0.4286 -
2820.27/2831.21 c 2831 67433 63206 1 24.0000 0.4286 -
2825.85/2836.89 c 2837 67593 63358 1 24.0000 0.4444 -
2831.33/2842.34 c 2842 67757 63522 1 24.0000 0.4444 -
2836.51/2847.57 c 2848 67921 63686 1 24.0000 0.4444 -
2841.79/2852.86 c 2853 68091 63850 1 24.0000 0.4545 -
2847.28/2858.32 c 2858 68292 64033 1 24.0000 0.4667 -
2853.15/2864.26 c 2864 68546 64283 1 24.0000 0.5000 -
2858.43/2869.54 c 2870 68697 64416 1 24.0000 0.5000 -
2863.62/2874.72 c 2875 68855 64574 1 24.0000 0.5000 -
2869.60/2880.76 c 2881 69033 64752 1 24.0000 0.5000 -
2874.68/2885.86 c 2886 69211 64930 1 24.0000 0.5000 -
2880.06/2891.28 c 2891 69384 65103 1 24.0000 0.5000 -
2885.24/2896.45 c 2896 69558 65277 1 24.0000 0.5000 -
2890.32/2901.57 c 2902 69723 65440 1 24.0000 0.5000 -
2895.51/2906.74 c 2907 69913 65626 1 24.0000 0.5000 -
2900.69/2911.90 c 2912 70096 65801 1 24.0000 0.5000 -
2905.87/2917.12 c 2917 70273 65978 1 24.0000 0.5000 -
2911.04/2922.39 c 2922 70410 66115 1 24.0000 0.5000 -
2916.33/2927.64 c 2928 70559 66264 1 24.0000 0.5000 -
2921.42/2932.74 c 2933 70677 66382 1 24.0000 0.5000 -
2926.99/2938.34 c 2938 70816 66513 1 24.0000 0.5000 -
2932.17/2943.52 c 2944 70952 66623 1 24.0000 0.5000 -
2937.26/2948.60 c 2949 71115 66784 1 24.0000 0.5000 -
2942.54/2953.98 c 2954 71307 66976 1 24.0000 0.5000 -
2947.92/2959.31 c 2959 71470 67131 1 24.0000 0.5000 -
2953.00/2964.43 c 2964 71623 67284 1 24.0000 0.5000 -
2958.09/2969.54 c 2970 71780 67441 1 24.0000 0.5000 -
2963.27/2974.74 c 2975 71946 67607 1 24.0000 0.5000 -
2968.35/2979.83 c 2980 72110 67771 1 24.0000 0.5000 -
2973.43/2984.93 c 2985 72271 67930 1 24.0000 0.5000 -
2978.52/2990.09 c 2990 72431 68090 1 24.0000 0.5000 -
2984.40/2995.90 c 2996 72601 68260 1 24.0000 0.5000 -
2989.38/3000.99 c 3001 72771 68430 1 24.0000 0.5000 -
2994.56/3006.10 c 3006 72969 68626 1 24.0000 0.5000 -
2999.64/3011.24 c 3011 73157 68808 1 24.0000 0.5000 -
3004.73/3016.36 c 3016 73331 68980 1 24.0000 0.5000 -
3009.81/3021.47 c 3021 73503 69150 1 24.0000 0.5000 -
3014.99/3026.65 c 3027 73698 69343 1 24.0000 0.5000 -
3020.06/3031.73 c 3032 73823 69460 1 24.0000 0.5000 -
3025.15/3036.86 c 3037 73951 69588 1 24.0000 0.5000 -
3030.34/3042.00 c 3042 74123 69754 1 24.0000 0.5000 -
3035.42/3047.13 c 3047 74278 69909 1 24.0000 0.5000 -
3040.49/3052.23 c 3052 74426 70057 1 24.0000 0.5000 -
3045.58/3057.33 c 3057 74600 70231 1 24.0000 0.5000 -
3050.86/3062.61 c 3063 74761 70390 1 24.0000 0.5000 -
3056.25/3068.03 c 3068 74919 70548 1 24.0000 0.5000 -
3061.33/3073.13 c 3073 75101 70724 1 24.0000 0.5000 -
3066.50/3078.36 c 3078 75261 70878 1 24.0000 0.5000 -
3071.68/3083.52 c 3084 75453 71070 1 24.0000 0.5000 -
3076.77/3088.64 c 3089 75648 71265 1 24.0000 0.5000 -
3081.85/3093.71 c 3094 75857 71468 1 24.0000 0.5000 -
3087.03/3098.93 c 3099 76021 71630 1 24.0000 0.5000 -
3092.12/3104.07 c 3104 76181 71790 1 24.0000 0.5000 -
3097.40/3109.38 c 3109 76327 71926 1 24.0000 0.5000 -
3102.57/3114.50 c 3115 76499 72098 1 24.0000 0.5000 -
3107.66/3119.68 c 3120 76661 72258 1 24.0000 0.5000 -
3112.75/3124.76 c 3125 76846 72443 1 24.0000 0.5000 -
3117.83/3129.87 c 3130 77014 72607 1 24.0000 0.5000 -
3123.01/3135.03 c 3135 77196 72789 1 24.0000 0.5000 -
3128.19/3140.20 c 3140 77314 72907 1 24.0000 0.5000 -
3133.37/3145.48 c 3145 77478 73071 1 24.0000 0.5000 -
3138.55/3150.64 c 3151 77661 73254 1 24.0000 0.5000 -
3143.63/3155.77 c 3156 77862 73455 1 24.0000 0.5000 -
3148.81/3160.90 c 3161 78068 73661 1 24.0000 0.5000 -
3154.00/3166.13 c 3166 78226 73819 1 24.0000 0.5000 -
3159.47/3171.67 c 3172 78367 73960 1 24.0000 0.5000 -
3164.65/3176.81 c 3177 78529 74118 1 24.0000 0.5000 -
3169.94/3182.17 c 3182 78665 74244 1 24.0000 0.5000 -
3175.02/3187.29 c 3187 78797 74368 1 24.0000 0.5000 -
3180.10/3192.39 c 3192 78934 74501 1 24.0000 0.5000 -
3185.38/3197.64 c 3198 79028 74593 1 24.0000 0.5000 -
3190.47/3202.78 c 3203 79162 74725 1 24.0000 0.5000 -
3195.75/3208.04 c 3208 79304 74867 1 24.0000 0.5000 -
3200.83/3213.12 c 3213 79457 75020 1 24.0000 0.5000 -
3205.91/3218.29 c 3218 79608 75171 1 24.0000 0.5000 -
3211.09/3223.41 c 3223 79779 75342 1 24.0000 0.5000 -
3216.28/3228.61 c 3229 79939 75502 1 24.0000 0.5000 -
3221.36/3233.72 c 3234 80084 75639 1 24.0000 0.5000 -
3226.44/3238.83 c 3239 80269 75824 1 24.0000 0.5000 -
3231.63/3244.03 c 3244 80440 75995 1 24.0000 0.5000 -
3236.71/3249.19 c 3249 80576 76119 1 24.0000 0.5000 -
3241.88/3254.38 c 3254 80734 76273 1 24.0000 0.5000 -
3247.16/3259.62 c 3260 80888 76425 1 24.0000 0.5000 -
3252.55/3265.05 c 3265 81028 76563 1 24.0000 0.5000 -
3257.63/3270.19 c 3270 81163 76698 1 24.0000 0.5000 -
3262.81/3275.34 c 3275 81295 76828 1 24.0000 0.5000 -
3268.09/3280.64 c 3281 81429 76962 1 24.0000 0.5000 -
3273.17/3285.75 c 3286 81585 77118 1 24.0000 0.5000 -
3278.25/3290.87 c 3291 81736 77269 1 24.0000 0.5000 -
3283.33/3295.95 c 3296 81873 77396 1 24.0000 0.5000 -
3288.62/3301.22 c 3301 81989 77510 1 24.0000 0.5000 -
3294.10/3306.76 c 3307 82118 77639 1 24.0000 0.5000 -
3299.28/3311.96 c 3312 82252 77773 1 24.0000 0.5000 -
3304.47/3317.11 c 3317 82433 77954 1 24.0000 0.5000 -
3309.54/3322.29 c 3322 82568 78081 1 24.0000 0.5000 -
3314.82/3327.53 c 3328 82689 78190 1 24.0000 0.5000 -
3320.11/3332.85 c 3333 82791 78290 1 24.0000 0.5000 -
3325.19/3337.99 c 3338 82926 78421 1 24.0000 0.5000 -
3330.28/3343.09 c 3343 83077 78572 1 24.0000 0.5000 -
3336.15/3348.99 c 3349 83220 78711 1 24.0000 0.5000 -
3341.33/3354.10 c 3354 83344 78829 1 24.0000 0.5000 -
3346.32/3359.19 c 3359 83481 78966 1 24.0000 0.5000 -
3351.79/3364.63 c 3365 83604 79085 1 24.0000 0.5000 -
3356.98/3369.88 c 3370 83764 79241 1 24.0000 0.5000 -
3362.27/3375.11 c 3375 83879 79354 1 24.0000 0.5000 -
3367.54/3380.41 c 3380 84018 79493 1 24.0000 0.5000 -
3372.62/3385.56 c 3386 84156 79629 1 24.0000 0.5000 -
3377.71/3390.67 c 3391 84285 79758 1 24.0000 0.5000 -
3383.09/3396.01 c 3396 84393 79866 1 24.0000 0.5000 -
3388.37/3401.30 c 3401 84540 80009 1 24.0000 0.5000 -
3393.45/3406.42 c 3406 84676 80137 1 24.0000 0.5000 -
3398.53/3411.53 c 3412 84823 80284 1 24.0000 0.5000 -
3403.71/3416.71 c 3417 84976 80435 1 24.0000 0.5000 -
3409.10/3422.13 c 3422 85124 80577 1 24.0000 0.5000 -
3414.17/3427.23 c 3427 85262 80711 1 24.0000 0.5000 -
3419.55/3432.62 c 3433 85417 80840 1 24.0000 0.5000 -
3424.64/3437.76 c 3438 85552 80975 1 24.0000 0.5000 -
3429.82/3442.91 c 3443 85701 81124 1 24.0000 0.5000 -
3434.90/3448.05 c 3448 85854 81277 1 24.0000 0.5000 -
3440.38/3453.56 c 3454 85927 81346 1 24.0000 0.5000 -
3445.57/3458.77 c 3459 86062 81473 1 24.0000 0.5000 -
3451.24/3464.40 c 3464 86142 81551 1 24.0000 0.5000 -
3456.32/3469.59 c 3470 86268 81675 1 24.0000 0.5000 -
3461.50/3474.72 c 3475 86423 81830 1 24.0000 0.5000 -
3466.59/3479.84 c 3480 86582 81989 1 24.0000 0.5000 -
3471.77/3485.05 c 3485 86734 82141 1 24.0000 0.5000 -
3477.55/3490.85 c 3491 86899 82306 1 24.0000 0.5000 -
3482.64/3495.99 c 3496 87057 82456 1 24.0000 0.5000 -
3487.82/3501.19 c 3501 87202 82601 1 24.0000 0.5000 -
3493.30/3506.63 c 3507 87314 82713 1 24.0000 0.5000 -
3498.48/3511.82 c 3512 87445 82836 1 24.0000 0.5000 -
3503.66/3517.07 c 3517 87590 82977 1 24.0000 0.5000 -
3509.04/3522.41 c 3522 87737 83124 1 24.0000 0.5000 -
3514.52/3527.91 c 3528 87844 83231 1 24.0000 0.5000 -
3519.60/3533.09 c 3533 87985 83370 1 24.0000 0.5000 -
3525.18/3538.60 c 3539 88137 83522 1 24.0000 0.5000 -
3530.27/3543.74 c 3544 88294 83679 1 24.0000 0.5000 -
3535.55/3549.06 c 3549 88403 83786 1 24.0000 0.5000 -
3540.93/3554.45 c 3554 88479 83858 1 24.0000 0.5000 -
3546.51/3560.01 c 3560 88610 83983 1 24.0000 0.5000 -
3551.69/3565.29 c 3565 88697 84050 1 24.0000 0.5000 -
3556.87/3570.44 c 3570 88856 84209 1 24.0000 0.5000 -
3561.95/3575.54 c 3576 89004 84357 1 24.0000 0.5000 -
3567.03/3580.67 c 3581 89157 84510 1 24.0000 0.5000 -
3572.11/3585.78 c 3586 89307 84660 1 24.0000 0.5000 -
3577.59/3591.21 c 3591 89437 84778 1 24.0000 0.5000 -
3582.77/3596.49 c 3596 89556 84895 1 24.0000 0.5000 -
3586.56/3600.24 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.56/3600.24 c Total Time : 3600.2400
3586.56/3600.24 c solving : 3600.2400
3586.56/3600.24 c presolving : 2.8433 (included in solving)
3586.56/3600.24 c B&B Tree :
3586.56/3600.24 c nodes (total) : 1
3586.56/3600.24 c Solution :
3586.56/3600.24 c Solutions found : 22
3586.56/3600.24 c Primal Bound : +2.40000000000000e+01
3586.56/3600.24 c Dual Bound : +5.00000000000000e-01
3586.56/3600.24 c Gap : 4700.00000 %
3586.56/3600.24 c * Warning: final gap: 4.70000e+01 is greater than SCIPepsilon: 1.00000e-09
3586.56/3600.26 o 24
3586.56/3600.26 s SATISFIABLE
3586.56/3600.26 v -x500 -x499 x498 -x497 x496 -x495 -x494 -x493 x492 -x491 -x490 -x489 -x488 x487 -x486 -x485 -x484 x483 -x482 -x481 x480 -x479 -x478
3586.56/3600.26 v -x477 -x476 -x475 -x474 x473 x472 -x471 -x470 -x469 -x468 -x467 x466 -x465 -x464 -x463 x462 -x461 -x460 x459 -x458 -x457
3586.56/3600.26 v -x456 -x455 x454 -x453 x452 -x451 -x450 -x449 -x448 x447 -x446 -x445 x444 -x443 -x442 -x441 -x440 -x439 -x438 x437 -x436 -x435
3586.56/3600.26 v x434 -x433 -x432 -x431 x430 -x429 -x428 -x427 x426 -x425 -x424 -x423 x422 -x421 -x420 -x419 -x418 x417 x416 -x415 -x414 -x413
3586.56/3600.26 v -x412 -x411 -x410 x409 -x408 x407 -x406 -x405 -x404 -x403 -x402 x401 -x400 -x399 -x398 x397 -x396 -x395 -x394 x393 -x392
3586.56/3600.26 v -x391 -x390 x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 x381 -x380 -x379 x378 -x377 -x376 -x375 -x374 x373 -x372 -x371 -x370
3586.56/3600.26 v x369 x368 -x367 -x366 -x365 -x364 x363 -x362 -x361 x360 -x359 -x358 -x357 -x356 -x355 x354 -x353 -x352 x351 -x350 -x349 -x348
3586.56/3600.26 v -x347 x346 -x345 -x344 -x343 -x342 x341 -x340 x339 -x338 -x337 x336 -x335 -x334 -x333 -x332 -x331 x330 -x329 -x328 x327 -x326
3586.56/3600.26 v -x325 -x324 -x323 x322 -x321 x320 -x319 -x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 x310 -x309 -x308 x307 -x306 -x305
3586.56/3600.26 v -x304 x303 -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295 -x294 x293 -x292 x291 -x290 -x289 -x288 -x287 -x286 x285 -x284 x283
3586.56/3600.26 v -x282 -x281 -x280 x279 -x278 -x277 x276 -x275 -x274 -x273 -x272 x271 -x270 -x269 -x268 x267 -x266 -x265 -x264 -x263 x262 -x261
3586.56/3600.26 v -x260 -x259 -x258 x257 -x256 -x255 -x254 x253 -x252 x251 -x250 -x249 -x248 x247 -x246 -x245 -x244 x243 -x242 -x241 x240 -x239
3586.56/3600.26 v -x238 -x237 -x236 -x235 x234 -x233 x232 -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219 x218
3586.56/3600.26 v -x217 -x216 -x215 -x214 x213 -x212 -x211 x210 -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 x201 x200 -x199 -x198 -x197 -x196
3586.56/3600.26 v x195 -x194 -x193 -x192 -x191 x190 -x189 -x188 -x187 x186 -x185 -x184 -x183 -x182 x181 x180 -x179 -x178 -x177 -x176 -x175 -x174
3586.56/3600.26 v x173 -x172 -x171 -x170 x169 x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 x154 -x153 x152
3586.56/3600.26 v -x151 -x150 -x149 x148 -x147 -x146 -x145 x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131
3586.56/3600.26 v x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 x114 -x113 x112 -x111 -x110 -x109
3586.56/3600.26 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
3586.56/3600.26 v -x84 x83 -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
3586.56/3600.26 v -x57 x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 x46 -x45 x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32
3586.56/3600.26 v -x31 x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 x18 -x17 -x16 x15 -x14 -x13 -x12 -x11 -x10 x9 x8 -x7 -x6 -x5
3586.56/3600.26 v -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 (59947 MiB free)
memory of node 1: 64473 MiB (55025 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426846-1720908337/watcher-4426846-1720908337 -o /tmp/evaluation-result-4426846-1720908337/solver-4426846-1720908337 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1720905559-723485 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426846-1720908337.wbo -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=725722, runsolver pid=725719
Current StackSize limit: 8192 KiB
[startup+0.1001 s]*
/proc/loadavg: 4.08 4.15 4.12 5/261 725723
/proc/meminfo: memFree=117703060/131524600 swapFree=131071996/131071996
[pid=725722] ppid=725719 vsize=51480 memory=39916 CPUtime=0.09 cores=0,2
/proc/725722/stat : 725722 (fscip) R 725719 725722 721169 0 -1 4194304 7577 0 0 0 8 1 0 0 20 0 1 0 143000791 52715520 9979 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
/proc/725722/statm: 12870 9979 2654 3032 0 9270 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51480 KiB
Current children cumulated memory: 39916 KiB
[startup+0.205871 s]*
/proc/loadavg: 4.08 4.15 4.12 5/261 725723
/proc/meminfo: memFree=117702528/131524600 swapFree=131071996/131071996
[pid=725722] ppid=725719 vsize=51732 memory=39916 CPUtime=0.2 cores=0,2
/proc/725722/stat : 725722 (fscip) R 725719 725722 721169 0 -1 4194304 7609 0 0 0 19 1 0 0 20 0 1 0 143000791 52973568 9979 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
/proc/725722/statm: 12933 9979 2654 3032 0 9333 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 51732 KiB
Current children cumulated memory: 39916 KiB
[startup+0.305755 s]*
/proc/loadavg: 4.08 4.15 4.12 5/261 725723
/proc/meminfo: memFree=117702052/131524600 swapFree=131071996/131071996
[pid=725722] ppid=725719 vsize=51988 memory=40180 CPUtime=0.3 cores=0,2
/proc/725722/stat : 725722 (fscip) R 725719 725722 721169 0 -1 4194304 7673 0 0 0 29 1 0 0 20 0 1 0 143000791 53235712 10045 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
/proc/725722/statm: 12997 10045 2654 3032 0 9397 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 51988 KiB
Current children cumulated memory: 40180 KiB
[startup+0.700246 s]
/proc/loadavg: 4.08 4.15 4.12 5/261 725723
/proc/meminfo: memFree=117701576/131524600 swapFree=131071996/131071996
[pid=725722] ppid=725719 vsize=52504 memory=40708 CPUtime=0.69 cores=0,2
/proc/725722/stat : 725722 (fscip) R 725719 725722 721169 0 -1 4194304 7801 0 0 0 68 1 0 0 20 0 1 0 143000791 53764096 10177 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
/proc/725722/statm: 13126 10177 2654 3032 0 9526 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52504 KiB
Current children cumulated memory: 40708 KiB
[startup+1.50024 s]
/proc/loadavg: 4.08 4.15 4.12 5/261 725723
/proc/meminfo: memFree=117700260/131524600 swapFree=131071996/131071996
[pid=725722] ppid=725719 vsize=53532 memory=41764 CPUtime=1.48 cores=0,2
/proc/725722/stat : 725722 (fscip) R 725719 725722 721169 0 -1 4194304 8060 0 0 0 147 1 0 0 20 0 1 0 143000791 54816768 10441 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
/proc/725722/statm: 13383 10441 2654 3032 0 9783 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 53532 KiB
Current children cumulated memory: 41764 KiB
[startup+3.10624 s]
/proc/loadavg: 4.08 4.15 4.12 5/263 725726
/proc/meminfo: memFree=117672148/131524600 swapFree=131071996/131071996
[pid=725722] ppid=725719 vsize=155024 memory=85388 CPUtime=3.08 cores=0,2
/proc/725722/stat : 725722 (fscip) S 725719 725722 721169 0 -1 1077936128 20522 0 0 0 305 3 0 0 20 0 3 0 143000791 158744576 21347 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
/proc/725722/statm: 38756 21347 2910 3032 0 26567 0
[pid=725722/tid=725725] ppid=725719 vsize=155024 memory=42820 CPUtime=0.22 cores=0,2
/proc/725722/task/725725/stat : 725725 (fscip) R 725719 725722 721169 0 -1 4194368 9746 0 0 0 21 1 0 0 20 0 3 0 143001077 158744576 21347 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
[pid=725722/tid=725726] ppid=725719 vsize=155024 memory=0 CPUtime=0 cores=0,2
/proc/725722/task/725726/stat : 725726 (fscip) S 725719 725722 721169 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 143001079 158744576 21347 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 155024 KiB
Current children cumulated memory: 85388 KiB
[startup+6.30123 s]
/proc/loadavg: 4.08 4.15 4.12 5/263 725726
/proc/meminfo: memFree=117602960/131524600 swapFree=131071996/131071996
[pid=725722] ppid=725719 vsize=230736 memory=140100 CPUtime=6.24 cores=0,2
/proc/725722/stat : 725722 (fscip) S 725719 725722 721169 0 -1 1077936128 46949 0 0 0 617 7 0 0 20 0 3 0 143000791 236273664 35025 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
/proc/725722/statm: 57684 35025 2974 3032 0 41479 0
[pid=725722/tid=725725] ppid=725719 vsize=230736 memory=0 CPUtime=3.38 cores=0,2
/proc/725722/task/725725/stat : 725725 (fscip) R 725719 725722 721169 0 -1 4194368 35569 0 0 0 333 5 0 0 20 0 3 0 143001077 236273664 35025 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
[pid=725722/tid=725726] ppid=725719 vsize=230736 memory=41764 CPUtime=0 cores=0,2
/proc/725722/task/725726/stat : 725726 (fscip) S 725719 725722 721169 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 143001079 236273664 35025 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 230736 KiB
Current children cumulated memory: 140100 KiB
[startup+12.7012 s]
/proc/loadavg: 4.15 4.17 4.12 5/263 725726
/proc/meminfo: memFree=117584576/131524600 swapFree=131071996/131071996
[pid=725722] ppid=725719 vsize=230736 memory=158336 CPUtime=12.58 cores=0,2
/proc/725722/stat : 725722 (fscip) S 725719 725722 721169 0 -1 1077936128 65222 0 0 0 1249 9 0 0 20 0 3 0 143000791 236273664 39584 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
/proc/725722/statm: 57684 39584 2990 3032 0 46837 0
[pid=725722/tid=725725] ppid=725719 vsize=230736 memory=0 CPUtime=9.71 cores=0,2
/proc/725722/task/725725/stat : 725725 (fscip) R 725719 725722 721169 0 -1 4194368 53792 0 0 0 964 7 0 0 20 0 3 0 143001077 236273664 39584 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
[pid=725722/tid=725726] ppid=725719 vsize=230736 memory=158336 CPUtime=0 cores=0,2
/proc/725722/task/725726/stat : 725726 (fscip) S 725719 725722 721169 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 143001079 236273664 39584 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 230736 KiB
Current children cumulated memory: 158336 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.16 4.12 5/263 725729
/proc/meminfo: memFree=117577264/131524600 swapFree=131071996/131071996
[pid=725722] ppid=725719 vsize=230736 memory=163240 CPUtime=25.3 cores=0,2
/proc/725722/stat : 725722 (fscip) S 725719 725722 721169 0 -1 1077936128 124053 0 0 0 2517 13 0 0 20 0 3 0 143000791 236273664 40810 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
/proc/725722/statm: 57684 40810 2990 3032 0 47913 0
[pid=725722/tid=725725] ppid=725719 vsize=230736 memory=163192 CPUtime=22.44 cores=0,2
/proc/725722/task/725725/stat : 725725 (fscip) R 725719 725722 721169 0 -1 4194368 110758 0 0 0 2233 11 0 0 20 0 3 0 143001077 236273664 40810 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
[pid=725722/tid=725726] ppid=725719 vsize=230736 memory=160084 CPUtime=0 cores=0,2
/proc/725722/task/725726/stat : 725726 (fscip) S 725719 725722 721169 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 143001079 236273664 40810 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
Current children cumulated CPU time: 25.3 s
Current children cumulated vsize: 230736 KiB
Current children cumulated memory: 163240 KiB
[startup+51.1056 s]
/proc/loadavg: 4.13 4.16 4.12 6/263 725732
/proc/meminfo: memFree=117619848/131524600 swapFree=131071996/131071996
[pid=725722] ppid=725719 vsize=298632 memory=188072 CPUtime=50.81 cores=0,2
/proc/725722/stat : 725722 (fscip) S 725719 725722 721169 0 -1 1077936128 190829 0 0 0 5061 20 0 0 20 0 3 0 143000791 305799168 47018 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
/proc/725722/statm: 74658 47018 2990 3032 0 57676 0
[pid=725722/tid=725725] ppid=725719 vsize=298632 memory=184024 CPUtime=47.93 cores=0,2
/proc/725722/task/725725/stat : 725725 (fscip) R 725719 725722 721169 0 -1 4194368 176887 0 0 0 4776 17 0 0 20 0 3 0 143001077 305799168 47018 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
[pid=725722/tid=725726] ppid=725719 vsize=298632 memory=11584 CPUtime=0 cores=0,2
/proc/725722/task/725726/stat : 725726 (fscip) S 725719 725722 721169 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 143001079 305799168 47018 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
Current children cumulated CPU time: 50.81 s
Current children cumulated vsize: 298632 KiB
Current children cumulated memory: 188072 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.17 4.12 5/263 725742
/proc/meminfo: memFree=117481364/131524600 swapFree=131071996/131071996
[pid=725722] ppid=725719 vsize=365880 memory=259632 CPUtime=101.79 cores=0,2
/proc/725722/stat : 725722 (fscip) S 725719 725722 721169 0 -1 1077936128 296935 0 0 0 10149 30 0 0 20 0 3 0 143000791 374661120 64908 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
/proc/725722/statm: 91470 64908 3310 3032 0 73980 0
[pid=725722/tid=725725] ppid=725719 vsize=365880 memory=204484 CPUtime=98.92 cores=0,2
/proc/725722/task/725725/stat : 725725 (fscip) R 725719 725722 721169 0 -1 4194368 282326 0 0 0 9864 28 0 0 20 0 3 0 143001077 374661120 64908 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
[pid=725722/tid=725726] ppid=725719 vsize=365880 memory=204868 CPUtime=0 cores=0,2
/proc/725722/task/725726/stat : 725726 (fscip) S 725719 725722 721169 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 143001079 374661120 64908 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
Current children cumulated CPU time: 101.79 s
Current children cumulated vsize: 365880 KiB
Current children cumulated memory: 259632 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.16 4.12 5/265 725990
/proc/meminfo: memFree=117428740/131524600 swapFree=131071996/131071996
[pid=725722] ppid=725719 vsize=367664 memory=262792 CPUtime=161.55 cores=0,2
/proc/725722/stat : 725722 (fscip) S 725719 725722 721169 0 -1 1077936128 344277 0 0 0 16119 36 0 0 20 0 3 0 143000791 376487936 65698 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
/proc/725722/statm: 91916 65698 3310 3032 0 74426 0
[pid=725722/tid=725725] ppid=725719 vsize=367664 memory=262672 CPUtime=158.66 cores=0,2
/proc/725722/task/725725/stat : 725725 (fscip) R 725719 725722 721169 0 -1 4194368 329612 0 0 0 15834 32 0 0 20 0 3 0 143001077 376487936 65698 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
[pid=725722/tid=725726] ppid=725719 vsize=367664 memory=8068 CPUtime=0 cores=0,2
/proc/725722/task/725726/stat : 725726 (fscip) S 725719 725722 721169 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 143001079 376487936 65698 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
Current children cumulated CPU time: 161.55 s
Current children cumulated vsize: 367664 KiB
Current children cumulated memory: 262792 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.15 4.12 5/265 726001
/proc/meminfo: memFree=117387984/131524600 swapFree=131071996/131071996
[pid=725722] ppid=725719 vsize=370248 memory=265120 CPUtime=221.3 cores=0,2
/proc/725722/stat : 725722 (fscip) S 725719 725722 721169 0 -1 1077936128 372870 0 0 0 22090 40 0 0 20 0 3 0 143000791 379133952 66280 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
/proc/725722/statm: 92562 66280 3310 3032 0 75072 0
[pid=725722/tid=725725] ppid=725719 vsize=370248 memory=264576 CPUtime=218.4 cores=0,2
/proc/725722/task/725725/stat : 725725 (fscip) R 725719 725722 721169 0 -1 4194368 358174 0 0 0 21804 36 0 0 20 0 3 0 143001077 379133952 66280 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
[pid=725722/tid=725726] ppid=725719 vsize=370248 memory=2268 CPUtime=0 cores=0,2
/proc/725722/task/725726/stat : 725726 (fscip) S 725719 725722 721169 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 143001079 379133952 66280 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
Current children cumulated CPU time: 221.3 s
Current children cumulated vsize: 370248 KiB
Current children cumulated memory: 265120 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.15 4.12 5/268 726302
/proc/meminfo: memFree=117373524/131524600 swapFree=131071996/131071996
[pid=725722] ppid=725719 vsize=371928 memory=270848 CPUtime=281.04 cores=0,2
/proc/725722/stat : 725722 (fscip) S 725719 725722 721169 0 -1 1077936128 404705 0 0 0 28060 44 0 0 20 0 3 0 143000791 380854272 67712 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
################
# More data... #
################
/proc/725722/statm: 183852 165373 3310 3032 0 171574 0
[pid=725722/tid=725725] ppid=725719 vsize=735408 memory=652640 CPUtime=3386.28 cores=0,2
/proc/725722/task/725725/stat : 725725 (fscip) R 725719 725722 721169 0 -1 4194368 1846403 0 0 0 338423 205 0 0 20 0 3 0 143001077 753057792 165373 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
[pid=725722/tid=725726] ppid=725719 vsize=735408 memory=661492 CPUtime=0.03 cores=0,2
/proc/725722/task/725726/stat : 725726 (fscip) S 725719 725722 721169 0 -1 1077936192 151 0 0 0 1 2 0 0 20 0 3 0 143001079 753057792 165373 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
Current children cumulated CPU time: 3389.36 s
Current children cumulated vsize: 735408 KiB
Current children cumulated memory: 661492 KiB
[startup+3462.3 s]
/proc/loadavg: 2.13 2.12 2.27 3/245 728667
/proc/meminfo: memFree=121450752/131524600 swapFree=131071996/131071996
[pid=725722] ppid=725719 vsize=735408 memory=681776 CPUtime=3449.15 cores=0,2
/proc/725722/stat : 725722 (fscip) S 725719 725722 721169 0 -1 1077936128 1907384 0 0 0 344695 220 0 0 20 0 3 0 143000791 753057792 170444 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
/proc/725722/statm: 183852 170444 3310 3032 0 176552 0
[pid=725722/tid=725725] ppid=725719 vsize=735408 memory=652640 CPUtime=3446.06 cores=0,2
/proc/725722/task/725725/stat : 725725 (fscip) R 725719 725722 721169 0 -1 4194368 1889573 0 0 0 344397 209 0 0 20 0 3 0 143001077 753057792 170444 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
[pid=725722/tid=725726] ppid=725719 vsize=735408 memory=12384 CPUtime=0.03 cores=0,2
/proc/725722/task/725726/stat : 725726 (fscip) S 725719 725722 721169 0 -1 1077936192 153 0 0 0 1 2 0 0 20 0 3 0 143001079 753057792 170444 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
Current children cumulated CPU time: 3449.15 s
Current children cumulated vsize: 735408 KiB
Current children cumulated memory: 681776 KiB
[startup+3522.3 s]
/proc/loadavg: 2.16 2.13 2.27 3/245 728678
/proc/meminfo: memFree=121447180/131524600 swapFree=131071996/131071996
[pid=725722] ppid=725719 vsize=735408 memory=682520 CPUtime=3508.94 cores=0,2
/proc/725722/stat : 725722 (fscip) S 725719 725722 721169 0 -1 1077936128 1945536 0 0 0 350672 222 0 0 20 0 3 0 143000791 753057792 170630 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
/proc/725722/statm: 183852 170630 3310 3032 0 176623 0
[pid=725722/tid=725725] ppid=725719 vsize=735408 memory=663044 CPUtime=3505.85 cores=0,2
/proc/725722/task/725725/stat : 725725 (fscip) R 725719 725722 721169 0 -1 4194368 1927711 0 0 0 350374 211 0 0 20 0 3 0 143001077 753057792 170630 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
[pid=725722/tid=725726] ppid=725719 vsize=735408 memory=37644 CPUtime=0.03 cores=0,2
/proc/725722/task/725726/stat : 725726 (fscip) S 725719 725722 721169 0 -1 1077936192 155 0 0 0 1 2 0 0 20 0 3 0 143001079 753057792 170630 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
Current children cumulated CPU time: 3508.94 s
Current children cumulated vsize: 735408 KiB
Current children cumulated memory: 682520 KiB
[startup+3582.3 s]
/proc/loadavg: 2.13 2.12 2.26 3/244 728689
/proc/meminfo: memFree=120950988/131524600 swapFree=131071996/131071996
[pid=725722] ppid=725719 vsize=742656 memory=684764 CPUtime=3568.72 cores=0,2
/proc/725722/stat : 725722 (fscip) S 725719 725722 721169 0 -1 1077936128 1987382 0 0 0 356647 225 0 0 20 0 3 0 143000791 760479744 171191 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
/proc/725722/statm: 185664 171191 3310 3032 0 178435 0
[pid=725722/tid=725725] ppid=725719 vsize=742656 memory=12384 CPUtime=3565.63 cores=0,2
/proc/725722/task/725725/stat : 725725 (fscip) R 725719 725722 721169 0 -1 4194368 1969539 0 0 0 356349 214 0 0 20 0 3 0 143001077 760479744 171191 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
[pid=725722/tid=725726] ppid=725719 vsize=742656 memory=11608 CPUtime=0.03 cores=0,2
/proc/725722/task/725726/stat : 725726 (fscip) S 725719 725722 721169 0 -1 1077936192 157 0 0 0 1 2 0 0 20 0 3 0 143001079 760479744 171191 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
Current children cumulated CPU time: 3568.72 s
Current children cumulated vsize: 742656 KiB
Current children cumulated memory: 684764 KiB
[startup+3600.26 s]
# the end of solver process 725722 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.35 s, system=2.29082 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.12 2.12 2.25 3/244 728690
/proc/meminfo: memFree=120950380/131524600 swapFree=131071996/131071996
[pid=725722] ppid=725719 vsize=742656 memory=684944 CPUtime=3570.42 cores=0,2
/proc/725722/stat : 725722 (fscip) S 725719 725722 721169 0 -1 1077936128 1987577 0 0 0 356817 225 0 0 20 0 3 0 143000791 760479744 171236 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
/proc/725722/statm: 185664 171236 3310 3032 0 178435 0
[pid=725722/tid=725725] ppid=725719 vsize=742656 memory=-2317720213663851332 CPUtime=3567.33 cores=0,2
/proc/725722/task/725725/stat : 725725 (fscip) R 725719 725722 721169 0 -1 4194368 1969734 0 0 0 356519 214 0 0 20 0 3 0 143001077 760479744 171236 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
[pid=725722/tid=725726] ppid=725719 vsize=742656 memory=7380664668635817836 CPUtime=0.03 cores=0,2
/proc/725722/task/725726/stat : 725726 (fscip) S 725719 725722 721169 0 -1 1077936192 157 0 0 0 1 2 0 0 20 0 3 0 143001079 760479744 171236 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
Current children cumulated CPU time: 3570.42 s
Current children cumulated vsize: 742656 KiB
Current children cumulated memory: 684944 KiB
[startup+3590.4 s]
/proc/loadavg: 2.11 2.11 2.25 3/244 728690
/proc/meminfo: memFree=120949708/131524600 swapFree=131071996/131071996
[pid=725722] ppid=725719 vsize=742656 memory=685168 CPUtime=3576.79 cores=0,2
/proc/725722/stat : 725722 (fscip) S 725719 725722 721169 0 -1 1077936128 1989047 0 0 0 357454 225 0 0 20 0 3 0 143000791 760479744 171292 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
/proc/725722/statm: 185664 171292 3310 3032 0 178435 0
[pid=725722/tid=725725] ppid=725719 vsize=742656 memory=37644 CPUtime=3573.7 cores=0,2
/proc/725722/task/725725/stat : 725725 (fscip) R 725719 725722 721169 0 -1 4194368 1971204 0 0 0 357156 214 0 0 20 0 3 0 143001077 760479744 171292 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
[pid=725722/tid=725726] ppid=725719 vsize=742656 memory=12384 CPUtime=0.03 cores=0,2
/proc/725722/task/725726/stat : 725726 (fscip) S 725719 725722 721169 0 -1 1077936192 157 0 0 0 1 2 0 0 20 0 3 0 143001079 760479744 171292 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
Current children cumulated CPU time: 3576.79 s
Current children cumulated vsize: 742656 KiB
Current children cumulated memory: 685168 KiB
[startup+3596.8 s]
/proc/loadavg: 2.10 2.11 2.25 3/244 728692
/proc/meminfo: memFree=120949540/131524600 swapFree=131071996/131071996
[pid=725722] ppid=725719 vsize=742656 memory=685232 CPUtime=3583.18 cores=0,2
/proc/725722/stat : 725722 (fscip) S 725719 725722 721169 0 -1 1077936128 1989800 0 0 0 358092 226 0 0 20 0 3 0 143000791 760479744 171308 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
/proc/725722/statm: 185664 171308 3310 3032 0 178435 0
[pid=725722/tid=725725] ppid=725719 vsize=742656 memory=684956 CPUtime=3580.07 cores=0,2
/proc/725722/task/725725/stat : 725725 (fscip) R 725719 725722 721169 0 -1 4194368 1971957 0 0 0 357793 214 0 0 20 0 3 0 143001077 760479744 171308 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
[pid=725722/tid=725726] ppid=725719 vsize=742656 memory=37644 CPUtime=0.03 cores=0,2
/proc/725722/task/725726/stat : 725726 (fscip) S 725719 725722 721169 0 -1 1077936192 157 0 0 0 1 2 0 0 20 0 3 0 143001079 760479744 171308 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
Current children cumulated CPU time: 3583.18 s
Current children cumulated vsize: 742656 KiB
Current children cumulated memory: 685232 KiB
[startup+3598.4 s]
/proc/loadavg: 2.10 2.11 2.25 3/244 728692
/proc/meminfo: memFree=120949344/131524600 swapFree=131071996/131071996
[pid=725722] ppid=725719 vsize=742656 memory=685360 CPUtime=3584.77 cores=0,2
/proc/725722/stat : 725722 (fscip) S 725719 725722 721169 0 -1 1077936128 1990198 0 0 0 358251 226 0 0 20 0 3 0 143000791 760479744 171340 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
/proc/725722/statm: 185664 171340 3310 3032 0 178435 0
[pid=725722/tid=725725] ppid=725719 vsize=742656 memory=685360 CPUtime=3581.67 cores=0,2
/proc/725722/task/725725/stat : 725725 (fscip) R 725719 725722 721169 0 -1 4194368 1972352 0 0 0 357953 214 0 0 20 0 3 0 143001077 760479744 171340 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
[pid=725722/tid=725726] ppid=725719 vsize=742656 memory=5616 CPUtime=0.03 cores=0,2
/proc/725722/task/725726/stat : 725726 (fscip) S 725719 725722 721169 0 -1 1077936192 159 0 0 0 1 2 0 0 20 0 3 0 143001079 760479744 171340 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
Current children cumulated CPU time: 3584.77 s
Current children cumulated vsize: 742656 KiB
Current children cumulated memory: 685360 KiB
[startup+3599.2 s]
/proc/loadavg: 2.09 2.11 2.25 3/244 728692
/proc/meminfo: memFree=120949332/131524600 swapFree=131071996/131071996
[pid=725722] ppid=725719 vsize=742656 memory=685360 CPUtime=3585.57 cores=0,2
/proc/725722/stat : 725722 (fscip) S 725719 725722 721169 0 -1 1077936128 1990259 0 0 0 358331 226 0 0 20 0 3 0 143000791 760479744 171340 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
/proc/725722/statm: 185664 171340 3310 3032 0 178435 0
[pid=725722/tid=725725] ppid=725719 vsize=742656 memory=15756 CPUtime=3582.46 cores=0,2
/proc/725722/task/725725/stat : 725725 (fscip) R 725719 725722 721169 0 -1 4194368 1972413 0 0 0 358032 214 0 0 20 0 3 0 143001077 760479744 171340 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
[pid=725722/tid=725726] ppid=725719 vsize=742656 memory=2268 CPUtime=0.03 cores=0,2
/proc/725722/task/725726/stat : 725726 (fscip) S 725719 725722 721169 0 -1 1077936192 159 0 0 0 1 2 0 0 20 0 3 0 143001079 760479744 171340 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
Current children cumulated CPU time: 3585.57 s
Current children cumulated vsize: 742656 KiB
Current children cumulated memory: 685360 KiB
[startup+3600 s]*
/proc/loadavg: 2.09 2.11 2.25 3/244 728692
/proc/meminfo: memFree=120949276/131524600 swapFree=131071996/131071996
[pid=725722] ppid=725719 vsize=742656 memory=685424 CPUtime=3586.37 cores=0,2
/proc/725722/stat : 725722 (fscip) S 725719 725722 721169 0 -1 1077936128 1992092 0 0 0 358411 226 0 0 20 0 3 0 143000791 760479744 171356 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
/proc/725722/statm: 185664 171356 3310 3032 0 178435 0
[pid=725722/tid=725725] ppid=725719 vsize=742656 memory=-6514006526534007653 CPUtime=3583.27 cores=0,2
/proc/725722/task/725725/stat : 725725 (fscip) R 725719 725722 721169 0 -1 4194368 1974250 0 0 0 358113 214 0 0 20 0 3 0 143001077 760479744 171356 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
[pid=725722/tid=725726] ppid=725719 vsize=742656 memory=-7161981964930211195 CPUtime=0.03 cores=0,2
/proc/725722/task/725726/stat : 725726 (fscip) S 725719 725722 721169 0 -1 1077936192 159 0 0 0 1 2 0 0 20 0 3 0 143001079 760479744 171356 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
Current children cumulated CPU time: 3586.37 s
Current children cumulated vsize: 742656 KiB
Current children cumulated memory: 685424 KiB
[startup+3600.2 s]
/proc/loadavg: 2.09 2.11 2.25 3/244 728692
/proc/meminfo: memFree=120949276/131524600 swapFree=131071996/131071996
[pid=725722] ppid=725719 vsize=742656 memory=685424 CPUtime=3586.56 cores=0,2
/proc/725722/stat : 725722 (fscip) S 725719 725722 721169 0 -1 1077936128 2028430 0 0 0 358429 227 0 0 20 0 3 0 143000791 760479744 171356 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
/proc/725722/statm: 185664 171356 3310 3032 0 178435 0
[pid=725722/tid=725725] ppid=725719 vsize=742656 memory=28432 CPUtime=3583.46 cores=0,2
/proc/725722/task/725725/stat : 725725 (fscip) R 725719 725722 721169 0 -1 4194368 2010580 0 0 0 358131 215 0 0 20 0 3 0 143001077 760479744 171356 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
[pid=725722/tid=725726] ppid=725719 vsize=742656 memory=7508 CPUtime=0.03 cores=0,2
/proc/725722/task/725726/stat : 725726 (fscip) S 725719 725722 721169 0 -1 1077936192 159 0 0 0 1 2 0 0 20 0 3 0 143001079 760479744 171356 134679101440 4194304 16613245 140734419637408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 44056576 140734419645409 140734419645525 140734419645525 140734419652592 0
Current children cumulated CPU time: 3586.56 s
Current children cumulated vsize: 742656 KiB
Current children cumulated memory: 685424 KiB
Child status: 0
Real time (s): 3600.26
CPU time (s): 3586.64
CPU user time (s): 3584.35
CPU system time (s): 2.29082
CPU usage (%): 99.6215
Max. virtual memory (cumulated for all children) (KiB): 742656
Max. memory (cumulated for all children) (KiB): 685424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.35
system time used= 2.29082
maximum resident set size= 685424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2030024
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= 10531
involuntary context switches= 24644
# summary of solver processes directly reported to runsolver:
# pid: 725722
# total CPU time (s): 3586.64
# total CPU user time (s): 3584.35
# total CPU system time (s): 2.29082
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.8692 second user time and 15.3183 second system time
The end
Begin job on nodeC028 at 2024-07-14 00:05:50
IDJOB=4426846
IDBENCH=144120
IDSOLVER=3044
FILE ID=nodeC028/4426846-1720908337
RUNJOBID= nodeC028-1720905559-723485
SLURM_JOB_ID= 7486087
Free space on /tmp= 889984 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/coloring/normalized-dsjc125-1-4_wcsp.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4426846-1720908337/watcher-4426846-1720908337 -o /tmp/evaluation-result-4426846-1720908337/solver-4426846-1720908337 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1720905559-723485 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426846-1720908337.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4a9eb458ba5998baf9d85c7a824f8669
RANDOM SEED=1909531978
nodeC028.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 : 3662.955
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.56
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 : 3682.988
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.59
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 : 3663.183
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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.027
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.59
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 : 3664.044
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.56
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 : 3682.989
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.149
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.56
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 : 3599.844
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 117732944 kB
MemAvailable: 117847452 kB
Buffers: 330368 kB
Cached: 630204 kB
SwapCached: 0 kB
Active: 540924 kB
Inactive: 12670324 kB
Active(anon): 1536 kB
Inactive(anon): 12286852 kB
Active(file): 539388 kB
Inactive(file): 383472 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28356 kB
Writeback: 0 kB
AnonPages: 12249876 kB
Mapped: 136900 kB
Shmem: 37720 kB
KReclaimable: 62944 kB
Slab: 160128 kB
SReclaimable: 62944 kB
SUnreclaim: 97184 kB
KernelStack: 4176 kB
PageTables: 33644 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 6058344 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 54496 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4933632 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: 166612 kB
DirectMap2M: 10092544 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 890020 MiB
End job on nodeC028 at 2024-07-14 01:05:50