0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.10/0.16 c Default LC presolving (default).
0.10/0.17 c ** Before presolving: virtualMemUsedAtLc = 66209501, getVmSize() = 62820352, SCIPgetMemUsed() = 33200525, SCIPgetMemTotal() = 39416917, SCIPgetMemExternEstim() = 26792584
0.10/0.17 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
3.17/3.24 c ** Estimated virtualMemUsedAtSolver = 109020089, getVmSize() = 164700160, SCIPgetMemUsed() = 87788142, SCIPgetMemTotal() = 136737550, SCIPgetMemExternEstim() = 26792584
3.17/3.24 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
3.17/3.24 c Original Problem :
3.17/3.24 c Problem name : instance-4434601-1721068482
3.17/3.24 c Variables : 3204 (3204 binary, 0 integer, 0 implicit integer, 0 continuous)
3.17/3.24 c Constraints : 24883
3.17/3.24 c Objective sense : minimize
3.17/3.24 c Presolved Problem :
3.17/3.24 c Variables : 3192 (3192 binary, 0 integer, 0 implicit integer, 0 continuous)
3.17/3.24 c Constraints : 24871
3.17/3.24 c Constraints : Number
3.17/3.24 c setppc : 24246
3.17/3.24 c logicor : 625
3.17/3.24 c ** Instance transfer method used: 0
3.17/3.28 c ** ParaScipInstance copy does not increase the number of variables. **
3.28/3.34 c LC is working with racing ramp-up and with rebuilding tree after racing.
3.28/3.34 c Nodes Active
3.28/3.34 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
6.97/7.06 c * 7 0 1 1 1424.0000 - -
6.97/7.06 c 7 0 1 1 1424.0000 - -
6.97/7.06 c * 7 0 1 1 1378.0000 - -
68.07/68.35 c 68 2 1 1 1378.0000 786.8418 75.13%
76.75/77.09 c 77 4 3 1 1378.0000 787.7230 74.93%
82.12/82.42 c 82 7 6 1 1378.0000 787.7230 74.93%
87.40/87.79 c 88 9 8 1 1378.0000 787.7230 74.93%
93.17/93.56 c 94 11 10 1 1378.0000 787.7230 74.93%
98.86/99.24 c 99 15 14 1 1378.0000 787.7230 74.93%
101.45/101.83 c * 102 24 16 1 1364.0000 787.7230 73.16%
101.45/101.86 c * 102 24 16 1 1321.0000 787.7230 67.70%
104.84/105.20 c 105 69 16 1 1321.0000 787.7230 67.70%
109.92/110.39 c 110 78 20 1 1321.0000 787.7230 67.70%
116.80/117.27 c 117 95 25 1 1321.0000 787.7230 67.70%
122.37/122.85 c 123 117 37 1 1321.0000 787.7680 67.69%
128.76/129.27 c 129 127 47 1 1321.0000 787.7680 67.69%
134.74/135.24 c 135 136 52 1 1321.0000 787.7680 67.69%
140.53/141.04 c 141 153 61 1 1321.0000 787.7680 67.69%
146.99/147.52 c 148 166 62 1 1321.0000 789.4017 67.34%
152.97/153.56 c 154 167 63 1 1321.0000 789.4017 67.34%
159.05/159.61 c 160 174 64 1 1321.0000 789.4017 67.34%
162.04/162.67 c * 163 201 69 1 1315.0000 789.4017 66.58%
162.14/162.70 c * 163 201 69 1 1296.0000 789.4017 64.17%
165.03/165.62 c 166 207 66 1 1296.0000 789.4017 64.17%
170.21/170.89 c 171 215 68 1 1296.0000 789.4017 64.17%
176.41/177.06 c 177 240 72 1 1296.0000 789.4017 64.17%
182.07/182.73 c 183 270 79 1 1296.0000 789.4017 64.17%
188.15/188.88 c 189 299 85 1 1296.0000 789.4017 64.17%
194.13/194.84 c 195 328 88 1 1296.0000 789.4017 64.17%
199.11/199.85 c 200 335 90 1 1296.0000 789.4017 64.17%
206.30/207.08 c 207 341 94 1 1296.0000 789.4017 64.17%
212.38/213.13 c 213 380 113 1 1296.0000 800.0912 61.98%
218.36/219.18 c 219 402 124 1 1296.0000 800.0912 61.98%
218.95/219.71 c * 220 402 124 1 1291.0000 800.0912 61.36%
218.95/219.73 c * 220 402 124 1 1245.0000 800.0912 55.61%
223.53/224.37 c 224 428 103 1 1245.0000 800.0912 55.61%
230.51/231.30 c 231 460 121 1 1245.0000 800.4355 55.54%
236.20/237.10 c 237 508 141 1 1245.0000 801.3321 55.37%
243.06/243.95 c 244 535 146 1 1245.0000 801.5975 55.31%
248.85/249.73 c 250 553 150 1 1245.0000 803.2480 55.00%
253.93/254.86 c 255 574 154 1 1245.0000 803.2480 55.00%
259.12/260.02 c 260 604 159 1 1245.0000 803.2480 55.00%
264.39/265.30 c 265 629 167 1 1245.0000 805.7115 54.52%
270.97/271.97 c 272 662 180 1 1245.0000 817.8137 52.24%
276.65/277.61 c 278 689 183 1 1245.0000 817.8137 52.24%
290.01/291.04 c 291 716 188 1 1245.0000 821.9516 51.47%
297.67/298.77 c 299 772 189 1 1245.0000 821.9563 51.47%
307.64/308.74 c 309 815 204 1 1245.0000 822.0637 51.45%
313.22/314.35 c 314 847 216 1 1245.0000 822.0637 51.45%
319.39/320.57 c 321 892 223 1 1245.0000 822.0637 51.45%
324.47/325.68 c 326 932 233 1 1245.0000 822.0637 51.45%
329.56/330.75 c 331 953 244 1 1245.0000 822.0637 51.45%
334.64/335.83 c 336 1006 255 1 1245.0000 822.7425 51.32%
339.83/341.02 c 341 1036 261 1 1245.0000 822.9307 51.29%
345.10/346.39 c 346 1058 267 1 1245.0000 823.1424 51.25%
350.18/351.43 c 351 1086 269 1 1245.0000 823.1424 51.25%
355.36/356.65 c 357 1122 273 1 1245.0000 823.3803 51.21%
361.24/362.59 c 363 1147 284 1 1245.0000 823.3803 51.21%
368.52/369.88 c 370 1177 282 1 1245.0000 823.3803 51.21%
376.48/377.85 c 378 1232 290 1 1245.0000 825.5857 50.80%
384.55/385.98 c 386 1293 297 1 1245.0000 825.5857 50.80%
392.64/394.09 c 394 1318 304 1 1245.0000 825.9081 50.74%
400.11/401.53 c 402 1338 314 1 1245.0000 825.9081 50.74%
406.48/407.93 c 408 1370 324 1 1245.0000 826.4242 50.65%
411.57/413.07 c 413 1398 330 1 1245.0000 827.6122 50.43%
419.33/420.89 c 421 1453 331 1 1245.0000 827.6122 50.43%
427.40/428.92 c 429 1553 334 1 1245.0000 827.6122 50.43%
432.68/434.28 c 434 1589 342 1 1245.0000 827.6122 50.43%
438.06/439.63 c 440 1606 341 1 1245.0000 827.6122 50.43%
443.45/445.08 c 445 1632 347 1 1245.0000 827.8233 50.39%
449.02/450.61 c 451 1658 345 1 1245.0000 827.8233 50.39%
457.29/458.98 c 459 1684 343 1 1245.0000 827.8233 50.39%
462.49/464.18 c 464 1710 351 1 1245.0000 829.3320 50.12%
468.55/470.22 c 470 1746 379 1 1245.0000 829.3320 50.12%
474.64/476.38 c 476 1765 386 1 1245.0000 829.3320 50.12%
481.11/482.82 c 483 1779 391 1 1245.0000 829.3320 50.12%
486.40/488.19 c 488 1788 396 1 1245.0000 829.3320 50.12%
492.28/494.07 c 494 1809 405 1 1245.0000 829.3320 50.12%
498.64/500.48 c 500 1835 411 1 1245.0000 829.3320 50.12%
504.33/506.15 c 506 1849 417 1 1245.0000 830.4309 49.92%
509.70/511.50 c 512 1876 420 1 1245.0000 830.4309 49.92%
515.09/516.99 c 517 1919 430 1 1245.0000 834.7552 49.15%
520.67/522.50 c 522 1962 436 1 1245.0000 836.1594 48.90%
526.26/528.19 c 528 1996 446 1 1245.0000 836.1594 48.90%
531.53/533.41 c 533 2073 455 1 1245.0000 836.2884 48.87%
536.81/538.77 c 539 2162 472 1 1245.0000 836.6326 48.81%
542.59/544.57 c 545 2190 482 1 1245.0000 836.6326 48.81%
548.27/550.21 c 550 2198 488 1 1245.0000 837.0123 48.74%
553.95/555.91 c 556 2303 492 1 1245.0000 838.9305 48.40%
559.53/561.56 c 562 2362 499 1 1245.0000 839.6897 48.27%
565.30/567.37 c 567 2368 503 1 1245.0000 839.6897 48.27%
573.38/575.43 c 575 2376 509 1 1245.0000 839.9778 48.22%
581.75/583.89 c 584 2384 513 1 1245.0000 841.7269 47.91%
587.42/589.57 c 590 2432 521 1 1245.0000 842.1108 47.84%
592.60/594.70 c 595 2455 530 1 1245.0000 842.1108 47.84%
600.58/602.77 c 603 2542 530 1 1245.0000 843.3580 47.62%
606.97/609.17 c 609 2574 536 1 1245.0000 844.5595 47.41%
612.63/614.88 c 615 2583 545 1 1245.0000 845.8274 47.19%
659.08/661.48 c 661 2586 1 1 1245.0000 898.2196 38.61%
664.16/666.53 c 667 2588 3 1 1245.0000 898.2196 38.61%
670.44/672.84 c 673 2647 28 1 1245.0000 898.2196 38.61%
676.63/679.08 c 679 2766 38 1 1245.0000 898.2196 38.61%
681.90/684.32 c 684 2786 44 1 1245.0000 898.2196 38.61%
687.08/689.55 c 690 2816 52 1 1245.0000 902.9217 37.89%
697.14/699.66 c 700 2836 64 1 1245.0000 902.9217 37.89%
704.31/706.82 c 707 2846 68 1 1245.0000 903.5248 37.79%
709.79/712.38 c 712 2875 85 1 1245.0000 904.4765 37.65%
715.18/717.74 c 718 2936 94 1 1245.0000 904.7189 37.61%
720.66/723.29 c 723 2969 114 1 1245.0000 904.7189 37.61%
727.63/730.20 c 730 3003 121 1 1245.0000 904.7189 37.61%
732.92/735.51 c 736 3029 126 1 1245.0000 904.7189 37.61%
738.30/740.93 c 741 3062 144 1 1245.0000 904.7189 37.61%
743.49/746.12 c 746 3080 142 1 1245.0000 904.7189 37.61%
748.56/751.24 c 751 3099 147 1 1245.0000 905.1401 37.55%
755.04/757.76 c 758 3124 146 1 1245.0000 905.1401 37.55%
760.91/763.60 c 764 3157 148 1 1245.0000 905.1401 37.55%
765.99/768.72 c 769 3184 153 1 1245.0000 905.1401 37.55%
771.66/774.47 c 774 3212 156 1 1245.0000 905.2245 37.53%
777.45/780.28 c 780 3231 161 1 1245.0000 905.2582 37.53%
783.13/785.96 c 786 3254 170 1 1245.0000 905.2582 37.53%
788.41/791.26 c 791 3273 166 1 1245.0000 905.2582 37.53%
793.59/796.44 c 796 3315 163 1 1245.0000 905.3316 37.52%
799.47/802.39 c 802 3342 165 1 1245.0000 905.3316 37.52%
805.35/808.22 c 808 3379 160 1 1245.0000 905.3316 37.52%
811.14/814.06 c 814 3414 162 1 1245.0000 905.3316 37.52%
816.41/819.38 c 819 3435 162 1 1245.0000 905.3316 37.52%
822.09/825.09 c 825 3531 164 1 1245.0000 905.3316 37.52%
827.46/830.44 c 830 3574 175 1 1245.0000 905.3316 37.52%
836.93/839.93 c 840 3591 179 1 1245.0000 905.3316 37.52%
842.41/845.47 c 845 3620 185 1 1245.0000 906.6612 37.32%
848.29/851.35 c 851 3673 200 1 1245.0000 909.7248 36.85%
854.57/857.61 c 858 3717 200 1 1245.0000 910.0111 36.81%
859.96/863.08 c 863 3784 220 1 1245.0000 910.0111 36.81%
866.22/869.30 c 869 3812 223 1 1245.0000 910.0111 36.81%
873.69/876.89 c 877 3841 227 1 1245.0000 910.0111 36.81%
879.07/882.25 c 882 3874 231 1 1245.0000 910.3690 36.76%
881.07/884.20 c * 884 3879 234 1 1244.0000 910.3690 36.65%
881.07/884.21 c * 884 3879 234 1 1242.0000 910.3690 36.43%
885.87/889.10 c 889 3952 241 1 1242.0000 910.8696 36.35%
892.53/895.75 c 896 4105 234 1 1242.0000 910.8696 36.35%
897.82/901.04 c 901 4142 230 1 1242.0000 910.8696 36.35%
902.99/906.27 c 906 4170 238 1 1242.0000 911.5059 36.26%
908.37/911.69 c 912 4237 245 1 1242.0000 911.5059 36.26%
913.45/916.72 c 917 4286 242 1 1242.0000 912.0619 36.17%
919.43/922.73 c 923 4313 255 1 1242.0000 912.0619 36.17%
924.90/928.20 c 928 4339 257 1 1242.0000 912.0619 36.17%
930.00/933.32 c 933 4386 258 1 1242.0000 912.7809 36.07%
935.79/939.13 c 939 4413 262 1 1242.0000 912.7809 36.07%
941.05/944.41 c 944 4454 260 1 1242.0000 912.7809 36.07%
947.03/950.45 c 950 4525 257 1 1242.0000 912.7809 36.07%
953.20/956.60 c 957 4560 268 1 1242.0000 913.4798 35.96%
959.60/963.09 c 963 4582 273 1 1242.0000 914.3367 35.84%
965.06/968.50 c 968 4603 275 1 1242.0000 914.3367 35.84%
970.56/974.08 c 974 4658 276 1 1242.0000 914.3367 35.84%
975.64/979.16 c 979 4682 284 1 1242.0000 915.3029 35.69%
981.52/985.01 c 985 4724 284 1 1242.0000 915.3029 35.69%
989.49/993.10 c 993 4776 277 1 1242.0000 915.3029 35.69%
994.66/998.25 c 998 4842 284 1 1242.0000 915.3029 35.69%
1001.14/1004.74 c 1005 4897 283 1 1242.0000 915.4233 35.67%
1007.11/1010.71 c 1011 4944 293 1 1242.0000 915.4233 35.67%
1013.29/1016.97 c 1017 4998 293 1 1242.0000 915.4233 35.67%
1019.38/1023.01 c 1023 5036 296 1 1242.0000 915.7714 35.62%
1024.75/1028.42 c 1028 5061 301 1 1242.0000 915.7714 35.62%
1030.73/1034.48 c 1034 5087 304 1 1242.0000 915.7714 35.62%
1036.32/1040.03 c 1040 5125 302 1 1242.0000 915.7714 35.62%
1042.78/1046.53 c 1047 5153 302 1 1242.0000 915.7714 35.62%
1048.57/1052.36 c 1052 5192 311 1 1242.0000 915.9798 35.59%
1054.95/1058.79 c 1059 5226 311 1 1242.0000 916.4069 35.53%
1059.72/1063.55 c * 1064 5249 322 1 1236.0000 916.4069 34.87%
1059.72/1063.56 c * 1064 5249 322 1 1235.0000 916.4069 34.77%
1061.33/1065.14 c 1065 5279 313 1 1235.0000 916.4069 34.77%
1061.71/1065.57 c * 1066 5279 313 1 1234.0000 916.4069 34.66%
1061.71/1065.58 c * 1066 5279 313 1 1233.0000 916.4069 34.55%
1067.30/1071.17 c 1071 5355 312 1 1233.0000 916.4069 34.55%
1072.96/1076.87 c 1077 5418 317 1 1233.0000 916.7972 34.49%
1079.65/1083.51 c 1084 5467 332 1 1233.0000 918.0726 34.30%
1085.62/1089.52 c 1090 5553 339 1 1233.0000 918.0726 34.30%
1091.90/1095.80 c 1096 5615 334 1 1233.0000 918.0726 34.30%
1097.19/1101.19 c 1101 5684 338 1 1233.0000 918.5892 34.23%
1102.36/1106.39 c 1106 5714 343 1 1233.0000 918.5892 34.23%
1108.24/1112.22 c 1112 5738 346 1 1233.0000 918.5892 34.23%
1113.72/1117.74 c 1118 5761 348 1 1233.0000 918.5892 34.23%
1119.01/1123.09 c 1123 5787 347 1 1233.0000 918.5892 34.23%
1125.57/1129.62 c 1130 5839 350 1 1233.0000 918.5892 34.23%
1131.55/1135.68 c 1136 5872 352 1 1233.0000 918.5892 34.23%
1136.94/1141.09 c 1141 5915 359 1 1233.0000 918.5892 34.23%
1142.82/1146.96 c 1147 5936 362 1 1233.0000 918.5892 34.23%
1148.10/1152.20 c 1152 5947 363 1 1233.0000 918.5892 34.23%
1153.38/1157.53 c 1158 5983 361 1 1233.0000 918.5892 34.23%
1158.66/1162.89 c 1163 6048 364 1 1233.0000 918.5892 34.23%
1164.04/1168.23 c 1168 6099 371 1 1233.0000 918.5892 34.23%
1171.21/1175.45 c 1175 6138 375 1 1233.0000 918.5892 34.23%
1176.29/1180.56 c * 1181 6173 378 1 1165.0000 918.5892 26.82%
1176.29/1180.56 c 1181 6173 378 1 1165.0000 918.5892 26.82%
1176.40/1180.63 c * 1181 6173 378 1 1164.0000 918.5892 26.72%
1182.48/1186.75 c 1187 6207 294 1 1164.0000 918.5892 26.72%
1188.77/1193.02 c 1193 6251 292 1 1164.0000 918.5892 26.72%
1193.93/1198.21 c 1198 6277 297 1 1164.0000 918.5892 26.72%
1199.11/1203.47 c 1203 6293 303 1 1164.0000 918.5892 26.72%
1204.99/1209.37 c 1209 6341 307 1 1164.0000 918.5892 26.72%
1210.57/1215.01 c 1215 6352 310 1 1164.0000 918.7536 26.69%
1217.04/1221.42 c 1221 6374 314 1 1164.0000 918.7536 26.69%
1222.23/1226.61 c 1227 6393 313 1 1164.0000 918.7536 26.69%
1227.21/1231.63 c 1232 6400 314 1 1164.0000 918.7536 26.69%
1232.39/1236.86 c 1237 6415 317 1 1164.0000 918.7536 26.69%
1237.58/1242.05 c 1242 6421 315 1 1164.0000 918.7536 26.69%
1242.66/1247.16 c 1247 6452 314 1 1164.0000 918.7536 26.69%
1248.64/1253.18 c 1253 6517 313 1 1164.0000 918.7536 26.69%
1253.91/1258.49 c 1258 6555 313 1 1164.0000 918.7536 26.69%
1259.29/1263.89 c 1264 6592 312 1 1164.0000 918.7536 26.69%
1264.58/1269.14 c 1269 6616 305 1 1164.0000 918.7536 26.69%
1270.16/1274.70 c 1275 6655 316 1 1164.0000 918.7536 26.69%
1277.33/1281.99 c 1282 6715 314 1 1164.0000 918.7536 26.69%
1283.31/1287.91 c 1288 6748 319 1 1164.0000 918.7536 26.69%
1288.79/1293.42 c 1293 6818 314 1 1164.0000 918.7536 26.69%
1294.97/1299.65 c 1300 6850 314 1 1164.0000 919.1282 26.64%
1300.75/1305.49 c 1305 6871 313 1 1164.0000 919.1282 26.64%
1306.22/1310.92 c 1311 6892 311 1 1164.0000 919.1282 26.64%
1312.31/1317.07 c 1317 6938 313 1 1164.0000 919.1282 26.64%
1317.40/1322.19 c 1322 6990 311 1 1164.0000 919.1282 26.64%
1323.28/1328.10 c 1328 7053 312 1 1164.0000 919.1282 26.64%
1329.94/1334.73 c 1335 7103 312 1 1164.0000 919.1282 26.64%
1335.62/1340.44 c 1340 7133 318 1 1164.0000 920.0059 26.52%
1341.70/1346.54 c 1347 7161 324 1 1164.0000 920.0064 26.52%
1347.88/1352.71 c 1353 7188 328 1 1164.0000 920.5359 26.45%
1353.66/1358.55 c 1359 7216 336 1 1164.0000 920.5359 26.45%
1359.54/1364.41 c 1364 7240 337 1 1164.0000 920.5359 26.45%
1364.82/1369.73 c 1370 7260 343 1 1164.0000 920.7210 26.42%
1370.40/1375.36 c 1375 7295 350 1 1164.0000 920.7210 26.42%
1375.89/1380.84 c 1381 7313 356 1 1164.0000 920.8977 26.40%
1381.27/1386.21 c 1386 7327 360 1 1164.0000 920.8977 26.40%
1387.45/1392.43 c 1392 7352 359 1 1164.0000 920.8977 26.40%
1393.72/1398.79 c 1399 7369 358 1 1164.0000 920.8977 26.40%
1402.19/1407.29 c 1407 7376 355 1 1164.0000 922.5059 26.18%
1408.57/1413.63 c 1414 7396 361 1 1164.0000 923.0969 26.10%
1413.65/1418.76 c 1419 7418 369 1 1164.0000 923.0969 26.10%
1420.33/1425.47 c 1425 7451 374 1 1164.0000 923.0969 26.10%
1426.61/1431.74 c 1432 7479 378 1 1164.0000 923.0969 26.10%
1432.09/1437.27 c 1437 7512 381 1 1164.0000 923.0969 26.10%
1438.98/1444.19 c 1444 7538 383 1 1164.0000 923.0969 26.10%
1444.75/1449.96 c 1450 7562 384 1 1164.0000 923.0969 26.10%
1450.94/1456.11 c 1456 7588 385 1 1164.0000 923.0969 26.10%
1457.41/1462.66 c 1463 7592 389 1 1164.0000 923.0969 26.10%
1463.39/1468.62 c 1469 7624 391 1 1164.0000 923.0969 26.10%
1469.36/1474.62 c 1475 7647 392 1 1164.0000 923.1126 26.10%
1474.35/1479.65 c 1480 7662 401 1 1164.0000 923.7056 26.01%
1479.43/1484.72 c 1485 7704 399 1 1164.0000 923.7056 26.01%
1486.61/1491.95 c 1492 7740 403 1 1164.0000 923.7885 26.00%
1492.39/1497.70 c 1498 7765 407 1 1164.0000 923.7885 26.00%
1499.26/1504.69 c 1505 7785 406 1 1164.0000 923.7885 26.00%
1504.84/1510.25 c 1510 7801 412 1 1164.0000 923.7885 26.00%
1511.82/1517.27 c 1517 7823 411 1 1164.0000 923.7885 26.00%
1517.50/1522.95 c 1523 7842 417 1 1164.0000 924.7338 25.87%
1523.58/1529.10 c 1529 7889 420 1 1164.0000 924.7338 25.87%
1529.66/1535.15 c 1535 7930 421 1 1164.0000 924.7338 25.87%
1536.32/1541.81 c 1542 7959 424 1 1164.0000 925.3932 25.78%
1542.51/1548.03 c 1548 7982 427 1 1164.0000 925.3932 25.78%
1548.07/1553.67 c 1554 8010 426 1 1164.0000 925.3932 25.78%
1553.46/1559.05 c 1559 8022 425 1 1164.0000 925.3932 25.78%
1558.55/1564.18 c 1564 8085 430 1 1164.0000 925.4658 25.77%
1563.91/1569.59 c 1570 8114 431 1 1164.0000 925.4658 25.77%
1569.40/1575.06 c 1575 8143 432 1 1164.0000 925.4658 25.77%
1574.76/1580.48 c 1580 8171 434 1 1164.0000 925.4658 25.77%
1580.74/1586.43 c 1586 8196 435 1 1164.0000 925.4658 25.77%
1585.72/1591.44 c 1591 8217 436 1 1164.0000 925.4658 25.77%
1590.81/1596.50 c 1596 8239 437 1 1164.0000 925.4746 25.77%
1596.98/1602.70 c 1603 8248 439 1 1164.0000 925.4746 25.77%
1602.37/1608.12 c 1608 8267 441 1 1164.0000 925.4746 25.77%
1608.54/1614.30 c 1614 8290 439 1 1164.0000 925.4746 25.77%
1613.52/1619.31 c 1619 8311 444 1 1164.0000 925.5117 25.77%
1618.50/1624.33 c 1624 8325 444 1 1164.0000 925.5117 25.77%
1623.78/1629.69 c 1630 8338 449 1 1164.0000 925.5117 25.77%
1628.85/1634.74 c 1635 8353 451 1 1164.0000 925.6583 25.75%
1634.33/1640.25 c 1640 8387 455 1 1164.0000 925.6583 25.75%
1640.22/1646.11 c 1646 8419 449 1 1164.0000 925.6583 25.75%
1645.98/1651.95 c 1652 8459 447 1 1164.0000 925.6583 25.75%
1651.76/1657.72 c 1658 8489 451 1 1164.0000 926.4558 25.64%
1657.24/1663.28 c 1663 8533 457 1 1164.0000 926.4558 25.64%
1662.52/1668.55 c 1669 8580 460 1 1164.0000 926.4558 25.64%
1668.40/1674.46 c 1674 8624 466 1 1164.0000 926.4899 25.64%
1674.37/1680.41 c 1680 8681 467 1 1164.0000 926.6071 25.62%
1680.55/1686.63 c 1687 8707 467 1 1164.0000 926.8466 25.59%
1686.82/1692.91 c 1693 8741 471 1 1164.0000 927.3107 25.52%
1692.31/1698.46 c 1698 8763 473 1 1164.0000 927.3107 25.52%
1698.09/1704.23 c 1704 8817 477 1 1164.0000 927.3107 25.52%
1703.27/1709.46 c 1709 8861 477 1 1164.0000 927.5124 25.50%
1708.65/1714.82 c 1715 8898 483 1 1164.0000 927.6494 25.48%
1714.23/1720.47 c 1720 8976 487 1 1164.0000 927.7059 25.47%
1719.31/1725.54 c 1726 9016 493 1 1164.0000 927.7059 25.47%
1724.40/1730.65 c 1731 9041 500 1 1164.0000 927.7753 25.46%
1730.28/1736.50 c 1736 9128 506 1 1164.0000 927.7753 25.46%
1735.66/1741.98 c 1742 9179 507 1 1164.0000 927.7753 25.46%
1741.04/1747.35 c 1747 9213 502 1 1164.0000 927.7753 25.46%
1746.12/1752.50 c 1752 9265 501 1 1164.0000 927.7753 25.46%
1751.20/1757.51 c 1758 9299 507 1 1164.0000 927.7753 25.46%
1757.37/1763.72 c 1764 9349 511 1 1164.0000 927.9691 25.44%
1763.36/1769.77 c 1770 9385 512 1 1164.0000 927.9691 25.44%
1768.75/1775.16 c 1775 9416 513 1 1164.0000 928.4052 25.38%
1773.91/1780.38 c 1780 9436 517 1 1164.0000 928.4052 25.38%
1779.89/1786.35 c 1786 9461 522 1 1164.0000 928.4052 25.38%
1786.67/1793.17 c 1793 9491 527 1 1164.0000 928.5667 25.35%
1792.34/1798.85 c 1799 9518 530 1 1164.0000 928.5667 25.35%
1798.62/1805.14 c 1805 9545 535 1 1164.0000 928.7144 25.33%
1804.19/1810.74 c 1811 9583 534 1 1164.0000 928.7144 25.33%
1809.97/1816.55 c 1817 9614 541 1 1164.0000 928.7305 25.33%
1815.24/1821.90 c 1822 9637 539 1 1164.0000 928.7305 25.33%
1821.22/1827.81 c 1828 9682 539 1 1164.0000 928.7305 25.33%
1826.20/1832.81 c 1833 9700 543 1 1164.0000 928.7335 25.33%
1831.98/1838.69 c 1839 9756 543 1 1164.0000 928.7335 25.33%
1837.47/1844.14 c 1844 9810 545 1 1164.0000 928.8074 25.32%
1842.64/1849.36 c 1849 9837 550 1 1164.0000 928.8074 25.32%
1848.61/1855.35 c 1855 9861 549 1 1164.0000 928.8074 25.32%
1857.18/1863.91 c 1864 9882 554 1 1164.0000 928.8074 25.32%
1863.55/1870.37 c 1870 9920 562 1 1164.0000 929.3069 25.25%
1868.93/1875.77 c 1876 9938 560 1 1164.0000 929.3069 25.25%
1874.22/1881.02 c 1881 9951 563 1 1164.0000 929.3069 25.25%
1879.60/1886.41 c 1886 9974 562 1 1164.0000 929.3069 25.25%
1884.78/1891.65 c 1892 10002 560 1 1164.0000 929.3069 25.25%
1891.95/1898.83 c 1899 10017 561 1 1164.0000 929.3069 25.25%
1900.02/1906.96 c 1907 10043 561 1 1164.0000 929.3069 25.25%
1906.10/1913.05 c 1913 10047 559 1 1164.0000 929.3069 25.25%
1911.48/1918.44 c 1918 10066 558 1 1164.0000 929.5100 25.23%
1917.55/1924.50 c 1924 10108 572 1 1164.0000 929.5100 25.23%
1922.93/1929.91 c 1930 10143 573 1 1164.0000 929.6130 25.21%
1929.01/1936.06 c 1936 10198 572 1 1164.0000 929.6130 25.21%
1934.99/1942.01 c 1942 10230 570 1 1164.0000 929.6130 25.21%
1940.75/1947.83 c 1948 10263 571 1 1164.0000 929.6130 25.21%
1945.83/1952.97 c 1953 10286 572 1 1164.0000 929.6130 25.21%
1951.71/1958.88 c 1959 10320 577 1 1164.0000 929.6438 25.21%
1957.30/1964.43 c 1964 10342 579 1 1164.0000 929.9018 25.17%
1963.17/1970.34 c 1970 10364 581 1 1164.0000 929.9018 25.17%
1969.05/1976.24 c 1976 10403 584 1 1164.0000 929.9018 25.17%
1975.22/1982.44 c 1982 10467 590 1 1164.0000 929.9887 25.16%
1981.00/1988.27 c 1988 10512 589 1 1164.0000 929.9887 25.16%
1986.38/1993.63 c 1994 10587 592 1 1164.0000 930.3224 25.12%
1991.56/1998.88 c 1999 10610 597 1 1164.0000 930.3224 25.12%
1996.75/2004.04 c 2004 10680 599 1 1164.0000 930.3224 25.12%
2002.51/2009.81 c 2010 10819 600 1 1164.0000 930.3224 25.12%
2008.08/2015.48 c 2015 10851 598 1 1164.0000 930.3224 25.12%
2014.27/2021.61 c 2022 10910 598 1 1164.0000 930.4554 25.10%
2020.54/2027.97 c 2028 10912 598 1 1164.0000 930.4554 25.10%
2025.92/2033.36 c 2033 10925 605 1 1164.0000 930.8938 25.04%
2031.30/2038.74 c 2039 10993 608 1 1164.0000 930.8938 25.04%
2036.47/2043.97 c 2044 11098 609 1 1164.0000 930.8938 25.04%
2042.05/2049.58 c 2050 11166 611 1 1164.0000 930.8938 25.04%
2048.23/2055.70 c 2056 11273 612 1 1164.0000 931.1339 25.01%
2054.10/2061.66 c 2062 11314 611 1 1164.0000 931.1339 25.01%
2059.49/2067.01 c 2067 11390 611 1 1164.0000 931.1339 25.01%
2064.86/2072.49 c 2072 11451 614 1 1164.0000 931.1339 25.01%
2070.73/2078.36 c 2078 11477 620 1 1164.0000 931.7181 24.93%
2076.12/2083.76 c 2084 11496 623 1 1164.0000 932.0919 24.88%
2081.41/2089.10 c 2089 11519 634 1 1164.0000 932.2602 24.86%
2086.68/2094.33 c 2094 11534 643 1 1164.0000 932.5777 24.82%
2093.16/2100.82 c 2101 11567 646 1 1164.0000 932.5777 24.82%
2098.75/2106.48 c 2106 11601 652 1 1164.0000 932.5777 24.82%
2104.82/2112.54 c 2113 11633 654 1 1164.0000 932.5777 24.82%
2110.90/2118.62 c 2119 11665 660 1 1164.0000 933.3126 24.72%
2116.49/2124.26 c 2124 11678 659 1 1164.0000 933.3126 24.72%
2122.28/2130.04 c 2130 11712 661 1 1164.0000 933.3126 24.72%
2127.36/2135.17 c 2135 11736 661 1 1164.0000 933.4125 24.70%
2132.53/2140.34 c 2140 11761 666 1 1164.0000 933.4125 24.70%
2137.91/2145.79 c 2146 11772 671 1 1164.0000 933.5937 24.68%
2145.69/2153.56 c 2154 11797 676 1 1164.0000 933.6476 24.67%
2151.47/2159.36 c 2159 11836 689 1 1164.0000 933.9127 24.64%
2157.27/2165.16 c 2165 11858 694 1 1164.0000 933.9931 24.63%
2163.33/2171.27 c 2171 11906 692 1 1164.0000 934.5794 24.55%
2169.42/2177.37 c 2177 11931 695 1 1164.0000 934.5794 24.55%
2175.11/2183.10 c 2183 11942 693 1 1164.0000 934.5794 24.55%
2180.48/2188.40 c 2188 11966 689 1 1164.0000 934.5794 24.55%
2185.76/2193.73 c 2194 12003 692 1 1164.0000 934.7011 24.53%
2192.44/2200.44 c 2200 12049 694 1 1164.0000 934.7396 24.53%
2199.71/2207.78 c 2208 12162 693 1 1164.0000 934.7396 24.53%
2205.69/2213.75 c 2214 12211 698 1 1164.0000 934.9934 24.49%
2211.27/2219.38 c 2219 12234 695 1 1164.0000 934.9934 24.49%
2218.15/2226.20 c 2226 12271 694 1 1164.0000 934.9934 24.49%
2223.13/2231.28 c 2231 12293 700 1 1164.0000 935.1381 24.47%
2229.11/2237.26 c 2237 12324 707 1 1164.0000 935.1901 24.47%
2234.30/2242.41 c 2242 12381 712 1 1164.0000 935.1901 24.47%
2240.08/2248.28 c 2248 12487 712 1 1164.0000 935.1901 24.47%
2245.36/2253.58 c 2254 12563 710 1 1164.0000 935.1901 24.47%
2251.74/2259.94 c 2260 12625 714 1 1164.0000 935.4394 24.43%
2257.52/2265.78 c 2266 12693 716 1 1164.0000 935.4394 24.43%
2262.82/2271.09 c 2271 12725 718 1 1164.0000 935.4394 24.43%
2268.59/2276.82 c 2277 12800 721 1 1164.0000 936.0738 24.35%
2277.26/2285.58 c 2286 12839 722 1 1164.0000 936.0738 24.35%
2282.94/2291.20 c 2291 12857 724 1 1164.0000 936.0738 24.35%
2288.83/2297.11 c 2297 12920 727 1 1164.0000 936.7267 24.26%
2294.50/2302.81 c 2303 12967 726 1 1164.0000 936.7267 24.26%
2299.49/2307.85 c 2308 12981 732 1 1164.0000 936.8014 24.25%
2309.55/2317.95 c 2318 13014 735 1 1164.0000 937.0214 24.22%
2314.93/2323.36 c 2323 13036 735 1 1164.0000 937.0214 24.22%
2320.21/2328.69 c 2329 13049 736 1 1164.0000 937.0214 24.22%
2325.90/2334.30 c 2334 13107 736 1 1164.0000 937.0214 24.22%
2334.87/2343.35 c 2343 13130 737 1 1164.0000 937.0214 24.22%
2341.66/2350.19 c 2350 13148 735 1 1164.0000 937.0214 24.22%
2347.43/2355.98 c 2356 13177 738 1 1164.0000 937.0214 24.22%
2353.81/2362.38 c 2362 13199 744 1 1164.0000 937.1215 24.21%
2359.89/2368.44 c 2368 13233 744 1 1164.0000 937.1215 24.21%
2364.98/2373.56 c 2374 13294 747 1 1164.0000 937.3605 24.18%
2370.57/2379.13 c 2379 13376 745 1 1164.0000 937.3765 24.18%
2375.74/2384.35 c 2384 13393 750 1 1164.0000 937.3765 24.18%
2382.12/2390.74 c 2391 13459 752 1 1164.0000 937.3765 24.18%
2387.60/2396.29 c 2396 13511 750 1 1164.0000 937.3765 24.18%
2393.49/2402.11 c 2402 13516 751 1 1164.0000 937.3765 24.18%
2399.06/2407.79 c 2408 13546 751 1 1164.0000 938.5005 24.03%
2404.36/2413.10 c 2413 13556 755 1 1164.0000 938.5005 24.03%
2410.03/2418.74 c 2419 13577 752 1 1164.0000 938.5005 24.03%
2415.81/2424.56 c 2425 13641 758 1 1164.0000 938.5005 24.03%
2421.30/2430.07 c 2430 13686 759 1 1164.0000 938.5374 24.02%
2426.67/2435.46 c 2435 13702 763 1 1164.0000 938.5374 24.02%
2432.26/2441.02 c 2441 13765 766 1 1164.0000 938.6363 24.01%
2437.25/2446.09 c 2446 13797 772 1 1164.0000 939.5810 23.89%
2443.12/2451.95 c 2452 13884 771 1 1164.0000 939.5810 23.89%
2448.90/2457.74 c 2458 13912 769 1 1164.0000 939.5810 23.89%
2454.08/2462.96 c 2463 13938 767 1 1164.0000 939.5810 23.89%
2459.86/2468.74 c 2469 13954 771 1 1164.0000 939.5979 23.88%
2465.25/2474.12 c 2474 14005 770 1 1164.0000 939.5979 23.88%
2470.24/2479.17 c 2479 14067 774 1 1164.0000 939.5979 23.88%
2476.11/2485.06 c 2485 14190 771 1 1164.0000 939.5979 23.88%
2482.10/2491.10 c 2491 14227 770 1 1164.0000 939.5979 23.88%
2487.47/2496.47 c 2496 14281 770 1 1164.0000 939.5979 23.88%
2493.06/2502.05 c 2502 14351 768 1 1164.0000 939.5979 23.88%
2498.63/2507.67 c 2508 14402 765 1 1164.0000 939.5979 23.88%
2504.41/2513.49 c 2513 14444 769 1 1164.0000 939.6049 23.88%
2510.29/2519.30 c 2519 14470 773 1 1164.0000 939.8396 23.85%
2516.09/2525.19 c 2525 14502 771 1 1164.0000 939.8396 23.85%
2521.76/2530.86 c 2531 14539 779 1 1164.0000 940.1837 23.81%
2527.33/2536.40 c 2536 14601 791 1 1164.0000 940.1837 23.81%
2532.52/2541.64 c 2542 14705 787 1 1164.0000 940.1837 23.81%
2538.01/2547.18 c 2547 14741 793 1 1164.0000 940.6494 23.74%
2543.28/2552.46 c 2552 14766 798 1 1164.0000 940.8037 23.72%
2548.36/2557.58 c 2558 14799 797 1 1164.0000 940.8037 23.72%
2554.44/2563.66 c 2564 14875 797 1 1164.0000 940.8037 23.72%
2560.83/2570.06 c 2570 14880 800 1 1164.0000 940.8664 23.72%
2567.00/2576.23 c 2576 14916 800 1 1164.0000 940.8664 23.72%
2572.90/2582.13 c 2582 14947 811 1 1164.0000 940.8664 23.72%
2577.88/2587.16 c 2587 14978 809 1 1164.0000 940.8935 23.71%
2582.95/2592.26 c 2592 15020 813 1 1164.0000 940.8935 23.71%
2588.75/2598.08 c 2598 15113 814 1 1164.0000 940.8935 23.71%
2594.22/2603.54 c 2604 15165 814 1 1164.0000 940.8935 23.71%
2599.40/2608.71 c 2609 15225 816 1 1164.0000 940.8935 23.71%
2605.28/2614.65 c 2615 15317 816 1 1164.0000 941.0838 23.69%
2611.36/2620.70 c 2621 15407 822 1 1164.0000 941.8228 23.59%
2618.43/2627.80 c 2628 15473 818 1 1164.0000 941.8228 23.59%
2623.73/2633.14 c 2633 15526 820 1 1164.0000 943.0381 23.43%
2629.10/2638.57 c 2639 15567 821 1 1164.0000 943.0381 23.43%
2634.49/2643.92 c 2644 15595 821 1 1164.0000 943.0381 23.43%
2639.68/2649.14 c 2649 15638 824 1 1164.0000 943.1806 23.41%
2645.66/2655.18 c 2655 15676 826 1 1164.0000 943.2576 23.40%
2650.73/2660.28 c 2660 15695 827 1 1164.0000 943.2576 23.40%
2656.71/2666.23 c 2666 15737 831 1 1164.0000 943.2576 23.40%
2662.39/2671.99 c 2672 15776 834 1 1164.0000 943.3246 23.39%
2668.07/2677.62 c 2678 15809 839 1 1164.0000 943.3246 23.39%
2673.47/2683.08 c 2683 15837 843 1 1164.0000 943.3246 23.39%
2679.55/2689.19 c 2689 15868 848 1 1164.0000 943.3246 23.39%
2685.22/2694.86 c 2695 15899 847 1 1164.0000 943.3246 23.39%
2691.19/2700.87 c 2701 15934 852 1 1164.0000 943.3354 23.39%
2697.39/2707.06 c 2707 15964 854 1 1164.0000 943.3354 23.39%
2702.96/2712.63 c 2713 16019 853 1 1164.0000 943.3354 23.39%
2708.04/2717.71 c 2718 16060 852 1 1164.0000 943.3354 23.39%
2713.62/2723.35 c 2723 16090 858 1 1164.0000 943.4256 23.38%
2718.70/2728.49 c 2728 16145 859 1 1164.0000 943.4256 23.38%
2723.98/2733.73 c 2734 16177 867 1 1164.0000 943.4645 23.38%
2729.96/2739.73 c 2740 16215 867 1 1164.0000 943.4645 23.38%
2735.54/2745.39 c 2745 16246 866 1 1164.0000 943.5250 23.37%
2741.52/2751.36 c 2751 16308 876 1 1164.0000 943.7231 23.34%
2747.23/2757.02 c 2757 16357 879 1 1164.0000 943.7347 23.34%
2752.21/2762.03 c 2762 16388 880 1 1164.0000 943.7347 23.34%
2757.68/2767.54 c 2768 16456 884 1 1164.0000 944.4846 23.24%
2763.65/2773.52 c 2774 16533 887 1 1164.0000 944.4846 23.24%
2769.33/2779.23 c 2779 16601 887 1 1164.0000 944.4846 23.24%
2775.81/2785.71 c 2786 16637 889 1 1164.0000 944.7895 23.20%
2781.69/2791.65 c 2792 16703 891 1 1164.0000 945.0541 23.17%
2787.47/2797.49 c 2797 16735 891 1 1164.0000 945.0541 23.17%
2793.25/2803.28 c 2803 16786 890 1 1164.0000 945.4081 23.12%
2799.23/2809.25 c 2809 16816 894 1 1164.0000 945.4081 23.12%
2804.81/2814.85 c 2815 16841 893 1 1164.0000 945.4081 23.12%
2810.89/2820.95 c 2821 16866 894 1 1164.0000 945.4081 23.12%
2816.98/2827.02 c 2827 16898 894 1 1164.0000 945.4081 23.12%
2822.55/2832.70 c 2833 16928 894 1 1164.0000 945.4081 23.12%
2827.74/2837.86 c 2838 16948 896 1 1164.0000 945.5061 23.11%
2833.42/2843.51 c 2844 16960 901 1 1164.0000 945.5061 23.11%
2838.70/2848.88 c 2849 16969 904 1 1164.0000 945.5061 23.11%
2844.00/2854.12 c 2854 17002 909 1 1164.0000 946.1948 23.02%
2849.47/2859.64 c 2860 17072 909 1 1164.0000 946.1948 23.02%
2854.96/2865.12 c 2865 17118 917 1 1164.0000 946.6355 22.96%
2863.83/2874.08 c 2874 17144 917 1 1164.0000 946.7683 22.94%
2870.10/2880.39 c 2880 17194 923 1 1164.0000 946.7683 22.94%
2876.28/2886.51 c 2887 17230 927 1 1164.0000 946.7683 22.94%
2881.46/2891.76 c 2892 17299 934 1 1164.0000 946.8672 22.93%
2886.64/2896.93 c 2897 17324 937 1 1164.0000 947.0420 22.91%
2892.02/2902.32 c 2902 17361 938 1 1164.0000 947.0420 22.91%
2897.41/2907.70 c 2908 17398 935 1 1164.0000 947.4029 22.86%
2902.71/2913.01 c 2913 17450 937 1 1164.0000 947.4945 22.85%
2909.68/2920.04 c 2920 17508 947 1 1164.0000 947.5135 22.85%
2915.66/2926.08 c 2926 17588 943 1 1164.0000 947.5135 22.85%
2920.83/2931.28 c 2931 17612 947 1 1164.0000 947.5135 22.85%
2926.73/2937.13 c 2937 17650 945 1 1164.0000 947.5135 22.85%
2932.49/2942.90 c 2943 17722 947 1 1164.0000 947.5135 22.85%
2938.38/2948.89 c 2949 17769 954 1 1164.0000 947.7165 22.82%
2943.57/2954.01 c 2954 17804 951 1 1164.0000 947.7165 22.82%
2949.74/2960.26 c 2960 17861 956 1 1164.0000 947.7165 22.82%
2955.12/2965.68 c 2966 17910 955 1 1164.0000 947.7165 22.82%
2960.70/2971.29 c 2971 17945 954 1 1164.0000 947.7165 22.82%
2966.49/2977.01 c 2977 17992 955 1 1164.0000 947.7165 22.82%
2972.16/2982.72 c 2983 18044 961 1 1164.0000 947.7583 22.82%
2977.45/2988.04 c 2988 18099 964 1 1164.0000 947.9685 22.79%
2983.91/2994.58 c 2995 18174 971 1 1164.0000 947.9685 22.79%
2989.50/3000.16 c 3000 18243 974 1 1164.0000 947.9755 22.79%
2995.27/3005.95 c 3006 18296 973 1 1164.0000 947.9755 22.79%
3001.36/3012.09 c 3012 18359 980 1 1164.0000 947.9755 22.79%
3006.82/3017.52 c 3018 18402 983 1 1164.0000 947.9755 22.79%
3012.10/3022.85 c 3023 18422 981 1 1164.0000 947.9755 22.79%
3017.88/3028.68 c 3029 18436 983 1 1164.0000 947.9932 22.79%
3023.06/3033.81 c 3034 18452 985 1 1164.0000 947.9932 22.79%
3028.94/3039.75 c 3040 18478 987 1 1164.0000 948.0632 22.78%
3034.51/3045.38 c 3045 18536 991 1 1164.0000 948.3007 22.75%
3040.50/3051.35 c 3051 18620 999 1 1164.0000 948.3007 22.75%
3047.07/3057.97 c 3058 18676 995 1 1164.0000 948.3007 22.75%
3053.16/3064.07 c 3064 18732 995 1 1164.0000 948.3112 22.74%
3058.92/3069.87 c 3070 18797 990 1 1164.0000 948.3112 22.74%
3066.29/3077.22 c 3077 18834 983 1 1164.0000 948.3112 22.74%
3071.37/3082.37 c 3082 18853 984 1 1164.0000 948.3112 22.74%
3076.65/3087.66 c 3088 18873 985 1 1164.0000 948.3553 22.74%
3081.93/3092.92 c 3093 18895 985 1 1164.0000 948.3553 22.74%
3087.71/3098.77 c 3099 18913 989 1 1164.0000 948.4756 22.72%
3092.79/3103.89 c 3104 18947 993 1 1164.0000 948.4756 22.72%
3098.76/3109.86 c 3110 19019 993 1 1164.0000 948.4756 22.72%
3103.84/3114.90 c 3115 19060 996 1 1164.0000 949.2778 22.62%
3109.32/3120.47 c 3120 19090 1002 1 1164.0000 949.2778 22.62%
3114.60/3125.79 c 3126 19126 1004 1 1164.0000 949.5092 22.59%
3120.01/3131.14 c 3131 19156 1000 1 1164.0000 949.5092 22.59%
3125.67/3136.90 c 3137 19192 1000 1 1164.0000 949.5111 22.59%
3131.35/3142.56 c 3143 19237 1001 1 1164.0000 949.5412 22.59%
3137.23/3148.49 c 3148 19263 999 1 1164.0000 949.5412 22.59%
3143.11/3154.38 c 3154 19301 1005 1 1164.0000 949.5412 22.59%
3149.29/3160.58 c 3161 19381 1000 1 1164.0000 949.5412 22.59%
3155.17/3166.49 c 3166 19401 1000 1 1164.0000 949.5412 22.59%
3160.35/3171.62 c 3172 19473 1002 1 1164.0000 949.5412 22.59%
3168.43/3179.80 c 3180 19501 1004 1 1164.0000 949.5412 22.59%
3174.71/3186.09 c 3186 19528 1007 1 1164.0000 949.9275 22.54%
3180.69/3192.03 c 3192 19574 1005 1 1164.0000 949.9275 22.54%
3187.16/3198.54 c 3199 19591 1008 1 1164.0000 949.9275 22.54%
3192.95/3204.39 c 3204 19646 1009 1 1164.0000 950.3724 22.48%
3198.33/3209.73 c 3210 19665 1016 1 1164.0000 950.3724 22.48%
3203.41/3214.89 c 3215 19730 1013 1 1164.0000 950.3724 22.48%
3208.89/3220.30 c 3220 19747 1012 1 1164.0000 950.3724 22.48%
3214.37/3225.90 c 3226 19786 1013 1 1164.0000 951.2836 22.36%
3220.25/3231.70 c 3232 19818 1017 1 1164.0000 951.7480 22.30%
3227.13/3238.65 c 3239 19835 1020 1 1164.0000 952.4870 22.21%
3233.32/3244.82 c 3245 19852 1023 1 1164.0000 952.4870 22.21%
3239.00/3250.59 c 3251 19899 1024 1 1164.0000 952.8586 22.16%
3244.08/3255.63 c 3256 19925 1030 1 1164.0000 952.8861 22.16%
3250.47/3262.09 c 3262 19978 1031 1 1164.0000 953.2272 22.11%
3255.56/3267.17 c 3267 20031 1030 1 1164.0000 953.2272 22.11%
3261.54/3273.18 c 3273 20058 1033 1 1164.0000 953.2694 22.11%
3266.80/3278.43 c 3278 20086 1035 1 1164.0000 953.3601 22.09%
3272.78/3284.42 c 3284 20123 1036 1 1164.0000 953.3601 22.09%
3278.67/3290.36 c 3290 20163 1032 1 1164.0000 953.3601 22.09%
3283.85/3295.53 c 3296 20196 1035 1 1164.0000 953.9741 22.02%
3289.03/3300.73 c 3301 20212 1041 1 1164.0000 953.9986 22.01%
3294.22/3305.93 c 3306 20252 1047 1 1164.0000 953.9986 22.01%
3299.90/3311.67 c 3312 20290 1047 1 1164.0000 954.0217 22.01%
3305.98/3317.71 c 3318 20311 1044 1 1164.0000 954.0217 22.01%
3311.87/3323.63 c 3324 20363 1048 1 1164.0000 954.0217 22.01%
3317.15/3328.97 c 3329 20401 1050 1 1164.0000 954.0217 22.01%
3323.03/3334.80 c 3335 20446 1053 1 1164.0000 954.4314 21.96%
3328.32/3340.15 c 3340 20478 1060 1 1164.0000 954.4314 21.96%
3334.30/3346.19 c 3346 20597 1063 1 1164.0000 954.4314 21.96%
3339.87/3351.71 c 3352 20653 1065 1 1164.0000 954.5281 21.95%
3345.95/3357.80 c 3358 20786 1064 1 1164.0000 954.5281 21.95%
3351.53/3363.49 c 3363 20815 1061 1 1164.0000 954.5281 21.95%
3357.31/3369.24 c 3369 20906 1064 1 1164.0000 954.5281 21.95%
3363.29/3375.27 c 3375 20977 1063 1 1164.0000 954.5925 21.94%
3368.87/3380.88 c 3381 21001 1067 1 1164.0000 954.5925 21.94%
3375.56/3387.58 c 3388 21064 1066 1 1164.0000 954.5925 21.94%
3380.94/3392.90 c 3393 21105 1065 1 1164.0000 954.5925 21.94%
3386.62/3398.61 c 3399 21122 1066 1 1164.0000 954.5925 21.94%
3392.12/3404.18 c 3404 21129 1067 1 1164.0000 954.6665 21.93%
3397.29/3409.37 c 3409 21153 1073 1 1164.0000 954.6730 21.93%
3402.57/3414.68 c 3415 21183 1073 1 1164.0000 955.4584 21.83%
3408.55/3420.65 c 3421 21203 1073 1 1164.0000 955.4584 21.83%
3414.14/3426.23 c 3426 21221 1077 1 1164.0000 955.4584 21.83%
3419.52/3431.68 c 3432 21281 1081 1 1164.0000 955.4584 21.83%
3429.39/3441.60 c 3442 21313 1079 1 1164.0000 955.4584 21.83%
3436.36/3448.53 c 3449 21366 1080 1 1164.0000 955.6024 21.81%
3441.85/3454.07 c 3454 21394 1082 1 1164.0000 955.6024 21.81%
3446.94/3459.18 c 3459 21401 1085 1 1164.0000 955.6511 21.80%
3453.21/3465.43 c 3465 21416 1086 1 1164.0000 955.6521 21.80%
3458.81/3471.03 c 3471 21477 1089 1 1164.0000 955.6521 21.80%
3464.78/3477.03 c 3477 21509 1087 1 1164.0000 955.6521 21.80%
3469.86/3482.19 c 3482 21517 1091 1 1164.0000 955.6521 21.80%
3475.63/3487.96 c 3488 21557 1095 1 1164.0000 955.6521 21.80%
3481.21/3493.58 c 3494 21591 1095 1 1164.0000 955.9414 21.76%
3487.10/3499.41 c 3499 21617 1103 1 1164.0000 956.1719 21.74%
3493.28/3505.60 c 3506 21653 1103 1 1164.0000 956.2431 21.73%
3498.56/3510.97 c 3511 21666 1104 1 1164.0000 956.4117 21.70%
3503.85/3516.23 c 3516 21680 1108 1 1164.0000 956.4117 21.70%
3512.92/3525.39 c 3525 21682 1110 1 1164.0000 956.4117 21.70%
3518.61/3531.07 c 3531 21701 1111 1 1164.0000 956.4117 21.70%
3524.59/3537.06 c 3537 21750 1110 1 1164.0000 956.4117 21.70%
3530.36/3542.81 c 3543 21784 1110 1 1164.0000 956.4117 21.70%
3535.44/3547.99 c 3548 21855 1113 1 1164.0000 956.4117 21.70%
3540.64/3553.14 c 3553 21993 1112 1 1164.0000 956.4117 21.70%
3545.71/3558.20 c 3558 22064 1113 1 1164.0000 956.4117 21.70%
3551.89/3564.41 c 3564 22128 1109 1 1164.0000 956.4117 21.70%
3557.68/3570.25 c 3570 22142 1111 1 1164.0000 956.4117 21.70%
3563.65/3576.22 c 3576 22185 1110 1 1164.0000 956.4117 21.70%
3569.33/3581.96 c 3582 22215 1114 1 1164.0000 956.4117 21.70%
3574.31/3586.98 c 3587 22236 1119 1 1164.0000 957.1302 21.61%
3580.20/3592.86 c 3593 22274 1123 1 1164.0000 957.1446 21.61%
3585.78/3598.45 c 3598 22301 1128 1 1164.0000 957.1446 21.61%
3587.48/3600.15 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.48/3600.15 c Total Time : 3600.15
3587.48/3600.15 c solving : 3600.15
3587.48/3600.15 c presolving : 3.08 (included in solving)
3587.48/3600.15 c B&B Tree :
3587.48/3600.15 c nodes (total) : 1
3587.48/3600.15 c Solution :
3587.48/3600.15 c Solutions found : 16
3587.48/3600.15 c Primal Bound : +1.16400000000000e+03
3587.48/3600.15 c Dual Bound : +9.57144622406696e+02
3587.48/3600.15 c Gap : 21.61172 %
3587.48/3600.15 c * Warning: final gap: 2.16117e-01 is greater than SCIPepsilon: 1.00000e-09
3587.48/3600.16 o 1164
3587.48/3600.16 s SATISFIABLE
3587.48/3600.16 v x3204 -x3203 -x3202 x3201 x3200 -x3199 x3198 -x3197 x3196 -x3195 x3194 -x3193 x3192 -x3191 x3190 -x3189 x3188 -x3187 -x3186 x3185
3587.48/3600.16 v x3184 -x3183 x3182 -x3181 -x3180 x3179 x3178 -x3177 x3176 -x3175 x3174 -x3173 -x3172 -x3171 -x3170 -x3169 x3168 -x3167 x3166
3587.48/3600.16 v -x3165 -x3164 -x3163 -x3162 x3161 x3160 -x3159 x3158 -x3157 -x3156 x3155 -x3154 -x3153 x3152 -x3151 x3150 -x3149 -x3148 -x3147
3587.48/3600.16 v -x3146 -x3145 -x3144 x3143 x3142 -x3141 x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 x3132 -x3131 x3130 -x3129
3587.48/3600.16 v x3128 -x3127 -x3126 x3125 x3124 -x3123 x3122 -x3121 -x3120 x3119 x3118 -x3117 x3116 -x3115 x3114 -x3113 -x3112 -x3111 -x3110
3587.48/3600.16 v -x3109 -x3108 x3107 -x3106 -x3105 x3104 -x3103 x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 x3095 x3094 -x3093 -x3092 -x3091
3587.48/3600.16 v -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 x3083 x3082 -x3081 -x3080 -x3079 x3078 -x3077 -x3076 -x3075 -x3074 -x3073
3587.48/3600.16 v x3072 -x3071 x3070 -x3069 x3068 -x3067 -x3066 x3065 x3064 -x3063 x3062 -x3061 x3060 -x3059 x3058 -x3057 x3056 -x3055 -x3054
3587.48/3600.16 v x3053 x3052 -x3051 x3050 -x3049 x3048 -x3047 x3046 -x3045 x3044 -x3043 -x3042 x3041 x3040 -x3039 x3038 -x3037 x3036 -x3035 -x3034
3587.48/3600.16 v x3033 x3032 -x3031 x3030 -x3029 x3028 -x3027 x3026 -x3025 -x3024 -x3023 x3022 -x3021 x3020 -x3019 -x3018 x3017 -x3016 -x3015
3587.48/3600.16 v -x3014 -x3013 -x3012 x3011 -x3010 -x3009 -x3008 -x3007 x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 x2999 x2998 -x2997
3587.48/3600.16 v x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 x2987 x2986 -x2985 x2984 -x2983 -x2982 -x2981 -x2980 -x2979
3587.48/3600.16 v -x2978 -x2977 -x2976 x2975 x2974 -x2973 x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 x2963 x2962 -x2961 x2960
3587.48/3600.16 v -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 x2952 -x2951 x2950 -x2949 x2948 -x2947 -x2946 x2945 x2944 -x2943 x2942 -x2941
3587.48/3600.16 v -x2940 -x2939 x2938 -x2937 -x2936 x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 x2928 -x2927 x2926 -x2925 x2924 -x2923
3587.48/3600.16 v -x2922 x2921 x2920 -x2919 x2918 -x2917 x2916 -x2915 x2914 -x2913 x2912 -x2911 -x2910 x2909 x2908 -x2907 x2906 -x2905 -x2904 x2903
3587.48/3600.16 v x2902 -x2901 x2900 -x2899 x2898 -x2897 -x2896 -x2895 -x2894 -x2893 x2892 -x2891 x2890 -x2889 x2888 -x2887 -x2886 x2885 x2884
3587.48/3600.16 v -x2883 x2882 -x2881 -x2880 x2879 x2878 -x2877 x2876 -x2875 x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 x2866
3587.48/3600.16 v -x2865 -x2864 x2863 x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 x2854 -x2853 x2852 -x2851 -x2850 -x2849 -x2848 -x2847
3587.48/3600.16 v -x2846 x2845 -x2844 x2843 x2842 -x2841 x2840 -x2839 x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 x2831 x2830 -x2829 -x2828
3587.48/3600.16 v -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 x2815 x2814 -x2813 -x2812 -x2811 -x2810
3587.48/3600.16 v -x2809 x2808 -x2807 x2806 -x2805 x2804 -x2803 -x2802 x2801 x2800 -x2799 x2798 -x2797 x2796 -x2795 x2794 -x2793 -x2792 -x2791
3587.48/3600.16 v -x2790 x2789 x2788 -x2787 x2786 -x2785 -x2784 x2783 x2782 -x2781 x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772
3587.48/3600.16 v x2771 x2770 -x2769 x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 x2760 -x2759 -x2758 x2757 x2756 -x2755 -x2754
3587.48/3600.16 v -x2753 x2752 -x2751 x2750 -x2749 -x2748 x2747 x2746 -x2745 x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 x2736 -x2735
3587.48/3600.16 v -x2734 x2733 x2732 -x2731 x2730 -x2729 x2728 -x2727 x2726 -x2725 -x2724 x2723 x2722 -x2721 x2720 -x2719 x2718 -x2717 -x2716
3587.48/3600.16 v -x2715 -x2714 -x2713 -x2712 x2711 x2710 -x2709 x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 x2699 x2698 -x2697
3587.48/3600.16 v x2696 -x2695 x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 x2687 x2686 -x2685 x2684 -x2683 x2682 -x2681 -x2680 -x2679
3587.48/3600.16 v -x2678 -x2677 -x2676 x2675 x2674 -x2673 x2672 -x2671 x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 x2663 x2662 -x2661 -x2660
3587.48/3600.16 v -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 x2651 x2650 -x2649 x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642
3587.48/3600.16 v -x2641 x2640 -x2639 x2638 -x2637 -x2636 x2635 x2634 -x2633 x2632 -x2631 x2630 -x2629 -x2628 x2627 x2626 -x2625 x2624 -x2623 x2622
3587.48/3600.16 v -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 x2615 x2614 -x2613 x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604
3587.48/3600.16 v x2603 x2602 -x2601 -x2600 -x2599 x2598 -x2597 -x2596 -x2595 -x2594 -x2593 x2592 -x2591 -x2590 -x2589 x2588 -x2587 -x2586 x2585
3587.48/3600.16 v x2584 -x2583 x2582 -x2581 -x2580 x2579 x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 x2568 -x2567
3587.48/3600.16 v x2566 -x2565 -x2564 x2563 x2562 -x2561 x2560 -x2559 x2558 -x2557 -x2556 -x2555 -x2554 x2553 -x2552 -x2551 x2550 -x2549 -x2548
3587.48/3600.16 v -x2547 -x2546 -x2545 -x2544 x2543 x2542 -x2541 x2540 -x2539 x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 x2531 x2530 -x2529
3587.48/3600.16 v x2528 -x2527 x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 x2519 x2518 -x2517 x2516 -x2515 x2514 -x2513 -x2512 -x2511 -x2510
3587.48/3600.16 v -x2509 -x2508 x2507 x2506 -x2505 x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 x2496 -x2495 x2494 -x2493 -x2492
3587.48/3600.16 v x2491 x2490 -x2489 x2488 -x2487 x2486 -x2485 -x2484 x2483 x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473
3587.48/3600.16 v x2472 -x2471 x2470 -x2469 -x2468 -x2467 -x2466 x2465 x2464 -x2463 x2462 -x2461 -x2460 x2459 x2458 -x2457 x2456 -x2455 x2454
3587.48/3600.16 v -x2453 -x2452 -x2451 -x2450 -x2449 x2448 -x2447 x2446 -x2445 -x2444 x2443 x2442 -x2441 x2440 -x2439 x2438 -x2437 -x2436 x2435
3587.48/3600.16 v x2434 -x2433 x2432 -x2431 x2430 -x2429 -x2428 -x2427 -x2426 -x2425 x2424 -x2423 x2422 -x2421 -x2420 x2419 x2418 -x2417 x2416
3587.48/3600.16 v -x2415 x2414 -x2413 x2412 -x2411 -x2410 -x2409 -x2408 x2407 x2406 -x2405 x2404 -x2403 x2402 -x2401 -x2400 x2399 x2398 -x2397
3587.48/3600.16 v -x2396 -x2395 x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 x2387 x2386 -x2385 -x2384 -x2383 x2382 -x2381 -x2380 -x2379
3587.48/3600.16 v -x2378 -x2377 -x2376 x2375 x2374 -x2373 x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 x2363 -x2362 -x2361 x2360
3587.48/3600.16 v -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 x2352 -x2351 x2350 -x2349 -x2348 x2347 x2346 -x2345 x2344 -x2343 x2342 -x2341
3587.48/3600.16 v x2340 -x2339 -x2338 -x2337 x2336 -x2335 -x2334 x2333 x2332 -x2331 x2330 -x2329 x2328 -x2327 x2326 -x2325 x2324 -x2323 -x2322
3587.48/3600.16 v x2321 x2320 -x2319 x2318 -x2317 x2316 -x2315 -x2314 x2313 x2312 -x2311 x2310 -x2309 x2308 -x2307 x2306 -x2305 x2304 -x2303
3587.48/3600.16 v -x2302 x2301 x2300 -x2299 x2298 -x2297 x2296 -x2295 x2294 -x2293 -x2292 x2291 x2290 -x2289 x2288 -x2287 -x2286 -x2285 -x2284
3587.48/3600.16 v -x2283 -x2282 -x2281 -x2280 x2279 -x2278 -x2277 x2276 -x2275 x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 x2267 x2266
3587.48/3600.16 v -x2265 x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 x2256 -x2255 x2254 -x2253 -x2252 x2251 x2250 -x2249 x2248 -x2247
3587.48/3600.16 v x2246 -x2245 x2244 -x2243 x2242 -x2241 x2240 -x2239 -x2238 x2237 x2236 -x2235 x2234 -x2233 -x2232 x2231 x2230 -x2229 -x2228
3587.48/3600.16 v -x2227 x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 x2219 x2218 -x2217 x2216 -x2215 x2214 -x2213 -x2212 -x2211 -x2210 -x2209
3587.48/3600.16 v -x2208 x2207 x2206 -x2205 x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 x2195 x2194 -x2193 -x2192 -x2191
3587.48/3600.16 v x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 x2183 x2182 -x2181 x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 x2172
3587.48/3600.16 v -x2171 x2170 -x2169 x2168 -x2167 -x2166 x2165 x2164 -x2163 x2162 -x2161 -x2160 x2159 x2158 -x2157 x2156 -x2155 -x2154 -x2153
3587.48/3600.16 v -x2152 -x2151 -x2150 -x2149 -x2148 x2147 x2146 -x2145 x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 x2135
3587.48/3600.16 v x2134 -x2133 x2132 -x2131 x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 x2122 -x2121 -x2120 x2119 x2118 -x2117 -x2116
3587.48/3600.16 v -x2115 -x2114 -x2113 x2112 -x2111 x2110 -x2109 -x2108 -x2107 -x2106 x2105 x2104 -x2103 x2102 -x2101 -x2100 x2099 x2098 -x2097
3587.48/3600.16 v -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 x2088 -x2087 -x2086 -x2085 x2084 -x2083 -x2082 x2081 x2080 -x2079
3587.48/3600.16 v x2078 -x2077 -x2076 x2075 x2074 -x2073 -x2072 -x2071 x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 x2063 -x2062 -x2061 x2060
3587.48/3600.16 v -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 x2052 -x2051 -x2050 -x2049 -x2048 x2047 -x2046 -x2045 x2044 -x2043 x2042 -x2041
3587.48/3600.16 v -x2040 x2039 x2038 -x2037 x2036 -x2035 x2034 -x2033 -x2032 -x2031 -x2030 -x2029 x2028 -x2027 x2026 -x2025 x2024 -x2023
3587.48/3600.16 v -x2022 x2021 x2020 -x2019 x2018 -x2017 -x2016 x2015 x2014 -x2013 x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004
3587.48/3600.16 v x2003 x2002 -x2001 -x2000 -x1999 x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 x1991 x1990 -x1989 x1988 -x1987 -x1986 -x1985
3587.48/3600.16 v -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 x1975 x1974 -x1973 -x1972 -x1971 -x1970 -x1969 x1968 -x1967
3587.48/3600.16 v x1966 -x1965 x1964 -x1963 -x1962 x1961 x1960 -x1959 x1958 -x1957 x1956 -x1955 x1954 -x1953 x1952 -x1951 -x1950 x1949 x1948
3587.48/3600.16 v -x1947 x1946 -x1945 x1944 -x1943 x1942 -x1941 x1940 -x1939 -x1938 x1937 x1936 -x1935 x1934 -x1933 -x1932 x1931 x1930 -x1929 -x1928
3587.48/3600.16 v -x1927 x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 x1919 x1918 -x1917 x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910
3587.48/3600.16 v -x1909 -x1908 x1907 x1906 -x1905 x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 x1896 -x1895 x1894 -x1893 x1892 -x1891
3587.48/3600.16 v -x1890 x1889 x1888 -x1887 x1886 -x1885 -x1884 x1883 x1882 -x1881 x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873
3587.48/3600.16 v x1872 -x1871 x1870 -x1869 x1868 -x1867 -x1866 x1865 x1864 -x1863 x1862 -x1861 x1860 -x1859 x1858 -x1857 x1856 -x1855 -x1854 x1853
3587.48/3600.16 v x1852 -x1851 x1850 -x1849 -x1848 x1847 x1846 -x1845 x1844 -x1843 x1842 -x1841 -x1840 -x1839 -x1838 -x1837 x1836 -x1835 -x1834
3587.48/3600.16 v x1833 x1832 -x1831 x1830 -x1829 x1828 -x1827 x1826 -x1825 x1824 -x1823 x1822 -x1821 x1820 -x1819 -x1818 x1817 x1816 -x1815
3587.48/3600.16 v x1814 -x1813 -x1812 x1811 x1810 -x1809 x1808 -x1807 x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 x1799 x1798 -x1797 x1796
3587.48/3600.16 v -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 x1787 x1786 -x1785 x1784 -x1783 x1782 -x1781 -x1780 -x1779 -x1778
3587.48/3600.16 v -x1777 x1776 -x1775 x1774 -x1773 -x1772 -x1771 -x1770 x1769 x1768 -x1767 x1766 -x1765 -x1764 -x1763 x1762 -x1761 x1760 -x1759
3587.48/3600.16 v x1758 -x1757 -x1756 x1755 -x1754 -x1753 -x1752 x1751 x1750 -x1749 x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740
3587.48/3600.16 v -x1739 -x1738 x1737 -x1736 -x1735 x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 x1727 x1726 -x1725 x1724 -x1723 x1722
3587.48/3600.16 v -x1721 -x1720 -x1719 -x1718 -x1717 x1716 -x1715 -x1714 x1713 -x1712 -x1711 x1710 -x1709 x1708 -x1707 x1706 -x1705 x1704 -x1703
3587.48/3600.16 v x1702 -x1701 -x1700 -x1699 -x1698 x1697 x1696 -x1695 x1694 -x1693 x1692 -x1691 x1690 -x1689 -x1688 x1687 x1686 -x1685 x1684
3587.48/3600.16 v -x1683 x1682 -x1681 -x1680 -x1679 -x1678 x1677 x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 x1667 x1666 -x1665
3587.48/3600.16 v x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 x1655 x1654 -x1653 x1652 -x1651 x1650 -x1649 -x1648 -x1647
3587.48/3600.16 v -x1646 -x1645 x1644 -x1643 x1642 -x1641 -x1640 x1639 -x1638 -x1637 x1636 -x1635 x1634 -x1633 -x1632 x1631 x1630 -x1629 x1628
3587.48/3600.16 v -x1627 x1626 -x1625 -x1624 -x1623 -x1622 -x1621 x1620 -x1619 x1618 -x1617 x1616 -x1615 -x1614 x1613 x1612 -x1611 x1610 -x1609
3587.48/3600.16 v -x1608 x1607 x1606 -x1605 -x1604 -x1603 x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 x1595 x1594 -x1593 x1592 -x1591 -x1590
3587.48/3600.16 v -x1589 -x1588 -x1587 -x1586 -x1585 x1584 -x1583 x1582 -x1581 x1580 -x1579 -x1578 x1577 x1576 -x1575 x1574 -x1573 -x1572 -x1571
3587.48/3600.16 v x1570 -x1569 -x1568 x1567 x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 x1559 x1558 -x1557 x1556 -x1555 -x1554 -x1553
3587.48/3600.16 v -x1552 -x1551 -x1550 -x1549 x1548 -x1547 x1546 -x1545 -x1544 -x1543 -x1542 x1541 x1540 -x1539 x1538 -x1537 -x1536 x1535 x1534
3587.48/3600.16 v -x1533 x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 x1523 x1522 -x1521 x1520 -x1519 -x1518 -x1517 -x1516 -x1515
3587.48/3600.16 v -x1514 -x1513 -x1512 x1511 x1510 -x1509 x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 x1500 -x1499 -x1498 x1497
3587.48/3600.16 v x1496 -x1495 x1494 -x1493 x1492 -x1491 x1490 -x1489 -x1488 x1487 -x1486 -x1485 x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478
3587.48/3600.16 v -x1477 x1476 -x1475 -x1474 -x1473 x1472 -x1471 -x1470 x1469 x1468 -x1467 x1466 -x1465 x1464 -x1463 x1462 -x1461 x1460 -x1459
3587.48/3600.16 v -x1458 x1457 x1456 -x1455 x1454 -x1453 -x1452 -x1451 -x1450 x1449 x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 x1440
3587.48/3600.16 v -x1439 x1438 -x1437 -x1436 x1435 x1434 -x1433 x1432 -x1431 x1430 -x1429 -x1428 x1427 x1426 -x1425 x1424 -x1423 -x1422 -x1421
3587.48/3600.16 v -x1420 -x1419 -x1418 -x1417 -x1416 x1415 x1414 -x1413 x1412 -x1411 x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 x1403
3587.48/3600.16 v x1402 -x1401 x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 x1392 -x1391 x1390 -x1389 -x1388 x1387 x1386 -x1385 x1384
3587.48/3600.16 v -x1383 x1382 -x1381 -x1380 x1379 x1378 -x1377 -x1376 -x1375 x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 x1367 x1366 -x1365
3587.48/3600.16 v -x1364 -x1363 x1362 -x1361 -x1360 -x1359 -x1358 -x1357 x1356 -x1355 x1354 -x1353 x1352 -x1351 -x1350 x1349 x1348 -x1347 x1346
3587.48/3600.16 v -x1345 -x1344 -x1343 x1342 -x1341 -x1340 x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 x1331 x1330 -x1329 x1328
3587.48/3600.16 v -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 x1319 x1318 -x1317 -x1316 -x1315 x1314 -x1313 -x1312 -x1311 -x1310 -x1309
3587.48/3600.16 v -x1308 x1307 -x1306 -x1305 x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 x1295 x1294 -x1293 -x1292 -x1291
3587.48/3600.16 v -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 x1283 x1282 -x1281 -x1280 -x1279 x1278 -x1277 -x1276 -x1275 -x1274 -x1273
3587.48/3600.16 v -x1272 x1271 x1270 -x1269 x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 x1260 -x1259 x1258 -x1257 x1256 -x1255 -x1254
3587.48/3600.16 v x1253 x1252 -x1251 x1250 -x1249 x1248 -x1247 x1246 -x1245 -x1244 -x1243 -x1242 x1241 x1240 -x1239 x1238 -x1237 x1236 -x1235
3587.48/3600.16 v x1234 -x1233 x1232 -x1231 -x1230 x1229 x1228 -x1227 x1226 -x1225 x1224 -x1223 x1222 -x1221 x1220 -x1219 -x1218 x1217 x1216
3587.48/3600.16 v -x1215 x1214 -x1213 -x1212 x1211 x1210 -x1209 x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 x1199 x1198 -x1197
3587.48/3600.16 v x1196 -x1195 x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 x1187 x1186 -x1185 x1184 -x1183 x1182 -x1181 -x1180 -x1179 -x1178
3587.48/3600.16 v -x1177 -x1176 x1175 x1174 -x1173 x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 x1163 x1162 -x1161 x1160 -x1159
3587.48/3600.16 v x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 x1149 x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141
3587.48/3600.16 v x1140 -x1139 x1138 -x1137 x1136 -x1135 -x1134 x1133 x1132 -x1131 x1130 -x1129 -x1128 x1127 x1126 -x1125 x1124 -x1123 x1122
3587.48/3600.16 v -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 x1115 x1114 -x1113 x1112 -x1111 x1110 -x1109 -x1108 -x1107 -x1106 -x1105 x1104 -x1103
3587.48/3600.16 v -x1102 x1101 x1100 -x1099 x1098 -x1097 x1096 -x1095 x1094 -x1093 -x1092 x1091 x1090 -x1089 x1088 -x1087 x1086 -x1085 -x1084
3587.48/3600.16 v -x1083 -x1082 -x1081 x1080 -x1079 x1078 -x1077 -x1076 x1075 x1074 -x1073 x1072 -x1071 x1070 -x1069 -x1068 x1067 x1066 -x1065
3587.48/3600.16 v x1064 -x1063 x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 x1054 -x1053 -x1052 x1051 -x1050 -x1049 -x1048 -x1047
3587.48/3600.16 v -x1046 -x1045 -x1044 x1043 x1042 -x1041 -x1040 -x1039 x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 x1031 x1030 -x1029 x1028
3587.48/3600.16 v -x1027 x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 x1019 x1018 -x1017 x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010
3587.48/3600.16 v -x1009 -x1008 -x1007 x1006 -x1005 -x1004 x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 x996 -x995 x994 -x993 x992 -x991 -x990
3587.48/3600.16 v x989 x988 -x987 x986 -x985 x984 -x983 x982 -x981 x980 -x979 -x978 x977 x976 -x975 x974 -x973 -x972 x971 x970 -x969 x968 -x967
3587.48/3600.16 v x966 -x965 -x964 -x963 -x962 -x961 x960 -x959 -x958 x957 x956 -x955 x954 -x953 x952 -x951 x950 -x949 -x948 -x947 -x946 x945
3587.48/3600.16 v x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 x935 -x934 -x933 x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 x924 -x923
3587.48/3600.16 v x922 -x921 x920 -x919 -x918 x917 x916 -x915 x914 -x913 x912 -x911 x910 -x909 x908 -x907 -x906 x905 x904 -x903 x902 -x901 -x900
3587.48/3600.16 v x899 x898 -x897 x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 x888 -x887 x886 -x885 -x884 x883 x882 -x881 x880 -x879 x878
3587.48/3600.16 v -x877 x876 -x875 x874 -x873 x872 -x871 -x870 x869 x868 -x867 x866 -x865 x864 -x863 x862 -x861 -x860 x859 x858 -x857 x856 -x855
3587.48/3600.16 v x854 -x853 x852 -x851 x850 -x849 x848 -x847 -x846 x845 x844 -x843 x842 -x841 -x840 x839 x838 -x837 x836 -x835 x834 -x833
3587.48/3600.16 v -x832 -x831 -x830 -x829 -x828 x827 x826 -x825 x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 x816 -x815 x814 -x813 x812 -x811
3587.48/3600.16 v -x810 x809 x808 -x807 x806 -x805 x804 -x803 -x802 x801 x800 -x799 x798 -x797 x796 -x795 x794 -x793 x792 -x791 x790 -x789 x788
3587.48/3600.16 v -x787 -x786 x785 x784 -x783 x782 -x781 -x780 x779 x778 -x777 x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 x768 -x767 x766
3587.48/3600.16 v -x765 -x764 x763 -x762 -x761 x760 -x759 x758 -x757 -x756 x755 x754 -x753 x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744
3587.48/3600.16 v x743 x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 x731 x730 -x729 x728 -x727 x726 -x725 -x724 -x723 -x722
3587.48/3600.16 v -x721 -x720 x719 x718 -x717 x716 -x715 x714 -x713 -x712 -x711 -x710 -x709 x708 -x707 x706 -x705 x704 -x703 -x702 x701 x700
3587.48/3600.16 v -x699 x698 -x697 x696 -x695 x694 -x693 -x692 -x691 -x690 x689 x688 -x687 x686 -x685 -x684 x683 x682 -x681 -x680 -x679 -x678
3587.48/3600.16 v -x677 -x676 -x675 -x674 -x673 -x672 x671 x670 -x669 x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 x659 x658 -x657 x656
3587.48/3600.16 v -x655 x654 -x653 -x652 -x651 -x650 -x649 -x648 x647 x646 -x645 -x644 -x643 x642 -x641 -x640 -x639 -x638 -x637 x636 -x635 x634
3587.48/3600.16 v -x633 x632 -x631 -x630 x629 x628 -x627 x626 -x625 x624 -x623 x622 -x621 -x620 -x619 -x618 x617 x616 -x615 x614 -x613 x612
3587.48/3600.16 v -x611 x610 -x609 x608 -x607 -x606 x605 x604 -x603 x602 -x601 x600 -x599 x598 -x597 x596 -x595 -x594 x593 x592 -x591 x590 -x589
3587.48/3600.16 v x588 -x587 x586 -x585 x584 -x583 -x582 x581 x580 -x579 x578 -x577 -x576 -x575 -x574 x573 x572 -x571 x570 -x569 -x568 -x567
3587.48/3600.16 v -x566 -x565 x564 -x563 x562 -x561 x560 -x559 -x558 x557 x556 -x555 x554 -x553 x552 -x551 x550 -x549 x548 -x547 -x546 x545 x544
3587.48/3600.16 v -x543 x542 -x541 -x540 x539 x538 -x537 -x536 -x535 x534 -x533 -x532 -x531 -x530 -x529 x528 -x527 x526 -x525 -x524 -x523 -x522
3587.48/3600.16 v x521 x520 -x519 x518 -x517 x516 -x515 -x514 -x513 x512 -x511 -x510 x509 x508 -x507 x506 -x505 -x504 x503 x502 -x501 x500 -x499
3587.48/3600.16 v x498 -x497 -x496 -x495 -x494 -x493 -x492 x491 x490 -x489 x488 -x487 x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478
3587.48/3600.16 v x477 x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 x468 -x467 x466 -x465 x464 -x463 -x462 x461 x460 -x459 x458 -x457 -x456
3587.48/3600.16 v x455 x454 -x453 x452 -x451 x450 -x449 -x448 -x447 -x446 -x445 x444 -x443 x442 -x441 -x440 x439 -x438 -x437 x436 -x435 x434 -x433
3587.48/3600.16 v x432 -x431 -x430 -x429 x428 -x427 -x426 x425 x424 -x423 x422 -x421 -x420 x419 x418 -x417 x416 -x415 x414 -x413 -x412 -x411
3587.48/3600.16 v -x410 -x409 -x408 x407 x406 -x405 x404 -x403 x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 x394 -x393 x392 -x391 -x390 -x389
3587.48/3600.16 v -x388 -x387 -x386 -x385 -x384 x383 -x382 x381 -x380 x379 -x378 x377 -x376 x375 -x374 x373 -x372 x371 -x370 x369 -x368 x367
3587.48/3600.16 v -x366 x365 -x364 x363 -x362 x361 -x360 x359 -x358 x357 -x356 x355 -x354 x353 -x352 x351 -x350 x349 x348 -x347 -x346 x345 -x344
3587.48/3600.16 v x343 -x342 x341 -x340 x339 -x338 x337 -x336 x335 -x334 x333 -x332 x331 -x330 x329 -x328 x327 -x326 x325 -x324 x323 -x322 x321
3587.48/3600.16 v -x320 x319 -x318 x317 -x316 x315 -x314 x313 -x312 x311 -x310 x309 -x308 x307 -x306 x305 -x304 x303 -x302 x301 -x300 x299 -x298
3587.48/3600.16 v x297 -x296 x295 -x294 x293 -x292 x291 -x290 x289 -x288 x287 -x286 x285 -x284 x283 -x282 x281 -x280 x279 -x278 x277 x276
3587.48/3600.16 v -x275 -x274 x273 -x272 x271 -x270 x269 -x268 x267 x266 -x265 -x264 x263 x262 -x261 -x260 x259 -x258 x257 -x256 x255 -x254 x253
3587.48/3600.16 v -x252 x251 -x250 x249 -x248 x247 -x246 x245 -x244 x243 -x242 x241 x240 -x239 -x238 x237 -x236 x235 -x234 x233 -x232 x231 -x230
3587.48/3600.16 v x229 -x228 x227 -x226 x225 -x224 x223 -x222 x221 -x220 x219 -x218 x217 -x216 x215 -x214 x213 -x212 x211 -x210 x209 -x208
3587.48/3600.16 v x207 -x206 x205 -x204 x203 -x202 x201 -x200 x199 -x198 x197 -x196 x195 x194 -x193 -x192 x191 -x190 x189 -x188 x187 -x186 x185
3587.48/3600.16 v -x184 x183 -x182 x181 -x180 x179 -x178 x177 -x176 x175 -x174 x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165 -x164 x163 x162
3587.48/3600.16 v -x161 -x160 x159 -x158 x157 -x156 x155 -x154 x153 -x152 x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142 x141 -x140 x139
3587.48/3600.16 v -x138 x137 -x136 x135 -x134 x133 -x132 x131 -x130 x129 -x128 x127 -x126 x125 -x124 x123 -x122 x121 -x120 x119 -x118 x117
3587.48/3600.16 v -x116 x115 -x114 x113 -x112 x111 -x110 x109 -x108 x107 -x106 x105 -x104 x103 -x102 x101 -x100 x99 -x98 x97 -x96 x95 -x94 x93
3587.48/3600.16 v 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 x67 -x66 x65
3587.48/3600.16 v -x64 x63 -x62 x61 -x60 x59 -x58 x57 -x56 x55 -x54 x53 -x52 x51 -x50 x49 -x48 x47 -x46 x45 -x44 x43 -x42 x41 -x40 x39 -x38 x37
3587.57/3600.23 v -x36 x35 -x34 x33 -x32 x31 -x30 x29 x28 -x27 -x26 x25 -x24 x23 -x22 x21 -x20 x19 -x18 x17 -x16 x15 -x14 x13 -x12 x11 -x10 x9
3587.57/3600.23 v -x8 x7 -x6 x5 -x4 x3 -x2 x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (63203 MiB free)
memory of node 1: 64510 MiB (62066 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434601-1721068482/watcher-4434601-1721068482 -o /tmp/evaluation-result-4434601-1721068482/solver-4434601-1721068482 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721061290-811947 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434601-1721068482.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=816235, runsolver pid=816232
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 4.20 4.20 4.18 5/246 816236
/proc/meminfo: memFree=128252444/131655788 swapFree=131071996/131071996
[pid=816235] ppid=816232 vsize=40684 memory=30856 CPUtime=0.1 cores=0,2
/proc/816235/stat : 816235 (fscip) R 816232 816235 811937 0 -1 4194304 5465 0 0 0 9 1 0 0 20 0 1 0 159006295 41660416 7714 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
/proc/816235/statm: 10171 7714 2558 3032 0 6571 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40684 KiB
Current children cumulated memory: 30856 KiB
[startup+0.212983 s]*
/proc/loadavg: 4.20 4.20 4.18 5/246 816238
/proc/meminfo: memFree=128222204/131655788 swapFree=131071996/131071996
[pid=816235] ppid=816232 vsize=65412 memory=54268 CPUtime=0.22 cores=0,2
/proc/816235/stat : 816235 (fscip) R 816232 816235 811937 0 -1 4194304 11259 0 0 0 19 3 0 0 20 0 1 0 159006295 66981888 13567 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
/proc/816235/statm: 16353 13567 2606 3032 0 12753 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 65412 KiB
Current children cumulated memory: 54268 KiB
[startup+0.313296 s]*
/proc/loadavg: 4.20 4.20 4.18 5/246 816238
/proc/meminfo: memFree=128200936/131655788 swapFree=131071996/131071996
[pid=816235] ppid=816232 vsize=80960 memory=69884 CPUtime=0.32 cores=0,2
/proc/816235/stat : 816235 (fscip) R 816232 816235 811937 0 -1 4194304 16441 0 0 0 27 5 0 0 20 0 1 0 159006295 82903040 17471 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
/proc/816235/statm: 20240 17471 2654 3032 0 16640 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 80960 KiB
Current children cumulated memory: 69884 KiB
[startup+0.700286 s]
/proc/loadavg: 4.20 4.20 4.18 5/246 816238
/proc/meminfo: memFree=128201072/131655788 swapFree=131071996/131071996
[pid=816235] ppid=816232 vsize=78620 memory=67288 CPUtime=0.68 cores=0,2
/proc/816235/stat : 816235 (fscip) R 816232 816235 811937 0 -1 4194304 18889 0 0 0 63 5 0 0 20 0 1 0 159006295 80506880 16822 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
/proc/816235/statm: 19655 16822 2734 3032 0 16055 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 78620 KiB
Current children cumulated memory: 67288 KiB
[startup+1.50025 s]
/proc/loadavg: 4.20 4.20 4.18 5/246 816238
/proc/meminfo: memFree=128196040/131655788 swapFree=131071996/131071996
[pid=816235] ppid=816232 vsize=79184 memory=67816 CPUtime=1.48 cores=0,2
/proc/816235/stat : 816235 (fscip) R 816232 816235 811937 0 -1 4194304 19010 0 0 0 143 5 0 0 20 0 1 0 159006295 81084416 16954 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
/proc/816235/statm: 19796 16954 2734 3032 0 16196 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 79184 KiB
Current children cumulated memory: 67816 KiB
[startup+3.11195 s]
/proc/loadavg: 4.20 4.20 4.18 5/248 816240
/proc/meminfo: memFree=127859532/131655788 swapFree=131071996/131071996
[pid=816235] ppid=816232 vsize=112764 memory=96572 CPUtime=3.09 cores=0,2
/proc/816235/stat : 816235 (fscip) R 816232 816235 811937 0 -1 4194304 23809 0 0 0 303 6 0 0 20 0 1 0 159006295 115470336 24143 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
/proc/816235/statm: 28191 24143 2734 3032 0 24591 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 112764 KiB
Current children cumulated memory: 96572 KiB
[startup+6.3003 s]
/proc/loadavg: 4.19 4.20 4.17 5/250 816242
/proc/meminfo: memFree=127523412/131655788 swapFree=131071996/131071996
[pid=816235] ppid=816232 vsize=245512 memory=198324 CPUtime=6.26 cores=0,2
/proc/816235/stat : 816235 (fscip) S 816232 816235 811937 0 -1 1077936128 58591 0 0 0 611 15 0 0 20 0 3 0 159006295 251404288 49581 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
/proc/816235/statm: 61378 49581 2782 3032 0 56574 0
[pid=816235/tid=816241] ppid=816232 vsize=245512 memory=623 CPUtime=2.99 cores=0,2
/proc/816235/task/816241/stat : 816241 (fscip) R 816232 816235 811937 0 -1 4194368 22816 0 0 0 293 6 0 0 20 0 3 0 159006619 251404288 49581 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
[pid=816235/tid=816242] ppid=816232 vsize=245512 memory=12440 CPUtime=0 cores=0,2
/proc/816235/task/816242/stat : 816242 (fscip) S 816232 816235 811937 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 159006629 251404288 49581 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 245512 KiB
Current children cumulated memory: 198324 KiB
[startup+12.7003 s]
/proc/loadavg: 4.17 4.19 4.17 5/250 816244
/proc/meminfo: memFree=127448368/131655788 swapFree=131071996/131071996
[pid=816235] ppid=816232 vsize=376584 memory=272956 CPUtime=12.64 cores=0,2
/proc/816235/stat : 816235 (fscip) S 816232 816235 811937 0 -1 1077936128 106015 0 0 0 1244 20 0 0 20 0 3 0 159006295 385622016 68239 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
/proc/816235/statm: 94146 68239 2974 3032 0 87035 0
[pid=816235/tid=816241] ppid=816232 vsize=376584 memory=261968 CPUtime=9.37 cores=0,2
/proc/816235/task/816241/stat : 816241 (fscip) R 816232 816235 811937 0 -1 4194368 69654 0 0 0 926 11 0 0 20 0 3 0 159006619 385622016 68239 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
[pid=816235/tid=816242] ppid=816232 vsize=376584 memory=269288 CPUtime=0 cores=0,2
/proc/816235/task/816242/stat : 816242 (fscip) S 816232 816235 811937 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 159006629 385622016 68239 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 376584 KiB
Current children cumulated memory: 272956 KiB
[startup+25.5004 s]
/proc/loadavg: 4.14 4.19 4.17 5/250 816246
/proc/meminfo: memFree=127364120/131655788 swapFree=131071996/131071996
[pid=816235] ppid=816232 vsize=442120 memory=293496 CPUtime=25.4 cores=0,2
/proc/816235/stat : 816235 (fscip) S 816232 816235 811937 0 -1 1077936128 141956 0 0 0 2518 22 0 0 20 0 3 0 159006295 452730880 73374 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
/proc/816235/statm: 110530 73374 2974 3032 0 92165 0
[pid=816235/tid=816241] ppid=816232 vsize=442120 memory=291484 CPUtime=22.13 cores=0,2
/proc/816235/task/816241/stat : 816241 (fscip) R 816232 816235 811937 0 -1 4194368 105588 0 0 0 2200 13 0 0 20 0 3 0 159006619 452730880 73374 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
[pid=816235/tid=816242] ppid=816232 vsize=442120 memory=289144 CPUtime=0 cores=0,2
/proc/816235/task/816242/stat : 816242 (fscip) S 816232 816235 811937 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 159006629 452730880 73374 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 442120 KiB
Current children cumulated memory: 293496 KiB
[startup+51.1126 s]
/proc/loadavg: 4.66 4.31 4.21 5/249 816251
/proc/meminfo: memFree=127309540/131655788 swapFree=131071996/131071996
[pid=816235] ppid=816232 vsize=442120 memory=328560 CPUtime=50.94 cores=0,2
/proc/816235/stat : 816235 (fscip) S 816232 816235 811937 0 -1 1077936128 186456 0 0 0 5068 26 0 0 20 0 3 0 159006295 452730880 82140 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
/proc/816235/statm: 110530 82140 2974 3032 0 100901 0
[pid=816235/tid=816241] ppid=816232 vsize=442120 memory=12440 CPUtime=47.67 cores=0,2
/proc/816235/task/816241/stat : 816241 (fscip) R 816232 816235 811937 0 -1 4194368 150082 0 0 0 4750 17 0 0 20 0 3 0 159006619 452730880 82140 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
[pid=816235/tid=816242] ppid=816232 vsize=442120 memory=314380 CPUtime=0 cores=0,2
/proc/816235/task/816242/stat : 816242 (fscip) S 816232 816235 811937 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 159006629 452730880 82140 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 442120 KiB
Current children cumulated memory: 328560 KiB
[startup+102.3 s]
/proc/loadavg: 4.78 4.42 4.26 5/248 816260
/proc/meminfo: memFree=127253080/131655788 swapFree=131071996/131071996
[pid=816235] ppid=816232 vsize=526904 memory=353008 CPUtime=101.95 cores=0,2
/proc/816235/stat : 816235 (fscip) S 816232 816235 811937 0 -1 1077936128 256109 0 0 0 10163 32 0 0 20 0 3 0 159006295 539549696 88252 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
/proc/816235/statm: 131726 88252 2974 3032 0 119657 0
[pid=816235/tid=816241] ppid=816232 vsize=526904 memory=12440 CPUtime=98.68 cores=0,2
/proc/816235/task/816241/stat : 816241 (fscip) R 816232 816235 811937 0 -1 4194368 219068 0 0 0 9845 23 0 0 20 0 3 0 159006619 539549696 88252 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
[pid=816235/tid=816242] ppid=816232 vsize=526904 memory=350804 CPUtime=0 cores=0,2
/proc/816235/task/816242/stat : 816242 (fscip) S 816232 816235 811937 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 159006629 539549696 88252 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 526904 KiB
Current children cumulated memory: 353008 KiB
[startup+162.3 s]
/proc/loadavg: 4.39 4.37 4.25 5/248 816271
/proc/meminfo: memFree=127169456/131655788 swapFree=131071996/131071996
[pid=816235] ppid=816232 vsize=662800 memory=391828 CPUtime=161.74 cores=0,2
/proc/816235/stat : 816235 (fscip) S 816232 816235 811937 0 -1 1077936128 313708 0 0 0 16137 37 0 0 20 0 3 0 159006295 678707200 97957 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
/proc/816235/statm: 165700 97957 2974 3032 0 150102 0
[pid=816235/tid=816241] ppid=816232 vsize=662800 memory=362140 CPUtime=158.46 cores=0,2
/proc/816235/task/816241/stat : 816241 (fscip) R 816232 816235 811937 0 -1 4194368 276607 0 0 0 15818 28 0 0 20 0 3 0 159006619 678707200 97957 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
[pid=816235/tid=816242] ppid=816232 vsize=662800 memory=6720662142892522349 CPUtime=0 cores=0,2
/proc/816235/task/816242/stat : 816242 (fscip) S 816232 816235 811937 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 159006629 678707200 97957 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 662800 KiB
Current children cumulated memory: 391828 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.31 4.24 5/248 816281
/proc/meminfo: memFree=127085612/131655788 swapFree=131071996/131071996
[pid=816235] ppid=816232 vsize=728336 memory=470732 CPUtime=221.54 cores=0,2
/proc/816235/stat : 816235 (fscip) S 816232 816235 811937 0 -1 1077936128 402661 0 0 0 22108 46 0 0 20 0 3 0 159006295 745816064 117683 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
/proc/816235/statm: 182084 117683 2974 3032 0 177563 0
[pid=816235/tid=816241] ppid=816232 vsize=728336 memory=420036 CPUtime=218.25 cores=0,2
/proc/816235/task/816241/stat : 816241 (fscip) R 816232 816235 811937 0 -1 4194368 364438 0 0 0 21789 36 0 0 20 0 3 0 159006619 745816064 117683 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
[pid=816235/tid=816242] ppid=816232 vsize=728336 memory=12440 CPUtime=0 cores=0,2
/proc/816235/task/816242/stat : 816242 (fscip) S 816232 816235 811937 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 159006629 745816064 117683 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 728336 KiB
Current children cumulated memory: 470732 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.27 4.23 5/248 816292
/proc/meminfo: memFree=126930800/131655788 swapFree=131071996/131071996
[pid=816235] ppid=816232 vsize=793872 memory=525428 CPUtime=281.33 cores=0,2
/proc/816235/stat : 816235 (fscip) S 816232 816235 811937 0 -1 1077936128 449794 0 0 0 28083 50 0 0 20 0 3 0 159006295 812924928 131357 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
/proc/816235/statm: 198468 131357 2990 3032 0 190685 0
[pid=816235/tid=816241] ppid=816232 vsize=793872 memory=375816 CPUtime=278.04 cores=0,2
################
# More data... #
################
[pid=816235] ppid=816232 vsize=2056620 memory=1909476 CPUtime=3390.31 cores=0,2
/proc/816235/stat : 816235 (fscip) S 816232 816235 811937 0 -1 1077936128 1348381 0 0 0 338870 161 0 0 20 0 3 0 159006295 2105978880 477369 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
/proc/816235/statm: 514155 477369 3310 3032 0 502983 0
[pid=816235/tid=816241] ppid=816232 vsize=2056620 memory=1909476 CPUtime=3386.77 cores=0,2
/proc/816235/task/816241/stat : 816241 (fscip) R 816232 816235 811937 0 -1 4194368 1308297 0 0 0 338536 141 0 0 20 0 3 0 159006619 2105978880 477369 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
[pid=816235/tid=816242] ppid=816232 vsize=2056620 memory=1909476 CPUtime=0.04 cores=0,2
/proc/816235/task/816242/stat : 816242 (fscip) S 816232 816235 811937 0 -1 1077936192 157 0 0 0 1 3 0 0 20 0 3 0 159006629 2105978880 477369 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
Current children cumulated CPU time: 3390.31 s
Current children cumulated vsize: 2056620 KiB
Current children cumulated memory: 1909476 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.13 5/254 818108
/proc/meminfo: memFree=123774024/131655788 swapFree=131071996/131071996
[pid=816235] ppid=816232 vsize=2056620 memory=1913160 CPUtime=3450.11 cores=0,2
/proc/816235/stat : 816235 (fscip) S 816232 816235 811937 0 -1 1077936128 1354276 0 0 0 344850 161 0 0 20 0 3 0 159006295 2105978880 478290 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
/proc/816235/statm: 514155 478290 3310 3032 0 504552 0
[pid=816235/tid=816241] ppid=816232 vsize=2056620 memory=6720662142892522349 CPUtime=3446.57 cores=0,2
/proc/816235/task/816241/stat : 816241 (fscip) R 816232 816235 811937 0 -1 4194368 1314178 0 0 0 344515 142 0 0 20 0 3 0 159006619 2105978880 478290 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
[pid=816235/tid=816242] ppid=816232 vsize=2056620 memory=1912928 CPUtime=0.04 cores=0,2
/proc/816235/task/816242/stat : 816242 (fscip) S 816232 816235 811937 0 -1 1077936192 159 0 0 0 1 3 0 0 20 0 3 0 159006629 2105978880 478290 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
Current children cumulated CPU time: 3450.11 s
Current children cumulated vsize: 2056620 KiB
Current children cumulated memory: 1913160 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.13 5/253 818119
/proc/meminfo: memFree=123695396/131655788 swapFree=131071996/131071996
[pid=816235] ppid=816232 vsize=2059672 memory=1916968 CPUtime=3509.93 cores=0,2
/proc/816235/stat : 816235 (fscip) S 816232 816235 811937 0 -1 1077936128 1358679 0 0 0 350829 164 0 0 20 0 3 0 159006295 2109104128 479242 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
/proc/816235/statm: 514918 479242 3310 3032 0 507458 0
[pid=816235/tid=816241] ppid=816232 vsize=2059672 memory=42604 CPUtime=3506.38 cores=0,2
/proc/816235/task/816241/stat : 816241 (fscip) R 816232 816235 811937 0 -1 4194368 1318566 0 0 0 350494 144 0 0 20 0 3 0 159006619 2109104128 479242 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
[pid=816235/tid=816242] ppid=816232 vsize=2059672 memory=1916968 CPUtime=0.04 cores=0,2
/proc/816235/task/816242/stat : 816242 (fscip) S 816232 816235 811937 0 -1 1077936192 162 0 0 0 1 3 0 0 20 0 3 0 159006629 2109104128 479242 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
Current children cumulated CPU time: 3509.93 s
Current children cumulated vsize: 2059672 KiB
Current children cumulated memory: 1916968 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.13 5/252 818129
/proc/meminfo: memFree=123662212/131655788 swapFree=131071996/131071996
[pid=816235] ppid=816232 vsize=2061344 memory=1917880 CPUtime=3569.73 cores=0,2
/proc/816235/stat : 816235 (fscip) S 816232 816235 811937 0 -1 1077936128 1363888 0 0 0 356805 168 0 0 20 0 3 0 159006295 2110816256 479470 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
/proc/816235/statm: 515336 479470 3310 3032 0 507876 0
[pid=816235/tid=816241] ppid=816232 vsize=2061344 memory=1917584 CPUtime=3566.17 cores=0,2
/proc/816235/task/816241/stat : 816241 (fscip) R 816232 816235 811937 0 -1 4194368 1323766 0 0 0 356469 148 0 0 20 0 3 0 159006619 2110816256 479470 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
[pid=816235/tid=816242] ppid=816232 vsize=2061344 memory=42604 CPUtime=0.05 cores=0,2
/proc/816235/task/816242/stat : 816242 (fscip) S 816232 816235 811937 0 -1 1077936192 164 0 0 0 1 4 0 0 20 0 3 0 159006629 2110816256 479470 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
Current children cumulated CPU time: 3569.73 s
Current children cumulated vsize: 2061344 KiB
Current children cumulated memory: 1917880 KiB
[startup+3600.25 s]
# the end of solver process 816235 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.91 s, system=1.71276 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.11 4.13 5/252 818129
/proc/meminfo: memFree=123662212/131655788 swapFree=131071996/131071996
[pid=816235] ppid=816232 vsize=2061344 memory=1917880 CPUtime=3571.43 cores=0,2
/proc/816235/stat : 816235 (fscip) S 816232 816235 811937 0 -1 1077936128 1363984 0 0 0 356975 168 0 0 20 0 3 0 159006295 2110816256 479470 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
/proc/816235/statm: 515336 479470 3310 3032 0 507876 0
[pid=816235/tid=816241] ppid=816232 vsize=2061344 memory=6720659939557587819 CPUtime=3567.88 cores=0,2
/proc/816235/task/816241/stat : 816241 (fscip) R 816232 816235 811937 0 -1 4194368 1323862 0 0 0 356640 148 0 0 20 0 3 0 159006619 2110816256 479470 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
[pid=816235/tid=816242] ppid=816232 vsize=2061344 memory=1470216829021096025 CPUtime=0.05 cores=0,2
/proc/816235/task/816242/stat : 816242 (fscip) S 816232 816235 811937 0 -1 1077936192 164 0 0 0 1 4 0 0 20 0 3 0 159006629 2110816256 479470 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
Current children cumulated CPU time: 3571.43 s
Current children cumulated vsize: 2061344 KiB
Current children cumulated memory: 1917880 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.11 4.13 5/252 818129
/proc/meminfo: memFree=123662188/131655788 swapFree=131071996/131071996
[pid=816235] ppid=816232 vsize=2061344 memory=1917880 CPUtime=3577.8 cores=0,2
/proc/816235/stat : 816235 (fscip) S 816232 816235 811937 0 -1 1077936128 1364324 0 0 0 357611 169 0 0 20 0 3 0 159006295 2110816256 479470 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
/proc/816235/statm: 515336 479470 3310 3032 0 507876 0
[pid=816235/tid=816241] ppid=816232 vsize=2061344 memory=0 CPUtime=3574.25 cores=0,2
/proc/816235/task/816241/stat : 816241 (fscip) R 816232 816235 811937 0 -1 4194368 1324199 0 0 0 357276 149 0 0 20 0 3 0 159006619 2110816256 479470 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
[pid=816235/tid=816242] ppid=816232 vsize=2061344 memory=0 CPUtime=0.05 cores=0,2
/proc/816235/task/816242/stat : 816242 (fscip) S 816232 816235 811937 0 -1 1077936192 166 0 0 0 1 4 0 0 20 0 3 0 159006629 2110816256 479470 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
Current children cumulated CPU time: 3577.8 s
Current children cumulated vsize: 2061344 KiB
Current children cumulated memory: 1917880 KiB
[startup+3596.8 s]
/proc/loadavg: 4.16 4.12 4.13 5/252 818130
/proc/meminfo: memFree=123662044/131655788 swapFree=131071996/131071996
[pid=816235] ppid=816232 vsize=2061344 memory=1917880 CPUtime=3584.18 cores=0,2
/proc/816235/stat : 816235 (fscip) S 816232 816235 811937 0 -1 1077936128 1364871 0 0 0 358249 169 0 0 20 0 3 0 159006295 2110816256 479470 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
/proc/816235/statm: 515336 479470 3310 3032 0 507876 0
[pid=816235/tid=816241] ppid=816232 vsize=2061344 memory=1917880 CPUtime=3580.63 cores=0,2
/proc/816235/task/816241/stat : 816241 (fscip) R 816232 816235 811937 0 -1 4194368 1324740 0 0 0 357914 149 0 0 20 0 3 0 159006619 2110816256 479470 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
[pid=816235/tid=816242] ppid=816232 vsize=2061344 memory=12440 CPUtime=0.05 cores=0,2
/proc/816235/task/816242/stat : 816242 (fscip) S 816232 816235 811937 0 -1 1077936192 166 0 0 0 1 4 0 0 20 0 3 0 159006629 2110816256 479470 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
Current children cumulated CPU time: 3584.18 s
Current children cumulated vsize: 2061344 KiB
Current children cumulated memory: 1917880 KiB
[startup+3598.4 s]
/proc/loadavg: 4.16 4.12 4.13 5/252 818130
/proc/meminfo: memFree=123661964/131655788 swapFree=131071996/131071996
[pid=816235] ppid=816232 vsize=2061344 memory=1917880 CPUtime=3585.78 cores=0,2
/proc/816235/stat : 816235 (fscip) S 816232 816235 811937 0 -1 1077936128 1364942 0 0 0 358409 169 0 0 20 0 3 0 159006295 2110816256 479470 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
/proc/816235/statm: 515336 479470 3310 3032 0 507876 0
[pid=816235/tid=816241] ppid=816232 vsize=2061344 memory=6720659939557587819 CPUtime=3582.22 cores=0,2
/proc/816235/task/816241/stat : 816241 (fscip) R 816232 816235 811937 0 -1 4194368 1324811 0 0 0 358073 149 0 0 20 0 3 0 159006619 2110816256 479470 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
[pid=816235/tid=816242] ppid=816232 vsize=2061344 memory=1470216829021096025 CPUtime=0.05 cores=0,2
/proc/816235/task/816242/stat : 816242 (fscip) S 816232 816235 811937 0 -1 1077936192 166 0 0 0 1 4 0 0 20 0 3 0 159006629 2110816256 479470 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
Current children cumulated CPU time: 3585.78 s
Current children cumulated vsize: 2061344 KiB
Current children cumulated memory: 1917880 KiB
[startup+3599.2 s]
/proc/loadavg: 4.16 4.12 4.13 6/247 818147
/proc/meminfo: memFree=124374768/131655788 swapFree=131071996/131071996
[pid=816235] ppid=816232 vsize=2061344 memory=1917880 CPUtime=3586.57 cores=0,2
/proc/816235/stat : 816235 (fscip) S 816232 816235 811937 0 -1 1077936128 1365348 0 0 0 358488 169 0 0 20 0 3 0 159006295 2110816256 479470 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
/proc/816235/statm: 515336 479470 3310 3032 0 507876 0
[pid=816235/tid=816241] ppid=816232 vsize=2061344 memory=42604 CPUtime=3583.02 cores=0,2
/proc/816235/task/816241/stat : 816241 (fscip) R 816232 816235 811937 0 -1 4194368 1325217 0 0 0 358153 149 0 0 20 0 3 0 159006619 2110816256 479470 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
[pid=816235/tid=816242] ppid=816232 vsize=2061344 memory=16328 CPUtime=0.05 cores=0,2
/proc/816235/task/816242/stat : 816242 (fscip) S 816232 816235 811937 0 -1 1077936192 166 0 0 0 1 4 0 0 20 0 3 0 159006629 2110816256 479470 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
Current children cumulated CPU time: 3586.57 s
Current children cumulated vsize: 2061344 KiB
Current children cumulated memory: 1917880 KiB
[startup+3600 s]*
/proc/loadavg: 4.16 4.12 4.13 3/234 818192
/proc/meminfo: memFree=125492164/131655788 swapFree=131071996/131071996
[pid=816235] ppid=816232 vsize=2061344 memory=1917880 CPUtime=3587.38 cores=0,2
/proc/816235/stat : 816235 (fscip) S 816232 816235 811937 0 -1 1077936128 1365485 0 0 0 358569 169 0 0 20 0 3 0 159006295 2110816256 479470 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
/proc/816235/statm: 515336 479470 3310 3032 0 507876 0
[pid=816235/tid=816241] ppid=816232 vsize=2061344 memory=1648 CPUtime=3583.83 cores=0,2
/proc/816235/task/816241/stat : 816241 (fscip) R 816232 816235 811937 0 -1 4194368 1325351 0 0 0 358234 149 0 0 20 0 3 0 159006619 2110816256 479470 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
[pid=816235/tid=816242] ppid=816232 vsize=2061344 memory=6720662142892522349 CPUtime=0.05 cores=0,2
/proc/816235/task/816242/stat : 816242 (fscip) S 816232 816235 811937 0 -1 1077936192 166 0 0 0 1 4 0 0 20 0 3 0 159006629 2110816256 479470 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
Current children cumulated CPU time: 3587.38 s
Current children cumulated vsize: 2061344 KiB
Current children cumulated memory: 1917880 KiB
[startup+3600.21 s]
/proc/loadavg: 4.16 4.12 4.13 3/234 818192
/proc/meminfo: memFree=125492164/131655788 swapFree=131071996/131071996
[pid=816235] ppid=816232 vsize=1949216 memory=1817164 CPUtime=3587.57 cores=0,2
/proc/816235/stat : 816235 (fscip) R 816232 816235 811937 0 -1 4194304 1369516 0 0 0 358588 169 0 0 20 0 2 0 159006295 1995997184 454291 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
/proc/816235/statm: 487304 454291 3310 3032 0 479861 0
[pid=816235/tid=816242] ppid=816232 vsize=1949216 memory=8144 CPUtime=0.05 cores=0,2
/proc/816235/task/816242/stat : 816242 (fscip) S 816232 816235 811937 0 -1 1077936192 166 0 0 0 1 4 0 0 20 0 2 0 159006629 1995997184 454291 134679101440 4194304 16613245 140733296784880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29302784 140733296788501 140733296788617 140733296788617 140733296795632 0
Current children cumulated CPU time: 3587.57 s
Current children cumulated vsize: 1949216 KiB
Current children cumulated memory: 1817164 KiB
Child status: 0
Real time (s): 3600.25
CPU time (s): 3587.63
CPU user time (s): 3585.91
CPU system time (s): 1.71276
CPU usage (%): 99.6495
Max. virtual memory (cumulated for all children) (KiB): 2061344
Max. memory (cumulated for all children) (KiB): 1917880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.91
system time used= 1.71276
maximum resident set size= 1917880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1369880
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= 8721
involuntary context switches= 24592
# summary of solver processes directly reported to runsolver:
# pid: 816235
# total CPU time (s): 3587.63
# total CPU user time (s): 3585.91
# total CPU system time (s): 1.71276
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.48 second user time and 34.9821 second system time
The end
Begin job on nodeC002 at 2024-07-15 20:34:55
IDJOB=4434601
IDBENCH=147029
IDSOLVER=3064
FILE ID=nodeC002/4434601-1721068482
RUNJOBID= nodeC002-1721061290-811947
SLURM_JOB_ID= 7505511
Free space on /tmp= 723696 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16a2.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-4434601-1721068482/watcher-4434601-1721068482 -o /tmp/evaluation-result-4434601-1721068482/solver-4434601-1721068482 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721061290-811947 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434601-1721068482.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5bf8779f76705329d27574b156c8674b
RANDOM SEED=314843581
nodeC002.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 : 3429.533
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.38
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 : 2696.199
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.31
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.153
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.38
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.217
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.31
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 : 3664.835
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.38
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 : 2496.749
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.31
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.184
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.38
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.186
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128270056 kB
MemAvailable: 129661836 kB
Buffers: 391040 kB
Cached: 1829464 kB
SwapCached: 0 kB
Active: 618708 kB
Inactive: 2212328 kB
Active(anon): 2692 kB
Inactive(anon): 645552 kB
Active(file): 616016 kB
Inactive(file): 1566776 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 88728 kB
Writeback: 0 kB
AnonPages: 610228 kB
Mapped: 135396 kB
Shmem: 37704 kB
KReclaimable: 98036 kB
Slab: 196388 kB
SReclaimable: 98036 kB
SUnreclaim: 98352 kB
KernelStack: 3952 kB
PageTables: 10380 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 923424 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52800 kB
HardwareCorrupted: 0 kB
AnonHugePages: 264192 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: 201544 kB
DirectMap2M: 20674560 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 723724 MiB
End job on nodeC002 at 2024-07-15 21:34:55