0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 22683648, getVmSize() = 22683648, SCIPgetMemUsed() = 951383, SCIPgetMemTotal() = 1273519, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.00 c ** Estimated virtualMemUsedAtSolver = 16020821, getVmSize() = 25378816, SCIPgetMemUsed() = 1491554, SCIPgetMemTotal() = 2822138, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.00 c Original Problem :
0.00/0.00 c Problem name : instance-4464028-1722378597
0.00/0.00 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 12
0.00/0.00 c Objective sense : minimize
0.00/0.00 c Presolved Problem :
0.00/0.00 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 12
0.00/0.00 c Constraints : Number
0.00/0.00 c linear : 8
0.00/0.00 c logicor : 4
0.00/0.00 c ** Instance transfer method used: 0
0.00/0.01 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.01 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.01 c Nodes Active
0.00/0.01 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.00/0.01 c * 0 0 1 1 981.0000 - -
0.00/0.03 c * 0 0 1 1 843.0000 - -
0.09/0.17 c * 0 2 1 1 842.0000 0.0000 -
0.09/0.19 c * 0 2 1 1 760.0000 0.0000 -
0.19/0.20 c * 0 2 1 1 556.0000 0.0000 -
0.19/0.21 c * 0 2 1 1 332.0000 0.0000 -
0.29/0.39 c * 0 2 1 1 213.0000 0.0000 -
1.28/1.30 c * 1 528 527 1 105.0000 0.0000 -
4.68/4.75 c * 5 5029 4993 1 101.0000 0.0000 -
5.08/5.12 c 5 8130 8067 1 101.0000 0.0000 -
5.47/5.57 c * 6 8130 8067 1 38.0000 0.0000 -
6.07/6.10 c * 6 8130 8067 1 31.0000 0.0000 -
7.07/7.12 c * 7 10846 9699 1 28.0000 0.0000 -
7.07/7.13 c * 7 10846 9699 1 24.0000 0.0000 -
7.36/7.48 c * 7 13906 11824 1 23.0000 0.0000 -
7.36/7.48 c * 7 13906 11824 1 21.0000 0.0000 -
10.06/10.16 c 10 23626 16647 1 21.0000 0.0000 -
13.35/13.47 c * 13 34197 21706 1 17.0000 0.0000 -
15.14/15.21 c 15 41365 24502 1 17.0000 0.0000 -
20.13/20.27 c 20 57139 30263 1 17.0000 0.0000 -
21.22/21.33 c * 21 60435 31454 1 14.0000 0.0000 -
25.20/25.32 c 25 74552 34302 1 14.0000 0.0000 -
30.19/30.37 c 30 89449 37379 1 14.0000 0.0000 -
35.28/35.42 c 35 104627 42811 1 14.0000 0.0000 -
40.26/40.47 c 40 120910 47403 1 14.0000 0.0000 -
45.34/45.54 c 46 135182 50981 1 14.0000 0.0000 -
50.32/50.59 c 51 151572 56141 1 14.0000 0.0000 -
55.41/55.64 c 56 167747 61343 1 14.0000 0.0000 -
57.10/57.39 c * 57 170601 62620 1 13.0000 0.0000 -
57.20/57.42 c * 57 170601 62620 1 11.0000 0.0000 -
60.39/60.69 c 61 184521 66607 1 11.0000 0.0000 -
65.47/65.73 c 66 202307 71458 1 11.0000 0.0000 -
70.46/70.78 c 71 217831 75659 1 11.0000 0.0000 -
75.55/75.83 c 76 232306 78663 1 11.0000 0.0000 -
80.52/80.88 c 81 250657 82149 1 11.0000 0.0000 -
85.61/85.93 c 86 267325 86072 1 11.0000 0.0000 -
90.70/91.02 c 91 282311 88895 1 11.0000 0.0000 -
95.68/96.08 c 96 294201 91141 1 11.0000 0.0000 -
100.77/101.14 c 101 305781 92478 1 11.0000 0.0000 -
105.75/106.19 c 106 319720 94179 1 11.0000 0.0000 -
110.83/111.28 c 111 329805 95293 1 11.0000 0.0000 -
115.91/116.32 c 116 343415 97136 1 11.0000 0.0000 -
120.89/121.38 c 121 359597 99114 1 11.0000 0.0000 -
125.97/126.43 c 126 373213 100876 1 11.0000 0.0000 -
130.96/131.48 c 131 388086 102366 1 11.0000 0.0000 -
136.05/136.54 c 137 399455 103309 1 11.0000 0.0000 -
141.03/141.59 c 142 411010 104731 1 11.0000 0.0000 -
146.11/146.67 c 147 419662 105538 1 11.0000 0.0000 -
151.19/151.75 c 152 432273 106772 1 11.0000 0.0000 -
156.28/156.83 c 157 445498 108181 1 11.0000 0.0000 -
161.36/161.90 c 162 458545 109514 1 11.0000 0.0000 -
166.35/166.95 c 167 471508 110593 1 11.0000 0.0000 -
171.44/172.01 c 172 486666 113980 1 11.0000 0.0000 -
176.41/177.06 c 177 499037 116086 1 11.0000 0.0000 -
181.50/182.11 c 182 513520 118803 1 11.0000 0.0000 -
186.48/187.16 c 187 526949 120355 1 11.0000 0.0000 -
191.57/192.21 c 192 542940 124346 1 11.0000 0.0000 -
196.55/197.26 c 197 559965 127616 1 11.0000 0.0000 -
201.63/202.31 c 202 572766 129617 1 11.0000 0.0000 -
206.62/207.36 c 207 588428 131262 1 11.0000 0.0000 -
211.69/212.41 c 212 605136 133196 1 11.0000 0.0000 -
216.68/217.46 c 217 621348 135077 1 11.0000 0.0000 -
221.77/222.51 c 223 638811 137692 1 11.0000 0.0000 -
226.75/227.56 c 228 654001 139575 1 11.0000 0.0000 -
231.84/232.66 c 233 667101 142111 1 11.0000 0.0000 -
236.91/237.72 c 238 676347 143582 1 11.0000 0.0000 -
242.00/242.83 c 243 687265 145356 1 11.0000 0.0000 -
247.09/247.91 c 248 700785 148133 1 11.0000 0.0000 -
252.07/252.97 c 253 714186 150742 1 11.0000 0.0000 -
257.16/258.02 c 258 728231 152610 1 11.0000 0.0000 -
262.13/263.09 c 263 740906 153659 1 11.0000 0.0000 -
267.23/268.17 c 268 753751 155120 1 11.0000 0.0000 -
272.30/273.26 c 273 765062 156602 1 11.0000 0.0000 -
277.38/278.32 c 278 776576 157235 1 11.0000 0.0000 -
282.37/283.38 c 283 790364 158343 1 11.0000 0.0000 -
287.45/288.43 c 288 803767 160060 1 11.0000 0.0000 -
292.44/293.48 c 293 820610 162419 1 11.0000 0.0000 -
297.52/298.52 c 299 834629 163719 1 11.0000 0.0000 -
302.60/303.61 c 304 842532 164531 1 11.0000 0.0000 -
307.58/308.67 c 309 853146 165225 1 11.0000 0.0000 -
312.67/313.72 c 314 866204 166253 1 11.0000 0.0000 -
317.75/318.80 c 319 878314 166982 1 11.0000 0.0000 -
322.74/323.88 c 324 892255 167957 1 11.0000 0.0000 -
327.81/328.94 c 329 904773 169014 1 11.0000 0.0000 -
332.80/333.99 c 334 919125 170008 1 11.0000 0.0000 -
337.89/339.04 c 339 932405 171082 1 11.0000 0.0000 -
342.87/344.09 c 344 946365 172706 1 11.0000 0.0000 -
347.95/349.16 c 349 960046 173679 1 11.0000 0.0000 -
353.03/354.22 c 354 971674 174545 1 11.0000 0.0000 -
358.01/359.28 c 359 984862 175737 1 11.0000 0.0000 -
363.10/364.33 c 364 1001188 177243 1 11.0000 0.0000 -
368.18/369.41 c 369 1015172 179500 1 11.0000 0.0000 -
373.16/374.47 c 374 1028715 181592 1 11.0000 0.0000 -
378.25/379.52 c 380 1041553 182931 1 11.0000 0.0000 -
383.23/384.59 c 385 1055589 184576 1 11.0000 0.0000 -
388.32/389.64 c 390 1069231 186111 1 11.0000 0.0000 -
393.30/394.69 c 395 1081269 187140 1 11.0000 0.0000 -
398.38/399.77 c 400 1094303 188114 1 11.0000 0.0000 -
403.46/404.82 c 405 1107074 188935 1 11.0000 0.0000 -
408.45/409.89 c 410 1114984 189662 1 11.0000 0.0000 -
413.53/414.94 c 415 1126068 189924 1 11.0000 0.0000 -
418.51/419.99 c 420 1138401 190533 1 11.0000 0.0000 -
423.60/425.04 c 425 1151843 191360 1 11.0000 0.0000 -
428.59/430.09 c 430 1165064 194036 1 11.0000 0.0000 -
433.67/435.14 c 435 1179397 195683 1 11.0000 0.0000 -
438.75/440.21 c 440 1192729 196848 1 11.0000 0.0000 -
443.73/445.26 c 445 1208192 199513 1 11.0000 0.0000 -
448.81/450.31 c 450 1223805 200496 1 11.0000 0.0000 -
453.79/455.36 c 455 1238769 201140 1 11.0000 0.0000 -
458.88/460.42 c 460 1252211 201802 1 11.0000 0.0000 -
463.86/465.49 c 466 1265443 203916 1 11.0000 0.0000 -
468.95/470.59 c 471 1278459 206446 1 11.0000 0.0000 -
474.03/475.69 c 476 1294229 210502 1 11.0000 0.0000 -
479.11/480.76 c 481 1311671 214369 1 11.0000 0.0000 -
484.19/485.81 c 486 1327929 216721 1 11.0000 0.0000 -
489.18/490.86 c 491 1343918 219623 1 11.0000 0.0000 -
494.27/495.91 c 496 1359971 221615 1 11.0000 0.0000 -
499.25/500.96 c 501 1377234 224150 1 11.0000 0.0000 -
504.33/506.03 c 506 1392945 227678 1 11.0000 0.0000 -
509.42/511.10 c 511 1407639 230718 1 11.0000 0.0000 -
514.50/516.20 c 516 1423742 233033 1 11.0000 0.0000 -
519.48/521.27 c 521 1439257 235724 1 11.0000 0.0000 -
524.56/526.32 c 526 1455916 237840 1 11.0000 0.0000 -
529.65/531.42 c 531 1472031 239863 1 11.0000 0.0000 -
534.64/536.48 c 536 1489439 241770 1 11.0000 0.0000 -
539.72/541.55 c 542 1505483 243284 1 11.0000 0.0000 -
544.80/546.62 c 547 1520953 244721 1 11.0000 0.0000 -
549.79/551.67 c 552 1536877 247238 1 11.0000 0.0000 -
554.86/556.72 c 557 1552229 248918 1 11.0000 0.0000 -
558.45/560.37 c * 560 1561302 249648 1 8.0000 0.0000 -
559.85/561.78 c 562 1566029 245786 1 8.0000 0.0000 -
564.93/566.83 c 567 1579386 247994 1 8.0000 0.0000 -
570.01/571.91 c 572 1592025 250054 1 8.0000 0.0000 -
575.00/576.99 c 577 1607261 252150 1 8.0000 0.0000 -
580.09/582.06 c 582 1622096 253559 1 8.0000 0.0000 -
585.17/587.13 c 587 1638455 254861 1 8.0000 0.0000 -
590.24/592.20 c 592 1653717 255980 1 8.0000 0.0000 -
595.23/597.26 c 597 1670820 257419 1 8.0000 0.0000 -
600.31/602.35 c 602 1683672 259635 1 8.0000 0.0000 -
605.39/607.41 c 607 1697363 261527 1 8.0000 0.0000 -
610.38/612.47 c 612 1711278 263078 1 8.0000 0.0000 -
615.46/617.53 c 618 1727787 264467 1 8.0000 0.0000 -
620.55/622.60 c 623 1745348 266058 1 8.0000 0.0000 -
625.52/627.65 c 628 1762768 266993 1 8.0000 0.0000 -
630.61/632.71 c 633 1776412 267833 1 8.0000 0.0000 -
635.60/637.77 c 638 1790510 268471 1 8.0000 0.0000 -
640.68/642.83 c 643 1807105 269517 1 8.0000 0.0000 -
645.75/647.90 c 648 1820510 270885 1 8.0000 0.0000 -
650.74/652.97 c 653 1838570 271240 1 8.0000 0.0000 -
655.83/658.02 c 658 1853773 271968 1 8.0000 0.0000 -
660.81/663.07 c 663 1867070 272926 1 8.0000 0.0000 -
665.89/668.12 c 668 1885553 273151 1 8.0000 0.0000 -
670.97/673.20 c 673 1902582 273853 1 8.0000 0.0000 -
675.96/678.28 c 678 1919732 274246 1 8.0000 0.0000 -
681.04/683.35 c 683 1935228 274426 1 8.0000 0.0000 -
686.12/688.47 c 688 1949276 275034 1 8.0000 0.0000 -
691.20/693.54 c 694 1964312 276612 1 8.0000 0.0000 -
696.29/698.61 c 699 1982748 277476 1 8.0000 0.0000 -
701.27/703.66 c 704 1999912 277688 1 8.0000 0.0000 -
706.35/708.71 c 709 2015993 278047 1 8.0000 0.0000 -
711.33/713.76 c 714 2032865 278633 1 8.0000 0.0000 -
716.42/718.81 c 719 2048256 279039 1 8.0000 0.0000 -
721.41/723.86 c 724 2065343 280083 1 8.0000 0.0000 -
726.49/728.91 c 729 2082816 280629 1 8.0000 0.0000 -
731.47/733.98 c 734 2100331 281030 1 8.0000 0.0000 -
736.56/739.05 c 739 2115152 281491 1 8.0000 0.0000 -
741.54/744.10 c 744 2130960 281530 1 8.0000 0.0000 -
746.62/749.16 c 749 2145899 282731 1 8.0000 0.0000 -
751.70/754.23 c 754 2161694 283075 1 8.0000 0.0000 -
756.78/759.33 c 759 2177800 282887 1 8.0000 0.0000 -
761.77/764.39 c 764 2192665 283087 1 8.0000 0.0000 -
766.85/769.44 c 769 2209030 282836 1 8.0000 0.0000 -
771.94/774.50 c 774 2224945 283146 1 8.0000 0.0000 -
776.92/779.57 c 780 2239398 283664 1 8.0000 0.0000 -
782.00/784.63 c 785 2255822 283931 1 8.0000 0.0000 -
787.08/789.72 c 790 2270452 284276 1 8.0000 0.0000 -
792.07/794.78 c 795 2287762 284370 1 8.0000 0.0000 -
797.14/799.85 c 800 2298712 286058 1 8.0000 0.0000 -
802.23/804.90 c 805 2309823 286696 1 8.0000 0.0000 -
807.21/809.95 c 810 2322558 287060 1 8.0000 0.0000 -
812.29/815.01 c 815 2336086 286930 1 8.0000 0.0000 -
817.28/820.06 c 820 2348914 286608 1 8.0000 0.0000 -
822.36/825.17 c 825 2362868 286344 1 8.0000 0.0000 -
827.44/830.22 c 830 2378617 286679 1 8.0000 0.0000 -
832.53/835.31 c 835 2394278 286591 1 8.0000 0.0000 -
837.51/840.36 c 840 2409785 287256 1 8.0000 0.0000 -
842.59/845.44 c 845 2422121 287244 1 8.0000 0.0000 -
847.67/850.50 c 851 2437111 287433 1 8.0000 0.0000 -
852.65/855.55 c 856 2454140 287332 1 8.0000 0.0000 -
857.74/860.60 c 861 2468532 287023 1 8.0000 0.0000 -
862.71/865.67 c 866 2484501 287791 1 8.0000 0.0000 -
867.80/870.75 c 871 2502346 288037 1 8.0000 0.0000 -
872.89/875.80 c 876 2519561 288103 1 8.0000 0.0000 -
877.87/880.85 c 881 2532658 288784 1 8.0000 0.0000 -
882.95/885.95 c 886 2548211 288656 1 8.0000 0.0000 -
888.04/891.00 c 891 2563340 289796 1 8.0000 0.0000 -
893.02/896.05 c 896 2579566 290070 1 8.0000 0.0000 -
898.10/901.10 c 901 2595988 289621 1 8.0000 0.0000 -
903.09/906.16 c 906 2611784 289242 1 8.0000 0.0000 -
908.16/911.26 c 911 2623183 291888 1 8.0000 0.0000 -
913.26/916.33 c 916 2634572 294160 1 8.0000 0.0000 -
918.34/921.42 c 921 2645503 295768 1 8.0000 0.0000 -
923.42/926.53 c 927 2657858 297002 1 8.0000 0.0000 -
928.50/931.61 c 932 2671395 297808 1 8.0000 0.0000 -
933.48/936.68 c 937 2684639 298694 1 8.0000 0.0000 -
938.57/941.75 c 942 2698002 299250 1 8.0000 0.0000 -
943.65/946.80 c 947 2712329 299669 1 8.0000 0.0000 -
948.73/951.90 c 952 2724600 299849 1 8.0000 0.0000 -
953.72/956.95 c 957 2736540 300952 1 8.0000 0.0000 -
958.80/962.01 c 962 2748075 301765 1 8.0000 0.0000 -
963.88/967.11 c 967 2761173 302290 1 8.0000 0.0000 -
968.87/972.17 c 972 2773034 303488 1 8.0000 0.0000 -
973.95/977.26 c 977 2786655 304015 1 8.0000 0.0000 -
979.03/982.38 c 982 2800762 304847 1 8.0000 0.0000 -
984.12/987.47 c 987 2813054 304825 1 8.0000 0.0000 -
989.20/992.51 c 993 2827005 304575 1 8.0000 0.0000 -
994.18/997.56 c 998 2840650 304802 1 8.0000 0.0000 -
999.27/1002.61 c 1003 2856636 304820 1 8.0000 0.0000 -
1004.25/1007.66 c 1008 2870755 304361 1 8.0000 0.0000 -
1009.43/1012.81 c 1013 2882926 304516 1 8.0000 0.0000 -
1014.41/1017.87 c 1018 2895731 304140 1 8.0000 0.0000 -
1019.49/1022.95 c 1023 2908359 304574 1 8.0000 0.0000 -
1024.58/1028.04 c 1028 2919778 305113 1 8.0000 0.0000 -
1029.66/1033.12 c 1033 2933477 304690 1 8.0000 0.0000 -
1034.74/1038.20 c 1038 2945775 304085 1 8.0000 0.0000 -
1039.72/1043.27 c 1043 2958201 303813 1 8.0000 0.0000 -
1044.81/1048.35 c 1048 2972346 303192 1 8.0000 0.0000 -
1049.89/1053.40 c 1053 2985463 302386 1 8.0000 0.0000 -
1054.97/1058.53 c 1059 2999953 302308 1 8.0000 0.0000 -
1059.95/1063.59 c 1064 3013308 301716 1 8.0000 0.0000 -
1065.03/1068.64 c 1069 3026924 300719 1 8.0000 0.0000 -
1070.02/1073.69 c 1074 3043831 300450 1 8.0000 0.0000 -
1075.10/1078.74 c 1079 3058234 300441 1 8.0000 0.0000 -
1080.18/1083.84 c 1084 3071749 300048 1 8.0000 0.0000 -
1085.26/1088.90 c 1089 3083588 300031 1 8.0000 0.0000 -
1090.24/1093.95 c 1094 3098016 299762 1 8.0000 0.0000 -
1095.33/1099.00 c 1099 3111086 299757 1 8.0000 0.0000 -
1100.31/1104.07 c 1104 3125741 299299 1 8.0000 0.0000 -
1105.40/1109.12 c 1109 3141328 299003 1 8.0000 0.0000 -
1110.47/1114.23 c 1114 3156661 298354 1 8.0000 0.0000 -
1115.46/1119.28 c 1119 3170101 299204 1 8.0000 0.0000 -
1120.55/1124.33 c 1124 3186701 299430 1 8.0000 0.0000 -
1125.62/1129.42 c 1129 3203110 298562 1 8.0000 0.0000 -
1130.61/1134.47 c 1134 3216251 298199 1 8.0000 0.0000 -
1135.69/1139.52 c 1140 3233538 297768 1 8.0000 0.0000 -
1140.67/1144.57 c 1145 3249080 297492 1 8.0000 0.0000 -
1145.85/1149.72 c 1150 3259677 298117 1 8.0000 0.0000 -
1150.84/1154.79 c 1155 3271016 297830 1 8.0000 0.0000 -
1155.93/1159.84 c 1160 3282532 297520 1 8.0000 0.0000 -
1161.01/1164.92 c 1165 3297768 297207 1 8.0000 0.0000 -
1165.99/1169.98 c 1170 3314725 297861 1 8.0000 0.0000 -
1171.08/1175.07 c 1175 3328592 299255 1 8.0000 0.0000 -
1176.16/1180.17 c 1180 3346698 299863 1 8.0000 0.0000 -
1181.24/1185.21 c 1185 3367142 299921 1 8.0000 0.0000 -
1186.22/1190.29 c 1190 3385634 300612 1 8.0000 0.0000 -
1191.31/1195.33 c 1195 3402017 300841 1 8.0000 0.0000 -
1196.29/1200.38 c 1200 3421079 299959 1 8.0000 0.0000 -
1201.38/1205.45 c 1205 3441373 298685 1 8.0000 0.0000 -
1206.46/1210.57 c 1211 3456127 298401 1 8.0000 0.0000 -
1211.64/1215.72 c 1216 3468107 300396 1 8.0000 0.0000 -
1216.73/1220.81 c 1221 3479247 301253 1 8.0000 0.0000 -
1221.71/1225.86 c 1226 3490419 301546 1 8.0000 0.0000 -
1226.80/1230.91 c 1231 3504393 301613 1 8.0000 0.0000 -
1231.77/1235.96 c 1236 3520757 301423 1 8.0000 0.0000 -
1236.86/1241.01 c 1241 3532487 302149 1 8.0000 0.0000 -
1241.95/1246.13 c 1246 3544204 302239 1 8.0000 0.0000 -
1246.93/1251.18 c 1251 3558999 302146 1 8.0000 0.0000 -
1252.01/1256.24 c 1256 3573798 301596 1 8.0000 0.0000 -
1257.09/1261.30 c 1261 3588855 300917 1 8.0000 0.0000 -
1262.08/1266.36 c 1266 3602700 300546 1 8.0000 0.0000 -
1264.07/1268.39 c * 1268 3605563 300508 1 7.0000 0.0000 -
1267.76/1272.06 c 1272 3617851 298126 1 7.0000 0.0000 -
1272.84/1277.11 c 1277 3636825 297734 1 7.0000 0.0000 -
1277.92/1282.21 c 1282 3655525 297730 1 7.0000 0.0000 -
1283.00/1287.32 c 1287 3671183 297559 1 7.0000 0.0000 -
1288.10/1292.40 c 1292 3684529 298041 1 7.0000 0.0000 -
1293.08/1297.44 c 1297 3699014 297576 1 7.0000 0.0000 -
1298.16/1302.50 c 1302 3714412 297268 1 7.0000 0.0000 -
1303.14/1307.54 c 1308 3730759 296795 1 7.0000 0.0000 -
1308.12/1312.59 c 1313 3746976 296438 1 7.0000 0.0000 -
1313.21/1317.66 c 1318 3765009 296376 1 7.0000 0.0000 -
1318.29/1322.77 c 1323 3778601 296471 1 7.0000 0.0000 -
1323.37/1327.82 c 1328 3794077 296229 1 7.0000 0.0000 -
1328.36/1332.87 c 1333 3812046 296039 1 7.0000 0.0000 -
1333.45/1337.92 c 1338 3825174 296000 1 7.0000 0.0000 -
1338.43/1342.97 c 1343 3841189 295858 1 7.0000 0.0000 -
1343.52/1348.04 c 1348 3858605 295245 1 7.0000 0.0000 -
1348.50/1353.09 c 1353 3872632 294954 1 7.0000 0.0000 -
1353.58/1358.14 c 1358 3889793 294686 1 7.0000 0.0000 -
1358.56/1363.19 c 1363 3904513 294356 1 7.0000 0.0000 -
1363.64/1368.25 c 1368 3920771 294086 1 7.0000 0.0000 -
1368.73/1373.35 c 1373 3937370 293775 1 7.0000 0.0000 -
1373.81/1378.40 c 1378 3953633 293453 1 7.0000 0.0000 -
1378.79/1383.48 c 1383 3968483 293256 1 7.0000 0.0000 -
1383.87/1388.54 c 1389 3982249 293403 1 7.0000 0.0000 -
1388.96/1393.64 c 1394 3994584 293242 1 7.0000 0.0000 -
1394.05/1398.72 c 1399 4008889 293225 1 7.0000 0.0000 -
1399.02/1403.77 c 1404 4024151 292797 1 7.0000 0.0000 -
1404.11/1408.84 c 1409 4037831 292791 1 7.0000 0.0000 -
1409.20/1413.92 c 1414 4052780 292456 1 7.0000 0.0000 -
1414.18/1418.97 c 1419 4067741 292356 1 7.0000 0.0000 -
1419.27/1424.09 c 1424 4083668 292466 1 7.0000 0.0000 -
1424.34/1429.16 c 1429 4097937 292903 1 7.0000 0.0000 -
1429.42/1434.24 c 1434 4110830 292668 1 7.0000 0.0000 -
1434.51/1439.33 c 1439 4127116 292523 1 7.0000 0.0000 -
1439.59/1444.44 c 1444 4149554 292828 1 7.0000 0.0000 -
1444.67/1449.59 c 1450 4169152 292552 1 7.0000 0.0000 -
1449.76/1454.63 c 1455 4186769 292845 1 7.0000 0.0000 -
1454.75/1459.68 c 1460 4213406 293159 1 7.0000 0.0000 -
1459.83/1464.78 c 1465 4236247 292177 1 7.0000 0.0000 -
1465.02/1469.91 c 1470 4246466 294074 1 7.0000 0.0000 -
1470.00/1474.95 c 1475 4258039 294780 1 7.0000 0.0000 -
1475.09/1480.03 c 1480 4272163 295245 1 7.0000 0.0000 -
1480.17/1485.14 c 1485 4286958 295687 1 7.0000 0.0000 -
1485.25/1490.22 c 1490 4301269 295537 1 7.0000 0.0000 -
1490.34/1495.33 c 1495 4315605 295058 1 7.0000 0.0000 -
1495.32/1500.38 c 1500 4329836 294690 1 7.0000 0.0000 -
1500.41/1505.44 c 1505 4343368 293851 1 7.0000 0.0000 -
1505.49/1510.52 c 1511 4357746 292885 1 7.0000 0.0000 -
1510.48/1515.57 c 1516 4372593 292441 1 7.0000 0.0000 -
1515.55/1520.64 c 1521 4387915 292160 1 7.0000 0.0000 -
1520.64/1525.73 c 1526 4404376 291526 1 7.0000 0.0000 -
1525.63/1530.78 c 1531 4417386 293013 1 7.0000 0.0000 -
1530.72/1535.84 c 1536 4429125 294750 1 7.0000 0.0000 -
1535.80/1540.98 c 1541 4440518 295894 1 7.0000 0.0000 -
1540.89/1546.04 c 1546 4454331 297415 1 7.0000 0.0000 -
1545.97/1551.11 c 1551 4466897 298343 1 7.0000 0.0000 -
1551.05/1556.22 c 1556 4480462 299391 1 7.0000 0.0000 -
1556.03/1561.28 c 1561 4494059 300053 1 7.0000 0.0000 -
1561.22/1566.45 c 1566 4506574 301628 1 7.0000 0.0000 -
1566.30/1571.57 c 1572 4517192 303166 1 7.0000 0.0000 -
1571.39/1576.61 c 1577 4529973 303733 1 7.0000 0.0000 -
1576.38/1581.67 c 1582 4542963 303996 1 7.0000 0.0000 -
1581.46/1586.72 c 1587 4553733 304512 1 7.0000 0.0000 -
1586.55/1591.82 c 1592 4565231 305429 1 7.0000 0.0000 -
1591.63/1596.96 c 1597 4576543 306510 1 7.0000 0.0000 -
1596.71/1602.07 c 1602 4588297 307216 1 7.0000 0.0000 -
1601.80/1607.19 c 1607 4600160 307893 1 7.0000 0.0000 -
1606.87/1612.29 c 1612 4611522 308188 1 7.0000 0.0000 -
1611.96/1617.37 c 1617 4622873 308600 1 7.0000 0.0000 -
1617.05/1622.42 c 1622 4633913 309390 1 7.0000 0.0000 -
1622.13/1627.50 c 1628 4646722 310015 1 7.0000 0.0000 -
1627.21/1632.60 c 1633 4660312 310514 1 7.0000 0.0000 -
1632.30/1637.72 c 1638 4671399 310593 1 7.0000 0.0000 -
1637.39/1642.80 c 1643 4685996 310964 1 7.0000 0.0000 -
1642.37/1647.88 c 1648 4699051 311137 1 7.0000 0.0000 -
1647.56/1653.01 c 1653 4711289 311819 1 7.0000 0.0000 -
1652.54/1658.05 c 1658 4722311 312580 1 7.0000 0.0000 -
1657.62/1663.12 c 1663 4734733 312738 1 7.0000 0.0000 -
1662.71/1668.20 c 1668 4747118 314524 1 7.0000 0.0000 -
1667.69/1673.27 c 1673 4762124 315478 1 7.0000 0.0000 -
1672.78/1678.32 c 1678 4778463 315845 1 7.0000 0.0000 -
1677.76/1683.37 c 1683 4791661 315854 1 7.0000 0.0000 -
1682.84/1688.42 c 1688 4806482 315936 1 7.0000 0.0000 -
1687.93/1693.54 c 1694 4820324 316857 1 7.0000 0.0000 -
1693.01/1698.67 c 1699 4833825 317022 1 7.0000 0.0000 -
1698.09/1703.78 c 1704 4844467 317185 1 7.0000 0.0000 -
1703.18/1708.84 c 1709 4857493 317137 1 7.0000 0.0000 -
1708.26/1713.91 c 1714 4871858 317376 1 7.0000 0.0000 -
1713.35/1719.06 c 1719 4883274 317364 1 7.0000 0.0000 -
1718.44/1724.15 c 1724 4896717 316984 1 7.0000 0.0000 -
1723.52/1729.23 c 1729 4910507 317390 1 7.0000 0.0000 -
1728.59/1734.35 c 1734 4923872 317310 1 7.0000 0.0000 -
1733.67/1739.41 c 1739 4938708 317249 1 7.0000 0.0000 -
1738.75/1744.51 c 1745 4953221 317491 1 7.0000 0.0000 -
1743.83/1749.62 c 1750 4966426 317173 1 7.0000 0.0000 -
1748.91/1754.71 c 1755 4980338 317542 1 7.0000 0.0000 -
1753.88/1759.76 c 1760 4993648 317590 1 7.0000 0.0000 -
1758.96/1764.84 c 1765 5007511 317507 1 7.0000 0.0000 -
1763.93/1769.88 c 1770 5018921 317603 1 7.0000 0.0000 -
1769.01/1774.96 c 1775 5031959 317710 1 7.0000 0.0000 -
1774.10/1780.04 c 1780 5044945 317458 1 7.0000 0.0000 -
1779.17/1785.13 c 1785 5059091 317241 1 7.0000 0.0000 -
1784.25/1790.24 c 1790 5073806 317203 1 7.0000 0.0000 -
1789.23/1795.29 c 1795 5084672 317204 1 7.0000 0.0000 -
1794.31/1800.34 c 1800 5096722 317237 1 7.0000 0.0000 -
1799.29/1805.39 c 1805 5109547 317049 1 7.0000 0.0000 -
1804.36/1810.44 c 1810 5122442 316887 1 7.0000 0.0000 -
1809.44/1815.50 c 1816 5135757 317970 1 7.0000 0.0000 -
1814.52/1820.63 c 1821 5147764 319292 1 7.0000 0.0000 -
1819.59/1825.71 c 1826 5162462 319624 1 7.0000 0.0000 -
1824.57/1830.75 c 1831 5177760 319819 1 7.0000 0.0000 -
1829.65/1835.80 c 1836 5192693 319911 1 7.0000 0.0000 -
1834.73/1840.90 c 1841 5207023 319973 1 7.0000 0.0000 -
1839.81/1846.01 c 1846 5220414 320030 1 7.0000 0.0000 -
1844.89/1851.10 c 1851 5234817 319575 1 7.0000 0.0000 -
1849.86/1856.17 c 1856 5248172 319426 1 7.0000 0.0000 -
1854.94/1861.22 c 1861 5261680 319536 1 7.0000 0.0000 -
1860.01/1866.34 c 1866 5273522 319166 1 7.0000 0.0000 -
1864.99/1871.38 c 1871 5282267 319387 1 7.0000 0.0000 -
1870.07/1876.43 c 1876 5293945 319282 1 7.0000 0.0000 -
1875.15/1881.58 c 1882 5308533 318682 1 7.0000 0.0000 -
1880.23/1886.63 c 1887 5320404 318671 1 7.0000 0.0000 -
1885.21/1891.69 c 1892 5335032 318610 1 7.0000 0.0000 -
1890.29/1896.79 c 1897 5349872 318683 1 7.0000 0.0000 -
1895.46/1901.97 c 1902 5364011 320753 1 7.0000 0.0000 -
1900.75/1907.21 c 1907 5377056 321613 1 7.0000 0.0000 -
1905.82/1912.33 c 1912 5393092 321952 1 7.0000 0.0000 -
1910.91/1917.47 c 1917 5406724 323415 1 7.0000 0.0000 -
1915.99/1922.58 c 1923 5418147 324821 1 7.0000 0.0000 -
1921.06/1927.69 c 1928 5431883 326366 1 7.0000 0.0000 -
1926.14/1932.79 c 1933 5448815 327174 1 7.0000 0.0000 -
1931.32/1937.93 c 1938 5463314 327916 1 7.0000 0.0000 -
1936.40/1943.03 c 1943 5478855 328556 1 7.0000 0.0000 -
1941.49/1948.16 c 1948 5495392 328707 1 7.0000 0.0000 -
1946.65/1953.32 c 1953 5510729 328896 1 7.0000 0.0000 -
1951.74/1958.41 c 1958 5527050 329230 1 7.0000 0.0000 -
1956.71/1963.48 c 1963 5536784 330798 1 7.0000 0.0000 -
1961.90/1968.60 c 1969 5547562 331885 1 7.0000 0.0000 -
1966.98/1973.73 c 1974 5560446 332883 1 7.0000 0.0000 -
1972.15/1978.93 c 1979 5577050 333436 1 7.0000 0.0000 -
1977.13/1983.98 c 1984 5592194 334511 1 7.0000 0.0000 -
1982.22/1989.03 c 1989 5603053 336187 1 7.0000 0.0000 -
1987.29/1994.17 c 1994 5615668 337045 1 7.0000 0.0000 -
1992.47/1999.34 c 1999 5628112 337787 1 7.0000 0.0000 -
1997.64/2004.50 c 2005 5639948 338058 1 7.0000 0.0000 -
2002.63/2009.59 c 2010 5654097 337957 1 7.0000 0.0000 -
2007.90/2014.80 c 2015 5667337 338559 1 7.0000 0.0000 -
2012.89/2019.86 c 2020 5679789 339718 1 7.0000 0.0000 -
2017.96/2024.98 c 2025 5692578 340522 1 7.0000 0.0000 -
2023.14/2030.10 c 2030 5706810 340893 1 7.0000 0.0000 -
2028.22/2035.23 c 2035 5720232 341217 1 7.0000 0.0000 -
2033.40/2040.42 c 2040 5733877 341468 1 7.0000 0.0000 -
2038.58/2045.62 c 2046 5746414 342974 1 7.0000 0.0000 -
2043.56/2050.68 c 2051 5759402 343311 1 7.0000 0.0000 -
2048.74/2055.83 c 2056 5773130 345072 1 7.0000 0.0000 -
2053.92/2061.03 c 2061 5785189 346662 1 7.0000 0.0000 -
2058.91/2066.07 c 2066 5799011 348130 1 7.0000 0.0000 -
2064.18/2071.33 c 2071 5810022 350018 1 7.0000 0.0000 -
2069.36/2076.56 c 2077 5823740 351209 1 7.0000 0.0000 -
2074.44/2081.69 c 2082 5837658 352214 1 7.0000 0.0000 -
2079.72/2086.93 c 2087 5848183 353991 1 7.0000 0.0000 -
2084.81/2092.09 c 2092 5863578 355257 1 7.0000 0.0000 -
2089.98/2097.22 c 2097 5876094 355971 1 7.0000 0.0000 -
2095.06/2102.30 c 2102 5888161 357631 1 7.0000 0.0000 -
2100.15/2107.43 c 2107 5902003 358763 1 7.0000 0.0000 -
2105.22/2112.51 c 2113 5916702 359934 1 7.0000 0.0000 -
2110.41/2117.72 c 2118 5929315 361369 1 7.0000 0.0000 -
2115.59/2122.91 c 2123 5944367 362117 1 7.0000 0.0000 -
2120.56/2127.99 c 2128 5954021 364177 1 7.0000 0.0000 -
2125.84/2133.23 c 2133 5965364 365793 1 7.0000 0.0000 -
2130.92/2138.31 c 2138 5977655 366798 1 7.0000 0.0000 -
2135.99/2143.40 c 2143 5989492 367719 1 7.0000 0.0000 -
2141.07/2148.53 c 2149 6002992 368662 1 7.0000 0.0000 -
2146.16/2153.69 c 2154 6016298 369654 1 7.0000 0.0000 -
2151.23/2158.75 c 2159 6031496 370497 1 7.0000 0.0000 -
2156.42/2163.94 c 2164 6048706 370933 1 7.0000 0.0000 -
2161.50/2169.05 c 2169 6065505 371639 1 7.0000 0.0000 -
2166.58/2174.18 c 2174 6079991 371961 1 7.0000 0.0000 -
2168.27/2175.83 c * 2176 6082460 372086 1 5.0000 0.0000 -
2171.76/2179.32 c 2179 6094111 362428 1 5.0000 0.0000 -
2176.83/2184.45 c 2184 6108850 363348 1 5.0000 0.0000 -
2181.91/2189.56 c 2190 6120359 364233 1 5.0000 0.0000 -
2187.00/2194.61 c 2195 6136448 364398 1 5.0000 0.0000 -
2191.97/2199.67 c 2200 6152998 364574 1 5.0000 0.0000 -
2197.35/2205.02 c 2205 6170848 364498 1 5.0000 0.0000 -
2202.53/2210.29 c 2210 6187079 365418 1 5.0000 0.0000 -
2207.81/2215.50 c 2216 6206632 366157 1 5.0000 0.0000 -
2212.79/2220.55 c 2221 6221840 366505 1 5.0000 0.0000 -
2217.87/2225.62 c 2226 6239480 367841 1 5.0000 0.0000 -
2223.05/2230.80 c 2231 6258897 367933 1 5.0000 0.0000 -
2228.13/2235.90 c 2236 6272539 368509 1 5.0000 0.0000 -
2233.21/2241.08 c 2241 6286916 368528 1 5.0000 0.0000 -
2238.30/2246.19 c 2246 6305152 368828 1 5.0000 0.0000 -
2243.37/2251.27 c 2251 6323262 368833 1 5.0000 0.0000 -
2248.45/2256.32 c 2256 6340434 369253 1 5.0000 0.0000 -
2253.43/2261.37 c 2261 6357325 369265 1 5.0000 0.0000 -
2258.51/2266.42 c 2266 6368842 369629 1 5.0000 0.0000 -
2263.69/2271.62 c 2272 6385462 369547 1 5.0000 0.0000 -
2268.86/2276.80 c 2277 6402433 369232 1 5.0000 0.0000 -
2273.84/2281.87 c 2282 6420753 369026 1 5.0000 0.0000 -
2278.92/2286.98 c 2287 6438008 368657 1 5.0000 0.0000 -
2284.10/2292.11 c 2292 6457056 368349 1 5.0000 0.0000 -
2289.19/2297.20 c 2297 6473816 368555 1 5.0000 0.0000 -
2294.26/2302.34 c 2302 6492406 368385 1 5.0000 0.0000 -
2299.34/2307.49 c 2308 6508306 368864 1 5.0000 0.0000 -
2304.52/2312.61 c 2313 6521390 370073 1 5.0000 0.0000 -
2309.70/2317.81 c 2318 6537083 370643 1 5.0000 0.0000 -
2314.78/2322.91 c 2323 6554909 370964 1 5.0000 0.0000 -
2320.06/2328.22 c 2328 6570882 370557 1 5.0000 0.0000 -
2325.24/2333.41 c 2333 6587214 370496 1 5.0000 0.0000 -
2330.23/2338.45 c 2338 6601554 370507 1 5.0000 0.0000 -
2335.40/2343.61 c 2344 6621242 370431 1 5.0000 0.0000 -
2340.58/2348.83 c 2349 6639123 369982 1 5.0000 0.0000 -
2345.87/2354.13 c 2354 6650595 370868 1 5.0000 0.0000 -
2351.04/2359.31 c 2359 6664546 371194 1 5.0000 0.0000 -
2356.21/2364.53 c 2365 6680866 371134 1 5.0000 0.0000 -
2361.40/2369.79 c 2370 6696695 370725 1 5.0000 0.0000 -
2366.58/2374.90 c 2375 6714923 370437 1 5.0000 0.0000 -
2371.56/2379.95 c 2380 6730552 370419 1 5.0000 0.0000 -
2376.83/2385.22 c 2385 6746185 370165 1 5.0000 0.0000 -
2381.81/2390.28 c 2390 6764410 369610 1 5.0000 0.0000 -
2386.89/2395.38 c 2395 6774753 370806 1 5.0000 0.0000 -
2391.97/2400.43 c 2400 6786421 371473 1 5.0000 0.0000 -
2396.95/2405.48 c 2405 6798825 372123 1 5.0000 0.0000 -
2402.03/2410.53 c 2411 6812105 372576 1 5.0000 0.0000 -
2407.01/2415.58 c 2416 6826941 372178 1 5.0000 0.0000 -
2412.19/2420.70 c 2421 6840090 372293 1 5.0000 0.0000 -
2417.17/2425.75 c 2426 6855416 371518 1 5.0000 0.0000 -
2422.24/2430.80 c 2431 6871533 371162 1 5.0000 0.0000 -
2427.33/2435.90 c 2436 6889200 371384 1 5.0000 0.0000 -
2432.30/2440.95 c 2441 6904853 371130 1 5.0000 0.0000 -
2437.49/2446.13 c 2446 6921135 370579 1 5.0000 0.0000 -
2442.47/2451.18 c 2451 6938654 370646 1 5.0000 0.0000 -
2447.64/2456.37 c 2456 6950299 370503 1 5.0000 0.0000 -
2452.72/2461.42 c 2461 6968121 370099 1 5.0000 0.0000 -
2457.79/2466.59 c 2467 6984665 369781 1 5.0000 0.0000 -
2462.88/2471.64 c 2472 7000632 370009 1 5.0000 0.0000 -
2467.96/2476.78 c 2477 7015992 369572 1 5.0000 0.0000 -
2473.03/2481.86 c 2482 7033843 369352 1 5.0000 0.0000 -
2478.12/2486.91 c 2487 7050643 368850 1 5.0000 0.0000 -
2483.09/2491.98 c 2492 7068306 368234 1 5.0000 0.0000 -
2488.17/2497.09 c 2497 7083903 367801 1 5.0000 0.0000 -
2493.26/2502.13 c 2502 7101139 367189 1 5.0000 0.0000 -
2498.42/2507.32 c 2507 7115332 366712 1 5.0000 0.0000 -
2503.61/2512.53 c 2513 7132221 366383 1 5.0000 0.0000 -
2508.68/2517.62 c 2518 7150101 365645 1 5.0000 0.0000 -
2513.87/2522.83 c 2523 7164815 365595 1 5.0000 0.0000 -
2518.94/2527.97 c 2528 7182026 365300 1 5.0000 0.0000 -
2524.22/2533.20 c 2533 7201788 365720 1 5.0000 0.0000 -
2529.20/2538.24 c 2538 7221937 366030 1 5.0000 0.0000 -
2534.28/2543.39 c 2543 7239834 366049 1 5.0000 0.0000 -
2539.36/2548.44 c 2548 7257421 365486 1 5.0000 0.0000 -
2544.54/2553.60 c 2554 7271165 366380 1 5.0000 0.0000 -
2549.62/2558.74 c 2559 7286832 366835 1 5.0000 0.0000 -
2554.70/2563.84 c 2564 7303838 366357 1 5.0000 0.0000 -
2559.67/2568.88 c 2569 7322239 365429 1 5.0000 0.0000 -
2564.76/2573.97 c 2574 7339402 364899 1 5.0000 0.0000 -
2569.94/2579.12 c 2579 7355373 364353 1 5.0000 0.0000 -
2575.11/2584.30 c 2584 7366504 365806 1 5.0000 0.0000 -
2580.19/2589.48 c 2589 7380163 366631 1 5.0000 0.0000 -
2585.27/2594.58 c 2595 7393819 366680 1 5.0000 0.0000 -
2590.34/2599.63 c 2600 7407211 366468 1 5.0000 0.0000 -
2595.43/2604.78 c 2605 7421252 366195 1 5.0000 0.0000 -
2600.61/2609.98 c 2610 7435080 365917 1 5.0000 0.0000 -
2605.88/2615.25 c 2615 7447562 366138 1 5.0000 0.0000 -
2610.97/2620.30 c 2620 7460488 365660 1 5.0000 0.0000 -
2616.14/2625.50 c 2626 7475534 364937 1 5.0000 0.0000 -
2621.12/2630.59 c 2631 7496458 365043 1 5.0000 0.0000 -
2626.20/2635.64 c 2636 7507362 365359 1 5.0000 0.0000 -
2631.18/2640.69 c 2641 7522781 364526 1 5.0000 0.0000 -
2636.46/2645.99 c 2646 7538567 364103 1 5.0000 0.0000 -
2641.73/2651.29 c 2651 7553453 366153 1 5.0000 0.0000 -
2646.91/2656.46 c 2656 7565525 367475 1 5.0000 0.0000 -
2652.09/2661.67 c 2662 7578745 368948 1 5.0000 0.0000 -
2657.18/2666.74 c 2667 7592039 370384 1 5.0000 0.0000 -
2662.16/2671.79 c 2672 7605071 371598 1 5.0000 0.0000 -
2667.35/2676.93 c 2677 7619702 372779 1 5.0000 0.0000 -
2672.43/2682.02 c 2682 7635520 373421 1 5.0000 0.0000 -
2677.51/2687.16 c 2687 7649127 373951 1 5.0000 0.0000 -
2682.58/2692.21 c 2692 7664649 374182 1 5.0000 0.0000 -
2687.66/2697.39 c 2697 7678968 374171 1 5.0000 0.0000 -
2692.93/2702.65 c 2703 7694202 374396 1 5.0000 0.0000 -
2698.12/2707.88 c 2708 7710250 374547 1 5.0000 0.0000 -
2703.40/2713.14 c 2713 7723244 375544 1 5.0000 0.0000 -
2708.48/2718.28 c 2718 7736598 376753 1 5.0000 0.0000 -
2713.56/2723.36 c 2723 7751559 377196 1 5.0000 0.0000 -
2718.84/2728.66 c 2729 7763437 377639 1 5.0000 0.0000 -
2724.12/2733.90 c 2734 7777780 377487 1 5.0000 0.0000 -
2729.20/2739.02 c 2739 7791583 377635 1 5.0000 0.0000 -
2734.18/2744.09 c 2744 7805169 377756 1 5.0000 0.0000 -
2739.35/2749.24 c 2749 7820802 377680 1 5.0000 0.0000 -
2744.53/2754.46 c 2754 7838716 377274 1 5.0000 0.0000 -
2749.61/2759.51 c 2760 7854003 377255 1 5.0000 0.0000 -
2754.69/2764.60 c 2765 7869936 377039 1 5.0000 0.0000 -
2759.67/2769.65 c 2770 7884818 376865 1 5.0000 0.0000 -
2764.75/2774.75 c 2775 7899328 376337 1 5.0000 0.0000 -
2769.93/2779.96 c 2780 7914858 376431 1 5.0000 0.0000 -
2775.30/2785.33 c 2785 7929004 376209 1 5.0000 0.0000 -
2780.49/2790.51 c 2791 7945987 375667 1 5.0000 0.0000 -
2785.46/2795.56 c 2796 7960550 375481 1 5.0000 0.0000 -
2790.64/2800.70 c 2801 7977509 374805 1 5.0000 0.0000 -
2795.82/2805.91 c 2806 7995197 374114 1 5.0000 0.0000 -
2800.90/2811.09 c 2811 8011685 373867 1 5.0000 0.0000 -
2806.08/2816.25 c 2816 8025078 373688 1 5.0000 0.0000 -
2811.26/2821.42 c 2821 8041197 373144 1 5.0000 0.0000 -
2816.33/2826.58 c 2827 8054621 373005 1 5.0000 0.0000 -
2821.41/2831.63 c 2832 8072735 371693 1 5.0000 0.0000 -
2826.50/2836.72 c 2837 8086563 371178 1 5.0000 0.0000 -
2831.47/2841.79 c 2842 8100858 370963 1 5.0000 0.0000 -
2836.65/2846.90 c 2847 8114526 370758 1 5.0000 0.0000 -
2841.84/2852.15 c 2852 8128093 371772 1 5.0000 0.0000 -
2847.11/2857.40 c 2857 8147449 371045 1 5.0000 0.0000 -
2852.09/2862.44 c 2862 8162396 370680 1 5.0000 0.0000 -
2857.07/2867.49 c 2868 8177126 370074 1 5.0000 0.0000 -
2862.15/2872.55 c 2873 8194362 369935 1 5.0000 0.0000 -
2867.33/2877.70 c 2878 8208961 369119 1 5.0000 0.0000 -
2872.41/2882.87 c 2883 8226205 367920 1 5.0000 0.0000 -
2877.49/2887.97 c 2888 8243534 367019 1 5.0000 0.0000 -
2882.57/2893.08 c 2893 8260756 366298 1 5.0000 0.0000 -
2887.94/2898.41 c 2898 8277099 366222 1 5.0000 0.0000 -
2893.12/2903.65 c 2904 8293924 365887 1 5.0000 0.0000 -
2898.20/2908.71 c 2909 8313568 366048 1 5.0000 0.0000 -
2903.28/2913.84 c 2914 8333991 365811 1 5.0000 0.0000 -
2908.36/2918.99 c 2919 8352932 365488 1 5.0000 0.0000 -
2913.44/2924.04 c 2924 8370060 365082 1 5.0000 0.0000 -
2918.42/2929.09 c 2929 8388014 364332 1 5.0000 0.0000 -
2923.60/2934.24 c 2934 8405226 364257 1 5.0000 0.0000 -
2928.78/2939.40 c 2939 8421802 363619 1 5.0000 0.0000 -
2933.86/2944.58 c 2945 8437224 362825 1 5.0000 0.0000 -
2939.03/2949.76 c 2950 8453746 362367 1 5.0000 0.0000 -
2944.32/2955.02 c 2955 8471421 361398 1 5.0000 0.0000 -
2949.39/2960.18 c 2960 8486373 360740 1 5.0000 0.0000 -
2954.57/2965.31 c 2965 8503282 360650 1 5.0000 0.0000 -
2959.65/2970.48 c 2970 8514881 361440 1 5.0000 0.0000 -
2964.92/2975.73 c 2976 8533218 360611 1 5.0000 0.0000 -
2970.01/2980.81 c 2981 8550592 360109 1 5.0000 0.0000 -
2975.09/2985.95 c 2986 8569895 358959 1 5.0000 0.0000 -
2980.16/2991.10 c 2991 8583554 360044 1 5.0000 0.0000 -
2985.34/2996.26 c 2996 8598797 359957 1 5.0000 0.0000 -
2990.43/3001.31 c 3001 8616256 359586 1 5.0000 0.0000 -
2995.50/3006.49 c 3006 8633908 358920 1 5.0000 0.0000 -
3000.68/3011.61 c 3012 8651782 358942 1 5.0000 0.0000 -
3005.77/3016.73 c 3017 8668915 358260 1 5.0000 0.0000 -
3010.94/3021.94 c 3022 8684826 358352 1 5.0000 0.0000 -
3016.24/3027.21 c 3027 8693426 360116 1 5.0000 0.0000 -
3021.42/3032.43 c 3032 8703412 361677 1 5.0000 0.0000 -
3026.60/3037.61 c 3038 8713300 362995 1 5.0000 0.0000 -
3031.79/3042.88 c 3043 8723919 364174 1 5.0000 0.0000 -
3037.07/3048.12 c 3048 8735392 365158 1 5.0000 0.0000 -
3042.15/3053.26 c 3053 8746702 366016 1 5.0000 0.0000 -
3047.33/3058.45 c 3058 8756562 366643 1 5.0000 0.0000 -
3052.52/3063.63 c 3064 8767287 367377 1 5.0000 0.0000 -
3057.61/3068.75 c 3069 8779138 368008 1 5.0000 0.0000 -
3062.89/3074.06 c 3074 8792025 368348 1 5.0000 0.0000 -
3068.17/3079.35 c 3079 8802873 369510 1 5.0000 0.0000 -
3073.45/3084.63 c 3085 8817777 370162 1 5.0000 0.0000 -
3078.44/3089.68 c 3090 8828273 370698 1 5.0000 0.0000 -
3083.72/3094.92 c 3095 8839682 371038 1 5.0000 0.0000 -
3088.91/3100.10 c 3100 8852720 371533 1 5.0000 0.0000 -
3093.98/3105.29 c 3105 8865373 372077 1 5.0000 0.0000 -
3099.27/3110.53 c 3111 8879989 372322 1 5.0000 0.0000 -
3104.45/3115.74 c 3116 8892960 372425 1 5.0000 0.0000 -
3109.63/3120.91 c 3121 8908860 372439 1 5.0000 0.0000 -
3114.92/3126.28 c 3126 8920090 372686 1 5.0000 0.0000 -
3120.20/3131.52 c 3132 8934546 372484 1 5.0000 0.0000 -
3125.18/3136.57 c 3137 8948506 372239 1 5.0000 0.0000 -
3130.37/3141.74 c 3142 8960462 372292 1 5.0000 0.0000 -
3135.66/3147.01 c 3147 8974902 371933 1 5.0000 0.0000 -
3140.74/3152.13 c 3152 8986958 372517 1 5.0000 0.0000 -
3145.91/3157.38 c 3157 8999269 373053 1 5.0000 0.0000 -
3151.10/3162.53 c 3163 9013211 372808 1 5.0000 0.0000 -
3156.19/3167.62 c 3168 9026847 372773 1 5.0000 0.0000 -
3161.27/3172.74 c 3173 9036113 374741 1 5.0000 0.0000 -
3166.36/3177.88 c 3178 9046932 375731 1 5.0000 0.0000 -
3171.64/3183.11 c 3183 9058378 376160 1 5.0000 0.0000 -
3176.82/3188.37 c 3188 9071382 376456 1 5.0000 0.0000 -
3181.91/3193.46 c 3193 9083591 376705 1 5.0000 0.0000 -
3187.09/3198.63 c 3199 9096427 376733 1 5.0000 0.0000 -
3192.27/3203.86 c 3204 9105838 377241 1 5.0000 0.0000 -
3197.57/3209.12 c 3209 9117503 377706 1 5.0000 0.0000 -
3202.64/3214.28 c 3214 9131650 377468 1 5.0000 0.0000 -
3207.82/3219.45 c 3219 9145882 377290 1 5.0000 0.0000 -
3212.90/3224.54 c 3225 9158269 377203 1 5.0000 0.0000 -
3217.88/3229.59 c 3230 9171976 377009 1 5.0000 0.0000 -
3222.97/3234.64 c 3235 9185164 376883 1 5.0000 0.0000 -
3228.16/3239.83 c 3240 9197688 377029 1 5.0000 0.0000 -
3233.34/3245.02 c 3245 9211452 376941 1 5.0000 0.0000 -
3238.33/3250.06 c 3250 9224255 376948 1 5.0000 0.0000 -
3243.50/3255.29 c 3255 9238956 377714 1 5.0000 0.0000 -
3248.78/3260.54 c 3261 9252906 377860 1 5.0000 0.0000 -
3253.97/3265.70 c 3266 9268377 378195 1 5.0000 0.0000 -
3258.96/3270.77 c 3271 9281668 378080 1 5.0000 0.0000 -
3264.25/3276.07 c 3276 9296182 378009 1 5.0000 0.0000 -
3269.42/3281.20 c 3281 9309347 379523 1 5.0000 0.0000 -
3274.50/3286.36 c 3286 9324375 380392 1 5.0000 0.0000 -
3279.68/3291.57 c 3292 9345357 380875 1 5.0000 0.0000 -
3284.77/3296.65 c 3297 9361250 380668 1 5.0000 0.0000 -
3289.95/3301.87 c 3302 9379427 380331 1 5.0000 0.0000 -
3295.14/3307.08 c 3307 9392652 380419 1 5.0000 0.0000 -
3300.32/3312.20 c 3312 9406539 380054 1 5.0000 0.0000 -
3305.60/3317.54 c 3318 9418412 380028 1 5.0000 0.0000 -
3310.79/3322.78 c 3323 9431411 380039 1 5.0000 0.0000 -
3315.97/3327.96 c 3328 9447381 379612 1 5.0000 0.0000 -
3321.06/3333.04 c 3333 9457563 379475 1 5.0000 0.0000 -
3326.14/3338.19 c 3338 9470987 379795 1 5.0000 0.0000 -
3331.32/3343.39 c 3343 9486146 380395 1 5.0000 0.0000 -
3336.50/3348.58 c 3349 9501324 380256 1 5.0000 0.0000 -
3341.68/3353.78 c 3354 9515947 380011 1 5.0000 0.0000 -
3346.87/3358.94 c 3359 9532773 379571 1 5.0000 0.0000 -
3351.96/3364.05 c 3364 9548184 378949 1 5.0000 0.0000 -
3356.94/3369.09 c 3369 9560885 378679 1 5.0000 0.0000 -
3362.11/3374.21 c 3374 9581663 379464 1 5.0000 0.0000 -
3367.30/3379.49 c 3379 9600569 379415 1 5.0000 0.0000 -
3372.48/3384.62 c 3385 9612518 379127 1 5.0000 0.0000 -
3377.57/3389.73 c 3390 9626992 378762 1 5.0000 0.0000 -
3382.65/3394.89 c 3395 9639125 378523 1 5.0000 0.0000 -
3387.94/3400.15 c 3400 9652592 377856 1 5.0000 0.0000 -
3393.11/3405.32 c 3405 9666066 377558 1 5.0000 0.0000 -
3398.30/3410.53 c 3411 9678292 377800 1 5.0000 0.0000 -
3403.28/3415.58 c 3416 9690494 377461 1 5.0000 0.0000 -
3408.37/3420.69 c 3421 9707445 376941 1 5.0000 0.0000 -
3413.45/3425.74 c 3426 9721999 376369 1 5.0000 0.0000 -
3418.74/3431.05 c 3431 9733860 376559 1 5.0000 0.0000 -
3423.91/3436.21 c 3436 9744390 376879 1 5.0000 0.0000 -
3428.90/3441.27 c 3441 9755098 377072 1 5.0000 0.0000 -
3433.98/3446.32 c 3446 9769912 376480 1 5.0000 0.0000 -
3439.16/3451.53 c 3452 9782939 377053 1 5.0000 0.0000 -
3444.25/3456.69 c 3457 9799393 377025 1 5.0000 0.0000 -
3449.33/3461.75 c 3462 9812482 376838 1 5.0000 0.0000 -
3454.41/3466.86 c 3467 9826546 376546 1 5.0000 0.0000 -
3459.50/3471.96 c 3472 9836939 376768 1 5.0000 0.0000 -
3464.58/3477.01 c 3477 9850634 376146 1 5.0000 0.0000 -
3469.57/3482.08 c 3482 9864964 375760 1 5.0000 0.0000 -
3474.75/3487.22 c 3487 9876627 376002 1 5.0000 0.0000 -
3479.93/3492.45 c 3492 9885754 376696 1 5.0000 0.0000 -
3485.12/3497.63 c 3498 9898909 376959 1 5.0000 0.0000 -
3490.20/3502.73 c 3503 9909926 376758 1 5.0000 0.0000 -
3495.28/3507.88 c 3508 9919417 377280 1 5.0000 0.0000 -
3500.36/3512.98 c 3513 9932739 376970 1 5.0000 0.0000 -
3505.65/3518.20 c 3518 9944093 376510 1 5.0000 0.0000 -
3510.83/3523.47 c 3523 9953062 376403 1 5.0000 0.0000 -
3516.11/3528.74 c 3529 9965089 375848 1 5.0000 0.0000 -
3521.30/3533.90 c 3534 9977940 375444 1 5.0000 0.0000 -
3526.38/3539.06 c 3539 9990994 375397 1 5.0000 0.0000 -
3531.66/3544.35 c 3544 10005318 374817 1 5.0000 0.0000 -
3536.74/3549.44 c 3549 10019501 374295 1 5.0000 0.0000 -
3541.73/3554.49 c 3554 10032939 373670 1 5.0000 0.0000 -
3547.01/3559.72 c 3560 10044804 373577 1 5.0000 0.0000 -
3551.99/3564.77 c 3565 10058916 372902 1 5.0000 0.0000 -
3557.17/3569.92 c 3570 10072317 373298 1 5.0000 0.0000 -
3562.37/3575.14 c 3575 10088784 374605 1 5.0000 0.0000 -
3567.44/3580.22 c 3580 10108530 374794 1 5.0000 0.0000 -
3572.63/3585.42 c 3585 10126802 374387 1 5.0000 0.0000 -
3577.81/3590.69 c 3591 10145997 373830 1 5.0000 0.0000 -
3583.00/3595.84 c 3596 10165681 373261 1 5.0000 0.0000 -
3585.99/3598.88 c SCIP Status : c solving was interrupted [hard time limit reached]
3585.99/3598.88 c Total Time : 3598.8900
3585.99/3598.88 c solving : 3598.8900
3585.99/3598.88 c presolving : 0.0037 (included in solving)
3585.99/3598.88 c B&B Tree :
3585.99/3598.88 c nodes (total) : 1
3585.99/3598.88 c Solution :
3585.99/3598.89 c Solutions found : 22
3585.99/3598.89 c Primal Bound : +5.00000000000000e+00
3585.99/3598.89 c Dual Bound : +0.00000000000000e+00
3585.99/3598.89 c Gap : infinite
3585.99/3598.89 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3585.99/3598.89 o 5
3585.99/3598.89 s SATISFIABLE
3585.99/3598.89 v x146 -x145 x144 -x143 x142 x141 -x140 -x139 -x138 -x137 x136 -x135 x134 -x133 -x132 -x131 x130 -x129 x128 x127 -x126 -x125 x124
3585.99/3598.89 v x123 x122 x121 -x120 x119 x118 -x117 -x116 -x115 -x114 x113 x112 x111 x110 x109 x108 x107 x106 x105 -x104 -x103 -x102 -x101
3585.99/3598.89 v -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75
3585.99/3598.89 v -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50
3585.99/3598.89 v -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25
3585.99/3598.89 v -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62778 MiB free)
memory of node 1: 64473 MiB (63216 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464028-1722378597/watcher-4464028-1722378597 -o /tmp/evaluation-result-4464028-1722378597/solver-4464028-1722378597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722378597-28644 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464028-1722378597.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28693, runsolver pid=28690
[startup+0.100083 s]*
/proc/loadavg: 0.08 0.08 0.09 7/258 28699
/proc/meminfo: memFree=128921688/131524600 swapFree=131071996/131071996
[pid=28693] ppid=28690 vsize=108008 memory=28512 CPUtime=0.09 cores=5,7
/proc/28693/stat : 28693 (fscip) S 28690 28693 28631 0 -1 1077936128 4496 0 0 0 9 0 0 0 20 0 3 0 4464201 110600192 7128 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
/proc/28693/statm: 27002 7128 2950 3035 0 10946 0
[pid=28693/tid=28696] ppid=28690 vsize=108008 memory=4026532157 CPUtime=0.09 cores=5,7
/proc/28693/task/28696/stat : 28696 (fscip) R 28690 28693 28631 0 -1 4194368 3065 0 0 0 9 0 0 0 20 0 3 0 4464202 110600192 7128 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
[pid=28693/tid=28698] ppid=28690 vsize=108008 memory=215671374179 CPUtime=0 cores=5,7
/proc/28693/task/28698/stat : 28698 (fscip) S 28690 28693 28631 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4464203 110600192 7128 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 108008 KiB
Current children cumulated memory: 28512 KiB
[startup+0.204677 s]*
/proc/loadavg: 0.08 0.08 0.09 6/264 28709
/proc/meminfo: memFree=128839544/131524600 swapFree=131071996/131071996
[pid=28693] ppid=28690 vsize=108008 memory=31152 CPUtime=0.19 cores=5,7
/proc/28693/stat : 28693 (fscip) R 28690 28693 28631 0 -1 1077936128 5128 0 0 0 19 0 0 0 20 0 3 0 4464201 110600192 7788 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
/proc/28693/statm: 27002 7788 2950 3035 0 11485 0
[pid=28693/tid=28696] ppid=28690 vsize=108008 memory=664970838410264707 CPUtime=0.19 cores=5,7
/proc/28693/task/28696/stat : 28696 (fscip) R 28690 28693 28631 0 -1 4194368 3697 0 0 0 19 0 0 0 20 0 3 0 4464202 110600192 7788 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
[pid=28693/tid=28698] ppid=28690 vsize=108008 memory=43249 CPUtime=0 cores=5,7
/proc/28693/task/28698/stat : 28698 (fscip) S 28690 28693 28631 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4464203 110600192 7788 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 108008 KiB
Current children cumulated memory: 31152 KiB
[startup+0.304625 s]*
/proc/loadavg: 0.08 0.08 0.09 7/264 28709
/proc/meminfo: memFree=128776228/131524600 swapFree=131071996/131071996
[pid=28693] ppid=28690 vsize=108008 memory=31416 CPUtime=0.29 cores=5,7
/proc/28693/stat : 28693 (fscip) S 28690 28693 28631 0 -1 1077936128 5203 0 0 0 29 0 0 0 20 0 3 0 4464201 110600192 7854 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
/proc/28693/statm: 27002 7854 2950 3035 0 11485 0
[pid=28693/tid=28696] ppid=28690 vsize=108008 memory=-6000919485675168877 CPUtime=0.29 cores=5,7
/proc/28693/task/28696/stat : 28696 (fscip) R 28690 28693 28631 0 -1 4194368 3772 0 0 0 29 0 0 0 20 0 3 0 4464202 110600192 7854 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
[pid=28693/tid=28698] ppid=28690 vsize=108008 memory=0 CPUtime=0 cores=5,7
/proc/28693/task/28698/stat : 28698 (fscip) S 28690 28693 28631 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4464203 110600192 7854 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 108008 KiB
Current children cumulated memory: 31416 KiB
[startup+0.700218 s]
/proc/loadavg: 0.08 0.08 0.09 7/264 28709
/proc/meminfo: memFree=128654228/131524600 swapFree=131071996/131071996
[pid=28693] ppid=28690 vsize=108008 memory=33528 CPUtime=0.69 cores=5,7
/proc/28693/stat : 28693 (fscip) S 28690 28693 28631 0 -1 1077936128 5776 0 0 0 68 1 0 0 20 0 3 0 4464201 110600192 8382 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
/proc/28693/statm: 27002 8382 2950 3035 0 12021 0
[pid=28693/tid=28696] ppid=28690 vsize=108008 memory=0 CPUtime=0.67 cores=5,7
/proc/28693/task/28696/stat : 28696 (fscip) R 28690 28693 28631 0 -1 4194368 4345 0 0 0 67 0 0 0 20 0 3 0 4464202 110600192 8382 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
[pid=28693/tid=28698] ppid=28690 vsize=108008 memory=0 CPUtime=0 cores=5,7
/proc/28693/task/28698/stat : 28698 (fscip) S 28690 28693 28631 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4464203 110600192 8382 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 108008 KiB
Current children cumulated memory: 33528 KiB
[startup+1.5002 s]
/proc/loadavg: 0.08 0.08 0.09 7/264 28709
/proc/meminfo: memFree=128246564/131524600 swapFree=131071996/131071996
[pid=28693] ppid=28690 vsize=108008 memory=38628 CPUtime=1.48 cores=5,7
/proc/28693/stat : 28693 (fscip) S 28690 28693 28631 0 -1 1077936128 10010 0 0 0 147 1 0 0 20 0 3 0 4464201 110600192 9657 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
/proc/28693/statm: 27002 9657 2998 3035 0 13257 0
[pid=28693/tid=28696] ppid=28690 vsize=108008 memory=0 CPUtime=1.47 cores=5,7
/proc/28693/task/28696/stat : 28696 (fscip) R 28690 28693 28631 0 -1 4194368 8498 0 0 0 146 1 0 0 20 0 3 0 4464202 110600192 9657 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
[pid=28693/tid=28698] ppid=28690 vsize=108008 memory=0 CPUtime=0 cores=5,7
/proc/28693/task/28698/stat : 28698 (fscip) S 28690 28693 28631 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4464203 110600192 9657 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 108008 KiB
Current children cumulated memory: 38628 KiB
[startup+3.10509 s]
/proc/loadavg: 0.39 0.15 0.11 7/264 28709
/proc/meminfo: memFree=127415256/131524600 swapFree=131071996/131071996
[pid=28693] ppid=28690 vsize=108008 memory=43760 CPUtime=3.09 cores=5,7
/proc/28693/stat : 28693 (fscip) S 28690 28693 28631 0 -1 1077936128 11444 0 0 0 307 2 0 0 20 0 3 0 4464201 110600192 10940 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
/proc/28693/statm: 27002 10940 2998 3035 0 14611 0
[pid=28693/tid=28696] ppid=28690 vsize=108008 memory=0 CPUtime=3.07 cores=5,7
/proc/28693/task/28696/stat : 28696 (fscip) R 28690 28693 28631 0 -1 4194368 9930 0 0 0 306 1 0 0 20 0 3 0 4464202 110600192 10940 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
[pid=28693/tid=28698] ppid=28690 vsize=108008 memory=-5155635673870658693 CPUtime=0 cores=5,7
/proc/28693/task/28698/stat : 28698 (fscip) S 28690 28693 28631 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4464203 110600192 10940 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 108008 KiB
Current children cumulated memory: 43760 KiB
[startup+6.30019 s]
/proc/loadavg: 0.39 0.15 0.11 7/266 28711
/proc/meminfo: memFree=126460452/131524600 swapFree=131071996/131071996
[pid=28693] ppid=28690 vsize=109288 memory=52792 CPUtime=6.27 cores=5,7
/proc/28693/stat : 28693 (fscip) S 28690 28693 28631 0 -1 1077936128 19595 0 0 0 623 4 0 0 20 0 3 0 4464201 111910912 13198 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
/proc/28693/statm: 27322 13198 2998 3035 0 16833 0
[pid=28693/tid=28696] ppid=28690 vsize=109288 memory=0 CPUtime=6.26 cores=5,7
/proc/28693/task/28696/stat : 28696 (fscip) R 28690 28693 28631 0 -1 4194368 18000 0 0 0 623 3 0 0 20 0 3 0 4464202 111910912 13198 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
[pid=28693/tid=28698] ppid=28690 vsize=109288 memory=52572 CPUtime=0 cores=5,7
/proc/28693/task/28698/stat : 28698 (fscip) S 28690 28693 28631 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4464203 111910912 13198 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 109288 KiB
Current children cumulated memory: 52792 KiB
[startup+12.7002 s]
/proc/loadavg: 0.95 0.28 0.15 7/266 28713
/proc/meminfo: memFree=126400008/131524600 swapFree=131071996/131071996
[pid=28693] ppid=28690 vsize=110448 memory=64532 CPUtime=12.65 cores=5,7
/proc/28693/stat : 28693 (fscip) S 28690 28693 28631 0 -1 1077936128 35014 0 0 0 1256 9 0 0 20 0 3 0 4464201 113098752 16133 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
/proc/28693/statm: 27612 16133 3302 3035 0 19429 0
[pid=28693/tid=28696] ppid=28690 vsize=110448 memory=59392 CPUtime=12.63 cores=5,7
/proc/28693/task/28696/stat : 28696 (fscip) R 28690 28693 28631 0 -1 4194368 33374 0 0 0 1255 8 0 0 20 0 3 0 4464202 113098752 16133 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
[pid=28693/tid=28698] ppid=28690 vsize=110448 memory=34320 CPUtime=0 cores=5,7
/proc/28693/task/28698/stat : 28698 (fscip) S 28690 28693 28631 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4464203 113098752 16133 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 110448 KiB
Current children cumulated memory: 64532 KiB
[startup+25.5002 s]
/proc/loadavg: 1.42 0.40 0.19 7/268 28716
/proc/meminfo: memFree=125863448/131524600 swapFree=131071996/131071996
[pid=28693] ppid=28690 vsize=114856 memory=76588 CPUtime=25.4 cores=5,7
/proc/28693/stat : 28693 (fscip) S 28690 28693 28631 0 -1 1077936128 62286 0 0 0 2525 15 0 0 20 0 3 0 4464201 117612544 19147 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
/proc/28693/statm: 28714 19147 3302 3035 0 22080 0
[pid=28693/tid=28696] ppid=28690 vsize=114856 memory=34320 CPUtime=25.39 cores=5,7
/proc/28693/task/28696/stat : 28696 (fscip) R 28690 28693 28631 0 -1 4194368 60368 0 0 0 2524 15 0 0 20 0 3 0 4464202 117612544 19147 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
[pid=28693/tid=28698] ppid=28690 vsize=114856 memory=11592 CPUtime=0 cores=5,7
/proc/28693/task/28698/stat : 28698 (fscip) S 28690 28693 28631 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4464203 117612544 19147 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 114856 KiB
Current children cumulated memory: 76588 KiB
[startup+51.1049 s]
/proc/loadavg: 2.37 0.71 0.30 7/268 28777
/proc/meminfo: memFree=125727340/131524600 swapFree=131071996/131071996
[pid=28693] ppid=28690 vsize=189380 memory=97684 CPUtime=50.92 cores=5,7
/proc/28693/stat : 28693 (fscip) S 28690 28693 28631 0 -1 1077936128 99188 0 0 0 5062 30 0 0 20 0 3 0 4464201 193925120 24421 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
/proc/28693/statm: 47345 24421 3302 3035 0 27762 0
[pid=28693/tid=28696] ppid=28690 vsize=189380 memory=93512 CPUtime=50.91 cores=5,7
/proc/28693/task/28696/stat : 28696 (fscip) R 28690 28693 28631 0 -1 4194368 97195 0 0 0 5061 30 0 0 20 0 3 0 4464202 193925120 24421 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
[pid=28693/tid=28698] ppid=28690 vsize=189380 memory=90436 CPUtime=0 cores=5,7
/proc/28693/task/28698/stat : 28698 (fscip) S 28690 28693 28631 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 4464203 193925120 24421 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 189380 KiB
Current children cumulated memory: 97684 KiB
[startup+102.3 s]
/proc/loadavg: 3.41 1.28 0.52 7/267 28788
/proc/meminfo: memFree=125552380/131524600 swapFree=131071996/131071996
[pid=28693] ppid=28690 vsize=210088 memory=142284 CPUtime=101.96 cores=5,7
/proc/28693/stat : 28693 (fscip) S 28690 28693 28631 0 -1 1077936128 155420 0 0 0 10138 58 0 0 20 0 3 0 4464201 215130112 35571 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
/proc/28693/statm: 52522 35571 3302 3035 0 39458 0
[pid=28693/tid=28696] ppid=28690 vsize=210088 memory=137392 CPUtime=101.93 cores=5,7
/proc/28693/task/28696/stat : 28696 (fscip) R 28690 28693 28631 0 -1 4194368 153318 0 0 0 10136 57 0 0 20 0 3 0 4464202 215130112 35571 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
[pid=28693/tid=28698] ppid=28690 vsize=210088 memory=11592 CPUtime=0 cores=5,7
/proc/28693/task/28698/stat : 28698 (fscip) S 28690 28693 28631 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 4464203 215130112 35571 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 210088 KiB
Current children cumulated memory: 142284 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 1.81 0.75 7/267 28798
/proc/meminfo: memFree=125452240/131524600 swapFree=131071996/131071996
[pid=28693] ppid=28690 vsize=231252 memory=183536 CPUtime=161.76 cores=5,7
/proc/28693/stat : 28693 (fscip) S 28690 28693 28631 0 -1 1077936128 210261 0 0 0 16090 86 0 0 20 0 3 0 4464201 236802048 45884 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
/proc/28693/statm: 57813 45884 3302 3035 0 49661 0
[pid=28693/tid=28696] ppid=28690 vsize=231252 memory=175136 CPUtime=161.74 cores=5,7
/proc/28693/task/28696/stat : 28696 (fscip) R 28690 28693 28631 0 -1 4194368 208111 0 0 0 16088 86 0 0 20 0 3 0 4464202 236802048 45884 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
[pid=28693/tid=28698] ppid=28690 vsize=231252 memory=178320 CPUtime=0 cores=5,7
/proc/28693/task/28698/stat : 28698 (fscip) S 28690 28693 28631 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 4464203 236802048 45884 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 231252 KiB
################
# More data... #
################
/proc/28693/statm: 334988 289318 3302 3035 0 318452 0
[pid=28693/tid=28696] ppid=28690 vsize=1339952 memory=1137268 CPUtime=3389.9 cores=5,7
/proc/28693/task/28696/stat : 28696 (fscip) R 28690 28693 28631 0 -1 4194368 4409061 0 0 0 337446 1544 0 0 20 0 3 0 4464202 1372110848 289318 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
[pid=28693/tid=28698] ppid=28690 vsize=1339952 memory=1153756 CPUtime=0.02 cores=5,7
/proc/28693/task/28698/stat : 28698 (fscip) S 28690 28693 28631 0 -1 1077936192 137 0 0 0 0 2 0 0 20 0 3 0 4464203 1372110848 289318 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
Current children cumulated CPU time: 3390.12 s
Current children cumulated vsize: 1339952 KiB
Current children cumulated memory: 1157272 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.02 7/267 30373
/proc/meminfo: memFree=121618856/131524600 swapFree=131071996/131071996
[pid=28693] ppid=28690 vsize=1339952 memory=1167896 CPUtime=3449.93 cores=5,7
/proc/28693/stat : 28693 (fscip) S 28690 28693 28631 0 -1 1077936128 4571015 0 0 0 343416 1577 0 0 20 0 3 0 4464201 1372110848 291974 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
/proc/28693/statm: 334988 291974 3302 3035 0 318452 0
[pid=28693/tid=28696] ppid=28690 vsize=1339952 memory=1137268 CPUtime=3449.7 cores=5,7
/proc/28693/task/28696/stat : 28696 (fscip) R 28690 28693 28631 0 -1 4194368 4567777 0 0 0 343399 1571 0 0 20 0 3 0 4464202 1372110848 291974 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
[pid=28693/tid=28698] ppid=28690 vsize=1339952 memory=1167896 CPUtime=0.03 cores=5,7
/proc/28693/task/28698/stat : 28698 (fscip) S 28690 28693 28631 0 -1 1077936192 139 0 0 0 1 2 0 0 20 0 3 0 4464203 1372110848 291974 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
Current children cumulated CPU time: 3449.93 s
Current children cumulated vsize: 1339952 KiB
Current children cumulated memory: 1167896 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.02 7/267 30384
/proc/meminfo: memFree=121580356/131524600 swapFree=131071996/131071996
[pid=28693] ppid=28690 vsize=1339952 memory=1180188 CPUtime=3509.74 cores=5,7
/proc/28693/stat : 28693 (fscip) S 28690 28693 28631 0 -1 1077936128 4734110 0 0 0 349369 1605 0 0 20 0 3 0 4464201 1372110848 295047 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
/proc/28693/statm: 334988 295047 3302 3035 0 318476 0
[pid=28693/tid=28696] ppid=28690 vsize=1339952 memory=1169944 CPUtime=3509.5 cores=5,7
/proc/28693/task/28696/stat : 28696 (fscip) R 28690 28693 28631 0 -1 4194368 4730856 0 0 0 349351 1599 0 0 20 0 3 0 4464202 1372110848 295047 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
[pid=28693/tid=28698] ppid=28690 vsize=1339952 memory=1178136 CPUtime=0.03 cores=5,7
/proc/28693/task/28698/stat : 28698 (fscip) S 28690 28693 28631 0 -1 1077936192 141 0 0 0 1 2 0 0 20 0 3 0 4464203 1372110848 295047 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
Current children cumulated CPU time: 3509.74 s
Current children cumulated vsize: 1339952 KiB
Current children cumulated memory: 1180188 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.11 4.03 7/268 30565
/proc/meminfo: memFree=121506792/131524600 swapFree=131071996/131071996
[pid=28693] ppid=28690 vsize=1341924 memory=1190972 CPUtime=3569.54 cores=5,7
/proc/28693/stat : 28693 (fscip) S 28690 28693 28631 0 -1 1077936128 4902929 0 0 0 355317 1637 0 0 20 0 3 0 4464201 1374130176 297743 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
/proc/28693/statm: 335481 297743 3302 3035 0 319175 0
[pid=28693/tid=28696] ppid=28690 vsize=1341924 memory=1190972 CPUtime=3569.3 cores=5,7
/proc/28693/task/28696/stat : 28696 (fscip) R 28690 28693 28631 0 -1 4194368 4899656 0 0 0 355299 1631 0 0 20 0 3 0 4464202 1374130176 297743 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
[pid=28693/tid=28698] ppid=28690 vsize=1341924 memory=11592 CPUtime=0.03 cores=5,7
/proc/28693/task/28698/stat : 28698 (fscip) S 28690 28693 28631 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 4464203 1374130176 297743 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
Current children cumulated CPU time: 3569.54 s
Current children cumulated vsize: 1341924 KiB
Current children cumulated memory: 1190972 KiB
[startup+3598.89 s]
# the end of solver process 28693 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3569.59 s, system=16.5021 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.11 4.03 7/268 30565
/proc/meminfo: memFree=121505176/131524600 swapFree=131071996/131071996
[pid=28693] ppid=28690 vsize=1341924 memory=1190972 CPUtime=3571.24 cores=5,7
/proc/28693/stat : 28693 (fscip) S 28690 28693 28631 0 -1 1077936128 4902986 0 0 0 355487 1637 0 0 20 0 3 0 4464201 1374130176 297743 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
/proc/28693/statm: 335481 297743 3302 3035 0 319175 0
[pid=28693/tid=28696] ppid=28690 vsize=1341924 memory=-7161968623522767232 CPUtime=3571 cores=5,7
/proc/28693/task/28696/stat : 28696 (fscip) R 28690 28693 28631 0 -1 4194368 4899713 0 0 0 355469 1631 0 0 20 0 3 0 4464202 1374130176 297743 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
[pid=28693/tid=28698] ppid=28690 vsize=1341924 memory=6934491875580616212 CPUtime=0.03 cores=5,7
/proc/28693/task/28698/stat : 28698 (fscip) S 28690 28693 28631 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 4464203 1374130176 297743 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
Current children cumulated CPU time: 3571.24 s
Current children cumulated vsize: 1341924 KiB
Current children cumulated memory: 1190972 KiB
[startup+3590.4 s]
/proc/loadavg: 4.12 4.10 4.03 7/268 30566
/proc/meminfo: memFree=121498984/131524600 swapFree=131071996/131071996
[pid=28693] ppid=28690 vsize=1341924 memory=1190972 CPUtime=3577.61 cores=5,7
/proc/28693/stat : 28693 (fscip) S 28690 28693 28631 0 -1 1077936128 4911476 0 0 0 356120 1641 0 0 20 0 3 0 4464201 1374130176 297743 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
/proc/28693/statm: 335481 297743 3302 3035 0 319175 0
[pid=28693/tid=28696] ppid=28690 vsize=1341924 memory=11592 CPUtime=3577.37 cores=5,7
/proc/28693/task/28696/stat : 28696 (fscip) R 28690 28693 28631 0 -1 4194368 4908203 0 0 0 356102 1635 0 0 20 0 3 0 4464202 1374130176 297743 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
[pid=28693/tid=28698] ppid=28690 vsize=1341924 memory=12520 CPUtime=0.03 cores=5,7
/proc/28693/task/28698/stat : 28698 (fscip) S 28690 28693 28631 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 4464203 1374130176 297743 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
Current children cumulated CPU time: 3577.61 s
Current children cumulated vsize: 1341924 KiB
Current children cumulated memory: 1190972 KiB
[startup+3593.6 s]
/proc/loadavg: 4.11 4.10 4.03 7/268 30566
/proc/meminfo: memFree=121498348/131524600 swapFree=131071996/131071996
[pid=28693] ppid=28690 vsize=1341924 memory=1190972 CPUtime=3580.8 cores=5,7
/proc/28693/stat : 28693 (fscip) S 28690 28693 28631 0 -1 1077936128 4912334 0 0 0 356437 1643 0 0 20 0 3 0 4464201 1374130176 297743 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
/proc/28693/statm: 335481 297743 3302 3035 0 319175 0
[pid=28693/tid=28696] ppid=28690 vsize=1341924 memory=-7234026217560696439 CPUtime=3580.56 cores=5,7
/proc/28693/task/28696/stat : 28696 (fscip) R 28690 28693 28631 0 -1 4194368 4909061 0 0 0 356419 1637 0 0 20 0 3 0 4464202 1374130176 297743 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
[pid=28693/tid=28698] ppid=28690 vsize=1341924 memory=1190972 CPUtime=0.03 cores=5,7
/proc/28693/task/28698/stat : 28698 (fscip) S 28690 28693 28631 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 4464203 1374130176 297743 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
Current children cumulated CPU time: 3580.8 s
Current children cumulated vsize: 1341924 KiB
Current children cumulated memory: 1190972 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.10 4.03 7/268 30566
/proc/meminfo: memFree=121496332/131524600 swapFree=131071996/131071996
[pid=28693] ppid=28690 vsize=1341924 memory=1193020 CPUtime=3584 cores=5,7
/proc/28693/stat : 28693 (fscip) S 28690 28693 28631 0 -1 1077936128 4915250 0 0 0 356755 1645 0 0 20 0 3 0 4464201 1374130176 298255 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
/proc/28693/statm: 335481 298255 3302 3035 0 319175 0
[pid=28693/tid=28696] ppid=28690 vsize=1341924 memory=1190972 CPUtime=3583.76 cores=5,7
/proc/28693/task/28696/stat : 28696 (fscip) R 28690 28693 28631 0 -1 4194368 4911974 0 0 0 356737 1639 0 0 20 0 3 0 4464202 1374130176 298255 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
[pid=28693/tid=28698] ppid=28690 vsize=1341924 memory=1190972 CPUtime=0.03 cores=5,7
/proc/28693/task/28698/stat : 28698 (fscip) S 28690 28693 28631 0 -1 1077936192 146 0 0 0 1 2 0 0 20 0 3 0 4464203 1374130176 298255 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
Current children cumulated CPU time: 3584 s
Current children cumulated vsize: 1341924 KiB
Current children cumulated memory: 1193020 KiB
[startup+3597.6 s]
/proc/loadavg: 4.11 4.10 4.03 7/268 30566
/proc/meminfo: memFree=121496232/131524600 swapFree=131071996/131071996
[pid=28693] ppid=28690 vsize=1341924 memory=1193020 CPUtime=3584.79 cores=5,7
/proc/28693/stat : 28693 (fscip) S 28690 28693 28631 0 -1 1077936128 4915890 0 0 0 356834 1645 0 0 20 0 3 0 4464201 1374130176 298255 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
/proc/28693/statm: 335481 298255 3302 3035 0 319175 0
[pid=28693/tid=28696] ppid=28690 vsize=1341924 memory=12828 CPUtime=3584.55 cores=5,7
/proc/28693/task/28696/stat : 28696 (fscip) R 28690 28693 28631 0 -1 4194368 4912612 0 0 0 356816 1639 0 0 20 0 3 0 4464202 1374130176 298255 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
[pid=28693/tid=28698] ppid=28690 vsize=1341924 memory=12520 CPUtime=0.03 cores=5,7
/proc/28693/task/28698/stat : 28698 (fscip) S 28690 28693 28631 0 -1 1077936192 146 0 0 0 1 2 0 0 20 0 3 0 4464203 1374130176 298255 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
Current children cumulated CPU time: 3584.79 s
Current children cumulated vsize: 1341924 KiB
Current children cumulated memory: 1193020 KiB
[startup+3598.4 s]
/proc/loadavg: 4.10 4.10 4.03 7/268 30566
/proc/meminfo: memFree=121495312/131524600 swapFree=131071996/131071996
[pid=28693] ppid=28690 vsize=1317700 memory=1168796 CPUtime=3585.59 cores=5,7
/proc/28693/stat : 28693 (fscip) S 28690 28693 28631 0 -1 1077936128 4934418 0 0 0 356912 1647 0 0 20 0 3 0 4464201 1349324800 292199 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
/proc/28693/statm: 329425 292199 3302 3035 0 313119 0
[pid=28693/tid=28696] ppid=28690 vsize=1317700 memory=1193020 CPUtime=3585.35 cores=5,7
/proc/28693/task/28696/stat : 28696 (fscip) R 28690 28693 28631 0 -1 4194368 4931140 0 0 0 356894 1641 0 0 20 0 3 0 4464202 1349324800 292199 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
[pid=28693/tid=28698] ppid=28690 vsize=1317700 memory=54472 CPUtime=0.03 cores=5,7
/proc/28693/task/28698/stat : 28698 (fscip) S 28690 28693 28631 0 -1 1077936192 146 0 0 0 1 2 0 0 20 0 3 0 4464203 1349324800 292199 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
Current children cumulated CPU time: 3585.59 s
Current children cumulated vsize: 1317700 KiB
Current children cumulated memory: 1168796 KiB
[startup+3598.8 s]
/proc/loadavg: 4.10 4.10 4.03 7/268 30566
/proc/meminfo: memFree=121495312/131524600 swapFree=131071996/131071996
[pid=28693] ppid=28690 vsize=1228732 memory=1079844 CPUtime=3585.99 cores=5,7
/proc/28693/stat : 28693 (fscip) S 28690 28693 28631 0 -1 1077936128 4938096 0 0 0 356951 1648 0 0 20 0 3 0 4464201 1258221568 269961 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
/proc/28693/statm: 307183 269961 3302 3035 0 290877 0
[pid=28693/tid=28696] ppid=28690 vsize=1228732 memory=4820 CPUtime=3585.75 cores=5,7
/proc/28693/task/28696/stat : 28696 (fscip) R 28690 28693 28631 0 -1 4194368 4934818 0 0 0 356933 1642 0 0 20 0 3 0 4464202 1258221568 269961 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
[pid=28693/tid=28698] ppid=28690 vsize=1228732 memory=7988 CPUtime=0.03 cores=5,7
/proc/28693/task/28698/stat : 28698 (fscip) S 28690 28693 28631 0 -1 1077936192 146 0 0 0 1 2 0 0 20 0 3 0 4464203 1258221568 269961 134679101440 4194304 16623229 140727532263424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 50565120 140727532266518 140727532266634 140727532266634 140727532273648 0
Current children cumulated CPU time: 3585.99 s
Current children cumulated vsize: 1228732 KiB
Current children cumulated memory: 1079844 KiB
Child status: 0
Real time (s): 3598.89
CPU time (s): 3586.09
CPU user time (s): 3569.59
CPU system time (s): 16.5021
CPU usage (%): 99.6443
Max. virtual memory (cumulated for all children) (KiB): 1341924
Max. memory (cumulated for all children) (KiB): 1193020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.59
system time used= 16.5021
maximum resident set size= 1193020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4941913
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= 10770
involuntary context switches= 3644
# summary of solver processes directly reported to runsolver:
# pid: 28693
# total CPU time (s): 3586.09
# total CPU user time (s): 3569.59
# total CPU system time (s): 16.5021
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.4734 second user time and 14.2555 second system time
The end
Begin job on nodeC028 at 2024-07-31 00:29:57
IDJOB=4464028
IDBENCH=147612
IDSOLVER=3092
FILE ID=nodeC028/4464028-1722378597
RUNJOBID= nodeC028-1722378597-28644
SLURM_JOB_ID= 8249851
Free space on /tmp= 889980 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_3.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-4464028-1722378597/watcher-4464028-1722378597 -o /tmp/evaluation-result-4464028-1722378597/solver-4464028-1722378597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722378597-28644 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464028-1722378597.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8451009eff5aac10a49807ab684bf277
RANDOM SEED=576650998
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 : 3652.827
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.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3675.768
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.71
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 : 3601.725
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.94
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 : 3667.127
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.71
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 : 3635.278
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.94
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 : 3671.187
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.71
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 : 3604.493
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.94
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 : 3600.773
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.71
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129012644 kB
MemAvailable: 129808572 kB
Buffers: 81316 kB
Cached: 1539808 kB
SwapCached: 0 kB
Active: 242364 kB
Inactive: 1766164 kB
Active(anon): 1428 kB
Inactive(anon): 407376 kB
Active(file): 240936 kB
Inactive(file): 1358788 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 144072 kB
Writeback: 12 kB
AnonPages: 386912 kB
Mapped: 88136 kB
Shmem: 21336 kB
KReclaimable: 72056 kB
Slab: 157708 kB
SReclaimable: 72056 kB
SUnreclaim: 85652 kB
KernelStack: 3856 kB
PageTables: 9244 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 789096 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9664 kB
HardwareCorrupted: 0 kB
AnonHugePages: 262144 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: 207572 kB
DirectMap2M: 6905856 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 889916 MiB
End job on nodeC028 at 2024-07-31 01:29:56