0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 24408064, getVmSize() = 24408064, SCIPgetMemUsed() = 2290933, SCIPgetMemTotal() = 2870589, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.02 c ** Estimated virtualMemUsedAtSolver = 17898154, getVmSize() = 29286400, SCIPgetMemUsed() = 3237676, SCIPgetMemTotal() = 6406084, SCIPgetMemExternEstim() = 1048576
0.00/0.02 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.02 c Original Problem :
0.00/0.02 c Problem name : instance-4434647-1721084942
0.00/0.02 c Variables : 467 (467 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 466
0.00/0.02 c Objective sense : minimize
0.00/0.02 c Presolved Problem :
0.00/0.02 c Variables : 467 (467 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 519
0.00/0.02 c Constraints : Number
0.00/0.02 c knapsack : 424
0.00/0.02 c setppc : 78
0.00/0.02 c logicor : 17
0.00/0.02 c ** Instance transfer method used: 0
0.00/0.02 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.03 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.03 c Nodes Active
0.00/0.03 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.00/0.09 c * 0 0 1 1 223.0000 - -
0.00/0.09 c * 0 0 1 1 209.0000 - -
5.57/5.68 c 6 3 2 1 209.0000 156.7314 33.35%
11.65/11.70 c 12 9 8 1 209.0000 156.7681 33.32%
17.05/17.19 c * 17 14 13 1 207.0000 156.7681 32.04%
17.05/17.19 c 17 14 13 1 207.0000 156.7681 32.04%
17.05/17.19 c * 17 14 13 1 204.0000 156.7681 30.13%
17.05/17.19 c * 17 14 13 1 200.0000 156.7681 27.58%
17.05/17.19 c * 17 14 13 1 198.0000 156.7681 26.30%
17.05/17.19 c * 17 14 13 1 197.0000 156.7681 25.66%
17.05/17.19 c * 17 14 13 1 196.0000 156.7681 25.03%
17.13/17.20 c * 17 14 13 1 195.0000 156.7681 24.39%
22.42/22.51 c 23 87 86 1 195.0000 156.8237 24.34%
28.70/28.84 c 29 181 180 1 195.0000 156.8273 24.34%
34.19/34.38 c 34 259 258 1 195.0000 156.8273 24.34%
35.68/35.81 c * 36 265 264 1 194.0000 156.8273 23.70%
38.76/38.99 c * 39 300 299 1 193.0000 156.8273 23.07%
38.76/38.99 c * 39 300 299 1 191.0000 156.8273 21.79%
38.88/39.02 c * 39 308 307 1 190.0000 156.8273 21.15%
40.16/40.34 c 40 323 322 1 190.0000 156.8273 21.15%
45.74/45.97 c 46 402 401 1 190.0000 156.8273 21.15%
50.94/51.13 c 51 472 471 1 190.0000 156.8273 21.15%
56.31/56.54 c 57 538 537 1 190.0000 156.8273 21.15%
61.60/61.89 c 62 604 603 1 190.0000 156.8273 21.15%
67.08/67.37 c 67 672 671 1 190.0000 156.8273 21.15%
72.46/72.78 c 73 740 739 1 190.0000 156.8273 21.15%
78.44/78.76 c 79 820 819 1 190.0000 156.8273 21.15%
84.02/84.32 c 84 920 919 1 190.0000 156.8273 21.15%
89.51/89.82 c 90 1005 1004 1 190.0000 156.8273 21.15%
96.28/96.63 c 97 1051 1 1 190.0000 156.8484 21.14%
101.46/101.87 c 102 1062 12 1 190.0000 156.9397 21.07%
106.94/107.37 c 107 1121 71 1 190.0000 156.9759 21.04%
112.13/112.59 c 113 1185 135 1 190.0000 156.9963 21.02%
118.10/118.53 c 119 1241 191 1 190.0000 156.9963 21.02%
119.00/119.49 c * 119 1241 191 1 189.0000 156.9963 20.38%
124.28/124.74 c 125 1289 239 1 189.0000 156.9963 20.38%
129.76/130.26 c 130 1341 291 1 189.0000 156.9964 20.38%
135.95/136.43 c 136 1454 404 1 189.0000 156.9964 20.38%
141.13/141.66 c 142 1694 602 1 189.0000 157.1524 20.27%
146.91/147.42 c 147 1885 713 1 189.0000 157.2523 20.19%
152.61/153.14 c 153 2141 813 1 189.0000 157.3598 20.11%
157.59/158.17 c 158 2501 881 1 189.0000 157.3771 20.09%
163.85/164.40 c 164 2765 947 1 189.0000 157.4186 20.06%
163.95/164.52 c * 165 2765 947 1 187.0000 157.4186 18.79%
169.33/170.01 c * 170 3101 981 1 186.0000 157.4479 18.13%
169.33/170.01 c 170 3101 981 1 186.0000 157.4479 18.13%
175.30/176.01 c 176 3544 1132 1 186.0000 157.4769 18.11%
180.58/181.22 c 181 3882 1262 1 186.0000 157.4990 18.10%
185.96/186.69 c 187 4221 1349 1 186.0000 157.5148 18.08%
191.64/192.33 c 192 4621 1437 1 186.0000 157.5308 18.07%
197.44/198.11 c 198 4785 1501 1 186.0000 157.5353 18.07%
203.10/203.84 c 204 5251 1613 1 186.0000 157.5694 18.04%
208.49/209.28 c 209 5586 1730 1 186.0000 157.5741 18.04%
213.87/214.65 c 215 5922 1822 1 186.0000 157.5917 18.03%
219.26/220.10 c 220 6305 1893 1 186.0000 157.6219 18.00%
224.35/225.18 c 225 6631 1979 1 186.0000 157.6397 17.99%
229.52/230.34 c 230 6911 2055 1 186.0000 157.6554 17.98%
234.60/235.43 c 235 7175 2127 1 186.0000 157.6628 17.97%
240.48/241.38 c 241 7591 2221 1 186.0000 157.6715 17.97%
246.19/247.02 c 247 7971 2325 1 186.0000 157.7015 17.94%
252.06/252.98 c 253 8230 2436 1 186.0000 157.7096 17.94%
257.63/258.53 c 259 8431 2511 1 186.0000 157.7149 17.93%
263.41/264.34 c 264 8821 2593 1 186.0000 157.7199 17.93%
269.11/270.04 c 270 9091 2673 1 186.0000 157.7361 17.92%
274.09/275.05 c 275 9391 2743 1 186.0000 157.7496 17.91%
279.26/280.22 c 280 9552 2830 1 186.0000 157.7700 17.89%
285.93/287.00 c 287 9815 2903 1 186.0000 157.7790 17.89%
291.71/292.70 c 293 10066 3008 1 186.0000 157.8068 17.87%
297.39/298.46 c 298 10461 3137 1 186.0000 157.8134 17.86%
298.59/299.68 c * 300 10480 3154 1 185.0000 157.8134 17.23%
302.87/303.96 c 304 10751 3100 1 185.0000 157.8250 17.22%
308.45/309.53 c 310 10991 3182 1 185.0000 157.8393 17.21%
313.72/314.86 c 315 11296 3231 1 185.0000 157.8515 17.20%
319.41/320.59 c 321 11511 3312 1 185.0000 157.8593 17.19%
324.90/326.02 c 326 11718 3405 1 185.0000 157.8708 17.18%
330.36/331.59 c 332 11961 3460 1 185.0000 157.8787 17.18%
336.14/337.38 c 337 12278 3553 1 185.0000 157.8890 17.17%
342.02/343.21 c 343 12459 3630 1 185.0000 157.9060 17.16%
347.40/348.64 c 349 12683 3672 1 185.0000 157.9084 17.16%
352.68/353.94 c 354 12815 3728 1 185.0000 157.9189 17.15%
358.06/359.32 c 359 12945 3780 1 185.0000 157.9275 17.14%
364.54/365.84 c 366 13105 3822 1 185.0000 157.9293 17.14%
370.12/371.46 c 371 13281 3872 1 185.0000 157.9334 17.14%
375.30/376.65 c 377 13491 3916 1 185.0000 157.9370 17.14%
381.19/382.59 c 383 13665 3968 1 185.0000 157.9380 17.13%
386.78/388.13 c 388 13895 4050 1 185.0000 157.9422 17.13%
392.95/394.35 c 394 14145 4106 1 185.0000 157.9442 17.13%
398.83/400.24 c 400 14345 4170 1 185.0000 157.9485 17.13%
404.00/405.43 c 405 14481 4204 1 185.0000 157.9538 17.12%
409.09/410.59 c 411 14601 4252 1 185.0000 157.9586 17.12%
414.68/416.14 c 416 14725 4296 1 185.0000 157.9656 17.11%
420.66/422.11 c 422 14905 4354 1 185.0000 157.9733 17.11%
425.94/427.42 c 427 15005 4392 1 185.0000 157.9772 17.11%
431.32/432.83 c 433 15133 4454 1 185.0000 157.9837 17.10%
436.90/438.49 c 438 15359 4476 1 185.0000 157.9861 17.10%
442.60/444.12 c 444 15525 4522 1 185.0000 157.9891 17.10%
447.58/449.17 c 449 15651 4558 1 185.0000 157.9946 17.09%
452.75/454.35 c 454 15725 4596 1 185.0000 157.9955 17.09%
458.13/459.78 c 460 15945 4648 1 185.0000 158.0005 17.09%
464.81/466.48 c 466 16105 4708 1 185.0000 158.0028 17.09%
469.90/471.55 c 472 16191 4754 1 185.0000 158.0090 17.08%
475.18/476.80 c 477 16295 4814 1 185.0000 158.0124 17.08%
481.47/483.13 c 483 16475 4894 1 185.0000 158.0144 17.08%
486.84/488.52 c 489 16644 4939 1 185.0000 158.0144 17.08%
492.52/494.23 c 494 16785 4982 1 185.0000 158.0177 17.08%
497.71/499.43 c 499 16931 5024 1 185.0000 158.0302 17.07%
503.20/505.01 c 505 17034 5087 1 185.0000 158.0321 17.06%
508.39/510.14 c 510 17155 5124 1 185.0000 158.0371 17.06%
513.96/515.73 c 516 17302 5183 1 185.0000 158.0396 17.06%
520.04/521.86 c 522 17551 5274 1 185.0000 158.0411 17.06%
525.72/527.52 c 528 17801 5370 1 185.0000 158.0440 17.06%
531.51/533.37 c 533 17921 5454 1 185.0000 158.0517 17.05%
536.49/538.39 c 538 18141 5518 1 185.0000 158.0571 17.05%
542.37/544.22 c 544 18304 5585 1 185.0000 158.0604 17.04%
547.86/549.70 c 550 18541 5630 1 185.0000 158.0655 17.04%
553.25/555.11 c 555 18715 5712 1 185.0000 158.0664 17.04%
558.42/560.34 c 560 18915 5778 1 185.0000 158.0674 17.04%
565.00/566.94 c 567 19135 5864 1 185.0000 158.0741 17.03%
570.48/572.48 c 572 19563 5944 1 185.0000 158.0765 17.03%
576.18/578.11 c 578 19821 6006 1 185.0000 158.0828 17.03%
581.16/583.16 c 583 19921 6052 1 185.0000 158.0844 17.03%
586.93/589.01 c 589 20035 6116 1 185.0000 158.0918 17.02%
592.51/594.51 c 595 20260 6167 1 185.0000 158.0985 17.02%
598.49/600.57 c 601 20425 6238 1 185.0000 158.1021 17.01%
603.87/605.97 c 606 20621 6278 1 185.0000 158.1028 17.01%
609.65/611.72 c 612 20735 6332 1 185.0000 158.1055 17.01%
615.34/617.48 c 617 20865 6382 1 185.0000 158.1098 17.01%
620.52/622.68 c 623 21004 6437 1 185.0000 158.1111 17.01%
626.30/628.45 c 628 21125 6496 1 185.0000 158.1164 17.00%
631.79/633.98 c 634 21305 6550 1 185.0000 158.1261 17.00%
637.58/639.72 c 640 21474 6617 1 185.0000 158.1281 16.99%
643.56/645.78 c 646 21765 6714 1 185.0000 158.1378 16.99%
649.44/651.61 c 652 21955 6784 1 185.0000 158.1414 16.98%
654.93/657.13 c 657 22202 6847 1 185.0000 158.1440 16.98%
660.81/663.07 c 663 22395 6908 1 185.0000 158.1465 16.98%
665.98/668.21 c 668 22591 6972 1 185.0000 158.1488 16.98%
672.16/674.43 c 674 22821 7040 1 185.0000 158.1554 16.97%
677.54/679.88 c 680 23103 7134 1 185.0000 158.1571 16.97%
683.93/686.24 c 686 23355 7194 1 185.0000 158.1599 16.97%
690.31/692.60 c 693 23475 7232 1 185.0000 158.1622 16.97%
695.81/698.11 c 698 23715 7280 1 185.0000 158.1659 16.97%
700.79/703.19 c 703 23951 7318 1 185.0000 158.1681 16.96%
706.26/708.65 c 709 24095 7378 1 185.0000 158.1710 16.96%
711.85/714.26 c 714 24365 7468 1 185.0000 158.1740 16.96%
716.93/719.34 c 719 24541 7510 1 185.0000 158.1770 16.96%
722.51/725.01 c 725 24655 7564 1 185.0000 158.1787 16.96%
728.98/731.45 c 731 24895 7632 1 185.0000 158.1794 16.96%
734.07/736.56 c 737 25065 7680 1 185.0000 158.1817 16.95%
739.56/742.08 c 742 25235 7754 1 185.0000 158.1826 16.95%
744.64/747.14 c 747 25391 7810 1 185.0000 158.1863 16.95%
750.11/752.62 c 753 25565 7874 1 185.0000 158.1916 16.95%
755.10/757.66 c 758 25811 7956 1 185.0000 158.1928 16.95%
760.88/763.40 c 763 25925 8022 1 185.0000 158.1976 16.94%
766.16/768.74 c 769 26122 8067 1 185.0000 158.2015 16.94%
772.25/774.83 c 775 26245 8126 1 185.0000 158.2070 16.94%
777.73/780.36 c 780 26365 8182 1 185.0000 158.2108 16.93%
783.21/785.81 c 786 26611 8260 1 185.0000 158.2144 16.93%
788.41/791.05 c 791 26691 8306 1 185.0000 158.2167 16.93%
794.39/797.02 c 797 26842 8393 1 185.0000 158.2233 16.92%
799.37/802.06 c 802 26961 8438 1 185.0000 158.2292 16.92%
804.54/807.27 c 807 27075 8476 1 185.0000 158.2322 16.92%
809.62/812.34 c 812 27265 8544 1 185.0000 158.2405 16.91%
815.42/818.13 c 818 27485 8596 1 185.0000 158.2452 16.91%
821.19/823.90 c 824 27741 8682 1 185.0000 158.2478 16.91%
826.47/829.20 c 829 27941 8736 1 185.0000 158.2488 16.90%
831.65/834.42 c 834 28091 8782 1 185.0000 158.2498 16.90%
837.25/840.07 c 840 28245 8852 1 185.0000 158.2520 16.90%
842.72/845.60 c 846 28375 8908 1 185.0000 158.2533 16.90%
848.21/851.10 c 851 28601 8956 1 185.0000 158.2565 16.90%
854.19/857.04 c 857 28758 9017 1 185.0000 158.2612 16.90%
860.06/862.90 c 863 28965 9080 1 185.0000 158.2628 16.89%
865.44/868.37 c 868 29115 9144 1 185.0000 158.2688 16.89%
871.32/874.27 c 874 29275 9202 1 185.0000 158.2713 16.89%
876.71/879.65 c 880 29435 9246 1 185.0000 158.2730 16.89%
881.79/884.75 c 885 29671 9298 1 185.0000 158.2792 16.88%
886.88/889.81 c 890 29871 9372 1 185.0000 158.2848 16.88%
892.18/895.19 c 895 30049 9428 1 185.0000 158.2867 16.88%
897.25/900.25 c 900 30185 9498 1 185.0000 158.2897 16.87%
902.33/905.30 c 905 30351 9550 1 185.0000 158.2943 16.87%
908.91/911.92 c 912 30505 9622 1 185.0000 158.2978 16.87%
914.11/917.15 c 917 30654 9687 1 185.0000 158.3014 16.87%
919.47/922.56 c 923 30841 9746 1 185.0000 158.3028 16.86%
925.07/928.19 c 928 30978 9801 1 185.0000 158.3057 16.86%
931.14/934.28 c 934 31155 9854 1 185.0000 158.3093 16.86%
936.82/939.93 c 940 31301 9926 1 185.0000 158.3104 16.86%
942.30/945.46 c 945 31505 10002 1 185.0000 158.3156 16.86%
948.28/951.44 c 951 31595 10048 1 185.0000 158.3177 16.85%
953.56/956.73 c 957 31811 10098 1 185.0000 158.3204 16.85%
958.96/962.11 c 962 31935 10156 1 185.0000 158.3237 16.85%
964.73/967.92 c 968 32183 10216 1 185.0000 158.3242 16.85%
970.02/973.29 c 973 32341 10262 1 185.0000 158.3254 16.85%
975.29/978.58 c 979 32491 10310 1 185.0000 158.3277 16.85%
980.38/983.61 c 984 32611 10366 1 185.0000 158.3297 16.84%
985.77/989.07 c 989 32771 10396 1 185.0000 158.3336 16.84%
990.95/994.20 c 994 32981 10452 1 185.0000 158.3342 16.84%
995.94/999.23 c 999 33111 10496 1 185.0000 158.3360 16.84%
1001.02/1004.30 c 1004 33191 10550 1 185.0000 158.3423 16.84%
1006.20/1009.57 c 1010 33361 10602 1 185.0000 158.3441 16.83%
1011.99/1015.31 c 1015 33465 10654 1 185.0000 158.3465 16.83%
1017.07/1020.48 c 1020 33651 10694 1 185.0000 158.3498 16.83%
1022.25/1025.67 c 1026 33760 10739 1 185.0000 158.3523 16.83%
1027.44/1030.89 c 1031 33911 10808 1 185.0000 158.3558 16.83%
1033.32/1036.73 c 1037 34170 10889 1 185.0000 158.3589 16.82%
1038.80/1042.22 c 1042 34425 10936 1 185.0000 158.3620 16.82%
1044.49/1047.91 c 1048 34605 11000 1 185.0000 158.3642 16.82%
1049.58/1053.01 c 1053 34872 11063 1 185.0000 158.3649 16.82%
1055.05/1058.59 c 1059 35159 11110 1 185.0000 158.3666 16.82%
1060.55/1064.02 c 1064 35290 11171 1 185.0000 158.3707 16.81%
1066.22/1069.73 c 1070 35455 11238 1 185.0000 158.3765 16.81%
1071.30/1074.80 c 1075 35665 11312 1 185.0000 158.3783 16.81%
1076.78/1080.36 c 1080 35891 11370 1 185.0000 158.3799 16.81%
1082.48/1086.08 c 1086 36161 11456 1 185.0000 158.3828 16.81%
1088.05/1091.62 c 1092 36305 11512 1 185.0000 158.3841 16.80%
1094.03/1097.61 c 1098 36535 11558 1 185.0000 158.3873 16.80%
1099.52/1103.13 c 1103 36691 11614 1 185.0000 158.3897 16.80%
1105.98/1109.66 c 1110 36855 11680 1 185.0000 158.3913 16.80%
1110.96/1114.68 c 1115 37095 11730 1 185.0000 158.3919 16.80%
1116.64/1120.38 c 1120 37275 11794 1 185.0000 158.3945 16.80%
1121.82/1125.58 c 1126 37435 11858 1 185.0000 158.3988 16.79%
1127.60/1131.32 c 1131 37625 11912 1 185.0000 158.4042 16.79%
1132.78/1136.52 c 1137 37795 11956 1 185.0000 158.4062 16.79%
1138.56/1142.36 c 1142 37945 12002 1 185.0000 158.4099 16.79%
1144.44/1148.28 c 1148 38049 12060 1 185.0000 158.4134 16.78%
1149.42/1153.29 c 1153 38211 12136 1 185.0000 158.4148 16.78%
1155.49/1159.30 c 1159 38495 12186 1 185.0000 158.4149 16.78%
1161.07/1164.94 c 1165 38771 12226 1 185.0000 158.4161 16.78%
1166.16/1170.05 c 1170 39051 12264 1 185.0000 158.4182 16.78%
1171.43/1175.33 c 1175 39235 12330 1 185.0000 158.4194 16.78%
1177.02/1180.92 c 1181 39455 12388 1 185.0000 158.4220 16.78%
1182.21/1186.18 c 1186 39611 12454 1 185.0000 158.4253 16.77%
1187.58/1191.56 c 1192 39721 12510 1 185.0000 158.4277 16.77%
1192.56/1196.59 c 1197 39812 12565 1 185.0000 158.4302 16.77%
1197.94/1201.93 c 1202 39971 12618 1 185.0000 158.4330 16.77%
1203.33/1207.32 c 1207 40090 12671 1 185.0000 158.4369 16.77%
1208.41/1212.45 c 1212 40285 12724 1 185.0000 158.4388 16.76%
1214.29/1218.38 c 1218 40591 12786 1 185.0000 158.4420 16.76%
1219.48/1223.53 c 1224 40789 12846 1 185.0000 158.4434 16.76%
1224.57/1228.62 c 1229 41040 12889 1 185.0000 158.4441 16.76%
1229.85/1233.91 c 1234 41289 12938 1 185.0000 158.4449 16.76%
1235.83/1239.97 c 1240 41395 12996 1 185.0000 158.4470 16.76%
1241.51/1245.64 c 1246 41611 13050 1 185.0000 158.4495 16.76%
1247.09/1251.28 c 1251 41770 13113 1 185.0000 158.4536 16.75%
1252.47/1256.69 c 1257 42011 13180 1 185.0000 158.4566 16.75%
1258.56/1262.77 c 1263 42185 13240 1 185.0000 158.4570 16.75%
1263.95/1268.18 c 1268 42381 13302 1 185.0000 158.4599 16.75%
1269.52/1273.76 c 1274 42571 13354 1 185.0000 158.4643 16.75%
1274.82/1279.02 c 1279 42851 13410 1 185.0000 158.4670 16.74%
1279.81/1284.06 c 1284 42965 13452 1 185.0000 158.4680 16.74%
1285.18/1289.48 c 1289 43225 13494 1 185.0000 158.4714 16.74%
1290.96/1295.22 c 1295 43541 13556 1 185.0000 158.4733 16.74%
1296.75/1301.10 c 1301 43681 13620 1 185.0000 158.4765 16.74%
1302.73/1307.01 c 1307 43871 13674 1 185.0000 158.4789 16.73%
1308.20/1312.53 c 1313 44131 13736 1 185.0000 158.4809 16.73%
1313.59/1317.96 c 1318 44315 13794 1 185.0000 158.4826 16.73%
1319.47/1323.86 c 1324 44481 13864 1 185.0000 158.4876 16.73%
1324.95/1329.37 c 1329 44655 13908 1 185.0000 158.4899 16.73%
1329.93/1334.39 c 1334 44825 13976 1 185.0000 158.4908 16.73%
1335.73/1340.18 c 1340 45025 14026 1 185.0000 158.4918 16.73%
1341.00/1345.47 c 1345 45241 14088 1 185.0000 158.4928 16.72%
1346.48/1350.95 c 1351 45386 14141 1 185.0000 158.4937 16.72%
1351.97/1356.47 c 1356 45491 14186 1 185.0000 158.4955 16.72%
1357.67/1362.12 c 1362 45762 14259 1 185.0000 158.4984 16.72%
1362.65/1367.15 c 1367 46031 14306 1 185.0000 158.5004 16.72%
1368.53/1373.10 c 1373 46245 14392 1 185.0000 158.5025 16.72%
1374.10/1378.62 c 1379 46405 14462 1 185.0000 158.5044 16.72%
1379.28/1383.84 c 1384 46721 14526 1 185.0000 158.5056 16.72%
1384.77/1389.36 c 1389 46971 14584 1 185.0000 158.5077 16.71%
1389.75/1394.39 c 1394 47155 14650 1 185.0000 158.5085 16.71%
1395.54/1400.12 c 1400 47355 14700 1 185.0000 158.5099 16.71%
1401.42/1406.01 c 1406 47571 14762 1 185.0000 158.5121 16.71%
1406.40/1411.02 c 1411 47696 14825 1 185.0000 158.5135 16.71%
1411.48/1416.13 c 1416 47931 14862 1 185.0000 158.5149 16.71%
1416.55/1421.22 c 1421 48181 14958 1 185.0000 158.5163 16.71%
1421.94/1426.60 c 1427 48391 15024 1 185.0000 158.5183 16.71%
1427.33/1432.08 c 1432 48505 15094 1 185.0000 158.5189 16.71%
1432.42/1437.12 c 1437 48651 15160 1 185.0000 158.5205 16.70%
1437.88/1442.62 c 1443 48771 15222 1 185.0000 158.5210 16.70%
1443.07/1447.85 c 1448 48865 15270 1 185.0000 158.5215 16.70%
1449.05/1453.82 c 1454 49074 15337 1 185.0000 158.5232 16.70%
1454.83/1459.63 c 1460 49292 15393 1 185.0000 158.5250 16.70%
1459.81/1464.65 c 1465 49500 15447 1 185.0000 158.5267 16.70%
1465.21/1470.04 c 1470 49665 15514 1 185.0000 158.5283 16.70%
1470.48/1475.39 c 1475 49851 15562 1 185.0000 158.5305 16.70%
1476.36/1481.26 c 1481 50100 15625 1 185.0000 158.5327 16.70%
1481.64/1486.53 c 1487 50311 15660 1 185.0000 158.5348 16.69%
1486.64/1491.58 c 1492 50481 15726 1 185.0000 158.5370 16.69%
1492.02/1496.92 c 1497 50608 15801 1 185.0000 158.5383 16.69%
1497.11/1502.03 c 1502 50931 15868 1 185.0000 158.5399 16.69%
1502.98/1507.92 c 1508 51175 15932 1 185.0000 158.5403 16.69%
1508.67/1513.66 c 1514 51435 16000 1 185.0000 158.5418 16.69%
1514.45/1519.48 c 1519 51605 16060 1 185.0000 158.5430 16.69%
1520.04/1525.06 c 1525 51875 16104 1 185.0000 158.5444 16.69%
1526.21/1531.26 c 1531 52045 16172 1 185.0000 158.5472 16.68%
1531.90/1537.01 c 1537 52225 16230 1 185.0000 158.5477 16.68%
1536.98/1542.03 c 1542 52361 16270 1 185.0000 158.5492 16.68%
1542.07/1547.14 c 1547 52481 16318 1 185.0000 158.5506 16.68%
1547.24/1552.35 c 1552 52631 16376 1 185.0000 158.5517 16.68%
1552.32/1557.48 c 1557 52801 16460 1 185.0000 158.5536 16.68%
1558.20/1563.35 c 1563 53043 16506 1 185.0000 158.5548 16.68%
1563.19/1568.39 c 1568 53315 16546 1 185.0000 158.5560 16.68%
1568.67/1573.82 c 1574 53435 16606 1 185.0000 158.5578 16.68%
1574.05/1579.26 c 1579 53609 16666 1 185.0000 158.5597 16.68%
1579.34/1584.53 c 1585 53761 16718 1 185.0000 158.5622 16.67%
1585.13/1590.34 c 1590 53955 16780 1 185.0000 158.5647 16.67%
1591.01/1596.21 c 1596 54131 16844 1 185.0000 158.5665 16.67%
1596.49/1601.70 c 1602 54351 16898 1 185.0000 158.5699 16.67%
1601.97/1607.27 c 1607 54610 16963 1 185.0000 158.5719 16.67%
1607.16/1612.44 c 1612 54855 17018 1 185.0000 158.5746 16.66%
1613.33/1618.65 c 1619 55145 17084 1 185.0000 158.5772 16.66%
1619.02/1624.34 c 1624 55315 17160 1 185.0000 158.5799 16.66%
1624.40/1629.74 c 1630 55491 17216 1 185.0000 158.5805 16.66%
1630.18/1635.54 c 1636 55650 17293 1 185.0000 158.5815 16.66%
1635.56/1640.96 c 1641 55871 17342 1 185.0000 158.5860 16.66%
1641.66/1647.09 c 1647 56015 17420 1 185.0000 158.5868 16.66%
1647.65/1653.10 c 1653 56187 17488 1 185.0000 158.5902 16.65%
1653.42/1658.81 c 1659 56435 17526 1 185.0000 158.5919 16.65%
1658.80/1664.23 c 1664 56691 17604 1 185.0000 158.5937 16.65%
1663.88/1669.32 c 1669 56821 17668 1 185.0000 158.5953 16.65%
1669.26/1674.79 c 1675 57081 17728 1 185.0000 158.5963 16.65%
1674.85/1680.33 c 1680 57225 17780 1 185.0000 158.5971 16.65%
1680.13/1685.67 c 1686 57401 17850 1 185.0000 158.5991 16.65%
1685.21/1690.76 c 1691 57499 17914 1 185.0000 158.6011 16.64%
1690.20/1695.79 c 1696 57635 17972 1 185.0000 158.6030 16.64%
1695.59/1701.15 c 1701 58061 18010 1 185.0000 158.6053 16.64%
1701.36/1706.99 c 1707 58196 18071 1 185.0000 158.6064 16.64%
1706.35/1712.01 c 1712 58355 18126 1 185.0000 158.6101 16.64%
1711.83/1717.46 c 1717 58628 18197 1 185.0000 158.6116 16.64%
1716.91/1722.57 c 1723 58921 18228 1 185.0000 158.6136 16.64%
1722.60/1728.24 c 1728 59071 18286 1 185.0000 158.6145 16.64%
1728.49/1734.16 c 1734 59221 18352 1 185.0000 158.6160 16.63%
1733.86/1739.52 c 1740 59471 18408 1 185.0000 158.6166 16.63%
1739.74/1745.45 c 1745 59688 18487 1 185.0000 158.6174 16.63%
1745.13/1750.89 c 1751 59881 18530 1 185.0000 158.6199 16.63%
1750.81/1756.58 c 1757 60015 18600 1 185.0000 158.6226 16.63%
1755.89/1761.61 c 1762 60194 18663 1 185.0000 158.6245 16.63%
1761.08/1766.83 c 1767 60371 18728 1 185.0000 158.6252 16.63%
1766.86/1772.69 c 1773 60679 18802 1 185.0000 158.6257 16.63%
1772.64/1778.44 c 1778 60931 18868 1 185.0000 158.6270 16.63%
1778.52/1784.38 c 1784 61265 18922 1 185.0000 158.6279 16.63%
1784.40/1790.29 c 1790 61541 18978 1 185.0000 158.6300 16.62%
1789.78/1795.69 c 1796 61736 19039 1 185.0000 158.6303 16.62%
1795.57/1801.48 c 1801 61921 19104 1 185.0000 158.6318 16.62%
1800.75/1806.62 c 1807 62115 19162 1 185.0000 158.6329 16.62%
1805.74/1811.65 c 1812 62215 19220 1 185.0000 158.6345 16.62%
1810.82/1816.76 c 1817 62449 19258 1 185.0000 158.6351 16.62%
1816.30/1822.27 c 1822 62555 19328 1 185.0000 158.6379 16.62%
1821.58/1827.52 c 1828 62731 19394 1 185.0000 158.6388 16.62%
1828.56/1834.51 c 1835 62905 19448 1 185.0000 158.6396 16.62%
1834.15/1840.19 c 1840 63105 19528 1 185.0000 158.6413 16.62%
1840.13/1846.11 c 1846 63311 19594 1 185.0000 158.6435 16.61%
1845.41/1851.44 c 1851 63445 19666 1 185.0000 158.6450 16.61%
1851.39/1857.41 c 1857 63782 19759 1 185.0000 158.6467 16.61%
1856.38/1862.43 c 1862 64011 19814 1 185.0000 158.6482 16.61%
1861.76/1867.80 c 1868 64205 19882 1 185.0000 158.6485 16.61%
1867.43/1873.57 c 1874 64384 19953 1 185.0000 158.6515 16.61%
1872.52/1878.62 c 1879 64591 19990 1 185.0000 158.6533 16.61%
1878.01/1884.12 c 1884 64807 20040 1 185.0000 158.6533 16.61%
1883.39/1889.59 c 1890 65161 20092 1 185.0000 158.6541 16.61%
1888.98/1895.16 c 1895 65399 20168 1 185.0000 158.6550 16.61%
1894.15/1900.32 c 1900 65651 20210 1 185.0000 158.6561 16.60%
1900.03/1906.28 c 1906 65918 20303 1 185.0000 158.6579 16.60%
1905.22/1911.44 c 1911 66081 20340 1 185.0000 158.6591 16.60%
1910.50/1916.74 c 1917 66230 20417 1 185.0000 158.6592 16.60%
1916.09/1922.35 c 1922 66385 20484 1 185.0000 158.6604 16.60%
1921.17/1927.44 c 1927 66625 20556 1 185.0000 158.6617 16.60%
1926.95/1933.26 c 1933 66830 20607 1 185.0000 158.6630 16.60%
1931.94/1938.28 c 1938 67031 20684 1 185.0000 158.6642 16.60%
1937.62/1943.98 c 1944 67265 20766 1 185.0000 158.6651 16.60%
1942.91/1949.25 c 1949 67516 20823 1 185.0000 158.6664 16.60%
1948.89/1955.25 c 1955 67675 20892 1 185.0000 158.6696 16.59%
1954.27/1960.65 c 1961 67866 20963 1 185.0000 158.6723 16.59%
1959.46/1965.84 c 1966 68021 21030 1 185.0000 158.6743 16.59%
1964.54/1970.99 c 1971 68191 21094 1 185.0000 158.6763 16.59%
1970.22/1976.65 c 1977 68411 21156 1 185.0000 158.6767 16.59%
1975.99/1982.40 c 1982 68591 21206 1 185.0000 158.6784 16.59%
1981.59/1988.10 c 1988 68761 21296 1 185.0000 158.6793 16.59%
1986.68/1993.19 c 1993 69011 21340 1 185.0000 158.6805 16.59%
1992.25/1998.79 c 1999 69255 21416 1 185.0000 158.6811 16.59%
1998.13/2004.64 c 2005 69555 21472 1 185.0000 158.6824 16.59%
2004.71/2011.26 c 2011 69685 21542 1 185.0000 158.6843 16.58%
2009.79/2016.32 c 2016 69881 21602 1 185.0000 158.6848 16.58%
2015.59/2022.12 c 2022 70145 21652 1 185.0000 158.6862 16.58%
2021.26/2027.86 c 2028 70296 21709 1 185.0000 158.6873 16.58%
2027.24/2033.87 c 2034 70501 21762 1 185.0000 158.6892 16.58%
2032.32/2038.97 c 2039 70631 21806 1 185.0000 158.6909 16.58%
2038.10/2044.73 c 2045 70836 21875 1 185.0000 158.6918 16.58%
2043.09/2049.73 c 2050 71068 21935 1 185.0000 158.6931 16.58%
2048.39/2055.09 c 2055 71412 21989 1 185.0000 158.6941 16.58%
2053.86/2060.51 c 2061 71641 22038 1 185.0000 158.6961 16.58%
2059.15/2065.83 c 2066 71821 22090 1 185.0000 158.6982 16.57%
2064.13/2070.85 c 2071 71961 22166 1 185.0000 158.7003 16.57%
2069.51/2076.28 c 2076 72161 22220 1 185.0000 158.7025 16.57%
2075.09/2081.81 c 2082 72439 22274 1 185.0000 158.7035 16.57%
2080.48/2087.25 c 2087 72633 22342 1 185.0000 158.7048 16.57%
2086.06/2092.86 c 2093 72896 22427 1 185.0000 158.7059 16.57%
2091.54/2098.33 c 2098 73193 22472 1 185.0000 158.7067 16.57%
2098.12/2104.92 c 2105 73425 22528 1 185.0000 158.7074 16.57%
2103.32/2110.16 c 2110 73611 22582 1 185.0000 158.7094 16.57%
2108.59/2115.41 c 2115 73725 22658 1 185.0000 158.7107 16.56%
2113.57/2120.43 c 2120 73918 22719 1 185.0000 158.7113 16.56%
2118.96/2125.82 c 2126 74061 22766 1 185.0000 158.7124 16.56%
2124.04/2130.95 c 2131 74371 22808 1 185.0000 158.7134 16.56%
2129.33/2136.21 c 2136 74572 22881 1 185.0000 158.7149 16.56%
2134.41/2141.34 c 2141 74781 22938 1 185.0000 158.7173 16.56%
2139.69/2146.67 c 2147 74931 23014 1 185.0000 158.7193 16.56%
2144.76/2151.77 c 2152 75151 23078 1 185.0000 158.7200 16.56%
2150.94/2157.91 c 2158 75475 23152 1 185.0000 158.7208 16.56%
2155.92/2162.96 c 2163 75641 23204 1 185.0000 158.7222 16.56%
2161.61/2168.65 c 2169 75766 23271 1 185.0000 158.7238 16.55%
2166.79/2173.85 c 2174 75955 23320 1 185.0000 158.7259 16.55%
2172.47/2179.56 c 2180 76175 23386 1 185.0000 158.7268 16.55%
2177.96/2185.05 c 2185 76389 23464 1 185.0000 158.7278 16.55%
2183.73/2190.82 c 2191 76585 23550 1 185.0000 158.7296 16.55%
2188.71/2195.87 c 2196 76775 23610 1 185.0000 158.7303 16.55%
2194.08/2201.22 c 2201 76961 23680 1 185.0000 158.7320 16.55%
2199.88/2207.04 c 2207 77175 23748 1 185.0000 158.7325 16.55%
2205.75/2212.92 c 2213 77381 23820 1 185.0000 158.7350 16.55%
2211.53/2218.71 c 2219 77548 23887 1 185.0000 158.7356 16.55%
2217.10/2224.36 c 2224 77675 23942 1 185.0000 158.7366 16.55%
2222.38/2229.60 c 2230 77891 23998 1 185.0000 158.7378 16.54%
2227.37/2234.61 c 2235 78101 24072 1 185.0000 158.7393 16.54%
2233.04/2240.31 c 2240 78255 24146 1 185.0000 158.7407 16.54%
2238.62/2245.95 c 2246 78487 24214 1 185.0000 158.7424 16.54%
2243.82/2251.13 c 2251 78695 24280 1 185.0000 158.7431 16.54%
2249.80/2257.12 c 2257 78891 24366 1 185.0000 158.7453 16.54%
2255.07/2262.48 c 2262 79103 24432 1 185.0000 158.7470 16.54%
2260.85/2268.29 c 2268 79309 24516 1 185.0000 158.7476 16.54%
2266.03/2273.46 c 2273 79491 24576 1 185.0000 158.7481 16.54%
2271.81/2279.24 c 2279 79703 24648 1 185.0000 158.7500 16.54%
2276.99/2284.47 c 2284 79905 24728 1 185.0000 158.7511 16.53%
2282.27/2289.74 c 2290 80251 24790 1 185.0000 158.7523 16.53%
2287.45/2294.92 c 2295 80390 24869 1 185.0000 158.7529 16.53%
2293.13/2300.61 c 2301 80578 24943 1 185.0000 158.7543 16.53%
2298.52/2306.11 c 2306 80768 25015 1 185.0000 158.7566 16.53%
2304.39/2312.01 c 2312 81079 25088 1 185.0000 158.7571 16.53%
2310.07/2317.66 c 2318 81318 25155 1 185.0000 158.7575 16.53%
2315.15/2322.79 c 2323 81533 25214 1 185.0000 158.7582 16.53%
2320.63/2328.23 c 2328 81871 25270 1 185.0000 158.7583 16.53%
2325.92/2333.52 c 2334 82089 25330 1 185.0000 158.7590 16.53%
2330.89/2338.55 c 2339 82251 25382 1 185.0000 158.7598 16.53%
2336.87/2344.54 c 2345 82535 25468 1 185.0000 158.7604 16.53%
2342.25/2349.96 c 2350 82801 25536 1 185.0000 158.7621 16.53%
2348.14/2355.81 c 2356 82962 25627 1 185.0000 158.7641 16.53%
2353.12/2360.83 c 2361 83161 25686 1 185.0000 158.7648 16.52%
2358.42/2366.15 c 2366 83490 25765 1 185.0000 158.7658 16.52%
2364.49/2372.27 c 2372 83695 25826 1 185.0000 158.7679 16.52%
2370.38/2378.11 c 2378 83831 25886 1 185.0000 158.7696 16.52%
2376.15/2383.90 c 2384 84055 25964 1 185.0000 158.7710 16.52%
2381.93/2389.72 c 2390 84311 26036 1 185.0000 158.7721 16.52%
2387.62/2395.46 c 2395 84539 26100 1 185.0000 158.7727 16.52%
2392.91/2400.75 c 2401 84791 26166 1 185.0000 158.7733 16.52%
2398.09/2405.91 c 2406 84979 26222 1 185.0000 158.7736 16.52%
2403.87/2411.76 c 2412 85225 26274 1 185.0000 158.7744 16.52%
2409.27/2417.16 c 2417 85451 26356 1 185.0000 158.7750 16.52%
2415.64/2423.52 c 2424 85605 26420 1 185.0000 158.7765 16.52%
2421.13/2429.08 c 2429 85825 26488 1 185.0000 158.7778 16.52%
2426.70/2434.68 c 2435 86014 26545 1 185.0000 158.7787 16.51%
2431.99/2440.01 c 2440 86175 26598 1 185.0000 158.7793 16.51%
2437.47/2445.45 c 2445 86471 26666 1 185.0000 158.7803 16.51%
2442.65/2450.64 c 2451 86801 26708 1 185.0000 158.7806 16.51%
2447.74/2455.70 c 2456 86961 26762 1 185.0000 158.7814 16.51%
2453.63/2461.60 c 2462 87141 26834 1 185.0000 158.7824 16.51%
2458.91/2466.91 c 2467 87371 26888 1 185.0000 158.7834 16.51%
2464.10/2472.11 c 2472 87569 26950 1 185.0000 158.7837 16.51%
2469.09/2477.18 c 2477 87761 27016 1 185.0000 158.7856 16.51%
2475.15/2483.22 c 2483 87941 27080 1 185.0000 158.7871 16.51%
2481.04/2489.17 c 2489 88151 27152 1 185.0000 158.7873 16.51%
2486.41/2494.57 c 2495 88265 27228 1 185.0000 158.7882 16.51%
2492.00/2500.14 c 2500 88491 27304 1 185.0000 158.7893 16.51%
2496.98/2505.17 c 2505 88631 27358 1 185.0000 158.7902 16.51%
2503.04/2511.20 c 2511 88875 27426 1 185.0000 158.7906 16.51%
2508.32/2516.50 c 2517 89161 27454 1 185.0000 158.7915 16.50%
2513.92/2522.14 c 2522 89330 27527 1 185.0000 158.7920 16.50%
2519.59/2527.82 c 2528 89437 27584 1 185.0000 158.7932 16.50%
2524.57/2532.87 c 2533 89685 27650 1 185.0000 158.7941 16.50%
2529.65/2537.95 c 2538 89831 27708 1 185.0000 158.7943 16.50%
2534.75/2543.08 c 2543 89993 27768 1 185.0000 158.7958 16.50%
2540.11/2548.43 c 2548 90171 27830 1 185.0000 158.7976 16.50%
2545.19/2553.56 c 2554 90426 27893 1 185.0000 158.7982 16.50%
2551.07/2559.49 c 2559 90589 27964 1 185.0000 158.7987 16.50%
2556.15/2564.55 c 2565 90871 28026 1 185.0000 158.8002 16.50%
2561.83/2570.25 c 2570 91135 28102 1 185.0000 158.8020 16.50%
2567.01/2575.43 c 2575 91321 28160 1 185.0000 158.8031 16.50%
2572.89/2581.33 c 2581 91521 28226 1 185.0000 158.8036 16.50%
2578.58/2587.07 c 2587 91699 28292 1 185.0000 158.8049 16.50%
2583.95/2592.46 c 2592 91971 28342 1 185.0000 158.8064 16.49%
2589.73/2598.20 c 2598 92217 28394 1 185.0000 158.8072 16.49%
2595.01/2603.57 c 2604 92463 28452 1 185.0000 158.8076 16.49%
2600.90/2609.43 c 2609 92705 28510 1 185.0000 158.8084 16.49%
2606.67/2615.24 c 2615 92975 28580 1 185.0000 158.8093 16.49%
2612.25/2620.81 c 2621 93125 28660 1 185.0000 158.8100 16.49%
2617.73/2626.30 c 2626 93291 28704 1 185.0000 158.8108 16.49%
2623.31/2631.94 c 2632 93531 28774 1 185.0000 158.8120 16.49%
2629.19/2637.85 c 2638 93675 28846 1 185.0000 158.8132 16.49%
2635.07/2643.77 c 2644 93885 28920 1 185.0000 158.8149 16.49%
2640.65/2649.32 c 2649 94135 28990 1 185.0000 158.8165 16.49%
2645.83/2654.54 c 2655 94301 29050 1 185.0000 158.8177 16.49%
2651.71/2660.45 c 2660 94530 29103 1 185.0000 158.8187 16.49%
2657.59/2666.35 c 2666 94711 29174 1 185.0000 158.8200 16.48%
2663.38/2672.16 c 2672 94901 29246 1 185.0000 158.8210 16.48%
2668.74/2677.56 c 2678 95111 29308 1 185.0000 158.8215 16.48%
2674.12/2682.98 c 2683 95295 29376 1 185.0000 158.8220 16.48%
2679.41/2688.20 c 2688 95500 29435 1 185.0000 158.8228 16.48%
2684.48/2693.31 c 2693 95711 29484 1 185.0000 158.8231 16.48%
2690.06/2698.99 c 2699 95917 29572 1 185.0000 158.8239 16.48%
2695.55/2704.48 c 2704 96075 29636 1 185.0000 158.8244 16.48%
2700.83/2709.79 c 2710 96351 29742 1 185.0000 158.8252 16.48%
2706.41/2715.33 c 2715 96601 29814 1 185.0000 158.8263 16.48%
2711.50/2720.43 c 2720 96761 29876 1 185.0000 158.8267 16.48%
2717.27/2726.23 c 2726 96960 29943 1 185.0000 158.8273 16.48%
2723.25/2732.28 c 2732 97155 30006 1 185.0000 158.8275 16.48%
2728.83/2737.87 c 2738 97401 30084 1 185.0000 158.8282 16.48%
2733.91/2742.97 c 2743 97591 30134 1 185.0000 158.8293 16.48%
2739.28/2748.32 c 2748 97765 30198 1 185.0000 158.8304 16.48%
2744.77/2753.80 c 2754 98077 30244 1 185.0000 158.8310 16.48%
2750.35/2759.47 c 2759 98421 30306 1 185.0000 158.8318 16.48%
2756.73/2765.82 c 2766 98555 30388 1 185.0000 158.8330 16.47%
2762.22/2771.30 c 2771 98763 30464 1 185.0000 158.8338 16.47%
2767.21/2776.35 c 2776 98950 30525 1 185.0000 158.8343 16.47%
2773.08/2782.25 c 2782 99286 30599 1 185.0000 158.8362 16.47%
2778.57/2787.79 c 2788 99478 30653 1 185.0000 158.8367 16.47%
2784.05/2793.23 c 2793 99671 30720 1 185.0000 158.8376 16.47%
2789.23/2798.48 c 2798 99851 30790 1 185.0000 158.8387 16.47%
2795.02/2804.24 c 2804 99995 30856 1 185.0000 158.8394 16.47%
2800.20/2809.43 c 2809 100292 30913 1 185.0000 158.8396 16.47%
2806.09/2815.33 c 2815 100611 30968 1 185.0000 158.8402 16.47%
2811.47/2820.73 c 2821 100851 31066 1 185.0000 158.8407 16.47%
2817.15/2826.46 c 2826 100981 31126 1 185.0000 158.8425 16.47%
2822.93/2832.28 c 2832 101135 31190 1 185.0000 158.8428 16.47%
2828.51/2837.83 c 2838 101426 31263 1 185.0000 158.8437 16.47%
2833.70/2843.10 c 2843 101661 31312 1 185.0000 158.8447 16.47%
2839.17/2848.50 c 2849 101901 31378 1 185.0000 158.8454 16.47%
2844.15/2853.56 c 2854 102104 31443 1 185.0000 158.8457 16.47%
2849.43/2858.88 c 2859 102321 31512 1 185.0000 158.8464 16.46%
2855.30/2864.72 c 2865 102551 31578 1 185.0000 158.8472 16.46%
2860.28/2869.78 c 2870 102751 31640 1 185.0000 158.8473 16.46%
2865.97/2875.49 c 2876 102940 31705 1 185.0000 158.8483 16.46%
2871.26/2880.78 c 2881 103178 31751 1 185.0000 158.8491 16.46%
2876.44/2885.91 c 2886 103381 31822 1 185.0000 158.8496 16.46%
2882.32/2891.88 c 2892 103595 31876 1 185.0000 158.8500 16.46%
2888.00/2897.53 c 2898 103961 31926 1 185.0000 158.8511 16.46%
2893.28/2902.86 c 2903 104221 31980 1 185.0000 158.8515 16.46%
2898.97/2908.52 c 2909 104405 32056 1 185.0000 158.8522 16.46%
2904.25/2913.83 c 2914 104567 32124 1 185.0000 158.8533 16.46%
2909.73/2919.33 c 2919 104725 32196 1 185.0000 158.8537 16.46%
2915.13/2924.75 c 2925 104991 32230 1 185.0000 158.8542 16.46%
2920.42/2930.06 c 2930 105135 32300 1 185.0000 158.8553 16.46%
2926.19/2935.83 c 2936 105395 32370 1 185.0000 158.8559 16.46%
2931.97/2941.68 c 2942 105684 32449 1 185.0000 158.8565 16.46%
2937.37/2947.03 c 2947 105921 32514 1 185.0000 158.8571 16.46%
2943.45/2953.17 c 2953 106175 32592 1 185.0000 158.8582 16.46%
2949.22/2958.96 c 2959 106462 32649 1 185.0000 158.8584 16.46%
2954.70/2964.48 c 2964 106695 32740 1 185.0000 158.8587 16.46%
2959.78/2969.58 c 2970 106891 32794 1 185.0000 158.8600 16.45%
2965.17/2974.93 c 2975 107115 32844 1 185.0000 158.8601 16.45%
2970.86/2980.67 c 2981 107325 32916 1 185.0000 158.8608 16.45%
2976.54/2986.31 c 2986 107491 32996 1 185.0000 158.8613 16.45%
2982.12/2991.92 c 2992 107721 33074 1 185.0000 158.8618 16.45%
2987.22/2997.05 c 2997 107951 33122 1 185.0000 158.8626 16.45%
2992.89/3002.72 c 3003 108151 33180 1 185.0000 158.8633 16.45%
2998.67/3008.52 c 3009 108361 33256 1 185.0000 158.8643 16.45%
3003.75/3013.70 c 3014 108595 33362 1 185.0000 158.8652 16.45%
3009.25/3019.17 c 3019 108826 33453 1 185.0000 158.8660 16.45%
3014.42/3024.30 c 3024 109101 33530 1 185.0000 158.8671 16.45%
3019.50/3029.44 c 3029 109299 33588 1 185.0000 158.8675 16.45%
3026.10/3036.11 c 3036 109595 33676 1 185.0000 158.8677 16.45%
3031.57/3041.56 c 3042 109957 33766 1 185.0000 158.8685 16.45%
3036.66/3046.67 c 3047 110231 33800 1 185.0000 158.8688 16.45%
3042.64/3052.65 c 3053 110395 33868 1 185.0000 158.8696 16.45%
3047.62/3057.68 c 3058 110581 33924 1 185.0000 158.8704 16.45%
3053.50/3063.58 c 3064 110865 34006 1 185.0000 158.8710 16.45%
3059.28/3069.37 c 3069 111291 34062 1 185.0000 158.8718 16.45%
3064.47/3074.52 c 3075 111589 34172 1 185.0000 158.8719 16.45%
3070.16/3080.23 c 3080 111881 34234 1 185.0000 158.8722 16.45%
3075.14/3085.27 c 3085 112045 34290 1 185.0000 158.8734 16.44%
3080.22/3090.35 c 3090 112361 34360 1 185.0000 158.8737 16.44%
3085.41/3095.55 c 3096 112591 34418 1 185.0000 158.8740 16.44%
3091.49/3101.61 c 3102 112735 34492 1 185.0000 158.8749 16.44%
3097.07/3107.23 c 3107 112991 34574 1 185.0000 158.8754 16.44%
3102.86/3113.02 c 3113 113213 34670 1 185.0000 158.8754 16.44%
3109.04/3119.26 c 3119 113405 34734 1 185.0000 158.8755 16.44%
3114.83/3125.05 c 3125 113625 34822 1 185.0000 158.8762 16.44%
3120.11/3130.31 c 3130 113931 34860 1 185.0000 158.8765 16.44%
3125.29/3135.50 c 3136 114148 34923 1 185.0000 158.8768 16.44%
3130.27/3140.53 c 3141 114341 35004 1 185.0000 158.8779 16.44%
3135.26/3145.54 c 3146 114581 35070 1 185.0000 158.8782 16.44%
3140.24/3150.58 c 3151 114951 35102 1 185.0000 158.8785 16.44%
3145.52/3155.88 c 3156 115054 35175 1 185.0000 158.8796 16.44%
3150.72/3161.08 c 3161 115341 35208 1 185.0000 158.8801 16.44%
3155.99/3166.34 c 3166 115541 35290 1 185.0000 158.8806 16.44%
3161.17/3171.55 c 3172 115841 35312 1 185.0000 158.8810 16.44%
3166.35/3176.73 c 3177 116041 35416 1 185.0000 158.8816 16.44%
3172.05/3182.40 c 3182 116217 35496 1 185.0000 158.8818 16.44%
3177.33/3187.76 c 3188 116445 35560 1 185.0000 158.8827 16.44%
3182.81/3193.20 c 3193 116794 35649 1 185.0000 158.8830 16.44%
3188.10/3198.52 c 3199 117011 35728 1 185.0000 158.8840 16.44%
3193.69/3204.11 c 3204 117251 35802 1 185.0000 158.8843 16.44%
3198.86/3209.30 c 3209 117441 35872 1 185.0000 158.8846 16.44%
3204.44/3214.93 c 3215 117651 35958 1 185.0000 158.8851 16.44%
3209.93/3220.50 c 3220 117858 36041 1 185.0000 158.8856 16.44%
3216.01/3226.54 c 3227 118055 36100 1 185.0000 158.8865 16.44%
3221.29/3231.83 c 3232 118283 36156 1 185.0000 158.8869 16.44%
3226.48/3237.03 c 3237 118505 36230 1 185.0000 158.8879 16.43%
3231.95/3242.54 c 3243 118831 36262 1 185.0000 158.8885 16.43%
3237.94/3248.52 c 3249 118985 36324 1 185.0000 158.8893 16.43%
3243.12/3253.75 c 3254 119151 36404 1 185.0000 158.8903 16.43%
3248.51/3259.16 c 3259 119367 36458 1 185.0000 158.8908 16.43%
3253.87/3264.56 c 3265 119501 36530 1 185.0000 158.8914 16.43%
3259.15/3269.84 c 3270 119721 36604 1 185.0000 158.8917 16.43%
3264.53/3275.29 c 3275 119906 36699 1 185.0000 158.8919 16.43%
3270.22/3280.99 c 3281 120101 36770 1 185.0000 158.8932 16.43%
3275.41/3286.15 c 3286 120420 36817 1 185.0000 158.8934 16.43%
3280.40/3291.16 c 3291 120645 36874 1 185.0000 158.8943 16.43%
3286.46/3297.27 c 3297 120855 36942 1 185.0000 158.8952 16.43%
3291.54/3302.31 c 3302 121061 37008 1 185.0000 158.8957 16.43%
3297.23/3308.11 c 3308 121351 37056 1 185.0000 158.8964 16.43%
3302.91/3313.71 c 3314 121539 37132 1 185.0000 158.8972 16.43%
3307.89/3318.76 c 3319 121761 37182 1 185.0000 158.8978 16.43%
3314.07/3324.94 c 3325 121955 37252 1 185.0000 158.8986 16.43%
3319.75/3330.68 c 3331 122156 37335 1 185.0000 158.8998 16.43%
3324.74/3335.69 c 3336 122406 37389 1 185.0000 158.9001 16.43%
3330.24/3341.13 c 3341 122701 37450 1 185.0000 158.9005 16.43%
3335.22/3346.16 c 3346 122981 37514 1 185.0000 158.9009 16.42%
3340.99/3351.91 c 3352 123171 37598 1 185.0000 158.9013 16.42%
3346.37/3357.34 c 3357 123341 37696 1 185.0000 158.9021 16.42%
3352.36/3363.37 c 3363 123645 37766 1 185.0000 158.9025 16.42%
3357.85/3368.88 c 3369 123941 37846 1 185.0000 158.9029 16.42%
3363.14/3374.18 c 3374 124091 37926 1 185.0000 158.9036 16.42%
3369.12/3380.12 c 3380 124295 37994 1 185.0000 158.9039 16.42%
3374.79/3385.86 c 3386 124525 38070 1 185.0000 158.9053 16.42%
3380.27/3391.34 c 3391 124751 38152 1 185.0000 158.9059 16.42%
3386.07/3397.19 c 3397 124945 38236 1 185.0000 158.9063 16.42%
3391.74/3402.82 c 3403 125204 38303 1 185.0000 158.9071 16.42%
3397.43/3408.51 c 3409 125448 38387 1 185.0000 158.9073 16.42%
3402.92/3414.05 c 3414 125759 38438 1 185.0000 158.9075 16.42%
3408.79/3420.00 c 3420 126105 38494 1 185.0000 158.9077 16.42%
3414.18/3425.33 c 3425 126371 38546 1 185.0000 158.9083 16.42%
3419.46/3430.65 c 3431 126651 38582 1 185.0000 158.9086 16.42%
3424.74/3435.91 c 3436 126815 38642 1 185.0000 158.9089 16.42%
3430.72/3441.90 c 3442 127125 38720 1 185.0000 158.9094 16.42%
3435.82/3447.07 c 3447 127421 38776 1 185.0000 158.9102 16.42%
3441.19/3452.46 c 3452 127591 38848 1 185.0000 158.9104 16.42%
3446.57/3457.82 c 3458 127745 38924 1 185.0000 158.9113 16.42%
3452.66/3463.91 c 3464 127971 39002 1 185.0000 158.9132 16.42%
3458.45/3469.79 c 3470 128168 39073 1 185.0000 158.9135 16.42%
3464.13/3475.41 c 3475 128435 39134 1 185.0000 158.9142 16.41%
3469.31/3480.64 c 3481 128711 39192 1 185.0000 158.9154 16.41%
3474.29/3485.67 c 3486 128951 39264 1 185.0000 158.9161 16.41%
3480.38/3491.73 c 3492 129165 39348 1 185.0000 158.9167 16.41%
3485.36/3496.74 c 3497 129381 39420 1 185.0000 158.9174 16.41%
3491.04/3502.43 c 3502 129638 39497 1 185.0000 158.9182 16.41%
3496.74/3508.12 c 3508 129819 39560 1 185.0000 158.9184 16.41%
3502.31/3513.72 c 3514 130065 39616 1 185.0000 158.9193 16.41%
3507.89/3519.39 c 3519 130305 39674 1 185.0000 158.9199 16.41%
3513.08/3524.54 c 3525 130455 39744 1 185.0000 158.9210 16.41%
3518.68/3530.15 c 3530 130650 39819 1 185.0000 158.9218 16.41%
3523.95/3535.41 c 3535 130884 39883 1 185.0000 158.9224 16.41%
3528.93/3540.48 c 3540 131031 39952 1 185.0000 158.9228 16.41%
3534.63/3546.14 c 3546 131359 40022 1 185.0000 158.9233 16.41%
3540.30/3551.87 c 3552 131641 40090 1 185.0000 158.9236 16.41%
3545.38/3557.01 c 3557 131801 40168 1 185.0000 158.9245 16.41%
3550.67/3562.22 c 3562 131957 40246 1 185.0000 158.9249 16.41%
3556.25/3567.82 c 3568 132165 40308 1 185.0000 158.9253 16.41%
3561.83/3573.42 c 3573 132399 40394 1 185.0000 158.9259 16.41%
3566.81/3578.45 c 3578 132701 40454 1 185.0000 158.9263 16.41%
3572.09/3583.76 c 3584 132861 40536 1 185.0000 158.9266 16.41%
3577.78/3589.43 c 3589 133057 40610 1 185.0000 158.9271 16.41%
3583.06/3594.70 c 3595 133281 40676 1 185.0000 158.9276 16.41%
3588.25/3600.00 c 3600 133501 40732 0 185.0000 158.9280 16.40%
3588.46/3600.18 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.46/3600.18 c Total Time : 3600.18
3588.46/3600.18 c solving : 3600.18
3588.46/3600.18 c presolving : 0.02 (included in solving)
3588.46/3600.18 c B&B Tree :
3588.46/3600.18 c nodes (total) : 1
3588.46/3600.18 c Solution :
3588.46/3600.18 c Solutions found : 18
3588.46/3600.18 c Primal Bound : +1.85000000000000e+02
3588.46/3600.18 c Dual Bound : +1.58927970373698e+02
3588.46/3600.18 c Gap : 16.40493 %
3588.46/3600.18 c * Warning: final gap: 1.64049e-01 is greater than SCIPepsilon: 1.00000e-09
3588.46/3600.18 o 185
3588.46/3600.18 s SATISFIABLE
3588.46/3600.18 v -x467 x466 x465 -x464 x463 -x462 -x461 x460 x459 -x458 x457 x456 -x455 x454 x453 x452 -x451 -x450 -x449 x448 -x447 x446 -x445 -x444
3588.46/3600.18 v x443 -x442 x441 -x440 -x439 -x438 -x437 -x436 x435 x434 -x433 x432 -x431 x430 x429 x428 -x427 x426 x425 -x424 x423 -x422
3588.46/3600.18 v x421 -x420 -x419 -x418 x417 x416 -x415 x414 -x413 -x412 x411 x410 -x409 x408 -x407 -x406 -x405 -x404 -x403 x402 x401 x400 -x399
3588.46/3600.18 v -x398 -x397 -x396 -x395 -x394 -x393 x392 x391 -x390 x389 -x388 x387 -x386 -x385 x384 -x383 -x382 -x381 -x380 x379 -x378 x377
3588.46/3600.18 v x376 -x375 x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 x366 x365 x364 -x363 x362 -x361 x360 x359 x358 -x357 -x356 -x355
3588.46/3600.18 v x354 x353 -x352 -x351 x350 -x349 x348 x347 -x346 -x345 x344 -x343 -x342 x341 -x340 -x339 -x338 x337 x336 -x335 -x334 x333 x332
3588.46/3600.18 v -x331 -x330 -x329 -x328 x327 -x326 x325 x324 x323 -x322 -x321 -x320 x319 -x318 -x317 -x316 x315 x314 -x313 -x312 -x311 -x310
3588.46/3600.18 v -x309 -x308 x307 x306 -x305 -x304 -x303 -x302 -x301 x300 -x299 -x298 -x297 -x296 x295 -x294 x293 x292 -x291 -x290 -x289 x288
3588.46/3600.18 v -x287 -x286 -x285 x284 x283 -x282 -x281 -x280 x279 -x278 x277 -x276 x275 x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 x266
3588.46/3600.18 v x265 -x264 x263 x262 -x261 -x260 -x259 -x258 x257 -x256 -x255 x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 x246 x245 x244
3588.46/3600.18 v -x243 -x242 -x241 x240 -x239 x238 -x237 -x236 -x235 -x234 x233 x232 -x231 -x230 x229 -x228 -x227 -x226 x225 -x224 x223 x222
3588.46/3600.18 v -x221 -x220 x219 -x218 -x217 -x216 x215 -x214 x213 -x212 -x211 x210 -x209 x208 x207 -x206 x205 -x204 x203 x202 x201 x200 x199
3588.46/3600.18 v -x198 -x197 x196 x195 -x194 -x193 -x192 x191 -x190 -x189 -x188 -x187 x186 -x185 x184 -x183 -x182 -x181 x180 -x179 -x178 x177
3588.46/3600.18 v -x176 -x175 -x174 -x173 -x172 x171 x170 x169 x168 x167 x166 x165 x164 x163 -x162 x161 x160 -x159 x158 -x157 x156 x155 x154 x153
3588.46/3600.18 v -x152 x151 x150 x149 -x148 -x147 -x146 -x145 x144 -x143 -x142 -x141 x140 x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131
3588.46/3600.18 v x130 -x129 x128 x127 -x126 x125 x124 -x123 -x122 x121 -x120 x119 -x118 -x117 x116 -x115 -x114 -x113 x112 -x111 -x110 -x109
3588.46/3600.18 v x108 -x107 -x106 x105 -x104 x103 -x102 x101 x100 -x99 -x98 x97 -x96 x95 x94 -x93 -x92 x91 -x90 -x89 x88 x87 -x86 -x85 -x84
3588.46/3600.18 v -x83 -x82 -x81 x80 -x79 x78 -x77 -x76 x75 -x74 x73 x72 -x71 -x70 x69 x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 x60 -x59 x58 -x57
3588.46/3600.18 v -x56 -x55 -x54 x53 x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 x34 x33 -x32 -x31 -x30
3588.46/3600.18 v -x29 x28 x27 -x26 x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3
3588.46/3600.18 v 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: 64059 MiB (62404 MiB free)
memory of node 1: 64510 MiB (63310 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434647-1721084942/watcher-4434647-1721084942 -o /tmp/evaluation-result-4434647-1721084942/solver-4434647-1721084942 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721081354-814854 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434647-1721084942.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=817204, runsolver pid=817200
[startup+0.101005 s]*
/proc/loadavg: 4.13 4.12 4.09 5/247 817234
/proc/meminfo: memFree=128696120/131655788 swapFree=131071996/131071996
[pid=817204] ppid=817200 vsize=112352 memory=28116 CPUtime=0.1 cores=0,2
/proc/817204/stat : 817204 (fscip) S 817200 817204 814844 0 -1 1077936128 4445 0 0 0 10 0 0 0 20 0 3 0 160650908 115048448 7029 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
/proc/817204/statm: 28088 7029 2894 3032 0 10415 0
[pid=817204/tid=817215] ppid=817200 vsize=112352 memory=4026531971 CPUtime=0.07 cores=0,2
/proc/817204/task/817215/stat : 817215 (fscip) R 817200 817204 814844 0 -1 4194368 2038 0 0 0 7 0 0 0 20 0 3 0 160650911 115048448 7029 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
[pid=817204/tid=817218] ppid=817200 vsize=112352 memory=5822 CPUtime=0 cores=0,2
/proc/817204/task/817218/stat : 817218 (fscip) S 817200 817204 814844 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160650912 115048448 7029 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 112352 KiB
Current children cumulated memory: 28116 KiB
[startup+0.213111 s]*
/proc/loadavg: 4.13 4.12 4.09 5/251 817238
/proc/meminfo: memFree=128667132/131655788 swapFree=131071996/131071996
[pid=817204] ppid=817200 vsize=112352 memory=28380 CPUtime=0.21 cores=0,2
/proc/817204/stat : 817204 (fscip) S 817200 817204 814844 0 -1 1077936128 4487 0 0 0 21 0 0 0 20 0 3 0 160650908 115048448 7095 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
/proc/817204/statm: 28088 7095 2894 3032 0 10459 0
[pid=817204/tid=817215] ppid=817200 vsize=112352 memory=8737651120394928259 CPUtime=0.18 cores=0,2
/proc/817204/task/817215/stat : 817215 (fscip) R 817200 817204 814844 0 -1 4194368 2080 0 0 0 18 0 0 0 20 0 3 0 160650911 115048448 7095 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
[pid=817204/tid=817218] ppid=817200 vsize=112352 memory=5822 CPUtime=0 cores=0,2
/proc/817204/task/817218/stat : 817218 (fscip) S 817200 817204 814844 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160650912 115048448 7095 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 112352 KiB
Current children cumulated memory: 28380 KiB
[startup+0.31198 s]*
/proc/loadavg: 4.13 4.12 4.09 5/251 817238
/proc/meminfo: memFree=128666224/131655788 swapFree=131071996/131071996
[pid=817204] ppid=817200 vsize=112352 memory=28380 CPUtime=0.31 cores=0,2
/proc/817204/stat : 817204 (fscip) S 817200 817204 814844 0 -1 1077936128 4507 0 0 0 31 0 0 0 20 0 3 0 160650908 115048448 7095 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
/proc/817204/statm: 28088 7095 2894 3032 0 10471 0
[pid=817204/tid=817215] ppid=817200 vsize=112352 memory=-6586625975291919204 CPUtime=0.28 cores=0,2
/proc/817204/task/817215/stat : 817215 (fscip) R 817200 817204 814844 0 -1 4194368 2100 0 0 0 28 0 0 0 20 0 3 0 160650911 115048448 7095 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
[pid=817204/tid=817218] ppid=817200 vsize=112352 memory=0 CPUtime=0 cores=0,2
/proc/817204/task/817218/stat : 817218 (fscip) S 817200 817204 814844 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160650912 115048448 7095 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 112352 KiB
Current children cumulated memory: 28380 KiB
[startup+0.700315 s]
/proc/loadavg: 4.13 4.12 4.09 6/251 817238
/proc/meminfo: memFree=128664904/131655788 swapFree=131071996/131071996
[pid=817204] ppid=817200 vsize=112352 memory=28908 CPUtime=0.68 cores=0,2
/proc/817204/stat : 817204 (fscip) S 817200 817204 814844 0 -1 1077936128 4593 0 0 0 68 0 0 0 20 0 3 0 160650908 115048448 7227 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
/proc/817204/statm: 28088 7227 2894 3032 0 10607 0
[pid=817204/tid=817215] ppid=817200 vsize=112352 memory=0 CPUtime=0.65 cores=0,2
/proc/817204/task/817215/stat : 817215 (fscip) R 817200 817204 814844 0 -1 4194368 2186 0 0 0 65 0 0 0 20 0 3 0 160650911 115048448 7227 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
[pid=817204/tid=817218] ppid=817200 vsize=112352 memory=0 CPUtime=0 cores=0,2
/proc/817204/task/817218/stat : 817218 (fscip) S 817200 817204 814844 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160650912 115048448 7227 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 112352 KiB
Current children cumulated memory: 28908 KiB
[startup+1.50039 s]
/proc/loadavg: 4.13 4.12 4.09 5/251 817238
/proc/meminfo: memFree=128638916/131655788 swapFree=131071996/131071996
[pid=817204] ppid=817200 vsize=139740 memory=77348 CPUtime=1.48 cores=0,2
/proc/817204/stat : 817204 (fscip) S 817200 817204 814844 0 -1 1077936128 20724 0 0 0 145 3 0 0 20 0 3 0 160650908 143093760 19337 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
/proc/817204/statm: 34935 19337 2910 3032 0 22885 0
[pid=817204/tid=817215] ppid=817200 vsize=139740 memory=0 CPUtime=1.45 cores=0,2
/proc/817204/task/817215/stat : 817215 (fscip) R 817200 817204 814844 0 -1 4194368 18317 0 0 0 142 3 0 0 20 0 3 0 160650911 143093760 19337 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
[pid=817204/tid=817218] ppid=817200 vsize=139740 memory=0 CPUtime=0 cores=0,2
/proc/817204/task/817218/stat : 817218 (fscip) S 817200 817204 814844 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160650912 143093760 19337 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 139740 KiB
Current children cumulated memory: 77348 KiB
[startup+3.1127 s]
/proc/loadavg: 4.12 4.12 4.09 5/251 817238
/proc/meminfo: memFree=128153828/131655788 swapFree=131071996/131071996
[pid=817204] ppid=817200 vsize=203228 memory=154544 CPUtime=3.09 cores=0,2
/proc/817204/stat : 817204 (fscip) S 817200 817204 814844 0 -1 1077936128 40632 0 0 0 301 8 0 0 20 0 3 0 160650908 208105472 38636 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
/proc/817204/statm: 50807 38636 2910 3032 0 42863 0
[pid=817204/tid=817215] ppid=817200 vsize=203228 memory=0 CPUtime=3.06 cores=0,2
/proc/817204/task/817215/stat : 817215 (fscip) R 817200 817204 814844 0 -1 4194368 38223 0 0 0 299 7 0 0 20 0 3 0 160650911 208105472 38636 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
[pid=817204/tid=817218] ppid=817200 vsize=203228 memory=-6730741163367775084 CPUtime=0 cores=0,2
/proc/817204/task/817218/stat : 817218 (fscip) S 817200 817204 814844 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 160650912 208105472 38636 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 203228 KiB
Current children cumulated memory: 154544 KiB
[startup+6.30031 s]
/proc/loadavg: 4.12 4.12 4.09 5/251 817238
/proc/meminfo: memFree=128142060/131655788 swapFree=131071996/131071996
[pid=817204] ppid=817200 vsize=203228 memory=157992 CPUtime=6.27 cores=0,2
/proc/817204/stat : 817204 (fscip) S 817200 817204 814844 0 -1 1077936128 41627 0 0 0 619 8 0 0 20 0 3 0 160650908 208105472 39498 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
/proc/817204/statm: 50807 39498 2910 3032 0 43774 0
[pid=817204/tid=817215] ppid=817200 vsize=203228 memory=0 CPUtime=6.23 cores=0,2
/proc/817204/task/817215/stat : 817215 (fscip) R 817200 817204 814844 0 -1 4194368 39188 0 0 0 616 7 0 0 20 0 3 0 160650911 208105472 39498 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
[pid=817204/tid=817218] ppid=817200 vsize=203228 memory=157992 CPUtime=0 cores=0,2
/proc/817204/task/817218/stat : 817218 (fscip) S 817200 817204 814844 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 160650912 208105472 39498 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 203228 KiB
Current children cumulated memory: 157992 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 4.12 4.09 5/251 817240
/proc/meminfo: memFree=128141696/131655788 swapFree=131071996/131071996
[pid=817204] ppid=817200 vsize=203228 memory=158204 CPUtime=12.65 cores=0,2
/proc/817204/stat : 817204 (fscip) S 817200 817204 814844 0 -1 1077936128 47800 0 0 0 1257 8 0 0 20 0 3 0 160650908 208105472 39551 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
/proc/817204/statm: 50807 39551 2958 3032 0 43774 0
[pid=817204/tid=817215] ppid=817200 vsize=203228 memory=11408 CPUtime=12.62 cores=0,2
/proc/817204/task/817215/stat : 817215 (fscip) R 817200 817204 814844 0 -1 4194368 45296 0 0 0 1254 8 0 0 20 0 3 0 160650911 208105472 39551 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
[pid=817204/tid=817218] ppid=817200 vsize=203228 memory=157992 CPUtime=0 cores=0,2
/proc/817204/task/817218/stat : 817218 (fscip) S 817200 817204 814844 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 160650912 208105472 39551 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 203228 KiB
Current children cumulated memory: 158204 KiB
[startup+25.5004 s]
/proc/loadavg: 4.09 4.11 4.09 5/251 817241
/proc/meminfo: memFree=127974176/131655788 swapFree=131071996/131071996
[pid=817204] ppid=817200 vsize=267188 memory=217156 CPUtime=25.41 cores=0,2
/proc/817204/stat : 817204 (fscip) S 817200 817204 814844 0 -1 1077936128 117075 0 0 0 2528 13 0 0 20 0 3 0 160650908 273600512 54289 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
/proc/817204/statm: 66797 54289 2958 3032 0 58289 0
[pid=817204/tid=817215] ppid=817200 vsize=267188 memory=191720 CPUtime=25.38 cores=0,2
/proc/817204/task/817215/stat : 817215 (fscip) R 817200 817204 814844 0 -1 4194368 114454 0 0 0 2525 13 0 0 20 0 3 0 160650911 273600512 54289 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
[pid=817204/tid=817218] ppid=817200 vsize=267188 memory=218020 CPUtime=0 cores=0,2
/proc/817204/task/817218/stat : 817218 (fscip) S 817200 817204 814844 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 160650912 273600512 54289 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 267188 KiB
Current children cumulated memory: 217156 KiB
[startup+51.1127 s]
/proc/loadavg: 4.11 4.12 4.09 5/251 817246
/proc/meminfo: memFree=127965660/131655788 swapFree=131071996/131071996
[pid=817204] ppid=817200 vsize=265140 memory=221332 CPUtime=50.94 cores=0,2
/proc/817204/stat : 817204 (fscip) S 817200 817204 814844 0 -1 1077936128 164057 0 0 0 5078 16 0 0 20 0 3 0 160650908 271503360 55333 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
/proc/817204/statm: 66285 55333 2958 3032 0 59056 0
[pid=817204/tid=817215] ppid=817200 vsize=265140 memory=11408 CPUtime=50.91 cores=0,2
/proc/817204/task/817215/stat : 817215 (fscip) R 817200 817204 814844 0 -1 4194368 161317 0 0 0 5075 16 0 0 20 0 3 0 160650911 271503360 55333 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
[pid=817204/tid=817218] ppid=817200 vsize=265140 memory=220932 CPUtime=0 cores=0,2
/proc/817204/task/817218/stat : 817218 (fscip) S 817200 817204 814844 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 160650912 271503360 55333 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 265140 KiB
Current children cumulated memory: 221332 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/253 817258
/proc/meminfo: memFree=127695964/131655788 swapFree=131071996/131071996
[pid=817204] ppid=817200 vsize=326580 memory=244544 CPUtime=101.96 cores=0,2
/proc/817204/stat : 817204 (fscip) S 817200 817204 814844 0 -1 1077936128 213591 0 0 0 10175 21 0 0 20 0 3 0 160650908 334417920 61136 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
/proc/817204/statm: 81645 61136 2958 3032 0 63962 0
[pid=817204/tid=817215] ppid=817200 vsize=326580 memory=228952 CPUtime=101.93 cores=0,2
/proc/817204/task/817215/stat : 817215 (fscip) R 817200 817204 814844 0 -1 4194368 210778 0 0 0 10172 21 0 0 20 0 3 0 160650911 334417920 61136 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
[pid=817204/tid=817218] ppid=817200 vsize=326580 memory=229348 CPUtime=0 cores=0,2
/proc/817204/task/817218/stat : 817218 (fscip) S 817200 817204 814844 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 160650912 334417920 61136 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 326580 KiB
Current children cumulated memory: 244544 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/253 817269
/proc/meminfo: memFree=127532556/131655788 swapFree=131071996/131071996
[pid=817204] ppid=817200 vsize=392116 memory=317348 CPUtime=161.76 cores=0,2
/proc/817204/stat : 817204 (fscip) S 817200 817204 814844 0 -1 1077936128 250662 0 0 0 16149 27 0 0 20 0 3 0 160650908 401526784 79337 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
/proc/817204/statm: 98029 79337 2974 3032 0 82049 0
[pid=817204/tid=817215] ppid=817200 vsize=392116 memory=314936 CPUtime=161.71 cores=0,2
/proc/817204/task/817215/stat : 817215 (fscip) R 817200 817204 814844 0 -1 4194368 247791 0 0 0 16145 26 0 0 20 0 3 0 160650911 401526784 79337 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
[pid=817204/tid=817218] ppid=817200 vsize=392116 memory=317348 CPUtime=0 cores=0,2
/proc/817204/task/817218/stat : 817218 (fscip) S 817200 817204 814844 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 160650912 401526784 79337 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 392116 KiB
################
# More data... #
################
/proc/817204/statm: 100892 92428 2974 3032 0 95377 0
[pid=817204/tid=817215] ppid=817200 vsize=403568 memory=16212 CPUtime=3450.65 cores=0,2
/proc/817204/task/817215/stat : 817215 (fscip) R 817200 817204 814844 0 -1 4194368 549488 0 0 0 344991 74 0 0 20 0 3 0 160650911 413253632 92428 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
[pid=817204/tid=817218] ppid=817200 vsize=403568 memory=11408 CPUtime=0.04 cores=0,2
/proc/817204/task/817218/stat : 817218 (fscip) S 817200 817204 814844 0 -1 1077936192 205 0 0 0 1 3 0 0 20 0 3 0 160650912 413253632 92428 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
Current children cumulated CPU time: 3451.06 s
Current children cumulated vsize: 403568 KiB
Current children cumulated memory: 369712 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.15 4.10 5/251 819055
/proc/meminfo: memFree=127253664/131655788 swapFree=131071996/131071996
[pid=817204] ppid=817200 vsize=403568 memory=369712 CPUtime=3510.88 cores=0,2
/proc/817204/stat : 817204 (fscip) S 817200 817204 814844 0 -1 1077936128 557203 0 0 0 350998 90 0 0 20 0 3 0 160650908 413253632 92428 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
/proc/817204/statm: 100892 92428 2974 3032 0 95377 0
[pid=817204/tid=817215] ppid=817200 vsize=403568 memory=16212 CPUtime=3510.46 cores=0,2
/proc/817204/task/817215/stat : 817215 (fscip) R 817200 817204 814844 0 -1 4194368 553005 0 0 0 350972 74 0 0 20 0 3 0 160650911 413253632 92428 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
[pid=817204/tid=817218] ppid=817200 vsize=403568 memory=369712 CPUtime=0.04 cores=0,2
/proc/817204/task/817218/stat : 817218 (fscip) S 817200 817204 814844 0 -1 1077936192 207 0 0 0 1 3 0 0 20 0 3 0 160650912 413253632 92428 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
Current children cumulated CPU time: 3510.88 s
Current children cumulated vsize: 403568 KiB
Current children cumulated memory: 369712 KiB
[startup+3582.3 s]
/proc/loadavg: 4.27 4.16 4.11 5/251 819065
/proc/meminfo: memFree=127250960/131655788 swapFree=131071996/131071996
[pid=817204] ppid=817200 vsize=403568 memory=369712 CPUtime=3570.7 cores=0,2
/proc/817204/stat : 817204 (fscip) S 817200 817204 814844 0 -1 1077936128 560601 0 0 0 356979 91 0 0 20 0 3 0 160650908 413253632 92428 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
/proc/817204/statm: 100892 92428 2974 3032 0 95377 0
[pid=817204/tid=817215] ppid=817200 vsize=403568 memory=369712 CPUtime=3570.27 cores=0,2
/proc/817204/task/817215/stat : 817215 (fscip) R 817200 817204 814844 0 -1 4194368 556382 0 0 0 356952 75 0 0 20 0 3 0 160650911 413253632 92428 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
[pid=817204/tid=817218] ppid=817200 vsize=403568 memory=26520 CPUtime=0.04 cores=0,2
/proc/817204/task/817218/stat : 817218 (fscip) S 817200 817204 814844 0 -1 1077936192 209 0 0 0 1 3 0 0 20 0 3 0 160650912 413253632 92428 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
Current children cumulated CPU time: 3570.7 s
Current children cumulated vsize: 403568 KiB
Current children cumulated memory: 369712 KiB
[startup+3600.19 s]
# the end of solver process 817204 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.62 s, system=0.926122 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.24 4.16 4.11 5/251 819065
/proc/meminfo: memFree=127251056/131655788 swapFree=131071996/131071996
[pid=817204] ppid=817200 vsize=403568 memory=369712 CPUtime=3572.4 cores=0,2
/proc/817204/stat : 817204 (fscip) S 817200 817204 814844 0 -1 1077936128 560603 0 0 0 357149 91 0 0 20 0 3 0 160650908 413253632 92428 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
/proc/817204/statm: 100892 92428 2974 3032 0 95377 0
[pid=817204/tid=817215] ppid=817200 vsize=403568 memory=369712 CPUtime=3571.97 cores=0,2
/proc/817204/task/817215/stat : 817215 (fscip) R 817200 817204 814844 0 -1 4194368 556384 0 0 0 357122 75 0 0 20 0 3 0 160650911 413253632 92428 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
[pid=817204/tid=817218] ppid=817200 vsize=403568 memory=2772 CPUtime=0.04 cores=0,2
/proc/817204/task/817218/stat : 817218 (fscip) S 817200 817204 814844 0 -1 1077936192 209 0 0 0 1 3 0 0 20 0 3 0 160650912 413253632 92428 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
Current children cumulated CPU time: 3572.4 s
Current children cumulated vsize: 403568 KiB
Current children cumulated memory: 369712 KiB
[startup+3590.4 s]
/proc/loadavg: 4.22 4.16 4.11 5/251 819068
/proc/meminfo: memFree=127250996/131655788 swapFree=131071996/131071996
[pid=817204] ppid=817200 vsize=403568 memory=369712 CPUtime=3578.78 cores=0,2
/proc/817204/stat : 817204 (fscip) S 817200 817204 814844 0 -1 1077936128 560811 0 0 0 357787 91 0 0 20 0 3 0 160650908 413253632 92428 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
/proc/817204/statm: 100892 92428 2974 3032 0 95377 0
[pid=817204/tid=817215] ppid=817200 vsize=403568 memory=369712 CPUtime=3578.34 cores=0,2
/proc/817204/task/817215/stat : 817215 (fscip) R 817200 817204 814844 0 -1 4194368 556592 0 0 0 357759 75 0 0 20 0 3 0 160650911 413253632 92428 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
[pid=817204/tid=817218] ppid=817200 vsize=403568 memory=369712 CPUtime=0.04 cores=0,2
/proc/817204/task/817218/stat : 817218 (fscip) S 817200 817204 814844 0 -1 1077936192 209 0 0 0 1 3 0 0 20 0 3 0 160650912 413253632 92428 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
Current children cumulated CPU time: 3578.78 s
Current children cumulated vsize: 403568 KiB
Current children cumulated memory: 369712 KiB
[startup+3596.8 s]
/proc/loadavg: 4.21 4.16 4.10 5/251 819068
/proc/meminfo: memFree=127248344/131655788 swapFree=131071996/131071996
[pid=817204] ppid=817200 vsize=403568 memory=369712 CPUtime=3585.16 cores=0,2
/proc/817204/stat : 817204 (fscip) S 817200 817204 814844 0 -1 1077936128 560976 0 0 0 358425 91 0 0 20 0 3 0 160650908 413253632 92428 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
/proc/817204/statm: 100892 92428 2974 3032 0 95377 0
[pid=817204/tid=817215] ppid=817200 vsize=403568 memory=12724 CPUtime=3584.72 cores=0,2
/proc/817204/task/817215/stat : 817215 (fscip) R 817200 817204 814844 0 -1 4194368 556754 0 0 0 358397 75 0 0 20 0 3 0 160650911 413253632 92428 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
[pid=817204/tid=817218] ppid=817200 vsize=403568 memory=369712 CPUtime=0.04 cores=0,2
/proc/817204/task/817218/stat : 817218 (fscip) S 817200 817204 814844 0 -1 1077936192 211 0 0 0 1 3 0 0 20 0 3 0 160650912 413253632 92428 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
Current children cumulated CPU time: 3585.16 s
Current children cumulated vsize: 403568 KiB
Current children cumulated memory: 369712 KiB
[startup+3598.4 s]
/proc/loadavg: 4.19 4.15 4.10 5/251 819068
/proc/meminfo: memFree=127248384/131655788 swapFree=131071996/131071996
[pid=817204] ppid=817200 vsize=403568 memory=369712 CPUtime=3586.75 cores=0,2
/proc/817204/stat : 817204 (fscip) S 817200 817204 814844 0 -1 1077936128 560986 0 0 0 358584 91 0 0 20 0 3 0 160650908 413253632 92428 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
/proc/817204/statm: 100892 92428 2974 3032 0 95377 0
[pid=817204/tid=817215] ppid=817200 vsize=403568 memory=369712 CPUtime=3586.32 cores=0,2
/proc/817204/task/817215/stat : 817215 (fscip) R 817200 817204 814844 0 -1 4194368 556764 0 0 0 358557 75 0 0 20 0 3 0 160650911 413253632 92428 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
[pid=817204/tid=817218] ppid=817200 vsize=403568 memory=366296 CPUtime=0.04 cores=0,2
/proc/817204/task/817218/stat : 817218 (fscip) S 817200 817204 814844 0 -1 1077936192 211 0 0 0 1 3 0 0 20 0 3 0 160650912 413253632 92428 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
Current children cumulated CPU time: 3586.75 s
Current children cumulated vsize: 403568 KiB
Current children cumulated memory: 369712 KiB
[startup+3599.2 s]
/proc/loadavg: 4.19 4.15 4.10 5/251 819068
/proc/meminfo: memFree=127248192/131655788 swapFree=131071996/131071996
[pid=817204] ppid=817200 vsize=403568 memory=369712 CPUtime=3587.55 cores=0,2
/proc/817204/stat : 817204 (fscip) S 817200 817204 814844 0 -1 1077936128 560990 0 0 0 358664 91 0 0 20 0 3 0 160650908 413253632 92428 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
/proc/817204/statm: 100892 92428 2974 3032 0 95377 0
[pid=817204/tid=817215] ppid=817200 vsize=403568 memory=11408 CPUtime=3587.12 cores=0,2
/proc/817204/task/817215/stat : 817215 (fscip) R 817200 817204 814844 0 -1 4194368 556768 0 0 0 358637 75 0 0 20 0 3 0 160650911 413253632 92428 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
[pid=817204/tid=817218] ppid=817200 vsize=403568 memory=41132 CPUtime=0.04 cores=0,2
/proc/817204/task/817218/stat : 817218 (fscip) S 817200 817204 814844 0 -1 1077936192 211 0 0 0 1 3 0 0 20 0 3 0 160650912 413253632 92428 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
Current children cumulated CPU time: 3587.55 s
Current children cumulated vsize: 403568 KiB
Current children cumulated memory: 369712 KiB
[startup+3599.6 s]
/proc/loadavg: 4.19 4.15 4.10 5/251 819068
/proc/meminfo: memFree=127248192/131655788 swapFree=131071996/131071996
[pid=817204] ppid=817200 vsize=403568 memory=369712 CPUtime=3587.95 cores=0,2
/proc/817204/stat : 817204 (fscip) S 817200 817204 814844 0 -1 1077936128 561007 0 0 0 358704 91 0 0 20 0 3 0 160650908 413253632 92428 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
/proc/817204/statm: 100892 92428 2974 3032 0 95377 0
[pid=817204/tid=817215] ppid=817200 vsize=403568 memory=100 CPUtime=3587.51 cores=0,2
/proc/817204/task/817215/stat : 817215 (fscip) R 817200 817204 814844 0 -1 4194368 556785 0 0 0 358676 75 0 0 20 0 3 0 160650911 413253632 92428 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
[pid=817204/tid=817218] ppid=817200 vsize=403568 memory=37024 CPUtime=0.04 cores=0,2
/proc/817204/task/817218/stat : 817218 (fscip) S 817200 817204 814844 0 -1 1077936192 211 0 0 0 1 3 0 0 20 0 3 0 160650912 413253632 92428 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
Current children cumulated CPU time: 3587.95 s
Current children cumulated vsize: 403568 KiB
Current children cumulated memory: 369712 KiB
[startup+3600 s]*
/proc/loadavg: 4.19 4.15 4.10 5/251 819069
/proc/meminfo: memFree=127248312/131655788 swapFree=131071996/131071996
[pid=817204] ppid=817200 vsize=403568 memory=369712 CPUtime=3588.36 cores=0,2
/proc/817204/stat : 817204 (fscip) S 817200 817204 814844 0 -1 1077936128 561294 0 0 0 358745 91 0 0 20 0 3 0 160650908 413253632 92428 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
/proc/817204/statm: 100892 92428 2974 3032 0 95377 0
[pid=817204/tid=817215] ppid=817200 vsize=403568 memory=6720668735667387242 CPUtime=3587.93 cores=0,2
/proc/817204/task/817215/stat : 817215 (fscip) R 817200 817204 814844 0 -1 4194368 557068 0 0 0 358718 75 0 0 20 0 3 0 160650911 413253632 92428 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
[pid=817204/tid=817218] ppid=817200 vsize=403568 memory=7682466449767832474 CPUtime=0.04 cores=0,2
/proc/817204/task/817218/stat : 817218 (fscip) S 817200 817204 814844 0 -1 1077936192 211 0 0 0 1 3 0 0 20 0 3 0 160650912 413253632 92428 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
Current children cumulated CPU time: 3588.36 s
Current children cumulated vsize: 403568 KiB
Current children cumulated memory: 369712 KiB
[startup+3600.11 s]
/proc/loadavg: 4.19 4.15 4.10 5/251 819069
/proc/meminfo: memFree=127248312/131655788 swapFree=131071996/131071996
[pid=817204] ppid=817200 vsize=403568 memory=369712 CPUtime=3588.46 cores=0,2
/proc/817204/stat : 817204 (fscip) S 817200 817204 814844 0 -1 1077936128 562884 0 0 0 358755 91 0 0 20 0 3 0 160650908 413253632 92428 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
/proc/817204/statm: 100892 92428 2974 3032 0 95377 0
[pid=817204/tid=817215] ppid=817200 vsize=403568 memory=369712 CPUtime=3588.03 cores=0,2
/proc/817204/task/817215/stat : 817215 (fscip) R 817200 817204 814844 0 -1 4194368 558658 0 0 0 358728 75 0 0 20 0 3 0 160650911 413253632 92428 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
[pid=817204/tid=817218] ppid=817200 vsize=403568 memory=41132 CPUtime=0.04 cores=0,2
/proc/817204/task/817218/stat : 817218 (fscip) S 817200 817204 814844 0 -1 1077936192 211 0 0 0 1 3 0 0 20 0 3 0 160650912 413253632 92428 134679101440 4194304 16613245 140735541780704 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38707200 140735541785621 140735541785737 140735541785737 140735541792752 0
Current children cumulated CPU time: 3588.46 s
Current children cumulated vsize: 403568 KiB
Current children cumulated memory: 369712 KiB
Child status: 0
Real time (s): 3600.19
CPU time (s): 3588.55
CPU user time (s): 3587.62
CPU system time (s): 0.926122
CPU usage (%): 99.6767
Max. virtual memory (cumulated for all children) (KiB): 403568
Max. memory (cumulated for all children) (KiB): 369712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.62
system time used= 0.926122
maximum resident set size= 369712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 563520
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= 12672
involuntary context switches= 25068
# summary of solver processes directly reported to runsolver:
# pid: 817204
# total CPU time (s): 3588.55
# total CPU user time (s): 3587.62
# total CPU system time (s): 0.926122
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0833 second user time and 34.6786 second system time
The end
Begin job on nodeC007 at 2024-07-16 01:09:15
IDJOB=4434647
IDBENCH=147542
IDSOLVER=3064
FILE ID=nodeC007/4434647-1721084942
RUNJOBID= nodeC007-1721081354-814854
SLURM_JOB_ID= 7505557
Free space on /tmp= 723700 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434647-1721084942/watcher-4434647-1721084942 -o /tmp/evaluation-result-4434647-1721084942/solver-4434647-1721084942 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721081354-814854 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434647-1721084942.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8940813d27fb075f4739eb458e093f9a
RANDOM SEED=2059110848
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 : 3492.183
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.25
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 : 3485.811
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.129
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.25
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.163
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.629
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.25
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 : 3490.353
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.161
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.25
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.133
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128765208 kB
MemAvailable: 129941652 kB
Buffers: 385300 kB
Cached: 1622800 kB
SwapCached: 0 kB
Active: 685036 kB
Inactive: 1661056 kB
Active(anon): 1444 kB
Inactive(anon): 373944 kB
Active(file): 683592 kB
Inactive(file): 1287112 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 86528 kB
Writeback: 72 kB
AnonPages: 337732 kB
Mapped: 104060 kB
Shmem: 37704 kB
KReclaimable: 91540 kB
Slab: 187500 kB
SReclaimable: 91540 kB
SUnreclaim: 95960 kB
KernelStack: 3788 kB
PageTables: 9212 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 810280 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51360 kB
HardwareCorrupted: 0 kB
AnonHugePages: 212992 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: 248648 kB
DirectMap2M: 22724608 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 723672 MiB
End job on nodeC007 at 2024-07-16 02:09:15