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 = 24420352, getVmSize() = 24420352, SCIPgetMemUsed() = 2320069, SCIPgetMemTotal() = 2874589, SCIPgetMemExternEstim() = 1048576
0.00/0.01 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.07 c ** Estimated virtualMemUsedAtSolver = 17954133, getVmSize() = 29442048, SCIPgetMemUsed() = 3299723, SCIPgetMemTotal() = 6470323, SCIPgetMemExternEstim() = 1048576
0.00/0.07 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.07 c Original Problem :
0.00/0.07 c Problem name : instance-4463978-1722378596
0.00/0.07 c Variables : 476 (476 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.07 c Constraints : 476
0.00/0.07 c Objective sense : minimize
0.00/0.07 c Presolved Problem :
0.00/0.07 c Variables : 476 (476 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.07 c Constraints : 555
0.00/0.07 c Constraints : Number
0.00/0.07 c knapsack : 430
0.00/0.07 c setppc : 108
0.00/0.07 c logicor : 17
0.00/0.07 c ** Instance transfer method used: 0
0.00/0.08 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.16 c * 0 0 1 1 217.0000 - -
0.10/0.16 c * 0 0 1 1 206.0000 - -
5.83/5.90 c 6 2 1 1 206.0000 162.2141 26.99%
13.31/13.41 c 13 8 7 1 206.0000 162.2141 26.99%
18.20/18.37 c * 18 13 12 1 205.0000 162.2141 26.38%
18.20/18.37 c * 18 13 12 1 201.0000 162.2141 23.91%
18.20/18.38 c * 18 13 12 1 200.0000 162.2141 23.29%
18.20/18.38 c * 18 13 12 1 199.0000 162.2141 22.68%
18.50/18.64 c 19 26 25 1 199.0000 162.2141 22.68%
24.09/24.24 c 24 112 111 1 199.0000 162.3026 22.61%
29.57/29.74 c 30 205 204 1 199.0000 162.3663 22.56%
35.05/35.21 c 35 288 287 1 199.0000 162.3663 22.56%
38.24/38.43 c * 38 320 319 1 197.0000 162.3663 21.33%
38.24/38.43 c * 38 320 319 1 196.0000 162.3663 20.71%
40.34/40.59 c 41 360 359 1 196.0000 162.3663 20.71%
45.72/45.95 c 46 416 415 1 196.0000 162.3663 20.71%
51.71/51.99 c 52 505 504 1 196.0000 162.4186 20.68%
57.20/57.41 c 57 570 569 1 196.0000 162.4186 20.68%
62.68/62.97 c 63 660 659 1 196.0000 162.4186 20.68%
68.16/68.41 c 68 761 760 1 196.0000 162.4186 20.68%
73.44/73.70 c 74 859 858 1 196.0000 162.4186 20.68%
78.73/79.10 c 79 925 924 1 196.0000 162.4186 20.68%
84.10/84.41 c 84 1001 1000 1 196.0000 162.4186 20.68%
89.79/90.13 c 90 1051 1 1 196.0000 162.4186 20.68%
95.36/95.73 c 96 1061 11 1 196.0000 162.6260 20.52%
100.94/101.30 c 101 1103 53 1 196.0000 162.6260 20.52%
106.63/107.09 c 107 1185 135 1 196.0000 162.6260 20.52%
112.20/112.61 c 113 1572 332 1 196.0000 162.6316 20.52%
113.61/114.03 c * 114 1572 332 1 195.0000 162.6316 19.90%
117.98/118.43 c 118 1762 415 1 195.0000 162.7945 19.78%
123.95/124.46 c 124 2024 489 1 195.0000 162.8726 19.73%
126.35/126.82 c * 127 2091 530 1 194.0000 162.8847 19.10%
126.35/126.83 c * 127 2120 522 1 191.0000 162.8847 17.26%
129.33/129.80 c 130 2274 486 1 191.0000 162.8854 17.26%
134.41/134.94 c 135 2454 538 1 191.0000 162.9628 17.20%
140.39/140.92 c 141 2782 614 1 191.0000 163.0238 17.16%
145.37/145.94 c 146 2921 671 1 191.0000 163.0996 17.11%
150.57/151.15 c 151 3165 747 1 191.0000 163.1451 17.07%
155.63/156.24 c 156 3401 797 1 191.0000 163.1862 17.04%
160.71/161.36 c 161 3581 893 1 191.0000 163.2001 17.03%
166.20/166.84 c 167 3807 933 1 191.0000 163.2001 17.03%
171.49/172.18 c 172 4011 1005 1 191.0000 163.2100 17.03%
177.55/178.28 c 178 4223 1045 1 191.0000 163.2271 17.01%
182.93/183.63 c 184 4341 1091 1 191.0000 163.2605 16.99%
188.81/189.53 c 190 4424 1132 1 191.0000 163.2670 16.99%
194.69/195.40 c 195 4591 1181 1 191.0000 163.2801 16.98%
200.07/200.87 c 201 4801 1231 1 191.0000 163.3110 16.95%
206.04/206.81 c 207 4914 1276 1 191.0000 163.3196 16.95%
211.42/212.21 c 212 5131 1311 1 191.0000 163.3371 16.94%
217.10/217.93 c 218 5268 1366 1 191.0000 163.3376 16.94%
222.68/223.58 c 224 5454 1410 1 191.0000 163.3480 16.93%
227.97/228.82 c 229 5561 1453 1 191.0000 163.3652 16.92%
233.44/234.39 c 234 5721 1509 1 191.0000 163.3746 16.91%
239.42/240.32 c 240 5851 1555 1 191.0000 163.3899 16.90%
245.49/246.42 c 246 5964 1610 1 191.0000 163.3972 16.89%
250.67/251.67 c 252 6184 1670 1 191.0000 163.4022 16.89%
255.85/256.87 c 257 6331 1719 1 191.0000 163.4091 16.88%
261.14/262.18 c 262 6441 1759 1 191.0000 163.4308 16.87%
267.03/268.07 c 268 6535 1799 1 191.0000 163.4343 16.87%
272.80/273.87 c 274 6724 1840 1 191.0000 163.4439 16.86%
278.78/279.85 c 280 6977 1867 1 191.0000 163.4547 16.85%
284.65/285.71 c 286 7120 1906 1 191.0000 163.4700 16.84%
290.04/291.14 c 291 7274 1960 1 191.0000 163.4728 16.84%
295.51/296.69 c 297 7469 1995 1 191.0000 163.4891 16.83%
300.90/302.04 c 302 7574 2044 1 191.0000 163.4956 16.82%
306.98/308.11 c 308 7704 2090 1 191.0000 163.5187 16.81%
312.25/313.46 c 313 7851 2145 1 191.0000 163.5282 16.80%
317.73/318.98 c 319 7991 2195 1 191.0000 163.5304 16.80%
324.00/325.20 c 325 8151 2231 1 191.0000 163.5361 16.79%
330.39/331.66 c 332 8274 2298 1 191.0000 163.5460 16.79%
335.47/336.74 c 337 8434 2336 1 191.0000 163.5548 16.78%
341.35/342.64 c 343 8554 2398 1 191.0000 163.5625 16.77%
347.54/348.90 c 349 8674 2452 1 191.0000 163.5704 16.77%
351.13/352.43 c * 352 8763 2475 1 190.0000 163.5704 16.16%
352.84/354.17 c 354 8831 2438 1 190.0000 163.5751 16.15%
358.11/359.44 c 359 8901 2488 1 190.0000 163.5818 16.15%
364.20/365.53 c 366 9021 2544 1 190.0000 163.5885 16.15%
369.79/371.13 c 371 9243 2616 1 190.0000 163.5961 16.14%
375.56/376.96 c 377 9473 2666 1 190.0000 163.6017 16.14%
381.75/383.11 c 383 9761 2722 1 190.0000 163.6086 16.13%
386.74/388.16 c 388 9851 2760 1 190.0000 163.6141 16.13%
392.50/393.99 c 394 9961 2806 1 190.0000 163.6269 16.12%
398.09/399.57 c 400 10103 2868 1 190.0000 163.6333 16.11%
403.38/404.84 c 405 10271 2932 1 190.0000 163.6380 16.11%
408.57/410.08 c 410 10431 2984 1 190.0000 163.6398 16.11%
413.94/415.42 c 415 10641 3062 1 190.0000 163.6506 16.10%
419.82/421.34 c 421 10752 3117 1 190.0000 163.6599 16.09%
425.81/427.35 c 427 10940 3177 1 190.0000 163.6634 16.09%
430.90/432.42 c 432 11134 3203 1 190.0000 163.6650 16.09%
436.50/438.07 c 438 11304 3275 1 190.0000 163.6698 16.09%
441.77/443.36 c 443 11521 3298 1 190.0000 163.6722 16.09%
447.75/449.36 c 449 11754 3331 1 190.0000 163.6796 16.08%
453.63/455.21 c 455 11941 3366 1 190.0000 163.6833 16.08%
459.22/460.86 c 461 12024 3415 1 190.0000 163.6897 16.07%
464.61/466.24 c 466 12221 3462 1 190.0000 163.7001 16.07%
469.99/471.69 c 472 12324 3513 1 190.0000 163.7068 16.06%
475.67/477.33 c 477 12474 3553 1 190.0000 163.7158 16.05%
482.55/484.20 c 484 12634 3605 1 190.0000 163.7226 16.05%
488.34/490.06 c 490 12789 3674 1 190.0000 163.7251 16.05%
494.21/495.90 c 496 12874 3725 1 190.0000 163.7316 16.04%
499.50/501.22 c 501 13013 3774 1 190.0000 163.7371 16.04%
504.78/506.57 c 507 13241 3824 1 190.0000 163.7441 16.03%
509.86/511.65 c 512 13461 3934 1 190.0000 163.7442 16.03%
515.84/517.66 c 518 13633 4004 1 190.0000 163.7487 16.03%
521.63/523.48 c 523 13754 4061 1 190.0000 163.7621 16.02%
527.33/529.16 c 529 13980 4143 1 190.0000 163.7641 16.02%
533.00/534.80 c 535 14200 4193 1 190.0000 163.7656 16.02%
538.67/540.58 c 541 14344 4263 1 190.0000 163.7838 16.01%
544.46/546.32 c 546 14644 4327 1 190.0000 163.7896 16.00%
549.55/551.42 c 551 14811 4364 1 190.0000 163.8029 15.99%
555.14/557.07 c 557 14933 4400 1 190.0000 163.8043 15.99%
560.23/562.17 c 562 15094 4455 1 190.0000 163.8059 15.99%
566.40/568.37 c 568 15224 4511 1 190.0000 163.8064 15.99%
572.38/574.32 c 574 15421 4568 1 190.0000 163.8118 15.99%
577.36/579.39 c 579 15484 4611 1 190.0000 163.8142 15.99%
582.65/584.62 c 585 15594 4649 1 190.0000 163.8184 15.98%
588.53/590.52 c 591 15795 4694 1 190.0000 163.8234 15.98%
594.21/596.20 c 596 15966 4729 1 190.0000 163.8278 15.98%
599.40/601.47 c 601 16156 4771 1 190.0000 163.8293 15.97%
604.59/606.69 c 607 16267 4814 1 190.0000 163.8361 15.97%
610.57/612.63 c 613 16531 4860 1 190.0000 163.8373 15.97%
615.56/617.65 c 618 16716 4901 1 190.0000 163.8391 15.97%
620.54/622.68 c 623 16874 4941 1 190.0000 163.8485 15.96%
626.13/628.27 c 628 17041 4984 1 190.0000 163.8555 15.96%
631.32/633.48 c 633 17232 5025 1 190.0000 163.8645 15.95%
636.60/638.74 c 639 17483 5064 1 190.0000 163.8680 15.95%
641.79/643.98 c 644 17584 5097 1 190.0000 163.8780 15.94%
647.47/649.67 c 650 17673 5148 1 190.0000 163.8897 15.93%
653.06/655.22 c 655 17874 5187 1 190.0000 163.8981 15.93%
658.25/660.47 c 660 18023 5230 1 190.0000 163.9028 15.92%
664.03/666.30 c 666 18214 5269 1 190.0000 163.9045 15.92%
669.71/671.91 c 672 18441 5320 1 190.0000 163.9123 15.92%
675.30/677.51 c 678 18703 5366 1 190.0000 163.9130 15.92%
680.58/682.85 c 683 18834 5429 1 190.0000 163.9177 15.91%
685.68/687.95 c 688 19034 5477 1 190.0000 163.9241 15.91%
691.16/693.44 c 693 19164 5529 1 190.0000 163.9267 15.91%
696.95/699.25 c 699 19421 5572 1 190.0000 163.9352 15.90%
702.33/704.60 c 705 19531 5614 1 190.0000 163.9370 15.90%
707.52/709.88 c 710 19684 5669 1 190.0000 163.9397 15.90%
712.72/715.07 c 715 19976 5705 1 190.0000 163.9420 15.89%
718.71/721.06 c 721 20132 5769 1 190.0000 163.9470 15.89%
723.70/726.07 c 726 20292 5809 1 190.0000 163.9501 15.89%
728.87/731.29 c 731 20488 5865 1 190.0000 163.9525 15.89%
734.67/737.10 c 737 20674 5917 1 190.0000 163.9527 15.89%
740.44/742.89 c 743 20829 5962 1 190.0000 163.9602 15.88%
746.23/748.60 c 749 20974 6027 1 190.0000 163.9697 15.88%
751.31/753.74 c 754 21154 6073 1 190.0000 163.9735 15.87%
756.80/759.27 c 759 21242 6129 1 190.0000 163.9771 15.87%
762.38/764.86 c 765 21471 6178 1 190.0000 163.9859 15.86%
767.58/770.01 c 770 21624 6237 1 190.0000 163.9892 15.86%
772.86/775.30 c 775 21780 6287 1 190.0000 163.9955 15.86%
777.94/780.46 c 780 21901 6330 1 190.0000 163.9993 15.85%
783.64/786.11 c 786 22071 6388 1 190.0000 164.0049 15.85%
788.63/791.19 c 791 22221 6432 1 190.0000 164.0086 15.85%
794.10/796.66 c 797 22464 6491 1 190.0000 164.0142 15.84%
799.79/802.34 c 802 22684 6545 1 190.0000 164.0193 15.84%
804.98/807.53 c 808 22967 6578 1 190.0000 164.0216 15.84%
811.36/813.91 c 814 23104 6621 1 190.0000 164.0262 15.84%
816.46/819.02 c 819 23291 6690 1 190.0000 164.0336 15.83%
821.55/824.18 c 824 23481 6738 1 190.0000 164.0350 15.83%
826.62/829.22 c 829 23621 6776 1 190.0000 164.0368 15.83%
831.61/834.23 c 834 23753 6838 1 190.0000 164.0425 15.82%
836.90/839.52 c 840 23901 6886 1 190.0000 164.0538 15.82%
841.98/844.64 c 845 24081 6948 1 190.0000 164.0553 15.81%
847.07/849.70 c 850 24329 7004 1 190.0000 164.0582 15.81%
852.37/855.11 c 855 24471 7056 1 190.0000 164.0639 15.81%
854.66/857.33 c * 857 24549 7082 1 189.0000 164.0653 15.20%
858.04/860.78 c 861 24741 6822 1 189.0000 164.0669 15.20%
864.03/866.75 c 867 24833 6878 1 189.0000 164.0674 15.20%
869.61/872.39 c 872 24971 6916 1 189.0000 164.0702 15.19%
874.99/877.79 c 878 25171 6942 1 189.0000 164.0750 15.19%
880.58/883.36 c 883 25341 6976 1 189.0000 164.0786 15.19%
885.67/888.45 c 888 25484 7013 1 189.0000 164.0813 15.19%
890.85/893.60 c 894 25671 7052 1 189.0000 164.0840 15.18%
896.04/898.81 c 899 25861 7088 1 189.0000 164.0860 15.18%
901.43/904.20 c 904 26066 7147 1 189.0000 164.0975 15.18%
906.52/909.39 c 909 26208 7185 1 189.0000 164.1032 15.17%
912.00/914.86 c 915 26444 7231 1 189.0000 164.1049 15.17%
917.21/920.06 c 920 26651 7284 1 189.0000 164.1065 15.17%
922.78/925.60 c 926 26841 7338 1 189.0000 164.1091 15.17%
928.36/931.23 c 931 27004 7397 1 189.0000 164.1108 15.17%
933.85/936.71 c 937 27161 7450 1 189.0000 164.1139 15.16%
939.64/942.58 c 943 27292 7511 1 189.0000 164.1182 15.16%
944.72/947.66 c 948 27561 7534 1 189.0000 164.1188 15.16%
950.81/953.74 c 954 27751 7588 1 189.0000 164.1259 15.16%
955.99/958.95 c 959 27874 7641 1 189.0000 164.1313 15.15%
961.28/964.20 c 964 28111 7686 1 189.0000 164.1354 15.15%
966.96/969.95 c 970 28264 7745 1 189.0000 164.1388 15.15%
972.55/975.59 c 976 28481 7802 1 189.0000 164.1416 15.14%
977.93/980.91 c 981 28632 7859 1 189.0000 164.1419 15.14%
983.53/986.55 c 987 28864 7917 1 189.0000 164.1469 15.14%
988.81/991.88 c 992 29201 7940 1 189.0000 164.1470 15.14%
994.01/997.06 c 997 29381 7990 1 189.0000 164.1488 15.14%
999.18/1002.25 c 1002 29648 8043 1 189.0000 164.1518 15.14%
1004.27/1007.37 c 1007 29954 8087 1 189.0000 164.1543 15.14%
1009.45/1012.52 c 1013 30094 8133 1 189.0000 164.1595 15.13%
1015.25/1018.30 c 1018 30424 8171 1 189.0000 164.1618 15.13%
1021.04/1024.18 c 1024 30584 8253 1 189.0000 164.1647 15.13%
1027.03/1030.16 c 1030 30780 8327 1 189.0000 164.1721 15.12%
1032.10/1035.27 c 1035 31011 8368 1 189.0000 164.1746 15.12%
1037.49/1040.69 c 1041 31176 8433 1 189.0000 164.1755 15.12%
1042.67/1045.88 c 1046 31364 8491 1 189.0000 164.1800 15.12%
1048.66/1051.85 c 1052 31538 8549 1 189.0000 164.1821 15.12%
1054.04/1057.21 c 1057 31751 8602 1 189.0000 164.1833 15.12%
1059.14/1062.34 c 1062 32018 8653 1 189.0000 164.1842 15.11%
1064.32/1067.52 c 1068 32301 8684 1 189.0000 164.1870 15.11%
1069.41/1072.66 c 1073 32436 8747 1 189.0000 164.1892 15.11%
1074.80/1078.08 c 1078 32641 8800 1 189.0000 164.1918 15.11%
1079.98/1083.29 c 1083 32881 8842 1 189.0000 164.1946 15.11%
1085.97/1089.23 c 1089 33081 8912 1 189.0000 164.1983 15.10%
1091.96/1095.22 c 1095 33323 8992 1 189.0000 164.2026 15.10%
1097.04/1100.39 c 1100 33541 9024 1 189.0000 164.2072 15.10%
1102.74/1106.04 c 1106 33801 9058 1 189.0000 164.2093 15.10%
1109.11/1112.50 c 1112 34044 9105 1 189.0000 164.2117 15.10%
1115.09/1118.44 c 1118 34315 9166 1 189.0000 164.2140 15.09%
1120.80/1124.13 c 1124 34578 9221 1 189.0000 164.2203 15.09%
1126.57/1129.98 c 1130 34836 9289 1 189.0000 164.2274 15.08%
1131.85/1135.22 c 1135 35051 9348 1 189.0000 164.2327 15.08%
1136.94/1140.31 c 1140 35239 9410 1 189.0000 164.2346 15.08%
1142.74/1146.18 c 1146 35461 9476 1 189.0000 164.2429 15.07%
1148.51/1151.91 c 1152 35721 9574 1 189.0000 164.2452 15.07%
1153.71/1157.12 c 1157 35941 9636 1 189.0000 164.2474 15.07%
1159.38/1162.82 c 1163 36151 9706 1 189.0000 164.2533 15.07%
1164.68/1168.18 c 1168 36292 9779 1 189.0000 164.2571 15.06%
1169.86/1173.34 c 1173 36491 9838 1 189.0000 164.2626 15.06%
1175.84/1179.36 c 1179 36694 9887 1 189.0000 164.2645 15.06%
1181.23/1184.74 c 1185 36884 9953 1 189.0000 164.2664 15.06%
1186.31/1189.88 c 1190 37068 10021 1 189.0000 164.2701 15.05%
1191.40/1194.95 c 1195 37231 10086 1 189.0000 164.2769 15.05%
1196.39/1199.98 c 1200 37441 10146 1 189.0000 164.2779 15.05%
1202.28/1205.83 c 1206 37681 10192 1 189.0000 164.2828 15.05%
1207.37/1211.01 c 1211 37904 10241 1 189.0000 164.2843 15.04%
1212.56/1216.19 c 1216 38091 10306 1 189.0000 164.2896 15.04%
1218.24/1221.88 c 1222 38301 10362 1 189.0000 164.2947 15.04%
1224.02/1227.60 c 1228 38521 10444 1 189.0000 164.2963 15.04%
1229.21/1232.82 c 1233 38634 10491 1 189.0000 164.2988 15.03%
1234.29/1237.96 c 1238 38791 10548 1 189.0000 164.3004 15.03%
1239.98/1243.67 c 1244 38985 10594 1 189.0000 164.3018 15.03%
1245.27/1248.98 c 1249 39184 10659 1 189.0000 164.3021 15.03%
1250.75/1254.46 c 1254 39404 10721 1 189.0000 164.3059 15.03%
1255.94/1259.63 c 1260 39601 10784 1 189.0000 164.3079 15.03%
1261.33/1265.02 c 1265 39841 10838 1 189.0000 164.3095 15.03%
1266.42/1270.12 c 1270 40031 10882 1 189.0000 164.3113 15.03%
1271.70/1275.44 c 1275 40192 10963 1 189.0000 164.3123 15.02%
1277.08/1280.81 c 1281 40511 11014 1 189.0000 164.3144 15.02%
1282.38/1286.16 c 1286 40630 11085 1 189.0000 164.3180 15.02%
1288.37/1292.15 c 1292 40954 11153 1 189.0000 164.3209 15.02%
1293.64/1297.43 c 1297 41164 11221 1 189.0000 164.3212 15.02%
1298.82/1302.65 c 1303 41394 11269 1 189.0000 164.3254 15.02%
1304.22/1308.04 c 1308 41567 11328 1 189.0000 164.3260 15.02%
1309.69/1313.57 c 1314 41756 11401 1 189.0000 164.3291 15.01%
1315.08/1319.01 c 1319 41894 11465 1 189.0000 164.3319 15.01%
1321.77/1325.66 c 1326 42054 11519 1 189.0000 164.3353 15.01%
1327.65/1331.55 c 1332 42295 11584 1 189.0000 164.3400 15.01%
1333.43/1337.39 c 1337 42551 11634 1 189.0000 164.3466 15.00%
1338.92/1342.87 c 1343 42774 11685 1 189.0000 164.3488 15.00%
1344.60/1348.60 c 1349 42967 11752 1 189.0000 164.3495 15.00%
1349.99/1353.97 c 1354 43281 11810 1 189.0000 164.3507 15.00%
1355.77/1359.76 c 1360 43596 11875 1 189.0000 164.3516 15.00%
1361.47/1365.40 c 1365 43911 11938 1 189.0000 164.3548 15.00%
1366.45/1370.43 c 1370 44051 11996 1 189.0000 164.3558 14.99%
1372.03/1376.09 c 1376 44340 12045 1 189.0000 164.3564 14.99%
1377.90/1382.00 c 1382 44647 12114 1 189.0000 164.3588 14.99%
1383.78/1387.89 c 1388 44914 12155 1 189.0000 164.3639 14.99%
1389.08/1393.12 c 1393 45074 12193 1 189.0000 164.3657 14.99%
1394.95/1399.11 c 1399 45267 12262 1 189.0000 164.3674 14.99%
1400.05/1404.17 c 1404 45526 12305 1 189.0000 164.3689 14.99%
1405.72/1409.80 c 1410 45724 12361 1 189.0000 164.3721 14.98%
1411.19/1415.30 c 1415 45921 12416 1 189.0000 164.3734 14.98%
1416.28/1420.47 c 1420 46051 12484 1 189.0000 164.3775 14.98%
1422.46/1426.60 c 1427 46251 12534 1 189.0000 164.3798 14.98%
1428.44/1432.60 c 1433 46489 12626 1 189.0000 164.3806 14.98%
1433.73/1438.01 c 1438 46714 12695 1 189.0000 164.3822 14.98%
1439.52/1443.74 c 1444 46854 12765 1 189.0000 164.3838 14.97%
1444.70/1448.90 c 1449 47031 12834 1 189.0000 164.3869 14.97%
1450.59/1454.80 c 1455 47240 12905 1 189.0000 164.3879 14.97%
1456.57/1460.82 c 1461 47534 12955 1 189.0000 164.3883 14.97%
1461.56/1465.86 c 1466 47702 13007 1 189.0000 164.3892 14.97%
1466.76/1471.09 c 1471 47861 13060 1 189.0000 164.3913 14.97%
1472.13/1476.42 c 1476 48049 13116 1 189.0000 164.3919 14.97%
1477.61/1481.92 c 1482 48284 13169 1 189.0000 164.3928 14.97%
1483.00/1487.34 c 1487 48424 13217 1 189.0000 164.3963 14.97%
1488.81/1493.11 c 1493 48681 13280 1 189.0000 164.3977 14.97%
1494.69/1499.04 c 1499 48881 13354 1 189.0000 164.3986 14.96%
1499.68/1504.06 c 1504 49071 13410 1 189.0000 164.4003 14.96%
1505.05/1509.47 c 1509 49238 13467 1 189.0000 164.4018 14.96%
1510.44/1514.84 c 1515 49405 13534 1 189.0000 164.4070 14.96%
1516.32/1520.79 c 1521 49697 13578 1 189.0000 164.4078 14.96%
1522.31/1526.79 c 1527 49973 13636 1 189.0000 164.4099 14.96%
1527.70/1532.11 c 1532 50143 13696 1 189.0000 164.4127 14.95%
1533.60/1538.03 c 1538 50324 13749 1 189.0000 164.4155 14.95%
1538.68/1543.11 c 1543 50551 13792 1 189.0000 164.4168 14.95%
1544.25/1548.76 c 1549 50781 13862 1 189.0000 164.4179 14.95%
1549.74/1554.24 c 1554 51051 13924 1 189.0000 164.4201 14.95%
1556.22/1560.77 c 1561 51304 13989 1 189.0000 164.4220 14.95%
1561.62/1566.18 c 1566 51584 14033 1 189.0000 164.4231 14.95%
1567.19/1571.75 c 1572 51814 14071 1 189.0000 164.4245 14.95%
1573.16/1577.72 c 1578 52125 14150 1 189.0000 164.4257 14.95%
1578.64/1583.26 c 1583 52364 14203 1 189.0000 164.4286 14.94%
1583.92/1588.59 c 1589 52621 14242 1 189.0000 164.4292 14.94%
1589.53/1594.17 c 1594 52834 14301 1 189.0000 164.4303 14.94%
1594.90/1599.55 c 1600 53101 14366 1 189.0000 164.4315 14.94%
1599.99/1604.66 c 1605 53334 14419 1 189.0000 164.4325 14.94%
1605.38/1610.06 c 1610 53554 14491 1 189.0000 164.4352 14.94%
1610.47/1615.18 c 1615 53771 14544 1 189.0000 164.4373 14.94%
1615.74/1620.49 c 1620 54001 14610 1 189.0000 164.4379 14.94%
1621.03/1625.72 c 1626 54246 14661 1 189.0000 164.4385 14.94%
1626.52/1631.22 c 1631 54524 14701 1 189.0000 164.4409 14.93%
1631.61/1636.32 c 1636 54691 14746 1 189.0000 164.4438 14.93%
1636.99/1641.71 c 1642 54841 14808 1 189.0000 164.4479 14.93%
1642.88/1647.63 c 1648 55049 14872 1 189.0000 164.4497 14.93%
1648.17/1652.95 c 1653 55215 14940 1 189.0000 164.4518 14.93%
1653.65/1658.48 c 1658 55501 14994 1 189.0000 164.4534 14.93%
1658.74/1663.51 c 1664 55736 15055 1 189.0000 164.4552 14.92%
1664.13/1668.99 c 1669 55964 15127 1 189.0000 164.4570 14.92%
1670.11/1674.96 c 1675 56204 15193 1 189.0000 164.4582 14.92%
1675.89/1680.71 c 1681 56421 15264 1 189.0000 164.4614 14.92%
1681.19/1686.07 c 1686 56594 15317 1 189.0000 164.4623 14.92%
1687.36/1692.24 c 1692 56904 15397 1 189.0000 164.4638 14.92%
1693.05/1697.97 c 1698 57138 15473 1 189.0000 164.4657 14.92%
1698.74/1703.64 c 1704 57322 15521 1 189.0000 164.4678 14.92%
1703.92/1708.80 c 1709 57631 15576 1 189.0000 164.4686 14.92%
1709.22/1714.16 c 1714 57761 15634 1 189.0000 164.4713 14.91%
1714.60/1719.55 c 1720 57961 15700 1 189.0000 164.4732 14.91%
1719.98/1724.92 c 1725 58082 15755 1 189.0000 164.4745 14.91%
1725.67/1730.67 c 1731 58241 15826 1 189.0000 164.4773 14.91%
1731.35/1736.38 c 1736 58531 15870 1 189.0000 164.4788 14.91%
1736.84/1741.89 c 1742 58754 15947 1 189.0000 164.4818 14.91%
1741.92/1746.95 c 1747 58904 15995 1 189.0000 164.4838 14.90%
1747.32/1752.31 c 1752 59071 16068 1 189.0000 164.4848 14.90%
1752.50/1757.56 c 1758 59224 16121 1 189.0000 164.4870 14.90%
1758.29/1763.34 c 1763 59391 16180 1 189.0000 164.4904 14.90%
1763.87/1768.90 c 1769 59648 16219 1 189.0000 164.4912 14.90%
1769.16/1774.29 c 1774 59931 16272 1 189.0000 164.4921 14.90%
1775.06/1780.13 c 1780 60154 16341 1 189.0000 164.4934 14.90%
1780.53/1785.68 c 1786 60351 16416 1 189.0000 164.4956 14.90%
1785.93/1791.09 c 1791 60527 16476 1 189.0000 164.4968 14.90%
1791.30/1796.44 c 1796 60842 16539 1 189.0000 164.4973 14.90%
1797.28/1802.40 c 1802 61068 16611 1 189.0000 164.5000 14.89%
1802.77/1807.94 c 1808 61339 16676 1 189.0000 164.5010 14.89%
1807.96/1813.16 c 1813 61651 16708 1 189.0000 164.5028 14.89%
1813.04/1818.22 c 1818 61811 16770 1 189.0000 164.5037 14.89%
1818.62/1823.87 c 1824 61971 16814 1 189.0000 164.5045 14.89%
1823.71/1828.98 c 1829 62251 16882 1 189.0000 164.5055 14.89%
1829.09/1834.37 c 1834 62441 16924 1 189.0000 164.5065 14.89%
1834.90/1840.19 c 1840 62654 16997 1 189.0000 164.5076 14.89%
1840.27/1845.56 c 1846 62836 17073 1 189.0000 164.5085 14.89%
1845.66/1850.99 c 1851 63051 17126 1 189.0000 164.5097 14.89%
1851.33/1856.62 c 1857 63211 17202 1 189.0000 164.5102 14.89%
1856.92/1862.22 c 1862 63471 17270 1 189.0000 164.5108 14.89%
1862.20/1867.59 c 1868 63741 17332 1 189.0000 164.5127 14.88%
1868.18/1873.51 c 1874 63897 17404 1 189.0000 164.5138 14.88%
1873.38/1878.70 c 1879 64064 17455 1 189.0000 164.5153 14.88%
1879.06/1884.45 c 1884 64244 17529 1 189.0000 164.5169 14.88%
1884.85/1890.25 c 1890 64523 17594 1 189.0000 164.5178 14.88%
1890.74/1896.12 c 1896 64831 17666 1 189.0000 164.5181 14.88%
1896.72/1902.16 c 1902 65024 17727 1 189.0000 164.5196 14.88%
1901.80/1907.26 c 1907 65190 17775 1 189.0000 164.5212 14.88%
1906.99/1912.41 c 1912 65381 17804 1 189.0000 164.5221 14.88%
1912.77/1918.21 c 1918 65671 17858 1 189.0000 164.5224 14.88%
1918.67/1924.19 c 1924 65844 17917 1 189.0000 164.5229 14.88%
1924.14/1929.65 c 1930 66022 17973 1 189.0000 164.5238 14.88%
1929.83/1935.39 c 1935 66368 18011 1 189.0000 164.5255 14.88%
1935.22/1940.78 c 1941 66634 18071 1 189.0000 164.5262 14.88%
1940.52/1946.01 c 1946 66868 18125 1 189.0000 164.5287 14.87%
1946.50/1952.05 c 1952 67104 18175 1 189.0000 164.5295 14.87%
1951.67/1957.27 c 1957 67324 18261 1 189.0000 164.5332 14.87%
1956.96/1962.54 c 1963 67621 18338 1 189.0000 164.5345 14.87%
1961.95/1967.56 c 1968 67861 18404 1 189.0000 164.5355 14.87%
1967.64/1973.20 c 1973 68067 18470 1 189.0000 164.5366 14.87%
1973.02/1978.65 c 1979 68316 18511 1 189.0000 164.5372 14.87%
1978.01/1983.66 c 1984 68411 18558 1 189.0000 164.5376 14.87%
1983.29/1988.98 c 1989 68661 18612 1 189.0000 164.5381 14.87%
1988.58/1994.26 c 1994 68811 18682 1 189.0000 164.5403 14.87%
1994.16/1999.83 c 2000 69131 18754 1 189.0000 164.5408 14.87%
2000.05/2005.71 c 2006 69370 18811 1 189.0000 164.5421 14.86%
2005.63/2011.36 c 2011 69579 18886 1 189.0000 164.5436 14.86%
2011.34/2017.02 c 2017 69799 18948 1 189.0000 164.5451 14.86%
2017.11/2022.89 c 2023 70031 19026 1 189.0000 164.5470 14.86%
2022.20/2027.98 c 2028 70191 19064 1 189.0000 164.5479 14.86%
2027.68/2033.47 c 2033 70421 19122 1 189.0000 164.5493 14.86%
2033.29/2039.03 c 2039 70626 19181 1 189.0000 164.5504 14.86%
2038.37/2044.12 c 2044 70952 19263 1 189.0000 164.5529 14.86%
2043.64/2049.48 c 2049 71271 19348 1 189.0000 164.5550 14.86%
2048.73/2054.52 c 2055 71421 19410 1 189.0000 164.5570 14.85%
2054.01/2059.83 c 2060 71623 19490 1 189.0000 164.5599 14.85%
2059.32/2065.14 c 2065 71821 19538 1 189.0000 164.5605 14.85%
2064.59/2070.47 c 2070 72104 19605 1 189.0000 164.5607 14.85%
2069.98/2075.83 c 2076 72334 19671 1 189.0000 164.5618 14.85%
2075.27/2081.14 c 2081 72661 19704 1 189.0000 164.5624 14.85%
2080.55/2086.46 c 2086 72891 19776 1 189.0000 164.5636 14.85%
2085.53/2091.47 c 2091 73061 19844 1 189.0000 164.5650 14.85%
2090.72/2096.68 c 2097 73250 19911 1 189.0000 164.5665 14.85%
2096.12/2102.10 c 2102 73441 19980 1 189.0000 164.5685 14.85%
2102.11/2108.07 c 2108 73664 20051 1 189.0000 164.5690 14.85%
2107.39/2113.36 c 2113 73911 20112 1 189.0000 164.5699 14.84%
2113.47/2119.48 c 2119 74164 20181 1 189.0000 164.5719 14.84%
2119.35/2125.33 c 2125 74511 20234 1 189.0000 164.5760 14.84%
2124.84/2130.80 c 2131 74801 20302 1 189.0000 164.5778 14.84%
2130.51/2136.53 c 2137 74981 20372 1 189.0000 164.5788 14.84%
2136.50/2142.53 c 2143 75289 20442 1 189.0000 164.5798 14.84%
2141.68/2147.76 c 2148 75491 20490 1 189.0000 164.5807 14.84%
2146.98/2153.09 c 2153 75701 20554 1 189.0000 164.5820 14.84%
2152.26/2158.33 c 2158 75951 20602 1 189.0000 164.5830 14.84%
2157.64/2163.72 c 2164 76145 20666 1 189.0000 164.5834 14.84%
2163.04/2169.11 c 2169 76283 20738 1 189.0000 164.5841 14.83%
2168.80/2174.93 c 2175 76603 20806 1 189.0000 164.5851 14.83%
2174.48/2180.68 c 2181 76821 20878 1 189.0000 164.5863 14.83%
2179.77/2185.90 c 2186 76984 20941 1 189.0000 164.5872 14.83%
2184.87/2191.10 c 2191 77231 20990 1 189.0000 164.5880 14.83%
2190.15/2196.30 c 2196 77405 21056 1 189.0000 164.5882 14.83%
2195.13/2201.38 c 2201 77681 21096 1 189.0000 164.5886 14.83%
2200.22/2206.44 c 2206 77884 21147 1 189.0000 164.5893 14.83%
2205.70/2212.01 c 2212 78204 21209 1 189.0000 164.5903 14.83%
2210.79/2217.06 c 2217 78361 21268 1 189.0000 164.5911 14.83%
2216.26/2222.50 c 2222 78584 21325 1 189.0000 164.5920 14.83%
2222.15/2228.42 c 2228 78901 21386 1 189.0000 164.5927 14.83%
2227.43/2233.75 c 2234 79150 21471 1 189.0000 164.5930 14.83%
2232.93/2239.21 c 2239 79451 21506 1 189.0000 164.5939 14.83%
2238.21/2244.51 c 2245 79663 21572 1 189.0000 164.5951 14.83%
2243.60/2249.96 c 2250 79904 21629 1 189.0000 164.5969 14.83%
2248.88/2255.24 c 2255 80214 21683 1 189.0000 164.5980 14.83%
2253.86/2260.26 c 2260 80551 21724 1 189.0000 164.5992 14.82%
2259.85/2266.23 c 2266 80797 21780 1 189.0000 164.6000 14.82%
2264.93/2271.39 c 2271 80951 21844 1 189.0000 164.6014 14.82%
2270.22/2276.64 c 2277 81145 21898 1 189.0000 164.6024 14.82%
2275.81/2282.28 c 2282 81321 21966 1 189.0000 164.6036 14.82%
2281.61/2288.08 c 2288 81575 22038 1 189.0000 164.6049 14.82%
2287.18/2293.62 c 2294 81819 22112 1 189.0000 164.6053 14.82%
2292.96/2299.44 c 2299 82014 22163 1 189.0000 164.6063 14.82%
2298.15/2304.63 c 2305 82224 22223 1 189.0000 164.6075 14.82%
2303.44/2309.92 c 2310 82404 22277 1 189.0000 164.6082 14.82%
2308.83/2315.32 c 2315 82681 22362 1 189.0000 164.6094 14.82%
2313.81/2320.35 c 2320 82864 22417 1 189.0000 164.6107 14.82%
2319.10/2325.63 c 2326 83113 22466 1 189.0000 164.6118 14.82%
2324.19/2330.70 c 2331 83301 22524 1 189.0000 164.6128 14.81%
2329.97/2336.56 c 2337 83481 22600 1 189.0000 164.6144 14.81%
2335.36/2341.96 c 2342 83701 22710 1 189.0000 164.6149 14.81%
2340.84/2347.42 c 2347 83971 22768 1 189.0000 164.6159 14.81%
2346.44/2353.09 c 2353 84215 22852 1 189.0000 164.6164 14.81%
2351.92/2358.56 c 2359 84431 22918 1 189.0000 164.6175 14.81%
2357.52/2364.19 c 2364 84631 22992 1 189.0000 164.6188 14.81%
2362.69/2369.32 c 2369 84851 23046 1 189.0000 164.6201 14.81%
2367.78/2374.44 c 2374 85033 23124 1 189.0000 164.6214 14.81%
2372.96/2379.65 c 2380 85295 23182 1 189.0000 164.6216 14.81%
2378.55/2385.23 c 2385 85454 23253 1 189.0000 164.6223 14.81%
2383.84/2390.58 c 2391 85654 23305 1 189.0000 164.6228 14.81%
2388.82/2395.60 c 2396 85801 23376 1 189.0000 164.6253 14.81%
2394.61/2401.33 c 2401 85991 23454 1 189.0000 164.6271 14.80%
2399.60/2406.35 c 2406 86168 23533 1 189.0000 164.6284 14.80%
2405.58/2412.30 c 2412 86451 23602 1 189.0000 164.6296 14.80%
2410.56/2417.33 c 2417 86661 23662 1 189.0000 164.6312 14.80%
2415.85/2422.60 c 2423 86981 23718 1 189.0000 164.6326 14.80%
2421.44/2428.26 c 2428 87176 23791 1 189.0000 164.6327 14.80%
2426.83/2433.69 c 2434 87424 23855 1 189.0000 164.6339 14.80%
2432.71/2439.51 c 2440 87651 23926 1 189.0000 164.6352 14.80%
2437.70/2444.54 c 2445 87881 23974 1 189.0000 164.6360 14.80%
2442.88/2449.74 c 2450 88111 24046 1 189.0000 164.6374 14.80%
2448.18/2455.07 c 2455 88304 24101 1 189.0000 164.6380 14.80%
2454.06/2460.98 c 2461 88592 24177 1 189.0000 164.6398 14.80%
2459.94/2466.80 c 2467 88885 24216 1 189.0000 164.6402 14.80%
2465.83/2472.71 c 2473 89165 24300 1 189.0000 164.6418 14.79%
2471.01/2477.93 c 2478 89393 24334 1 189.0000 164.6418 14.79%
2476.21/2483.19 c 2483 89610 24385 1 189.0000 164.6421 14.79%
2482.29/2489.23 c 2489 89864 24473 1 189.0000 164.6434 14.79%
2487.37/2494.35 c 2494 90161 24514 1 189.0000 164.6451 14.79%
2492.65/2499.65 c 2500 90354 24575 1 189.0000 164.6456 14.79%
2497.74/2504.76 c 2505 90594 24631 1 189.0000 164.6474 14.79%
2503.43/2510.41 c 2510 90801 24698 1 189.0000 164.6481 14.79%
2509.12/2516.19 c 2516 91119 24754 1 189.0000 164.6488 14.79%
2514.60/2521.69 c 2522 91271 24824 1 189.0000 164.6500 14.79%
2520.68/2527.79 c 2528 91444 24901 1 189.0000 164.6503 14.79%
2525.87/2532.94 c 2533 91691 24974 1 189.0000 164.6514 14.79%
2531.16/2538.29 c 2538 91900 25017 1 189.0000 164.6530 14.79%
2536.84/2543.98 c 2544 92124 25103 1 189.0000 164.6541 14.79%
2542.23/2549.34 c 2549 92366 25193 1 189.0000 164.6550 14.79%
2547.21/2554.39 c 2554 92581 25250 1 189.0000 164.6556 14.79%
2553.10/2560.26 c 2560 92804 25317 1 189.0000 164.6571 14.78%
2558.69/2565.81 c 2566 93074 25385 1 189.0000 164.6573 14.78%
2564.67/2571.82 c 2572 93382 25471 1 189.0000 164.6588 14.78%
2570.05/2577.27 c 2577 93651 25538 1 189.0000 164.6603 14.78%
2575.74/2582.92 c 2583 93843 25602 1 189.0000 164.6612 14.78%
2581.62/2588.83 c 2589 94131 25648 1 189.0000 164.6625 14.78%
2586.82/2594.03 c 2594 94341 25698 1 189.0000 164.6634 14.78%
2592.19/2599.42 c 2599 94501 25774 1 189.0000 164.6641 14.78%
2598.38/2605.67 c 2606 94754 25837 1 189.0000 164.6650 14.78%
2604.17/2611.48 c 2611 95031 25890 1 189.0000 164.6659 14.78%
2609.45/2616.75 c 2617 95237 25940 1 189.0000 164.6662 14.78%
2615.54/2622.85 c 2623 95414 26007 1 189.0000 164.6685 14.78%
2621.32/2628.67 c 2629 95631 26078 1 189.0000 164.6699 14.78%
2627.11/2634.46 c 2634 95901 26132 1 189.0000 164.6705 14.77%
2632.99/2640.37 c 2640 96118 26199 1 189.0000 164.6709 14.77%
2638.28/2645.60 c 2646 96348 26267 1 189.0000 164.6719 14.77%
2644.17/2651.56 c 2652 96575 26340 1 189.0000 164.6726 14.77%
2649.44/2656.81 c 2657 96841 26382 1 189.0000 164.6729 14.77%
2655.13/2662.59 c 2663 96954 26455 1 189.0000 164.6734 14.77%
2660.22/2667.61 c 2668 97084 26501 1 189.0000 164.6742 14.77%
2665.20/2672.65 c 2673 97270 26559 1 189.0000 164.6747 14.77%
2670.79/2678.29 c 2678 97516 26607 1 189.0000 164.6754 14.77%
2675.87/2683.32 c 2683 97803 26666 1 189.0000 164.6759 14.77%
2681.26/2688.73 c 2689 97968 26727 1 189.0000 164.6770 14.77%
2686.56/2694.10 c 2694 98227 26786 1 189.0000 164.6776 14.77%
2692.13/2699.63 c 2700 98466 26841 1 189.0000 164.6782 14.77%
2697.82/2705.33 c 2705 98651 26912 1 189.0000 164.6796 14.77%
2702.81/2710.35 c 2710 98843 26988 1 189.0000 164.6800 14.77%
2707.90/2715.43 c 2715 98994 27037 1 189.0000 164.6809 14.77%
2713.18/2720.75 c 2721 99247 27100 1 189.0000 164.6817 14.77%
2718.76/2726.31 c 2726 99561 27136 1 189.0000 164.6825 14.77%
2723.76/2731.38 c 2731 99771 27208 1 189.0000 164.6837 14.77%
2730.14/2737.78 c 2738 99941 27288 1 189.0000 164.6847 14.76%
2735.63/2743.25 c 2743 100124 27367 1 189.0000 164.6853 14.76%
2741.11/2748.72 c 2749 100290 27435 1 189.0000 164.6866 14.76%
2746.41/2754.03 c 2754 100611 27492 1 189.0000 164.6869 14.76%
2751.40/2759.04 c 2759 100841 27556 1 189.0000 164.6876 14.76%
2756.98/2764.64 c 2765 101036 27623 1 189.0000 164.6881 14.76%
2762.06/2769.78 c 2770 101291 27682 1 189.0000 164.6885 14.76%
2767.94/2775.66 c 2776 101514 27759 1 189.0000 164.6890 14.76%
2773.63/2781.31 c 2781 101706 27819 1 189.0000 164.6900 14.76%
2779.21/2786.98 c 2787 101980 27893 1 189.0000 164.6913 14.76%
2784.50/2792.29 c 2792 102164 27953 1 189.0000 164.6922 14.76%
2790.19/2797.93 c 2798 102334 28019 1 189.0000 164.6928 14.76%
2795.29/2803.09 c 2803 102591 28090 1 189.0000 164.6939 14.76%
2800.37/2808.11 c 2808 102838 28145 1 189.0000 164.6951 14.76%
2805.75/2813.53 c 2814 102994 28197 1 189.0000 164.6952 14.76%
2810.74/2818.54 c 2819 103251 28240 1 189.0000 164.6957 14.76%
2816.12/2824.01 c 2824 103454 28321 1 189.0000 164.6963 14.76%
2821.32/2829.19 c 2829 103641 28374 1 189.0000 164.6976 14.76%
2826.49/2834.39 c 2834 103909 28430 1 189.0000 164.6982 14.76%
2831.98/2839.82 c 2840 104091 28510 1 189.0000 164.6991 14.75%
2837.67/2845.55 c 2846 104447 28598 1 189.0000 164.6998 14.75%
2842.75/2850.63 c 2851 104590 28655 1 189.0000 164.7005 14.75%
2848.04/2855.94 c 2856 104949 28706 1 189.0000 164.7012 14.75%
2853.43/2861.40 c 2861 105191 28776 1 189.0000 164.7015 14.75%
2858.61/2866.54 c 2867 105401 28842 1 189.0000 164.7020 14.75%
2864.30/2872.29 c 2872 105651 28904 1 189.0000 164.7024 14.75%
2869.79/2877.75 c 2878 105871 28958 1 189.0000 164.7029 14.75%
2875.67/2883.65 c 2884 106064 29031 1 189.0000 164.7035 14.75%
2881.46/2889.45 c 2889 106231 29124 1 189.0000 164.7049 14.75%
2887.05/2895.09 c 2895 106464 29181 1 189.0000 164.7055 14.75%
2892.43/2900.43 c 2900 106644 29253 1 189.0000 164.7062 14.75%
2898.01/2906.08 c 2906 106771 29330 1 189.0000 164.7075 14.75%
2903.77/2911.83 c 2912 106974 29407 1 189.0000 164.7081 14.75%
2909.55/2917.69 c 2918 107260 29503 1 189.0000 164.7086 14.75%
2914.95/2923.01 c 2923 107501 29638 1 189.0000 164.7090 14.75%
2920.42/2928.52 c 2929 107634 29711 1 189.0000 164.7094 14.75%
2926.20/2934.31 c 2934 107924 29809 1 189.0000 164.7098 14.75%
2931.29/2939.48 c 2939 108241 29864 1 189.0000 164.7103 14.75%
2936.99/2945.18 c 2945 108518 29931 1 189.0000 164.7105 14.75%
2942.87/2951.05 c 2951 108754 29985 1 189.0000 164.7113 14.75%
2948.54/2956.80 c 2957 108941 30066 1 189.0000 164.7121 14.75%
2953.63/2961.86 c 2962 109186 30145 1 189.0000 164.7126 14.75%
2958.93/2967.16 c 2967 109471 30208 1 189.0000 164.7136 14.74%
2964.50/2972.79 c 2973 109651 30264 1 189.0000 164.7148 14.74%
2969.91/2978.12 c 2978 109901 30328 1 189.0000 164.7150 14.74%
2975.28/2983.51 c 2984 110322 30385 1 189.0000 164.7152 14.74%
2980.87/2989.12 c 2989 110517 30446 1 189.0000 164.7157 14.74%
2986.04/2994.33 c 2994 110725 30500 1 189.0000 164.7161 14.74%
2991.83/3000.16 c 3000 110964 30587 1 189.0000 164.7165 14.74%
2997.30/3005.69 c 3006 111171 30666 1 189.0000 164.7171 14.74%
3002.70/3011.03 c 3011 111371 30732 1 189.0000 164.7173 14.74%
3007.69/3016.04 c 3016 111486 30803 1 189.0000 164.7180 14.74%
3013.06/3021.48 c 3021 111827 30874 1 189.0000 164.7184 14.74%
3018.55/3026.97 c 3027 112021 30924 1 189.0000 164.7190 14.74%
3023.65/3032.08 c 3032 112183 30994 1 189.0000 164.7199 14.74%
3028.93/3037.30 c 3037 112331 31070 1 189.0000 164.7215 14.74%
3034.63/3043.03 c 3043 112571 31156 1 189.0000 164.7222 14.74%
3039.71/3048.15 c 3048 112821 31210 1 189.0000 164.7228 14.74%
3045.70/3054.12 c 3054 113061 31286 1 189.0000 164.7236 14.74%
3050.87/3059.34 c 3059 113268 31371 1 189.0000 164.7238 14.74%
3056.05/3064.54 c 3065 113551 31426 1 189.0000 164.7246 14.74%
3062.04/3070.50 c 3070 113762 31507 1 189.0000 164.7246 14.74%
3067.13/3075.69 c 3076 113944 31575 1 189.0000 164.7266 14.74%
3072.81/3081.30 c 3081 114168 31637 1 189.0000 164.7276 14.73%
3078.00/3086.56 c 3087 114478 31697 1 189.0000 164.7280 14.73%
3083.28/3091.85 c 3092 114625 31762 1 189.0000 164.7288 14.73%
3088.58/3097.16 c 3097 114864 31821 1 189.0000 164.7294 14.73%
3094.15/3102.77 c 3103 115111 31888 1 189.0000 164.7299 14.73%
3099.55/3108.19 c 3108 115382 31959 1 189.0000 164.7301 14.73%
3105.22/3113.82 c 3114 115606 32011 1 189.0000 164.7314 14.73%
3110.61/3119.25 c 3119 115754 32079 1 189.0000 164.7324 14.73%
3115.70/3124.33 c 3124 115911 32126 1 189.0000 164.7335 14.73%
3121.18/3129.89 c 3130 116081 32188 1 189.0000 164.7350 14.73%
3126.48/3135.12 c 3135 116281 32260 1 189.0000 164.7354 14.73%
3131.65/3140.37 c 3140 116458 32325 1 189.0000 164.7358 14.73%
3137.34/3146.09 c 3146 116906 32369 1 189.0000 164.7359 14.73%
3143.02/3151.78 c 3152 117101 32436 1 189.0000 164.7369 14.73%
3149.32/3158.08 c 3158 117354 32503 1 189.0000 164.7372 14.73%
3154.41/3163.14 c 3163 117581 32558 1 189.0000 164.7381 14.73%
3160.08/3168.88 c 3169 117778 32629 1 189.0000 164.7387 14.73%
3165.56/3174.33 c 3174 118001 32680 1 189.0000 164.7399 14.73%
3171.54/3180.34 c 3180 118249 32744 1 189.0000 164.7405 14.73%
3177.34/3186.15 c 3186 118439 32798 1 189.0000 164.7408 14.73%
3182.42/3191.28 c 3191 118711 32852 1 189.0000 164.7411 14.73%
3187.91/3196.71 c 3197 118921 32912 1 189.0000 164.7415 14.73%
3193.39/3202.29 c 3202 119044 32997 1 189.0000 164.7424 14.72%
3198.68/3207.51 c 3208 119264 33043 1 189.0000 164.7434 14.72%
3204.06/3212.92 c 3213 119498 33117 1 189.0000 164.7442 14.72%
3209.35/3218.27 c 3218 119791 33184 1 189.0000 164.7447 14.72%
3214.43/3223.30 c 3223 119941 33246 1 189.0000 164.7455 14.72%
3219.42/3228.39 c 3228 120226 33303 1 189.0000 164.7459 14.72%
3224.71/3233.65 c 3234 120491 33358 1 189.0000 164.7470 14.72%
3229.79/3238.71 c 3239 120661 33430 1 189.0000 164.7480 14.72%
3235.38/3244.38 c 3244 120931 33502 1 189.0000 164.7489 14.72%
3240.77/3249.76 c 3250 121128 33569 1 189.0000 164.7496 14.72%
3246.17/3255.13 c 3255 121294 33637 1 189.0000 164.7504 14.72%
3251.54/3260.54 c 3261 121466 33715 1 189.0000 164.7511 14.72%
3256.92/3265.90 c 3266 121691 33776 1 189.0000 164.7517 14.72%
3261.91/3271.01 c 3271 121921 33836 1 189.0000 164.7524 14.72%
3267.19/3276.20 c 3276 122151 33890 1 189.0000 164.7530 14.72%
3272.58/3281.69 c 3282 122344 33955 1 189.0000 164.7544 14.72%
3278.07/3287.18 c 3287 122551 34016 1 189.0000 164.7552 14.72%
3284.06/3293.19 c 3293 122785 34102 1 189.0000 164.7558 14.72%
3289.43/3298.53 c 3299 123057 34172 1 189.0000 164.7572 14.71%
3294.93/3304.09 c 3304 123299 34236 1 189.0000 164.7577 14.71%
3300.10/3309.22 c 3309 123613 34272 1 189.0000 164.7579 14.71%
3305.29/3314.41 c 3314 123861 34322 1 189.0000 164.7596 14.71%
3310.38/3319.53 c 3320 124001 34384 1 189.0000 164.7600 14.71%
3315.56/3324.76 c 3325 124280 34443 1 189.0000 164.7602 14.71%
3320.56/3329.77 c 3330 124491 34492 1 189.0000 164.7608 14.71%
3326.04/3335.22 c 3335 124712 34567 1 189.0000 164.7611 14.71%
3331.63/3340.84 c 3341 124891 34636 1 189.0000 164.7619 14.71%
3336.83/3346.09 c 3346 125171 34690 1 189.0000 164.7630 14.71%
3342.30/3351.57 c 3352 125411 34784 1 189.0000 164.7638 14.71%
3347.90/3357.13 c 3357 125591 34848 1 189.0000 164.7650 14.71%
3353.07/3362.33 c 3362 125857 34906 1 189.0000 164.7664 14.71%
3358.06/3367.35 c 3367 126031 34962 1 189.0000 164.7667 14.71%
3363.44/3372.70 c 3373 126224 35023 1 189.0000 164.7672 14.71%
3369.34/3378.65 c 3379 126399 35102 1 189.0000 164.7679 14.71%
3375.22/3384.51 c 3385 126586 35171 1 189.0000 164.7698 14.71%
3381.10/3390.45 c 3390 126887 35230 1 189.0000 164.7699 14.71%
3386.29/3395.65 c 3396 127061 35266 1 189.0000 164.7705 14.71%
3391.88/3401.24 c 3401 127451 35322 1 189.0000 164.7716 14.70%
3397.36/3406.71 c 3407 127723 35390 1 189.0000 164.7725 14.70%
3402.45/3411.84 c 3412 128071 35442 1 189.0000 164.7729 14.70%
3408.43/3417.81 c 3418 128421 35500 1 189.0000 164.7735 14.70%
3414.02/3423.46 c 3423 128644 35569 1 189.0000 164.7739 14.70%
3419.10/3428.57 c 3429 128849 35628 1 189.0000 164.7747 14.70%
3424.49/3433.99 c 3434 129173 35682 1 189.0000 164.7749 14.70%
3430.28/3439.79 c 3440 129441 35756 1 189.0000 164.7764 14.70%
3435.36/3444.80 c 3445 129661 35820 1 189.0000 164.7768 14.70%
3441.15/3450.69 c 3451 129864 35887 1 189.0000 164.7769 14.70%
3446.64/3456.19 c 3456 130104 35959 1 189.0000 164.7778 14.70%
3452.21/3461.78 c 3462 130321 36034 1 189.0000 164.7787 14.70%
3457.62/3467.19 c 3467 130531 36096 1 189.0000 164.7793 14.70%
3462.99/3472.50 c 3472 130712 36175 1 189.0000 164.7795 14.70%
3468.78/3478.35 c 3478 130943 36254 1 189.0000 164.7801 14.70%
3473.86/3483.49 c 3483 131211 36286 1 189.0000 164.7809 14.70%
3479.34/3489.01 c 3489 131538 36341 1 189.0000 164.7811 14.70%
3484.44/3494.05 c 3494 131744 36415 1 189.0000 164.7820 14.70%
3489.53/3499.19 c 3499 132011 36468 1 189.0000 164.7822 14.70%
3495.10/3504.73 c 3505 132200 36549 1 189.0000 164.7827 14.70%
3500.59/3510.24 c 3510 132377 36620 1 189.0000 164.7834 14.70%
3505.67/3515.30 c 3515 132518 36681 1 189.0000 164.7840 14.70%
3511.26/3520.93 c 3521 132697 36756 1 189.0000 164.7844 14.70%
3516.64/3526.30 c 3526 132904 36815 1 189.0000 164.7849 14.69%
3522.13/3531.88 c 3532 133108 36879 1 189.0000 164.7856 14.69%
3527.43/3537.15 c 3537 133541 36890 1 189.0000 164.7861 14.69%
3533.11/3542.87 c 3543 133777 37004 1 189.0000 164.7867 14.69%
3538.09/3547.89 c 3548 134041 37072 1 189.0000 164.7871 14.69%
3543.17/3552.98 c 3553 134191 37140 1 189.0000 164.7877 14.69%
3549.05/3558.88 c 3559 134414 37207 1 189.0000 164.7880 14.69%
3554.35/3564.12 c 3564 134731 37264 1 189.0000 164.7885 14.69%
3559.72/3569.57 c 3570 134908 37329 1 189.0000 164.7890 14.69%
3565.71/3575.56 c 3576 135084 37407 1 189.0000 164.7891 14.69%
3571.31/3581.12 c 3581 135407 37466 1 189.0000 164.7893 14.69%
3576.29/3586.14 c 3586 135611 37538 1 189.0000 164.7898 14.69%
3581.37/3591.29 c 3591 135836 37581 1 189.0000 164.7901 14.69%
3587.17/3597.03 c 3597 136124 37647 1 189.0000 164.7904 14.69%
3588.26/3598.14 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.26/3598.14 c Total Time : 3598.13
3588.26/3598.14 c solving : 3598.13
3588.26/3598.14 c presolving : 0.06 (included in solving)
3588.26/3598.14 c B&B Tree :
3588.26/3598.14 c nodes (total) : 1
3588.26/3598.14 c Solution :
3588.26/3598.14 c Solutions found : 14
3588.26/3598.14 c Primal Bound : +1.89000000000000e+02
3588.26/3598.14 c Dual Bound : +1.64790486482391e+02
3588.26/3598.14 c Gap : 14.69109 %
3588.26/3598.14 c * Warning: final gap: 1.46911e-01 is greater than SCIPepsilon: 1.00000e-09
3588.26/3598.14 o 189
3588.26/3598.14 s SATISFIABLE
3588.26/3598.14 v x476 -x475 x474 x473 -x472 x471 x470 -x469 -x468 x467 -x466 x465 -x464 x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454
3588.26/3598.14 v -x453 -x452 -x451 -x450 -x449 x448 x447 x446 x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 x435 -x434 -x433 -x432
3588.26/3598.14 v x431 -x430 x429 -x428 -x427 -x426 -x425 -x424 x423 -x422 -x421 -x420 x419 x418 x417 x416 -x415 -x414 -x413 -x412 -x411 -x410
3588.26/3598.14 v x409 x408 -x407 -x406 x405 x404 -x403 x402 x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 -x391 x390 x389 x388
3588.26/3598.14 v -x387 x386 x385 -x384 -x383 -x382 x381 -x380 -x379 -x378 -x377 -x376 x375 -x374 x373 x372 -x371 -x370 -x369 -x368 -x367 -x366
3588.26/3598.14 v -x365 x364 -x363 x362 -x361 x360 x359 -x358 -x357 -x356 x355 -x354 x353 x352 x351 x350 -x349 x348 -x347 x346 -x345 -x344 -x343
3588.26/3598.14 v -x342 x341 x340 x339 -x338 -x337 -x336 x335 -x334 -x333 x332 -x331 x330 x329 x328 x327 -x326 -x325 x324 -x323 x322 -x321
3588.26/3598.14 v -x320 x319 -x318 -x317 -x316 -x315 -x314 x313 -x312 x311 x310 -x309 -x308 -x307 -x306 x305 x304 -x303 x302 -x301 x300 -x299
3588.26/3598.14 v -x298 -x297 -x296 x295 -x294 -x293 -x292 -x291 x290 -x289 -x288 x287 -x286 -x285 -x284 -x283 x282 -x281 x280 -x279 x278 -x277
3588.26/3598.14 v x276 x275 x274 x273 x272 x271 -x270 -x269 x268 -x267 x266 x265 x264 -x263 -x262 -x261 -x260 x259 -x258 x257 -x256 -x255 -x254
3588.26/3598.14 v x253 -x252 -x251 -x250 -x249 x248 -x247 x246 -x245 x244 x243 x242 x241 x240 x239 -x238 -x237 -x236 x235 x234 -x233 -x232 x231
3588.26/3598.14 v -x230 -x229 x228 -x227 -x226 -x225 x224 x223 x222 x221 -x220 x219 x218 x217 x216 -x215 -x214 -x213 -x212 x211 -x210 -x209
3588.26/3598.14 v -x208 x207 x206 -x205 x204 x203 -x202 -x201 x200 -x199 x198 x197 x196 -x195 -x194 -x193 -x192 x191 x190 -x189 -x188 -x187 -x186
3588.26/3598.14 v -x185 x184 x183 x182 x181 -x180 -x179 x178 x177 x176 x175 -x174 -x173 -x172 -x171 -x170 x169 x168 -x167 x166 x165 -x164 x163
3588.26/3598.14 v -x162 x161 x160 -x159 x158 -x157 -x156 x155 x154 -x153 x152 -x151 x150 -x149 x148 -x147 -x146 -x145 -x144 x143 x142 x141 -x140
3588.26/3598.14 v x139 -x138 -x137 x136 x135 x134 -x133 x132 -x131 -x130 -x129 x128 x127 -x126 -x125 x124 -x123 -x122 -x121 x120 -x119 -x118
3588.26/3598.14 v x117 x116 -x115 -x114 -x113 x112 -x111 -x110 x109 -x108 x107 -x106 x105 x104 -x103 -x102 -x101 -x100 x99 x98 -x97 x96 -x95
3588.26/3598.14 v -x94 x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 x78 x77 x76 -x75 x74 x73 -x72 -x71 -x70 x69 -x68
3588.26/3598.14 v -x67 -x66 -x65 -x64 x63 x62 -x61 x60 -x59 -x58 x57 x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42
3588.26/3598.14 v x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 x31 x30 -x29 -x28 -x27 -x26 x25 -x24 x23 -x22 x21 -x20 -x19 -x18 -x17 x16 -x15
3588.26/3598.14 v x14 -x13 -x12 -x11 x10 x9 -x8 -x7 -x6 x5 x4 -x3 x2 x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (62203 MiB free)
memory of node 1: 64473 MiB (63701 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463978-1722378596/watcher-4463978-1722378596 -o /tmp/evaluation-result-4463978-1722378596/solver-4463978-1722378596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722378594-28233 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463978-1722378596.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=28391, runsolver pid=28388
Current StackSize limit: 8192 KiB
[startup+0.101268 s]*
/proc/loadavg: 0.15 0.12 0.09 5/250 28396
/proc/meminfo: memFree=128903656/131655788 swapFree=131071996/131071996
[pid=28391] ppid=28388 vsize=112436 memory=24372 CPUtime=0.1 cores=1,3
/proc/28391/stat : 28391 (fscip) S 28388 28391 28221 0 -1 1077936128 3586 0 0 0 9 1 0 0 20 0 3 0 4230749 115134464 6093 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
/proc/28391/statm: 28109 6093 2806 3035 0 9531 0
[pid=28391/tid=28395] ppid=28388 vsize=112436 memory=4026561586 CPUtime=0.02 cores=1,3
/proc/28391/task/28395/stat : 28395 (fscip) R 28388 28391 28221 0 -1 4194368 1147 0 0 0 2 0 0 0 20 0 3 0 4230756 115134464 6093 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
[pid=28391/tid=28396] ppid=28388 vsize=112436 memory=232851243367 CPUtime=0 cores=1,3
/proc/28391/task/28396/stat : 28396 (fscip) S 28388 28391 28221 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4230758 115134464 6093 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 112436 KiB
Current children cumulated memory: 24372 KiB
[startup+0.218266 s]*
/proc/loadavg: 0.15 0.12 0.09 5/250 28396
/proc/meminfo: memFree=128898616/131655788 swapFree=131071996/131071996
[pid=28391] ppid=28388 vsize=112436 memory=28540 CPUtime=0.19 cores=1,3
/proc/28391/stat : 28391 (fscip) S 28388 28391 28221 0 -1 1077936128 4510 0 0 0 18 1 0 0 20 0 3 0 4230749 115134464 7135 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
/proc/28391/statm: 28109 7135 2934 3035 0 10458 0
[pid=28391/tid=28395] ppid=28388 vsize=112436 memory=664970838410264707 CPUtime=0.11 cores=1,3
/proc/28391/task/28395/stat : 28395 (fscip) R 28388 28391 28221 0 -1 4194368 2071 0 0 0 11 0 0 0 20 0 3 0 4230756 115134464 7135 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
[pid=28391/tid=28396] ppid=28388 vsize=112436 memory=16999 CPUtime=0 cores=1,3
/proc/28391/task/28396/stat : 28396 (fscip) S 28388 28391 28221 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4230758 115134464 7135 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 112436 KiB
Current children cumulated memory: 28540 KiB
[startup+0.315266 s]*
/proc/loadavg: 0.15 0.12 0.09 5/250 28396
/proc/meminfo: memFree=128897588/131655788 swapFree=131071996/131071996
[pid=28391] ppid=28388 vsize=112436 memory=28804 CPUtime=0.28 cores=1,3
/proc/28391/stat : 28391 (fscip) S 28388 28391 28221 0 -1 1077936128 4558 0 0 0 27 1 0 0 20 0 3 0 4230749 115134464 7201 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
/proc/28391/statm: 28109 7201 2934 3035 0 10517 0
[pid=28391/tid=28395] ppid=28388 vsize=112436 memory=-5155626882122935429 CPUtime=0.2 cores=1,3
/proc/28391/task/28395/stat : 28395 (fscip) R 28388 28391 28221 0 -1 4194368 2119 0 0 0 20 0 0 0 20 0 3 0 4230756 115134464 7201 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
[pid=28391/tid=28396] ppid=28388 vsize=112436 memory=0 CPUtime=0 cores=1,3
/proc/28391/task/28396/stat : 28396 (fscip) S 28388 28391 28221 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4230758 115134464 7201 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 112436 KiB
Current children cumulated memory: 28804 KiB
[startup+0.700289 s]
/proc/loadavg: 0.15 0.12 0.09 5/250 28398
/proc/meminfo: memFree=128896916/131655788 swapFree=131071996/131071996
[pid=28391] ppid=28388 vsize=112436 memory=28804 CPUtime=0.64 cores=1,3
/proc/28391/stat : 28391 (fscip) S 28388 28391 28221 0 -1 1077936128 4595 0 0 0 63 1 0 0 20 0 3 0 4230749 115134464 7201 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
/proc/28391/statm: 28109 7201 2934 3035 0 10564 0
[pid=28391/tid=28395] ppid=28388 vsize=112436 memory=0 CPUtime=0.56 cores=1,3
/proc/28391/task/28395/stat : 28395 (fscip) R 28388 28391 28221 0 -1 4194368 2156 0 0 0 56 0 0 0 20 0 3 0 4230756 115134464 7201 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
[pid=28391/tid=28396] ppid=28388 vsize=112436 memory=0 CPUtime=0 cores=1,3
/proc/28391/task/28396/stat : 28396 (fscip) S 28388 28391 28221 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4230758 115134464 7201 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 112436 KiB
Current children cumulated memory: 28804 KiB
[startup+1.50033 s]
/proc/loadavg: 0.46 0.18 0.11 5/250 28398
/proc/meminfo: memFree=128896244/131655788 swapFree=131071996/131071996
[pid=28391] ppid=28388 vsize=112436 memory=29224 CPUtime=1.44 cores=1,3
/proc/28391/stat : 28391 (fscip) S 28388 28391 28221 0 -1 1077936128 5019 0 0 0 143 1 0 0 20 0 3 0 4230749 115134464 7306 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
/proc/28391/statm: 28109 7306 2934 3035 0 10641 0
[pid=28391/tid=28395] ppid=28388 vsize=112436 memory=0 CPUtime=1.36 cores=1,3
/proc/28391/task/28395/stat : 28395 (fscip) R 28388 28391 28221 0 -1 4194368 2580 0 0 0 136 0 0 0 20 0 3 0 4230756 115134464 7306 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
[pid=28391/tid=28396] ppid=28388 vsize=112436 memory=0 CPUtime=0 cores=1,3
/proc/28391/task/28396/stat : 28396 (fscip) S 28388 28391 28221 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4230758 115134464 7306 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 112436 KiB
Current children cumulated memory: 29224 KiB
[startup+3.11333 s]
/proc/loadavg: 0.46 0.18 0.11 5/250 28398
/proc/meminfo: memFree=128641612/131655788 swapFree=131071996/131071996
[pid=28391] ppid=28388 vsize=203712 memory=154552 CPUtime=3.05 cores=1,3
/proc/28391/stat : 28391 (fscip) S 28388 28391 28221 0 -1 1077936128 39257 0 0 0 298 7 0 0 20 0 3 0 4230749 208601088 38638 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
/proc/28391/statm: 50928 38638 2950 3035 0 42701 0
[pid=28391/tid=28395] ppid=28388 vsize=203712 memory=2273 CPUtime=2.97 cores=1,3
/proc/28391/task/28395/stat : 28395 (fscip) R 28388 28391 28221 0 -1 4194368 36816 0 0 0 291 6 0 0 20 0 3 0 4230756 208601088 38638 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
[pid=28391/tid=28396] ppid=28388 vsize=203712 memory=0 CPUtime=0 cores=1,3
/proc/28391/task/28396/stat : 28396 (fscip) S 28388 28391 28221 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4230758 208601088 38638 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 203712 KiB
Current children cumulated memory: 154552 KiB
[startup+6.30033 s]
/proc/loadavg: 0.74 0.25 0.14 5/250 28398
/proc/meminfo: memFree=128632540/131655788 swapFree=131071996/131071996
[pid=28391] ppid=28388 vsize=203712 memory=158656 CPUtime=6.22 cores=1,3
/proc/28391/stat : 28391 (fscip) S 28388 28391 28221 0 -1 1077936128 43979 0 0 0 615 7 0 0 20 0 3 0 4230749 208601088 39664 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
/proc/28391/statm: 50928 39664 2950 3035 0 43788 0
[pid=28391/tid=28395] ppid=28388 vsize=203712 memory=157728 CPUtime=6.14 cores=1,3
/proc/28391/task/28395/stat : 28395 (fscip) R 28388 28391 28221 0 -1 4194368 41501 0 0 0 608 6 0 0 20 0 3 0 4230756 208601088 39664 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
[pid=28391/tid=28396] ppid=28388 vsize=203712 memory=-5155626882122935429 CPUtime=0 cores=1,3
/proc/28391/task/28396/stat : 28396 (fscip) S 28388 28391 28221 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4230758 208601088 39664 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 203712 KiB
Current children cumulated memory: 158656 KiB
[startup+12.7003 s]
/proc/loadavg: 1.00 0.31 0.16 5/250 28399
/proc/meminfo: memFree=128628320/131655788 swapFree=131071996/131071996
[pid=28391] ppid=28388 vsize=203712 memory=158960 CPUtime=12.61 cores=1,3
/proc/28391/stat : 28391 (fscip) S 28388 28391 28221 0 -1 1077936128 47229 0 0 0 1254 7 0 0 20 0 3 0 4230749 208601088 39740 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
/proc/28391/statm: 50928 39740 2998 3035 0 43788 0
[pid=28391/tid=28395] ppid=28388 vsize=203712 memory=158960 CPUtime=12.53 cores=1,3
/proc/28391/task/28395/stat : 28395 (fscip) R 28388 28391 28221 0 -1 4194368 44731 0 0 0 1247 6 0 0 20 0 3 0 4230756 208601088 39740 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
[pid=28391/tid=28396] ppid=28388 vsize=203712 memory=3616953692089237721 CPUtime=0 cores=1,3
/proc/28391/task/28396/stat : 28396 (fscip) S 28388 28391 28221 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4230758 208601088 39740 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 203712 KiB
Current children cumulated memory: 158960 KiB
[startup+25.5004 s]
/proc/loadavg: 1.47 0.43 0.20 5/250 28401
/proc/meminfo: memFree=128546180/131655788 swapFree=131071996/131071996
[pid=28391] ppid=28388 vsize=265624 memory=213368 CPUtime=25.38 cores=1,3
/proc/28391/stat : 28391 (fscip) S 28388 28391 28221 0 -1 1077936128 109844 0 0 0 2525 13 0 0 20 0 3 0 4230749 271998976 53342 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
/proc/28391/statm: 66406 53342 2998 3035 0 57564 0
[pid=28391/tid=28395] ppid=28388 vsize=265624 memory=0 CPUtime=25.3 cores=1,3
/proc/28391/task/28395/stat : 28395 (fscip) R 28388 28391 28221 0 -1 4194368 107102 0 0 0 2518 12 0 0 20 0 3 0 4230756 271998976 53342 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
[pid=28391/tid=28396] ppid=28388 vsize=265624 memory=11392 CPUtime=0 cores=1,3
/proc/28391/task/28396/stat : 28396 (fscip) S 28388 28391 28221 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4230758 271998976 53342 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 265624 KiB
Current children cumulated memory: 213368 KiB
[startup+51.1137 s]
/proc/loadavg: 2.66 0.82 0.34 5/253 28464
/proc/meminfo: memFree=128537088/131655788 swapFree=131071996/131071996
[pid=28391] ppid=28388 vsize=265624 memory=213380 CPUtime=50.92 cores=1,3
/proc/28391/stat : 28391 (fscip) S 28388 28391 28221 0 -1 1077936128 146249 0 0 0 5076 16 0 0 20 0 3 0 4230749 271998976 53345 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
/proc/28391/statm: 66406 53345 2998 3035 0 57564 0
[pid=28391/tid=28395] ppid=28388 vsize=265624 memory=164584 CPUtime=50.83 cores=1,3
/proc/28391/task/28395/stat : 28395 (fscip) R 28388 28391 28221 0 -1 4194368 143277 0 0 0 5069 14 0 0 20 0 3 0 4230756 271998976 53345 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
[pid=28391/tid=28396] ppid=28388 vsize=265624 memory=213376 CPUtime=0 cores=1,3
/proc/28391/task/28396/stat : 28396 (fscip) S 28388 28391 28221 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 4230758 271998976 53345 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 265624 KiB
Current children cumulated memory: 213380 KiB
[startup+102.3 s]
/proc/loadavg: 3.42 1.31 0.53 5/253 28474
/proc/meminfo: memFree=128353084/131655788 swapFree=131071996/131071996
[pid=28391] ppid=28388 vsize=328088 memory=251756 CPUtime=101.94 cores=1,3
/proc/28391/stat : 28391 (fscip) S 28388 28391 28221 0 -1 1077936128 232979 0 0 0 10169 25 0 0 20 0 3 0 4230749 335962112 62939 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
/proc/28391/statm: 82022 62939 2998 3035 0 67354 0
[pid=28391/tid=28395] ppid=28388 vsize=328088 memory=238812 CPUtime=101.84 cores=1,3
/proc/28391/task/28395/stat : 28395 (fscip) R 28388 28391 28221 0 -1 4194368 229903 0 0 0 10161 23 0 0 20 0 3 0 4230756 335962112 62939 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
[pid=28391/tid=28396] ppid=28388 vsize=328088 memory=236388 CPUtime=0 cores=1,3
/proc/28391/task/28396/stat : 28396 (fscip) S 28388 28391 28221 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 4230758 335962112 62939 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 328088 KiB
Current children cumulated memory: 251756 KiB
[startup+162.3 s]
/proc/loadavg: 3.83 1.82 0.76 5/253 28485
/proc/meminfo: memFree=128267152/131655788 swapFree=131071996/131071996
[pid=28391] ppid=28388 vsize=328088 memory=293164 CPUtime=161.71 cores=1,3
/proc/28391/stat : 28391 (fscip) S 28388 28391 28221 0 -1 1077936128 278604 0 0 0 16141 30 0 0 20 0 3 0 4230749 335962112 73291 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
/proc/28391/statm: 82022 73291 2998 3035 0 77563 0
[pid=28391/tid=28395] ppid=28388 vsize=328088 memory=293148 CPUtime=161.61 cores=1,3
/proc/28391/task/28395/stat : 28395 (fscip) R 28388 28391 28221 0 -1 4194368 275337 0 0 0 16133 28 0 0 20 0 3 0 4230756 335962112 73291 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
[pid=28391/tid=28396] ppid=28388 vsize=328088 memory=11392 CPUtime=0 cores=1,3
/proc/28391/task/28396/stat : 28396 (fscip) S 28388 28391 28221 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 4230758 335962112 73291 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 328088 KiB
################
# More data... #
################
/proc/28391/statm: 99285 87439 2998 3035 0 89847 0
[pid=28391/tid=28395] ppid=28388 vsize=397140 memory=349756 CPUtime=3452.31 cores=1,3
/proc/28391/task/28395/stat : 28395 (fscip) R 28388 28391 28221 0 -1 4194368 578089 0 0 0 345116 115 0 0 20 0 3 0 4230756 406671360 87439 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
[pid=28391/tid=28396] ppid=28388 vsize=397140 memory=349756 CPUtime=0.05 cores=1,3
/proc/28391/task/28396/stat : 28396 (fscip) S 28388 28391 28221 0 -1 1077936192 147 0 0 0 1 4 0 0 20 0 3 0 4230758 406671360 87439 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
Current children cumulated CPU time: 3452.81 s
Current children cumulated vsize: 397140 KiB
Current children cumulated memory: 349756 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.14 4.09 5/250 30060
/proc/meminfo: memFree=127953984/131655788 swapFree=131071996/131071996
[pid=28391] ppid=28388 vsize=397140 memory=349120 CPUtime=3512.65 cores=1,3
/proc/28391/stat : 28391 (fscip) S 28388 28391 28221 0 -1 1077936128 585960 0 0 0 351132 133 0 0 20 0 3 0 4230749 406671360 87280 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
/proc/28391/statm: 99285 87280 2998 3035 0 90328 0
[pid=28391/tid=28395] ppid=28388 vsize=397140 memory=11392 CPUtime=3512.13 cores=1,3
/proc/28391/task/28395/stat : 28395 (fscip) R 28388 28391 28221 0 -1 4194368 581713 0 0 0 351097 116 0 0 20 0 3 0 4230756 406671360 87280 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
[pid=28391/tid=28396] ppid=28388 vsize=397140 memory=349120 CPUtime=0.05 cores=1,3
/proc/28391/task/28396/stat : 28396 (fscip) S 28388 28391 28221 0 -1 1077936192 149 0 0 0 1 4 0 0 20 0 3 0 4230758 406671360 87280 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
Current children cumulated CPU time: 3512.65 s
Current children cumulated vsize: 397140 KiB
Current children cumulated memory: 349120 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.13 4.09 5/252 30242
/proc/meminfo: memFree=127950596/131655788 swapFree=131071996/131071996
[pid=28391] ppid=28388 vsize=397140 memory=349120 CPUtime=3572.49 cores=1,3
/proc/28391/stat : 28391 (fscip) S 28388 28391 28221 0 -1 1077936128 588202 0 0 0 357114 135 0 0 20 0 3 0 4230749 406671360 87280 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
/proc/28391/statm: 99285 87280 2998 3035 0 90328 0
[pid=28391/tid=28395] ppid=28388 vsize=397140 memory=11392 CPUtime=3571.97 cores=1,3
/proc/28391/task/28395/stat : 28395 (fscip) R 28388 28391 28221 0 -1 4194368 583942 0 0 0 357079 118 0 0 20 0 3 0 4230756 406671360 87280 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
[pid=28391/tid=28396] ppid=28388 vsize=397140 memory=11392 CPUtime=0.05 cores=1,3
/proc/28391/task/28396/stat : 28396 (fscip) S 28388 28391 28221 0 -1 1077936192 151 0 0 0 1 4 0 0 20 0 3 0 4230758 406671360 87280 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
Current children cumulated CPU time: 3572.49 s
Current children cumulated vsize: 397140 KiB
Current children cumulated memory: 349120 KiB
[startup+3598.14 s]
# the end of solver process 28391 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.93 s, system=1.36779 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.06 4.13 4.09 5/252 30242
/proc/meminfo: memFree=127950624/131655788 swapFree=131071996/131071996
[pid=28391] ppid=28388 vsize=397140 memory=349120 CPUtime=3574.2 cores=1,3
/proc/28391/stat : 28391 (fscip) S 28388 28391 28221 0 -1 1077936128 588217 0 0 0 357285 135 0 0 20 0 3 0 4230749 406671360 87280 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
/proc/28391/statm: 99285 87280 2998 3035 0 90328 0
[pid=28391/tid=28395] ppid=28388 vsize=397140 memory=-7450198999674478200 CPUtime=3573.68 cores=1,3
/proc/28391/task/28395/stat : 28395 (fscip) R 28388 28391 28221 0 -1 4194368 583957 0 0 0 357250 118 0 0 20 0 3 0 4230756 406671360 87280 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
[pid=28391/tid=28396] ppid=28388 vsize=397140 memory=4732 CPUtime=0.05 cores=1,3
/proc/28391/task/28396/stat : 28396 (fscip) S 28388 28391 28221 0 -1 1077936192 151 0 0 0 1 4 0 0 20 0 3 0 4230758 406671360 87280 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
Current children cumulated CPU time: 3574.2 s
Current children cumulated vsize: 397140 KiB
Current children cumulated memory: 349120 KiB
[startup+3590.4 s]
/proc/loadavg: 4.06 4.13 4.09 5/252 30242
/proc/meminfo: memFree=127950624/131655788 swapFree=131071996/131071996
[pid=28391] ppid=28388 vsize=397140 memory=349120 CPUtime=3580.57 cores=1,3
/proc/28391/stat : 28391 (fscip) S 28388 28391 28221 0 -1 1077936128 588952 0 0 0 357922 135 0 0 20 0 3 0 4230749 406671360 87280 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
/proc/28391/statm: 99285 87280 2998 3035 0 90328 0
[pid=28391/tid=28395] ppid=28388 vsize=397140 memory=2300 CPUtime=3580.05 cores=1,3
/proc/28391/task/28395/stat : 28395 (fscip) R 28388 28391 28221 0 -1 4194368 584692 0 0 0 357887 118 0 0 20 0 3 0 4230756 406671360 87280 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
[pid=28391/tid=28396] ppid=28388 vsize=397140 memory=12748 CPUtime=0.05 cores=1,3
/proc/28391/task/28396/stat : 28396 (fscip) S 28388 28391 28221 0 -1 1077936192 151 0 0 0 1 4 0 0 20 0 3 0 4230758 406671360 87280 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
Current children cumulated CPU time: 3580.57 s
Current children cumulated vsize: 397140 KiB
Current children cumulated memory: 349120 KiB
[startup+3593.6 s]
/proc/loadavg: 4.05 4.12 4.09 5/252 30243
/proc/meminfo: memFree=127950196/131655788 swapFree=131071996/131071996
[pid=28391] ppid=28388 vsize=397140 memory=349120 CPUtime=3583.76 cores=1,3
/proc/28391/stat : 28391 (fscip) S 28388 28391 28221 0 -1 1077936128 588958 0 0 0 358241 135 0 0 20 0 3 0 4230749 406671360 87280 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
/proc/28391/statm: 99285 87280 2998 3035 0 90328 0
[pid=28391/tid=28395] ppid=28388 vsize=397140 memory=349120 CPUtime=3583.24 cores=1,3
/proc/28391/task/28395/stat : 28395 (fscip) R 28388 28391 28221 0 -1 4194368 584698 0 0 0 358206 118 0 0 20 0 3 0 4230756 406671360 87280 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
[pid=28391/tid=28396] ppid=28388 vsize=397140 memory=5016 CPUtime=0.05 cores=1,3
/proc/28391/task/28396/stat : 28396 (fscip) S 28388 28391 28221 0 -1 1077936192 151 0 0 0 1 4 0 0 20 0 3 0 4230758 406671360 87280 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
Current children cumulated CPU time: 3583.76 s
Current children cumulated vsize: 397140 KiB
Current children cumulated memory: 349120 KiB
[startup+3595.2 s]
/proc/loadavg: 4.05 4.12 4.09 5/252 30243
/proc/meminfo: memFree=127950204/131655788 swapFree=131071996/131071996
[pid=28391] ppid=28388 vsize=397140 memory=349120 CPUtime=3585.35 cores=1,3
/proc/28391/stat : 28391 (fscip) S 28388 28391 28221 0 -1 1077936128 588974 0 0 0 358400 135 0 0 20 0 3 0 4230749 406671360 87280 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
/proc/28391/statm: 99285 87280 2998 3035 0 90328 0
[pid=28391/tid=28395] ppid=28388 vsize=397140 memory=2152 CPUtime=3584.83 cores=1,3
/proc/28391/task/28395/stat : 28395 (fscip) R 28388 28391 28221 0 -1 4194368 584714 0 0 0 358365 118 0 0 20 0 3 0 4230756 406671360 87280 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
[pid=28391/tid=28396] ppid=28388 vsize=397140 memory=349120 CPUtime=0.05 cores=1,3
/proc/28391/task/28396/stat : 28396 (fscip) S 28388 28391 28221 0 -1 1077936192 151 0 0 0 1 4 0 0 20 0 3 0 4230758 406671360 87280 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
Current children cumulated CPU time: 3585.35 s
Current children cumulated vsize: 397140 KiB
Current children cumulated memory: 349120 KiB
[startup+3596.8 s]
/proc/loadavg: 4.05 4.12 4.09 5/252 30243
/proc/meminfo: memFree=127950204/131655788 swapFree=131071996/131071996
[pid=28391] ppid=28388 vsize=397140 memory=349120 CPUtime=3586.95 cores=1,3
/proc/28391/stat : 28391 (fscip) S 28388 28391 28221 0 -1 1077936128 588981 0 0 0 358560 135 0 0 20 0 3 0 4230749 406671360 87280 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
/proc/28391/statm: 99285 87280 2998 3035 0 90328 0
[pid=28391/tid=28395] ppid=28388 vsize=397140 memory=12356 CPUtime=3586.43 cores=1,3
/proc/28391/task/28395/stat : 28395 (fscip) R 28388 28391 28221 0 -1 4194368 584721 0 0 0 358525 118 0 0 20 0 3 0 4230756 406671360 87280 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
[pid=28391/tid=28396] ppid=28388 vsize=397140 memory=11392 CPUtime=0.05 cores=1,3
/proc/28391/task/28396/stat : 28396 (fscip) S 28388 28391 28221 0 -1 1077936192 151 0 0 0 1 4 0 0 20 0 3 0 4230758 406671360 87280 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
Current children cumulated CPU time: 3586.95 s
Current children cumulated vsize: 397140 KiB
Current children cumulated memory: 349120 KiB
[startup+3597.6 s]
/proc/loadavg: 4.05 4.12 4.09 7/243 30267
/proc/meminfo: memFree=128387544/131655788 swapFree=131071996/131071996
[pid=28391] ppid=28388 vsize=397140 memory=349120 CPUtime=3587.75 cores=1,3
/proc/28391/stat : 28391 (fscip) S 28388 28391 28221 0 -1 1077936128 588990 0 0 0 358639 136 0 0 20 0 3 0 4230749 406671360 87280 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
/proc/28391/statm: 99285 87280 2998 3035 0 90328 0
[pid=28391/tid=28395] ppid=28388 vsize=397140 memory=12748 CPUtime=3587.22 cores=1,3
/proc/28391/task/28395/stat : 28395 (fscip) R 28388 28391 28221 0 -1 4194368 584730 0 0 0 358604 118 0 0 20 0 3 0 4230756 406671360 87280 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
[pid=28391/tid=28396] ppid=28388 vsize=397140 memory=12356 CPUtime=0.05 cores=1,3
/proc/28391/task/28396/stat : 28396 (fscip) S 28388 28391 28221 0 -1 1077936192 151 0 0 0 1 4 0 0 20 0 3 0 4230758 406671360 87280 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
Current children cumulated CPU time: 3587.75 s
Current children cumulated vsize: 397140 KiB
Current children cumulated memory: 349120 KiB
[startup+3598 s]*
/proc/loadavg: 4.05 4.12 4.09 5/251 30337
/proc/meminfo: memFree=128303296/131655788 swapFree=131071996/131071996
[pid=28391] ppid=28388 vsize=397140 memory=349120 CPUtime=3588.16 cores=1,3
/proc/28391/stat : 28391 (fscip) S 28388 28391 28221 0 -1 1077936128 589047 0 0 0 358680 136 0 0 20 0 3 0 4230749 406671360 87280 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
/proc/28391/statm: 99285 87280 2998 3035 0 90328 0
[pid=28391/tid=28395] ppid=28388 vsize=397140 memory=1704 CPUtime=3587.63 cores=1,3
/proc/28391/task/28395/stat : 28395 (fscip) R 28388 28391 28221 0 -1 4194368 584785 0 0 0 358645 118 0 0 20 0 3 0 4230756 406671360 87280 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
[pid=28391/tid=28396] ppid=28388 vsize=397140 memory=33100 CPUtime=0.05 cores=1,3
/proc/28391/task/28396/stat : 28396 (fscip) S 28388 28391 28221 0 -1 1077936192 151 0 0 0 1 4 0 0 20 0 3 0 4230758 406671360 87280 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
Current children cumulated CPU time: 3588.16 s
Current children cumulated vsize: 397140 KiB
Current children cumulated memory: 349120 KiB
[startup+3598.11 s]
/proc/loadavg: 4.05 4.12 4.09 5/251 30337
/proc/meminfo: memFree=128303296/131655788 swapFree=131071996/131071996
[pid=28391] ppid=28388 vsize=397140 memory=349120 CPUtime=3588.26 cores=1,3
/proc/28391/stat : 28391 (fscip) S 28388 28391 28221 0 -1 1077936128 590169 0 0 0 358690 136 0 0 20 0 3 0 4230749 406671360 87280 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
/proc/28391/statm: 99285 87280 2998 3035 0 90328 0
[pid=28391/tid=28395] ppid=28388 vsize=397140 memory=349120 CPUtime=3587.73 cores=1,3
/proc/28391/task/28395/stat : 28395 (fscip) R 28388 28391 28221 0 -1 4194368 585907 0 0 0 358655 118 0 0 20 0 3 0 4230756 406671360 87280 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
[pid=28391/tid=28396] ppid=28388 vsize=397140 memory=12748 CPUtime=0.05 cores=1,3
/proc/28391/task/28396/stat : 28396 (fscip) S 28388 28391 28221 0 -1 1077936192 151 0 0 0 1 4 0 0 20 0 3 0 4230758 406671360 87280 134679101440 4194304 16623229 140737448957088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 54030336 140737448961046 140737448961162 140737448961162 140737448968176 0
Current children cumulated CPU time: 3588.26 s
Current children cumulated vsize: 397140 KiB
Current children cumulated memory: 349120 KiB
Child status: 0
Real time (s): 3598.14
CPU time (s): 3588.3
CPU user time (s): 3586.93
CPU system time (s): 1.36779
CPU usage (%): 99.7265
Max. virtual memory (cumulated for all children) (KiB): 397696
Max. memory (cumulated for all children) (KiB): 350716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.93
system time used= 1.36779
maximum resident set size= 350980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 590271
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= 12826
involuntary context switches= 5366
# summary of solver processes directly reported to runsolver:
# pid: 28391
# total CPU time (s): 3588.3
# total CPU user time (s): 3586.93
# total CPU system time (s): 1.36779
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6775 second user time and 36.5625 second system time
The end
Begin job on nodeC004 at 2024-07-31 00:29:56
IDJOB=4463978
IDBENCH=147545
IDSOLVER=3092
FILE ID=nodeC004/4463978-1722378596
RUNJOBID= nodeC004-1722378594-28233
SLURM_JOB_ID= 8249834
Free space on /tmp= 723708 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463978-1722378596/watcher-4463978-1722378596 -o /tmp/evaluation-result-4463978-1722378596/solver-4463978-1722378596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722378594-28233 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463978-1722378596.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f4fbd70ee8b80515313bebcddc52f82a
RANDOM SEED=1453536771
nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.928
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.85
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.498
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.39
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.392
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.85
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.232
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.39
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.232
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.85
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 : 1995.387
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.39
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.300
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.85
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.367
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.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128935424 kB
MemAvailable: 129827720 kB
Buffers: 84116 kB
Cached: 1644156 kB
SwapCached: 0 kB
Active: 244060 kB
Inactive: 2046440 kB
Active(anon): 1416 kB
Inactive(anon): 582148 kB
Active(file): 242644 kB
Inactive(file): 1464292 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 114672 kB
Writeback: 0 kB
AnonPages: 562184 kB
Mapped: 110052 kB
Shmem: 21320 kB
KReclaimable: 51116 kB
Slab: 126520 kB
SReclaimable: 51116 kB
SUnreclaim: 75404 kB
KernelStack: 3888 kB
PageTables: 10288 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 805464 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6848 kB
HardwareCorrupted: 0 kB
AnonHugePages: 245760 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: 172872 kB
DirectMap2M: 9168896 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 723672 MiB
End job on nodeC004 at 2024-07-31 01:29:55