0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.02 c Default LC presolving (default).
0.00/0.03 c ** Before presolving: virtualMemUsedAtLc = 44101632, getVmSize() = 44101632, SCIPgetMemUsed() = 10607804, SCIPgetMemTotal() = 22289052, SCIPgetMemExternEstim() = 5463096
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.10/0.15 c ** Estimated virtualMemUsedAtSolver = 39747584, getVmSize() = 75141120, SCIPgetMemUsed() = 30150186, SCIPgetMemTotal() = 52140122, SCIPgetMemExternEstim() = 5463096
0.10/0.15 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.10/0.15 c Original Problem :
0.10/0.15 c Problem name : instance-4434672-1721101660
0.10/0.15 c Variables : 1288 (1288 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.15 c Constraints : 2431
0.10/0.15 c Objective sense : minimize
0.10/0.15 c Presolved Problem :
0.10/0.15 c Variables : 1287 (1287 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.15 c Constraints : 1744
0.10/0.15 c Constraints : Number
0.10/0.15 c knapsack : 66
0.10/0.15 c setppc : 496
0.10/0.15 c linear : 1182
0.10/0.15 c ** Instance transfer method used: 0
0.10/0.16 c ** ParaScipInstance copy does not increase the number of variables. **
0.10/0.17 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.10/0.17 c Nodes Active
0.10/0.17 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.46/5.58 c 6 262 127 1 - 55.0000 -
10.45/10.56 c * 11 429 240 1 130.0000 55.0000 136.36%
10.75/10.87 c 11 462 267 1 130.0000 55.0000 136.36%
16.14/16.23 c 16 956 540 1 130.0000 55.0000 136.36%
22.12/22.22 c 22 1203 31 1 130.0000 55.0000 136.36%
27.10/27.27 c * 27 2488 497 1 128.0000 55.0000 132.73%
27.10/27.27 c 27 2488 497 1 128.0000 55.0000 132.73%
32.19/32.32 c 32 4781 704 1 128.0000 55.0000 132.73%
37.58/37.72 c 38 6308 757 1 128.0000 55.0000 132.73%
42.67/42.83 c 43 7369 807 1 128.0000 55.0000 132.73%
47.74/47.90 c 48 9576 1268 1 128.0000 55.0000 132.73%
52.74/52.98 c 53 12050 1234 1 128.0000 55.0000 132.73%
57.92/58.16 c 58 13636 1277 1 128.0000 55.0000 132.73%
63.60/63.88 c 64 15214 1275 1 128.0000 55.0000 132.73%
68.98/69.23 c 69 16686 1603 1 128.0000 55.0000 132.73%
74.07/74.39 c 74 18006 2075 1 128.0000 55.0000 132.73%
79.16/79.44 c 79 19395 2513 1 128.0000 55.0000 132.73%
84.24/84.51 c 85 20712 2774 1 128.0000 55.0000 132.73%
89.23/89.58 c 90 22071 3085 1 128.0000 55.0000 132.73%
94.31/94.69 c 95 23252 3286 1 128.0000 55.0000 132.73%
99.40/99.79 c 100 24091 3406 1 128.0000 55.0000 132.73%
104.49/104.89 c 105 24649 3582 1 128.0000 55.0000 132.73%
109.57/109.94 c 110 25552 3871 1 128.0000 55.0000 132.73%
114.56/114.99 c 115 26466 4143 1 128.0000 55.0000 132.73%
119.65/120.07 c 120 27239 4461 1 128.0000 55.0000 132.73%
124.73/125.16 c 125 28063 4736 1 128.0000 55.0000 132.73%
129.92/130.30 c 130 28902 4961 1 128.0000 55.0000 132.73%
134.91/135.36 c 135 29815 5274 1 128.0000 55.0000 132.73%
139.99/140.41 c 140 30754 5489 1 128.0000 55.0000 132.73%
145.08/145.50 c 146 31610 5758 1 128.0000 55.0000 132.73%
149.26/149.75 c * 150 32143 5984 1 119.0000 55.0000 116.36%
150.16/150.63 c 151 32312 5552 1 119.0000 55.0000 116.36%
153.74/154.28 c * 154 32834 5852 1 103.0000 55.0000 87.27%
155.24/155.72 c 156 33252 5542 1 103.0000 55.0000 87.27%
160.32/160.80 c 161 34183 5932 1 103.0000 55.0000 87.27%
165.40/165.97 c 166 34921 6245 1 103.0000 55.0000 87.27%
170.49/171.05 c 171 35767 6564 1 103.0000 55.0000 87.27%
175.58/176.12 c 176 36684 6906 1 103.0000 55.0000 87.27%
180.65/181.20 c 181 37581 7189 1 103.0000 55.0000 87.27%
185.63/186.24 c 186 39124 7586 1 103.0000 55.0000 87.27%
190.81/191.42 c 191 39986 7893 1 103.0000 55.0000 87.27%
195.89/196.53 c 197 40966 8174 1 103.0000 55.0000 87.27%
201.08/201.72 c 202 41794 8394 1 103.0000 55.0000 87.27%
206.16/206.84 c 207 42751 8769 1 103.0000 55.0000 87.27%
211.14/211.89 c 212 43719 9020 1 103.0000 55.0000 87.27%
216.22/216.94 c 217 44646 9330 1 103.0000 55.0000 87.27%
221.30/222.01 c 222 45719 9582 1 103.0000 55.0000 87.27%
226.29/227.07 c 227 46537 9890 1 103.0000 55.0000 87.27%
231.36/232.13 c 232 47365 10198 1 103.0000 55.0000 87.27%
236.35/237.19 c 237 48188 10460 1 103.0000 55.0000 87.27%
241.43/242.24 c 242 49109 10729 1 103.0000 55.0000 87.27%
246.50/247.30 c 247 49984 11085 1 103.0000 55.0000 87.27%
251.59/252.40 c 252 50798 11413 1 103.0000 55.0000 87.27%
256.66/257.53 c 258 51789 11743 1 103.0000 55.0000 87.27%
261.75/262.63 c 263 52674 12000 1 103.0000 55.0000 87.27%
266.83/267.70 c 268 53977 12284 1 103.0000 55.0000 87.27%
271.81/272.76 c 273 55039 12529 1 103.0000 55.0000 87.27%
276.89/277.85 c 278 55773 12870 1 103.0000 55.0000 87.27%
282.07/283.04 c 283 56734 13157 1 103.0000 55.0000 87.27%
287.06/288.10 c 288 57598 13473 1 103.0000 55.0000 87.27%
292.14/293.18 c 293 58543 13758 1 103.0000 55.0000 87.27%
297.23/298.24 c 298 59439 14041 1 103.0000 55.0000 87.27%
302.31/303.31 c 303 60296 14325 1 103.0000 55.0000 87.27%
307.30/308.38 c 308 61301 14687 1 103.0000 55.0000 87.27%
312.38/313.43 c 313 62208 14995 1 103.0000 55.0000 87.27%
317.47/318.56 c 319 63142 15288 1 103.0000 55.0000 87.27%
322.55/323.63 c 324 63851 15582 1 103.0000 55.0000 87.27%
327.63/328.71 c 329 64608 15805 1 103.0000 55.0000 87.27%
332.72/333.80 c 334 65351 16047 1 103.0000 55.0000 87.27%
337.91/339.01 c 339 66239 16346 1 103.0000 55.0000 87.27%
342.90/344.08 c 344 67069 16575 1 103.0000 55.0000 87.27%
347.98/349.16 c 349 68005 16802 1 103.0000 55.0000 87.27%
353.06/354.29 c 354 68786 17064 1 103.0000 55.0000 87.27%
358.15/359.38 c 359 69614 17405 1 103.0000 55.0000 87.27%
363.23/364.49 c 364 70547 17626 1 103.0000 55.0000 87.27%
368.31/369.58 c 370 71400 17869 1 103.0000 55.0000 87.27%
373.40/374.65 c 375 72420 18195 1 103.0000 55.0000 87.27%
378.49/379.77 c 380 73411 18434 1 103.0000 55.0000 87.27%
383.57/384.84 c 385 74274 18732 1 103.0000 55.0000 87.27%
388.66/389.94 c 390 75200 18945 1 103.0000 55.0000 87.27%
393.75/395.04 c 395 76153 19203 1 103.0000 55.0000 87.27%
398.74/400.09 c 400 77185 19509 1 103.0000 55.0000 87.27%
403.02/404.36 c * 404 78065 19804 1 98.0000 55.0000 78.18%
403.82/405.18 c 405 78268 19287 1 98.0000 55.0000 78.18%
408.90/410.26 c 410 79100 19555 1 98.0000 55.0000 78.18%
413.99/415.39 c 415 79969 19783 1 98.0000 55.0000 78.18%
419.08/420.44 c 420 80943 20058 1 98.0000 55.0000 78.18%
424.16/425.53 c 426 81866 20206 1 98.0000 55.0000 78.18%
429.14/430.58 c 431 82746 20429 1 98.0000 55.0000 78.18%
434.23/435.65 c 436 83586 20642 1 98.0000 55.0000 78.18%
439.32/440.74 c 441 84498 20953 1 98.0000 55.0000 78.18%
444.40/445.80 c 446 85303 21370 1 98.0000 55.0000 78.18%
449.49/450.91 c 451 86233 21762 1 98.0000 55.0000 78.18%
454.58/456.01 c 456 87053 22125 1 98.0000 55.0000 78.18%
459.67/461.11 c 461 87910 22399 1 98.0000 55.0000 78.18%
464.65/466.17 c 466 88756 22709 1 98.0000 55.0000 78.18%
469.74/471.25 c 471 89651 22997 1 98.0000 55.0000 78.18%
474.82/476.36 c 476 90434 23258 1 98.0000 55.0000 78.18%
479.91/481.45 c 481 91337 23556 1 98.0000 55.0000 78.18%
484.99/486.51 c 487 92132 23827 1 98.0000 55.0000 78.18%
489.98/491.59 c 492 93046 24056 1 98.0000 55.0000 78.18%
495.16/496.78 c 497 93865 24372 1 98.0000 55.0000 78.18%
500.24/501.88 c 502 94689 24587 1 98.0000 55.0000 78.18%
505.33/506.98 c 507 95429 24900 1 98.0000 55.0000 78.18%
510.52/512.15 c 512 96355 25135 1 98.0000 55.0000 78.18%
515.60/517.23 c 517 97104 25331 1 98.0000 55.0000 78.18%
520.59/522.28 c 522 98035 25590 1 98.0000 55.0000 78.18%
525.67/527.33 c 527 98962 25882 1 98.0000 55.0000 78.18%
530.66/532.39 c 532 99737 26078 1 98.0000 55.0000 78.18%
535.85/537.56 c 538 100630 26310 1 98.0000 55.0000 78.18%
540.93/542.63 c 543 101392 26522 1 98.0000 55.0000 78.18%
546.02/547.77 c 548 102349 26790 1 98.0000 55.0000 78.18%
551.10/552.86 c 553 103250 27069 1 98.0000 55.0000 78.18%
556.19/557.91 c 558 104159 27342 1 98.0000 55.0000 78.18%
561.27/563.04 c 563 105072 27630 1 98.0000 55.0000 78.18%
566.36/568.14 c 568 106051 27880 1 98.0000 55.0000 78.18%
571.44/573.23 c 573 106946 28132 1 98.0000 55.0000 78.18%
576.53/578.32 c 578 107719 28531 1 98.0000 55.0000 78.18%
581.51/583.38 c 583 108430 28836 1 98.0000 55.0000 78.18%
586.59/588.45 c 588 109252 29039 1 98.0000 55.0000 78.18%
591.68/593.53 c 594 110180 29152 1 98.0000 55.0000 78.18%
596.77/598.60 c 599 111217 29311 1 98.0000 55.0000 78.18%
601.85/603.70 c 604 112409 29432 1 98.0000 55.0000 78.18%
606.84/608.78 c 609 113348 29544 1 98.0000 55.0000 78.18%
611.92/613.84 c 614 114104 29801 1 98.0000 55.0000 78.18%
617.02/618.92 c 619 114889 30042 1 98.0000 55.0000 78.18%
622.10/624.02 c 624 115756 30233 1 98.0000 55.0000 78.18%
627.09/629.07 c 629 116701 30492 1 98.0000 55.0000 78.18%
632.18/634.17 c 634 117596 30722 1 98.0000 55.0000 78.18%
637.26/639.28 c 639 118369 30960 1 98.0000 55.0000 78.18%
642.35/644.37 c 644 119321 31219 1 98.0000 55.0000 78.18%
647.43/649.46 c 649 120103 31423 1 98.0000 55.0000 78.18%
652.51/654.53 c 655 121077 31645 1 98.0000 55.0000 78.18%
657.60/659.65 c 660 122003 31872 1 98.0000 55.0000 78.18%
662.68/664.78 c 665 122807 32049 1 98.0000 55.0000 78.18%
667.77/669.83 c 670 123600 32308 1 98.0000 55.0000 78.18%
672.86/674.93 c 675 124449 32555 1 98.0000 55.0000 78.18%
677.95/680.02 c 680 125268 32822 1 98.0000 55.0000 78.18%
683.04/685.12 c 685 126084 33026 1 98.0000 55.0000 78.18%
688.21/690.30 c 690 126892 33247 1 98.0000 55.0000 78.18%
693.20/695.39 c 695 127731 33538 1 98.0000 55.0000 78.18%
698.28/700.48 c 700 128610 33802 1 98.0000 55.0000 78.18%
703.36/705.54 c 706 129414 33971 1 98.0000 55.0000 78.18%
708.45/710.66 c 711 130400 34275 1 98.0000 55.0000 78.18%
713.54/715.71 c 716 131301 34510 1 98.0000 55.0000 78.18%
718.62/720.86 c 721 132083 34775 1 98.0000 55.0000 78.18%
723.80/726.01 c 726 132887 35014 1 98.0000 55.0000 78.18%
728.79/731.07 c 731 133663 35248 1 98.0000 55.0000 78.18%
733.88/736.11 c 736 134613 35537 1 98.0000 55.0000 78.18%
738.86/741.16 c 741 135534 35849 1 98.0000 55.0000 78.18%
743.95/746.25 c 746 136492 36128 1 98.0000 55.0000 78.18%
749.02/751.33 c 751 137318 36369 1 98.0000 55.0000 78.18%
754.11/756.42 c 756 138142 36611 1 98.0000 55.0000 78.18%
759.10/761.47 c 761 138991 36788 1 98.0000 55.0000 78.18%
764.18/766.53 c 767 140006 36996 1 98.0000 55.0000 78.18%
769.26/771.70 c 772 140916 37279 1 98.0000 55.0000 78.18%
774.34/776.79 c 777 141780 37458 1 98.0000 55.0000 78.18%
779.43/781.89 c 782 142761 37716 1 98.0000 55.0000 78.18%
784.51/786.96 c 787 143689 37908 1 98.0000 55.0000 78.18%
789.60/792.02 c 792 144601 38142 1 98.0000 55.0000 78.18%
794.59/797.09 c 797 145634 38449 1 98.0000 55.0000 78.18%
799.76/802.24 c 802 146699 38676 1 98.0000 55.0000 78.18%
804.85/807.34 c 807 147597 38928 1 98.0000 55.0000 78.18%
809.93/812.46 c 812 148451 39171 1 98.0000 55.0000 78.18%
815.02/817.54 c 818 149309 39423 1 98.0000 55.0000 78.18%
820.10/822.62 c 823 150186 39692 1 98.0000 55.0000 78.18%
825.18/827.73 c 828 151042 39966 1 98.0000 55.0000 78.18%
830.27/832.84 c 833 151944 40174 1 98.0000 55.0000 78.18%
835.36/837.94 c 838 152870 40366 1 98.0000 55.0000 78.18%
840.45/843.05 c 843 153734 40608 1 98.0000 55.0000 78.18%
845.53/848.13 c 848 154588 40857 1 98.0000 55.0000 78.18%
850.61/853.25 c 853 155449 41056 1 98.0000 55.0000 78.18%
855.69/858.38 c 858 156262 41250 1 98.0000 55.0000 78.18%
860.88/863.53 c 864 157140 41479 1 98.0000 55.0000 78.18%
865.96/868.63 c 869 158236 41667 1 98.0000 55.0000 78.18%
868.15/870.85 c * 871 158692 41700 1 95.0000 55.0000 72.73%
870.94/873.67 c 874 159272 40189 1 95.0000 55.0000 72.73%
876.03/878.78 c 879 160014 40483 1 95.0000 55.0000 72.73%
881.11/883.85 c 884 160719 40790 1 95.0000 55.0000 72.73%
886.19/888.97 c 889 161703 41011 1 95.0000 55.0000 72.73%
891.39/894.15 c 894 162524 41228 1 95.0000 55.0000 72.73%
896.46/899.24 c 899 163549 41435 1 95.0000 55.0000 72.73%
901.54/904.30 c 904 164395 41619 1 95.0000 55.0000 72.73%
906.63/909.40 c 909 165426 41855 1 95.0000 55.0000 72.73%
911.61/914.50 c 914 166282 42129 1 95.0000 55.0000 72.73%
916.79/919.61 c 920 167032 42424 1 95.0000 55.0000 72.73%
921.78/924.69 c 925 167947 42660 1 95.0000 55.0000 72.73%
926.96/929.83 c 930 168870 42895 1 95.0000 55.0000 72.73%
932.05/934.95 c 935 169702 43052 1 95.0000 55.0000 72.73%
937.14/940.04 c 940 170606 43314 1 95.0000 55.0000 72.73%
942.32/945.22 c 945 171569 43553 1 95.0000 55.0000 72.73%
947.30/950.27 c 950 172449 43731 1 95.0000 55.0000 72.73%
952.38/955.33 c 955 173282 44071 1 95.0000 55.0000 72.73%
957.36/960.39 c 960 174335 44404 1 95.0000 55.0000 72.73%
962.45/965.44 c 965 175533 44743 1 95.0000 55.0000 72.73%
967.53/970.55 c 971 176570 45051 1 95.0000 55.0000 72.73%
972.62/975.66 c 976 177584 45405 1 95.0000 55.0000 72.73%
977.70/980.73 c 981 178816 45723 1 95.0000 55.0000 72.73%
982.79/985.83 c 986 179915 46084 1 95.0000 55.0000 72.73%
987.77/990.88 c 991 181185 46414 1 95.0000 55.0000 72.73%
992.86/995.94 c 996 182397 46651 1 95.0000 55.0000 72.73%
997.84/1000.99 c 1001 183643 46848 1 95.0000 55.0000 72.73%
1002.93/1006.04 c 1006 184830 47149 1 95.0000 55.0000 72.73%
1008.02/1011.16 c 1011 185999 47349 1 95.0000 55.0000 72.73%
1013.09/1016.24 c 1016 187221 47669 1 95.0000 55.0000 72.73%
1018.28/1021.48 c 1021 188246 47902 1 95.0000 55.0000 72.73%
1023.37/1026.54 c 1027 189414 48106 1 95.0000 55.0000 72.73%
1028.45/1031.61 c 1032 190455 48321 1 95.0000 55.0000 72.73%
1033.44/1036.68 c 1037 191682 48519 1 95.0000 55.0000 72.73%
1038.53/1041.75 c 1042 192867 48745 1 95.0000 55.0000 72.73%
1043.61/1046.84 c 1047 194100 49027 1 95.0000 55.0000 72.73%
1048.80/1052.00 c 1052 195130 49301 1 95.0000 55.0000 72.73%
1053.89/1057.17 c 1057 196099 49564 1 95.0000 55.0000 72.73%
1058.96/1062.25 c 1062 197112 49840 1 95.0000 55.0000 72.73%
1064.05/1067.35 c 1067 198230 50125 1 95.0000 55.0000 72.73%
1069.14/1072.41 c 1072 199491 50296 1 95.0000 55.0000 72.73%
1074.22/1077.53 c 1078 200674 50508 1 95.0000 55.0000 72.73%
1079.31/1082.63 c 1083 201784 50697 1 95.0000 55.0000 72.73%
1084.39/1087.70 c 1088 202768 50884 1 95.0000 55.0000 72.73%
1089.48/1092.82 c 1093 203678 51087 1 95.0000 55.0000 72.73%
1094.46/1097.87 c 1098 205228 51195 1 95.0000 55.0000 72.73%
1099.55/1102.92 c 1103 206713 51376 1 95.0000 55.0000 72.73%
1104.54/1107.97 c 1108 207948 51650 1 95.0000 55.0000 72.73%
1109.63/1113.06 c 1113 208928 51862 1 95.0000 55.0000 72.73%
1114.71/1118.14 c 1118 209795 52165 1 95.0000 55.0000 72.73%
1119.79/1123.21 c 1123 210711 52382 1 95.0000 55.0000 72.73%
1124.78/1128.29 c 1128 211844 52625 1 95.0000 55.0000 72.73%
1129.87/1133.34 c 1133 212791 52817 1 95.0000 55.0000 72.73%
1134.95/1138.41 c 1138 213889 53047 1 95.0000 55.0000 72.73%
1140.03/1143.54 c 1144 214936 53227 1 95.0000 55.0000 72.73%
1145.12/1148.60 c 1149 215855 53459 1 95.0000 55.0000 72.73%
1150.21/1153.72 c 1154 216818 53658 1 95.0000 55.0000 72.73%
1155.29/1158.86 c 1159 217689 53878 1 95.0000 55.0000 72.73%
1160.37/1163.92 c 1164 218520 54186 1 95.0000 55.0000 72.73%
1165.47/1169.09 c 1169 219324 54400 1 95.0000 55.0000 72.73%
1170.64/1174.26 c 1174 220169 54616 1 95.0000 55.0000 72.73%
1175.73/1179.33 c 1179 221024 54843 1 95.0000 55.0000 72.73%
1180.82/1184.40 c 1184 222200 55064 1 95.0000 55.0000 72.73%
1185.90/1189.52 c 1190 223224 55244 1 95.0000 55.0000 72.73%
1190.98/1194.62 c 1195 224111 55423 1 95.0000 55.0000 72.73%
1196.07/1199.79 c 1200 225039 55654 1 95.0000 55.0000 72.73%
1201.15/1204.85 c 1205 226083 55941 1 95.0000 55.0000 72.73%
1206.24/1209.99 c 1210 227015 56196 1 95.0000 55.0000 72.73%
1211.52/1215.25 c 1215 227949 56375 1 95.0000 55.0000 72.73%
1216.61/1220.30 c 1220 229041 56654 1 95.0000 55.0000 72.73%
1221.60/1225.37 c 1225 229985 56858 1 95.0000 55.0000 72.73%
1226.88/1230.67 c 1231 230835 57118 1 95.0000 55.0000 72.73%
1231.96/1235.72 c 1236 232043 57435 1 95.0000 55.0000 72.73%
1237.06/1240.82 c 1241 233123 57640 1 95.0000 55.0000 72.73%
1242.03/1245.87 c 1246 234289 57869 1 95.0000 55.0000 72.73%
1247.12/1250.99 c 1251 235374 58093 1 95.0000 55.0000 72.73%
1252.21/1256.06 c 1256 236249 58306 1 95.0000 55.0000 72.73%
1257.29/1261.12 c 1261 237181 58607 1 95.0000 55.0000 72.73%
1262.28/1266.19 c 1266 238309 58900 1 95.0000 55.0000 72.73%
1263.47/1267.31 c * 1267 238453 58925 1 93.0000 55.0000 69.09%
1267.36/1271.28 c 1271 239306 58323 1 93.0000 55.0000 69.09%
1272.55/1276.46 c 1276 240131 58553 1 93.0000 55.0000 69.09%
1277.64/1281.58 c 1282 241073 58742 1 93.0000 55.0000 69.09%
1282.72/1286.69 c 1287 241929 58993 1 93.0000 55.0000 69.09%
1287.90/1291.80 c 1292 242897 59241 1 93.0000 55.0000 69.09%
1292.99/1296.92 c 1297 243634 59461 1 93.0000 55.0000 69.09%
1298.08/1302.00 c 1302 244556 59704 1 93.0000 55.0000 69.09%
1303.16/1307.13 c 1307 245434 59983 1 93.0000 55.0000 69.09%
1308.24/1312.25 c 1312 246379 60214 1 93.0000 55.0000 69.09%
1313.43/1317.42 c 1317 247265 60502 1 93.0000 55.0000 69.09%
1318.41/1322.49 c 1322 248210 60844 1 93.0000 55.0000 69.09%
1323.50/1327.56 c 1328 249377 61080 1 93.0000 55.0000 69.09%
1328.58/1332.64 c 1333 250663 61193 1 93.0000 55.0000 69.09%
1333.57/1337.69 c 1338 251708 61413 1 93.0000 55.0000 69.09%
1338.66/1342.78 c 1343 252612 61623 1 93.0000 55.0000 69.09%
1343.74/1347.83 c 1348 253601 61820 1 93.0000 55.0000 69.09%
1348.93/1353.05 c 1353 254753 61992 1 93.0000 55.0000 69.09%
1354.02/1358.15 c 1358 255759 62256 1 93.0000 55.0000 69.09%
1359.09/1363.27 c 1363 256810 62513 1 93.0000 55.0000 69.09%
1364.18/1368.35 c 1368 257649 62737 1 93.0000 55.0000 69.09%
1369.36/1373.54 c 1374 258577 62936 1 93.0000 55.0000 69.09%
1374.55/1378.77 c 1379 259544 63119 1 93.0000 55.0000 69.09%
1379.64/1383.86 c 1384 260510 63368 1 93.0000 55.0000 69.09%
1384.72/1388.93 c 1389 261516 63661 1 93.0000 55.0000 69.09%
1389.81/1394.01 c 1394 262378 63835 1 93.0000 55.0000 69.09%
1394.80/1399.06 c 1399 263316 64048 1 93.0000 55.0000 69.09%
1399.88/1404.16 c 1404 264460 64213 1 93.0000 55.0000 69.09%
1404.96/1409.23 c 1409 265432 64525 1 93.0000 55.0000 69.09%
1410.15/1414.40 c 1414 266392 64778 1 93.0000 55.0000 69.09%
1415.13/1419.46 c 1419 267678 64930 1 93.0000 55.0000 69.09%
1420.21/1424.54 c 1425 268668 65146 1 93.0000 55.0000 69.09%
1425.20/1429.59 c 1430 269858 65293 1 93.0000 55.0000 69.09%
1430.38/1434.71 c 1435 270846 65514 1 93.0000 55.0000 69.09%
1435.48/1439.80 c 1440 272005 65712 1 93.0000 55.0000 69.09%
1440.45/1444.86 c 1445 273531 65852 1 93.0000 55.0000 69.09%
1445.55/1449.94 c 1450 274779 65908 1 93.0000 55.0000 69.09%
1450.53/1454.99 c 1455 275687 66085 1 93.0000 55.0000 69.09%
1455.62/1460.04 c 1460 276697 66213 1 93.0000 55.0000 69.09%
1460.80/1465.21 c 1465 277733 66400 1 93.0000 55.0000 69.09%
1465.88/1470.38 c 1470 278592 66582 1 93.0000 55.0000 69.09%
1466.08/1470.51 c * 1471 278592 66582 1 90.0000 55.0000 63.64%
1471.07/1475.50 c 1476 279573 65600 1 90.0000 55.0000 63.64%
1476.05/1480.57 c 1481 280944 65808 1 90.0000 55.0000 63.64%
1481.14/1485.65 c 1486 281963 66069 1 90.0000 55.0000 63.64%
1486.32/1490.82 c 1491 283132 66223 1 90.0000 55.0000 63.64%
1491.30/1495.86 c 1496 284312 66371 1 90.0000 55.0000 63.64%
1496.38/1500.96 c 1501 285099 66682 1 90.0000 55.0000 63.64%
1501.47/1506.02 c 1506 286042 66866 1 90.0000 55.0000 63.64%
1506.45/1511.08 c 1511 287038 67047 1 90.0000 55.0000 63.64%
1511.54/1516.19 c 1516 287882 67295 1 90.0000 55.0000 63.64%
1516.61/1521.28 c 1521 288889 67501 1 90.0000 55.0000 63.64%
1521.70/1526.35 c 1526 289518 67756 1 90.0000 55.0000 63.64%
1526.77/1531.42 c 1531 290403 68068 1 90.0000 55.0000 63.64%
1531.85/1536.53 c 1537 291480 68397 1 90.0000 55.0000 63.64%
1537.04/1541.70 c 1542 292633 68674 1 90.0000 55.0000 63.64%
1542.02/1546.76 c 1547 293855 68851 1 90.0000 55.0000 63.64%
1547.10/1551.80 c 1552 295265 69001 1 90.0000 55.0000 63.64%
1552.19/1556.91 c 1557 296706 69149 1 90.0000 55.0000 63.64%
1557.17/1561.96 c 1562 297928 69348 1 90.0000 55.0000 63.64%
1562.35/1567.15 c 1567 299014 69504 1 90.0000 55.0000 63.64%
1567.53/1572.31 c 1572 300019 69714 1 90.0000 55.0000 63.64%
1572.61/1577.48 c 1577 300840 69887 1 90.0000 55.0000 63.64%
1577.79/1582.60 c 1583 301544 70123 1 90.0000 55.0000 63.64%
1582.88/1587.70 c 1588 302542 70266 1 90.0000 55.0000 63.64%
1587.96/1592.86 c 1593 303429 70437 1 90.0000 55.0000 63.64%
1593.03/1597.91 c 1598 304408 70576 1 90.0000 55.0000 63.64%
1598.01/1602.96 c 1603 305400 70740 1 90.0000 55.0000 63.64%
1603.11/1608.06 c 1608 306541 70879 1 90.0000 55.0000 63.64%
1608.19/1613.12 c 1613 307578 71020 1 90.0000 55.0000 63.64%
1613.37/1618.30 c 1618 308612 71198 1 90.0000 55.0000 63.64%
1618.35/1623.36 c 1623 309716 71347 1 90.0000 55.0000 63.64%
1623.44/1628.46 c 1628 310681 71542 1 90.0000 55.0000 63.64%
1628.52/1633.59 c 1634 311562 71778 1 90.0000 55.0000 63.64%
1633.61/1638.64 c 1639 312763 72037 1 90.0000 55.0000 63.64%
1638.69/1643.74 c 1644 313742 72202 1 90.0000 55.0000 63.64%
1643.78/1648.82 c 1649 314770 72479 1 90.0000 55.0000 63.64%
1648.86/1653.90 c 1654 315669 72725 1 90.0000 55.0000 63.64%
1653.85/1658.98 c 1659 316610 72970 1 90.0000 55.0000 63.64%
1658.94/1664.09 c 1664 317529 73162 1 90.0000 55.0000 63.64%
1664.23/1669.31 c 1669 318390 73352 1 90.0000 55.0000 63.64%
1669.30/1674.41 c 1674 319274 73564 1 90.0000 55.0000 63.64%
1674.39/1679.53 c 1680 320199 73847 1 90.0000 55.0000 63.64%
1679.47/1684.65 c 1685 321088 74093 1 90.0000 55.0000 63.64%
1684.56/1689.75 c 1690 322118 74342 1 90.0000 55.0000 63.64%
1689.74/1694.91 c 1695 323015 74467 1 90.0000 55.0000 63.64%
1694.84/1700.03 c 1700 323720 74638 1 90.0000 55.0000 63.64%
1699.83/1705.07 c 1705 324687 74795 1 90.0000 55.0000 63.64%
1704.91/1710.13 c 1710 325544 75010 1 90.0000 55.0000 63.64%
1709.99/1715.23 c 1715 326340 75213 1 90.0000 55.0000 63.64%
1715.08/1720.33 c 1720 327205 75391 1 90.0000 55.0000 63.64%
1720.16/1725.43 c 1725 328177 75544 1 90.0000 55.0000 63.64%
1725.15/1730.49 c 1730 328905 75725 1 90.0000 55.0000 63.64%
1730.33/1735.64 c 1736 330016 75897 1 90.0000 55.0000 63.64%
1735.41/1740.72 c 1741 330849 76070 1 90.0000 55.0000 63.64%
1740.41/1745.79 c 1746 331950 76255 1 90.0000 55.0000 63.64%
1745.49/1750.86 c 1751 332867 76457 1 90.0000 55.0000 63.64%
1750.78/1756.17 c 1756 333579 76598 1 90.0000 55.0000 63.64%
1755.86/1761.28 c 1761 334717 76771 1 90.0000 55.0000 63.64%
1760.94/1766.33 c 1766 335624 76957 1 90.0000 55.0000 63.64%
1765.93/1771.39 c 1771 336770 77052 1 90.0000 55.0000 63.64%
1771.01/1776.45 c 1776 337649 77206 1 90.0000 55.0000 63.64%
1776.10/1781.57 c 1782 338525 77385 1 90.0000 55.0000 63.64%
1781.19/1786.62 c 1787 339314 77580 1 90.0000 55.0000 63.64%
1786.18/1791.67 c 1792 340244 77767 1 90.0000 55.0000 63.64%
1791.26/1796.74 c 1797 341026 77960 1 90.0000 55.0000 63.64%
1796.35/1801.86 c 1802 341849 78093 1 90.0000 55.0000 63.64%
1801.43/1806.92 c 1807 342666 78266 1 90.0000 55.0000 63.64%
1806.62/1812.11 c 1812 343749 78442 1 90.0000 55.0000 63.64%
1811.70/1817.20 c 1817 344599 78636 1 90.0000 55.0000 63.64%
1816.78/1822.32 c 1822 345646 78799 1 90.0000 55.0000 63.64%
1821.88/1827.44 c 1827 346629 78934 1 90.0000 55.0000 63.64%
1826.95/1832.59 c 1833 347497 79083 1 90.0000 55.0000 63.64%
1832.05/1837.65 c 1838 348447 79266 1 90.0000 55.0000 63.64%
1837.13/1842.74 c 1843 349774 79346 1 90.0000 55.0000 63.64%
1842.21/1847.83 c 1848 351066 79561 1 90.0000 55.0000 63.64%
1847.30/1852.93 c 1853 352415 79891 1 90.0000 55.0000 63.64%
1852.39/1858.05 c 1858 353772 80177 1 90.0000 55.0000 63.64%
1857.38/1863.10 c 1863 355149 80438 1 90.0000 55.0000 63.64%
1862.46/1868.18 c 1868 356420 80795 1 90.0000 55.0000 63.64%
1867.54/1873.24 c 1873 357609 81115 1 90.0000 55.0000 63.64%
1872.63/1878.31 c 1878 358576 81441 1 90.0000 55.0000 63.64%
1877.71/1883.47 c 1883 359474 81655 1 90.0000 55.0000 63.64%
1882.80/1888.53 c 1889 360570 81834 1 90.0000 55.0000 63.64%
1887.88/1893.67 c 1894 361399 81970 1 90.0000 55.0000 63.64%
1893.06/1898.84 c 1899 362140 82149 1 90.0000 55.0000 63.64%
1898.15/1903.97 c 1904 362935 82383 1 90.0000 55.0000 63.64%
1903.24/1909.02 c 1909 363694 82574 1 90.0000 55.0000 63.64%
1908.23/1914.07 c 1914 364672 82778 1 90.0000 55.0000 63.64%
1913.41/1919.26 c 1919 365590 82912 1 90.0000 55.0000 63.64%
1918.50/1924.32 c 1924 366641 83102 1 90.0000 55.0000 63.64%
1923.58/1929.40 c 1929 367487 83302 1 90.0000 55.0000 63.64%
1928.66/1934.54 c 1935 368483 83495 1 90.0000 55.0000 63.64%
1933.85/1939.73 c 1940 369320 83708 1 90.0000 55.0000 63.64%
1938.94/1944.82 c 1945 370344 83871 1 90.0000 55.0000 63.64%
1943.92/1949.89 c 1950 371115 84048 1 90.0000 55.0000 63.64%
1949.12/1955.02 c 1955 372023 84239 1 90.0000 55.0000 63.64%
1954.19/1960.16 c 1960 372896 84410 1 90.0000 55.0000 63.64%
1959.28/1965.29 c 1965 373587 84652 1 90.0000 55.0000 63.64%
1964.37/1970.34 c 1970 374419 84972 1 90.0000 55.0000 63.64%
1969.45/1975.47 c 1975 375478 85260 1 90.0000 55.0000 63.64%
1974.53/1980.56 c 1981 376394 85395 1 90.0000 55.0000 63.64%
1979.72/1985.71 c 1986 377551 85600 1 90.0000 55.0000 63.64%
1984.81/1990.82 c 1991 378503 85875 1 90.0000 55.0000 63.64%
1989.89/1995.90 c 1996 379471 86100 1 90.0000 55.0000 63.64%
1994.98/2001.09 c 2001 380495 86350 1 90.0000 55.0000 63.64%
2000.07/2006.18 c 2006 381425 86513 1 90.0000 55.0000 63.64%
2005.14/2011.25 c 2011 382455 86671 1 90.0000 55.0000 63.64%
2010.23/2016.30 c 2016 383345 86815 1 90.0000 55.0000 63.64%
2015.32/2021.46 c 2021 384424 86960 1 90.0000 55.0000 63.64%
2020.40/2026.57 c 2027 385178 87171 1 90.0000 55.0000 63.64%
2025.49/2031.63 c 2032 386079 87326 1 90.0000 55.0000 63.64%
2030.57/2036.71 c 2037 387016 87528 1 90.0000 55.0000 63.64%
2035.56/2041.79 c 2042 388066 87676 1 90.0000 55.0000 63.64%
2040.64/2046.85 c 2047 389028 87881 1 90.0000 55.0000 63.64%
2045.73/2051.97 c 2052 390055 88063 1 90.0000 55.0000 63.64%
2050.82/2057.07 c 2057 390949 88318 1 90.0000 55.0000 63.64%
2056.10/2062.30 c 2062 391917 88629 1 90.0000 55.0000 63.64%
2061.09/2067.38 c 2067 392955 88893 1 90.0000 55.0000 63.64%
2066.27/2072.51 c 2073 394040 89185 1 90.0000 55.0000 63.64%
2070.95/2077.27 c * 2077 394980 89260 1 86.0000 55.0000 56.36%
2071.35/2077.65 c 2078 395117 69978 1 86.0000 55.0000 56.36%
2076.44/2082.71 c 2083 395976 70197 1 86.0000 55.0000 56.36%
2081.42/2087.76 c 2088 396973 70315 1 86.0000 55.0000 56.36%
2086.51/2092.83 c 2093 397734 70543 1 86.0000 55.0000 56.36%
2091.59/2097.92 c 2098 398583 70698 1 86.0000 55.0000 56.36%
2096.69/2103.01 c 2103 399494 70869 1 86.0000 55.0000 56.36%
2101.68/2108.05 c 2108 400306 71063 1 86.0000 55.0000 56.36%
2106.76/2113.15 c 2113 401345 71259 1 86.0000 55.0000 56.36%
2111.84/2118.20 c 2118 402183 71427 1 86.0000 55.0000 56.36%
2116.92/2123.38 c 2123 403229 71553 1 86.0000 55.0000 56.36%
2122.01/2128.46 c 2128 404117 71708 1 86.0000 55.0000 56.36%
2127.19/2133.60 c 2134 404956 71955 1 86.0000 55.0000 56.36%
2132.18/2138.69 c 2139 405788 72124 1 86.0000 55.0000 56.36%
2137.36/2143.83 c 2144 406646 72262 1 86.0000 55.0000 56.36%
2142.45/2148.98 c 2149 407498 72418 1 86.0000 55.0000 56.36%
2147.65/2154.10 c 2154 408570 72628 1 86.0000 55.0000 56.36%
2152.63/2159.17 c 2159 409462 72800 1 86.0000 55.0000 56.36%
2157.81/2164.39 c 2164 410263 72924 1 86.0000 55.0000 56.36%
2162.99/2169.53 c 2170 411107 73102 1 86.0000 55.0000 56.36%
2168.18/2174.75 c 2175 411987 73294 1 86.0000 55.0000 56.36%
2173.27/2179.80 c 2180 412879 73410 1 86.0000 55.0000 56.36%
2178.25/2184.86 c 2185 413952 73567 1 86.0000 55.0000 56.36%
2183.34/2189.91 c 2190 414812 73692 1 86.0000 55.0000 56.36%
2188.43/2195.04 c 2195 415710 73804 1 86.0000 55.0000 56.36%
2193.51/2200.11 c 2200 416641 73974 1 86.0000 55.0000 56.36%
2198.50/2205.19 c 2205 417798 74084 1 86.0000 55.0000 56.36%
2203.68/2210.37 c 2210 418821 74144 1 86.0000 55.0000 56.36%
2208.76/2215.46 c 2215 419773 74286 1 86.0000 55.0000 56.36%
2213.95/2220.64 c 2221 420839 74416 1 86.0000 55.0000 56.36%
2219.03/2225.70 c 2226 421721 74579 1 86.0000 55.0000 56.36%
2224.02/2230.75 c 2231 422586 74741 1 86.0000 55.0000 56.36%
2229.10/2235.80 c 2236 423362 74959 1 86.0000 55.0000 56.36%
2234.19/2240.91 c 2241 424157 75144 1 86.0000 55.0000 56.36%
2239.38/2246.15 c 2246 425097 75336 1 86.0000 55.0000 56.36%
2244.45/2251.20 c 2251 426222 75481 1 86.0000 55.0000 56.36%
2249.54/2256.30 c 2256 427181 75633 1 86.0000 55.0000 56.36%
2254.63/2261.48 c 2261 428240 75708 1 86.0000 55.0000 56.36%
2259.81/2266.68 c 2267 429179 75908 1 86.0000 55.0000 56.36%
2264.90/2271.77 c 2272 430148 76038 1 86.0000 55.0000 56.36%
2269.98/2276.86 c 2277 431194 76153 1 86.0000 55.0000 56.36%
2275.27/2282.11 c 2282 432082 76269 1 86.0000 55.0000 56.36%
2280.35/2287.20 c 2287 432993 76402 1 86.0000 55.0000 56.36%
2285.33/2292.28 c 2292 433922 76576 1 86.0000 55.0000 56.36%
2290.52/2297.40 c 2297 434959 76665 1 86.0000 55.0000 56.36%
2295.51/2302.49 c 2302 435863 76880 1 86.0000 55.0000 56.36%
2300.59/2307.56 c 2308 436763 77037 1 86.0000 55.0000 56.36%
2305.68/2312.63 c 2313 437479 77200 1 86.0000 55.0000 56.36%
2310.76/2317.74 c 2318 438329 77323 1 86.0000 55.0000 56.36%
2315.84/2322.89 c 2323 439233 77492 1 86.0000 55.0000 56.36%
2321.23/2328.24 c 2328 440247 77645 1 86.0000 55.0000 56.36%
2326.22/2333.29 c 2333 441186 77809 1 86.0000 55.0000 56.36%
2331.30/2338.36 c 2338 442358 77932 1 86.0000 55.0000 56.36%
2336.58/2343.65 c 2344 443148 78185 1 86.0000 55.0000 56.36%
2341.76/2348.82 c 2349 443899 78494 1 86.0000 55.0000 56.36%
2347.06/2354.19 c 2354 444858 78793 1 86.0000 55.0000 56.36%
2352.14/2359.23 c 2359 445755 78982 1 86.0000 55.0000 56.36%
2357.22/2364.35 c 2364 446596 79284 1 86.0000 55.0000 56.36%
2362.31/2369.40 c 2369 447741 79574 1 86.0000 55.0000 56.36%
2367.49/2374.69 c 2375 448817 79751 1 86.0000 55.0000 56.36%
2372.88/2380.00 c 2380 449737 80034 1 86.0000 55.0000 56.36%
2377.96/2385.10 c 2385 450628 80219 1 86.0000 55.0000 56.36%
2383.14/2390.32 c 2390 451684 80458 1 86.0000 55.0000 56.36%
2388.22/2395.46 c 2395 452594 80768 1 86.0000 55.0000 56.36%
2393.41/2400.61 c 2401 453326 81041 1 86.0000 55.0000 56.36%
2398.49/2405.75 c 2406 454108 81290 1 86.0000 55.0000 56.36%
2403.57/2410.80 c 2411 455206 81452 1 86.0000 55.0000 56.36%
2408.55/2415.87 c 2416 456510 81592 1 86.0000 55.0000 56.36%
2413.74/2421.03 c 2421 457469 81838 1 86.0000 55.0000 56.36%
2418.81/2426.18 c 2426 458385 82152 1 86.0000 55.0000 56.36%
2423.89/2431.24 c 2431 459411 82374 1 86.0000 55.0000 56.36%
2429.07/2436.41 c 2436 460317 82646 1 86.0000 55.0000 56.36%
2434.15/2441.59 c 2442 461338 82858 1 86.0000 55.0000 56.36%
2439.23/2446.64 c 2447 462398 83070 1 86.0000 55.0000 56.36%
2444.32/2451.76 c 2452 463303 83278 1 86.0000 55.0000 56.36%
2449.50/2456.95 c 2457 464141 83477 1 86.0000 55.0000 56.36%
2454.58/2462.00 c 2462 465144 83745 1 86.0000 55.0000 56.36%
2459.57/2467.05 c 2467 466151 83971 1 86.0000 55.0000 56.36%
2464.65/2472.19 c 2472 467107 84166 1 86.0000 55.0000 56.36%
2469.73/2477.23 c 2477 468165 84322 1 86.0000 55.0000 56.36%
2474.71/2482.29 c 2482 469194 84628 1 86.0000 55.0000 56.36%
2479.80/2487.39 c 2487 470154 84843 1 86.0000 55.0000 56.36%
2485.09/2492.60 c 2493 471023 85114 1 86.0000 55.0000 56.36%
2490.07/2497.65 c 2498 472094 85354 1 86.0000 55.0000 56.36%
2495.25/2502.86 c 2503 473147 85578 1 86.0000 55.0000 56.36%
2500.44/2508.00 c 2508 474122 85762 1 86.0000 55.0000 56.36%
2505.42/2513.05 c 2513 475153 86026 1 86.0000 55.0000 56.36%
2510.41/2518.10 c 2518 476289 86302 1 86.0000 55.0000 56.36%
2515.49/2523.15 c 2523 477323 86510 1 86.0000 55.0000 56.36%
2520.57/2528.23 c 2528 478198 86734 1 86.0000 55.0000 56.36%
2525.65/2533.35 c 2533 479473 86960 1 86.0000 55.0000 56.36%
2530.74/2538.41 c 2538 480592 87163 1 86.0000 55.0000 56.36%
2535.82/2543.50 c 2544 481631 87343 1 86.0000 55.0000 56.36%
2540.91/2548.61 c 2549 482624 87574 1 86.0000 55.0000 56.36%
2545.89/2553.68 c 2554 483739 87757 1 86.0000 55.0000 56.36%
2551.08/2558.87 c 2559 484872 87858 1 86.0000 55.0000 56.36%
2556.27/2564.04 c 2564 485953 88022 1 86.0000 55.0000 56.36%
2561.36/2569.19 c 2569 486984 88132 1 86.0000 55.0000 56.36%
2566.53/2574.32 c 2574 487864 88281 1 86.0000 55.0000 56.36%
2571.61/2579.41 c 2579 488828 88359 1 86.0000 55.0000 56.36%
2576.70/2584.52 c 2585 489790 88495 1 86.0000 55.0000 56.36%
2581.78/2589.68 c 2590 490754 88659 1 86.0000 55.0000 56.36%
2586.87/2594.77 c 2595 491648 88753 1 86.0000 55.0000 56.36%
2591.96/2599.81 c 2600 492609 88906 1 86.0000 55.0000 56.36%
2597.04/2604.95 c 2605 493739 89076 1 86.0000 55.0000 56.36%
2602.13/2610.01 c 2610 494635 89301 1 86.0000 55.0000 56.36%
2607.12/2615.06 c 2615 495613 89550 1 86.0000 55.0000 56.36%
2612.20/2620.11 c 2620 496478 89762 1 86.0000 55.0000 56.36%
2617.28/2625.20 c 2625 497227 89926 1 86.0000 55.0000 56.36%
2622.26/2630.27 c 2630 498273 90071 1 86.0000 55.0000 56.36%
2627.34/2635.37 c 2635 499183 90236 1 86.0000 55.0000 56.36%
2632.43/2640.44 c 2640 500167 90371 1 86.0000 55.0000 56.36%
2637.52/2645.51 c 2646 501060 90595 1 86.0000 55.0000 56.36%
2642.60/2650.61 c 2651 501908 90710 1 86.0000 55.0000 56.36%
2647.69/2655.76 c 2656 502858 90925 1 86.0000 55.0000 56.36%
2652.87/2660.94 c 2661 503795 91041 1 86.0000 55.0000 56.36%
2657.96/2666.00 c 2666 504802 91205 1 86.0000 55.0000 56.36%
2663.04/2671.17 c 2671 505842 91425 1 86.0000 55.0000 56.36%
2668.23/2676.33 c 2676 506948 91567 1 86.0000 55.0000 56.36%
2673.21/2681.39 c 2681 507900 91827 1 86.0000 55.0000 56.36%
2678.29/2686.48 c 2686 508868 91985 1 86.0000 55.0000 56.36%
2683.48/2691.60 c 2692 509625 92178 1 86.0000 55.0000 56.36%
2688.67/2696.84 c 2697 510524 92331 1 86.0000 55.0000 56.36%
2693.85/2702.01 c 2702 511577 92416 1 86.0000 55.0000 56.36%
2698.95/2707.10 c 2707 512452 92629 1 86.0000 55.0000 56.36%
2704.12/2712.37 c 2712 513208 92807 1 86.0000 55.0000 56.36%
2709.21/2717.48 c 2717 514115 92924 1 86.0000 55.0000 56.36%
2714.49/2722.70 c 2723 514829 92992 1 86.0000 55.0000 56.36%
2719.58/2727.80 c 2728 515703 93092 1 86.0000 55.0000 56.36%
2724.56/2732.86 c 2733 516544 93190 1 86.0000 55.0000 56.36%
2729.75/2738.08 c 2738 517498 93513 1 86.0000 55.0000 56.36%
2734.84/2743.15 c 2743 518301 93829 1 86.0000 55.0000 56.36%
2739.92/2748.23 c 2748 519058 93998 1 86.0000 55.0000 56.36%
2745.01/2753.30 c 2753 519655 94211 1 86.0000 55.0000 56.36%
2750.09/2758.42 c 2758 520509 94402 1 86.0000 55.0000 56.36%
2755.18/2763.55 c 2764 521203 94588 1 86.0000 55.0000 56.36%
2760.37/2768.70 c 2769 522288 94792 1 86.0000 55.0000 56.36%
2765.44/2773.87 c 2774 523247 94925 1 86.0000 55.0000 56.36%
2770.74/2779.13 c 2779 524187 95066 1 86.0000 55.0000 56.36%
2775.72/2784.19 c 2784 525188 95269 1 86.0000 55.0000 56.36%
2780.80/2789.29 c 2789 526048 95471 1 86.0000 55.0000 56.36%
2786.09/2794.50 c 2795 526775 95765 1 86.0000 55.0000 56.36%
2791.17/2799.64 c 2800 527669 95993 1 86.0000 55.0000 56.36%
2796.26/2804.76 c 2805 528642 96242 1 86.0000 55.0000 56.36%
2801.34/2809.87 c 2810 529637 96501 1 86.0000 55.0000 56.36%
2806.42/2814.99 c 2815 530644 96744 1 86.0000 55.0000 56.36%
2811.52/2820.07 c 2820 531632 96943 1 86.0000 55.0000 56.36%
2816.61/2825.14 c 2825 532561 97122 1 86.0000 55.0000 56.36%
2821.68/2830.25 c 2830 533414 97343 1 86.0000 55.0000 56.36%
2826.77/2835.30 c 2835 534392 97671 1 86.0000 55.0000 56.36%
2831.85/2840.43 c 2840 535124 97951 1 86.0000 55.0000 56.36%
2837.03/2845.67 c 2846 536066 98229 1 86.0000 55.0000 56.36%
2842.12/2850.73 c 2851 537125 98329 1 86.0000 55.0000 56.36%
2847.20/2855.80 c 2856 538241 98488 1 86.0000 55.0000 56.36%
2852.29/2860.96 c 2861 539142 98625 1 86.0000 55.0000 56.36%
2857.37/2866.02 c 2866 540306 98821 1 86.0000 55.0000 56.36%
2862.46/2871.16 c 2871 541487 98986 1 86.0000 55.0000 56.36%
2867.54/2876.22 c 2876 542536 99204 1 86.0000 55.0000 56.36%
2872.62/2881.37 c 2881 543449 99389 1 86.0000 55.0000 56.36%
2877.71/2886.48 c 2886 544399 99512 1 86.0000 55.0000 56.36%
2882.80/2891.55 c 2892 545390 99616 1 86.0000 55.0000 56.36%
2887.88/2896.63 c 2897 546479 99761 1 86.0000 55.0000 56.36%
2892.86/2901.68 c 2902 547468 99971 1 86.0000 55.0000 56.36%
2897.95/2906.76 c 2907 548317 100090 1 86.0000 55.0000 56.36%
2903.04/2911.82 c 2912 549336 100263 1 86.0000 55.0000 56.36%
2908.22/2917.06 c 2917 550594 100444 1 86.0000 55.0000 56.36%
2913.31/2922.15 c 2922 551524 100623 1 86.0000 55.0000 56.36%
2918.49/2927.36 c 2927 552499 100777 1 86.0000 55.0000 56.36%
2923.57/2932.49 c 2932 553419 100939 1 86.0000 55.0000 56.36%
2928.76/2937.62 c 2938 554336 101101 1 86.0000 55.0000 56.36%
2933.75/2942.66 c 2943 555177 101238 1 86.0000 55.0000 56.36%
2938.83/2947.77 c 2948 556086 101378 1 86.0000 55.0000 56.36%
2944.02/2952.95 c 2953 557025 101572 1 86.0000 55.0000 56.36%
2949.20/2958.15 c 2958 557886 101717 1 86.0000 55.0000 56.36%
2954.29/2963.20 c 2963 559175 101956 1 86.0000 55.0000 56.36%
2959.27/2968.26 c 2968 560237 102115 1 86.0000 55.0000 56.36%
2964.46/2973.41 c 2973 561077 102323 1 86.0000 55.0000 56.36%
2969.44/2978.46 c 2978 562091 102506 1 86.0000 55.0000 56.36%
2974.63/2983.61 c 2984 563045 102709 1 86.0000 55.0000 56.36%
2979.61/2988.68 c 2989 563950 102891 1 86.0000 55.0000 56.36%
2984.90/2993.93 c 2994 564820 103105 1 86.0000 55.0000 56.36%
2989.89/2998.98 c 2999 566109 103367 1 86.0000 55.0000 56.36%
2995.08/3004.15 c 3004 566818 103577 1 86.0000 55.0000 56.36%
3000.16/3009.28 c 3009 567696 103750 1 86.0000 55.0000 56.36%
3005.24/3014.37 c 3014 568416 103891 1 86.0000 55.0000 56.36%
3010.43/3019.56 c 3020 569236 104017 1 86.0000 55.0000 56.36%
3015.51/3024.63 c 3025 570131 104165 1 86.0000 55.0000 56.36%
3020.70/3029.88 c 3030 571298 104321 1 86.0000 55.0000 56.36%
3025.78/3034.98 c 3035 572182 104487 1 86.0000 55.0000 56.36%
3030.87/3040.02 c 3040 573393 104663 1 86.0000 55.0000 56.36%
3036.15/3045.31 c 3045 574337 104861 1 86.0000 55.0000 56.36%
3041.34/3050.53 c 3051 575378 105136 1 86.0000 55.0000 56.36%
3046.42/3055.64 c 3056 576453 105299 1 86.0000 55.0000 56.36%
3051.51/3060.76 c 3061 577432 105377 1 86.0000 55.0000 56.36%
3056.69/3065.91 c 3066 578421 105533 1 86.0000 55.0000 56.36%
3061.68/3070.96 c 3071 579406 105627 1 86.0000 55.0000 56.36%
3066.77/3076.05 c 3076 580378 105739 1 86.0000 55.0000 56.36%
3071.95/3081.22 c 3081 581219 105909 1 86.0000 55.0000 56.36%
3077.04/3086.30 c 3086 582117 106032 1 86.0000 55.0000 56.36%
3082.03/3091.35 c 3091 583092 106236 1 86.0000 55.0000 56.36%
3087.11/3096.45 c 3096 583938 106484 1 86.0000 55.0000 56.36%
3092.30/3101.60 c 3102 584755 106628 1 86.0000 55.0000 56.36%
3097.38/3106.73 c 3107 585839 106794 1 86.0000 55.0000 56.36%
3102.36/3111.79 c 3112 586919 106915 1 86.0000 55.0000 56.36%
3107.46/3116.85 c 3117 587950 107036 1 86.0000 55.0000 56.36%
3112.54/3121.93 c 3122 588820 107205 1 86.0000 55.0000 56.36%
3117.63/3127.04 c 3127 589616 107395 1 86.0000 55.0000 56.36%
3122.81/3132.21 c 3132 590557 107597 1 86.0000 55.0000 56.36%
3127.79/3137.26 c 3137 591275 107813 1 86.0000 55.0000 56.36%
3132.99/3142.42 c 3142 592294 108009 1 86.0000 55.0000 56.36%
3137.97/3147.46 c 3147 593489 108120 1 86.0000 55.0000 56.36%
3143.15/3152.62 c 3153 594276 108263 1 86.0000 55.0000 56.36%
3148.24/3157.74 c 3158 595126 108426 1 86.0000 55.0000 56.36%
3153.53/3163.03 c 3163 595988 108621 1 86.0000 55.0000 56.36%
3158.61/3168.18 c 3168 596902 108833 1 86.0000 55.0000 56.36%
3163.80/3173.31 c 3173 597848 109031 1 86.0000 55.0000 56.36%
3168.78/3178.38 c 3178 598847 109235 1 86.0000 55.0000 56.36%
3173.86/3183.44 c 3183 599786 109423 1 86.0000 55.0000 56.36%
3178.94/3188.57 c 3189 600616 109587 1 86.0000 55.0000 56.36%
3184.13/3193.78 c 3194 601455 109750 1 86.0000 55.0000 56.36%
3189.43/3199.06 c 3199 602347 109929 1 86.0000 55.0000 56.36%
3194.51/3204.19 c 3204 603271 110136 1 86.0000 55.0000 56.36%
3199.69/3209.32 c 3209 604148 110231 1 86.0000 55.0000 56.36%
3204.88/3214.52 c 3215 605192 110366 1 86.0000 55.0000 56.36%
3209.96/3219.63 c 3220 606078 110566 1 86.0000 55.0000 56.36%
3215.15/3224.85 c 3225 607022 110689 1 86.0000 55.0000 56.36%
3220.23/3229.93 c 3230 608019 110842 1 86.0000 55.0000 56.36%
3225.32/3235.08 c 3235 608954 110998 1 86.0000 55.0000 56.36%
3230.41/3240.18 c 3240 609924 111143 1 86.0000 55.0000 56.36%
3235.49/3245.25 c 3245 610609 111289 1 86.0000 55.0000 56.36%
3240.57/3250.32 c 3250 611494 111448 1 86.0000 55.0000 56.36%
3245.66/3255.47 c 3255 612207 111595 1 86.0000 55.0000 56.36%
3250.75/3260.55 c 3261 613124 111746 1 86.0000 55.0000 56.36%
3255.83/3265.65 c 3266 613817 111867 1 86.0000 55.0000 56.36%
3261.12/3270.90 c 3271 614638 112060 1 86.0000 55.0000 56.36%
3266.20/3276.05 c 3276 615424 112196 1 86.0000 55.0000 56.36%
3271.29/3281.19 c 3281 616339 112377 1 86.0000 55.0000 56.36%
3276.38/3286.27 c 3286 617385 112459 1 86.0000 55.0000 56.36%
3281.56/3291.44 c 3291 618289 112609 1 86.0000 55.0000 56.36%
3286.65/3296.52 c 3297 619360 112709 1 86.0000 55.0000 56.36%
3291.73/3301.63 c 3302 620140 112849 1 86.0000 55.0000 56.36%
3296.81/3306.79 c 3307 620890 113067 1 86.0000 55.0000 56.36%
3301.91/3311.86 c 3312 621859 113254 1 86.0000 55.0000 56.36%
3306.99/3316.97 c 3317 622669 113373 1 86.0000 55.0000 56.36%
3312.07/3322.08 c 3322 623439 113518 1 86.0000 55.0000 56.36%
3317.17/3327.19 c 3327 624170 113638 1 86.0000 55.0000 56.36%
3322.35/3332.37 c 3332 624986 113823 1 86.0000 55.0000 56.36%
3327.53/3337.53 c 3338 625684 113982 1 86.0000 55.0000 56.36%
3332.71/3342.76 c 3343 626454 114115 1 86.0000 55.0000 56.36%
3337.90/3347.99 c 3348 627382 114327 1 86.0000 55.0000 56.36%
3343.09/3353.15 c 3353 628412 114534 1 86.0000 55.0000 56.36%
3348.17/3358.22 c 3358 629420 114700 1 86.0000 55.0000 56.36%
3353.26/3363.38 c 3363 630158 114855 1 86.0000 55.0000 56.36%
3358.34/3368.43 c 3368 631073 115034 1 86.0000 55.0000 56.36%
3363.42/3373.58 c 3374 631917 115210 1 86.0000 55.0000 56.36%
3368.91/3379.00 c 3379 632643 115424 1 86.0000 55.0000 56.36%
3374.00/3384.10 c 3384 633367 115593 1 86.0000 55.0000 56.36%
3379.18/3389.37 c 3389 634270 115768 1 86.0000 55.0000 56.36%
3384.37/3394.52 c 3395 635290 115959 1 86.0000 55.0000 56.36%
3389.45/3399.66 c 3400 636209 116122 1 86.0000 55.0000 56.36%
3394.53/3404.73 c 3405 636893 116232 1 86.0000 55.0000 56.36%
3399.72/3409.95 c 3410 638110 116351 1 86.0000 55.0000 56.36%
3404.81/3415.07 c 3415 639044 116493 1 86.0000 55.0000 56.36%
3410.00/3420.28 c 3420 639837 116695 1 86.0000 55.0000 56.36%
3415.08/3425.39 c 3425 640579 116928 1 86.0000 55.0000 56.36%
3420.26/3430.58 c 3431 641493 117038 1 86.0000 55.0000 56.36%
3425.35/3435.67 c 3436 642551 117230 1 86.0000 55.0000 56.36%
3430.44/3440.72 c 3441 643672 117360 1 86.0000 55.0000 56.36%
3435.52/3445.82 c 3446 644529 117461 1 86.0000 55.0000 56.36%
3440.51/3450.86 c 3451 645376 117567 1 86.0000 55.0000 56.36%
3445.60/3455.91 c 3456 646383 117698 1 86.0000 55.0000 56.36%
3450.68/3461.07 c 3461 647146 117895 1 86.0000 55.0000 56.36%
3455.77/3466.14 c 3466 648165 118114 1 86.0000 55.0000 56.36%
3460.95/3471.35 c 3471 649154 118350 1 86.0000 55.0000 56.36%
3466.03/3476.45 c 3476 650018 118510 1 86.0000 55.0000 56.36%
3471.12/3481.51 c 3482 650944 118585 1 86.0000 55.0000 56.36%
3476.21/3486.66 c 3487 652009 118744 1 86.0000 55.0000 56.36%
3481.30/3491.75 c 3492 653041 118831 1 86.0000 55.0000 56.36%
3486.38/3496.80 c 3497 654118 118971 1 86.0000 55.0000 56.36%
3491.46/3501.93 c 3502 654874 119118 1 86.0000 55.0000 56.36%
3496.55/3507.01 c 3507 655858 119247 1 86.0000 55.0000 56.36%
3501.64/3512.15 c 3512 656700 119415 1 86.0000 55.0000 56.36%
3506.82/3517.35 c 3517 657670 119551 1 86.0000 55.0000 56.36%
3512.21/3522.77 c 3523 658490 119739 1 86.0000 55.0000 56.36%
3517.29/3527.84 c 3528 659511 119919 1 86.0000 55.0000 56.36%
3522.48/3533.02 c 3533 660424 120030 1 86.0000 55.0000 56.36%
3527.57/3538.14 c 3538 661362 120217 1 86.0000 55.0000 56.36%
3532.65/3543.21 c 3543 662251 120338 1 86.0000 55.0000 56.36%
3537.83/3548.41 c 3548 663228 120477 1 86.0000 55.0000 56.36%
3542.82/3553.49 c 3554 664156 120654 1 86.0000 55.0000 56.36%
3547.91/3558.57 c 3559 665181 120792 1 86.0000 55.0000 56.36%
3553.09/3563.79 c 3564 666230 120867 1 86.0000 55.0000 56.36%
3558.27/3568.92 c 3569 667289 120991 1 86.0000 55.0000 56.36%
3563.26/3573.97 c 3574 668152 121216 1 86.0000 55.0000 56.36%
3568.35/3579.06 c 3579 669314 121421 1 86.0000 55.0000 56.36%
3573.44/3584.12 c 3584 670144 121604 1 86.0000 55.0000 56.36%
3578.51/3589.24 c 3589 671067 121682 1 86.0000 55.0000 56.36%
3583.70/3594.44 c 3594 671963 121816 1 86.0000 55.0000 56.36%
3588.89/3599.61 c 3600 672839 121944 1 86.0000 55.0000 56.36%
3590.18/3600.95 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.18/3600.95 c Total Time : 3600.94
3590.18/3600.95 c solving : 3600.94
3590.18/3600.95 c presolving : 0.13 (included in solving)
3590.18/3600.95 c B&B Tree :
3590.18/3600.95 c nodes (total) : 1
3590.18/3600.95 c Solution :
3590.18/3600.95 c Solutions found : 9
3590.18/3600.95 c Primal Bound : +8.60000000000000e+01
3590.18/3600.95 c Dual Bound : +5.50000000000000e+01
3590.18/3600.95 c Gap : 56.36364 %
3590.18/3600.95 c * Warning: final gap: 5.63636e-01 is greater than SCIPepsilon: 1.00000e-09
3590.18/3600.95 o 86
3590.18/3600.95 s SATISFIABLE
3590.18/3600.95 v x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107
3590.18/3600.95 v x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132
3590.18/3600.95 v x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157
3590.18/3600.95 v x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182
3590.18/3600.95 v x183 x184 x185 -x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207
3590.18/3600.95 v x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 -x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232
3590.18/3600.95 v x233 x234 x235 -x236 -x237 -x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256
3590.18/3600.95 v x257 x258 x259 -x260 -x261 x262 x263 x264 x265 x266 -x267 -x268 x269 x270 x271 x272 -x273 x274 x275 x276 x277 -x278 x279 x280
3590.18/3600.95 v x281 x282 x283 x284 -x285 -x286 -x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 -x300 x301 x302 x303 x304
3590.18/3600.95 v x305 -x306 -x307 x308 x309 x310 x311 -x312 -x313 x314 x315 x316 x317 -x318 -x319 x320 x321 x322 -x323 x324 x325 x326 -x327 -x328
3590.18/3600.95 v -x329 -x330 -x331 -x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 -x348 x349 x350 x351
3590.18/3600.95 v x352 -x353 -x354 x355 x356 x357 -x358 -x359 x360 x361 x362 -x363 -x364 x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 x374
3590.18/3600.95 v x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 -x385 x386 x387 x388 -x389 x390 x391 x392 -x393 -x394 x395 x396 -x397 -x398
3590.18/3600.95 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416 x417 x418 -x419 -x420 -x421
3590.18/3600.95 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 x435 x436 x437 -x438 -x439 -x440 -x441 -x442
3590.18/3600.95 v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463
3590.18/3600.95 v x464 x465 x466 x467 x468 x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 x479 x480 x481 x482 x483 x484 x485 x486 x487 x488
3590.18/3600.95 v x489 x490 x491 x492 x493 x494 x495 x496 x497 x498 x499 x500 x501 x502 x503 x504 x505 x506 -x507 x508 x509 x510 x511 x512 x513
3590.18/3600.95 v x514 x515 x516 x517 x518 x519 x520 x521 x522 x523 x524 x525 x526 x527 x528 x529 x530 -x531 x532 x533 x534 x535 x536 x537 x538
3590.18/3600.95 v x539 x540 x541 x542 x543 x544 x545 x546 x547 x548 -x549 -x550 -x551 x552 x553 x554 x555 x556 x557 x558 x559 x560 x561 x562
3590.18/3600.95 v x563 x564 x565 -x566 -x567 x568 x569 x570 x571 x572 -x573 -x574 x575 x576 x577 x578 -x579 x580 x581 x582 x583 -x584 x585 x586
3590.18/3600.95 v x587 x588 x589 x590 -x591 -x592 -x593 x594 x595 x596 x597 x598 x599 -x600 x601 x602 x603 x604 x605 -x606 -x607 x608 x609 x610
3590.18/3600.95 v x611 -x612 -x613 x614 x615 x616 x617 -x618 -x619 x620 x621 x622 -x623 x624 x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 x633
3590.18/3600.95 v x634 x635 x636 x637 x638 x639 x640 x641 x642 -x643 x644 x645 x646 x647 -x648 -x649 x650 x651 x652 -x653 -x654 x655 x656 x657
3590.18/3600.95 v -x658 -x659 x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 x669 x670 x671 x672 x673 x674 x675 -x676 x677 x678 x679 -x680
3590.18/3600.95 v x681 x682 x683 -x684 -x685 x686 x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 x698 x699 x700 x701 x702
3590.18/3600.95 v x703 x704 x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 x723 -x724
3590.18/3600.95 v -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745
3590.18/3600.95 v -x746 -x747 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x748 x749 x750 x751 x752 x753 x754 x755 x756 x757 x758 x759 x760 x761 x762 -x763
3590.18/3600.95 v x764 x765 x766 x767 x768 x769 x770 x771 x772 x773 x774 x775 x776 x777 x778 x779 x780 -x781 -x782 -x783 x784 x785 x786 x787
3590.18/3600.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
3590.18/3600.95 v x812 x813 x814 x815 -x816 -x817 -x818 -x819 x820 x821 x822 x823 x824 -x825 x826 x827 x828 x829 x830 -x831 -x832 x833 x834
3590.18/3600.95 v x835 x836 -x837 -x838 x839 x840 x841 -x842 x843 x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 x852 x853 x854 x855 x856 -x857
3590.18/3600.95 v x858 x859 x860 x861 -x862 -x863 x864 x865 x866 -x867 -x868 x869 x870 x871 -x872 x873 x874 x875 -x876 -x877 -x878 -x879 -x880
3590.18/3600.95 v -x881 x882 x883 x884 x885 -x886 x887 x888 x889 -x890 x891 x892 x893 -x894 x895 x896 x897 -x898 -x899 -x900 -x901 -x902 -x903
3590.18/3600.95 v -x904 -x905 -x906 -x907 x908 x909 x910 x911 x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925
3590.18/3600.95 v -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946
3590.18/3600.95 v -x947 -x948 -x949 -x950 -x951 -x14 -x13 -x12 -x11 -x10 -x9 x8 x952 x953 x954 x955 x956 x957 x958 -x959 x960 x961 x962 x963
3590.18/3600.95 v x964 x965 x966 x967 x968 x969 x970 x971 x972 x973 x974 x975 x976 -x977 -x978 -x979 -x980 x981 x982 x983 x984 x985 -x986 -x987
3590.18/3600.95 v x988 x989 x990 x991 -x992 x993 x994 x995 x996 -x997 x998 x999 x1000 -x1001 x1002 x1003 -x1004 -x1005 -x1006 x1007 x1008 x1009
3590.18/3600.95 v x1010 x1011 -x1012 x1013 x1014 x1015 x1016 -x1017 x1018 x1019 x1020 x1021 -x1022 x1023 x1024 x1025 -x1026 -x1027 -x1028 -x1029
3590.18/3600.95 v -x1030 -x1031 x1032 x1033 x1034 x1035 -x1036 x1037 x1038 x1039 -x1040 x1041 x1042 x1043 -x1044 -x1045 -x1046 -x1047 -x1048
3590.18/3600.95 v -x1049 -x1050 -x1051 -x1052 -x1053 x1054 x1055 x1056 -x1057 x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067
3590.18/3600.95 v -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085
3590.18/3600.95 v -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x28 -x27 -x26 -x25 x24 x23 -x22 -x1092 x1093 x1094 x1095 x1096 x1097 x1098 x1099
3590.18/3600.95 v x1100 x1101 x1102 x1103 x1104 x1105 x1106 x1107 x1108 x1109 -x1110 -x1111 -x1112 x1113 x1114 x1115 x1116 x1117 -x1118 x1119
3590.18/3600.95 v x1120 x1121 x1122 -x1123 x1124 x1125 x1126 x1127 x1128 x1129 -x1130 -x1131 -x1132 x1133 x1134 x1135 x1136 -x1137 x1138 x1139
3590.18/3600.95 v x1140 -x1141 x1142 x1143 x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 x1152 x1153 x1154 x1155 x1156 -x1157 -x1158
3590.18/3600.95 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176
3590.18/3600.95 v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x35 -x34 -x33 x32 x31 -x30 x29 x1183 x1184 x1185 x1186 x1187 x1188 x1189 x1190
3590.18/3600.95 v x1191 x1192 x1193 x1194 -x1195 -x1196 -x1197 x1198 x1199 x1200 x1201 -x1202 x1203 x1204 x1205 x1206 x1207 x1208 -x1209 -x1210
3590.18/3600.95 v -x1211 x1212 x1213 x1214 x1215 x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229
3590.18/3600.95 v -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x42 -x41 x40 -x39 x38 -x37 -x36 x1238 x1239 x1240 x1241 x1242 x1243
3590.18/3600.95 v x1244 -x1245 -x1246 -x1247 x1248 x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261
3590.18/3600.95 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x49 -x48 x47 -x46 x45 -x44 -x43 x1268 x1269 x1270 -x1271 -x1272 -x1273 -x1274 -x1275
3590.18/3600.95 v -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x56 -x55 x54 x53 -x52 x51 x50 -x1282 -x1283 -x1284 -x1285 -x1286 -x63 x62 -x61
3590.18/3600.95 v -x60 -x59 x58 -x57 -x1287 -x77 x76 -x75 x74 -x73 -x72 -x71 -x70 x69 -x68 x67 x66 x65 -x64 x1288 -x7 -x6 x5 x4 x3 x2 x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61921 MiB free)
memory of node 1: 64510 MiB (58647 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434672-1721101660/watcher-4434672-1721101660 -o /tmp/evaluation-result-4434672-1721101660/solver-4434672-1721101660 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721098035-860309 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434672-1721101660.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=862875, runsolver pid=862872
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 4.14 4.13 4.09 5/263 862876
/proc/meminfo: memFree=123435408/131524600 swapFree=131071996/131071996
[pid=862875] ppid=862872 vsize=46876 memory=36516 CPUtime=0.1 cores=1,3
/proc/862875/stat : 862875 (fscip) R 862872 862875 860297 0 -1 4194304 9393 0 0 0 9 1 0 0 20 0 1 0 162331404 48001024 9129 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
/proc/862875/statm: 11719 9129 2702 3032 0 8119 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 46876 KiB
Current children cumulated memory: 36516 KiB
[startup+0.205623 s]*
/proc/loadavg: 4.14 4.13 4.09 5/265 862878
/proc/meminfo: memFree=123387576/131524600 swapFree=131071996/131071996
[pid=862875] ppid=862872 vsize=160332 memory=84260 CPUtime=0.2 cores=1,3
/proc/862875/stat : 862875 (fscip) S 862872 862875 860297 0 -1 1077936128 21419 0 0 0 17 3 0 0 20 0 3 0 162331404 164179968 21065 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
/proc/862875/statm: 40083 21065 2798 3032 0 25881 0
[pid=862875/tid=862877] ppid=862872 vsize=160332 memory=8737651120394928259 CPUtime=0.03 cores=1,3
/proc/862875/task/862877/stat : 862877 (fscip) R 862872 862875 860297 0 -1 4194368 5269 0 0 0 3 0 0 0 20 0 3 0 162331419 164179968 21065 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
[pid=862875/tid=862878] ppid=862872 vsize=160332 memory=1670 CPUtime=0 cores=1,3
/proc/862875/task/862878/stat : 862878 (fscip) S 862872 862875 860297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 162331421 164179968 21065 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 160332 KiB
Current children cumulated memory: 84260 KiB
[startup+0.305643 s]*
/proc/loadavg: 4.14 4.13 4.09 5/265 862878
/proc/meminfo: memFree=123372108/131524600 swapFree=131071996/131071996
[pid=862875] ppid=862872 vsize=167620 memory=99976 CPUtime=0.29 cores=1,3
/proc/862875/stat : 862875 (fscip) S 862872 862875 860297 0 -1 1077936128 25202 0 0 0 26 3 0 0 20 0 3 0 162331404 171642880 24994 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
/proc/862875/statm: 41905 24994 2926 3032 0 30181 0
[pid=862875/tid=862877] ppid=862872 vsize=167620 memory=-6224654631325317994 CPUtime=0.13 cores=1,3
/proc/862875/task/862877/stat : 862877 (fscip) R 862872 862875 860297 0 -1 4194368 9052 0 0 0 12 1 0 0 20 0 3 0 162331419 171642880 24994 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
[pid=862875/tid=862878] ppid=862872 vsize=167620 memory=0 CPUtime=0 cores=1,3
/proc/862875/task/862878/stat : 862878 (fscip) S 862872 862875 860297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 162331421 171642880 24994 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 167620 KiB
Current children cumulated memory: 99976 KiB
[startup+0.700217 s]
/proc/loadavg: 4.14 4.13 4.09 5/265 862878
/proc/meminfo: memFree=123343116/131524600 swapFree=131071996/131071996
[pid=862875] ppid=862872 vsize=167620 memory=126896 CPUtime=0.68 cores=1,3
/proc/862875/stat : 862875 (fscip) S 862872 862875 860297 0 -1 1077936128 31915 0 0 0 64 4 0 0 20 0 3 0 162331404 171642880 31724 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
/proc/862875/statm: 41905 31724 2926 3032 0 37229 0
[pid=862875/tid=862877] ppid=862872 vsize=167620 memory=0 CPUtime=0.52 cores=1,3
/proc/862875/task/862877/stat : 862877 (fscip) R 862872 862875 860297 0 -1 4194368 15765 0 0 0 50 2 0 0 20 0 3 0 162331419 171642880 31724 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
[pid=862875/tid=862878] ppid=862872 vsize=167620 memory=0 CPUtime=0 cores=1,3
/proc/862875/task/862878/stat : 862878 (fscip) S 862872 862875 860297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 162331421 171642880 31724 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 167620 KiB
Current children cumulated memory: 126896 KiB
[startup+1.5002 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 862878
/proc/meminfo: memFree=123338376/131524600 swapFree=131071996/131071996
[pid=862875] ppid=862872 vsize=233156 memory=151416 CPUtime=1.47 cores=1,3
/proc/862875/stat : 862875 (fscip) S 862872 862875 860297 0 -1 1077936128 43137 0 0 0 142 5 0 0 20 0 3 0 162331404 238751744 37854 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
/proc/862875/statm: 58289 37854 2926 3032 0 43833 0
[pid=862875/tid=862877] ppid=862872 vsize=233156 memory=0 CPUtime=1.31 cores=1,3
/proc/862875/task/862877/stat : 862877 (fscip) R 862872 862875 860297 0 -1 4194368 26967 0 0 0 128 3 0 0 20 0 3 0 162331419 238751744 37854 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
[pid=862875/tid=862878] ppid=862872 vsize=233156 memory=0 CPUtime=0 cores=1,3
/proc/862875/task/862878/stat : 862878 (fscip) S 862872 862875 860297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 162331421 238751744 37854 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 233156 KiB
Current children cumulated memory: 151416 KiB
[startup+3.10546 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 862878
/proc/meminfo: memFree=123309380/131524600 swapFree=131071996/131071996
[pid=862875] ppid=862872 vsize=233156 memory=154260 CPUtime=3.08 cores=1,3
/proc/862875/stat : 862875 (fscip) S 862872 862875 860297 0 -1 1077936128 46458 0 0 0 302 6 0 0 20 0 3 0 162331404 238751744 38565 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
/proc/862875/statm: 58289 38565 2942 3032 0 43969 0
[pid=862875/tid=862877] ppid=862872 vsize=233156 memory=0 CPUtime=2.91 cores=1,3
/proc/862875/task/862877/stat : 862877 (fscip) R 862872 862875 860297 0 -1 4194368 30285 0 0 0 287 4 0 0 20 0 3 0 162331419 238751744 38565 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
[pid=862875/tid=862878] ppid=862872 vsize=233156 memory=2209 CPUtime=0 cores=1,3
/proc/862875/task/862878/stat : 862878 (fscip) S 862872 862875 860297 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 162331421 238751744 38565 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 233156 KiB
Current children cumulated memory: 154260 KiB
[startup+6.30019 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 862879
/proc/meminfo: memFree=123295408/131524600 swapFree=131071996/131071996
[pid=862875] ppid=862872 vsize=233156 memory=159756 CPUtime=6.26 cores=1,3
/proc/862875/stat : 862875 (fscip) S 862872 862875 860297 0 -1 1077936128 60082 0 0 0 619 7 0 0 20 0 3 0 162331404 238751744 39939 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
/proc/862875/statm: 58289 39939 2990 3032 0 45233 0
[pid=862875/tid=862877] ppid=862872 vsize=233156 memory=0 CPUtime=6.1 cores=1,3
/proc/862875/task/862877/stat : 862877 (fscip) R 862872 862875 860297 0 -1 4194368 43887 0 0 0 605 5 0 0 20 0 3 0 162331419 238751744 39939 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
[pid=862875/tid=862878] ppid=862872 vsize=233156 memory=0 CPUtime=0 cores=1,3
/proc/862875/task/862878/stat : 862878 (fscip) S 862872 862875 860297 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 162331421 238751744 39939 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 233156 KiB
Current children cumulated memory: 159756 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 862879
/proc/meminfo: memFree=123294960/131524600 swapFree=131071996/131071996
[pid=862875] ppid=862872 vsize=233156 memory=159980 CPUtime=12.65 cores=1,3
/proc/862875/stat : 862875 (fscip) S 862872 862875 860297 0 -1 1077936128 87681 0 0 0 1256 9 0 0 20 0 3 0 162331404 238751744 39995 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
/proc/862875/statm: 58289 39995 2990 3032 0 45285 0
[pid=862875/tid=862877] ppid=862872 vsize=233156 memory=159972 CPUtime=12.48 cores=1,3
/proc/862875/task/862877/stat : 862877 (fscip) R 862872 862875 860297 0 -1 4194368 71187 0 0 0 1242 6 0 0 20 0 3 0 162331419 238751744 39995 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
[pid=862875/tid=862878] ppid=862872 vsize=233156 memory=11860 CPUtime=0 cores=1,3
/proc/862875/task/862878/stat : 862878 (fscip) S 862872 862875 860297 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 162331421 238751744 39995 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 233156 KiB
Current children cumulated memory: 159980 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 862882
/proc/meminfo: memFree=123254292/131524600 swapFree=131071996/131071996
[pid=862875] ppid=862872 vsize=233156 memory=188476 CPUtime=25.42 cores=1,3
/proc/862875/stat : 862875 (fscip) S 862872 862875 860297 0 -1 1077936128 140282 0 0 0 2528 14 0 0 20 0 3 0 162331404 238751744 47119 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
/proc/862875/statm: 58289 47119 2990 3032 0 52326 0
[pid=862875/tid=862877] ppid=862872 vsize=233156 memory=188252 CPUtime=25.24 cores=1,3
/proc/862875/task/862877/stat : 862877 (fscip) R 862872 862875 860297 0 -1 4194368 123715 0 0 0 2513 11 0 0 20 0 3 0 162331419 238751744 47119 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
[pid=862875/tid=862878] ppid=862872 vsize=233156 memory=11860 CPUtime=0 cores=1,3
/proc/862875/task/862878/stat : 862878 (fscip) S 862872 862875 860297 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 162331421 238751744 47119 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 233156 KiB
Current children cumulated memory: 188476 KiB
[startup+51.1054 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 862885
/proc/meminfo: memFree=123209708/131524600 swapFree=131071996/131071996
[pid=862875] ppid=862872 vsize=233156 memory=196516 CPUtime=50.95 cores=1,3
/proc/862875/stat : 862875 (fscip) S 862872 862875 860297 0 -1 1077936128 196364 0 0 0 5073 22 0 0 20 0 3 0 162331404 238751744 49129 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
/proc/862875/statm: 58289 49129 2990 3032 0 54321 0
[pid=862875/tid=862877] ppid=862872 vsize=233156 memory=196508 CPUtime=50.77 cores=1,3
/proc/862875/task/862877/stat : 862877 (fscip) R 862872 862875 860297 0 -1 4194368 179466 0 0 0 5058 19 0 0 20 0 3 0 162331419 238751744 49129 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
[pid=862875/tid=862878] ppid=862872 vsize=233156 memory=196504 CPUtime=0 cores=1,3
/proc/862875/task/862878/stat : 862878 (fscip) S 862872 862875 860297 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 162331421 238751744 49129 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 233156 KiB
Current children cumulated memory: 196516 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 862894
/proc/meminfo: memFree=123125288/131524600 swapFree=131071996/131071996
[pid=862875] ppid=862872 vsize=298692 memory=220744 CPUtime=101.99 cores=1,3
/proc/862875/stat : 862875 (fscip) S 862872 862875 860297 0 -1 1077936128 271746 0 0 0 10168 31 0 0 20 0 3 0 162331404 305860608 55186 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
/proc/862875/statm: 74673 55186 2990 3032 0 60520 0
[pid=862875/tid=862877] ppid=862872 vsize=298692 memory=202676 CPUtime=101.82 cores=1,3
/proc/862875/task/862877/stat : 862877 (fscip) R 862872 862875 860297 0 -1 4194368 254772 0 0 0 10153 29 0 0 20 0 3 0 162331419 305860608 55186 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
[pid=862875/tid=862878] ppid=862872 vsize=298692 memory=202668 CPUtime=0 cores=1,3
/proc/862875/task/862878/stat : 862878 (fscip) S 862872 862875 860297 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 162331421 305860608 55186 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 298692 KiB
Current children cumulated memory: 220744 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/267 862909
/proc/meminfo: memFree=123114180/131524600 swapFree=131071996/131071996
[pid=862875] ppid=862872 vsize=302208 memory=227964 CPUtime=161.82 cores=1,3
/proc/862875/stat : 862875 (fscip) S 862872 862875 860297 0 -1 1077936128 318451 0 0 0 16143 39 0 0 20 0 3 0 162331404 309460992 56991 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
/proc/862875/statm: 75552 56991 2990 3032 0 62283 0
[pid=862875/tid=862877] ppid=862872 vsize=302208 memory=13040 CPUtime=161.64 cores=1,3
/proc/862875/task/862877/stat : 862877 (fscip) R 862872 862875 860297 0 -1 4194368 301166 0 0 0 16128 36 0 0 20 0 3 0 162331419 309460992 56991 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
[pid=862875/tid=862878] ppid=862872 vsize=302208 memory=227744 CPUtime=0 cores=1,3
/proc/862875/task/862878/stat : 862878 (fscip) S 862872 862875 860297 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 162331421 309460992 56991 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 302208 KiB
Current children cumulated memory: 227964 KiB
[startup+222.3 s]
/proc/loadavg: 4.26 4.15 4.10 5/267 862920
################
# More data... #
################
/proc/862875/statm: 476305 457552 3310 3032 0 468475 0
[pid=862875/tid=862877] ppid=862872 vsize=1905220 memory=1770224 CPUtime=3451.56 cores=1,3
/proc/862875/task/862877/stat : 862877 (fscip) R 862872 862875 860297 0 -1 4194368 3669240 0 0 0 344570 586 0 0 20 0 3 0 162331419 1950945280 457552 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
[pid=862875/tid=862878] ppid=862872 vsize=1905220 memory=1785184 CPUtime=0.04 cores=1,3
/proc/862875/task/862878/stat : 862878 (fscip) S 862872 862875 860297 0 -1 1077936192 148 0 0 0 1 3 0 0 20 0 3 0 162331421 1950945280 457552 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
Current children cumulated CPU time: 3451.98 s
Current children cumulated vsize: 1905220 KiB
Current children cumulated memory: 1830208 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/263 864710
/proc/meminfo: memFree=119554020/131524600 swapFree=131071996/131071996
[pid=862875] ppid=862872 vsize=1959100 memory=1845336 CPUtime=3511.81 cores=1,3
/proc/862875/stat : 862875 (fscip) S 862872 862875 860297 0 -1 1077936128 3778737 0 0 0 350573 608 0 0 20 0 3 0 162331404 2006118400 461334 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
/proc/862875/statm: 489775 461334 3310 3032 0 482819 0
[pid=862875/tid=862877] ppid=862872 vsize=1959100 memory=13040 CPUtime=3511.38 cores=1,3
/proc/862875/task/862877/stat : 862877 (fscip) R 862872 862875 860297 0 -1 4194368 3759932 0 0 0 350541 597 0 0 20 0 3 0 162331419 2006118400 461334 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
[pid=862875/tid=862878] ppid=862872 vsize=1959100 memory=1808776 CPUtime=0.04 cores=1,3
/proc/862875/task/862878/stat : 862878 (fscip) S 862872 862875 860297 0 -1 1077936192 150 0 0 0 1 3 0 0 20 0 3 0 162331421 2006118400 461334 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
Current children cumulated CPU time: 3511.81 s
Current children cumulated vsize: 1959100 KiB
Current children cumulated memory: 1845336 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.17 4.11 5/264 864819
/proc/meminfo: memFree=118615792/131524600 swapFree=131071996/131071996
[pid=862875] ppid=862872 vsize=2026712 memory=1885492 CPUtime=3571.64 cores=1,3
/proc/862875/stat : 862875 (fscip) S 862872 862875 860297 0 -1 1077936128 3875983 0 0 0 356544 620 0 0 20 0 3 0 162331404 2075353088 471373 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
/proc/862875/statm: 506678 471373 3310 3032 0 490958 0
[pid=862875/tid=862877] ppid=862872 vsize=2026712 memory=11860 CPUtime=3571.2 cores=1,3
/proc/862875/task/862877/stat : 862877 (fscip) R 862872 862875 860297 0 -1 4194368 3857161 0 0 0 356512 608 0 0 20 0 3 0 162331419 2075353088 471373 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
[pid=862875/tid=862878] ppid=862872 vsize=2026712 memory=962448 CPUtime=0.04 cores=1,3
/proc/862875/task/862878/stat : 862878 (fscip) S 862872 862875 860297 0 -1 1077936192 152 0 0 0 1 3 0 0 20 0 3 0 162331421 2075353088 471373 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
Current children cumulated CPU time: 3571.64 s
Current children cumulated vsize: 2026712 KiB
Current children cumulated memory: 1885492 KiB
[startup+3600.97 s]
# the end of solver process 862875 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.99 s, system=6.26462 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.22 4.17 4.11 4/259 864835
/proc/meminfo: memFree=120134968/131524600 swapFree=131071996/131071996
[pid=862875] ppid=862872 vsize=2026712 memory=1885548 CPUtime=3573.34 cores=1,3
/proc/862875/stat : 862875 (fscip) S 862872 862875 860297 0 -1 1077936128 3876522 0 0 0 356714 620 0 0 20 0 3 0 162331404 2075353088 471387 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
/proc/862875/statm: 506678 471387 3310 3032 0 490958 0
[pid=862875/tid=862877] ppid=862872 vsize=2026712 memory=-6170700505060703168 CPUtime=3572.9 cores=1,3
/proc/862875/task/862877/stat : 862877 (fscip) R 862872 862875 860297 0 -1 4194368 3857700 0 0 0 356682 608 0 0 20 0 3 0 162331419 2075353088 471387 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
[pid=862875/tid=862878] ppid=862872 vsize=2026712 memory=7296 CPUtime=0.04 cores=1,3
/proc/862875/task/862878/stat : 862878 (fscip) S 862872 862875 860297 0 -1 1077936192 152 0 0 0 1 3 0 0 20 0 3 0 162331421 2075353088 471387 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
Current children cumulated CPU time: 3573.34 s
Current children cumulated vsize: 2026712 KiB
Current children cumulated memory: 1885548 KiB
[startup+3590.4 s]
/proc/loadavg: 4.20 4.16 4.11 5/264 864869
/proc/meminfo: memFree=119521808/131524600 swapFree=131071996/131071996
[pid=862875] ppid=862872 vsize=2026712 memory=1885592 CPUtime=3579.71 cores=1,3
/proc/862875/stat : 862875 (fscip) S 862872 862875 860297 0 -1 1077936128 3878813 0 0 0 357351 620 0 0 20 0 3 0 162331404 2075353088 471398 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
/proc/862875/statm: 506678 471398 3310 3032 0 490958 0
[pid=862875/tid=862877] ppid=862872 vsize=2026712 memory=1885584 CPUtime=3579.28 cores=1,3
/proc/862875/task/862877/stat : 862877 (fscip) R 862872 862875 860297 0 -1 4194368 3859991 0 0 0 357319 609 0 0 20 0 3 0 162331419 2075353088 471398 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
[pid=862875/tid=862878] ppid=862872 vsize=2026712 memory=1885588 CPUtime=0.04 cores=1,3
/proc/862875/task/862878/stat : 862878 (fscip) S 862872 862875 860297 0 -1 1077936192 152 0 0 0 1 3 0 0 20 0 3 0 162331421 2075353088 471398 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
Current children cumulated CPU time: 3579.71 s
Current children cumulated vsize: 2026712 KiB
Current children cumulated memory: 1885592 KiB
[startup+3596.8 s]
/proc/loadavg: 4.18 4.16 4.11 5/264 864870
/proc/meminfo: memFree=119446620/131524600 swapFree=131071996/131071996
[pid=862875] ppid=862872 vsize=2026712 memory=1903700 CPUtime=3586.1 cores=1,3
/proc/862875/stat : 862875 (fscip) S 862872 862875 860297 0 -1 1077936128 3886011 0 0 0 357988 622 0 0 20 0 3 0 162331404 2075353088 475925 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
/proc/862875/statm: 506678 475925 3310 3032 0 495020 0
[pid=862875/tid=862877] ppid=862872 vsize=2026712 memory=41404 CPUtime=3585.66 cores=1,3
/proc/862875/task/862877/stat : 862877 (fscip) R 862872 862875 860297 0 -1 4194368 3867189 0 0 0 357956 610 0 0 20 0 3 0 162331419 2075353088 475925 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
[pid=862875/tid=862878] ppid=862872 vsize=2026712 memory=13040 CPUtime=0.04 cores=1,3
/proc/862875/task/862878/stat : 862878 (fscip) S 862872 862875 860297 0 -1 1077936192 152 0 0 0 1 3 0 0 20 0 3 0 162331421 2075353088 475925 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
Current children cumulated CPU time: 3586.1 s
Current children cumulated vsize: 2026712 KiB
Current children cumulated memory: 1903700 KiB
[startup+3598.4 s]
/proc/loadavg: 4.17 4.16 4.11 5/264 864870
/proc/meminfo: memFree=119445656/131524600 swapFree=131071996/131071996
[pid=862875] ppid=862872 vsize=2026712 memory=1903980 CPUtime=3587.69 cores=1,3
/proc/862875/stat : 862875 (fscip) S 862872 862875 860297 0 -1 1077936128 3886482 0 0 0 358147 622 0 0 20 0 3 0 162331404 2075353088 475995 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
/proc/862875/statm: 506678 475995 3310 3032 0 495020 0
[pid=862875/tid=862877] ppid=862872 vsize=2026712 memory=11860 CPUtime=3587.26 cores=1,3
/proc/862875/task/862877/stat : 862877 (fscip) R 862872 862875 860297 0 -1 4194368 3867660 0 0 0 358116 610 0 0 20 0 3 0 162331419 2075353088 475995 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
[pid=862875/tid=862878] ppid=862872 vsize=2026712 memory=41404 CPUtime=0.04 cores=1,3
/proc/862875/task/862878/stat : 862878 (fscip) S 862872 862875 860297 0 -1 1077936192 152 0 0 0 1 3 0 0 20 0 3 0 162331421 2075353088 475995 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
Current children cumulated CPU time: 3587.69 s
Current children cumulated vsize: 2026712 KiB
Current children cumulated memory: 1903980 KiB
[startup+3600 s]*
/proc/loadavg: 4.17 4.16 4.11 5/264 864870
/proc/meminfo: memFree=119444444/131524600 swapFree=131071996/131071996
[pid=862875] ppid=862872 vsize=2026712 memory=1904024 CPUtime=3589.29 cores=1,3
/proc/862875/stat : 862875 (fscip) R 862872 862875 860297 0 -1 1077936128 3887102 0 0 0 358307 622 0 0 20 0 3 0 162331404 2075353088 476006 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
/proc/862875/statm: 506678 476006 3310 3032 0 495020 0
[pid=862875/tid=862877] ppid=862872 vsize=2026712 memory=6720663255389585518 CPUtime=3588.87 cores=1,3
/proc/862875/task/862877/stat : 862877 (fscip) R 862872 862875 860297 0 -1 4194368 3868280 0 0 0 358276 611 0 0 20 0 3 0 162331419 2075353088 476006 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
[pid=862875/tid=862878] ppid=862872 vsize=2026712 memory=28176 CPUtime=0.04 cores=1,3
/proc/862875/task/862878/stat : 862878 (fscip) S 862872 862875 860297 0 -1 1077936192 152 0 0 0 1 3 0 0 20 0 3 0 162331421 2075353088 476006 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
Current children cumulated CPU time: 3589.29 s
Current children cumulated vsize: 2026712 KiB
Current children cumulated memory: 1904024 KiB
[startup+3600.4 s]
/proc/loadavg: 4.17 4.16 4.11 5/264 864870
/proc/meminfo: memFree=119444444/131524600 swapFree=131071996/131071996
[pid=862875] ppid=862872 vsize=2026712 memory=1904024 CPUtime=3589.68 cores=1,3
/proc/862875/stat : 862875 (fscip) S 862872 862875 860297 0 -1 1077936128 3913930 0 0 0 358345 623 0 0 20 0 3 0 162331404 2075353088 476006 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
/proc/862875/statm: 506678 476006 3310 3032 0 495020 0
[pid=862875/tid=862877] ppid=862872 vsize=2026712 memory=16096 CPUtime=3589.26 cores=1,3
/proc/862875/task/862877/stat : 862877 (fscip) R 862872 862875 860297 0 -1 4194368 3895112 0 0 0 358314 612 0 0 20 0 3 0 162331419 2075353088 476006 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
[pid=862875/tid=862878] ppid=862872 vsize=2026712 memory=2244 CPUtime=0.04 cores=1,3
/proc/862875/task/862878/stat : 862878 (fscip) S 862872 862875 860297 0 -1 1077936192 152 0 0 0 1 3 0 0 20 0 3 0 162331421 2075353088 476006 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
Current children cumulated CPU time: 3589.68 s
Current children cumulated vsize: 2026712 KiB
Current children cumulated memory: 1904024 KiB
[startup+3600.8 s]
/proc/loadavg: 4.17 4.16 4.11 5/264 864870
/proc/meminfo: memFree=119444444/131524600 swapFree=131071996/131071996
[pid=862875] ppid=862872 vsize=2026712 memory=1904024 CPUtime=3590.08 cores=1,3
/proc/862875/stat : 862875 (fscip) S 862872 862875 860297 0 -1 1077936128 3923245 0 0 0 358385 623 0 0 20 0 3 0 162331404 2075353088 476006 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
/proc/862875/statm: 506678 476006 3310 3032 0 495020 0
[pid=862875/tid=862877] ppid=862872 vsize=2026712 memory=7204 CPUtime=3589.65 cores=1,3
/proc/862875/task/862877/stat : 862877 (fscip) R 862872 862875 860297 0 -1 4194368 3904423 0 0 0 358353 612 0 0 20 0 3 0 162331419 2075353088 476006 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
[pid=862875/tid=862878] ppid=862872 vsize=2026712 memory=33948 CPUtime=0.04 cores=1,3
/proc/862875/task/862878/stat : 862878 (fscip) S 862872 862875 860297 0 -1 1077936192 152 0 0 0 1 3 0 0 20 0 3 0 162331421 2075353088 476006 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
Current children cumulated CPU time: 3590.08 s
Current children cumulated vsize: 2026712 KiB
Current children cumulated memory: 1904024 KiB
[startup+3600.9 s]
/proc/loadavg: 4.17 4.16 4.11 5/264 864870
/proc/meminfo: memFree=119444444/131524600 swapFree=131071996/131071996
[pid=862875] ppid=862872 vsize=2026712 memory=1904024 CPUtime=3590.18 cores=1,3
/proc/862875/stat : 862875 (fscip) S 862872 862875 860297 0 -1 1077936128 3925365 0 0 0 358395 623 0 0 20 0 3 0 162331404 2075353088 476006 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
/proc/862875/statm: 506678 476006 3310 3032 0 495020 0
[pid=862875/tid=862877] ppid=862872 vsize=2026712 memory=1883404 CPUtime=3589.75 cores=1,3
/proc/862875/task/862877/stat : 862877 (fscip) R 862872 862875 860297 0 -1 4194368 3906543 0 0 0 358363 612 0 0 20 0 3 0 162331419 2075353088 476006 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
[pid=862875/tid=862878] ppid=862872 vsize=2026712 memory=5448 CPUtime=0.04 cores=1,3
/proc/862875/task/862878/stat : 862878 (fscip) S 862872 862875 860297 0 -1 1077936192 152 0 0 0 1 3 0 0 20 0 3 0 162331421 2075353088 476006 134679101440 4194304 16613245 140737154216208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48902144 140737154221077 140737154221193 140737154221193 140737154228208 0
Current children cumulated CPU time: 3590.18 s
Current children cumulated vsize: 2026712 KiB
Current children cumulated memory: 1904024 KiB
Child status: 0
Real time (s): 3600.97
CPU time (s): 3590.26
CPU user time (s): 3583.99
CPU system time (s): 6.26462
CPU usage (%): 99.7027
Max. virtual memory (cumulated for all children) (KiB): 2026712
Max. memory (cumulated for all children) (KiB): 1904024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.99
system time used= 6.26462
maximum resident set size= 1904024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3926609
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= 10877
involuntary context switches= 4532
# summary of solver processes directly reported to runsolver:
# pid: 862875
# total CPU time (s): 3590.26
# total CPU user time (s): 3583.99
# total CPU system time (s): 6.26462
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.27976 second user time and 16.1459 second system time
The end
Begin job on nodeC025 at 2024-07-16 05:47:53
IDJOB=4434672
IDBENCH=147695
IDSOLVER=3064
FILE ID=nodeC025/4434672-1721101660
RUNJOBID= nodeC025-1721098035-860309
SLURM_JOB_ID= 7505612
Free space on /tmp= 889944 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_11.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-4434672-1721101660/watcher-4434672-1721101660 -o /tmp/evaluation-result-4434672-1721101660/solver-4434672-1721101660 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721098035-860309 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434672-1721101660.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 89d4e33f1fc4516d7db076f434bf527f
RANDOM SEED=1444968526
nodeC025.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.328
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3669.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3676.120
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3675.551
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3676.128
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3674.775
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.192
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.117
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123462456 kB
MemAvailable: 128705616 kB
Buffers: 408180 kB
Cached: 5609576 kB
SwapCached: 0 kB
Active: 761872 kB
Inactive: 6566796 kB
Active(anon): 1528 kB
Inactive(anon): 1347096 kB
Active(file): 760344 kB
Inactive(file): 5219700 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 88220 kB
Writeback: 0 kB
AnonPages: 1308920 kB
Mapped: 139576 kB
Shmem: 37720 kB
KReclaimable: 205528 kB
Slab: 323952 kB
SReclaimable: 205528 kB
SUnreclaim: 118424 kB
KernelStack: 4192 kB
PageTables: 12044 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1116164 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62752 kB
HardwareCorrupted: 0 kB
AnonHugePages: 256000 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 273108 kB
DirectMap2M: 36200448 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 889904 MiB
End job on nodeC025 at 2024-07-16 06:47:54