0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.09/0.12 c Default LC presolving (default).
0.09/0.12 c ** Before presolving: virtualMemUsedAtLc = 103976371, getVmSize() = 90013696, SCIPgetMemUsed() = 60899113, SCIPgetMemTotal() = 66346161, SCIPgetMemExternEstim() = 37630210
0.09/0.12 c ** set memory limit for presolving in LC to 8.79606e+12 for SCIP **
0.30/0.35 c ** Estimated virtualMemUsedAtSolver = 91743404, getVmSize() = 127086592, SCIPgetMemUsed() = 66153761, SCIPgetMemTotal() = 99984897, SCIPgetMemExternEstim() = 37630210
0.30/0.35 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.30/0.35 c Original Problem :
0.30/0.35 c Problem name : instance-4459755-1721939463
0.30/0.35 c Variables : 19183 (500 binary, 0 integer, 18683 implicit integer, 0 continuous)
0.30/0.35 c Constraints : 19683
0.30/0.35 c Objective sense : minimize
0.30/0.35 c Presolved Problem :
0.30/0.35 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
0.30/0.35 c Constraints : 18683
0.30/0.35 c Constraints : Number
0.30/0.35 c setppc : 18683
0.30/0.35 c ** Instance transfer method used: 0
0.30/0.38 c ** ParaScipInstance copy does not increase the number of variables. **
0.30/0.40 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.30/0.40 c Nodes Active
0.30/0.40 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.59/0.67 c * 1 0 1 1 -25.0000 - -
0.59/0.68 c * 1 0 1 1 -34.0000 - -
0.68/0.72 c * 1 0 1 1 -36.0000 - -
47.85/48.04 c 48 2 1 1 -36.0000 -102.7523 185.42%
53.13/53.34 c 53 3 2 1 -36.0000 -102.7523 185.42%
62.51/62.77 c 63 4 3 1 -36.0000 -102.7523 185.42%
74.89/75.13 c 75 5 4 1 -36.0000 -102.7523 185.42%
79.97/80.26 c 80 6 5 1 -36.0000 -102.6830 185.23%
90.24/90.55 c 91 7 6 1 -36.0000 -102.5991 185.00%
97.22/97.59 c 98 8 7 1 -36.0000 -102.5991 185.00%
107.40/107.71 c 108 10 9 1 -36.0000 -102.5991 185.00%
117.57/117.96 c 118 12 11 1 -36.0000 -102.0222 183.40%
123.76/124.11 c 124 18 17 1 -36.0000 -101.5028 181.95%
129.74/130.17 c 130 19 18 1 -36.0000 -101.5028 181.95%
136.82/137.28 c 137 22 21 1 -36.0000 -101.5028 181.95%
142.01/142.42 c 142 26 25 1 -36.0000 -101.5028 181.95%
147.70/148.18 c 148 28 27 1 -36.0000 -101.5028 181.95%
152.78/153.22 c 153 36 35 1 -36.0000 -101.5028 181.95%
159.46/159.97 c 160 40 39 1 -36.0000 -101.5028 181.95%
165.55/166.00 c 166 47 46 1 -36.0000 -101.5028 181.95%
173.83/174.32 c 174 50 49 1 -36.0000 -101.5028 181.95%
178.91/179.46 c 179 62 61 1 -36.0000 -101.5028 181.95%
185.90/186.41 c 186 70 69 1 -36.0000 -101.5028 181.95%
191.38/191.98 c 192 77 76 1 -36.0000 -100.4872 179.13%
196.86/197.49 c 197 81 80 1 -36.0000 -100.4872 179.13%
202.75/203.36 c 203 94 93 1 -36.0000 -100.4872 179.13%
208.45/209.04 c 209 101 100 1 -36.0000 -100.4872 179.13%
216.82/217.40 c 217 109 108 1 -36.0000 -100.4782 179.11%
222.60/223.24 c 223 119 118 1 -36.0000 -100.4782 179.11%
228.09/228.77 c 229 125 124 1 -36.0000 -100.4782 179.11%
236.17/236.84 c 237 134 133 1 -36.0000 -100.2782 178.55%
242.06/242.74 c 243 146 145 1 -36.0000 -99.9688 177.69%
247.64/248.38 c 248 152 151 1 -36.0000 -99.9688 177.69%
254.82/255.53 c 256 164 163 1 -36.0000 -99.9230 177.56%
262.50/263.24 c 263 174 173 1 -36.0000 -99.9230 177.56%
267.79/268.52 c 269 184 183 1 -36.0000 -99.9230 177.56%
273.68/274.43 c 274 197 196 1 -36.0000 -99.7292 177.03%
280.86/281.65 c 282 201 202 1 -36.0000 -99.7292 177.03%
286.84/287.64 c 288 212 211 1 -36.0000 -99.7292 177.03%
295.62/296.49 c 296 225 224 1 -36.0000 -99.6924 176.92%
302.89/303.71 c 304 237 236 1 -36.0000 -99.6924 176.92%
308.78/309.63 c 310 251 250 1 -36.0000 -99.6924 176.92%
313.87/314.78 c 315 254 253 1 -36.0000 -99.6121 176.70%
320.26/321.11 c 321 264 263 1 -36.0000 -99.6121 176.70%
325.25/326.15 c 326 282 281 1 -36.0000 -99.5411 176.50%
330.93/331.84 c 332 289 288 1 -36.0000 -99.5411 176.50%
339.01/339.93 c 340 302 301 1 -36.0000 -99.5411 176.50%
344.20/345.19 c 345 313 314 1 -36.0000 -99.4390 176.22%
350.68/351.64 c 352 319 318 1 -36.0000 -99.4390 176.22%
357.76/358.76 c 359 334 333 1 -36.0000 -99.4390 176.22%
363.35/364.34 c 364 344 343 1 -36.0000 -99.4304 176.20%
368.93/369.93 c 370 352 351 1 -36.0000 -99.4304 176.20%
373.92/374.98 c 375 364 363 1 -36.0000 -99.4304 176.20%
380.60/381.63 c 382 374 373 1 -36.0000 -99.3089 175.86%
387.00/388.07 c 388 385 384 1 -36.0000 -99.3089 175.86%
392.18/393.23 c 393 399 398 1 -36.0000 -99.3089 175.86%
397.97/399.05 c 399 410 409 1 -36.0000 -99.2482 175.69%
403.06/404.14 c 404 416 415 1 -36.0000 -99.2482 175.69%
409.53/410.70 c 411 426 425 1 -36.0000 -99.2482 175.69%
414.82/415.93 c 416 437 436 1 -36.0000 -99.2171 175.60%
420.20/421.35 c 421 452 451 1 -36.0000 -99.2171 175.60%
426.49/427.61 c 428 463 462 1 -36.0000 -99.1692 175.47%
432.98/434.15 c 434 472 471 1 -36.0000 -99.1692 175.47%
439.06/440.29 c 440 482 481 1 -36.0000 -99.1692 175.47%
444.15/445.35 c 445 493 494 1 -36.0000 -99.0432 175.12%
449.63/450.88 c 451 502 501 1 -36.0000 -99.0432 175.12%
455.31/456.54 c 457 515 514 1 -36.0000 -99.0060 175.02%
460.71/461.93 c 462 530 531 1 -36.0000 -99.0060 175.02%
467.09/468.36 c 468 544 543 1 -36.0000 -98.9872 174.96%
473.27/474.53 c 475 557 556 1 -36.0000 -98.9209 174.78%
480.26/481.52 c 482 574 573 1 -36.0000 -98.9094 174.75%
486.75/488.07 c 488 587 586 1 -36.0000 -98.9094 174.75%
492.33/493.60 c 494 602 601 1 -36.0000 -98.8334 174.54%
499.01/500.35 c 500 617 616 1 -36.0000 -98.7789 174.39%
504.70/506.06 c 506 633 632 1 -36.0000 -98.7387 174.27%
510.18/511.58 c 512 645 644 1 -36.0000 -98.7387 174.27%
515.67/517.03 c 517 657 656 1 -36.0000 -98.6666 174.07%
522.95/524.31 c 524 675 674 1 -36.0000 -98.6507 174.03%
528.24/529.63 c 530 694 693 1 -36.0000 -98.6395 174.00%
534.73/536.15 c 536 714 713 1 -36.0000 -98.6151 173.93%
539.81/541.25 c 541 734 733 1 -36.0000 -98.5734 173.81%
544.99/546.44 c 546 752 751 1 -36.0000 -98.5645 173.79%
550.58/552.06 c 552 764 763 1 -36.0000 -98.5645 173.79%
556.57/558.04 c 558 776 775 1 -36.0000 -98.5598 173.78%
563.24/564.78 c 565 792 791 1 -36.0000 -98.4669 173.52%
569.23/570.78 c 571 806 805 1 -36.0000 -98.4669 173.52%
575.32/576.85 c 577 829 828 1 -36.0000 -98.3686 173.25%
580.40/581.94 c 582 844 843 1 -36.0000 -98.3518 173.20%
585.89/587.46 c 587 866 865 1 -36.0000 -98.2910 173.03%
591.87/593.45 c 593 883 882 1 -36.0000 -98.2729 172.98%
597.26/598.89 c 599 905 904 1 -36.0000 -98.2255 172.85%
603.04/604.65 c 605 922 921 1 -36.0000 -98.2234 172.84%
608.34/609.95 c 610 942 941 1 -36.0000 -98.0009 172.22%
614.02/615.62 c 616 953 952 1 -36.0000 -97.9733 172.15%
620.10/621.74 c 622 966 965 1 -36.0000 -97.9344 172.04%
625.48/627.18 c 627 981 980 1 -36.0000 -97.8000 171.67%
631.86/633.52 c 634 990 989 1 -36.0000 -97.7388 171.50%
637.94/639.66 c 640 1008 1007 1 -36.0000 -97.5498 170.97%
644.62/646.31 c 646 1022 1021 1 -36.0000 -97.5082 170.86%
650.10/651.82 c 652 1028 1027 1 -36.0000 -97.5082 170.86%
655.48/657.22 c 657 1045 1044 1 -36.0000 -97.2295 170.08%
668.84/670.68 c 671 1051 1 1 -36.0000 -97.2295 170.08%
674.43/676.28 c 676 1052 2 1 -36.0000 -97.2295 170.08%
683.01/684.88 c 685 1054 4 1 -36.0000 -97.2295 170.08%
688.99/690.88 c 691 1058 8 1 -36.0000 -97.2295 170.08%
694.18/696.08 c 696 1059 9 1 -36.0000 -97.2295 170.08%
702.04/703.98 c 704 1061 11 1 -36.0000 -97.2295 170.08%
707.42/709.37 c 709 1062 12 1 -36.0000 -97.2295 170.08%
712.61/714.54 c 715 1065 15 1 -36.0000 -97.2295 170.08%
717.99/719.96 c 720 1068 18 1 -36.0000 -97.2295 170.08%
723.67/725.63 c 726 1071 21 1 -36.0000 -97.2295 170.08%
731.16/733.13 c 733 1080 30 1 -36.0000 -97.2295 170.08%
737.34/739.31 c 739 1099 49 1 -36.0000 -97.2295 170.08%
742.92/744.95 c 745 1112 62 1 -36.0000 -97.2295 170.08%
748.80/750.88 c 751 1123 73 1 -36.0000 -97.2295 170.08%
756.98/759.07 c 759 1147 97 1 -36.0000 -97.2295 170.08%
762.97/765.09 c 765 1158 108 1 -36.0000 -97.2295 170.08%
768.24/770.35 c 770 1171 121 1 -36.0000 -97.2295 170.08%
773.83/775.99 c 776 1181 131 1 -36.0000 -97.2295 170.08%
779.01/781.11 c 781 1187 137 1 -36.0000 -97.2295 170.08%
784.69/786.83 c 787 1201 151 1 -36.0000 -97.2295 170.08%
791.08/793.29 c 793 1214 164 1 -36.0000 -97.2295 170.08%
796.76/798.94 c 799 1230 180 1 -36.0000 -97.2295 170.08%
802.54/804.73 c 805 1246 196 1 -36.0000 -97.2295 170.08%
807.72/809.96 c 810 1259 209 1 -36.0000 -97.2295 170.08%
812.81/815.02 c 815 1272 222 1 -36.0000 -97.2295 170.08%
817.99/820.26 c 820 1287 237 1 -36.0000 -97.2295 170.08%
823.78/826.05 c 826 1301 251 1 -36.0000 -97.2295 170.08%
829.76/832.08 c 832 1315 265 1 -36.0000 -97.2295 170.08%
835.64/837.95 c 838 1330 280 1 -36.0000 -97.2295 170.08%
840.73/843.10 c 843 1334 284 1 -36.0000 -97.2295 170.08%
846.60/848.99 c 849 1353 303 1 -36.0000 -97.2295 170.08%
852.39/854.71 c 855 1369 319 1 -36.0000 -97.2295 170.08%
858.28/860.65 c 861 1383 333 1 -36.0000 -97.2295 170.08%
863.57/865.93 c 866 1395 345 1 -36.0000 -97.2295 170.08%
869.55/871.93 c 872 1405 355 1 -36.0000 -97.2295 170.08%
875.04/877.48 c 877 1418 368 1 -36.0000 -97.2295 170.08%
880.82/883.26 c 883 1426 376 1 -36.0000 -97.2295 170.08%
887.01/889.48 c 889 1442 392 1 -36.0000 -97.2295 170.08%
892.99/895.44 c 895 1463 413 1 -36.0000 -97.2295 170.08%
898.87/901.30 c 901 1476 426 1 -36.0000 -97.2295 170.08%
904.36/906.81 c 907 1494 444 1 -36.0000 -97.2295 170.08%
910.15/912.68 c 913 1512 462 1 -36.0000 -97.2295 170.08%
916.24/918.70 c 919 1525 475 1 -36.0000 -97.2295 170.08%
921.42/923.97 c 924 1543 493 1 -36.0000 -97.2295 170.08%
928.40/930.93 c 931 1554 504 1 -36.0000 -97.2295 170.08%
933.79/936.37 c 936 1569 519 1 -36.0000 -97.2295 170.08%
938.87/941.48 c 941 1578 528 1 -36.0000 -97.2295 170.08%
944.37/946.99 c 947 1589 539 1 -36.0000 -97.2295 170.08%
949.65/952.21 c 952 1598 548 1 -36.0000 -97.2295 170.08%
955.14/957.74 c 958 1613 563 1 -36.0000 -97.2295 170.08%
960.62/963.22 c 963 1632 582 1 -36.0000 -97.2295 170.08%
966.51/969.13 c 969 1652 602 1 -36.0000 -97.2295 170.08%
975.79/978.45 c 978 1672 622 1 -36.0000 -97.2295 170.08%
981.67/984.31 c 984 1681 631 1 -36.0000 -97.2295 170.08%
986.86/989.55 c 990 1693 643 1 -36.0000 -97.2295 170.08%
992.05/994.71 c 995 1706 656 1 -36.0000 -97.2295 170.08%
998.03/1000.75 c 1001 1731 681 1 -36.0000 -97.2295 170.08%
1003.12/1005.88 c 1006 1742 692 1 -36.0000 -97.2295 170.08%
1008.20/1010.90 c 1011 1757 707 1 -36.0000 -97.2295 170.08%
1013.60/1016.33 c 1016 1774 724 1 -36.0000 -97.2295 170.08%
1019.48/1022.26 c 1022 1797 747 1 -36.0000 -97.2295 170.08%
1025.67/1028.44 c 1028 1822 772 1 -36.0000 -97.2295 170.08%
1031.05/1033.81 c 1034 1845 795 1 -36.0000 -97.2295 170.08%
1036.14/1038.92 c 1039 1863 813 1 -36.0000 -97.2295 170.08%
1042.12/1044.92 c 1045 1887 837 1 -36.0000 -97.2295 170.08%
1047.71/1050.54 c 1051 1908 858 1 -36.0000 -97.2295 170.08%
1053.50/1056.36 c 1056 1935 885 1 -36.0000 -97.2295 170.08%
1059.08/1061.91 c 1062 1958 908 1 -36.0000 -97.2295 170.08%
1064.47/1067.35 c 1067 1983 933 1 -36.0000 -97.2295 170.08%
1070.05/1072.93 c 1073 2010 960 1 -36.0000 -97.2295 170.08%
1075.34/1078.28 c 1078 2034 984 1 -36.0000 -97.2295 170.08%
1081.24/1084.13 c 1084 2058 1008 1 -36.0000 -97.2295 170.08%
1086.42/1089.32 c 1089 2071 1021 1 -36.0000 -97.2295 170.08%
1092.11/1095.00 c 1095 2093 1043 1 -36.0000 -97.2295 170.08%
1097.89/1100.84 c 1101 2119 1069 1 -36.0000 -97.2295 170.08%
1103.77/1106.72 c 1107 2142 1092 1 -36.0000 -97.2295 170.08%
1109.76/1112.77 c 1113 2168 1118 1 -36.0000 -97.2295 170.08%
1115.74/1118.75 c 1119 2194 1144 1 -36.0000 -97.2295 170.08%
1122.03/1125.00 c 1125 2223 1173 1 -36.0000 -97.2295 170.08%
1127.12/1130.18 c 1130 2247 1197 1 -36.0000 -97.2295 170.08%
1132.60/1135.65 c 1136 2273 1223 1 -36.0000 -97.2295 170.08%
1138.28/1141.34 c 1141 2302 1252 1 -36.0000 -97.2295 170.08%
1145.17/1148.23 c 1148 2325 1275 1 -36.0000 -97.2295 170.08%
1150.36/1153.40 c 1153 2342 1292 1 -36.0000 -97.2295 170.08%
1155.65/1158.76 c 1159 2350 1300 1 -36.0000 -97.2295 170.08%
1161.93/1165.01 c 1165 2364 1314 1 -36.0000 -97.2295 170.08%
1169.02/1172.17 c 1172 2384 1334 1 -36.0000 -97.2295 170.08%
1176.30/1179.41 c 1179 2404 1354 1 -36.0000 -97.2295 170.08%
1182.78/1185.95 c 1186 2423 1373 1 -36.0000 -97.2295 170.08%
1188.16/1191.31 c 1191 2436 1386 1 -36.0000 -97.2295 170.08%
1194.35/1197.53 c 1198 2451 1401 1 -36.0000 -97.2295 170.08%
1200.34/1203.52 c 1204 2459 1409 1 -36.0000 -97.2295 170.08%
1205.32/1208.55 c 1209 2472 1422 1 -36.0000 -97.2295 170.08%
1210.41/1213.63 c 1214 2482 1432 1 -36.0000 -97.2295 170.08%
1216.00/1219.25 c 1219 2501 1451 1 -36.0000 -97.2295 170.08%
1221.29/1224.52 c 1225 2522 1472 1 -36.0000 -97.2295 170.08%
1226.67/1229.94 c 1230 2538 1488 1 -36.0000 -97.2295 170.08%
1233.16/1236.40 c 1236 2552 1502 1 -36.0000 -97.2295 170.08%
1239.24/1242.58 c 1243 2575 1525 1 -36.0000 -97.2295 170.08%
1245.12/1248.48 c 1248 2593 1543 1 -36.0000 -97.2295 170.08%
1250.22/1253.54 c 1254 2613 1563 1 -36.0000 -97.2295 170.08%
1255.81/1259.13 c 1259 2626 1576 1 -36.0000 -97.2295 170.08%
1261.79/1265.10 c 1265 2641 1591 1 -36.0000 -97.2295 170.08%
1267.37/1270.72 c 1271 2668 1618 1 -36.0000 -97.2295 170.08%
1272.76/1276.18 c 1276 2692 1642 1 -36.0000 -97.2295 170.08%
1277.84/1281.20 c 1281 2712 1662 1 -36.0000 -97.2295 170.08%
1283.43/1286.86 c 1287 2729 1679 1 -36.0000 -97.2295 170.08%
1289.02/1292.48 c 1292 2763 1713 1 -36.0000 -97.2295 170.08%
1294.80/1298.20 c 1298 2788 1738 1 -36.0000 -97.2295 170.08%
1300.69/1304.15 c 1304 2812 1762 1 -36.0000 -97.2295 170.08%
1306.67/1310.13 c 1310 2845 1795 1 -36.0000 -97.2295 170.08%
1311.86/1315.36 c 1315 2874 1824 1 -36.0000 -97.2295 170.08%
1317.35/1320.89 c 1321 2908 1858 1 -36.0000 -97.2295 170.08%
1323.03/1326.52 c 1327 2933 1883 1 -36.0000 -97.2295 170.08%
1328.12/1331.67 c 1332 2952 1902 1 -36.0000 -97.2295 170.08%
1333.41/1336.90 c 1337 2969 1919 1 -36.0000 -97.2295 170.08%
1338.89/1342.44 c 1342 3001 1951 1 -36.0000 -97.2295 170.08%
1344.18/1347.79 c 1348 3016 1966 1 -36.0000 -97.2295 170.08%
1349.97/1353.59 c 1354 3058 2008 1 -36.0000 -97.2295 170.08%
1356.55/1360.15 c 1360 3088 2038 1 -36.0000 -97.2295 170.08%
1362.03/1365.63 c 1366 3120 2070 1 -36.0000 -97.2295 170.08%
1367.92/1371.55 c 1372 3148 2098 1 -36.0000 -97.2295 170.08%
1374.71/1378.39 c 1378 3180 2130 1 -36.0000 -97.2295 170.08%
1379.79/1383.48 c 1383 3205 2155 1 -36.0000 -97.2295 170.08%
1385.77/1389.45 c 1389 3238 2188 1 -36.0000 -97.2295 170.08%
1391.26/1394.95 c 1395 3277 2227 1 -36.0000 -97.2295 170.08%
1397.35/1401.03 c 1401 3307 2257 1 -36.0000 -97.2295 170.08%
1403.03/1406.76 c 1407 3341 2291 1 -36.0000 -97.2295 170.08%
1410.11/1413.85 c 1414 3373 2323 1 -36.0000 -97.2295 170.08%
1415.60/1419.37 c 1419 3401 2351 1 -36.0000 -97.2295 170.08%
1420.89/1424.69 c 1425 3429 2379 1 -36.0000 -97.2295 170.08%
1426.88/1430.61 c 1431 3460 2410 1 -36.0000 -97.2295 170.08%
1431.96/1435.74 c 1436 3484 2434 1 -36.0000 -97.2295 170.08%
1437.35/1441.18 c 1441 3508 2458 1 -36.0000 -97.2295 170.08%
1442.93/1446.79 c 1447 3551 2501 1 -36.0000 -97.2295 170.08%
1448.22/1452.00 c 1452 3580 2530 1 -36.0000 -97.2295 170.08%
1453.71/1457.59 c 1458 3604 2554 1 -36.0000 -97.2295 170.08%
1459.49/1463.39 c 1463 3639 2589 1 -36.0000 -97.2295 170.08%
1466.28/1470.14 c 1470 3676 2626 1 -36.0000 -97.2295 170.08%
1471.76/1475.69 c 1476 3700 2650 1 -36.0000 -97.2295 170.08%
1477.25/1481.14 c 1481 3726 2676 1 -36.0000 -97.2295 170.08%
1482.73/1486.67 c 1487 3756 2706 1 -36.0000 -97.2295 170.08%
1488.12/1492.04 c 1492 3793 2743 1 -36.0000 -97.2295 170.08%
1494.10/1498.07 c 1498 3819 2769 1 -36.0000 -97.2295 170.08%
1503.38/1507.34 c 1507 3844 2794 1 -36.0000 -97.2295 170.08%
1508.56/1512.50 c 1513 3875 2825 1 -36.0000 -97.2295 170.08%
1514.76/1518.78 c 1519 3905 2855 1 -36.0000 -97.2295 170.08%
1519.84/1523.81 c 1524 3926 2876 1 -36.0000 -97.2295 170.08%
1525.32/1529.38 c 1529 3964 2914 1 -36.0000 -97.2295 170.08%
1531.11/1535.10 c 1535 3984 2934 1 -36.0000 -97.2295 170.08%
1538.59/1542.62 c 1543 4009 2959 1 -36.0000 -97.2295 170.08%
1544.09/1548.19 c 1548 4042 2992 1 -36.0000 -97.2295 170.08%
1549.67/1553.71 c 1554 4060 3010 1 -36.0000 -97.2295 170.08%
1555.15/1559.21 c 1559 4097 3047 1 -36.0000 -97.2295 170.08%
1560.33/1564.49 c 1564 4114 3064 1 -36.0000 -97.2295 170.08%
1566.03/1570.15 c 1570 4153 3103 1 -36.0000 -97.2295 170.08%
1572.01/1576.12 c 1576 4187 3137 1 -36.0000 -97.2295 170.08%
1577.39/1581.52 c 1582 4202 3152 1 -36.0000 -97.2295 170.08%
1582.79/1586.93 c 1587 4224 3174 1 -36.0000 -97.2295 170.08%
1588.67/1592.85 c 1593 4248 3198 1 -36.0000 -97.2295 170.08%
1594.45/1598.61 c 1599 4262 3212 1 -36.0000 -97.2295 170.08%
1600.04/1604.27 c 1604 4294 3244 1 -36.0000 -97.2295 170.08%
1605.73/1609.99 c 1610 4322 3272 1 -36.0000 -97.2295 170.08%
1612.50/1616.72 c 1617 4355 3305 1 -36.0000 -97.2295 170.08%
1617.49/1621.74 c 1622 4383 3333 1 -36.0000 -97.2295 170.08%
1623.18/1627.47 c 1627 4419 3369 1 -36.0000 -97.2295 170.08%
1630.87/1635.11 c 1635 4443 3393 1 -36.0000 -97.2295 170.08%
1638.85/1643.13 c 1643 4479 3429 1 -36.0000 -97.2295 170.08%
1644.43/1648.74 c 1649 4515 3465 1 -36.0000 -97.2295 170.08%
1650.52/1654.85 c 1655 4539 3489 1 -36.0000 -97.2295 170.08%
1655.90/1660.20 c 1660 4569 3519 1 -36.0000 -97.2295 170.08%
1662.18/1666.54 c 1667 4602 3552 1 -36.0000 -97.2295 170.08%
1668.87/1673.20 c 1673 4645 3595 1 -36.0000 -97.2295 170.08%
1673.96/1678.35 c 1678 4671 3621 1 -36.0000 -97.2295 170.08%
1679.75/1684.14 c 1684 4706 3656 1 -36.0000 -97.2295 170.08%
1686.63/1691.07 c 1691 4742 3692 1 -36.0000 -97.2295 170.08%
1693.61/1698.09 c 1698 4786 3736 1 -36.0000 -97.2295 170.08%
1699.49/1703.90 c 1704 4811 3761 1 -36.0000 -97.2295 170.08%
1705.98/1710.47 c 1710 4860 3810 1 -36.0000 -97.2295 170.08%
1711.36/1715.86 c 1716 4900 3850 1 -36.0000 -97.2295 170.08%
1716.56/1721.10 c 1721 4942 3892 1 -36.0000 -97.2295 170.08%
1721.84/1726.32 c 1726 4966 3916 1 -36.0000 -97.2295 170.08%
1727.42/1731.95 c 1732 5015 3965 1 -36.0000 -97.2295 170.08%
1733.31/1737.88 c 1738 5070 4020 1 -36.0000 -97.2295 170.08%
1738.50/1743.09 c 1743 5106 4056 1 -36.0000 -97.2295 170.08%
1743.98/1748.55 c 1749 5141 4091 1 -36.0000 -97.2295 170.08%
1749.67/1754.25 c 1754 5182 4132 1 -36.0000 -97.2295 170.08%
1755.06/1759.63 c 1760 5225 4175 1 -36.0000 -97.2295 170.08%
1760.45/1765.07 c 1765 5254 4204 1 -36.0000 -97.2295 170.08%
1766.93/1771.58 c 1772 5287 4237 1 -36.0000 -97.2295 170.08%
1772.91/1777.59 c 1778 5309 4259 1 -36.0000 -97.2295 170.08%
1778.40/1783.01 c 1783 5348 4298 1 -36.0000 -97.2295 170.08%
1784.98/1789.69 c 1790 5399 4349 1 -36.0000 -97.2295 170.08%
1791.37/1796.02 c 1796 5450 4400 1 -36.0000 -97.2295 170.08%
1796.85/1801.55 c 1802 5492 4442 1 -36.0000 -97.2295 170.08%
1802.44/1807.18 c 1807 5541 4491 1 -36.0000 -97.2295 170.08%
1807.82/1812.54 c 1813 5571 4517 1 -36.0000 -97.2295 170.08%
1813.21/1817.94 c 1818 5597 4543 1 -36.0000 -97.2295 170.08%
1819.20/1823.90 c 1824 5650 4596 1 -36.0000 -97.2295 170.08%
1824.58/1829.34 c 1829 5692 4638 1 -36.0000 -97.2295 170.08%
1829.67/1834.40 c 1834 5735 4675 1 -36.0000 -97.2295 170.08%
1835.65/1840.42 c 1840 5773 4713 1 -36.0000 -97.2295 170.08%
1842.94/1847.71 c 1848 5819 4759 1 -36.0000 -97.2295 170.08%
1849.92/1854.79 c 1855 5872 4810 1 -36.0000 -97.2295 170.08%
1857.41/1862.26 c 1862 5908 4846 1 -36.0000 -97.2295 170.08%
1864.19/1869.09 c 1869 5945 4881 1 -36.0000 -97.2295 170.08%
1870.07/1874.97 c 1875 5999 4933 1 -36.0000 -97.2295 170.08%
1876.95/1881.83 c 1882 6028 4960 1 -36.0000 -97.2295 170.08%
1882.54/1887.46 c 1887 6061 4991 1 -36.0000 -97.2295 170.08%
1887.93/1892.81 c 1893 6082 5012 1 -36.0000 -97.2295 170.08%
1893.81/1898.70 c 1899 6125 5055 1 -36.0000 -97.2295 170.08%
1899.00/1903.93 c 1904 6162 5090 1 -36.0000 -97.2295 170.08%
1903.98/1908.99 c 1909 6192 5120 1 -36.0000 -97.2295 170.08%
1910.27/1915.21 c 1915 6231 5155 1 -36.0000 -97.2295 170.08%
1916.36/1921.39 c 1921 6256 5178 1 -36.0000 -97.2295 170.08%
1923.15/1928.15 c 1928 6302 5218 1 -36.0000 -97.2295 170.08%
1929.33/1934.32 c 1934 6327 5237 1 -36.0000 -97.2295 170.08%
1934.72/1939.70 c 1940 6374 5278 1 -36.0000 -97.2295 170.08%
1940.60/1945.65 c 1946 6417 5319 1 -36.0000 -97.2295 170.08%
1946.09/1951.15 c 1951 6448 5348 1 -36.0000 -97.2295 170.08%
1953.87/1958.96 c 1959 6480 5378 1 -36.0000 -97.2295 170.08%
1959.76/1964.87 c 1965 6540 5432 1 -36.0000 -97.2295 170.08%
1965.54/1970.62 c 1971 6582 5468 1 -36.0000 -97.2295 170.08%
1970.52/1975.69 c 1976 6614 5500 1 -36.0000 -97.2295 170.08%
1976.61/1981.72 c 1982 6654 5538 1 -36.0000 -97.1594 169.89%
1981.90/1987.06 c 1987 6695 5575 1 -36.0000 -97.0691 169.64%
1988.28/1993.42 c 1993 6747 5617 1 -36.0000 -97.0691 169.64%
1994.16/1999.38 c 1999 6820 5666 1 -36.0000 -97.0691 169.64%
2000.45/2005.66 c 2006 6879 5707 1 -36.0000 -97.0691 169.64%
2005.63/2010.84 c 2011 6908 5728 1 -36.0000 -97.0210 169.50%
2010.62/2015.89 c 2016 6961 5767 1 -36.0000 -96.9328 169.26%
2016.80/2022.09 c 2022 6989 5787 1 -36.0000 -96.9328 169.26%
2022.47/2027.75 c 2028 7020 5810 1 -36.0000 -96.9328 169.26%
2027.86/2033.16 c 2033 7068 5844 1 -36.0000 -96.9086 169.19%
2033.04/2038.32 c 2038 7126 5892 1 -36.0000 -96.8365 168.99%
2038.93/2044.24 c 2044 7219 5951 1 -36.0000 -96.8365 168.99%
2045.51/2050.85 c 2051 7281 5995 1 -36.0000 -96.8365 168.99%
2051.00/2056.32 c 2056 7339 6039 1 -36.0000 -96.8015 168.89%
2056.38/2061.78 c 2062 7386 6078 1 -36.0000 -96.8015 168.89%
2061.97/2067.30 c 2067 7451 6135 1 -36.0000 -96.8015 168.89%
2067.77/2073.12 c 2073 7531 6193 1 -36.0000 -96.7467 168.74%
2073.65/2079.03 c 2079 7601 6247 1 -36.0000 -96.7467 168.74%
2079.33/2084.70 c 2085 7683 6305 1 -36.0000 -96.7467 168.74%
2084.73/2090.14 c 2090 7737 6337 1 -36.0000 -96.7365 168.71%
2090.31/2095.78 c 2096 7792 6378 1 -36.0000 -96.7365 168.71%
2095.70/2101.16 c 2101 7841 6403 1 -36.0000 -96.7217 168.67%
2101.58/2107.02 c 2107 7891 6441 1 -36.0000 -96.7217 168.67%
2107.26/2112.70 c 2113 7947 6487 1 -36.0000 -96.7018 168.62%
2113.94/2119.42 c 2119 8015 6537 1 -36.0000 -96.7018 168.62%
2120.64/2126.18 c 2126 8058 6564 1 -36.0000 -96.7018 168.62%
2126.42/2131.95 c 2132 8109 6601 1 -36.0000 -96.7018 168.62%
2134.30/2139.83 c 2140 8147 6633 1 -36.0000 -96.6547 168.49%
2139.78/2145.32 c 2145 8218 6682 1 -36.0000 -96.6547 168.49%
2145.77/2151.38 c 2151 8262 6718 1 -36.0000 -96.6547 168.49%
2151.35/2156.99 c 2157 8333 6761 1 -36.0000 -96.6547 168.49%
2157.04/2162.67 c 2163 8363 6785 1 -36.0000 -96.6547 168.49%
2162.54/2168.13 c 2168 8391 6807 1 -36.0000 -96.6547 168.49%
2167.82/2173.45 c 2173 8430 6834 1 -36.0000 -96.6547 168.49%
2175.30/2180.93 c 2181 8470 6862 1 -36.0000 -96.6547 168.49%
2180.49/2186.13 c 2186 8535 6919 1 -36.0000 -96.6547 168.49%
2185.87/2191.57 c 2192 8616 6974 1 -36.0000 -96.6547 168.49%
2191.47/2197.13 c 2197 8687 7027 1 -36.0000 -96.6547 168.49%
2196.84/2202.56 c 2203 8767 7087 1 -36.0000 -96.6547 168.49%
2203.63/2209.37 c 2209 8828 7136 1 -36.0000 -96.6191 168.39%
2208.92/2214.65 c 2215 8891 7185 1 -36.0000 -96.6191 168.39%
2214.41/2220.12 c 2220 8950 7234 1 -36.0000 -96.6191 168.39%
2220.29/2226.09 c 2226 9015 7287 1 -36.0000 -96.5926 168.31%
2226.87/2232.68 c 2233 9062 7324 1 -36.0000 -96.5926 168.31%
2232.85/2238.63 c 2239 9118 7362 1 -36.0000 -96.5926 168.31%
2239.75/2245.55 c 2246 9157 7395 1 -36.0000 -96.5658 168.24%
2244.93/2250.75 c 2251 9187 7415 1 -36.0000 -96.5658 168.24%
2250.81/2256.69 c 2257 9259 7467 1 -36.0000 -96.5158 168.10%
2256.50/2262.30 c 2262 9328 7522 1 -36.0000 -96.5158 168.10%
2262.39/2268.29 c 2268 9391 7571 1 -36.0000 -96.5158 168.10%
2267.47/2273.33 c 2273 9442 7610 1 -36.0000 -96.5158 168.10%
2273.56/2279.41 c 2279 9490 7640 1 -36.0000 -96.5158 168.10%
2279.54/2285.44 c 2285 9561 7691 1 -36.0000 -96.5092 168.08%
2285.42/2291.30 c 2291 9620 7738 1 -36.0000 -96.5092 168.08%
2290.61/2296.55 c 2297 9676 7778 1 -36.0000 -96.4851 168.01%
2297.10/2303.01 c 2303 9726 7812 1 -36.0000 -96.4820 168.01%
2303.10/2309.07 c 2309 9766 7842 1 -36.0000 -96.4820 168.01%
2308.77/2314.74 c 2315 9801 7861 1 -36.0000 -96.4820 168.01%
2314.46/2320.44 c 2320 9823 7873 1 -36.0000 -96.4618 167.95%
2320.44/2326.46 c 2326 9878 7904 1 -36.0000 -96.4618 167.95%
2326.33/2332.31 c 2332 9947 7945 1 -36.0000 -96.4618 167.95%
2333.42/2339.40 c 2339 10001 7981 1 -36.0000 -96.4618 167.95%
2339.40/2345.42 c 2345 10022 7992 1 -36.0000 -96.4618 167.95%
2345.18/2351.27 c 2351 10109 8043 1 -36.0000 -96.4618 167.95%
2350.77/2356.80 c 2357 10171 8083 1 -36.0000 -96.4160 167.82%
2356.75/2362.81 c 2363 10225 8117 1 -36.0000 -96.4081 167.80%
2362.24/2368.36 c 2368 10289 8159 1 -36.0000 -96.4081 167.80%
2367.93/2374.02 c 2374 10328 8184 1 -36.0000 -96.4071 167.80%
2374.62/2380.74 c 2381 10399 8233 1 -36.0000 -96.4071 167.80%
2380.10/2386.20 c 2386 10450 8258 1 -36.0000 -96.4071 167.80%
2385.49/2391.60 c 2392 10470 8270 1 -36.0000 -96.3504 167.64%
2391.67/2397.83 c 2398 10527 8309 1 -36.0000 -96.3275 167.58%
2397.56/2403.75 c 2404 10567 8333 1 -36.0000 -96.3275 167.58%
2404.64/2410.89 c 2411 10609 8357 1 -36.0000 -96.3275 167.58%
2409.73/2415.95 c 2416 10632 8376 1 -36.0000 -96.3275 167.58%
2415.71/2421.97 c 2422 10699 8421 1 -36.0000 -96.3275 167.58%
2421.49/2427.72 c 2428 10775 8467 1 -36.0000 -96.3194 167.55%
2427.38/2433.61 c 2434 10831 8501 1 -36.0000 -96.3194 167.55%
2432.67/2438.99 c 2439 10906 8552 1 -36.0000 -96.3060 167.52%
2438.65/2444.98 c 2445 10985 8607 1 -36.0000 -96.3060 167.52%
2443.94/2450.25 c 2450 11038 8642 1 -36.0000 -96.2932 167.48%
2449.63/2455.93 c 2456 11114 8690 1 -36.0000 -96.2736 167.43%
2456.72/2463.00 c 2463 11145 8709 1 -36.0000 -96.2468 167.35%
2463.09/2469.42 c 2469 11187 8737 1 -36.0000 -96.2468 167.35%
2468.58/2474.95 c 2475 11213 8751 1 -36.0000 -96.2468 167.35%
2474.96/2481.36 c 2481 11241 8765 1 -36.0000 -96.2468 167.35%
2481.55/2487.96 c 2488 11278 8788 1 -36.0000 -96.2468 167.35%
2487.13/2493.58 c 2494 11331 8823 1 -36.0000 -96.2468 167.35%
2492.82/2499.22 c 2499 11381 8853 1 -36.0000 -96.2468 167.35%
2498.40/2504.89 c 2505 11398 8866 1 -36.0000 -96.2468 167.35%
2503.99/2510.50 c 2510 11451 8897 1 -36.0000 -96.2468 167.35%
2509.78/2516.26 c 2516 11503 8927 1 -36.0000 -96.2468 167.35%
2515.86/2522.38 c 2522 11565 8967 1 -36.0000 -96.2468 167.35%
2521.55/2528.03 c 2528 11610 8990 1 -36.0000 -96.2468 167.35%
2527.54/2534.10 c 2534 11690 9028 1 -36.0000 -96.2468 167.35%
2533.12/2539.62 c 2540 11781 9077 1 -36.0000 -96.2436 167.34%
2540.10/2546.66 c 2547 11831 9105 1 -36.0000 -96.2356 167.32%
2545.49/2552.10 c 2552 11883 9135 1 -36.0000 -96.2356 167.32%
2551.48/2558.10 c 2558 11927 9161 1 -36.0000 -96.2356 167.32%
2556.66/2563.21 c 2563 11989 9195 1 -36.0000 -96.1631 167.12%
2562.35/2568.93 c 2569 12039 9231 1 -36.0000 -96.1604 167.11%
2567.44/2574.03 c 2574 12097 9267 1 -36.0000 -96.1604 167.11%
2573.02/2579.64 c 2580 12175 9321 1 -36.0000 -96.1604 167.11%
2578.51/2585.18 c 2585 12267 9375 1 -36.0000 -96.1604 167.11%
2585.09/2591.74 c 2592 12312 9408 1 -36.0000 -96.1491 167.08%
2592.68/2599.36 c 2599 12337 9423 1 -36.0000 -96.1491 167.08%
2598.16/2604.88 c 2605 12362 9440 1 -36.0000 -96.1491 167.08%
2603.85/2610.55 c 2611 12420 9476 1 -36.0000 -96.1436 167.07%
2609.03/2615.73 c 2616 12482 9516 1 -36.0000 -96.1436 167.07%
2614.42/2621.13 c 2621 12545 9559 1 -36.0000 -96.1436 167.07%
2619.70/2626.49 c 2626 12607 9601 1 -36.0000 -96.1436 167.07%
2625.69/2632.46 c 2632 12682 9650 1 -36.0000 -96.0999 166.94%
2631.28/2638.07 c 2638 12749 9695 1 -36.0000 -96.0997 166.94%
2636.97/2643.71 c 2644 12828 9744 1 -36.0000 -96.0837 166.90%
2643.85/2650.65 c 2651 12885 9781 1 -36.0000 -96.0159 166.71%
2649.54/2656.38 c 2656 12958 9830 1 -36.0000 -96.0159 166.71%
2655.02/2661.81 c 2662 13023 9877 1 -36.0000 -96.0159 166.71%
2660.41/2667.24 c 2667 13072 9908 1 -36.0000 -95.9891 166.64%
2666.30/2673.18 c 2673 13141 9955 1 -36.0000 -95.9891 166.64%
2672.57/2679.46 c 2679 13196 9994 1 -36.0000 -95.9891 166.64%
2678.76/2685.62 c 2686 13234 10018 1 -36.0000 -95.9715 166.59%
2684.54/2691.44 c 2691 13288 10052 1 -36.0000 -95.9530 166.54%
2690.54/2697.45 c 2697 13338 10082 1 -36.0000 -95.9530 166.54%
2696.52/2703.48 c 2703 13409 10131 1 -36.0000 -95.9208 166.45%
2702.11/2709.05 c 2709 13471 10177 1 -36.0000 -95.9208 166.45%
2707.69/2714.63 c 2715 13537 10223 1 -36.0000 -95.9092 166.41%
2717.07/2724.09 c 2724 13615 10265 1 -36.0000 -95.9092 166.41%
2722.65/2729.67 c 2730 13675 10301 1 -36.0000 -95.9092 166.41%
2728.44/2735.48 c 2735 13755 10343 1 -36.0000 -95.9092 166.41%
2734.14/2741.11 c 2741 13797 10365 1 -36.0000 -95.8935 166.37%
2739.32/2746.38 c 2746 13871 10403 1 -36.0000 -95.8727 166.31%
2744.51/2751.56 c 2752 13898 10418 1 -36.0000 -95.8727 166.31%
2751.19/2758.29 c 2758 13936 10442 1 -36.0000 -95.8727 166.31%
2759.07/2766.19 c 2766 13960 10456 1 -36.0000 -95.8727 166.31%
2765.65/2772.75 c 2773 14002 10482 1 -36.0000 -95.8727 166.31%
2771.04/2778.12 c 2778 14043 10507 1 -36.0000 -95.8727 166.31%
2778.22/2785.33 c 2785 14074 10526 1 -36.0000 -95.8727 166.31%
2785.40/2792.59 c 2793 14160 10576 1 -36.0000 -95.8604 166.28%
2790.79/2797.99 c 2798 14247 10623 1 -36.0000 -95.8124 166.15%
2796.98/2804.12 c 2804 14334 10676 1 -36.0000 -95.8124 166.15%
2802.76/2809.97 c 2810 14380 10702 1 -36.0000 -95.6416 165.67%
2810.04/2817.24 c 2817 14432 10728 1 -36.0000 -95.6416 165.67%
2815.23/2822.41 c 2822 14458 10742 1 -36.0000 -95.6416 165.67%
2820.41/2827.69 c 2828 14506 10770 1 -36.0000 -95.6416 165.67%
2827.70/2834.99 c 2835 14552 10786 1 -36.0000 -95.6416 165.67%
2833.48/2840.73 c 2841 14596 10808 1 -36.0000 -95.6416 165.67%
2839.37/2846.64 c 2847 14658 10846 1 -36.0000 -95.6416 165.67%
2844.95/2852.24 c 2852 14704 10872 1 -36.0000 -95.5833 165.51%
2850.95/2858.27 c 2858 14795 10919 1 -36.0000 -95.5794 165.50%
2856.53/2863.85 c 2864 14881 10969 1 -36.0000 -95.5637 165.45%
2861.72/2869.02 c 2869 14956 11012 1 -36.0000 -95.5478 165.41%
2866.81/2874.19 c 2874 15023 11055 1 -36.0000 -95.4968 165.27%
2872.39/2879.74 c 2880 15091 11091 1 -36.0000 -95.4598 165.17%
2878.07/2885.41 c 2885 15178 11142 1 -36.0000 -95.4598 165.17%
2883.46/2890.83 c 2891 15201 11155 1 -36.0000 -95.4423 165.12%
2888.76/2896.16 c 2896 15228 11168 1 -36.0000 -95.4423 165.12%
2895.44/2902.80 c 2903 15271 11191 1 -36.0000 -95.4423 165.12%
2901.12/2908.59 c 2909 15335 11223 1 -36.0000 -95.4217 165.06%
2907.21/2914.68 c 2915 15405 11265 1 -36.0000 -95.4217 165.06%
2912.99/2920.43 c 2920 15476 11310 1 -36.0000 -95.4217 165.06%
2920.58/2928.08 c 2928 15519 11341 1 -36.0000 -95.4217 165.06%
2925.66/2933.19 c 2933 15566 11366 1 -36.0000 -95.4217 165.06%
2930.75/2938.28 c 2938 15638 11412 1 -36.0000 -95.4134 165.04%
2935.84/2943.32 c 2943 15714 11454 1 -36.0000 -95.4072 165.02%
2940.93/2948.41 c 2948 15777 11495 1 -36.0000 -95.4072 165.02%
2946.31/2953.81 c 2954 15860 11550 1 -36.0000 -95.4072 165.02%
2952.30/2959.84 c 2960 15920 11590 1 -36.0000 -95.3953 164.99%
2957.68/2965.24 c 2965 15973 11619 1 -36.0000 -95.3664 164.91%
2965.36/2972.92 c 2973 16053 11665 1 -36.0000 -95.3664 164.91%
2972.34/2979.94 c 2980 16083 11679 1 -36.0000 -95.3664 164.91%
2978.64/2986.25 c 2986 16124 11704 1 -36.0000 -95.3664 164.91%
2984.53/2992.14 c 2992 16197 11749 1 -36.0000 -95.3346 164.82%
2989.60/2997.28 c 2997 16275 11791 1 -36.0000 -95.3346 164.82%
2995.59/3003.20 c 3003 16326 11816 1 -36.0000 -95.3346 164.82%
3001.38/3009.03 c 3009 16387 11851 1 -36.0000 -95.3242 164.79%
3006.86/3014.53 c 3015 16467 11893 1 -36.0000 -95.3075 164.74%
3013.14/3020.83 c 3021 16538 11932 1 -36.0000 -95.3075 164.74%
3018.93/3026.64 c 3027 16582 11954 1 -36.0000 -95.3075 164.74%
3024.33/3032.00 c 3032 16648 11990 1 -36.0000 -95.3075 164.74%
3029.41/3037.19 c 3037 16680 12010 1 -36.0000 -95.2633 164.62%
3035.49/3043.22 c 3043 16711 12027 1 -36.0000 -95.2443 164.57%
3040.48/3048.26 c 3048 16739 12045 1 -36.0000 -95.1807 164.39%
3045.96/3053.74 c 3054 16798 12076 1 -36.0000 -95.1381 164.27%
3052.55/3060.31 c 3060 16832 12096 1 -36.0000 -95.1271 164.24%
3057.74/3065.58 c 3066 16861 12111 1 -36.0000 -95.1271 164.24%
3062.83/3070.65 c 3071 16904 12134 1 -36.0000 -95.1271 164.24%
3068.52/3076.37 c 3076 16985 12183 1 -36.0000 -95.1271 164.24%
3074.21/3082.08 c 3082 17073 12225 1 -36.0000 -95.0740 164.09%
3079.29/3087.15 c 3087 17107 12245 1 -36.0000 -95.0740 164.09%
3086.17/3094.01 c 3094 17134 12260 1 -36.0000 -95.0740 164.09%
3092.16/3100.03 c 3100 17207 12299 1 -36.0000 -95.0740 164.09%
3098.04/3105.93 c 3106 17283 12341 1 -36.0000 -95.0420 164.01%
3103.93/3111.80 c 3112 17352 12382 1 -36.0000 -95.0420 164.01%
3109.41/3117.36 c 3117 17440 12430 1 -36.0000 -95.0420 164.01%
3115.30/3123.21 c 3123 17521 12473 1 -36.0000 -95.0204 163.95%
3120.88/3128.84 c 3129 17556 12496 1 -36.0000 -95.0204 163.95%
3126.57/3134.51 c 3135 17609 12523 1 -36.0000 -95.0204 163.95%
3132.45/3140.47 c 3140 17695 12569 1 -36.0000 -95.0155 163.93%
3137.65/3145.60 c 3146 17760 12604 1 -36.0000 -95.0088 163.91%
3143.23/3151.26 c 3151 17834 12640 1 -36.0000 -95.0088 163.91%
3149.81/3157.85 c 3158 17900 12676 1 -36.0000 -95.0088 163.91%
3156.00/3164.05 c 3164 17981 12723 1 -36.0000 -94.9592 163.78%
3161.09/3169.15 c 3169 18008 12736 1 -36.0000 -94.9592 163.78%
3166.77/3174.82 c 3175 18072 12772 1 -36.0000 -94.9592 163.78%
3172.16/3180.26 c 3180 18141 12811 1 -36.0000 -94.9592 163.78%
3178.74/3186.80 c 3187 18199 12841 1 -36.0000 -94.9495 163.75%
3184.33/3192.42 c 3192 18269 12885 1 -36.0000 -94.9495 163.75%
3190.62/3198.78 c 3199 18358 12938 1 -36.0000 -94.8957 163.60%
3195.70/3203.89 c 3204 18399 12965 1 -36.0000 -94.8957 163.60%
3201.59/3209.71 c 3210 18486 13014 1 -36.0000 -94.8957 163.60%
3207.37/3215.58 c 3216 18568 13072 1 -36.0000 -94.8957 163.60%
3214.16/3222.32 c 3222 18644 13110 1 -36.0000 -94.8957 163.60%
3219.34/3227.53 c 3228 18674 13128 1 -36.0000 -94.8957 163.60%
3224.32/3232.59 c 3233 18761 13171 1 -36.0000 -94.8752 163.54%
3229.81/3238.08 c 3238 18800 13196 1 -36.0000 -94.8574 163.49%
3235.18/3243.42 c 3243 18871 13235 1 -36.0000 -94.8574 163.49%
3240.47/3248.75 c 3249 18942 13280 1 -36.0000 -94.8574 163.49%
3245.65/3253.98 c 3254 19016 13330 1 -36.0000 -94.8574 163.49%
3252.43/3260.74 c 3261 19085 13375 1 -36.0000 -94.8574 163.49%
3257.41/3265.76 c 3266 19113 13389 1 -36.0000 -94.8574 163.49%
3263.40/3271.77 c 3272 19208 13436 1 -36.0000 -94.8455 163.46%
3269.19/3277.53 c 3278 19336 13498 1 -36.0000 -94.8322 163.42%
3274.87/3283.22 c 3283 19391 13525 1 -36.0000 -94.8322 163.42%
3280.15/3288.54 c 3289 19495 13583 1 -36.0000 -94.8322 163.42%
3285.93/3294.35 c 3294 19565 13629 1 -36.0000 -94.8059 163.35%
3291.81/3300.22 c 3300 19641 13677 1 -36.0000 -94.8059 163.35%
3296.80/3305.24 c 3305 19727 13729 1 -36.0000 -94.7965 163.32%
3302.88/3311.36 c 3311 19800 13770 1 -36.0000 -94.7706 163.25%
3309.76/3318.29 c 3318 19887 13819 1 -36.0000 -94.7706 163.25%
3316.04/3324.51 c 3325 19938 13848 1 -36.0000 -94.7706 163.25%
3322.02/3330.51 c 3331 19965 13861 1 -36.0000 -94.7706 163.25%
3327.70/3336.22 c 3336 19993 13877 1 -36.0000 -94.7706 163.25%
3333.49/3342.07 c 3342 20075 13915 1 -36.0000 -94.7426 163.17%
3340.16/3348.75 c 3349 20136 13950 1 -36.0000 -94.7426 163.17%
3346.54/3355.15 c 3355 20178 13972 1 -36.0000 -94.7426 163.17%
3351.92/3360.57 c 3361 20287 14029 1 -36.0000 -94.7426 163.17%
3357.80/3366.49 c 3366 20408 14090 1 -36.0000 -94.7238 163.12%
3363.79/3372.47 c 3372 20502 14148 1 -36.0000 -94.7205 163.11%
3370.97/3379.64 c 3380 20567 14189 1 -36.0000 -94.7073 163.08%
3376.85/3385.52 c 3386 20638 14224 1 -36.0000 -94.7073 163.08%
3382.44/3391.18 c 3391 20716 14268 1 -36.0000 -94.7073 163.08%
3387.81/3396.59 c 3397 20792 14310 1 -36.0000 -94.7073 163.08%
3393.10/3401.83 c 3402 20833 14331 1 -36.0000 -94.7073 163.08%
3398.39/3407.14 c 3407 20883 14359 1 -36.0000 -94.7073 163.08%
3403.86/3412.64 c 3413 20947 14395 1 -36.0000 -94.7073 163.08%
3410.04/3418.82 c 3419 21050 14444 1 -36.0000 -94.7073 163.08%
3415.82/3424.65 c 3425 21138 14488 1 -36.0000 -94.6811 163.00%
3421.90/3430.70 c 3431 21185 14515 1 -36.0000 -94.6811 163.00%
3427.89/3436.79 c 3437 21213 14531 1 -36.0000 -94.6811 163.00%
3433.68/3442.54 c 3443 21234 14544 1 -36.0000 -94.6811 163.00%
3439.85/3448.75 c 3449 21278 14568 1 -36.0000 -94.6628 162.95%
3446.24/3455.11 c 3455 21322 14592 1 -36.0000 -94.6628 162.95%
3452.22/3461.15 c 3461 21378 14624 1 -36.0000 -94.6628 162.95%
3458.80/3467.73 c 3468 21455 14665 1 -36.0000 -94.6628 162.95%
3464.78/3473.73 c 3474 21545 14713 1 -36.0000 -94.5802 162.72%
3470.56/3479.58 c 3480 21635 14765 1 -36.0000 -94.5802 162.72%
3475.74/3484.80 c 3485 21708 14808 1 -36.0000 -94.5802 162.72%
3480.93/3489.91 c 3490 21767 14841 1 -36.0000 -94.5510 162.64%
3487.70/3496.73 c 3497 21826 14874 1 -36.0000 -94.5510 162.64%
3492.69/3501.77 c 3502 21904 14910 1 -36.0000 -94.4965 162.49%
3498.18/3507.22 c 3507 21961 14939 1 -36.0000 -94.4965 162.49%
3504.06/3513.17 c 3513 22037 14981 1 -36.0000 -94.4965 162.49%
3510.53/3519.64 c 3520 22092 15012 1 -36.0000 -94.4944 162.48%
3516.02/3525.11 c 3525 22169 15057 1 -36.0000 -94.4840 162.46%
3521.20/3530.34 c 3530 22241 15095 1 -36.0000 -94.4636 162.40%
3526.19/3535.37 c 3535 22318 15134 1 -36.0000 -94.4636 162.40%
3532.07/3541.25 c 3541 22395 15175 1 -36.0000 -94.4388 162.33%
3537.75/3546.91 c 3547 22476 15216 1 -36.0000 -94.4349 162.32%
3543.73/3552.94 c 3553 22543 15251 1 -36.0000 -94.4276 162.30%
3550.31/3559.59 c 3560 22614 15288 1 -36.0000 -94.4145 162.26%
3555.59/3564.85 c 3565 22665 15317 1 -36.0000 -94.4145 162.26%
3561.07/3570.36 c 3570 22770 15370 1 -36.0000 -94.3872 162.19%
3568.46/3577.70 c 3578 22834 15402 1 -36.0000 -94.3872 162.19%
3574.44/3583.73 c 3584 22927 15457 1 -36.0000 -94.3854 162.18%
3580.32/3589.67 c 3590 22994 15502 1 -36.0000 -94.3854 162.18%
3586.00/3595.36 c 3595 23072 15552 1 -36.0000 -94.3854 162.18%
3590.88/3600.24 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.88/3600.24 c Total Time : 3600.23
3590.88/3600.24 c solving : 3600.23
3590.88/3600.24 c presolving : 0.23 (included in solving)
3590.88/3600.24 c B&B Tree :
3590.88/3600.24 c nodes (total) : 1
3590.88/3600.24 c Solution :
3590.88/3600.24 c Solutions found : 4
3590.88/3600.24 c Primal Bound : -3.60000000000000e+01
3590.88/3600.24 c Dual Bound : -9.43005508356272e+01
3590.88/3600.24 c Gap : 161.94597 %
3590.88/3600.24 c * Warning: final gap: 1.61946e+00 is greater than SCIPepsilon: 1.00000e-09
3590.88/3600.27 o -36
3590.88/3600.27 s SATISFIABLE
3590.88/3600.27 v -x500 -x499 -x498 -x497 x496 x495 -x494 -x493 -x492 -x491 x490 -x489 x488 -x487 -x486 x485 x484 -x483 -x482 -x481 -x480 x479 -x478
3590.88/3600.27 v -x477 -x476 -x475 -x474 -x473 -x472 x471 x470 x469 x468 -x467 -x466 -x465 -x464 -x463 -x462 x461 -x460 -x459 -x458 -x457
3590.88/3600.27 v x456 -x455 -x454 -x453 -x452 x451 -x450 -x449 -x448 x447 -x446 x445 -x444 -x443 -x442 -x441 x440 -x439 -x438 x437 -x436 -x435
3590.88/3600.27 v -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 x424 x423 -x422 -x421 -x420 x419 x418 -x417 -x416 -x415 x414 -x413
3590.88/3600.27 v -x412 -x411 -x410 -x409 -x408 -x407 x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 x397 -x396 -x395 -x394 -x393 -x392
3590.88/3600.27 v -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371
3590.88/3600.27 v -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350
3590.88/3600.27 v -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329
3590.88/3600.27 v -x328 -x327 -x326 -x325 -x324 -x323 -x322 x321 -x320 -x319 -x318 -x317 -x316 x315 -x314 x313 -x312 -x311 -x310 -x309 -x308
3590.88/3600.27 v -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 x297 x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287
3590.88/3600.27 v -x286 x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266
3590.88/3600.27 v -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245
3590.88/3600.27 v -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224
3590.88/3600.27 v -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203
3590.88/3600.27 v -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 x182
3590.88/3600.27 v -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161
3590.88/3600.27 v -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140
3590.88/3600.27 v -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119
3590.88/3600.27 v -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98
3590.88/3600.27 v -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73
3590.88/3600.27 v -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48
3590.88/3600.27 v -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23
3590.88/3600.27 v -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (59607 MiB free)
memory of node 1: 64510 MiB (53171 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459755-1721939463/watcher-4459755-1721939463 -o /tmp/evaluation-result-4459755-1721939463/solver-4459755-1721939463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721939462-261034 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4459755-1721939463.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=261190, runsolver pid=261185
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 0.12 0.12 0.18 5/264 261195
/proc/meminfo: memFree=115377680/131524600 swapFree=131056796/131071996
[pid=261190] ppid=261185 vsize=82736 memory=72556 CPUtime=0.09 cores=5,7
/proc/261190/stat : 261190 (fscip) R 261185 261190 261021 0 -1 4194304 15971 0 0 0 8 1 0 0 20 0 1 0 30469965 84721664 18139 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
/proc/261190/statm: 20684 18139 2590 3032 0 17084 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 82736 KiB
Current children cumulated memory: 72556 KiB
[startup+0.205929 s]*
/proc/loadavg: 0.12 0.12 0.18 6/266 261197
/proc/meminfo: memFree=115328556/131524600 swapFree=131056796/131071996
[pid=261190] ppid=261185 vsize=112860 memory=99116 CPUtime=0.2 cores=5,7
/proc/261190/stat : 261190 (fscip) R 261185 261190 261021 0 -1 4194304 22573 0 0 0 18 2 0 0 20 0 1 0 30469965 115568640 24779 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
/proc/261190/statm: 28215 24779 2622 3032 0 24615 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 112860 KiB
Current children cumulated memory: 99116 KiB
[startup+0.306131 s]*
/proc/loadavg: 0.12 0.12 0.18 5/266 261197
/proc/meminfo: memFree=115306704/131524600 swapFree=131056796/131071996
[pid=261190] ppid=261185 vsize=119328 memory=105232 CPUtime=0.3 cores=5,7
/proc/261190/stat : 261190 (fscip) R 261185 261190 261021 0 -1 4194304 24148 0 0 0 28 2 0 0 20 0 1 0 30469965 122191872 26308 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
/proc/261190/statm: 29832 26308 2654 3032 0 26232 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 119328 KiB
Current children cumulated memory: 105232 KiB
[startup+0.700289 s]
/proc/loadavg: 0.12 0.12 0.18 6/269 261200
/proc/meminfo: memFree=115262968/131524600 swapFree=131056796/131071996
[pid=261190] ppid=261185 vsize=207896 memory=166296 CPUtime=0.68 cores=5,7
/proc/261190/stat : 261190 (fscip) S 261185 261190 261021 0 -1 1077936128 45491 0 0 0 62 6 0 0 20 0 3 0 30469965 212885504 41574 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
/proc/261190/statm: 51974 41574 2878 3032 0 46359 0
[pid=261190/tid=261198] ppid=261185 vsize=207896 memory=26016 CPUtime=0.29 cores=5,7
/proc/261190/task/261198/stat : 261198 (fscip) R 261185 261190 261021 0 -1 4194368 16843 0 0 0 27 2 0 0 20 0 3 0 30470001 212885504 41574 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
[pid=261190/tid=261199] ppid=261185 vsize=207896 memory=2273 CPUtime=0 cores=5,7
/proc/261190/task/261199/stat : 261199 (fscip) S 261185 261190 261021 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30470005 212885504 41574 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 207896 KiB
Current children cumulated memory: 166296 KiB
[startup+1.50026 s]
/proc/loadavg: 0.12 0.12 0.18 4/261 261209
/proc/meminfo: memFree=115266136/131524600 swapFree=131056796/131071996
[pid=261190] ppid=261185 vsize=273432 memory=178516 CPUtime=1.47 cores=5,7
/proc/261190/stat : 261190 (fscip) S 261185 261190 261021 0 -1 1077936128 56521 0 0 0 140 7 0 0 20 0 3 0 30469965 279994368 44629 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
/proc/261190/statm: 68358 44629 2910 3032 0 51250 0
[pid=261190/tid=261198] ppid=261185 vsize=273432 memory=2273 CPUtime=1.09 cores=5,7
/proc/261190/task/261198/stat : 261198 (fscip) R 261185 261190 261021 0 -1 4194368 27865 0 0 0 106 3 0 0 20 0 3 0 30470001 279994368 44629 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
[pid=261190/tid=261199] ppid=261185 vsize=273432 memory=0 CPUtime=0 cores=5,7
/proc/261190/task/261199/stat : 261199 (fscip) S 261185 261190 261021 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 30470005 279994368 44629 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 273432 KiB
Current children cumulated memory: 178516 KiB
[startup+3.10581 s]
/proc/loadavg: 0.35 0.17 0.19 5/268 261297
/proc/meminfo: memFree=115171284/131524600 swapFree=131056796/131071996
[pid=261190] ppid=261185 vsize=273432 memory=189328 CPUtime=3.08 cores=5,7
/proc/261190/stat : 261190 (fscip) S 261185 261190 261021 0 -1 1077936128 60314 0 0 0 300 8 0 0 20 0 3 0 30469965 279994368 47332 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
/proc/261190/statm: 68358 47332 2910 3032 0 56623 0
[pid=261190/tid=261198] ppid=261185 vsize=273432 memory=180728 CPUtime=2.69 cores=5,7
/proc/261190/task/261198/stat : 261198 (fscip) R 261185 261190 261021 0 -1 4194368 31658 0 0 0 265 4 0 0 20 0 3 0 30470001 279994368 47332 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
[pid=261190/tid=261199] ppid=261185 vsize=273432 memory=64716711 CPUtime=0 cores=5,7
/proc/261190/task/261199/stat : 261199 (fscip) S 261185 261190 261021 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 30470005 279994368 47332 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 273432 KiB
Current children cumulated memory: 189328 KiB
[startup+6.30022 s]
/proc/loadavg: 0.35 0.17 0.19 5/268 261297
/proc/meminfo: memFree=115131396/131524600 swapFree=131056796/131071996
[pid=261190] ppid=261185 vsize=273432 memory=192304 CPUtime=6.26 cores=5,7
/proc/261190/stat : 261190 (fscip) S 261185 261190 261021 0 -1 1077936128 80867 0 0 0 617 9 0 0 20 0 3 0 30469965 279994368 48076 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
/proc/261190/statm: 68358 48076 2910 3032 0 60874 0
[pid=261190/tid=261198] ppid=261185 vsize=273432 memory=189752 CPUtime=5.88 cores=5,7
/proc/261190/task/261198/stat : 261198 (fscip) R 261185 261190 261021 0 -1 4194368 52209 0 0 0 582 6 0 0 20 0 3 0 30470001 279994368 48076 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
[pid=261190/tid=261199] ppid=261185 vsize=273432 memory=13472 CPUtime=0 cores=5,7
/proc/261190/task/261199/stat : 261199 (fscip) S 261185 261190 261021 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 30470005 279994368 48076 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 273432 KiB
Current children cumulated memory: 192304 KiB
[startup+12.7003 s]
/proc/loadavg: 0.91 0.30 0.23 5/268 261346
/proc/meminfo: memFree=114938448/131524600 swapFree=131056796/131071996
[pid=261190] ppid=261185 vsize=273432 memory=197264 CPUtime=12.65 cores=5,7
/proc/261190/stat : 261190 (fscip) S 261185 261190 261021 0 -1 1077936128 92616 0 0 0 1254 11 0 0 20 0 3 0 30469965 279994368 49316 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
/proc/261190/statm: 68358 49316 2910 3032 0 63010 0
[pid=261190/tid=261198] ppid=261185 vsize=273432 memory=189752 CPUtime=12.27 cores=5,7
/proc/261190/task/261198/stat : 261198 (fscip) R 261185 261190 261021 0 -1 4194368 63954 0 0 0 1220 7 0 0 20 0 3 0 30470001 279994368 49316 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
[pid=261190/tid=261199] ppid=261185 vsize=273432 memory=-6154568461736655719 CPUtime=0 cores=5,7
/proc/261190/task/261199/stat : 261199 (fscip) S 261185 261190 261021 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 30470005 279994368 49316 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 273432 KiB
Current children cumulated memory: 197264 KiB
[startup+25.5002 s]
/proc/loadavg: 1.46 0.43 0.28 5/268 261348
/proc/meminfo: memFree=114729332/131524600 swapFree=131056796/131071996
[pid=261190] ppid=261185 vsize=338968 memory=207296 CPUtime=25.41 cores=5,7
/proc/261190/stat : 261190 (fscip) S 261185 261190 261021 0 -1 1077936128 123609 0 0 0 2528 13 0 0 20 0 3 0 30469965 347103232 51824 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
/proc/261190/statm: 84742 51824 2910 3032 0 65566 0
[pid=261190/tid=261198] ppid=261185 vsize=338968 memory=204552 CPUtime=25.03 cores=5,7
/proc/261190/task/261198/stat : 261198 (fscip) R 261185 261190 261021 0 -1 4194368 94943 0 0 0 2494 9 0 0 20 0 3 0 30470001 347103232 51824 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
[pid=261190/tid=261199] ppid=261185 vsize=338968 memory=13472 CPUtime=0 cores=5,7
/proc/261190/task/261199/stat : 261199 (fscip) S 261185 261190 261021 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 30470005 347103232 51824 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 338968 KiB
Current children cumulated memory: 207296 KiB
[startup+51.1058 s]
/proc/loadavg: 2.33 0.72 0.38 5/268 261352
/proc/meminfo: memFree=114622872/131524600 swapFree=131056796/131071996
[pid=261190] ppid=261185 vsize=338968 memory=240948 CPUtime=50.95 cores=5,7
/proc/261190/stat : 261190 (fscip) S 261185 261190 261021 0 -1 1077936128 153621 0 0 0 5080 15 0 0 20 0 3 0 30469965 347103232 60237 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
/proc/261190/statm: 84742 60237 2910 3032 0 74907 0
[pid=261190/tid=261198] ppid=261185 vsize=338968 memory=238580 CPUtime=50.57 cores=5,7
/proc/261190/task/261198/stat : 261198 (fscip) R 261185 261190 261021 0 -1 4194368 124909 0 0 0 5046 11 0 0 20 0 3 0 30470001 347103232 60237 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
[pid=261190/tid=261199] ppid=261185 vsize=338968 memory=240948 CPUtime=0 cores=5,7
/proc/261190/task/261199/stat : 261199 (fscip) S 261185 261190 261021 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 30470005 347103232 60237 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 338968 KiB
Current children cumulated memory: 240948 KiB
[startup+102.3 s]
/proc/loadavg: 3.49 1.32 0.61 5/268 261362
/proc/meminfo: memFree=114465932/131524600 swapFree=131056796/131071996
[pid=261190] ppid=261185 vsize=338968 memory=256536 CPUtime=102.01 cores=5,7
/proc/261190/stat : 261190 (fscip) S 261185 261190 261021 0 -1 1077936128 162373 0 0 0 10185 16 0 0 20 0 3 0 30469965 347103232 64134 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
/proc/261190/statm: 84742 64134 2910 3032 0 74907 0
[pid=261190/tid=261198] ppid=261185 vsize=338968 memory=5468 CPUtime=101.63 cores=5,7
/proc/261190/task/261198/stat : 261198 (fscip) R 261185 261190 261021 0 -1 4194368 133628 0 0 0 10151 12 0 0 20 0 3 0 30470001 347103232 64134 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
[pid=261190/tid=261199] ppid=261185 vsize=338968 memory=248568 CPUtime=0 cores=5,7
/proc/261190/task/261199/stat : 261199 (fscip) S 261185 261190 261021 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 30470005 347103232 64134 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 338968 KiB
Current children cumulated memory: 256536 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 1.84 0.83 5/266 261373
/proc/meminfo: memFree=114335956/131524600 swapFree=131056796/131071996
[pid=261190] ppid=261185 vsize=470040 memory=351100 CPUtime=161.85 cores=5,7
/proc/261190/stat : 261190 (fscip) S 261185 261190 261021 0 -1 1077936128 195820 0 0 0 16165 20 0 0 20 0 3 0 30469965 481320960 87775 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
/proc/261190/statm: 117510 87775 2958 3032 0 104841 0
[pid=261190/tid=261198] ppid=261185 vsize=470040 memory=286972 CPUtime=161.47 cores=5,7
/proc/261190/task/261198/stat : 261198 (fscip) R 261185 261190 261021 0 -1 4194368 167018 0 0 0 16131 16 0 0 20 0 3 0 30470001 481320960 87775 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
[pid=261190/tid=261199] ppid=261185 vsize=470040 memory=325268 CPUtime=0 cores=5,7
/proc/261190/task/261199/stat : 261199 (fscip) S 261185 261190 261021 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 30470005 481320960 87775 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 470040 KiB
Current children cumulated memory: 351100 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.25 1.04 5/266 261383
/proc/meminfo: memFree=114249116/131524600 swapFree=131056796/131071996
[pid=261190] ppid=261185 vsize=535576 memory=402024 CPUtime=221.7 cores=5,7
/proc/261190/stat : 261190 (fscip) S 261185 261190 261021 0 -1 1077936128 219961 0 0 0 22146 24 0 0 20 0 3 0 30469965 548429824 100506 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
/proc/261190/statm: 133894 100506 2974 3032 0 122698 0
[pid=261190/tid=261198] ppid=261185 vsize=535576 memory=401588 CPUtime=221.32 cores=5,7
/proc/261190/task/261198/stat : 261198 (fscip) R 261185 261190 261021 0 -1 4194368 191133 0 0 0 22112 20 0 0 20 0 3 0 30470001 548429824 100506 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
[pid=261190/tid=261199] ppid=261185 vsize=535576 memory=376144 CPUtime=0 cores=5,7
/proc/261190/task/261199/stat : 261199 (fscip) S 261185 261190 261021 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 30470005 548429824 100506 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
################
# More data... #
################
/proc/261190/statm: 397733 372284 2974 3032 0 387068 0
[pid=261190/tid=261198] ppid=261185 vsize=1590932 memory=1389484 CPUtime=3393.03 cores=5,7
/proc/261190/task/261198/stat : 261198 (fscip) R 261185 261190 261021 0 -1 4194368 1194096 0 0 0 339173 130 0 0 20 0 3 0 30470001 1629114368 372284 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
[pid=261190/tid=261199] ppid=261185 vsize=1590932 memory=1489088 CPUtime=0.03 cores=5,7
/proc/261190/task/261199/stat : 261199 (fscip) S 261185 261190 261021 0 -1 1077936192 182 0 0 0 1 2 0 0 20 0 3 0 30470005 1629114368 372284 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
Current children cumulated CPU time: 3393.59 s
Current children cumulated vsize: 1590932 KiB
Current children cumulated memory: 1489136 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.04 5/267 263104
/proc/meminfo: memFree=111316504/131524600 swapFree=131056796/131071996
[pid=261190] ppid=261185 vsize=1590932 memory=1492240 CPUtime=3453.41 cores=5,7
/proc/261190/stat : 261190 (fscip) S 261185 261190 261021 0 -1 1077936128 1229522 0 0 0 345199 142 0 0 20 0 3 0 30469965 1629114368 373060 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
/proc/261190/statm: 397733 373060 2974 3032 0 387416 0
[pid=261190/tid=261198] ppid=261185 vsize=1590932 memory=13472 CPUtime=3452.84 cores=5,7
/proc/261190/task/261198/stat : 261198 (fscip) R 261185 261190 261021 0 -1 4194368 1199552 0 0 0 345153 131 0 0 20 0 3 0 30470001 1629114368 373060 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
[pid=261190/tid=261199] ppid=261185 vsize=1590932 memory=13472 CPUtime=0.03 cores=5,7
/proc/261190/task/261199/stat : 261199 (fscip) S 261185 261190 261021 0 -1 1077936192 184 0 0 0 1 2 0 0 20 0 3 0 30470005 1629114368 373060 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
Current children cumulated CPU time: 3453.41 s
Current children cumulated vsize: 1590932 KiB
Current children cumulated memory: 1492240 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/267 263115
/proc/meminfo: memFree=111258196/131524600 swapFree=131056796/131071996
[pid=261190] ppid=261185 vsize=1656468 memory=1532356 CPUtime=3513.22 cores=5,7
/proc/261190/stat : 261190 (fscip) S 261185 261190 261021 0 -1 1077936128 1245138 0 0 0 351177 145 0 0 20 0 3 0 30469965 1696223232 383089 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
/proc/261190/statm: 414117 383089 2974 3032 0 398081 0
[pid=261190/tid=261198] ppid=261185 vsize=1656468 memory=13472 CPUtime=3512.65 cores=5,7
/proc/261190/task/261198/stat : 261198 (fscip) R 261185 261190 261021 0 -1 4194368 1215148 0 0 0 351132 133 0 0 20 0 3 0 30470001 1696223232 383089 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
[pid=261190/tid=261199] ppid=261185 vsize=1656468 memory=16080 CPUtime=0.03 cores=5,7
/proc/261190/task/261199/stat : 261199 (fscip) S 261185 261190 261021 0 -1 1077936192 186 0 0 0 1 2 0 0 20 0 3 0 30470005 1696223232 383089 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
Current children cumulated CPU time: 3513.22 s
Current children cumulated vsize: 1656468 KiB
Current children cumulated memory: 1532356 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.04 5/265 263182
/proc/meminfo: memFree=111222280/131524600 swapFree=131056796/131071996
[pid=261190] ppid=261185 vsize=1656468 memory=1533832 CPUtime=3573.04 cores=5,7
/proc/261190/stat : 261190 (fscip) S 261185 261190 261021 0 -1 1077936128 1250971 0 0 0 357157 147 0 0 20 0 3 0 30469965 1696223232 383458 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
/proc/261190/statm: 414117 383458 2974 3032 0 398081 0
[pid=261190/tid=261198] ppid=261185 vsize=1656468 memory=76836 CPUtime=3572.46 cores=5,7
/proc/261190/task/261198/stat : 261198 (fscip) R 261185 261190 261021 0 -1 4194368 1220956 0 0 0 357111 135 0 0 20 0 3 0 30470001 1696223232 383458 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
[pid=261190/tid=261199] ppid=261185 vsize=1656468 memory=1533828 CPUtime=0.03 cores=5,7
/proc/261190/task/261199/stat : 261199 (fscip) S 261185 261190 261021 0 -1 1077936192 192 0 0 0 1 2 0 0 20 0 3 0 30470005 1696223232 383458 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
Current children cumulated CPU time: 3573.04 s
Current children cumulated vsize: 1656468 KiB
Current children cumulated memory: 1533832 KiB
[startup+3600.29 s]
# the end of solver process 261190 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.46 s, system=1.52362 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.16 4.12 4.04 5/265 263182
/proc/meminfo: memFree=111222268/131524600 swapFree=131056796/131071996
[pid=261190] ppid=261185 vsize=1656468 memory=1533884 CPUtime=3574.74 cores=5,7
/proc/261190/stat : 261190 (fscip) S 261185 261190 261021 0 -1 1077936128 1251342 0 0 0 357327 147 0 0 20 0 3 0 30469965 1696223232 383471 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
/proc/261190/statm: 414117 383471 2974 3032 0 398081 0
[pid=261190/tid=261198] ppid=261185 vsize=1656468 memory=6720669839490367588 CPUtime=3574.16 cores=5,7
/proc/261190/task/261198/stat : 261198 (fscip) R 261185 261190 261021 0 -1 4194368 1221327 0 0 0 357281 135 0 0 20 0 3 0 30470001 1696223232 383471 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
[pid=261190/tid=261199] ppid=261185 vsize=1656468 memory=-7521149532770753920 CPUtime=0.03 cores=5,7
/proc/261190/task/261199/stat : 261199 (fscip) S 261185 261190 261021 0 -1 1077936192 192 0 0 0 1 2 0 0 20 0 3 0 30470005 1696223232 383471 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
Current children cumulated CPU time: 3574.74 s
Current children cumulated vsize: 1656468 KiB
Current children cumulated memory: 1533884 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.12 4.04 5/264 263182
/proc/meminfo: memFree=111221812/131524600 swapFree=131056796/131071996
[pid=261190] ppid=261185 vsize=1656468 memory=1533964 CPUtime=3581.12 cores=5,7
/proc/261190/stat : 261190 (fscip) S 261185 261190 261021 0 -1 1077936128 1251956 0 0 0 357965 147 0 0 20 0 3 0 30469965 1696223232 383491 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
/proc/261190/statm: 414117 383491 2974 3032 0 398081 0
[pid=261190/tid=261198] ppid=261185 vsize=1656468 memory=1533828 CPUtime=3580.54 cores=5,7
/proc/261190/task/261198/stat : 261198 (fscip) R 261185 261190 261021 0 -1 4194368 1221941 0 0 0 357919 135 0 0 20 0 3 0 30470001 1696223232 383491 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
[pid=261190/tid=261199] ppid=261185 vsize=1656468 memory=1533900 CPUtime=0.03 cores=5,7
/proc/261190/task/261199/stat : 261199 (fscip) S 261185 261190 261021 0 -1 1077936192 192 0 0 0 1 2 0 0 20 0 3 0 30470005 1696223232 383491 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
Current children cumulated CPU time: 3581.12 s
Current children cumulated vsize: 1656468 KiB
Current children cumulated memory: 1533964 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.12 4.04 5/264 263184
/proc/meminfo: memFree=111216784/131524600 swapFree=131056796/131071996
[pid=261190] ppid=261185 vsize=1656468 memory=1534060 CPUtime=3587.49 cores=5,7
/proc/261190/stat : 261190 (fscip) S 261185 261190 261021 0 -1 1077936128 1252639 0 0 0 358602 147 0 0 20 0 3 0 30469965 1696223232 383515 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
/proc/261190/statm: 414117 383515 2974 3032 0 398081 0
[pid=261190/tid=261198] ppid=261185 vsize=1656468 memory=13472 CPUtime=3586.91 cores=5,7
/proc/261190/task/261198/stat : 261198 (fscip) R 261185 261190 261021 0 -1 4194368 1222624 0 0 0 358556 135 0 0 20 0 3 0 30470001 1696223232 383515 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
[pid=261190/tid=261199] ppid=261185 vsize=1656468 memory=164 CPUtime=0.03 cores=5,7
/proc/261190/task/261199/stat : 261199 (fscip) S 261185 261190 261021 0 -1 1077936192 192 0 0 0 1 2 0 0 20 0 3 0 30470005 1696223232 383515 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
Current children cumulated CPU time: 3587.49 s
Current children cumulated vsize: 1656468 KiB
Current children cumulated memory: 1534060 KiB
[startup+3598.4 s]
/proc/loadavg: 4.13 4.12 4.04 5/264 263184
/proc/meminfo: memFree=111216784/131524600 swapFree=131056796/131071996
[pid=261190] ppid=261185 vsize=1656468 memory=1534060 CPUtime=3589.09 cores=5,7
/proc/261190/stat : 261190 (fscip) S 261185 261190 261021 0 -1 1077936128 1252673 0 0 0 358762 147 0 0 20 0 3 0 30469965 1696223232 383515 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
/proc/261190/statm: 414117 383515 2974 3032 0 398081 0
[pid=261190/tid=261198] ppid=261185 vsize=1656468 memory=13472 CPUtime=3588.51 cores=5,7
/proc/261190/task/261198/stat : 261198 (fscip) R 261185 261190 261021 0 -1 4194368 1222658 0 0 0 358716 135 0 0 20 0 3 0 30470001 1696223232 383515 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
[pid=261190/tid=261199] ppid=261185 vsize=1656468 memory=76836 CPUtime=0.03 cores=5,7
/proc/261190/task/261199/stat : 261199 (fscip) S 261185 261190 261021 0 -1 1077936192 192 0 0 0 1 2 0 0 20 0 3 0 30470005 1696223232 383515 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
Current children cumulated CPU time: 3589.09 s
Current children cumulated vsize: 1656468 KiB
Current children cumulated memory: 1534060 KiB
[startup+3599.2 s]
/proc/loadavg: 4.13 4.12 4.04 5/264 263184
/proc/meminfo: memFree=111212212/131524600 swapFree=131056796/131071996
[pid=261190] ppid=261185 vsize=1656468 memory=1534076 CPUtime=3589.89 cores=5,7
/proc/261190/stat : 261190 (fscip) S 261185 261190 261021 0 -1 1077936128 1252964 0 0 0 358842 147 0 0 20 0 3 0 30469965 1696223232 383519 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
/proc/261190/statm: 414117 383519 2974 3032 0 398081 0
[pid=261190/tid=261198] ppid=261185 vsize=1656468 memory=76836 CPUtime=3589.31 cores=5,7
/proc/261190/task/261198/stat : 261198 (fscip) R 261185 261190 261021 0 -1 4194368 1222946 0 0 0 358796 135 0 0 20 0 3 0 30470001 1696223232 383519 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
[pid=261190/tid=261199] ppid=261185 vsize=1656468 memory=12452 CPUtime=0.03 cores=5,7
/proc/261190/task/261199/stat : 261199 (fscip) S 261185 261190 261021 0 -1 1077936192 194 0 0 0 1 2 0 0 20 0 3 0 30470005 1696223232 383519 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
Current children cumulated CPU time: 3589.89 s
Current children cumulated vsize: 1656468 KiB
Current children cumulated memory: 1534076 KiB
[startup+3600 s]*
/proc/loadavg: 4.13 4.12 4.04 5/264 263184
/proc/meminfo: memFree=111212040/131524600 swapFree=131056796/131071996
[pid=261190] ppid=261185 vsize=1656468 memory=1534100 CPUtime=3590.69 cores=5,7
/proc/261190/stat : 261190 (fscip) R 261185 261190 261021 0 -1 1077936128 1253290 0 0 0 358922 147 0 0 20 0 3 0 30469965 1696223232 383525 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
/proc/261190/statm: 414117 383525 2974 3032 0 398081 0
[pid=261190/tid=261198] ppid=261185 vsize=1656468 memory=6720669839490367588 CPUtime=3590.11 cores=5,7
/proc/261190/task/261198/stat : 261198 (fscip) R 261185 261190 261021 0 -1 4194368 1223274 0 0 0 358876 135 0 0 20 0 3 0 30470001 1696223232 383525 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
[pid=261190/tid=261199] ppid=261185 vsize=1656468 memory=-7521149532770753920 CPUtime=0.03 cores=5,7
/proc/261190/task/261199/stat : 261199 (fscip) S 261185 261190 261021 0 -1 1077936192 194 0 0 0 1 2 0 0 20 0 3 0 30470005 1696223232 383525 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
Current children cumulated CPU time: 3590.69 s
Current children cumulated vsize: 1656468 KiB
Current children cumulated memory: 1534100 KiB
[startup+3600.2 s]
/proc/loadavg: 4.13 4.12 4.04 5/264 263184
/proc/meminfo: memFree=111212040/131524600 swapFree=131056796/131071996
[pid=261190] ppid=261185 vsize=1656468 memory=1534100 CPUtime=3590.88 cores=5,7
/proc/261190/stat : 261190 (fscip) S 261185 261190 261021 0 -1 1077936128 1285476 0 0 0 358939 149 0 0 20 0 3 0 30469965 1696223232 383525 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
/proc/261190/statm: 414117 383525 2974 3032 0 398081 0
[pid=261190/tid=261198] ppid=261185 vsize=1656468 memory=19188 CPUtime=3590.3 cores=5,7
/proc/261190/task/261198/stat : 261198 (fscip) R 261185 261190 261021 0 -1 4194368 1255456 0 0 0 358893 137 0 0 20 0 3 0 30470001 1696223232 383525 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
[pid=261190/tid=261199] ppid=261185 vsize=1656468 memory=2216 CPUtime=0.03 cores=5,7
/proc/261190/task/261199/stat : 261199 (fscip) S 261185 261190 261021 0 -1 1077936192 194 0 0 0 1 2 0 0 20 0 3 0 30470005 1696223232 383525 134679101440 4194304 16613245 140727534160928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45555712 140727534162964 140727534163080 140727534163080 140727534170096 0
Current children cumulated CPU time: 3590.88 s
Current children cumulated vsize: 1656468 KiB
Current children cumulated memory: 1534100 KiB
Child status: 0
Real time (s): 3600.29
CPU time (s): 3590.99
CPU user time (s): 3589.46
CPU system time (s): 1.52362
CPU usage (%): 99.7416
Max. virtual memory (cumulated for all children) (KiB): 1656468
Max. memory (cumulated for all children) (KiB): 1534100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.46
system time used= 1.52362
maximum resident set size= 1534100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1287822
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= 8716
involuntary context switches= 4214
# summary of solver processes directly reported to runsolver:
# pid: 261190
# total CPU time (s): 3590.99
# total CPU user time (s): 3589.46
# total CPU system time (s): 1.52362
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.27872 second user time and 15.442 second system time
The end
Begin job on nodeC032 at 2024-07-25 22:31:04
IDJOB=4459755
IDBENCH=148534
IDSOLVER=3064
FILE ID=nodeC032/4459755-1721939463
RUNJOBID= nodeC032-1721939462-261034
SLURM_JOB_ID= 8247252
Free space on /tmp= 890028 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_60_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-4459755-1721939463/watcher-4459755-1721939463 -o /tmp/evaluation-result-4459755-1721939463/solver-4459755-1721939463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721939462-261034 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4459755-1721939463.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2a4ebf3c72122f3b44af8d9c3b5c44b1
RANDOM SEED=1956819754
nodeC032.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 : 3686.271
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.31
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 : 3688.436
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.79
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 : 3676.225
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.31
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 : 3638.930
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.79
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 : 3661.242
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.31
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 : 3664.469
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.79
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 : 3670.526
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.31
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 : 3675.980
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 115486092 kB
MemAvailable: 129612940 kB
Buffers: 319368 kB
Cached: 14595704 kB
SwapCached: 140 kB
Active: 2692440 kB
Inactive: 12664432 kB
Active(anon): 2088 kB
Inactive(anon): 492780 kB
Active(file): 2690352 kB
Inactive(file): 12171652 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131056796 kB
Dirty: 113260 kB
Writeback: 16 kB
AnonPages: 441072 kB
Mapped: 139116 kB
Shmem: 53052 kB
KReclaimable: 208984 kB
Slab: 328340 kB
SReclaimable: 208984 kB
SUnreclaim: 119356 kB
KernelStack: 4096 kB
PageTables: 9936 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 696276 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 19296 kB
HardwareCorrupted: 0 kB
AnonHugePages: 245760 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: 363220 kB
DirectMap2M: 42401792 kB
DirectMap1G: 93323264 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC032 at 2024-07-25 23:31:04