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 = 22798336, getVmSize() = 22798336, SCIPgetMemUsed() = 1035327, 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 = 16345770, getVmSize() = 26238976, SCIPgetMemUsed() = 1825954, 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-4434697-1721098022
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.10/0.18 c * 0 2 1 1 729.0000 0.0000 -
0.20/0.26 c * 0 2 1 1 429.0000 0.0000 -
0.20/0.29 c * 0 2 1 1 407.0000 0.0000 -
2.18/2.25 c * 2 1106 56 1 395.0000 0.0000 -
2.29/2.33 c * 2 1106 56 1 263.0000 0.0000 -
4.57/4.66 c * 5 2020 970 1 186.0000 0.0000 -
5.07/5.18 c 5 2562 1510 1 186.0000 0.0000 -
6.27/6.39 c * 6 3494 2440 1 184.0000 0.0000 -
6.37/6.40 c * 6 3494 2440 1 180.0000 0.0000 -
10.25/10.32 c * 10 5159 4059 1 85.0000 0.0000 -
10.25/10.32 c 10 5159 4059 1 85.0000 0.0000 -
14.24/14.36 c * 14 7628 5727 1 82.0000 0.0000 -
14.24/14.36 c * 14 7628 5727 1 80.0000 0.0000 -
15.33/15.46 c 15 8541 6428 1 80.0000 0.0000 -
20.41/20.55 c 21 11101 8601 1 80.0000 0.0000 -
23.40/23.51 c * 24 11835 9237 1 78.0000 0.0000 -
25.49/25.65 c 26 13125 10399 1 78.0000 0.0000 -
26.09/26.22 c * 26 13125 10399 1 77.0000 0.0000 -
30.67/30.83 c 31 14956 11877 1 77.0000 0.0000 -
35.86/36.05 c 36 16498 13103 1 77.0000 0.0000 -
36.55/36.78 c * 37 16498 13103 1 72.0000 0.0000 -
40.94/41.11 c 41 18381 14360 1 72.0000 0.0000 -
45.92/46.19 c 46 20241 15832 1 72.0000 0.0000 -
51.09/51.32 c 51 22583 17556 1 72.0000 0.0000 -
56.17/56.48 c 56 24362 18833 1 72.0000 0.0000 -
58.27/58.58 c * 59 25045 19364 1 56.0000 0.0000 -
61.25/61.56 c 62 25747 16304 1 56.0000 0.0000 -
66.43/66.70 c 67 27053 17219 1 56.0000 0.0000 -
71.41/71.79 c 72 28413 18153 1 56.0000 0.0000 -
76.70/77.06 c 77 29795 19276 1 56.0000 0.0000 -
79.08/79.44 c * 79 30319 19642 1 54.0000 0.0000 -
79.08/79.45 c * 79 30319 19642 1 52.0000 0.0000 -
79.08/79.47 c * 79 30319 19642 1 50.0000 0.0000 -
79.18/79.53 c * 80 30319 19642 1 38.0000 0.0000 -
81.87/82.21 c 82 31425 18021 1 38.0000 0.0000 -
86.95/87.30 c 87 33206 18982 1 38.0000 0.0000 -
92.03/92.48 c 92 35229 20045 1 38.0000 0.0000 -
97.21/97.66 c 98 36957 20805 1 38.0000 0.0000 -
102.39/102.85 c 103 39012 21632 1 38.0000 0.0000 -
107.57/108.00 c 108 41288 22585 1 38.0000 0.0000 -
112.55/113.08 c 113 43197 23405 1 38.0000 0.0000 -
117.63/118.14 c 118 45346 24424 1 38.0000 0.0000 -
122.80/123.39 c 123 47261 25497 1 38.0000 0.0000 -
128.08/128.61 c 129 49188 26412 1 38.0000 0.0000 -
133.16/133.75 c 134 51083 27311 1 38.0000 0.0000 -
138.25/138.85 c 139 53361 28571 1 38.0000 0.0000 -
138.94/139.59 c * 140 53361 28571 1 33.0000 0.0000 -
143.53/144.12 c 144 55606 28189 1 33.0000 0.0000 -
148.71/149.38 c 149 58467 30010 1 33.0000 0.0000 -
153.88/154.53 c 155 60490 31405 1 33.0000 0.0000 -
158.96/159.65 c 160 62455 32838 1 33.0000 0.0000 -
164.14/164.80 c 165 64383 34027 1 33.0000 0.0000 -
169.33/170.09 c 170 66273 35067 1 33.0000 0.0000 -
174.50/175.23 c 175 67877 35906 1 33.0000 0.0000 -
179.58/180.31 c 180 69483 36855 1 33.0000 0.0000 -
184.67/185.49 c 186 70834 37588 1 33.0000 0.0000 -
189.84/190.66 c 191 72404 38524 1 33.0000 0.0000 -
195.03/195.89 c 196 74030 39378 1 33.0000 0.0000 -
200.31/201.15 c 201 75621 40257 1 33.0000 0.0000 -
205.48/206.33 c 206 77334 41077 1 33.0000 0.0000 -
210.66/211.58 c 212 79045 41952 1 33.0000 0.0000 -
215.84/216.77 c 217 80814 42867 1 33.0000 0.0000 -
220.92/221.87 c 222 82241 43549 1 33.0000 0.0000 -
226.11/227.00 c 227 83915 44416 1 33.0000 0.0000 -
231.28/232.22 c 232 85767 45395 1 33.0000 0.0000 -
236.46/237.42 c 237 87341 46345 1 33.0000 0.0000 -
241.55/242.58 c 243 89055 47251 1 33.0000 0.0000 -
246.84/247.80 c 248 90559 47991 1 33.0000 0.0000 -
251.92/252.99 c 253 92029 48703 1 33.0000 0.0000 -
252.52/253.57 c * 254 92029 48703 1 31.0000 0.0000 -
257.31/258.32 c 258 93515 42921 1 31.0000 0.0000 -
262.50/263.57 c 264 95097 43625 1 31.0000 0.0000 -
267.78/268.80 c 269 96446 44303 1 31.0000 0.0000 -
272.97/274.03 c 274 97833 44940 1 31.0000 0.0000 -
278.14/279.20 c 279 99270 45553 1 31.0000 0.0000 -
283.33/284.43 c 284 100637 46158 1 31.0000 0.0000 -
288.52/289.61 c 290 102043 46833 1 31.0000 0.0000 -
293.30/294.42 c * 294 103064 47399 1 24.0000 0.0000 -
293.90/295.04 c 295 103435 44094 1 24.0000 0.0000 -
300.08/301.26 c 301 104892 44853 1 24.0000 0.0000 -
305.16/306.36 c 306 107261 45750 1 24.0000 0.0000 -
308.26/309.49 c * 309 108300 46096 1 23.0000 0.0000 -
308.36/309.56 c * 310 108300 46096 1 21.0000 0.0000 -
310.25/311.46 c 311 109309 44495 1 21.0000 0.0000 -
315.33/316.53 c 317 112194 45454 1 21.0000 0.0000 -
320.42/321.69 c 322 114763 46322 1 21.0000 0.0000 -
325.49/326.73 c 327 117110 47345 1 21.0000 0.0000 -
330.58/331.84 c 332 119002 48068 1 21.0000 0.0000 -
335.66/336.93 c 337 122145 48967 1 21.0000 0.0000 -
340.95/342.22 c 342 124334 49856 1 21.0000 0.0000 -
346.14/347.44 c 347 126333 51047 1 21.0000 0.0000 -
351.32/352.60 c 353 128313 52063 1 21.0000 0.0000 -
356.40/357.75 c 358 130219 53020 1 21.0000 0.0000 -
361.48/362.85 c 363 132496 54000 1 21.0000 0.0000 -
366.67/368.01 c 368 134646 54945 1 21.0000 0.0000 -
371.75/373.11 c 373 136967 56006 1 21.0000 0.0000 -
377.13/378.59 c 379 139426 57000 1 21.0000 0.0000 -
382.22/383.66 c 384 141490 57785 1 21.0000 0.0000 -
387.40/388.86 c 389 143578 58562 1 21.0000 0.0000 -
392.59/394.02 c 394 146016 59625 1 21.0000 0.0000 -
397.67/399.17 c 399 148564 60607 1 21.0000 0.0000 -
403.15/404.61 c 405 150417 61479 1 21.0000 0.0000 -
408.33/409.80 c 410 152445 62239 1 21.0000 0.0000 -
413.42/414.96 c 415 154374 63206 1 21.0000 0.0000 -
418.40/419.93 c * 420 155542 63731 1 19.0000 0.0000 -
418.80/420.34 c 420 155822 62106 1 19.0000 0.0000 -
423.89/425.42 c 425 157716 62896 1 19.0000 0.0000 -
429.07/430.65 c 431 159993 63686 1 19.0000 0.0000 -
434.15/435.77 c 436 162420 64374 1 19.0000 0.0000 -
439.44/441.01 c 441 165227 65119 1 19.0000 0.0000 -
444.53/446.10 c 446 167930 65752 1 19.0000 0.0000 -
449.80/451.45 c 451 170406 66478 1 19.0000 0.0000 -
452.50/454.13 c * 454 171566 66778 1 17.0000 0.0000 -
454.88/456.58 c 457 174027 65100 1 17.0000 0.0000 -
459.97/461.67 c 462 177552 65927 1 17.0000 0.0000 -
465.25/466.93 c 467 179526 66860 1 17.0000 0.0000 -
470.44/472.14 c 472 181792 67767 1 17.0000 0.0000 -
475.72/477.44 c 477 184238 68643 1 17.0000 0.0000 -
480.80/482.58 c 483 188036 69788 1 17.0000 0.0000 -
485.99/487.71 c 488 191443 70645 1 17.0000 0.0000 -
491.06/492.82 c 493 195182 71439 1 17.0000 0.0000 -
496.25/498.00 c 498 199025 72323 1 17.0000 0.0000 -
501.34/503.14 c 503 203115 73284 1 17.0000 0.0000 -
506.42/508.27 c 508 207153 74259 1 17.0000 0.0000 -
512.00/513.87 c 514 209910 74940 1 17.0000 0.0000 -
517.19/519.05 c 519 213112 75817 1 17.0000 0.0000 -
522.57/524.41 c 524 217181 76638 1 17.0000 0.0000 -
527.76/529.64 c 530 220228 77388 1 17.0000 0.0000 -
532.84/534.73 c 535 223190 77991 1 17.0000 0.0000 -
537.93/539.85 c 540 226476 78845 1 17.0000 0.0000 -
543.12/545.02 c 545 228738 79678 1 17.0000 0.0000 -
548.39/550.30 c 550 232168 80501 1 17.0000 0.0000 -
553.48/555.47 c 555 235724 81201 1 17.0000 0.0000 -
558.56/560.53 c 561 239201 81932 1 17.0000 0.0000 -
563.65/565.68 c 566 242683 82613 1 17.0000 0.0000 -
568.84/570.83 c 571 246688 83508 1 17.0000 0.0000 -
574.13/576.18 c 576 249729 84382 1 17.0000 0.0000 -
579.30/581.30 c 581 251929 85284 1 17.0000 0.0000 -
584.79/586.85 c 587 254353 86016 1 17.0000 0.0000 -
589.98/592.08 c 592 257394 86977 1 17.0000 0.0000 -
595.46/597.51 c 598 259624 87699 1 17.0000 0.0000 -
600.75/602.81 c 603 261810 88400 1 17.0000 0.0000 -
605.93/608.03 c 608 264167 89010 1 17.0000 0.0000 -
611.02/613.19 c 613 266624 89639 1 17.0000 0.0000 -
616.20/618.36 c 618 269957 90476 1 17.0000 0.0000 -
621.58/623.71 c 624 272451 91465 1 17.0000 0.0000 -
626.67/628.85 c 629 275498 92403 1 17.0000 0.0000 -
631.86/634.03 c 634 280410 93514 1 17.0000 0.0000 -
637.03/639.27 c 639 284509 94512 1 17.0000 0.0000 -
642.32/644.51 c 645 286538 95009 1 17.0000 0.0000 -
647.51/649.76 c 650 289658 95932 1 17.0000 0.0000 -
652.80/655.00 c 655 293537 96754 1 17.0000 0.0000 -
657.97/660.23 c 660 297857 97654 1 17.0000 0.0000 -
663.35/665.62 c 666 300848 98266 1 17.0000 0.0000 -
668.44/670.76 c 671 303813 98871 1 17.0000 0.0000 -
673.83/676.11 c 676 307037 99564 1 17.0000 0.0000 -
679.21/681.53 c 682 309695 100163 1 17.0000 0.0000 -
684.40/686.73 c 687 312971 100909 1 17.0000 0.0000 -
689.58/691.91 c 692 316462 101512 1 17.0000 0.0000 -
694.78/697.13 c 697 319381 102163 1 17.0000 0.0000 -
699.95/702.33 c 702 322258 103037 1 17.0000 0.0000 -
705.13/707.53 c 708 326755 103851 1 17.0000 0.0000 -
710.42/712.83 c 713 331829 104561 1 17.0000 0.0000 -
715.61/718.04 c 718 336548 105469 1 17.0000 0.0000 -
720.79/723.29 c 723 340098 106071 1 17.0000 0.0000 -
725.97/728.40 c 728 343273 106727 1 17.0000 0.0000 -
731.46/733.92 c 734 345276 107156 1 17.0000 0.0000 -
736.55/739.05 c 739 349005 107813 1 17.0000 0.0000 -
741.64/744.15 c 744 352454 108441 1 17.0000 0.0000 -
746.71/749.26 c 749 355789 109101 1 17.0000 0.0000 -
751.80/754.36 c 754 360942 109890 1 17.0000 0.0000 -
757.29/759.88 c 760 363237 110447 1 17.0000 0.0000 -
762.47/765.01 c 765 366521 110924 1 17.0000 0.0000 -
767.75/770.31 c 770 370143 111579 1 17.0000 0.0000 -
773.03/775.66 c 776 373985 112264 1 17.0000 0.0000 -
778.32/780.99 c 781 376936 112875 1 17.0000 0.0000 -
783.41/786.06 c 786 379008 113446 1 17.0000 0.0000 -
788.59/791.23 c 791 381195 114065 1 17.0000 0.0000 -
794.07/796.73 c 797 383004 114541 1 17.0000 0.0000 -
799.66/802.33 c 802 384501 115195 1 17.0000 0.0000 -
805.15/807.81 c 808 385597 115595 1 17.0000 0.0000 -
811.23/813.95 c 814 388271 116375 1 17.0000 0.0000 -
816.82/819.54 c 820 390329 116911 1 17.0000 0.0000 -
822.10/824.88 c 825 392649 117560 1 17.0000 0.0000 -
827.18/829.96 c 830 394609 118137 1 17.0000 0.0000 -
832.97/835.76 c 836 396463 118666 1 17.0000 0.0000 -
838.15/840.95 c 841 398469 119260 1 17.0000 0.0000 -
843.54/846.35 c 846 400866 119866 1 17.0000 0.0000 -
848.82/851.62 c 852 402373 120437 1 17.0000 0.0000 -
854.11/856.90 c 857 404281 121086 1 17.0000 0.0000 -
859.89/862.79 c 863 405857 121825 1 17.0000 0.0000 -
865.18/868.03 c 868 407549 122436 1 17.0000 0.0000 -
870.77/873.67 c 874 409316 122956 1 17.0000 0.0000 -
876.44/879.39 c 879 411511 123554 1 17.0000 0.0000 -
881.83/884.78 c 885 413088 124103 1 17.0000 0.0000 -
887.22/890.14 c 890 415019 124740 1 17.0000 0.0000 -
893.00/895.90 c 896 417042 125391 1 17.0000 0.0000 -
898.68/901.63 c 902 419062 126109 1 17.0000 0.0000 -
904.17/907.17 c 907 421470 126730 1 17.0000 0.0000 -
910.05/913.03 c 913 423033 127162 1 17.0000 0.0000 -
915.33/918.30 c 918 425387 127851 1 17.0000 0.0000 -
920.62/923.60 c 924 426835 128529 1 17.0000 0.0000 -
926.21/929.21 c 929 428881 129125 1 17.0000 0.0000 -
931.39/934.47 c 934 431253 129805 1 17.0000 0.0000 -
937.58/940.63 c 941 433342 130346 1 17.0000 0.0000 -
942.76/945.85 c 946 435779 130916 1 17.0000 0.0000 -
948.24/951.34 c 951 438497 131574 1 17.0000 0.0000 -
953.63/956.71 c 957 440724 132190 1 17.0000 0.0000 -
959.11/962.28 c 962 442789 132675 1 17.0000 0.0000 -
964.49/967.68 c 968 444918 133183 1 17.0000 0.0000 -
970.18/973.34 c 973 447211 133688 1 17.0000 0.0000 -
975.76/978.93 c 979 449600 134168 1 17.0000 0.0000 -
981.05/984.25 c 984 451306 134628 1 17.0000 0.0000 -
986.53/989.76 c 990 453358 135206 1 17.0000 0.0000 -
992.02/995.20 c 995 454660 135684 1 17.0000 0.0000 -
997.50/1000.77 c 1001 457644 136367 1 17.0000 0.0000 -
1002.89/1006.11 c 1006 459867 136886 1 17.0000 0.0000 -
1008.26/1011.57 c 1012 461875 137448 1 17.0000 0.0000 -
1013.64/1016.90 c 1017 464051 138068 1 17.0000 0.0000 -
1019.32/1022.64 c 1023 466399 138657 1 17.0000 0.0000 -
1024.90/1028.22 c 1028 468474 139080 1 17.0000 0.0000 -
1030.17/1033.56 c 1034 470689 139593 1 17.0000 0.0000 -
1035.46/1038.89 c 1039 472657 140162 1 17.0000 0.0000 -
1041.14/1044.52 c 1045 474255 140834 1 17.0000 0.0000 -
1046.31/1049.75 c 1050 475842 141362 1 17.0000 0.0000 -
1052.29/1055.75 c 1056 477469 141892 1 17.0000 0.0000 -
1057.68/1061.18 c 1061 479169 142352 1 17.0000 0.0000 -
1062.95/1066.43 c 1066 481434 142832 1 17.0000 0.0000 -
1068.33/1071.89 c 1072 483789 143513 1 17.0000 0.0000 -
1073.81/1077.35 c 1077 486288 144038 1 17.0000 0.0000 -
1079.39/1082.97 c 1083 488179 144614 1 17.0000 0.0000 -
1085.26/1088.80 c 1089 490320 145166 1 17.0000 0.0000 -
1091.24/1094.82 c 1095 492869 145696 1 17.0000 0.0000 -
1096.62/1100.24 c 1100 495188 146228 1 17.0000 0.0000 -
1102.30/1105.90 c 1106 497966 146905 1 17.0000 0.0000 -
1107.68/1111.31 c 1111 500032 147331 1 17.0000 0.0000 -
1112.75/1116.48 c 1116 502566 147815 1 17.0000 0.0000 -
1117.83/1121.57 c 1122 505590 148367 1 17.0000 0.0000 -
1123.32/1127.03 c 1127 507776 148793 1 17.0000 0.0000 -
1128.69/1132.47 c 1132 510487 149291 1 17.0000 0.0000 -
1134.57/1138.30 c 1138 512859 149834 1 17.0000 0.0000 -
1139.84/1143.63 c 1144 514671 150275 1 17.0000 0.0000 -
1145.33/1149.13 c 1149 517158 150806 1 17.0000 0.0000 -
1150.71/1154.50 c 1154 519615 151306 1 17.0000 0.0000 -
1156.29/1160.18 c 1160 521466 151845 1 17.0000 0.0000 -
1161.76/1165.62 c 1166 522870 152259 1 17.0000 0.0000 -
1167.64/1171.50 c 1172 525581 152784 1 17.0000 0.0000 -
1171.23/1175.14 c * 1175 527467 153103 1 15.0000 0.0000 -
1172.92/1176.85 c 1177 528582 147487 1 15.0000 0.0000 -
1178.30/1182.21 c 1182 530889 147991 1 15.0000 0.0000 -
1183.97/1187.96 c 1188 533435 148447 1 15.0000 0.0000 -
1189.35/1193.39 c 1193 536528 149135 1 15.0000 0.0000 -
1195.04/1199.07 c 1199 538887 149682 1 15.0000 0.0000 -
1200.61/1204.63 c 1205 541513 150219 1 15.0000 0.0000 -
1207.98/1212.04 c 1212 543867 150636 1 15.0000 0.0000 -
1213.16/1217.24 c 1217 546050 151153 1 15.0000 0.0000 -
1218.34/1222.44 c 1222 547566 151582 1 15.0000 0.0000 -
1223.62/1227.78 c 1228 550694 152211 1 15.0000 0.0000 -
1229.11/1233.24 c 1233 552954 152560 1 15.0000 0.0000 -
1234.68/1238.84 c 1239 555507 152966 1 15.0000 0.0000 -
1240.46/1244.66 c 1245 557495 153422 1 15.0000 0.0000 -
1245.63/1249.80 c 1250 560766 153978 1 15.0000 0.0000 -
1251.61/1255.80 c 1256 563029 154429 1 15.0000 0.0000 -
1256.80/1261.02 c 1261 565044 154868 1 15.0000 0.0000 -
1261.78/1266.09 c 1266 567721 155292 1 15.0000 0.0000 -
1267.45/1271.73 c 1272 569882 155827 1 15.0000 0.0000 -
1272.84/1277.19 c 1277 573061 156436 1 15.0000 0.0000 -
1278.21/1282.59 c 1283 575698 156959 1 15.0000 0.0000 -
1283.59/1287.92 c 1288 579274 157668 1 15.0000 0.0000 -
1288.77/1293.17 c 1293 582344 158236 1 15.0000 0.0000 -
1294.15/1298.59 c 1299 585435 158672 1 15.0000 0.0000 -
1299.83/1304.26 c 1304 588466 159271 1 15.0000 0.0000 -
1305.00/1309.49 c 1309 591894 159751 1 15.0000 0.0000 -
1310.39/1314.86 c 1315 594962 160206 1 15.0000 0.0000 -
1316.16/1320.60 c 1321 597861 160626 1 15.0000 0.0000 -
1321.34/1325.88 c 1326 600492 161110 1 15.0000 0.0000 -
1326.53/1331.05 c 1331 602935 161674 1 15.0000 0.0000 -
1331.80/1336.37 c 1336 605940 162119 1 15.0000 0.0000 -
1337.68/1342.20 c 1342 608144 162580 1 15.0000 0.0000 -
1337.88/1342.45 c * 1342 608144 162580 1 14.0000 0.0000 -
1343.46/1348.03 c 1348 610963 161010 1 14.0000 0.0000 -
1348.73/1353.37 c 1353 612759 161312 1 14.0000 0.0000 -
1354.31/1358.92 c 1359 616723 161821 1 14.0000 0.0000 -
1359.39/1364.04 c 1364 619510 162248 1 14.0000 0.0000 -
1364.56/1369.28 c 1369 622694 162752 1 14.0000 0.0000 -
1369.75/1374.41 c 1374 625953 163151 1 14.0000 0.0000 -
1374.93/1379.66 c 1380 629182 163659 1 14.0000 0.0000 -
1380.31/1385.08 c 1385 631762 164062 1 14.0000 0.0000 -
1385.39/1390.16 c 1390 634819 164530 1 14.0000 0.0000 -
1390.47/1395.26 c 1395 637905 164870 1 14.0000 0.0000 -
1396.06/1400.81 c 1401 640748 165363 1 14.0000 0.0000 -
1401.54/1406.37 c 1406 644227 165783 1 14.0000 0.0000 -
1407.01/1411.83 c 1412 646741 166289 1 14.0000 0.0000 -
1412.80/1417.67 c 1418 650145 166883 1 14.0000 0.0000 -
1417.98/1422.83 c 1423 652652 167219 1 14.0000 0.0000 -
1423.57/1428.46 c 1428 656983 167738 1 14.0000 0.0000 -
1428.65/1433.50 c 1434 660771 168234 1 14.0000 0.0000 -
1433.73/1438.68 c 1439 663154 168590 1 14.0000 0.0000 -
1439.43/1444.35 c 1444 665405 168847 1 14.0000 0.0000 -
1444.90/1449.86 c 1450 669388 169314 1 14.0000 0.0000 -
1450.59/1455.54 c 1456 673398 169780 1 14.0000 0.0000 -
1455.97/1460.92 c 1461 676635 170215 1 14.0000 0.0000 -
1461.25/1466.28 c 1466 679888 170580 1 14.0000 0.0000 -
1466.44/1471.49 c 1471 684938 170993 1 14.0000 0.0000 -
1471.62/1476.65 c 1477 687587 171448 1 14.0000 0.0000 -
1476.81/1481.83 c 1482 690629 171855 1 14.0000 0.0000 -
1482.49/1487.51 c 1488 694389 172437 1 14.0000 0.0000 -
1487.77/1492.86 c 1493 698122 172833 1 14.0000 0.0000 -
1493.06/1498.12 c 1498 702285 173290 1 14.0000 0.0000 -
1498.35/1503.42 c 1503 705790 174030 1 14.0000 0.0000 -
1503.82/1508.93 c 1509 712672 174654 1 14.0000 0.0000 -
1509.21/1514.37 c 1514 716208 175138 1 14.0000 0.0000 -
1514.39/1519.55 c 1520 720172 175562 1 14.0000 0.0000 -
1519.48/1524.65 c 1525 723777 175965 1 14.0000 0.0000 -
1524.97/1530.19 c 1530 728355 176488 1 14.0000 0.0000 -
1530.15/1535.31 c 1535 731289 176826 1 14.0000 0.0000 -
1536.03/1541.23 c 1541 734913 177292 1 14.0000 0.0000 -
1541.31/1546.53 c 1547 737410 177620 1 14.0000 0.0000 -
1547.10/1552.36 c 1552 740636 178020 1 14.0000 0.0000 -
1553.38/1558.69 c 1559 742175 178319 1 14.0000 0.0000 -
1558.56/1563.81 c 1564 747079 178799 1 14.0000 0.0000 -
1563.95/1569.23 c 1569 750126 179282 1 14.0000 0.0000 -
1569.33/1574.62 c 1575 754204 179683 1 14.0000 0.0000 -
1570.73/1576.00 c * 1576 754834 179786 1 13.0000 0.0000 -
1574.42/1579.76 c 1580 757249 177509 1 13.0000 0.0000 -
1579.70/1585.08 c 1585 759835 177806 1 13.0000 0.0000 -
1584.79/1590.13 c 1590 765436 178248 1 13.0000 0.0000 -
1590.57/1595.98 c 1596 769614 178645 1 13.0000 0.0000 -
1595.66/1601.03 c 1601 773636 179096 1 13.0000 0.0000 -
1600.74/1606.14 c 1606 779018 179589 1 13.0000 0.0000 -
1605.92/1611.33 c 1611 783528 180095 1 13.0000 0.0000 -
1611.71/1617.18 c 1617 786541 180490 1 13.0000 0.0000 -
1617.38/1622.82 c 1623 792226 181065 1 13.0000 0.0000 -
1623.26/1628.73 c 1629 797426 181727 1 13.0000 0.0000 -
1628.85/1634.34 c 1634 800191 181986 1 13.0000 0.0000 -
1634.04/1639.51 c 1640 804058 182457 1 13.0000 0.0000 -
1639.92/1645.42 c 1645 805538 182986 1 13.0000 0.0000 -
1645.80/1651.39 c 1651 807012 183369 1 13.0000 0.0000 -
1651.59/1657.14 c 1657 808937 183822 1 13.0000 0.0000 -
1656.77/1662.34 c 1662 810688 184293 1 13.0000 0.0000 -
1662.46/1668.09 c 1668 813072 184835 1 13.0000 0.0000 -
1668.24/1673.83 c 1674 815387 185324 1 13.0000 0.0000 -
1673.82/1679.42 c 1679 817189 185797 1 13.0000 0.0000 -
1679.31/1684.90 c 1685 820200 186325 1 13.0000 0.0000 -
1684.99/1690.62 c 1691 823088 186805 1 13.0000 0.0000 -
1690.38/1696.02 c 1696 826092 187328 1 13.0000 0.0000 -
1695.47/1701.12 c 1701 828994 187765 1 13.0000 0.0000 -
1701.04/1706.76 c 1707 832084 188214 1 13.0000 0.0000 -
1706.22/1711.99 c 1712 834209 188623 1 13.0000 0.0000 -
1711.61/1717.35 c 1717 836573 189081 1 13.0000 0.0000 -
1716.99/1722.78 c 1723 839496 189721 1 13.0000 0.0000 -
1722.88/1728.67 c 1729 841699 190119 1 13.0000 0.0000 -
1728.76/1734.53 c 1735 845310 190448 1 13.0000 0.0000 -
1733.94/1739.70 c 1740 849374 191037 1 13.0000 0.0000 -
1739.02/1744.80 c 1745 853865 191378 1 13.0000 0.0000 -
1744.32/1750.13 c 1750 857321 191733 1 13.0000 0.0000 -
1749.90/1755.70 c 1756 860436 192136 1 13.0000 0.0000 -
1755.68/1761.58 c 1762 864345 192547 1 13.0000 0.0000 -
1760.86/1766.79 c 1767 867892 192940 1 13.0000 0.0000 -
1766.25/1772.11 c 1772 872739 193334 1 13.0000 0.0000 -
1771.92/1777.81 c 1778 876882 193696 1 13.0000 0.0000 -
1777.31/1783.29 c 1783 878397 193953 1 13.0000 0.0000 -
1782.60/1788.56 c 1789 881136 194415 1 13.0000 0.0000 -
1788.48/1794.49 c 1794 883738 194869 1 13.0000 0.0000 -
1794.36/1800.38 c 1800 885644 195419 1 13.0000 0.0000 -
1799.95/1805.94 c 1806 887630 195887 1 13.0000 0.0000 -
1805.63/1811.68 c 1812 890026 196312 1 13.0000 0.0000 -
1811.42/1817.46 c 1817 893112 196893 1 13.0000 0.0000 -
1817.11/1823.17 c 1823 896191 197508 1 13.0000 0.0000 -
1822.18/1828.22 c 1828 898574 197927 1 13.0000 0.0000 -
1827.17/1833.26 c 1833 900210 198228 1 13.0000 0.0000 -
1833.15/1839.28 c 1839 902080 198721 1 13.0000 0.0000 -
1839.13/1845.25 c 1845 904428 199173 1 13.0000 0.0000 -
1844.52/1850.66 c 1851 907479 199637 1 13.0000 0.0000 -
1849.61/1855.76 c 1856 910212 200092 1 13.0000 0.0000 -
1855.09/1861.29 c 1861 912079 200480 1 13.0000 0.0000 -
1860.27/1866.40 c 1866 914195 200866 1 13.0000 0.0000 -
1865.46/1871.63 c 1872 915453 201429 1 13.0000 0.0000 -
1871.84/1878.04 c 1878 917360 202086 1 13.0000 0.0000 -
1877.83/1884.03 c 1884 918952 202627 1 13.0000 0.0000 -
1883.41/1889.62 c 1890 920650 203099 1 13.0000 0.0000 -
1888.69/1894.96 c 1895 921891 203524 1 13.0000 0.0000 -
1893.78/1900.09 c 1900 924732 204201 1 13.0000 0.0000 -
1899.36/1905.69 c 1906 926259 204780 1 13.0000 0.0000 -
1905.05/1911.31 c 1911 927340 205301 1 13.0000 0.0000 -
1910.74/1917.04 c 1917 928444 205764 1 13.0000 0.0000 -
1916.42/1922.73 c 1923 930125 206358 1 13.0000 0.0000 -
1922.20/1928.52 c 1929 931588 206973 1 13.0000 0.0000 -
1927.59/1933.90 c 1934 933140 207572 1 13.0000 0.0000 -
1933.57/1939.93 c 1940 934656 208163 1 13.0000 0.0000 -
1939.05/1945.40 c 1945 936465 208662 1 13.0000 0.0000 -
1944.15/1950.51 c 1951 937985 209224 1 13.0000 0.0000 -
1949.82/1956.22 c 1956 940719 209936 1 13.0000 0.0000 -
1955.21/1961.64 c 1962 942041 210358 1 13.0000 0.0000 -
1960.60/1967.07 c 1967 943166 210818 1 13.0000 0.0000 -
1966.38/1972.86 c 1973 944932 211321 1 13.0000 0.0000 -
1972.26/1978.76 c 1979 946283 211829 1 13.0000 0.0000 -
1980.65/1987.11 c 1987 948264 212449 1 13.0000 0.0000 -
1985.83/1992.30 c 1992 950769 213120 1 13.0000 0.0000 -
1992.01/1998.53 c 1999 952353 213614 1 13.0000 0.0000 -
1997.70/2004.25 c 2004 953912 214221 1 13.0000 0.0000 -
2002.77/2009.39 c 2009 955521 214772 1 13.0000 0.0000 -
2008.76/2015.37 c 2015 956957 215388 1 13.0000 0.0000 -
2014.54/2021.11 c 2021 957732 215799 1 13.0000 0.0000 -
2020.22/2026.83 c 2027 959152 216264 1 13.0000 0.0000 -
2025.81/2032.45 c 2032 960648 216890 1 13.0000 0.0000 -
2030.99/2037.61 c 2038 961812 217386 1 13.0000 0.0000 -
2036.68/2043.33 c 2043 963418 218005 1 13.0000 0.0000 -
2042.36/2049.08 c 2049 965215 218595 1 13.0000 0.0000 -
2048.24/2054.98 c 2055 967172 219241 1 13.0000 0.0000 -
2054.13/2060.81 c 2061 968945 219814 1 13.0000 0.0000 -
2059.61/2066.34 c 2066 971050 220434 1 13.0000 0.0000 -
2064.79/2071.55 c 2072 973091 220976 1 13.0000 0.0000 -
2070.78/2077.53 c 2078 974787 221448 1 13.0000 0.0000 -
2076.27/2083.09 c 2083 977043 222058 1 13.0000 0.0000 -
2082.45/2089.23 c 2089 979361 222735 1 13.0000 0.0000 -
2088.03/2094.82 c 2095 982469 223352 1 13.0000 0.0000 -
2094.11/2100.94 c 2101 983807 223911 1 13.0000 0.0000 -
2099.70/2106.55 c 2107 985519 224437 1 13.0000 0.0000 -
2105.68/2112.52 c 2113 987653 225000 1 13.0000 0.0000 -
2111.37/2118.27 c 2118 989420 225535 1 13.0000 0.0000 -
2117.15/2124.05 c 2124 991846 226194 1 13.0000 0.0000 -
2122.62/2129.59 c 2130 994381 226758 1 13.0000 0.0000 -
2128.61/2135.58 c 2136 996069 227210 1 13.0000 0.0000 -
2134.29/2141.24 c 2141 997995 227657 1 13.0000 0.0000 -
2139.48/2146.45 c 2146 1000110 228236 1 13.0000 0.0000 -
2145.17/2152.14 c 2152 1002381 228741 1 13.0000 0.0000 -
2151.25/2158.25 c 2158 1004559 229392 1 13.0000 0.0000 -
2156.24/2163.26 c 2163 1006223 229804 1 13.0000 0.0000 -
2162.03/2169.00 c 2169 1007301 230276 1 13.0000 0.0000 -
2167.30/2174.34 c 2174 1008925 230724 1 13.0000 0.0000 -
2172.48/2179.57 c 2180 1011043 231208 1 13.0000 0.0000 -
2177.98/2185.03 c 2185 1013352 231682 1 13.0000 0.0000 -
2183.46/2190.55 c 2191 1015285 232178 1 13.0000 0.0000 -
2189.04/2196.13 c 2196 1017316 232654 1 13.0000 0.0000 -
2194.42/2201.58 c 2202 1019681 233331 1 13.0000 0.0000 -
2200.21/2207.34 c 2207 1021260 233747 1 13.0000 0.0000 -
2206.09/2213.23 c 2213 1023901 234428 1 13.0000 0.0000 -
2211.07/2218.30 c 2218 1024646 234639 1 13.0000 0.0000 -
2216.56/2223.74 c 2224 1026706 235116 1 13.0000 0.0000 -
2222.34/2229.51 c 2230 1028680 235632 1 13.0000 0.0000 -
2228.52/2235.75 c 2236 1030802 236277 1 13.0000 0.0000 -
2234.01/2241.21 c 2241 1032731 236738 1 13.0000 0.0000 -
2239.80/2247.02 c 2247 1034961 237265 1 13.0000 0.0000 -
2244.97/2252.20 c 2252 1036957 237673 1 13.0000 0.0000 -
2250.77/2258.01 c 2258 1040080 238440 1 13.0000 0.0000 -
2256.54/2263.82 c 2264 1042365 239009 1 13.0000 0.0000 -
2262.23/2269.59 c 2270 1044154 239415 1 13.0000 0.0000 -
2267.92/2275.26 c 2275 1046562 240045 1 13.0000 0.0000 -
2273.40/2280.73 c 2281 1047698 240499 1 13.0000 0.0000 -
2278.79/2286.13 c 2286 1049655 240915 1 13.0000 0.0000 -
2284.47/2291.88 c 2292 1052266 241441 1 13.0000 0.0000 -
2290.85/2298.23 c 2298 1053757 241941 1 13.0000 0.0000 -
2296.43/2303.85 c 2304 1056631 242534 1 13.0000 0.0000 -
2302.31/2309.71 c 2310 1058741 243005 1 13.0000 0.0000 -
2307.98/2315.42 c 2315 1062019 243629 1 13.0000 0.0000 -
2313.58/2321.07 c 2321 1064773 244246 1 13.0000 0.0000 -
2318.57/2326.08 c 2326 1067307 244719 1 13.0000 0.0000 -
2323.84/2331.31 c 2331 1069579 245263 1 13.0000 0.0000 -
2328.83/2336.37 c 2336 1071632 245684 1 13.0000 0.0000 -
2334.11/2341.67 c 2342 1073200 246304 1 13.0000 0.0000 -
2339.60/2347.12 c 2347 1076172 246988 1 13.0000 0.0000 -
2344.88/2352.48 c 2352 1078917 247640 1 13.0000 0.0000 -
2350.56/2358.12 c 2358 1080904 247997 1 13.0000 0.0000 -
2356.55/2364.18 c 2364 1082391 248499 1 13.0000 0.0000 -
2362.13/2369.77 c 2370 1085096 249062 1 13.0000 0.0000 -
2367.82/2375.44 c 2375 1087533 249608 1 13.0000 0.0000 -
2374.40/2382.00 c 2382 1090456 250203 1 13.0000 0.0000 -
2379.88/2387.51 c 2388 1093149 250718 1 13.0000 0.0000 -
2385.96/2393.61 c 2394 1095442 251205 1 13.0000 0.0000 -
2391.64/2399.34 c 2399 1097369 251617 1 13.0000 0.0000 -
2397.92/2405.63 c 2406 1099439 252053 1 13.0000 0.0000 -
2403.71/2411.43 c 2411 1102648 252741 1 13.0000 0.0000 -
2409.40/2417.12 c 2417 1104329 253147 1 13.0000 0.0000 -
2415.67/2423.44 c 2423 1106832 253670 1 13.0000 0.0000 -
2420.76/2428.56 c 2429 1108428 254016 1 13.0000 0.0000 -
2426.25/2434.03 c 2434 1111014 254453 1 13.0000 0.0000 -
2431.63/2439.43 c 2439 1113690 254999 1 13.0000 0.0000 -
2437.41/2445.24 c 2445 1115315 255331 1 13.0000 0.0000 -
2442.60/2450.45 c 2450 1118954 256075 1 13.0000 0.0000 -
2448.08/2455.93 c 2456 1121237 256620 1 13.0000 0.0000 -
2454.36/2462.27 c 2462 1123997 257163 1 13.0000 0.0000 -
2459.65/2467.50 c 2468 1125857 257540 1 13.0000 0.0000 -
2465.24/2473.18 c 2473 1127772 258059 1 13.0000 0.0000 -
2471.41/2479.34 c 2479 1131134 258559 1 13.0000 0.0000 -
2476.80/2484.77 c 2485 1133322 259024 1 13.0000 0.0000 -
2482.09/2490.05 c 2490 1135485 259572 1 13.0000 0.0000 -
2487.47/2495.47 c 2495 1137271 259931 1 13.0000 0.0000 -
2492.85/2500.83 c 2501 1140071 260516 1 13.0000 0.0000 -
2497.94/2505.96 c 2506 1142063 260974 1 13.0000 0.0000 -
2503.04/2511.07 c 2511 1144355 261487 1 13.0000 0.0000 -
2508.41/2516.44 c 2516 1147421 262071 1 13.0000 0.0000 -
2514.00/2522.03 c 2522 1149749 262546 1 13.0000 0.0000 -
2520.18/2528.25 c 2528 1152656 263184 1 13.0000 0.0000 -
2525.76/2533.86 c 2534 1154279 263473 1 13.0000 0.0000 -
2532.06/2540.14 c 2540 1156082 264108 1 13.0000 0.0000 -
2537.93/2546.04 c 2546 1158762 264657 1 13.0000 0.0000 -
2544.01/2552.14 c 2552 1162357 265286 1 13.0000 0.0000 -
2550.39/2558.59 c 2559 1165869 265973 1 13.0000 0.0000 -
2556.07/2564.27 c 2564 1170097 266652 1 13.0000 0.0000 -
2561.86/2570.10 c 2570 1171465 267080 1 13.0000 0.0000 -
2567.94/2576.19 c 2576 1173164 267587 1 13.0000 0.0000 -
2573.61/2581.84 c 2582 1174806 268223 1 13.0000 0.0000 -
2579.29/2587.56 c 2588 1175793 268624 1 13.0000 0.0000 -
2585.18/2593.43 c 2593 1178030 269134 1 13.0000 0.0000 -
2590.77/2599.09 c 2599 1180289 269654 1 13.0000 0.0000 -
2596.76/2605.10 c 2605 1182143 270067 1 13.0000 0.0000 -
2602.14/2610.45 c 2610 1183567 270409 1 13.0000 0.0000 -
2608.12/2616.46 c 2616 1186163 270874 1 13.0000 0.0000 -
2614.29/2622.67 c 2623 1189098 271489 1 13.0000 0.0000 -
2619.88/2628.23 c 2628 1191538 271929 1 13.0000 0.0000 -
2625.26/2633.64 c 2634 1193762 272201 1 13.0000 0.0000 -
2630.85/2639.29 c 2639 1197352 272804 1 13.0000 0.0000 -
2637.03/2645.49 c 2646 1199901 273260 1 13.0000 0.0000 -
2642.91/2651.38 c 2651 1201852 273686 1 13.0000 0.0000 -
2648.79/2657.21 c 2657 1204631 274194 1 13.0000 0.0000 -
2654.48/2662.95 c 2663 1206803 274583 1 13.0000 0.0000 -
2660.06/2668.54 c 2669 1209742 275095 1 13.0000 0.0000 -
2665.75/2674.20 c 2674 1212501 275598 1 13.0000 0.0000 -
2671.64/2680.11 c 2680 1214591 276060 1 13.0000 0.0000 -
2677.52/2686.09 c 2686 1215742 276344 1 13.0000 0.0000 -
2683.29/2691.86 c 2692 1218183 276774 1 13.0000 0.0000 -
2689.38/2697.93 c 2698 1221295 277440 1 13.0000 0.0000 -
2695.07/2703.65 c 2704 1223468 278051 1 13.0000 0.0000 -
2700.25/2708.88 c 2709 1225785 278516 1 13.0000 0.0000 -
2706.14/2714.78 c 2715 1229507 279089 1 13.0000 0.0000 -
2712.11/2720.73 c 2721 1231832 279708 1 13.0000 0.0000 -
2717.60/2726.28 c 2726 1233973 280259 1 13.0000 0.0000 -
2722.99/2731.60 c 2732 1236093 280645 1 13.0000 0.0000 -
2728.17/2736.84 c 2737 1240221 281091 1 13.0000 0.0000 -
2733.96/2742.66 c 2743 1242193 281585 1 13.0000 0.0000 -
2739.84/2748.50 c 2748 1244130 282065 1 13.0000 0.0000 -
2745.63/2754.34 c 2754 1246330 282556 1 13.0000 0.0000 -
2751.51/2760.29 c 2760 1248286 283027 1 13.0000 0.0000 -
2756.59/2765.39 c 2765 1250263 283398 1 13.0000 0.0000 -
2761.69/2770.44 c 2770 1252466 283973 1 13.0000 0.0000 -
2767.87/2776.67 c 2777 1255031 284481 1 13.0000 0.0000 -
2773.05/2781.81 c 2782 1257308 284857 1 13.0000 0.0000 -
2779.13/2787.99 c 2788 1259087 285280 1 13.0000 0.0000 -
2784.61/2793.44 c 2793 1262884 285819 1 13.0000 0.0000 -
2790.59/2799.41 c 2799 1265688 286343 1 13.0000 0.0000 -
2796.48/2805.34 c 2805 1267258 286674 1 13.0000 0.0000 -
2801.87/2810.78 c 2811 1269031 287023 1 13.0000 0.0000 -
2807.65/2816.54 c 2817 1272291 287489 1 13.0000 0.0000 -
2814.14/2823.02 c 2823 1274447 287854 1 13.0000 0.0000 -
2819.22/2828.18 c 2828 1277435 288424 1 13.0000 0.0000 -
2825.80/2834.79 c 2835 1279759 288804 1 13.0000 0.0000 -
2831.68/2840.66 c 2841 1284330 289503 1 13.0000 0.0000 -
2837.37/2846.35 c 2846 1288269 290062 1 13.0000 0.0000 -
2843.05/2852.04 c 2852 1292616 290703 1 13.0000 0.0000 -
2848.83/2857.83 c 2858 1295923 291206 1 13.0000 0.0000 -
2854.52/2863.57 c 2864 1298940 291621 1 13.0000 0.0000 -
2860.21/2869.26 c 2869 1300906 291960 1 13.0000 0.0000 -
2865.99/2875.08 c 2875 1302802 292432 1 13.0000 0.0000 -
2871.27/2880.31 c 2880 1306042 292948 1 13.0000 0.0000 -
2876.76/2885.80 c 2886 1309803 293645 1 13.0000 0.0000 -
2881.94/2891.09 c 2891 1312224 293963 1 13.0000 0.0000 -
2888.03/2897.16 c 2897 1314301 294392 1 13.0000 0.0000 -
2893.31/2902.50 c 2902 1316789 294731 1 13.0000 0.0000 -
2898.80/2907.97 c 2908 1319547 295208 1 13.0000 0.0000 -
2904.08/2913.28 c 2913 1321411 295563 1 13.0000 0.0000 -
2909.27/2918.43 c 2918 1323036 295932 1 13.0000 0.0000 -
2914.25/2923.44 c 2923 1324954 296353 1 13.0000 0.0000 -
2920.73/2929.92 c 2930 1328080 296870 1 13.0000 0.0000 -
2926.42/2935.64 c 2936 1330574 297192 1 13.0000 0.0000 -
2931.90/2941.16 c 2941 1333022 297626 1 13.0000 0.0000 -
2937.59/2946.82 c 2947 1336805 298116 1 13.0000 0.0000 -
2943.77/2953.02 c 2953 1340107 298680 1 13.0000 0.0000 -
2949.56/2958.80 c 2959 1342103 299075 1 13.0000 0.0000 -
2955.24/2964.51 c 2965 1344392 299528 1 13.0000 0.0000 -
2960.83/2970.18 c 2970 1346134 299990 1 13.0000 0.0000 -
2966.31/2975.68 c 2976 1349178 300504 1 13.0000 0.0000 -
2971.89/2981.26 c 2981 1351351 300827 1 13.0000 0.0000 -
2977.38/2986.77 c 2987 1354641 301365 1 13.0000 0.0000 -
2982.77/2992.15 c 2992 1356247 301669 1 13.0000 0.0000 -
2987.85/2997.28 c 2997 1359203 302159 1 13.0000 0.0000 -
2993.14/3002.59 c 3003 1361144 302485 1 13.0000 0.0000 -
2998.42/3007.87 c 3008 1363963 302849 1 13.0000 0.0000 -
3003.51/3012.91 c 3013 1366238 303173 1 13.0000 0.0000 -
3009.29/3018.71 c 3019 1370331 303717 1 13.0000 0.0000 -
3014.27/3023.72 c 3024 1371845 304073 1 13.0000 0.0000 -
3020.26/3029.78 c 3030 1376407 304536 1 13.0000 0.0000 -
3025.64/3035.19 c 3035 1378629 304959 1 13.0000 0.0000 -
3031.62/3041.18 c 3041 1381405 305468 1 13.0000 0.0000 -
3037.61/3047.14 c 3047 1382578 305904 1 13.0000 0.0000 -
3043.78/3053.38 c 3053 1384152 306399 1 13.0000 0.0000 -
3049.37/3058.90 c 3059 1387754 307022 1 13.0000 0.0000 -
3054.46/3064.10 c 3064 1390874 307487 1 13.0000 0.0000 -
3059.75/3069.30 c 3069 1393819 307822 1 13.0000 0.0000 -
3065.03/3074.62 c 3075 1396979 308199 1 13.0000 0.0000 -
3071.11/3080.75 c 3081 1399021 308665 1 13.0000 0.0000 -
3076.99/3086.65 c 3087 1401691 309068 1 13.0000 0.0000 -
3082.18/3091.80 c 3092 1404505 309529 1 13.0000 0.0000 -
3087.37/3097.05 c 3097 1406540 309756 1 13.0000 0.0000 -
3092.55/3102.20 c 3102 1410079 310229 1 13.0000 0.0000 -
3097.93/3107.67 c 3108 1413134 310690 1 13.0000 0.0000 -
3103.42/3113.11 c 3113 1415494 310980 1 13.0000 0.0000 -
3108.51/3118.28 c 3118 1416894 311350 1 13.0000 0.0000 -
3113.59/3123.30 c 3123 1418092 311675 1 13.0000 0.0000 -
3118.88/3128.64 c 3129 1419335 311866 1 13.0000 0.0000 -
3124.17/3133.99 c 3134 1423332 312496 1 13.0000 0.0000 -
3129.65/3139.43 c 3139 1425330 312759 1 13.0000 0.0000 -
3134.84/3144.66 c 3145 1427477 313060 1 13.0000 0.0000 -
3140.82/3150.65 c 3151 1430086 313459 1 13.0000 0.0000 -
3147.00/3156.87 c 3157 1433543 313918 1 13.0000 0.0000 -
3152.49/3162.40 c 3162 1436719 314293 1 13.0000 0.0000 -
3158.67/3168.53 c 3169 1437739 314690 1 13.0000 0.0000 -
3164.66/3174.50 c 3174 1439486 315107 1 13.0000 0.0000 -
3169.94/3179.89 c 3180 1440207 315366 1 13.0000 0.0000 -
3175.62/3185.56 c 3186 1441682 315842 1 13.0000 0.0000 -
3181.31/3191.27 c 3191 1443715 316331 1 13.0000 0.0000 -
3186.70/3196.68 c 3197 1446322 316776 1 13.0000 0.0000 -
3191.78/3201.78 c 3202 1447197 317049 1 13.0000 0.0000 -
3196.77/3206.79 c 3207 1448503 317407 1 13.0000 0.0000 -
3202.75/3212.70 c 3213 1451562 317876 1 13.0000 0.0000 -
3208.04/3218.04 c 3218 1455967 318505 1 13.0000 0.0000 -
3214.13/3224.18 c 3224 1458786 319027 1 13.0000 0.0000 -
3219.41/3229.45 c 3229 1462195 319536 1 13.0000 0.0000 -
3224.58/3234.60 c 3235 1466822 320104 1 13.0000 0.0000 -
3231.07/3241.18 c 3241 1470227 320559 1 13.0000 0.0000 -
3237.06/3247.17 c 3247 1473991 321058 1 13.0000 0.0000 -
3242.84/3252.96 c 3253 1476254 321414 1 13.0000 0.0000 -
3248.42/3258.58 c 3259 1478983 321727 1 13.0000 0.0000 -
3253.61/3263.70 c 3264 1481809 322129 1 13.0000 0.0000 -
3259.29/3269.42 c 3269 1484495 322453 1 13.0000 0.0000 -
3265.38/3275.51 c 3276 1487376 322961 1 13.0000 0.0000 -
3270.36/3280.58 c 3281 1489719 323239 1 13.0000 0.0000 -
3275.95/3286.13 c 3286 1493915 323769 1 13.0000 0.0000 -
3281.84/3292.08 c 3292 1496222 323947 1 13.0000 0.0000 -
3287.31/3297.53 c 3298 1500521 324573 1 13.0000 0.0000 -
3293.39/3303.64 c 3304 1503769 324945 1 13.0000 0.0000 -
3298.58/3308.82 c 3309 1507865 325484 1 13.0000 0.0000 -
3304.37/3314.64 c 3315 1510359 325925 1 13.0000 0.0000 -
3309.95/3320.29 c 3320 1513769 326358 1 13.0000 0.0000 -
3316.23/3326.57 c 3327 1518109 326882 1 13.0000 0.0000 -
3321.42/3331.78 c 3332 1521691 327350 1 13.0000 0.0000 -
3326.90/3337.22 c 3337 1524466 327675 1 13.0000 0.0000 -
3332.58/3342.96 c 3343 1527781 328255 1 13.0000 0.0000 -
3337.68/3348.03 c 3348 1529735 328651 1 13.0000 0.0000 -
3342.96/3353.32 c 3353 1532055 329094 1 13.0000 0.0000 -
3348.65/3359.05 c 3359 1534271 329469 1 13.0000 0.0000 -
3355.63/3366.05 c 3366 1536698 329817 1 13.0000 0.0000 -
3361.41/3371.84 c 3372 1540465 330188 1 13.0000 0.0000 -
3367.09/3377.54 c 3378 1543372 330552 1 13.0000 0.0000 -
3372.68/3383.14 c 3383 1545493 330837 1 13.0000 0.0000 -
3378.96/3389.47 c 3389 1547618 331227 1 13.0000 0.0000 -
3384.94/3395.40 c 3395 1549178 331721 1 13.0000 0.0000 -
3390.12/3400.63 c 3401 1549355 331790 1 13.0000 0.0000 -
3395.70/3406.21 c 3406 1550783 332154 1 13.0000 0.0000 -
3401.38/3411.93 c 3412 1553106 332653 1 13.0000 0.0000 -
3407.56/3418.17 c 3418 1556253 333152 1 13.0000 0.0000 -
3413.44/3424.01 c 3424 1557229 333456 1 13.0000 0.0000 -
3418.42/3429.08 c 3429 1559541 333904 1 13.0000 0.0000 -
3423.89/3434.59 c 3435 1560897 334094 1 13.0000 0.0000 -
3430.07/3440.76 c 3441 1565529 334595 1 13.0000 0.0000 -
3435.16/3445.85 c 3446 1567358 334867 1 13.0000 0.0000 -
3440.54/3451.23 c 3451 1570285 335363 1 13.0000 0.0000 -
3445.82/3456.53 c 3457 1573470 335855 1 13.0000 0.0000 -
3450.99/3461.74 c 3462 1577209 336288 1 13.0000 0.0000 -
3456.77/3467.55 c 3468 1581698 336839 1 13.0000 0.0000 -
3462.65/3473.48 c 3473 1584770 337219 1 13.0000 0.0000 -
3467.93/3478.72 c 3479 1587446 337455 1 13.0000 0.0000 -
3473.11/3483.90 c 3484 1591251 337978 1 13.0000 0.0000 -
3478.89/3489.78 c 3490 1593303 338231 1 13.0000 0.0000 -
3484.57/3495.47 c 3495 1595343 338594 1 13.0000 0.0000 -
3490.45/3501.35 c 3501 1596238 338979 1 13.0000 0.0000 -
3495.83/3506.76 c 3507 1597438 339403 1 13.0000 0.0000 -
3502.11/3513.09 c 3513 1598901 339780 1 13.0000 0.0000 -
3508.99/3519.97 c 3520 1599970 340041 1 13.0000 0.0000 -
3514.36/3525.34 c 3525 1601899 340491 1 13.0000 0.0000 -
3519.85/3530.80 c 3531 1603345 340749 1 13.0000 0.0000 -
3525.22/3536.24 c 3536 1604748 341044 1 13.0000 0.0000 -
3531.30/3542.32 c 3542 1607565 341432 1 13.0000 0.0000 -
3536.68/3547.75 c 3548 1609702 341802 1 13.0000 0.0000 -
3541.97/3553.07 c 3553 1611826 342064 1 13.0000 0.0000 -
3547.84/3558.95 c 3559 1614515 342405 1 13.0000 0.0000 -
3553.42/3564.59 c 3565 1617129 342821 1 13.0000 0.0000 -
3559.10/3570.24 c 3570 1618736 343168 1 13.0000 0.0000 -
3565.88/3577.06 c 3577 1620746 343443 1 13.0000 0.0000 -
3571.25/3582.43 c 3582 1622973 343853 1 13.0000 0.0000 -
3576.34/3587.54 c 3588 1624207 343997 1 13.0000 0.0000 -
3584.71/3595.96 c 3596 1626169 344244 1 13.0000 0.0000 -
3593.58/3604.86 c SCIP Status : c solving was interrupted [hard time limit reached]
3593.58/3604.86 c Total Time : 3604.8600
3593.58/3604.86 c solving : 3604.8600
3593.58/3604.86 c presolving : 0.0049 (included in solving)
3593.58/3604.86 c B&B Tree :
3593.58/3604.86 c nodes (total) : 1
3593.58/3604.86 c Solution :
3593.58/3604.88 c Solutions found : 31
3593.58/3604.88 c Primal Bound : +1.30000000000000e+01
3593.58/3604.88 c Dual Bound : +0.00000000000000e+00
3593.58/3604.88 c Gap : infinite
3593.58/3604.88 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3593.58/3604.88 o 13
3593.58/3604.88 s SATISFIABLE
3593.58/3604.88 v x172 x171 -x170 x169 x168 x167 x166 x165 x164 x163 -x162 -x161 x160 x159 -x158 -x157 x156 -x155 x154 x153 -x152 -x151 -x150 x149
3593.58/3604.88 v x148 x147 -x146 -x145 x144 -x143 x142 -x141 -x140 x139 x138 -x137 -x136 x135 x134 -x133 x132 -x131 -x130 -x129 -x128 x127 -x126
3593.58/3604.88 v x125 -x124 x123 x122 x121 -x120 -x119 x118 x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
3593.58/3604.88 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
3593.58/3604.88 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
3593.58/3604.88 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
3593.58/3604.88 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 -x3 -x2
3593.58/3604.88 v -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-4434697-1721098022/watcher-4434697-1721098022 -o /tmp/evaluation-result-4434697-1721098022/solver-4434697-1721098022 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721098035-860308 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434697-1721098022.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=860364, runsolver pid=860356
Current StackSize limit: 8192 KiB
[startup+0.100034 s]*
/proc/loadavg: 3.89 4.07 4.08 5/266 860381
/proc/meminfo: memFree=124294456/131524600 swapFree=131071996/131071996
[pid=860364] ppid=860356 vsize=109556 memory=27912 CPUtime=0.1 cores=4,6
/proc/860364/stat : 860364 (fscip) S 860356 860364 860297 0 -1 1077936128 4457 0 0 0 9 1 0 0 20 0 3 0 161967583 112185344 6978 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
/proc/860364/statm: 27389 6978 2910 3032 0 10647 0
[pid=860364/tid=860376] ppid=860356 vsize=109556 memory=4026531971 CPUtime=0.08 cores=4,6
/proc/860364/task/860376/stat : 860376 (fscip) R 860356 860364 860297 0 -1 4194368 2829 0 0 0 8 0 0 0 20 0 3 0 161967584 112185344 6978 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
[pid=860364/tid=860380] ppid=860356 vsize=109556 memory=1670 CPUtime=0 cores=4,6
/proc/860364/task/860380/stat : 860380 (fscip) S 860356 860364 860297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161967584 112185344 6978 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 109556 KiB
Current children cumulated memory: 27912 KiB
[startup+0.206504 s]*
/proc/loadavg: 3.89 4.07 4.08 8/266 860381
/proc/meminfo: memFree=124273032/131524600 swapFree=131071996/131071996
[pid=860364] ppid=860356 vsize=109556 memory=34836 CPUtime=0.2 cores=4,6
/proc/860364/stat : 860364 (fscip) S 860356 860364 860297 0 -1 1077936128 6140 0 0 0 19 1 0 0 20 0 3 0 161967583 112185344 8709 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
/proc/860364/statm: 27389 8709 2926 3032 0 12576 0
[pid=860364/tid=860376] ppid=860356 vsize=109556 memory=664970851429515395 CPUtime=0.19 cores=4,6
/proc/860364/task/860376/stat : 860376 (fscip) R 860356 860364 860297 0 -1 4194368 4512 0 0 0 19 0 0 0 20 0 3 0 161967584 112185344 8709 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
[pid=860364/tid=860380] ppid=860356 vsize=109556 memory=1670 CPUtime=0 cores=4,6
/proc/860364/task/860380/stat : 860380 (fscip) S 860356 860364 860297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161967584 112185344 8709 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 109556 KiB
Current children cumulated memory: 34836 KiB
[startup+0.306334 s]*
/proc/loadavg: 3.89 4.07 4.08 7/266 860381
/proc/meminfo: memFree=124270460/131524600 swapFree=131071996/131071996
[pid=860364] ppid=860356 vsize=109556 memory=34836 CPUtime=0.3 cores=4,6
/proc/860364/stat : 860364 (fscip) S 860356 860364 860297 0 -1 1077936128 6158 0 0 0 29 1 0 0 20 0 3 0 161967583 112185344 8709 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
/proc/860364/statm: 27389 8709 2926 3032 0 12576 0
[pid=860364/tid=860376] ppid=860356 vsize=109556 memory=-6370179393307982696 CPUtime=0.29 cores=4,6
/proc/860364/task/860376/stat : 860376 (fscip) R 860356 860364 860297 0 -1 4194368 4530 0 0 0 29 0 0 0 20 0 3 0 161967584 112185344 8709 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
[pid=860364/tid=860380] ppid=860356 vsize=109556 memory=-9044459746194447340 CPUtime=0 cores=4,6
/proc/860364/task/860380/stat : 860380 (fscip) S 860356 860364 860297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161967584 112185344 8709 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 109556 KiB
Current children cumulated memory: 34836 KiB
[startup+0.70022 s]
/proc/loadavg: 3.89 4.07 4.08 7/266 860381
/proc/meminfo: memFree=124266524/131524600 swapFree=131071996/131071996
[pid=860364] ppid=860356 vsize=109556 memory=38268 CPUtime=0.69 cores=4,6
/proc/860364/stat : 860364 (fscip) S 860356 860364 860297 0 -1 1077936128 7018 0 0 0 68 1 0 0 20 0 3 0 161967583 112185344 9567 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
/proc/860364/statm: 27389 9567 2926 3032 0 13281 0
[pid=860364/tid=860376] ppid=860356 vsize=109556 memory=0 CPUtime=0.67 cores=4,6
/proc/860364/task/860376/stat : 860376 (fscip) R 860356 860364 860297 0 -1 4194368 5390 0 0 0 67 0 0 0 20 0 3 0 161967584 112185344 9567 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
[pid=860364/tid=860380] ppid=860356 vsize=109556 memory=0 CPUtime=0 cores=4,6
/proc/860364/task/860380/stat : 860380 (fscip) S 860356 860364 860297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161967584 112185344 9567 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 109556 KiB
Current children cumulated memory: 38268 KiB
[startup+1.50025 s]
/proc/loadavg: 3.89 4.07 4.08 7/266 860381
/proc/meminfo: memFree=124243728/131524600 swapFree=131071996/131071996
[pid=860364] ppid=860356 vsize=109556 memory=42260 CPUtime=1.48 cores=4,6
/proc/860364/stat : 860364 (fscip) S 860356 860364 860297 0 -1 1077936128 11523 0 0 0 147 1 0 0 20 0 3 0 161967583 112185344 10565 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
/proc/860364/statm: 27389 10565 2926 3032 0 14285 0
[pid=860364/tid=860376] ppid=860356 vsize=109556 memory=0 CPUtime=1.48 cores=4,6
/proc/860364/task/860376/stat : 860376 (fscip) R 860356 860364 860297 0 -1 4194368 9879 0 0 0 147 1 0 0 20 0 3 0 161967584 112185344 10565 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
[pid=860364/tid=860380] ppid=860356 vsize=109556 memory=0 CPUtime=0 cores=4,6
/proc/860364/task/860380/stat : 860380 (fscip) S 860356 860364 860297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161967584 112185344 10565 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 109556 KiB
Current children cumulated memory: 42260 KiB
[startup+3.1067 s]
/proc/loadavg: 3.89 4.07 4.08 8/266 860383
/proc/meminfo: memFree=124221732/131524600 swapFree=131071996/131071996
[pid=860364] ppid=860356 vsize=110948 memory=51844 CPUtime=3.09 cores=4,6
/proc/860364/stat : 860364 (fscip) S 860356 860364 860297 0 -1 1077936128 15354 0 0 0 307 2 0 0 20 0 3 0 161967583 113610752 12961 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
/proc/860364/statm: 27737 12961 2974 3032 0 16526 0
[pid=860364/tid=860376] ppid=860356 vsize=110948 memory=0 CPUtime=3.07 cores=4,6
/proc/860364/task/860376/stat : 860376 (fscip) R 860356 860364 860297 0 -1 4194368 13634 0 0 0 306 1 0 0 20 0 3 0 161967584 113610752 12961 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
[pid=860364/tid=860380] ppid=860356 vsize=110948 memory=2273 CPUtime=0 cores=4,6
/proc/860364/task/860380/stat : 860380 (fscip) S 860356 860364 860297 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 161967584 113610752 12961 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 110948 KiB
Current children cumulated memory: 51844 KiB
[startup+6.30024 s]
/proc/loadavg: 3.90 4.07 4.08 8/266 860383
/proc/meminfo: memFree=124190544/131524600 swapFree=131071996/131071996
[pid=860364] ppid=860356 vsize=111960 memory=63356 CPUtime=6.27 cores=4,6
/proc/860364/stat : 860364 (fscip) S 860356 860364 860297 0 -1 1077936128 24317 0 0 0 624 3 0 0 20 0 3 0 161967583 114647040 15839 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
/proc/860364/statm: 27990 15839 2974 3032 0 19387 0
[pid=860364/tid=860376] ppid=860356 vsize=111960 memory=0 CPUtime=6.26 cores=4,6
/proc/860364/task/860376/stat : 860376 (fscip) R 860356 860364 860297 0 -1 4194368 22574 0 0 0 624 2 0 0 20 0 3 0 161967584 114647040 15839 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
[pid=860364/tid=860380] ppid=860356 vsize=111960 memory=11860 CPUtime=0 cores=4,6
/proc/860364/task/860380/stat : 860380 (fscip) S 860356 860364 860297 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 161967584 114647040 15839 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 111960 KiB
Current children cumulated memory: 63356 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=860364] ppid=860356 vsize=115476 memory=84524 CPUtime=12.64 cores=4,6
/proc/860364/stat : 860364 (fscip) S 860356 860364 860297 0 -1 1077936128 47975 0 0 0 1259 5 0 0 20 0 3 0 161967583 118247424 21131 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
/proc/860364/statm: 28869 21131 3294 3032 0 24324 0
[pid=860364/tid=860376] ppid=860356 vsize=115476 memory=11860 CPUtime=12.63 cores=4,6
/proc/860364/task/860376/stat : 860376 (fscip) R 860356 860364 860297 0 -1 4194368 46089 0 0 0 1258 5 0 0 20 0 3 0 161967584 118247424 21131 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
[pid=860364/tid=860380] ppid=860356 vsize=115476 memory=50612 CPUtime=0 cores=4,6
/proc/860364/task/860380/stat : 860380 (fscip) S 860356 860364 860297 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 161967584 118247424 21131 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 115476 KiB
Current children cumulated memory: 84524 KiB
[startup+25.5003 s]
/proc/loadavg: 3.99 4.08 4.08 8/266 860387
/proc/meminfo: memFree=124074560/131524600 swapFree=131071996/131071996
[pid=860364] ppid=860356 vsize=199692 memory=106384 CPUtime=25.39 cores=4,6
/proc/860364/stat : 860364 (fscip) S 860356 860364 860297 0 -1 1077936128 87662 0 0 0 2530 9 0 0 20 0 3 0 161967583 204484608 26596 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
/proc/860364/statm: 49923 26596 3294 3032 0 30384 0
[pid=860364/tid=860376] ppid=860356 vsize=199692 memory=11860 CPUtime=25.37 cores=4,6
/proc/860364/task/860376/stat : 860376 (fscip) R 860356 860364 860297 0 -1 4194368 85620 0 0 0 2529 8 0 0 20 0 3 0 161967584 204484608 26596 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
[pid=860364/tid=860380] ppid=860356 vsize=199692 memory=104976 CPUtime=0 cores=4,6
/proc/860364/task/860380/stat : 860380 (fscip) S 860356 860364 860297 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 161967584 204484608 26596 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 199692 KiB
Current children cumulated memory: 106384 KiB
[startup+51.1063 s]
/proc/loadavg: 4.06 4.09 4.08 6/266 860438
/proc/meminfo: memFree=123911840/131524600 swapFree=131071996/131071996
[pid=860364] ppid=860356 vsize=236748 memory=155072 CPUtime=50.89 cores=4,6
/proc/860364/stat : 860364 (fscip) S 860356 860364 860297 0 -1 1077936128 154184 0 0 0 5073 16 0 0 20 0 3 0 161967583 242429952 38768 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
/proc/860364/statm: 59187 38768 3294 3032 0 43512 0
[pid=860364/tid=860376] ppid=860356 vsize=236748 memory=147308 CPUtime=50.89 cores=4,6
/proc/860364/task/860376/stat : 860376 (fscip) R 860356 860364 860297 0 -1 4194368 151956 0 0 0 5073 16 0 0 20 0 3 0 161967584 242429952 38768 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
[pid=860364/tid=860380] ppid=860356 vsize=236748 memory=154944 CPUtime=0 cores=4,6
/proc/860364/task/860380/stat : 860380 (fscip) S 860356 860364 860297 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 161967584 242429952 38768 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 236748 KiB
Current children cumulated memory: 155072 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=860364] ppid=860356 vsize=273288 memory=206596 CPUtime=101.89 cores=4,6
/proc/860364/stat : 860364 (fscip) S 860356 860364 860297 0 -1 1077936128 247139 0 0 0 10160 29 0 0 20 0 3 0 161967583 279846912 51649 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
/proc/860364/statm: 68322 51649 3294 3032 0 57518 0
[pid=860364/tid=860376] ppid=860356 vsize=273288 memory=199652 CPUtime=101.87 cores=4,6
/proc/860364/task/860376/stat : 860376 (fscip) R 860356 860364 860297 0 -1 4194368 244728 0 0 0 10159 28 0 0 20 0 3 0 161967584 279846912 51649 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
[pid=860364/tid=860380] ppid=860356 vsize=273288 memory=106384 CPUtime=0 cores=4,6
/proc/860364/task/860380/stat : 860380 (fscip) S 860356 860364 860297 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 161967584 279846912 51649 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 273288 KiB
Current children cumulated memory: 206596 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=860364] ppid=860356 vsize=382732 memory=282180 CPUtime=161.65 cores=4,6
/proc/860364/stat : 860364 (fscip) S 860356 860364 860297 0 -1 1077936128 332381 0 0 0 16123 42 0 0 20 0 3 0 161967583 391917568 70545 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
/proc/860364/statm: 95683 70545 3294 3032 0 77137 0
[pid=860364/tid=860376] ppid=860356 vsize=382732 memory=106384 CPUtime=161.62 cores=4,6
/proc/860364/task/860376/stat : 860376 (fscip) R 860356 860364 860297 0 -1 4194368 329877 0 0 0 16121 41 0 0 20 0 3 0 161967584 391917568 70545 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
[pid=860364/tid=860380] ppid=860356 vsize=382732 memory=243592 CPUtime=0 cores=4,6
/proc/860364/task/860380/stat : 860380 (fscip) S 860356 860364 860297 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 161967584 391917568 70545 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 382732 KiB
################
# More data... #
################
/proc/860364/statm: 635168 600556 3294 3032 0 615647 0
[pid=860364/tid=860376] ppid=860356 vsize=2540672 memory=2351528 CPUtime=3391.6 cores=4,6
/proc/860364/task/860376/stat : 860376 (fscip) R 860356 860364 860297 0 -1 4194368 6729935 0 0 0 338409 751 0 0 20 0 3 0 161967584 2601648128 600556 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
[pid=860364/tid=860380] ppid=860356 vsize=2540672 memory=2394816 CPUtime=0.02 cores=4,6
/proc/860364/task/860380/stat : 860380 (fscip) S 860356 860364 860297 0 -1 1077936192 154 0 0 0 1 1 0 0 20 0 3 0 161967584 2601648128 600556 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
Current children cumulated CPU time: 3391.81 s
Current children cumulated vsize: 2540672 KiB
Current children cumulated memory: 2402224 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=860364] ppid=860356 vsize=2554936 memory=2427736 CPUtime=3451.59 cores=4,6
/proc/860364/stat : 860364 (fscip) S 860356 860364 860297 0 -1 1077936128 6915041 0 0 0 344385 774 0 0 20 0 3 0 161967583 2616254464 606934 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
/proc/860364/statm: 638734 606934 3294 3032 0 620725 0
[pid=860364/tid=860376] ppid=860356 vsize=2554936 memory=2351528 CPUtime=3451.38 cores=4,6
/proc/860364/task/860376/stat : 860376 (fscip) R 860356 860364 860297 0 -1 4194368 6911437 0 0 0 344371 767 0 0 20 0 3 0 161967584 2616254464 606934 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
[pid=860364/tid=860380] ppid=860356 vsize=2554936 memory=2403144 CPUtime=0.02 cores=4,6
/proc/860364/task/860380/stat : 860380 (fscip) S 860356 860364 860297 0 -1 1077936192 156 0 0 0 1 1 0 0 20 0 3 0 161967584 2616254464 606934 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
Current children cumulated CPU time: 3451.59 s
Current children cumulated vsize: 2554936 KiB
Current children cumulated memory: 2427736 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.10 6/264 862280
/proc/meminfo: memFree=116982188/131524600 swapFree=131071996/131071996
[pid=860364] ppid=860356 vsize=2565908 memory=2454276 CPUtime=3511.37 cores=4,6
/proc/860364/stat : 860364 (fscip) S 860356 860364 860297 0 -1 1077936128 7128451 0 0 0 350343 794 0 0 20 0 3 0 161967583 2627489792 613569 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
/proc/860364/statm: 641477 613569 3294 3032 0 625013 0
[pid=860364/tid=860376] ppid=860356 vsize=2565908 memory=11860 CPUtime=3511.16 cores=4,6
/proc/860364/task/860376/stat : 860376 (fscip) R 860356 860364 860297 0 -1 4194368 7124823 0 0 0 350330 786 0 0 20 0 3 0 161967584 2627489792 613569 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
[pid=860364/tid=860380] ppid=860356 vsize=2565908 memory=2453972 CPUtime=0.02 cores=4,6
/proc/860364/task/860380/stat : 860380 (fscip) S 860356 860364 860297 0 -1 1077936192 163 0 0 0 1 1 0 0 20 0 3 0 161967584 2627489792 613569 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
Current children cumulated CPU time: 3511.37 s
Current children cumulated vsize: 2565908 KiB
Current children cumulated memory: 2454276 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=860364] ppid=860356 vsize=2580172 memory=2478168 CPUtime=3571.15 cores=4,6
/proc/860364/stat : 860364 (fscip) S 860356 860364 860297 0 -1 1077936128 7314361 0 0 0 356305 810 0 0 20 0 3 0 161967583 2642096128 619542 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
/proc/860364/statm: 645043 619542 3294 3032 0 629774 0
[pid=860364/tid=860376] ppid=860356 vsize=2580172 memory=11860 CPUtime=3570.93 cores=4,6
/proc/860364/task/860376/stat : 860376 (fscip) R 860356 860364 860297 0 -1 4194368 7310717 0 0 0 356291 802 0 0 20 0 3 0 161967584 2642096128 619542 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
[pid=860364/tid=860380] ppid=860356 vsize=2580172 memory=11860 CPUtime=0.02 cores=4,6
/proc/860364/task/860380/stat : 860380 (fscip) S 860356 860364 860297 0 -1 1077936192 165 0 0 0 1 1 0 0 20 0 3 0 161967584 2642096128 619542 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
Current children cumulated CPU time: 3571.15 s
Current children cumulated vsize: 2580172 KiB
Current children cumulated memory: 2478168 KiB
[startup+3604.88 s]
# the end of solver process 860364 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.42 s, system=8.24976 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=860364] ppid=860356 vsize=2580172 memory=2478168 CPUtime=3572.86 cores=4,6
/proc/860364/stat : 860364 (fscip) S 860356 860364 860297 0 -1 1077936128 7316636 0 0 0 356475 811 0 0 20 0 3 0 161967583 2642096128 619542 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
/proc/860364/statm: 645043 619542 3294 3032 0 629774 0
[pid=860364/tid=860376] ppid=860356 vsize=2580172 memory=6720659943902429291 CPUtime=3572.64 cores=4,6
/proc/860364/task/860376/stat : 860376 (fscip) R 860356 860364 860297 0 -1 4194368 7312992 0 0 0 356461 803 0 0 20 0 3 0 161967584 2642096128 619542 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
[pid=860364/tid=860380] ppid=860356 vsize=2580172 memory=26952 CPUtime=0.02 cores=4,6
/proc/860364/task/860380/stat : 860380 (fscip) S 860356 860364 860297 0 -1 1077936192 165 0 0 0 1 1 0 0 20 0 3 0 161967584 2642096128 619542 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
Current children cumulated CPU time: 3572.86 s
Current children cumulated vsize: 2580172 KiB
Current children cumulated memory: 2478168 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=860364] ppid=860356 vsize=2582220 memory=2480832 CPUtime=3585.61 cores=4,6
/proc/860364/stat : 860364 (fscip) S 860356 860364 860297 0 -1 1077936128 7383689 0 0 0 357746 815 0 0 20 0 3 0 161967583 2644193280 620208 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
/proc/860364/statm: 645555 620208 3294 3032 0 630334 0
[pid=860364/tid=860376] ppid=860356 vsize=2582220 memory=2477940 CPUtime=3585.38 cores=4,6
/proc/860364/task/860376/stat : 860376 (fscip) R 860356 860364 860297 0 -1 4194368 7380026 0 0 0 357732 806 0 0 20 0 3 0 161967584 2644193280 620208 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
[pid=860364/tid=860380] ppid=860356 vsize=2582220 memory=2478380 CPUtime=0.02 cores=4,6
/proc/860364/task/860380/stat : 860380 (fscip) S 860356 860364 860297 0 -1 1077936192 167 0 0 0 1 1 0 0 20 0 3 0 161967584 2644193280 620208 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
Current children cumulated CPU time: 3585.61 s
Current children cumulated vsize: 2582220 KiB
Current children cumulated memory: 2480832 KiB
[startup+3600 s]*
/proc/loadavg: 4.13 4.13 4.09 6/264 862293
/proc/meminfo: memFree=116870028/131524600 swapFree=131071996/131071996
[pid=860364] ppid=860356 vsize=2582220 memory=2480840 CPUtime=3588.8 cores=4,6
/proc/860364/stat : 860364 (fscip) S 860356 860364 860297 0 -1 1077936128 7387430 0 0 0 358065 815 0 0 20 0 3 0 161967583 2644193280 620210 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
/proc/860364/statm: 645555 620210 3294 3032 0 630334 0
[pid=860364/tid=860376] ppid=860356 vsize=2582220 memory=6720659943902429291 CPUtime=3588.58 cores=4,6
/proc/860364/task/860376/stat : 860376 (fscip) R 860356 860364 860297 0 -1 4194368 7384330 0 0 0 358051 807 0 0 20 0 3 0 161967584 2644193280 620210 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
[pid=860364/tid=860380] ppid=860356 vsize=2582220 memory=-9044459746194447340 CPUtime=0.02 cores=4,6
/proc/860364/task/860380/stat : 860380 (fscip) S 860356 860364 860297 0 -1 1077936192 167 0 0 0 1 1 0 0 20 0 3 0 161967584 2644193280 620210 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
Current children cumulated CPU time: 3588.8 s
Current children cumulated vsize: 2582220 KiB
Current children cumulated memory: 2480840 KiB
[startup+3603.2 s]
/proc/loadavg: 4.13 4.13 4.09 5/264 862343
/proc/meminfo: memFree=117883952/131524600 swapFree=131071996/131071996
[pid=860364] ppid=860356 vsize=2434728 memory=2333348 CPUtime=3591.98 cores=4,6
/proc/860364/stat : 860364 (fscip) S 860356 860364 860297 0 -1 1077936128 7438471 0 0 0 358379 819 0 0 20 0 3 0 161967583 2493161472 583337 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
/proc/860364/statm: 608682 583337 3294 3032 0 593461 0
[pid=860364/tid=860376] ppid=860356 vsize=2434728 memory=2480840 CPUtime=3591.76 cores=4,6
/proc/860364/task/860376/stat : 860376 (fscip) R 860356 860364 860297 0 -1 4194368 7434806 0 0 0 358365 811 0 0 20 0 3 0 161967584 2493161472 583337 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
[pid=860364/tid=860380] ppid=860356 vsize=2434728 memory=2480832 CPUtime=0.02 cores=4,6
/proc/860364/task/860380/stat : 860380 (fscip) S 860356 860364 860297 0 -1 1077936192 167 0 0 0 1 1 0 0 20 0 3 0 161967584 2493161472 583337 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
Current children cumulated CPU time: 3591.98 s
Current children cumulated vsize: 2434728 KiB
Current children cumulated memory: 2333348 KiB
[startup+3604 s]*
/proc/loadavg: 4.12 4.12 4.09 5/264 862343
/proc/meminfo: memFree=117826976/131524600 swapFree=131071996/131071996
[pid=860364] ppid=860356 vsize=2399900 memory=2298528 CPUtime=3592.79 cores=4,6
/proc/860364/stat : 860364 (fscip) S 860356 860364 860297 0 -1 1077936128 7439170 0 0 0 358459 820 0 0 20 0 3 0 161967583 2457497600 574632 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
/proc/860364/statm: 599975 574632 3294 3032 0 584754 0
[pid=860364/tid=860376] ppid=860356 vsize=2399900 memory=-6514292382360583015 CPUtime=3592.57 cores=4,6
/proc/860364/task/860376/stat : 860376 (fscip) R 860356 860364 860297 0 -1 4194368 7435505 0 0 0 358445 812 0 0 20 0 3 0 161967584 2457497600 574632 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
[pid=860364/tid=860380] ppid=860356 vsize=2399900 memory=189608 CPUtime=0.02 cores=4,6
/proc/860364/task/860380/stat : 860380 (fscip) S 860356 860364 860297 0 -1 1077936192 167 0 0 0 1 1 0 0 20 0 3 0 161967584 2457497600 574632 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
Current children cumulated CPU time: 3592.79 s
Current children cumulated vsize: 2399900 KiB
Current children cumulated memory: 2298528 KiB
[startup+3604.4 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 862343
/proc/meminfo: memFree=117826976/131524600 swapFree=131071996/131071996
[pid=860364] ppid=860356 vsize=2370200 memory=2268828 CPUtime=3593.18 cores=4,6
/proc/860364/stat : 860364 (fscip) S 860356 860364 860297 0 -1 1077936128 7440216 0 0 0 358498 820 0 0 20 0 3 0 161967583 2427084800 567207 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
/proc/860364/statm: 592550 567207 3294 3032 0 577329 0
[pid=860364/tid=860376] ppid=860356 vsize=2370200 memory=6720666549545353324 CPUtime=3592.96 cores=4,6
/proc/860364/task/860376/stat : 860376 (fscip) R 860356 860364 860297 0 -1 4194368 7436551 0 0 0 358484 812 0 0 20 0 3 0 161967584 2427084800 567207 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
[pid=860364/tid=860380] ppid=860356 vsize=2370200 memory=13040 CPUtime=0.02 cores=4,6
/proc/860364/task/860380/stat : 860380 (fscip) S 860356 860364 860297 0 -1 1077936192 167 0 0 0 1 1 0 0 20 0 3 0 161967584 2427084800 567207 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
Current children cumulated CPU time: 3593.18 s
Current children cumulated vsize: 2370200 KiB
Current children cumulated memory: 2268828 KiB
[startup+3604.8 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 862343
/proc/meminfo: memFree=117826976/131524600 swapFree=131071996/131071996
[pid=860364] ppid=860356 vsize=2327140 memory=2224740 CPUtime=3593.58 cores=4,6
/proc/860364/stat : 860364 (fscip) S 860356 860364 860297 0 -1 1077936128 7441006 0 0 0 358538 820 0 0 20 0 3 0 161967583 2382991360 556185 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
/proc/860364/statm: 581528 556185 3294 3032 0 566307 0
[pid=860364/tid=860376] ppid=860356 vsize=2326112 memory=2479748 CPUtime=3593.36 cores=4,6
/proc/860364/task/860376/stat : 860376 (fscip) R 860356 860364 860297 0 -1 4194368 7437341 0 0 0 358524 812 0 0 20 0 3 0 161967584 2381938688 556152 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
[pid=860364/tid=860380] ppid=860356 vsize=2325088 memory=2374312 CPUtime=0.02 cores=4,6
/proc/860364/task/860380/stat : 860380 (fscip) S 860356 860364 860297 0 -1 1077936192 167 0 0 0 1 1 0 0 20 0 3 0 161967584 2380890112 555929 134679101440 4194304 16613245 140727043061184 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29396992 140727043064853 140727043064969 140727043064969 140727043071984 0
Current children cumulated CPU time: 3593.58 s
Current children cumulated vsize: 2327140 KiB
Current children cumulated memory: 2224740 KiB
Child status: 0
Real time (s): 3604.88
CPU time (s): 3593.67
CPU user time (s): 3585.42
CPU system time (s): 8.24976
CPU usage (%): 99.689
Max. virtual memory (cumulated for all children) (KiB): 2582220
Max. memory (cumulated for all children) (KiB): 2480840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.42
system time used= 8.24976
maximum resident set size= 2480840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7442132
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= 10224
involuntary context switches= 4535
# summary of solver processes directly reported to runsolver:
# pid: 860364
# total CPU time (s): 3593.67
# total CPU user time (s): 3585.42
# total CPU system time (s): 8.24976
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.89731 second user time and 20.3128 second system time
The end
Begin job on nodeC025 at 2024-07-16 04:47:15
IDJOB=4434697
IDBENCH=147611
IDSOLVER=3064
FILE ID=nodeC025/4434697-1721098022
RUNJOBID= nodeC025-1721098035-860308
SLURM_JOB_ID= 7505612
Free space on /tmp= 890028 MiB
SOLVER NAME= FiberSCIP 2024-07-02
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-4434697-1721098022/watcher-4434697-1721098022 -o /tmp/evaluation-result-4434697-1721098022/solver-4434697-1721098022 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721098035-860308 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434697-1721098022.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 39a6e806d7aaba09f767f3cbd6afa1ec
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= 889920 MiB
End job on nodeC025 at 2024-07-16 05:47:20