0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 25366528, getVmSize() = 25366528, SCIPgetMemUsed() = 3271412, SCIPgetMemTotal() = 3699228, SCIPgetMemExternEstim() = 1519229
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.05 c ** Estimated virtualMemUsedAtSolver = 19114666, getVmSize() = 31977472, SCIPgetMemUsed() = 4844488, SCIPgetMemTotal() = 8984744, SCIPgetMemExternEstim() = 1519229
0.00/0.05 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.05 c Original Problem :
0.00/0.05 c Problem name : instance-4464952-1722390142
0.00/0.05 c Variables : 700 (700 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.05 c Constraints : 951
0.00/0.05 c Objective sense : minimize
0.00/0.05 c Presolved Problem :
0.00/0.05 c Variables : 550 (550 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.05 c Constraints : 425
0.00/0.05 c Constraints : Number
0.00/0.05 c linear : 400
0.00/0.05 c indicator : 25
0.00/0.05 c ** Instance transfer method used: 0
0.00/0.05 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.06 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.06 c Nodes Active
0.00/0.06 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.00/0.06 c * 0 0 1 1 400.0000 - -
0.00/0.07 c * 0 0 1 1 278.0000 - -
0.00/0.07 c * 0 0 1 1 31.0000 - -
0.00/0.07 c * 0 0 1 1 1.0000 - -
5.16/5.22 c 5 2565 2281 1 1.0000 0.0000 -
10.14/10.27 c 10 10037 8559 1 1.0000 0.0000 -
15.23/15.33 c 15 19437 17218 1 1.0000 0.0000 -
20.21/20.38 c 20 29127 26555 1 1.0000 0.0000 -
25.29/25.42 c 25 38851 35773 1 1.0000 0.0000 -
30.28/30.47 c 30 47654 44301 1 1.0000 0.0000 -
35.34/35.53 c 36 54149 50530 1 1.0000 0.0000 -
40.33/40.58 c 41 63789 59878 1 1.0000 0.0000 -
45.40/45.62 c 46 70728 66540 1 1.0000 0.0000 -
50.39/50.68 c 51 76883 72385 1 1.0000 0.0000 -
55.46/55.73 c 56 82131 77210 1 1.0000 0.0000 -
60.46/60.78 c 61 87735 82311 1 1.0000 0.0000 -
65.54/65.82 c 66 94043 88299 1 1.0000 0.0000 -
70.52/70.87 c 71 101998 96091 1 1.0000 0.0000 -
75.61/75.93 c 76 106720 100238 1 1.0000 0.0000 -
80.59/80.98 c 81 111828 104967 1 1.0000 0.0000 -
85.67/86.03 c 86 117277 109915 1 1.0000 0.0000 -
90.66/91.07 c 91 121783 113915 1 1.0000 0.0000 -
95.75/96.12 c 96 127925 119537 1 1.0000 0.0000 -
100.73/101.18 c 101 135375 126872 1 1.0000 0.0000 -
105.80/106.23 c 106 141841 133138 1 1.0000 0.0000 -
110.78/111.28 c 111 147824 138794 1 1.0000 0.0000 -
115.87/116.33 c 116 153765 144502 1 1.0000 0.0000 -
120.85/121.38 c 121 157964 147950 1 1.0000 0.0000 -
125.93/126.43 c 126 164360 153324 1 1.0000 0.0000 -
130.92/131.48 c 131 170599 158792 1 1.0000 0.0000 -
136.00/136.56 c 137 174657 162045 1 1.0000 0.0000 -
141.08/141.60 c 142 179357 165969 1 1.0000 0.0000 -
146.06/146.68 c 147 183976 169763 1 1.0000 0.0000 -
151.15/151.75 c 152 187265 172013 1 1.0000 0.0000 -
156.22/156.82 c 157 190369 173348 1 1.0000 0.0000 -
161.20/161.88 c 162 194202 176430 1 1.0000 0.0000 -
166.28/166.94 c 167 197941 179353 1 1.0000 0.0000 -
171.26/171.99 c 172 202037 182709 1 1.0000 0.0000 -
176.34/177.05 c 177 205535 185725 1 1.0000 0.0000 -
181.31/182.09 c 182 210168 190249 1 1.0000 0.0000 -
186.40/187.15 c 187 213681 193375 1 1.0000 0.0000 -
191.38/192.19 c 192 217351 196942 1 1.0000 0.0000 -
196.45/197.25 c 197 220322 199868 1 1.0000 0.0000 -
201.53/202.31 c 202 224225 203678 1 1.0000 0.0000 -
206.51/207.39 c 207 227345 206761 1 1.0000 0.0000 -
211.58/212.45 c 212 232092 211499 1 1.0000 0.0000 -
216.66/217.55 c 218 234338 213719 1 1.0000 0.0000 -
221.74/222.65 c 223 238663 217970 1 1.0000 0.0000 -
226.82/227.73 c 228 241533 220789 1 1.0000 0.0000 -
231.80/232.77 c 233 244339 223517 1 1.0000 0.0000 -
236.88/237.84 c 238 248322 227371 1 1.0000 0.0000 -
242.06/243.01 c 243 250776 229709 1 1.0000 0.0000 -
247.04/248.08 c 248 256122 234989 1 1.0000 0.0000 -
252.12/253.18 c 253 259304 238085 1 1.0000 0.0000 -
257.20/258.27 c 258 264476 243196 1 1.0000 0.0000 -
262.28/263.32 c 263 267405 246017 1 1.0000 0.0000 -
267.36/268.40 c 268 269511 248080 1 1.0000 0.0000 -
272.45/273.51 c 274 271376 249837 1 1.0000 0.0000 -
277.53/278.63 c 279 275099 253466 1 1.0000 0.0000 -
282.62/283.73 c 284 279790 258007 1 1.0000 0.0000 -
287.80/288.95 c 289 284356 262531 1 1.0000 0.0000 -
292.88/294.06 c 294 288405 266464 1 1.0000 0.0000 -
297.96/299.12 c 299 291746 269672 1 1.0000 0.0000 -
303.24/304.40 c 304 294346 272179 1 1.0000 0.0000 -
308.32/309.51 c 310 297774 275354 1 1.0000 0.0000 -
313.40/314.63 c 315 301188 278596 1 1.0000 0.0000 -
318.48/319.79 c 320 305172 282452 1 1.0000 0.0000 -
323.97/325.20 c 325 310114 287311 1 1.0000 0.0000 -
329.15/330.40 c 330 314466 291476 1 1.0000 0.0000 -
334.13/335.45 c 335 318687 295340 1 1.0000 0.0000 -
339.31/340.60 c 341 322857 299352 1 1.0000 0.0000 -
344.39/345.78 c 346 327610 304042 1 1.0000 0.0000 -
349.68/351.06 c 351 331100 306966 1 1.0000 0.0000 -
354.85/356.22 c 356 335157 310844 1 1.0000 0.0000 -
360.03/361.47 c 361 338323 313506 1 1.0000 0.0000 -
365.30/366.70 c 367 343406 318555 1 1.0000 0.0000 -
370.29/371.76 c 372 346569 321524 1 1.0000 0.0000 -
375.36/376.87 c 377 351266 326151 1 1.0000 0.0000 -
380.64/382.12 c 382 355006 329541 1 1.0000 0.0000 -
385.72/387.27 c 387 360317 334847 1 1.0000 0.0000 -
391.00/392.54 c 393 364846 339326 1 1.0000 0.0000 -
396.17/397.79 c 398 369509 343903 1 1.0000 0.0000 -
401.46/403.01 c 403 373577 347846 1 1.0000 0.0000 -
406.63/408.25 c 408 378155 352280 1 1.0000 0.0000 -
411.91/413.51 c 414 383166 357250 1 1.0000 0.0000 -
417.10/418.70 c 419 387081 361084 1 1.0000 0.0000 -
422.08/423.79 c 424 391513 365467 1 1.0000 0.0000 -
427.27/428.93 c 429 394450 368161 1 1.0000 0.0000 -
432.45/434.17 c 434 398023 371326 1 1.0000 0.0000 -
437.83/439.52 c 440 401603 374756 1 1.0000 0.0000 -
443.10/444.85 c 445 405174 378275 1 1.0000 0.0000 -
448.29/450.04 c 450 409119 382190 1 1.0000 0.0000 -
453.57/455.36 c 455 413243 386168 1 1.0000 0.0000 -
458.65/460.48 c 460 416423 389137 1 1.0000 0.0000 -
463.83/465.64 c 466 419557 392000 1 1.0000 0.0000 -
469.10/470.99 c 471 422300 394534 1 1.0000 0.0000 -
474.29/476.16 c 476 425140 397153 1 1.0000 0.0000 -
479.46/481.38 c 481 427432 399201 1 1.0000 0.0000 -
484.74/486.62 c 487 429880 401473 1 1.0000 0.0000 -
489.72/491.68 c 492 432739 404202 1 1.0000 0.0000 -
494.90/496.82 c 497 435093 406435 1 1.0000 0.0000 -
500.08/502.02 c 502 437620 408787 1 1.0000 0.0000 -
505.16/507.18 c 507 439319 410347 1 1.0000 0.0000 -
510.43/512.46 c 512 441903 412646 1 1.0000 0.0000 -
515.91/517.90 c 518 444365 414704 1 1.0000 0.0000 -
520.99/523.06 c 523 447373 417269 1 1.0000 0.0000 -
526.37/528.43 c 528 450593 420298 1 1.0000 0.0000 -
532.05/534.14 c 534 453427 422970 1 1.0000 0.0000 -
537.51/539.60 c 540 457373 426879 1 1.0000 0.0000 -
542.80/544.93 c 545 461923 431392 1 1.0000 0.0000 -
548.38/550.50 c 550 465721 435126 1 1.0000 0.0000 -
553.45/555.65 c 556 469781 439151 1 1.0000 0.0000 -
558.73/560.91 c 561 473823 443144 1 1.0000 0.0000 -
563.81/566.08 c 566 478233 447521 1 1.0000 0.0000 -
569.09/571.31 c 571 480656 449875 1 1.0000 0.0000 -
574.57/576.83 c 577 483203 452364 1 1.0000 0.0000 -
580.04/582.32 c 582 487321 456453 1 1.0000 0.0000 -
585.13/587.41 c 587 493082 462209 1 1.0000 0.0000 -
590.30/592.69 c 593 494641 463755 1 1.0000 0.0000 -
595.48/597.81 c 598 497803 466917 1 1.0000 0.0000 -
600.95/603.34 c 603 501425 470464 1 1.0000 0.0000 -
606.34/608.78 c 609 504663 473405 1 1.0000 0.0000 -
611.73/614.12 c 614 508185 476865 1 1.0000 0.0000 -
617.10/619.58 c 620 512007 480638 1 1.0000 0.0000 -
622.58/625.03 c 625 516165 484789 1 1.0000 0.0000 -
627.76/630.28 c 630 520079 488699 1 1.0000 0.0000 -
632.94/635.48 c 635 523907 492506 1 1.0000 0.0000 -
638.22/640.71 c 641 526263 494673 1 1.0000 0.0000 -
643.20/645.77 c 646 528754 496999 1 1.0000 0.0000 -
648.59/651.15 c 651 530853 498837 1 1.0000 0.0000 -
653.76/656.34 c 656 533603 501399 1 1.0000 0.0000 -
658.94/661.56 c 662 537004 504690 1 1.0000 0.0000 -
664.42/667.07 c 667 539531 507123 1 1.0000 0.0000 -
669.89/672.56 c 673 542397 509897 1 1.0000 0.0000 -
675.27/677.90 c 678 545575 512891 1 1.0000 0.0000 -
680.36/683.03 c 683 547624 514704 1 1.0000 0.0000 -
685.54/688.20 c 688 549269 516165 1 1.0000 0.0000 -
690.61/693.31 c 693 551291 517969 1 1.0000 0.0000 -
696.09/698.86 c 699 553483 519830 1 1.0000 0.0000 -
701.27/704.07 c 704 555269 521408 1 1.0000 0.0000 -
706.75/709.54 c 710 557660 523751 1 1.0000 0.0000 -
711.94/714.78 c 715 559773 525755 1 1.0000 0.0000 -
717.71/720.50 c 720 561873 527738 1 1.0000 0.0000 -
722.99/725.86 c 726 564793 530536 1 1.0000 0.0000 -
728.19/731.08 c 731 568259 533869 1 1.0000 0.0000 -
733.27/736.18 c 736 570694 536035 1 1.0000 0.0000 -
738.56/741.49 c 741 573795 538867 1 1.0000 0.0000 -
744.04/746.95 c 747 577273 542071 1 1.0000 0.0000 -
749.33/752.21 c 752 580359 544947 1 1.0000 0.0000 -
754.81/757.72 c 758 583009 547219 1 1.0000 0.0000 -
760.29/763.22 c 763 585370 549268 1 1.0000 0.0000 -
765.47/768.44 c 768 587017 550690 1 1.0000 0.0000 -
770.76/773.70 c 774 589316 552787 1 1.0000 0.0000 -
776.34/779.32 c 779 591240 554323 1 1.0000 0.0000 -
781.82/784.85 c 785 592739 555668 1 1.0000 0.0000 -
787.51/790.52 c 791 594293 557174 1 1.0000 0.0000 -
792.69/795.71 c 796 595709 558450 1 1.0000 0.0000 -
798.27/801.38 c 801 597613 560140 1 1.0000 0.0000 -
803.86/806.93 c 807 599833 562307 1 1.0000 0.0000 -
809.14/812.20 c 812 602371 564614 1 1.0000 0.0000 -
814.62/817.71 c 818 604679 566737 1 1.0000 0.0000 -
819.80/822.92 c 823 606490 568449 1 1.0000 0.0000 -
825.08/828.21 c 828 608434 569946 1 1.0000 0.0000 -
830.57/833.76 c 834 610667 571700 1 1.0000 0.0000 -
836.45/839.64 c 840 613610 574386 1 1.0000 0.0000 -
841.64/844.81 c 845 615534 575985 1 1.0000 0.0000 -
846.93/850.17 c 850 617705 577934 1 1.0000 0.0000 -
852.60/855.85 c 856 619619 579464 1 1.0000 0.0000 -
858.09/861.36 c 861 621705 581216 1 1.0000 0.0000 -
863.37/866.62 c 867 623549 582714 1 1.0000 0.0000 -
868.76/872.03 c 872 625755 584543 1 1.0000 0.0000 -
873.94/877.23 c 877 627482 585935 1 1.0000 0.0000 -
879.12/882.48 c 882 628890 587113 1 1.0000 0.0000 -
884.50/887.80 c 888 630609 588578 1 1.0000 0.0000 -
889.69/893.00 c 893 632785 590316 1 1.0000 0.0000 -
895.37/898.73 c 899 634590 591790 1 1.0000 0.0000 -
900.65/904.04 c 904 636280 593159 1 1.0000 0.0000 -
906.33/909.72 c 910 638303 594856 1 1.0000 0.0000 -
911.32/914.77 c 915 640526 596958 1 1.0000 0.0000 -
916.80/920.21 c 920 642855 599147 1 1.0000 0.0000 -
922.39/925.81 c 926 644777 600794 1 1.0000 0.0000 -
927.57/931.06 c 931 646123 602000 1 1.0000 0.0000 -
932.66/936.16 c 936 647912 603556 1 1.0000 0.0000 -
938.04/941.51 c 942 649475 605010 1 1.0000 0.0000 -
943.42/946.96 c 947 651753 607187 1 1.0000 0.0000 -
949.10/952.61 c 953 654433 609754 1 1.0000 0.0000 -
954.39/957.93 c 958 656683 611842 1 1.0000 0.0000 -
959.97/963.54 c 964 659643 614727 1 1.0000 0.0000 -
965.46/969.01 c 969 662300 617235 1 1.0000 0.0000 -
970.83/974.42 c 974 664591 619362 1 1.0000 0.0000 -
976.22/979.84 c 980 667120 621714 1 1.0000 0.0000 -
981.60/985.21 c 985 669110 623440 1 1.0000 0.0000 -
986.98/990.62 c 991 670903 624967 1 1.0000 0.0000 -
992.97/996.66 c 997 673593 627519 1 1.0000 0.0000 -
998.45/1002.11 c 1002 675263 629075 1 1.0000 0.0000 -
1004.03/1007.74 c 1008 677259 630956 1 1.0000 0.0000 -
1010.02/1013.77 c 1014 679265 632845 1 1.0000 0.0000 -
1015.60/1019.35 c 1019 680946 634440 1 1.0000 0.0000 -
1021.48/1025.22 c 1025 683563 636960 1 1.0000 0.0000 -
1027.06/1030.87 c 1031 685923 639205 1 1.0000 0.0000 -
1032.55/1036.32 c 1036 688056 641214 1 1.0000 0.0000 -
1037.63/1041.49 c 1041 690291 643125 1 1.0000 0.0000 -
1043.52/1047.31 c 1047 692305 644866 1 1.0000 0.0000 -
1049.50/1053.34 c 1053 695143 647453 1 1.0000 0.0000 -
1054.88/1058.75 c 1059 696766 648974 1 1.0000 0.0000 -
1060.56/1064.42 c 1064 698568 650618 1 1.0000 0.0000 -
1066.05/1069.96 c 1070 700839 652697 1 1.0000 0.0000 -
1071.83/1075.78 c 1076 703111 654858 1 1.0000 0.0000 -
1077.31/1081.25 c 1081 705440 657069 1 1.0000 0.0000 -
1082.59/1086.57 c 1087 706605 658177 1 1.0000 0.0000 -
1088.67/1092.68 c 1093 708189 659679 1 1.0000 0.0000 -
1094.55/1098.55 c 1099 709929 661030 1 1.0000 0.0000 -
1099.84/1103.82 c 1104 711506 662293 1 1.0000 0.0000 -
1105.52/1109.50 c 1110 713101 663582 1 1.0000 0.0000 -
1110.70/1114.74 c 1115 715125 665474 1 1.0000 0.0000 -
1116.39/1120.44 c 1120 717033 667267 1 1.0000 0.0000 -
1121.87/1125.91 c 1126 718931 668983 1 1.0000 0.0000 -
1127.26/1131.39 c 1131 720627 670599 1 1.0000 0.0000 -
1132.84/1136.97 c 1137 722296 672016 1 1.0000 0.0000 -
1138.32/1142.47 c 1142 724116 673482 1 1.0000 0.0000 -
1143.60/1147.75 c 1148 726250 675484 1 1.0000 0.0000 -
1149.48/1153.61 c 1154 728324 677345 1 1.0000 0.0000 -
1154.98/1159.11 c 1159 730348 679197 1 1.0000 0.0000 -
1160.65/1164.84 c 1165 732282 680664 1 1.0000 0.0000 -
1166.44/1170.60 c 1171 733870 681920 1 1.0000 0.0000 -
1172.33/1176.53 c 1177 735090 682940 1 1.0000 0.0000 -
1177.40/1181.68 c 1182 736303 683942 1 1.0000 0.0000 -
1183.19/1187.47 c 1187 737696 685156 1 1.0000 0.0000 -
1189.07/1193.36 c 1193 739275 686596 1 1.0000 0.0000 -
1194.77/1199.07 c 1199 740737 687941 1 1.0000 0.0000 -
1200.64/1204.90 c 1205 741569 688700 1 1.0000 0.0000 -
1206.33/1210.67 c 1211 742985 689992 1 1.0000 0.0000 -
1212.01/1216.37 c 1216 744063 690986 1 1.0000 0.0000 -
1217.70/1222.09 c 1222 745425 692090 1 1.0000 0.0000 -
1222.97/1227.34 c 1227 746946 693445 1 1.0000 0.0000 -
1228.16/1232.57 c 1233 748111 694439 1 1.0000 0.0000 -
1233.44/1237.89 c 1238 750415 696406 1 1.0000 0.0000 -
1238.82/1243.23 c 1243 751633 697417 1 1.0000 0.0000 -
1244.61/1249.03 c 1249 753336 699075 1 1.0000 0.0000 -
1250.70/1255.11 c 1255 754771 700336 1 1.0000 0.0000 -
1256.27/1260.79 c 1261 755887 701408 1 1.0000 0.0000 -
1262.16/1266.62 c 1267 756780 702270 1 1.0000 0.0000 -
1268.04/1272.53 c 1273 757989 703422 1 1.0000 0.0000 -
1273.82/1278.30 c 1278 759485 704819 1 1.0000 0.0000 -
1278.91/1283.43 c 1283 761248 706497 1 1.0000 0.0000 -
1284.60/1289.11 c 1289 762197 707332 1 1.0000 0.0000 -
1290.08/1294.62 c 1295 763483 708508 1 1.0000 0.0000 -
1296.26/1300.80 c 1301 765733 710749 1 1.0000 0.0000 -
1302.24/1306.83 c 1307 767521 712433 1 1.0000 0.0000 -
1308.22/1312.82 c 1313 769277 714029 1 1.0000 0.0000 -
1314.01/1318.67 c 1319 771753 716464 1 1.0000 0.0000 -
1319.30/1323.94 c 1324 773033 717606 1 1.0000 0.0000 -
1325.08/1329.77 c 1330 774790 719117 1 1.0000 0.0000 -
1331.36/1336.06 c 1336 776589 720742 1 1.0000 0.0000 -
1336.45/1341.18 c 1341 779294 723437 1 1.0000 0.0000 -
1342.72/1347.46 c 1347 780331 724452 1 1.0000 0.0000 -
1348.41/1353.15 c 1353 780710 724786 1 1.0000 0.0000 -
1354.30/1359.07 c 1359 781793 725730 1 1.0000 0.0000 -
1360.28/1365.00 c 1365 783193 727012 1 1.0000 0.0000 -
1366.25/1371.09 c 1371 784463 728229 1 1.0000 0.0000 -
1371.34/1376.15 c 1376 785366 729070 1 1.0000 0.0000 -
1376.62/1381.43 c 1381 786864 730374 1 1.0000 0.0000 -
1382.21/1387.03 c 1387 787826 731265 1 1.0000 0.0000 -
1387.79/1392.68 c 1393 789155 732440 1 1.0000 0.0000 -
1393.58/1398.44 c 1398 791017 734254 1 1.0000 0.0000 -
1398.95/1403.87 c 1404 792569 735794 1 1.0000 0.0000 -
1405.04/1409.90 c 1410 794547 737725 1 1.0000 0.0000 -
1410.82/1415.72 c 1416 796439 739583 1 1.0000 0.0000 -
1416.71/1421.67 c 1422 798054 741045 1 1.0000 0.0000 -
1422.69/1427.65 c 1428 799917 742887 1 1.0000 0.0000 -
1427.77/1432.76 c 1433 801393 744308 1 1.0000 0.0000 -
1433.76/1438.72 c 1439 802781 745466 1 1.0000 0.0000 -
1439.05/1444.00 c 1444 803821 746437 1 1.0000 0.0000 -
1444.52/1449.54 c 1450 805041 747583 1 1.0000 0.0000 -
1449.70/1454.77 c 1455 806401 748678 1 1.0000 0.0000 -
1454.79/1459.80 c 1460 807563 749643 1 1.0000 0.0000 -
1460.88/1465.95 c 1466 809005 750842 1 1.0000 0.0000 -
1466.96/1472.02 c 1472 810313 751823 1 1.0000 0.0000 -
1473.34/1478.49 c 1478 811650 752921 1 1.0000 0.0000 -
1479.62/1484.70 c 1485 812907 753972 1 1.0000 0.0000 -
1484.60/1489.78 c 1490 814090 755024 1 1.0000 0.0000 -
1489.59/1494.79 c 1495 815444 756212 1 1.0000 0.0000 -
1495.18/1500.31 c 1500 816771 757454 1 1.0000 0.0000 -
1500.25/1505.46 c 1505 818083 758692 1 1.0000 0.0000 -
1506.44/1511.63 c 1512 819563 760108 1 1.0000 0.0000 -
1512.32/1517.51 c 1518 821897 762442 1 1.0000 0.0000 -
1518.30/1523.56 c 1524 824081 764626 1 1.0000 0.0000 -
1523.79/1529.07 c 1529 826853 767398 1 1.0000 0.0000 -
1529.58/1534.88 c 1535 829265 769810 1 1.0000 0.0000 -
1535.66/1540.99 c 1541 831116 771567 1 1.0000 0.0000 -
1541.63/1546.97 c 1547 832363 772716 1 1.0000 0.0000 -
1547.42/1552.70 c 1553 833655 773938 1 1.0000 0.0000 -
1553.00/1558.38 c 1558 834694 774920 1 1.0000 0.0000 -
1558.59/1563.91 c 1564 836491 776623 1 1.0000 0.0000 -
1564.07/1569.46 c 1569 837963 777799 1 1.0000 0.0000 -
1569.25/1574.67 c 1575 839394 778916 1 1.0000 0.0000 -
1574.44/1579.81 c 1580 840681 780107 1 1.0000 0.0000 -
1579.93/1585.36 c 1585 842181 781544 1 1.0000 0.0000 -
1585.71/1591.11 c 1591 843430 782621 1 1.0000 0.0000 -
1592.09/1597.55 c 1598 844869 783926 1 1.0000 0.0000 -
1597.87/1603.33 c 1603 846269 785180 1 1.0000 0.0000 -
1603.15/1608.64 c 1609 847295 786036 1 1.0000 0.0000 -
1609.23/1614.71 c 1615 848604 787116 1 1.0000 0.0000 -
1615.21/1620.74 c 1621 850053 788337 1 1.0000 0.0000 -
1621.30/1626.82 c 1627 851189 789267 1 1.0000 0.0000 -
1627.17/1632.71 c 1633 852265 790128 1 1.0000 0.0000 -
1632.75/1638.40 c 1638 853563 791080 1 1.0000 0.0000 -
1638.44/1644.06 c 1644 854711 792105 1 1.0000 0.0000 -
1643.62/1649.25 c 1649 856017 793278 1 1.0000 0.0000 -
1649.60/1655.25 c 1655 857346 794321 1 1.0000 0.0000 -
1655.49/1661.16 c 1661 859029 795680 1 1.0000 0.0000 -
1660.56/1666.26 c 1666 859999 796467 1 1.0000 0.0000 -
1666.64/1672.36 c 1672 861291 797567 1 1.0000 0.0000 -
1672.53/1678.29 c 1678 862619 798795 1 1.0000 0.0000 -
1677.82/1683.51 c 1684 863911 800014 1 1.0000 0.0000 -
1684.09/1689.82 c 1690 865355 801374 1 1.0000 0.0000 -
1689.58/1695.39 c 1695 867173 803107 1 1.0000 0.0000 -
1694.66/1700.49 c 1700 868479 804164 1 1.0000 0.0000 -
1700.85/1706.67 c 1707 869739 805224 1 1.0000 0.0000 -
1706.13/1711.91 c 1712 870841 806282 1 1.0000 0.0000 -
1711.91/1717.78 c 1718 872075 807367 1 1.0000 0.0000 -
1717.10/1722.92 c 1723 872873 808074 1 1.0000 0.0000 -
1723.18/1729.08 c 1729 874273 809229 1 1.0000 0.0000 -
1729.06/1734.90 c 1735 875503 810329 1 1.0000 0.0000 -
1734.44/1740.34 c 1740 876917 811679 1 1.0000 0.0000 -
1739.62/1745.59 c 1746 878587 813318 1 1.0000 0.0000 -
1744.81/1750.72 c 1751 879584 814243 1 1.0000 0.0000 -
1750.99/1756.99 c 1757 880709 815265 1 1.0000 0.0000 -
1756.18/1762.15 c 1762 882040 816446 1 1.0000 0.0000 -
1762.86/1768.80 c 1769 883343 817644 1 1.0000 0.0000 -
1768.05/1774.05 c 1774 884185 818405 1 1.0000 0.0000 -
1774.02/1780.01 c 1780 885661 819815 1 1.0000 0.0000 -
1779.71/1785.75 c 1786 886840 820882 1 1.0000 0.0000 -
1785.69/1791.71 c 1792 888116 821977 1 1.0000 0.0000 -
1790.77/1796.84 c 1797 889190 822948 1 1.0000 0.0000 -
1796.35/1802.40 c 1802 890547 824106 1 1.0000 0.0000 -
1801.84/1807.97 c 1808 891747 825263 1 1.0000 0.0000 -
1807.03/1813.16 c 1813 892785 826153 1 1.0000 0.0000 -
1813.50/1819.61 c 1820 893843 827078 1 1.0000 0.0000 -
1819.08/1825.22 c 1825 895187 828172 1 1.0000 0.0000 -
1824.98/1831.13 c 1831 896311 829241 1 1.0000 0.0000 -
1830.65/1836.86 c 1837 897252 830100 1 1.0000 0.0000 -
1836.23/1842.48 c 1842 898524 831130 1 1.0000 0.0000 -
1842.31/1848.52 c 1849 899639 832050 1 1.0000 0.0000 -
1847.30/1853.55 c 1854 900555 832757 1 1.0000 0.0000 -
1852.88/1859.11 c 1859 901463 833524 1 1.0000 0.0000 -
1858.46/1864.75 c 1865 902236 834193 1 1.0000 0.0000 -
1863.85/1870.14 c 1870 902986 834884 1 1.0000 0.0000 -
1869.93/1876.20 c 1876 903550 835415 1 1.0000 0.0000 -
1875.01/1881.30 c 1881 904353 836194 1 1.0000 0.0000 -
1880.19/1886.52 c 1887 905370 837152 1 1.0000 0.0000 -
1885.28/1891.66 c 1892 906281 838003 1 1.0000 0.0000 -
1891.27/1897.63 c 1898 907379 838919 1 1.0000 0.0000 -
1896.34/1902.71 c 1903 908615 839883 1 1.0000 0.0000 -
1901.74/1908.15 c 1908 909388 840483 1 1.0000 0.0000 -
1906.91/1913.32 c 1913 909983 841030 1 1.0000 0.0000 -
1912.20/1918.68 c 1919 910955 841986 1 1.0000 0.0000 -
1918.18/1924.68 c 1925 911784 842620 1 1.0000 0.0000 -
1923.97/1930.41 c 1930 912673 843483 1 1.0000 0.0000 -
1929.65/1936.13 c 1936 913867 844645 1 1.0000 0.0000 -
1935.24/1941.76 c 1942 914825 845432 1 1.0000 0.0000 -
1940.31/1946.81 c 1947 915756 846336 1 1.0000 0.0000 -
1945.99/1952.51 c 1953 915910 846469 1 1.0000 0.0000 -
1951.38/1957.96 c 1958 917089 847621 1 1.0000 0.0000 -
1956.86/1963.40 c 1963 917333 847829 1 1.0000 0.0000 -
1962.15/1968.75 c 1969 918227 848675 1 1.0000 0.0000 -
1967.34/1973.99 c 1974 918791 849212 1 1.0000 0.0000 -
1973.11/1979.71 c 1980 919667 850045 1 1.0000 0.0000 -
1978.69/1985.30 c 1985 921441 851719 1 1.0000 0.0000 -
1983.69/1990.38 c 1990 921623 851889 1 1.0000 0.0000 -
1989.56/1996.23 c 1996 922169 852336 1 1.0000 0.0000 -
1994.55/2001.29 c 2001 923032 853103 1 1.0000 0.0000 -
2000.63/2007.37 c 2007 924255 854230 1 1.0000 0.0000 -
2005.71/2012.44 c 2012 925133 854982 1 1.0000 0.0000 -
2010.90/2017.67 c 2018 926435 856123 1 1.0000 0.0000 -
2017.28/2024.01 c 2024 927633 857254 1 1.0000 0.0000 -
2022.97/2029.79 c 2030 929166 858754 1 1.0000 0.0000 -
2028.74/2035.54 c 2036 930355 859839 1 1.0000 0.0000 -
2034.03/2040.89 c 2041 930629 860090 1 1.0000 0.0000 -
2040.11/2046.90 c 2047 931206 860637 1 1.0000 0.0000 -
2046.49/2053.33 c 2053 932177 861424 1 1.0000 0.0000 -
2052.37/2059.26 c 2059 933165 862313 1 1.0000 0.0000 -
2057.55/2064.48 c 2064 934630 863483 1 1.0000 0.0000 -
2062.85/2069.78 c 2070 935583 864365 1 1.0000 0.0000 -
2068.62/2075.55 c 2076 936440 865180 1 1.0000 0.0000 -
2074.30/2081.20 c 2081 937279 865888 1 1.0000 0.0000 -
2079.99/2086.98 c 2087 938359 866791 1 1.0000 0.0000 -
2085.48/2092.45 c 2092 939696 867901 1 1.0000 0.0000 -
2091.35/2098.32 c 2098 941049 869206 1 1.0000 0.0000 -
2096.94/2103.98 c 2104 942528 870495 1 1.0000 0.0000 -
2102.32/2109.37 c 2109 943733 871659 1 1.0000 0.0000 -
2107.50/2114.55 c 2115 945137 873000 1 1.0000 0.0000 -
2112.49/2119.58 c 2120 945905 873704 1 1.0000 0.0000 -
2117.77/2124.80 c 2125 946745 874466 1 1.0000 0.0000 -
2123.36/2130.48 c 2130 948007 875562 1 1.0000 0.0000 -
2128.84/2135.93 c 2136 949385 876840 1 1.0000 0.0000 -
2134.33/2141.45 c 2141 950586 877896 1 1.0000 0.0000 -
2139.60/2146.72 c 2147 951401 878584 1 1.0000 0.0000 -
2146.29/2153.42 c 2153 952376 879429 1 1.0000 0.0000 -
2151.77/2158.96 c 2159 953868 880766 1 1.0000 0.0000 -
2158.25/2165.45 c 2165 954863 881678 1 1.0000 0.0000 -
2163.63/2170.85 c 2171 955503 882261 1 1.0000 0.0000 -
2169.32/2176.52 c 2177 956330 882916 1 1.0000 0.0000 -
2174.51/2181.73 c 2182 957073 883531 1 1.0000 0.0000 -
2179.79/2187.08 c 2187 958193 884549 1 1.0000 0.0000 -
2185.87/2193.17 c 2193 959160 885425 1 1.0000 0.0000 -
2191.85/2199.12 c 2199 960093 886226 1 1.0000 0.0000 -
2197.43/2204.74 c 2205 961247 887247 1 1.0000 0.0000 -
2203.52/2210.86 c 2211 962945 888945 1 1.0000 0.0000 -
2209.39/2216.76 c 2217 964265 890223 1 1.0000 0.0000 -
2215.79/2223.17 c 2223 965360 891162 1 1.0000 0.0000 -
2220.96/2228.36 c 2228 966393 891987 1 1.0000 0.0000 -
2227.45/2234.85 c 2235 967573 893113 1 1.0000 0.0000 -
2233.63/2241.06 c 2241 968553 893925 1 1.0000 0.0000 -
2240.20/2247.62 c 2248 970417 895789 1 1.0000 0.0000 -
2245.29/2252.71 c 2253 971935 897300 1 1.0000 0.0000 -
2250.98/2258.42 c 2258 972741 897963 1 1.0000 0.0000 -
2257.56/2265.02 c 2265 973944 898933 1 1.0000 0.0000 -
2263.53/2271.09 c 2271 975708 900640 1 1.0000 0.0000 -
2269.52/2277.03 c 2277 976847 901578 1 1.0000 0.0000 -
2275.20/2282.73 c 2283 978059 902569 1 1.0000 0.0000 -
2280.58/2288.16 c 2288 978916 903317 1 1.0000 0.0000 -
2285.77/2293.34 c 2293 979687 903931 1 1.0000 0.0000 -
2291.95/2299.52 c 2300 980849 904967 1 1.0000 0.0000 -
2297.23/2304.81 c 2305 981881 905853 1 1.0000 0.0000 -
2303.51/2311.16 c 2311 983389 907116 1 1.0000 0.0000 -
2309.79/2317.44 c 2317 984696 908132 1 1.0000 0.0000 -
2315.88/2323.56 c 2324 985880 909097 1 1.0000 0.0000 -
2321.36/2329.07 c 2329 986615 909700 1 1.0000 0.0000 -
2326.54/2334.23 c 2334 987537 910441 1 1.0000 0.0000 -
2332.12/2339.88 c 2340 988649 911489 1 1.0000 0.0000 -
2338.00/2345.77 c 2346 989543 912319 1 1.0000 0.0000 -
2344.19/2351.98 c 2352 991240 913988 1 1.0000 0.0000 -
2349.28/2357.08 c 2357 993011 915736 1 1.0000 0.0000 -
2355.26/2363.03 c 2363 994797 917519 1 1.0000 0.0000 -
2360.44/2368.26 c 2368 996559 919279 1 1.0000 0.0000 -
2366.11/2373.98 c 2374 997659 920283 1 1.0000 0.0000 -
2371.31/2379.16 c 2379 998913 921527 1 1.0000 0.0000 -
2376.79/2384.62 c 2385 999886 922421 1 1.0000 0.0000 -
2381.97/2389.80 c 2390 1000816 923329 1 1.0000 0.0000 -
2388.35/2396.24 c 2396 1001693 924153 1 1.0000 0.0000 -
2393.63/2401.53 c 2402 1002267 924690 1 1.0000 0.0000 -
2398.91/2406.82 c 2407 1003419 925842 1 1.0000 0.0000 -
2404.30/2412.27 c 2412 1004835 927194 1 1.0000 0.0000 -
2409.89/2417.82 c 2418 1005688 927935 1 1.0000 0.0000 -
2414.87/2422.82 c 2423 1006941 929168 1 1.0000 0.0000 -
2420.55/2428.55 c 2429 1008139 930272 1 1.0000 0.0000 -
2426.54/2434.59 c 2435 1008913 930987 1 1.0000 0.0000 -
2431.72/2439.79 c 2440 1010187 932206 1 1.0000 0.0000 -
2437.11/2445.14 c 2445 1011720 933708 1 1.0000 0.0000 -
2442.59/2450.66 c 2451 1012463 934405 1 1.0000 0.0000 -
2448.08/2456.17 c 2456 1013891 935833 1 1.0000 0.0000 -
2454.45/2462.53 c 2463 1015365 937236 1 1.0000 0.0000 -
2460.23/2468.30 c 2468 1016975 938768 1 1.0000 0.0000 -
2466.81/2474.95 c 2475 1018179 939965 1 1.0000 0.0000 -
2472.10/2480.24 c 2480 1019653 941361 1 1.0000 0.0000 -
2477.28/2485.41 c 2485 1020729 942434 1 1.0000 0.0000 -
2482.76/2490.92 c 2491 1021578 943251 1 1.0000 0.0000 -
2487.85/2496.02 c 2496 1022279 943915 1 1.0000 0.0000 -
2492.84/2501.07 c 2501 1023110 944699 1 1.0000 0.0000 -
2498.91/2507.13 c 2507 1024417 945862 1 1.0000 0.0000 -
2505.49/2513.75 c 2514 1025687 947106 1 1.0000 0.0000 -
2510.78/2519.01 c 2519 1026617 948000 1 1.0000 0.0000 -
2515.96/2524.23 c 2524 1028063 949446 1 1.0000 0.0000 -
2522.64/2530.91 c 2531 1030019 951402 1 1.0000 0.0000 -
2528.42/2536.72 c 2537 1031537 952920 1 1.0000 0.0000 -
2534.20/2542.57 c 2543 1033197 954576 1 1.0000 0.0000 -
2539.38/2547.70 c 2548 1035082 956443 1 1.0000 0.0000 -
2544.77/2553.19 c 2553 1036087 957410 1 1.0000 0.0000 -
2550.55/2558.92 c 2559 1036950 958193 1 1.0000 0.0000 -
2557.03/2565.47 c 2565 1037976 959101 1 1.0000 0.0000 -
2562.32/2570.74 c 2571 1039421 960462 1 1.0000 0.0000 -
2567.70/2576.14 c 2576 1040506 961518 1 1.0000 0.0000 -
2573.29/2581.70 c 2582 1041291 962282 1 1.0000 0.0000 -
2578.57/2587.02 c 2587 1041991 962916 1 1.0000 0.0000 -
2584.06/2592.58 c 2593 1043033 963882 1 1.0000 0.0000 -
2589.83/2598.36 c 2598 1043793 964512 1 1.0000 0.0000 -
2596.22/2604.70 c 2605 1045213 965840 1 1.0000 0.0000 -
2602.30/2610.88 c 2611 1045896 966468 1 1.0000 0.0000 -
2607.88/2616.40 c 2616 1046824 967332 1 1.0000 0.0000 -
2612.96/2621.59 c 2622 1047661 968123 1 1.0000 0.0000 -
2618.45/2627.04 c 2627 1048335 968755 1 1.0000 0.0000 -
2623.74/2632.35 c 2632 1049259 969649 1 1.0000 0.0000 -
2628.92/2637.52 c 2638 1050381 970642 1 1.0000 0.0000 -
2634.70/2643.36 c 2643 1051494 971605 1 1.0000 0.0000 -
2640.59/2649.21 c 2649 1052807 972744 1 1.0000 0.0000 -
2646.17/2654.84 c 2655 1054243 974123 1 1.0000 0.0000 -
2651.66/2660.38 c 2660 1055476 975253 1 1.0000 0.0000 -
2657.63/2666.36 c 2666 1056280 975951 1 1.0000 0.0000 -
2662.62/2671.37 c 2671 1057419 977090 1 1.0000 0.0000 -
2668.90/2677.67 c 2678 1058557 978050 1 1.0000 0.0000 -
2674.39/2683.15 c 2683 1059739 979129 1 1.0000 0.0000 -
2679.77/2688.55 c 2689 1060984 980282 1 1.0000 0.0000 -
2685.35/2694.18 c 2694 1062108 981320 1 1.0000 0.0000 -
2690.64/2699.46 c 2699 1063118 982164 1 1.0000 0.0000 -
2696.41/2705.25 c 2705 1064354 983262 1 1.0000 0.0000 -
2702.10/2710.95 c 2711 1064878 983726 1 1.0000 0.0000 -
2707.49/2716.39 c 2716 1065673 984488 1 1.0000 0.0000 -
2712.77/2721.64 c 2722 1066844 985586 1 1.0000 0.0000 -
2718.16/2727.01 c 2727 1067900 986437 1 1.0000 0.0000 -
2723.64/2732.57 c 2733 1069069 987427 1 1.0000 0.0000 -
2729.03/2737.98 c 2738 1070246 988548 1 1.0000 0.0000 -
2735.41/2744.35 c 2744 1070843 989098 1 1.0000 0.0000 -
2740.59/2749.57 c 2750 1071930 990097 1 1.0000 0.0000 -
2745.67/2754.65 c 2755 1072430 990576 1 1.0000 0.0000 -
2751.26/2760.24 c 2760 1073254 991350 1 1.0000 0.0000 -
2757.04/2766.09 c 2766 1074179 992181 1 1.0000 0.0000 -
2762.32/2771.35 c 2771 1075065 993032 1 1.0000 0.0000 -
2767.70/2776.72 c 2777 1075819 993778 1 1.0000 0.0000 -
2773.39/2782.49 c 2782 1076870 994764 1 1.0000 0.0000 -
2778.77/2787.81 c 2788 1077618 995355 1 1.0000 0.0000 -
2784.36/2793.42 c 2793 1078577 996108 1 1.0000 0.0000 -
2789.44/2798.53 c 2799 1079661 997028 1 1.0000 0.0000 -
2795.33/2804.46 c 2804 1081495 998862 1 1.0000 0.0000 -
2801.30/2810.45 c 2810 1082749 1000110 1 1.0000 0.0000 -
2807.49/2816.68 c 2817 1084205 1001563 1 1.0000 0.0000 -
2812.67/2821.87 c 2822 1085733 1003076 1 1.0000 0.0000 -
2819.06/2828.27 c 2828 1087220 1004529 1 1.0000 0.0000 -
2824.14/2833.32 c 2833 1087894 1005150 1 1.0000 0.0000 -
2829.22/2838.41 c 2838 1088938 1006052 1 1.0000 0.0000 -
2834.21/2843.43 c 2843 1089565 1006580 1 1.0000 0.0000 -
2839.20/2848.46 c 2848 1091254 1008269 1 1.0000 0.0000 -
2844.28/2853.52 c 2854 1092863 1009878 1 1.0000 0.0000 -
2849.26/2858.56 c 2859 1094051 1011066 1 1.0000 0.0000 -
2855.54/2864.80 c 2865 1095757 1012772 1 1.0000 0.0000 -
2862.33/2871.65 c 2872 1097573 1014584 1 1.0000 0.0000 -
2867.51/2876.82 c 2877 1099233 1016241 1 1.0000 0.0000 -
2873.99/2883.34 c 2883 1100563 1017454 1 1.0000 0.0000 -
2879.57/2888.98 c 2889 1101933 1018753 1 1.0000 0.0000 -
2885.96/2895.37 c 2895 1103624 1020444 1 1.0000 0.0000 -
2891.64/2901.05 c 2901 1105067 1021887 1 1.0000 0.0000 -
2897.02/2906.49 c 2906 1106235 1023042 1 1.0000 0.0000 -
2902.61/2912.06 c 2912 1107885 1024692 1 1.0000 0.0000 -
2909.18/2918.66 c 2919 1109548 1026355 1 1.0000 0.0000 -
2914.67/2924.17 c 2924 1110899 1027706 1 1.0000 0.0000 -
2920.84/2930.39 c 2930 1112329 1029121 1 1.0000 0.0000 -
2926.12/2935.67 c 2936 1112826 1029544 1 1.0000 0.0000 -
2931.71/2941.20 c 2941 1113734 1030409 1 1.0000 0.0000 -
2937.40/2946.91 c 2947 1114091 1030724 1 1.0000 0.0000 -
2943.27/2952.89 c 2953 1115116 1031546 1 1.0000 0.0000 -
2949.96/2959.55 c 2960 1116214 1032590 1 1.0000 0.0000 -
2956.23/2965.86 c 2966 1117463 1033839 1 1.0000 0.0000 -
2961.91/2971.58 c 2972 1118915 1035291 1 1.0000 0.0000 -
2968.30/2977.90 c 2978 1120524 1036886 1 1.0000 0.0000 -
2974.08/2983.74 c 2984 1121350 1037548 1 1.0000 0.0000 -
2979.46/2989.11 c 2989 1122153 1038194 1 1.0000 0.0000 -
2985.24/2994.93 c 2995 1123195 1039144 1 1.0000 0.0000 -
2990.43/3000.18 c 3000 1124100 1040008 1 1.0000 0.0000 -
2996.61/3006.30 c 3006 1124931 1040698 1 1.0000 0.0000 -
3002.59/3012.34 c 3012 1125474 1041202 1 1.0000 0.0000 -
3008.47/3018.28 c 3018 1126279 1041945 1 1.0000 0.0000 -
3013.55/3023.34 c 3023 1126729 1042368 1 1.0000 0.0000 -
3019.83/3029.63 c 3030 1127625 1043027 1 1.0000 0.0000 -
3025.42/3035.29 c 3035 1128613 1043858 1 1.0000 0.0000 -
3031.79/3041.61 c 3042 1129700 1044718 1 1.0000 0.0000 -
3037.77/3047.60 c 3048 1130735 1045541 1 1.0000 0.0000 -
3043.65/3053.58 c 3054 1131476 1046174 1 1.0000 0.0000 -
3049.73/3059.68 c 3060 1132735 1047167 1 1.0000 0.0000 -
3055.52/3065.47 c 3065 1134000 1048145 1 1.0000 0.0000 -
3060.70/3070.61 c 3071 1134896 1048973 1 1.0000 0.0000 -
3066.59/3076.52 c 3077 1136233 1050082 1 1.0000 0.0000 -
3073.26/3083.24 c 3083 1137333 1050950 1 1.0000 0.0000 -
3078.54/3088.58 c 3089 1138395 1051744 1 1.0000 0.0000 -
3083.63/3093.64 c 3094 1139354 1052554 1 1.0000 0.0000 -
3089.61/3099.68 c 3100 1140495 1053574 1 1.0000 0.0000 -
3095.10/3105.17 c 3105 1142051 1055123 1 1.0000 0.0000 -
3101.68/3111.70 c 3112 1143045 1056020 1 1.0000 0.0000 -
3107.36/3117.47 c 3117 1144095 1056793 1 1.0000 0.0000 -
3112.54/3122.64 c 3123 1145211 1057909 1 1.0000 0.0000 -
3118.41/3128.50 c 3128 1146487 1059183 1 1.0000 0.0000 -
3124.30/3134.47 c 3134 1148011 1060701 1 1.0000 0.0000 -
3129.39/3139.50 c 3140 1149225 1061911 1 1.0000 0.0000 -
3135.16/3145.35 c 3145 1150851 1063537 1 1.0000 0.0000 -
3141.54/3151.76 c 3152 1152226 1064875 1 1.0000 0.0000 -
3146.84/3157.01 c 3157 1152917 1065437 1 1.0000 0.0000 -
3152.31/3162.53 c 3163 1154253 1066742 1 1.0000 0.0000 -
3157.49/3167.76 c 3168 1155281 1067712 1 1.0000 0.0000 -
3163.08/3173.32 c 3173 1156527 1068890 1 1.0000 0.0000 -
3168.77/3179.02 c 3179 1157466 1069668 1 1.0000 0.0000 -
3174.14/3184.48 c 3184 1158324 1070311 1 1.0000 0.0000 -
3179.73/3190.00 c 3190 1159164 1071051 1 1.0000 0.0000 -
3185.60/3195.98 c 3196 1160213 1071948 1 1.0000 0.0000 -
3190.80/3201.18 c 3201 1161103 1072757 1 1.0000 0.0000 -
3196.07/3206.45 c 3206 1161920 1073399 1 1.0000 0.0000 -
3201.26/3211.64 c 3212 1163053 1074506 1 1.0000 0.0000 -
3207.74/3218.19 c 3218 1164345 1075661 1 1.0000 0.0000 -
3213.42/3223.87 c 3224 1165671 1076893 1 1.0000 0.0000 -
3219.10/3229.51 c 3230 1166475 1077682 1 1.0000 0.0000 -
3224.59/3235.08 c 3235 1168071 1079278 1 1.0000 0.0000 -
3231.06/3241.52 c 3242 1169778 1080985 1 1.0000 0.0000 -
3238.24/3248.71 c 3249 1171055 1082191 1 1.0000 0.0000 -
3244.12/3254.63 c 3255 1172501 1083523 1 1.0000 0.0000 -
3249.21/3259.72 c 3260 1173539 1084466 1 1.0000 0.0000 -
3255.28/3265.85 c 3266 1175085 1086004 1 1.0000 0.0000 -
3261.06/3271.69 c 3272 1176313 1087180 1 1.0000 0.0000 -
3267.25/3277.80 c 3278 1177650 1088300 1 1.0000 0.0000 -
3272.33/3282.92 c 3283 1178831 1089330 1 1.0000 0.0000 -
3278.61/3289.20 c 3289 1179759 1090102 1 1.0000 0.0000 -
3283.89/3294.56 c 3295 1180678 1090910 1 1.0000 0.0000 -
3289.38/3300.08 c 3300 1181763 1091808 1 1.0000 0.0000 -
3295.75/3306.40 c 3306 1183001 1092927 1 1.0000 0.0000 -
3300.74/3311.46 c 3311 1184225 1094151 1 1.0000 0.0000 -
3306.92/3317.64 c 3318 1185579 1095505 1 1.0000 0.0000 -
3312.40/3323.16 c 3323 1187159 1097085 1 1.0000 0.0000 -
3317.48/3328.25 c 3328 1188626 1098552 1 1.0000 0.0000 -
3322.76/3333.53 c 3334 1189958 1099877 1 1.0000 0.0000 -
3328.35/3339.16 c 3339 1191094 1101013 1 1.0000 0.0000 -
3334.24/3345.04 c 3345 1192171 1102090 1 1.0000 0.0000 -
3340.60/3351.43 c 3351 1193817 1103726 1 1.0000 0.0000 -
3345.99/3356.86 c 3357 1195324 1105228 1 1.0000 0.0000 -
3352.07/3362.91 c 3363 1196467 1106193 1 1.0000 0.0000 -
3357.75/3368.69 c 3369 1197587 1107218 1 1.0000 0.0000 -
3363.83/3374.72 c 3375 1198439 1107932 1 1.0000 0.0000 -
3369.51/3380.40 c 3380 1199353 1108730 1 1.0000 0.0000 -
3374.80/3385.76 c 3386 1200190 1109509 1 1.0000 0.0000 -
3380.18/3391.12 c 3391 1200660 1109961 1 1.0000 0.0000 -
3386.06/3397.10 c 3397 1201810 1110928 1 1.0000 0.0000 -
3392.34/3403.31 c 3403 1202453 1111545 1 1.0000 0.0000 -
3398.13/3409.10 c 3409 1203115 1112161 1 1.0000 0.0000 -
3403.91/3414.92 c 3415 1203834 1112823 1 1.0000 0.0000 -
3409.59/3420.69 c 3421 1204757 1113670 1 1.0000 0.0000 -
3415.17/3426.27 c 3426 1205551 1114433 1 1.0000 0.0000 -
3421.66/3432.79 c 3433 1206290 1115145 1 1.0000 0.0000 -
3427.24/3438.30 c 3438 1207200 1115978 1 1.0000 0.0000 -
3433.13/3444.22 c 3444 1208044 1116754 1 1.0000 0.0000 -
3439.02/3450.11 c 3450 1209280 1117949 1 1.0000 0.0000 -
3445.09/3456.26 c 3456 1209669 1118321 1 1.0000 0.0000 -
3451.38/3462.53 c 3463 1210768 1119219 1 1.0000 0.0000 -
3456.66/3467.89 c 3468 1211637 1120056 1 1.0000 0.0000 -
3462.25/3473.41 c 3473 1212350 1120749 1 1.0000 0.0000 -
3467.23/3478.45 c 3478 1213323 1121703 1 1.0000 0.0000 -
3473.22/3484.44 c 3484 1214408 1122713 1 1.0000 0.0000 -
3479.00/3490.29 c 3490 1215790 1124028 1 1.0000 0.0000 -
3484.99/3496.27 c 3496 1216783 1124952 1 1.0000 0.0000 -
3490.77/3502.07 c 3502 1217553 1125627 1 1.0000 0.0000 -
3495.96/3507.24 c 3507 1218295 1126346 1 1.0000 0.0000 -
3501.34/3512.67 c 3513 1219646 1127688 1 1.0000 0.0000 -
3506.92/3518.29 c 3518 1221256 1129261 1 1.0000 0.0000 -
3513.30/3524.60 c 3525 1222821 1130666 1 1.0000 0.0000 -
3519.39/3530.71 c 3531 1223560 1131360 1 1.0000 0.0000 -
3524.58/3535.90 c 3536 1224146 1131919 1 1.0000 0.0000 -
3530.46/3541.83 c 3542 1224671 1132407 1 1.0000 0.0000 -
3535.84/3547.21 c 3547 1225901 1133634 1 1.0000 0.0000 -
3541.53/3552.96 c 3553 1227849 1135541 1 1.0000 0.0000 -
3547.31/3558.77 c 3559 1228283 1135944 1 1.0000 0.0000 -
3554.09/3565.54 c 3566 1228984 1136505 1 1.0000 0.0000 -
3559.18/3570.67 c 3571 1229661 1137112 1 1.0000 0.0000 -
3565.07/3576.54 c 3577 1230837 1138272 1 1.0000 0.0000 -
3571.55/3583.03 c 3583 1231209 1138617 1 1.0000 0.0000 -
3578.03/3589.53 c 3590 1231689 1139070 1 1.0000 0.0000 -
3583.52/3595.00 c 3595 1232999 1140274 1 1.0000 0.0000 -
3588.69/3600.25 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.69/3600.25 c Total Time : 3600.2500
3588.69/3600.25 c solving : 3600.2500
3588.69/3600.25 c presolving : 0.0486 (included in solving)
3588.69/3600.25 c B&B Tree :
3588.69/3600.25 c nodes (total) : 1
3588.69/3600.25 c Solution :
3588.69/3600.25 c Solutions found : 4
3588.69/3600.25 c Primal Bound : +1.00000000000000e+00
3588.69/3600.25 c Dual Bound : +0.00000000000000e+00
3588.69/3600.25 c Gap : infinite
3588.69/3600.25 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3588.69/3600.26 o 1
3588.69/3600.26 s SATISFIABLE
3588.69/3600.26 v -x300 x299 x298 -x297 x296 -x295 -x294 x293 -x292 x291 -x290 x289 -x288 x287 -x286 x285 -x284 x283 -x282 x281 -x280 x279 -x278
3588.69/3600.26 v x277 -x276 x275 -x274 x273 -x272 x271 -x270 x269 -x268 x267 -x266 x265 -x264 x263 -x262 x261 -x260 x259 -x258 x257 -x256 x255
3588.69/3600.26 v -x254 x253 -x252 x251 -x250 x249 -x248 x247 -x246 x245 -x244 x243 -x242 x241 -x240 x239 -x238 x237 -x236 x235 -x234 x233 -x232
3588.69/3600.26 v x231 -x230 x229 -x228 x227 -x226 x225 -x224 x223 -x222 x221 -x220 x219 -x218 x217 -x216 x215 -x214 x213 -x212 x211 -x210 x209
3588.69/3600.26 v -x208 x207 -x206 x205 -x204 x203 -x202 x201 -x200 x199 -x198 x197 -x196 x195 -x194 x193 x192 -x191 -x190 x189 x188 -x187
3588.69/3600.26 v -x186 x185 -x184 x183 -x182 x181 -x180 x179 x178 -x177 x176 -x175 x174 -x173 -x172 x171 x170 -x169 -x168 x167 -x166 x165 -x164
3588.69/3600.26 v x163 -x162 x161 -x160 x159 -x158 x157 x156 -x155 -x154 x153 x152 -x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 x142 -x141
3588.69/3600.26 v x140 -x139 x138 -x137 -x136 x135 x134 -x133 -x132 x131 -x130 x129 -x128 x127 -x126 x125 -x124 x123 -x122 x121 x120 -x119 -x118
3588.69/3600.26 v x117 x116 -x115 -x114 x113 -x112 x111 -x110 x109 -x108 x107 x106 -x105 x104 -x103 x102 -x101 -x100 x99 x98 -x97 -x96 x95
3588.69/3600.26 v -x94 x93 -x92 x91 -x90 x89 -x88 x87 -x86 x85 x84 -x83 -x82 x81 x80 -x79 -x78 x77 -x76 x75 -x74 x73 x72 -x71 x70 -x69 x68 -x67
3588.69/3600.26 v -x66 x65 x64 -x63 x62 -x61 -x60 x59 x58 -x57 x56 -x55 -x54 x53 -x52 x51 -x50 x49 -x48 x47 x46 -x45 x44 -x43 -x42 x41 -x40 x39
3588.69/3600.26 v -x38 x37 -x36 x35 x34 -x33 x32 -x31 -x30 x29 -x28 x27 -x26 x25 -x24 x23 x22 -x21 x20 -x19 -x18 x17 x16 -x15 x14 -x13 -x12
3588.69/3600.26 v x11 x10 -x9 x8 -x7 -x6 x5 x4 -x3 x2 -x1
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 (63006 MiB free)
memory of node 1: 64473 MiB (63495 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4464952-1722390142/watcher-4464952-1722390142 -o /tmp/evaluation-result-4464952-1722390142/solver-4464952-1722390142 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722390141-38847 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464952-1722390142.wbo -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=38975, runsolver pid=38972
Current StackSize limit: 8192 KiB
[startup+0.100494 s]*
/proc/loadavg: 1.14 1.43 2.54 5/259 38991
/proc/meminfo: memFree=129516680/131524600 swapFree=131071996/131071996
[pid=38975] ppid=38972 vsize=115332 memory=30704 CPUtime=0.09 cores=5,7
/proc/38975/stat : 38975 (fscip) S 38972 38975 38834 0 -1 1077936128 5015 0 0 0 9 0 0 0 20 0 3 0 5618541 118099968 7676 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
/proc/38975/statm: 28833 7676 2950 3035 0 11159 0
[pid=38975/tid=38977] ppid=38972 vsize=115332 memory=4026532157 CPUtime=0.04 cores=5,7
/proc/38975/task/38977/stat : 38977 (fscip) R 38972 38975 38834 0 -1 4194368 1940 0 0 0 4 0 0 0 20 0 3 0 5618546 118099968 7676 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
[pid=38975/tid=38978] ppid=38972 vsize=115332 memory=219966341476 CPUtime=0 cores=5,7
/proc/38975/task/38978/stat : 38978 (fscip) S 38972 38975 38834 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5618547 118099968 7676 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 115332 KiB
Current children cumulated memory: 30704 KiB
[startup+0.205494 s]*
/proc/loadavg: 1.14 1.43 2.54 5/258 39000
/proc/meminfo: memFree=129505800/131524600 swapFree=131071996/131071996
[pid=38975] ppid=38972 vsize=115332 memory=35776 CPUtime=0.19 cores=5,7
/proc/38975/stat : 38975 (fscip) S 38972 38975 38834 0 -1 1077936128 6298 0 0 0 19 0 0 0 20 0 3 0 5618541 118099968 8944 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
/proc/38975/statm: 28833 8944 2966 3035 0 12482 0
[pid=38975/tid=38977] ppid=38972 vsize=115332 memory=7945036259700375671 CPUtime=0.13 cores=5,7
/proc/38975/task/38977/stat : 38977 (fscip) R 38972 38975 38834 0 -1 4194368 3223 0 0 0 13 0 0 0 20 0 3 0 5618546 118099968 8944 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
[pid=38975/tid=38978] ppid=38972 vsize=115332 memory=17992 CPUtime=0 cores=5,7
/proc/38975/task/38978/stat : 38978 (fscip) S 38972 38975 38834 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5618547 118099968 8944 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 115332 KiB
Current children cumulated memory: 35776 KiB
[startup+0.305576 s]*
/proc/loadavg: 1.14 1.43 2.54 5/264 39010
/proc/meminfo: memFree=129475372/131524600 swapFree=131071996/131071996
[pid=38975] ppid=38972 vsize=115332 memory=36568 CPUtime=0.29 cores=5,7
/proc/38975/stat : 38975 (fscip) S 38972 38975 38834 0 -1 1077936128 6502 0 0 0 29 0 0 0 20 0 3 0 5618541 118099968 9142 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
/proc/38975/statm: 28833 9142 2966 3035 0 12647 0
[pid=38975/tid=38977] ppid=38972 vsize=115332 memory=-6000919481380660076 CPUtime=0.23 cores=5,7
/proc/38975/task/38977/stat : 38977 (fscip) R 38972 38975 38834 0 -1 4194368 3427 0 0 0 23 0 0 0 20 0 3 0 5618546 118099968 9142 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
[pid=38975/tid=38978] ppid=38972 vsize=115332 memory=0 CPUtime=0 cores=5,7
/proc/38975/task/38978/stat : 38978 (fscip) S 38972 38975 38834 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5618547 118099968 9142 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 115332 KiB
Current children cumulated memory: 36568 KiB
[startup+0.700257 s]
/proc/loadavg: 1.14 1.43 2.54 5/264 39010
/proc/meminfo: memFree=129344060/131524600 swapFree=131071996/131071996
[pid=38975] ppid=38972 vsize=115332 memory=37096 CPUtime=0.68 cores=5,7
/proc/38975/stat : 38975 (fscip) S 38972 38975 38834 0 -1 1077936128 6582 0 0 0 68 0 0 0 20 0 3 0 5618541 118099968 9274 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
/proc/38975/statm: 28833 9274 2966 3035 0 12718 0
[pid=38975/tid=38977] ppid=38972 vsize=115332 memory=0 CPUtime=0.62 cores=5,7
/proc/38975/task/38977/stat : 38977 (fscip) R 38972 38975 38834 0 -1 4194368 3507 0 0 0 62 0 0 0 20 0 3 0 5618546 118099968 9274 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
[pid=38975/tid=38978] ppid=38972 vsize=115332 memory=0 CPUtime=0 cores=5,7
/proc/38975/task/38978/stat : 38978 (fscip) S 38972 38975 38834 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5618547 118099968 9274 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 115332 KiB
Current children cumulated memory: 37096 KiB
[startup+1.50026 s]
/proc/loadavg: 1.37 1.48 2.54 5/264 39010
/proc/meminfo: memFree=129098584/131524600 swapFree=131071996/131071996
[pid=38975] ppid=38972 vsize=115332 memory=37928 CPUtime=1.47 cores=5,7
/proc/38975/stat : 38975 (fscip) S 38972 38975 38834 0 -1 1077936128 9151 0 0 0 147 0 0 0 20 0 3 0 5618541 118099968 9482 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
/proc/38975/statm: 28833 9482 2966 3035 0 13060 0
[pid=38975/tid=38977] ppid=38972 vsize=115332 memory=0 CPUtime=1.42 cores=5,7
/proc/38975/task/38977/stat : 38977 (fscip) R 38972 38975 38834 0 -1 4194368 6060 0 0 0 142 0 0 0 20 0 3 0 5618546 118099968 9482 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
[pid=38975/tid=38978] ppid=38972 vsize=115332 memory=0 CPUtime=0 cores=5,7
/proc/38975/task/38978/stat : 38978 (fscip) S 38972 38975 38834 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5618547 118099968 9482 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 115332 KiB
Current children cumulated memory: 37928 KiB
[startup+3.10562 s]
/proc/loadavg: 1.37 1.48 2.54 5/264 39058
/proc/meminfo: memFree=128921060/131524600 swapFree=131071996/131071996
[pid=38975] ppid=38972 vsize=115332 memory=39436 CPUtime=3.08 cores=5,7
/proc/38975/stat : 38975 (fscip) S 38972 38975 38834 0 -1 1077936128 9661 0 0 0 307 1 0 0 20 0 3 0 5618541 118099968 9859 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
/proc/38975/statm: 28833 9859 2966 3035 0 13299 0
[pid=38975/tid=38977] ppid=38972 vsize=115332 memory=0 CPUtime=3.01 cores=5,7
/proc/38975/task/38977/stat : 38977 (fscip) R 38972 38975 38834 0 -1 4194368 6568 0 0 0 301 0 0 0 20 0 3 0 5618546 118099968 9859 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
[pid=38975/tid=38978] ppid=38972 vsize=115332 memory=129 CPUtime=0 cores=5,7
/proc/38975/task/38978/stat : 38978 (fscip) S 38972 38975 38834 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5618547 118099968 9859 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 115332 KiB
Current children cumulated memory: 39436 KiB
[startup+6.30024 s]
/proc/loadavg: 1.58 1.52 2.55 5/264 39058
/proc/meminfo: memFree=128859356/131524600 swapFree=131071996/131071996
[pid=38975] ppid=38972 vsize=115332 memory=40760 CPUtime=6.26 cores=5,7
/proc/38975/stat : 38975 (fscip) S 38972 38975 38834 0 -1 1077936128 12988 0 0 0 624 2 0 0 20 0 3 0 5618541 118099968 10190 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
/proc/38975/statm: 28833 10190 2966 3035 0 13611 0
[pid=38975/tid=38977] ppid=38972 vsize=115332 memory=0 CPUtime=6.2 cores=5,7
/proc/38975/task/38977/stat : 38977 (fscip) R 38972 38975 38834 0 -1 4194368 9861 0 0 0 619 1 0 0 20 0 3 0 5618546 118099968 10190 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
[pid=38975/tid=38978] ppid=38972 vsize=115332 memory=40664 CPUtime=0 cores=5,7
/proc/38975/task/38978/stat : 38978 (fscip) S 38972 38975 38834 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5618547 118099968 10190 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 115332 KiB
Current children cumulated memory: 40760 KiB
[startup+12.7002 s]
/proc/loadavg: 1.77 1.56 2.56 5/268 39063
/proc/meminfo: memFree=128585384/131524600 swapFree=131071996/131071996
[pid=38975] ppid=38972 vsize=117316 memory=52048 CPUtime=12.63 cores=5,7
/proc/38975/stat : 38975 (fscip) S 38972 38975 38834 0 -1 1077936128 24694 0 0 0 1259 4 0 0 20 0 3 0 5618541 120131584 13012 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
/proc/38975/statm: 29329 13012 3014 3035 0 16665 0
[pid=38975/tid=38977] ppid=38972 vsize=117316 memory=11408 CPUtime=12.58 cores=5,7
/proc/38975/task/38977/stat : 38977 (fscip) R 38972 38975 38834 0 -1 4194368 21516 0 0 0 1254 4 0 0 20 0 3 0 5618546 120131584 13012 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
[pid=38975/tid=38978] ppid=38972 vsize=117316 memory=0 CPUtime=0 cores=5,7
/proc/38975/task/38978/stat : 38978 (fscip) S 38972 38975 38834 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5618547 120131584 13012 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 117316 KiB
Current children cumulated memory: 52048 KiB
[startup+25.5002 s]
/proc/loadavg: 2.12 1.64 2.58 6/264 39169
/proc/meminfo: memFree=129027400/131524600 swapFree=131071996/131071996
[pid=38975] ppid=38972 vsize=125860 memory=71436 CPUtime=25.39 cores=5,7
/proc/38975/stat : 38975 (fscip) S 38972 38975 38834 0 -1 1077936128 42470 0 0 0 2529 10 0 0 20 0 3 0 5618541 128880640 17859 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
/proc/38975/statm: 31465 17859 3014 3035 0 20715 0
[pid=38975/tid=38977] ppid=38972 vsize=125860 memory=70500 CPUtime=25.33 cores=5,7
/proc/38975/task/38977/stat : 38977 (fscip) R 38972 38975 38834 0 -1 4194368 39231 0 0 0 2523 10 0 0 20 0 3 0 5618546 128880640 17859 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
[pid=38975/tid=38978] ppid=38972 vsize=125860 memory=65460 CPUtime=0 cores=5,7
/proc/38975/task/38978/stat : 38978 (fscip) S 38972 38975 38834 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 5618547 128880640 17859 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 125860 KiB
Current children cumulated memory: 71436 KiB
[startup+51.1057 s]
/proc/loadavg: 2.92 1.88 2.63 5/265 39496
/proc/meminfo: memFree=125259452/131524600 swapFree=131071996/131071996
[pid=38975] ppid=38972 vsize=145152 memory=106780 CPUtime=50.89 cores=5,7
/proc/38975/stat : 38975 (fscip) S 38972 38975 38834 0 -1 1077936128 72512 0 0 0 5070 19 0 0 20 0 3 0 5618541 148635648 26695 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
/proc/38975/statm: 36288 26695 3014 3035 0 29748 0
[pid=38975/tid=38977] ppid=38972 vsize=145152 memory=101256 CPUtime=50.83 cores=5,7
/proc/38975/task/38977/stat : 38977 (fscip) R 38972 38975 38834 0 -1 4194368 69224 0 0 0 5064 19 0 0 20 0 3 0 5618546 148635648 26695 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
[pid=38975/tid=38978] ppid=38972 vsize=145152 memory=101668 CPUtime=0 cores=5,7
/proc/38975/task/38978/stat : 38978 (fscip) S 38972 38975 38834 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 5618547 148635648 26695 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 145152 KiB
Current children cumulated memory: 106780 KiB
[startup+102.3 s]
/proc/loadavg: 3.60 2.23 2.71 5/266 39648
/proc/meminfo: memFree=110507240/131524600 swapFree=131071996/131071996
[pid=38975] ppid=38972 vsize=243216 memory=164296 CPUtime=101.92 cores=5,7
/proc/38975/stat : 38975 (fscip) S 38972 38975 38834 0 -1 1077936128 111104 0 0 0 10156 36 0 0 20 0 3 0 5618541 249053184 41074 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
/proc/38975/statm: 60804 41074 3014 3035 0 43981 0
[pid=38975/tid=38977] ppid=38972 vsize=243216 memory=158596 CPUtime=101.85 cores=5,7
/proc/38975/task/38977/stat : 38977 (fscip) R 38972 38975 38834 0 -1 4194368 107769 0 0 0 10150 35 0 0 20 0 3 0 5618546 249053184 41074 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
[pid=38975/tid=38978] ppid=38972 vsize=243216 memory=151912 CPUtime=0 cores=5,7
/proc/38975/task/38978/stat : 38978 (fscip) S 38972 38975 38834 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 5618547 249053184 41074 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 243216 KiB
Current children cumulated memory: 164296 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 2.58 2.80 5/268 39709
/proc/meminfo: memFree=124465300/131524600 swapFree=131071996/131071996
[pid=38975] ppid=38972 vsize=279640 memory=221624 CPUtime=161.69 cores=5,7
/proc/38975/stat : 38975 (fscip) S 38972 38975 38834 0 -1 1077936128 157381 0 0 0 16113 56 0 0 20 0 3 0 5618541 286351360 55406 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
/proc/38975/statm: 69910 55406 3014 3035 0 58674 0
[pid=38975/tid=38977] ppid=38972 vsize=279640 memory=0 CPUtime=161.63 cores=5,7
/proc/38975/task/38977/stat : 38977 (fscip) R 38972 38975 38834 0 -1 4194368 154014 0 0 0 16107 56 0 0 20 0 3 0 5618546 286351360 55406 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
[pid=38975/tid=38978] ppid=38972 vsize=279640 memory=2268 CPUtime=0 cores=5,7
/proc/38975/task/38978/stat : 38978 (fscip) S 38972 38975 38834 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 5618547 286351360 55406 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 279640 KiB
Current children cumulated memory: 221624 KiB
################
# More data... #
################
/proc/38975/statm: 414066 386181 3014 3035 0 408199 0
[pid=38975/tid=38977] ppid=38972 vsize=1656264 memory=1530384 CPUtime=3391.07 cores=5,7
/proc/38975/task/38977/stat : 38977 (fscip) R 38972 38975 38834 0 -1 4194368 5691948 0 0 0 338377 730 0 0 20 0 3 0 5618546 1696014336 386181 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
[pid=38975/tid=38978] ppid=38972 vsize=1656264 memory=1542068 CPUtime=0.04 cores=5,7
/proc/38975/task/38978/stat : 38978 (fscip) S 38972 38975 38834 0 -1 1077936192 176 0 0 0 1 3 0 0 20 0 3 0 5618547 1696014336 386181 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
Current children cumulated CPU time: 3391.34 s
Current children cumulated vsize: 1656264 KiB
Current children cumulated memory: 1544724 KiB
[startup+3462.3 s]
/proc/loadavg: 3.09 3.11 3.09 4/257 41531
/proc/meminfo: memFree=122127880/131524600 swapFree=131071996/131071996
[pid=38975] ppid=38972 vsize=1662352 memory=1557852 CPUtime=3451.18 cores=5,7
/proc/38975/stat : 38975 (fscip) S 38972 38975 38834 0 -1 1077936128 5836759 0 0 0 344372 746 0 0 20 0 3 0 5618541 1702248448 389463 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
/proc/38975/statm: 415588 389463 3014 3035 0 410345 0
[pid=38975/tid=38977] ppid=38972 vsize=1662352 memory=1530384 CPUtime=3450.9 cores=5,7
/proc/38975/task/38977/stat : 38977 (fscip) R 38972 38975 38834 0 -1 4194368 5832446 0 0 0 344351 739 0 0 20 0 3 0 5618546 1702248448 389463 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
[pid=38975/tid=38978] ppid=38972 vsize=1662352 memory=1542068 CPUtime=0.04 cores=5,7
/proc/38975/task/38978/stat : 38978 (fscip) S 38972 38975 38834 0 -1 1077936192 178 0 0 0 1 3 0 0 20 0 3 0 5618547 1702248448 389463 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
Current children cumulated CPU time: 3451.18 s
Current children cumulated vsize: 1662352 KiB
Current children cumulated memory: 1557852 KiB
[startup+3522.3 s]
/proc/loadavg: 3.15 3.12 3.09 4/257 41543
/proc/meminfo: memFree=122078724/131524600 swapFree=131071996/131071996
[pid=38975] ppid=38972 vsize=1667744 memory=1570152 CPUtime=3511.02 cores=5,7
/proc/38975/stat : 38975 (fscip) S 38972 38975 38834 0 -1 1077936128 5976521 0 0 0 350346 756 0 0 20 0 3 0 5618541 1707769856 392538 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
/proc/38975/statm: 416936 392538 3014 3035 0 412495 0
[pid=38975/tid=38977] ppid=38972 vsize=1667744 memory=1557488 CPUtime=3510.73 cores=5,7
/proc/38975/task/38977/stat : 38977 (fscip) R 38972 38975 38834 0 -1 4194368 5972190 0 0 0 350325 748 0 0 20 0 3 0 5618546 1707769856 392538 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
[pid=38975/tid=38978] ppid=38972 vsize=1667744 memory=11408 CPUtime=0.04 cores=5,7
/proc/38975/task/38978/stat : 38978 (fscip) S 38972 38975 38834 0 -1 1077936192 180 0 0 0 1 3 0 0 20 0 3 0 5618547 1707769856 392538 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
Current children cumulated CPU time: 3511.02 s
Current children cumulated vsize: 1667744 KiB
Current children cumulated memory: 1570152 KiB
[startup+3582.3 s]
/proc/loadavg: 3.05 3.10 3.09 4/257 41553
/proc/meminfo: memFree=122003808/131524600 swapFree=131071996/131071996
[pid=38975] ppid=38972 vsize=1675176 memory=1581684 CPUtime=3570.84 cores=5,7
/proc/38975/stat : 38975 (fscip) S 38972 38975 38834 0 -1 1077936128 6088544 0 0 0 356319 765 0 0 20 0 3 0 5618541 1715380224 395421 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
/proc/38975/statm: 418794 395421 3014 3035 0 414703 0
[pid=38975/tid=38977] ppid=38972 vsize=1675176 memory=1579700 CPUtime=3570.56 cores=5,7
/proc/38975/task/38977/stat : 38977 (fscip) R 38972 38975 38834 0 -1 4194368 6084198 0 0 0 356298 758 0 0 20 0 3 0 5618546 1715380224 395421 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
[pid=38975/tid=38978] ppid=38972 vsize=1675176 memory=13012 CPUtime=0.04 cores=5,7
/proc/38975/task/38978/stat : 38978 (fscip) S 38972 38975 38834 0 -1 1077936192 187 0 0 0 1 3 0 0 20 0 3 0 5618547 1715380224 395421 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
Current children cumulated CPU time: 3570.84 s
Current children cumulated vsize: 1675176 KiB
Current children cumulated memory: 1581684 KiB
[startup+3600.27 s]
# the end of solver process 38975 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3580.93 s, system=7.84721 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.05 3.10 3.09 4/257 41553
/proc/meminfo: memFree=122002740/131524600 swapFree=131071996/131071996
[pid=38975] ppid=38972 vsize=1676196 memory=1582764 CPUtime=3572.54 cores=5,7
/proc/38975/stat : 38975 (fscip) S 38972 38975 38834 0 -1 1077936128 6089005 0 0 0 356489 765 0 0 20 0 3 0 5618541 1716424704 395691 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
/proc/38975/statm: 419049 395691 3014 3035 0 414958 0
[pid=38975/tid=38977] ppid=38972 vsize=1676196 memory=-7449916425186141559 CPUtime=3572.26 cores=5,7
/proc/38975/task/38977/stat : 38977 (fscip) R 38972 38975 38834 0 -1 4194368 6084651 0 0 0 356468 758 0 0 20 0 3 0 5618546 1716424704 395691 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
[pid=38975/tid=38978] ppid=38972 vsize=1676196 memory=-7665872539618802881 CPUtime=0.04 cores=5,7
/proc/38975/task/38978/stat : 38978 (fscip) S 38972 38975 38834 0 -1 1077936192 187 0 0 0 1 3 0 0 20 0 3 0 5618547 1716424704 395691 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
Current children cumulated CPU time: 3572.54 s
Current children cumulated vsize: 1676196 KiB
Current children cumulated memory: 1582764 KiB
[startup+3590.4 s]
/proc/loadavg: 3.05 3.09 3.09 4/257 41554
/proc/meminfo: memFree=122002644/131524600 swapFree=131071996/131071996
[pid=38975] ppid=38972 vsize=1676196 memory=1582788 CPUtime=3578.92 cores=5,7
/proc/38975/stat : 38975 (fscip) S 38972 38975 38834 0 -1 1077936128 6121927 0 0 0 357125 767 0 0 20 0 3 0 5618541 1716424704 395697 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
/proc/38975/statm: 419049 395697 3014 3035 0 414958 0
[pid=38975/tid=38977] ppid=38972 vsize=1676196 memory=1582776 CPUtime=3578.64 cores=5,7
/proc/38975/task/38977/stat : 38977 (fscip) R 38972 38975 38834 0 -1 4194368 6117573 0 0 0 357104 760 0 0 20 0 3 0 5618546 1716424704 395697 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
[pid=38975/tid=38978] ppid=38972 vsize=1676196 memory=6776 CPUtime=0.04 cores=5,7
/proc/38975/task/38978/stat : 38978 (fscip) S 38972 38975 38834 0 -1 1077936192 187 0 0 0 1 3 0 0 20 0 3 0 5618547 1716424704 395697 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
Current children cumulated CPU time: 3578.92 s
Current children cumulated vsize: 1676196 KiB
Current children cumulated memory: 1582788 KiB
[startup+3596.8 s]
/proc/loadavg: 3.05 3.09 3.09 4/257 41554
/proc/meminfo: memFree=122000804/131524600 swapFree=131071996/131071996
[pid=38975] ppid=38972 vsize=1677612 memory=1584820 CPUtime=3585.3 cores=5,7
/proc/38975/stat : 38975 (fscip) S 38972 38975 38834 0 -1 1077936128 6125274 0 0 0 357762 768 0 0 20 0 3 0 5618541 1717874688 396205 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
/proc/38975/statm: 419403 396205 3014 3035 0 415456 0
[pid=38975/tid=38977] ppid=38972 vsize=1677612 memory=1581680 CPUtime=3585.02 cores=5,7
/proc/38975/task/38977/stat : 38977 (fscip) R 38972 38975 38834 0 -1 4194368 6120920 0 0 0 357741 761 0 0 20 0 3 0 5618546 1717874688 396205 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
[pid=38975/tid=38978] ppid=38972 vsize=1677612 memory=1582788 CPUtime=0.04 cores=5,7
/proc/38975/task/38978/stat : 38978 (fscip) S 38972 38975 38834 0 -1 1077936192 187 0 0 0 1 3 0 0 20 0 3 0 5618547 1717874688 396205 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
Current children cumulated CPU time: 3585.3 s
Current children cumulated vsize: 1677612 KiB
Current children cumulated memory: 1584820 KiB
[startup+3598.4 s]
/proc/loadavg: 3.04 3.09 3.08 4/257 41554
/proc/meminfo: memFree=122000568/131524600 swapFree=131071996/131071996
[pid=38975] ppid=38972 vsize=1677612 memory=1584820 CPUtime=3586.9 cores=5,7
/proc/38975/stat : 38975 (fscip) S 38972 38975 38834 0 -1 1077936128 6182795 0 0 0 357920 770 0 0 20 0 3 0 5618541 1717874688 396205 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
/proc/38975/statm: 419403 396205 3014 3035 0 415456 0
[pid=38975/tid=38977] ppid=38972 vsize=1677612 memory=18300 CPUtime=3586.61 cores=5,7
/proc/38975/task/38977/stat : 38977 (fscip) R 38972 38975 38834 0 -1 4194368 6178441 0 0 0 357898 763 0 0 20 0 3 0 5618546 1717874688 396205 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
[pid=38975/tid=38978] ppid=38972 vsize=1677612 memory=20316 CPUtime=0.04 cores=5,7
/proc/38975/task/38978/stat : 38978 (fscip) S 38972 38975 38834 0 -1 1077936192 187 0 0 0 1 3 0 0 20 0 3 0 5618547 1717874688 396205 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
Current children cumulated CPU time: 3586.9 s
Current children cumulated vsize: 1677612 KiB
Current children cumulated memory: 1584820 KiB
[startup+3599.2 s]
/proc/loadavg: 3.04 3.09 3.08 4/257 41554
/proc/meminfo: memFree=122069988/131524600 swapFree=131071996/131071996
[pid=38975] ppid=38972 vsize=1554416 memory=1461628 CPUtime=3587.7 cores=5,7
/proc/38975/stat : 38975 (fscip) S 38972 38975 38834 0 -1 1077936128 6255247 0 0 0 357994 776 0 0 20 0 3 0 5618541 1591721984 365407 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
/proc/38975/statm: 388604 365407 3014 3035 0 384657 0
[pid=38975/tid=38977] ppid=38972 vsize=1554416 memory=5464 CPUtime=3587.41 cores=5,7
/proc/38975/task/38977/stat : 38977 (fscip) R 38972 38975 38834 0 -1 4194368 6250904 0 0 0 357973 768 0 0 20 0 3 0 5618546 1591721984 365407 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
[pid=38975/tid=38978] ppid=38972 vsize=1554416 memory=2524 CPUtime=0.04 cores=5,7
/proc/38975/task/38978/stat : 38978 (fscip) S 38972 38975 38834 0 -1 1077936192 187 0 0 0 1 3 0 0 20 0 3 0 5618547 1591721984 365407 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
Current children cumulated CPU time: 3587.7 s
Current children cumulated vsize: 1554416 KiB
Current children cumulated memory: 1461628 KiB
[startup+3600 s]*
/proc/loadavg: 3.04 3.09 3.08 4/257 41556
/proc/meminfo: memFree=122370548/131524600 swapFree=131071996/131071996
[pid=38975] ppid=38972 vsize=1306836 memory=1214052 CPUtime=3588.5 cores=5,7
/proc/38975/stat : 38975 (fscip) S 38972 38975 38834 0 -1 1077936128 6310469 0 0 0 358070 780 0 0 20 0 3 0 5618541 1338200064 303513 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
/proc/38975/statm: 326709 303513 3014 3035 0 322762 0
[pid=38975/tid=38977] ppid=38972 vsize=1306836 memory=-7449916425186141559 CPUtime=3588.21 cores=5,7
/proc/38975/task/38977/stat : 38977 (fscip) R 38972 38975 38834 0 -1 4194368 6306124 0 0 0 358049 772 0 0 20 0 3 0 5618546 1338200064 303513 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
[pid=38975/tid=38978] ppid=38972 vsize=1306836 memory=-7665872539618802881 CPUtime=0.04 cores=5,7
/proc/38975/task/38978/stat : 38978 (fscip) S 38972 38975 38834 0 -1 1077936192 187 0 0 0 1 3 0 0 20 0 3 0 5618547 1338200064 303513 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
Current children cumulated CPU time: 3588.5 s
Current children cumulated vsize: 1306836 KiB
Current children cumulated memory: 1214052 KiB
[startup+3600.2 s]
/proc/loadavg: 3.04 3.09 3.08 4/257 41556
/proc/meminfo: memFree=122370548/131524600 swapFree=131071996/131071996
[pid=38975] ppid=38972 vsize=1152888 memory=1072944 CPUtime=3588.69 cores=5,7
/proc/38975/stat : 38975 (fscip) S 38972 38975 38834 0 -1 1077936128 6314982 0 0 0 358089 780 0 0 20 0 3 0 5618541 1180557312 268236 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
/proc/38975/statm: 288222 268236 3014 3035 0 284275 0
[pid=38975/tid=38977] ppid=38972 vsize=1152888 memory=17859 CPUtime=3588.41 cores=5,7
/proc/38975/task/38977/stat : 38977 (fscip) R 38972 38975 38834 0 -1 4194368 6310629 0 0 0 358068 773 0 0 20 0 3 0 5618546 1180557312 268236 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
[pid=38975/tid=38978] ppid=38972 vsize=1152888 memory=16724 CPUtime=0.04 cores=5,7
/proc/38975/task/38978/stat : 38978 (fscip) S 38972 38975 38834 0 -1 1077936192 187 0 0 0 1 3 0 0 20 0 3 0 5618547 1180557312 268236 134679101440 4194304 16623229 140736855451648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41058304 140736855454740 140736855454856 140736855454856 140736855461872 0
Current children cumulated CPU time: 3588.69 s
Current children cumulated vsize: 1152888 KiB
Current children cumulated memory: 1072944 KiB
Child status: 0
Real time (s): 3600.27
CPU time (s): 3588.78
CPU user time (s): 3580.93
CPU system time (s): 7.84721
CPU usage (%): 99.6807
Max. virtual memory (cumulated for all children) (KiB): 1677612
Max. memory (cumulated for all children) (KiB): 1584820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.93
system time used= 7.84721
maximum resident set size= 1584820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6316477
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= 9679
involuntary context switches= 4660
# summary of solver processes directly reported to runsolver:
# pid: 38975
# total CPU time (s): 3588.78
# total CPU user time (s): 3580.93
# total CPU system time (s): 7.84721
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.21608 second user time and 18.0659 second system time
The end
Begin job on nodeC034 at 2024-07-31 03:42:22
IDJOB=4464952
IDBENCH=143934
IDSOLVER=3093
FILE ID=nodeC034/4464952-1722390142
RUNJOBID= nodeC034-1722390141-38847
SLURM_JOB_ID= 8249871
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/dimacs/normalized-pret150_25_ext.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4464952-1722390142/watcher-4464952-1722390142 -o /tmp/evaluation-result-4464952-1722390142/solver-4464952-1722390142 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722390141-38847 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464952-1722390142.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 62701ea25d944c2002344b5f329a0a28
RANDOM SEED=2071344242
nodeC034.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 : 3668.821
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.51
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 : 3565.705
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.49
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.070
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.51
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 : 3655.145
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.49
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.792
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.51
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 : 3638.620
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.49
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.124
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.51
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 : 3635.313
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.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129539632 kB
MemAvailable: 129748056 kB
Buffers: 109212 kB
Cached: 932684 kB
SwapCached: 0 kB
Active: 290260 kB
Inactive: 1217216 kB
Active(anon): 1552 kB
Inactive(anon): 485364 kB
Active(file): 288708 kB
Inactive(file): 731852 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 113448 kB
Writeback: 0 kB
AnonPages: 463736 kB
Mapped: 110880 kB
Shmem: 21336 kB
KReclaimable: 55376 kB
Slab: 136184 kB
SReclaimable: 55376 kB
SUnreclaim: 80808 kB
KernelStack: 4128 kB
PageTables: 10208 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 825632 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 10176 kB
HardwareCorrupted: 0 kB
AnonHugePages: 243712 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: 185044 kB
DirectMap2M: 5879808 kB
DirectMap1G: 130023424 kB
Free space on /tmp at the end= 889992 MiB
End job on nodeC034 at 2024-07-31 04:42:23