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 = 22667264, getVmSize() = 22667264, SCIPgetMemUsed() = 951303, SCIPgetMemTotal() = 1273519, 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 = 16009898, getVmSize() = 25362432, SCIPgetMemUsed() = 1491474, SCIPgetMemTotal() = 2822138, 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-4434696-1721098060
0.00/0.00 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 12
0.00/0.00 c Objective sense : minimize
0.00/0.00 c Presolved Problem :
0.00/0.00 c Variables : 146 (146 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 981.0000 - -
0.00/0.03 c * 0 0 1 1 843.0000 - -
0.09/0.18 c * 0 2 1 1 842.0000 0.0000 -
0.09/0.20 c * 0 2 1 1 760.0000 0.0000 -
0.20/0.21 c * 0 2 1 1 556.0000 0.0000 -
0.20/0.22 c * 0 2 1 1 332.0000 0.0000 -
0.40/0.41 c * 0 2 1 1 213.0000 0.0000 -
1.28/1.32 c * 1 506 505 1 105.0000 0.0000 -
1.88/1.91 c * 2 506 505 1 80.0000 0.0000 -
2.08/2.17 c * 2 1272 1260 1 77.0000 0.0000 -
3.28/3.40 c * 3 2859 2817 1 74.0000 0.0000 -
3.98/4.03 c * 4 2859 2817 1 72.0000 0.0000 -
4.48/4.56 c * 5 5412 5261 1 69.0000 0.0000 -
4.58/4.62 c * 5 5412 5261 1 67.0000 0.0000 -
4.88/5.00 c * 5 5412 5261 1 63.0000 0.0000 -
5.08/5.12 c 5 7918 7349 1 63.0000 0.0000 -
5.08/5.15 c * 5 7918 7349 1 54.0000 0.0000 -
6.37/6.43 c * 6 10664 9780 1 52.0000 0.0000 -
10.06/10.16 c 10 20764 18521 1 52.0000 0.0000 -
10.16/10.27 c * 10 20764 18521 1 43.0000 0.0000 -
10.45/10.52 c * 11 20764 18521 1 37.0000 0.0000 -
10.65/10.74 c * 11 20764 18521 1 35.0000 0.0000 -
11.25/11.32 c * 11 23171 19642 1 32.0000 0.0000 -
12.06/12.17 c * 12 23171 19642 1 30.0000 0.0000 -
12.85/12.94 c * 13 26814 21162 1 20.0000 0.0000 -
15.14/15.21 c 15 36723 24969 1 20.0000 0.0000 -
16.84/16.99 c * 17 40008 26796 1 19.0000 0.0000 -
16.94/17.00 c * 17 40008 26796 1 17.0000 0.0000 -
18.63/18.75 c * 19 45772 28362 1 15.0000 0.0000 -
20.12/20.29 c 20 52310 29726 1 15.0000 0.0000 -
25.20/25.34 c 25 68900 34910 1 15.0000 0.0000 -
30.19/30.39 c 30 82653 37367 1 15.0000 0.0000 -
35.27/35.44 c 35 95777 39166 1 15.0000 0.0000 -
40.35/40.57 c 41 110429 42103 1 15.0000 0.0000 -
45.43/45.62 c 46 126346 44769 1 15.0000 0.0000 -
50.41/50.67 c 51 141221 48678 1 15.0000 0.0000 -
55.50/55.72 c 56 158988 54101 1 15.0000 0.0000 -
60.48/60.77 c 61 177025 58695 1 15.0000 0.0000 -
65.56/65.83 c 66 193251 64541 1 15.0000 0.0000 -
70.64/70.96 c 71 206221 67915 1 15.0000 0.0000 -
75.74/76.02 c 76 220084 71272 1 15.0000 0.0000 -
77.12/77.42 c * 77 223134 71735 1 13.0000 0.0000 -
80.72/81.09 c 81 233334 73111 1 13.0000 0.0000 -
85.80/86.16 c 86 242169 74105 1 13.0000 0.0000 -
90.87/91.23 c 91 256239 75981 1 13.0000 0.0000 -
95.86/96.28 c 96 269660 78438 1 13.0000 0.0000 -
100.94/101.36 c 101 283109 80293 1 13.0000 0.0000 -
106.02/106.41 c 106 296356 81860 1 13.0000 0.0000 -
111.01/111.46 c 111 312751 83962 1 13.0000 0.0000 -
112.00/112.49 c * 112 312751 83962 1 11.0000 0.0000 -
116.08/116.53 c 117 329280 84748 1 11.0000 0.0000 -
121.07/121.58 c 122 347613 86711 1 11.0000 0.0000 -
126.15/126.63 c 127 363113 87595 1 11.0000 0.0000 -
131.13/131.68 c 132 381326 89011 1 11.0000 0.0000 -
136.22/136.74 c 137 399764 89338 1 11.0000 0.0000 -
141.20/141.78 c 142 414063 90011 1 11.0000 0.0000 -
146.28/146.83 c 147 426791 90991 1 11.0000 0.0000 -
151.26/151.88 c 152 441599 91605 1 11.0000 0.0000 -
156.34/156.94 c 157 456913 92668 1 11.0000 0.0000 -
161.33/161.99 c 162 473822 93516 1 11.0000 0.0000 -
166.41/167.06 c 167 490585 94056 1 11.0000 0.0000 -
171.50/172.11 c 172 505876 94293 1 11.0000 0.0000 -
176.48/177.18 c 177 521290 95003 1 11.0000 0.0000 -
181.56/182.22 c 182 540215 96290 1 11.0000 0.0000 -
186.54/187.27 c 187 554805 97291 1 11.0000 0.0000 -
191.62/192.33 c 192 571454 98547 1 11.0000 0.0000 -
192.62/193.36 c * 193 571454 98547 1 9.0000 0.0000 -
196.71/197.40 c 197 590967 97147 1 9.0000 0.0000 -
201.69/202.45 c 202 605918 98629 1 9.0000 0.0000 -
206.77/207.50 c 208 619022 99701 1 9.0000 0.0000 -
211.75/212.55 c 213 635582 100087 1 9.0000 0.0000 -
216.83/217.60 c 218 653687 100487 1 9.0000 0.0000 -
221.81/222.65 c 223 668407 101417 1 9.0000 0.0000 -
226.90/227.72 c 228 682940 101619 1 9.0000 0.0000 -
231.98/232.85 c 233 699308 101701 1 9.0000 0.0000 -
237.06/237.90 c 238 716312 101645 1 9.0000 0.0000 -
242.04/242.95 c 243 735785 102807 1 9.0000 0.0000 -
247.13/248.00 c 248 759851 103332 1 9.0000 0.0000 -
252.11/253.05 c 253 782604 103115 1 9.0000 0.0000 -
257.10/258.10 c 258 802104 104000 1 9.0000 0.0000 -
262.67/263.62 c 264 820622 105922 1 9.0000 0.0000 -
267.65/268.66 c 269 839688 110146 1 9.0000 0.0000 -
272.74/273.71 c 274 858332 112945 1 9.0000 0.0000 -
277.72/278.76 c 279 876409 115451 1 9.0000 0.0000 -
282.80/283.82 c 284 892979 117310 1 9.0000 0.0000 -
287.79/288.87 c 289 908348 120992 1 9.0000 0.0000 -
292.87/293.93 c 294 924376 124127 1 9.0000 0.0000 -
297.85/298.98 c 299 940556 127665 1 9.0000 0.0000 -
302.94/304.03 c 304 956723 130122 1 9.0000 0.0000 -
307.92/309.09 c 309 973057 132981 1 9.0000 0.0000 -
313.00/314.15 c 314 987651 134783 1 9.0000 0.0000 -
318.08/319.20 c 319 1003918 136731 1 9.0000 0.0000 -
323.06/324.26 c 324 1018859 138819 1 9.0000 0.0000 -
328.14/329.30 c 329 1035248 140930 1 9.0000 0.0000 -
333.13/334.35 c 334 1050940 142718 1 9.0000 0.0000 -
338.21/339.40 c 339 1066109 144270 1 9.0000 0.0000 -
343.19/344.47 c 344 1081319 146078 1 9.0000 0.0000 -
348.27/349.52 c 350 1097781 147905 1 9.0000 0.0000 -
353.35/354.60 c 355 1113647 148714 1 9.0000 0.0000 -
358.34/359.66 c 360 1128694 150846 1 9.0000 0.0000 -
363.42/364.71 c 365 1143622 153210 1 9.0000 0.0000 -
368.41/369.77 c 370 1157846 154465 1 9.0000 0.0000 -
373.49/374.83 c 375 1174832 155738 1 9.0000 0.0000 -
378.47/379.87 c 380 1189690 157159 1 9.0000 0.0000 -
383.55/384.92 c 385 1204050 157523 1 9.0000 0.0000 -
388.54/389.97 c 390 1219409 158732 1 9.0000 0.0000 -
393.62/395.03 c 395 1236807 160294 1 9.0000 0.0000 -
398.60/400.09 c 400 1253770 161492 1 9.0000 0.0000 -
403.68/405.14 c 405 1270379 163672 1 9.0000 0.0000 -
408.67/410.19 c 410 1287590 164472 1 9.0000 0.0000 -
413.74/415.29 c 415 1303772 165258 1 9.0000 0.0000 -
418.82/420.34 c 420 1317267 166584 1 9.0000 0.0000 -
423.81/425.39 c 425 1329566 168162 1 9.0000 0.0000 -
428.89/430.44 c 430 1341208 168827 1 9.0000 0.0000 -
433.98/435.51 c 436 1356825 169511 1 9.0000 0.0000 -
438.96/440.56 c 441 1373088 170006 1 9.0000 0.0000 -
444.04/445.61 c 446 1387462 170274 1 9.0000 0.0000 -
449.03/450.66 c 451 1401468 170899 1 9.0000 0.0000 -
451.42/453.05 c * 453 1406623 171202 1 8.0000 0.0000 -
454.11/455.72 c 456 1413932 170610 1 8.0000 0.0000 -
459.08/460.77 c 461 1428698 171402 1 8.0000 0.0000 -
464.17/465.82 c 466 1444920 172114 1 8.0000 0.0000 -
469.15/470.87 c 471 1460944 172370 1 8.0000 0.0000 -
474.23/475.92 c 476 1479541 173348 1 8.0000 0.0000 -
479.22/480.98 c 481 1499356 173843 1 8.0000 0.0000 -
484.31/486.03 c 486 1518227 174602 1 8.0000 0.0000 -
489.29/491.08 c 491 1535609 175473 1 8.0000 0.0000 -
494.37/496.14 c 496 1552332 176304 1 8.0000 0.0000 -
499.45/501.20 c 501 1570183 176020 1 8.0000 0.0000 -
504.42/506.26 c 506 1589388 176523 1 8.0000 0.0000 -
509.51/511.31 c 511 1607886 176096 1 8.0000 0.0000 -
514.49/516.37 c 516 1629153 177022 1 8.0000 0.0000 -
519.57/521.49 c 522 1646540 177289 1 8.0000 0.0000 -
524.65/526.54 c 527 1667975 178059 1 8.0000 0.0000 -
529.73/531.60 c 532 1689568 178386 1 8.0000 0.0000 -
534.71/536.65 c 537 1708965 178607 1 8.0000 0.0000 -
539.79/541.70 c 542 1725415 178688 1 8.0000 0.0000 -
544.78/546.76 c 547 1742535 178741 1 8.0000 0.0000 -
549.86/551.81 c 552 1759627 178780 1 8.0000 0.0000 -
554.84/556.86 c 557 1777337 179315 1 8.0000 0.0000 -
559.92/561.91 c 562 1796453 179123 1 8.0000 0.0000 -
563.71/565.75 c * 566 1805543 178920 1 7.0000 0.0000 -
565.20/567.22 c 567 1810504 177565 1 7.0000 0.0000 -
570.18/572.26 c 572 1827692 176985 1 7.0000 0.0000 -
575.26/577.32 c 577 1845831 177110 1 7.0000 0.0000 -
580.24/582.37 c 582 1865306 176781 1 7.0000 0.0000 -
585.33/587.42 c 587 1882832 176543 1 7.0000 0.0000 -
590.31/592.47 c 592 1900014 176527 1 7.0000 0.0000 -
595.39/597.52 c 598 1918170 176543 1 7.0000 0.0000 -
600.37/602.58 c 603 1937654 176922 1 7.0000 0.0000 -
605.45/607.63 c 608 1955900 176755 1 7.0000 0.0000 -
610.44/612.68 c 613 1973496 176529 1 7.0000 0.0000 -
615.51/617.74 c 618 1992814 176620 1 7.0000 0.0000 -
620.60/622.80 c 623 2010649 176353 1 7.0000 0.0000 -
625.58/627.85 c 628 2030512 175937 1 7.0000 0.0000 -
630.66/632.91 c 633 2049054 176159 1 7.0000 0.0000 -
635.64/637.96 c 638 2068283 175960 1 7.0000 0.0000 -
640.73/643.01 c 643 2087817 175621 1 7.0000 0.0000 -
645.71/648.06 c 648 2106876 174975 1 7.0000 0.0000 -
650.79/653.15 c 653 2125487 174633 1 7.0000 0.0000 -
655.78/658.19 c 658 2147303 175060 1 7.0000 0.0000 -
660.86/663.24 c 663 2167498 174631 1 7.0000 0.0000 -
665.94/668.30 c 668 2185217 174693 1 7.0000 0.0000 -
670.91/673.35 c 673 2202404 174648 1 7.0000 0.0000 -
676.00/678.40 c 678 2220893 173990 1 7.0000 0.0000 -
680.98/683.45 c 683 2241410 173444 1 7.0000 0.0000 -
686.07/688.53 c 689 2256553 173447 1 7.0000 0.0000 -
690.35/692.84 c * 693 2270201 173313 1 6.0000 0.0000 -
691.05/693.58 c 694 2274042 170946 1 6.0000 0.0000 -
696.13/698.62 c 699 2293881 170408 1 6.0000 0.0000 -
701.12/703.67 c 704 2311136 169869 1 6.0000 0.0000 -
706.20/708.74 c 709 2329294 169567 1 6.0000 0.0000 -
711.27/713.81 c 714 2349336 169188 1 6.0000 0.0000 -
716.26/718.87 c 719 2367492 168547 1 6.0000 0.0000 -
721.34/723.92 c 724 2385585 168285 1 6.0000 0.0000 -
726.33/728.97 c 729 2398062 168455 1 6.0000 0.0000 -
731.42/734.03 c 734 2415320 168820 1 6.0000 0.0000 -
736.40/739.08 c 739 2436446 168092 1 6.0000 0.0000 -
741.48/744.13 c 744 2456549 166711 1 6.0000 0.0000 -
746.46/749.18 c 749 2476694 168165 1 6.0000 0.0000 -
751.54/754.24 c 754 2497713 168250 1 6.0000 0.0000 -
756.53/759.29 c 759 2521115 167160 1 6.0000 0.0000 -
761.61/764.34 c 764 2539871 166394 1 6.0000 0.0000 -
766.58/769.39 c 769 2559270 166232 1 6.0000 0.0000 -
771.67/774.44 c 774 2578109 165548 1 6.0000 0.0000 -
776.76/779.51 c 780 2596802 165361 1 6.0000 0.0000 -
781.73/784.56 c 785 2614196 164764 1 6.0000 0.0000 -
786.81/789.61 c 790 2633294 164255 1 6.0000 0.0000 -
791.80/794.66 c 795 2648854 163829 1 6.0000 0.0000 -
796.88/799.71 c 800 2665245 163586 1 6.0000 0.0000 -
801.87/804.76 c 805 2682915 163521 1 6.0000 0.0000 -
806.95/809.83 c 810 2701631 162732 1 6.0000 0.0000 -
811.94/814.89 c 815 2718577 162326 1 6.0000 0.0000 -
817.01/819.94 c 820 2736988 161885 1 6.0000 0.0000 -
822.00/824.99 c 825 2757145 161883 1 6.0000 0.0000 -
827.09/830.04 c 830 2777627 162058 1 6.0000 0.0000 -
832.07/835.09 c 835 2800814 161853 1 6.0000 0.0000 -
837.16/840.14 c 840 2823243 160857 1 6.0000 0.0000 -
842.22/845.21 c 845 2844709 160265 1 6.0000 0.0000 -
847.22/850.26 c 850 2867011 160319 1 6.0000 0.0000 -
852.29/855.31 c 855 2884264 161889 1 6.0000 0.0000 -
857.28/860.36 c 860 2903206 162287 1 6.0000 0.0000 -
862.37/865.42 c 865 2923190 161585 1 6.0000 0.0000 -
867.34/870.48 c 870 2943272 160003 1 6.0000 0.0000 -
872.43/875.55 c 876 2963750 159652 1 6.0000 0.0000 -
877.51/880.61 c 881 2982608 159435 1 6.0000 0.0000 -
882.49/885.66 c 886 2999726 159000 1 6.0000 0.0000 -
887.57/890.71 c 891 3017342 158172 1 6.0000 0.0000 -
892.56/895.78 c 896 3034003 158040 1 6.0000 0.0000 -
897.64/900.83 c 901 3050365 159770 1 6.0000 0.0000 -
902.62/905.88 c 906 3066356 161964 1 6.0000 0.0000 -
907.71/910.95 c 911 3083775 163075 1 6.0000 0.0000 -
912.80/916.04 c 916 3099533 164845 1 6.0000 0.0000 -
917.79/921.09 c 921 3115493 166895 1 6.0000 0.0000 -
922.86/926.16 c 926 3134467 169263 1 6.0000 0.0000 -
927.95/931.23 c 931 3154913 170088 1 6.0000 0.0000 -
933.03/936.34 c 936 3171653 172761 1 6.0000 0.0000 -
938.12/941.43 c 941 3192754 177006 1 6.0000 0.0000 -
943.19/946.50 c 947 3214251 180396 1 6.0000 0.0000 -
948.18/951.55 c 952 3233863 184518 1 6.0000 0.0000 -
953.26/956.60 c 957 3256855 187388 1 6.0000 0.0000 -
958.24/961.69 c 962 3276654 191094 1 6.0000 0.0000 -
963.33/966.74 c 967 3296725 193254 1 6.0000 0.0000 -
968.41/971.83 c 972 3317482 195971 1 6.0000 0.0000 -
973.39/976.88 c 977 3339932 198145 1 6.0000 0.0000 -
978.48/981.96 c 982 3358603 200859 1 6.0000 0.0000 -
983.57/987.00 c 987 3373619 202487 1 6.0000 0.0000 -
988.55/992.05 c 992 3391551 204441 1 6.0000 0.0000 -
993.54/997.10 c 997 3410905 205485 1 6.0000 0.0000 -
998.61/1002.15 c 1002 3430577 207318 1 6.0000 0.0000 -
1003.69/1007.23 c 1007 3451109 209816 1 6.0000 0.0000 -
1008.67/1012.29 c 1012 3471663 211113 1 6.0000 0.0000 -
1013.76/1017.34 c 1017 3491281 212223 1 6.0000 0.0000 -
1018.74/1022.39 c 1022 3511195 214101 1 6.0000 0.0000 -
1023.82/1027.46 c 1027 3530802 216063 1 6.0000 0.0000 -
1028.90/1032.55 c 1033 3551697 217283 1 6.0000 0.0000 -
1030.41/1034.04 c * 1034 3555568 217422 1 5.0000 0.0000 -
1033.99/1037.60 c 1038 3572346 215683 1 5.0000 0.0000 -
1038.97/1042.66 c 1043 3593415 216955 1 5.0000 0.0000 -
1044.06/1047.75 c 1048 3615270 218210 1 5.0000 0.0000 -
1049.14/1052.84 c 1053 3635545 219215 1 5.0000 0.0000 -
1054.13/1057.89 c 1058 3658244 220102 1 5.0000 0.0000 -
1059.20/1062.94 c 1063 3680637 220915 1 5.0000 0.0000 -
1064.19/1067.99 c 1068 3702084 221583 1 5.0000 0.0000 -
1069.27/1073.06 c 1073 3724198 222744 1 5.0000 0.0000 -
1074.36/1078.16 c 1078 3747037 223741 1 5.0000 0.0000 -
1079.44/1083.24 c 1083 3767611 224620 1 5.0000 0.0000 -
1084.42/1088.29 c 1088 3788021 224983 1 5.0000 0.0000 -
1089.50/1093.34 c 1093 3810197 225811 1 5.0000 0.0000 -
1094.49/1098.39 c 1098 3829962 226663 1 5.0000 0.0000 -
1099.56/1103.44 c 1103 3849318 226679 1 5.0000 0.0000 -
1104.65/1108.54 c 1109 3872155 227069 1 5.0000 0.0000 -
1109.63/1113.58 c 1114 3895505 228454 1 5.0000 0.0000 -
1114.71/1118.64 c 1119 3919961 228478 1 5.0000 0.0000 -
1119.70/1123.69 c 1124 3943805 228427 1 5.0000 0.0000 -
1124.78/1128.76 c 1129 3964737 228766 1 5.0000 0.0000 -
1129.86/1133.83 c 1134 3981116 229519 1 5.0000 0.0000 -
1134.85/1138.88 c 1139 3999720 229449 1 5.0000 0.0000 -
1139.93/1143.94 c 1144 4020641 229915 1 5.0000 0.0000 -
1145.02/1149.02 c 1149 4041630 230743 1 5.0000 0.0000 -
1150.00/1154.07 c 1154 4064157 230575 1 5.0000 0.0000 -
1155.08/1159.15 c 1159 4083664 230726 1 5.0000 0.0000 -
1160.16/1164.20 c 1164 4104518 230546 1 5.0000 0.0000 -
1165.14/1169.25 c 1169 4125134 230780 1 5.0000 0.0000 -
1170.22/1174.34 c 1174 4147294 230194 1 5.0000 0.0000 -
1175.20/1179.39 c 1179 4169331 229726 1 5.0000 0.0000 -
1180.29/1184.44 c 1184 4191428 229660 1 5.0000 0.0000 -
1185.28/1189.49 c 1190 4212062 230352 1 5.0000 0.0000 -
1190.36/1194.54 c 1195 4230490 232358 1 5.0000 0.0000 -
1195.44/1199.61 c 1200 4247689 233360 1 5.0000 0.0000 -
1200.42/1204.66 c 1205 4267298 234452 1 5.0000 0.0000 -
1205.51/1209.71 c 1210 4287789 234910 1 5.0000 0.0000 -
1210.49/1214.76 c 1215 4305436 235249 1 5.0000 0.0000 -
1215.57/1219.81 c 1220 4322568 236485 1 5.0000 0.0000 -
1220.55/1224.86 c 1225 4341016 236796 1 5.0000 0.0000 -
1225.63/1229.92 c 1230 4359936 236787 1 5.0000 0.0000 -
1230.72/1235.05 c 1235 4376225 237195 1 5.0000 0.0000 -
1235.81/1240.11 c 1240 4396307 239212 1 5.0000 0.0000 -
1240.79/1245.17 c 1245 4417829 239895 1 5.0000 0.0000 -
1245.87/1250.25 c 1250 4440525 240121 1 5.0000 0.0000 -
1250.95/1255.32 c 1255 4462429 240553 1 5.0000 0.0000 -
1256.03/1260.40 c 1260 4482201 240532 1 5.0000 0.0000 -
1261.02/1265.49 c 1266 4502625 240771 1 5.0000 0.0000 -
1266.09/1270.54 c 1271 4520174 240887 1 5.0000 0.0000 -
1271.18/1275.60 c 1276 4540465 240727 1 5.0000 0.0000 -
1276.16/1280.68 c 1281 4559856 240287 1 5.0000 0.0000 -
1281.24/1285.78 c 1286 4583603 240172 1 5.0000 0.0000 -
1286.33/1290.83 c 1291 4604218 240073 1 5.0000 0.0000 -
1291.31/1295.88 c 1296 4624749 240187 1 5.0000 0.0000 -
1296.39/1300.93 c 1301 4642620 240126 1 5.0000 0.0000 -
1301.37/1305.98 c 1306 4659931 240194 1 5.0000 0.0000 -
1306.46/1311.07 c 1311 4675109 240085 1 5.0000 0.0000 -
1311.54/1316.11 c 1316 4693873 239983 1 5.0000 0.0000 -
1316.52/1321.17 c 1321 4714170 239114 1 5.0000 0.0000 -
1321.60/1326.22 c 1326 4733038 240182 1 5.0000 0.0000 -
1326.58/1331.27 c 1331 4752183 240252 1 5.0000 0.0000 -
1331.67/1336.32 c 1336 4772215 239580 1 5.0000 0.0000 -
1336.65/1341.37 c 1341 4788860 239909 1 5.0000 0.0000 -
1341.74/1346.43 c 1346 4806768 239897 1 5.0000 0.0000 -
1346.81/1351.50 c 1352 4827140 242132 1 5.0000 0.0000 -
1351.79/1356.58 c 1357 4846463 243782 1 5.0000 0.0000 -
1356.88/1361.63 c 1362 4867840 244755 1 5.0000 0.0000 -
1361.95/1366.71 c 1367 4888862 245005 1 5.0000 0.0000 -
1366.93/1371.76 c 1372 4911208 245017 1 5.0000 0.0000 -
1372.11/1376.91 c 1377 4930650 245039 1 5.0000 0.0000 -
1377.09/1381.96 c 1382 4951348 244628 1 5.0000 0.0000 -
1382.17/1387.01 c 1387 4971363 244209 1 5.0000 0.0000 -
1387.15/1392.06 c 1392 4990417 244229 1 5.0000 0.0000 -
1392.23/1397.15 c 1397 5008020 245093 1 5.0000 0.0000 -
1397.30/1402.22 c 1402 5024063 245070 1 5.0000 0.0000 -
1402.28/1407.27 c 1407 5039018 244880 1 5.0000 0.0000 -
1407.36/1412.32 c 1412 5058294 244370 1 5.0000 0.0000 -
1412.34/1417.39 c 1417 5078587 244345 1 5.0000 0.0000 -
1417.41/1422.44 c 1422 5098075 243561 1 5.0000 0.0000 -
1422.39/1427.49 c 1428 5117130 242930 1 5.0000 0.0000 -
1427.47/1432.54 c 1433 5132859 244240 1 5.0000 0.0000 -
1432.55/1437.63 c 1438 5146661 244523 1 5.0000 0.0000 -
1437.63/1442.72 c 1443 5160068 244293 1 5.0000 0.0000 -
1442.61/1447.78 c 1448 5173184 244141 1 5.0000 0.0000 -
1447.69/1452.87 c 1453 5185813 243818 1 5.0000 0.0000 -
1452.76/1457.92 c 1458 5199185 243814 1 5.0000 0.0000 -
1457.74/1462.97 c 1463 5219022 242910 1 5.0000 0.0000 -
1462.83/1468.02 c 1468 5240060 242450 1 5.0000 0.0000 -
1467.90/1473.11 c 1473 5260568 242105 1 5.0000 0.0000 -
1472.98/1478.20 c 1478 5283495 241429 1 5.0000 0.0000 -
1477.96/1483.29 c 1483 5304362 241231 1 5.0000 0.0000 -
1483.04/1488.34 c 1488 5324173 240580 1 5.0000 0.0000 -
1488.01/1493.39 c 1493 5343514 240224 1 5.0000 0.0000 -
1493.10/1498.44 c 1498 5364394 241231 1 5.0000 0.0000 -
1498.08/1503.49 c 1504 5388030 240448 1 5.0000 0.0000 -
1503.15/1508.54 c 1509 5409762 239714 1 5.0000 0.0000 -
1508.13/1513.59 c 1514 5430914 239028 1 5.0000 0.0000 -
1513.21/1518.67 c 1519 5449435 238998 1 5.0000 0.0000 -
1518.39/1523.80 c 1524 5465500 239304 1 5.0000 0.0000 -
1523.37/1528.87 c 1529 5481372 238555 1 5.0000 0.0000 -
1528.44/1533.92 c 1534 5497335 239613 1 5.0000 0.0000 -
1533.43/1538.97 c 1539 5510519 240810 1 5.0000 0.0000 -
1538.51/1544.02 c 1544 5525344 241561 1 5.0000 0.0000 -
1543.50/1549.07 c 1549 5538071 242072 1 5.0000 0.0000 -
1548.66/1554.21 c 1554 5552440 242949 1 5.0000 0.0000 -
1553.64/1559.28 c 1559 5567206 243109 1 5.0000 0.0000 -
1558.72/1564.34 c 1564 5582598 243176 1 5.0000 0.0000 -
1563.81/1569.40 c 1569 5596006 243179 1 5.0000 0.0000 -
1568.78/1574.45 c 1574 5611923 243655 1 5.0000 0.0000 -
1573.86/1579.53 c 1580 5627636 244012 1 5.0000 0.0000 -
1578.84/1584.57 c 1585 5643792 244362 1 5.0000 0.0000 -
1583.92/1589.64 c 1590 5660819 244355 1 5.0000 0.0000 -
1588.89/1594.69 c 1595 5674340 244569 1 5.0000 0.0000 -
1593.98/1599.74 c 1600 5689755 244856 1 5.0000 0.0000 -
1598.95/1604.79 c 1605 5704772 244550 1 5.0000 0.0000 -
1604.04/1609.84 c 1610 5720496 244159 1 5.0000 0.0000 -
1609.02/1614.89 c 1615 5733286 244198 1 5.0000 0.0000 -
1614.20/1620.00 c 1620 5748342 244061 1 5.0000 0.0000 -
1619.17/1625.04 c 1625 5762292 243963 1 5.0000 0.0000 -
1624.16/1630.09 c 1630 5777200 244004 1 5.0000 0.0000 -
1629.24/1635.14 c 1635 5792652 245189 1 5.0000 0.0000 -
1634.31/1640.20 c 1640 5806059 245957 1 5.0000 0.0000 -
1639.29/1645.29 c 1645 5821496 246722 1 5.0000 0.0000 -
1644.47/1650.41 c 1650 5834792 248425 1 5.0000 0.0000 -
1649.45/1655.49 c 1656 5849401 249256 1 5.0000 0.0000 -
1654.53/1660.59 c 1661 5863560 249518 1 5.0000 0.0000 -
1659.70/1665.71 c 1666 5877992 249789 1 5.0000 0.0000 -
1664.69/1670.78 c 1671 5892703 249830 1 5.0000 0.0000 -
1669.76/1675.83 c 1676 5909016 249840 1 5.0000 0.0000 -
1674.85/1680.99 c 1681 5925680 250880 1 5.0000 0.0000 -
1679.93/1686.09 c 1686 5945637 252373 1 5.0000 0.0000 -
1685.00/1691.13 c 1691 5962627 252646 1 5.0000 0.0000 -
1690.08/1696.22 c 1696 5978644 252787 1 5.0000 0.0000 -
1695.06/1701.27 c 1701 5995071 252479 1 5.0000 0.0000 -
1700.14/1706.36 c 1706 6014422 253063 1 5.0000 0.0000 -
1705.22/1711.41 c 1711 6031067 253017 1 5.0000 0.0000 -
1710.30/1716.50 c 1716 6048367 253193 1 5.0000 0.0000 -
1715.27/1721.57 c 1722 6063301 253176 1 5.0000 0.0000 -
1720.35/1726.66 c 1727 6079366 253004 1 5.0000 0.0000 -
1725.43/1731.75 c 1732 6095075 252657 1 5.0000 0.0000 -
1730.61/1736.91 c 1737 6111664 252447 1 5.0000 0.0000 -
1735.59/1741.97 c 1742 6129493 252470 1 5.0000 0.0000 -
1740.68/1747.01 c 1747 6149014 253259 1 5.0000 0.0000 -
1745.75/1752.12 c 1752 6168006 252636 1 5.0000 0.0000 -
1750.83/1757.25 c 1757 6183827 252515 1 5.0000 0.0000 -
1755.91/1762.32 c 1762 6202711 252062 1 5.0000 0.0000 -
1760.89/1767.37 c 1767 6217898 251859 1 5.0000 0.0000 -
1765.96/1772.45 c 1772 6234377 251394 1 5.0000 0.0000 -
1771.04/1777.55 c 1778 6248716 251505 1 5.0000 0.0000 -
1776.12/1782.66 c 1783 6264183 251258 1 5.0000 0.0000 -
1781.30/1787.81 c 1788 6281943 252229 1 5.0000 0.0000 -
1786.38/1792.92 c 1793 6302275 252313 1 5.0000 0.0000 -
1791.36/1797.97 c 1798 6321878 251386 1 5.0000 0.0000 -
1796.45/1803.03 c 1803 6340818 252343 1 5.0000 0.0000 -
1801.53/1808.13 c 1808 6357706 253344 1 5.0000 0.0000 -
1806.60/1813.22 c 1813 6376256 253795 1 5.0000 0.0000 -
1811.58/1818.27 c 1818 6389925 255552 1 5.0000 0.0000 -
1816.66/1823.32 c 1823 6406836 256102 1 5.0000 0.0000 -
1821.74/1828.47 c 1828 6424452 256478 1 5.0000 0.0000 -
1826.91/1833.60 c 1834 6441525 256280 1 5.0000 0.0000 -
1831.89/1838.64 c 1839 6458369 256083 1 5.0000 0.0000 -
1836.97/1843.76 c 1844 6478199 256106 1 5.0000 0.0000 -
1842.15/1848.95 c 1849 6495884 256641 1 5.0000 0.0000 -
1847.24/1854.10 c 1854 6512180 257472 1 5.0000 0.0000 -
1852.41/1859.21 c 1859 6528300 259347 1 5.0000 0.0000 -
1857.50/1864.34 c 1864 6546627 260515 1 5.0000 0.0000 -
1862.58/1869.45 c 1869 6561396 260860 1 5.0000 0.0000 -
1867.66/1874.53 c 1875 6580678 260794 1 5.0000 0.0000 -
1872.75/1879.62 c 1880 6599108 260783 1 5.0000 0.0000 -
1877.83/1884.73 c 1885 6617002 261546 1 5.0000 0.0000 -
1882.91/1889.83 c 1890 6635635 261542 1 5.0000 0.0000 -
1888.00/1894.97 c 1895 6651773 263312 1 5.0000 0.0000 -
1893.09/1900.02 c 1900 6666536 264768 1 5.0000 0.0000 -
1898.16/1905.12 c 1905 6684823 265566 1 5.0000 0.0000 -
1903.15/1910.18 c 1910 6703330 266705 1 5.0000 0.0000 -
1908.22/1915.27 c 1915 6720309 267422 1 5.0000 0.0000 -
1913.31/1920.31 c 1920 6738009 267596 1 5.0000 0.0000 -
1918.39/1925.42 c 1925 6757321 267466 1 5.0000 0.0000 -
1923.47/1930.51 c 1931 6774225 268535 1 5.0000 0.0000 -
1928.57/1935.60 c 1936 6789174 268993 1 5.0000 0.0000 -
1933.55/1940.65 c 1941 6805948 269117 1 5.0000 0.0000 -
1938.63/1945.79 c 1946 6823459 269173 1 5.0000 0.0000 -
1943.71/1950.83 c 1951 6840929 269233 1 5.0000 0.0000 -
1948.80/1955.92 c 1956 6858823 269396 1 5.0000 0.0000 -
1953.89/1961.03 c 1961 6876305 269626 1 5.0000 0.0000 -
1958.87/1966.08 c 1966 6891241 269249 1 5.0000 0.0000 -
1963.95/1971.16 c 1971 6907377 269199 1 5.0000 0.0000 -
1969.03/1976.21 c 1976 6924974 268866 1 5.0000 0.0000 -
1974.01/1981.26 c 1981 6944028 268550 1 5.0000 0.0000 -
1979.18/1986.41 c 1986 6960346 269107 1 5.0000 0.0000 -
1984.17/1991.49 c 1992 6977378 270732 1 5.0000 0.0000 -
1989.35/1996.60 c 1997 6993696 271976 1 5.0000 0.0000 -
1994.32/2001.68 c 2002 7013015 272840 1 5.0000 0.0000 -
1999.41/2006.73 c 2007 7031545 273339 1 5.0000 0.0000 -
2004.49/2011.85 c 2012 7049497 273262 1 5.0000 0.0000 -
2009.57/2016.92 c 2017 7062689 273991 1 5.0000 0.0000 -
2014.66/2022.00 c 2022 7082697 273940 1 5.0000 0.0000 -
2019.73/2027.16 c 2027 7101039 274317 1 5.0000 0.0000 -
2024.90/2032.31 c 2032 7123198 273965 1 5.0000 0.0000 -
2029.98/2037.44 c 2037 7142636 273971 1 5.0000 0.0000 -
2034.97/2042.49 c 2042 7160346 273588 1 5.0000 0.0000 -
2040.05/2047.55 c 2048 7179123 273043 1 5.0000 0.0000 -
2045.22/2052.70 c 2053 7195370 272824 1 5.0000 0.0000 -
2050.20/2057.75 c 2058 7211639 272379 1 5.0000 0.0000 -
2055.28/2062.89 c 2063 7229058 272141 1 5.0000 0.0000 -
2060.35/2067.97 c 2068 7245937 271664 1 5.0000 0.0000 -
2065.44/2073.04 c 2073 7261466 271552 1 5.0000 0.0000 -
2070.42/2078.09 c 2078 7276349 271715 1 5.0000 0.0000 -
2075.60/2083.20 c 2083 7292865 271343 1 5.0000 0.0000 -
2080.58/2088.25 c 2088 7310818 271202 1 5.0000 0.0000 -
2085.65/2093.31 c 2093 7329801 270833 1 5.0000 0.0000 -
2090.63/2098.38 c 2098 7347171 271217 1 5.0000 0.0000 -
2095.71/2103.49 c 2104 7363615 271001 1 5.0000 0.0000 -
2100.79/2108.54 c 2109 7380267 271194 1 5.0000 0.0000 -
2105.77/2113.59 c 2114 7401520 270667 1 5.0000 0.0000 -
2110.85/2118.64 c 2119 7418231 270009 1 5.0000 0.0000 -
2115.83/2123.69 c 2124 7435401 269525 1 5.0000 0.0000 -
2120.90/2128.76 c 2129 7454482 268809 1 5.0000 0.0000 -
2125.98/2133.81 c 2134 7472369 268281 1 5.0000 0.0000 -
2131.06/2138.92 c 2139 7491134 267729 1 5.0000 0.0000 -
2136.15/2144.01 c 2144 7507748 267341 1 5.0000 0.0000 -
2141.22/2149.13 c 2149 7525260 266700 1 5.0000 0.0000 -
2146.21/2154.18 c 2154 7540140 266790 1 5.0000 0.0000 -
2151.39/2159.33 c 2159 7551865 267813 1 5.0000 0.0000 -
2156.46/2164.48 c 2164 7566023 268770 1 5.0000 0.0000 -
2161.54/2169.53 c 2170 7582150 269483 1 5.0000 0.0000 -
2166.81/2174.83 c 2175 7600224 270270 1 5.0000 0.0000 -
2171.90/2179.93 c 2180 7616771 270276 1 5.0000 0.0000 -
2176.87/2184.99 c 2185 7632741 270124 1 5.0000 0.0000 -
2182.06/2190.15 c 2190 7649148 270418 1 5.0000 0.0000 -
2187.13/2195.22 c 2195 7664458 270265 1 5.0000 0.0000 -
2192.21/2200.30 c 2200 7679375 270568 1 5.0000 0.0000 -
2197.20/2205.35 c 2205 7696208 269996 1 5.0000 0.0000 -
2202.28/2210.42 c 2210 7711600 269716 1 5.0000 0.0000 -
2207.25/2215.49 c 2216 7728073 268995 1 5.0000 0.0000 -
2212.43/2220.60 c 2221 7745731 268474 1 5.0000 0.0000 -
2217.41/2225.65 c 2226 7762263 267830 1 5.0000 0.0000 -
2222.49/2230.78 c 2231 7777036 268290 1 5.0000 0.0000 -
2227.57/2235.83 c 2236 7794420 267178 1 5.0000 0.0000 -
2232.54/2240.89 c 2241 7811160 267081 1 5.0000 0.0000 -
2237.73/2246.01 c 2246 7828352 266730 1 5.0000 0.0000 -
2242.81/2251.13 c 2251 7846986 265832 1 5.0000 0.0000 -
2247.89/2256.24 c 2256 7861672 265625 1 5.0000 0.0000 -
2252.96/2261.31 c 2261 7879386 265119 1 5.0000 0.0000 -
2257.94/2266.36 c 2266 7893814 264775 1 5.0000 0.0000 -
2263.02/2271.41 c 2271 7913707 264067 1 5.0000 0.0000 -
2268.09/2276.50 c 2277 7927960 263842 1 5.0000 0.0000 -
2273.18/2281.67 c 2282 7943605 264942 1 5.0000 0.0000 -
2278.25/2286.77 c 2287 7957525 265854 1 5.0000 0.0000 -
2283.43/2291.91 c 2292 7973669 265872 1 5.0000 0.0000 -
2288.62/2297.13 c 2297 7990040 265546 1 5.0000 0.0000 -
2293.60/2302.18 c 2302 8006353 264959 1 5.0000 0.0000 -
2298.67/2307.29 c 2307 8023255 264127 1 5.0000 0.0000 -
2303.75/2312.35 c 2312 8039488 263272 1 5.0000 0.0000 -
2308.93/2317.51 c 2318 8056929 262407 1 5.0000 0.0000 -
2313.91/2322.57 c 2323 8073135 262288 1 5.0000 0.0000 -
2319.19/2327.81 c 2328 8090262 262573 1 5.0000 0.0000 -
2324.17/2332.87 c 2333 8106895 262446 1 5.0000 0.0000 -
2329.45/2338.14 c 2338 8124758 261955 1 5.0000 0.0000 -
2334.62/2343.32 c 2343 8139444 263090 1 5.0000 0.0000 -
2339.81/2348.52 c 2349 8151732 264301 1 5.0000 0.0000 -
2344.88/2353.60 c 2354 8166782 264862 1 5.0000 0.0000 -
2349.86/2358.65 c 2359 8181534 265109 1 5.0000 0.0000 -
2355.04/2363.83 c 2364 8194808 265125 1 5.0000 0.0000 -
2360.13/2368.95 c 2369 8210188 265284 1 5.0000 0.0000 -
2365.21/2374.06 c 2374 8224625 265060 1 5.0000 0.0000 -
2370.29/2379.12 c 2379 8239738 264624 1 5.0000 0.0000 -
2375.27/2384.19 c 2384 8251985 265009 1 5.0000 0.0000 -
2380.34/2389.23 c 2389 8267083 264636 1 5.0000 0.0000 -
2385.52/2394.43 c 2394 8280586 265035 1 5.0000 0.0000 -
2390.49/2399.49 c 2400 8295343 264684 1 5.0000 0.0000 -
2395.67/2404.61 c 2405 8311729 263850 1 5.0000 0.0000 -
2400.65/2409.66 c 2410 8326703 263216 1 5.0000 0.0000 -
2405.83/2414.86 c 2415 8342755 262656 1 5.0000 0.0000 -
2410.91/2419.91 c 2420 8357230 262262 1 5.0000 0.0000 -
2415.89/2424.96 c 2425 8373572 261719 1 5.0000 0.0000 -
2420.98/2430.10 c 2430 8389462 261239 1 5.0000 0.0000 -
2426.05/2435.14 c 2435 8407236 260836 1 5.0000 0.0000 -
2431.23/2440.33 c 2440 8420880 260695 1 5.0000 0.0000 -
2436.20/2445.38 c 2445 8436592 260088 1 5.0000 0.0000 -
2441.29/2450.47 c 2450 8451178 259679 1 5.0000 0.0000 -
2446.37/2455.59 c 2456 8468183 258636 1 5.0000 0.0000 -
2451.44/2460.63 c 2461 8487783 257764 1 5.0000 0.0000 -
2456.42/2465.68 c 2466 8503362 257039 1 5.0000 0.0000 -
2461.50/2470.73 c 2471 8520656 256016 1 5.0000 0.0000 -
2466.48/2475.78 c 2476 8537645 255622 1 5.0000 0.0000 -
2471.55/2480.86 c 2481 8548265 256692 1 5.0000 0.0000 -
2476.64/2485.99 c 2486 8560474 257096 1 5.0000 0.0000 -
2481.82/2491.10 c 2491 8572106 257334 1 5.0000 0.0000 -
2486.80/2496.16 c 2496 8588298 257029 1 5.0000 0.0000 -
2491.87/2501.28 c 2501 8602348 256821 1 5.0000 0.0000 -
2496.96/2506.33 c 2506 8617670 256332 1 5.0000 0.0000 -
2502.03/2511.45 c 2511 8632637 255602 1 5.0000 0.0000 -
2507.01/2516.49 c 2516 8648469 255326 1 5.0000 0.0000 -
2512.18/2521.63 c 2522 8664593 255032 1 5.0000 0.0000 -
2517.27/2526.76 c 2527 8680542 254893 1 5.0000 0.0000 -
2522.45/2531.97 c 2532 8700853 254529 1 5.0000 0.0000 -
2527.72/2537.25 c 2537 8715949 255088 1 5.0000 0.0000 -
2532.90/2542.41 c 2542 8729936 255435 1 5.0000 0.0000 -
2537.97/2547.51 c 2548 8745525 255138 1 5.0000 0.0000 -
2542.96/2552.58 c 2553 8762162 254479 1 5.0000 0.0000 -
2548.14/2557.71 c 2558 8775675 254030 1 5.0000 0.0000 -
2553.12/2562.78 c 2563 8791850 253285 1 5.0000 0.0000 -
2558.19/2567.87 c 2568 8808130 252700 1 5.0000 0.0000 -
2563.27/2572.92 c 2573 8824094 251953 1 5.0000 0.0000 -
2568.25/2577.97 c 2578 8841888 251150 1 5.0000 0.0000 -
2573.33/2583.04 c 2583 8857964 250552 1 5.0000 0.0000 -
2578.31/2588.08 c 2588 8871332 251004 1 5.0000 0.0000 -
2583.39/2593.15 c 2593 8887547 251004 1 5.0000 0.0000 -
2588.46/2598.23 c 2598 8903211 250629 1 5.0000 0.0000 -
2593.54/2603.38 c 2603 8916486 251068 1 5.0000 0.0000 -
2598.73/2608.50 c 2609 8930626 252196 1 5.0000 0.0000 -
2603.91/2613.71 c 2614 8941421 253175 1 5.0000 0.0000 -
2609.08/2618.93 c 2619 8953903 254205 1 5.0000 0.0000 -
2614.27/2624.11 c 2624 8965429 255693 1 5.0000 0.0000 -
2619.25/2629.16 c 2629 8978299 256905 1 5.0000 0.0000 -
2624.32/2634.21 c 2634 8992430 257600 1 5.0000 0.0000 -
2629.40/2639.34 c 2639 9008450 258271 1 5.0000 0.0000 -
2634.58/2644.51 c 2645 9020602 259264 1 5.0000 0.0000 -
2639.67/2649.62 c 2650 9034397 260210 1 5.0000 0.0000 -
2644.74/2654.73 c 2655 9047056 261399 1 5.0000 0.0000 -
2649.92/2659.90 c 2660 9060642 262176 1 5.0000 0.0000 -
2655.01/2665.09 c 2665 9072477 262591 1 5.0000 0.0000 -
2660.09/2670.15 c 2670 9087822 262815 1 5.0000 0.0000 -
2665.25/2675.36 c 2675 9101654 263300 1 5.0000 0.0000 -
2670.33/2680.48 c 2680 9115894 263550 1 5.0000 0.0000 -
2675.41/2685.58 c 2686 9131719 263505 1 5.0000 0.0000 -
2680.60/2690.75 c 2691 9145940 263494 1 5.0000 0.0000 -
2685.67/2695.82 c 2696 9158335 264085 1 5.0000 0.0000 -
2690.75/2700.94 c 2701 9169467 264213 1 5.0000 0.0000 -
2695.93/2706.15 c 2706 9183691 264463 1 5.0000 0.0000 -
2701.00/2711.21 c 2711 9199413 264655 1 5.0000 0.0000 -
2706.08/2716.37 c 2716 9214975 264826 1 5.0000 0.0000 -
2711.26/2721.55 c 2722 9229909 265590 1 5.0000 0.0000 -
2716.54/2726.80 c 2727 9246273 265914 1 5.0000 0.0000 -
2721.62/2731.92 c 2732 9261098 266058 1 5.0000 0.0000 -
2726.70/2737.02 c 2737 9277722 265880 1 5.0000 0.0000 -
2731.87/2742.21 c 2742 9294683 265851 1 5.0000 0.0000 -
2736.86/2747.29 c 2747 9309310 266081 1 5.0000 0.0000 -
2742.03/2752.44 c 2752 9323639 265925 1 5.0000 0.0000 -
2747.11/2757.51 c 2758 9338827 266233 1 5.0000 0.0000 -
2752.18/2762.60 c 2763 9350899 266488 1 5.0000 0.0000 -
2757.37/2767.81 c 2768 9364790 267029 1 5.0000 0.0000 -
2762.65/2773.12 c 2773 9380712 267413 1 5.0000 0.0000 -
2767.63/2778.16 c 2778 9395888 267457 1 5.0000 0.0000 -
2772.70/2783.22 c 2783 9410760 267939 1 5.0000 0.0000 -
2777.78/2788.30 c 2788 9423458 268808 1 5.0000 0.0000 -
2782.86/2793.41 c 2793 9437443 269019 1 5.0000 0.0000 -
2787.94/2798.50 c 2799 9451149 268972 1 5.0000 0.0000 -
2793.02/2803.66 c 2804 9466919 268781 1 5.0000 0.0000 -
2798.09/2808.78 c 2809 9481856 268727 1 5.0000 0.0000 -
2803.17/2813.83 c 2814 9497173 268437 1 5.0000 0.0000 -
2808.35/2819.05 c 2819 9512525 268387 1 5.0000 0.0000 -
2813.52/2824.21 c 2824 9525882 269133 1 5.0000 0.0000 -
2818.61/2829.37 c 2829 9542958 268736 1 5.0000 0.0000 -
2823.68/2834.42 c 2834 9558321 268789 1 5.0000 0.0000 -
2828.66/2839.47 c 2839 9576176 268020 1 5.0000 0.0000 -
2833.74/2844.59 c 2845 9592214 267894 1 5.0000 0.0000 -
2838.92/2849.79 c 2850 9610538 268207 1 5.0000 0.0000 -
2844.00/2854.87 c 2855 9628036 268337 1 5.0000 0.0000 -
2849.18/2860.05 c 2860 9643409 268302 1 5.0000 0.0000 -
2854.35/2865.29 c 2865 9660395 267977 1 5.0000 0.0000 -
2859.53/2870.41 c 2870 9674778 267494 1 5.0000 0.0000 -
2864.61/2875.54 c 2876 9688974 267713 1 5.0000 0.0000 -
2869.59/2880.59 c 2881 9703833 267542 1 5.0000 0.0000 -
2874.77/2885.72 c 2886 9721392 266920 1 5.0000 0.0000 -
2879.85/2890.85 c 2891 9735888 266874 1 5.0000 0.0000 -
2884.93/2895.91 c 2896 9749535 266640 1 5.0000 0.0000 -
2890.11/2901.11 c 2901 9763652 266723 1 5.0000 0.0000 -
2895.28/2906.33 c 2906 9780014 266171 1 5.0000 0.0000 -
2900.37/2911.44 c 2911 9796396 265767 1 5.0000 0.0000 -
2905.65/2916.73 c 2917 9811795 265488 1 5.0000 0.0000 -
2910.72/2921.89 c 2922 9828231 265178 1 5.0000 0.0000 -
2916.01/2927.11 c 2927 9841836 264913 1 5.0000 0.0000 -
2921.19/2932.32 c 2932 9858704 265039 1 5.0000 0.0000 -
2926.28/2937.40 c 2937 9874482 264366 1 5.0000 0.0000 -
2931.25/2942.45 c 2942 9886478 264187 1 5.0000 0.0000 -
2936.34/2947.50 c 2948 9902021 263825 1 5.0000 0.0000 -
2941.32/2952.55 c 2953 9922179 263270 1 5.0000 0.0000 -
2946.40/2957.64 c 2958 9937151 262894 1 5.0000 0.0000 -
2951.58/2962.80 c 2963 9956730 262947 1 5.0000 0.0000 -
2956.66/2967.95 c 2968 9972608 262602 1 5.0000 0.0000 -
2961.75/2973.06 c 2973 9989169 262021 1 5.0000 0.0000 -
2966.84/2978.12 c 2978 10004633 261384 1 5.0000 0.0000 -
2972.01/2983.35 c 2983 10019795 261536 1 5.0000 0.0000 -
2977.20/2988.54 c 2989 10040054 261218 1 5.0000 0.0000 -
2982.18/2993.59 c 2994 10055394 260716 1 5.0000 0.0000 -
2987.27/2998.69 c 2999 10071346 260529 1 5.0000 0.0000 -
2992.35/3003.74 c 3004 10087825 260214 1 5.0000 0.0000 -
2997.52/3008.90 c 3009 10105341 259398 1 5.0000 0.0000 -
3002.62/3014.01 c 3014 10121018 258969 1 5.0000 0.0000 -
3007.59/3019.06 c 3019 10138714 258449 1 5.0000 0.0000 -
3012.68/3024.16 c 3024 10149884 258907 1 5.0000 0.0000 -
3017.75/3029.28 c 3029 10161020 259569 1 5.0000 0.0000 -
3022.84/3034.34 c 3034 10175893 258692 1 5.0000 0.0000 -
3028.02/3039.53 c 3040 10193764 257937 1 5.0000 0.0000 -
3033.20/3044.74 c 3045 10211819 257094 1 5.0000 0.0000 -
3038.38/3049.91 c 3050 10227452 256399 1 5.0000 0.0000 -
3043.37/3054.99 c 3055 10245584 256064 1 5.0000 0.0000 -
3048.56/3060.12 c 3060 10258947 256079 1 5.0000 0.0000 -
3053.74/3065.34 c 3065 10268882 257006 1 5.0000 0.0000 -
3058.82/3070.40 c 3070 10280992 257365 1 5.0000 0.0000 -
3064.00/3075.65 c 3076 10296532 256983 1 5.0000 0.0000 -
3069.08/3080.77 c 3081 10311653 256666 1 5.0000 0.0000 -
3074.16/3085.87 c 3086 10328434 256082 1 5.0000 0.0000 -
3079.24/3090.96 c 3091 10342941 255214 1 5.0000 0.0000 -
3084.33/3096.06 c 3096 10358001 254779 1 5.0000 0.0000 -
3089.51/3101.28 c 3101 10375143 254738 1 5.0000 0.0000 -
3094.69/3106.43 c 3106 10389873 254229 1 5.0000 0.0000 -
3099.77/3111.56 c 3112 10406638 253805 1 5.0000 0.0000 -
3104.86/3116.63 c 3117 10425498 252891 1 5.0000 0.0000 -
3109.94/3121.74 c 3122 10441801 251897 1 5.0000 0.0000 -
3114.93/3126.78 c 3127 10460640 252606 1 5.0000 0.0000 -
3120.10/3131.97 c 3132 10477232 252282 1 5.0000 0.0000 -
3125.19/3137.09 c 3137 10499327 252511 1 5.0000 0.0000 -
3130.28/3142.15 c 3142 10519499 253348 1 5.0000 0.0000 -
3135.35/3147.25 c 3147 10524335 1591 1 5.0000 0.0000 -
3140.44/3152.38 c 3152 10529787 4149 1 5.0000 0.0000 -
3145.52/3157.49 c 3158 10539229 6617 1 5.0000 0.0000 -
3150.70/3162.68 c 3163 10547609 8434 1 5.0000 0.0000 -
3155.89/3167.82 c 3168 10555239 10551 1 5.0000 0.0000 -
3161.07/3173.03 c 3173 10563647 12190 1 5.0000 0.0000 -
3166.36/3178.30 c 3178 10572269 13982 1 5.0000 0.0000 -
3171.34/3183.37 c 3183 10581222 15252 1 5.0000 0.0000 -
3176.52/3188.50 c 3188 10587335 16522 1 5.0000 0.0000 -
3181.51/3193.59 c 3194 10594312 17386 1 5.0000 0.0000 -
3186.68/3198.74 c 3199 10601542 18570 1 5.0000 0.0000 -
3191.77/3203.85 c 3204 10610519 19705 1 5.0000 0.0000 -
3196.86/3208.93 c 3209 10618652 20918 1 5.0000 0.0000 -
3201.94/3214.02 c 3214 10627692 22372 1 5.0000 0.0000 -
3207.02/3219.12 c 3219 10636418 23389 1 5.0000 0.0000 -
3212.10/3224.21 c 3224 10645416 24149 1 5.0000 0.0000 -
3217.18/3229.37 c 3229 10653842 25268 1 5.0000 0.0000 -
3222.27/3234.43 c 3234 10661705 26035 1 5.0000 0.0000 -
3227.44/3239.65 c 3240 10671980 27117 1 5.0000 0.0000 -
3232.53/3244.74 c 3245 10681032 28313 1 5.0000 0.0000 -
3237.61/3249.85 c 3250 10690825 29505 1 5.0000 0.0000 -
3242.70/3254.93 c 3255 10701038 30615 1 5.0000 0.0000 -
3247.69/3259.99 c 3260 10710987 31892 1 5.0000 0.0000 -
3252.87/3265.13 c 3265 10721529 33333 1 5.0000 0.0000 -
3257.95/3270.26 c 3270 10730727 34433 1 5.0000 0.0000 -
3263.03/3275.38 c 3275 10739194 35291 1 5.0000 0.0000 -
3268.12/3280.49 c 3280 10747164 36276 1 5.0000 0.0000 -
3273.30/3285.60 c 3286 10755766 37166 1 5.0000 0.0000 -
3278.38/3290.76 c 3291 10764442 38286 1 5.0000 0.0000 -
3283.46/3295.83 c 3296 10774258 39571 1 5.0000 0.0000 -
3288.55/3300.94 c 3301 10782893 40668 1 5.0000 0.0000 -
3293.64/3306.02 c 3306 10790918 41379 1 5.0000 0.0000 -
3298.72/3311.15 c 3311 10798553 42003 1 5.0000 0.0000 -
3303.79/3316.23 c 3316 10807146 42546 1 5.0000 0.0000 -
3308.98/3321.45 c 3321 10816058 43665 1 5.0000 0.0000 -
3314.06/3326.53 c 3327 10825925 44876 1 5.0000 0.0000 -
3319.15/3331.64 c 3332 10837370 46069 1 5.0000 0.0000 -
3324.23/3336.71 c 3337 10847536 47254 1 5.0000 0.0000 -
3329.21/3341.79 c 3342 10855564 48287 1 5.0000 0.0000 -
3334.29/3346.88 c 3347 10862065 49660 1 5.0000 0.0000 -
3339.58/3352.11 c 3352 10869192 50845 1 5.0000 0.0000 -
3344.65/3357.27 c 3357 10875438 51863 1 5.0000 0.0000 -
3349.93/3362.55 c 3363 10882324 52853 1 5.0000 0.0000 -
3355.12/3367.72 c 3368 10890395 53915 1 5.0000 0.0000 -
3360.20/3372.84 c 3373 10898284 54531 1 5.0000 0.0000 -
3365.28/3377.97 c 3378 10905939 55339 1 5.0000 0.0000 -
3370.47/3383.16 c 3383 10913127 56212 1 5.0000 0.0000 -
3375.54/3388.27 c 3388 10920422 56849 1 5.0000 0.0000 -
3380.63/3393.32 c 3393 10928119 57745 1 5.0000 0.0000 -
3385.72/3398.45 c 3398 10934297 58735 1 5.0000 0.0000 -
3390.90/3403.63 c 3404 10941796 59218 1 5.0000 0.0000 -
3395.88/3408.67 c 3409 10948760 59714 1 5.0000 0.0000 -
3400.97/3413.72 c 3414 10956820 60226 1 5.0000 0.0000 -
3406.25/3419.01 c 3419 10963558 60820 1 5.0000 0.0000 -
3411.24/3424.05 c 3424 10971573 61338 1 5.0000 0.0000 -
3416.42/3429.21 c 3429 10980077 62225 1 5.0000 0.0000 -
3421.50/3434.32 c 3434 10987633 62778 1 5.0000 0.0000 -
3426.58/3439.40 c 3439 10995468 63421 1 5.0000 0.0000 -
3431.57/3444.49 c 3444 11002007 64133 1 5.0000 0.0000 -
3436.75/3449.60 c 3450 11009458 64807 1 5.0000 0.0000 -
3441.73/3454.69 c 3455 11014682 65700 1 5.0000 0.0000 -
3446.92/3459.81 c 3460 11020012 66692 1 5.0000 0.0000 -
3452.21/3465.12 c 3465 11026968 67624 1 5.0000 0.0000 -
3457.18/3470.19 c 3470 11033254 68128 1 5.0000 0.0000 -
3462.37/3475.36 c 3475 11038963 68711 1 5.0000 0.0000 -
3467.45/3480.47 c 3480 11044858 69225 1 5.0000 0.0000 -
3472.53/3485.53 c 3486 11051524 69498 1 5.0000 0.0000 -
3477.81/3490.82 c 3491 11059694 69996 1 5.0000 0.0000 -
3482.79/3495.87 c 3496 11068277 70689 1 5.0000 0.0000 -
3487.88/3500.93 c 3501 11074937 71262 1 5.0000 0.0000 -
3492.97/3506.09 c 3506 11083422 72534 1 5.0000 0.0000 -
3498.14/3511.21 c 3511 11091452 73440 1 5.0000 0.0000 -
3503.13/3516.26 c 3516 11100328 74299 1 5.0000 0.0000 -
3508.41/3521.55 c 3522 11108787 75404 1 5.0000 0.0000 -
3513.59/3526.79 c 3527 11118731 76457 1 5.0000 0.0000 -
3518.78/3531.94 c 3532 11126678 77371 1 5.0000 0.0000 -
3523.85/3537.05 c 3537 11134663 77927 1 5.0000 0.0000 -
3528.84/3542.10 c 3542 11140544 78512 1 5.0000 0.0000 -
3534.02/3547.29 c 3547 11147454 79842 1 5.0000 0.0000 -
3539.31/3552.52 c 3553 11156347 80815 1 5.0000 0.0000 -
3544.39/3557.66 c 3558 11165653 81868 1 5.0000 0.0000 -
3549.57/3562.87 c 3563 11175119 82765 1 5.0000 0.0000 -
3554.66/3567.92 c 3568 11186046 83212 1 5.0000 0.0000 -
3559.84/3573.11 c 3573 11194318 83812 1 5.0000 0.0000 -
3564.82/3578.19 c 3578 11202265 84600 1 5.0000 0.0000 -
3570.00/3583.37 c 3583 11210945 85493 1 5.0000 0.0000 -
3575.18/3588.52 c 3589 11218652 86282 1 5.0000 0.0000 -
3580.16/3593.58 c 3594 11226729 86802 1 5.0000 0.0000 -
3585.33/3598.76 c 3599 11233770 87786 1 5.0000 0.0000 -
3586.74/3600.14 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.74/3600.14 c Total Time : 3600.1400
3586.74/3600.14 c solving : 3600.1400
3586.74/3600.14 c presolving : 0.0036 (included in solving)
3586.74/3600.14 c B&B Tree :
3586.74/3600.14 c nodes (total) : 1
3586.74/3600.14 c Solution :
3586.74/3600.14 c Solutions found : 33
3586.74/3600.14 c Primal Bound : +5.00000000000000e+00
3586.74/3600.14 c Dual Bound : +0.00000000000000e+00
3586.74/3600.14 c Gap : infinite
3586.74/3600.14 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3586.74/3600.14 o 5
3586.74/3600.14 s SATISFIABLE
3586.74/3600.14 v -x146 x145 -x144 x143 -x142 x141 -x140 x139 -x138 -x137 x136 x135 x134 -x133 -x132 x131 x130 x129 -x128 -x127 x126 -x125 x124 -x123
3586.74/3600.14 v -x122 -x121 -x120 x119 -x118 x117 x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 x107 x106 x105 x104 x103 -x102 -x101
3586.74/3600.14 v -x100 x99 x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 -x76
3586.74/3600.14 v -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50
3586.74/3600.14 v -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25
3586.74/3600.14 v -x24 -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (62268 MiB free)
memory of node 1: 64510 MiB (58842 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434696-1721098060/watcher-4434696-1721098060 -o /tmp/evaluation-result-4434696-1721098060/solver-4434696-1721098060 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721098035-860309 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434696-1721098060.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB
solver pid=860433, runsolver pid=860430
[startup+0.100086 s]*
/proc/loadavg: 4.07 4.10 4.09 5/266 860436
/proc/meminfo: memFree=124000904/131524600 swapFree=131071996/131071996
[pid=860433] ppid=860430 vsize=107992 memory=28416 CPUtime=0.09 cores=1,3
/proc/860433/stat : 860433 (fscip) S 860430 860433 860297 0 -1 1077936128 4495 0 0 0 9 0 0 0 20 0 3 0 161971347 110583808 7104 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
/proc/860433/statm: 26998 7104 2926 3032 0 10946 0
[pid=860433/tid=860435] ppid=860430 vsize=107992 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/860433/task/860435/stat : 860435 (fscip) R 860430 860433 860297 0 -1 4194368 3065 0 0 0 9 0 0 0 20 0 3 0 161971348 110583808 7104 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
[pid=860433/tid=860436] ppid=860430 vsize=107992 memory=237146210664 CPUtime=0 cores=1,3
/proc/860433/task/860436/stat : 860436 (fscip) S 860430 860433 860297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161971348 110583808 7104 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 107992 KiB
Current children cumulated memory: 28416 KiB
[startup+0.20588 s]*
/proc/loadavg: 4.07 4.10 4.09 5/266 860436
/proc/meminfo: memFree=123996368/131524600 swapFree=131071996/131071996
[pid=860433] ppid=860430 vsize=107992 memory=30792 CPUtime=0.2 cores=1,3
/proc/860433/stat : 860433 (fscip) R 860430 860433 860297 0 -1 1077936128 5124 0 0 0 20 0 0 0 20 0 3 0 161971347 110583808 7698 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
/proc/860433/statm: 26998 7698 2926 3032 0 11485 0
[pid=860433/tid=860435] ppid=860430 vsize=107992 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/860433/task/860435/stat : 860435 (fscip) R 860430 860433 860297 0 -1 4194368 3693 0 0 0 19 0 0 0 20 0 3 0 161971348 110583808 7698 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
[pid=860433/tid=860436] ppid=860430 vsize=107992 memory=1670 CPUtime=0 cores=1,3
/proc/860433/task/860436/stat : 860436 (fscip) S 860430 860433 860297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161971348 110583808 7698 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 107992 KiB
Current children cumulated memory: 30792 KiB
[startup+0.305605 s]*
/proc/loadavg: 4.07 4.10 4.09 5/266 860436
/proc/meminfo: memFree=123995096/131524600 swapFree=131071996/131071996
[pid=860433] ppid=860430 vsize=107992 memory=31320 CPUtime=0.3 cores=1,3
/proc/860433/stat : 860433 (fscip) S 860430 860433 860297 0 -1 1077936128 5226 0 0 0 30 0 0 0 20 0 3 0 161971347 110583808 7830 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
/proc/860433/statm: 26998 7830 2926 3032 0 11485 0
[pid=860433/tid=860435] ppid=860430 vsize=107992 memory=-6514013106407127916 CPUtime=0.29 cores=1,3
/proc/860433/task/860435/stat : 860435 (fscip) R 860430 860433 860297 0 -1 4194368 3795 0 0 0 29 0 0 0 20 0 3 0 161971348 110583808 7830 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
[pid=860433/tid=860436] ppid=860430 vsize=107992 memory=0 CPUtime=0 cores=1,3
/proc/860433/task/860436/stat : 860436 (fscip) S 860430 860433 860297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161971348 110583808 7830 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 107992 KiB
Current children cumulated memory: 31320 KiB
[startup+0.700246 s]
/proc/loadavg: 4.07 4.09 4.09 5/266 860436
/proc/meminfo: memFree=123994300/131524600 swapFree=131071996/131071996
[pid=860433] ppid=860430 vsize=107992 memory=33128 CPUtime=0.68 cores=1,3
/proc/860433/stat : 860433 (fscip) S 860430 860433 860297 0 -1 1077936128 5795 0 0 0 68 0 0 0 20 0 3 0 161971347 110583808 8282 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
/proc/860433/statm: 26998 8282 2926 3032 0 11958 0
[pid=860433/tid=860435] ppid=860430 vsize=107992 memory=0 CPUtime=0.68 cores=1,3
/proc/860433/task/860435/stat : 860435 (fscip) R 860430 860433 860297 0 -1 4194368 4364 0 0 0 68 0 0 0 20 0 3 0 161971348 110583808 8282 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
[pid=860433/tid=860436] ppid=860430 vsize=107992 memory=0 CPUtime=0 cores=1,3
/proc/860433/task/860436/stat : 860436 (fscip) S 860430 860433 860297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161971348 110583808 8282 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 107992 KiB
Current children cumulated memory: 33128 KiB
[startup+1.50026 s]
/proc/loadavg: 4.07 4.09 4.09 5/266 860436
/proc/meminfo: memFree=123989232/131524600 swapFree=131071996/131071996
[pid=860433] ppid=860430 vsize=107992 memory=38824 CPUtime=1.48 cores=1,3
/proc/860433/stat : 860433 (fscip) S 860430 860433 860297 0 -1 1077936128 10457 0 0 0 148 0 0 0 20 0 3 0 161971347 110583808 9706 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
/proc/860433/statm: 26998 9706 2974 3032 0 13244 0
[pid=860433/tid=860435] ppid=860430 vsize=107992 memory=0 CPUtime=1.47 cores=1,3
/proc/860433/task/860435/stat : 860435 (fscip) R 860430 860433 860297 0 -1 4194368 8954 0 0 0 147 0 0 0 20 0 3 0 161971348 110583808 9706 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
[pid=860433/tid=860436] ppid=860430 vsize=107992 memory=0 CPUtime=0 cores=1,3
/proc/860433/task/860436/stat : 860436 (fscip) S 860430 860433 860297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161971348 110583808 9706 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 107992 KiB
Current children cumulated memory: 38824 KiB
[startup+3.1057 s]
/proc/loadavg: 4.07 4.09 4.09 5/266 860436
/proc/meminfo: memFree=123976520/131524600 swapFree=131071996/131071996
[pid=860433] ppid=860430 vsize=107992 memory=44100 CPUtime=3.09 cores=1,3
/proc/860433/stat : 860433 (fscip) S 860430 860433 860297 0 -1 1077936128 11869 0 0 0 308 1 0 0 20 0 3 0 161971347 110583808 11025 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
/proc/860433/statm: 26998 11025 2974 3032 0 14653 0
[pid=860433/tid=860435] ppid=860430 vsize=107992 memory=0 CPUtime=3.07 cores=1,3
/proc/860433/task/860435/stat : 860435 (fscip) R 860430 860433 860297 0 -1 4194368 10357 0 0 0 307 0 0 0 20 0 3 0 161971348 110583808 11025 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
[pid=860433/tid=860436] ppid=860430 vsize=107992 memory=3906882823141289973 CPUtime=0 cores=1,3
/proc/860433/task/860436/stat : 860436 (fscip) S 860430 860433 860297 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 161971348 110583808 11025 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 107992 KiB
Current children cumulated memory: 44100 KiB
[startup+6.30025 s]
/proc/loadavg: 4.06 4.09 4.08 5/266 860438
/proc/meminfo: memFree=123958340/131524600 swapFree=131071996/131071996
[pid=860433] ppid=860430 vsize=107992 memory=52496 CPUtime=6.27 cores=1,3
/proc/860433/stat : 860433 (fscip) S 860430 860433 860297 0 -1 1077936128 19145 0 0 0 624 3 0 0 20 0 3 0 161971347 110583808 13124 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
/proc/860433/statm: 26998 13124 3294 3032 0 16248 0
[pid=860433/tid=860435] ppid=860430 vsize=107992 memory=0 CPUtime=6.25 cores=1,3
/proc/860433/task/860435/stat : 860435 (fscip) R 860430 860433 860297 0 -1 4194368 17546 0 0 0 623 2 0 0 20 0 3 0 161971348 110583808 13124 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
[pid=860433/tid=860436] ppid=860430 vsize=107992 memory=11860 CPUtime=0 cores=1,3
/proc/860433/task/860436/stat : 860436 (fscip) S 860430 860433 860297 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 161971348 110583808 13124 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 107992 KiB
Current children cumulated memory: 52496 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.09 4.08 5/266 860438
/proc/meminfo: memFree=123924760/131524600 swapFree=131071996/131071996
[pid=860433] ppid=860430 vsize=109536 memory=68968 CPUtime=12.64 cores=1,3
/proc/860433/stat : 860433 (fscip) S 860430 860433 860297 0 -1 1077936128 38005 0 0 0 1258 6 0 0 20 0 3 0 161971347 112164864 17242 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
/proc/860433/statm: 27384 17242 3294 3032 0 20771 0
[pid=860433/tid=860435] ppid=860430 vsize=109536 memory=11860 CPUtime=12.63 cores=1,3
/proc/860433/task/860435/stat : 860435 (fscip) R 860430 860433 860297 0 -1 4194368 36246 0 0 0 1257 6 0 0 20 0 3 0 161971348 112164864 17242 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
[pid=860433/tid=860436] ppid=860430 vsize=109536 memory=41288 CPUtime=0 cores=1,3
/proc/860433/task/860436/stat : 860436 (fscip) S 860430 860433 860297 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 161971348 112164864 17242 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 109536 KiB
Current children cumulated memory: 68968 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.10 4.09 5/266 860441
/proc/meminfo: memFree=123856232/131524600 swapFree=131071996/131071996
[pid=860433] ppid=860430 vsize=114272 memory=79256 CPUtime=25.41 cores=1,3
/proc/860433/stat : 860433 (fscip) S 860430 860433 860297 0 -1 1077936128 63598 0 0 0 2526 15 0 0 20 0 3 0 161971347 117014528 19814 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
/proc/860433/statm: 28568 19814 3294 3032 0 23286 0
[pid=860433/tid=860435] ppid=860430 vsize=114272 memory=78272 CPUtime=25.39 cores=1,3
/proc/860433/task/860435/stat : 860435 (fscip) R 860430 860433 860297 0 -1 4194368 61723 0 0 0 2525 14 0 0 20 0 3 0 161971348 117014528 19814 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
[pid=860433/tid=860436] ppid=860430 vsize=114272 memory=11860 CPUtime=0 cores=1,3
/proc/860433/task/860436/stat : 860436 (fscip) S 860430 860433 860297 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 161971348 117014528 19814 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 114272 KiB
Current children cumulated memory: 79256 KiB
[startup+51.1061 s]
/proc/loadavg: 4.07 4.09 4.09 5/266 860444
/proc/meminfo: memFree=123732112/131524600 swapFree=131071996/131071996
[pid=860433] ppid=860430 vsize=189056 memory=96912 CPUtime=50.92 cores=1,3
/proc/860433/stat : 860433 (fscip) S 860430 860433 860297 0 -1 1077936128 91276 0 0 0 5065 27 0 0 20 0 3 0 161971347 193593344 24228 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
/proc/860433/statm: 47264 24228 3294 3032 0 27820 0
[pid=860433/tid=860435] ppid=860430 vsize=189056 memory=11860 CPUtime=50.9 cores=1,3
/proc/860433/task/860435/stat : 860435 (fscip) R 860430 860433 860297 0 -1 4194368 89349 0 0 0 5063 27 0 0 20 0 3 0 161971348 193593344 24228 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
[pid=860433/tid=860436] ppid=860430 vsize=189056 memory=94448 CPUtime=0 cores=1,3
/proc/860433/task/860436/stat : 860436 (fscip) S 860430 860433 860297 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 161971348 193593344 24228 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 189056 KiB
Current children cumulated memory: 96912 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/266 860454
/proc/meminfo: memFree=123492388/131524600 swapFree=131071996/131071996
[pid=860433] ppid=860430 vsize=207752 memory=138280 CPUtime=101.93 cores=1,3
/proc/860433/stat : 860433 (fscip) S 860430 860433 860297 0 -1 1077936128 157517 0 0 0 10139 54 0 0 20 0 3 0 161971347 212738048 34570 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
/proc/860433/statm: 51938 34570 3294 3032 0 38882 0
[pid=860433/tid=860435] ppid=860430 vsize=207752 memory=129784 CPUtime=101.92 cores=1,3
/proc/860433/task/860435/stat : 860435 (fscip) R 860430 860433 860297 0 -1 4194368 155283 0 0 0 10138 54 0 0 20 0 3 0 161971348 212738048 34570 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
[pid=860433/tid=860436] ppid=860430 vsize=207752 memory=11860 CPUtime=0 cores=1,3
/proc/860433/task/860436/stat : 860436 (fscip) S 860430 860433 860297 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 161971348 212738048 34570 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 207752 KiB
Current children cumulated memory: 138280 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/268 860469
/proc/meminfo: memFree=123281940/131524600 swapFree=131071996/131071996
[pid=860433] ppid=860430 vsize=223836 memory=167452 CPUtime=161.72 cores=1,3
/proc/860433/stat : 860433 (fscip) S 860430 860433 860297 0 -1 1077936128 212398 0 0 0 16088 84 0 0 20 0 3 0 161971347 229208064 41863 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
/proc/860433/statm: 55959 41863 3294 3032 0 46835 0
[pid=860433/tid=860435] ppid=860430 vsize=223836 memory=151348 CPUtime=161.7 cores=1,3
/proc/860433/task/860435/stat : 860435 (fscip) R 860430 860433 860297 0 -1 4194368 210064 0 0 0 16086 84 0 0 20 0 3 0 161971348 229208064 41863 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
[pid=860433/tid=860436] ppid=860430 vsize=223836 memory=19472 CPUtime=0 cores=1,3
/proc/860433/task/860436/stat : 860436 (fscip) S 860430 860433 860297 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 161971348 229208064 41863 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 223836 KiB
################
# More data... #
################
/proc/860433/statm: 254924 229605 3294 3032 0 243889 0
[pid=860433/tid=860435] ppid=860430 vsize=1019696 memory=13040 CPUtime=3449.16 cores=1,3
/proc/860433/task/860435/stat : 860435 (fscip) R 860430 860433 860297 0 -1 4194368 3357324 0 0 0 343325 1591 0 0 20 0 3 0 161971348 1044168704 229605 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
[pid=860433/tid=860436] ppid=860430 vsize=1019696 memory=11860 CPUtime=0.03 cores=1,3
/proc/860433/task/860436/stat : 860436 (fscip) S 860430 860433 860297 0 -1 1077936192 139 0 0 0 1 2 0 0 20 0 3 0 161971348 1044168704 229605 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
Current children cumulated CPU time: 3449.4 s
Current children cumulated vsize: 1019696 KiB
Current children cumulated memory: 918420 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/264 862286
/proc/meminfo: memFree=116937488/131524600 swapFree=131071996/131071996
[pid=860433] ppid=860430 vsize=1019696 memory=932756 CPUtime=3509.21 cores=1,3
/proc/860433/stat : 860433 (fscip) S 860430 860433 860297 0 -1 1077936128 3365995 0 0 0 349313 1608 0 0 20 0 3 0 161971347 1044168704 233189 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
/proc/860433/statm: 254924 233189 3294 3032 0 243889 0
[pid=860433/tid=860435] ppid=860430 vsize=1019696 memory=11860 CPUtime=3508.95 cores=1,3
/proc/860433/task/860435/stat : 860435 (fscip) R 860430 860433 860297 0 -1 4194368 3362544 0 0 0 349293 1602 0 0 20 0 3 0 161971348 1044168704 233189 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
[pid=860433/tid=860436] ppid=860430 vsize=1019696 memory=6720659943902429291 CPUtime=0.03 cores=1,3
/proc/860433/task/860436/stat : 860436 (fscip) S 860430 860433 860297 0 -1 1077936192 141 0 0 0 1 2 0 0 20 0 3 0 161971348 1044168704 233189 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
Current children cumulated CPU time: 3509.21 s
Current children cumulated vsize: 1019696 KiB
Current children cumulated memory: 932756 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/265 862682
/proc/meminfo: memFree=122707492/131524600 swapFree=131071996/131071996
[pid=860433] ppid=860430 vsize=1019696 memory=942996 CPUtime=3569 cores=1,3
/proc/860433/stat : 860433 (fscip) S 860430 860433 860297 0 -1 1077936128 3371601 0 0 0 355280 1620 0 0 20 0 3 0 161971347 1044168704 235749 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
/proc/860433/statm: 254924 235749 3294 3032 0 243889 0
[pid=860433/tid=860435] ppid=860430 vsize=1019696 memory=942996 CPUtime=3568.74 cores=1,3
/proc/860433/task/860435/stat : 860435 (fscip) R 860430 860433 860297 0 -1 4194368 3368133 0 0 0 355260 1614 0 0 20 0 3 0 161971348 1044168704 235749 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
[pid=860433/tid=860436] ppid=860430 vsize=1019696 memory=41404 CPUtime=0.03 cores=1,3
/proc/860433/task/860436/stat : 860436 (fscip) S 860430 860433 860297 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 161971348 1044168704 235749 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
Current children cumulated CPU time: 3569 s
Current children cumulated vsize: 1019696 KiB
Current children cumulated memory: 942996 KiB
[startup+3600.15 s]
# the end of solver process 860433 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3570.54 s, system=16.2493 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.12 4.09 5/263 862824
/proc/meminfo: memFree=122867348/131524600 swapFree=131071996/131071996
[pid=860433] ppid=860430 vsize=1019696 memory=945044 CPUtime=3570.7 cores=1,3
/proc/860433/stat : 860433 (fscip) S 860430 860433 860297 0 -1 1077936128 3371612 0 0 0 355449 1621 0 0 20 0 3 0 161971347 1044168704 236261 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
/proc/860433/statm: 254924 236261 3294 3032 0 243889 0
[pid=860433/tid=860435] ppid=860430 vsize=1019696 memory=2982636815140468340 CPUtime=3570.44 cores=1,3
/proc/860433/task/860435/stat : 860435 (fscip) R 860430 860433 860297 0 -1 4194368 3368144 0 0 0 355429 1615 0 0 20 0 3 0 161971348 1044168704 236261 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
[pid=860433/tid=860436] ppid=860430 vsize=1019696 memory=-9177036874854015676 CPUtime=0.03 cores=1,3
/proc/860433/task/860436/stat : 860436 (fscip) S 860430 860433 860297 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 161971348 1044168704 236261 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
Current children cumulated CPU time: 3570.7 s
Current children cumulated vsize: 1019696 KiB
Current children cumulated memory: 945044 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 862828
/proc/meminfo: memFree=122535692/131524600 swapFree=131071996/131071996
[pid=860433] ppid=860430 vsize=1019696 memory=945044 CPUtime=3577.07 cores=1,3
/proc/860433/stat : 860433 (fscip) S 860430 860433 860297 0 -1 1077936128 3371992 0 0 0 356085 1622 0 0 20 0 3 0 161971347 1044168704 236261 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
/proc/860433/statm: 254924 236261 3294 3032 0 243889 0
[pid=860433/tid=860435] ppid=860430 vsize=1019696 memory=41404 CPUtime=3576.81 cores=1,3
/proc/860433/task/860435/stat : 860435 (fscip) R 860430 860433 860297 0 -1 4194368 3368524 0 0 0 356065 1616 0 0 20 0 3 0 161971348 1044168704 236261 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
[pid=860433/tid=860436] ppid=860430 vsize=1019696 memory=942996 CPUtime=0.03 cores=1,3
/proc/860433/task/860436/stat : 860436 (fscip) S 860430 860433 860297 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 161971348 1044168704 236261 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
Current children cumulated CPU time: 3577.07 s
Current children cumulated vsize: 1019696 KiB
Current children cumulated memory: 945044 KiB
[startup+3596.8 s]
/proc/loadavg: 4.16 4.13 4.09 5/265 862830
/proc/meminfo: memFree=122525428/131524600 swapFree=131071996/131071996
[pid=860433] ppid=860430 vsize=1019696 memory=945080 CPUtime=3583.44 cores=1,3
/proc/860433/stat : 860433 (fscip) S 860430 860433 860297 0 -1 1077936128 3372038 0 0 0 356721 1623 0 0 20 0 3 0 161971347 1044168704 236270 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
/proc/860433/statm: 254924 236270 3294 3032 0 243889 0
[pid=860433/tid=860435] ppid=860430 vsize=1019696 memory=140610048665809 CPUtime=3583.18 cores=1,3
/proc/860433/task/860435/stat : 860435 (fscip) R 860430 860433 860297 0 -1 4194368 3368570 0 0 0 356701 1617 0 0 20 0 3 0 161971348 1044168704 236270 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
[pid=860433/tid=860436] ppid=860430 vsize=1019696 memory=940948 CPUtime=0.03 cores=1,3
/proc/860433/task/860436/stat : 860436 (fscip) S 860430 860433 860297 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 161971348 1044168704 236270 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
Current children cumulated CPU time: 3583.44 s
Current children cumulated vsize: 1019696 KiB
Current children cumulated memory: 945080 KiB
[startup+3598.4 s]
/proc/loadavg: 4.14 4.13 4.09 5/265 862830
/proc/meminfo: memFree=122521452/131524600 swapFree=131071996/131071996
[pid=860433] ppid=860430 vsize=1019696 memory=945080 CPUtime=3585.04 cores=1,3
/proc/860433/stat : 860433 (fscip) S 860430 860433 860297 0 -1 1077936128 3372048 0 0 0 356881 1623 0 0 20 0 3 0 161971347 1044168704 236270 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
/proc/860433/statm: 254924 236270 3294 3032 0 243889 0
[pid=860433/tid=860435] ppid=860430 vsize=1019696 memory=11860 CPUtime=3584.78 cores=1,3
/proc/860433/task/860435/stat : 860435 (fscip) R 860430 860433 860297 0 -1 4194368 3368580 0 0 0 356861 1617 0 0 20 0 3 0 161971348 1044168704 236270 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
[pid=860433/tid=860436] ppid=860430 vsize=1019696 memory=41404 CPUtime=0.03 cores=1,3
/proc/860433/task/860436/stat : 860436 (fscip) S 860430 860433 860297 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 161971348 1044168704 236270 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
Current children cumulated CPU time: 3585.04 s
Current children cumulated vsize: 1019696 KiB
Current children cumulated memory: 945080 KiB
[startup+3599.2 s]
/proc/loadavg: 4.14 4.13 4.09 5/265 862830
/proc/meminfo: memFree=122520080/131524600 swapFree=131071996/131071996
[pid=860433] ppid=860430 vsize=1019696 memory=945080 CPUtime=3585.84 cores=1,3
/proc/860433/stat : 860433 (fscip) S 860430 860433 860297 0 -1 1077936128 3372063 0 0 0 356960 1624 0 0 20 0 3 0 161971347 1044168704 236270 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
/proc/860433/statm: 254924 236270 3294 3032 0 243889 0
[pid=860433/tid=860435] ppid=860430 vsize=1019696 memory=41404 CPUtime=3585.58 cores=1,3
/proc/860433/task/860435/stat : 860435 (fscip) R 860430 860433 860297 0 -1 4194368 3368595 0 0 0 356940 1618 0 0 20 0 3 0 161971348 1044168704 236270 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
[pid=860433/tid=860436] ppid=860430 vsize=1019696 memory=13040 CPUtime=0.03 cores=1,3
/proc/860433/task/860436/stat : 860436 (fscip) S 860430 860433 860297 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 161971348 1044168704 236270 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
Current children cumulated CPU time: 3585.84 s
Current children cumulated vsize: 1019696 KiB
Current children cumulated memory: 945080 KiB
[startup+3599.6 s]
/proc/loadavg: 4.14 4.13 4.09 5/265 862830
/proc/meminfo: memFree=122520080/131524600 swapFree=131071996/131071996
[pid=860433] ppid=860430 vsize=1019696 memory=945080 CPUtime=3586.24 cores=1,3
/proc/860433/stat : 860433 (fscip) S 860430 860433 860297 0 -1 1077936128 3372065 0 0 0 357000 1624 0 0 20 0 3 0 161971347 1044168704 236270 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
/proc/860433/statm: 254924 236270 3294 3032 0 243889 0
[pid=860433/tid=860435] ppid=860430 vsize=1019696 memory=6720659943902429291 CPUtime=3585.98 cores=1,3
/proc/860433/task/860435/stat : 860435 (fscip) R 860430 860433 860297 0 -1 4194368 3368597 0 0 0 356980 1618 0 0 20 0 3 0 161971348 1044168704 236270 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
[pid=860433/tid=860436] ppid=860430 vsize=1019696 memory=16096 CPUtime=0.03 cores=1,3
/proc/860433/task/860436/stat : 860436 (fscip) S 860430 860433 860297 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 161971348 1044168704 236270 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
Current children cumulated CPU time: 3586.24 s
Current children cumulated vsize: 1019696 KiB
Current children cumulated memory: 945080 KiB
[startup+3600 s]*
/proc/loadavg: 4.14 4.13 4.09 5/265 862830
/proc/meminfo: memFree=122517532/131524600 swapFree=131071996/131071996
[pid=860433] ppid=860430 vsize=1019696 memory=945244 CPUtime=3586.64 cores=1,3
/proc/860433/stat : 860433 (fscip) R 860430 860433 860297 0 -1 1077936128 3372099 0 0 0 357040 1624 0 0 20 0 3 0 161971347 1044168704 236311 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
/proc/860433/statm: 254924 236311 3294 3032 0 243889 0
[pid=860433/tid=860435] ppid=860430 vsize=1019696 memory=6720659939674701931 CPUtime=3586.38 cores=1,3
/proc/860433/task/860435/stat : 860435 (fscip) R 860430 860433 860297 0 -1 4194368 3368631 0 0 0 357020 1618 0 0 20 0 3 0 161971348 1044168704 236311 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
[pid=860433/tid=860436] ppid=860430 vsize=1019696 memory=26952 CPUtime=0.03 cores=1,3
/proc/860433/task/860436/stat : 860436 (fscip) S 860430 860433 860297 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 161971348 1044168704 236311 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
Current children cumulated CPU time: 3586.64 s
Current children cumulated vsize: 1019696 KiB
Current children cumulated memory: 945244 KiB
[startup+3600.11 s]
/proc/loadavg: 4.14 4.13 4.09 5/265 862830
/proc/meminfo: memFree=122517532/131524600 swapFree=131071996/131071996
[pid=860433] ppid=860430 vsize=1019696 memory=945244 CPUtime=3586.74 cores=1,3
/proc/860433/stat : 860433 (fscip) S 860430 860433 860297 0 -1 1077936128 3372153 0 0 0 357050 1624 0 0 20 0 3 0 161971347 1044168704 236311 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
/proc/860433/statm: 254924 236311 3294 3032 0 243889 0
[pid=860433/tid=860435] ppid=860430 vsize=1019696 memory=945044 CPUtime=3586.48 cores=1,3
/proc/860433/task/860435/stat : 860435 (fscip) R 860430 860433 860297 0 -1 4194368 3368684 0 0 0 357030 1618 0 0 20 0 3 0 161971348 1044168704 236311 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
[pid=860433/tid=860436] ppid=860430 vsize=1019696 memory=945080 CPUtime=0.03 cores=1,3
/proc/860433/task/860436/stat : 860436 (fscip) S 860430 860433 860297 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 161971348 1044168704 236311 134679101440 4194304 16613245 140736505330720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 33599488 140736505332757 140736505332873 140736505332873 140736505339888 0
Current children cumulated CPU time: 3586.74 s
Current children cumulated vsize: 1019696 KiB
Current children cumulated memory: 945244 KiB
Child status: 0
Real time (s): 3600.15
CPU time (s): 3586.79
CPU user time (s): 3570.54
CPU system time (s): 16.2493
CPU usage (%): 99.629
Max. virtual memory (cumulated for all children) (KiB): 1019696
Max. memory (cumulated for all children) (KiB): 945244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.54
system time used= 16.2493
maximum resident set size= 945244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3373139
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= 10845
involuntary context switches= 3690
# summary of solver processes directly reported to runsolver:
# pid: 860433
# total CPU time (s): 3586.79
# total CPU user time (s): 3570.54
# total CPU system time (s): 16.2493
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.19244 second user time and 19.2082 second system time
The end
Begin job on nodeC025 at 2024-07-16 04:47:52
IDJOB=4434696
IDBENCH=147612
IDSOLVER=3064
FILE ID=nodeC025/4434696-1721098060
RUNJOBID= nodeC025-1721098035-860309
SLURM_JOB_ID= 7505612
Free space on /tmp= 889948 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_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-4434696-1721098060/watcher-4434696-1721098060 -o /tmp/evaluation-result-4434696-1721098060/solver-4434696-1721098060 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721098035-860309 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434696-1721098060.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8451009eff5aac10a49807ab684bf277
RANDOM SEED=1011760073
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 : 3681.776
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 : 3676.332
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 : 3600.117
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 : 3669.051
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 : 3681.780
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 : 3685.637
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 : 3600.164
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 : 3633.186
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: 124017360 kB
MemAvailable: 129308648 kB
Buffers: 403264 kB
Cached: 5662044 kB
SwapCached: 0 kB
Active: 752292 kB
Inactive: 6022052 kB
Active(anon): 1528 kB
Inactive(anon): 745204 kB
Active(file): 750764 kB
Inactive(file): 5276848 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28864 kB
Writeback: 0 kB
AnonPages: 707040 kB
Mapped: 143328 kB
Shmem: 37720 kB
KReclaimable: 206644 kB
Slab: 325236 kB
SReclaimable: 206644 kB
SUnreclaim: 118592 kB
KernelStack: 4208 kB
PageTables: 10748 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 821868 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:53