0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.02 c Default LC presolving (default).
0.00/0.02 c ** Before presolving: virtualMemUsedAtLc = 39768064, getVmSize() = 39768064, SCIPgetMemUsed() = 14464875, SCIPgetMemTotal() = 17724699, SCIPgetMemExternEstim() = 7613233
0.00/0.02 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
2.48/2.57 c ** Estimated virtualMemUsedAtSolver = 48503016, getVmSize() = 89088000, SCIPgetMemUsed() = 44942892, SCIPgetMemTotal() = 65141292, SCIPgetMemExternEstim() = 7613233
2.48/2.57 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
2.48/2.57 c Original Problem :
2.48/2.57 c Problem name : instance-4464469-1722385794
2.48/2.57 c Variables : 3905 (3905 binary, 0 integer, 0 implicit integer, 0 continuous)
2.48/2.57 c Constraints : 4049
2.48/2.57 c Objective sense : minimize
2.48/2.57 c Presolved Problem :
2.48/2.57 c Variables : 3102 (3102 binary, 0 integer, 0 implicit integer, 0 continuous)
2.48/2.57 c Constraints : 3217
2.48/2.57 c Constraints : Number
2.48/2.57 c setppc : 656
2.48/2.57 c logicor : 2561
2.48/2.57 c ** Instance transfer method used: 0
2.48/2.58 c ** ParaScipInstance copy does not increase the number of variables. **
2.48/2.59 c LC is working with racing ramp-up and with rebuilding tree after racing.
2.48/2.59 c Nodes Active
2.48/2.59 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
30.02/30.14 c 30 2 1 1 - 0.0000 -
35.10/35.23 c 35 17 14 1 - 0.0000 -
43.48/43.66 c 44 44 25 1 - 0.0000 -
49.16/49.33 c 49 55 28 1 - 0.0000 -
55.24/55.47 c 55 62 35 1 - 0.0000 -
60.33/60.50 c 60 69 40 1 - 0.0000 -
65.71/65.98 c 66 117 46 1 - 0.0000 -
71.20/71.44 c 71 139 58 1 - 0.0000 -
76.80/77.06 c 77 217 54 1 - 0.0000 -
81.88/82.14 c 82 276 56 1 - 0.0000 -
87.06/87.34 c 87 320 54 1 - 0.0000 -
92.54/92.82 c 93 386 58 1 - 0.0000 -
97.74/98.01 c 98 411 59 1 - 0.0000 -
103.22/103.56 c 104 461 64 1 - 0.0000 -
109.61/109.94 c 110 490 65 1 - 0.0000 -
115.60/115.91 c 116 524 75 1 - 0.0000 -
121.38/121.74 c 122 535 78 1 - 0.0000 -
127.57/127.98 c 128 545 86 1 - 0.0000 -
133.95/134.39 c 134 550 91 1 - 0.0000 -
139.53/139.96 c 140 593 96 1 - 0.0000 -
145.32/145.78 c 146 603 100 1 - 0.0000 -
150.90/151.37 c 151 649 98 1 - 0.0000 -
156.39/156.86 c 157 697 104 1 - 0.0000 -
162.18/162.60 c 163 741 114 1 - 0.0000 -
167.46/167.98 c 168 790 115 1 - 0.0000 -
172.85/173.36 c 173 891 117 1 - 0.0000 -
178.44/178.90 c 179 979 115 1 - 0.0000 -
183.53/184.08 c 184 1030 114 1 - 0.0000 -
188.91/189.45 c 189 1109 116 1 - 0.0000 -
195.00/195.50 c 196 1202 119 1 - 0.0000 -
200.59/201.10 c 201 1238 129 1 - 0.0000 -
206.27/206.82 c 207 1287 142 1 - 0.0000 -
211.46/212.07 c 212 1361 146 1 - 0.0000 -
232.61/233.20 c 233 1372 1 1 - 0.0000 -
238.99/239.61 c 240 1378 7 1 - 0.0000 -
244.78/245.49 c 245 1391 20 1 - 0.0000 -
249.96/250.60 c 251 1412 23 1 - 0.0000 -
255.95/256.60 c 257 1414 25 1 - 0.0000 -
261.13/261.86 c 262 1456 28 1 - 0.0000 -
266.91/267.60 c 268 1491 28 1 - 0.0000 -
272.60/273.35 c 273 1520 31 1 - 0.0000 -
277.99/278.70 c 279 1558 29 1 - 0.0000 -
283.28/284.08 c 284 1588 33 1 - 0.0000 -
288.77/289.50 c 290 1638 33 1 - 0.0000 -
294.05/294.84 c 295 1678 32 1 - 0.0000 -
299.54/300.33 c 300 1735 39 1 - 0.0000 -
304.83/305.69 c 306 1783 31 1 - 0.0000 -
310.01/310.85 c 311 1817 29 1 - 0.0000 -
316.09/316.94 c 317 1856 27 1 - 0.0000 -
321.68/322.54 c 323 1896 27 1 - 0.0000 -
327.17/328.06 c 328 1952 27 1 - 0.0000 -
332.55/333.45 c 333 2002 25 1 - 0.0000 -
338.04/338.95 c 339 2035 30 1 - 0.0000 -
343.42/344.36 c 344 2085 32 1 - 0.0000 -
348.82/349.72 c 350 2133 30 1 - 0.0000 -
354.21/355.15 c 355 2175 30 1 - 0.0000 -
359.89/360.82 c 361 2219 28 1 - 0.0000 -
365.68/366.60 c 367 2263 29 1 - 0.0000 -
371.26/372.27 c 372 2304 30 1 - 0.0000 -
376.65/377.69 c 378 2343 29 1 - 0.0000 -
382.24/383.25 c 383 2382 26 1 - 0.0000 -
387.72/388.78 c 389 2420 26 1 - 0.0000 -
393.01/394.06 c 394 2465 26 1 - 0.0000 -
398.30/399.39 c 399 2506 25 1 - 0.0000 -
403.78/404.89 c 405 2521 32 1 - 0.0000 -
409.77/410.89 c 411 2590 33 1 - 0.0000 -
415.26/416.33 c 416 2633 31 1 - 0.0000 -
420.45/421.56 c 422 2688 31 1 - 0.0000 -
426.43/427.58 c 428 2728 32 1 - 0.0000 -
431.93/433.08 c 433 2760 30 1 - 0.0000 -
437.92/439.01 c 439 2794 30 1 - 0.0000 -
443.60/444.78 c 445 2838 30 1 - 0.0000 -
449.08/450.25 c 450 2882 29 1 - 0.0000 -
454.77/455.98 c 456 2920 33 1 - 0.0000 -
460.16/461.35 c 461 2975 31 1 - 0.0000 -
465.44/466.61 c 467 3021 28 1 - 0.0000 -
470.63/471.89 c 472 3076 31 1 - 0.0000 -
476.02/477.28 c 477 3134 31 1 - 0.0000 -
481.70/482.98 c 483 3193 32 1 - 0.0000 -
487.30/488.50 c 488 3253 30 1 - 0.0000 -
492.49/493.76 c 494 3315 34 1 - 0.0000 -
497.77/499.08 c 499 3376 33 1 - 0.0000 -
503.06/504.35 c 504 3435 30 1 - 0.0000 -
508.34/509.64 c 510 3517 32 1 - 0.0000 -
513.74/515.00 c 515 3577 28 1 - 0.0000 -
519.03/520.37 c 520 3647 32 1 - 0.0000 -
524.31/525.63 c 526 3722 35 1 - 0.0000 -
529.81/531.14 c 531 3802 33 1 - 0.0000 -
535.09/536.42 c 536 3877 36 1 - 0.0000 -
540.48/541.84 c 542 3957 30 1 - 0.0000 -
545.77/547.17 c 547 4019 28 1 - 0.0000 -
551.35/552.75 c 553 4071 34 1 - 0.0000 -
556.64/558.02 c 558 4131 34 1 - 0.0000 -
561.92/563.30 c 563 4190 33 1 - 0.0000 -
567.41/568.85 c 569 4241 32 1 - 0.0000 -
572.90/574.34 c 574 4290 44 1 - 0.0000 -
578.29/579.75 c 580 4367 41 1 - 0.0000 -
583.48/584.90 c 585 4424 42 1 - 0.0000 -
588.67/590.11 c 590 4474 38 1 - 0.0000 -
594.25/595.74 c 596 4523 35 1 - 0.0000 -
599.74/601.27 c 601 4566 34 1 - 0.0000 -
605.13/606.60 c 607 4622 34 1 - 0.0000 -
610.31/611.84 c 612 4675 35 1 - 0.0000 -
615.71/617.27 c 617 4721 37 1 - 0.0000 -
621.60/623.13 c 623 4762 40 1 - 0.0000 -
627.28/628.81 c 629 4811 39 1 - 0.0000 -
632.86/634.41 c 634 4863 36 1 - 0.0000 -
638.15/639.74 c 640 4909 36 1 - 0.0000 -
643.44/645.06 c 645 4956 33 1 - 0.0000 -
648.92/650.54 c 651 5012 31 1 - 0.0000 -
654.52/656.19 c 656 5054 30 1 - 0.0000 -
659.80/661.49 c 661 5098 30 1 - 0.0000 -
665.99/667.69 c 668 5125 37 1 - 0.0000 -
671.68/673.33 c 673 5177 47 1 - 0.0000 -
676.96/678.65 c 679 5234 51 1 - 0.0000 -
682.65/684.34 c 684 5293 50 1 - 0.0000 -
688.13/689.86 c 690 5345 47 1 - 0.0000 -
693.72/695.44 c 695 5387 49 1 - 0.0000 -
699.01/700.73 c 701 5437 45 1 - 0.0000 -
704.40/706.19 c 706 5506 46 1 - 0.0000 -
709.89/711.68 c 712 5551 47 1 - 0.0000 -
715.48/717.30 c 717 5595 48 1 - 0.0000 -
720.87/722.69 c 723 5637 48 1 - 0.0000 -
726.36/728.11 c 728 5677 47 1 - 0.0000 -
731.64/733.44 c 733 5727 49 1 - 0.0000 -
737.42/739.29 c 739 5761 55 1 - 0.0000 -
743.11/744.92 c 745 5799 57 1 - 0.0000 -
749.30/751.11 c 751 5844 60 1 - 0.0000 -
755.29/757.13 c 757 5898 60 1 - 0.0000 -
760.57/762.48 c 762 5940 61 1 - 0.0000 -
766.85/768.71 c 769 5976 57 1 - 0.0000 -
772.45/774.33 c 774 6007 56 1 - 0.0000 -
777.84/779.77 c 780 6045 55 1 - 0.0000 -
783.13/785.09 c 785 6082 54 1 - 0.0000 -
789.21/791.19 c 791 6124 54 1 - 0.0000 -
794.89/796.80 c 797 6156 56 1 - 0.0000 -
800.48/802.43 c 802 6194 54 1 - 0.0000 -
806.27/808.26 c 808 6224 54 1 - 0.0000 -
812.26/814.28 c 814 6255 55 1 - 0.0000 -
817.54/819.56 c 820 6288 53 1 - 0.0000 -
823.14/825.14 c 825 6324 53 1 - 0.0000 -
828.42/830.40 c 830 6364 53 1 - 0.0000 -
834.01/836.04 c 836 6407 55 1 - 0.0000 -
839.89/841.97 c 842 6436 53 1 - 0.0000 -
845.38/847.41 c 847 6482 51 1 - 0.0000 -
851.17/853.27 c 853 6521 55 1 - 0.0000 -
857.35/859.48 c 859 6550 54 1 - 0.0000 -
862.44/864.51 c 865 6574 56 1 - 0.0000 -
868.33/870.44 c 870 6609 55 1 - 0.0000 -
874.12/876.25 c 876 6640 53 1 - 0.0000 -
879.40/881.59 c 882 6680 55 1 - 0.0000 -
885.29/887.47 c 887 6709 55 1 - 0.0000 -
890.68/892.85 c 893 6751 55 1 - 0.0000 -
896.16/898.38 c 898 6784 56 1 - 0.0000 -
901.75/903.90 c 904 6808 51 1 - 0.0000 -
907.64/909.85 c 910 6843 55 1 - 0.0000 -
913.33/915.52 c 916 6885 53 1 - 0.0000 -
918.32/920.53 c 921 6922 50 1 - 0.0000 -
924.20/926.42 c 926 6964 50 1 - 0.0000 -
929.49/931.72 c 932 7002 50 1 - 0.0000 -
935.47/937.74 c 938 7036 46 1 - 0.0000 -
941.36/943.65 c 944 7066 46 1 - 0.0000 -
947.04/949.34 c 949 7101 41 1 - 0.0000 -
952.92/955.20 c 955 7136 40 1 - 0.0000 -
958.51/960.84 c 961 7169 37 1 - 0.0000 -
964.20/966.50 c 966 7202 34 1 - 0.0000 -
969.98/972.35 c 972 7237 35 1 - 0.0000 -
975.67/978.05 c 978 7267 34 1 - 0.0000 -
981.24/983.69 c 984 7294 38 1 - 0.0000 -
986.83/989.22 c 989 7326 37 1 - 0.0000 -
992.51/994.92 c 995 7362 36 1 - 0.0000 -
998.00/1000.48 c 1000 7391 39 1 - 0.0000 -
1003.99/1006.44 c 1006 7433 39 1 - 0.0000 -
1009.37/1011.84 c 1012 7471 39 1 - 0.0000 -
1014.56/1017.04 c 1017 7508 43 1 - 0.0000 -
1020.14/1022.68 c 1023 7550 43 1 - 0.0000 -
1026.52/1029.05 c 1029 7584 43 1 - 0.0000 -
1032.10/1034.60 c 1035 7621 46 1 - 0.0000 -
1037.50/1040.06 c 1040 7657 45 1 - 0.0000 -
1042.97/1045.53 c 1046 7692 48 1 - 0.0000 -
1048.75/1051.37 c 1051 7721 43 1 - 0.0000 -
1054.34/1056.95 c 1057 7756 42 1 - 0.0000 -
1059.82/1062.45 c 1062 7792 42 1 - 0.0000 -
1065.51/1068.13 c 1068 7820 42 1 - 0.0000 -
1071.79/1074.46 c 1074 7861 43 1 - 0.0000 -
1077.28/1079.98 c 1080 7900 42 1 - 0.0000 -
1082.86/1085.51 c 1086 7939 44 1 - 0.0000 -
1088.25/1090.92 c 1091 7971 40 1 - 0.0000 -
1093.93/1096.66 c 1097 8017 41 1 - 0.0000 -
1099.11/1101.82 c 1102 8060 42 1 - 0.0000 -
1104.79/1107.51 c 1108 8094 40 1 - 0.0000 -
1110.29/1113.03 c 1113 8126 41 1 - 0.0000 -
1115.97/1118.75 c 1119 8170 45 1 - 0.0000 -
1121.45/1124.21 c 1124 8205 37 1 - 0.0000 -
1127.04/1129.87 c 1130 8236 39 1 - 0.0000 -
1132.42/1135.25 c 1135 8270 40 1 - 0.0000 -
1137.81/1140.69 c 1141 8324 45 1 - 0.0000 -
1143.49/1146.31 c 1146 8367 41 1 - 0.0000 -
1148.79/1151.61 c 1152 8398 42 1 - 0.0000 -
1154.07/1156.98 c 1157 8454 43 1 - 0.0000 -
1160.25/1163.18 c 1163 8486 39 1 - 0.0000 -
1166.13/1169.00 c 1169 8529 40 1 - 0.0000 -
1171.72/1174.64 c 1175 8570 39 1 - 0.0000 -
1177.31/1180.22 c 1180 8602 41 1 - 0.0000 -
1182.89/1185.89 c 1186 8641 42 1 - 0.0000 -
1188.18/1191.19 c 1191 8671 44 1 - 0.0000 -
1194.26/1197.24 c 1197 8722 47 1 - 0.0000 -
1199.55/1202.54 c 1203 8779 44 1 - 0.0000 -
1204.94/1207.91 c 1208 8844 43 1 - 0.0000 -
1210.52/1213.58 c 1214 8898 43 1 - 0.0000 -
1215.61/1218.68 c 1219 8927 43 1 - 0.0000 -
1221.19/1224.23 c 1224 8974 46 1 - 0.0000 -
1226.88/1229.90 c 1230 9016 45 1 - 0.0000 -
1232.47/1235.50 c 1236 9064 46 1 - 0.0000 -
1237.65/1240.72 c 1241 9113 47 1 - 0.0000 -
1243.04/1246.14 c 1246 9154 46 1 - 0.0000 -
1248.32/1251.49 c 1251 9214 44 1 - 0.0000 -
1254.01/1257.10 c 1257 9254 46 1 - 0.0000 -
1259.39/1262.54 c 1263 9296 46 1 - 0.0000 -
1265.37/1268.54 c 1269 9330 40 1 - 0.0000 -
1270.46/1273.67 c 1274 9349 43 1 - 0.0000 -
1276.54/1279.74 c 1280 9391 43 1 - 0.0000 -
1282.32/1285.54 c 1286 9426 42 1 - 0.0000 -
1288.40/1291.60 c 1292 9473 45 1 - 0.0000 -
1294.09/1297.30 c 1297 9511 41 1 - 0.0000 -
1299.48/1302.75 c 1303 9580 46 1 - 0.0000 -
1304.77/1308.07 c 1308 9626 46 1 - 0.0000 -
1310.55/1313.80 c 1314 9673 45 1 - 0.0000 -
1315.93/1319.21 c 1319 9723 43 1 - 0.0000 -
1321.32/1324.66 c 1325 9774 48 1 - 0.0000 -
1326.90/1330.26 c 1330 9820 43 1 - 0.0000 -
1332.39/1335.77 c 1336 9857 48 1 - 0.0000 -
1337.68/1341.05 c 1341 9901 43 1 - 0.0000 -
1343.36/1346.71 c 1347 9945 43 1 - 0.0000 -
1348.84/1352.25 c 1352 9997 43 1 - 0.0000 -
1354.22/1357.70 c 1358 10078 47 1 - 0.0000 -
1359.81/1363.24 c 1363 10140 45 1 - 0.0000 -
1365.99/1369.43 c 1369 10186 45 1 - 0.0000 -
1371.77/1375.20 c 1375 10215 46 1 - 0.0000 -
1377.36/1380.84 c 1381 10255 48 1 - 0.0000 -
1382.84/1386.39 c 1386 10300 49 1 - 0.0000 -
1388.33/1391.88 c 1392 10341 48 1 - 0.0000 -
1394.11/1397.67 c 1398 10376 45 1 - 0.0000 -
1400.09/1403.63 c 1404 10413 42 1 - 0.0000 -
1405.88/1409.41 c 1409 10462 42 1 - 0.0000 -
1411.57/1415.11 c 1415 10489 44 1 - 0.0000 -
1417.24/1420.80 c 1421 10588 43 1 - 0.0000 -
1422.44/1426.10 c 1426 10667 42 1 - 0.0000 -
1427.82/1431.45 c 1431 10734 43 1 - 0.0000 -
1433.20/1436.86 c 1437 10805 48 1 - 0.0000 -
1438.59/1442.22 c 1442 10874 44 1 - 0.0000 -
1444.17/1447.89 c 1448 10922 42 1 - 0.0000 -
1449.66/1453.31 c 1453 10981 42 1 - 0.0000 -
1455.14/1458.82 c 1459 11029 42 1 - 0.0000 -
1460.43/1464.16 c 1464 11080 45 1 - 0.0000 -
1465.71/1469.48 c 1469 11131 44 1 - 0.0000 -
1471.40/1475.17 c 1475 11173 44 1 - 0.0000 -
1476.78/1480.53 c 1481 11217 42 1 - 0.0000 -
1482.17/1485.97 c 1486 11262 43 1 - 0.0000 -
1487.66/1491.45 c 1491 11307 42 1 - 0.0000 -
1492.95/1496.72 c 1497 11356 39 1 - 0.0000 -
1498.54/1502.32 c 1502 11388 48 1 - 0.0000 -
1503.63/1507.45 c 1507 11451 45 1 - 0.0000 -
1509.02/1512.83 c 1513 11499 43 1 - 0.0000 -
1514.61/1518.45 c 1518 11545 43 1 - 0.0000 -
1519.69/1523.56 c 1524 11617 47 1 - 0.0000 -
1525.08/1528.96 c 1529 11681 43 1 - 0.0000 -
1530.47/1534.30 c 1534 11749 47 1 - 0.0000 -
1535.76/1539.67 c 1540 11818 45 1 - 0.0000 -
1541.64/1545.57 c 1546 11860 43 1 - 0.0000 -
1547.33/1551.25 c 1551 11902 45 1 - 0.0000 -
1552.42/1556.39 c 1556 11980 49 1 - 0.0000 -
1557.71/1561.66 c 1562 12060 46 1 - 0.0000 -
1563.00/1566.90 c 1567 12136 48 1 - 0.0000 -
1568.28/1572.23 c 1572 12222 45 1 - 0.0000 -
1573.47/1577.45 c 1577 12300 47 1 - 0.0000 -
1578.56/1582.59 c 1583 12360 47 1 - 0.0000 -
1584.25/1588.26 c 1588 12405 41 1 - 0.0000 -
1589.93/1593.97 c 1594 12451 40 1 - 0.0000 -
1595.12/1599.14 c 1599 12527 42 1 - 0.0000 -
1600.31/1604.34 c 1604 12585 44 1 - 0.0000 -
1605.70/1609.75 c 1610 12646 47 1 - 0.0000 -
1611.09/1615.15 c 1615 12713 44 1 - 0.0000 -
1616.27/1620.30 c 1620 12778 45 1 - 0.0000 -
1621.56/1625.68 c 1626 12849 48 1 - 0.0000 -
1626.85/1630.91 c 1631 12932 47 1 - 0.0000 -
1632.04/1636.11 c 1636 12988 45 1 - 0.0000 -
1637.63/1641.73 c 1642 13028 41 1 - 0.0000 -
1643.12/1647.20 c 1647 13070 39 1 - 0.0000 -
1648.50/1652.67 c 1653 13124 41 1 - 0.0000 -
1653.79/1657.96 c 1658 13198 43 1 - 0.0000 -
1659.58/1663.71 c 1664 13268 43 1 - 0.0000 -
1664.87/1669.05 c 1669 13339 46 1 - 0.0000 -
1670.25/1674.46 c 1674 13408 43 1 - 0.0000 -
1675.64/1679.83 c 1680 13460 47 1 - 0.0000 -
1680.83/1685.05 c 1685 13516 45 1 - 0.0000 -
1686.32/1690.58 c 1691 13574 47 1 - 0.0000 -
1691.50/1695.72 c 1696 13635 46 1 - 0.0000 -
1696.69/1700.99 c 1701 13702 44 1 - 0.0000 -
1702.28/1706.54 c 1707 13767 47 1 - 0.0000 -
1707.47/1711.78 c 1712 13843 47 1 - 0.0000 -
1712.95/1717.26 c 1717 13915 47 1 - 0.0000 -
1718.34/1722.66 c 1723 13991 51 1 - 0.0000 -
1723.63/1727.99 c 1728 14059 47 1 - 0.0000 -
1729.11/1733.43 c 1733 14115 45 1 - 0.0000 -
1734.40/1738.71 c 1739 14193 47 1 - 0.0000 -
1739.59/1743.96 c 1744 14252 42 1 - 0.0000 -
1744.98/1749.34 c 1749 14298 42 1 - 0.0000 -
1750.27/1754.66 c 1755 14354 44 1 - 0.0000 -
1755.76/1760.12 c 1760 14402 42 1 - 0.0000 -
1761.25/1765.60 c 1766 14441 41 1 - 0.0000 -
1766.53/1770.90 c 1771 14485 43 1 - 0.0000 -
1772.12/1776.53 c 1777 14540 41 1 - 0.0000 -
1777.51/1781.92 c 1782 14590 39 1 - 0.0000 -
1783.09/1787.51 c 1788 14664 41 1 - 0.0000 -
1788.28/1792.71 c 1793 14733 39 1 - 0.0000 -
1793.87/1798.32 c 1798 14779 43 1 - 0.0000 -
1799.46/1803.90 c 1804 14837 41 1 - 0.0000 -
1804.84/1809.32 c 1809 14882 40 1 - 0.0000 -
1810.13/1814.67 c 1815 14945 43 1 - 0.0000 -
1815.52/1820.04 c 1820 15004 42 1 - 0.0000 -
1820.71/1825.25 c 1825 15047 38 1 - 0.0000 -
1825.70/1830.29 c 1830 15077 42 1 - 0.0000 -
1831.19/1835.77 c 1836 15130 42 1 - 0.0000 -
1836.48/1841.02 c 1841 15178 44 1 - 0.0000 -
1841.77/1846.32 c 1846 15223 43 1 - 0.0000 -
1847.05/1851.66 c 1852 15282 41 1 - 0.0000 -
1852.55/1857.14 c 1857 15335 40 1 - 0.0000 -
1857.93/1862.57 c 1863 15391 46 1 - 0.0000 -
1863.52/1868.13 c 1868 15447 47 1 - 0.0000 -
1868.80/1873.47 c 1873 15505 44 1 - 0.0000 -
1874.09/1878.71 c 1879 15557 46 1 - 0.0000 -
1879.58/1884.25 c 1884 15610 45 1 - 0.0000 -
1885.47/1890.11 c 1890 15666 46 1 - 0.0000 -
1890.85/1895.56 c 1896 15710 46 1 - 0.0000 -
1896.14/1900.83 c 1901 15762 47 1 - 0.0000 -
1901.53/1906.27 c 1906 15809 44 1 - 0.0000 -
1907.01/1911.74 c 1912 15853 46 1 - 0.0000 -
1912.41/1917.11 c 1917 15909 46 1 - 0.0000 -
1917.89/1922.61 c 1923 15963 43 1 - 0.0000 -
1923.28/1928.01 c 1928 16003 45 1 - 0.0000 -
1928.56/1933.31 c 1933 16042 46 1 - 0.0000 -
1934.05/1938.83 c 1939 16098 44 1 - 0.0000 -
1939.65/1944.48 c 1944 16146 46 1 - 0.0000 -
1945.04/1949.88 c 1950 16193 45 1 - 0.0000 -
1950.33/1955.18 c 1955 16236 46 1 - 0.0000 -
1955.71/1960.55 c 1961 16278 48 1 - 0.0000 -
1961.10/1965.95 c 1966 16325 47 1 - 0.0000 -
1966.39/1971.28 c 1971 16365 43 1 - 0.0000 -
1971.67/1976.53 c 1977 16417 41 1 - 0.0000 -
1976.86/1981.71 c 1982 16457 45 1 - 0.0000 -
1982.16/1987.01 c 1987 16501 45 1 - 0.0000 -
1987.44/1992.32 c 1992 16557 45 1 - 0.0000 -
1993.03/1997.90 c 1998 16597 45 1 - 0.0000 -
1998.22/2003.17 c 2003 16636 48 1 - 0.0000 -
2003.80/2008.72 c 2009 16679 47 1 - 0.0000 -
2009.29/2014.20 c 2014 16731 43 1 - 0.0000 -
2014.58/2019.51 c 2020 16778 42 1 - 0.0000 -
2019.96/2024.90 c 2025 16819 45 1 - 0.0000 -
2025.45/2030.49 c 2030 16860 44 1 - 0.0000 -
2030.84/2035.84 c 2036 16908 45 1 - 0.0000 -
2036.53/2041.50 c 2042 16960 44 1 - 0.0000 -
2041.91/2046.98 c 2047 17002 44 1 - 0.0000 -
2047.41/2052.45 c 2052 17056 46 1 - 0.0000 -
2052.79/2057.88 c 2058 17107 47 1 - 0.0000 -
2058.38/2063.45 c 2063 17157 47 1 - 0.0000 -
2063.67/2068.71 c 2069 17210 50 1 - 0.0000 -
2069.26/2074.30 c 2074 17282 48 1 - 0.0000 -
2074.54/2079.61 c 2080 17337 47 1 - 0.0000 -
2080.13/2085.20 c 2085 17392 46 1 - 0.0000 -
2085.32/2090.49 c 2090 17434 46 1 - 0.0000 -
2090.61/2095.75 c 2096 17475 47 1 - 0.0000 -
2096.09/2101.28 c 2101 17513 45 1 - 0.0000 -
2101.38/2106.59 c 2107 17575 45 1 - 0.0000 -
2106.77/2111.99 c 2112 17627 45 1 - 0.0000 -
2112.36/2117.53 c 2118 17686 48 1 - 0.0000 -
2117.64/2122.82 c 2123 17753 45 1 - 0.0000 -
2122.94/2128.15 c 2128 17816 52 1 - 0.0000 -
2128.32/2133.58 c 2134 17880 52 1 - 0.0000 -
2133.71/2138.99 c 2139 17957 51 1 - 0.0000 -
2138.99/2144.25 c 2144 18020 48 1 - 0.0000 -
2144.48/2149.76 c 2150 18074 48 1 - 0.0000 -
2150.07/2155.30 c 2155 18125 45 1 - 0.0000 -
2155.35/2160.65 c 2161 18176 50 1 - 0.0000 -
2160.65/2165.99 c 2166 18233 48 1 - 0.0000 -
2166.04/2171.37 c 2171 18294 49 1 - 0.0000 -
2171.53/2176.83 c 2177 18351 50 1 - 0.0000 -
2176.82/2182.15 c 2182 18415 50 1 - 0.0000 -
2182.00/2187.39 c 2187 18464 49 1 - 0.0000 -
2187.59/2192.92 c 2193 18517 48 1 - 0.0000 -
2193.07/2198.48 c 2198 18563 46 1 - 0.0000 -
2198.46/2203.81 c 2204 18619 48 1 - 0.0000 -
2204.05/2209.42 c 2209 18679 50 1 - 0.0000 -
2209.24/2214.66 c 2215 18736 49 1 - 0.0000 -
2214.63/2220.06 c 2220 18801 50 1 - 0.0000 -
2220.11/2225.56 c 2226 18868 49 1 - 0.0000 -
2225.40/2230.88 c 2231 18925 48 1 - 0.0000 -
2230.89/2236.34 c 2236 18975 48 1 - 0.0000 -
2236.17/2241.69 c 2242 19022 47 1 - 0.0000 -
2241.76/2247.23 c 2247 19069 44 1 - 0.0000 -
2247.05/2252.54 c 2253 19112 45 1 - 0.0000 -
2252.44/2257.91 c 2258 19175 44 1 - 0.0000 -
2257.72/2263.22 c 2263 19215 46 1 - 0.0000 -
2263.01/2268.53 c 2269 19267 46 1 - 0.0000 -
2268.31/2273.82 c 2274 19309 44 1 - 0.0000 -
2274.00/2279.56 c 2280 19360 43 1 - 0.0000 -
2279.38/2284.91 c 2285 19409 42 1 - 0.0000 -
2284.77/2290.35 c 2290 19452 43 1 - 0.0000 -
2290.26/2295.83 c 2296 19494 43 1 - 0.0000 -
2295.85/2301.43 c 2301 19543 44 1 - 0.0000 -
2301.23/2306.82 c 2307 19593 46 1 - 0.0000 -
2306.43/2312.09 c 2312 19639 44 1 - 0.0000 -
2312.01/2317.64 c 2318 19691 42 1 - 0.0000 -
2317.69/2323.30 c 2323 19738 43 1 - 0.0000 -
2322.98/2328.64 c 2329 19796 39 1 - 0.0000 -
2328.27/2333.90 c 2334 19848 43 1 - 0.0000 -
2333.56/2339.21 c 2339 19897 42 1 - 0.0000 -
2338.85/2344.59 c 2345 19942 43 1 - 0.0000 -
2344.23/2349.90 c 2350 19994 41 1 - 0.0000 -
2349.52/2355.28 c 2355 20050 41 1 - 0.0000 -
2355.11/2360.84 c 2361 20107 40 1 - 0.0000 -
2360.40/2366.19 c 2366 20152 43 1 - 0.0000 -
2365.78/2371.52 c 2372 20197 42 1 - 0.0000 -
2371.28/2377.05 c 2377 20245 48 1 - 0.0000 -
2376.66/2382.44 c 2382 20285 46 1 - 0.0000 -
2382.05/2387.88 c 2388 20331 42 1 - 0.0000 -
2387.73/2393.55 c 2394 20376 47 1 - 0.0000 -
2393.02/2398.80 c 2399 20428 47 1 - 0.0000 -
2398.41/2404.26 c 2404 20469 46 1 - 0.0000 -
2403.80/2409.66 c 2410 20508 45 1 - 0.0000 -
2409.20/2415.02 c 2415 20548 43 1 - 0.0000 -
2414.78/2420.62 c 2421 20585 42 1 - 0.0000 -
2420.07/2425.93 c 2426 20620 43 1 - 0.0000 -
2425.85/2431.76 c 2432 20658 43 1 - 0.0000 -
2431.15/2437.09 c 2437 20705 48 1 - 0.0000 -
2436.43/2442.34 c 2442 20761 46 1 - 0.0000 -
2441.72/2447.60 c 2448 20813 46 1 - 0.0000 -
2446.91/2452.87 c 2453 20874 44 1 - 0.0000 -
2452.39/2458.39 c 2458 20929 45 1 - 0.0000 -
2458.08/2464.02 c 2464 20970 48 1 - 0.0000 -
2463.47/2469.42 c 2469 21015 47 1 - 0.0000 -
2469.06/2475.06 c 2475 21062 46 1 - 0.0000 -
2474.54/2480.59 c 2481 21103 47 1 - 0.0000 -
2479.93/2485.90 c 2486 21151 43 1 - 0.0000 -
2486.31/2492.32 c 2492 21200 52 1 - 0.0000 -
2491.70/2497.77 c 2498 21266 50 1 - 0.0000 -
2497.10/2503.11 c 2503 21319 49 1 - 0.0000 -
2502.58/2508.64 c 2509 21365 49 1 - 0.0000 -
2507.86/2513.93 c 2514 21420 49 1 - 0.0000 -
2513.25/2519.32 c 2519 21474 51 1 - 0.0000 -
2518.74/2524.83 c 2525 21533 50 1 - 0.0000 -
2524.13/2530.28 c 2530 21593 48 1 - 0.0000 -
2529.41/2535.54 c 2536 21649 50 1 - 0.0000 -
2534.70/2540.86 c 2541 21714 51 1 - 0.0000 -
2540.19/2546.35 c 2546 21780 49 1 - 0.0000 -
2545.57/2551.77 c 2552 21838 47 1 - 0.0000 -
2550.88/2557.05 c 2557 21890 51 1 - 0.0000 -
2556.06/2562.29 c 2562 21938 45 1 - 0.0000 -
2561.45/2567.68 c 2568 21977 48 1 - 0.0000 -
2566.73/2572.94 c 2573 22023 50 1 - 0.0000 -
2572.12/2578.35 c 2578 22068 45 1 - 0.0000 -
2577.51/2583.78 c 2584 22104 45 1 - 0.0000 -
2583.19/2589.42 c 2589 22156 43 1 - 0.0000 -
2588.79/2595.07 c 2595 22196 47 1 - 0.0000 -
2594.67/2600.93 c 2601 22243 46 1 - 0.0000 -
2600.05/2606.34 c 2606 22287 46 1 - 0.0000 -
2605.24/2611.55 c 2612 22341 48 1 - 0.0000 -
2610.63/2616.94 c 2617 22383 52 1 - 0.0000 -
2616.42/2622.70 c 2623 22432 49 1 - 0.0000 -
2621.60/2627.93 c 2628 22486 51 1 - 0.0000 -
2626.99/2633.37 c 2633 22546 49 1 - 0.0000 -
2632.48/2638.89 c 2639 22600 51 1 - 0.0000 -
2637.86/2644.24 c 2644 22655 50 1 - 0.0000 -
2643.06/2649.40 c 2649 22715 50 1 - 0.0000 -
2648.15/2654.53 c 2655 22767 50 1 - 0.0000 -
2653.44/2659.84 c 2660 22820 47 1 - 0.0000 -
2659.12/2665.55 c 2666 22865 44 1 - 0.0000 -
2664.41/2670.88 c 2671 22900 43 1 - 0.0000 -
2669.99/2676.42 c 2676 22945 50 1 - 0.0000 -
2675.28/2681.72 c 2682 23011 50 1 - 0.0000 -
2680.47/2686.90 c 2687 23069 48 1 - 0.0000 -
2685.76/2692.22 c 2692 23138 47 1 - 0.0000 -
2691.04/2697.55 c 2698 23199 48 1 - 0.0000 -
2696.33/2702.80 c 2703 23250 48 1 - 0.0000 -
2701.42/2707.99 c 2708 23305 47 1 - 0.0000 -
2706.81/2713.34 c 2713 23360 46 1 - 0.0000 -
2712.10/2718.60 c 2719 23408 46 1 - 0.0000 -
2717.49/2724.03 c 2724 23458 46 1 - 0.0000 -
2722.87/2729.41 c 2729 23508 44 1 - 0.0000 -
2728.16/2734.75 c 2735 23551 47 1 - 0.0000 -
2734.04/2740.69 c 2741 23594 46 1 - 0.0000 -
2739.43/2746.08 c 2746 23639 47 1 - 0.0000 -
2744.92/2751.56 c 2752 23694 48 1 - 0.0000 -
2750.30/2756.93 c 2757 23750 46 1 - 0.0000 -
2755.99/2762.62 c 2763 23791 45 1 - 0.0000 -
2761.78/2768.42 c 2768 23837 45 1 - 0.0000 -
2767.37/2774.03 c 2774 23876 48 1 - 0.0000 -
2772.85/2779.53 c 2780 23929 43 1 - 0.0000 -
2778.05/2784.76 c 2785 23969 43 1 - 0.0000 -
2783.34/2790.05 c 2790 24022 46 1 - 0.0000 -
2788.82/2795.55 c 2796 24081 48 1 - 0.0000 -
2794.31/2801.04 c 2801 24143 47 1 - 0.0000 -
2799.69/2806.40 c 2806 24193 45 1 - 0.0000 -
2804.88/2811.67 c 2812 24249 46 1 - 0.0000 -
2810.27/2817.01 c 2817 24291 46 1 - 0.0000 -
2815.46/2822.24 c 2822 24344 47 1 - 0.0000 -
2820.64/2827.46 c 2827 24392 47 1 - 0.0000 -
2826.03/2832.82 c 2833 24449 48 1 - 0.0000 -
2831.23/2838.06 c 2838 24501 48 1 - 0.0000 -
2836.51/2843.31 c 2843 24554 45 1 - 0.0000 -
2841.90/2848.73 c 2849 24606 43 1 - 0.0000 -
2847.48/2854.32 c 2854 24665 47 1 - 0.0000 -
2852.87/2859.70 c 2860 24709 42 1 - 0.0000 -
2858.46/2865.39 c 2865 24761 46 1 - 0.0000 -
2863.65/2870.55 c 2871 24803 45 1 - 0.0000 -
2869.14/2876.10 c 2876 24845 43 1 - 0.0000 -
2874.62/2881.55 c 2882 24886 43 1 - 0.0000 -
2880.31/2887.23 c 2887 24929 41 1 - 0.0000 -
2885.90/2892.89 c 2893 24964 39 1 - 0.0000 -
2891.49/2898.44 c 2898 25007 42 1 - 0.0000 -
2896.78/2903.78 c 2904 25042 43 1 - 0.0000 -
2902.17/2909.16 c 2909 25082 43 1 - 0.0000 -
2907.55/2914.54 c 2915 25127 42 1 - 0.0000 -
2912.94/2919.98 c 2920 25170 43 1 - 0.0000 -
2918.42/2925.44 c 2925 25217 42 1 - 0.0000 -
2923.91/2930.99 c 2931 25267 44 1 - 0.0000 -
2929.30/2936.31 c 2936 25312 43 1 - 0.0000 -
2934.69/2941.74 c 2942 25353 42 1 - 0.0000 -
2940.67/2947.70 c 2948 25398 45 1 - 0.0000 -
2946.36/2953.42 c 2953 25456 39 1 - 0.0000 -
2951.74/2958.86 c 2959 25503 40 1 - 0.0000 -
2957.43/2964.56 c 2965 25542 41 1 - 0.0000 -
2963.22/2970.33 c 2970 25586 39 1 - 0.0000 -
2968.40/2975.55 c 2976 25621 44 1 - 0.0000 -
2973.69/2980.84 c 2981 25670 47 1 - 0.0000 -
2978.78/2985.99 c 2986 25715 44 1 - 0.0000 -
2984.27/2991.41 c 2991 25750 41 1 - 0.0000 -
2989.66/2996.87 c 2997 25800 39 1 - 0.0000 -
2995.14/3002.34 c 3002 25844 39 1 - 0.0000 -
3001.13/3008.32 c 3008 25880 47 1 - 0.0000 -
3006.52/3013.74 c 3014 25925 48 1 - 0.0000 -
3011.82/3019.06 c 3019 25992 48 1 - 0.0000 -
3017.40/3024.61 c 3025 26054 48 1 - 0.0000 -
3022.89/3030.10 c 3030 26112 46 1 - 0.0000 -
3027.97/3035.28 c 3035 26167 45 1 - 0.0000 -
3033.36/3040.63 c 3041 26226 44 1 - 0.0000 -
3038.75/3046.05 c 3046 26287 46 1 - 0.0000 -
3044.04/3051.31 c 3051 26340 49 1 - 0.0000 -
3049.42/3056.71 c 3057 26410 47 1 - 0.0000 -
3055.11/3062.45 c 3062 26438 53 1 - 0.0000 -
3060.30/3067.68 c 3068 26500 52 1 - 0.0000 -
3065.69/3073.07 c 3073 26568 51 1 - 0.0000 -
3071.27/3078.66 c 3079 26624 49 1 - 0.0000 -
3076.76/3084.17 c 3084 26678 53 1 - 0.0000 -
3082.04/3089.49 c 3089 26726 51 1 - 0.0000 -
3087.53/3094.92 c 3095 26772 51 1 - 0.0000 -
3093.12/3100.50 c 3100 26825 54 1 - 0.0000 -
3098.31/3105.78 c 3106 26872 57 1 - 0.0000 -
3103.80/3111.25 c 3111 26931 53 1 - 0.0000 -
3109.29/3116.74 c 3117 26988 52 1 - 0.0000 -
3114.88/3122.36 c 3122 27048 52 1 - 0.0000 -
3120.17/3127.64 c 3128 27102 50 1 - 0.0000 -
3125.56/3133.06 c 3133 27150 52 1 - 0.0000 -
3131.04/3138.53 c 3139 27192 52 1 - 0.0000 -
3136.53/3144.02 c 3144 27236 54 1 - 0.0000 -
3142.11/3149.67 c 3150 27281 54 1 - 0.0000 -
3148.10/3155.62 c 3156 27328 49 1 - 0.0000 -
3153.49/3161.06 c 3161 27370 49 1 - 0.0000 -
3158.87/3166.41 c 3166 27421 50 1 - 0.0000 -
3164.47/3172.01 c 3172 27461 50 1 - 0.0000 -
3169.85/3177.40 c 3177 27509 49 1 - 0.0000 -
3175.24/3182.88 c 3183 27552 50 1 - 0.0000 -
3180.62/3188.25 c 3188 27600 56 1 - 0.0000 -
3186.01/3193.61 c 3194 27649 57 1 - 0.0000 -
3191.20/3198.82 c 3199 27732 58 1 - 0.0000 -
3196.68/3204.31 c 3204 27797 53 1 - 0.0000 -
3202.67/3210.31 c 3210 27838 53 1 - 0.0000 -
3208.26/3215.98 c 3216 27871 56 1 - 0.0000 -
3213.64/3221.30 c 3221 27913 58 1 - 0.0000 -
3218.84/3226.51 c 3227 27978 55 1 - 0.0000 -
3224.23/3231.90 c 3232 28047 55 1 - 0.0000 -
3229.72/3237.42 c 3237 28092 56 1 - 0.0000 -
3235.10/3242.83 c 3243 28147 57 1 - 0.0000 -
3240.59/3248.34 c 3248 28186 58 1 - 0.0000 -
3245.98/3253.75 c 3254 28244 56 1 - 0.0000 -
3251.17/3258.99 c 3259 28298 58 1 - 0.0000 -
3256.85/3264.60 c 3265 28351 55 1 - 0.0000 -
3262.25/3270.06 c 3270 28400 56 1 - 0.0000 -
3267.83/3275.69 c 3276 28463 56 1 - 0.0000 -
3273.32/3281.19 c 3281 28503 56 1 - 0.0000 -
3278.50/3286.32 c 3286 28564 57 1 - 0.0000 -
3283.79/3291.63 c 3292 28622 55 1 - 0.0000 -
3288.98/3296.81 c 3297 28676 58 1 - 0.0000 -
3294.17/3302.07 c 3302 28734 58 1 - 0.0000 -
3299.35/3307.27 c 3307 28790 56 1 - 0.0000 -
3304.84/3312.71 c 3313 28865 56 1 - 0.0000 -
3310.13/3318.06 c 3318 28915 55 1 - 0.0000 -
3315.71/3323.62 c 3324 28958 56 1 - 0.0000 -
3321.00/3328.91 c 3329 29016 54 1 - 0.0000 -
3326.29/3334.23 c 3334 29063 55 1 - 0.0000 -
3331.47/3339.49 c 3339 29110 54 1 - 0.0000 -
3337.17/3345.15 c 3345 29149 55 1 - 0.0000 -
3342.75/3350.77 c 3351 29198 54 1 - 0.0000 -
3348.63/3356.63 c 3357 29237 55 1 - 0.0000 -
3354.13/3362.17 c 3362 29273 53 1 - 0.0000 -
3359.81/3367.81 c 3368 29309 53 1 - 0.0000 -
3365.20/3373.24 c 3373 29363 55 1 - 0.0000 -
3370.99/3379.05 c 3379 29423 55 1 - 0.0000 -
3376.67/3384.78 c 3385 29479 55 1 - 0.0000 -
3382.06/3390.11 c 3390 29533 59 1 - 0.0000 -
3387.34/3395.45 c 3395 29594 56 1 - 0.0000 -
3392.63/3400.73 c 3401 29642 58 1 - 0.0000 -
3397.92/3406.07 c 3406 29682 56 1 - 0.0000 -
3403.21/3411.36 c 3411 29748 64 1 - 0.0000 -
3408.69/3416.85 c 3417 29802 60 1 - 0.0000 -
3413.99/3422.12 c 3422 29856 58 1 - 0.0000 -
3419.37/3427.57 c 3428 29904 55 1 - 0.0000 -
3424.86/3433.10 c 3433 29959 54 1 - 0.0000 -
3430.24/3438.41 c 3438 30003 54 1 - 0.0000 -
3435.63/3443.83 c 3444 30055 53 1 - 0.0000 -
3441.12/3449.34 c 3449 30098 58 1 - 0.0000 -
3446.41/3454.67 c 3455 30161 58 1 - 0.0000 -
3452.10/3460.32 c 3460 30219 56 1 - 0.0000 -
3457.59/3465.87 c 3466 30279 58 1 - 0.0000 -
3463.07/3471.30 c 3471 30353 62 1 - 0.0000 -
3468.26/3476.53 c 3477 30419 59 1 - 0.0000 -
3473.45/3481.72 c 3482 30470 54 1 - 0.0000 -
3478.64/3486.98 c 3487 30529 55 1 - 0.0000 -
3484.02/3492.35 c 3492 30583 57 1 - 0.0000 -
3489.41/3497.78 c 3498 30639 55 1 - 0.0000 -
3494.90/3503.25 c 3503 30702 56 1 - 0.0000 -
3500.19/3508.56 c 3509 30769 55 1 - 0.0000 -
3505.68/3514.05 c 3514 30826 54 1 - 0.0000 -
3510.96/3519.37 c 3519 30879 55 1 - 0.0000 -
3516.35/3524.79 c 3525 30930 52 1 - 0.0000 -
3521.64/3530.09 c 3530 30984 62 1 - 0.0000 -
3527.02/3535.44 c 3535 31049 59 1 - 0.0000 -
3532.31/3540.70 c 3541 31110 59 1 - 0.0000 -
3537.50/3545.99 c 3546 31185 58 1 - 0.0000 -
3542.98/3551.49 c 3551 31256 55 1 - 0.0000 -
3548.58/3557.05 c 3557 31327 58 1 - 0.0000 -
3553.86/3562.33 c 3562 31388 58 1 - 0.0000 -
3559.04/3567.58 c 3568 31453 59 1 - 0.0000 -
3564.54/3573.02 c 3573 31517 65 1 - 0.0000 -
3569.82/3578.31 c 3578 31587 65 1 - 0.0000 -
3575.12/3583.63 c 3584 31658 63 1 - 0.0000 -
3580.40/3588.96 c 3589 31716 62 1 - 0.0000 -
3585.60/3594.15 c 3594 31776 58 1 - 0.0000 -
3589.48/3598.03 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.48/3598.03 c Total Time : 3598.0300
3589.48/3598.03 c solving : 3598.0300
3589.48/3598.03 c presolving : 2.5498 (included in solving)
3589.48/3598.03 c B&B Tree :
3589.48/3598.03 c nodes (total) : 1
3589.48/3598.03 c Solution :
3589.48/3598.03 c Solutions found : 0
3589.48/3598.03 c Primal Bound : -
3589.48/3598.03 c Dual Bound : +0.00000000000000e+00
3589.48/3598.03 c Gap : -
3589.48/3598.04 s UNKNOWN
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: 63931 MiB (56614 MiB free)
memory of node 1: 64510 MiB (62701 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464469-1722385794/watcher-4464469-1722385794 -o /tmp/evaluation-result-4464469-1722385794/solver-4464469-1722385794 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722378594-30699 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464469-1722385794.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=35654, runsolver pid=35651
[startup+0.100891 s]*
/proc/loadavg: 4.09 4.11 4.09 5/261 35655
/proc/meminfo: memFree=122153868/131524600 swapFree=131071996/131071996
[pid=35654] ppid=35651 vsize=45680 memory=34768 CPUtime=0.09 cores=5,7
/proc/35654/stat : 35654 (fscip) R 35651 35654 30686 0 -1 4194304 6701 0 0 0 9 0 0 0 20 0 1 0 5176811 46776320 8692 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
/proc/35654/statm: 11420 8692 2662 3035 0 7816 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45680 KiB
Current children cumulated memory: 34768 KiB
[startup+0.205847 s]*
/proc/loadavg: 4.09 4.11 4.09 5/261 35655
/proc/meminfo: memFree=122151300/131524600 swapFree=131071996/131071996
[pid=35654] ppid=35651 vsize=48372 memory=37736 CPUtime=0.2 cores=5,7
/proc/35654/stat : 35654 (fscip) R 35651 35654 30686 0 -1 4194304 7570 0 0 0 19 1 0 0 20 0 1 0 5176811 49532928 9434 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
/proc/35654/statm: 12093 9434 2742 3035 0 8489 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48372 KiB
Current children cumulated memory: 37736 KiB
[startup+0.305737 s]*
/proc/loadavg: 4.09 4.11 4.09 5/261 35655
/proc/meminfo: memFree=122142088/131524600 swapFree=131071996/131071996
[pid=35654] ppid=35651 vsize=59148 memory=46892 CPUtime=0.3 cores=5,7
/proc/35654/stat : 35654 (fscip) R 35651 35654 30686 0 -1 4194304 9899 0 0 0 29 1 0 0 20 0 1 0 5176811 60567552 11723 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
/proc/35654/statm: 14787 11723 2758 3035 0 11183 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 59148 KiB
Current children cumulated memory: 46892 KiB
[startup+0.700238 s]
/proc/loadavg: 4.09 4.11 4.09 5/261 35655
/proc/meminfo: memFree=122141940/131524600 swapFree=131071996/131071996
[pid=35654] ppid=35651 vsize=59312 memory=46892 CPUtime=0.68 cores=5,7
/proc/35654/stat : 35654 (fscip) R 35651 35654 30686 0 -1 4194304 9939 0 0 0 67 1 0 0 20 0 1 0 5176811 60735488 11723 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
/proc/35654/statm: 14828 11723 2758 3035 0 11224 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 59312 KiB
Current children cumulated memory: 46892 KiB
[startup+1.50023 s]
/proc/loadavg: 4.09 4.11 4.09 5/261 35655
/proc/meminfo: memFree=122140136/131524600 swapFree=131071996/131071996
[pid=35654] ppid=35651 vsize=60856 memory=48472 CPUtime=1.48 cores=5,7
/proc/35654/stat : 35654 (fscip) R 35651 35654 30686 0 -1 4194304 10296 0 0 0 147 1 0 0 20 0 1 0 5176811 62316544 12118 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
/proc/35654/statm: 15214 12118 2758 3035 0 11610 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 60856 KiB
Current children cumulated memory: 48472 KiB
[startup+3.10575 s]
/proc/loadavg: 4.16 4.13 4.09 5/263 35657
/proc/meminfo: memFree=122083528/131524600 swapFree=131071996/131071996
[pid=35654] ppid=35651 vsize=184256 memory=103164 CPUtime=3.08 cores=5,7
/proc/35654/stat : 35654 (fscip) S 35651 35654 30686 0 -1 1077936128 24692 0 0 0 305 3 0 0 20 0 3 0 5176811 188678144 25791 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
/proc/35654/statm: 46064 25791 2790 3035 0 32547 0
[pid=35654/tid=35656] ppid=35651 vsize=184256 memory=83708 CPUtime=0.51 cores=5,7
/proc/35654/task/35656/stat : 35656 (fscip) R 35651 35654 30686 0 -1 4194368 8386 0 0 0 50 1 0 0 20 0 3 0 5177068 188678144 25791 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
[pid=35654/tid=35657] ppid=35651 vsize=184256 memory=0 CPUtime=0 cores=5,7
/proc/35654/task/35657/stat : 35657 (fscip) S 35651 35654 30686 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5177070 188678144 25791 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 184256 KiB
Current children cumulated memory: 103164 KiB
[startup+6.30025 s]
/proc/loadavg: 4.16 4.13 4.09 5/263 35658
/proc/meminfo: memFree=122069164/131524600 swapFree=131071996/131071996
[pid=35654] ppid=35651 vsize=185284 memory=118108 CPUtime=6.27 cores=5,7
/proc/35654/stat : 35654 (fscip) S 35651 35654 30686 0 -1 1077936128 33974 0 0 0 623 4 0 0 20 0 3 0 5176811 189730816 29527 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
/proc/35654/statm: 46321 29527 2966 3035 0 36305 0
[pid=35654/tid=35656] ppid=35651 vsize=185284 memory=0 CPUtime=3.7 cores=5,7
/proc/35654/task/35656/stat : 35656 (fscip) R 35651 35654 30686 0 -1 4194368 17663 0 0 0 368 2 0 0 20 0 3 0 5177068 189730816 29527 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
[pid=35654/tid=35657] ppid=35651 vsize=185284 memory=48472 CPUtime=0 cores=5,7
/proc/35654/task/35657/stat : 35657 (fscip) S 35651 35654 30686 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 5177070 189730816 29527 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 185284 KiB
Current children cumulated memory: 118108 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.13 4.09 5/267 35718
/proc/meminfo: memFree=121893640/131524600 swapFree=131071996/131071996
[pid=35654] ppid=35651 vsize=252360 memory=158804 CPUtime=12.65 cores=5,7
/proc/35654/stat : 35654 (fscip) S 35651 35654 30686 0 -1 1077936128 65443 0 0 0 1258 7 0 0 20 0 3 0 5176811 258416640 39701 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
/proc/35654/statm: 63090 39701 2982 3035 0 46957 0
[pid=35654/tid=35656] ppid=35651 vsize=252360 memory=0 CPUtime=10.08 cores=5,7
/proc/35654/task/35656/stat : 35656 (fscip) R 35651 35654 30686 0 -1 4194368 49117 0 0 0 1003 5 0 0 20 0 3 0 5177068 258416640 39701 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
[pid=35654/tid=35657] ppid=35651 vsize=252360 memory=118264 CPUtime=0 cores=5,7
/proc/35654/task/35657/stat : 35657 (fscip) S 35651 35654 30686 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 5177070 258416640 39701 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 252360 KiB
Current children cumulated memory: 158804 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.12 4.09 5/267 35720
/proc/meminfo: memFree=121895864/131524600 swapFree=131071996/131071996
[pid=35654] ppid=35651 vsize=252360 memory=159256 CPUtime=25.41 cores=5,7
/proc/35654/stat : 35654 (fscip) S 35651 35654 30686 0 -1 1077936128 81808 0 0 0 2534 7 0 0 20 0 3 0 5176811 258416640 39814 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
/proc/35654/statm: 63090 39814 2982 3035 0 46957 0
[pid=35654/tid=35656] ppid=35651 vsize=252360 memory=159256 CPUtime=22.84 cores=5,7
/proc/35654/task/35656/stat : 35656 (fscip) R 35651 35654 30686 0 -1 4194368 65473 0 0 0 2279 5 0 0 20 0 3 0 5177068 258416640 39814 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
[pid=35654/tid=35657] ppid=35651 vsize=252360 memory=159252 CPUtime=0 cores=5,7
/proc/35654/task/35657/stat : 35657 (fscip) S 35651 35654 30686 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 5177070 258416640 39814 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 252360 KiB
Current children cumulated memory: 159256 KiB
[startup+51.1056 s]
/proc/loadavg: 4.16 4.13 4.09 5/266 35725
/proc/meminfo: memFree=121797180/131524600 swapFree=131071996/131071996
[pid=35654] ppid=35651 vsize=252360 memory=160784 CPUtime=50.96 cores=5,7
/proc/35654/stat : 35654 (fscip) S 35651 35654 30686 0 -1 1077936128 129866 0 0 0 5084 12 0 0 20 0 3 0 5176811 258416640 40196 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
/proc/35654/statm: 63090 40196 3030 3035 0 49054 0
[pid=35654/tid=35656] ppid=35651 vsize=252360 memory=162184 CPUtime=48.39 cores=5,7
/proc/35654/task/35656/stat : 35656 (fscip) R 35651 35654 30686 0 -1 4194368 113432 0 0 0 4829 10 0 0 20 0 3 0 5177068 258416640 40196 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
[pid=35654/tid=35657] ppid=35651 vsize=252360 memory=11360 CPUtime=0 cores=5,7
/proc/35654/task/35657/stat : 35657 (fscip) S 35651 35654 30686 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 5177070 258416640 40196 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 252360 KiB
Current children cumulated memory: 160784 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/266 35735
/proc/meminfo: memFree=121534620/131524600 swapFree=131071996/131071996
[pid=35654] ppid=35651 vsize=252360 memory=169740 CPUtime=102.02 cores=5,7
/proc/35654/stat : 35654 (fscip) S 35651 35654 30686 0 -1 1077936128 176414 0 0 0 10187 15 0 0 20 0 3 0 5176811 258416640 42435 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
/proc/35654/statm: 63090 42435 3030 3035 0 49541 0
[pid=35654/tid=35656] ppid=35651 vsize=252360 memory=-7234869542979200379 CPUtime=99.45 cores=5,7
/proc/35654/task/35656/stat : 35656 (fscip) R 35651 35654 30686 0 -1 4194368 159893 0 0 0 9932 13 0 0 20 0 3 0 5177068 258416640 42435 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
[pid=35654/tid=35657] ppid=35651 vsize=252360 memory=169316 CPUtime=0 cores=5,7
/proc/35654/task/35657/stat : 35657 (fscip) S 35651 35654 30686 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 5177070 258416640 42435 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 252360 KiB
Current children cumulated memory: 169740 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/266 35746
/proc/meminfo: memFree=121523524/131524600 swapFree=131071996/131071996
[pid=35654] ppid=35651 vsize=252360 memory=177144 CPUtime=161.88 cores=5,7
/proc/35654/stat : 35654 (fscip) S 35651 35654 30686 0 -1 1077936128 210838 0 0 0 16170 18 0 0 20 0 3 0 5176811 258416640 44286 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
/proc/35654/statm: 63090 44286 3030 3035 0 51532 0
[pid=35654/tid=35656] ppid=35651 vsize=252360 memory=172420 CPUtime=159.3 cores=5,7
/proc/35654/task/35656/stat : 35656 (fscip) R 35651 35654 30686 0 -1 4194368 194231 0 0 0 15915 15 0 0 20 0 3 0 5177068 258416640 44286 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
[pid=35654/tid=35657] ppid=35651 vsize=252360 memory=173864 CPUtime=0 cores=5,7
/proc/35654/task/35657/stat : 35657 (fscip) S 35651 35654 30686 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 5177070 258416640 44286 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 252360 KiB
Current children cumulated memory: 177144 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/266 35758
/proc/meminfo: memFree=121517908/131524600 swapFree=131071996/131071996
[pid=35654] ppid=35651 vsize=250820 memory=179372 CPUtime=221.72 cores=5,7
/proc/35654/stat : 35654 (fscip) S 35651 35654 30686 0 -1 1077936128 250954 0 0 0 22151 21 0 0 20 0 3 0 5176811 256839680 44843 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
/proc/35654/statm: 62705 44843 3030 3035 0 51675 0
[pid=35654/tid=35656] ppid=35651 vsize=250820 memory=172420 CPUtime=219.15 cores=5,7
/proc/35654/task/35656/stat : 35656 (fscip) R 35651 35654 30686 0 -1 4194368 234277 0 0 0 21896 19 0 0 20 0 3 0 5177068 256839680 44843 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
[pid=35654/tid=35657] ppid=35651 vsize=250820 memory=11360 CPUtime=0 cores=5,7
/proc/35654/task/35657/stat : 35657 (fscip) S 35651 35654 30686 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 5177070 256839680 44843 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 250820 KiB
Current children cumulated memory: 179372 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 35770
/proc/meminfo: memFree=121507364/131524600 swapFree=131071996/131071996
[pid=35654] ppid=35651 vsize=250820 memory=185936 CPUtime=281.58 cores=5,7
################
# More data... #
################
/proc/35654/statm: 79089 65277 3030 3035 0 68397 0
[pid=35654/tid=35656] ppid=35651 vsize=316356 memory=261108 CPUtime=3391.46 cores=5,7
/proc/35654/task/35656/stat : 35656 (fscip) R 35651 35654 30686 0 -1 4194368 478263 0 0 0 339091 55 0 0 20 0 3 0 5177068 323948544 65277 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
[pid=35654/tid=35657] ppid=35651 vsize=316356 memory=12760 CPUtime=0.02 cores=5,7
/proc/35654/task/35657/stat : 35657 (fscip) S 35651 35654 30686 0 -1 1077936192 179 0 0 0 0 2 0 0 20 0 3 0 5177070 323948544 65277 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
Current children cumulated CPU time: 3394.23 s
Current children cumulated vsize: 316356 KiB
Current children cumulated memory: 261108 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 39067
/proc/meminfo: memFree=127371428/131524600 swapFree=131071996/131071996
[pid=35654] ppid=35651 vsize=316356 memory=261108 CPUtime=3454.1 cores=5,7
/proc/35654/stat : 35654 (fscip) S 35651 35654 30686 0 -1 1077936128 497163 0 0 0 345346 64 0 0 20 0 3 0 5176811 323948544 65277 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
/proc/35654/statm: 79089 65277 3030 3035 0 68397 0
[pid=35654/tid=35656] ppid=35651 vsize=316356 memory=261108 CPUtime=3451.31 cores=5,7
/proc/35654/task/35656/stat : 35656 (fscip) R 35651 35654 30686 0 -1 4194368 479044 0 0 0 345076 55 0 0 20 0 3 0 5177068 323948544 65277 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
[pid=35654/tid=35657] ppid=35651 vsize=316356 memory=12760 CPUtime=0.02 cores=5,7
/proc/35654/task/35657/stat : 35657 (fscip) S 35651 35654 30686 0 -1 1077936192 181 0 0 0 0 2 0 0 20 0 3 0 5177070 323948544 65277 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
Current children cumulated CPU time: 3454.1 s
Current children cumulated vsize: 316356 KiB
Current children cumulated memory: 261108 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/267 39248
/proc/meminfo: memFree=127368456/131524600 swapFree=131071996/131071996
[pid=35654] ppid=35651 vsize=316356 memory=262556 CPUtime=3513.95 cores=5,7
/proc/35654/stat : 35654 (fscip) S 35651 35654 30686 0 -1 1077936128 497599 0 0 0 351331 64 0 0 20 0 3 0 5176811 323948544 65639 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
/proc/35654/statm: 79089 65639 3030 3035 0 68397 0
[pid=35654/tid=35656] ppid=35651 vsize=316356 memory=25860 CPUtime=3511.18 cores=5,7
/proc/35654/task/35656/stat : 35656 (fscip) R 35651 35654 30686 0 -1 4194368 479461 0 0 0 351062 56 0 0 20 0 3 0 5177068 323948544 65639 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
[pid=35654/tid=35657] ppid=35651 vsize=316356 memory=11360 CPUtime=0.02 cores=5,7
/proc/35654/task/35657/stat : 35657 (fscip) S 35651 35654 30686 0 -1 1077936192 183 0 0 0 0 2 0 0 20 0 3 0 5177070 323948544 65639 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
Current children cumulated CPU time: 3513.95 s
Current children cumulated vsize: 316356 KiB
Current children cumulated memory: 262556 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/267 39258
/proc/meminfo: memFree=127368116/131524600 swapFree=131071996/131071996
[pid=35654] ppid=35651 vsize=316356 memory=262556 CPUtime=3573.82 cores=5,7
/proc/35654/stat : 35654 (fscip) S 35651 35654 30686 0 -1 1077936128 498057 0 0 0 357317 65 0 0 20 0 3 0 5176811 323948544 65639 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
/proc/35654/statm: 79089 65639 3030 3035 0 68397 0
[pid=35654/tid=35656] ppid=35651 vsize=316356 memory=262556 CPUtime=3571.03 cores=5,7
/proc/35654/task/35656/stat : 35656 (fscip) R 35651 35654 30686 0 -1 4194368 479901 0 0 0 357047 56 0 0 20 0 3 0 5177068 323948544 65639 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
[pid=35654/tid=35657] ppid=35651 vsize=316356 memory=13044 CPUtime=0.02 cores=5,7
/proc/35654/task/35657/stat : 35657 (fscip) S 35651 35654 30686 0 -1 1077936192 185 0 0 0 0 2 0 0 20 0 3 0 5177070 323948544 65639 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
Current children cumulated CPU time: 3573.82 s
Current children cumulated vsize: 316356 KiB
Current children cumulated memory: 262556 KiB
[startup+3598.05 s]
# the end of solver process 35654 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.88 s, system=0.655433 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.11 4.09 5/267 39258
/proc/meminfo: memFree=127368144/131524600 swapFree=131071996/131071996
[pid=35654] ppid=35651 vsize=316356 memory=262556 CPUtime=3575.52 cores=5,7
/proc/35654/stat : 35654 (fscip) S 35651 35654 30686 0 -1 1077936128 498057 0 0 0 357487 65 0 0 20 0 3 0 5176811 323948544 65639 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
/proc/35654/statm: 79089 65639 3030 3035 0 68397 0
[pid=35654/tid=35656] ppid=35651 vsize=316356 memory=-7378140306124922999 CPUtime=3572.73 cores=5,7
/proc/35654/task/35656/stat : 35656 (fscip) R 35651 35654 30686 0 -1 4194368 479901 0 0 0 357217 56 0 0 20 0 3 0 5177068 323948544 65639 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
[pid=35654/tid=35657] ppid=35651 vsize=316356 memory=-4050210904893801108 CPUtime=0.02 cores=5,7
/proc/35654/task/35657/stat : 35657 (fscip) S 35651 35654 30686 0 -1 1077936192 185 0 0 0 0 2 0 0 20 0 3 0 5177070 323948544 65639 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
Current children cumulated CPU time: 3575.52 s
Current children cumulated vsize: 316356 KiB
Current children cumulated memory: 262556 KiB
[startup+3590.4 s]
/proc/loadavg: 4.11 4.11 4.09 5/267 39259
/proc/meminfo: memFree=127368032/131524600 swapFree=131071996/131071996
[pid=35654] ppid=35651 vsize=316356 memory=262556 CPUtime=3581.9 cores=5,7
/proc/35654/stat : 35654 (fscip) S 35651 35654 30686 0 -1 1077936128 498065 0 0 0 358125 65 0 0 20 0 3 0 5176811 323948544 65639 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
/proc/35654/statm: 79089 65639 3030 3035 0 68397 0
[pid=35654/tid=35656] ppid=35651 vsize=316356 memory=6440523965858862946 CPUtime=3579.11 cores=5,7
/proc/35654/task/35656/stat : 35656 (fscip) R 35651 35654 30686 0 -1 4194368 479909 0 0 0 357855 56 0 0 20 0 3 0 5177068 323948544 65639 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
[pid=35654/tid=35657] ppid=35651 vsize=316356 memory=13044 CPUtime=0.02 cores=5,7
/proc/35654/task/35657/stat : 35657 (fscip) S 35651 35654 30686 0 -1 1077936192 185 0 0 0 0 2 0 0 20 0 3 0 5177070 323948544 65639 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
Current children cumulated CPU time: 3581.9 s
Current children cumulated vsize: 316356 KiB
Current children cumulated memory: 262556 KiB
[startup+3593.6 s]
/proc/loadavg: 4.10 4.10 4.09 5/267 39259
/proc/meminfo: memFree=127368032/131524600 swapFree=131071996/131071996
[pid=35654] ppid=35651 vsize=316356 memory=262556 CPUtime=3585.09 cores=5,7
/proc/35654/stat : 35654 (fscip) S 35651 35654 30686 0 -1 1077936128 498066 0 0 0 358444 65 0 0 20 0 3 0 5176811 323948544 65639 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
/proc/35654/statm: 79089 65639 3030 3035 0 68397 0
[pid=35654/tid=35656] ppid=35651 vsize=316356 memory=262556 CPUtime=3582.3 cores=5,7
/proc/35654/task/35656/stat : 35656 (fscip) R 35651 35654 30686 0 -1 4194368 479910 0 0 0 358174 56 0 0 20 0 3 0 5177068 323948544 65639 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
[pid=35654/tid=35657] ppid=35651 vsize=316356 memory=-7234869542979200379 CPUtime=0.02 cores=5,7
/proc/35654/task/35657/stat : 35657 (fscip) S 35651 35654 30686 0 -1 1077936192 185 0 0 0 0 2 0 0 20 0 3 0 5177070 323948544 65639 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
Current children cumulated CPU time: 3585.09 s
Current children cumulated vsize: 316356 KiB
Current children cumulated memory: 262556 KiB
[startup+3595.2 s]
/proc/loadavg: 4.10 4.10 4.09 5/267 39259
/proc/meminfo: memFree=127368032/131524600 swapFree=131071996/131071996
[pid=35654] ppid=35651 vsize=316356 memory=262556 CPUtime=3586.69 cores=5,7
/proc/35654/stat : 35654 (fscip) S 35651 35654 30686 0 -1 1077936128 498426 0 0 0 358604 65 0 0 20 0 3 0 5176811 323948544 65639 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
/proc/35654/statm: 79089 65639 3030 3035 0 68397 0
[pid=35654/tid=35656] ppid=35651 vsize=316356 memory=262556 CPUtime=3583.9 cores=5,7
/proc/35654/task/35656/stat : 35656 (fscip) R 35651 35654 30686 0 -1 4194368 480254 0 0 0 358334 56 0 0 20 0 3 0 5177068 323948544 65639 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
[pid=35654/tid=35657] ppid=35651 vsize=316356 memory=6440523948695770978 CPUtime=0.02 cores=5,7
/proc/35654/task/35657/stat : 35657 (fscip) S 35651 35654 30686 0 -1 1077936192 187 0 0 0 0 2 0 0 20 0 3 0 5177070 323948544 65639 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
Current children cumulated CPU time: 3586.69 s
Current children cumulated vsize: 316356 KiB
Current children cumulated memory: 262556 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.10 4.09 5/267 39261
/proc/meminfo: memFree=127367948/131524600 swapFree=131071996/131071996
[pid=35654] ppid=35651 vsize=316356 memory=262556 CPUtime=3588.28 cores=5,7
/proc/35654/stat : 35654 (fscip) S 35651 35654 30686 0 -1 1077936128 498444 0 0 0 358763 65 0 0 20 0 3 0 5176811 323948544 65639 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
/proc/35654/statm: 79089 65639 3030 3035 0 68397 0
[pid=35654/tid=35656] ppid=35651 vsize=316356 memory=11360 CPUtime=3585.49 cores=5,7
/proc/35654/task/35656/stat : 35656 (fscip) R 35651 35654 30686 0 -1 4194368 480271 0 0 0 358493 56 0 0 20 0 3 0 5177068 323948544 65639 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
[pid=35654/tid=35657] ppid=35651 vsize=316356 memory=262556 CPUtime=0.02 cores=5,7
/proc/35654/task/35657/stat : 35657 (fscip) S 35651 35654 30686 0 -1 1077936192 187 0 0 0 0 2 0 0 20 0 3 0 5177070 323948544 65639 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
Current children cumulated CPU time: 3588.28 s
Current children cumulated vsize: 316356 KiB
Current children cumulated memory: 262556 KiB
[startup+3597.6 s]
/proc/loadavg: 4.10 4.10 4.09 5/267 39261
/proc/meminfo: memFree=127367940/131524600 swapFree=131071996/131071996
[pid=35654] ppid=35651 vsize=316356 memory=262556 CPUtime=3589.08 cores=5,7
/proc/35654/stat : 35654 (fscip) S 35651 35654 30686 0 -1 1077936128 498449 0 0 0 358843 65 0 0 20 0 3 0 5176811 323948544 65639 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
/proc/35654/statm: 79089 65639 3030 3035 0 68397 0
[pid=35654/tid=35656] ppid=35651 vsize=316356 memory=12760 CPUtime=3586.29 cores=5,7
/proc/35654/task/35656/stat : 35656 (fscip) R 35651 35654 30686 0 -1 4194368 480276 0 0 0 358573 56 0 0 20 0 3 0 5177068 323948544 65639 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
[pid=35654/tid=35657] ppid=35651 vsize=316356 memory=11628 CPUtime=0.02 cores=5,7
/proc/35654/task/35657/stat : 35657 (fscip) S 35651 35654 30686 0 -1 1077936192 187 0 0 0 0 2 0 0 20 0 3 0 5177070 323948544 65639 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
Current children cumulated CPU time: 3589.08 s
Current children cumulated vsize: 316356 KiB
Current children cumulated memory: 262556 KiB
[startup+3598 s]*
/proc/loadavg: 4.10 4.10 4.09 4/260 39269
/proc/meminfo: memFree=127714584/131524600 swapFree=131071996/131071996
[pid=35654] ppid=35651 vsize=316356 memory=262556 CPUtime=3589.48 cores=5,7
/proc/35654/stat : 35654 (fscip) R 35651 35654 30686 0 -1 1077936128 498466 0 0 0 358883 65 0 0 20 0 3 0 5176811 323948544 65639 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
/proc/35654/statm: 79089 65639 3030 3035 0 68397 0
[pid=35654/tid=35656] ppid=35651 vsize=316356 memory=-6000919472639339628 CPUtime=3586.7 cores=5,7
/proc/35654/task/35656/stat : 35656 (fscip) R 35651 35654 30686 0 -1 4194368 480341 0 0 0 358614 56 0 0 20 0 3 0 5177068 323948544 65639 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
[pid=35654/tid=35657] ppid=35651 vsize=316356 memory=3156 CPUtime=0.02 cores=5,7
/proc/35654/task/35657/stat : 35657 (fscip) S 35651 35654 30686 0 -1 1077936192 187 0 0 0 0 2 0 0 20 0 3 0 5177070 323948544 65639 134679101440 4194304 16623229 140732013804176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48513024 140732013806614 140732013806730 140732013806730 140732013813744 0
Current children cumulated CPU time: 3589.48 s
Current children cumulated vsize: 316356 KiB
Current children cumulated memory: 262556 KiB
Child status: 0
Real time (s): 3598.05
CPU time (s): 3589.53
CPU user time (s): 3588.88
CPU system time (s): 0.655433
CPU usage (%): 99.7634
Max. virtual memory (cumulated for all children) (KiB): 316356
Max. memory (cumulated for all children) (KiB): 262556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.88
system time used= 0.655433
maximum resident set size= 262556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 499425
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= 10129
involuntary context switches= 1989
# summary of solver processes directly reported to runsolver:
# pid: 35654
# total CPU time (s): 3589.53
# total CPU user time (s): 3588.88
# total CPU system time (s): 0.655433
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.78637 second user time and 16.0086 second system time
The end
Begin job on nodeC018 at 2024-07-31 02:29:54
IDJOB=4464469
IDBENCH=158375
IDSOLVER=3092
FILE ID=nodeC018/4464469-1722385794
RUNJOBID= nodeC018-1722378594-30699
SLURM_JOB_ID= 8249831
Free space on /tmp= 889936 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K71.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-4464469-1722385794/watcher-4464469-1722385794 -o /tmp/evaluation-result-4464469-1722385794/solver-4464469-1722385794 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722378594-30699 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464469-1722385794.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9c6bc9cc94309c2493f896d524de96fb
RANDOM SEED=99795441
nodeC018.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 : 0xb00002a
cpu MHz : 3671.417
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.92
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 : 0xb00002a
cpu MHz : 3671.142
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7007.08
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 : 0xb00002a
cpu MHz : 3600.161
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.92
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 : 0xb00002a
cpu MHz : 3600.018
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7007.08
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 : 0xb00002a
cpu MHz : 3671.403
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.92
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 : 0xb00002a
cpu MHz : 3670.078
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7007.08
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 : 0xb00002a
cpu MHz : 3600.214
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.92
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 : 0xb00002a
cpu MHz : 3665.233
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 122179164 kB
MemAvailable: 123815576 kB
Buffers: 108156 kB
Cached: 2346656 kB
SwapCached: 0 kB
Active: 318876 kB
Inactive: 8504704 kB
Active(anon): 1548 kB
Inactive(anon): 6388572 kB
Active(file): 317328 kB
Inactive(file): 2116132 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 57204 kB
Writeback: 72 kB
AnonPages: 6368812 kB
Mapped: 123176 kB
Shmem: 21336 kB
KReclaimable: 85196 kB
Slab: 170384 kB
SReclaimable: 85196 kB
SUnreclaim: 85188 kB
KernelStack: 4176 kB
PageTables: 21560 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 4167212 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 8704 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4419584 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: 148180 kB
DirectMap2M: 10110976 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 889944 MiB
End job on nodeC018 at 2024-07-31 03:29:52