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.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 27422720, getVmSize() = 27422720, SCIPgetMemUsed() = 3437778, SCIPgetMemTotal() = 5886266, SCIPgetMemExternEstim() = 1377493
0.00/0.00 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.03 c ** Estimated virtualMemUsedAtSolver = 21819392, getVmSize() = 38035456, SCIPgetMemUsed() = 9651399, SCIPgetMemTotal() = 15232151, SCIPgetMemExternEstim() = 1377493
0.00/0.03 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.03 c Original Problem :
0.00/0.03 c Problem name : instance-4464751-1722390774
0.00/0.03 c Variables : 1056 (1056 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.03 c Constraints : 488
0.00/0.03 c Objective sense : minimize
0.00/0.03 c Presolved Problem :
0.00/0.03 c Variables : 800 (800 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.03 c Constraints : 696
0.00/0.03 c Constraints : Number
0.00/0.03 c setppc : 280
0.00/0.03 c logicor : 416
0.00/0.03 c ** Instance transfer method used: 0
0.00/0.03 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.03 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.03 c Nodes Active
0.00/0.03 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.00/0.05 c * 0 0 1 1 -24.0000 - -
0.00/0.07 c * 0 0 1 1 -28.0000 - -
0.09/0.18 c * 0 0 1 1 -29.0000 - -
0.19/0.25 c * 0 0 1 1 -31.0000 - -
5.71/5.83 c * 6 164 163 1 -32.0000 -40.0000 25.00%
5.71/5.83 c 6 164 163 1 -32.0000 -40.0000 25.00%
10.87/11.09 c 11 722 719 1 -32.0000 -40.0000 25.00%
15.93/16.15 c 16 1468 1461 1 -32.0000 -40.0000 25.00%
21.02/21.27 c 21 1873 1866 1 -32.0000 -40.0000 25.00%
26.10/26.36 c 26 2360 2350 1 -32.0000 -40.0000 25.00%
31.19/31.45 c 31 2913 2901 1 -32.0000 -40.0000 25.00%
36.27/36.57 c 37 3577 3561 1 -32.0000 -40.0000 25.00%
41.37/41.68 c 42 4228 4208 1 -32.0000 -40.0000 25.00%
46.45/46.78 c 47 4921 4899 1 -32.0000 -40.0000 25.00%
51.54/51.83 c 52 5615 5591 1 -32.0000 -40.0000 25.00%
57.02/57.33 c 57 6483 6457 1 -32.0000 -39.9375 24.80%
62.01/62.38 c 62 7167 7133 1 -32.0000 -39.9375 24.80%
67.10/67.42 c 67 7935 7891 1 -32.0000 -39.9375 24.80%
72.08/72.49 c 72 8629 8569 1 -32.0000 -39.9375 24.80%
77.17/77.59 c 78 9260 9177 1 -32.0000 -39.9375 24.80%
82.26/82.66 c 83 9922 9817 1 -32.0000 -39.9375 24.80%
87.35/87.74 c 88 10585 10453 1 -32.0000 -39.9375 24.80%
92.43/92.80 c 93 11288 11127 1 -32.0000 -39.9375 24.80%
97.42/97.87 c 98 11993 11812 1 -32.0000 -39.9375 24.80%
102.51/102.95 c 103 12724 12512 1 -32.0000 -39.9375 24.80%
107.59/108.03 c 108 13488 13244 1 -32.0000 -39.9375 24.80%
112.68/113.17 c 113 14244 13949 1 -32.0000 -39.9375 24.80%
117.76/118.24 c 118 15247 14876 1 -32.0000 -39.9375 24.80%
122.85/123.36 c 123 16161 15732 1 -32.0000 -39.9375 24.80%
127.94/128.41 c 128 17063 16587 1 -32.0000 -39.9375 24.80%
132.93/133.46 c 133 17994 17467 1 -32.0000 -39.9375 24.80%
138.01/138.53 c 139 19035 18391 1 -32.0000 -39.9375 24.80%
143.09/143.62 c 144 20151 19390 1 -32.0000 -39.9375 24.80%
148.08/148.67 c 149 21100 20248 1 -32.0000 -39.9375 24.80%
153.17/153.74 c 154 22082 21135 1 -32.0000 -39.9375 24.80%
158.26/158.80 c 159 23114 22087 1 -32.0000 -39.9375 24.80%
163.24/163.89 c 164 24237 23145 1 -32.0000 -39.9375 24.80%
168.33/168.97 c 169 25343 24157 1 -32.0000 -39.9375 24.80%
173.42/174.03 c 174 26389 25129 1 -32.0000 -39.9375 24.80%
178.51/179.11 c 179 27422 26112 1 -32.0000 -39.9375 24.80%
183.49/184.19 c 184 28441 27049 1 -32.0000 -39.9375 24.80%
188.56/189.26 c 189 29602 28114 1 -32.0000 -39.9375 24.80%
194.15/194.86 c 195 30790 29192 1 -32.0000 -39.9375 24.80%
199.33/200.03 c 200 32012 30309 1 -32.0000 -39.9375 24.80%
205.01/205.73 c 206 33271 31465 1 -32.0000 -39.8667 24.58%
210.00/210.78 c 211 34427 32557 1 -32.0000 -39.8667 24.58%
215.08/215.84 c 216 35715 33706 1 -32.0000 -39.8667 24.58%
220.16/220.91 c 221 36970 34842 1 -32.0000 -39.8667 24.58%
225.15/225.99 c 226 38184 35990 1 -32.0000 -39.8667 24.58%
230.24/231.05 c 231 39554 37300 1 -32.0000 -39.8667 24.58%
235.32/236.11 c 236 41018 38636 1 -32.0000 -39.8667 24.58%
240.40/241.20 c 241 42245 39771 1 -32.0000 -39.8667 24.58%
245.39/246.26 c 246 43642 41075 1 -32.0000 -39.8667 24.58%
250.47/251.30 c 251 45003 42285 1 -32.0000 -39.8667 24.58%
255.45/256.38 c 256 46248 43410 1 -32.0000 -39.8667 24.58%
260.54/261.43 c 261 47545 44610 1 -32.0000 -39.8667 24.58%
265.53/266.49 c 266 48901 45844 1 -32.0000 -39.8667 24.58%
270.72/271.64 c 272 50209 47083 1 -32.0000 -39.8667 24.58%
275.80/276.71 c 277 51519 48285 1 -32.0000 -39.8667 24.58%
280.79/281.77 c 282 52723 49415 1 -32.0000 -39.8667 24.58%
285.87/286.86 c 287 53952 50553 1 -32.0000 -39.8667 24.58%
290.96/291.92 c 292 55355 51876 1 -32.0000 -39.8667 24.58%
296.05/297.01 c 297 56842 53285 1 -32.0000 -39.8667 24.58%
301.14/302.12 c 302 58045 54392 1 -32.0000 -39.8667 24.58%
306.13/307.19 c 307 59396 55657 1 -32.0000 -39.8667 24.58%
311.21/312.26 c 312 60685 56848 1 -32.0000 -39.8667 24.58%
316.29/317.35 c 317 61859 57909 1 -32.0000 -39.8667 24.58%
321.39/322.43 c 322 63202 59188 1 -32.0000 -39.8667 24.58%
326.37/327.47 c 327 64439 60375 1 -32.0000 -39.8667 24.58%
331.45/332.55 c 333 65741 61619 1 -32.0000 -39.8667 24.58%
336.54/337.61 c 338 67113 62871 1 -32.0000 -39.8667 24.58%
341.53/342.68 c 343 68388 64064 1 -32.0000 -39.8667 24.58%
346.61/347.74 c 348 69623 65208 1 -32.0000 -39.8667 24.58%
351.61/352.79 c 353 70932 66408 1 -32.0000 -39.8667 24.58%
356.69/357.89 c 358 72125 67503 1 -32.0000 -39.8667 24.58%
361.78/362.96 c 363 73430 68700 1 -32.0000 -39.8667 24.58%
366.87/368.07 c 368 74527 69721 1 -32.0000 -39.8667 24.58%
371.95/373.17 c 373 75722 70866 1 -32.0000 -39.8667 24.58%
377.03/378.27 c 378 76929 72014 1 -32.0000 -39.8667 24.58%
382.12/383.33 c 383 78174 73164 1 -32.0000 -39.8667 24.58%
387.21/388.40 c 388 79501 74377 1 -32.0000 -39.8667 24.58%
392.19/393.48 c 393 80665 75463 1 -32.0000 -39.8667 24.58%
397.28/398.53 c 399 81965 76662 1 -32.0000 -39.8667 24.58%
402.96/404.22 c 404 83601 78202 1 -32.0000 -39.8667 24.58%
407.95/409.27 c 409 84900 79433 1 -32.0000 -39.8667 24.58%
413.04/414.32 c 414 86092 80553 1 -32.0000 -39.8667 24.58%
418.02/419.37 c 419 87492 81773 1 -32.0000 -39.8667 24.58%
423.12/424.44 c 424 88722 82905 1 -32.0000 -39.8667 24.58%
428.20/429.50 c 430 90111 84170 1 -32.0000 -39.8667 24.58%
433.18/434.55 c 435 91520 85451 1 -32.0000 -39.8667 24.58%
438.27/439.62 c 440 92830 86576 1 -32.0000 -39.8667 24.58%
443.36/444.71 c 445 94310 87831 1 -32.0000 -39.8667 24.58%
448.34/449.79 c 450 95713 89080 1 -32.0000 -39.8667 24.58%
453.43/454.87 c 455 96922 90155 1 -32.0000 -39.8667 24.58%
458.52/459.96 c 460 98177 91302 1 -32.0000 -39.8667 24.58%
463.60/465.01 c 465 99355 92422 1 -32.0000 -39.8667 24.58%
468.70/470.11 c 470 100637 93586 1 -32.0000 -39.8667 24.58%
473.68/475.18 c 475 101878 94723 1 -32.0000 -39.8667 24.58%
478.76/480.23 c 480 103091 95840 1 -32.0000 -39.8667 24.58%
483.85/485.36 c 485 104755 97316 1 -32.0000 -39.8667 24.58%
488.93/490.46 c 490 106185 98604 1 -32.0000 -39.8667 24.58%
494.02/495.51 c 496 107423 99737 1 -32.0000 -39.8667 24.58%
499.00/500.56 c 501 108703 100888 1 -32.0000 -39.8667 24.58%
504.10/505.64 c 506 110041 102093 1 -32.0000 -39.8667 24.58%
509.08/510.69 c 511 111166 103030 1 -32.0000 -39.8667 24.58%
514.17/515.78 c 516 112445 104144 1 -32.0000 -39.8667 24.58%
519.25/520.83 c 521 113601 105164 1 -32.0000 -39.8667 24.58%
524.24/525.88 c 526 114739 106194 1 -32.0000 -39.8667 24.58%
529.33/530.96 c 531 115945 107257 1 -32.0000 -39.8667 24.58%
534.42/536.02 c 536 117132 108370 1 -32.0000 -39.8667 24.58%
539.41/541.02 c 541 118482 109582 1 -32.0000 -39.8202 24.44%
545.09/546.75 c 547 120072 110980 1 -32.0000 -39.7857 24.33%
550.48/552.13 c 552 120573 249 1 -32.0000 -39.7857 24.33%
555.56/557.21 c 557 121960 1526 1 -32.0000 -39.7857 24.33%
560.74/562.42 c 562 123482 2935 1 -32.0000 -39.7857 24.33%
565.73/567.48 c 567 124842 4248 1 -32.0000 -39.7857 24.33%
570.82/572.58 c 573 125861 5220 1 -32.0000 -39.7857 24.33%
575.90/577.68 c 578 126946 6217 1 -32.0000 -39.7857 24.33%
580.99/582.74 c 583 128091 7249 1 -32.0000 -39.7857 24.33%
585.97/587.79 c 588 129359 8369 1 -32.0000 -39.7857 24.33%
591.07/592.84 c 593 130403 9395 1 -32.0000 -39.7857 24.33%
596.15/597.90 c 598 131477 10434 1 -32.0000 -39.7857 24.33%
601.25/603.00 c 603 132650 11574 1 -32.0000 -39.7857 24.33%
606.23/608.05 c 608 133861 12759 1 -32.0000 -39.7857 24.33%
611.22/613.10 c 613 135153 14029 1 -32.0000 -39.7857 24.33%
616.40/618.20 c 618 136453 15291 1 -32.0000 -39.7857 24.33%
621.58/623.49 c 624 137761 16571 1 -32.0000 -39.7857 24.33%
626.68/628.55 c 629 138970 17742 1 -32.0000 -39.7857 24.33%
632.06/633.91 c 634 140419 19161 1 -32.0000 -39.7850 24.33%
637.75/639.68 c 640 141959 20650 1 -32.0000 -39.6923 24.04%
642.83/644.72 c 645 143230 21907 1 -32.0000 -39.6923 24.04%
647.82/649.79 c 650 144559 23220 1 -32.0000 -39.6923 24.04%
652.90/654.87 c 655 145728 24377 1 -32.0000 -39.6923 24.04%
657.99/659.94 c 660 147082 25711 1 -32.0000 -39.6923 24.04%
663.09/665.01 c 665 148379 26986 1 -32.0000 -39.6923 24.04%
668.07/670.07 c 670 149886 28479 1 -32.0000 -39.6923 24.04%
673.16/675.12 c 675 151247 29811 1 -32.0000 -39.6923 24.04%
678.14/680.17 c 680 152541 31075 1 -32.0000 -39.6923 24.04%
683.23/685.24 c 685 153832 32348 1 -32.0000 -39.6923 24.04%
688.21/690.29 c 690 155061 33553 1 -32.0000 -39.6923 24.04%
693.30/695.36 c 695 156450 34916 1 -32.0000 -39.6923 24.04%
698.39/700.41 c 700 157843 36275 1 -32.0000 -39.6923 24.04%
703.37/705.47 c 705 159161 37551 1 -32.0000 -39.6923 24.04%
708.46/710.54 c 711 160355 38721 1 -32.0000 -39.6923 24.04%
713.54/715.60 c 716 161562 39913 1 -32.0000 -39.6923 24.04%
718.53/720.65 c 721 162776 41105 1 -32.0000 -39.6923 24.04%
723.52/725.68 c 726 163875 42196 1 -32.0000 -39.6923 24.04%
728.60/730.76 c 731 165259 43544 1 -32.0000 -39.6923 24.04%
733.70/735.88 c 736 166512 44777 1 -32.0000 -39.6923 24.04%
738.78/740.97 c 741 167872 46107 1 -32.0000 -39.6923 24.04%
744.46/746.69 c 747 169374 47565 1 -32.0000 -39.6923 24.04%
750.15/752.30 c 752 170712 48875 1 -32.0000 -39.6923 24.04%
755.43/757.67 c 758 172069 50206 1 -32.0000 -39.6923 24.04%
760.42/762.68 c 763 173399 51494 1 -32.0000 -39.6923 24.04%
765.91/768.11 c 768 174889 52948 1 -32.0000 -39.6621 23.94%
771.29/773.50 c 774 176449 54426 1 -32.0000 -39.5833 23.70%
776.89/779.18 c 779 178152 56057 1 -32.0000 -39.5833 23.70%
782.26/784.55 c 785 179732 57529 1 -32.0000 -39.5833 23.70%
787.35/789.60 c 790 181244 58955 1 -32.0000 -39.5833 23.70%
792.33/794.66 c 795 182801 60398 1 -32.0000 -39.5833 23.70%
797.42/799.71 c 800 184321 61816 1 -32.0000 -39.5833 23.70%
802.40/804.76 c 805 185809 63210 1 -32.0000 -39.5833 23.70%
807.48/809.84 c 810 187292 64570 1 -32.0000 -39.5833 23.70%
812.56/814.90 c 815 188929 66087 1 -32.0000 -39.5833 23.70%
817.55/819.95 c 820 190586 67644 1 -32.0000 -39.5833 23.70%
822.63/825.02 c 825 192129 69087 1 -32.0000 -39.5833 23.70%
827.62/830.07 c 830 193668 70514 1 -32.0000 -39.5833 23.70%
832.71/835.12 c 835 195208 71962 1 -32.0000 -39.5833 23.70%
837.69/840.19 c 840 196761 73375 1 -32.0000 -39.5833 23.70%
842.77/845.23 c 845 198282 74784 1 -32.0000 -39.5833 23.70%
847.76/850.28 c 850 199852 76264 1 -32.0000 -39.5833 23.70%
852.85/855.34 c 855 201281 77575 1 -32.0000 -39.5833 23.70%
857.93/860.40 c 860 202729 78923 1 -32.0000 -39.5833 23.70%
862.92/865.46 c 865 204274 80316 1 -32.0000 -39.5833 23.70%
868.01/870.52 c 871 205763 81647 1 -32.0000 -39.5833 23.70%
873.00/875.56 c 876 207314 83038 1 -32.0000 -39.5833 23.70%
878.08/880.64 c 881 208902 84458 1 -32.0000 -39.5833 23.70%
883.17/885.70 c 886 210452 85834 1 -32.0000 -39.5833 23.70%
888.16/890.75 c 891 211854 87128 1 -32.0000 -39.5833 23.70%
893.74/896.30 c 896 213422 88578 1 -32.0000 -39.5833 23.70%
898.73/901.36 c 901 214741 89776 1 -32.0000 -39.5833 23.70%
903.81/906.42 c 906 216156 91071 1 -32.0000 -39.5833 23.70%
908.80/911.46 c 911 217618 92399 1 -32.0000 -39.5833 23.70%
913.89/916.52 c 917 218927 93562 1 -32.0000 -39.5833 23.70%
918.98/921.63 c 922 220329 94860 1 -32.0000 -39.5833 23.70%
923.96/926.69 c 927 221652 96065 1 -32.0000 -39.5833 23.70%
929.05/931.74 c 932 223016 97296 1 -32.0000 -39.5833 23.70%
934.13/936.80 c 937 224264 98394 1 -32.0000 -39.5833 23.70%
939.13/941.86 c 942 225595 99597 1 -32.0000 -39.5833 23.70%
944.21/946.92 c 947 226920 100790 1 -32.0000 -39.5833 23.70%
949.20/951.98 c 952 228164 101876 1 -32.0000 -39.5833 23.70%
954.29/957.03 c 957 229372 102950 1 -32.0000 -39.5833 23.70%
959.28/962.08 c 962 230666 104103 1 -32.0000 -39.5833 23.70%
964.36/967.15 c 967 231936 105259 1 -32.0000 -39.5833 23.70%
969.44/972.21 c 972 233191 106392 1 -32.0000 -39.5833 23.70%
974.43/977.27 c 977 234560 107613 1 -32.0000 -39.5833 23.70%
979.52/982.34 c 982 235773 108714 1 -32.0000 -39.5833 23.70%
984.61/987.40 c 987 236936 109687 1 -32.0000 -39.5833 23.70%
989.60/992.46 c 992 238194 110785 1 -32.0000 -39.5833 23.70%
994.68/997.56 c 998 239497 111890 1 -32.0000 -39.5833 23.70%
999.77/1002.61 c 1003 240843 113078 1 -32.0000 -39.5833 23.70%
1004.76/1007.66 c 1008 242172 114223 1 -32.0000 -39.5833 23.70%
1009.85/1012.71 c 1013 243441 115354 1 -32.0000 -39.5833 23.70%
1014.83/1017.79 c 1018 244732 116483 1 -32.0000 -39.5833 23.70%
1019.92/1022.87 c 1023 245920 117543 1 -32.0000 -39.5833 23.70%
1025.00/1027.94 c 1028 247089 118522 1 -32.0000 -39.5833 23.70%
1029.99/1032.99 c 1033 248347 119638 1 -32.0000 -39.5833 23.70%
1035.09/1038.05 c 1038 249546 120682 1 -32.0000 -39.5833 23.70%
1040.17/1043.11 c 1043 250764 121697 1 -32.0000 -39.5833 23.70%
1045.16/1048.18 c 1048 251955 122714 1 -32.0000 -39.5833 23.70%
1050.24/1053.26 c 1053 253202 123797 1 -32.0000 -39.5833 23.70%
1055.33/1058.33 c 1058 254350 124797 1 -32.0000 -39.5833 23.70%
1060.31/1063.39 c 1063 255464 125799 1 -32.0000 -39.5833 23.70%
1065.40/1068.46 c 1068 256677 126827 1 -32.0000 -39.5833 23.70%
1070.48/1073.54 c 1074 257812 127835 1 -32.0000 -39.5833 23.70%
1075.58/1078.61 c 1079 258974 128861 1 -32.0000 -39.5833 23.70%
1080.56/1083.66 c 1084 259998 129767 1 -32.0000 -39.5833 23.70%
1085.65/1088.75 c 1089 261145 130774 1 -32.0000 -39.5833 23.70%
1090.74/1093.84 c 1094 262375 131848 1 -32.0000 -39.5833 23.70%
1095.82/1098.93 c 1099 263499 132788 1 -32.0000 -39.5833 23.70%
1100.81/1103.98 c 1104 264631 133808 1 -32.0000 -39.5833 23.70%
1105.90/1109.05 c 1109 265729 134750 1 -32.0000 -39.5833 23.70%
1110.99/1114.12 c 1114 266849 135704 1 -32.0000 -39.5833 23.70%
1115.98/1119.18 c 1119 267885 136568 1 -32.0000 -39.5833 23.70%
1121.06/1124.26 c 1124 268947 137466 1 -32.0000 -39.5833 23.70%
1126.14/1129.36 c 1129 270142 138473 1 -32.0000 -39.5833 23.70%
1131.23/1134.47 c 1134 271072 139233 1 -32.0000 -39.5833 23.70%
1136.32/1139.54 c 1140 272141 140154 1 -32.0000 -39.5833 23.70%
1141.40/1144.62 c 1145 273317 141166 1 -32.0000 -39.5833 23.70%
1146.40/1149.68 c 1150 274396 142049 1 -32.0000 -39.5833 23.70%
1151.48/1154.73 c 1155 275411 142894 1 -32.0000 -39.5833 23.70%
1156.56/1159.81 c 1160 276607 143904 1 -32.0000 -39.5833 23.70%
1161.66/1164.91 c 1165 277662 144815 1 -32.0000 -39.5833 23.70%
1166.64/1169.99 c 1170 278700 145711 1 -32.0000 -39.5833 23.70%
1171.73/1175.07 c 1175 279671 146548 1 -32.0000 -39.5833 23.70%
1176.82/1180.16 c 1180 280717 147400 1 -32.0000 -39.5833 23.70%
1181.90/1185.21 c 1185 281843 148389 1 -32.0000 -39.5833 23.70%
1186.89/1190.28 c 1190 282986 149430 1 -32.0000 -39.5833 23.70%
1191.98/1195.37 c 1195 284105 150485 1 -32.0000 -39.5833 23.70%
1197.07/1200.48 c 1200 285139 151401 1 -32.0000 -39.5833 23.70%
1202.15/1205.55 c 1206 286135 152249 1 -32.0000 -39.5833 23.70%
1207.14/1210.59 c 1211 287194 153146 1 -32.0000 -39.5833 23.70%
1212.23/1215.66 c 1216 288149 153939 1 -32.0000 -39.5833 23.70%
1217.32/1220.74 c 1221 289120 154800 1 -32.0000 -39.5833 23.70%
1222.40/1225.80 c 1226 290302 155790 1 -32.0000 -39.5833 23.70%
1227.39/1230.86 c 1231 291386 156718 1 -32.0000 -39.5833 23.70%
1232.47/1235.93 c 1236 292351 157615 1 -32.0000 -39.5833 23.70%
1237.57/1241.03 c 1241 293362 158508 1 -32.0000 -39.5833 23.70%
1242.65/1246.12 c 1246 294298 159290 1 -32.0000 -39.5833 23.70%
1247.73/1251.21 c 1251 295311 160171 1 -32.0000 -39.5833 23.70%
1252.83/1256.37 c 1256 296134 160838 1 -32.0000 -39.5833 23.70%
1257.91/1261.44 c 1261 297159 161695 1 -32.0000 -39.5833 23.70%
1263.00/1266.53 c 1267 298019 162441 1 -32.0000 -39.5833 23.70%
1267.98/1271.60 c 1272 298902 163204 1 -32.0000 -39.5833 23.70%
1273.07/1276.65 c 1277 299908 164040 1 -32.0000 -39.5833 23.70%
1278.16/1281.72 c 1282 300822 164842 1 -32.0000 -39.5833 23.70%
1283.14/1286.78 c 1287 301809 165699 1 -32.0000 -39.5833 23.70%
1288.23/1291.86 c 1292 302700 166504 1 -32.0000 -39.5833 23.70%
1293.32/1296.93 c 1297 303672 167316 1 -32.0000 -39.5833 23.70%
1298.30/1301.99 c 1302 304596 168106 1 -32.0000 -39.5833 23.70%
1303.40/1307.07 c 1307 305509 168869 1 -32.0000 -39.5833 23.70%
1308.48/1312.12 c 1312 306463 169695 1 -32.0000 -39.5833 23.70%
1313.57/1317.23 c 1317 307393 170515 1 -32.0000 -39.5833 23.70%
1318.55/1322.28 c 1322 308352 171324 1 -32.0000 -39.5833 23.70%
1323.64/1327.39 c 1327 309287 172121 1 -32.0000 -39.5833 23.70%
1328.73/1332.46 c 1332 310269 172977 1 -32.0000 -39.5833 23.70%
1333.81/1337.59 c 1338 311058 173612 1 -32.0000 -39.5833 23.70%
1338.90/1342.69 c 1343 312024 174436 1 -32.0000 -39.5833 23.70%
1343.98/1347.79 c 1348 312881 175119 1 -32.0000 -39.5833 23.70%
1349.07/1352.85 c 1353 313722 175776 1 -32.0000 -39.5833 23.70%
1354.16/1357.91 c 1358 314579 176553 1 -32.0000 -39.5833 23.70%
1359.35/1363.18 c 1363 315431 177349 1 -32.0000 -39.5833 23.70%
1364.44/1368.25 c 1368 316284 178072 1 -32.0000 -39.5833 23.70%
1369.52/1373.34 c 1373 317065 178685 1 -32.0000 -39.5833 23.70%
1374.61/1378.43 c 1378 317892 179430 1 -32.0000 -39.5833 23.70%
1379.60/1383.49 c 1384 318736 180152 1 -32.0000 -39.5833 23.70%
1384.68/1388.55 c 1389 319550 180848 1 -32.0000 -39.5833 23.70%
1389.77/1393.61 c 1394 320285 181465 1 -32.0000 -39.5833 23.70%
1394.86/1398.73 c 1399 321077 182109 1 -32.0000 -39.5833 23.70%
1399.95/1403.85 c 1404 321916 182820 1 -32.0000 -39.5833 23.70%
1405.03/1408.94 c 1409 322808 183622 1 -32.0000 -39.5833 23.70%
1410.13/1414.04 c 1414 323673 184409 1 -32.0000 -39.5833 23.70%
1415.31/1419.23 c 1419 324455 185075 1 -32.0000 -39.5833 23.70%
1420.40/1424.32 c 1424 325244 185754 1 -32.0000 -39.5833 23.70%
1425.38/1429.37 c 1429 326141 186531 1 -32.0000 -39.5833 23.70%
1430.47/1434.48 c 1434 326872 187112 1 -32.0000 -39.5833 23.70%
1435.56/1439.55 c 1440 327667 187814 1 -32.0000 -39.5833 23.70%
1441.34/1445.37 c 1445 328656 188663 1 -32.0000 -39.5833 23.70%
1446.43/1450.46 c 1450 329518 189373 1 -32.0000 -39.5833 23.70%
1451.51/1455.51 c 1456 330296 190029 1 -32.0000 -39.5833 23.70%
1456.59/1460.61 c 1461 331066 190609 1 -32.0000 -39.5833 23.70%
1461.88/1465.98 c 1466 332078 191493 1 -32.0000 -39.5833 23.70%
1466.97/1471.08 c 1471 332931 192272 1 -32.0000 -39.5833 23.70%
1472.15/1476.29 c 1476 333882 193121 1 -32.0000 -39.5833 23.70%
1477.24/1481.37 c 1481 334732 193837 1 -32.0000 -39.5833 23.70%
1482.92/1487.02 c 1487 335678 194629 1 -32.0000 -39.5833 23.70%
1488.00/1492.18 c 1492 336592 195397 1 -32.0000 -39.5833 23.70%
1493.09/1497.29 c 1497 337546 196211 1 -32.0000 -39.5833 23.70%
1498.27/1502.42 c 1502 338519 197038 1 -32.0000 -39.5833 23.70%
1503.36/1507.55 c 1508 339509 197846 1 -32.0000 -39.5833 23.70%
1508.45/1512.65 c 1513 340513 198700 1 -32.0000 -39.5833 23.70%
1513.64/1517.87 c 1518 341530 199503 1 -32.0000 -39.5833 23.70%
1519.62/1523.82 c 1524 342558 200313 1 -32.0000 -39.5833 23.70%
1525.50/1529.78 c 1530 343792 201347 1 -32.0000 -39.5833 23.70%
1531.30/1535.50 c 1536 344769 202180 1 -32.0000 -39.5800 23.69%
1536.28/1540.53 c 1541 345689 202948 1 -32.0000 -39.5678 23.65%
1541.37/1545.62 c 1546 346599 203662 1 -32.0000 -39.5317 23.54%
1546.35/1550.64 c 1551 347499 204400 1 -32.0000 -39.5020 23.44%
1551.55/1555.88 c 1556 348469 205244 1 -32.0000 -39.4833 23.39%
1556.84/1561.12 c 1561 349529 206102 1 -32.0000 -39.4545 23.30%
1562.73/1567.02 c 1567 350735 207124 1 -32.0000 -39.4545 23.30%
1567.81/1572.13 c 1572 351532 207751 1 -32.0000 -39.4545 23.30%
1572.80/1577.19 c 1577 352371 208384 1 -32.0000 -39.4545 23.30%
1578.47/1582.83 c 1583 353502 209325 1 -32.0000 -39.4545 23.30%
1583.56/1587.93 c 1588 354380 210015 1 -32.0000 -39.4545 23.30%
1588.55/1592.99 c 1593 355307 210812 1 -32.0000 -39.4545 23.30%
1593.64/1598.05 c 1598 356305 211660 1 -32.0000 -39.4545 23.30%
1598.73/1603.11 c 1603 357406 212629 1 -32.0000 -39.4545 23.30%
1603.71/1608.19 c 1608 358483 213560 1 -32.0000 -39.4545 23.30%
1608.79/1613.25 c 1613 359548 214523 1 -32.0000 -39.4545 23.30%
1613.78/1618.29 c 1618 360484 215307 1 -32.0000 -39.4545 23.30%
1618.98/1623.48 c 1623 361533 216242 1 -32.0000 -39.4545 23.30%
1624.06/1628.56 c 1629 362570 217153 1 -32.0000 -39.4545 23.30%
1629.15/1633.63 c 1634 363555 218002 1 -32.0000 -39.4545 23.30%
1634.13/1638.69 c 1639 364522 218847 1 -32.0000 -39.4545 23.30%
1639.23/1643.75 c 1644 365576 219765 1 -32.0000 -39.4545 23.30%
1644.31/1648.86 c 1649 366565 220590 1 -32.0000 -39.4545 23.30%
1649.40/1653.93 c 1654 367561 221418 1 -32.0000 -39.4545 23.30%
1654.39/1658.98 c 1659 368691 222406 1 -32.0000 -39.4545 23.30%
1659.48/1664.03 c 1664 369785 223332 1 -32.0000 -39.4545 23.30%
1664.56/1669.12 c 1669 371103 224538 1 -32.0000 -39.4545 23.30%
1669.56/1674.18 c 1674 372296 225587 1 -32.0000 -39.4545 23.30%
1674.64/1679.27 c 1679 373511 226622 1 -32.0000 -39.4545 23.30%
1679.72/1684.33 c 1684 374598 227535 1 -32.0000 -39.4545 23.30%
1684.82/1689.43 c 1689 375611 228402 1 -32.0000 -39.4545 23.30%
1689.90/1694.50 c 1695 376592 229239 1 -32.0000 -39.4545 23.30%
1694.89/1699.58 c 1700 377588 230095 1 -32.0000 -39.4545 23.30%
1699.98/1704.63 c 1705 378569 230926 1 -32.0000 -39.4545 23.30%
1704.96/1709.68 c 1710 379462 231701 1 -32.0000 -39.4545 23.30%
1710.05/1714.74 c 1715 380586 232667 1 -32.0000 -39.4545 23.30%
1715.14/1719.82 c 1720 381559 233508 1 -32.0000 -39.4545 23.30%
1720.23/1724.90 c 1725 382478 234279 1 -32.0000 -39.4545 23.30%
1725.21/1729.96 c 1730 383772 235419 1 -32.0000 -39.4545 23.30%
1730.30/1735.05 c 1735 384813 236296 1 -32.0000 -39.4545 23.30%
1735.39/1740.11 c 1740 385862 237273 1 -32.0000 -39.4545 23.30%
1740.38/1745.18 c 1745 386888 238161 1 -32.0000 -39.4545 23.30%
1745.46/1750.23 c 1750 388027 239188 1 -32.0000 -39.4545 23.30%
1750.45/1755.29 c 1755 389093 240082 1 -32.0000 -39.4545 23.30%
1755.53/1760.38 c 1760 390017 240839 1 -32.0000 -39.4545 23.30%
1760.63/1765.44 c 1765 390906 241564 1 -32.0000 -39.4545 23.30%
1765.71/1770.52 c 1771 391793 242303 1 -32.0000 -39.4545 23.30%
1770.80/1775.62 c 1776 392839 243233 1 -32.0000 -39.4545 23.30%
1775.89/1780.72 c 1781 393879 244069 1 -32.0000 -39.4545 23.30%
1780.97/1785.80 c 1786 394860 244870 1 -32.0000 -39.4545 23.30%
1785.96/1790.87 c 1791 395906 245798 1 -32.0000 -39.4545 23.30%
1791.05/1795.97 c 1796 396830 246592 1 -32.0000 -39.4545 23.30%
1796.14/1801.02 c 1801 397741 247367 1 -32.0000 -39.4545 23.30%
1801.13/1806.07 c 1806 398695 248223 1 -32.0000 -39.4545 23.30%
1806.22/1811.16 c 1811 399740 249110 1 -32.0000 -39.4545 23.30%
1811.30/1816.22 c 1816 400704 249920 1 -32.0000 -39.4545 23.30%
1816.39/1821.31 c 1821 401643 250769 1 -32.0000 -39.4545 23.30%
1821.37/1826.36 c 1826 402500 251500 1 -32.0000 -39.4545 23.30%
1826.47/1831.41 c 1831 403411 252305 1 -32.0000 -39.4545 23.30%
1831.55/1836.51 c 1837 404330 253086 1 -32.0000 -39.4545 23.30%
1836.64/1841.60 c 1842 405270 253898 1 -32.0000 -39.4545 23.30%
1841.63/1846.67 c 1847 406122 254614 1 -32.0000 -39.4545 23.30%
1846.71/1851.76 c 1852 406982 255339 1 -32.0000 -39.4545 23.30%
1851.80/1856.88 c 1857 407872 256079 1 -32.0000 -39.4545 23.30%
1856.89/1861.92 c 1862 408837 256926 1 -32.0000 -39.4545 23.30%
1861.98/1867.04 c 1867 409848 257785 1 -32.0000 -39.4545 23.30%
1866.96/1872.10 c 1872 410834 258631 1 -32.0000 -39.4545 23.30%
1872.06/1877.17 c 1877 411713 259396 1 -32.0000 -39.4545 23.30%
1877.14/1882.23 c 1882 412706 260253 1 -32.0000 -39.4545 23.30%
1882.22/1887.30 c 1887 413591 260994 1 -32.0000 -39.4545 23.30%
1887.21/1892.39 c 1892 414501 261782 1 -32.0000 -39.4545 23.30%
1892.30/1897.48 c 1897 415432 262633 1 -32.0000 -39.4545 23.30%
1897.39/1902.56 c 1903 416414 263547 1 -32.0000 -39.4545 23.30%
1902.47/1907.61 c 1908 417356 264401 1 -32.0000 -39.4545 23.30%
1907.56/1912.75 c 1913 418230 265185 1 -32.0000 -39.4545 23.30%
1912.65/1917.85 c 1918 419034 265831 1 -32.0000 -39.4545 23.30%
1917.74/1922.94 c 1923 419854 266489 1 -32.0000 -39.4545 23.30%
1922.72/1927.99 c 1928 420635 267112 1 -32.0000 -39.4545 23.30%
1927.82/1933.06 c 1933 421625 267934 1 -32.0000 -39.4545 23.30%
1932.90/1938.19 c 1938 422650 268841 1 -32.0000 -39.4545 23.30%
1937.99/1943.24 c 1943 423555 269624 1 -32.0000 -39.4545 23.30%
1943.07/1948.32 c 1948 424387 270312 1 -32.0000 -39.4545 23.30%
1948.16/1953.41 c 1953 425331 271146 1 -32.0000 -39.4545 23.30%
1953.16/1958.48 c 1958 426331 271960 1 -32.0000 -39.4545 23.30%
1958.24/1963.56 c 1964 427260 272726 1 -32.0000 -39.4545 23.30%
1963.42/1968.72 c 1969 428322 273628 1 -32.0000 -39.4545 23.30%
1968.51/1973.81 c 1974 429260 274378 1 -32.0000 -39.4545 23.30%
1973.59/1978.94 c 1979 430217 275251 1 -32.0000 -39.4545 23.30%
1978.69/1984.00 c 1984 431106 276050 1 -32.0000 -39.4545 23.30%
1983.68/1989.05 c 1989 431955 276799 1 -32.0000 -39.4545 23.30%
1988.77/1994.12 c 1994 432845 277540 1 -32.0000 -39.4545 23.30%
1993.84/1999.22 c 1999 433799 278376 1 -32.0000 -39.4545 23.30%
1998.84/2004.29 c 2004 434619 279078 1 -32.0000 -39.4545 23.30%
2003.92/2009.38 c 2009 435497 279848 1 -32.0000 -39.4545 23.30%
2009.01/2014.45 c 2014 436398 280599 1 -32.0000 -39.4545 23.30%
2014.09/2019.52 c 2020 437177 281204 1 -32.0000 -39.4545 23.30%
2019.09/2024.59 c 2025 438059 282012 1 -32.0000 -39.4545 23.30%
2024.17/2029.68 c 2030 438842 282659 1 -32.0000 -39.4545 23.30%
2029.26/2034.75 c 2035 439664 283299 1 -32.0000 -39.4545 23.30%
2034.35/2039.81 c 2040 440496 283953 1 -32.0000 -39.4545 23.30%
2039.44/2044.90 c 2045 441327 284622 1 -32.0000 -39.4545 23.30%
2044.42/2049.99 c 2050 442246 285455 1 -32.0000 -39.4545 23.30%
2049.52/2055.09 c 2055 443150 286283 1 -32.0000 -39.4545 23.30%
2054.60/2060.18 c 2060 444015 287056 1 -32.0000 -39.4545 23.30%
2059.68/2065.25 c 2065 444811 287746 1 -32.0000 -39.4545 23.30%
2064.77/2070.35 c 2070 445617 288396 1 -32.0000 -39.4545 23.30%
2069.86/2075.44 c 2075 446612 289277 1 -32.0000 -39.4545 23.30%
2074.85/2080.49 c 2080 447384 289889 1 -32.0000 -39.4545 23.30%
2079.93/2085.55 c 2086 448221 290610 1 -32.0000 -39.4545 23.30%
2085.02/2090.60 c 2091 449037 291268 1 -32.0000 -39.4545 23.30%
2090.11/2095.71 c 2096 449897 292024 1 -32.0000 -39.4545 23.30%
2095.20/2100.80 c 2101 450652 292673 1 -32.0000 -39.4545 23.30%
2100.18/2105.90 c 2106 451422 293311 1 -32.0000 -39.4545 23.30%
2105.27/2110.99 c 2111 452158 293877 1 -32.0000 -39.4545 23.30%
2110.37/2116.05 c 2116 452985 294544 1 -32.0000 -39.4545 23.30%
2115.45/2121.14 c 2121 453801 295266 1 -32.0000 -39.4545 23.30%
2120.53/2126.25 c 2126 454611 295922 1 -32.0000 -39.4545 23.30%
2125.62/2131.32 c 2131 455419 296636 1 -32.0000 -39.4545 23.30%
2130.71/2136.40 c 2136 456252 297339 1 -32.0000 -39.4545 23.30%
2135.79/2141.51 c 2142 457027 297966 1 -32.0000 -39.4545 23.30%
2140.78/2146.55 c 2147 457772 298557 1 -32.0000 -39.4545 23.30%
2145.87/2151.61 c 2152 458626 299285 1 -32.0000 -39.4545 23.30%
2150.96/2156.74 c 2157 459568 300101 1 -32.0000 -39.4545 23.30%
2156.05/2161.81 c 2162 460500 300921 1 -32.0000 -39.4545 23.30%
2161.13/2166.92 c 2167 461395 301702 1 -32.0000 -39.4545 23.30%
2166.23/2172.03 c 2172 462183 302378 1 -32.0000 -39.4545 23.30%
2171.21/2177.07 c 2177 463102 303175 1 -32.0000 -39.4545 23.30%
2176.30/2182.16 c 2182 463853 303772 1 -32.0000 -39.4545 23.30%
2181.38/2187.22 c 2187 464700 304525 1 -32.0000 -39.4545 23.30%
2186.47/2192.30 c 2192 465539 305278 1 -32.0000 -39.4545 23.30%
2191.46/2197.38 c 2197 466310 305937 1 -32.0000 -39.4545 23.30%
2196.55/2202.47 c 2202 467054 306553 1 -32.0000 -39.4545 23.30%
2201.73/2207.60 c 2208 467836 307235 1 -32.0000 -39.4545 23.30%
2206.71/2212.67 c 2213 468694 307979 1 -32.0000 -39.4545 23.30%
2211.80/2217.77 c 2218 469488 308671 1 -32.0000 -39.4545 23.30%
2216.89/2222.85 c 2223 470360 309381 1 -32.0000 -39.4545 23.30%
2221.97/2227.92 c 2228 471298 310189 1 -32.0000 -39.4545 23.30%
2227.07/2233.00 c 2233 472174 310943 1 -32.0000 -39.4545 23.30%
2232.05/2238.06 c 2238 473068 311677 1 -32.0000 -39.4545 23.30%
2237.14/2243.12 c 2243 473884 312337 1 -32.0000 -39.4545 23.30%
2242.22/2248.23 c 2248 474782 313113 1 -32.0000 -39.4545 23.30%
2247.21/2253.28 c 2253 475603 313818 1 -32.0000 -39.4545 23.30%
2252.29/2258.36 c 2258 476452 314533 1 -32.0000 -39.4545 23.30%
2257.37/2263.44 c 2263 477343 315290 1 -32.0000 -39.4545 23.30%
2262.47/2268.54 c 2269 478208 316029 1 -32.0000 -39.4545 23.30%
2267.55/2273.60 c 2274 479178 316907 1 -32.0000 -39.4545 23.30%
2272.54/2278.64 c 2279 480039 317644 1 -32.0000 -39.4545 23.30%
2277.62/2283.74 c 2284 480968 318421 1 -32.0000 -39.4545 23.30%
2282.71/2288.83 c 2289 481771 319112 1 -32.0000 -39.4545 23.30%
2287.70/2293.89 c 2294 482551 319804 1 -32.0000 -39.4545 23.30%
2292.78/2298.99 c 2299 483352 320513 1 -32.0000 -39.4545 23.30%
2297.98/2304.20 c 2304 484285 321344 1 -32.0000 -39.4545 23.30%
2303.16/2309.30 c 2309 485142 322061 1 -32.0000 -39.4545 23.30%
2308.26/2314.40 c 2314 485978 322769 1 -32.0000 -39.4545 23.30%
2313.34/2319.51 c 2320 486835 323498 1 -32.0000 -39.4545 23.30%
2318.43/2324.63 c 2325 487678 324179 1 -32.0000 -39.4545 23.30%
2323.42/2329.69 c 2330 488548 324955 1 -32.0000 -39.4545 23.30%
2328.50/2334.76 c 2335 489336 325615 1 -32.0000 -39.4545 23.30%
2333.59/2339.85 c 2340 490071 326208 1 -32.0000 -39.4545 23.30%
2338.68/2344.94 c 2345 490948 326951 1 -32.0000 -39.4545 23.30%
2343.77/2350.05 c 2350 491892 327761 1 -32.0000 -39.4545 23.30%
2348.86/2355.15 c 2355 492698 328417 1 -32.0000 -39.4545 23.30%
2353.94/2360.22 c 2360 493491 329080 1 -32.0000 -39.4545 23.30%
2359.03/2365.34 c 2365 494291 329744 1 -32.0000 -39.4545 23.30%
2364.12/2370.43 c 2370 495095 330390 1 -32.0000 -39.4545 23.30%
2369.21/2375.52 c 2376 495898 331087 1 -32.0000 -39.4545 23.30%
2374.29/2380.65 c 2381 496804 331893 1 -32.0000 -39.4545 23.30%
2379.38/2385.74 c 2386 497686 332685 1 -32.0000 -39.4545 23.30%
2384.46/2390.88 c 2391 498613 333488 1 -32.0000 -39.4545 23.30%
2389.56/2395.98 c 2396 499457 334232 1 -32.0000 -39.4545 23.30%
2394.65/2401.07 c 2401 500215 334876 1 -32.0000 -39.4545 23.30%
2399.73/2406.13 c 2406 500993 335526 1 -32.0000 -39.4545 23.30%
2404.73/2411.19 c 2411 501831 336216 1 -32.0000 -39.4545 23.30%
2409.81/2416.25 c 2416 502591 336868 1 -32.0000 -39.4545 23.30%
2414.90/2421.31 c 2421 503480 337703 1 -32.0000 -39.4545 23.30%
2419.98/2426.40 c 2426 504287 338354 1 -32.0000 -39.4545 23.30%
2425.08/2431.53 c 2432 505192 339145 1 -32.0000 -39.4545 23.30%
2430.16/2436.67 c 2437 505989 339822 1 -32.0000 -39.4545 23.30%
2435.25/2441.76 c 2442 506717 340400 1 -32.0000 -39.4545 23.30%
2440.34/2446.85 c 2447 507448 341003 1 -32.0000 -39.4545 23.30%
2445.43/2451.96 c 2452 508228 341645 1 -32.0000 -39.4545 23.30%
2450.52/2457.08 c 2457 508990 342273 1 -32.0000 -39.4545 23.30%
2455.61/2462.16 c 2462 509859 343014 1 -32.0000 -39.4545 23.30%
2460.69/2467.22 c 2467 510608 343621 1 -32.0000 -39.4545 23.30%
2465.78/2472.30 c 2472 511392 344281 1 -32.0000 -39.4545 23.30%
2470.76/2477.32 c 2477 512162 344923 1 -32.0000 -39.4545 23.30%
2475.86/2482.44 c 2482 513131 345786 1 -32.0000 -39.4545 23.30%
2480.94/2487.51 c 2488 514031 346582 1 -32.0000 -39.4545 23.30%
2486.02/2492.60 c 2493 514842 347265 1 -32.0000 -39.4545 23.30%
2491.02/2497.66 c 2498 515609 347928 1 -32.0000 -39.4545 23.30%
2496.11/2502.74 c 2503 516439 348626 1 -32.0000 -39.4545 23.30%
2501.19/2507.80 c 2508 517268 349321 1 -32.0000 -39.4545 23.30%
2506.18/2512.88 c 2513 517966 349937 1 -32.0000 -39.4545 23.30%
2511.27/2517.94 c 2518 518790 350633 1 -32.0000 -39.4545 23.30%
2516.36/2523.02 c 2523 519498 351187 1 -32.0000 -39.4545 23.30%
2521.35/2528.09 c 2528 520366 351969 1 -32.0000 -39.4545 23.30%
2526.44/2533.17 c 2533 521175 352710 1 -32.0000 -39.4545 23.30%
2531.52/2538.26 c 2538 521934 353373 1 -32.0000 -39.4545 23.30%
2536.61/2543.34 c 2543 522659 353986 1 -32.0000 -39.4545 23.30%
2541.60/2548.40 c 2548 523484 354695 1 -32.0000 -39.4545 23.30%
2546.68/2553.45 c 2553 524265 355388 1 -32.0000 -39.4545 23.30%
2551.78/2558.50 c 2559 525142 356185 1 -32.0000 -39.4545 23.30%
2556.76/2563.58 c 2564 525907 356854 1 -32.0000 -39.4545 23.30%
2561.85/2568.68 c 2569 526553 357390 1 -32.0000 -39.4545 23.30%
2566.94/2573.73 c 2574 527265 357996 1 -32.0000 -39.4545 23.30%
2572.02/2578.82 c 2579 528052 358697 1 -32.0000 -39.4545 23.30%
2577.11/2583.93 c 2584 528810 359383 1 -32.0000 -39.4545 23.30%
2582.20/2589.00 c 2589 529553 360014 1 -32.0000 -39.4545 23.30%
2587.19/2594.08 c 2594 530359 360714 1 -32.0000 -39.4545 23.30%
2592.28/2599.17 c 2599 531101 361344 1 -32.0000 -39.4545 23.30%
2597.37/2604.26 c 2604 531917 362042 1 -32.0000 -39.4545 23.30%
2602.45/2609.35 c 2609 532738 362751 1 -32.0000 -39.4545 23.30%
2607.54/2614.42 c 2614 533446 363333 1 -32.0000 -39.4545 23.30%
2612.63/2619.51 c 2620 534331 364078 1 -32.0000 -39.4545 23.30%
2617.71/2624.61 c 2625 535331 365010 1 -32.0000 -39.4545 23.30%
2622.81/2629.73 c 2630 536105 365704 1 -32.0000 -39.4545 23.30%
2627.89/2634.81 c 2635 536943 366450 1 -32.0000 -39.4545 23.30%
2633.07/2640.00 c 2640 537639 367030 1 -32.0000 -39.4545 23.30%
2638.07/2645.08 c 2645 538538 367831 1 -32.0000 -39.4545 23.30%
2643.16/2650.16 c 2650 539241 368430 1 -32.0000 -39.4545 23.30%
2648.24/2655.25 c 2655 540228 369291 1 -32.0000 -39.4545 23.30%
2653.32/2660.31 c 2660 540879 369828 1 -32.0000 -39.4545 23.30%
2658.42/2665.41 c 2665 541675 370520 1 -32.0000 -39.4545 23.30%
2663.40/2670.47 c 2670 542452 371211 1 -32.0000 -39.4545 23.30%
2668.49/2675.56 c 2676 543186 371879 1 -32.0000 -39.4545 23.30%
2673.58/2680.66 c 2681 543891 372488 1 -32.0000 -39.4545 23.30%
2678.66/2685.76 c 2686 544624 373119 1 -32.0000 -39.4545 23.30%
2683.76/2690.84 c 2691 545385 373758 1 -32.0000 -39.4545 23.30%
2688.84/2695.92 c 2696 546163 374442 1 -32.0000 -39.4545 23.30%
2693.83/2700.99 c 2701 547047 375212 1 -32.0000 -39.4545 23.30%
2699.02/2706.13 c 2706 547857 375870 1 -32.0000 -39.4545 23.30%
2704.01/2711.19 c 2711 548726 376627 1 -32.0000 -39.4545 23.30%
2709.10/2716.28 c 2716 549477 377246 1 -32.0000 -39.4545 23.30%
2714.18/2721.34 c 2721 550176 377835 1 -32.0000 -39.4545 23.30%
2719.17/2726.39 c 2726 550891 378434 1 -32.0000 -39.4545 23.30%
2724.26/2731.49 c 2732 551699 379140 1 -32.0000 -39.4545 23.30%
2729.44/2736.60 c 2737 552470 379819 1 -32.0000 -39.4545 23.30%
2734.93/2742.14 c 2742 553392 380671 1 -32.0000 -39.4545 23.30%
2740.01/2747.23 c 2747 554110 381261 1 -32.0000 -39.4545 23.30%
2745.01/2752.29 c 2752 554869 381928 1 -32.0000 -39.4545 23.30%
2750.09/2757.38 c 2757 555601 382538 1 -32.0000 -39.4545 23.30%
2755.18/2762.48 c 2762 556304 383169 1 -32.0000 -39.4545 23.30%
2760.27/2767.55 c 2768 557130 383891 1 -32.0000 -39.4545 23.30%
2766.15/2773.40 c 2773 558029 384626 1 -32.0000 -39.4545 23.30%
2771.14/2778.46 c 2778 558833 385324 1 -32.0000 -39.4545 23.30%
2776.24/2783.55 c 2784 559609 386020 1 -32.0000 -39.4545 23.30%
2781.42/2788.73 c 2789 560352 386637 1 -32.0000 -39.4545 23.30%
2787.31/2794.60 c 2795 561318 387471 1 -32.0000 -39.4545 23.30%
2792.80/2800.13 c 2800 562114 388129 1 -32.0000 -39.4545 23.30%
2797.88/2805.22 c 2805 562988 388881 1 -32.0000 -39.4545 23.30%
2803.17/2810.55 c 2811 563742 389571 1 -32.0000 -39.4545 23.30%
2808.85/2816.27 c 2816 564517 390236 1 -32.0000 -39.4545 23.30%
2814.75/2822.19 c 2822 565367 390988 1 -32.0000 -39.4545 23.30%
2820.52/2827.99 c 2828 566222 391753 1 -32.0000 -39.4545 23.30%
2826.22/2833.65 c 2834 566989 392392 1 -32.0000 -39.4545 23.30%
2832.00/2839.48 c 2839 567870 393129 1 -32.0000 -39.4545 23.30%
2837.48/2844.95 c 2845 568657 393778 1 -32.0000 -39.4545 23.30%
2842.57/2850.05 c 2850 569385 394376 1 -32.0000 -39.4545 23.30%
2847.86/2855.36 c 2855 570122 394981 1 -32.0000 -39.4545 23.30%
2853.54/2861.00 c 2861 570889 395626 1 -32.0000 -39.4545 23.30%
2858.53/2866.05 c 2866 571719 396302 1 -32.0000 -39.4486 23.28%
2863.72/2871.22 c 2871 572359 396802 1 -32.0000 -39.4364 23.24%
2869.60/2877.17 c 2877 573207 397460 1 -32.0000 -39.4242 23.20%
2875.19/2882.78 c 2883 573949 398022 1 -32.0000 -39.4167 23.18%
2880.57/2888.18 c 2888 574649 398555 1 -32.0000 -39.4000 23.12%
2885.66/2893.29 c 2893 575319 399107 1 -32.0000 -39.3833 23.07%
2890.94/2898.55 c 2899 575969 399615 1 -32.0000 -39.3667 23.02%
2896.03/2903.64 c 2904 576669 400199 1 -32.0000 -39.3464 22.96%
2901.72/2909.35 c 2909 577550 400908 1 -32.0000 -39.3333 22.92%
2906.91/2914.59 c 2915 578251 401499 1 -32.0000 -39.3333 22.92%
2912.29/2919.95 c 2920 579039 402143 1 -32.0000 -39.3258 22.89%
2917.58/2925.22 c 2925 579789 402741 1 -32.0000 -39.3030 22.82%
2922.87/2930.57 c 2931 580449 403281 1 -32.0000 -39.3000 22.81%
2928.06/2935.72 c 2936 581089 403809 1 -32.0000 -39.3000 22.81%
2933.35/2941.00 c 2941 581775 404389 1 -32.0000 -39.3000 22.81%
2938.44/2946.12 c 2946 582413 404895 1 -32.0000 -39.3000 22.81%
2943.52/2951.21 c 2951 583000 405350 1 -32.0000 -39.3000 22.81%
2948.71/2956.45 c 2956 583616 405830 1 -32.0000 -39.3000 22.81%
2953.79/2961.57 c 2962 584179 406273 1 -32.0000 -39.3000 22.81%
2958.89/2966.65 c 2967 584822 406796 1 -32.0000 -39.3000 22.81%
2963.97/2971.72 c 2972 585449 407281 1 -32.0000 -39.3000 22.81%
2969.06/2976.80 c 2977 586043 407753 1 -32.0000 -39.3000 22.81%
2974.05/2981.89 c 2982 586617 408223 1 -32.0000 -39.3000 22.81%
2979.13/2986.99 c 2987 587219 408707 1 -32.0000 -39.3000 22.81%
2984.22/2992.08 c 2992 587808 409180 1 -32.0000 -39.3000 22.81%
2989.32/2997.16 c 2997 588423 409695 1 -32.0000 -39.3000 22.81%
2994.40/3002.23 c 3002 589005 410125 1 -32.0000 -39.3000 22.81%
2999.48/3007.36 c 3007 589596 410602 1 -32.0000 -39.3000 22.81%
3004.57/3012.45 c 3012 590218 411148 1 -32.0000 -39.3000 22.81%
3009.66/3017.56 c 3018 590842 411648 1 -32.0000 -39.3000 22.81%
3014.74/3022.66 c 3023 591476 412166 1 -32.0000 -39.3000 22.81%
3019.84/3027.75 c 3028 592241 412811 1 -32.0000 -39.3000 22.81%
3024.93/3032.82 c 3033 592879 413331 1 -32.0000 -39.3000 22.81%
3030.01/3037.94 c 3038 593466 413796 1 -32.0000 -39.3000 22.81%
3035.10/3043.01 c 3043 594116 414322 1 -32.0000 -39.3000 22.81%
3040.10/3048.08 c 3048 594639 414723 1 -32.0000 -39.3000 22.81%
3045.28/3053.22 c 3053 595282 415264 1 -32.0000 -39.3000 22.81%
3050.26/3058.27 c 3058 596035 415855 1 -32.0000 -39.3000 22.81%
3055.35/3063.39 c 3063 596627 416303 1 -32.0000 -39.3000 22.81%
3060.53/3068.53 c 3069 597249 416809 1 -32.0000 -39.3000 22.81%
3065.62/3073.64 c 3074 597889 417327 1 -32.0000 -39.3000 22.81%
3070.70/3078.73 c 3079 598535 417859 1 -32.0000 -39.3000 22.81%
3075.79/3083.82 c 3084 599174 418374 1 -32.0000 -39.3000 22.81%
3080.88/3088.92 c 3089 599846 418934 1 -32.0000 -39.3000 22.81%
3085.87/3093.98 c 3094 600532 419474 1 -32.0000 -39.3000 22.81%
3091.06/3099.10 c 3099 601253 420041 1 -32.0000 -39.3000 22.81%
3096.14/3104.22 c 3104 601919 420573 1 -32.0000 -39.3000 22.81%
3101.12/3109.28 c 3109 602755 421331 1 -32.0000 -39.3000 22.81%
3106.22/3114.33 c 3114 603429 421871 1 -32.0000 -39.3000 22.81%
3111.30/3119.44 c 3119 604059 422387 1 -32.0000 -39.3000 22.81%
3116.40/3124.56 c 3125 604746 422944 1 -32.0000 -39.3000 22.81%
3121.58/3129.70 c 3130 605472 423532 1 -32.0000 -39.3000 22.81%
3126.57/3134.74 c 3135 606188 424140 1 -32.0000 -39.3000 22.81%
3131.65/3139.82 c 3140 606899 424693 1 -32.0000 -39.3000 22.81%
3136.75/3144.92 c 3145 607603 425255 1 -32.0000 -39.3000 22.81%
3141.84/3150.04 c 3150 608312 425848 1 -32.0000 -39.3000 22.81%
3146.92/3155.12 c 3155 608997 426397 1 -32.0000 -39.3000 22.81%
3152.00/3160.23 c 3160 609661 426933 1 -32.0000 -39.3000 22.81%
3157.10/3165.33 c 3165 610338 427456 1 -32.0000 -39.3000 22.81%
3162.19/3170.45 c 3170 610991 427973 1 -32.0000 -39.3000 22.81%
3167.28/3175.52 c 3176 611671 428551 1 -32.0000 -39.3000 22.81%
3172.36/3180.62 c 3181 612329 429095 1 -32.0000 -39.3000 22.81%
3177.45/3185.71 c 3186 612979 429591 1 -32.0000 -39.3000 22.81%
3182.44/3190.77 c 3191 613735 430237 1 -32.0000 -39.3000 22.81%
3187.53/3195.83 c 3196 614385 430759 1 -32.0000 -39.3000 22.81%
3192.62/3200.92 c 3201 615022 431260 1 -32.0000 -39.3000 22.81%
3197.71/3206.06 c 3206 615696 431812 1 -32.0000 -39.3000 22.81%
3202.80/3211.14 c 3211 616301 432309 1 -32.0000 -39.3000 22.81%
3207.88/3216.24 c 3216 617036 432922 1 -32.0000 -39.3000 22.81%
3212.97/3221.32 c 3221 617705 433455 1 -32.0000 -39.3000 22.81%
3217.96/3226.39 c 3226 618378 433994 1 -32.0000 -39.3000 22.81%
3223.14/3231.51 c 3232 619132 434570 1 -32.0000 -39.3000 22.81%
3228.23/3236.61 c 3237 619812 435110 1 -32.0000 -39.3000 22.81%
3233.33/3241.71 c 3242 620432 435612 1 -32.0000 -39.3000 22.81%
3238.31/3246.79 c 3247 621142 436178 1 -32.0000 -39.3000 22.81%
3243.50/3251.90 c 3252 621821 436723 1 -32.0000 -39.3000 22.81%
3248.59/3257.00 c 3257 622578 437334 1 -32.0000 -39.3000 22.81%
3253.77/3262.20 c 3262 623204 437858 1 -32.0000 -39.3000 22.81%
3258.76/3267.28 c 3267 623862 438426 1 -32.0000 -39.3000 22.81%
3263.85/3272.36 c 3272 624555 439011 1 -32.0000 -39.3000 22.81%
3268.94/3277.46 c 3277 625261 439615 1 -32.0000 -39.3000 22.81%
3274.03/3282.54 c 3283 625988 440218 1 -32.0000 -39.3000 22.81%
3279.11/3287.61 c 3288 626630 440738 1 -32.0000 -39.3000 22.81%
3284.20/3292.72 c 3293 627310 441310 1 -32.0000 -39.3000 22.81%
3289.29/3297.80 c 3298 627991 441867 1 -32.0000 -39.3000 22.81%
3294.28/3302.89 c 3303 628654 442408 1 -32.0000 -39.3000 22.81%
3299.37/3307.96 c 3308 629549 443161 1 -32.0000 -39.3000 22.81%
3304.47/3313.05 c 3313 630325 443809 1 -32.0000 -39.3000 22.81%
3309.55/3318.16 c 3318 631091 444429 1 -32.0000 -39.3000 22.81%
3314.64/3323.29 c 3323 631826 445038 1 -32.0000 -39.3000 22.81%
3319.72/3328.38 c 3328 632555 445645 1 -32.0000 -39.3000 22.81%
3324.81/3333.45 c 3333 633255 446221 1 -32.0000 -39.3000 22.81%
3330.00/3338.60 c 3339 634022 446856 1 -32.0000 -39.3000 22.81%
3335.09/3343.72 c 3344 634822 447550 1 -32.0000 -39.3000 22.81%
3340.17/3348.87 c 3349 635479 448085 1 -32.0000 -39.3000 22.81%
3345.27/3353.95 c 3354 636180 448684 1 -32.0000 -39.3000 22.81%
3350.36/3359.01 c 3359 636874 449270 1 -32.0000 -39.3000 22.81%
3355.45/3364.12 c 3364 637665 449951 1 -32.0000 -39.3000 22.81%
3360.43/3369.20 c 3369 638417 450587 1 -32.0000 -39.3000 22.81%
3365.51/3374.27 c 3374 639107 451159 1 -32.0000 -39.3000 22.81%
3370.61/3379.37 c 3379 639822 451770 1 -32.0000 -39.3000 22.81%
3375.69/3384.46 c 3384 640526 452362 1 -32.0000 -39.3000 22.81%
3380.78/3389.54 c 3390 641168 452870 1 -32.0000 -39.3000 22.81%
3385.87/3394.61 c 3395 641847 453449 1 -32.0000 -39.3000 22.81%
3390.86/3399.69 c 3400 642516 454030 1 -32.0000 -39.3000 22.81%
3395.95/3404.77 c 3405 643121 454539 1 -32.0000 -39.3000 22.81%
3401.03/3409.83 c 3410 643751 455069 1 -32.0000 -39.3000 22.81%
3406.02/3414.88 c 3415 644547 455767 1 -32.0000 -39.3000 22.81%
3411.11/3419.97 c 3420 645191 456315 1 -32.0000 -39.3000 22.81%
3416.20/3425.06 c 3425 645816 456852 1 -32.0000 -39.3000 22.81%
3421.29/3430.15 c 3430 646532 457476 1 -32.0000 -39.3000 22.81%
3426.38/3435.24 c 3435 647198 458026 1 -32.0000 -39.3000 22.81%
3431.46/3440.30 c 3440 647898 458570 1 -32.0000 -39.3000 22.81%
3436.55/3445.41 c 3445 648664 459232 1 -32.0000 -39.3000 22.81%
3441.64/3450.52 c 3451 649376 459832 1 -32.0000 -39.3000 22.81%
3446.73/3455.62 c 3456 650076 460422 1 -32.0000 -39.3000 22.81%
3451.82/3460.71 c 3461 650780 461012 1 -32.0000 -39.3000 22.81%
3456.91/3465.81 c 3466 651470 461600 1 -32.0000 -39.3000 22.81%
3461.99/3470.90 c 3471 652187 462179 1 -32.0000 -39.3000 22.81%
3466.98/3475.99 c 3476 652869 462753 1 -32.0000 -39.3000 22.81%
3472.07/3481.07 c 3481 653614 463382 1 -32.0000 -39.3000 22.81%
3477.17/3486.18 c 3486 654352 463986 1 -32.0000 -39.3000 22.81%
3482.25/3491.26 c 3491 654944 464484 1 -32.0000 -39.3000 22.81%
3487.33/3496.34 c 3496 655548 465008 1 -32.0000 -39.3000 22.81%
3492.42/3501.42 c 3501 656234 465552 1 -32.0000 -39.3000 22.81%
3497.51/3506.51 c 3507 656929 466127 1 -32.0000 -39.3000 22.81%
3502.60/3511.64 c 3512 657572 466672 1 -32.0000 -39.3000 22.81%
3507.68/3516.75 c 3517 658322 467326 1 -32.0000 -39.3000 22.81%
3512.78/3521.84 c 3522 658998 467888 1 -32.0000 -39.3000 22.81%
3517.86/3526.91 c 3527 659585 468381 1 -32.0000 -39.3000 22.81%
3522.95/3532.00 c 3532 660156 468832 1 -32.0000 -39.3000 22.81%
3527.94/3537.09 c 3537 660731 469293 1 -32.0000 -39.3000 22.81%
3533.04/3542.17 c 3542 661349 469815 1 -32.0000 -39.3000 22.81%
3538.21/3547.31 c 3547 662102 470472 1 -32.0000 -39.3000 22.81%
3543.21/3552.39 c 3552 662732 471010 1 -32.0000 -39.3000 22.81%
3548.29/3557.45 c 3557 663392 471570 1 -32.0000 -39.3000 22.81%
3553.38/3562.53 c 3563 664074 472148 1 -32.0000 -39.3000 22.81%
3558.47/3567.67 c 3568 664841 472791 1 -32.0000 -39.3000 22.81%
3563.56/3572.74 c 3573 665535 473375 1 -32.0000 -39.3000 22.81%
3568.65/3577.86 c 3578 666242 473978 1 -32.0000 -39.3000 22.81%
3573.73/3582.94 c 3583 666894 474520 1 -32.0000 -39.3000 22.81%
3578.82/3588.03 c 3588 667526 475041 1 -32.0000 -39.3000 22.81%
3583.91/3593.13 c 3593 668220 475657 1 -32.0000 -39.3000 22.81%
3589.39/3598.68 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.39/3598.68 c Total Time : 3598.68
3589.39/3598.68 c solving : 3598.68
3589.39/3598.68 c presolving : 0.02 (included in solving)
3589.39/3598.68 c B&B Tree :
3589.39/3598.68 c nodes (total) : 1
3589.39/3598.68 c Solution :
3589.39/3598.68 c Solutions found : 6
3589.39/3598.68 c Primal Bound : -3.20000000000000e+01
3589.39/3598.68 c Dual Bound : -3.93000000000000e+01
3589.39/3598.68 c Gap : 22.81250 %
3589.39/3598.68 c * Warning: final gap: 2.28125e-01 is greater than SCIPepsilon: 1.00000e-09
3589.39/3598.68 o -32
3589.39/3598.68 s SATISFIABLE
3589.39/3598.68 v -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 x891
3589.39/3598.68 v -x890 -x889 x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870
3589.39/3598.68 v -x869 -x868 -x867 -x866 x865 -x864 -x863 x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 x853 -x852 -x851 -x850 -x849
3589.39/3598.68 v -x848 -x847 -x846 -x845 x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828
3589.39/3598.68 v -x827 x826 -x825 -x824 x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806
3589.39/3598.68 v -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785
3589.39/3598.68 v -x1056 x1055 -x1054 -x1053 -x1052 x1051 x1050 x1049 -x1048 x1047 x1046 x1045 -x1044 -x1043 -x1042 x1041 -x512 -x511 -x510
3589.39/3598.68 v -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 x497 -x496 -x495 -x494 -x493 -x492 -x491 x490 -x489
3589.39/3598.68 v -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468
3589.39/3598.68 v -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447
3589.39/3598.68 v -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426
3589.39/3598.68 v -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 x409 -x408 -x407 -x406 -x405
3589.39/3598.68 v -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384
3589.39/3598.68 v -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 x373 -x372 -x371 -x370 -x369 -x368 x367 -x366 -x365 -x364 -x363
3589.39/3598.68 v -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342
3589.39/3598.68 v -x341 -x340 -x339 -x338 x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321
3589.39/3598.68 v -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300
3589.39/3598.68 v -x299 -x298 -x297 -x296 x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279
3589.39/3598.68 v -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258
3589.39/3598.68 v -x257 x784 x783 -x782 x781 -x780 -x779 x778 -x777 x776 x775 -x774 -x773 x772 x771 -x770 -x769 -x1040 -x1039 -x1038 -x1037
3589.39/3598.68 v -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019
3589.39/3598.68 v -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001
3589.39/3598.68 v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 x993 -x992 -x991 x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 x981 -x980
3589.39/3598.68 v -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 x963 -x962 -x961 -x960 -x959
3589.39/3598.68 v -x958 -x957 -x956 -x955 x954 -x953 -x952 x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938
3589.39/3598.68 v -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 x920 -x919 -x918 -x917
3589.39/3598.68 v -x916 -x915 -x914 -x913 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 x753 -x752
3589.39/3598.68 v -x751 -x750 -x749 -x748 -x747 x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731
3589.39/3598.68 v -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 x715 -x714 -x713 -x712 -x711 -x710
3589.39/3598.68 v -x709 -x708 x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689
3589.39/3598.68 v -x688 -x687 x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 x676 -x675 -x674 -x673 x672 -x671 -x670 -x669 -x668 -x667
3589.39/3598.68 v -x666 x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 x652 -x651 -x650 -x649 -x648 -x647 -x646
3589.39/3598.69 v -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 x629 -x628 -x627 -x626 -x625
3589.39/3598.69 v -x624 x623 -x622 -x621 -x620 -x619 -x618 -x617 x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604
3589.39/3598.69 v -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583
3589.39/3598.69 v -x582 -x581 -x580 -x579 x578 -x577 -x576 -x575 -x574 x573 -x572 -x571 -x570 -x569 -x568 -x567 x566 -x565 -x564 -x563 -x562
3589.39/3598.69 v -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541
3589.39/3598.69 v -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520
3589.39/3598.69 v -x519 -x518 -x517 -x516 -x515 -x514 -x513 x256 x255 -x254 -x253 -x252 -x251 x250 -x249 -x248 x247 -x246 -x245 -x244 x243 -x242
3589.39/3598.69 v -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221
3589.39/3598.69 v -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200
3589.39/3598.69 v -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180
3589.39/3598.69 v -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159
3589.39/3598.69 v -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138
3589.39/3598.69 v -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117
3589.39/3598.69 v -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95
3589.39/3598.69 v -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70
3589.39/3598.69 v -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45
3589.39/3598.69 v -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20
3589.39/3598.69 v -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (62446 MiB free)
memory of node 1: 64510 MiB (63837 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464751-1722390774/watcher-4464751-1722390774 -o /tmp/evaluation-result-4464751-1722390774/solver-4464751-1722390774 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722390771-36834 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464751-1722390774.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=37278, runsolver pid=37275
Current StackSize limit: 8192 KiB
[startup+0.100275 s]*
/proc/loadavg: 1.28 1.16 1.78 5/263 37281
/proc/meminfo: memFree=129264316/131524600 swapFree=131071996/131071996
[pid=37278] ppid=37275 vsize=121496 memory=36604 CPUtime=0.09 cores=4,6
/proc/37278/stat : 37278 (fscip) S 37275 37278 36823 0 -1 1077936128 6547 0 0 0 9 0 0 0 20 0 3 0 5676695 124411904 9151 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
/proc/37278/statm: 30374 9151 2950 3035 0 13064 0
[pid=37278/tid=37280] ppid=37275 vsize=121496 memory=4026561586 CPUtime=0.06 cores=4,6
/proc/37278/task/37280/stat : 37280 (fscip) R 37275 37278 36823 0 -1 4194368 2355 0 0 0 6 0 0 0 20 0 3 0 5676698 124411904 9151 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
[pid=37278/tid=37281] ppid=37275 vsize=121496 memory=228556276070 CPUtime=0 cores=4,6
/proc/37278/task/37281/stat : 37281 (fscip) S 37275 37278 36823 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5676698 124411904 9151 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 121496 KiB
Current children cumulated memory: 36604 KiB
[startup+0.206275 s]*
/proc/loadavg: 1.28 1.16 1.78 5/265 37283
/proc/meminfo: memFree=129210236/131524600 swapFree=131071996/131071996
[pid=37278] ppid=37275 vsize=123376 memory=44784 CPUtime=0.19 cores=4,6
/proc/37278/stat : 37278 (fscip) S 37275 37278 36823 0 -1 1077936128 8553 0 0 0 18 1 0 0 20 0 3 0 5676695 126337024 11196 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
/proc/37278/statm: 30844 11196 2950 3035 0 15393 0
[pid=37278/tid=37280] ppid=37275 vsize=123376 memory=664970838410264707 CPUtime=0.15 cores=4,6
/proc/37278/task/37280/stat : 37280 (fscip) R 37275 37278 36823 0 -1 4194368 4361 0 0 0 15 0 0 0 20 0 3 0 5676698 126337024 11196 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
[pid=37278/tid=37281] ppid=37275 vsize=123376 memory=3712 CPUtime=0 cores=4,6
/proc/37278/task/37281/stat : 37281 (fscip) S 37275 37278 36823 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5676698 126337024 11196 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 123376 KiB
Current children cumulated memory: 44784 KiB
[startup+0.30629 s]*
/proc/loadavg: 1.28 1.16 1.78 5/265 37283
/proc/meminfo: memFree=129198476/131524600 swapFree=131071996/131071996
[pid=37278] ppid=37275 vsize=123376 memory=44784 CPUtime=0.29 cores=4,6
/proc/37278/stat : 37278 (fscip) S 37275 37278 36823 0 -1 1077936128 8555 0 0 0 28 1 0 0 20 0 3 0 5676695 126337024 11196 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
/proc/37278/statm: 30844 11196 2950 3035 0 15393 0
[pid=37278/tid=37280] ppid=37275 vsize=123376 memory=-5155630184969628549 CPUtime=0.25 cores=4,6
/proc/37278/task/37280/stat : 37280 (fscip) R 37275 37278 36823 0 -1 4194368 4363 0 0 0 25 0 0 0 20 0 3 0 5676698 126337024 11196 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
[pid=37278/tid=37281] ppid=37275 vsize=123376 memory=0 CPUtime=0 cores=4,6
/proc/37278/task/37281/stat : 37281 (fscip) S 37275 37278 36823 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5676698 126337024 11196 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 123376 KiB
Current children cumulated memory: 44784 KiB
[startup+0.70029 s]
/proc/loadavg: 1.28 1.16 1.78 4/261 37283
/proc/meminfo: memFree=129301764/131524600 swapFree=131071996/131071996
[pid=37278] ppid=37275 vsize=125580 memory=54780 CPUtime=0.66 cores=4,6
/proc/37278/stat : 37278 (fscip) S 37275 37278 36823 0 -1 1077936128 11085 0 0 0 65 1 0 0 20 0 3 0 5676695 128593920 13695 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
/proc/37278/statm: 31395 13695 2950 3035 0 17822 0
[pid=37278/tid=37280] ppid=37275 vsize=125580 memory=0 CPUtime=0.63 cores=4,6
/proc/37278/task/37280/stat : 37280 (fscip) R 37275 37278 36823 0 -1 4194368 6893 0 0 0 62 1 0 0 20 0 3 0 5676698 128593920 13695 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
[pid=37278/tid=37281] ppid=37275 vsize=125580 memory=0 CPUtime=0 cores=4,6
/proc/37278/task/37281/stat : 37281 (fscip) S 37275 37278 36823 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5676698 128593920 13695 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 125580 KiB
Current children cumulated memory: 54780 KiB
[startup+1.50028 s]
/proc/loadavg: 1.28 1.16 1.78 4/261 37331
/proc/meminfo: memFree=129291612/131524600 swapFree=131071996/131071996
[pid=37278] ppid=37275 vsize=125580 memory=60016 CPUtime=1.46 cores=4,6
/proc/37278/stat : 37278 (fscip) S 37275 37278 36823 0 -1 1077936128 16263 0 0 0 144 2 0 0 20 0 3 0 5676695 128593920 15004 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
/proc/37278/statm: 31395 15004 2950 3035 0 19262 0
[pid=37278/tid=37280] ppid=37275 vsize=125580 memory=0 CPUtime=1.42 cores=4,6
/proc/37278/task/37280/stat : 37280 (fscip) R 37275 37278 36823 0 -1 4194368 12071 0 0 0 141 1 0 0 20 0 3 0 5676698 128593920 15004 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
[pid=37278/tid=37281] ppid=37275 vsize=125580 memory=0 CPUtime=0 cores=4,6
/proc/37278/task/37281/stat : 37281 (fscip) S 37275 37278 36823 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5676698 128593920 15004 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 125580 KiB
Current children cumulated memory: 60016 KiB
[startup+3.10627 s]
/proc/loadavg: 1.28 1.16 1.78 5/263 37377
/proc/meminfo: memFree=129252068/131524600 swapFree=131071996/131071996
[pid=37278] ppid=37275 vsize=125580 memory=66544 CPUtime=3.04 cores=4,6
/proc/37278/stat : 37278 (fscip) S 37275 37278 36823 0 -1 1077936128 20025 0 0 0 302 2 0 0 20 0 3 0 5676695 128593920 16636 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
/proc/37278/statm: 31395 16636 2950 3035 0 20955 0
[pid=37278/tid=37280] ppid=37275 vsize=125580 memory=0 CPUtime=3.01 cores=4,6
/proc/37278/task/37280/stat : 37280 (fscip) R 37275 37278 36823 0 -1 4194368 15815 0 0 0 299 2 0 0 20 0 3 0 5676698 128593920 16636 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
[pid=37278/tid=37281] ppid=37275 vsize=125580 memory=0 CPUtime=0 cores=4,6
/proc/37278/task/37281/stat : 37281 (fscip) S 37275 37278 36823 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 5676698 128593920 16636 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 125580 KiB
Current children cumulated memory: 66544 KiB
[startup+6.30027 s]
/proc/loadavg: 1.50 1.21 1.79 5/263 37379
/proc/meminfo: memFree=129232376/131524600 swapFree=131071996/131071996
[pid=37278] ppid=37275 vsize=126608 memory=81756 CPUtime=6.21 cores=4,6
/proc/37278/stat : 37278 (fscip) S 37275 37278 36823 0 -1 1077936128 34712 0 0 0 617 4 0 0 20 0 3 0 5676695 129646592 20439 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
/proc/37278/statm: 31652 20439 3014 3035 0 24938 0
[pid=37278/tid=37280] ppid=37275 vsize=126608 memory=0 CPUtime=6.17 cores=4,6
/proc/37278/task/37280/stat : 37280 (fscip) R 37275 37278 36823 0 -1 4194368 30300 0 0 0 614 3 0 0 20 0 3 0 5676698 129646592 20439 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
[pid=37278/tid=37281] ppid=37275 vsize=126608 memory=-5155630184969628549 CPUtime=0 cores=4,6
/proc/37278/task/37281/stat : 37281 (fscip) S 37275 37278 36823 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 5676698 129646592 20439 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 126608 KiB
Current children cumulated memory: 81756 KiB
[startup+12.7003 s]
/proc/loadavg: 1.70 1.25 1.80 5/263 37427
/proc/meminfo: memFree=128989320/131524600 swapFree=131071996/131071996
[pid=37278] ppid=37275 vsize=194192 memory=99932 CPUtime=12.55 cores=4,6
/proc/37278/stat : 37278 (fscip) S 37275 37278 36823 0 -1 1077936128 64274 0 0 0 1248 7 0 0 20 0 3 0 5676695 198852608 24983 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
/proc/37278/statm: 48548 24983 3014 3035 0 29545 0
[pid=37278/tid=37280] ppid=37275 vsize=194192 memory=79912 CPUtime=12.52 cores=4,6
/proc/37278/task/37280/stat : 37280 (fscip) R 37275 37278 36823 0 -1 4194368 59811 0 0 0 1245 7 0 0 20 0 3 0 5676698 198852608 24983 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
[pid=37278/tid=37281] ppid=37275 vsize=194192 memory=94368 CPUtime=0 cores=4,6
/proc/37278/task/37281/stat : 37281 (fscip) S 37275 37278 36823 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 5676698 198852608 24983 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 194192 KiB
Current children cumulated memory: 99932 KiB
[startup+25.5002 s]
/proc/loadavg: 2.21 1.39 1.84 5/263 37430
/proc/meminfo: memFree=128892736/131524600 swapFree=131071996/131071996
[pid=37278] ppid=37275 vsize=194192 memory=104524 CPUtime=25.3 cores=4,6
/proc/37278/stat : 37278 (fscip) S 37275 37278 36823 0 -1 1077936128 96436 0 0 0 2521 9 0 0 20 0 3 0 5676695 198852608 26131 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
/proc/37278/statm: 48548 26131 3030 3035 0 30629 0
[pid=37278/tid=37280] ppid=37275 vsize=194192 memory=11592 CPUtime=25.27 cores=4,6
/proc/37278/task/37280/stat : 37280 (fscip) R 37275 37278 36823 0 -1 4194368 91892 0 0 0 2518 9 0 0 20 0 3 0 5676698 198852608 26131 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
[pid=37278/tid=37281] ppid=37275 vsize=194192 memory=12976 CPUtime=0 cores=4,6
/proc/37278/task/37281/stat : 37281 (fscip) S 37275 37278 36823 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 5676698 198852608 26131 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
Current children cumulated CPU time: 25.3 s
Current children cumulated vsize: 194192 KiB
Current children cumulated memory: 104524 KiB
[startup+51.1054 s]
/proc/loadavg: 2.96 1.63 1.91 5/263 37433
/proc/meminfo: memFree=128875292/131524600 swapFree=131071996/131071996
[pid=37278] ppid=37275 vsize=194192 memory=107220 CPUtime=50.84 cores=4,6
/proc/37278/stat : 37278 (fscip) S 37275 37278 36823 0 -1 1077936128 129931 0 0 0 5072 12 0 0 20 0 3 0 5676695 198852608 26805 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
/proc/37278/statm: 48548 26805 3030 3035 0 31154 0
[pid=37278/tid=37280] ppid=37275 vsize=194192 memory=107208 CPUtime=50.81 cores=4,6
/proc/37278/task/37280/stat : 37280 (fscip) R 37275 37278 36823 0 -1 4194368 125298 0 0 0 5069 12 0 0 20 0 3 0 5676698 198852608 26805 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
[pid=37278/tid=37281] ppid=37275 vsize=194192 memory=-7522536969177489785 CPUtime=0 cores=4,6
/proc/37278/task/37281/stat : 37281 (fscip) S 37275 37278 36823 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 5676698 198852608 26805 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 194192 KiB
Current children cumulated memory: 107220 KiB
[startup+102.3 s]
/proc/loadavg: 3.62 2.01 2.02 5/261 37442
/proc/meminfo: memFree=128863876/131524600 swapFree=131071996/131071996
[pid=37278] ppid=37275 vsize=196248 memory=117876 CPUtime=101.91 cores=4,6
/proc/37278/stat : 37278 (fscip) S 37275 37278 36823 0 -1 1077936128 167220 0 0 0 10176 15 0 0 20 0 3 0 5676695 200957952 29469 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
/proc/37278/statm: 49062 29469 3030 3035 0 33933 0
[pid=37278/tid=37280] ppid=37275 vsize=196248 memory=11592 CPUtime=101.87 cores=4,6
/proc/37278/task/37280/stat : 37280 (fscip) R 37275 37278 36823 0 -1 4194368 162495 0 0 0 10172 15 0 0 20 0 3 0 5676698 200957952 29469 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
[pid=37278/tid=37281] ppid=37275 vsize=196248 memory=116580 CPUtime=0 cores=4,6
/proc/37278/task/37281/stat : 37281 (fscip) S 37275 37278 36823 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 5676698 200957952 29469 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 196248 KiB
Current children cumulated memory: 117876 KiB
[startup+162.3 s]
/proc/loadavg: 4.02 2.42 2.17 5/261 37836
/proc/meminfo: memFree=128845328/131524600 swapFree=131071996/131071996
[pid=37278] ppid=37275 vsize=198300 memory=136892 CPUtime=161.75 cores=4,6
/proc/37278/stat : 37278 (fscip) S 37275 37278 36823 0 -1 1077936128 199438 0 0 0 16155 20 0 0 20 0 3 0 5676695 203059200 34223 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
/proc/37278/statm: 49575 34223 3334 3035 0 38278 0
[pid=37278/tid=37280] ppid=37275 vsize=198300 memory=124364 CPUtime=161.71 cores=4,6
/proc/37278/task/37280/stat : 37280 (fscip) R 37275 37278 36823 0 -1 4194368 194655 0 0 0 16151 20 0 0 20 0 3 0 5676698 203059200 34223 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
[pid=37278/tid=37281] ppid=37275 vsize=198300 memory=136868 CPUtime=0 cores=4,6
/proc/37278/task/37281/stat : 37281 (fscip) S 37275 37278 36823 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 5676698 203059200 34223 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 198300 KiB
################
# More data... #
################
/proc/37278/statm: 205880 187955 3334 3035 0 195168 0
[pid=37278/tid=37280] ppid=37275 vsize=823520 memory=739276 CPUtime=3393.28 cores=4,6
/proc/37278/task/37280/stat : 37280 (fscip) R 37275 37278 36823 0 -1 4194368 1043264 0 0 0 339076 252 0 0 20 0 3 0 5676698 843284480 187955 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
[pid=37278/tid=37281] ppid=37275 vsize=823520 memory=751780 CPUtime=0.02 cores=4,6
/proc/37278/task/37281/stat : 37281 (fscip) S 37275 37278 36823 0 -1 1077936192 150 0 0 0 0 2 0 0 20 0 3 0 5676698 843284480 187955 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
Current children cumulated CPU time: 3393.55 s
Current children cumulated vsize: 823520 KiB
Current children cumulated memory: 751820 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.12 4.09 5/261 39233
/proc/meminfo: memFree=128163168/131524600 swapFree=131071996/131071996
[pid=37278] ppid=37275 vsize=829664 memory=767684 CPUtime=3453.42 cores=4,6
/proc/37278/stat : 37278 (fscip) S 37275 37278 36823 0 -1 1077936128 1070360 0 0 0 345078 264 0 0 20 0 3 0 5676695 849575936 191921 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
/proc/37278/statm: 207416 191921 3334 3035 0 198614 0
[pid=37278/tid=37280] ppid=37275 vsize=829664 memory=739276 CPUtime=3453.14 cores=4,6
/proc/37278/task/37280/stat : 37280 (fscip) R 37275 37278 36823 0 -1 4194368 1064568 0 0 0 345057 257 0 0 20 0 3 0 5676698 849575936 191921 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
[pid=37278/tid=37281] ppid=37275 vsize=829664 memory=751780 CPUtime=0.02 cores=4,6
/proc/37278/task/37281/stat : 37281 (fscip) S 37275 37278 36823 0 -1 1077936192 152 0 0 0 0 2 0 0 20 0 3 0 5676698 849575936 191921 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
Current children cumulated CPU time: 3453.42 s
Current children cumulated vsize: 829664 KiB
Current children cumulated memory: 767684 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/261 39244
/proc/meminfo: memFree=128162572/131524600 swapFree=131071996/131071996
[pid=37278] ppid=37275 vsize=830072 memory=767792 CPUtime=3513.28 cores=4,6
/proc/37278/stat : 37278 (fscip) S 37275 37278 36823 0 -1 1077936128 1079379 0 0 0 351061 267 0 0 20 0 3 0 5676695 849993728 191948 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
/proc/37278/statm: 207518 191948 3334 3035 0 198716 0
[pid=37278/tid=37280] ppid=37275 vsize=830072 memory=767756 CPUtime=3513 cores=4,6
/proc/37278/task/37280/stat : 37280 (fscip) R 37275 37278 36823 0 -1 4194368 1073563 0 0 0 351040 260 0 0 20 0 3 0 5676698 849993728 191948 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
[pid=37278/tid=37281] ppid=37275 vsize=830072 memory=-6000919494231745900 CPUtime=0.02 cores=4,6
/proc/37278/task/37281/stat : 37281 (fscip) S 37275 37278 36823 0 -1 1077936192 154 0 0 0 0 2 0 0 20 0 3 0 5676698 849993728 191948 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
Current children cumulated CPU time: 3513.28 s
Current children cumulated vsize: 830072 KiB
Current children cumulated memory: 767792 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/261 39254
/proc/meminfo: memFree=128137172/131524600 swapFree=131071996/131071996
[pid=37278] ppid=37275 vsize=846460 memory=792580 CPUtime=3573.14 cores=4,6
/proc/37278/stat : 37278 (fscip) S 37275 37278 36823 0 -1 1077936128 1090017 0 0 0 357043 271 0 0 20 0 3 0 5676695 866775040 198145 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
/proc/37278/statm: 211615 198145 3334 3035 0 202813 0
[pid=37278/tid=37280] ppid=37275 vsize=846460 memory=792568 CPUtime=3572.85 cores=4,6
/proc/37278/task/37280/stat : 37280 (fscip) R 37275 37278 36823 0 -1 4194368 1084197 0 0 0 357021 264 0 0 20 0 3 0 5676698 866775040 198145 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
[pid=37278/tid=37281] ppid=37275 vsize=846460 memory=-7522536969177489785 CPUtime=0.02 cores=4,6
/proc/37278/task/37281/stat : 37281 (fscip) S 37275 37278 36823 0 -1 1077936192 156 0 0 0 0 2 0 0 20 0 3 0 5676698 866775040 198145 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
Current children cumulated CPU time: 3573.14 s
Current children cumulated vsize: 846460 KiB
Current children cumulated memory: 792580 KiB
[startup+3598.69 s]
# the end of solver process 37278 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.76 s, system=2.72998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.12 4.09 5/261 39254
/proc/meminfo: memFree=128137144/131524600 swapFree=131071996/131071996
[pid=37278] ppid=37275 vsize=846460 memory=792580 CPUtime=3574.84 cores=4,6
/proc/37278/stat : 37278 (fscip) S 37275 37278 36823 0 -1 1077936128 1090052 0 0 0 357213 271 0 0 20 0 3 0 5676695 866775040 198145 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
/proc/37278/statm: 211615 198145 3334 3035 0 202813 0
[pid=37278/tid=37280] ppid=37275 vsize=846460 memory=767740 CPUtime=3574.55 cores=4,6
/proc/37278/task/37280/stat : 37280 (fscip) R 37275 37278 36823 0 -1 4194368 1084232 0 0 0 357191 264 0 0 20 0 3 0 5676698 866775040 198145 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
[pid=37278/tid=37281] ppid=37275 vsize=846460 memory=-7089693262291566020 CPUtime=0.02 cores=4,6
/proc/37278/task/37281/stat : 37281 (fscip) S 37275 37278 36823 0 -1 1077936192 156 0 0 0 0 2 0 0 20 0 3 0 5676698 866775040 198145 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
Current children cumulated CPU time: 3574.84 s
Current children cumulated vsize: 846460 KiB
Current children cumulated memory: 792580 KiB
[startup+3590.4 s]
/proc/loadavg: 4.12 4.12 4.09 5/261 39255
/proc/meminfo: memFree=128137036/131524600 swapFree=131071996/131071996
[pid=37278] ppid=37275 vsize=846460 memory=792588 CPUtime=3581.21 cores=4,6
/proc/37278/stat : 37278 (fscip) S 37275 37278 36823 0 -1 1077936128 1090227 0 0 0 357850 271 0 0 20 0 3 0 5676695 866775040 198147 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
/proc/37278/statm: 211615 198147 3334 3035 0 202813 0
[pid=37278/tid=37280] ppid=37275 vsize=846460 memory=12976 CPUtime=3580.93 cores=4,6
/proc/37278/task/37280/stat : 37280 (fscip) R 37275 37278 36823 0 -1 4194368 1084407 0 0 0 357829 264 0 0 20 0 3 0 5676698 866775040 198147 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
[pid=37278/tid=37281] ppid=37275 vsize=846460 memory=-6000919494231745900 CPUtime=0.02 cores=4,6
/proc/37278/task/37281/stat : 37281 (fscip) S 37275 37278 36823 0 -1 1077936192 156 0 0 0 0 2 0 0 20 0 3 0 5676698 866775040 198147 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
Current children cumulated CPU time: 3581.21 s
Current children cumulated vsize: 846460 KiB
Current children cumulated memory: 792588 KiB
[startup+3593.6 s]
/proc/loadavg: 4.11 4.11 4.09 5/261 39255
/proc/meminfo: memFree=128137060/131524600 swapFree=131071996/131071996
[pid=37278] ppid=37275 vsize=846460 memory=792596 CPUtime=3584.41 cores=4,6
/proc/37278/stat : 37278 (fscip) S 37275 37278 36823 0 -1 1077936128 1090359 0 0 0 358170 271 0 0 20 0 3 0 5676695 866775040 198149 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
/proc/37278/statm: 211615 198149 3334 3035 0 202813 0
[pid=37278/tid=37280] ppid=37275 vsize=846460 memory=792588 CPUtime=3584.12 cores=4,6
/proc/37278/task/37280/stat : 37280 (fscip) R 37275 37278 36823 0 -1 4194368 1084539 0 0 0 358148 264 0 0 20 0 3 0 5676698 866775040 198149 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
[pid=37278/tid=37281] ppid=37275 vsize=846460 memory=-7522536969177489785 CPUtime=0.02 cores=4,6
/proc/37278/task/37281/stat : 37281 (fscip) S 37275 37278 36823 0 -1 1077936192 156 0 0 0 0 2 0 0 20 0 3 0 5676698 866775040 198149 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
Current children cumulated CPU time: 3584.41 s
Current children cumulated vsize: 846460 KiB
Current children cumulated memory: 792596 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.11 4.09 6/253 39285
/proc/meminfo: memFree=128150156/131524600 swapFree=131071996/131071996
[pid=37278] ppid=37275 vsize=846460 memory=792600 CPUtime=3587.59 cores=4,6
/proc/37278/stat : 37278 (fscip) S 37275 37278 36823 0 -1 1077936128 1090436 0 0 0 358488 271 0 0 20 0 3 0 5676695 866775040 198150 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
/proc/37278/statm: 211615 198150 3334 3035 0 202813 0
[pid=37278/tid=37280] ppid=37275 vsize=846460 memory=792580 CPUtime=3587.32 cores=4,6
/proc/37278/task/37280/stat : 37280 (fscip) R 37275 37278 36823 0 -1 4194368 1084616 0 0 0 358467 265 0 0 20 0 3 0 5676698 866775040 198150 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
[pid=37278/tid=37281] ppid=37275 vsize=846460 memory=40332 CPUtime=0.02 cores=4,6
/proc/37278/task/37281/stat : 37281 (fscip) S 37275 37278 36823 0 -1 1077936192 156 0 0 0 0 2 0 0 20 0 3 0 5676698 866775040 198150 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
Current children cumulated CPU time: 3587.59 s
Current children cumulated vsize: 846460 KiB
Current children cumulated memory: 792600 KiB
[startup+3597.6 s]
/proc/loadavg: 4.10 4.11 4.09 3/245 39319
/proc/meminfo: memFree=128215864/131524600 swapFree=131071996/131071996
[pid=37278] ppid=37275 vsize=846460 memory=792600 CPUtime=3588.39 cores=4,6
/proc/37278/stat : 37278 (fscip) S 37275 37278 36823 0 -1 1077936128 1090456 0 0 0 358568 271 0 0 20 0 3 0 5676695 866775040 198150 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
/proc/37278/statm: 211615 198150 3334 3035 0 202813 0
[pid=37278/tid=37280] ppid=37275 vsize=846460 memory=12976 CPUtime=3588.12 cores=4,6
/proc/37278/task/37280/stat : 37280 (fscip) R 37275 37278 36823 0 -1 4194368 1084636 0 0 0 358547 265 0 0 20 0 3 0 5676698 866775040 198150 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
[pid=37278/tid=37281] ppid=37275 vsize=846460 memory=12468 CPUtime=0.02 cores=4,6
/proc/37278/task/37281/stat : 37281 (fscip) S 37275 37278 36823 0 -1 1077936192 156 0 0 0 0 2 0 0 20 0 3 0 5676698 866775040 198150 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
Current children cumulated CPU time: 3588.39 s
Current children cumulated vsize: 846460 KiB
Current children cumulated memory: 792600 KiB
[startup+3598.4 s]
/proc/loadavg: 4.10 4.11 4.09 3/245 39319
/proc/meminfo: memFree=128215936/131524600 swapFree=131071996/131071996
[pid=37278] ppid=37275 vsize=846460 memory=792604 CPUtime=3589.19 cores=4,6
/proc/37278/stat : 37278 (fscip) S 37275 37278 36823 0 -1 1077936128 1096410 0 0 0 358647 272 0 0 20 0 3 0 5676695 866775040 198151 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
/proc/37278/statm: 211615 198151 3334 3035 0 202813 0
[pid=37278/tid=37280] ppid=37275 vsize=846460 memory=2268 CPUtime=3588.91 cores=4,6
/proc/37278/task/37280/stat : 37280 (fscip) R 37275 37278 36823 0 -1 4194368 1090590 0 0 0 358626 265 0 0 20 0 3 0 5676698 866775040 198151 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
[pid=37278/tid=37281] ppid=37275 vsize=846460 memory=11592 CPUtime=0.02 cores=4,6
/proc/37278/task/37281/stat : 37281 (fscip) S 37275 37278 36823 0 -1 1077936192 156 0 0 0 0 2 0 0 20 0 3 0 5676698 866775040 198151 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
Current children cumulated CPU time: 3589.19 s
Current children cumulated vsize: 846460 KiB
Current children cumulated memory: 792604 KiB
[startup+3598.6 s]
/proc/loadavg: 4.10 4.11 4.09 3/245 39319
/proc/meminfo: memFree=128215936/131524600 swapFree=131071996/131071996
[pid=37278] ppid=37275 vsize=846460 memory=792604 CPUtime=3589.39 cores=4,6
/proc/37278/stat : 37278 (fscip) S 37275 37278 36823 0 -1 1077936128 1097344 0 0 0 358667 272 0 0 20 0 3 0 5676695 866775040 198151 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
/proc/37278/statm: 211615 198151 3334 3035 0 202813 0
[pid=37278/tid=37280] ppid=37275 vsize=846460 memory=792600 CPUtime=3589.11 cores=4,6
/proc/37278/task/37280/stat : 37280 (fscip) R 37275 37278 36823 0 -1 4194368 1091524 0 0 0 358646 265 0 0 20 0 3 0 5676698 866775040 198151 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
[pid=37278/tid=37281] ppid=37275 vsize=846460 memory=2244 CPUtime=0.02 cores=4,6
/proc/37278/task/37281/stat : 37281 (fscip) S 37275 37278 36823 0 -1 1077936192 156 0 0 0 0 2 0 0 20 0 3 0 5676698 866775040 198151 134679101440 4194304 16623229 140731757249632 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 27668480 140731757257750 140731757257866 140731757257866 140731757264880 0
Current children cumulated CPU time: 3589.39 s
Current children cumulated vsize: 846460 KiB
Current children cumulated memory: 792604 KiB
Child status: 0
Real time (s): 3598.69
CPU time (s): 3589.49
CPU user time (s): 3586.76
CPU system time (s): 2.72998
CPU usage (%): 99.7444
Max. virtual memory (cumulated for all children) (KiB): 846460
Max. memory (cumulated for all children) (KiB): 792604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.76
system time used= 2.72998
maximum resident set size= 792604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1098390
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= 11600
involuntary context switches= 3825
# summary of solver processes directly reported to runsolver:
# pid: 37278
# total CPU time (s): 3589.49
# total CPU user time (s): 3586.76
# total CPU system time (s): 2.72998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.30042 second user time and 17.504 second system time
The end
Begin job on nodeC023 at 2024-07-31 03:52:54
IDJOB=4464751
IDBENCH=177485
IDSOLVER=3092
FILE ID=nodeC023/4464751-1722390774
RUNJOBID= nodeC023-1722390771-36834
SLURM_JOB_ID= 8249880
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdiv2/normalized-injcomp_opt_4layers_maxall_lastlayerdiv2_size_16.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-4464751-1722390774/watcher-4464751-1722390774 -o /tmp/evaluation-result-4464751-1722390774/solver-4464751-1722390774 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722390771-36834 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464751-1722390774.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 678da6339402b89815c46f6042afd950
RANDOM SEED=652933539
nodeC023.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 : 3624.055
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3684.244
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.53
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 : 3668.306
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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.376
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.53
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 : 3673.661
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3684.202
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.53
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 : 3650.517
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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.303
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129308392 kB
MemAvailable: 129793108 kB
Buffers: 115248 kB
Cached: 1203636 kB
SwapCached: 0 kB
Active: 285424 kB
Inactive: 1455096 kB
Active(anon): 1524 kB
Inactive(anon): 441440 kB
Active(file): 283900 kB
Inactive(file): 1013656 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 113980 kB
Writeback: 0 kB
AnonPages: 421508 kB
Mapped: 117656 kB
Shmem: 21336 kB
KReclaimable: 53616 kB
Slab: 134512 kB
SReclaimable: 53616 kB
SUnreclaim: 80896 kB
KernelStack: 4192 kB
PageTables: 9816 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 775904 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 10112 kB
HardwareCorrupted: 0 kB
AnonHugePages: 253952 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: 164564 kB
DirectMap2M: 10094592 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 890028 MiB
End job on nodeC023 at 2024-07-31 04:52:53