0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.04 c Default LC presolving (default).
0.00/0.04 c ** Before presolving: virtualMemUsedAtLc = 51847168, getVmSize() = 51847168, SCIPgetMemUsed() = 19159379, SCIPgetMemTotal() = 29498699, SCIPgetMemExternEstim() = 12345147
0.00/0.04 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.30/0.33 c ** Estimated virtualMemUsedAtSolver = 56208355, getVmSize() = 98680832, SCIPgetMemUsed() = 39659162, SCIPgetMemTotal() = 71967386, SCIPgetMemExternEstim() = 12345147
0.30/0.33 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.30/0.33 c Original Problem :
0.30/0.33 c Problem name : instance-4451740-1721426596
0.30/0.33 c Variables : 1892 (1892 binary, 0 integer, 0 implicit integer, 0 continuous)
0.30/0.33 c Constraints : 9034
0.30/0.33 c Objective sense : minimize
0.30/0.33 c Presolved Problem :
0.30/0.33 c Variables : 1886 (1886 binary, 0 integer, 0 implicit integer, 0 continuous)
0.30/0.33 c Constraints : 8631
0.30/0.33 c Constraints : Number
0.30/0.33 c setppc : 3608
0.30/0.33 c linear : 1
0.30/0.33 c logicor : 5022
0.30/0.33 c ** Instance transfer method used: 0
0.30/0.35 c ** ParaScipInstance copy does not increase the number of variables. **
0.30/0.37 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.30/0.37 c Nodes Active
0.30/0.37 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
22.93/23.01 c 23 2 1 1 - 0.0000 -
28.20/28.39 c 28 20 19 1 - 0.0000 -
33.39/33.58 c 34 33 30 1 - 0.0000 -
40.47/40.61 c 41 42 35 1 - 0.0000 -
46.35/46.53 c 47 52 45 1 - 0.0000 -
52.53/52.74 c 53 65 58 1 - 0.0000 -
59.52/59.75 c 60 75 68 1 - 0.0000 -
64.91/65.12 c 65 82 75 1 - 0.0000 -
72.19/72.40 c 72 88 81 1 - 0.0000 -
78.87/79.18 c 79 95 88 1 - 0.0000 -
84.86/85.15 c 85 117 100 1 - 0.0000 -
90.44/90.74 c 91 134 113 1 - 0.0000 -
105.20/105.59 c 106 145 122 1 - 0.0000 -
111.08/111.42 c 111 165 138 1 - 0.0000 -
141.21/141.67 c 142 185 152 1 - 0.0000 -
146.30/146.76 c 147 202 167 1 - 0.0000 -
152.78/153.20 c 153 222 187 1 - 0.0000 -
158.76/159.26 c 159 241 206 1 - 0.0000 -
164.85/165.31 c 165 255 220 1 - 0.0000 -
173.02/173.58 c 174 265 230 1 - 0.0000 -
178.52/179.06 c 179 276 241 1 - 0.0000 -
183.90/184.48 c 184 286 251 1 - 0.0000 -
189.29/189.85 c 190 292 257 1 - 0.0000 -
195.48/196.05 c 196 304 269 1 - 0.0000 -
201.06/201.67 c 202 309 274 1 - 0.0000 -
206.84/207.48 c 207 315 280 1 - 0.0000 -
214.63/215.24 c 215 325 290 1 - 0.0000 -
220.01/220.61 c 221 332 297 1 - 0.0000 -
225.69/226.38 c 226 342 307 1 - 0.0000 -
231.38/232.07 c 232 359 324 1 - 0.0000 -
238.57/239.25 c 239 372 337 1 - 0.0000 -
243.65/244.37 c 244 378 343 1 - 0.0000 -
250.04/250.80 c 251 388 351 1 - 0.0000 -
257.51/258.25 c 258 414 357 1 - 0.0000 -
263.20/263.91 c 264 442 361 1 - 0.0000 -
269.29/270.00 c 270 477 362 1 - 0.0000 -
274.67/275.45 c 275 513 356 1 - 0.0000 -
280.15/280.90 c 281 568 355 1 - 0.0000 -
285.94/286.74 c 287 591 364 1 - 0.0000 -
292.33/293.14 c 293 605 370 1 - 0.0000 -
297.42/298.23 c 298 622 375 1 - 0.0000 -
302.50/303.35 c 303 642 383 1 - 0.0000 -
307.89/308.78 c 309 673 384 1 - 0.0000 -
313.77/314.66 c 315 703 392 1 - 0.0000 -
319.36/320.29 c 320 726 403 1 - 0.0000 -
325.54/326.48 c 326 751 416 1 - 0.0000 -
341.31/342.21 c 342 767 420 1 - 0.0000 -
347.39/348.32 c 348 798 427 1 - 0.0000 -
352.88/353.88 c 354 830 435 1 - 0.0000 -
358.36/359.31 c 359 858 443 1 - 0.0000 -
363.65/364.68 c 365 892 455 1 - 0.0000 -
370.04/371.08 c 371 917 472 1 - 0.0000 -
376.02/377.09 c 377 963 476 1 - 0.0000 -
381.50/382.57 c 383 984 491 1 - 0.0000 -
386.89/387.95 c 388 994 501 1 - 0.0000 -
392.98/394.00 c 394 1004 511 1 - 0.0000 -
398.86/399.92 c 400 1100 519 1 - 0.0000 -
405.05/406.19 c 406 1126 528 1 - 0.0000 -
410.14/411.24 c 411 1136 532 1 - 0.0000 -
416.02/417.19 c 417 1149 545 1 - 0.0000 -
422.30/423.47 c 423 1167 553 1 - 0.0000 -
427.99/429.14 c 429 1211 565 1 - 0.0000 -
433.98/435.17 c 435 1232 582 1 - 0.0000 -
440.06/441.20 c 441 1244 592 1 - 0.0000 -
463.00/464.23 c 464 1255 1 1 - 0.0000 -
470.88/472.14 c 472 1262 8 1 - 0.0000 -
476.56/477.88 c 478 1271 17 1 - 0.0000 -
483.15/484.41 c 484 1289 29 1 - 0.0000 -
489.73/491.10 c 491 1318 38 1 - 0.0000 -
496.51/497.83 c 498 1348 42 1 - 0.0000 -
502.00/503.34 c 503 1373 43 1 - 0.0000 -
507.38/508.77 c 509 1398 44 1 - 0.0000 -
513.47/514.81 c 515 1411 51 1 - 0.0000 -
519.05/520.40 c 520 1451 65 1 - 0.0000 -
524.75/526.19 c 526 1512 66 1 - 0.0000 -
530.23/531.60 c 532 1586 64 1 - 0.0000 -
535.32/536.70 c 537 1697 69 1 - 0.0000 -
540.40/541.84 c 542 1783 65 1 - 0.0000 -
545.98/547.45 c 547 1842 78 1 - 0.0000 -
551.27/552.79 c 553 1895 57 1 - 0.0000 -
561.94/563.42 c 563 1933 57 1 - 0.0000 -
567.82/569.38 c 569 1982 59 1 - 0.0000 -
574.51/576.04 c 576 1999 68 1 - 0.0000 -
580.68/582.24 c 582 2027 80 1 - 0.0000 -
586.26/587.81 c 588 2077 82 1 - 0.0000 -
592.05/593.62 c 594 2134 83 1 - 0.0000 -
598.13/599.70 c 600 2147 88 1 - 0.0000 -
603.41/605.02 c 605 2301 111 1 - 0.0000 -
608.69/610.31 c 610 2423 91 1 - 0.0000 -
614.68/616.31 c 616 2454 118 1 - 0.0000 -
619.66/621.39 c 621 2707 142 1 - 0.0000 -
624.75/626.44 c 626 3123 135 1 - 0.0000 -
629.84/631.59 c 632 3355 125 1 - 0.0000 -
635.02/636.74 c 637 3547 138 1 - 0.0000 -
640.01/641.79 c 642 3834 143 1 - 0.0000 -
645.20/646.91 c 647 4083 140 1 - 0.0000 -
650.39/652.14 c 652 4325 147 1 - 0.0000 -
655.47/657.24 c 657 4501 138 1 - 0.0000 -
660.56/662.37 c 662 4672 146 1 - 0.0000 -
665.64/667.47 c 667 4885 138 1 - 0.0000 -
670.84/672.64 c 673 5003 135 1 - 0.0000 -
676.03/677.83 c 678 5091 124 1 - 0.0000 -
681.32/683.18 c 683 5185 123 1 - 0.0000 -
686.60/688.44 c 688 5266 120 1 - 0.0000 -
695.08/696.94 c 697 5323 125 1 - 0.0000 -
700.46/702.39 c 702 5369 133 1 - 0.0000 -
705.75/707.61 c 708 5437 130 1 - 0.0000 -
711.04/712.95 c 713 5492 128 1 - 0.0000 -
716.42/718.37 c 718 5563 112 1 - 0.0000 -
722.91/724.86 c 725 5581 122 1 - 0.0000 -
727.99/729.97 c 730 5664 141 1 - 0.0000 -
733.28/735.23 c 735 5811 133 1 - 0.0000 -
738.57/740.50 c 741 5884 132 1 - 0.0000 -
743.95/745.95 c 746 5949 137 1 - 0.0000 -
749.24/751.21 c 751 6017 137 1 - 0.0000 -
754.42/756.42 c 756 6103 135 1 - 0.0000 -
759.71/761.74 c 762 6177 141 1 - 0.0000 -
765.00/767.02 c 767 6284 141 1 - 0.0000 -
770.19/772.25 c 772 6356 137 1 - 0.0000 -
775.38/777.41 c 777 6382 143 1 - 0.0000 -
780.67/782.73 c 783 6455 156 1 - 0.0000 -
785.96/788.05 c 788 6563 154 1 - 0.0000 -
791.24/793.31 c 793 6613 154 1 - 0.0000 -
796.63/798.79 c 799 6665 152 1 - 0.0000 -
802.51/804.64 c 805 6677 158 1 - 0.0000 -
807.69/809.84 c 810 6785 159 1 - 0.0000 -
812.77/814.94 c 815 6951 161 1 - 0.0000 -
817.86/820.02 c 820 7080 154 1 - 0.0000 -
823.04/825.24 c 825 7188 154 1 - 0.0000 -
828.32/830.51 c 831 7274 162 1 - 0.0000 -
833.50/835.79 c 836 7350 156 1 - 0.0000 -
839.38/841.67 c 842 7391 173 1 - 0.0000 -
845.07/847.38 c 847 7437 167 1 - 0.0000 -
850.25/852.55 c 853 7501 171 1 - 0.0000 -
855.44/857.77 c 858 7589 167 1 - 0.0000 -
860.72/863.06 c 863 7651 167 1 - 0.0000 -
866.40/868.72 c 869 7701 169 1 - 0.0000 -
871.88/874.21 c 874 7764 166 1 - 0.0000 -
877.46/879.87 c 880 7803 161 1 - 0.0000 -
882.84/885.28 c 885 7858 166 1 - 0.0000 -
888.33/890.77 c 891 7899 161 1 - 0.0000 -
893.91/896.33 c 896 7922 172 1 - 0.0000 -
899.19/901.69 c 902 7966 178 1 - 0.0000 -
904.47/906.94 c 907 8008 170 1 - 0.0000 -
910.85/913.35 c 913 8017 171 1 - 0.0000 -
916.14/918.60 c 919 8031 183 1 - 0.0000 -
921.43/923.90 c 924 8051 183 1 - 0.0000 -
926.61/929.15 c 929 8098 208 1 - 0.0000 -
931.99/934.51 c 935 8188 202 1 - 0.0000 -
937.17/939.79 c 940 8232 214 1 - 0.0000 -
942.36/944.91 c 945 8315 217 1 - 0.0000 -
947.54/950.15 c 950 8378 214 1 - 0.0000 -
952.82/955.46 c 955 8489 215 1 - 0.0000 -
957.90/960.59 c 961 8583 217 1 - 0.0000 -
962.99/965.68 c 966 8712 214 1 - 0.0000 -
968.37/971.09 c 971 8791 211 1 - 0.0000 -
973.75/976.46 c 976 8820 214 1 - 0.0000 -
979.13/981.83 c 982 8905 221 1 - 0.0000 -
984.32/987.09 c 987 8956 206 1 - 0.0000 -
989.70/992.42 c 992 9005 207 1 - 0.0000 -
995.08/997.82 c 998 9038 218 1 - 0.0000 -
1000.76/1003.50 c 1004 9071 227 1 - 0.0000 -
1006.04/1008.85 c 1009 9129 224 1 - 0.0000 -
1011.53/1014.30 c 1014 9175 222 1 - 0.0000 -
1017.11/1019.97 c 1020 9204 217 1 - 0.0000 -
1022.80/1025.67 c 1026 9248 233 1 - 0.0000 -
1028.07/1030.97 c 1031 9304 227 1 - 0.0000 -
1033.45/1036.34 c 1036 9343 232 1 - 0.0000 -
1038.74/1041.65 c 1042 9396 245 1 - 0.0000 -
1044.02/1046.99 c 1047 9478 237 1 - 0.0000 -
1049.70/1052.67 c 1053 9501 240 1 - 0.0000 -
1055.28/1058.28 c 1058 9531 242 1 - 0.0000 -
1060.56/1063.53 c 1064 9601 244 1 - 0.0000 -
1065.55/1068.57 c 1069 9637 256 1 - 0.0000 -
1071.14/1074.14 c 1074 9706 255 1 - 0.0000 -
1076.32/1079.38 c 1079 9761 252 1 - 0.0000 -
1081.71/1084.71 c 1085 9809 254 1 - 0.0000 -
1086.99/1090.09 c 1090 9871 249 1 - 0.0000 -
1092.87/1095.94 c 1096 9915 251 1 - 0.0000 -
1098.06/1101.14 c 1101 9998 250 1 - 0.0000 -
1103.73/1106.80 c 1107 10029 255 1 - 0.0000 -
1109.11/1112.26 c 1112 10067 251 1 - 0.0000 -
1115.00/1118.19 c 1118 10099 249 1 - 0.0000 -
1120.98/1124.13 c 1124 10123 243 1 - 0.0000 -
1126.56/1129.77 c 1130 10150 252 1 - 0.0000 -
1131.95/1135.18 c 1135 10197 245 1 - 0.0000 -
1137.52/1140.70 c 1141 10250 252 1 - 0.0000 -
1142.61/1145.88 c 1146 10310 252 1 - 0.0000 -
1147.79/1151.09 c 1151 10365 258 1 - 0.0000 -
1153.07/1156.39 c 1156 10448 261 1 - 0.0000 -
1158.36/1161.63 c 1162 10524 257 1 - 0.0000 -
1163.54/1166.89 c 1167 10577 268 1 - 0.0000 -
1168.73/1172.06 c 1172 10635 262 1 - 0.0000 -
1174.11/1177.44 c 1177 10696 277 1 - 0.0000 -
1179.20/1182.53 c 1183 10827 280 1 - 0.0000 -
1184.39/1187.73 c 1188 10942 275 1 - 0.0000 -
1189.68/1193.03 c 1193 11026 273 1 - 0.0000 -
1194.87/1198.25 c 1198 11114 277 1 - 0.0000 -
1200.05/1203.41 c 1203 11166 274 1 - 0.0000 -
1205.24/1208.69 c 1209 11227 271 1 - 0.0000 -
1210.52/1213.95 c 1214 11300 270 1 - 0.0000 -
1215.81/1219.24 c 1219 11358 276 1 - 0.0000 -
1221.00/1224.48 c 1224 11421 273 1 - 0.0000 -
1226.28/1229.79 c 1230 11489 283 1 - 0.0000 -
1231.57/1235.02 c 1235 11580 278 1 - 0.0000 -
1237.05/1240.57 c 1241 11643 269 1 - 0.0000 -
1242.64/1246.14 c 1246 11662 278 1 - 0.0000 -
1247.92/1251.47 c 1251 11706 282 1 - 0.0000 -
1253.71/1257.28 c 1257 11742 288 1 - 0.0000 -
1259.19/1262.74 c 1263 11797 285 1 - 0.0000 -
1264.58/1268.12 c 1268 11846 292 1 - 0.0000 -
1269.96/1273.58 c 1274 11877 293 1 - 0.0000 -
1275.45/1279.05 c 1279 11913 309 1 - 0.0000 -
1280.53/1284.14 c 1284 11977 313 1 - 0.0000 -
1285.71/1289.38 c 1289 12027 315 1 - 0.0000 -
1291.10/1294.74 c 1295 12077 313 1 - 0.0000 -
1296.49/1300.13 c 1300 12119 319 1 - 0.0000 -
1301.48/1305.15 c 1305 12143 313 1 - 0.0000 -
1307.26/1310.97 c 1311 12182 312 1 - 0.0000 -
1312.94/1316.64 c 1317 12227 303 1 - 0.0000 -
1318.73/1322.43 c 1322 12267 303 1 - 0.0000 -
1323.92/1327.69 c 1328 12338 309 1 - 0.0000 -
1331.80/1335.54 c 1336 12401 310 1 - 0.0000 -
1337.39/1341.15 c 1341 12411 312 1 - 0.0000 -
1343.38/1347.12 c 1347 12445 326 1 - 0.0000 -
1348.86/1352.63 c 1353 12499 324 1 - 0.0000 -
1354.94/1358.78 c 1359 12526 327 1 - 0.0000 -
1360.43/1364.29 c 1364 12561 336 1 - 0.0000 -
1366.32/1370.19 c 1370 12594 335 1 - 0.0000 -
1372.20/1376.07 c 1376 12603 340 1 - 0.0000 -
1377.98/1381.82 c 1382 12623 346 1 - 0.0000 -
1383.27/1387.17 c 1387 12677 350 1 - 0.0000 -
1388.55/1392.49 c 1392 12729 364 1 - 0.0000 -
1393.94/1397.89 c 1398 12777 360 1 - 0.0000 -
1399.62/1403.52 c 1404 12805 370 1 - 0.0000 -
1404.81/1408.75 c 1409 12895 371 1 - 0.0000 -
1409.89/1413.88 c 1414 13132 368 1 - 0.0000 -
1415.27/1419.21 c 1419 13205 365 1 - 0.0000 -
1420.46/1424.46 c 1424 13311 369 1 - 0.0000 -
1426.05/1430.00 c 1430 13354 354 1 - 0.0000 -
1431.43/1435.42 c 1435 13410 370 1 - 0.0000 -
1436.82/1440.84 c 1441 13497 375 1 - 0.0000 -
1442.01/1446.05 c 1446 13621 370 1 - 0.0000 -
1449.58/1453.60 c 1454 13677 368 1 - 0.0000 -
1454.67/1458.73 c 1459 13747 378 1 - 0.0000 -
1460.15/1464.26 c 1464 13809 378 1 - 0.0000 -
1465.55/1469.60 c 1470 13887 375 1 - 0.0000 -
1470.73/1474.82 c 1475 13962 380 1 - 0.0000 -
1476.03/1480.14 c 1480 14015 379 1 - 0.0000 -
1481.51/1485.68 c 1486 14065 391 1 - 0.0000 -
1486.79/1490.90 c 1491 14138 392 1 - 0.0000 -
1491.98/1496.15 c 1496 14196 390 1 - 0.0000 -
1497.16/1501.32 c 1501 14274 396 1 - 0.0000 -
1502.85/1507.05 c 1507 14332 410 1 - 0.0000 -
1508.24/1512.46 c 1512 14394 400 1 - 0.0000 -
1513.62/1517.82 c 1518 14446 402 1 - 0.0000 -
1519.11/1523.33 c 1523 14515 405 1 - 0.0000 -
1524.29/1528.54 c 1529 14591 405 1 - 0.0000 -
1529.48/1533.79 c 1534 14655 413 1 - 0.0000 -
1534.97/1539.20 c 1539 14714 408 1 - 0.0000 -
1540.15/1544.49 c 1544 14766 406 1 - 0.0000 -
1545.54/1549.88 c 1550 14817 399 1 - 0.0000 -
1550.63/1554.98 c 1555 14846 408 1 - 0.0000 -
1555.82/1560.15 c 1560 14947 418 1 - 0.0000 -
1561.10/1565.47 c 1565 15012 415 1 - 0.0000 -
1566.29/1570.61 c 1571 15077 422 1 - 0.0000 -
1571.57/1575.95 c 1576 15140 421 1 - 0.0000 -
1576.86/1581.26 c 1581 15200 425 1 - 0.0000 -
1582.04/1586.42 c 1586 15259 422 1 - 0.0000 -
1587.43/1591.83 c 1592 15302 419 1 - 0.0000 -
1593.42/1597.83 c 1598 15325 432 1 - 0.0000 -
1598.60/1603.07 c 1603 15442 438 1 - 0.0000 -
1603.79/1608.26 c 1608 15589 441 1 - 0.0000 -
1608.87/1613.38 c 1613 15699 441 1 - 0.0000 -
1614.16/1618.69 c 1619 15776 440 1 - 0.0000 -
1619.45/1623.91 c 1624 15856 448 1 - 0.0000 -
1624.93/1629.42 c 1629 15941 445 1 - 0.0000 -
1630.22/1634.77 c 1635 16003 451 1 - 0.0000 -
1635.51/1640.07 c 1640 16068 458 1 - 0.0000 -
1640.99/1645.59 c 1646 16125 475 1 - 0.0000 -
1646.49/1651.09 c 1651 16204 482 1 - 0.0000 -
1651.87/1656.41 c 1656 16255 475 1 - 0.0000 -
1657.25/1661.89 c 1662 16318 468 1 - 0.0000 -
1662.54/1667.15 c 1667 16387 457 1 - 0.0000 -
1667.72/1672.38 c 1672 16430 450 1 - 0.0000 -
1673.21/1677.89 c 1678 16483 449 1 - 0.0000 -
1678.69/1683.36 c 1683 16509 463 1 - 0.0000 -
1683.98/1688.67 c 1689 16568 463 1 - 0.0000 -
1689.27/1693.99 c 1694 16592 459 1 - 0.0000 -
1695.15/1699.86 c 1700 16630 479 1 - 0.0000 -
1700.34/1705.05 c 1705 16743 481 1 - 0.0000 -
1705.72/1710.44 c 1710 16814 480 1 - 0.0000 -
1711.01/1715.77 c 1716 16886 482 1 - 0.0000 -
1716.50/1721.28 c 1721 16928 480 1 - 0.0000 -
1721.99/1726.79 c 1727 16993 486 1 - 0.0000 -
1727.57/1732.37 c 1732 17040 477 1 - 0.0000 -
1733.16/1737.97 c 1738 17058 491 1 - 0.0000 -
1738.64/1743.41 c 1743 17104 503 1 - 0.0000 -
1743.93/1748.74 c 1749 17189 502 1 - 0.0000 -
1749.81/1754.61 c 1755 17242 497 1 - 0.0000 -
1755.60/1760.40 c 1760 17294 505 1 - 0.0000 -
1760.79/1765.67 c 1766 17330 525 1 - 0.0000 -
1766.07/1770.94 c 1771 17378 515 1 - 0.0000 -
1771.86/1776.76 c 1777 17428 511 1 - 0.0000 -
1777.34/1782.28 c 1782 17470 517 1 - 0.0000 -
1782.93/1787.80 c 1788 17520 514 1 - 0.0000 -
1788.12/1793.03 c 1793 17634 514 1 - 0.0000 -
1794.00/1798.95 c 1799 17684 514 1 - 0.0000 -
1799.69/1804.60 c 1805 17715 505 1 - 0.0000 -
1805.08/1810.09 c 1810 17753 503 1 - 0.0000 -
1810.26/1815.25 c 1815 17811 501 1 - 0.0000 -
1815.55/1820.54 c 1821 17868 516 1 - 0.0000 -
1820.83/1825.82 c 1826 17960 520 1 - 0.0000 -
1826.32/1831.31 c 1831 18040 522 1 - 0.0000 -
1831.50/1836.57 c 1837 18106 522 1 - 0.0000 -
1838.99/1844.04 c 1844 18153 528 1 - 0.0000 -
1844.67/1849.74 c 1850 18199 520 1 - 0.0000 -
1850.06/1855.17 c 1855 18258 527 1 - 0.0000 -
1855.64/1860.73 c 1861 18299 536 1 - 0.0000 -
1861.14/1866.24 c 1866 18353 528 1 - 0.0000 -
1866.72/1871.85 c 1872 18372 543 1 - 0.0000 -
1872.21/1877.35 c 1877 18387 544 1 - 0.0000 -
1877.79/1882.96 c 1883 18396 553 1 - 0.0000 -
1883.78/1888.96 c 1889 18438 583 1 - 0.0000 -
1888.86/1894.03 c 1894 18598 580 1 - 0.0000 -
1893.94/1899.17 c 1899 18805 579 1 - 0.0000 -
1899.13/1904.37 c 1904 18946 571 1 - 0.0000 -
1904.42/1909.68 c 1910 18969 586 1 - 0.0000 -
1909.81/1915.03 c 1915 19061 591 1 - 0.0000 -
1915.39/1920.62 c 1921 19125 597 1 - 0.0000 -
1922.27/1927.52 c 1928 19155 606 1 - 0.0000 -
1928.06/1933.31 c 1933 19182 612 1 - 0.0000 -
1934.54/1939.83 c 1940 19250 618 1 - 0.0000 -
1939.73/1945.07 c 1945 19269 619 1 - 0.0000 -
1945.01/1950.31 c 1950 19297 638 1 - 0.0000 -
1951.00/1956.35 c 1956 19345 639 1 - 0.0000 -
1956.18/1961.59 c 1962 19413 651 1 - 0.0000 -
1961.47/1966.89 c 1967 19537 659 1 - 0.0000 -
1966.96/1972.32 c 1972 19610 666 1 - 0.0000 -
1974.14/1979.53 c 1980 19685 667 1 - 0.0000 -
1979.32/1984.78 c 1985 19763 669 1 - 0.0000 -
1985.11/1990.55 c 1991 19827 657 1 - 0.0000 -
1990.50/1995.93 c 1996 19875 675 1 - 0.0000 -
1995.88/2001.31 c 2001 19906 674 1 - 0.0000 -
2001.07/2006.52 c 2007 19957 680 1 - 0.0000 -
2006.46/2011.93 c 2012 19995 692 1 - 0.0000 -
2011.74/2017.29 c 2017 20032 690 1 - 0.0000 -
2017.53/2023.02 c 2023 20079 687 1 - 0.0000 -
2022.91/2028.43 c 2028 20105 689 1 - 0.0000 -
2028.10/2033.69 c 2034 20123 707 1 - 0.0000 -
2034.19/2039.70 c 2040 20166 716 1 - 0.0000 -
2039.58/2045.16 c 2045 20179 717 1 - 0.0000 -
2045.46/2051.04 c 2051 20222 718 1 - 0.0000 -
2050.84/2056.46 c 2056 20333 728 1 - 0.0000 -
2056.03/2061.66 c 2062 20362 731 1 - 0.0000 -
2062.01/2067.65 c 2068 20405 728 1 - 0.0000 -
2067.31/2072.92 c 2073 20461 729 1 - 0.0000 -
2072.99/2078.63 c 2079 20500 723 1 - 0.0000 -
2078.49/2084.14 c 2084 20568 718 1 - 0.0000 -
2084.27/2089.94 c 2090 20612 708 1 - 0.0000 -
2089.95/2095.60 c 2096 20651 703 1 - 0.0000 -
2095.74/2101.48 c 2101 20693 705 1 - 0.0000 -
2101.82/2107.50 c 2108 20730 691 1 - 0.0000 -
2107.31/2113.03 c 2113 20779 689 1 - 0.0000 -
2112.59/2118.37 c 2118 20810 698 1 - 0.0000 -
2117.68/2123.48 c 2123 20878 703 1 - 0.0000 -
2122.97/2128.75 c 2129 20898 723 1 - 0.0000 -
2128.36/2134.17 c 2134 20923 712 1 - 0.0000 -
2134.44/2140.25 c 2140 20950 703 1 - 0.0000 -
2139.72/2145.51 c 2146 21044 711 1 - 0.0000 -
2144.81/2150.67 c 2151 21119 712 1 - 0.0000 -
2150.10/2155.93 c 2156 21185 716 1 - 0.0000 -
2155.38/2161.22 c 2161 21237 723 1 - 0.0000 -
2160.77/2166.67 c 2167 21309 734 1 - 0.0000 -
2166.55/2172.45 c 2172 21356 747 1 - 0.0000 -
2171.84/2177.77 c 2178 21418 745 1 - 0.0000 -
2177.02/2182.93 c 2183 21477 752 1 - 0.0000 -
2182.51/2188.45 c 2188 21519 750 1 - 0.0000 -
2189.49/2195.44 c 2195 21521 752 1 - 0.0000 -
2194.68/2200.63 c 2201 21544 757 1 - 0.0000 -
2200.57/2206.58 c 2207 21572 777 1 - 0.0000 -
2206.07/2212.05 c 2212 21650 783 1 - 0.0000 -
2211.55/2217.52 c 2218 21686 779 1 - 0.0000 -
2216.93/2222.90 c 2223 21701 792 1 - 0.0000 -
2222.32/2228.34 c 2228 21755 794 1 - 0.0000 -
2227.80/2233.88 c 2234 21794 791 1 - 0.0000 -
2233.29/2239.37 c 2239 21827 790 1 - 0.0000 -
2238.57/2244.60 c 2245 21853 794 1 - 0.0000 -
2243.76/2249.81 c 2250 22018 804 1 - 0.0000 -
2249.05/2255.15 c 2255 22103 797 1 - 0.0000 -
2254.23/2260.34 c 2260 22177 803 1 - 0.0000 -
2259.42/2265.59 c 2266 22233 801 1 - 0.0000 -
2264.70/2270.81 c 2271 22298 801 1 - 0.0000 -
2269.99/2276.13 c 2276 22345 806 1 - 0.0000 -
2275.48/2281.60 c 2282 22404 795 1 - 0.0000 -
2280.46/2286.68 c 2287 22474 803 1 - 0.0000 -
2285.75/2291.96 c 2292 22548 799 1 - 0.0000 -
2291.04/2297.26 c 2297 22588 805 1 - 0.0000 -
2296.42/2302.61 c 2303 22642 801 1 - 0.0000 -
2303.01/2309.29 c 2309 22678 799 1 - 0.0000 -
2308.20/2314.42 c 2314 22699 820 1 - 0.0000 -
2313.59/2319.87 c 2320 22839 828 1 - 0.0000 -
2319.67/2325.96 c 2326 22921 830 1 - 0.0000 -
2325.26/2331.59 c 2332 22984 841 1 - 0.0000 -
2330.54/2336.81 c 2337 23096 841 1 - 0.0000 -
2335.73/2342.02 c 2342 23148 835 1 - 0.0000 -
2341.61/2347.98 c 2348 23204 829 1 - 0.0000 -
2346.80/2353.19 c 2353 23232 829 1 - 0.0000 -
2352.79/2359.12 c 2359 23291 841 1 - 0.0000 -
2357.97/2364.37 c 2364 23326 848 1 - 0.0000 -
2363.16/2369.55 c 2370 23364 854 1 - 0.0000 -
2368.24/2374.68 c 2375 23383 843 1 - 0.0000 -
2374.53/2380.91 c 2381 23393 849 1 - 0.0000 -
2379.73/2386.16 c 2386 23461 858 1 - 0.0000 -
2385.11/2391.57 c 2392 23521 858 1 - 0.0000 -
2390.49/2396.98 c 2397 23715 866 1 - 0.0000 -
2395.68/2402.16 c 2402 23829 865 1 - 0.0000 -
2400.87/2407.33 c 2407 23913 871 1 - 0.0000 -
2406.05/2412.56 c 2413 23960 876 1 - 0.0000 -
2411.14/2417.65 c 2418 24141 881 1 - 0.0000 -
2416.23/2422.73 c 2423 24300 878 1 - 0.0000 -
2421.52/2428.03 c 2428 24431 878 1 - 0.0000 -
2426.70/2433.24 c 2433 24557 878 1 - 0.0000 -
2431.89/2438.43 c 2438 24664 881 1 - 0.0000 -
2437.27/2443.87 c 2444 24753 878 1 - 0.0000 -
2442.96/2449.54 c 2450 24823 878 1 - 0.0000 -
2448.15/2454.70 c 2455 24915 892 1 - 0.0000 -
2453.54/2460.18 c 2460 24998 885 1 - 0.0000 -
2458.82/2465.47 c 2465 25121 893 1 - 0.0000 -
2464.41/2471.04 c 2471 25216 894 1 - 0.0000 -
2469.59/2476.28 c 2476 25288 902 1 - 0.0000 -
2474.68/2481.31 c 2481 25335 896 1 - 0.0000 -
2480.17/2486.82 c 2487 25395 888 1 - 0.0000 -
2485.95/2492.68 c 2493 25456 893 1 - 0.0000 -
2491.24/2497.99 c 2498 25490 887 1 - 0.0000 -
2496.52/2503.21 c 2503 25550 905 1 - 0.0000 -
2501.71/2508.42 c 2508 25678 897 1 - 0.0000 -
2507.10/2513.85 c 2514 25735 896 1 - 0.0000 -
2512.48/2519.23 c 2519 25791 896 1 - 0.0000 -
2518.08/2524.83 c 2525 25838 881 1 - 0.0000 -
2524.06/2530.84 c 2531 25861 900 1 - 0.0000 -
2529.55/2536.39 c 2536 25932 898 1 - 0.0000 -
2534.73/2541.57 c 2542 25971 888 1 - 0.0000 -
2540.52/2547.30 c 2547 25973 890 1 - 0.0000 -
2546.00/2552.87 c 2553 26003 882 1 - 0.0000 -
2551.30/2558.18 c 2558 26059 882 1 - 0.0000 -
2557.58/2564.47 c 2564 26104 875 1 - 0.0000 -
2562.66/2569.54 c 2570 26116 879 1 - 0.0000 -
2567.95/2574.89 c 2575 26140 885 1 - 0.0000 -
2573.93/2580.85 c 2581 26236 901 1 - 0.0000 -
2579.02/2585.91 c 2586 26445 906 1 - 0.0000 -
2584.11/2591.01 c 2591 26594 895 1 - 0.0000 -
2589.59/2596.51 c 2597 26728 896 1 - 0.0000 -
2594.78/2601.70 c 2602 26828 904 1 - 0.0000 -
2599.86/2606.84 c 2607 26927 897 1 - 0.0000 -
2605.05/2612.04 c 2612 27007 907 1 - 0.0000 -
2610.34/2617.36 c 2617 27149 905 1 - 0.0000 -
2615.62/2622.63 c 2623 27239 905 1 - 0.0000 -
2620.81/2627.85 c 2628 27300 912 1 - 0.0000 -
2626.10/2633.14 c 2633 27412 918 1 - 0.0000 -
2631.28/2638.38 c 2638 27490 917 1 - 0.0000 -
2636.47/2643.53 c 2644 27544 919 1 - 0.0000 -
2641.66/2648.70 c 2649 27658 931 1 - 0.0000 -
2646.85/2653.98 c 2654 27765 931 1 - 0.0000 -
2652.14/2659.22 c 2659 27843 935 1 - 0.0000 -
2658.12/2665.26 c 2665 27906 944 1 - 0.0000 -
2663.31/2670.42 c 2670 27970 960 1 - 0.0000 -
2669.19/2676.35 c 2676 28042 958 1 - 0.0000 -
2674.48/2681.65 c 2682 28102 955 1 - 0.0000 -
2679.67/2686.89 c 2687 28184 970 1 - 0.0000 -
2685.15/2692.33 c 2692 28244 978 1 - 0.0000 -
2690.34/2697.58 c 2698 28301 983 1 - 0.0000 -
2695.53/2702.79 c 2703 28417 983 1 - 0.0000 -
2700.83/2708.01 c 2708 28509 989 1 - 0.0000 -
2706.11/2713.34 c 2713 28585 981 1 - 0.0000 -
2711.30/2718.51 c 2719 28649 989 1 - 0.0000 -
2716.38/2723.66 c 2724 28762 996 1 - 0.0000 -
2721.77/2729.01 c 2729 28840 994 1 - 0.0000 -
2727.95/2735.22 c 2735 28905 992 1 - 0.0000 -
2733.14/2740.41 c 2740 28962 994 1 - 0.0000 -
2738.43/2745.70 c 2746 29014 984 1 - 0.0000 -
2743.72/2751.08 c 2751 29061 995 1 - 0.0000 -
2749.10/2756.42 c 2756 29207 1016 1 - 0.0000 -
2754.19/2761.59 c 2762 29457 1012 1 - 0.0000 -
2759.37/2766.75 c 2767 29686 1011 1 - 0.0000 -
2764.56/2771.94 c 2772 29776 1009 1 - 0.0000 -
2769.75/2777.19 c 2777 29847 1014 1 - 0.0000 -
2775.03/2782.44 c 2782 29939 1011 1 - 0.0000 -
2781.52/2788.95 c 2789 29950 1010 1 - 0.0000 -
2787.40/2794.86 c 2795 30006 1016 1 - 0.0000 -
2792.89/2800.38 c 2800 30087 1024 1 - 0.0000 -
2798.77/2806.24 c 2806 30126 1029 1 - 0.0000 -
2804.36/2811.88 c 2812 30165 1022 1 - 0.0000 -
2810.24/2817.78 c 2818 30197 1020 1 - 0.0000 -
2816.24/2823.72 c 2824 30224 1025 1 - 0.0000 -
2821.82/2829.31 c 2829 30271 1030 1 - 0.0000 -
2826.81/2834.33 c 2834 30307 1036 1 - 0.0000 -
2832.20/2839.75 c 2840 30337 1030 1 - 0.0000 -
2838.08/2845.66 c 2846 30365 1046 1 - 0.0000 -
2843.17/2850.75 c 2851 30386 1041 1 - 0.0000 -
2848.66/2856.28 c 2856 30434 1057 1 - 0.0000 -
2853.94/2861.53 c 2862 30491 1046 1 - 0.0000 -
2859.23/2866.82 c 2867 30555 1053 1 - 0.0000 -
2864.22/2871.88 c 2872 30572 1058 1 - 0.0000 -
2870.10/2877.72 c 2878 30610 1048 1 - 0.0000 -
2875.99/2883.67 c 2884 30646 1048 1 - 0.0000 -
2881.48/2889.18 c 2889 30715 1055 1 - 0.0000 -
2887.36/2895.09 c 2895 30749 1063 1 - 0.0000 -
2892.94/2900.64 c 2901 30779 1055 1 - 0.0000 -
2898.53/2906.26 c 2906 30844 1048 1 - 0.0000 -
2903.82/2911.53 c 2912 30908 1060 1 - 0.0000 -
2908.90/2916.61 c 2917 30952 1058 1 - 0.0000 -
2914.99/2922.71 c 2923 30978 1058 1 - 0.0000 -
2920.17/2927.97 c 2928 31002 1066 1 - 0.0000 -
2925.37/2933.16 c 2933 31031 1073 1 - 0.0000 -
2930.55/2938.35 c 2938 31062 1076 1 - 0.0000 -
2935.94/2943.70 c 2944 31109 1087 1 - 0.0000 -
2941.33/2949.15 c 2949 31168 1084 1 - 0.0000 -
2946.42/2954.22 c 2954 31189 1087 1 - 0.0000 -
2952.21/2960.00 c 2960 31239 1099 1 - 0.0000 -
2958.19/2966.09 c 2966 31283 1101 1 - 0.0000 -
2963.47/2971.30 c 2971 31320 1096 1 - 0.0000 -
2970.35/2978.22 c 2978 31366 1094 1 - 0.0000 -
2976.24/2984.19 c 2984 31387 1097 1 - 0.0000 -
2981.52/2989.48 c 2989 31437 1103 1 - 0.0000 -
2988.21/2996.13 c 2996 31449 1109 1 - 0.0000 -
2993.39/3001.33 c 3001 31467 1123 1 - 0.0000 -
2999.57/3007.53 c 3008 31518 1126 1 - 0.0000 -
3005.36/3013.37 c 3013 31554 1132 1 - 0.0000 -
3010.84/3018.88 c 3019 31595 1129 1 - 0.0000 -
3016.33/3024.30 c 3024 31636 1142 1 - 0.0000 -
3021.62/3029.64 c 3030 31690 1158 1 - 0.0000 -
3026.90/3034.94 c 3035 31718 1170 1 - 0.0000 -
3032.18/3040.27 c 3040 31819 1166 1 - 0.0000 -
3037.56/3045.66 c 3046 31897 1172 1 - 0.0000 -
3042.85/3050.90 c 3051 31951 1178 1 - 0.0000 -
3048.83/3056.98 c 3057 32005 1188 1 - 0.0000 -
3054.32/3062.47 c 3062 32050 1177 1 - 0.0000 -
3060.21/3068.38 c 3068 32071 1180 1 - 0.0000 -
3065.69/3073.81 c 3074 32116 1193 1 - 0.0000 -
3071.58/3079.75 c 3080 32160 1195 1 - 0.0000 -
3076.87/3085.00 c 3085 32269 1214 1 - 0.0000 -
3082.15/3090.36 c 3090 32379 1214 1 - 0.0000 -
3087.34/3095.51 c 3096 32485 1216 1 - 0.0000 -
3092.53/3100.74 c 3101 32571 1212 1 - 0.0000 -
3097.71/3105.96 c 3106 32658 1209 1 - 0.0000 -
3103.00/3111.27 c 3111 32729 1212 1 - 0.0000 -
3108.29/3116.51 c 3117 32824 1217 1 - 0.0000 -
3113.47/3121.79 c 3122 32885 1222 1 - 0.0000 -
3118.66/3126.98 c 3127 32952 1221 1 - 0.0000 -
3123.85/3132.18 c 3132 33036 1233 1 - 0.0000 -
3129.03/3137.31 c 3137 33132 1233 1 - 0.0000 -
3134.42/3142.71 c 3143 33211 1234 1 - 0.0000 -
3139.71/3148.07 c 3148 33272 1231 1 - 0.0000 -
3145.09/3153.42 c 3153 33329 1232 1 - 0.0000 -
3150.28/3158.63 c 3159 33425 1243 1 - 0.0000 -
3155.56/3163.98 c 3164 33515 1247 1 - 0.0000 -
3160.85/3169.21 c 3169 33603 1251 1 - 0.0000 -
3166.13/3174.52 c 3175 33699 1251 1 - 0.0000 -
3171.72/3180.19 c 3180 33774 1260 1 - 0.0000 -
3177.10/3185.55 c 3186 33842 1269 1 - 0.0000 -
3182.39/3190.86 c 3191 33932 1271 1 - 0.0000 -
3187.97/3196.46 c 3196 33995 1276 1 - 0.0000 -
3193.37/3201.80 c 3202 34068 1287 1 - 0.0000 -
3198.56/3207.05 c 3207 34148 1289 1 - 0.0000 -
3203.94/3212.42 c 3212 34237 1292 1 - 0.0000 -
3209.42/3217.94 c 3218 34307 1298 1 - 0.0000 -
3214.81/3223.37 c 3223 34385 1302 1 - 0.0000 -
3219.90/3228.41 c 3228 34407 1304 1 - 0.0000 -
3225.49/3234.04 c 3234 34425 1306 1 - 0.0000 -
3231.27/3239.82 c 3240 34442 1319 1 - 0.0000 -
3237.25/3245.84 c 3246 34477 1326 1 - 0.0000 -
3242.84/3251.43 c 3251 34530 1335 1 - 0.0000 -
3249.02/3257.66 c 3258 34599 1337 1 - 0.0000 -
3254.21/3262.89 c 3263 34664 1336 1 - 0.0000 -
3259.79/3268.44 c 3268 34717 1333 1 - 0.0000 -
3265.27/3273.90 c 3274 34777 1339 1 - 0.0000 -
3270.46/3279.17 c 3279 34830 1344 1 - 0.0000 -
3276.44/3285.15 c 3285 34866 1358 1 - 0.0000 -
3281.62/3290.36 c 3290 34963 1355 1 - 0.0000 -
3286.80/3295.51 c 3296 35051 1359 1 - 0.0000 -
3292.48/3301.21 c 3301 35112 1355 1 - 0.0000 -
3297.76/3306.53 c 3307 35165 1372 1 - 0.0000 -
3303.14/3311.95 c 3312 35223 1378 1 - 0.0000 -
3308.43/3317.22 c 3317 35276 1377 1 - 0.0000 -
3314.11/3322.91 c 3323 35330 1389 1 - 0.0000 -
3319.39/3328.20 c 3328 35406 1389 1 - 0.0000 -
3324.68/3333.56 c 3334 35480 1393 1 - 0.0000 -
3330.26/3339.10 c 3339 35547 1410 1 - 0.0000 -
3335.44/3344.31 c 3344 35626 1407 1 - 0.0000 -
3340.63/3349.59 c 3350 35697 1412 1 - 0.0000 -
3346.01/3354.99 c 3355 35754 1413 1 - 0.0000 -
3351.20/3360.17 c 3360 35810 1413 1 - 0.0000 -
3356.38/3365.39 c 3365 35876 1421 1 - 0.0000 -
3361.66/3370.65 c 3371 35924 1426 1 - 0.0000 -
3366.85/3375.84 c 3376 35937 1435 1 - 0.0000 -
3372.13/3381.16 c 3381 35992 1452 1 - 0.0000 -
3377.41/3386.47 c 3386 36096 1456 1 - 0.0000 -
3382.69/3391.76 c 3392 36161 1447 1 - 0.0000 -
3387.88/3396.97 c 3397 36210 1440 1 - 0.0000 -
3393.96/3403.03 c 3403 36242 1442 1 - 0.0000 -
3399.34/3408.49 c 3408 36299 1439 1 - 0.0000 -
3404.82/3413.91 c 3414 36338 1436 1 - 0.0000 -
3410.60/3419.76 c 3420 36359 1441 1 - 0.0000 -
3416.00/3425.18 c 3425 36429 1449 1 - 0.0000 -
3421.27/3430.46 c 3430 36515 1455 1 - 0.0000 -
3426.46/3435.67 c 3436 36589 1463 1 - 0.0000 -
3432.04/3441.29 c 3441 36661 1467 1 - 0.0000 -
3437.22/3446.42 c 3446 36731 1473 1 - 0.0000 -
3442.60/3451.88 c 3452 36793 1471 1 - 0.0000 -
3448.29/3457.57 c 3458 36839 1473 1 - 0.0000 -
3453.97/3463.27 c 3463 36904 1470 1 - 0.0000 -
3460.05/3469.30 c 3469 36944 1470 1 - 0.0000 -
3465.23/3474.51 c 3475 37059 1490 1 - 0.0000 -
3470.42/3479.72 c 3480 37203 1491 1 - 0.0000 -
3475.71/3485.08 c 3485 37282 1490 1 - 0.0000 -
3480.88/3490.27 c 3490 37382 1488 1 - 0.0000 -
3486.07/3495.41 c 3495 37455 1491 1 - 0.0000 -
3491.15/3500.56 c 3501 37573 1493 1 - 0.0000 -
3496.33/3505.71 c 3506 37676 1499 1 - 0.0000 -
3501.51/3510.97 c 3511 37772 1505 1 - 0.0000 -
3507.90/3517.38 c 3517 37818 1509 1 - 0.0000 -
3513.28/3522.77 c 3523 37896 1515 1 - 0.0000 -
3518.97/3528.44 c 3528 37972 1511 1 - 0.0000 -
3524.35/3533.84 c 3534 38039 1522 1 - 0.0000 -
3529.45/3538.95 c 3539 38122 1523 1 - 0.0000 -
3534.73/3544.29 c 3544 38180 1517 1 - 0.0000 -
3540.02/3549.58 c 3550 38265 1524 1 - 0.0000 -
3546.00/3555.56 c 3556 38323 1530 1 - 0.0000 -
3551.39/3560.97 c 3561 38377 1518 1 - 0.0000 -
3556.58/3566.13 c 3566 38477 1526 1 - 0.0000 -
3561.96/3571.50 c 3572 38546 1511 1 - 0.0000 -
3567.15/3576.77 c 3577 38619 1521 1 - 0.0000 -
3572.34/3581.94 c 3582 38713 1523 1 - 0.0000 -
3577.92/3587.50 c 3588 38786 1530 1 - 0.0000 -
3583.42/3593.07 c 3593 38855 1547 1 - 0.0000 -
3588.60/3598.28 c 3598 38936 1550 1 - 0.0000 -
3590.40/3600.07 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.40/3600.07 c Total Time : 3600.0600
3590.40/3600.07 c solving : 3600.0600
3590.40/3600.07 c presolving : 0.2901 (included in solving)
3590.40/3600.07 c B&B Tree :
3590.40/3600.07 c nodes (total) : 1
3590.40/3600.07 c Solution :
3590.40/3600.07 c Solutions found : 0
3590.40/3600.07 c Primal Bound : -
3590.40/3600.07 c Dual Bound : +0.00000000000000e+00
3590.40/3600.07 c Gap : -
3590.40/3600.07 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: 63968 MiB (62467 MiB free)
memory of node 1: 64473 MiB (59479 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451740-1721426596/watcher-4451740-1721426596 -o /tmp/evaluation-result-4451740-1721426596/solver-4451740-1721426596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721423005-1028662 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4451740-1721426596.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1030902, runsolver pid=1030899
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 4.13 4.10 4.11 5/260 1030913
/proc/meminfo: memFree=125824888/131524600 swapFree=131070704/131071996
[pid=1030902] ppid=1030899 vsize=65116 memory=53672 CPUtime=0.09 cores=1,3
/proc/1030902/stat : 1030902 (fscip) R 1030899 1030902 1028650 0 -1 4194304 12635 0 0 0 7 2 0 0 20 0 1 0 194824583 66678784 13418 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
/proc/1030902/statm: 16279 13418 2638 3032 0 12679 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 65116 KiB
Current children cumulated memory: 53672 KiB
[startup+0.205535 s]*
/proc/loadavg: 4.13 4.10 4.11 4/255 1030927
/proc/meminfo: memFree=127387672/131524600 swapFree=131070704/131071996
[pid=1030902] ppid=1030899 vsize=66044 memory=55036 CPUtime=0.2 cores=1,3
/proc/1030902/stat : 1030902 (fscip) R 1030899 1030902 1028650 0 -1 4194304 14744 0 0 0 17 3 0 0 20 0 1 0 194824583 67629056 13759 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
/proc/1030902/statm: 16511 13759 2686 3032 0 12911 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 66044 KiB
Current children cumulated memory: 55036 KiB
[startup+0.305481 s]*
/proc/loadavg: 4.13 4.10 4.11 6/255 1030927
/proc/meminfo: memFree=127347992/131524600 swapFree=131070704/131071996
[pid=1030902] ppid=1030899 vsize=79512 memory=64444 CPUtime=0.3 cores=1,3
/proc/1030902/stat : 1030902 (fscip) R 1030899 1030902 1028650 0 -1 4194304 17148 0 0 0 27 3 0 0 20 0 1 0 194824583 81420288 16111 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
/proc/1030902/statm: 19878 16111 2718 3032 0 16278 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 79512 KiB
Current children cumulated memory: 64444 KiB
[startup+0.700211 s]
/proc/loadavg: 4.13 4.10 4.11 5/255 1030975
/proc/meminfo: memFree=127264996/131524600 swapFree=131070704/131071996
[pid=1030902] ppid=1030899 vsize=183792 memory=148984 CPUtime=0.69 cores=1,3
/proc/1030902/stat : 1030902 (fscip) S 1030899 1030902 1028650 0 -1 1077936128 40638 0 0 0 63 6 0 0 20 0 3 0 194824583 188203008 37246 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
/proc/1030902/statm: 45948 37246 2814 3032 0 42306 0
[pid=1030902/tid=1030937] ppid=1030899 vsize=183792 memory=39380 CPUtime=0.34 cores=1,3
/proc/1030902/task/1030937/stat : 1030937 (fscip) R 1030899 1030902 1028650 0 -1 4194368 18091 0 0 0 32 2 0 0 20 0 3 0 194824617 188203008 37246 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
[pid=1030902/tid=1030946] ppid=1030899 vsize=183792 memory=11648 CPUtime=0 cores=1,3
/proc/1030902/task/1030946/stat : 1030946 (fscip) S 1030899 1030902 1028650 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194824620 188203008 37246 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 183792 KiB
Current children cumulated memory: 148984 KiB
[startup+1.5002 s]
/proc/loadavg: 4.13 4.10 4.11 4/254 1031040
/proc/meminfo: memFree=127216736/131524600 swapFree=131070704/131071996
[pid=1030902] ppid=1030899 vsize=250860 memory=157984 CPUtime=1.48 cores=1,3
/proc/1030902/stat : 1030902 (fscip) S 1030899 1030902 1028650 0 -1 1077936128 44738 0 0 0 142 6 0 0 20 0 3 0 194824583 256880640 39496 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
/proc/1030902/statm: 62715 39496 2910 3032 0 44612 0
[pid=1030902/tid=1030937] ppid=1030899 vsize=250860 memory=11648 CPUtime=1.13 cores=1,3
/proc/1030902/task/1030937/stat : 1030937 (fscip) R 1030899 1030902 1028650 0 -1 4194368 22185 0 0 0 111 2 0 0 20 0 3 0 194824617 256880640 39496 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
[pid=1030902/tid=1030946] ppid=1030899 vsize=250860 memory=0 CPUtime=0 cores=1,3
/proc/1030902/task/1030946/stat : 1030946 (fscip) S 1030899 1030902 1028650 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 194824620 256880640 39496 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 250860 KiB
Current children cumulated memory: 157984 KiB
[startup+3.10533 s]
/proc/loadavg: 4.13 4.10 4.11 5/264 1031059
/proc/meminfo: memFree=126802932/131524600 swapFree=131070704/131071996
[pid=1030902] ppid=1030899 vsize=250860 memory=160244 CPUtime=3.08 cores=1,3
/proc/1030902/stat : 1030902 (fscip) S 1030899 1030902 1028650 0 -1 1077936128 45368 0 0 0 302 6 0 0 20 0 3 0 194824583 256880640 40061 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
/proc/1030902/statm: 62715 40061 2910 3032 0 45166 0
[pid=1030902/tid=1030937] ppid=1030899 vsize=250860 memory=0 CPUtime=2.73 cores=1,3
/proc/1030902/task/1030937/stat : 1030937 (fscip) R 1030899 1030902 1028650 0 -1 4194368 22815 0 0 0 271 2 0 0 20 0 3 0 194824617 256880640 40061 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
[pid=1030902/tid=1030946] ppid=1030899 vsize=250860 memory=-7736474891278507648 CPUtime=0 cores=1,3
/proc/1030902/task/1030946/stat : 1030946 (fscip) S 1030899 1030902 1028650 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 194824620 256880640 40061 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 250860 KiB
Current children cumulated memory: 160244 KiB
[startup+6.3002 s]
/proc/loadavg: 4.12 4.10 4.11 5/264 1031153
/proc/meminfo: memFree=126677376/131524600 swapFree=131070704/131071996
[pid=1030902] ppid=1030899 vsize=250860 memory=163832 CPUtime=6.27 cores=1,3
/proc/1030902/stat : 1030902 (fscip) S 1030899 1030902 1028650 0 -1 1077936128 53594 0 0 0 620 7 0 0 20 0 3 0 194824583 256880640 40958 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
/proc/1030902/statm: 62715 40958 2910 3032 0 45958 0
[pid=1030902/tid=1030937] ppid=1030899 vsize=250860 memory=4212 CPUtime=5.92 cores=1,3
/proc/1030902/task/1030937/stat : 1030937 (fscip) R 1030899 1030902 1028650 0 -1 4194368 31036 0 0 0 589 3 0 0 20 0 3 0 194824617 256880640 40958 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
[pid=1030902/tid=1030946] ppid=1030899 vsize=250860 memory=11648 CPUtime=0 cores=1,3
/proc/1030902/task/1030946/stat : 1030946 (fscip) S 1030899 1030902 1028650 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 194824620 256880640 40958 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 250860 KiB
Current children cumulated memory: 163832 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.11 5/264 1031155
/proc/meminfo: memFree=126562552/131524600 swapFree=131070704/131071996
[pid=1030902] ppid=1030899 vsize=316396 memory=231036 CPUtime=12.65 cores=1,3
/proc/1030902/stat : 1030902 (fscip) S 1030899 1030902 1028650 0 -1 1077936128 101246 0 0 0 1254 11 0 0 20 0 3 0 194824583 323989504 57759 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
/proc/1030902/statm: 79099 57759 2926 3032 0 63125 0
[pid=1030902/tid=1030937] ppid=1030899 vsize=316396 memory=2280 CPUtime=12.3 cores=1,3
/proc/1030902/task/1030937/stat : 1030937 (fscip) R 1030899 1030902 1028650 0 -1 4194368 78680 0 0 0 1223 7 0 0 20 0 3 0 194824617 323989504 57759 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
[pid=1030902/tid=1030946] ppid=1030899 vsize=316396 memory=-7736474891278507648 CPUtime=0 cores=1,3
/proc/1030902/task/1030946/stat : 1030946 (fscip) S 1030899 1030902 1028650 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 194824620 323989504 57759 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 316396 KiB
Current children cumulated memory: 231036 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.10 5/264 1031204
/proc/meminfo: memFree=126448800/131524600 swapFree=131070704/131071996
[pid=1030902] ppid=1030899 vsize=381932 memory=317640 CPUtime=25.41 cores=1,3
/proc/1030902/stat : 1030902 (fscip) S 1030899 1030902 1028650 0 -1 1077936128 157346 0 0 0 2524 17 0 0 20 0 3 0 194824583 391098368 79410 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
/proc/1030902/statm: 95483 79410 2926 3032 0 88033 0
[pid=1030902/tid=1030937] ppid=1030899 vsize=381932 memory=294612 CPUtime=25.06 cores=1,3
/proc/1030902/task/1030937/stat : 1030937 (fscip) R 1030899 1030902 1028650 0 -1 4194368 134749 0 0 0 2493 13 0 0 20 0 3 0 194824617 391098368 79410 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
[pid=1030902/tid=1030946] ppid=1030899 vsize=381932 memory=283756 CPUtime=0 cores=1,3
/proc/1030902/task/1030946/stat : 1030946 (fscip) S 1030899 1030902 1028650 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 194824620 391098368 79410 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 381932 KiB
Current children cumulated memory: 317640 KiB
[startup+51.1054 s]
/proc/loadavg: 4.12 4.10 4.10 5/264 1031210
/proc/meminfo: memFree=126323216/131524600 swapFree=131070704/131071996
[pid=1030902] ppid=1030899 vsize=381932 memory=326812 CPUtime=50.94 cores=1,3
/proc/1030902/stat : 1030902 (fscip) S 1030899 1030902 1028650 0 -1 1077936128 218061 0 0 0 5074 20 0 0 20 0 3 0 194824583 391098368 81703 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
/proc/1030902/statm: 95483 81703 2926 3032 0 88033 0
[pid=1030902/tid=1030937] ppid=1030899 vsize=381932 memory=324496 CPUtime=50.59 cores=1,3
/proc/1030902/task/1030937/stat : 1030937 (fscip) R 1030899 1030902 1028650 0 -1 4194368 195420 0 0 0 5043 16 0 0 20 0 3 0 194824617 391098368 81703 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
[pid=1030902/tid=1030946] ppid=1030899 vsize=381932 memory=326664 CPUtime=0 cores=1,3
/proc/1030902/task/1030946/stat : 1030946 (fscip) S 1030899 1030902 1028650 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 194824620 391098368 81703 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 381932 KiB
Current children cumulated memory: 326812 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.10 4.10 5/264 1031265
/proc/meminfo: memFree=126221268/131524600 swapFree=131070704/131071996
[pid=1030902] ppid=1030899 vsize=447468 memory=354132 CPUtime=102.01 cores=1,3
/proc/1030902/stat : 1030902 (fscip) S 1030899 1030902 1028650 0 -1 1077936128 280563 0 0 0 10175 26 0 0 20 0 3 0 194824583 458207232 88533 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
/proc/1030902/statm: 111867 88533 2974 3032 0 93901 0
[pid=1030902/tid=1030937] ppid=1030899 vsize=447468 memory=11648 CPUtime=101.65 cores=1,3
/proc/1030902/task/1030937/stat : 1030937 (fscip) R 1030899 1030902 1028650 0 -1 4194368 257866 0 0 0 10143 22 0 0 20 0 3 0 194824617 458207232 88533 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
[pid=1030902/tid=1030946] ppid=1030899 vsize=447468 memory=0 CPUtime=0 cores=1,3
/proc/1030902/task/1030946/stat : 1030946 (fscip) S 1030899 1030902 1028650 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 194824620 458207232 88533 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 447468 KiB
Current children cumulated memory: 354132 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 1031275
/proc/meminfo: memFree=126168004/131524600 swapFree=131070704/131071996
[pid=1030902] ppid=1030899 vsize=447468 memory=355448 CPUtime=161.85 cores=1,3
/proc/1030902/stat : 1030902 (fscip) S 1030899 1030902 1028650 0 -1 1077936128 312875 0 0 0 16157 28 0 0 20 0 3 0 194824583 458207232 88862 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
/proc/1030902/statm: 111867 88862 2974 3032 0 93901 0
[pid=1030902/tid=1030937] ppid=1030899 vsize=447468 memory=0 CPUtime=161.5 cores=1,3
/proc/1030902/task/1030937/stat : 1030937 (fscip) R 1030899 1030902 1028650 0 -1 4194368 290126 0 0 0 16126 24 0 0 20 0 3 0 194824617 458207232 88862 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
[pid=1030902/tid=1030946] ppid=1030899 vsize=447468 memory=354216 CPUtime=0 cores=1,3
/proc/1030902/task/1030946/stat : 1030946 (fscip) S 1030899 1030902 1028650 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 194824620 458207232 88862 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 447468 KiB
Current children cumulated memory: 355448 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/266 1031301
/proc/meminfo: memFree=126117928/131524600 swapFree=131070704/131071996
[pid=1030902] ppid=1030899 vsize=447468 memory=393784 CPUtime=221.7 cores=1,3
/proc/1030902/stat : 1030902 (fscip) S 1030899 1030902 1028650 0 -1 1077936128 338068 0 0 0 22139 31 0 0 20 0 3 0 194824583 458207232 98446 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
/proc/1030902/statm: 111867 98446 2974 3032 0 102095 0
[pid=1030902/tid=1030937] ppid=1030899 vsize=447468 memory=0 CPUtime=221.35 cores=1,3
/proc/1030902/task/1030937/stat : 1030937 (fscip) R 1030899 1030902 1028650 0 -1 4194368 315273 0 0 0 22108 27 0 0 20 0 3 0 194824617 458207232 98446 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
[pid=1030902/tid=1030946] ppid=1030899 vsize=447468 memory=390172 CPUtime=0 cores=1,3
/proc/1030902/task/1030946/stat : 1030946 (fscip) S 1030899 1030902 1028650 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 194824620 458207232 98446 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
################
# More data... #
################
/proc/1030902/statm: 128251 108611 2990 3032 0 111019 0
[pid=1030902/tid=1030937] ppid=1030899 vsize=513004 memory=11648 CPUtime=3392.7 cores=1,3
/proc/1030902/task/1030937/stat : 1030937 (fscip) R 1030899 1030902 1028650 0 -1 4194368 432808 0 0 0 339217 53 0 0 20 0 3 0 194824617 525316096 108611 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
[pid=1030902/tid=1030946] ppid=1030899 vsize=513004 memory=434444 CPUtime=0.03 cores=1,3
/proc/1030902/task/1030946/stat : 1030946 (fscip) S 1030899 1030902 1028650 0 -1 1077936192 130 0 0 0 1 2 0 0 20 0 3 0 194824620 525316096 108611 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
Current children cumulated CPU time: 3393.26 s
Current children cumulated vsize: 513004 KiB
Current children cumulated memory: 434444 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/266 1033741
/proc/meminfo: memFree=124917840/131524600 swapFree=131070704/131071996
[pid=1030902] ppid=1030899 vsize=513004 memory=434444 CPUtime=3453.07 cores=1,3
/proc/1030902/stat : 1030902 (fscip) S 1030899 1030902 1028650 0 -1 1077936128 457885 0 0 0 345243 64 0 0 20 0 3 0 194824583 525316096 108611 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
/proc/1030902/statm: 128251 108611 2990 3032 0 111019 0
[pid=1030902/tid=1030937] ppid=1030899 vsize=513004 memory=11648 CPUtime=3452.51 cores=1,3
/proc/1030902/task/1030937/stat : 1030937 (fscip) R 1030899 1030902 1028650 0 -1 4194368 433906 0 0 0 345197 54 0 0 20 0 3 0 194824617 525316096 108611 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
[pid=1030902/tid=1030946] ppid=1030899 vsize=513004 memory=434444 CPUtime=0.03 cores=1,3
/proc/1030902/task/1030946/stat : 1030946 (fscip) S 1030899 1030902 1028650 0 -1 1077936192 131 0 0 0 1 2 0 0 20 0 3 0 194824620 525316096 108611 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
Current children cumulated CPU time: 3453.07 s
Current children cumulated vsize: 513004 KiB
Current children cumulated memory: 434444 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/266 1033751
/proc/meminfo: memFree=124896864/131524600 swapFree=131070704/131071996
[pid=1030902] ppid=1030899 vsize=513004 memory=453328 CPUtime=3512.88 cores=1,3
/proc/1030902/stat : 1030902 (fscip) S 1030899 1030902 1028650 0 -1 1077936128 463939 0 0 0 351223 65 0 0 20 0 3 0 194824583 525316096 113332 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
/proc/1030902/statm: 128251 113332 2990 3032 0 116040 0
[pid=1030902/tid=1030937] ppid=1030899 vsize=513004 memory=453328 CPUtime=3512.32 cores=1,3
/proc/1030902/task/1030937/stat : 1030937 (fscip) R 1030899 1030902 1028650 0 -1 4194368 439935 0 0 0 351177 55 0 0 20 0 3 0 194824617 525316096 113332 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
[pid=1030902/tid=1030946] ppid=1030899 vsize=513004 memory=15996 CPUtime=0.03 cores=1,3
/proc/1030902/task/1030946/stat : 1030946 (fscip) S 1030899 1030902 1028650 0 -1 1077936192 132 0 0 0 1 2 0 0 20 0 3 0 194824620 525316096 113332 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
Current children cumulated CPU time: 3512.88 s
Current children cumulated vsize: 513004 KiB
Current children cumulated memory: 453328 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/265 1033761
/proc/meminfo: memFree=124888200/131524600 swapFree=131070704/131071996
[pid=1030902] ppid=1030899 vsize=513004 memory=453328 CPUtime=3572.74 cores=1,3
/proc/1030902/stat : 1030902 (fscip) S 1030899 1030902 1028650 0 -1 1077936128 465366 0 0 0 357208 66 0 0 20 0 3 0 194824583 525316096 113332 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
/proc/1030902/statm: 128251 113332 2990 3032 0 116040 0
[pid=1030902/tid=1030937] ppid=1030899 vsize=513004 memory=453328 CPUtime=3572.16 cores=1,3
/proc/1030902/task/1030937/stat : 1030937 (fscip) R 1030899 1030902 1028650 0 -1 4194368 441340 0 0 0 357161 55 0 0 20 0 3 0 194824617 525316096 113332 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
[pid=1030902/tid=1030946] ppid=1030899 vsize=513004 memory=5432 CPUtime=0.03 cores=1,3
/proc/1030902/task/1030946/stat : 1030946 (fscip) S 1030899 1030902 1028650 0 -1 1077936192 133 0 0 0 1 2 0 0 20 0 3 0 194824620 525316096 113332 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
Current children cumulated CPU time: 3572.74 s
Current children cumulated vsize: 513004 KiB
Current children cumulated memory: 453328 KiB
[startup+3600.08 s]
# the end of solver process 1030902 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.81 s, system=0.673302 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.13 4.09 5/265 1033762
/proc/meminfo: memFree=124888364/131524600 swapFree=131070704/131071996
[pid=1030902] ppid=1030899 vsize=513004 memory=453328 CPUtime=3574.44 cores=1,3
/proc/1030902/stat : 1030902 (fscip) S 1030899 1030902 1028650 0 -1 1077936128 465414 0 0 0 357378 66 0 0 20 0 3 0 194824583 525316096 113332 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
/proc/1030902/statm: 128251 113332 2990 3032 0 116040 0
[pid=1030902/tid=1030937] ppid=1030899 vsize=513004 memory=-6736677805779553386 CPUtime=3573.86 cores=1,3
/proc/1030902/task/1030937/stat : 1030937 (fscip) R 1030899 1030902 1028650 0 -1 4194368 441388 0 0 0 357331 55 0 0 20 0 3 0 194824617 525316096 113332 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
[pid=1030902/tid=1030946] ppid=1030899 vsize=513004 memory=1401065475718078522 CPUtime=0.03 cores=1,3
/proc/1030902/task/1030946/stat : 1030946 (fscip) S 1030899 1030902 1028650 0 -1 1077936192 133 0 0 0 1 2 0 0 20 0 3 0 194824620 525316096 113332 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
Current children cumulated CPU time: 3574.44 s
Current children cumulated vsize: 513004 KiB
Current children cumulated memory: 453328 KiB
[startup+3590.4 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 1033764
/proc/meminfo: memFree=124888376/131524600 swapFree=131070704/131071996
[pid=1030902] ppid=1030899 vsize=513004 memory=453328 CPUtime=3580.82 cores=1,3
/proc/1030902/stat : 1030902 (fscip) S 1030899 1030902 1028650 0 -1 1077936128 465521 0 0 0 358016 66 0 0 20 0 3 0 194824583 525316096 113332 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
/proc/1030902/statm: 128251 113332 2990 3032 0 116040 0
[pid=1030902/tid=1030937] ppid=1030899 vsize=513004 memory=453328 CPUtime=3580.24 cores=1,3
/proc/1030902/task/1030937/stat : 1030937 (fscip) R 1030899 1030902 1028650 0 -1 4194368 441495 0 0 0 357969 55 0 0 20 0 3 0 194824617 525316096 113332 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
[pid=1030902/tid=1030946] ppid=1030899 vsize=513004 memory=453328 CPUtime=0.03 cores=1,3
/proc/1030902/task/1030946/stat : 1030946 (fscip) S 1030899 1030902 1028650 0 -1 1077936192 133 0 0 0 1 2 0 0 20 0 3 0 194824620 525316096 113332 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
Current children cumulated CPU time: 3580.82 s
Current children cumulated vsize: 513004 KiB
Current children cumulated memory: 453328 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 1033764
/proc/meminfo: memFree=124888360/131524600 swapFree=131070704/131071996
[pid=1030902] ppid=1030899 vsize=513004 memory=453328 CPUtime=3587.2 cores=1,3
/proc/1030902/stat : 1030902 (fscip) S 1030899 1030902 1028650 0 -1 1077936128 465657 0 0 0 358654 66 0 0 20 0 3 0 194824583 525316096 113332 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
/proc/1030902/statm: 128251 113332 2990 3032 0 116040 0
[pid=1030902/tid=1030937] ppid=1030899 vsize=513004 memory=453328 CPUtime=3586.62 cores=1,3
/proc/1030902/task/1030937/stat : 1030937 (fscip) R 1030899 1030902 1028650 0 -1 4194368 441631 0 0 0 358607 55 0 0 20 0 3 0 194824617 525316096 113332 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
[pid=1030902/tid=1030946] ppid=1030899 vsize=513004 memory=453328 CPUtime=0.03 cores=1,3
/proc/1030902/task/1030946/stat : 1030946 (fscip) S 1030899 1030902 1028650 0 -1 1077936192 133 0 0 0 1 2 0 0 20 0 3 0 194824620 525316096 113332 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
Current children cumulated CPU time: 3587.2 s
Current children cumulated vsize: 513004 KiB
Current children cumulated memory: 453328 KiB
[startup+3598.4 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 1033765
/proc/meminfo: memFree=124888324/131524600 swapFree=131070704/131071996
[pid=1030902] ppid=1030899 vsize=513004 memory=453328 CPUtime=3588.8 cores=1,3
/proc/1030902/stat : 1030902 (fscip) S 1030899 1030902 1028650 0 -1 1077936128 465658 0 0 0 358814 66 0 0 20 0 3 0 194824583 525316096 113332 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
/proc/1030902/statm: 128251 113332 2990 3032 0 116040 0
[pid=1030902/tid=1030937] ppid=1030899 vsize=513004 memory=453328 CPUtime=3588.22 cores=1,3
/proc/1030902/task/1030937/stat : 1030937 (fscip) R 1030899 1030902 1028650 0 -1 4194368 441632 0 0 0 358767 55 0 0 20 0 3 0 194824617 525316096 113332 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
[pid=1030902/tid=1030946] ppid=1030899 vsize=513004 memory=46416 CPUtime=0.03 cores=1,3
/proc/1030902/task/1030946/stat : 1030946 (fscip) S 1030899 1030902 1028650 0 -1 1077936192 133 0 0 0 1 2 0 0 20 0 3 0 194824620 525316096 113332 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
Current children cumulated CPU time: 3588.8 s
Current children cumulated vsize: 513004 KiB
Current children cumulated memory: 453328 KiB
[startup+3599.2 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 1033765
/proc/meminfo: memFree=124888332/131524600 swapFree=131070704/131071996
[pid=1030902] ppid=1030899 vsize=513004 memory=453328 CPUtime=3589.59 cores=1,3
/proc/1030902/stat : 1030902 (fscip) S 1030899 1030902 1028650 0 -1 1077936128 465658 0 0 0 358893 66 0 0 20 0 3 0 194824583 525316096 113332 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
/proc/1030902/statm: 128251 113332 2990 3032 0 116040 0
[pid=1030902/tid=1030937] ppid=1030899 vsize=513004 memory=46416 CPUtime=3589.02 cores=1,3
/proc/1030902/task/1030937/stat : 1030937 (fscip) R 1030899 1030902 1028650 0 -1 4194368 441632 0 0 0 358847 55 0 0 20 0 3 0 194824617 525316096 113332 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
[pid=1030902/tid=1030946] ppid=1030899 vsize=513004 memory=12952 CPUtime=0.03 cores=1,3
/proc/1030902/task/1030946/stat : 1030946 (fscip) S 1030899 1030902 1028650 0 -1 1077936192 133 0 0 0 1 2 0 0 20 0 3 0 194824620 525316096 113332 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
Current children cumulated CPU time: 3589.59 s
Current children cumulated vsize: 513004 KiB
Current children cumulated memory: 453328 KiB
[startup+3599.6 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 1033765
/proc/meminfo: memFree=124888332/131524600 swapFree=131070704/131071996
[pid=1030902] ppid=1030899 vsize=513004 memory=453328 CPUtime=3589.99 cores=1,3
/proc/1030902/stat : 1030902 (fscip) S 1030899 1030902 1028650 0 -1 1077936128 465658 0 0 0 358933 66 0 0 20 0 3 0 194824583 525316096 113332 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
/proc/1030902/statm: 128251 113332 2990 3032 0 116040 0
[pid=1030902/tid=1030937] ppid=1030899 vsize=513004 memory=18984 CPUtime=3589.42 cores=1,3
/proc/1030902/task/1030937/stat : 1030937 (fscip) R 1030899 1030902 1028650 0 -1 4194368 441632 0 0 0 358887 55 0 0 20 0 3 0 194824617 525316096 113332 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
[pid=1030902/tid=1030946] ppid=1030899 vsize=513004 memory=2204 CPUtime=0.03 cores=1,3
/proc/1030902/task/1030946/stat : 1030946 (fscip) S 1030899 1030902 1028650 0 -1 1077936192 133 0 0 0 1 2 0 0 20 0 3 0 194824620 525316096 113332 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
Current children cumulated CPU time: 3589.99 s
Current children cumulated vsize: 513004 KiB
Current children cumulated memory: 453328 KiB
[startup+3600 s]*
/proc/loadavg: 4.09 4.12 4.09 5/265 1033765
/proc/meminfo: memFree=124888324/131524600 swapFree=131070704/131071996
[pid=1030902] ppid=1030899 vsize=513004 memory=453328 CPUtime=3590.4 cores=1,3
/proc/1030902/stat : 1030902 (fscip) R 1030899 1030902 1028650 0 -1 1077936128 465673 0 0 0 358974 66 0 0 20 0 3 0 194824583 525316096 113332 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
/proc/1030902/statm: 128251 113332 2990 3032 0 116040 0
[pid=1030902/tid=1030937] ppid=1030899 vsize=513004 memory=-6736677805779553386 CPUtime=3589.82 cores=1,3
/proc/1030902/task/1030937/stat : 1030937 (fscip) R 1030899 1030902 1028650 0 -1 4194368 441647 0 0 0 358927 55 0 0 20 0 3 0 194824617 525316096 113332 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
[pid=1030902/tid=1030946] ppid=1030899 vsize=513004 memory=1401065475718078522 CPUtime=0.03 cores=1,3
/proc/1030902/task/1030946/stat : 1030946 (fscip) S 1030899 1030902 1028650 0 -1 1077936192 133 0 0 0 1 2 0 0 20 0 3 0 194824620 525316096 113332 134679101440 4194304 16613245 140721200112640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57098240 140721200116755 140721200116871 140721200116871 140721200123888 0
Current children cumulated CPU time: 3590.4 s
Current children cumulated vsize: 513004 KiB
Current children cumulated memory: 453328 KiB
Child status: 0
Real time (s): 3600.08
CPU time (s): 3590.49
CPU user time (s): 3589.81
CPU system time (s): 0.673302
CPU usage (%): 99.7334
Max. virtual memory (cumulated for all children) (KiB): 513004
Max. memory (cumulated for all children) (KiB): 453328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.81
system time used= 0.673302
maximum resident set size= 453328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 467091
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= 9772
involuntary context switches= 1275
# summary of solver processes directly reported to runsolver:
# pid: 1030902
# total CPU time (s): 3590.49
# total CPU user time (s): 3589.81
# total CPU system time (s): 0.673302
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.11634 second user time and 16.9155 second system time
The end
Begin job on nodeC023 at 2024-07-20 00:03:29
IDJOB=4451740
IDBENCH=162627
IDSOLVER=3064
FILE ID=nodeC023/4451740-1721426596
RUNJOBID= nodeC023-1721423005-1028662
SLURM_JOB_ID= 7545608
Free space on /tmp= 890028 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_11.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-4451740-1721426596/watcher-4451740-1721426596 -o /tmp/evaluation-result-4451740-1721426596/solver-4451740-1721426596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721423005-1028662 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4451740-1721426596.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 66b8e371687d4e403b47b4700770389d
RANDOM SEED=1295738296
nodeC023.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 : 3660.390
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.61
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 : 3669.048
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 : 7005.48
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 : 3660.822
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.61
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 : 3669.614
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 : 7005.48
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 : 3660.832
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.61
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.013
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 : 7005.48
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 : 3612.522
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.61
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 : 3599.982
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 : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124867088 kB
MemAvailable: 127064496 kB
Buffers: 562272 kB
Cached: 2471132 kB
SwapCached: 80 kB
Active: 1188836 kB
Inactive: 4895128 kB
Active(anon): 1564 kB
Inactive(anon): 3094400 kB
Active(file): 1187272 kB
Inactive(file): 1800728 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 89404 kB
Writeback: 4 kB
AnonPages: 3001976 kB
Mapped: 130092 kB
Shmem: 45728 kB
KReclaimable: 98460 kB
Slab: 192440 kB
SReclaimable: 98460 kB
SUnreclaim: 93980 kB
KernelStack: 4080 kB
PageTables: 15144 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 987372 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 33760 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1458176 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: 316116 kB
DirectMap2M: 38254592 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 889964 MiB
End job on nodeC023 at 2024-07-20 01:03:29