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 = 22806528, getVmSize() = 22806528, SCIPgetMemUsed() = 1113306, SCIPgetMemTotal() = 1411250, 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 = 16439978, getVmSize() = 26513408, SCIPgetMemUsed() = 2069866, SCIPgetMemTotal() = 4026418, 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-4434699-1721098022
0.00/0.00 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 16
0.00/0.00 c Objective sense : minimize
0.00/0.00 c Presolved Problem :
0.00/0.00 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 14
0.00/0.00 c Constraints : Number
0.00/0.00 c linear : 11
0.00/0.00 c logicor : 3
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.02 c * 0 0 1 1 1388.0000 - -
0.00/0.04 c * 0 0 1 1 1152.0000 - -
0.20/0.27 c * 0 2 1 1 1091.0000 0.0000 -
0.20/0.29 c * 0 2 1 1 952.0000 0.0000 -
0.30/0.31 c * 0 2 1 1 837.0000 0.0000 -
1.09/1.19 c * 1 369 368 1 778.0000 0.0000 -
1.38/1.40 c * 1 369 368 1 753.0000 0.0000 -
1.58/1.61 c * 2 369 368 1 671.0000 0.0000 -
2.48/2.50 c * 2 1003 1002 1 431.0000 0.0000 -
2.78/2.85 c * 3 1003 1002 1 337.0000 0.0000 -
3.28/3.30 c * 3 1487 437 1 238.0000 0.0000 -
5.27/5.31 c 5 2149 1095 1 238.0000 0.0000 -
5.66/5.77 c * 6 2149 1095 1 144.0000 0.0000 -
10.35/10.42 c 10 4361 3078 1 144.0000 0.0000 -
15.04/15.13 c * 15 6615 4888 1 142.0000 0.0000 -
15.43/15.56 c 16 7295 5354 1 142.0000 0.0000 -
16.42/16.56 c * 17 7653 5616 1 141.0000 0.0000 -
16.42/16.57 c * 17 7653 5616 1 137.0000 0.0000 -
20.51/20.66 c 21 9671 7084 1 137.0000 0.0000 -
20.91/21.02 c * 21 9671 7084 1 136.0000 0.0000 -
20.91/21.03 c * 21 9671 7084 1 134.0000 0.0000 -
25.69/25.82 c 26 12366 9060 1 134.0000 0.0000 -
30.98/31.11 c 31 14091 10396 1 134.0000 0.0000 -
36.05/36.28 c 36 15913 11690 1 134.0000 0.0000 -
41.23/41.47 c 41 17882 13161 1 134.0000 0.0000 -
46.41/46.69 c 47 20106 14673 1 134.0000 0.0000 -
51.59/51.83 c 52 22309 16252 1 134.0000 0.0000 -
56.57/56.89 c 57 24573 17914 1 134.0000 0.0000 -
61.76/62.01 c 62 26169 19079 1 134.0000 0.0000 -
66.84/67.12 c 67 27694 20160 1 134.0000 0.0000 -
71.91/72.29 c 72 29487 21421 1 134.0000 0.0000 -
77.09/77.46 c 77 31225 22729 1 134.0000 0.0000 -
82.27/82.60 c 83 32770 23944 1 134.0000 0.0000 -
87.45/87.80 c 88 34898 25410 1 134.0000 0.0000 -
92.63/93.05 c 93 36533 26573 1 134.0000 0.0000 -
97.81/98.27 c 98 38502 27924 1 134.0000 0.0000 -
102.99/103.45 c 103 40010 28984 1 134.0000 0.0000 -
108.45/108.91 c 109 41418 30000 1 134.0000 0.0000 -
113.55/114.06 c 114 42838 31034 1 134.0000 0.0000 -
118.62/119.17 c 119 44851 32539 1 134.0000 0.0000 -
123.90/124.42 c 124 46585 33803 1 134.0000 0.0000 -
129.08/129.61 c 130 48355 35207 1 134.0000 0.0000 -
134.16/134.77 c 135 50576 36838 1 134.0000 0.0000 -
139.22/139.86 c 140 52934 38402 1 134.0000 0.0000 -
144.71/145.38 c 145 54587 39547 1 134.0000 0.0000 -
149.78/150.45 c 150 56276 40726 1 134.0000 0.0000 -
154.97/155.66 c 156 57759 41757 1 134.0000 0.0000 -
160.14/160.82 c 161 59820 43454 1 134.0000 0.0000 -
165.42/166.10 c 166 62266 45440 1 134.0000 0.0000 -
170.49/171.26 c 171 64443 46943 1 134.0000 0.0000 -
175.68/176.46 c 176 67183 48871 1 134.0000 0.0000 -
181.05/181.89 c 182 70223 50900 1 134.0000 0.0000 -
186.24/187.02 c 187 73037 52846 1 134.0000 0.0000 -
191.41/192.20 c 192 74523 53980 1 134.0000 0.0000 -
196.49/197.38 c 197 75789 54996 1 134.0000 0.0000 -
201.97/202.83 c 203 77188 56183 1 134.0000 0.0000 -
207.26/208.17 c 208 78323 57218 1 134.0000 0.0000 -
212.53/213.45 c 213 79790 58439 1 134.0000 0.0000 -
217.71/218.63 c 219 81253 59658 1 134.0000 0.0000 -
222.88/223.88 c 224 83174 61165 1 134.0000 0.0000 -
228.07/229.06 c 229 85412 62789 1 134.0000 0.0000 -
233.34/234.30 c 234 87490 64343 1 134.0000 0.0000 -
238.52/239.59 c 240 90749 66364 1 134.0000 0.0000 -
243.80/244.83 c 245 93012 67893 1 134.0000 0.0000 -
248.98/250.00 c 250 95138 69305 1 134.0000 0.0000 -
254.07/255.11 c 255 96790 70453 1 134.0000 0.0000 -
259.14/260.24 c 260 98918 71885 1 134.0000 0.0000 -
264.33/265.47 c 265 100312 72841 1 134.0000 0.0000 -
269.91/271.05 c 271 102277 74182 1 134.0000 0.0000 -
275.08/276.25 c 276 104197 75470 1 134.0000 0.0000 -
280.56/281.76 c 282 105932 76575 1 134.0000 0.0000 -
285.65/286.87 c 287 107383 77540 1 134.0000 0.0000 -
290.93/292.15 c 292 109475 79002 1 134.0000 0.0000 -
296.11/297.34 c 297 111920 80687 1 134.0000 0.0000 -
301.29/302.53 c 303 113964 82047 1 134.0000 0.0000 -
306.56/307.87 c 308 115818 83417 1 134.0000 0.0000 -
311.86/313.13 c 313 117750 84673 1 134.0000 0.0000 -
317.13/318.42 c 318 119341 85714 1 134.0000 0.0000 -
322.41/323.73 c 324 121383 86964 1 134.0000 0.0000 -
327.59/328.99 c 329 122897 87966 1 134.0000 0.0000 -
332.87/334.20 c 334 124238 88929 1 134.0000 0.0000 -
338.06/339.43 c 339 125818 89987 1 134.0000 0.0000 -
343.64/345.01 c 345 127077 90848 1 134.0000 0.0000 -
348.92/350.36 c 350 128515 91896 1 134.0000 0.0000 -
354.19/355.63 c 356 130435 93068 1 134.0000 0.0000 -
359.38/360.86 c 361 132463 94430 1 134.0000 0.0000 -
362.67/364.13 c * 364 133204 94871 1 88.0000 0.0000 -
365.85/367.39 c 367 134229 61213 1 88.0000 0.0000 -
366.25/367.76 c * 368 134229 61213 1 84.0000 0.0000 -
371.54/373.10 c 373 136743 62223 1 84.0000 0.0000 -
376.72/378.23 c 378 139048 63590 1 84.0000 0.0000 -
381.80/383.39 c 383 141973 65116 1 84.0000 0.0000 -
387.28/388.86 c 389 144430 66571 1 84.0000 0.0000 -
387.68/389.23 c * 389 144430 66571 1 83.0000 0.0000 -
392.46/394.01 c 394 146538 67632 1 83.0000 0.0000 -
397.83/399.43 c 399 149068 69062 1 83.0000 0.0000 -
403.02/404.60 c 405 151332 70350 1 83.0000 0.0000 -
408.10/409.78 c 410 152979 71453 1 83.0000 0.0000 -
413.39/415.00 c 415 155315 72981 1 83.0000 0.0000 -
418.76/420.47 c 420 158575 74831 1 83.0000 0.0000 -
424.04/425.73 c 426 160499 75971 1 83.0000 0.0000 -
427.34/429.02 c * 429 161782 76740 1 82.0000 0.0000 -
427.34/429.05 c * 429 161782 76740 1 80.0000 0.0000 -
429.33/431.06 c 431 162639 75801 1 80.0000 0.0000 -
435.00/436.74 c 437 164988 77074 1 80.0000 0.0000 -
437.80/439.51 c * 440 165509 77397 1 78.0000 0.0000 -
437.80/439.55 c * 440 165509 77397 1 76.0000 0.0000 -
440.39/442.15 c 442 166830 77029 1 76.0000 0.0000 -
445.57/447.38 c 447 168335 77922 1 76.0000 0.0000 -
450.75/452.53 c 453 170404 79065 1 76.0000 0.0000 -
455.82/457.69 c 458 171888 79963 1 76.0000 0.0000 -
461.01/462.88 c 463 173820 80973 1 76.0000 0.0000 -
466.29/468.15 c 468 176017 82118 1 76.0000 0.0000 -
471.77/473.68 c 474 178019 83250 1 76.0000 0.0000 -
477.55/479.45 c 479 180267 84350 1 76.0000 0.0000 -
482.83/484.70 c 485 182686 85499 1 76.0000 0.0000 -
487.91/489.85 c 490 184656 86621 1 76.0000 0.0000 -
493.09/495.07 c 495 186765 87708 1 76.0000 0.0000 -
498.37/500.38 c 500 188554 88766 1 76.0000 0.0000 -
503.85/505.84 c 506 190871 90061 1 76.0000 0.0000 -
509.14/511.17 c 511 193823 91630 1 76.0000 0.0000 -
514.52/516.51 c 517 196475 92988 1 76.0000 0.0000 -
519.59/521.61 c 522 197713 93734 1 76.0000 0.0000 -
524.99/527.02 c 527 199618 94779 1 76.0000 0.0000 -
530.36/532.49 c 532 202221 96032 1 76.0000 0.0000 -
535.85/537.92 c 538 204507 97262 1 76.0000 0.0000 -
541.32/543.42 c 543 205943 98060 1 76.0000 0.0000 -
547.80/549.94 c 550 207321 98891 1 76.0000 0.0000 -
553.17/555.40 c 555 208542 99774 1 76.0000 0.0000 -
558.87/561.08 c 561 209620 100676 1 76.0000 0.0000 -
564.64/566.83 c 567 210642 101522 1 76.0000 0.0000 -
569.83/572.04 c 572 211283 102014 1 76.0000 0.0000 -
575.00/577.29 c 577 212427 102858 1 76.0000 0.0000 -
580.48/582.72 c 583 213897 103876 1 76.0000 0.0000 -
586.06/588.34 c 588 215190 104755 1 76.0000 0.0000 -
591.44/593.75 c 594 216381 105596 1 76.0000 0.0000 -
596.62/598.99 c 599 217685 106526 1 76.0000 0.0000 -
601.90/604.22 c 604 218980 107459 1 76.0000 0.0000 -
607.08/609.49 c 609 219989 108150 1 76.0000 0.0000 -
612.36/614.77 c 615 221452 109095 1 76.0000 0.0000 -
617.75/620.11 c 620 222546 109893 1 76.0000 0.0000 -
623.12/625.53 c 626 223887 110776 1 76.0000 0.0000 -
628.50/630.97 c 631 225201 111720 1 76.0000 0.0000 -
633.78/636.21 c 636 226371 112596 1 76.0000 0.0000 -
638.96/641.49 c 641 227476 113385 1 76.0000 0.0000 -
644.05/646.52 c 647 228529 114098 1 76.0000 0.0000 -
649.32/651.82 c 652 229837 115014 1 76.0000 0.0000 -
654.51/657.01 c 657 230843 115778 1 76.0000 0.0000 -
660.18/662.71 c 663 231878 116577 1 76.0000 0.0000 -
665.86/668.42 c 668 232909 117362 1 76.0000 0.0000 -
671.24/673.88 c 674 233565 117880 1 76.0000 0.0000 -
672.64/675.28 c * 675 233719 117992 1 74.0000 0.0000 -
676.63/679.21 c 679 234767 117617 1 74.0000 0.0000 -
681.70/684.35 c 684 236229 118551 1 74.0000 0.0000 -
684.89/687.59 c * 688 236610 118798 1 64.0000 0.0000 -
687.08/689.72 c 690 237152 87747 1 64.0000 0.0000 -
692.37/695.08 c 695 238426 88645 1 64.0000 0.0000 -
698.14/700.84 c 701 239137 89221 1 64.0000 0.0000 -
703.52/706.20 c 706 240348 90127 1 64.0000 0.0000 -
708.90/711.61 c 712 241529 90905 1 64.0000 0.0000 -
714.18/716.92 c 717 242701 91705 1 64.0000 0.0000 -
719.86/722.61 c 723 243826 92486 1 64.0000 0.0000 -
725.35/728.15 c 728 244779 93189 1 64.0000 0.0000 -
730.72/733.52 c 734 245962 94012 1 64.0000 0.0000 -
735.90/738.72 c 739 246857 94629 1 64.0000 0.0000 -
741.38/744.21 c 744 247957 95361 1 64.0000 0.0000 -
747.06/749.92 c 750 249440 96248 1 64.0000 0.0000 -
752.84/755.75 c 756 250459 96951 1 64.0000 0.0000 -
758.33/761.27 c 761 251404 97657 1 64.0000 0.0000 -
763.90/766.90 c 767 252490 98347 1 64.0000 0.0000 -
769.10/772.08 c 772 253960 99299 1 64.0000 0.0000 -
774.86/777.84 c 778 255045 100046 1 64.0000 0.0000 -
780.34/783.31 c 783 256484 100931 1 64.0000 0.0000 -
784.14/787.13 c * 787 257195 101372 1 62.0000 0.0000 -
784.14/787.18 c * 787 257195 101372 1 60.0000 0.0000 -
786.03/789.01 c 789 257692 100890 1 60.0000 0.0000 -
792.01/795.01 c 795 259343 101828 1 60.0000 0.0000 -
797.48/800.59 c 801 260423 102588 1 60.0000 0.0000 -
802.97/806.08 c 806 262064 103547 1 60.0000 0.0000 -
808.35/811.43 c 811 263512 104441 1 60.0000 0.0000 -
813.83/816.91 c 817 264703 105112 1 60.0000 0.0000 -
819.50/822.62 c 823 266238 105945 1 60.0000 0.0000 -
825.09/828.21 c 828 267352 106705 1 60.0000 0.0000 -
830.87/834.06 c 834 268283 107435 1 60.0000 0.0000 -
836.85/840.06 c 840 269293 108169 1 60.0000 0.0000 -
842.32/845.55 c 846 270330 108915 1 60.0000 0.0000 -
847.82/851.04 c 851 271332 109515 1 60.0000 0.0000 -
853.29/856.52 c 857 272601 110316 1 60.0000 0.0000 -
858.56/861.81 c 862 273638 110961 1 60.0000 0.0000 -
863.75/867.01 c 867 274738 111609 1 60.0000 0.0000 -
869.03/872.34 c 872 276189 112538 1 60.0000 0.0000 -
874.50/877.89 c 878 277210 113131 1 60.0000 0.0000 -
879.89/883.25 c 883 278470 113945 1 60.0000 0.0000 -
885.37/888.78 c 889 279533 114568 1 60.0000 0.0000 -
890.65/894.05 c 894 280609 115273 1 60.0000 0.0000 -
895.93/899.30 c 899 281733 115973 1 60.0000 0.0000 -
901.71/905.14 c 905 282820 116627 1 60.0000 0.0000 -
907.39/910.89 c 911 284482 117573 1 60.0000 0.0000 -
912.57/916.04 c 916 286082 118443 1 60.0000 0.0000 -
915.65/919.16 c * 919 286674 118769 1 58.0000 0.0000 -
915.75/919.23 c * 919 286674 118769 1 56.0000 0.0000 -
915.85/919.31 c * 919 286674 118769 1 54.0000 0.0000 -
917.95/921.43 c 921 287707 116896 1 54.0000 0.0000 -
923.53/927.09 c 927 289571 117876 1 54.0000 0.0000 -
929.10/932.65 c 933 290612 118423 1 54.0000 0.0000 -
934.29/937.89 c 938 291850 119191 1 54.0000 0.0000 -
939.76/943.34 c 943 294047 120446 1 54.0000 0.0000 -
945.04/948.62 c 949 295989 121550 1 54.0000 0.0000 -
950.33/953.98 c 954 298418 122777 1 54.0000 0.0000 -
955.51/959.19 c 959 300217 123714 1 54.0000 0.0000 -
960.69/964.30 c 964 301350 124256 1 54.0000 0.0000 -
965.76/969.48 c 969 302709 124994 1 54.0000 0.0000 -
972.45/976.17 c 976 303922 125705 1 54.0000 0.0000 -
978.03/981.75 c 982 306237 126891 1 54.0000 0.0000 -
983.32/987.02 c 987 307631 127640 1 54.0000 0.0000 -
989.39/993.19 c 993 308689 128334 1 54.0000 0.0000 -
995.16/998.99 c 999 309724 129047 1 54.0000 0.0000 -
1001.44/1005.27 c 1005 310538 129601 1 54.0000 0.0000 -
1007.12/1010.90 c 1011 311811 130323 1 54.0000 0.0000 -
1012.40/1016.26 c 1016 312884 131041 1 54.0000 0.0000 -
1018.19/1022.00 c 1022 314053 131848 1 54.0000 0.0000 -
1023.37/1027.28 c 1027 314851 132468 1 54.0000 0.0000 -
1029.05/1032.97 c 1033 315832 133125 1 54.0000 0.0000 -
1034.92/1038.84 c 1039 316807 133748 1 54.0000 0.0000 -
1040.71/1044.63 c 1045 318465 134744 1 54.0000 0.0000 -
1046.09/1050.01 c 1050 319990 135735 1 54.0000 0.0000 -
1051.07/1055.02 c 1055 320883 136290 1 54.0000 0.0000 -
1053.66/1057.63 c * 1058 321398 136603 1 53.0000 0.0000 -
1053.76/1057.72 c * 1058 321398 136603 1 51.0000 0.0000 -
1053.85/1057.81 c * 1058 321398 136603 1 49.0000 0.0000 -
1056.94/1060.92 c 1061 322580 133954 1 49.0000 0.0000 -
1062.03/1066.04 c * 1066 323580 134488 1 44.0000 0.0000 -
1062.03/1066.04 c 1066 323580 134488 1 44.0000 0.0000 -
1067.11/1071.10 c 1071 325591 130683 1 44.0000 0.0000 -
1072.49/1076.57 c 1077 327640 131714 1 44.0000 0.0000 -
1078.27/1082.38 c 1082 329159 132525 1 44.0000 0.0000 -
1083.75/1087.86 c 1088 330557 133321 1 44.0000 0.0000 -
1089.42/1093.53 c 1094 332532 134219 1 44.0000 0.0000 -
1094.81/1098.98 c 1099 335003 135374 1 44.0000 0.0000 -
1100.39/1104.53 c 1105 337131 136338 1 44.0000 0.0000 -
1105.47/1109.61 c 1110 339234 137267 1 44.0000 0.0000 -
1111.25/1115.49 c 1115 340202 137745 1 44.0000 0.0000 -
1116.53/1120.70 c 1121 343627 139193 1 44.0000 0.0000 -
1121.02/1125.29 c * 1125 345606 140054 1 42.0000 0.0000 -
1121.21/1125.42 c * 1125 345606 140054 1 40.0000 0.0000 -
1121.91/1126.13 c 1126 346129 135898 1 40.0000 0.0000 -
1127.69/1131.91 c 1132 347829 136634 1 40.0000 0.0000 -
1132.97/1137.23 c 1137 350224 137606 1 40.0000 0.0000 -
1138.46/1142.74 c 1143 351667 138268 1 40.0000 0.0000 -
1144.03/1148.31 c 1148 353831 139075 1 40.0000 0.0000 -
1149.01/1153.35 c 1153 354943 139745 1 40.0000 0.0000 -
1154.19/1158.59 c 1159 356370 140474 1 40.0000 0.0000 -
1159.57/1163.99 c 1164 358790 141543 1 40.0000 0.0000 -
1165.06/1169.47 c 1169 360909 142440 1 40.0000 0.0000 -
1170.64/1175.05 c 1175 362823 143178 1 40.0000 0.0000 -
1176.91/1181.30 c 1181 365719 144302 1 40.0000 0.0000 -
1182.49/1186.92 c 1187 367401 145158 1 40.0000 0.0000 -
1189.47/1193.90 c 1194 369871 146223 1 40.0000 0.0000 -
1194.65/1199.14 c 1199 371322 146931 1 40.0000 0.0000 -
1200.23/1204.73 c 1205 372741 147558 1 40.0000 0.0000 -
1206.10/1210.64 c 1211 374137 148213 1 40.0000 0.0000 -
1212.28/1216.81 c 1217 376871 149275 1 40.0000 0.0000 -
1217.76/1222.39 c 1222 380264 150659 1 40.0000 0.0000 -
1223.54/1228.16 c 1228 382026 151445 1 40.0000 0.0000 -
1229.02/1233.68 c 1234 384348 152417 1 40.0000 0.0000 -
1234.80/1239.49 c 1239 386320 153308 1 40.0000 0.0000 -
1240.08/1244.75 c 1245 390312 154927 1 40.0000 0.0000 -
1245.15/1249.88 c 1250 391775 155698 1 40.0000 0.0000 -
1250.24/1254.91 c 1255 392431 156040 1 40.0000 0.0000 -
1255.51/1260.22 c 1260 393990 156803 1 40.0000 0.0000 -
1260.89/1265.60 c 1266 395442 157500 1 40.0000 0.0000 -
1266.07/1270.87 c 1271 396946 158221 1 40.0000 0.0000 -
1271.65/1276.49 c 1276 398659 159095 1 40.0000 0.0000 -
1277.42/1282.28 c 1282 399906 159676 1 40.0000 0.0000 -
1282.50/1287.38 c 1287 403214 160956 1 40.0000 0.0000 -
1288.19/1293.03 c 1293 405354 161988 1 40.0000 0.0000 -
1293.66/1298.50 c 1298 407552 162979 1 40.0000 0.0000 -
1299.24/1304.16 c 1304 409979 163904 1 40.0000 0.0000 -
1304.72/1309.60 c 1310 411878 164771 1 40.0000 0.0000 -
1310.00/1314.93 c 1315 413550 165430 1 40.0000 0.0000 -
1315.27/1320.29 c 1320 416686 166635 1 40.0000 0.0000 -
1320.76/1325.76 c 1326 419757 167848 1 40.0000 0.0000 -
1325.84/1330.87 c * 1331 420878 168407 1 39.0000 0.0000 -
1325.84/1330.87 c 1331 420878 168407 1 39.0000 0.0000 -
1326.04/1331.01 c * 1331 420878 168407 1 37.0000 0.0000 -
1331.61/1336.68 c 1337 423507 165331 1 37.0000 0.0000 -
1336.89/1341.96 c 1342 425652 166192 1 37.0000 0.0000 -
1342.18/1347.21 c 1347 428230 167064 1 37.0000 0.0000 -
1347.75/1352.82 c 1353 431374 168223 1 37.0000 0.0000 -
1349.15/1354.21 c * 1354 431909 168438 1 35.0000 0.0000 -
1349.25/1354.36 c * 1354 431909 168438 1 33.0000 0.0000 -
1353.43/1358.51 c 1359 434137 161598 1 33.0000 0.0000 -
1359.11/1364.23 c 1364 438518 162967 1 33.0000 0.0000 -
1364.09/1369.29 c 1369 441286 163776 1 33.0000 0.0000 -
1369.26/1374.42 c 1374 444540 164744 1 33.0000 0.0000 -
1371.87/1377.06 c * 1377 446225 165290 1 31.0000 0.0000 -
1374.55/1379.78 c 1380 447276 139389 1 31.0000 0.0000 -
1379.83/1385.02 c 1385 450080 140239 1 31.0000 0.0000 -
1385.11/1390.37 c 1390 452499 140991 1 31.0000 0.0000 -
1390.59/1395.88 c 1396 456441 142147 1 31.0000 0.0000 -
1396.06/1401.34 c 1401 459363 143044 1 31.0000 0.0000 -
1402.05/1407.31 c 1407 463304 144510 1 31.0000 0.0000 -
1407.23/1412.56 c 1413 467917 146008 1 31.0000 0.0000 -
1412.71/1418.04 c 1418 472623 147507 1 31.0000 0.0000 -
1418.58/1423.90 c 1424 474148 148208 1 31.0000 0.0000 -
1424.16/1429.54 c 1430 475284 148728 1 31.0000 0.0000 -
1429.24/1434.60 c 1435 479034 149872 1 31.0000 0.0000 -
1434.52/1439.97 c 1440 481346 150832 1 31.0000 0.0000 -
1439.90/1445.33 c 1445 483251 151595 1 31.0000 0.0000 -
1446.07/1451.53 c 1452 487345 152943 1 31.0000 0.0000 -
1451.75/1457.29 c 1457 489735 153797 1 31.0000 0.0000 -
1457.22/1462.73 c 1463 493656 154971 1 31.0000 0.0000 -
1463.00/1468.54 c 1469 497313 156218 1 31.0000 0.0000 -
1468.38/1473.92 c 1474 499605 157029 1 31.0000 0.0000 -
1473.46/1479.00 c 1479 503341 158187 1 31.0000 0.0000 -
1479.13/1484.71 c 1485 505405 159099 1 31.0000 0.0000 -
1484.11/1489.77 c 1490 507049 159837 1 31.0000 0.0000 -
1489.79/1495.40 c 1495 509697 160710 1 31.0000 0.0000 -
1495.38/1501.04 c 1501 511316 161319 1 31.0000 0.0000 -
1500.55/1506.25 c 1506 513290 162088 1 31.0000 0.0000 -
1506.23/1511.95 c 1512 515835 163033 1 31.0000 0.0000 -
1511.32/1517.05 c 1517 518161 163791 1 31.0000 0.0000 -
1516.89/1522.64 c 1523 521072 164761 1 31.0000 0.0000 -
1522.28/1528.08 c 1528 523155 165458 1 31.0000 0.0000 -
1528.35/1534.14 c 1534 527279 166673 1 31.0000 0.0000 -
1534.24/1540.01 c 1540 528937 167403 1 31.0000 0.0000 -
1539.61/1545.44 c 1545 531060 168326 1 31.0000 0.0000 -
1544.89/1550.79 c 1551 533338 169265 1 31.0000 0.0000 -
1550.47/1556.36 c 1556 534839 169944 1 31.0000 0.0000 -
1555.95/1561.86 c 1562 537744 170991 1 31.0000 0.0000 -
1560.93/1566.87 c 1567 540152 171782 1 31.0000 0.0000 -
1566.80/1572.75 c 1573 544247 173264 1 31.0000 0.0000 -
1572.19/1578.17 c 1578 548261 174654 1 31.0000 0.0000 -
1577.37/1583.31 c 1583 551882 175720 1 31.0000 0.0000 -
1583.05/1589.01 c 1589 556988 177271 1 31.0000 0.0000 -
1588.14/1594.19 c 1594 560958 178462 1 31.0000 0.0000 -
1593.21/1599.27 c 1599 564461 179696 1 31.0000 0.0000 -
1598.19/1604.28 c 1604 566318 180385 1 31.0000 0.0000 -
1603.97/1610.07 c 1610 568511 181167 1 31.0000 0.0000 -
1609.25/1615.33 c 1615 572378 182310 1 31.0000 0.0000 -
1615.23/1621.35 c 1621 575042 183194 1 31.0000 0.0000 -
1620.60/1626.79 c 1627 580095 184804 1 31.0000 0.0000 -
1626.09/1632.26 c 1632 583040 185736 1 31.0000 0.0000 -
1631.37/1637.55 c 1638 587718 187174 1 31.0000 0.0000 -
1637.34/1643.59 c 1644 589945 187845 1 31.0000 0.0000 -
1643.72/1649.95 c 1650 592126 188645 1 31.0000 0.0000 -
1649.30/1655.56 c 1656 593717 189206 1 31.0000 0.0000 -
1654.38/1660.68 c 1661 595549 189866 1 31.0000 0.0000 -
1659.66/1665.95 c 1666 597841 190644 1 31.0000 0.0000 -
1664.74/1671.03 c 1671 600431 191529 1 31.0000 0.0000 -
1671.72/1678.06 c 1678 603230 192506 1 31.0000 0.0000 -
1677.39/1683.76 c 1684 606177 193557 1 31.0000 0.0000 -
1683.46/1689.88 c 1690 610252 194697 1 31.0000 0.0000 -
1689.54/1695.94 c 1696 611620 195481 1 31.0000 0.0000 -
1694.63/1701.08 c 1701 612621 195980 1 31.0000 0.0000 -
1700.60/1707.10 c 1707 614880 196879 1 31.0000 0.0000 -
1706.58/1713.08 c 1713 616095 197447 1 31.0000 0.0000 -
1711.86/1718.36 c 1718 617472 197966 1 31.0000 0.0000 -
1717.43/1723.93 c 1724 618845 198470 1 31.0000 0.0000 -
1722.72/1729.21 c 1729 620481 199054 1 31.0000 0.0000 -
1727.80/1734.34 c 1734 621688 199557 1 31.0000 0.0000 -
1733.48/1740.02 c 1740 622757 200118 1 31.0000 0.0000 -
1739.76/1746.38 c 1746 623809 200688 1 31.0000 0.0000 -
1745.54/1752.13 c 1752 625160 201331 1 31.0000 0.0000 -
1751.31/1757.90 c 1758 626440 201947 1 31.0000 0.0000 -
1756.79/1763.49 c 1763 628741 202892 1 31.0000 0.0000 -
1762.77/1769.48 c 1769 630742 203681 1 31.0000 0.0000 -
1768.76/1775.46 c 1775 633731 204803 1 31.0000 0.0000 -
1774.13/1780.88 c 1781 635668 205650 1 31.0000 0.0000 -
1779.91/1786.61 c 1787 637048 206184 1 31.0000 0.0000 -
1785.59/1792.36 c 1792 638953 206927 1 31.0000 0.0000 -
1791.28/1798.07 c 1798 640819 207779 1 31.0000 0.0000 -
1796.75/1803.55 c 1804 642394 208345 1 31.0000 0.0000 -
1802.24/1809.03 c 1809 644351 209038 1 31.0000 0.0000 -
1808.01/1814.82 c 1815 645995 209645 1 31.0000 0.0000 -
1813.20/1820.02 c 1820 647042 210063 1 31.0000 0.0000 -
1819.67/1826.59 c 1827 648077 210582 1 31.0000 0.0000 -
1824.75/1831.69 c 1832 650498 211475 1 31.0000 0.0000 -
1830.73/1837.62 c 1838 652822 212259 1 31.0000 0.0000 -
1836.61/1843.53 c 1844 654614 212897 1 31.0000 0.0000 -
1841.69/1848.62 c 1849 656173 213502 1 31.0000 0.0000 -
1847.38/1854.32 c 1854 657607 214097 1 31.0000 0.0000 -
1852.65/1859.64 c 1860 659052 214684 1 31.0000 0.0000 -
1858.04/1865.02 c 1865 661006 215403 1 31.0000 0.0000 -
1863.71/1870.78 c 1871 663779 216352 1 31.0000 0.0000 -
1869.30/1876.34 c 1876 665710 217089 1 31.0000 0.0000 -
1875.57/1882.62 c 1883 668319 217936 1 31.0000 0.0000 -
1881.35/1888.40 c 1888 670414 218779 1 31.0000 0.0000 -
1886.63/1893.70 c 1894 671647 219231 1 31.0000 0.0000 -
1891.91/1899.01 c 1899 673895 220054 1 31.0000 0.0000 -
1897.49/1904.63 c 1905 675264 220625 1 31.0000 0.0000 -
1902.67/1909.80 c 1910 677496 221367 1 31.0000 0.0000 -
1908.45/1915.64 c 1916 680457 222304 1 31.0000 0.0000 -
1914.63/1921.81 c 1922 682236 223035 1 31.0000 0.0000 -
1919.91/1927.13 c 1927 684663 223900 1 31.0000 0.0000 -
1926.19/1933.42 c 1933 687686 224877 1 31.0000 0.0000 -
1931.87/1939.12 c 1939 690950 225963 1 31.0000 0.0000 -
1937.34/1944.66 c 1945 694212 227010 1 31.0000 0.0000 -
1943.12/1950.49 c 1950 697333 228049 1 31.0000 0.0000 -
1948.90/1956.21 c 1956 699669 228853 1 31.0000 0.0000 -
1954.08/1961.43 c 1961 701767 229541 1 31.0000 0.0000 -
1960.16/1967.57 c 1968 705158 230683 1 31.0000 0.0000 -
1965.64/1973.07 c 1973 707194 231365 1 31.0000 0.0000 -
1971.32/1978.71 c 1979 710961 232481 1 31.0000 0.0000 -
1976.50/1983.97 c 1984 712742 233186 1 31.0000 0.0000 -
1981.69/1989.17 c 1989 713995 233785 1 31.0000 0.0000 -
1987.67/1995.10 c 1995 715306 234412 1 31.0000 0.0000 -
1993.04/2000.56 c 2001 716761 234993 1 31.0000 0.0000 -
1998.32/2005.84 c 2006 717871 235519 1 31.0000 0.0000 -
2004.41/2011.99 c 2012 719276 236144 1 31.0000 0.0000 -
2009.68/2017.25 c 2017 720409 236693 1 31.0000 0.0000 -
2015.27/2022.88 c 2023 721338 237194 1 31.0000 0.0000 -
2020.94/2028.54 c 2029 722407 237716 1 31.0000 0.0000 -
2027.42/2035.01 c 2035 723842 238328 1 31.0000 0.0000 -
2033.51/2041.13 c 2041 724433 238691 1 31.0000 0.0000 -
2038.78/2046.40 c 2046 724922 238947 1 31.0000 0.0000 -
2044.07/2051.73 c 2052 725886 239421 1 31.0000 0.0000 -
2049.35/2057.02 c 2057 727754 240203 1 31.0000 0.0000 -
2054.73/2062.44 c 2062 729091 240784 1 31.0000 0.0000 -
2061.00/2068.71 c 2069 730186 241217 1 31.0000 0.0000 -
2065.98/2073.79 c 2074 731451 241788 1 31.0000 0.0000 -
2072.56/2080.37 c 2080 732495 242186 1 31.0000 0.0000 -
2078.14/2085.96 c 2086 734467 242878 1 31.0000 0.0000 -
2082.13/2089.99 c * 2090 735230 243185 1 30.0000 0.0000 -
2082.43/2090.27 c * 2090 735230 243185 1 28.0000 0.0000 -
2082.73/2090.58 c * 2091 735519 238831 1 26.0000 0.0000 -
2083.92/2091.71 c 2092 735720 234712 1 26.0000 0.0000 -
2089.70/2097.53 c 2098 737814 235366 1 26.0000 0.0000 -
2094.98/2102.83 c 2103 740349 236241 1 26.0000 0.0000 -
2100.76/2108.60 c 2109 742668 236980 1 26.0000 0.0000 -
2106.25/2114.11 c 2114 744172 237602 1 26.0000 0.0000 -
2112.03/2119.98 c 2120 745765 238219 1 26.0000 0.0000 -
2117.60/2125.59 c 2126 748014 238931 1 26.0000 0.0000 -
2123.38/2131.35 c 2131 750930 239784 1 26.0000 0.0000 -
2128.46/2136.46 c 2136 754169 240624 1 26.0000 0.0000 -
2134.34/2142.33 c 2142 756819 241373 1 26.0000 0.0000 -
2139.72/2147.74 c 2148 759068 242052 1 26.0000 0.0000 -
2144.80/2152.80 c 2153 762581 243138 1 26.0000 0.0000 -
2150.38/2158.42 c 2158 764551 243746 1 26.0000 0.0000 -
2156.86/2164.98 c 2165 766453 244413 1 26.0000 0.0000 -
2162.05/2170.12 c 2170 768677 245164 1 26.0000 0.0000 -
2167.41/2175.51 c 2176 769992 245583 1 26.0000 0.0000 -
2172.60/2180.75 c 2181 771543 246146 1 26.0000 0.0000 -
2177.89/2186.04 c 2186 773676 246847 1 26.0000 0.0000 -
2183.76/2191.99 c 2192 775825 247699 1 26.0000 0.0000 -
2189.34/2197.50 c 2198 777275 248179 1 26.0000 0.0000 -
2195.02/2203.28 c 2203 779313 248852 1 26.0000 0.0000 -
2200.69/2208.99 c 2209 781416 249469 1 26.0000 0.0000 -
2206.48/2214.78 c 2215 782647 250056 1 26.0000 0.0000 -
2211.86/2220.19 c 2220 784198 250701 1 26.0000 0.0000 -
2217.04/2225.39 c 2225 786099 251429 1 26.0000 0.0000 -
2222.22/2230.55 c 2231 787793 252087 1 26.0000 0.0000 -
2229.19/2237.59 c 2238 789788 252768 1 26.0000 0.0000 -
2235.17/2243.52 c 2244 791278 253287 1 26.0000 0.0000 -
2240.66/2249.07 c 2249 793975 254119 1 26.0000 0.0000 -
2246.54/2254.94 c 2255 796842 254987 1 26.0000 0.0000 -
2251.82/2260.25 c 2260 799193 255806 1 26.0000 0.0000 -
2257.60/2266.08 c 2266 801848 256673 1 26.0000 0.0000 -
2263.47/2271.92 c 2272 805780 257814 1 26.0000 0.0000 -
2268.75/2277.27 c 2277 810126 258883 1 26.0000 0.0000 -
2274.34/2282.83 c 2283 812216 259472 1 26.0000 0.0000 -
2279.62/2288.10 c 2288 813913 260011 1 26.0000 0.0000 -
2285.09/2293.68 c 2294 816754 260737 1 26.0000 0.0000 -
2290.97/2299.60 c 2300 819486 261595 1 26.0000 0.0000 -
2296.95/2305.58 c 2306 820171 261862 1 26.0000 0.0000 -
2303.63/2312.21 c 2312 821721 262426 1 26.0000 0.0000 -
2309.41/2318.06 c 2318 823629 263163 1 26.0000 0.0000 -
2315.19/2323.87 c 2324 825740 264001 1 26.0000 0.0000 -
2320.37/2329.01 c 2329 827306 264517 1 26.0000 0.0000 -
2325.75/2334.44 c 2334 829047 265141 1 26.0000 0.0000 -
2331.53/2340.28 c 2340 831473 265991 1 26.0000 0.0000 -
2338.10/2346.80 c 2347 836056 267352 1 26.0000 0.0000 -
2343.88/2352.60 c 2353 836907 267753 1 26.0000 0.0000 -
2349.56/2358.31 c 2358 838928 268380 1 26.0000 0.0000 -
2354.74/2363.59 c 2364 840933 269024 1 26.0000 0.0000 -
2359.82/2368.67 c 2369 842080 269491 1 26.0000 0.0000 -
2365.21/2374.05 c 2374 842991 269947 1 26.0000 0.0000 -
2370.89/2379.72 c 2380 844410 270508 1 26.0000 0.0000 -
2376.66/2385.56 c 2386 845999 271142 1 26.0000 0.0000 -
2382.25/2391.15 c 2391 846786 271525 1 26.0000 0.0000 -
2388.42/2397.32 c 2397 847976 272069 1 26.0000 0.0000 -
2394.21/2403.12 c 2403 849324 272579 1 26.0000 0.0000 -
2400.09/2409.10 c 2409 851024 273199 1 26.0000 0.0000 -
2405.86/2414.84 c 2415 852694 273777 1 26.0000 0.0000 -
2411.74/2420.79 c 2421 854392 274249 1 26.0000 0.0000 -
2417.13/2426.18 c 2426 855963 274740 1 26.0000 0.0000 -
2422.90/2431.91 c 2432 856809 275086 1 26.0000 0.0000 -
2428.77/2437.89 c 2438 858536 275731 1 26.0000 0.0000 -
2434.86/2443.91 c 2444 862067 276871 1 26.0000 0.0000 -
2439.84/2448.95 c 2449 865214 277749 1 26.0000 0.0000 -
2445.72/2454.83 c 2455 868012 278585 1 26.0000 0.0000 -
2452.89/2462.03 c 2462 869608 279255 1 26.0000 0.0000 -
2459.37/2468.52 c 2469 872289 280202 1 26.0000 0.0000 -
2465.35/2474.58 c 2475 874738 280981 1 26.0000 0.0000 -
2470.84/2480.05 c 2480 877281 281694 1 26.0000 0.0000 -
2476.71/2485.95 c 2486 879702 282383 1 26.0000 0.0000 -
2481.79/2491.06 c 2491 882752 283259 1 26.0000 0.0000 -
2487.97/2497.20 c 2497 885668 284081 1 26.0000 0.0000 -
2493.35/2502.63 c 2503 887792 284868 1 26.0000 0.0000 -
2498.74/2508.07 c 2508 889387 285444 1 26.0000 0.0000 -
2504.81/2514.12 c 2514 889791 285624 1 26.0000 0.0000 -
2510.59/2519.99 c 2520 891547 286300 1 26.0000 0.0000 -
2516.46/2525.86 c 2526 893386 286948 1 26.0000 0.0000 -
2522.15/2531.51 c 2532 896317 287761 1 26.0000 0.0000 -
2527.23/2536.61 c 2537 899834 288710 1 26.0000 0.0000 -
2534.11/2543.54 c 2544 901107 289042 1 26.0000 0.0000 -
2539.39/2548.82 c 2549 904125 289801 1 26.0000 0.0000 -
2545.26/2554.74 c 2555 906829 290455 1 26.0000 0.0000 -
2550.65/2560.14 c 2560 908694 290973 1 26.0000 0.0000 -
2556.32/2565.85 c 2566 911923 291835 1 26.0000 0.0000 -
2561.40/2570.96 c 2571 915142 292661 1 26.0000 0.0000 -
2566.88/2576.43 c 2576 918014 293543 1 26.0000 0.0000 -
2572.86/2582.42 c 2582 920695 294303 1 26.0000 0.0000 -
2577.94/2587.56 c 2588 924262 295217 1 26.0000 0.0000 -
2583.33/2592.98 c 2593 926208 295936 1 26.0000 0.0000 -
2588.51/2598.13 c 2598 927823 296630 1 26.0000 0.0000 -
2594.29/2603.92 c 2604 929239 297198 1 26.0000 0.0000 -
2600.17/2609.81 c 2610 932115 297984 1 26.0000 0.0000 -
2605.64/2615.37 c 2615 933907 298812 1 26.0000 0.0000 -
2610.92/2620.64 c 2621 935253 299426 1 26.0000 0.0000 -
2616.10/2625.86 c 2626 939498 300745 1 26.0000 0.0000 -
2621.48/2631.20 c 2631 941312 301325 1 26.0000 0.0000 -
2624.77/2634.50 c * 2634 942309 301672 1 25.0000 0.0000 -
2626.77/2636.56 c 2637 944364 299534 1 25.0000 0.0000 -
2632.75/2642.56 c 2643 949394 300779 1 25.0000 0.0000 -
2637.92/2647.78 c 2648 955887 302266 1 25.0000 0.0000 -
2643.51/2653.32 c 2653 958325 303161 1 25.0000 0.0000 -
2649.79/2659.66 c 2660 964529 304766 1 25.0000 0.0000 -
2655.66/2665.53 c 2666 966371 305260 1 25.0000 0.0000 -
2661.35/2671.25 c 2671 968881 305916 1 25.0000 0.0000 -
2667.12/2677.09 c 2677 972227 306817 1 25.0000 0.0000 -
2673.50/2683.40 c 2683 973044 307112 1 25.0000 0.0000 -
2679.87/2689.89 c 2690 979749 308635 1 25.0000 0.0000 -
2685.36/2695.38 c 2695 985023 309948 1 25.0000 0.0000 -
2690.74/2700.77 c 2701 987157 310640 1 25.0000 0.0000 -
2696.22/2706.25 c 2706 991449 311718 1 25.0000 0.0000 -
2701.50/2711.60 c 2712 995962 312887 1 25.0000 0.0000 -
2707.09/2717.12 c 2717 1001079 314041 1 25.0000 0.0000 -
2713.06/2723.17 c 2723 1005923 315165 1 25.0000 0.0000 -
2718.84/2728.91 c 2729 1009633 316074 1 25.0000 0.0000 -
2724.41/2734.55 c 2735 1010263 316272 1 25.0000 0.0000 -
2730.20/2740.36 c 2740 1013730 317222 1 25.0000 0.0000 -
2735.78/2745.94 c 2746 1018524 318234 1 25.0000 0.0000 -
2740.86/2751.03 c 2751 1025277 319710 1 25.0000 0.0000 -
2746.24/2756.48 c 2756 1030256 320839 1 25.0000 0.0000 -
2751.82/2762.08 c 2762 1032815 321526 1 25.0000 0.0000 -
2755.20/2765.49 c * 2765 1033671 321761 1 24.0000 0.0000 -
2757.59/2767.83 c 2768 1034858 318929 1 24.0000 0.0000 -
2762.78/2773.02 c 2773 1039557 319789 1 24.0000 0.0000 -
2767.76/2778.03 c 2778 1043757 320766 1 24.0000 0.0000 -
2774.53/2784.90 c 2785 1043921 320824 1 24.0000 0.0000 -
2780.12/2790.49 c 2790 1048515 321889 1 24.0000 0.0000 -
2785.19/2795.56 c 2796 1053259 322999 1 24.0000 0.0000 -
2790.79/2801.19 c 2801 1056957 323830 1 24.0000 0.0000 -
2796.95/2807.31 c 2807 1059125 324404 1 24.0000 0.0000 -
2802.03/2812.48 c 2812 1066422 325783 1 24.0000 0.0000 -
2811.80/2822.22 c 2822 1067997 326352 1 24.0000 0.0000 -
2817.58/2828.06 c 2828 1071020 327204 1 24.0000 0.0000 -
2822.76/2833.24 c 2833 1076067 328313 1 24.0000 0.0000 -
2828.14/2838.65 c 2839 1079266 329046 1 24.0000 0.0000 -
2833.22/2843.71 c 2844 1086022 330410 1 24.0000 0.0000 -
2838.51/2849.00 c 2849 1094151 331993 1 24.0000 0.0000 -
2843.68/2854.28 c 2854 1099525 333149 1 24.0000 0.0000 -
2849.26/2859.82 c 2860 1104611 334358 1 24.0000 0.0000 -
2855.04/2865.60 c 2866 1108916 335347 1 24.0000 0.0000 -
2860.32/2870.97 c 2871 1111269 335903 1 24.0000 0.0000 -
2865.60/2876.20 c 2876 1115204 336729 1 24.0000 0.0000 -
2870.58/2881.29 c 2881 1119417 337701 1 24.0000 0.0000 -
2875.76/2886.41 c 2886 1125782 339041 1 24.0000 0.0000 -
2881.44/2892.15 c 2892 1129804 339935 1 24.0000 0.0000 -
2887.62/2898.33 c 2898 1136120 341207 1 24.0000 0.0000 -
2893.10/2903.82 c 2904 1138501 341732 1 24.0000 0.0000 -
2898.58/2909.33 c 2909 1139723 342308 1 24.0000 0.0000 -
2904.26/2915.10 c 2915 1140587 342682 1 24.0000 0.0000 -
2910.44/2921.26 c 2921 1141814 343152 1 24.0000 0.0000 -
2916.32/2927.18 c 2927 1142423 343517 1 24.0000 0.0000 -
2922.20/2933.06 c 2933 1143921 344096 1 24.0000 0.0000 -
2927.87/2938.78 c 2939 1145417 344598 1 24.0000 0.0000 -
2933.36/2944.22 c 2944 1146114 344886 1 24.0000 0.0000 -
2938.34/2949.28 c 2949 1147158 345306 1 24.0000 0.0000 -
2944.42/2955.31 c 2955 1149352 346018 1 24.0000 0.0000 -
2949.80/2960.71 c 2961 1151871 346823 1 24.0000 0.0000 -
2957.36/2968.32 c 2968 1153571 347427 1 24.0000 0.0000 -
2964.84/2975.80 c 2976 1155237 348073 1 24.0000 0.0000 -
2970.22/2981.21 c 2981 1157041 348659 1 24.0000 0.0000 -
2975.30/2986.31 c 2986 1159574 349342 1 24.0000 0.0000 -
2980.68/2991.75 c 2992 1161655 349939 1 24.0000 0.0000 -
2986.07/2997.19 c 2997 1162905 350463 1 24.0000 0.0000 -
2991.34/3002.43 c 3002 1164548 350987 1 24.0000 0.0000 -
2996.42/3007.55 c 3008 1166617 351618 1 24.0000 0.0000 -
3002.21/3013.35 c 3013 1168252 352242 1 24.0000 0.0000 -
3007.89/3019.03 c 3019 1169631 352761 1 24.0000 0.0000 -
3014.96/3026.13 c 3026 1171923 353419 1 24.0000 0.0000 -
3020.24/3031.48 c 3031 1173319 354015 1 24.0000 0.0000 -
3027.21/3038.48 c 3038 1174178 354343 1 24.0000 0.0000 -
3033.30/3044.56 c 3045 1176434 354946 1 24.0000 0.0000 -
3038.97/3050.29 c 3050 1178828 355765 1 24.0000 0.0000 -
3045.25/3056.54 c 3057 1180752 356369 1 24.0000 0.0000 -
3050.84/3062.15 c 3062 1182974 357009 1 24.0000 0.0000 -
3056.82/3068.12 c 3068 1186410 357854 1 24.0000 0.0000 -
3061.89/3073.27 c 3073 1189666 358686 1 24.0000 0.0000 -
3067.38/3078.71 c 3079 1192019 359459 1 24.0000 0.0000 -
3073.15/3084.56 c 3085 1194239 360258 1 24.0000 0.0000 -
3078.33/3089.78 c 3090 1195607 360610 1 24.0000 0.0000 -
3083.72/3095.17 c 3095 1198985 361543 1 24.0000 0.0000 -
3090.09/3101.58 c 3102 1202930 362565 1 24.0000 0.0000 -
3095.17/3106.64 c 3107 1204941 363094 1 24.0000 0.0000 -
3100.35/3111.87 c 3112 1208009 363850 1 24.0000 0.0000 -
3106.73/3118.20 c 3118 1211848 364683 1 24.0000 0.0000 -
3111.81/3123.34 c 3123 1214522 365319 1 24.0000 0.0000 -
3117.09/3128.60 c 3129 1215435 365664 1 24.0000 0.0000 -
3122.28/3133.86 c 3134 1218148 366374 1 24.0000 0.0000 -
3127.65/3139.24 c 3139 1219886 366890 1 24.0000 0.0000 -
3133.54/3145.19 c 3145 1221201 367343 1 24.0000 0.0000 -
3138.72/3150.37 c 3150 1223897 367985 1 24.0000 0.0000 -
3144.51/3156.17 c 3156 1226095 368665 1 24.0000 0.0000 -
3150.67/3162.34 c 3162 1227404 369084 1 24.0000 0.0000 -
3156.95/3168.66 c 3169 1229785 369796 1 24.0000 0.0000 -
3162.53/3174.23 c 3174 1231301 370318 1 24.0000 0.0000 -
3167.82/3179.59 c 3180 1234165 371029 1 24.0000 0.0000 -
3173.69/3185.43 c 3185 1235670 371568 1 24.0000 0.0000 -
3179.17/3190.91 c 3191 1238129 372198 1 24.0000 0.0000 -
3184.36/3196.19 c 3196 1241139 372881 1 24.0000 0.0000 -
3190.43/3202.26 c 3202 1244408 373821 1 24.0000 0.0000 -
3196.11/3207.93 c 3208 1247415 374558 1 24.0000 0.0000 -
3201.49/3213.39 c 3213 1249855 375257 1 24.0000 0.0000 -
3207.18/3219.06 c 3219 1253471 376125 1 24.0000 0.0000 -
3212.85/3224.71 c 3225 1256290 376874 1 24.0000 0.0000 -
3218.83/3230.71 c 3231 1260252 377827 1 24.0000 0.0000 -
3224.22/3236.19 c 3236 1265672 378980 1 24.0000 0.0000 -
3229.78/3241.78 c 3242 1270120 380062 1 24.0000 0.0000 -
3234.97/3246.94 c 3247 1272482 380670 1 24.0000 0.0000 -
3240.55/3252.57 c 3253 1277913 381651 1 24.0000 0.0000 -
3246.13/3258.15 c 3258 1284240 382921 1 24.0000 0.0000 -
3252.01/3264.08 c 3264 1289499 384131 1 24.0000 0.0000 -
3258.38/3270.46 c 3270 1294839 385354 1 24.0000 0.0000 -
3264.46/3276.50 c 3276 1299441 386388 1 24.0000 0.0000 -
3270.13/3282.25 c 3282 1301294 387069 1 24.0000 0.0000 -
3276.21/3288.33 c 3288 1303057 387590 1 24.0000 0.0000 -
3282.00/3294.15 c 3294 1308164 388704 1 24.0000 0.0000 -
3287.67/3299.87 c 3300 1313163 389711 1 24.0000 0.0000 -
3292.96/3305.19 c 3305 1318825 391001 1 24.0000 0.0000 -
3298.53/3310.79 c 3311 1320290 391400 1 24.0000 0.0000 -
3303.61/3315.89 c 3316 1324483 392331 1 24.0000 0.0000 -
3308.79/3321.02 c 3321 1331164 393594 1 24.0000 0.0000 -
3313.78/3326.06 c 3326 1337630 394903 1 24.0000 0.0000 -
3318.86/3331.15 c 3331 1341893 395846 1 24.0000 0.0000 -
3325.03/3337.33 c 3337 1346400 396840 1 24.0000 0.0000 -
3330.31/3342.66 c 3343 1350646 397745 1 24.0000 0.0000 -
3336.29/3348.66 c 3349 1354747 398625 1 24.0000 0.0000 -
3342.77/3355.15 c 3355 1356761 399104 1 24.0000 0.0000 -
3347.85/3360.25 c 3360 1358347 399515 1 24.0000 0.0000 -
3353.23/3365.68 c 3366 1362258 400418 1 24.0000 0.0000 -
3358.81/3371.25 c 3371 1363785 400832 1 24.0000 0.0000 -
3364.09/3376.58 c 3377 1364983 401193 1 24.0000 0.0000 -
3370.46/3382.97 c 3383 1366787 401735 1 24.0000 0.0000 -
3376.04/3388.56 c 3389 1369338 402418 1 24.0000 0.0000 -
3382.02/3394.57 c 3395 1372145 403079 1 24.0000 0.0000 -
3387.91/3400.43 c 3400 1375119 403786 1 24.0000 0.0000 -
3393.38/3405.92 c 3406 1380501 404909 1 24.0000 0.0000 -
3400.65/3413.25 c 3413 1385415 406003 1 24.0000 0.0000 -
3405.74/3418.36 c 3418 1388966 406814 1 24.0000 0.0000 -
3411.71/3424.32 c 3424 1393740 408001 1 24.0000 0.0000 -
3417.40/3430.04 c 3430 1398146 409011 1 24.0000 0.0000 -
3422.48/3435.10 c 3435 1402512 409984 1 24.0000 0.0000 -
3428.25/3440.94 c 3441 1405093 410755 1 24.0000 0.0000 -
3434.22/3446.92 c 3447 1407326 411378 1 24.0000 0.0000 -
3439.70/3452.41 c 3452 1415401 412921 1 24.0000 0.0000 -
3444.88/3457.63 c 3458 1422307 414354 1 24.0000 0.0000 -
3450.06/3462.88 c 3463 1426104 415123 1 24.0000 0.0000 -
3455.94/3468.77 c 3469 1429062 415976 1 24.0000 0.0000 -
3462.12/3474.96 c 3475 1431985 416776 1 24.0000 0.0000 -
3467.40/3480.21 c 3480 1440114 418561 1 24.0000 0.0000 -
3472.48/3485.30 c 3485 1445627 419698 1 24.0000 0.0000 -
3478.96/3491.86 c 3492 1449773 420506 1 24.0000 0.0000 -
3484.14/3497.01 c 3497 1457120 421910 1 24.0000 0.0000 -
3489.22/3502.12 c 3502 1466365 423672 1 24.0000 0.0000 -
3494.20/3507.19 c 3507 1470988 424605 1 24.0000 0.0000 -
3500.18/3513.14 c 3513 1473429 425375 1 24.0000 0.0000 -
3505.96/3518.92 c 3519 1474992 425813 1 24.0000 0.0000 -
3511.24/3524.24 c 3524 1477856 426619 1 24.0000 0.0000 -
3516.72/3529.76 c 3530 1482933 427904 1 24.0000 0.0000 -
3522.80/3535.87 c 3536 1487431 429122 1 24.0000 0.0000 -
3527.98/3541.10 c 3541 1489798 429773 1 24.0000 0.0000 -
3533.45/3546.58 c 3547 1492770 430427 1 24.0000 0.0000 -
3538.94/3552.03 c 3552 1498143 431538 1 24.0000 0.0000 -
3543.93/3557.05 c 3557 1502955 432604 1 24.0000 0.0000 -
3549.00/3562.19 c 3562 1514866 435029 1 24.0000 0.0000 -
3554.57/3567.75 c 3568 1522799 436489 1 24.0000 0.0000 -
3559.66/3572.85 c 3573 1532678 438618 1 24.0000 0.0000 -
3565.83/3579.04 c 3579 1536164 439451 1 24.0000 0.0000 -
3571.61/3584.88 c 3585 1537487 439918 1 24.0000 0.0000 -
3577.39/3590.65 c 3591 1542490 441130 1 24.0000 0.0000 -
3582.57/3595.85 c 3596 1546041 441993 1 24.0000 0.0000 -
3594.23/3607.56 c SCIP Status : c solving was interrupted [hard time limit reached]
3594.23/3607.56 c Total Time : 3607.5600
3594.23/3607.56 c solving : 3607.5600
3594.23/3607.56 c presolving : 0.0056 (included in solving)
3594.23/3607.56 c B&B Tree :
3594.23/3607.56 c nodes (total) : 1
3594.23/3607.56 c Solution :
3594.23/3607.56 c Solutions found : 47
3594.23/3607.56 c Primal Bound : +2.40000000000000e+01
3594.23/3607.56 c Dual Bound : +0.00000000000000e+00
3594.23/3607.56 c Gap : infinite
3594.23/3607.56 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3594.23/3607.57 o 24
3594.23/3607.57 s SATISFIABLE
3594.23/3607.57 v x176 -x198 -x197 x196 -x195 x194 x193 x192 x191 -x190 x189 x188 x187 -x186 x185 x184 -x183 x182 -x181 -x180 x179 x178 x177 -x175
3594.23/3607.57 v x174 x173 -x172 -x171 -x170 x169 -x168 -x167 -x166 x165 -x164 -x163 x162 -x161 x160 -x159 x158 -x157 x156 -x155 x154 -x153
3594.23/3607.57 v x152 -x151 x150 -x149 x148 -x147 -x146 -x145 x144 -x143 -x142 x141 x140 -x139 -x138 x137 x136 -x135 -x134 x133 x132 -x131 x130
3594.23/3607.57 v -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109
3594.23/3607.57 v -x108 -x107 x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85
3594.23/3607.57 v -x84 -x83 x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60
3594.23/3607.57 v -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35
3594.23/3607.57 v -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 x11 x10 -x9
3594.23/3607.57 v -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 (62518 MiB free)
memory of node 1: 64510 MiB (58923 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434699-1721098022/watcher-4434699-1721098022 -o /tmp/evaluation-result-4434699-1721098022/solver-4434699-1721098022 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721098035-860307 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434699-1721098022.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
Current StackSize limit: 8192 KiB
solver pid=860366, runsolver pid=860355
[startup+0.10006 s]*
/proc/loadavg: 3.89 4.07 4.08 8/266 860381
/proc/meminfo: memFree=124294456/131524600 swapFree=131071996/131071996
[pid=860366] ppid=860355 vsize=110000 memory=29876 CPUtime=0.1 cores=0,2
/proc/860366/stat : 860366 (fscip) S 860355 860366 860297 0 -1 1077936128 4946 0 0 0 10 0 0 0 20 0 3 0 161967583 112640000 7469 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
/proc/860366/statm: 27500 7469 2910 3032 0 10903 0
[pid=860366/tid=860378] ppid=860355 vsize=110000 memory=4026531971 CPUtime=0.09 cores=0,2
/proc/860366/task/860378/stat : 860378 (fscip) R 860355 860366 860297 0 -1 4194368 3219 0 0 0 9 0 0 0 20 0 3 0 161967584 112640000 7469 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
[pid=860366/tid=860381] ppid=860355 vsize=110000 memory=1670 CPUtime=0 cores=0,2
/proc/860366/task/860381/stat : 860381 (fscip) S 860355 860366 860297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161967584 112640000 7469 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 110000 KiB
Current children cumulated memory: 29876 KiB
[startup+0.206389 s]*
/proc/loadavg: 3.89 4.07 4.08 8/266 860381
/proc/meminfo: memFree=124273032/131524600 swapFree=131071996/131071996
[pid=860366] ppid=860355 vsize=110000 memory=39128 CPUtime=0.2 cores=0,2
/proc/860366/stat : 860366 (fscip) S 860355 860366 860297 0 -1 1077936128 7329 0 0 0 19 1 0 0 20 0 3 0 161967583 112640000 9782 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
/proc/860366/statm: 27500 9782 2926 3032 0 13720 0
[pid=860366/tid=860378] ppid=860355 vsize=110000 memory=664970851429515395 CPUtime=0.19 cores=0,2
/proc/860366/task/860378/stat : 860378 (fscip) R 860355 860366 860297 0 -1 4194368 5602 0 0 0 19 0 0 0 20 0 3 0 161967584 112640000 9782 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
[pid=860366/tid=860381] ppid=860355 vsize=110000 memory=1670 CPUtime=0 cores=0,2
/proc/860366/task/860381/stat : 860381 (fscip) S 860355 860366 860297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161967584 112640000 9782 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 110000 KiB
Current children cumulated memory: 39128 KiB
[startup+0.306351 s]*
/proc/loadavg: 3.89 4.07 4.08 8/266 860381
/proc/meminfo: memFree=124270460/131524600 swapFree=131071996/131071996
[pid=860366] ppid=860355 vsize=110000 memory=39920 CPUtime=0.3 cores=0,2
/proc/860366/stat : 860366 (fscip) S 860355 860366 860297 0 -1 1077936128 7906 0 0 0 29 1 0 0 20 0 3 0 161967583 112640000 9980 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
/proc/860366/statm: 27500 9980 2926 3032 0 14110 0
[pid=860366/tid=860378] ppid=860355 vsize=110000 memory=-6370179393307982696 CPUtime=0.29 cores=0,2
/proc/860366/task/860378/stat : 860378 (fscip) R 860355 860366 860297 0 -1 4194368 6179 0 0 0 28 1 0 0 20 0 3 0 161967584 112640000 9980 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
[pid=860366/tid=860381] ppid=860355 vsize=110000 memory=-9044459746194447340 CPUtime=0 cores=0,2
/proc/860366/task/860381/stat : 860381 (fscip) S 860355 860366 860297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161967584 112640000 9980 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 110000 KiB
Current children cumulated memory: 39920 KiB
[startup+0.700264 s]
/proc/loadavg: 3.89 4.07 4.08 8/266 860381
/proc/meminfo: memFree=124266524/131524600 swapFree=131071996/131071996
[pid=860366] ppid=860355 vsize=112472 memory=49684 CPUtime=0.68 cores=0,2
/proc/860366/stat : 860366 (fscip) S 860355 860366 860297 0 -1 1077936128 10357 0 0 0 67 1 0 0 20 0 3 0 161967583 115171328 12421 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
/proc/860366/statm: 28118 12421 2926 3032 0 16099 0
[pid=860366/tid=860378] ppid=860355 vsize=112472 memory=0 CPUtime=0.67 cores=0,2
/proc/860366/task/860378/stat : 860378 (fscip) R 860355 860366 860297 0 -1 4194368 8630 0 0 0 66 1 0 0 20 0 3 0 161967584 115171328 12421 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
[pid=860366/tid=860381] ppid=860355 vsize=112472 memory=0 CPUtime=0 cores=0,2
/proc/860366/task/860381/stat : 860381 (fscip) S 860355 860366 860297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161967584 115171328 12421 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 112472 KiB
Current children cumulated memory: 49684 KiB
[startup+1.50022 s]
/proc/loadavg: 3.89 4.07 4.08 7/266 860381
/proc/meminfo: memFree=124243728/131524600 swapFree=131071996/131071996
[pid=860366] ppid=860355 vsize=112472 memory=53736 CPUtime=1.48 cores=0,2
/proc/860366/stat : 860366 (fscip) S 860355 860366 860297 0 -1 1077936128 16354 0 0 0 146 2 0 0 20 0 3 0 161967583 115171328 13434 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
/proc/860366/statm: 28118 13434 2974 3032 0 16989 0
[pid=860366/tid=860378] ppid=860355 vsize=112472 memory=0 CPUtime=1.47 cores=0,2
/proc/860366/task/860378/stat : 860378 (fscip) R 860355 860366 860297 0 -1 4194368 14533 0 0 0 145 2 0 0 20 0 3 0 161967584 115171328 13434 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
[pid=860366/tid=860381] ppid=860355 vsize=112472 memory=0 CPUtime=0 cores=0,2
/proc/860366/task/860381/stat : 860381 (fscip) S 860355 860366 860297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161967584 115171328 13434 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 112472 KiB
Current children cumulated memory: 53736 KiB
[startup+3.10665 s]
/proc/loadavg: 3.89 4.07 4.08 8/266 860383
/proc/meminfo: memFree=124221732/131524600 swapFree=131071996/131071996
[pid=860366] ppid=860355 vsize=113316 memory=58072 CPUtime=3.09 cores=0,2
/proc/860366/stat : 860366 (fscip) S 860355 860366 860297 0 -1 1077936128 20397 0 0 0 306 3 0 0 20 0 3 0 161967583 116035584 14518 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
/proc/860366/statm: 28329 14518 2974 3032 0 18431 0
[pid=860366/tid=860378] ppid=860355 vsize=113316 memory=0 CPUtime=3.08 cores=0,2
/proc/860366/task/860378/stat : 860378 (fscip) R 860355 860366 860297 0 -1 4194368 18563 0 0 0 305 3 0 0 20 0 3 0 161967584 116035584 14518 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
[pid=860366/tid=860381] ppid=860355 vsize=113316 memory=2273 CPUtime=0 cores=0,2
/proc/860366/task/860381/stat : 860381 (fscip) S 860355 860366 860297 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 161967584 116035584 14518 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 113316 KiB
Current children cumulated memory: 58072 KiB
[startup+6.3002 s]
/proc/loadavg: 3.90 4.07 4.08 8/266 860383
/proc/meminfo: memFree=124190544/131524600 swapFree=131071996/131071996
[pid=860366] ppid=860355 vsize=115676 memory=73012 CPUtime=6.27 cores=0,2
/proc/860366/stat : 860366 (fscip) S 860355 860366 860297 0 -1 1077936128 31925 0 0 0 623 4 0 0 20 0 3 0 161967583 118452224 18253 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
/proc/860366/statm: 28919 18253 3294 3032 0 22401 0
[pid=860366/tid=860378] ppid=860355 vsize=115676 memory=0 CPUtime=6.26 cores=0,2
/proc/860366/task/860378/stat : 860378 (fscip) R 860355 860366 860297 0 -1 4194368 29994 0 0 0 622 4 0 0 20 0 3 0 161967584 118452224 18253 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
[pid=860366/tid=860381] ppid=860355 vsize=115676 memory=11860 CPUtime=0 cores=0,2
/proc/860366/task/860381/stat : 860381 (fscip) S 860355 860366 860297 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 161967584 118452224 18253 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 115676 KiB
Current children cumulated memory: 73012 KiB
[startup+12.7002 s]
/proc/loadavg: 3.98 4.09 4.08 7/266 860385
/proc/meminfo: memFree=124137352/131524600 swapFree=131071996/131071996
[pid=860366] ppid=860355 vsize=122004 memory=89376 CPUtime=12.64 cores=0,2
/proc/860366/stat : 860366 (fscip) S 860355 860366 860297 0 -1 1077936128 55554 0 0 0 1258 6 0 0 20 0 3 0 161967583 124932096 22344 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
/proc/860366/statm: 30501 22344 3294 3032 0 26467 0
[pid=860366/tid=860378] ppid=860355 vsize=122004 memory=11860 CPUtime=12.63 cores=0,2
/proc/860366/task/860378/stat : 860378 (fscip) R 860355 860366 860297 0 -1 4194368 53592 0 0 0 1257 6 0 0 20 0 3 0 161967584 124932096 22344 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
[pid=860366/tid=860381] ppid=860355 vsize=122004 memory=55372 CPUtime=0 cores=0,2
/proc/860366/task/860381/stat : 860381 (fscip) S 860355 860366 860297 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 161967584 124932096 22344 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 122004 KiB
Current children cumulated memory: 89376 KiB
[startup+25.5002 s]
/proc/loadavg: 3.99 4.08 4.08 8/266 860387
/proc/meminfo: memFree=124074560/131524600 swapFree=131071996/131071996
[pid=860366] ppid=860355 vsize=203000 memory=111732 CPUtime=25.39 cores=0,2
/proc/860366/stat : 860366 (fscip) S 860355 860366 860297 0 -1 1077936128 99976 0 0 0 2530 9 0 0 20 0 3 0 161967583 207872000 27933 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
/proc/860366/statm: 50750 27933 3294 3032 0 32518 0
[pid=860366/tid=860378] ppid=860355 vsize=203000 memory=11860 CPUtime=25.38 cores=0,2
/proc/860366/task/860378/stat : 860378 (fscip) R 860355 860366 860297 0 -1 4194368 97820 0 0 0 2529 9 0 0 20 0 3 0 161967584 207872000 27933 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
[pid=860366/tid=860381] ppid=860355 vsize=203000 memory=111180 CPUtime=0 cores=0,2
/proc/860366/task/860381/stat : 860381 (fscip) S 860355 860366 860297 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 161967584 207872000 27933 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 203000 KiB
Current children cumulated memory: 111732 KiB
[startup+51.1063 s]
/proc/loadavg: 4.06 4.09 4.08 7/266 860438
/proc/meminfo: memFree=123911840/131524600 swapFree=131071996/131071996
[pid=860366] ppid=860355 vsize=243436 memory=168176 CPUtime=50.9 cores=0,2
/proc/860366/stat : 860366 (fscip) S 860355 860366 860297 0 -1 1077936128 172095 0 0 0 5072 18 0 0 20 0 3 0 161967583 249278464 42044 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
/proc/860366/statm: 60859 42044 3294 3032 0 47290 0
[pid=860366/tid=860378] ppid=860355 vsize=243436 memory=158716 CPUtime=50.88 cores=0,2
/proc/860366/task/860378/stat : 860378 (fscip) R 860355 860366 860297 0 -1 4194368 169874 0 0 0 5070 18 0 0 20 0 3 0 161967584 249278464 42044 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
[pid=860366/tid=860381] ppid=860355 vsize=243436 memory=166176 CPUtime=0 cores=0,2
/proc/860366/task/860381/stat : 860381 (fscip) S 860355 860366 860297 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 161967584 249278464 42044 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 243436 KiB
Current children cumulated memory: 168176 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.12 4.10 6/266 860448
/proc/meminfo: memFree=123670056/131524600 swapFree=131071996/131071996
[pid=860366] ppid=860355 vsize=353376 memory=275752 CPUtime=101.89 cores=0,2
/proc/860366/stat : 860366 (fscip) S 860355 860366 860297 0 -1 1077936128 288293 0 0 0 10155 34 0 0 20 0 3 0 161967583 361857024 68938 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
/proc/860366/statm: 88344 68938 3294 3032 0 73738 0
[pid=860366/tid=860378] ppid=860355 vsize=353376 memory=232560 CPUtime=101.87 cores=0,2
/proc/860366/task/860378/stat : 860378 (fscip) R 860355 860366 860297 0 -1 4194368 286002 0 0 0 10154 33 0 0 20 0 3 0 161967584 361857024 68938 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
[pid=860366/tid=860381] ppid=860355 vsize=353376 memory=111732 CPUtime=0 cores=0,2
/proc/860366/task/860381/stat : 860381 (fscip) S 860355 860366 860297 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 161967584 361857024 68938 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 353376 KiB
Current children cumulated memory: 275752 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.11 4.09 6/266 860460
/proc/meminfo: memFree=123401152/131524600 swapFree=131071996/131071996
[pid=860366] ppid=860355 vsize=446404 memory=374032 CPUtime=161.63 cores=0,2
/proc/860366/stat : 860366 (fscip) S 860355 860366 860297 0 -1 1077936128 347103 0 0 0 16119 44 0 0 20 0 3 0 161967583 457117696 93508 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
/proc/860366/statm: 111601 93508 3294 3032 0 98182 0
[pid=860366/tid=860378] ppid=860355 vsize=446404 memory=111732 CPUtime=161.61 cores=0,2
/proc/860366/task/860378/stat : 860378 (fscip) R 860355 860366 860297 0 -1 4194368 344793 0 0 0 16117 44 0 0 20 0 3 0 161967584 457117696 93508 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
[pid=860366/tid=860381] ppid=860355 vsize=446404 memory=318800 CPUtime=0 cores=0,2
/proc/860366/task/860381/stat : 860381 (fscip) S 860355 860366 860297 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 161967584 457117696 93508 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 446404 KiB
Current children cumulated memory: 374032 KiB
################
# More data... #
################
Current children cumulated memory: 2810192 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.10 6/266 862257
/proc/meminfo: memFree=117227088/131524600 swapFree=131071996/131071996
[pid=860366] ppid=860355 vsize=2961280 memory=2842552 CPUtime=3389.79 cores=0,2
/proc/860366/stat : 860366 (fscip) S 860355 860366 860297 0 -1 1077936128 7177563 0 0 0 338171 808 0 0 20 0 3 0 161967583 3032350720 710638 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
/proc/860366/statm: 740320 710638 3294 3032 0 727457 0
[pid=860366/tid=860378] ppid=860355 vsize=2961280 memory=2798384 CPUtime=3389.59 cores=0,2
/proc/860366/task/860378/stat : 860378 (fscip) R 860355 860366 860297 0 -1 4194368 7173897 0 0 0 338157 802 0 0 20 0 3 0 161967584 3032350720 710638 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
[pid=860366/tid=860381] ppid=860355 vsize=2961280 memory=2835812 CPUtime=0.03 cores=0,2
/proc/860366/task/860381/stat : 860381 (fscip) S 860355 860366 860297 0 -1 1077936192 174 0 0 0 1 2 0 0 20 0 3 0 161967584 3032350720 710638 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
Current children cumulated CPU time: 3389.79 s
Current children cumulated vsize: 2961280 KiB
Current children cumulated memory: 2842552 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.10 6/266 862270
/proc/meminfo: memFree=117089168/131524600 swapFree=131071996/131071996
[pid=860366] ppid=860355 vsize=3038500 memory=2890612 CPUtime=3449.56 cores=0,2
/proc/860366/stat : 860366 (fscip) S 860355 860366 860297 0 -1 1077936128 7424711 0 0 0 344120 836 0 0 20 0 3 0 161967583 3111424000 722653 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
/proc/860366/statm: 759625 722653 3294 3032 0 737712 0
[pid=860366/tid=860378] ppid=860355 vsize=3038500 memory=2798384 CPUtime=3449.35 cores=0,2
/proc/860366/task/860378/stat : 860378 (fscip) R 860355 860366 860297 0 -1 4194368 7421025 0 0 0 344105 830 0 0 20 0 3 0 161967584 3111424000 722653 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
[pid=860366/tid=860381] ppid=860355 vsize=3038500 memory=2847444 CPUtime=0.03 cores=0,2
/proc/860366/task/860381/stat : 860381 (fscip) S 860355 860366 860297 0 -1 1077936192 176 0 0 0 1 2 0 0 20 0 3 0 161967584 3111424000 722653 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
Current children cumulated CPU time: 3449.56 s
Current children cumulated vsize: 3038500 KiB
Current children cumulated memory: 2890612 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.10 7/264 862280
/proc/meminfo: memFree=116982188/131524600 swapFree=131071996/131071996
[pid=860366] ppid=860355 vsize=3054256 memory=2940540 CPUtime=3509.34 cores=0,2
/proc/860366/stat : 860366 (fscip) S 860355 860366 860297 0 -1 1077936128 7682016 0 0 0 350071 863 0 0 20 0 3 0 161967583 3127558144 735135 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
/proc/860366/statm: 763564 735135 3294 3032 0 747836 0
[pid=860366/tid=860378] ppid=860355 vsize=3054256 memory=11860 CPUtime=3509.12 cores=0,2
/proc/860366/task/860378/stat : 860378 (fscip) R 860355 860366 860297 0 -1 4194368 7678308 0 0 0 350056 856 0 0 20 0 3 0 161967584 3127558144 735135 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
[pid=860366/tid=860381] ppid=860355 vsize=3054256 memory=2940540 CPUtime=0.03 cores=0,2
/proc/860366/task/860381/stat : 860381 (fscip) S 860355 860366 860297 0 -1 1077936192 178 0 0 0 1 2 0 0 20 0 3 0 161967584 3127558144 735135 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
Current children cumulated CPU time: 3509.34 s
Current children cumulated vsize: 3054256 KiB
Current children cumulated memory: 2940540 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.09 6/264 862291
/proc/meminfo: memFree=116887696/131524600 swapFree=131071996/131071996
[pid=860366] ppid=860355 vsize=3069496 memory=2984196 CPUtime=3569.12 cores=0,2
/proc/860366/stat : 860366 (fscip) S 860355 860366 860297 0 -1 1077936128 7939972 0 0 0 356025 887 0 0 20 0 3 0 161967583 3143163904 746049 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
/proc/860366/statm: 767374 746049 3294 3032 0 758835 0
[pid=860366/tid=860378] ppid=860355 vsize=3069496 memory=11860 CPUtime=3568.9 cores=0,2
/proc/860366/task/860378/stat : 860378 (fscip) R 860355 860366 860297 0 -1 4194368 7936243 0 0 0 356009 881 0 0 20 0 3 0 161967584 3143163904 746049 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
[pid=860366/tid=860381] ppid=860355 vsize=3069496 memory=11860 CPUtime=0.03 cores=0,2
/proc/860366/task/860381/stat : 860381 (fscip) S 860355 860366 860297 0 -1 1077936192 180 0 0 0 1 2 0 0 20 0 3 0 161967584 3143163904 746049 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
Current children cumulated CPU time: 3569.12 s
Current children cumulated vsize: 3069496 KiB
Current children cumulated memory: 2984196 KiB
[startup+3607.62 s]
# the end of solver process 860366 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.16 s, system=9.19275 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.17 4.13 4.10 6/264 862291
/proc/meminfo: memFree=116887724/131524600 swapFree=131071996/131071996
[pid=860366] ppid=860355 vsize=3069496 memory=2984200 CPUtime=3570.82 cores=0,2
/proc/860366/stat : 860366 (fscip) S 860355 860366 860297 0 -1 1077936128 7973589 0 0 0 356192 890 0 0 20 0 3 0 161967583 3143163904 746050 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
/proc/860366/statm: 767374 746050 3294 3032 0 758835 0
[pid=860366/tid=860378] ppid=860355 vsize=3069496 memory=6720659943902429291 CPUtime=3570.6 cores=0,2
/proc/860366/task/860378/stat : 860378 (fscip) R 860355 860366 860297 0 -1 4194368 7969860 0 0 0 356177 883 0 0 20 0 3 0 161967584 3143163904 746050 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
[pid=860366/tid=860381] ppid=860355 vsize=3069496 memory=26952 CPUtime=0.03 cores=0,2
/proc/860366/task/860381/stat : 860381 (fscip) S 860355 860366 860297 0 -1 1077936192 180 0 0 0 1 2 0 0 20 0 3 0 161967584 3143163904 746050 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
Current children cumulated CPU time: 3570.82 s
Current children cumulated vsize: 3069496 KiB
Current children cumulated memory: 2984200 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.13 4.09 6/264 862293
/proc/meminfo: memFree=116873872/131524600 swapFree=131071996/131071996
[pid=860366] ppid=860355 vsize=3069496 memory=2991132 CPUtime=3583.57 cores=0,2
/proc/860366/stat : 860366 (fscip) S 860355 860366 860297 0 -1 1077936128 8056859 0 0 0 357461 896 0 0 20 0 3 0 161967583 3143163904 747783 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
/proc/860366/statm: 767374 747783 3294 3032 0 760551 0
[pid=860366/tid=860378] ppid=860355 vsize=3069496 memory=2981420 CPUtime=3583.35 cores=0,2
/proc/860366/task/860378/stat : 860378 (fscip) R 860355 860366 860297 0 -1 4194368 8053111 0 0 0 357445 890 0 0 20 0 3 0 161967584 3143163904 747783 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
[pid=860366/tid=860381] ppid=860355 vsize=3069496 memory=2984200 CPUtime=0.03 cores=0,2
/proc/860366/task/860381/stat : 860381 (fscip) S 860355 860366 860297 0 -1 1077936192 180 0 0 0 1 2 0 0 20 0 3 0 161967584 3143163904 747783 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
Current children cumulated CPU time: 3583.57 s
Current children cumulated vsize: 3069496 KiB
Current children cumulated memory: 2991132 KiB
[startup+3603.2 s]
/proc/loadavg: 4.13 4.13 4.09 6/264 862343
/proc/meminfo: memFree=117883952/131524600 swapFree=131071996/131071996
[pid=860366] ppid=860355 vsize=3069496 memory=2991428 CPUtime=3589.95 cores=0,2
/proc/860366/stat : 860366 (fscip) S 860355 860366 860297 0 -1 1077936128 8180316 0 0 0 358088 907 0 0 20 0 3 0 161967583 3143163904 747857 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
/proc/860366/statm: 767374 747857 3294 3032 0 760551 0
[pid=860366/tid=860378] ppid=860355 vsize=3069496 memory=2991428 CPUtime=3589.72 cores=0,2
/proc/860366/task/860378/stat : 860378 (fscip) R 860355 860366 860297 0 -1 4194368 8176578 0 0 0 358072 900 0 0 20 0 3 0 161967584 3143163904 747857 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
[pid=860366/tid=860381] ppid=860355 vsize=3069496 memory=2991288 CPUtime=0.03 cores=0,2
/proc/860366/task/860381/stat : 860381 (fscip) S 860355 860366 860297 0 -1 1077936192 180 0 0 0 1 2 0 0 20 0 3 0 161967584 3143163904 747857 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
Current children cumulated CPU time: 3589.95 s
Current children cumulated vsize: 3069496 KiB
Current children cumulated memory: 2991428 KiB
[startup+3604.8 s]
/proc/loadavg: 4.12 4.12 4.09 6/264 862343
/proc/meminfo: memFree=117826976/131524600 swapFree=131071996/131071996
[pid=860366] ppid=860355 vsize=3066412 memory=2988348 CPUtime=3591.54 cores=0,2
/proc/860366/stat : 860366 (fscip) S 860355 860366 860297 0 -1 1077936128 8222940 0 0 0 358244 910 0 0 20 0 3 0 161967583 3140005888 747087 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
/proc/860366/statm: 766603 747087 3294 3032 0 759780 0
[pid=860366/tid=860378] ppid=860355 vsize=3066412 memory=2990728 CPUtime=3591.32 cores=0,2
/proc/860366/task/860378/stat : 860378 (fscip) R 860355 860366 860297 0 -1 4194368 8219193 0 0 0 358228 904 0 0 20 0 3 0 161967584 3140005888 747087 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
[pid=860366/tid=860381] ppid=860355 vsize=3066412 memory=2991428 CPUtime=0.03 cores=0,2
/proc/860366/task/860381/stat : 860381 (fscip) S 860355 860366 860297 0 -1 1077936192 180 0 0 0 1 2 0 0 20 0 3 0 161967584 3140005888 747087 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
Current children cumulated CPU time: 3591.54 s
Current children cumulated vsize: 3066412 KiB
Current children cumulated memory: 2988348 KiB
[startup+3606.4 s]
/proc/loadavg: 4.12 4.12 4.09 4/260 862439
/proc/meminfo: memFree=120172760/131524600 swapFree=131071996/131071996
[pid=860366] ppid=860355 vsize=3060244 memory=2982188 CPUtime=3593.14 cores=0,2
/proc/860366/stat : 860366 (fscip) S 860355 860366 860297 0 -1 1077936128 8230971 0 0 0 358403 911 0 0 20 0 3 0 161967583 3133689856 745547 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
/proc/860366/statm: 765061 745547 3294 3032 0 758238 0
[pid=860366/tid=860378] ppid=860355 vsize=3060244 memory=2991300 CPUtime=3592.92 cores=0,2
/proc/860366/task/860378/stat : 860378 (fscip) R 860355 860366 860297 0 -1 4194368 8227222 0 0 0 358388 904 0 0 20 0 3 0 161967584 3133689856 745547 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
[pid=860366/tid=860381] ppid=860355 vsize=3060244 memory=6680 CPUtime=0.03 cores=0,2
/proc/860366/task/860381/stat : 860381 (fscip) S 860355 860366 860297 0 -1 1077936192 180 0 0 0 1 2 0 0 20 0 3 0 161967584 3133689856 745547 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
Current children cumulated CPU time: 3593.14 s
Current children cumulated vsize: 3060244 KiB
Current children cumulated memory: 2982188 KiB
[startup+3607.2 s]
/proc/loadavg: 4.12 4.12 4.09 5/262 862485
/proc/meminfo: memFree=120025036/131524600 swapFree=131071996/131071996
[pid=860366] ppid=860355 vsize=3032532 memory=2954480 CPUtime=3593.93 cores=0,2
/proc/860366/stat : 860366 (fscip) S 860355 860366 860297 0 -1 1077936128 8231746 0 0 0 358482 911 0 0 20 0 3 0 161967583 3105312768 738620 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
/proc/860366/statm: 758133 738620 3294 3032 0 751310 0
[pid=860366/tid=860378] ppid=860355 vsize=3032532 memory=2977048 CPUtime=3593.71 cores=0,2
/proc/860366/task/860378/stat : 860378 (fscip) R 860355 860366 860297 0 -1 4194368 8227997 0 0 0 358467 904 0 0 20 0 3 0 161967584 3105312768 738620 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
[pid=860366/tid=860381] ppid=860355 vsize=3032532 memory=5448 CPUtime=0.03 cores=0,2
/proc/860366/task/860381/stat : 860381 (fscip) S 860355 860366 860297 0 -1 1077936192 180 0 0 0 1 2 0 0 20 0 3 0 161967584 3105312768 738620 134679101440 4194304 16613245 140722081649504 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46514176 140722081653781 140722081653897 140722081653897 140722081660912 0
Current children cumulated CPU time: 3593.93 s
Current children cumulated vsize: 3032532 KiB
Current children cumulated memory: 2954480 KiB
[startup+3607.6 s]*
/proc/loadavg: 4.12 4.12 4.09 5/261 862485
/proc/meminfo: memFree=121837116/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3607.62
CPU time (s): 3594.35
CPU user time (s): 3585.16
CPU system time (s): 9.19275
CPU usage (%): 99.6323
Max. virtual memory (cumulated for all children) (KiB): 3069496
Max. memory (cumulated for all children) (KiB): 2991428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.16
system time used= 9.19275
maximum resident set size= 2991428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8237765
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= 10172
involuntary context switches= 24660
# summary of solver processes directly reported to runsolver:
# pid: 860366
# total CPU time (s): 3594.35
# total CPU user time (s): 3585.16
# total CPU system time (s): 9.19275
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.69021 second user time and 19.2195 second system time
The end
Begin job on nodeC025 at 2024-07-16 04:47:15
IDJOB=4434699
IDBENCH=147586
IDSOLVER=3064
FILE ID=nodeC025/4434699-1721098022
RUNJOBID= nodeC025-1721098035-860307
SLURM_JOB_ID= 7505612
Free space on /tmp= 890032 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_3.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-4434699-1721098022/watcher-4434699-1721098022 -o /tmp/evaluation-result-4434699-1721098022/solver-4434699-1721098022 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721098035-860307 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434699-1721098022.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d6e4abba593cb3232b5d1a2a9d687dd6
RANDOM SEED=370823743
nodeC025.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 : 3602.649
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.72
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 : 3634.884
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 : 7007.09
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 : 3466.279
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.72
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 : 3289.262
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 : 7007.09
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 : 3623.397
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.72
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 : 3713.715
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 : 7007.09
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 : 3845.056
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.72
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 : 3700.920
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 : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124358428 kB
MemAvailable: 129648864 kB
Buffers: 403192 kB
Cached: 5661308 kB
SwapCached: 0 kB
Active: 752016 kB
Inactive: 5681796 kB
Active(anon): 1424 kB
Inactive(anon): 405612 kB
Active(file): 750592 kB
Inactive(file): 5276184 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 113244 kB
Writeback: 12 kB
AnonPages: 367304 kB
Mapped: 103484 kB
Shmem: 37720 kB
KReclaimable: 206612 kB
Slab: 325264 kB
SReclaimable: 206612 kB
SUnreclaim: 118652 kB
KernelStack: 3840 kB
PageTables: 9440 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 839644 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62624 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: 273108 kB
DirectMap2M: 36200448 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 889916 MiB
End job on nodeC025 at 2024-07-16 05:47:23