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 = 22814720, getVmSize() = 22814720, SCIPgetMemUsed() = 1035407, SCIPgetMemTotal() = 1347959, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.00 c ** Estimated virtualMemUsedAtSolver = 16356693, getVmSize() = 26255360, SCIPgetMemUsed() = 1826034, SCIPgetMemTotal() = 3711298, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.00 c Original Problem :
0.00/0.00 c Problem name : instance-4464029-1722378597
0.00/0.00 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 14
0.00/0.00 c Objective sense : minimize
0.00/0.00 c Presolved Problem :
0.00/0.00 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 12
0.00/0.00 c Constraints : Number
0.00/0.00 c linear : 8
0.00/0.00 c logicor : 4
0.00/0.00 c ** Instance transfer method used: 0
0.00/0.01 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.01 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.01 c Nodes Active
0.00/0.01 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.00/0.01 c * 0 0 1 1 1907.0000 - -
0.00/0.03 c * 0 0 1 1 965.0000 - -
0.09/0.19 c * 0 2 1 1 729.0000 0.0000 -
0.19/0.27 c * 0 2 1 1 429.0000 0.0000 -
0.19/0.30 c * 0 2 1 1 407.0000 0.0000 -
2.18/2.29 c * 2 1091 41 1 395.0000 0.0000 -
2.27/2.39 c * 2 1091 41 1 263.0000 0.0000 -
4.86/4.92 c * 5 1905 855 1 186.0000 0.0000 -
5.16/5.21 c 5 2385 1335 1 186.0000 0.0000 -
7.65/7.79 c * 8 3772 2716 1 181.0000 0.0000 -
10.14/10.26 c * 10 4741 3681 1 159.0000 0.0000 -
10.14/10.26 c 10 4741 3681 1 159.0000 0.0000 -
10.34/10.44 c * 10 5164 4077 1 156.0000 0.0000 -
14.93/15.04 c * 15 6626 5409 1 103.0000 0.0000 -
15.32/15.49 c 15 7136 5382 1 103.0000 0.0000 -
20.59/20.73 c 21 8765 6800 1 103.0000 0.0000 -
21.69/21.80 c * 22 9006 7019 1 78.0000 0.0000 -
25.67/25.85 c 26 10613 7905 1 78.0000 0.0000 -
26.57/26.75 c * 27 10613 7905 1 74.0000 0.0000 -
30.86/31.03 c 31 12734 9587 1 74.0000 0.0000 -
35.94/36.18 c 36 14916 11447 1 74.0000 0.0000 -
39.71/39.95 c * 40 16025 12369 1 54.0000 0.0000 -
41.12/41.34 c 41 16670 10870 1 54.0000 0.0000 -
46.29/46.52 c 47 18465 12256 1 54.0000 0.0000 -
51.37/51.67 c 52 20330 13561 1 54.0000 0.0000 -
56.45/56.77 c 57 21833 14632 1 54.0000 0.0000 -
61.62/61.94 c 62 23411 15713 1 54.0000 0.0000 -
66.81/67.19 c 67 24852 16704 1 54.0000 0.0000 -
72.08/72.41 c 72 26421 17723 1 54.0000 0.0000 -
77.26/77.63 c 78 27893 18625 1 54.0000 0.0000 -
82.44/82.83 c 83 29126 19429 1 54.0000 0.0000 -
87.52/87.95 c 88 30449 20286 1 54.0000 0.0000 -
92.60/93.10 c 93 31603 20978 1 54.0000 0.0000 -
97.68/98.15 c 98 33082 21902 1 54.0000 0.0000 -
102.85/103.31 c 103 34313 22667 1 54.0000 0.0000 -
103.45/103.94 c * 104 34313 22667 1 53.0000 0.0000 -
103.45/103.96 c * 104 34313 22667 1 51.0000 0.0000 -
107.84/108.37 c 108 36031 23337 1 51.0000 0.0000 -
113.01/113.55 c 114 37565 24376 1 51.0000 0.0000 -
118.09/118.67 c 119 38957 25229 1 51.0000 0.0000 -
123.17/123.78 c 124 40446 26101 1 51.0000 0.0000 -
128.55/129.12 c 129 42241 27135 1 51.0000 0.0000 -
130.64/131.28 c * 131 42812 27534 1 50.0000 0.0000 -
133.63/134.27 c 134 43698 27876 1 50.0000 0.0000 -
138.81/139.44 c 139 45346 29054 1 50.0000 0.0000 -
143.89/144.55 c 145 46677 29861 1 50.0000 0.0000 -
148.97/149.65 c 150 48551 31098 1 50.0000 0.0000 -
154.15/154.85 c 155 49933 31902 1 50.0000 0.0000 -
159.34/160.07 c 160 51641 32989 1 50.0000 0.0000 -
164.61/165.34 c 165 53193 34052 1 50.0000 0.0000 -
169.79/170.55 c 171 54413 34745 1 50.0000 0.0000 -
174.97/175.78 c 176 55985 35711 1 50.0000 0.0000 -
176.76/177.58 c * 178 56392 35968 1 46.0000 0.0000 -
179.25/180.03 c * 180 57666 35360 1 45.0000 0.0000 -
179.25/180.06 c * 180 57666 35360 1 41.0000 0.0000 -
179.36/180.12 c * 180 57666 35360 1 37.0000 0.0000 -
180.25/181.03 c 181 57925 32609 1 37.0000 0.0000 -
185.33/186.16 c 186 60089 33518 1 37.0000 0.0000 -
190.40/191.29 c 191 61965 34407 1 37.0000 0.0000 -
194.38/195.26 c * 195 63287 34934 1 31.0000 0.0000 -
195.68/196.53 c 197 64326 28743 1 31.0000 0.0000 -
200.75/201.60 c 202 66573 29814 1 31.0000 0.0000 -
205.74/206.69 c 207 69454 31023 1 31.0000 0.0000 -
210.81/211.77 c 212 72316 32099 1 31.0000 0.0000 -
215.89/216.88 c 217 74228 32970 1 31.0000 0.0000 -
220.97/221.99 c 222 76488 34003 1 31.0000 0.0000 -
226.16/227.12 c 227 78628 35013 1 31.0000 0.0000 -
231.33/232.30 c 232 80158 35725 1 31.0000 0.0000 -
236.41/237.46 c 237 81627 36278 1 31.0000 0.0000 -
241.48/242.53 c 243 83327 37092 1 31.0000 0.0000 -
246.66/247.76 c 248 85007 37773 1 31.0000 0.0000 -
251.74/252.87 c 253 87225 38700 1 31.0000 0.0000 -
256.92/258.02 c 258 89033 39372 1 31.0000 0.0000 -
262.00/263.12 c 263 90822 40052 1 31.0000 0.0000 -
267.18/268.31 c 268 92215 40684 1 31.0000 0.0000 -
272.26/273.41 c 273 93992 41391 1 31.0000 0.0000 -
277.23/278.48 c 278 95833 42167 1 31.0000 0.0000 -
282.41/283.65 c 284 97741 42851 1 31.0000 0.0000 -
287.49/288.74 c 289 99256 43475 1 31.0000 0.0000 -
292.77/294.01 c 294 100957 44109 1 31.0000 0.0000 -
297.94/299.24 c 299 102865 44753 1 31.0000 0.0000 -
303.02/304.34 c 304 104810 45514 1 31.0000 0.0000 -
305.02/306.38 c * 306 104909 45539 1 30.0000 0.0000 -
305.12/306.42 c * 306 104909 45539 1 28.0000 0.0000 -
305.12/306.47 c * 306 104909 45539 1 26.0000 0.0000 -
308.20/309.51 c 310 106342 43780 1 26.0000 0.0000 -
313.18/314.58 c 315 108570 44485 1 26.0000 0.0000 -
318.26/319.67 c 320 111134 45286 1 26.0000 0.0000 -
323.43/324.80 c 325 113071 45902 1 26.0000 0.0000 -
328.41/329.89 c 330 116523 46887 1 26.0000 0.0000 -
333.60/335.06 c 335 118611 47569 1 26.0000 0.0000 -
338.77/340.27 c 340 120397 48221 1 26.0000 0.0000 -
343.85/345.34 c 345 121640 48760 1 26.0000 0.0000 -
348.92/350.42 c 350 123176 49386 1 26.0000 0.0000 -
354.11/355.62 c 356 125367 50275 1 26.0000 0.0000 -
359.18/360.74 c 361 127555 51462 1 26.0000 0.0000 -
364.87/366.48 c 366 129445 52510 1 26.0000 0.0000 -
370.04/371.62 c 372 131399 53416 1 26.0000 0.0000 -
375.13/376.74 c 377 133596 54340 1 26.0000 0.0000 -
380.41/382.01 c 382 135180 55110 1 26.0000 0.0000 -
385.59/387.24 c 387 136546 55782 1 26.0000 0.0000 -
390.67/392.39 c 392 138132 56460 1 26.0000 0.0000 -
395.94/397.61 c 398 139999 57249 1 26.0000 0.0000 -
401.03/402.71 c 403 141788 57966 1 26.0000 0.0000 -
406.21/407.93 c 408 143751 58842 1 26.0000 0.0000 -
411.29/413.06 c 413 145672 59580 1 26.0000 0.0000 -
416.46/418.22 c 418 147655 60336 1 26.0000 0.0000 -
421.65/423.48 c 423 149256 61064 1 26.0000 0.0000 -
426.92/428.77 c 429 150651 61711 1 26.0000 0.0000 -
432.50/434.37 c 434 152155 62317 1 26.0000 0.0000 -
437.69/439.55 c 440 153949 63063 1 26.0000 0.0000 -
442.96/444.88 c 445 155697 63807 1 26.0000 0.0000 -
448.14/450.03 c 450 157334 64649 1 26.0000 0.0000 -
453.32/455.25 c 455 159201 65777 1 26.0000 0.0000 -
458.70/460.67 c 461 160790 66665 1 26.0000 0.0000 -
464.19/466.17 c 466 162407 67522 1 26.0000 0.0000 -
469.36/471.38 c 471 163661 68182 1 26.0000 0.0000 -
474.44/476.45 c 476 164615 68708 1 26.0000 0.0000 -
480.02/482.03 c 482 166033 69606 1 26.0000 0.0000 -
485.50/487.58 c 488 167711 70487 1 26.0000 0.0000 -
490.78/492.82 c 493 169304 71295 1 26.0000 0.0000 -
496.16/498.28 c 498 170724 72024 1 26.0000 0.0000 -
502.04/504.11 c 504 172085 72646 1 26.0000 0.0000 -
507.52/509.66 c 510 173874 73412 1 26.0000 0.0000 -
512.69/514.84 c 515 175024 73928 1 26.0000 0.0000 -
517.88/520.00 c 520 176687 74614 1 26.0000 0.0000 -
523.05/525.27 c 525 178058 75211 1 26.0000 0.0000 -
528.43/530.68 c 531 179544 75860 1 26.0000 0.0000 -
533.92/536.17 c 536 181073 76714 1 26.0000 0.0000 -
539.29/541.57 c 542 182562 77441 1 26.0000 0.0000 -
541.09/543.33 c * 543 182938 77613 1 24.0000 0.0000 -
544.58/546.81 c 547 184386 76409 1 24.0000 0.0000 -
549.95/552.23 c 552 185951 77131 1 24.0000 0.0000 -
555.14/557.49 c 558 187525 77934 1 24.0000 0.0000 -
560.51/562.85 c 563 189225 78640 1 24.0000 0.0000 -
565.80/568.13 c 568 190992 79357 1 24.0000 0.0000 -
571.07/573.40 c 573 192108 79886 1 24.0000 0.0000 -
576.25/578.61 c 579 193834 80587 1 24.0000 0.0000 -
581.54/583.97 c 584 195512 81308 1 24.0000 0.0000 -
586.81/589.22 c 589 197116 81895 1 24.0000 0.0000 -
591.89/594.36 c 594 198684 82592 1 24.0000 0.0000 -
598.17/600.64 c 601 200111 83187 1 24.0000 0.0000 -
603.56/606.04 c 606 201332 83731 1 24.0000 0.0000 -
608.64/611.17 c 611 202898 84362 1 24.0000 0.0000 -
611.22/613.77 c * 614 203489 84639 1 19.0000 0.0000 -
614.21/616.78 c 617 204583 78501 1 19.0000 0.0000 -
619.49/622.02 c 622 206548 79043 1 19.0000 0.0000 -
624.58/627.19 c 627 207996 79503 1 19.0000 0.0000 -
629.84/632.45 c 632 210090 80210 1 19.0000 0.0000 -
634.93/637.53 c 638 211760 81054 1 19.0000 0.0000 -
640.00/642.68 c 643 213957 81782 1 19.0000 0.0000 -
645.09/647.76 c 648 216168 82466 1 19.0000 0.0000 -
650.16/652.86 c 653 218333 83219 1 19.0000 0.0000 -
655.35/658.00 c 658 220703 83822 1 19.0000 0.0000 -
660.43/663.17 c 663 223183 84488 1 19.0000 0.0000 -
665.71/668.40 c 668 224860 84973 1 19.0000 0.0000 -
670.79/673.58 c 674 227123 85628 1 19.0000 0.0000 -
676.27/679.05 c 679 229165 86272 1 19.0000 0.0000 -
681.45/684.26 c 684 231666 87029 1 19.0000 0.0000 -
686.63/689.41 c 689 234174 87723 1 19.0000 0.0000 -
691.91/694.79 c 695 236001 88301 1 19.0000 0.0000 -
697.20/700.06 c 700 238122 89099 1 19.0000 0.0000 -
701.18/704.04 c * 704 239451 89497 1 17.0000 0.0000 -
701.28/704.18 c * 704 239451 89497 1 15.0000 0.0000 -
702.77/705.67 c 706 240103 77966 1 15.0000 0.0000 -
707.84/710.75 c 711 242785 78680 1 15.0000 0.0000 -
713.03/715.97 c 716 245021 79296 1 15.0000 0.0000 -
718.51/721.49 c 721 247877 79852 1 15.0000 0.0000 -
723.58/726.59 c 727 250707 80447 1 15.0000 0.0000 -
728.77/731.79 c 732 253420 81050 1 15.0000 0.0000 -
734.25/737.22 c 737 255961 81861 1 15.0000 0.0000 -
739.43/742.47 c 742 258324 82632 1 15.0000 0.0000 -
744.71/747.71 c 748 260894 83424 1 15.0000 0.0000 -
749.99/753.04 c 753 263271 84091 1 15.0000 0.0000 -
755.07/758.12 c 758 266229 84793 1 15.0000 0.0000 -
760.35/763.42 c 763 269557 85565 1 15.0000 0.0000 -
765.43/768.52 c 769 272313 86221 1 15.0000 0.0000 -
770.71/773.82 c 774 275155 86847 1 15.0000 0.0000 -
775.99/779.17 c 779 277321 87407 1 15.0000 0.0000 -
781.16/784.39 c 784 279284 87929 1 15.0000 0.0000 -
786.74/789.91 c 790 282318 88641 1 15.0000 0.0000 -
791.82/795.09 c 795 285080 89200 1 15.0000 0.0000 -
796.90/800.19 c 800 288151 89821 1 15.0000 0.0000 -
802.17/805.49 c 805 291883 90697 1 15.0000 0.0000 -
807.44/810.75 c 811 295124 91431 1 15.0000 0.0000 -
812.73/816.05 c 816 298033 92255 1 15.0000 0.0000 -
817.80/821.19 c 821 300592 93182 1 15.0000 0.0000 -
822.97/826.39 c 826 304121 94065 1 15.0000 0.0000 -
828.25/831.65 c 832 309110 95091 1 15.0000 0.0000 -
833.43/836.86 c 837 312011 95812 1 15.0000 0.0000 -
838.71/842.11 c 842 314365 96616 1 15.0000 0.0000 -
843.88/847.32 c 847 317613 97439 1 15.0000 0.0000 -
848.86/852.37 c 852 319827 98015 1 15.0000 0.0000 -
854.24/857.70 c 858 322330 98594 1 15.0000 0.0000 -
859.52/863.05 c 863 324829 99325 1 15.0000 0.0000 -
865.39/868.98 c 869 327146 100119 1 15.0000 0.0000 -
870.57/874.16 c 874 329088 100639 1 15.0000 0.0000 -
876.04/879.60 c 880 331724 101193 1 15.0000 0.0000 -
881.61/885.24 c 885 334247 101762 1 15.0000 0.0000 -
886.69/890.38 c 890 336695 102296 1 15.0000 0.0000 -
891.87/895.55 c 896 339415 102874 1 15.0000 0.0000 -
897.04/900.78 c 901 342352 103468 1 15.0000 0.0000 -
902.23/905.95 c 906 345234 103921 1 15.0000 0.0000 -
908.09/911.88 c 912 346967 104646 1 15.0000 0.0000 -
913.28/917.00 c 917 348802 105390 1 15.0000 0.0000 -
918.55/922.37 c 922 350796 106117 1 15.0000 0.0000 -
923.92/927.79 c 928 352923 106728 1 15.0000 0.0000 -
929.11/932.98 c 933 355441 107395 1 15.0000 0.0000 -
934.19/938.07 c 938 357529 107979 1 15.0000 0.0000 -
939.36/943.29 c 943 360303 108731 1 15.0000 0.0000 -
944.64/948.55 c 949 362389 109411 1 15.0000 0.0000 -
949.82/953.74 c 954 363989 109981 1 15.0000 0.0000 -
955.10/959.02 c 959 366495 110545 1 15.0000 0.0000 -
960.28/964.28 c 964 368734 111144 1 15.0000 0.0000 -
965.56/969.51 c 970 371037 111912 1 15.0000 0.0000 -
970.73/974.70 c 975 373798 112613 1 15.0000 0.0000 -
976.12/980.20 c 980 375140 113324 1 15.0000 0.0000 -
981.39/985.40 c 985 376796 113950 1 15.0000 0.0000 -
987.07/991.11 c 991 378312 114551 1 15.0000 0.0000 -
992.55/996.60 c 997 380196 115317 1 15.0000 0.0000 -
998.03/1002.18 c 1002 382381 116058 1 15.0000 0.0000 -
1003.41/1007.57 c 1008 384914 117115 1 15.0000 0.0000 -
1008.59/1012.70 c 1013 386613 117818 1 15.0000 0.0000 -
1008.99/1013.15 c * 1013 386613 117818 1 10.0000 0.0000 -
1013.57/1017.78 c 1018 388928 108835 1 10.0000 0.0000 -
1018.86/1023.10 c 1023 391452 109704 1 10.0000 0.0000 -
1024.13/1028.36 c 1028 394347 110595 1 10.0000 0.0000 -
1029.31/1033.51 c 1034 397809 111330 1 10.0000 0.0000 -
1034.49/1038.77 c 1039 400998 112125 1 10.0000 0.0000 -
1039.57/1043.84 c 1044 403891 112901 1 10.0000 0.0000 -
1044.76/1049.00 c 1049 407446 113745 1 10.0000 0.0000 -
1049.84/1054.14 c 1054 411027 114571 1 10.0000 0.0000 -
1055.50/1059.82 c 1060 413906 115193 1 10.0000 0.0000 -
1060.59/1064.91 c 1065 417925 116031 1 10.0000 0.0000 -
1065.66/1070.04 c 1070 420962 116674 1 10.0000 0.0000 -
1070.85/1075.29 c 1075 425510 117528 1 10.0000 0.0000 -
1076.02/1080.42 c 1080 429347 118267 1 10.0000 0.0000 -
1081.31/1085.76 c 1086 433244 119214 1 10.0000 0.0000 -
1086.59/1091.00 c 1091 436496 119994 1 10.0000 0.0000 -
1091.66/1096.12 c 1096 440121 120879 1 10.0000 0.0000 -
1096.75/1101.24 c 1101 443630 121426 1 10.0000 0.0000 -
1102.22/1106.79 c 1107 447150 122038 1 10.0000 0.0000 -
1107.40/1111.95 c 1112 451414 122706 1 10.0000 0.0000 -
1112.98/1117.51 c 1118 455318 123422 1 10.0000 0.0000 -
1117.96/1122.56 c 1123 458201 124192 1 10.0000 0.0000 -
1123.25/1127.83 c 1128 463076 124951 1 10.0000 0.0000 -
1128.43/1133.04 c 1133 467450 125707 1 10.0000 0.0000 -
1133.41/1138.09 c 1138 471525 126359 1 10.0000 0.0000 -
1138.59/1143.29 c 1143 475729 126965 1 10.0000 0.0000 -
1143.76/1148.43 c 1148 480997 127651 1 10.0000 0.0000 -
1148.84/1153.57 c 1154 484119 128595 1 10.0000 0.0000 -
1153.93/1158.68 c 1159 487656 129612 1 10.0000 0.0000 -
1159.10/1163.85 c 1164 492161 130351 1 10.0000 0.0000 -
1164.19/1168.90 c 1169 496929 130931 1 10.0000 0.0000 -
1169.28/1174.02 c 1174 502310 131491 1 10.0000 0.0000 -
1174.45/1179.27 c 1179 505427 132237 1 10.0000 0.0000 -
1179.53/1184.32 c 1184 511349 132711 1 10.0000 0.0000 -
1184.61/1189.41 c 1189 516761 133277 1 10.0000 0.0000 -
1189.69/1194.56 c 1195 520454 133753 1 10.0000 0.0000 -
1194.77/1199.67 c 1200 525557 134116 1 10.0000 0.0000 -
1200.16/1205.06 c 1205 530795 135009 1 10.0000 0.0000 -
1205.43/1210.32 c 1210 538444 135528 1 10.0000 0.0000 -
1210.91/1215.81 c 1216 544871 136210 1 10.0000 0.0000 -
1215.99/1220.93 c 1221 548528 136984 1 10.0000 0.0000 -
1221.27/1226.28 c 1226 552751 137796 1 10.0000 0.0000 -
1226.45/1231.46 c 1231 557531 138312 1 10.0000 0.0000 -
1231.63/1236.65 c 1237 563406 138794 1 10.0000 0.0000 -
1236.71/1241.79 c 1242 572035 139020 1 10.0000 0.0000 -
1241.80/1246.88 c 1247 579910 139558 1 10.0000 0.0000 -
1247.08/1252.13 c 1252 585715 139975 1 10.0000 0.0000 -
1252.15/1257.20 c 1257 590614 140387 1 10.0000 0.0000 -
1257.43/1262.56 c 1263 597791 140825 1 10.0000 0.0000 -
1263.20/1268.30 c 1268 601612 141422 1 10.0000 0.0000 -
1268.59/1273.70 c 1274 605836 141695 1 10.0000 0.0000 -
1273.66/1278.80 c 1279 611268 141996 1 10.0000 0.0000 -
1278.74/1283.96 c 1284 617495 142401 1 10.0000 0.0000 -
1283.82/1289.04 c 1289 624374 142701 1 10.0000 0.0000 -
1288.99/1294.22 c 1294 629709 143121 1 10.0000 0.0000 -
1294.17/1299.42 c 1299 634169 143599 1 10.0000 0.0000 -
1299.25/1304.58 c 1305 639875 143743 1 10.0000 0.0000 -
1304.53/1309.86 c 1310 647744 144078 1 10.0000 0.0000 -
1309.70/1315.05 c 1315 650990 144682 1 10.0000 0.0000 -
1314.78/1320.16 c 1320 657920 145403 1 10.0000 0.0000 -
1320.05/1325.40 c 1325 666523 145608 1 10.0000 0.0000 -
1325.13/1330.54 c 1331 675578 145651 1 10.0000 0.0000 -
1330.31/1335.75 c 1336 681217 145962 1 10.0000 0.0000 -
1335.38/1340.82 c 1341 687596 146230 1 10.0000 0.0000 -
1340.36/1345.89 c 1346 693753 146430 1 10.0000 0.0000 -
1345.53/1351.05 c 1351 700907 146698 1 10.0000 0.0000 -
1350.62/1356.16 c 1356 707782 146861 1 10.0000 0.0000 -
1355.68/1361.28 c 1361 710819 147252 1 10.0000 0.0000 -
1360.97/1366.56 c 1367 713612 147947 1 10.0000 0.0000 -
1366.34/1371.99 c 1372 716999 148429 1 10.0000 0.0000 -
1371.61/1377.20 c 1377 720176 149086 1 10.0000 0.0000 -
1376.79/1382.44 c 1382 724234 149519 1 10.0000 0.0000 -
1381.77/1387.49 c 1388 731429 150056 1 10.0000 0.0000 -
1387.25/1392.90 c 1393 737819 150446 1 10.0000 0.0000 -
1392.44/1398.15 c 1398 743504 150747 1 10.0000 0.0000 -
1397.61/1403.31 c 1403 750354 150951 1 10.0000 0.0000 -
1402.88/1408.62 c 1409 755622 151123 1 10.0000 0.0000 -
1408.06/1413.81 c 1414 761976 151253 1 10.0000 0.0000 -
1413.14/1418.93 c 1419 770036 151512 1 10.0000 0.0000 -
1418.22/1424.00 c 1424 778792 151328 1 10.0000 0.0000 -
1423.31/1429.19 c 1429 786580 151203 1 10.0000 0.0000 -
1428.38/1434.25 c 1434 793670 151127 1 10.0000 0.0000 -
1433.56/1439.46 c 1439 802169 150976 1 10.0000 0.0000 -
1438.74/1444.60 c 1445 809488 151080 1 10.0000 0.0000 -
1443.91/1449.89 c 1450 818579 151462 1 10.0000 0.0000 -
1449.99/1455.98 c 1456 828041 151578 1 10.0000 0.0000 -
1455.18/1461.16 c 1461 834495 151972 1 10.0000 0.0000 -
1460.25/1466.24 c 1466 844419 152245 1 10.0000 0.0000 -
1465.23/1471.29 c 1471 851977 152372 1 10.0000 0.0000 -
1470.41/1476.43 c 1476 859753 152468 1 10.0000 0.0000 -
1475.40/1481.49 c 1482 867709 152805 1 10.0000 0.0000 -
1480.58/1486.65 c 1487 875385 152843 1 10.0000 0.0000 -
1485.85/1491.90 c 1492 880343 153281 1 10.0000 0.0000 -
1491.43/1497.53 c 1498 885120 154030 1 10.0000 0.0000 -
1496.61/1502.75 c 1503 891437 154444 1 10.0000 0.0000 -
1501.79/1507.91 c 1508 897335 154726 1 10.0000 0.0000 -
1506.98/1513.16 c 1513 904797 154936 1 10.0000 0.0000 -
1512.05/1518.21 c 1518 916495 154761 1 10.0000 0.0000 -
1517.03/1523.29 c 1523 923056 154974 1 10.0000 0.0000 -
1522.21/1528.44 c 1528 931883 154970 1 10.0000 0.0000 -
1527.29/1533.57 c 1534 936707 155341 1 10.0000 0.0000 -
1532.57/1538.84 c 1539 941575 155769 1 10.0000 0.0000 -
1537.64/1543.97 c 1544 946350 156065 1 10.0000 0.0000 -
1543.03/1549.33 c 1549 952020 156306 1 10.0000 0.0000 -
1548.31/1554.69 c 1555 956971 156486 1 10.0000 0.0000 -
1553.38/1559.74 c 1560 962669 156805 1 10.0000 0.0000 -
1558.67/1565.03 c 1565 965955 157409 1 10.0000 0.0000 -
1563.75/1570.11 c 1570 970881 157788 1 10.0000 0.0000 -
1568.73/1575.19 c 1575 975457 157974 1 10.0000 0.0000 -
1573.90/1580.39 c 1580 979327 158187 1 10.0000 0.0000 -
1579.18/1585.63 c 1586 986376 158276 1 10.0000 0.0000 -
1584.16/1590.68 c 1591 995311 158332 1 10.0000 0.0000 -
1589.44/1595.97 c 1596 1003170 158399 1 10.0000 0.0000 -
1594.62/1601.16 c 1601 1007758 158629 1 10.0000 0.0000 -
1599.80/1606.31 c 1606 1013021 158812 1 10.0000 0.0000 -
1604.88/1611.43 c 1611 1021450 158725 1 10.0000 0.0000 -
1610.26/1616.88 c 1617 1029484 158888 1 10.0000 0.0000 -
1615.54/1622.12 c 1622 1036997 159343 1 10.0000 0.0000 -
1620.52/1627.18 c 1627 1042812 159627 1 10.0000 0.0000 -
1625.60/1632.27 c 1632 1052707 159373 1 10.0000 0.0000 -
1630.67/1637.32 c 1637 1064452 159160 1 10.0000 0.0000 -
1635.66/1642.38 c 1642 1073607 159047 1 10.0000 0.0000 -
1640.83/1647.55 c 1648 1083409 158927 1 10.0000 0.0000 -
1646.02/1652.74 c 1653 1089298 159415 1 10.0000 0.0000 -
1651.09/1657.86 c 1658 1093583 159855 1 10.0000 0.0000 -
1656.67/1663.46 c 1663 1098149 160152 1 10.0000 0.0000 -
1661.85/1668.63 c 1669 1101998 160569 1 10.0000 0.0000 -
1667.74/1674.50 c 1675 1106019 161138 1 10.0000 0.0000 -
1673.01/1679.84 c 1680 1108878 161697 1 10.0000 0.0000 -
1678.20/1685.01 c 1685 1112951 162254 1 10.0000 0.0000 -
1683.38/1690.25 c 1690 1117016 162861 1 10.0000 0.0000 -
1688.76/1695.69 c 1696 1119881 163414 1 10.0000 0.0000 -
1694.34/1701.23 c 1701 1124441 163886 1 10.0000 0.0000 -
1699.71/1706.62 c 1707 1127930 164534 1 10.0000 0.0000 -
1705.10/1712.06 c 1712 1132890 165072 1 10.0000 0.0000 -
1710.88/1717.81 c 1718 1136891 165547 1 10.0000 0.0000 -
1716.06/1723.06 c 1723 1142685 166049 1 10.0000 0.0000 -
1721.84/1728.80 c 1729 1146933 166417 1 10.0000 0.0000 -
1727.02/1734.06 c 1734 1153504 166686 1 10.0000 0.0000 -
1732.20/1739.25 c 1739 1159462 167053 1 10.0000 0.0000 -
1737.38/1744.44 c 1744 1163882 167408 1 10.0000 0.0000 -
1742.86/1749.92 c 1750 1167822 168161 1 10.0000 0.0000 -
1748.54/1755.66 c 1756 1170843 168746 1 10.0000 0.0000 -
1753.82/1760.97 c 1761 1174607 169259 1 10.0000 0.0000 -
1759.20/1766.30 c 1766 1179100 169693 1 10.0000 0.0000 -
1764.38/1771.51 c 1772 1185209 170310 1 10.0000 0.0000 -
1770.16/1777.34 c 1777 1187737 170759 1 10.0000 0.0000 -
1775.34/1782.51 c 1783 1191478 171265 1 10.0000 0.0000 -
1780.82/1788.03 c 1788 1194336 171714 1 10.0000 0.0000 -
1786.40/1793.68 c 1794 1196626 172301 1 10.0000 0.0000 -
1792.07/1799.31 c 1799 1198515 172916 1 10.0000 0.0000 -
1797.06/1804.32 c 1804 1200199 173472 1 10.0000 0.0000 -
1803.24/1810.58 c 1811 1202495 174231 1 10.0000 0.0000 -
1808.42/1815.70 c 1816 1204625 174891 1 10.0000 0.0000 -
1813.71/1821.10 c 1821 1207096 175483 1 10.0000 0.0000 -
1819.38/1826.70 c 1827 1209086 176125 1 10.0000 0.0000 -
1824.86/1832.22 c 1832 1211677 176683 1 10.0000 0.0000 -
1830.14/1837.57 c 1838 1214386 177159 1 10.0000 0.0000 -
1835.82/1843.26 c 1843 1216570 177708 1 10.0000 0.0000 -
1841.50/1848.92 c 1849 1218672 178161 1 10.0000 0.0000 -
1846.69/1854.12 c 1854 1221219 178906 1 10.0000 0.0000 -
1851.77/1859.28 c 1859 1223959 179449 1 10.0000 0.0000 -
1857.74/1865.29 c 1865 1226604 180003 1 10.0000 0.0000 -
1863.43/1870.90 c 1871 1230301 180683 1 10.0000 0.0000 -
1869.01/1876.57 c 1877 1233336 181217 1 10.0000 0.0000 -
1874.18/1881.78 c 1882 1235953 181755 1 10.0000 0.0000 -
1879.66/1887.26 c 1887 1237487 182275 1 10.0000 0.0000 -
1885.24/1892.82 c 1893 1239634 182956 1 10.0000 0.0000 -
1890.82/1898.47 c 1898 1242106 183545 1 10.0000 0.0000 -
1896.21/1903.80 c 1904 1245729 184188 1 10.0000 0.0000 -
1901.88/1909.51 c 1910 1249083 184795 1 10.0000 0.0000 -
1907.36/1915.01 c 1915 1252449 185345 1 10.0000 0.0000 -
1912.54/1920.22 c 1920 1254571 185631 1 10.0000 0.0000 -
1918.01/1925.78 c 1926 1257347 186263 1 10.0000 0.0000 -
1923.31/1931.04 c 1931 1261078 186830 1 10.0000 0.0000 -
1928.78/1936.53 c 1937 1263443 187367 1 10.0000 0.0000 -
1934.16/1941.94 c 1942 1266031 187958 1 10.0000 0.0000 -
1940.13/1947.92 c 1948 1267449 188505 1 10.0000 0.0000 -
1945.32/1953.16 c 1953 1269452 189088 1 10.0000 0.0000 -
1950.70/1958.53 c 1959 1270697 189559 1 10.0000 0.0000 -
1956.77/1964.62 c 1965 1272060 190250 1 10.0000 0.0000 -
1963.15/1971.04 c 1971 1273345 190750 1 10.0000 0.0000 -
1968.93/1976.84 c 1977 1274851 191462 1 10.0000 0.0000 -
1974.31/1982.29 c 1982 1276433 192072 1 10.0000 0.0000 -
1979.39/1987.33 c 1987 1277764 192603 1 10.0000 0.0000 -
1984.87/1992.88 c 1993 1279806 193272 1 10.0000 0.0000 -
1990.55/1998.53 c 1999 1281663 193896 1 10.0000 0.0000 -
1996.03/2004.01 c 2004 1283738 194540 1 10.0000 0.0000 -
2001.01/2009.10 c 2009 1285511 195075 1 10.0000 0.0000 -
2007.10/2015.16 c 2015 1287501 195902 1 10.0000 0.0000 -
2012.77/2020.85 c 2021 1288857 196622 1 10.0000 0.0000 -
2018.55/2026.64 c 2027 1290474 197285 1 10.0000 0.0000 -
2024.33/2032.41 c 2032 1291803 197745 1 10.0000 0.0000 -
2029.51/2037.62 c 2038 1293232 198251 1 10.0000 0.0000 -
2034.79/2042.95 c 2043 1294757 198820 1 10.0000 0.0000 -
2040.37/2048.51 c 2049 1296921 199535 1 10.0000 0.0000 -
2046.05/2054.20 c 2054 1298909 200156 1 10.0000 0.0000 -
2051.63/2059.87 c 2060 1300754 200851 1 10.0000 0.0000 -
2057.41/2065.69 c 2066 1302726 201393 1 10.0000 0.0000 -
2063.39/2071.63 c 2072 1304302 202029 1 10.0000 0.0000 -
2068.67/2076.91 c 2077 1305473 202490 1 10.0000 0.0000 -
2074.35/2082.66 c 2083 1307043 203004 1 10.0000 0.0000 -
2080.02/2088.34 c 2088 1308911 203628 1 10.0000 0.0000 -
2086.20/2094.56 c 2095 1310631 204160 1 10.0000 0.0000 -
2091.98/2100.31 c 2100 1312945 204851 1 10.0000 0.0000 -
2097.26/2105.62 c 2106 1314831 205361 1 10.0000 0.0000 -
2103.14/2111.58 c 2112 1316481 206049 1 10.0000 0.0000 -
2108.92/2117.35 c 2117 1318403 206741 1 10.0000 0.0000 -
2114.70/2123.12 c 2123 1320424 207458 1 10.0000 0.0000 -
2120.38/2128.84 c 2129 1322178 208169 1 10.0000 0.0000 -
2125.96/2134.44 c 2134 1323679 208782 1 10.0000 0.0000 -
2131.74/2140.28 c 2140 1325870 209459 1 10.0000 0.0000 -
2137.22/2145.71 c 2146 1327821 210058 1 10.0000 0.0000 -
2142.79/2151.39 c 2151 1329930 210701 1 10.0000 0.0000 -
2148.77/2157.33 c 2157 1332420 211305 1 10.0000 0.0000 -
2154.75/2163.36 c 2163 1334391 211939 1 10.0000 0.0000 -
2160.23/2168.80 c 2169 1335866 212360 1 10.0000 0.0000 -
2165.21/2173.88 c 2174 1338052 212984 1 10.0000 0.0000 -
2171.09/2179.77 c 2180 1339981 213554 1 10.0000 0.0000 -
2177.17/2185.86 c 2186 1341431 214066 1 10.0000 0.0000 -
2183.15/2191.80 c 2192 1343073 214712 1 10.0000 0.0000 -
2189.23/2197.97 c 2198 1344669 215142 1 10.0000 0.0000 -
2195.00/2203.76 c 2204 1347083 215824 1 10.0000 0.0000 -
2199.99/2208.77 c 2209 1348118 216201 1 10.0000 0.0000 -
2205.56/2214.38 c 2214 1350023 216826 1 10.0000 0.0000 -
2211.75/2220.51 c 2221 1351844 217407 1 10.0000 0.0000 -
2217.83/2226.68 c 2227 1353585 217938 1 10.0000 0.0000 -
2223.10/2231.91 c 2232 1355580 218467 1 10.0000 0.0000 -
2228.29/2237.12 c 2237 1357566 219123 1 10.0000 0.0000 -
2233.67/2242.57 c 2243 1359114 219511 1 10.0000 0.0000 -
2239.44/2248.34 c 2248 1361274 220030 1 10.0000 0.0000 -
2244.83/2253.74 c 2254 1364044 220719 1 10.0000 0.0000 -
2250.50/2259.43 c 2259 1366726 221396 1 10.0000 0.0000 -
2256.88/2265.85 c 2266 1369202 222102 1 10.0000 0.0000 -
2262.56/2271.56 c 2272 1371692 222675 1 10.0000 0.0000 -
2268.34/2277.37 c 2277 1374328 223215 1 10.0000 0.0000 -
2274.20/2283.25 c 2283 1376244 223839 1 10.0000 0.0000 -
2279.78/2288.80 c 2289 1378831 224414 1 10.0000 0.0000 -
2285.27/2294.33 c 2294 1379791 224788 1 10.0000 0.0000 -
2290.95/2300.03 c 2300 1381571 225450 1 10.0000 0.0000 -
2296.83/2305.99 c 2306 1383456 226057 1 10.0000 0.0000 -
2302.41/2311.58 c 2312 1385325 226673 1 10.0000 0.0000 -
2308.19/2317.38 c 2317 1387327 227174 1 10.0000 0.0000 -
2313.87/2323.06 c 2323 1388856 227677 1 10.0000 0.0000 -
2319.35/2328.52 c 2329 1390771 228141 1 10.0000 0.0000 -
2324.63/2333.85 c 2334 1393467 228743 1 10.0000 0.0000 -
2330.41/2339.68 c 2340 1395596 229332 1 10.0000 0.0000 -
2336.39/2345.68 c 2346 1397828 229883 1 10.0000 0.0000 -
2342.27/2351.54 c 2352 1399457 230434 1 10.0000 0.0000 -
2347.64/2356.93 c 2357 1401707 231066 1 10.0000 0.0000 -
2352.63/2361.96 c 2362 1403961 231569 1 10.0000 0.0000 -
2358.01/2367.38 c 2367 1406551 232194 1 10.0000 0.0000 -
2364.09/2373.42 c 2373 1409874 232877 1 10.0000 0.0000 -
2369.57/2378.99 c 2379 1411812 233332 1 10.0000 0.0000 -
2374.75/2384.19 c 2384 1414169 233918 1 10.0000 0.0000 -
2380.63/2390.00 c 2390 1416141 234363 1 10.0000 0.0000 -
2386.40/2395.88 c 2396 1417951 234868 1 10.0000 0.0000 -
2392.08/2401.50 c 2402 1420667 235515 1 10.0000 0.0000 -
2397.66/2407.17 c 2407 1423402 236096 1 10.0000 0.0000 -
2403.14/2412.65 c 2413 1425258 236516 1 10.0000 0.0000 -
2408.62/2418.16 c 2418 1427155 237097 1 10.0000 0.0000 -
2414.79/2424.35 c 2424 1429623 237605 1 10.0000 0.0000 -
2420.68/2430.24 c 2430 1431805 238328 1 10.0000 0.0000 -
2426.06/2435.62 c 2436 1434601 238892 1 10.0000 0.0000 -
2431.14/2440.75 c 2441 1435814 239343 1 10.0000 0.0000 -
2437.01/2446.65 c 2447 1437199 239950 1 10.0000 0.0000 -
2442.30/2451.98 c 2452 1438581 240327 1 10.0000 0.0000 -
2447.96/2457.65 c 2458 1440922 240891 1 10.0000 0.0000 -
2453.55/2463.20 c 2463 1443251 241424 1 10.0000 0.0000 -
2458.82/2468.51 c 2469 1445022 241854 1 10.0000 0.0000 -
2464.41/2474.11 c 2474 1445844 242318 1 10.0000 0.0000 -
2469.99/2479.73 c 2480 1447452 242840 1 10.0000 0.0000 -
2475.07/2484.88 c 2485 1448899 243365 1 10.0000 0.0000 -
2481.04/2490.87 c 2491 1450931 243970 1 10.0000 0.0000 -
2487.12/2496.95 c 2497 1453169 244602 1 10.0000 0.0000 -
2492.80/2502.65 c 2503 1455422 245246 1 10.0000 0.0000 -
2498.58/2508.44 c 2508 1457635 245893 1 10.0000 0.0000 -
2504.26/2514.11 c 2514 1459378 246330 1 10.0000 0.0000 -
2509.24/2519.18 c 2519 1461007 246714 1 10.0000 0.0000 -
2515.21/2525.16 c 2525 1463350 247324 1 10.0000 0.0000 -
2521.20/2531.15 c 2531 1465506 247932 1 10.0000 0.0000 -
2526.87/2536.80 c 2537 1467023 248574 1 10.0000 0.0000 -
2532.95/2542.91 c 2543 1468432 249150 1 10.0000 0.0000 -
2539.52/2549.51 c 2550 1470241 249784 1 10.0000 0.0000 -
2544.70/2554.79 c 2555 1471256 250211 1 10.0000 0.0000 -
2550.99/2561.06 c 2561 1473727 251011 1 10.0000 0.0000 -
2557.16/2567.23 c 2567 1475582 251632 1 10.0000 0.0000 -
2563.04/2573.11 c 2573 1476713 252058 1 10.0000 0.0000 -
2569.12/2579.23 c 2579 1478042 252571 1 10.0000 0.0000 -
2574.60/2584.72 c 2585 1480377 253112 1 10.0000 0.0000 -
2579.98/2590.15 c 2590 1481640 253461 1 10.0000 0.0000 -
2585.35/2595.50 c 2596 1482797 253938 1 10.0000 0.0000 -
2590.34/2600.53 c 2601 1483865 254384 1 10.0000 0.0000 -
2596.52/2606.71 c 2607 1484824 254658 1 10.0000 0.0000 -
2602.10/2612.30 c 2612 1486691 255148 1 10.0000 0.0000 -
2607.18/2617.47 c 2617 1488836 255730 1 10.0000 0.0000 -
2613.16/2623.48 c 2623 1491081 256341 1 10.0000 0.0000 -
2618.44/2628.70 c 2629 1492974 256849 1 10.0000 0.0000 -
2623.51/2633.85 c 2634 1495758 257461 1 10.0000 0.0000 -
2628.79/2639.15 c 2639 1498771 258127 1 10.0000 0.0000 -
2634.66/2645.01 c 2645 1500570 258608 1 10.0000 0.0000 -
2640.74/2651.10 c 2651 1502993 259088 1 10.0000 0.0000 -
2646.52/2656.99 c 2657 1505406 259699 1 10.0000 0.0000 -
2652.09/2662.54 c 2663 1508302 260369 1 10.0000 0.0000 -
2657.08/2667.57 c 2668 1510139 260852 1 10.0000 0.0000 -
2662.35/2672.81 c 2673 1513807 261515 1 10.0000 0.0000 -
2667.54/2678.01 c 2678 1515455 261981 1 10.0000 0.0000 -
2673.12/2683.61 c 2684 1518704 262664 1 10.0000 0.0000 -
2678.39/2688.92 c 2689 1521311 263189 1 10.0000 0.0000 -
2683.48/2694.06 c 2694 1523429 263657 1 10.0000 0.0000 -
2689.35/2699.96 c 2700 1526049 264296 1 10.0000 0.0000 -
2695.03/2705.60 c 2706 1528956 264945 1 10.0000 0.0000 -
2700.51/2711.17 c 2711 1531288 265390 1 10.0000 0.0000 -
2705.99/2716.67 c 2717 1534085 265900 1 10.0000 0.0000 -
2711.17/2721.84 c 2722 1536177 266275 1 10.0000 0.0000 -
2716.25/2726.94 c 2727 1538929 266785 1 10.0000 0.0000 -
2721.63/2732.35 c 2732 1542135 267432 1 10.0000 0.0000 -
2727.50/2738.25 c 2738 1544521 267824 1 10.0000 0.0000 -
2732.98/2743.74 c 2744 1547418 268470 1 10.0000 0.0000 -
2738.46/2749.29 c 2749 1550329 269033 1 10.0000 0.0000 -
2744.14/2754.90 c 2755 1553465 269703 1 10.0000 0.0000 -
2749.33/2760.12 c 2760 1556582 270213 1 10.0000 0.0000 -
2754.70/2765.54 c 2766 1559894 270889 1 10.0000 0.0000 -
2759.88/2770.74 c 2771 1562455 271358 1 10.0000 0.0000 -
2765.76/2776.68 c 2777 1565293 271736 1 10.0000 0.0000 -
2771.03/2781.97 c 2782 1566635 272022 1 10.0000 0.0000 -
2777.01/2787.97 c 2788 1568971 272389 1 10.0000 0.0000 -
2783.19/2794.14 c 2794 1571167 272834 1 10.0000 0.0000 -
2788.97/2799.91 c 2800 1574781 273514 1 10.0000 0.0000 -
2794.15/2805.14 c 2805 1577184 274001 1 10.0000 0.0000 -
2799.52/2810.56 c 2811 1578641 274404 1 10.0000 0.0000 -
2805.11/2816.14 c 2816 1579863 274848 1 10.0000 0.0000 -
2810.58/2821.67 c 2822 1582824 275509 1 10.0000 0.0000 -
2815.87/2826.91 c 2827 1584910 275961 1 10.0000 0.0000 -
2820.95/2832.04 c 2832 1586914 276291 1 10.0000 0.0000 -
2826.02/2837.17 c 2837 1589734 276732 1 10.0000 0.0000 -
2831.29/2842.43 c 2842 1594269 277310 1 10.0000 0.0000 -
2836.67/2847.83 c 2848 1596050 277872 1 10.0000 0.0000 -
2842.45/2853.63 c 2854 1599377 278378 1 10.0000 0.0000 -
2847.84/2859.01 c 2859 1601409 278745 1 10.0000 0.0000 -
2852.92/2864.14 c 2864 1602989 279067 1 10.0000 0.0000 -
2858.20/2869.48 c 2869 1604499 279419 1 10.0000 0.0000 -
2864.07/2875.33 c 2875 1606653 279879 1 10.0000 0.0000 -
2869.15/2880.48 c 2880 1609134 280256 1 10.0000 0.0000 -
2874.93/2886.21 c 2886 1612344 280741 1 10.0000 0.0000 -
2880.11/2891.44 c 2891 1615811 281305 1 10.0000 0.0000 -
2885.87/2897.20 c 2897 1619093 281922 1 10.0000 0.0000 -
2891.16/2902.55 c 2903 1621419 282479 1 10.0000 0.0000 -
2897.04/2908.41 c 2908 1623864 282987 1 10.0000 0.0000 -
2902.91/2914.37 c 2914 1627300 283618 1 10.0000 0.0000 -
2908.79/2920.23 c 2920 1628675 284031 1 10.0000 0.0000 -
2914.67/2926.19 c 2926 1630407 284522 1 10.0000 0.0000 -
2920.04/2931.59 c 2932 1633230 285059 1 10.0000 0.0000 -
2925.63/2937.16 c 2937 1635589 285502 1 10.0000 0.0000 -
2930.70/2942.27 c 2942 1637868 285896 1 10.0000 0.0000 -
2936.48/2948.00 c 2948 1639425 286233 1 10.0000 0.0000 -
2942.35/2953.94 c 2954 1641806 286702 1 10.0000 0.0000 -
2947.53/2959.15 c 2959 1646153 287277 1 10.0000 0.0000 -
2953.70/2965.32 c 2965 1649157 287756 1 10.0000 0.0000 -
2959.87/2971.55 c 2972 1651363 288286 1 10.0000 0.0000 -
2965.56/2977.25 c 2977 1654681 288840 1 10.0000 0.0000 -
2971.03/2982.74 c 2983 1655910 289309 1 10.0000 0.0000 -
2976.81/2988.54 c 2989 1657621 289755 1 10.0000 0.0000 -
2982.68/2994.43 c 2994 1658834 289992 1 10.0000 0.0000 -
2988.56/3000.31 c 3000 1660464 290480 1 10.0000 0.0000 -
2993.84/3005.61 c 3006 1662423 290995 1 10.0000 0.0000 -
2999.41/3011.22 c 3011 1664114 291468 1 10.0000 0.0000 -
3004.39/3016.29 c 3016 1665511 291856 1 10.0000 0.0000 -
3009.86/3021.72 c 3022 1668035 292420 1 10.0000 0.0000 -
3015.54/3027.46 c 3027 1669956 292709 1 10.0000 0.0000 -
3020.62/3032.58 c 3033 1672701 293115 1 10.0000 0.0000 -
3026.39/3038.37 c 3038 1675345 293545 1 10.0000 0.0000 -
3031.97/3043.90 c 3044 1677160 294103 1 10.0000 0.0000 -
3037.05/3049.02 c 3049 1678160 294343 1 10.0000 0.0000 -
3042.32/3054.33 c 3054 1680818 294714 1 10.0000 0.0000 -
3047.89/3059.99 c 3060 1682693 295093 1 10.0000 0.0000 -
3053.08/3065.14 c 3065 1684450 295520 1 10.0000 0.0000 -
3058.16/3070.23 c 3070 1685999 295895 1 10.0000 0.0000 -
3063.94/3076.01 c 3076 1687434 296361 1 10.0000 0.0000 -
3069.40/3081.58 c 3082 1690708 296943 1 10.0000 0.0000 -
3074.48/3086.66 c 3087 1692022 297339 1 10.0000 0.0000 -
3079.96/3092.12 c 3092 1694397 297646 1 10.0000 0.0000 -
3085.63/3097.86 c 3098 1697108 298107 1 10.0000 0.0000 -
3091.51/3103.73 c 3104 1699630 298433 1 10.0000 0.0000 -
3097.58/3109.82 c 3110 1702183 298830 1 10.0000 0.0000 -
3103.16/3115.45 c 3115 1704894 299316 1 10.0000 0.0000 -
3108.73/3121.01 c 3121 1707128 299735 1 10.0000 0.0000 -
3114.81/3127.17 c 3127 1709889 300174 1 10.0000 0.0000 -
3120.38/3132.70 c 3133 1712909 300601 1 10.0000 0.0000 -
3125.56/3137.92 c 3138 1715106 301056 1 10.0000 0.0000 -
3131.43/3143.83 c 3144 1717554 301475 1 10.0000 0.0000 -
3137.21/3149.66 c 3150 1722410 302151 1 10.0000 0.0000 -
3142.98/3155.46 c 3155 1725236 302662 1 10.0000 0.0000 -
3148.36/3160.82 c 3161 1727836 303191 1 10.0000 0.0000 -
3153.43/3165.98 c 3166 1730367 303562 1 10.0000 0.0000 -
3160.61/3173.19 c 3173 1733099 303909 1 10.0000 0.0000 -
3166.88/3179.45 c 3179 1735320 304307 1 10.0000 0.0000 -
3172.46/3185.07 c 3185 1737185 304795 1 10.0000 0.0000 -
3178.44/3191.10 c 3191 1739255 305250 1 10.0000 0.0000 -
3183.71/3196.38 c 3196 1741960 305778 1 10.0000 0.0000 -
3189.18/3201.82 c 3202 1744204 306174 1 10.0000 0.0000 -
3194.17/3206.88 c 3207 1746810 306600 1 10.0000 0.0000 -
3200.25/3212.91 c 3213 1749120 306988 1 10.0000 0.0000 -
3205.23/3217.97 c 3218 1751935 307448 1 10.0000 0.0000 -
3211.01/3223.73 c 3224 1757358 308194 1 10.0000 0.0000 -
3216.69/3229.49 c 3230 1758427 308519 1 10.0000 0.0000 -
3222.46/3235.27 c 3235 1761719 309155 1 10.0000 0.0000 -
3228.25/3241.05 c 3241 1765403 309665 1 10.0000 0.0000 -
3233.83/3246.60 c 3247 1767686 310002 1 10.0000 0.0000 -
3239.70/3252.52 c 3253 1771922 310598 1 10.0000 0.0000 -
3245.49/3258.33 c 3258 1773868 310980 1 10.0000 0.0000 -
3250.57/3263.47 c 3263 1775421 311355 1 10.0000 0.0000 -
3256.25/3269.13 c 3269 1777611 311905 1 10.0000 0.0000 -
3261.62/3274.59 c 3275 1782075 312440 1 10.0000 0.0000 -
3266.91/3279.86 c 3280 1784677 312809 1 10.0000 0.0000 -
3272.78/3285.74 c 3286 1787927 313349 1 10.0000 0.0000 -
3278.76/3291.77 c 3292 1791367 313809 1 10.0000 0.0000 -
3284.04/3297.00 c 3297 1793141 314109 1 10.0000 0.0000 -
3289.91/3302.93 c 3303 1795404 314521 1 10.0000 0.0000 -
3295.69/3308.79 c 3309 1798622 315037 1 10.0000 0.0000 -
3301.57/3314.63 c 3315 1801197 315532 1 10.0000 0.0000 -
3307.46/3320.57 c 3321 1802087 315914 1 10.0000 0.0000 -
3312.94/3326.02 c 3326 1803816 316483 1 10.0000 0.0000 -
3318.11/3331.21 c 3331 1806734 317095 1 10.0000 0.0000 -
3323.99/3337.14 c 3337 1810395 317789 1 10.0000 0.0000 -
3329.38/3342.56 c 3343 1812946 318389 1 10.0000 0.0000 -
3335.25/3348.46 c 3348 1814707 318799 1 10.0000 0.0000 -
3341.23/3354.46 c 3354 1817039 319412 1 10.0000 0.0000 -
3346.81/3360.02 c 3360 1819695 319977 1 10.0000 0.0000 -
3352.69/3365.97 c 3366 1822703 320516 1 10.0000 0.0000 -
3359.16/3372.41 c 3372 1825683 321079 1 10.0000 0.0000 -
3365.14/3378.40 c 3378 1829248 321549 1 10.0000 0.0000 -
3370.62/3383.92 c 3384 1832805 322124 1 10.0000 0.0000 -
3376.60/3389.97 c 3390 1835631 322647 1 10.0000 0.0000 -
3381.88/3395.29 c 3395 1839405 323056 1 10.0000 0.0000 -
3387.76/3401.12 c 3401 1843055 323475 1 10.0000 0.0000 -
3393.04/3406.49 c 3406 1849041 324077 1 10.0000 0.0000 -
3398.72/3412.16 c 3412 1851591 324502 1 10.0000 0.0000 -
3405.29/3418.73 c 3419 1855647 325042 1 10.0000 0.0000 -
3410.47/3423.97 c 3424 1858448 325510 1 10.0000 0.0000 -
3415.66/3429.13 c 3429 1859397 325801 1 10.0000 0.0000 -
3421.14/3434.62 c 3435 1861952 326296 1 10.0000 0.0000 -
3426.22/3439.79 c 3440 1864437 326786 1 10.0000 0.0000 -
3431.70/3445.21 c 3445 1865665 327146 1 10.0000 0.0000 -
3436.67/3450.27 c 3450 1869545 327645 1 10.0000 0.0000 -
3442.56/3456.19 c 3456 1872882 328087 1 10.0000 0.0000 -
3447.93/3461.52 c 3462 1876611 328617 1 10.0000 0.0000 -
3454.31/3467.90 c 3468 1881032 329057 1 10.0000 0.0000 -
3459.88/3473.54 c 3474 1883214 329600 1 10.0000 0.0000 -
3465.57/3479.28 c 3479 1886124 329944 1 10.0000 0.0000 -
3470.85/3484.51 c 3485 1888992 330367 1 10.0000 0.0000 -
3476.22/3489.97 c 3490 1892188 330839 1 10.0000 0.0000 -
3482.21/3495.97 c 3496 1894926 331476 1 10.0000 0.0000 -
3487.98/3501.70 c 3502 1897483 331908 1 10.0000 0.0000 -
3494.05/3507.80 c 3508 1901847 332477 1 10.0000 0.0000 -
3499.35/3513.18 c 3513 1903431 332758 1 10.0000 0.0000 -
3504.42/3518.20 c 3518 1906061 333124 1 10.0000 0.0000 -
3509.59/3523.45 c 3523 1907333 333559 1 10.0000 0.0000 -
3515.08/3528.96 c 3529 1910667 334306 1 10.0000 0.0000 -
3520.75/3534.65 c 3535 1913495 334720 1 10.0000 0.0000 -
3525.93/3539.82 c 3540 1915893 335072 1 10.0000 0.0000 -
3531.22/3545.11 c 3545 1918632 335511 1 10.0000 0.0000 -
3536.30/3550.21 c 3550 1922388 336197 1 10.0000 0.0000 -
3541.38/3555.36 c 3555 1928396 336789 1 10.0000 0.0000 -
3546.46/3560.43 c 3560 1931753 337255 1 10.0000 0.0000 -
3552.14/3566.15 c 3566 1934187 337559 1 10.0000 0.0000 -
3557.82/3571.89 c 3572 1935312 337889 1 10.0000 0.0000 -
3563.59/3577.68 c 3578 1936490 338184 1 10.0000 0.0000 -
3569.38/3583.48 c 3583 1939137 338622 1 10.0000 0.0000 -
3575.45/3589.59 c 3590 1943088 339052 1 10.0000 0.0000 -
3581.03/3595.19 c 3595 1945822 339384 1 10.0000 0.0000 -
3587.02/3601.16 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.02/3601.16 c Total Time : 3601.1700
3587.02/3601.16 c solving : 3601.1700
3587.02/3601.16 c presolving : 0.0049 (included in solving)
3587.02/3601.16 c B&B Tree :
3587.02/3601.16 c nodes (total) : 1
3587.02/3601.16 c Solution :
3587.02/3601.16 c Solutions found : 31
3587.02/3601.16 c Primal Bound : +9.99999999999998e+00
3587.02/3601.16 c Dual Bound : +0.00000000000000e+00
3587.02/3601.16 c Gap : infinite
3587.02/3601.16 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3587.02/3601.17 o 10
3587.02/3601.17 s SATISFIABLE
3587.02/3601.17 v -x172 -x171 -x170 x169 x168 -x167 x166 -x165 -x164 -x163 x162 x161 -x160 x159 -x158 -x157 -x156 -x155 x154 x153 -x152 -x151 -x150
3587.02/3601.17 v x149 x148 x147 x146 -x145 x144 x143 x142 -x141 -x140 x139 -x138 -x137 -x136 x135 x134 -x133 -x132 -x131 x130 -x129 -x128 x127
3587.02/3601.17 v x126 x125 -x124 -x123 x122 -x121 x120 x119 x118 x117 -x116 x115 x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105
3587.02/3601.17 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80
3587.02/3601.17 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 x57 -x56 -x55
3587.02/3601.17 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30
3587.02/3601.17 v -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4
3587.02/3601.17 v -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 (63319 MiB free)
memory of node 1: 64473 MiB (63674 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464029-1722378597/watcher-4464029-1722378597 -o /tmp/evaluation-result-4464029-1722378597/solver-4464029-1722378597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722378597-31855 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464029-1722378597.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=31904, runsolver pid=31899
Current StackSize limit: 8192 KiB
[startup+0.101175 s]*
/proc/loadavg: 0.14 0.11 0.09 5/261 31925
/proc/meminfo: memFree=129990740/131524600 swapFree=131071996/131071996
[pid=31904] ppid=31899 vsize=109572 memory=28332 CPUtime=0.09 cores=0,2
/proc/31904/stat : 31904 (fscip) S 31899 31904 31845 0 -1 1077936128 4477 0 0 0 9 0 0 0 20 0 3 0 4462006 112201728 7083 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
/proc/31904/statm: 27393 7083 2950 3035 0 10648 0
[pid=31904/tid=31911] ppid=31899 vsize=109572 memory=4026531959 CPUtime=0.08 cores=0,2
/proc/31904/task/31911/stat : 31911 (fscip) R 31899 31904 31845 0 -1 4194368 2845 0 0 0 8 0 0 0 20 0 3 0 4462006 112201728 7083 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
[pid=31904/tid=31922] ppid=31899 vsize=109572 memory=219966358789 CPUtime=0 cores=0,2
/proc/31904/task/31922/stat : 31922 (fscip) S 31899 31904 31845 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4462007 112201728 7083 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 109572 KiB
Current children cumulated memory: 28332 KiB
[startup+0.206177 s]*
/proc/loadavg: 0.14 0.11 0.09 6/258 31933
/proc/meminfo: memFree=129884848/131524600 swapFree=131071996/131071996
[pid=31904] ppid=31899 vsize=109572 memory=34932 CPUtime=0.19 cores=0,2
/proc/31904/stat : 31904 (fscip) S 31899 31904 31845 0 -1 1077936128 6159 0 0 0 18 1 0 0 20 0 3 0 4462006 112201728 8733 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
/proc/31904/statm: 27393 8733 2950 3035 0 12576 0
[pid=31904/tid=31911] ppid=31899 vsize=109572 memory=3472328300251644221 CPUtime=0.19 cores=0,2
/proc/31904/task/31911/stat : 31911 (fscip) R 31899 31904 31845 0 -1 4194368 4527 0 0 0 18 1 0 0 20 0 3 0 4462006 112201728 8733 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
[pid=31904/tid=31922] ppid=31899 vsize=109572 memory=215671374179 CPUtime=0 cores=0,2
/proc/31904/task/31922/stat : 31922 (fscip) S 31899 31904 31845 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4462007 112201728 8733 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 109572 KiB
Current children cumulated memory: 34932 KiB
[startup+0.306287 s]*
/proc/loadavg: 0.14 0.11 0.09 4/258 31933
/proc/meminfo: memFree=129870312/131524600 swapFree=131071996/131071996
[pid=31904] ppid=31899 vsize=109572 memory=35196 CPUtime=0.29 cores=0,2
/proc/31904/stat : 31904 (fscip) S 31899 31904 31845 0 -1 1077936128 6190 0 0 0 28 1 0 0 20 0 3 0 4462006 112201728 8799 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
/proc/31904/statm: 27393 8799 2950 3035 0 12576 0
[pid=31904/tid=31911] ppid=31899 vsize=109572 memory=-6000919481296251756 CPUtime=0.28 cores=0,2
/proc/31904/task/31911/stat : 31911 (fscip) R 31899 31904 31845 0 -1 4194368 4558 0 0 0 27 1 0 0 20 0 3 0 4462006 112201728 8799 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
[pid=31904/tid=31922] ppid=31899 vsize=109572 memory=0 CPUtime=0 cores=0,2
/proc/31904/task/31922/stat : 31922 (fscip) S 31899 31904 31845 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4462007 112201728 8799 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 109572 KiB
Current children cumulated memory: 35196 KiB
[startup+0.700195 s]
/proc/loadavg: 0.14 0.11 0.09 4/258 31933
/proc/meminfo: memFree=129805092/131524600 swapFree=131071996/131071996
[pid=31904] ppid=31899 vsize=110136 memory=37720 CPUtime=0.68 cores=0,2
/proc/31904/stat : 31904 (fscip) S 31899 31904 31845 0 -1 1077936128 7143 0 0 0 67 1 0 0 20 0 3 0 4462006 112779264 9430 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
/proc/31904/statm: 27534 9430 2950 3035 0 13217 0
[pid=31904/tid=31911] ppid=31899 vsize=110136 memory=0 CPUtime=0.67 cores=0,2
/proc/31904/task/31911/stat : 31911 (fscip) R 31899 31904 31845 0 -1 4194368 5511 0 0 0 66 1 0 0 20 0 3 0 4462006 112779264 9430 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
[pid=31904/tid=31922] ppid=31899 vsize=110136 memory=0 CPUtime=0 cores=0,2
/proc/31904/task/31922/stat : 31922 (fscip) S 31899 31904 31845 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4462007 112779264 9430 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 110136 KiB
Current children cumulated memory: 37720 KiB
[startup+1.50026 s]
/proc/loadavg: 0.14 0.11 0.09 5/263 31971
/proc/meminfo: memFree=129660816/131524600 swapFree=131071996/131071996
[pid=31904] ppid=31899 vsize=110136 memory=42708 CPUtime=1.47 cores=0,2
/proc/31904/stat : 31904 (fscip) S 31899 31904 31845 0 -1 1077936128 11902 0 0 0 146 1 0 0 20 0 3 0 4462006 112779264 10677 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
/proc/31904/statm: 27534 10677 2950 3035 0 14283 0
[pid=31904/tid=31911] ppid=31899 vsize=110136 memory=0 CPUtime=1.46 cores=0,2
/proc/31904/task/31911/stat : 31911 (fscip) R 31899 31904 31845 0 -1 4194368 10254 0 0 0 145 1 0 0 20 0 3 0 4462006 112779264 10677 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
[pid=31904/tid=31922] ppid=31899 vsize=110136 memory=0 CPUtime=0 cores=0,2
/proc/31904/task/31922/stat : 31922 (fscip) S 31899 31904 31845 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4462007 112779264 10677 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 110136 KiB
Current children cumulated memory: 42708 KiB
[startup+3.10611 s]
/proc/loadavg: 0.14 0.11 0.09 5/265 31973
/proc/meminfo: memFree=129080488/131524600 swapFree=131071996/131071996
[pid=31904] ppid=31899 vsize=111528 memory=51888 CPUtime=3.07 cores=0,2
/proc/31904/stat : 31904 (fscip) S 31899 31904 31845 0 -1 1077936128 15567 0 0 0 305 2 0 0 20 0 3 0 4462006 114204672 12972 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
/proc/31904/statm: 27882 12972 2998 3035 0 16533 0
[pid=31904/tid=31911] ppid=31899 vsize=111528 memory=0 CPUtime=3.06 cores=0,2
/proc/31904/task/31911/stat : 31911 (fscip) R 31899 31904 31845 0 -1 4194368 13843 0 0 0 304 2 0 0 20 0 3 0 4462006 114204672 12972 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
[pid=31904/tid=31922] ppid=31899 vsize=111528 memory=-5155625778232912773 CPUtime=0 cores=0,2
/proc/31904/task/31922/stat : 31922 (fscip) S 31899 31904 31845 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4462007 114204672 12972 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 111528 KiB
Current children cumulated memory: 51888 KiB
[startup+6.30025 s]
/proc/loadavg: 0.45 0.18 0.11 5/267 32031
/proc/meminfo: memFree=128956360/131524600 swapFree=131071996/131071996
[pid=31904] ppid=31899 vsize=112540 memory=62156 CPUtime=6.25 cores=0,2
/proc/31904/stat : 31904 (fscip) S 31899 31904 31845 0 -1 1077936128 24547 0 0 0 622 3 0 0 20 0 3 0 4462006 115240960 15539 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
/proc/31904/statm: 28135 15539 2998 3035 0 19392 0
[pid=31904/tid=31911] ppid=31899 vsize=112540 memory=0 CPUtime=6.24 cores=0,2
/proc/31904/task/31911/stat : 31911 (fscip) R 31899 31904 31845 0 -1 4194368 22797 0 0 0 621 3 0 0 20 0 3 0 4462006 115240960 15539 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
[pid=31904/tid=31922] ppid=31899 vsize=112540 memory=281297675263120 CPUtime=0 cores=0,2
/proc/31904/task/31922/stat : 31922 (fscip) S 31899 31904 31845 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4462007 115240960 15539 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 112540 KiB
Current children cumulated memory: 62156 KiB
[startup+12.7003 s]
/proc/loadavg: 0.73 0.24 0.13 5/267 32032
/proc/meminfo: memFree=128852180/131524600 swapFree=131071996/131071996
[pid=31904] ppid=31899 vsize=116020 memory=81028 CPUtime=12.63 cores=0,2
/proc/31904/stat : 31904 (fscip) S 31899 31904 31845 0 -1 1077936128 45773 0 0 0 1257 6 0 0 20 0 3 0 4462006 118804480 20257 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
/proc/31904/statm: 29005 20257 3302 3035 0 23649 0
[pid=31904/tid=31911] ppid=31899 vsize=116020 memory=0 CPUtime=12.62 cores=0,2
/proc/31904/task/31911/stat : 31911 (fscip) R 31899 31904 31845 0 -1 4194368 43914 0 0 0 1256 6 0 0 20 0 3 0 4462006 118804480 20257 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
[pid=31904/tid=31922] ppid=31899 vsize=116020 memory=0 CPUtime=0 cores=0,2
/proc/31904/task/31922/stat : 31922 (fscip) S 31899 31904 31845 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4462007 118804480 20257 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 116020 KiB
Current children cumulated memory: 81028 KiB
[startup+25.5003 s]
/proc/loadavg: 1.46 0.43 0.20 5/266 32034
/proc/meminfo: memFree=128805168/131524600 swapFree=131071996/131071996
[pid=31904] ppid=31899 vsize=129816 memory=100608 CPUtime=25.38 cores=0,2
/proc/31904/stat : 31904 (fscip) S 31899 31904 31845 0 -1 1077936128 83718 0 0 0 2528 10 0 0 20 0 3 0 4462006 132931584 25152 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
/proc/31904/statm: 32454 25152 3302 3035 0 28848 0
[pid=31904/tid=31911] ppid=31899 vsize=129816 memory=0 CPUtime=25.37 cores=0,2
/proc/31904/task/31911/stat : 31911 (fscip) R 31899 31904 31845 0 -1 4194368 81690 0 0 0 2527 10 0 0 20 0 3 0 4462006 132931584 25152 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
[pid=31904/tid=31922] ppid=31899 vsize=129816 memory=0 CPUtime=0 cores=0,2
/proc/31904/task/31922/stat : 31922 (fscip) S 31899 31904 31845 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4462007 132931584 25152 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 129816 KiB
Current children cumulated memory: 100608 KiB
[startup+51.1062 s]
/proc/loadavg: 2.39 0.73 0.31 5/268 32040
/proc/meminfo: memFree=128291412/131524600 swapFree=131071996/131071996
[pid=31904] ppid=31899 vsize=222736 memory=140464 CPUtime=50.88 cores=0,2
/proc/31904/stat : 31904 (fscip) S 31899 31904 31845 0 -1 1077936128 145624 0 0 0 5070 18 0 0 20 0 3 0 4462006 228081664 35116 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
/proc/31904/statm: 55684 35116 3302 3035 0 39733 0
[pid=31904/tid=31911] ppid=31899 vsize=222736 memory=11728 CPUtime=50.87 cores=0,2
/proc/31904/task/31911/stat : 31911 (fscip) R 31899 31904 31845 0 -1 4194368 143420 0 0 0 5069 18 0 0 20 0 3 0 4462006 228081664 35116 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
[pid=31904/tid=31922] ppid=31899 vsize=222736 memory=-7091880254810185079 CPUtime=0 cores=0,2
/proc/31904/task/31922/stat : 31922 (fscip) S 31899 31904 31845 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 4462007 228081664 35116 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 222736 KiB
Current children cumulated memory: 140464 KiB
[startup+102.3 s]
/proc/loadavg: 3.30 1.24 0.50 5/268 32051
/proc/meminfo: memFree=128151644/131524600 swapFree=131071996/131071996
[pid=31904] ppid=31899 vsize=307264 memory=217664 CPUtime=101.86 cores=0,2
/proc/31904/stat : 31904 (fscip) S 31899 31904 31845 0 -1 1077936128 241299 0 0 0 10154 32 0 0 20 0 3 0 4462006 314638336 54416 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
/proc/31904/statm: 76816 54416 3302 3035 0 60426 0
[pid=31904/tid=31911] ppid=31899 vsize=307264 memory=213660 CPUtime=101.83 cores=0,2
/proc/31904/task/31911/stat : 31911 (fscip) R 31899 31904 31845 0 -1 4194368 239020 0 0 0 10152 31 0 0 20 0 3 0 4462006 314638336 54416 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
[pid=31904/tid=31922] ppid=31899 vsize=307264 memory=211196 CPUtime=0 cores=0,2
/proc/31904/task/31922/stat : 31922 (fscip) S 31899 31904 31845 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 4462007 314638336 54416 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 307264 KiB
Current children cumulated memory: 217664 KiB
[startup+162.3 s]
/proc/loadavg: 3.79 1.76 0.73 5/268 32061
/proc/meminfo: memFree=127636188/131524600 swapFree=131071996/131071996
[pid=31904] ppid=31899 vsize=347000 memory=303820 CPUtime=161.62 cores=0,2
/proc/31904/stat : 31904 (fscip) S 31899 31904 31845 0 -1 1077936128 337443 0 0 0 16117 45 0 0 20 0 3 0 4462006 355328000 75955 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
/proc/31904/statm: 86750 75955 3302 3035 0 82964 0
[pid=31904/tid=31911] ppid=31899 vsize=347000 memory=180220 CPUtime=161.6 cores=0,2
/proc/31904/task/31911/stat : 31911 (fscip) R 31899 31904 31845 0 -1 4194368 335012 0 0 0 16115 45 0 0 20 0 3 0 4462006 355328000 75955 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
[pid=31904/tid=31922] ppid=31899 vsize=347000 memory=5504 CPUtime=0 cores=0,2
/proc/31904/task/31922/stat : 31922 (fscip) S 31899 31904 31845 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 4462007 355328000 75955 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 347000 KiB
################
# More data... #
################
/proc/31904/statm: 543176 527360 3302 3035 0 537567 0
[pid=31904/tid=31911] ppid=31899 vsize=2172704 memory=2026872 CPUtime=3448.51 cores=0,2
/proc/31904/task/31911/stat : 31911 (fscip) R 31899 31904 31845 0 -1 4194368 6692919 0 0 0 344013 838 0 0 20 0 3 0 4462006 2224848896 527360 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
[pid=31904/tid=31922] ppid=31899 vsize=2172704 memory=2030164 CPUtime=0.03 cores=0,2
/proc/31904/task/31922/stat : 31922 (fscip) S 31899 31904 31845 0 -1 1077936192 158 0 0 0 0 3 0 0 20 0 3 0 4462007 2224848896 527360 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
Current children cumulated CPU time: 3448.73 s
Current children cumulated vsize: 2172704 KiB
Current children cumulated memory: 2109440 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.13 4.06 5/266 33809
/proc/meminfo: memFree=123728272/131524600 swapFree=131071996/131071996
[pid=31904] ppid=31899 vsize=2249636 memory=2133184 CPUtime=3508.5 cores=0,2
/proc/31904/stat : 31904 (fscip) S 31899 31904 31845 0 -1 1077936128 6786090 0 0 0 349994 856 0 0 20 0 3 0 4462006 2303627264 533296 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
/proc/31904/statm: 562409 533296 3302 3035 0 541785 0
[pid=31904/tid=31911] ppid=31899 vsize=2249636 memory=2115432 CPUtime=3508.27 cores=0,2
/proc/31904/task/31911/stat : 31911 (fscip) R 31899 31904 31845 0 -1 4194368 6782679 0 0 0 349978 849 0 0 20 0 3 0 4462006 2303627264 533296 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
[pid=31904/tid=31922] ppid=31899 vsize=2249636 memory=12788 CPUtime=0.03 cores=0,2
/proc/31904/task/31922/stat : 31922 (fscip) S 31899 31904 31845 0 -1 1077936192 165 0 0 0 0 3 0 0 20 0 3 0 4462007 2303627264 533296 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
Current children cumulated CPU time: 3508.5 s
Current children cumulated vsize: 2249636 KiB
Current children cumulated memory: 2133184 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.12 4.06 5/266 33819
/proc/meminfo: memFree=123666612/131524600 swapFree=131071996/131071996
[pid=31904] ppid=31899 vsize=2295412 memory=2163204 CPUtime=3568.28 cores=0,2
/proc/31904/stat : 31904 (fscip) S 31899 31904 31845 0 -1 1077936128 6919936 0 0 0 355958 870 0 0 20 0 3 0 4462006 2350501888 540801 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
/proc/31904/statm: 573853 540801 3302 3035 0 554727 0
[pid=31904/tid=31911] ppid=31899 vsize=2295412 memory=12788 CPUtime=3568.05 cores=0,2
/proc/31904/task/31911/stat : 31911 (fscip) R 31899 31904 31845 0 -1 4194368 6916507 0 0 0 355943 862 0 0 20 0 3 0 4462006 2350501888 540801 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
[pid=31904/tid=31922] ppid=31899 vsize=2295412 memory=12796 CPUtime=0.03 cores=0,2
/proc/31904/task/31922/stat : 31922 (fscip) S 31899 31904 31845 0 -1 1077936192 167 0 0 0 0 3 0 0 20 0 3 0 4462007 2350501888 540801 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
Current children cumulated CPU time: 3568.28 s
Current children cumulated vsize: 2295412 KiB
Current children cumulated memory: 2163204 KiB
[startup+3601.17 s]
# the end of solver process 31904 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3578.28 s, system=8.81199 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.06 4.12 4.06 5/266 33819
/proc/meminfo: memFree=123666020/131524600 swapFree=131071996/131071996
[pid=31904] ppid=31899 vsize=2295412 memory=2163212 CPUtime=3569.98 cores=0,2
/proc/31904/stat : 31904 (fscip) S 31899 31904 31845 0 -1 1077936128 6925251 0 0 0 356128 870 0 0 20 0 3 0 4462006 2350501888 540803 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
/proc/31904/statm: 573853 540803 3302 3035 0 554727 0
[pid=31904/tid=31911] ppid=31899 vsize=2295412 memory=-7019822660772257658 CPUtime=3569.75 cores=0,2
/proc/31904/task/31911/stat : 31911 (fscip) R 31899 31904 31845 0 -1 4194368 6921830 0 0 0 356112 863 0 0 20 0 3 0 4462006 2350501888 540803 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
[pid=31904/tid=31922] ppid=31899 vsize=2295412 memory=-4050210904893736590 CPUtime=0.03 cores=0,2
/proc/31904/task/31922/stat : 31922 (fscip) S 31899 31904 31845 0 -1 1077936192 167 0 0 0 0 3 0 0 20 0 3 0 4462007 2350501888 540803 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
Current children cumulated CPU time: 3569.98 s
Current children cumulated vsize: 2295412 KiB
Current children cumulated memory: 2163212 KiB
[startup+3590.4 s]
/proc/loadavg: 4.05 4.12 4.05 5/266 33820
/proc/meminfo: memFree=123662704/131524600 swapFree=131071996/131071996
[pid=31904] ppid=31899 vsize=2296440 memory=2165328 CPUtime=3576.34 cores=0,2
/proc/31904/stat : 31904 (fscip) S 31899 31904 31845 0 -1 1077936128 6942116 0 0 0 356762 872 0 0 20 0 3 0 4462006 2351554560 541332 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
/proc/31904/statm: 574110 541332 3302 3035 0 555160 0
[pid=31904/tid=31911] ppid=31899 vsize=2296440 memory=2163168 CPUtime=3576.12 cores=0,2
/proc/31904/task/31911/stat : 31911 (fscip) R 31899 31904 31845 0 -1 4194368 6938687 0 0 0 356747 865 0 0 20 0 3 0 4462006 2351554560 541332 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
[pid=31904/tid=31922] ppid=31899 vsize=2296440 memory=2163940 CPUtime=0.03 cores=0,2
/proc/31904/task/31922/stat : 31922 (fscip) S 31899 31904 31845 0 -1 1077936192 167 0 0 0 0 3 0 0 20 0 3 0 4462007 2351554560 541332 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
Current children cumulated CPU time: 3576.34 s
Current children cumulated vsize: 2296440 KiB
Current children cumulated memory: 2165328 KiB
[startup+3596.8 s]
/proc/loadavg: 4.05 4.12 4.05 5/266 33820
/proc/meminfo: memFree=123658540/131524600 swapFree=131071996/131071996
[pid=31904] ppid=31899 vsize=2298552 memory=2169080 CPUtime=3582.72 cores=0,2
/proc/31904/stat : 31904 (fscip) S 31899 31904 31845 0 -1 1077936128 6955623 0 0 0 357398 874 0 0 20 0 3 0 4462006 2353717248 542270 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
/proc/31904/statm: 574638 542270 3302 3035 0 556353 0
[pid=31904/tid=31911] ppid=31899 vsize=2298552 memory=2164084 CPUtime=3582.49 cores=0,2
/proc/31904/task/31911/stat : 31911 (fscip) R 31899 31904 31845 0 -1 4194368 6952194 0 0 0 357382 867 0 0 20 0 3 0 4462006 2353717248 542270 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
[pid=31904/tid=31922] ppid=31899 vsize=2298552 memory=11728 CPUtime=0.03 cores=0,2
/proc/31904/task/31922/stat : 31922 (fscip) S 31899 31904 31845 0 -1 1077936192 167 0 0 0 0 3 0 0 20 0 3 0 4462007 2353717248 542270 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
Current children cumulated CPU time: 3582.72 s
Current children cumulated vsize: 2298552 KiB
Current children cumulated memory: 2169080 KiB
[startup+3598.4 s]
/proc/loadavg: 4.05 4.12 4.05 5/266 33822
/proc/meminfo: memFree=123658120/131524600 swapFree=131071996/131071996
[pid=31904] ppid=31899 vsize=2298552 memory=2169112 CPUtime=3584.31 cores=0,2
/proc/31904/stat : 31904 (fscip) S 31899 31904 31845 0 -1 1077936128 6967042 0 0 0 357556 875 0 0 20 0 3 0 4462006 2353717248 542278 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
/proc/31904/statm: 574638 542278 3302 3035 0 556353 0
[pid=31904/tid=31911] ppid=31899 vsize=2298552 memory=7235995326633763921 CPUtime=3584.09 cores=0,2
/proc/31904/task/31911/stat : 31911 (fscip) R 31899 31904 31845 0 -1 4194368 6963612 0 0 0 357541 868 0 0 20 0 3 0 4462006 2353717248 542278 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
[pid=31904/tid=31922] ppid=31899 vsize=2298552 memory=2169112 CPUtime=0.03 cores=0,2
/proc/31904/task/31922/stat : 31922 (fscip) S 31899 31904 31845 0 -1 1077936192 167 0 0 0 0 3 0 0 20 0 3 0 4462007 2353717248 542278 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
Current children cumulated CPU time: 3584.31 s
Current children cumulated vsize: 2298552 KiB
Current children cumulated memory: 2169112 KiB
[startup+3600 s]*
/proc/loadavg: 4.04 4.11 4.05 5/263 33915
/proc/meminfo: memFree=126137760/131524600 swapFree=131071996/131071996
[pid=31904] ppid=31899 vsize=2146952 memory=2017516 CPUtime=3585.91 cores=0,2
/proc/31904/stat : 31904 (fscip) S 31899 31904 31845 0 -1 1077936128 6985377 0 0 0 357714 877 0 0 20 0 3 0 4462006 2198478848 504379 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
/proc/31904/statm: 536738 504379 3302 3035 0 518453 0
[pid=31904/tid=31911] ppid=31899 vsize=2146952 memory=-6000919502838131052 CPUtime=3585.69 cores=0,2
/proc/31904/task/31911/stat : 31911 (fscip) R 31899 31904 31845 0 -1 4194368 6981947 0 0 0 357699 870 0 0 20 0 3 0 4462006 2198478848 504379 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
[pid=31904/tid=31922] ppid=31899 vsize=2146952 memory=30180 CPUtime=0.03 cores=0,2
/proc/31904/task/31922/stat : 31922 (fscip) S 31899 31904 31845 0 -1 1077936192 167 0 0 0 0 3 0 0 20 0 3 0 4462007 2198478848 504379 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
Current children cumulated CPU time: 3585.91 s
Current children cumulated vsize: 2146952 KiB
Current children cumulated memory: 2017516 KiB
[startup+3600.8 s]
/proc/loadavg: 4.04 4.11 4.05 5/263 33915
/proc/meminfo: memFree=126137760/131524600 swapFree=131071996/131071996
[pid=31904] ppid=31899 vsize=2073196 memory=1943768 CPUtime=3586.71 cores=0,2
/proc/31904/stat : 31904 (fscip) S 31899 31904 31845 0 -1 1077936128 6988630 0 0 0 357793 878 0 0 20 0 3 0 4462006 2122952704 485942 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
/proc/31904/statm: 518299 485942 3302 3035 0 500014 0
[pid=31904/tid=31911] ppid=31899 vsize=2073196 memory=40004 CPUtime=3586.48 cores=0,2
/proc/31904/task/31911/stat : 31911 (fscip) R 31899 31904 31845 0 -1 4194368 6985200 0 0 0 357778 870 0 0 20 0 3 0 4462006 2122952704 485942 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
[pid=31904/tid=31922] ppid=31899 vsize=2073196 memory=8268 CPUtime=0.03 cores=0,2
/proc/31904/task/31922/stat : 31922 (fscip) S 31899 31904 31845 0 -1 1077936192 167 0 0 0 0 3 0 0 20 0 3 0 4462007 2122952704 485942 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
Current children cumulated CPU time: 3586.71 s
Current children cumulated vsize: 2073196 KiB
Current children cumulated memory: 1943768 KiB
[startup+3601 s]*
/proc/loadavg: 4.04 4.11 4.05 5/257 33937
/proc/meminfo: memFree=127621956/131524600 swapFree=131071996/131071996
[pid=31904] ppid=31899 vsize=2061932 memory=1932504 CPUtime=3586.92 cores=0,2
/proc/31904/stat : 31904 (fscip) S 31899 31904 31845 0 -1 1077936128 6989847 0 0 0 357814 878 0 0 20 0 3 0 4462006 2111418368 483126 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
/proc/31904/statm: 515483 483126 3302 3035 0 497198 0
[pid=31904/tid=31911] ppid=31899 vsize=2061932 memory=4864 CPUtime=3586.68 cores=0,2
/proc/31904/task/31911/stat : 31911 (fscip) R 31899 31904 31845 0 -1 4194368 6986417 0 0 0 357798 870 0 0 20 0 3 0 4462006 2111418368 483126 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
[pid=31904/tid=31922] ppid=31899 vsize=2061932 memory=12796 CPUtime=0.03 cores=0,2
/proc/31904/task/31922/stat : 31922 (fscip) S 31899 31904 31845 0 -1 1077936192 167 0 0 0 0 3 0 0 20 0 3 0 4462007 2111418368 483126 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
Current children cumulated CPU time: 3586.92 s
Current children cumulated vsize: 2061932 KiB
Current children cumulated memory: 1932504 KiB
[startup+3601.11 s]
/proc/loadavg: 4.04 4.11 4.05 5/257 33937
/proc/meminfo: memFree=127621956/131524600 swapFree=131071996/131071996
[pid=31904] ppid=31899 vsize=2055788 memory=1926360 CPUtime=3587.02 cores=0,2
/proc/31904/stat : 31904 (fscip) S 31899 31904 31845 0 -1 1077936128 6990232 0 0 0 357824 878 0 0 20 0 3 0 4462006 2105126912 481590 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
/proc/31904/statm: 513947 481590 3302 3035 0 495662 0
[pid=31904/tid=31911] ppid=31899 vsize=2055788 memory=2163204 CPUtime=3586.78 cores=0,2
/proc/31904/task/31911/stat : 31911 (fscip) R 31899 31904 31845 0 -1 4194368 6986802 0 0 0 357808 870 0 0 20 0 3 0 4462006 2105126912 481590 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
[pid=31904/tid=31922] ppid=31899 vsize=2055788 memory=2163204 CPUtime=0.03 cores=0,2
/proc/31904/task/31922/stat : 31922 (fscip) S 31899 31904 31845 0 -1 1077936192 167 0 0 0 0 3 0 0 20 0 3 0 4462007 2105126912 481590 134679101440 4194304 16623229 140732412993760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34340864 140732413002774 140732413002890 140732413002890 140732413009904 0
Current children cumulated CPU time: 3587.02 s
Current children cumulated vsize: 2055788 KiB
Current children cumulated memory: 1926360 KiB
Child status: 0
Real time (s): 3601.17
CPU time (s): 3587.09
CPU user time (s): 3578.28
CPU system time (s): 8.81199
CPU usage (%): 99.6089
Max. virtual memory (cumulated for all children) (KiB): 2298552
Max. memory (cumulated for all children) (KiB): 2169112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.28
system time used= 8.81199
maximum resident set size= 2169112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6990727
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= 10358
involuntary context switches= 24623
# summary of solver processes directly reported to runsolver:
# pid: 31904
# total CPU time (s): 3587.09
# total CPU user time (s): 3578.28
# total CPU system time (s): 8.81199
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.71326 second user time and 18.7876 second system time
The end
Begin job on nodeC033 at 2024-07-31 00:29:57
IDJOB=4464029
IDBENCH=147611
IDSOLVER=3092
FILE ID=nodeC033/4464029-1722378597
RUNJOBID= nodeC033-1722378597-31855
SLURM_JOB_ID= 8249856
Free space on /tmp= 890084 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464029-1722378597/watcher-4464029-1722378597 -o /tmp/evaluation-result-4464029-1722378597/solver-4464029-1722378597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722378597-31855 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464029-1722378597.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 39a6e806d7aaba09f767f3cbd6afa1ec
RANDOM SEED=576650998
nodeC033.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 : 3503.967
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.99
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 : 3663.197
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.79
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 : 3613.564
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.99
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 : 3199.992
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.79
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 : 3651.265
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.99
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 : 3590.575
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.79
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 : 3589.633
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.99
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 : 3585.390
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 130050940 kB
MemAvailable: 129853216 kB
Buffers: 85764 kB
Cached: 553460 kB
SwapCached: 0 kB
Active: 258940 kB
Inactive: 746164 kB
Active(anon): 1444 kB
Inactive(anon): 385820 kB
Active(file): 257496 kB
Inactive(file): 360344 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 116440 kB
Writeback: 0 kB
AnonPages: 366004 kB
Mapped: 88068 kB
Shmem: 21336 kB
KReclaimable: 48520 kB
Slab: 128996 kB
SReclaimable: 48520 kB
SUnreclaim: 80476 kB
KernelStack: 3952 kB
PageTables: 9412 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 688808 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9536 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: 283348 kB
DirectMap2M: 8927232 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC033 at 2024-07-31 01:29:58