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.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 24403968, getVmSize() = 24403968, SCIPgetMemUsed() = 2319989, SCIPgetMemTotal() = 2874589, SCIPgetMemExternEstim() = 1048576
0.00/0.01 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.06 c ** Estimated virtualMemUsedAtSolver = 17943210, getVmSize() = 29425664, SCIPgetMemUsed() = 3299643, SCIPgetMemTotal() = 6470323, SCIPgetMemExternEstim() = 1048576
0.00/0.06 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.06 c Original Problem :
0.00/0.06 c Problem name : instance-4434646-1721084942
0.00/0.06 c Variables : 476 (476 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06 c Constraints : 476
0.00/0.06 c Objective sense : minimize
0.00/0.06 c Presolved Problem :
0.00/0.06 c Variables : 476 (476 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06 c Constraints : 555
0.00/0.06 c Constraints : Number
0.00/0.06 c knapsack : 430
0.00/0.06 c setppc : 108
0.00/0.06 c logicor : 17
0.00/0.06 c ** Instance transfer method used: 0
0.00/0.07 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.07 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.07 c Nodes Active
0.00/0.07 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.10/0.11 c * 0 0 1 1 217.0000 - -
0.10/0.11 c * 0 0 1 1 206.0000 - -
5.27/5.33 c 5 2 1 1 206.0000 162.2141 26.99%
12.65/12.77 c 13 8 7 1 206.0000 162.2141 26.99%
17.63/17.71 c * 18 13 12 1 205.0000 162.2141 26.38%
17.63/17.71 c * 18 13 12 1 201.0000 162.2141 23.91%
17.63/17.71 c * 18 13 12 1 200.0000 162.2141 23.29%
17.63/17.71 c * 18 13 12 1 199.0000 162.2141 22.68%
17.83/17.97 c 18 26 25 1 199.0000 162.2141 22.68%
23.42/23.55 c 24 112 111 1 199.0000 162.3026 22.61%
28.91/29.02 c 29 205 204 1 199.0000 162.3663 22.56%
34.29/34.40 c 34 288 287 1 199.0000 162.3663 22.56%
37.38/37.55 c * 38 320 319 1 197.0000 162.3663 21.33%
37.38/37.55 c * 38 320 319 1 196.0000 162.3663 20.71%
39.47/39.68 c 40 360 359 1 196.0000 162.3663 20.71%
44.88/45.06 c 45 417 416 1 196.0000 162.3663 20.71%
50.05/50.23 c 50 493 492 1 196.0000 162.4186 20.68%
55.44/55.62 c 56 566 565 1 196.0000 162.4186 20.68%
60.93/61.12 c 61 648 647 1 196.0000 162.4186 20.68%
66.22/66.47 c 66 748 747 1 196.0000 162.4186 20.68%
71.50/71.75 c 72 848 847 1 196.0000 162.4186 20.68%
77.38/77.61 c 78 925 924 1 196.0000 162.4186 20.68%
82.79/83.10 c 83 1005 1004 1 196.0000 162.4186 20.68%
88.16/88.45 c 88 1051 1 1 196.0000 162.4186 20.68%
93.64/93.96 c 94 1061 11 1 196.0000 162.6260 20.52%
99.14/99.48 c 99 1104 54 1 196.0000 162.6260 20.52%
104.92/105.22 c 105 1186 136 1 196.0000 162.6260 20.52%
110.30/110.60 c 111 1576 336 1 196.0000 162.6316 20.52%
111.60/111.95 c * 112 1576 336 1 195.0000 162.6316 19.90%
115.89/116.28 c 116 1762 415 1 195.0000 162.7945 19.78%
121.79/122.17 c 122 2024 489 1 195.0000 162.8726 19.73%
124.07/124.49 c * 124 2091 530 1 194.0000 162.8847 19.10%
124.07/124.50 c * 124 2120 522 1 191.0000 162.8847 17.26%
126.97/127.39 c 127 2274 486 1 191.0000 162.8854 17.26%
132.05/132.43 c 132 2454 538 1 191.0000 162.9628 17.20%
137.84/138.23 c 138 2782 614 1 191.0000 163.0238 17.16%
143.73/144.16 c 144 2939 687 1 191.0000 163.0996 17.11%
149.10/149.51 c 150 3214 766 1 191.0000 163.1537 17.07%
154.20/154.63 c 155 3414 810 1 191.0000 163.1862 17.04%
159.88/160.36 c 160 3677 903 1 191.0000 163.2001 17.03%
165.37/165.87 c 166 3963 973 1 191.0000 163.2001 17.03%
171.45/172.01 c 172 4044 1032 1 191.0000 163.2238 17.02%
176.73/177.24 c 177 4301 1069 1 191.0000 163.2433 17.00%
181.82/182.35 c 182 4364 1108 1 191.0000 163.2607 16.99%
187.11/187.69 c 188 4491 1153 1 191.0000 163.2714 16.98%
192.79/193.35 c 193 4641 1201 1 191.0000 163.2855 16.97%
198.67/199.22 c 199 4814 1244 1 191.0000 163.3110 16.95%
203.75/204.38 c 204 5001 1277 1 191.0000 163.3248 16.94%
209.03/209.62 c 210 5144 1324 1 191.0000 163.3371 16.94%
214.02/214.69 c 215 5325 1375 1 191.0000 163.3376 16.94%
220.20/220.87 c 221 5484 1420 1 191.0000 163.3628 16.92%
226.39/227.07 c 227 5594 1478 1 191.0000 163.3672 16.91%
232.06/232.77 c 233 5770 1534 1 191.0000 163.3854 16.90%
237.84/238.53 c 239 5884 1584 1 191.0000 163.3904 16.90%
243.13/243.87 c 244 6003 1625 1 191.0000 163.4022 16.89%
249.10/249.84 c 250 6256 1700 1 191.0000 163.4056 16.89%
254.79/255.52 c 256 6404 1748 1 191.0000 163.4253 16.87%
260.47/261.22 c 261 6484 1786 1 191.0000 163.4309 16.87%
266.14/266.96 c 267 6676 1828 1 191.0000 163.4388 16.86%
272.43/273.22 c 273 6924 1860 1 191.0000 163.4512 16.85%
278.33/279.11 c 279 7084 1902 1 191.0000 163.4700 16.84%
284.40/285.22 c 285 7214 1962 1 191.0000 163.4728 16.84%
289.38/290.23 c 290 7461 1987 1 191.0000 163.4891 16.83%
295.68/296.52 c 297 7574 2044 1 191.0000 163.4956 16.82%
301.66/302.55 c 303 7704 2090 1 191.0000 163.5187 16.81%
306.94/307.81 c 308 7851 2145 1 191.0000 163.5282 16.80%
312.32/313.26 c 313 7991 2195 1 191.0000 163.5304 16.80%
318.51/319.40 c 319 8151 2231 1 191.0000 163.5361 16.79%
324.79/325.78 c 326 8274 2298 1 191.0000 163.5460 16.79%
330.28/331.28 c 331 8441 2335 1 191.0000 163.5566 16.78%
335.66/336.60 c 337 8554 2398 1 191.0000 163.5625 16.77%
341.84/342.80 c 343 8674 2452 1 191.0000 163.5704 16.77%
345.24/346.28 c * 346 8765 2477 1 190.0000 163.5704 16.16%
346.93/347.98 c 348 8831 2438 1 190.0000 163.5751 16.15%
352.13/353.18 c 353 8901 2488 1 190.0000 163.5818 16.15%
358.12/359.14 c 359 9021 2544 1 190.0000 163.5885 16.15%
363.59/364.68 c 365 9254 2615 1 190.0000 163.5961 16.14%
369.17/370.26 c 370 9473 2666 1 190.0000 163.6017 16.14%
375.15/376.25 c 376 9761 2722 1 190.0000 163.6086 16.13%
381.13/382.25 c 382 9864 2773 1 190.0000 163.6141 16.13%
387.11/388.27 c 388 9981 2818 1 190.0000 163.6291 16.12%
392.59/393.71 c 394 10127 2876 1 190.0000 163.6366 16.11%
397.58/398.77 c 399 10301 2950 1 190.0000 163.6381 16.11%
403.97/405.13 c 405 10521 3026 1 190.0000 163.6403 16.11%
409.85/411.02 c 411 10694 3087 1 190.0000 163.6584 16.10%
415.52/416.73 c 417 10871 3138 1 190.0000 163.6631 16.09%
420.82/422.09 c 422 11088 3191 1 190.0000 163.6648 16.09%
426.20/427.46 c 427 11211 3242 1 190.0000 163.6698 16.09%
431.90/433.13 c 433 11466 3283 1 190.0000 163.6703 16.09%
437.57/438.80 c 439 11684 3315 1 190.0000 163.6776 16.08%
444.25/445.52 c 446 11884 3367 1 190.0000 163.6821 16.08%
449.25/450.54 c 451 12003 3402 1 190.0000 163.6884 16.07%
454.33/455.64 c 456 12114 3451 1 190.0000 163.6960 16.07%
459.31/460.68 c 461 12291 3488 1 190.0000 163.7024 16.06%
464.60/465.91 c 466 12432 3539 1 190.0000 163.7143 16.06%
469.88/471.28 c 471 12524 3577 1 190.0000 163.7194 16.05%
475.67/477.02 c 477 12694 3647 1 190.0000 163.7229 16.05%
480.77/482.17 c 482 12823 3694 1 190.0000 163.7268 16.05%
486.75/488.14 c 488 12944 3739 1 190.0000 163.7329 16.04%
491.93/493.37 c 493 13141 3794 1 190.0000 163.7380 16.04%
497.41/498.82 c 499 13343 3870 1 190.0000 163.7441 16.03%
502.80/504.22 c 504 13573 3978 1 190.0000 163.7452 16.03%
507.79/509.28 c 509 13671 4018 1 190.0000 163.7612 16.02%
513.68/515.18 c 515 13828 4081 1 190.0000 163.7622 16.02%
519.37/520.86 c 521 14091 4162 1 190.0000 163.7651 16.02%
524.56/526.06 c 526 14251 4218 1 190.0000 163.7780 16.01%
529.84/531.35 c 531 14511 4288 1 190.0000 163.7859 16.01%
536.02/537.51 c 538 14674 4347 1 190.0000 163.7905 16.00%
541.62/543.13 c 543 14891 4376 1 190.0000 163.8041 15.99%
547.19/548.72 c 549 15021 4432 1 190.0000 163.8059 15.99%
552.18/553.77 c 554 15161 4482 1 190.0000 163.8061 15.99%
557.48/559.08 c 559 15304 4535 1 190.0000 163.8084 15.99%
562.76/564.32 c 564 15441 4580 1 190.0000 163.8140 15.99%
568.56/570.13 c 570 15521 4628 1 190.0000 163.8173 15.98%
574.54/576.15 c 576 15731 4666 1 190.0000 163.8227 15.98%
580.11/581.78 c 582 15882 4719 1 190.0000 163.8267 15.98%
585.80/587.49 c 587 16060 4759 1 190.0000 163.8293 15.97%
590.88/592.51 c 593 16214 4799 1 190.0000 163.8354 15.97%
595.88/597.58 c 598 16351 4826 1 190.0000 163.8373 15.97%
601.77/603.42 c 603 16610 4893 1 190.0000 163.8386 15.97%
607.75/609.43 c 609 16861 4928 1 190.0000 163.8485 15.96%
613.64/615.30 c 615 17020 4983 1 190.0000 163.8555 15.96%
619.52/621.22 c 621 17232 5025 1 190.0000 163.8645 15.95%
624.71/626.44 c 626 17487 5062 1 190.0000 163.8680 15.95%
629.90/631.60 c 632 17584 5097 1 190.0000 163.8780 15.94%
635.49/637.26 c 637 17674 5147 1 190.0000 163.8897 15.93%
640.97/642.72 c 643 17876 5189 1 190.0000 163.8981 15.93%
646.16/647.92 c 648 18023 5230 1 190.0000 163.9028 15.92%
651.84/653.64 c 654 18214 5269 1 190.0000 163.9045 15.92%
657.34/659.13 c 659 18441 5320 1 190.0000 163.9123 15.92%
662.82/664.63 c 665 18703 5366 1 190.0000 163.9130 15.92%
668.10/669.90 c 670 18834 5429 1 190.0000 163.9177 15.91%
673.09/674.92 c 675 19034 5477 1 190.0000 163.9241 15.91%
678.49/680.34 c 680 19164 5529 1 190.0000 163.9267 15.91%
684.19/686.07 c 686 19421 5572 1 190.0000 163.9352 15.90%
689.46/691.36 c 691 19531 5614 1 190.0000 163.9370 15.90%
694.64/696.58 c 697 19684 5669 1 190.0000 163.9397 15.90%
699.74/701.66 c 702 19977 5706 1 190.0000 163.9420 15.89%
705.62/707.57 c 708 20134 5769 1 190.0000 163.9470 15.89%
710.91/712.86 c 713 20321 5812 1 190.0000 163.9511 15.89%
716.70/718.63 c 719 20542 5879 1 190.0000 163.9525 15.89%
722.38/724.30 c 724 20741 5920 1 190.0000 163.9571 15.88%
728.08/730.07 c 730 20837 5968 1 190.0000 163.9602 15.88%
733.17/735.18 c 735 20981 6026 1 190.0000 163.9700 15.87%
738.94/740.90 c 741 21170 6083 1 190.0000 163.9749 15.87%
744.43/746.46 c 746 21271 6134 1 190.0000 163.9800 15.87%
749.82/751.80 c 752 21483 6190 1 190.0000 163.9859 15.86%
755.41/757.43 c 757 21656 6253 1 190.0000 163.9895 15.86%
760.49/762.56 c 763 21814 6303 1 190.0000 163.9957 15.86%
766.28/768.36 c 768 21991 6348 1 190.0000 164.0004 15.85%
772.26/774.31 c 774 22114 6415 1 190.0000 164.0073 15.85%
777.45/779.56 c 780 22304 6461 1 190.0000 164.0140 15.84%
783.13/785.27 c 785 22534 6519 1 190.0000 164.0189 15.84%
788.51/790.68 c 791 22830 6565 1 190.0000 164.0207 15.84%
794.60/796.71 c 797 23064 6599 1 190.0000 164.0245 15.84%
800.39/802.50 c 802 23191 6666 1 190.0000 164.0318 15.83%
805.57/807.74 c 808 23364 6735 1 190.0000 164.0348 15.83%
811.05/813.28 c 813 23573 6778 1 190.0000 164.0366 15.83%
816.94/819.16 c 819 23753 6838 1 190.0000 164.0425 15.82%
822.11/824.38 c 824 23901 6886 1 190.0000 164.0538 15.82%
827.20/829.42 c 829 24081 6948 1 190.0000 164.0553 15.81%
832.59/834.87 c 835 24341 7010 1 190.0000 164.0584 15.81%
838.37/840.65 c 841 24511 7066 1 190.0000 164.0653 15.81%
839.66/841.95 c * 842 24551 7082 1 189.0000 164.0653 15.20%
844.35/846.67 c 847 24754 6835 1 189.0000 164.0669 15.20%
850.23/852.56 c 853 24864 6891 1 189.0000 164.0679 15.20%
855.72/858.02 c 858 24984 6929 1 189.0000 164.0702 15.19%
860.81/863.15 c 863 25184 6955 1 189.0000 164.0750 15.19%
866.28/868.62 c 869 25361 6988 1 189.0000 164.0786 15.19%
871.96/874.38 c 874 25544 7031 1 189.0000 164.0814 15.19%
877.34/879.74 c 880 25755 7064 1 189.0000 164.0840 15.18%
883.04/885.49 c 885 25939 7108 1 189.0000 164.0901 15.18%
888.73/891.13 c 891 26157 7170 1 189.0000 164.1027 15.17%
893.90/896.32 c 896 26411 7206 1 189.0000 164.1049 15.17%
899.60/902.07 c 902 26581 7268 1 189.0000 164.1065 15.17%
905.26/907.75 c 908 26809 7318 1 189.0000 164.1084 15.17%
911.04/913.51 c 914 26984 7381 1 189.0000 164.1101 15.17%
916.33/918.84 c 919 27138 7435 1 189.0000 164.1123 15.17%
921.81/924.33 c 924 27254 7491 1 189.0000 164.1150 15.16%
927.51/930.08 c 930 27452 7543 1 189.0000 164.1185 15.16%
933.17/935.75 c 936 27743 7588 1 189.0000 164.1248 15.16%
938.37/940.91 c 941 27814 7625 1 189.0000 164.1308 15.15%
943.35/945.94 c 946 28024 7679 1 189.0000 164.1351 15.15%
948.55/951.12 c 951 28251 7732 1 189.0000 164.1388 15.15%
953.53/956.19 c 956 28431 7770 1 189.0000 164.1399 15.15%
958.70/961.38 c 961 28549 7828 1 189.0000 164.1416 15.14%
964.08/966.73 c 967 28781 7894 1 189.0000 164.1468 15.14%
969.57/972.26 c 972 29088 7915 1 189.0000 164.1469 15.14%
975.15/977.84 c 978 29311 7978 1 189.0000 164.1486 15.14%
981.04/983.72 c 984 29536 8043 1 189.0000 164.1518 15.14%
986.92/989.69 c 990 29954 8087 1 189.0000 164.1543 15.14%
992.00/994.78 c 995 30094 8133 1 189.0000 164.1595 15.13%
997.68/1000.44 c 1000 30424 8171 1 189.0000 164.1618 15.13%
1003.46/1006.24 c 1006 30584 8253 1 189.0000 164.1647 15.13%
1009.36/1012.15 c 1012 30781 8328 1 189.0000 164.1721 15.12%
1014.34/1017.17 c 1017 31011 8368 1 189.0000 164.1746 15.12%
1019.71/1022.56 c 1023 31178 8431 1 189.0000 164.1755 15.12%
1024.80/1027.66 c 1028 31364 8491 1 189.0000 164.1800 15.12%
1030.68/1033.56 c 1034 31538 8549 1 189.0000 164.1821 15.12%
1035.97/1038.84 c 1039 31751 8602 1 189.0000 164.1833 15.12%
1041.05/1043.93 c 1044 32029 8658 1 189.0000 164.1842 15.11%
1047.03/1049.96 c 1050 32341 8698 1 189.0000 164.1875 15.11%
1052.41/1055.39 c 1055 32484 8771 1 189.0000 164.1897 15.11%
1057.99/1060.91 c 1061 32741 8806 1 189.0000 164.1927 15.11%
1063.58/1066.52 c 1067 32914 8867 1 189.0000 164.1948 15.11%
1068.87/1071.82 c 1072 33191 8940 1 189.0000 164.1991 15.10%
1074.45/1077.47 c 1077 33344 9003 1 189.0000 164.2037 15.10%
1080.23/1083.25 c 1083 33671 9022 1 189.0000 164.2085 15.10%
1086.21/1089.24 c 1089 33904 9087 1 189.0000 164.2099 15.10%
1091.49/1094.55 c 1095 34084 9121 1 189.0000 164.2122 15.09%
1097.48/1100.54 c 1101 34410 9179 1 189.0000 164.2146 15.09%
1103.46/1106.51 c 1107 34624 9243 1 189.0000 164.2208 15.09%
1108.45/1111.59 c 1112 34903 9300 1 189.0000 164.2280 15.08%
1113.84/1116.95 c 1117 35121 9362 1 189.0000 164.2328 15.08%
1119.13/1122.20 c 1122 35304 9435 1 189.0000 164.2354 15.08%
1125.11/1128.20 c 1128 35601 9516 1 189.0000 164.2436 15.07%
1130.80/1133.94 c 1134 35828 9605 1 189.0000 164.2459 15.07%
1136.38/1139.56 c 1140 35980 9669 1 189.0000 164.2488 15.07%
1141.67/1144.85 c 1145 36231 9734 1 189.0000 164.2545 15.07%
1147.55/1150.77 c 1151 36435 9810 1 189.0000 164.2593 15.06%
1152.85/1156.02 c 1156 36621 9858 1 189.0000 164.2635 15.06%
1158.03/1161.20 c 1161 36801 9918 1 189.0000 164.2659 15.06%
1163.32/1166.56 c 1167 36934 9981 1 189.0000 164.2685 15.06%
1168.41/1171.68 c 1172 37159 10054 1 189.0000 164.2735 15.05%
1174.00/1177.21 c 1177 37371 10108 1 189.0000 164.2772 15.05%
1179.58/1182.80 c 1183 37594 10173 1 189.0000 164.2808 15.05%
1185.56/1188.86 c 1189 37891 10228 1 189.0000 164.2843 15.04%
1190.76/1194.03 c 1194 38061 10294 1 189.0000 164.2885 15.04%
1195.94/1199.25 c 1199 38281 10352 1 189.0000 164.2944 15.04%
1201.23/1204.56 c 1205 38486 10427 1 189.0000 164.2962 15.04%
1206.73/1210.06 c 1210 38611 10478 1 189.0000 164.2985 15.03%
1212.10/1215.41 c 1215 38771 10534 1 189.0000 164.3004 15.03%
1217.70/1221.01 c 1221 38961 10582 1 189.0000 164.3018 15.03%
1222.87/1226.25 c 1226 39171 10646 1 189.0000 164.3021 15.03%
1228.17/1231.59 c 1232 39391 10708 1 189.0000 164.3059 15.03%
1233.77/1237.14 c 1237 39584 10785 1 189.0000 164.3079 15.03%
1238.94/1242.36 c 1242 39758 10839 1 189.0000 164.3085 15.03%
1244.13/1247.55 c 1248 39986 10891 1 189.0000 164.3109 15.03%
1249.81/1253.22 c 1253 40193 10964 1 189.0000 164.3123 15.02%
1255.01/1258.47 c 1258 40511 11014 1 189.0000 164.3144 15.02%
1260.29/1263.76 c 1264 40631 11086 1 189.0000 164.3180 15.02%
1266.18/1269.61 c 1270 40954 11153 1 189.0000 164.3209 15.02%
1271.37/1274.82 c 1275 41164 11221 1 189.0000 164.3212 15.02%
1276.45/1279.93 c 1280 41394 11269 1 189.0000 164.3254 15.02%
1281.74/1285.27 c 1285 41567 11328 1 189.0000 164.3260 15.02%
1287.23/1290.71 c 1291 41756 11401 1 189.0000 164.3291 15.01%
1292.53/1296.08 c 1296 41894 11465 1 189.0000 164.3319 15.01%
1299.10/1302.65 c 1303 42054 11519 1 189.0000 164.3353 15.01%
1304.89/1308.44 c 1308 42298 11583 1 189.0000 164.3400 15.01%
1310.59/1314.16 c 1314 42551 11634 1 189.0000 164.3466 15.00%
1315.96/1319.55 c 1320 42774 11685 1 189.0000 164.3488 15.00%
1321.56/1325.18 c 1325 42967 11752 1 189.0000 164.3495 15.00%
1326.83/1330.42 c 1330 43281 11810 1 189.0000 164.3507 15.00%
1332.43/1336.08 c 1336 43596 11875 1 189.0000 164.3516 15.00%
1338.00/1341.62 c 1342 43911 11938 1 189.0000 164.3548 15.00%
1343.89/1347.57 c 1348 44066 12007 1 189.0000 164.3558 14.99%
1349.49/1353.16 c 1353 44399 12058 1 189.0000 164.3570 14.99%
1354.97/1358.69 c 1359 44761 12106 1 189.0000 164.3602 14.99%
1360.15/1363.86 c 1364 44941 12160 1 189.0000 164.3641 14.99%
1365.24/1368.98 c 1369 45101 12196 1 189.0000 164.3659 14.99%
1370.92/1374.63 c 1375 45269 12264 1 189.0000 164.3674 14.99%
1376.11/1379.89 c 1380 45561 12308 1 189.0000 164.3690 14.99%
1381.32/1385.08 c 1385 45724 12361 1 189.0000 164.3721 14.98%
1386.69/1390.49 c 1390 45921 12416 1 189.0000 164.3734 14.98%
1391.77/1395.59 c 1396 46051 12484 1 189.0000 164.3775 14.98%
1397.86/1401.64 c 1402 46251 12534 1 189.0000 164.3798 14.98%
1403.75/1407.53 c 1408 46490 12627 1 189.0000 164.3806 14.98%
1409.03/1412.82 c 1413 46714 12695 1 189.0000 164.3822 14.98%
1414.62/1418.49 c 1418 46854 12765 1 189.0000 164.3838 14.97%
1419.71/1423.58 c 1424 47031 12834 1 189.0000 164.3869 14.97%
1425.50/1429.39 c 1429 47241 12906 1 189.0000 164.3879 14.97%
1431.39/1435.29 c 1435 47534 12955 1 189.0000 164.3883 14.97%
1437.07/1441.01 c 1441 47711 13008 1 189.0000 164.3893 14.97%
1442.55/1446.45 c 1446 47879 13076 1 189.0000 164.3913 14.97%
1448.03/1451.95 c 1452 48118 13131 1 189.0000 164.3924 14.97%
1453.62/1457.58 c 1458 48359 13190 1 189.0000 164.3939 14.97%
1459.30/1463.21 c 1463 48484 13229 1 189.0000 164.3965 14.97%
1464.98/1468.91 c 1469 48739 13312 1 189.0000 164.3978 14.97%
1470.57/1474.56 c 1475 48964 13375 1 189.0000 164.3992 14.96%
1476.25/1480.20 c 1480 49114 13437 1 189.0000 164.4004 14.96%
1481.54/1485.56 c 1486 49272 13491 1 189.0000 164.4065 14.96%
1487.03/1491.09 c 1491 49494 13557 1 189.0000 164.4072 14.96%
1492.12/1496.16 c 1496 49757 13596 1 189.0000 164.4081 14.96%
1497.39/1501.49 c 1501 49994 13649 1 189.0000 164.4103 14.96%
1502.87/1506.91 c 1507 50211 13704 1 189.0000 164.4128 14.95%
1508.36/1512.43 c 1512 50374 13757 1 189.0000 164.4157 14.95%
1513.34/1517.46 c 1517 50621 13806 1 189.0000 164.4173 14.95%
1518.72/1522.82 c 1523 50815 13874 1 189.0000 164.4179 14.95%
1524.10/1528.26 c 1528 51064 13937 1 189.0000 164.4201 14.95%
1529.49/1533.60 c 1534 51304 13989 1 189.0000 164.4220 14.95%
1534.68/1538.87 c 1539 51584 14033 1 189.0000 164.4231 14.95%
1540.16/1544.36 c 1544 51816 14071 1 189.0000 164.4245 14.95%
1546.04/1550.20 c 1550 52133 14152 1 189.0000 164.4257 14.95%
1551.32/1555.58 c 1556 52364 14203 1 189.0000 164.4286 14.94%
1556.61/1560.80 c 1561 52624 14243 1 189.0000 164.4292 14.94%
1562.00/1566.24 c 1566 52834 14301 1 189.0000 164.4303 14.94%
1567.28/1571.52 c 1572 53101 14366 1 189.0000 164.4315 14.94%
1572.57/1576.81 c 1577 53361 14418 1 189.0000 164.4329 14.94%
1577.86/1582.15 c 1582 53591 14490 1 189.0000 164.4356 14.94%
1583.53/1587.82 c 1588 53789 14556 1 189.0000 164.4373 14.94%
1588.73/1593.02 c 1593 54029 14620 1 189.0000 164.4379 14.94%
1594.70/1599.05 c 1599 54371 14668 1 189.0000 164.4396 14.94%
1600.37/1604.77 c 1605 54594 14717 1 189.0000 164.4413 14.93%
1606.16/1610.55 c 1611 54781 14776 1 189.0000 164.4471 14.93%
1611.66/1616.04 c 1616 54931 14850 1 189.0000 164.4491 14.93%
1617.32/1621.73 c 1622 55161 14908 1 189.0000 164.4518 14.93%
1622.51/1626.97 c 1627 55391 14968 1 189.0000 164.4524 14.93%
1628.09/1632.51 c 1633 55634 15041 1 189.0000 164.4548 14.93%
1633.08/1637.57 c 1638 55931 15102 1 189.0000 164.4570 14.92%
1638.46/1642.92 c 1643 56111 15154 1 189.0000 164.4576 14.92%
1644.14/1648.61 c 1649 56311 15238 1 189.0000 164.4602 14.92%
1649.33/1653.84 c 1654 56531 15284 1 189.0000 164.4619 14.92%
1654.71/1659.29 c 1659 56831 15358 1 189.0000 164.4631 14.92%
1660.00/1664.58 c 1665 56971 15424 1 189.0000 164.4643 14.92%
1665.28/1669.87 c 1670 57192 15493 1 189.0000 164.4665 14.92%
1670.97/1675.57 c 1676 57441 15544 1 189.0000 164.4682 14.92%
1675.95/1680.58 c 1681 57677 15602 1 189.0000 164.4699 14.91%
1681.33/1685.99 c 1686 57851 15662 1 189.0000 164.4718 14.91%
1687.11/1691.78 c 1692 58021 15724 1 189.0000 164.4744 14.91%
1692.30/1696.95 c 1697 58181 15786 1 189.0000 164.4753 14.91%
1697.89/1702.50 c 1702 58319 15848 1 189.0000 164.4774 14.91%
1702.87/1707.51 c 1708 58641 15896 1 189.0000 164.4806 14.91%
1708.25/1712.92 c 1713 58851 15956 1 189.0000 164.4827 14.91%
1713.23/1717.93 c 1718 58981 16012 1 189.0000 164.4846 14.90%
1718.82/1723.58 c 1724 59124 16095 1 189.0000 164.4854 14.90%
1724.01/1728.70 c 1729 59301 16140 1 189.0000 164.4888 14.90%
1729.89/1734.67 c 1735 59468 16201 1 189.0000 164.4906 14.90%
1735.66/1740.44 c 1740 59784 16243 1 189.0000 164.4914 14.90%
1741.15/1745.97 c 1746 60051 16312 1 189.0000 164.4933 14.90%
1746.43/1751.27 c 1751 60291 16376 1 189.0000 164.4940 14.90%
1751.52/1756.35 c 1756 60414 16441 1 189.0000 164.4964 14.90%
1756.80/1761.67 c 1762 60641 16502 1 189.0000 164.4973 14.90%
1762.50/1767.34 c 1767 60961 16566 1 189.0000 164.4974 14.90%
1767.99/1772.89 c 1773 61193 16644 1 189.0000 164.5003 14.89%
1773.97/1778.86 c 1779 61493 16700 1 189.0000 164.5018 14.89%
1779.35/1784.23 c 1784 61791 16756 1 189.0000 164.5034 14.89%
1784.74/1789.69 c 1790 61884 16809 1 189.0000 164.5043 14.89%
1790.33/1795.21 c 1795 62193 16864 1 189.0000 164.5051 14.89%
1795.51/1800.44 c 1800 62384 16917 1 189.0000 164.5057 14.89%
1801.01/1805.97 c 1806 62632 16987 1 189.0000 164.5069 14.89%
1806.80/1811.71 c 1812 62791 17060 1 189.0000 164.5085 14.89%
1812.19/1817.16 c 1817 63031 17112 1 189.0000 164.5097 14.89%
1817.46/1822.44 c 1822 63168 17193 1 189.0000 164.5102 14.89%
1823.16/1828.11 c 1828 63358 17265 1 189.0000 164.5108 14.89%
1828.74/1833.73 c 1834 63686 17333 1 189.0000 164.5124 14.88%
1834.03/1839.10 c 1839 63861 17394 1 189.0000 164.5138 14.88%
1839.12/1844.16 c 1844 64051 17442 1 189.0000 164.5153 14.88%
1844.60/1849.63 c 1850 64231 17516 1 189.0000 164.5169 14.88%
1850.29/1855.37 c 1855 64493 17582 1 189.0000 164.5178 14.88%
1856.09/1861.19 c 1861 64811 17650 1 189.0000 164.5180 14.88%
1861.16/1866.22 c 1866 65011 17714 1 189.0000 164.5196 14.88%
1866.65/1871.73 c 1872 65124 17763 1 189.0000 164.5209 14.88%
1872.54/1877.69 c 1878 65331 17812 1 189.0000 164.5219 14.88%
1877.82/1883.01 c 1883 65575 17862 1 189.0000 164.5224 14.88%
1883.30/1888.47 c 1888 65831 17904 1 189.0000 164.5229 14.88%
1888.29/1893.49 c 1893 65924 17961 1 189.0000 164.5235 14.88%
1893.48/1898.67 c 1899 66221 17996 1 189.0000 164.5255 14.88%
1898.57/1903.77 c 1904 66577 18044 1 189.0000 164.5257 14.88%
1903.76/1908.94 c 1909 66800 18093 1 189.0000 164.5264 14.88%
1908.96/1914.18 c 1914 67040 18147 1 189.0000 164.5290 14.87%
1914.13/1919.37 c 1919 67241 18218 1 189.0000 164.5319 14.87%
1920.02/1925.21 c 1925 67506 18309 1 189.0000 164.5336 14.87%
1925.11/1930.31 c 1930 67734 18379 1 189.0000 164.5351 14.87%
1930.99/1936.21 c 1936 67984 18455 1 189.0000 164.5365 14.87%
1936.08/1941.33 c 1941 68232 18495 1 189.0000 164.5371 14.87%
1941.66/1946.93 c 1947 68384 18545 1 189.0000 164.5376 14.87%
1947.14/1952.48 c 1952 68601 18614 1 189.0000 164.5380 14.87%
1952.92/1958.25 c 1958 68811 18682 1 189.0000 164.5403 14.87%
1958.31/1963.69 c 1964 69131 18754 1 189.0000 164.5408 14.87%
1964.09/1969.48 c 1969 69374 18811 1 189.0000 164.5421 14.86%
1969.58/1975.01 c 1975 69580 18885 1 189.0000 164.5436 14.86%
1975.16/1980.56 c 1981 69800 18949 1 189.0000 164.5451 14.86%
1980.95/1986.31 c 1986 70031 19026 1 189.0000 164.5470 14.86%
1986.95/1992.30 c 1992 70215 19078 1 189.0000 164.5479 14.86%
1992.23/1997.66 c 1998 70456 19137 1 189.0000 164.5493 14.86%
1997.52/2002.97 c 2003 70721 19202 1 189.0000 164.5526 14.86%
2003.00/2008.47 c 2008 71045 19276 1 189.0000 164.5530 14.86%
2008.70/2014.18 c 2014 71333 19378 1 189.0000 164.5561 14.85%
2014.17/2019.62 c 2020 71461 19436 1 189.0000 164.5589 14.85%
2019.37/2024.81 c 2025 71741 19516 1 189.0000 164.5603 14.85%
2025.16/2030.69 c 2031 71919 19582 1 189.0000 164.5607 14.85%
2030.34/2035.87 c 2036 72291 19646 1 189.0000 164.5616 14.85%
2035.43/2040.94 c 2041 72581 19680 1 189.0000 164.5620 14.85%
2040.72/2046.20 c 2046 72811 19750 1 189.0000 164.5633 14.85%
2046.20/2051.71 c 2052 73021 19816 1 189.0000 164.5649 14.85%
2051.99/2057.55 c 2058 73221 19900 1 189.0000 164.5665 14.85%
2057.38/2062.92 c 2063 73411 19968 1 189.0000 164.5682 14.85%
2062.66/2068.26 c 2068 73616 20037 1 189.0000 164.5690 14.85%
2068.56/2074.14 c 2074 73814 20105 1 189.0000 164.5697 14.84%
2073.84/2079.48 c 2079 74121 20168 1 189.0000 164.5716 14.84%
2079.02/2084.63 c 2085 74451 20206 1 189.0000 164.5746 14.84%
2084.32/2089.91 c 2090 74634 20285 1 189.0000 164.5761 14.84%
2090.20/2095.87 c 2096 74904 20337 1 189.0000 164.5786 14.84%
2095.19/2100.89 c 2101 75145 20408 1 189.0000 164.5793 14.84%
2100.28/2106.01 c 2106 75421 20468 1 189.0000 164.5803 14.84%
2105.47/2111.15 c 2111 75571 20524 1 189.0000 164.5817 14.84%
2111.36/2117.05 c 2117 75826 20593 1 189.0000 164.5826 14.84%
2117.34/2123.06 c 2123 76121 20656 1 189.0000 164.5833 14.84%
2122.82/2128.50 c 2128 76261 20716 1 189.0000 164.5841 14.83%
2128.20/2133.93 c 2134 76545 20794 1 189.0000 164.5848 14.83%
2133.99/2139.76 c 2140 76793 20866 1 189.0000 164.5857 14.83%
2139.17/2144.93 c 2145 76971 20928 1 189.0000 164.5872 14.83%
2145.06/2150.83 c 2151 77216 20989 1 189.0000 164.5877 14.83%
2150.36/2156.13 c 2156 77406 21057 1 189.0000 164.5882 14.83%
2156.24/2162.11 c 2162 77705 21112 1 189.0000 164.5886 14.83%
2161.62/2167.44 c 2167 77954 21161 1 189.0000 164.5893 14.83%
2167.51/2173.35 c 2173 78254 21225 1 189.0000 164.5905 14.83%
2173.39/2179.24 c 2179 78491 21302 1 189.0000 164.5920 14.83%
2179.38/2185.24 c 2185 78747 21368 1 189.0000 164.5926 14.83%
2185.36/2191.20 c 2191 79060 21457 1 189.0000 164.5929 14.83%
2190.46/2196.30 c 2196 79389 21484 1 189.0000 164.5935 14.83%
2195.43/2201.34 c 2201 79611 21544 1 189.0000 164.5949 14.83%
2200.82/2206.78 c 2207 79827 21618 1 189.0000 164.5966 14.83%
2206.30/2212.24 c 2212 80171 21668 1 189.0000 164.5979 14.83%
2211.50/2217.49 c 2217 80511 21714 1 189.0000 164.5992 14.82%
2217.28/2223.23 c 2223 80754 21765 1 189.0000 164.5994 14.82%
2222.57/2228.51 c 2229 80931 21828 1 189.0000 164.6014 14.82%
2227.65/2233.67 c 2234 81111 21884 1 189.0000 164.6024 14.82%
2232.74/2238.71 c 2239 81234 21953 1 189.0000 164.6031 14.82%
2237.94/2243.97 c 2244 81501 22008 1 189.0000 164.6048 14.82%
2243.32/2249.32 c 2249 81764 22081 1 189.0000 164.6050 14.82%
2249.50/2255.50 c 2256 81904 22155 1 189.0000 164.6061 14.82%
2254.69/2260.79 c 2261 82211 22210 1 189.0000 164.6075 14.82%
2260.18/2266.23 c 2266 82391 22264 1 189.0000 164.6082 14.82%
2265.66/2271.74 c 2272 82661 22350 1 189.0000 164.6093 14.82%
2271.46/2277.50 c 2278 82864 22417 1 189.0000 164.6107 14.82%
2276.54/2282.66 c 2283 83118 22465 1 189.0000 164.6118 14.82%
2282.32/2288.45 c 2288 83321 22536 1 189.0000 164.6128 14.81%
2288.21/2294.38 c 2294 83499 22614 1 189.0000 164.6144 14.81%
2293.59/2299.70 c 2300 83730 22725 1 189.0000 164.6149 14.81%
2298.69/2304.86 c 2305 84001 22780 1 189.0000 164.6162 14.81%
2303.68/2309.87 c 2310 84251 22854 1 189.0000 164.6172 14.81%
2308.66/2314.89 c 2315 84431 22918 1 189.0000 164.6175 14.81%
2314.25/2320.43 c 2320 84631 22992 1 189.0000 164.6188 14.81%
2320.23/2326.44 c 2326 84890 23065 1 189.0000 164.6201 14.81%
2325.31/2331.59 c 2332 85091 23140 1 189.0000 164.6215 14.81%
2330.49/2336.73 c 2337 85324 23197 1 189.0000 164.6217 14.81%
2335.89/2342.11 c 2342 85498 23267 1 189.0000 164.6225 14.81%
2340.87/2347.17 c 2347 85681 23318 1 189.0000 164.6234 14.81%
2345.96/2352.21 c 2352 85850 23385 1 189.0000 164.6253 14.81%
2351.44/2357.76 c 2358 86011 23468 1 189.0000 164.6276 14.80%
2356.73/2363.02 c 2363 86218 23545 1 189.0000 164.6288 14.80%
2362.41/2368.74 c 2369 86464 23615 1 189.0000 164.6296 14.80%
2367.59/2373.95 c 2374 86751 23676 1 189.0000 164.6313 14.80%
2373.49/2379.81 c 2380 87051 23746 1 189.0000 164.6326 14.80%
2378.47/2384.85 c 2385 87251 23814 1 189.0000 164.6335 14.80%
2384.06/2390.47 c 2390 87491 23882 1 189.0000 164.6348 14.80%
2389.15/2395.59 c 2396 87731 23940 1 189.0000 164.6354 14.80%
2395.13/2401.56 c 2402 87981 23998 1 189.0000 164.6363 14.80%
2400.22/2406.68 c 2407 88201 24070 1 189.0000 164.6380 14.80%
2405.90/2412.34 c 2412 88441 24150 1 189.0000 164.6398 14.80%
2411.09/2417.54 c 2418 88734 24185 1 189.0000 164.6399 14.80%
2416.78/2423.27 c 2423 89011 24250 1 189.0000 164.6414 14.79%
2422.37/2428.89 c 2429 89264 24321 1 189.0000 164.6418 14.79%
2427.57/2434.10 c 2434 89499 24360 1 189.0000 164.6420 14.79%
2432.84/2439.38 c 2439 89741 24424 1 189.0000 164.6427 14.79%
2438.72/2445.22 c 2445 89975 24498 1 189.0000 164.6448 14.79%
2444.40/2450.99 c 2451 90260 24559 1 189.0000 164.6454 14.79%
2449.79/2456.38 c 2456 90522 24613 1 189.0000 164.6470 14.79%
2455.67/2462.27 c 2462 90777 24688 1 189.0000 164.6478 14.79%
2461.06/2467.63 c 2468 91048 24743 1 189.0000 164.6487 14.79%
2466.73/2473.34 c 2473 91228 24809 1 189.0000 164.6496 14.79%
2471.82/2478.46 c 2478 91411 24876 1 189.0000 164.6503 14.79%
2477.42/2484.07 c 2484 91621 24958 1 189.0000 164.6509 14.79%
2482.59/2489.26 c 2489 91834 25007 1 189.0000 164.6530 14.79%
2488.23/2494.91 c 2495 92081 25080 1 189.0000 164.6539 14.79%
2493.92/2500.60 c 2501 92261 25136 1 189.0000 164.6546 14.79%
2499.11/2505.86 c 2506 92448 25225 1 189.0000 164.6551 14.79%
2505.00/2511.76 c 2512 92761 25292 1 189.0000 164.6567 14.78%
2510.30/2517.09 c 2517 92874 25357 1 189.0000 164.6572 14.78%
2515.38/2522.17 c 2522 93251 25422 1 189.0000 164.6584 14.78%
2520.46/2527.21 c 2527 93541 25490 1 189.0000 164.6589 14.78%
2525.95/2532.70 c 2533 93721 25558 1 189.0000 164.6603 14.78%
2531.03/2537.82 c 2538 93901 25614 1 189.0000 164.6618 14.78%
2536.12/2542.95 c 2543 94171 25666 1 189.0000 164.6629 14.78%
2542.09/2548.91 c 2549 94387 25724 1 189.0000 164.6635 14.78%
2547.19/2554.03 c 2554 94581 25796 1 189.0000 164.6647 14.78%
2552.57/2559.49 c 2559 94851 25830 1 189.0000 164.6650 14.78%
2558.35/2565.24 c 2565 95071 25898 1 189.0000 164.6660 14.78%
2563.55/2570.46 c 2570 95261 25954 1 189.0000 164.6671 14.78%
2569.54/2576.46 c 2576 95472 26015 1 189.0000 164.6686 14.78%
2575.23/2582.15 c 2582 95644 26091 1 189.0000 164.6699 14.78%
2580.91/2587.80 c 2588 95937 26144 1 189.0000 164.6705 14.77%
2585.99/2592.93 c 2593 96151 26202 1 189.0000 164.6711 14.77%
2590.98/2597.93 c 2598 96371 26268 1 189.0000 164.6721 14.77%
2596.57/2603.58 c 2604 96577 26338 1 189.0000 164.6726 14.77%
2601.75/2608.70 c 2609 96841 26382 1 189.0000 164.6729 14.77%
2607.34/2614.38 c 2614 96954 26455 1 189.0000 164.6734 14.77%
2612.52/2619.56 c 2620 97111 26502 1 189.0000 164.6745 14.77%
2618.41/2625.40 c 2625 97326 26571 1 189.0000 164.6748 14.77%
2624.11/2631.13 c 2631 97571 26618 1 189.0000 164.6758 14.77%
2629.48/2636.50 c 2636 97864 26687 1 189.0000 164.6761 14.77%
2635.37/2642.47 c 2642 98097 26754 1 189.0000 164.6773 14.77%
2641.35/2648.48 c 2648 98307 26832 1 189.0000 164.6781 14.77%
2646.95/2654.06 c 2654 98580 26889 1 189.0000 164.6789 14.77%
2652.04/2659.18 c 2659 98751 26948 1 189.0000 164.6800 14.77%
2657.11/2664.21 c 2664 98934 27009 1 189.0000 164.6804 14.77%
2662.11/2669.27 c 2669 99161 27078 1 189.0000 164.6815 14.77%
2667.30/2674.43 c 2674 99434 27115 1 189.0000 164.6819 14.77%
2672.58/2679.77 c 2680 99691 27184 1 189.0000 164.6832 14.77%
2678.07/2685.21 c 2685 99871 27264 1 189.0000 164.6838 14.77%
2683.55/2690.72 c 2691 100011 27332 1 189.0000 164.6853 14.76%
2688.74/2695.96 c 2696 100211 27392 1 189.0000 164.6862 14.76%
2694.33/2701.59 c 2702 100397 27474 1 189.0000 164.6866 14.76%
2700.41/2707.60 c 2708 100761 27536 1 189.0000 164.6876 14.76%
2705.50/2712.71 c 2713 100991 27600 1 189.0000 164.6880 14.76%
2711.29/2718.57 c 2719 101164 27675 1 189.0000 164.6885 14.76%
2717.08/2724.33 c 2724 101491 27746 1 189.0000 164.6890 14.76%
2722.56/2729.87 c 2730 101681 27806 1 189.0000 164.6900 14.76%
2728.15/2735.42 c 2735 101961 27880 1 189.0000 164.6913 14.76%
2733.33/2740.60 c 2741 102151 27940 1 189.0000 164.6922 14.76%
2738.84/2746.13 c 2746 102321 28006 1 189.0000 164.6928 14.76%
2744.02/2751.35 c 2751 102561 28078 1 189.0000 164.6935 14.76%
2749.81/2757.18 c 2757 102841 28144 1 189.0000 164.6951 14.76%
2755.09/2762.49 c 2762 102994 28197 1 189.0000 164.6952 14.76%
2760.97/2768.38 c 2768 103285 28254 1 189.0000 164.6957 14.76%
2766.86/2774.28 c 2774 103551 28332 1 189.0000 164.6969 14.76%
2772.24/2779.60 c 2780 103696 28403 1 189.0000 164.6977 14.76%
2777.53/2784.94 c 2785 103996 28455 1 189.0000 164.6983 14.76%
2782.92/2790.30 c 2790 104225 28544 1 189.0000 164.6991 14.75%
2788.80/2796.25 c 2796 104514 28625 1 189.0000 164.7002 14.75%
2793.80/2801.26 c 2801 104791 28674 1 189.0000 164.7006 14.75%
2799.79/2807.25 c 2807 105046 28749 1 189.0000 164.7014 14.75%
2804.97/2812.48 c 2812 105361 28814 1 189.0000 164.7019 14.75%
2810.57/2818.11 c 2818 105581 28876 1 189.0000 164.7021 14.75%
2815.85/2823.36 c 2823 105738 28943 1 189.0000 164.7027 14.75%
2821.83/2829.35 c 2829 105995 29020 1 189.0000 164.7034 14.75%
2827.32/2834.88 c 2835 106181 29096 1 189.0000 164.7044 14.75%
2832.91/2840.45 c 2840 106421 29156 1 189.0000 164.7052 14.75%
2838.79/2846.31 c 2846 106612 29241 1 189.0000 164.7062 14.75%
2844.59/2852.19 c 2852 106751 29318 1 189.0000 164.7071 14.75%
2849.76/2857.34 c 2857 106927 29392 1 189.0000 164.7081 14.75%
2854.85/2862.42 c 2862 107109 29462 1 189.0000 164.7086 14.75%
2860.04/2867.62 c 2868 107421 29590 1 189.0000 164.7088 14.75%
2865.93/2873.58 c 2874 107584 29695 1 189.0000 164.7093 14.75%
2871.82/2879.40 c 2879 107852 29773 1 189.0000 164.7097 14.75%
2877.60/2885.21 c 2885 108186 29851 1 189.0000 164.7103 14.75%
2882.68/2890.36 c 2890 108481 29914 1 189.0000 164.7105 14.75%
2887.97/2895.69 c 2896 108724 29973 1 189.0000 164.7113 14.75%
2893.38/2901.10 c 2901 108901 30042 1 189.0000 164.7119 14.75%
2899.05/2906.74 c 2907 109074 30137 1 189.0000 164.7126 14.75%
2904.13/2911.88 c 2912 109441 30192 1 189.0000 164.7134 14.74%
2909.71/2917.40 c 2917 109631 30250 1 189.0000 164.7147 14.74%
2915.30/2923.06 c 2923 109872 30329 1 189.0000 164.7149 14.74%
2921.17/2928.96 c 2929 110335 30388 1 189.0000 164.7152 14.74%
2926.66/2934.40 c 2934 110518 30445 1 189.0000 164.7157 14.74%
2931.75/2939.51 c 2940 110725 30500 1 189.0000 164.7161 14.74%
2937.43/2945.23 c 2945 110964 30587 1 189.0000 164.7165 14.74%
2942.81/2950.66 c 2951 111171 30666 1 189.0000 164.7171 14.74%
2948.09/2955.90 c 2956 111371 30732 1 189.0000 164.7173 14.74%
2953.19/2961.07 c 2961 111511 30808 1 189.0000 164.7181 14.74%
2958.36/2966.20 c 2966 111832 30871 1 189.0000 164.7184 14.74%
2963.64/2971.57 c 2972 112021 30924 1 189.0000 164.7190 14.74%
2968.73/2976.60 c 2977 112186 30995 1 189.0000 164.7199 14.74%
2973.81/2981.71 c 2982 112331 31070 1 189.0000 164.7215 14.74%
2979.39/2987.35 c 2987 112571 31156 1 189.0000 164.7222 14.74%
2985.37/2993.36 c 2993 112841 31224 1 189.0000 164.7230 14.74%
2991.08/2999.02 c 2999 113081 31300 1 189.0000 164.7237 14.74%
2996.45/3004.44 c 3004 113322 31383 1 189.0000 164.7242 14.74%
3001.53/3009.55 c 3010 113601 31448 1 189.0000 164.7246 14.74%
3007.21/3015.27 c 3015 113819 31520 1 189.0000 164.7254 14.74%
3012.29/3020.36 c 3020 113981 31586 1 189.0000 164.7268 14.74%
3017.88/3025.93 c 3026 114221 31662 1 189.0000 164.7276 14.73%
3022.86/3030.99 c 3031 114511 31704 1 189.0000 164.7281 14.73%
3028.25/3036.37 c 3036 114677 31782 1 189.0000 164.7289 14.73%
3033.84/3041.93 c 3042 114971 31838 1 189.0000 164.7297 14.73%
3039.05/3047.18 c 3047 115226 31915 1 189.0000 164.7300 14.73%
3044.22/3052.33 c 3052 115441 31968 1 189.0000 164.7305 14.73%
3049.50/3057.68 c 3058 115624 32023 1 189.0000 164.7323 14.73%
3054.90/3063.07 c 3063 115801 32090 1 189.0000 164.7331 14.73%
3059.98/3068.13 c 3068 115941 32136 1 189.0000 164.7337 14.73%
3065.05/3073.27 c 3073 116115 32202 1 189.0000 164.7350 14.73%
3070.13/3078.38 c 3078 116310 32275 1 189.0000 164.7354 14.73%
3075.32/3083.54 c 3084 116568 32315 1 189.0000 164.7358 14.73%
3081.20/3089.48 c 3089 116954 32379 1 189.0000 164.7359 14.73%
3086.38/3094.63 c 3095 117141 32452 1 189.0000 164.7370 14.73%
3091.58/3099.84 c 3100 117354 32503 1 189.0000 164.7372 14.73%
3097.46/3105.78 c 3106 117624 32573 1 189.0000 164.7381 14.73%
3103.24/3111.51 c 3112 117820 32643 1 189.0000 164.7389 14.73%
3108.42/3116.77 c 3117 118038 32687 1 189.0000 164.7399 14.73%
3113.61/3121.94 c 3122 118281 32740 1 189.0000 164.7405 14.73%
3118.99/3127.34 c 3127 118440 32797 1 189.0000 164.7408 14.73%
3124.97/3133.34 c 3133 118761 32860 1 189.0000 164.7412 14.73%
3130.15/3138.50 c 3138 118951 32926 1 189.0000 164.7419 14.72%
3135.34/3143.79 c 3144 119111 32996 1 189.0000 164.7426 14.72%
3140.92/3149.39 c 3149 119305 33054 1 189.0000 164.7436 14.72%
3146.71/3155.18 c 3155 119634 33151 1 189.0000 164.7442 14.72%
3152.18/3160.60 c 3161 119861 33208 1 189.0000 164.7451 14.72%
3158.07/3166.59 c 3167 120071 33290 1 189.0000 164.7459 14.72%
3163.15/3171.62 c 3172 120401 33328 1 189.0000 164.7462 14.72%
3168.84/3177.36 c 3177 120621 33416 1 189.0000 164.7478 14.72%
3173.82/3182.38 c 3182 120861 33482 1 189.0000 164.7486 14.72%
3179.00/3187.54 c 3188 121071 33540 1 189.0000 164.7493 14.72%
3184.78/3193.40 c 3193 121259 33624 1 189.0000 164.7503 14.72%
3190.48/3199.06 c 3199 121421 33698 1 189.0000 164.7511 14.72%
3196.24/3204.89 c 3205 121649 33772 1 189.0000 164.7516 14.72%
3201.54/3210.18 c 3210 121912 33837 1 189.0000 164.7522 14.72%
3206.72/3215.37 c 3215 122151 33890 1 189.0000 164.7530 14.72%
3212.10/3220.78 c 3221 122347 33956 1 189.0000 164.7544 14.72%
3217.50/3226.14 c 3226 122551 34016 1 189.0000 164.7552 14.72%
3223.38/3232.08 c 3232 122785 34102 1 189.0000 164.7558 14.72%
3228.65/3237.37 c 3237 123059 34170 1 189.0000 164.7572 14.71%
3234.13/3242.84 c 3243 123300 34235 1 189.0000 164.7577 14.71%
3239.12/3247.85 c 3248 123614 34273 1 189.0000 164.7579 14.71%
3244.21/3252.97 c 3253 123861 34322 1 189.0000 164.7596 14.71%
3249.31/3258.02 c 3258 124001 34384 1 189.0000 164.7600 14.71%
3254.40/3263.18 c 3263 124280 34443 1 189.0000 164.7602 14.71%
3260.38/3269.14 c 3269 124525 34504 1 189.0000 164.7608 14.71%
3266.06/3274.81 c 3275 124744 34581 1 189.0000 164.7611 14.71%
3271.14/3279.94 c 3280 124911 34650 1 189.0000 164.7622 14.71%
3276.43/3285.26 c 3285 125194 34705 1 189.0000 164.7630 14.71%
3281.82/3290.68 c 3291 125441 34798 1 189.0000 164.7643 14.71%
3287.41/3296.20 c 3296 125651 34866 1 189.0000 164.7660 14.71%
3292.70/3301.55 c 3302 125884 34917 1 189.0000 164.7664 14.71%
3298.30/3307.18 c 3307 126113 34990 1 189.0000 164.7670 14.71%
3303.47/3312.38 c 3312 126275 35052 1 189.0000 164.7676 14.71%
3309.06/3317.90 c 3318 126491 35114 1 189.0000 164.7682 14.71%
3314.54/3323.40 c 3323 126641 35188 1 189.0000 164.7699 14.71%
3320.24/3329.18 c 3329 126914 35243 1 189.0000 164.7700 14.71%
3325.52/3334.44 c 3334 127171 35272 1 189.0000 164.7710 14.70%
3330.50/3339.46 c 3339 127464 35335 1 189.0000 164.7716 14.70%
3335.79/3344.70 c 3345 127852 35395 1 189.0000 164.7725 14.70%
3341.09/3350.03 c 3350 128104 35455 1 189.0000 164.7730 14.70%
3346.47/3355.48 c 3355 128477 35518 1 189.0000 164.7735 14.70%
3352.16/3361.12 c 3361 128711 35574 1 189.0000 164.7745 14.70%
3357.23/3366.25 c 3366 128941 35652 1 189.0000 164.7748 14.70%
3362.53/3371.58 c 3372 129235 35690 1 189.0000 164.7749 14.70%
3367.82/3376.88 c 3377 129471 35770 1 189.0000 164.7765 14.70%
3373.20/3382.30 c 3382 129751 35836 1 189.0000 164.7768 14.70%
3378.89/3387.93 c 3388 129941 35908 1 189.0000 164.7770 14.70%
3384.67/3393.76 c 3394 130171 35986 1 189.0000 164.7783 14.70%
3390.56/3399.62 c 3400 130420 36059 1 189.0000 164.7789 14.70%
3396.44/3405.54 c 3406 130641 36146 1 189.0000 164.7794 14.70%
3401.53/3410.69 c 3411 130810 36213 1 189.0000 164.7799 14.70%
3407.32/3416.43 c 3416 131143 36268 1 189.0000 164.7806 14.70%
3412.60/3421.79 c 3422 131400 36315 1 189.0000 164.7810 14.70%
3418.49/3427.67 c 3428 131652 36381 1 189.0000 164.7813 14.70%
3424.28/3433.41 c 3433 131954 36467 1 189.0000 164.7822 14.70%
3430.27/3439.42 c 3439 132202 36549 1 189.0000 164.7827 14.70%
3435.65/3444.85 c 3445 132378 36619 1 189.0000 164.7834 14.70%
3440.74/3449.95 c 3450 132531 36680 1 189.0000 164.7840 14.70%
3446.23/3455.40 c 3455 132701 36754 1 189.0000 164.7844 14.70%
3451.41/3460.67 c 3461 132904 36815 1 189.0000 164.7849 14.69%
3456.91/3466.15 c 3466 133109 36878 1 189.0000 164.7856 14.69%
3461.99/3471.21 c 3471 133541 36890 1 189.0000 164.7861 14.69%
3467.58/3476.85 c 3477 133780 37007 1 189.0000 164.7867 14.69%
3473.47/3482.79 c 3483 134054 37085 1 189.0000 164.7871 14.69%
3478.66/3487.97 c 3488 134261 37150 1 189.0000 164.7877 14.69%
3484.64/3493.93 c 3494 134454 37221 1 189.0000 164.7883 14.69%
3490.13/3499.48 c 3499 134791 37288 1 189.0000 164.7885 14.69%
3496.01/3505.31 c 3505 134984 37357 1 189.0000 164.7890 14.69%
3501.10/3510.48 c 3510 135201 37426 1 189.0000 164.7891 14.69%
3506.80/3516.12 c 3516 135551 37496 1 189.0000 164.7894 14.69%
3512.88/3522.23 c 3522 135694 37567 1 189.0000 164.7898 14.69%
3518.36/3527.78 c 3528 136071 37616 1 189.0000 164.7903 14.69%
3523.66/3533.03 c 3533 136241 37688 1 189.0000 164.7906 14.69%
3528.65/3538.06 c 3538 136441 37762 1 189.0000 164.7910 14.69%
3533.83/3543.24 c 3543 136681 37824 1 189.0000 164.7916 14.69%
3539.01/3548.49 c 3548 136781 37880 1 189.0000 164.7918 14.69%
3544.30/3553.74 c 3554 136956 37947 1 189.0000 164.7923 14.69%
3549.60/3559.07 c 3559 137191 38014 1 189.0000 164.7936 14.69%
3555.27/3564.78 c 3565 137420 38085 1 189.0000 164.7940 14.69%
3561.27/3570.77 c 3571 137659 38162 1 189.0000 164.7949 14.69%
3566.75/3576.21 c 3576 137849 38230 1 189.0000 164.7954 14.69%
3572.04/3581.53 c 3582 138181 38268 1 189.0000 164.7959 14.69%
3577.43/3586.99 c 3587 138394 38329 1 189.0000 164.7960 14.69%
3582.53/3592.06 c 3592 138711 38380 1 189.0000 164.7962 14.69%
3588.00/3597.54 c 3598 138891 38452 1 189.0000 164.7971 14.69%
3590.61/3600.14 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.61/3600.14 c Total Time : 3600.13
3590.61/3600.14 c solving : 3600.13
3590.61/3600.14 c presolving : 0.05 (included in solving)
3590.61/3600.14 c B&B Tree :
3590.61/3600.14 c nodes (total) : 1
3590.61/3600.14 c Solution :
3590.61/3600.14 c Solutions found : 14
3590.61/3600.14 c Primal Bound : +1.89000000000000e+02
3590.61/3600.14 c Dual Bound : +1.64797210143059e+02
3590.61/3600.14 c Gap : 14.68641 %
3590.61/3600.14 c * Warning: final gap: 1.46864e-01 is greater than SCIPepsilon: 1.00000e-09
3590.61/3600.14 o 189
3590.61/3600.14 s SATISFIABLE
3590.61/3600.14 v x476 -x475 x474 x473 -x472 x471 x470 -x469 -x468 x467 -x466 x465 -x464 x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454
3590.61/3600.14 v -x453 -x452 -x451 -x450 -x449 x448 x447 x446 x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 x435 -x434 -x433 -x432
3590.61/3600.14 v x431 -x430 x429 -x428 -x427 -x426 -x425 -x424 x423 -x422 -x421 -x420 x419 x418 x417 x416 -x415 -x414 -x413 -x412 -x411 -x410
3590.61/3600.14 v x409 x408 -x407 -x406 x405 x404 -x403 x402 x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 -x391 x390 x389 x388
3590.61/3600.14 v -x387 x386 x385 -x384 -x383 -x382 x381 -x380 -x379 -x378 -x377 -x376 x375 -x374 x373 x372 -x371 -x370 -x369 -x368 -x367 -x366
3590.61/3600.14 v -x365 x364 -x363 x362 -x361 x360 x359 -x358 -x357 -x356 x355 -x354 x353 x352 x351 x350 -x349 x348 -x347 x346 -x345 -x344 -x343
3590.61/3600.14 v -x342 x341 x340 x339 -x338 -x337 -x336 x335 -x334 -x333 x332 -x331 x330 x329 x328 x327 -x326 -x325 x324 -x323 x322 -x321
3590.61/3600.14 v -x320 x319 -x318 -x317 -x316 -x315 -x314 x313 -x312 x311 x310 -x309 -x308 -x307 -x306 x305 x304 -x303 x302 -x301 x300 -x299
3590.61/3600.14 v -x298 -x297 -x296 x295 -x294 -x293 -x292 -x291 x290 -x289 -x288 x287 -x286 -x285 -x284 -x283 x282 -x281 x280 -x279 x278 -x277
3590.61/3600.14 v x276 x275 x274 x273 x272 x271 -x270 -x269 x268 -x267 x266 x265 x264 -x263 -x262 -x261 -x260 x259 -x258 x257 -x256 -x255 -x254
3590.61/3600.14 v x253 -x252 -x251 -x250 -x249 x248 -x247 x246 -x245 x244 x243 x242 x241 x240 x239 -x238 -x237 -x236 x235 x234 -x233 -x232 x231
3590.61/3600.14 v -x230 -x229 x228 -x227 -x226 -x225 x224 x223 x222 x221 -x220 x219 x218 x217 x216 -x215 -x214 -x213 -x212 x211 -x210 -x209
3590.61/3600.14 v -x208 x207 x206 -x205 x204 x203 -x202 -x201 x200 -x199 x198 x197 x196 -x195 -x194 -x193 -x192 x191 x190 -x189 -x188 -x187 -x186
3590.61/3600.14 v -x185 x184 x183 x182 x181 -x180 -x179 x178 x177 x176 x175 -x174 -x173 -x172 -x171 -x170 x169 x168 -x167 x166 x165 -x164 x163
3590.61/3600.14 v -x162 x161 x160 -x159 x158 -x157 -x156 x155 x154 -x153 x152 -x151 x150 -x149 x148 -x147 -x146 -x145 -x144 x143 x142 x141 -x140
3590.61/3600.14 v x139 -x138 -x137 x136 x135 x134 -x133 x132 -x131 -x130 -x129 x128 x127 -x126 -x125 x124 -x123 -x122 -x121 x120 -x119 -x118
3590.61/3600.14 v x117 x116 -x115 -x114 -x113 x112 -x111 -x110 x109 -x108 x107 -x106 x105 x104 -x103 -x102 -x101 -x100 x99 x98 -x97 x96 -x95
3590.61/3600.14 v -x94 x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 x78 x77 x76 -x75 x74 x73 -x72 -x71 -x70 x69 -x68
3590.61/3600.14 v -x67 -x66 -x65 -x64 x63 x62 -x61 x60 -x59 -x58 x57 x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42
3590.61/3600.14 v x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 x31 x30 -x29 -x28 -x27 -x26 x25 -x24 x23 -x22 x21 -x20 -x19 -x18 -x17 x16 -x15
3590.61/3600.14 v x14 -x13 -x12 -x11 x10 x9 -x8 -x7 -x6 x5 x4 -x3 x2 x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (62395 MiB free)
memory of node 1: 64510 MiB (63309 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434646-1721084942/watcher-4434646-1721084942 -o /tmp/evaluation-result-4434646-1721084942/solver-4434646-1721084942 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721081354-814857 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434646-1721084942.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=817221, runsolver pid=817217
[startup+0.100094 s]*
/proc/loadavg: 4.13 4.12 4.09 5/249 817236
/proc/meminfo: memFree=128681432/131655788 swapFree=131071996/131071996
[pid=817221] ppid=817217 vsize=112424 memory=28384 CPUtime=0.1 cores=5,7
/proc/817221/stat : 817221 (fscip) R 817217 817221 814844 0 -1 1077936128 4509 0 0 0 9 1 0 0 20 0 3 0 160650912 115122176 7096 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
/proc/817221/statm: 28106 7096 2894 3032 0 10461 0
[pid=817221/tid=817235] ppid=817217 vsize=112424 memory=4026531971 CPUtime=0.03 cores=5,7
/proc/817221/task/817235/stat : 817235 (fscip) R 817217 817221 814844 0 -1 4194368 2071 0 0 0 3 0 0 0 20 0 3 0 160650919 115122176 7096 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
[pid=817221/tid=817236] ppid=817217 vsize=112424 memory=5822 CPUtime=0 cores=5,7
/proc/817221/task/817236/stat : 817236 (fscip) S 817217 817221 814844 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160650920 115122176 7096 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 112424 KiB
Current children cumulated memory: 28384 KiB
[startup+0.212916 s]*
/proc/loadavg: 4.13 4.12 4.09 5/251 817238
/proc/meminfo: memFree=128666496/131655788 swapFree=131071996/131071996
[pid=817221] ppid=817217 vsize=112424 memory=28648 CPUtime=0.22 cores=5,7
/proc/817221/stat : 817221 (fscip) S 817217 817221 814844 0 -1 1077936128 4560 0 0 0 21 1 0 0 20 0 3 0 160650912 115122176 7162 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
/proc/817221/statm: 28106 7162 2894 3032 0 10521 0
[pid=817221/tid=817235] ppid=817217 vsize=112424 memory=8737651120394928259 CPUtime=0.14 cores=5,7
/proc/817221/task/817235/stat : 817235 (fscip) R 817217 817221 814844 0 -1 4194368 2122 0 0 0 14 0 0 0 20 0 3 0 160650919 115122176 7162 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
[pid=817221/tid=817236] ppid=817217 vsize=112424 memory=5822 CPUtime=0 cores=5,7
/proc/817221/task/817236/stat : 817236 (fscip) S 817217 817221 814844 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160650920 115122176 7162 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 112424 KiB
Current children cumulated memory: 28648 KiB
[startup+0.312208 s]*
/proc/loadavg: 4.13 4.12 4.09 5/251 817238
/proc/meminfo: memFree=128666212/131655788 swapFree=131071996/131071996
[pid=817221] ppid=817217 vsize=112424 memory=28648 CPUtime=0.31 cores=5,7
/proc/817221/stat : 817221 (fscip) S 817217 817221 814844 0 -1 1077936128 4592 0 0 0 30 1 0 0 20 0 3 0 160650912 115122176 7162 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
/proc/817221/statm: 28106 7162 2894 3032 0 10568 0
[pid=817221/tid=817235] ppid=817217 vsize=112424 memory=-6586625975291919204 CPUtime=0.24 cores=5,7
/proc/817221/task/817235/stat : 817235 (fscip) R 817217 817221 814844 0 -1 4194368 2154 0 0 0 24 0 0 0 20 0 3 0 160650919 115122176 7162 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
[pid=817221/tid=817236] ppid=817217 vsize=112424 memory=0 CPUtime=0 cores=5,7
/proc/817221/task/817236/stat : 817236 (fscip) S 817217 817221 814844 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160650920 115122176 7162 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 112424 KiB
Current children cumulated memory: 28648 KiB
[startup+0.700332 s]
/proc/loadavg: 4.13 4.12 4.09 5/251 817238
/proc/meminfo: memFree=128664220/131655788 swapFree=131071996/131071996
[pid=817221] ppid=817217 vsize=112424 memory=28912 CPUtime=0.69 cores=5,7
/proc/817221/stat : 817221 (fscip) S 817217 817221 814844 0 -1 1077936128 4646 0 0 0 68 1 0 0 20 0 3 0 160650912 115122176 7228 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
/proc/817221/statm: 28106 7228 2894 3032 0 10645 0
[pid=817221/tid=817235] ppid=817217 vsize=112424 memory=0 CPUtime=0.61 cores=5,7
/proc/817221/task/817235/stat : 817235 (fscip) R 817217 817221 814844 0 -1 4194368 2208 0 0 0 61 0 0 0 20 0 3 0 160650919 115122176 7228 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
[pid=817221/tid=817236] ppid=817217 vsize=112424 memory=0 CPUtime=0 cores=5,7
/proc/817221/task/817236/stat : 817236 (fscip) S 817217 817221 814844 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160650920 115122176 7228 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 112424 KiB
Current children cumulated memory: 28912 KiB
[startup+1.50041 s]
/proc/loadavg: 4.13 4.12 4.09 5/251 817238
/proc/meminfo: memFree=128623460/131655788 swapFree=131071996/131071996
[pid=817221] ppid=817217 vsize=138164 memory=71652 CPUtime=1.48 cores=5,7
/proc/817221/stat : 817221 (fscip) S 817217 817221 814844 0 -1 1077936128 18786 0 0 0 146 2 0 0 20 0 3 0 160650912 141479936 17913 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
/proc/817221/statm: 34541 17913 2910 3032 0 21346 0
[pid=817221/tid=817235] ppid=817217 vsize=138164 memory=0 CPUtime=1.4 cores=5,7
/proc/817221/task/817235/stat : 817235 (fscip) R 817217 817221 814844 0 -1 4194368 16348 0 0 0 139 1 0 0 20 0 3 0 160650919 141479936 17913 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
[pid=817221/tid=817236] ppid=817217 vsize=138164 memory=0 CPUtime=0 cores=5,7
/proc/817221/task/817236/stat : 817236 (fscip) S 817217 817221 814844 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160650920 141479936 17913 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 138164 KiB
Current children cumulated memory: 71652 KiB
[startup+3.11226 s]
/proc/loadavg: 4.12 4.12 4.09 5/251 817238
/proc/meminfo: memFree=128153828/131655788 swapFree=131071996/131071996
[pid=817221] ppid=817217 vsize=203700 memory=157412 CPUtime=3.1 cores=5,7
/proc/817221/stat : 817221 (fscip) S 817217 817221 814844 0 -1 1077936128 41523 0 0 0 304 6 0 0 20 0 3 0 160650912 208588800 39353 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
/proc/817221/statm: 50925 39353 2910 3032 0 43790 0
[pid=817221/tid=817235] ppid=817217 vsize=203700 memory=2273 CPUtime=3.02 cores=5,7
/proc/817221/task/817235/stat : 817235 (fscip) R 817217 817221 814844 0 -1 4194368 39083 0 0 0 297 5 0 0 20 0 3 0 160650919 208588800 39353 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
[pid=817221/tid=817236] ppid=817217 vsize=203700 memory=0 CPUtime=0 cores=5,7
/proc/817221/task/817236/stat : 817236 (fscip) S 817217 817221 814844 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 160650920 208588800 39353 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 203700 KiB
Current children cumulated memory: 157412 KiB
[startup+6.3003 s]
/proc/loadavg: 4.12 4.12 4.09 5/251 817238
/proc/meminfo: memFree=128142060/131655788 swapFree=131071996/131071996
[pid=817221] ppid=817217 vsize=203700 memory=158496 CPUtime=6.27 cores=5,7
/proc/817221/stat : 817221 (fscip) S 817217 817221 814844 0 -1 1077936128 45371 0 0 0 621 6 0 0 20 0 3 0 160650912 208588800 39624 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
/proc/817221/statm: 50925 39624 2910 3032 0 43790 0
[pid=817221/tid=817235] ppid=817217 vsize=203700 memory=-6658683569329847141 CPUtime=6.19 cores=5,7
/proc/817221/task/817235/stat : 817235 (fscip) R 817217 817221 814844 0 -1 4194368 42894 0 0 0 614 5 0 0 20 0 3 0 160650919 208588800 39624 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
[pid=817221/tid=817236] ppid=817217 vsize=203700 memory=-6658683569329847141 CPUtime=0 cores=5,7
/proc/817221/task/817236/stat : 817236 (fscip) S 817217 817221 814844 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 160650920 208588800 39624 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 203700 KiB
Current children cumulated memory: 158496 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=817221] ppid=817217 vsize=203700 memory=158800 CPUtime=12.65 cores=5,7
/proc/817221/stat : 817221 (fscip) S 817217 817221 814844 0 -1 1077936128 50478 0 0 0 1259 6 0 0 20 0 3 0 160650912 208588800 39700 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
/proc/817221/statm: 50925 39700 2958 3032 0 43790 0
[pid=817221/tid=817235] ppid=817217 vsize=203700 memory=-6658683569329847141 CPUtime=12.58 cores=5,7
/proc/817221/task/817235/stat : 817235 (fscip) R 817217 817221 814844 0 -1 4194368 47973 0 0 0 1253 5 0 0 20 0 3 0 160650919 208588800 39700 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
[pid=817221/tid=817236] ppid=817217 vsize=203700 memory=158800 CPUtime=0 cores=5,7
/proc/817221/task/817236/stat : 817236 (fscip) S 817217 817221 814844 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 160650920 208588800 39700 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 203700 KiB
Current children cumulated memory: 158800 KiB
[startup+25.5004 s]
/proc/loadavg: 4.09 4.11 4.09 5/251 817241
/proc/meminfo: memFree=127973344/131655788 swapFree=131071996/131071996
[pid=817221] ppid=817217 vsize=265612 memory=214404 CPUtime=25.42 cores=5,7
/proc/817221/stat : 817221 (fscip) S 817217 817221 814844 0 -1 1077936128 112722 0 0 0 2531 11 0 0 20 0 3 0 160650912 271986688 53601 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
/proc/817221/statm: 66403 53601 2958 3032 0 57865 0
[pid=817221/tid=817235] ppid=817217 vsize=265612 memory=218024 CPUtime=25.34 cores=5,7
/proc/817221/task/817235/stat : 817235 (fscip) R 817217 817221 814844 0 -1 4194368 109968 0 0 0 2524 10 0 0 20 0 3 0 160650919 271986688 53601 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
[pid=817221/tid=817236] ppid=817217 vsize=265612 memory=40964 CPUtime=0 cores=5,7
/proc/817221/task/817236/stat : 817236 (fscip) S 817217 817221 814844 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 160650920 271986688 53601 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 265612 KiB
Current children cumulated memory: 214404 KiB
[startup+51.1124 s]
/proc/loadavg: 4.11 4.12 4.09 5/251 817246
/proc/meminfo: memFree=127965660/131655788 swapFree=131071996/131071996
[pid=817221] ppid=817217 vsize=265612 memory=214416 CPUtime=50.96 cores=5,7
/proc/817221/stat : 817221 (fscip) S 817217 817221 814844 0 -1 1077936128 149269 0 0 0 5083 13 0 0 20 0 3 0 160650912 271986688 53604 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
/proc/817221/statm: 66403 53604 2958 3032 0 57865 0
[pid=817221/tid=817235] ppid=817217 vsize=265612 memory=214416 CPUtime=50.88 cores=5,7
/proc/817221/task/817235/stat : 817235 (fscip) R 817217 817221 814844 0 -1 4194368 146276 0 0 0 5076 12 0 0 20 0 3 0 160650919 271986688 53604 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
[pid=817221/tid=817236] ppid=817217 vsize=265612 memory=0 CPUtime=0 cores=5,7
/proc/817221/task/817236/stat : 817236 (fscip) S 817217 817221 814844 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 160650920 271986688 53604 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 265612 KiB
Current children cumulated memory: 214416 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/253 817258
/proc/meminfo: memFree=127695636/131655788 swapFree=131071996/131071996
[pid=817221] ppid=817217 vsize=328076 memory=288732 CPUtime=102.02 cores=5,7
/proc/817221/stat : 817221 (fscip) S 817217 817221 814844 0 -1 1077936128 253650 0 0 0 10181 21 0 0 20 0 3 0 160650912 335949824 72183 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
/proc/817221/statm: 82019 72183 2958 3032 0 76540 0
[pid=817221/tid=817235] ppid=817217 vsize=328076 memory=11408 CPUtime=101.94 cores=5,7
/proc/817221/task/817235/stat : 817235 (fscip) R 817217 817221 814844 0 -1 4194368 250558 0 0 0 10174 20 0 0 20 0 3 0 160650919 335949824 72183 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
[pid=817221/tid=817236] ppid=817217 vsize=328076 memory=40964 CPUtime=0 cores=5,7
/proc/817221/task/817236/stat : 817236 (fscip) S 817217 817221 814844 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 160650920 335949824 72183 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 328076 KiB
Current children cumulated memory: 288732 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=817221] ppid=817217 vsize=328076 memory=293112 CPUtime=161.87 cores=5,7
/proc/817221/stat : 817221 (fscip) S 817217 817221 814844 0 -1 1077936128 288868 0 0 0 16162 25 0 0 20 0 3 0 160650912 335949824 73278 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
/proc/817221/statm: 82019 73278 2974 3032 0 77562 0
[pid=817221/tid=817235] ppid=817217 vsize=328076 memory=293092 CPUtime=161.78 cores=5,7
/proc/817221/task/817235/stat : 817235 (fscip) R 817217 817221 814844 0 -1 4194368 285576 0 0 0 16154 24 0 0 20 0 3 0 160650919 335949824 73278 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
[pid=817221/tid=817236] ppid=817217 vsize=328076 memory=293092 CPUtime=0 cores=5,7
/proc/817221/task/817236/stat : 817236 (fscip) S 817217 817221 814844 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 160650920 335949824 73278 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 328076 KiB
################
# More data... #
################
/proc/817221/statm: 99796 87593 2974 3032 0 90330 0
[pid=817221/tid=817235] ppid=817217 vsize=399184 memory=349468 CPUtime=3452.63 cores=5,7
/proc/817221/task/817235/stat : 817235 (fscip) R 817217 817221 814844 0 -1 4194368 563642 0 0 0 345175 88 0 0 20 0 3 0 160650919 408764416 87593 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
[pid=817221/tid=817236] ppid=817217 vsize=399184 memory=350372 CPUtime=0.04 cores=5,7
/proc/817221/task/817236/stat : 817236 (fscip) S 817217 817221 814844 0 -1 1077936192 161 0 0 0 1 3 0 0 20 0 3 0 160650920 408764416 87593 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
Current children cumulated CPU time: 3453.11 s
Current children cumulated vsize: 399184 KiB
Current children cumulated memory: 350372 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=817221] ppid=817217 vsize=399184 memory=350372 CPUtime=3512.98 cores=5,7
/proc/817221/stat : 817221 (fscip) S 817217 817221 814844 0 -1 1077936128 570737 0 0 0 351191 107 0 0 20 0 3 0 160650912 408764416 87593 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
/proc/817221/statm: 99796 87593 2974 3032 0 90330 0
[pid=817221/tid=817235] ppid=817217 vsize=399184 memory=350372 CPUtime=3512.48 cores=5,7
/proc/817221/task/817235/stat : 817235 (fscip) R 817217 817221 814844 0 -1 4194368 566340 0 0 0 351159 89 0 0 20 0 3 0 160650919 408764416 87593 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
[pid=817221/tid=817236] ppid=817217 vsize=399184 memory=350372 CPUtime=0.04 cores=5,7
/proc/817221/task/817236/stat : 817236 (fscip) S 817217 817221 814844 0 -1 1077936192 163 0 0 0 1 3 0 0 20 0 3 0 160650920 408764416 87593 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
Current children cumulated CPU time: 3512.98 s
Current children cumulated vsize: 399184 KiB
Current children cumulated memory: 350372 KiB
[startup+3582.3 s]
/proc/loadavg: 4.27 4.16 4.11 5/251 819065
/proc/meminfo: memFree=127250968/131655788 swapFree=131071996/131071996
[pid=817221] ppid=817217 vsize=399992 memory=352596 CPUtime=3572.84 cores=5,7
/proc/817221/stat : 817221 (fscip) S 817217 817221 814844 0 -1 1077936128 574644 0 0 0 357176 108 0 0 20 0 3 0 160650912 409591808 88149 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
/proc/817221/statm: 99998 88149 2974 3032 0 90867 0
[pid=817221/tid=817235] ppid=817217 vsize=399992 memory=352592 CPUtime=3572.34 cores=5,7
/proc/817221/task/817235/stat : 817235 (fscip) R 817217 817221 814844 0 -1 4194368 570229 0 0 0 357144 90 0 0 20 0 3 0 160650919 409591808 88149 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
[pid=817221/tid=817236] ppid=817217 vsize=399992 memory=352596 CPUtime=0.04 cores=5,7
/proc/817221/task/817236/stat : 817236 (fscip) S 817217 817221 814844 0 -1 1077936192 165 0 0 0 1 3 0 0 20 0 3 0 160650920 409591808 88149 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
Current children cumulated CPU time: 3572.84 s
Current children cumulated vsize: 399992 KiB
Current children cumulated memory: 352596 KiB
[startup+3600.14 s]
# the end of solver process 817221 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.56 s, system=1.087 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=817221] ppid=817217 vsize=399992 memory=352596 CPUtime=3574.55 cores=5,7
/proc/817221/stat : 817221 (fscip) S 817217 817221 814844 0 -1 1077936128 574661 0 0 0 357347 108 0 0 20 0 3 0 160650912 409591808 88149 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
/proc/817221/statm: 99998 88149 2974 3032 0 90867 0
[pid=817221/tid=817235] ppid=817217 vsize=399992 memory=12724 CPUtime=3574.04 cores=5,7
/proc/817221/task/817235/stat : 817235 (fscip) R 817217 817221 814844 0 -1 4194368 570246 0 0 0 357314 90 0 0 20 0 3 0 160650919 409591808 88149 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
[pid=817221/tid=817236] ppid=817217 vsize=399992 memory=7682466449767832474 CPUtime=0.04 cores=5,7
/proc/817221/task/817236/stat : 817236 (fscip) S 817217 817221 814844 0 -1 1077936192 165 0 0 0 1 3 0 0 20 0 3 0 160650920 409591808 88149 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
Current children cumulated CPU time: 3574.55 s
Current children cumulated vsize: 399992 KiB
Current children cumulated memory: 352596 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=817221] ppid=817217 vsize=399992 memory=352596 CPUtime=3580.92 cores=5,7
/proc/817221/stat : 817221 (fscip) S 817217 817221 814844 0 -1 1077936128 574990 0 0 0 357984 108 0 0 20 0 3 0 160650912 409591808 88149 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
/proc/817221/statm: 99998 88149 2974 3032 0 90867 0
[pid=817221/tid=817235] ppid=817217 vsize=399992 memory=352596 CPUtime=3580.42 cores=5,7
/proc/817221/task/817235/stat : 817235 (fscip) R 817217 817221 814844 0 -1 4194368 570575 0 0 0 357952 90 0 0 20 0 3 0 160650919 409591808 88149 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
[pid=817221/tid=817236] ppid=817217 vsize=399992 memory=352596 CPUtime=0.04 cores=5,7
/proc/817221/task/817236/stat : 817236 (fscip) S 817217 817221 814844 0 -1 1077936192 165 0 0 0 1 3 0 0 20 0 3 0 160650920 409591808 88149 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
Current children cumulated CPU time: 3580.92 s
Current children cumulated vsize: 399992 KiB
Current children cumulated memory: 352596 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=817221] ppid=817217 vsize=399992 memory=352596 CPUtime=3587.3 cores=5,7
/proc/817221/stat : 817221 (fscip) S 817217 817221 814844 0 -1 1077936128 575029 0 0 0 358622 108 0 0 20 0 3 0 160650912 409591808 88149 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
/proc/817221/statm: 99998 88149 2974 3032 0 90867 0
[pid=817221/tid=817235] ppid=817217 vsize=399992 memory=352596 CPUtime=3586.8 cores=5,7
/proc/817221/task/817235/stat : 817235 (fscip) R 817217 817221 814844 0 -1 4194368 570614 0 0 0 358590 90 0 0 20 0 3 0 160650919 409591808 88149 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
[pid=817221/tid=817236] ppid=817217 vsize=399992 memory=352596 CPUtime=0.04 cores=5,7
/proc/817221/task/817236/stat : 817236 (fscip) S 817217 817221 814844 0 -1 1077936192 165 0 0 0 1 3 0 0 20 0 3 0 160650920 409591808 88149 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
Current children cumulated CPU time: 3587.3 s
Current children cumulated vsize: 399992 KiB
Current children cumulated memory: 352596 KiB
[startup+3598.4 s]
/proc/loadavg: 4.19 4.15 4.10 5/251 819068
/proc/meminfo: memFree=127248328/131655788 swapFree=131071996/131071996
[pid=817221] ppid=817217 vsize=399992 memory=352596 CPUtime=3588.9 cores=5,7
/proc/817221/stat : 817221 (fscip) S 817217 817221 814844 0 -1 1077936128 575033 0 0 0 358782 108 0 0 20 0 3 0 160650912 409591808 88149 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
/proc/817221/statm: 99998 88149 2974 3032 0 90867 0
[pid=817221/tid=817235] ppid=817217 vsize=399992 memory=41132 CPUtime=3588.4 cores=5,7
/proc/817221/task/817235/stat : 817235 (fscip) R 817217 817221 814844 0 -1 4194368 570618 0 0 0 358750 90 0 0 20 0 3 0 160650919 409591808 88149 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
[pid=817221/tid=817236] ppid=817217 vsize=399992 memory=12724 CPUtime=0.04 cores=5,7
/proc/817221/task/817236/stat : 817236 (fscip) S 817217 817221 814844 0 -1 1077936192 165 0 0 0 1 3 0 0 20 0 3 0 160650920 409591808 88149 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
Current children cumulated CPU time: 3588.9 s
Current children cumulated vsize: 399992 KiB
Current children cumulated memory: 352596 KiB
[startup+3599.2 s]
/proc/loadavg: 4.19 4.15 4.10 5/251 819068
/proc/meminfo: memFree=127248208/131655788 swapFree=131071996/131071996
[pid=817221] ppid=817217 vsize=399992 memory=352596 CPUtime=3589.7 cores=5,7
/proc/817221/stat : 817221 (fscip) S 817217 817221 814844 0 -1 1077936128 575040 0 0 0 358862 108 0 0 20 0 3 0 160650912 409591808 88149 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
/proc/817221/statm: 99998 88149 2974 3032 0 90867 0
[pid=817221/tid=817235] ppid=817217 vsize=399992 memory=41132 CPUtime=3589.19 cores=5,7
/proc/817221/task/817235/stat : 817235 (fscip) R 817217 817221 814844 0 -1 4194368 570625 0 0 0 358829 90 0 0 20 0 3 0 160650919 409591808 88149 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
[pid=817221/tid=817236] ppid=817217 vsize=399992 memory=32772 CPUtime=0.04 cores=5,7
/proc/817221/task/817236/stat : 817236 (fscip) S 817217 817221 814844 0 -1 1077936192 165 0 0 0 1 3 0 0 20 0 3 0 160650920 409591808 88149 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
Current children cumulated CPU time: 3589.7 s
Current children cumulated vsize: 399992 KiB
Current children cumulated memory: 352596 KiB
[startup+3599.6 s]
/proc/loadavg: 4.19 4.15 4.10 5/251 819068
/proc/meminfo: memFree=127248208/131655788 swapFree=131071996/131071996
[pid=817221] ppid=817217 vsize=399992 memory=352596 CPUtime=3590.1 cores=5,7
/proc/817221/stat : 817221 (fscip) S 817217 817221 814844 0 -1 1077936128 575042 0 0 0 358902 108 0 0 20 0 3 0 160650912 409591808 88149 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
/proc/817221/statm: 99998 88149 2974 3032 0 90867 0
[pid=817221/tid=817235] ppid=817217 vsize=399992 memory=41132 CPUtime=3589.59 cores=5,7
/proc/817221/task/817235/stat : 817235 (fscip) R 817217 817221 814844 0 -1 4194368 570627 0 0 0 358869 90 0 0 20 0 3 0 160650919 409591808 88149 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
[pid=817221/tid=817236] ppid=817217 vsize=399992 memory=12724 CPUtime=0.04 cores=5,7
/proc/817221/task/817236/stat : 817236 (fscip) S 817217 817221 814844 0 -1 1077936192 165 0 0 0 1 3 0 0 20 0 3 0 160650920 409591808 88149 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
Current children cumulated CPU time: 3590.1 s
Current children cumulated vsize: 399992 KiB
Current children cumulated memory: 352596 KiB
[startup+3600 s]*
/proc/loadavg: 4.19 4.15 4.10 5/251 819069
/proc/meminfo: memFree=127248312/131655788 swapFree=131071996/131071996
[pid=817221] ppid=817217 vsize=399992 memory=352596 CPUtime=3590.51 cores=5,7
/proc/817221/stat : 817221 (fscip) S 817217 817221 814844 0 -1 1077936128 575048 0 0 0 358943 108 0 0 20 0 3 0 160650912 409591808 88149 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
/proc/817221/statm: 99998 88149 2974 3032 0 90867 0
[pid=817221/tid=817235] ppid=817217 vsize=399992 memory=6720668735667387242 CPUtime=3590 cores=5,7
/proc/817221/task/817235/stat : 817235 (fscip) R 817217 817221 814844 0 -1 4194368 570632 0 0 0 358910 90 0 0 20 0 3 0 160650919 409591808 88149 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
[pid=817221/tid=817236] ppid=817217 vsize=399992 memory=7682466449767832474 CPUtime=0.04 cores=5,7
/proc/817221/task/817236/stat : 817236 (fscip) S 817217 817221 814844 0 -1 1077936192 165 0 0 0 1 3 0 0 20 0 3 0 160650920 409591808 88149 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
Current children cumulated CPU time: 3590.51 s
Current children cumulated vsize: 399992 KiB
Current children cumulated memory: 352596 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=817221] ppid=817217 vsize=398964 memory=351572 CPUtime=3590.61 cores=5,7
/proc/817221/stat : 817221 (fscip) S 817217 817221 814844 0 -1 1077936128 575571 0 0 0 358953 108 0 0 20 0 3 0 160650912 408539136 87893 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
/proc/817221/statm: 99741 87893 2974 3032 0 90610 0
[pid=817221/tid=817235] ppid=817217 vsize=398964 memory=352596 CPUtime=3590.1 cores=5,7
/proc/817221/task/817235/stat : 817235 (fscip) R 817217 817221 814844 0 -1 4194368 571155 0 0 0 358920 90 0 0 20 0 3 0 160650919 408539136 87893 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
[pid=817221/tid=817236] ppid=817217 vsize=398964 memory=352596 CPUtime=0.04 cores=5,7
/proc/817221/task/817236/stat : 817236 (fscip) S 817217 817221 814844 0 -1 1077936192 165 0 0 0 1 3 0 0 20 0 3 0 160650920 408539136 87893 134679101440 4194304 16613245 140722858370096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44969984 140722858374165 140722858374281 140722858374281 140722858381296 0
Current children cumulated CPU time: 3590.61 s
Current children cumulated vsize: 398964 KiB
Current children cumulated memory: 351572 KiB
Child status: 0
Real time (s): 3600.14
CPU time (s): 3590.65
CPU user time (s): 3589.56
CPU system time (s): 1.087
CPU usage (%): 99.7362
Max. virtual memory (cumulated for all children) (KiB): 399992
Max. memory (cumulated for all children) (KiB): 352596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.56
system time used= 1.08699
maximum resident set size= 352596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 575881
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= 12912
involuntary context switches= 1725
# summary of solver processes directly reported to runsolver:
# pid: 817221
# total CPU time (s): 3590.65
# total CPU user time (s): 3589.56
# total CPU system time (s): 1.087
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3112 second user time and 32.9682 second system time
The end
Begin job on nodeC007 at 2024-07-16 01:09:15
IDJOB=4434646
IDBENCH=147545
IDSOLVER=3064
FILE ID=nodeC007/4434646-1721084942
RUNJOBID= nodeC007-1721081354-814857
SLURM_JOB_ID= 7505557
Free space on /tmp= 723712 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_16.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-4434646-1721084942/watcher-4434646-1721084942 -o /tmp/evaluation-result-4434646-1721084942/solver-4434646-1721084942 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721081354-814857 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434646-1721084942.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f4fbd70ee8b80515313bebcddc52f82a
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 : 3491.634
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 : 3491.630
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.135
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.156
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.760
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 : 3491.629
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.130
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.429
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: 128732880 kB
MemAvailable: 129935856 kB
Buffers: 385300 kB
Cached: 1649016 kB
SwapCached: 0 kB
Active: 684800 kB
Inactive: 1693300 kB
Active(anon): 1428 kB
Inactive(anon): 379428 kB
Active(file): 683372 kB
Inactive(file): 1313872 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 112512 kB
Writeback: 12 kB
AnonPages: 343248 kB
Mapped: 103744 kB
Shmem: 37704 kB
KReclaimable: 91528 kB
Slab: 187528 kB
SReclaimable: 91528 kB
SUnreclaim: 96000 kB
KernelStack: 3772 kB
PageTables: 9508 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 740600 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