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.02 c Default LC presolving (default).
0.00/0.02 c ** Before presolving: virtualMemUsedAtLc = 26034176, getVmSize() = 26034176, SCIPgetMemUsed() = 2810871, SCIPgetMemTotal() = 4429455, SCIPgetMemExternEstim() = 1884500
0.00/0.02 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.08 c ** Estimated virtualMemUsedAtSolver = 19122858, getVmSize() = 31334400, SCIPgetMemUsed() = 4053146, SCIPgetMemTotal() = 8480954, SCIPgetMemExternEstim() = 1884500
0.00/0.08 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.08 c Original Problem :
0.00/0.08 c Problem name : instance-4464557-1722390354
0.00/0.08 c Variables : 148 (148 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.08 c Constraints : 1760
0.00/0.08 c Objective sense : minimize
0.00/0.08 c Presolved Problem :
0.00/0.08 c Variables : 148 (148 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.08 c Constraints : 1760
0.00/0.08 c Constraints : Number
0.00/0.08 c setppc : 8
0.00/0.08 c logicor : 1752
0.00/0.08 c ** Instance transfer method used: 0
0.00/0.09 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.10 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.10 c Nodes Active
0.00/0.10 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.10/0.16 c * 0 0 1 1 8.0000 - -
0.10/0.16 c * 0 0 1 1 7.0000 - -
0.10/0.17 c * 0 0 1 1 4.0000 - -
0.31/0.38 c * 0 0 1 1 2.0000 - -
5.36/5.43 c 5 626 415 1 2.0000 0.0000 -
10.64/10.72 c 11 2793 835 1 2.0000 0.0000 -
15.61/15.77 c 16 8951 2797 1 2.0000 0.0000 -
20.69/20.81 c 21 14290 4293 1 2.0000 0.0000 -
25.66/25.88 c 26 19350 5493 1 2.0000 0.0000 -
30.74/30.94 c 31 23825 6255 1 2.0000 0.0000 -
35.71/35.99 c 36 28022 7217 1 2.0000 0.0000 -
40.79/41.04 c 41 31505 8021 1 2.0000 0.0000 -
45.88/46.13 c 46 35936 8879 1 2.0000 0.0000 -
50.95/51.20 c 51 40675 9753 1 2.0000 0.0000 -
55.92/56.27 c 56 45253 10955 1 2.0000 0.0000 -
61.00/61.36 c 61 48091 11596 1 2.0000 0.0000 -
66.08/66.44 c 66 52572 12590 1 2.0000 0.0000 -
71.05/71.49 c 72 56881 13595 1 2.0000 0.0000 -
76.13/76.55 c 77 60279 14346 1 2.0000 0.0000 -
81.22/81.60 c 82 63260 14848 1 2.0000 0.0000 -
86.39/86.80 c 87 67015 15429 1 2.0000 0.0000 -
91.37/91.87 c 92 70658 16154 1 2.0000 0.0000 -
96.45/96.91 c 97 74941 16792 1 2.0000 0.0000 -
101.42/101.98 c 102 78966 17379 1 2.0000 0.0000 -
106.51/107.06 c 107 82812 18388 1 2.0000 0.0000 -
111.59/112.12 c 112 88333 19443 1 2.0000 0.0000 -
116.56/117.16 c 117 93462 20991 1 2.0000 0.0000 -
121.63/122.21 c 122 98862 22478 1 2.0000 0.0000 -
126.60/127.26 c 127 104145 24318 1 2.0000 0.0000 -
131.68/132.32 c 132 108833 25566 1 2.0000 0.0000 -
136.66/137.37 c 137 114100 26779 1 2.0000 0.0000 -
141.74/142.42 c 142 119279 27970 1 2.0000 0.0000 -
146.72/147.48 c 147 124078 29773 1 2.0000 0.0000 -
151.79/152.53 c 153 128538 31667 1 2.0000 0.0000 -
156.77/157.58 c 158 132263 33265 1 2.0000 0.0000 -
161.85/162.67 c 163 135754 34734 1 2.0000 0.0000 -
167.02/167.80 c 168 138302 35497 1 2.0000 0.0000 -
172.11/172.91 c 173 142222 36313 1 2.0000 0.0000 -
177.20/178.04 c 178 145549 36832 1 2.0000 0.0000 -
182.27/183.13 c 183 151636 38022 1 2.0000 0.0000 -
187.25/188.17 c 188 157240 39767 1 2.0000 0.0000 -
192.32/193.23 c 193 161060 40732 1 2.0000 0.0000 -
197.39/198.37 c 198 163443 41378 1 2.0000 0.0000 -
202.57/203.59 c 204 165245 41868 1 2.0000 0.0000 -
207.65/208.67 c 209 168764 42821 1 2.0000 0.0000 -
212.82/213.80 c 214 171852 43749 1 2.0000 0.0000 -
218.02/219.07 c 219 173577 44151 1 2.0000 0.0000 -
223.10/224.13 c 224 177862 44988 1 2.0000 0.0000 -
228.16/229.24 c 229 181093 45697 1 2.0000 0.0000 -
233.34/234.44 c 234 183362 46131 1 2.0000 0.0000 -
238.42/239.54 c 240 187827 46943 1 2.0000 0.0000 -
243.50/244.61 c 245 192255 47434 1 2.0000 0.0000 -
248.47/249.67 c 250 197921 48410 1 2.0000 0.0000 -
253.54/254.74 c 255 203781 49164 1 2.0000 0.0000 -
258.62/259.88 c 260 207673 49600 1 2.0000 0.0000 -
263.69/264.95 c 265 211782 50193 1 2.0000 0.0000 -
268.77/270.03 c 270 217479 51735 1 2.0000 0.0000 -
273.84/275.14 c 275 220382 52440 1 2.0000 0.0000 -
278.91/280.21 c 280 223871 53219 1 2.0000 0.0000 -
283.88/285.29 c 285 227974 54484 1 2.0000 0.0000 -
288.95/290.38 c 290 231421 55388 1 2.0000 0.0000 -
294.02/295.49 c 296 235796 56552 1 2.0000 0.0000 -
299.10/300.59 c 301 239278 57268 1 2.0000 0.0000 -
304.17/305.67 c 306 243192 57992 1 2.0000 0.0000 -
309.24/310.77 c 311 246623 58670 1 2.0000 0.0000 -
314.31/315.83 c 316 250830 59270 1 2.0000 0.0000 -
319.38/320.93 c 321 256249 60078 1 2.0000 0.0000 -
324.36/326.01 c 326 260451 60798 1 2.0000 0.0000 -
329.43/331.06 c 331 266013 61702 1 2.0000 0.0000 -
334.52/336.11 c 336 270040 62466 1 2.0000 0.0000 -
339.49/341.16 c 341 274760 63398 1 2.0000 0.0000 -
344.56/346.29 c 346 279173 64031 1 2.0000 0.0000 -
349.63/351.38 c 351 284344 65517 1 2.0000 0.0000 -
354.81/356.56 c 357 287814 66526 1 2.0000 0.0000 -
359.89/361.61 c 362 292887 67203 1 2.0000 0.0000 -
364.87/366.69 c 367 296885 67529 1 2.0000 0.0000 -
369.94/371.79 c 372 301341 67935 1 2.0000 0.0000 -
375.02/376.84 c 377 305853 68300 1 2.0000 0.0000 -
380.10/381.95 c 382 310188 68680 1 2.0000 0.0000 -
385.19/387.03 c 387 314175 68921 1 2.0000 0.0000 -
390.27/392.12 c 392 318874 69382 1 2.0000 0.0000 -
395.24/397.16 c 397 323343 69956 1 2.0000 0.0000 -
400.32/402.27 c 402 327994 70560 1 2.0000 0.0000 -
405.38/407.34 c 407 332602 70880 1 2.0000 0.0000 -
410.37/412.39 c 412 336931 71240 1 2.0000 0.0000 -
415.45/417.47 c 417 342788 71698 1 2.0000 0.0000 -
420.52/422.59 c 423 346201 72470 1 2.0000 0.0000 -
425.60/427.69 c 428 350454 72929 1 2.0000 0.0000 -
430.68/432.74 c 433 355223 73504 1 2.0000 0.0000 -
435.76/437.84 c 438 360178 73822 1 2.0000 0.0000 -
440.82/443.01 c 443 365229 74248 1 2.0000 0.0000 -
445.91/448.10 c 448 370244 74762 1 2.0000 0.0000 -
450.99/453.17 c 453 375201 75159 1 2.0000 0.0000 -
456.05/458.26 c 458 379049 75376 1 2.0000 0.0000 -
461.13/463.38 c 463 383583 75767 1 2.0000 0.0000 -
466.21/468.44 c 468 387500 76318 1 2.0000 0.0000 -
471.29/473.50 c 474 392390 76693 1 2.0000 0.0000 -
476.47/478.70 c 479 396565 77009 1 2.0000 0.0000 -
481.56/483.80 c 484 401011 77293 1 2.0000 0.0000 -
486.63/488.92 c 489 405975 77662 1 2.0000 0.0000 -
491.61/493.96 c 494 412017 78018 1 2.0000 0.0000 -
496.69/499.02 c 499 416796 78588 1 2.0000 0.0000 -
501.67/504.10 c 504 420007 79460 1 2.0000 0.0000 -
506.83/509.21 c 509 422122 79681 1 2.0000 0.0000 -
511.91/514.32 c 514 426235 80012 1 2.0000 0.0000 -
516.89/519.39 c 519 431021 80424 1 2.0000 0.0000 -
521.96/524.47 c 524 436841 80824 1 2.0000 0.0000 -
527.05/529.59 c 530 441795 81011 1 2.0000 0.0000 -
532.13/534.65 c 535 446331 81450 1 2.0000 0.0000 -
537.20/539.73 c 540 451405 81894 1 2.0000 0.0000 -
542.28/544.84 c 545 455063 82186 1 2.0000 0.0000 -
547.25/549.88 c 550 459829 82558 1 2.0000 0.0000 -
552.34/554.96 c 555 464851 83016 1 2.0000 0.0000 -
557.43/560.05 c 560 470460 83573 1 2.0000 0.0000 -
562.51/565.15 c 565 475301 84188 1 2.0000 0.0000 -
567.68/570.34 c 570 477080 84509 1 2.0000 0.0000 -
572.76/575.45 c 575 478297 84704 1 2.0000 0.0000 -
577.84/580.51 c 581 482155 84727 1 2.0000 0.0000 -
582.82/585.59 c 586 487464 85037 1 2.0000 0.0000 -
587.90/590.68 c 591 491701 85240 1 2.0000 0.0000 -
593.08/595.82 c 596 495942 85441 1 2.0000 0.0000 -
598.05/600.89 c 601 500133 85725 1 2.0000 0.0000 -
603.13/605.94 c 606 505417 87006 1 2.0000 0.0000 -
608.12/610.99 c 611 509787 87956 1 2.0000 0.0000 -
613.30/616.15 c 616 514399 88740 1 2.0000 0.0000 -
618.37/621.21 c 621 519017 89183 1 2.0000 0.0000 -
623.45/626.33 c 626 523273 89552 1 2.0000 0.0000 -
628.44/631.39 c 631 528439 89832 1 2.0000 0.0000 -
633.61/636.50 c 637 533118 90134 1 2.0000 0.0000 -
638.59/641.59 c 642 537292 90404 1 2.0000 0.0000 -
643.77/646.77 c 647 541737 91126 1 2.0000 0.0000 -
648.85/651.83 c 652 546230 91396 1 2.0000 0.0000 -
653.93/656.91 c 657 550532 91979 1 2.0000 0.0000 -
658.91/661.98 c 662 554964 92135 1 2.0000 0.0000 -
663.99/667.05 c 667 559641 92408 1 2.0000 0.0000 -
669.08/672.17 c 672 564185 93175 1 2.0000 0.0000 -
674.24/677.36 c 677 567013 93826 1 2.0000 0.0000 -
679.41/682.51 c 683 568229 94126 1 2.0000 0.0000 -
684.49/687.60 c 688 569612 94314 1 2.0000 0.0000 -
689.47/692.67 c 693 574245 94489 1 2.0000 0.0000 -
694.54/697.80 c 698 578761 94649 1 2.0000 0.0000 -
699.61/702.84 c 703 582997 94810 1 2.0000 0.0000 -
704.68/707.91 c 708 586999 94964 1 2.0000 0.0000 -
709.66/712.98 c 713 591932 95160 1 2.0000 0.0000 -
714.74/718.03 c 718 595705 95285 1 2.0000 0.0000 -
719.82/723.19 c 723 599356 95812 1 2.0000 0.0000 -
725.09/728.41 c 728 602810 96113 1 2.0000 0.0000 -
730.07/733.46 c 733 607061 96341 1 2.0000 0.0000 -
735.15/738.56 c 739 610511 96811 1 2.0000 0.0000 -
740.23/743.66 c 744 616044 97818 1 2.0000 0.0000 -
745.30/748.79 c 749 620696 97837 1 2.0000 0.0000 -
750.38/753.86 c 754 625735 98248 1 2.0000 0.0000 -
755.45/758.94 c 759 629537 98382 1 2.0000 0.0000 -
760.55/764.04 c 764 633748 98606 1 2.0000 0.0000 -
765.62/769.15 c 769 637651 98705 1 2.0000 0.0000 -
770.69/774.27 c 774 641620 98692 1 2.0000 0.0000 -
775.76/779.35 c 779 645312 98963 1 2.0000 0.0000 -
780.83/784.40 c 784 649696 99309 1 2.0000 0.0000 -
785.92/789.51 c 790 654573 99685 1 2.0000 0.0000 -
790.99/794.62 c 795 658880 99914 1 2.0000 0.0000 -
795.97/799.66 c 800 663423 100158 1 2.0000 0.0000 -
801.04/804.74 c 805 667212 100737 1 2.0000 0.0000 -
806.01/809.79 c 810 671304 100735 1 2.0000 0.0000 -
811.19/814.95 c 815 675109 100798 1 2.0000 0.0000 -
816.27/820.07 c 820 678052 100912 1 2.0000 0.0000 -
821.34/825.11 c 825 682755 101115 1 2.0000 0.0000 -
826.40/830.20 c 830 687836 101335 1 2.0000 0.0000 -
831.38/835.26 c 835 692446 101490 1 2.0000 0.0000 -
836.45/840.32 c 840 696474 101778 1 2.0000 0.0000 -
841.53/845.47 c 845 700810 102181 1 2.0000 0.0000 -
846.60/850.57 c 851 703766 102716 1 2.0000 0.0000 -
851.67/855.62 c 856 708608 102901 1 2.0000 0.0000 -
856.75/860.72 c 861 712044 103225 1 2.0000 0.0000 -
861.81/865.87 c 866 715500 103492 1 2.0000 0.0000 -
866.89/871.01 c 871 718374 103928 1 2.0000 0.0000 -
871.97/876.05 c 876 722411 104171 1 2.0000 0.0000 -
877.05/881.13 c 881 727042 104342 1 2.0000 0.0000 -
882.10/886.24 c 886 731401 104640 1 2.0000 0.0000 -
887.18/891.32 c 891 736203 104769 1 2.0000 0.0000 -
892.25/896.41 c 896 740941 104942 1 2.0000 0.0000 -
897.32/901.51 c 902 746334 105306 1 2.0000 0.0000 -
902.29/906.58 c 907 750842 105785 1 2.0000 0.0000 -
907.36/911.66 c 912 754922 105900 1 2.0000 0.0000 -
912.43/916.76 c 917 759259 106131 1 2.0000 0.0000 -
917.50/921.80 c 922 763244 106481 1 2.0000 0.0000 -
922.48/926.86 c 927 767293 106831 1 2.0000 0.0000 -
927.76/932.12 c 932 771651 107012 1 2.0000 0.0000 -
932.82/937.20 c 937 775335 107038 1 2.0000 0.0000 -
937.79/942.24 c 942 779750 107084 1 2.0000 0.0000 -
942.87/947.30 c 947 783804 107343 1 2.0000 0.0000 -
947.94/952.41 c 952 789223 107535 1 2.0000 0.0000 -
953.02/957.55 c 958 793965 107630 1 2.0000 0.0000 -
958.09/962.60 c 963 798720 107702 1 2.0000 0.0000 -
963.16/967.79 c 968 803112 108005 1 2.0000 0.0000 -
968.23/972.87 c 973 807473 108197 1 2.0000 0.0000 -
973.32/977.94 c 978 811455 108504 1 2.0000 0.0000 -
978.40/983.06 c 983 815517 108856 1 2.0000 0.0000 -
983.48/988.13 c 988 818954 109660 1 2.0000 0.0000 -
988.54/993.26 c 993 823444 110352 1 2.0000 0.0000 -
993.63/998.34 c 998 828192 111210 1 2.0000 0.0000 -
998.80/1003.52 c 1004 831702 111981 1 2.0000 0.0000 -
1003.78/1008.57 c 1009 834339 112310 1 2.0000 0.0000 -
1008.86/1013.64 c 1014 838661 112580 1 2.0000 0.0000 -
1014.04/1018.86 c 1019 841941 113402 1 2.0000 0.0000 -
1019.12/1023.96 c 1024 847540 113852 1 2.0000 0.0000 -
1024.20/1029.08 c 1029 851827 114095 1 2.0000 0.0000 -
1029.37/1034.26 c 1034 855764 114548 1 2.0000 0.0000 -
1034.55/1039.44 c 1039 860073 114920 1 2.0000 0.0000 -
1039.73/1044.63 c 1045 863227 115589 1 2.0000 0.0000 -
1044.90/1049.84 c 1050 865326 116147 1 2.0000 0.0000 -
1050.09/1055.09 c 1055 868821 116506 1 2.0000 0.0000 -
1055.17/1060.19 c 1060 873431 116949 1 2.0000 0.0000 -
1060.43/1065.43 c 1065 876602 117355 1 2.0000 0.0000 -
1065.51/1070.53 c 1071 880534 117721 1 2.0000 0.0000 -
1070.58/1075.64 c 1076 885703 117920 1 2.0000 0.0000 -
1075.76/1080.86 c 1081 890893 118331 1 2.0000 0.0000 -
1080.85/1085.91 c 1086 895549 118577 1 2.0000 0.0000 -
1085.93/1091.05 c 1091 899267 118659 1 2.0000 0.0000 -
1091.10/1096.20 c 1096 901679 118645 1 2.0000 0.0000 -
1096.07/1101.28 c 1101 906301 119027 1 2.0000 0.0000 -
1101.15/1106.35 c 1106 911218 119538 1 2.0000 0.0000 -
1106.23/1111.41 c 1111 914982 119961 1 2.0000 0.0000 -
1111.31/1116.57 c 1117 919858 120333 1 2.0000 0.0000 -
1116.38/1121.62 c 1122 924055 120654 1 2.0000 0.0000 -
1121.57/1126.85 c 1127 928181 120847 1 2.0000 0.0000 -
1126.64/1131.93 c 1132 932743 121012 1 2.0000 0.0000 -
1131.62/1136.98 c 1137 937200 121149 1 2.0000 0.0000 -
1136.70/1142.03 c 1142 941505 121573 1 2.0000 0.0000 -
1141.87/1147.22 c 1147 945058 122621 1 2.0000 0.0000 -
1146.95/1152.34 c 1152 948569 123238 1 2.0000 0.0000 -
1152.02/1157.46 c 1157 952420 123696 1 2.0000 0.0000 -
1157.30/1162.71 c 1163 955401 124183 1 2.0000 0.0000 -
1162.28/1167.77 c 1168 960302 124744 1 2.0000 0.0000 -
1167.36/1172.88 c 1173 965053 124991 1 2.0000 0.0000 -
1172.55/1178.04 c 1178 967382 125278 1 2.0000 0.0000 -
1177.53/1183.08 c 1183 969841 125622 1 2.0000 0.0000 -
1182.80/1188.32 c 1188 972192 125867 1 2.0000 0.0000 -
1187.87/1193.46 c 1193 976366 126038 1 2.0000 0.0000 -
1193.05/1198.60 c 1199 980605 126183 1 2.0000 0.0000 -
1198.12/1203.73 c 1204 984859 126426 1 2.0000 0.0000 -
1203.20/1208.81 c 1209 988964 126685 1 2.0000 0.0000 -
1208.18/1213.87 c 1214 993074 126766 1 2.0000 0.0000 -
1213.47/1219.19 c 1219 997562 127214 1 2.0000 0.0000 -
1218.73/1224.44 c 1224 1001301 127827 1 2.0000 0.0000 -
1223.91/1229.62 c 1230 1004967 128297 1 2.0000 0.0000 -
1228.98/1234.78 c 1235 1009263 128871 1 2.0000 0.0000 -
1234.15/1239.93 c 1240 1013097 129378 1 2.0000 0.0000 -
1239.34/1245.14 c 1245 1017061 129754 1 2.0000 0.0000 -
1244.50/1250.32 c 1250 1021315 130381 1 2.0000 0.0000 -
1249.58/1255.49 c 1256 1025031 131241 1 2.0000 0.0000 -
1254.72/1260.60 c 1261 1028468 131578 1 2.0000 0.0000 -
1259.77/1265.78 c 1266 1032354 131961 1 2.0000 0.0000 -
1264.94/1271.01 c 1271 1036411 132514 1 2.0000 0.0000 -
1270.12/1276.15 c 1276 1040660 132881 1 2.0000 0.0000 -
1275.17/1281.20 c 1281 1045054 133461 1 2.0000 0.0000 -
1280.25/1286.31 c 1286 1049551 133989 1 2.0000 0.0000 -
1285.32/1291.47 c 1291 1054001 134311 1 2.0000 0.0000 -
1290.50/1296.66 c 1297 1058661 134466 1 2.0000 0.0000 -
1295.57/1301.78 c 1302 1062619 134521 1 2.0000 0.0000 -
1300.65/1306.86 c 1307 1067385 134748 1 2.0000 0.0000 -
1305.72/1311.91 c 1312 1071801 134983 1 2.0000 0.0000 -
1310.70/1316.96 c 1317 1075380 135642 1 2.0000 0.0000 -
1315.78/1322.03 c 1322 1081028 136212 1 2.0000 0.0000 -
1320.85/1327.14 c 1327 1085837 136544 1 2.0000 0.0000 -
1325.92/1332.25 c 1332 1090371 136681 1 2.0000 0.0000 -
1331.00/1337.33 c 1337 1093691 137208 1 2.0000 0.0000 -
1335.96/1342.38 c 1342 1098670 137621 1 2.0000 0.0000 -
1341.15/1347.50 c 1348 1102639 137785 1 2.0000 0.0000 -
1346.22/1352.60 c 1353 1107090 138204 1 2.0000 0.0000 -
1351.19/1357.65 c 1358 1111479 138733 1 2.0000 0.0000 -
1356.37/1362.83 c 1363 1116171 139498 1 2.0000 0.0000 -
1361.44/1367.90 c 1368 1120381 140025 1 2.0000 0.0000 -
1366.42/1373.01 c 1373 1125835 140460 1 2.0000 0.0000 -
1371.61/1378.13 c 1378 1130823 140895 1 2.0000 0.0000 -
1376.67/1383.23 c 1383 1135506 141405 1 2.0000 0.0000 -
1381.74/1388.30 c 1388 1139718 141892 1 2.0000 0.0000 -
1386.80/1393.49 c 1394 1143746 142137 1 2.0000 0.0000 -
1391.89/1398.55 c 1399 1147899 142410 1 2.0000 0.0000 -
1396.95/1403.68 c 1404 1152631 142440 1 2.0000 0.0000 -
1402.13/1408.83 c 1409 1156841 142669 1 2.0000 0.0000 -
1407.20/1413.95 c 1414 1161692 142973 1 2.0000 0.0000 -
1412.29/1419.04 c 1419 1166632 143156 1 2.0000 0.0000 -
1417.37/1424.18 c 1424 1171010 143313 1 2.0000 0.0000 -
1422.53/1429.33 c 1429 1174992 143566 1 2.0000 0.0000 -
1427.71/1434.52 c 1435 1180675 144138 1 2.0000 0.0000 -
1432.79/1439.60 c 1440 1185941 144846 1 2.0000 0.0000 -
1437.97/1444.86 c 1445 1190276 145635 1 2.0000 0.0000 -
1443.04/1450.01 c 1450 1196123 146189 1 2.0000 0.0000 -
1448.13/1455.06 c 1455 1200026 146744 1 2.0000 0.0000 -
1453.30/1460.24 c 1460 1205471 147430 1 2.0000 0.0000 -
1458.38/1465.38 c 1465 1212056 147701 1 2.0000 0.0000 -
1463.56/1470.53 c 1471 1216891 148408 1 2.0000 0.0000 -
1468.54/1475.58 c 1476 1222061 149162 1 2.0000 0.0000 -
1473.82/1480.85 c 1481 1225849 149782 1 2.0000 0.0000 -
1479.10/1486.14 c 1486 1231182 150250 1 2.0000 0.0000 -
1484.17/1491.24 c 1491 1236646 150751 1 2.0000 0.0000 -
1489.36/1496.43 c 1496 1241183 151129 1 2.0000 0.0000 -
1494.34/1501.47 c 1501 1246782 151538 1 2.0000 0.0000 -
1499.61/1506.73 c 1507 1251998 152117 1 2.0000 0.0000 -
1504.69/1511.82 c 1512 1256279 152412 1 2.0000 0.0000 -
1509.77/1516.97 c 1517 1261891 152753 1 2.0000 0.0000 -
1514.86/1522.02 c 1522 1267259 153202 1 2.0000 0.0000 -
1519.84/1527.07 c 1527 1271966 153461 1 2.0000 0.0000 -
1524.92/1532.13 c 1532 1277324 153470 1 2.0000 0.0000 -
1529.97/1537.24 c 1537 1282121 153699 1 2.0000 0.0000 -
1535.06/1542.34 c 1542 1286387 154014 1 2.0000 0.0000 -
1540.14/1547.46 c 1547 1290282 154566 1 2.0000 0.0000 -
1545.32/1552.67 c 1553 1293701 155180 1 2.0000 0.0000 -
1550.39/1557.75 c 1558 1298797 155480 1 2.0000 0.0000 -
1555.47/1562.83 c 1563 1303845 155861 1 2.0000 0.0000 -
1560.55/1567.99 c 1568 1309692 156485 1 2.0000 0.0000 -
1565.74/1573.17 c 1573 1315417 157006 1 2.0000 0.0000 -
1570.81/1578.27 c 1578 1320344 157532 1 2.0000 0.0000 -
1576.09/1583.50 c 1584 1325547 157906 1 2.0000 0.0000 -
1581.17/1588.65 c 1589 1330871 158358 1 2.0000 0.0000 -
1586.24/1593.74 c 1594 1335004 159030 1 2.0000 0.0000 -
1591.23/1598.79 c 1599 1339688 159443 1 2.0000 0.0000 -
1596.41/1603.91 c 1604 1345807 159828 1 2.0000 0.0000 -
1601.50/1609.08 c 1609 1350849 160267 1 2.0000 0.0000 -
1606.66/1614.21 c 1614 1355465 160731 1 2.0000 0.0000 -
1611.84/1619.45 c 1619 1359731 161217 1 2.0000 0.0000 -
1616.93/1624.55 c 1625 1365731 161818 1 2.0000 0.0000 -
1622.00/1629.68 c 1630 1371503 162244 1 2.0000 0.0000 -
1627.18/1634.89 c 1635 1376465 162596 1 2.0000 0.0000 -
1632.27/1639.96 c 1640 1381430 163028 1 2.0000 0.0000 -
1637.54/1645.26 c 1645 1386116 163732 1 2.0000 0.0000 -
1642.62/1650.31 c 1650 1391265 164215 1 2.0000 0.0000 -
1647.70/1655.42 c 1655 1396121 164615 1 2.0000 0.0000 -
1652.68/1660.47 c 1660 1401243 164852 1 2.0000 0.0000 -
1657.75/1665.54 c 1666 1406506 165042 1 2.0000 0.0000 -
1662.93/1670.72 c 1671 1411377 165328 1 2.0000 0.0000 -
1668.11/1675.97 c 1676 1416086 165912 1 2.0000 0.0000 -
1673.20/1681.08 c 1681 1420851 166466 1 2.0000 0.0000 -
1678.37/1686.24 c 1686 1424942 166713 1 2.0000 0.0000 -
1683.45/1691.33 c 1691 1429422 167168 1 2.0000 0.0000 -
1688.63/1696.51 c 1697 1434421 167443 1 2.0000 0.0000 -
1693.70/1701.61 c 1702 1440524 167725 1 2.0000 0.0000 -
1698.78/1706.80 c 1707 1445515 167876 1 2.0000 0.0000 -
1703.85/1711.84 c 1712 1450342 168085 1 2.0000 0.0000 -
1708.94/1716.99 c 1717 1455163 168279 1 2.0000 0.0000 -
1714.21/1722.25 c 1722 1458921 168441 1 2.0000 0.0000 -
1719.49/1727.57 c 1728 1462483 169293 1 2.0000 0.0000 -
1724.57/1732.68 c 1733 1464537 169849 1 2.0000 0.0000 -
1729.75/1737.80 c 1738 1467162 170158 1 2.0000 0.0000 -
1734.83/1743.01 c 1743 1470559 170407 1 2.0000 0.0000 -
1739.91/1748.10 c 1748 1474282 170663 1 2.0000 0.0000 -
1744.99/1753.15 c 1753 1478350 170840 1 2.0000 0.0000 -
1750.16/1758.34 c 1758 1483085 171160 1 2.0000 0.0000 -
1755.33/1763.50 c 1764 1488387 171443 1 2.0000 0.0000 -
1760.51/1768.79 c 1769 1492614 172093 1 2.0000 0.0000 -
1765.69/1773.92 c 1774 1498208 172634 1 2.0000 0.0000 -
1770.78/1779.05 c 1779 1501955 173515 1 2.0000 0.0000 -
1776.04/1784.32 c 1784 1506727 174142 1 2.0000 0.0000 -
1781.03/1789.38 c 1789 1509933 174781 1 2.0000 0.0000 -
1786.11/1794.49 c 1794 1514043 175338 1 2.0000 0.0000 -
1791.29/1799.60 c 1800 1517582 175694 1 2.0000 0.0000 -
1796.36/1804.75 c 1805 1521942 176283 1 2.0000 0.0000 -
1801.54/1809.93 c 1810 1526555 176813 1 2.0000 0.0000 -
1806.64/1815.07 c 1815 1531176 177235 1 2.0000 0.0000 -
1811.72/1820.12 c 1820 1535721 177730 1 2.0000 0.0000 -
1816.79/1825.29 c 1825 1540626 178123 1 2.0000 0.0000 -
1821.87/1830.36 c 1830 1544587 178713 1 2.0000 0.0000 -
1827.05/1835.53 c 1836 1547026 179031 1 2.0000 0.0000 -
1832.13/1840.67 c 1841 1551544 179357 1 2.0000 0.0000 -
1837.21/1845.73 c 1846 1555621 179672 1 2.0000 0.0000 -
1842.29/1850.84 c 1851 1558945 180165 1 2.0000 0.0000 -
1847.47/1856.10 c 1856 1563451 180545 1 2.0000 0.0000 -
1852.74/1861.32 c 1861 1566571 181115 1 2.0000 0.0000 -
1857.72/1866.36 c 1866 1571858 181565 1 2.0000 0.0000 -
1862.91/1871.51 c 1872 1577221 182117 1 2.0000 0.0000 -
1867.89/1876.56 c 1877 1583029 182663 1 2.0000 0.0000 -
1872.96/1881.64 c 1882 1588807 183502 1 2.0000 0.0000 -
1878.05/1886.70 c 1887 1594244 184066 1 2.0000 0.0000 -
1883.22/1891.98 c 1892 1597659 184487 1 2.0000 0.0000 -
1888.31/1897.02 c 1897 1602025 184835 1 2.0000 0.0000 -
1893.48/1902.26 c 1902 1605182 185343 1 2.0000 0.0000 -
1898.66/1907.44 c 1907 1608312 185769 1 2.0000 0.0000 -
1903.83/1912.67 c 1913 1612737 186199 1 2.0000 0.0000 -
1908.91/1917.74 c 1918 1617957 186464 1 2.0000 0.0000 -
1914.10/1922.91 c 1923 1622977 186816 1 2.0000 0.0000 -
1919.29/1928.18 c 1928 1627072 187099 1 2.0000 0.0000 -
1924.36/1933.26 c 1933 1631565 187576 1 2.0000 0.0000 -
1929.43/1938.38 c 1938 1636169 187980 1 2.0000 0.0000 -
1934.51/1943.46 c 1943 1642272 188430 1 2.0000 0.0000 -
1939.69/1948.62 c 1949 1646498 188731 1 2.0000 0.0000 -
1944.67/1953.69 c 1954 1651151 189052 1 2.0000 0.0000 -
1949.85/1958.80 c 1959 1656816 189510 1 2.0000 0.0000 -
1954.93/1963.90 c 1964 1661039 189926 1 2.0000 0.0000 -
1960.01/1969.02 c 1969 1664720 190335 1 2.0000 0.0000 -
1964.99/1974.07 c 1974 1669176 190737 1 2.0000 0.0000 -
1970.16/1979.25 c 1979 1672503 191413 1 2.0000 0.0000 -
1975.34/1984.44 c 1984 1676551 192048 1 2.0000 0.0000 -
1980.53/1989.63 c 1990 1681774 192524 1 2.0000 0.0000 -
1985.60/1994.77 c 1995 1688314 192855 1 2.0000 0.0000 -
1990.69/1999.81 c 2000 1692709 192962 1 2.0000 0.0000 -
1995.76/2004.91 c 2005 1697802 193132 1 2.0000 0.0000 -
2000.74/2009.96 c 2010 1702493 193559 1 2.0000 0.0000 -
2005.93/2015.13 c 2015 1707133 193858 1 2.0000 0.0000 -
2011.10/2020.35 c 2020 1711341 194094 1 2.0000 0.0000 -
2016.08/2025.40 c 2025 1716441 194969 1 2.0000 0.0000 -
2021.36/2030.66 c 2031 1722016 195106 1 2.0000 0.0000 -
2026.54/2035.80 c 2036 1726481 195184 1 2.0000 0.0000 -
2031.73/2041.09 c 2041 1729239 195794 1 2.0000 0.0000 -
2037.10/2046.40 c 2046 1730704 196405 1 2.0000 0.0000 -
2042.18/2051.56 c 2052 1733445 196865 1 2.0000 0.0000 -
2047.36/2056.70 c 2057 1736070 197164 1 2.0000 0.0000 -
2052.44/2061.81 c 2062 1739766 197574 1 2.0000 0.0000 -
2057.52/2066.99 c 2067 1741977 198054 1 2.0000 0.0000 -
2062.81/2072.27 c 2072 1743061 198250 1 2.0000 0.0000 -
2067.88/2077.35 c 2077 1745884 198315 1 2.0000 0.0000 -
2072.96/2082.44 c 2082 1749091 198320 1 2.0000 0.0000 -
2078.05/2087.50 c 2088 1754210 198552 1 2.0000 0.0000 -
2083.12/2092.67 c 2093 1758817 198587 1 2.0000 0.0000 -
2088.31/2097.81 c 2098 1762951 198924 1 2.0000 0.0000 -
2093.38/2102.98 c 2103 1767534 199490 1 2.0000 0.0000 -
2098.76/2108.34 c 2108 1769503 200041 1 2.0000 0.0000 -
2103.84/2113.43 c 2113 1772245 200478 1 2.0000 0.0000 -
2109.02/2118.60 c 2119 1774614 200866 1 2.0000 0.0000 -
2114.01/2123.69 c 2124 1776687 201210 1 2.0000 0.0000 -
2119.29/2128.92 c 2129 1779320 201619 1 2.0000 0.0000 -
2124.37/2134.05 c 2134 1782861 202005 1 2.0000 0.0000 -
2129.36/2139.09 c 2139 1786638 202282 1 2.0000 0.0000 -
2134.63/2144.33 c 2144 1790042 202955 1 2.0000 0.0000 -
2139.81/2149.50 c 2150 1793401 203314 1 2.0000 0.0000 -
2144.89/2154.68 c 2155 1795589 203795 1 2.0000 0.0000 -
2150.17/2159.96 c 2160 1798651 204148 1 2.0000 0.0000 -
2155.37/2165.13 c 2165 1801541 204502 1 2.0000 0.0000 -
2160.43/2170.28 c 2170 1805412 204887 1 2.0000 0.0000 -
2165.81/2175.61 c 2176 1808531 205365 1 2.0000 0.0000 -
2170.88/2180.77 c 2181 1812351 205755 1 2.0000 0.0000 -
2176.17/2186.10 c 2186 1815271 206079 1 2.0000 0.0000 -
2181.24/2191.17 c 2191 1819281 206323 1 2.0000 0.0000 -
2186.30/2196.27 c 2196 1822492 206873 1 2.0000 0.0000 -
2191.48/2201.46 c 2201 1826464 207206 1 2.0000 0.0000 -
2196.65/2206.64 c 2207 1830544 207479 1 2.0000 0.0000 -
2201.73/2211.71 c 2212 1834574 207746 1 2.0000 0.0000 -
2206.80/2216.85 c 2217 1839571 208160 1 2.0000 0.0000 -
2211.88/2221.99 c 2222 1844115 208691 1 2.0000 0.0000 -
2217.15/2227.26 c 2227 1848315 209073 1 2.0000 0.0000 -
2222.43/2232.50 c 2233 1851972 209508 1 2.0000 0.0000 -
2227.61/2237.79 c 2238 1855596 209864 1 2.0000 0.0000 -
2232.78/2242.94 c 2243 1859449 210291 1 2.0000 0.0000 -
2238.05/2248.24 c 2248 1863855 210810 1 2.0000 0.0000 -
2243.22/2253.40 c 2253 1866552 211085 1 2.0000 0.0000 -
2248.29/2258.51 c 2259 1870701 211565 1 2.0000 0.0000 -
2253.26/2263.57 c 2264 1874769 211912 1 2.0000 0.0000 -
2258.33/2268.62 c 2269 1877930 212220 1 2.0000 0.0000 -
2263.51/2273.84 c 2274 1880172 212647 1 2.0000 0.0000 -
2268.48/2278.88 c 2279 1884220 212996 1 2.0000 0.0000 -
2273.55/2283.93 c 2284 1888666 213367 1 2.0000 0.0000 -
2278.64/2289.02 c 2289 1892169 213806 1 2.0000 0.0000 -
2283.71/2294.13 c 2294 1896764 214152 1 2.0000 0.0000 -
2288.87/2299.35 c 2299 1901355 214553 1 2.0000 0.0000 -
2293.95/2304.41 c 2304 1905020 214900 1 2.0000 0.0000 -
2299.12/2309.60 c 2310 1907941 215239 1 2.0000 0.0000 -
2304.09/2314.65 c 2315 1911130 215503 1 2.0000 0.0000 -
2309.17/2319.76 c 2320 1915528 215757 1 2.0000 0.0000 -
2314.24/2324.81 c 2325 1919224 216201 1 2.0000 0.0000 -
2319.21/2329.88 c 2330 1922744 216554 1 2.0000 0.0000 -
2324.50/2335.19 c 2335 1925539 216842 1 2.0000 0.0000 -
2329.66/2340.30 c 2340 1930029 217158 1 2.0000 0.0000 -
2334.83/2345.51 c 2346 1933848 217618 1 2.0000 0.0000 -
2339.90/2350.60 c 2351 1937645 217877 1 2.0000 0.0000 -
2344.87/2355.69 c 2356 1939388 218225 1 2.0000 0.0000 -
2349.95/2360.76 c 2361 1942752 218497 1 2.0000 0.0000 -
2355.02/2365.87 c 2366 1943872 218740 1 2.0000 0.0000 -
2360.09/2370.99 c 2371 1947230 218889 1 2.0000 0.0000 -
2365.28/2376.16 c 2376 1951119 219222 1 2.0000 0.0000 -
2370.35/2381.21 c 2381 1954546 219577 1 2.0000 0.0000 -
2375.41/2386.38 c 2386 1958120 219863 1 2.0000 0.0000 -
2380.58/2391.52 c 2392 1963202 220305 1 2.0000 0.0000 -
2385.55/2396.59 c 2397 1966735 220652 1 2.0000 0.0000 -
2390.73/2401.73 c 2402 1970113 220930 1 2.0000 0.0000 -
2395.70/2406.79 c 2407 1974766 221346 1 2.0000 0.0000 -
2400.77/2411.89 c 2412 1977533 221619 1 2.0000 0.0000 -
2405.95/2417.02 c 2417 1981473 221875 1 2.0000 0.0000 -
2411.11/2422.22 c 2422 1985285 222250 1 2.0000 0.0000 -
2416.18/2427.34 c 2427 1989084 222475 1 2.0000 0.0000 -
2421.36/2432.53 c 2433 1992606 222803 1 2.0000 0.0000 -
2426.53/2437.75 c 2438 1996398 223010 1 2.0000 0.0000 -
2431.93/2443.15 c 2443 2000847 223252 1 2.0000 0.0000 -
2437.18/2448.46 c 2448 2004190 223405 1 2.0000 0.0000 -
2442.36/2453.67 c 2454 2008478 223642 1 2.0000 0.0000 -
2447.53/2458.83 c 2459 2011785 223892 1 2.0000 0.0000 -
2452.71/2464.02 c 2464 2015556 224082 1 2.0000 0.0000 -
2457.78/2469.13 c 2469 2019742 224240 1 2.0000 0.0000 -
2463.05/2474.41 c 2474 2023711 224370 1 2.0000 0.0000 -
2468.22/2479.61 c 2480 2027817 224784 1 2.0000 0.0000 -
2473.39/2484.82 c 2485 2032527 225014 1 2.0000 0.0000 -
2478.37/2489.89 c 2490 2036955 225311 1 2.0000 0.0000 -
2483.45/2495.01 c 2495 2041252 225574 1 2.0000 0.0000 -
2488.71/2500.25 c 2500 2045533 225685 1 2.0000 0.0000 -
2493.79/2505.30 c 2505 2049846 225882 1 2.0000 0.0000 -
2498.97/2510.51 c 2511 2053841 226132 1 2.0000 0.0000 -
2504.35/2515.99 c 2516 2057056 226422 1 2.0000 0.0000 -
2509.63/2521.26 c 2521 2060701 226632 1 2.0000 0.0000 -
2514.71/2526.33 c 2526 2064678 226894 1 2.0000 0.0000 -
2519.79/2531.49 c 2532 2069333 227275 1 2.0000 0.0000 -
2524.96/2536.65 c 2537 2073061 227548 1 2.0000 0.0000 -
2530.14/2541.83 c 2542 2075510 228055 1 2.0000 0.0000 -
2535.44/2547.14 c 2547 2077433 228679 1 2.0000 0.0000 -
2540.60/2552.36 c 2552 2078771 229075 1 2.0000 0.0000 -
2545.89/2557.69 c 2558 2080534 229518 1 2.0000 0.0000 -
2551.07/2562.88 c 2563 2081995 229898 1 2.0000 0.0000 -
2556.36/2568.12 c 2568 2082845 230119 1 2.0000 0.0000 -
2561.63/2573.48 c 2573 2084802 230281 1 2.0000 0.0000 -
2566.71/2578.54 c 2579 2086813 230417 1 2.0000 0.0000 -
2572.09/2583.97 c 2584 2089291 230528 1 2.0000 0.0000 -
2577.36/2589.28 c 2589 2092899 230932 1 2.0000 0.0000 -
2582.64/2594.54 c 2595 2095148 231119 1 2.0000 0.0000 -
2587.92/2599.80 c 2600 2098248 231268 1 2.0000 0.0000 -
2592.90/2604.85 c 2605 2101379 231418 1 2.0000 0.0000 -
2598.09/2610.10 c 2610 2104425 231616 1 2.0000 0.0000 -
2603.56/2615.52 c 2616 2108178 231637 1 2.0000 0.0000 -
2608.74/2620.72 c 2621 2112060 231789 1 2.0000 0.0000 -
2613.92/2625.99 c 2626 2115162 231900 1 2.0000 0.0000 -
2619.11/2631.19 c 2631 2119527 232238 1 2.0000 0.0000 -
2624.27/2636.35 c 2636 2123943 232346 1 2.0000 0.0000 -
2629.55/2641.63 c 2642 2128821 232306 1 2.0000 0.0000 -
2634.63/2646.74 c 2647 2132624 232358 1 2.0000 0.0000 -
2639.72/2651.86 c 2652 2136111 232467 1 2.0000 0.0000 -
2644.79/2656.91 c 2657 2139813 232589 1 2.0000 0.0000 -
2649.88/2662.02 c 2662 2142708 232814 1 2.0000 0.0000 -
2654.96/2667.13 c 2667 2146743 233024 1 2.0000 0.0000 -
2660.02/2672.27 c 2672 2150979 233126 1 2.0000 0.0000 -
2665.20/2677.42 c 2677 2154974 233502 1 2.0000 0.0000 -
2670.28/2682.58 c 2683 2158716 233818 1 2.0000 0.0000 -
2675.55/2687.82 c 2688 2163152 234078 1 2.0000 0.0000 -
2680.53/2692.88 c 2693 2167102 234496 1 2.0000 0.0000 -
2685.90/2698.24 c 2698 2169696 235274 1 2.0000 0.0000 -
2691.28/2703.69 c 2704 2171733 235883 1 2.0000 0.0000 -
2696.66/2709.03 c 2709 2173982 236430 1 2.0000 0.0000 -
2702.03/2714.42 c 2714 2176523 237146 1 2.0000 0.0000 -
2707.01/2719.47 c 2719 2177787 237431 1 2.0000 0.0000 -
2712.59/2725.01 c 2725 2179383 237893 1 2.0000 0.0000 -
2717.86/2730.32 c 2730 2180735 238366 1 2.0000 0.0000 -
2723.14/2735.61 c 2736 2181983 238736 1 2.0000 0.0000 -
2728.31/2740.81 c 2741 2182743 238903 1 2.0000 0.0000 -
2733.39/2745.98 c 2746 2183605 239187 1 2.0000 0.0000 -
2738.66/2751.28 c 2751 2184483 239379 1 2.0000 0.0000 -
2743.94/2756.51 c 2757 2186129 239640 1 2.0000 0.0000 -
2749.21/2761.83 c 2762 2187409 239910 1 2.0000 0.0000 -
2754.40/2767.10 c 2767 2188797 240122 1 2.0000 0.0000 -
2759.57/2772.25 c 2772 2190838 240448 1 2.0000 0.0000 -
2764.85/2777.57 c 2778 2192663 240891 1 2.0000 0.0000 -
2770.03/2782.76 c 2783 2193857 241115 1 2.0000 0.0000 -
2775.20/2787.93 c 2788 2195788 241589 1 2.0000 0.0000 -
2780.39/2793.19 c 2793 2198106 242063 1 2.0000 0.0000 -
2785.46/2798.28 c 2798 2199890 242274 1 2.0000 0.0000 -
2790.73/2803.50 c 2804 2201246 242636 1 2.0000 0.0000 -
2795.91/2808.75 c 2809 2202671 243066 1 2.0000 0.0000 -
2801.29/2814.14 c 2814 2204313 243421 1 2.0000 0.0000 -
2806.46/2819.31 c 2819 2206499 243833 1 2.0000 0.0000 -
2812.03/2824.92 c 2825 2208322 244121 1 2.0000 0.0000 -
2817.00/2829.97 c 2830 2210541 244339 1 2.0000 0.0000 -
2822.28/2835.24 c 2835 2211971 244714 1 2.0000 0.0000 -
2827.96/2840.93 c 2841 2213461 245041 1 2.0000 0.0000 -
2833.23/2846.25 c 2846 2215865 245282 1 2.0000 0.0000 -
2838.30/2851.38 c 2851 2218088 245500 1 2.0000 0.0000 -
2843.68/2856.78 c 2857 2219600 245542 1 2.0000 0.0000 -
2849.07/2862.17 c 2862 2221463 245850 1 2.0000 0.0000 -
2854.13/2867.22 c 2867 2222933 245993 1 2.0000 0.0000 -
2859.40/2872.56 c 2873 2224782 246153 1 2.0000 0.0000 -
2864.67/2877.84 c 2878 2225951 246451 1 2.0000 0.0000 -
2869.75/2882.96 c 2883 2227273 246692 1 2.0000 0.0000 -
2875.12/2888.36 c 2888 2228598 247055 1 2.0000 0.0000 -
2880.60/2893.82 c 2894 2230076 247414 1 2.0000 0.0000 -
2885.88/2899.11 c 2899 2232350 247727 1 2.0000 0.0000 -
2890.94/2904.21 c 2904 2233820 247971 1 2.0000 0.0000 -
2896.12/2909.49 c 2909 2235268 248277 1 2.0000 0.0000 -
2901.19/2914.58 c 2915 2237117 248512 1 2.0000 0.0000 -
2906.38/2919.72 c 2920 2239339 248849 1 2.0000 0.0000 -
2911.46/2924.85 c 2925 2242175 249068 1 2.0000 0.0000 -
2917.42/2930.80 c 2931 2243851 249394 1 2.0000 0.0000 -
2922.49/2935.92 c 2936 2245873 249590 1 2.0000 0.0000 -
2927.48/2940.98 c 2941 2247883 249798 1 2.0000 0.0000 -
2932.66/2946.17 c 2946 2250449 250226 1 2.0000 0.0000 -
2937.93/2951.48 c 2951 2252875 250392 1 2.0000 0.0000 -
2943.19/2956.72 c 2957 2254775 250526 1 2.0000 0.0000 -
2948.38/2961.94 c 2962 2257289 250758 1 2.0000 0.0000 -
2953.56/2967.15 c 2967 2259754 250895 1 2.0000 0.0000 -
2958.82/2972.45 c 2972 2262427 251085 1 2.0000 0.0000 -
2964.09/2977.77 c 2978 2265322 251236 1 2.0000 0.0000 -
2969.47/2983.12 c 2983 2267034 251355 1 2.0000 0.0000 -
2974.74/2988.41 c 2988 2269352 251533 1 2.0000 0.0000 -
2980.02/2993.76 c 2994 2272372 251905 1 2.0000 0.0000 -
2985.50/2999.27 c 2999 2275091 252151 1 2.0000 0.0000 -
2990.77/3004.59 c 3005 2277769 252345 1 2.0000 0.0000 -
2995.85/3009.69 c 3010 2280105 252557 1 2.0000 0.0000 -
3001.03/3014.83 c 3015 2282611 252770 1 2.0000 0.0000 -
3006.30/3020.14 c 3020 2285419 253006 1 2.0000 0.0000 -
3011.57/3025.49 c 3025 2287759 253415 1 2.0000 0.0000 -
3016.64/3030.53 c 3031 2290311 253734 1 2.0000 0.0000 -
3021.72/3035.61 c 3036 2292568 254011 1 2.0000 0.0000 -
3026.79/3040.74 c 3041 2295065 254332 1 2.0000 0.0000 -
3032.18/3046.18 c 3046 2297956 254554 1 2.0000 0.0000 -
3037.54/3051.50 c 3052 2300933 254756 1 2.0000 0.0000 -
3043.03/3057.01 c 3057 2303622 255031 1 2.0000 0.0000 -
3048.29/3062.32 c 3062 2306362 255323 1 2.0000 0.0000 -
3053.66/3067.71 c 3068 2308723 255639 1 2.0000 0.0000 -
3058.74/3072.88 c 3073 2311093 255978 1 2.0000 0.0000 -
3063.81/3077.93 c 3078 2313819 256251 1 2.0000 0.0000 -
3069.08/3083.29 c 3083 2316049 256400 1 2.0000 0.0000 -
3074.15/3088.37 c 3088 2318475 256522 1 2.0000 0.0000 -
3079.33/3093.50 c 3094 2320687 256778 1 2.0000 0.0000 -
3084.81/3099.07 c 3099 2323334 257332 1 2.0000 0.0000 -
3090.27/3104.53 c 3105 2325329 257715 1 2.0000 0.0000 -
3095.44/3109.73 c 3110 2328408 258052 1 2.0000 0.0000 -
3100.92/3115.24 c 3115 2331991 258353 1 2.0000 0.0000 -
3106.30/3120.64 c 3121 2334249 258656 1 2.0000 0.0000 -
3111.88/3126.20 c 3126 2336473 258971 1 2.0000 0.0000 -
3117.25/3131.65 c 3132 2339220 259268 1 2.0000 0.0000 -
3122.74/3137.16 c 3137 2341311 259511 1 2.0000 0.0000 -
3127.80/3142.24 c 3142 2343599 259832 1 2.0000 0.0000 -
3133.17/3147.62 c 3148 2347225 260226 1 2.0000 0.0000 -
3138.56/3153.06 c 3153 2349791 260493 1 2.0000 0.0000 -
3143.82/3158.30 c 3158 2352670 260781 1 2.0000 0.0000 -
3149.00/3163.56 c 3164 2354689 261054 1 2.0000 0.0000 -
3154.17/3168.79 c 3169 2356681 261287 1 2.0000 0.0000 -
3159.46/3174.06 c 3174 2359001 261496 1 2.0000 0.0000 -
3165.22/3179.81 c 3180 2361584 261707 1 2.0000 0.0000 -
3170.70/3185.34 c 3185 2363759 262392 1 2.0000 0.0000 -
3176.17/3190.87 c 3191 2365429 262846 1 2.0000 0.0000 -
3181.36/3196.04 c 3196 2367498 263209 1 2.0000 0.0000 -
3186.44/3201.14 c 3201 2370039 263342 1 2.0000 0.0000 -
3191.91/3206.66 c 3207 2371195 263479 1 2.0000 0.0000 -
3196.98/3211.78 c 3212 2374077 263792 1 2.0000 0.0000 -
3202.37/3217.17 c 3217 2375335 264155 1 2.0000 0.0000 -
3207.74/3222.53 c 3223 2377082 264241 1 2.0000 0.0000 -
3212.91/3227.78 c 3228 2379154 264863 1 2.0000 0.0000 -
3217.99/3232.83 c 3233 2380670 265317 1 2.0000 0.0000 -
3223.17/3238.07 c 3238 2382016 265832 1 2.0000 0.0000 -
3228.54/3243.41 c 3243 2383185 266239 1 2.0000 0.0000 -
3233.71/3248.63 c 3249 2384460 266649 1 2.0000 0.0000 -
3238.99/3253.95 c 3254 2385193 266874 1 2.0000 0.0000 -
3244.57/3259.50 c 3260 2385869 267088 1 2.0000 0.0000 -
3249.55/3264.55 c 3265 2386745 267325 1 2.0000 0.0000 -
3254.92/3269.93 c 3270 2388038 267591 1 2.0000 0.0000 -
3260.01/3275.03 c 3275 2389642 267689 1 2.0000 0.0000 -
3265.08/3280.12 c 3280 2391481 267746 1 2.0000 0.0000 -
3270.44/3285.56 c 3286 2393342 267774 1 2.0000 0.0000 -
3275.52/3290.61 c 3291 2395354 267823 1 2.0000 0.0000 -
3280.79/3295.91 c 3296 2397002 267978 1 2.0000 0.0000 -
3285.98/3301.18 c 3301 2398797 268033 1 2.0000 0.0000 -
3291.05/3306.29 c 3306 2401187 268045 1 2.0000 0.0000 -
3296.23/3311.41 c 3311 2403982 268259 1 2.0000 0.0000 -
3301.61/3316.90 c 3317 2406292 268406 1 2.0000 0.0000 -
3306.97/3322.25 c 3322 2408805 268605 1 2.0000 0.0000 -
3312.35/3327.63 c 3328 2411182 268818 1 2.0000 0.0000 -
3317.42/3332.78 c 3333 2413404 269102 1 2.0000 0.0000 -
3322.49/3337.83 c 3338 2416111 269193 1 2.0000 0.0000 -
3327.57/3343.01 c 3343 2418973 269375 1 2.0000 0.0000 -
3333.04/3348.40 c 3348 2421317 269478 1 2.0000 0.0000 -
3338.31/3353.71 c 3354 2423924 269555 1 2.0000 0.0000 -
3343.40/3358.80 c 3359 2426544 269640 1 2.0000 0.0000 -
3348.68/3364.12 c 3364 2428798 269714 1 2.0000 0.0000 -
3353.66/3369.16 c 3369 2432056 269818 1 2.0000 0.0000 -
3358.73/3374.29 c 3374 2434331 269970 1 2.0000 0.0000 -
3363.81/3379.35 c 3379 2435870 270112 1 2.0000 0.0000 -
3368.99/3384.52 c 3385 2439545 270434 1 2.0000 0.0000 -
3374.27/3389.88 c 3390 2442925 270726 1 2.0000 0.0000 -
3379.74/3395.40 c 3395 2445699 270979 1 2.0000 0.0000 -
3385.01/3400.61 c 3401 2449054 271260 1 2.0000 0.0000 -
3390.40/3406.02 c 3406 2451221 271498 1 2.0000 0.0000 -
3395.76/3411.42 c 3411 2453660 271679 1 2.0000 0.0000 -
3400.85/3416.50 c 3417 2456628 271933 1 2.0000 0.0000 -
3405.92/3421.61 c 3422 2460105 272203 1 2.0000 0.0000 -
3411.10/3426.84 c 3427 2463316 272497 1 2.0000 0.0000 -
3416.48/3432.21 c 3432 2466120 272702 1 2.0000 0.0000 -
3422.06/3437.89 c 3438 2469271 273042 1 2.0000 0.0000 -
3427.43/3443.29 c 3443 2471291 273175 1 2.0000 0.0000 -
3432.82/3448.64 c 3449 2473175 273263 1 2.0000 0.0000 -
3437.90/3453.74 c 3454 2474683 273349 1 2.0000 0.0000 -
3442.98/3458.86 c 3459 2477134 273383 1 2.0000 0.0000 -
3448.17/3464.02 c 3464 2478832 273375 1 2.0000 0.0000 -
3453.16/3469.07 c 3469 2480449 273419 1 2.0000 0.0000 -
3458.23/3474.13 c 3474 2483052 273648 1 2.0000 0.0000 -
3463.30/3479.22 c 3479 2485029 273672 1 2.0000 0.0000 -
3468.58/3484.52 c 3485 2488571 274066 1 2.0000 0.0000 -
3473.76/3489.77 c 3490 2491989 274378 1 2.0000 0.0000 -
3479.34/3495.35 c 3495 2495286 274676 1 2.0000 0.0000 -
3484.62/3500.66 c 3501 2498345 275066 1 2.0000 0.0000 -
3489.80/3505.82 c 3506 2501138 275313 1 2.0000 0.0000 -
3495.09/3511.15 c 3511 2504655 275717 1 2.0000 0.0000 -
3500.45/3516.59 c 3517 2507427 275937 1 2.0000 0.0000 -
3505.54/3521.68 c 3522 2509465 276096 1 2.0000 0.0000 -
3510.61/3526.73 c 3527 2512222 276364 1 2.0000 0.0000 -
3515.91/3532.03 c 3532 2515107 276692 1 2.0000 0.0000 -
3521.37/3537.50 c 3538 2518831 277118 1 2.0000 0.0000 -
3526.55/3542.79 c 3543 2521748 277326 1 2.0000 0.0000 -
3531.94/3548.16 c 3548 2522631 277511 1 2.0000 0.0000 -
3537.01/3553.21 c 3553 2524546 277610 1 2.0000 0.0000 -
3542.09/3558.32 c 3558 2527812 277820 1 2.0000 0.0000 -
3547.38/3563.66 c 3564 2530279 278169 1 2.0000 0.0000 -
3552.55/3568.80 c 3569 2533072 278315 1 2.0000 0.0000 -
3557.53/3573.85 c 3574 2535743 278537 1 2.0000 0.0000 -
3562.91/3579.25 c 3579 2538733 278919 1 2.0000 0.0000 -
3568.49/3584.84 c 3585 2541321 279169 1 2.0000 0.0000 -
3573.57/3589.91 c 3590 2544176 279510 1 2.0000 0.0000 -
3578.54/3594.99 c 3595 2547170 279621 1 2.0000 0.0000 -
3582.53/3598.91 c SCIP Status : c solving was interrupted [hard time limit reached]
3582.53/3598.91 c Total Time : 3598.9200
3582.53/3598.91 c solving : 3598.9200
3582.53/3598.91 c presolving : 0.0589 (included in solving)
3582.53/3598.91 c B&B Tree :
3582.53/3598.91 c nodes (total) : 1
3582.53/3598.91 c Solution :
3582.53/3598.91 c Solutions found : 4
3582.53/3598.91 c Primal Bound : +2.00000000000000e+00
3582.53/3598.91 c Dual Bound : +0.00000000000000e+00
3582.53/3598.91 c Gap : infinite
3582.53/3598.91 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3582.53/3598.92 o 2
3582.53/3598.92 s SATISFIABLE
3582.53/3598.92 v -x148 -x147 -x146 -x145 -x144 x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
3582.53/3598.92 v -x126 x125 -x124 -x123 -x122 -x121 x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 -x105
3582.53/3598.92 v -x104 x103 -x102 -x101 x28 -x27 -x26 -x25 -x24 -x23 x22 x21 -x20 -x19 x18 x17 -x16 -x15 x14 x13 x12 -x11 -x10 x9 x8 x7 x6
3582.53/3598.92 v -x5 -x4 x3 x2 x1 -x100 -x92 -x84 -x76 -x68 -x60 x52 -x44 -x99 -x91 -x83 -x75 -x67 x59 -x51 -x43 -x98 -x90 -x82 -x74 x66 -x58
3582.53/3598.92 v -x50 -x42 -x97 -x89 -x81 -x73 -x65 -x57 -x49 x41 -x96 x88 -x80 -x72 -x64 -x56 -x48 -x40 -x95 -x87 -x79 -x71 -x63 -x55 -x47
3582.53/3598.92 v -x39 -x94 -x86 -x78 -x70 -x62 -x54 -x46 -x38 x93 -x85 -x77 -x69 -x61 -x53 -x45 -x37 -x36 -x35 -x34 -x33 -x32 x31 x30 -x29
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: 64096 MiB (62903 MiB free)
memory of node 1: 64473 MiB (63753 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464557-1722390354/watcher-4464557-1722390354 -o /tmp/evaluation-result-4464557-1722390354/solver-4464557-1722390354 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722390349-35751 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464557-1722390354.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=36251, runsolver pid=36248
[startup+0.100086 s]*
/proc/loadavg: 2.05 1.68 2.51 5/245 36254
/proc/meminfo: memFree=129638396/131655788 swapFree=131071216/131071996
[pid=36251] ppid=36248 vsize=114664 memory=26968 CPUtime=0.1 cores=0,2
/proc/36251/stat : 36251 (fscip) S 36248 36251 35100 0 -1 1077936128 4549 0 0 0 9 1 0 0 20 0 3 0 5405982 117415936 6742 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
/proc/36251/statm: 28666 6742 2790 3035 0 10078 0
[pid=36251/tid=36254] ppid=36248 vsize=114664 memory=4026561586 CPUtime=0.01 cores=0,2
/proc/36251/task/36254/stat : 36254 (fscip) R 36248 36251 35100 0 -1 4194368 1332 0 0 0 1 0 0 0 20 0 3 0 5405990 117415936 6742 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
[pid=36251/tid=36255] ppid=36248 vsize=114664 memory=228556276070 CPUtime=0 cores=0,2
/proc/36251/task/36255/stat : 36255 (fscip) R 36248 36251 35100 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 3 0 5405992 117415936 6742 134679101440 4194304 16623229 140721577556928 0 0 0 2147221247 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 114664 KiB
Current children cumulated memory: 26968 KiB
[startup+0.213207 s]*
/proc/loadavg: 2.05 1.68 2.51 5/246 36255
/proc/meminfo: memFree=129578924/131655788 swapFree=131071216/131071996
[pid=36251] ppid=36248 vsize=114664 memory=32320 CPUtime=0.22 cores=0,2
/proc/36251/stat : 36251 (fscip) S 36248 36251 35100 0 -1 1077936128 5755 0 0 0 20 2 0 0 20 0 3 0 5405982 117415936 8080 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
/proc/36251/statm: 28666 8080 2950 3035 0 11262 0
[pid=36251/tid=36254] ppid=36248 vsize=114664 memory=664970838410264707 CPUtime=0.12 cores=0,2
/proc/36251/task/36254/stat : 36254 (fscip) R 36248 36251 35100 0 -1 4194368 2532 0 0 0 12 0 0 0 20 0 3 0 5405990 117415936 8080 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
[pid=36251/tid=36255] ppid=36248 vsize=114664 memory=80307 CPUtime=0 cores=0,2
/proc/36251/task/36255/stat : 36255 (fscip) S 36248 36251 35100 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5405992 117415936 8080 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 114664 KiB
Current children cumulated memory: 32320 KiB
[startup+0.31315 s]*
/proc/loadavg: 2.05 1.68 2.51 5/246 36255
/proc/meminfo: memFree=129572112/131655788 swapFree=131071216/131071996
[pid=36251] ppid=36248 vsize=115508 memory=38392 CPUtime=0.31 cores=0,2
/proc/36251/stat : 36251 (fscip) S 36248 36251 35100 0 -1 1077936128 7276 0 0 0 29 2 0 0 20 0 3 0 5405982 118280192 9598 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
/proc/36251/statm: 28877 9598 2950 3035 0 13149 0
[pid=36251/tid=36254] ppid=36248 vsize=115508 memory=-5155626899319712645 CPUtime=0.22 cores=0,2
/proc/36251/task/36254/stat : 36254 (fscip) R 36248 36251 35100 0 -1 4194368 4053 0 0 0 22 0 0 0 20 0 3 0 5405990 118280192 9598 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
[pid=36251/tid=36255] ppid=36248 vsize=115508 memory=0 CPUtime=0 cores=0,2
/proc/36251/task/36255/stat : 36255 (fscip) S 36248 36251 35100 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5405992 118280192 9598 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 115508 KiB
Current children cumulated memory: 38392 KiB
[startup+0.700414 s]
/proc/loadavg: 2.05 1.68 2.51 5/246 36255
/proc/meminfo: memFree=129535644/131655788 swapFree=131071216/131071996
[pid=36251] ppid=36248 vsize=114664 memory=38556 CPUtime=0.68 cores=0,2
/proc/36251/stat : 36251 (fscip) S 36248 36251 35100 0 -1 1077936128 7501 0 0 0 66 2 0 0 20 0 3 0 5405982 117415936 9639 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
/proc/36251/statm: 28666 9639 2950 3035 0 13147 0
[pid=36251/tid=36254] ppid=36248 vsize=114664 memory=0 CPUtime=0.6 cores=0,2
/proc/36251/task/36254/stat : 36254 (fscip) R 36248 36251 35100 0 -1 4194368 4278 0 0 0 59 1 0 0 20 0 3 0 5405990 117415936 9639 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
[pid=36251/tid=36255] ppid=36248 vsize=114664 memory=0 CPUtime=0 cores=0,2
/proc/36251/task/36255/stat : 36255 (fscip) S 36248 36251 35100 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5405992 117415936 9639 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 114664 KiB
Current children cumulated memory: 38556 KiB
[startup+1.50043 s]
/proc/loadavg: 2.37 1.76 2.52 5/246 36255
/proc/meminfo: memFree=129506984/131655788 swapFree=131071216/131071996
[pid=36251] ppid=36248 vsize=115604 memory=49540 CPUtime=1.48 cores=0,2
/proc/36251/stat : 36251 (fscip) S 36248 36251 35100 0 -1 1077936128 12707 0 0 0 145 3 0 0 20 0 3 0 5405982 118378496 12385 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
/proc/36251/statm: 28901 12385 2950 3035 0 15898 0
[pid=36251/tid=36254] ppid=36248 vsize=115604 memory=0 CPUtime=1.39 cores=0,2
/proc/36251/task/36254/stat : 36254 (fscip) R 36248 36251 35100 0 -1 4194368 9461 0 0 0 137 2 0 0 20 0 3 0 5405990 118378496 12385 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
[pid=36251/tid=36255] ppid=36248 vsize=115604 memory=0 CPUtime=0 cores=0,2
/proc/36251/task/36255/stat : 36255 (fscip) S 36248 36251 35100 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5405992 118378496 12385 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 115604 KiB
Current children cumulated memory: 49540 KiB
[startup+3.11271 s]
/proc/loadavg: 2.37 1.76 2.52 5/246 36255
/proc/meminfo: memFree=129230424/131655788 swapFree=131071216/131071996
[pid=36251] ppid=36248 vsize=115604 memory=54416 CPUtime=3.09 cores=0,2
/proc/36251/stat : 36251 (fscip) S 36248 36251 35100 0 -1 1077936128 14167 0 0 0 305 4 0 0 20 0 3 0 5405982 118378496 13604 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
/proc/36251/statm: 28901 13604 2950 3035 0 17221 0
[pid=36251/tid=36254] ppid=36248 vsize=115604 memory=0 CPUtime=2.99 cores=0,2
/proc/36251/task/36254/stat : 36254 (fscip) R 36248 36251 35100 0 -1 4194368 10921 0 0 0 297 2 0 0 20 0 3 0 5405990 118378496 13604 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
[pid=36251/tid=36255] ppid=36248 vsize=115604 memory=0 CPUtime=0 cores=0,2
/proc/36251/task/36255/stat : 36255 (fscip) S 36248 36251 35100 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5405992 118378496 13604 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 115604 KiB
Current children cumulated memory: 54416 KiB
[startup+6.3004 s]
/proc/loadavg: 2.50 1.79 2.53 5/248 36305
/proc/meminfo: memFree=128559840/131655788 swapFree=131071216/131071996
[pid=36251] ppid=36248 vsize=116588 memory=60296 CPUtime=6.26 cores=0,2
/proc/36251/stat : 36251 (fscip) S 36248 36251 35100 0 -1 1077936128 21511 0 0 0 622 4 0 0 20 0 3 0 5405982 119386112 15074 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
/proc/36251/statm: 29147 15074 2966 3035 0 18416 0
[pid=36251/tid=36254] ppid=36248 vsize=116588 memory=-5155626899319712645 CPUtime=6.17 cores=0,2
/proc/36251/task/36254/stat : 36254 (fscip) R 36248 36251 35100 0 -1 4194368 18243 0 0 0 614 3 0 0 20 0 3 0 5405990 119386112 15074 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
[pid=36251/tid=36255] ppid=36248 vsize=116588 memory=-5155626899319712645 CPUtime=0 cores=0,2
/proc/36251/task/36255/stat : 36255 (fscip) S 36248 36251 35100 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5405992 119386112 15074 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 116588 KiB
Current children cumulated memory: 60296 KiB
[startup+12.7004 s]
/proc/loadavg: 2.62 1.83 2.54 5/248 36306
/proc/meminfo: memFree=128294168/131655788 swapFree=131071216/131071996
[pid=36251] ppid=36248 vsize=116080 memory=73324 CPUtime=12.63 cores=0,2
/proc/36251/stat : 36251 (fscip) S 36248 36251 35100 0 -1 1077936128 42467 0 0 0 1255 8 0 0 20 0 3 0 5405982 118865920 18331 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
/proc/36251/statm: 29020 18331 3014 3035 0 21627 0
[pid=36251/tid=36254] ppid=36248 vsize=116080 memory=-5155626899319712645 CPUtime=12.53 cores=0,2
/proc/36251/task/36254/stat : 36254 (fscip) R 36248 36251 35100 0 -1 4194368 39159 0 0 0 1247 6 0 0 20 0 3 0 5405990 118865920 18331 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
[pid=36251/tid=36255] ppid=36248 vsize=116080 memory=11516 CPUtime=0 cores=0,2
/proc/36251/task/36255/stat : 36255 (fscip) S 36248 36251 35100 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5405992 118865920 18331 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 116080 KiB
Current children cumulated memory: 73324 KiB
[startup+25.5004 s]
/proc/loadavg: 2.83 1.90 2.56 5/248 36308
/proc/meminfo: memFree=128109272/131655788 swapFree=131071216/131071996
[pid=36251] ppid=36248 vsize=119544 memory=86768 CPUtime=25.36 cores=0,2
/proc/36251/stat : 36251 (fscip) S 36248 36251 35100 0 -1 1077936128 65849 0 0 0 2524 12 0 0 20 0 3 0 5405982 122413056 21692 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
/proc/36251/statm: 29886 21692 3014 3035 0 25427 0
[pid=36251/tid=36254] ppid=36248 vsize=119544 memory=81100 CPUtime=25.27 cores=0,2
/proc/36251/task/36254/stat : 36254 (fscip) R 36248 36251 35100 0 -1 4194368 62484 0 0 0 2516 11 0 0 20 0 3 0 5405990 122413056 21692 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
[pid=36251/tid=36255] ppid=36248 vsize=119544 memory=0 CPUtime=0 cores=0,2
/proc/36251/task/36255/stat : 36255 (fscip) S 36248 36251 35100 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 5405992 122413056 21692 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 119544 KiB
Current children cumulated memory: 86768 KiB
[startup+51.1125 s]
/proc/loadavg: 3.31 2.09 2.60 5/248 36312
/proc/meminfo: memFree=127870028/131655788 swapFree=131071216/131071996
[pid=36251] ppid=36248 vsize=199096 memory=111508 CPUtime=50.86 cores=0,2
/proc/36251/stat : 36251 (fscip) S 36248 36251 35100 0 -1 1077936128 112067 0 0 0 5064 22 0 0 20 0 3 0 5405982 203874304 27877 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
/proc/36251/statm: 49774 27877 3014 3035 0 31659 0
[pid=36251/tid=36254] ppid=36248 vsize=199096 memory=11516 CPUtime=50.76 cores=0,2
/proc/36251/task/36254/stat : 36254 (fscip) R 36248 36251 35100 0 -1 4194368 108632 0 0 0 5056 20 0 0 20 0 3 0 5405990 203874304 27877 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
[pid=36251/tid=36255] ppid=36248 vsize=199096 memory=106088 CPUtime=0 cores=0,2
/proc/36251/task/36255/stat : 36255 (fscip) S 36248 36251 35100 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 5405992 203874304 27877 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 199096 KiB
Current children cumulated memory: 111508 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 2.49 2.71 5/248 36322
/proc/meminfo: memFree=127744464/131655788 swapFree=131071216/131071996
[pid=36251] ppid=36248 vsize=225888 memory=155044 CPUtime=101.82 cores=0,2
/proc/36251/stat : 36251 (fscip) S 36248 36251 35100 0 -1 1077936128 183550 0 0 0 10142 40 0 0 20 0 3 0 5405982 231309312 38761 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
/proc/36251/statm: 56472 38761 3014 3035 0 43405 0
[pid=36251/tid=36254] ppid=36248 vsize=225888 memory=-7522818444154199676 CPUtime=101.71 cores=0,2
/proc/36251/task/36254/stat : 36254 (fscip) R 36248 36251 35100 0 -1 4194368 180028 0 0 0 10133 38 0 0 20 0 3 0 5405990 231309312 38761 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
[pid=36251/tid=36255] ppid=36248 vsize=225888 memory=12624 CPUtime=0 cores=0,2
/proc/36251/task/36255/stat : 36255 (fscip) S 36248 36251 35100 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 5405992 231309312 38761 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
Current children cumulated CPU time: 101.82 s
Current children cumulated vsize: 225888 KiB
Current children cumulated memory: 155044 KiB
[startup+162.3 s]
/proc/loadavg: 4.59 2.95 2.86 5/248 36332
/proc/meminfo: memFree=127657920/131655788 swapFree=131071216/131071996
[pid=36251] ppid=36248 vsize=235876 memory=198736 CPUtime=161.55 cores=0,2
/proc/36251/stat : 36251 (fscip) S 36248 36251 35100 0 -1 1077936128 263567 0 0 0 16093 62 0 0 20 0 3 0 5405982 241537024 49684 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
/proc/36251/statm: 58969 49684 3318 3035 0 54319 0
[pid=36251/tid=36254] ppid=36248 vsize=235876 memory=163128 CPUtime=161.44 cores=0,2
/proc/36251/task/36254/stat : 36254 (fscip) R 36248 36251 35100 0 -1 4194368 259971 0 0 0 16084 60 0 0 20 0 3 0 5405990 241537024 49684 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
[pid=36251/tid=36255] ppid=36248 vsize=235876 memory=12624 CPUtime=0 cores=0,2
/proc/36251/task/36255/stat : 36255 (fscip) S 36248 36251 35100 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 5405992 241537024 49684 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
Current children cumulated CPU time: 161.55 s
Current children cumulated vsize: 235876 KiB
################
# More data... #
################
/proc/36251/statm: 638462 576623 3334 3035 0 624037 0
[pid=36251/tid=36254] ppid=36248 vsize=2553848 memory=11516 CPUtime=3446.03 cores=0,2
/proc/36251/task/36254/stat : 36254 (fscip) R 36248 36251 35100 0 -1 4194368 7155536 0 0 0 343610 993 0 0 20 0 3 0 5405990 2615140352 576623 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
[pid=36251/tid=36255] ppid=36248 vsize=2553848 memory=2306492 CPUtime=0.05 cores=0,2
/proc/36251/task/36255/stat : 36255 (fscip) S 36248 36251 35100 0 -1 1077936192 134 0 0 0 1 4 0 0 20 0 3 0 5405992 2615140352 576623 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
Current children cumulated CPU time: 3446.47 s
Current children cumulated vsize: 2553848 KiB
Current children cumulated memory: 2306492 KiB
[startup+3522.3 s]
/proc/loadavg: 3.05 3.39 3.76 4/241 38162
/proc/meminfo: memFree=123977644/131655788 swapFree=131071216/131071996
[pid=36251] ppid=36248 vsize=2553848 memory=2344092 CPUtime=3506.23 cores=0,2
/proc/36251/stat : 36251 (fscip) S 36248 36251 35100 0 -1 1077936128 7382517 0 0 0 349599 1024 0 0 20 0 3 0 5405982 2615140352 586023 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
/proc/36251/statm: 638462 586023 3334 3035 0 624341 0
[pid=36251/tid=36254] ppid=36248 vsize=2553848 memory=11516 CPUtime=3505.79 cores=0,2
/proc/36251/task/36254/stat : 36254 (fscip) R 36248 36251 35100 0 -1 4194368 7378118 0 0 0 349568 1011 0 0 20 0 3 0 5405990 2615140352 586023 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
[pid=36251/tid=36255] ppid=36248 vsize=2553848 memory=2339888 CPUtime=0.05 cores=0,2
/proc/36251/task/36255/stat : 36255 (fscip) S 36248 36251 35100 0 -1 1077936192 136 0 0 0 1 4 0 0 20 0 3 0 5405992 2615140352 586023 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
Current children cumulated CPU time: 3506.23 s
Current children cumulated vsize: 2553848 KiB
Current children cumulated memory: 2344092 KiB
[startup+3582.3 s]
/proc/loadavg: 3.12 3.35 3.72 4/241 38172
/proc/meminfo: memFree=123879992/131655788 swapFree=131071216/131071996
[pid=36251] ppid=36248 vsize=2554876 memory=2379900 CPUtime=3566 cores=0,2
/proc/36251/stat : 36251 (fscip) S 36248 36251 35100 0 -1 1077936128 7619530 0 0 0 355553 1047 0 0 20 0 3 0 5405982 2616193024 594975 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
/proc/36251/statm: 638719 594975 3334 3035 0 626140 0
[pid=36251/tid=36254] ppid=36248 vsize=2554876 memory=11516 CPUtime=3565.56 cores=0,2
/proc/36251/task/36254/stat : 36254 (fscip) R 36248 36251 35100 0 -1 4194368 7615118 0 0 0 355522 1034 0 0 20 0 3 0 5405990 2616193024 594975 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
[pid=36251/tid=36255] ppid=36248 vsize=2554876 memory=11516 CPUtime=0.05 cores=0,2
/proc/36251/task/36255/stat : 36255 (fscip) S 36248 36251 35100 0 -1 1077936192 138 0 0 0 1 4 0 0 20 0 3 0 5405992 2616193024 594975 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
Current children cumulated CPU time: 3566 s
Current children cumulated vsize: 2554876 KiB
Current children cumulated memory: 2379900 KiB
[startup+3598.94 s]
# the end of solver process 36251 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3571.99 s, system=10.6002 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.12 3.35 3.72 4/241 38172
/proc/meminfo: memFree=123879536/131655788 swapFree=131071216/131071996
[pid=36251] ppid=36248 vsize=2554876 memory=2379900 CPUtime=3567.7 cores=0,2
/proc/36251/stat : 36251 (fscip) S 36248 36251 35100 0 -1 1077936128 7623543 0 0 0 355723 1047 0 0 20 0 3 0 5405982 2616193024 594975 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
/proc/36251/statm: 638719 594975 3334 3035 0 626140 0
[pid=36251/tid=36254] ppid=36248 vsize=2554876 memory=-7522818444154199671 CPUtime=3567.26 cores=0,2
/proc/36251/task/36254/stat : 36254 (fscip) R 36248 36251 35100 0 -1 4194368 7619131 0 0 0 355692 1034 0 0 20 0 3 0 5405990 2616193024 594975 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
[pid=36251/tid=36255] ppid=36248 vsize=2554876 memory=6944656592455359580 CPUtime=0.05 cores=0,2
/proc/36251/task/36255/stat : 36255 (fscip) S 36248 36251 35100 0 -1 1077936192 138 0 0 0 1 4 0 0 20 0 3 0 5405992 2616193024 594975 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
Current children cumulated CPU time: 3567.7 s
Current children cumulated vsize: 2554876 KiB
Current children cumulated memory: 2379900 KiB
[startup+3590.4 s]
/proc/loadavg: 3.11 3.34 3.72 4/238 38174
/proc/meminfo: memFree=123874272/131655788 swapFree=131071216/131071996
[pid=36251] ppid=36248 vsize=2554876 memory=2385028 CPUtime=3574.07 cores=0,2
/proc/36251/stat : 36251 (fscip) S 36248 36251 35100 0 -1 1077936128 7629942 0 0 0 356358 1049 0 0 20 0 3 0 5405982 2616193024 596257 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
/proc/36251/statm: 638719 596257 3334 3035 0 626396 0
[pid=36251/tid=36254] ppid=36248 vsize=2554876 memory=2379444 CPUtime=3573.62 cores=0,2
/proc/36251/task/36254/stat : 36254 (fscip) R 36248 36251 35100 0 -1 4194368 7625530 0 0 0 356326 1036 0 0 20 0 3 0 5405990 2616193024 596257 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
[pid=36251/tid=36255] ppid=36248 vsize=2554876 memory=2379452 CPUtime=0.05 cores=0,2
/proc/36251/task/36255/stat : 36255 (fscip) S 36248 36251 35100 0 -1 1077936192 138 0 0 0 1 4 0 0 20 0 3 0 5405992 2616193024 596257 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
Current children cumulated CPU time: 3574.07 s
Current children cumulated vsize: 2554876 KiB
Current children cumulated memory: 2385028 KiB
[startup+3593.6 s]
/proc/loadavg: 3.10 3.34 3.72 4/238 38175
/proc/meminfo: memFree=123874264/131655788 swapFree=131071216/131071996
[pid=36251] ppid=36248 vsize=2554876 memory=2385040 CPUtime=3577.25 cores=0,2
/proc/36251/stat : 36251 (fscip) S 36248 36251 35100 0 -1 1077936128 7636270 0 0 0 356675 1050 0 0 20 0 3 0 5405982 2616193024 596260 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
/proc/36251/statm: 638719 596260 3334 3035 0 626396 0
[pid=36251/tid=36254] ppid=36248 vsize=2554876 memory=2385040 CPUtime=3576.81 cores=0,2
/proc/36251/task/36254/stat : 36254 (fscip) R 36248 36251 35100 0 -1 4194368 7631858 0 0 0 356644 1037 0 0 20 0 3 0 5405990 2616193024 596260 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
[pid=36251/tid=36255] ppid=36248 vsize=2554876 memory=-7522818444154199676 CPUtime=0.05 cores=0,2
/proc/36251/task/36255/stat : 36255 (fscip) S 36248 36251 35100 0 -1 1077936192 138 0 0 0 1 4 0 0 20 0 3 0 5405992 2616193024 596260 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
Current children cumulated CPU time: 3577.25 s
Current children cumulated vsize: 2554876 KiB
Current children cumulated memory: 2385040 KiB
[startup+3596.8 s]
/proc/loadavg: 3.10 3.34 3.72 4/238 38175
/proc/meminfo: memFree=123872200/131655788 swapFree=131071216/131071996
[pid=36251] ppid=36248 vsize=2554876 memory=2387092 CPUtime=3580.45 cores=0,2
/proc/36251/stat : 36251 (fscip) S 36248 36251 35100 0 -1 1077936128 7641347 0 0 0 356994 1051 0 0 20 0 3 0 5405982 2616193024 596773 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
/proc/36251/statm: 638719 596773 3334 3035 0 626396 0
[pid=36251/tid=36254] ppid=36248 vsize=2554876 memory=140005263924625 CPUtime=3580 cores=0,2
/proc/36251/task/36254/stat : 36254 (fscip) R 36248 36251 35100 0 -1 4194368 7636935 0 0 0 356962 1038 0 0 20 0 3 0 5405990 2616193024 596773 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
[pid=36251/tid=36255] ppid=36248 vsize=2554876 memory=2376996 CPUtime=0.05 cores=0,2
/proc/36251/task/36255/stat : 36255 (fscip) S 36248 36251 35100 0 -1 1077936192 138 0 0 0 1 4 0 0 20 0 3 0 5405992 2616193024 596773 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
Current children cumulated CPU time: 3580.45 s
Current children cumulated vsize: 2554876 KiB
Current children cumulated memory: 2387092 KiB
[startup+3597.6 s]
/proc/loadavg: 3.09 3.33 3.71 4/238 38176
/proc/meminfo: memFree=123872216/131655788 swapFree=131071216/131071996
[pid=36251] ppid=36248 vsize=2554876 memory=2387092 CPUtime=3581.24 cores=0,2
/proc/36251/stat : 36251 (fscip) S 36248 36251 35100 0 -1 1077936128 7641492 0 0 0 357073 1051 0 0 20 0 3 0 5405982 2616193024 596773 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
/proc/36251/statm: 638719 596773 3334 3035 0 626396 0
[pid=36251/tid=36254] ppid=36248 vsize=2554876 memory=5492 CPUtime=3580.8 cores=0,2
/proc/36251/task/36254/stat : 36254 (fscip) R 36248 36251 35100 0 -1 4194368 7637080 0 0 0 357042 1038 0 0 20 0 3 0 5405990 2616193024 596773 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
[pid=36251/tid=36255] ppid=36248 vsize=2554876 memory=11516 CPUtime=0.05 cores=0,2
/proc/36251/task/36255/stat : 36255 (fscip) S 36248 36251 35100 0 -1 1077936192 138 0 0 0 1 4 0 0 20 0 3 0 5405992 2616193024 596773 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
Current children cumulated CPU time: 3581.24 s
Current children cumulated vsize: 2554876 KiB
Current children cumulated memory: 2387092 KiB
[startup+3598.4 s]
/proc/loadavg: 3.09 3.33 3.71 3/234 38178
/proc/meminfo: memFree=125973344/131655788 swapFree=131071216/131071996
[pid=36251] ppid=36248 vsize=2554876 memory=2389140 CPUtime=3582.04 cores=0,2
/proc/36251/stat : 36251 (fscip) S 36248 36251 35100 0 -1 1077936128 7697159 0 0 0 357150 1054 0 0 20 0 3 0 5405982 2616193024 597285 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
/proc/36251/statm: 638719 597285 3334 3035 0 626396 0
[pid=36251/tid=36254] ppid=36248 vsize=2554876 memory=1506420 CPUtime=3581.59 cores=0,2
/proc/36251/task/36254/stat : 36254 (fscip) R 36248 36251 35100 0 -1 4194368 7692746 0 0 0 357118 1041 0 0 20 0 3 0 5405990 2616193024 597285 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
[pid=36251/tid=36255] ppid=36248 vsize=2554876 memory=-7522818444154199671 CPUtime=0.05 cores=0,2
/proc/36251/task/36255/stat : 36255 (fscip) S 36248 36251 35100 0 -1 1077936192 138 0 0 0 1 4 0 0 20 0 3 0 5405992 2616193024 597285 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
Current children cumulated CPU time: 3582.04 s
Current children cumulated vsize: 2554876 KiB
Current children cumulated memory: 2389140 KiB
[startup+3598.8 s]
/proc/loadavg: 3.09 3.33 3.71 3/234 38178
/proc/meminfo: memFree=125973344/131655788 swapFree=131071216/131071996
[pid=36251] ppid=36248 vsize=2548708 memory=2382980 CPUtime=3582.44 cores=0,2
/proc/36251/stat : 36251 (fscip) S 36248 36251 35100 0 -1 1077936128 7708543 0 0 0 357189 1055 0 0 20 0 3 0 5405982 2609876992 595745 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
/proc/36251/statm: 637177 595745 3334 3035 0 624854 0
[pid=36251/tid=36254] ppid=36248 vsize=2548708 memory=2188 CPUtime=3581.99 cores=0,2
/proc/36251/task/36254/stat : 36254 (fscip) R 36248 36251 35100 0 -1 4194368 7704130 0 0 0 357157 1042 0 0 20 0 3 0 5405990 2609876992 595745 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
[pid=36251/tid=36255] ppid=36248 vsize=2548708 memory=-7522818444154199676 CPUtime=0.05 cores=0,2
/proc/36251/task/36255/stat : 36255 (fscip) S 36248 36251 35100 0 -1 1077936192 138 0 0 0 1 4 0 0 20 0 3 0 5405992 2609876992 595745 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
Current children cumulated CPU time: 3582.44 s
Current children cumulated vsize: 2548708 KiB
Current children cumulated memory: 2382980 KiB
[startup+3598.9 s]
/proc/loadavg: 3.09 3.33 3.71 3/234 38178
/proc/meminfo: memFree=125973344/131655788 swapFree=131071216/131071996
[pid=36251] ppid=36248 vsize=1939724 memory=1666528 CPUtime=3582.53 cores=0,2
/proc/36251/stat : 36251 (fscip) S 36248 36251 35100 0 -1 1077936128 7709547 0 0 0 357197 1056 0 0 20 0 3 0 5405982 1986277376 417656 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
/proc/36251/statm: 484931 417144 3334 3035 0 472608 0
[pid=36251/tid=36254] ppid=36248 vsize=1939724 memory=11516 CPUtime=3582.09 cores=0,2
/proc/36251/task/36254/stat : 36254 (fscip) R 36248 36251 35100 0 -1 4194368 7705134 0 0 0 357166 1043 0 0 20 0 3 0 5405990 1986277376 416120 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
[pid=36251/tid=36255] ppid=36248 vsize=1939724 memory=2387092 CPUtime=0.05 cores=0,2
/proc/36251/task/36255/stat : 36255 (fscip) S 36248 36251 35100 0 -1 1077936192 138 0 0 0 1 4 0 0 20 0 3 0 5405992 1986277376 415608 134679101440 4194304 16623229 140721577556928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56184832 140721577559066 140721577559182 140721577559182 140721577566192 0
Current children cumulated CPU time: 3582.53 s
Current children cumulated vsize: 1939724 KiB
Current children cumulated memory: 1666528 KiB
Child status: 0
Real time (s): 3598.94
CPU time (s): 3582.59
CPU user time (s): 3571.99
CPU system time (s): 10.6002
CPU usage (%): 99.5455
Max. virtual memory (cumulated for all children) (KiB): 2554876
Max. memory (cumulated for all children) (KiB): 2389140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.99
system time used= 10.6002
maximum resident set size= 2389140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7709930
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= 10793
involuntary context switches= 25157
# summary of solver processes directly reported to runsolver:
# pid: 36251
# total CPU time (s): 3582.59
# total CPU user time (s): 3571.99
# total CPU system time (s): 10.6002
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4244 second user time and 35.3815 second system time
The end
Begin job on nodeC007 at 2024-07-31 03:45:54
IDJOB=4464557
IDBENCH=176095
IDSOLVER=3092
FILE ID=nodeC007/4464557-1722390354
RUNJOBID= nodeC007-1722390349-35751
SLURM_JOB_ID= 8249877
Free space on /tmp= 723712 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=8-t=6.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-4464557-1722390354/watcher-4464557-1722390354 -o /tmp/evaluation-result-4464557-1722390354/solver-4464557-1722390354 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722390349-35751 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464557-1722390354.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 452542b5617bc71813112a35665296a2
RANDOM SEED=1378110229
nodeC007.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 : 0xb00001f
cpu MHz : 1197.186
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.58
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 : 0xb00001f
cpu MHz : 3656.614
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
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 : 0xb00001f
cpu MHz : 1197.365
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.58
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 : 0xb00001f
cpu MHz : 1197.285
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
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 : 0xb00001f
cpu MHz : 1696.014
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.58
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 : 0xb00001f
cpu MHz : 1197.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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
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 : 0xb00001f
cpu MHz : 1197.487
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.58
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 : 0xb00001f
cpu MHz : 1197.255
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 129720064 kB
MemAvailable: 130017300 kB
Buffers: 100472 kB
Cached: 1035800 kB
SwapCached: 100 kB
Active: 267340 kB
Inactive: 1245348 kB
Active(anon): 1480 kB
Inactive(anon): 396008 kB
Active(file): 265860 kB
Inactive(file): 849340 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 118248 kB
Writeback: 0 kB
AnonPages: 376336 kB
Mapped: 111728 kB
Shmem: 21076 kB
KReclaimable: 44472 kB
Slab: 120756 kB
SReclaimable: 44472 kB
SUnreclaim: 76284 kB
KernelStack: 3840 kB
PageTables: 9788 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 671688 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6496 kB
HardwareCorrupted: 0 kB
AnonHugePages: 135168 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: 174920 kB
DirectMap2M: 7069696 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 723692 MiB
End job on nodeC007 at 2024-07-31 04:45:53