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.02 c Default LC presolving (default).
0.00/0.02 c ** Before presolving: virtualMemUsedAtLc = 33558528, getVmSize() = 33558528, SCIPgetMemUsed() = 8129510, SCIPgetMemTotal() = 11526902, SCIPgetMemExternEstim() = 6567362
0.00/0.02 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.09/0.15 c ** Estimated virtualMemUsedAtSolver = 38594988, getVmSize() = 75198464, SCIPgetMemUsed() = 28826673, SCIPgetMemTotal() = 51325121, SCIPgetMemExternEstim() = 6567362
0.09/0.15 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.09/0.15 c Original Problem :
0.09/0.15 c Problem name : instance-4449763-1721403254
0.09/0.15 c Variables : 242 (242 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.15 c Constraints : 6358
0.09/0.15 c Objective sense : minimize
0.09/0.15 c Presolved Problem :
0.09/0.15 c Variables : 242 (242 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.15 c Constraints : 6358
0.09/0.15 c Constraints : Number
0.09/0.15 c setppc : 11
0.09/0.15 c logicor : 6347
0.09/0.15 c ** Instance transfer method used: 0
0.09/0.16 c ** ParaScipInstance copy does not increase the number of variables. **
0.09/0.17 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.09/0.17 c Nodes Active
0.09/0.17 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.19/0.24 c * 0 0 1 1 11.0000 - -
0.19/0.25 c * 0 0 1 1 10.0000 - -
0.38/0.41 c * 0 0 1 1 6.0000 - -
5.75/5.85 c 6 171 146 1 6.0000 0.0000 -
10.95/11.05 c 11 648 525 1 6.0000 0.0000 -
16.03/16.15 c 16 1112 969 1 6.0000 0.0000 -
21.21/21.33 c 21 1624 1444 1 6.0000 0.0000 -
26.49/26.62 c 27 2479 0 1 6.0000 0.0000 -
31.88/32.03 c 32 2769 278 1 6.0000 0.0000 -
37.04/37.28 c 37 3205 618 1 6.0000 0.0000 -
42.42/42.61 c 43 4424 1194 1 6.0000 0.0000 -
47.60/47.88 c 48 6029 1759 1 6.0000 0.0000 -
53.18/53.40 c 53 6938 2134 1 6.0000 0.0000 -
58.46/58.79 c 59 7668 2442 1 6.0000 0.0000 -
63.75/64.03 c 64 8824 2945 1 6.0000 0.0000 -
68.92/69.25 c 69 9737 3357 1 6.0000 0.0000 -
74.20/74.59 c 75 10746 3754 1 6.0000 0.0000 -
79.38/79.78 c 80 12161 4217 1 6.0000 0.0000 -
84.66/85.09 c 85 13833 4762 1 6.0000 0.0000 -
90.03/90.47 c 90 14910 5309 1 6.0000 0.0000 -
95.21/95.60 c 96 15428 5629 1 6.0000 0.0000 -
100.29/100.72 c 101 16968 6465 1 6.0000 0.0000 -
105.27/105.77 c 106 18547 7315 1 6.0000 0.0000 -
110.35/110.85 c 111 20433 8410 1 6.0000 0.0000 -
115.43/115.93 c 116 22617 9423 1 6.0000 0.0000 -
120.52/121.00 c 121 24373 10003 1 6.0000 0.0000 -
125.59/126.17 c 126 26278 10638 1 6.0000 0.0000 -
131.16/131.79 c 132 27635 11396 1 6.0000 0.0000 -
136.24/136.84 c 137 29548 12488 1 6.0000 0.0000 -
141.22/141.89 c 142 31279 13524 1 6.0000 0.0000 -
146.60/147.21 c 147 32224 13949 1 6.0000 0.0000 -
152.38/153.00 c 153 33354 14321 1 6.0000 0.0000 -
157.66/158.30 c 158 34797 15024 1 6.0000 0.0000 -
162.74/163.49 c 163 36344 15829 1 6.0000 0.0000 -
168.03/168.72 c 169 37405 16538 1 6.0000 0.0000 -
173.31/174.00 c 174 38266 17101 1 6.0000 0.0000 -
178.49/179.28 c 179 39442 17676 1 6.0000 0.0000 -
183.67/184.49 c 184 40583 18245 1 6.0000 0.0000 -
188.96/189.72 c 190 41511 18740 1 6.0000 0.0000 -
194.23/195.07 c 195 43178 19536 1 6.0000 0.0000 -
199.41/200.25 c 200 44486 20178 1 6.0000 0.0000 -
204.70/205.51 c 206 45630 20679 1 6.0000 0.0000 -
210.19/211.03 c 211 46319 20971 1 6.0000 0.0000 -
215.47/216.35 c 216 47448 21675 1 6.0000 0.0000 -
220.54/221.47 c 221 49228 22661 1 6.0000 0.0000 -
225.93/226.84 c 227 50421 23341 1 6.0000 0.0000 -
231.12/232.02 c 232 51538 24097 1 6.0000 0.0000 -
236.11/237.10 c 237 53061 24927 1 6.0000 0.0000 -
241.28/242.24 c 242 54504 25791 1 6.0000 0.0000 -
246.26/247.29 c 247 55669 26371 1 6.0000 0.0000 -
251.65/252.68 c 253 56625 26854 1 6.0000 0.0000 -
257.04/258.02 c 258 57411 27401 1 6.0000 0.0000 -
262.21/263.28 c 263 58779 28103 1 6.0000 0.0000 -
267.40/268.48 c 268 59668 28555 1 6.0000 0.0000 -
272.58/273.62 c 274 60359 28991 1 6.0000 0.0000 -
277.67/278.72 c 279 62284 29944 1 6.0000 0.0000 -
282.75/283.83 c 284 64085 30819 1 6.0000 0.0000 -
287.93/289.08 c 289 65292 31357 1 6.0000 0.0000 -
293.11/294.20 c 294 67220 32140 1 6.0000 0.0000 -
298.29/299.47 c 299 68965 32956 1 6.0000 0.0000 -
303.67/304.88 c 305 71254 33933 1 6.0000 0.0000 -
308.86/310.09 c 310 72955 34621 1 6.0000 0.0000 -
314.14/315.31 c 315 74052 35141 1 6.0000 0.0000 -
319.32/320.58 c 321 75385 35748 1 6.0000 0.0000 -
324.50/325.71 c 326 77141 36620 1 6.0000 0.0000 -
329.89/331.13 c 331 78608 37236 1 6.0000 0.0000 -
335.08/336.33 c 336 79692 37823 1 6.0000 0.0000 -
340.15/341.40 c 341 81371 38628 1 6.0000 0.0000 -
345.34/346.68 c 347 82753 39196 1 6.0000 0.0000 -
350.52/351.88 c 352 83957 39776 1 6.0000 0.0000 -
355.90/357.22 c 357 85571 40435 1 6.0000 0.0000 -
361.29/362.64 c 363 86838 40982 1 6.0000 0.0000 -
366.47/367.81 c 368 88091 41568 1 6.0000 0.0000 -
371.96/373.30 c 373 88616 41803 1 6.0000 0.0000 -
376.94/378.35 c 378 90163 42403 1 6.0000 0.0000 -
382.03/383.42 c 383 91149 42843 1 6.0000 0.0000 -
387.11/388.52 c 389 93159 43658 1 6.0000 0.0000 -
392.29/393.72 c 394 94577 44215 1 6.0000 0.0000 -
397.37/398.82 c 399 96058 44926 1 6.0000 0.0000 -
402.46/403.95 c 404 97900 45704 1 6.0000 0.0000 -
407.65/409.19 c 409 99447 46393 1 6.0000 0.0000 -
412.93/414.40 c 414 100316 46742 1 6.0000 0.0000 -
418.30/419.87 c 420 101517 47292 1 6.0000 0.0000 -
423.49/425.06 c 425 103280 47974 1 6.0000 0.0000 -
428.67/430.28 c 430 104677 48621 1 6.0000 0.0000 -
433.85/435.40 c 435 106424 49275 1 6.0000 0.0000 -
439.14/440.77 c 441 107630 49917 1 6.0000 0.0000 -
444.22/445.82 c 446 109529 50758 1 6.0000 0.0000 -
449.51/451.17 c 451 111452 51565 1 6.0000 0.0000 -
454.68/456.36 c 456 113137 52196 1 6.0000 0.0000 -
460.17/461.83 c 462 114825 52891 1 6.0000 0.0000 -
465.26/466.95 c 467 116478 53538 1 6.0000 0.0000 -
470.45/472.11 c 472 118278 54325 1 6.0000 0.0000 -
475.62/477.31 c 477 119770 54985 1 6.0000 0.0000 -
481.11/482.80 c 483 121319 55619 1 6.0000 0.0000 -
486.09/487.88 c 488 122737 56206 1 6.0000 0.0000 -
491.29/493.07 c 493 123838 56591 1 6.0000 0.0000 -
496.55/498.39 c 498 125261 57162 1 6.0000 0.0000 -
501.94/503.76 c 504 126773 57787 1 6.0000 0.0000 -
507.33/509.14 c 509 127780 58187 1 6.0000 0.0000 -
512.41/514.26 c 514 129175 58647 1 6.0000 0.0000 -
517.60/519.48 c 519 129888 59078 1 6.0000 0.0000 -
522.67/524.53 c 525 131274 59713 1 6.0000 0.0000 -
527.96/529.89 c 530 131829 60027 1 6.0000 0.0000 -
533.34/535.21 c 535 133174 60572 1 6.0000 0.0000 -
538.43/540.36 c 540 135501 61587 1 6.0000 0.0000 -
543.62/545.53 c 546 136365 62096 1 6.0000 0.0000 -
549.00/550.97 c 551 137236 62566 1 6.0000 0.0000 -
554.19/556.12 c 556 138064 63052 1 6.0000 0.0000 -
559.67/561.63 c 562 138808 63406 1 6.0000 0.0000 -
565.16/567.10 c 567 141004 64285 1 6.0000 0.0000 -
570.54/572.56 c 573 142230 64832 1 6.0000 0.0000 -
575.72/577.74 c 578 143851 65427 1 6.0000 0.0000 -
581.11/583.16 c 583 145608 66117 1 6.0000 0.0000 -
586.39/588.40 c 588 147402 66615 1 6.0000 0.0000 -
591.47/593.51 c 594 149398 67338 1 6.0000 0.0000 -
596.66/598.76 c 599 150802 67986 1 6.0000 0.0000 -
601.84/603.95 c 604 153071 68936 1 6.0000 0.0000 -
607.23/609.38 c 609 154086 69351 1 6.0000 0.0000 -
612.41/614.56 c 615 155225 69794 1 6.0000 0.0000 -
617.50/619.66 c 620 156388 70311 1 6.0000 0.0000 -
622.89/625.01 c 625 158060 70897 1 6.0000 0.0000 -
627.87/630.09 c 630 159462 71495 1 6.0000 0.0000 -
633.05/635.26 c 635 160906 72013 1 6.0000 0.0000 -
638.13/640.32 c 640 162712 72594 1 6.0000 0.0000 -
643.41/645.65 c 646 164624 73244 1 6.0000 0.0000 -
648.70/650.95 c 651 166619 73916 1 6.0000 0.0000 -
654.08/656.33 c 656 167831 74389 1 6.0000 0.0000 -
659.16/661.49 c 661 169314 75030 1 6.0000 0.0000 -
664.45/666.72 c 667 171096 75732 1 6.0000 0.0000 -
669.84/672.12 c 672 172945 76523 1 6.0000 0.0000 -
675.21/677.58 c 678 173911 76922 1 6.0000 0.0000 -
680.39/682.75 c 683 175554 77519 1 6.0000 0.0000 -
685.48/687.89 c 688 176887 78150 1 6.0000 0.0000 -
690.77/693.19 c 693 178080 78658 1 6.0000 0.0000 -
695.85/698.27 c 698 179026 79075 1 6.0000 0.0000 -
701.23/703.66 c 704 180015 79606 1 6.0000 0.0000 -
706.42/708.89 c 709 181255 80087 1 6.0000 0.0000 -
711.90/714.34 c 714 182662 80570 1 6.0000 0.0000 -
717.08/719.53 c 720 184623 81483 1 6.0000 0.0000 -
722.27/724.71 c 725 185780 81976 1 6.0000 0.0000 -
727.35/729.81 c 730 187390 82605 1 6.0000 0.0000 -
732.73/735.26 c 735 189245 83233 1 6.0000 0.0000 -
737.81/740.38 c 740 190907 83859 1 6.0000 0.0000 -
742.90/745.45 c 745 191851 84204 1 6.0000 0.0000 -
748.08/750.60 c 751 193148 84760 1 6.0000 0.0000 -
753.58/756.15 c 756 194251 85250 1 6.0000 0.0000 -
758.65/761.24 c 761 196227 85848 1 6.0000 0.0000 -
764.13/766.70 c 767 197623 86338 1 6.0000 0.0000 -
769.12/771.75 c 772 199049 86898 1 6.0000 0.0000 -
774.60/777.23 c 777 200746 87507 1 6.0000 0.0000 -
780.09/782.78 c 783 201951 88046 1 6.0000 0.0000 -
785.38/788.06 c 788 202895 88483 1 6.0000 0.0000 -
790.56/793.27 c 793 203811 88898 1 6.0000 0.0000 -
795.75/798.46 c 798 205221 89422 1 6.0000 0.0000 -
800.83/803.51 c 804 206946 90148 1 6.0000 0.0000 -
806.11/808.85 c 809 209017 90604 1 6.0000 0.0000 -
811.20/813.97 c 814 210536 91210 1 6.0000 0.0000 -
816.28/819.02 c 819 212341 91852 1 6.0000 0.0000 -
821.66/824.41 c 824 213812 92469 1 6.0000 0.0000 -
826.94/829.73 c 830 215023 92938 1 6.0000 0.0000 -
832.33/835.16 c 835 216060 93397 1 6.0000 0.0000 -
837.41/840.22 c 840 217532 93902 1 6.0000 0.0000 -
842.69/845.56 c 846 218732 94355 1 6.0000 0.0000 -
847.88/850.80 c 851 220256 94963 1 6.0000 0.0000 -
853.05/855.95 c 856 221847 95615 1 6.0000 0.0000 -
858.24/861.18 c 861 223129 96069 1 6.0000 0.0000 -
863.42/866.31 c 866 224655 96659 1 6.0000 0.0000 -
868.80/871.76 c 872 224948 96839 1 6.0000 0.0000 -
873.89/876.82 c 877 226007 97280 1 6.0000 0.0000 -
879.08/882.08 c 882 226969 97757 1 6.0000 0.0000 -
884.46/887.40 c 887 228027 98207 1 6.0000 0.0000 -
889.84/892.88 c 893 229410 98761 1 6.0000 0.0000 -
895.02/898.04 c 898 230770 99304 1 6.0000 0.0000 -
900.40/903.41 c 903 231464 99630 1 6.0000 0.0000 -
905.67/908.76 c 909 232591 100124 1 6.0000 0.0000 -
910.85/913.90 c 914 234163 100607 1 6.0000 0.0000 -
915.93/919.05 c 919 236010 101268 1 6.0000 0.0000 -
921.31/924.46 c 924 237660 101939 1 6.0000 0.0000 -
926.59/929.70 c 930 239417 102642 1 6.0000 0.0000 -
931.88/935.01 c 935 240989 103261 1 6.0000 0.0000 -
937.07/940.23 c 940 242215 103782 1 6.0000 0.0000 -
942.35/945.55 c 946 243261 104213 1 6.0000 0.0000 -
947.63/950.84 c 951 243894 104474 1 6.0000 0.0000 -
952.92/956.16 c 956 245146 104924 1 6.0000 0.0000 -
958.01/961.26 c 961 246316 105298 1 6.0000 0.0000 -
963.19/966.42 c 966 247895 105889 1 6.0000 0.0000 -
968.67/971.94 c 972 249160 106394 1 6.0000 0.0000 -
973.76/977.10 c 977 249929 106735 1 6.0000 0.0000 -
978.94/982.21 c 982 251559 107468 1 6.0000 0.0000 -
984.02/987.33 c 987 253085 108054 1 6.0000 0.0000 -
989.20/992.50 c 992 254625 108634 1 6.0000 0.0000 -
994.38/997.78 c 998 256236 109260 1 6.0000 0.0000 -
999.57/1002.98 c 1003 257499 109745 1 6.0000 0.0000 -
1004.76/1008.15 c 1008 258761 110269 1 6.0000 0.0000 -
1009.83/1013.29 c 1013 260256 110826 1 6.0000 0.0000 -
1015.42/1018.85 c 1019 261533 111287 1 6.0000 0.0000 -
1020.61/1024.05 c 1024 262882 111805 1 6.0000 0.0000 -
1025.99/1029.43 c 1029 264260 112350 1 6.0000 0.0000 -
1030.96/1034.49 c 1034 266102 112940 1 6.0000 0.0000 -
1036.45/1039.95 c 1040 267812 113595 1 6.0000 0.0000 -
1041.63/1045.18 c 1045 269335 114220 1 6.0000 0.0000 -
1046.81/1050.30 c 1050 271117 114784 1 6.0000 0.0000 -
1052.00/1055.51 c 1056 272642 115451 1 6.0000 0.0000 -
1056.99/1060.58 c 1061 274169 116031 1 6.0000 0.0000 -
1062.36/1065.97 c 1066 275201 116443 1 6.0000 0.0000 -
1067.65/1071.26 c 1071 276520 116922 1 6.0000 0.0000 -
1073.33/1076.96 c 1077 277343 117249 1 6.0000 0.0000 -
1078.42/1082.05 c 1082 278379 117617 1 6.0000 0.0000 -
1083.60/1087.23 c 1087 280378 118316 1 6.0000 0.0000 -
1088.87/1092.54 c 1093 281648 118818 1 6.0000 0.0000 -
1094.16/1097.89 c 1098 282675 119203 1 6.0000 0.0000 -
1099.45/1103.16 c 1103 284091 119735 1 6.0000 0.0000 -
1104.52/1108.28 c 1108 285636 120388 1 6.0000 0.0000 -
1109.91/1113.67 c 1114 287029 120929 1 6.0000 0.0000 -
1115.09/1118.88 c 1119 288225 121373 1 6.0000 0.0000 -
1120.47/1124.20 c 1124 289930 122008 1 6.0000 0.0000 -
1125.76/1129.54 c 1130 291065 122467 1 6.0000 0.0000 -
1130.84/1134.68 c 1135 292397 123036 1 6.0000 0.0000 -
1135.93/1139.76 c 1140 293798 123588 1 6.0000 0.0000 -
1141.21/1145.03 c 1145 295524 124177 1 6.0000 0.0000 -
1146.30/1150.19 c 1150 297557 124734 1 6.0000 0.0000 -
1151.67/1155.53 c 1156 298965 125163 1 6.0000 0.0000 -
1156.96/1160.83 c 1161 299558 125483 1 6.0000 0.0000 -
1162.14/1166.06 c 1166 300069 125723 1 6.0000 0.0000 -
1167.52/1171.48 c 1171 300753 126027 1 6.0000 0.0000 -
1172.80/1176.70 c 1177 301775 126409 1 6.0000 0.0000 -
1178.09/1182.05 c 1182 303245 126944 1 6.0000 0.0000 -
1183.18/1187.13 c 1187 304644 127497 1 6.0000 0.0000 -
1188.36/1192.35 c 1192 305731 127990 1 6.0000 0.0000 -
1193.64/1197.63 c 1198 307062 128513 1 6.0000 0.0000 -
1198.93/1202.98 c 1203 308240 128934 1 6.0000 0.0000 -
1204.61/1208.61 c 1209 308970 129241 1 6.0000 0.0000 -
1209.59/1213.67 c 1214 310193 129817 1 6.0000 0.0000 -
1214.87/1218.90 c 1219 311528 130191 1 6.0000 0.0000 -
1220.46/1224.59 c 1225 312823 130735 1 6.0000 0.0000 -
1225.74/1229.84 c 1230 314279 131198 1 6.0000 0.0000 -
1231.02/1235.11 c 1235 315365 131569 1 6.0000 0.0000 -
1236.70/1240.89 c 1241 316542 132016 1 6.0000 0.0000 -
1241.90/1246.08 c 1246 317682 132489 1 6.0000 0.0000 -
1247.07/1251.29 c 1251 318664 132838 1 6.0000 0.0000 -
1252.25/1256.42 c 1256 319895 133350 1 6.0000 0.0000 -
1257.34/1261.58 c 1262 321051 133848 1 6.0000 0.0000 -
1262.72/1266.93 c 1267 322507 134371 1 6.0000 0.0000 -
1268.20/1272.42 c 1272 323780 134891 1 6.0000 0.0000 -
1273.49/1277.74 c 1278 325318 135414 1 6.0000 0.0000 -
1278.77/1283.03 c 1283 326449 135847 1 6.0000 0.0000 -
1283.85/1288.19 c 1288 328030 136400 1 6.0000 0.0000 -
1289.03/1293.30 c 1293 329385 136893 1 6.0000 0.0000 -
1294.42/1298.71 c 1299 330871 137455 1 6.0000 0.0000 -
1299.50/1303.89 c 1304 332450 137924 1 6.0000 0.0000 -
1304.98/1309.36 c 1309 333956 138459 1 6.0000 0.0000 -
1310.26/1314.68 c 1315 335359 138946 1 6.0000 0.0000 -
1316.04/1320.49 c 1320 336701 139454 1 6.0000 0.0000 -
1321.33/1325.75 c 1326 337797 139945 1 6.0000 0.0000 -
1326.41/1330.80 c 1331 339640 140408 1 6.0000 0.0000 -
1331.50/1335.97 c 1336 341028 140941 1 6.0000 0.0000 -
1336.77/1341.24 c 1341 342183 141398 1 6.0000 0.0000 -
1342.26/1346.72 c 1347 343340 141876 1 6.0000 0.0000 -
1347.83/1352.30 c 1352 344648 142332 1 6.0000 0.0000 -
1353.13/1357.69 c 1358 345034 142538 1 6.0000 0.0000 -
1358.41/1362.97 c 1363 346354 143019 1 6.0000 0.0000 -
1363.50/1368.05 c 1368 347688 143570 1 6.0000 0.0000 -
1368.77/1373.34 c 1373 349296 144121 1 6.0000 0.0000 -
1374.36/1378.95 c 1379 350490 144597 1 6.0000 0.0000 -
1379.94/1384.55 c 1385 351653 145135 1 6.0000 0.0000 -
1385.72/1390.34 c 1390 352941 145545 1 6.0000 0.0000 -
1391.11/1395.72 c 1396 354563 146190 1 6.0000 0.0000 -
1396.40/1401.06 c 1401 355647 146683 1 6.0000 0.0000 -
1401.58/1406.27 c 1406 357269 147197 1 6.0000 0.0000 -
1406.76/1411.48 c 1411 358609 147689 1 6.0000 0.0000 -
1412.05/1416.79 c 1417 359462 148080 1 6.0000 0.0000 -
1417.53/1422.27 c 1422 360529 148380 1 6.0000 0.0000 -
1422.82/1427.57 c 1428 362363 148995 1 6.0000 0.0000 -
1428.20/1432.91 c 1433 363912 149508 1 6.0000 0.0000 -
1433.39/1438.18 c 1438 365331 150048 1 6.0000 0.0000 -
1438.67/1443.42 c 1443 366795 150543 1 6.0000 0.0000 -
1443.95/1448.73 c 1449 368136 151106 1 6.0000 0.0000 -
1449.24/1454.09 c 1454 369140 151525 1 6.0000 0.0000 -
1454.62/1459.47 c 1459 370459 151958 1 6.0000 0.0000 -
1459.91/1464.73 c 1465 371793 152374 1 6.0000 0.0000 -
1465.29/1470.11 c 1470 372462 152687 1 6.0000 0.0000 -
1470.67/1475.53 c 1476 373873 153034 1 6.0000 0.0000 -
1475.86/1480.76 c 1481 374895 153445 1 6.0000 0.0000 -
1481.33/1486.28 c 1486 376207 153947 1 6.0000 0.0000 -
1486.71/1491.68 c 1492 377524 154404 1 6.0000 0.0000 -
1491.89/1496.84 c 1497 378998 154878 1 6.0000 0.0000 -
1496.89/1501.89 c 1502 380755 155525 1 6.0000 0.0000 -
1502.07/1507.09 c 1507 381524 155884 1 6.0000 0.0000 -
1507.16/1512.14 c 1512 383705 156529 1 6.0000 0.0000 -
1512.44/1517.44 c 1517 385602 157169 1 6.0000 0.0000 -
1517.62/1522.65 c 1523 387862 157932 1 6.0000 0.0000 -
1522.80/1527.88 c 1528 389397 158453 1 6.0000 0.0000 -
1528.18/1533.25 c 1533 391273 159070 1 6.0000 0.0000 -
1533.37/1538.42 c 1538 393019 159659 1 6.0000 0.0000 -
1538.55/1543.68 c 1544 394316 160154 1 6.0000 0.0000 -
1543.85/1548.91 c 1549 395368 160525 1 6.0000 0.0000 -
1549.13/1554.21 c 1554 396183 160857 1 6.0000 0.0000 -
1554.41/1559.55 c 1560 397905 161495 1 6.0000 0.0000 -
1559.91/1565.01 c 1565 399552 162125 1 6.0000 0.0000 -
1564.99/1570.11 c 1570 401469 162648 1 6.0000 0.0000 -
1570.46/1575.66 c 1576 402683 163238 1 6.0000 0.0000 -
1576.15/1581.38 c 1581 404033 163742 1 6.0000 0.0000 -
1581.34/1586.57 c 1587 405471 164239 1 6.0000 0.0000 -
1586.83/1592.05 c 1592 406404 164572 1 6.0000 0.0000 -
1592.11/1597.32 c 1597 407752 165104 1 6.0000 0.0000 -
1597.49/1602.74 c 1603 408634 165564 1 6.0000 0.0000 -
1602.78/1608.03 c 1608 410339 166143 1 6.0000 0.0000 -
1607.86/1613.18 c 1613 412009 166785 1 6.0000 0.0000 -
1613.13/1618.43 c 1618 414778 167642 1 6.0000 0.0000 -
1618.32/1623.60 c 1624 416478 168302 1 6.0000 0.0000 -
1623.30/1628.69 c 1629 417846 168884 1 6.0000 0.0000 -
1628.69/1634.04 c 1634 419321 169455 1 6.0000 0.0000 -
1633.97/1639.37 c 1639 420624 169937 1 6.0000 0.0000 -
1639.05/1644.48 c 1644 421798 170428 1 6.0000 0.0000 -
1644.93/1650.31 c 1650 422272 170636 1 6.0000 0.0000 -
1650.02/1655.41 c 1655 423629 171075 1 6.0000 0.0000 -
1655.20/1660.68 c 1661 425107 171673 1 6.0000 0.0000 -
1660.48/1665.90 c 1666 426340 172066 1 6.0000 0.0000 -
1665.86/1671.32 c 1671 428072 172668 1 6.0000 0.0000 -
1671.24/1676.74 c 1677 429528 173145 1 6.0000 0.0000 -
1676.33/1681.89 c 1682 431046 173697 1 6.0000 0.0000 -
1681.42/1686.96 c 1687 432345 174214 1 6.0000 0.0000 -
1686.69/1692.22 c 1692 434019 174789 1 6.0000 0.0000 -
1692.08/1697.68 c 1698 435094 175216 1 6.0000 0.0000 -
1697.57/1703.19 c 1703 436520 175755 1 6.0000 0.0000 -
1702.85/1708.42 c 1708 437542 176213 1 6.0000 0.0000 -
1708.13/1713.77 c 1714 438812 176882 1 6.0000 0.0000 -
1713.52/1719.11 c 1719 440733 177713 1 6.0000 0.0000 -
1718.90/1724.55 c 1725 441900 178093 1 6.0000 0.0000 -
1724.38/1730.01 c 1730 443653 178611 1 6.0000 0.0000 -
1729.87/1735.55 c 1736 444952 179041 1 6.0000 0.0000 -
1734.95/1740.64 c 1741 446919 179565 1 6.0000 0.0000 -
1740.03/1745.72 c 1746 448482 180036 1 6.0000 0.0000 -
1745.23/1750.97 c 1751 450157 180646 1 6.0000 0.0000 -
1750.51/1756.20 c 1756 452380 181232 1 6.0000 0.0000 -
1755.79/1761.55 c 1762 453656 181907 1 6.0000 0.0000 -
1761.39/1767.12 c 1767 454974 182386 1 6.0000 0.0000 -
1766.66/1772.47 c 1772 456650 183011 1 6.0000 0.0000 -
1772.15/1777.91 c 1778 458389 183632 1 6.0000 0.0000 -
1777.53/1783.30 c 1783 459902 184091 1 6.0000 0.0000 -
1782.91/1788.77 c 1789 461189 184589 1 6.0000 0.0000 -
1788.49/1794.31 c 1794 463248 185215 1 6.0000 0.0000 -
1793.78/1799.61 c 1800 464853 185823 1 6.0000 0.0000 -
1798.97/1804.84 c 1805 466061 186177 1 6.0000 0.0000 -
1804.45/1810.34 c 1810 467138 186684 1 6.0000 0.0000 -
1809.83/1815.72 c 1816 468242 187103 1 6.0000 0.0000 -
1815.13/1821.03 c 1821 470205 187701 1 6.0000 0.0000 -
1820.21/1826.14 c 1826 472650 188593 1 6.0000 0.0000 -
1825.40/1831.35 c 1831 473906 188998 1 6.0000 0.0000 -
1830.67/1836.64 c 1837 476063 189764 1 6.0000 0.0000 -
1835.77/1841.70 c 1842 477980 190364 1 6.0000 0.0000 -
1840.74/1846.77 c 1847 479693 191220 1 6.0000 0.0000 -
1846.03/1852.00 c 1852 481027 191766 1 6.0000 0.0000 -
1851.21/1857.20 c 1857 482239 192179 1 6.0000 0.0000 -
1856.40/1862.40 c 1862 484115 192808 1 6.0000 0.0000 -
1861.68/1867.73 c 1868 485637 193310 1 6.0000 0.0000 -
1866.97/1873.02 c 1873 487480 193804 1 6.0000 0.0000 -
1872.15/1878.23 c 1878 488921 194236 1 6.0000 0.0000 -
1877.44/1883.53 c 1884 490699 194764 1 6.0000 0.0000 -
1882.51/1888.62 c 1889 492804 195281 1 6.0000 0.0000 -
1887.60/1893.70 c 1894 494512 195858 1 6.0000 0.0000 -
1893.08/1899.20 c 1899 496290 196419 1 6.0000 0.0000 -
1898.36/1904.58 c 1905 497783 196913 1 6.0000 0.0000 -
1903.74/1909.90 c 1910 499255 197483 1 6.0000 0.0000 -
1909.33/1915.50 c 1916 501120 197822 1 6.0000 0.0000 -
1914.51/1920.76 c 1921 503191 198510 1 6.0000 0.0000 -
1919.70/1925.96 c 1926 505558 199148 1 6.0000 0.0000 -
1924.99/1931.25 c 1931 507360 199660 1 6.0000 0.0000 -
1930.17/1936.43 c 1936 509249 200271 1 6.0000 0.0000 -
1935.25/1941.53 c 1942 511106 200839 1 6.0000 0.0000 -
1940.54/1946.83 c 1947 512604 201289 1 6.0000 0.0000 -
1945.73/1952.01 c 1952 514632 201959 1 6.0000 0.0000 -
1951.11/1957.42 c 1957 515842 202381 1 6.0000 0.0000 -
1956.30/1962.60 c 1963 517841 202978 1 6.0000 0.0000 -
1961.48/1967.86 c 1968 519602 203588 1 6.0000 0.0000 -
1966.76/1973.16 c 1973 520979 204076 1 6.0000 0.0000 -
1971.94/1978.31 c 1978 522468 204550 1 6.0000 0.0000 -
1977.33/1983.77 c 1984 524029 205096 1 6.0000 0.0000 -
1982.51/1988.95 c 1989 525705 205634 1 6.0000 0.0000 -
1987.70/1994.13 c 1994 527476 206190 1 6.0000 0.0000 -
1992.78/1999.27 c 1999 529452 206746 1 6.0000 0.0000 -
1998.16/2004.61 c 2005 531024 207331 1 6.0000 0.0000 -
2003.35/2009.82 c 2010 532347 207771 1 6.0000 0.0000 -
2008.63/2015.14 c 2015 533698 208472 1 6.0000 0.0000 -
2013.81/2020.36 c 2020 535279 209314 1 6.0000 0.0000 -
2019.28/2025.85 c 2026 536762 209876 1 6.0000 0.0000 -
2024.77/2031.31 c 2031 538818 210616 1 6.0000 0.0000 -
2029.85/2036.45 c 2036 540359 211071 1 6.0000 0.0000 -
2035.14/2041.78 c 2042 541938 211593 1 6.0000 0.0000 -
2040.33/2046.91 c 2047 543512 212151 1 6.0000 0.0000 -
2045.81/2052.42 c 2052 545023 212664 1 6.0000 0.0000 -
2050.90/2057.52 c 2058 547255 213347 1 6.0000 0.0000 -
2055.99/2062.62 c 2063 549124 213913 1 6.0000 0.0000 -
2061.07/2067.73 c 2068 550929 214507 1 6.0000 0.0000 -
2066.15/2072.83 c 2073 552500 214907 1 6.0000 0.0000 -
2071.63/2078.31 c 2078 553805 215339 1 6.0000 0.0000 -
2076.82/2083.52 c 2084 555392 215926 1 6.0000 0.0000 -
2082.01/2088.72 c 2089 557619 216595 1 6.0000 0.0000 -
2087.09/2093.80 c 2094 558687 216987 1 6.0000 0.0000 -
2092.58/2099.33 c 2099 560387 217617 1 6.0000 0.0000 -
2097.67/2104.44 c 2104 562065 218205 1 6.0000 0.0000 -
2102.85/2109.68 c 2110 563576 218757 1 6.0000 0.0000 -
2108.12/2114.93 c 2115 565092 219256 1 6.0000 0.0000 -
2113.41/2120.25 c 2120 566943 219762 1 6.0000 0.0000 -
2118.59/2125.49 c 2125 568698 220393 1 6.0000 0.0000 -
2123.68/2130.57 c 2131 570434 220897 1 6.0000 0.0000 -
2128.77/2135.68 c 2136 571514 221331 1 6.0000 0.0000 -
2133.85/2140.78 c 2141 573519 222046 1 6.0000 0.0000 -
2139.24/2146.14 c 2146 575149 222708 1 6.0000 0.0000 -
2144.32/2151.23 c 2151 577157 223421 1 6.0000 0.0000 -
2149.40/2156.37 c 2156 579231 224100 1 6.0000 0.0000 -
2154.99/2161.94 c 2162 580435 224676 1 6.0000 0.0000 -
2160.27/2167.28 c 2167 581984 225255 1 6.0000 0.0000 -
2165.86/2172.81 c 2173 583457 225872 1 6.0000 0.0000 -
2170.94/2177.90 c 2178 585307 226500 1 6.0000 0.0000 -
2176.03/2183.07 c 2183 587101 227114 1 6.0000 0.0000 -
2181.11/2188.17 c 2188 588822 227706 1 6.0000 0.0000 -
2186.28/2193.33 c 2193 590730 228285 1 6.0000 0.0000 -
2191.66/2198.77 c 2199 591916 228632 1 6.0000 0.0000 -
2197.05/2204.15 c 2204 594015 229459 1 6.0000 0.0000 -
2202.32/2209.48 c 2209 595438 229933 1 6.0000 0.0000 -
2207.51/2214.66 c 2215 596605 230292 1 6.0000 0.0000 -
2212.69/2219.85 c 2220 598167 230820 1 6.0000 0.0000 -
2218.08/2225.21 c 2225 600342 231574 1 6.0000 0.0000 -
2223.36/2230.52 c 2231 601731 232082 1 6.0000 0.0000 -
2228.64/2235.83 c 2236 603609 232555 1 6.0000 0.0000 -
2234.12/2241.37 c 2241 605531 233301 1 6.0000 0.0000 -
2239.20/2246.44 c 2246 607159 233869 1 6.0000 0.0000 -
2244.39/2251.69 c 2252 609160 234559 1 6.0000 0.0000 -
2249.88/2257.18 c 2257 610687 235003 1 6.0000 0.0000 -
2255.05/2262.39 c 2262 612211 235466 1 6.0000 0.0000 -
2260.24/2267.59 c 2268 613617 235963 1 6.0000 0.0000 -
2265.52/2272.88 c 2273 615221 236630 1 6.0000 0.0000 -
2270.81/2278.15 c 2278 616813 237120 1 6.0000 0.0000 -
2275.88/2283.26 c 2283 618955 237749 1 6.0000 0.0000 -
2281.16/2288.53 c 2289 620315 238173 1 6.0000 0.0000 -
2286.24/2293.62 c 2294 622597 238546 1 6.0000 0.0000 -
2291.42/2298.86 c 2299 623970 239017 1 6.0000 0.0000 -
2296.91/2304.33 c 2304 625252 239495 1 6.0000 0.0000 -
2302.19/2309.65 c 2310 626723 240041 1 6.0000 0.0000 -
2307.57/2315.01 c 2315 628286 240677 1 6.0000 0.0000 -
2312.85/2320.31 c 2320 628918 240903 1 6.0000 0.0000 -
2318.13/2325.64 c 2326 630251 241361 1 6.0000 0.0000 -
2323.41/2330.95 c 2331 631549 241754 1 6.0000 0.0000 -
2329.50/2337.01 c 2337 632315 242123 1 6.0000 0.0000 -
2334.49/2342.07 c 2342 633442 242429 1 6.0000 0.0000 -
2340.06/2347.66 c 2348 634885 242925 1 6.0000 0.0000 -
2345.34/2352.93 c 2353 636692 243435 1 6.0000 0.0000 -
2350.44/2358.05 c 2358 637941 243955 1 6.0000 0.0000 -
2355.91/2363.53 c 2364 639720 244494 1 6.0000 0.0000 -
2360.99/2368.68 c 2369 640448 244763 1 6.0000 0.0000 -
2366.28/2373.91 c 2374 641545 245120 1 6.0000 0.0000 -
2371.76/2379.40 c 2379 642772 245541 1 6.0000 0.0000 -
2376.84/2384.56 c 2385 643980 245909 1 6.0000 0.0000 -
2382.34/2390.01 c 2390 645146 246291 1 6.0000 0.0000 -
2387.42/2395.18 c 2395 646297 246666 1 6.0000 0.0000 -
2393.20/2400.92 c 2401 647987 247154 1 6.0000 0.0000 -
2398.48/2406.28 c 2406 649500 247719 1 6.0000 0.0000 -
2403.77/2411.55 c 2412 651099 248267 1 6.0000 0.0000 -
2408.95/2416.70 c 2417 653249 248843 1 6.0000 0.0000 -
2414.03/2421.87 c 2422 654492 249298 1 6.0000 0.0000 -
2419.23/2427.02 c 2427 656445 249883 1 6.0000 0.0000 -
2424.51/2432.33 c 2432 658067 250371 1 6.0000 0.0000 -
2429.59/2437.45 c 2437 659818 250985 1 6.0000 0.0000 -
2434.87/2442.73 c 2443 661661 251586 1 6.0000 0.0000 -
2440.06/2447.99 c 2448 663418 252221 1 6.0000 0.0000 -
2445.15/2453.04 c 2453 665192 252845 1 6.0000 0.0000 -
2450.62/2458.58 c 2459 666692 253375 1 6.0000 0.0000 -
2455.90/2463.88 c 2464 667643 253686 1 6.0000 0.0000 -
2461.29/2469.27 c 2469 669472 254250 1 6.0000 0.0000 -
2466.87/2474.83 c 2475 670839 254665 1 6.0000 0.0000 -
2472.46/2480.48 c 2480 671826 254929 1 6.0000 0.0000 -
2477.84/2485.87 c 2486 672897 255429 1 6.0000 0.0000 -
2482.92/2490.94 c 2491 674638 255978 1 6.0000 0.0000 -
2488.42/2496.43 c 2496 676242 256469 1 6.0000 0.0000 -
2493.80/2501.88 c 2502 677810 257039 1 6.0000 0.0000 -
2498.88/2506.93 c 2507 679676 257579 1 6.0000 0.0000 -
2504.37/2512.46 c 2512 681162 258021 1 6.0000 0.0000 -
2509.65/2517.76 c 2518 682959 258622 1 6.0000 0.0000 -
2514.93/2523.08 c 2523 684839 259290 1 6.0000 0.0000 -
2520.22/2528.36 c 2528 686773 259845 1 6.0000 0.0000 -
2525.40/2533.58 c 2534 688533 260346 1 6.0000 0.0000 -
2530.48/2538.68 c 2539 690114 260880 1 6.0000 0.0000 -
2535.56/2543.77 c 2544 692278 261500 1 6.0000 0.0000 -
2541.05/2549.20 c 2549 693147 261842 1 6.0000 0.0000 -
2546.13/2554.32 c 2554 694263 262237 1 6.0000 0.0000 -
2552.01/2560.20 c 2560 695845 262856 1 6.0000 0.0000 -
2557.50/2565.79 c 2566 696855 263204 1 6.0000 0.0000 -
2563.18/2571.43 c 2571 697498 263436 1 6.0000 0.0000 -
2568.57/2576.82 c 2577 698151 263656 1 6.0000 0.0000 -
2573.96/2582.25 c 2582 700034 264379 1 6.0000 0.0000 -
2579.44/2587.70 c 2588 702055 265062 1 6.0000 0.0000 -
2584.62/2592.94 c 2593 703583 265646 1 6.0000 0.0000 -
2589.60/2597.99 c 2598 705711 266349 1 6.0000 0.0000 -
2594.79/2603.16 c 2603 707591 266988 1 6.0000 0.0000 -
2599.97/2608.38 c 2608 709417 267586 1 6.0000 0.0000 -
2605.46/2613.86 c 2614 711413 268263 1 6.0000 0.0000 -
2610.65/2619.05 c 2619 713045 268782 1 6.0000 0.0000 -
2615.93/2624.37 c 2624 713915 269098 1 6.0000 0.0000 -
2621.11/2629.52 c 2630 715387 269666 1 6.0000 0.0000 -
2626.30/2634.73 c 2635 716681 270085 1 6.0000 0.0000 -
2631.48/2639.91 c 2640 717829 270491 1 6.0000 0.0000 -
2636.58/2645.04 c 2645 719092 270915 1 6.0000 0.0000 -
2641.55/2650.10 c 2650 721692 271590 1 6.0000 0.0000 -
2646.94/2655.47 c 2655 723540 272193 1 6.0000 0.0000 -
2652.22/2660.74 c 2661 725198 272771 1 6.0000 0.0000 -
2657.40/2665.94 c 2666 726761 273375 1 6.0000 0.0000 -
2662.59/2671.15 c 2671 728510 273993 1 6.0000 0.0000 -
2667.68/2676.28 c 2676 729778 274321 1 6.0000 0.0000 -
2672.76/2681.33 c 2681 731561 274893 1 6.0000 0.0000 -
2677.94/2686.54 c 2687 733741 275581 1 6.0000 0.0000 -
2683.33/2691.95 c 2692 734854 275861 1 6.0000 0.0000 -
2688.71/2697.38 c 2697 735926 276274 1 6.0000 0.0000 -
2694.19/2702.89 c 2703 737220 276680 1 6.0000 0.0000 -
2699.38/2708.06 c 2708 738564 277086 1 6.0000 0.0000 -
2704.56/2713.24 c 2713 740527 277683 1 6.0000 0.0000 -
2710.04/2718.71 c 2719 742769 278295 1 6.0000 0.0000 -
2715.13/2723.83 c 2724 744234 278765 1 6.0000 0.0000 -
2720.51/2729.24 c 2729 745661 279278 1 6.0000 0.0000 -
2725.59/2734.36 c 2734 747724 279995 1 6.0000 0.0000 -
2730.87/2739.62 c 2740 749841 280565 1 6.0000 0.0000 -
2736.46/2745.20 c 2745 751160 280951 1 6.0000 0.0000 -
2741.74/2750.55 c 2751 752555 281479 1 6.0000 0.0000 -
2746.92/2755.78 c 2756 754136 281957 1 6.0000 0.0000 -
2752.21/2761.03 c 2761 755808 282535 1 6.0000 0.0000 -
2757.70/2766.53 c 2767 756896 282903 1 6.0000 0.0000 -
2762.77/2771.69 c 2772 757940 283211 1 6.0000 0.0000 -
2767.87/2776.76 c 2777 759133 283501 1 6.0000 0.0000 -
2773.05/2781.96 c 2782 760465 283937 1 6.0000 0.0000 -
2778.43/2787.38 c 2787 762317 284473 1 6.0000 0.0000 -
2783.61/2792.54 c 2793 764308 285028 1 6.0000 0.0000 -
2788.59/2797.59 c 2798 765430 285241 1 6.0000 0.0000 -
2793.98/2802.92 c 2803 766751 285662 1 6.0000 0.0000 -
2799.26/2808.25 c 2808 768301 286238 1 6.0000 0.0000 -
2804.64/2813.67 c 2814 769843 286859 1 6.0000 0.0000 -
2809.83/2818.81 c 2819 771522 287343 1 6.0000 0.0000 -
2815.13/2824.15 c 2824 773416 287866 1 6.0000 0.0000 -
2820.20/2829.29 c 2829 775725 288586 1 6.0000 0.0000 -
2825.28/2834.34 c 2834 777768 289213 1 6.0000 0.0000 -
2830.66/2839.71 c 2840 779233 289811 1 6.0000 0.0000 -
2835.85/2844.99 c 2845 780617 290262 1 6.0000 0.0000 -
2841.24/2850.37 c 2850 782000 290926 1 6.0000 0.0000 -
2846.41/2855.51 c 2856 784184 291548 1 6.0000 0.0000 -
2851.59/2860.77 c 2861 785697 292099 1 6.0000 0.0000 -
2856.98/2866.18 c 2866 787370 292651 1 6.0000 0.0000 -
2862.56/2871.74 c 2872 789287 293090 1 6.0000 0.0000 -
2867.95/2877.14 c 2877 790640 293546 1 6.0000 0.0000 -
2873.53/2882.74 c 2883 792373 294128 1 6.0000 0.0000 -
2878.81/2888.05 c 2888 793553 294497 1 6.0000 0.0000 -
2884.40/2893.66 c 2894 794417 294824 1 6.0000 0.0000 -
2889.89/2899.11 c 2899 796118 295337 1 6.0000 0.0000 -
2895.07/2904.30 c 2904 797777 295953 1 6.0000 0.0000 -
2900.55/2909.83 c 2910 799124 296475 1 6.0000 0.0000 -
2905.84/2915.18 c 2915 800594 297040 1 6.0000 0.0000 -
2911.22/2920.51 c 2921 801382 297314 1 6.0000 0.0000 -
2916.61/2925.95 c 2926 802749 297718 1 6.0000 0.0000 -
2922.08/2931.42 c 2931 803699 298171 1 6.0000 0.0000 -
2927.27/2936.68 c 2937 804969 298885 1 6.0000 0.0000 -
2932.85/2942.23 c 2942 806340 299450 1 6.0000 0.0000 -
2938.14/2947.59 c 2948 807336 299827 1 6.0000 0.0000 -
2943.32/2952.79 c 2953 808779 300208 1 6.0000 0.0000 -
2948.72/2958.11 c 2958 810321 300794 1 6.0000 0.0000 -
2954.39/2963.80 c 2964 811996 301307 1 6.0000 0.0000 -
2959.68/2969.13 c 2969 812835 301666 1 6.0000 0.0000 -
2965.16/2974.63 c 2975 814278 302057 1 6.0000 0.0000 -
2970.54/2980.05 c 2980 815383 302385 1 6.0000 0.0000 -
2976.32/2985.87 c 2986 816293 302692 1 6.0000 0.0000 -
2981.90/2991.44 c 2991 817319 303007 1 6.0000 0.0000 -
2987.28/2996.86 c 2997 818255 303338 1 6.0000 0.0000 -
2992.67/3002.23 c 3002 819158 303609 1 6.0000 0.0000 -
2997.95/3007.58 c 3008 819513 303733 1 6.0000 0.0000 -
3003.54/3013.19 c 3013 820089 304117 1 6.0000 0.0000 -
3009.32/3018.94 c 3019 820672 304500 1 6.0000 0.0000 -
3014.81/3024.40 c 3024 821197 304831 1 6.0000 0.0000 -
3020.30/3029.98 c 3030 822649 305429 1 6.0000 0.0000 -
3025.68/3035.37 c 3035 823320 305747 1 6.0000 0.0000 -
3031.26/3040.98 c 3041 824443 306177 1 6.0000 0.0000 -
3036.55/3046.22 c 3046 825223 306494 1 6.0000 0.0000 -
3041.93/3051.66 c 3052 826159 306903 1 6.0000 0.0000 -
3047.32/3057.10 c 3057 827194 307363 1 6.0000 0.0000 -
3053.51/3063.22 c 3063 828378 307886 1 6.0000 0.0000 -
3058.48/3068.27 c 3068 829640 308383 1 6.0000 0.0000 -
3063.77/3073.53 c 3074 831025 308935 1 6.0000 0.0000 -
3068.76/3078.59 c 3079 832159 309429 1 6.0000 0.0000 -
3074.44/3084.20 c 3084 833704 309938 1 6.0000 0.0000 -
3079.43/3089.26 c 3089 835161 310505 1 6.0000 0.0000 -
3085.01/3094.81 c 3095 836561 311034 1 6.0000 0.0000 -
3090.30/3100.16 c 3100 837677 311498 1 6.0000 0.0000 -
3095.68/3105.53 c 3106 838781 312026 1 6.0000 0.0000 -
3100.96/3110.87 c 3111 840659 312928 1 6.0000 0.0000 -
3106.35/3116.24 c 3116 842841 313817 1 6.0000 0.0000 -
3111.83/3121.74 c 3122 845412 314752 1 6.0000 0.0000 -
3116.82/3126.79 c 3127 846919 315303 1 6.0000 0.0000 -
3122.00/3131.96 c 3132 847972 315682 1 6.0000 0.0000 -
3127.19/3137.13 c 3137 849887 316441 1 6.0000 0.0000 -
3132.36/3142.33 c 3142 850867 316829 1 6.0000 0.0000 -
3137.54/3147.53 c 3148 851959 317316 1 6.0000 0.0000 -
3143.13/3153.16 c 3153 853330 317777 1 6.0000 0.0000 -
3148.61/3158.60 c 3159 855777 318642 1 6.0000 0.0000 -
3153.69/3163.77 c 3164 857209 319164 1 6.0000 0.0000 -
3159.09/3169.16 c 3169 858951 319807 1 6.0000 0.0000 -
3164.36/3174.40 c 3174 860470 320325 1 6.0000 0.0000 -
3169.34/3179.45 c 3179 861799 320811 1 6.0000 0.0000 -
3175.03/3185.17 c 3185 863535 321510 1 6.0000 0.0000 -
3180.81/3190.92 c 3191 865149 322178 1 6.0000 0.0000 -
3186.08/3196.23 c 3196 866556 322786 1 6.0000 0.0000 -
3191.17/3201.38 c 3201 868205 323291 1 6.0000 0.0000 -
3196.75/3206.95 c 3207 869125 323677 1 6.0000 0.0000 -
3202.04/3212.20 c 3212 870875 324255 1 6.0000 0.0000 -
3207.32/3217.58 c 3218 872129 324888 1 6.0000 0.0000 -
3212.50/3222.71 c 3223 873672 325503 1 6.0000 0.0000 -
3218.18/3228.41 c 3228 874930 325983 1 6.0000 0.0000 -
3223.77/3234.09 c 3234 875594 326262 1 6.0000 0.0000 -
3228.86/3239.17 c 3239 877262 326735 1 6.0000 0.0000 -
3234.04/3244.34 c 3244 878609 327167 1 6.0000 0.0000 -
3239.52/3249.81 c 3250 879594 327502 1 6.0000 0.0000 -
3244.81/3255.12 c 3255 881079 327933 1 6.0000 0.0000 -
3250.29/3260.65 c 3261 882242 328332 1 6.0000 0.0000 -
3256.07/3266.40 c 3266 883165 328704 1 6.0000 0.0000 -
3261.66/3272.08 c 3272 884306 329191 1 6.0000 0.0000 -
3266.74/3277.13 c 3277 885742 329672 1 6.0000 0.0000 -
3271.82/3282.21 c 3282 887330 330063 1 6.0000 0.0000 -
3276.90/3287.39 c 3287 888232 330340 1 6.0000 0.0000 -
3282.19/3292.69 c 3293 889402 330800 1 6.0000 0.0000 -
3287.67/3298.13 c 3298 890258 331089 1 6.0000 0.0000 -
3292.85/3303.36 c 3303 891733 331441 1 6.0000 0.0000 -
3298.33/3308.80 c 3309 893325 331997 1 6.0000 0.0000 -
3303.41/3313.98 c 3314 894584 332433 1 6.0000 0.0000 -
3308.60/3319.13 c 3319 896465 333008 1 6.0000 0.0000 -
3314.08/3324.66 c 3325 897769 333509 1 6.0000 0.0000 -
3319.07/3329.68 c 3330 898634 333840 1 6.0000 0.0000 -
3324.55/3335.12 c 3335 899787 334273 1 6.0000 0.0000 -
3330.13/3340.73 c 3341 900729 334655 1 6.0000 0.0000 -
3335.21/3345.81 c 3346 901590 334971 1 6.0000 0.0000 -
3340.30/3350.97 c 3351 903063 335473 1 6.0000 0.0000 -
3345.39/3356.10 c 3356 904427 335880 1 6.0000 0.0000 -
3350.87/3361.56 c 3362 906220 336480 1 6.0000 0.0000 -
3356.26/3366.99 c 3367 907317 336817 1 6.0000 0.0000 -
3361.45/3372.18 c 3372 908536 337248 1 6.0000 0.0000 -
3366.93/3377.67 c 3378 909797 337763 1 6.0000 0.0000 -
3372.01/3382.74 c 3383 911497 338323 1 6.0000 0.0000 -
3377.50/3388.23 c 3388 912563 338756 1 6.0000 0.0000 -
3382.58/3393.34 c 3393 913651 339114 1 6.0000 0.0000 -
3387.86/3398.63 c 3399 914853 339568 1 6.0000 0.0000 -
3393.35/3404.15 c 3404 915787 339954 1 6.0000 0.0000 -
3398.53/3409.36 c 3409 917015 340319 1 6.0000 0.0000 -
3404.23/3415.00 c 3415 917841 340581 1 6.0000 0.0000 -
3409.50/3420.36 c 3420 918559 340795 1 6.0000 0.0000 -
3414.88/3425.70 c 3426 919978 341211 1 6.0000 0.0000 -
3419.97/3430.89 c 3431 921182 341630 1 6.0000 0.0000 -
3425.35/3436.27 c 3436 922593 342064 1 6.0000 0.0000 -
3430.64/3441.54 c 3442 924415 342632 1 6.0000 0.0000 -
3436.02/3446.99 c 3447 925678 343051 1 6.0000 0.0000 -
3441.30/3452.27 c 3452 926952 343486 1 6.0000 0.0000 -
3446.49/3457.45 c 3457 928473 343979 1 6.0000 0.0000 -
3451.68/3462.68 c 3463 929903 344527 1 6.0000 0.0000 -
3456.76/3467.73 c 3468 931241 344973 1 6.0000 0.0000 -
3462.25/3473.28 c 3473 932331 345362 1 6.0000 0.0000 -
3467.83/3478.85 c 3479 933883 345853 1 6.0000 0.0000 -
3473.02/3484.04 c 3484 935612 346372 1 6.0000 0.0000 -
3478.20/3489.27 c 3489 937279 346941 1 6.0000 0.0000 -
3483.58/3494.67 c 3495 939205 347568 1 6.0000 0.0000 -
3488.97/3500.02 c 3500 941273 348382 1 6.0000 0.0000 -
3494.25/3505.32 c 3505 943130 349211 1 6.0000 0.0000 -
3499.73/3510.84 c 3511 944457 349664 1 6.0000 0.0000 -
3505.03/3516.16 c 3516 946217 350137 1 6.0000 0.0000 -
3510.60/3521.79 c 3522 947409 350532 1 6.0000 0.0000 -
3516.48/3527.62 c 3528 948730 350981 1 6.0000 0.0000 -
3521.88/3533.07 c 3533 949734 351280 1 6.0000 0.0000 -
3527.05/3538.22 c 3538 951211 351780 1 6.0000 0.0000 -
3533.03/3544.22 c 3544 952474 352246 1 6.0000 0.0000 -
3538.12/3549.30 c 3549 953316 352549 1 6.0000 0.0000 -
3543.50/3554.72 c 3555 954413 352981 1 6.0000 0.0000 -
3548.79/3560.09 c 3560 956167 353516 1 6.0000 0.0000 -
3554.07/3565.36 c 3565 957850 354002 1 6.0000 0.0000 -
3559.15/3570.43 c 3570 959234 354415 1 6.0000 0.0000 -
3564.85/3576.14 c 3576 960465 354809 1 6.0000 0.0000 -
3570.32/3581.67 c 3582 962271 355397 1 6.0000 0.0000 -
3575.51/3586.80 c 3587 963963 355988 1 6.0000 0.0000 -
3580.71/3592.09 c 3592 964917 356327 1 6.0000 0.0000 -
3585.87/3597.25 c 3597 966144 356737 1 6.0000 0.0000 -
3589.67/3601.05 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.67/3601.05 c Total Time : 3601.0400
3589.67/3601.05 c solving : 3601.0400
3589.67/3601.05 c presolving : 0.1397 (included in solving)
3589.67/3601.05 c B&B Tree :
3589.67/3601.05 c nodes (total) : 1
3589.67/3601.05 c Solution :
3589.67/3601.05 c Solutions found : 3
3589.67/3601.05 c Primal Bound : +6.00000000000000e+00
3589.67/3601.05 c Dual Bound : +0.00000000000000e+00
3589.67/3601.05 c Gap : infinite
3589.67/3601.05 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3589.67/3601.05 o 6
3589.67/3601.05 s SATISFIABLE
3589.67/3601.05 v x242 -x241 -x240 -x239 -x238 -x237 x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 x228 -x227 -x226 -x225 x224 -x223 -x222 -x221
3589.67/3601.05 v -x220 x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210 -x209 x208 -x207 -x206 -x205 x204 -x203 -x202 -x201 x200 -x199
3589.67/3601.05 v -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 x189 -x188 x55 x54 x53 x52 x51 x50 x49 x48 x47 -x46 x45 x44 x43 -x42
3589.67/3601.05 v -x41 x40 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
3589.67/3601.05 v -x12 x11 -x10 x9 -x8 -x7 -x6 -x5 x4 -x3 -x2 -x1 -x187 -x176 -x165 -x154 -x143 -x132 -x121 -x110 -x99 -x88 -x77 -x186 -x175
3589.67/3601.05 v -x164 -x153 -x142 -x131 -x120 -x109 -x98 -x87 -x76 -x185 -x174 -x163 -x152 -x141 -x130 -x119 -x108 -x97 -x86 -x75 -x184 -x173
3589.67/3601.05 v -x162 -x151 -x140 -x129 -x118 -x107 x96 -x85 -x74 x183 -x172 -x161 -x150 -x139 -x128 -x117 -x106 -x95 -x84 -x73 -x182 -x171
3589.67/3601.05 v -x160 -x149 -x138 -x127 -x116 -x105 -x94 -x83 -x72 -x181 -x170 -x159 -x148 -x137 -x126 -x115 -x104 -x93 -x82 -x71 -x180 x169
3589.67/3601.05 v -x158 -x147 -x136 -x125 -x114 -x103 -x92 -x81 -x70 -x179 -x168 -x157 x146 -x135 -x124 -x113 -x102 -x91 -x80 -x69 -x178 -x167
3589.67/3601.05 v x156 -x145 -x134 -x123 -x112 -x101 -x90 -x79 -x68 -x177 -x166 -x155 -x144 -x133 -x122 -x111 -x100 -x89 -x78 -x67 x66 x65 x64
3589.67/3601.05 v -x63 -x62 x61 x60 -x59 -x58 -x57 x56
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 (60515 MiB free)
memory of node 1: 64510 MiB (58562 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449763-1721403254/watcher-4449763-1721403254 -o /tmp/evaluation-result-4449763-1721403254/solver-4449763-1721403254 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721403263-1037851 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4449763-1721403254.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1037963, runsolver pid=1037960
[startup+0.100385 s]*
/proc/loadavg: 2.87 3.04 3.05 5/269 1037964
/proc/meminfo: memFree=121895928/131524600 swapFree=131071996/131071996
[pid=1037963] ppid=1037960 vsize=63632 memory=47972 CPUtime=0.09 cores=5,7
/proc/1037963/stat : 1037963 (fscip) R 1037960 1037963 1035639 0 -1 4194304 9405 0 0 0 8 1 0 0 20 0 1 0 192493637 65159168 11993 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
/proc/1037963/statm: 15908 11993 2734 3032 0 12308 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 63632 KiB
Current children cumulated memory: 47972 KiB
[startup+0.206385 s]*
/proc/loadavg: 2.87 3.04 3.05 5/271 1037966
/proc/meminfo: memFree=121866088/131524600 swapFree=131071996/131071996
[pid=1037963] ppid=1037960 vsize=157388 memory=76432 CPUtime=0.19 cores=5,7
/proc/1037963/stat : 1037963 (fscip) S 1037960 1037963 1035639 0 -1 1077936128 16980 0 0 0 17 2 0 0 20 0 3 0 192493637 161165312 19108 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
/proc/1037963/statm: 39347 19108 2782 3032 0 23806 0
[pid=1037963/tid=1037965] ppid=1037960 vsize=157388 memory=6007641856751698051 CPUtime=0.02 cores=5,7
/proc/1037963/task/1037965/stat : 1037965 (fscip) R 1037960 1037963 1035639 0 -1 4194368 4156 0 0 0 2 0 0 0 20 0 3 0 192493653 161165312 19108 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
[pid=1037963/tid=1037966] ppid=1037960 vsize=157388 memory=15945 CPUtime=0 cores=5,7
/proc/1037963/task/1037966/stat : 1037966 (fscip) S 1037960 1037963 1035639 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 192493655 161165312 19108 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 157388 KiB
Current children cumulated memory: 76432 KiB
[startup+0.310381 s]*
/proc/loadavg: 2.87 3.04 3.05 5/271 1037966
/proc/meminfo: memFree=121854736/131524600 swapFree=131071996/131071996
[pid=1037963] ppid=1037960 vsize=157388 memory=86728 CPUtime=0.28 cores=5,7
/proc/1037963/stat : 1037963 (fscip) S 1037960 1037963 1035639 0 -1 1077936128 19412 0 0 0 26 2 0 0 20 0 3 0 192493637 161165312 21682 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
/proc/1037963/statm: 39347 21682 2926 3032 0 26239 0
[pid=1037963/tid=1037965] ppid=1037960 vsize=157388 memory=-7736474891429698937 CPUtime=0.12 cores=5,7
/proc/1037963/task/1037965/stat : 1037965 (fscip) R 1037960 1037963 1035639 0 -1 4194368 6588 0 0 0 12 0 0 0 20 0 3 0 192493653 161165312 21682 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
[pid=1037963/tid=1037966] ppid=1037960 vsize=157388 memory=0 CPUtime=0 cores=5,7
/proc/1037963/task/1037966/stat : 1037966 (fscip) S 1037960 1037963 1035639 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 192493655 161165312 21682 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 157388 KiB
Current children cumulated memory: 86728 KiB
[startup+0.700268 s]
/proc/loadavg: 2.87 3.04 3.05 5/271 1037966
/proc/meminfo: memFree=121837588/131524600 swapFree=131071996/131071996
[pid=1037963] ppid=1037960 vsize=157388 memory=103624 CPUtime=0.67 cores=5,7
/proc/1037963/stat : 1037963 (fscip) S 1037960 1037963 1035639 0 -1 1077936128 23631 0 0 0 64 3 0 0 20 0 3 0 192493637 161165312 25906 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
/proc/1037963/statm: 39347 25906 2926 3032 0 30959 0
[pid=1037963/tid=1037965] ppid=1037960 vsize=157388 memory=0 CPUtime=0.5 cores=5,7
/proc/1037963/task/1037965/stat : 1037965 (fscip) R 1037960 1037963 1035639 0 -1 4194368 10807 0 0 0 49 1 0 0 20 0 3 0 192493653 161165312 25906 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
[pid=1037963/tid=1037966] ppid=1037960 vsize=157388 memory=0 CPUtime=0 cores=5,7
/proc/1037963/task/1037966/stat : 1037966 (fscip) S 1037960 1037963 1035639 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 192493655 161165312 25906 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 157388 KiB
Current children cumulated memory: 103624 KiB
[startup+1.50026 s]
/proc/loadavg: 2.87 3.04 3.05 5/272 1037967
/proc/meminfo: memFree=121798672/131524600 swapFree=131071996/131071996
[pid=1037963] ppid=1037960 vsize=157388 memory=110272 CPUtime=1.47 cores=5,7
/proc/1037963/stat : 1037963 (fscip) S 1037960 1037963 1035639 0 -1 1077936128 30053 0 0 0 143 4 0 0 20 0 3 0 192493637 161165312 27568 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
/proc/1037963/statm: 39347 27568 2926 3032 0 32854 0
[pid=1037963/tid=1037965] ppid=1037960 vsize=157388 memory=0 CPUtime=1.3 cores=5,7
/proc/1037963/task/1037965/stat : 1037965 (fscip) R 1037960 1037963 1035639 0 -1 4194368 17229 0 0 0 128 2 0 0 20 0 3 0 192493653 161165312 27568 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
[pid=1037963/tid=1037966] ppid=1037960 vsize=157388 memory=0 CPUtime=0 cores=5,7
/proc/1037963/task/1037966/stat : 1037966 (fscip) S 1037960 1037963 1035639 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 192493655 161165312 27568 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 157388 KiB
Current children cumulated memory: 110272 KiB
[startup+3.10583 s]
/proc/loadavg: 2.87 3.04 3.05 5/273 1037970
/proc/meminfo: memFree=121392188/131524600 swapFree=131071996/131071996
[pid=1037963] ppid=1037960 vsize=222924 memory=128960 CPUtime=3.07 cores=5,7
/proc/1037963/stat : 1037963 (fscip) S 1037960 1037963 1035639 0 -1 1077936128 35471 0 0 0 302 5 0 0 20 0 3 0 192493637 228274176 32240 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
/proc/1037963/statm: 55731 32240 2926 3032 0 37790 0
[pid=1037963/tid=1037965] ppid=1037960 vsize=222924 memory=0 CPUtime=2.91 cores=5,7
/proc/1037963/task/1037965/stat : 1037965 (fscip) R 1037960 1037963 1035639 0 -1 4194368 22623 0 0 0 288 3 0 0 20 0 3 0 192493653 228274176 32240 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
[pid=1037963/tid=1037966] ppid=1037960 vsize=222924 memory=3472566934076747765 CPUtime=0 cores=5,7
/proc/1037963/task/1037966/stat : 1037966 (fscip) S 1037960 1037963 1035639 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 192493655 228274176 32240 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 222924 KiB
Current children cumulated memory: 128960 KiB
[startup+6.30018 s]
/proc/loadavg: 2.96 3.06 3.06 5/273 1037970
/proc/meminfo: memFree=121342324/131524600 swapFree=131071996/131071996
[pid=1037963] ppid=1037960 vsize=222924 memory=138120 CPUtime=6.25 cores=5,7
/proc/1037963/stat : 1037963 (fscip) S 1037960 1037963 1035639 0 -1 1077936128 48469 0 0 0 619 6 0 0 20 0 3 0 192493637 228274176 34530 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
/proc/1037963/statm: 55731 34530 2926 3032 0 40066 0
[pid=1037963/tid=1037965] ppid=1037960 vsize=222924 memory=129268 CPUtime=6.09 cores=5,7
/proc/1037963/task/1037965/stat : 1037965 (fscip) R 1037960 1037963 1035639 0 -1 4194368 35599 0 0 0 605 4 0 0 20 0 3 0 192493653 228274176 34530 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
[pid=1037963/tid=1037966] ppid=1037960 vsize=222924 memory=11400 CPUtime=0 cores=5,7
/proc/1037963/task/1037966/stat : 1037966 (fscip) S 1037960 1037963 1035639 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 192493655 228274176 34530 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 222924 KiB
Current children cumulated memory: 138120 KiB
[startup+12.7002 s]
/proc/loadavg: 3.04 3.08 3.06 5/273 1037970
/proc/meminfo: memFree=121195528/131524600 swapFree=131071996/131071996
[pid=1037963] ppid=1037960 vsize=224960 memory=144176 CPUtime=12.64 cores=5,7
/proc/1037963/stat : 1037963 (fscip) S 1037960 1037963 1035639 0 -1 1077936128 82198 0 0 0 1255 9 0 0 20 0 3 0 192493637 230359040 36044 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
/proc/1037963/statm: 56240 36044 2990 3032 0 42994 0
[pid=1037963/tid=1037965] ppid=1037960 vsize=224960 memory=128636 CPUtime=12.47 cores=5,7
/proc/1037963/task/1037965/stat : 1037965 (fscip) R 1037960 1037963 1035639 0 -1 4194368 69266 0 0 0 1240 7 0 0 20 0 3 0 192493653 230359040 36044 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
[pid=1037963/tid=1037966] ppid=1037960 vsize=224960 memory=140088 CPUtime=0 cores=5,7
/proc/1037963/task/1037966/stat : 1037966 (fscip) S 1037960 1037963 1035639 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 192493655 230359040 36044 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 224960 KiB
Current children cumulated memory: 144176 KiB
[startup+25.5003 s]
/proc/loadavg: 3.34 3.14 3.08 5/273 1037973
/proc/meminfo: memFree=121116352/131524600 swapFree=131071996/131071996
[pid=1037963] ppid=1037960 vsize=237924 memory=167568 CPUtime=25.39 cores=5,7
/proc/1037963/stat : 1037963 (fscip) S 1037960 1037963 1035639 0 -1 1077936128 129134 0 0 0 2526 13 0 0 20 0 3 0 192493637 243634176 41892 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
/proc/1037963/statm: 59481 41892 2990 3032 0 47456 0
[pid=1037963/tid=1037965] ppid=1037960 vsize=237924 memory=11400 CPUtime=25.22 cores=5,7
/proc/1037963/task/1037965/stat : 1037965 (fscip) R 1037960 1037963 1035639 0 -1 4194368 116119 0 0 0 2511 11 0 0 20 0 3 0 192493653 243634176 41892 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
[pid=1037963/tid=1037966] ppid=1037960 vsize=237924 memory=45780 CPUtime=0 cores=5,7
/proc/1037963/task/1037966/stat : 1037966 (fscip) S 1037960 1037963 1035639 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 192493655 243634176 41892 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 237924 KiB
Current children cumulated memory: 167568 KiB
[startup+51.1059 s]
/proc/loadavg: 3.56 3.21 3.11 5/273 1037976
/proc/meminfo: memFree=120902116/131524600 swapFree=131071996/131071996
[pid=1037963] ppid=1037960 vsize=260252 memory=188736 CPUtime=50.9 cores=5,7
/proc/1037963/stat : 1037963 (fscip) S 1037960 1037963 1035639 0 -1 1077936128 193198 0 0 0 5070 20 0 0 20 0 3 0 192493637 266498048 47184 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
/proc/1037963/statm: 65063 47184 2990 3032 0 54798 0
[pid=1037963/tid=1037965] ppid=1037960 vsize=260252 memory=179036 CPUtime=50.73 cores=5,7
/proc/1037963/task/1037965/stat : 1037965 (fscip) R 1037960 1037963 1035639 0 -1 4194368 180100 0 0 0 5055 18 0 0 20 0 3 0 192493653 266498048 47184 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
[pid=1037963/tid=1037966] ppid=1037960 vsize=260252 memory=11400 CPUtime=0 cores=5,7
/proc/1037963/task/1037966/stat : 1037966 (fscip) S 1037960 1037963 1035639 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 192493655 266498048 47184 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 260252 KiB
Current children cumulated memory: 188736 KiB
[startup+102.3 s]
/proc/loadavg: 3.86 3.35 3.16 5/269 1037985
/proc/meminfo: memFree=120749644/131524600 swapFree=131071996/131071996
[pid=1037963] ppid=1037960 vsize=300324 memory=244652 CPUtime=101.88 cores=5,7
/proc/1037963/stat : 1037963 (fscip) S 1037960 1037963 1035639 0 -1 1077936128 284498 0 0 0 10157 31 0 0 20 0 3 0 192493637 307531776 61163 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
/proc/1037963/statm: 75081 61163 2990 3032 0 69639 0
[pid=1037963/tid=1037965] ppid=1037960 vsize=300324 memory=11400 CPUtime=101.71 cores=5,7
/proc/1037963/task/1037965/stat : 1037965 (fscip) R 1037960 1037963 1035639 0 -1 4194368 271304 0 0 0 10142 29 0 0 20 0 3 0 192493653 307531776 61163 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
[pid=1037963/tid=1037966] ppid=1037960 vsize=300324 memory=237656 CPUtime=0 cores=5,7
/proc/1037963/task/1037966/stat : 1037966 (fscip) S 1037960 1037963 1035639 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 192493655 307531776 61163 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 300324 KiB
Current children cumulated memory: 244652 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 3.50 3.23 5/269 1037995
/proc/meminfo: memFree=120599776/131524600 swapFree=131071996/131071996
[pid=1037963] ppid=1037960 vsize=402760 memory=302384 CPUtime=161.65 cores=5,7
/proc/1037963/stat : 1037963 (fscip) S 1037960 1037963 1035639 0 -1 1077936128 356198 0 0 0 16119 46 0 0 20 0 3 0 192493637 412426240 75596 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
/proc/1037963/statm: 100690 75596 2990 3032 0 83388 0
[pid=1037963/tid=1037965] ppid=1037960 vsize=402760 memory=2228 CPUtime=161.47 cores=5,7
/proc/1037963/task/1037965/stat : 1037965 (fscip) R 1037960 1037963 1035639 0 -1 4194368 342942 0 0 0 16103 44 0 0 20 0 3 0 192493653 412426240 75596 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
[pid=1037963/tid=1037966] ppid=1037960 vsize=402760 memory=302352 CPUtime=0 cores=5,7
/proc/1037963/task/1037966/stat : 1037966 (fscip) S 1037960 1037963 1035639 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 192493655 412426240 75596 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 402760 KiB
Current children cumulated memory: 302384 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 3.64 3.29 5/268 1038008
################
# More data... #
################
/proc/1037963/statm: 882561 819339 3310 3032 0 870223 0
[pid=1037963/tid=1037965] ppid=1037960 vsize=3530244 memory=3260412 CPUtime=3391.15 cores=5,7
/proc/1037963/task/1037965/stat : 1037965 (fscip) R 1037960 1037963 1035639 0 -1 4194368 12454595 0 0 0 338017 1098 0 0 20 0 3 0 192493653 3614969856 819339 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
[pid=1037963/tid=1037966] ppid=1037960 vsize=3530244 memory=45960 CPUtime=0.03 cores=5,7
/proc/1037963/task/1037966/stat : 1037966 (fscip) S 1037960 1037963 1035639 0 -1 1077936192 129 0 0 0 0 3 0 0 20 0 3 0 192493655 3614969856 819339 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
Current children cumulated CPU time: 3391.56 s
Current children cumulated vsize: 3530244 KiB
Current children cumulated memory: 3277356 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 1039805
/proc/meminfo: memFree=113116172/131524600 swapFree=131071996/131071996
[pid=1037963] ppid=1037960 vsize=3530244 memory=3325756 CPUtime=3451.38 cores=5,7
/proc/1037963/stat : 1037963 (fscip) S 1037960 1037963 1035639 0 -1 1077936128 12748809 0 0 0 344008 1130 0 0 20 0 3 0 192493637 3614969856 831439 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
/proc/1037963/statm: 882561 831439 3310 3032 0 872743 0
[pid=1037963/tid=1037965] ppid=1037960 vsize=3530244 memory=3315252 CPUtime=3450.98 cores=5,7
/proc/1037963/task/1037965/stat : 1037965 (fscip) R 1037960 1037963 1035639 0 -1 4194368 12734070 0 0 0 343979 1119 0 0 20 0 3 0 192493653 3614969856 831439 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
[pid=1037963/tid=1037966] ppid=1037960 vsize=3530244 memory=11400 CPUtime=0.04 cores=5,7
/proc/1037963/task/1037966/stat : 1037966 (fscip) S 1037960 1037963 1035639 0 -1 1077936192 131 0 0 0 1 3 0 0 20 0 3 0 192493655 3614969856 831439 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
Current children cumulated CPU time: 3451.38 s
Current children cumulated vsize: 3530244 KiB
Current children cumulated memory: 3325756 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/266 1039818
/proc/meminfo: memFree=113031788/131524600 swapFree=131071996/131071996
[pid=1037963] ppid=1037960 vsize=3809536 memory=3374496 CPUtime=3511.2 cores=5,7
/proc/1037963/stat : 1037963 (fscip) S 1037960 1037963 1035639 0 -1 1077936128 12969817 0 0 0 349972 1148 0 0 20 0 3 0 192493637 3900964864 843624 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
/proc/1037963/statm: 952384 843624 3310 3032 0 947238 0
[pid=1037963/tid=1037965] ppid=1037960 vsize=3809536 memory=11400 CPUtime=3510.79 cores=5,7
/proc/1037963/task/1037965/stat : 1037965 (fscip) R 1037960 1037963 1035639 0 -1 4194368 12955055 0 0 0 349942 1137 0 0 20 0 3 0 192493653 3900964864 843624 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
[pid=1037963/tid=1037966] ppid=1037960 vsize=3809536 memory=1848 CPUtime=0.04 cores=5,7
/proc/1037963/task/1037966/stat : 1037966 (fscip) S 1037960 1037963 1035639 0 -1 1077936192 133 0 0 0 1 3 0 0 20 0 3 0 192493655 3900964864 843624 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
Current children cumulated CPU time: 3511.2 s
Current children cumulated vsize: 3809536 KiB
Current children cumulated memory: 3374496 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 1039828
/proc/meminfo: memFree=112877636/131524600 swapFree=131071996/131071996
[pid=1037963] ppid=1037960 vsize=3882088 memory=3423020 CPUtime=3571.03 cores=5,7
/proc/1037963/stat : 1037963 (fscip) S 1037960 1037963 1035639 0 -1 1077936128 13327893 0 0 0 355933 1170 0 0 20 0 3 0 192493637 3975258112 855755 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
/proc/1037963/statm: 970522 855755 3310 3032 0 951631 0
[pid=1037963/tid=1037965] ppid=1037960 vsize=3882088 memory=1848 CPUtime=3570.61 cores=5,7
/proc/1037963/task/1037965/stat : 1037965 (fscip) R 1037960 1037963 1035639 0 -1 4194368 13313107 0 0 0 355903 1158 0 0 20 0 3 0 192493653 3975258112 855755 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
[pid=1037963/tid=1037966] ppid=1037960 vsize=3882088 memory=3423020 CPUtime=0.04 cores=5,7
/proc/1037963/task/1037966/stat : 1037966 (fscip) S 1037960 1037963 1035639 0 -1 1077936192 136 0 0 0 1 3 0 0 20 0 3 0 192493655 3975258112 855755 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
Current children cumulated CPU time: 3571.03 s
Current children cumulated vsize: 3882088 KiB
Current children cumulated memory: 3423020 KiB
[startup+3601.1 s]
# the end of solver process 1037963 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3577.84 s, system=11.9363 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.11 4.09 5/266 1039830
/proc/meminfo: memFree=112871200/131524600 swapFree=131071996/131071996
[pid=1037963] ppid=1037960 vsize=3882088 memory=3424024 CPUtime=3572.73 cores=5,7
/proc/1037963/stat : 1037963 (fscip) S 1037960 1037963 1035639 0 -1 1077936128 13330221 0 0 0 356103 1170 0 0 20 0 3 0 192493637 3975258112 856006 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
/proc/1037963/statm: 970522 856006 3310 3032 0 951885 0
[pid=1037963/tid=1037965] ppid=1037960 vsize=3882088 memory=-6735270430896065637 CPUtime=3572.32 cores=5,7
/proc/1037963/task/1037965/stat : 1037965 (fscip) R 1037960 1037963 1035639 0 -1 4194368 13315435 0 0 0 356073 1159 0 0 20 0 3 0 192493653 3975258112 856006 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
[pid=1037963/tid=1037966] ppid=1037960 vsize=3882088 memory=4872558142750484537 CPUtime=0.04 cores=5,7
/proc/1037963/task/1037966/stat : 1037966 (fscip) S 1037960 1037963 1035639 0 -1 1077936192 136 0 0 0 1 3 0 0 20 0 3 0 192493655 3975258112 856006 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
Current children cumulated CPU time: 3572.73 s
Current children cumulated vsize: 3882088 KiB
Current children cumulated memory: 3424024 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 1039831
/proc/meminfo: memFree=112865668/131524600 swapFree=131071996/131071996
[pid=1037963] ppid=1037960 vsize=3882088 memory=3426092 CPUtime=3579.1 cores=5,7
/proc/1037963/stat : 1037963 (fscip) S 1037960 1037963 1035639 0 -1 1077936128 13341429 0 0 0 356739 1171 0 0 20 0 3 0 192493637 3975258112 856523 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
/proc/1037963/statm: 970522 856523 3310 3032 0 952398 0
[pid=1037963/tid=1037965] ppid=1037960 vsize=3882088 memory=11400 CPUtime=3578.69 cores=5,7
/proc/1037963/task/1037965/stat : 1037965 (fscip) R 1037960 1037963 1035639 0 -1 4194368 13326643 0 0 0 356709 1160 0 0 20 0 3 0 192493653 3975258112 856523 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
[pid=1037963/tid=1037966] ppid=1037960 vsize=3882088 memory=3426052 CPUtime=0.04 cores=5,7
/proc/1037963/task/1037966/stat : 1037966 (fscip) S 1037960 1037963 1035639 0 -1 1077936192 136 0 0 0 1 3 0 0 20 0 3 0 192493655 3975258112 856523 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
Current children cumulated CPU time: 3579.1 s
Current children cumulated vsize: 3882088 KiB
Current children cumulated memory: 3426092 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.11 4.09 5/266 1039832
/proc/meminfo: memFree=112858008/131524600 swapFree=131071996/131071996
[pid=1037963] ppid=1037960 vsize=3882088 memory=3436852 CPUtime=3585.48 cores=5,7
/proc/1037963/stat : 1037963 (fscip) S 1037960 1037963 1035639 0 -1 1077936128 13351970 0 0 0 357375 1173 0 0 20 0 3 0 192493637 3975258112 859213 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
/proc/1037963/statm: 970522 859213 3310 3032 0 952523 0
[pid=1037963/tid=1037965] ppid=1037960 vsize=3882088 memory=3419796 CPUtime=3585.07 cores=5,7
/proc/1037963/task/1037965/stat : 1037965 (fscip) R 1037960 1037963 1035639 0 -1 4194368 13337184 0 0 0 357345 1162 0 0 20 0 3 0 192493653 3975258112 859213 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
[pid=1037963/tid=1037966] ppid=1037960 vsize=3882088 memory=6944656592455359580 CPUtime=0.04 cores=5,7
/proc/1037963/task/1037966/stat : 1037966 (fscip) S 1037960 1037963 1035639 0 -1 1077936192 136 0 0 0 1 3 0 0 20 0 3 0 192493655 3975258112 859213 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
Current children cumulated CPU time: 3585.48 s
Current children cumulated vsize: 3882088 KiB
Current children cumulated memory: 3436852 KiB
[startup+3598.4 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 1039860
/proc/meminfo: memFree=116376684/131524600 swapFree=131071996/131071996
[pid=1037963] ppid=1037960 vsize=3882088 memory=3437880 CPUtime=3587.08 cores=5,7
/proc/1037963/stat : 1037963 (fscip) S 1037960 1037963 1035639 0 -1 1077936128 13359441 0 0 0 357534 1174 0 0 20 0 3 0 192493637 3975258112 859470 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
/proc/1037963/statm: 970522 859470 3310 3032 0 952780 0
[pid=1037963/tid=1037965] ppid=1037960 vsize=3882088 memory=1848 CPUtime=3586.66 cores=5,7
/proc/1037963/task/1037965/stat : 1037965 (fscip) R 1037960 1037963 1035639 0 -1 4194368 13344655 0 0 0 357504 1162 0 0 20 0 3 0 192493653 3975258112 859470 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
[pid=1037963/tid=1037966] ppid=1037960 vsize=3882088 memory=26340 CPUtime=0.04 cores=5,7
/proc/1037963/task/1037966/stat : 1037966 (fscip) S 1037960 1037963 1035639 0 -1 1077936192 136 0 0 0 1 3 0 0 20 0 3 0 192493655 3975258112 859470 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
Current children cumulated CPU time: 3587.08 s
Current children cumulated vsize: 3882088 KiB
Current children cumulated memory: 3437880 KiB
[startup+3600 s]*
/proc/loadavg: 4.15 4.12 4.09 5/266 1040024
/proc/meminfo: memFree=119337792/131524600 swapFree=131071996/131071996
[pid=1037963] ppid=1037960 vsize=3882088 memory=3437888 CPUtime=3588.68 cores=5,7
/proc/1037963/stat : 1037963 (fscip) S 1037960 1037963 1035639 0 -1 1077936128 13360330 0 0 0 357694 1174 0 0 20 0 3 0 192493637 3975258112 859472 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
/proc/1037963/statm: 970522 859472 3310 3032 0 952780 0
[pid=1037963/tid=1037965] ppid=1037960 vsize=3882088 memory=-7664417297257883264 CPUtime=3588.27 cores=5,7
/proc/1037963/task/1037965/stat : 1037965 (fscip) R 1037960 1037963 1035639 0 -1 4194368 13346281 0 0 0 357664 1163 0 0 20 0 3 0 192493653 3975258112 859472 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
[pid=1037963/tid=1037966] ppid=1037960 vsize=3882088 memory=5568 CPUtime=0.04 cores=5,7
/proc/1037963/task/1037966/stat : 1037966 (fscip) S 1037960 1037963 1035639 0 -1 1077936192 136 0 0 0 1 3 0 0 20 0 3 0 192493655 3975258112 859472 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
Current children cumulated CPU time: 3588.68 s
Current children cumulated vsize: 3882088 KiB
Current children cumulated memory: 3437888 KiB
[startup+3600.8 s]
/proc/loadavg: 4.15 4.12 4.09 5/266 1040024
/proc/meminfo: memFree=119337792/131524600 swapFree=131071996/131071996
[pid=1037963] ppid=1037960 vsize=3882088 memory=3437888 CPUtime=3589.47 cores=5,7
/proc/1037963/stat : 1037963 (fscip) S 1037960 1037963 1035639 0 -1 1077936128 13547441 0 0 0 357763 1184 0 0 20 0 3 0 192493637 3975258112 859472 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
/proc/1037963/statm: 970522 859472 3310 3032 0 952780 0
[pid=1037963/tid=1037965] ppid=1037960 vsize=3882088 memory=3437888 CPUtime=3589.05 cores=5,7
/proc/1037963/task/1037965/stat : 1037965 (fscip) R 1037960 1037963 1035639 0 -1 4194368 13532661 0 0 0 357733 1172 0 0 20 0 3 0 192493653 3975258112 859472 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
[pid=1037963/tid=1037966] ppid=1037960 vsize=3882088 memory=2208 CPUtime=0.04 cores=5,7
/proc/1037963/task/1037966/stat : 1037966 (fscip) S 1037960 1037963 1035639 0 -1 1077936192 136 0 0 0 1 3 0 0 20 0 3 0 192493655 3975258112 859472 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
Current children cumulated CPU time: 3589.47 s
Current children cumulated vsize: 3882088 KiB
Current children cumulated memory: 3437888 KiB
[startup+3601 s]*
/proc/loadavg: 4.15 4.12 4.09 5/266 1040024
/proc/meminfo: memFree=119323736/131524600 swapFree=131071996/131071996
[pid=1037963] ppid=1037960 vsize=3868000 memory=3425340 CPUtime=3589.67 cores=5,7
/proc/1037963/stat : 1037963 (fscip) S 1037960 1037963 1035639 0 -1 1077936128 13579806 0 0 0 357781 1186 0 0 20 0 3 0 192493637 3960832000 856335 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
/proc/1037963/statm: 967000 856335 3310 3032 0 949258 0
[pid=1037963/tid=1037965] ppid=1037960 vsize=3868000 memory=-7664417297257883264 CPUtime=3589.26 cores=5,7
/proc/1037963/task/1037965/stat : 1037965 (fscip) R 1037960 1037963 1035639 0 -1 4194368 13565019 0 0 0 357751 1175 0 0 20 0 3 0 192493653 3960832000 856335 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
[pid=1037963/tid=1037966] ppid=1037960 vsize=3868000 memory=198340509722 CPUtime=0.04 cores=5,7
/proc/1037963/task/1037966/stat : 1037966 (fscip) S 1037960 1037963 1035639 0 -1 1077936192 136 0 0 0 1 3 0 0 20 0 3 0 192493655 3960832000 856335 134679101440 4194304 16613245 140729376442464 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50667520 140729376449555 140729376449671 140729376449671 140729376456688 0
Current children cumulated CPU time: 3589.67 s
Current children cumulated vsize: 3868000 KiB
Current children cumulated memory: 3425340 KiB
Child status: 0
Real time (s): 3601.1
CPU time (s): 3589.78
CPU user time (s): 3577.84
CPU system time (s): 11.9363
CPU usage (%): 99.6855
Max. virtual memory (cumulated for all children) (KiB): 3882088
Max. memory (cumulated for all children) (KiB): 3437888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.84
system time used= 11.9363
maximum resident set size= 3437888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13581848
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= 10636
involuntary context switches= 4555
# summary of solver processes directly reported to runsolver:
# pid: 1037963
# total CPU time (s): 3589.78
# total CPU user time (s): 3577.84
# total CPU system time (s): 11.9363
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.5862 second user time and 15.9496 second system time
The end
Begin job on nodeC031 at 2024-07-19 17:34:26
IDJOB=4449763
IDBENCH=176105
IDSOLVER=3064
FILE ID=nodeC031/4449763-1721403254
RUNJOBID= nodeC031-1721403263-1037851
SLURM_JOB_ID= 7545454
Free space on /tmp= 889992 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=11-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-4449763-1721403254/watcher-4449763-1721403254 -o /tmp/evaluation-result-4449763-1721403254/solver-4449763-1721403254 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721403263-1037851 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4449763-1721403254.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8d06570fa4bf547e139dcdd4309b0d0f
RANDOM SEED=1424201622
nodeC031.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 : 3673.303
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
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 : 3672.792
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.11
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 : 3599.844
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
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.242
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.11
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.362
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
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 : 3675.034
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.11
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 : 3600.040
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
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 : 3666.343
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.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 121936100 kB
MemAvailable: 128543524 kB
Buffers: 506900 kB
Cached: 6867368 kB
SwapCached: 0 kB
Active: 1048288 kB
Inactive: 7750296 kB
Active(anon): 1512 kB
Inactive(anon): 1469020 kB
Active(file): 1046776 kB
Inactive(file): 6281276 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 119996 kB
Writeback: 0 kB
AnonPages: 1423536 kB
Mapped: 141400 kB
Shmem: 45912 kB
KReclaimable: 238040 kB
Slab: 368244 kB
SReclaimable: 238040 kB
SUnreclaim: 130204 kB
KernelStack: 4288 kB
PageTables: 12052 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1606468 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 72128 kB
HardwareCorrupted: 0 kB
AnonHugePages: 399360 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: 254676 kB
DirectMap2M: 39364608 kB
DirectMap1G: 96468992 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC031 at 2024-07-19 18:34:28