0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 24416256, getVmSize() = 24416256, SCIPgetMemUsed() = 2310901, SCIPgetMemTotal() = 2874309, 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 = 17970517, getVmSize() = 29495296, SCIPgetMemUsed() = 3270460, SCIPgetMemTotal() = 6565564, 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-4463975-1722378596
0.00/0.06 c Variables : 473 (473 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06 c Constraints : 473
0.00/0.06 c Objective sense : minimize
0.00/0.06 c Presolved Problem :
0.00/0.06 c Variables : 473 (473 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06 c Constraints : 535
0.00/0.06 c Constraints : Number
0.00/0.06 c knapsack : 435
0.00/0.06 c setppc : 84
0.00/0.06 c logicor : 16
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.08 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.08 c Nodes Active
0.00/0.08 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.10/0.14 c * 0 0 1 1 222.0000 - -
0.10/0.15 c * 0 0 1 1 213.0000 - -
5.37/5.44 c 5 2 1 1 213.0000 163.2829 30.45%
10.55/10.60 c 11 5 4 1 213.0000 163.4002 30.35%
15.64/15.74 c 16 9 8 1 213.0000 163.4002 30.35%
18.32/18.49 c * 18 12 11 1 207.0000 163.4002 26.68%
18.32/18.49 c * 18 12 11 1 202.0000 163.4002 23.62%
18.32/18.49 c * 18 12 11 1 200.0000 163.4002 22.40%
22.12/22.21 c 22 78 77 1 200.0000 163.4002 22.40%
27.20/27.33 c 27 131 130 1 200.0000 163.4280 22.38%
32.48/32.61 c 33 172 171 1 200.0000 163.4280 22.38%
38.16/38.31 c 38 219 218 1 200.0000 163.4280 22.38%
41.54/41.70 c * 42 231 230 1 193.0000 163.4280 18.09%
43.85/44.10 c 44 250 249 1 193.0000 163.4280 18.09%
49.83/50.08 c 50 296 295 1 193.0000 163.4280 18.09%
55.69/55.96 c 56 338 337 1 193.0000 163.4280 18.09%
61.17/61.47 c 61 376 375 1 193.0000 163.4280 18.09%
66.45/66.79 c 67 409 408 1 193.0000 163.4280 18.09%
72.42/72.73 c 73 453 452 1 193.0000 163.4280 18.09%
77.90/78.26 c 78 496 495 1 193.0000 163.4280 18.09%
83.69/84.08 c 84 550 549 1 193.0000 163.4280 18.09%
88.87/89.29 c 89 602 601 1 193.0000 163.4280 18.09%
94.34/94.71 c 95 651 650 1 193.0000 163.4280 18.09%
100.12/100.52 c 101 712 711 1 193.0000 163.4280 18.09%
105.80/106.29 c 106 773 772 1 193.0000 163.4280 18.09%
111.48/112.01 c 112 827 826 1 193.0000 163.4280 18.09%
117.66/118.17 c 118 904 903 1 193.0000 163.4280 18.09%
123.73/124.24 c 124 947 946 1 193.0000 163.4280 18.09%
129.63/130.12 c 130 1002 1001 1 193.0000 163.4280 18.09%
140.38/140.99 c 141 1051 1 1 193.0000 163.4280 18.09%
145.86/146.40 c 146 1055 5 1 193.0000 163.4280 18.09%
151.84/152.49 c 152 1066 16 1 193.0000 163.4280 18.09%
157.93/158.53 c 159 1121 71 1 193.0000 163.4280 18.09%
163.42/164.01 c 164 1160 110 1 193.0000 163.4502 18.08%
168.41/169.03 c 169 1230 180 1 193.0000 163.8059 17.82%
173.39/174.07 c 174 1332 282 1 193.0000 163.8926 17.76%
176.87/177.55 c * 178 1421 371 1 190.0000 163.9052 15.92%
178.47/179.16 c 179 1559 443 1 190.0000 163.9171 15.91%
184.35/185.06 c 185 1763 493 1 190.0000 164.0009 15.85%
189.44/190.15 c 190 1950 544 1 190.0000 164.0907 15.79%
195.10/195.82 c 196 2043 593 1 190.0000 164.1097 15.78%
200.30/201.07 c 201 2176 628 1 190.0000 164.1701 15.73%
206.07/206.86 c 207 2305 667 1 190.0000 164.2172 15.70%
211.16/211.98 c 212 2486 702 1 190.0000 164.2180 15.70%
216.25/217.08 c 217 2614 720 1 190.0000 164.2230 15.70%
221.62/222.49 c 222 2715 749 1 190.0000 164.2435 15.68%
227.10/227.98 c 228 2843 803 1 190.0000 164.2779 15.66%
232.98/233.87 c 234 3003 863 1 190.0000 164.3234 15.63%
238.86/239.77 c 240 3123 891 1 190.0000 164.3261 15.62%
244.16/245.06 c 245 3363 937 1 190.0000 164.3343 15.62%
249.43/250.38 c 250 3543 981 1 190.0000 164.3634 15.60%
254.91/255.87 c 256 3733 1065 1 190.0000 164.3807 15.59%
260.99/261.99 c 262 3873 1121 1 190.0000 164.4003 15.57%
267.27/268.26 c 268 4093 1193 1 190.0000 164.4291 15.55%
272.35/273.38 c 273 4331 1237 1 190.0000 164.4439 15.54%
277.93/278.92 c 279 4410 1276 1 190.0000 164.4475 15.54%
283.51/284.58 c 285 4576 1318 1 190.0000 164.4550 15.53%
289.49/290.51 c 291 4743 1349 1 190.0000 164.4626 15.53%
294.86/295.98 c 296 5003 1407 1 190.0000 164.4716 15.52%
300.64/301.79 c 302 5123 1459 1 190.0000 164.4873 15.51%
306.81/307.97 c 308 5323 1509 1 190.0000 164.5110 15.49%
312.49/313.60 c 314 5473 1565 1 190.0000 164.5195 15.49%
318.08/319.24 c 319 5691 1599 1 190.0000 164.5281 15.48%
323.06/324.25 c 324 5801 1627 1 190.0000 164.5446 15.47%
328.64/329.87 c 330 5933 1683 1 190.0000 164.5523 15.46%
333.72/334.93 c 335 6083 1719 1 190.0000 164.5791 15.45%
339.60/340.80 c 341 6223 1759 1 190.0000 164.5891 15.44%
345.48/346.77 c 347 6427 1807 1 190.0000 164.5915 15.44%
351.37/352.63 c 353 6653 1895 1 190.0000 164.5985 15.43%
356.45/357.71 c 358 6793 1943 1 190.0000 164.6024 15.43%
362.33/363.68 c 364 7213 2009 1 190.0000 164.6132 15.42%
367.41/368.77 c 369 7341 2061 1 190.0000 164.6329 15.41%
372.89/374.28 c 374 7541 2131 1 190.0000 164.6377 15.40%
378.28/379.68 c 380 7703 2197 1 190.0000 164.6451 15.40%
383.45/384.88 c 385 7933 2233 1 190.0000 164.6615 15.39%
389.53/390.95 c 391 8291 2291 1 190.0000 164.6668 15.38%
394.81/396.29 c 396 8511 2353 1 190.0000 164.6736 15.38%
400.49/401.90 c 402 8841 2407 1 190.0000 164.6813 15.37%
405.78/407.22 c 407 9013 2453 1 190.0000 164.6934 15.37%
411.96/413.48 c 413 9213 2515 1 190.0000 164.6968 15.36%
417.15/418.63 c 419 9383 2547 1 190.0000 164.7042 15.36%
422.13/423.66 c 424 9562 2582 1 190.0000 164.7077 15.36%
428.21/429.75 c 430 9763 2635 1 190.0000 164.7220 15.35%
433.89/435.46 c 435 9933 2687 1 190.0000 164.7317 15.34%
439.49/441.06 c 441 10053 2737 1 190.0000 164.7352 15.34%
445.06/446.65 c 447 10213 2779 1 190.0000 164.7416 15.33%
450.45/452.06 c 452 10371 2821 1 190.0000 164.7534 15.32%
456.22/457.83 c 458 10501 2879 1 190.0000 164.7587 15.32%
461.52/463.18 c 463 10663 2925 1 190.0000 164.7614 15.32%
466.78/468.43 c 468 10811 2973 1 190.0000 164.7694 15.31%
471.87/473.56 c 474 11001 3003 1 190.0000 164.7723 15.31%
477.05/478.71 c 479 11221 3055 1 190.0000 164.7762 15.31%
482.53/484.21 c 484 11351 3093 1 190.0000 164.7814 15.30%
488.21/489.94 c 490 11451 3149 1 190.0000 164.7844 15.30%
493.99/495.75 c 496 11683 3207 1 190.0000 164.7885 15.30%
500.17/501.94 c 502 11903 3271 1 190.0000 164.8025 15.29%
505.27/507.08 c 507 12053 3297 1 190.0000 164.8025 15.29%
510.25/512.10 c 512 12203 3333 1 190.0000 164.8067 15.29%
515.81/517.66 c 518 12343 3383 1 190.0000 164.8116 15.28%
521.40/523.21 c 523 12523 3435 1 190.0000 164.8169 15.28%
527.48/529.30 c 529 12621 3489 1 190.0000 164.8213 15.28%
533.17/535.06 c 535 12802 3542 1 190.0000 164.8259 15.27%
538.34/540.25 c 540 12971 3589 1 190.0000 164.8325 15.27%
543.72/545.68 c 546 13141 3623 1 190.0000 164.8356 15.27%
549.70/551.68 c 552 13253 3667 1 190.0000 164.8451 15.26%
555.58/557.50 c 558 13463 3731 1 190.0000 164.8552 15.25%
561.35/563.32 c 563 13673 3783 1 190.0000 164.8622 15.25%
567.23/569.24 c 569 13933 3833 1 190.0000 164.8686 15.24%
572.81/574.87 c * 575 14071 3875 1 189.0000 164.8779 14.63%
572.81/574.87 c 575 14071 3875 1 189.0000 164.8779 14.63%
577.89/579.92 c 580 14311 3793 1 189.0000 164.8862 14.62%
583.58/585.64 c 586 14411 3837 1 189.0000 164.8923 14.62%
588.77/590.88 c 591 14521 3885 1 189.0000 164.8954 14.62%
594.06/596.17 c 596 14627 3927 1 189.0000 164.9003 14.61%
599.12/601.24 c 601 14832 3974 1 189.0000 164.9072 14.61%
605.10/607.21 c 607 15010 4016 1 189.0000 164.9102 14.61%
610.58/612.73 c 613 15181 4049 1 189.0000 164.9259 14.60%
616.06/618.26 c 618 15321 4079 1 189.0000 164.9350 14.59%
621.35/623.56 c 624 15475 4127 1 189.0000 164.9373 14.59%
626.84/629.03 c 629 15603 4175 1 189.0000 164.9404 14.59%
632.20/634.46 c 634 15703 4227 1 189.0000 164.9422 14.59%
637.18/639.49 c 639 15853 4265 1 189.0000 164.9452 14.58%
642.78/645.02 c 645 15981 4301 1 189.0000 164.9498 14.58%
649.04/651.30 c 651 16421 4317 1 189.0000 164.9512 14.58%
654.73/657.01 c 657 16573 4377 1 189.0000 164.9558 14.58%
660.00/662.34 c 662 16653 4419 1 189.0000 164.9614 14.57%
665.09/667.40 c 667 16831 4467 1 189.0000 164.9657 14.57%
670.55/672.99 c 673 17012 4518 1 189.0000 164.9689 14.57%
675.65/678.06 c 678 17141 4555 1 189.0000 164.9793 14.56%
681.42/683.89 c 684 17303 4629 1 189.0000 164.9809 14.56%
687.10/689.53 c 690 17533 4725 1 189.0000 164.9809 14.56%
692.98/695.44 c 695 17695 4777 1 189.0000 164.9894 14.55%
698.16/700.60 c 701 17909 4809 1 189.0000 164.9959 14.55%
703.25/705.70 c 706 18101 4855 1 189.0000 165.0002 14.55%
708.24/710.77 c 711 18327 4907 1 189.0000 165.0017 14.54%
713.32/715.80 c 716 18551 4939 1 189.0000 165.0045 14.54%
718.31/720.82 c 721 18691 4991 1 189.0000 165.0082 14.54%
723.60/726.14 c 726 18776 5030 1 189.0000 165.0145 14.54%
728.97/731.59 c 732 18921 5073 1 189.0000 165.0202 14.53%
734.57/737.19 c 737 19163 5145 1 189.0000 165.0210 14.53%
739.74/742.35 c 742 19401 5181 1 189.0000 165.0252 14.53%
745.02/747.61 c 748 19635 5245 1 189.0000 165.0264 14.53%
750.80/753.40 c 753 19971 5295 1 189.0000 165.0316 14.52%
755.79/758.42 c 758 20165 5333 1 189.0000 165.0394 14.52%
761.97/764.63 c 765 20303 5397 1 189.0000 165.0466 14.51%
768.14/770.86 c 771 20543 5449 1 189.0000 165.0518 14.51%
773.63/776.38 c 776 20801 5485 1 189.0000 165.0590 14.50%
779.01/781.74 c 782 20963 5535 1 189.0000 165.0627 14.50%
784.58/787.31 c 787 21219 5573 1 189.0000 165.0664 14.50%
790.46/793.20 c 793 21383 5621 1 189.0000 165.0699 14.50%
796.04/798.82 c 799 21642 5658 1 189.0000 165.0772 14.49%
801.92/804.76 c 805 21803 5711 1 189.0000 165.0801 14.49%
808.10/810.95 c 811 22133 5799 1 189.0000 165.0820 14.49%
813.29/816.14 c 816 22398 5830 1 189.0000 165.0863 14.49%
818.67/821.58 c 822 22711 5871 1 189.0000 165.0889 14.48%
823.85/826.71 c 827 22901 5941 1 189.0000 165.0943 14.48%
829.04/831.94 c 832 23111 5999 1 189.0000 165.1001 14.48%
834.32/837.21 c 837 23253 6053 1 189.0000 165.1070 14.47%
839.90/842.81 c 843 23449 6113 1 189.0000 165.1131 14.47%
844.89/847.85 c 848 23707 6161 1 189.0000 165.1219 14.46%
850.08/853.09 c 853 23844 6200 1 189.0000 165.1283 14.46%
855.25/858.21 c 858 23983 6259 1 189.0000 165.1296 14.46%
860.23/863.26 c 863 24261 6313 1 189.0000 165.1419 14.45%
866.03/869.09 c 869 24453 6355 1 189.0000 165.1433 14.45%
871.80/874.87 c 875 24571 6401 1 189.0000 165.1498 14.44%
876.99/880.03 c 880 24693 6465 1 189.0000 165.1542 14.44%
882.46/885.51 c 886 24951 6525 1 189.0000 165.1603 14.43%
888.06/891.13 c 891 25301 6557 1 189.0000 165.1650 14.43%
893.94/897.09 c 897 25543 6623 1 189.0000 165.1680 14.43%
899.11/902.24 c 902 25741 6665 1 189.0000 165.1757 14.42%
904.49/907.60 c 908 25983 6725 1 189.0000 165.1774 14.42%
909.88/913.03 c 913 26123 6783 1 189.0000 165.1813 14.42%
915.86/919.10 c 919 26263 6847 1 189.0000 165.1891 14.41%
921.03/924.22 c 924 26431 6895 1 189.0000 165.1924 14.41%
926.71/929.99 c 930 26632 6948 1 189.0000 165.1932 14.41%
931.89/935.19 c 935 26809 7005 1 189.0000 165.1988 14.41%
937.56/940.81 c 941 27001 7059 1 189.0000 165.2044 14.40%
942.55/945.86 c 946 27134 7098 1 189.0000 165.2072 14.40%
947.74/951.09 c 951 27399 7145 1 189.0000 165.2119 14.40%
953.61/956.93 c 957 27543 7181 1 189.0000 165.2157 14.40%
959.19/962.53 c 963 27661 7247 1 189.0000 165.2258 14.39%
964.87/968.25 c 968 27763 7313 1 189.0000 165.2328 14.38%
970.68/974.02 c 974 27963 7393 1 189.0000 165.2385 14.38%
976.34/979.76 c 980 28271 7451 1 189.0000 165.2425 14.38%
981.33/984.79 c 985 28373 7509 1 189.0000 165.2441 14.38%
986.91/990.31 c 990 28691 7571 1 189.0000 165.2496 14.37%
992.19/995.64 c 996 28931 7621 1 189.0000 165.2509 14.37%
997.28/1000.75 c 1001 29039 7657 1 189.0000 165.2525 14.37%
1003.26/1006.75 c 1007 29223 7717 1 189.0000 165.2590 14.37%
1008.84/1012.30 c 1012 29581 7779 1 189.0000 165.2640 14.36%
1013.82/1017.35 c 1017 29761 7823 1 189.0000 165.2665 14.36%
1019.20/1022.72 c 1023 30071 7873 1 189.0000 165.2704 14.36%
1024.50/1028.10 c 1028 30341 7927 1 189.0000 165.2749 14.35%
1030.17/1033.72 c 1034 30541 7995 1 189.0000 165.2814 14.35%
1035.56/1039.16 c 1039 30711 8051 1 189.0000 165.2834 14.35%
1040.93/1044.59 c 1045 30863 8119 1 189.0000 165.2879 14.35%
1046.53/1050.19 c 1050 31072 8182 1 189.0000 165.2921 14.34%
1052.20/1055.86 c 1056 31243 8231 1 189.0000 165.2942 14.34%
1057.28/1060.91 c 1061 31353 8263 1 189.0000 165.2969 14.34%
1063.06/1066.74 c 1067 31521 8303 1 189.0000 165.3029 14.34%
1068.04/1071.78 c 1072 31831 8377 1 189.0000 165.3098 14.33%
1073.62/1077.32 c 1077 32021 8417 1 189.0000 165.3148 14.33%
1078.71/1082.42 c 1082 32373 8489 1 189.0000 165.3207 14.32%
1084.59/1088.38 c 1088 32582 8556 1 189.0000 165.3250 14.32%
1089.78/1093.52 c 1094 32841 8595 1 189.0000 165.3306 14.32%
1094.76/1098.54 c 1099 32973 8653 1 189.0000 165.3335 14.31%
1100.25/1104.07 c 1104 33241 8685 1 189.0000 165.3357 14.31%
1105.34/1109.17 c 1109 33381 8751 1 189.0000 165.3385 14.31%
1110.81/1114.68 c 1115 33561 8835 1 189.0000 165.3429 14.31%
1116.59/1120.45 c 1120 33769 8881 1 189.0000 165.3470 14.31%
1122.67/1126.52 c 1127 33993 8937 1 189.0000 165.3488 14.30%
1127.85/1131.74 c 1132 34243 9007 1 189.0000 165.3516 14.30%
1133.83/1137.72 c 1138 34444 9044 1 189.0000 165.3549 14.30%
1139.22/1143.17 c 1143 34788 9102 1 189.0000 165.3580 14.30%
1144.30/1148.23 c 1148 34951 9155 1 189.0000 165.3619 14.29%
1150.19/1154.18 c 1154 35153 9211 1 189.0000 165.3631 14.29%
1155.37/1159.38 c 1159 35421 9265 1 189.0000 165.3663 14.29%
1161.16/1165.12 c 1165 35601 9309 1 189.0000 165.3702 14.29%
1166.14/1170.17 c 1170 35771 9357 1 189.0000 165.3719 14.29%
1172.12/1176.12 c 1176 35930 9428 1 189.0000 165.3732 14.29%
1177.89/1181.96 c 1182 36073 9477 1 189.0000 165.3753 14.29%
1182.98/1187.05 c 1187 36263 9561 1 189.0000 165.3760 14.29%
1188.15/1192.20 c 1192 36571 9635 1 189.0000 165.3796 14.28%
1194.06/1198.11 c 1198 36791 9699 1 189.0000 165.3832 14.28%
1200.03/1204.11 c 1204 37003 9763 1 189.0000 165.3847 14.28%
1205.01/1209.17 c 1209 37191 9821 1 189.0000 165.3890 14.28%
1210.38/1214.57 c 1215 37333 9881 1 189.0000 165.3917 14.27%
1215.67/1219.81 c 1220 37679 9947 1 189.0000 165.3932 14.27%
1221.05/1225.24 c 1225 38020 10012 1 189.0000 165.3966 14.27%
1226.73/1230.97 c 1231 38291 10075 1 189.0000 165.3999 14.27%
1232.12/1236.37 c 1236 38497 10151 1 189.0000 165.4016 14.27%
1237.20/1241.47 c 1241 38811 10211 1 189.0000 165.4027 14.27%
1243.18/1247.47 c 1247 39138 10274 1 189.0000 165.4046 14.27%
1248.46/1252.71 c 1253 39366 10338 1 189.0000 165.4058 14.26%
1253.75/1258.05 c 1258 39611 10411 1 189.0000 165.4067 14.26%
1259.62/1264.01 c 1264 39793 10475 1 189.0000 165.4073 14.26%
1265.00/1269.39 c 1269 40073 10545 1 189.0000 165.4096 14.26%
1270.18/1274.58 c 1275 40281 10599 1 189.0000 165.4159 14.26%
1275.27/1279.66 c 1280 40488 10664 1 189.0000 165.4245 14.25%
1281.15/1285.59 c 1286 40793 10751 1 189.0000 165.4303 14.25%
1286.44/1290.87 c 1291 41051 10835 1 189.0000 165.4378 14.24%
1292.73/1297.19 c 1297 41193 10909 1 189.0000 165.4417 14.24%
1298.39/1302.88 c 1303 41443 10975 1 189.0000 165.4426 14.24%
1303.59/1308.03 c 1308 41791 11061 1 189.0000 165.4473 14.24%
1308.67/1313.11 c 1313 41931 11123 1 189.0000 165.4508 14.23%
1314.14/1318.68 c 1319 42373 11185 1 189.0000 165.4532 14.23%
1319.22/1323.71 c 1324 42651 11253 1 189.0000 165.4565 14.23%
1324.53/1329.08 c 1329 42861 11335 1 189.0000 165.4596 14.23%
1329.61/1334.14 c 1334 43080 11402 1 189.0000 165.4626 14.23%
1335.08/1339.68 c 1340 43338 11474 1 189.0000 165.4643 14.22%
1340.36/1344.93 c 1345 43572 11544 1 189.0000 165.4677 14.22%
1346.34/1350.92 c 1351 43941 11621 1 189.0000 165.4695 14.22%
1351.92/1356.51 c 1357 44201 11695 1 189.0000 165.4713 14.22%
1357.10/1361.73 c 1362 44429 11781 1 189.0000 165.4744 14.22%
1362.19/1366.88 c 1367 44661 11833 1 189.0000 165.4766 14.22%
1367.27/1371.98 c 1372 44861 11871 1 189.0000 165.4785 14.21%
1372.66/1377.38 c 1377 45123 11959 1 189.0000 165.4803 14.21%
1378.45/1383.18 c 1383 45343 12023 1 189.0000 165.4832 14.21%
1384.33/1389.02 c 1389 45694 12080 1 189.0000 165.4859 14.21%
1389.68/1394.43 c 1394 45943 12141 1 189.0000 165.4871 14.21%
1395.46/1400.20 c 1400 46273 12207 1 189.0000 165.4887 14.21%
1401.25/1406.10 c 1406 46470 12276 1 189.0000 165.4898 14.21%
1406.72/1411.55 c 1412 46697 12337 1 189.0000 165.4923 14.20%
1411.71/1416.56 c 1417 46971 12421 1 189.0000 165.4966 14.20%
1417.30/1422.14 c 1422 47231 12473 1 189.0000 165.4980 14.20%
1423.18/1428.10 c 1428 47572 12550 1 189.0000 165.4990 14.20%
1428.25/1433.17 c 1433 47851 12597 1 189.0000 165.5000 14.20%
1433.62/1438.51 c 1439 48199 12669 1 189.0000 165.5018 14.20%
1438.80/1443.70 c 1444 48373 12721 1 189.0000 165.5047 14.20%
1444.58/1449.56 c 1450 48721 12789 1 189.0000 165.5084 14.19%
1449.76/1454.79 c 1455 48963 12849 1 189.0000 165.5103 14.19%
1455.07/1460.09 c 1460 49281 12899 1 189.0000 165.5134 14.19%
1460.34/1465.38 c 1465 49451 12957 1 189.0000 165.5150 14.19%
1466.52/1471.50 c 1472 49763 13023 1 189.0000 165.5155 14.19%
1472.20/1477.26 c 1477 49941 13101 1 189.0000 165.5178 14.19%
1477.19/1482.28 c 1482 50131 13167 1 189.0000 165.5205 14.19%
1482.57/1487.65 c 1488 50433 13241 1 189.0000 165.5231 14.18%
1487.85/1492.91 c 1493 50667 13307 1 189.0000 165.5247 14.18%
1493.73/1498.89 c 1499 51091 13335 1 189.0000 165.5255 14.18%
1499.31/1504.49 c 1504 51464 13410 1 189.0000 165.5274 14.18%
1504.79/1509.91 c 1510 51748 13452 1 189.0000 165.5286 14.18%
1511.07/1516.20 c 1516 51943 13515 1 189.0000 165.5306 14.18%
1516.05/1521.21 c 1521 52091 13581 1 189.0000 165.5354 14.18%
1521.64/1526.82 c 1527 52441 13649 1 189.0000 165.5368 14.17%
1527.33/1532.57 c 1533 52633 13705 1 189.0000 165.5373 14.17%
1533.01/1538.20 c 1538 52900 13788 1 189.0000 165.5384 14.17%
1538.80/1544.09 c 1544 53317 13829 1 189.0000 165.5391 14.17%
1544.57/1549.84 c 1550 53782 13902 1 189.0000 165.5406 14.17%
1549.95/1555.29 c 1555 54069 13999 1 189.0000 165.5427 14.17%
1555.33/1560.68 c 1561 54371 14057 1 189.0000 165.5451 14.17%
1560.61/1565.94 c 1566 54583 14117 1 189.0000 165.5466 14.17%
1565.90/1571.27 c 1571 54903 14193 1 189.0000 165.5498 14.17%
1570.98/1576.36 c 1576 55181 14253 1 189.0000 165.5521 14.16%
1576.86/1582.29 c 1582 55393 14339 1 189.0000 165.5535 14.16%
1582.24/1587.69 c 1588 55931 14373 1 189.0000 165.5559 14.16%
1587.43/1592.83 c 1593 56181 14437 1 189.0000 165.5580 14.16%
1592.72/1598.11 c 1598 56497 14507 1 189.0000 165.5594 14.16%
1599.09/1604.50 c 1604 56781 14569 1 189.0000 165.5617 14.16%
1604.27/1609.76 c 1610 57081 14635 1 189.0000 165.5666 14.15%
1609.46/1615.01 c 1615 57286 14700 1 189.0000 165.5685 14.15%
1614.74/1620.22 c 1620 57479 14761 1 189.0000 165.5714 14.15%
1620.22/1625.80 c 1626 57703 14835 1 189.0000 165.5720 14.15%
1625.90/1631.44 c 1631 57977 14901 1 189.0000 165.5744 14.15%
1631.17/1636.78 c 1637 58371 14973 1 189.0000 165.5759 14.15%
1636.36/1641.94 c 1642 58563 15041 1 189.0000 165.5776 14.15%
1641.34/1647.01 c 1647 58743 15087 1 189.0000 165.5787 14.15%
1646.81/1652.42 c 1652 59031 15135 1 189.0000 165.5829 14.14%
1651.90/1657.57 c 1658 59233 15191 1 189.0000 165.5846 14.14%
1657.09/1662.70 c 1663 59471 15255 1 189.0000 165.5857 14.14%
1662.07/1667.71 c 1668 59931 15315 1 189.0000 165.5873 14.14%
1667.75/1673.45 c 1673 60093 15379 1 189.0000 165.5893 14.14%
1673.23/1679.01 c 1679 60324 15452 1 189.0000 165.5926 14.14%
1678.51/1684.25 c 1684 60617 15515 1 189.0000 165.5934 14.13%
1683.79/1689.57 c 1690 60821 15591 1 189.0000 165.5973 14.13%
1689.07/1694.89 c 1695 61088 15646 1 189.0000 165.5994 14.13%
1694.65/1700.43 c 1700 61393 15709 1 189.0000 165.6014 14.13%
1699.75/1705.54 c 1706 61601 15765 1 189.0000 165.6032 14.13%
1704.83/1710.66 c 1711 61871 15811 1 189.0000 165.6054 14.13%
1710.91/1716.77 c 1717 62163 15869 1 189.0000 165.6067 14.13%
1716.39/1722.29 c 1722 62383 15927 1 189.0000 165.6081 14.12%
1721.97/1727.85 c 1728 62601 16003 1 189.0000 165.6115 14.12%
1727.75/1733.65 c 1734 62946 16066 1 189.0000 165.6130 14.12%
1733.43/1739.34 c 1739 63301 16129 1 189.0000 165.6157 14.12%
1739.23/1745.12 c 1745 63553 16191 1 189.0000 165.6161 14.12%
1744.21/1750.15 c 1750 63781 16257 1 189.0000 165.6182 14.12%
1749.58/1755.52 c 1756 63951 16321 1 189.0000 165.6198 14.12%
1754.56/1760.58 c 1761 64191 16385 1 189.0000 165.6209 14.12%
1759.93/1766.01 c 1766 64401 16463 1 189.0000 165.6225 14.11%
1765.91/1771.96 c 1772 64633 16541 1 189.0000 165.6239 14.11%
1771.29/1777.31 c 1777 64861 16593 1 189.0000 165.6253 14.11%
1777.09/1783.12 c 1783 65073 16663 1 189.0000 165.6257 14.11%
1782.66/1788.73 c 1789 65224 16724 1 189.0000 165.6268 14.11%
1787.64/1793.77 c 1794 65589 16783 1 189.0000 165.6282 14.11%
1792.72/1798.88 c 1799 65813 16841 1 189.0000 165.6291 14.11%
1797.80/1803.97 c 1804 66001 16901 1 189.0000 165.6305 14.11%
1803.89/1810.04 c 1810 66233 16979 1 189.0000 165.6326 14.11%
1809.87/1816.02 c 1816 66805 17051 1 189.0000 165.6347 14.11%
1815.33/1821.56 c 1822 67123 17125 1 189.0000 165.6359 14.11%
1821.01/1827.26 c 1827 67447 17181 1 189.0000 165.6374 14.10%
1826.11/1832.38 c 1832 67791 17231 1 189.0000 165.6382 14.10%
1831.19/1837.47 c 1837 68051 17291 1 189.0000 165.6393 14.10%
1836.65/1842.91 c 1843 68331 17341 1 189.0000 165.6405 14.10%
1842.43/1848.77 c 1849 68541 17413 1 189.0000 165.6422 14.10%
1847.52/1853.87 c 1854 68861 17447 1 189.0000 165.6427 14.10%
1852.81/1859.13 c 1859 69062 17512 1 189.0000 165.6433 14.10%
1858.28/1864.61 c 1865 69351 17565 1 189.0000 165.6442 14.10%
1864.26/1870.61 c 1871 69553 17647 1 189.0000 165.6453 14.10%
1869.85/1876.22 c 1876 69841 17733 1 189.0000 165.6471 14.10%
1875.83/1882.23 c 1882 70227 17803 1 189.0000 165.6477 14.10%
1880.81/1887.24 c 1887 70441 17877 1 189.0000 165.6509 14.10%
1886.70/1893.19 c 1893 70783 17949 1 189.0000 165.6520 14.09%
1892.58/1899.06 c 1899 70991 17989 1 189.0000 165.6542 14.09%
1897.86/1904.31 c 1904 71171 18047 1 189.0000 165.6556 14.09%
1903.34/1909.88 c 1910 71451 18153 1 189.0000 165.6566 14.09%
1909.12/1915.67 c 1916 71713 18231 1 189.0000 165.6572 14.09%
1914.20/1920.73 c 1921 72031 18275 1 189.0000 165.6580 14.09%
1919.89/1926.40 c 1926 72301 18343 1 189.0000 165.6589 14.09%
1925.27/1931.87 c 1932 72611 18423 1 189.0000 165.6612 14.09%
1931.06/1937.62 c 1938 72954 18474 1 189.0000 165.6618 14.09%
1936.84/1943.47 c 1943 73373 18513 1 189.0000 165.6631 14.09%
1942.43/1949.06 c 1949 73841 18567 1 189.0000 165.6644 14.09%
1947.90/1954.59 c 1955 74103 18631 1 189.0000 165.6652 14.09%
1953.18/1959.83 c 1960 74333 18697 1 189.0000 165.6665 14.08%
1958.26/1964.93 c 1965 74573 18761 1 189.0000 165.6670 14.08%
1964.04/1970.78 c 1971 74991 18837 1 189.0000 165.6685 14.08%
1969.23/1976.01 c 1976 75371 18875 1 189.0000 165.6698 14.08%
1974.32/1981.10 c 1981 75641 18935 1 189.0000 165.6708 14.08%
1979.79/1986.51 c 1987 75991 18991 1 189.0000 165.6721 14.08%
1985.28/1992.09 c 1992 76271 19041 1 189.0000 165.6737 14.08%
1990.95/1997.75 c 1998 76598 19122 1 189.0000 165.6752 14.08%
1996.34/2003.17 c 2003 76791 19175 1 189.0000 165.6764 14.08%
2001.33/2008.19 c 2008 77058 19226 1 189.0000 165.6776 14.08%
2006.80/2013.64 c 2014 77431 19295 1 189.0000 165.6784 14.08%
2011.88/2018.70 c 2019 77801 19329 1 189.0000 165.6797 14.08%
2017.17/2024.08 c 2024 77903 19391 1 189.0000 165.6809 14.07%
2022.55/2029.40 c 2029 78213 19435 1 189.0000 165.6815 14.07%
2028.25/2035.14 c 2035 78443 19515 1 189.0000 165.6826 14.07%
2033.23/2040.17 c 2040 78673 19585 1 189.0000 165.6830 14.07%
2038.30/2045.20 c 2045 79051 19645 1 189.0000 165.6851 14.07%
2043.39/2050.35 c 2050 79281 19707 1 189.0000 165.6860 14.07%
2049.08/2056.01 c 2056 79661 19771 1 189.0000 165.6873 14.07%
2054.06/2061.09 c 2061 79921 19835 1 189.0000 165.6890 14.07%
2059.23/2066.28 c 2066 80151 19907 1 189.0000 165.6897 14.07%
2065.12/2072.14 c 2072 80471 19995 1 189.0000 165.6906 14.07%
2070.39/2077.49 c 2077 80711 20071 1 189.0000 165.6922 14.07%
2075.57/2082.69 c 2083 81141 20115 1 189.0000 165.6934 14.07%
2080.97/2088.04 c 2088 81440 20162 1 189.0000 165.6940 14.07%
2086.63/2093.74 c 2094 81661 20221 1 189.0000 165.6950 14.07%
2092.11/2099.29 c 2099 81941 20297 1 189.0000 165.6960 14.06%
2097.69/2104.80 c 2105 82293 20361 1 189.0000 165.6960 14.06%
2103.06/2110.30 c 2110 82571 20441 1 189.0000 165.6970 14.06%
2108.24/2115.48 c 2115 82781 20529 1 189.0000 165.6976 14.06%
2113.93/2121.13 c 2121 83091 20593 1 189.0000 165.6987 14.06%
2119.80/2127.04 c 2127 83351 20667 1 189.0000 165.7020 14.06%
2125.28/2132.50 c 2132 83816 20712 1 189.0000 165.7025 14.06%
2130.87/2138.12 c 2138 84131 20765 1 189.0000 165.7034 14.06%
2135.85/2143.19 c 2143 84381 20855 1 189.0000 165.7050 14.06%
2141.22/2148.54 c 2149 84701 20913 1 189.0000 165.7060 14.06%
2146.90/2154.24 c 2154 85018 20952 1 189.0000 165.7066 14.06%
2152.39/2159.71 c 2160 85321 21043 1 189.0000 165.7081 14.06%
2158.37/2165.70 c 2166 85623 21107 1 189.0000 165.7096 14.05%
2163.77/2171.11 c 2171 85931 21161 1 189.0000 165.7118 14.05%
2169.44/2176.80 c 2177 86141 21249 1 189.0000 165.7132 14.05%
2174.63/2182.08 c 2182 86508 21312 1 189.0000 165.7141 14.05%
2180.30/2187.70 c 2188 86881 21359 1 189.0000 165.7147 14.05%
2185.88/2193.38 c 2193 87091 21455 1 189.0000 165.7155 14.05%
2191.57/2199.07 c 2199 87429 21545 1 189.0000 165.7171 14.05%
2196.94/2204.40 c 2204 87731 21637 1 189.0000 165.7185 14.05%
2202.04/2209.52 c 2210 88111 21715 1 189.0000 165.7194 14.05%
2207.12/2214.66 c 2215 88311 21797 1 189.0000 165.7209 14.05%
2212.51/2220.08 c 2220 88481 21867 1 189.0000 165.7215 14.05%
2217.88/2225.46 c 2225 88901 21919 1 189.0000 165.7220 14.05%
2224.06/2231.60 c 2232 89163 21993 1 189.0000 165.7228 14.05%
2229.34/2236.98 c 2237 89421 22055 1 189.0000 165.7246 14.04%
2234.63/2242.27 c 2242 89690 22138 1 189.0000 165.7253 14.04%
2240.22/2247.89 c 2248 90053 22231 1 189.0000 165.7266 14.04%
2246.00/2253.66 c 2254 90481 22323 1 189.0000 165.7278 14.04%
2251.98/2259.64 c 2260 90981 22423 1 189.0000 165.7287 14.04%
2257.56/2265.25 c 2265 91341 22499 1 189.0000 165.7293 14.04%
2263.04/2270.71 c 2271 91581 22571 1 189.0000 165.7306 14.04%
2268.82/2276.55 c 2277 92031 22653 1 189.0000 165.7312 14.04%
2274.10/2281.86 c 2282 92281 22717 1 189.0000 165.7319 14.04%
2279.59/2287.33 c 2287 92551 22791 1 189.0000 165.7331 14.04%
2284.77/2292.57 c 2293 92801 22843 1 189.0000 165.7342 14.04%
2289.95/2297.79 c 2298 93018 22888 1 189.0000 165.7350 14.04%
2295.34/2303.11 c 2303 93401 22965 1 189.0000 165.7361 14.04%
2300.33/2308.13 c 2308 93671 23035 1 189.0000 165.7375 14.04%
2305.90/2313.74 c 2314 93931 23103 1 189.0000 165.7405 14.03%
2311.29/2319.13 c 2319 94173 23179 1 189.0000 165.7416 14.03%
2316.87/2324.75 c 2325 94541 23251 1 189.0000 165.7423 14.03%
2322.35/2330.24 c 2330 94751 23319 1 189.0000 165.7438 14.03%
2327.63/2335.56 c 2336 95061 23387 1 189.0000 165.7448 14.03%
2332.71/2340.64 c 2341 95391 23473 1 189.0000 165.7463 14.03%
2337.79/2345.74 c 2346 95631 23545 1 189.0000 165.7472 14.03%
2343.47/2351.47 c 2351 95905 23629 1 189.0000 165.7490 14.03%
2348.95/2356.90 c 2357 96201 23703 1 189.0000 165.7505 14.03%
2354.63/2362.69 c 2363 96551 23813 1 189.0000 165.7522 14.03%
2360.62/2368.60 c 2369 96791 23883 1 189.0000 165.7537 14.02%
2365.59/2373.65 c 2374 97151 23937 1 189.0000 165.7546 14.02%
2371.17/2379.24 c 2379 97481 23989 1 189.0000 165.7555 14.02%
2376.35/2384.41 c 2384 97701 24045 1 189.0000 165.7564 14.02%
2381.53/2389.66 c 2390 97931 24099 1 189.0000 165.7570 14.02%
2387.32/2395.41 c 2395 98151 24173 1 189.0000 165.7581 14.02%
2392.71/2400.88 c 2401 98401 24237 1 189.0000 165.7588 14.02%
2398.38/2406.53 c 2407 98761 24311 1 189.0000 165.7592 14.02%
2403.98/2412.19 c 2412 98902 24374 1 189.0000 165.7598 14.02%
2409.75/2417.94 c 2418 99261 24423 1 189.0000 165.7609 14.02%
2415.23/2423.41 c 2423 99481 24511 1 189.0000 165.7625 14.02%
2421.41/2429.66 c 2430 99763 24595 1 189.0000 165.7634 14.02%
2426.39/2434.69 c 2435 100101 24645 1 189.0000 165.7639 14.02%
2432.17/2440.43 c 2440 100321 24715 1 189.0000 165.7653 14.02%
2437.34/2445.66 c 2446 100583 24773 1 189.0000 165.7661 14.02%
2442.92/2451.22 c 2451 100804 24846 1 189.0000 165.7664 14.02%
2447.91/2456.28 c 2456 101173 24887 1 189.0000 165.7668 14.02%
2453.71/2462.06 c 2462 101513 24941 1 189.0000 165.7673 14.02%
2459.08/2467.46 c 2467 101861 25049 1 189.0000 165.7681 14.01%
2464.26/2472.68 c 2473 102151 25141 1 189.0000 165.7689 14.01%
2469.66/2478.08 c 2478 102521 25235 1 189.0000 165.7693 14.01%
2475.33/2483.77 c 2484 102821 25321 1 189.0000 165.7702 14.01%
2480.51/2488.90 c 2489 103171 25387 1 189.0000 165.7721 14.01%
2485.79/2494.21 c 2494 103463 25461 1 189.0000 165.7723 14.01%
2490.87/2499.35 c 2499 103771 25537 1 189.0000 165.7729 14.01%
2496.26/2504.76 c 2505 104101 25597 1 189.0000 165.7740 14.01%
2501.55/2510.01 c 2510 104291 25697 1 189.0000 165.7747 14.01%
2507.54/2516.02 c 2516 104590 25776 1 189.0000 165.7760 14.01%
2513.01/2521.51 c 2522 104751 25841 1 189.0000 165.7768 14.01%
2518.39/2526.91 c 2527 104951 25883 1 189.0000 165.7777 14.01%
2523.77/2532.37 c 2532 105131 25957 1 189.0000 165.7792 14.01%
2528.86/2537.45 c 2537 105461 26001 1 189.0000 165.7807 14.01%
2533.94/2542.56 c 2543 105799 26047 1 189.0000 165.7823 14.00%
2539.22/2547.87 c 2548 106181 26103 1 189.0000 165.7828 14.00%
2544.61/2553.21 c 2553 106335 26169 1 189.0000 165.7833 14.00%
2550.09/2558.77 c 2559 106661 26241 1 189.0000 165.7842 14.00%
2555.48/2564.18 c 2564 107076 26352 1 189.0000 165.7846 14.00%
2561.24/2569.95 c 2570 107355 26465 1 189.0000 165.7857 14.00%
2566.52/2575.27 c 2575 107591 26543 1 189.0000 165.7873 14.00%
2572.20/2580.97 c 2581 107941 26627 1 189.0000 165.7879 14.00%
2577.79/2586.50 c 2586 108211 26695 1 189.0000 165.7895 14.00%
2583.39/2592.15 c 2592 108471 26771 1 189.0000 165.7922 14.00%
2588.56/2597.33 c 2597 108741 26855 1 189.0000 165.7938 14.00%
2593.64/2602.49 c 2602 108891 26905 1 189.0000 165.7945 14.00%
2598.83/2607.62 c 2608 109140 26974 1 189.0000 165.7948 14.00%
2604.61/2613.49 c 2613 109431 27073 1 189.0000 165.7959 14.00%
2609.79/2618.68 c 2619 109795 27163 1 189.0000 165.7969 13.99%
2615.67/2624.57 c 2625 110083 27215 1 189.0000 165.7991 13.99%
2620.95/2629.87 c 2630 110531 27279 1 189.0000 165.8001 13.99%
2626.24/2635.14 c 2635 110811 27371 1 189.0000 165.8011 13.99%
2631.32/2640.27 c 2640 111131 27433 1 189.0000 165.8020 13.99%
2636.80/2645.78 c 2646 111431 27527 1 189.0000 165.8026 13.99%
2642.09/2651.07 c 2651 111772 27608 1 189.0000 165.8034 13.99%
2647.96/2656.94 c 2657 112141 27663 1 189.0000 165.8044 13.99%
2653.83/2662.85 c 2663 112351 27733 1 189.0000 165.8055 13.99%
2659.61/2668.68 c 2669 112616 27808 1 189.0000 165.8060 13.99%
2664.79/2673.83 c 2674 113022 27856 1 189.0000 165.8061 13.99%
2669.98/2679.04 c 2679 113311 27915 1 189.0000 165.8064 13.99%
2675.25/2684.38 c 2684 113561 27983 1 189.0000 165.8071 13.99%
2680.34/2689.46 c 2689 113821 28043 1 189.0000 165.8077 13.99%
2685.93/2695.06 c 2695 114103 28127 1 189.0000 165.8084 13.99%
2691.19/2700.34 c 2700 114321 28199 1 189.0000 165.8095 13.99%
2696.17/2705.39 c 2705 114701 28253 1 189.0000 165.8108 13.99%
2702.05/2711.22 c 2711 115000 28302 1 189.0000 165.8111 13.99%
2707.03/2716.23 c 2716 115361 28331 1 189.0000 165.8117 13.98%
2712.72/2721.90 c 2722 115641 28421 1 189.0000 165.8127 13.98%
2718.09/2727.36 c 2727 115923 28517 1 189.0000 165.8133 13.98%
2723.47/2732.76 c 2733 116171 28599 1 189.0000 165.8143 13.98%
2728.55/2737.82 c 2738 116371 28661 1 189.0000 165.8151 13.98%
2733.53/2742.83 c 2743 116631 28735 1 189.0000 165.8161 13.98%
2739.21/2748.54 c 2749 117022 28828 1 189.0000 165.8165 13.98%
2744.70/2754.10 c 2754 117293 28919 1 189.0000 165.8172 13.98%
2749.97/2759.36 c 2759 117691 28975 1 189.0000 165.8178 13.98%
2755.54/2764.97 c 2765 117963 29047 1 189.0000 165.8192 13.98%
2761.22/2770.61 c 2771 118261 29123 1 189.0000 165.8209 13.98%
2766.20/2775.63 c 2776 118451 29201 1 189.0000 165.8221 13.98%
2771.59/2781.01 c 2781 118801 29261 1 189.0000 165.8230 13.98%
2776.57/2786.10 c 2786 118998 29334 1 189.0000 165.8236 13.98%
2781.65/2791.15 c 2791 119241 29417 1 189.0000 165.8251 13.98%
2787.13/2796.60 c 2797 119423 29465 1 189.0000 165.8252 13.98%
2792.21/2801.78 c 2802 119768 29534 1 189.0000 165.8258 13.98%
2798.19/2807.71 c 2808 120061 29605 1 189.0000 165.8269 13.97%
2804.06/2813.61 c 2814 120380 29706 1 189.0000 165.8275 13.97%
2809.34/2818.94 c 2819 120791 29769 1 189.0000 165.8283 13.97%
2814.92/2824.59 c 2825 121051 29839 1 189.0000 165.8289 13.97%
2820.41/2830.01 c 2830 121381 29911 1 189.0000 165.8300 13.97%
2826.08/2835.78 c 2836 121629 29983 1 189.0000 165.8307 13.97%
2831.37/2841.09 c 2841 121911 30083 1 189.0000 165.8314 13.97%
2837.34/2847.06 c 2847 122253 30143 1 189.0000 165.8320 13.97%
2843.21/2852.93 c 2853 122649 30233 1 189.0000 165.8329 13.97%
2848.49/2858.28 c 2858 122901 30289 1 189.0000 165.8338 13.97%
2853.77/2863.51 c 2864 123161 30369 1 189.0000 165.8352 13.97%
2859.54/2869.32 c 2869 123401 30449 1 189.0000 165.8356 13.97%
2864.72/2874.58 c 2875 123631 30505 1 189.0000 165.8366 13.97%
2870.60/2880.43 c 2880 124111 30565 1 189.0000 165.8369 13.97%
2875.68/2885.59 c 2886 124291 30637 1 189.0000 165.8372 13.97%
2880.76/2890.64 c 2891 124533 30695 1 189.0000 165.8373 13.97%
2886.44/2896.30 c 2896 124961 30767 1 189.0000 165.8375 13.97%
2892.13/2902.02 c 2902 125273 30847 1 189.0000 165.8389 13.97%
2897.50/2907.40 c 2907 125571 30923 1 189.0000 165.8408 13.96%
2902.87/2912.89 c 2913 125941 30989 1 189.0000 165.8426 13.96%
2908.55/2918.54 c 2919 126281 31041 1 189.0000 165.8429 13.96%
2913.93/2923.91 c 2924 126461 31097 1 189.0000 165.8441 13.96%
2919.32/2929.32 c 2929 126711 31179 1 189.0000 165.8445 13.96%
2924.90/2934.97 c 2935 127020 31254 1 189.0000 165.8447 13.96%
2929.99/2940.10 c 2940 127301 31307 1 189.0000 165.8450 13.96%
2935.57/2945.69 c 2946 127621 31391 1 189.0000 165.8456 13.96%
2940.85/2950.95 c 2951 127839 31469 1 189.0000 165.8467 13.96%
2946.13/2956.26 c 2956 128204 31520 1 189.0000 165.8475 13.96%
2951.31/2961.49 c 2961 128511 31587 1 189.0000 165.8488 13.96%
2956.89/2967.01 c 2967 128818 31654 1 189.0000 165.8499 13.96%
2962.26/2972.46 c 2972 129071 31735 1 189.0000 165.8513 13.96%
2967.75/2977.96 c 2978 129263 31807 1 189.0000 165.8516 13.96%
2973.23/2983.49 c 2983 129747 31855 1 189.0000 165.8519 13.96%
2978.31/2988.54 c 2989 130132 31908 1 189.0000 165.8525 13.96%
2983.39/2993.64 c 2994 130511 31995 1 189.0000 165.8530 13.96%
2988.58/2998.88 c 2999 130723 32059 1 189.0000 165.8536 13.96%
2993.67/3003.99 c 3004 131071 32125 1 189.0000 165.8540 13.96%
2999.05/3009.37 c 3009 131331 32207 1 189.0000 165.8548 13.96%
3004.33/3014.69 c 3015 131561 32281 1 189.0000 165.8554 13.95%
3009.61/3019.91 c 3020 132031 32369 1 189.0000 165.8565 13.95%
3015.30/3025.60 c 3026 132361 32437 1 189.0000 165.8577 13.95%
3021.18/3031.54 c 3032 132691 32513 1 189.0000 165.8590 13.95%
3026.45/3036.80 c 3037 133081 32631 1 189.0000 165.8597 13.95%
3032.33/3042.76 c 3043 133564 32704 1 189.0000 165.8611 13.95%
3038.31/3048.77 c 3049 133946 32798 1 189.0000 165.8618 13.95%
3043.39/3053.81 c 3054 134311 32875 1 189.0000 165.8625 13.95%
3048.48/3058.94 c 3059 134531 32935 1 189.0000 165.8630 13.95%
3053.66/3064.19 c 3064 134731 33027 1 189.0000 165.8634 13.95%
3058.83/3069.37 c 3069 134941 33105 1 189.0000 165.8645 13.95%
3064.71/3075.29 c 3075 135351 33203 1 189.0000 165.8651 13.95%
3069.99/3080.53 c 3081 135721 33285 1 189.0000 165.8659 13.95%
3075.17/3085.70 c 3086 135983 33379 1 189.0000 165.8663 13.95%
3080.66/3091.28 c 3091 136271 33473 1 189.0000 165.8669 13.95%
3086.04/3096.63 c 3097 136571 33539 1 189.0000 165.8677 13.95%
3091.32/3101.99 c 3102 137011 33621 1 189.0000 165.8686 13.95%
3096.89/3107.52 c 3108 137301 33691 1 189.0000 165.8698 13.94%
3101.87/3112.56 c 3113 137733 33765 1 189.0000 165.8702 13.94%
3107.16/3117.86 c 3118 138080 33834 1 189.0000 165.8712 13.94%
3113.24/3123.93 c 3124 138333 33925 1 189.0000 165.8724 13.94%
3118.92/3129.60 c 3130 138611 34001 1 189.0000 165.8731 13.94%
3123.90/3134.61 c 3135 138873 34065 1 189.0000 165.8739 13.94%
3128.99/3139.78 c 3140 139221 34143 1 189.0000 165.8743 13.94%
3134.28/3145.04 c 3145 139521 34215 1 189.0000 165.8761 13.94%
3139.37/3150.12 c 3150 139851 34287 1 189.0000 165.8767 13.94%
3144.74/3155.59 c 3156 140211 34363 1 189.0000 165.8771 13.94%
3149.92/3160.72 c 3161 140471 34441 1 189.0000 165.8781 13.94%
3154.90/3165.77 c 3166 140801 34511 1 189.0000 165.8787 13.94%
3159.99/3170.83 c 3171 141251 34573 1 189.0000 165.8791 13.94%
3165.06/3176.01 c 3176 141475 34655 1 189.0000 165.8801 13.94%
3170.16/3181.10 c 3181 141741 34719 1 189.0000 165.8806 13.94%
3175.93/3186.82 c 3187 142025 34791 1 189.0000 165.8810 13.94%
3181.31/3192.25 c 3192 142341 34849 1 189.0000 165.8818 13.94%
3186.49/3197.47 c 3197 142711 34913 1 189.0000 165.8825 13.94%
3192.09/3203.05 c 3203 143062 34998 1 189.0000 165.8829 13.94%
3197.46/3208.40 c 3208 143391 35087 1 189.0000 165.8837 13.94%
3202.94/3213.96 c 3214 143601 35171 1 189.0000 165.8846 13.93%
3208.33/3219.39 c 3219 143881 35243 1 189.0000 165.8854 13.93%
3214.21/3225.27 c 3225 144251 35331 1 189.0000 165.8862 13.93%
3219.39/3230.42 c 3230 144481 35417 1 189.0000 165.8865 13.93%
3225.17/3236.20 c 3236 144871 35523 1 189.0000 165.8873 13.93%
3230.46/3241.51 c 3242 145171 35587 1 189.0000 165.8878 13.93%
3236.14/3247.25 c 3247 145509 35669 1 189.0000 165.8882 13.93%
3241.62/3252.76 c 3253 145721 35761 1 189.0000 165.8894 13.93%
3247.01/3258.15 c 3258 146041 35809 1 189.0000 165.8897 13.93%
3252.18/3263.34 c 3263 146301 35885 1 189.0000 165.8900 13.93%
3257.27/3268.46 c 3268 146611 35961 1 189.0000 165.8908 13.93%
3262.75/3273.96 c 3274 147001 36031 1 189.0000 165.8911 13.93%
3268.63/3279.88 c 3280 147353 36103 1 189.0000 165.8916 13.93%
3274.52/3285.75 c 3286 147632 36166 1 189.0000 165.8922 13.93%
3279.50/3290.76 c 3291 147961 36237 1 189.0000 165.8929 13.93%
3285.07/3296.32 c 3296 148217 36293 1 189.0000 165.8930 13.93%
3290.26/3301.54 c 3302 148651 36355 1 189.0000 165.8932 13.93%
3295.54/3306.83 c 3307 148951 36425 1 189.0000 165.8936 13.93%
3300.84/3312.16 c 3312 149451 36481 1 189.0000 165.8942 13.93%
3306.31/3317.67 c 3318 149781 36549 1 189.0000 165.8949 13.93%
3311.81/3323.14 c 3323 150087 36617 1 189.0000 165.8954 13.93%
3317.08/3328.42 c 3328 150591 36681 1 189.0000 165.8957 13.93%
3322.26/3333.64 c 3334 150961 36739 1 189.0000 165.8963 13.93%
3328.14/3339.53 c 3340 151341 36823 1 189.0000 165.8968 13.93%
3334.02/3345.45 c 3345 151701 36905 1 189.0000 165.8976 13.93%
3339.10/3350.51 c 3351 152109 36957 1 189.0000 165.8978 13.93%
3344.49/3355.95 c 3356 152531 37019 1 189.0000 165.8986 13.93%
3349.88/3361.34 c 3361 152866 37082 1 189.0000 165.8988 13.92%
3355.36/3366.88 c 3367 153113 37169 1 189.0000 165.8997 13.92%
3361.14/3372.62 c 3373 153481 37265 1 189.0000 165.9005 13.92%
3366.64/3378.14 c 3378 153741 37351 1 189.0000 165.9012 13.92%
3371.91/3383.43 c 3383 153991 37425 1 189.0000 165.9021 13.92%
3376.99/3388.59 c 3389 154301 37475 1 189.0000 165.9032 13.92%
3382.17/3393.76 c 3394 154521 37547 1 189.0000 165.9036 13.92%
3387.57/3399.17 c 3399 154931 37619 1 189.0000 165.9039 13.92%
3392.84/3404.43 c 3404 155311 37693 1 189.0000 165.9047 13.92%
3398.83/3410.41 c 3410 155571 37787 1 189.0000 165.9056 13.92%
3404.71/3416.35 c 3416 155943 37873 1 189.0000 165.9060 13.92%
3410.68/3422.35 c 3422 156342 37952 1 189.0000 165.9063 13.92%
3416.07/3427.74 c 3428 156751 38021 1 189.0000 165.9066 13.92%
3421.15/3432.84 c 3433 157051 38089 1 189.0000 165.9069 13.92%
3426.53/3438.27 c 3438 157571 38153 1 189.0000 165.9082 13.92%
3432.11/3443.84 c 3444 157831 38213 1 189.0000 165.9087 13.92%
3437.10/3448.86 c 3449 158091 38265 1 189.0000 165.9093 13.92%
3442.86/3454.61 c 3455 158510 38340 1 189.0000 165.9097 13.92%
3448.15/3459.94 c 3460 158761 38421 1 189.0000 165.9104 13.92%
3453.83/3465.61 c 3466 159059 38501 1 189.0000 165.9110 13.92%
3459.11/3470.91 c 3471 159381 38567 1 189.0000 165.9118 13.92%
3464.21/3476.02 c 3476 159691 38635 1 189.0000 165.9121 13.92%
3469.78/3481.64 c 3482 160041 38695 1 189.0000 165.9128 13.92%
3475.18/3487.07 c 3487 160472 38740 1 189.0000 165.9135 13.91%
3480.35/3492.25 c 3492 160661 38815 1 189.0000 165.9148 13.91%
3485.43/3497.30 c 3497 160861 38895 1 189.0000 165.9161 13.91%
3490.91/3502.80 c 3503 161181 38963 1 189.0000 165.9169 13.91%
3496.49/3508.44 c 3508 161423 39041 1 189.0000 165.9175 13.91%
3501.87/3513.80 c 3514 161761 39107 1 189.0000 165.9183 13.91%
3507.56/3519.53 c 3520 162151 39239 1 189.0000 165.9187 13.91%
3513.05/3525.06 c 3525 162541 39301 1 189.0000 165.9192 13.91%
3518.92/3530.97 c 3531 162839 39407 1 189.0000 165.9197 13.91%
3524.20/3536.21 c 3536 163148 39478 1 189.0000 165.9206 13.91%
3529.88/3541.91 c 3542 163501 39557 1 189.0000 165.9211 13.91%
3534.98/3547.03 c 3547 163821 39639 1 189.0000 165.9217 13.91%
3540.75/3552.83 c 3553 164127 39721 1 189.0000 165.9221 13.91%
3546.43/3558.59 c 3559 164483 39803 1 189.0000 165.9227 13.91%
3552.21/3564.36 c 3564 164881 39857 1 189.0000 165.9233 13.91%
3557.79/3569.98 c 3570 165271 39909 1 189.0000 165.9237 13.91%
3563.17/3575.38 c 3575 165711 39951 1 189.0000 165.9241 13.91%
3568.86/3581.09 c 3581 165901 40059 1 189.0000 165.9254 13.91%
3574.23/3586.42 c 3586 166135 40167 1 189.0000 165.9259 13.91%
3579.42/3591.69 c 3592 166391 40227 1 189.0000 165.9263 13.91%
3585.10/3597.36 c 3597 166694 40330 1 189.0000 165.9270 13.91%
3585.91/3598.17 c SCIP Status : c solving was interrupted [hard time limit reached]
3585.91/3598.17 c Total Time : 3598.17
3585.91/3598.17 c solving : 3598.17
3585.91/3598.17 c presolving : 0.05 (included in solving)
3585.91/3598.17 c B&B Tree :
3585.91/3598.17 c nodes (total) : 1
3585.91/3598.17 c Solution :
3585.91/3598.17 c Solutions found : 9
3585.91/3598.17 c Primal Bound : +1.89000000000000e+02
3585.91/3598.17 c Dual Bound : +1.65927012926504e+02
3585.91/3598.17 c Gap : 13.90550 %
3585.91/3598.17 c * Warning: final gap: 1.39055e-01 is greater than SCIPepsilon: 1.00000e-09
3585.91/3598.18 o 189
3585.91/3598.18 s SATISFIABLE
3585.91/3598.18 v -x473 x472 -x471 -x470 x469 -x468 x467 -x466 x465 -x464 -x463 -x462 x461 x460 -x459 -x458 -x457 -x456 -x455 x454 -x453 -x452 x451
3585.91/3598.18 v -x450 -x449 -x448 x447 x446 -x445 -x444 -x443 -x442 -x441 -x440 x439 -x438 x437 x436 -x435 x434 -x433 -x432 -x431 -x430 -x429
3585.91/3598.18 v -x428 -x427 x426 -x425 -x424 -x423 x422 -x421 -x420 -x419 -x418 -x417 x416 -x415 x414 -x413 x412 -x411 -x410 x409 -x408 x407
3585.91/3598.18 v x406 -x405 -x404 -x403 x402 -x401 x400 x399 -x398 -x397 x396 -x395 x394 -x393 -x392 x391 -x390 x389 x388 -x387 -x386 -x385
3585.91/3598.18 v -x384 -x383 -x382 x381 x380 -x379 x378 x377 -x376 -x375 x374 x373 -x372 -x371 -x370 x369 -x368 -x367 -x366 x365 -x364 x363
3585.91/3598.18 v -x362 x361 -x360 x359 x358 -x357 x356 x355 -x354 -x353 x352 x351 x350 -x349 -x348 -x347 x346 x345 x344 x343 x342 -x341 -x340
3585.91/3598.18 v x339 -x338 x337 -x336 -x335 x334 x333 -x332 x331 x330 -x329 -x328 -x327 -x326 x325 x324 -x323 -x322 -x321 -x320 x319 x318 x317
3585.91/3598.18 v x316 x315 -x314 -x313 x312 x311 -x310 x309 x308 -x307 -x306 x305 -x304 -x303 x302 -x301 x300 x299 x298 x297 -x296 x295 x294
3585.91/3598.18 v -x293 -x292 x291 -x290 x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 x279 -x278 x277 -x276 -x275 -x274 x273 -x272
3585.91/3598.18 v x271 -x270 -x269 x268 -x267 -x266 x265 -x264 -x263 x262 -x261 -x260 x259 -x258 x257 x256 x255 -x254 -x253 -x252 x251 -x250
3585.91/3598.18 v -x249 x248 -x247 x246 x245 -x244 x243 -x242 -x241 x240 -x239 x238 x237 x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228
3585.91/3598.18 v -x227 -x226 x225 x224 x223 -x222 x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 x211 -x210 x209 -x208 x207 -x206 x205
3585.91/3598.18 v x204 x203 -x202 -x201 x200 x199 -x198 -x197 x196 x195 x194 x193 -x192 -x191 -x190 -x189 x188 -x187 -x186 x185 -x184 -x183
3585.91/3598.18 v -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 x174 x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 x165 -x164 x163 x162 x161
3585.91/3598.18 v x160 -x159 x158 -x157 -x156 x155 x154 -x153 -x152 x151 x150 -x149 -x148 -x147 x146 -x145 -x144 -x143 x142 x141 -x140 x139 x138
3585.91/3598.18 v x137 -x136 -x135 -x134 x133 -x132 -x131 x130 -x129 x128 x127 -x126 -x125 x124 -x123 -x122 x121 -x120 -x119 -x118 x117 x116
3585.91/3598.18 v -x115 x114 x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 x94 x93 x92
3585.91/3598.18 v x91 -x90 x89 x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 x79 -x78 x77 -x76 -x75 x74 -x73 x72 -x71 x70 -x69 -x68 -x67 x66 x65
3585.91/3598.18 v -x64 x63 -x62 x61 x60 -x59 x58 -x57 x56 -x55 -x54 x53 -x52 x51 x50 -x49 -x48 -x47 -x46 x45 -x44 x43 -x42 x41 -x40 -x39 -x38
3585.91/3598.18 v x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 x27 x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 x18 x17 -x16 -x15 -x14 x13 -x12 -x11
3585.91/3598.18 v -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: 64096 MiB (63597 MiB free)
memory of node 1: 64473 MiB (62457 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463975-1722378596/watcher-4463975-1722378596 -o /tmp/evaluation-result-4463975-1722378596/solver-4463975-1722378596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722378594-28007 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463975-1722378596.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=28249, runsolver pid=28246
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 0.43 0.16 0.11 5/251 28261
/proc/meminfo: memFree=129048596/131655788 swapFree=131071728/131071996
[pid=28249] ppid=28246 vsize=112520 memory=25168 CPUtime=0.1 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27997 0 -1 1077936128 3827 0 0 0 9 1 0 0 20 0 3 0 4229990 115220480 6292 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
/proc/28249/statm: 28130 6292 2806 3035 0 9780 0
[pid=28249/tid=28258] ppid=28246 vsize=112520 memory=4026531959 CPUtime=0.02 cores=0,2
/proc/28249/task/28258/stat : 28258 (fscip) R 28246 28249 27997 0 -1 4194368 1377 0 0 0 2 0 0 0 20 0 3 0 4229997 115220480 6292 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
[pid=28249/tid=28261] ppid=28246 vsize=112520 memory=219966342441 CPUtime=0 cores=0,2
/proc/28249/task/28261/stat : 28261 (fscip) S 28246 28249 27997 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4229998 115220480 6292 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 112520 KiB
Current children cumulated memory: 25168 KiB
[startup+0.213914 s]*
/proc/loadavg: 0.43 0.16 0.11 5/250 28262
/proc/meminfo: memFree=129040784/131655788 swapFree=131071728/131071996
[pid=28249] ppid=28246 vsize=112520 memory=28548 CPUtime=0.21 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27997 0 -1 1077936128 4504 0 0 0 20 1 0 0 20 0 3 0 4229990 115220480 7137 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
/proc/28249/statm: 28130 7137 2934 3035 0 10464 0
[pid=28249/tid=28258] ppid=28246 vsize=112520 memory=7945036259700375671 CPUtime=0.14 cores=0,2
/proc/28249/task/28258/stat : 28258 (fscip) R 28246 28249 27997 0 -1 4194368 2054 0 0 0 13 1 0 0 20 0 3 0 4229997 115220480 7137 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
[pid=28249/tid=28261] ppid=28246 vsize=112520 memory=1617 CPUtime=0 cores=0,2
/proc/28249/task/28261/stat : 28261 (fscip) S 28246 28249 27997 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4229998 115220480 7137 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 112520 KiB
Current children cumulated memory: 28548 KiB
[startup+0.313494 s]*
/proc/loadavg: 0.43 0.16 0.11 5/250 28263
/proc/meminfo: memFree=129010960/131655788 swapFree=131071728/131071996
[pid=28249] ppid=28246 vsize=112520 memory=28548 CPUtime=0.31 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27997 0 -1 1077936128 4522 0 0 0 30 1 0 0 20 0 3 0 4229990 115220480 7137 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
/proc/28249/statm: 28130 7137 2934 3035 0 10492 0
[pid=28249/tid=28258] ppid=28246 vsize=112520 memory=-8990767739041718176 CPUtime=0.24 cores=0,2
/proc/28249/task/28258/stat : 28258 (fscip) R 28246 28249 27997 0 -1 4194368 2072 0 0 0 23 1 0 0 20 0 3 0 4229997 115220480 7137 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
[pid=28249/tid=28261] ppid=28246 vsize=112520 memory=-5155633492094381189 CPUtime=0 cores=0,2
/proc/28249/task/28261/stat : 28261 (fscip) S 28246 28249 27997 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4229998 115220480 7137 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 112520 KiB
Current children cumulated memory: 28548 KiB
[startup+0.700325 s]
/proc/loadavg: 0.43 0.16 0.11 6/256 28273
/proc/meminfo: memFree=129008148/131655788 swapFree=131071728/131071996
[pid=28249] ppid=28246 vsize=112520 memory=28812 CPUtime=0.68 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27997 0 -1 1077936128 4596 0 0 0 67 1 0 0 20 0 3 0 4229990 115220480 7203 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
/proc/28249/statm: 28130 7203 2934 3035 0 10587 0
[pid=28249/tid=28258] ppid=28246 vsize=112520 memory=0 CPUtime=0.61 cores=0,2
/proc/28249/task/28258/stat : 28258 (fscip) R 28246 28249 27997 0 -1 4194368 2146 0 0 0 60 1 0 0 20 0 3 0 4229997 115220480 7203 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
[pid=28249/tid=28261] ppid=28246 vsize=112520 memory=0 CPUtime=0 cores=0,2
/proc/28249/task/28261/stat : 28261 (fscip) S 28246 28249 27997 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4229998 115220480 7203 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 112520 KiB
Current children cumulated memory: 28812 KiB
[startup+1.50039 s]
/proc/loadavg: 0.43 0.16 0.11 5/256 28273
/proc/meminfo: memFree=128941692/131655788 swapFree=131071728/131071996
[pid=28249] ppid=28246 vsize=117780 memory=45692 CPUtime=1.48 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27997 0 -1 1077936128 10303 0 0 0 146 2 0 0 20 0 3 0 4229990 120606720 11423 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
/proc/28249/statm: 29445 11423 2950 3035 0 14814 0
[pid=28249/tid=28258] ppid=28246 vsize=117780 memory=0 CPUtime=1.4 cores=0,2
/proc/28249/task/28258/stat : 28258 (fscip) R 28246 28249 27997 0 -1 4194368 7853 0 0 0 139 1 0 0 20 0 3 0 4229997 120606720 11423 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
[pid=28249/tid=28261] ppid=28246 vsize=117780 memory=0 CPUtime=0 cores=0,2
/proc/28249/task/28261/stat : 28261 (fscip) S 28246 28249 27997 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4229998 120606720 11423 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 117780 KiB
Current children cumulated memory: 45692 KiB
[startup+3.11308 s]
/proc/loadavg: 0.43 0.16 0.11 5/256 28275
/proc/meminfo: memFree=128018212/131655788 swapFree=131071728/131071996
[pid=28249] ppid=28246 vsize=207164 memory=160076 CPUtime=3.09 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27997 0 -1 1077936128 39861 0 0 0 301 8 0 0 20 0 3 0 4229990 212135936 40019 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
/proc/28249/statm: 51791 40019 2950 3035 0 44101 0
[pid=28249/tid=28258] ppid=28246 vsize=207164 memory=-5155629098342837381 CPUtime=3.01 cores=0,2
/proc/28249/task/28258/stat : 28258 (fscip) R 28246 28249 27997 0 -1 4194368 37409 0 0 0 294 7 0 0 20 0 3 0 4229997 212135936 40019 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
[pid=28249/tid=28261] ppid=28246 vsize=207164 memory=0 CPUtime=0 cores=0,2
/proc/28249/task/28261/stat : 28261 (fscip) S 28246 28249 27997 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4229998 212135936 40019 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 207164 KiB
Current children cumulated memory: 160076 KiB
[startup+6.30033 s]
/proc/loadavg: 0.72 0.22 0.13 5/256 28275
/proc/meminfo: memFree=127769000/131655788 swapFree=131071728/131071996
[pid=28249] ppid=28246 vsize=207164 memory=164396 CPUtime=6.27 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27997 0 -1 1077936128 44642 0 0 0 619 8 0 0 20 0 3 0 4229990 212135936 41099 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
/proc/28249/statm: 51791 41099 2998 3035 0 45177 0
[pid=28249/tid=28258] ppid=28246 vsize=207164 memory=0 CPUtime=6.19 cores=0,2
/proc/28249/task/28258/stat : 28258 (fscip) R 28246 28249 27997 0 -1 4194368 42153 0 0 0 612 7 0 0 20 0 3 0 4229997 212135936 41099 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
[pid=28249/tid=28261] ppid=28246 vsize=207164 memory=16216 CPUtime=0 cores=0,2
/proc/28249/task/28261/stat : 28261 (fscip) S 28246 28249 27997 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4229998 212135936 41099 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 207164 KiB
Current children cumulated memory: 164396 KiB
[startup+12.7003 s]
/proc/loadavg: 0.98 0.28 0.15 5/256 28276
/proc/meminfo: memFree=127382736/131655788 swapFree=131071728/131071996
[pid=28249] ppid=28246 vsize=207164 memory=164396 CPUtime=12.65 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27997 0 -1 1077936128 50878 0 0 0 1256 9 0 0 20 0 3 0 4229990 212135936 41099 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
/proc/28249/statm: 51791 41099 2998 3035 0 45177 0
[pid=28249/tid=28258] ppid=28246 vsize=207164 memory=3534 CPUtime=12.56 cores=0,2
/proc/28249/task/28258/stat : 28258 (fscip) R 28246 28249 27997 0 -1 4194368 48336 0 0 0 1249 7 0 0 20 0 3 0 4229997 212135936 41099 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
[pid=28249/tid=28261] ppid=28246 vsize=207164 memory=164396 CPUtime=0 cores=0,2
/proc/28249/task/28261/stat : 28261 (fscip) S 28246 28249 27997 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4229998 212135936 41099 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 207164 KiB
Current children cumulated memory: 164396 KiB
[startup+25.5004 s]
/proc/loadavg: 1.65 0.47 0.22 5/256 28278
/proc/meminfo: memFree=125677960/131655788 swapFree=131071728/131071996
[pid=28249] ppid=28246 vsize=272700 memory=218028 CPUtime=25.4 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27997 0 -1 1077936128 92077 0 0 0 2528 12 0 0 20 0 3 0 4229990 279244800 54507 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
/proc/28249/statm: 68175 54507 2998 3035 0 59038 0
[pid=28249/tid=28258] ppid=28246 vsize=272700 memory=32816 CPUtime=25.32 cores=0,2
/proc/28249/task/28258/stat : 28258 (fscip) R 28246 28249 27997 0 -1 4194368 89333 0 0 0 2521 11 0 0 20 0 3 0 4229997 279244800 54507 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
[pid=28249/tid=28261] ppid=28246 vsize=272700 memory=192788 CPUtime=0 cores=0,2
/proc/28249/task/28261/stat : 28261 (fscip) S 28246 28249 27997 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4229998 279244800 54507 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 272700 KiB
Current children cumulated memory: 218028 KiB
[startup+51.1132 s]
/proc/loadavg: 2.45 0.75 0.32 5/260 28343
/proc/meminfo: memFree=122683384/131655788 swapFree=131071728/131071996
[pid=28249] ppid=28246 vsize=269076 memory=215036 CPUtime=50.92 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27997 0 -1 1077936128 136963 0 0 0 5076 16 0 0 20 0 3 0 4229990 275533824 53759 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
/proc/28249/statm: 67269 53759 2998 3035 0 58132 0
[pid=28249/tid=28258] ppid=28246 vsize=269076 memory=215024 CPUtime=50.84 cores=0,2
/proc/28249/task/28258/stat : 28258 (fscip) R 28246 28249 27997 0 -1 4194368 134004 0 0 0 5069 15 0 0 20 0 3 0 4229997 275533824 53759 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
[pid=28249/tid=28261] ppid=28246 vsize=269076 memory=164396 CPUtime=0 cores=0,2
/proc/28249/task/28261/stat : 28261 (fscip) S 28246 28249 27997 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 4229998 275533824 53759 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 269076 KiB
Current children cumulated memory: 215036 KiB
[startup+102.3 s]
/proc/loadavg: 3.38 1.27 0.52 5/260 28354
/proc/meminfo: memFree=122218940/131655788 swapFree=131071728/131071996
[pid=28249] ppid=28246 vsize=269076 memory=226296 CPUtime=101.91 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27997 0 -1 1077936128 174192 0 0 0 10172 19 0 0 20 0 3 0 4229990 275533824 56574 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
/proc/28249/statm: 67269 56574 2998 3035 0 60944 0
[pid=28249/tid=28258] ppid=28246 vsize=269076 memory=218112 CPUtime=101.83 cores=0,2
/proc/28249/task/28258/stat : 28258 (fscip) R 28246 28249 27997 0 -1 4194368 171156 0 0 0 10165 18 0 0 20 0 3 0 4229997 275533824 56574 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
[pid=28249/tid=28261] ppid=28246 vsize=269076 memory=215044 CPUtime=0 cores=0,2
/proc/28249/task/28261/stat : 28261 (fscip) S 28246 28249 27997 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 4229998 275533824 56574 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 269076 KiB
Current children cumulated memory: 226296 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 1.82 0.76 5/260 28366
/proc/meminfo: memFree=121949628/131655788 swapFree=131071728/131071996
[pid=28249] ppid=28246 vsize=332564 memory=296136 CPUtime=161.71 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27997 0 -1 1077936128 270344 0 0 0 16143 28 0 0 20 0 3 0 4229990 340545536 74034 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
/proc/28249/statm: 83141 74034 2998 3035 0 77917 0
[pid=28249/tid=28258] ppid=28246 vsize=332564 memory=233128 CPUtime=161.62 cores=0,2
/proc/28249/task/28258/stat : 28258 (fscip) R 28246 28249 27997 0 -1 4194368 267211 0 0 0 16136 26 0 0 20 0 3 0 4229997 340545536 74034 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
[pid=28249/tid=28261] ppid=28246 vsize=332564 memory=11536 CPUtime=0 cores=0,2
/proc/28249/task/28261/stat : 28261 (fscip) S 28246 28249 27997 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 4229998 340545536 74034 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 332564 KiB
################
# More data... #
################
/proc/28249/statm: 101955 87450 2998 3035 0 90054 0
[pid=28249/tid=28258] ppid=28246 vsize=407820 memory=347960 CPUtime=3450.07 cores=0,2
/proc/28249/task/28258/stat : 28258 (fscip) R 28246 28249 27997 0 -1 4194368 573402 0 0 0 344922 85 0 0 20 0 3 0 4229997 417607680 87450 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
[pid=28249/tid=28261] ppid=28246 vsize=407820 memory=349776 CPUtime=0.04 cores=0,2
/proc/28249/task/28261/stat : 28261 (fscip) S 28246 28249 27997 0 -1 1077936192 168 0 0 0 1 3 0 0 20 0 3 0 4229998 417607680 87450 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
Current children cumulated CPU time: 3450.54 s
Current children cumulated vsize: 407820 KiB
Current children cumulated memory: 349800 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/254 30114
/proc/meminfo: memFree=120771312/131655788 swapFree=131071728/131071996
[pid=28249] ppid=28246 vsize=407820 memory=350208 CPUtime=3510.35 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27997 0 -1 1077936128 585251 0 0 0 350932 103 0 0 20 0 3 0 4229990 417607680 87552 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
/proc/28249/statm: 101955 87552 2998 3035 0 90148 0
[pid=28249/tid=28258] ppid=28246 vsize=407820 memory=16320 CPUtime=3509.87 cores=0,2
/proc/28249/task/28258/stat : 28258 (fscip) R 28246 28249 27997 0 -1 4194368 580689 0 0 0 350901 86 0 0 20 0 3 0 4229997 417607680 87552 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
[pid=28249/tid=28261] ppid=28246 vsize=407820 memory=11536 CPUtime=0.04 cores=0,2
/proc/28249/task/28261/stat : 28261 (fscip) S 28246 28249 27997 0 -1 1077936192 170 0 0 0 1 3 0 0 20 0 3 0 4229998 417607680 87552 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
Current children cumulated CPU time: 3510.35 s
Current children cumulated vsize: 407820 KiB
Current children cumulated memory: 350208 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/254 30125
/proc/meminfo: memFree=120768764/131655788 swapFree=131071728/131071996
[pid=28249] ppid=28246 vsize=408996 memory=350236 CPUtime=3570.15 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27997 0 -1 1077936128 591727 0 0 0 356911 104 0 0 20 0 3 0 4229990 418811904 87559 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
/proc/28249/statm: 102249 87559 2998 3035 0 90442 0
[pid=28249/tid=28258] ppid=28246 vsize=408996 memory=27116 CPUtime=3569.68 cores=0,2
/proc/28249/task/28258/stat : 28258 (fscip) R 28246 28249 27997 0 -1 4194368 587137 0 0 0 356880 88 0 0 20 0 3 0 4229997 418811904 87559 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
[pid=28249/tid=28261] ppid=28246 vsize=408996 memory=350236 CPUtime=0.04 cores=0,2
/proc/28249/task/28261/stat : 28261 (fscip) S 28246 28249 27997 0 -1 1077936192 172 0 0 0 1 3 0 0 20 0 3 0 4229998 418811904 87559 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
Current children cumulated CPU time: 3570.15 s
Current children cumulated vsize: 408996 KiB
Current children cumulated memory: 350236 KiB
[startup+3598.19 s]
# the end of solver process 28249 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.94 s, system=1.05921 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.13 4.09 5/254 30125
/proc/meminfo: memFree=120768792/131655788 swapFree=131071728/131071996
[pid=28249] ppid=28246 vsize=408996 memory=350236 CPUtime=3571.85 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27997 0 -1 1077936128 591756 0 0 0 357081 104 0 0 20 0 3 0 4229990 418811904 87559 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
/proc/28249/statm: 102249 87559 2998 3035 0 90442 0
[pid=28249/tid=28258] ppid=28246 vsize=408996 memory=-7522256593712405882 CPUtime=3571.38 cores=0,2
/proc/28249/task/28258/stat : 28258 (fscip) R 28246 28249 27997 0 -1 4194368 587166 0 0 0 357050 88 0 0 20 0 3 0 4229997 418811904 87559 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
[pid=28249/tid=28261] ppid=28246 vsize=408996 memory=-4050210904893801877 CPUtime=0.04 cores=0,2
/proc/28249/task/28261/stat : 28261 (fscip) S 28246 28249 27997 0 -1 1077936192 172 0 0 0 1 3 0 0 20 0 3 0 4229998 418811904 87559 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
Current children cumulated CPU time: 3571.85 s
Current children cumulated vsize: 408996 KiB
Current children cumulated memory: 350236 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.13 4.09 5/254 30125
/proc/meminfo: memFree=120768748/131655788 swapFree=131071728/131071996
[pid=28249] ppid=28246 vsize=408996 memory=350236 CPUtime=3578.22 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27997 0 -1 1077936128 591830 0 0 0 357718 104 0 0 20 0 3 0 4229990 418811904 87559 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
/proc/28249/statm: 102249 87559 2998 3035 0 90442 0
[pid=28249/tid=28258] ppid=28246 vsize=408996 memory=16320 CPUtime=3577.75 cores=0,2
/proc/28249/task/28258/stat : 28258 (fscip) R 28246 28249 27997 0 -1 4194368 587240 0 0 0 357687 88 0 0 20 0 3 0 4229997 418811904 87559 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
[pid=28249/tid=28261] ppid=28246 vsize=408996 memory=350236 CPUtime=0.04 cores=0,2
/proc/28249/task/28261/stat : 28261 (fscip) S 28246 28249 27997 0 -1 1077936192 172 0 0 0 1 3 0 0 20 0 3 0 4229998 418811904 87559 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
Current children cumulated CPU time: 3578.22 s
Current children cumulated vsize: 408996 KiB
Current children cumulated memory: 350236 KiB
[startup+3593.6 s]
/proc/loadavg: 4.09 4.13 4.09 5/254 30126
/proc/meminfo: memFree=120767264/131655788 swapFree=131071728/131071996
[pid=28249] ppid=28246 vsize=408996 memory=350236 CPUtime=3581.41 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27997 0 -1 1077936128 591880 0 0 0 358037 104 0 0 20 0 3 0 4229990 418811904 87559 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
/proc/28249/statm: 102249 87559 2998 3035 0 90442 0
[pid=28249/tid=28258] ppid=28246 vsize=408996 memory=-7522256593712406652 CPUtime=3580.94 cores=0,2
/proc/28249/task/28258/stat : 28258 (fscip) R 28246 28249 27997 0 -1 4194368 587290 0 0 0 358006 88 0 0 20 0 3 0 4229997 418811904 87559 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
[pid=28249/tid=28261] ppid=28246 vsize=408996 memory=11536 CPUtime=0.04 cores=0,2
/proc/28249/task/28261/stat : 28261 (fscip) S 28246 28249 27997 0 -1 1077936192 172 0 0 0 1 3 0 0 20 0 3 0 4229998 418811904 87559 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
Current children cumulated CPU time: 3581.41 s
Current children cumulated vsize: 408996 KiB
Current children cumulated memory: 350236 KiB
[startup+3595.2 s]
/proc/loadavg: 4.16 4.14 4.09 5/254 30126
/proc/meminfo: memFree=120767264/131655788 swapFree=131071728/131071996
[pid=28249] ppid=28246 vsize=408996 memory=350236 CPUtime=3583.01 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27997 0 -1 1077936128 591901 0 0 0 358197 104 0 0 20 0 3 0 4229990 418811904 87559 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
/proc/28249/statm: 102249 87559 2998 3035 0 90442 0
[pid=28249/tid=28258] ppid=28246 vsize=408996 memory=16320 CPUtime=3582.53 cores=0,2
/proc/28249/task/28258/stat : 28258 (fscip) R 28246 28249 27997 0 -1 4194368 587311 0 0 0 358165 88 0 0 20 0 3 0 4229997 418811904 87559 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
[pid=28249/tid=28261] ppid=28246 vsize=408996 memory=12856 CPUtime=0.04 cores=0,2
/proc/28249/task/28261/stat : 28261 (fscip) S 28246 28249 27997 0 -1 1077936192 172 0 0 0 1 3 0 0 20 0 3 0 4229998 418811904 87559 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
Current children cumulated CPU time: 3583.01 s
Current children cumulated vsize: 408996 KiB
Current children cumulated memory: 350236 KiB
[startup+3596.8 s]
/proc/loadavg: 4.16 4.14 4.09 5/254 30126
/proc/meminfo: memFree=120767264/131655788 swapFree=131071728/131071996
[pid=28249] ppid=28246 vsize=408996 memory=350236 CPUtime=3584.6 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27997 0 -1 1077936128 591930 0 0 0 358356 104 0 0 20 0 3 0 4229990 418811904 87559 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
/proc/28249/statm: 102249 87559 2998 3035 0 90442 0
[pid=28249/tid=28258] ppid=28246 vsize=408996 memory=350236 CPUtime=3584.13 cores=0,2
/proc/28249/task/28258/stat : 28258 (fscip) R 28246 28249 27997 0 -1 4194368 587340 0 0 0 358325 88 0 0 20 0 3 0 4229997 418811904 87559 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
[pid=28249/tid=28261] ppid=28246 vsize=408996 memory=350236 CPUtime=0.04 cores=0,2
/proc/28249/task/28261/stat : 28261 (fscip) S 28246 28249 27997 0 -1 1077936192 172 0 0 0 1 3 0 0 20 0 3 0 4229998 418811904 87559 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
Current children cumulated CPU time: 3584.6 s
Current children cumulated vsize: 408996 KiB
Current children cumulated memory: 350236 KiB
[startup+3597.6 s]
/proc/loadavg: 4.16 4.14 4.09 5/254 30126
/proc/meminfo: memFree=120767272/131655788 swapFree=131071728/131071996
[pid=28249] ppid=28246 vsize=408996 memory=350236 CPUtime=3585.4 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27997 0 -1 1077936128 591936 0 0 0 358436 104 0 0 20 0 3 0 4229990 418811904 87559 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
/proc/28249/statm: 102249 87559 2998 3035 0 90442 0
[pid=28249/tid=28258] ppid=28246 vsize=408996 memory=16320 CPUtime=3584.92 cores=0,2
/proc/28249/task/28258/stat : 28258 (fscip) R 28246 28249 27997 0 -1 4194368 587346 0 0 0 358404 88 0 0 20 0 3 0 4229997 418811904 87559 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
[pid=28249/tid=28261] ppid=28246 vsize=408996 memory=12856 CPUtime=0.04 cores=0,2
/proc/28249/task/28261/stat : 28261 (fscip) S 28246 28249 27997 0 -1 1077936192 172 0 0 0 1 3 0 0 20 0 3 0 4229998 418811904 87559 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
Current children cumulated CPU time: 3585.4 s
Current children cumulated vsize: 408996 KiB
Current children cumulated memory: 350236 KiB
[startup+3598 s]*
/proc/loadavg: 4.16 4.14 4.09 5/254 30126
/proc/meminfo: memFree=120767280/131655788 swapFree=131071728/131071996
[pid=28249] ppid=28246 vsize=408996 memory=350236 CPUtime=3585.81 cores=0,2
/proc/28249/stat : 28249 (fscip) R 28246 28249 27997 0 -1 1077936128 593451 0 0 0 358477 104 0 0 20 0 3 0 4229990 418811904 87559 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
/proc/28249/statm: 102249 87559 2998 3035 0 90442 0
[pid=28249/tid=28258] ppid=28246 vsize=408996 memory=2112 CPUtime=3585.33 cores=0,2
/proc/28249/task/28258/stat : 28258 (fscip) R 28246 28249 27997 0 -1 4194368 589103 0 0 0 358445 88 0 0 20 0 3 0 4229997 418811904 87559 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
[pid=28249/tid=28261] ppid=28246 vsize=408996 memory=1596 CPUtime=0.04 cores=0,2
/proc/28249/task/28261/stat : 28261 (fscip) S 28246 28249 27997 0 -1 1077936192 172 0 0 0 1 3 0 0 20 0 3 0 4229998 418811904 87559 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
Current children cumulated CPU time: 3585.81 s
Current children cumulated vsize: 408996 KiB
Current children cumulated memory: 350236 KiB
[startup+3598.11 s]
/proc/loadavg: 4.16 4.14 4.09 5/254 30126
/proc/meminfo: memFree=120767280/131655788 swapFree=131071728/131071996
[pid=28249] ppid=28246 vsize=407968 memory=349208 CPUtime=3585.91 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27997 0 -1 1077936128 598050 0 0 0 358487 104 0 0 20 0 3 0 4229990 417759232 87302 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
/proc/28249/statm: 101992 87302 2998 3035 0 90185 0
[pid=28249/tid=28258] ppid=28246 vsize=407968 memory=11536 CPUtime=3585.43 cores=0,2
/proc/28249/task/28258/stat : 28258 (fscip) R 28246 28249 27997 0 -1 4194368 593452 0 0 0 358455 88 0 0 20 0 3 0 4229997 417759232 87302 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
[pid=28249/tid=28261] ppid=28246 vsize=407968 memory=350236 CPUtime=0.04 cores=0,2
/proc/28249/task/28261/stat : 28261 (fscip) S 28246 28249 27997 0 -1 1077936192 172 0 0 0 1 3 0 0 20 0 3 0 4229998 417759232 87302 134679101440 4194304 16623229 140724837385552 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41123840 140724837389334 140724837389450 140724837389450 140724837396464 0
Current children cumulated CPU time: 3585.91 s
Current children cumulated vsize: 407968 KiB
Current children cumulated memory: 349208 KiB
Child status: 0
Real time (s): 3598.19
CPU time (s): 3586
CPU user time (s): 3584.94
CPU system time (s): 1.05921
CPU usage (%): 99.6612
Max. virtual memory (cumulated for all children) (KiB): 408996
Max. memory (cumulated for all children) (KiB): 350236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.94
system time used= 1.05921
maximum resident set size= 350236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 599844
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= 12724
involuntary context switches= 25056
# summary of solver processes directly reported to runsolver:
# pid: 28249
# total CPU time (s): 3586
# total CPU user time (s): 3584.94
# total CPU system time (s): 1.05921
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4744 second user time and 32.4663 second system time
The end
Begin job on nodeC011 at 2024-07-31 00:29:56
IDJOB=4463975
IDBENCH=147549
IDSOLVER=3092
FILE ID=nodeC011/4463975-1722378596
RUNJOBID= nodeC011-1722378594-28007
SLURM_JOB_ID= 8249841
Free space on /tmp= 723772 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_11.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-4463975-1722378596/watcher-4463975-1722378596 -o /tmp/evaluation-result-4463975-1722378596/solver-4463975-1722378596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722378594-28007 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463975-1722378596.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0daa95194506fa379fbbdb25b381edfb
RANDOM SEED=1453536771
nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.387
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.28
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 : 1197.179
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.29
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.133
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.28
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.134
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.29
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 : 1197.134
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.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.226
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.29
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.260
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.28
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.134
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 129094284 kB
MemAvailable: 130031548 kB
Buffers: 83100 kB
Cached: 1699432 kB
SwapCached: 12 kB
Active: 249984 kB
Inactive: 1883332 kB
Active(anon): 1868 kB
Inactive(anon): 378412 kB
Active(file): 248116 kB
Inactive(file): 1504920 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 92660 kB
Writeback: 0 kB
AnonPages: 348860 kB
Mapped: 92004 kB
Shmem: 29468 kB
KReclaimable: 48856 kB
Slab: 124632 kB
SReclaimable: 48856 kB
SUnreclaim: 75776 kB
KernelStack: 3728 kB
PageTables: 8872 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 782516 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6752 kB
HardwareCorrupted: 0 kB
AnonHugePages: 221184 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: 156488 kB
DirectMap2M: 9185280 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 723656 MiB
End job on nodeC011 at 2024-07-31 01:29:55