0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.02 c Default LC presolving (default).
0.00/0.02 c ** Before presolving: virtualMemUsedAtLc = 40873984, getVmSize() = 40873984, SCIPgetMemUsed() = 14488387, SCIPgetMemTotal() = 18754451, SCIPgetMemExternEstim() = 9394957
0.00/0.02 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.09/0.19 c ** Estimated virtualMemUsedAtSolver = 42257836, getVmSize() = 78307328, SCIPgetMemUsed() = 36191437, SCIPgetMemTotal() = 53991797, SCIPgetMemExternEstim() = 9394957
0.09/0.19 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.09/0.19 c Original Problem :
0.09/0.19 c Problem name : instance-4464578-1722386679
0.09/0.19 c Variables : 3282 (3282 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.19 c Constraints : 6986
0.09/0.19 c Objective sense : minimize
0.09/0.19 c Presolved Problem :
0.09/0.19 c Variables : 3265 (3265 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.19 c Constraints : 6943
0.09/0.19 c Constraints : Number
0.09/0.19 c setppc : 6942
0.09/0.19 c orbitope : 1
0.09/0.19 c ** Instance transfer method used: 0
0.20/0.22 c ** ParaScipInstance copy increased the number of variables. **
0.20/0.24 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.20/0.24 c Nodes Active
0.20/0.24 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
6.55/6.66 c 7 20 19 1 - 0.0000 -
11.64/11.75 c 12 515 175 1 - 0.0000 -
16.72/16.89 c 17 1500 239 1 - 0.0000 -
21.81/21.99 c 22 2600 309 1 - 0.0000 -
26.89/27.05 c 27 3767 387 1 - 0.0000 -
31.99/32.13 c 32 4879 525 1 - 0.0000 -
37.05/37.26 c 37 6031 601 1 - 0.0000 -
42.14/42.35 c 42 7174 641 1 - 0.0000 -
47.22/47.44 c 47 8307 639 1 - 0.0000 -
52.30/52.53 c 53 9488 702 1 - 0.0000 -
57.29/57.58 c 58 10553 806 1 - 0.0000 -
62.37/62.65 c 63 11594 865 1 - 0.0000 -
67.46/67.77 c 68 12695 897 1 - 0.0000 -
72.54/72.85 c 73 13861 912 1 - 0.0000 -
77.63/77.93 c 78 15006 944 1 - 0.0000 -
82.71/83.02 c 83 16071 948 1 - 0.0000 -
87.71/88.09 c 88 17005 1055 1 - 0.0000 -
92.79/93.16 c 93 17999 1162 1 - 0.0000 -
97.86/98.25 c 98 18966 1166 1 - 0.0000 -
102.94/103.33 c 103 19908 1207 1 - 0.0000 -
108.03/108.43 c 108 20874 1297 1 - 0.0000 -
113.01/113.50 c 114 21763 1310 1 - 0.0000 -
118.20/118.65 c 119 22779 1352 1 - 0.0000 -
123.28/123.71 c 124 23694 1457 1 - 0.0000 -
128.26/128.76 c 129 24712 1484 1 - 0.0000 -
133.35/133.82 c 134 25649 1574 1 - 0.0000 -
138.43/138.91 c 139 26518 1699 1 - 0.0000 -
143.42/143.98 c 144 27502 1685 1 - 0.0000 -
148.61/149.11 c 149 28476 1709 1 - 0.0000 -
153.59/154.17 c 154 29338 1791 1 - 0.0000 -
158.66/159.23 c 159 30235 1845 1 - 0.0000 -
163.74/164.31 c 164 31067 1973 1 - 0.0000 -
168.73/169.39 c 169 31994 2050 1 - 0.0000 -
173.82/174.47 c 174 32859 2094 1 - 0.0000 -
178.90/179.55 c 180 33754 2160 1 - 0.0000 -
183.98/184.60 c 185 34623 2236 1 - 0.0000 -
189.07/189.73 c 190 35617 2256 1 - 0.0000 -
194.05/194.77 c 195 36431 2291 1 - 0.0000 -
199.13/199.88 c 200 37406 2302 1 - 0.0000 -
204.22/204.97 c 205 38267 2318 1 - 0.0000 -
209.31/210.05 c 210 39232 2397 1 - 0.0000 -
214.38/215.13 c 215 40156 2457 1 - 0.0000 -
219.36/220.19 c 220 41103 2495 1 - 0.0000 -
224.44/225.30 c 225 41913 2520 1 - 0.0000 -
229.61/230.44 c 230 42792 2617 1 - 0.0000 -
234.60/235.49 c 235 43809 2684 1 - 0.0000 -
239.77/240.61 c 241 44683 2711 1 - 0.0000 -
244.86/245.71 c 246 45570 2732 1 - 0.0000 -
250.04/250.98 c 251 46279 2711 1 - 0.0000 -
255.12/256.10 c 256 47371 2711 1 - 0.0000 -
260.21/261.16 c 261 48339 2630 1 - 0.0000 -
265.27/266.25 c 266 49281 2661 1 - 0.0000 -
270.26/271.30 c 271 50316 2652 1 - 0.0000 -
275.34/276.35 c 276 51390 2626 1 - 0.0000 -
280.42/281.41 c 281 52279 2683 1 - 0.0000 -
285.42/286.49 c 286 53256 2651 1 - 0.0000 -
290.50/291.54 c 292 54257 2676 1 - 0.0000 -
295.58/296.65 c 297 55233 2709 1 - 0.0000 -
300.66/301.71 c 302 56124 2755 1 - 0.0000 -
305.65/306.79 c 307 57031 2733 1 - 0.0000 -
310.74/311.87 c 312 58131 2687 1 - 0.0000 -
315.82/316.92 c 317 59477 2704 1 - 0.0000 -
320.80/321.96 c 322 60521 2733 1 - 0.0000 -
325.90/327.02 c 327 61459 2747 1 - 0.0000 -
330.88/332.10 c 332 62364 2781 1 - 0.0000 -
335.97/337.15 c 337 63458 2786 1 - 0.0000 -
341.04/342.27 c 342 64480 2830 1 - 0.0000 -
346.13/347.32 c 347 65596 2832 1 - 0.0000 -
351.11/352.37 c 352 66559 2835 1 - 0.0000 -
356.20/357.45 c 357 67174 3028 1 - 0.0000 -
361.28/362.51 c 363 68033 3139 1 - 0.0000 -
366.26/367.59 c 368 68955 3154 1 - 0.0000 -
371.35/372.69 c 373 69524 3451 1 - 0.0000 -
376.43/377.75 c 378 70271 3653 1 - 0.0000 -
381.51/382.87 c 383 71020 3811 1 - 0.0000 -
386.60/387.97 c 388 71778 4074 1 - 0.0000 -
391.69/393.03 c 393 72620 4239 1 - 0.0000 -
396.77/398.13 c 398 73494 4278 1 - 0.0000 -
401.75/403.19 c 403 74362 4410 1 - 0.0000 -
406.82/408.24 c 408 75277 4493 1 - 0.0000 -
411.91/413.38 c 413 76148 4539 1 - 0.0000 -
417.00/418.46 c 418 76990 4635 1 - 0.0000 -
422.08/423.52 c 424 77868 4687 1 - 0.0000 -
427.06/428.57 c 429 78937 4721 1 - 0.0000 -
432.15/433.62 c 434 79824 4783 1 - 0.0000 -
437.24/438.72 c 439 80651 4805 1 - 0.0000 -
442.22/443.77 c 444 81557 4829 1 - 0.0000 -
447.31/448.84 c 449 82427 4937 1 - 0.0000 -
452.39/453.90 c 454 83295 5032 1 - 0.0000 -
457.37/458.97 c 459 84240 5082 1 - 0.0000 -
462.46/464.08 c 464 85194 5116 1 - 0.0000 -
467.54/469.14 c 469 86119 5131 1 - 0.0000 -
472.61/474.21 c 474 87064 5152 1 - 0.0000 -
477.60/479.27 c 479 88066 5175 1 - 0.0000 -
482.69/484.38 c 484 88972 5204 1 - 0.0000 -
487.77/489.43 c 489 89837 5221 1 - 0.0000 -
492.75/494.49 c 494 90683 5246 1 - 0.0000 -
497.84/499.55 c 500 91544 5274 1 - 0.0000 -
502.92/504.61 c 505 92443 5326 1 - 0.0000 -
508.00/509.73 c 510 93342 5370 1 - 0.0000 -
512.98/514.78 c 515 94277 5381 1 - 0.0000 -
518.06/519.84 c 520 95148 5384 1 - 0.0000 -
523.14/524.90 c 525 96048 5386 1 - 0.0000 -
528.23/530.09 c 530 96768 5432 1 - 0.0000 -
533.32/535.15 c 535 97602 5461 1 - 0.0000 -
538.38/540.22 c 540 98465 5480 1 - 0.0000 -
543.36/545.28 c 545 99334 5492 1 - 0.0000 -
548.44/550.36 c 550 100306 5538 1 - 0.0000 -
553.53/555.45 c 555 101324 5539 1 - 0.0000 -
558.60/560.52 c 561 102247 5548 1 - 0.0000 -
563.68/565.67 c 566 103167 5592 1 - 0.0000 -
568.77/570.74 c 571 103985 5649 1 - 0.0000 -
573.94/575.94 c 576 104858 5670 1 - 0.0000 -
579.03/581.07 c 581 105783 5696 1 - 0.0000 -
584.12/586.15 c 586 106509 5716 1 - 0.0000 -
589.19/591.26 c 591 107426 5737 1 - 0.0000 -
594.27/596.33 c 596 108222 5763 1 - 0.0000 -
599.35/601.49 c 601 109095 5814 1 - 0.0000 -
604.44/606.55 c 607 109910 5862 1 - 0.0000 -
609.52/611.68 c 612 110751 5922 1 - 0.0000 -
614.80/616.94 c 617 111452 5921 1 - 0.0000 -
619.79/621.99 c 622 112305 5989 1 - 0.0000 -
624.88/627.09 c 627 113160 6007 1 - 0.0000 -
629.96/632.15 c 632 114005 6027 1 - 0.0000 -
635.03/637.24 c 637 114863 6045 1 - 0.0000 -
640.12/642.32 c 642 115685 6085 1 - 0.0000 -
645.10/647.39 c 647 116689 6094 1 - 0.0000 -
650.28/652.50 c 652 117499 6130 1 - 0.0000 -
655.27/657.58 c 658 118455 6150 1 - 0.0000 -
660.35/662.64 c 663 119347 6149 1 - 0.0000 -
665.34/667.70 c 668 120144 6154 1 - 0.0000 -
670.42/672.75 c 673 121039 6184 1 - 0.0000 -
675.51/677.86 c 678 121818 6211 1 - 0.0000 -
680.59/682.92 c 683 122556 6252 1 - 0.0000 -
685.58/687.97 c 688 123344 6273 1 - 0.0000 -
690.66/693.04 c 693 124307 6315 1 - 0.0000 -
695.75/698.14 c 698 125110 6359 1 - 0.0000 -
700.83/703.27 c 703 125972 6367 1 - 0.0000 -
705.91/708.33 c 708 126764 6365 1 - 0.0000 -
711.00/713.48 c 713 127546 6393 1 - 0.0000 -
716.18/718.64 c 719 128447 6397 1 - 0.0000 -
721.26/723.75 c 724 129287 6457 1 - 0.0000 -
726.34/728.83 c 729 130153 6515 1 - 0.0000 -
731.43/733.90 c 734 130987 6530 1 - 0.0000 -
736.53/739.02 c 739 131847 6540 1 - 0.0000 -
741.51/744.09 c 744 132690 6551 1 - 0.0000 -
746.60/749.16 c 749 133557 6591 1 - 0.0000 -
751.66/754.28 c 754 134408 6617 1 - 0.0000 -
756.76/759.33 c 759 135290 6650 1 - 0.0000 -
761.74/764.39 c 764 136149 6661 1 - 0.0000 -
766.92/769.51 c 770 137066 6666 1 - 0.0000 -
772.00/774.67 c 775 137872 6694 1 - 0.0000 -
777.09/779.72 c 780 138698 6717 1 - 0.0000 -
782.17/784.86 c 785 139490 6769 1 - 0.0000 -
787.26/789.93 c 790 140385 6781 1 - 0.0000 -
792.34/795.08 c 795 141354 6846 1 - 0.0000 -
797.43/800.15 c 800 142229 6863 1 - 0.0000 -
802.50/805.26 c 805 143029 6883 1 - 0.0000 -
807.58/810.34 c 810 143728 6886 1 - 0.0000 -
812.67/815.45 c 815 144405 6905 1 - 0.0000 -
817.75/820.59 c 821 145137 6899 1 - 0.0000 -
822.84/825.67 c 826 145924 6952 1 - 0.0000 -
827.92/830.79 c 831 146660 6986 1 - 0.0000 -
833.00/835.85 c 836 147428 6998 1 - 0.0000 -
838.08/840.95 c 841 148249 7020 1 - 0.0000 -
843.17/846.09 c 846 148998 7077 1 - 0.0000 -
848.34/851.26 c 851 149891 7106 1 - 0.0000 -
853.41/856.32 c 856 150733 7153 1 - 0.0000 -
858.50/861.42 c 861 151666 7164 1 - 0.0000 -
864.08/867.11 c 867 152532 7206 1 - 0.0000 -
869.25/872.28 c 872 153353 7223 1 - 0.0000 -
874.34/877.35 c 877 154230 7235 1 - 0.0000 -
879.41/882.40 c 882 155042 7233 1 - 0.0000 -
884.49/887.51 c 888 155910 7268 1 - 0.0000 -
889.58/892.60 c 893 156671 7322 1 - 0.0000 -
894.65/897.72 c 898 157711 7343 1 - 0.0000 -
899.63/902.78 c 903 158664 7261 1 - 0.0000 -
904.72/907.85 c 908 159574 7268 1 - 0.0000 -
909.80/912.90 c 913 160536 7191 1 - 0.0000 -
914.77/917.96 c 918 161541 7067 1 - 0.0000 -
919.86/923.02 c 923 162391 7106 1 - 0.0000 -
924.84/928.09 c 928 163238 7203 1 - 0.0000 -
929.93/933.16 c 933 164098 7249 1 - 0.0000 -
935.00/938.21 c 938 165071 7248 1 - 0.0000 -
940.09/943.35 c 943 165315 19 1 - 0.0000 -
945.27/948.53 c 949 165456 76 1 - 0.0000 -
950.46/953.71 c 954 165894 96 1 - 0.0000 -
955.54/958.83 c 959 166945 121 1 - 0.0000 -
960.53/963.87 c 964 168281 107 1 - 0.0000 -
965.61/968.93 c 969 169541 114 1 - 0.0000 -
970.59/973.98 c 974 170876 115 1 - 0.0000 -
975.67/979.03 c 979 172022 157 1 - 0.0000 -
980.95/984.30 c 984 173185 187 1 - 0.0000 -
985.94/989.35 c 989 174486 194 1 - 0.0000 -
990.92/994.39 c 994 175822 181 1 - 0.0000 -
996.01/999.45 c 999 177188 182 1 - 0.0000 -
1001.09/1004.50 c 1004 178487 194 1 - 0.0000 -
1006.08/1009.56 c 1010 179864 194 1 - 0.0000 -
1011.16/1014.60 c 1015 181201 189 1 - 0.0000 -
1016.24/1019.70 c 1020 182639 229 1 - 0.0000 -
1021.23/1024.75 c 1025 183883 288 1 - 0.0000 -
1026.31/1029.80 c 1030 185257 356 1 - 0.0000 -
1031.29/1034.86 c 1035 186607 347 1 - 0.0000 -
1036.38/1039.91 c 1040 188155 319 1 - 0.0000 -
1041.36/1044.97 c 1045 189640 337 1 - 0.0000 -
1046.45/1050.02 c 1050 190955 337 1 - 0.0000 -
1051.44/1055.06 c 1055 192461 286 1 - 0.0000 -
1056.52/1060.12 c 1060 193915 279 1 - 0.0000 -
1061.50/1065.17 c 1065 195147 273 1 - 0.0000 -
1066.58/1070.22 c 1070 196526 277 1 - 0.0000 -
1071.56/1075.27 c 1075 197932 267 1 - 0.0000 -
1076.65/1080.32 c 1080 199263 267 1 - 0.0000 -
1081.63/1085.37 c 1085 200657 250 1 - 0.0000 -
1086.72/1090.43 c 1090 201913 265 1 - 0.0000 -
1091.80/1095.50 c 1096 203175 248 1 - 0.0000 -
1096.78/1100.55 c 1101 204675 238 1 - 0.0000 -
1101.88/1105.61 c 1106 206159 249 1 - 0.0000 -
1106.85/1110.66 c 1111 207614 220 1 - 0.0000 -
1112.04/1115.86 c 1116 209036 191 1 - 0.0000 -
1117.13/1120.91 c 1121 210513 208 1 - 0.0000 -
1122.11/1125.95 c 1126 211902 181 1 - 0.0000 -
1127.21/1131.04 c 1131 213245 186 1 - 0.0000 -
1132.19/1136.09 c 1136 214815 205 1 - 0.0000 -
1137.27/1141.14 c 1141 216282 171 1 - 0.0000 -
1142.26/1146.19 c 1146 217637 183 1 - 0.0000 -
1147.33/1151.27 c 1151 218967 170 1 - 0.0000 -
1152.41/1156.32 c 1156 220480 164 1 - 0.0000 -
1157.39/1161.37 c 1161 221940 165 1 - 0.0000 -
1162.48/1166.42 c 1166 223370 155 1 - 0.0000 -
1167.47/1171.47 c 1171 224770 149 1 - 0.0000 -
1172.55/1176.53 c 1177 226314 140 1 - 0.0000 -
1177.53/1181.59 c 1182 227777 132 1 - 0.0000 -
1182.62/1186.63 c 1187 229138 151 1 - 0.0000 -
1187.60/1191.68 c 1192 230510 160 1 - 0.0000 -
1192.68/1196.75 c 1197 231993 160 1 - 0.0000 -
1197.67/1201.80 c 1202 233540 173 1 - 0.0000 -
1202.76/1206.86 c 1207 234785 162 1 - 0.0000 -
1207.84/1211.91 c 1212 236039 154 1 - 0.0000 -
1212.83/1216.96 c 1217 237482 154 1 - 0.0000 -
1217.92/1222.02 c 1222 238962 147 1 - 0.0000 -
1222.90/1227.07 c 1227 240376 134 1 - 0.0000 -
1227.98/1232.11 c 1232 241686 126 1 - 0.0000 -
1232.97/1237.17 c 1237 242972 118 1 - 0.0000 -
1238.04/1242.22 c 1242 244281 108 1 - 0.0000 -
1243.02/1247.28 c 1247 245609 116 1 - 0.0000 -
1248.70/1252.96 c 1253 246920 110 1 - 0.0000 -
1253.79/1258.03 c 1258 248124 124 1 - 0.0000 -
1258.77/1263.10 c 1263 249194 146 1 - 0.0000 -
1263.86/1268.15 c 1268 250187 150 1 - 0.0000 -
1268.94/1273.29 c 1273 251169 199 1 - 0.0000 -
1274.02/1278.35 c 1278 252217 194 1 - 0.0000 -
1279.10/1283.41 c 1283 253086 250 1 - 0.0000 -
1284.18/1288.50 c 1288 254058 289 1 - 0.0000 -
1289.17/1293.59 c 1294 254900 360 1 - 0.0000 -
1294.26/1298.67 c 1299 255943 365 1 - 0.0000 -
1299.34/1303.72 c 1304 256865 376 1 - 0.0000 -
1304.32/1308.78 c 1309 257854 350 1 - 0.0000 -
1309.41/1313.83 c 1314 258975 342 1 - 0.0000 -
1314.38/1318.88 c 1319 260052 324 1 - 0.0000 -
1319.47/1323.93 c 1324 261090 332 1 - 0.0000 -
1324.46/1328.98 c 1329 262103 327 1 - 0.0000 -
1329.55/1334.04 c 1334 263110 315 1 - 0.0000 -
1334.53/1339.09 c 1339 264098 312 1 - 0.0000 -
1339.62/1344.14 c 1344 265203 282 1 - 0.0000 -
1344.60/1349.19 c 1349 266368 254 1 - 0.0000 -
1349.67/1354.24 c 1354 267428 255 1 - 0.0000 -
1354.75/1359.30 c 1359 268519 235 1 - 0.0000 -
1359.74/1364.36 c 1364 269660 192 1 - 0.0000 -
1364.92/1369.51 c 1370 270815 179 1 - 0.0000 -
1369.90/1374.56 c 1375 271903 166 1 - 0.0000 -
1374.98/1379.61 c 1380 272926 166 1 - 0.0000 -
1379.96/1384.66 c 1385 274078 146 1 - 0.0000 -
1385.05/1389.71 c 1390 275368 141 1 - 0.0000 -
1390.03/1394.79 c 1395 276262 119 1 - 0.0000 -
1395.11/1399.84 c 1400 277491 111 1 - 0.0000 -
1400.09/1404.89 c 1405 278701 96 1 - 0.0000 -
1405.18/1409.96 c 1410 279856 99 1 - 0.0000 -
1410.27/1415.03 c 1415 281010 97 1 - 0.0000 -
1415.26/1420.08 c 1420 282146 97 1 - 0.0000 -
1420.42/1425.27 c 1425 283472 80 1 - 0.0000 -
1425.61/1430.44 c 1430 284749 75 1 - 0.0000 -
1430.59/1435.49 c 1435 286057 58 1 - 0.0000 -
1435.67/1440.54 c 1441 287129 64 1 - 0.0000 -
1440.76/1445.60 c 1446 288241 54 1 - 0.0000 -
1445.84/1450.72 c 1451 289347 60 1 - 0.0000 -
1450.83/1455.77 c 1456 290323 71 1 - 0.0000 -
1455.91/1460.82 c 1461 291253 100 1 - 0.0000 -
1460.89/1465.87 c 1466 292216 67 1 - 0.0000 -
1465.98/1471.01 c 1471 293145 71 1 - 0.0000 -
1471.06/1476.05 c 1476 294233 62 1 - 0.0000 -
1476.04/1481.11 c 1481 295268 87 1 - 0.0000 -
1481.22/1486.25 c 1486 296260 117 1 - 0.0000 -
1486.30/1491.39 c 1491 297325 127 1 - 0.0000 -
1491.37/1496.44 c 1496 298393 133 1 - 0.0000 -
1496.36/1501.50 c 1502 299444 135 1 - 0.0000 -
1501.44/1506.55 c 1507 300486 144 1 - 0.0000 -
1506.52/1511.60 c 1512 301589 115 1 - 0.0000 -
1511.50/1516.65 c 1517 302717 102 1 - 0.0000 -
1516.59/1521.70 c 1522 303766 85 1 - 0.0000 -
1521.57/1526.77 c 1527 304758 79 1 - 0.0000 -
1526.65/1531.82 c 1532 305784 81 1 - 0.0000 -
1531.64/1536.88 c 1537 306697 100 1 - 0.0000 -
1536.72/1541.93 c 1542 307786 95 1 - 0.0000 -
1541.71/1546.98 c 1547 308857 67 1 - 0.0000 -
1546.79/1552.03 c 1552 309859 83 1 - 0.0000 -
1551.87/1557.12 c 1557 310857 97 1 - 0.0000 -
1556.86/1562.18 c 1562 311769 83 1 - 0.0000 -
1561.92/1567.23 c 1567 312815 135 1 - 0.0000 -
1566.91/1572.28 c 1572 313756 114 1 - 0.0000 -
1571.99/1577.33 c 1577 314818 100 1 - 0.0000 -
1576.97/1582.38 c 1582 315914 95 1 - 0.0000 -
1582.05/1587.43 c 1587 316909 95 1 - 0.0000 -
1587.13/1592.56 c 1593 317964 101 1 - 0.0000 -
1592.21/1597.60 c 1598 319005 113 1 - 0.0000 -
1597.20/1602.69 c 1603 320047 117 1 - 0.0000 -
1602.28/1607.74 c 1608 321119 128 1 - 0.0000 -
1607.26/1612.79 c 1613 322204 114 1 - 0.0000 -
1612.35/1617.85 c 1618 323232 103 1 - 0.0000 -
1617.33/1622.90 c 1623 324287 117 1 - 0.0000 -
1622.42/1627.96 c 1628 325446 115 1 - 0.0000 -
1627.51/1633.01 c 1633 326479 113 1 - 0.0000 -
1632.49/1638.06 c 1638 327551 116 1 - 0.0000 -
1637.48/1643.11 c 1643 328690 119 1 - 0.0000 -
1642.57/1648.17 c 1648 329770 120 1 - 0.0000 -
1647.64/1653.26 c 1653 330830 136 1 - 0.0000 -
1652.73/1658.31 c 1658 331876 143 1 - 0.0000 -
1657.81/1663.40 c 1663 332861 134 1 - 0.0000 -
1662.79/1668.46 c 1668 333950 116 1 - 0.0000 -
1667.88/1673.50 c 1674 335067 118 1 - 0.0000 -
1672.86/1678.56 c 1679 336152 111 1 - 0.0000 -
1677.95/1683.61 c 1684 337237 109 1 - 0.0000 -
1682.94/1688.66 c 1689 338293 111 1 - 0.0000 -
1688.23/1693.91 c 1694 339385 105 1 - 0.0000 -
1693.21/1698.96 c 1699 340490 118 1 - 0.0000 -
1698.29/1704.01 c 1704 341559 107 1 - 0.0000 -
1703.29/1709.08 c 1709 342619 157 1 - 0.0000 -
1708.37/1714.13 c 1714 343769 111 1 - 0.0000 -
1713.35/1719.18 c 1719 344997 107 1 - 0.0000 -
1718.42/1724.23 c 1724 346231 104 1 - 0.0000 -
1723.51/1729.37 c 1729 347377 105 1 - 0.0000 -
1728.59/1734.41 c 1734 348514 99 1 - 0.0000 -
1733.68/1739.55 c 1740 349571 97 1 - 0.0000 -
1738.87/1744.71 c 1745 350610 90 1 - 0.0000 -
1743.85/1749.76 c 1750 351726 89 1 - 0.0000 -
1748.93/1754.82 c 1755 352848 86 1 - 0.0000 -
1753.92/1759.87 c 1760 353891 94 1 - 0.0000 -
1759.01/1764.92 c 1765 355011 113 1 - 0.0000 -
1764.10/1770.10 c 1770 356132 107 1 - 0.0000 -
1769.19/1775.16 c 1775 357205 95 1 - 0.0000 -
1774.26/1780.21 c 1780 358276 95 1 - 0.0000 -
1779.24/1785.26 c 1785 359328 109 1 - 0.0000 -
1784.33/1790.36 c 1790 360517 93 1 - 0.0000 -
1789.42/1795.41 c 1795 361638 86 1 - 0.0000 -
1794.40/1800.46 c 1800 362675 87 1 - 0.0000 -
1799.48/1805.51 c 1806 363786 133 1 - 0.0000 -
1804.48/1810.56 c 1811 364953 118 1 - 0.0000 -
1809.56/1815.61 c 1816 366076 132 1 - 0.0000 -
1814.54/1820.66 c 1821 367127 141 1 - 0.0000 -
1819.63/1825.72 c 1826 368260 116 1 - 0.0000 -
1824.62/1830.77 c 1831 369398 80 1 - 0.0000 -
1829.70/1835.82 c 1836 370371 102 1 - 0.0000 -
1834.78/1840.95 c 1841 371400 94 1 - 0.0000 -
1839.77/1846.01 c 1846 372363 97 1 - 0.0000 -
1844.86/1851.05 c 1851 373355 114 1 - 0.0000 -
1849.85/1856.10 c 1856 374448 87 1 - 0.0000 -
1854.93/1861.14 c 1861 375504 78 1 - 0.0000 -
1859.99/1866.20 c 1866 376583 69 1 - 0.0000 -
1864.98/1871.25 c 1871 377706 84 1 - 0.0000 -
1870.06/1876.34 c 1876 378722 115 1 - 0.0000 -
1875.04/1881.38 c 1881 379875 88 1 - 0.0000 -
1880.12/1886.43 c 1886 380973 86 1 - 0.0000 -
1885.20/1891.50 c 1892 381994 117 1 - 0.0000 -
1890.18/1896.55 c 1897 383077 80 1 - 0.0000 -
1895.17/1901.60 c 1902 384166 82 1 - 0.0000 -
1900.66/1907.02 c 1907 385162 67 1 - 0.0000 -
1905.64/1912.07 c 1912 386248 67 1 - 0.0000 -
1910.81/1917.21 c 1917 387262 64 1 - 0.0000 -
1915.79/1922.26 c 1922 388355 84 1 - 0.0000 -
1920.87/1927.31 c 1927 389390 71 1 - 0.0000 -
1925.86/1932.36 c 1932 390563 67 1 - 0.0000 -
1930.93/1937.41 c 1937 391665 52 1 - 0.0000 -
1935.91/1942.47 c 1942 392712 67 1 - 0.0000 -
1941.00/1947.54 c 1948 393771 51 1 - 0.0000 -
1945.98/1952.59 c 1953 394887 51 1 - 0.0000 -
1951.06/1957.65 c 1958 395922 70 1 - 0.0000 -
1956.14/1962.70 c 1963 397037 61 1 - 0.0000 -
1961.13/1967.75 c 1968 398178 44 1 - 0.0000 -
1966.20/1972.80 c 1973 399252 39 1 - 0.0000 -
1971.18/1977.85 c 1978 400323 42 1 - 0.0000 -
1976.26/1982.91 c 1983 401342 49 1 - 0.0000 -
1981.24/1987.96 c 1988 402332 48 1 - 0.0000 -
1986.33/1993.02 c 1993 403271 77 1 - 0.0000 -
1991.41/1998.15 c 1998 404207 42 1 - 0.0000 -
1996.48/2003.23 c 2003 405193 38 1 - 0.0000 -
2001.56/2008.32 c 2008 406233 27 1 - 0.0000 -
2006.55/2013.37 c 2013 407229 37 1 - 0.0000 -
2011.62/2018.42 c 2018 408208 32 1 - 0.0000 -
2016.61/2023.47 c 2023 409140 57 1 - 0.0000 -
2021.69/2028.53 c 2029 410060 104 1 - 0.0000 -
2026.77/2033.61 c 2034 411031 207 1 - 0.0000 -
2031.75/2038.67 c 2039 412145 184 1 - 0.0000 -
2036.93/2043.82 c 2044 413200 191 1 - 0.0000 -
2041.92/2048.87 c 2049 414351 135 1 - 0.0000 -
2047.00/2053.93 c 2054 415425 57 1 - 0.0000 -
2051.98/2058.98 c 2059 416402 77 1 - 0.0000 -
2057.07/2064.03 c 2064 417457 78 1 - 0.0000 -
2062.05/2069.09 c 2069 418797 77 1 - 0.0000 -
2067.13/2074.14 c 2074 419927 89 1 - 0.0000 -
2072.12/2079.19 c 2079 420919 78 1 - 0.0000 -
2077.18/2084.24 c 2084 421996 79 1 - 0.0000 -
2082.16/2089.29 c 2089 423103 86 1 - 0.0000 -
2087.24/2094.37 c 2094 424160 125 1 - 0.0000 -
2092.33/2099.44 c 2099 425130 198 1 - 0.0000 -
2097.41/2104.50 c 2104 426207 250 1 - 0.0000 -
2102.39/2109.56 c 2110 427356 266 1 - 0.0000 -
2107.47/2114.65 c 2115 428298 306 1 - 0.0000 -
2112.55/2119.70 c 2120 429187 387 1 - 0.0000 -
2117.54/2124.74 c 2125 430235 310 1 - 0.0000 -
2122.52/2129.80 c 2130 431351 169 1 - 0.0000 -
2127.59/2134.85 c 2135 432419 112 1 - 0.0000 -
2132.68/2139.90 c 2140 433453 126 1 - 0.0000 -
2137.66/2144.95 c 2145 434595 124 1 - 0.0000 -
2142.64/2150.01 c 2150 435616 126 1 - 0.0000 -
2147.73/2155.10 c 2155 436737 150 1 - 0.0000 -
2152.81/2160.15 c 2160 437861 153 1 - 0.0000 -
2157.88/2165.25 c 2165 439027 147 1 - 0.0000 -
2162.86/2170.29 c 2170 440258 135 1 - 0.0000 -
2167.95/2175.35 c 2175 441399 129 1 - 0.0000 -
2172.93/2180.39 c 2180 442507 126 1 - 0.0000 -
2178.00/2185.45 c 2185 443482 130 1 - 0.0000 -
2182.99/2190.50 c 2190 444604 155 1 - 0.0000 -
2188.07/2195.55 c 2196 445723 146 1 - 0.0000 -
2193.05/2200.60 c 2201 446880 139 1 - 0.0000 -
2198.13/2205.65 c 2206 448023 138 1 - 0.0000 -
2203.22/2210.70 c 2211 448968 141 1 - 0.0000 -
2208.20/2215.75 c 2216 450043 142 1 - 0.0000 -
2213.27/2220.84 c 2221 451128 140 1 - 0.0000 -
2218.26/2225.89 c 2226 452254 182 1 - 0.0000 -
2223.33/2230.94 c 2231 453359 160 1 - 0.0000 -
2228.32/2235.98 c 2236 454418 170 1 - 0.0000 -
2233.41/2241.04 c 2241 455506 178 1 - 0.0000 -
2238.39/2246.09 c 2246 456542 179 1 - 0.0000 -
2243.47/2251.14 c 2251 457525 171 1 - 0.0000 -
2248.53/2256.20 c 2256 458430 187 1 - 0.0000 -
2253.52/2261.24 c 2261 459459 193 1 - 0.0000 -
2258.60/2266.30 c 2266 460503 200 1 - 0.0000 -
2263.58/2271.37 c 2271 461463 183 1 - 0.0000 -
2268.66/2276.43 c 2276 462653 191 1 - 0.0000 -
2273.64/2281.48 c 2281 463707 197 1 - 0.0000 -
2278.73/2286.53 c 2287 464730 193 1 - 0.0000 -
2283.71/2291.58 c 2292 465817 198 1 - 0.0000 -
2288.78/2296.64 c 2297 466887 184 1 - 0.0000 -
2293.87/2301.72 c 2302 467887 188 1 - 0.0000 -
2298.85/2306.77 c 2307 468955 201 1 - 0.0000 -
2303.93/2311.82 c 2312 469989 191 1 - 0.0000 -
2308.91/2316.87 c 2317 470994 210 1 - 0.0000 -
2314.00/2321.92 c 2322 472048 179 1 - 0.0000 -
2318.98/2326.97 c 2327 472895 205 1 - 0.0000 -
2324.06/2332.03 c 2332 473827 219 1 - 0.0000 -
2329.04/2337.08 c 2337 474908 220 1 - 0.0000 -
2334.13/2342.14 c 2342 476018 213 1 - 0.0000 -
2339.11/2347.19 c 2347 477140 215 1 - 0.0000 -
2344.17/2352.25 c 2352 478302 246 1 - 0.0000 -
2349.26/2357.30 c 2357 479490 245 1 - 0.0000 -
2354.23/2362.39 c 2362 480634 238 1 - 0.0000 -
2359.32/2367.44 c 2367 481673 240 1 - 0.0000 -
2364.30/2372.49 c 2372 482671 234 1 - 0.0000 -
2369.39/2377.54 c 2378 483778 247 1 - 0.0000 -
2374.46/2382.60 c 2383 484704 271 1 - 0.0000 -
2379.44/2387.66 c 2388 485693 274 1 - 0.0000 -
2384.53/2392.71 c 2393 486747 271 1 - 0.0000 -
2389.51/2397.76 c 2398 487790 258 1 - 0.0000 -
2394.59/2402.81 c 2403 488840 264 1 - 0.0000 -
2399.57/2407.86 c 2408 489925 246 1 - 0.0000 -
2404.66/2412.91 c 2413 490968 258 1 - 0.0000 -
2409.63/2417.97 c 2418 492007 261 1 - 0.0000 -
2414.71/2423.02 c 2423 493089 252 1 - 0.0000 -
2419.70/2428.07 c 2428 494166 249 1 - 0.0000 -
2424.78/2433.12 c 2433 495190 265 1 - 0.0000 -
2429.96/2438.35 c 2438 496217 261 1 - 0.0000 -
2435.05/2443.44 c 2443 497141 259 1 - 0.0000 -
2440.03/2448.49 c 2448 498122 271 1 - 0.0000 -
2445.11/2453.54 c 2454 499176 266 1 - 0.0000 -
2450.09/2458.59 c 2459 500236 267 1 - 0.0000 -
2455.17/2463.65 c 2464 501244 284 1 - 0.0000 -
2460.25/2468.70 c 2469 502242 272 1 - 0.0000 -
2465.34/2473.81 c 2474 503157 292 1 - 0.0000 -
2470.32/2478.85 c 2479 504208 290 1 - 0.0000 -
2475.40/2483.91 c 2484 505332 288 1 - 0.0000 -
2480.38/2488.96 c 2489 506391 301 1 - 0.0000 -
2485.36/2494.01 c 2494 507554 287 1 - 0.0000 -
2490.45/2499.06 c 2499 508651 301 1 - 0.0000 -
2495.43/2504.11 c 2504 509796 298 1 - 0.0000 -
2500.51/2509.19 c 2509 510895 303 1 - 0.0000 -
2505.58/2514.24 c 2514 512093 313 1 - 0.0000 -
2510.66/2519.31 c 2519 513148 307 1 - 0.0000 -
2515.65/2524.36 c 2524 514351 308 1 - 0.0000 -
2520.73/2529.41 c 2529 515493 308 1 - 0.0000 -
2525.71/2534.46 c 2534 516557 324 1 - 0.0000 -
2530.79/2539.51 c 2540 517682 306 1 - 0.0000 -
2535.77/2544.56 c 2545 518786 299 1 - 0.0000 -
2540.85/2549.61 c 2550 519751 321 1 - 0.0000 -
2545.83/2554.66 c 2555 520752 331 1 - 0.0000 -
2551.02/2559.81 c 2560 521790 306 1 - 0.0000 -
2556.00/2564.86 c 2565 522873 296 1 - 0.0000 -
2561.08/2569.91 c 2570 523978 273 1 - 0.0000 -
2566.06/2574.96 c 2575 525115 264 1 - 0.0000 -
2571.03/2580.01 c 2580 526288 255 1 - 0.0000 -
2576.14/2585.06 c 2585 527421 260 1 - 0.0000 -
2581.11/2590.11 c 2590 528544 260 1 - 0.0000 -
2586.19/2595.16 c 2595 529668 257 1 - 0.0000 -
2591.26/2600.21 c 2600 530773 283 1 - 0.0000 -
2596.24/2605.26 c 2605 531778 253 1 - 0.0000 -
2601.32/2610.31 c 2610 532744 269 1 - 0.0000 -
2606.31/2615.36 c 2615 533673 276 1 - 0.0000 -
2611.39/2620.41 c 2620 534665 268 1 - 0.0000 -
2616.37/2625.47 c 2625 535743 269 1 - 0.0000 -
2621.45/2630.52 c 2631 536871 263 1 - 0.0000 -
2626.43/2635.57 c 2636 537975 265 1 - 0.0000 -
2631.51/2640.62 c 2641 539026 256 1 - 0.0000 -
2636.50/2645.68 c 2646 540118 261 1 - 0.0000 -
2641.68/2650.80 c 2651 541260 250 1 - 0.0000 -
2646.65/2655.85 c 2656 542202 292 1 - 0.0000 -
2651.74/2660.90 c 2661 543155 282 1 - 0.0000 -
2656.72/2665.95 c 2666 544118 256 1 - 0.0000 -
2661.70/2671.01 c 2671 545132 261 1 - 0.0000 -
2666.89/2676.19 c 2676 546161 270 1 - 0.0000 -
2671.96/2681.24 c 2681 547109 281 1 - 0.0000 -
2677.04/2686.30 c 2686 548048 276 1 - 0.0000 -
2682.02/2691.35 c 2691 549098 280 1 - 0.0000 -
2687.10/2696.40 c 2696 550195 271 1 - 0.0000 -
2692.08/2701.44 c 2701 551255 271 1 - 0.0000 -
2697.17/2706.56 c 2707 552267 278 1 - 0.0000 -
2702.25/2711.62 c 2712 553297 269 1 - 0.0000 -
2707.23/2716.68 c 2717 554259 280 1 - 0.0000 -
2712.31/2721.73 c 2722 555299 284 1 - 0.0000 -
2717.30/2726.78 c 2727 556374 286 1 - 0.0000 -
2722.38/2731.83 c 2732 557489 286 1 - 0.0000 -
2727.37/2736.88 c 2737 558624 298 1 - 0.0000 -
2732.45/2741.93 c 2742 559862 292 1 - 0.0000 -
2737.45/2746.98 c 2747 560980 293 1 - 0.0000 -
2742.53/2752.03 c 2752 562161 299 1 - 0.0000 -
2747.51/2757.10 c 2757 563287 296 1 - 0.0000 -
2752.61/2762.15 c 2762 564538 296 1 - 0.0000 -
2757.68/2767.20 c 2767 565812 316 1 - 0.0000 -
2762.67/2772.25 c 2772 567061 308 1 - 0.0000 -
2767.75/2777.30 c 2777 568277 307 1 - 0.0000 -
2772.74/2782.35 c 2782 569585 299 1 - 0.0000 -
2777.92/2787.59 c 2788 570797 303 1 - 0.0000 -
2783.02/2792.64 c 2793 571997 298 1 - 0.0000 -
2788.00/2797.69 c 2798 573278 288 1 - 0.0000 -
2793.08/2802.73 c 2803 574523 294 1 - 0.0000 -
2798.17/2807.81 c 2808 575711 274 1 - 0.0000 -
2803.26/2812.93 c 2813 576907 276 1 - 0.0000 -
2808.25/2817.98 c 2818 578187 281 1 - 0.0000 -
2813.35/2823.06 c 2823 579530 268 1 - 0.0000 -
2818.33/2828.11 c 2828 580699 261 1 - 0.0000 -
2823.41/2833.16 c 2833 581988 266 1 - 0.0000 -
2828.49/2838.25 c 2838 583237 264 1 - 0.0000 -
2833.47/2843.30 c 2843 584422 263 1 - 0.0000 -
2838.57/2848.35 c 2848 585665 261 1 - 0.0000 -
2843.65/2853.41 c 2853 586845 259 1 - 0.0000 -
2848.74/2858.56 c 2859 588015 250 1 - 0.0000 -
2853.83/2863.61 c 2864 589276 235 1 - 0.0000 -
2858.82/2868.66 c 2869 590536 232 1 - 0.0000 -
2863.90/2873.73 c 2874 591837 252 1 - 0.0000 -
2868.89/2878.79 c 2879 593182 259 1 - 0.0000 -
2873.97/2883.84 c 2884 594379 238 1 - 0.0000 -
2878.96/2888.89 c 2889 595673 238 1 - 0.0000 -
2884.16/2894.04 c 2894 596948 248 1 - 0.0000 -
2889.14/2899.09 c 2899 598086 248 1 - 0.0000 -
2894.23/2904.14 c 2904 599317 247 1 - 0.0000 -
2899.31/2909.20 c 2909 600464 247 1 - 0.0000 -
2904.29/2914.25 c 2914 601707 239 1 - 0.0000 -
2909.38/2919.30 c 2919 602970 232 1 - 0.0000 -
2914.37/2924.35 c 2924 604328 234 1 - 0.0000 -
2919.46/2929.43 c 2929 605698 234 1 - 0.0000 -
2924.44/2934.48 c 2934 607041 232 1 - 0.0000 -
2929.53/2939.53 c 2940 608440 230 1 - 0.0000 -
2934.61/2944.60 c 2945 609848 229 1 - 0.0000 -
2939.60/2949.65 c 2950 611135 229 1 - 0.0000 -
2944.68/2954.70 c 2955 612362 233 1 - 0.0000 -
2949.67/2959.75 c 2960 613514 237 1 - 0.0000 -
2954.97/2965.04 c 2965 614730 241 1 - 0.0000 -
2959.95/2970.09 c 2970 615953 280 1 - 0.0000 -
2965.04/2975.14 c 2975 617109 247 1 - 0.0000 -
2970.12/2980.29 c 2980 618214 262 1 - 0.0000 -
2975.21/2985.34 c 2985 619510 242 1 - 0.0000 -
2980.19/2990.39 c 2990 620753 244 1 - 0.0000 -
2985.28/2995.46 c 2995 622089 252 1 - 0.0000 -
2990.36/3000.51 c 3001 623446 246 1 - 0.0000 -
2995.35/3005.55 c 3006 624612 222 1 - 0.0000 -
3000.63/3010.82 c 3011 625696 228 1 - 0.0000 -
3005.62/3015.87 c 3016 626891 222 1 - 0.0000 -
3010.70/3020.95 c 3021 628170 199 1 - 0.0000 -
3015.70/3026.01 c 3026 629487 203 1 - 0.0000 -
3020.79/3031.05 c 3031 630691 200 1 - 0.0000 -
3025.77/3036.10 c 3036 631904 192 1 - 0.0000 -
3030.87/3041.15 c 3041 633198 174 1 - 0.0000 -
3035.94/3046.20 c 3046 634442 186 1 - 0.0000 -
3040.93/3051.25 c 3051 635649 187 1 - 0.0000 -
3046.01/3056.39 c 3056 636821 186 1 - 0.0000 -
3051.20/3061.50 c 3062 637969 186 1 - 0.0000 -
3056.19/3066.55 c 3067 639068 228 1 - 0.0000 -
3061.28/3071.60 c 3072 640264 217 1 - 0.0000 -
3066.36/3076.70 c 3077 641428 192 1 - 0.0000 -
3071.35/3081.75 c 3082 642616 181 1 - 0.0000 -
3076.44/3086.80 c 3087 643822 193 1 - 0.0000 -
3081.43/3091.88 c 3092 645114 182 1 - 0.0000 -
3086.52/3096.93 c 3097 646282 176 1 - 0.0000 -
3091.61/3102.02 c 3102 647565 161 1 - 0.0000 -
3096.69/3107.18 c 3107 648757 162 1 - 0.0000 -
3101.77/3112.23 c 3112 650031 139 1 - 0.0000 -
3106.76/3117.28 c 3117 651262 130 1 - 0.0000 -
3111.85/3122.33 c 3122 652483 142 1 - 0.0000 -
3116.83/3127.38 c 3127 653748 141 1 - 0.0000 -
3122.22/3132.75 c 3133 655002 145 1 - 0.0000 -
3127.30/3137.80 c 3138 656259 134 1 - 0.0000 -
3132.29/3142.84 c 3143 657513 121 1 - 0.0000 -
3137.38/3147.90 c 3148 658825 125 1 - 0.0000 -
3142.36/3152.95 c 3153 660100 108 1 - 0.0000 -
3147.47/3158.02 c 3158 661400 102 1 - 0.0000 -
3152.55/3163.13 c 3163 662637 89 1 - 0.0000 -
3157.63/3168.24 c 3168 663807 86 1 - 0.0000 -
3162.61/3173.29 c 3173 665055 89 1 - 0.0000 -
3167.70/3178.34 c 3178 666297 82 1 - 0.0000 -
3172.78/3183.45 c 3183 667478 68 1 - 0.0000 -
3177.88/3188.52 c 3189 668769 40 1 - 0.0000 -
3182.86/3193.56 c 3194 670062 22 1 - 0.0000 -
3188.04/3198.74 c 3199 671417 25 1 - 0.0000 -
3193.03/3203.79 c 3204 672798 25 1 - 0.0000 -
3198.12/3208.88 c 3209 673750 26 1 - 0.0000 -
3203.20/3213.93 c 3214 675016 32 1 - 0.0000 -
3208.19/3218.98 c 3219 676268 35 1 - 0.0000 -
3213.29/3224.05 c 3224 677917 38 1 - 0.0000 -
3218.37/3229.16 c 3229 679329 37 1 - 0.0000 -
3223.45/3234.22 c 3234 680631 56 1 - 0.0000 -
3228.43/3239.27 c 3239 681915 53 1 - 0.0000 -
3233.53/3244.32 c 3244 683265 62 1 - 0.0000 -
3238.51/3249.38 c 3249 685057 78 1 - 0.0000 -
3243.59/3254.44 c 3254 687431 81 1 - 0.0000 -
3248.69/3259.50 c 3260 688893 94 1 - 0.0000 -
3253.67/3264.55 c 3265 690113 95 1 - 0.0000 -
3258.76/3269.60 c 3270 691591 107 1 - 0.0000 -
3263.74/3274.64 c 3275 693326 101 1 - 0.0000 -
3268.83/3279.70 c 3280 694931 102 1 - 0.0000 -
3273.82/3284.76 c 3285 696344 108 1 - 0.0000 -
3278.90/3289.80 c 3290 697741 102 1 - 0.0000 -
3283.88/3294.86 c 3295 699131 82 1 - 0.0000 -
3288.98/3299.91 c 3300 700686 77 1 - 0.0000 -
3293.96/3304.96 c 3305 702094 65 1 - 0.0000 -
3299.06/3310.01 c 3310 703615 54 1 - 0.0000 -
3304.04/3315.07 c 3315 705023 58 1 - 0.0000 -
3309.13/3320.17 c 3320 706398 63 1 - 0.0000 -
3314.21/3325.22 c 3325 707865 64 1 - 0.0000 -
3319.19/3330.27 c 3330 709292 58 1 - 0.0000 -
3324.29/3335.32 c 3335 710610 54 1 - 0.0000 -
3329.27/3340.37 c 3340 711895 62 1 - 0.0000 -
3334.35/3345.43 c 3345 713150 48 1 - 0.0000 -
3339.34/3350.48 c 3350 714306 73 1 - 0.0000 -
3344.43/3355.54 c 3356 715429 59 1 - 0.0000 -
3349.41/3360.58 c 3361 716406 59 1 - 0.0000 -
3354.51/3365.67 c 3366 717420 82 1 - 0.0000 -
3359.59/3370.73 c 3371 718602 56 1 - 0.0000 -
3364.58/3375.78 c 3376 719837 50 1 - 0.0000 -
3369.66/3380.82 c 3381 721214 72 1 - 0.0000 -
3374.65/3385.88 c 3386 722490 57 1 - 0.0000 -
3379.74/3390.93 c 3391 723739 63 1 - 0.0000 -
3384.72/3395.98 c 3396 725041 67 1 - 0.0000 -
3389.82/3401.03 c 3401 726258 61 1 - 0.0000 -
3394.81/3406.09 c 3406 727491 66 1 - 0.0000 -
3399.89/3411.14 c 3411 728825 69 1 - 0.0000 -
3404.88/3416.19 c 3416 730037 74 1 - 0.0000 -
3410.46/3421.78 c 3422 731290 72 1 - 0.0000 -
3415.54/3426.84 c 3427 732570 65 1 - 0.0000 -
3420.53/3431.89 c 3432 733819 79 1 - 0.0000 -
3425.61/3436.94 c 3437 735077 69 1 - 0.0000 -
3430.60/3441.99 c 3442 736307 67 1 - 0.0000 -
3435.69/3447.10 c 3447 737540 50 1 - 0.0000 -
3440.79/3452.15 c 3452 738520 57 1 - 0.0000 -
3445.86/3457.23 c 3457 739719 65 1 - 0.0000 -
3450.85/3462.29 c 3462 740953 60 1 - 0.0000 -
3456.04/3467.42 c 3467 742007 66 1 - 0.0000 -
3461.02/3472.47 c 3472 743216 63 1 - 0.0000 -
3466.11/3477.55 c 3478 744330 55 1 - 0.0000 -
3471.19/3482.61 c 3483 745431 51 1 - 0.0000 -
3476.19/3487.66 c 3488 746523 67 1 - 0.0000 -
3481.27/3492.73 c 3493 747507 118 1 - 0.0000 -
3486.26/3497.78 c 3498 748751 100 1 - 0.0000 -
3491.33/3502.83 c 3503 749923 86 1 - 0.0000 -
3496.33/3507.88 c 3508 751175 78 1 - 0.0000 -
3501.41/3512.95 c 3513 752414 77 1 - 0.0000 -
3506.40/3518.01 c 3518 753664 89 1 - 0.0000 -
3511.49/3523.08 c 3523 754947 100 1 - 0.0000 -
3516.59/3528.13 c 3528 756275 85 1 - 0.0000 -
3521.57/3533.17 c 3533 757558 78 1 - 0.0000 -
3526.65/3538.22 c 3538 758835 81 1 - 0.0000 -
3531.63/3543.28 c 3543 760109 98 1 - 0.0000 -
3536.72/3548.32 c 3548 761403 118 1 - 0.0000 -
3541.71/3553.38 c 3553 762577 96 1 - 0.0000 -
3546.79/3558.43 c 3558 763747 102 1 - 0.0000 -
3551.77/3563.48 c 3563 764945 101 1 - 0.0000 -
3556.97/3568.68 c 3569 766060 82 1 - 0.0000 -
3562.05/3573.77 c 3574 767402 96 1 - 0.0000 -
3567.13/3578.85 c 3579 768654 87 1 - 0.0000 -
3572.23/3583.93 c 3584 769899 93 1 - 0.0000 -
3577.21/3588.98 c 3589 771116 95 1 - 0.0000 -
3582.31/3594.03 c 3594 772366 109 1 - 0.0000 -
3586.29/3598.04 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.29/3598.04 c Total Time : 3598.0400
3586.29/3598.04 c solving : 3598.0400
3586.29/3598.04 c presolving : 0.1716 (included in solving)
3586.29/3598.04 c B&B Tree :
3586.29/3598.04 c nodes (total) : 1
3586.29/3598.04 c Solution :
3586.29/3598.04 c Solutions found : 0
3586.29/3598.04 c Primal Bound : -
3586.29/3598.04 c Dual Bound : +0.00000000000000e+00
3586.29/3598.04 c Gap : -
3586.29/3598.06 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (62421 MiB free)
memory of node 1: 64473 MiB (62734 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464578-1722386679/watcher-4464578-1722386679 -o /tmp/evaluation-result-4464578-1722386679/solver-4464578-1722386679 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722378594-28207 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464578-1722386679.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
Current StackSize limit: 8192 KiB
solver pid=33118, runsolver pid=33115
[startup+0.100122 s]*
/proc/loadavg: 4.05 4.15 4.14 5/248 33119
/proc/meminfo: memFree=128133280/131655788 swapFree=131071216/131071996
[pid=33118] ppid=33115 vsize=47560 memory=37040 CPUtime=0.09 cores=1,3
/proc/33118/stat : 33118 (fscip) R 33115 33118 28195 0 -1 4194304 7621 0 0 0 9 0 0 0 20 0 1 0 5038483 48701440 9260 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
/proc/33118/statm: 11890 9260 2726 3035 0 8286 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47560 KiB
Current children cumulated memory: 37040 KiB
[startup+0.208548 s]*
/proc/loadavg: 4.05 4.15 4.14 5/249 33120
/proc/meminfo: memFree=128110160/131655788 swapFree=131071216/131071996
[pid=33118] ppid=33115 vsize=158056 memory=62628 CPUtime=0.2 cores=1,3
/proc/33118/stat : 33118 (fscip) R 33115 33118 28195 0 -1 4194304 14023 0 0 0 18 2 0 0 20 0 2 0 5038483 161849344 15657 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
/proc/33118/statm: 39514 15657 2758 3035 0 19558 0
[pid=33118/tid=33120] ppid=33115 vsize=158056 memory=8505393642823811203 CPUtime=0 cores=1,3
/proc/33118/task/33120/stat : 33120 (fscip) S 33115 33118 28195 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 2 0 5038503 161849344 15657 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 158056 KiB
Current children cumulated memory: 62628 KiB
[startup+0.309113 s]*
/proc/loadavg: 4.05 4.14 4.14 5/250 33121
/proc/meminfo: memFree=128079788/131655788 swapFree=131071216/131071996
[pid=33118] ppid=33115 vsize=181652 memory=90376 CPUtime=0.29 cores=1,3
/proc/33118/stat : 33118 (fscip) S 33115 33118 28195 0 -1 1077936128 20952 0 0 0 26 3 0 0 20 0 3 0 5038483 186011648 22594 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
/proc/33118/statm: 45413 22594 2774 3035 0 28821 0
[pid=33118/tid=33120] ppid=33115 vsize=181652 memory=-5155630210756471685 CPUtime=0.08 cores=1,3
/proc/33118/task/33120/stat : 33120 (fscip) R 33115 33118 28195 0 -1 4194368 6507 0 0 0 7 1 0 0 20 0 3 0 5038503 186011648 22594 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
[pid=33118/tid=33121] ppid=33115 vsize=181652 memory=0 CPUtime=0 cores=1,3
/proc/33118/task/33121/stat : 33121 (fscip) S 33115 33118 28195 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5038507 186011648 22594 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 181652 KiB
Current children cumulated memory: 90376 KiB
[startup+0.700297 s]
/proc/loadavg: 4.05 4.14 4.14 5/250 33121
/proc/meminfo: memFree=128066196/131655788 swapFree=131071216/131071996
[pid=33118] ppid=33115 vsize=185988 memory=105768 CPUtime=0.67 cores=1,3
/proc/33118/stat : 33118 (fscip) S 33115 33118 28195 0 -1 1077936128 24885 0 0 0 63 4 0 0 20 0 3 0 5038483 190451712 26442 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
/proc/33118/statm: 46497 26442 2934 3035 0 32644 0
[pid=33118/tid=33120] ppid=33115 vsize=185988 memory=12624 CPUtime=0.45 cores=1,3
/proc/33118/task/33120/stat : 33120 (fscip) R 33115 33118 28195 0 -1 4194368 10440 0 0 0 44 1 0 0 20 0 3 0 5038503 190451712 26442 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
[pid=33118/tid=33121] ppid=33115 vsize=185988 memory=0 CPUtime=0 cores=1,3
/proc/33118/task/33121/stat : 33121 (fscip) S 33115 33118 28195 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5038507 190451712 26442 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 185988 KiB
Current children cumulated memory: 105768 KiB
[startup+1.50035 s]
/proc/loadavg: 4.05 4.14 4.14 5/250 33121
/proc/meminfo: memFree=128064084/131655788 swapFree=131071216/131071996
[pid=33118] ppid=33115 vsize=187308 memory=107840 CPUtime=1.47 cores=1,3
/proc/33118/stat : 33118 (fscip) S 33115 33118 28195 0 -1 1077936128 27920 0 0 0 143 4 0 0 20 0 3 0 5038483 191803392 26960 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
/proc/33118/statm: 46827 26960 2950 3035 0 33083 0
[pid=33118/tid=33120] ppid=33115 vsize=187308 memory=0 CPUtime=1.25 cores=1,3
/proc/33118/task/33120/stat : 33120 (fscip) R 33115 33118 28195 0 -1 4194368 13475 0 0 0 124 1 0 0 20 0 3 0 5038503 191803392 26960 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
[pid=33118/tid=33121] ppid=33115 vsize=187308 memory=0 CPUtime=0 cores=1,3
/proc/33118/task/33121/stat : 33121 (fscip) S 33115 33118 28195 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5038507 191803392 26960 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 187308 KiB
Current children cumulated memory: 107840 KiB
[startup+3.1128 s]
/proc/loadavg: 4.05 4.14 4.14 5/250 33123
/proc/meminfo: memFree=128044504/131655788 swapFree=131071216/131071996
[pid=33118] ppid=33115 vsize=187452 memory=139468 CPUtime=3.07 cores=1,3
/proc/33118/stat : 33118 (fscip) S 33115 33118 28195 0 -1 1077936128 42093 0 0 0 301 6 0 0 20 0 3 0 5038483 191950848 34867 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
/proc/33118/statm: 46863 34867 2950 3035 0 41352 0
[pid=33118/tid=33120] ppid=33115 vsize=187452 memory=105768 CPUtime=2.85 cores=1,3
/proc/33118/task/33120/stat : 33120 (fscip) R 33115 33118 28195 0 -1 4194368 27658 0 0 0 282 3 0 0 20 0 3 0 5038503 191950848 34867 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
[pid=33118/tid=33121] ppid=33115 vsize=187452 memory=0 CPUtime=0 cores=1,3
/proc/33118/task/33121/stat : 33121 (fscip) S 33115 33118 28195 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5038507 191950848 34867 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 187452 KiB
Current children cumulated memory: 139468 KiB
[startup+6.30036 s]
/proc/loadavg: 4.05 4.14 4.14 5/250 33123
/proc/meminfo: memFree=128015664/131655788 swapFree=131071216/131071996
[pid=33118] ppid=33115 vsize=252988 memory=148516 CPUtime=6.25 cores=1,3
/proc/33118/stat : 33118 (fscip) S 33115 33118 28195 0 -1 1077936128 45542 0 0 0 619 6 0 0 20 0 3 0 5038483 259059712 37129 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
/proc/33118/statm: 63247 37129 2950 3035 0 43594 0
[pid=33118/tid=33120] ppid=33115 vsize=252988 memory=131832 CPUtime=6.03 cores=1,3
/proc/33118/task/33120/stat : 33120 (fscip) R 33115 33118 28195 0 -1 4194368 31077 0 0 0 600 3 0 0 20 0 3 0 5038503 259059712 37129 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
[pid=33118/tid=33121] ppid=33115 vsize=252988 memory=148516 CPUtime=0 cores=1,3
/proc/33118/task/33121/stat : 33121 (fscip) S 33115 33118 28195 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5038507 259059712 37129 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 252988 KiB
Current children cumulated memory: 148516 KiB
[startup+12.7004 s]
/proc/loadavg: 4.04 4.14 4.14 5/250 33123
/proc/meminfo: memFree=127995960/131655788 swapFree=131071216/131071996
[pid=33118] ppid=33115 vsize=253156 memory=165704 CPUtime=12.64 cores=1,3
/proc/33118/stat : 33118 (fscip) S 33115 33118 28195 0 -1 1077936128 78566 0 0 0 1255 9 0 0 20 0 3 0 5038483 259231744 41426 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
/proc/33118/statm: 63289 41426 2998 3035 0 48517 0
[pid=33118/tid=33120] ppid=33115 vsize=253156 memory=122748 CPUtime=12.42 cores=1,3
/proc/33118/task/33120/stat : 33120 (fscip) R 33115 33118 28195 0 -1 4194368 64062 0 0 0 1236 6 0 0 20 0 3 0 5038503 259231744 41426 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
[pid=33118/tid=33121] ppid=33115 vsize=253156 memory=11516 CPUtime=0 cores=1,3
/proc/33118/task/33121/stat : 33121 (fscip) S 33115 33118 28195 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 5038507 259231744 41426 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 253156 KiB
Current children cumulated memory: 165704 KiB
[startup+25.5004 s]
/proc/loadavg: 4.11 4.15 4.14 5/250 33126
/proc/meminfo: memFree=127973272/131655788 swapFree=131071216/131071996
[pid=33118] ppid=33115 vsize=253156 memory=165964 CPUtime=25.38 cores=1,3
/proc/33118/stat : 33118 (fscip) S 33115 33118 28195 0 -1 1077936128 107169 0 0 0 2526 12 0 0 20 0 3 0 5038483 259231744 41491 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
/proc/33118/statm: 63289 41491 2998 3035 0 54094 0
[pid=33118/tid=33120] ppid=33115 vsize=253156 memory=-7595720463122260351 CPUtime=25.17 cores=1,3
/proc/33118/task/33120/stat : 33120 (fscip) R 33115 33118 28195 0 -1 4194368 92609 0 0 0 2507 10 0 0 20 0 3 0 5038503 259231744 41491 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
[pid=33118/tid=33121] ppid=33115 vsize=253156 memory=0 CPUtime=0 cores=1,3
/proc/33118/task/33121/stat : 33121 (fscip) S 33115 33118 28195 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 5038507 259231744 41491 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 253156 KiB
Current children cumulated memory: 165964 KiB
[startup+51.1128 s]
/proc/loadavg: 4.06 4.13 4.14 5/247 33129
/proc/meminfo: memFree=127898240/131655788 swapFree=131071216/131071996
[pid=33118] ppid=33115 vsize=318692 memory=193348 CPUtime=50.92 cores=1,3
/proc/33118/stat : 33118 (fscip) S 33115 33118 28195 0 -1 1077936128 148637 0 0 0 5074 18 0 0 20 0 3 0 5038483 326340608 48337 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
/proc/33118/statm: 79673 48337 2998 3035 0 61588 0
[pid=33118/tid=33120] ppid=33115 vsize=318692 memory=5492 CPUtime=50.69 cores=1,3
/proc/33118/task/33120/stat : 33120 (fscip) R 33115 33118 28195 0 -1 4194368 134000 0 0 0 5054 15 0 0 20 0 3 0 5038503 326340608 48337 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
[pid=33118/tid=33121] ppid=33115 vsize=318692 memory=11516 CPUtime=0 cores=1,3
/proc/33118/task/33121/stat : 33121 (fscip) S 33115 33118 28195 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 5038507 326340608 48337 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 318692 KiB
Current children cumulated memory: 193348 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.13 4.13 5/247 33139
/proc/meminfo: memFree=127793912/131655788 swapFree=131071216/131071996
[pid=33118] ppid=33115 vsize=318924 memory=224608 CPUtime=101.95 cores=1,3
/proc/33118/stat : 33118 (fscip) S 33115 33118 28195 0 -1 1077936128 203366 0 0 0 10170 25 0 0 20 0 3 0 5038483 326578176 56152 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
/proc/33118/statm: 79731 56152 2998 3035 0 69380 0
[pid=33118/tid=33120] ppid=33115 vsize=318924 memory=224528 CPUtime=101.72 cores=1,3
/proc/33118/task/33120/stat : 33120 (fscip) R 33115 33118 28195 0 -1 4194368 188664 0 0 0 10150 22 0 0 20 0 3 0 5038503 326578176 56152 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
[pid=33118/tid=33121] ppid=33115 vsize=318924 memory=11516 CPUtime=0 cores=1,3
/proc/33118/task/33121/stat : 33121 (fscip) S 33115 33118 28195 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 5038507 326578176 56152 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 318924 KiB
Current children cumulated memory: 224608 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.13 5/247 33149
/proc/meminfo: memFree=127620704/131655788 swapFree=131071216/131071996
[pid=33118] ppid=33115 vsize=395564 memory=259924 CPUtime=161.75 cores=1,3
/proc/33118/stat : 33118 (fscip) S 33115 33118 28195 0 -1 1077936128 237645 0 0 0 16144 31 0 0 20 0 3 0 5038483 405057536 64981 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
/proc/33118/statm: 98891 64981 2998 3035 0 81550 0
[pid=33118/tid=33120] ppid=33115 vsize=395564 memory=257184 CPUtime=161.52 cores=1,3
/proc/33118/task/33120/stat : 33120 (fscip) R 33115 33118 28195 0 -1 4194368 222922 0 0 0 16124 28 0 0 20 0 3 0 5038503 405057536 64981 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
[pid=33118/tid=33121] ppid=33115 vsize=395564 memory=259428 CPUtime=0 cores=1,3
/proc/33118/task/33121/stat : 33121 (fscip) S 33115 33118 28195 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 5038507 405057536 64981 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 395564 KiB
Current children cumulated memory: 259924 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 4.11 4.12 5/247 33159
/proc/meminfo: memFree=127462228/131655788 swapFree=131071216/131071996
[pid=33118] ppid=33115 vsize=402460 memory=294288 CPUtime=221.54 cores=1,3
################
# More data... #
################
/proc/33118/statm: 172437 164737 2998 3035 0 168649 0
[pid=33118/tid=33120] ppid=33115 vsize=689748 memory=658912 CPUtime=3390.55 cores=1,3
/proc/33118/task/33120/stat : 33120 (fscip) R 33115 33118 28195 0 -1 4194368 1186863 0 0 0 338784 271 0 0 20 0 3 0 5038503 706301952 164737 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
[pid=33118/tid=33121] ppid=33115 vsize=689748 memory=658948 CPUtime=0.05 cores=1,3
/proc/33118/task/33121/stat : 33121 (fscip) S 33115 33118 28195 0 -1 1077936192 79 0 0 0 1 4 0 0 20 0 3 0 5038507 706301952 164737 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
Current children cumulated CPU time: 3391.1 s
Current children cumulated vsize: 689748 KiB
Current children cumulated memory: 658948 KiB
[startup+3462.3 s]
/proc/loadavg: 1.08 1.62 2.72 2/221 35040
/proc/meminfo: memFree=129304436/131655788 swapFree=131071216/131071996
[pid=33118] ppid=33115 vsize=689748 memory=658972 CPUtime=3450.95 cores=1,3
/proc/33118/stat : 33118 (fscip) S 33115 33118 28195 0 -1 1077936128 1204965 0 0 0 344803 292 0 0 20 0 3 0 5038483 706301952 164743 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
/proc/33118/statm: 172437 164743 2998 3035 0 168649 0
[pid=33118/tid=33120] ppid=33115 vsize=689748 memory=14720 CPUtime=3450.39 cores=1,3
/proc/33118/task/33120/stat : 33120 (fscip) R 33115 33118 28195 0 -1 4194368 1189600 0 0 0 344765 274 0 0 20 0 3 0 5038503 706301952 164743 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
[pid=33118/tid=33121] ppid=33115 vsize=689748 memory=-7595720463122260351 CPUtime=0.05 cores=1,3
/proc/33118/task/33121/stat : 33121 (fscip) S 33115 33118 28195 0 -1 1077936192 79 0 0 0 1 4 0 0 20 0 3 0 5038507 706301952 164743 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
Current children cumulated CPU time: 3450.95 s
Current children cumulated vsize: 689748 KiB
Current children cumulated memory: 658972 KiB
[startup+3522.3 s]
/proc/loadavg: 1.08 1.52 2.62 2/221 35051
/proc/meminfo: memFree=129299580/131655788 swapFree=131071216/131071996
[pid=33118] ppid=33115 vsize=690176 memory=663340 CPUtime=3510.78 cores=1,3
/proc/33118/stat : 33118 (fscip) S 33115 33118 28195 0 -1 1077936128 1210604 0 0 0 350782 296 0 0 20 0 3 0 5038483 706740224 165835 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
/proc/33118/statm: 172544 165835 2998 3035 0 168756 0
[pid=33118/tid=33120] ppid=33115 vsize=690176 memory=658968 CPUtime=3510.23 cores=1,3
/proc/33118/task/33120/stat : 33120 (fscip) R 33115 33118 28195 0 -1 4194368 1195232 0 0 0 350744 279 0 0 20 0 3 0 5038503 706740224 165835 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
[pid=33118/tid=33121] ppid=33115 vsize=690176 memory=-7595720463122260351 CPUtime=0.05 cores=1,3
/proc/33118/task/33121/stat : 33121 (fscip) S 33115 33118 28195 0 -1 1077936192 79 0 0 0 1 4 0 0 20 0 3 0 5038507 706740224 165835 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
Current children cumulated CPU time: 3510.78 s
Current children cumulated vsize: 690176 KiB
Current children cumulated memory: 663340 KiB
[startup+3582.3 s]
/proc/loadavg: 1.07 1.44 2.52 2/221 35061
/proc/meminfo: memFree=129299072/131655788 swapFree=131071216/131071996
[pid=33118] ppid=33115 vsize=690176 memory=663492 CPUtime=3570.62 cores=1,3
/proc/33118/stat : 33118 (fscip) S 33115 33118 28195 0 -1 1077936128 1213461 0 0 0 356763 299 0 0 20 0 3 0 5038483 706740224 165873 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
/proc/33118/statm: 172544 165873 2998 3035 0 168756 0
[pid=33118/tid=33120] ppid=33115 vsize=690176 memory=11516 CPUtime=3570.06 cores=1,3
/proc/33118/task/33120/stat : 33120 (fscip) R 33115 33118 28195 0 -1 4194368 1198081 0 0 0 356725 281 0 0 20 0 3 0 5038503 706740224 165873 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
[pid=33118/tid=33121] ppid=33115 vsize=690176 memory=663424 CPUtime=0.05 cores=1,3
/proc/33118/task/33121/stat : 33121 (fscip) S 33115 33118 28195 0 -1 1077936192 79 0 0 0 1 4 0 0 20 0 3 0 5038507 706740224 165873 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
Current children cumulated CPU time: 3570.62 s
Current children cumulated vsize: 690176 KiB
Current children cumulated memory: 663492 KiB
[startup+3598.07 s]
# the end of solver process 33118 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.34 s, system=3.02138 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.07 1.44 2.52 2/221 35063
/proc/meminfo: memFree=129299024/131655788 swapFree=131071216/131071996
[pid=33118] ppid=33115 vsize=690176 memory=663492 CPUtime=3572.34 cores=1,3
/proc/33118/stat : 33118 (fscip) S 33115 33118 28195 0 -1 1077936128 1213482 0 0 0 356934 300 0 0 20 0 3 0 5038483 706740224 165873 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
/proc/33118/statm: 172544 165873 2998 3035 0 168756 0
[pid=33118/tid=33120] ppid=33115 vsize=690176 memory=-7595720463122260351 CPUtime=3571.77 cores=1,3
/proc/33118/task/33120/stat : 33120 (fscip) R 33115 33118 28195 0 -1 4194368 1198102 0 0 0 356895 282 0 0 20 0 3 0 5038503 706740224 165873 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
[pid=33118/tid=33121] ppid=33115 vsize=690176 memory=-7377923638443278022 CPUtime=0.05 cores=1,3
/proc/33118/task/33121/stat : 33121 (fscip) S 33115 33118 28195 0 -1 1077936192 79 0 0 0 1 4 0 0 20 0 3 0 5038507 706740224 165873 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
Current children cumulated CPU time: 3572.34 s
Current children cumulated vsize: 690176 KiB
Current children cumulated memory: 663492 KiB
[startup+3590.4 s]
/proc/loadavg: 1.07 1.43 2.51 2/221 35063
/proc/meminfo: memFree=129299008/131655788 swapFree=131071216/131071996
[pid=33118] ppid=33115 vsize=690176 memory=663492 CPUtime=3578.71 cores=1,3
/proc/33118/stat : 33118 (fscip) S 33115 33118 28195 0 -1 1077936128 1213489 0 0 0 357571 300 0 0 20 0 3 0 5038483 706740224 165873 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
/proc/33118/statm: 172544 165873 2998 3035 0 168756 0
[pid=33118/tid=33120] ppid=33115 vsize=690176 memory=663492 CPUtime=3578.14 cores=1,3
/proc/33118/task/33120/stat : 33120 (fscip) R 33115 33118 28195 0 -1 4194368 1198109 0 0 0 357532 282 0 0 20 0 3 0 5038503 706740224 165873 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
[pid=33118/tid=33121] ppid=33115 vsize=690176 memory=663492 CPUtime=0.05 cores=1,3
/proc/33118/task/33121/stat : 33121 (fscip) S 33115 33118 28195 0 -1 1077936192 79 0 0 0 1 4 0 0 20 0 3 0 5038507 706740224 165873 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
Current children cumulated CPU time: 3578.71 s
Current children cumulated vsize: 690176 KiB
Current children cumulated memory: 663492 KiB
[startup+3593.6 s]
/proc/loadavg: 1.14 1.44 2.51 2/221 35064
/proc/meminfo: memFree=129298856/131655788 swapFree=131071216/131071996
[pid=33118] ppid=33115 vsize=690176 memory=663588 CPUtime=3581.9 cores=1,3
/proc/33118/stat : 33118 (fscip) S 33115 33118 28195 0 -1 1077936128 1213519 0 0 0 357890 300 0 0 20 0 3 0 5038483 706740224 165897 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
/proc/33118/statm: 172544 165897 2998 3035 0 168756 0
[pid=33118/tid=33120] ppid=33115 vsize=690176 memory=663492 CPUtime=3581.33 cores=1,3
/proc/33118/task/33120/stat : 33120 (fscip) R 33115 33118 28195 0 -1 4194368 1198139 0 0 0 357851 282 0 0 20 0 3 0 5038503 706740224 165897 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
[pid=33118/tid=33121] ppid=33115 vsize=690176 memory=663492 CPUtime=0.05 cores=1,3
/proc/33118/task/33121/stat : 33121 (fscip) S 33115 33118 28195 0 -1 1077936192 79 0 0 0 1 4 0 0 20 0 3 0 5038507 706740224 165897 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
Current children cumulated CPU time: 3581.9 s
Current children cumulated vsize: 690176 KiB
Current children cumulated memory: 663588 KiB
[startup+3595.2 s]
/proc/loadavg: 1.14 1.44 2.51 2/221 35064
/proc/meminfo: memFree=129298876/131655788 swapFree=131071216/131071996
[pid=33118] ppid=33115 vsize=690176 memory=663588 CPUtime=3583.49 cores=1,3
/proc/33118/stat : 33118 (fscip) S 33115 33118 28195 0 -1 1077936128 1213526 0 0 0 358049 300 0 0 20 0 3 0 5038483 706740224 165897 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
/proc/33118/statm: 172544 165897 2998 3035 0 168756 0
[pid=33118/tid=33120] ppid=33115 vsize=690176 memory=5492 CPUtime=3582.92 cores=1,3
/proc/33118/task/33120/stat : 33120 (fscip) R 33115 33118 28195 0 -1 4194368 1198146 0 0 0 358010 282 0 0 20 0 3 0 5038503 706740224 165897 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
[pid=33118/tid=33121] ppid=33115 vsize=690176 memory=1972 CPUtime=0.05 cores=1,3
/proc/33118/task/33121/stat : 33121 (fscip) S 33115 33118 28195 0 -1 1077936192 79 0 0 0 1 4 0 0 20 0 3 0 5038507 706740224 165897 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
Current children cumulated CPU time: 3583.49 s
Current children cumulated vsize: 690176 KiB
Current children cumulated memory: 663588 KiB
[startup+3596.8 s]
/proc/loadavg: 1.13 1.43 2.50 2/221 35064
/proc/meminfo: memFree=129298876/131655788 swapFree=131071216/131071996
[pid=33118] ppid=33115 vsize=690176 memory=663616 CPUtime=3585.09 cores=1,3
/proc/33118/stat : 33118 (fscip) S 33115 33118 28195 0 -1 1077936128 1214522 0 0 0 358209 300 0 0 20 0 3 0 5038483 706740224 165904 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
/proc/33118/statm: 172544 165904 2998 3035 0 168756 0
[pid=33118/tid=33120] ppid=33115 vsize=690176 memory=663492 CPUtime=3584.52 cores=1,3
/proc/33118/task/33120/stat : 33120 (fscip) R 33115 33118 28195 0 -1 4194368 1199141 0 0 0 358170 282 0 0 20 0 3 0 5038503 706740224 165904 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
[pid=33118/tid=33121] ppid=33115 vsize=690176 memory=663460 CPUtime=0.05 cores=1,3
/proc/33118/task/33121/stat : 33121 (fscip) S 33115 33118 28195 0 -1 1077936192 79 0 0 0 1 4 0 0 20 0 3 0 5038507 706740224 165904 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
Current children cumulated CPU time: 3585.09 s
Current children cumulated vsize: 690176 KiB
Current children cumulated memory: 663616 KiB
[startup+3597.6 s]
/proc/loadavg: 1.13 1.43 2.50 2/221 35064
/proc/meminfo: memFree=129298884/131655788 swapFree=131071216/131071996
[pid=33118] ppid=33115 vsize=690176 memory=663616 CPUtime=3585.88 cores=1,3
/proc/33118/stat : 33118 (fscip) S 33115 33118 28195 0 -1 1077936128 1214528 0 0 0 358288 300 0 0 20 0 3 0 5038483 706740224 165904 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
/proc/33118/statm: 172544 165904 2998 3035 0 168756 0
[pid=33118/tid=33120] ppid=33115 vsize=690176 memory=12624 CPUtime=3585.32 cores=1,3
/proc/33118/task/33120/stat : 33120 (fscip) R 33115 33118 28195 0 -1 4194368 1199147 0 0 0 358250 282 0 0 20 0 3 0 5038503 706740224 165904 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
[pid=33118/tid=33121] ppid=33115 vsize=690176 memory=5492 CPUtime=0.05 cores=1,3
/proc/33118/task/33121/stat : 33121 (fscip) S 33115 33118 28195 0 -1 1077936192 79 0 0 0 1 4 0 0 20 0 3 0 5038507 706740224 165904 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
Current children cumulated CPU time: 3585.88 s
Current children cumulated vsize: 690176 KiB
Current children cumulated memory: 663616 KiB
[startup+3598 s]*
/proc/loadavg: 1.13 1.43 2.50 2/221 35064
/proc/meminfo: memFree=129298876/131655788 swapFree=131071216/131071996
[pid=33118] ppid=33115 vsize=690176 memory=663616 CPUtime=3586.29 cores=1,3
/proc/33118/stat : 33118 (fscip) S 33115 33118 28195 0 -1 1077936128 1214606 0 0 0 358329 300 0 0 20 0 3 0 5038483 706740224 165904 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
/proc/33118/statm: 172544 165904 2998 3035 0 168756 0
[pid=33118/tid=33120] ppid=33115 vsize=690176 memory=18616 CPUtime=3585.73 cores=1,3
/proc/33118/task/33120/stat : 33120 (fscip) R 33115 33118 28195 0 -1 4194368 1199225 0 0 0 358291 282 0 0 20 0 3 0 5038503 706740224 165904 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
[pid=33118/tid=33121] ppid=33115 vsize=690176 memory=15028 CPUtime=0.05 cores=1,3
/proc/33118/task/33121/stat : 33121 (fscip) S 33115 33118 28195 0 -1 1077936192 79 0 0 0 1 4 0 0 20 0 3 0 5038507 706740224 165904 134679101440 4194304 16623229 140723230352752 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24813568 140723230356506 140723230356622 140723230356622 140723230363632 0
Current children cumulated CPU time: 3586.29 s
Current children cumulated vsize: 690176 KiB
Current children cumulated memory: 663616 KiB
Child status: 0
Real time (s): 3598.07
CPU time (s): 3586.37
CPU user time (s): 3583.34
CPU system time (s): 3.02138
CPU usage (%): 99.6747
Max. virtual memory (cumulated for all children) (KiB): 690176
Max. memory (cumulated for all children) (KiB): 663616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.34
system time used= 3.02138
maximum resident set size= 666080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1215479
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= 10856
involuntary context switches= 2270
# summary of solver processes directly reported to runsolver:
# pid: 33118
# total CPU time (s): 3586.37
# total CPU user time (s): 3583.34
# total CPU system time (s): 3.02138
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.109 second user time and 34.6701 second system time
The end
Begin job on nodeC007 at 2024-07-31 02:44:39
IDJOB=4464578
IDBENCH=162581
IDSOLVER=3092
FILE ID=nodeC007/4464578-1722386679
RUNJOBID= nodeC007-1722378594-28207
SLURM_JOB_ID= 8249837
Free space on /tmp= 723700 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l060-r059-n1.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-4464578-1722386679/watcher-4464578-1722386679 -o /tmp/evaluation-result-4464578-1722386679/solver-4464578-1722386679 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722378594-28207 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464578-1722386679.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f51b92e6ea4641775f90070f7fcfd036
RANDOM SEED=292526229
nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3672.371
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.187
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.403
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.810
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3640.569
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3666.930
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.371
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.317
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128160412 kB
MemAvailable: 128426892 kB
Buffers: 92108 kB
Cached: 1013800 kB
SwapCached: 100 kB
Active: 253944 kB
Inactive: 2815572 kB
Active(anon): 1492 kB
Inactive(anon): 1983196 kB
Active(file): 252452 kB
Inactive(file): 832376 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 28544 kB
Writeback: 0 kB
AnonPages: 1963460 kB
Mapped: 124356 kB
Shmem: 21076 kB
KReclaimable: 43700 kB
Slab: 120260 kB
SReclaimable: 43700 kB
SUnreclaim: 76560 kB
KernelStack: 3984 kB
PageTables: 13156 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 833368 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6432 kB
HardwareCorrupted: 0 kB
AnonHugePages: 155648 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: 174920 kB
DirectMap2M: 7069696 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 723756 MiB
End job on nodeC007 at 2024-07-31 03:44:37