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.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 22388736, getVmSize() = 22388736, SCIPgetMemUsed() = 766322, SCIPgetMemTotal() = 913202, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.00 c ** Estimated virtualMemUsedAtSolver = 15439189, getVmSize() = 23928832, SCIPgetMemUsed() = 897032, SCIPgetMemTotal() = 1457864, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.00 c Original Problem :
0.00/0.00 c Problem name : instance-4445270-1721321241
0.00/0.00 c Variables : 86 (86 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 2
0.00/0.00 c Objective sense : minimize
0.00/0.00 c Presolved Problem :
0.00/0.00 c Variables : 86 (86 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 2
0.00/0.00 c Constraints : Number
0.00/0.00 c linear : 2
0.00/0.00 c ** Instance transfer method used: 0
0.00/0.00 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.00 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.00 c Nodes Active
0.00/0.00 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
4.98/5.08 c 5 55176 7473 1 - 0.0000 -
10.07/10.13 c 10 114977 991 1 - 0.0000 -
15.05/15.18 c 15 163808 3818 1 - 0.0000 -
20.13/20.22 c 20 216252 6088 1 - 0.0000 -
25.11/25.27 c 25 268502 10186 1 - 0.0000 -
30.19/30.32 c 30 322591 13626 1 - 0.0000 -
35.18/35.37 c 35 387796 17391 1 - 0.0000 -
40.27/40.42 c 40 449803 21828 1 - 0.0000 -
45.25/45.47 c 45 508766 24513 1 - 0.0000 -
50.33/50.52 c 51 563622 27329 1 - 0.0000 -
55.32/55.57 c 56 637488 30357 1 - 0.0000 -
60.41/60.62 c 61 705486 33649 1 - 0.0000 -
65.39/65.66 c 66 763336 36661 1 - 0.0000 -
70.47/70.71 c 71 825052 39725 1 - 0.0000 -
75.46/75.76 c 76 888200 42450 1 - 0.0000 -
80.55/80.81 c 81 947612 45281 1 - 0.0000 -
85.53/85.86 c 86 1012249 47892 1 - 0.0000 -
90.61/90.91 c 91 1067423 50465 1 - 0.0000 -
95.60/95.96 c 96 1134864 53466 1 - 0.0000 -
100.69/101.03 c 101 1192809 56251 1 - 0.0000 -
105.68/106.07 c 106 1252924 58720 1 - 0.0000 -
110.76/111.12 c 111 1312065 60807 1 - 0.0000 -
115.75/116.17 c 116 1377033 63288 1 - 0.0000 -
120.82/121.22 c 121 1426633 65112 1 - 0.0000 -
125.81/126.27 c 126 1488162 68213 1 - 0.0000 -
130.89/131.32 c 131 1542306 72268 1 - 0.0000 -
135.88/136.37 c 136 1596506 75088 1 - 0.0000 -
140.96/141.42 c 141 1652416 77680 1 - 0.0000 -
145.95/146.47 c 146 1707678 81102 1 - 0.0000 -
151.04/151.52 c 152 1760028 83584 1 - 0.0000 -
156.02/156.57 c 157 1819569 86135 1 - 0.0000 -
161.11/161.62 c 162 1873973 88065 1 - 0.0000 -
166.09/166.67 c 167 1929952 89946 1 - 0.0000 -
171.18/171.72 c 172 1984429 92167 1 - 0.0000 -
176.16/176.77 c 177 2038542 94986 1 - 0.0000 -
181.24/181.82 c 182 2091729 96589 1 - 0.0000 -
186.24/186.87 c 187 2145818 98710 1 - 0.0000 -
191.31/191.92 c 192 2203453 101115 1 - 0.0000 -
196.30/196.97 c 197 2259373 103593 1 - 0.0000 -
201.39/202.02 c 202 2325534 107284 1 - 0.0000 -
206.38/207.07 c 207 2381580 109140 1 - 0.0000 -
211.47/212.12 c 212 2434674 111228 1 - 0.0000 -
216.45/217.17 c 217 2483927 112293 1 - 0.0000 -
221.53/222.22 c 222 2535368 113214 1 - 0.0000 -
226.51/227.27 c 227 2587453 114563 1 - 0.0000 -
231.60/232.32 c 232 2639913 115935 1 - 0.0000 -
236.58/237.37 c 237 2692337 118053 1 - 0.0000 -
241.67/242.42 c 242 2744401 119597 1 - 0.0000 -
246.66/247.47 c 247 2795416 120880 1 - 0.0000 -
251.74/252.52 c 253 2848990 122528 1 - 0.0000 -
256.73/257.57 c 258 2900239 123991 1 - 0.0000 -
261.82/262.62 c 263 2958448 125674 1 - 0.0000 -
266.79/267.67 c 268 3020675 127103 1 - 0.0000 -
271.88/272.72 c 273 3074838 129902 1 - 0.0000 -
276.87/277.77 c 278 3129295 131442 1 - 0.0000 -
281.95/282.82 c 283 3186505 133212 1 - 0.0000 -
286.94/287.87 c 288 3236789 134732 1 - 0.0000 -
292.03/292.92 c 293 3288860 136015 1 - 0.0000 -
297.01/297.97 c 298 3347380 138011 1 - 0.0000 -
302.09/303.02 c 303 3400808 140103 1 - 0.0000 -
307.08/308.07 c 308 3455564 141889 1 - 0.0000 -
312.17/313.12 c 313 3512715 143142 1 - 0.0000 -
317.15/318.17 c 318 3555664 144053 1 - 0.0000 -
322.24/323.22 c 323 3606187 145192 1 - 0.0000 -
327.22/328.27 c 328 3645086 146857 1 - 0.0000 -
332.31/333.32 c 333 3689920 148159 1 - 0.0000 -
337.29/338.37 c 338 3743504 149777 1 - 0.0000 -
342.38/343.42 c 343 3799233 151734 1 - 0.0000 -
347.36/348.47 c 348 3852679 154234 1 - 0.0000 -
352.45/353.52 c 354 3906470 156265 1 - 0.0000 -
357.44/358.57 c 359 3971860 158031 1 - 0.0000 -
362.52/363.62 c 364 4025253 159510 1 - 0.0000 -
367.50/368.67 c 369 4079967 161900 1 - 0.0000 -
372.58/373.72 c 374 4131468 163483 1 - 0.0000 -
377.57/378.77 c 379 4187450 165055 1 - 0.0000 -
382.65/383.82 c 384 4242314 166912 1 - 0.0000 -
387.64/388.87 c 389 4295986 168292 1 - 0.0000 -
392.73/393.92 c 394 4349702 169702 1 - 0.0000 -
397.71/398.97 c 399 4397772 171122 1 - 0.0000 -
402.80/404.02 c 404 4445228 172814 1 - 0.0000 -
407.79/409.07 c 409 4494163 174633 1 - 0.0000 -
412.87/414.12 c 414 4534320 175248 1 - 0.0000 -
417.86/419.17 c 419 4592330 177278 1 - 0.0000 -
422.94/424.22 c 424 4648398 179176 1 - 0.0000 -
427.93/429.27 c 429 4697767 181291 1 - 0.0000 -
433.01/434.32 c 434 4747399 182945 1 - 0.0000 -
438.00/439.37 c 439 4800407 184341 1 - 0.0000 -
443.09/444.42 c 444 4854608 185406 1 - 0.0000 -
448.06/449.47 c 449 4908369 186933 1 - 0.0000 -
453.15/454.52 c 455 4968251 188451 1 - 0.0000 -
458.14/459.57 c 460 5018494 189742 1 - 0.0000 -
463.23/464.62 c 465 5072878 191271 1 - 0.0000 -
468.21/469.67 c 470 5120959 192660 1 - 0.0000 -
473.30/474.72 c 475 5181413 194399 1 - 0.0000 -
478.28/479.77 c 480 5237262 195596 1 - 0.0000 -
483.36/484.82 c 485 5293381 197387 1 - 0.0000 -
488.35/489.87 c 490 5353500 199330 1 - 0.0000 -
493.44/494.92 c 495 5404224 200632 1 - 0.0000 -
498.42/499.97 c 500 5459141 202169 1 - 0.0000 -
503.51/505.02 c 505 5513343 203315 1 - 0.0000 -
508.49/510.07 c 510 5567958 205150 1 - 0.0000 -
513.59/515.11 c 515 5625822 207190 1 - 0.0000 -
518.57/520.16 c 520 5672653 209707 1 - 0.0000 -
523.65/525.21 c 525 5715533 210955 1 - 0.0000 -
528.63/530.26 c 530 5764750 212460 1 - 0.0000 -
533.72/535.31 c 535 5817725 213633 1 - 0.0000 -
538.71/540.36 c 540 5872696 215448 1 - 0.0000 -
543.79/545.41 c 545 5944516 217850 1 - 0.0000 -
548.78/550.46 c 550 6037959 219691 1 - 0.0000 -
553.86/555.51 c 556 6130101 222379 1 - 0.0000 -
558.84/560.56 c 561 6193349 223957 1 - 0.0000 -
563.93/565.61 c 566 6254179 225301 1 - 0.0000 -
568.91/570.66 c 571 6308424 226820 1 - 0.0000 -
574.01/575.71 c 576 6362008 228166 1 - 0.0000 -
578.99/580.76 c 581 6414351 229689 1 - 0.0000 -
584.07/585.81 c 586 6461957 230915 1 - 0.0000 -
589.06/590.86 c 591 6515678 232136 1 - 0.0000 -
594.15/595.91 c 596 6571098 233806 1 - 0.0000 -
599.13/600.96 c 601 6617126 235098 1 - 0.0000 -
604.22/606.01 c 606 6660240 236340 1 - 0.0000 -
609.21/611.06 c 611 6700667 236959 1 - 0.0000 -
614.29/616.11 c 616 6741362 237378 1 - 0.0000 -
619.27/621.16 c 621 6797871 242631 1 - 0.0000 -
624.35/626.21 c 626 6851338 244094 1 - 0.0000 -
629.34/631.26 c 631 6907743 246235 1 - 0.0000 -
634.42/636.31 c 636 6965226 247652 1 - 0.0000 -
639.41/641.36 c 641 7019491 249391 1 - 0.0000 -
644.50/646.41 c 646 7074665 250685 1 - 0.0000 -
649.48/651.46 c 651 7122928 251784 1 - 0.0000 -
654.57/656.51 c 657 7165100 252742 1 - 0.0000 -
659.56/661.56 c 662 7216638 254846 1 - 0.0000 -
664.64/666.61 c 667 7276685 256645 1 - 0.0000 -
669.62/671.66 c 672 7328510 258008 1 - 0.0000 -
674.71/676.72 c 677 7401387 260635 1 - 0.0000 -
679.69/681.77 c 682 7493258 264299 1 - 0.0000 -
684.78/686.82 c 687 7586169 267480 1 - 0.0000 -
689.76/691.87 c 692 7658430 269367 1 - 0.0000 -
694.85/696.92 c 697 7713393 270442 1 - 0.0000 -
699.83/701.97 c 702 7770976 272111 1 - 0.0000 -
704.92/707.02 c 707 7833020 273409 1 - 0.0000 -
709.91/712.07 c 712 7889821 274882 1 - 0.0000 -
715.00/717.12 c 717 7943380 276083 1 - 0.0000 -
719.98/722.17 c 722 8000585 278158 1 - 0.0000 -
725.06/727.22 c 727 8055912 279521 1 - 0.0000 -
730.04/732.27 c 732 8103917 280644 1 - 0.0000 -
735.13/737.32 c 737 8153781 282066 1 - 0.0000 -
740.10/742.37 c 742 8204467 283330 1 - 0.0000 -
745.19/747.42 c 747 8268893 285151 1 - 0.0000 -
750.17/752.47 c 752 8318373 286425 1 - 0.0000 -
755.25/757.52 c 758 8380731 288877 1 - 0.0000 -
760.24/762.57 c 763 8431553 290205 1 - 0.0000 -
765.32/767.62 c 768 8483430 291632 1 - 0.0000 -
770.30/772.67 c 773 8531799 292799 1 - 0.0000 -
775.38/777.72 c 778 8583269 294007 1 - 0.0000 -
780.36/782.77 c 783 8637784 295966 1 - 0.0000 -
785.44/787.82 c 788 8691574 297858 1 - 0.0000 -
790.42/792.87 c 793 8743528 299364 1 - 0.0000 -
795.51/797.92 c 798 8798212 302042 1 - 0.0000 -
800.49/802.97 c 803 8853179 306797 1 - 0.0000 -
805.57/808.02 c 808 8909267 309317 1 - 0.0000 -
810.56/813.07 c 813 8966895 313533 1 - 0.0000 -
815.64/818.12 c 818 9024452 318986 1 - 0.0000 -
820.62/823.17 c 823 9083555 322621 1 - 0.0000 -
825.69/828.22 c 828 9143333 324295 1 - 0.0000 -
830.67/833.27 c 833 9194158 325176 1 - 0.0000 -
835.76/838.32 c 838 9244937 325929 1 - 0.0000 -
840.75/843.37 c 843 9291632 327130 1 - 0.0000 -
845.83/848.42 c 848 9340991 328289 1 - 0.0000 -
850.81/853.47 c 853 9390577 329315 1 - 0.0000 -
855.89/858.52 c 859 9436181 330623 1 - 0.0000 -
860.88/863.57 c 864 9498850 332554 1 - 0.0000 -
865.95/868.62 c 869 9558733 334089 1 - 0.0000 -
870.93/873.67 c 874 9617800 336294 1 - 0.0000 -
876.02/878.72 c 879 9673598 337858 1 - 0.0000 -
881.00/883.77 c 884 9724142 339056 1 - 0.0000 -
886.08/888.82 c 889 9774256 340104 1 - 0.0000 -
891.07/893.87 c 894 9826935 341585 1 - 0.0000 -
896.15/898.92 c 899 9883749 344725 1 - 0.0000 -
901.13/903.97 c 904 9931841 346667 1 - 0.0000 -
906.22/909.02 c 909 9983223 350169 1 - 0.0000 -
911.20/914.07 c 914 10033769 354169 1 - 0.0000 -
916.28/919.12 c 919 10085721 358971 1 - 0.0000 -
921.26/924.17 c 924 10134993 361369 1 - 0.0000 -
926.35/929.22 c 929 10188365 364257 1 - 0.0000 -
931.33/934.27 c 934 10229587 366217 1 - 0.0000 -
936.42/939.32 c 939 10281483 367167 1 - 0.0000 -
941.40/944.37 c 944 10328371 368733 1 - 0.0000 -
946.47/949.42 c 949 10389356 370482 1 - 0.0000 -
951.46/954.47 c 954 10444709 371611 1 - 0.0000 -
956.54/959.52 c 960 10500059 372783 1 - 0.0000 -
961.52/964.57 c 965 10542629 373883 1 - 0.0000 -
966.61/969.62 c 970 10576936 374734 1 - 0.0000 -
971.59/974.67 c 975 10613844 376592 1 - 0.0000 -
976.68/979.72 c 980 10657239 377539 1 - 0.0000 -
981.66/984.77 c 985 10704799 378503 1 - 0.0000 -
986.73/989.82 c 990 10761258 379708 1 - 0.0000 -
991.72/994.87 c 995 10805917 380613 1 - 0.0000 -
996.80/999.92 c 1000 10855845 382595 1 - 0.0000 -
1001.79/1004.97 c 1005 10911697 383589 1 - 0.0000 -
1006.87/1010.02 c 1010 10983583 385913 1 - 0.0000 -
1011.85/1015.07 c 1015 11035545 387477 1 - 0.0000 -
1016.93/1020.12 c 1020 11088713 388639 1 - 0.0000 -
1021.92/1025.16 c 1025 11133889 389843 1 - 0.0000 -
1026.99/1030.21 c 1030 11210419 391842 1 - 0.0000 -
1031.97/1035.26 c 1035 11272261 393798 1 - 0.0000 -
1037.05/1040.31 c 1040 11328230 395211 1 - 0.0000 -
1042.04/1045.36 c 1045 11379318 396419 1 - 0.0000 -
1047.12/1050.41 c 1050 11428101 397198 1 - 0.0000 -
1052.11/1055.46 c 1055 11474946 398125 1 - 0.0000 -
1057.19/1060.51 c 1061 11521932 400791 1 - 0.0000 -
1062.17/1065.56 c 1066 11577546 402203 1 - 0.0000 -
1067.25/1070.61 c 1071 11628347 403912 1 - 0.0000 -
1072.24/1075.66 c 1076 11673919 404608 1 - 0.0000 -
1077.31/1080.71 c 1081 11741036 406275 1 - 0.0000 -
1082.29/1085.76 c 1086 11796085 408234 1 - 0.0000 -
1087.38/1090.81 c 1091 11849755 409644 1 - 0.0000 -
1092.36/1095.86 c 1096 11901120 411271 1 - 0.0000 -
1097.44/1100.91 c 1101 11948690 411867 1 - 0.0000 -
1102.42/1105.96 c 1106 11998632 413151 1 - 0.0000 -
1107.51/1111.01 c 1111 12049508 416203 1 - 0.0000 -
1112.50/1116.06 c 1116 12102139 418836 1 - 0.0000 -
1117.57/1121.11 c 1121 12154164 421015 1 - 0.0000 -
1122.56/1126.16 c 1126 12204946 422801 1 - 0.0000 -
1127.64/1131.21 c 1131 12256197 424386 1 - 0.0000 -
1132.61/1136.26 c 1136 12310488 425403 1 - 0.0000 -
1137.69/1141.31 c 1141 12361343 426880 1 - 0.0000 -
1142.68/1146.36 c 1146 12412470 427869 1 - 0.0000 -
1147.76/1151.41 c 1151 12470240 430663 1 - 0.0000 -
1152.74/1156.46 c 1156 12512058 431567 1 - 0.0000 -
1157.82/1161.51 c 1162 12562626 432673 1 - 0.0000 -
1162.81/1166.56 c 1167 12614777 435874 1 - 0.0000 -
1167.89/1171.61 c 1172 12665102 436675 1 - 0.0000 -
1172.87/1176.66 c 1177 12717791 438732 1 - 0.0000 -
1177.96/1181.71 c 1182 12767998 439941 1 - 0.0000 -
1182.94/1186.76 c 1187 12813848 440775 1 - 0.0000 -
1188.02/1191.81 c 1192 12864754 441905 1 - 0.0000 -
1193.00/1196.86 c 1197 12919902 443659 1 - 0.0000 -
1198.08/1201.91 c 1202 12973949 444684 1 - 0.0000 -
1203.06/1206.96 c 1207 13029799 447582 1 - 0.0000 -
1208.15/1212.01 c 1212 13093305 450164 1 - 0.0000 -
1213.13/1217.06 c 1217 13151350 451447 1 - 0.0000 -
1218.22/1222.11 c 1222 13209998 452075 1 - 0.0000 -
1223.20/1227.16 c 1227 13265188 452871 1 - 0.0000 -
1228.28/1232.21 c 1232 13321983 453434 1 - 0.0000 -
1233.26/1237.26 c 1237 13376718 454011 1 - 0.0000 -
1238.34/1242.31 c 1242 13431195 454472 1 - 0.0000 -
1243.33/1247.36 c 1247 13476257 454964 1 - 0.0000 -
1248.42/1252.41 c 1252 13517198 455887 1 - 0.0000 -
1253.40/1257.46 c 1257 13595206 457443 1 - 0.0000 -
1258.49/1262.51 c 1263 13649608 460451 1 - 0.0000 -
1263.47/1267.56 c 1268 13702429 462110 1 - 0.0000 -
1268.55/1272.61 c 1273 13753816 463639 1 - 0.0000 -
1273.53/1277.67 c 1278 13805195 465232 1 - 0.0000 -
1278.63/1282.71 c 1283 13856392 466749 1 - 0.0000 -
1283.61/1287.76 c 1288 13907367 467856 1 - 0.0000 -
1288.69/1292.81 c 1293 13957278 468901 1 - 0.0000 -
1293.68/1297.86 c 1298 14007488 469795 1 - 0.0000 -
1298.76/1302.91 c 1303 14057224 470443 1 - 0.0000 -
1303.75/1307.96 c 1308 14107879 470944 1 - 0.0000 -
1308.84/1313.01 c 1313 14159924 471489 1 - 0.0000 -
1313.82/1318.06 c 1318 14214661 472774 1 - 0.0000 -
1318.90/1323.11 c 1323 14273268 474349 1 - 0.0000 -
1323.89/1328.16 c 1328 14331267 475736 1 - 0.0000 -
1328.97/1333.21 c 1333 14382261 476646 1 - 0.0000 -
1333.95/1338.26 c 1338 14457486 478099 1 - 0.0000 -
1339.04/1343.32 c 1343 14506583 478959 1 - 0.0000 -
1344.02/1348.36 c 1348 14544853 480291 1 - 0.0000 -
1349.11/1353.41 c 1353 14581558 481070 1 - 0.0000 -
1354.09/1358.46 c 1358 14618891 481701 1 - 0.0000 -
1359.18/1363.51 c 1364 14657985 482339 1 - 0.0000 -
1364.16/1368.56 c 1369 14696586 482844 1 - 0.0000 -
1369.25/1373.61 c 1374 14740571 483795 1 - 0.0000 -
1374.24/1378.66 c 1379 14779243 486381 1 - 0.0000 -
1379.32/1383.71 c 1384 14817549 488023 1 - 0.0000 -
1384.32/1388.76 c 1389 14857978 489396 1 - 0.0000 -
1389.40/1393.81 c 1394 14894505 490271 1 - 0.0000 -
1394.38/1398.86 c 1399 14936897 491003 1 - 0.0000 -
1399.48/1403.91 c 1404 14977884 492808 1 - 0.0000 -
1404.46/1408.96 c 1409 15022790 493592 1 - 0.0000 -
1409.54/1414.01 c 1414 15078019 494867 1 - 0.0000 -
1414.53/1419.06 c 1419 15133637 496357 1 - 0.0000 -
1419.62/1424.11 c 1424 15187222 497752 1 - 0.0000 -
1424.60/1429.16 c 1429 15240603 498942 1 - 0.0000 -
1429.68/1434.21 c 1434 15279119 499776 1 - 0.0000 -
1434.66/1439.26 c 1439 15337173 500616 1 - 0.0000 -
1439.75/1444.31 c 1444 15397853 501638 1 - 0.0000 -
1444.74/1449.36 c 1449 15449834 503015 1 - 0.0000 -
1449.82/1454.41 c 1454 15503566 505319 1 - 0.0000 -
1454.80/1459.46 c 1459 15554938 507303 1 - 0.0000 -
1459.88/1464.51 c 1465 15605950 508999 1 - 0.0000 -
1464.87/1469.56 c 1470 15659956 510289 1 - 0.0000 -
1469.95/1474.61 c 1475 15713086 511029 1 - 0.0000 -
1474.93/1479.66 c 1480 15793522 512925 1 - 0.0000 -
1480.02/1484.71 c 1485 15846952 513899 1 - 0.0000 -
1485.01/1489.76 c 1490 15917354 515529 1 - 0.0000 -
1490.10/1494.81 c 1495 15960326 518875 1 - 0.0000 -
1495.08/1499.86 c 1500 16005721 521322 1 - 0.0000 -
1500.16/1504.91 c 1505 16045714 522907 1 - 0.0000 -
1505.16/1509.96 c 1510 16086578 524105 1 - 0.0000 -
1510.25/1515.01 c 1515 16130288 525547 1 - 0.0000 -
1515.22/1520.06 c 1520 16208542 528563 1 - 0.0000 -
1520.32/1525.11 c 1525 16257215 529892 1 - 0.0000 -
1525.30/1530.16 c 1530 16295899 530468 1 - 0.0000 -
1530.39/1535.21 c 1535 16348639 531400 1 - 0.0000 -
1535.37/1540.26 c 1540 16420544 532827 1 - 0.0000 -
1540.46/1545.31 c 1545 16461181 533974 1 - 0.0000 -
1545.44/1550.36 c 1550 16501584 534719 1 - 0.0000 -
1550.53/1555.41 c 1555 16541564 535685 1 - 0.0000 -
1555.52/1560.46 c 1560 16577735 536634 1 - 0.0000 -
1560.60/1565.51 c 1566 16616822 537603 1 - 0.0000 -
1565.59/1570.56 c 1571 16653835 538002 1 - 0.0000 -
1570.68/1575.61 c 1576 16689883 539062 1 - 0.0000 -
1575.67/1580.66 c 1581 16728323 539632 1 - 0.0000 -
1580.76/1585.71 c 1586 16767064 540133 1 - 0.0000 -
1585.74/1590.76 c 1591 16823612 541227 1 - 0.0000 -
1590.83/1595.81 c 1596 16864757 541636 1 - 0.0000 -
1595.82/1600.86 c 1601 16919245 546962 1 - 0.0000 -
1600.91/1605.91 c 1606 16974479 550354 1 - 0.0000 -
1605.89/1610.96 c 1611 17030217 553720 1 - 0.0000 -
1610.99/1616.01 c 1616 17091024 556361 1 - 0.0000 -
1615.96/1621.06 c 1621 17148484 558545 1 - 0.0000 -
1621.05/1626.11 c 1626 17206785 560426 1 - 0.0000 -
1626.05/1631.16 c 1631 17262432 562181 1 - 0.0000 -
1631.12/1636.21 c 1636 17310884 564413 1 - 0.0000 -
1636.11/1641.26 c 1641 17369487 565802 1 - 0.0000 -
1641.20/1646.31 c 1646 17429084 567199 1 - 0.0000 -
1646.18/1651.36 c 1651 17486418 568049 1 - 0.0000 -
1651.27/1656.41 c 1656 17540160 573683 1 - 0.0000 -
1656.26/1661.46 c 1661 17596934 577661 1 - 0.0000 -
1661.34/1666.51 c 1667 17647003 580582 1 - 0.0000 -
1666.33/1671.56 c 1672 17706430 583457 1 - 0.0000 -
1671.42/1676.61 c 1677 17766374 585757 1 - 0.0000 -
1676.40/1681.66 c 1682 17817781 588806 1 - 0.0000 -
1681.49/1686.71 c 1687 17881787 590752 1 - 0.0000 -
1686.47/1691.76 c 1692 17944923 592446 1 - 0.0000 -
1691.56/1696.81 c 1697 18002208 593651 1 - 0.0000 -
1696.55/1701.86 c 1702 18058193 594996 1 - 0.0000 -
1701.64/1706.91 c 1707 18119213 596374 1 - 0.0000 -
1706.62/1711.96 c 1712 18180084 596617 1 - 0.0000 -
1711.72/1717.01 c 1717 18237260 597701 1 - 0.0000 -
1716.71/1722.06 c 1722 18285246 598647 1 - 0.0000 -
1721.79/1727.11 c 1727 18323224 599335 1 - 0.0000 -
1726.77/1732.16 c 1732 18366971 599928 1 - 0.0000 -
1731.86/1737.21 c 1737 18415199 600832 1 - 0.0000 -
1736.85/1742.26 c 1742 18473783 602748 1 - 0.0000 -
1741.93/1747.31 c 1747 18526524 603807 1 - 0.0000 -
1746.92/1752.36 c 1752 18584298 605411 1 - 0.0000 -
1752.01/1757.41 c 1757 18658846 607119 1 - 0.0000 -
1756.99/1762.46 c 1762 18708406 608371 1 - 0.0000 -
1762.08/1767.51 c 1768 18760700 609239 1 - 0.0000 -
1767.06/1772.56 c 1773 18797020 610163 1 - 0.0000 -
1772.15/1777.61 c 1778 18857860 611465 1 - 0.0000 -
1777.14/1782.66 c 1783 18895903 612498 1 - 0.0000 -
1782.23/1787.71 c 1788 18945291 613542 1 - 0.0000 -
1787.21/1792.76 c 1793 19003636 615581 1 - 0.0000 -
1792.29/1797.81 c 1798 19052822 616745 1 - 0.0000 -
1797.28/1802.86 c 1803 19102946 618021 1 - 0.0000 -
1802.37/1807.91 c 1808 19183019 619560 1 - 0.0000 -
1807.35/1812.96 c 1813 19247762 620985 1 - 0.0000 -
1812.44/1818.01 c 1818 19300817 622032 1 - 0.0000 -
1817.43/1823.06 c 1823 19352667 623284 1 - 0.0000 -
1822.51/1828.11 c 1828 19401344 625137 1 - 0.0000 -
1827.50/1833.16 c 1833 19452627 626372 1 - 0.0000 -
1832.58/1838.21 c 1838 19501008 627405 1 - 0.0000 -
1837.56/1843.26 c 1843 19566547 629332 1 - 0.0000 -
1842.66/1848.31 c 1848 19616564 630211 1 - 0.0000 -
1847.64/1853.36 c 1853 19663865 631388 1 - 0.0000 -
1852.73/1858.41 c 1858 19715866 632421 1 - 0.0000 -
1857.71/1863.46 c 1863 19770066 633351 1 - 0.0000 -
1862.80/1868.51 c 1869 19822107 634810 1 - 0.0000 -
1867.79/1873.56 c 1874 19877355 636786 1 - 0.0000 -
1872.87/1878.61 c 1879 19928928 638351 1 - 0.0000 -
1877.86/1883.66 c 1884 19982880 641051 1 - 0.0000 -
1882.94/1888.71 c 1889 20034200 642743 1 - 0.0000 -
1887.93/1893.76 c 1894 20086589 644612 1 - 0.0000 -
1893.01/1898.81 c 1899 20137993 646114 1 - 0.0000 -
1898.00/1903.86 c 1904 20188599 647272 1 - 0.0000 -
1903.09/1908.91 c 1909 20240332 648989 1 - 0.0000 -
1908.07/1913.96 c 1914 20292070 650449 1 - 0.0000 -
1913.16/1919.01 c 1919 20342687 652320 1 - 0.0000 -
1918.15/1924.06 c 1924 20393724 653741 1 - 0.0000 -
1923.23/1929.11 c 1929 20442145 654574 1 - 0.0000 -
1928.22/1934.16 c 1934 20493531 656174 1 - 0.0000 -
1933.30/1939.21 c 1939 20544876 657659 1 - 0.0000 -
1938.29/1944.26 c 1944 20594091 658518 1 - 0.0000 -
1943.37/1949.31 c 1949 20643247 659118 1 - 0.0000 -
1948.35/1954.36 c 1954 20693403 660490 1 - 0.0000 -
1953.44/1959.41 c 1959 20745955 661010 1 - 0.0000 -
1958.42/1964.46 c 1964 20801209 661964 1 - 0.0000 -
1963.51/1969.51 c 1970 20868588 666021 1 - 0.0000 -
1968.50/1974.56 c 1975 20960841 668802 1 - 0.0000 -
1973.59/1979.61 c 1980 21052841 672550 1 - 0.0000 -
1978.57/1984.66 c 1985 21122188 673767 1 - 0.0000 -
1983.65/1989.71 c 1990 21171077 674744 1 - 0.0000 -
1988.64/1994.76 c 1995 21221209 675604 1 - 0.0000 -
1993.73/1999.81 c 2000 21277730 677363 1 - 0.0000 -
1998.72/2004.86 c 2005 21317296 679595 1 - 0.0000 -
2003.80/2009.91 c 2010 21357275 681394 1 - 0.0000 -
2008.79/2014.96 c 2015 21407281 683538 1 - 0.0000 -
2013.88/2020.01 c 2020 21449770 684983 1 - 0.0000 -
2018.87/2025.06 c 2025 21487597 686660 1 - 0.0000 -
2023.95/2030.11 c 2030 21523202 688805 1 - 0.0000 -
2028.93/2035.16 c 2035 21567284 689973 1 - 0.0000 -
2034.01/2040.21 c 2040 21604962 691221 1 - 0.0000 -
2039.00/2045.26 c 2045 21640795 692030 1 - 0.0000 -
2044.08/2050.30 c 2050 21678094 693131 1 - 0.0000 -
2049.06/2055.35 c 2055 21723910 694375 1 - 0.0000 -
2054.15/2060.40 c 2060 21758191 695536 1 - 0.0000 -
2059.13/2065.45 c 2065 21798698 696273 1 - 0.0000 -
2064.21/2070.50 c 2071 21833917 697942 1 - 0.0000 -
2069.20/2075.55 c 2076 21869784 699301 1 - 0.0000 -
2074.28/2080.60 c 2081 21904539 700564 1 - 0.0000 -
2079.27/2085.65 c 2086 21941956 701413 1 - 0.0000 -
2084.35/2090.70 c 2091 21977768 702173 1 - 0.0000 -
2089.34/2095.75 c 2096 22016983 703180 1 - 0.0000 -
2094.42/2100.80 c 2101 22055303 703870 1 - 0.0000 -
2099.40/2105.85 c 2106 22093959 705078 1 - 0.0000 -
2104.49/2110.90 c 2111 22146423 706860 1 - 0.0000 -
2109.47/2115.95 c 2116 22200080 708979 1 - 0.0000 -
2114.56/2121.00 c 2121 22244750 710345 1 - 0.0000 -
2119.54/2126.05 c 2126 22303454 712319 1 - 0.0000 -
2124.63/2131.10 c 2131 22347623 713434 1 - 0.0000 -
2129.61/2136.15 c 2136 22393496 714525 1 - 0.0000 -
2134.69/2141.20 c 2141 22439599 716312 1 - 0.0000 -
2139.68/2146.25 c 2146 22474017 717024 1 - 0.0000 -
2144.76/2151.30 c 2151 22510880 718097 1 - 0.0000 -
2149.75/2156.35 c 2156 22550652 719237 1 - 0.0000 -
2154.83/2161.40 c 2161 22606522 721197 1 - 0.0000 -
2159.81/2166.45 c 2166 22658372 722111 1 - 0.0000 -
2164.89/2171.50 c 2172 22697828 723411 1 - 0.0000 -
2169.88/2176.55 c 2177 22741297 725308 1 - 0.0000 -
2174.96/2181.60 c 2182 22820555 728110 1 - 0.0000 -
2179.94/2186.65 c 2187 22881290 730127 1 - 0.0000 -
2185.02/2191.70 c 2192 22940525 732296 1 - 0.0000 -
2190.00/2196.75 c 2197 23032312 736277 1 - 0.0000 -
2195.09/2201.80 c 2202 23109685 738508 1 - 0.0000 -
2200.07/2206.85 c 2207 23156692 739349 1 - 0.0000 -
2205.15/2211.90 c 2212 23196052 740051 1 - 0.0000 -
2210.14/2216.95 c 2217 23240009 741620 1 - 0.0000 -
2215.22/2222.00 c 2222 23274389 742950 1 - 0.0000 -
2220.21/2227.05 c 2227 23309316 744097 1 - 0.0000 -
2225.29/2232.10 c 2232 23345935 745122 1 - 0.0000 -
2230.28/2237.15 c 2237 23413701 747208 1 - 0.0000 -
2235.35/2242.20 c 2242 23450272 748793 1 - 0.0000 -
2240.34/2247.25 c 2247 23491550 749853 1 - 0.0000 -
2245.42/2252.30 c 2252 23540490 750553 1 - 0.0000 -
2250.41/2257.35 c 2257 23593196 751909 1 - 0.0000 -
2255.49/2262.40 c 2262 23658384 753677 1 - 0.0000 -
2260.47/2267.45 c 2267 23734628 757275 1 - 0.0000 -
2265.56/2272.50 c 2273 23770891 759294 1 - 0.0000 -
2270.54/2277.55 c 2278 23809784 760609 1 - 0.0000 -
2275.62/2282.60 c 2283 23847695 761200 1 - 0.0000 -
2280.61/2287.65 c 2288 23894759 761694 1 - 0.0000 -
2285.69/2292.70 c 2293 23932191 762022 1 - 0.0000 -
2290.67/2297.75 c 2298 23978699 763278 1 - 0.0000 -
2295.76/2302.80 c 2303 24018570 764471 1 - 0.0000 -
2300.74/2307.85 c 2308 24052920 765699 1 - 0.0000 -
2305.83/2312.90 c 2313 24089609 766558 1 - 0.0000 -
2310.82/2317.97 c 2318 24125223 767516 1 - 0.0000 -
2315.90/2323.02 c 2323 24166721 768662 1 - 0.0000 -
2320.89/2328.07 c 2328 24212615 769556 1 - 0.0000 -
2325.97/2333.12 c 2333 24262088 770601 1 - 0.0000 -
2330.95/2338.17 c 2338 24313238 771843 1 - 0.0000 -
2336.03/2343.22 c 2343 24355971 772992 1 - 0.0000 -
2341.02/2348.27 c 2348 24390413 774418 1 - 0.0000 -
2346.10/2353.32 c 2353 24431564 774903 1 - 0.0000 -
2351.08/2358.37 c 2358 24475834 775645 1 - 0.0000 -
2356.17/2363.42 c 2363 24527815 776794 1 - 0.0000 -
2361.15/2368.47 c 2368 24600929 778416 1 - 0.0000 -
2366.23/2373.52 c 2374 24693384 780997 1 - 0.0000 -
2371.22/2378.57 c 2379 24786441 782910 1 - 0.0000 -
2376.30/2383.62 c 2384 24859168 783899 1 - 0.0000 -
2381.28/2388.67 c 2389 24913327 785136 1 - 0.0000 -
2386.36/2393.72 c 2394 24947759 786020 1 - 0.0000 -
2391.34/2398.77 c 2399 25007324 787235 1 - 0.0000 -
2396.43/2403.82 c 2404 25058726 788301 1 - 0.0000 -
2401.41/2408.87 c 2409 25116286 789435 1 - 0.0000 -
2406.49/2413.92 c 2414 25170215 790551 1 - 0.0000 -
2411.48/2418.97 c 2419 25220901 791503 1 - 0.0000 -
2416.57/2424.02 c 2424 25275376 793666 1 - 0.0000 -
2421.55/2429.07 c 2429 25327048 795520 1 - 0.0000 -
2426.63/2434.12 c 2434 25377852 797838 1 - 0.0000 -
2431.61/2439.17 c 2439 25430499 800017 1 - 0.0000 -
2436.69/2444.22 c 2444 25479494 801062 1 - 0.0000 -
2441.67/2449.27 c 2449 25527404 801512 1 - 0.0000 -
2446.75/2454.32 c 2454 25573801 801951 1 - 0.0000 -
2451.73/2459.37 c 2459 25633257 803139 1 - 0.0000 -
2456.82/2464.42 c 2464 25683358 803940 1 - 0.0000 -
2461.80/2469.47 c 2469 25735794 805180 1 - 0.0000 -
2466.89/2474.52 c 2475 25771681 806233 1 - 0.0000 -
2471.87/2479.57 c 2480 25826279 807209 1 - 0.0000 -
2476.95/2484.62 c 2485 25870107 808431 1 - 0.0000 -
2481.93/2489.67 c 2490 25908731 808985 1 - 0.0000 -
2487.02/2494.72 c 2495 25949731 809981 1 - 0.0000 -
2492.00/2499.77 c 2500 25988508 810524 1 - 0.0000 -
2497.09/2504.82 c 2505 26028005 811287 1 - 0.0000 -
2502.06/2509.87 c 2510 26067063 811735 1 - 0.0000 -
2507.14/2514.92 c 2515 26113742 812318 1 - 0.0000 -
2512.13/2519.97 c 2520 26166501 813571 1 - 0.0000 -
2517.21/2525.02 c 2525 26218861 815303 1 - 0.0000 -
2522.20/2530.07 c 2530 26273674 817288 1 - 0.0000 -
2527.29/2535.12 c 2535 26326020 819722 1 - 0.0000 -
2532.26/2540.17 c 2540 26378751 822309 1 - 0.0000 -
2537.34/2545.22 c 2545 26429815 824223 1 - 0.0000 -
2542.32/2550.27 c 2550 26481959 825537 1 - 0.0000 -
2547.40/2555.32 c 2555 26533207 826999 1 - 0.0000 -
2552.38/2560.37 c 2560 26594687 828379 1 - 0.0000 -
2557.47/2565.42 c 2565 26654420 830408 1 - 0.0000 -
2562.45/2570.47 c 2570 26705234 832422 1 - 0.0000 -
2567.54/2575.52 c 2576 26744439 833677 1 - 0.0000 -
2572.52/2580.57 c 2581 26800122 835808 1 - 0.0000 -
2577.60/2585.62 c 2586 26847045 837779 1 - 0.0000 -
2582.59/2590.67 c 2591 26898282 839550 1 - 0.0000 -
2587.67/2595.72 c 2596 26935906 841392 1 - 0.0000 -
2592.65/2600.77 c 2601 26992247 843689 1 - 0.0000 -
2597.73/2605.82 c 2606 27039836 845504 1 - 0.0000 -
2602.71/2610.87 c 2611 27078911 846785 1 - 0.0000 -
2607.81/2615.92 c 2616 27123106 848092 1 - 0.0000 -
2612.79/2620.97 c 2621 27159214 849440 1 - 0.0000 -
2617.87/2626.02 c 2626 27209161 851535 1 - 0.0000 -
2622.86/2631.07 c 2631 27256954 852608 1 - 0.0000 -
2627.94/2636.12 c 2636 27299280 853646 1 - 0.0000 -
2632.92/2641.17 c 2641 27347813 855065 1 - 0.0000 -
2638.00/2646.22 c 2646 27384718 856194 1 - 0.0000 -
2642.99/2651.27 c 2651 27425079 857065 1 - 0.0000 -
2648.07/2656.32 c 2656 27471309 857721 1 - 0.0000 -
2653.05/2661.37 c 2661 27516840 858626 1 - 0.0000 -
2658.14/2666.42 c 2666 27569902 859612 1 - 0.0000 -
2663.12/2671.47 c 2671 27627453 860751 1 - 0.0000 -
2668.20/2676.52 c 2677 27664464 862064 1 - 0.0000 -
2673.19/2681.57 c 2682 27705866 862610 1 - 0.0000 -
2678.27/2686.62 c 2687 27741180 863288 1 - 0.0000 -
2683.25/2691.67 c 2692 27790310 864510 1 - 0.0000 -
2688.34/2696.72 c 2697 27841729 865061 1 - 0.0000 -
2693.32/2701.77 c 2702 27901976 865860 1 - 0.0000 -
2698.41/2706.82 c 2707 27983952 867304 1 - 0.0000 -
2703.39/2711.87 c 2712 28037231 867647 1 - 0.0000 -
2708.47/2716.92 c 2717 28093485 868497 1 - 0.0000 -
2713.45/2721.97 c 2722 28147957 869423 1 - 0.0000 -
2718.54/2727.02 c 2727 28198958 870966 1 - 0.0000 -
2723.52/2732.07 c 2732 28266237 872518 1 - 0.0000 -
2728.61/2737.12 c 2737 28322184 873805 1 - 0.0000 -
2733.59/2742.17 c 2742 28372396 875233 1 - 0.0000 -
2738.66/2747.22 c 2747 28437314 877319 1 - 0.0000 -
2743.65/2752.27 c 2752 28524315 879012 1 - 0.0000 -
2748.72/2757.32 c 2757 28581173 880252 1 - 0.0000 -
2753.71/2762.37 c 2762 28637344 881483 1 - 0.0000 -
2758.80/2767.42 c 2767 28687606 883759 1 - 0.0000 -
2763.78/2772.47 c 2772 28734701 884688 1 - 0.0000 -
2768.85/2777.52 c 2778 28815707 887290 1 - 0.0000 -
2773.84/2782.57 c 2783 28883149 889602 1 - 0.0000 -
2778.92/2787.62 c 2788 28939875 892444 1 - 0.0000 -
2783.90/2792.67 c 2793 28991706 895129 1 - 0.0000 -
2788.99/2797.72 c 2798 29042975 897132 1 - 0.0000 -
2793.97/2802.77 c 2803 29098204 900505 1 - 0.0000 -
2799.05/2807.82 c 2808 29151776 904379 1 - 0.0000 -
2804.03/2812.87 c 2813 29202909 906586 1 - 0.0000 -
2809.12/2817.92 c 2818 29254245 909272 1 - 0.0000 -
2814.10/2822.97 c 2823 29303236 910863 1 - 0.0000 -
2819.18/2828.02 c 2828 29353327 911196 1 - 0.0000 -
2824.16/2833.07 c 2833 29405073 912720 1 - 0.0000 -
2829.25/2838.12 c 2838 29487694 914831 1 - 0.0000 -
2834.23/2843.17 c 2843 29581883 916328 1 - 0.0000 -
2839.30/2848.22 c 2848 29641583 917800 1 - 0.0000 -
2844.29/2853.27 c 2853 29693262 920475 1 - 0.0000 -
2849.37/2858.32 c 2858 29742838 922231 1 - 0.0000 -
2854.35/2863.37 c 2863 29791988 923125 1 - 0.0000 -
2859.43/2868.42 c 2868 29838436 924427 1 - 0.0000 -
2864.42/2873.47 c 2873 29891214 927151 1 - 0.0000 -
2869.50/2878.52 c 2879 29943764 930103 1 - 0.0000 -
2874.48/2883.57 c 2884 29995136 932513 1 - 0.0000 -
2879.56/2888.62 c 2889 30047518 935707 1 - 0.0000 -
2884.55/2893.67 c 2894 30097497 937804 1 - 0.0000 -
2889.62/2898.72 c 2899 30148307 940122 1 - 0.0000 -
2894.61/2903.77 c 2904 30197917 942016 1 - 0.0000 -
2899.69/2908.82 c 2909 30249942 944737 1 - 0.0000 -
2904.68/2913.87 c 2914 30298051 946648 1 - 0.0000 -
2909.76/2918.92 c 2919 30348815 949122 1 - 0.0000 -
2914.74/2923.97 c 2924 30399989 951826 1 - 0.0000 -
2919.82/2929.02 c 2929 30452411 955076 1 - 0.0000 -
2924.80/2934.07 c 2934 30502101 957204 1 - 0.0000 -
2929.89/2939.12 c 2939 30550966 959165 1 - 0.0000 -
2934.87/2944.17 c 2944 30601531 961412 1 - 0.0000 -
2939.95/2949.22 c 2949 30650992 963437 1 - 0.0000 -
2944.94/2954.27 c 2954 30700694 965293 1 - 0.0000 -
2950.02/2959.32 c 2959 30749922 967255 1 - 0.0000 -
2955.01/2964.37 c 2964 30798237 968600 1 - 0.0000 -
2960.09/2969.42 c 2969 30846983 970312 1 - 0.0000 -
2965.08/2974.47 c 2974 30896045 972424 1 - 0.0000 -
2970.17/2979.52 c 2980 30945302 974505 1 - 0.0000 -
2975.15/2984.57 c 2985 30993308 975833 1 - 0.0000 -
2980.24/2989.62 c 2990 31042963 977946 1 - 0.0000 -
2985.22/2994.67 c 2995 31091949 979634 1 - 0.0000 -
2990.30/2999.72 c 3000 31138905 980694 1 - 0.0000 -
2995.29/3004.77 c 3005 31187326 982309 1 - 0.0000 -
3000.37/3009.82 c 3010 31235723 983726 1 - 0.0000 -
3005.36/3014.87 c 3015 31284546 985333 1 - 0.0000 -
3010.44/3019.92 c 3020 31333809 986676 1 - 0.0000 -
3015.43/3024.97 c 3025 31382545 988214 1 - 0.0000 -
3020.53/3030.02 c 3030 31430489 989026 1 - 0.0000 -
3025.51/3035.07 c 3035 31479663 990898 1 - 0.0000 -
3030.59/3040.12 c 3040 31528385 993034 1 - 0.0000 -
3035.57/3045.17 c 3045 31576536 994729 1 - 0.0000 -
3040.66/3050.22 c 3050 31624521 995404 1 - 0.0000 -
3045.64/3055.27 c 3055 31673759 997376 1 - 0.0000 -
3050.73/3060.32 c 3060 31723156 999375 1 - 0.0000 -
3055.71/3065.37 c 3065 31773172 1001613 1 - 0.0000 -
3060.80/3070.42 c 3070 31820926 1002417 1 - 0.0000 -
3065.79/3075.47 c 3075 31868616 1003231 1 - 0.0000 -
3070.87/3080.52 c 3081 31916414 1003471 1 - 0.0000 -
3075.85/3085.57 c 3086 31960847 1004304 1 - 0.0000 -
3080.94/3090.62 c 3091 32012056 1006069 1 - 0.0000 -
3085.93/3095.67 c 3096 32062825 1007808 1 - 0.0000 -
3091.01/3100.72 c 3101 32112524 1009395 1 - 0.0000 -
3095.99/3105.77 c 3106 32162364 1010925 1 - 0.0000 -
3101.08/3110.82 c 3111 32212233 1012422 1 - 0.0000 -
3106.07/3115.87 c 3116 32261778 1013953 1 - 0.0000 -
3111.15/3120.92 c 3121 32311245 1015430 1 - 0.0000 -
3116.14/3125.97 c 3126 32361459 1016820 1 - 0.0000 -
3121.23/3131.02 c 3131 32410216 1017725 1 - 0.0000 -
3126.21/3136.08 c 3136 32460506 1019019 1 - 0.0000 -
3131.30/3141.12 c 3141 32509194 1019747 1 - 0.0000 -
3136.29/3146.17 c 3146 32558118 1020369 1 - 0.0000 -
3141.37/3151.22 c 3151 32601167 1021652 1 - 0.0000 -
3146.36/3156.27 c 3156 32639740 1022099 1 - 0.0000 -
3151.44/3161.32 c 3161 32688050 1022857 1 - 0.0000 -
3156.42/3166.37 c 3166 32733038 1023717 1 - 0.0000 -
3161.51/3171.42 c 3171 32768929 1026382 1 - 0.0000 -
3166.49/3176.47 c 3176 32803636 1028495 1 - 0.0000 -
3171.58/3181.52 c 3182 32838154 1029525 1 - 0.0000 -
3176.57/3186.57 c 3187 32872466 1030583 1 - 0.0000 -
3181.66/3191.62 c 3192 32907594 1031065 1 - 0.0000 -
3186.65/3196.67 c 3197 32942306 1031591 1 - 0.0000 -
3191.73/3201.72 c 3202 32977796 1031325 1 - 0.0000 -
3196.72/3206.77 c 3207 33025643 1032354 1 - 0.0000 -
3201.81/3211.82 c 3212 33073386 1034043 1 - 0.0000 -
3206.79/3216.87 c 3217 33120886 1035025 1 - 0.0000 -
3211.88/3221.92 c 3222 33158742 1036427 1 - 0.0000 -
3216.86/3226.97 c 3227 33191127 1036884 1 - 0.0000 -
3221.96/3232.02 c 3232 33239849 1038540 1 - 0.0000 -
3226.95/3237.07 c 3237 33289120 1040171 1 - 0.0000 -
3232.02/3242.12 c 3242 33339502 1041869 1 - 0.0000 -
3237.02/3247.17 c 3247 33387833 1042432 1 - 0.0000 -
3242.09/3252.22 c 3252 33437521 1043348 1 - 0.0000 -
3247.08/3257.27 c 3257 33487742 1044711 1 - 0.0000 -
3252.16/3262.32 c 3262 33538499 1045882 1 - 0.0000 -
3257.15/3267.37 c 3267 33582031 1046708 1 - 0.0000 -
3262.24/3272.42 c 3272 33661081 1048208 1 - 0.0000 -
3267.22/3277.47 c 3277 33716611 1049066 1 - 0.0000 -
3272.31/3282.52 c 3283 33760356 1049661 1 - 0.0000 -
3277.29/3287.57 c 3288 33804183 1050496 1 - 0.0000 -
3282.38/3292.62 c 3293 33854394 1053975 1 - 0.0000 -
3287.36/3297.67 c 3298 33907083 1057528 1 - 0.0000 -
3292.45/3302.72 c 3303 33959023 1061556 1 - 0.0000 -
3297.44/3307.77 c 3308 34009260 1063769 1 - 0.0000 -
3302.52/3312.82 c 3313 34059529 1066014 1 - 0.0000 -
3307.51/3317.87 c 3318 34109053 1067628 1 - 0.0000 -
3312.59/3322.92 c 3323 34158009 1069312 1 - 0.0000 -
3317.58/3327.97 c 3328 34204796 1070753 1 - 0.0000 -
3322.66/3333.02 c 3333 34252844 1071275 1 - 0.0000 -
3327.66/3338.07 c 3338 34301513 1072728 1 - 0.0000 -
3332.74/3343.12 c 3343 34350494 1074311 1 - 0.0000 -
3337.72/3348.17 c 3348 34399486 1076723 1 - 0.0000 -
3342.81/3353.22 c 3353 34449344 1078395 1 - 0.0000 -
3347.79/3358.27 c 3358 34492225 1079332 1 - 0.0000 -
3352.87/3363.32 c 3363 34537233 1079584 1 - 0.0000 -
3357.87/3368.37 c 3368 34592150 1080677 1 - 0.0000 -
3362.95/3373.42 c 3373 34627656 1081151 1 - 0.0000 -
3367.93/3378.47 c 3378 34677623 1083226 1 - 0.0000 -
3373.02/3383.52 c 3384 34727850 1084295 1 - 0.0000 -
3378.00/3388.57 c 3389 34779676 1086293 1 - 0.0000 -
3383.09/3393.62 c 3394 34840562 1087461 1 - 0.0000 -
3388.08/3398.67 c 3399 34913256 1089433 1 - 0.0000 -
3393.16/3403.72 c 3404 34964697 1091126 1 - 0.0000 -
3398.14/3408.77 c 3409 35012036 1092171 1 - 0.0000 -
3403.23/3413.82 c 3414 35097934 1095569 1 - 0.0000 -
3408.22/3418.87 c 3419 35172315 1098140 1 - 0.0000 -
3413.30/3423.92 c 3424 35249224 1099241 1 - 0.0000 -
3418.29/3428.97 c 3429 35313025 1100244 1 - 0.0000 -
3423.38/3434.02 c 3434 35377116 1100623 1 - 0.0000 -
3428.37/3439.07 c 3439 35427141 1102332 1 - 0.0000 -
3433.45/3444.12 c 3444 35474778 1103297 1 - 0.0000 -
3438.44/3449.17 c 3449 35529476 1104905 1 - 0.0000 -
3443.51/3454.22 c 3454 35605041 1107032 1 - 0.0000 -
3448.50/3459.27 c 3459 35639252 1109313 1 - 0.0000 -
3453.59/3464.32 c 3464 35675233 1110276 1 - 0.0000 -
3458.58/3469.37 c 3469 35710227 1111202 1 - 0.0000 -
3463.66/3474.42 c 3474 35745546 1110729 1 - 0.0000 -
3468.65/3479.47 c 3479 35796612 1112089 1 - 0.0000 -
3473.74/3484.52 c 3485 35853906 1113511 1 - 0.0000 -
3478.72/3489.57 c 3490 35898422 1114893 1 - 0.0000 -
3483.81/3494.62 c 3495 35929072 1115519 1 - 0.0000 -
3488.80/3499.67 c 3500 35980213 1116102 1 - 0.0000 -
3493.88/3504.72 c 3505 36025104 1116683 1 - 0.0000 -
3498.87/3509.77 c 3510 36074252 1117663 1 - 0.0000 -
3503.95/3514.82 c 3515 36121513 1119988 1 - 0.0000 -
3508.94/3519.87 c 3520 36160886 1122183 1 - 0.0000 -
3514.03/3524.92 c 3525 36198859 1123386 1 - 0.0000 -
3519.01/3529.97 c 3530 36236920 1124305 1 - 0.0000 -
3524.10/3535.02 c 3535 36274795 1125166 1 - 0.0000 -
3529.09/3540.07 c 3540 36313068 1125793 1 - 0.0000 -
3534.17/3545.12 c 3545 36350494 1126163 1 - 0.0000 -
3539.15/3550.17 c 3550 36388347 1127322 1 - 0.0000 -
3544.24/3555.22 c 3555 36426575 1128258 1 - 0.0000 -
3549.22/3560.27 c 3560 36465181 1128762 1 - 0.0000 -
3554.31/3565.32 c 3565 36503024 1129345 1 - 0.0000 -
3559.30/3570.37 c 3570 36541098 1129617 1 - 0.0000 -
3564.38/3575.42 c 3575 36578536 1129687 1 - 0.0000 -
3569.37/3580.47 c 3580 36614536 1129571 1 - 0.0000 -
3574.45/3585.52 c 3586 36650489 1129312 1 - 0.0000 -
3579.44/3590.57 c 3591 36685705 1129188 1 - 0.0000 -
3584.52/3595.62 c 3596 36729978 1130119 1 - 0.0000 -
3590.71/3601.83 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.71/3601.83 c Total Time : 3601.8300
3590.71/3601.83 c solving : 3601.8300
3590.71/3601.83 c presolving : 0.0016 (included in solving)
3590.71/3601.83 c B&B Tree :
3590.71/3601.83 c nodes (total) : 1
3590.71/3601.83 c Solution :
3590.71/3601.83 c Solutions found : 0
3590.71/3601.83 c Primal Bound : -
3590.71/3601.83 c Dual Bound : +0.00000000000000e+00
3590.71/3601.83 c Gap : -
3590.71/3601.83 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62381 MiB free)
memory of node 1: 64473 MiB (61586 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445270-1721321241/watcher-4445270-1721321241 -o /tmp/evaluation-result-4445270-1721321241/solver-4445270-1721321241 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721317650-1007725 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4445270-1721321241.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=1010027, runsolver pid=1010024
[startup+0.100083 s]*
/proc/loadavg: 4.57 4.33 4.17 5/263 1010030
/proc/meminfo: memFree=126932336/131524600 swapFree=131071996/131071996
[pid=1010027] ppid=1010024 vsize=106484 memory=22200 CPUtime=0.09 cores=4,6
/proc/1010027/stat : 1010027 (fscip) S 1010024 1010027 1007714 0 -1 1077936128 2500 0 0 0 9 0 0 0 20 0 3 0 184292260 109039616 5550 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
/proc/1010027/statm: 26621 5550 2910 3032 0 8485 0
[pid=1010027/tid=1010029] ppid=1010024 vsize=106484 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/1010027/task/1010029/stat : 1010029 (fscip) R 1010024 1010027 1007714 0 -1 4194368 1368 0 0 0 9 0 0 0 20 0 3 0 184292261 109039616 5550 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
[pid=1010027/tid=1010030] ppid=1010024 vsize=106484 memory=237146210664 CPUtime=0 cores=4,6
/proc/1010027/task/1010030/stat : 1010030 (fscip) S 1010024 1010027 1007714 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184292261 109039616 5550 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 106484 KiB
Current children cumulated memory: 22200 KiB
[startup+0.205398 s]*
/proc/loadavg: 4.57 4.33 4.17 5/263 1010030
/proc/meminfo: memFree=126931944/131524600 swapFree=131071996/131071996
[pid=1010027] ppid=1010024 vsize=106484 memory=22200 CPUtime=0.2 cores=4,6
/proc/1010027/stat : 1010027 (fscip) S 1010024 1010027 1007714 0 -1 1077936128 2508 0 0 0 20 0 0 0 20 0 3 0 184292260 109039616 5550 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
/proc/1010027/statm: 26621 5550 2910 3032 0 8485 0
[pid=1010027/tid=1010029] ppid=1010024 vsize=106484 memory=6876556183782621315 CPUtime=0.19 cores=4,6
/proc/1010027/task/1010029/stat : 1010029 (fscip) R 1010024 1010027 1007714 0 -1 4194368 1376 0 0 0 19 0 0 0 20 0 3 0 184292261 109039616 5550 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
[pid=1010027/tid=1010030] ppid=1010024 vsize=106484 memory=17016 CPUtime=0 cores=4,6
/proc/1010027/task/1010030/stat : 1010030 (fscip) S 1010024 1010027 1007714 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184292261 109039616 5550 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106484 KiB
Current children cumulated memory: 22200 KiB
[startup+0.304612 s]*
/proc/loadavg: 4.57 4.33 4.17 5/263 1010030
/proc/meminfo: memFree=126931132/131524600 swapFree=131071996/131071996
[pid=1010027] ppid=1010024 vsize=106484 memory=23256 CPUtime=0.29 cores=4,6
/proc/1010027/stat : 1010027 (fscip) S 1010024 1010027 1007714 0 -1 1077936128 2729 0 0 0 29 0 0 0 20 0 3 0 184292260 109039616 5814 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
/proc/1010027/statm: 26621 5814 2910 3032 0 8631 0
[pid=1010027/tid=1010029] ppid=1010024 vsize=106484 memory=-7880590079438710400 CPUtime=0.29 cores=4,6
/proc/1010027/task/1010029/stat : 1010029 (fscip) R 1010024 1010027 1007714 0 -1 4194368 1597 0 0 0 29 0 0 0 20 0 3 0 184292261 109039616 5814 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
[pid=1010027/tid=1010030] ppid=1010024 vsize=106484 memory=0 CPUtime=0 cores=4,6
/proc/1010027/task/1010030/stat : 1010030 (fscip) S 1010024 1010027 1007714 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184292261 109039616 5814 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 106484 KiB
Current children cumulated memory: 23256 KiB
[startup+0.700167 s]
/proc/loadavg: 4.57 4.33 4.17 5/263 1010030
/proc/meminfo: memFree=126929632/131524600 swapFree=131071996/131071996
[pid=1010027] ppid=1010024 vsize=106484 memory=24312 CPUtime=0.69 cores=4,6
/proc/1010027/stat : 1010027 (fscip) S 1010024 1010027 1007714 0 -1 1077936128 2988 0 0 0 68 1 0 0 20 0 3 0 184292260 109039616 6078 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
/proc/1010027/statm: 26621 6078 2910 3032 0 8876 0
[pid=1010027/tid=1010029] ppid=1010024 vsize=106484 memory=0 CPUtime=0.68 cores=4,6
/proc/1010027/task/1010029/stat : 1010029 (fscip) R 1010024 1010027 1007714 0 -1 4194368 1856 0 0 0 68 0 0 0 20 0 3 0 184292261 109039616 6078 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
[pid=1010027/tid=1010030] ppid=1010024 vsize=106484 memory=0 CPUtime=0 cores=4,6
/proc/1010027/task/1010030/stat : 1010030 (fscip) S 1010024 1010027 1007714 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184292261 109039616 6078 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 106484 KiB
Current children cumulated memory: 24312 KiB
[startup+1.50017 s]
/proc/loadavg: 4.53 4.32 4.17 5/263 1010030
/proc/meminfo: memFree=126928304/131524600 swapFree=131071996/131071996
[pid=1010027] ppid=1010024 vsize=106484 memory=25308 CPUtime=1.49 cores=4,6
/proc/1010027/stat : 1010027 (fscip) S 1010024 1010027 1007714 0 -1 1077936128 4700 0 0 0 147 2 0 0 20 0 3 0 184292260 109039616 6327 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
/proc/1010027/statm: 26621 6327 2926 3032 0 9004 0
[pid=1010027/tid=1010029] ppid=1010024 vsize=106484 memory=0 CPUtime=1.48 cores=4,6
/proc/1010027/task/1010029/stat : 1010029 (fscip) R 1010024 1010027 1007714 0 -1 4194368 3553 0 0 0 147 1 0 0 20 0 3 0 184292261 109039616 6327 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
[pid=1010027/tid=1010030] ppid=1010024 vsize=106484 memory=0 CPUtime=0 cores=4,6
/proc/1010027/task/1010030/stat : 1010030 (fscip) S 1010024 1010027 1007714 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184292261 109039616 6327 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 106484 KiB
Current children cumulated memory: 25308 KiB
[startup+3.10527 s]
/proc/loadavg: 4.53 4.32 4.17 5/263 1010030
/proc/meminfo: memFree=126918040/131524600 swapFree=131071996/131071996
[pid=1010027] ppid=1010024 vsize=106484 memory=26640 CPUtime=3.09 cores=4,6
/proc/1010027/stat : 1010027 (fscip) S 1010024 1010027 1007714 0 -1 1077936128 5097 0 0 0 305 4 0 0 20 0 3 0 184292260 109039616 6660 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
/proc/1010027/statm: 26621 6660 2926 3032 0 9369 0
[pid=1010027/tid=1010029] ppid=1010024 vsize=106484 memory=2273 CPUtime=3.07 cores=4,6
/proc/1010027/task/1010029/stat : 1010029 (fscip) R 1010024 1010027 1007714 0 -1 4194368 3948 0 0 0 304 3 0 0 20 0 3 0 184292261 109039616 6660 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
[pid=1010027/tid=1010030] ppid=1010024 vsize=106484 memory=0 CPUtime=0 cores=4,6
/proc/1010027/task/1010030/stat : 1010030 (fscip) S 1010024 1010027 1007714 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 184292261 109039616 6660 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 106484 KiB
Current children cumulated memory: 26640 KiB
[startup+6.30017 s]
/proc/loadavg: 4.49 4.31 4.17 5/263 1010030
/proc/meminfo: memFree=126903288/131524600 swapFree=131071996/131071996
[pid=1010027] ppid=1010024 vsize=106484 memory=31620 CPUtime=6.27 cores=4,6
/proc/1010027/stat : 1010027 (fscip) S 1010024 1010027 1007714 0 -1 1077936128 8201 0 0 0 620 7 0 0 20 0 3 0 184292260 109039616 7905 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
/proc/1010027/statm: 26621 7905 2974 3032 0 10481 0
[pid=1010027/tid=1010029] ppid=1010024 vsize=106484 memory=-7880590079438710400 CPUtime=6.27 cores=4,6
/proc/1010027/task/1010029/stat : 1010029 (fscip) R 1010024 1010027 1007714 0 -1 4194368 7026 0 0 0 620 7 0 0 20 0 3 0 184292261 109039616 7905 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
[pid=1010027/tid=1010030] ppid=1010024 vsize=106484 memory=30812 CPUtime=0 cores=4,6
/proc/1010027/task/1010030/stat : 1010030 (fscip) S 1010024 1010027 1007714 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 184292261 109039616 7905 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 106484 KiB
Current children cumulated memory: 31620 KiB
[startup+12.7002 s]
/proc/loadavg: 4.45 4.31 4.17 5/263 1010031
/proc/meminfo: memFree=126881700/131524600 swapFree=131071996/131071996
[pid=1010027] ppid=1010024 vsize=106484 memory=33772 CPUtime=12.65 cores=4,6
/proc/1010027/stat : 1010027 (fscip) S 1010024 1010027 1007714 0 -1 1077936128 15255 0 0 0 1252 13 0 0 20 0 3 0 184292260 109039616 8443 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
/proc/1010027/statm: 26621 8443 2974 3032 0 11251 0
[pid=1010027/tid=1010029] ppid=1010024 vsize=106484 memory=26640 CPUtime=12.65 cores=4,6
/proc/1010027/task/1010029/stat : 1010029 (fscip) R 1010024 1010027 1007714 0 -1 4194368 14042 0 0 0 1252 13 0 0 20 0 3 0 184292261 109039616 8443 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
[pid=1010027/tid=1010030] ppid=1010024 vsize=106484 memory=0 CPUtime=0 cores=4,6
/proc/1010027/task/1010030/stat : 1010030 (fscip) S 1010024 1010027 1007714 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 184292261 109039616 8443 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 106484 KiB
Current children cumulated memory: 33772 KiB
[startup+25.5002 s]
/proc/loadavg: 4.38 4.30 4.17 5/263 1010033
/proc/meminfo: memFree=126836600/131524600 swapFree=131071996/131071996
[pid=1010027] ppid=1010024 vsize=108584 memory=43196 CPUtime=25.41 cores=4,6
/proc/1010027/stat : 1010027 (fscip) S 1010024 1010027 1007714 0 -1 1077936128 27639 0 0 0 2518 23 0 0 20 0 3 0 184292260 111190016 10799 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
/proc/1010027/statm: 27146 10799 2974 3032 0 13365 0
[pid=1010027/tid=1010029] ppid=1010024 vsize=108584 memory=33772 CPUtime=25.4 cores=4,6
/proc/1010027/task/1010029/stat : 1010029 (fscip) R 1010024 1010027 1007714 0 -1 4194368 26363 0 0 0 2517 23 0 0 20 0 3 0 184292261 111190016 10799 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
[pid=1010027/tid=1010030] ppid=1010024 vsize=108584 memory=11396 CPUtime=0 cores=4,6
/proc/1010027/task/1010030/stat : 1010030 (fscip) S 1010024 1010027 1007714 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 184292261 111190016 10799 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 108584 KiB
Current children cumulated memory: 43196 KiB
[startup+51.1053 s]
/proc/loadavg: 4.28 4.28 4.17 5/264 1010038
/proc/meminfo: memFree=126754496/131524600 swapFree=131071996/131071996
[pid=1010027] ppid=1010024 vsize=114636 memory=66688 CPUtime=50.94 cores=4,6
/proc/1010027/stat : 1010027 (fscip) S 1010024 1010027 1007714 0 -1 1077936128 57079 0 0 0 5044 50 0 0 20 0 3 0 184292260 117387264 16672 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
/proc/1010027/statm: 28659 16672 2974 3032 0 19385 0
[pid=1010027/tid=1010029] ppid=1010024 vsize=114636 memory=63448 CPUtime=50.93 cores=4,6
/proc/1010027/task/1010029/stat : 1010029 (fscip) R 1010024 1010027 1007714 0 -1 4194368 55738 0 0 0 5043 50 0 0 20 0 3 0 184292261 117387264 16672 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
[pid=1010027/tid=1010030] ppid=1010024 vsize=114636 memory=62716 CPUtime=0 cores=4,6
/proc/1010027/task/1010030/stat : 1010030 (fscip) S 1010024 1010027 1007714 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 184292261 117387264 16672 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 114636 KiB
Current children cumulated memory: 66688 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.27 4.17 5/264 1010047
/proc/meminfo: memFree=126625988/131524600 swapFree=131071996/131071996
[pid=1010027] ppid=1010024 vsize=128500 memory=102764 CPUtime=101.98 cores=4,6
/proc/1010027/stat : 1010027 (fscip) S 1010024 1010027 1007714 0 -1 1077936128 109440 0 0 0 10088 110 0 0 20 0 3 0 184292260 131584000 25691 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
/proc/1010027/statm: 32125 25691 2974 3032 0 28402 0
[pid=1010027/tid=1010029] ppid=1010024 vsize=128500 memory=99964 CPUtime=101.97 cores=4,6
/proc/1010027/task/1010029/stat : 1010029 (fscip) R 1010024 1010027 1007714 0 -1 4194368 108034 0 0 0 10087 110 0 0 20 0 3 0 184292261 131584000 25691 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
[pid=1010027/tid=1010030] ppid=1010024 vsize=128500 memory=98484 CPUtime=0 cores=4,6
/proc/1010027/task/1010030/stat : 1010030 (fscip) S 1010024 1010027 1007714 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 184292261 131584000 25691 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 128500 KiB
Current children cumulated memory: 102764 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.23 4.16 5/266 1010061
/proc/meminfo: memFree=126531588/131524600 swapFree=131071996/131071996
[pid=1010027] ppid=1010024 vsize=207404 memory=132308 CPUtime=161.81 cores=4,6
/proc/1010027/stat : 1010027 (fscip) S 1010024 1010027 1007714 0 -1 1077936128 157384 0 0 0 16012 169 0 0 20 0 3 0 184292260 212381696 33077 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
/proc/1010027/statm: 51851 33077 2974 3032 0 36365 0
[pid=1010027/tid=1010029] ppid=1010024 vsize=207404 memory=127744 CPUtime=161.78 cores=4,6
/proc/1010027/task/1010029/stat : 1010029 (fscip) R 1010024 1010027 1007714 0 -1 4194368 155907 0 0 0 16010 168 0 0 20 0 3 0 184292261 212381696 33077 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
[pid=1010027/tid=1010030] ppid=1010024 vsize=207404 memory=130552 CPUtime=0 cores=4,6
/proc/1010027/task/1010030/stat : 1010030 (fscip) S 1010024 1010027 1007714 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 184292261 212381696 33077 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 207404 KiB
################
# More data... #
################
/proc/1010027/statm: 281066 257962 2974 3032 0 263449 0
[pid=1010027/tid=1010029] ppid=1010024 vsize=1124264 memory=1012840 CPUtime=3391.56 cores=4,6
/proc/1010027/task/1010029/stat : 1010029 (fscip) R 1010024 1010027 1007714 0 -1 4194368 1946621 0 0 0 336084 3072 0 0 20 0 3 0 184292261 1151246336 257962 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
[pid=1010027/tid=1010030] ppid=1010024 vsize=1124264 memory=1030932 CPUtime=0.01 cores=4,6
/proc/1010027/task/1010030/stat : 1010030 (fscip) S 1010024 1010027 1007714 0 -1 1077936192 68 0 0 0 0 1 0 0 20 0 3 0 184292261 1151246336 257962 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
Current children cumulated CPU time: 3391.77 s
Current children cumulated vsize: 1124264 KiB
Current children cumulated memory: 1031848 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.18 4.16 5/263 1012514
/proc/meminfo: memFree=123739404/131524600 swapFree=131071996/131071996
[pid=1010027] ppid=1010024 vsize=1131212 memory=1049116 CPUtime=3451.6 cores=4,6
/proc/1010027/stat : 1010027 (fscip) S 1010024 1010027 1007714 0 -1 1077936128 1967037 0 0 0 342025 3135 0 0 20 0 3 0 184292260 1158361088 262279 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
/proc/1010027/statm: 282803 262279 2974 3032 0 267815 0
[pid=1010027/tid=1010029] ppid=1010024 vsize=1131212 memory=1012840 CPUtime=3451.39 cores=4,6
/proc/1010027/task/1010029/stat : 1010029 (fscip) R 1010024 1010027 1007714 0 -1 4194368 1964164 0 0 0 342007 3132 0 0 20 0 3 0 184292261 1158361088 262279 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
[pid=1010027/tid=1010030] ppid=1010024 vsize=1131212 memory=1041052 CPUtime=0.01 cores=4,6
/proc/1010027/task/1010030/stat : 1010030 (fscip) S 1010024 1010027 1007714 0 -1 1077936192 69 0 0 0 0 1 0 0 20 0 3 0 184292261 1158361088 262279 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
Current children cumulated CPU time: 3451.6 s
Current children cumulated vsize: 1131212 KiB
Current children cumulated memory: 1049116 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.17 4.16 5/263 1012525
/proc/meminfo: memFree=123683272/131524600 swapFree=131071996/131071996
[pid=1010027] ppid=1010024 vsize=1135852 memory=1060728 CPUtime=3511.43 cores=4,6
/proc/1010027/stat : 1010027 (fscip) S 1010024 1010027 1007714 0 -1 1077936128 1992799 0 0 0 347963 3180 0 0 20 0 3 0 184292260 1163112448 265182 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
/proc/1010027/statm: 283963 265182 2974 3032 0 270703 0
[pid=1010027/tid=1010029] ppid=1010024 vsize=1135852 memory=1057608 CPUtime=3511.22 cores=4,6
/proc/1010027/task/1010029/stat : 1010029 (fscip) R 1010024 1010027 1007714 0 -1 4194368 1989904 0 0 0 347944 3178 0 0 20 0 3 0 184292261 1163112448 265182 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
[pid=1010027/tid=1010030] ppid=1010024 vsize=1135852 memory=1060348 CPUtime=0.01 cores=4,6
/proc/1010027/task/1010030/stat : 1010030 (fscip) S 1010024 1010027 1007714 0 -1 1077936192 70 0 0 0 0 1 0 0 20 0 3 0 184292261 1163112448 265182 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
Current children cumulated CPU time: 3511.43 s
Current children cumulated vsize: 1135852 KiB
Current children cumulated memory: 1060728 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.16 4.16 5/263 1012536
/proc/meminfo: memFree=123633616/131524600 swapFree=131071996/131071996
[pid=1010027] ppid=1010024 vsize=1138172 memory=1066824 CPUtime=3571.26 cores=4,6
/proc/1010027/stat : 1010027 (fscip) S 1010024 1010027 1007714 0 -1 1077936128 1999341 0 0 0 353903 3223 0 0 20 0 3 0 184292260 1165488128 266706 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
/proc/1010027/statm: 284543 266706 2974 3032 0 272480 0
[pid=1010027/tid=1010029] ppid=1010024 vsize=1138172 memory=1066824 CPUtime=3571.05 cores=4,6
/proc/1010027/task/1010029/stat : 1010029 (fscip) R 1010024 1010027 1007714 0 -1 4194368 1996423 0 0 0 353885 3220 0 0 20 0 3 0 184292261 1165488128 266706 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
[pid=1010027/tid=1010030] ppid=1010024 vsize=1138172 memory=11396 CPUtime=0.01 cores=4,6
/proc/1010027/task/1010030/stat : 1010030 (fscip) S 1010024 1010027 1007714 0 -1 1077936192 70 0 0 0 0 1 0 0 20 0 3 0 184292261 1165488128 266706 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
Current children cumulated CPU time: 3571.26 s
Current children cumulated vsize: 1138172 KiB
Current children cumulated memory: 1066824 KiB
[startup+3601.83 s]
# the end of solver process 1010027 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3558.36 s, system=32.3949 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.16 4.16 5/263 1012536
/proc/meminfo: memFree=123632356/131524600 swapFree=131071996/131071996
[pid=1010027] ppid=1010024 vsize=1138172 memory=1066824 CPUtime=3572.96 cores=4,6
/proc/1010027/stat : 1010027 (fscip) S 1010024 1010027 1007714 0 -1 1077936128 1999349 0 0 0 354073 3223 0 0 20 0 3 0 184292260 1165488128 266706 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
/proc/1010027/statm: 284543 266706 2974 3032 0 272480 0
[pid=1010027/tid=1010029] ppid=1010024 vsize=1138172 memory=28308 CPUtime=3572.75 cores=4,6
/proc/1010027/task/1010029/stat : 1010029 (fscip) R 1010024 1010027 1007714 0 -1 4194368 1996431 0 0 0 354054 3221 0 0 20 0 3 0 184292261 1165488128 266706 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
[pid=1010027/tid=1010030] ppid=1010024 vsize=1138172 memory=-6933350163988323268 CPUtime=0.01 cores=4,6
/proc/1010027/task/1010030/stat : 1010030 (fscip) S 1010024 1010027 1007714 0 -1 1077936192 70 0 0 0 0 1 0 0 20 0 3 0 184292261 1165488128 266706 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
Current children cumulated CPU time: 3572.96 s
Current children cumulated vsize: 1138172 KiB
Current children cumulated memory: 1066824 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.15 4.16 5/263 1012537
/proc/meminfo: memFree=123626284/131524600 swapFree=131071996/131071996
[pid=1010027] ppid=1010024 vsize=1138172 memory=1066824 CPUtime=3579.34 cores=4,6
/proc/1010027/stat : 1010027 (fscip) S 1010024 1010027 1007714 0 -1 1077936128 2000738 0 0 0 354708 3226 0 0 20 0 3 0 184292260 1165488128 266706 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
/proc/1010027/statm: 284543 266706 2974 3032 0 272480 0
[pid=1010027/tid=1010029] ppid=1010024 vsize=1138172 memory=13116 CPUtime=3579.12 cores=4,6
/proc/1010027/task/1010029/stat : 1010029 (fscip) R 1010024 1010027 1007714 0 -1 4194368 1997820 0 0 0 354689 3223 0 0 20 0 3 0 184292261 1165488128 266706 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
[pid=1010027/tid=1010030] ppid=1010024 vsize=1138172 memory=1066824 CPUtime=0.01 cores=4,6
/proc/1010027/task/1010030/stat : 1010030 (fscip) S 1010024 1010027 1007714 0 -1 1077936192 70 0 0 0 0 1 0 0 20 0 3 0 184292261 1165488128 266706 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
Current children cumulated CPU time: 3579.34 s
Current children cumulated vsize: 1138172 KiB
Current children cumulated memory: 1066824 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.15 4.16 5/263 1012537
/proc/meminfo: memFree=123617928/131524600 swapFree=131071996/131071996
[pid=1010027] ppid=1010024 vsize=1138752 memory=1067916 CPUtime=3585.72 cores=4,6
/proc/1010027/stat : 1010027 (fscip) S 1010024 1010027 1007714 0 -1 1077936128 2007448 0 0 0 355341 3231 0 0 20 0 3 0 184292260 1166082048 266979 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
/proc/1010027/statm: 284688 266979 2974 3032 0 272625 0
[pid=1010027/tid=1010029] ppid=1010024 vsize=1138752 memory=1067716 CPUtime=3585.5 cores=4,6
/proc/1010027/task/1010029/stat : 1010029 (fscip) R 1010024 1010027 1007714 0 -1 4194368 2004529 0 0 0 355322 3228 0 0 20 0 3 0 184292261 1166082048 266979 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
[pid=1010027/tid=1010030] ppid=1010024 vsize=1138752 memory=1066824 CPUtime=0.01 cores=4,6
/proc/1010027/task/1010030/stat : 1010030 (fscip) S 1010024 1010027 1007714 0 -1 1077936192 71 0 0 0 0 1 0 0 20 0 3 0 184292261 1166082048 266979 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
Current children cumulated CPU time: 3585.72 s
Current children cumulated vsize: 1138752 KiB
Current children cumulated memory: 1067916 KiB
[startup+3600 s]*
/proc/loadavg: 4.08 4.15 4.16 5/257 1012575
/proc/meminfo: memFree=124433408/131524600 swapFree=131071996/131071996
[pid=1010027] ppid=1010024 vsize=1138752 memory=1068432 CPUtime=3588.91 cores=4,6
/proc/1010027/stat : 1010027 (fscip) S 1010024 1010027 1007714 0 -1 1077936128 2014015 0 0 0 355657 3234 0 0 20 0 3 0 184292260 1166082048 267108 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
/proc/1010027/statm: 284688 267108 2974 3032 0 272625 0
[pid=1010027/tid=1010029] ppid=1010024 vsize=1138752 memory=-7668888523018167394 CPUtime=3588.71 cores=4,6
/proc/1010027/task/1010029/stat : 1010029 (fscip) R 1010024 1010027 1007714 0 -1 4194368 2011662 0 0 0 355639 3232 0 0 20 0 3 0 184292261 1166082048 267108 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
[pid=1010027/tid=1010030] ppid=1010024 vsize=1138752 memory=104 CPUtime=0.01 cores=4,6
/proc/1010027/task/1010030/stat : 1010030 (fscip) S 1010024 1010027 1007714 0 -1 1077936192 71 0 0 0 0 1 0 0 20 0 3 0 184292261 1166082048 267108 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
Current children cumulated CPU time: 3588.91 s
Current children cumulated vsize: 1138752 KiB
Current children cumulated memory: 1068432 KiB
[startup+3600.8 s]
/proc/loadavg: 4.08 4.15 4.16 5/257 1012575
/proc/meminfo: memFree=124433408/131524600 swapFree=131071996/131071996
[pid=1010027] ppid=1010024 vsize=1017532 memory=940680 CPUtime=3589.71 cores=4,6
/proc/1010027/stat : 1010027 (fscip) S 1010024 1010027 1007714 0 -1 1077936128 2046556 0 0 0 355734 3237 0 0 20 0 3 0 184292260 1041952768 235170 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
/proc/1010027/statm: 254383 235170 2974 3032 0 242320 0
[pid=1010027/tid=1010029] ppid=1010024 vsize=1017532 memory=1900 CPUtime=3589.49 cores=4,6
/proc/1010027/task/1010029/stat : 1010029 (fscip) R 1010024 1010027 1007714 0 -1 4194368 2043628 0 0 0 355715 3234 0 0 20 0 3 0 184292261 1041952768 235170 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
[pid=1010027/tid=1010030] ppid=1010024 vsize=1017532 memory=26092 CPUtime=0.01 cores=4,6
/proc/1010027/task/1010030/stat : 1010030 (fscip) S 1010024 1010027 1007714 0 -1 1077936192 71 0 0 0 0 1 0 0 20 0 3 0 184292261 1041952768 235170 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
Current children cumulated CPU time: 3589.71 s
Current children cumulated vsize: 1017532 KiB
Current children cumulated memory: 940680 KiB
[startup+3601.6 s]
/proc/loadavg: 4.08 4.15 4.16 5/261 1012586
/proc/meminfo: memFree=124426976/131524600 swapFree=131071996/131071996
[pid=1010027] ppid=1010024 vsize=822244 memory=745392 CPUtime=3590.51 cores=4,6
/proc/1010027/stat : 1010027 (fscip) S 1010024 1010027 1007714 0 -1 1077936128 2047742 0 0 0 355813 3238 0 0 20 0 3 0 184292260 841977856 186348 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
/proc/1010027/statm: 205561 186348 2974 3032 0 193498 0
[pid=1010027/tid=1010029] ppid=1010024 vsize=822244 memory=1068304 CPUtime=3590.29 cores=4,6
/proc/1010027/task/1010029/stat : 1010029 (fscip) R 1010024 1010027 1007714 0 -1 4194368 2044814 0 0 0 355794 3235 0 0 20 0 3 0 184292261 841977856 186348 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
[pid=1010027/tid=1010030] ppid=1010024 vsize=822244 memory=1068304 CPUtime=0.01 cores=4,6
/proc/1010027/task/1010030/stat : 1010030 (fscip) S 1010024 1010027 1007714 0 -1 1077936192 71 0 0 0 0 1 0 0 20 0 3 0 184292261 841977856 186348 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
Current children cumulated CPU time: 3590.51 s
Current children cumulated vsize: 822244 KiB
Current children cumulated memory: 745392 KiB
[startup+3601.8 s]
/proc/loadavg: 4.08 4.15 4.16 5/261 1012586
/proc/meminfo: memFree=124426976/131524600 swapFree=131071996/131071996
[pid=1010027] ppid=1010024 vsize=768700 memory=685260 CPUtime=3590.71 cores=4,6
/proc/1010027/stat : 1010027 (fscip) S 1010024 1010027 1007714 0 -1 1077936128 2047971 0 0 0 355833 3238 0 0 20 0 3 0 184292260 787148800 171315 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
/proc/1010027/statm: 192175 171315 2974 3032 0 180112 0
[pid=1010027/tid=1010029] ppid=1010024 vsize=768700 memory=3617014130905529192 CPUtime=3590.5 cores=4,6
/proc/1010027/task/1010029/stat : 1010029 (fscip) R 1010024 1010027 1007714 0 -1 4194368 2045043 0 0 0 355814 3236 0 0 20 0 3 0 184292261 787148800 171315 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
[pid=1010027/tid=1010030] ppid=1010024 vsize=768700 memory=1029420 CPUtime=0.01 cores=4,6
/proc/1010027/task/1010030/stat : 1010030 (fscip) S 1010024 1010027 1007714 0 -1 1077936192 71 0 0 0 0 1 0 0 20 0 3 0 184292261 787148800 171315 134679101440 4194304 16613245 140722992942176 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34304000 140722992944147 140722992944263 140722992944263 140722992951280 0
Current children cumulated CPU time: 3590.71 s
Current children cumulated vsize: 768700 KiB
Current children cumulated memory: 685260 KiB
Child status: 0
Real time (s): 3601.83
CPU time (s): 3590.75
CPU user time (s): 3558.36
CPU system time (s): 32.3949
CPU usage (%): 99.6923
Max. virtual memory (cumulated for all children) (KiB): 1138752
Max. memory (cumulated for all children) (KiB): 1068432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3558.36
system time used= 32.3949
maximum resident set size= 1068432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2048236
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= 10949
involuntary context switches= 4430
# summary of solver processes directly reported to runsolver:
# pid: 1010027
# total CPU time (s): 3590.75
# total CPU user time (s): 3558.36
# total CPU system time (s): 32.3949
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.41914 second user time and 15.698 second system time
The end
Begin job on nodeC030 at 2024-07-18 18:47:35
IDJOB=4445270
IDBENCH=148105
IDSOLVER=3064
FILE ID=nodeC030/4445270-1721321241
RUNJOBID= nodeC030-1721317650-1007725
SLURM_JOB_ID= 7542666
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob8.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-4445270-1721321241/watcher-4445270-1721321241 -o /tmp/evaluation-result-4445270-1721321241/solver-4445270-1721321241 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721317650-1007725 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4445270-1721321241.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3f61e6943d6ec76e40473bfb8d86b810
RANDOM SEED=1281667159
nodeC030.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 : 3666.837
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.28
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 : 3677.251
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.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 : 3600.415
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.28
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 : 3599.931
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.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 : 3668.701
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.28
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 : 3677.268
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.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 : 3662.563
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.28
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 : 3599.655
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126944248 kB
MemAvailable: 128089784 kB
Buffers: 476644 kB
Cached: 1497888 kB
SwapCached: 0 kB
Active: 1101984 kB
Inactive: 2850896 kB
Active(anon): 1540 kB
Inactive(anon): 2014576 kB
Active(file): 1100444 kB
Inactive(file): 836320 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 85092 kB
Writeback: 20 kB
AnonPages: 1977976 kB
Mapped: 141712 kB
Shmem: 37720 kB
KReclaimable: 97188 kB
Slab: 209856 kB
SReclaimable: 97188 kB
SUnreclaim: 112668 kB
KernelStack: 4176 kB
PageTables: 13056 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1981828 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 69888 kB
HardwareCorrupted: 0 kB
AnonHugePages: 270336 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: 234196 kB
DirectMap2M: 18413568 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 889920 MiB
End job on nodeC030 at 2024-07-18 19:47:37