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 = 25350144, getVmSize() = 25350144, SCIPgetMemUsed() = 3271332, 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.06 c ** Estimated virtualMemUsedAtSolver = 19103744, getVmSize() = 31961088, SCIPgetMemUsed() = 4844408, SCIPgetMemTotal() = 8984744, SCIPgetMemExternEstim() = 1519229
0.00/0.06 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.06 c Original Problem :
0.00/0.06 c Problem name : instance-4426865-1720906653
0.00/0.06 c Variables : 700 (700 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06 c Constraints : 951
0.00/0.06 c Objective sense : minimize
0.00/0.06 c Presolved Problem :
0.00/0.06 c Variables : 550 (550 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06 c Constraints : 425
0.00/0.06 c Constraints : Number
0.00/0.06 c linear : 400
0.00/0.06 c indicator : 25
0.00/0.06 c ** Instance transfer method used: 0
0.00/0.06 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.07 c * 0 0 1 1 400.0000 - -
0.00/0.08 c * 0 0 1 1 278.0000 - -
0.00/0.08 c * 0 0 1 1 31.0000 - -
0.00/0.08 c * 0 0 1 1 1.0000 - -
5.15/5.26 c 5 2256 2013 1 1.0000 0.0000 -
10.23/10.30 c 10 9486 8083 1 1.0000 0.0000 -
15.21/15.35 c 15 17991 15887 1 1.0000 0.0000 -
20.29/20.40 c 20 26911 24367 1 1.0000 0.0000 -
25.26/25.45 c 25 35231 32206 1 1.0000 0.0000 -
30.34/30.50 c 31 44937 41722 1 1.0000 0.0000 -
35.33/35.54 c 36 51318 47726 1 1.0000 0.0000 -
40.41/40.60 c 41 60380 56515 1 1.0000 0.0000 -
45.38/45.65 c 46 68029 63900 1 1.0000 0.0000 -
50.46/50.70 c 51 74560 70201 1 1.0000 0.0000 -
55.44/55.76 c 56 79456 74846 1 1.0000 0.0000 -
60.52/60.81 c 61 85208 79932 1 1.0000 0.0000 -
65.50/65.87 c 66 90602 84973 1 1.0000 0.0000 -
70.58/70.93 c 71 97610 91796 1 1.0000 0.0000 -
75.57/75.98 c 76 104302 98214 1 1.0000 0.0000 -
80.64/81.04 c 81 108739 102154 1 1.0000 0.0000 -
85.62/86.10 c 86 113424 106248 1 1.0000 0.0000 -
90.70/91.15 c 91 119049 111550 1 1.0000 0.0000 -
95.78/96.20 c 96 122908 114870 1 1.0000 0.0000 -
100.76/101.25 c 101 129759 121328 1 1.0000 0.0000 -
105.83/106.31 c 106 136945 128373 1 1.0000 0.0000 -
110.81/111.37 c 111 143335 134626 1 1.0000 0.0000 -
115.90/116.42 c 116 148810 139712 1 1.0000 0.0000 -
120.87/121.48 c 121 154287 144961 1 1.0000 0.0000 -
125.95/126.55 c 127 158577 148458 1 1.0000 0.0000 -
131.04/131.60 c 132 165111 153893 1 1.0000 0.0000 -
136.01/136.65 c 137 170896 159089 1 1.0000 0.0000 -
141.09/141.71 c 142 174747 162101 1 1.0000 0.0000 -
146.07/146.79 c 147 179489 166101 1 1.0000 0.0000 -
151.15/151.84 c 152 183964 169761 1 1.0000 0.0000 -
156.13/156.89 c 157 187202 172005 1 1.0000 0.0000 -
161.21/161.98 c 162 190104 173353 1 1.0000 0.0000 -
166.29/167.03 c 167 193971 176254 1 1.0000 0.0000 -
171.28/172.08 c 172 197633 179147 1 1.0000 0.0000 -
176.35/177.13 c 177 201563 182303 1 1.0000 0.0000 -
181.34/182.18 c 182 204761 184970 1 1.0000 0.0000 -
186.41/187.26 c 187 209133 189222 1 1.0000 0.0000 -
191.48/192.32 c 192 212917 192663 1 1.0000 0.0000 -
196.57/197.40 c 197 216363 195958 1 1.0000 0.0000 -
201.55/202.46 c 202 219783 199329 1 1.0000 0.0000 -
206.63/207.51 c 208 223208 202665 1 1.0000 0.0000 -
211.61/212.56 c 213 226257 205679 1 1.0000 0.0000 -
216.69/217.68 c 218 231308 210717 1 1.0000 0.0000 -
221.76/222.75 c 223 233683 213064 1 1.0000 0.0000 -
226.84/227.80 c 228 237004 216345 1 1.0000 0.0000 -
231.82/232.87 c 233 240202 219467 1 1.0000 0.0000 -
236.90/237.92 c 238 243180 222410 1 1.0000 0.0000 -
241.88/242.97 c 243 246945 226071 1 1.0000 0.0000 -
247.06/248.16 c 248 250059 229024 1 1.0000 0.0000 -
252.24/253.36 c 253 254024 232910 1 1.0000 0.0000 -
257.41/258.51 c 259 257565 236381 1 1.0000 0.0000 -
262.40/263.56 c 264 262586 241359 1 1.0000 0.0000 -
267.48/268.67 c 269 265953 244640 1 1.0000 0.0000 -
272.55/273.73 c 274 268545 247134 1 1.0000 0.0000 -
277.54/278.78 c 279 270432 248957 1 1.0000 0.0000 -
282.72/283.97 c 284 273616 252033 1 1.0000 0.0000 -
287.80/289.07 c 289 277367 255662 1 1.0000 0.0000 -
292.98/294.20 c 294 282047 260228 1 1.0000 0.0000 -
297.95/299.29 c 299 286083 264239 1 1.0000 0.0000 -
303.03/304.37 c 304 289548 267586 1 1.0000 0.0000 -
308.12/309.42 c 309 292578 270471 1 1.0000 0.0000 -
313.29/314.63 c 315 295152 272928 1 1.0000 0.0000 -
318.47/319.83 c 320 298936 276477 1 1.0000 0.0000 -
323.55/324.91 c 325 302425 279793 1 1.0000 0.0000 -
328.63/330.07 c 330 306743 283967 1 1.0000 0.0000 -
333.72/335.12 c 335 311209 288342 1 1.0000 0.0000 -
338.79/340.24 c 340 315420 292370 1 1.0000 0.0000 -
343.87/345.37 c 345 319199 295816 1 1.0000 0.0000 -
349.15/350.67 c 351 323873 300359 1 1.0000 0.0000 -
354.22/355.72 c 356 328201 304629 1 1.0000 0.0000 -
359.30/360.86 c 361 331389 307249 1 1.0000 0.0000 -
364.58/366.17 c 366 335385 311025 1 1.0000 0.0000 -
369.76/371.39 c 371 338981 314164 1 1.0000 0.0000 -
375.04/376.65 c 377 343611 318760 1 1.0000 0.0000 -
380.22/381.82 c 382 347007 321951 1 1.0000 0.0000 -
385.20/386.87 c 387 351769 326640 1 1.0000 0.0000 -
390.39/392.08 c 392 355332 329867 1 1.0000 0.0000 -
395.66/397.35 c 397 360647 335168 1 1.0000 0.0000 -
400.84/402.59 c 403 365468 339948 1 1.0000 0.0000 -
406.02/407.79 c 408 369801 344168 1 1.0000 0.0000 -
411.50/413.23 c 413 374173 348415 1 1.0000 0.0000 -
416.58/418.38 c 418 379109 353230 1 1.0000 0.0000 -
421.95/423.70 c 424 383569 357623 1 1.0000 0.0000 -
427.03/428.88 c 429 387619 361607 1 1.0000 0.0000 -
432.11/433.98 c 434 392011 365930 1 1.0000 0.0000 -
437.20/439.04 c 439 394930 368518 1 1.0000 0.0000 -
442.47/444.30 c 444 398742 371991 1 1.0000 0.0000 -
447.75/449.63 c 450 401949 375092 1 1.0000 0.0000 -
452.93/454.86 c 455 405675 378768 1 1.0000 0.0000 -
458.31/460.22 c 460 409961 383025 1 1.0000 0.0000 -
463.58/465.52 c 466 414187 387112 1 1.0000 0.0000 -
468.66/470.63 c 471 417190 389809 1 1.0000 0.0000 -
473.85/475.82 c 476 420196 392639 1 1.0000 0.0000 -
479.03/481.04 c 481 422727 394909 1 1.0000 0.0000 -
484.01/486.09 c 486 425642 397564 1 1.0000 0.0000 -
489.18/491.20 c 491 427730 399490 1 1.0000 0.0000 -
494.46/496.55 c 497 430346 401899 1 1.0000 0.0000 -
499.64/501.78 c 502 433427 404878 1 1.0000 0.0000 -
504.82/506.97 c 507 435599 406929 1 1.0000 0.0000 -
509.91/512.09 c 512 437711 408878 1 1.0000 0.0000 -
515.28/517.44 c 517 439844 410846 1 1.0000 0.0000 -
520.56/522.73 c 523 442605 413309 1 1.0000 0.0000 -
525.63/527.84 c 528 445176 415367 1 1.0000 0.0000 -
530.92/533.14 c 533 448070 417908 1 1.0000 0.0000 -
536.19/538.43 c 538 451167 420854 1 1.0000 0.0000 -
541.27/543.53 c 544 453948 423468 1 1.0000 0.0000 -
546.75/549.10 c 549 458222 427724 1 1.0000 0.0000 -
552.22/554.52 c 555 462457 431917 1 1.0000 0.0000 -
557.51/559.89 c 560 468107 437477 1 1.0000 0.0000 -
563.09/565.44 c 565 470945 440303 1 1.0000 0.0000 -
568.27/570.69 c 571 475131 444446 1 1.0000 0.0000 -
573.65/576.00 c 576 478783 448061 1 1.0000 0.0000 -
578.92/581.31 c 581 481586 450778 1 1.0000 0.0000 -
584.40/586.89 c 587 485255 454416 1 1.0000 0.0000 -
589.49/591.98 c 592 488866 457995 1 1.0000 0.0000 -
594.76/597.23 c 597 493483 462607 1 1.0000 0.0000 -
599.75/602.29 c 602 495741 464855 1 1.0000 0.0000 -
605.02/607.51 c 608 499459 468565 1 1.0000 0.0000 -
610.31/612.84 c 613 502555 471463 1 1.0000 0.0000 -
615.78/618.30 c 618 505877 474569 1 1.0000 0.0000 -
621.06/623.61 c 624 509710 478356 1 1.0000 0.0000 -
626.45/629.08 c 629 513745 482376 1 1.0000 0.0000 -
631.72/634.34 c 634 517707 486331 1 1.0000 0.0000 -
637.00/639.63 c 640 521643 490252 1 1.0000 0.0000 -
642.49/645.16 c 645 525053 493605 1 1.0000 0.0000 -
647.65/650.36 c 650 527646 495942 1 1.0000 0.0000 -
652.74/655.41 c 655 529826 497954 1 1.0000 0.0000 -
658.22/660.92 c 661 531921 499759 1 1.0000 0.0000 -
663.49/666.24 c 666 535121 502866 1 1.0000 0.0000 -
668.87/671.63 c 672 538629 506267 1 1.0000 0.0000 -
674.26/677.02 c 677 540871 508411 1 1.0000 0.0000 -
679.34/682.19 c 682 543697 511090 1 1.0000 0.0000 -
684.71/687.55 c 688 546554 513766 1 1.0000 0.0000 -
689.99/692.88 c 693 548594 515602 1 1.0000 0.0000 -
695.18/698.00 c 698 550266 517074 1 1.0000 0.0000 -
700.55/703.48 c 703 552623 519083 1 1.0000 0.0000 -
706.13/709.06 c 709 554457 520690 1 1.0000 0.0000 -
711.51/714.44 c 714 556525 522633 1 1.0000 0.0000 -
716.79/719.77 c 720 558621 524655 1 1.0000 0.0000 -
722.17/725.12 c 725 561041 526975 1 1.0000 0.0000 -
727.54/730.52 c 731 563570 529373 1 1.0000 0.0000 -
733.02/736.00 c 736 566864 532541 1 1.0000 0.0000 -
738.30/741.38 c 741 569445 534946 1 1.0000 0.0000 -
743.58/746.62 c 747 571467 536646 1 1.0000 0.0000 -
748.76/751.80 c 752 573994 539056 1 1.0000 0.0000 -
754.14/757.22 c 757 576790 541617 1 1.0000 0.0000 -
759.31/762.40 c 762 579550 544208 1 1.0000 0.0000 -
764.70/767.87 c 768 582301 546684 1 1.0000 0.0000 -
769.98/773.16 c 773 584524 548506 1 1.0000 0.0000 -
775.05/778.22 c 778 586255 550022 1 1.0000 0.0000 -
780.13/783.33 c 783 588153 551690 1 1.0000 0.0000 -
785.21/788.42 c 788 590029 553351 1 1.0000 0.0000 -
790.30/793.59 c 794 591829 554820 1 1.0000 0.0000 -
795.87/799.12 c 799 593003 555916 1 1.0000 0.0000 -
801.25/804.55 c 805 594671 557525 1 1.0000 0.0000 -
806.33/809.60 c 810 595923 558634 1 1.0000 0.0000 -
811.71/815.07 c 815 597820 560339 1 1.0000 0.0000 -
816.89/820.29 c 820 599814 562288 1 1.0000 0.0000 -
822.36/825.76 c 826 602341 564584 1 1.0000 0.0000 -
827.55/830.98 c 831 604405 566480 1 1.0000 0.0000 -
832.93/836.35 c 836 606375 568348 1 1.0000 0.0000 -
838.10/841.52 c 842 608146 569729 1 1.0000 0.0000 -
843.38/846.86 c 847 610169 571263 1 1.0000 0.0000 -
848.67/852.12 c 852 612385 573270 1 1.0000 0.0000 -
853.84/857.33 c 857 614705 575347 1 1.0000 0.0000 -
859.13/862.64 c 863 616766 577115 1 1.0000 0.0000 -
864.20/867.70 c 868 618432 578558 1 1.0000 0.0000 -
869.28/872.88 c 873 620195 579942 1 1.0000 0.0000 -
874.76/878.31 c 878 622237 581650 1 1.0000 0.0000 -
880.44/884.00 c 884 624495 583482 1 1.0000 0.0000 -
885.92/889.52 c 890 626261 584960 1 1.0000 0.0000 -
891.50/895.18 c 895 627913 586265 1 1.0000 0.0000 -
897.07/900.73 c 901 629375 587511 1 1.0000 0.0000 -
902.55/906.22 c 906 631430 589232 1 1.0000 0.0000 -
907.83/911.56 c 912 633357 590798 1 1.0000 0.0000 -
913.71/917.49 c 918 635215 592307 1 1.0000 0.0000 -
919.39/923.18 c 923 636995 593700 1 1.0000 0.0000 -
925.16/928.97 c 929 639033 595562 1 1.0000 0.0000 -
930.64/934.42 c 934 641476 597886 1 1.0000 0.0000 -
935.82/939.63 c 940 643503 599725 1 1.0000 0.0000 -
941.50/945.30 c 945 645071 601046 1 1.0000 0.0000 -
946.87/950.71 c 951 646477 602322 1 1.0000 0.0000 -
952.35/956.27 c 956 648471 604066 1 1.0000 0.0000 -
958.02/961.94 c 962 649837 605322 1 1.0000 0.0000 -
964.11/968.00 c 968 652495 607881 1 1.0000 0.0000 -
969.88/973.81 c 974 655249 610521 1 1.0000 0.0000 -
975.56/979.57 c 980 657717 612831 1 1.0000 0.0000 -
981.33/985.32 c 985 660536 615548 1 1.0000 0.0000 -
986.81/990.80 c 991 663181 618077 1 1.0000 0.0000 -
991.79/995.89 c 996 665075 619801 1 1.0000 0.0000 -
997.46/1001.50 c 1002 667820 622337 1 1.0000 0.0000 -
1002.74/1006.83 c 1007 669584 623829 1 1.0000 0.0000 -
1008.12/1012.23 c 1012 671402 625448 1 1.0000 0.0000 -
1014.19/1018.33 c 1018 673838 627761 1 1.0000 0.0000 -
1020.07/1024.27 c 1024 675631 629410 1 1.0000 0.0000 -
1025.55/1029.76 c 1030 677550 631235 1 1.0000 0.0000 -
1030.94/1035.17 c 1035 679265 632845 1 1.0000 0.0000 -
1036.11/1040.38 c 1040 680803 634297 1 1.0000 0.0000 -
1041.69/1045.96 c 1046 682956 636385 1 1.0000 0.0000 -
1046.88/1051.18 c 1051 685323 638640 1 1.0000 0.0000 -
1052.05/1056.33 c 1056 687459 640669 1 1.0000 0.0000 -
1057.33/1061.68 c 1062 689390 642372 1 1.0000 0.0000 -
1062.71/1067.01 c 1067 691575 644226 1 1.0000 0.0000 -
1067.98/1072.31 c 1072 694247 646702 1 1.0000 0.0000 -
1074.16/1078.57 c 1079 696089 648320 1 1.0000 0.0000 -
1080.03/1084.47 c 1084 698079 650143 1 1.0000 0.0000 -
1085.62/1090.08 c 1090 700566 652452 1 1.0000 0.0000 -
1091.39/1095.87 c 1096 702499 654258 1 1.0000 0.0000 -
1096.77/1101.28 c 1101 704893 656540 1 1.0000 0.0000 -
1102.44/1106.92 c 1107 706365 657943 1 1.0000 0.0000 -
1108.22/1112.74 c 1113 707909 659437 1 1.0000 0.0000 -
1114.00/1118.58 c 1119 709486 660694 1 1.0000 0.0000 -
1119.88/1124.40 c 1124 711114 661992 1 1.0000 0.0000 -
1125.65/1130.20 c 1130 712740 663271 1 1.0000 0.0000 -
1130.73/1135.31 c 1135 714781 665151 1 1.0000 0.0000 -
1136.52/1141.19 c 1141 716670 666956 1 1.0000 0.0000 -
1142.19/1146.85 c 1147 718686 668755 1 1.0000 0.0000 -
1147.77/1152.41 c 1152 720373 670354 1 1.0000 0.0000 -
1153.15/1157.84 c 1158 721994 671778 1 1.0000 0.0000 -
1158.73/1163.45 c 1163 723763 673172 1 1.0000 0.0000 -
1164.21/1168.90 c 1169 725915 675174 1 1.0000 0.0000 -
1170.09/1174.87 c 1175 727969 677042 1 1.0000 0.0000 -
1175.76/1180.56 c 1181 729921 678829 1 1.0000 0.0000 -
1181.53/1186.37 c 1186 732010 680432 1 1.0000 0.0000 -
1187.21/1192.00 c 1192 733718 681795 1 1.0000 0.0000 -
1192.29/1197.11 c 1197 734500 682460 1 1.0000 0.0000 -
1197.28/1202.14 c 1202 735834 683536 1 1.0000 0.0000 -
1203.25/1208.14 c 1208 737139 684703 1 1.0000 0.0000 -
1208.92/1213.86 c 1214 738523 685934 1 1.0000 0.0000 -
1214.89/1219.80 c 1220 740017 687235 1 1.0000 0.0000 -
1220.77/1225.72 c 1226 741186 688352 1 1.0000 0.0000 -
1226.46/1231.40 c 1231 742379 689432 1 1.0000 0.0000 -
1232.33/1237.30 c 1237 743637 690587 1 1.0000 0.0000 -
1238.01/1243.10 c 1243 744759 691563 1 1.0000 0.0000 -
1243.59/1248.68 c 1249 746210 692845 1 1.0000 0.0000 -
1248.97/1254.07 c 1254 747625 694018 1 1.0000 0.0000 -
1254.34/1259.40 c 1259 749073 695232 1 1.0000 0.0000 -
1259.62/1264.73 c 1265 751136 696990 1 1.0000 0.0000 -
1265.20/1270.37 c 1270 752741 698494 1 1.0000 0.0000 -
1270.78/1275.92 c 1276 754238 699840 1 1.0000 0.0000 -
1276.06/1281.23 c 1281 755130 700683 1 1.0000 0.0000 -
1282.03/1287.21 c 1287 756263 701768 1 1.0000 0.0000 -
1287.81/1293.01 c 1293 757089 702571 1 1.0000 0.0000 -
1292.80/1298.05 c 1298 758094 703510 1 1.0000 0.0000 -
1298.27/1303.56 c 1304 759777 705102 1 1.0000 0.0000 -
1303.75/1309.10 c 1309 761363 706585 1 1.0000 0.0000 -
1309.42/1314.77 c 1315 762490 707570 1 1.0000 0.0000 -
1315.10/1320.40 c 1320 763625 708645 1 1.0000 0.0000 -
1320.08/1325.44 c 1325 765733 710749 1 1.0000 0.0000 -
1326.16/1331.57 c 1332 767521 712433 1 1.0000 0.0000 -
1331.14/1336.59 c 1337 768917 713669 1 1.0000 0.0000 -
1336.62/1342.09 c 1342 771323 716057 1 1.0000 0.0000 -
1342.39/1347.89 c 1348 772801 717389 1 1.0000 0.0000 -
1347.77/1353.29 c 1353 774343 718728 1 1.0000 0.0000 -
1353.45/1358.95 c 1359 775883 720097 1 1.0000 0.0000 -
1358.92/1364.42 c 1364 777943 722086 1 1.0000 0.0000 -
1364.31/1369.86 c 1370 780058 724191 1 1.0000 0.0000 -
1370.18/1375.74 c 1376 780509 724613 1 1.0000 0.0000 -
1375.66/1381.25 c 1381 780909 724955 1 1.0000 0.0000 -
1381.04/1386.67 c 1387 782251 726136 1 1.0000 0.0000 -
1387.11/1392.76 c 1393 783883 727683 1 1.0000 0.0000 -
1392.40/1398.09 c 1398 784564 728317 1 1.0000 0.0000 -
1398.38/1404.10 c 1404 785966 729590 1 1.0000 0.0000 -
1403.84/1409.57 c 1410 787163 730639 1 1.0000 0.0000 -
1409.52/1415.20 c 1415 788364 731736 1 1.0000 0.0000 -
1415.31/1421.07 c 1421 789703 732940 1 1.0000 0.0000 -
1420.29/1426.09 c 1426 791373 734610 1 1.0000 0.0000 -
1425.86/1431.68 c 1432 793157 736382 1 1.0000 0.0000 -
1431.25/1437.00 c 1437 794739 737883 1 1.0000 0.0000 -
1437.11/1442.96 c 1443 796463 739607 1 1.0000 0.0000 -
1442.59/1448.46 c 1448 798054 741045 1 1.0000 0.0000 -
1448.67/1454.55 c 1455 799917 742887 1 1.0000 0.0000 -
1453.85/1459.76 c 1460 801393 744308 1 1.0000 0.0000 -
1458.82/1464.79 c 1465 802473 745202 1 1.0000 0.0000 -
1464.01/1469.95 c 1470 803521 746143 1 1.0000 0.0000 -
1469.88/1475.84 c 1476 804844 747411 1 1.0000 0.0000 -
1476.25/1482.21 c 1482 806401 748678 1 1.0000 0.0000 -
1481.34/1487.33 c 1487 807563 749643 1 1.0000 0.0000 -
1486.42/1492.43 c 1492 808799 750689 1 1.0000 0.0000 -
1492.49/1498.51 c 1499 810144 751666 1 1.0000 0.0000 -
1498.57/1504.65 c 1505 811151 752549 1 1.0000 0.0000 -
1503.84/1509.93 c 1510 812303 753456 1 1.0000 0.0000 -
1509.12/1515.27 c 1515 813419 754419 1 1.0000 0.0000 -
1514.29/1520.41 c 1520 814665 755509 1 1.0000 0.0000 -
1520.08/1526.22 c 1526 816261 756965 1 1.0000 0.0000 -
1526.24/1532.48 c 1532 817623 758277 1 1.0000 0.0000 -
1531.42/1537.65 c 1538 818839 759398 1 1.0000 0.0000 -
1537.50/1543.73 c 1544 820889 761434 1 1.0000 0.0000 -
1542.48/1548.78 c 1549 822672 763217 1 1.0000 0.0000 -
1548.46/1554.73 c 1555 825323 765868 1 1.0000 0.0000 -
1553.93/1560.23 c 1560 827833 768378 1 1.0000 0.0000 -
1559.11/1565.47 c 1565 829799 770344 1 1.0000 0.0000 -
1565.58/1571.97 c 1572 831491 771901 1 1.0000 0.0000 -
1571.25/1577.60 c 1578 832637 772981 1 1.0000 0.0000 -
1577.33/1583.73 c 1584 833947 774193 1 1.0000 0.0000 -
1583.00/1589.46 c 1589 835005 775231 1 1.0000 0.0000 -
1588.38/1594.81 c 1595 836899 776972 1 1.0000 0.0000 -
1593.96/1600.43 c 1600 838113 777934 1 1.0000 0.0000 -
1599.33/1605.89 c 1606 839594 779089 1 1.0000 0.0000 -
1604.52/1611.01 c 1611 840999 780425 1 1.0000 0.0000 -
1610.29/1616.80 c 1617 842495 781815 1 1.0000 0.0000 -
1615.96/1622.52 c 1623 843703 782894 1 1.0000 0.0000 -
1621.54/1628.10 c 1628 844869 783926 1 1.0000 0.0000 -
1627.31/1633.99 c 1634 846263 785174 1 1.0000 0.0000 -
1632.78/1639.42 c 1639 847295 786036 1 1.0000 0.0000 -
1638.96/1645.63 c 1646 848604 787116 1 1.0000 0.0000 -
1645.03/1651.78 c 1652 850053 788337 1 1.0000 0.0000 -
1651.31/1658.00 c 1658 851189 789267 1 1.0000 0.0000 -
1657.28/1664.02 c 1664 852265 790128 1 1.0000 0.0000 -
1663.05/1669.83 c 1670 853563 791080 1 1.0000 0.0000 -
1668.83/1675.62 c 1676 854711 792105 1 1.0000 0.0000 -
1674.11/1680.92 c 1681 856017 793278 1 1.0000 0.0000 -
1679.09/1685.97 c 1686 857233 794208 1 1.0000 0.0000 -
1684.86/1691.73 c 1692 858694 795433 1 1.0000 0.0000 -
1690.03/1696.96 c 1697 859821 796336 1 1.0000 0.0000 -
1696.21/1703.13 c 1703 860949 797277 1 1.0000 0.0000 -
1701.59/1708.52 c 1709 862066 798269 1 1.0000 0.0000 -
1706.76/1713.71 c 1714 863134 799278 1 1.0000 0.0000 -
1712.15/1719.16 c 1719 864489 800552 1 1.0000 0.0000 -
1718.02/1725.08 c 1725 866395 802388 1 1.0000 0.0000 -
1723.99/1731.07 c 1731 868479 804164 1 1.0000 0.0000 -
1730.27/1737.34 c 1737 869739 805224 1 1.0000 0.0000 -
1735.54/1742.69 c 1743 870841 806282 1 1.0000 0.0000 -
1741.62/1748.70 c 1749 872075 807367 1 1.0000 0.0000 -
1746.80/1753.90 c 1754 872873 808074 1 1.0000 0.0000 -
1751.88/1759.00 c 1759 873887 808903 1 1.0000 0.0000 -
1756.96/1764.11 c 1764 875143 810025 1 1.0000 0.0000 -
1763.23/1770.48 c 1770 876525 811319 1 1.0000 0.0000 -
1768.31/1775.58 c 1776 878447 813201 1 1.0000 0.0000 -
1773.68/1780.97 c 1781 879530 814192 1 1.0000 0.0000 -
1778.66/1785.98 c 1786 880214 814802 1 1.0000 0.0000 -
1784.24/1791.52 c 1792 881366 815848 1 1.0000 0.0000 -
1790.61/1797.92 c 1798 882793 817115 1 1.0000 0.0000 -
1796.29/1803.66 c 1804 883715 818010 1 1.0000 0.0000 -
1802.36/1809.72 c 1810 885049 819217 1 1.0000 0.0000 -
1808.04/1815.43 c 1815 886336 820438 1 1.0000 0.0000 -
1813.42/1820.85 c 1821 887350 821324 1 1.0000 0.0000 -
1818.99/1826.40 c 1826 888617 822412 1 1.0000 0.0000 -
1824.68/1832.17 c 1832 889709 823381 1 1.0000 0.0000 -
1830.05/1837.59 c 1838 890883 824399 1 1.0000 0.0000 -
1835.73/1843.24 c 1843 892060 825570 1 1.0000 0.0000 -
1841.10/1848.64 c 1849 893301 826623 1 1.0000 0.0000 -
1846.38/1853.94 c 1854 894193 827342 1 1.0000 0.0000 -
1852.25/1859.86 c 1860 895420 828399 1 1.0000 0.0000 -
1858.73/1866.35 c 1866 896361 829285 1 1.0000 0.0000 -
1864.20/1871.88 c 1872 897456 830304 1 1.0000 0.0000 -
1870.18/1877.87 c 1878 898606 831197 1 1.0000 0.0000 -
1876.65/1884.31 c 1884 899849 832217 1 1.0000 0.0000 -
1881.93/1889.65 c 1890 900744 832919 1 1.0000 0.0000 -
1887.32/1895.09 c 1895 901697 833749 1 1.0000 0.0000 -
1892.78/1900.57 c 1901 902257 834211 1 1.0000 0.0000 -
1898.96/1906.73 c 1907 903200 835092 1 1.0000 0.0000 -
1904.73/1912.50 c 1913 903855 835714 1 1.0000 0.0000 -
1909.82/1917.61 c 1918 904523 836358 1 1.0000 0.0000 -
1915.30/1923.17 c 1923 905557 837302 1 1.0000 0.0000 -
1921.18/1929.01 c 1929 906603 838290 1 1.0000 0.0000 -
1926.65/1934.51 c 1935 907564 839059 1 1.0000 0.0000 -
1931.73/1939.69 c 1940 908777 840029 1 1.0000 0.0000 -
1938.11/1946.03 c 1946 909860 840922 1 1.0000 0.0000 -
1943.97/1951.98 c 1952 910483 841524 1 1.0000 0.0000 -
1949.66/1957.60 c 1958 911341 842334 1 1.0000 0.0000 -
1955.33/1963.32 c 1963 912239 843067 1 1.0000 0.0000 -
1961.20/1969.24 c 1969 913164 843959 1 1.0000 0.0000 -
1966.48/1974.55 c 1975 913975 844740 1 1.0000 0.0000 -
1971.86/1979.94 c 1980 915046 845653 1 1.0000 0.0000 -
1977.24/1985.39 c 1985 915777 846354 1 1.0000 0.0000 -
1982.81/1990.98 c 1991 916008 846564 1 1.0000 0.0000 -
1988.59/1996.79 c 1997 917135 847661 1 1.0000 0.0000 -
1994.67/2002.81 c 2003 917607 848073 1 1.0000 0.0000 -
2000.55/2008.71 c 2009 918661 849100 1 1.0000 0.0000 -
2006.83/2015.04 c 2015 919515 849921 1 1.0000 0.0000 -
2013.09/2021.31 c 2021 920986 851269 1 1.0000 0.0000 -
2018.87/2027.19 c 2027 921559 851834 1 1.0000 0.0000 -
2024.75/2033.04 c 2033 922021 852212 1 1.0000 0.0000 -
2030.62/2038.95 c 2039 922846 852952 1 1.0000 0.0000 -
2036.70/2045.03 c 2045 924119 854100 1 1.0000 0.0000 -
2042.17/2050.58 c 2051 925113 854965 1 1.0000 0.0000 -
2047.55/2055.97 c 2056 926226 855948 1 1.0000 0.0000 -
2053.52/2061.95 c 2062 927285 856906 1 1.0000 0.0000 -
2059.60/2068.04 c 2068 928986 858580 1 1.0000 0.0000 -
2065.28/2073.79 c 2074 930105 859646 1 1.0000 0.0000 -
2071.25/2079.74 c 2080 930595 860062 1 1.0000 0.0000 -
2077.12/2085.60 c 2086 931090 860524 1 1.0000 0.0000 -
2083.10/2091.69 c 2092 931881 861182 1 1.0000 0.0000 -
2088.18/2096.74 c 2097 932669 861896 1 1.0000 0.0000 -
2094.05/2102.66 c 2103 933923 862928 1 1.0000 0.0000 -
2099.83/2108.42 c 2108 934973 863758 1 1.0000 0.0000 -
2105.11/2113.71 c 2114 936019 864770 1 1.0000 0.0000 -
2110.99/2119.64 c 2120 936976 865633 1 1.0000 0.0000 -
2116.37/2125.07 c 2125 938062 866553 1 1.0000 0.0000 -
2121.45/2130.16 c 2130 938887 867186 1 1.0000 0.0000 -
2127.12/2135.82 c 2136 940137 868301 1 1.0000 0.0000 -
2132.99/2141.76 c 2142 941888 869898 1 1.0000 0.0000 -
2138.47/2147.24 c 2147 942967 870931 1 1.0000 0.0000 -
2144.35/2153.16 c 2153 944503 872399 1 1.0000 0.0000 -
2149.62/2158.46 c 2158 945430 873286 1 1.0000 0.0000 -
2155.50/2164.33 c 2164 946571 874299 1 1.0000 0.0000 -
2160.77/2169.69 c 2170 947727 875323 1 1.0000 0.0000 -
2165.96/2174.80 c 2175 948595 876077 1 1.0000 0.0000 -
2171.34/2180.21 c 2180 949681 877117 1 1.0000 0.0000 -
2177.21/2186.12 c 2186 951053 878265 1 1.0000 0.0000 -
2183.59/2192.57 c 2193 952024 879124 1 1.0000 0.0000 -
2189.46/2198.42 c 2198 953274 880255 1 1.0000 0.0000 -
2194.84/2203.82 c 2204 954264 881108 1 1.0000 0.0000 -
2200.72/2209.76 c 2210 954966 881772 1 1.0000 0.0000 -
2207.00/2216.06 c 2216 955591 882331 1 1.0000 0.0000 -
2212.57/2221.62 c 2222 956683 883201 1 1.0000 0.0000 -
2218.55/2227.62 c 2228 957783 884197 1 1.0000 0.0000 -
2224.12/2233.21 c 2233 958689 884974 1 1.0000 0.0000 -
2229.60/2238.72 c 2239 959446 885672 1 1.0000 0.0000 -
2236.08/2245.28 c 2245 960515 886581 1 1.0000 0.0000 -
2241.86/2251.10 c 2251 962051 888051 1 1.0000 0.0000 -
2247.72/2256.99 c 2257 963876 889873 1 1.0000 0.0000 -
2253.71/2262.92 c 2263 964686 890588 1 1.0000 0.0000 -
2258.98/2268.27 c 2268 965545 891320 1 1.0000 0.0000 -
2264.46/2273.72 c 2274 966816 892397 1 1.0000 0.0000 -
2269.54/2278.83 c 2279 967573 893113 1 1.0000 0.0000 -
2275.81/2285.17 c 2285 968553 893925 1 1.0000 0.0000 -
2280.89/2290.26 c 2290 969924 895296 1 1.0000 0.0000 -
2286.07/2295.44 c 2295 971697 897069 1 1.0000 0.0000 -
2291.45/2300.80 c 2301 972387 897670 1 1.0000 0.0000 -
2297.52/2306.93 c 2307 973534 898626 1 1.0000 0.0000 -
2303.00/2312.41 c 2312 974933 899922 1 1.0000 0.0000 -
2308.88/2318.32 c 2318 976311 901129 1 1.0000 0.0000 -
2314.66/2324.13 c 2324 977285 901935 1 1.0000 0.0000 -
2320.64/2330.11 c 2330 978431 902874 1 1.0000 0.0000 -
2326.00/2335.56 c 2336 979198 903554 1 1.0000 0.0000 -
2331.38/2340.97 c 2341 979949 904164 1 1.0000 0.0000 -
2336.76/2346.35 c 2346 981017 905106 1 1.0000 0.0000 -
2342.44/2352.03 c 2352 982225 906150 1 1.0000 0.0000 -
2347.51/2357.13 c 2357 983389 907116 1 1.0000 0.0000 -
2353.99/2363.60 c 2364 984696 908132 1 1.0000 0.0000 -
2358.97/2368.69 c 2369 985611 908849 1 1.0000 0.0000 -
2364.35/2374.07 c 2374 986356 909498 1 1.0000 0.0000 -
2370.02/2379.75 c 2380 987287 910241 1 1.0000 0.0000 -
2375.20/2384.96 c 2385 988205 911045 1 1.0000 0.0000 -
2380.28/2390.08 c 2390 989193 911996 1 1.0000 0.0000 -
2386.65/2396.44 c 2396 990881 913657 1 1.0000 0.0000 -
2392.43/2402.26 c 2402 993011 915736 1 1.0000 0.0000 -
2398.21/2408.04 c 2408 995101 917821 1 1.0000 0.0000 -
2403.79/2413.69 c 2414 997093 919795 1 1.0000 0.0000 -
2409.87/2419.78 c 2420 998681 921298 1 1.0000 0.0000 -
2415.64/2425.51 c 2426 999962 922497 1 1.0000 0.0000 -
2421.13/2431.08 c 2431 1000943 923453 1 1.0000 0.0000 -
2426.90/2436.88 c 2437 1001850 924293 1 1.0000 0.0000 -
2432.79/2442.71 c 2443 1002885 925308 1 1.0000 0.0000 -
2438.76/2448.70 c 2449 1004583 926990 1 1.0000 0.0000 -
2444.04/2454.08 c 2454 1005688 927935 1 1.0000 0.0000 -
2450.02/2460.09 c 2460 1007324 929536 1 1.0000 0.0000 -
2456.01/2466.09 c 2466 1008541 930621 1 1.0000 0.0000 -
2461.78/2471.85 c 2472 1009965 931984 1 1.0000 0.0000 -
2468.07/2478.19 c 2478 1011853 933831 1 1.0000 0.0000 -
2474.04/2484.14 c 2484 1013291 935233 1 1.0000 0.0000 -
2479.72/2489.88 c 2490 1014723 936620 1 1.0000 0.0000 -
2485.69/2495.84 c 2496 1016825 938618 1 1.0000 0.0000 -
2491.27/2501.48 c 2501 1017579 939365 1 1.0000 0.0000 -
2496.45/2506.67 c 2507 1019187 940907 1 1.0000 0.0000 -
2502.33/2512.52 c 2513 1020729 942434 1 1.0000 0.0000 -
2507.31/2517.54 c 2518 1021630 943303 1 1.0000 0.0000 -
2512.99/2523.20 c 2523 1022576 944212 1 1.0000 0.0000 -
2518.27/2528.59 c 2529 1023508 945077 1 1.0000 0.0000 -
2523.95/2534.20 c 2534 1024885 946330 1 1.0000 0.0000 -
2529.43/2539.74 c 2540 1025944 947346 1 1.0000 0.0000 -
2535.31/2545.65 c 2546 1027397 948780 1 1.0000 0.0000 -
2540.38/2550.74 c 2551 1029299 950682 1 1.0000 0.0000 -
2546.37/2556.70 c 2557 1030955 952338 1 1.0000 0.0000 -
2552.05/2562.40 c 2562 1032704 954087 1 1.0000 0.0000 -
2557.23/2567.69 c 2568 1034821 956200 1 1.0000 0.0000 -
2563.30/2573.75 c 2574 1036087 957410 1 1.0000 0.0000 -
2568.49/2578.99 c 2579 1036950 958193 1 1.0000 0.0000 -
2574.37/2584.82 c 2585 1037957 959085 1 1.0000 0.0000 -
2580.14/2590.60 c 2591 1039438 960476 1 1.0000 0.0000 -
2585.42/2595.91 c 2596 1040504 961516 1 1.0000 0.0000 -
2590.79/2601.35 c 2601 1041291 962282 1 1.0000 0.0000 -
2595.88/2606.47 c 2606 1041991 962916 1 1.0000 0.0000 -
2601.26/2611.89 c 2612 1043033 963882 1 1.0000 0.0000 -
2606.93/2617.51 c 2618 1043793 964512 1 1.0000 0.0000 -
2613.01/2623.66 c 2624 1045213 965840 1 1.0000 0.0000 -
2618.99/2629.63 c 2630 1045896 966468 1 1.0000 0.0000 -
2624.26/2634.94 c 2635 1046824 967332 1 1.0000 0.0000 -
2630.75/2641.41 c 2641 1047743 968199 1 1.0000 0.0000 -
2636.52/2647.20 c 2647 1048527 968927 1 1.0000 0.0000 -
2641.50/2652.24 c 2652 1049686 970061 1 1.0000 0.0000 -
2647.18/2657.93 c 2658 1050961 971129 1 1.0000 0.0000 -
2652.66/2663.46 c 2663 1052153 972146 1 1.0000 0.0000 -
2658.24/2669.05 c 2669 1053603 973486 1 1.0000 0.0000 -
2664.11/2674.94 c 2675 1054727 974585 1 1.0000 0.0000 -
2669.59/2680.45 c 2680 1055943 975648 1 1.0000 0.0000 -
2674.77/2685.66 c 2686 1056917 976588 1 1.0000 0.0000 -
2679.85/2690.78 c 2691 1058189 977746 1 1.0000 0.0000 -
2686.02/2696.91 c 2697 1059085 978475 1 1.0000 0.0000 -
2691.30/2702.25 c 2702 1060687 980016 1 1.0000 0.0000 -
2696.38/2707.38 c 2707 1061687 980954 1 1.0000 0.0000 -
2702.36/2713.38 c 2713 1062719 981835 1 1.0000 0.0000 -
2708.43/2719.45 c 2719 1064150 983058 1 1.0000 0.0000 -
2714.20/2725.26 c 2725 1064878 983726 1 1.0000 0.0000 -
2719.39/2730.42 c 2730 1065686 984501 1 1.0000 0.0000 -
2725.36/2736.47 c 2736 1067169 985879 1 1.0000 0.0000 -
2730.83/2741.99 c 2742 1068174 986657 1 1.0000 0.0000 -
2737.01/2748.17 c 2748 1069433 987778 1 1.0000 0.0000 -
2742.78/2753.98 c 2754 1070535 988805 1 1.0000 0.0000 -
2748.76/2759.97 c 2760 1071595 989785 1 1.0000 0.0000 -
2754.53/2765.71 c 2766 1072317 990469 1 1.0000 0.0000 -
2759.51/2770.75 c 2771 1073130 991238 1 1.0000 0.0000 -
2765.19/2776.41 c 2776 1074009 992034 1 1.0000 0.0000 -
2771.17/2782.45 c 2782 1075065 993032 1 1.0000 0.0000 -
2777.24/2788.58 c 2789 1075921 993856 1 1.0000 0.0000 -
2783.21/2794.57 c 2795 1077239 995046 1 1.0000 0.0000 -
2789.68/2801.09 c 2801 1078230 995846 1 1.0000 0.0000 -
2795.26/2806.60 c 2807 1079399 996795 1 1.0000 0.0000 -
2800.83/2812.30 c 2812 1081053 998420 1 1.0000 0.0000 -
2806.11/2817.55 c 2818 1082439 999806 1 1.0000 0.0000 -
2811.89/2823.39 c 2823 1083915 1001273 1 1.0000 0.0000 -
2817.57/2829.00 c 2829 1085499 1002842 1 1.0000 0.0000 -
2824.14/2835.60 c 2836 1087220 1004529 1 1.0000 0.0000 -
2829.81/2841.32 c 2841 1088111 1005346 1 1.0000 0.0000 -
2836.29/2847.81 c 2848 1089301 1006364 1 1.0000 0.0000 -
2841.86/2853.41 c 2853 1090573 1007588 1 1.0000 0.0000 -
2847.34/2858.96 c 2859 1092863 1009878 1 1.0000 0.0000 -
2852.92/2864.54 c 2865 1094489 1011504 1 1.0000 0.0000 -
2858.70/2870.36 c 2870 1096163 1013178 1 1.0000 0.0000 -
2863.77/2875.40 c 2875 1097573 1014584 1 1.0000 0.0000 -
2869.85/2881.59 c 2882 1099590 1016518 1 1.0000 0.0000 -
2875.34/2887.07 c 2887 1100898 1017718 1 1.0000 0.0000 -
2881.21/2892.95 c 2893 1102427 1019247 1 1.0000 0.0000 -
2886.69/2898.43 c 2898 1104200 1021020 1 1.0000 0.0000 -
2892.48/2904.23 c 2904 1105610 1022430 1 1.0000 0.0000 -
2898.36/2910.16 c 2910 1107331 1024138 1 1.0000 0.0000 -
2903.34/2915.19 c 2915 1108818 1025625 1 1.0000 0.0000 -
2909.11/2920.95 c 2921 1110344 1027151 1 1.0000 0.0000 -
2914.99/2926.83 c 2927 1111875 1028680 1 1.0000 0.0000 -
2920.28/2932.11 c 2932 1112661 1029385 1 1.0000 0.0000 -
2926.95/2938.82 c 2939 1113734 1030409 1 1.0000 0.0000 -
2932.13/2944.07 c 2944 1114176 1030794 1 1.0000 0.0000 -
2937.61/2949.52 c 2950 1115116 1031546 1 1.0000 0.0000 -
2943.58/2955.59 c 2956 1116214 1032590 1 1.0000 0.0000 -
2949.26/2961.24 c 2961 1117463 1033839 1 1.0000 0.0000 -
2954.44/2966.43 c 2966 1118915 1035291 1 1.0000 0.0000 -
2960.12/2972.12 c 2972 1120524 1036886 1 1.0000 0.0000 -
2965.30/2977.37 c 2977 1121350 1037548 1 1.0000 0.0000 -
2972.17/2984.28 c 2984 1122456 1038405 1 1.0000 0.0000 -
2978.16/2990.22 c 2990 1123956 1039876 1 1.0000 0.0000 -
2983.43/2995.56 c 2996 1124599 1040415 1 1.0000 0.0000 -
2989.70/3001.87 c 3002 1125256 1040999 1 1.0000 0.0000 -
2995.48/3007.69 c 3008 1126211 1041877 1 1.0000 0.0000 -
3001.17/3013.34 c 3013 1126729 1042368 1 1.0000 0.0000 -
3006.95/3019.10 c 3019 1127625 1043027 1 1.0000 0.0000 -
3012.03/3024.24 c 3024 1128613 1043858 1 1.0000 0.0000 -
3017.81/3030.02 c 3030 1129700 1044718 1 1.0000 0.0000 -
3024.58/3036.81 c 3037 1130964 1045717 1 1.0000 0.0000 -
3030.26/3042.52 c 3043 1131894 1046489 1 1.0000 0.0000 -
3036.13/3048.46 c 3048 1133180 1047561 1 1.0000 0.0000 -
3041.31/3053.69 c 3054 1134485 1048628 1 1.0000 0.0000 -
3046.70/3059.08 c 3059 1135633 1049529 1 1.0000 0.0000 -
3051.78/3064.14 c 3064 1136789 1050549 1 1.0000 0.0000 -
3057.76/3070.17 c 3070 1137946 1051409 1 1.0000 0.0000 -
3063.33/3075.78 c 3076 1139288 1052503 1 1.0000 0.0000 -
3068.72/3081.17 c 3081 1140216 1053298 1 1.0000 0.0000 -
3073.89/3086.39 c 3086 1141799 1054871 1 1.0000 0.0000 -
3079.07/3091.51 c 3092 1142853 1055866 1 1.0000 0.0000 -
3084.56/3097.05 c 3097 1143993 1056691 1 1.0000 0.0000 -
3090.53/3103.03 c 3103 1145271 1057969 1 1.0000 0.0000 -
3095.71/3108.27 c 3108 1146487 1059183 1 1.0000 0.0000 -
3101.59/3114.18 c 3114 1148065 1060755 1 1.0000 0.0000 -
3107.86/3120.49 c 3120 1149993 1062679 1 1.0000 0.0000 -
3113.64/3126.28 c 3126 1151759 1064430 1 1.0000 0.0000 -
3119.21/3131.89 c 3132 1152575 1065190 1 1.0000 0.0000 -
3125.09/3137.79 c 3138 1154013 1066502 1 1.0000 0.0000 -
3130.78/3143.41 c 3143 1155318 1067749 1 1.0000 0.0000 -
3136.55/3149.28 c 3149 1156724 1069069 1 1.0000 0.0000 -
3141.93/3154.67 c 3155 1157791 1069905 1 1.0000 0.0000 -
3147.21/3159.97 c 3160 1158766 1070703 1 1.0000 0.0000 -
3153.39/3166.12 c 3166 1159846 1071581 1 1.0000 0.0000 -
3159.16/3171.99 c 3172 1160827 1072546 1 1.0000 0.0000 -
3165.44/3178.24 c 3178 1161920 1073399 1 1.0000 0.0000 -
3171.12/3183.96 c 3184 1163323 1074641 1 1.0000 0.0000 -
3177.69/3190.54 c 3191 1164647 1075960 1 1.0000 0.0000 -
3182.87/3195.72 c 3196 1165767 1076974 1 1.0000 0.0000 -
3188.46/3201.35 c 3201 1167123 1078330 1 1.0000 0.0000 -
3194.24/3207.13 c 3207 1169061 1080268 1 1.0000 0.0000 -
3200.51/3213.44 c 3213 1170640 1081776 1 1.0000 0.0000 -
3205.80/3218.74 c 3219 1172091 1083176 1 1.0000 0.0000 -
3211.57/3224.50 c 3225 1173275 1084202 1 1.0000 0.0000 -
3217.24/3230.21 c 3230 1174515 1085434 1 1.0000 0.0000 -
3222.93/3235.91 c 3236 1176089 1087004 1 1.0000 0.0000 -
3228.21/3241.24 c 3241 1177290 1088004 1 1.0000 0.0000 -
3234.09/3247.16 c 3247 1178858 1089357 1 1.0000 0.0000 -
3239.77/3252.81 c 3253 1179759 1090102 1 1.0000 0.0000 -
3245.75/3258.86 c 3259 1181016 1091184 1 1.0000 0.0000 -
3251.72/3264.87 c 3265 1182100 1092098 1 1.0000 0.0000 -
3257.70/3270.83 c 3271 1183757 1093683 1 1.0000 0.0000 -
3263.48/3276.65 c 3277 1185173 1095099 1 1.0000 0.0000 -
3268.66/3281.80 c 3282 1186685 1096611 1 1.0000 0.0000 -
3274.44/3287.66 c 3288 1188717 1098640 1 1.0000 0.0000 -
3280.71/3293.92 c 3294 1190287 1100206 1 1.0000 0.0000 -
3285.70/3298.94 c 3299 1191484 1101403 1 1.0000 0.0000 -
3291.17/3304.40 c 3304 1192788 1102697 1 1.0000 0.0000 -
3296.76/3310.05 c 3310 1194261 1104170 1 1.0000 0.0000 -
3302.44/3315.74 c 3316 1195881 1105687 1 1.0000 0.0000 -
3308.31/3321.64 c 3322 1197139 1106841 1 1.0000 0.0000 -
3313.29/3326.66 c 3327 1197997 1107605 1 1.0000 0.0000 -
3319.57/3332.91 c 3333 1199170 1108571 1 1.0000 0.0000 -
3325.35/3338.74 c 3339 1200190 1109509 1 1.0000 0.0000 -
3331.23/3344.64 c 3345 1200921 1110171 1 1.0000 0.0000 -
3336.51/3349.97 c 3350 1201897 1111010 1 1.0000 0.0000 -
3342.19/3355.66 c 3356 1202601 1111671 1 1.0000 0.0000 -
3348.27/3361.75 c 3362 1203217 1112255 1 1.0000 0.0000 -
3353.75/3367.21 c 3367 1204076 1113053 1 1.0000 0.0000 -
3360.03/3373.55 c 3374 1204853 1113762 1 1.0000 0.0000 -
3365.20/3378.71 c 3379 1205656 1114535 1 1.0000 0.0000 -
3370.59/3384.13 c 3384 1206290 1115145 1 1.0000 0.0000 -
3376.06/3389.68 c 3390 1207200 1115978 1 1.0000 0.0000 -
3381.94/3395.59 c 3396 1208038 1116748 1 1.0000 0.0000 -
3388.01/3401.62 c 3402 1209280 1117949 1 1.0000 0.0000 -
3394.10/3407.79 c 3408 1209669 1118321 1 1.0000 0.0000 -
3400.47/3414.11 c 3414 1210768 1119219 1 1.0000 0.0000 -
3406.55/3420.22 c 3420 1211719 1120138 1 1.0000 0.0000 -
3412.34/3426.07 c 3426 1212851 1121246 1 1.0000 0.0000 -
3417.41/3431.16 c 3431 1213597 1121975 1 1.0000 0.0000 -
3422.40/3436.19 c 3436 1214408 1122713 1 1.0000 0.0000 -
3428.27/3442.06 c 3442 1215790 1124028 1 1.0000 0.0000 -
3434.36/3448.13 c 3448 1216783 1124952 1 1.0000 0.0000 -
3440.03/3453.89 c 3454 1217553 1125627 1 1.0000 0.0000 -
3445.21/3459.07 c 3459 1218295 1126346 1 1.0000 0.0000 -
3450.58/3464.46 c 3464 1219646 1127688 1 1.0000 0.0000 -
3456.16/3470.09 c 3470 1221256 1129261 1 1.0000 0.0000 -
3461.74/3475.62 c 3476 1222633 1130484 1 1.0000 0.0000 -
3466.72/3480.67 c 3481 1223310 1131131 1 1.0000 0.0000 -
3472.90/3486.89 c 3487 1224034 1131816 1 1.0000 0.0000 -
3478.78/3492.72 c 3493 1224455 1132204 1 1.0000 0.0000 -
3484.96/3498.90 c 3499 1225901 1133634 1 1.0000 0.0000 -
3490.53/3504.57 c 3505 1227849 1135541 1 1.0000 0.0000 -
3496.21/3510.26 c 3510 1228283 1135944 1 1.0000 0.0000 -
3502.80/3516.85 c 3517 1228984 1136505 1 1.0000 0.0000 -
3507.87/3521.93 c 3522 1229695 1137146 1 1.0000 0.0000 -
3513.46/3527.56 c 3528 1230837 1138272 1 1.0000 0.0000 -
3519.73/3533.84 c 3534 1231209 1138617 1 1.0000 0.0000 -
3525.80/3539.96 c 3540 1231689 1139070 1 1.0000 0.0000 -
3531.09/3545.20 c 3545 1233023 1140298 1 1.0000 0.0000 -
3536.97/3551.13 c 3551 1234203 1141430 1 1.0000 0.0000 -
3543.24/3557.43 c 3557 1235383 1142566 1 1.0000 0.0000 -
3548.83/3563.05 c 3563 1236589 1143722 1 1.0000 0.0000 -
3554.60/3568.87 c 3569 1237099 1144157 1 1.0000 0.0000 -
3559.57/3573.88 c 3574 1238307 1145210 1 1.0000 0.0000 -
3565.15/3579.43 c 3579 1239046 1145824 1 1.0000 0.0000 -
3570.84/3585.16 c 3585 1240401 1146983 1 1.0000 0.0000 -
3576.71/3591.02 c 3591 1241639 1148064 1 1.0000 0.0000 -
3582.69/3597.09 c 3597 1242945 1149336 1 1.0000 0.0000 -
3587.67/3602.02 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.67/3602.02 c Total Time : 3602.0200
3587.67/3602.02 c solving : 3602.0200
3587.67/3602.02 c presolving : 0.0549 (included in solving)
3587.67/3602.02 c B&B Tree :
3587.67/3602.02 c nodes (total) : 1
3587.67/3602.02 c Solution :
3587.67/3602.02 c Solutions found : 4
3587.67/3602.02 c Primal Bound : +1.00000000000000e+00
3587.67/3602.02 c Dual Bound : +0.00000000000000e+00
3587.67/3602.02 c Gap : infinite
3587.67/3602.02 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3587.67/3602.02 o 1
3587.67/3602.02 s SATISFIABLE
3587.67/3602.02 v -x300 x299 x298 -x297 x296 -x295 -x294 x293 -x292 x291 -x290 x289 -x288 x287 -x286 x285 -x284 x283 -x282 x281 -x280 x279 -x278
3587.67/3602.02 v x277 -x276 x275 -x274 x273 -x272 x271 -x270 x269 -x268 x267 -x266 x265 -x264 x263 -x262 x261 -x260 x259 -x258 x257 -x256 x255
3587.67/3602.02 v -x254 x253 -x252 x251 -x250 x249 -x248 x247 -x246 x245 -x244 x243 -x242 x241 -x240 x239 -x238 x237 -x236 x235 -x234 x233 -x232
3587.67/3602.02 v x231 -x230 x229 -x228 x227 -x226 x225 -x224 x223 -x222 x221 -x220 x219 -x218 x217 -x216 x215 -x214 x213 -x212 x211 -x210 x209
3587.67/3602.02 v -x208 x207 -x206 x205 -x204 x203 -x202 x201 -x200 x199 -x198 x197 -x196 x195 -x194 x193 x192 -x191 -x190 x189 x188 -x187
3587.67/3602.02 v -x186 x185 -x184 x183 -x182 x181 -x180 x179 x178 -x177 x176 -x175 x174 -x173 -x172 x171 x170 -x169 -x168 x167 -x166 x165 -x164
3587.67/3602.02 v x163 -x162 x161 -x160 x159 -x158 x157 x156 -x155 -x154 x153 x152 -x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 x142 -x141
3587.67/3602.02 v x140 -x139 x138 -x137 -x136 x135 x134 -x133 -x132 x131 -x130 x129 -x128 x127 -x126 x125 -x124 x123 -x122 x121 x120 -x119 -x118
3587.67/3602.02 v x117 x116 -x115 -x114 x113 -x112 x111 -x110 x109 -x108 x107 x106 -x105 x104 -x103 x102 -x101 -x100 x99 x98 -x97 -x96 x95
3587.67/3602.02 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
3587.67/3602.02 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
3587.67/3602.02 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
3587.67/3602.02 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: 63931 MiB (57046 MiB free)
memory of node 1: 64510 MiB (59502 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426865-1720906653/watcher-4426865-1720906653 -o /tmp/evaluation-result-4426865-1720906653/solver-4426865-1720906653 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1720905543-724799 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426865-1720906653.wbo -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=726095, runsolver pid=726092
Current StackSize limit: 8192 KiB
[startup+0.100706 s]*
/proc/loadavg: 4.31 4.23 3.60 5/266 726098
/proc/meminfo: memFree=119325448/131524600 swapFree=131071996/131071996
[pid=726095] ppid=726092 vsize=115316 memory=32332 CPUtime=0.09 cores=0,2
/proc/726095/stat : 726095 (fscip) S 726092 726095 722468 0 -1 1077936128 4962 0 0 0 9 0 0 0 20 0 3 0 142832710 118083584 8083 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
/proc/726095/statm: 28829 8083 2910 3032 0 11098 0
[pid=726095/tid=726097] ppid=726092 vsize=115316 memory=4026561586 CPUtime=0.03 cores=0,2
/proc/726095/task/726097/stat : 726097 (fscip) R 726092 726095 722468 0 -1 4194368 1883 0 0 0 3 0 0 0 20 0 3 0 142832716 118083584 8083 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
[pid=726095/tid=726098] ppid=726092 vsize=115316 memory=232851243367 CPUtime=0 cores=0,2
/proc/726095/task/726098/stat : 726098 (fscip) S 726092 726095 722468 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 142832716 118083584 8083 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 115316 KiB
Current children cumulated memory: 32332 KiB
[startup+0.212709 s]*
/proc/loadavg: 4.31 4.23 3.60 5/266 726098
/proc/meminfo: memFree=119320324/131524600 swapFree=131071996/131071996
[pid=726095] ppid=726092 vsize=115316 memory=37728 CPUtime=0.2 cores=0,2
/proc/726095/stat : 726095 (fscip) S 726092 726095 722468 0 -1 1077936128 6254 0 0 0 19 1 0 0 20 0 3 0 142832710 118083584 9432 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
/proc/726095/statm: 28829 9432 2942 3032 0 12451 0
[pid=726095/tid=726097] ppid=726092 vsize=115316 memory=4782652875487838339 CPUtime=0.13 cores=0,2
/proc/726095/task/726097/stat : 726097 (fscip) R 726092 726095 722468 0 -1 4194368 3175 0 0 0 13 0 0 0 20 0 3 0 142832716 118083584 9432 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
[pid=726095/tid=726098] ppid=726092 vsize=115316 memory=14907 CPUtime=0 cores=0,2
/proc/726095/task/726098/stat : 726098 (fscip) S 726092 726095 722468 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 142832716 118083584 9432 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 115316 KiB
Current children cumulated memory: 37728 KiB
[startup+0.306722 s]*
/proc/loadavg: 4.31 4.23 3.60 5/266 726098
/proc/meminfo: memFree=119319072/131524600 swapFree=131071996/131071996
[pid=726095] ppid=726092 vsize=115316 memory=38256 CPUtime=0.29 cores=0,2
/proc/726095/stat : 726095 (fscip) S 726092 726095 722468 0 -1 1077936128 6431 0 0 0 28 1 0 0 20 0 3 0 142832710 118083584 9564 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
/proc/726095/statm: 28829 9564 2942 3032 0 12643 0
[pid=726095/tid=726097] ppid=726092 vsize=115316 memory=-6082786862213282666 CPUtime=0.22 cores=0,2
/proc/726095/task/726097/stat : 726097 (fscip) R 726092 726095 722468 0 -1 4194368 3352 0 0 0 22 0 0 0 20 0 3 0 142832716 118083584 9564 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
[pid=726095/tid=726098] ppid=726092 vsize=115316 memory=0 CPUtime=0 cores=0,2
/proc/726095/task/726098/stat : 726098 (fscip) S 726092 726095 722468 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 142832716 118083584 9564 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 115316 KiB
Current children cumulated memory: 38256 KiB
[startup+0.70027 s]
/proc/loadavg: 4.31 4.23 3.60 5/266 726098
/proc/meminfo: memFree=119318432/131524600 swapFree=131071996/131071996
[pid=726095] ppid=726092 vsize=115316 memory=38784 CPUtime=0.67 cores=0,2
/proc/726095/stat : 726095 (fscip) S 726092 726095 722468 0 -1 1077936128 6546 0 0 0 66 1 0 0 20 0 3 0 142832710 118083584 9696 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
/proc/726095/statm: 28829 9696 2942 3032 0 12716 0
[pid=726095/tid=726097] ppid=726092 vsize=115316 memory=0 CPUtime=0.6 cores=0,2
/proc/726095/task/726097/stat : 726097 (fscip) R 726092 726095 722468 0 -1 4194368 3467 0 0 0 60 0 0 0 20 0 3 0 142832716 118083584 9696 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
[pid=726095/tid=726098] ppid=726092 vsize=115316 memory=0 CPUtime=0 cores=0,2
/proc/726095/task/726098/stat : 726098 (fscip) S 726092 726095 722468 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 142832716 118083584 9696 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 115316 KiB
Current children cumulated memory: 38784 KiB
[startup+1.50027 s]
/proc/loadavg: 4.31 4.23 3.60 5/266 726098
/proc/meminfo: memFree=119318424/131524600 swapFree=131071996/131071996
[pid=726095] ppid=726092 vsize=115316 memory=39840 CPUtime=1.47 cores=0,2
/proc/726095/stat : 726095 (fscip) S 726092 726095 722468 0 -1 1077936128 9126 0 0 0 146 1 0 0 20 0 3 0 142832710 118083584 9960 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
/proc/726095/statm: 28829 9960 2942 3032 0 13060 0
[pid=726095/tid=726097] ppid=726092 vsize=115316 memory=0 CPUtime=1.4 cores=0,2
/proc/726095/task/726097/stat : 726097 (fscip) R 726092 726095 722468 0 -1 4194368 6030 0 0 0 140 0 0 0 20 0 3 0 142832716 118083584 9960 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
[pid=726095/tid=726098] ppid=726092 vsize=115316 memory=0 CPUtime=0 cores=0,2
/proc/726095/task/726098/stat : 726098 (fscip) S 726092 726095 722468 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 142832716 118083584 9960 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 115316 KiB
Current children cumulated memory: 39840 KiB
[startup+3.10639 s]
/proc/loadavg: 4.31 4.23 3.60 5/266 726098
/proc/meminfo: memFree=119315832/131524600 swapFree=131071996/131071996
[pid=726095] ppid=726092 vsize=115316 memory=40984 CPUtime=3.07 cores=0,2
/proc/726095/stat : 726095 (fscip) S 726092 726095 722468 0 -1 1077936128 9568 0 0 0 306 1 0 0 20 0 3 0 142832710 118083584 10246 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
/proc/726095/statm: 28829 10246 2942 3032 0 13293 0
[pid=726095/tid=726097] ppid=726092 vsize=115316 memory=0 CPUtime=3 cores=0,2
/proc/726095/task/726097/stat : 726097 (fscip) R 726092 726095 722468 0 -1 4194368 6470 0 0 0 300 0 0 0 20 0 3 0 142832716 118083584 10246 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
[pid=726095/tid=726098] ppid=726092 vsize=115316 memory=3618370972012867573 CPUtime=0 cores=0,2
/proc/726095/task/726098/stat : 726098 (fscip) S 726092 726095 722468 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 142832716 118083584 10246 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 115316 KiB
Current children cumulated memory: 40984 KiB
[startup+6.30025 s]
/proc/loadavg: 4.29 4.23 3.60 5/266 726098
/proc/meminfo: memFree=119313968/131524600 swapFree=131071996/131071996
[pid=726095] ppid=726092 vsize=115316 memory=42636 CPUtime=6.24 cores=0,2
/proc/726095/stat : 726095 (fscip) S 726092 726095 722468 0 -1 1077936128 12755 0 0 0 623 1 0 0 20 0 3 0 142832710 118083584 10659 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
/proc/726095/statm: 28829 10659 2942 3032 0 13581 0
[pid=726095/tid=726097] ppid=726092 vsize=115316 memory=0 CPUtime=6.18 cores=0,2
/proc/726095/task/726097/stat : 726097 (fscip) R 726092 726095 722468 0 -1 4194368 9626 0 0 0 617 1 0 0 20 0 3 0 142832716 118083584 10659 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
[pid=726095/tid=726098] ppid=726092 vsize=115316 memory=11588 CPUtime=0 cores=0,2
/proc/726095/task/726098/stat : 726098 (fscip) S 726092 726095 722468 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 142832716 118083584 10659 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 115316 KiB
Current children cumulated memory: 42636 KiB
[startup+12.7002 s]
/proc/loadavg: 4.26 4.22 3.60 5/266 726099
/proc/meminfo: memFree=119306036/131524600 swapFree=131071996/131071996
[pid=726095] ppid=726092 vsize=117868 memory=53880 CPUtime=12.62 cores=0,2
/proc/726095/stat : 726095 (fscip) S 726092 726095 722468 0 -1 1077936128 23915 0 0 0 1257 5 0 0 20 0 3 0 142832710 120696832 13470 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
/proc/726095/statm: 29467 13470 2990 3032 0 16666 0
[pid=726095/tid=726097] ppid=726092 vsize=117868 memory=11588 CPUtime=12.55 cores=0,2
/proc/726095/task/726097/stat : 726097 (fscip) R 726092 726095 722468 0 -1 4194368 20734 0 0 0 1251 4 0 0 20 0 3 0 142832716 120696832 13470 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
[pid=726095/tid=726098] ppid=726092 vsize=117868 memory=36636 CPUtime=0 cores=0,2
/proc/726095/task/726098/stat : 726098 (fscip) S 726092 726095 722468 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 142832716 120696832 13470 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 117868 KiB
Current children cumulated memory: 53880 KiB
[startup+25.5003 s]
/proc/loadavg: 4.20 4.21 3.61 5/266 726101
/proc/meminfo: memFree=119283468/131524600 swapFree=131071996/131071996
[pid=726095] ppid=726092 vsize=124936 memory=70060 CPUtime=25.36 cores=0,2
/proc/726095/stat : 726095 (fscip) S 726092 726095 722468 0 -1 1077936128 45346 0 0 0 2524 12 0 0 20 0 3 0 142832710 127934464 17515 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
/proc/726095/statm: 31234 17515 2990 3032 0 20489 0
[pid=726095/tid=726097] ppid=726092 vsize=124936 memory=66660 CPUtime=25.3 cores=0,2
/proc/726095/task/726097/stat : 726097 (fscip) R 726092 726095 722468 0 -1 4194368 42078 0 0 0 2518 12 0 0 20 0 3 0 142832716 127934464 17515 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
[pid=726095/tid=726098] ppid=726092 vsize=124936 memory=11588 CPUtime=0 cores=0,2
/proc/726095/task/726098/stat : 726098 (fscip) S 726092 726095 722468 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 142832716 127934464 17515 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 124936 KiB
Current children cumulated memory: 70060 KiB
[startup+51.1061 s]
/proc/loadavg: 4.13 4.19 3.62 5/266 726105
/proc/meminfo: memFree=119237224/131524600 swapFree=131071996/131071996
[pid=726095] ppid=726092 vsize=145324 memory=103836 CPUtime=50.87 cores=0,2
/proc/726095/stat : 726095 (fscip) S 726092 726095 722468 0 -1 1077936128 79061 0 0 0 5064 23 0 0 20 0 3 0 142832710 148811776 25959 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
/proc/726095/statm: 36331 25959 2990 3032 0 29260 0
[pid=726095/tid=726097] ppid=726092 vsize=145324 memory=11588 CPUtime=50.79 cores=0,2
/proc/726095/task/726097/stat : 726097 (fscip) R 726092 726095 722468 0 -1 4194368 75728 0 0 0 5057 22 0 0 20 0 3 0 142832716 148811776 25959 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
[pid=726095/tid=726098] ppid=726092 vsize=145324 memory=88352 CPUtime=0 cores=0,2
/proc/726095/task/726098/stat : 726098 (fscip) S 726092 726095 722468 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 142832716 148811776 25959 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 145324 KiB
Current children cumulated memory: 103836 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.18 3.65 5/264 726114
/proc/meminfo: memFree=119169844/131524600 swapFree=131071996/131071996
[pid=726095] ppid=726092 vsize=240748 memory=159344 CPUtime=101.85 cores=0,2
/proc/726095/stat : 726095 (fscip) S 726092 726095 722468 0 -1 1077936128 145039 0 0 0 10141 44 0 0 20 0 3 0 142832710 246525952 39836 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
/proc/726095/statm: 60187 39836 2990 3032 0 43578 0
[pid=726095/tid=726097] ppid=726092 vsize=240748 memory=140064 CPUtime=101.78 cores=0,2
/proc/726095/task/726097/stat : 726097 (fscip) R 726092 726095 722468 0 -1 4194368 141610 0 0 0 10135 43 0 0 20 0 3 0 142832716 246525952 39836 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
[pid=726095/tid=726098] ppid=726092 vsize=240748 memory=11588 CPUtime=0 cores=0,2
/proc/726095/task/726098/stat : 726098 (fscip) S 726092 726095 722468 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 142832716 246525952 39836 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 240748 KiB
Current children cumulated memory: 159344 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.17 3.68 5/265 726127
/proc/meminfo: memFree=118796740/131524600 swapFree=131071996/131071996
[pid=726095] ppid=726092 vsize=277436 memory=215044 CPUtime=161.61 cores=0,2
/proc/726095/stat : 726095 (fscip) S 726092 726095 722468 0 -1 1077936128 210111 0 0 0 16096 65 0 0 20 0 3 0 142832710 284094464 53761 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
/proc/726095/statm: 69359 53761 2990 3032 0 58148 0
[pid=726095/tid=726097] ppid=726092 vsize=277436 memory=209108 CPUtime=161.53 cores=0,2
/proc/726095/task/726097/stat : 726097 (fscip) R 726092 726095 722468 0 -1 4194368 206615 0 0 0 16089 64 0 0 20 0 3 0 142832716 284094464 53761 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
[pid=726095/tid=726098] ppid=726092 vsize=277436 memory=214056 CPUtime=0 cores=0,2
/proc/726095/task/726098/stat : 726098 (fscip) S 726092 726095 722468 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 142832716 284094464 53761 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
Current children cumulated CPU time: 161.61 s
Current children cumulated vsize: 277436 KiB
Current children cumulated memory: 215044 KiB
################
# More data... #
################
/proc/726095/statm: 414882 392052 2990 3032 0 410059 0
[pid=726095/tid=726097] ppid=726092 vsize=1659528 memory=37420 CPUtime=3388.44 cores=0,2
/proc/726095/task/726097/stat : 726097 (fscip) R 726092 726095 722468 0 -1 4194368 5139339 0 0 0 338107 737 0 0 20 0 3 0 142832716 1699356672 392052 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
[pid=726095/tid=726098] ppid=726092 vsize=1659528 memory=1554380 CPUtime=0.04 cores=0,2
/proc/726095/task/726098/stat : 726098 (fscip) S 726092 726095 722468 0 -1 1077936192 118 0 0 0 1 3 0 0 20 0 3 0 142832716 1699356672 392052 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
Current children cumulated CPU time: 3388.71 s
Current children cumulated vsize: 1659528 KiB
Current children cumulated memory: 1568208 KiB
[startup+3462.3 s]
/proc/loadavg: 2.07 2.32 3.08 3/249 728941
/proc/meminfo: memFree=116541268/131524600 swapFree=131071996/131071996
[pid=726095] ppid=726092 vsize=1662544 memory=1577808 CPUtime=3448.5 cores=0,2
/proc/726095/stat : 726095 (fscip) S 726092 726095 722468 0 -1 1077936128 5167789 0 0 0 344100 750 0 0 20 0 3 0 142832710 1702445056 394452 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
/proc/726095/statm: 415636 394452 2990 3032 0 411900 0
[pid=726095/tid=726097] ppid=726092 vsize=1662544 memory=37420 CPUtime=3448.21 cores=0,2
/proc/726095/task/726097/stat : 726097 (fscip) R 726092 726095 722468 0 -1 4194368 5162794 0 0 0 344079 742 0 0 20 0 3 0 142832716 1702445056 394452 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
[pid=726095/tid=726098] ppid=726092 vsize=1662544 memory=1575628 CPUtime=0.04 cores=0,2
/proc/726095/task/726098/stat : 726098 (fscip) S 726092 726095 722468 0 -1 1077936192 119 0 0 0 1 3 0 0 20 0 3 0 142832716 1702445056 394452 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
Current children cumulated CPU time: 3448.5 s
Current children cumulated vsize: 1662544 KiB
Current children cumulated memory: 1577808 KiB
[startup+3522.3 s]
/proc/loadavg: 2.06 2.27 3.02 3/245 728951
/proc/meminfo: memFree=116527208/131524600 swapFree=131071996/131071996
[pid=726095] ppid=726092 vsize=1736860 memory=1591240 CPUtime=3508.27 cores=0,2
/proc/726095/stat : 726095 (fscip) S 726092 726095 722468 0 -1 1077936128 5245279 0 0 0 350070 757 0 0 20 0 3 0 142832710 1778544640 397810 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
/proc/726095/statm: 434215 397810 2990 3032 0 414289 0
[pid=726095/tid=726097] ppid=726092 vsize=1736860 memory=37420 CPUtime=3507.98 cores=0,2
/proc/726095/task/726097/stat : 726097 (fscip) R 726092 726095 722468 0 -1 4194368 5240270 0 0 0 350049 749 0 0 20 0 3 0 142832716 1778544640 397810 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
[pid=726095/tid=726098] ppid=726092 vsize=1736860 memory=100 CPUtime=0.04 cores=0,2
/proc/726095/task/726098/stat : 726098 (fscip) S 726092 726095 722468 0 -1 1077936192 120 0 0 0 1 3 0 0 20 0 3 0 142832716 1778544640 397810 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
Current children cumulated CPU time: 3508.27 s
Current children cumulated vsize: 1736860 KiB
Current children cumulated memory: 1591240 KiB
[startup+3582.3 s]
/proc/loadavg: 2.06 2.24 2.96 3/245 728962
/proc/meminfo: memFree=116516424/131524600 swapFree=131071996/131071996
[pid=726095] ppid=726092 vsize=1744996 memory=1601220 CPUtime=3568.04 cores=0,2
/proc/726095/stat : 726095 (fscip) S 726092 726095 722468 0 -1 1077936128 5324214 0 0 0 356040 764 0 0 20 0 3 0 142832710 1786875904 400305 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
/proc/726095/statm: 436249 400305 2990 3032 0 416947 0
[pid=726095/tid=726097] ppid=726092 vsize=1744996 memory=37420 CPUtime=3567.76 cores=0,2
/proc/726095/task/726097/stat : 726097 (fscip) R 726092 726095 722468 0 -1 4194368 5319189 0 0 0 356020 756 0 0 20 0 3 0 142832716 1786875904 400305 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
[pid=726095/tid=726098] ppid=726092 vsize=1744996 memory=1601220 CPUtime=0.04 cores=0,2
/proc/726095/task/726098/stat : 726098 (fscip) S 726092 726095 722468 0 -1 1077936192 121 0 0 0 1 3 0 0 20 0 3 0 142832716 1786875904 400305 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
Current children cumulated CPU time: 3568.04 s
Current children cumulated vsize: 1744996 KiB
Current children cumulated memory: 1601220 KiB
[startup+3602.03 s]
# the end of solver process 726095 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3579.95 s, system=7.75239 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.06 2.24 2.96 3/245 728962
/proc/meminfo: memFree=116516052/131524600 swapFree=131071996/131071996
[pid=726095] ppid=726092 vsize=1744996 memory=1601424 CPUtime=3569.74 cores=0,2
/proc/726095/stat : 726095 (fscip) S 726092 726095 722468 0 -1 1077936128 5324500 0 0 0 356210 764 0 0 20 0 3 0 142832710 1786875904 400356 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
/proc/726095/statm: 436249 400356 2990 3032 0 417043 0
[pid=726095/tid=726097] ppid=726092 vsize=1744996 memory=-6153154506879318885 CPUtime=3569.45 cores=0,2
/proc/726095/task/726097/stat : 726097 (fscip) R 726092 726095 722468 0 -1 4194368 5319475 0 0 0 356189 756 0 0 20 0 3 0 142832716 1786875904 400356 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
[pid=726095/tid=726098] ppid=726092 vsize=1744996 memory=-9044459746194447340 CPUtime=0.04 cores=0,2
/proc/726095/task/726098/stat : 726098 (fscip) S 726092 726095 722468 0 -1 1077936192 121 0 0 0 1 3 0 0 20 0 3 0 142832716 1786875904 400356 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
Current children cumulated CPU time: 3569.74 s
Current children cumulated vsize: 1744996 KiB
Current children cumulated memory: 1601424 KiB
[startup+3590.4 s]
/proc/loadavg: 2.13 2.25 2.95 3/245 728964
/proc/meminfo: memFree=116512192/131524600 swapFree=131071996/131071996
[pid=726095] ppid=726092 vsize=1746600 memory=1605472 CPUtime=3576.11 cores=0,2
/proc/726095/stat : 726095 (fscip) S 726092 726095 722468 0 -1 1077936128 5326321 0 0 0 356847 764 0 0 20 0 3 0 142832710 1788518400 401368 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
/proc/726095/statm: 436650 401368 2990 3032 0 417492 0
[pid=726095/tid=726097] ppid=726092 vsize=1746600 memory=1601220 CPUtime=3575.82 cores=0,2
/proc/726095/task/726097/stat : 726097 (fscip) R 726092 726095 722468 0 -1 4194368 5321295 0 0 0 356826 756 0 0 20 0 3 0 142832716 1788518400 401368 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
[pid=726095/tid=726098] ppid=726092 vsize=1746600 memory=5536 CPUtime=0.04 cores=0,2
/proc/726095/task/726098/stat : 726098 (fscip) S 726092 726095 722468 0 -1 1077936192 121 0 0 0 1 3 0 0 20 0 3 0 142832716 1788518400 401368 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
Current children cumulated CPU time: 3576.11 s
Current children cumulated vsize: 1746600 KiB
Current children cumulated memory: 1605472 KiB
[startup+3596.8 s]
/proc/loadavg: 2.12 2.24 2.95 3/245 728964
/proc/meminfo: memFree=116511876/131524600 swapFree=131071996/131071996
[pid=726095] ppid=726092 vsize=1747436 memory=1606464 CPUtime=3582.48 cores=0,2
/proc/726095/stat : 726095 (fscip) S 726092 726095 722468 0 -1 1077936128 5380540 0 0 0 357481 767 0 0 20 0 3 0 142832710 1789374464 401616 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
/proc/726095/statm: 436859 401616 2990 3032 0 417733 0
[pid=726095/tid=726097] ppid=726092 vsize=1747436 memory=-6153154506879318885 CPUtime=3582.19 cores=0,2
/proc/726095/task/726097/stat : 726097 (fscip) R 726092 726095 722468 0 -1 4194368 5375513 0 0 0 357460 759 0 0 20 0 3 0 142832716 1789374464 401616 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
[pid=726095/tid=726098] ppid=726092 vsize=1747436 memory=-9044459746194447340 CPUtime=0.04 cores=0,2
/proc/726095/task/726098/stat : 726098 (fscip) S 726092 726095 722468 0 -1 1077936192 121 0 0 0 1 3 0 0 20 0 3 0 142832716 1789374464 401616 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
Current children cumulated CPU time: 3582.48 s
Current children cumulated vsize: 1747436 KiB
Current children cumulated memory: 1606464 KiB
[startup+3600 s]*
/proc/loadavg: 2.11 2.24 2.94 3/245 728965
/proc/meminfo: memFree=116510648/131524600 swapFree=131071996/131071996
[pid=726095] ppid=726092 vsize=1747436 memory=1606860 CPUtime=3585.68 cores=0,2
/proc/726095/stat : 726095 (fscip) S 726092 726095 722468 0 -1 1077936128 5385301 0 0 0 357800 768 0 0 20 0 3 0 142832710 1789374464 401715 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
/proc/726095/statm: 436859 401715 2990 3032 0 417829 0
[pid=726095/tid=726097] ppid=726092 vsize=1747436 memory=-6153154506879318885 CPUtime=3585.39 cores=0,2
/proc/726095/task/726097/stat : 726097 (fscip) R 726092 726095 722468 0 -1 4194368 5380717 0 0 0 357779 760 0 0 20 0 3 0 142832716 1789374464 401715 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
[pid=726095/tid=726098] ppid=726092 vsize=1747436 memory=-9044459746194447340 CPUtime=0.04 cores=0,2
/proc/726095/task/726098/stat : 726098 (fscip) S 726092 726095 722468 0 -1 1077936192 121 0 0 0 1 3 0 0 20 0 3 0 142832716 1789374464 401715 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
Current children cumulated CPU time: 3585.68 s
Current children cumulated vsize: 1747436 KiB
Current children cumulated memory: 1606860 KiB
[startup+3600.8 s]
/proc/loadavg: 2.11 2.24 2.94 3/245 728965
/proc/meminfo: memFree=116510648/131524600 swapFree=131071996/131071996
[pid=726095] ppid=726092 vsize=1686700 memory=1546124 CPUtime=3586.47 cores=0,2
/proc/726095/stat : 726095 (fscip) S 726092 726095 722468 0 -1 1077936128 5412191 0 0 0 357877 770 0 0 20 0 3 0 142832710 1727180800 386531 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
/proc/726095/statm: 421675 386531 2990 3032 0 402645 0
[pid=726095/tid=726097] ppid=726092 vsize=1686700 memory=7344204 CPUtime=3586.18 cores=0,2
/proc/726095/task/726097/stat : 726097 (fscip) R 726092 726095 722468 0 -1 4194368 5407149 0 0 0 357856 762 0 0 20 0 3 0 142832716 1727180800 386531 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
[pid=726095/tid=726098] ppid=726092 vsize=1686700 memory=6720662168628771948 CPUtime=0.04 cores=0,2
/proc/726095/task/726098/stat : 726098 (fscip) S 726092 726095 722468 0 -1 1077936192 121 0 0 0 1 3 0 0 20 0 3 0 142832716 1727180800 386531 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
Current children cumulated CPU time: 3586.47 s
Current children cumulated vsize: 1686700 KiB
Current children cumulated memory: 1546124 KiB
[startup+3601.6 s]
/proc/loadavg: 2.11 2.24 2.94 3/245 728965
/proc/meminfo: memFree=116579996/131524600 swapFree=131071996/131071996
[pid=726095] ppid=726092 vsize=1419820 memory=1279248 CPUtime=3587.27 cores=0,2
/proc/726095/stat : 726095 (fscip) S 726092 726095 722468 0 -1 1077936128 5418759 0 0 0 357955 772 0 0 20 0 3 0 142832710 1453895680 319812 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
/proc/726095/statm: 354955 319812 2990 3032 0 335925 0
[pid=726095/tid=726097] ppid=726092 vsize=1419820 memory=6720662168628771948 CPUtime=3586.97 cores=0,2
/proc/726095/task/726097/stat : 726097 (fscip) R 726092 726095 722468 0 -1 4194368 5413717 0 0 0 357934 763 0 0 20 0 3 0 142832716 1453895680 319812 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
[pid=726095/tid=726098] ppid=726092 vsize=1419820 memory=1606860 CPUtime=0.04 cores=0,2
/proc/726095/task/726098/stat : 726098 (fscip) S 726092 726095 722468 0 -1 1077936192 121 0 0 0 1 3 0 0 20 0 3 0 142832716 1453895680 319812 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
Current children cumulated CPU time: 3587.27 s
Current children cumulated vsize: 1419820 KiB
Current children cumulated memory: 1279248 KiB
[startup+3602 s]*
/proc/loadavg: 2.11 2.24 2.94 3/245 728965
/proc/meminfo: memFree=116824920/131524600 swapFree=131071996/131071996
[pid=726095] ppid=726092 vsize=1013596 memory=849292 CPUtime=3587.67 cores=0,2
/proc/726095/stat : 726095 (fscip) S 726092 726095 722468 0 -1 1077936128 5423392 0 0 0 357994 773 0 0 20 0 3 0 142832710 1037922304 212835 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
/proc/726095/statm: 253399 212835 2990 3032 0 249728 0
[pid=726095/tid=726097] ppid=726092 vsize=878892 memory=-6153154506879318885 CPUtime=3587.38 cores=0,2
/proc/726095/task/726097/stat : 726097 (fscip) R 726092 726095 722468 0 -1 4194368 5418350 0 0 0 357973 765 0 0 20 0 3 0 142832716 899985408 206979 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
[pid=726095/tid=726098] ppid=726092 vsize=878892 memory=-9044459746194447340 CPUtime=0.04 cores=0,2
/proc/726095/task/726098/stat : 726098 (fscip) S 726092 726095 722468 0 -1 1077936192 121 0 0 0 1 3 0 0 20 0 3 0 142832716 899985408 206979 134679101440 4194304 16613245 140722853806064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30728192 140722853811169 140722853811285 140722853811285 140722853818352 0
Current children cumulated CPU time: 3587.67 s
Current children cumulated vsize: 1013596 KiB
Current children cumulated memory: 849292 KiB
Child status: 0
Real time (s): 3602.03
CPU time (s): 3587.7
CPU user time (s): 3579.95
CPU system time (s): 7.75239
CPU usage (%): 99.6024
Max. virtual memory (cumulated for all children) (KiB): 1747436
Max. memory (cumulated for all children) (KiB): 1606860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.95
system time used= 7.75239
maximum resident set size= 1606860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5423742
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= 9973
involuntary context switches= 25105
# summary of solver processes directly reported to runsolver:
# pid: 726095
# total CPU time (s): 3587.7
# total CPU user time (s): 3579.95
# total CPU system time (s): 7.75239
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.12218 second user time and 18.2055 second system time
The end
Begin job on nodeC029 at 2024-07-13 23:37:46
IDJOB=4426865
IDBENCH=143934
IDSOLVER=3044
FILE ID=nodeC029/4426865-1720906653
RUNJOBID= nodeC029-1720905543-724799
SLURM_JOB_ID= 7486088
Free space on /tmp= 889992 MiB
SOLVER NAME= FiberSCIP 2024-07-02
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-4426865-1720906653/watcher-4426865-1720906653 -o /tmp/evaluation-result-4426865-1720906653/solver-4426865-1720906653 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1720905543-724799 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426865-1720906653.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 62701ea25d944c2002344b5f329a0a28
RANDOM SEED=610235140
nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3655.935
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3687.225
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3671.272
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.246
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3669.306
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3687.228
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3606.961
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.325
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 119347096 kB
MemAvailable: 123087520 kB
Buffers: 330492 kB
Cached: 4205700 kB
SwapCached: 0 kB
Active: 538884 kB
Inactive: 10953812 kB
Active(anon): 1464 kB
Inactive(anon): 6992772 kB
Active(file): 537420 kB
Inactive(file): 3961040 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28432 kB
Writeback: 0 kB
AnonPages: 6955468 kB
Mapped: 136164 kB
Shmem: 37720 kB
KReclaimable: 163220 kB
Slab: 274008 kB
SReclaimable: 163220 kB
SUnreclaim: 110788 kB
KernelStack: 4224 kB
PageTables: 22952 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 4187652 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 54688 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1835008 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: 246484 kB
DirectMap2M: 30984192 kB
DirectMap1G: 104857600 kB
Free space on /tmp at the end= 890020 MiB
End job on nodeC029 at 2024-07-14 00:37:48