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.09 c Default LC presolving (default).
0.00/0.09 c ** Before presolving: virtualMemUsedAtLc = 43376640, getVmSize() = 43376640, SCIPgetMemUsed() = 15879108, SCIPgetMemTotal() = 20795908, SCIPgetMemExternEstim() = 13418155
0.00/0.09 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.68/0.78 c ** Estimated virtualMemUsedAtSolver = 68493388, getVmSize() = 114135040, SCIPgetMemUsed() = 46558895, SCIPgetMemTotal() = 89321927, SCIPgetMemExternEstim() = 13418155
0.68/0.78 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.68/0.78 c Original Problem :
0.68/0.78 c Problem name : instance-4464560-1722390380
0.68/0.78 c Variables : 403 (403 binary, 0 integer, 0 implicit integer, 0 continuous)
0.68/0.78 c Constraints : 13065
0.68/0.78 c Objective sense : minimize
0.68/0.78 c Presolved Problem :
0.68/0.78 c Variables : 403 (403 binary, 0 integer, 0 implicit integer, 0 continuous)
0.68/0.78 c Constraints : 13065
0.68/0.78 c Constraints : Number
0.68/0.78 c setppc : 13
0.68/0.78 c logicor : 13052
0.68/0.78 c ** Instance transfer method used: 0
0.77/0.83 c ** ParaScipInstance copy does not increase the number of variables. **
0.77/0.87 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.77/0.87 c Nodes Active
0.77/0.87 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
1.16/1.26 c * 1 0 1 1 13.0000 - -
1.16/1.26 c * 1 0 1 1 12.0000 - -
2.55/2.65 c * 3 0 1 1 8.0000 - -
4.24/4.31 c * 4 0 1 1 6.0000 - -
4.53/4.63 c * 5 0 1 1 5.0000 - -
5.13/5.25 c 5 2 1 1 5.0000 0.0000 -
5.73/5.83 c * 6 2 1 1 4.0000 0.0000 -
6.43/6.57 c * 7 34 33 1 3.0000 0.0000 -
7.04/7.17 c * 7 34 33 1 2.0000 0.0000 -
10.22/10.39 c 10 616 278 1 2.0000 0.0000 -
15.30/15.49 c 16 1468 743 1 2.0000 0.0000 -
20.68/20.82 c 21 2239 1117 1 2.0000 0.0000 -
26.06/26.25 c 26 2622 1314 1 2.0000 0.0000 -
31.14/31.35 c 31 3334 1663 1 2.0000 0.0000 -
37.01/37.27 c 37 3800 1914 1 2.0000 0.0000 -
42.39/42.69 c 43 4364 2176 1 2.0000 0.0000 -
47.96/48.21 c 48 4936 2445 1 2.0000 0.0000 -
53.44/53.72 c 54 5390 2700 1 2.0000 0.0000 -
58.92/59.21 c 59 5650 1 1 2.0000 0.0000 -
64.40/64.74 c 65 6226 161 1 2.0000 0.0000 -
69.70/70.06 c 70 6903 182 1 2.0000 0.0000 -
74.96/75.34 c 75 8011 224 1 2.0000 0.0000 -
80.04/80.41 c 80 8742 360 1 2.0000 0.0000 -
85.41/85.88 c 86 9227 440 1 2.0000 0.0000 -
90.90/91.38 c 91 9624 545 1 2.0000 0.0000 -
96.08/96.56 c 97 9945 620 1 2.0000 0.0000 -
101.26/101.74 c 102 10518 799 1 2.0000 0.0000 -
106.94/107.40 c 107 10898 863 1 2.0000 0.0000 -
113.02/113.54 c 114 11553 1058 1 2.0000 0.0000 -
118.60/119.17 c 119 12081 1230 1 2.0000 0.0000 -
123.78/124.37 c 124 12628 1395 1 2.0000 0.0000 -
129.47/130.06 c 130 12985 1482 1 2.0000 0.0000 -
134.94/135.57 c 136 13435 1637 1 2.0000 0.0000 -
139.92/140.60 c 141 13801 1725 1 2.0000 0.0000 -
145.41/146.02 c 146 14619 1928 1 2.0000 0.0000 -
150.67/151.31 c 151 15178 2013 1 2.0000 0.0000 -
156.15/156.83 c 157 15565 2062 1 2.0000 0.0000 -
161.23/161.92 c 162 15905 2126 1 2.0000 0.0000 -
166.71/167.41 c 167 16440 2278 1 2.0000 0.0000 -
171.80/172.59 c 173 17285 2536 1 2.0000 0.0000 -
177.08/177.83 c 178 18473 2717 1 2.0000 0.0000 -
182.15/182.92 c 183 19590 2875 1 2.0000 0.0000 -
187.23/188.05 c 188 20271 2979 1 2.0000 0.0000 -
193.00/193.85 c 194 20822 3078 1 2.0000 0.0000 -
198.08/199.01 c 199 21841 3303 1 2.0000 0.0000 -
203.76/204.64 c 205 22573 3433 1 2.0000 0.0000 -
208.95/209.87 c 210 23538 3647 1 2.0000 0.0000 -
214.14/215.08 c 215 24539 3882 1 2.0000 0.0000 -
219.91/220.81 c 221 25246 4007 1 2.0000 0.0000 -
225.00/225.98 c 226 25832 4073 1 2.0000 0.0000 -
230.98/231.97 c 232 26249 4152 1 2.0000 0.0000 -
236.96/237.94 c 238 26657 4198 1 2.0000 0.0000 -
242.44/243.46 c 243 27523 4450 1 2.0000 0.0000 -
247.83/248.83 c 249 27902 4557 1 2.0000 0.0000 -
253.41/254.45 c 254 28395 4635 1 2.0000 0.0000 -
259.19/260.21 c 260 29260 4796 1 2.0000 0.0000 -
264.68/265.70 c 266 29911 4873 1 2.0000 0.0000 -
270.56/271.63 c 272 30437 4951 1 2.0000 0.0000 -
276.74/277.83 c 278 30812 4990 1 2.0000 0.0000 -
281.94/283.03 c 283 31923 5234 1 2.0000 0.0000 -
287.21/288.38 c 288 32490 5310 1 2.0000 0.0000 -
292.60/293.78 c 294 33109 5423 1 2.0000 0.0000 -
297.68/298.85 c 299 33981 5556 1 2.0000 0.0000 -
303.36/304.52 c 305 34427 5622 1 2.0000 0.0000 -
308.74/309.91 c 310 34965 5674 1 2.0000 0.0000 -
314.12/315.31 c 315 35368 5746 1 2.0000 0.0000 -
319.42/320.69 c 321 35504 5759 1 2.0000 0.0000 -
325.40/326.64 c 327 35932 5828 1 2.0000 0.0000 -
330.98/332.29 c 332 37176 6061 1 2.0000 0.0000 -
336.67/337.98 c 338 38208 6263 1 2.0000 0.0000 -
342.05/343.39 c 343 39195 6448 1 2.0000 0.0000 -
347.34/348.60 c 349 39479 6510 1 2.0000 0.0000 -
352.32/353.67 c 354 39840 6540 1 2.0000 0.0000 -
357.51/358.88 c 359 40496 6611 1 2.0000 0.0000 -
362.59/363.94 c 364 40881 6669 1 2.0000 0.0000 -
367.88/369.22 c 369 41026 6689 1 2.0000 0.0000 -
372.96/374.38 c 374 41470 6739 1 2.0000 0.0000 -
378.15/379.59 c 380 41892 6787 1 2.0000 0.0000 -
383.53/384.91 c 385 42201 6831 1 2.0000 0.0000 -
389.32/390.73 c 391 42377 6860 1 2.0000 0.0000 -
395.00/396.45 c 396 43214 7022 1 2.0000 0.0000 -
400.18/401.64 c 402 43963 7160 1 2.0000 0.0000 -
405.27/406.79 c 407 44567 7268 1 2.0000 0.0000 -
410.66/412.18 c 412 45138 7379 1 2.0000 0.0000 -
415.83/417.34 c 417 45689 7481 1 2.0000 0.0000 -
421.12/422.64 c 423 46255 7539 1 2.0000 0.0000 -
426.40/427.96 c 428 46868 7611 1 2.0000 0.0000 -
431.67/433.21 c 433 47289 7665 1 2.0000 0.0000 -
437.06/438.60 c 439 47835 7746 1 2.0000 0.0000 -
442.45/444.07 c 444 48333 7801 1 2.0000 0.0000 -
448.61/450.26 c 450 48683 7856 1 2.0000 0.0000 -
454.09/455.70 c 456 48932 7898 1 2.0000 0.0000 -
459.67/461.39 c 461 49428 7992 1 2.0000 0.0000 -
465.37/467.02 c 467 50088 8072 1 2.0000 0.0000 -
470.54/472.23 c 472 50490 8140 1 2.0000 0.0000 -
475.92/477.65 c 478 51247 8243 1 2.0000 0.0000 -
481.21/482.93 c 483 51517 8284 1 2.0000 0.0000 -
487.08/488.80 c 489 52291 8416 1 2.0000 0.0000 -
492.47/494.25 c 494 52817 8508 1 2.0000 0.0000 -
497.95/499.78 c 500 53588 8589 1 2.0000 0.0000 -
503.35/505.15 c 505 54220 8657 1 2.0000 0.0000 -
508.72/510.59 c 511 54808 8687 1 2.0000 0.0000 -
514.60/516.42 c 516 54952 8709 1 2.0000 0.0000 -
519.98/521.83 c 522 55444 8734 1 2.0000 0.0000 -
525.17/527.02 c 527 55893 8811 1 2.0000 0.0000 -
530.27/532.11 c 532 56502 8924 1 2.0000 0.0000 -
535.54/537.49 c 538 57014 8989 1 2.0000 0.0000 -
540.82/542.73 c 543 57819 9054 1 2.0000 0.0000 -
546.60/548.57 c 549 58219 9092 1 2.0000 0.0000 -
552.21/554.17 c 554 58758 9138 1 2.0000 0.0000 -
557.87/559.83 c 560 59038 9171 1 2.0000 0.0000 -
562.94/564.97 c 565 59513 9204 1 2.0000 0.0000 -
568.63/570.65 c 571 60368 9301 1 2.0000 0.0000 -
574.71/576.79 c 577 60933 9423 1 2.0000 0.0000 -
580.00/582.06 c 582 61160 9446 1 2.0000 0.0000 -
585.57/587.67 c 588 61526 9471 1 2.0000 0.0000 -
591.15/593.26 c 593 61801 9506 1 2.0000 0.0000 -
597.04/599.19 c 599 62054 9530 1 2.0000 0.0000 -
602.71/604.81 c 605 62432 9546 1 2.0000 0.0000 -
609.10/611.23 c 611 63010 9570 1 2.0000 0.0000 -
614.68/616.85 c 617 63537 9589 1 2.0000 0.0000 -
620.06/622.22 c 622 64081 9645 1 2.0000 0.0000 -
626.24/628.47 c 628 64529 9715 1 2.0000 0.0000 -
631.84/634.09 c 634 65137 9752 1 2.0000 0.0000 -
637.31/639.57 c 640 66192 9865 1 2.0000 0.0000 -
643.59/645.84 c 646 67257 9919 1 2.0000 0.0000 -
649.27/651.54 c 652 67543 9948 1 2.0000 0.0000 -
654.88/657.14 c 657 67859 9972 1 2.0000 0.0000 -
659.95/662.25 c 662 68442 10044 1 2.0000 0.0000 -
665.34/667.67 c 668 68942 10099 1 2.0000 0.0000 -
670.92/673.22 c 673 69327 10147 1 2.0000 0.0000 -
676.39/678.79 c 679 69986 10192 1 2.0000 0.0000 -
682.17/684.54 c 685 70210 10197 1 2.0000 0.0000 -
687.26/689.62 c 690 70538 10230 1 2.0000 0.0000 -
692.84/695.21 c 695 71110 10265 1 2.0000 0.0000 -
698.12/700.56 c 701 71612 10292 1 2.0000 0.0000 -
703.80/706.27 c 706 72096 10336 1 2.0000 0.0000 -
709.60/712.04 c 712 72420 10385 1 2.0000 0.0000 -
714.76/717.29 c 717 73112 10468 1 2.0000 0.0000 -
720.55/723.07 c 723 74286 10555 1 2.0000 0.0000 -
726.54/729.08 c 729 74551 10595 1 2.0000 0.0000 -
732.52/735.08 c 735 75006 10709 1 2.0000 0.0000 -
737.60/740.14 c 740 75793 10855 1 2.0000 0.0000 -
743.07/745.60 c 746 76168 10902 1 2.0000 0.0000 -
748.46/751.04 c 751 76837 10952 1 2.0000 0.0000 -
753.93/756.56 c 757 76889 10957 1 2.0000 0.0000 -
759.62/762.22 c 762 77363 11024 1 2.0000 0.0000 -
764.69/767.30 c 767 77915 11081 1 2.0000 0.0000 -
769.68/772.37 c 772 78971 11152 1 2.0000 0.0000 -
775.86/778.59 c 779 79420 11205 1 2.0000 0.0000 -
781.04/783.71 c 784 79770 11221 1 2.0000 0.0000 -
786.21/788.98 c 789 80620 11279 1 2.0000 0.0000 -
791.79/794.50 c 795 80907 11306 1 2.0000 0.0000 -
797.07/799.84 c 800 81730 11405 1 2.0000 0.0000 -
802.36/805.14 c 805 82455 11495 1 2.0000 0.0000 -
807.34/810.19 c 810 83915 11632 1 2.0000 0.0000 -
813.00/815.84 c 816 84840 11697 1 2.0000 0.0000 -
818.59/821.43 c 821 85269 11728 1 2.0000 0.0000 -
824.17/827.01 c 827 86012 11915 1 2.0000 0.0000 -
829.15/832.04 c 832 86239 11977 1 2.0000 0.0000 -
835.13/838.06 c 838 86338 12000 1 2.0000 0.0000 -
840.31/843.23 c 843 86446 12013 1 2.0000 0.0000 -
845.29/848.24 c 848 86686 12054 1 2.0000 0.0000 -
850.58/853.51 c 854 87053 12118 1 2.0000 0.0000 -
856.26/859.27 c 859 87449 12194 1 2.0000 0.0000 -
861.45/864.49 c 864 87635 12238 1 2.0000 0.0000 -
867.34/870.33 c 870 88067 12314 1 2.0000 0.0000 -
872.42/875.40 c 875 88419 12353 1 2.0000 0.0000 -
877.61/880.60 c 881 88568 12366 1 2.0000 0.0000 -
883.90/886.99 c 887 88837 12398 1 2.0000 0.0000 -
889.10/892.12 c 892 89030 12404 1 2.0000 0.0000 -
894.87/897.96 c 898 89851 12580 1 2.0000 0.0000 -
900.35/903.40 c 903 90744 12781 1 2.0000 0.0000 -
906.33/909.46 c 909 90939 12812 1 2.0000 0.0000 -
911.61/914.76 c 915 91456 12892 1 2.0000 0.0000 -
917.00/920.15 c 920 91808 12935 1 2.0000 0.0000 -
922.67/925.80 c 926 92313 13006 1 2.0000 0.0000 -
928.64/931.82 c 932 92441 13046 1 2.0000 0.0000 -
934.43/937.66 c 938 92634 13111 1 2.0000 0.0000 -
940.82/944.09 c 944 92688 13119 1 2.0000 0.0000 -
946.39/949.63 c 950 93166 13194 1 2.0000 0.0000 -
951.78/955.06 c 955 93499 13287 1 2.0000 0.0000 -
956.95/960.29 c 960 93774 13322 1 2.0000 0.0000 -
962.93/966.24 c 966 93945 13350 1 2.0000 0.0000 -
969.12/972.40 c 972 94173 13388 1 2.0000 0.0000 -
974.50/977.90 c 978 94428 13417 1 2.0000 0.0000 -
979.57/982.96 c 983 94778 13508 1 2.0000 0.0000 -
984.85/988.21 c 988 95120 13574 1 2.0000 0.0000 -
990.93/994.30 c 994 95416 13636 1 2.0000 0.0000 -
996.51/999.96 c 1000 95611 13666 1 2.0000 0.0000 -
1001.79/1005.27 c 1005 95718 13683 1 2.0000 0.0000 -
1007.87/1011.33 c 1011 96023 13734 1 2.0000 0.0000 -
1013.75/1017.20 c 1017 96317 13800 1 2.0000 0.0000 -
1019.72/1023.28 c 1023 96616 13846 1 2.0000 0.0000 -
1025.20/1028.71 c 1029 96836 13916 1 2.0000 0.0000 -
1030.17/1033.77 c 1034 97196 13994 1 2.0000 0.0000 -
1035.46/1039.04 c 1039 98115 14179 1 2.0000 0.0000 -
1040.55/1044.17 c 1044 98860 14301 1 2.0000 0.0000 -
1045.91/1049.50 c 1050 99379 14409 1 2.0000 0.0000 -
1051.09/1054.75 c 1055 99685 14462 1 2.0000 0.0000 -
1056.57/1060.23 c 1060 100489 14548 1 2.0000 0.0000 -
1062.05/1065.78 c 1066 101638 14691 1 2.0000 0.0000 -
1067.63/1071.30 c 1071 102134 14763 1 2.0000 0.0000 -
1073.61/1077.30 c 1077 102507 14813 1 2.0000 0.0000 -
1079.59/1083.32 c 1083 102755 14871 1 2.0000 0.0000 -
1085.07/1088.88 c 1089 103320 14985 1 2.0000 0.0000 -
1091.54/1095.31 c 1095 103581 15016 1 2.0000 0.0000 -
1097.13/1100.97 c 1101 104127 15096 1 2.0000 0.0000 -
1103.11/1106.94 c 1107 104369 15120 1 2.0000 0.0000 -
1108.79/1112.67 c 1113 104834 15150 1 2.0000 0.0000 -
1114.17/1118.05 c 1118 105155 15176 1 2.0000 0.0000 -
1119.16/1123.09 c 1123 105488 15225 1 2.0000 0.0000 -
1124.33/1128.25 c 1128 105907 15311 1 2.0000 0.0000 -
1130.31/1134.27 c 1134 106667 15426 1 2.0000 0.0000 -
1136.98/1140.94 c 1141 106911 15458 1 2.0000 0.0000 -
1143.17/1147.12 c 1147 107254 15489 1 2.0000 0.0000 -
1148.63/1152.66 c 1153 107407 15503 1 2.0000 0.0000 -
1154.02/1158.05 c 1158 107492 15512 1 2.0000 0.0000 -
1159.00/1163.09 c 1163 108138 15667 1 2.0000 0.0000 -
1164.57/1168.62 c 1169 109069 15813 1 2.0000 0.0000 -
1170.44/1174.50 c 1175 109453 15849 1 2.0000 0.0000 -
1176.42/1180.50 c 1180 110188 15973 1 2.0000 0.0000 -
1181.50/1185.60 c 1186 111330 16086 1 2.0000 0.0000 -
1186.99/1191.15 c 1191 112538 16188 1 2.0000 0.0000 -
1192.05/1196.21 c 1196 113665 16242 1 2.0000 0.0000 -
1197.54/1201.79 c 1202 114022 16279 1 2.0000 0.0000 -
1203.11/1207.34 c 1207 115273 16379 1 2.0000 0.0000 -
1208.19/1212.40 c 1212 116626 16506 1 2.0000 0.0000 -
1213.27/1217.54 c 1218 117026 16545 1 2.0000 0.0000 -
1218.55/1222.86 c 1223 117937 16626 1 2.0000 0.0000 -
1223.63/1228.01 c 1228 118951 16692 1 2.0000 0.0000 -
1228.81/1233.19 c 1233 119753 16803 1 2.0000 0.0000 -
1233.89/1238.25 c 1238 120431 16925 1 2.0000 0.0000 -
1239.28/1243.62 c 1244 120948 17008 1 2.0000 0.0000 -
1244.36/1248.77 c 1249 121353 17062 1 2.0000 0.0000 -
1250.04/1254.41 c 1254 122094 17161 1 2.0000 0.0000 -
1256.02/1260.42 c 1260 122706 17229 1 2.0000 0.0000 -
1261.41/1265.88 c 1266 123535 17371 1 2.0000 0.0000 -
1266.80/1271.26 c 1271 124003 17421 1 2.0000 0.0000 -
1272.88/1277.36 c 1277 124330 17463 1 2.0000 0.0000 -
1277.96/1282.42 c 1282 124912 17519 1 2.0000 0.0000 -
1283.66/1288.11 c 1288 125372 17586 1 2.0000 0.0000 -
1288.72/1293.29 c 1293 126013 17712 1 2.0000 0.0000 -
1293.91/1298.45 c 1298 126680 17806 1 2.0000 0.0000 -
1298.99/1303.55 c 1304 127098 17864 1 2.0000 0.0000 -
1304.50/1309.06 c 1309 127914 17972 1 2.0000 0.0000 -
1310.07/1314.69 c 1315 128368 18045 1 2.0000 0.0000 -
1315.95/1320.57 c 1321 129091 18133 1 2.0000 0.0000 -
1321.34/1325.99 c 1326 129438 18179 1 2.0000 0.0000 -
1327.02/1331.65 c 1332 129756 18226 1 2.0000 0.0000 -
1332.30/1336.92 c 1337 130276 18272 1 2.0000 0.0000 -
1337.88/1342.54 c 1343 130742 18326 1 2.0000 0.0000 -
1343.17/1347.89 c 1348 131172 18395 1 2.0000 0.0000 -
1349.06/1353.79 c 1354 131308 18418 1 2.0000 0.0000 -
1354.14/1358.84 c 1359 131462 18452 1 2.0000 0.0000 -
1360.12/1364.80 c 1365 131683 18481 1 2.0000 0.0000 -
1366.01/1370.74 c 1371 131834 18508 1 2.0000 0.0000 -
1371.99/1376.77 c 1377 132001 18537 1 2.0000 0.0000 -
1378.28/1383.02 c 1383 132155 18557 1 2.0000 0.0000 -
1383.65/1388.41 c 1388 132244 18560 1 2.0000 0.0000 -
1388.63/1393.42 c 1393 132323 18567 1 2.0000 0.0000 -
1393.92/1398.72 c 1399 132483 18583 1 2.0000 0.0000 -
1399.91/1404.73 c 1405 132591 18584 1 2.0000 0.0000 -
1406.20/1411.05 c 1411 132953 18644 1 2.0000 0.0000 -
1412.08/1417.01 c 1417 133439 18701 1 2.0000 0.0000 -
1417.65/1422.57 c 1423 133690 18710 1 2.0000 0.0000 -
1423.03/1427.99 c 1428 134012 18754 1 2.0000 0.0000 -
1428.51/1433.40 c 1433 134508 18821 1 2.0000 0.0000 -
1433.60/1438.54 c 1439 135025 18868 1 2.0000 0.0000 -
1439.28/1444.21 c 1444 135415 18905 1 2.0000 0.0000 -
1444.87/1449.88 c 1450 135949 18952 1 2.0000 0.0000 -
1450.45/1455.49 c 1456 136283 18968 1 2.0000 0.0000 -
1456.54/1461.57 c 1462 136686 18987 1 2.0000 0.0000 -
1461.62/1466.69 c 1467 137174 19037 1 2.0000 0.0000 -
1467.60/1472.61 c 1473 137801 19108 1 2.0000 0.0000 -
1473.09/1478.16 c 1478 138556 19181 1 2.0000 0.0000 -
1478.16/1483.22 c 1483 139109 19244 1 2.0000 0.0000 -
1483.65/1488.76 c 1489 139771 19320 1 2.0000 0.0000 -
1489.43/1494.57 c 1495 140199 19380 1 2.0000 0.0000 -
1494.71/1499.83 c 1500 140690 19428 1 2.0000 0.0000 -
1500.01/1505.16 c 1505 141146 19478 1 2.0000 0.0000 -
1505.18/1510.34 c 1510 141653 19517 1 2.0000 0.0000 -
1510.26/1515.46 c 1515 142438 19578 1 2.0000 0.0000 -
1515.97/1521.14 c 1521 143096 19615 1 2.0000 0.0000 -
1521.04/1526.29 c 1526 143624 19646 1 2.0000 0.0000 -
1526.52/1531.74 c 1532 144204 19706 1 2.0000 0.0000 -
1531.71/1536.98 c 1537 145116 19775 1 2.0000 0.0000 -
1537.39/1542.65 c 1543 145487 19821 1 2.0000 0.0000 -
1542.67/1547.97 c 1548 145967 19875 1 2.0000 0.0000 -
1548.46/1553.78 c 1554 146745 20041 1 2.0000 0.0000 -
1554.24/1559.59 c 1560 147082 20086 1 2.0000 0.0000 -
1559.92/1565.24 c 1565 147291 20102 1 2.0000 0.0000 -
1565.31/1570.62 c 1571 148200 20212 1 2.0000 0.0000 -
1570.40/1575.79 c 1576 148984 20300 1 2.0000 0.0000 -
1575.58/1580.98 c 1581 149729 20366 1 2.0000 0.0000 -
1581.27/1586.67 c 1587 150691 20460 1 2.0000 0.0000 -
1586.95/1592.35 c 1592 151206 20510 1 2.0000 0.0000 -
1592.93/1598.31 c 1598 151458 20526 1 2.0000 0.0000 -
1598.81/1604.22 c 1604 151686 20534 1 2.0000 0.0000 -
1604.00/1609.48 c 1609 151843 20547 1 2.0000 0.0000 -
1609.79/1615.25 c 1615 152133 20568 1 2.0000 0.0000 -
1615.07/1620.56 c 1621 152534 20598 1 2.0000 0.0000 -
1620.25/1625.74 c 1626 153225 20669 1 2.0000 0.0000 -
1625.45/1630.96 c 1631 153549 20691 1 2.0000 0.0000 -
1630.73/1636.22 c 1636 154191 20767 1 2.0000 0.0000 -
1636.62/1642.17 c 1642 154576 20790 1 2.0000 0.0000 -
1641.90/1647.43 c 1647 155215 20845 1 2.0000 0.0000 -
1647.38/1653.01 c 1653 155683 20901 1 2.0000 0.0000 -
1652.97/1658.55 c 1659 155756 20909 1 2.0000 0.0000 -
1658.05/1663.64 c 1664 156033 20927 1 2.0000 0.0000 -
1663.84/1669.43 c 1669 156390 20960 1 2.0000 0.0000 -
1669.02/1674.64 c 1675 156815 20991 1 2.0000 0.0000 -
1674.90/1680.55 c 1681 157386 21040 1 2.0000 0.0000 -
1679.99/1685.68 c 1686 158029 21118 1 2.0000 0.0000 -
1686.07/1691.75 c 1692 158387 21160 1 2.0000 0.0000 -
1691.75/1697.49 c 1698 158665 21192 1 2.0000 0.0000 -
1697.63/1703.38 c 1703 158971 21219 1 2.0000 0.0000 -
1703.12/1708.83 c 1709 159345 21258 1 2.0000 0.0000 -
1709.10/1714.81 c 1715 159613 21280 1 2.0000 0.0000 -
1714.29/1720.01 c 1720 160232 21307 1 2.0000 0.0000 -
1719.86/1725.65 c 1726 160814 21349 1 2.0000 0.0000 -
1725.55/1731.33 c 1731 161492 21430 1 2.0000 0.0000 -
1731.13/1736.96 c 1737 161834 21461 1 2.0000 0.0000 -
1736.42/1742.26 c 1742 162335 21508 1 2.0000 0.0000 -
1742.11/1747.93 c 1748 162837 21545 1 2.0000 0.0000 -
1748.09/1753.98 c 1754 163084 21561 1 2.0000 0.0000 -
1753.77/1759.62 c 1760 163528 21599 1 2.0000 0.0000 -
1759.06/1764.96 c 1765 163938 21637 1 2.0000 0.0000 -
1764.63/1770.57 c 1771 164413 21678 1 2.0000 0.0000 -
1770.82/1776.77 c 1777 164792 21724 1 2.0000 0.0000 -
1776.60/1782.52 c 1783 165222 21765 1 2.0000 0.0000 -
1781.89/1787.86 c 1788 166085 21842 1 2.0000 0.0000 -
1787.08/1793.08 c 1793 166618 21894 1 2.0000 0.0000 -
1792.46/1798.40 c 1798 167164 21936 1 2.0000 0.0000 -
1797.63/1803.65 c 1804 167629 21982 1 2.0000 0.0000 -
1803.13/1809.13 c 1809 168150 22027 1 2.0000 0.0000 -
1808.80/1814.80 c 1815 168687 22058 1 2.0000 0.0000 -
1813.89/1820.01 c 1820 169319 22111 1 2.0000 0.0000 -
1819.26/1825.33 c 1825 169843 22136 1 2.0000 0.0000 -
1824.75/1830.80 c 1831 170298 22161 1 2.0000 0.0000 -
1831.04/1837.15 c 1837 170630 22197 1 2.0000 0.0000 -
1836.71/1842.83 c 1843 170949 22219 1 2.0000 0.0000 -
1842.69/1848.89 c 1849 171541 22274 1 2.0000 0.0000 -
1849.27/1855.42 c 1855 171947 22309 1 2.0000 0.0000 -
1854.35/1860.55 c 1861 172103 22320 1 2.0000 0.0000 -
1860.14/1866.39 c 1866 172892 22420 1 2.0000 0.0000 -
1865.63/1871.83 c 1872 173272 22475 1 2.0000 0.0000 -
1871.11/1877.35 c 1877 173898 22547 1 2.0000 0.0000 -
1876.59/1882.80 c 1883 174359 22598 1 2.0000 0.0000 -
1881.89/1888.14 c 1888 174899 22654 1 2.0000 0.0000 -
1887.45/1893.71 c 1894 175369 22696 1 2.0000 0.0000 -
1892.74/1899.09 c 1899 176025 22777 1 2.0000 0.0000 -
1898.11/1904.41 c 1904 176733 22843 1 2.0000 0.0000 -
1903.90/1910.22 c 1910 177305 22904 1 2.0000 0.0000 -
1909.18/1915.52 c 1916 178027 23001 1 2.0000 0.0000 -
1914.78/1921.18 c 1921 178336 23050 1 2.0000 0.0000 -
1919.76/1926.19 c 1926 178519 23079 1 2.0000 0.0000 -
1925.04/1931.47 c 1931 178971 23125 1 2.0000 0.0000 -
1930.42/1936.89 c 1937 179261 23157 1 2.0000 0.0000 -
1936.21/1942.61 c 1943 179562 23178 1 2.0000 0.0000 -
1941.71/1948.18 c 1948 179835 23212 1 2.0000 0.0000 -
1947.28/1953.70 c 1954 180408 23255 1 2.0000 0.0000 -
1953.46/1959.92 c 1960 180764 23288 1 2.0000 0.0000 -
1958.94/1965.43 c 1965 181377 23346 1 2.0000 0.0000 -
1964.73/1971.23 c 1971 181859 23384 1 2.0000 0.0000 -
1970.71/1977.27 c 1977 182275 23443 1 2.0000 0.0000 -
1976.29/1982.80 c 1983 182631 23487 1 2.0000 0.0000 -
1981.38/1987.98 c 1988 183044 23509 1 2.0000 0.0000 -
1986.66/1993.26 c 1993 183730 23597 1 2.0000 0.0000 -
1992.34/1998.90 c 1999 184212 23637 1 2.0000 0.0000 -
1997.63/2004.22 c 2004 184733 23684 1 2.0000 0.0000 -
2003.01/2009.61 c 2010 185164 23712 1 2.0000 0.0000 -
2008.29/2014.97 c 2015 185612 23750 1 2.0000 0.0000 -
2013.77/2020.49 c 2020 185810 23776 1 2.0000 0.0000 -
2019.57/2026.27 c 2026 185924 23787 1 2.0000 0.0000 -
2025.55/2032.26 c 2032 186232 23837 1 2.0000 0.0000 -
2030.93/2037.67 c 2038 186863 23932 1 2.0000 0.0000 -
2037.01/2043.74 c 2044 187492 24008 1 2.0000 0.0000 -
2043.19/2049.93 c 2050 187606 24012 1 2.0000 0.0000 -
2048.77/2055.58 c 2056 188123 24068 1 2.0000 0.0000 -
2053.85/2060.62 c 2061 188432 24083 1 2.0000 0.0000 -
2059.14/2066.01 c 2066 188802 24102 1 2.0000 0.0000 -
2064.22/2071.09 c 2071 189487 24195 1 2.0000 0.0000 -
2069.38/2076.27 c 2076 190134 24261 1 2.0000 0.0000 -
2074.47/2081.37 c 2081 190837 24370 1 2.0000 0.0000 -
2079.86/2086.71 c 2087 191588 24458 1 2.0000 0.0000 -
2085.13/2092.01 c 2092 192150 24510 1 2.0000 0.0000 -
2090.22/2097.17 c 2097 192502 24555 1 2.0000 0.0000 -
2095.59/2102.57 c 2103 192747 24579 1 2.0000 0.0000 -
2101.37/2108.33 c 2108 192862 24594 1 2.0000 0.0000 -
2107.05/2114.03 c 2114 193169 24617 1 2.0000 0.0000 -
2112.72/2119.76 c 2120 193462 24642 1 2.0000 0.0000 -
2118.71/2125.75 c 2126 193699 24675 1 2.0000 0.0000 -
2124.49/2131.53 c 2132 193921 24689 1 2.0000 0.0000 -
2130.08/2137.18 c 2137 194112 24702 1 2.0000 0.0000 -
2135.65/2142.71 c 2143 194623 24733 1 2.0000 0.0000 -
2140.82/2147.96 c 2148 195419 24805 1 2.0000 0.0000 -
2146.10/2153.24 c 2153 195732 24832 1 2.0000 0.0000 -
2151.28/2158.47 c 2158 196066 24862 1 2.0000 0.0000 -
2156.46/2163.63 c 2164 196598 24910 1 2.0000 0.0000 -
2161.73/2168.92 c 2169 197112 24954 1 2.0000 0.0000 -
2167.32/2174.52 c 2175 197398 25010 1 2.0000 0.0000 -
2173.19/2180.45 c 2180 197590 25035 1 2.0000 0.0000 -
2178.67/2185.90 c 2186 197859 25088 1 2.0000 0.0000 -
2184.65/2191.93 c 2192 198170 25131 1 2.0000 0.0000 -
2190.13/2197.49 c 2197 198380 25160 1 2.0000 0.0000 -
2195.61/2202.96 c 2203 199173 25262 1 2.0000 0.0000 -
2200.59/2207.97 c 2208 199516 25303 1 2.0000 0.0000 -
2206.67/2214.05 c 2214 199890 25331 1 2.0000 0.0000 -
2212.24/2219.60 c 2220 200350 25355 1 2.0000 0.0000 -
2217.82/2225.25 c 2225 200649 25377 1 2.0000 0.0000 -
2223.11/2230.53 c 2231 201176 25420 1 2.0000 0.0000 -
2228.39/2235.84 c 2236 201557 25451 1 2.0000 0.0000 -
2233.87/2241.38 c 2241 202121 25477 1 2.0000 0.0000 -
2239.76/2247.21 c 2247 202819 25513 1 2.0000 0.0000 -
2245.44/2252.96 c 2253 203403 25555 1 2.0000 0.0000 -
2250.54/2258.11 c 2258 203952 25587 1 2.0000 0.0000 -
2255.81/2263.39 c 2263 204385 25606 1 2.0000 0.0000 -
2261.51/2269.09 c 2269 204866 25625 1 2.0000 0.0000 -
2266.77/2274.32 c 2274 205537 25674 1 2.0000 0.0000 -
2272.75/2280.33 c 2280 205900 25683 1 2.0000 0.0000 -
2278.24/2285.89 c 2286 206129 25695 1 2.0000 0.0000 -
2283.73/2291.34 c 2291 206503 25736 1 2.0000 0.0000 -
2289.01/2296.66 c 2297 206920 25793 1 2.0000 0.0000 -
2294.99/2302.68 c 2303 207075 25798 1 2.0000 0.0000 -
2300.67/2308.37 c 2308 207386 25829 1 2.0000 0.0000 -
2306.47/2314.17 c 2314 207789 25880 1 2.0000 0.0000 -
2311.55/2319.21 c 2319 208165 25915 1 2.0000 0.0000 -
2317.13/2324.80 c 2325 208671 25978 1 2.0000 0.0000 -
2322.32/2330.04 c 2330 209208 26026 1 2.0000 0.0000 -
2327.59/2335.33 c 2335 209740 26061 1 2.0000 0.0000 -
2332.87/2340.68 c 2341 210304 26130 1 2.0000 0.0000 -
2339.15/2346.90 c 2347 210530 26159 1 2.0000 0.0000 -
2344.64/2352.49 c 2352 210965 26200 1 2.0000 0.0000 -
2349.92/2357.70 c 2358 211526 26239 1 2.0000 0.0000 -
2355.31/2363.17 c 2363 211946 26287 1 2.0000 0.0000 -
2360.79/2368.64 c 2369 212455 26331 1 2.0000 0.0000 -
2365.87/2373.73 c 2374 213087 26396 1 2.0000 0.0000 -
2371.45/2379.34 c 2379 213528 26411 1 2.0000 0.0000 -
2377.44/2385.31 c 2385 214216 26478 1 2.0000 0.0000 -
2382.91/2390.81 c 2391 214728 26523 1 2.0000 0.0000 -
2387.90/2395.89 c 2396 215009 26567 1 2.0000 0.0000 -
2393.48/2401.45 c 2401 215730 26700 1 2.0000 0.0000 -
2399.06/2407.02 c 2407 216215 26760 1 2.0000 0.0000 -
2405.15/2413.18 c 2413 216526 26772 1 2.0000 0.0000 -
2410.92/2418.96 c 2419 217014 26795 1 2.0000 0.0000 -
2415.91/2424.01 c 2424 217066 26792 1 2.0000 0.0000 -
2421.39/2429.45 c 2429 217744 26864 1 2.0000 0.0000 -
2426.47/2434.58 c 2435 218258 26919 1 2.0000 0.0000 -
2431.75/2439.82 c 2440 218934 26996 1 2.0000 0.0000 -
2436.83/2444.99 c 2445 219357 27034 1 2.0000 0.0000 -
2442.32/2450.44 c 2450 219692 27064 1 2.0000 0.0000 -
2447.70/2455.85 c 2456 220040 27120 1 2.0000 0.0000 -
2453.38/2461.50 c 2462 220453 27170 1 2.0000 0.0000 -
2458.67/2466.81 c 2467 221032 27223 1 2.0000 0.0000 -
2463.85/2472.05 c 2472 221858 27358 1 2.0000 0.0000 -
2469.03/2477.25 c 2477 222560 27433 1 2.0000 0.0000 -
2474.31/2482.59 c 2483 223055 27471 1 2.0000 0.0000 -
2479.69/2488.01 c 2488 223517 27535 1 2.0000 0.0000 -
2486.16/2494.48 c 2494 223951 27590 1 2.0000 0.0000 -
2491.64/2499.97 c 2500 224397 27626 1 2.0000 0.0000 -
2497.03/2505.37 c 2505 224836 27654 1 2.0000 0.0000 -
2502.51/2510.82 c 2511 225515 27696 1 2.0000 0.0000 -
2508.29/2516.65 c 2517 226108 27747 1 2.0000 0.0000 -
2513.37/2521.78 c 2522 226564 27782 1 2.0000 0.0000 -
2518.76/2527.12 c 2527 227515 27877 1 2.0000 0.0000 -
2523.94/2532.39 c 2532 227823 27893 1 2.0000 0.0000 -
2529.52/2537.93 c 2538 228520 27941 1 2.0000 0.0000 -
2534.80/2543.24 c 2543 229069 27984 1 2.0000 0.0000 -
2539.99/2548.40 c 2548 229629 28013 1 2.0000 0.0000 -
2545.27/2553.70 c 2554 230206 28065 1 2.0000 0.0000 -
2550.35/2558.82 c 2559 230688 28097 1 2.0000 0.0000 -
2556.24/2564.78 c 2565 231535 28145 1 2.0000 0.0000 -
2562.02/2570.50 c 2571 232124 28217 1 2.0000 0.0000 -
2567.51/2576.11 c 2576 233073 28270 1 2.0000 0.0000 -
2572.98/2581.54 c 2582 233756 28323 1 2.0000 0.0000 -
2578.27/2586.83 c 2587 234258 28350 1 2.0000 0.0000 -
2583.57/2592.19 c 2592 234752 28415 1 2.0000 0.0000 -
2588.74/2597.38 c 2597 235392 28484 1 2.0000 0.0000 -
2594.13/2602.71 c 2603 236105 28539 1 2.0000 0.0000 -
2599.43/2608.08 c 2608 236600 28561 1 2.0000 0.0000 -
2604.89/2613.53 c 2614 237116 28603 1 2.0000 0.0000 -
2610.68/2619.38 c 2619 237338 28624 1 2.0000 0.0000 -
2616.07/2624.71 c 2625 238115 28729 1 2.0000 0.0000 -
2621.24/2629.98 c 2630 238879 28809 1 2.0000 0.0000 -
2626.63/2635.38 c 2635 239561 28858 1 2.0000 0.0000 -
2631.92/2640.60 c 2641 240163 28916 1 2.0000 0.0000 -
2637.50/2646.26 c 2646 240650 28941 1 2.0000 0.0000 -
2642.68/2651.48 c 2651 241165 29011 1 2.0000 0.0000 -
2647.96/2656.73 c 2657 241462 29028 1 2.0000 0.0000 -
2653.55/2662.32 c 2662 241966 29084 1 2.0000 0.0000 -
2660.24/2669.01 c 2669 242217 29098 1 2.0000 0.0000 -
2665.61/2674.44 c 2674 242544 29131 1 2.0000 0.0000 -
2671.10/2680.01 c 2680 243173 29144 1 2.0000 0.0000 -
2676.19/2685.05 c 2685 243501 29163 1 2.0000 0.0000 -
2682.46/2691.31 c 2691 243848 29196 1 2.0000 0.0000 -
2688.44/2697.33 c 2697 244402 29249 1 2.0000 0.0000 -
2693.42/2702.37 c 2702 244717 29271 1 2.0000 0.0000 -
2698.80/2707.79 c 2708 245569 29341 1 2.0000 0.0000 -
2704.89/2713.80 c 2714 246127 29371 1 2.0000 0.0000 -
2710.09/2719.05 c 2719 246514 29407 1 2.0000 0.0000 -
2715.36/2724.39 c 2724 247051 29463 1 2.0000 0.0000 -
2721.06/2730.06 c 2730 247886 29561 1 2.0000 0.0000 -
2726.63/2735.67 c 2736 248238 29624 1 2.0000 0.0000 -
2732.51/2741.52 c 2742 248430 29655 1 2.0000 0.0000 -
2737.59/2746.60 c 2747 249275 29716 1 2.0000 0.0000 -
2742.68/2751.77 c 2752 249898 29758 1 2.0000 0.0000 -
2747.76/2756.85 c 2757 250328 29799 1 2.0000 0.0000 -
2753.35/2762.47 c 2762 250895 29851 1 2.0000 0.0000 -
2758.94/2768.04 c 2768 251545 29942 1 2.0000 0.0000 -
2764.81/2773.94 c 2774 251816 29954 1 2.0000 0.0000 -
2770.30/2779.45 c 2779 252230 29985 1 2.0000 0.0000 -
2775.59/2784.79 c 2785 252726 30015 1 2.0000 0.0000 -
2781.07/2790.29 c 2790 253244 30037 1 2.0000 0.0000 -
2786.56/2795.72 c 2796 253677 30064 1 2.0000 0.0000 -
2791.85/2801.07 c 2801 254019 30102 1 2.0000 0.0000 -
2797.32/2806.51 c 2807 254509 30146 1 2.0000 0.0000 -
2802.31/2811.57 c 2812 255236 30190 1 2.0000 0.0000 -
2807.69/2816.92 c 2817 255589 30211 1 2.0000 0.0000 -
2812.68/2822.01 c 2822 255986 30236 1 2.0000 0.0000 -
2818.45/2827.71 c 2828 256387 30271 1 2.0000 0.0000 -
2823.85/2833.18 c 2833 256523 30287 1 2.0000 0.0000 -
2829.93/2839.22 c 2839 256757 30320 1 2.0000 0.0000 -
2835.61/2845.01 c 2845 256915 30354 1 2.0000 0.0000 -
2841.08/2850.45 c 2850 257448 30421 1 2.0000 0.0000 -
2846.68/2856.03 c 2856 258016 30431 1 2.0000 0.0000 -
2851.95/2861.38 c 2861 258739 30489 1 2.0000 0.0000 -
2857.33/2866.74 c 2867 259073 30537 1 2.0000 0.0000 -
2862.31/2871.74 c 2872 259332 30570 1 2.0000 0.0000 -
2867.89/2877.30 c 2877 259861 30624 1 2.0000 0.0000 -
2872.88/2882.38 c 2882 259943 30647 1 2.0000 0.0000 -
2878.68/2888.18 c 2888 260385 30681 1 2.0000 0.0000 -
2883.75/2893.22 c 2893 260780 30722 1 2.0000 0.0000 -
2889.54/2899.03 c 2899 261155 30795 1 2.0000 0.0000 -
2894.81/2904.35 c 2904 261896 30908 1 2.0000 0.0000 -
2899.90/2909.49 c 2910 262838 31011 1 2.0000 0.0000 -
2905.49/2915.09 c 2915 263706 31116 1 2.0000 0.0000 -
2911.37/2920.90 c 2921 263857 31141 1 2.0000 0.0000 -
2917.26/2926.80 c 2927 264451 31178 1 2.0000 0.0000 -
2922.74/2932.34 c 2932 264919 31213 1 2.0000 0.0000 -
2927.93/2937.59 c 2938 265307 31229 1 2.0000 0.0000 -
2933.52/2943.17 c 2943 265693 31260 1 2.0000 0.0000 -
2938.80/2948.48 c 2948 266329 31319 1 2.0000 0.0000 -
2944.28/2953.96 c 2954 266581 31327 1 2.0000 0.0000 -
2949.77/2959.44 c 2959 267199 31372 1 2.0000 0.0000 -
2955.05/2964.70 c 2965 267591 31395 1 2.0000 0.0000 -
2960.13/2969.89 c 2970 268216 31459 1 2.0000 0.0000 -
2966.33/2976.02 c 2976 268799 31493 1 2.0000 0.0000 -
2971.42/2981.18 c 2981 269097 31509 1 2.0000 0.0000 -
2976.78/2986.55 c 2987 269715 31557 1 2.0000 0.0000 -
2981.97/2991.75 c 2992 270202 31586 1 2.0000 0.0000 -
2987.45/2997.27 c 2997 270777 31637 1 2.0000 0.0000 -
2993.04/3002.89 c 3003 270984 31658 1 2.0000 0.0000 -
2998.72/3008.57 c 3009 271149 31664 1 2.0000 0.0000 -
3004.40/3014.24 c 3014 271534 31727 1 2.0000 0.0000 -
3010.09/3020.01 c 3020 271817 31758 1 2.0000 0.0000 -
3015.66/3025.57 c 3026 272092 31780 1 2.0000 0.0000 -
3021.26/3031.14 c 3031 272608 31819 1 2.0000 0.0000 -
3026.43/3036.32 c 3036 273012 31835 1 2.0000 0.0000 -
3032.02/3041.93 c 3042 273603 31878 1 2.0000 0.0000 -
3037.50/3047.43 c 3047 274088 31921 1 2.0000 0.0000 -
3043.28/3053.25 c 3053 274352 31950 1 2.0000 0.0000 -
3048.66/3058.62 c 3059 274921 32025 1 2.0000 0.0000 -
3053.94/3063.96 c 3064 275443 32072 1 2.0000 0.0000 -
3059.21/3069.24 c 3069 275853 32115 1 2.0000 0.0000 -
3064.30/3074.31 c 3074 276038 32122 1 2.0000 0.0000 -
3069.48/3079.55 c 3080 276531 32164 1 2.0000 0.0000 -
3074.86/3084.92 c 3085 277081 32185 1 2.0000 0.0000 -
3080.33/3090.48 c 3090 277409 32217 1 2.0000 0.0000 -
3086.61/3096.72 c 3097 277562 32240 1 2.0000 0.0000 -
3092.18/3102.36 c 3102 278231 32298 1 2.0000 0.0000 -
3097.56/3107.74 c 3108 278757 32344 1 2.0000 0.0000 -
3102.64/3112.82 c 3113 279170 32381 1 2.0000 0.0000 -
3108.63/3118.81 c 3119 279581 32414 1 2.0000 0.0000 -
3114.41/3124.63 c 3125 279774 32444 1 2.0000 0.0000 -
3120.18/3130.42 c 3130 280013 32462 1 2.0000 0.0000 -
3125.77/3136.06 c 3136 280343 32495 1 2.0000 0.0000 -
3131.04/3141.30 c 3141 280667 32520 1 2.0000 0.0000 -
3136.43/3146.79 c 3147 280980 32527 1 2.0000 0.0000 -
3141.83/3152.13 c 3152 281678 32577 1 2.0000 0.0000 -
3147.49/3157.82 c 3158 282354 32628 1 2.0000 0.0000 -
3153.07/3163.40 c 3163 282786 32649 1 2.0000 0.0000 -
3158.56/3168.92 c 3169 283060 32661 1 2.0000 0.0000 -
3164.44/3174.80 c 3175 283399 32678 1 2.0000 0.0000 -
3169.73/3180.14 c 3180 283706 32713 1 2.0000 0.0000 -
3175.71/3186.14 c 3186 284354 32762 1 2.0000 0.0000 -
3180.88/3191.34 c 3191 284958 32799 1 2.0000 0.0000 -
3186.96/3197.43 c 3197 285513 32851 1 2.0000 0.0000 -
3192.66/3203.13 c 3203 286090 32888 1 2.0000 0.0000 -
3198.12/3208.63 c 3209 286416 32920 1 2.0000 0.0000 -
3203.52/3214.09 c 3214 286726 32937 1 2.0000 0.0000 -
3208.89/3219.47 c 3219 286852 32938 1 2.0000 0.0000 -
3214.27/3224.88 c 3225 287284 32971 1 2.0000 0.0000 -
3219.85/3230.47 c 3230 287547 32989 1 2.0000 0.0000 -
3225.63/3236.28 c 3236 287901 33016 1 2.0000 0.0000 -
3231.01/3241.64 c 3242 288285 33053 1 2.0000 0.0000 -
3236.19/3246.83 c 3247 288567 33064 1 2.0000 0.0000 -
3241.38/3252.07 c 3252 289017 33111 1 2.0000 0.0000 -
3246.65/3257.31 c 3257 289405 33133 1 2.0000 0.0000 -
3252.35/3263.04 c 3263 289935 33177 1 2.0000 0.0000 -
3257.51/3268.24 c 3268 290191 33195 1 2.0000 0.0000 -
3263.31/3274.04 c 3274 290672 33240 1 2.0000 0.0000 -
3269.18/3279.96 c 3280 291102 33262 1 2.0000 0.0000 -
3274.96/3285.74 c 3286 291463 33311 1 2.0000 0.0000 -
3280.83/3291.60 c 3292 291949 33361 1 2.0000 0.0000 -
3285.82/3296.62 c 3297 292100 33386 1 2.0000 0.0000 -
3291.70/3302.55 c 3303 292274 33398 1 2.0000 0.0000 -
3297.69/3308.54 c 3309 292847 33447 1 2.0000 0.0000 -
3303.57/3314.46 c 3314 293448 33467 1 2.0000 0.0000 -
3309.27/3320.16 c 3320 293906 33480 1 2.0000 0.0000 -
3314.94/3325.80 c 3326 294320 33529 1 2.0000 0.0000 -
3320.53/3331.40 c 3331 294533 33548 1 2.0000 0.0000 -
3325.72/3336.65 c 3337 295143 33589 1 2.0000 0.0000 -
3331.60/3342.55 c 3343 295301 33614 1 2.0000 0.0000 -
3337.20/3348.14 c 3348 295635 33632 1 2.0000 0.0000 -
3342.86/3353.88 c 3354 296106 33661 1 2.0000 0.0000 -
3348.34/3359.30 c 3359 296648 33708 1 2.0000 0.0000 -
3353.53/3364.58 c 3365 296803 33717 1 2.0000 0.0000 -
3359.61/3370.68 c 3371 297357 33813 1 2.0000 0.0000 -
3365.49/3376.57 c 3377 297687 33856 1 2.0000 0.0000 -
3371.48/3382.59 c 3383 297838 33886 1 2.0000 0.0000 -
3377.97/3389.07 c 3389 298009 33916 1 2.0000 0.0000 -
3383.34/3394.46 c 3394 298154 33962 1 2.0000 0.0000 -
3389.23/3400.37 c 3400 298289 33976 1 2.0000 0.0000 -
3395.02/3406.17 c 3406 298409 33988 1 2.0000 0.0000 -
3400.02/3411.19 c 3411 298500 34007 1 2.0000 0.0000 -
3405.79/3416.96 c 3417 298758 34045 1 2.0000 0.0000 -
3412.57/3423.74 c 3424 298958 34085 1 2.0000 0.0000 -
3418.26/3429.43 c 3429 299071 34097 1 2.0000 0.0000 -
3423.95/3435.19 c 3435 299406 34128 1 2.0000 0.0000 -
3429.93/3441.17 c 3441 299835 34144 1 2.0000 0.0000 -
3435.71/3446.98 c 3447 300398 34190 1 2.0000 0.0000 -
3441.40/3452.62 c 3453 300764 34218 1 2.0000 0.0000 -
3446.98/3458.25 c 3458 301284 34269 1 2.0000 0.0000 -
3452.77/3464.02 c 3464 301696 34296 1 2.0000 0.0000 -
3459.05/3470.31 c 3470 302233 34332 1 2.0000 0.0000 -
3464.53/3475.83 c 3476 302454 34353 1 2.0000 0.0000 -
3470.02/3481.31 c 3481 302831 34378 1 2.0000 0.0000 -
3475.81/3487.15 c 3487 303067 34390 1 2.0000 0.0000 -
3482.28/3493.67 c 3494 303392 34410 1 2.0000 0.0000 -
3488.68/3500.11 c 3500 303899 34430 1 2.0000 0.0000 -
3494.25/3505.63 c 3506 304373 34464 1 2.0000 0.0000 -
3500.03/3511.42 c 3511 304741 34512 1 2.0000 0.0000 -
3505.02/3516.46 c 3516 305006 34540 1 2.0000 0.0000 -
3510.51/3522.01 c 3522 305509 34594 1 2.0000 0.0000 -
3516.08/3527.51 c 3528 306261 34658 1 2.0000 0.0000 -
3521.87/3533.31 c 3533 306550 34687 1 2.0000 0.0000 -
3527.36/3538.89 c 3539 307115 34728 1 2.0000 0.0000 -
3532.74/3544.27 c 3544 307506 34741 1 2.0000 0.0000 -
3538.32/3549.81 c 3550 308054 34804 1 2.0000 0.0000 -
3543.70/3555.22 c 3555 308331 34814 1 2.0000 0.0000 -
3548.80/3560.38 c 3560 308653 34837 1 2.0000 0.0000 -
3554.08/3565.67 c 3566 308969 34860 1 2.0000 0.0000 -
3560.06/3571.67 c 3572 309623 34906 1 2.0000 0.0000 -
3565.24/3576.80 c 3577 309962 34929 1 2.0000 0.0000 -
3570.63/3582.22 c 3582 310429 34965 1 2.0000 0.0000 -
3577.10/3588.75 c 3589 310693 34990 1 2.0000 0.0000 -
3582.40/3594.08 c 3594 311077 35021 1 2.0000 0.0000 -
3586.57/3598.28 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.57/3598.28 c Total Time : 3598.2800
3586.57/3598.28 c solving : 3598.2800
3586.57/3598.28 c presolving : 0.6882 (included in solving)
3586.57/3598.28 c B&B Tree :
3586.57/3598.28 c nodes (total) : 1
3586.57/3598.28 c Solution :
3586.57/3598.28 c Solutions found : 8
3586.57/3598.28 c Primal Bound : +2.00000000000000e+00
3586.57/3598.28 c Dual Bound : +0.00000000000000e+00
3586.57/3598.28 c Gap : infinite
3586.57/3598.28 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3586.67/3598.30 o 2
3586.67/3598.30 s SATISFIABLE
3586.67/3598.30 v -x403 -x402 -x401 -x400 -x399 -x398 x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 x382
3586.67/3598.30 v -x381 -x380 -x379 x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 x363 -x362 -x361
3586.67/3598.30 v -x360 -x359 -x358 -x357 -x356 x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 x345 -x344 -x343 -x342 -x341 -x340
3586.67/3598.30 v -x339 -x338 -x337 -x336 -x335 -x334 -x333 x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 x324 -x323 -x322 -x321 -x320 -x319
3586.67/3598.30 v -x318 -x317 -x316 -x315 x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298
3586.67/3598.30 v -x297 -x296 x295 -x294 x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276
3586.67/3598.30 v -x275 x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 x78 x77 x76 x75 x74 x73 x72 x71
3586.67/3598.30 v x70 x69 x68 x67 -x66 x65 x64 x63 x62 x61 x60 x59 x58 x57 x56 x55 x54 x53 x52 x51 x50 x49 x48 x47 x46 x45 x44 x43 x42 x41 x40
3586.67/3598.30 v x39 x38 x37 x36 x35 x34 x33 x32 x31 x30 x29 x28 x27 x26 x25 x24 x23 x22 x21 x20 x19 x18 x17 x16 x15 x14 x13 x12 -x11 x10 x9 x8
3586.67/3598.30 v x7 x6 -x5 -x4 x3 x2 x1 -x260 -x247 -x234 -x221 -x208 -x195 -x182 -x169 -x156 -x143 -x130 x117 -x104 -x259 -x246 -x233 -x220
3586.67/3598.30 v -x207 -x194 -x181 -x168 -x155 -x142 -x129 -x116 -x103 -x258 x245 -x232 -x219 -x206 -x193 -x180 -x167 -x154 -x141 -x128 -x115
3586.67/3598.30 v -x102 -x257 -x244 -x231 -x218 x205 -x192 -x179 -x166 -x153 -x140 -x127 -x114 -x101 -x256 -x243 -x230 -x217 -x204 -x191 -x178
3586.67/3598.30 v -x165 -x152 -x139 x126 -x113 -x100 -x255 -x242 -x229 -x216 -x203 -x190 -x177 -x164 -x151 x138 -x125 -x112 -x99 -x254 -x241 -x228
3586.67/3598.30 v x215 -x202 -x189 -x176 -x163 -x150 -x137 -x124 -x111 -x98 x253 -x240 -x227 -x214 -x201 -x188 -x175 -x162 -x149 -x136 -x123
3586.67/3598.30 v -x110 -x97 -x252 -x239 -x226 -x213 -x200 -x187 -x174 -x161 -x148 -x135 -x122 -x109 -x96 -x251 -x238 x225 -x212 -x199 -x186
3586.67/3598.30 v -x173 -x160 -x147 -x134 -x121 -x108 -x95 -x250 -x237 -x224 -x211 -x198 -x185 -x172 x159 -x146 -x133 -x120 -x107 -x94 -x249 -x236
3586.67/3598.30 v -x223 -x210 -x197 -x184 -x171 -x158 x145 -x132 -x119 -x106 -x93 -x248 -x235 -x222 -x209 -x196 -x183 x170 -x157 -x144 -x131
3586.67/3598.30 v -x118 -x105 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 -x79
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 (62300 MiB free)
memory of node 1: 64473 MiB (62619 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464560-1722390380/watcher-4464560-1722390380 -o /tmp/evaluation-result-4464560-1722390380/solver-4464560-1722390380 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722390380-35620 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464560-1722390380.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=35676, runsolver pid=35672
[startup+0.100132 s]*
/proc/loadavg: 1.11 1.23 2.16 5/242 35682
/proc/meminfo: memFree=127852144/131655788 swapFree=131071996/131071996
[pid=35676] ppid=35672 vsize=43396 memory=32140 CPUtime=0.1 cores=1,3
/proc/35676/stat : 35676 (fscip) R 35672 35676 35608 0 -1 4194304 5744 0 0 0 8 2 0 0 20 0 1 0 5635029 44437504 8035 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
/proc/35676/statm: 10849 8035 2555 3035 0 7245 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43396 KiB
Current children cumulated memory: 32140 KiB
[startup+0.219133 s]*
/proc/loadavg: 1.11 1.23 2.16 5/242 35682
/proc/meminfo: memFree=127807112/131655788 swapFree=131071996/131071996
[pid=35676] ppid=35672 vsize=49544 memory=38984 CPUtime=0.2 cores=1,3
/proc/35676/stat : 35676 (fscip) R 35672 35676 35608 0 -1 4194304 8978 0 0 0 17 3 0 0 20 0 1 0 5635029 50733056 9746 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
/proc/35676/statm: 12386 9746 2710 3035 0 8782 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 49544 KiB
Current children cumulated memory: 38984 KiB
[startup+0.314751 s]*
/proc/loadavg: 1.11 1.23 2.16 5/242 35682
/proc/meminfo: memFree=127778548/131655788 swapFree=131071996/131071996
[pid=35676] ppid=35672 vsize=52184 memory=41408 CPUtime=0.3 cores=1,3
/proc/35676/stat : 35676 (fscip) R 35672 35676 35608 0 -1 4194304 9574 0 0 0 27 3 0 0 20 0 1 0 5635029 53436416 10352 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
/proc/35676/statm: 13046 10352 2742 3035 0 9442 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 52184 KiB
Current children cumulated memory: 41408 KiB
[startup+0.700386 s]
/proc/loadavg: 1.11 1.23 2.16 5/244 35684
/proc/meminfo: memFree=127657056/131655788 swapFree=131071996/131071996
[pid=35676] ppid=35672 vsize=113236 memory=91772 CPUtime=0.68 cores=1,3
/proc/35676/stat : 35676 (fscip) R 35672 35676 35608 0 -1 4194304 18110 0 0 0 61 7 0 0 20 0 1 0 5635029 115953664 22943 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
/proc/35676/statm: 28309 22943 2774 3035 0 24705 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 113236 KiB
Current children cumulated memory: 91772 KiB
[startup+1.50114 s]
/proc/loadavg: 1.34 1.28 2.17 5/248 35688
/proc/meminfo: memFree=127502888/131655788 swapFree=131071996/131071996
[pid=35676] ppid=35672 vsize=195380 memory=144808 CPUtime=1.45 cores=1,3
/proc/35676/stat : 35676 (fscip) S 35672 35676 35608 0 -1 1077936128 33625 0 0 0 133 12 0 0 20 0 3 0 5635029 200069120 36202 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
/proc/35676/statm: 48845 36202 2950 3035 0 41682 0
[pid=35676/tid=35685] ppid=35672 vsize=195380 memory=4204 CPUtime=0.64 cores=1,3
/proc/35676/task/35685/stat : 35685 (fscip) R 35672 35676 35608 0 -1 4194368 12415 0 0 0 60 4 0 0 20 0 3 0 5635108 200069120 36202 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
[pid=35676/tid=35687] ppid=35672 vsize=195380 memory=11440 CPUtime=0 cores=1,3
/proc/35676/task/35687/stat : 35687 (fscip) S 35672 35676 35608 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5635117 200069120 36202 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 195380 KiB
Current children cumulated memory: 144808 KiB
[startup+3.11375 s]
/proc/loadavg: 1.34 1.28 2.17 5/250 35692
/proc/meminfo: memFree=127164428/131655788 swapFree=131071996/131071996
[pid=35676] ppid=35672 vsize=195380 memory=149796 CPUtime=3.05 cores=1,3
/proc/35676/stat : 35676 (fscip) S 35672 35676 35608 0 -1 1077936128 41647 0 0 0 292 13 0 0 20 0 3 0 5635029 200069120 37449 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
/proc/35676/statm: 48845 37449 2998 3035 0 43610 0
[pid=35676/tid=35685] ppid=35672 vsize=195380 memory=16104 CPUtime=2.24 cores=1,3
/proc/35676/task/35685/stat : 35685 (fscip) R 35672 35676 35608 0 -1 4194368 20303 0 0 0 219 5 0 0 20 0 3 0 5635108 200069120 37449 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
[pid=35676/tid=35687] ppid=35672 vsize=195380 memory=96964 CPUtime=0 cores=1,3
/proc/35676/task/35687/stat : 35687 (fscip) S 35672 35676 35608 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 5635117 200069120 37449 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 195380 KiB
Current children cumulated memory: 149796 KiB
[startup+6.30038 s]
/proc/loadavg: 1.55 1.33 2.18 5/250 35692
/proc/meminfo: memFree=127021176/131655788 swapFree=131071996/131071996
[pid=35676] ppid=35672 vsize=260916 memory=185772 CPUtime=6.23 cores=1,3
/proc/35676/stat : 35676 (fscip) S 35672 35676 35608 0 -1 1077936128 57970 0 0 0 607 16 0 0 20 0 3 0 5635029 267177984 46443 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
/proc/35676/statm: 65229 46443 2998 3035 0 55809 0
[pid=35676/tid=35685] ppid=35672 vsize=260916 memory=12968 CPUtime=5.41 cores=1,3
/proc/35676/task/35685/stat : 35685 (fscip) R 35672 35676 35608 0 -1 4194368 36576 0 0 0 534 7 0 0 20 0 3 0 5635108 267177984 46443 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
[pid=35676/tid=35687] ppid=35672 vsize=260916 memory=11440 CPUtime=0 cores=1,3
/proc/35676/task/35687/stat : 35687 (fscip) S 35672 35676 35608 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 5635117 267177984 46443 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 260916 KiB
Current children cumulated memory: 185772 KiB
[startup+12.7004 s]
/proc/loadavg: 1.83 1.39 2.20 5/250 35692
/proc/meminfo: memFree=126932028/131655788 swapFree=131071996/131071996
[pid=35676] ppid=35672 vsize=260916 memory=207148 CPUtime=12.61 cores=1,3
/proc/35676/stat : 35676 (fscip) S 35672 35676 35608 0 -1 1077936128 92828 0 0 0 1242 19 0 0 20 0 3 0 5635029 267177984 51787 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
/proc/35676/statm: 65229 51787 3014 3035 0 61444 0
[pid=35676/tid=35685] ppid=35672 vsize=260916 memory=-7234869542979200121 CPUtime=11.8 cores=1,3
/proc/35676/task/35685/stat : 35685 (fscip) R 35672 35676 35608 0 -1 4194368 71236 0 0 0 1169 11 0 0 20 0 3 0 5635108 267177984 51787 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
[pid=35676/tid=35687] ppid=35672 vsize=260916 memory=0 CPUtime=0 cores=1,3
/proc/35676/task/35687/stat : 35687 (fscip) S 35672 35676 35608 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 5635117 267177984 51787 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 260916 KiB
Current children cumulated memory: 207148 KiB
[startup+25.5004 s]
/proc/loadavg: 2.16 1.47 2.22 5/250 35695
/proc/meminfo: memFree=126797472/131655788 swapFree=131071996/131071996
[pid=35676] ppid=35672 vsize=331332 memory=217784 CPUtime=25.36 cores=1,3
/proc/35676/stat : 35676 (fscip) S 35672 35676 35608 0 -1 1077936128 130287 0 0 0 2514 22 0 0 20 0 3 0 5635029 339283968 54446 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
/proc/35676/statm: 82833 54446 3014 3035 0 64788 0
[pid=35676/tid=35685] ppid=35672 vsize=331332 memory=0 CPUtime=24.54 cores=1,3
/proc/35676/task/35685/stat : 35685 (fscip) R 35672 35676 35608 0 -1 4194368 108633 0 0 0 2441 13 0 0 20 0 3 0 5635108 339283968 54446 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
[pid=35676/tid=35687] ppid=35672 vsize=331332 memory=214732 CPUtime=0 cores=1,3
/proc/35676/task/35687/stat : 35687 (fscip) S 35672 35676 35608 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 5635117 339283968 54446 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 331332 KiB
Current children cumulated memory: 217784 KiB
[startup+51.1134 s]
/proc/loadavg: 2.89 1.72 2.28 5/250 35698
/proc/meminfo: memFree=126699428/131655788 swapFree=131071996/131071996
[pid=35676] ppid=35672 vsize=344452 memory=244816 CPUtime=50.86 cores=1,3
/proc/35676/stat : 35676 (fscip) S 35672 35676 35608 0 -1 1077936128 184169 0 0 0 5058 28 0 0 20 0 3 0 5635029 352718848 61204 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
/proc/35676/statm: 86113 61204 3014 3035 0 71909 0
[pid=35676/tid=35685] ppid=35672 vsize=344452 memory=233308 CPUtime=50.04 cores=1,3
/proc/35676/task/35685/stat : 35685 (fscip) R 35672 35676 35608 0 -1 4194368 162406 0 0 0 4985 19 0 0 20 0 3 0 5635108 352718848 61204 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
[pid=35676/tid=35687] ppid=35672 vsize=344452 memory=0 CPUtime=0 cores=1,3
/proc/35676/task/35687/stat : 35687 (fscip) S 35672 35676 35608 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 5635117 352718848 61204 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 344452 KiB
Current children cumulated memory: 244816 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 2.09 2.37 5/250 35708
/proc/meminfo: memFree=126524260/131655788 swapFree=131071996/131071996
[pid=35676] ppid=35672 vsize=423092 memory=305924 CPUtime=101.86 cores=1,3
/proc/35676/stat : 35676 (fscip) S 35672 35676 35608 0 -1 1077936128 253878 0 0 0 10150 36 0 0 20 0 3 0 5635029 433246208 76481 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
/proc/35676/statm: 105773 76481 3318 3035 0 89010 0
[pid=35676/tid=35685] ppid=35672 vsize=423092 memory=284540 CPUtime=101.04 cores=1,3
/proc/35676/task/35685/stat : 35685 (fscip) R 35672 35676 35608 0 -1 4194368 232048 0 0 0 10077 27 0 0 20 0 3 0 5635108 433246208 76481 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
[pid=35676/tid=35687] ppid=35672 vsize=423092 memory=284540 CPUtime=0 cores=1,3
/proc/35676/task/35687/stat : 35687 (fscip) S 35672 35676 35608 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 5635117 433246208 76481 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 423092 KiB
Current children cumulated memory: 305924 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.45 2.48 5/252 35722
/proc/meminfo: memFree=126387976/131655788 swapFree=131071996/131071996
[pid=35676] ppid=35672 vsize=445740 memory=342468 CPUtime=161.63 cores=1,3
/proc/35676/stat : 35676 (fscip) S 35672 35676 35608 0 -1 1077936128 297784 0 0 0 16122 41 0 0 20 0 3 0 5635029 456437760 85617 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
/proc/35676/statm: 111435 85617 3318 3035 0 99067 0
[pid=35676/tid=35685] ppid=35672 vsize=445740 memory=11440 CPUtime=160.8 cores=1,3
/proc/35676/task/35685/stat : 35685 (fscip) R 35672 35676 35608 0 -1 4194368 275895 0 0 0 16048 32 0 0 20 0 3 0 5635108 456437760 85617 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
[pid=35676/tid=35687] ppid=35672 vsize=445740 memory=342424 CPUtime=0 cores=1,3
/proc/35676/task/35687/stat : 35687 (fscip) S 35672 35676 35608 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 5635117 456437760 85617 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 445740 KiB
Current children cumulated memory: 342468 KiB
[startup+222.3 s]
/proc/loadavg: 4.89 2.98 2.67 5/252 35734
/proc/meminfo: memFree=126212844/131655788 swapFree=131071996/131071996
[pid=35676] ppid=35672 vsize=469388 memory=366532 CPUtime=221.41 cores=1,3
/proc/35676/stat : 35676 (fscip) S 35672 35676 35608 0 -1 1077936128 354031 0 0 0 22092 49 0 0 20 0 3 0 5635029 480653312 91633 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
/proc/35676/statm: 117347 91633 3318 3035 0 108063 0
[pid=35676/tid=35685] ppid=35672 vsize=469388 memory=357440 CPUtime=220.57 cores=1,3
/proc/35676/task/35685/stat : 35685 (fscip) R 35672 35676 35608 0 -1 4194368 332108 0 0 0 22018 39 0 0 20 0 3 0 5635108 480653312 91633 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
[pid=35676/tid=35687] ppid=35672 vsize=469388 memory=361424 CPUtime=0 cores=1,3
/proc/35676/task/35687/stat : 35687 (fscip) S 35672 35676 35608 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 5635117 480653312 91633 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
Current children cumulated CPU time: 221.41 s
Current children cumulated vsize: 469388 KiB
Current children cumulated memory: 366532 KiB
################
# More data... #
################
[pid=35676] ppid=35672 vsize=798988 memory=702796 CPUtime=3451.06 cores=1,3
/proc/35676/stat : 35676 (fscip) S 35672 35676 35608 0 -1 1077936128 1257943 0 0 0 344830 276 0 0 20 0 3 0 5635029 818163712 175699 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
/proc/35676/statm: 199747 175699 3318 3035 0 187552 0
[pid=35676/tid=35685] ppid=35672 vsize=798988 memory=700248 CPUtime=3449.92 cores=1,3
/proc/35676/task/35685/stat : 35685 (fscip) R 35672 35676 35608 0 -1 4194368 1234849 0 0 0 344736 256 0 0 20 0 3 0 5635108 818163712 175699 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
[pid=35676/tid=35687] ppid=35672 vsize=798988 memory=700248 CPUtime=0.05 cores=1,3
/proc/35676/task/35687/stat : 35687 (fscip) S 35672 35676 35608 0 -1 1077936192 144 0 0 0 2 3 0 0 20 0 3 0 5635117 818163712 175699 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
Current children cumulated CPU time: 3451.06 s
Current children cumulated vsize: 798988 KiB
Current children cumulated memory: 702796 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/252 37533
/proc/meminfo: memFree=120897604/131655788 swapFree=131071996/131071996
[pid=35676] ppid=35672 vsize=798988 memory=722668 CPUtime=3510.9 cores=1,3
/proc/35676/stat : 35676 (fscip) S 35672 35676 35608 0 -1 1077936128 1266181 0 0 0 350810 280 0 0 20 0 3 0 5635029 818163712 180667 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
/proc/35676/statm: 199747 180667 3318 3035 0 188044 0
[pid=35676/tid=35685] ppid=35672 vsize=798988 memory=11440 CPUtime=3509.75 cores=1,3
/proc/35676/task/35685/stat : 35685 (fscip) R 35672 35676 35608 0 -1 4194368 1243068 0 0 0 350716 259 0 0 20 0 3 0 5635108 818163712 180667 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
[pid=35676/tid=35687] ppid=35672 vsize=798988 memory=702796 CPUtime=0.06 cores=1,3
/proc/35676/task/35687/stat : 35687 (fscip) S 35672 35676 35608 0 -1 1077936192 146 0 0 0 2 4 0 0 20 0 3 0 5635117 818163712 180667 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
Current children cumulated CPU time: 3510.9 s
Current children cumulated vsize: 798988 KiB
Current children cumulated memory: 722668 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/252 37545
/proc/meminfo: memFree=120791752/131655788 swapFree=131071996/131071996
[pid=35676] ppid=35672 vsize=798988 memory=722668 CPUtime=3570.73 cores=1,3
/proc/35676/stat : 35676 (fscip) S 35672 35676 35608 0 -1 1077936128 1268345 0 0 0 356790 283 0 0 20 0 3 0 5635029 818163712 180667 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
/proc/35676/statm: 199747 180667 3318 3035 0 188044 0
[pid=35676/tid=35685] ppid=35672 vsize=798988 memory=722668 CPUtime=3569.57 cores=1,3
/proc/35676/task/35685/stat : 35685 (fscip) R 35672 35676 35608 0 -1 4194368 1245211 0 0 0 356696 261 0 0 20 0 3 0 5635108 818163712 180667 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
[pid=35676/tid=35687] ppid=35672 vsize=798988 memory=12968 CPUtime=0.06 cores=1,3
/proc/35676/task/35687/stat : 35687 (fscip) S 35672 35676 35608 0 -1 1077936192 148 0 0 0 2 4 0 0 20 0 3 0 5635117 818163712 180667 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
Current children cumulated CPU time: 3570.73 s
Current children cumulated vsize: 798988 KiB
Current children cumulated memory: 722668 KiB
[startup+3598.31 s]
# the end of solver process 35676 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.85 s, system=2.84416 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.11 4.09 5/252 37546
/proc/meminfo: memFree=120789272/131655788 swapFree=131071996/131071996
[pid=35676] ppid=35672 vsize=798988 memory=722668 CPUtime=3572.44 cores=1,3
/proc/35676/stat : 35676 (fscip) S 35672 35676 35608 0 -1 1077936128 1268594 0 0 0 356961 283 0 0 20 0 3 0 5635029 818163712 180667 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
/proc/35676/statm: 199747 180667 3318 3035 0 188044 0
[pid=35676/tid=35685] ppid=35672 vsize=798988 memory=-7234869542979198585 CPUtime=3571.28 cores=1,3
/proc/35676/task/35685/stat : 35685 (fscip) R 35672 35676 35608 0 -1 4194368 1245460 0 0 0 356867 261 0 0 20 0 3 0 5635108 818163712 180667 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
[pid=35676/tid=35687] ppid=35672 vsize=798988 memory=-4050210904893537938 CPUtime=0.06 cores=1,3
/proc/35676/task/35687/stat : 35687 (fscip) S 35672 35676 35608 0 -1 1077936192 148 0 0 0 2 4 0 0 20 0 3 0 5635117 818163712 180667 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
Current children cumulated CPU time: 3572.44 s
Current children cumulated vsize: 798988 KiB
Current children cumulated memory: 722668 KiB
[startup+3590.4 s]
/proc/loadavg: 4.18 4.12 4.10 5/249 37546
/proc/meminfo: memFree=120782200/131655788 swapFree=131071996/131071996
[pid=35676] ppid=35672 vsize=798988 memory=722668 CPUtime=3578.8 cores=1,3
/proc/35676/stat : 35676 (fscip) S 35672 35676 35608 0 -1 1077936128 1268759 0 0 0 357597 283 0 0 20 0 3 0 5635029 818163712 180667 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
/proc/35676/statm: 199747 180667 3318 3035 0 188044 0
[pid=35676/tid=35685] ppid=35672 vsize=798988 memory=722668 CPUtime=3577.64 cores=1,3
/proc/35676/task/35685/stat : 35685 (fscip) R 35672 35676 35608 0 -1 4194368 1245625 0 0 0 357503 261 0 0 20 0 3 0 5635108 818163712 180667 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
[pid=35676/tid=35687] ppid=35672 vsize=798988 memory=11440 CPUtime=0.06 cores=1,3
/proc/35676/task/35687/stat : 35687 (fscip) S 35672 35676 35608 0 -1 1077936192 148 0 0 0 2 4 0 0 20 0 3 0 5635117 818163712 180667 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
Current children cumulated CPU time: 3578.8 s
Current children cumulated vsize: 798988 KiB
Current children cumulated memory: 722668 KiB
[startup+3593.6 s]
/proc/loadavg: 4.17 4.12 4.09 5/249 37548
/proc/meminfo: memFree=120778528/131655788 swapFree=131071996/131071996
[pid=35676] ppid=35672 vsize=798988 memory=722668 CPUtime=3581.99 cores=1,3
/proc/35676/stat : 35676 (fscip) S 35672 35676 35608 0 -1 1077936128 1268826 0 0 0 357916 283 0 0 20 0 3 0 5635029 818163712 180667 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
/proc/35676/statm: 199747 180667 3318 3035 0 188044 0
[pid=35676/tid=35685] ppid=35672 vsize=798988 memory=-7234869542979200121 CPUtime=3580.83 cores=1,3
/proc/35676/task/35685/stat : 35685 (fscip) R 35672 35676 35608 0 -1 4194368 1245692 0 0 0 357822 261 0 0 20 0 3 0 5635108 818163712 180667 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
[pid=35676/tid=35687] ppid=35672 vsize=798988 memory=722668 CPUtime=0.06 cores=1,3
/proc/35676/task/35687/stat : 35687 (fscip) S 35672 35676 35608 0 -1 1077936192 148 0 0 0 2 4 0 0 20 0 3 0 5635117 818163712 180667 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
Current children cumulated CPU time: 3581.99 s
Current children cumulated vsize: 798988 KiB
Current children cumulated memory: 722668 KiB
[startup+3596.8 s]
/proc/loadavg: 4.17 4.12 4.09 5/249 37548
/proc/meminfo: memFree=120775208/131655788 swapFree=131071996/131071996
[pid=35676] ppid=35672 vsize=798988 memory=722668 CPUtime=3585.18 cores=1,3
/proc/35676/stat : 35676 (fscip) S 35672 35676 35608 0 -1 1077936128 1269107 0 0 0 358235 283 0 0 20 0 3 0 5635029 818163712 180667 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
/proc/35676/statm: 199747 180667 3318 3035 0 188044 0
[pid=35676/tid=35685] ppid=35672 vsize=798988 memory=722668 CPUtime=3584.02 cores=1,3
/proc/35676/task/35685/stat : 35685 (fscip) R 35672 35676 35608 0 -1 4194368 1245973 0 0 0 358140 262 0 0 20 0 3 0 5635108 818163712 180667 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
[pid=35676/tid=35687] ppid=35672 vsize=798988 memory=722668 CPUtime=0.06 cores=1,3
/proc/35676/task/35687/stat : 35687 (fscip) S 35672 35676 35608 0 -1 1077936192 148 0 0 0 2 4 0 0 20 0 3 0 5635117 818163712 180667 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
Current children cumulated CPU time: 3585.18 s
Current children cumulated vsize: 798988 KiB
Current children cumulated memory: 722668 KiB
[startup+3597.6 s]
/proc/loadavg: 4.15 4.12 4.09 5/249 37548
/proc/meminfo: memFree=120775092/131655788 swapFree=131071996/131071996
[pid=35676] ppid=35672 vsize=798988 memory=722668 CPUtime=3585.98 cores=1,3
/proc/35676/stat : 35676 (fscip) S 35672 35676 35608 0 -1 1077936128 1269108 0 0 0 358315 283 0 0 20 0 3 0 5635029 818163712 180667 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
/proc/35676/statm: 199747 180667 3318 3035 0 188044 0
[pid=35676/tid=35685] ppid=35672 vsize=798988 memory=12968 CPUtime=3584.82 cores=1,3
/proc/35676/task/35685/stat : 35685 (fscip) R 35672 35676 35608 0 -1 4194368 1245974 0 0 0 358220 262 0 0 20 0 3 0 5635108 818163712 180667 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
[pid=35676/tid=35687] ppid=35672 vsize=798988 memory=2276 CPUtime=0.06 cores=1,3
/proc/35676/task/35687/stat : 35687 (fscip) S 35672 35676 35608 0 -1 1077936192 148 0 0 0 2 4 0 0 20 0 3 0 5635117 818163712 180667 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
Current children cumulated CPU time: 3585.98 s
Current children cumulated vsize: 798988 KiB
Current children cumulated memory: 722668 KiB
[startup+3598 s]*
/proc/loadavg: 4.15 4.12 4.09 5/249 37548
/proc/meminfo: memFree=120775076/131655788 swapFree=131071996/131071996
[pid=35676] ppid=35672 vsize=798988 memory=722668 CPUtime=3586.39 cores=1,3
/proc/35676/stat : 35676 (fscip) S 35672 35676 35608 0 -1 1077936128 1269270 0 0 0 358356 283 0 0 20 0 3 0 5635029 818163712 180667 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
/proc/35676/statm: 199747 180667 3318 3035 0 188044 0
[pid=35676/tid=35685] ppid=35672 vsize=798988 memory=1655556 CPUtime=3585.23 cores=1,3
/proc/35676/task/35685/stat : 35685 (fscip) R 35672 35676 35608 0 -1 4194368 1246134 0 0 0 358261 262 0 0 20 0 3 0 5635108 818163712 180667 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
[pid=35676/tid=35687] ppid=35672 vsize=798988 memory=2776 CPUtime=0.06 cores=1,3
/proc/35676/task/35687/stat : 35687 (fscip) S 35672 35676 35608 0 -1 1077936192 148 0 0 0 2 4 0 0 20 0 3 0 5635117 818163712 180667 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
Current children cumulated CPU time: 3586.39 s
Current children cumulated vsize: 798988 KiB
Current children cumulated memory: 722668 KiB
[startup+3598.2 s]
/proc/loadavg: 4.15 4.12 4.09 5/249 37548
/proc/meminfo: memFree=120775076/131655788 swapFree=131071996/131071996
[pid=35676] ppid=35672 vsize=798988 memory=722668 CPUtime=3586.57 cores=1,3
/proc/35676/stat : 35676 (fscip) S 35672 35676 35608 0 -1 1077936128 1271314 0 0 0 358374 283 0 0 20 0 3 0 5635029 818163712 180667 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
/proc/35676/statm: 199747 180667 3318 3035 0 188044 0
[pid=35676/tid=35685] ppid=35672 vsize=798988 memory=11412 CPUtime=3585.42 cores=1,3
/proc/35676/task/35685/stat : 35685 (fscip) R 35672 35676 35608 0 -1 4194368 1248177 0 0 0 358280 262 0 0 20 0 3 0 5635108 818163712 180667 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
[pid=35676/tid=35687] ppid=35672 vsize=798988 memory=11412 CPUtime=0.06 cores=1,3
/proc/35676/task/35687/stat : 35687 (fscip) S 35672 35676 35608 0 -1 1077936192 148 0 0 0 2 4 0 0 20 0 3 0 5635117 818163712 180667 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
Current children cumulated CPU time: 3586.57 s
Current children cumulated vsize: 798988 KiB
Current children cumulated memory: 722668 KiB
[startup+3598.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/249 37548
/proc/meminfo: memFree=120775076/131655788 swapFree=131071996/131071996
[pid=35676] ppid=35672 vsize=453032 memory=421416 CPUtime=3586.67 cores=1,3
/proc/35676/stat : 35676 (fscip) R 35672 35676 35608 0 -1 4194304 1271829 0 0 0 358384 283 0 0 20 0 2 0 5635029 463904768 105354 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
/proc/35676/statm: 113258 105354 3318 3035 0 109457 0
[pid=35676/tid=35687] ppid=35672 vsize=453032 memory=722668 CPUtime=0.06 cores=1,3
/proc/35676/task/35687/stat : 35687 (fscip) S 35672 35676 35608 0 -1 1077936192 148 0 0 0 2 4 0 0 20 0 2 0 5635117 463904768 105354 134679101440 4194304 16623229 140720662173936 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 26599424 140720662176790 140720662176906 140720662176906 140720662183920 0
Current children cumulated CPU time: 3586.67 s
Current children cumulated vsize: 453032 KiB
Current children cumulated memory: 421416 KiB
Child status: 0
Real time (s): 3598.31
CPU time (s): 3586.7
CPU user time (s): 3583.85
CPU system time (s): 2.84416
CPU usage (%): 99.6772
Max. virtual memory (cumulated for all children) (KiB): 801036
Max. memory (cumulated for all children) (KiB): 725292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.85
system time used= 2.84416
maximum resident set size= 725292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1271869
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= 10203
involuntary context switches= 1610
# summary of solver processes directly reported to runsolver:
# pid: 35676
# total CPU time (s): 3586.7
# total CPU user time (s): 3583.85
# total CPU system time (s): 2.84416
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3197 second user time and 36.513 second system time
The end
Begin job on nodeC005 at 2024-07-31 03:46:20
IDJOB=4464560
IDBENCH=176148
IDSOLVER=3092
FILE ID=nodeC005/4464560-1722390380
RUNJOBID= nodeC005-1722390380-35620
SLURM_JOB_ID= 8249878
Free space on /tmp= 723732 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=13-t=11.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464560-1722390380/watcher-4464560-1722390380 -o /tmp/evaluation-result-4464560-1722390380/solver-4464560-1722390380 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722390380-35620 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464560-1722390380.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9b5c30834c5e817deb28aeb7d8484ce1
RANDOM SEED=140675488
nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.235
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.72
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.209
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.37
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.210
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.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.288
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.236
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.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.495
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.37
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.211
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.72
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.210
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127935496 kB
MemAvailable: 129999932 kB
Buffers: 111784 kB
Cached: 2759508 kB
SwapCached: 0 kB
Active: 271588 kB
Inactive: 2953404 kB
Active(anon): 1368 kB
Inactive(anon): 373688 kB
Active(file): 270220 kB
Inactive(file): 2579716 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 115348 kB
Writeback: 12 kB
AnonPages: 353812 kB
Mapped: 97928 kB
Shmem: 21320 kB
KReclaimable: 110088 kB
Slab: 192872 kB
SReclaimable: 110088 kB
SUnreclaim: 82784 kB
KernelStack: 3716 kB
PageTables: 10060 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 734128 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7296 kB
HardwareCorrupted: 0 kB
AnonHugePages: 227328 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: 187208 kB
DirectMap2M: 14397440 kB
DirectMap1G: 121634816 kB
Free space on /tmp at the end= 723668 MiB
End job on nodeC005 at 2024-07-31 04:46:19