0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 27111424, getVmSize() = 27111424, SCIPgetMemUsed() = 4032095, SCIPgetMemTotal() = 5507223, SCIPgetMemExternEstim() = 2944118
0.00/0.01 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.04 c ** Estimated virtualMemUsedAtSolver = 20196010, getVmSize() = 33476608, SCIPgetMemUsed() = 5509526, SCIPgetMemTotal() = 10345246, SCIPgetMemExternEstim() = 2944118
0.00/0.04 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.04 c Original Problem :
0.00/0.04 c Problem name : instance-4449938-1721454790
0.00/0.04 c Variables : 171 (171 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.04 c Constraints : 2799
0.00/0.04 c Objective sense : minimize
0.00/0.04 c Presolved Problem :
0.00/0.04 c Variables : 171 (171 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.04 c Constraints : 2799
0.00/0.04 c Constraints : Number
0.00/0.04 c setppc : 9
0.00/0.04 c logicor : 2790
0.00/0.04 c ** Instance transfer method used: 0
0.00/0.04 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.05 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.05 c Nodes Active
0.00/0.05 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.00/0.08 c * 0 0 1 1 9.0000 - -
0.00/0.08 c * 0 0 1 1 8.0000 - -
0.00/0.08 c * 0 0 1 1 4.0000 - -
5.17/5.25 c 5 509 402 1 4.0000 0.0000 -
10.26/10.32 c 10 1384 153 1 4.0000 0.0000 -
15.34/15.43 c 15 2453 1048 1 4.0000 0.0000 -
20.43/20.51 c 21 3557 1814 1 4.0000 0.0000 -
25.52/25.62 c 26 4734 2631 1 4.0000 0.0000 -
30.60/30.76 c 31 6340 3566 1 4.0000 0.0000 -
35.69/35.83 c 36 8130 4709 1 4.0000 0.0000 -
40.77/40.95 c 41 10049 5682 1 4.0000 0.0000 -
45.96/46.11 c 46 12329 6743 1 4.0000 0.0000 -
51.04/51.23 c 51 14406 7858 1 4.0000 0.0000 -
56.12/56.33 c 56 16635 9024 1 4.0000 0.0000 -
61.21/61.40 c 61 18622 9921 1 4.0000 0.0000 -
66.19/66.47 c 66 20379 10834 1 4.0000 0.0000 -
71.48/71.70 c 72 22036 11808 1 4.0000 0.0000 -
76.57/76.85 c 77 23859 12789 1 4.0000 0.0000 -
81.65/81.90 c 82 26101 14224 1 4.0000 0.0000 -
86.84/87.11 c 87 27824 15164 1 4.0000 0.0000 -
92.01/92.30 c 92 29720 16165 1 4.0000 0.0000 -
97.10/97.43 c 97 31627 16976 1 4.0000 0.0000 -
102.29/102.60 c 103 33103 17683 1 4.0000 0.0000 -
107.27/107.66 c 108 34528 18369 1 4.0000 0.0000 -
112.35/112.72 c 113 36514 19404 1 4.0000 0.0000 -
117.53/117.92 c 118 38269 20383 1 4.0000 0.0000 -
122.53/122.97 c 123 40008 21297 1 4.0000 0.0000 -
127.61/128.06 c 128 42066 22269 1 4.0000 0.0000 -
132.70/133.18 c 133 43873 23191 1 4.0000 0.0000 -
137.87/138.37 c 138 45829 24120 1 4.0000 0.0000 -
142.95/143.46 c 143 47812 24902 1 4.0000 0.0000 -
148.04/148.54 c 149 50016 25935 1 4.0000 0.0000 -
153.12/153.65 c 154 51533 26614 1 4.0000 0.0000 -
158.21/158.71 c 159 53963 27528 1 4.0000 0.0000 -
163.29/163.81 c 164 55338 28280 1 4.0000 0.0000 -
168.38/168.93 c 169 56407 28765 1 4.0000 0.0000 -
173.57/174.14 c 174 58224 29495 1 4.0000 0.0000 -
178.65/179.21 c 179 59775 30204 1 4.0000 0.0000 -
183.74/184.36 c 184 61462 30932 1 4.0000 0.0000 -
188.82/189.43 c 189 63475 31669 1 4.0000 0.0000 -
194.01/194.61 c 195 65073 32318 1 4.0000 0.0000 -
199.09/199.71 c 200 66710 33054 1 4.0000 0.0000 -
204.18/204.80 c 205 68677 33779 1 4.0000 0.0000 -
209.26/209.96 c 210 70422 34440 1 4.0000 0.0000 -
214.35/215.09 c 215 72326 35186 1 4.0000 0.0000 -
219.44/220.15 c 220 74455 36013 1 4.0000 0.0000 -
224.61/225.32 c 225 76013 36654 1 4.0000 0.0000 -
229.70/230.45 c 230 77982 37483 1 4.0000 0.0000 -
234.78/235.59 c 236 79907 38488 1 4.0000 0.0000 -
240.07/240.83 c 241 81524 39264 1 4.0000 0.0000 -
245.06/245.89 c 246 83792 40239 1 4.0000 0.0000 -
250.25/251.08 c 251 85421 40863 1 4.0000 0.0000 -
255.53/256.31 c 256 87159 41501 1 4.0000 0.0000 -
260.51/261.38 c 261 88872 42186 1 4.0000 0.0000 -
265.79/266.62 c 267 90735 42943 1 4.0000 0.0000 -
270.78/271.67 c 272 93176 43805 1 4.0000 0.0000 -
275.86/276.77 c 277 94634 44460 1 4.0000 0.0000 -
280.95/281.84 c 282 96690 45516 1 4.0000 0.0000 -
286.03/286.96 c 287 98942 46452 1 4.0000 0.0000 -
291.23/292.11 c 292 100845 47264 1 4.0000 0.0000 -
296.30/297.28 c 297 102720 48056 1 4.0000 0.0000 -
301.49/302.50 c 302 104481 48822 1 4.0000 0.0000 -
306.57/307.58 c 308 106380 49505 1 4.0000 0.0000 -
311.76/312.74 c 313 108025 50276 1 4.0000 0.0000 -
316.94/317.91 c 318 110322 51157 1 4.0000 0.0000 -
322.04/323.09 c 323 112833 52135 1 4.0000 0.0000 -
327.12/328.19 c 328 114733 52855 1 4.0000 0.0000 -
332.20/333.25 c 333 116949 53700 1 4.0000 0.0000 -
337.28/338.39 c 338 118913 54489 1 4.0000 0.0000 -
342.48/343.58 c 344 121218 55356 1 4.0000 0.0000 -
347.55/348.69 c 349 123423 56268 1 4.0000 0.0000 -
352.64/353.78 c 354 125530 57020 1 4.0000 0.0000 -
357.73/358.87 c 359 127773 57865 1 4.0000 0.0000 -
362.92/364.09 c 364 130499 58835 1 4.0000 0.0000 -
368.00/369.19 c 369 132942 59948 1 4.0000 0.0000 -
373.18/374.32 c 374 135230 60740 1 4.0000 0.0000 -
378.27/379.43 c 379 137542 61649 1 4.0000 0.0000 -
383.45/384.61 c 385 139358 62265 1 4.0000 0.0000 -
388.54/389.79 c 390 141941 63310 1 4.0000 0.0000 -
393.72/394.93 c 395 144115 64172 1 4.0000 0.0000 -
398.81/400.06 c 400 146610 65112 1 4.0000 0.0000 -
403.90/405.13 c 405 149143 66069 1 4.0000 0.0000 -
408.98/410.28 c 410 152052 67009 1 4.0000 0.0000 -
414.06/415.38 c 415 154128 67775 1 4.0000 0.0000 -
419.25/420.59 c 421 155837 68619 1 4.0000 0.0000 -
424.44/425.72 c 426 158211 69586 1 4.0000 0.0000 -
429.62/430.97 c 431 160567 70492 1 4.0000 0.0000 -
434.71/436.10 c 436 163545 71607 1 4.0000 0.0000 -
439.79/441.18 c 441 164979 72174 1 4.0000 0.0000 -
444.98/446.34 c 446 167284 73030 1 4.0000 0.0000 -
450.06/451.49 c 452 169644 73997 1 4.0000 0.0000 -
455.15/456.59 c 457 171129 74620 1 4.0000 0.0000 -
460.24/461.69 c 462 173087 75347 1 4.0000 0.0000 -
465.32/466.78 c 467 175505 76294 1 4.0000 0.0000 -
470.50/471.94 c 472 177789 77139 1 4.0000 0.0000 -
475.60/477.06 c 477 180005 77969 1 4.0000 0.0000 -
480.68/482.19 c 482 182733 78941 1 4.0000 0.0000 -
485.86/487.35 c 487 185660 79907 1 4.0000 0.0000 -
491.05/492.59 c 493 188333 80843 1 4.0000 0.0000 -
496.13/497.66 c 498 191316 81689 1 4.0000 0.0000 -
501.32/502.87 c 503 193367 82432 1 4.0000 0.0000 -
506.40/507.95 c 508 196160 83490 1 4.0000 0.0000 -
511.49/513.02 c 513 198390 84262 1 4.0000 0.0000 -
516.57/518.18 c 518 199963 85018 1 4.0000 0.0000 -
521.75/523.37 c 523 202927 86144 1 4.0000 0.0000 -
526.93/528.56 c 529 204930 86976 1 4.0000 0.0000 -
532.11/533.75 c 534 207475 87930 1 4.0000 0.0000 -
537.30/538.96 c 539 210249 88862 1 4.0000 0.0000 -
542.48/544.12 c 544 213597 89878 1 4.0000 0.0000 -
547.56/549.21 c 549 215447 90619 1 4.0000 0.0000 -
552.74/554.40 c 554 216951 91403 1 4.0000 0.0000 -
557.72/559.47 c 559 219115 92115 1 4.0000 0.0000 -
563.01/564.75 c 565 221201 93137 1 4.0000 0.0000 -
568.19/569.91 c 570 223567 94014 1 4.0000 0.0000 -
573.28/575.02 c 575 225884 94960 1 4.0000 0.0000 -
578.45/580.26 c 580 227665 95673 1 4.0000 0.0000 -
583.63/585.46 c 585 229360 96345 1 4.0000 0.0000 -
588.71/590.59 c 591 231627 97217 1 4.0000 0.0000 -
593.90/595.74 c 596 233629 97891 1 4.0000 0.0000 -
599.08/600.90 c 601 235721 98613 1 4.0000 0.0000 -
604.16/606.00 c 606 238029 99364 1 4.0000 0.0000 -
609.25/611.15 c 611 240540 100217 1 4.0000 0.0000 -
614.42/616.33 c 616 242700 100993 1 4.0000 0.0000 -
619.71/621.60 c 622 244779 101738 1 4.0000 0.0000 -
624.79/626.72 c 627 246995 102517 1 4.0000 0.0000 -
629.97/631.94 c 632 249034 103085 1 4.0000 0.0000 -
635.05/637.07 c 637 251977 104016 1 4.0000 0.0000 -
640.23/642.27 c 642 254456 104680 1 4.0000 0.0000 -
645.51/647.53 c 648 256707 105387 1 4.0000 0.0000 -
650.79/652.83 c 653 259940 106291 1 4.0000 0.0000 -
655.87/657.95 c 658 262100 106942 1 4.0000 0.0000 -
661.06/663.17 c 663 264526 107819 1 4.0000 0.0000 -
666.23/668.36 c 668 266615 108384 1 4.0000 0.0000 -
671.62/673.70 c 674 268072 108702 1 4.0000 0.0000 -
676.90/679.08 c 679 269824 109019 1 4.0000 0.0000 -
682.28/684.43 c 684 271706 109541 1 4.0000 0.0000 -
687.46/689.68 c 690 272922 109901 1 4.0000 0.0000 -
692.74/694.98 c 695 274341 110266 1 4.0000 0.0000 -
698.03/700.23 c 700 276060 110956 1 4.0000 0.0000 -
703.20/705.44 c 705 278204 111753 1 4.0000 0.0000 -
708.29/710.59 c 711 279627 112160 1 4.0000 0.0000 -
713.57/715.80 c 716 281489 112679 1 4.0000 0.0000 -
718.66/720.91 c 721 283191 113169 1 4.0000 0.0000 -
723.84/726.19 c 726 284139 113354 1 4.0000 0.0000 -
729.02/731.32 c 731 285791 113644 1 4.0000 0.0000 -
734.10/736.46 c 736 287402 113927 1 4.0000 0.0000 -
739.29/741.68 c 742 289362 114343 1 4.0000 0.0000 -
744.47/746.84 c 747 290946 114840 1 4.0000 0.0000 -
749.67/752.05 c 752 292856 115258 1 4.0000 0.0000 -
754.95/757.34 c 757 294807 115739 1 4.0000 0.0000 -
760.13/762.50 c 762 296722 116233 1 4.0000 0.0000 -
765.21/767.64 c 768 298362 116793 1 4.0000 0.0000 -
770.50/772.90 c 773 300225 117310 1 4.0000 0.0000 -
775.59/778.04 c 778 301997 117912 1 4.0000 0.0000 -
780.78/783.21 c 783 303744 118512 1 4.0000 0.0000 -
785.86/788.35 c 788 305897 119287 1 4.0000 0.0000 -
790.94/793.44 c 793 307808 119882 1 4.0000 0.0000 -
796.13/798.67 c 799 309435 120434 1 4.0000 0.0000 -
801.31/803.85 c 804 311212 120931 1 4.0000 0.0000 -
806.60/809.13 c 809 312972 121638 1 4.0000 0.0000 -
811.89/814.41 c 814 315117 122293 1 4.0000 0.0000 -
816.97/819.50 c 820 317094 122993 1 4.0000 0.0000 -
822.16/824.77 c 825 318939 123592 1 4.0000 0.0000 -
827.45/830.05 c 830 320990 124120 1 4.0000 0.0000 -
832.84/835.42 c 835 323307 124859 1 4.0000 0.0000 -
837.92/840.57 c 841 325017 125508 1 4.0000 0.0000 -
843.00/845.67 c 846 327212 126128 1 4.0000 0.0000 -
848.18/850.88 c 851 330499 126924 1 4.0000 0.0000 -
853.67/856.39 c 856 332720 127553 1 4.0000 0.0000 -
858.95/861.60 c 862 334656 128135 1 4.0000 0.0000 -
864.15/866.88 c 867 335693 128623 1 4.0000 0.0000 -
869.43/872.16 c 872 337768 129344 1 4.0000 0.0000 -
874.62/877.37 c 877 339694 129996 1 4.0000 0.0000 -
879.90/882.61 c 883 341350 130513 1 4.0000 0.0000 -
884.99/887.73 c 888 343898 131264 1 4.0000 0.0000 -
890.17/892.99 c 893 346504 131932 1 4.0000 0.0000 -
895.36/898.16 c 898 348465 132517 1 4.0000 0.0000 -
900.84/903.61 c 904 349958 132981 1 4.0000 0.0000 -
905.92/908.79 c 909 351872 133559 1 4.0000 0.0000 -
911.22/914.08 c 914 353044 133989 1 4.0000 0.0000 -
916.40/919.29 c 919 355280 134624 1 4.0000 0.0000 -
921.68/924.53 c 925 357270 135231 1 4.0000 0.0000 -
926.77/929.63 c 930 358663 135595 1 4.0000 0.0000 -
931.95/934.81 c 935 360631 136149 1 4.0000 0.0000 -
937.15/940.08 c 940 362155 136550 1 4.0000 0.0000 -
942.42/945.32 c 945 364006 137100 1 4.0000 0.0000 -
947.51/950.42 c 950 365665 137660 1 4.0000 0.0000 -
952.70/955.67 c 956 367142 138265 1 4.0000 0.0000 -
957.88/960.87 c 961 368648 138734 1 4.0000 0.0000 -
962.97/965.97 c 966 370580 139347 1 4.0000 0.0000 -
968.25/971.27 c 971 372923 139923 1 4.0000 0.0000 -
973.44/976.46 c 976 374767 140512 1 4.0000 0.0000 -
978.63/981.63 c 982 376899 141100 1 4.0000 0.0000 -
983.91/986.94 c 987 379585 141746 1 4.0000 0.0000 -
989.10/992.19 c 992 381951 142536 1 4.0000 0.0000 -
994.27/997.38 c 997 384141 143203 1 4.0000 0.0000 -
999.67/1002.71 c 1003 385831 143679 1 4.0000 0.0000 -
1004.85/1007.94 c 1008 387767 144264 1 4.0000 0.0000 -
1009.94/1013.08 c 1013 389499 144838 1 4.0000 0.0000 -
1015.22/1018.39 c 1018 390887 145280 1 4.0000 0.0000 -
1020.50/1023.67 c 1024 392830 145832 1 4.0000 0.0000 -
1025.69/1028.88 c 1029 395193 146411 1 4.0000 0.0000 -
1031.17/1034.32 c 1034 397435 146985 1 4.0000 0.0000 -
1036.35/1039.52 c 1040 399730 147699 1 4.0000 0.0000 -
1041.54/1044.77 c 1045 401773 148311 1 4.0000 0.0000 -
1046.83/1050.01 c 1050 403774 148990 1 4.0000 0.0000 -
1051.92/1055.13 c 1055 405895 149525 1 4.0000 0.0000 -
1057.20/1060.46 c 1060 408003 150078 1 4.0000 0.0000 -
1062.48/1065.78 c 1066 410096 150629 1 4.0000 0.0000 -
1067.57/1070.84 c 1071 411819 151199 1 4.0000 0.0000 -
1072.65/1075.99 c 1076 414048 151789 1 4.0000 0.0000 -
1078.14/1081.45 c 1081 415178 152189 1 4.0000 0.0000 -
1083.52/1086.81 c 1087 417355 152797 1 4.0000 0.0000 -
1088.71/1092.00 c 1092 418883 153316 1 4.0000 0.0000 -
1093.89/1097.23 c 1097 420613 153891 1 4.0000 0.0000 -
1099.38/1102.70 c 1103 422834 154472 1 4.0000 0.0000 -
1104.77/1108.14 c 1108 424940 155153 1 4.0000 0.0000 -
1109.86/1113.27 c 1113 426494 155684 1 4.0000 0.0000 -
1115.14/1118.52 c 1119 428460 156168 1 4.0000 0.0000 -
1120.42/1123.82 c 1124 430045 156625 1 4.0000 0.0000 -
1125.41/1128.86 c 1129 432303 157317 1 4.0000 0.0000 -
1130.70/1134.18 c 1134 433949 157858 1 4.0000 0.0000 -
1135.99/1139.49 c 1139 435209 158304 1 4.0000 0.0000 -
1141.27/1144.70 c 1145 437219 158861 1 4.0000 0.0000 -
1146.56/1150.06 c 1150 438147 159393 1 4.0000 0.0000 -
1151.94/1155.45 c 1155 439217 159995 1 4.0000 0.0000 -
1157.22/1160.79 c 1161 440643 160535 1 4.0000 0.0000 -
1162.41/1165.98 c 1166 442304 161002 1 4.0000 0.0000 -
1167.78/1171.33 c 1171 443865 161547 1 4.0000 0.0000 -
1173.07/1176.64 c 1177 445510 162025 1 4.0000 0.0000 -
1178.45/1182.10 c 1182 447351 162577 1 4.0000 0.0000 -
1183.63/1187.29 c 1187 449163 163130 1 4.0000 0.0000 -
1188.81/1192.48 c 1192 450375 163567 1 4.0000 0.0000 -
1194.00/1197.63 c 1198 452355 164073 1 4.0000 0.0000 -
1199.09/1202.76 c 1203 454917 164791 1 4.0000 0.0000 -
1204.27/1207.96 c 1208 457422 165526 1 4.0000 0.0000 -
1209.55/1213.28 c 1213 459125 166025 1 4.0000 0.0000 -
1214.73/1218.41 c 1218 461458 166773 1 4.0000 0.0000 -
1220.02/1223.77 c 1224 463228 167341 1 4.0000 0.0000 -
1225.40/1229.10 c 1229 465249 167901 1 4.0000 0.0000 -
1230.77/1234.55 c 1235 467173 168450 1 4.0000 0.0000 -
1236.06/1239.85 c 1240 468694 169075 1 4.0000 0.0000 -
1241.35/1245.18 c 1245 471295 169730 1 4.0000 0.0000 -
1246.62/1250.47 c 1250 473206 170195 1 4.0000 0.0000 -
1251.91/1255.79 c 1256 474837 170672 1 4.0000 0.0000 -
1256.99/1260.87 c 1261 477044 171306 1 4.0000 0.0000 -
1262.18/1266.08 c 1266 479293 171902 1 4.0000 0.0000 -
1267.35/1271.21 c 1271 481160 172369 1 4.0000 0.0000 -
1272.74/1276.62 c 1277 483172 173200 1 4.0000 0.0000 -
1278.02/1281.92 c 1282 485311 173792 1 4.0000 0.0000 -
1283.11/1287.05 c 1287 487322 174396 1 4.0000 0.0000 -
1288.39/1292.31 c 1292 489231 174996 1 4.0000 0.0000 -
1293.66/1297.68 c 1298 491682 175594 1 4.0000 0.0000 -
1298.95/1302.90 c 1303 493526 176158 1 4.0000 0.0000 -
1304.14/1308.11 c 1308 495828 176737 1 4.0000 0.0000 -
1309.22/1313.21 c 1313 497572 177213 1 4.0000 0.0000 -
1314.49/1318.54 c 1319 499316 177716 1 4.0000 0.0000 -
1319.88/1323.96 c 1324 501005 178308 1 4.0000 0.0000 -
1325.07/1329.17 c 1329 502732 178784 1 4.0000 0.0000 -
1330.35/1334.45 c 1334 504801 179297 1 4.0000 0.0000 -
1335.63/1339.73 c 1340 506516 179899 1 4.0000 0.0000 -
1340.81/1344.94 c 1345 507866 180392 1 4.0000 0.0000 -
1346.19/1350.31 c 1350 510058 181102 1 4.0000 0.0000 -
1351.48/1355.60 c 1356 511638 181506 1 4.0000 0.0000 -
1356.76/1360.97 c 1361 513437 182045 1 4.0000 0.0000 -
1362.24/1366.44 c 1366 514794 182479 1 4.0000 0.0000 -
1367.52/1371.76 c 1372 516607 183014 1 4.0000 0.0000 -
1373.20/1377.42 c 1377 518671 183552 1 4.0000 0.0000 -
1378.48/1382.79 c 1383 520396 184113 1 4.0000 0.0000 -
1383.66/1387.98 c 1388 522232 184607 1 4.0000 0.0000 -
1388.85/1393.10 c 1393 523889 185147 1 4.0000 0.0000 -
1393.84/1398.19 c 1398 526641 185906 1 4.0000 0.0000 -
1399.01/1403.35 c 1403 528445 186359 1 4.0000 0.0000 -
1404.30/1408.63 c 1409 529338 186826 1 4.0000 0.0000 -
1409.47/1413.87 c 1414 531139 187296 1 4.0000 0.0000 -
1414.86/1419.21 c 1419 532987 187835 1 4.0000 0.0000 -
1420.03/1424.44 c 1424 534663 188336 1 4.0000 0.0000 -
1425.22/1429.65 c 1430 536198 188824 1 4.0000 0.0000 -
1430.40/1434.81 c 1435 538176 189315 1 4.0000 0.0000 -
1435.59/1440.00 c 1440 540484 189910 1 4.0000 0.0000 -
1440.87/1445.37 c 1445 542446 190460 1 4.0000 0.0000 -
1446.44/1450.92 c 1451 544337 191096 1 4.0000 0.0000 -
1451.63/1456.14 c 1456 546565 191738 1 4.0000 0.0000 -
1456.81/1461.37 c 1461 549311 192375 1 4.0000 0.0000 -
1462.10/1466.62 c 1467 550898 192924 1 4.0000 0.0000 -
1467.47/1472.02 c 1472 552656 193475 1 4.0000 0.0000 -
1472.75/1477.31 c 1477 554636 194080 1 4.0000 0.0000 -
1477.83/1482.44 c 1482 556254 194548 1 4.0000 0.0000 -
1482.92/1487.59 c 1488 558490 195169 1 4.0000 0.0000 -
1488.20/1492.85 c 1493 560633 195653 1 4.0000 0.0000 -
1493.68/1498.33 c 1498 563127 196279 1 4.0000 0.0000 -
1498.85/1503.54 c 1504 564500 196758 1 4.0000 0.0000 -
1504.24/1508.95 c 1509 565953 197216 1 4.0000 0.0000 -
1509.52/1514.23 c 1514 567894 197712 1 4.0000 0.0000 -
1514.60/1519.34 c 1519 570769 198327 1 4.0000 0.0000 -
1519.98/1524.76 c 1525 572852 199032 1 4.0000 0.0000 -
1525.16/1529.90 c 1530 575316 199738 1 4.0000 0.0000 -
1530.44/1535.25 c 1535 577419 200349 1 4.0000 0.0000 -
1535.73/1540.57 c 1541 579246 200873 1 4.0000 0.0000 -
1541.01/1545.86 c 1546 580716 201264 1 4.0000 0.0000 -
1546.48/1551.35 c 1551 582629 201811 1 4.0000 0.0000 -
1551.77/1556.63 c 1557 584533 202352 1 4.0000 0.0000 -
1557.35/1562.26 c 1562 585797 202804 1 4.0000 0.0000 -
1562.53/1567.49 c 1568 587388 203301 1 4.0000 0.0000 -
1567.90/1572.82 c 1573 588860 203740 1 4.0000 0.0000 -
1573.39/1578.30 c 1578 590715 204295 1 4.0000 0.0000 -
1578.37/1583.34 c 1583 592206 204756 1 4.0000 0.0000 -
1583.55/1588.58 c 1589 594184 205291 1 4.0000 0.0000 -
1588.73/1593.77 c 1594 595583 205733 1 4.0000 0.0000 -
1593.91/1598.95 c 1599 597207 206131 1 4.0000 0.0000 -
1599.20/1604.22 c 1604 598786 206601 1 4.0000 0.0000 -
1604.57/1609.67 c 1610 600328 207182 1 4.0000 0.0000 -
1609.76/1614.83 c 1615 602149 207656 1 4.0000 0.0000 -
1615.33/1620.47 c 1620 604718 208388 1 4.0000 0.0000 -
1620.71/1625.89 c 1626 606419 208820 1 4.0000 0.0000 -
1625.91/1631.06 c 1631 608008 209251 1 4.0000 0.0000 -
1631.07/1636.29 c 1636 609499 209718 1 4.0000 0.0000 -
1636.66/1641.84 c 1642 611103 210278 1 4.0000 0.0000 -
1641.84/1647.02 c 1647 612638 210831 1 4.0000 0.0000 -
1647.22/1652.41 c 1652 613448 211234 1 4.0000 0.0000 -
1652.60/1657.81 c 1658 614575 211730 1 4.0000 0.0000 -
1658.08/1663.30 c 1663 616168 212319 1 4.0000 0.0000 -
1663.36/1668.66 c 1669 617183 212664 1 4.0000 0.0000 -
1668.64/1673.91 c 1674 618248 213020 1 4.0000 0.0000 -
1674.02/1679.31 c 1679 620203 213597 1 4.0000 0.0000 -
1679.31/1684.65 c 1685 622516 214194 1 4.0000 0.0000 -
1684.39/1689.73 c 1690 624310 214758 1 4.0000 0.0000 -
1689.97/1695.31 c 1695 625667 215137 1 4.0000 0.0000 -
1695.44/1700.88 c 1701 627227 215590 1 4.0000 0.0000 -
1700.74/1706.17 c 1706 628840 216068 1 4.0000 0.0000 -
1706.21/1711.63 c 1712 630295 216549 1 4.0000 0.0000 -
1711.59/1717.00 c 1717 632256 217095 1 4.0000 0.0000 -
1717.17/1722.60 c 1723 634026 217746 1 4.0000 0.0000 -
1722.45/1727.98 c 1728 635172 218204 1 4.0000 0.0000 -
1727.64/1733.19 c 1733 635922 218527 1 4.0000 0.0000 -
1732.92/1738.48 c 1738 637157 219022 1 4.0000 0.0000 -
1738.51/1744.09 c 1744 638445 219477 1 4.0000 0.0000 -
1743.89/1749.46 c 1749 640492 220022 1 4.0000 0.0000 -
1749.27/1754.85 c 1755 642173 220494 1 4.0000 0.0000 -
1754.76/1760.33 c 1760 644353 221159 1 4.0000 0.0000 -
1760.04/1765.63 c 1766 646266 221728 1 4.0000 0.0000 -
1765.63/1771.21 c 1771 647677 222154 1 4.0000 0.0000 -
1771.11/1776.76 c 1777 649146 222625 1 4.0000 0.0000 -
1776.59/1782.22 c 1782 650636 223057 1 4.0000 0.0000 -
1782.08/1787.70 c 1788 652192 223684 1 4.0000 0.0000 -
1787.56/1793.20 c 1793 652838 224106 1 4.0000 0.0000 -
1792.94/1798.64 c 1799 654241 224591 1 4.0000 0.0000 -
1798.53/1804.26 c 1804 656026 225070 1 4.0000 0.0000 -
1803.81/1809.55 c 1810 657806 225546 1 4.0000 0.0000 -
1809.19/1814.91 c 1815 660663 226204 1 4.0000 0.0000 -
1814.18/1819.95 c 1820 662413 226660 1 4.0000 0.0000 -
1819.76/1825.57 c 1826 664318 227218 1 4.0000 0.0000 -
1825.15/1830.99 c 1831 666120 227729 1 4.0000 0.0000 -
1830.33/1836.19 c 1836 668718 228535 1 4.0000 0.0000 -
1836.01/1841.80 c 1842 670969 229188 1 4.0000 0.0000 -
1841.70/1847.57 c 1848 673049 229801 1 4.0000 0.0000 -
1847.19/1853.02 c 1853 674971 230308 1 4.0000 0.0000 -
1852.46/1858.39 c 1858 676887 230775 1 4.0000 0.0000 -
1858.05/1863.92 c 1864 678229 231197 1 4.0000 0.0000 -
1863.24/1869.15 c 1869 679594 231599 1 4.0000 0.0000 -
1868.62/1874.55 c 1875 681804 232162 1 4.0000 0.0000 -
1873.80/1879.75 c 1880 684284 232839 1 4.0000 0.0000 -
1879.09/1885.00 c 1885 686959 233473 1 4.0000 0.0000 -
1884.67/1890.62 c 1891 688774 234029 1 4.0000 0.0000 -
1890.16/1896.11 c 1896 691311 234762 1 4.0000 0.0000 -
1895.15/1901.18 c 1901 693574 235339 1 4.0000 0.0000 -
1900.42/1906.43 c 1906 695455 235818 1 4.0000 0.0000 -
1905.81/1911.82 c 1912 696683 236241 1 4.0000 0.0000 -
1911.10/1917.13 c 1917 697885 236709 1 4.0000 0.0000 -
1916.29/1922.31 c 1922 699649 237106 1 4.0000 0.0000 -
1921.86/1927.95 c 1928 702558 237825 1 4.0000 0.0000 -
1927.25/1933.32 c 1933 704229 238294 1 4.0000 0.0000 -
1932.44/1938.58 c 1939 706117 238732 1 4.0000 0.0000 -
1937.83/1943.96 c 1944 707612 239149 1 4.0000 0.0000 -
1943.31/1949.44 c 1949 709484 239628 1 4.0000 0.0000 -
1948.89/1955.07 c 1955 711356 240272 1 4.0000 0.0000 -
1954.07/1960.23 c 1960 713276 240823 1 4.0000 0.0000 -
1959.46/1965.63 c 1966 715604 241384 1 4.0000 0.0000 -
1965.05/1971.22 c 1971 717187 241904 1 4.0000 0.0000 -
1970.43/1976.63 c 1977 718980 242376 1 4.0000 0.0000 -
1976.11/1982.39 c 1982 721460 243135 1 4.0000 0.0000 -
1981.80/1988.01 c 1988 723413 243651 1 4.0000 0.0000 -
1986.98/1993.29 c 1993 725261 244157 1 4.0000 0.0000 -
1992.36/1998.63 c 1999 726822 244649 1 4.0000 0.0000 -
1997.95/2004.22 c 2004 728846 245309 1 4.0000 0.0000 -
2003.54/2009.81 c 2010 730551 245805 1 4.0000 0.0000 -
2009.11/2015.48 c 2015 732100 246317 1 4.0000 0.0000 -
2014.49/2020.85 c 2021 734348 246919 1 4.0000 0.0000 -
2019.68/2026.08 c 2026 735164 247274 1 4.0000 0.0000 -
2024.95/2031.39 c 2031 736754 247713 1 4.0000 0.0000 -
2030.14/2036.55 c 2037 738156 247971 1 4.0000 0.0000 -
2035.52/2041.94 c 2042 739977 248605 1 4.0000 0.0000 -
2040.71/2047.13 c 2047 741986 249172 1 4.0000 0.0000 -
2046.09/2052.54 c 2053 744097 249756 1 4.0000 0.0000 -
2051.87/2058.34 c 2058 746210 250377 1 4.0000 0.0000 -
2057.05/2063.52 c 2064 748388 251032 1 4.0000 0.0000 -
2062.54/2069.08 c 2069 750837 251604 1 4.0000 0.0000 -
2068.02/2074.51 c 2075 752894 252163 1 4.0000 0.0000 -
2073.51/2080.09 c 2080 754717 252700 1 4.0000 0.0000 -
2078.88/2085.42 c 2085 756856 253242 1 4.0000 0.0000 -
2084.27/2090.84 c 2091 759015 253724 1 4.0000 0.0000 -
2089.96/2096.59 c 2097 761612 254469 1 4.0000 0.0000 -
2095.54/2102.17 c 2102 763495 254904 1 4.0000 0.0000 -
2101.12/2107.73 c 2108 765461 255450 1 4.0000 0.0000 -
2106.70/2113.39 c 2113 766784 255860 1 4.0000 0.0000 -
2111.98/2118.61 c 2119 768777 256436 1 4.0000 0.0000 -
2117.47/2124.14 c 2124 770252 256847 1 4.0000 0.0000 -
2122.55/2129.27 c 2129 772692 257439 1 4.0000 0.0000 -
2127.74/2134.48 c 2134 774363 257872 1 4.0000 0.0000 -
2132.91/2139.66 c 2140 776073 258257 1 4.0000 0.0000 -
2138.41/2145.13 c 2145 777567 258755 1 4.0000 0.0000 -
2143.59/2150.36 c 2150 778859 259070 1 4.0000 0.0000 -
2148.97/2155.73 c 2156 780144 259626 1 4.0000 0.0000 -
2154.25/2161.01 c 2161 781250 260023 1 4.0000 0.0000 -
2159.44/2166.27 c 2166 782635 260436 1 4.0000 0.0000 -
2164.82/2171.60 c 2172 784308 260939 1 4.0000 0.0000 -
2170.10/2176.96 c 2177 786243 261422 1 4.0000 0.0000 -
2175.98/2182.87 c 2183 787211 261830 1 4.0000 0.0000 -
2181.37/2188.25 c 2188 788305 262289 1 4.0000 0.0000 -
2186.96/2193.89 c 2194 790232 262852 1 4.0000 0.0000 -
2192.33/2199.26 c 2199 791357 263190 1 4.0000 0.0000 -
2197.71/2204.68 c 2205 793282 263682 1 4.0000 0.0000 -
2203.29/2210.20 c 2210 794992 264174 1 4.0000 0.0000 -
2208.88/2215.81 c 2216 796899 264679 1 4.0000 0.0000 -
2214.26/2221.22 c 2221 798192 265058 1 4.0000 0.0000 -
2219.75/2226.75 c 2227 800646 265654 1 4.0000 0.0000 -
2225.43/2232.42 c 2232 801681 266015 1 4.0000 0.0000 -
2231.01/2238.01 c 2238 803007 266422 1 4.0000 0.0000 -
2236.19/2243.28 c 2243 804320 266782 1 4.0000 0.0000 -
2241.48/2248.52 c 2249 805855 267207 1 4.0000 0.0000 -
2246.76/2253.82 c 2254 808235 267733 1 4.0000 0.0000 -
2252.05/2259.16 c 2259 810507 268331 1 4.0000 0.0000 -
2257.63/2264.77 c 2265 812291 268870 1 4.0000 0.0000 -
2263.81/2270.90 c 2271 813876 269278 1 4.0000 0.0000 -
2269.18/2276.39 c 2276 815647 269882 1 4.0000 0.0000 -
2274.47/2281.66 c 2282 817429 270478 1 4.0000 0.0000 -
2280.06/2287.22 c 2287 819479 271030 1 4.0000 0.0000 -
2285.63/2292.86 c 2293 821557 271546 1 4.0000 0.0000 -
2290.82/2298.06 c 2298 823127 272089 1 4.0000 0.0000 -
2296.31/2303.59 c 2304 824954 272531 1 4.0000 0.0000 -
2302.29/2309.55 c 2310 826413 272973 1 4.0000 0.0000 -
2307.67/2314.94 c 2315 828525 273478 1 4.0000 0.0000 -
2313.25/2320.55 c 2321 830677 274092 1 4.0000 0.0000 -
2318.84/2326.16 c 2326 832336 274554 1 4.0000 0.0000 -
2324.73/2332.06 c 2332 834891 275177 1 4.0000 0.0000 -
2330.10/2337.47 c 2337 836299 275575 1 4.0000 0.0000 -
2335.69/2343.01 c 2343 837207 275935 1 4.0000 0.0000 -
2341.07/2348.41 c 2348 838020 276244 1 4.0000 0.0000 -
2346.45/2353.87 c 2354 839493 276643 1 4.0000 0.0000 -
2352.44/2359.87 c 2360 840692 277090 1 4.0000 0.0000 -
2357.81/2365.20 c 2365 842827 277673 1 4.0000 0.0000 -
2363.29/2370.76 c 2371 845217 278326 1 4.0000 0.0000 -
2368.38/2375.88 c 2376 846624 278707 1 4.0000 0.0000 -
2373.57/2381.00 c 2381 847700 278925 1 4.0000 0.0000 -
2378.86/2386.35 c 2386 848830 279212 1 4.0000 0.0000 -
2384.34/2391.87 c 2392 850243 279683 1 4.0000 0.0000 -
2389.82/2397.34 c 2397 851436 280124 1 4.0000 0.0000 -
2395.61/2403.18 c 2403 853086 280606 1 4.0000 0.0000 -
2401.49/2409.04 c 2409 855230 281216 1 4.0000 0.0000 -
2406.88/2414.48 c 2414 857211 281688 1 4.0000 0.0000 -
2412.16/2419.71 c 2420 858260 282016 1 4.0000 0.0000 -
2417.24/2424.88 c 2425 860392 282532 1 4.0000 0.0000 -
2422.73/2430.32 c 2430 861155 282849 1 4.0000 0.0000 -
2428.11/2435.79 c 2436 862800 283274 1 4.0000 0.0000 -
2433.40/2441.07 c 2441 864356 283678 1 4.0000 0.0000 -
2438.88/2446.55 c 2447 867222 284280 1 4.0000 0.0000 -
2443.96/2451.64 c 2452 868874 284769 1 4.0000 0.0000 -
2449.75/2457.42 c 2457 871058 285398 1 4.0000 0.0000 -
2455.12/2462.88 c 2463 872872 285937 1 4.0000 0.0000 -
2460.51/2468.27 c 2468 875089 286473 1 4.0000 0.0000 -
2466.00/2473.77 c 2474 876856 286895 1 4.0000 0.0000 -
2471.48/2479.29 c 2479 878166 287364 1 4.0000 0.0000 -
2476.86/2484.65 c 2485 879285 287750 1 4.0000 0.0000 -
2482.25/2490.09 c 2490 881233 288199 1 4.0000 0.0000 -
2487.63/2495.48 c 2495 882591 288604 1 4.0000 0.0000 -
2493.11/2500.96 c 2501 884126 289022 1 4.0000 0.0000 -
2498.39/2506.24 c 2506 885227 289406 1 4.0000 0.0000 -
2503.58/2511.45 c 2511 887126 289942 1 4.0000 0.0000 -
2509.06/2516.94 c 2517 888598 290384 1 4.0000 0.0000 -
2514.64/2522.56 c 2523 890671 290870 1 4.0000 0.0000 -
2520.33/2528.22 c 2528 892523 291470 1 4.0000 0.0000 -
2525.61/2533.56 c 2534 893852 291880 1 4.0000 0.0000 -
2531.10/2539.02 c 2539 895378 292306 1 4.0000 0.0000 -
2536.19/2544.13 c 2544 896471 292594 1 4.0000 0.0000 -
2541.66/2549.62 c 2550 898051 293031 1 4.0000 0.0000 -
2547.15/2555.17 c 2555 899939 293601 1 4.0000 0.0000 -
2552.83/2560.85 c 2561 901215 294050 1 4.0000 0.0000 -
2558.02/2566.04 c 2566 903281 294545 1 4.0000 0.0000 -
2563.50/2571.56 c 2572 904897 295014 1 4.0000 0.0000 -
2569.38/2577.44 c 2577 906616 295452 1 4.0000 0.0000 -
2574.97/2583.08 c 2583 908729 295979 1 4.0000 0.0000 -
2580.35/2588.45 c 2588 910026 296292 1 4.0000 0.0000 -
2585.83/2593.99 c 2594 911619 296716 1 4.0000 0.0000 -
2591.31/2599.47 c 2599 913114 297051 1 4.0000 0.0000 -
2597.00/2605.12 c 2605 915344 297657 1 4.0000 0.0000 -
2602.08/2610.22 c 2610 916761 298082 1 4.0000 0.0000 -
2607.67/2615.88 c 2616 917817 298428 1 4.0000 0.0000 -
2613.15/2621.33 c 2621 919669 298904 1 4.0000 0.0000 -
2618.54/2626.78 c 2627 920958 299188 1 4.0000 0.0000 -
2624.11/2632.31 c 2632 922314 299489 1 4.0000 0.0000 -
2629.50/2637.75 c 2638 923877 299898 1 4.0000 0.0000 -
2634.89/2643.15 c 2643 924476 300124 1 4.0000 0.0000 -
2640.47/2648.77 c 2649 925740 300417 1 4.0000 0.0000 -
2645.85/2654.18 c 2654 928308 300952 1 4.0000 0.0000 -
2651.54/2659.81 c 2660 930215 301490 1 4.0000 0.0000 -
2657.12/2665.47 c 2665 931883 301944 1 4.0000 0.0000 -
2662.50/2670.82 c 2671 933317 302333 1 4.0000 0.0000 -
2668.18/2676.52 c 2677 935344 302913 1 4.0000 0.0000 -
2673.86/2682.23 c 2682 936806 303339 1 4.0000 0.0000 -
2679.15/2687.54 c 2688 938375 303876 1 4.0000 0.0000 -
2684.23/2692.63 c 2693 940675 304304 1 4.0000 0.0000 -
2689.92/2698.36 c 2698 942437 304784 1 4.0000 0.0000 -
2695.30/2703.71 c 2704 943784 305158 1 4.0000 0.0000 -
2700.98/2709.43 c 2709 945596 305635 1 4.0000 0.0000 -
2706.26/2714.73 c 2715 947123 305983 1 4.0000 0.0000 -
2712.04/2720.56 c 2721 949236 306517 1 4.0000 0.0000 -
2717.53/2726.05 c 2726 951327 306997 1 4.0000 0.0000 -
2723.11/2731.60 c 2732 954144 307661 1 4.0000 0.0000 -
2728.59/2737.14 c 2737 956039 308134 1 4.0000 0.0000 -
2733.88/2742.43 c 2742 957835 308635 1 4.0000 0.0000 -
2739.16/2747.79 c 2748 959236 308992 1 4.0000 0.0000 -
2744.55/2753.18 c 2753 960651 309389 1 4.0000 0.0000 -
2750.22/2758.89 c 2759 961946 309798 1 4.0000 0.0000 -
2755.71/2764.34 c 2764 963419 310188 1 4.0000 0.0000 -
2761.29/2769.92 c 2770 964586 310578 1 4.0000 0.0000 -
2766.67/2775.39 c 2775 965692 311003 1 4.0000 0.0000 -
2772.26/2780.94 c 2781 967836 311568 1 4.0000 0.0000 -
2777.73/2786.42 c 2786 969826 311983 1 4.0000 0.0000 -
2783.32/2792.03 c 2792 971299 312359 1 4.0000 0.0000 -
2788.89/2797.65 c 2798 972697 312724 1 4.0000 0.0000 -
2794.18/2802.93 c 2803 974561 313178 1 4.0000 0.0000 -
2799.56/2808.31 c 2808 976554 313681 1 4.0000 0.0000 -
2805.25/2814.02 c 2814 977978 314105 1 4.0000 0.0000 -
2810.42/2819.29 c 2819 979868 314608 1 4.0000 0.0000 -
2815.91/2824.79 c 2825 981283 315120 1 4.0000 0.0000 -
2821.09/2829.99 c 2830 982470 315357 1 4.0000 0.0000 -
2826.58/2835.41 c 2835 983616 315631 1 4.0000 0.0000 -
2832.17/2841.04 c 2841 985536 316110 1 4.0000 0.0000 -
2837.55/2846.45 c 2846 987825 316616 1 4.0000 0.0000 -
2842.74/2851.62 c 2852 988619 316904 1 4.0000 0.0000 -
2848.12/2857.04 c 2857 990468 317447 1 4.0000 0.0000 -
2853.50/2862.45 c 2862 991840 317719 1 4.0000 0.0000 -
2858.98/2867.99 c 2868 993476 318136 1 4.0000 0.0000 -
2865.07/2874.04 c 2874 994670 318516 1 4.0000 0.0000 -
2870.34/2879.39 c 2879 995657 318957 1 4.0000 0.0000 -
2876.23/2885.25 c 2885 996826 319401 1 4.0000 0.0000 -
2881.61/2890.69 c 2891 998018 319814 1 4.0000 0.0000 -
2886.99/2896.07 c 2896 998728 320143 1 4.0000 0.0000 -
2892.87/2901.96 c 2902 999528 320378 1 4.0000 0.0000 -
2898.65/2907.75 c 2908 1000862 320775 1 4.0000 0.0000 -
2904.24/2913.33 c 2913 1002992 321397 1 4.0000 0.0000 -
2909.63/2918.74 c 2919 1004412 321684 1 4.0000 0.0000 -
2914.71/2923.88 c 2924 1006821 322179 1 4.0000 0.0000 -
2920.10/2929.20 c 2929 1009407 322838 1 4.0000 0.0000 -
2925.48/2934.61 c 2935 1011578 323392 1 4.0000 0.0000 -
2930.67/2939.81 c 2940 1012544 323647 1 4.0000 0.0000 -
2936.55/2945.70 c 2946 1013926 324064 1 4.0000 0.0000 -
2941.63/2950.85 c 2951 1015563 324420 1 4.0000 0.0000 -
2946.92/2956.15 c 2956 1016983 324773 1 4.0000 0.0000 -
2952.39/2961.62 c 2962 1018504 325114 1 4.0000 0.0000 -
2957.78/2967.03 c 2967 1020003 325498 1 4.0000 0.0000 -
2963.37/2972.67 c 2973 1021926 325872 1 4.0000 0.0000 -
2968.65/2977.99 c 2978 1023731 326329 1 4.0000 0.0000 -
2974.33/2983.66 c 2984 1026121 326836 1 4.0000 0.0000 -
2980.11/2989.48 c 2989 1028247 327357 1 4.0000 0.0000 -
2985.80/2995.11 c 2995 1030039 327790 1 4.0000 0.0000 -
2990.88/3000.29 c 3000 1031607 328151 1 4.0000 0.0000 -
2996.86/3006.21 c 3006 1033422 328578 1 4.0000 0.0000 -
3002.34/3011.70 c 3012 1035300 329121 1 4.0000 0.0000 -
3007.54/3016.94 c 3017 1036677 329386 1 4.0000 0.0000 -
3012.62/3022.09 c 3022 1038817 329888 1 4.0000 0.0000 -
3018.20/3027.65 c 3028 1040796 330390 1 4.0000 0.0000 -
3023.39/3032.83 c 3033 1042036 330743 1 4.0000 0.0000 -
3029.37/3038.89 c 3039 1043702 331158 1 4.0000 0.0000 -
3035.45/3044.97 c 3045 1046105 331712 1 4.0000 0.0000 -
3041.13/3050.61 c 3051 1046675 331966 1 4.0000 0.0000 -
3046.52/3056.02 c 3056 1047691 332188 1 4.0000 0.0000 -
3052.00/3061.57 c 3062 1049176 332551 1 4.0000 0.0000 -
3057.49/3067.09 c 3067 1050766 333050 1 4.0000 0.0000 -
3063.47/3073.08 c 3073 1052324 333564 1 4.0000 0.0000 -
3068.95/3078.59 c 3079 1053978 333998 1 4.0000 0.0000 -
3074.93/3084.51 c 3085 1055635 334509 1 4.0000 0.0000 -
3080.41/3090.01 c 3090 1057420 334944 1 4.0000 0.0000 -
3086.20/3095.82 c 3096 1059196 335311 1 4.0000 0.0000 -
3091.57/3101.29 c 3101 1061136 335718 1 4.0000 0.0000 -
3096.96/3106.65 c 3107 1062316 336000 1 4.0000 0.0000 -
3102.54/3112.29 c 3112 1063640 336388 1 4.0000 0.0000 -
3108.43/3118.12 c 3118 1065196 336871 1 4.0000 0.0000 -
3113.61/3123.37 c 3123 1066603 337210 1 4.0000 0.0000 -
3119.09/3128.85 c 3129 1068682 337647 1 4.0000 0.0000 -
3124.87/3134.67 c 3135 1070221 338146 1 4.0000 0.0000 -
3130.56/3140.33 c 3140 1071488 338573 1 4.0000 0.0000 -
3136.04/3145.89 c 3146 1073029 338936 1 4.0000 0.0000 -
3141.73/3151.51 c 3152 1074412 339402 1 4.0000 0.0000 -
3147.00/3156.86 c 3157 1076262 339899 1 4.0000 0.0000 -
3152.69/3162.56 c 3163 1078012 340535 1 4.0000 0.0000 -
3158.47/3168.36 c 3168 1080016 341199 1 4.0000 0.0000 -
3163.75/3173.60 c 3174 1082710 341811 1 4.0000 0.0000 -
3169.14/3179.02 c 3179 1084466 342263 1 4.0000 0.0000 -
3174.91/3184.81 c 3185 1086088 342670 1 4.0000 0.0000 -
3179.90/3189.87 c 3190 1087901 343088 1 4.0000 0.0000 -
3185.49/3195.40 c 3195 1089382 343417 1 4.0000 0.0000 -
3191.36/3201.30 c 3201 1090474 343771 1 4.0000 0.0000 -
3197.15/3207.18 c 3207 1092275 344243 1 4.0000 0.0000 -
3203.23/3213.29 c 3213 1093638 344631 1 4.0000 0.0000 -
3209.21/3219.29 c 3219 1095833 345230 1 4.0000 0.0000 -
3214.59/3224.69 c 3225 1098346 345792 1 4.0000 0.0000 -
3219.99/3230.00 c 3230 1099404 346083 1 4.0000 0.0000 -
3225.86/3235.99 c 3236 1101392 346614 1 4.0000 0.0000 -
3231.94/3242.09 c 3242 1102567 346949 1 4.0000 0.0000 -
3237.52/3247.68 c 3248 1104187 347343 1 4.0000 0.0000 -
3242.91/3253.00 c 3253 1106046 347764 1 4.0000 0.0000 -
3248.49/3258.63 c 3259 1107616 348148 1 4.0000 0.0000 -
3253.98/3264.13 c 3264 1110515 348856 1 4.0000 0.0000 -
3259.45/3269.65 c 3270 1112302 349359 1 4.0000 0.0000 -
3265.34/3275.51 c 3276 1113607 349841 1 4.0000 0.0000 -
3270.42/3280.69 c 3281 1114123 350035 1 4.0000 0.0000 -
3276.41/3286.60 c 3287 1115841 350528 1 4.0000 0.0000 -
3282.00/3292.29 c 3292 1117541 350945 1 4.0000 0.0000 -
3287.88/3298.11 c 3298 1119074 351351 1 4.0000 0.0000 -
3292.96/3303.20 c 3303 1120061 351654 1 4.0000 0.0000 -
3298.14/3308.43 c 3308 1121887 352170 1 4.0000 0.0000 -
3304.13/3314.44 c 3314 1123426 352608 1 4.0000 0.0000 -
3310.10/3320.42 c 3320 1124856 352959 1 4.0000 0.0000 -
3316.18/3326.50 c 3326 1126391 353359 1 4.0000 0.0000 -
3321.97/3332.36 c 3332 1127397 353636 1 4.0000 0.0000 -
3327.36/3337.77 c 3338 1129104 354003 1 4.0000 0.0000 -
3332.83/3343.27 c 3343 1130455 354391 1 4.0000 0.0000 -
3338.92/3349.37 c 3349 1132622 354889 1 4.0000 0.0000 -
3344.30/3354.78 c 3355 1134229 355261 1 4.0000 0.0000 -
3350.08/3360.53 c 3361 1135963 355771 1 4.0000 0.0000 -
3355.67/3366.10 c 3366 1137443 356219 1 4.0000 0.0000 -
3361.45/3371.99 c 3372 1139503 356749 1 4.0000 0.0000 -
3367.32/3377.82 c 3378 1141034 357137 1 4.0000 0.0000 -
3373.41/3383.95 c 3384 1142093 357478 1 4.0000 0.0000 -
3379.19/3389.70 c 3390 1143415 357761 1 4.0000 0.0000 -
3384.47/3395.04 c 3395 1144494 358002 1 4.0000 0.0000 -
3389.66/3400.29 c 3400 1145293 358235 1 4.0000 0.0000 -
3395.45/3406.03 c 3406 1146348 358604 1 4.0000 0.0000 -
3401.32/3411.94 c 3412 1147409 358934 1 4.0000 0.0000 -
3407.41/3418.01 c 3418 1149462 359409 1 4.0000 0.0000 -
3412.98/3423.61 c 3424 1150838 359743 1 4.0000 0.0000 -
3418.97/3429.69 c 3430 1152748 360104 1 4.0000 0.0000 -
3424.95/3435.64 c 3436 1153904 360364 1 4.0000 0.0000 -
3430.13/3440.81 c 3441 1155406 360755 1 4.0000 0.0000 -
3435.52/3446.21 c 3446 1157436 361226 1 4.0000 0.0000 -
3441.50/3452.28 c 3452 1159197 361594 1 4.0000 0.0000 -
3446.98/3457.75 c 3458 1161342 362103 1 4.0000 0.0000 -
3452.07/3462.85 c 3463 1164341 362733 1 4.0000 0.0000 -
3457.16/3467.90 c 3468 1166106 363163 1 4.0000 0.0000 -
3462.74/3473.58 c 3474 1167791 363549 1 4.0000 0.0000 -
3468.12/3478.95 c 3479 1169964 364048 1 4.0000 0.0000 -
3473.60/3484.43 c 3484 1171986 364551 1 4.0000 0.0000 -
3479.49/3490.37 c 3490 1174196 364968 1 4.0000 0.0000 -
3484.97/3495.83 c 3496 1176475 365604 1 4.0000 0.0000 -
3490.17/3501.07 c 3501 1178145 365891 1 4.0000 0.0000 -
3495.45/3506.37 c 3506 1179893 366267 1 4.0000 0.0000 -
3501.03/3511.97 c 3512 1180660 366568 1 4.0000 0.0000 -
3506.71/3517.63 c 3518 1182270 366958 1 4.0000 0.0000 -
3512.49/3523.46 c 3523 1184201 367351 1 4.0000 0.0000 -
3518.08/3529.05 c 3529 1185530 367714 1 4.0000 0.0000 -
3523.85/3534.82 c 3535 1186936 368056 1 4.0000 0.0000 -
3529.24/3540.28 c 3540 1188740 368441 1 4.0000 0.0000 -
3535.03/3546.05 c 3546 1190600 368918 1 4.0000 0.0000 -
3540.50/3551.59 c 3552 1192276 369390 1 4.0000 0.0000 -
3546.49/3557.59 c 3558 1193826 369959 1 4.0000 0.0000 -
3552.16/3563.29 c 3563 1195072 370410 1 4.0000 0.0000 -
3558.25/3569.37 c 3569 1196552 370937 1 4.0000 0.0000 -
3564.03/3575.12 c 3575 1199164 371525 1 4.0000 0.0000 -
3569.81/3580.96 c 3581 1201412 372088 1 4.0000 0.0000 -
3574.99/3586.12 c 3586 1202950 372511 1 4.0000 0.0000 -
3580.67/3591.89 c 3592 1205037 372970 1 4.0000 0.0000 -
3585.86/3597.05 c 3597 1206883 373395 1 4.0000 0.0000 -
3589.95/3601.12 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.95/3601.12 c Total Time : 3601.1200
3589.95/3601.12 c solving : 3601.1200
3589.95/3601.12 c presolving : 0.0312 (included in solving)
3589.95/3601.12 c B&B Tree :
3589.95/3601.12 c nodes (total) : 1
3589.95/3601.12 c Solution :
3589.95/3601.12 c Solutions found : 3
3589.95/3601.12 c Primal Bound : +4.00000000000000e+00
3589.95/3601.12 c Dual Bound : +0.00000000000000e+00
3589.95/3601.12 c Gap : infinite
3589.95/3601.12 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3589.95/3601.12 o 4
3589.95/3601.12 s SATISFIABLE
3589.95/3601.12 v x171 -x170 -x169 -x168 -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 x152 -x151 -x150
3589.95/3601.12 v -x149 x148 -x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 x128
3589.95/3601.12 v -x127 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
3589.95/3601.12 v x9 -x8 x7 -x6 -x5 -x4 x3 x2 -x1 -x126 -x117 -x108 -x99 -x90 -x81 -x72 -x63 -x54 x125 -x116 -x107 -x98 -x89 -x80 -x71 -x62 -x53
3589.95/3601.12 v -x124 -x115 x106 -x97 -x88 -x79 -x70 -x61 -x52 -x123 -x114 -x105 -x96 -x87 -x78 -x69 -x60 -x51 -x122 -x113 -x104 -x95 -x86
3589.95/3601.12 v x77 -x68 -x59 -x50 -x121 -x112 -x103 -x94 -x85 -x76 -x67 -x58 -x49 -x120 -x111 -x102 -x93 x84 -x75 -x66 -x57 -x48 -x119 x110
3589.95/3601.12 v -x101 -x92 -x83 -x74 -x65 -x56 -x47 -x118 -x109 -x100 -x91 -x82 -x73 -x64 -x55 -x46 x45 -x44 -x43 x42 -x41 x40 -x39 -x38 x37
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (60501 MiB free)
memory of node 1: 64510 MiB (59594 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449938-1721454790/watcher-4449938-1721454790 -o /tmp/evaluation-result-4449938-1721454790/solver-4449938-1721454790 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721446720-1059845 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4449938-1721454790.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1066425, runsolver pid=1066422
[startup+0.10009 s]*
/proc/loadavg: 4.10 4.09 4.09 5/264 1066428
/proc/meminfo: memFree=122952596/131524600 swapFree=131071996/131071996
[pid=1066425] ppid=1066422 vsize=116652 memory=37520 CPUtime=0.09 cores=4,6
/proc/1066425/stat : 1066425 (fscip) S 1066422 1066425 1059834 0 -1 1077936128 7171 0 0 0 8 1 0 0 20 0 3 0 197646397 119451648 9380 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
/proc/1066425/statm: 29163 9380 2926 3032 0 12538 0
[pid=1066425/tid=1066427] ppid=1066422 vsize=116652 memory=4026561586 CPUtime=0.05 cores=4,6
/proc/1066425/task/1066427/stat : 1066427 (fscip) R 1066422 1066425 1059834 0 -1 4194368 3300 0 0 0 5 0 0 0 20 0 3 0 197646401 119451648 9380 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
[pid=1066425/tid=1066428] ppid=1066422 vsize=116652 memory=232851243367 CPUtime=0 cores=4,6
/proc/1066425/task/1066428/stat : 1066428 (fscip) S 1066422 1066425 1059834 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 197646402 119451648 9380 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 116652 KiB
Current children cumulated memory: 37520 KiB
[startup+0.205808 s]*
/proc/loadavg: 4.10 4.09 4.09 5/264 1066428
/proc/meminfo: memFree=122943792/131524600 swapFree=131071996/131071996
[pid=1066425] ppid=1066422 vsize=116652 memory=45744 CPUtime=0.2 cores=4,6
/proc/1066425/stat : 1066425 (fscip) S 1066422 1066425 1059834 0 -1 1077936128 9436 0 0 0 19 1 0 0 20 0 3 0 197646397 119451648 11436 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
/proc/1066425/statm: 29163 11436 2926 3032 0 14986 0
[pid=1066425/tid=1066427] ppid=1066422 vsize=116652 memory=6876556183782621315 CPUtime=0.15 cores=4,6
/proc/1066425/task/1066427/stat : 1066427 (fscip) R 1066422 1066425 1059834 0 -1 4194368 5565 0 0 0 15 0 0 0 20 0 3 0 197646401 119451648 11436 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
[pid=1066425/tid=1066428] ppid=1066422 vsize=116652 memory=14907 CPUtime=0 cores=4,6
/proc/1066425/task/1066428/stat : 1066428 (fscip) S 1066422 1066425 1059834 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 197646402 119451648 11436 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 116652 KiB
Current children cumulated memory: 45744 KiB
[startup+0.305743 s]*
/proc/loadavg: 4.10 4.09 4.09 5/264 1066428
/proc/meminfo: memFree=122943624/131524600 swapFree=131071996/131071996
[pid=1066425] ppid=1066422 vsize=116652 memory=45744 CPUtime=0.3 cores=4,6
/proc/1066425/stat : 1066425 (fscip) S 1066422 1066425 1059834 0 -1 1077936128 9446 0 0 0 29 1 0 0 20 0 3 0 197646397 119451648 11436 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
/proc/1066425/statm: 29163 11436 2926 3032 0 14986 0
[pid=1066425/tid=1066427] ppid=1066422 vsize=116652 memory=-7520302109282624122 CPUtime=0.25 cores=4,6
/proc/1066425/task/1066427/stat : 1066427 (fscip) R 1066422 1066425 1059834 0 -1 4194368 5575 0 0 0 25 0 0 0 20 0 3 0 197646401 119451648 11436 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
[pid=1066425/tid=1066428] ppid=1066422 vsize=116652 memory=0 CPUtime=0 cores=4,6
/proc/1066425/task/1066428/stat : 1066428 (fscip) S 1066422 1066425 1059834 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 197646402 119451648 11436 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 116652 KiB
Current children cumulated memory: 45744 KiB
[startup+0.70025 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 1066428
/proc/meminfo: memFree=122942472/131524600 swapFree=131071996/131071996
[pid=1066425] ppid=1066422 vsize=116652 memory=45744 CPUtime=0.69 cores=4,6
/proc/1066425/stat : 1066425 (fscip) S 1066422 1066425 1059834 0 -1 1077936128 9461 0 0 0 68 1 0 0 20 0 3 0 197646397 119451648 11436 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
/proc/1066425/statm: 29163 11436 2926 3032 0 14986 0
[pid=1066425/tid=1066427] ppid=1066422 vsize=116652 memory=0 CPUtime=0.64 cores=4,6
/proc/1066425/task/1066427/stat : 1066427 (fscip) R 1066422 1066425 1059834 0 -1 4194368 5590 0 0 0 64 0 0 0 20 0 3 0 197646401 119451648 11436 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
[pid=1066425/tid=1066428] ppid=1066422 vsize=116652 memory=0 CPUtime=0 cores=4,6
/proc/1066425/task/1066428/stat : 1066428 (fscip) S 1066422 1066425 1059834 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 197646402 119451648 11436 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 116652 KiB
Current children cumulated memory: 45744 KiB
[startup+1.50024 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 1066430
/proc/meminfo: memFree=122940268/131524600 swapFree=131071996/131071996
[pid=1066425] ppid=1066422 vsize=116652 memory=61440 CPUtime=1.48 cores=4,6
/proc/1066425/stat : 1066425 (fscip) S 1066422 1066425 1059834 0 -1 1077936128 17052 0 0 0 146 2 0 0 20 0 3 0 197646397 119451648 15360 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
/proc/1066425/statm: 29163 15360 2926 3032 0 18940 0
[pid=1066425/tid=1066427] ppid=1066422 vsize=116652 memory=0 CPUtime=1.43 cores=4,6
/proc/1066425/task/1066427/stat : 1066427 (fscip) R 1066422 1066425 1059834 0 -1 4194368 13182 0 0 0 142 1 0 0 20 0 3 0 197646401 119451648 15360 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
[pid=1066425/tid=1066428] ppid=1066422 vsize=116652 memory=0 CPUtime=0 cores=4,6
/proc/1066425/task/1066428/stat : 1066428 (fscip) S 1066422 1066425 1059834 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 197646402 119451648 15360 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 116652 KiB
Current children cumulated memory: 61440 KiB
[startup+3.10557 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 1066430
/proc/meminfo: memFree=122920320/131524600 swapFree=131071996/131071996
[pid=1066425] ppid=1066422 vsize=116652 memory=68132 CPUtime=3.08 cores=4,6
/proc/1066425/stat : 1066425 (fscip) S 1066422 1066425 1059834 0 -1 1077936128 19129 0 0 0 306 2 0 0 20 0 3 0 197646397 119451648 17033 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
/proc/1066425/statm: 29163 17033 2926 3032 0 20515 0
[pid=1066425/tid=1066427] ppid=1066422 vsize=116652 memory=2273 CPUtime=3.03 cores=4,6
/proc/1066425/task/1066427/stat : 1066427 (fscip) R 1066422 1066425 1059834 0 -1 4194368 15236 0 0 0 302 1 0 0 20 0 3 0 197646401 119451648 17033 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
[pid=1066425/tid=1066428] ppid=1066422 vsize=116652 memory=0 CPUtime=0 cores=4,6
/proc/1066425/task/1066428/stat : 1066428 (fscip) S 1066422 1066425 1059834 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 197646402 119451648 17033 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 116652 KiB
Current children cumulated memory: 68132 KiB
[startup+6.30024 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 1066430
/proc/meminfo: memFree=122908292/131524600 swapFree=131071996/131071996
[pid=1066425] ppid=1066422 vsize=116652 memory=80468 CPUtime=6.28 cores=4,6
/proc/1066425/stat : 1066425 (fscip) S 1066422 1066425 1059834 0 -1 1077936128 30618 0 0 0 624 4 0 0 20 0 3 0 197646397 119451648 20117 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
/proc/1066425/statm: 29163 20117 2942 3032 0 23577 0
[pid=1066425/tid=1066427] ppid=1066422 vsize=116652 memory=-7520302109282624122 CPUtime=6.23 cores=4,6
/proc/1066425/task/1066427/stat : 1066427 (fscip) R 1066422 1066425 1059834 0 -1 4194368 26701 0 0 0 620 3 0 0 20 0 3 0 197646401 119451648 20117 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
[pid=1066425/tid=1066428] ppid=1066422 vsize=116652 memory=80236 CPUtime=0 cores=4,6
/proc/1066425/task/1066428/stat : 1066428 (fscip) S 1066422 1066425 1059834 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 197646402 119451648 20117 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 116652 KiB
Current children cumulated memory: 80468 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 1066432
/proc/meminfo: memFree=122851504/131524600 swapFree=131071996/131071996
[pid=1066425] ppid=1066422 vsize=122948 memory=93460 CPUtime=12.66 cores=4,6
/proc/1066425/stat : 1066425 (fscip) S 1066422 1066425 1059834 0 -1 1077936128 53519 0 0 0 1260 6 0 0 20 0 3 0 197646397 125898752 23365 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
/proc/1066425/statm: 30737 23365 2990 3032 0 26828 0
[pid=1066425/tid=1066427] ppid=1066422 vsize=122948 memory=68132 CPUtime=12.61 cores=4,6
/proc/1066425/task/1066427/stat : 1066427 (fscip) R 1066422 1066425 1059834 0 -1 4194368 49564 0 0 0 1256 5 0 0 20 0 3 0 197646401 125898752 23365 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
[pid=1066425/tid=1066428] ppid=1066422 vsize=122948 memory=0 CPUtime=0 cores=4,6
/proc/1066425/task/1066428/stat : 1066428 (fscip) S 1066422 1066425 1059834 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 197646402 125898752 23365 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 122948 KiB
Current children cumulated memory: 93460 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 1066433
/proc/meminfo: memFree=122844624/131524600 swapFree=131071996/131071996
[pid=1066425] ppid=1066422 vsize=139156 memory=108980 CPUtime=25.42 cores=4,6
/proc/1066425/stat : 1066425 (fscip) S 1066422 1066425 1059834 0 -1 1077936128 86829 0 0 0 2532 10 0 0 20 0 3 0 197646397 142495744 27245 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
/proc/1066425/statm: 34789 27245 3310 3032 0 31187 0
[pid=1066425/tid=1066427] ppid=1066422 vsize=139156 memory=87444 CPUtime=25.37 cores=4,6
/proc/1066425/task/1066427/stat : 1066427 (fscip) R 1066422 1066425 1059834 0 -1 4194368 82807 0 0 0 2528 9 0 0 20 0 3 0 197646401 142495744 27245 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
[pid=1066425/tid=1066428] ppid=1066422 vsize=139156 memory=11588 CPUtime=0 cores=4,6
/proc/1066425/task/1066428/stat : 1066428 (fscip) S 1066422 1066425 1059834 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 197646402 142495744 27245 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 139156 KiB
Current children cumulated memory: 108980 KiB
[startup+51.106 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 1066439
/proc/meminfo: memFree=122801612/131524600 swapFree=131071996/131071996
[pid=1066425] ppid=1066422 vsize=230500 memory=142176 CPUtime=50.95 cores=4,6
/proc/1066425/stat : 1066425 (fscip) S 1066422 1066425 1059834 0 -1 1077936128 142978 0 0 0 5079 16 0 0 20 0 3 0 197646397 236032000 35544 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
/proc/1066425/statm: 57625 35544 3310 3032 0 39448 0
[pid=1066425/tid=1066427] ppid=1066422 vsize=230500 memory=130476 CPUtime=50.9 cores=4,6
/proc/1066425/task/1066427/stat : 1066427 (fscip) R 1066422 1066425 1059834 0 -1 4194368 138876 0 0 0 5075 15 0 0 20 0 3 0 197646401 236032000 35544 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
[pid=1066425/tid=1066428] ppid=1066422 vsize=230500 memory=130092 CPUtime=0 cores=4,6
/proc/1066425/task/1066428/stat : 1066428 (fscip) S 1066422 1066425 1059834 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 197646402 236032000 35544 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 230500 KiB
Current children cumulated memory: 142176 KiB
[startup+102.3 s]
/proc/loadavg: 4.38 4.18 4.12 5/264 1066448
/proc/meminfo: memFree=122694344/131524600 swapFree=131071996/131071996
[pid=1066425] ppid=1066422 vsize=278580 memory=210476 CPUtime=101.99 cores=4,6
/proc/1066425/stat : 1066425 (fscip) S 1066422 1066425 1059834 0 -1 1077936128 235133 0 0 0 10169 30 0 0 20 0 3 0 197646397 285265920 52619 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
/proc/1066425/statm: 69645 52619 3310 3032 0 56496 0
[pid=1066425/tid=1066427] ppid=1066422 vsize=278580 memory=204716 CPUtime=101.93 cores=4,6
/proc/1066425/task/1066427/stat : 1066427 (fscip) R 1066422 1066425 1059834 0 -1 4194368 230944 0 0 0 10164 29 0 0 20 0 3 0 197646401 285265920 52619 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
[pid=1066425/tid=1066428] ppid=1066422 vsize=278580 memory=197152 CPUtime=0 cores=4,6
/proc/1066425/task/1066428/stat : 1066428 (fscip) S 1066422 1066425 1059834 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 197646402 285265920 52619 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 278580 KiB
Current children cumulated memory: 210476 KiB
[startup+162.3 s]
/proc/loadavg: 4.34 4.19 4.13 5/263 1066841
/proc/meminfo: memFree=122549680/131524600 swapFree=131071996/131071996
[pid=1066425] ppid=1066422 vsize=346196 memory=284436 CPUtime=161.8 cores=4,6
/proc/1066425/stat : 1066425 (fscip) S 1066422 1066425 1059834 0 -1 1077936128 324940 0 0 0 16139 41 0 0 20 0 3 0 197646397 354504704 71109 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
/proc/1066425/statm: 86549 71109 3310 3032 0 79196 0
[pid=1066425/tid=1066427] ppid=1066422 vsize=346196 memory=274708 CPUtime=161.74 cores=4,6
/proc/1066425/task/1066427/stat : 1066427 (fscip) R 1066422 1066425 1059834 0 -1 4194368 320703 0 0 0 16134 40 0 0 20 0 3 0 197646401 354504704 71109 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
[pid=1066425/tid=1066428] ppid=1066422 vsize=346196 memory=11588 CPUtime=0 cores=4,6
/proc/1066425/task/1066428/stat : 1066428 (fscip) S 1066422 1066425 1059834 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 197646402 354504704 71109 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 346196 KiB
################
# More data... #
################
/proc/1066425/statm: 871727 767456 3310 3032 0 854771 0
[pid=1066425/tid=1066427] ppid=1066422 vsize=3486908 memory=11588 CPUtime=3451.31 cores=4,6
/proc/1066425/task/1066427/stat : 1066427 (fscip) R 1066422 1066425 1059834 0 -1 4194368 10301135 0 0 0 344314 817 0 0 20 0 3 0 197646401 3570593792 767456 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
[pid=1066425/tid=1066428] ppid=1066422 vsize=3486908 memory=-7095836577494241638 CPUtime=0.03 cores=4,6
/proc/1066425/task/1066428/stat : 1066428 (fscip) S 1066422 1066425 1059834 0 -1 1077936192 144 0 0 0 1 2 0 0 20 0 3 0 197646402 3570593792 767456 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
Current children cumulated CPU time: 3451.57 s
Current children cumulated vsize: 3486908 KiB
Current children cumulated memory: 3069824 KiB
[startup+3522.3 s]
/proc/loadavg: 1.14 1.14 1.50 2/239 1068346
/proc/meminfo: memFree=123737676/131524600 swapFree=131071996/131071996
[pid=1066425] ppid=1066422 vsize=3486908 memory=3122884 CPUtime=3511.4 cores=4,6
/proc/1066425/stat : 1066425 (fscip) S 1066422 1066425 1059834 0 -1 1077936128 10539013 0 0 0 350295 845 0 0 20 0 3 0 197646397 3570593792 780721 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
/proc/1066425/statm: 871727 780721 3310 3032 0 857252 0
[pid=1066425/tid=1066427] ppid=1066422 vsize=3486908 memory=11588 CPUtime=3511.14 cores=4,6
/proc/1066425/task/1066427/stat : 1066427 (fscip) R 1066422 1066425 1059834 0 -1 4194368 10533896 0 0 0 350278 836 0 0 20 0 3 0 197646401 3570593792 780721 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
[pid=1066425/tid=1066428] ppid=1066422 vsize=3486908 memory=3079900 CPUtime=0.03 cores=4,6
/proc/1066425/task/1066428/stat : 1066428 (fscip) S 1066422 1066425 1059834 0 -1 1077936192 146 0 0 0 1 2 0 0 20 0 3 0 197646402 3570593792 780721 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
Current children cumulated CPU time: 3511.4 s
Current children cumulated vsize: 3486908 KiB
Current children cumulated memory: 3122884 KiB
[startup+3582.3 s]
/proc/loadavg: 1.09 1.13 1.47 2/239 1068356
/proc/meminfo: memFree=123702932/131524600 swapFree=131071996/131071996
[pid=1066425] ppid=1066422 vsize=3486908 memory=3157144 CPUtime=3571.2 cores=4,6
/proc/1066425/stat : 1066425 (fscip) S 1066422 1066425 1059834 0 -1 1077936128 10822448 0 0 0 356258 862 0 0 20 0 3 0 197646397 3570593792 789286 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
/proc/1066425/statm: 871727 789286 3310 3032 0 860336 0
[pid=1066425/tid=1066427] ppid=1066422 vsize=3486908 memory=11588 CPUtime=3570.94 cores=4,6
/proc/1066425/task/1066427/stat : 1066427 (fscip) R 1066422 1066425 1059834 0 -1 4194368 10817320 0 0 0 356241 853 0 0 20 0 3 0 197646401 3570593792 789286 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
[pid=1066425/tid=1066428] ppid=1066422 vsize=3486908 memory=47392 CPUtime=0.03 cores=4,6
/proc/1066425/task/1066428/stat : 1066428 (fscip) S 1066422 1066425 1059834 0 -1 1077936192 148 0 0 0 1 2 0 0 20 0 3 0 197646402 3570593792 789286 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
Current children cumulated CPU time: 3571.2 s
Current children cumulated vsize: 3486908 KiB
Current children cumulated memory: 3157144 KiB
[startup+3601.14 s]
# the end of solver process 1066425 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.24 s, system=8.75066 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.09 1.13 1.47 2/239 1068357
/proc/meminfo: memFree=123702932/131524600 swapFree=131071996/131071996
[pid=1066425] ppid=1066422 vsize=3486908 memory=3157152 CPUtime=3572.9 cores=4,6
/proc/1066425/stat : 1066425 (fscip) S 1066422 1066425 1059834 0 -1 1077936128 10822706 0 0 0 356428 862 0 0 20 0 3 0 197646397 3570593792 789288 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
/proc/1066425/statm: 871727 789288 3310 3032 0 860336 0
[pid=1066425/tid=1066427] ppid=1066422 vsize=3486908 memory=3157144 CPUtime=3572.63 cores=4,6
/proc/1066425/task/1066427/stat : 1066427 (fscip) R 1066422 1066425 1059834 0 -1 4194368 10817578 0 0 0 356410 853 0 0 20 0 3 0 197646401 3570593792 789288 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
[pid=1066425/tid=1066428] ppid=1066422 vsize=3486908 memory=-7095836577494241638 CPUtime=0.03 cores=4,6
/proc/1066425/task/1066428/stat : 1066428 (fscip) S 1066422 1066425 1059834 0 -1 1077936192 148 0 0 0 1 2 0 0 20 0 3 0 197646402 3570593792 789288 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
Current children cumulated CPU time: 3572.9 s
Current children cumulated vsize: 3486908 KiB
Current children cumulated memory: 3157152 KiB
[startup+3590.4 s]
/proc/loadavg: 1.24 1.16 1.48 2/239 1068357
/proc/meminfo: memFree=123702908/131524600 swapFree=131071996/131071996
[pid=1066425] ppid=1066422 vsize=3486908 memory=3157168 CPUtime=3579.28 cores=4,6
/proc/1066425/stat : 1066425 (fscip) S 1066422 1066425 1059834 0 -1 1077936128 10824515 0 0 0 357065 863 0 0 20 0 3 0 197646397 3570593792 789292 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
/proc/1066425/statm: 871727 789292 3310 3032 0 860336 0
[pid=1066425/tid=1066427] ppid=1066422 vsize=3486908 memory=0 CPUtime=3579.01 cores=4,6
/proc/1066425/task/1066427/stat : 1066427 (fscip) R 1066422 1066425 1059834 0 -1 4194368 10819383 0 0 0 357047 854 0 0 20 0 3 0 197646401 3570593792 789292 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
[pid=1066425/tid=1066428] ppid=1066422 vsize=3486908 memory=3155096 CPUtime=0.03 cores=4,6
/proc/1066425/task/1066428/stat : 1066428 (fscip) S 1066422 1066425 1059834 0 -1 1077936192 148 0 0 0 1 2 0 0 20 0 3 0 197646402 3570593792 789292 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
Current children cumulated CPU time: 3579.28 s
Current children cumulated vsize: 3486908 KiB
Current children cumulated memory: 3157168 KiB
[startup+3596.8 s]
/proc/loadavg: 1.22 1.16 1.48 3/239 1068358
/proc/meminfo: memFree=123693848/131524600 swapFree=131071996/131071996
[pid=1066425] ppid=1066422 vsize=3486908 memory=3166284 CPUtime=3585.66 cores=4,6
/proc/1066425/stat : 1066425 (fscip) S 1066422 1066425 1059834 0 -1 1077936128 10875159 0 0 0 357700 866 0 0 20 0 3 0 197646397 3570593792 791571 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
/proc/1066425/statm: 871727 791571 3310 3032 0 860336 0
[pid=1066425/tid=1066427] ppid=1066422 vsize=3486908 memory=10015863739817 CPUtime=3585.4 cores=4,6
/proc/1066425/task/1066427/stat : 1066427 (fscip) R 1066422 1066425 1059834 0 -1 4194368 10870019 0 0 0 357683 857 0 0 20 0 3 0 197646401 3570593792 791571 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
[pid=1066425/tid=1066428] ppid=1066422 vsize=3486908 memory=3149216 CPUtime=0.03 cores=4,6
/proc/1066425/task/1066428/stat : 1066428 (fscip) S 1066422 1066425 1059834 0 -1 1077936192 148 0 0 0 1 2 0 0 20 0 3 0 197646402 3570593792 791571 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
Current children cumulated CPU time: 3585.66 s
Current children cumulated vsize: 3486908 KiB
Current children cumulated memory: 3166284 KiB
[startup+3598.4 s]
/proc/loadavg: 1.21 1.16 1.47 2/239 1068358
/proc/meminfo: memFree=123693848/131524600 swapFree=131071996/131071996
[pid=1066425] ppid=1066422 vsize=3486908 memory=3166288 CPUtime=3587.26 cores=4,6
/proc/1066425/stat : 1066425 (fscip) S 1066422 1066425 1059834 0 -1 1077936128 10922990 0 0 0 357857 869 0 0 20 0 3 0 197646397 3570593792 791572 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
/proc/1066425/statm: 871727 791572 3310 3032 0 860336 0
[pid=1066425/tid=1066427] ppid=1066422 vsize=3486908 memory=3166284 CPUtime=3586.99 cores=4,6
/proc/1066425/task/1066427/stat : 1066427 (fscip) R 1066422 1066425 1059834 0 -1 4194368 10917850 0 0 0 357839 860 0 0 20 0 3 0 197646401 3570593792 791572 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
[pid=1066425/tid=1066428] ppid=1066422 vsize=3486908 memory=31452 CPUtime=0.03 cores=4,6
/proc/1066425/task/1066428/stat : 1066428 (fscip) S 1066422 1066425 1059834 0 -1 1077936192 148 0 0 0 1 2 0 0 20 0 3 0 197646402 3570593792 791572 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
Current children cumulated CPU time: 3587.26 s
Current children cumulated vsize: 3486908 KiB
Current children cumulated memory: 3166288 KiB
[startup+3600 s]*
/proc/loadavg: 1.21 1.16 1.47 2/239 1068358
/proc/meminfo: memFree=123693288/131524600 swapFree=131071996/131071996
[pid=1066425] ppid=1066422 vsize=3486908 memory=3166864 CPUtime=3588.86 cores=4,6
/proc/1066425/stat : 1066425 (fscip) S 1066422 1066425 1059834 0 -1 1077936128 10923328 0 0 0 358017 869 0 0 20 0 3 0 197646397 3570593792 791716 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
/proc/1066425/statm: 871727 791716 3310 3032 0 860336 0
[pid=1066425/tid=1066427] ppid=1066422 vsize=3486908 memory=-7095836577494241638 CPUtime=3588.59 cores=4,6
/proc/1066425/task/1066427/stat : 1066427 (fscip) R 1066422 1066425 1059834 0 -1 4194368 10918188 0 0 0 357999 860 0 0 20 0 3 0 197646401 3570593792 791716 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
[pid=1066425/tid=1066428] ppid=1066422 vsize=3486908 memory=1469364720394797185 CPUtime=0.03 cores=4,6
/proc/1066425/task/1066428/stat : 1066428 (fscip) S 1066422 1066425 1059834 0 -1 1077936192 148 0 0 0 1 2 0 0 20 0 3 0 197646402 3570593792 791716 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
Current children cumulated CPU time: 3588.86 s
Current children cumulated vsize: 3486908 KiB
Current children cumulated memory: 3166864 KiB
[startup+3600.8 s]
/proc/loadavg: 1.21 1.16 1.47 2/239 1068358
/proc/meminfo: memFree=123693288/131524600 swapFree=131071996/131071996
[pid=1066425] ppid=1066422 vsize=3486908 memory=3166864 CPUtime=3589.65 cores=4,6
/proc/1066425/stat : 1066425 (fscip) S 1066422 1066425 1059834 0 -1 1077936128 10949357 0 0 0 358094 871 0 0 20 0 3 0 197646397 3570593792 791716 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
/proc/1066425/statm: 871727 791716 3310 3032 0 860336 0
[pid=1066425/tid=1066427] ppid=1066422 vsize=3486908 memory=-7095836577494241638 CPUtime=3589.38 cores=4,6
/proc/1066425/task/1066427/stat : 1066427 (fscip) R 1066422 1066425 1059834 0 -1 4194368 10944214 0 0 0 358076 862 0 0 20 0 3 0 197646401 3570593792 791716 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
[pid=1066425/tid=1066428] ppid=1066422 vsize=3486908 memory=2340 CPUtime=0.03 cores=4,6
/proc/1066425/task/1066428/stat : 1066428 (fscip) S 1066422 1066425 1059834 0 -1 1077936192 148 0 0 0 1 2 0 0 20 0 3 0 197646402 3570593792 791716 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
Current children cumulated CPU time: 3589.65 s
Current children cumulated vsize: 3486908 KiB
Current children cumulated memory: 3166864 KiB
[startup+3601 s]*
/proc/loadavg: 1.21 1.16 1.47 2/239 1068360
/proc/meminfo: memFree=123693304/131524600 swapFree=131071996/131071996
[pid=1066425] ppid=1066422 vsize=3486908 memory=3166864 CPUtime=3589.85 cores=4,6
/proc/1066425/stat : 1066425 (fscip) S 1066422 1066425 1059834 0 -1 1077936128 10952502 0 0 0 358114 871 0 0 20 0 3 0 197646397 3570593792 791716 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
/proc/1066425/statm: 871727 791716 3310 3032 0 860336 0
[pid=1066425/tid=1066427] ppid=1066422 vsize=3486908 memory=-7095836577494241638 CPUtime=3589.58 cores=4,6
/proc/1066425/task/1066427/stat : 1066427 (fscip) R 1066422 1066425 1059834 0 -1 4194368 10947359 0 0 0 358096 862 0 0 20 0 3 0 197646401 3570593792 791716 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
[pid=1066425/tid=1066428] ppid=1066422 vsize=3486908 memory=1469364720394797185 CPUtime=0.03 cores=4,6
/proc/1066425/task/1066428/stat : 1066428 (fscip) S 1066422 1066425 1059834 0 -1 1077936192 148 0 0 0 1 2 0 0 20 0 3 0 197646402 3570593792 791716 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
Current children cumulated CPU time: 3589.85 s
Current children cumulated vsize: 3486908 KiB
Current children cumulated memory: 3166864 KiB
[startup+3601.11 s]
/proc/loadavg: 1.21 1.16 1.47 2/239 1068360
/proc/meminfo: memFree=123693304/131524600 swapFree=131071996/131071996
[pid=1066425] ppid=1066422 vsize=3464768 memory=2629592 CPUtime=3589.95 cores=4,6
/proc/1066425/stat : 1066425 (fscip) S 1066422 1066425 1059834 0 -1 1077936128 10953135 0 0 0 358123 872 0 0 20 0 3 0 197646397 3547922432 657398 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
/proc/1066425/statm: 866192 657398 3310 3032 0 854801 0
[pid=1066425/tid=1066427] ppid=1066422 vsize=3464768 memory=3158080 CPUtime=3589.69 cores=4,6
/proc/1066425/task/1066427/stat : 1066427 (fscip) R 1066422 1066425 1059834 0 -1 4194368 10947992 0 0 0 358106 863 0 0 20 0 3 0 197646401 3547922432 657187 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
[pid=1066425/tid=1066428] ppid=1066422 vsize=3464768 memory=3157164 CPUtime=0.03 cores=4,6
/proc/1066425/task/1066428/stat : 1066428 (fscip) S 1066422 1066425 1059834 0 -1 1077936192 148 0 0 0 1 2 0 0 20 0 3 0 197646402 3547922432 656675 134679101440 4194304 16613245 140735856162352 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40448000 140735856170003 140735856170119 140735856170119 140735856177136 0
Current children cumulated CPU time: 3589.95 s
Current children cumulated vsize: 3464768 KiB
Current children cumulated memory: 2629592 KiB
Child status: 0
Real time (s): 3601.14
CPU time (s): 3589.99
CPU user time (s): 3581.24
CPU system time (s): 8.75066
CPU usage (%): 99.6906
Max. virtual memory (cumulated for all children) (KiB): 3486908
Max. memory (cumulated for all children) (KiB): 3166864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.24
system time used= 8.75066
maximum resident set size= 3166864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10953713
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= 10500
involuntary context switches= 4563
# summary of solver processes directly reported to runsolver:
# pid: 1066425
# total CPU time (s): 3589.99
# total CPU user time (s): 3581.24
# total CPU system time (s): 8.75066
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.10244 second user time and 16.3906 second system time
The end
Begin job on nodeC029 at 2024-07-20 07:53:23
IDJOB=4449938
IDBENCH=176173
IDSOLVER=3064
FILE ID=nodeC029/4449938-1721454790
RUNJOBID= nodeC029-1721446720-1059845
SLURM_JOB_ID= 7545672
Free space on /tmp= 889980 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=9-t=5.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-4449938-1721454790/watcher-4449938-1721454790 -o /tmp/evaluation-result-4449938-1721454790/solver-4449938-1721454790 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721446720-1059845 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4449938-1721454790.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e8bf5f7be237686d5dd1c770609b55cb
RANDOM SEED=816687461
nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.932
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3687.636
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.160
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.268
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3673.305
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3687.738
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3654.568
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.356
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 122979144 kB
MemAvailable: 125878748 kB
Buffers: 544608 kB
Cached: 3169872 kB
SwapCached: 0 kB
Active: 1059072 kB
Inactive: 6794256 kB
Active(anon): 1464 kB
Inactive(anon): 4183316 kB
Active(file): 1057608 kB
Inactive(file): 2610940 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28372 kB
Writeback: 4 kB
AnonPages: 4135288 kB
Mapped: 145536 kB
Shmem: 45912 kB
KReclaimable: 141404 kB
Slab: 260028 kB
SReclaimable: 141404 kB
SUnreclaim: 118624 kB
KernelStack: 4128 kB
PageTables: 17436 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3362732 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 72096 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1892352 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: 281300 kB
DirectMap2M: 36192256 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 890040 MiB
End job on nodeC029 at 2024-07-20 08:53:24