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.51/0.58 c Default LC presolving (default).
0.51/0.59 c ** Before presolving: virtualMemUsedAtLc = 201896203, getVmSize() = 139022336, SCIPgetMemUsed() = 99658308, SCIPgetMemTotal() = 109922876, SCIPgetMemExternEstim() = 91973327
0.51/0.59 c ** set memory limit for presolving in LC to 8.79603e+12 for SCIP **
2.98/3.11 c ** Estimated virtualMemUsedAtSolver = 327715541, getVmSize() = 438878208, SCIPgetMemUsed() = 242821857, SCIPgetMemTotal() = 399599985, SCIPgetMemExternEstim() = 91973327
2.98/3.11 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
2.98/3.11 c Original Problem :
2.98/3.11 c Problem name : instance-4464050-1722378594
2.98/3.11 c Variables : 1272 (1272 binary, 0 integer, 0 implicit integer, 0 continuous)
2.98/3.11 c Constraints : 94289
2.98/3.11 c Objective sense : minimize
2.98/3.11 c Presolved Problem :
2.98/3.11 c Variables : 1272 (1272 binary, 0 integer, 0 implicit integer, 0 continuous)
2.98/3.11 c Constraints : 94289
2.98/3.11 c Constraints : Number
2.98/3.11 c setppc : 94289
2.98/3.11 c ** Instance transfer method used: 0
3.17/3.24 c ** ParaScipInstance copy does not increase the number of variables. **
3.37/3.49 c LC is working with racing ramp-up and with rebuilding tree after racing.
3.37/3.49 c Nodes Active
3.37/3.49 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
6.65/6.74 c * 7 0 1 1 -33.0000 - -
6.65/6.74 c 7 0 1 1 -33.0000 - -
7.07/7.17 c * 7 0 1 1 -35.0000 - -
44.03/44.21 c 44 2 1 1 -35.0000 -53.0000 51.43%
50.72/50.95 c 51 12 11 1 -35.0000 -53.0000 51.43%
57.19/57.49 c 57 18 17 1 -35.0000 -53.0000 51.43%
63.89/64.18 c 64 31 30 1 -35.0000 -53.0000 51.43%
73.25/73.55 c 74 39 38 1 -35.0000 -53.0000 51.43%
78.33/78.69 c 79 51 50 1 -35.0000 -53.0000 51.43%
86.51/86.88 c 87 59 58 1 -35.0000 -53.0000 51.43%
92.20/92.52 c 93 72 71 1 -35.0000 -53.0000 51.43%
92.39/92.77 c * 93 72 71 1 -39.0000 -53.0000 35.90%
92.50/92.80 c * 93 72 71 1 -42.0000 -53.0000 26.19%
99.88/100.29 c 100 87 86 1 -42.0000 -53.0000 26.19%
106.36/106.72 c 107 92 91 1 -42.0000 -53.0000 26.19%
112.14/112.52 c 113 100 99 1 -42.0000 -53.0000 26.19%
117.22/117.69 c 118 110 109 1 -42.0000 -53.0000 26.19%
122.31/122.77 c 123 116 115 1 -42.0000 -53.0000 26.19%
127.80/128.20 c 128 126 125 1 -42.0000 -53.0000 26.19%
132.78/133.23 c 133 137 136 1 -42.0000 -53.0000 26.19%
138.35/138.87 c 139 161 152 1 -42.0000 -53.0000 26.19%
143.74/144.22 c 144 216 201 1 -42.0000 -53.0000 26.19%
149.42/149.91 c 150 273 242 1 -42.0000 -53.0000 26.19%
154.80/155.33 c 155 313 268 1 -42.0000 -53.0000 26.19%
159.88/160.44 c 160 342 293 1 -42.0000 -53.0000 26.19%
165.27/165.82 c 166 381 324 1 -42.0000 -53.0000 26.19%
170.85/171.41 c 171 459 388 1 -42.0000 -53.0000 26.19%
176.44/177.09 c 177 532 439 1 -42.0000 -53.0000 26.19%
178.22/178.88 c * 179 563 462 1 -43.0000 -53.0000 23.26%
181.91/182.53 c 183 627 466 1 -43.0000 -53.0000 23.26%
187.70/188.38 c 188 726 539 1 -43.0000 -53.0000 23.26%
193.27/193.90 c 194 787 590 1 -43.0000 -53.0000 23.26%
199.16/199.87 c 200 861 652 1 -43.0000 -53.0000 23.26%
205.14/205.80 c 206 901 692 1 -43.0000 -53.0000 23.26%
211.72/212.41 c 212 928 719 1 -43.0000 -53.0000 23.26%
216.71/217.43 c 217 971 762 1 -43.0000 -53.0000 23.26%
222.09/222.82 c 223 1024 815 1 -43.0000 -53.0000 23.26%
227.98/228.79 c 229 1112 903 1 -43.0000 -53.0000 23.26%
231.46/232.23 c * 232 1153 944 1 -44.0000 -53.0000 20.45%
233.66/234.49 c 234 1178 918 1 -44.0000 -53.0000 20.45%
240.44/241.30 c 241 1221 961 1 -44.0000 -53.0000 20.45%
245.73/246.54 c 247 1253 993 1 -44.0000 -53.0000 20.45%
250.90/251.74 c 252 1328 1066 1 -44.0000 -53.0000 20.45%
256.48/257.32 c 257 1387 1125 1 -44.0000 -53.0000 20.45%
262.56/263.42 c 263 1448 1186 1 -44.0000 -53.0000 20.45%
267.56/268.47 c 268 1493 1231 1 -44.0000 -53.0000 20.45%
272.94/273.81 c 274 1545 1283 1 -44.0000 -53.0000 20.45%
278.82/279.71 c 280 1604 1342 1 -44.0000 -53.0000 20.45%
284.00/285.01 c 285 1689 1425 1 -44.0000 -53.0000 20.45%
292.38/293.39 c 293 1748 1484 1 -44.0000 -53.0000 20.45%
298.26/299.23 c 299 1782 1518 1 -44.0000 -53.0000 20.45%
303.44/304.50 c 304 1864 1600 1 -44.0000 -53.0000 20.45%
308.73/309.75 c 310 1880 1614 1 -44.0000 -53.0000 20.45%
313.91/315.01 c 315 1896 1630 1 -44.0000 -53.0000 20.45%
320.58/321.69 c 322 1969 1703 1 -44.0000 -53.0000 20.45%
328.85/329.95 c 330 2040 1772 1 -44.0000 -53.0000 20.45%
336.14/337.22 c 337 2072 1804 1 -44.0000 -53.0000 20.45%
342.93/344.02 c 344 2146 1874 1 -44.0000 -53.0000 20.45%
347.80/348.94 c * 349 2167 1895 1 -45.0000 -53.0000 17.78%
353.08/354.25 c 354 2187 1843 1 -45.0000 -53.0000 17.78%
358.48/359.68 c 360 2234 1890 1 -45.0000 -53.0000 17.78%
363.66/364.88 c 365 2320 1972 1 -45.0000 -53.0000 17.78%
368.86/370.05 c 370 2374 2028 1 -45.0000 -53.0000 17.78%
374.43/375.63 c 376 2436 2082 1 -45.0000 -53.0000 17.78%
381.71/382.99 c 383 2477 2123 1 -45.0000 -53.0000 17.78%
387.69/388.92 c 389 2498 2144 1 -45.0000 -53.0000 17.78%
392.68/393.99 c 394 2586 2224 1 -45.0000 -53.0000 17.78%
399.95/401.22 c 401 2664 2296 1 -45.0000 -53.0000 17.78%
406.33/407.62 c 408 2737 2361 1 -45.0000 -53.0000 17.78%
413.11/414.48 c 414 2773 2397 1 -45.0000 -53.0000 17.78%
419.19/420.58 c 421 2825 2445 1 -45.0000 -53.0000 17.78%
425.17/426.53 c 427 2897 2515 1 -45.0000 -53.0000 17.78%
432.95/434.34 c 434 2939 2555 1 -45.0000 -53.0000 17.78%
439.03/440.46 c 440 2967 2583 1 -45.0000 -53.0000 17.78%
444.12/445.56 c 446 3027 2639 1 -45.0000 -53.0000 17.78%
450.61/452.05 c 452 3052 2660 1 -45.0000 -53.0000 17.78%
455.78/457.26 c 457 3102 2710 1 -45.0000 -53.0000 17.78%
460.88/462.39 c 462 3192 2796 1 -45.0000 -53.0000 17.78%
468.26/469.79 c 470 3253 2853 1 -45.0000 -53.0000 17.78%
474.83/476.39 c 476 3334 2934 1 -45.0000 -53.0000 17.78%
480.02/481.58 c 482 3410 3008 1 -45.0000 -53.0000 17.78%
485.79/487.31 c 487 3495 3089 1 -45.0000 -53.0000 17.78%
491.28/492.86 c 493 3509 3103 1 -45.0000 -53.0000 17.78%
496.57/498.15 c 498 3592 3184 1 -45.0000 -53.0000 17.78%
504.34/505.97 c 506 3624 3214 1 -45.0000 -53.0000 17.78%
509.62/511.22 c 511 3687 3271 1 -45.0000 -53.0000 17.78%
514.71/516.35 c 516 3770 3352 1 -45.0000 -53.0000 17.78%
520.29/522.01 c 522 3860 3432 1 -45.0000 -53.0000 17.78%
526.27/527.97 c 528 3879 3451 1 -45.0000 -53.0000 17.78%
531.36/533.05 c 533 3923 3491 1 -45.0000 -53.0000 17.78%
536.53/538.20 c 538 4004 3566 1 -45.0000 -53.0000 17.78%
541.51/543.26 c 543 4074 3632 1 -45.0000 -53.0000 17.78%
547.00/548.76 c 549 4116 3674 1 -45.0000 -53.0000 17.78%
554.78/556.54 c 557 4141 3697 1 -45.0000 -53.0000 17.78%
560.06/561.87 c 562 4232 3784 1 -45.0000 -53.0000 17.78%
565.04/566.88 c 567 4294 0 1 -45.0000 -53.0000 17.78%
589.89/591.77 c 592 4294 0 1 -45.0000 -53.0000 17.78%
595.47/597.37 c 597 4315 21 1 -45.0000 -53.0000 17.78%
600.96/602.87 c 603 4319 25 1 -45.0000 -53.0000 17.78%
606.34/608.27 c 608 4330 36 1 -45.0000 -53.0000 17.78%
611.73/613.67 c 614 4347 53 1 -45.0000 -53.0000 17.78%
617.71/619.61 c 620 4384 90 1 -45.0000 -53.0000 17.78%
622.89/624.80 c 625 4401 107 1 -45.0000 -53.0000 17.78%
628.99/630.94 c 631 4403 107 1 -45.0000 -53.0000 17.78%
642.95/644.92 c 645 4412 116 1 -45.0000 -53.0000 17.78%
648.54/650.50 c 650 4416 120 1 -45.0000 -53.0000 17.78%
654.53/656.55 c 657 4420 124 1 -45.0000 -53.0000 17.78%
666.50/668.54 c 669 4424 128 1 -45.0000 -53.0000 17.78%
671.58/673.69 c 674 4436 140 1 -45.0000 -53.0000 17.78%
684.24/686.35 c 686 4447 149 1 -45.0000 -53.0000 17.78%
695.22/697.31 c 697 4461 159 1 -45.0000 -53.0000 17.78%
700.51/702.63 c 703 4464 160 1 -45.0000 -53.0000 17.78%
702.10/704.21 c * 704 4478 174 1 -46.0000 -53.0000 15.22%
712.08/714.27 c 714 4500 191 1 -46.0000 -53.0000 15.22%
719.76/721.92 c 722 4562 247 1 -46.0000 -53.0000 15.22%
726.86/729.06 c 729 4576 257 1 -46.0000 -53.0000 15.22%
732.03/734.21 c 734 4596 277 1 -46.0000 -53.0000 15.22%
737.42/739.66 c 740 4625 300 1 -46.0000 -53.0000 15.22%
743.71/745.90 c 746 4652 327 1 -46.0000 -53.0000 15.22%
752.28/754.56 c 755 4664 339 1 -46.0000 -53.0000 15.22%
758.97/761.20 c 761 4668 341 1 -46.0000 -53.0000 15.22%
768.64/770.91 c 771 4691 360 1 -46.0000 -53.0000 15.22%
773.74/776.03 c 776 4700 369 1 -46.0000 -53.0000 15.22%
785.40/787.78 c 788 4714 383 1 -46.0000 -53.0000 15.22%
790.59/792.95 c 793 4735 398 1 -46.0000 -53.0000 15.22%
799.37/801.72 c 802 4747 404 1 -46.0000 -53.0000 15.22%
805.67/808.08 c 808 4752 405 1 -46.0000 -53.0000 15.22%
814.34/816.76 c 817 4804 445 1 -46.0000 -53.0000 15.22%
820.42/822.86 c 823 4818 459 1 -46.0000 -53.0000 15.22%
825.81/828.24 c 828 4829 468 1 -46.0000 -53.0000 15.22%
831.61/834.06 c 834 4870 505 1 -46.0000 -53.0000 15.22%
836.78/839.27 c 839 4910 545 1 -46.0000 -53.0000 15.22%
843.46/845.92 c 846 4949 584 1 -46.0000 -53.0000 15.22%
850.93/853.47 c 853 4967 602 1 -46.0000 -53.0000 15.22%
857.83/860.38 c 860 4996 631 1 -46.0000 -53.0000 15.22%
862.91/865.43 c 865 5029 664 1 -46.0000 -53.0000 15.22%
868.10/870.66 c 871 5104 739 1 -46.0000 -53.0000 15.22%
874.98/877.54 c 878 5119 754 1 -46.0000 -53.0000 15.22%
880.26/882.84 c 883 5151 786 1 -46.0000 -53.0000 15.22%
887.55/890.15 c 890 5200 835 1 -46.0000 -53.0000 15.22%
894.82/897.42 c 897 5228 861 1 -46.0000 -53.0000 15.22%
905.69/908.35 c 908 5258 887 1 -46.0000 -53.0000 15.22%
912.28/914.91 c 915 5293 920 1 -46.0000 -53.0000 15.22%
917.87/920.55 c 921 5307 934 1 -46.0000 -53.0000 15.22%
926.93/929.69 c 930 5387 1012 1 -46.0000 -53.0000 15.22%
933.72/936.43 c 936 5401 1024 1 -46.0000 -53.0000 15.22%
941.51/944.29 c 944 5410 1031 1 -46.0000 -53.0000 15.22%
946.59/949.31 c 949 5415 1034 1 -46.0000 -53.0000 15.22%
952.08/954.85 c 955 5459 1074 1 -46.0000 -53.0000 15.22%
960.45/963.24 c 963 5493 1108 1 -46.0000 -53.0000 15.22%
967.52/970.33 c 970 5523 1138 1 -46.0000 -53.0000 15.22%
975.22/978.10 c 978 5541 1156 1 -46.0000 -53.0000 15.22%
984.09/987.01 c 987 5581 1196 1 -46.0000 -53.0000 15.22%
991.56/994.45 c 994 5603 1218 1 -46.0000 -53.0000 15.22%
1003.14/1006.05 c 1006 5634 1249 1 -46.0000 -53.0000 15.22%
1009.81/1012.76 c 1013 5651 1266 1 -46.0000 -53.0000 15.22%
1017.11/1020.04 c 1020 5691 1304 1 -46.0000 -53.0000 15.22%
1022.78/1025.70 c 1026 5769 1380 1 -46.0000 -53.0000 15.22%
1028.46/1031.43 c 1031 5859 1462 1 -46.0000 -53.0000 15.22%
1036.15/1039.12 c 1039 5899 1494 1 -46.0000 -53.0000 15.22%
1041.43/1044.40 c 1044 5966 1559 1 -46.0000 -53.0000 15.22%
1048.52/1051.55 c 1052 5975 1568 1 -46.0000 -53.0000 15.22%
1056.70/1059.79 c 1060 5992 1585 1 -46.0000 -53.0000 15.22%
1066.37/1069.45 c 1069 6009 1602 1 -46.0000 -53.0000 15.22%
1073.45/1076.51 c 1077 6016 1609 1 -46.0000 -53.0000 15.22%
1078.74/1081.84 c 1082 6037 1628 1 -46.0000 -53.0000 15.22%
1083.83/1086.95 c 1087 6063 1652 1 -46.0000 -53.0000 15.22%
1092.42/1095.52 c 1096 6083 1668 1 -46.0000 -53.0000 15.22%
1099.60/1102.77 c 1103 6094 1679 1 -46.0000 -53.0000 15.22%
1108.67/1111.81 c 1112 6139 1722 1 -46.0000 -53.0000 15.22%
1117.65/1120.80 c 1121 6170 1753 1 -46.0000 -53.0000 15.22%
1124.13/1127.35 c 1127 6205 1788 1 -46.0000 -53.0000 15.22%
1129.83/1133.05 c 1133 6245 1826 1 -46.0000 -53.0000 15.22%
1136.30/1139.51 c 1140 6272 1849 1 -46.0000 -53.0000 15.22%
1142.39/1145.63 c 1146 6313 1882 1 -46.0000 -53.0000 15.22%
1149.78/1153.01 c 1153 6366 1933 1 -46.0000 -53.0000 15.22%
1155.06/1158.36 c 1158 6446 2005 1 -46.0000 -53.0000 15.22%
1160.54/1163.81 c 1164 6520 2073 1 -46.0000 -53.0000 15.22%
1168.33/1171.62 c 1172 6581 2126 1 -46.0000 -53.0000 15.22%
1175.91/1179.26 c 1179 6586 2131 1 -46.0000 -53.0000 15.22%
1184.19/1187.55 c 1188 6596 2141 1 -46.0000 -53.0000 15.22%
1189.79/1193.13 c 1193 6608 2153 1 -46.0000 -53.0000 15.22%
1194.96/1198.31 c 1198 6697 2240 1 -46.0000 -53.0000 15.22%
1201.54/1204.90 c 1205 6759 2298 1 -46.0000 -53.0000 15.22%
1207.12/1210.56 c 1211 6831 2360 1 -46.0000 -53.0000 15.22%
1215.20/1218.63 c 1219 6858 2385 1 -46.0000 -53.0000 15.22%
1221.49/1224.96 c 1225 6880 2403 1 -46.0000 -53.0000 15.22%
1228.58/1232.09 c 1232 6941 2448 1 -46.0000 -53.0000 15.22%
1238.84/1242.30 c 1242 7024 2517 1 -46.0000 -53.0000 15.22%
1246.32/1249.80 c 1250 7093 2568 1 -46.0000 -53.0000 15.22%
1251.41/1254.93 c 1255 7105 2574 1 -46.0000 -53.0000 15.22%
1258.79/1262.32 c 1262 7171 2626 1 -46.0000 -53.0000 15.22%
1265.96/1269.51 c 1270 7240 2673 1 -46.0000 -53.0000 15.22%
1271.85/1275.46 c 1275 7260 2687 1 -46.0000 -53.0000 15.22%
1280.53/1284.15 c 1284 7327 2740 1 -46.0000 -53.0000 15.22%
1288.20/1291.84 c 1292 7370 2783 1 -46.0000 -53.0000 15.22%
1296.17/1299.83 c 1300 7408 2817 1 -46.0000 -53.0000 15.22%
1301.95/1305.65 c 1306 7507 2908 1 -46.0000 -53.0000 15.22%
1308.44/1312.13 c 1312 7527 2926 1 -46.0000 -53.0000 15.22%
1313.62/1317.38 c 1317 7651 3016 1 -46.0000 -53.0000 15.22%
1321.49/1325.22 c 1325 7666 3023 1 -46.0000 -53.0000 15.22%
1328.67/1332.40 c 1332 7678 3029 1 -46.0000 -53.0000 15.22%
1333.86/1337.61 c 1338 7685 3034 1 -46.0000 -53.0000 15.22%
1338.84/1342.70 c 1343 7692 3039 1 -46.0000 -53.0000 15.22%
1344.24/1348.01 c 1348 7819 3122 1 -46.0000 -53.0000 15.22%
1349.41/1353.21 c 1353 7824 3127 1 -46.0000 -53.0000 15.22%
1354.49/1358.34 c 1358 7983 3238 1 -46.0000 -53.0000 15.22%
1360.98/1364.85 c 1365 8050 3299 1 -46.0000 -53.0000 15.22%
1366.36/1370.29 c 1370 8065 3314 1 -46.0000 -53.0000 15.22%
1378.63/1382.51 c 1383 8087 3336 1 -46.0000 -53.0000 15.22%
1383.71/1387.61 c 1388 8108 3349 1 -46.0000 -53.0000 15.22%
1390.10/1394.09 c 1394 8126 3357 1 -46.0000 -53.0000 15.22%
1396.10/1400.08 c 1400 8147 3364 1 -46.0000 -53.0000 15.22%
1405.44/1409.49 c 1409 8254 3439 1 -46.0000 -53.0000 15.22%
1411.32/1415.38 c 1415 8274 3459 1 -46.0000 -53.0000 15.22%
1416.60/1420.63 c 1421 8387 3550 1 -46.0000 -53.0000 15.22%
1421.78/1425.88 c 1426 8490 3635 1 -46.0000 -53.0000 15.22%
1430.85/1434.98 c 1435 8574 3701 1 -46.0000 -53.0000 15.22%
1438.63/1442.75 c 1443 8592 3711 1 -46.0000 -53.0000 15.22%
1446.91/1451.10 c 1451 8607 3724 1 -46.0000 -53.0000 15.22%
1452.70/1456.88 c 1457 8614 3731 1 -46.0000 -53.0000 15.22%
1459.68/1463.82 c 1464 8638 3745 1 -46.0000 -53.0000 15.22%
1470.87/1475.03 c 1475 8668 3757 1 -46.0000 -53.0000 15.22%
1477.14/1481.36 c 1481 8700 3781 1 -46.0000 -53.0000 15.22%
1484.22/1488.47 c 1488 8715 3788 1 -46.0000 -53.0000 15.22%
1489.49/1493.73 c 1494 8724 3793 1 -46.0000 -53.0000 15.22%
1497.57/1501.82 c 1502 8740 3805 1 -46.0000 -53.0000 15.22%
1507.06/1511.32 c 1511 8763 3822 1 -46.0000 -53.0000 15.22%
1513.94/1518.26 c 1518 8790 3839 1 -46.0000 -53.0000 15.22%
1519.52/1523.89 c 1524 8884 3901 1 -46.0000 -53.0000 15.22%
1528.60/1532.96 c 1533 8911 3916 1 -46.0000 -53.0000 15.22%
1536.70/1541.01 c 1541 8918 3921 1 -46.0000 -53.0000 15.22%
1541.98/1546.34 c 1546 8943 3936 1 -46.0000 -53.0000 15.22%
1548.56/1552.92 c 1553 8957 3948 1 -46.0000 -53.0000 15.22%
1554.05/1558.47 c 1558 9032 3993 1 -46.0000 -53.0000 15.22%
1559.43/1563.80 c 1564 9150 4083 1 -46.0000 -53.0000 15.22%
1565.12/1569.58 c 1570 9245 4148 1 -46.0000 -53.0000 15.22%
1570.50/1574.98 c 1575 9349 4214 1 -46.0000 -53.0000 15.22%
1575.89/1580.34 c 1580 9474 4279 1 -46.0000 -53.0000 15.22%
1582.17/1586.66 c 1587 9496 4299 1 -46.0000 -53.0000 15.22%
1587.96/1592.42 c 1592 9511 4308 1 -46.0000 -53.0000 15.22%
1596.44/1600.99 c 1601 9519 4314 1 -46.0000 -53.0000 15.22%
1604.12/1608.61 c 1609 9546 4333 1 -46.0000 -53.0000 15.22%
1613.90/1618.50 c 1618 9547 4334 1 -46.0000 -53.0000 15.22%
1619.88/1624.46 c 1624 9569 4346 1 -46.0000 -53.0000 15.22%
1626.37/1630.97 c 1631 9582 4355 1 -46.0000 -53.0000 15.22%
1634.75/1639.36 c 1639 9597 4368 1 -46.0000 -53.0000 15.22%
1642.24/1646.87 c 1647 9646 4391 1 -46.0000 -53.0000 15.22%
1648.54/1653.12 c 1653 9677 4408 1 -46.0000 -53.0000 15.22%
1655.91/1660.56 c 1661 9699 4422 1 -46.0000 -53.0000 15.22%
1661.70/1666.35 c 1666 9716 4433 1 -46.0000 -53.0000 15.22%
1671.07/1675.77 c 1676 9759 4458 1 -46.0000 -53.0000 15.22%
1678.85/1683.57 c 1684 9775 4464 1 -46.0000 -53.0000 15.22%
1685.74/1690.43 c 1690 9784 4469 1 -46.0000 -53.0000 15.22%
1691.02/1695.79 c 1696 9800 4479 1 -46.0000 -53.0000 15.22%
1700.42/1705.18 c 1705 9855 4508 1 -46.0000 -53.0000 15.22%
1706.00/1710.73 c 1711 9869 4516 1 -46.0000 -53.0000 15.22%
1711.98/1716.75 c 1717 9878 4521 1 -46.0000 -53.0000 15.22%
1719.46/1724.26 c 1724 9894 4529 1 -46.0000 -53.0000 15.22%
1727.64/1732.42 c 1732 9919 4542 1 -46.0000 -53.0000 15.22%
1739.62/1744.44 c 1744 9966 4575 1 -46.0000 -53.0000 15.22%
1746.91/1751.77 c 1752 9982 4583 1 -46.0000 -53.0000 15.22%
1751.99/1756.89 c 1757 10028 4609 1 -46.0000 -53.0000 15.22%
1757.58/1762.49 c 1762 10058 4621 1 -46.0000 -53.0000 15.22%
1773.04/1777.98 c 1778 10085 4636 1 -46.0000 -53.0000 15.22%
1779.03/1783.91 c 1784 10120 4649 1 -46.0000 -53.0000 15.22%
1785.42/1790.30 c 1790 10156 4673 1 -46.0000 -53.0000 15.22%
1791.21/1796.13 c 1796 10179 4688 1 -46.0000 -53.0000 15.22%
1796.88/1801.84 c 1802 10254 4717 1 -46.0000 -53.0000 15.22%
1803.27/1808.21 c 1808 10334 4767 1 -46.0000 -53.0000 15.22%
1808.56/1813.50 c 1814 10438 4831 1 -46.0000 -53.0000 15.22%
1814.64/1819.60 c 1820 10481 4862 1 -46.0000 -53.0000 15.22%
1819.73/1824.70 c 1825 10513 4880 1 -46.0000 -53.0000 15.22%
1825.03/1830.07 c 1830 10579 4920 1 -46.0000 -53.0000 15.22%
1834.19/1839.20 c 1839 10625 4944 1 -46.0000 -53.0000 15.22%
1839.58/1844.65 c 1845 10718 4993 1 -46.0000 -53.0000 15.22%
1844.77/1849.80 c 1850 10822 5057 1 -46.0000 -53.0000 15.22%
1852.45/1857.56 c 1858 10861 5078 1 -46.0000 -53.0000 15.22%
1858.23/1863.32 c 1863 10923 5116 1 -46.0000 -53.0000 15.22%
1864.03/1869.19 c 1869 11041 5178 1 -46.0000 -53.0000 15.22%
1869.31/1874.49 c 1874 11082 5199 1 -46.0000 -53.0000 15.22%
1875.19/1880.38 c 1880 11114 5211 1 -46.0000 -53.0000 15.22%
1880.68/1885.85 c 1886 11221 5268 1 -46.0000 -53.0000 15.22%
1887.56/1892.71 c 1893 11276 5301 1 -46.0000 -53.0000 15.22%
1895.15/1900.38 c 1900 11358 5343 1 -46.0000 -53.0000 15.22%
1902.62/1907.89 c 1908 11404 5367 1 -46.0000 -53.0000 15.22%
1908.01/1913.28 c 1913 11500 5403 1 -46.0000 -53.0000 15.22%
1916.29/1921.59 c 1922 11530 5419 1 -46.0000 -53.0000 15.22%
1921.47/1926.71 c 1927 11664 5493 1 -46.0000 -53.0000 15.22%
1927.65/1932.93 c 1933 11715 5528 1 -46.0000 -53.0000 15.22%
1933.25/1938.51 c 1939 11838 5609 1 -46.0000 -53.0000 15.22%
1938.63/1944.01 c 1944 11940 5659 1 -46.0000 -53.0000 15.22%
1944.11/1949.43 c 1949 11987 5690 1 -46.0000 -53.0000 15.22%
1950.10/1955.45 c 1955 12094 5761 1 -46.0000 -53.0000 15.22%
1955.18/1960.56 c 1961 12201 5840 1 -46.0000 -53.0000 15.22%
1961.56/1966.96 c 1967 12297 5900 1 -46.0000 -53.0000 15.22%
1966.95/1972.36 c 1972 12329 5926 1 -46.0000 -53.0000 15.22%
1972.13/1977.58 c 1978 12385 5962 1 -46.0000 -53.0000 15.22%
1977.51/1982.91 c 1983 12483 6030 1 -46.0000 -53.0000 15.22%
1986.29/1991.74 c 1992 12519 6052 1 -46.0000 -53.0000 15.22%
1993.47/1998.93 c 1999 12573 6074 1 -46.0000 -53.0000 15.22%
2001.14/2006.66 c 2007 12651 6108 1 -46.0000 -53.0000 15.22%
2017.69/2023.21 c 2023 12750 6167 1 -46.0000 -53.0000 15.22%
2023.78/2029.34 c 2029 12842 6213 1 -46.0000 -53.0000 15.22%
2031.65/2037.26 c 2037 12896 6231 1 -46.0000 -53.0000 15.22%
2037.55/2043.18 c 2043 12910 6237 1 -46.0000 -53.0000 15.22%
2042.92/2048.51 c 2049 13051 6322 1 -46.0000 -53.0000 15.22%
2048.21/2053.84 c 2054 13130 6355 1 -46.0000 -53.0000 15.22%
2053.58/2059.20 c 2059 13230 6419 1 -46.0000 -53.0000 15.22%
2058.87/2064.51 c 2065 13319 6488 1 -46.0000 -53.0000 15.22%
2064.38/2070.05 c 2070 13446 6581 1 -46.0000 -53.0000 15.22%
2072.53/2078.26 c 2078 13577 6668 1 -46.0000 -53.0000 15.22%
2077.71/2083.42 c 2083 13730 6763 1 -46.0000 -53.0000 15.22%
2082.89/2088.62 c 2089 13766 6785 1 -46.0000 -53.0000 15.22%
2087.98/2093.70 c 2094 13785 6796 1 -46.0000 -53.0000 15.22%
2093.06/2098.87 c 2099 13886 6875 1 -46.0000 -53.0000 15.22%
2098.44/2104.21 c 2104 13994 6971 1 -46.0000 -53.0000 15.22%
2106.81/2112.66 c 2113 14021 6990 1 -46.0000 -53.0000 15.22%
2112.21/2118.10 c 2118 14049 7006 1 -46.0000 -53.0000 15.22%
2117.39/2123.28 c 2123 14050 7007 1 -46.0000 -53.0000 15.22%
2123.87/2129.70 c 2130 14184 7083 1 -46.0000 -53.0000 15.22%
2129.45/2135.33 c 2135 14224 7097 1 -46.0000 -53.0000 15.22%
2134.53/2140.45 c 2140 14256 7113 1 -46.0000 -53.0000 15.22%
2141.31/2147.24 c 2147 14327 7168 1 -46.0000 -53.0000 15.22%
2147.00/2152.92 c 2153 14398 7207 1 -46.0000 -53.0000 15.22%
2152.58/2158.56 c 2159 14410 7209 1 -46.0000 -53.0000 15.22%
2158.26/2164.29 c 2164 14467 7262 1 -46.0000 -53.0000 15.22%
2166.64/2172.64 c 2173 14499 7290 1 -46.0000 -53.0000 15.22%
2174.22/2180.21 c 2180 14516 7303 1 -46.0000 -53.0000 15.22%
2181.60/2187.68 c 2188 14546 7322 1 -46.0000 -53.0000 15.22%
2188.38/2194.43 c 2194 14562 7332 1 -46.0000 -53.0000 15.22%
2194.86/2200.98 c 2201 14597 7353 1 -46.0000 -53.0000 15.22%
2201.44/2207.54 c 2208 14619 7369 1 -46.0000 -53.0000 15.22%
2209.12/2215.29 c 2215 14622 7372 1 -46.0000 -53.0000 15.22%
2217.60/2223.78 c 2224 14711 7431 1 -46.0000 -53.0000 15.22%
2222.99/2229.19 c 2229 14799 7495 1 -46.0000 -53.0000 15.22%
2228.06/2234.26 c 2234 14933 7599 1 -46.0000 -53.0000 15.22%
2235.24/2241.43 c 2241 14943 7609 1 -46.0000 -53.0000 15.22%
2241.42/2247.62 c 2248 14966 7620 1 -46.0000 -53.0000 15.22%
2246.41/2252.64 c 2253 14994 7640 1 -46.0000 -53.0000 15.22%
2251.59/2257.82 c 2258 15035 7669 1 -46.0000 -53.0000 15.22%
2256.89/2263.14 c 2263 15124 7720 1 -46.0000 -53.0000 15.22%
2263.77/2270.05 c 2270 15131 7727 1 -46.0000 -53.0000 15.22%
2271.63/2278.01 c 2278 15164 7750 1 -46.0000 -53.0000 15.22%
2279.01/2285.37 c 2285 15165 7751 1 -46.0000 -53.0000 15.22%
2288.18/2294.51 c 2295 15200 7774 1 -46.0000 -53.0000 15.22%
2296.56/2302.92 c 2303 15207 7779 1 -46.0000 -53.0000 15.22%
2306.15/2312.52 c 2313 15226 7788 1 -46.0000 -53.0000 15.22%
2315.73/2322.17 c 2322 15251 7801 1 -46.0000 -53.0000 15.22%
2323.72/2330.17 c 2330 15269 7809 1 -46.0000 -53.0000 15.22%
2331.48/2337.92 c 2338 15287 7817 1 -46.0000 -53.0000 15.22%
2339.27/2345.71 c 2346 15295 7821 1 -46.0000 -53.0000 15.22%
2346.06/2352.57 c 2353 15317 7837 1 -46.0000 -53.0000 15.22%
2353.74/2360.22 c 2360 15329 7847 1 -46.0000 -53.0000 15.22%
2359.71/2366.20 c 2366 15422 7912 1 -46.0000 -53.0000 15.22%
2366.29/2372.85 c 2373 15479 7953 1 -46.0000 -53.0000 15.22%
2376.37/2382.91 c 2383 15508 7972 1 -46.0000 -53.0000 15.22%
2382.06/2388.63 c 2389 15532 7988 1 -46.0000 -53.0000 15.22%
2387.45/2394.11 c 2394 15655 8057 1 -46.0000 -53.0000 15.22%
2393.31/2399.98 c 2400 15716 8102 1 -46.0000 -53.0000 15.22%
2398.51/2405.16 c 2405 15754 8124 1 -46.0000 -53.0000 15.22%
2406.88/2413.55 c 2414 15769 8137 1 -46.0000 -53.0000 15.22%
2412.77/2419.48 c 2419 15795 8157 1 -46.0000 -53.0000 15.22%
2418.55/2425.26 c 2425 15804 8162 1 -46.0000 -53.0000 15.22%
2427.13/2433.89 c 2434 15859 8197 1 -46.0000 -53.0000 15.22%
2437.32/2444.07 c 2444 15945 8235 1 -46.0000 -53.0000 15.22%
2443.49/2450.29 c 2450 16008 8266 1 -46.0000 -53.0000 15.22%
2450.18/2456.93 c 2457 16011 8269 1 -46.0000 -53.0000 15.22%
2455.28/2462.09 c 2462 16138 8352 1 -46.0000 -53.0000 15.22%
2460.65/2467.44 c 2467 16144 8354 1 -46.0000 -53.0000 15.22%
2468.04/2474.81 c 2475 16165 8371 1 -46.0000 -53.0000 15.22%
2474.52/2481.40 c 2481 16174 8374 1 -46.0000 -53.0000 15.22%
2483.10/2489.96 c 2490 16208 8396 1 -46.0000 -53.0000 15.22%
2488.30/2495.16 c 2495 16314 8482 1 -46.0000 -53.0000 15.22%
2494.07/2500.95 c 2501 16369 8511 1 -46.0000 -53.0000 15.22%
2500.05/2506.99 c 2507 16441 8553 1 -46.0000 -53.0000 15.22%
2505.64/2512.51 c 2513 16465 8567 1 -46.0000 -53.0000 15.22%
2512.42/2519.34 c 2519 16497 8583 1 -46.0000 -53.0000 15.22%
2518.31/2525.28 c 2525 16532 8598 1 -46.0000 -53.0000 15.22%
2523.50/2530.42 c 2530 16538 8602 1 -46.0000 -53.0000 15.22%
2528.88/2535.83 c 2536 16640 8666 1 -46.0000 -53.0000 15.22%
2534.08/2541.09 c 2541 16748 8732 1 -46.0000 -53.0000 15.22%
2539.85/2546.89 c 2547 16793 8767 1 -46.0000 -53.0000 15.22%
2548.05/2555.10 c 2555 16801 8773 1 -46.0000 -53.0000 15.22%
2554.32/2561.36 c 2561 16808 8778 1 -46.0000 -53.0000 15.22%
2563.30/2570.35 c 2570 16815 8783 1 -46.0000 -53.0000 15.22%
2572.09/2579.18 c 2579 16830 8796 1 -46.0000 -53.0000 15.22%
2580.07/2587.12 c 2587 16903 8851 1 -46.0000 -53.0000 15.22%
2586.74/2593.89 c 2594 17001 8915 1 -46.0000 -53.0000 15.22%
2595.33/2602.42 c 2602 17045 8949 1 -46.0000 -53.0000 15.22%
2600.92/2608.03 c 2608 17080 8970 1 -46.0000 -53.0000 15.22%
2607.20/2614.30 c 2614 17090 8976 1 -46.0000 -53.0000 15.22%
2612.19/2619.33 c 2619 17117 8997 1 -46.0000 -53.0000 15.22%
2619.98/2627.19 c 2627 17204 9048 1 -46.0000 -53.0000 15.22%
2632.44/2639.66 c 2640 17227 9057 1 -46.0000 -53.0000 15.22%
2637.62/2644.82 c 2645 17244 9062 1 -46.0000 -53.0000 15.22%
2643.51/2650.76 c 2651 17340 9140 1 -46.0000 -53.0000 15.22%
2648.69/2655.91 c 2656 17460 9238 1 -46.0000 -53.0000 15.22%
2653.79/2661.01 c 2661 17587 9331 1 -46.0000 -53.0000 15.22%
2660.88/2668.16 c 2668 17647 9379 1 -46.0000 -53.0000 15.22%
2669.25/2676.53 c 2677 17654 9386 1 -46.0000 -53.0000 15.22%
2677.52/2684.86 c 2685 17720 9444 1 -46.0000 -53.0000 15.22%
2683.01/2690.37 c 2690 17785 9477 1 -46.0000 -53.0000 15.22%
2688.19/2695.54 c 2696 17830 9508 1 -46.0000 -53.0000 15.22%
2693.58/2701.01 c 2701 17836 9510 1 -46.0000 -53.0000 15.22%
2698.96/2706.32 c 2706 17869 9525 1 -46.0000 -53.0000 15.22%
2704.36/2711.76 c 2712 17918 9560 1 -46.0000 -53.0000 15.22%
2711.04/2718.45 c 2718 17919 9561 1 -46.0000 -53.0000 15.22%
2720.52/2727.96 c 2728 17958 9588 1 -46.0000 -53.0000 15.22%
2727.79/2735.26 c 2735 18008 9626 1 -46.0000 -53.0000 15.22%
2733.69/2741.13 c 2741 18016 9628 1 -46.0000 -53.0000 15.22%
2739.58/2747.01 c 2747 18111 9703 1 -46.0000 -53.0000 15.22%
2750.04/2757.51 c 2758 18161 9741 1 -46.0000 -53.0000 15.22%
2756.54/2764.02 c 2764 18283 9835 1 -46.0000 -53.0000 15.22%
2766.00/2773.56 c 2774 18306 9850 1 -46.0000 -53.0000 15.22%
2772.19/2779.77 c 2780 18315 9855 1 -46.0000 -53.0000 15.22%
2779.48/2787.11 c 2787 18328 9862 1 -46.0000 -53.0000 15.22%
2786.16/2793.73 c 2794 18338 9868 1 -46.0000 -53.0000 15.22%
2791.24/2798.81 c 2799 18420 9934 1 -46.0000 -53.0000 15.22%
2796.33/2803.94 c 2804 18523 10031 1 -46.0000 -53.0000 15.22%
2801.52/2809.11 c 2809 18615 10103 1 -46.0000 -53.0000 15.22%
2810.50/2818.13 c 2818 18742 10212 1 -46.0000 -53.0000 15.22%
2818.07/2825.76 c 2826 18784 10244 1 -46.0000 -53.0000 15.22%
2826.15/2833.85 c 2834 18804 10254 1 -46.0000 -53.0000 15.22%
2831.53/2839.20 c 2839 18820 10268 1 -46.0000 -53.0000 15.22%
2838.72/2846.41 c 2846 18828 10272 1 -46.0000 -53.0000 15.22%
2848.50/2856.25 c 2856 18841 10285 1 -46.0000 -53.0000 15.22%
2854.18/2861.98 c 2862 18859 10299 1 -46.0000 -53.0000 15.22%
2860.07/2867.84 c 2868 18866 10304 1 -46.0000 -53.0000 15.22%
2867.46/2875.26 c 2875 18895 10321 1 -46.0000 -53.0000 15.22%
2879.73/2887.59 c 2888 18914 10338 1 -46.0000 -53.0000 15.22%
2885.01/2892.88 c 2893 18942 10356 1 -46.0000 -53.0000 15.22%
2894.79/2902.67 c 2903 18981 10391 1 -46.0000 -53.0000 15.22%
2902.67/2910.50 c 2910 18998 10404 1 -46.0000 -53.0000 15.22%
2910.17/2918.08 c 2918 19020 10416 1 -46.0000 -53.0000 15.22%
2915.85/2923.78 c 2924 19055 10445 1 -46.0000 -53.0000 15.22%
2922.33/2930.27 c 2930 19071 10455 1 -46.0000 -53.0000 15.22%
2930.51/2938.48 c 2938 19092 10474 1 -46.0000 -53.0000 15.22%
2937.20/2945.17 c 2945 19103 10485 1 -46.0000 -53.0000 15.22%
2942.78/2950.79 c 2951 19111 10491 1 -46.0000 -53.0000 15.22%
2948.18/2956.13 c 2956 19209 10575 1 -46.0000 -53.0000 15.22%
2960.15/2968.12 c 2968 19218 10584 1 -46.0000 -53.0000 15.22%
2966.32/2974.32 c 2974 19260 10614 1 -46.0000 -53.0000 15.22%
2972.80/2980.83 c 2981 19275 10629 1 -46.0000 -53.0000 15.22%
2978.79/2986.86 c 2987 19282 10636 1 -46.0000 -53.0000 15.22%
2986.27/2994.33 c 2994 19305 10653 1 -46.0000 -53.0000 15.22%
2992.26/3000.34 c 3000 19328 10670 1 -46.0000 -53.0000 15.22%
3002.64/3010.72 c 3011 19344 10684 1 -46.0000 -53.0000 15.22%
3008.83/3016.99 c 3017 19362 10696 1 -46.0000 -53.0000 15.22%
3018.70/3026.80 c 3027 19395 10715 1 -46.0000 -53.0000 15.22%
3026.00/3034.15 c 3034 19409 10721 1 -46.0000 -53.0000 15.22%
3033.87/3042.04 c 3042 19453 10753 1 -46.0000 -53.0000 15.22%
3039.35/3047.59 c 3048 19520 10802 1 -46.0000 -53.0000 15.22%
3045.64/3053.88 c 3054 19590 10842 1 -46.0000 -53.0000 15.22%
3053.02/3061.29 c 3061 19605 10851 1 -46.0000 -53.0000 15.22%
3063.49/3071.72 c 3072 19641 10873 1 -46.0000 -53.0000 15.22%
3072.97/3081.20 c 3081 19665 10885 1 -46.0000 -53.0000 15.22%
3080.15/3088.41 c 3088 19719 10931 1 -46.0000 -53.0000 15.22%
3085.34/3093.62 c 3094 19761 10963 1 -46.0000 -53.0000 15.22%
3095.32/3103.62 c 3104 19769 10969 1 -46.0000 -53.0000 15.22%
3103.81/3112.12 c 3112 19781 10979 1 -46.0000 -53.0000 15.22%
3110.58/3118.95 c 3119 19797 10987 1 -46.0000 -53.0000 15.22%
3116.17/3124.57 c 3125 19818 11002 1 -46.0000 -53.0000 15.22%
3123.66/3132.07 c 3132 19841 11021 1 -46.0000 -53.0000 15.22%
3129.54/3138.01 c 3138 19849 11027 1 -46.0000 -53.0000 15.22%
3135.72/3144.11 c 3144 19872 11042 1 -46.0000 -53.0000 15.22%
3147.29/3155.71 c 3156 19881 11047 1 -46.0000 -53.0000 15.22%
3152.87/3161.32 c 3161 19965 11115 1 -46.0000 -53.0000 15.22%
3160.95/3169.42 c 3169 20016 11152 1 -46.0000 -53.0000 15.22%
3172.12/3180.70 c 3181 20091 11209 1 -46.0000 -53.0000 15.22%
3178.01/3186.55 c 3187 20130 11238 1 -46.0000 -53.0000 15.22%
3183.20/3191.73 c 3192 20242 11316 1 -46.0000 -53.0000 15.22%
3191.27/3199.84 c 3200 20301 11359 1 -46.0000 -53.0000 15.22%
3198.66/3207.27 c 3207 20317 11367 1 -46.0000 -53.0000 15.22%
3210.73/3219.31 c 3219 20326 11370 1 -46.0000 -53.0000 15.22%
3219.91/3228.55 c 3229 20382 11404 1 -46.0000 -53.0000 15.22%
3226.10/3234.72 c 3235 20397 11417 1 -46.0000 -53.0000 15.22%
3231.29/3239.91 c 3240 20414 11428 1 -46.0000 -53.0000 15.22%
3236.67/3245.33 c 3245 20431 11439 1 -46.0000 -53.0000 15.22%
3245.05/3253.77 c 3254 20477 11471 1 -46.0000 -53.0000 15.22%
3250.14/3258.88 c 3259 20628 11572 1 -46.0000 -53.0000 15.22%
3258.82/3267.57 c 3268 20651 11589 1 -46.0000 -53.0000 15.22%
3265.20/3273.99 c 3274 20667 11595 1 -46.0000 -53.0000 15.22%
3271.68/3280.48 c 3280 20698 11612 1 -46.0000 -53.0000 15.22%
3277.48/3286.21 c 3286 20751 11643 1 -46.0000 -53.0000 15.22%
3287.75/3296.52 c 3297 20880 11742 1 -46.0000 -53.0000 15.22%
3292.84/3301.63 c 3302 20893 11751 1 -46.0000 -53.0000 15.22%
3298.53/3307.31 c 3307 20943 11783 1 -46.0000 -53.0000 15.22%
3306.51/3315.38 c 3315 20950 11790 1 -46.0000 -53.0000 15.22%
3316.38/3325.27 c 3325 20962 11796 1 -46.0000 -53.0000 15.22%
3322.47/3331.36 c 3331 20965 11797 1 -46.0000 -53.0000 15.22%
3329.16/3338.02 c 3338 20985 11811 1 -46.0000 -53.0000 15.22%
3335.84/3344.79 c 3345 20994 11812 1 -46.0000 -53.0000 15.22%
3344.02/3352.95 c 3353 21003 11815 1 -46.0000 -53.0000 15.22%
3350.51/3359.49 c 3359 21024 11828 1 -46.0000 -53.0000 15.22%
3356.29/3365.23 c 3365 21042 11834 1 -46.0000 -53.0000 15.22%
3361.58/3370.56 c 3371 21051 11839 1 -46.0000 -53.0000 15.22%
3367.27/3376.21 c 3376 21102 11874 1 -46.0000 -53.0000 15.22%
3372.66/3381.68 c 3382 21220 11970 1 -46.0000 -53.0000 15.22%
3379.34/3388.33 c 3388 21306 12018 1 -46.0000 -53.0000 15.22%
3386.52/3395.52 c 3396 21366 12050 1 -46.0000 -53.0000 15.22%
3392.21/3401.26 c 3401 21375 12051 1 -46.0000 -53.0000 15.22%
3401.00/3410.04 c 3410 21415 12077 1 -46.0000 -53.0000 15.22%
3409.97/3419.02 c 3419 21508 12136 1 -46.0000 -53.0000 15.22%
3415.15/3424.27 c 3424 21562 12160 1 -46.0000 -53.0000 15.22%
3422.64/3431.76 c 3432 21581 12165 1 -46.0000 -53.0000 15.22%
3428.52/3437.66 c 3438 21644 12210 1 -46.0000 -53.0000 15.22%
3437.20/3446.32 c 3446 21667 12227 1 -46.0000 -53.0000 15.22%
3446.58/3455.73 c 3456 21685 12243 1 -46.0000 -53.0000 15.22%
3453.76/3462.95 c 3463 21696 12250 1 -46.0000 -53.0000 15.22%
3458.85/3468.01 c 3468 21726 12268 1 -46.0000 -53.0000 15.22%
3470.01/3479.20 c 3479 21747 12283 1 -46.0000 -53.0000 15.22%
3475.39/3484.65 c 3485 21755 12287 1 -46.0000 -53.0000 15.22%
3482.08/3491.34 c 3491 21816 12326 1 -46.0000 -53.0000 15.22%
3487.15/3496.45 c 3496 21878 12377 1 -46.0000 -53.0000 15.22%
3492.75/3502.07 c 3502 21938 12427 1 -46.0000 -53.0000 15.22%
3497.84/3507.19 c 3507 22070 12521 1 -46.0000 -53.0000 15.22%
3503.30/3512.66 c 3513 22191 12600 1 -46.0000 -53.0000 15.22%
3508.88/3518.21 c 3518 22324 12675 1 -46.0000 -53.0000 15.22%
3516.47/3525.80 c 3526 22376 12703 1 -46.0000 -53.0000 15.22%
3521.66/3531.03 c 3531 22544 12789 1 -46.0000 -53.0000 15.22%
3527.13/3536.51 c 3537 22595 12818 1 -46.0000 -53.0000 15.22%
3532.62/3542.07 c 3542 22711 12906 1 -46.0000 -53.0000 15.22%
3538.20/3547.69 c 3548 22858 13009 1 -46.0000 -53.0000 15.22%
3543.89/3553.37 c 3553 22865 13008 1 -46.0000 -53.0000 15.22%
3549.17/3558.63 c 3559 22979 13094 1 -46.0000 -53.0000 15.22%
3554.76/3564.26 c 3564 23078 13171 1 -46.0000 -53.0000 15.22%
3561.73/3571.25 c 3571 23166 13239 1 -46.0000 -53.0000 15.22%
3568.92/3578.48 c 3578 23180 13247 1 -46.0000 -53.0000 15.22%
3578.00/3587.50 c 3588 23204 13261 1 -46.0000 -53.0000 15.22%
3583.18/3592.71 c 3593 23273 13308 1 -46.0000 -53.0000 15.22%
3588.38/3598.01 c 3598 23296 13319 0 -46.0000 -53.0000 15.22%
3588.87/3598.40 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.87/3598.40 c Total Time : 3598.40
3588.87/3598.40 c solving : 3598.40
3588.87/3598.40 c presolving : 2.52 (included in solving)
3588.87/3598.40 c B&B Tree :
3588.87/3598.40 c nodes (total) : 1
3588.87/3598.40 c Solution :
3588.87/3598.40 c Solutions found : 9
3588.87/3598.40 c Primal Bound : -4.60000000000000e+01
3588.87/3598.40 c Dual Bound : -5.30000000000000e+01
3588.87/3598.40 c Gap : 15.21739 %
3588.87/3598.40 c * Warning: final gap: 1.52174e-01 is greater than SCIPepsilon: 1.00000e-09
3588.87/3598.44 o -46
3588.87/3598.44 s SATISFIABLE
3588.87/3598.44 v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28
3588.87/3598.44 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53
3588.87/3598.44 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78
3588.87/3598.44 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103
3588.87/3598.44 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124
3588.87/3598.44 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
3588.87/3598.44 v -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
3588.87/3598.44 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187
3588.87/3598.44 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
3588.87/3598.44 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229
3588.87/3598.44 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
3588.87/3598.44 v -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271
3588.87/3598.44 v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292
3588.87/3598.44 v -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313
3588.87/3598.44 v -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334
3588.87/3598.44 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354
3588.87/3598.44 v -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376
3588.87/3598.44 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
3588.87/3598.44 v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
3588.87/3598.44 v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 -x439
3588.87/3598.44 v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459
3588.87/3598.44 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
3588.87/3598.44 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
3588.87/3598.44 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
3588.87/3598.44 v -x523 -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543
3588.87/3598.44 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
3588.87/3598.44 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
3588.87/3598.44 v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 -x605 -x606
3588.87/3598.44 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627
3588.87/3598.44 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648
3588.87/3598.44 v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669
3588.87/3598.44 v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690
3589.07/3598.64 v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711
3589.07/3598.64 v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732
3589.07/3598.64 v -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753
3589.07/3598.64 v -x754 -x755 -x756 x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774
3589.07/3598.64 v -x775 x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 x795
3589.07/3598.64 v -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816
3589.07/3598.64 v -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837
3589.07/3598.64 v x838 -x839 -x840 -x841 -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858
3589.07/3598.64 v -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 -x879
3589.07/3598.64 v -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
3589.07/3598.64 v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921
3589.07/3598.64 v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941
3589.07/3598.64 v -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 x958 -x959 -x960 x961 -x962 -x963
3589.07/3598.64 v -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983
3589.07/3598.64 v -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004
3589.07/3598.64 v -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022
3589.07/3598.64 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
3589.07/3598.64 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 x1055 -x1056 -x1057 -x1058
3589.07/3598.64 v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075
3589.07/3598.64 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093
3589.07/3598.64 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111
3589.07/3598.64 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129
3589.07/3598.64 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 x1143 -x1144 -x1145 -x1146 -x1147
3589.07/3598.64 v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165
3589.07/3598.64 v -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 x1179 -x1180 -x1181 -x1182 -x1183
3589.07/3598.64 v -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201
3589.07/3598.64 v -x1202 -x1203 x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219
3589.07/3598.64 v -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237
3589.07/3598.64 v -x1238 -x1239 -x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 x1254 -x1255
3589.07/3598.64 v -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (53990 MiB free)
memory of node 1: 64473 MiB (63036 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464050-1722378594/watcher-4464050-1722378594 -o /tmp/evaluation-result-4464050-1722378594/solver-4464050-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722378594-29037 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464050-1722378594.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=29078, runsolver pid=29071
[startup+0.100371 s]*
/proc/loadavg: 0.49 0.34 0.23 7/238 29096
/proc/meminfo: memFree=119790124/131655788 swapFree=131071216/131071996
[pid=29078] ppid=29071 vsize=38148 memory=26704 CPUtime=0.09 cores=4,6
/proc/29078/stat : 29078 (fscip) R 29071 29078 29026 0 -1 4194304 4559 0 0 0 8 1 0 0 20 0 1 0 4230838 39063552 6676 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
/proc/29078/statm: 9537 6676 2347 3035 0 5933 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38148 KiB
Current children cumulated memory: 26704 KiB
[startup+0.214133 s]*
/proc/loadavg: 0.49 0.34 0.23 7/245 29103
/proc/meminfo: memFree=119741428/131655788 swapFree=131071216/131071996
[pid=29078] ppid=29071 vsize=51828 memory=40056 CPUtime=0.21 cores=4,6
/proc/29078/stat : 29078 (fscip) R 29071 29078 29026 0 -1 4194304 7896 0 0 0 19 2 0 0 20 0 1 0 4230838 53071872 10014 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
/proc/29078/statm: 12957 10014 2347 3035 0 9353 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 51828 KiB
Current children cumulated memory: 40056 KiB
[startup+0.31292 s]*
/proc/loadavg: 0.49 0.34 0.23 5/247 29105
/proc/meminfo: memFree=119702360/131655788 swapFree=131071216/131071996
[pid=29078] ppid=29071 vsize=64140 memory=51788 CPUtime=0.31 cores=4,6
/proc/29078/stat : 29078 (fscip) R 29071 29078 29026 0 -1 4194304 10839 0 0 0 28 3 0 0 20 0 1 0 4230838 65679360 12947 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
/proc/29078/statm: 16035 12947 2347 3035 0 12431 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 64140 KiB
Current children cumulated memory: 51788 KiB
[startup+0.700384 s]
/proc/loadavg: 0.49 0.34 0.23 6/249 29107
/proc/meminfo: memFree=119609868/131655788 swapFree=131071216/131071996
[pid=29078] ppid=29071 vsize=140312 memory=127652 CPUtime=0.69 cores=4,6
/proc/29078/stat : 29078 (fscip) R 29071 29078 29026 0 -1 4194304 30167 0 0 0 60 9 0 0 20 0 1 0 4230838 143679488 31913 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
/proc/29078/statm: 35078 31913 2614 3035 0 31474 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 140312 KiB
Current children cumulated memory: 127652 KiB
[startup+1.50038 s]
/proc/loadavg: 0.49 0.34 0.23 5/242 29115
/proc/meminfo: memFree=119546984/131655788 swapFree=131071216/131071996
[pid=29078] ppid=29071 vsize=167736 memory=154548 CPUtime=1.47 cores=4,6
/proc/29078/stat : 29078 (fscip) R 29071 29078 29026 0 -1 4194304 45146 0 0 0 134 13 0 0 20 0 1 0 4230838 171761664 38637 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
/proc/29078/statm: 41934 38637 2710 3035 0 38330 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 167736 KiB
Current children cumulated memory: 154548 KiB
[startup+3.11308 s]
/proc/loadavg: 0.49 0.34 0.23 6/242 29189
/proc/meminfo: memFree=119301416/131655788 swapFree=131071216/131071996
[pid=29078] ppid=29071 vsize=503188 memory=374244 CPUtime=3.08 cores=4,6
/proc/29078/stat : 29078 (fscip) R 29071 29078 29026 0 -1 4194304 69830 0 0 0 286 22 0 0 20 0 2 0 4230838 515264512 93561 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
/proc/29078/statm: 125797 93561 2774 3035 0 105841 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 503188 KiB
Current children cumulated memory: 374244 KiB
[startup+6.30041 s]
/proc/loadavg: 0.77 0.41 0.25 6/248 29202
/proc/meminfo: memFree=117723744/131655788 swapFree=131071216/131071996
[pid=29078] ppid=29071 vsize=862852 memory=739528 CPUtime=6.25 cores=4,6
/proc/29078/stat : 29078 (fscip) S 29071 29078 29026 0 -1 1077936128 158589 0 0 0 579 46 0 0 20 0 3 0 4230838 883560448 184882 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
/proc/29078/statm: 215713 184882 2790 3035 0 209737 0
[pid=29078/tid=29190] ppid=29071 vsize=862852 memory=12132 CPUtime=3.03 cores=4,6
/proc/29078/task/29190/stat : 29190 (fscip) R 29071 29078 29026 0 -1 4194368 75741 0 0 0 282 21 0 0 20 0 3 0 4231149 883560448 184882 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
[pid=29078/tid=29196] ppid=29071 vsize=862852 memory=-6000919472639665005 CPUtime=0 cores=4,6
/proc/29078/task/29196/stat : 29196 (fscip) S 29071 29078 29026 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4231187 883560448 184882 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 862852 KiB
Current children cumulated memory: 739528 KiB
[startup+12.7004 s]
/proc/loadavg: 1.03 0.47 0.27 6/251 29262
/proc/meminfo: memFree=115563140/131655788 swapFree=131071216/131071996
[pid=29078] ppid=29071 vsize=993924 memory=850220 CPUtime=12.64 cores=4,6
/proc/29078/stat : 29078 (fscip) S 29071 29078 29026 0 -1 1077936128 223698 0 0 0 1211 53 0 0 20 0 3 0 4230838 1017778176 212555 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
/proc/29078/statm: 248481 212555 2998 3035 0 243344 0
[pid=29078/tid=29190] ppid=29071 vsize=993924 memory=846164 CPUtime=9.42 cores=4,6
/proc/29078/task/29190/stat : 29190 (fscip) R 29071 29078 29026 0 -1 4194368 140562 0 0 0 914 28 0 0 20 0 3 0 4231149 1017778176 212555 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
[pid=29078/tid=29196] ppid=29071 vsize=993924 memory=12132 CPUtime=0 cores=4,6
/proc/29078/task/29196/stat : 29196 (fscip) S 29071 29078 29026 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 4231187 1017778176 212555 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 993924 KiB
Current children cumulated memory: 850220 KiB
[startup+25.5004 s]
/proc/loadavg: 1.48 0.58 0.31 6/251 29264
/proc/meminfo: memFree=115513848/131655788 swapFree=131071216/131071996
[pid=29078] ppid=29071 vsize=1059460 memory=854996 CPUtime=25.4 cores=4,6
/proc/29078/stat : 29078 (fscip) S 29071 29078 29026 0 -1 1077936128 290547 0 0 0 2482 58 0 0 20 0 3 0 4230838 1084887040 213749 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
/proc/29078/statm: 264865 213749 2998 3035 0 257247 0
[pid=29078/tid=29190] ppid=29071 vsize=1059460 memory=4640 CPUtime=22.17 cores=4,6
/proc/29078/task/29190/stat : 29190 (fscip) R 29071 29078 29026 0 -1 4194368 207403 0 0 0 2184 33 0 0 20 0 3 0 4231149 1084887040 213749 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
[pid=29078/tid=29196] ppid=29071 vsize=1059460 memory=854232 CPUtime=0 cores=4,6
/proc/29078/task/29196/stat : 29196 (fscip) S 29071 29078 29026 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 4231187 1084887040 213749 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1059460 KiB
Current children cumulated memory: 854996 KiB
[startup+51.1132 s]
/proc/loadavg: 2.55 0.93 0.43 6/252 29272
/proc/meminfo: memFree=114759712/131655788 swapFree=131071216/131071996
[pid=29078] ppid=29071 vsize=1321604 memory=977864 CPUtime=50.93 cores=4,6
/proc/29078/stat : 29078 (fscip) S 29071 29078 29026 0 -1 1077936128 380226 0 0 0 5026 67 0 0 20 0 3 0 4230838 1353322496 244466 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
/proc/29078/statm: 330401 244466 2998 3035 0 313414 0
[pid=29078/tid=29190] ppid=29071 vsize=1321604 memory=977864 CPUtime=47.71 cores=4,6
/proc/29078/task/29190/stat : 29190 (fscip) R 29071 29078 29026 0 -1 4194368 297016 0 0 0 4729 42 0 0 20 0 3 0 4231149 1353322496 244466 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
[pid=29078/tid=29196] ppid=29071 vsize=1321604 memory=872488 CPUtime=0 cores=4,6
/proc/29078/task/29196/stat : 29196 (fscip) S 29071 29078 29026 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 4231187 1353322496 244466 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1321604 KiB
Current children cumulated memory: 977864 KiB
[startup+102.3 s]
/proc/loadavg: 3.37 1.40 0.62 6/252 29281
/proc/meminfo: memFree=114680572/131655788 swapFree=131071216/131071996
[pid=29078] ppid=29071 vsize=1387140 memory=979952 CPUtime=101.97 cores=4,6
/proc/29078/stat : 29078 (fscip) S 29071 29078 29026 0 -1 1077936128 467781 0 0 0 10125 72 0 0 20 0 3 0 4230838 1420431360 244988 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
/proc/29078/statm: 346785 244988 2998 3035 0 323859 0
[pid=29078/tid=29190] ppid=29071 vsize=1387140 memory=977896 CPUtime=98.74 cores=4,6
/proc/29078/task/29190/stat : 29190 (fscip) R 29071 29078 29026 0 -1 4194368 384196 0 0 0 9827 47 0 0 20 0 3 0 4231149 1420431360 244988 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
[pid=29078/tid=29196] ppid=29071 vsize=1387140 memory=977896 CPUtime=0 cores=4,6
/proc/29078/task/29196/stat : 29196 (fscip) S 29071 29078 29026 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 4231187 1420431360 244988 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1387140 KiB
Current children cumulated memory: 979952 KiB
[startup+162.3 s]
/proc/loadavg: 3.82 1.89 0.84 6/252 29293
/proc/meminfo: memFree=114505384/131655788 swapFree=131071216/131071996
[pid=29078] ppid=29071 vsize=1453700 memory=1066088 CPUtime=161.78 cores=4,6
/proc/29078/stat : 29078 (fscip) S 29071 29078 29026 0 -1 1077936128 594716 0 0 0 16096 82 0 0 20 0 3 0 4230838 1488588800 266522 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
/proc/29078/statm: 363425 266522 2998 3035 0 347438 0
[pid=29078/tid=29190] ppid=29071 vsize=1453700 memory=979952 CPUtime=158.55 cores=4,6
/proc/29078/task/29190/stat : 29190 (fscip) R 29071 29078 29026 0 -1 4194368 511022 0 0 0 15799 56 0 0 20 0 3 0 4231149 1488588800 266522 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
[pid=29078/tid=29196] ppid=29071 vsize=1453700 memory=1064180 CPUtime=0 cores=4,6
/proc/29078/task/29196/stat : 29196 (fscip) S 29071 29078 29026 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 4231187 1488588800 266522 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1453700 KiB
Current children cumulated memory: 1066088 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 2.33 1.06 6/252 29304
/proc/meminfo: memFree=114433028/131655788 swapFree=131071216/131071996
[pid=29078] ppid=29071 vsize=1519236 memory=1090320 CPUtime=221.6 cores=4,6
/proc/29078/stat : 29078 (fscip) S 29071 29078 29026 0 -1 1077936128 685214 0 0 0 22069 91 0 0 20 0 3 0 4230838 1555697664 272580 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
/proc/29078/statm: 379809 272580 2998 3035 0 364944 0
[pid=29078/tid=29190] ppid=29071 vsize=1519236 memory=1087540 CPUtime=218.35 cores=4,6
/proc/29078/task/29190/stat : 29190 (fscip) R 29071 29078 29026 0 -1 4194368 601218 0 0 0 21770 65 0 0 20 0 3 0 4231149 1555697664 272580 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
[pid=29078/tid=29196] ppid=29071 vsize=1519236 memory=1089616 CPUtime=0 cores=4,6
/proc/29078/task/29196/stat : 29196 (fscip) S 29071 29078 29026 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 4231187 1555697664 272580 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 1519236 KiB
Current children cumulated memory: 1090320 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 2.65 1.25 6/252 29314
/proc/meminfo: memFree=114372368/131655788 swapFree=131071216/131071996
[pid=29078] ppid=29071 vsize=1527060 memory=1140268 CPUtime=281.4 cores=4,6
/proc/29078/stat : 29078 (fscip) S 29071 29078 29026 0 -1 1077936128 773667 0 0 0 28041 99 0 0 20 0 3 0 4230838 1563709440 285067 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
/proc/29078/statm: 381765 285067 3302 3035 0 371442 0
[pid=29078/tid=29190] ppid=29071 vsize=1527060 memory=12132 CPUtime=278.16 cores=4,6
/proc/29078/task/29190/stat : 29190 (fscip) R 29071 29078 29026 0 -1 4194368 689348 0 0 0 27743 73 0 0 20 0 3 0 4231149 1563709440 285067 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
################
# More data... #
################
[pid=29078] ppid=29071 vsize=3267156 memory=2301628 CPUtime=3393.3 cores=4,6
/proc/29078/stat : 29078 (fscip) S 29071 29078 29026 0 -1 1077936128 3663559 0 0 0 338994 336 0 0 20 0 3 0 4230838 3345567744 575407 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
/proc/29078/statm: 816789 575407 3302 3035 0 804706 0
[pid=29078/tid=29190] ppid=29071 vsize=3267156 memory=2301616 CPUtime=3389.87 cores=4,6
/proc/29078/task/29190/stat : 29190 (fscip) R 29071 29078 29026 0 -1 4194368 3577654 0 0 0 338686 301 0 0 20 0 3 0 4231149 3345567744 575407 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
[pid=29078/tid=29196] ppid=29071 vsize=3267156 memory=2296 CPUtime=0.05 cores=4,6
/proc/29078/task/29196/stat : 29196 (fscip) S 29071 29078 29026 0 -1 1077936192 166 0 0 0 1 4 0 0 20 0 3 0 4231187 3345567744 575407 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
Current children cumulated CPU time: 3393.3 s
Current children cumulated vsize: 3267156 KiB
Current children cumulated memory: 2301628 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.16 4.09 6/250 30871
/proc/meminfo: memFree=111429064/131655788 swapFree=131071216/131071996
[pid=29078] ppid=29071 vsize=3267156 memory=2327936 CPUtime=3453.16 cores=4,6
/proc/29078/stat : 29078 (fscip) S 29071 29078 29026 0 -1 1077936128 3789074 0 0 0 344972 344 0 0 20 0 3 0 4230838 3345567744 581984 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
/proc/29078/statm: 816789 581984 3302 3035 0 804706 0
[pid=29078/tid=29190] ppid=29071 vsize=3267156 memory=12132 CPUtime=3449.72 cores=4,6
/proc/29078/task/29190/stat : 29190 (fscip) R 29071 29078 29026 0 -1 4194368 3703163 0 0 0 344663 309 0 0 20 0 3 0 4231149 3345567744 581984 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
[pid=29078/tid=29196] ppid=29071 vsize=3267156 memory=12132 CPUtime=0.06 cores=4,6
/proc/29078/task/29196/stat : 29196 (fscip) S 29071 29078 29026 0 -1 1077936192 168 0 0 0 2 4 0 0 20 0 3 0 4231187 3345567744 581984 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
Current children cumulated CPU time: 3453.16 s
Current children cumulated vsize: 3267156 KiB
Current children cumulated memory: 2327936 KiB
[startup+3522.3 s]
/proc/loadavg: 4.58 4.27 4.13 6/251 31050
/proc/meminfo: memFree=111249220/131655788 swapFree=131071216/131071996
[pid=29078] ppid=29071 vsize=3332692 memory=2429504 CPUtime=3512.98 cores=4,6
/proc/29078/stat : 29078 (fscip) S 29071 29078 29026 0 -1 1077936128 3941323 0 0 0 350942 356 0 0 20 0 3 0 4230838 3412676608 607376 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
/proc/29078/statm: 833173 607376 3302 3035 0 817104 0
[pid=29078/tid=29190] ppid=29071 vsize=3332692 memory=12132 CPUtime=3509.53 cores=4,6
/proc/29078/task/29190/stat : 29190 (fscip) R 29071 29078 29026 0 -1 4194368 3855386 0 0 0 350633 320 0 0 20 0 3 0 4231149 3412676608 607376 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
[pid=29078/tid=29196] ppid=29071 vsize=3332692 memory=2429088 CPUtime=0.06 cores=4,6
/proc/29078/task/29196/stat : 29196 (fscip) S 29071 29078 29026 0 -1 1077936192 168 0 0 0 2 4 0 0 20 0 3 0 4231187 3412676608 607376 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
Current children cumulated CPU time: 3512.98 s
Current children cumulated vsize: 3332692 KiB
Current children cumulated memory: 2429504 KiB
[startup+3582.3 s]
/proc/loadavg: 4.44 4.31 4.15 6/251 31061
/proc/meminfo: memFree=111219776/131655788 swapFree=131071216/131071996
[pid=29078] ppid=29071 vsize=3332692 memory=2447224 CPUtime=3572.81 cores=4,6
/proc/29078/stat : 29078 (fscip) S 29071 29078 29026 0 -1 1077936128 4017973 0 0 0 356919 362 0 0 20 0 3 0 4230838 3412676608 611806 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
/proc/29078/statm: 833173 611806 3302 3035 0 821090 0
[pid=29078/tid=29190] ppid=29071 vsize=3332692 memory=2447224 CPUtime=3569.36 cores=4,6
/proc/29078/task/29190/stat : 29190 (fscip) R 29071 29078 29026 0 -1 4194368 3932008 0 0 0 356610 326 0 0 20 0 3 0 4231149 3412676608 611806 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
[pid=29078/tid=29196] ppid=29071 vsize=3332692 memory=12360 CPUtime=0.06 cores=4,6
/proc/29078/task/29196/stat : 29196 (fscip) S 29071 29078 29026 0 -1 1077936192 170 0 0 0 2 4 0 0 20 0 3 0 4231187 3412676608 611806 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
Current children cumulated CPU time: 3572.81 s
Current children cumulated vsize: 3332692 KiB
Current children cumulated memory: 2447224 KiB
[startup+3598.69 s]
# the end of solver process 29078 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.43 s, system=3.7447 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.44 4.31 4.15 6/251 31061
/proc/meminfo: memFree=111218792/131655788 swapFree=131071216/131071996
[pid=29078] ppid=29071 vsize=3332692 memory=2447224 CPUtime=3574.52 cores=4,6
/proc/29078/stat : 29078 (fscip) S 29071 29078 29026 0 -1 1077936128 4017996 0 0 0 357090 362 0 0 20 0 3 0 4230838 3412676608 611806 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
/proc/29078/statm: 833173 611806 3302 3035 0 821090 0
[pid=29078/tid=29190] ppid=29071 vsize=3332692 memory=-7594032712773623415 CPUtime=3571.07 cores=4,6
/proc/29078/task/29190/stat : 29190 (fscip) R 29071 29078 29026 0 -1 4194368 3932031 0 0 0 356781 326 0 0 20 0 3 0 4231149 3412676608 611806 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
[pid=29078/tid=29196] ppid=29071 vsize=3332692 memory=-4050210904893473430 CPUtime=0.06 cores=4,6
/proc/29078/task/29196/stat : 29196 (fscip) S 29071 29078 29026 0 -1 1077936192 170 0 0 0 2 4 0 0 20 0 3 0 4231187 3412676608 611806 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
Current children cumulated CPU time: 3574.52 s
Current children cumulated vsize: 3332692 KiB
Current children cumulated memory: 2447224 KiB
[startup+3590.4 s]
/proc/loadavg: 4.40 4.30 4.15 7/251 31061
/proc/meminfo: memFree=111218744/131655788 swapFree=131071216/131071996
[pid=29078] ppid=29071 vsize=3332692 memory=2447224 CPUtime=3580.89 cores=4,6
/proc/29078/stat : 29078 (fscip) S 29071 29078 29026 0 -1 1077936128 4018732 0 0 0 357727 362 0 0 20 0 3 0 4230838 3412676608 611806 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
/proc/29078/statm: 833173 611806 3302 3035 0 821090 0
[pid=29078/tid=29190] ppid=29071 vsize=3332692 memory=-7666090306811553145 CPUtime=3577.45 cores=4,6
/proc/29078/task/29190/stat : 29190 (fscip) R 29071 29078 29026 0 -1 4194368 3932767 0 0 0 357418 327 0 0 20 0 3 0 4231149 3412676608 611806 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
[pid=29078/tid=29196] ppid=29071 vsize=3332692 memory=12132 CPUtime=0.06 cores=4,6
/proc/29078/task/29196/stat : 29196 (fscip) S 29071 29078 29026 0 -1 1077936192 170 0 0 0 2 4 0 0 20 0 3 0 4231187 3412676608 611806 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
Current children cumulated CPU time: 3580.89 s
Current children cumulated vsize: 3332692 KiB
Current children cumulated memory: 2447224 KiB
[startup+3593.6 s]
/proc/loadavg: 4.37 4.29 4.15 6/251 31063
/proc/meminfo: memFree=111207176/131655788 swapFree=131071216/131071996
[pid=29078] ppid=29071 vsize=3332692 memory=2447224 CPUtime=3584.09 cores=4,6
/proc/29078/stat : 29078 (fscip) S 29071 29078 29026 0 -1 1077936128 4020326 0 0 0 358046 363 0 0 20 0 3 0 4230838 3412676608 611806 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
/proc/29078/statm: 833173 611806 3302 3035 0 821090 0
[pid=29078/tid=29190] ppid=29071 vsize=3332692 memory=2447224 CPUtime=3580.64 cores=4,6
/proc/29078/task/29190/stat : 29190 (fscip) R 29071 29078 29026 0 -1 4194368 3934361 0 0 0 357737 327 0 0 20 0 3 0 4231149 3412676608 611806 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
[pid=29078/tid=29196] ppid=29071 vsize=3332692 memory=-7666090306811553145 CPUtime=0.06 cores=4,6
/proc/29078/task/29196/stat : 29196 (fscip) S 29071 29078 29026 0 -1 1077936192 170 0 0 0 2 4 0 0 20 0 3 0 4231187 3412676608 611806 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
Current children cumulated CPU time: 3584.09 s
Current children cumulated vsize: 3332692 KiB
Current children cumulated memory: 2447224 KiB
[startup+3596.8 s]
/proc/loadavg: 4.34 4.29 4.15 6/251 31063
/proc/meminfo: memFree=111207088/131655788 swapFree=131071216/131071996
[pid=29078] ppid=29071 vsize=3332692 memory=2447224 CPUtime=3587.28 cores=4,6
/proc/29078/stat : 29078 (fscip) S 29071 29078 29026 0 -1 1077936128 4020845 0 0 0 358365 363 0 0 20 0 3 0 4230838 3412676608 611806 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
/proc/29078/statm: 833173 611806 3302 3035 0 821090 0
[pid=29078/tid=29190] ppid=29071 vsize=3332692 memory=12360 CPUtime=3583.83 cores=4,6
/proc/29078/task/29190/stat : 29190 (fscip) R 29071 29078 29026 0 -1 4194368 3934880 0 0 0 358056 327 0 0 20 0 3 0 4231149 3412676608 611806 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
[pid=29078/tid=29196] ppid=29071 vsize=3332692 memory=11968 CPUtime=0.06 cores=4,6
/proc/29078/task/29196/stat : 29196 (fscip) S 29071 29078 29026 0 -1 1077936192 170 0 0 0 2 4 0 0 20 0 3 0 4231187 3412676608 611806 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
Current children cumulated CPU time: 3587.28 s
Current children cumulated vsize: 3332692 KiB
Current children cumulated memory: 2447224 KiB
[startup+3597.6 s]
/proc/loadavg: 4.34 4.29 4.15 6/251 31063
/proc/meminfo: memFree=111207012/131655788 swapFree=131071216/131071996
[pid=29078] ppid=29071 vsize=3332692 memory=2447224 CPUtime=3588.08 cores=4,6
/proc/29078/stat : 29078 (fscip) S 29071 29078 29026 0 -1 1077936128 4020882 0 0 0 358445 363 0 0 20 0 3 0 4230838 3412676608 611806 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
/proc/29078/statm: 833173 611806 3302 3035 0 821090 0
[pid=29078/tid=29190] ppid=29071 vsize=3332692 memory=5512 CPUtime=3584.63 cores=4,6
/proc/29078/task/29190/stat : 29190 (fscip) R 29071 29078 29026 0 -1 4194368 3934917 0 0 0 358136 327 0 0 20 0 3 0 4231149 3412676608 611806 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
[pid=29078/tid=29196] ppid=29071 vsize=3332692 memory=-7666090306811553145 CPUtime=0.06 cores=4,6
/proc/29078/task/29196/stat : 29196 (fscip) S 29071 29078 29026 0 -1 1077936192 170 0 0 0 2 4 0 0 20 0 3 0 4231187 3412676608 611806 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
Current children cumulated CPU time: 3588.08 s
Current children cumulated vsize: 3332692 KiB
Current children cumulated memory: 2447224 KiB
[startup+3598.4 s]
/proc/loadavg: 4.34 4.29 4.15 6/251 31063
/proc/meminfo: memFree=111207076/131655788 swapFree=131071216/131071996
[pid=29078] ppid=29071 vsize=2590184 memory=1742640 CPUtime=3588.87 cores=4,6
/proc/29078/stat : 29078 (fscip) S 29071 29078 29026 0 -1 1077936128 4056486 0 0 0 358522 365 0 0 20 0 3 0 4230838 2652348416 439757 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
/proc/29078/statm: 640534 436042 3302 3035 0 628451 0
[pid=29078/tid=29190] ppid=29071 vsize=2562136 memory=12360 CPUtime=3585.43 cores=4,6
/proc/29078/task/29190/stat : 29190 (fscip) R 29071 29078 29026 0 -1 4194368 3970522 0 0 0 358213 330 0 0 20 0 3 0 4231149 2623627264 435660 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
[pid=29078/tid=29196] ppid=29071 vsize=2545748 memory=11968 CPUtime=0.06 cores=4,6
/proc/29078/task/29196/stat : 29196 (fscip) S 29071 29078 29026 0 -1 1077936192 170 0 0 0 2 4 0 0 20 0 3 0 4231187 2606845952 435660 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
Current children cumulated CPU time: 3588.87 s
Current children cumulated vsize: 2590184 KiB
Current children cumulated memory: 1742640 KiB
[startup+3598.6 s]
/proc/loadavg: 4.34 4.29 4.15 6/251 31063
/proc/meminfo: memFree=111207076/131655788 swapFree=131071216/131071996
[pid=29078] ppid=29071 vsize=1874992 memory=1490476 CPUtime=3589.07 cores=4,6
/proc/29078/stat : 29078 (fscip) R 29071 29078 29026 0 -1 4194304 4065073 0 0 0 358539 368 0 0 20 0 2 0 4230838 1919991808 372619 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
/proc/29078/statm: 468748 372619 3302 3035 0 456809 0
[pid=29078/tid=29196] ppid=29071 vsize=1874992 memory=12360 CPUtime=0.06 cores=4,6
/proc/29078/task/29196/stat : 29196 (fscip) S 29071 29078 29026 0 -1 1077936192 170 0 0 0 2 4 0 0 20 0 2 0 4231187 1919991808 372619 134679101440 4194304 16623229 140727780615664 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 40648704 140727780619286 140727780619402 140727780619402 140727780626416 0
Current children cumulated CPU time: 3589.07 s
Current children cumulated vsize: 1874992 KiB
Current children cumulated memory: 1490476 KiB
Child status: 0
Real time (s): 3598.69
CPU time (s): 3589.17
CPU user time (s): 3585.43
CPU system time (s): 3.7447
CPU usage (%): 99.7356
Max. virtual memory (cumulated for all children) (KiB): 3398228
Max. memory (cumulated for all children) (KiB): 2452088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.43
system time used= 3.7447
maximum resident set size= 2452088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4065610
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= 7017
involuntary context switches= 2761
# summary of solver processes directly reported to runsolver:
# pid: 29078
# total CPU time (s): 3589.17
# total CPU user time (s): 3585.43
# total CPU system time (s): 3.7447
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.1761 second user time and 33.9699 second system time
The end
Begin job on nodeC003 at 2024-07-31 00:29:54
IDJOB=4464050
IDBENCH=146673
IDSOLVER=3092
FILE ID=nodeC003/4464050-1722378594
RUNJOBID= nodeC003-1722378594-29037
SLURM_JOB_ID= 8249833
Free space on /tmp= 723780 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.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-4464050-1722378594/watcher-4464050-1722378594 -o /tmp/evaluation-result-4464050-1722378594/solver-4464050-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722378594-29037 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464050-1722378594.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 800a2d87d48167b6ff5ac999f92ec0b3
RANDOM SEED=1497379858
nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.185
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.52
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.232
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.184
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.52
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.179
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.176
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.52
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.172
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.181
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.52
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.180
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 119836944 kB
MemAvailable: 130022280 kB
Buffers: 81528 kB
Cached: 10931972 kB
SwapCached: 16 kB
Active: 253224 kB
Inactive: 11120232 kB
Active(anon): 1336 kB
Inactive(anon): 380100 kB
Active(file): 251888 kB
Inactive(file): 10740132 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 114932 kB
Writeback: 0 kB
AnonPages: 359372 kB
Mapped: 87300 kB
Shmem: 21156 kB
KReclaimable: 67032 kB
Slab: 142664 kB
SReclaimable: 67032 kB
SUnreclaim: 75632 kB
KernelStack: 3696 kB
PageTables: 9216 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 687476 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6688 kB
HardwareCorrupted: 0 kB
AnonHugePages: 237568 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: 277320 kB
DirectMap2M: 6967296 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 723588 MiB
End job on nodeC003 at 2024-07-31 01:29:53