0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.04 c Default LC presolving (default).
0.00/0.04 c ** Before presolving: virtualMemUsedAtLc = 58818560, getVmSize() = 58818560, SCIPgetMemUsed() = 16119187, SCIPgetMemTotal() = 37048747, SCIPgetMemExternEstim() = 8210633
0.00/0.04 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.20/0.28 c ** Estimated virtualMemUsedAtSolver = 61128736, getVmSize() = 106508288, SCIPgetMemUsed() = 43866720, SCIPgetMemTotal() = 83482472, SCIPgetMemExternEstim() = 8210633
0.20/0.28 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.20/0.28 c Original Problem :
0.20/0.28 c Problem name : instance-4464008-1722378597
0.20/0.28 c Variables : 1812 (1812 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.28 c Constraints : 3443
0.20/0.28 c Objective sense : minimize
0.20/0.28 c Presolved Problem :
0.20/0.28 c Variables : 1812 (1812 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.28 c Constraints : 2508
0.20/0.28 c Constraints : Number
0.20/0.28 c knapsack : 143
0.20/0.28 c setppc : 715
0.20/0.28 c linear : 1650
0.20/0.28 c ** Instance transfer method used: 0
0.20/0.29 c ** ParaScipInstance copy does not increase the number of variables. **
0.20/0.30 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.20/0.30 c Nodes Active
0.20/0.30 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.95/6.00 c 6 136 109 1 - 13.0000 -
11.63/11.77 c 12 471 255 1 - 15.0000 -
17.48/17.62 c 18 705 360 1 - 17.0000 -
22.56/22.79 c 23 936 435 1 - 17.0000 -
29.54/29.73 c 30 1065 1 1 - 18.0000 -
34.92/35.11 c 35 1165 95 1 - 18.0000 -
40.30/40.50 c 41 1288 202 1 - 18.0000 -
45.97/46.23 c 46 1424 296 1 - 18.0000 -
51.26/51.50 c 52 1589 406 1 - 18.0000 -
56.74/57.08 c 57 1761 559 1 - 18.0000 -
62.01/62.35 c 62 2035 740 1 - 18.0000 -
67.30/67.64 c 68 2326 893 1 - 18.0000 -
72.38/72.75 c 73 2731 1077 1 - 18.0000 -
77.56/77.94 c 78 3151 1232 1 - 18.0000 -
82.65/83.03 c 83 3600 1427 1 - 18.0000 -
87.73/88.14 c 88 3984 1650 1 - 18.0000 -
92.80/93.27 c 93 4290 1829 1 - 18.0000 -
98.09/98.50 c 99 4595 2021 1 - 19.0000 -
103.17/103.62 c 104 4927 2215 1 - 19.0000 -
108.15/108.66 c 109 5286 2396 1 - 20.0000 -
113.83/114.30 c 114 5699 2633 1 - 20.0000 -
119.01/119.59 c 120 6126 2841 1 - 20.0000 -
124.99/125.53 c 126 6557 3077 1 - 21.0000 -
130.07/130.61 c 131 6913 3259 1 - 21.0000 -
135.15/135.70 c 136 7311 3451 1 - 21.0000 -
140.13/140.79 c 141 7644 3645 1 - 21.0000 -
146.11/146.70 c 147 8044 3859 1 - 21.0000 -
151.19/151.81 c 152 8380 4053 1 - 21.0000 -
156.28/156.91 c 157 8869 4258 1 - 21.0000 -
161.36/162.10 c 162 9186 4492 1 - 21.0000 -
166.84/167.57 c 168 9565 4674 1 - 22.0000 -
172.22/172.97 c 173 9997 4919 1 - 22.0000 -
177.30/178.10 c 178 10403 5119 1 - 22.0000 -
182.39/183.19 c 183 10819 5313 1 - 22.0000 -
187.66/188.44 c 188 11287 5519 1 - 22.0000 -
193.44/194.29 c 194 11959 5768 1 - 22.0000 -
198.53/199.35 c 199 12358 5992 1 - 22.0000 -
203.60/204.47 c 204 12799 6196 1 - 22.0000 -
208.69/209.57 c 210 13339 6366 1 - 22.0000 -
213.96/214.85 c 215 13829 6537 1 - 22.0000 -
219.05/219.93 c 220 14237 6713 1 - 22.0000 -
224.13/225.04 c 225 14609 6931 1 - 22.0000 -
229.51/230.42 c 230 15007 7157 1 - 22.0000 -
234.99/235.94 c 236 15635 7386 1 - 23.0000 -
240.17/241.16 c 241 16013 7561 1 - 23.0000 -
245.55/246.54 c 247 16603 7779 1 - 23.0000 -
251.23/252.29 c 252 17142 8000 1 - 23.0000 -
256.41/257.43 c 257 17586 8174 1 - 23.0000 -
261.49/262.52 c 263 18156 8322 1 - 23.0000 -
266.58/267.64 c 268 18681 8509 1 - 23.0000 -
271.65/272.71 c 273 19133 8677 1 - 23.0000 -
277.33/278.48 c 278 19533 8913 1 - 23.0000 -
282.51/283.60 c 284 20015 9066 1 - 23.0000 -
287.59/288.74 c 289 20552 9218 1 - 24.0000 -
293.47/294.69 c 295 21125 9450 1 - 24.0000 -
298.64/299.84 c 300 21602 9651 1 - 24.0000 -
303.72/304.95 c 305 22047 9833 1 - 24.0000 -
308.81/310.09 c 310 22448 10036 1 - 24.0000 -
313.98/315.24 c 315 22982 10207 1 - 24.0000 -
319.56/320.82 c 321 23453 10455 1 - 24.0000 -
324.54/325.88 c 326 23866 10638 1 - 24.0000 -
329.63/330.92 c 331 24422 10867 1 - 24.0000 -
335.01/336.38 c 336 24925 11075 1 - 24.0000 -
340.09/341.44 c 341 25282 11259 1 - 24.0000 -
345.16/346.57 c 347 25689 11448 1 - 24.0000 -
350.75/352.12 c 352 26209 11677 1 - 24.0000 -
355.73/357.14 c 357 26565 11873 1 - 24.0000 -
361.10/362.56 c 363 27061 12082 1 - 25.0000 -
366.19/367.64 c 368 27567 12336 1 - 25.0000 -
371.36/372.89 c 373 28075 12539 1 - 25.0000 -
376.44/377.97 c 378 28494 12691 1 - 25.0000 -
381.53/383.02 c 383 29095 12824 1 - 25.0000 -
386.71/388.25 c 388 29723 13042 1 - 25.0000 -
391.89/393.41 c 393 30210 13196 1 - 25.0000 -
396.96/398.54 c 399 30765 13358 1 - 25.0000 -
402.25/403.83 c 404 31245 13510 1 - 25.0000 -
407.93/409.50 c 410 31778 13743 1 - 26.0000 -
413.41/415.03 c 415 32280 13979 1 - 26.0000 -
418.49/420.12 c 420 32791 14174 1 - 26.0000 -
423.66/425.32 c 425 33181 14368 1 - 26.0000 -
428.75/430.49 c 430 33573 14579 1 - 26.0000 -
433.93/435.65 c 436 34087 14755 1 - 26.0000 -
439.01/440.77 c 441 34640 14966 1 - 26.0000 -
444.09/445.86 c 446 35209 15125 1 - 26.0000 -
449.17/450.99 c 451 35729 15271 1 - 26.0000 -
454.36/456.10 c 456 36296 15450 1 - 26.0000 -
459.34/461.18 c 461 36744 15607 1 - 26.0000 -
464.51/466.31 c 466 37307 15830 1 - 26.0000 -
469.60/471.42 c 471 37794 16025 1 - 26.0000 -
474.58/476.49 c 476 38338 16118 1 - 26.0000 -
479.96/481.86 c 482 38980 16359 1 - 26.0000 -
485.04/486.95 c 487 39448 16610 1 - 26.0000 -
490.23/492.14 c 492 39881 16808 1 - 26.0000 -
495.40/497.36 c 497 40371 16992 1 - 26.0000 -
500.48/502.45 c 502 40872 17182 1 - 26.0000 -
505.57/507.56 c 508 41339 17369 1 - 26.0000 -
510.74/512.72 c 513 41827 17552 1 - 26.0000 -
515.72/517.78 c 518 42387 17726 1 - 26.0000 -
520.90/522.93 c 523 42822 17910 1 - 26.0000 -
526.09/528.12 c 528 43209 18081 1 - 26.0000 -
531.16/533.21 c 533 43732 18294 1 - 26.0000 -
536.34/538.43 c 538 44200 18503 1 - 26.0000 -
541.41/543.52 c 544 44758 18674 1 - 26.0000 -
546.39/548.57 c 549 45316 18840 1 - 26.0000 -
551.47/553.63 c 554 45857 19073 1 - 26.0000 -
556.55/558.76 c 559 46277 19252 1 - 26.0000 -
561.72/563.93 c 564 46708 19469 1 - 26.0000 -
566.90/569.17 c 569 47146 19669 1 - 26.0000 -
571.98/574.25 c 574 47707 19903 1 - 26.0000 -
577.16/579.44 c 579 48260 20130 1 - 26.0000 -
582.23/584.52 c 585 48808 20340 1 - 26.0000 -
587.31/589.62 c 590 49259 20503 1 - 26.0000 -
592.49/594.80 c 595 49687 20643 1 - 26.0000 -
598.27/600.64 c 601 50280 20828 1 - 26.0000 -
603.34/605.76 c 606 50712 21012 1 - 26.0000 -
608.42/610.80 c 611 51138 21251 1 - 26.0000 -
613.40/615.87 c 616 51638 21450 1 - 26.0000 -
618.48/620.92 c 621 52268 21663 1 - 26.0000 -
623.56/626.03 c 626 53017 22026 1 - 26.0000 -
628.64/631.11 c 631 53773 22350 1 - 26.0000 -
633.71/636.26 c 636 54361 22574 1 - 26.0000 -
638.79/641.33 c 641 54938 22804 1 - 26.0000 -
643.97/646.50 c 647 55393 23007 1 - 26.0000 -
649.05/651.67 c 652 55852 23249 1 - 26.0000 -
654.23/656.84 c 657 56433 23516 1 - 26.0000 -
659.40/662.08 c 662 56897 23692 1 - 26.0000 -
664.58/667.20 c 667 57416 23856 1 - 26.0000 -
669.66/672.35 c 672 57976 24005 1 - 26.0000 -
675.04/677.79 c 678 58588 24178 1 - 26.0000 -
680.22/682.99 c 683 59199 24307 1 - 26.0000 -
685.80/688.50 c 689 59819 24584 1 - 26.0000 -
690.98/693.76 c 694 60343 24758 1 - 26.0000 -
696.06/698.89 c 699 60800 24935 1 - 26.0000 -
701.35/704.18 c 704 61360 25123 1 - 26.0000 -
706.52/709.32 c 709 61868 25278 1 - 26.0000 -
711.50/714.39 c 714 62390 25462 1 - 26.0000 -
716.58/719.48 c 719 62789 25686 1 - 26.0000 -
721.76/724.62 c 725 63158 25853 1 - 26.0000 -
726.84/729.72 c 730 63653 26036 1 - 26.0000 -
731.92/734.84 c 735 64065 26214 1 - 26.0000 -
737.00/739.95 c 740 64559 26418 1 - 26.0000 -
742.09/745.01 c 745 64951 26633 1 - 26.0000 -
747.17/750.11 c 750 65370 26832 1 - 26.0000 -
749.96/752.99 c * 753 65552 26899 1 143.0000 26.0000 450.00%
752.55/755.50 c 756 65847 26829 1 143.0000 26.0000 450.00%
757.93/760.90 c 761 66279 26979 1 143.0000 26.0000 450.00%
760.02/763.02 c * 763 66330 26999 1 130.0000 26.0000 400.00%
763.11/766.12 c 766 66700 24768 1 130.0000 26.0000 400.00%
768.59/771.66 c 772 67126 24840 1 130.0000 26.0000 400.00%
773.77/776.82 c 777 67542 24984 1 130.0000 26.0000 400.00%
778.96/782.04 c 782 68000 25111 1 130.0000 26.0000 400.00%
784.04/787.13 c 787 68478 25261 1 130.0000 26.0000 400.00%
789.11/792.22 c 792 68916 25406 1 130.0000 26.0000 400.00%
794.20/797.30 c 797 69528 25640 1 130.0000 26.0000 400.00%
799.27/802.40 c 802 70003 25802 1 130.0000 26.0000 400.00%
804.35/807.56 c 808 70482 26021 1 130.0000 26.0000 400.00%
809.53/812.70 c 813 71043 26204 1 130.0000 26.0000 400.00%
814.61/817.86 c 818 71475 26265 1 130.0000 26.0000 400.00%
819.70/822.99 c 823 71995 26386 1 130.0000 26.0000 400.00%
824.78/828.08 c 828 72541 26548 1 130.0000 26.0000 400.00%
830.06/833.33 c 833 72930 26688 1 130.0000 26.0000 400.00%
835.13/838.47 c 838 73371 26885 1 130.0000 26.0000 400.00%
840.32/843.64 c 844 73855 27051 1 130.0000 26.0000 400.00%
845.39/848.79 c 849 74357 27233 1 130.0000 26.0000 400.00%
850.48/853.89 c 854 74874 27349 1 130.0000 26.0000 400.00%
855.66/859.00 c 859 75262 27503 1 130.0000 26.0000 400.00%
860.75/864.14 c 864 75700 27606 1 130.0000 26.0000 400.00%
866.02/869.47 c 869 76029 27687 1 130.0000 26.0000 400.00%
871.80/875.28 c 875 76661 27903 1 130.0000 26.0000 400.00%
876.88/880.36 c 880 77085 28058 1 130.0000 26.0000 400.00%
881.96/885.46 c 885 77539 28221 1 130.0000 26.0000 400.00%
887.14/890.61 c 891 77981 28416 1 130.0000 26.0000 400.00%
892.12/895.66 c 896 78519 28621 1 130.0000 26.0000 400.00%
897.50/901.07 c 901 79040 28840 1 130.0000 26.0000 400.00%
902.58/906.13 c 906 79500 29043 1 130.0000 26.0000 400.00%
907.66/911.23 c 911 79937 29193 1 130.0000 26.0000 400.00%
912.74/916.35 c 916 80347 29371 1 130.0000 26.0000 400.00%
918.62/922.21 c 922 80935 29553 1 130.0000 26.0000 400.00%
923.60/927.29 c 927 81413 29776 1 130.0000 26.0000 400.00%
928.68/932.35 c 932 81857 29952 1 130.0000 26.0000 400.00%
934.66/938.37 c 938 82498 30116 1 130.0000 26.0000 400.00%
940.04/943.78 c 944 83026 30298 1 130.0000 26.0000 400.00%
945.22/948.91 c 949 83400 30466 1 130.0000 26.0000 400.00%
950.20/953.98 c 954 83841 30635 1 130.0000 26.0000 400.00%
955.39/959.11 c 959 84299 30824 1 130.0000 26.0000 400.00%
960.37/964.19 c 964 84873 31009 1 130.0000 26.0000 400.00%
965.94/969.74 c 970 85525 31140 1 130.0000 26.0000 400.00%
971.33/975.19 c 975 86059 31322 1 130.0000 26.0000 400.00%
976.40/980.25 c 980 86476 31484 1 130.0000 26.0000 400.00%
982.08/985.94 c 986 87051 31634 1 130.0000 26.0000 400.00%
987.96/991.86 c 992 87590 31802 1 130.0000 26.0070 399.87%
993.54/997.40 c 997 88106 31982 1 130.0000 26.0070 399.86%
998.52/1002.47 c 1002 88570 32193 1 130.0000 26.0070 399.86%
1004.20/1008.17 c 1008 89131 32408 1 130.0000 26.0070 399.86%
1009.28/1013.27 c 1013 89655 32550 1 130.0000 27.0000 381.48%
1014.45/1018.42 c 1018 90121 32704 1 130.0000 27.0000 381.48%
1019.53/1023.51 c 1024 90659 32838 1 130.0000 27.0000 381.48%
1024.61/1028.65 c 1029 91126 32975 1 130.0000 27.0000 381.48%
1029.79/1033.90 c 1034 91719 33129 1 130.0000 27.0000 381.48%
1035.28/1039.30 c 1039 92210 33249 1 130.0000 27.0000 381.48%
1040.26/1044.36 c 1044 92742 33404 1 130.0000 27.0000 381.48%
1045.44/1049.54 c 1050 93251 33559 1 130.0000 27.0000 381.48%
1050.52/1054.64 c 1055 93799 33689 1 130.0000 27.0000 381.48%
1055.61/1059.75 c 1060 94244 33855 1 130.0000 27.0000 381.48%
1060.68/1064.82 c 1065 94835 34019 1 130.0000 27.0000 381.48%
1065.76/1069.99 c 1070 95414 34168 1 130.0000 27.0000 381.48%
1070.85/1075.08 c 1075 96010 34339 1 130.0000 27.0000 381.48%
1075.93/1080.19 c 1080 96560 34507 1 130.0000 27.0000 381.48%
1081.21/1085.40 c 1085 96967 34598 1 130.0000 27.0000 381.48%
1086.29/1090.50 c 1091 97587 34762 1 130.0000 27.0000 381.48%
1091.47/1095.72 c 1096 98027 34942 1 130.0000 27.0000 381.48%
1096.46/1100.79 c 1101 98408 35198 1 130.0000 27.0000 381.48%
1101.54/1105.85 c 1106 98989 35432 1 130.0000 27.0000 381.48%
1106.62/1110.90 c 1111 99655 35637 1 130.0000 27.0000 381.48%
1111.60/1115.96 c 1116 100245 35815 1 130.0000 27.0000 381.48%
1116.69/1121.10 c 1121 101051 35950 1 130.0000 27.0000 381.48%
1121.76/1126.15 c 1126 101784 36035 1 130.0000 27.0000 381.48%
1126.84/1131.22 c 1131 102474 36224 1 130.0000 27.0000 381.48%
1131.82/1136.29 c 1136 103123 36359 1 130.0000 27.0000 381.48%
1137.71/1142.12 c 1142 103731 36554 1 130.0000 27.0000 381.48%
1142.69/1147.17 c 1147 104278 36756 1 130.0000 27.0000 381.48%
1147.77/1152.24 c 1152 104922 36939 1 130.0000 27.0000 381.48%
1152.85/1157.31 c 1157 105450 37125 1 130.0000 27.0000 381.48%
1157.83/1162.39 c 1162 105932 37283 1 130.0000 27.0000 381.48%
1163.41/1167.93 c 1168 106710 37446 1 130.0000 27.0000 381.48%
1168.50/1173.03 c 1173 107216 37671 1 130.0000 27.0000 381.48%
1173.57/1178.12 c 1178 107806 37840 1 130.0000 27.0000 381.48%
1178.66/1183.26 c 1183 108305 38009 1 130.0000 27.0000 381.48%
1183.74/1188.35 c 1188 108778 38177 1 130.0000 27.0000 381.48%
1188.82/1193.44 c 1193 109217 38351 1 130.0000 27.0000 381.48%
1193.90/1198.51 c 1199 109730 38566 1 130.0000 27.0000 381.48%
1199.48/1204.11 c 1204 110368 38789 1 130.0000 27.0000 381.48%
1204.56/1209.20 c 1209 110956 38935 1 130.0000 27.0000 381.48%
1210.44/1215.16 c 1215 111532 39100 1 130.0000 27.0000 381.48%
1215.52/1220.24 c 1220 112071 39230 1 130.0000 27.0000 381.48%
1220.70/1225.45 c 1225 112621 39401 1 130.0000 27.0000 381.48%
1225.79/1230.54 c 1231 113153 39549 1 130.0000 27.0000 381.48%
1231.46/1236.28 c 1236 113808 39687 1 130.0000 27.0000 381.48%
1236.64/1241.41 c 1241 114325 39829 1 130.0000 27.0000 381.48%
1241.72/1246.51 c 1247 114877 39940 1 130.0000 27.0000 381.48%
1247.60/1252.49 c 1252 115498 40217 1 130.0000 27.0000 381.48%
1253.58/1258.42 c 1258 116228 40356 1 130.0000 27.0000 381.48%
1259.26/1264.15 c 1264 116811 40548 1 130.0000 27.0000 381.48%
1264.93/1269.88 c 1270 117423 40744 1 130.0000 27.0000 381.48%
1270.81/1275.78 c 1276 118214 40868 1 130.0000 27.0070 381.36%
1276.09/1281.01 c 1281 118715 41058 1 130.0000 27.0070 381.36%
1281.18/1286.14 c 1286 119161 41242 1 130.0000 27.0070 381.36%
1287.05/1292.09 c 1292 119659 41408 1 130.0000 27.0070 381.36%
1292.33/1297.37 c 1297 120097 41486 1 130.0000 27.0070 381.36%
1297.51/1302.57 c 1303 120565 41624 1 130.0000 27.0070 381.36%
1302.49/1307.59 c 1308 121035 41731 1 130.0000 27.5000 372.73%
1307.58/1312.61 c 1313 121555 41820 1 130.0000 28.0000 364.29%
1312.96/1318.09 c 1318 122130 42037 1 130.0000 28.0000 364.29%
1318.24/1323.37 c 1323 122560 42155 1 130.0000 28.0000 364.29%
1323.32/1328.48 c 1328 123162 42214 1 130.0000 28.0000 364.29%
1328.60/1333.70 c 1334 123710 42366 1 130.0000 28.0000 364.29%
1333.98/1339.16 c 1339 124291 42528 1 130.0000 28.0000 364.29%
1339.16/1344.31 c 1344 124999 42663 1 130.0000 28.0000 364.29%
1344.24/1349.45 c 1349 125622 42781 1 130.0000 28.0000 364.29%
1349.32/1354.53 c 1355 126106 42901 1 130.0000 28.0000 364.29%
1354.51/1359.74 c 1360 126706 43065 1 130.0000 28.0000 364.29%
1359.59/1364.83 c 1365 127312 43210 1 130.0000 28.0000 364.29%
1364.67/1369.97 c 1370 127970 43349 1 130.0000 28.0000 364.29%
1369.74/1375.03 c 1375 128546 43547 1 130.0000 28.0000 364.29%
1374.83/1380.17 c 1380 129138 43611 1 130.0000 28.0000 364.29%
1379.90/1385.27 c 1385 129654 43733 1 130.0000 28.0000 364.29%
1384.98/1390.38 c 1390 130061 43944 1 130.0000 28.0000 364.29%
1390.07/1395.46 c 1395 130626 44063 1 130.0000 28.0000 364.29%
1395.14/1400.52 c 1401 131142 44228 1 130.0000 28.0000 364.29%
1400.13/1405.57 c 1406 131665 44334 1 130.0000 28.0000 364.29%
1405.21/1410.65 c 1411 132148 44505 1 130.0000 28.0000 364.29%
1410.39/1415.82 c 1416 132776 44693 1 130.0000 28.0000 364.29%
1415.47/1420.94 c 1421 133380 44863 1 130.0000 28.0000 364.29%
1420.56/1426.02 c 1426 133905 44971 1 130.0000 28.0000 364.29%
1425.64/1431.10 c 1431 134634 45126 1 130.0000 28.0000 364.29%
1430.63/1436.16 c 1436 135156 45292 1 130.0000 28.0000 364.29%
1435.70/1441.23 c 1441 135836 45489 1 130.0000 28.0000 364.29%
1440.87/1446.40 c 1446 136349 45646 1 130.0000 28.0000 364.29%
1446.16/1451.74 c 1452 136937 45829 1 130.0000 28.0000 364.29%
1451.24/1456.83 c 1457 137549 45951 1 130.0000 28.0000 364.29%
1456.42/1462.03 c 1462 138110 46077 1 130.0000 28.0000 364.29%
1461.70/1467.35 c 1467 138646 46175 1 130.0000 28.0000 364.29%
1466.88/1472.52 c 1473 139179 46299 1 130.0000 28.0000 364.29%
1472.16/1477.85 c 1478 139593 46456 1 130.0000 28.0000 364.29%
1477.24/1482.91 c 1483 140079 46583 1 130.0000 28.0000 364.29%
1482.33/1488.08 c 1488 140577 46734 1 130.0000 28.0000 364.29%
1488.21/1493.97 c 1494 141201 46943 1 130.0000 28.0000 364.29%
1493.29/1499.04 c 1499 141772 47126 1 130.0000 28.0000 364.29%
1498.37/1504.13 c 1504 142392 47276 1 130.0000 28.0000 364.29%
1503.44/1509.23 c 1509 142962 47448 1 130.0000 28.0000 364.29%
1508.53/1514.32 c 1514 143434 47563 1 130.0000 28.0000 364.29%
1514.01/1519.88 c 1520 144005 47650 1 130.0000 28.0000 364.29%
1519.20/1525.10 c 1525 144542 47767 1 130.0000 28.0000 364.29%
1524.77/1530.65 c 1531 145124 47952 1 130.0000 28.0000 364.29%
1529.85/1535.73 c 1536 145539 48130 1 130.0000 28.0000 364.29%
1534.93/1540.88 c 1541 146012 48237 1 130.0000 28.0000 364.29%
1540.01/1545.94 c 1546 146516 48368 1 130.0000 28.0000 364.29%
1545.10/1551.07 c 1551 147036 48559 1 130.0000 28.0000 364.29%
1550.97/1556.90 c 1557 147602 48755 1 130.0000 28.0000 364.29%
1556.06/1562.10 c 1562 148101 48899 1 130.0000 28.0000 364.29%
1562.03/1568.03 c 1568 148792 49069 1 130.0000 28.0000 364.29%
1567.21/1573.22 c 1573 149210 49189 1 130.0000 28.0000 364.29%
1573.00/1579.09 c 1579 149791 49365 1 130.0000 28.0000 364.29%
1578.37/1584.44 c 1584 150357 49519 1 130.0000 28.0000 364.29%
1583.45/1589.57 c 1590 150976 49625 1 130.0000 28.0070 364.17%
1588.83/1594.97 c 1595 151575 49747 1 130.0000 28.2400 360.34%
1594.21/1600.32 c 1600 152212 49940 1 130.0000 28.2400 360.34%
1600.09/1606.29 c 1606 152865 50168 1 130.0000 28.2400 360.34%
1605.26/1611.45 c 1611 153274 50299 1 130.0000 28.2400 360.34%
1610.25/1616.48 c 1616 153759 50446 1 130.0000 28.2400 360.34%
1615.84/1622.04 c 1622 154190 50552 1 130.0000 28.3333 358.82%
1621.71/1627.93 c 1628 154642 50623 1 130.0000 28.5000 356.14%
1627.49/1633.78 c 1634 155191 50789 1 130.0000 28.5000 356.14%
1632.57/1638.89 c 1639 155835 50955 1 130.0000 28.5670 355.07%
1638.34/1644.64 c 1645 156451 51088 1 130.0000 28.8571 350.50%
1643.43/1649.70 c 1650 157048 51212 1 130.0000 28.8571 350.50%
1648.51/1654.82 c 1655 157618 51338 1 130.0000 28.8571 350.50%
1653.60/1659.90 c 1660 158292 51514 1 130.0000 29.0000 348.28%
1658.58/1664.99 c 1665 158765 51740 1 130.0000 29.0000 348.28%
1664.66/1671.01 c 1671 159257 51933 1 130.0000 29.0000 348.28%
1670.03/1676.48 c 1676 159795 52073 1 130.0000 29.0000 348.28%
1675.21/1681.63 c 1682 160251 52223 1 130.0000 29.0000 348.28%
1680.19/1686.68 c 1687 160788 52351 1 130.0000 29.0000 348.28%
1685.27/1691.79 c 1692 161297 52501 1 130.0000 29.0000 348.28%
1690.46/1696.93 c 1697 161876 52651 1 130.0000 29.0000 348.28%
1695.44/1701.99 c 1702 162487 52850 1 130.0000 29.0000 348.28%
1700.62/1707.11 c 1707 163125 53005 1 130.0000 29.0000 348.28%
1705.61/1712.19 c 1712 163577 53173 1 130.0000 29.0000 348.28%
1710.68/1717.27 c 1717 164137 53332 1 130.0000 29.0000 348.28%
1715.77/1722.39 c 1722 164716 53445 1 130.0000 29.0000 348.28%
1720.84/1727.49 c 1728 165242 53606 1 130.0000 29.0000 348.28%
1725.92/1732.55 c 1733 165753 53725 1 130.0000 29.0000 348.28%
1731.10/1737.74 c 1738 166339 53873 1 130.0000 29.0000 348.28%
1736.08/1742.78 c 1743 166887 54039 1 130.0000 29.0000 348.28%
1741.17/1747.86 c 1748 167366 54250 1 130.0000 29.0000 348.28%
1746.25/1752.94 c 1753 167914 54398 1 130.0000 29.0000 348.28%
1751.34/1758.03 c 1758 168417 54538 1 130.0000 29.0000 348.28%
1756.41/1763.11 c 1763 168977 54692 1 130.0000 29.0000 348.28%
1761.39/1768.18 c 1768 169514 54808 1 130.0000 29.0000 348.28%
1766.57/1773.36 c 1773 170072 54922 1 130.0000 29.0000 348.28%
1771.76/1778.56 c 1779 170573 55083 1 130.0000 29.0000 348.28%
1776.84/1783.69 c 1784 170980 55258 1 130.0000 29.0000 348.28%
1781.91/1788.76 c 1789 171489 55375 1 130.0000 29.0000 348.28%
1787.00/1793.81 c 1794 172077 55507 1 130.0000 29.0000 348.28%
1792.08/1798.90 c 1799 172606 55651 1 130.0000 29.0000 348.28%
1797.05/1803.98 c 1804 173141 55790 1 130.0000 29.0000 348.28%
1802.15/1809.08 c 1809 173733 55890 1 130.0000 29.0000 348.28%
1807.32/1814.28 c 1814 174300 56045 1 130.0000 29.0000 348.28%
1812.40/1819.35 c 1819 174749 56179 1 130.0000 29.0000 348.28%
1817.59/1824.54 c 1825 175364 56287 1 130.0000 29.0000 348.28%
1822.76/1829.71 c 1830 175841 56412 1 130.0000 29.0000 348.28%
1827.84/1834.88 c 1835 176376 56567 1 130.0000 29.0000 348.28%
1833.13/1840.12 c 1840 177040 56740 1 130.0000 29.0000 348.28%
1838.20/1845.22 c 1845 177509 56850 1 130.0000 29.0000 348.28%
1843.38/1850.43 c 1850 178128 56948 1 130.0000 29.0000 348.28%
1848.47/1855.57 c 1856 178659 57147 1 130.0000 29.0000 348.28%
1853.64/1860.75 c 1861 179026 57262 1 130.0000 29.0000 348.28%
1858.92/1866.01 c 1866 179589 57395 1 130.0000 29.0000 348.28%
1863.91/1871.09 c 1871 180023 57523 1 130.0000 29.0000 348.28%
1869.08/1876.20 c 1876 180481 57637 1 130.0000 29.0000 348.28%
1874.06/1881.27 c 1881 181129 57776 1 130.0000 29.0000 348.28%
1879.25/1886.42 c 1886 181778 57853 1 130.0000 29.0000 348.28%
1884.33/1891.57 c 1892 182296 58013 1 130.0000 29.0000 348.28%
1889.50/1896.76 c 1897 182846 58168 1 130.0000 29.0000 348.28%
1894.59/1901.88 c 1902 183374 58265 1 130.0000 29.0000 348.28%
1899.66/1906.96 c 1907 183863 58421 1 130.0000 29.0000 348.28%
1904.75/1912.02 c 1912 184341 58552 1 130.0000 29.0000 348.28%
1909.83/1917.16 c 1917 184834 58669 1 130.0000 29.0000 348.28%
1915.01/1922.35 c 1922 185383 58789 1 130.0000 29.0000 348.28%
1920.09/1927.45 c 1927 185895 58930 1 130.0000 29.0000 348.28%
1925.17/1932.59 c 1933 186379 59075 1 130.0000 29.0000 348.28%
1930.25/1937.68 c 1938 186795 59274 1 130.0000 29.0000 348.28%
1935.43/1942.81 c 1943 187237 59403 1 130.0000 29.0000 348.28%
1940.41/1947.88 c 1948 187739 59541 1 130.0000 29.0000 348.28%
1945.50/1952.98 c 1953 188279 59670 1 130.0000 29.0000 348.28%
1950.58/1958.08 c 1958 188888 59771 1 130.0000 29.0000 348.28%
1955.66/1963.17 c 1963 189440 59949 1 130.0000 29.0000 348.28%
1960.73/1968.29 c 1968 189988 60039 1 130.0000 29.0000 348.28%
1965.82/1973.35 c 1973 190431 60180 1 130.0000 29.0000 348.28%
1970.90/1978.45 c 1978 191032 60321 1 130.0000 29.0000 348.28%
1975.99/1983.52 c 1984 191575 60475 1 130.0000 29.0000 348.28%
1981.07/1988.65 c 1989 192147 60627 1 130.0000 29.0000 348.28%
1986.24/1993.80 c 1994 192684 60727 1 130.0000 29.0000 348.28%
1991.32/1998.92 c 1999 193221 60842 1 130.0000 29.0000 348.28%
1996.41/2004.06 c 2004 193821 60929 1 130.0000 29.0000 348.28%
2001.49/2009.11 c 2009 194332 61038 1 130.0000 29.0000 348.28%
2006.57/2014.26 c 2014 194834 61120 1 130.0000 29.0000 348.28%
2011.84/2019.52 c 2020 195399 61219 1 130.0000 29.0000 348.28%
2017.73/2025.43 c 2025 196089 61330 1 130.0000 29.0000 348.28%
2022.91/2030.61 c 2031 196661 61479 1 130.0000 29.0000 348.28%
2028.88/2036.60 c 2037 197336 61620 1 130.0000 29.0000 348.28%
2033.97/2041.71 c 2042 197766 61758 1 130.0000 29.0000 348.28%
2038.95/2046.78 c 2047 198312 61864 1 130.0000 29.0000 348.28%
2044.13/2051.94 c 2052 198764 61977 1 130.0000 29.0000 348.28%
2049.22/2057.06 c 2057 199228 62043 1 130.0000 29.0000 348.28%
2054.29/2062.15 c 2062 199716 62165 1 130.0000 29.0000 348.28%
2059.47/2067.37 c 2067 200263 62263 1 130.0000 29.0000 348.28%
2064.65/2072.56 c 2073 200761 62339 1 130.0000 29.0000 348.28%
2069.74/2077.62 c 2078 201456 62453 1 130.0000 29.0000 348.28%
2074.82/2082.71 c 2083 202109 62589 1 130.0000 29.0000 348.28%
2080.09/2088.08 c 2088 202751 62694 1 130.0000 29.0000 348.28%
2085.18/2093.13 c 2093 203444 62836 1 130.0000 29.0000 348.28%
2090.45/2098.47 c 2098 204018 62953 1 130.0000 29.0000 348.28%
2095.54/2103.57 c 2104 204542 63090 1 130.0000 29.0000 348.28%
2101.41/2109.42 c 2109 205123 63263 1 130.0000 29.0000 348.28%
2106.59/2114.63 c 2115 205702 63355 1 130.0000 29.0070 348.17%
2112.17/2120.20 c 2120 206255 63512 1 130.0000 29.0070 348.17%
2117.56/2125.63 c 2126 206713 63596 1 130.0000 29.2400 344.60%
2122.63/2130.79 c 2131 207249 63757 1 130.0000 29.3333 343.18%
2127.72/2135.81 c 2136 207754 63863 1 130.0000 29.5000 340.68%
2132.70/2140.86 c 2141 208394 64015 1 130.0000 29.5000 340.68%
2138.08/2146.23 c 2146 208963 64208 1 130.0000 29.5000 340.68%
2143.56/2151.70 c 2152 209566 64308 1 130.0000 30.0000 333.33%
2149.43/2157.60 c 2158 210229 64476 1 130.0000 30.0000 333.33%
2154.51/2162.72 c 2163 210765 64644 1 130.0000 30.0000 333.33%
2159.60/2167.82 c 2168 211318 64752 1 130.0000 30.0000 333.33%
2164.67/2172.93 c 2173 211838 64858 1 130.0000 30.0000 333.33%
2169.86/2178.16 c 2178 212387 65020 1 130.0000 30.0000 333.33%
2175.04/2183.38 c 2183 212924 65201 1 130.0000 30.0000 333.33%
2180.32/2188.60 c 2189 213451 65293 1 130.0000 30.0000 333.33%
2185.81/2194.12 c 2194 213983 65366 1 130.0000 30.0000 333.33%
2190.88/2199.20 c 2199 214476 65581 1 130.0000 30.0000 333.33%
2195.86/2204.27 c 2204 215013 65736 1 130.0000 30.0000 333.33%
2200.94/2209.36 c 2209 215557 65876 1 130.0000 30.0000 333.33%
2206.02/2214.45 c 2214 216145 66036 1 130.0000 30.0000 333.33%
2211.10/2219.54 c 2220 216870 66215 1 130.0000 30.0000 333.33%
2216.18/2224.61 c 2225 217639 66292 1 130.0000 30.0000 333.33%
2221.46/2229.92 c 2230 218284 66354 1 130.0000 30.0000 333.33%
2226.55/2235.04 c 2235 218775 66513 1 130.0000 30.0000 333.33%
2231.72/2240.25 c 2240 219270 66668 1 130.0000 30.0000 333.33%
2236.81/2245.34 c 2245 219847 66789 1 130.0000 30.0000 333.33%
2241.79/2250.39 c 2250 220456 66906 1 130.0000 30.0000 333.33%
2246.97/2255.57 c 2256 221053 67032 1 130.0000 30.0000 333.33%
2252.15/2260.70 c 2261 221629 67143 1 130.0000 30.0000 333.33%
2257.24/2265.80 c 2266 222337 67217 1 130.0000 30.0000 333.33%
2262.31/2270.96 c 2271 222940 67325 1 130.0000 30.0000 333.33%
2267.40/2276.04 c 2276 223542 67503 1 130.0000 30.0000 333.33%
2272.48/2281.11 c 2281 224355 67596 1 130.0000 30.0000 333.33%
2277.55/2286.21 c 2286 224941 67721 1 130.0000 30.0000 333.33%
2282.64/2291.34 c 2291 225375 67804 1 130.0000 30.0000 333.33%
2287.71/2296.41 c 2296 225982 67907 1 130.0000 30.0000 333.33%
2292.70/2301.47 c 2301 226535 68042 1 130.0000 30.0000 333.33%
2297.88/2306.66 c 2307 226970 68172 1 130.0000 30.0000 333.33%
2303.27/2312.06 c 2312 227519 68271 1 130.0000 30.0000 333.33%
2308.44/2317.20 c 2317 228046 68352 1 130.0000 30.0000 333.33%
2313.52/2322.30 c 2322 228644 68487 1 130.0000 30.0000 333.33%
2318.61/2327.41 c 2327 229242 68603 1 130.0000 30.0000 333.33%
2323.68/2332.58 c 2333 229953 68691 1 130.0000 30.0000 333.33%
2328.76/2337.67 c 2338 230487 68812 1 130.0000 30.0000 333.33%
2334.05/2342.90 c 2343 231060 68936 1 130.0000 30.0000 333.33%
2339.13/2348.02 c 2348 231532 69028 1 130.0000 30.0000 333.33%
2344.21/2353.12 c 2353 232096 69105 1 130.0000 30.0000 333.33%
2349.29/2358.23 c 2358 232665 69251 1 130.0000 30.0000 333.33%
2354.37/2363.34 c 2363 233280 69327 1 130.0000 30.0000 333.33%
2359.65/2368.68 c 2369 233871 69479 1 130.0000 30.0000 333.33%
2364.83/2373.85 c 2374 234545 69590 1 130.0000 30.0000 333.33%
2369.91/2378.92 c 2379 235202 69685 1 130.0000 30.0000 333.33%
2375.19/2384.21 c 2384 235900 69833 1 130.0000 30.0000 333.33%
2380.17/2389.26 c 2389 236546 69943 1 130.0000 30.0000 333.33%
2385.35/2394.40 c 2394 237153 70082 1 130.0000 30.0000 333.33%
2390.43/2399.52 c 2400 237779 70184 1 130.0000 30.0000 333.33%
2395.51/2404.60 c 2405 238364 70340 1 130.0000 30.0000 333.33%
2400.60/2409.73 c 2410 238877 70422 1 130.0000 30.0000 333.33%
2405.67/2414.84 c 2415 239327 70575 1 130.0000 30.0000 333.33%
2410.76/2419.94 c 2420 239880 70718 1 130.0000 30.0000 333.33%
2415.95/2425.14 c 2425 240391 70826 1 130.0000 30.0000 333.33%
2421.02/2430.27 c 2430 240991 70942 1 130.0000 30.0000 333.33%
2426.20/2435.41 c 2435 241733 71156 1 130.0000 30.0000 333.33%
2431.18/2440.47 c 2440 242261 71338 1 130.0000 30.0000 333.33%
2436.26/2445.55 c 2446 242842 71438 1 130.0000 30.0000 333.33%
2441.44/2450.71 c 2451 243398 71610 1 130.0000 30.0000 333.33%
2446.52/2455.88 c 2456 243992 71762 1 130.0000 30.0000 333.33%
2451.71/2461.06 c 2461 244773 71879 1 130.0000 30.0000 333.33%
2456.79/2466.13 c 2466 245346 72019 1 130.0000 30.0000 333.33%
2461.96/2471.33 c 2471 245879 72139 1 130.0000 30.0000 333.33%
2467.25/2476.61 c 2477 246553 72287 1 130.0000 30.0000 333.33%
2472.33/2481.70 c 2482 247125 72385 1 130.0000 30.0000 333.33%
2477.41/2486.82 c 2487 247727 72520 1 130.0000 30.0000 333.33%
2482.60/2492.09 c 2492 248176 72636 1 130.0000 30.0000 333.33%
2487.77/2497.22 c 2497 248762 72780 1 130.0000 30.0000 333.33%
2492.95/2502.49 c 2502 249318 72940 1 130.0000 30.0000 333.33%
2498.03/2507.57 c 2508 249933 73126 1 130.0000 30.0000 333.33%
2503.21/2512.70 c 2513 250475 73230 1 130.0000 30.0000 333.33%
2508.19/2517.78 c 2518 250983 73381 1 130.0000 30.0000 333.33%
2513.27/2522.87 c 2523 251562 73511 1 130.0000 30.0000 333.33%
2518.35/2527.98 c 2528 252053 73630 1 130.0000 30.0000 333.33%
2523.54/2533.17 c 2533 252569 73742 1 130.0000 30.0000 333.33%
2528.62/2538.23 c 2538 253164 73843 1 130.0000 30.0000 333.33%
2533.69/2543.36 c 2543 253740 73940 1 130.0000 30.0000 333.33%
2538.77/2548.40 c 2548 254342 74049 1 130.0000 30.0000 333.33%
2544.06/2553.75 c 2554 254900 74248 1 130.0000 30.0000 333.33%
2549.14/2558.85 c 2559 255466 74462 1 130.0000 30.0000 333.33%
2554.32/2564.02 c 2564 255888 74608 1 130.0000 30.0000 333.33%
2559.40/2569.12 c 2569 256407 74690 1 130.0000 30.0000 333.33%
2564.48/2574.21 c 2574 257009 74816 1 130.0000 30.0000 333.33%
2569.66/2579.44 c 2579 257554 74959 1 130.0000 30.0000 333.33%
2574.74/2584.54 c 2585 258063 75150 1 130.0000 30.0000 333.33%
2580.72/2590.53 c 2591 258670 75280 1 130.0000 30.0000 333.33%
2585.90/2595.70 c 2596 259172 75428 1 130.0000 30.0000 333.33%
2591.08/2600.92 c 2601 259710 75610 1 130.0000 30.0000 333.33%
2596.06/2605.99 c 2606 260192 75780 1 130.0000 30.0000 333.33%
2601.25/2611.12 c 2611 260716 75868 1 130.0000 30.0000 333.33%
2606.23/2616.18 c 2616 261207 76015 1 130.0000 30.0000 333.33%
2611.31/2621.29 c 2621 261786 76105 1 130.0000 30.0000 333.33%
2617.19/2627.15 c 2627 262551 76251 1 130.0000 30.0000 333.33%
2622.37/2632.39 c 2632 263220 76369 1 130.0000 30.0000 333.33%
2627.44/2637.48 c 2637 263868 76443 1 130.0000 30.0000 333.33%
2632.53/2642.55 c 2643 264413 76532 1 130.0000 30.0000 333.33%
2637.61/2647.62 c 2648 264918 76680 1 130.0000 30.0000 333.33%
2642.69/2652.70 c 2653 265520 76772 1 130.0000 30.0000 333.33%
2648.08/2658.18 c 2658 266084 76896 1 130.0000 30.0000 333.33%
2653.16/2663.24 c 2663 266665 76969 1 130.0000 30.0000 333.33%
2658.23/2668.39 c 2668 267250 77127 1 130.0000 30.0000 333.33%
2663.32/2673.44 c 2673 267790 77283 1 130.0000 30.0000 333.33%
2669.20/2679.35 c 2679 268402 77407 1 130.0000 30.0000 333.33%
2674.57/2684.71 c 2685 269054 77450 1 130.0000 30.0000 333.33%
2679.55/2689.74 c 2690 269605 77519 1 130.0000 30.0000 333.33%
2685.04/2695.29 c 2695 270141 77626 1 130.0000 30.0000 333.33%
2691.01/2701.28 c 2701 270755 77803 1 130.0000 30.0070 333.23%
2696.10/2706.38 c 2706 271331 77946 1 130.0000 30.0070 333.23%
2701.77/2712.00 c 2712 272034 78058 1 130.0000 30.0070 333.23%
2706.86/2717.13 c 2717 272630 78204 1 130.0000 30.0070 333.23%
2712.33/2722.67 c 2723 273365 78308 1 130.0000 30.0070 333.23%
2718.21/2728.53 c 2729 274145 78454 1 130.0000 30.0070 333.23%
2723.80/2734.12 c 2734 274934 78566 1 130.0000 30.0174 333.08%
2729.16/2739.53 c 2740 275624 78679 1 130.0000 30.5000 326.23%
2734.84/2745.21 c 2745 276146 78807 1 130.0000 30.5000 326.23%
2740.32/2750.70 c 2751 276803 78923 1 130.0000 30.8000 322.08%
2745.41/2755.84 c 2756 277465 79012 1 130.0000 31.0000 319.35%
2750.49/2760.97 c 2761 278095 79094 1 130.0000 31.0000 319.35%
2756.37/2766.82 c 2767 278794 79251 1 130.0000 31.0000 319.35%
2761.35/2771.84 c 2772 279435 79331 1 130.0000 31.0000 319.35%
2766.43/2776.98 c 2777 280075 79488 1 130.0000 31.0000 319.35%
2771.61/2782.11 c 2782 280645 79607 1 130.0000 31.0000 319.35%
2776.69/2787.20 c 2787 281191 79708 1 130.0000 31.0000 319.35%
2781.77/2792.34 c 2792 281641 79890 1 130.0000 31.0000 319.35%
2787.45/2798.07 c 2798 282334 80067 1 130.0000 31.0000 319.35%
2792.53/2803.15 c 2803 282892 80166 1 130.0000 31.0000 319.35%
2797.60/2808.20 c 2808 283616 80290 1 130.0000 31.0000 319.35%
2802.69/2813.31 c 2813 284230 80396 1 130.0000 31.0000 319.35%
2807.67/2818.39 c 2818 284796 80491 1 130.0000 31.0000 319.35%
2812.84/2823.54 c 2824 285526 80592 1 130.0000 31.0000 319.35%
2817.93/2828.66 c 2829 286103 80711 1 130.0000 31.0000 319.35%
2823.01/2833.74 c 2834 286681 80890 1 130.0000 31.0000 319.35%
2828.19/2838.91 c 2839 287248 81017 1 130.0000 31.0000 319.35%
2833.27/2844.07 c 2844 287832 81121 1 130.0000 31.0000 319.35%
2838.45/2849.28 c 2849 288404 81230 1 130.0000 31.0000 319.35%
2843.62/2854.45 c 2854 289091 81340 1 130.0000 31.0000 319.35%
2848.71/2859.56 c 2860 289740 81430 1 130.0000 31.0000 319.35%
2853.79/2864.62 c 2865 290381 81575 1 130.0000 31.0000 319.35%
2858.87/2869.70 c 2870 290991 81783 1 130.0000 31.0000 319.35%
2863.95/2874.80 c 2875 291487 82003 1 130.0000 31.0000 319.35%
2868.93/2879.85 c 2880 292190 82088 1 130.0000 31.0000 319.35%
2874.11/2885.02 c 2885 292787 82194 1 130.0000 31.0000 319.35%
2879.19/2890.16 c 2890 293342 82353 1 130.0000 31.0000 319.35%
2884.28/2895.23 c 2895 293876 82493 1 130.0000 31.0000 319.35%
2889.35/2900.33 c 2900 294283 82644 1 130.0000 31.0000 319.35%
2894.43/2905.42 c 2905 294844 82802 1 130.0000 31.0000 319.35%
2899.51/2910.58 c 2911 295485 82924 1 130.0000 31.0000 319.35%
2904.69/2915.74 c 2916 296066 83038 1 130.0000 31.0000 319.35%
2909.77/2920.82 c 2921 296627 83116 1 130.0000 31.0000 319.35%
2914.75/2925.89 c 2926 297248 83234 1 130.0000 31.0000 319.35%
2919.84/2930.94 c 2931 297932 83393 1 130.0000 31.0000 319.35%
2925.01/2936.11 c 2936 298525 83561 1 130.0000 31.0000 319.35%
2930.10/2941.28 c 2941 298969 83681 1 130.0000 31.0000 319.35%
2935.17/2946.35 c 2946 299422 83834 1 130.0000 31.0000 319.35%
2940.45/2951.60 c 2952 299997 83951 1 130.0000 31.0000 319.35%
2945.44/2956.69 c 2957 300542 84064 1 130.0000 31.0000 319.35%
2950.61/2961.86 c 2962 301056 84192 1 130.0000 31.0000 319.35%
2955.69/2966.91 c 2967 301679 84359 1 130.0000 31.0000 319.35%
2960.78/2972.04 c 2972 302222 84545 1 130.0000 31.0000 319.35%
2965.86/2977.14 c 2977 302817 84618 1 130.0000 31.0000 319.35%
2971.04/2982.37 c 2982 303457 84704 1 130.0000 31.0000 319.35%
2976.22/2987.50 c 2988 304188 84864 1 130.0000 31.0000 319.35%
2981.20/2992.58 c 2993 304834 84996 1 130.0000 31.0000 319.35%
2986.28/2997.66 c 2998 305510 85165 1 130.0000 31.0000 319.35%
2991.57/3002.91 c 3003 306098 85301 1 130.0000 31.0000 319.35%
2996.65/3008.00 c 3008 306615 85412 1 130.0000 31.0000 319.35%
3001.73/3013.17 c 3013 307328 85555 1 130.0000 31.0000 319.35%
3006.80/3018.29 c 3018 307946 85620 1 130.0000 31.0000 319.35%
3011.98/3023.47 c 3023 308640 85720 1 130.0000 31.0000 319.35%
3017.07/3028.53 c 3029 309245 85826 1 130.0000 31.0000 319.35%
3022.15/3033.69 c 3034 309945 85942 1 130.0000 31.0000 319.35%
3027.23/3038.78 c 3039 310577 86111 1 130.0000 31.0000 319.35%
3032.31/3043.87 c 3044 311251 86213 1 130.0000 31.0000 319.35%
3037.39/3048.98 c 3049 311978 86308 1 130.0000 31.0000 319.35%
3042.47/3054.06 c 3054 312712 86431 1 130.0000 31.0000 319.35%
3047.65/3059.27 c 3059 313385 86511 1 130.0000 31.0000 319.35%
3052.83/3064.43 c 3064 313948 86667 1 130.0000 31.0000 319.35%
3057.82/3069.48 c 3069 314609 86732 1 130.0000 31.0000 319.35%
3063.00/3074.60 c 3075 315178 86868 1 130.0000 31.0000 319.35%
3068.07/3079.71 c 3080 315761 87016 1 130.0000 31.0000 319.35%
3073.25/3084.96 c 3085 316401 87102 1 130.0000 31.0000 319.35%
3078.34/3090.02 c 3090 316887 87211 1 130.0000 31.0000 319.35%
3083.42/3095.17 c 3095 317461 87328 1 130.0000 31.0000 319.35%
3088.50/3100.23 c 3100 317883 87432 1 130.0000 31.0000 319.35%
3093.58/3105.37 c 3105 318407 87653 1 130.0000 31.0000 319.35%
3098.86/3110.65 c 3111 319079 87737 1 130.0000 31.0000 319.35%
3103.94/3115.74 c 3116 319630 87848 1 130.0000 31.0000 319.35%
3109.22/3121.01 c 3121 320200 87923 1 130.0000 31.0000 319.35%
3114.31/3126.16 c 3126 320744 88054 1 130.0000 31.0000 319.35%
3119.88/3131.72 c 3132 321267 88117 1 130.0000 31.0000 319.35%
3124.87/3136.76 c 3137 321899 88213 1 130.0000 31.0000 319.35%
3129.95/3141.85 c 3142 322436 88367 1 130.0000 31.0000 319.35%
3135.13/3147.03 c 3147 322980 88541 1 130.0000 31.0000 319.35%
3140.21/3152.18 c 3152 323482 88709 1 130.0000 31.0000 319.35%
3145.38/3157.33 c 3157 324144 88806 1 130.0000 31.0000 319.35%
3150.47/3162.45 c 3162 324678 88882 1 130.0000 31.0000 319.35%
3155.55/3167.53 c 3168 325274 88964 1 130.0000 31.0000 319.35%
3160.63/3172.60 c 3173 325831 89056 1 130.0000 31.0000 319.35%
3165.72/3177.70 c 3178 326322 89094 1 130.0000 31.0000 319.35%
3171.29/3183.32 c 3183 326752 89245 1 130.0000 31.0000 319.35%
3176.47/3188.56 c 3189 327179 89377 1 130.0000 31.0000 319.35%
3181.56/3193.69 c 3194 327740 89466 1 130.0000 31.0000 319.35%
3186.74/3198.80 c 3199 328348 89515 1 130.0000 31.0000 319.35%
3191.82/3203.90 c 3204 328811 89584 1 130.0000 31.0000 319.35%
3196.80/3208.98 c 3209 329382 89716 1 130.0000 31.0000 319.35%
3202.68/3214.81 c 3215 330154 89824 1 130.0000 31.0000 319.35%
3207.76/3219.97 c 3220 330803 89929 1 130.0000 31.0000 319.35%
3212.84/3225.05 c 3225 331409 90049 1 130.0000 31.0000 319.35%
3217.92/3230.11 c 3230 332082 90132 1 130.0000 31.0000 319.35%
3223.00/3235.26 c 3235 332611 90180 1 130.0000 31.0000 319.35%
3228.09/3240.32 c 3240 333132 90301 1 130.0000 31.0000 319.35%
3233.16/3245.43 c 3245 333743 90419 1 130.0000 31.0000 319.35%
3238.24/3250.57 c 3251 334375 90533 1 130.0000 31.0000 319.35%
3243.33/3255.65 c 3256 335033 90583 1 130.0000 31.0000 319.35%
3249.10/3261.48 c 3261 335716 90703 1 130.0000 31.0000 319.35%
3254.28/3266.65 c 3267 336208 90840 1 130.0000 31.0000 319.35%
3260.26/3272.62 c 3273 337051 90972 1 130.0000 31.0000 319.35%
3265.43/3277.81 c 3278 337593 91071 1 130.0000 31.0000 319.35%
3270.41/3282.88 c 3283 337974 91182 1 130.0000 31.0000 319.35%
3276.10/3288.59 c 3289 338575 91242 1 130.0000 31.0070 319.26%
3281.97/3294.46 c 3294 339194 91325 1 130.0000 31.0070 319.26%
3287.65/3300.16 c 3300 339724 91477 1 130.0000 31.0070 319.26%
3293.42/3305.98 c 3306 340245 91669 1 130.0000 31.0070 319.26%
3298.52/3311.10 c 3311 340835 91807 1 130.0000 31.2000 316.67%
3303.59/3316.18 c 3316 341405 91895 1 130.0000 31.2400 316.13%
3308.67/3321.25 c 3321 341924 92006 1 130.0000 31.5000 312.70%
3314.64/3327.25 c 3327 342513 92122 1 130.0000 31.5000 312.70%
3319.62/3332.30 c 3332 343058 92251 1 130.0000 31.5000 312.70%
3325.11/3337.75 c 3338 343685 92334 1 130.0000 31.8000 308.81%
3330.18/3342.84 c 3343 344315 92468 1 130.0000 32.0000 306.25%
3335.27/3347.91 c 3348 344934 92609 1 130.0000 32.0000 306.25%
3340.64/3353.34 c 3353 345638 92743 1 130.0000 32.0000 306.25%
3345.63/3358.38 c 3358 346222 92853 1 130.0000 32.0000 306.25%
3350.80/3363.50 c 3364 346773 92992 1 130.0000 32.0000 306.25%
3355.88/3368.68 c 3369 347362 93071 1 130.0000 32.0000 306.25%
3361.07/3373.85 c 3374 347922 93200 1 130.0000 32.0000 306.25%
3366.74/3379.51 c 3380 348649 93268 1 130.0000 32.0000 306.25%
3371.92/3384.72 c 3385 349182 93357 1 130.0000 32.0000 306.25%
3376.91/3389.78 c 3390 349764 93501 1 130.0000 32.0000 306.25%
3382.08/3394.91 c 3395 350408 93596 1 130.0000 32.0000 306.25%
3387.17/3400.05 c 3400 351055 93745 1 130.0000 32.0000 306.25%
3392.25/3405.16 c 3405 351568 93836 1 130.0000 32.0000 306.25%
3397.32/3410.26 c 3410 352117 93936 1 130.0000 32.0000 306.25%
3402.40/3415.33 c 3415 352748 94058 1 130.0000 32.0000 306.25%
3407.48/3420.48 c 3420 353218 94159 1 130.0000 32.0000 306.25%
3412.57/3425.55 c 3426 353891 94250 1 130.0000 32.0000 306.25%
3417.84/3430.85 c 3431 354482 94378 1 130.0000 32.0000 306.25%
3422.92/3435.97 c 3436 355058 94484 1 130.0000 32.0000 306.25%
3428.51/3441.51 c 3442 355641 94586 1 130.0000 32.0000 306.25%
3433.58/3446.64 c 3447 356216 94699 1 130.0000 32.0000 306.25%
3438.87/3451.99 c 3452 356733 94779 1 130.0000 32.0000 306.25%
3443.95/3457.10 c 3457 357256 94911 1 130.0000 32.0000 306.25%
3449.03/3462.18 c 3462 357877 95050 1 130.0000 32.0000 306.25%
3454.10/3467.22 c 3467 358515 95136 1 130.0000 32.0000 306.25%
3459.09/3472.28 c 3472 359109 95268 1 130.0000 32.0000 306.25%
3464.27/3477.44 c 3477 359592 95369 1 130.0000 32.0000 306.25%
3469.45/3482.70 c 3483 360091 95491 1 130.0000 32.0000 306.25%
3474.53/3487.78 c 3488 360632 95635 1 130.0000 32.0000 306.25%
3479.71/3492.91 c 3493 361300 95714 1 130.0000 32.0000 306.25%
3484.79/3498.07 c 3498 361902 95794 1 130.0000 32.0000 306.25%
3489.96/3503.24 c 3503 362602 95877 1 130.0000 32.0000 306.25%
3495.15/3508.48 c 3508 363117 96023 1 130.0000 32.0000 306.25%
3500.22/3513.58 c 3514 363601 96132 1 130.0000 32.0000 306.25%
3505.61/3518.95 c 3519 364045 96233 1 130.0000 32.0000 306.25%
3510.79/3524.18 c 3524 364511 96291 1 130.0000 32.0000 306.25%
3515.87/3529.29 c 3529 364976 96379 1 130.0000 32.0000 306.25%
3520.94/3534.36 c 3534 365596 96526 1 130.0000 32.0000 306.25%
3526.13/3539.58 c 3540 366210 96627 1 130.0000 32.0000 306.25%
3531.21/3544.64 c 3545 366724 96689 1 130.0000 32.0000 306.25%
3536.29/3549.71 c 3550 367284 96820 1 130.0000 32.0000 306.25%
3541.37/3554.80 c 3555 367888 96916 1 130.0000 32.0000 306.25%
3546.46/3559.96 c 3560 368543 96994 1 130.0000 32.0000 306.25%
3551.54/3565.08 c 3565 369134 97056 1 130.0000 32.0000 306.25%
3556.72/3570.22 c 3570 369660 97217 1 130.0000 32.0000 306.25%
3561.90/3575.41 c 3575 370328 97352 1 130.0000 32.0000 306.25%
3566.87/3580.47 c 3580 370942 97465 1 130.0000 32.0000 306.25%
3571.95/3585.58 c 3586 371504 97542 1 130.0000 32.0000 306.25%
3577.13/3590.72 c 3591 372013 97632 1 130.0000 32.0000 306.25%
3582.31/3595.90 c 3596 372513 97680 1 130.0000 32.0000 306.25%
3585.31/3598.93 c SCIP Status : c solving was interrupted [hard time limit reached]
3585.31/3598.93 c Total Time : 3598.94
3585.31/3598.93 c solving : 3598.94
3585.31/3598.93 c presolving : 0.24 (included in solving)
3585.31/3598.93 c B&B Tree :
3585.31/3598.93 c nodes (total) : 1
3585.31/3598.93 c Solution :
3585.31/3598.93 c Solutions found : 2
3585.31/3598.93 c Primal Bound : +1.30000000000000e+02
3585.31/3598.93 c Dual Bound : +3.20000000000000e+01
3585.31/3598.93 c Gap : 306.25000 %
3585.31/3598.93 c * Warning: final gap: 3.06250e+00 is greater than SCIPepsilon: 1.00000e-09
3585.31/3598.95 o 130
3585.31/3598.95 s SATISFIABLE
3585.31/3598.95 v x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122
3585.31/3598.95 v x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147
3585.31/3598.95 v x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172
3585.31/3598.95 v x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197
3585.31/3598.95 v x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222
3585.31/3598.95 v x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247
3585.31/3598.95 v x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272
3585.31/3598.95 v x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297
3585.31/3598.95 v x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 -x315 x316 x317 x318 x319 x320 x321 x322
3585.31/3598.95 v x323 x324 x325 x326 x327 x328 x329 -x330 x331 x332 x333 x334 x335 x336 x337 x338 x339 x340 -x341 x342 x343 x344 x345 x346 x347
3585.31/3598.95 v x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372
3585.31/3598.95 v x373 x374 x375 x376 x377 x378 -x379 x380 x381 x382 x383 x384 x385 -x386 x387 x388 x389 x390 x391 x392 x393 x394 x395 x396
3585.31/3598.95 v -x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416 x417 x418 x419 x420 x421
3585.31/3598.95 v x422 x423 x424 -x425 x426 x427 x428 x429 x430 -x431 x432 x433 x434 x435 x436 -x437 x438 x439 x440 x441 x442 x443 x444 x445 x446
3585.31/3598.95 v x447 -x448 x449 x450 x451 x452 x453 x454 -x455 x456 -x457 x458 x459 x460 x461 x462 x463 x464 x465 x466 x467 x468 x469 x470
3585.31/3598.95 v x471 x472 x473 x474 x475 x476 x477 x478 x479 x480 x481 x482 x483 x484 x485 x486 x487 -x488 x489 x490 x491 x492 -x493 x494 x495
3585.31/3598.95 v x496 x497 x498 x499 -x500 x501 -x502 x503 x504 x505 x506 x507 x508 x509 x510 x511 x512 x513 x514 -x515 x516 x517 x518 -x519
3585.31/3598.95 v x520 x521 x522 -x523 x524 x525 x526 -x527 x528 x529 x530 -x531 -x532 x533 x534 -x535 x536 x537 -x538 -x539 -x540 x541 x542
3585.31/3598.95 v x543 x544 x545 x546 x547 x548 x549 x550 x551 x552 x553 x554 x555 x556 x557 x558 x559 x560 x561 -x562 x563 x564 -x565 -x566 x567
3585.31/3598.95 v -x568 -x569 -x570 x571 x572 x573 x574 x575 x576 x577 x578 x579 x580 -x581 x582 -x583 x584 -x585 -x586 -x587 -x588 -x589 -x590
3585.31/3598.95 v -x591 x592 x593 x594 x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 x612 x613
3585.31/3598.95 v x614 x615 x616 x617 x618 x619 x620 x621 x622 x623 x624 x625 x626 x627 x628 x629 x630 x631 x632 x633 x634 x635 x636 x637 x638
3585.31/3598.95 v x639 x640 x641 x642 x643 x644 x645 x646 x647 x648 x649 x650 x651 x652 x653 x654 x655 x656 x657 x658 x659 x660 x661 x662 x663
3585.31/3598.95 v x664 x665 x666 x667 x668 x669 x670 x671 x672 x673 x674 x675 x676 x677 x678 x679 x680 x681 x682 x683 x684 x685 x686 x687 x688
3585.31/3598.95 v x689 x690 x691 x692 x693 x694 x695 x696 x697 x698 x699 x700 x701 x702 x703 x704 x705 x706 x707 x708 x709 x710 x711 x712 x713
3585.31/3598.95 v x714 x715 x716 x717 x718 x719 x720 x721 x722 x723 x724 x725 x726 x727 -x728 x729 x730 x731 x732 x733 x734 x735 x736 x737 x738
3585.31/3598.95 v x739 x740 x741 x742 -x743 x744 x745 x746 x747 x748 x749 x750 x751 x752 x753 -x754 x755 x756 x757 x758 x759 x760 x761 x762
3585.31/3598.95 v x763 x764 x765 x766 x767 x768 x769 x770 x771 x772 x773 x774 x775 x776 x777 x778 x779 x780 x781 x782 x783 x784 -x785 x786 x787
3585.31/3598.95 v x788 x789 x790 x791 -x792 x793 x794 x795 x796 x797 x798 x799 x800 x801 x802 -x803 x804 x805 x806 x807 x808 x809 x810 x811 x812
3585.31/3598.95 v x813 x814 x815 x816 x817 x818 x819 x820 x821 x822 x823 x824 -x825 x826 x827 x828 x829 x830 -x831 x832 x833 x834 x835 x836
3585.31/3598.95 v -x837 x838 x839 x840 x841 x842 x843 x844 x845 x846 x847 -x848 x849 x850 x851 x852 x853 x854 -x855 x856 -x857 x858 x859 x860 x861
3585.31/3598.95 v x862 x863 x864 x865 x866 x867 x868 x869 x870 x871 x872 x873 x874 x875 x876 x877 x878 x879 x880 x881 x882 -x883 x884 x885
3585.31/3598.95 v x886 x887 -x888 x889 x890 x891 x892 x893 x894 -x895 x896 -x897 x898 x899 x900 x901 x902 x903 x904 x905 -x906 x907 x908 x909 -x910
3585.31/3598.95 v x911 x912 x913 -x914 x915 x916 x917 -x918 x919 x920 x921 -x922 -x923 x924 x925 -x926 x927 x928 -x929 -x930 -x931 x932 x933
3585.31/3598.95 v x934 x935 x936 x937 x938 x939 x940 x941 x942 x943 x944 x945 x946 x947 x948 x949 -x950 x951 x952 -x953 -x954 x955 -x956 -x957
3585.31/3598.95 v -x958 x959 x960 x961 x962 x963 x964 x965 x966 -x967 x968 -x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 x979 x980
3585.31/3598.95 v x981 -x982 -x983 -x984 -x985 -x986 -x987 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x988 x989 x990 x991 x992 x993 x994 x995 x996
3585.31/3598.95 v x997 x998 x999 x1000 x1001 x1002 x1003 x1004 x1005 x1006 x1007 x1008 x1009 x1010 x1011 x1012 x1013 x1014 x1015 x1016 x1017
3585.31/3598.95 v x1018 x1019 x1020 x1021 x1022 x1023 x1024 x1025 x1026 x1027 x1028 x1029 x1030 x1031 x1032 x1033 x1034 x1035 x1036 x1037 x1038
3585.31/3598.95 v x1039 x1040 -x1041 x1042 x1043 x1044 x1045 x1046 x1047 x1048 x1049 x1050 x1051 x1052 x1053 x1054 x1055 -x1056 x1057 x1058
3585.31/3598.95 v x1059 x1060 x1061 x1062 x1063 x1064 x1065 x1066 -x1067 x1068 x1069 x1070 x1071 x1072 x1073 x1074 x1075 x1076 x1077 x1078 x1079
3585.31/3598.95 v x1080 x1081 x1082 x1083 x1084 x1085 x1086 x1087 x1088 x1089 x1090 -x1091 x1092 x1093 x1094 x1095 x1096 x1097 -x1098 x1099 x1100
3585.31/3598.95 v x1101 x1102 x1103 x1104 x1105 x1106 x1107 x1108 -x1109 x1110 x1111 x1112 x1113 x1114 x1115 x1116 x1117 x1118 x1119 x1120
3585.31/3598.95 v x1121 x1122 x1123 x1124 -x1125 x1126 x1127 x1128 x1129 x1130 -x1131 x1132 x1133 x1134 x1135 x1136 -x1137 x1138 x1139 x1140 x1141
3585.31/3598.95 v x1142 x1143 x1144 x1145 x1146 x1147 -x1148 x1149 x1150 x1151 x1152 x1153 x1154 -x1155 x1156 -x1157 x1158 x1159 x1160 x1161
3585.31/3598.95 v x1162 x1163 x1164 x1165 x1166 x1167 x1168 x1169 x1170 x1171 x1172 x1173 x1174 x1175 x1176 x1177 -x1178 x1179 x1180 x1181 x1182
3585.31/3598.95 v -x1183 x1184 x1185 x1186 x1187 x1188 x1189 -x1190 x1191 -x1192 x1193 x1194 x1195 x1196 -x1197 x1198 x1199 x1200 -x1201 x1202
3585.31/3598.95 v x1203 x1204 -x1205 x1206 x1207 x1208 -x1209 x1210 x1211 x1212 -x1213 -x1214 x1215 x1216 -x1217 x1218 x1219 -x1220 -x1221
3585.31/3598.95 v -x1222 x1223 x1224 x1225 x1226 x1227 x1228 x1229 x1230 x1231 x1232 x1233 x1234 x1235 x1236 x1237 -x1238 x1239 x1240 -x1241 -x1242
3585.31/3598.95 v x1243 -x1244 -x1245 -x1246 x1247 x1248 x1249 x1250 x1251 x1252 -x1253 x1254 -x1255 x1256 -x1257 -x1258 -x1259 -x1260 -x1261
3585.31/3598.95 v -x1262 -x1263 x1264 x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x1273 x1274
3585.31/3598.95 v x1275 x1276 x1277 x1278 x1279 x1280 x1281 x1282 x1283 x1284 x1285 x1286 x1287 -x1288 x1289 x1290 x1291 x1292 x1293 x1294
3585.31/3598.95 v x1295 x1296 x1297 x1298 x1299 x1300 x1301 x1302 x1303 x1304 x1305 x1306 x1307 x1308 x1309 x1310 x1311 x1312 x1313 x1314 x1315
3585.31/3598.95 v x1316 x1317 x1318 x1319 x1320 x1321 x1322 -x1323 x1324 x1325 x1326 x1327 x1328 x1329 x1330 x1331 x1332 x1333 -x1334 x1335 x1336
3585.31/3598.95 v x1337 x1338 x1339 x1340 x1341 x1342 x1343 -x1344 x1345 x1346 x1347 x1348 x1349 -x1350 x1351 x1352 x1353 x1354 x1355 -x1356
3585.31/3598.95 v x1357 x1358 x1359 x1360 x1361 x1362 x1363 x1364 x1365 x1366 -x1367 x1368 x1369 x1370 x1371 x1372 x1373 -x1374 x1375 -x1376
3585.31/3598.95 v x1377 x1378 x1379 x1380 x1381 x1382 x1383 x1384 x1385 x1386 x1387 x1388 x1389 x1390 x1391 -x1392 x1393 x1394 x1395 x1396 -x1397
3585.31/3598.95 v x1398 x1399 x1400 x1401 x1402 x1403 -x1404 x1405 -x1406 x1407 x1408 x1409 x1410 -x1411 x1412 x1413 x1414 -x1415 x1416 x1417
3585.31/3598.95 v x1418 -x1419 x1420 x1421 x1422 -x1423 -x1424 x1425 x1426 -x1427 x1428 x1429 -x1430 -x1431 -x1432 x1433 x1434 x1435 x1436 x1437
3585.31/3598.95 v x1438 x1439 x1440 x1441 x1442 x1443 x1444 -x1445 x1446 x1447 -x1448 -x1449 x1450 -x1451 -x1452 -x1453 x1454 x1455 x1456
3585.31/3598.95 v x1457 -x1458 x1459 -x1460 x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 x1469 x1470 -x1471 -x1472 -x1473 -x1474 -x1475
3585.31/3598.95 v -x1476 -x32 -x31 -x30 -x29 -x28 -x27 x26 x25 x1477 x1478 x1479 x1480 x1481 x1482 x1483 x1484 x1485 x1486 x1487 x1488 x1489
3585.31/3598.95 v x1490 x1491 x1492 x1493 x1494 x1495 x1496 x1497 x1498 x1499 x1500 x1501 x1502 x1503 x1504 x1505 x1506 x1507 x1508 x1509 x1510
3585.31/3598.95 v -x1511 x1512 x1513 x1514 x1515 x1516 x1517 x1518 x1519 x1520 x1521 -x1522 x1523 x1524 x1525 x1526 x1527 x1528 x1529 x1530 -x1531
3585.31/3598.97 v x1532 x1533 x1534 x1535 x1536 x1537 x1538 x1539 x1540 x1541 x1542 x1543 x1544 x1545 x1546 -x1547 x1548 x1549 x1550 x1551
3585.31/3598.97 v x1552 x1553 -x1554 x1555 -x1556 x1557 x1558 x1559 x1560 -x1561 x1562 x1563 x1564 -x1565 x1566 x1567 x1568 -x1569 -x1570 x1571
3585.31/3598.97 v x1572 -x1573 x1574 x1575 -x1576 -x1577 -x1578 x1579 x1580 x1581 x1582 x1583 x1584 x1585 x1586 x1587 -x1588 x1589 x1590 -x1591
3585.31/3598.97 v x1592 x1593 -x1594 -x1595 -x1596 x1597 x1598 x1599 x1600 -x1601 x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 x1610
3585.31/3598.97 v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x40 -x39 -x38 -x37 x36 -x35 -x34 x33 -x1617 x1618 x1619 x1620 x1621 x1622 x1623
3585.31/3598.97 v x1624 x1625 x1626 x1627 -x1628 x1629 x1630 x1631 x1632 x1633 x1634 x1635 x1636 x1637 x1638 x1639 x1640 x1641 x1642 x1643 x1644
3585.31/3598.97 v x1645 x1646 x1647 -x1648 x1649 x1650 x1651 x1652 x1653 x1654 x1655 x1656 -x1657 -x1658 x1659 x1660 x1661 -x1662 x1663 x1664
3585.31/3598.97 v x1665 -x1666 x1667 x1668 x1669 -x1670 x1671 x1672 -x1673 -x1674 -x1675 x1676 x1677 x1678 x1679 x1680 x1681 -x1682 x1683 x1684
3585.31/3598.97 v -x1685 x1686 x1687 -x1688 -x1689 -x1690 x1691 x1692 x1693 x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 x1702 -x1703
3585.31/3598.97 v -x1704 -x1705 -x1706 -x1707 -x48 -x47 -x46 -x45 x44 x43 -x42 x41 x1708 x1709 x1710 x1711 x1712 x1713 x1714 x1715 x1716 x1717
3585.31/3598.97 v x1718 x1719 x1720 x1721 x1722 x1723 x1724 x1725 x1726 -x1727 x1728 x1729 x1730 x1731 x1732 x1733 -x1734 x1735 -x1736 x1737
3585.31/3598.97 v x1738 x1739 x1740 x1741 x1742 -x1743 x1744 x1745 -x1746 -x1747 -x1748 x1749 x1750 -x1751 x1752 -x1753 -x1754 -x1755 -x1756
3585.31/3598.97 v -x1757 x1758 -x1759 -x1760 -x1761 -x1762 -x56 -x55 -x54 x53 x52 -x51 -x50 -x49 -x1763 x1764 x1765 x1766 x1767 x1768 x1769 -x1770
3585.31/3598.97 v x1771 -x1772 x1773 x1774 x1775 x1776 x1777 x1778 -x1779 x1780 -x1781 -x1782 x1783 -x1784 x1785 -x1786 -x1787 -x1788 -x1789
3585.31/3598.97 v -x1790 -x1791 -x1792 -x64 -x63 -x62 x61 x60 x59 -x58 x57 x1793 x1794 x1795 x1796 x1797 x1798 x1799 x1800 -x1801 -x1802 -x1803
3585.31/3598.97 v x1804 -x1805 -x1806 -x72 -x71 x70 x69 -x68 x67 x66 -x65 -x1807 -x1808 -x1809 -x1810 -x1811 -x80 -x79 x78 x77 x76 x75 -x74
3585.31/3598.97 v x73 -x1812 -x96 x95 x94 x93 -x92 x91 -x90 -x89 -x88 x87 x86 -x85 -x84 -x83 -x82 x81 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: 63968 MiB (63121 MiB free)
memory of node 1: 64473 MiB (63541 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464008-1722378597/watcher-4464008-1722378597 -o /tmp/evaluation-result-4464008-1722378597/solver-4464008-1722378597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722378597-30623 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464008-1722378597.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=30674, runsolver pid=30664
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 0.08 0.10 0.09 7/257 30683
/proc/meminfo: memFree=129565436/131524600 swapFree=131071996/131071996
[pid=30674] ppid=30664 vsize=73000 memory=61192 CPUtime=0.1 cores=0,2
/proc/30674/stat : 30674 (fscip) R 30664 30674 30613 0 -1 4194304 14950 0 0 0 8 2 0 0 20 0 1 0 4464014 74752000 15298 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
/proc/30674/statm: 18250 15298 2694 3035 0 14646 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 73000 KiB
Current children cumulated memory: 61192 KiB
[startup+0.206403 s]*
/proc/loadavg: 0.08 0.10 0.09 7/260 30689
/proc/meminfo: memFree=129514868/131524600 swapFree=131071996/131071996
[pid=30674] ppid=30664 vsize=76768 memory=63908 CPUtime=0.2 cores=0,2
/proc/30674/stat : 30674 (fscip) R 30664 30674 30613 0 -1 4194304 16279 0 0 0 18 2 0 0 20 0 1 0 4464014 78610432 15977 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
/proc/30674/statm: 19192 15977 2774 3035 0 15588 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 76768 KiB
Current children cumulated memory: 63908 KiB
[startup+0.317513 s]*
/proc/loadavg: 0.08 0.10 0.09 6/262 30691
/proc/meminfo: memFree=129404928/131524600 swapFree=131071996/131071996
[pid=30674] ppid=30664 vsize=192152 memory=114656 CPUtime=0.3 cores=0,2
/proc/30674/stat : 30674 (fscip) S 30664 30674 30613 0 -1 1077936128 28985 0 0 0 26 4 0 0 20 0 3 0 4464014 196763648 28664 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
/proc/30674/statm: 48038 28664 2806 3035 0 33836 0
[pid=30674/tid=30690] ppid=30664 vsize=192152 memory=-6000919485541018732 CPUtime=0.01 cores=0,2
/proc/30674/task/30690/stat : 30690 (fscip) R 30664 30674 30613 0 -1 4194368 5728 0 0 0 0 1 0 0 20 0 3 0 4464043 196763648 28664 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
[pid=30674/tid=30691] ppid=30664 vsize=192152 memory=0 CPUtime=0 cores=0,2
/proc/30674/task/30691/stat : 30691 (fscip) S 30664 30674 30613 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4464045 196763648 28664 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 192152 KiB
Current children cumulated memory: 114656 KiB
[startup+0.700255 s]
/proc/loadavg: 0.08 0.10 0.09 7/262 30691
/proc/meminfo: memFree=129308172/131524600 swapFree=131071996/131071996
[pid=30674] ppid=30664 vsize=200896 memory=156928 CPUtime=0.67 cores=0,2
/proc/30674/stat : 30674 (fscip) S 30664 30674 30613 0 -1 1077936128 38370 0 0 0 62 5 0 0 20 0 3 0 4464014 205717504 39232 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
/proc/30674/statm: 50224 39232 2950 3035 0 46001 0
[pid=30674/tid=30690] ppid=30664 vsize=200896 memory=2524 CPUtime=0.38 cores=0,2
/proc/30674/task/30690/stat : 30690 (fscip) R 30664 30674 30613 0 -1 4194368 15154 0 0 0 36 2 0 0 20 0 3 0 4464043 205717504 39232 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
[pid=30674/tid=30691] ppid=30664 vsize=200896 memory=417 CPUtime=0 cores=0,2
/proc/30674/task/30691/stat : 30691 (fscip) S 30664 30674 30613 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4464045 205717504 39232 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 200896 KiB
Current children cumulated memory: 156928 KiB
[startup+1.50026 s]
/proc/loadavg: 0.08 0.10 0.09 7/262 30691
/proc/meminfo: memFree=129029556/131524600 swapFree=131071996/131071996
[pid=30674] ppid=30664 vsize=266432 memory=194932 CPUtime=1.47 cores=0,2
/proc/30674/stat : 30674 (fscip) S 30664 30674 30613 0 -1 1077936128 56234 0 0 0 140 7 0 0 20 0 3 0 4464014 272826368 48733 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
/proc/30674/statm: 66608 48733 2950 3035 0 56441 0
[pid=30674/tid=30690] ppid=30664 vsize=266432 memory=0 CPUtime=1.18 cores=0,2
/proc/30674/task/30690/stat : 30690 (fscip) R 30664 30674 30613 0 -1 4194368 32977 0 0 0 114 4 0 0 20 0 3 0 4464043 272826368 48733 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
[pid=30674/tid=30691] ppid=30664 vsize=266432 memory=2524 CPUtime=0 cores=0,2
/proc/30674/task/30691/stat : 30691 (fscip) S 30664 30674 30613 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4464045 272826368 48733 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 266432 KiB
Current children cumulated memory: 194932 KiB
[startup+3.10624 s]
/proc/loadavg: 0.08 0.10 0.09 7/264 30693
/proc/meminfo: memFree=128266688/131524600 swapFree=131071996/131071996
[pid=30674] ppid=30664 vsize=266432 memory=211312 CPUtime=3.07 cores=0,2
/proc/30674/stat : 30674 (fscip) S 30664 30674 30613 0 -1 1077936128 66185 0 0 0 299 8 0 0 20 0 3 0 4464014 272826368 52828 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
/proc/30674/statm: 66608 52828 2950 3035 0 60143 0
[pid=30674/tid=30690] ppid=30664 vsize=266432 memory=-5155631288709573509 CPUtime=2.78 cores=0,2
/proc/30674/task/30690/stat : 30690 (fscip) R 30664 30674 30613 0 -1 4194368 42900 0 0 0 273 5 0 0 20 0 3 0 4464043 272826368 52828 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
[pid=30674/tid=30691] ppid=30664 vsize=266432 memory=279509761053632 CPUtime=0 cores=0,2
/proc/30674/task/30691/stat : 30691 (fscip) S 30664 30674 30613 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4464045 272826368 52828 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 266432 KiB
Current children cumulated memory: 211312 KiB
[startup+6.30025 s]
/proc/loadavg: 0.63 0.22 0.13 7/266 30753
/proc/meminfo: memFree=127927180/131524600 swapFree=131071996/131071996
[pid=30674] ppid=30664 vsize=266432 memory=214092 CPUtime=6.25 cores=0,2
/proc/30674/stat : 30674 (fscip) S 30664 30674 30613 0 -1 1077936128 82824 0 0 0 615 10 0 0 20 0 3 0 4464014 272826368 53523 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
/proc/30674/statm: 66608 53523 3014 3035 0 60745 0
[pid=30674/tid=30690] ppid=30664 vsize=266432 memory=212428 CPUtime=5.95 cores=0,2
/proc/30674/task/30690/stat : 30690 (fscip) R 30664 30674 30613 0 -1 4194368 59518 0 0 0 589 6 0 0 20 0 3 0 4464043 272826368 53523 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
[pid=30674/tid=30691] ppid=30664 vsize=266432 memory=0 CPUtime=0 cores=0,2
/proc/30674/task/30691/stat : 30691 (fscip) S 30664 30674 30613 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4464045 272826368 53523 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 266432 KiB
Current children cumulated memory: 214092 KiB
[startup+12.7015 s]
/proc/loadavg: 0.90 0.28 0.15 5/258 30784
/proc/meminfo: memFree=127851316/131524600 swapFree=131071996/131071996
[pid=30674] ppid=30664 vsize=331968 memory=234136 CPUtime=12.62 cores=0,2
/proc/30674/stat : 30674 (fscip) S 30664 30674 30613 0 -1 1077936128 127437 0 0 0 1249 13 0 0 20 0 3 0 4464014 339935232 58534 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
/proc/30674/statm: 82992 58534 3014 3035 0 65720 0
[pid=30674/tid=30690] ppid=30664 vsize=331968 memory=233052 CPUtime=12.32 cores=0,2
/proc/30674/task/30690/stat : 30690 (fscip) R 30664 30674 30613 0 -1 4194368 104077 0 0 0 1223 9 0 0 20 0 3 0 4464043 339935232 58534 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
[pid=30674/tid=30691] ppid=30664 vsize=331968 memory=-7236276917862752890 CPUtime=0 cores=0,2
/proc/30674/task/30691/stat : 30691 (fscip) S 30664 30674 30613 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4464045 339935232 58534 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 331968 KiB
Current children cumulated memory: 234136 KiB
[startup+25.5003 s]
/proc/loadavg: 1.59 0.46 0.21 5/268 30902
/proc/meminfo: memFree=125839788/131524600 swapFree=131071996/131071996
[pid=30674] ppid=30664 vsize=331968 memory=234160 CPUtime=25.35 cores=0,2
/proc/30674/stat : 30674 (fscip) S 30664 30674 30613 0 -1 1077936128 168745 0 0 0 2519 16 0 0 20 0 3 0 4464014 339935232 58540 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
/proc/30674/statm: 82992 58540 3014 3035 0 65720 0
[pid=30674/tid=30690] ppid=30664 vsize=331968 memory=-7236276917862752890 CPUtime=25.05 cores=0,2
/proc/30674/task/30690/stat : 30690 (fscip) R 30664 30674 30613 0 -1 4194368 145350 0 0 0 2493 12 0 0 20 0 3 0 4464043 339935232 58540 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
[pid=30674/tid=30691] ppid=30664 vsize=331968 memory=2268 CPUtime=0 cores=0,2
/proc/30674/task/30691/stat : 30691 (fscip) S 30664 30674 30613 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 4464045 339935232 58540 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 331968 KiB
Current children cumulated memory: 234160 KiB
[startup+51.1057 s]
/proc/loadavg: 2.49 0.77 0.32 5/268 31049
/proc/meminfo: memFree=125641856/131524600 swapFree=131071996/131071996
[pid=30674] ppid=30664 vsize=331968 memory=256932 CPUtime=50.87 cores=0,2
/proc/30674/stat : 30674 (fscip) S 30664 30674 30613 0 -1 1077936128 254218 0 0 0 5064 23 0 0 20 0 3 0 4464014 339935232 64233 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
/proc/30674/statm: 82992 64233 3014 3035 0 72188 0
[pid=30674/tid=30690] ppid=30664 vsize=331968 memory=259284 CPUtime=50.57 cores=0,2
/proc/30674/task/30690/stat : 30690 (fscip) R 30664 30674 30613 0 -1 4194368 230728 0 0 0 5037 20 0 0 20 0 3 0 4464043 339935232 64233 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
[pid=30674/tid=30691] ppid=30664 vsize=331968 memory=259748 CPUtime=0 cores=0,2
/proc/30674/task/30691/stat : 30691 (fscip) S 30664 30674 30613 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 4464045 339935232 64233 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 331968 KiB
Current children cumulated memory: 256932 KiB
[startup+102.3 s]
/proc/loadavg: 3.41 1.28 0.52 5/266 31153
/proc/meminfo: memFree=122402312/131524600 swapFree=131071996/131071996
[pid=30674] ppid=30664 vsize=331968 memory=256976 CPUtime=101.87 cores=0,2
/proc/30674/stat : 30674 (fscip) S 30664 30674 30613 0 -1 1077936128 308272 0 0 0 10160 27 0 0 20 0 3 0 4464014 339935232 64244 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
/proc/30674/statm: 82992 64244 3014 3035 0 72188 0
[pid=30674/tid=30690] ppid=30664 vsize=331968 memory=13012 CPUtime=101.57 cores=0,2
/proc/30674/task/30690/stat : 30690 (fscip) R 30664 30674 30613 0 -1 4194368 284673 0 0 0 10133 24 0 0 20 0 3 0 4464043 339935232 64244 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
[pid=30674/tid=30691] ppid=30664 vsize=331968 memory=256944 CPUtime=0 cores=0,2
/proc/30674/task/30691/stat : 30691 (fscip) S 30664 30674 30613 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 4464045 339935232 64244 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 331968 KiB
Current children cumulated memory: 256976 KiB
[startup+162.3 s]
/proc/loadavg: 3.83 1.79 0.74 5/266 31306
/proc/meminfo: memFree=119591252/131524600 swapFree=131071996/131071996
[pid=30674] ppid=30664 vsize=331968 memory=274920 CPUtime=161.66 cores=0,2
/proc/30674/stat : 30674 (fscip) S 30664 30674 30613 0 -1 1077936128 347227 0 0 0 16131 35 0 0 20 0 3 0 4464014 339935232 68730 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
/proc/30674/statm: 82992 68730 3014 3035 0 75873 0
[pid=30674/tid=30690] ppid=30664 vsize=331968 memory=256992 CPUtime=161.35 cores=0,2
/proc/30674/task/30690/stat : 30690 (fscip) R 30664 30674 30613 0 -1 4194368 323564 0 0 0 16104 31 0 0 20 0 3 0 4464043 339935232 68730 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
[pid=30674/tid=30691] ppid=30664 vsize=331968 memory=273696 CPUtime=0 cores=0,2
/proc/30674/task/30691/stat : 30691 (fscip) S 30664 30674 30613 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 4464045 339935232 68730 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 331968 KiB
Current children cumulated memory: 274920 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 2.26 0.97 5/267 31318
/proc/meminfo: memFree=113400056/131524600 swapFree=131071996/131071996
[pid=30674] ppid=30664 vsize=397504 memory=303752 CPUtime=221.44 cores=0,2
/proc/30674/stat : 30674 (fscip) S 30664 30674 30613 0 -1 1077936128 375835 0 0 0 22103 41 0 0 20 0 3 0 4464014 407044096 75938 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
/proc/30674/statm: 99376 75938 3014 3035 0 82896 0
################
# More data... #
################
/proc/30674/statm: 475908 444163 3334 3035 0 468416 0
[pid=30674/tid=30690] ppid=30664 vsize=1903632 memory=11408 CPUtime=3448.68 cores=0,2
/proc/30674/task/30690/stat : 30690 (fscip) R 30664 30674 30613 0 -1 4194368 3892574 0 0 0 344266 602 0 0 20 0 3 0 4464043 1949319168 444163 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
[pid=30674/tid=30691] ppid=30664 vsize=1903632 memory=1787996 CPUtime=0.03 cores=0,2
/proc/30674/task/30691/stat : 30691 (fscip) S 30664 30674 30613 0 -1 1077936192 144 0 0 0 0 3 0 0 20 0 3 0 4464045 1949319168 444163 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
Current children cumulated CPU time: 3449.22 s
Current children cumulated vsize: 1903632 KiB
Current children cumulated memory: 1776652 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.13 4.04 5/267 34115
/proc/meminfo: memFree=121706252/131524600 swapFree=131071996/131071996
[pid=30674] ppid=30664 vsize=1969168 memory=1819980 CPUtime=3508.99 cores=0,2
/proc/30674/stat : 30674 (fscip) S 30664 30674 30613 0 -1 1077936128 4027681 0 0 0 350269 630 0 0 20 0 3 0 4464014 2016428032 454995 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
/proc/30674/statm: 492292 454995 3334 3035 0 474226 0
[pid=30674/tid=30690] ppid=30664 vsize=1969168 memory=1787996 CPUtime=3508.44 cores=0,2
/proc/30674/task/30690/stat : 30690 (fscip) R 30664 30674 30613 0 -1 4194368 4002850 0 0 0 350228 616 0 0 20 0 3 0 4464043 2016428032 454995 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
[pid=30674/tid=30691] ppid=30664 vsize=1969168 memory=11408 CPUtime=0.03 cores=0,2
/proc/30674/task/30691/stat : 30691 (fscip) S 30664 30674 30613 0 -1 1077936192 146 0 0 0 0 3 0 0 20 0 3 0 4464045 2016428032 454995 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
Current children cumulated CPU time: 3508.99 s
Current children cumulated vsize: 1969168 KiB
Current children cumulated memory: 1819980 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.14 4.04 5/267 34125
/proc/meminfo: memFree=121565472/131524600 swapFree=131071996/131071996
[pid=30674] ppid=30664 vsize=1969168 memory=1825932 CPUtime=3568.76 cores=0,2
/proc/30674/stat : 30674 (fscip) S 30664 30674 30613 0 -1 1077936128 4134052 0 0 0 356231 645 0 0 20 0 3 0 4464014 2016428032 456483 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
/proc/30674/statm: 492292 456483 3334 3035 0 474948 0
[pid=30674/tid=30690] ppid=30664 vsize=1969168 memory=2268 CPUtime=3568.21 cores=0,2
/proc/30674/task/30690/stat : 30690 (fscip) R 30664 30674 30613 0 -1 4194368 4109203 0 0 0 356190 631 0 0 20 0 3 0 4464043 2016428032 456483 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
[pid=30674/tid=30691] ppid=30664 vsize=1969168 memory=11408 CPUtime=0.03 cores=0,2
/proc/30674/task/30691/stat : 30691 (fscip) S 30664 30674 30613 0 -1 1077936192 148 0 0 0 0 3 0 0 20 0 3 0 4464045 2016428032 456483 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
Current children cumulated CPU time: 3568.76 s
Current children cumulated vsize: 1969168 KiB
Current children cumulated memory: 1825932 KiB
[startup+3599 s]
# the end of solver process 30674 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3578.71 s, system=6.70133 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.17 4.14 4.04 5/267 34125
/proc/meminfo: memFree=121563748/131524600 swapFree=131071996/131071996
[pid=30674] ppid=30664 vsize=1969168 memory=1827224 CPUtime=3570.47 cores=0,2
/proc/30674/stat : 30674 (fscip) S 30664 30674 30613 0 -1 1077936128 4136526 0 0 0 356401 646 0 0 20 0 3 0 4464014 2016428032 456806 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
/proc/30674/statm: 492292 456806 3334 3035 0 475261 0
[pid=30674/tid=30690] ppid=30664 vsize=1969168 memory=-7379829155985186938 CPUtime=3569.92 cores=0,2
/proc/30674/task/30690/stat : 30690 (fscip) R 30664 30674 30613 0 -1 4194368 4111677 0 0 0 356360 632 0 0 20 0 3 0 4464043 2016428032 456806 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
[pid=30674/tid=30691] ppid=30664 vsize=1969168 memory=279509760737536 CPUtime=0.03 cores=0,2
/proc/30674/task/30691/stat : 30691 (fscip) S 30664 30674 30613 0 -1 1077936192 148 0 0 0 0 3 0 0 20 0 3 0 4464045 2016428032 456806 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
Current children cumulated CPU time: 3570.47 s
Current children cumulated vsize: 1969168 KiB
Current children cumulated memory: 1827224 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.13 4.04 5/267 34126
/proc/meminfo: memFree=121561828/131524600 swapFree=131071996/131071996
[pid=30674] ppid=30664 vsize=1969168 memory=1828936 CPUtime=3576.83 cores=0,2
/proc/30674/stat : 30674 (fscip) S 30664 30674 30613 0 -1 1077936128 4140039 0 0 0 357036 647 0 0 20 0 3 0 4464014 2016428032 457234 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
/proc/30674/statm: 492292 457234 3334 3035 0 475596 0
[pid=30674/tid=30690] ppid=30664 vsize=1969168 memory=1827224 CPUtime=3576.28 cores=0,2
/proc/30674/task/30690/stat : 30690 (fscip) R 30664 30674 30613 0 -1 4194368 4115190 0 0 0 356995 633 0 0 20 0 3 0 4464043 2016428032 457234 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
[pid=30674/tid=30691] ppid=30664 vsize=1969168 memory=11408 CPUtime=0.03 cores=0,2
/proc/30674/task/30691/stat : 30691 (fscip) S 30664 30674 30613 0 -1 1077936192 148 0 0 0 0 3 0 0 20 0 3 0 4464045 2016428032 457234 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
Current children cumulated CPU time: 3576.83 s
Current children cumulated vsize: 1969168 KiB
Current children cumulated memory: 1828936 KiB
[startup+3593.6 s]
/proc/loadavg: 4.15 4.13 4.04 5/267 34126
/proc/meminfo: memFree=121560968/131524600 swapFree=131071996/131071996
[pid=30674] ppid=30664 vsize=1969168 memory=1828976 CPUtime=3580.02 cores=0,2
/proc/30674/stat : 30674 (fscip) S 30664 30674 30613 0 -1 1077936128 4148979 0 0 0 357354 648 0 0 20 0 3 0 4464014 2016428032 457244 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
/proc/30674/statm: 492292 457244 3334 3035 0 475596 0
[pid=30674/tid=30690] ppid=30664 vsize=1969168 memory=1828940 CPUtime=3579.47 cores=0,2
/proc/30674/task/30690/stat : 30690 (fscip) R 30664 30674 30613 0 -1 4194368 4124130 0 0 0 357313 634 0 0 20 0 3 0 4464043 2016428032 457244 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
[pid=30674/tid=30691] ppid=30664 vsize=1969168 memory=1828800 CPUtime=0.03 cores=0,2
/proc/30674/task/30691/stat : 30691 (fscip) S 30664 30674 30613 0 -1 1077936192 148 0 0 0 0 3 0 0 20 0 3 0 4464045 2016428032 457244 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
Current children cumulated CPU time: 3580.02 s
Current children cumulated vsize: 1969168 KiB
Current children cumulated memory: 1828976 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.13 4.04 5/267 34128
/proc/meminfo: memFree=121560856/131524600 swapFree=131071996/131071996
[pid=30674] ppid=30664 vsize=1969168 memory=1829024 CPUtime=3583.21 cores=0,2
/proc/30674/stat : 30674 (fscip) S 30664 30674 30613 0 -1 1077936128 4158562 0 0 0 357672 649 0 0 20 0 3 0 4464014 2016428032 457256 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
/proc/30674/statm: 492292 457256 3334 3035 0 475596 0
[pid=30674/tid=30690] ppid=30664 vsize=1969168 memory=1828828 CPUtime=3582.66 cores=0,2
/proc/30674/task/30690/stat : 30690 (fscip) R 30664 30674 30613 0 -1 4194368 4133713 0 0 0 357631 635 0 0 20 0 3 0 4464043 2016428032 457256 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
[pid=30674/tid=30691] ppid=30664 vsize=1969168 memory=1822936 CPUtime=0.03 cores=0,2
/proc/30674/task/30691/stat : 30691 (fscip) S 30664 30674 30613 0 -1 1077936192 148 0 0 0 0 3 0 0 20 0 3 0 4464045 2016428032 457256 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
Current children cumulated CPU time: 3583.21 s
Current children cumulated vsize: 1969168 KiB
Current children cumulated memory: 1829024 KiB
[startup+3597.6 s]
/proc/loadavg: 4.14 4.13 4.04 5/267 34128
/proc/meminfo: memFree=121560820/131524600 swapFree=131071996/131071996
[pid=30674] ppid=30664 vsize=1969168 memory=1829068 CPUtime=3584.01 cores=0,2
/proc/30674/stat : 30674 (fscip) S 30664 30674 30613 0 -1 1077936128 4158835 0 0 0 357752 649 0 0 20 0 3 0 4464014 2016428032 457267 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
/proc/30674/statm: 492292 457267 3334 3035 0 475688 0
[pid=30674/tid=30690] ppid=30664 vsize=1969168 memory=5464 CPUtime=3583.46 cores=0,2
/proc/30674/task/30690/stat : 30690 (fscip) R 30664 30674 30613 0 -1 4194368 4133986 0 0 0 357711 635 0 0 20 0 3 0 4464043 2016428032 457267 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
[pid=30674/tid=30691] ppid=30664 vsize=1969168 memory=2524 CPUtime=0.03 cores=0,2
/proc/30674/task/30691/stat : 30691 (fscip) S 30664 30674 30613 0 -1 1077936192 148 0 0 0 0 3 0 0 20 0 3 0 4464045 2016428032 457267 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
Current children cumulated CPU time: 3584.01 s
Current children cumulated vsize: 1969168 KiB
Current children cumulated memory: 1829068 KiB
[startup+3598.4 s]
/proc/loadavg: 4.14 4.13 4.04 5/267 34128
/proc/meminfo: memFree=121555028/131524600 swapFree=131071996/131071996
[pid=30674] ppid=30664 vsize=1969168 memory=1833300 CPUtime=3584.8 cores=0,2
/proc/30674/stat : 30674 (fscip) S 30664 30674 30613 0 -1 1077936128 4264622 0 0 0 357824 656 0 0 20 0 3 0 4464014 2016428032 458325 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
/proc/30674/statm: 492292 458325 3334 3035 0 478897 0
[pid=30674/tid=30690] ppid=30664 vsize=1969168 memory=-7379829155985186938 CPUtime=3584.25 cores=0,2
/proc/30674/task/30690/stat : 30690 (fscip) R 30664 30674 30613 0 -1 4194368 4239792 0 0 0 357783 642 0 0 20 0 3 0 4464043 2016428032 458325 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
[pid=30674/tid=30691] ppid=30664 vsize=1969168 memory=-5155633680935826750 CPUtime=0.03 cores=0,2
/proc/30674/task/30691/stat : 30691 (fscip) S 30664 30674 30613 0 -1 1077936192 148 0 0 0 0 3 0 0 20 0 3 0 4464045 2016428032 458325 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
Current children cumulated CPU time: 3584.8 s
Current children cumulated vsize: 1969168 KiB
Current children cumulated memory: 1833300 KiB
[startup+3598.8 s]
/proc/loadavg: 4.14 4.13 4.04 5/267 34128
/proc/meminfo: memFree=121555028/131524600 swapFree=131071996/131071996
[pid=30674] ppid=30664 vsize=1969168 memory=1833300 CPUtime=3585.2 cores=0,2
/proc/30674/stat : 30674 (fscip) S 30664 30674 30613 0 -1 1077936128 4376419 0 0 0 357857 663 0 0 20 0 3 0 4464014 2016428032 458325 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
/proc/30674/statm: 492292 458325 3334 3035 0 478897 0
[pid=30674/tid=30690] ppid=30664 vsize=1969168 memory=4888 CPUtime=3584.65 cores=0,2
/proc/30674/task/30690/stat : 30690 (fscip) R 30664 30674 30613 0 -1 4194368 4351579 0 0 0 357816 649 0 0 20 0 3 0 4464043 2016428032 458325 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
[pid=30674/tid=30691] ppid=30664 vsize=1969168 memory=1349460 CPUtime=0.03 cores=0,2
/proc/30674/task/30691/stat : 30691 (fscip) S 30664 30674 30613 0 -1 1077936192 148 0 0 0 0 3 0 0 20 0 3 0 4464045 2016428032 458325 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
Current children cumulated CPU time: 3585.2 s
Current children cumulated vsize: 1969168 KiB
Current children cumulated memory: 1833300 KiB
[startup+3598.9 s]
/proc/loadavg: 4.14 4.13 4.04 5/267 34128
/proc/meminfo: memFree=121555028/131524600 swapFree=131071996/131071996
[pid=30674] ppid=30664 vsize=1969168 memory=1833300 CPUtime=3585.31 cores=0,2
/proc/30674/stat : 30674 (fscip) S 30664 30674 30613 0 -1 1077936128 4394623 0 0 0 357867 664 0 0 20 0 3 0 4464014 2016428032 458325 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
/proc/30674/statm: 492292 458325 3334 3035 0 478897 0
[pid=30674/tid=30690] ppid=30664 vsize=1969168 memory=1828772 CPUtime=3584.76 cores=0,2
/proc/30674/task/30690/stat : 30690 (fscip) R 30664 30674 30613 0 -1 4194368 4369776 0 0 0 357826 650 0 0 20 0 3 0 4464043 2016428032 458325 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
[pid=30674/tid=30691] ppid=30664 vsize=1969168 memory=1828980 CPUtime=0.03 cores=0,2
/proc/30674/task/30691/stat : 30691 (fscip) S 30664 30674 30613 0 -1 1077936192 148 0 0 0 0 3 0 0 20 0 3 0 4464045 2016428032 458325 134679101440 4194304 16623229 140721784124304 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42569728 140721784128534 140721784128650 140721784128650 140721784135664 0
Current children cumulated CPU time: 3585.31 s
Current children cumulated vsize: 1969168 KiB
Current children cumulated memory: 1833300 KiB
Child status: 0
Real time (s): 3599
CPU time (s): 3585.41
CPU user time (s): 3578.71
CPU system time (s): 6.70133
CPU usage (%): 99.6226
Max. virtual memory (cumulated for all children) (KiB): 1969168
Max. memory (cumulated for all children) (KiB): 1835972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.71
system time used= 6.70133
maximum resident set size= 1845196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4399044
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= 11183
involuntary context switches= 25125
# summary of solver processes directly reported to runsolver:
# pid: 30674
# total CPU time (s): 3585.41
# total CPU user time (s): 3578.71
# total CPU system time (s): 6.70133
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.00587 second user time and 18.5245 second system time
The end
Begin job on nodeC034 at 2024-07-31 00:29:57
IDJOB=4464008
IDBENCH=147622
IDSOLVER=3092
FILE ID=nodeC034/4464008-1722378597
RUNJOBID= nodeC034-1722378597-30623
SLURM_JOB_ID= 8249857
Free space on /tmp= 890084 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_12.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-4464008-1722378597/watcher-4464008-1722378597 -o /tmp/evaluation-result-4464008-1722378597/solver-4464008-1722378597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722378597-30623 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464008-1722378597.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 88220551ed2e54bab314d6806833f69c
RANDOM SEED=576650998
nodeC034.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 : 3614.443
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.51
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 : 3671.321
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.49
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 : 3504.893
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.51
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 : 3726.056
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.49
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 : 3612.137
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.51
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 : 3726.056
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.49
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 : 3772.464
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.51
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 : 3687.109
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129698920 kB
MemAvailable: 129849700 kB
Buffers: 86052 kB
Cached: 900088 kB
SwapCached: 0 kB
Active: 252632 kB
Inactive: 1099668 kB
Active(anon): 1444 kB
Inactive(anon): 386452 kB
Active(file): 251188 kB
Inactive(file): 713216 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 99256 kB
Writeback: 8 kB
AnonPages: 364924 kB
Mapped: 88540 kB
Shmem: 21336 kB
KReclaimable: 52400 kB
Slab: 132784 kB
SReclaimable: 52400 kB
SUnreclaim: 80384 kB
KernelStack: 3904 kB
PageTables: 9308 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 723580 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9824 kB
HardwareCorrupted: 0 kB
AnonHugePages: 245760 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: 185044 kB
DirectMap2M: 5879808 kB
DirectMap1G: 130023424 kB
Free space on /tmp at the end= 889952 MiB
End job on nodeC034 at 2024-07-31 01:29:56