0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 33165312, getVmSize() = 33165312, SCIPgetMemUsed() = 8974331, SCIPgetMemTotal() = 11404619, SCIPgetMemExternEstim() = 3689818
0.00/0.01 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
1.78/1.87 c ** Estimated virtualMemUsedAtSolver = 25761109, getVmSize() = 44118016, SCIPgetMemUsed() = 10475868, SCIPgetMemTotal() = 21246572, SCIPgetMemExternEstim() = 3689818
1.78/1.87 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
1.78/1.87 c Original Problem :
1.78/1.87 c Problem name : instance-4464740-1722390645
1.78/1.87 c Variables : 3404 (3404 binary, 0 integer, 0 implicit integer, 0 continuous)
1.78/1.87 c Constraints : 851
1.78/1.87 c Objective sense : minimize
1.78/1.87 c Presolved Problem :
1.78/1.87 c Variables : 3404 (3404 binary, 0 integer, 0 implicit integer, 0 continuous)
1.78/1.87 c Constraints : 851
1.78/1.87 c Constraints : Number
1.78/1.87 c linear : 851
1.78/1.87 c ** Instance transfer method used: 0
1.78/1.88 c ** ParaScipInstance copy does not increase the number of variables. **
1.78/1.88 c LC is working with racing ramp-up and with rebuilding tree after racing.
1.78/1.88 c Nodes Active
1.78/1.88 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
1.88/1.92 c * 2 0 1 1 173.0000 - -
2.17/2.24 c * 2 0 1 1 1.0000 - -
5.64/5.75 c 6 41 39 1 1.0000 0.0000 -
11.09/11.27 c 11 989 987 1 1.0000 0.0000 -
16.25/16.42 c 16 2097 1046 1 1.0000 0.0000 -
21.30/21.55 c 22 4430 3379 1 1.0000 0.0000 -
26.45/26.74 c 27 6635 5584 1 1.0000 0.0000 -
31.40/31.79 c 32 9065 8014 1 1.0000 0.0000 -
36.55/36.96 c 37 11343 10292 1 1.0000 0.0000 -
41.60/42.01 c 42 13478 12417 1 1.0000 0.0000 -
46.56/47.07 c 47 15837 14776 1 1.0000 0.0000 -
51.70/52.24 c 52 18272 17211 1 1.0000 0.0000 -
56.74/57.31 c 57 20179 19118 1 1.0000 0.0000 -
61.89/62.55 c 63 22602 21541 1 1.0000 0.0000 -
66.94/67.60 c 68 24765 23704 1 1.0000 0.0000 -
71.89/72.69 c 73 27160 26099 1 1.0000 0.0000 -
77.24/78.05 c 78 29562 28501 1 1.0000 0.0000 -
82.19/83.10 c 83 32184 31123 1 1.0000 0.0000 -
87.33/88.25 c 88 34998 33937 1 1.0000 0.0000 -
92.58/93.58 c 94 37676 36615 1 1.0000 0.0000 -
97.63/98.63 c 99 40404 39343 1 1.0000 0.0000 -
102.78/103.85 c 104 42867 41806 1 1.0000 0.0000 -
107.83/108.90 c 109 45445 44384 1 1.0000 0.0000 -
112.88/114.10 c 114 47845 46784 1 1.0000 0.0000 -
118.12/119.30 c 119 50372 49311 1 1.0000 0.0000 -
123.17/124.42 c 124 53466 52405 1 1.0000 0.0000 -
128.31/129.66 c 130 55664 54603 1 1.0000 0.0000 -
133.37/134.71 c 135 58549 57488 1 1.0000 0.0000 -
138.31/139.76 c 140 61024 59963 1 1.0000 0.0000 -
143.37/144.89 c 145 63465 62404 1 1.0000 0.0000 -
148.51/150.03 c 150 65764 64703 1 1.0000 0.0000 -
153.56/155.19 c 155 68408 67347 1 1.0000 0.0000 -
158.90/160.53 c 161 70979 69918 1 1.0000 0.0000 -
163.95/165.61 c 166 73463 72402 1 1.0000 0.0000 -
169.10/170.82 c 171 76143 75076 1 1.0000 0.0000 -
174.15/175.98 c 176 78822 77755 1 1.0000 0.0000 -
179.20/181.08 c 181 81495 80428 1 1.0000 0.0000 -
184.25/186.12 c 186 84067 83000 1 1.0000 0.0000 -
189.59/191.56 c 192 86765 85698 1 1.0000 0.0000 -
194.64/196.61 c 197 89200 88133 1 1.0000 0.0000 -
199.98/202.04 c 202 92152 91085 1 1.0000 0.0000 -
205.04/207.14 c 207 94588 93521 1 1.0000 0.0000 -
210.28/212.41 c 212 97056 95989 1 1.0000 0.0000 -
215.22/217.46 c 217 99689 98622 1 1.0000 0.0000 -
220.27/222.51 c 223 102074 101007 1 1.0000 0.0000 -
225.32/227.60 c 228 105042 103975 1 1.0000 0.0000 -
230.27/232.66 c 233 107565 106498 1 1.0000 0.0000 -
235.32/237.71 c 238 110311 109244 1 1.0000 0.0000 -
240.76/243.26 c 243 112874 111807 1 1.0000 0.0000 -
245.90/248.47 c 248 115012 113945 1 1.0000 0.0000 -
250.96/253.52 c 254 117948 116881 1 1.0000 0.0000 -
255.90/258.56 c 259 120595 119528 1 1.0000 0.0000 -
260.96/263.68 c 264 122965 121898 1 1.0000 0.0000 -
266.00/268.74 c 269 125630 124563 1 1.0000 0.0000 -
271.05/273.86 c 274 128216 127149 1 1.0000 0.0000 -
276.20/279.03 c 279 130995 129928 1 1.0000 0.0000 -
281.15/284.08 c 284 133673 132606 1 1.0000 0.0000 -
286.20/289.16 c 289 135893 134823 1 1.0000 0.0000 -
291.65/294.61 c 295 138757 137687 1 1.0000 0.0000 -
296.89/299.92 c 300 141270 140200 1 1.0000 0.0000 -
301.94/305.04 c 305 144374 143304 1 1.0000 0.0000 -
307.09/310.23 c 310 147001 145931 1 1.0000 0.0000 -
312.03/315.28 c 315 149448 148378 1 1.0000 0.0000 -
317.18/320.49 c 320 152050 150980 1 1.0000 0.0000 -
322.23/325.54 c 326 154505 153435 1 1.0000 0.0000 -
327.17/330.59 c 331 157265 156195 1 1.0000 0.0000 -
332.23/335.69 c 336 159504 158434 1 1.0000 0.0000 -
337.28/340.74 c 341 162151 161081 1 1.0000 0.0000 -
342.33/345.82 c 346 164629 163559 1 1.0000 0.0000 -
347.27/350.87 c 351 167203 166133 1 1.0000 0.0000 -
352.32/355.92 c 356 169647 168577 1 1.0000 0.0000 -
357.38/361.06 c 361 172249 171179 1 1.0000 0.0000 -
362.62/366.33 c 366 174994 173924 1 1.0000 0.0000 -
367.67/371.48 c 371 177865 176795 1 1.0000 0.0000 -
372.71/376.53 c 377 180502 179432 1 1.0000 0.0000 -
377.76/381.65 c 382 182687 181617 1 1.0000 0.0000 -
382.81/386.70 c 387 185377 184307 1 1.0000 0.0000 -
387.76/391.79 c 392 187825 186755 1 1.0000 0.0000 -
392.81/396.84 c 397 190655 189585 1 1.0000 0.0000 -
397.76/401.89 c 402 193086 192016 1 1.0000 0.0000 -
403.11/407.22 c 407 196084 195014 1 1.0000 0.0000 -
408.05/412.27 c 412 198561 197491 1 1.0000 0.0000 -
413.10/417.36 c 417 200859 199789 1 1.0000 0.0000 -
418.15/422.41 c 422 203704 202634 1 1.0000 0.0000 -
423.11/427.47 c 427 206412 205342 1 1.0000 0.0000 -
428.55/432.91 c 433 209103 208033 1 1.0000 0.0000 -
433.51/437.99 c 438 211662 210592 1 1.0000 0.0000 -
438.66/443.18 c 443 214347 213277 1 1.0000 0.0000 -
443.71/448.26 c 448 217083 216013 1 1.0000 0.0000 -
448.76/453.31 c 453 219580 218510 1 1.0000 0.0000 -
453.91/458.59 c 459 222277 221207 1 1.0000 0.0000 -
459.06/463.77 c 464 225129 224059 1 1.0000 0.0000 -
464.31/469.02 c 469 227456 226386 1 1.0000 0.0000 -
469.26/474.07 c 474 230172 229102 1 1.0000 0.0000 -
474.61/479.42 c 479 232667 231597 1 1.0000 0.0000 -
479.56/484.47 c 484 235396 234326 1 1.0000 0.0000 -
484.61/489.52 c 490 238036 236966 1 1.0000 0.0000 -
489.57/494.57 c 495 240392 239322 1 1.0000 0.0000 -
494.71/499.77 c 500 242980 241910 1 1.0000 0.0000 -
499.77/504.82 c 505 245792 244722 1 1.0000 0.0000 -
504.82/509.97 c 510 248396 247326 1 1.0000 0.0000 -
509.97/515.13 c 515 251050 249980 1 1.0000 0.0000 -
514.92/520.18 c 520 253827 252757 1 1.0000 0.0000 -
520.17/525.46 c 525 256540 255470 1 1.0000 0.0000 -
525.23/530.51 c 531 259415 258345 1 1.0000 0.0000 -
530.37/535.77 c 536 262019 260949 1 1.0000 0.0000 -
535.53/540.94 c 541 264759 263689 1 1.0000 0.0000 -
540.49/545.99 c 546 267460 266390 1 1.0000 0.0000 -
545.57/551.05 c 551 269866 268796 1 1.0000 0.0000 -
550.65/556.17 c 556 272747 271677 1 1.0000 0.0000 -
555.72/561.29 c 561 275392 274322 1 1.0000 0.0000 -
560.81/566.39 c 566 277584 276514 1 1.0000 0.0000 -
565.89/571.45 c 571 280577 279507 1 1.0000 0.0000 -
570.96/576.58 c 577 283178 282108 1 1.0000 0.0000 -
576.04/581.64 c 582 285913 284843 1 1.0000 0.0000 -
581.02/586.69 c 587 288313 287243 1 1.0000 0.0000 -
586.10/591.74 c 592 291033 289963 1 1.0000 0.0000 -
591.18/596.83 c 597 293512 292442 1 1.0000 0.0000 -
596.36/602.04 c 602 296422 295352 1 1.0000 0.0000 -
601.35/607.09 c 607 298941 297871 1 1.0000 0.0000 -
606.43/612.17 c 612 301516 300446 1 1.0000 0.0000 -
611.61/617.35 c 617 304132 303062 1 1.0000 0.0000 -
616.66/622.40 c 622 307170 306100 1 1.0000 0.0000 -
622.02/627.84 c 628 309626 308556 1 1.0000 0.0000 -
627.08/632.98 c 633 312495 311425 1 1.0000 0.0000 -
632.16/638.07 c 638 314763 313693 1 1.0000 0.0000 -
637.24/643.14 c 643 317342 316272 1 1.0000 0.0000 -
642.42/648.32 c 648 320142 319072 1 1.0000 0.0000 -
647.39/653.37 c 653 322381 321311 1 1.0000 0.0000 -
652.47/658.43 c 658 325278 324208 1 1.0000 0.0000 -
657.45/663.47 c 663 328172 327102 1 1.0000 0.0000 -
662.53/668.59 c 669 330785 329715 1 1.0000 0.0000 -
667.70/673.74 c 674 333350 332280 1 1.0000 0.0000 -
672.79/678.89 c 679 336296 335226 1 1.0000 0.0000 -
678.16/684.21 c 684 338799 337729 1 1.0000 0.0000 -
683.14/689.26 c 689 341415 340345 1 1.0000 0.0000 -
688.22/694.31 c 694 344225 343155 1 1.0000 0.0000 -
693.70/699.87 c 700 346792 345722 1 1.0000 0.0000 -
698.78/704.92 c 705 349448 348378 1 1.0000 0.0000 -
703.76/709.97 c 710 352482 351412 1 1.0000 0.0000 -
708.94/715.15 c 715 354859 353789 1 1.0000 0.0000 -
714.02/720.23 c 720 357622 356552 1 1.0000 0.0000 -
719.21/725.42 c 725 360322 359252 1 1.0000 0.0000 -
724.19/730.47 c 730 363006 361936 1 1.0000 0.0000 -
729.37/735.64 c 736 365563 364493 1 1.0000 0.0000 -
734.65/740.90 c 741 368149 367079 1 1.0000 0.0000 -
739.63/745.95 c 746 370749 369679 1 1.0000 0.0000 -
744.71/751.00 c 751 373408 372338 1 1.0000 0.0000 -
749.79/756.13 c 756 376034 374964 1 1.0000 0.0000 -
755.17/761.51 c 762 379024 377954 1 1.0000 0.0000 -
760.35/766.74 c 767 381790 380720 1 1.0000 0.0000 -
765.43/771.86 c 772 384523 383453 1 1.0000 0.0000 -
770.51/776.92 c 777 386792 385722 1 1.0000 0.0000 -
775.49/781.99 c 782 389790 388720 1 1.0000 0.0000 -
780.67/787.16 c 787 392303 391233 1 1.0000 0.0000 -
785.85/792.35 c 792 395069 393999 1 1.0000 0.0000 -
791.03/797.51 c 798 397958 396888 1 1.0000 0.0000 -
796.21/802.74 c 803 400878 399808 1 1.0000 0.0000 -
801.39/807.90 c 808 403363 402293 1 1.0000 0.0000 -
806.58/813.19 c 813 406115 405045 1 1.0000 0.0000 -
812.05/818.63 c 819 409041 407971 1 1.0000 0.0000 -
817.03/823.68 c 824 411498 410428 1 1.0000 0.0000 -
822.11/828.73 c 829 414139 413067 1 1.0000 0.0000 -
827.29/833.91 c 834 416705 415633 1 1.0000 0.0000 -
832.27/838.98 c 839 419671 418599 1 1.0000 0.0000 -
837.36/844.03 c 844 422233 421161 1 1.0000 0.0000 -
842.73/849.47 c 849 425158 424086 1 1.0000 0.0000 -
848.01/854.74 c 855 427951 426879 1 1.0000 0.0000 -
853.20/859.93 c 860 430681 429609 1 1.0000 0.0000 -
858.18/864.98 c 865 433463 432391 1 1.0000 0.0000 -
863.26/870.03 c 870 436062 434990 1 1.0000 0.0000 -
868.44/875.23 c 875 438767 437695 1 1.0000 0.0000 -
873.41/880.28 c 880 441394 440322 1 1.0000 0.0000 -
878.60/885.44 c 885 444048 442976 1 1.0000 0.0000 -
883.58/890.49 c 890 446693 445621 1 1.0000 0.0000 -
888.76/895.65 c 896 449636 448564 1 1.0000 0.0000 -
894.04/900.98 c 901 452352 451280 1 1.0000 0.0000 -
899.41/906.38 c 906 455078 454006 1 1.0000 0.0000 -
904.59/911.55 c 912 457605 456533 1 1.0000 0.0000 -
909.67/916.60 c 917 460177 459105 1 1.0000 0.0000 -
914.75/921.78 c 922 462923 461851 1 1.0000 0.0000 -
920.13/927.16 c 927 465550 464478 1 1.0000 0.0000 -
925.20/932.21 c 932 468303 467231 1 1.0000 0.0000 -
930.28/937.37 c 937 470806 469734 1 1.0000 0.0000 -
935.46/942.52 c 943 473718 472646 1 1.0000 0.0000 -
940.44/947.57 c 948 476178 475106 1 1.0000 0.0000 -
945.51/952.62 c 953 478887 477815 1 1.0000 0.0000 -
950.70/957.80 c 958 481379 480307 1 1.0000 0.0000 -
955.67/962.85 c 963 484356 483284 1 1.0000 0.0000 -
960.75/967.93 c 968 486758 485686 1 1.0000 0.0000 -
966.02/973.20 c 973 489306 488234 1 1.0000 0.0000 -
971.01/978.25 c 978 492336 491264 1 1.0000 0.0000 -
976.08/983.36 c 983 494776 493704 1 1.0000 0.0000 -
981.46/988.75 c 989 497451 496379 1 1.0000 0.0000 -
986.54/993.82 c 994 500213 499141 1 1.0000 0.0000 -
991.71/999.00 c 999 503242 502170 1 1.0000 0.0000 -
997.59/1004.92 c 1005 506032 504960 1 1.0000 0.0000 -
1002.57/1009.97 c 1010 508998 507926 1 1.0000 0.0000 -
1007.65/1015.02 c 1015 511579 510507 1 1.0000 0.0000 -
1012.63/1020.07 c 1020 514218 513146 1 1.0000 0.0000 -
1017.91/1025.31 c 1025 516957 515885 1 1.0000 0.0000 -
1022.99/1030.41 c 1030 519488 518416 1 1.0000 0.0000 -
1028.06/1035.55 c 1036 521926 520854 1 1.0000 0.0000 -
1033.15/1040.60 c 1041 524758 523686 1 1.0000 0.0000 -
1038.13/1045.65 c 1046 527494 526422 1 1.0000 0.0000 -
1043.22/1050.71 c 1051 530067 528995 1 1.0000 0.0000 -
1048.50/1056.04 c 1056 532788 531716 1 1.0000 0.0000 -
1053.67/1061.20 c 1061 535520 534448 1 1.0000 0.0000 -
1058.65/1066.25 c 1066 538223 537151 1 1.0000 0.0000 -
1063.83/1071.40 c 1071 540633 539561 1 1.0000 0.0000 -
1068.82/1076.49 c 1076 543397 542325 1 1.0000 0.0000 -
1073.89/1081.54 c 1082 546119 545047 1 1.0000 0.0000 -
1078.88/1086.59 c 1087 548532 547460 1 1.0000 0.0000 -
1084.06/1091.71 c 1092 551179 550107 1 1.0000 0.0000 -
1089.04/1096.78 c 1097 553998 552926 1 1.0000 0.0000 -
1094.33/1102.10 c 1102 556829 555757 1 1.0000 0.0000 -
1099.41/1107.14 c 1107 559328 558256 1 1.0000 0.0000 -
1104.40/1112.19 c 1112 562159 561087 1 1.0000 0.0000 -
1109.76/1117.50 c 1118 564809 563737 1 1.0000 0.0000 -
1114.75/1122.55 c 1123 567342 566270 1 1.0000 0.0000 -
1119.93/1127.79 c 1128 570012 568940 1 1.0000 0.0000 -
1125.11/1132.90 c 1133 572766 571694 1 1.0000 0.0000 -
1130.20/1138.05 c 1138 575075 574003 1 1.0000 0.0000 -
1135.37/1143.26 c 1143 578029 576957 1 1.0000 0.0000 -
1140.45/1148.31 c 1148 580697 579625 1 1.0000 0.0000 -
1145.73/1153.60 c 1154 583532 582460 1 1.0000 0.0000 -
1150.81/1158.78 c 1159 586102 585030 1 1.0000 0.0000 -
1156.00/1163.91 c 1164 588862 587790 1 1.0000 0.0000 -
1161.18/1169.18 c 1169 591097 590025 1 1.0000 0.0000 -
1166.26/1174.23 c 1174 593925 592853 1 1.0000 0.0000 -
1171.24/1179.28 c 1179 596364 595292 1 1.0000 0.0000 -
1176.32/1184.36 c 1184 599019 597947 1 1.0000 0.0000 -
1181.91/1189.96 c 1190 601559 600487 1 1.0000 0.0000 -
1186.99/1195.01 c 1195 604332 603260 1 1.0000 0.0000 -
1192.07/1200.13 c 1200 606753 605681 1 1.0000 0.0000 -
1197.05/1205.18 c 1205 609396 608324 1 1.0000 0.0000 -
1202.13/1210.23 c 1210 612238 611166 1 1.0000 0.0000 -
1207.31/1215.40 c 1215 614506 613434 1 1.0000 0.0000 -
1212.29/1220.46 c 1220 617265 616193 1 1.0000 0.0000 -
1217.37/1225.51 c 1226 619935 618863 1 1.0000 0.0000 -
1222.45/1230.61 c 1231 622560 621488 1 1.0000 0.0000 -
1227.54/1235.70 c 1236 625355 624283 1 1.0000 0.0000 -
1232.72/1240.91 c 1241 627856 626784 1 1.0000 0.0000 -
1237.70/1245.97 c 1246 630525 629453 1 1.0000 0.0000 -
1242.78/1251.02 c 1251 632880 631808 1 1.0000 0.0000 -
1247.76/1256.07 c 1256 635606 634534 1 1.0000 0.0000 -
1252.85/1261.12 c 1261 638261 637189 1 1.0000 0.0000 -
1257.83/1266.17 c 1266 640852 639780 1 1.0000 0.0000 -
1263.00/1271.34 c 1271 643393 642321 1 1.0000 0.0000 -
1267.98/1276.39 c 1276 646030 644958 1 1.0000 0.0000 -
1273.27/1281.67 c 1282 648548 647476 1 1.0000 0.0000 -
1278.35/1286.74 c 1287 651397 650325 1 1.0000 0.0000 -
1283.42/1291.83 c 1292 654209 653137 1 1.0000 0.0000 -
1288.41/1296.88 c 1297 656754 655682 1 1.0000 0.0000 -
1293.50/1301.93 c 1302 659547 658475 1 1.0000 0.0000 -
1298.58/1307.09 c 1307 662075 661003 1 1.0000 0.0000 -
1303.66/1312.14 c 1312 664715 663643 1 1.0000 0.0000 -
1308.64/1317.19 c 1317 667583 666511 1 1.0000 0.0000 -
1313.81/1322.31 c 1322 670244 669172 1 1.0000 0.0000 -
1319.00/1327.56 c 1328 673022 671950 1 1.0000 0.0000 -
1324.08/1332.61 c 1333 675649 674577 1 1.0000 0.0000 -
1329.27/1337.80 c 1338 678213 677141 1 1.0000 0.0000 -
1334.24/1342.87 c 1343 681032 679960 1 1.0000 0.0000 -
1339.33/1347.92 c 1348 683754 682682 1 1.0000 0.0000 -
1344.30/1352.97 c 1353 686470 685398 1 1.0000 0.0000 -
1349.50/1358.13 c 1358 688820 687748 1 1.0000 0.0000 -
1354.48/1363.18 c 1363 691590 690518 1 1.0000 0.0000 -
1359.55/1368.23 c 1368 694047 692975 1 1.0000 0.0000 -
1364.63/1373.32 c 1373 696702 695630 1 1.0000 0.0000 -
1369.71/1378.43 c 1378 699276 698204 1 1.0000 0.0000 -
1374.69/1383.48 c 1383 702145 701073 1 1.0000 0.0000 -
1379.78/1388.57 c 1389 704382 703310 1 1.0000 0.0000 -
1384.86/1393.62 c 1394 707170 706098 1 1.0000 0.0000 -
1389.83/1398.67 c 1399 709504 708432 1 1.0000 0.0000 -
1394.92/1403.75 c 1404 712378 711306 1 1.0000 0.0000 -
1400.00/1408.80 c 1409 714950 713878 1 1.0000 0.0000 -
1404.98/1413.85 c 1414 717563 716491 1 1.0000 0.0000 -
1410.37/1419.27 c 1419 720099 719027 1 1.0000 0.0000 -
1415.44/1424.32 c 1424 722834 721762 1 1.0000 0.0000 -
1420.53/1429.46 c 1429 725745 724673 1 1.0000 0.0000 -
1425.61/1434.51 c 1435 728271 727199 1 1.0000 0.0000 -
1430.89/1439.89 c 1440 731179 730107 1 1.0000 0.0000 -
1436.18/1445.15 c 1445 733765 732693 1 1.0000 0.0000 -
1441.25/1450.22 c 1450 736397 735325 1 1.0000 0.0000 -
1446.23/1455.27 c 1455 739105 738033 1 1.0000 0.0000 -
1451.31/1460.36 c 1460 741868 740796 1 1.0000 0.0000 -
1456.39/1465.43 c 1465 744348 743276 1 1.0000 0.0000 -
1461.38/1470.48 c 1470 747040 745968 1 1.0000 0.0000 -
1466.45/1475.53 c 1476 749742 748670 1 1.0000 0.0000 -
1471.54/1480.65 c 1481 751892 750820 1 1.0000 0.0000 -
1476.62/1485.74 c 1486 754860 753788 1 1.0000 0.0000 -
1481.70/1490.82 c 1491 757524 756452 1 1.0000 0.0000 -
1487.08/1496.20 c 1496 759784 758712 1 1.0000 0.0000 -
1492.07/1501.28 c 1501 762674 761602 1 1.0000 0.0000 -
1497.14/1506.33 c 1506 765486 764414 1 1.0000 0.0000 -
1502.13/1511.38 c 1511 767985 766913 1 1.0000 0.0000 -
1507.31/1516.53 c 1517 770723 769651 1 1.0000 0.0000 -
1512.49/1521.72 c 1522 773072 772000 1 1.0000 0.0000 -
1517.47/1526.78 c 1527 775915 774843 1 1.0000 0.0000 -
1522.55/1531.88 c 1532 778509 777437 1 1.0000 0.0000 -
1528.14/1537.44 c 1537 781109 780037 1 1.0000 0.0000 -
1533.32/1542.62 c 1543 784160 783088 1 1.0000 0.0000 -
1538.29/1547.67 c 1548 786919 785847 1 1.0000 0.0000 -
1543.78/1553.15 c 1553 789573 788501 1 1.0000 0.0000 -
1548.95/1558.38 c 1558 792334 791262 1 1.0000 0.0000 -
1554.04/1563.43 c 1563 794786 793714 1 1.0000 0.0000 -
1559.12/1568.58 c 1569 797771 796699 1 1.0000 0.0000 -
1564.80/1574.21 c 1574 800253 799181 1 1.0000 0.0000 -
1569.78/1579.28 c 1579 803171 802099 1 1.0000 0.0000 -
1574.86/1584.33 c 1584 805581 804509 1 1.0000 0.0000 -
1579.94/1589.41 c 1589 808175 807103 1 1.0000 0.0000 -
1585.03/1594.50 c 1595 810729 809657 1 1.0000 0.0000 -
1590.40/1599.96 c 1600 813293 812221 1 1.0000 0.0000 -
1595.48/1605.01 c 1605 816055 814983 1 1.0000 0.0000 -
1600.57/1610.14 c 1610 818717 817645 1 1.0000 0.0000 -
1605.55/1615.19 c 1615 821259 820187 1 1.0000 0.0000 -
1610.72/1620.37 c 1620 824006 822934 1 1.0000 0.0000 -
1616.10/1625.76 c 1626 826397 825325 1 1.0000 0.0000 -
1621.57/1631.21 c 1631 829329 828257 1 1.0000 0.0000 -
1626.55/1636.26 c 1636 832085 831013 1 1.0000 0.0000 -
1631.93/1641.65 c 1642 834858 833786 1 1.0000 0.0000 -
1637.00/1646.72 c 1647 837240 836168 1 1.0000 0.0000 -
1641.99/1651.77 c 1652 839959 838887 1 1.0000 0.0000 -
1647.17/1656.94 c 1657 842315 841243 1 1.0000 0.0000 -
1652.25/1662.02 c 1662 845163 844091 1 1.0000 0.0000 -
1657.22/1667.07 c 1667 847512 846440 1 1.0000 0.0000 -
1662.49/1672.35 c 1672 850342 849270 1 1.0000 0.0000 -
1667.77/1677.63 c 1678 852907 851835 1 1.0000 0.0000 -
1672.75/1682.68 c 1683 855153 854081 1 1.0000 0.0000 -
1677.83/1687.73 c 1688 858117 857045 1 1.0000 0.0000 -
1683.01/1692.97 c 1693 860682 859610 1 1.0000 0.0000 -
1688.09/1698.02 c 1698 863326 862254 1 1.0000 0.0000 -
1693.07/1703.07 c 1703 866186 865114 1 1.0000 0.0000 -
1698.34/1708.31 c 1708 868792 867720 1 1.0000 0.0000 -
1703.33/1713.37 c 1713 871405 870333 1 1.0000 0.0000 -
1708.51/1718.57 c 1719 874092 873020 1 1.0000 0.0000 -
1713.79/1723.84 c 1724 876998 875926 1 1.0000 0.0000 -
1719.16/1729.25 c 1729 879826 878754 1 1.0000 0.0000 -
1724.15/1734.29 c 1734 882721 881649 1 1.0000 0.0000 -
1729.53/1739.63 c 1740 885392 884320 1 1.0000 0.0000 -
1734.71/1744.89 c 1745 888049 886977 1 1.0000 0.0000 -
1739.80/1749.96 c 1750 890448 889376 1 1.0000 0.0000 -
1744.87/1755.07 c 1755 893423 892351 1 1.0000 0.0000 -
1749.96/1760.12 c 1760 895920 894848 1 1.0000 0.0000 -
1755.23/1765.41 c 1765 898640 897568 1 1.0000 0.0000 -
1760.51/1770.72 c 1771 901323 900251 1 1.0000 0.0000 -
1765.49/1775.78 c 1776 904126 903054 1 1.0000 0.0000 -
1770.67/1780.97 c 1781 906682 905610 1 1.0000 0.0000 -
1775.86/1786.16 c 1786 909333 908261 1 1.0000 0.0000 -
1780.94/1791.21 c 1791 912052 910980 1 1.0000 0.0000 -
1786.41/1796.70 c 1797 914602 913530 1 1.0000 0.0000 -
1791.70/1802.02 c 1802 917437 916365 1 1.0000 0.0000 -
1796.68/1807.07 c 1807 920120 919048 1 1.0000 0.0000 -
1801.95/1812.32 c 1812 922806 921734 1 1.0000 0.0000 -
1806.93/1817.38 c 1817 925496 924424 1 1.0000 0.0000 -
1812.41/1822.84 c 1823 928008 926936 1 1.0000 0.0000 -
1817.39/1827.89 c 1828 930940 929868 1 1.0000 0.0000 -
1822.67/1833.17 c 1833 933212 932140 1 1.0000 0.0000 -
1827.75/1838.23 c 1838 935987 934915 1 1.0000 0.0000 -
1832.94/1843.45 c 1843 938490 937418 1 1.0000 0.0000 -
1838.12/1848.60 c 1849 941022 939950 1 1.0000 0.0000 -
1843.20/1853.77 c 1854 943619 942547 1 1.0000 0.0000 -
1848.28/1858.82 c 1859 946039 944967 1 1.0000 0.0000 -
1853.26/1863.87 c 1864 948736 947664 1 1.0000 0.0000 -
1858.63/1869.25 c 1869 951527 950455 1 1.0000 0.0000 -
1863.71/1874.38 c 1874 954204 953132 1 1.0000 0.0000 -
1868.80/1879.43 c 1879 956562 955490 1 1.0000 0.0000 -
1873.88/1884.50 c 1885 959409 958337 1 1.0000 0.0000 -
1878.86/1889.55 c 1890 961784 960712 1 1.0000 0.0000 -
1884.04/1894.77 c 1895 964398 963326 1 1.0000 0.0000 -
1889.12/1899.83 c 1900 967080 966008 1 1.0000 0.0000 -
1894.20/1904.99 c 1905 969697 968625 1 1.0000 0.0000 -
1899.58/1910.32 c 1910 972403 971331 1 1.0000 0.0000 -
1904.56/1915.37 c 1915 974970 973898 1 1.0000 0.0000 -
1909.64/1920.42 c 1920 977585 976513 1 1.0000 0.0000 -
1914.82/1925.62 c 1926 980360 979288 1 1.0000 0.0000 -
1920.00/1930.84 c 1931 982949 981875 1 1.0000 0.0000 -
1925.18/1936.04 c 1936 985504 984430 1 1.0000 0.0000 -
1930.26/1941.18 c 1941 988545 987471 1 1.0000 0.0000 -
1935.35/1946.23 c 1946 990898 989824 1 1.0000 0.0000 -
1940.62/1951.53 c 1952 993717 992643 1 1.0000 0.0000 -
1945.81/1956.79 c 1957 996467 995393 1 1.0000 0.0000 -
1951.09/1962.08 c 1962 999393 998319 1 1.0000 0.0000 -
1956.17/1967.15 c 1967 1001879 1000805 1 1.0000 0.0000 -
1961.25/1972.20 c 1972 1004536 1003462 1 1.0000 0.0000 -
1966.22/1977.25 c 1977 1006873 1005799 1 1.0000 0.0000 -
1971.41/1982.47 c 1982 1009847 1008773 1 1.0000 0.0000 -
1976.49/1987.58 c 1988 1012524 1011450 1 1.0000 0.0000 -
1981.57/1992.63 c 1993 1015049 1013975 1 1.0000 0.0000 -
1986.95/1998.02 c 1998 1017656 1016582 1 1.0000 0.0000 -
1991.94/2003.07 c 2003 1020410 1019336 1 1.0000 0.0000 -
1997.51/2008.63 c 2009 1023421 1022347 1 1.0000 0.0000 -
2002.49/2013.68 c 2014 1026258 1025184 1 1.0000 0.0000 -
2007.88/2019.08 c 2019 1029006 1027932 1 1.0000 0.0000 -
2013.15/2024.30 c 2024 1031544 1030470 1 1.0000 0.0000 -
2018.42/2029.64 c 2030 1034453 1033379 1 1.0000 0.0000 -
2023.51/2034.70 c 2035 1036907 1035833 1 1.0000 0.0000 -
2028.90/2040.17 c 2040 1039626 1038552 1 1.0000 0.0000 -
2033.97/2045.22 c 2045 1042432 1041358 1 1.0000 0.0000 -
2039.55/2050.84 c 2051 1044957 1043883 1 1.0000 0.0000 -
2044.54/2055.89 c 2056 1047822 1046748 1 1.0000 0.0000 -
2049.61/2060.94 c 2061 1050474 1049400 1 1.0000 0.0000 -
2054.80/2066.17 c 2066 1052842 1051768 1 1.0000 0.0000 -
2059.87/2071.22 c 2071 1055586 1054512 1 1.0000 0.0000 -
2065.05/2076.49 c 2076 1058096 1057022 1 1.0000 0.0000 -
2070.13/2081.54 c 2082 1060809 1059735 1 1.0000 0.0000 -
2075.32/2086.72 c 2087 1063552 1062478 1 1.0000 0.0000 -
2080.39/2091.86 c 2092 1066078 1065004 1 1.0000 0.0000 -
2085.58/2097.03 c 2097 1068791 1067717 1 1.0000 0.0000 -
2090.96/2102.42 c 2102 1071680 1070606 1 1.0000 0.0000 -
2095.94/2107.47 c 2107 1074427 1073353 1 1.0000 0.0000 -
2101.12/2112.62 c 2113 1076928 1075854 1 1.0000 0.0000 -
2106.40/2117.91 c 2118 1079712 1078638 1 1.0000 0.0000 -
2111.67/2123.23 c 2123 1082550 1081476 1 1.0000 0.0000 -
2116.96/2128.53 c 2129 1085139 1084065 1 1.0000 0.0000 -
2121.93/2133.58 c 2134 1087698 1086624 1 1.0000 0.0000 -
2127.01/2138.63 c 2139 1090385 1089311 1 1.0000 0.0000 -
2132.10/2143.79 c 2144 1092886 1091812 1 1.0000 0.0000 -
2137.18/2148.84 c 2149 1095743 1094663 1 1.0000 0.0000 -
2142.47/2154.17 c 2154 1098304 1097224 1 1.0000 0.0000 -
2147.84/2159.54 c 2160 1101051 1099971 1 1.0000 0.0000 -
2152.82/2164.59 c 2165 1103779 1102699 1 1.0000 0.0000 -
2157.90/2169.66 c 2170 1106296 1105216 1 1.0000 0.0000 -
2163.08/2174.80 c 2175 1109120 1108040 1 1.0000 0.0000 -
2168.27/2180.01 c 2180 1111714 1110634 1 1.0000 0.0000 -
2173.24/2185.06 c 2185 1114253 1113173 1 1.0000 0.0000 -
2178.62/2190.45 c 2190 1116940 1115860 1 1.0000 0.0000 -
2183.61/2195.49 c 2196 1119775 1118695 1 1.0000 0.0000 -
2189.08/2200.93 c 2201 1122446 1121366 1 1.0000 0.0000 -
2194.27/2206.17 c 2206 1125280 1124200 1 1.0000 0.0000 -
2199.74/2211.62 c 2212 1127916 1126836 1 1.0000 0.0000 -
2204.72/2216.67 c 2217 1130815 1129727 1 1.0000 0.0000 -
2209.80/2221.75 c 2222 1133592 1132504 1 1.0000 0.0000 -
2214.98/2226.98 c 2227 1136053 1134965 1 1.0000 0.0000 -
2220.06/2232.07 c 2232 1138296 1137208 1 1.0000 0.0000 -
2225.15/2237.11 c 2237 1141028 1139940 1 1.0000 0.0000 -
2230.13/2242.17 c 2242 1143580 1142492 1 1.0000 0.0000 -
2235.21/2247.24 c 2247 1146366 1145278 1 1.0000 0.0000 -
2240.29/2252.36 c 2252 1148930 1147842 1 1.0000 0.0000 -
2245.57/2257.62 c 2258 1151618 1150530 1 1.0000 0.0000 -
2250.74/2262.85 c 2263 1154246 1153158 1 1.0000 0.0000 -
2255.83/2267.94 c 2268 1156559 1155471 1 1.0000 0.0000 -
2260.91/2273.03 c 2273 1159609 1158521 1 1.0000 0.0000 -
2265.89/2278.08 c 2278 1162114 1161026 1 1.0000 0.0000 -
2270.98/2283.13 c 2283 1164617 1163529 1 1.0000 0.0000 -
2276.04/2288.24 c 2288 1167034 1165946 1 1.0000 0.0000 -
2281.03/2293.29 c 2293 1169912 1168824 1 1.0000 0.0000 -
2286.11/2298.34 c 2298 1172412 1171324 1 1.0000 0.0000 -
2291.19/2303.49 c 2304 1175123 1174035 1 1.0000 0.0000 -
2296.27/2308.54 c 2309 1177837 1176749 1 1.0000 0.0000 -
2301.36/2313.64 c 2314 1180284 1179196 1 1.0000 0.0000 -
2306.44/2318.75 c 2319 1183004 1181916 1 1.0000 0.0000 -
2311.72/2324.10 c 2324 1185514 1184426 1 1.0000 0.0000 -
2316.90/2329.29 c 2329 1188171 1187083 1 1.0000 0.0000 -
2321.97/2334.34 c 2334 1190904 1189816 1 1.0000 0.0000 -
2327.06/2339.43 c 2339 1193067 1191979 1 1.0000 0.0000 -
2332.13/2344.59 c 2345 1195993 1194905 1 1.0000 0.0000 -
2337.22/2349.69 c 2350 1198737 1197649 1 1.0000 0.0000 -
2342.40/2354.80 c 2355 1201463 1200375 1 1.0000 0.0000 -
2347.59/2360.10 c 2360 1204108 1203020 1 1.0000 0.0000 -
2352.76/2365.27 c 2365 1206643 1205555 1 1.0000 0.0000 -
2357.84/2370.33 c 2370 1209236 1208148 1 1.0000 0.0000 -
2362.82/2375.38 c 2375 1211988 1210900 1 1.0000 0.0000 -
2368.20/2380.75 c 2381 1214493 1213405 1 1.0000 0.0000 -
2373.28/2385.80 c 2386 1217402 1216314 1 1.0000 0.0000 -
2378.27/2390.89 c 2391 1219767 1218679 1 1.0000 0.0000 -
2383.45/2396.08 c 2396 1222360 1221272 1 1.0000 0.0000 -
2388.53/2401.15 c 2401 1224989 1223901 1 1.0000 0.0000 -
2393.70/2406.30 c 2406 1227659 1226571 1 1.0000 0.0000 -
2398.69/2411.35 c 2411 1230403 1229315 1 1.0000 0.0000 -
2403.77/2416.47 c 2416 1232548 1231460 1 1.0000 0.0000 -
2408.95/2421.68 c 2422 1235282 1234194 1 1.0000 0.0000 -
2414.03/2426.78 c 2427 1238171 1237083 1 1.0000 0.0000 -
2419.32/2432.04 c 2432 1240676 1239588 1 1.0000 0.0000 -
2424.29/2437.09 c 2437 1243270 1242182 1 1.0000 0.0000 -
2429.38/2442.14 c 2442 1246216 1245128 1 1.0000 0.0000 -
2434.55/2447.34 c 2447 1248830 1247742 1 1.0000 0.0000 -
2439.53/2452.39 c 2452 1251399 1250311 1 1.0000 0.0000 -
2444.71/2457.58 c 2458 1253940 1252852 1 1.0000 0.0000 -
2449.80/2462.65 c 2463 1256340 1255252 1 1.0000 0.0000 -
2455.08/2467.94 c 2468 1259125 1258037 1 1.0000 0.0000 -
2460.16/2473.08 c 2473 1261575 1260487 1 1.0000 0.0000 -
2465.24/2478.13 c 2478 1264323 1263235 1 1.0000 0.0000 -
2470.23/2483.18 c 2483 1266849 1265761 1 1.0000 0.0000 -
2475.50/2488.48 c 2488 1269465 1268377 1 1.0000 0.0000 -
2480.58/2493.59 c 2494 1272048 1270960 1 1.0000 0.0000 -
2485.66/2498.64 c 2499 1274484 1273396 1 1.0000 0.0000 -
2490.63/2503.69 c 2504 1277313 1276225 1 1.0000 0.0000 -
2495.82/2508.84 c 2509 1279729 1278641 1 1.0000 0.0000 -
2501.00/2514.00 c 2514 1282631 1281543 1 1.0000 0.0000 -
2505.98/2519.05 c 2519 1285327 1284239 1 1.0000 0.0000 -
2511.26/2524.36 c 2524 1287865 1286777 1 1.0000 0.0000 -
2516.34/2529.41 c 2529 1290782 1289694 1 1.0000 0.0000 -
2521.42/2534.51 c 2535 1293066 1291978 1 1.0000 0.0000 -
2526.70/2539.87 c 2540 1295874 1294786 1 1.0000 0.0000 -
2531.78/2544.96 c 2545 1298488 1297400 1 1.0000 0.0000 -
2537.06/2550.28 c 2550 1300997 1299909 1 1.0000 0.0000 -
2542.24/2555.48 c 2555 1303656 1302568 1 1.0000 0.0000 -
2547.32/2560.53 c 2561 1306296 1305208 1 1.0000 0.0000 -
2552.41/2565.65 c 2566 1308945 1307857 1 1.0000 0.0000 -
2557.49/2570.77 c 2571 1311584 1310496 1 1.0000 0.0000 -
2562.76/2576.04 c 2576 1314253 1313165 1 1.0000 0.0000 -
2567.94/2581.21 c 2581 1317129 1316041 1 1.0000 0.0000 -
2572.93/2586.26 c 2586 1319542 1318454 1 1.0000 0.0000 -
2578.01/2591.31 c 2591 1322470 1321382 1 1.0000 0.0000 -
2583.09/2596.40 c 2596 1324910 1323822 1 1.0000 0.0000 -
2588.17/2601.57 c 2602 1327656 1326568 1 1.0000 0.0000 -
2593.25/2606.62 c 2607 1330064 1328976 1 1.0000 0.0000 -
2598.23/2611.67 c 2612 1332610 1331522 1 1.0000 0.0000 -
2603.31/2616.74 c 2617 1335032 1333944 1 1.0000 0.0000 -
2608.59/2622.00 c 2622 1337685 1336597 1 1.0000 0.0000 -
2613.58/2627.05 c 2627 1340285 1339197 1 1.0000 0.0000 -
2619.05/2632.51 c 2633 1343102 1342014 1 1.0000 0.0000 -
2624.02/2637.56 c 2638 1345622 1344534 1 1.0000 0.0000 -
2629.30/2642.88 c 2643 1348364 1347276 1 1.0000 0.0000 -
2634.39/2647.93 c 2648 1351136 1350048 1 1.0000 0.0000 -
2639.37/2652.98 c 2653 1353461 1352373 1 1.0000 0.0000 -
2644.45/2658.03 c 2658 1355979 1354891 1 1.0000 0.0000 -
2649.92/2663.54 c 2664 1358812 1357724 1 1.0000 0.0000 -
2654.91/2668.59 c 2669 1361402 1360314 1 1.0000 0.0000 -
2659.98/2673.64 c 2674 1364127 1363039 1 1.0000 0.0000 -
2665.27/2678.94 c 2679 1366751 1365663 1 1.0000 0.0000 -
2670.45/2684.18 c 2684 1369573 1368485 1 1.0000 0.0000 -
2675.53/2689.23 c 2689 1372384 1371296 1 1.0000 0.0000 -
2680.51/2694.28 c 2694 1374816 1373728 1 1.0000 0.0000 -
2685.69/2699.46 c 2699 1377593 1376505 1 1.0000 0.0000 -
2690.77/2704.51 c 2705 1380266 1379178 1 1.0000 0.0000 -
2695.75/2709.56 c 2710 1382796 1381708 1 1.0000 0.0000 -
2701.03/2714.89 c 2715 1385329 1384241 1 1.0000 0.0000 -
2706.11/2719.93 c 2720 1388089 1387001 1 1.0000 0.0000 -
2711.20/2725.08 c 2725 1390681 1389593 1 1.0000 0.0000 -
2716.28/2730.13 c 2730 1393307 1392219 1 1.0000 0.0000 -
2721.35/2735.22 c 2735 1396086 1394998 1 1.0000 0.0000 -
2726.73/2740.64 c 2741 1398695 1397607 1 1.0000 0.0000 -
2731.71/2745.69 c 2746 1401524 1400436 1 1.0000 0.0000 -
2736.80/2750.77 c 2751 1403878 1402790 1 1.0000 0.0000 -
2742.18/2756.16 c 2756 1406324 1405236 1 1.0000 0.0000 -
2747.46/2761.48 c 2761 1409332 1408244 1 1.0000 0.0000 -
2752.63/2766.67 c 2767 1411836 1410748 1 1.0000 0.0000 -
2757.71/2771.72 c 2772 1414690 1413602 1 1.0000 0.0000 -
2763.01/2777.04 c 2777 1417150 1416062 1 1.0000 0.0000 -
2767.99/2782.09 c 2782 1419981 1418893 1 1.0000 0.0000 -
2773.35/2787.44 c 2787 1422277 1421189 1 1.0000 0.0000 -
2778.34/2792.49 c 2792 1425175 1424087 1 1.0000 0.0000 -
2783.52/2797.68 c 2798 1427876 1426788 1 1.0000 0.0000 -
2788.80/2802.98 c 2803 1430480 1429392 1 1.0000 0.0000 -
2793.98/2808.18 c 2808 1433206 1432118 1 1.0000 0.0000 -
2799.26/2813.49 c 2814 1435903 1434815 1 1.0000 0.0000 -
2804.44/2818.64 c 2819 1438400 1437312 1 1.0000 0.0000 -
2809.42/2823.69 c 2824 1441159 1440071 1 1.0000 0.0000 -
2815.10/2829.37 c 2829 1443552 1442464 1 1.0000 0.0000 -
2820.28/2834.51 c 2835 1446655 1445567 1 1.0000 0.0000 -
2825.26/2839.56 c 2840 1449409 1448321 1 1.0000 0.0000 -
2830.34/2844.61 c 2845 1451938 1450850 1 1.0000 0.0000 -
2835.33/2849.66 c 2850 1454690 1453602 1 1.0000 0.0000 -
2840.60/2854.94 c 2855 1457493 1456405 1 1.0000 0.0000 -
2845.79/2860.13 c 2860 1460190 1459102 1 1.0000 0.0000 -
2850.96/2865.30 c 2865 1462805 1461717 1 1.0000 0.0000 -
2855.94/2870.35 c 2870 1465376 1464288 1 1.0000 0.0000 -
2861.12/2875.55 c 2876 1467702 1466614 1 1.0000 0.0000 -
2866.20/2880.60 c 2881 1470243 1469155 1 1.0000 0.0000 -
2871.19/2885.65 c 2886 1472890 1471802 1 1.0000 0.0000 -
2876.67/2891.14 c 2891 1475626 1474538 1 1.0000 0.0000 -
2881.74/2896.21 c 2896 1478129 1477041 1 1.0000 0.0000 -
2886.83/2901.34 c 2901 1480708 1479620 1 1.0000 0.0000 -
2891.90/2906.49 c 2906 1483527 1482439 1 1.0000 0.0000 -
2897.38/2911.90 c 2912 1486239 1485151 1 1.0000 0.0000 -
2902.47/2917.09 c 2917 1488983 1487895 1 1.0000 0.0000 -
2907.56/2922.15 c 2922 1491787 1490699 1 1.0000 0.0000 -
2912.63/2927.20 c 2927 1494186 1493098 1 1.0000 0.0000 -
2918.00/2932.62 c 2933 1496608 1495520 1 1.0000 0.0000 -
2923.09/2937.75 c 2938 1499390 1498302 1 1.0000 0.0000 -
2928.37/2943.10 c 2943 1502339 1501251 1 1.0000 0.0000 -
2933.75/2948.45 c 2948 1504962 1503874 1 1.0000 0.0000 -
2938.83/2953.54 c 2954 1507833 1506745 1 1.0000 0.0000 -
2943.81/2958.59 c 2959 1510301 1509213 1 1.0000 0.0000 -
2948.99/2963.77 c 2964 1513016 1511928 1 1.0000 0.0000 -
2954.28/2969.02 c 2969 1515444 1514356 1 1.0000 0.0000 -
2959.25/2974.07 c 2974 1518029 1516941 1 1.0000 0.0000 -
2964.34/2979.17 c 2979 1520677 1519589 1 1.0000 0.0000 -
2969.51/2984.31 c 2984 1523315 1522227 1 1.0000 0.0000 -
2974.99/2989.81 c 2990 1526083 1524995 1 1.0000 0.0000 -
2980.07/2994.90 c 2995 1528777 1527689 1 1.0000 0.0000 -
2985.65/3000.55 c 3001 1531412 1530324 1 1.0000 0.0000 -
2990.74/3005.67 c 3006 1533858 1532770 1 1.0000 0.0000 -
2995.81/3010.72 c 3011 1536189 1535101 1 1.0000 0.0000 -
3000.80/3015.77 c 3016 1538569 1537481 1 1.0000 0.0000 -
3005.97/3020.96 c 3021 1540853 1539765 1 1.0000 0.0000 -
3011.06/3026.09 c 3026 1543362 1542274 1 1.0000 0.0000 -
3016.14/3031.14 c 3031 1546026 1544938 1 1.0000 0.0000 -
3021.41/3036.40 c 3036 1548459 1547371 1 1.0000 0.0000 -
3026.70/3041.76 c 3042 1551034 1549946 1 1.0000 0.0000 -
3031.78/3046.81 c 3047 1553734 1552646 1 1.0000 0.0000 -
3036.76/3051.86 c 3052 1556194 1555106 1 1.0000 0.0000 -
3041.94/3057.01 c 3057 1558880 1557792 1 1.0000 0.0000 -
3047.02/3062.11 c 3062 1561727 1560639 1 1.0000 0.0000 -
3052.50/3067.65 c 3068 1564262 1563174 1 1.0000 0.0000 -
3057.68/3072.89 c 3073 1567085 1565997 1 1.0000 0.0000 -
3062.75/3077.94 c 3078 1569744 1568656 1 1.0000 0.0000 -
3067.74/3082.99 c 3083 1572112 1571024 1 1.0000 0.0000 -
3072.82/3088.04 c 3088 1574880 1573792 1 1.0000 0.0000 -
3077.80/3093.09 c 3093 1577436 1576338 1 1.0000 0.0000 -
3083.28/3098.52 c 3099 1579927 1578829 1 1.0000 0.0000 -
3088.36/3103.67 c 3104 1582786 1581688 1 1.0000 0.0000 -
3093.64/3108.95 c 3109 1585496 1584398 1 1.0000 0.0000 -
3098.72/3114.00 c 3114 1588243 1587145 1 1.0000 0.0000 -
3103.80/3119.12 c 3119 1590427 1589329 1 1.0000 0.0000 -
3108.78/3124.17 c 3124 1593227 1592129 1 1.0000 0.0000 -
3113.95/3129.34 c 3129 1595871 1594773 1 1.0000 0.0000 -
3119.44/3134.84 c 3135 1598559 1597461 1 1.0000 0.0000 -
3124.62/3140.05 c 3140 1601345 1600247 1 1.0000 0.0000 -
3129.60/3145.10 c 3145 1604058 1602960 1 1.0000 0.0000 -
3134.68/3150.15 c 3150 1606759 1605661 1 1.0000 0.0000 -
3139.75/3155.25 c 3155 1609404 1608306 1 1.0000 0.0000 -
3144.84/3160.30 c 3160 1611962 1610864 1 1.0000 0.0000 -
3149.92/3165.49 c 3166 1614652 1613554 1 1.0000 0.0000 -
3155.10/3170.64 c 3171 1617216 1616118 1 1.0000 0.0000 -
3160.59/3176.15 c 3176 1619918 1618820 1 1.0000 0.0000 -
3165.66/3181.20 c 3181 1622626 1621528 1 1.0000 0.0000 -
3171.14/3186.70 c 3187 1625181 1624083 1 1.0000 0.0000 -
3176.12/3191.75 c 3192 1627848 1626750 1 1.0000 0.0000 -
3181.20/3196.88 c 3197 1630276 1629176 1 1.0000 0.0000 -
3186.39/3202.08 c 3202 1633074 1631974 1 1.0000 0.0000 -
3191.47/3207.16 c 3207 1635289 1634189 1 1.0000 0.0000 -
3196.54/3212.21 c 3212 1638238 1637138 1 1.0000 0.0000 -
3202.12/3217.82 c 3218 1640857 1639757 1 1.0000 0.0000 -
3207.41/3223.16 c 3223 1643808 1642708 1 1.0000 0.0000 -
3212.58/3228.30 c 3228 1646549 1645449 1 1.0000 0.0000 -
3217.67/3233.47 c 3233 1648953 1647853 1 1.0000 0.0000 -
3222.75/3238.52 c 3239 1651528 1650428 1 1.0000 0.0000 -
3227.93/3243.78 c 3244 1654263 1653163 1 1.0000 0.0000 -
3233.21/3249.01 c 3249 1656471 1655371 1 1.0000 0.0000 -
3238.19/3254.06 c 3254 1659399 1658299 1 1.0000 0.0000 -
3243.37/3259.25 c 3259 1661627 1660527 1 1.0000 0.0000 -
3248.65/3264.56 c 3265 1664708 1663608 1 1.0000 0.0000 -
3254.02/3269.91 c 3270 1667443 1666343 1 1.0000 0.0000 -
3259.11/3275.08 c 3275 1670306 1669206 1 1.0000 0.0000 -
3264.69/3280.63 c 3281 1672794 1671694 1 1.0000 0.0000 -
3269.67/3285.69 c 3286 1675562 1674462 1 1.0000 0.0000 -
3274.84/3290.87 c 3291 1678446 1677346 1 1.0000 0.0000 -
3279.93/3295.96 c 3296 1680808 1679708 1 1.0000 0.0000 -
3285.01/3301.05 c 3301 1683692 1682592 1 1.0000 0.0000 -
3290.09/3306.15 c 3306 1686112 1685012 1 1.0000 0.0000 -
3295.46/3311.57 c 3312 1688560 1687460 1 1.0000 0.0000 -
3300.64/3316.73 c 3317 1691398 1690298 1 1.0000 0.0000 -
3305.63/3321.78 c 3322 1693783 1692683 1 1.0000 0.0000 -
3310.71/3326.83 c 3327 1696601 1695501 1 1.0000 0.0000 -
3315.69/3331.88 c 3332 1699295 1698195 1 1.0000 0.0000 -
3321.16/3337.31 c 3337 1701770 1700670 1 1.0000 0.0000 -
3326.24/3342.43 c 3342 1704561 1703461 1 1.0000 0.0000 -
3331.63/3347.84 c 3348 1707512 1706412 1 1.0000 0.0000 -
3336.71/3352.90 c 3353 1709934 1708834 1 1.0000 0.0000 -
3341.69/3357.95 c 3358 1712832 1711732 1 1.0000 0.0000 -
3347.17/3363.48 c 3363 1715433 1714333 1 1.0000 0.0000 -
3352.25/3368.53 c 3369 1718165 1717065 1 1.0000 0.0000 -
3357.33/3373.63 c 3374 1720919 1719819 1 1.0000 0.0000 -
3362.72/3379.03 c 3379 1723424 1722324 1 1.0000 0.0000 -
3368.18/3384.56 c 3385 1726090 1724990 1 1.0000 0.0000 -
3373.37/3389.70 c 3390 1728731 1727631 1 1.0000 0.0000 -
3378.55/3394.96 c 3395 1731413 1730313 1 1.0000 0.0000 -
3383.73/3400.17 c 3400 1733810 1732710 1 1.0000 0.0000 -
3388.81/3405.22 c 3405 1736600 1735500 1 1.0000 0.0000 -
3393.79/3410.27 c 3410 1739331 1738231 1 1.0000 0.0000 -
3399.28/3415.72 c 3416 1742157 1741057 1 1.0000 0.0000 -
3404.26/3420.77 c 3421 1744858 1743758 1 1.0000 0.0000 -
3409.35/3425.82 c 3426 1747511 1746411 1 1.0000 0.0000 -
3414.33/3430.87 c 3431 1750066 1748966 1 1.0000 0.0000 -
3420.21/3436.71 c 3437 1753069 1751969 1 1.0000 0.0000 -
3425.28/3441.80 c 3442 1755938 1754838 1 1.0000 0.0000 -
3430.57/3447.17 c 3447 1758456 1757356 1 1.0000 0.0000 -
3435.65/3452.25 c 3452 1761219 1760119 1 1.0000 0.0000 -
3441.14/3457.79 c 3458 1763963 1762863 1 1.0000 0.0000 -
3446.32/3462.91 c 3463 1766688 1765588 1 1.0000 0.0000 -
3451.40/3468.05 c 3468 1769480 1768380 1 1.0000 0.0000 -
3456.39/3473.10 c 3473 1772260 1771160 1 1.0000 0.0000 -
3461.47/3478.15 c 3478 1774646 1773546 1 1.0000 0.0000 -
3466.55/3483.26 c 3483 1777079 1775979 1 1.0000 0.0000 -
3471.63/3488.31 c 3488 1779710 1778610 1 1.0000 0.0000 -
3476.92/3493.60 c 3494 1782359 1781259 1 1.0000 0.0000 -
3481.90/3498.66 c 3499 1785014 1783914 1 1.0000 0.0000 -
3486.98/3503.71 c 3504 1787604 1786504 1 1.0000 0.0000 -
3491.97/3508.78 c 3509 1790370 1789270 1 1.0000 0.0000 -
3497.15/3513.95 c 3514 1792849 1791749 1 1.0000 0.0000 -
3502.34/3519.12 c 3519 1795542 1794442 1 1.0000 0.0000 -
3507.61/3524.40 c 3524 1798230 1797130 1 1.0000 0.0000 -
3512.60/3529.47 c 3529 1800737 1799637 1 1.0000 0.0000 -
3517.68/3534.54 c 3535 1802959 1801859 1 1.0000 0.0000 -
3522.66/3539.59 c 3540 1805909 1804809 1 1.0000 0.0000 -
3527.75/3544.64 c 3545 1808778 1807678 1 1.0000 0.0000 -
3532.73/3549.69 c 3550 1811440 1810340 1 1.0000 0.0000 -
3537.81/3554.74 c 3555 1813916 1812816 1 1.0000 0.0000 -
3542.90/3559.85 c 3560 1816423 1815323 1 1.0000 0.0000 -
3548.37/3565.34 c 3565 1819283 1818183 1 1.0000 0.0000 -
3553.36/3570.39 c 3570 1822086 1820986 1 1.0000 0.0000 -
3558.44/3575.44 c 3575 1824825 1823725 1 1.0000 0.0000 -
3563.43/3580.49 c 3580 1827405 1826305 1 1.0000 0.0000 -
3568.50/3585.56 c 3586 1830029 1828929 1 1.0000 0.0000 -
3573.88/3590.90 c 3591 1832822 1831722 1 1.0000 0.0000 -
3578.97/3596.01 c 3596 1835575 1834465 1 1.0000 0.0000 -
3583.05/3600.11 c SCIP Status : c solving was interrupted [hard time limit reached]
3583.05/3600.11 c Total Time : 3600.1200
3583.05/3600.11 c solving : 3600.1200
3583.05/3600.11 c presolving : 1.8617 (included in solving)
3583.05/3600.11 c B&B Tree :
3583.05/3600.11 c nodes (total) : 1
3583.05/3600.11 c Solution :
3583.05/3600.11 c Solutions found : 2
3583.05/3600.11 c Primal Bound : +1.00000000000000e+00
3583.05/3600.11 c Dual Bound : +0.00000000000000e+00
3583.05/3600.11 c Gap : infinite
3583.05/3600.11 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3583.05/3600.12 o 1
3583.05/3600.12 s SATISFIABLE
3583.05/3600.12 v -x2553 -x2552 -x2551 -x2550 -x2549 x2548 -x2547 x2546 -x2545 -x2544 x2543 x2542 -x2541 x2540 x2539 -x2538 x2537 -x2536 -x2535 x2534
3583.05/3600.12 v -x2533 x2532 -x2531 -x2530 -x2529 x2528 -x2527 x2526 x2525 -x2524 -x2523 x2522 -x2521 x2520 x2519 x2518 x2517 -x2516 x2515
3583.05/3600.12 v x2514 x2513 -x2512 x2511 x2510 -x2509 -x2508 x2507 -x2506 -x2505 -x2504 -x2503 -x2502 x2501 x2500 -x2499 x2498 -x2497 -x2496
3583.05/3600.12 v -x2495 x2494 -x2493 x2492 -x2491 x2490 -x2489 -x2488 x2487 -x2486 -x2485 -x2484 -x2483 x2482 x2481 -x2480 x2479 -x2478 x2477
3583.05/3600.12 v -x2476 x2475 -x2474 x2473 -x2472 -x2471 -x2470 x2469 -x2468 x2467 -x2466 -x2465 x2464 x2463 -x2462 -x2461 -x2460 -x2459 x2458
3583.05/3600.12 v -x2457 x2456 x2455 x2454 -x2453 x2452 x2451 -x2450 -x2449 -x2448 -x2447 x2446 -x2445 x2444 -x2443 -x2442 x2441 -x2440 -x2439
3583.05/3600.12 v -x2438 -x2437 -x2436 x2435 x2434 -x2433 -x2432 -x2431 -x2430 x2429 -x2428 -x2427 -x2426 -x2425 x2424 -x2423 -x2422 -x2421
3583.05/3600.12 v -x2420 x2419 x2418 x2417 -x2416 -x2415 -x2414 x2413 x2412 -x2411 -x2410 -x2409 -x2408 x2407 -x2406 -x2405 -x2404 -x2403 x2402
3583.05/3600.12 v x2401 x2400 -x2399 x2398 x2397 -x2396 x2395 -x2394 x2393 x2392 -x2391 -x2390 -x2389 x2388 -x2387 -x2386 -x2385 x2384 -x2383
3583.05/3600.12 v -x2382 -x2381 -x2380 x2379 x2378 -x2377 -x2376 -x2375 -x2374 -x2373 x2372 -x2371 -x2370 -x2369 -x2368 x2367 -x2366 x2365 -x2364
3583.05/3600.12 v -x2363 -x2362 -x2361 x2360 -x2359 -x2358 -x2357 -x2356 x2355 -x2354 -x2353 -x2352 x2351 x2350 x2349 x2348 -x2347 -x2346 -x2345
3583.05/3600.12 v -x2344 -x2343 -x2342 x2341 -x2340 -x2339 -x2338 -x2337 x2336 x2335 x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 x2327
3583.05/3600.12 v x2326 x2325 -x2324 x2323 x2322 x2321 -x2320 -x2319 x2318 x2317 -x2316 x2315 x2314 x2313 -x2312 x2311 -x2310 -x2309 -x2308 -x2307
3583.05/3600.12 v -x2306 -x2305 x2304 -x2303 x2302 x2301 -x2300 -x2299 x2298 x2297 x2296 x2295 -x2294 x2293 -x2292 x2291 -x2290 x2289 -x2288
3583.05/3600.12 v x2287 -x2286 -x2285 -x2284 x2283 x2282 x2281 x2280 -x2279 x2278 -x2277 -x2276 x2275 x2274 -x2273 x2272 -x2271 x2270 x2269
3583.05/3600.12 v x2268 -x2267 -x2266 x2265 -x2264 x2263 x2262 -x2261 -x2260 -x2259 -x2258 -x2257 x2256 -x2255 x2254 x2253 x2252 -x2251 -x2250
3583.05/3600.12 v -x2249 x2248 x2247 x2246 -x2245 -x2244 x2243 -x2242 -x2241 -x2240 x2239 x2238 -x2237 -x2236 -x2235 -x2234 x2233 x2232 x2231
3583.05/3600.12 v -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 x2222 x2221 x2220 -x2219 -x2218 -x2217 -x2216 x2215 -x2214 -x2213 -x2212
3583.05/3600.12 v -x2211 x2210 -x2209 x2208 -x2207 -x2206 -x2205 x2204 -x2203 -x2202 -x2201 x2200 -x2199 x2198 x2197 x2196 -x2195 -x2194 x2193
3583.05/3600.12 v -x2192 x2191 -x2190 x2189 -x2188 -x2187 x2186 -x2185 -x2184 -x2183 -x2182 x2181 -x2180 x2179 x2178 x2177 -x2176 x2175 -x2174
3583.05/3600.12 v -x2173 x2172 -x2171 x2170 -x2169 -x2168 x2167 x2166 -x2165 x2164 x2163 -x2162 -x2161 x2160 x2159 x2158 -x2157 -x2156 -x2155
3583.05/3600.12 v x2154 -x2153 -x2152 -x2151 x2150 x2149 x2148 -x2147 -x2146 -x2145 x2144 -x2143 -x2142 -x2141 x2140 -x2139 x2138 -x2137 -x2136
3583.05/3600.12 v -x2135 x2134 x2133 -x2132 -x2131 x2130 -x2129 -x2128 -x2127 -x2126 -x2125 x2124 x2123 x2122 x2121 x2120 -x2119 x2118 x2117
3583.05/3600.12 v -x2116 -x2115 x2114 x2113 -x2112 x2111 -x2110 -x2109 -x2108 -x2107 -x2106 x2105 x2104 -x2103 -x2102 x2101 x2100 -x2099 -x2098
3583.05/3600.12 v -x2097 x2096 x2095 -x2094 x2093 x2092 -x2091 -x2090 -x2089 x2088 -x2087 x2086 x2085 x2084 -x2083 -x2082 -x2081 x2080 x2079
3583.05/3600.12 v -x2078 -x2077 x2076 x2075 x2074 x2073 x2072 -x2071 x2070 -x2069 x2068 x2067 -x2066 x2065 x2064 -x2063 -x2062 x2061 x2060 x2059
3583.05/3600.12 v -x2058 -x2057 x2056 x2055 -x2054 -x2053 x2052 x2051 x2050 -x2049 -x2048 -x2047 -x2046 x2045 -x2044 x2043 x2042 -x2041 -x2040
3583.05/3600.12 v x2039 x2038 -x2037 -x2036 -x2035 -x2034 x2033 x2032 -x2031 -x2030 -x2029 -x2028 x2027 -x2026 -x2025 x2024 x2023 -x2022 -x2021
3583.05/3600.12 v x2020 x2019 x2018 x2017 -x2016 -x2015 x2014 x2013 x2012 x2011 -x2010 -x2009 -x2008 -x2007 x2006 x2005 -x2004 -x2003 x2002
3583.05/3600.12 v -x2001 x2000 -x1999 x1998 x1997 -x1996 x1995 x1994 -x1993 x1992 -x1991 x1990 x1989 x1988 -x1987 x1986 -x1985 -x1984 x1983 -x1982
3583.05/3600.12 v x1981 -x1980 -x1979 -x1978 x1977 -x1976 -x1975 -x1974 x1973 x1972 x1971 x1970 x1969 -x1968 x1967 -x1966 -x1965 -x1964 x1963
3583.05/3600.12 v x1962 -x1961 x1960 -x1959 -x1958 -x1957 x1956 x1955 -x1954 -x1953 x1952 x1951 x1950 -x1949 x1948 x1947 -x1946 -x1945 x1944
3583.05/3600.12 v -x1943 x1942 -x1941 x1940 -x1939 -x1938 -x1937 x1936 x1935 -x1934 x1933 x1932 -x1931 x1930 x1929 -x1928 -x1927 -x1926 -x1925
3583.05/3600.12 v -x1924 x1923 x1922 x1921 x1920 -x1919 -x1918 -x1917 x1916 -x1915 -x1914 x1913 -x1912 x1911 -x1910 -x1909 x1908 -x1907 x1906
3583.05/3600.12 v x1905 -x1904 x1903 -x1902 -x1901 x1900 -x1899 x1898 -x1897 -x1896 x1895 x1894 -x1893 x1892 x1891 -x1890 x1889 x1888 x1887 x1886
3583.05/3600.12 v -x1885 -x1884 x1883 x1882 x1881 -x1880 x1879 -x1878 -x1877 -x1876 x1875 x1874 x1873 x1872 -x1871 -x1870 -x1869 x1868 -x1867
3583.05/3600.12 v x1866 x1865 -x1864 -x1863 x1862 x1861 -x1860 -x1859 x1858 -x1857 x1856 -x1855 x1854 -x1853 x1852 x1851 x1850 -x1849 x1848
3583.05/3600.12 v -x1847 x1846 -x1845 x1844 -x1843 -x1842 -x1841 x1840 -x1839 x1838 x1837 -x1836 -x1835 x1834 x1833 -x1832 -x1831 -x1830 -x1829
3583.05/3600.12 v x1828 -x1827 x1826 -x1825 x1824 -x1823 x1822 x1821 -x1820 -x1819 -x1818 x1817 -x1816 x1815 -x1814 -x1813 x1812 x1811 -x1810
3583.05/3600.12 v x1809 -x1808 -x1807 -x1806 -x1805 -x1804 x1803 -x1802 x1801 -x1800 x1799 x1798 x1797 -x1796 -x1795 x1794 x1793 -x1792 -x1791
3583.05/3600.12 v -x1790 x1789 x1788 x1787 x1786 x1785 -x1784 -x1783 -x1782 x1781 -x1780 x1779 -x1778 -x1777 -x1776 -x1775 x1774 -x1773 -x1772
3583.05/3600.12 v x1771 x1770 -x1769 -x1768 -x1767 x1766 x1765 x1764 -x1763 -x1762 -x1761 x1760 x1759 x1758 -x1757 -x1756 x1755 x1754 -x1753 x1752
3583.05/3600.12 v -x1751 x1750 -x1749 x1748 -x1747 x1746 x1745 -x1744 x1743 x1742 x1741 -x1740 x1739 x1738 x1737 -x1736 -x1735 -x1734 x1733
3583.05/3600.12 v x1732 -x1731 x1730 x1729 -x1728 x1727 -x1726 x1725 x1724 -x1723 x1722 -x1721 x1720 x1719 x1718 -x1717 -x1716 -x1715 -x1714 -x1713
3583.05/3600.12 v x1712 -x1711 -x1710 x1709 -x1708 x1707 x1706 -x1705 x1704 x1703 x1702 -x1701 x1700 -x1699 x1698 x1697 -x1696 x1695 x1694
3583.05/3600.12 v -x1693 x1692 x1691 -x1690 x1689 -x1688 -x1687 x1686 -x1685 -x1684 -x1683 x1682 -x1681 x1680 -x1679 -x1678 -x1677 x1676 x1675
3583.05/3600.12 v x1674 -x1673 x1672 x1671 x1670 -x1669 -x1668 -x1667 x1666 x1665 x1664 -x1663 x1662 x1661 x1660 -x1659 -x1658 x1657 x1656 -x1655
3583.05/3600.12 v x1654 -x1653 x1652 x1651 x1650 -x1649 -x1648 x1647 x1646 x1645 -x1644 -x1643 x1642 x1641 x1640 -x1639 -x1638 -x1637 x1636
3583.05/3600.12 v -x1635 -x1634 -x1633 x1632 x1631 -x1630 x1629 -x1628 x1627 -x1626 x1625 x1624 x1623 -x1622 x1621 x1620 -x1619 -x1618 x1617
3583.05/3600.12 v x1616 -x1615 x1614 -x1613 -x1612 x1611 x1610 -x1609 x1608 x1607 -x1606 x1605 x1604 x1603 -x1602 x1601 -x1600 -x1599 x1598 -x1597
3583.05/3600.12 v -x1596 -x1595 -x1594 x1593 x1592 x1591 x1590 x1589 x1588 -x1587 -x1586 -x1585 x1584 x1583 x1582 x1581 -x1580 -x1579 x1578
3583.05/3600.12 v x1577 x1576 x1575 -x1574 x1573 x1572 -x1571 x1570 -x1569 x1568 -x1567 x1566 x1565 -x1564 -x1563 x1562 -x1561 x1560 x1559 x1558
3583.05/3600.12 v x1557 x1556 -x1555 -x1554 -x1553 x1552 -x1551 x1550 x1549 x1548 -x1547 -x1546 -x1545 x1544 x1543 -x1542 x1541 -x1540 -x1539
3583.05/3600.12 v -x1538 x1537 x1536 x1535 -x1534 x1533 -x1532 x1531 -x1530 -x1529 x1528 -x1527 x1526 x1525 -x1524 -x1523 x1522 -x1521 -x1520
3583.05/3600.12 v x1519 -x1518 x1517 -x1516 -x1515 x1514 x1513 -x1512 x1511 -x1510 x1509 -x1508 x1507 -x1506 x1505 -x1504 x1503 -x1502 x1501 x1500
3583.05/3600.12 v -x1499 x1498 -x1497 x1496 -x1495 x1494 x1493 -x1492 -x1491 x1490 -x1489 -x1488 x1487 x1486 -x1485 x1484 x1483 -x1482 -x1481
3583.05/3600.12 v x1480 x1479 -x1478 x1477 x1476 -x1475 -x1474 x1473 x1472 -x1471 x1470 x1469 x1468 x1467 -x1466 -x1465 -x1464 -x1463 x1462
3583.05/3600.12 v -x1461 x1460 x1459 -x1458 -x1457 x1456 x1455 -x1454 x1453 -x1452 x1451 x1450 -x1449 x1448 x1447 -x1446 -x1445 x1444 x1443 -x1442
3583.05/3600.12 v x1441 -x1440 x1439 x1438 -x1437 x1436 -x1435 x1434 x1433 x1432 -x1431 -x1430 -x1429 x1428 x1427 -x1426 -x1425 x1424 -x1423
3583.05/3600.12 v x1422 -x1421 -x1420 x1419 -x1418 x1417 x1416 -x1415 x1414 -x1413 -x1412 x1411 -x1410 x1409 -x1408 x1407 -x1406 x1405 -x1404
3583.05/3600.12 v x1403 -x1402 x1401 -x1400 -x1399 x1398 x1397 -x1396 -x1395 -x1394 x1393 x1392 -x1391 -x1390 x1389 -x1388 -x1387 x1386 x1385
3583.05/3600.12 v -x1384 x1383 x1382 -x1381 x1380 x1379 -x1378 -x1377 x1376 x1375 x1374 -x1373 -x1372 -x1371 x1370 -x1369 x1368 -x1367 -x1366
3583.05/3600.12 v x1365 x1364 -x1363 x1362 -x1361 -x1360 x1359 -x1358 x1357 x1356 -x1355 -x1354 x1353 x1352 x1351 x1350 x1349 -x1348 -x1347 -x1346
3583.05/3600.12 v x1345 -x1344 x1343 x1342 x1341 -x1340 -x1339 x1338 x1337 -x1336 x1335 -x1334 x1333 -x1332 x1331 -x1330 x1329 -x1328 -x1327
3583.05/3600.12 v x1326 x1325 x1324 -x1323 x1322 x1321 -x1320 -x1319 x1318 -x1317 -x1316 -x1315 x1314 x1313 x1312 x1311 -x1310 -x1309 -x1308
3583.05/3600.12 v -x1307 -x1306 x1305 -x1304 x1303 x1302 -x1301 -x1300 x1299 -x1298 x1297 -x1296 -x1295 x1294 -x1293 x1292 -x1291 x1290 -x1289
3583.05/3600.12 v -x1288 -x1287 x1286 -x1285 -x1284 x1283 -x1282 x1281 x1280 x1279 x1278 -x1277 -x1276 -x1275 x1274 x1273 -x1272 x1271 x1270 -x1269
3583.05/3600.12 v x1268 -x1267 x1266 -x1265 x1264 -x1263 x1262 x1261 -x1260 -x1259 x1258 x1257 -x1256 -x1255 -x1254 x1253 -x1252 -x1251 -x1250
3583.05/3600.12 v x1249 x1248 -x1247 -x1246 -x1245 -x1244 x1243 x1242 x1241 -x1240 -x1239 x1238 x1237 -x1236 -x1235 -x1234 x1233 x1232 x1231
3583.05/3600.12 v -x1230 -x1229 x1228 -x1227 x1226 x1225 x1224 x1223 x1222 -x1221 -x1220 x1219 -x1218 x1217 x1216 -x1215 -x1214 -x1213 x1212
3583.05/3600.12 v -x1211 x1210 -x1209 x1208 x1207 -x1206 x1205 x1204 -x1203 -x1202 x1201 x1200 x1199 -x1198 -x1197 x1196 x1195 x1194 -x1193 x1192
3583.05/3600.12 v -x1191 x1190 x1189 -x1188 -x1187 x1186 x1185 x1184 -x1183 x1182 x1181 x1180 x1179 -x1178 -x1177 -x1176 x1175 x1174 -x1173
3583.05/3600.12 v x1172 x1171 -x1170 x1169 -x1168 x1167 x1166 -x1165 x1164 -x1163 x1162 x1161 -x1160 -x1159 -x1158 x1157 -x1156 x1155 x1154 x1153
3583.05/3600.12 v -x1152 x1151 -x1150 x1149 x1148 x1147 -x1146 x1145 -x1144 -x1143 x1142 x1141 -x1140 x1139 x1138 -x1137 x1136 x1135 -x1134
3583.05/3600.12 v -x1133 x1132 x1131 -x1130 x1129 -x1128 -x1127 x1126 x1125 -x1124 x1123 x1122 -x1121 x1120 x1119 -x1118 -x1117 x1116 x1115 -x1114
3583.05/3600.12 v -x1113 x1112 -x1111 -x1110 -x1109 x1108 x1107 -x1106 -x1105 -x1104 x1103 x1102 x1101 -x1100 -x1099 x1098 -x1097 x1096 -x1095
3583.05/3600.12 v x1094 x1093 -x1092 -x1091 x1090 x1089 -x1088 x1087 -x1086 -x1085 x1084 -x1083 x1082 -x1081 -x1080 x1079 -x1078 x1077 x1076
3583.05/3600.12 v -x1075 x1074 -x1073 -x1072 -x1071 x1070 x1069 -x1068 -x1067 -x1066 x1065 x1064 x1063 -x1062 -x1061 x1060 -x1059 x1058 x1057
3583.05/3600.12 v x1056 -x1055 x1054 x1053 -x1052 x1051 x1050 -x1049 x1048 x1047 -x1046 -x1045 -x1044 x1043 -x1042 -x1041 x1040 -x1039 x1038
3583.05/3600.12 v -x1037 x1036 -x1035 x1034 -x1033 x1032 -x1031 -x1030 x1029 x1028 x1027 x1026 -x1025 -x1024 x1023 x1022 x1021 x1020 -x1019 -x1018
3583.05/3600.12 v -x1017 -x1016 x1015 -x1014 x1013 x1012 x1011 -x1010 x1009 x1008 -x1007 -x1006 -x1005 -x1004 x1003 x1002 x1001 -x1000 x999
3583.05/3600.12 v -x998 x997 x996 x995 -x994 -x993 -x992 x991 x990 -x989 -x988 x987 -x986 x985 -x984 -x983 x982 -x981 x980 x979 x978 -x977 -x976
3583.05/3600.12 v -x975 -x974 x973 -x972 x971 x970 -x969 -x968 -x967 x966 x965 x964 x963 -x962 -x961 x960 x959 -x958 -x957 x956 x955 x954 x953
3583.05/3600.12 v -x952 x951 x950 x949 -x948 -x947 x946 x945 x944 -x943 x942 -x941 x940 x939 x938 -x937 -x936 -x935 x934 -x933 x932 x931 -x930
3583.05/3600.12 v -x929 x928 -x927 x926 x925 -x924 -x923 -x922 x921 x920 x919 x918 -x917 -x916 -x915 x914 -x913 -x912 x911 x910 -x909 x908 x907
3583.05/3600.12 v -x906 x905 x904 x903 x902 x901 x900 -x899 x898 -x897 -x896 x895 -x894 x893 -x892 x891 -x890 x889 -x888 x887 x886 -x885 -x884
3583.05/3600.12 v -x883 x882 x881 x880 x879 x878 x877 -x876 -x875 -x874 x873 x872 x871 -x870 -x869 x868 -x867 -x866 x865 x864 x863 -x862 x861
3583.05/3600.12 v -x860 -x859 -x858 x857 x856 -x855 x854 -x853 -x852 x851 -x850 x849 x848 -x847 x846 x845 -x844 -x843 x842 x841 -x840 -x839
3583.05/3600.12 v -x838 -x837 x836 x835 -x834 x833 x832 -x831 x830 -x829 -x828 x827 -x826 x825 x824 -x823 x822 x821 x820 x819 -x818 -x817 -x816
3583.05/3600.12 v x815 x814 x813 -x812 -x811 -x810 x809 -x808 x807 x806 x805 x804 -x803 -x802 -x801 -x800 x799 x798 x797 -x796 -x795 x794 x793
3583.05/3600.12 v x792 -x791 x790 x789 -x788 -x787 x786 x785 -x784 x783 -x782 x781 x780 -x779 x778 -x777 x776 -x775 x774 x773 -x772 x771 -x770
3583.05/3600.12 v x769 -x768 x767 x766 -x765 x764 -x763 x762 x761 -x760 -x759 -x758 -x757 x756 -x755 x754 x753 -x752 x751 x750 -x749 -x748 x747
3583.05/3600.12 v x746 -x745 -x744 x743 x742 x741 -x740 x739 x738 -x737 -x736 -x735 x734 x733 -x732 x731 x730 x729 -x728 -x727 -x726 x725 x724
3583.05/3600.12 v -x723 -x722 x721 -x720 x719 -x718 x717 x716 x715 -x714 x713 x712 -x711 -x710 x709 -x708 -x707 x706 -x705 -x704 x703 -x702 x701
3583.05/3600.12 v -x700 x699 -x698 x697 x696 x695 x694 -x693 -x692 x691 x690 -x689 x688 -x687 -x686 -x685 x684 -x683 x682 -x681 x680 -x679
3583.05/3600.12 v x678 -x677 x676 x675 x674 -x673 -x672 x671 -x670 x669 x668 -x667 -x666 x665 -x664 x663 -x662 -x661 x660 x659 x658 x657 -x656
3583.05/3600.12 v x655 -x654 x653 -x652 x651 -x650 -x649 x648 -x647 x646 x645 -x644 -x643 x642 x641 -x640 x639 x638 x637 x636 -x635 -x634 x633
3583.05/3600.12 v x632 -x631 -x630 x629 -x628 x627 -x626 x625 x624 -x623 -x622 x621 x620 x619 -x618 -x617 x616 -x615 -x614 x613 x612 x611 -x610
3583.05/3600.12 v -x609 x608 -x607 -x606 x605 x604 -x603 x602 -x601 x600 -x599 x598 x597 x596 x595 -x594 -x593 x592 x591 -x590 -x589 x588 x587
3583.05/3600.12 v x586 -x585 -x584 -x583 x582 -x581 x580 x579 -x578 -x577 x576 x575 x574 -x573 -x572 -x571 -x570 -x569 x568 x567 x566 -x565 x564
3583.05/3600.12 v x563 -x562 -x561 x560 x559 -x558 -x557 x556 -x555 x554 x553 x552 -x551 -x550 x549 -x548 x547 x546 -x545 -x544 x543 -x542 x541
3583.05/3600.12 v x540 -x539 -x538 -x537 x536 -x535 x534 x533 x532 -x531 x530 -x529 -x528 x527 x526 -x525 x524 x523 -x522 -x521 x520 -x519
3583.05/3600.12 v x518 x517 -x516 -x515 x514 -x513 x512 x511 -x510 x509 -x508 x507 x506 -x505 -x504 x503 -x502 x501 -x500 -x499 x498 x497 x496
3583.05/3600.12 v -x495 -x494 x493 -x492 -x491 x490 x489 x488 -x487 x486 -x485 x484 x483 -x482 x481 -x480 -x479 x478 x477 x476 x475 -x474 -x473
3583.05/3600.12 v x472 -x471 -x470 x469 -x468 -x467 x466 x465 x464 x463 x462 -x461 -x460 x459 x458 -x457 x456 -x455 -x454 x453 x452 x451 -x450
3583.05/3600.12 v -x449 x448 x447 -x446 -x445 x444 -x443 -x442 x441 x440 -x439 x438 -x437 x436 x435 -x434 -x433 x432 -x431 -x430 -x429 x428 x427
3583.05/3600.12 v x426 x425 -x424 x423 -x422 -x421 -x420 x419 -x418 x417 -x416 x415 x414 -x413 -x412 x411 x410 x409 -x408 -x407 x406 x405 x404
3583.05/3600.12 v -x403 -x402 x401 -x400 x399 x398 -x397 -x396 x395 -x394 x393 -x392 -x391 -x390 x389 x388 x387 x386 x385 -x384 -x383 -x382
3583.05/3600.12 v x381 -x380 -x379 -x378 x377 x376 x375 x374 -x373 -x372 x371 x370 -x369 x368 -x367 -x366 x365 x364 x363 -x362 -x361 -x360 x359
3583.05/3600.12 v -x358 x357 -x356 x355 -x354 -x353 x352 x351 x350 -x349 -x348 x347 x346 -x345 -x344 -x343 x342 x341 x340 -x339 -x338 -x337 x336
3583.05/3600.12 v x335 -x334 x333 x332 x331 x330 -x329 -x328 -x327 x326 x325 -x324 x323 -x322 -x321 x320 -x319 -x318 x317 x316 -x315 x314 x313
3583.05/3600.12 v -x312 -x311 -x310 x309 x308 -x307 x306 -x305 x304 -x303 x302 x301 -x300 -x299 x298 -x297 -x296 x295 -x294 -x293 x292 x291
3583.05/3600.12 v x290 x289 -x288 -x287 -x286 x285 x284 x283 -x282 -x281 x280 -x279 x278 x277 -x276 -x275 -x274 x273 x272 x271 -x270 -x269 -x268
3583.05/3600.12 v x267 -x266 x265 x264 -x263 x262 -x261 x260 x259 -x258 -x257 -x256 x255 x254 -x253 x252 -x251 -x250 x249 -x248 x247 x246 x245
3583.05/3600.12 v x244 -x243 -x242 -x241 -x240 x239 x238 -x237 x236 -x235 x234 x233 x232 -x231 -x230 -x229 x228 x227 x226 -x225 -x224 -x223 x222
3583.05/3600.12 v x221 -x220 x219 x218 -x217 x216 -x215 x214 -x213 x212 -x211 -x210 x209 -x208 x207 x206 x205 -x204 -x203 x202 -x201 x200 x199
3583.05/3600.12 v -x198 x197 -x196 -x195 x194 -x193 x192 x191 -x190 -x189 x188 -x187 -x186 x185 x184 -x183 -x182 x181 x180 x179 -x178 -x177
3583.05/3600.12 v x176 x175 -x174 -x173 x172 -x171 x170 -x169 -x168 -x167 x166 x165 -x164 x163 x162 x161 -x160 -x159 -x158 x157 x156 -x155 -x154
3583.05/3600.12 v x153 -x152 x151 x150 -x149 x148 x147 -x146 x145 -x144 -x143 x142 x141 -x140 -x139 x138 -x137 x136 -x135 -x134 x133 x132 -x131
3583.05/3600.12 v -x130 x129 x128 x127 -x126 x125 x124 -x123 x122 -x121 -x120 x119 -x118 -x117 -x116 x115 -x114 x113 x112 -x111 x110 -x109
3583.05/3600.12 v x108 -x107 x106 -x105 -x104 x103 x102 -x101 -x100 x99 x98 -x97 -x96 -x95 x94 x93 x92 -x91 x90 x89 -x88 -x87 x86 -x85 x84 -x83
3583.05/3600.12 v x82 -x81 x80 -x79 x78 x77 x76 -x75 -x74 -x73 x72 -x71 x70 x69 -x68 -x67 -x66 -x65 x64 x63 -x62 x61 x60 -x59 -x58 -x57 x56 x55
3583.05/3600.12 v x54 x53 x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 x44 x43 -x42 -x41 x40 -x39 x38 x37 x36 x35 -x34 x33 -x32 -x31 x30 -x29 x28 -x27
3583.05/3600.12 v -x26 x25 -x24 x23 -x22 x21 -x20 x19 x18 x17 x16 -x15 -x14 -x13 -x12 x11 x10 -x9 x8 -x7 -x6 x5 -x4 x3 -x2 x1 -x3404 -x3403
3583.05/3600.12 v -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385
3583.05/3600.12 v -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367
3583.05/3600.12 v -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349
3583.05/3600.12 v -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331
3583.05/3600.12 v -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313
3583.05/3600.12 v -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295
3583.05/3600.12 v -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278
3583.05/3600.12 v -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260
3583.05/3600.12 v -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242
3583.05/3600.12 v -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224
3583.05/3600.12 v -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206
3583.05/3600.12 v -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188
3583.05/3600.12 v -x3187 -x3186 -x3185 -x3184 -x3183 x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170
3583.05/3600.12 v -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152
3583.05/3600.12 v -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135
3583.05/3600.12 v -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117
3583.05/3600.12 v -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099
3583.05/3600.12 v -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081
3583.05/3600.12 v -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063
3583.05/3600.12 v -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045
3583.05/3600.12 v -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027
3583.05/3600.12 v -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010
3583.05/3600.12 v -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992
3583.05/3600.12 v -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974
3583.05/3600.12 v -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956
3583.05/3600.12 v -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938
3583.05/3600.12 v -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920
3583.05/3600.12 v -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902
3583.05/3600.12 v -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885
3583.05/3600.12 v -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867
3583.05/3600.12 v -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849
3583.05/3600.12 v -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831
3583.05/3600.12 v -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813
3583.05/3600.12 v -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795
3583.05/3600.12 v -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777
3583.05/3600.12 v -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760
3583.05/3600.13 v -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742
3583.05/3600.13 v -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724
3583.05/3600.13 v -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706
3583.05/3600.13 v -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688
3583.05/3600.13 v -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670
3583.05/3600.13 v -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652
3583.05/3600.13 v -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635
3583.05/3600.13 v -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617
3583.05/3600.13 v -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599
3583.05/3600.13 v -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581
3583.05/3600.13 v -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563
3583.05/3600.13 v -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (63195 MiB free)
memory of node 1: 64473 MiB (62431 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464740-1722390645/watcher-4464740-1722390645 -o /tmp/evaluation-result-4464740-1722390645/solver-4464740-1722390645 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722390441-42211 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464740-1722390645.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=42901, runsolver pid=42898
[startup+0.100298 s]*
/proc/loadavg: 4.06 2.67 2.54 6/260 42902
/proc/meminfo: memFree=128624928/131524600 swapFree=131071996/131071996
[pid=42901] ppid=42898 vsize=43800 memory=27696 CPUtime=0.09 cores=0,2
/proc/42901/stat : 42901 (fscip) R 42898 42901 42201 0 -1 4194304 4474 0 0 0 9 0 0 0 20 0 1 0 5666391 44851200 6924 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
/proc/42901/statm: 10950 6924 2774 3035 0 7346 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43800 KiB
Current children cumulated memory: 27696 KiB
[startup+0.205514 s]*
/proc/loadavg: 4.06 2.67 2.54 5/260 42902
/proc/meminfo: memFree=128624512/131524600 swapFree=131071996/131071996
[pid=42901] ppid=42898 vsize=43800 memory=27696 CPUtime=0.19 cores=0,2
/proc/42901/stat : 42901 (fscip) R 42898 42901 42201 0 -1 4194304 4474 0 0 0 19 0 0 0 20 0 1 0 5666391 44851200 6924 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
/proc/42901/statm: 10950 6924 2774 3035 0 7346 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 43800 KiB
Current children cumulated memory: 27696 KiB
[startup+0.304573 s]*
/proc/loadavg: 4.06 2.67 2.54 5/260 42902
/proc/meminfo: memFree=128624412/131524600 swapFree=131071996/131071996
[pid=42901] ppid=42898 vsize=43800 memory=27696 CPUtime=0.29 cores=0,2
/proc/42901/stat : 42901 (fscip) R 42898 42901 42201 0 -1 4194304 4474 0 0 0 29 0 0 0 20 0 1 0 5666391 44851200 6924 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
/proc/42901/statm: 10950 6924 2774 3035 0 7346 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 43800 KiB
Current children cumulated memory: 27696 KiB
[startup+0.700147 s]
/proc/loadavg: 4.06 2.67 2.54 5/260 42902
/proc/meminfo: memFree=128624300/131524600 swapFree=131071996/131071996
[pid=42901] ppid=42898 vsize=43800 memory=27696 CPUtime=0.68 cores=0,2
/proc/42901/stat : 42901 (fscip) R 42898 42901 42201 0 -1 4194304 4474 0 0 0 68 0 0 0 20 0 1 0 5666391 44851200 6924 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
/proc/42901/statm: 10950 6924 2774 3035 0 7346 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43800 KiB
Current children cumulated memory: 27696 KiB
[startup+1.50017 s]
/proc/loadavg: 4.06 2.67 2.54 5/260 42902
/proc/meminfo: memFree=128623760/131524600 swapFree=131071996/131071996
[pid=42901] ppid=42898 vsize=43800 memory=27696 CPUtime=1.48 cores=0,2
/proc/42901/stat : 42901 (fscip) R 42898 42901 42201 0 -1 4194304 4474 0 0 0 148 0 0 0 20 0 1 0 5666391 44851200 6924 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
/proc/42901/statm: 10950 6924 2774 3035 0 7346 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 43800 KiB
Current children cumulated memory: 27696 KiB
[startup+3.10631 s]
/proc/loadavg: 4.05 2.69 2.55 5/262 42906
/proc/meminfo: memFree=128568360/131524600 swapFree=131071996/131071996
[pid=42901] ppid=42898 vsize=132976 memory=81552 CPUtime=3.07 cores=0,2
/proc/42901/stat : 42901 (fscip) S 42898 42901 42201 0 -1 1077936128 21355 0 0 0 304 3 0 0 20 0 3 0 5666391 136167424 20388 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
/proc/42901/statm: 33244 20388 2966 3035 0 25088 0
[pid=42901/tid=42903] ppid=42898 vsize=132976 memory=0 CPUtime=1.2 cores=0,2
/proc/42901/task/42903/stat : 42903 (fscip) R 42898 42901 42201 0 -1 4194368 15345 0 0 0 118 2 0 0 20 0 3 0 5666578 136167424 20388 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
[pid=42901/tid=42904] ppid=42898 vsize=132976 memory=76584 CPUtime=0 cores=0,2
/proc/42901/task/42904/stat : 42904 (fscip) S 42898 42901 42201 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5666579 136167424 20388 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 132976 KiB
Current children cumulated memory: 81552 KiB
[startup+6.30032 s]
/proc/loadavg: 4.05 2.69 2.55 5/262 42908
/proc/meminfo: memFree=128552460/131524600 swapFree=131071996/131071996
[pid=42901] ppid=42898 vsize=132976 memory=96380 CPUtime=6.24 cores=0,2
/proc/42901/stat : 42901 (fscip) S 42898 42901 42201 0 -1 1077936128 33608 0 0 0 620 4 0 0 20 0 3 0 5666391 136167424 24095 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
/proc/42901/statm: 33244 24095 2966 3035 0 29519 0
[pid=42901/tid=42903] ppid=42898 vsize=132976 memory=76320 CPUtime=4.37 cores=0,2
/proc/42901/task/42903/stat : 42903 (fscip) R 42898 42901 42201 0 -1 4194368 27565 0 0 0 434 3 0 0 20 0 3 0 5666578 136167424 24095 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
[pid=42901/tid=42904] ppid=42898 vsize=132976 memory=86388 CPUtime=0 cores=0,2
/proc/42901/task/42904/stat : 42904 (fscip) S 42898 42901 42201 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5666579 136167424 24095 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 132976 KiB
Current children cumulated memory: 96380 KiB
[startup+12.7003 s]
/proc/loadavg: 4.05 2.71 2.55 5/262 42908
/proc/meminfo: memFree=128518156/131524600 swapFree=131071996/131071996
[pid=42901] ppid=42898 vsize=198512 memory=115368 CPUtime=12.58 cores=0,2
/proc/42901/stat : 42901 (fscip) S 42898 42901 42201 0 -1 1077936128 64226 0 0 0 1252 6 0 0 20 0 3 0 5666391 203276288 28842 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
/proc/42901/statm: 49628 28842 3014 3035 0 33771 0
[pid=42901/tid=42903] ppid=42898 vsize=198512 memory=86388 CPUtime=10.7 cores=0,2
/proc/42901/task/42903/stat : 42903 (fscip) R 42898 42901 42201 0 -1 4194368 58135 0 0 0 1065 5 0 0 20 0 3 0 5666578 203276288 28842 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
[pid=42901/tid=42904] ppid=42898 vsize=198512 memory=-7091597680321846903 CPUtime=0 cores=0,2
/proc/42901/task/42904/stat : 42904 (fscip) S 42898 42901 42201 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 5666579 203276288 28842 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 198512 KiB
Current children cumulated memory: 115368 KiB
[startup+25.5003 s]
/proc/loadavg: 4.04 2.77 2.58 5/262 42911
/proc/meminfo: memFree=128441556/131524600 swapFree=131071996/131071996
[pid=42901] ppid=42898 vsize=198512 memory=135600 CPUtime=25.26 cores=0,2
/proc/42901/stat : 42901 (fscip) S 42898 42901 42201 0 -1 1077936128 110108 0 0 0 2515 11 0 0 20 0 3 0 5666391 203276288 33900 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
/proc/42901/statm: 49628 33900 3014 3035 0 38808 0
[pid=42901/tid=42903] ppid=42898 vsize=198512 memory=951 CPUtime=23.39 cores=0,2
/proc/42901/task/42903/stat : 42903 (fscip) R 42898 42901 42201 0 -1 4194368 103931 0 0 0 2329 10 0 0 20 0 3 0 5666578 203276288 33900 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
[pid=42901/tid=42904] ppid=42898 vsize=198512 memory=134880 CPUtime=0 cores=0,2
/proc/42901/task/42904/stat : 42904 (fscip) S 42898 42901 42201 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 5666579 203276288 33900 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
Current children cumulated CPU time: 25.26 s
Current children cumulated vsize: 198512 KiB
Current children cumulated memory: 135600 KiB
[startup+51.1063 s]
/proc/loadavg: 4.10 2.89 2.62 5/262 42914
/proc/meminfo: memFree=128336636/131524600 swapFree=131071996/131071996
[pid=42901] ppid=42898 vsize=264048 memory=184888 CPUtime=50.62 cores=0,2
/proc/42901/stat : 42901 (fscip) S 42898 42901 42201 0 -1 1077936128 161971 0 0 0 5045 17 0 0 20 0 3 0 5666391 270385152 46222 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
/proc/42901/statm: 66012 46222 3014 3035 0 51408 0
[pid=42901/tid=42903] ppid=42898 vsize=264048 memory=173212 CPUtime=48.73 cores=0,2
/proc/42901/task/42903/stat : 42903 (fscip) R 42898 42901 42201 0 -1 4194368 155699 0 0 0 4858 15 0 0 20 0 3 0 5666578 270385152 46222 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
[pid=42901/tid=42904] ppid=42898 vsize=264048 memory=173376 CPUtime=0 cores=0,2
/proc/42901/task/42904/stat : 42904 (fscip) S 42898 42901 42201 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 5666579 270385152 46222 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
Current children cumulated CPU time: 50.62 s
Current children cumulated vsize: 264048 KiB
Current children cumulated memory: 184888 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 3.08 2.70 5/262 42923
/proc/meminfo: memFree=128172956/131524600 swapFree=131071996/131071996
[pid=42901] ppid=42898 vsize=264048 memory=211984 CPUtime=101.29 cores=0,2
/proc/42901/stat : 42901 (fscip) S 42898 42901 42201 0 -1 1077936128 241309 0 0 0 10101 28 0 0 20 0 3 0 5666391 270385152 52996 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
/proc/42901/statm: 66012 52996 3014 3035 0 57808 0
[pid=42901/tid=42903] ppid=42898 vsize=264048 memory=11596 CPUtime=99.41 cores=0,2
/proc/42901/task/42903/stat : 42903 (fscip) R 42898 42901 42201 0 -1 4194368 234905 0 0 0 9915 26 0 0 20 0 3 0 5666578 270385152 52996 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
[pid=42901/tid=42904] ppid=42898 vsize=264048 memory=210928 CPUtime=0 cores=0,2
/proc/42901/task/42904/stat : 42904 (fscip) S 42898 42901 42201 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 5666579 270385152 52996 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
Current children cumulated CPU time: 101.29 s
Current children cumulated vsize: 264048 KiB
Current children cumulated memory: 211984 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 3.25 2.79 5/261 42933
/proc/meminfo: memFree=127960960/131524600 swapFree=131071996/131071996
[pid=42901] ppid=42898 vsize=333176 memory=257320 CPUtime=160.68 cores=0,2
/proc/42901/stat : 42901 (fscip) S 42898 42901 42201 0 -1 1077936128 297913 0 0 0 16030 38 0 0 20 0 3 0 5666391 341172224 64330 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
/proc/42901/statm: 83294 64330 3014 3035 0 69456 0
[pid=42901/tid=42903] ppid=42898 vsize=333176 memory=225836 CPUtime=158.81 cores=0,2
/proc/42901/task/42903/stat : 42903 (fscip) R 42898 42901 42201 0 -1 4194368 291440 0 0 0 15844 37 0 0 20 0 3 0 5666578 341172224 64330 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
[pid=42901/tid=42904] ppid=42898 vsize=333176 memory=5600 CPUtime=0 cores=0,2
/proc/42901/task/42904/stat : 42904 (fscip) S 42898 42901 42201 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 5666579 341172224 64330 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
Current children cumulated CPU time: 160.68 s
Current children cumulated vsize: 333176 KiB
Current children cumulated memory: 257320 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 3.44 2.88 5/263 42948
/proc/meminfo: memFree=127734556/131524600 swapFree=131071996/131071996
[pid=42901] ppid=42898 vsize=398712 memory=311064 CPUtime=220.08 cores=0,2
/proc/42901/stat : 42901 (fscip) S 42898 42901 42201 0 -1 1077936128 331450 0 0 0 21960 48 0 0 20 0 3 0 5666391 408281088 77766 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
/proc/42901/statm: 99678 77766 3014 3035 0 83041 0
[pid=42901/tid=42903] ppid=42898 vsize=398712 memory=281448 CPUtime=218.19 cores=0,2
/proc/42901/task/42903/stat : 42903 (fscip) R 42898 42901 42201 0 -1 4194368 324949 0 0 0 21773 46 0 0 20 0 3 0 5666578 408281088 77766 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
[pid=42901/tid=42904] ppid=42898 vsize=398712 memory=278232 CPUtime=0 cores=0,2
/proc/42901/task/42904/stat : 42904 (fscip) S 42898 42901 42201 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 5666579 408281088 77766 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
Current children cumulated CPU time: 220.08 s
Current children cumulated vsize: 398712 KiB
Current children cumulated memory: 311064 KiB
[startup+282.3 s]
/proc/loadavg: 4.56 3.67 3.00 5/265 43342
/proc/meminfo: memFree=127511896/131524600 swapFree=131071996/131071996
[pid=42901] ppid=42898 vsize=402812 memory=355316 CPUtime=279.46 cores=0,2
################
# More data... #
################
/proc/42901/statm: 685355 662473 3014 3035 0 669186 0
[pid=42901/tid=42903] ppid=42898 vsize=2741420 memory=2554936 CPUtime=3443.64 cores=0,2
/proc/42901/task/42903/stat : 42903 (fscip) R 42898 42901 42201 0 -1 4194368 1716012 0 0 0 343883 481 0 0 20 0 3 0 5666578 2807214080 662473 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
[pid=42901/tid=42904] ppid=42898 vsize=2741420 memory=2636932 CPUtime=0.02 cores=0,2
/proc/42901/task/42904/stat : 42904 (fscip) S 42898 42901 42201 0 -1 1077936192 141 0 0 0 1 1 0 0 20 0 3 0 5666579 2807214080 662473 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
Current children cumulated CPU time: 3445.72 s
Current children cumulated vsize: 2741420 KiB
Current children cumulated memory: 2649892 KiB
[startup+3522.3 s]
/proc/loadavg: 1.58 3.14 3.74 2/232 44817
/proc/meminfo: memFree=126914712/131524600 swapFree=131071996/131071996
[pid=42901] ppid=42898 vsize=2741420 memory=2689296 CPUtime=3505.52 cores=0,2
/proc/42901/stat : 42901 (fscip) S 42898 42901 42201 0 -1 1077936128 1753191 0 0 0 350057 495 0 0 20 0 3 0 5666391 2807214080 672324 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
/proc/42901/statm: 685355 672324 3014 3035 0 677579 0
[pid=42901/tid=42903] ppid=42898 vsize=2741420 memory=11596 CPUtime=3503.45 cores=0,2
/proc/42901/task/42903/stat : 42903 (fscip) R 42898 42901 42201 0 -1 4194368 1745553 0 0 0 349856 489 0 0 20 0 3 0 5666578 2807214080 672324 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
[pid=42901/tid=42904] ppid=42898 vsize=2741420 memory=1836 CPUtime=0.03 cores=0,2
/proc/42901/task/42904/stat : 42904 (fscip) S 42898 42901 42201 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 5666579 2807214080 672324 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
Current children cumulated CPU time: 3505.52 s
Current children cumulated vsize: 2741420 KiB
Current children cumulated memory: 2689296 KiB
[startup+3582.3 s]
/proc/loadavg: 1.32 2.78 3.58 2/234 44831
/proc/meminfo: memFree=126870428/131524600 swapFree=131071996/131071996
[pid=42901] ppid=42898 vsize=2806956 memory=2733052 CPUtime=3565.32 cores=0,2
/proc/42901/stat : 42901 (fscip) S 42898 42901 42201 0 -1 1077936128 1782817 0 0 0 356030 502 0 0 20 0 3 0 5666391 2874322944 683263 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
/proc/42901/statm: 701739 683263 3014 3035 0 688315 0
[pid=42901/tid=42903] ppid=42898 vsize=2806956 memory=2732836 CPUtime=3563.24 cores=0,2
/proc/42901/task/42903/stat : 42903 (fscip) R 42898 42901 42201 0 -1 4194368 1775156 0 0 0 355829 495 0 0 20 0 3 0 5666578 2874322944 683263 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
[pid=42901/tid=42904] ppid=42898 vsize=2806956 memory=2731196 CPUtime=0.03 cores=0,2
/proc/42901/task/42904/stat : 42904 (fscip) S 42898 42901 42201 0 -1 1077936192 145 0 0 0 1 2 0 0 20 0 3 0 5666579 2874322944 683263 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
Current children cumulated CPU time: 3565.32 s
Current children cumulated vsize: 2806956 KiB
Current children cumulated memory: 2733052 KiB
[startup+3600.17 s]
# the end of solver process 42901 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3577.8 s, system=5.32778 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.30 2.75 3.56 2/234 44833
/proc/meminfo: memFree=126868664/131524600 swapFree=131071996/131071996
[pid=42901] ppid=42898 vsize=2806956 memory=2734688 CPUtime=3567.02 cores=0,2
/proc/42901/stat : 42901 (fscip) S 42898 42901 42201 0 -1 1077936128 1783655 0 0 0 356200 502 0 0 20 0 3 0 5666391 2874322944 683672 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
/proc/42901/statm: 701739 683672 3014 3035 0 688731 0
[pid=42901/tid=42903] ppid=42898 vsize=2806956 memory=-3535359994705172619 CPUtime=3564.94 cores=0,2
/proc/42901/task/42903/stat : 42903 (fscip) R 42898 42901 42201 0 -1 4194368 1775986 0 0 0 355998 496 0 0 20 0 3 0 5666578 2874322944 683672 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
[pid=42901/tid=42904] ppid=42898 vsize=2806956 memory=-7449699757504495038 CPUtime=0.03 cores=0,2
/proc/42901/task/42904/stat : 42904 (fscip) S 42898 42901 42201 0 -1 1077936192 145 0 0 0 1 2 0 0 20 0 3 0 5666579 2874322944 683672 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
Current children cumulated CPU time: 3567.02 s
Current children cumulated vsize: 2806956 KiB
Current children cumulated memory: 2734688 KiB
[startup+3590.4 s]
/proc/loadavg: 1.27 2.72 3.55 2/234 44833
/proc/meminfo: memFree=126865160/131524600 swapFree=131071996/131071996
[pid=42901] ppid=42898 vsize=2806956 memory=2739060 CPUtime=3573.38 cores=0,2
/proc/42901/stat : 42901 (fscip) S 42898 42901 42201 0 -1 1077936128 1786512 0 0 0 356835 503 0 0 20 0 3 0 5666391 2874322944 684765 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
/proc/42901/statm: 701739 684765 3014 3035 0 689819 0
[pid=42901/tid=42903] ppid=42898 vsize=2806956 memory=11596 CPUtime=3571.29 cores=0,2
/proc/42901/task/42903/stat : 42903 (fscip) R 42898 42901 42201 0 -1 4194368 1778835 0 0 0 356633 496 0 0 20 0 3 0 5666578 2874322944 684765 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
[pid=42901/tid=42904] ppid=42898 vsize=2806956 memory=356383 CPUtime=0.03 cores=0,2
/proc/42901/task/42904/stat : 42904 (fscip) S 42898 42901 42201 0 -1 1077936192 145 0 0 0 1 2 0 0 20 0 3 0 5666579 2874322944 684765 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
Current children cumulated CPU time: 3573.38 s
Current children cumulated vsize: 2806956 KiB
Current children cumulated memory: 2739060 KiB
[startup+3596.8 s]
/proc/loadavg: 1.25 2.69 3.53 2/234 44835
/proc/meminfo: memFree=126862428/131524600 swapFree=131071996/131071996
[pid=42901] ppid=42898 vsize=2806956 memory=2742664 CPUtime=3579.76 cores=0,2
/proc/42901/stat : 42901 (fscip) S 42898 42901 42201 0 -1 1077936128 1789450 0 0 0 357473 503 0 0 20 0 3 0 5666391 2874322944 685666 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
/proc/42901/statm: 701739 685666 3014 3035 0 690651 0
[pid=42901/tid=42903] ppid=42898 vsize=2806956 memory=2729844 CPUtime=3577.68 cores=0,2
/proc/42901/task/42903/stat : 42903 (fscip) R 42898 42901 42201 0 -1 4194368 1781773 0 0 0 357271 497 0 0 20 0 3 0 5666578 2874322944 685666 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
[pid=42901/tid=42904] ppid=42898 vsize=2806956 memory=2737012 CPUtime=0.03 cores=0,2
/proc/42901/task/42904/stat : 42904 (fscip) S 42898 42901 42201 0 -1 1077936192 145 0 0 0 1 2 0 0 20 0 3 0 5666579 2874322944 685666 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
Current children cumulated CPU time: 3579.76 s
Current children cumulated vsize: 2806956 KiB
Current children cumulated memory: 2742664 KiB
[startup+3598.4 s]
/proc/loadavg: 1.25 2.69 3.53 3/234 44835
/proc/meminfo: memFree=126860664/131524600 swapFree=131071996/131071996
[pid=42901] ppid=42898 vsize=2806956 memory=2742680 CPUtime=3581.35 cores=0,2
/proc/42901/stat : 42901 (fscip) S 42898 42901 42201 0 -1 1077936128 1845618 0 0 0 357629 506 0 0 20 0 3 0 5666391 2874322944 685670 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
/proc/42901/statm: 701739 685670 3014 3035 0 690651 0
[pid=42901/tid=42903] ppid=42898 vsize=2806956 memory=2735824 CPUtime=3579.27 cores=0,2
/proc/42901/task/42903/stat : 42903 (fscip) R 42898 42901 42201 0 -1 4194368 1837943 0 0 0 357427 500 0 0 20 0 3 0 5666578 2874322944 685670 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
[pid=42901/tid=42904] ppid=42898 vsize=2806956 memory=11596 CPUtime=0.03 cores=0,2
/proc/42901/task/42904/stat : 42904 (fscip) S 42898 42901 42201 0 -1 1077936192 145 0 0 0 1 2 0 0 20 0 3 0 5666579 2874322944 685670 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
Current children cumulated CPU time: 3581.35 s
Current children cumulated vsize: 2806956 KiB
Current children cumulated memory: 2742680 KiB
[startup+3599.2 s]
/proc/loadavg: 1.23 2.67 3.52 2/234 44835
/proc/meminfo: memFree=126860656/131524600 swapFree=131071996/131071996
[pid=42901] ppid=42898 vsize=2806956 memory=2742680 CPUtime=3582.16 cores=0,2
/proc/42901/stat : 42901 (fscip) S 42898 42901 42201 0 -1 1077936128 2039665 0 0 0 357699 517 0 0 20 0 3 0 5666391 2874322944 685670 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
/proc/42901/statm: 701739 685670 3014 3035 0 690651 0
[pid=42901/tid=42903] ppid=42898 vsize=2806956 memory=2742680 CPUtime=3580.07 cores=0,2
/proc/42901/task/42903/stat : 42903 (fscip) R 42898 42901 42201 0 -1 4194368 2032011 0 0 0 357497 510 0 0 20 0 3 0 5666578 2874322944 685670 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
[pid=42901/tid=42904] ppid=42898 vsize=2806956 memory=13240 CPUtime=0.03 cores=0,2
/proc/42901/task/42904/stat : 42904 (fscip) S 42898 42901 42201 0 -1 1077936192 145 0 0 0 1 2 0 0 20 0 3 0 5666579 2874322944 685670 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
Current children cumulated CPU time: 3582.16 s
Current children cumulated vsize: 2806956 KiB
Current children cumulated memory: 2742680 KiB
[startup+3599.6 s]
/proc/loadavg: 1.23 2.67 3.52 2/234 44835
/proc/meminfo: memFree=126860656/131524600 swapFree=131071996/131071996
[pid=42901] ppid=42898 vsize=2803500 memory=2739432 CPUtime=3582.55 cores=0,2
/proc/42901/stat : 42901 (fscip) S 42898 42901 42201 0 -1 1077936128 2153741 0 0 0 357733 522 0 0 20 0 3 0 5666391 2870784000 684858 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
/proc/42901/statm: 700875 684858 3014 3035 0 689787 0
[pid=42901/tid=42903] ppid=42898 vsize=2803500 memory=1836 CPUtime=3580.46 cores=0,2
/proc/42901/task/42903/stat : 42903 (fscip) R 42898 42901 42201 0 -1 4194368 2146062 0 0 0 357531 515 0 0 20 0 3 0 5666578 2870784000 684858 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
[pid=42901/tid=42904] ppid=42898 vsize=2803500 memory=1832 CPUtime=0.03 cores=0,2
/proc/42901/task/42904/stat : 42904 (fscip) S 42898 42901 42201 0 -1 1077936192 145 0 0 0 1 2 0 0 20 0 3 0 5666579 2870784000 684858 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
Current children cumulated CPU time: 3582.55 s
Current children cumulated vsize: 2803500 KiB
Current children cumulated memory: 2739432 KiB
[startup+3600 s]*
/proc/loadavg: 1.23 2.67 3.52 2/234 44835
/proc/meminfo: memFree=126865092/131524600 swapFree=131071996/131071996
[pid=42901] ppid=42898 vsize=2801452 memory=2737384 CPUtime=3582.95 cores=0,2
/proc/42901/stat : 42901 (fscip) S 42898 42901 42201 0 -1 1077936128 2228951 0 0 0 357769 526 0 0 20 0 3 0 5666391 2868686848 684346 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
/proc/42901/statm: 700363 684346 3014 3035 0 689275 0
[pid=42901/tid=42903] ppid=42898 vsize=2801452 memory=-7091597680321846903 CPUtime=3580.86 cores=0,2
/proc/42901/task/42903/stat : 42903 (fscip) R 42898 42901 42201 0 -1 4194368 2221272 0 0 0 357567 519 0 0 20 0 3 0 5666578 2868686848 684346 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
[pid=42901/tid=42904] ppid=42898 vsize=2801452 memory=4792 CPUtime=0.03 cores=0,2
/proc/42901/task/42904/stat : 42904 (fscip) S 42898 42901 42201 0 -1 1077936192 145 0 0 0 1 2 0 0 20 0 3 0 5666579 2868686848 684346 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
Current children cumulated CPU time: 3582.95 s
Current children cumulated vsize: 2801452 KiB
Current children cumulated memory: 2737384 KiB
[startup+3600.1 s]
/proc/loadavg: 1.23 2.67 3.52 2/234 44835
/proc/meminfo: memFree=126865092/131524600 swapFree=131071996/131071996
[pid=42901] ppid=42898 vsize=2765592 memory=2698076 CPUtime=3583.05 cores=0,2
/proc/42901/stat : 42901 (fscip) S 42898 42901 42201 0 -1 1077936128 2235940 0 0 0 357779 526 0 0 20 0 3 0 5666391 2831966208 675031 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
/proc/42901/statm: 691398 675031 3014 3035 0 680310 0
[pid=42901/tid=42903] ppid=42898 vsize=2765592 memory=2739352 CPUtime=3580.97 cores=0,2
/proc/42901/task/42903/stat : 42903 (fscip) R 42898 42901 42201 0 -1 4194368 2228261 0 0 0 357577 520 0 0 20 0 3 0 5666578 2831966208 674519 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
[pid=42901/tid=42904] ppid=42898 vsize=2765592 memory=2742680 CPUtime=0.03 cores=0,2
/proc/42901/task/42904/stat : 42904 (fscip) S 42898 42901 42201 0 -1 1077936192 145 0 0 0 1 2 0 0 20 0 3 0 5666579 2831966208 674519 134679101440 4194304 16623229 140732205477344 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46161920 140732205483034 140732205483150 140732205483150 140732205490160 0
Current children cumulated CPU time: 3583.05 s
Current children cumulated vsize: 2765592 KiB
Current children cumulated memory: 2698076 KiB
Child status: 0
Real time (s): 3600.17
CPU time (s): 3583.13
CPU user time (s): 3577.8
CPU system time (s): 5.32778
CPU usage (%): 99.5265
Max. virtual memory (cumulated for all children) (KiB): 2806956
Max. memory (cumulated for all children) (KiB): 2742680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.8
system time used= 5.32778
maximum resident set size= 2742680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2236632
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= 10776
involuntary context switches= 28409
# summary of solver processes directly reported to runsolver:
# pid: 42901
# total CPU time (s): 3583.13
# total CPU user time (s): 3577.8
# total CPU system time (s): 5.32778
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.99199 second user time and 15.0487 second system time
The end
Begin job on nodeC030 at 2024-07-31 03:50:45
IDJOB=4464740
IDBENCH=177064
IDSOLVER=3092
FILE ID=nodeC030/4464740-1722390645
RUNJOBID= nodeC030-1722390441-42211
SLURM_JOB_ID= 8249879
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/unit/normalized-evencolouring_opt_unit_random6regular_nvert_851.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-4464740-1722390645/watcher-4464740-1722390645 -o /tmp/evaluation-result-4464740-1722390645/solver-4464740-1722390645 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722390441-42211 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464740-1722390645.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ba8924c6fd2f4f3fa72c657b376a3f30
RANDOM SEED=823451894
nodeC030.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 : 3669.704
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 : 7000.60
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 : 3682.826
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 : 7006.48
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 : 3654.474
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 : 7000.60
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 : 3600.615
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 : 7006.48
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 : 3663.602
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 : 7000.60
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 : 3682.892
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 : 7006.48
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 : 3601.978
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 : 7000.60
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.585
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 : 7006.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128643016 kB
MemAvailable: 129040572 kB
Buffers: 106684 kB
Cached: 1124684 kB
SwapCached: 0 kB
Active: 278368 kB
Inactive: 2119012 kB
Active(anon): 1556 kB
Inactive(anon): 1185776 kB
Active(file): 276812 kB
Inactive(file): 933236 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28360 kB
Writeback: 20 kB
AnonPages: 1163436 kB
Mapped: 124788 kB
Shmem: 21328 kB
KReclaimable: 54664 kB
Slab: 136980 kB
SReclaimable: 54664 kB
SUnreclaim: 82316 kB
KernelStack: 4096 kB
PageTables: 11204 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 911068 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9504 kB
HardwareCorrupted: 0 kB
AnonHugePages: 391168 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: 221908 kB
DirectMap2M: 6891520 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC030 at 2024-07-31 04:50:45