0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 27410432, getVmSize() = 27410432, SCIPgetMemUsed() = 3437698, SCIPgetMemTotal() = 5886266, SCIPgetMemExternEstim() = 1377493
0.00/0.01 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.08 c ** Estimated virtualMemUsedAtSolver = 21809834, getVmSize() = 38019072, SCIPgetMemUsed() = 9651319, SCIPgetMemTotal() = 15232151, SCIPgetMemExternEstim() = 1377493
0.00/0.08 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.08 c Original Problem :
0.00/0.08 c Problem name : instance-4458460-1721868732
0.00/0.08 c Variables : 1056 (1056 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.08 c Constraints : 488
0.00/0.08 c Objective sense : minimize
0.00/0.08 c Presolved Problem :
0.00/0.08 c Variables : 800 (800 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.08 c Constraints : 696
0.00/0.08 c Constraints : Number
0.00/0.08 c setppc : 280
0.00/0.08 c logicor : 416
0.00/0.08 c ** Instance transfer method used: 0
0.00/0.09 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.10 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.10 c Nodes Active
0.00/0.10 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.10/0.15 c * 0 0 1 1 -24.0000 - -
0.10/0.19 c * 0 0 1 1 -28.0000 - -
0.41/0.49 c * 0 0 1 1 -29.0000 - -
0.60/0.66 c * 1 0 1 1 -31.0000 - -
5.67/5.76 c 6 156 155 1 -31.0000 -40.0000 29.03%
6.77/6.81 c * 7 201 202 1 -32.0000 -40.0000 25.00%
10.76/10.84 c 11 546 543 1 -32.0000 -40.0000 25.00%
15.84/15.98 c 16 1309 1302 1 -32.0000 -40.0000 25.00%
20.95/21.09 c 21 1811 1798 1 -32.0000 -40.0000 25.00%
26.11/26.24 c 26 2267 2250 1 -32.0000 -40.0000 25.00%
31.21/31.35 c 31 2746 2727 1 -32.0000 -40.0000 25.00%
36.29/36.47 c 36 3294 3271 1 -32.0000 -40.0000 25.00%
41.38/41.55 c 42 3935 3910 1 -32.0000 -40.0000 25.00%
46.46/46.63 c 47 4610 4583 1 -32.0000 -40.0000 25.00%
51.45/51.64 c 52 5302 5273 1 -32.0000 -39.9971 24.99%
57.03/57.20 c 57 6000 5965 1 -32.0000 -39.9375 24.80%
62.02/62.27 c 62 6725 6688 1 -32.0000 -39.9375 24.80%
67.11/67.32 c 67 7576 7536 1 -32.0000 -39.9375 24.80%
72.09/72.37 c 72 8440 8380 1 -32.0000 -39.9375 24.80%
77.18/77.45 c 77 9099 9031 1 -32.0000 -39.9375 24.80%
82.26/82.52 c 83 9643 9562 1 -32.0000 -39.9375 24.80%
87.25/87.57 c 88 10288 10197 1 -32.0000 -39.9375 24.80%
92.34/92.65 c 93 10879 10772 1 -32.0000 -39.9375 24.80%
97.42/97.74 c 98 11682 11539 1 -32.0000 -39.9375 24.80%
102.51/102.90 c 103 12377 12201 1 -32.0000 -39.9375 24.80%
107.60/107.96 c 108 13164 12942 1 -32.0000 -39.9375 24.80%
112.70/113.03 c 113 14077 13791 1 -32.0000 -39.9375 24.80%
117.69/118.10 c 118 15029 14694 1 -32.0000 -39.9375 24.80%
122.77/123.17 c 123 16071 15666 1 -32.0000 -39.9375 24.80%
127.84/128.23 c 128 16926 16480 1 -32.0000 -39.9375 24.80%
132.83/133.29 c 133 17974 17452 1 -32.0000 -39.9375 24.80%
137.91/138.35 c 138 18943 18360 1 -32.0000 -39.9375 24.80%
143.00/143.40 c 143 19916 19243 1 -32.0000 -39.9375 24.80%
147.99/148.48 c 148 20845 20096 1 -32.0000 -39.9375 24.80%
153.07/153.54 c 154 22022 21175 1 -32.0000 -39.9375 24.80%
158.16/158.65 c 159 23241 22285 1 -32.0000 -39.9375 24.80%
163.25/163.73 c 164 24354 23330 1 -32.0000 -39.9375 24.80%
168.23/168.78 c 169 25584 24475 1 -32.0000 -39.9375 24.80%
173.31/173.86 c 174 26647 25470 1 -32.0000 -39.9375 24.80%
178.40/178.93 c 179 27772 26477 1 -32.0000 -39.9375 24.80%
183.49/184.02 c 184 28954 27579 1 -32.0000 -39.9375 24.80%
188.48/189.08 c 189 30054 28613 1 -32.0000 -39.9375 24.80%
194.15/194.76 c 195 31336 29760 1 -32.0000 -39.9375 24.80%
199.43/200.08 c 200 32482 30829 1 -32.0000 -39.9375 24.80%
204.90/205.59 c 206 33715 31970 1 -32.0000 -39.8667 24.58%
209.99/210.64 c 211 35149 33255 1 -32.0000 -39.8667 24.58%
215.07/215.71 c 216 36371 34420 1 -32.0000 -39.8667 24.58%
220.05/220.78 c 221 37623 35596 1 -32.0000 -39.8667 24.58%
225.13/225.84 c 226 38915 36806 1 -32.0000 -39.8667 24.58%
230.21/230.94 c 231 40116 37902 1 -32.0000 -39.8667 24.58%
235.20/235.99 c 236 41372 39078 1 -32.0000 -39.8667 24.58%
240.29/241.04 c 241 42533 40163 1 -32.0000 -39.8667 24.58%
245.27/246.09 c 246 43765 41326 1 -32.0000 -39.8667 24.58%
250.35/251.17 c 251 44993 42476 1 -32.0000 -39.8667 24.58%
255.53/256.32 c 256 46235 43614 1 -32.0000 -39.8667 24.58%
260.61/261.40 c 261 47623 44896 1 -32.0000 -39.8667 24.58%
265.60/266.45 c 266 49100 46243 1 -32.0000 -39.8667 24.58%
270.69/271.50 c 272 50397 47447 1 -32.0000 -39.8667 24.58%
275.67/276.57 c 277 51592 48555 1 -32.0000 -39.8667 24.58%
280.76/281.62 c 282 52974 49844 1 -32.0000 -39.8667 24.58%
285.84/286.70 c 287 54330 51073 1 -32.0000 -39.8667 24.58%
290.93/291.82 c 292 55774 52444 1 -32.0000 -39.8667 24.58%
295.92/296.89 c 297 57114 53630 1 -32.0000 -39.8667 24.58%
301.00/301.94 c 302 58428 54848 1 -32.0000 -39.8667 24.58%
305.98/307.01 c 307 59682 56004 1 -32.0000 -39.8667 24.58%
311.08/312.08 c 312 61021 57241 1 -32.0000 -39.8667 24.58%
316.16/317.14 c 317 62335 58481 1 -32.0000 -39.8667 24.58%
321.23/322.20 c 322 63473 59560 1 -32.0000 -39.8667 24.58%
326.21/327.26 c 327 64826 60832 1 -32.0000 -39.8667 24.58%
331.30/332.31 c 332 66135 62047 1 -32.0000 -39.8667 24.58%
336.29/337.38 c 337 67339 63197 1 -32.0000 -39.8667 24.58%
341.37/342.43 c 342 68535 64309 1 -32.0000 -39.8667 24.58%
346.36/347.50 c 347 69812 65512 1 -32.0000 -39.8667 24.58%
351.44/352.56 c 353 71105 66722 1 -32.0000 -39.8667 24.58%
356.54/357.63 c 358 72386 67899 1 -32.0000 -39.8667 24.58%
361.62/362.72 c 363 73703 69136 1 -32.0000 -39.8667 24.58%
366.60/367.79 c 368 75076 70389 1 -32.0000 -39.8667 24.58%
371.69/372.85 c 373 76605 71748 1 -32.0000 -39.8667 24.58%
376.77/377.91 c 378 78091 73098 1 -32.0000 -39.8667 24.58%
381.76/382.97 c 383 79622 74451 1 -32.0000 -39.8667 24.58%
386.85/388.02 c 388 80929 75606 1 -32.0000 -39.8667 24.58%
391.84/393.09 c 393 82452 76998 1 -32.0000 -39.8667 24.58%
397.31/398.54 c 399 83962 78349 1 -32.0000 -39.8667 24.58%
402.40/403.60 c 404 85095 79404 1 -32.0000 -39.8667 24.58%
407.39/408.65 c 409 86538 80733 1 -32.0000 -39.8667 24.58%
412.47/413.71 c 414 87835 81872 1 -32.0000 -39.8667 24.58%
417.46/418.77 c 419 89262 83099 1 -32.0000 -39.8667 24.58%
422.54/423.89 c 424 90572 84272 1 -32.0000 -39.8667 24.58%
427.63/428.97 c 429 91918 85480 1 -32.0000 -39.8667 24.58%
432.72/434.03 c 434 93125 86581 1 -32.0000 -39.8667 24.58%
437.70/439.10 c 439 94335 87662 1 -32.0000 -39.8667 24.58%
442.79/444.17 c 444 95532 88788 1 -32.0000 -39.8667 24.58%
447.86/449.23 c 449 96824 89994 1 -32.0000 -39.8667 24.58%
452.85/454.28 c 454 98088 91140 1 -32.0000 -39.8667 24.58%
457.93/459.36 c 459 99435 92349 1 -32.0000 -39.8667 24.58%
463.02/464.41 c 464 100837 93623 1 -32.0000 -39.8667 24.58%
468.01/469.47 c 469 102070 94748 1 -32.0000 -39.8667 24.58%
473.09/474.52 c 475 103435 95955 1 -32.0000 -39.8667 24.58%
478.08/479.57 c 480 104765 97063 1 -32.0000 -39.8667 24.58%
483.16/484.64 c 485 106016 98168 1 -32.0000 -39.8667 24.58%
488.24/489.71 c 490 107460 99454 1 -32.0000 -39.8667 24.58%
493.23/494.79 c 495 108729 100577 1 -32.0000 -39.8667 24.58%
498.31/499.84 c 500 109895 101608 1 -32.0000 -39.8667 24.58%
503.41/504.93 c 505 111162 102751 1 -32.0000 -39.8667 24.58%
508.39/510.01 c 510 112711 104010 1 -32.0000 -39.8667 24.58%
513.76/515.37 c 515 113263 376 1 -32.0000 -39.8667 24.58%
518.95/520.50 c 520 115167 1244 1 -32.0000 -39.8667 24.58%
524.04/525.62 c 526 117684 2252 1 -32.0000 -39.8667 24.58%
529.02/530.67 c 531 119794 3881 1 -32.0000 -39.8667 24.58%
534.11/535.75 c 536 122115 5356 1 -32.0000 -39.8667 24.58%
539.19/540.80 c 541 124555 6401 1 -32.0000 -39.8667 24.58%
544.17/545.86 c 546 127192 7644 1 -32.0000 -39.8667 24.58%
549.25/550.91 c 551 129374 8850 1 -32.0000 -39.8667 24.58%
554.24/555.97 c 556 131735 9850 1 -32.0000 -39.8667 24.58%
559.33/561.02 c 561 134309 11039 1 -32.0000 -39.8667 24.58%
564.31/566.07 c 566 137141 12490 1 -32.0000 -39.8667 24.58%
569.59/571.32 c 571 139952 13618 1 -32.0000 -39.8667 24.58%
575.16/576.99 c 577 142711 14168 1 -32.0000 -39.7857 24.33%
580.25/582.06 c 582 145355 14699 1 -32.0000 -39.7857 24.33%
585.34/587.12 c 587 147824 15393 1 -32.0000 -39.7857 24.33%
590.32/592.18 c 592 150279 16213 1 -32.0000 -39.7857 24.33%
595.39/597.24 c 597 152735 16818 1 -32.0000 -39.7857 24.33%
600.47/602.30 c 602 155140 17289 1 -32.0000 -39.7857 24.33%
605.86/607.73 c 608 157631 17829 1 -32.0000 -39.7857 24.33%
611.04/612.98 c 613 160492 18304 1 -32.0000 -39.7667 24.27%
616.32/618.28 c 618 163127 18852 1 -32.0000 -39.6923 24.04%
621.50/623.44 c 623 165952 19245 1 -32.0000 -39.6923 24.04%
626.97/628.93 c 629 169432 19893 1 -32.0000 -39.5641 23.64%
632.45/634.43 c 634 172803 20526 1 -32.0000 -39.0000 21.88%
637.44/639.48 c 639 175962 21982 1 -32.0000 -39.0000 21.88%
642.52/644.55 c 645 178328 23508 1 -32.0000 -39.0000 21.88%
648.31/650.39 c 650 181237 25423 1 -32.0000 -38.9333 21.67%
653.39/655.44 c 655 184419 26869 1 -32.0000 -38.9333 21.67%
658.48/660.50 c 660 187317 28183 1 -32.0000 -38.9333 21.67%
663.45/665.57 c 666 190595 29560 1 -32.0000 -38.9333 21.67%
668.54/670.62 c 671 194034 30663 1 -32.0000 -38.9333 21.67%
673.52/675.67 c 676 197314 31648 1 -32.0000 -38.9333 21.67%
678.61/680.73 c 681 200237 32494 1 -32.0000 -38.9333 21.67%
683.59/685.78 c 686 203642 33371 1 -32.0000 -38.9333 21.67%
688.67/690.84 c 691 206990 34073 1 -32.0000 -38.9333 21.67%
693.66/695.89 c 696 210327 34846 1 -32.0000 -38.9333 21.67%
698.74/700.96 c 701 213464 35447 1 -32.0000 -38.9333 21.67%
703.82/706.02 c 706 217107 36194 1 -32.0000 -38.9333 21.67%
708.81/711.07 c 711 220227 37017 1 -32.0000 -38.9333 21.67%
713.89/716.12 c 716 223214 37733 1 -32.0000 -38.9333 21.67%
718.88/721.17 c 721 226371 38516 1 -32.0000 -38.9333 21.67%
723.95/726.23 c 726 229779 39470 1 -32.0000 -38.9333 21.67%
728.93/731.29 c 731 232867 40315 1 -32.0000 -38.9333 21.67%
734.01/736.34 c 736 236275 40931 1 -32.0000 -38.9333 21.67%
739.09/741.40 c 741 239214 41352 1 -32.0000 -38.9333 21.67%
744.08/746.47 c 746 241707 41657 1 -32.0000 -38.9333 21.67%
749.15/751.55 c 752 244645 41959 1 -32.0000 -38.9333 21.67%
754.24/756.61 c 757 247692 42297 1 -32.0000 -38.9333 21.67%
759.22/761.67 c 762 250762 42731 1 -32.0000 -38.9333 21.67%
764.30/766.72 c 767 253649 43082 1 -32.0000 -38.9333 21.67%
769.29/771.78 c 772 256617 43314 1 -32.0000 -38.9333 21.67%
774.37/776.83 c 777 259298 43617 1 -32.0000 -38.9333 21.67%
779.46/781.91 c 782 262168 44022 1 -32.0000 -38.9333 21.67%
784.44/786.98 c 787 264977 44247 1 -32.0000 -38.9333 21.67%
789.51/792.02 c 792 267747 44564 1 -32.0000 -38.9333 21.67%
794.50/797.09 c 797 270328 45053 1 -32.0000 -38.9333 21.67%
799.58/802.16 c 802 272867 45612 1 -32.0000 -38.9333 21.67%
804.64/807.22 c 807 275607 45815 1 -32.0000 -38.9333 21.67%
809.63/812.27 c 812 278183 46203 1 -32.0000 -38.9333 21.67%
814.72/817.32 c 817 280764 46446 1 -32.0000 -38.9333 21.67%
819.69/822.38 c 822 283371 46831 1 -32.0000 -38.9333 21.67%
824.77/827.43 c 827 285646 47110 1 -32.0000 -38.9333 21.67%
829.76/832.49 c 832 288188 47567 1 -32.0000 -38.9333 21.67%
834.85/837.57 c 838 290873 47711 1 -32.0000 -38.9333 21.67%
839.93/842.61 c 843 292947 48071 1 -32.0000 -38.9333 21.67%
844.91/847.67 c 848 295850 48538 1 -32.0000 -38.9333 21.67%
849.99/852.72 c 853 298425 49069 1 -32.0000 -38.9333 21.67%
854.98/857.77 c 858 301016 49436 1 -32.0000 -38.9333 21.67%
860.06/862.82 c 863 303408 49742 1 -32.0000 -38.9333 21.67%
865.04/867.87 c 868 305672 50070 1 -32.0000 -38.9333 21.67%
870.12/872.92 c 873 307817 50358 1 -32.0000 -38.9333 21.67%
875.11/877.98 c 878 310108 50758 1 -32.0000 -38.9333 21.67%
880.19/883.03 c 883 312237 51275 1 -32.0000 -38.9333 21.67%
885.18/888.09 c 888 314267 51608 1 -32.0000 -38.9333 21.67%
890.26/893.14 c 893 316595 51958 1 -32.0000 -38.9333 21.67%
895.32/898.26 c 898 319056 52684 1 -32.0000 -38.9333 21.67%
900.51/903.41 c 903 321421 53455 1 -32.0000 -38.9333 21.67%
905.49/908.47 c 908 323659 53941 1 -32.0000 -38.9333 21.67%
910.58/913.53 c 914 326162 54558 1 -32.0000 -38.9333 21.67%
915.66/918.63 c 919 328417 54960 1 -32.0000 -38.9333 21.67%
920.65/923.68 c 924 330356 55460 1 -32.0000 -38.9333 21.67%
925.72/928.73 c 929 332181 56026 1 -32.0000 -38.9333 21.67%
930.81/933.81 c 934 334097 56490 1 -32.0000 -38.9333 21.67%
935.79/938.88 c 939 336247 56747 1 -32.0000 -38.9333 21.67%
940.87/943.94 c 944 338234 57051 1 -32.0000 -38.9333 21.67%
945.96/949.02 c 949 340651 57753 1 -32.0000 -38.9333 21.67%
950.94/954.07 c 954 342880 58098 1 -32.0000 -38.9333 21.67%
956.03/959.12 c 959 345005 58499 1 -32.0000 -38.9333 21.67%
961.00/964.18 c 964 347084 58758 1 -32.0000 -38.9333 21.67%
966.07/969.23 c 969 349297 59209 1 -32.0000 -38.9333 21.67%
971.06/974.28 c 974 351255 59660 1 -32.0000 -38.9333 21.67%
976.14/979.34 c 979 353134 60023 1 -32.0000 -38.9333 21.67%
981.22/984.40 c 984 355020 60314 1 -32.0000 -38.9333 21.67%
986.21/989.49 c 989 356947 60706 1 -32.0000 -38.9333 21.67%
991.29/994.54 c 995 359168 60996 1 -32.0000 -38.9333 21.67%
996.27/999.59 c 1000 361041 61383 1 -32.0000 -38.9333 21.67%
1001.36/1004.68 c 1005 362773 61735 1 -32.0000 -38.9333 21.67%
1006.44/1009.73 c 1010 364507 62405 1 -32.0000 -38.9333 21.67%
1011.53/1014.86 c 1015 366557 62905 1 -32.0000 -38.9333 21.67%
1016.61/1019.90 c 1020 368342 63345 1 -32.0000 -38.9333 21.67%
1021.59/1024.95 c 1025 370018 63913 1 -32.0000 -38.9333 21.67%
1026.58/1030.01 c 1030 372139 64219 1 -32.0000 -38.9333 21.67%
1031.66/1035.05 c 1035 373838 64620 1 -32.0000 -38.9333 21.67%
1037.03/1040.45 c 1040 375318 65152 1 -32.0000 -38.9333 21.67%
1042.91/1046.34 c 1046 377226 65590 1 -32.0000 -38.9286 21.65%
1047.89/1051.39 c 1051 378999 65673 1 -32.0000 -38.9286 21.65%
1052.98/1056.44 c 1056 381461 65858 1 -32.0000 -38.9286 21.65%
1058.67/1062.16 c 1062 382957 66372 1 -32.0000 -38.8571 21.43%
1063.74/1067.21 c 1067 384510 66848 1 -32.0000 -38.8571 21.43%
1068.72/1072.26 c 1072 385947 67252 1 -32.0000 -38.8571 21.43%
1073.81/1077.31 c 1077 387167 67743 1 -32.0000 -38.8571 21.43%
1078.89/1082.41 c 1082 388622 68129 1 -32.0000 -38.8571 21.43%
1083.87/1087.46 c 1087 390366 68412 1 -32.0000 -38.8571 21.43%
1088.95/1092.53 c 1093 391711 68800 1 -32.0000 -38.8571 21.43%
1093.94/1097.59 c 1098 393111 69109 1 -32.0000 -38.8571 21.43%
1099.02/1102.69 c 1103 394592 69412 1 -32.0000 -38.8571 21.43%
1104.11/1107.74 c 1108 396566 69800 1 -32.0000 -38.8571 21.43%
1109.18/1112.80 c 1113 397917 70211 1 -32.0000 -38.8571 21.43%
1114.18/1117.86 c 1118 399538 70561 1 -32.0000 -38.8571 21.43%
1119.26/1122.95 c 1123 400767 71153 1 -32.0000 -38.8571 21.43%
1124.35/1128.01 c 1128 402033 71570 1 -32.0000 -38.8571 21.43%
1129.32/1133.06 c 1133 403342 71860 1 -32.0000 -38.8571 21.43%
1134.41/1138.12 c 1138 404748 72148 1 -32.0000 -38.8571 21.43%
1139.40/1143.18 c 1143 405997 72640 1 -32.0000 -38.8571 21.43%
1144.56/1148.31 c 1148 407613 73012 1 -32.0000 -38.8571 21.43%
1149.55/1153.37 c 1153 408842 73538 1 -32.0000 -38.8571 21.43%
1154.63/1158.46 c 1158 410329 73905 1 -32.0000 -38.8571 21.43%
1159.71/1163.53 c 1164 411481 74360 1 -32.0000 -38.8571 21.43%
1164.70/1168.58 c 1169 412701 74602 1 -32.0000 -38.8571 21.43%
1169.78/1173.63 c 1174 414098 74864 1 -32.0000 -38.8571 21.43%
1174.87/1178.73 c 1179 415344 75182 1 -32.0000 -38.8571 21.43%
1179.95/1183.80 c 1184 416437 75595 1 -32.0000 -38.8571 21.43%
1184.94/1188.87 c 1189 417644 75986 1 -32.0000 -38.8571 21.43%
1190.02/1193.93 c 1194 418617 76489 1 -32.0000 -38.8571 21.43%
1195.11/1199.02 c 1199 420043 76829 1 -32.0000 -38.8571 21.43%
1200.20/1204.12 c 1204 421120 77072 1 -32.0000 -38.8571 21.43%
1205.18/1209.18 c 1209 422433 77319 1 -32.0000 -38.8571 21.43%
1210.26/1214.26 c 1214 423623 77676 1 -32.0000 -38.8571 21.43%
1215.34/1219.36 c 1219 424615 78029 1 -32.0000 -38.8571 21.43%
1220.43/1224.41 c 1224 425791 78174 1 -32.0000 -38.8571 21.43%
1225.41/1229.48 c 1229 426841 78384 1 -32.0000 -38.8571 21.43%
1230.49/1234.53 c 1235 427937 78544 1 -32.0000 -38.8571 21.43%
1235.57/1239.62 c 1240 429060 78630 1 -32.0000 -38.8571 21.43%
1240.66/1244.72 c 1245 430117 78845 1 -32.0000 -38.8571 21.43%
1245.64/1249.78 c 1250 431333 79099 1 -32.0000 -38.8571 21.43%
1250.73/1254.85 c 1255 432311 79408 1 -32.0000 -38.8571 21.43%
1255.91/1260.02 c 1260 433359 79712 1 -32.0000 -38.8571 21.43%
1260.90/1265.09 c 1265 434259 80039 1 -32.0000 -38.8571 21.43%
1266.08/1270.21 c 1270 435127 80357 1 -32.0000 -38.8571 21.43%
1271.06/1275.26 c 1275 436046 80471 1 -32.0000 -38.8571 21.43%
1276.24/1280.40 c 1280 436993 80847 1 -32.0000 -38.8571 21.43%
1281.23/1285.46 c 1285 438059 81278 1 -32.0000 -38.8571 21.43%
1286.31/1290.54 c 1291 438910 81616 1 -32.0000 -38.8571 21.43%
1291.40/1295.62 c 1296 439726 81859 1 -32.0000 -38.8571 21.43%
1296.38/1300.67 c 1301 440570 82092 1 -32.0000 -38.8571 21.43%
1301.56/1305.84 c 1306 441657 82418 1 -32.0000 -38.8571 21.43%
1306.65/1310.94 c 1311 442689 82794 1 -32.0000 -38.8571 21.43%
1311.75/1316.04 c 1316 443592 83132 1 -32.0000 -38.8571 21.43%
1316.82/1321.18 c 1321 444408 83614 1 -32.0000 -38.8571 21.43%
1321.90/1326.25 c 1326 445304 83927 1 -32.0000 -38.8571 21.43%
1326.98/1331.30 c 1331 446094 84229 1 -32.0000 -38.8571 21.43%
1331.96/1336.39 c 1336 446922 84440 1 -32.0000 -38.8571 21.43%
1337.05/1341.45 c 1341 447763 84683 1 -32.0000 -38.8571 21.43%
1342.13/1346.54 c 1347 448598 85166 1 -32.0000 -38.8571 21.43%
1347.22/1351.65 c 1352 449414 85580 1 -32.0000 -38.8571 21.43%
1352.30/1356.73 c 1357 450349 85938 1 -32.0000 -38.8571 21.43%
1357.38/1361.84 c 1362 451239 86426 1 -32.0000 -38.8571 21.43%
1362.37/1366.88 c 1367 452116 86674 1 -32.0000 -38.8571 21.43%
1367.56/1372.06 c 1372 452927 86952 1 -32.0000 -38.8571 21.43%
1372.64/1377.13 c 1377 453818 87256 1 -32.0000 -38.8571 21.43%
1377.72/1382.20 c 1382 454572 87419 1 -32.0000 -38.8571 21.43%
1382.70/1387.29 c 1387 455639 87733 1 -32.0000 -38.8571 21.43%
1387.79/1392.36 c 1392 456529 87887 1 -32.0000 -38.8571 21.43%
1392.87/1397.43 c 1397 457285 88272 1 -32.0000 -38.8571 21.43%
1397.96/1402.53 c 1403 458108 88480 1 -32.0000 -38.8571 21.43%
1403.03/1407.63 c 1408 458984 88731 1 -32.0000 -38.8571 21.43%
1408.12/1412.70 c 1413 459843 89011 1 -32.0000 -38.8571 21.43%
1413.20/1417.81 c 1418 460558 89237 1 -32.0000 -38.8571 21.43%
1418.29/1422.91 c 1423 461438 89529 1 -32.0000 -38.8571 21.43%
1423.38/1428.07 c 1428 462227 89797 1 -32.0000 -38.8571 21.43%
1428.47/1433.17 c 1433 463242 90081 1 -32.0000 -38.8571 21.43%
1433.54/1438.29 c 1438 464117 90381 1 -32.0000 -38.8571 21.43%
1438.63/1443.38 c 1443 464817 90722 1 -32.0000 -38.8571 21.43%
1443.80/1448.51 c 1448 465955 91012 1 -32.0000 -38.8571 21.43%
1448.90/1453.60 c 1454 466694 91244 1 -32.0000 -38.8571 21.43%
1453.88/1458.68 c 1459 467405 91462 1 -32.0000 -38.8571 21.43%
1459.07/1463.88 c 1464 468233 91789 1 -32.0000 -38.8571 21.43%
1464.15/1468.93 c 1469 468952 92085 1 -32.0000 -38.8571 21.43%
1469.24/1474.05 c 1474 469749 92295 1 -32.0000 -38.8571 21.43%
1474.22/1479.11 c 1479 470477 92570 1 -32.0000 -38.8571 21.43%
1479.31/1484.17 c 1484 471274 92814 1 -32.0000 -38.8571 21.43%
1484.48/1489.33 c 1489 472089 93072 1 -32.0000 -38.8571 21.43%
1489.66/1494.52 c 1495 472882 93348 1 -32.0000 -38.8571 21.43%
1494.75/1499.64 c 1500 473664 93599 1 -32.0000 -38.8571 21.43%
1499.84/1504.70 c 1505 474389 93725 1 -32.0000 -38.8571 21.43%
1504.82/1509.79 c 1510 475167 93944 1 -32.0000 -38.8571 21.43%
1510.00/1514.91 c 1515 475870 94231 1 -32.0000 -38.8571 21.43%
1514.98/1519.98 c 1520 476697 94429 1 -32.0000 -38.8571 21.43%
1520.07/1525.04 c 1525 477382 94632 1 -32.0000 -38.8571 21.43%
1525.15/1530.15 c 1530 478133 94739 1 -32.0000 -38.8571 21.43%
1530.23/1535.27 c 1535 478870 94883 1 -32.0000 -38.8571 21.43%
1535.42/1540.42 c 1540 479509 95048 1 -32.0000 -38.8571 21.43%
1540.50/1545.53 c 1546 480159 95313 1 -32.0000 -38.8571 21.43%
1545.49/1550.59 c 1551 480817 95694 1 -32.0000 -38.8571 21.43%
1550.56/1555.66 c 1556 481577 95870 1 -32.0000 -38.8571 21.43%
1555.65/1560.77 c 1561 482314 96077 1 -32.0000 -38.8571 21.43%
1560.73/1565.87 c 1566 483202 96305 1 -32.0000 -38.8571 21.43%
1565.82/1570.94 c 1571 483897 96639 1 -32.0000 -38.8571 21.43%
1570.91/1576.04 c 1576 484608 96770 1 -32.0000 -38.8571 21.43%
1575.99/1581.11 c 1581 485180 96980 1 -32.0000 -38.8571 21.43%
1580.98/1586.18 c 1586 485865 97111 1 -32.0000 -38.8571 21.43%
1586.05/1591.28 c 1591 486563 97427 1 -32.0000 -38.8571 21.43%
1591.14/1596.37 c 1596 487232 97855 1 -32.0000 -38.8571 21.43%
1596.22/1601.48 c 1601 487964 98275 1 -32.0000 -38.8571 21.43%
1601.30/1606.55 c 1607 488554 98693 1 -32.0000 -38.8571 21.43%
1606.39/1611.68 c 1612 489417 99059 1 -32.0000 -38.8571 21.43%
1611.58/1616.82 c 1617 490170 99452 1 -32.0000 -38.8571 21.43%
1616.66/1621.93 c 1622 490819 99801 1 -32.0000 -38.8571 21.43%
1621.65/1626.99 c 1627 491695 99924 1 -32.0000 -38.8571 21.43%
1626.74/1632.10 c 1632 492484 100081 1 -32.0000 -38.8571 21.43%
1631.82/1637.16 c 1637 493144 100341 1 -32.0000 -38.8571 21.43%
1636.89/1642.23 c 1642 493825 100466 1 -32.0000 -38.8571 21.43%
1641.98/1647.34 c 1647 494409 100830 1 -32.0000 -38.8571 21.43%
1647.07/1652.42 c 1652 495026 101015 1 -32.0000 -38.8571 21.43%
1652.25/1657.66 c 1658 495647 101163 1 -32.0000 -38.8571 21.43%
1657.33/1662.72 c 1663 496239 101219 1 -32.0000 -38.8571 21.43%
1662.41/1667.82 c 1668 496777 101328 1 -32.0000 -38.8571 21.43%
1667.40/1672.88 c 1673 497807 101448 1 -32.0000 -38.8571 21.43%
1672.49/1677.98 c 1678 498418 101674 1 -32.0000 -38.8571 21.43%
1677.58/1683.09 c 1683 499095 102037 1 -32.0000 -38.8571 21.43%
1682.66/1688.15 c 1688 499755 102286 1 -32.0000 -38.8571 21.43%
1687.74/1693.26 c 1693 500347 102649 1 -32.0000 -38.8571 21.43%
1692.92/1698.43 c 1698 500900 103006 1 -32.0000 -38.8571 21.43%
1698.01/1703.52 c 1704 501460 103236 1 -32.0000 -38.8571 21.43%
1702.99/1708.58 c 1709 502063 103496 1 -32.0000 -38.8571 21.43%
1708.17/1713.74 c 1714 502726 103635 1 -32.0000 -38.8571 21.43%
1713.26/1718.84 c 1719 503297 103916 1 -32.0000 -38.8571 21.43%
1718.34/1723.93 c 1724 503950 104119 1 -32.0000 -38.8571 21.43%
1723.72/1729.35 c 1729 504572 104451 1 -32.0000 -38.8571 21.43%
1728.81/1734.48 c 1734 505159 104823 1 -32.0000 -38.8571 21.43%
1733.99/1739.62 c 1740 505757 105099 1 -32.0000 -38.8571 21.43%
1739.18/1744.80 c 1745 506399 105397 1 -32.0000 -38.8571 21.43%
1744.26/1749.99 c 1750 507127 105672 1 -32.0000 -38.8571 21.43%
1749.45/1755.16 c 1755 507772 105996 1 -32.0000 -38.8571 21.43%
1754.53/1760.28 c 1760 508346 106376 1 -32.0000 -38.8571 21.43%
1759.62/1765.36 c 1765 508964 106623 1 -32.0000 -38.8571 21.43%
1764.69/1770.47 c 1770 509514 106825 1 -32.0000 -38.8571 21.43%
1769.78/1775.52 c 1776 510143 107212 1 -32.0000 -38.8571 21.43%
1774.87/1780.65 c 1781 510734 107492 1 -32.0000 -38.8571 21.43%
1779.95/1785.77 c 1786 511316 107922 1 -32.0000 -38.8571 21.43%
1785.04/1790.86 c 1791 511869 108118 1 -32.0000 -38.8571 21.43%
1790.23/1796.06 c 1796 512447 108289 1 -32.0000 -38.8571 21.43%
1795.31/1801.19 c 1801 512921 108547 1 -32.0000 -38.8571 21.43%
1800.59/1806.40 c 1806 513427 108859 1 -32.0000 -38.8571 21.43%
1805.67/1811.56 c 1812 514084 109074 1 -32.0000 -38.8571 21.43%
1810.76/1816.66 c 1817 514615 109373 1 -32.0000 -38.8571 21.43%
1815.85/1821.77 c 1822 515156 109580 1 -32.0000 -38.8571 21.43%
1820.93/1826.88 c 1827 515649 109805 1 -32.0000 -38.8571 21.43%
1826.12/1832.01 c 1832 516239 110079 1 -32.0000 -38.8571 21.43%
1831.11/1837.10 c 1837 516845 110275 1 -32.0000 -38.8571 21.43%
1836.28/1842.20 c 1842 517527 110493 1 -32.0000 -38.8571 21.43%
1841.37/1847.30 c 1847 518182 110687 1 -32.0000 -38.8571 21.43%
1846.35/1852.37 c 1852 518726 110894 1 -32.0000 -38.8571 21.43%
1851.53/1857.58 c 1858 519248 111110 1 -32.0000 -38.8571 21.43%
1856.62/1862.68 c 1863 519718 111236 1 -32.0000 -38.8571 21.43%
1861.70/1867.79 c 1868 520358 111419 1 -32.0000 -38.8571 21.43%
1866.79/1872.83 c 1873 521039 111636 1 -32.0000 -38.8571 21.43%
1871.87/1877.91 c 1878 521723 111823 1 -32.0000 -38.8571 21.43%
1876.86/1882.98 c 1883 522305 111968 1 -32.0000 -38.8571 21.43%
1882.05/1888.13 c 1888 522857 112156 1 -32.0000 -38.8571 21.43%
1887.13/1893.29 c 1893 523384 112339 1 -32.0000 -38.8571 21.43%
1892.31/1898.40 c 1898 523962 112528 1 -32.0000 -38.8571 21.43%
1897.40/1903.51 c 1904 524451 112708 1 -32.0000 -38.8571 21.43%
1902.38/1908.59 c 1909 525040 112903 1 -32.0000 -38.8571 21.43%
1907.57/1913.71 c 1914 525555 113071 1 -32.0000 -38.8571 21.43%
1912.65/1918.81 c 1919 526233 113294 1 -32.0000 -38.8571 21.43%
1917.73/1923.92 c 1924 526888 113475 1 -32.0000 -38.8571 21.43%
1922.83/1929.09 c 1929 527477 113727 1 -32.0000 -38.8571 21.43%
1927.92/1934.15 c 1934 527941 113875 1 -32.0000 -38.8571 21.43%
1932.99/1939.26 c 1939 528369 114025 1 -32.0000 -38.8571 21.43%
1938.07/1944.34 c 1944 528989 114117 1 -32.0000 -38.8571 21.43%
1943.16/1949.48 c 1949 529552 114362 1 -32.0000 -38.8571 21.43%
1948.33/1954.61 c 1955 530348 114442 1 -32.0000 -38.8571 21.43%
1953.52/1959.83 c 1960 531106 114710 1 -32.0000 -38.8571 21.43%
1958.60/1964.92 c 1965 531876 114855 1 -32.0000 -38.8571 21.43%
1963.71/1970.02 c 1970 532409 115071 1 -32.0000 -38.8571 21.43%
1968.79/1975.11 c 1975 532864 115309 1 -32.0000 -38.8571 21.43%
1973.86/1980.20 c 1980 533549 115405 1 -32.0000 -38.8571 21.43%
1978.94/1985.30 c 1985 534094 115608 1 -32.0000 -38.8571 21.43%
1984.13/1990.58 c 1991 534663 115892 1 -32.0000 -38.8571 21.43%
1989.31/1995.71 c 1996 535176 116079 1 -32.0000 -38.8571 21.43%
1994.49/2000.91 c 2001 535627 116464 1 -32.0000 -38.8571 21.43%
1999.58/2006.01 c 2006 536123 116794 1 -32.0000 -38.8571 21.43%
2004.66/2011.19 c 2011 536778 117161 1 -32.0000 -38.8571 21.43%
2009.74/2016.27 c 2016 537317 117517 1 -32.0000 -38.8571 21.43%
2014.92/2021.47 c 2021 537845 117789 1 -32.0000 -38.8571 21.43%
2020.01/2026.56 c 2027 538398 118054 1 -32.0000 -38.8571 21.43%
2025.29/2031.85 c 2032 538934 118333 1 -32.0000 -38.8571 21.43%
2030.48/2037.06 c 2037 539457 118681 1 -32.0000 -38.8571 21.43%
2035.57/2042.17 c 2042 540003 119063 1 -32.0000 -38.8571 21.43%
2040.64/2047.26 c 2047 540517 119312 1 -32.0000 -38.8571 21.43%
2045.73/2052.37 c 2052 541021 119687 1 -32.0000 -38.8571 21.43%
2050.91/2057.56 c 2058 541429 120027 1 -32.0000 -38.8571 21.43%
2056.09/2062.76 c 2063 541953 120398 1 -32.0000 -38.8571 21.43%
2061.67/2068.34 c 2068 542742 120675 1 -32.0000 -38.8571 21.43%
2066.86/2073.52 c 2074 543327 120877 1 -32.0000 -38.8571 21.43%
2071.94/2078.68 c 2079 543906 121096 1 -32.0000 -38.8571 21.43%
2077.13/2083.87 c 2084 544408 121392 1 -32.0000 -38.8571 21.43%
2082.32/2089.05 c 2089 544927 121714 1 -32.0000 -38.8571 21.43%
2087.50/2094.21 c 2094 545396 121964 1 -32.0000 -38.8571 21.43%
2092.59/2099.30 c 2099 545973 122129 1 -32.0000 -38.8571 21.43%
2098.17/2104.95 c 2105 546564 122293 1 -32.0000 -38.8571 21.43%
2103.26/2110.03 c 2110 547079 122451 1 -32.0000 -38.8571 21.43%
2108.93/2115.76 c 2116 547683 122502 1 -32.0000 -38.8516 21.41%
2114.02/2120.87 c 2121 548214 122664 1 -32.0000 -38.8516 21.41%
2119.10/2125.93 c 2126 548666 122793 1 -32.0000 -38.8516 21.41%
2124.19/2131.02 c 2131 549150 122966 1 -32.0000 -38.8516 21.41%
2129.28/2136.11 c 2136 549562 123068 1 -32.0000 -38.8429 21.38%
2134.95/2141.82 c 2142 550198 123223 1 -32.0000 -38.7692 21.15%
2140.14/2147.02 c 2147 550619 123443 1 -32.0000 -38.7692 21.15%
2145.31/2152.29 c 2152 551059 123743 1 -32.0000 -38.7692 21.15%
2150.70/2157.64 c 2158 551466 123970 1 -32.0000 -38.7692 21.15%
2155.88/2162.85 c 2163 551886 124203 1 -32.0000 -38.7692 21.15%
2161.08/2168.03 c 2168 552386 124569 1 -32.0000 -38.7692 21.15%
2166.16/2173.19 c 2173 552791 124847 1 -32.0000 -38.7692 21.15%
2171.33/2178.39 c 2178 553259 125008 1 -32.0000 -38.7692 21.15%
2176.52/2183.51 c 2184 553729 125223 1 -32.0000 -38.7692 21.15%
2181.60/2188.69 c 2189 554163 125372 1 -32.0000 -38.7692 21.15%
2186.79/2193.82 c 2194 554598 125583 1 -32.0000 -38.7692 21.15%
2191.88/2198.91 c 2199 555105 125928 1 -32.0000 -38.7692 21.15%
2197.07/2204.12 c 2204 555595 126186 1 -32.0000 -38.7692 21.15%
2202.14/2209.21 c 2209 556056 126426 1 -32.0000 -38.7692 21.15%
2207.23/2214.35 c 2214 556475 126724 1 -32.0000 -38.7692 21.15%
2212.41/2219.53 c 2220 556869 126999 1 -32.0000 -38.7692 21.15%
2217.50/2224.68 c 2225 557342 127337 1 -32.0000 -38.7692 21.15%
2222.68/2229.85 c 2230 557781 127518 1 -32.0000 -38.7692 21.15%
2227.77/2234.96 c 2235 558277 127679 1 -32.0000 -38.7692 21.15%
2232.96/2240.15 c 2240 558808 127864 1 -32.0000 -38.7692 21.15%
2238.04/2245.26 c 2245 559452 128049 1 -32.0000 -38.7692 21.15%
2243.32/2250.50 c 2250 559824 128341 1 -32.0000 -38.7692 21.15%
2248.41/2255.66 c 2256 560263 128667 1 -32.0000 -38.7692 21.15%
2253.69/2260.93 c 2261 560757 128909 1 -32.0000 -38.7692 21.15%
2258.77/2266.03 c 2266 561395 129073 1 -32.0000 -38.7692 21.15%
2263.77/2271.11 c 2271 561908 129189 1 -32.0000 -38.7692 21.15%
2268.85/2276.19 c 2276 562353 129362 1 -32.0000 -38.7692 21.15%
2273.92/2281.27 c 2281 562788 129545 1 -32.0000 -38.7692 21.15%
2279.10/2286.44 c 2286 563298 129644 1 -32.0000 -38.7692 21.15%
2284.29/2291.63 c 2292 563791 129798 1 -32.0000 -38.7692 21.15%
2289.79/2297.17 c 2297 564244 130145 1 -32.0000 -38.7692 21.15%
2294.86/2302.27 c 2302 564674 130435 1 -32.0000 -38.7692 21.15%
2300.14/2307.51 c 2308 565055 130776 1 -32.0000 -38.7692 21.15%
2305.22/2312.69 c 2313 565465 131100 1 -32.0000 -38.7692 21.15%
2310.41/2317.84 c 2318 565884 131318 1 -32.0000 -38.7692 21.15%
2315.60/2323.02 c 2323 566337 131571 1 -32.0000 -38.7692 21.15%
2320.60/2328.09 c 2328 566806 131823 1 -32.0000 -38.7692 21.15%
2325.86/2333.34 c 2333 567216 132109 1 -32.0000 -38.7692 21.15%
2331.05/2338.52 c 2339 567709 132322 1 -32.0000 -38.7692 21.15%
2336.13/2343.60 c 2344 568181 132556 1 -32.0000 -38.7692 21.15%
2341.22/2348.78 c 2349 568600 132852 1 -32.0000 -38.7692 21.15%
2346.40/2353.92 c 2354 569028 133027 1 -32.0000 -38.7692 21.15%
2351.49/2359.08 c 2359 569465 133341 1 -32.0000 -38.7692 21.15%
2356.78/2364.31 c 2364 569855 133677 1 -32.0000 -38.7692 21.15%
2361.96/2369.55 c 2370 570230 133996 1 -32.0000 -38.7692 21.15%
2367.14/2374.77 c 2375 570595 134178 1 -32.0000 -38.7692 21.15%
2372.23/2379.89 c 2380 571069 134417 1 -32.0000 -38.7692 21.15%
2377.42/2385.03 c 2385 571437 134681 1 -32.0000 -38.7692 21.15%
2382.60/2390.22 c 2390 571861 134990 1 -32.0000 -38.7692 21.15%
2387.68/2395.33 c 2395 572234 135255 1 -32.0000 -38.7692 21.15%
2392.77/2400.45 c 2400 572710 135407 1 -32.0000 -38.7692 21.15%
2397.95/2405.61 c 2406 573255 135631 1 -32.0000 -38.7692 21.15%
2403.13/2410.84 c 2411 573665 135907 1 -32.0000 -38.7692 21.15%
2408.33/2416.08 c 2416 574142 136170 1 -32.0000 -38.7692 21.15%
2413.41/2421.13 c 2421 574557 136347 1 -32.0000 -38.7692 21.15%
2418.59/2426.30 c 2426 575067 136556 1 -32.0000 -38.7692 21.15%
2423.57/2431.35 c 2431 575679 136687 1 -32.0000 -38.7692 21.15%
2429.06/2436.86 c 2437 576184 136808 1 -32.0000 -38.7692 21.15%
2434.14/2442.01 c 2442 576647 136961 1 -32.0000 -38.7692 21.15%
2439.41/2447.21 c 2447 577055 137038 1 -32.0000 -38.7692 21.15%
2444.80/2452.67 c 2453 577538 137295 1 -32.0000 -38.7628 21.13%
2450.48/2458.33 c 2458 578162 137424 1 -32.0000 -38.7552 21.11%
2455.86/2463.71 c 2464 578713 137494 1 -32.0000 -38.7500 21.09%
2460.96/2468.81 c 2469 579145 137682 1 -32.0000 -38.7500 21.09%
2465.94/2473.83 c 2474 579792 137777 1 -32.0000 -38.7326 21.04%
2471.42/2479.30 c 2479 580381 137876 1 -32.0000 -38.7286 21.03%
2476.50/2484.45 c 2484 580819 138030 1 -32.0000 -38.6667 20.83%
2481.59/2489.58 c 2490 581411 138186 1 -32.0000 -38.6667 20.83%
2486.77/2494.71 c 2495 581823 138380 1 -32.0000 -38.6667 20.83%
2491.86/2499.83 c 2500 582259 138526 1 -32.0000 -38.6667 20.83%
2496.94/2504.94 c 2505 582677 138700 1 -32.0000 -38.6667 20.83%
2502.04/2510.06 c 2510 583037 139010 1 -32.0000 -38.6667 20.83%
2507.21/2515.20 c 2515 583459 139200 1 -32.0000 -38.6667 20.83%
2512.39/2520.45 c 2520 583858 139497 1 -32.0000 -38.6667 20.83%
2517.67/2525.76 c 2526 584268 139822 1 -32.0000 -38.6667 20.83%
2522.86/2530.93 c 2531 584721 140242 1 -32.0000 -38.6667 20.83%
2528.14/2536.21 c 2536 585141 140456 1 -32.0000 -38.6667 20.83%
2533.34/2541.41 c 2541 585554 140662 1 -32.0000 -38.6667 20.83%
2538.51/2546.60 c 2547 585976 140811 1 -32.0000 -38.6667 20.83%
2543.70/2551.88 c 2552 586385 140910 1 -32.0000 -38.6667 20.83%
2549.59/2557.78 c 2558 586805 141171 1 -32.0000 -38.6667 20.83%
2555.07/2563.27 c 2563 587278 141372 1 -32.0000 -38.6154 20.67%
2560.25/2568.46 c 2568 587866 141399 1 -32.0000 -38.5952 20.61%
2565.34/2573.54 c 2574 588288 141493 1 -32.0000 -38.5952 20.61%
2570.42/2578.64 c 2579 588755 141598 1 -32.0000 -38.5952 20.61%
2575.50/2583.76 c 2584 589212 141756 1 -32.0000 -38.5952 20.61%
2580.69/2588.98 c 2589 589577 141875 1 -32.0000 -38.5952 20.61%
2585.78/2594.09 c 2594 590138 141917 1 -32.0000 -38.5952 20.61%
2590.95/2599.22 c 2599 590635 142021 1 -32.0000 -38.5952 20.61%
2596.14/2604.44 c 2604 591220 142161 1 -32.0000 -38.5952 20.61%
2601.22/2609.55 c 2610 591877 142290 1 -32.0000 -38.5952 20.61%
2606.50/2614.90 c 2615 592695 142314 1 -32.0000 -38.5897 20.59%
2612.37/2620.77 c 2621 593198 142569 1 -32.0000 -38.5455 20.45%
2617.67/2626.05 c 2626 593541 142842 1 -32.0000 -38.5455 20.45%
2622.75/2631.14 c 2631 593997 142992 1 -32.0000 -38.5455 20.45%
2627.82/2636.21 c 2636 594494 143152 1 -32.0000 -38.5455 20.45%
2632.90/2641.35 c 2641 594967 143515 1 -32.0000 -38.5455 20.45%
2638.87/2647.32 c 2647 595537 143849 1 -32.0000 -38.5000 20.31%
2643.95/2652.47 c 2652 595983 143866 1 -32.0000 -38.5000 20.31%
2649.04/2657.53 c 2658 596595 143922 1 -32.0000 -38.5000 20.31%
2654.12/2662.70 c 2663 597144 143997 1 -32.0000 -38.5000 20.31%
2659.20/2667.76 c 2668 597695 144103 1 -32.0000 -38.5000 20.31%
2664.38/2672.95 c 2673 598195 144191 1 -32.0000 -38.5000 20.31%
2669.48/2678.06 c 2678 598722 144337 1 -32.0000 -38.5000 20.31%
2674.56/2683.18 c 2683 599352 144425 1 -32.0000 -38.5000 20.31%
2679.73/2688.33 c 2688 599979 144584 1 -32.0000 -38.5000 20.31%
2684.81/2693.43 c 2693 600548 144800 1 -32.0000 -38.5000 20.31%
2689.89/2698.50 c 2698 601241 145004 1 -32.0000 -38.5000 20.31%
2694.97/2703.64 c 2704 601815 145173 1 -32.0000 -38.4286 20.09%
2700.06/2708.73 c 2709 602519 145263 1 -32.0000 -38.4286 20.09%
2705.94/2714.68 c 2715 603287 145425 1 -32.0000 -38.3814 19.94%
2711.51/2720.24 c 2720 603857 145581 1 -32.0000 -38.3462 19.83%
2716.59/2725.34 c 2725 604480 145777 1 -32.0000 -38.3462 19.83%
2721.67/2730.42 c 2730 605109 145998 1 -32.0000 -38.3462 19.83%
2726.76/2735.51 c 2736 605906 146196 1 -32.0000 -38.3462 19.83%
2731.84/2740.62 c 2741 606548 146335 1 -32.0000 -38.3462 19.83%
2736.92/2745.70 c 2746 607231 146586 1 -32.0000 -38.3462 19.83%
2741.90/2750.79 c 2751 608112 146820 1 -32.0000 -38.3333 19.79%
2747.59/2756.48 c 2756 609078 146997 1 -32.0000 -38.1591 19.25%
2752.86/2761.75 c 2762 609802 147166 1 -32.0000 -38.1364 19.18%
2758.04/2766.97 c 2767 610764 147338 1 -32.0000 -38.0000 18.75%
2763.14/2772.04 c 2772 611887 147639 1 -32.0000 -38.0000 18.75%
2768.22/2777.12 c 2777 613077 147823 1 -32.0000 -38.0000 18.75%
2773.29/2782.25 c 2782 613978 148049 1 -32.0000 -38.0000 18.75%
2778.38/2787.38 c 2787 614953 148396 1 -32.0000 -38.0000 18.75%
2783.45/2792.48 c 2792 615937 148817 1 -32.0000 -38.0000 18.75%
2788.54/2797.57 c 2798 616877 149015 1 -32.0000 -38.0000 18.75%
2793.63/2802.63 c 2803 617737 149244 1 -32.0000 -38.0000 18.75%
2798.71/2807.70 c 2808 618799 149558 1 -32.0000 -38.0000 18.75%
2803.69/2812.78 c 2813 619697 149755 1 -32.0000 -38.0000 18.75%
2808.77/2817.83 c 2818 620660 150089 1 -32.0000 -38.0000 18.75%
2813.85/2822.94 c 2823 621610 150306 1 -32.0000 -38.0000 18.75%
2818.84/2828.01 c 2828 622554 150588 1 -32.0000 -38.0000 18.75%
2823.92/2833.07 c 2833 623742 150860 1 -32.0000 -38.0000 18.75%
2829.01/2838.13 c 2838 625179 151275 1 -32.0000 -38.0000 18.75%
2834.09/2843.20 c 2843 626618 151512 1 -32.0000 -38.0000 18.75%
2839.07/2848.29 c 2848 627731 151792 1 -32.0000 -38.0000 18.75%
2844.15/2853.34 c 2853 629033 152178 1 -32.0000 -38.0000 18.75%
2849.23/2858.44 c 2858 630187 152409 1 -32.0000 -38.0000 18.75%
2854.32/2863.57 c 2864 631396 152728 1 -32.0000 -38.0000 18.75%
2859.40/2868.64 c 2869 632697 152890 1 -32.0000 -38.0000 18.75%
2864.49/2873.70 c 2874 633987 153319 1 -32.0000 -38.0000 18.75%
2869.48/2878.77 c 2879 635268 153553 1 -32.0000 -38.0000 18.75%
2874.66/2883.90 c 2884 636272 153923 1 -32.0000 -38.0000 18.75%
2879.64/2889.01 c 2889 637581 154307 1 -32.0000 -38.0000 18.75%
2884.73/2894.05 c 2894 638913 154684 1 -32.0000 -38.0000 18.75%
2889.82/2899.13 c 2899 639877 155067 1 -32.0000 -38.0000 18.75%
2894.88/2904.21 c 2904 641082 155286 1 -32.0000 -38.0000 18.75%
2899.87/2909.26 c 2909 642438 155599 1 -32.0000 -38.0000 18.75%
2904.96/2914.32 c 2914 643563 155633 1 -32.0000 -38.0000 18.75%
2909.94/2919.39 c 2919 644931 156202 1 -32.0000 -38.0000 18.75%
2915.03/2924.44 c 2924 646042 156702 1 -32.0000 -38.0000 18.75%
2920.01/2929.49 c 2929 647530 157058 1 -32.0000 -38.0000 18.75%
2925.09/2934.54 c 2935 648906 157466 1 -32.0000 -38.0000 18.75%
2930.28/2939.70 c 2940 650245 157946 1 -32.0000 -38.0000 18.75%
2935.26/2944.80 c 2945 651327 158228 1 -32.0000 -38.0000 18.75%
2940.35/2949.84 c 2950 652392 158499 1 -32.0000 -38.0000 18.75%
2945.43/2954.91 c 2955 653428 158620 1 -32.0000 -38.0000 18.75%
2950.42/2959.99 c 2960 654699 158851 1 -32.0000 -38.0000 18.75%
2955.50/2965.06 c 2965 656063 159177 1 -32.0000 -38.0000 18.75%
2960.59/2970.12 c 2970 657152 159478 1 -32.0000 -38.0000 18.75%
2965.65/2975.20 c 2975 658385 159775 1 -32.0000 -38.0000 18.75%
2970.64/2980.26 c 2980 659840 160056 1 -32.0000 -38.0000 18.75%
2975.73/2985.35 c 2985 660904 160347 1 -32.0000 -38.0000 18.75%
2980.81/2990.45 c 2990 662118 160768 1 -32.0000 -38.0000 18.75%
2985.89/2995.55 c 2996 663471 161226 1 -32.0000 -38.0000 18.75%
2990.98/3000.60 c 3001 664785 161737 1 -32.0000 -38.0000 18.75%
2995.97/3005.65 c 3006 666008 162110 1 -32.0000 -38.0000 18.75%
3001.05/3010.76 c 3011 667147 162340 1 -32.0000 -38.0000 18.75%
3006.13/3015.85 c 3016 668588 162945 1 -32.0000 -38.0000 18.75%
3011.21/3020.90 c 3021 670054 163444 1 -32.0000 -38.0000 18.75%
3016.20/3025.97 c 3026 671462 163848 1 -32.0000 -38.0000 18.75%
3021.30/3031.06 c 3031 672761 164409 1 -32.0000 -38.0000 18.75%
3026.38/3036.14 c 3036 673897 164721 1 -32.0000 -38.0000 18.75%
3031.36/3041.19 c 3041 675101 165068 1 -32.0000 -38.0000 18.75%
3036.44/3046.28 c 3046 676343 165564 1 -32.0000 -38.0000 18.75%
3041.52/3051.34 c 3051 677681 165836 1 -32.0000 -38.0000 18.75%
3046.51/3056.38 c 3056 678868 166195 1 -32.0000 -38.0000 18.75%
3051.60/3061.46 c 3061 679917 166593 1 -32.0000 -38.0000 18.75%
3056.67/3066.56 c 3067 681337 167027 1 -32.0000 -38.0000 18.75%
3061.86/3071.71 c 3072 682617 167422 1 -32.0000 -38.0000 18.75%
3066.94/3076.80 c 3077 683487 167684 1 -32.0000 -38.0000 18.75%
3072.14/3082.09 c 3082 684327 167919 1 -32.0000 -38.0000 18.75%
3077.22/3087.18 c 3087 685445 168208 1 -32.0000 -38.0000 18.75%
3082.29/3092.24 c 3092 686530 168461 1 -32.0000 -38.0000 18.75%
3087.38/3097.30 c 3097 687590 168646 1 -32.0000 -38.0000 18.75%
3092.46/3102.41 c 3102 688829 169040 1 -32.0000 -38.0000 18.75%
3097.55/3107.51 c 3108 689879 169225 1 -32.0000 -38.0000 18.75%
3102.53/3112.56 c 3113 690732 169527 1 -32.0000 -38.0000 18.75%
3107.61/3117.69 c 3118 691807 169980 1 -32.0000 -38.0000 18.75%
3112.80/3122.80 c 3123 692918 170480 1 -32.0000 -38.0000 18.75%
3117.78/3127.89 c 3128 693986 170773 1 -32.0000 -38.0000 18.75%
3122.87/3132.94 c 3133 695016 171210 1 -32.0000 -38.0000 18.75%
3127.96/3138.02 c 3138 696147 171705 1 -32.0000 -38.0000 18.75%
3132.94/3143.09 c 3143 697332 172142 1 -32.0000 -38.0000 18.75%
3138.12/3148.20 c 3148 698261 172429 1 -32.0000 -38.0000 18.75%
3143.20/3153.32 c 3153 699427 172763 1 -32.0000 -38.0000 18.75%
3148.29/3158.40 c 3158 700645 173114 1 -32.0000 -38.0000 18.75%
3153.37/3163.51 c 3164 701847 173418 1 -32.0000 -38.0000 18.75%
3158.35/3168.56 c 3169 702941 173928 1 -32.0000 -38.0000 18.75%
3163.44/3173.63 c 3174 704051 174484 1 -32.0000 -38.0000 18.75%
3168.52/3178.71 c 3179 705109 174907 1 -32.0000 -38.0000 18.75%
3173.51/3183.76 c 3184 706287 175404 1 -32.0000 -38.0000 18.75%
3178.59/3188.81 c 3189 707543 175842 1 -32.0000 -38.0000 18.75%
3183.68/3193.92 c 3194 708831 176161 1 -32.0000 -38.0000 18.75%
3188.66/3198.99 c 3199 709940 176402 1 -32.0000 -38.0000 18.75%
3193.75/3204.06 c 3204 710906 176762 1 -32.0000 -38.0000 18.75%
3198.83/3209.12 c 3209 712044 177248 1 -32.0000 -38.0000 18.75%
3203.91/3214.22 c 3214 713126 177521 1 -32.0000 -38.0000 18.75%
3208.89/3219.27 c 3219 714237 177878 1 -32.0000 -38.0000 18.75%
3213.97/3224.35 c 3224 715475 178442 1 -32.0000 -38.0000 18.75%
3219.06/3229.46 c 3229 716466 178750 1 -32.0000 -38.0000 18.75%
3224.14/3234.59 c 3235 717667 179061 1 -32.0000 -38.0000 18.75%
3229.23/3239.68 c 3240 718811 179394 1 -32.0000 -38.0000 18.75%
3234.31/3244.76 c 3245 720057 179824 1 -32.0000 -38.0000 18.75%
3239.40/3249.88 c 3250 721384 180203 1 -32.0000 -38.0000 18.75%
3244.48/3254.94 c 3255 722459 180500 1 -32.0000 -38.0000 18.75%
3249.56/3260.01 c 3260 723412 180752 1 -32.0000 -38.0000 18.75%
3254.55/3265.06 c 3265 724715 181276 1 -32.0000 -38.0000 18.75%
3259.53/3270.11 c 3270 725850 181611 1 -32.0000 -38.0000 18.75%
3264.71/3275.21 c 3275 726861 181934 1 -32.0000 -38.0000 18.75%
3269.69/3280.27 c 3280 727721 182173 1 -32.0000 -38.0000 18.75%
3274.77/3285.32 c 3285 728758 182612 1 -32.0000 -38.0000 18.75%
3279.86/3290.40 c 3290 729626 182818 1 -32.0000 -38.0000 18.75%
3284.94/3295.50 c 3296 730765 183118 1 -32.0000 -38.0000 18.75%
3289.93/3300.57 c 3301 731721 183379 1 -32.0000 -38.0000 18.75%
3295.01/3305.64 c 3306 732766 183678 1 -32.0000 -38.0000 18.75%
3300.10/3310.73 c 3311 733651 183815 1 -32.0000 -38.0000 18.75%
3305.18/3315.87 c 3316 734535 184092 1 -32.0000 -38.0000 18.75%
3310.26/3320.98 c 3321 735627 184426 1 -32.0000 -38.0000 18.75%
3315.35/3326.03 c 3326 736996 185007 1 -32.0000 -38.0000 18.75%
3320.44/3331.14 c 3331 738107 185382 1 -32.0000 -38.0000 18.75%
3325.52/3336.24 c 3336 739151 185743 1 -32.0000 -38.0000 18.75%
3330.60/3341.32 c 3341 740123 186061 1 -32.0000 -38.0000 18.75%
3335.68/3346.43 c 3346 741237 186339 1 -32.0000 -38.0000 18.75%
3340.77/3351.58 c 3352 742257 186721 1 -32.0000 -38.0000 18.75%
3345.85/3356.66 c 3357 743179 186951 1 -32.0000 -38.0000 18.75%
3350.93/3361.72 c 3362 744122 187115 1 -32.0000 -38.0000 18.75%
3355.92/3366.77 c 3367 745083 187467 1 -32.0000 -38.0000 18.75%
3361.00/3371.83 c 3372 746029 187758 1 -32.0000 -38.0000 18.75%
3365.99/3376.89 c 3377 746850 187905 1 -32.0000 -38.0000 18.75%
3371.07/3381.95 c 3382 747808 188174 1 -32.0000 -38.0000 18.75%
3376.16/3387.01 c 3387 748521 188517 1 -32.0000 -38.0000 18.75%
3381.14/3392.09 c 3392 749561 188859 1 -32.0000 -38.0000 18.75%
3386.22/3397.14 c 3397 750775 189373 1 -32.0000 -38.0000 18.75%
3391.29/3402.21 c 3402 751531 189601 1 -32.0000 -38.0000 18.75%
3396.28/3407.28 c 3407 752446 189851 1 -32.0000 -38.0000 18.75%
3401.37/3412.34 c 3412 753439 190048 1 -32.0000 -38.0000 18.75%
3406.44/3417.49 c 3417 754531 190343 1 -32.0000 -38.0000 18.75%
3411.53/3422.59 c 3423 755627 190863 1 -32.0000 -38.0000 18.75%
3416.71/3427.73 c 3428 756577 191171 1 -32.0000 -38.0000 18.75%
3421.71/3432.79 c 3433 757565 191580 1 -32.0000 -38.0000 18.75%
3426.79/3437.85 c 3438 758770 191860 1 -32.0000 -38.0000 18.75%
3431.87/3442.92 c 3443 759741 192113 1 -32.0000 -38.0000 18.75%
3436.86/3447.98 c 3448 760649 192328 1 -32.0000 -38.0000 18.75%
3442.14/3453.20 c 3453 761475 192498 1 -32.0000 -38.0000 18.75%
3447.23/3458.32 c 3458 762417 192660 1 -32.0000 -38.0000 18.75%
3452.30/3463.45 c 3463 763147 192903 1 -32.0000 -38.0000 18.75%
3457.49/3468.60 c 3469 764037 193204 1 -32.0000 -38.0000 18.75%
3462.47/3473.67 c 3474 764799 193276 1 -32.0000 -38.0000 18.75%
3467.66/3478.81 c 3479 765749 193469 1 -32.0000 -38.0000 18.75%
3472.64/3483.88 c 3484 766819 193779 1 -32.0000 -38.0000 18.75%
3477.83/3489.04 c 3489 767803 194129 1 -32.0000 -38.0000 18.75%
3482.92/3494.13 c 3494 768939 194418 1 -32.0000 -38.0000 18.75%
3487.99/3499.20 c 3499 769774 194527 1 -32.0000 -38.0000 18.75%
3492.97/3504.27 c 3504 770493 194644 1 -32.0000 -38.0000 18.75%
3498.06/3509.34 c 3509 771273 194810 1 -32.0000 -38.0000 18.75%
3503.24/3514.52 c 3515 772164 194977 1 -32.0000 -38.0000 18.75%
3508.22/3519.58 c 3520 773012 195095 1 -32.0000 -38.0000 18.75%
3513.41/3524.71 c 3525 773807 195232 1 -32.0000 -38.0000 18.75%
3518.39/3529.78 c 3530 774689 195419 1 -32.0000 -38.0000 18.75%
3523.48/3534.85 c 3535 775435 195545 1 -32.0000 -38.0000 18.75%
3528.56/3539.92 c 3540 776233 195726 1 -32.0000 -38.0000 18.75%
3533.55/3544.98 c 3545 777057 195952 1 -32.0000 -38.0000 18.75%
3538.63/3550.03 c 3550 777747 196140 1 -32.0000 -38.0000 18.75%
3543.62/3555.08 c 3555 778660 196405 1 -32.0000 -38.0000 18.75%
3548.79/3560.23 c 3560 779477 196643 1 -32.0000 -38.0000 18.75%
3553.78/3565.27 c 3565 780237 196791 1 -32.0000 -38.0000 18.75%
3558.86/3570.36 c 3570 781087 197099 1 -32.0000 -38.0000 18.75%
3563.95/3575.45 c 3575 782052 197485 1 -32.0000 -38.0000 18.75%
3569.03/3580.50 c 3580 783088 197780 1 -32.0000 -38.0000 18.75%
3574.12/3585.64 c 3586 783941 198105 1 -32.0000 -38.0000 18.75%
3579.20/3590.73 c 3591 784841 198303 1 -32.0000 -38.0000 18.75%
3584.39/3595.90 c 3596 785648 198459 1 -32.0000 -38.0000 18.75%
3588.97/3600.56 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.97/3600.56 c Total Time : 3600.56
3588.97/3600.56 c solving : 3600.56
3588.97/3600.56 c presolving : 0.06 (included in solving)
3588.97/3600.56 c B&B Tree :
3588.97/3600.56 c nodes (total) : 1
3588.97/3600.56 c Solution :
3588.97/3600.56 c Solutions found : 6
3588.97/3600.56 c Primal Bound : -3.20000000000000e+01
3588.97/3600.56 c Dual Bound : -3.80000000000000e+01
3588.97/3600.56 c Gap : 18.75000 %
3588.97/3600.56 c * Warning: final gap: 1.87500e-01 is greater than SCIPepsilon: 1.00000e-09
3588.97/3600.56 o -32
3588.97/3600.56 s SATISFIABLE
3588.97/3600.56 v -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 x891
3588.97/3600.56 v -x890 -x889 x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870
3588.97/3600.56 v -x869 -x868 -x867 -x866 x865 -x864 -x863 x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 x853 -x852 -x851 -x850 -x849
3588.97/3600.56 v -x848 -x847 -x846 -x845 x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828
3588.97/3600.56 v -x827 x826 -x825 -x824 x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806
3588.97/3600.56 v -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785
3588.97/3600.56 v -x1056 x1055 -x1054 -x1053 -x1052 x1051 x1050 x1049 -x1048 x1047 x1046 x1045 -x1044 -x1043 -x1042 x1041 -x512 -x511 -x510
3588.97/3600.56 v -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 x497 -x496 -x495 -x494 -x493 -x492 -x491 x490 -x489
3588.97/3600.56 v -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468
3588.97/3600.56 v -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447
3588.97/3600.56 v -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426
3588.97/3600.56 v -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 x409 -x408 -x407 -x406 -x405
3588.97/3600.56 v -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384
3588.97/3600.56 v -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 x373 -x372 -x371 -x370 -x369 -x368 x367 -x366 -x365 -x364 -x363
3588.97/3600.56 v -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342
3588.97/3600.56 v -x341 -x340 -x339 -x338 x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321
3588.97/3600.56 v -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300
3588.97/3600.56 v -x299 -x298 -x297 -x296 x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279
3588.97/3600.56 v -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258
3588.97/3600.56 v -x257 x784 x783 -x782 x781 -x780 -x779 x778 -x777 x776 x775 -x774 -x773 x772 x771 -x770 -x769 -x1040 -x1039 -x1038 -x1037
3588.97/3600.56 v -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019
3588.97/3600.56 v -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001
3588.97/3600.56 v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 x993 -x992 -x991 x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 x981 -x980
3588.97/3600.56 v -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 x963 -x962 -x961 -x960 -x959
3588.97/3600.56 v -x958 -x957 -x956 -x955 x954 -x953 -x952 x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938
3588.97/3600.56 v -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 x920 -x919 -x918 -x917
3588.97/3600.56 v -x916 -x915 -x914 -x913 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 x753 -x752
3588.97/3600.56 v -x751 -x750 -x749 -x748 -x747 x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731
3588.97/3600.56 v -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 x715 -x714 -x713 -x712 -x711 -x710
3588.97/3600.56 v -x709 -x708 x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689
3588.97/3600.56 v -x688 -x687 x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 x676 -x675 -x674 -x673 x672 -x671 -x670 -x669 -x668 -x667
3588.97/3600.56 v -x666 x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 x652 -x651 -x650 -x649 -x648 -x647 -x646
3588.97/3600.57 v -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 x629 -x628 -x627 -x626 -x625
3588.97/3600.57 v -x624 x623 -x622 -x621 -x620 -x619 -x618 -x617 x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604
3588.97/3600.57 v -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583
3588.97/3600.57 v -x582 -x581 -x580 -x579 x578 -x577 -x576 -x575 -x574 x573 -x572 -x571 -x570 -x569 -x568 -x567 x566 -x565 -x564 -x563 -x562
3588.97/3600.57 v -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541
3588.97/3600.57 v -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520
3588.97/3600.57 v -x519 -x518 -x517 -x516 -x515 -x514 -x513 x256 x255 -x254 -x253 -x252 -x251 x250 -x249 -x248 x247 -x246 -x245 -x244 x243 -x242
3588.97/3600.57 v -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221
3588.97/3600.57 v -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200
3588.97/3600.57 v -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180
3588.97/3600.57 v -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159
3588.97/3600.57 v -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138
3588.97/3600.57 v -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117
3588.97/3600.57 v -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95
3588.97/3600.57 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
3588.97/3600.57 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
3588.97/3600.57 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
3588.97/3600.57 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: 64096 MiB (61950 MiB free)
memory of node 1: 64473 MiB (61439 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458460-1721868732/watcher-4458460-1721868732 -o /tmp/evaluation-result-4458460-1721868732/solver-4458460-1721868732 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721865122-213622 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4458460-1721868732.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=216602, runsolver pid=216599
[startup+0.100083 s]*
/proc/loadavg: 4.27 4.17 4.08 6/246 216605
/proc/meminfo: memFree=126301976/131655788 swapFree=131070192/131071996
[pid=216602] ppid=216599 vsize=121484 memory=34376 CPUtime=0.1 cores=5,7
/proc/216602/stat : 216602 (fscip) S 216599 216602 213609 0 -1 1077936128 5589 0 0 0 9 1 0 0 20 0 3 0 22862025 124399616 8594 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
/proc/216602/statm: 30371 8594 2798 3032 0 12046 0
[pid=216602/tid=216604] ppid=216599 vsize=121484 memory=4026532157 CPUtime=0.01 cores=5,7
/proc/216602/task/216604/stat : 216604 (fscip) R 216599 216602 213609 0 -1 4194368 1396 0 0 0 1 0 0 0 20 0 3 0 22862033 124399616 8594 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
[pid=216602/tid=216605] ppid=216599 vsize=121484 memory=219966341476 CPUtime=0 cores=5,7
/proc/216602/task/216605/stat : 216605 (fscip) R 216599 216602 213609 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 3 0 22862035 124399616 8594 134679101440 4194304 16613245 140721351242224 0 0 0 2147221247 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 121484 KiB
Current children cumulated memory: 34376 KiB
[startup+0.213398 s]*
/proc/loadavg: 4.27 4.17 4.08 7/245 216609
/proc/meminfo: memFree=126336204/131655788 swapFree=131070192/131071996
[pid=216602] ppid=216599 vsize=121484 memory=37964 CPUtime=0.21 cores=5,7
/proc/216602/stat : 216602 (fscip) S 216599 216602 213609 0 -1 1077936128 6434 0 0 0 20 1 0 0 20 0 3 0 22862025 124399616 9491 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
/proc/216602/statm: 30371 9491 2910 3032 0 12954 0
[pid=216602/tid=216604] ppid=216599 vsize=121484 memory=7589421003159122170 CPUtime=0.12 cores=5,7
/proc/216602/task/216604/stat : 216604 (fscip) R 216599 216602 213609 0 -1 4194368 2241 0 0 0 12 0 0 0 20 0 3 0 22862033 124399616 9491 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
[pid=216602/tid=216605] ppid=216599 vsize=121484 memory=1355262 CPUtime=0 cores=5,7
/proc/216602/task/216605/stat : 216605 (fscip) S 216599 216602 213609 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 22862035 124399616 9491 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 121484 KiB
Current children cumulated memory: 37964 KiB
[startup+0.313056 s]*
/proc/loadavg: 4.27 4.17 4.08 4/247 216629
/proc/meminfo: memFree=126322932/131655788 swapFree=131070192/131071996
[pid=216602] ppid=216599 vsize=123364 memory=44564 CPUtime=0.31 cores=5,7
/proc/216602/stat : 216602 (fscip) S 216599 216602 213609 0 -1 1077936128 8049 0 0 0 29 2 0 0 20 0 3 0 22862025 126324736 11141 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
/proc/216602/statm: 30841 11141 2910 3032 0 14605 0
[pid=216602/tid=216604] ppid=216599 vsize=123364 memory=7311146985107750967 CPUtime=0.23 cores=5,7
/proc/216602/task/216604/stat : 216604 (fscip) R 216599 216602 213609 0 -1 4194368 3866 0 0 0 22 1 0 0 20 0 3 0 22862033 126324736 11141 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
[pid=216602/tid=216605] ppid=216599 vsize=123364 memory=1355266 CPUtime=0 cores=5,7
/proc/216602/task/216605/stat : 216605 (fscip) S 216599 216602 213609 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 22862035 126324736 11141 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 123364 KiB
Current children cumulated memory: 44564 KiB
[startup+0.700342 s]
/proc/loadavg: 4.24 4.16 4.08 5/239 216658
/proc/meminfo: memFree=126433572/131655788 swapFree=131070192/131071996
[pid=216602] ppid=216599 vsize=123364 memory=46408 CPUtime=0.69 cores=5,7
/proc/216602/stat : 216602 (fscip) S 216599 216602 213609 0 -1 1077936128 8542 0 0 0 67 2 0 0 20 0 3 0 22862025 126324736 11602 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
/proc/216602/statm: 30841 11602 2910 3032 0 15394 0
[pid=216602/tid=216604] ppid=216599 vsize=123364 memory=0 CPUtime=0.6 cores=5,7
/proc/216602/task/216604/stat : 216604 (fscip) R 216599 216602 213609 0 -1 4194368 4349 0 0 0 59 1 0 0 20 0 3 0 22862033 126324736 11602 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
[pid=216602/tid=216605] ppid=216599 vsize=123364 memory=1357144 CPUtime=0 cores=5,7
/proc/216602/task/216605/stat : 216605 (fscip) S 216599 216602 213609 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 22862035 126324736 11602 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 123364 KiB
Current children cumulated memory: 46408 KiB
[startup+1.50043 s]
/proc/loadavg: 4.24 4.16 4.08 5/243 216745
/proc/meminfo: memFree=126389172/131655788 swapFree=131070192/131071996
[pid=216602] ppid=216599 vsize=125568 memory=56812 CPUtime=1.48 cores=5,7
/proc/216602/stat : 216602 (fscip) S 216599 216602 213609 0 -1 1077936128 14560 0 0 0 145 3 0 0 20 0 3 0 22862025 128581632 14203 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
/proc/216602/statm: 31392 14203 2910 3032 0 17849 0
[pid=216602/tid=216604] ppid=216599 vsize=125568 memory=0 CPUtime=1.38 cores=5,7
/proc/216602/task/216604/stat : 216604 (fscip) R 216599 216602 213609 0 -1 4194368 10363 0 0 0 137 1 0 0 20 0 3 0 22862033 128581632 14203 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
[pid=216602/tid=216605] ppid=216599 vsize=125568 memory=0 CPUtime=0 cores=5,7
/proc/216602/task/216605/stat : 216605 (fscip) S 216599 216602 213609 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 22862035 128581632 14203 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 125568 KiB
Current children cumulated memory: 56812 KiB
[startup+3.11271 s]
/proc/loadavg: 4.24 4.16 4.08 5/248 216755
/proc/meminfo: memFree=126012088/131655788 swapFree=131070192/131071996
[pid=216602] ppid=216599 vsize=125568 memory=62328 CPUtime=3.09 cores=5,7
/proc/216602/stat : 216602 (fscip) S 216599 216602 213609 0 -1 1077936128 16343 0 0 0 306 3 0 0 20 0 3 0 22862025 128581632 15582 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
/proc/216602/statm: 31392 15582 2958 3032 0 19261 0
[pid=216602/tid=216604] ppid=216599 vsize=125568 memory=0 CPUtime=3 cores=5,7
/proc/216602/task/216604/stat : 216604 (fscip) R 216599 216602 213609 0 -1 4194368 12123 0 0 0 298 2 0 0 20 0 3 0 22862033 128581632 15582 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
[pid=216602/tid=216605] ppid=216599 vsize=125568 memory=1980 CPUtime=0 cores=5,7
/proc/216602/task/216605/stat : 216605 (fscip) S 216599 216602 213609 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 22862035 128581632 15582 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 125568 KiB
Current children cumulated memory: 62328 KiB
[startup+6.30034 s]
/proc/loadavg: 4.22 4.16 4.08 5/248 216755
/proc/meminfo: memFree=125939560/131655788 swapFree=131070192/131071996
[pid=216602] ppid=216599 vsize=126596 memory=79508 CPUtime=6.26 cores=5,7
/proc/216602/stat : 216602 (fscip) S 216599 216602 213609 0 -1 1077936128 29501 0 0 0 622 4 0 0 20 0 3 0 22862025 129634304 19877 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
/proc/216602/statm: 31649 19877 2958 3032 0 23788 0
[pid=216602/tid=216604] ppid=216599 vsize=126596 memory=-6081379491708582755 CPUtime=6.17 cores=5,7
/proc/216602/task/216604/stat : 216604 (fscip) R 216599 216602 213609 0 -1 4194368 25257 0 0 0 614 3 0 0 20 0 3 0 22862033 129634304 19877 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
[pid=216602/tid=216605] ppid=216599 vsize=126596 memory=0 CPUtime=0 cores=5,7
/proc/216602/task/216605/stat : 216605 (fscip) S 216599 216602 213609 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 22862035 129634304 19877 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 126596 KiB
Current children cumulated memory: 79508 KiB
[startup+12.7004 s]
/proc/loadavg: 4.21 4.16 4.08 5/248 216807
/proc/meminfo: memFree=125894700/131655788 swapFree=131070192/131071996
[pid=216602] ppid=216599 vsize=128644 memory=96364 CPUtime=12.65 cores=5,7
/proc/216602/stat : 216602 (fscip) S 216599 216602 213609 0 -1 1077936128 58838 0 0 0 1257 8 0 0 20 0 3 0 22862025 131731456 24091 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
/proc/216602/statm: 32161 24091 2974 3032 0 28399 0
[pid=216602/tid=216604] ppid=216599 vsize=128644 memory=0 CPUtime=12.55 cores=5,7
/proc/216602/task/216604/stat : 216604 (fscip) R 216599 216602 213609 0 -1 4194368 54377 0 0 0 1249 6 0 0 20 0 3 0 22862033 131731456 24091 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
[pid=216602/tid=216605] ppid=216599 vsize=128644 memory=96356 CPUtime=0 cores=5,7
/proc/216602/task/216605/stat : 216605 (fscip) S 216599 216602 213609 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 22862035 131731456 24091 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 128644 KiB
Current children cumulated memory: 96364 KiB
[startup+25.5004 s]
/proc/loadavg: 4.25 4.17 4.08 5/250 216953
/proc/meminfo: memFree=125173732/131655788 swapFree=131070192/131071996
[pid=216602] ppid=216599 vsize=194180 memory=103500 CPUtime=25.42 cores=5,7
/proc/216602/stat : 216602 (fscip) S 216599 216602 213609 0 -1 1077936128 83475 0 0 0 2532 10 0 0 20 0 3 0 22862025 198840320 25875 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
/proc/216602/statm: 48545 25875 2974 3032 0 30263 0
[pid=216602/tid=216604] ppid=216599 vsize=194180 memory=103500 CPUtime=25.32 cores=5,7
/proc/216602/task/216604/stat : 216604 (fscip) R 216599 216602 213609 0 -1 4194368 78963 0 0 0 2524 8 0 0 20 0 3 0 22862033 198840320 25875 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
[pid=216602/tid=216605] ppid=216599 vsize=194180 memory=103500 CPUtime=0 cores=5,7
/proc/216602/task/216605/stat : 216605 (fscip) S 216599 216602 213609 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 22862035 198840320 25875 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 194180 KiB
Current children cumulated memory: 103500 KiB
[startup+51.1128 s]
/proc/loadavg: 4.26 4.18 4.09 5/250 216957
/proc/meminfo: memFree=125079940/131655788 swapFree=131070192/131071996
[pid=216602] ppid=216599 vsize=194180 memory=112732 CPUtime=50.96 cores=5,7
/proc/216602/stat : 216602 (fscip) S 216599 216602 213609 0 -1 1077936128 117539 0 0 0 5083 13 0 0 20 0 3 0 22862025 198840320 28183 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
/proc/216602/statm: 48545 28183 3310 3032 0 31924 0
[pid=216602/tid=216604] ppid=216599 vsize=194180 memory=103516 CPUtime=50.86 cores=5,7
/proc/216602/task/216604/stat : 216604 (fscip) R 216599 216602 213609 0 -1 4194368 112946 0 0 0 5075 11 0 0 20 0 3 0 22862033 198840320 28183 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
[pid=216602/tid=216605] ppid=216599 vsize=194180 memory=11412 CPUtime=0 cores=5,7
/proc/216602/task/216605/stat : 216605 (fscip) S 216599 216602 213609 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 22862035 198840320 28183 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 194180 KiB
Current children cumulated memory: 112732 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.17 4.09 5/250 216966
/proc/meminfo: memFree=125022604/131655788 swapFree=131070192/131071996
[pid=216602] ppid=216599 vsize=194180 memory=121708 CPUtime=102.01 cores=5,7
/proc/216602/stat : 216602 (fscip) S 216599 216602 213609 0 -1 1077936128 154313 0 0 0 10183 18 0 0 20 0 3 0 22862025 198840320 30427 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
/proc/216602/statm: 48545 30427 3310 3032 0 34150 0
[pid=216602/tid=216604] ppid=216599 vsize=194180 memory=103528 CPUtime=101.91 cores=5,7
/proc/216602/task/216604/stat : 216604 (fscip) R 216599 216602 213609 0 -1 4194368 149642 0 0 0 10174 17 0 0 20 0 3 0 22862033 198840320 30427 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
[pid=216602/tid=216605] ppid=216599 vsize=194180 memory=11412 CPUtime=0 cores=5,7
/proc/216602/task/216605/stat : 216605 (fscip) S 216599 216602 213609 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 22862035 198840320 30427 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 194180 KiB
Current children cumulated memory: 121708 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.16 4.09 5/250 216976
/proc/meminfo: memFree=124793180/131655788 swapFree=131070192/131071996
[pid=216602] ppid=216599 vsize=197260 memory=140368 CPUtime=161.85 cores=5,7
/proc/216602/stat : 216602 (fscip) S 216599 216602 213609 0 -1 1077936128 188729 0 0 0 16160 25 0 0 20 0 3 0 22862025 201994240 35092 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
/proc/216602/statm: 49315 35092 3310 3032 0 38587 0
[pid=216602/tid=216604] ppid=216599 vsize=197260 memory=103528 CPUtime=161.73 cores=5,7
/proc/216602/task/216604/stat : 216604 (fscip) R 216599 216602 213609 0 -1 4194368 184003 0 0 0 16151 22 0 0 20 0 3 0 22862033 201994240 35092 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
[pid=216602/tid=216605] ppid=216599 vsize=197260 memory=128716 CPUtime=0 cores=5,7
/proc/216602/task/216605/stat : 216605 (fscip) S 216599 216602 213609 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 22862035 201994240 35092 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 197260 KiB
################
# More data... #
################
/proc/216602/statm: 172245 159046 3310 3032 0 161839 0
[pid=216602/tid=216604] ppid=216599 vsize=688980 memory=11880 CPUtime=3450.77 cores=5,7
/proc/216602/task/216604/stat : 216604 (fscip) R 216599 216602 213609 0 -1 4194368 1533111 0 0 0 344724 353 0 0 20 0 3 0 22862033 705515520 159046 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
[pid=216602/tid=216605] ppid=216599 vsize=688980 memory=11412 CPUtime=0.04 cores=5,7
/proc/216602/task/216605/stat : 216605 (fscip) S 216599 216602 213609 0 -1 1077936192 70 0 0 0 1 3 0 0 20 0 3 0 22862035 705515520 159046 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
Current children cumulated CPU time: 3451.21 s
Current children cumulated vsize: 688980 KiB
Current children cumulated memory: 636184 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.17 4.18 5/250 218829
/proc/meminfo: memFree=122414256/131655788 swapFree=131070192/131071996
[pid=216602] ppid=216599 vsize=688980 memory=645468 CPUtime=3511.02 cores=5,7
/proc/216602/stat : 216602 (fscip) S 216599 216602 213609 0 -1 1077936128 1559031 0 0 0 350727 375 0 0 20 0 3 0 22862025 705515520 161367 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
/proc/216602/statm: 172245 161367 3310 3032 0 164295 0
[pid=216602/tid=216604] ppid=216599 vsize=688980 memory=635872 CPUtime=3510.57 cores=5,7
/proc/216602/task/216604/stat : 216604 (fscip) R 216599 216602 213609 0 -1 4194368 1553359 0 0 0 350698 359 0 0 20 0 3 0 22862033 705515520 161367 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
[pid=216602/tid=216605] ppid=216599 vsize=688980 memory=643796 CPUtime=0.04 cores=5,7
/proc/216602/task/216605/stat : 216605 (fscip) S 216599 216602 213609 0 -1 1077936192 71 0 0 0 1 3 0 0 20 0 3 0 22862035 705515520 161367 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
Current children cumulated CPU time: 3511.02 s
Current children cumulated vsize: 688980 KiB
Current children cumulated memory: 645468 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.17 4.18 5/251 218841
/proc/meminfo: memFree=122406976/131655788 swapFree=131070192/131071996
[pid=216602] ppid=216599 vsize=694620 memory=652036 CPUtime=3570.82 cores=5,7
/proc/216602/stat : 216602 (fscip) S 216599 216602 213609 0 -1 1077936128 1577833 0 0 0 356702 380 0 0 20 0 3 0 22862025 711290880 163009 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
/proc/216602/statm: 173655 163009 3310 3032 0 166951 0
[pid=216602/tid=216604] ppid=216599 vsize=694620 memory=652036 CPUtime=3570.38 cores=5,7
/proc/216602/task/216604/stat : 216604 (fscip) R 216599 216602 213609 0 -1 4194368 1572145 0 0 0 356674 364 0 0 20 0 3 0 22862033 711290880 163009 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
[pid=216602/tid=216605] ppid=216599 vsize=694620 memory=16132 CPUtime=0.04 cores=5,7
/proc/216602/task/216605/stat : 216605 (fscip) S 216599 216602 213609 0 -1 1077936192 72 0 0 0 1 3 0 0 20 0 3 0 22862035 711290880 163009 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
Current children cumulated CPU time: 3570.82 s
Current children cumulated vsize: 694620 KiB
Current children cumulated memory: 652036 KiB
[startup+3600.58 s]
# the end of solver process 216602 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.2 s, system=3.86069 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.17 4.18 5/251 218841
/proc/meminfo: memFree=122406984/131655788 swapFree=131070192/131071996
[pid=216602] ppid=216599 vsize=694620 memory=652036 CPUtime=3572.53 cores=5,7
/proc/216602/stat : 216602 (fscip) S 216599 216602 213609 0 -1 1077936128 1578174 0 0 0 356873 380 0 0 20 0 3 0 22862025 711290880 163009 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
/proc/216602/statm: 173655 163009 3310 3032 0 166951 0
[pid=216602/tid=216604] ppid=216599 vsize=694620 memory=2748 CPUtime=3572.08 cores=5,7
/proc/216602/task/216604/stat : 216604 (fscip) R 216599 216602 213609 0 -1 4194368 1572486 0 0 0 356844 364 0 0 20 0 3 0 22862033 711290880 163009 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
[pid=216602/tid=216605] ppid=216599 vsize=694620 memory=3200 CPUtime=0.04 cores=5,7
/proc/216602/task/216605/stat : 216605 (fscip) S 216599 216602 213609 0 -1 1077936192 72 0 0 0 1 3 0 0 20 0 3 0 22862035 711290880 163009 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
Current children cumulated CPU time: 3572.53 s
Current children cumulated vsize: 694620 KiB
Current children cumulated memory: 652036 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.17 4.18 5/251 218842
/proc/meminfo: memFree=122402580/131655788 swapFree=131070192/131071996
[pid=216602] ppid=216599 vsize=694620 memory=656236 CPUtime=3578.9 cores=5,7
/proc/216602/stat : 216602 (fscip) S 216599 216602 213609 0 -1 1077936128 1580623 0 0 0 357509 381 0 0 20 0 3 0 22862025 711290880 164059 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
/proc/216602/statm: 173655 164059 3310 3032 0 168581 0
[pid=216602/tid=216604] ppid=216599 vsize=694620 memory=652040 CPUtime=3578.45 cores=5,7
/proc/216602/task/216604/stat : 216604 (fscip) R 216599 216602 213609 0 -1 4194368 1574927 0 0 0 357480 365 0 0 20 0 3 0 22862033 711290880 164059 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
[pid=216602/tid=216605] ppid=216599 vsize=694620 memory=8258645701324739740 CPUtime=0.04 cores=5,7
/proc/216602/task/216605/stat : 216605 (fscip) S 216599 216602 213609 0 -1 1077936192 72 0 0 0 1 3 0 0 20 0 3 0 22862035 711290880 164059 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
Current children cumulated CPU time: 3578.9 s
Current children cumulated vsize: 694620 KiB
Current children cumulated memory: 656236 KiB
[startup+3596.8 s]
/proc/loadavg: 4.20 4.18 4.18 5/251 218842
/proc/meminfo: memFree=122402592/131655788 swapFree=131070192/131071996
[pid=216602] ppid=216599 vsize=694620 memory=656384 CPUtime=3585.28 cores=5,7
/proc/216602/stat : 216602 (fscip) S 216599 216602 213609 0 -1 1077936128 1580904 0 0 0 358146 382 0 0 20 0 3 0 22862025 711290880 164096 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
/proc/216602/statm: 173655 164096 3310 3032 0 168581 0
[pid=216602/tid=216604] ppid=216599 vsize=694620 memory=76344 CPUtime=3584.83 cores=5,7
/proc/216602/task/216604/stat : 216604 (fscip) R 216599 216602 213609 0 -1 4194368 1575208 0 0 0 358118 365 0 0 20 0 3 0 22862033 711290880 164096 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
[pid=216602/tid=216605] ppid=216599 vsize=694620 memory=11412 CPUtime=0.04 cores=5,7
/proc/216602/task/216605/stat : 216605 (fscip) S 216599 216602 213609 0 -1 1077936192 72 0 0 0 1 3 0 0 20 0 3 0 22862035 711290880 164096 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
Current children cumulated CPU time: 3585.28 s
Current children cumulated vsize: 694620 KiB
Current children cumulated memory: 656384 KiB
[startup+3598.4 s]
/proc/loadavg: 4.18 4.18 4.18 5/251 218844
/proc/meminfo: memFree=122402312/131655788 swapFree=131070192/131071996
[pid=216602] ppid=216599 vsize=694620 memory=656588 CPUtime=3586.88 cores=5,7
/proc/216602/stat : 216602 (fscip) S 216599 216602 213609 0 -1 1077936128 1581041 0 0 0 358306 382 0 0 20 0 3 0 22862025 711290880 164147 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
/proc/216602/statm: 173655 164147 3310 3032 0 168581 0
[pid=216602/tid=216604] ppid=216599 vsize=694620 memory=76344 CPUtime=3586.43 cores=5,7
/proc/216602/task/216604/stat : 216604 (fscip) R 216599 216602 213609 0 -1 4194368 1575345 0 0 0 358277 366 0 0 20 0 3 0 22862033 711290880 164147 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
[pid=216602/tid=216605] ppid=216599 vsize=694620 memory=11880 CPUtime=0.04 cores=5,7
/proc/216602/task/216605/stat : 216605 (fscip) S 216599 216602 213609 0 -1 1077936192 72 0 0 0 1 3 0 0 20 0 3 0 22862035 711290880 164147 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
Current children cumulated CPU time: 3586.88 s
Current children cumulated vsize: 694620 KiB
Current children cumulated memory: 656588 KiB
[startup+3599.2 s]
/proc/loadavg: 4.18 4.18 4.18 5/251 218844
/proc/meminfo: memFree=122402304/131655788 swapFree=131070192/131071996
[pid=216602] ppid=216599 vsize=694620 memory=656588 CPUtime=3587.68 cores=5,7
/proc/216602/stat : 216602 (fscip) S 216599 216602 213609 0 -1 1077936128 1581066 0 0 0 358386 382 0 0 20 0 3 0 22862025 711290880 164147 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
/proc/216602/statm: 173655 164147 3310 3032 0 168581 0
[pid=216602/tid=216604] ppid=216599 vsize=694620 memory=11412 CPUtime=3587.23 cores=5,7
/proc/216602/task/216604/stat : 216604 (fscip) R 216599 216602 213609 0 -1 4194368 1575370 0 0 0 358357 366 0 0 20 0 3 0 22862033 711290880 164147 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
[pid=216602/tid=216605] ppid=216599 vsize=694620 memory=76344 CPUtime=0.04 cores=5,7
/proc/216602/task/216605/stat : 216605 (fscip) S 216599 216602 213609 0 -1 1077936192 72 0 0 0 1 3 0 0 20 0 3 0 22862035 711290880 164147 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
Current children cumulated CPU time: 3587.68 s
Current children cumulated vsize: 694620 KiB
Current children cumulated memory: 656588 KiB
[startup+3600 s]*
/proc/loadavg: 4.18 4.18 4.18 5/251 218844
/proc/meminfo: memFree=122402304/131655788 swapFree=131070192/131071996
[pid=216602] ppid=216599 vsize=694620 memory=656596 CPUtime=3588.48 cores=5,7
/proc/216602/stat : 216602 (fscip) S 216599 216602 213609 0 -1 1077936128 1583583 0 0 0 358466 382 0 0 20 0 3 0 22862025 711290880 164149 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
/proc/216602/statm: 173655 164149 3310 3032 0 168581 0
[pid=216602/tid=216604] ppid=216599 vsize=694620 memory=33388 CPUtime=3588.04 cores=5,7
/proc/216602/task/216604/stat : 216604 (fscip) R 216599 216602 213609 0 -1 4194368 1577886 0 0 0 358438 366 0 0 20 0 3 0 22862033 711290880 164149 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
[pid=216602/tid=216605] ppid=216599 vsize=694620 memory=32804 CPUtime=0.04 cores=5,7
/proc/216602/task/216605/stat : 216605 (fscip) S 216599 216602 213609 0 -1 1077936192 72 0 0 0 1 3 0 0 20 0 3 0 22862035 711290880 164149 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
Current children cumulated CPU time: 3588.48 s
Current children cumulated vsize: 694620 KiB
Current children cumulated memory: 656596 KiB
[startup+3600.4 s]
/proc/loadavg: 4.18 4.18 4.18 5/251 218844
/proc/meminfo: memFree=122402304/131655788 swapFree=131070192/131071996
[pid=216602] ppid=216599 vsize=694620 memory=656596 CPUtime=3588.88 cores=5,7
/proc/216602/stat : 216602 (fscip) S 216599 216602 213609 0 -1 1077936128 1603811 0 0 0 358504 384 0 0 20 0 3 0 22862025 711290880 164149 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
/proc/216602/statm: 173655 164149 3310 3032 0 168581 0
[pid=216602/tid=216604] ppid=216599 vsize=694620 memory=19192 CPUtime=3588.42 cores=5,7
/proc/216602/task/216604/stat : 216604 (fscip) R 216599 216602 213609 0 -1 4194368 1598244 0 0 0 358475 367 0 0 20 0 3 0 22862033 711290880 164149 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
[pid=216602/tid=216605] ppid=216599 vsize=694620 memory=2216 CPUtime=0.04 cores=5,7
/proc/216602/task/216605/stat : 216605 (fscip) S 216599 216602 213609 0 -1 1077936192 72 0 0 0 1 3 0 0 20 0 3 0 22862035 711290880 164149 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
Current children cumulated CPU time: 3588.88 s
Current children cumulated vsize: 694620 KiB
Current children cumulated memory: 656596 KiB
[startup+3600.5 s]
/proc/loadavg: 4.18 4.18 4.18 5/251 218844
/proc/meminfo: memFree=122402304/131655788 swapFree=131070192/131071996
[pid=216602] ppid=216599 vsize=694620 memory=656596 CPUtime=3588.97 cores=5,7
/proc/216602/stat : 216602 (fscip) S 216599 216602 213609 0 -1 1077936128 1606436 0 0 0 358513 384 0 0 20 0 3 0 22862025 711290880 164149 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
/proc/216602/statm: 173655 164149 3310 3032 0 168581 0
[pid=216602/tid=216604] ppid=216599 vsize=694620 memory=652036 CPUtime=3588.52 cores=5,7
/proc/216602/task/216604/stat : 216604 (fscip) R 216599 216602 213609 0 -1 4194368 1600739 0 0 0 358485 367 0 0 20 0 3 0 22862033 711290880 164149 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
[pid=216602/tid=216605] ppid=216599 vsize=694620 memory=11880 CPUtime=0.04 cores=5,7
/proc/216602/task/216605/stat : 216605 (fscip) S 216599 216602 213609 0 -1 1077936192 72 0 0 0 1 3 0 0 20 0 3 0 22862035 711290880 164149 134679101440 4194304 16613245 140721351242224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53641216 140721351246869 140721351246985 140721351246985 140721351254000 0
Current children cumulated CPU time: 3588.97 s
Current children cumulated vsize: 694620 KiB
Current children cumulated memory: 656596 KiB
Child status: 0
Real time (s): 3600.58
CPU time (s): 3589.06
CPU user time (s): 3585.2
CPU system time (s): 3.86069
CPU usage (%): 99.6801
Max. virtual memory (cumulated for all children) (KiB): 694620
Max. memory (cumulated for all children) (KiB): 656596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.2
system time used= 3.86069
maximum resident set size= 657476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1607822
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= 11086
involuntary context switches= 3608
# summary of solver processes directly reported to runsolver:
# pid: 216602
# total CPU time (s): 3589.06
# total CPU user time (s): 3585.2
# total CPU system time (s): 3.86069
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.027 second user time and 34.7909 second system time
The end
Begin job on nodeC002 at 2024-07-25 02:52:12
IDJOB=4458460
IDBENCH=177485
IDSOLVER=3064
FILE ID=nodeC002/4458460-1721868732
RUNJOBID= nodeC002-1721865122-213622
SLURM_JOB_ID= 8089198
Free space on /tmp= 723700 MiB
SOLVER NAME= FiberSCIP 2024-07-02
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-4458460-1721868732/watcher-4458460-1721868732 -o /tmp/evaluation-result-4458460-1721868732/solver-4458460-1721868732 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721865122-213622 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4458460-1721868732.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 678da6339402b89815c46f6042afd950
RANDOM SEED=47154855
nodeC002.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 : 0xb00001f
cpu MHz : 1197.181
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.43
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 : 0xb00001f
cpu MHz : 3192.912
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.41
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 : 0xb00001f
cpu MHz : 1197.187
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.43
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 : 0xb00001f
cpu MHz : 1197.159
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.41
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 : 0xb00001f
cpu MHz : 1795.739
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.43
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 : 0xb00001f
cpu MHz : 1197.445
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.41
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 : 0xb00001f
cpu MHz : 1197.466
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.43
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 : 0xb00001f
cpu MHz : 1197.159
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.41
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126367536 kB
MemAvailable: 129805228 kB
Buffers: 300736 kB
Cached: 3949468 kB
SwapCached: 72 kB
Active: 2298272 kB
Inactive: 2404040 kB
Active(anon): 1536 kB
Inactive(anon): 504092 kB
Active(file): 2296736 kB
Inactive(file): 1899948 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070192 kB
Dirty: 85628 kB
Writeback: 0 kB
AnonPages: 450516 kB
Mapped: 127172 kB
Shmem: 53844 kB
KReclaimable: 162412 kB
Slab: 273808 kB
SReclaimable: 162412 kB
SUnreclaim: 111396 kB
KernelStack: 3952 kB
PageTables: 10136 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 833304 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 11872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 196608 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: 316232 kB
DirectMap2M: 36288512 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 723660 MiB
End job on nodeC002 at 2024-07-25 03:52:13