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.20/0.23 c Default LC presolving (default).
0.20/0.23 c ** Before presolving: virtualMemUsedAtLc = 201662304, getVmSize() = 138850304, SCIPgetMemUsed() = 99591028, SCIPgetMemTotal() = 109748788, SCIPgetMemExternEstim() = 91913516
0.20/0.23 c ** set memory limit for presolving in LC to 8.79603e+12 for SCIP **
1.89/1.99 c ** Estimated virtualMemUsedAtSolver = 313404008, getVmSize() = 417468416, SCIPgetMemUsed() = 219736889, SCIPgetMemTotal() = 378192497, SCIPgetMemExternEstim() = 91913516
1.89/1.99 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.89/1.99 c Original Problem :
1.89/1.99 c Problem name : instance-4464049-1722378594
1.89/1.99 c Variables : 1272 (1272 binary, 0 integer, 0 implicit integer, 0 continuous)
1.89/1.99 c Constraints : 94227
1.89/1.99 c Objective sense : minimize
1.89/1.99 c Presolved Problem :
1.89/1.99 c Variables : 1272 (1272 binary, 0 integer, 0 implicit integer, 0 continuous)
1.89/1.99 c Constraints : 94227
1.89/1.99 c Constraints : Number
1.89/1.99 c setppc : 94227
1.89/1.99 c ** Instance transfer method used: 0
2.09/2.11 c ** ParaScipInstance copy does not increase the number of variables. **
2.19/2.21 c LC is working with racing ramp-up and with rebuilding tree after racing.
2.19/2.21 c Nodes Active
2.19/2.21 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
4.26/4.36 c * 4 0 1 1 -34.0000 - -
4.76/4.81 c * 5 0 1 1 -39.0000 - -
44.08/44.52 c 45 2 1 1 -39.0000 -53.3333 36.75%
44.68/45.14 c * 45 2 1 1 -41.0000 -53.3333 30.08%
50.12/50.65 c 51 20 19 1 -41.0000 -53.3333 30.08%
56.57/57.17 c 57 39 38 1 -41.0000 -53.3333 30.08%
62.91/63.52 c * 64 53 52 1 -45.0000 -53.3333 18.52%
62.91/63.52 c 64 53 52 1 -45.0000 -53.3333 18.52%
70.83/71.52 c 72 71 70 1 -45.0000 -53.3333 18.52%
79.65/80.44 c 80 82 81 1 -45.0000 -53.3333 18.52%
88.08/88.98 c 89 87 86 1 -45.0000 -53.3333 18.52%
94.12/95.02 c 95 98 97 1 -45.0000 -53.3333 18.52%
100.27/101.25 c 101 102 101 1 -45.0000 -53.3333 18.52%
105.41/106.41 c 106 110 109 1 -45.0000 -53.3333 18.52%
111.55/112.69 c 113 114 113 1 -45.0000 -53.3333 18.52%
117.69/118.82 c 119 130 129 1 -45.0000 -53.3333 18.52%
124.01/125.21 c 125 141 140 1 -45.0000 -53.3333 18.52%
129.76/131.03 c 131 151 150 1 -45.0000 -53.3333 18.52%
136.18/137.51 c 138 168 155 1 -45.0000 -53.3333 18.52%
142.13/143.58 c 144 177 160 1 -45.0000 -53.3333 18.52%
147.48/148.98 c 149 183 166 1 -45.0000 -53.3333 18.52%
152.63/154.15 c 154 208 179 1 -45.0000 -53.3333 18.52%
157.77/159.36 c 159 231 190 1 -45.0000 -53.3333 18.52%
163.21/164.86 c 165 255 202 1 -45.0000 -53.3333 18.52%
169.25/170.97 c 171 261 208 1 -45.0000 -53.3333 18.52%
174.70/176.43 c 176 322 247 1 -45.0000 -53.3333 18.52%
180.24/182.01 c 182 402 297 1 -45.0000 -53.3333 18.52%
186.09/187.91 c 188 431 320 1 -45.0000 -53.3333 18.52%
191.93/193.81 c 194 458 333 1 -45.0000 -53.3333 18.52%
197.17/199.15 c 199 538 379 1 -45.0000 -53.3333 18.52%
202.91/204.92 c 205 657 456 1 -45.0000 -53.3333 18.52%
211.02/213.17 c 213 756 513 1 -45.0000 -53.3333 18.52%
219.24/221.47 c 221 782 539 1 -45.0000 -53.3333 18.52%
226.67/228.95 c 229 806 563 1 -45.0000 -53.3333 18.52%
232.81/235.17 c 235 824 581 1 -45.0000 -53.3333 18.52%
238.35/240.75 c 241 890 647 1 -45.0000 -53.3333 18.52%
243.79/246.26 c 246 944 701 1 -45.0000 -53.3333 18.52%
249.44/251.97 c 252 1002 759 1 -45.0000 -53.3333 18.52%
262.21/264.88 c 265 1023 780 1 -45.0000 -53.3333 18.52%
268.16/270.85 c 271 1027 782 1 -45.0000 -53.3333 18.52%
275.19/277.94 c 278 1037 790 1 -45.0000 -53.3333 18.52%
281.24/284.06 c 284 1045 798 1 -45.0000 -53.3333 18.52%
288.36/291.28 c 291 1083 836 1 -45.0000 -53.3333 18.52%
294.50/297.49 c 297 1091 844 1 -45.0000 -53.3333 18.52%
300.05/303.06 c 303 1101 854 1 -45.0000 -53.3333 18.52%
308.87/311.99 c 312 1118 871 1 -45.0000 -53.3333 18.52%
314.32/317.47 c 317 1127 880 1 -45.0000 -53.3333 18.52%
321.85/325.02 c 325 1163 916 1 -45.0000 -53.3333 18.52%
330.18/333.43 c 333 1182 935 1 -45.0000 -53.3333 18.52%
336.32/339.69 c 340 1204 957 1 -45.0000 -53.3333 18.52%
342.07/345.46 c 345 1234 987 1 -45.0000 -53.3333 18.52%
347.62/351.01 c 351 1251 1004 1 -45.0000 -53.3333 18.52%
354.75/358.28 c 358 1272 1025 1 -45.0000 -53.3333 18.52%
362.68/366.25 c 366 1290 1043 1 -45.0000 -53.3333 18.52%
368.63/372.20 c 372 1305 1058 1 -45.0000 -53.3333 18.52%
377.75/381.45 c 381 1324 1077 1 -45.0000 -53.3333 18.52%
383.79/387.55 c 388 1337 1090 1 -45.0000 -53.3333 18.52%
391.42/395.21 c 395 1347 1100 1 -45.0000 -53.3333 18.52%
400.84/404.75 c 405 1372 1125 1 -45.0000 -53.3333 18.52%
406.39/410.37 c 410 1386 1139 1 -45.0000 -53.3333 18.52%
412.44/416.41 c 416 1396 1149 1 -45.0000 -53.3333 18.52%
419.87/423.94 c 424 1414 1167 1 -45.0000 -53.3333 18.52%
427.91/432.05 c 432 1434 1185 1 -45.0000 -53.3333 18.52%
436.73/440.93 c 441 1453 1204 1 -45.0000 -53.3333 18.52%
442.87/447.13 c 447 1473 1224 1 -45.0000 -53.3333 18.52%
448.22/452.59 c 453 1493 1244 1 -45.0000 -53.3333 18.52%
453.68/458.07 c 458 1512 1263 1 -45.0000 -53.3333 18.52%
458.73/463.18 c 463 1531 1282 1 -45.0000 -53.3333 18.52%
464.87/469.39 c 469 1548 1299 1 -45.0000 -53.3333 18.52%
470.03/474.52 c 475 1576 1327 1 -45.0000 -53.3333 18.52%
484.11/488.70 c 489 1601 1352 1 -45.0000 -53.3333 18.52%
491.83/496.58 c 497 1638 1389 1 -45.0000 -53.3333 18.52%
498.57/503.35 c 503 1663 1414 1 -45.0000 -53.3333 18.52%
503.63/508.44 c 508 1688 1439 1 -45.0000 -53.3333 18.52%
508.88/513.76 c 514 1726 1475 1 -45.0000 -53.3333 18.52%
514.23/519.16 c 519 1776 1525 1 -45.0000 -53.3333 18.52%
522.45/527.41 c 527 1790 1539 1 -45.0000 -53.3333 18.52%
527.90/532.94 c 533 1817 1566 1 -45.0000 -53.3333 18.52%
533.85/538.99 c 539 1884 1633 1 -45.0000 -53.3333 18.52%
541.47/546.63 c 547 1939 1688 1 -45.0000 -53.3333 18.52%
547.22/552.47 c 552 1995 1744 1 -45.0000 -53.3333 18.52%
553.16/558.46 c 558 2053 1802 1 -45.0000 -53.3333 18.52%
558.81/564.17 c 564 2082 1831 1 -45.0000 -53.3333 18.52%
564.95/570.35 c 570 2116 1865 1 -45.0000 -53.3333 18.52%
570.80/576.21 c 576 2166 1915 1 -45.0000 -53.3333 18.52%
576.25/581.70 c 582 2221 1970 1 -45.0000 -53.3333 18.52%
581.79/587.40 c 587 2273 2022 1 -45.0000 -53.3333 18.52%
588.14/593.79 c 594 2303 2052 1 -45.0000 -53.3333 18.52%
593.30/598.97 c 599 2325 2074 1 -45.0000 -53.3333 18.52%
598.64/604.33 c 604 2403 2152 1 -45.0000 -53.3333 18.52%
604.09/609.89 c 610 2471 2220 1 -45.0000 -53.3333 18.52%
612.11/617.94 c 618 2536 2285 1 -45.0000 -53.3333 18.52%
620.44/626.38 c 626 2565 2314 1 -45.0000 -53.3333 18.52%
627.18/633.18 c 633 2615 2364 1 -45.0000 -53.3333 18.52%
633.12/639.19 c 639 2654 2403 1 -45.0000 -53.3333 18.52%
638.48/644.57 c 645 2683 2432 1 -45.0000 -53.3333 18.52%
644.33/650.41 c 650 2714 2463 1 -45.0000 -53.3333 18.52%
650.07/656.21 c 656 2752 2501 1 -45.0000 -53.3333 18.52%
655.02/661.29 c 661 2801 2550 1 -45.0000 -53.3333 18.52%
660.28/666.56 c 667 2888 2637 1 -45.0000 -53.3333 18.52%
668.80/675.16 c 675 2929 2678 1 -45.0000 -53.3333 18.52%
674.74/681.19 c 681 2990 2739 1 -45.0000 -53.1667 18.15%
679.99/686.48 c 686 3006 2755 1 -45.0000 -53.0000 17.78%
685.54/692.07 c 692 3083 2828 1 -45.0000 -53.0000 17.78%
691.68/698.20 c 698 3136 2881 1 -45.0000 -53.0000 17.78%
697.72/704.39 c 704 3165 2910 1 -45.0000 -53.0000 17.78%
703.07/709.76 c 710 3238 2983 1 -45.0000 -53.0000 17.78%
710.30/717.02 c 717 3304 3049 1 -45.0000 -53.0000 17.78%
716.65/723.43 c 723 3334 3077 1 -45.0000 -53.0000 17.78%
723.48/730.34 c 730 3387 3130 1 -45.0000 -53.0000 17.78%
730.72/737.66 c 738 3435 3176 1 -45.0000 -53.0000 17.78%
737.45/744.45 c 744 3495 3236 1 -45.0000 -53.0000 17.78%
749.05/756.13 c 756 3536 3275 1 -45.0000 -53.0000 17.78%
754.00/761.19 c 761 3607 3344 1 -45.0000 -53.0000 17.78%
759.75/766.99 c 767 3643 3380 1 -45.0000 -53.0000 17.78%
765.79/773.01 c 773 3725 3458 1 -45.0000 -53.0000 17.78%
771.04/778.35 c 778 3793 3520 1 -45.0000 -53.0000 17.78%
777.09/784.41 c 784 3839 3566 1 -45.0000 -53.0000 17.78%
782.34/789.76 c 790 3919 3646 1 -45.0000 -53.0000 17.78%
791.65/799.10 c 799 3969 3696 1 -45.0000 -53.0000 17.78%
799.68/807.23 c 807 3981 3708 1 -45.0000 -53.0000 17.78%
805.34/812.98 c 813 4008 3735 1 -45.0000 -53.0000 17.78%
811.18/818.84 c 819 4030 3755 1 -45.0000 -53.0000 17.78%
814.15/821.89 c * 822 4063 3788 1 -46.0000 -53.0000 15.22%
816.63/824.36 c 824 4096 3718 1 -46.0000 -53.0000 15.22%
821.68/829.43 c 829 4115 3737 1 -46.0000 -53.0000 15.22%
827.73/835.51 c 836 4150 3772 1 -46.0000 -53.0000 15.22%
833.29/841.17 c 841 4199 3819 1 -46.0000 -53.0000 15.22%
839.14/847.07 c 847 4241 3861 1 -46.0000 -53.0000 15.22%
847.25/855.23 c 855 4302 3916 1 -46.0000 -53.0000 15.22%
869.76/877.98 c 878 4351 0 1 -46.0000 -53.0000 15.22%
875.50/883.74 c 884 4378 27 1 -46.0000 -53.0000 15.22%
881.85/890.19 c 890 4383 32 1 -46.0000 -53.0000 15.22%
887.59/895.97 c 896 4391 40 1 -46.0000 -53.0000 15.22%
893.93/902.32 c 902 4408 57 1 -46.0000 -53.0000 15.22%
899.47/907.92 c 908 4430 79 1 -46.0000 -53.0000 15.22%
906.51/915.02 c 915 4464 113 1 -46.0000 -53.0000 15.22%
915.33/923.99 c 924 4478 127 1 -46.0000 -53.0000 15.22%
921.47/930.18 c 930 4490 139 1 -46.0000 -53.0000 15.22%
928.11/936.89 c 937 4499 148 1 -46.0000 -53.0000 15.22%
934.25/943.05 c 943 4558 205 1 -46.0000 -53.0000 15.22%
939.70/948.51 c 949 4634 279 1 -46.0000 -53.0000 15.22%
949.61/958.50 c 958 4674 319 1 -46.0000 -53.0000 15.22%
955.37/964.34 c 964 4687 332 1 -46.0000 -53.0000 15.22%
961.31/970.35 c 970 4698 343 1 -46.0000 -53.0000 15.22%
967.86/976.93 c 977 4700 345 1 -46.0000 -53.0000 15.22%
978.36/987.55 c 988 4734 377 1 -46.0000 -53.0000 15.22%
985.99/995.23 c 995 4741 384 1 -46.0000 -53.0000 15.22%
992.63/1001.90 c 1002 4757 398 1 -46.0000 -53.0000 15.22%
1000.16/1009.51 c 1010 4760 399 1 -46.0000 -53.0000 15.22%
1005.80/1015.20 c 1015 4766 403 1 -46.0000 -53.0000 15.22%
1014.03/1023.59 c 1024 4770 405 1 -46.0000 -53.0000 15.22%
1019.97/1029.56 c 1030 4806 437 1 -46.0000 -53.0000 15.22%
1027.90/1037.54 c 1038 4813 444 1 -46.0000 -53.0000 15.22%
1033.05/1042.70 c 1043 4828 457 1 -46.0000 -53.0000 15.22%
1038.30/1048.05 c 1048 4832 461 1 -46.0000 -53.0000 15.22%
1045.23/1055.02 c 1055 4866 495 1 -46.0000 -53.0000 15.22%
1052.86/1062.76 c 1063 4892 521 1 -46.0000 -53.0000 15.22%
1058.60/1068.55 c 1069 4910 539 1 -46.0000 -53.0000 15.22%
1066.73/1076.72 c 1077 4931 558 1 -46.0000 -53.0000 15.22%
1072.19/1082.23 c 1082 4950 575 1 -46.0000 -53.0000 15.22%
1080.77/1090.86 c 1091 4998 623 1 -46.0000 -53.0000 15.22%
1086.55/1096.61 c 1097 5006 629 1 -46.0000 -53.0000 15.22%
1091.94/1102.05 c 1102 5020 643 1 -46.0000 -53.0000 15.22%
1097.12/1107.26 c 1107 5030 653 1 -46.0000 -53.0000 15.22%
1102.30/1112.45 c 1112 5043 666 1 -46.0000 -53.0000 15.22%
1110.08/1120.21 c 1120 5051 674 1 -46.0000 -53.0000 15.22%
1115.36/1125.57 c 1126 5083 704 1 -46.0000 -53.0000 15.22%
1121.54/1131.71 c 1132 5095 716 1 -46.0000 -53.0000 15.22%
1131.11/1141.35 c 1141 5101 722 1 -46.0000 -53.0000 15.22%
1139.59/1149.87 c 1150 5119 740 1 -46.0000 -53.0000 15.22%
1147.66/1157.95 c 1158 5130 751 1 -46.0000 -53.0000 15.22%
1153.55/1163.89 c 1164 5134 755 1 -46.0000 -53.0000 15.22%
1162.72/1173.04 c 1173 5147 768 1 -46.0000 -53.0000 15.22%
1169.80/1180.15 c 1180 5159 780 1 -46.0000 -53.0000 15.22%
1174.98/1185.30 c 1185 5184 803 1 -46.0000 -53.0000 15.22%
1180.86/1191.25 c 1191 5196 815 1 -46.0000 -53.0000 15.22%
1186.54/1196.93 c 1197 5213 832 1 -46.0000 -53.0000 15.22%
1192.32/1202.72 c 1203 5243 862 1 -46.0000 -53.0000 15.22%
1200.00/1210.42 c 1210 5291 910 1 -46.0000 -53.0000 15.22%
1206.38/1216.88 c 1217 5309 928 1 -46.0000 -53.0000 15.22%
1211.67/1222.19 c 1222 5346 965 1 -46.0000 -53.0000 15.22%
1217.54/1228.02 c 1228 5388 1007 1 -46.0000 -53.0000 15.22%
1223.23/1233.71 c 1234 5461 1078 1 -46.0000 -53.0000 15.22%
1230.70/1241.22 c 1241 5482 1093 1 -46.0000 -53.0000 15.22%
1237.18/1247.75 c 1248 5510 1117 1 -46.0000 -53.0000 15.22%
1242.66/1253.29 c 1253 5580 1183 1 -46.0000 -53.0000 15.22%
1248.34/1258.98 c 1259 5625 1228 1 -46.0000 -53.0000 15.22%
1257.01/1267.61 c 1268 5633 1236 1 -46.0000 -53.0000 15.22%
1262.10/1272.80 c 1273 5641 1244 1 -46.0000 -53.0000 15.22%
1268.28/1278.99 c 1279 5663 1266 1 -46.0000 -53.0000 15.22%
1273.67/1284.39 c 1284 5708 1311 1 -46.0000 -53.0000 15.22%
1279.05/1289.75 c 1290 5759 1362 1 -46.0000 -53.0000 15.22%
1284.43/1295.15 c 1295 5825 1428 1 -46.0000 -53.0000 15.22%
1290.61/1301.38 c 1301 5831 1434 1 -46.0000 -53.0000 15.22%
1297.29/1308.07 c 1308 5871 1474 1 -46.0000 -53.0000 15.22%
1303.97/1314.71 c 1315 5889 1492 1 -46.0000 -53.0000 15.22%
1308.95/1319.75 c 1320 5919 1522 1 -46.0000 -53.0000 15.22%
1318.72/1329.54 c 1330 5963 1566 1 -46.0000 -53.0000 15.22%
1323.70/1334.55 c 1335 5983 1584 1 -46.0000 -53.0000 15.22%
1338.65/1349.56 c 1350 5999 1600 1 -46.0000 -53.0000 15.22%
1344.83/1355.77 c 1356 6007 1608 1 -46.0000 -53.0000 15.22%
1351.02/1361.95 c 1362 6027 1626 1 -46.0000 -53.0000 15.22%
1356.11/1367.04 c 1367 6033 1632 1 -46.0000 -53.0000 15.22%
1364.58/1375.57 c 1376 6052 1649 1 -46.0000 -53.0000 15.22%
1371.66/1382.60 c 1383 6063 1658 1 -46.0000 -53.0000 15.22%
1380.23/1391.24 c 1391 6081 1676 1 -46.0000 -53.0000 15.22%
1387.91/1398.92 c 1399 6092 1687 1 -46.0000 -53.0000 15.22%
1392.89/1403.94 c 1404 6116 1711 1 -46.0000 -53.0000 15.22%
1398.47/1409.52 c 1410 6164 1757 1 -46.0000 -53.0000 15.22%
1403.85/1414.97 c 1415 6210 1801 1 -46.0000 -53.0000 15.22%
1409.33/1420.40 c 1420 6270 1861 1 -46.0000 -53.0000 15.22%
1414.72/1425.85 c 1426 6295 1886 1 -46.0000 -53.0000 15.22%
1420.10/1431.27 c 1431 6303 1894 1 -46.0000 -53.0000 15.22%
1425.39/1436.56 c 1437 6309 1898 1 -46.0000 -53.0000 15.22%
1431.27/1442.45 c 1442 6315 1904 1 -46.0000 -53.0000 15.22%
1437.45/1448.68 c 1449 6318 1907 1 -46.0000 -53.0000 15.22%
1447.32/1458.59 c 1459 6322 1911 1 -46.0000 -53.0000 15.22%
1457.90/1469.14 c 1469 6334 1923 1 -46.0000 -53.0000 15.22%
1467.77/1479.07 c 1479 6337 1926 1 -46.0000 -53.0000 15.22%
1473.54/1484.82 c 1485 6347 1934 1 -46.0000 -53.0000 15.22%
1484.01/1495.32 c 1495 6361 1948 1 -46.0000 -53.0000 15.22%
1491.09/1502.47 c 1502 6374 1961 1 -46.0000 -53.0000 15.22%
1504.45/1515.87 c 1516 6383 1970 1 -46.0000 -53.0000 15.22%
1509.54/1520.94 c 1521 6396 1983 1 -46.0000 -53.0000 15.22%
1515.42/1526.82 c 1527 6405 1992 1 -46.0000 -53.0000 15.22%
1520.41/1531.85 c 1532 6409 1996 1 -46.0000 -53.0000 15.22%
1531.08/1542.57 c 1543 6474 2059 1 -46.0000 -53.0000 15.22%
1537.56/1549.07 c 1549 6476 2061 1 -46.0000 -53.0000 15.22%
1546.42/1557.91 c 1558 6504 2087 1 -46.0000 -53.0000 15.22%
1552.51/1564.00 c 1564 6515 2096 1 -46.0000 -53.0000 15.22%
1558.30/1569.88 c 1570 6539 2118 1 -46.0000 -53.0000 15.22%
1565.18/1576.76 c 1577 6562 2135 1 -46.0000 -53.0000 15.22%
1572.96/1584.56 c 1585 6567 2140 1 -46.0000 -53.0000 15.22%
1581.74/1593.36 c 1593 6658 2223 1 -46.0000 -53.0000 15.22%
1591.42/1603.07 c 1603 6667 2232 1 -46.0000 -53.0000 15.22%
1598.80/1610.47 c 1610 6705 2270 1 -46.0000 -53.0000 15.22%
1605.68/1617.36 c 1617 6739 2302 1 -46.0000 -53.0000 15.22%
1612.86/1624.53 c 1625 6772 2331 1 -46.0000 -53.0000 15.22%
1620.34/1632.06 c 1632 6796 2355 1 -46.0000 -53.0000 15.22%
1626.62/1638.33 c 1638 6806 2365 1 -46.0000 -53.0000 15.22%
1635.81/1647.55 c 1648 6832 2391 1 -46.0000 -53.0000 15.22%
1641.10/1652.88 c 1653 6842 2401 1 -46.0000 -53.0000 15.22%
1648.28/1660.02 c 1660 6859 2414 1 -46.0000 -53.0000 15.22%
1654.27/1666.01 c 1666 6873 2428 1 -46.0000 -53.0000 15.22%
1661.95/1673.78 c 1674 6895 2450 1 -46.0000 -53.0000 15.22%
1671.62/1683.48 c 1683 6920 2475 1 -46.0000 -53.0000 15.22%
1678.81/1690.68 c 1691 6931 2484 1 -46.0000 -53.0000 15.22%
1684.29/1696.18 c 1696 7002 2549 1 -46.0000 -53.0000 15.22%
1689.97/1701.84 c 1702 7020 2565 1 -46.0000 -53.0000 15.22%
1695.67/1707.53 c 1708 7085 2628 1 -46.0000 -53.0000 15.22%
1703.65/1715.52 c 1716 7123 2666 1 -46.0000 -53.0000 15.22%
1710.33/1722.23 c 1722 7134 2677 1 -46.0000 -53.0000 15.22%
1715.62/1727.52 c 1728 7166 2703 1 -46.0000 -53.0000 15.22%
1722.21/1734.14 c 1734 7209 2744 1 -46.0000 -53.0000 15.22%
1731.98/1743.99 c 1744 7223 2758 1 -46.0000 -53.0000 15.22%
1741.07/1753.05 c 1753 7230 2765 1 -46.0000 -53.0000 15.22%
1750.44/1762.42 c 1762 7240 2773 1 -46.0000 -53.0000 15.22%
1755.63/1767.64 c 1768 7245 2776 1 -46.0000 -53.0000 15.22%
1763.31/1775.38 c 1775 7268 2791 1 -46.0000 -53.0000 15.22%
1768.60/1780.65 c 1781 7273 2796 1 -46.0000 -53.0000 15.22%
1775.98/1788.07 c 1788 7335 2846 1 -46.0000 -53.0000 15.22%
1781.97/1794.08 c 1794 7350 2859 1 -46.0000 -53.0000 15.22%
1789.84/1801.91 c 1802 7370 2879 1 -46.0000 -53.0000 15.22%
1796.04/1808.17 c 1808 7404 2909 1 -46.0000 -53.0000 15.22%
1802.72/1814.84 c 1815 7420 2925 1 -46.0000 -53.0000 15.22%
1808.70/1820.83 c 1821 7443 2944 1 -46.0000 -53.0000 15.22%
1814.19/1826.38 c 1826 7524 3021 1 -46.0000 -53.0000 15.22%
1822.67/1834.86 c 1835 7561 3056 1 -46.0000 -53.0000 15.22%
1827.87/1840.09 c 1840 7579 3074 1 -46.0000 -53.0000 15.22%
1839.73/1851.99 c 1852 7595 3090 1 -46.0000 -53.0000 15.22%
1850.61/1862.81 c 1863 7605 3096 1 -46.0000 -53.0000 15.22%
1856.90/1869.19 c 1869 7670 3155 1 -46.0000 -53.0000 15.22%
1862.08/1874.33 c 1874 7700 3181 1 -46.0000 -53.0000 15.22%
1867.46/1879.79 c 1880 7780 3257 1 -46.0000 -53.0000 15.22%
1873.95/1886.20 c 1886 7820 3293 1 -46.0000 -53.0000 15.22%
1880.23/1892.57 c 1893 7830 3303 1 -46.0000 -53.0000 15.22%
1886.22/1898.59 c 1899 7881 3350 1 -46.0000 -53.0000 15.22%
1895.40/1907.79 c 1908 7898 3361 1 -46.0000 -53.0000 15.22%
1901.29/1913.60 c 1914 7920 3377 1 -46.0000 -53.0000 15.22%
1909.17/1921.53 c 1922 7928 3385 1 -46.0000 -53.0000 15.22%
1915.45/1927.90 c 1928 7945 3398 1 -46.0000 -53.0000 15.22%
1922.14/1934.54 c 1935 7956 3407 1 -46.0000 -53.0000 15.22%
1928.43/1940.88 c 1941 7974 3423 1 -46.0000 -53.0000 15.22%
1933.81/1946.26 c 1946 7981 3430 1 -46.0000 -53.0000 15.22%
1938.90/1951.34 c 1951 7986 3433 1 -46.0000 -53.0000 15.22%
1944.19/1956.60 c 1957 7996 3443 1 -46.0000 -53.0000 15.22%
1951.47/1963.99 c 1964 8072 3519 1 -46.0000 -53.0000 15.22%
1962.35/1974.82 c 1975 8106 3547 1 -46.0000 -53.0000 15.22%
1967.53/1980.00 c 1980 8141 3578 1 -46.0000 -53.0000 15.22%
1973.22/1985.79 c 1986 8169 3602 1 -46.0000 -53.0000 15.22%
1983.09/1995.64 c 1996 8202 3635 1 -46.0000 -53.0000 15.22%
1990.08/2002.68 c 2003 8289 3716 1 -46.0000 -53.0000 15.22%
1999.76/2012.39 c 2012 8346 3765 1 -46.0000 -53.0000 15.22%
2006.34/2018.95 c 2019 8362 3779 1 -46.0000 -53.0000 15.22%
2012.72/2025.37 c 2025 8401 3814 1 -46.0000 -53.0000 15.22%
2018.02/2030.68 c 2031 8426 3839 1 -46.0000 -53.0000 15.22%
2029.29/2041.91 c 2042 8468 3881 1 -46.0000 -53.0000 15.22%
2036.67/2049.38 c 2049 8478 3889 1 -46.0000 -53.0000 15.22%
2041.86/2054.60 c 2055 8506 3915 1 -46.0000 -53.0000 15.22%
2047.24/2059.93 c 2060 8541 3948 1 -46.0000 -53.0000 15.22%
2052.53/2065.21 c 2065 8609 4016 1 -46.0000 -53.0000 15.22%
2061.51/2074.23 c 2074 8643 4046 1 -46.0000 -53.0000 15.22%
2071.08/2083.84 c 2084 8648 4051 1 -46.0000 -53.0000 15.22%
2076.87/2089.62 c 2090 8658 4061 1 -46.0000 -53.0000 15.22%
2085.15/2097.99 c 2098 8683 4084 1 -46.0000 -53.0000 15.22%
2091.14/2103.94 c 2104 8709 4108 1 -46.0000 -53.0000 15.22%
2097.23/2110.00 c 2110 8737 4136 1 -46.0000 -53.0000 15.22%
2106.80/2119.69 c 2120 8753 4152 1 -46.0000 -53.0000 15.22%
2113.19/2126.08 c 2126 8761 4160 1 -46.0000 -53.0000 15.22%
2121.87/2134.73 c 2135 8791 4190 1 -46.0000 -53.0000 15.22%
2131.44/2144.32 c 2144 8798 4197 1 -46.0000 -53.0000 15.22%
2138.63/2151.59 c 2152 8815 4212 1 -46.0000 -53.0000 15.22%
2145.61/2158.51 c 2159 8824 4219 1 -46.0000 -53.0000 15.22%
2150.90/2163.85 c 2164 8926 4299 1 -46.0000 -53.0000 15.22%
2159.67/2172.64 c 2173 8967 4338 1 -46.0000 -53.0000 15.22%
2164.86/2177.87 c 2178 9051 4416 1 -46.0000 -53.0000 15.22%
2171.15/2184.13 c 2184 9077 4438 1 -46.0000 -53.0000 15.22%
2176.83/2189.89 c 2190 9099 4460 1 -46.0000 -53.0000 15.22%
2187.11/2200.16 c 2200 9148 4505 1 -46.0000 -53.0000 15.22%
2196.48/2209.50 c 2209 9172 4529 1 -46.0000 -53.0000 15.22%
2202.17/2215.23 c 2215 9202 4559 1 -46.0000 -53.0000 15.22%
2207.56/2220.63 c 2221 9249 4606 1 -46.0000 -53.0000 15.22%
2222.82/2235.94 c 2236 9316 4669 1 -46.0000 -53.0000 15.22%
2228.02/2241.14 c 2241 9396 4741 1 -46.0000 -53.0000 15.22%
2233.60/2246.79 c 2247 9420 4765 1 -46.0000 -53.0000 15.22%
2238.69/2251.80 c 2252 9437 4778 1 -46.0000 -53.0000 15.22%
2244.27/2257.40 c 2257 9477 4814 1 -46.0000 -53.0000 15.22%
2255.84/2269.10 c 2269 9514 4847 1 -46.0000 -53.0000 15.22%
2262.52/2275.73 c 2276 9544 4875 1 -46.0000 -53.0000 15.22%
2268.01/2281.24 c 2281 9556 4885 1 -46.0000 -53.0000 15.22%
2274.29/2287.50 c 2288 9579 4904 1 -46.0000 -53.0000 15.22%
2280.18/2293.44 c 2293 9610 4935 1 -46.0000 -53.0000 15.22%
2286.66/2299.94 c 2300 9653 4972 1 -46.0000 -53.0000 15.22%
2294.04/2307.34 c 2307 9658 4977 1 -46.0000 -53.0000 15.22%
2302.73/2316.05 c 2316 9667 4984 1 -46.0000 -53.0000 15.22%
2310.11/2323.47 c 2323 9686 5003 1 -46.0000 -53.0000 15.22%
2316.70/2330.07 c 2330 9696 5011 1 -46.0000 -53.0000 15.22%
2326.57/2339.96 c 2340 9709 5024 1 -46.0000 -53.0000 15.22%
2332.07/2345.48 c 2345 9722 5035 1 -46.0000 -53.0000 15.22%
2338.05/2351.45 c 2351 9759 5068 1 -46.0000 -53.0000 15.22%
2346.32/2359.73 c 2360 9828 5135 1 -46.0000 -53.0000 15.22%
2356.11/2369.56 c 2370 9838 5145 1 -46.0000 -53.0000 15.22%
2362.39/2375.81 c 2376 9848 5153 1 -46.0000 -53.0000 15.22%
2368.58/2382.03 c 2382 9888 5187 1 -46.0000 -53.0000 15.22%
2376.26/2389.79 c 2390 9893 5190 1 -46.0000 -53.0000 15.22%
2383.94/2397.46 c 2397 9927 5220 1 -46.0000 -53.0000 15.22%
2389.72/2403.22 c 2403 9967 5252 1 -46.0000 -53.0000 15.22%
2395.51/2409.09 c 2409 9996 5281 1 -46.0000 -53.0000 15.22%
2401.60/2415.12 c 2415 10065 5348 1 -46.0000 -53.0000 15.22%
2409.38/2422.91 c 2423 10118 5401 1 -46.0000 -53.0000 15.22%
2414.66/2428.28 c 2428 10172 5447 1 -46.0000 -53.0000 15.22%
2419.65/2433.29 c 2433 10173 5448 1 -46.0000 -53.0000 15.22%
2432.13/2445.78 c 2446 10190 5459 1 -46.0000 -53.0000 15.22%
2438.71/2452.38 c 2452 10227 5492 1 -46.0000 -53.0000 15.22%
2448.09/2461.71 c 2462 10264 5521 1 -46.0000 -53.0000 15.22%
2454.97/2468.69 c 2469 10282 5537 1 -46.0000 -53.0000 15.22%
2462.46/2476.19 c 2476 10294 5547 1 -46.0000 -53.0000 15.22%
2468.24/2481.96 c 2482 10309 5562 1 -46.0000 -53.0000 15.22%
2475.83/2489.54 c 2490 10331 5580 1 -46.0000 -53.0000 15.22%
2480.92/2494.61 c 2495 10359 5604 1 -46.0000 -53.0000 15.22%
2485.91/2499.64 c 2500 10381 5624 1 -46.0000 -53.0000 15.22%
2497.78/2511.54 c 2512 10456 5697 1 -46.0000 -53.0000 15.22%
2502.96/2516.70 c 2517 10468 5707 1 -46.0000 -53.0000 15.22%
2511.35/2525.19 c 2525 10554 5779 1 -46.0000 -53.0000 15.22%
2517.24/2531.02 c 2531 10566 5791 1 -46.0000 -53.0000 15.22%
2530.00/2543.80 c 2544 10579 5800 1 -46.0000 -53.0000 15.22%
2539.48/2553.36 c 2553 10628 5841 1 -46.0000 -53.0000 15.22%
2545.36/2559.27 c 2559 10702 5913 1 -46.0000 -53.0000 15.22%
2551.35/2565.28 c 2565 10728 5937 1 -46.0000 -53.0000 15.22%
2558.14/2572.09 c 2572 10768 5971 1 -46.0000 -53.0000 15.22%
2563.73/2577.64 c 2578 10816 6019 1 -46.0000 -53.0000 15.22%
2569.31/2583.21 c 2583 10884 6085 1 -46.0000 -53.0000 15.22%
2575.30/2589.26 c 2589 10894 6095 1 -46.0000 -53.0000 15.22%
2583.58/2597.52 c 2598 10920 6121 1 -46.0000 -53.0000 15.22%
2591.36/2605.36 c 2605 10929 6130 1 -46.0000 -53.0000 15.22%
2598.05/2612.04 c 2612 10947 6148 1 -46.0000 -53.0000 15.22%
2603.43/2617.49 c 2617 10957 6158 1 -46.0000 -53.0000 15.22%
2608.52/2622.56 c 2623 10991 6192 1 -46.0000 -53.0000 15.22%
2615.71/2629.77 c 2630 11009 6210 1 -46.0000 -53.0000 15.22%
2622.10/2636.17 c 2636 11029 6228 1 -46.0000 -53.0000 15.22%
2630.67/2644.79 c 2645 11058 6257 1 -46.0000 -53.0000 15.22%
2641.15/2655.28 c 2655 11073 6272 1 -46.0000 -53.0000 15.22%
2646.84/2660.92 c 2661 11091 6290 1 -46.0000 -53.0000 15.22%
2655.12/2669.29 c 2669 11111 6310 1 -46.0000 -53.0000 15.22%
2664.10/2678.23 c 2678 11146 6345 1 -46.0000 -53.0000 15.22%
2672.58/2686.73 c 2687 11160 6359 1 -46.0000 -53.0000 15.22%
2679.16/2693.38 c 2693 11183 6382 1 -46.0000 -53.0000 15.22%
2684.85/2699.00 c 2699 11208 6407 1 -46.0000 -53.0000 15.22%
2689.94/2704.14 c 2704 11223 6422 1 -46.0000 -53.0000 15.22%
2699.61/2713.81 c 2714 11268 6461 1 -46.0000 -53.0000 15.22%
2708.80/2723.05 c 2723 11274 6467 1 -46.0000 -53.0000 15.22%
2714.28/2728.60 c 2729 11281 6472 1 -46.0000 -53.0000 15.22%
2720.67/2734.97 c 2735 11295 6486 1 -46.0000 -53.0000 15.22%
2729.85/2744.13 c 2744 11315 6506 1 -46.0000 -53.0000 15.22%
2735.33/2749.68 c 2750 11350 6541 1 -46.0000 -53.0000 15.22%
2740.52/2754.84 c 2755 11365 6556 1 -46.0000 -53.0000 15.22%
2745.61/2759.92 c 2760 11379 6570 1 -46.0000 -53.0000 15.22%
2753.09/2767.45 c 2767 11419 6610 1 -46.0000 -53.0000 15.22%
2760.68/2775.07 c 2775 11424 6615 1 -46.0000 -53.0000 15.22%
2767.16/2781.52 c 2782 11439 6630 1 -46.0000 -53.0000 15.22%
2774.94/2789.31 c 2789 11460 6651 1 -46.0000 -53.0000 15.22%
2781.43/2795.84 c 2796 11510 6697 1 -46.0000 -53.0000 15.22%
2790.01/2804.41 c 2804 11539 6724 1 -46.0000 -53.0000 15.22%
2800.98/2815.42 c 2815 11565 6748 1 -46.0000 -53.0000 15.22%
2810.76/2825.25 c 2825 11595 6778 1 -46.0000 -53.0000 15.22%
2816.15/2830.65 c 2831 11617 6798 1 -46.0000 -53.0000 15.22%
2822.63/2837.12 c 2837 11666 6835 1 -46.0000 -53.0000 15.22%
2830.21/2844.70 c 2845 11715 6878 1 -46.0000 -53.0000 15.22%
2840.79/2855.39 c 2855 11742 6905 1 -46.0000 -53.0000 15.22%
2851.76/2866.31 c 2866 11757 6920 1 -46.0000 -53.0000 15.22%
2862.24/2876.89 c 2877 11788 6949 1 -46.0000 -53.0000 15.22%
2867.83/2882.46 c 2882 11796 6953 1 -46.0000 -53.0000 15.22%
2874.92/2889.52 c 2890 11802 6959 1 -46.0000 -53.0000 15.22%
2880.01/2894.69 c 2895 11813 6970 1 -46.0000 -53.0000 15.22%
2885.50/2900.15 c 2900 11884 7035 1 -46.0000 -53.0000 15.22%
2899.47/2914.19 c 2914 11918 7069 1 -46.0000 -53.0000 15.22%
2906.35/2921.07 c 2921 11938 7083 1 -46.0000 -53.0000 15.22%
2919.21/2933.92 c 2934 11966 7109 1 -46.0000 -53.0000 15.22%
2925.00/2939.73 c 2940 12065 7204 1 -46.0000 -53.0000 15.22%
2932.39/2947.14 c 2947 12077 7216 1 -46.0000 -53.0000 15.22%
2937.57/2952.35 c 2952 12166 7303 1 -46.0000 -53.0000 15.22%
2942.56/2957.37 c 2957 12174 7311 1 -46.0000 -53.0000 15.22%
2954.93/2969.74 c 2970 12258 7387 1 -46.0000 -53.0000 15.22%
2960.12/2974.98 c 2975 12262 7391 1 -46.0000 -53.0000 15.22%
2967.10/2981.92 c * 2982 12331 7454 1 -47.0000 -53.0000 12.77%
2967.10/2981.92 c 2982 12331 7454 1 -47.0000 -53.0000 12.77%
2972.39/2987.20 c 2987 12434 6891 1 -47.0000 -53.0000 12.77%
2978.18/2993.03 c 2993 12462 6911 1 -47.0000 -53.0000 12.77%
2986.76/3001.69 c 3002 12497 6944 1 -47.0000 -53.0000 12.77%
2994.94/3009.89 c 3010 12511 6952 1 -47.0000 -53.0000 12.77%
3000.23/3015.10 c 3015 12521 6958 1 -47.0000 -53.0000 12.77%
3006.61/3021.57 c 3022 12556 6991 1 -47.0000 -53.0000 12.77%
3014.20/3029.17 c 3029 12591 7018 1 -47.0000 -53.0000 12.77%
3019.78/3034.75 c 3035 12661 7070 1 -47.0000 -53.0000 12.77%
3025.27/3040.29 c 3040 12699 7106 1 -47.0000 -53.0000 12.77%
3032.16/3047.14 c 3047 12724 7131 1 -47.0000 -53.0000 12.77%
3039.63/3054.60 c 3055 12751 7156 1 -47.0000 -53.0000 12.77%
3045.22/3060.20 c 3060 12779 7176 1 -47.0000 -53.0000 12.77%
3056.80/3071.80 c 3072 12800 7195 1 -47.0000 -53.0000 12.77%
3064.88/3079.91 c 3080 12833 7214 1 -47.0000 -53.0000 12.77%
3073.86/3088.97 c 3089 12881 7250 1 -47.0000 -53.0000 12.77%
3081.44/3096.54 c 3097 12931 7292 1 -47.0000 -53.0000 12.77%
3089.32/3104.47 c 3104 12942 7303 1 -47.0000 -53.0000 12.77%
3094.71/3109.89 c 3110 12977 7324 1 -47.0000 -53.0000 12.77%
3100.90/3116.09 c 3116 13028 7369 1 -47.0000 -53.0000 12.77%
3110.27/3125.40 c 3125 13048 7383 1 -47.0000 -53.0000 12.77%
3115.57/3130.77 c 3131 13058 7393 1 -47.0000 -53.0000 12.77%
3122.55/3137.79 c 3138 13117 7448 1 -47.0000 -53.0000 12.77%
3127.63/3142.80 c 3143 13160 7475 1 -47.0000 -53.0000 12.77%
3134.72/3149.91 c 3150 13224 7519 1 -47.0000 -53.0000 12.77%
3143.10/3158.32 c 3158 13229 7524 1 -47.0000 -53.0000 12.77%
3150.18/3165.42 c 3165 13239 7532 1 -47.0000 -53.0000 12.77%
3156.58/3171.82 c 3172 13244 7535 1 -47.0000 -53.0000 12.77%
3170.05/3185.30 c 3185 13257 7546 1 -47.0000 -53.0000 12.77%
3176.53/3191.89 c 3192 13297 7574 1 -47.0000 -53.0000 12.77%
3182.72/3198.05 c 3198 13342 7607 1 -47.0000 -53.0000 12.77%
3188.80/3204.12 c 3204 13368 7627 1 -47.0000 -53.0000 12.77%
3195.58/3210.97 c 3211 13393 7644 1 -47.0000 -53.0000 12.77%
3201.07/3216.40 c 3216 13430 7675 1 -47.0000 -53.0000 12.77%
3208.95/3224.30 c 3224 13477 7706 1 -47.0000 -53.0000 12.77%
3219.13/3234.53 c 3235 13485 7714 1 -47.0000 -53.0000 12.77%
3225.12/3240.54 c 3241 13540 7761 1 -47.0000 -53.0000 12.77%
3230.51/3245.94 c 3246 13573 7784 1 -47.0000 -53.0000 12.77%
3237.09/3252.53 c 3253 13585 7794 1 -47.0000 -53.0000 12.77%
3245.07/3260.59 c 3261 13638 7837 1 -47.0000 -53.0000 12.77%
3251.06/3266.56 c 3267 13645 7840 1 -47.0000 -53.0000 12.77%
3256.94/3272.42 c 3272 13650 7843 1 -47.0000 -53.0000 12.77%
3263.43/3278.95 c 3279 13664 7849 1 -47.0000 -53.0000 12.77%
3268.91/3284.41 c 3284 13677 7860 1 -47.0000 -53.0000 12.77%
3277.10/3292.61 c 3293 13710 7889 1 -47.0000 -53.0000 12.77%
3283.88/3299.47 c 3299 13747 7916 1 -47.0000 -53.0000 12.77%
3288.97/3304.56 c 3305 13761 7926 1 -47.0000 -53.0000 12.77%
3294.85/3310.48 c 3310 13820 7971 1 -47.0000 -53.0000 12.77%
3305.54/3321.12 c 3321 13843 7990 1 -47.0000 -53.0000 12.77%
3311.62/3327.29 c 3327 13867 8000 1 -47.0000 -53.0000 12.77%
3317.70/3333.38 c 3333 13889 8018 1 -47.0000 -53.0000 12.77%
3324.28/3339.97 c 3340 13918 8043 1 -47.0000 -53.0000 12.77%
3329.97/3345.68 c 3346 13956 8075 1 -47.0000 -53.0000 12.77%
3336.26/3351.97 c 3352 13964 8083 1 -47.0000 -53.0000 12.77%
3345.35/3361.07 c 3361 14002 8117 1 -47.0000 -53.0000 12.77%
3352.12/3367.85 c 3368 14084 8181 1 -47.0000 -53.0000 12.77%
3357.41/3373.16 c 3373 14098 8191 1 -47.0000 -53.0000 12.77%
3364.19/3379.91 c 3380 14099 8192 1 -47.0000 -53.0000 12.77%
3371.29/3387.04 c 3387 14122 8213 1 -47.0000 -53.0000 12.77%
3378.36/3394.12 c 3394 14179 8260 1 -47.0000 -53.0000 12.77%
3383.45/3399.22 c 3399 14263 8338 1 -47.0000 -53.0000 12.77%
3390.93/3406.71 c 3407 14264 8339 1 -47.0000 -53.0000 12.77%
3400.91/3416.71 c 3417 14312 8381 1 -47.0000 -53.0000 12.77%
3406.70/3422.53 c 3423 14318 8387 1 -47.0000 -53.0000 12.77%
3414.68/3430.57 c 3431 14352 8413 1 -47.0000 -53.0000 12.77%
3421.17/3437.05 c 3437 14390 8441 1 -47.0000 -53.0000 12.77%
3429.74/3445.60 c 3446 14408 8455 1 -47.0000 -53.0000 12.77%
3442.71/3458.68 c 3459 14485 8522 1 -47.0000 -53.0000 12.77%
3448.01/3463.93 c 3464 14528 8561 1 -47.0000 -53.0000 12.77%
3457.48/3473.42 c 3473 14556 8579 1 -47.0000 -53.0000 12.77%
3464.96/3480.90 c 3481 14589 8606 1 -47.0000 -53.0000 12.77%
3474.05/3490.08 c 3490 14601 8618 1 -47.0000 -53.0000 12.77%
3480.53/3496.51 c 3497 14633 8638 1 -47.0000 -53.0000 12.77%
3486.71/3502.77 c 3503 14674 8671 1 -47.0000 -53.0000 12.77%
3492.90/3508.98 c 3509 14683 8678 1 -47.0000 -53.0000 12.77%
3498.69/3514.76 c 3515 14707 8696 1 -47.0000 -53.0000 12.77%
3504.47/3520.51 c 3521 14727 8712 1 -47.0000 -53.0000 12.77%
3509.96/3526.04 c 3526 14772 8751 1 -47.0000 -53.0000 12.77%
3517.73/3533.89 c 3534 14783 8756 1 -47.0000 -53.0000 12.77%
3526.32/3542.49 c 3542 14801 8768 1 -47.0000 -53.0000 12.77%
3534.40/3550.50 c 3550 14854 8805 1 -47.0000 -53.0000 12.77%
3539.58/3555.79 c 3556 14867 8818 1 -47.0000 -53.0000 12.77%
3545.17/3561.38 c 3561 14872 8821 1 -47.0000 -53.0000 12.77%
3550.26/3566.40 c 3566 14889 8834 1 -47.0000 -53.0000 12.77%
3558.03/3574.29 c 3574 14902 8847 1 -47.0000 -53.0000 12.77%
3565.52/3581.72 c 3582 14916 8857 1 -47.0000 -53.0000 12.77%
3570.50/3586.79 c 3587 14939 8876 1 -47.0000 -53.0000 12.77%
3576.19/3592.49 c 3592 14970 8897 1 -47.0000 -53.0000 12.77%
3581.79/3598.01 c 3598 15021 8946 0 -47.0000 -53.0000 12.77%
3582.08/3598.31 c SCIP Status : c solving was interrupted [hard time limit reached]
3582.08/3598.31 c Total Time : 3598.30
3582.08/3598.31 c solving : 3598.30
3582.08/3598.31 c presolving : 1.76 (included in solving)
3582.08/3598.31 c B&B Tree :
3582.08/3598.31 c nodes (total) : 1
3582.08/3598.31 c Solution :
3582.08/3598.31 c Solutions found : 7
3582.08/3598.31 c Primal Bound : -4.70000000000000e+01
3582.08/3598.31 c Dual Bound : -5.30000000000000e+01
3582.08/3598.31 c Gap : 12.76596 %
3582.08/3598.31 c * Warning: final gap: 1.27660e-01 is greater than SCIPepsilon: 1.00000e-09
3582.08/3598.32 o -47
3582.08/3598.32 s SATISFIABLE
3582.08/3598.32 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
3582.08/3598.32 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
3582.08/3598.32 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
3582.08/3598.32 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
3582.08/3598.32 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124
3582.08/3598.32 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
3582.08/3598.32 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165
3582.08/3598.32 v -x166 -x167 x168 -x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
3582.08/3598.32 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207
3582.08/3598.32 v -x208 x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228
3582.08/3598.32 v -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249
3582.08/3598.32 v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
3582.08/3598.32 v -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291
3582.08/3598.32 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312
3582.08/3598.32 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333
3582.08/3598.32 v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354
3582.08/3598.32 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375
3582.08/3598.32 v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
3582.08/3598.32 v x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
3582.08/3598.32 v -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438
3582.08/3598.32 v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459
3582.08/3598.32 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
3582.08/3598.32 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
3582.08/3598.32 v -x502 x503 -x504 -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
3582.08/3598.32 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543
3582.08/3598.32 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
3582.08/3598.32 v -x565 -x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
3582.08/3598.32 v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606
3582.08/3598.32 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627
3582.08/3598.32 v -x628 -x629 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648
3582.08/3598.32 v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 x666 -x667 -x668 -x669
3582.08/3598.32 v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 x690
3582.18/3598.41 v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711
3582.18/3598.41 v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731
3582.18/3598.41 v -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752
3582.18/3598.41 v -x753 -x754 -x755 -x756 x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773
3582.18/3598.41 v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794
3582.18/3598.41 v -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815
3582.18/3598.41 v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836
3582.18/3598.41 v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857
3582.18/3598.41 v -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878
3582.18/3598.41 v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899
3582.18/3598.41 v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
3582.18/3598.41 v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941
3582.18/3598.41 v -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962
3582.18/3598.41 v x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983
3582.18/3598.41 v -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003
3582.18/3598.41 v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021
3582.18/3598.41 v -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039
3582.18/3598.41 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 x1056 -x1057
3582.18/3598.41 v -x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075
3582.18/3598.41 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093
3582.18/3598.41 v -x1094 -x1095 -x1096 x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 x1110 -x1111
3582.18/3598.41 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129
3582.18/3598.41 v -x1130 -x1131 -x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147
3582.18/3598.41 v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 x1163 -x1164 -x1165
3582.18/3598.41 v -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183
3582.18/3598.41 v -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201
3582.18/3598.41 v -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219
3582.18/3598.41 v x1220 -x1221 -x1222 -x1223 -x1224 -x1225 x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237
3582.18/3598.41 v -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255
3582.18/3598.41 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: 63968 MiB (61847 MiB free)
memory of node 1: 64473 MiB (63712 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464049-1722378594/watcher-4464049-1722378594 -o /tmp/evaluation-result-4464049-1722378594/solver-4464049-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722378594-28859 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464049-1722378594.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=28920, runsolver pid=28906
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 0.47 0.16 0.11 7/265 28929
/proc/meminfo: memFree=128503480/131524600 swapFree=131071216/131071996
[pid=28920] ppid=28906 vsize=62860 memory=50672 CPUtime=0.1 cores=1,3
/proc/28920/stat : 28920 (fscip) R 28906 28920 28847 0 -1 4194304 10544 0 0 0 9 1 0 0 20 0 1 0 4456408 64368640 12668 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
/proc/28920/statm: 15715 12668 2347 3035 0 12111 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 62860 KiB
Current children cumulated memory: 50672 KiB
[startup+0.206433 s]*
/proc/loadavg: 0.47 0.16 0.11 6/262 28937
/proc/meminfo: memFree=128431268/131524600 swapFree=131071216/131071996
[pid=28920] ppid=28906 vsize=123836 memory=112124 CPUtime=0.2 cores=1,3
/proc/28920/stat : 28920 (fscip) R 28906 28920 28847 0 -1 4194304 26325 0 0 0 16 4 0 0 20 0 1 0 4456408 126808064 28031 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
/proc/28920/statm: 30959 28031 2555 3035 0 27355 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 123836 KiB
Current children cumulated memory: 112124 KiB
[startup+0.306132 s]*
/proc/loadavg: 0.47 0.16 0.11 5/262 28937
/proc/meminfo: memFree=128398220/131524600 swapFree=131071216/131071996
[pid=28920] ppid=28906 vsize=143188 memory=130292 CPUtime=0.3 cores=1,3
/proc/28920/stat : 28920 (fscip) R 28906 28920 28847 0 -1 4194304 30851 0 0 0 26 4 0 0 20 0 1 0 4456408 146624512 32573 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
/proc/28920/statm: 35797 32573 2614 3035 0 32193 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 143188 KiB
Current children cumulated memory: 130292 KiB
[startup+0.700186 s]
/proc/loadavg: 0.47 0.16 0.11 3/260 28945
/proc/meminfo: memFree=128352696/131524600 swapFree=131071216/131071996
[pid=28920] ppid=28906 vsize=164884 memory=152004 CPUtime=0.69 cores=1,3
/proc/28920/stat : 28920 (fscip) R 28906 28920 28847 0 -1 4194304 44972 0 0 0 62 7 0 0 20 0 1 0 4456408 168841216 38001 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
/proc/28920/statm: 41221 38001 2710 3035 0 37617 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 164884 KiB
Current children cumulated memory: 152004 KiB
[startup+1.50021 s]
/proc/loadavg: 0.47 0.16 0.11 4/258 28987
/proc/meminfo: memFree=128405352/131524600 swapFree=131071216/131071996
[pid=28920] ppid=28906 vsize=299328 memory=267548 CPUtime=1.49 cores=1,3
/proc/28920/stat : 28920 (fscip) R 28906 28920 28847 0 -1 4194304 59927 0 0 0 138 11 0 0 20 0 1 0 4456408 306511872 66887 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
/proc/28920/statm: 74832 66887 2758 3035 0 71228 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 299328 KiB
Current children cumulated memory: 267548 KiB
[startup+3.10596 s]
/proc/loadavg: 0.47 0.16 0.11 5/271 29125
/proc/meminfo: memFree=127864332/131524600 swapFree=131071216/131071996
[pid=28920] ppid=28906 vsize=625300 memory=560008 CPUtime=3.08 cores=1,3
/proc/28920/stat : 28920 (fscip) S 28906 28920 28847 0 -1 1077936128 129500 0 0 0 285 23 0 0 20 0 3 0 4456408 640307200 140002 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
/proc/28920/statm: 156325 140002 2790 3035 0 149739 0
[pid=28920/tid=29078] ppid=28906 vsize=625300 memory=0 CPUtime=0.97 cores=1,3
/proc/28920/task/29078/stat : 29078 (fscip) R 28906 28920 28847 0 -1 4194368 46127 0 0 0 90 7 0 0 20 0 3 0 4456607 640307200 140002 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
[pid=28920/tid=29125] ppid=28906 vsize=625300 memory=556260 CPUtime=0 cores=1,3
/proc/28920/task/29125/stat : 29125 (fscip) S 28906 28920 28847 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4456629 640307200 140002 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 625300 KiB
Current children cumulated memory: 560008 KiB
[startup+6.30094 s]
/proc/loadavg: 0.83 0.24 0.14 5/270 29125
/proc/meminfo: memFree=127367288/131524600 swapFree=131071216/131071996
[pid=28920] ppid=28906 vsize=950564 memory=834780 CPUtime=6.25 cores=1,3
/proc/28920/stat : 28920 (fscip) S 28906 28920 28847 0 -1 1077936128 192557 0 0 0 592 33 0 0 20 0 3 0 4456408 973377536 208695 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
/proc/28920/statm: 237641 208695 2998 3035 0 225615 0
[pid=28920/tid=29078] ppid=28906 vsize=950564 memory=816584 CPUtime=4.14 cores=1,3
/proc/28920/task/29078/stat : 29078 (fscip) R 28906 28920 28847 0 -1 4194368 109076 0 0 0 397 17 0 0 20 0 3 0 4456607 973377536 208695 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
[pid=28920/tid=29125] ppid=28906 vsize=950564 memory=0 CPUtime=0 cores=1,3
/proc/28920/task/29125/stat : 29125 (fscip) S 28906 28920 28847 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4456629 973377536 208695 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 950564 KiB
Current children cumulated memory: 834780 KiB
[startup+12.7009 s]
/proc/loadavg: 1.16 0.32 0.17 5/271 29127
/proc/meminfo: memFree=127264628/131524600 swapFree=131071216/131071996
[pid=28920] ppid=28906 vsize=950564 memory=851968 CPUtime=12.59 cores=1,3
/proc/28920/stat : 28920 (fscip) S 28906 28920 28847 0 -1 1077936128 237341 0 0 0 1222 37 0 0 20 0 3 0 4456408 973377536 212992 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
/proc/28920/statm: 237641 212992 2998 3035 0 233225 0
[pid=28920/tid=29078] ppid=28906 vsize=950564 memory=851968 CPUtime=10.48 cores=1,3
/proc/28920/task/29078/stat : 29078 (fscip) R 28906 28920 28847 0 -1 4194368 153856 0 0 0 1028 20 0 0 20 0 3 0 4456607 973377536 212992 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
[pid=28920/tid=29125] ppid=28906 vsize=950564 memory=0 CPUtime=0 cores=1,3
/proc/28920/task/29125/stat : 29125 (fscip) S 28906 28920 28847 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 4456629 973377536 212992 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 950564 KiB
Current children cumulated memory: 851968 KiB
[startup+25.5009 s]
/proc/loadavg: 1.79 0.50 0.23 5/271 29129
/proc/meminfo: memFree=127101700/131524600 swapFree=131071216/131071996
[pid=28920] ppid=28906 vsize=1016100 memory=854192 CPUtime=25.27 cores=1,3
/proc/28920/stat : 28920 (fscip) S 28906 28920 28847 0 -1 1077936128 311255 0 0 0 2486 41 0 0 20 0 3 0 4456408 1040486400 213548 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
/proc/28920/statm: 254025 213548 2998 3035 0 242066 0
[pid=28920/tid=29078] ppid=28906 vsize=1016100 memory=854180 CPUtime=23.16 cores=1,3
/proc/28920/task/29078/stat : 29078 (fscip) R 28906 28920 28847 0 -1 4194368 227762 0 0 0 2292 24 0 0 20 0 3 0 4456607 1040486400 213548 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
[pid=28920/tid=29125] ppid=28906 vsize=1016100 memory=854180 CPUtime=0 cores=1,3
/proc/28920/task/29125/stat : 29125 (fscip) S 28906 28920 28847 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 4456629 1040486400 213548 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
Current children cumulated CPU time: 25.27 s
Current children cumulated vsize: 1016100 KiB
Current children cumulated memory: 854192 KiB
[startup+51.1059 s]
/proc/loadavg: 2.68 0.82 0.34 5/269 29190
/proc/meminfo: memFree=126915904/131524600 swapFree=131071216/131071996
[pid=28920] ppid=28906 vsize=1255120 memory=977896 CPUtime=50.62 cores=1,3
/proc/28920/stat : 28920 (fscip) S 28906 28920 28847 0 -1 1077936128 408982 0 0 0 5012 50 0 0 20 0 3 0 4456408 1285242880 244474 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
/proc/28920/statm: 313780 244474 2998 3035 0 302320 0
[pid=28920/tid=29078] ppid=28906 vsize=1255120 memory=977896 CPUtime=48.51 cores=1,3
/proc/28920/task/29078/stat : 29078 (fscip) R 28906 28920 28847 0 -1 4194368 325252 0 0 0 4817 34 0 0 20 0 3 0 4456607 1285242880 244474 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
[pid=28920/tid=29125] ppid=28906 vsize=1255120 memory=-5155629115405266053 CPUtime=0 cores=1,3
/proc/28920/task/29125/stat : 29125 (fscip) S 28906 28920 28847 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 4456629 1285242880 244474 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
Current children cumulated CPU time: 50.62 s
Current children cumulated vsize: 1255120 KiB
Current children cumulated memory: 977896 KiB
[startup+102.301 s]
/proc/loadavg: 3.49 1.33 0.54 5/269 29200
/proc/meminfo: memFree=126788232/131524600 swapFree=131071216/131071996
[pid=28920] ppid=28906 vsize=1386192 memory=985608 CPUtime=101.35 cores=1,3
/proc/28920/stat : 28920 (fscip) S 28906 28920 28847 0 -1 1077936128 500883 0 0 0 10079 56 0 0 20 0 3 0 4456408 1419460608 246402 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
/proc/28920/statm: 346548 246402 2998 3035 0 328351 0
[pid=28920/tid=29078] ppid=28906 vsize=1386192 memory=11400 CPUtime=99.23 cores=1,3
/proc/28920/task/29078/stat : 29078 (fscip) R 28906 28920 28847 0 -1 4194368 416852 0 0 0 9884 39 0 0 20 0 3 0 4456607 1419460608 246402 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
[pid=28920/tid=29125] ppid=28906 vsize=1386192 memory=-7017853435446911104 CPUtime=0 cores=1,3
/proc/28920/task/29125/stat : 29125 (fscip) S 28906 28920 28847 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 4456629 1419460608 246402 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
Current children cumulated CPU time: 101.35 s
Current children cumulated vsize: 1386192 KiB
Current children cumulated memory: 985608 KiB
[startup+162.301 s]
/proc/loadavg: 3.86 1.83 0.77 5/269 29211
/proc/meminfo: memFree=126642048/131524600 swapFree=131071216/131071996
[pid=28920] ppid=28906 vsize=1451728 memory=1063048 CPUtime=160.73 cores=1,3
/proc/28920/stat : 28920 (fscip) S 28906 28920 28847 0 -1 1077936128 600934 0 0 0 16010 63 0 0 20 0 3 0 4456408 1486569472 265762 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
/proc/28920/statm: 362932 265762 2998 3035 0 345831 0
[pid=28920/tid=29078] ppid=28906 vsize=1451728 memory=1060996 CPUtime=158.61 cores=1,3
/proc/28920/task/29078/stat : 29078 (fscip) R 28906 28920 28847 0 -1 4194368 516863 0 0 0 15815 46 0 0 20 0 3 0 4456607 1486569472 265762 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
[pid=28920/tid=29125] ppid=28906 vsize=1451728 memory=1063040 CPUtime=0 cores=1,3
/proc/28920/task/29125/stat : 29125 (fscip) S 28906 28920 28847 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 4456629 1486569472 265762 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
Current children cumulated CPU time: 160.73 s
Current children cumulated vsize: 1451728 KiB
Current children cumulated memory: 1063048 KiB
[startup+222.301 s]
/proc/loadavg: 4.06 2.26 0.98 5/268 29222
/proc/meminfo: memFree=126562724/131524600 swapFree=131071216/131071996
[pid=28920] ppid=28906 vsize=1517264 memory=1126392 CPUtime=220.13 cores=1,3
/proc/28920/stat : 28920 (fscip) S 28906 28920 28847 0 -1 1077936128 700939 0 0 0 21941 72 0 0 20 0 3 0 4456408 1553678336 281598 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
/proc/28920/statm: 379316 281598 2998 3035 0 363741 0
[pid=28920/tid=29078] ppid=28906 vsize=1517264 memory=977896 CPUtime=218.01 cores=1,3
/proc/28920/task/29078/stat : 29078 (fscip) R 28906 28920 28847 0 -1 4194368 616824 0 0 0 21746 55 0 0 20 0 3 0 4456607 1553678336 281598 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
[pid=28920/tid=29125] ppid=28906 vsize=1517264 memory=1126384 CPUtime=0 cores=1,3
/proc/28920/task/29125/stat : 29125 (fscip) S 28906 28920 28847 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 4456629 1553678336 281598 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
Current children cumulated CPU time: 220.13 s
Current children cumulated vsize: 1517264 KiB
Current children cumulated memory: 1126392 KiB
[startup+282.301 s]
/proc/loadavg: 4.08 2.59 1.18 5/267 29233
/proc/meminfo: memFree=126465240/131524600 swapFree=131071216/131071996
[pid=28920] ppid=28906 vsize=1639404 memory=1204232 CPUtime=279.54 cores=1,3
################
# More data... #
################
[pid=28920] ppid=28906 vsize=3186528 memory=2419216 CPUtime=3386.55 cores=1,3
/proc/28920/stat : 28920 (fscip) S 28906 28920 28847 0 -1 1077936128 3836803 0 0 0 338367 288 0 0 20 0 3 0 4456408 3263004672 604804 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
/proc/28920/statm: 796632 604804 3302 3035 0 776588 0
[pid=28920/tid=29078] ppid=28906 vsize=3186528 memory=11400 CPUtime=3384.31 cores=1,3
/proc/28920/task/29078/stat : 29078 (fscip) R 28906 28920 28847 0 -1 4194368 3751232 0 0 0 338165 266 0 0 20 0 3 0 4456607 3263004672 604804 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
[pid=28920/tid=29125] ppid=28906 vsize=3186528 memory=2419216 CPUtime=0.03 cores=1,3
/proc/28920/task/29125/stat : 29125 (fscip) S 28906 28920 28847 0 -1 1077936192 175 0 0 0 1 2 0 0 20 0 3 0 4456629 3263004672 604804 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
Current children cumulated CPU time: 3386.55 s
Current children cumulated vsize: 3186528 KiB
Current children cumulated memory: 2419216 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.21 4.10 5/265 30785
/proc/meminfo: memFree=124725612/131524600 swapFree=131071216/131071996
[pid=28920] ppid=28906 vsize=3264112 memory=2424540 CPUtime=3446.41 cores=1,3
/proc/28920/stat : 28920 (fscip) S 28906 28920 28847 0 -1 1077936128 3846983 0 0 0 344351 290 0 0 20 0 3 0 4456408 3342450688 606135 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
/proc/28920/statm: 816028 606135 3302 3035 0 795984 0
[pid=28920/tid=29078] ppid=28906 vsize=3264112 memory=12696 CPUtime=3444.17 cores=1,3
/proc/28920/task/29078/stat : 29078 (fscip) R 28906 28920 28847 0 -1 4194368 3761382 0 0 0 344149 268 0 0 20 0 3 0 4456607 3342450688 606135 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
[pid=28920/tid=29125] ppid=28906 vsize=3264112 memory=11400 CPUtime=0.03 cores=1,3
/proc/28920/task/29125/stat : 29125 (fscip) S 28906 28920 28847 0 -1 1077936192 177 0 0 0 1 2 0 0 20 0 3 0 4456629 3342450688 606135 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
Current children cumulated CPU time: 3446.41 s
Current children cumulated vsize: 3264112 KiB
Current children cumulated memory: 2424540 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.18 4.10 5/267 30966
/proc/meminfo: memFree=124707016/131524600 swapFree=131071216/131071996
[pid=28920] ppid=28906 vsize=3264112 memory=2437648 CPUtime=3506.26 cores=1,3
/proc/28920/stat : 28920 (fscip) S 28906 28920 28847 0 -1 1077936128 3989700 0 0 0 350329 297 0 0 20 0 3 0 4456408 3342450688 609412 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
/proc/28920/statm: 816028 609412 3302 3035 0 795984 0
[pid=28920/tid=29078] ppid=28906 vsize=3264112 memory=13176 CPUtime=3504.03 cores=1,3
/proc/28920/task/29078/stat : 29078 (fscip) R 28906 28920 28847 0 -1 4194368 3904070 0 0 0 350127 276 0 0 20 0 3 0 4456607 3342450688 609412 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
[pid=28920/tid=29125] ppid=28906 vsize=3264112 memory=2429456 CPUtime=0.03 cores=1,3
/proc/28920/task/29125/stat : 29125 (fscip) S 28906 28920 28847 0 -1 1077936192 181 0 0 0 1 2 0 0 20 0 3 0 4456629 3342450688 609412 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
Current children cumulated CPU time: 3506.26 s
Current children cumulated vsize: 3264112 KiB
Current children cumulated memory: 2437648 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.16 4.09 5/267 30976
/proc/meminfo: memFree=124691984/131524600 swapFree=131071216/131071996
[pid=28920] ppid=28906 vsize=3264112 memory=2449936 CPUtime=3566.11 cores=1,3
/proc/28920/stat : 28920 (fscip) S 28906 28920 28847 0 -1 1077936128 4087803 0 0 0 356309 302 0 0 20 0 3 0 4456408 3342450688 612484 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
/proc/28920/statm: 816028 612484 3302 3035 0 795984 0
[pid=28920/tid=29078] ppid=28906 vsize=3264112 memory=11400 CPUtime=3563.87 cores=1,3
/proc/28920/task/29078/stat : 29078 (fscip) R 28906 28920 28847 0 -1 4194368 4002152 0 0 0 356107 280 0 0 20 0 3 0 4456607 3342450688 612484 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
[pid=28920/tid=29125] ppid=28906 vsize=3264112 memory=2449936 CPUtime=0.03 cores=1,3
/proc/28920/task/29125/stat : 29125 (fscip) S 28906 28920 28847 0 -1 1077936192 183 0 0 0 1 2 0 0 20 0 3 0 4456629 3342450688 612484 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
Current children cumulated CPU time: 3566.11 s
Current children cumulated vsize: 3264112 KiB
Current children cumulated memory: 2449936 KiB
[startup+3598.42 s]
# the end of solver process 28920 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3579.11 s, system=3.10391 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.16 4.09 5/267 30976
/proc/meminfo: memFree=124691948/131524600 swapFree=131071216/131071996
[pid=28920] ppid=28906 vsize=3264112 memory=2449936 CPUtime=3567.82 cores=1,3
/proc/28920/stat : 28920 (fscip) S 28906 28920 28847 0 -1 1077936128 4087812 0 0 0 356480 302 0 0 20 0 3 0 4456408 3342450688 612484 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
/proc/28920/statm: 816028 612484 3302 3035 0 795984 0
[pid=28920/tid=29078] ppid=28906 vsize=3264112 memory=-7594032712773623423 CPUtime=3565.58 cores=1,3
/proc/28920/task/29078/stat : 29078 (fscip) R 28906 28920 28847 0 -1 4194368 4002161 0 0 0 356278 280 0 0 20 0 3 0 4456607 3342450688 612484 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
[pid=28920/tid=29125] ppid=28906 vsize=3264112 memory=-7738211608633113021 CPUtime=0.03 cores=1,3
/proc/28920/task/29125/stat : 29125 (fscip) S 28906 28920 28847 0 -1 1077936192 183 0 0 0 1 2 0 0 20 0 3 0 4456629 3342450688 612484 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
Current children cumulated CPU time: 3567.82 s
Current children cumulated vsize: 3264112 KiB
Current children cumulated memory: 2449936 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.16 4.09 5/267 30976
/proc/meminfo: memFree=124692012/131524600 swapFree=131071216/131071996
[pid=28920] ppid=28906 vsize=3264112 memory=2449936 CPUtime=3574.2 cores=1,3
/proc/28920/stat : 28920 (fscip) S 28906 28920 28847 0 -1 1077936128 4088326 0 0 0 357118 302 0 0 20 0 3 0 4456408 3342450688 612484 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
/proc/28920/statm: 816028 612484 3302 3035 0 795984 0
[pid=28920/tid=29078] ppid=28906 vsize=3264112 memory=2449936 CPUtime=3571.95 cores=1,3
/proc/28920/task/29078/stat : 29078 (fscip) R 28906 28920 28847 0 -1 4194368 4002673 0 0 0 356915 280 0 0 20 0 3 0 4456607 3342450688 612484 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
[pid=28920/tid=29125] ppid=28906 vsize=3264112 memory=2449936 CPUtime=0.03 cores=1,3
/proc/28920/task/29125/stat : 29125 (fscip) S 28906 28920 28847 0 -1 1077936192 183 0 0 0 1 2 0 0 20 0 3 0 4456629 3342450688 612484 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
Current children cumulated CPU time: 3574.2 s
Current children cumulated vsize: 3264112 KiB
Current children cumulated memory: 2449936 KiB
[startup+3593.6 s]
/proc/loadavg: 4.08 4.16 4.09 5/267 30978
/proc/meminfo: memFree=124692000/131524600 swapFree=131071216/131071996
[pid=28920] ppid=28906 vsize=3264112 memory=2449936 CPUtime=3577.39 cores=1,3
/proc/28920/stat : 28920 (fscip) S 28906 28920 28847 0 -1 1077936128 4152760 0 0 0 357433 306 0 0 20 0 3 0 4456408 3342450688 612484 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
/proc/28920/statm: 816028 612484 3302 3035 0 795984 0
[pid=28920/tid=29078] ppid=28906 vsize=3264112 memory=2449936 CPUtime=3575.15 cores=1,3
/proc/28920/task/29078/stat : 29078 (fscip) R 28906 28920 28847 0 -1 4194368 4067107 0 0 0 357231 284 0 0 20 0 3 0 4456607 3342450688 612484 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
[pid=28920/tid=29125] ppid=28906 vsize=3264112 memory=50268 CPUtime=0.03 cores=1,3
/proc/28920/task/29125/stat : 29125 (fscip) S 28906 28920 28847 0 -1 1077936192 183 0 0 0 1 2 0 0 20 0 3 0 4456629 3342450688 612484 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
Current children cumulated CPU time: 3577.39 s
Current children cumulated vsize: 3264112 KiB
Current children cumulated memory: 2449936 KiB
[startup+3596.8 s]
/proc/loadavg: 4.07 4.15 4.09 5/267 30978
/proc/meminfo: memFree=124692008/131524600 swapFree=131071216/131071996
[pid=28920] ppid=28906 vsize=3264112 memory=2449936 CPUtime=3580.58 cores=1,3
/proc/28920/stat : 28920 (fscip) S 28906 28920 28847 0 -1 1077936128 4153125 0 0 0 357752 306 0 0 20 0 3 0 4456408 3342450688 612484 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
/proc/28920/statm: 816028 612484 3302 3035 0 795984 0
[pid=28920/tid=29078] ppid=28906 vsize=3264112 memory=2449936 CPUtime=3578.34 cores=1,3
/proc/28920/task/29078/stat : 29078 (fscip) R 28906 28920 28847 0 -1 4194368 4067472 0 0 0 357550 284 0 0 20 0 3 0 4456607 3342450688 612484 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
[pid=28920/tid=29125] ppid=28906 vsize=3264112 memory=1940 CPUtime=0.03 cores=1,3
/proc/28920/task/29125/stat : 29125 (fscip) S 28906 28920 28847 0 -1 1077936192 183 0 0 0 1 2 0 0 20 0 3 0 4456629 3342450688 612484 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
Current children cumulated CPU time: 3580.58 s
Current children cumulated vsize: 3264112 KiB
Current children cumulated memory: 2449936 KiB
[startup+3597.6 s]
/proc/loadavg: 4.07 4.15 4.09 5/267 30978
/proc/meminfo: memFree=124692008/131524600 swapFree=131071216/131071996
[pid=28920] ppid=28906 vsize=3264112 memory=2449936 CPUtime=3581.38 cores=1,3
/proc/28920/stat : 28920 (fscip) S 28906 28920 28847 0 -1 1077936128 4153367 0 0 0 357832 306 0 0 20 0 3 0 4456408 3342450688 612484 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
/proc/28920/statm: 816028 612484 3302 3035 0 795984 0
[pid=28920/tid=29078] ppid=28906 vsize=3264112 memory=13176 CPUtime=3579.14 cores=1,3
/proc/28920/task/29078/stat : 29078 (fscip) R 28906 28920 28847 0 -1 4194368 4067714 0 0 0 357630 284 0 0 20 0 3 0 4456607 3342450688 612484 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
[pid=28920/tid=29125] ppid=28906 vsize=3264112 memory=12696 CPUtime=0.03 cores=1,3
/proc/28920/task/29125/stat : 29125 (fscip) S 28906 28920 28847 0 -1 1077936192 183 0 0 0 1 2 0 0 20 0 3 0 4456629 3342450688 612484 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
Current children cumulated CPU time: 3581.38 s
Current children cumulated vsize: 3264112 KiB
Current children cumulated memory: 2449936 KiB
[startup+3598 s]*
/proc/loadavg: 4.07 4.15 4.09 5/267 30978
/proc/meminfo: memFree=124692008/131524600 swapFree=131071216/131071996
[pid=28920] ppid=28906 vsize=3264112 memory=2449936 CPUtime=3581.79 cores=1,3
/proc/28920/stat : 28920 (fscip) S 28906 28920 28847 0 -1 1077936128 4153621 0 0 0 357873 306 0 0 20 0 3 0 4456408 3342450688 612484 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
/proc/28920/statm: 816028 612484 3302 3035 0 795984 0
[pid=28920/tid=29078] ppid=28906 vsize=3264112 memory=11524 CPUtime=3579.55 cores=1,3
/proc/28920/task/29078/stat : 29078 (fscip) R 28906 28920 28847 0 -1 4194368 4067968 0 0 0 357671 284 0 0 20 0 3 0 4456607 3342450688 612484 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
[pid=28920/tid=29125] ppid=28906 vsize=3264112 memory=-7738211608633113021 CPUtime=0.03 cores=1,3
/proc/28920/task/29125/stat : 29125 (fscip) S 28906 28920 28847 0 -1 1077936192 183 0 0 0 1 2 0 0 20 0 3 0 4456629 3342450688 612484 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
Current children cumulated CPU time: 3581.79 s
Current children cumulated vsize: 3264112 KiB
Current children cumulated memory: 2449936 KiB
[startup+3598.4 s]
/proc/loadavg: 4.07 4.15 4.09 5/267 30978
/proc/meminfo: memFree=124692008/131524600 swapFree=131071216/131071996
[pid=28920] ppid=28906 vsize=1843080 memory=1406312 CPUtime=3582.18 cores=1,3
/proc/28920/stat : 28920 (fscip) R 28906 28920 28847 0 -1 4194304 4172072 0 0 0 357909 309 0 0 20 0 2 0 4456408 1887313920 351578 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
/proc/28920/statm: 460770 351578 3302 3035 0 449091 0
[pid=28920/tid=29125] ppid=28906 vsize=1843080 memory=11528 CPUtime=0.03 cores=1,3
/proc/28920/task/29125/stat : 29125 (fscip) S 28906 28920 28847 0 -1 1077936192 183 0 0 0 1 2 0 0 20 0 2 0 4456629 1887313920 351578 134679101440 4194304 16623229 140736607974336 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30052352 140736607982614 140736607982730 140736607982730 140736607989744 0
Current children cumulated CPU time: 3582.18 s
Current children cumulated vsize: 1843080 KiB
Current children cumulated memory: 1406312 KiB
Child status: 0
Real time (s): 3598.42
CPU time (s): 3582.21
CPU user time (s): 3579.11
CPU system time (s): 3.10391
CPU usage (%): 99.5496
Max. virtual memory (cumulated for all children) (KiB): 3264112
Max. memory (cumulated for all children) (KiB): 2449936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.11
system time used= 3.10391
maximum resident set size= 2449936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4172648
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= 6646
involuntary context switches= 14770
# summary of solver processes directly reported to runsolver:
# pid: 28920
# total CPU time (s): 3582.21
# total CPU user time (s): 3579.11
# total CPU system time (s): 3.10391
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.99885 second user time and 16.3099 second system time
The end
Begin job on nodeC017 at 2024-07-31 00:29:54
IDJOB=4464049
IDBENCH=146672
IDSOLVER=3092
FILE ID=nodeC017/4464049-1722378594
RUNJOBID= nodeC017-1722378594-28859
SLURM_JOB_ID= 8249830
Free space on /tmp= 890004 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-1.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-4464049-1722378594/watcher-4464049-1722378594 -o /tmp/evaluation-result-4464049-1722378594/solver-4464049-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722378594-28859 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464049-1722378594.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 05a4468103b1b74e5a90bd7e67aed0d9
RANDOM SEED=1497379858
nodeC017.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 : 3725.661
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.82
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 : 3861.313
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.29
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 : 3776.947
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.82
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 : 3734.857
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.29
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 : 3874.231
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.82
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 : 3699.904
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.29
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 : 3618.666
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.82
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 : 3751.233
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128575260 kB
MemAvailable: 129830536 kB
Buffers: 86060 kB
Cached: 2002920 kB
SwapCached: 52 kB
Active: 254368 kB
Inactive: 2221536 kB
Active(anon): 1360 kB
Inactive(anon): 406764 kB
Active(file): 253008 kB
Inactive(file): 1814772 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 114792 kB
Writeback: 4 kB
AnonPages: 386388 kB
Mapped: 87288 kB
Shmem: 21136 kB
KReclaimable: 54640 kB
Slab: 135192 kB
SReclaimable: 54640 kB
SUnreclaim: 80552 kB
KernelStack: 3888 kB
PageTables: 9504 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 639192 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 8960 kB
HardwareCorrupted: 0 kB
AnonHugePages: 270336 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: 185044 kB
DirectMap2M: 5879808 kB
DirectMap1G: 130023424 kB
Free space on /tmp at the end= 889964 MiB
End job on nodeC017 at 2024-07-31 01:29:53