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.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 22396928, getVmSize() = 22396928, SCIPgetMemUsed() = 878966, SCIPgetMemTotal() = 990398, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.01 c ** Estimated virtualMemUsedAtSolver = 15825578, getVmSize() = 25079808, SCIPgetMemUsed() = 1228655, SCIPgetMemTotal() = 2480039, SCIPgetMemExternEstim() = 1048576
0.00/0.01 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.01 c Original Problem :
0.00/0.01 c Problem name : instance-4434694-1721095524
0.00/0.01 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 10
0.00/0.01 c Objective sense : minimize
0.00/0.01 c Presolved Problem :
0.00/0.01 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 10
0.00/0.01 c Constraints : Number
0.00/0.01 c linear : 7
0.00/0.01 c logicor : 3
0.00/0.01 c ** Instance transfer method used: 0
0.00/0.02 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.02 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.02 c Nodes Active
0.00/0.02 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.00/0.04 c * 0 0 1 1 1039.0000 - -
0.00/0.09 c * 0 0 1 1 988.0000 - -
0.52/0.54 c * 1 2 1 1 711.0000 0.0000 -
0.52/0.56 c * 1 2 1 1 532.0000 0.0000 -
0.52/0.59 c * 1 2 1 1 423.0000 0.0000 -
0.61/0.65 c * 1 2 1 1 406.0000 0.0000 -
0.61/0.65 c * 1 2 1 1 301.0000 0.0000 -
0.69/0.70 c * 1 2 1 1 274.0000 0.0000 -
0.69/0.75 c * 1 2 1 1 264.0000 0.0000 -
0.89/0.90 c * 1 2 1 1 240.0000 0.0000 -
1.00/1.06 c * 1 2 1 1 213.0000 0.0000 -
1.10/1.14 c * 1 2 1 1 197.0000 0.0000 -
1.18/1.28 c * 1 342 341 1 144.0000 0.0000 -
1.38/1.44 c * 1 342 341 1 143.0000 0.0000 -
1.48/1.56 c * 2 342 341 1 140.0000 0.0000 -
1.68/1.70 c * 2 342 341 1 139.0000 0.0000 -
1.68/1.76 c * 2 342 341 1 119.0000 0.0000 -
1.68/1.79 c * 2 342 341 1 108.0000 0.0000 -
1.88/1.90 c * 2 342 341 1 43.0000 0.0000 -
2.09/2.13 c * 2 342 341 1 42.0000 0.0000 -
2.38/2.42 c * 2 912 780 1 39.0000 0.0000 -
2.77/2.89 c * 3 912 780 1 34.0000 0.0000 -
3.10/3.15 c * 3 912 780 1 30.0000 0.0000 -
3.18/3.21 c * 3 912 780 1 28.0000 0.0000 -
3.38/3.46 c * 3 1502 146 1 26.0000 0.0000 -
3.48/3.58 c * 4 1502 146 1 24.0000 0.0000 -
3.58/3.60 c * 4 1502 146 1 23.0000 0.0000 -
3.58/3.60 c * 4 1502 146 1 21.0000 0.0000 -
3.88/3.90 c * 4 1502 146 1 19.0000 0.0000 -
3.88/3.90 c * 4 1502 146 1 17.0000 0.0000 -
3.99/4.04 c * 4 1502 146 1 16.0000 0.0000 -
4.67/4.78 c * 5 4441 1844 1 14.0000 0.0000 -
4.77/4.83 c * 5 4441 1844 1 13.0000 0.0000 -
4.77/4.83 c * 5 4441 1844 1 11.0000 0.0000 -
5.18/5.26 c 5 8713 3632 1 11.0000 0.0000 -
7.27/7.31 c * 7 17455 6307 1 10.0000 0.0000 -
7.27/7.31 c * 7 17455 6307 1 8.0000 0.0000 -
7.27/7.31 c * 7 17455 6307 1 6.0000 0.0000 -
10.25/10.33 c 10 34624 7054 1 6.0000 0.0000 -
15.24/15.39 c 15 59459 7441 1 6.0000 0.0000 -
17.83/17.93 c * 18 71330 6716 1 4.0000 0.0000 -
18.83/18.95 c * 19 77276 6922 1 3.0000 0.0000 -
20.32/20.43 c 20 88872 7703 1 3.0000 0.0000 -
25.41/25.56 c 26 110890 6855 1 3.0000 0.0000 -
30.49/30.61 c 31 141809 6385 1 3.0000 0.0000 -
35.48/35.66 c 36 172554 6023 1 3.0000 0.0000 -
40.56/40.71 c 41 202535 5678 1 3.0000 0.0000 -
45.54/45.77 c 46 223108 5987 1 3.0000 0.0000 -
50.62/50.82 c 51 248445 11611 1 3.0000 0.0000 -
50.93/51.14 c * 51 248445 11611 1 2.0000 0.0000 -
55.61/55.87 c 56 276050 12647 1 2.0000 0.0000 -
60.69/60.92 c 61 306319 10566 1 2.0000 0.0000 -
65.68/65.96 c 66 336278 7443 1 2.0000 0.0000 -
70.77/71.01 c 71 365122 7920 1 2.0000 0.0000 -
75.76/76.06 c 76 394045 10744 1 2.0000 0.0000 -
80.84/81.12 c 81 420497 10473 1 2.0000 0.0000 -
85.82/86.17 c 86 450778 9590 1 2.0000 0.0000 -
90.89/91.22 c 91 480823 9721 1 2.0000 0.0000 -
95.86/96.27 c 96 511904 5653 1 2.0000 0.0000 -
100.94/101.32 c 101 540952 5780 1 2.0000 0.0000 -
105.92/106.37 c 106 570528 5130 1 2.0000 0.0000 -
111.01/111.42 c 111 600144 5063 1 2.0000 0.0000 -
115.98/116.47 c 116 628334 7388 1 2.0000 0.0000 -
121.06/121.52 c 122 656736 9454 1 2.0000 0.0000 -
126.04/126.57 c 127 687611 9080 1 2.0000 0.0000 -
131.12/131.62 c 132 718373 6391 1 2.0000 0.0000 -
136.10/136.67 c 137 746703 7039 1 2.0000 0.0000 -
141.18/141.72 c 142 775605 9009 1 2.0000 0.0000 -
146.16/146.77 c 147 804840 10623 1 2.0000 0.0000 -
151.23/151.85 c 152 830554 10900 1 2.0000 0.0000 -
156.31/156.90 c 157 860321 11313 1 2.0000 0.0000 -
161.29/161.95 c 162 890637 10311 1 2.0000 0.0000 -
166.27/167.01 c 167 919307 10254 1 2.0000 0.0000 -
171.36/172.05 c 172 948057 10027 1 2.0000 0.0000 -
176.34/177.10 c 177 977466 8956 1 2.0000 0.0000 -
181.43/182.15 c 182 1006651 8339 1 2.0000 0.0000 -
186.50/187.20 c 187 1036092 7224 1 2.0000 0.0000 -
191.48/192.25 c 192 1065518 7220 1 2.0000 0.0000 -
196.57/197.31 c 197 1095577 5991 1 2.0000 0.0000 -
201.55/202.35 c 202 1125221 5795 1 2.0000 0.0000 -
206.63/207.40 c 207 1154213 6598 1 2.0000 0.0000 -
211.61/212.45 c 212 1184196 6066 1 2.0000 0.0000 -
216.70/217.50 c 218 1214200 5305 1 2.0000 0.0000 -
221.69/222.55 c 223 1244293 5105 1 2.0000 0.0000 -
226.76/227.60 c 228 1274181 4896 1 2.0000 0.0000 -
231.75/232.65 c 233 1303782 5182 1 2.0000 0.0000 -
236.83/237.70 c 238 1332835 8511 1 2.0000 0.0000 -
241.81/242.75 c 243 1362159 12669 1 2.0000 0.0000 -
246.89/247.80 c 248 1393126 13795 1 2.0000 0.0000 -
251.88/252.85 c 253 1424976 14141 1 2.0000 0.0000 -
256.96/257.90 c 258 1457547 13368 1 2.0000 0.0000 -
261.95/262.95 c 263 1490527 11521 1 2.0000 0.0000 -
266.93/268.01 c 268 1523796 6986 1 2.0000 0.0000 -
272.02/273.05 c 273 1553935 7311 1 2.0000 0.0000 -
277.01/278.10 c 278 1582251 12152 1 2.0000 0.0000 -
282.09/283.15 c 283 1611466 15211 1 2.0000 0.0000 -
287.16/288.20 c 288 1641252 16085 1 2.0000 0.0000 -
292.15/293.26 c 293 1663308 16647 1 2.0000 0.0000 -
297.22/298.31 c 298 1694412 16051 1 2.0000 0.0000 -
302.20/303.36 c 303 1725488 15781 1 2.0000 0.0000 -
307.28/308.41 c 308 1756411 14276 1 2.0000 0.0000 -
312.26/313.46 c 313 1786140 18016 1 2.0000 0.0000 -
317.34/318.51 c 319 1816472 21067 1 2.0000 0.0000 -
322.31/323.56 c 324 1848481 20821 1 2.0000 0.0000 -
327.39/328.61 c 329 1880742 18397 1 2.0000 0.0000 -
332.38/333.66 c 334 1912527 15644 1 2.0000 0.0000 -
337.45/338.71 c 339 1944433 14365 1 2.0000 0.0000 -
342.43/343.76 c 344 1976775 11430 1 2.0000 0.0000 -
347.51/348.81 c 349 2009016 7824 1 2.0000 0.0000 -
352.48/353.86 c 354 2041100 4650 1 2.0000 0.0000 -
357.56/358.91 c 359 2075079 4399 1 2.0000 0.0000 -
362.54/363.96 c 364 2104095 11133 1 2.0000 0.0000 -
367.63/369.01 c 369 2134100 14304 1 2.0000 0.0000 -
372.61/374.06 c 374 2164771 16810 1 2.0000 0.0000 -
377.68/379.11 c 379 2195792 19005 1 2.0000 0.0000 -
382.67/384.16 c 384 2227435 20664 1 2.0000 0.0000 -
387.73/389.21 c 389 2258609 21196 1 2.0000 0.0000 -
392.71/394.26 c 394 2289818 22110 1 2.0000 0.0000 -
397.78/399.31 c 399 2320530 23337 1 2.0000 0.0000 -
402.77/404.36 c 404 2351890 21954 1 2.0000 0.0000 -
407.84/409.41 c 409 2384397 22393 1 2.0000 0.0000 -
412.83/414.46 c 414 2422782 20562 1 2.0000 0.0000 -
417.90/419.51 c 420 2461900 19457 1 2.0000 0.0000 -
422.88/424.56 c 425 2502692 14878 1 2.0000 0.0000 -
427.96/429.61 c 430 2542823 10122 1 2.0000 0.0000 -
432.94/434.66 c 435 2580184 8287 1 2.0000 0.0000 -
438.02/439.71 c 440 2613347 18955 1 2.0000 0.0000 -
442.99/444.76 c 445 2647868 27887 1 2.0000 0.0000 -
448.07/449.81 c 450 2683707 35216 1 2.0000 0.0000 -
453.06/454.86 c 455 2719711 41668 1 2.0000 0.0000 -
458.13/459.91 c 460 2756217 47005 1 2.0000 0.0000 -
463.11/464.96 c 465 2793777 51311 1 2.0000 0.0000 -
468.19/470.01 c 470 2831482 56672 1 2.0000 0.0000 -
473.18/475.06 c 475 2868627 64640 1 2.0000 0.0000 -
478.26/480.11 c 480 2905659 72086 1 2.0000 0.0000 -
483.25/485.16 c 485 2943211 79146 1 2.0000 0.0000 -
488.31/490.21 c 490 2980878 85322 1 2.0000 0.0000 -
493.29/495.26 c 495 3018768 90684 1 2.0000 0.0000 -
498.38/500.31 c 500 3056167 95896 1 2.0000 0.0000 -
503.36/505.36 c 505 3094036 100037 1 2.0000 0.0000 -
508.45/510.41 c 510 3132452 102980 1 2.0000 0.0000 -
513.43/515.46 c 515 3169988 106610 1 2.0000 0.0000 -
518.51/520.51 c 521 3208145 109589 1 2.0000 0.0000 -
523.50/525.56 c 526 3246131 111339 1 2.0000 0.0000 -
528.57/530.62 c 531 3279652 112418 1 2.0000 0.0000 -
533.55/535.66 c 536 3317296 113680 1 2.0000 0.0000 -
538.64/540.71 c 541 3355611 116742 1 2.0000 0.0000 -
543.62/545.76 c 546 3394156 118157 1 2.0000 0.0000 -
548.71/550.81 c 551 3431904 122503 1 2.0000 0.0000 -
553.69/555.86 c 556 3470792 123979 1 2.0000 0.0000 -
558.77/560.91 c 561 3509023 127003 1 2.0000 0.0000 -
563.75/565.96 c 566 3548173 128176 1 2.0000 0.0000 -
568.85/571.01 c 571 3588052 133094 1 2.0000 0.0000 -
573.83/576.06 c 576 3626701 135527 1 2.0000 0.0000 -
578.92/581.11 c 581 3665614 135476 1 2.0000 0.0000 -
583.90/586.16 c 586 3704084 135308 1 2.0000 0.0000 -
588.97/591.21 c 591 3743425 135777 1 2.0000 0.0000 -
593.95/596.26 c 596 3782597 134545 1 2.0000 0.0000 -
599.03/601.31 c 601 3822625 134951 1 2.0000 0.0000 -
604.02/606.36 c 606 3862277 133302 1 2.0000 0.0000 -
609.10/611.41 c 611 3901329 134554 1 2.0000 0.0000 -
614.08/616.46 c 616 3941580 134929 1 2.0000 0.0000 -
619.17/621.51 c 622 3980424 137197 1 2.0000 0.0000 -
624.15/626.56 c 627 4019583 136226 1 2.0000 0.0000 -
629.23/631.61 c 632 4059272 136021 1 2.0000 0.0000 -
634.21/636.66 c 637 4100364 137530 1 2.0000 0.0000 -
639.30/641.71 c 642 4139889 137094 1 2.0000 0.0000 -
644.28/646.76 c 647 4179887 134412 1 2.0000 0.0000 -
649.37/651.81 c 652 4219616 132318 1 2.0000 0.0000 -
654.34/656.86 c 657 4259923 133793 1 2.0000 0.0000 -
659.42/661.91 c 662 4300085 128420 1 2.0000 0.0000 -
664.41/666.96 c 667 4339551 127109 1 2.0000 0.0000 -
669.50/672.01 c 672 4378976 124643 1 2.0000 0.0000 -
674.48/677.06 c 677 4419363 122274 1 2.0000 0.0000 -
679.55/682.11 c 682 4458874 120588 1 2.0000 0.0000 -
684.54/687.16 c 687 4497187 120165 1 2.0000 0.0000 -
689.59/692.21 c 692 4536645 116045 1 2.0000 0.0000 -
694.57/697.26 c 697 4576093 113209 1 2.0000 0.0000 -
699.65/702.31 c 702 4616861 115129 1 2.0000 0.0000 -
704.63/707.36 c 707 4656898 111496 1 2.0000 0.0000 -
709.71/712.41 c 712 4697081 105497 1 2.0000 0.0000 -
714.69/717.46 c 717 4737430 98075 1 2.0000 0.0000 -
719.77/722.51 c 723 4777351 92270 1 2.0000 0.0000 -
724.75/727.56 c 728 4818154 85066 1 2.0000 0.0000 -
729.82/732.61 c 733 4858130 76160 1 2.0000 0.0000 -
734.80/737.66 c 738 4898755 70938 1 2.0000 0.0000 -
739.88/742.71 c 743 4938711 63216 1 2.0000 0.0000 -
744.85/747.76 c 748 4979045 55028 1 2.0000 0.0000 -
749.93/752.81 c 753 5019598 51218 1 2.0000 0.0000 -
754.92/757.86 c 758 5059407 49041 1 2.0000 0.0000 -
759.99/762.91 c 763 5099770 41423 1 2.0000 0.0000 -
764.97/767.96 c 768 5140422 33856 1 2.0000 0.0000 -
770.06/773.01 c 773 5180452 24758 1 2.0000 0.0000 -
775.04/778.06 c 778 5221248 6932 1 2.0000 0.0000 -
780.11/783.11 c 783 5260075 14304 1 2.0000 0.0000 -
785.09/788.16 c 788 5300462 19608 1 2.0000 0.0000 -
790.16/793.21 c 793 5341842 20604 1 2.0000 0.0000 -
795.13/798.26 c 798 5383266 20308 1 2.0000 0.0000 -
800.22/803.31 c 803 5426375 12854 1 2.0000 0.0000 -
805.19/808.36 c 808 5467445 9283 1 2.0000 0.0000 -
810.27/813.41 c 813 5504854 21019 1 2.0000 0.0000 -
815.25/818.46 c 818 5543442 32121 1 2.0000 0.0000 -
820.33/823.51 c 824 5582729 41540 1 2.0000 0.0000 -
825.31/828.56 c 829 5623276 48985 1 2.0000 0.0000 -
830.38/833.61 c 834 5664069 56216 1 2.0000 0.0000 -
835.37/838.67 c 839 5704628 63506 1 2.0000 0.0000 -
840.44/843.72 c 844 5745521 70307 1 2.0000 0.0000 -
845.42/848.77 c 849 5786786 77308 1 2.0000 0.0000 -
850.49/853.82 c 854 5828423 84491 1 2.0000 0.0000 -
855.47/858.87 c 859 5870646 91339 1 2.0000 0.0000 -
860.56/863.92 c 864 5912249 96135 1 2.0000 0.0000 -
865.54/868.97 c 869 5954410 100278 1 2.0000 0.0000 -
870.62/874.02 c 874 5997051 103590 1 2.0000 0.0000 -
875.60/879.07 c 879 6039806 106659 1 2.0000 0.0000 -
880.69/884.12 c 884 6082449 109390 1 2.0000 0.0000 -
885.67/889.17 c 889 6125597 111205 1 2.0000 0.0000 -
890.74/894.22 c 894 6168847 112670 1 2.0000 0.0000 -
895.72/899.27 c 899 6212033 114564 1 2.0000 0.0000 -
900.80/904.32 c 904 6255490 114557 1 2.0000 0.0000 -
905.78/909.37 c 909 6298878 113103 1 2.0000 0.0000 -
910.87/914.42 c 914 6342586 113341 1 2.0000 0.0000 -
915.85/919.47 c 919 6386279 113048 1 2.0000 0.0000 -
920.94/924.52 c 925 6430207 110690 1 2.0000 0.0000 -
925.92/929.57 c 930 6474217 112762 1 2.0000 0.0000 -
931.00/934.62 c 935 6518691 110790 1 2.0000 0.0000 -
935.98/939.67 c 940 6556544 110060 1 2.0000 0.0000 -
941.07/944.72 c 945 6599987 113110 1 2.0000 0.0000 -
946.05/949.77 c 950 6646166 111169 1 2.0000 0.0000 -
951.14/954.82 c 955 6690227 109377 1 2.0000 0.0000 -
956.12/959.87 c 960 6735170 105017 1 2.0000 0.0000 -
961.21/964.92 c 965 6780018 100311 1 2.0000 0.0000 -
966.18/969.97 c 970 6824114 92887 1 2.0000 0.0000 -
971.27/975.02 c 975 6867424 87429 1 2.0000 0.0000 -
976.26/980.07 c 980 6911321 83703 1 2.0000 0.0000 -
981.34/985.12 c 985 6954478 76227 1 2.0000 0.0000 -
986.32/990.17 c 990 6999129 66692 1 2.0000 0.0000 -
991.40/995.22 c 995 7045071 54960 1 2.0000 0.0000 -
996.38/1000.27 c 1000 7090495 43749 1 2.0000 0.0000 -
1001.46/1005.32 c 1005 7135830 30198 1 2.0000 0.0000 -
1006.44/1010.37 c 1010 7184539 4108 1 2.0000 0.0000 -
1011.53/1015.42 c 1015 7228423 3826 1 2.0000 0.0000 -
1015.13/1019.10 c * 1019 7252885 8574 1 1.0000 0.0000 -
1016.51/1020.47 c 1020 7267492 9072 1 1.0000 0.0000 -
1021.59/1025.52 c 1026 7304531 10305 1 1.0000 0.0000 -
1026.58/1030.57 c 1031 7342691 3627 1 1.0000 0.0000 -
1031.65/1035.62 c 1036 7376617 9220 1 1.0000 0.0000 -
1036.64/1040.67 c 1041 7415338 9636 1 1.0000 0.0000 -
1041.73/1045.72 c 1046 7455262 5433 1 1.0000 0.0000 -
1046.71/1050.77 c 1051 7495210 3543 1 1.0000 0.0000 -
1051.79/1055.82 c 1056 7534712 3448 1 1.0000 0.0000 -
1056.77/1060.87 c 1061 7575166 3489 1 1.0000 0.0000 -
1061.86/1065.92 c 1066 7611470 8482 1 1.0000 0.0000 -
1066.84/1070.97 c 1071 7647272 16286 1 1.0000 0.0000 -
1071.93/1076.02 c 1076 7685877 19758 1 1.0000 0.0000 -
1076.91/1081.07 c 1081 7726353 19638 1 1.0000 0.0000 -
1081.99/1086.12 c 1086 7767852 16839 1 1.0000 0.0000 -
1086.97/1091.17 c 1091 7809446 13181 1 1.0000 0.0000 -
1092.05/1096.22 c 1096 7850828 4312 1 1.0000 0.0000 -
1097.03/1101.27 c 1101 7888722 6577 1 1.0000 0.0000 -
1102.10/1106.32 c 1106 7928009 9397 1 1.0000 0.0000 -
1107.08/1111.37 c 1111 7971324 4792 1 1.0000 0.0000 -
1112.15/1116.42 c 1116 8009609 6948 1 1.0000 0.0000 -
1117.12/1121.47 c 1121 8052428 2995 1 1.0000 0.0000 -
1122.21/1126.52 c 1127 8088340 10076 1 1.0000 0.0000 -
1127.18/1131.57 c 1132 8125571 15805 1 1.0000 0.0000 -
1132.27/1136.62 c 1137 8163764 20382 1 1.0000 0.0000 -
1137.24/1141.67 c 1142 8202810 23210 1 1.0000 0.0000 -
1142.32/1146.72 c 1147 8241919 26214 1 1.0000 0.0000 -
1147.31/1151.77 c 1152 8281551 27552 1 1.0000 0.0000 -
1152.39/1156.82 c 1157 8321235 30116 1 1.0000 0.0000 -
1157.37/1161.87 c 1162 8362398 30154 1 1.0000 0.0000 -
1162.45/1166.92 c 1167 8403859 28105 1 1.0000 0.0000 -
1167.44/1171.97 c 1172 8444485 27449 1 1.0000 0.0000 -
1172.54/1177.02 c 1177 8485519 26403 1 1.0000 0.0000 -
1177.51/1182.07 c 1182 8528804 21574 1 1.0000 0.0000 -
1182.60/1187.12 c 1187 8570400 17869 1 1.0000 0.0000 -
1187.58/1192.17 c 1192 8611389 10622 1 1.0000 0.0000 -
1192.64/1197.22 c 1197 8651620 8250 1 1.0000 0.0000 -
1197.62/1202.27 c 1202 8689072 7136 1 1.0000 0.0000 -
1202.70/1207.32 c 1207 8727282 10298 1 1.0000 0.0000 -
1207.68/1212.37 c 1212 8767553 10939 1 1.0000 0.0000 -
1212.75/1217.42 c 1217 8806731 11800 1 1.0000 0.0000 -
1217.73/1222.47 c 1222 8846914 9908 1 1.0000 0.0000 -
1222.82/1227.52 c 1228 8888374 3723 1 1.0000 0.0000 -
1227.80/1232.57 c 1233 8928823 8131 1 1.0000 0.0000 -
1232.87/1237.62 c 1238 8973141 6231 1 1.0000 0.0000 -
1237.85/1242.67 c 1243 9015495 2752 1 1.0000 0.0000 -
1242.93/1247.72 c 1248 9051288 9226 1 1.0000 0.0000 -
1247.91/1252.77 c 1253 9084996 20351 1 1.0000 0.0000 -
1252.98/1257.82 c 1258 9120585 29327 1 1.0000 0.0000 -
1257.97/1262.87 c 1263 9157108 36572 1 1.0000 0.0000 -
1263.04/1267.92 c 1268 9194250 42768 1 1.0000 0.0000 -
1268.02/1272.97 c 1273 9231939 49055 1 1.0000 0.0000 -
1273.11/1278.02 c 1278 9269577 54805 1 1.0000 0.0000 -
1278.10/1283.07 c 1283 9307969 59715 1 1.0000 0.0000 -
1283.18/1288.12 c 1288 9347103 63616 1 1.0000 0.0000 -
1288.16/1293.17 c 1293 9386171 67757 1 1.0000 0.0000 -
1293.22/1298.22 c 1298 9425512 71785 1 1.0000 0.0000 -
1298.20/1303.27 c 1303 9465559 73859 1 1.0000 0.0000 -
1303.28/1308.32 c 1308 9505581 76833 1 1.0000 0.0000 -
1308.26/1313.37 c 1313 9545395 79572 1 1.0000 0.0000 -
1313.33/1318.42 c 1318 9586177 82358 1 1.0000 0.0000 -
1318.31/1323.47 c 1323 9624481 88064 1 1.0000 0.0000 -
1323.39/1328.52 c 1329 9664663 92705 1 1.0000 0.0000 -
1328.37/1333.57 c 1334 9705809 93273 1 1.0000 0.0000 -
1333.45/1338.62 c 1339 9746051 94284 1 1.0000 0.0000 -
1338.43/1343.67 c 1344 9787384 94967 1 1.0000 0.0000 -
1343.50/1348.72 c 1349 9828478 95364 1 1.0000 0.0000 -
1348.49/1353.77 c 1354 9869689 95853 1 1.0000 0.0000 -
1353.56/1358.82 c 1359 9911457 94892 1 1.0000 0.0000 -
1358.54/1363.87 c 1364 9953204 93818 1 1.0000 0.0000 -
1363.62/1368.92 c 1369 9994782 93616 1 1.0000 0.0000 -
1368.60/1373.97 c 1374 10037124 90779 1 1.0000 0.0000 -
1373.68/1379.02 c 1379 10078569 90477 1 1.0000 0.0000 -
1378.67/1384.07 c 1384 10120713 87733 1 1.0000 0.0000 -
1383.75/1389.12 c 1389 10162778 86333 1 1.0000 0.0000 -
1388.72/1394.17 c 1394 10205280 83000 1 1.0000 0.0000 -
1393.79/1399.22 c 1399 10247316 82932 1 1.0000 0.0000 -
1398.76/1404.27 c 1404 10289453 83079 1 1.0000 0.0000 -
1403.85/1409.32 c 1409 10331452 82810 1 1.0000 0.0000 -
1408.82/1414.37 c 1414 10374169 78335 1 1.0000 0.0000 -
1413.90/1419.42 c 1419 10416867 74442 1 1.0000 0.0000 -
1418.88/1424.47 c 1424 10459410 71015 1 1.0000 0.0000 -
1423.96/1429.52 c 1430 10503558 63646 1 1.0000 0.0000 -
1428.94/1434.57 c 1435 10546573 57541 1 1.0000 0.0000 -
1434.01/1439.62 c 1440 10590295 49971 1 1.0000 0.0000 -
1438.99/1444.67 c 1445 10632110 46240 1 1.0000 0.0000 -
1444.07/1449.72 c 1450 10675440 41163 1 1.0000 0.0000 -
1449.06/1454.77 c 1455 10718589 32266 1 1.0000 0.0000 -
1454.13/1459.82 c 1460 10760477 25555 1 1.0000 0.0000 -
1459.10/1464.87 c 1465 10801974 17133 1 1.0000 0.0000 -
1464.19/1469.92 c 1470 10844158 3193 1 1.0000 0.0000 -
1469.17/1474.97 c 1475 10882303 5573 1 1.0000 0.0000 -
1474.26/1480.02 c 1480 10920825 9837 1 1.0000 0.0000 -
1479.24/1485.07 c 1485 10961374 9527 1 1.0000 0.0000 -
1484.33/1490.12 c 1490 11002916 3409 1 1.0000 0.0000 -
1489.31/1495.17 c 1495 11043339 2276 1 1.0000 0.0000 -
1494.38/1500.22 c 1500 11083134 2937 1 1.0000 0.0000 -
1499.36/1505.27 c 1505 11123890 2751 1 1.0000 0.0000 -
1504.45/1510.32 c 1510 11164284 4301 1 1.0000 0.0000 -
1509.43/1515.37 c 1515 11205442 2398 1 1.0000 0.0000 -
1514.51/1520.42 c 1520 11241982 9385 1 1.0000 0.0000 -
1519.49/1525.47 c 1525 11281288 13548 1 1.0000 0.0000 -
1524.58/1530.52 c 1531 11321899 16096 1 1.0000 0.0000 -
1529.56/1535.57 c 1536 11363232 16510 1 1.0000 0.0000 -
1534.64/1540.62 c 1541 11404870 14639 1 1.0000 0.0000 -
1539.62/1545.67 c 1546 11446058 12080 1 1.0000 0.0000 -
1544.71/1550.72 c 1551 11489822 2078 1 1.0000 0.0000 -
1549.69/1555.77 c 1556 11529365 3970 1 1.0000 0.0000 -
1554.78/1560.82 c 1561 11569956 2389 1 1.0000 0.0000 -
1559.76/1565.87 c 1566 11603555 11194 1 1.0000 0.0000 -
1564.85/1570.92 c 1571 11636931 21090 1 1.0000 0.0000 -
1569.83/1575.97 c 1576 11672139 29266 1 1.0000 0.0000 -
1574.92/1581.02 c 1581 11707214 36738 1 1.0000 0.0000 -
1579.91/1586.07 c 1586 11742518 43631 1 1.0000 0.0000 -
1584.99/1591.12 c 1591 11778305 50264 1 1.0000 0.0000 -
1589.97/1596.17 c 1596 11814232 56646 1 1.0000 0.0000 -
1595.04/1601.22 c 1601 11850819 61521 1 1.0000 0.0000 -
1600.02/1606.27 c 1606 11887589 65741 1 1.0000 0.0000 -
1605.11/1611.32 c 1611 11924733 69153 1 1.0000 0.0000 -
1610.09/1616.37 c 1616 11962384 72325 1 1.0000 0.0000 -
1615.18/1621.42 c 1621 12000163 75586 1 1.0000 0.0000 -
1620.16/1626.47 c 1626 12038076 79005 1 1.0000 0.0000 -
1625.24/1631.52 c 1632 12075315 82535 1 1.0000 0.0000 -
1630.23/1636.57 c 1637 12112878 86100 1 1.0000 0.0000 -
1635.31/1641.62 c 1642 12150526 88632 1 1.0000 0.0000 -
1640.29/1646.67 c 1647 12189006 89886 1 1.0000 0.0000 -
1645.37/1651.72 c 1652 12227718 91902 1 1.0000 0.0000 -
1650.36/1656.77 c 1657 12266410 92515 1 1.0000 0.0000 -
1655.44/1661.82 c 1662 12305398 93557 1 1.0000 0.0000 -
1660.43/1666.87 c 1667 12343318 95744 1 1.0000 0.0000 -
1665.50/1671.92 c 1672 12382035 96180 1 1.0000 0.0000 -
1670.49/1676.97 c 1677 12420562 98321 1 1.0000 0.0000 -
1675.58/1682.02 c 1682 12459568 99762 1 1.0000 0.0000 -
1680.57/1687.07 c 1687 12499197 99613 1 1.0000 0.0000 -
1685.65/1692.12 c 1692 12538206 100258 1 1.0000 0.0000 -
1690.64/1697.17 c 1697 12577461 100597 1 1.0000 0.0000 -
1695.71/1702.22 c 1702 12616832 101248 1 1.0000 0.0000 -
1700.69/1707.27 c 1707 12655671 99784 1 1.0000 0.0000 -
1705.77/1712.32 c 1712 12694808 100631 1 1.0000 0.0000 -
1710.75/1717.37 c 1717 12734429 100598 1 1.0000 0.0000 -
1715.83/1722.42 c 1722 12773130 101998 1 1.0000 0.0000 -
1720.82/1727.47 c 1727 12813456 100465 1 1.0000 0.0000 -
1725.91/1732.52 c 1733 12852657 100318 1 1.0000 0.0000 -
1730.89/1737.57 c 1738 12891050 102812 1 1.0000 0.0000 -
1735.96/1742.62 c 1743 12930220 102056 1 1.0000 0.0000 -
1740.95/1747.67 c 1748 12968846 101687 1 1.0000 0.0000 -
1746.04/1752.72 c 1753 13008401 99896 1 1.0000 0.0000 -
1751.02/1757.77 c 1758 13047071 100917 1 1.0000 0.0000 -
1756.10/1762.82 c 1763 13086282 99994 1 1.0000 0.0000 -
1761.08/1767.87 c 1768 13118669 98976 1 1.0000 0.0000 -
1766.17/1772.92 c 1773 13158063 96655 1 1.0000 0.0000 -
1771.15/1777.97 c 1778 13198748 94586 1 1.0000 0.0000 -
1776.24/1783.02 c 1783 13238816 93374 1 1.0000 0.0000 -
1781.23/1788.07 c 1788 13278990 90689 1 1.0000 0.0000 -
1786.31/1793.12 c 1793 13319700 86960 1 1.0000 0.0000 -
1791.30/1798.17 c 1798 13359819 86133 1 1.0000 0.0000 -
1796.36/1803.22 c 1803 13399696 84852 1 1.0000 0.0000 -
1801.35/1808.27 c 1808 13439265 82678 1 1.0000 0.0000 -
1806.43/1813.32 c 1813 13479202 81219 1 1.0000 0.0000 -
1811.41/1818.37 c 1818 13518492 79614 1 1.0000 0.0000 -
1816.49/1823.42 c 1823 13559752 73129 1 1.0000 0.0000 -
1821.48/1828.47 c 1828 13599432 70594 1 1.0000 0.0000 -
1826.56/1833.52 c 1834 13639110 68200 1 1.0000 0.0000 -
1831.54/1838.57 c 1839 13678719 64908 1 1.0000 0.0000 -
1836.62/1843.62 c 1844 13718027 59992 1 1.0000 0.0000 -
1841.61/1848.67 c 1849 13757982 52581 1 1.0000 0.0000 -
1846.69/1853.72 c 1854 13797226 49059 1 1.0000 0.0000 -
1851.88/1858.98 c 1859 13835750 42328 1 1.0000 0.0000 -
1856.97/1864.03 c 1864 13874864 39616 1 1.0000 0.0000 -
1861.95/1869.08 c 1869 13913397 34191 1 1.0000 0.0000 -
1867.04/1874.13 c 1874 13952249 26102 1 1.0000 0.0000 -
1872.01/1879.18 c 1879 13993955 8381 1 1.0000 0.0000 -
1877.09/1884.23 c 1884 14027869 11403 1 1.0000 0.0000 -
1882.07/1889.28 c 1889 14062814 19418 1 1.0000 0.0000 -
1887.16/1894.33 c 1894 14098246 25389 1 1.0000 0.0000 -
1892.14/1899.38 c 1899 14134945 30141 1 1.0000 0.0000 -
1897.22/1904.43 c 1904 14171426 34007 1 1.0000 0.0000 -
1902.20/1909.48 c 1909 14208462 37296 1 1.0000 0.0000 -
1907.29/1914.53 c 1915 14245610 39713 1 1.0000 0.0000 -
1912.27/1919.58 c 1920 14284189 42166 1 1.0000 0.0000 -
1917.35/1924.63 c 1925 14322663 44242 1 1.0000 0.0000 -
1922.34/1929.68 c 1930 14362206 44958 1 1.0000 0.0000 -
1927.42/1934.73 c 1935 14400833 45724 1 1.0000 0.0000 -
1932.40/1939.78 c 1940 14440362 46101 1 1.0000 0.0000 -
1937.49/1944.83 c 1945 14480471 47099 1 1.0000 0.0000 -
1942.46/1949.88 c 1950 14519963 47453 1 1.0000 0.0000 -
1947.55/1954.93 c 1955 14559719 47728 1 1.0000 0.0000 -
1952.53/1959.98 c 1960 14599251 46959 1 1.0000 0.0000 -
1957.63/1965.03 c 1965 14639523 45410 1 1.0000 0.0000 -
1962.61/1970.08 c 1970 14678431 47087 1 1.0000 0.0000 -
1967.69/1975.13 c 1975 14718456 45530 1 1.0000 0.0000 -
1972.68/1980.18 c 1980 14759224 42054 1 1.0000 0.0000 -
1977.74/1985.23 c 1985 14800127 39431 1 1.0000 0.0000 -
1982.73/1990.28 c 1990 14840776 35387 1 1.0000 0.0000 -
1987.81/1995.33 c 1995 14880412 32163 1 1.0000 0.0000 -
1992.80/2000.38 c 2000 14920528 28653 1 1.0000 0.0000 -
1997.88/2005.43 c 2005 14960409 22846 1 1.0000 0.0000 -
2002.86/2010.48 c 2010 14999843 19797 1 1.0000 0.0000 -
2007.94/2015.53 c 2016 15039382 14667 1 1.0000 0.0000 -
2012.93/2020.58 c 2021 15079348 1814 1 1.0000 0.0000 -
2018.02/2025.63 c 2026 15120224 1907 1 1.0000 0.0000 -
2023.00/2030.68 c 2031 15160809 1678 1 1.0000 0.0000 -
2028.08/2035.73 c 2036 15196438 8341 1 1.0000 0.0000 -
2033.07/2040.78 c 2041 15232661 12938 1 1.0000 0.0000 -
2038.14/2045.83 c 2046 15270325 16195 1 1.0000 0.0000 -
2043.13/2050.87 c 2051 15309048 16736 1 1.0000 0.0000 -
2048.21/2055.92 c 2056 15348412 16936 1 1.0000 0.0000 -
2053.19/2060.97 c 2061 15388535 15066 1 1.0000 0.0000 -
2058.29/2066.02 c 2066 15428759 11858 1 1.0000 0.0000 -
2063.28/2071.07 c 2071 15469033 8713 1 1.0000 0.0000 -
2068.36/2076.12 c 2076 15508923 6741 1 1.0000 0.0000 -
2073.34/2081.17 c 2081 15547535 4818 1 1.0000 0.0000 -
2078.41/2086.22 c 2086 15588048 1525 1 1.0000 0.0000 -
2083.40/2091.27 c 2091 15626771 2482 1 1.0000 0.0000 -
2088.48/2096.32 c 2096 15665100 4341 1 1.0000 0.0000 -
2093.46/2101.37 c 2101 15704308 6366 1 1.0000 0.0000 -
2098.55/2106.42 c 2106 15743556 4822 1 1.0000 0.0000 -
2103.53/2111.47 c 2111 15784650 1468 1 1.0000 0.0000 -
2108.61/2116.52 c 2117 15823623 2828 1 1.0000 0.0000 -
2113.60/2121.57 c 2122 15860701 6397 1 1.0000 0.0000 -
2118.68/2126.62 c 2127 15901722 1857 1 1.0000 0.0000 -
2123.66/2131.67 c 2132 15940411 3823 1 1.0000 0.0000 -
2128.74/2136.72 c 2137 15976412 9088 1 1.0000 0.0000 -
2133.73/2141.77 c 2142 16014706 10923 1 1.0000 0.0000 -
2138.81/2146.82 c 2147 16054137 10774 1 1.0000 0.0000 -
2143.80/2151.87 c 2152 16095955 2107 1 1.0000 0.0000 -
2148.87/2156.92 c 2157 16129117 12965 1 1.0000 0.0000 -
2153.86/2161.97 c 2162 16165217 18808 1 1.0000 0.0000 -
2158.96/2167.02 c 2167 16202918 22767 1 1.0000 0.0000 -
2163.94/2172.07 c 2172 16241872 25335 1 1.0000 0.0000 -
2169.03/2177.12 c 2177 16282177 25575 1 1.0000 0.0000 -
2174.01/2182.17 c 2182 16322224 24646 1 1.0000 0.0000 -
2179.08/2187.22 c 2187 16362990 23586 1 1.0000 0.0000 -
2184.06/2192.27 c 2192 16404541 20573 1 1.0000 0.0000 -
2189.15/2197.32 c 2197 16445735 18296 1 1.0000 0.0000 -
2194.13/2202.37 c 2202 16487487 11940 1 1.0000 0.0000 -
2199.21/2207.42 c 2207 16529146 3604 1 1.0000 0.0000 -
2204.19/2212.47 c 2212 16569745 1896 1 1.0000 0.0000 -
2209.28/2217.52 c 2218 16608711 5488 1 1.0000 0.0000 -
2214.27/2222.57 c 2223 16646910 8599 1 1.0000 0.0000 -
2219.35/2227.62 c 2228 16688455 4984 1 1.0000 0.0000 -
2224.33/2232.67 c 2233 16731010 985 1 1.0000 0.0000 -
2229.42/2237.72 c 2238 16770648 2360 1 1.0000 0.0000 -
2234.40/2242.77 c 2243 16807116 7100 1 1.0000 0.0000 -
2239.48/2247.82 c 2248 16845544 11299 1 1.0000 0.0000 -
2244.46/2252.87 c 2253 16886153 13114 1 1.0000 0.0000 -
2249.55/2257.92 c 2258 16928498 13004 1 1.0000 0.0000 -
2254.53/2262.97 c 2263 16971632 10474 1 1.0000 0.0000 -
2259.62/2268.02 c 2268 17015070 7611 1 1.0000 0.0000 -
2264.60/2273.07 c 2273 17058149 2521 1 1.0000 0.0000 -
2269.68/2278.12 c 2278 17093349 9867 1 1.0000 0.0000 -
2274.67/2283.17 c 2283 17129159 16479 1 1.0000 0.0000 -
2279.74/2288.22 c 2288 17166170 21593 1 1.0000 0.0000 -
2284.72/2293.27 c 2293 17203365 26709 1 1.0000 0.0000 -
2289.80/2298.32 c 2298 17240876 32646 1 1.0000 0.0000 -
2294.79/2303.37 c 2303 17278421 36723 1 1.0000 0.0000 -
2299.88/2308.42 c 2308 17316682 40002 1 1.0000 0.0000 -
2304.86/2313.47 c 2313 17355400 42171 1 1.0000 0.0000 -
2309.94/2318.52 c 2319 17391506 47691 1 1.0000 0.0000 -
2314.92/2323.57 c 2324 17429443 50041 1 1.0000 0.0000 -
2320.01/2328.62 c 2329 17467864 51295 1 1.0000 0.0000 -
2324.99/2333.67 c 2334 17506764 52123 1 1.0000 0.0000 -
2330.07/2338.72 c 2339 17545865 51478 1 1.0000 0.0000 -
2335.06/2343.77 c 2344 17584939 50408 1 1.0000 0.0000 -
2340.14/2348.82 c 2349 17624197 50039 1 1.0000 0.0000 -
2345.13/2353.87 c 2354 17663637 50578 1 1.0000 0.0000 -
2350.21/2358.92 c 2359 17703616 49991 1 1.0000 0.0000 -
2355.19/2363.97 c 2364 17743270 47309 1 1.0000 0.0000 -
2360.29/2369.02 c 2369 17782862 45049 1 1.0000 0.0000 -
2365.27/2374.07 c 2374 17823145 42122 1 1.0000 0.0000 -
2370.36/2379.12 c 2379 17863786 39037 1 1.0000 0.0000 -
2375.33/2384.17 c 2384 17903888 33721 1 1.0000 0.0000 -
2380.41/2389.22 c 2389 17944355 28777 1 1.0000 0.0000 -
2385.39/2394.27 c 2394 17984428 22496 1 1.0000 0.0000 -
2390.47/2399.32 c 2399 18024630 16818 1 1.0000 0.0000 -
2395.45/2404.37 c 2404 18064905 5031 1 1.0000 0.0000 -
2400.54/2409.42 c 2409 18106279 930 1 1.0000 0.0000 -
2405.52/2414.47 c 2414 18147101 769 1 1.0000 0.0000 -
2410.61/2419.52 c 2420 18187029 1448 1 1.0000 0.0000 -
2415.59/2424.57 c 2425 18224694 4798 1 1.0000 0.0000 -
2420.67/2429.62 c 2430 18264626 2619 1 1.0000 0.0000 -
2425.65/2434.67 c 2435 18305544 1669 1 1.0000 0.0000 -
2430.74/2439.72 c 2440 18347879 1395 1 1.0000 0.0000 -
2435.72/2444.77 c 2445 18386211 4325 1 1.0000 0.0000 -
2440.81/2449.82 c 2450 18420354 12989 1 1.0000 0.0000 -
2445.79/2454.87 c 2455 18456753 18933 1 1.0000 0.0000 -
2450.87/2459.92 c 2460 18493063 24809 1 1.0000 0.0000 -
2455.86/2464.97 c 2465 18531001 27918 1 1.0000 0.0000 -
2460.95/2470.02 c 2470 18568582 31054 1 1.0000 0.0000 -
2465.94/2475.07 c 2475 18607772 31785 1 1.0000 0.0000 -
2471.02/2480.12 c 2480 18646432 32630 1 1.0000 0.0000 -
2476.00/2485.17 c 2485 18685976 31699 1 1.0000 0.0000 -
2481.07/2490.22 c 2490 18724371 32697 1 1.0000 0.0000 -
2486.06/2495.27 c 2495 18763910 31351 1 1.0000 0.0000 -
2491.14/2500.32 c 2500 18803995 29419 1 1.0000 0.0000 -
2496.12/2505.37 c 2505 18843731 28742 1 1.0000 0.0000 -
2501.21/2510.42 c 2510 18883280 27747 1 1.0000 0.0000 -
2506.19/2515.47 c 2515 18924108 22497 1 1.0000 0.0000 -
2511.27/2520.52 c 2521 18965861 16545 1 1.0000 0.0000 -
2516.25/2525.57 c 2526 19006683 6082 1 1.0000 0.0000 -
2521.34/2530.62 c 2531 19049448 503 1 1.0000 0.0000 -
2526.32/2535.67 c 2536 19087981 4608 1 1.0000 0.0000 -
2531.41/2540.72 c 2541 19126806 7085 1 1.0000 0.0000 -
2536.39/2545.77 c 2546 19166878 7923 1 1.0000 0.0000 -
2541.47/2550.82 c 2551 19206922 7734 1 1.0000 0.0000 -
2546.46/2555.87 c 2556 19246975 6930 1 1.0000 0.0000 -
2551.54/2560.92 c 2561 19287899 1960 1 1.0000 0.0000 -
2556.53/2565.97 c 2566 19327266 2315 1 1.0000 0.0000 -
2561.62/2571.02 c 2571 19367966 874 1 1.0000 0.0000 -
2566.60/2576.07 c 2576 19408334 706 1 1.0000 0.0000 -
2571.68/2581.12 c 2581 19447931 1329 1 1.0000 0.0000 -
2576.67/2586.17 c 2586 19486788 1206 1 1.0000 0.0000 -
2581.74/2591.22 c 2591 19524583 2804 1 1.0000 0.0000 -
2586.73/2596.27 c 2596 19562920 4899 1 1.0000 0.0000 -
2591.80/2601.32 c 2601 19602073 5068 1 1.0000 0.0000 -
2596.79/2606.37 c 2606 19641801 588 1 1.0000 0.0000 -
2601.87/2611.43 c 2611 19682163 1405 1 1.0000 0.0000 -
2606.86/2616.48 c 2616 19721955 546 1 1.0000 0.0000 -
2611.94/2621.53 c 2622 19759815 2796 1 1.0000 0.0000 -
2616.93/2626.58 c 2627 19797565 4861 1 1.0000 0.0000 -
2622.01/2631.63 c 2632 19836547 4353 1 1.0000 0.0000 -
2626.99/2636.68 c 2637 19874519 3635 1 1.0000 0.0000 -
2632.07/2641.73 c 2642 19911696 8049 1 1.0000 0.0000 -
2637.05/2646.78 c 2647 19951603 7682 1 1.0000 0.0000 -
2642.13/2651.83 c 2652 19991643 2003 1 1.0000 0.0000 -
2646.72/2656.41 c * 2656 20025064 591 1 0.0000 0.0000 0.00%
2646.72/2656.41 c 2656 20029062 0 0 0.0000 0.0000 0.00%
2646.72/2656.43 c 2656 20029062 0 0 0.0000 0.0000 -
2646.72/2656.43 c SCIP Status : c problem is solved
2646.72/2656.43 c Total Time : 2656.4300
2646.72/2656.43 c solving : 2656.4300
2646.72/2656.43 c presolving : 0.0082 (included in solving)
2646.72/2656.43 c B&B Tree :
2646.72/2656.43 c nodes (total) : 20029062
2646.72/2656.43 c Solution :
2646.72/2656.43 c Solutions found : 42
2646.72/2656.43 c Primal Bound : +0.00000000000000e+00
2646.72/2656.43 c Dual Bound : +0.00000000000000e+00
2646.72/2656.43 c Gap : 0.00000 %
2646.72/2656.43 o 0
2646.72/2656.43 s OPTIMUM FOUND
2646.72/2656.43 v -x90 -x120 x119 x118 x117 x116 x115 x114 -x113 x112 -x111 x110 -x109 x108 x107 -x106 -x105 x104 x103 -x102 -x101 -x100 x99 -x98
2646.72/2656.43 v -x97 x96 -x95 -x94 -x93 -x92 -x91 x89 x88 -x87 -x86 x85 x84 x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70
2646.72/2656.43 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
2646.72/2656.43 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
2646.72/2656.43 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: 64059 MiB (61071 MiB free)
memory of node 1: 64510 MiB (62194 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434694-1721095524/watcher-4434694-1721095524 -o /tmp/evaluation-result-4434694-1721095524/solver-4434694-1721095524 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721095536-830636 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434694-1721095524.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=830692, runsolver pid=830680
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 3.90 4.14 4.13 8/251 830707
/proc/meminfo: memFree=126179528/131655788 swapFree=131071996/131071996
[pid=830692] ppid=830680 vsize=107612 memory=21104 CPUtime=0.11 cores=1,3
/proc/830692/stat : 830692 (fscip) S 830680 830692 830624 0 -1 1077936128 2704 0 0 0 10 1 0 0 20 0 3 0 161711168 110194688 5276 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
/proc/830692/statm: 26903 5276 2910 3032 0 8965 0
[pid=830692/tid=830700] ppid=830680 vsize=107612 memory=4026531971 CPUtime=0.08 cores=1,3
/proc/830692/task/830700/stat : 830700 (fscip) R 830680 830692 830624 0 -1 4194368 1370 0 0 0 8 0 0 0 20 0 3 0 161711170 110194688 5276 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
[pid=830692/tid=830703] ppid=830680 vsize=107612 memory=19017 CPUtime=0 cores=1,3
/proc/830692/task/830703/stat : 830703 (fscip) S 830680 830692 830624 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161711171 110194688 5276 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 107612 KiB
Current children cumulated memory: 21104 KiB
[startup+0.215083 s]*
/proc/loadavg: 3.90 4.14 4.13 6/251 830707
/proc/meminfo: memFree=126161780/131655788 swapFree=131071996/131071996
[pid=830692] ppid=830680 vsize=107612 memory=25064 CPUtime=0.21 cores=1,3
/proc/830692/stat : 830692 (fscip) S 830680 830692 830624 0 -1 1077936128 3654 0 0 0 20 1 0 0 20 0 3 0 161711168 110194688 6266 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
/proc/830692/statm: 26903 6266 2910 3032 0 9796 0
[pid=830692/tid=830700] ppid=830680 vsize=107612 memory=664970851429515395 CPUtime=0.2 cores=1,3
/proc/830692/task/830700/stat : 830700 (fscip) R 830680 830692 830624 0 -1 4194368 2320 0 0 0 19 1 0 0 20 0 3 0 161711170 110194688 6266 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
[pid=830692/tid=830703] ppid=830680 vsize=107612 memory=19017 CPUtime=0 cores=1,3
/proc/830692/task/830703/stat : 830703 (fscip) S 830680 830692 830624 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161711171 110194688 6266 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 107612 KiB
Current children cumulated memory: 25064 KiB
[startup+0.314759 s]*
/proc/loadavg: 3.90 4.14 4.13 6/251 830707
/proc/meminfo: memFree=126151420/131655788 swapFree=131071996/131071996
[pid=830692] ppid=830680 vsize=107612 memory=28820 CPUtime=0.31 cores=1,3
/proc/830692/stat : 830692 (fscip) S 830680 830692 830624 0 -1 1077936128 4574 0 0 0 30 1 0 0 20 0 3 0 161711168 110194688 7205 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
/proc/830692/statm: 26903 7205 2926 3032 0 10978 0
[pid=830692/tid=830700] ppid=830680 vsize=107612 memory=-6153162199148968810 CPUtime=0.29 cores=1,3
/proc/830692/task/830700/stat : 830700 (fscip) R 830680 830692 830624 0 -1 4194368 3240 0 0 0 28 1 0 0 20 0 3 0 161711170 110194688 7205 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
[pid=830692/tid=830703] ppid=830680 vsize=107612 memory=-9044459746194447340 CPUtime=0 cores=1,3
/proc/830692/task/830703/stat : 830703 (fscip) S 830680 830692 830624 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161711171 110194688 7205 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 107612 KiB
Current children cumulated memory: 28820 KiB
[startup+0.70037 s]
/proc/loadavg: 3.90 4.14 4.13 6/251 830707
/proc/meminfo: memFree=126133656/131655788 swapFree=131071996/131071996
[pid=830692] ppid=830680 vsize=107612 memory=29348 CPUtime=0.69 cores=1,3
/proc/830692/stat : 830692 (fscip) S 830680 830692 830624 0 -1 1077936128 4756 0 0 0 67 2 0 0 20 0 3 0 161711168 110194688 7337 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
/proc/830692/statm: 26903 7337 2926 3032 0 11108 0
[pid=830692/tid=830700] ppid=830680 vsize=107612 memory=0 CPUtime=0.66 cores=1,3
/proc/830692/task/830700/stat : 830700 (fscip) R 830680 830692 830624 0 -1 4194368 3422 0 0 0 65 1 0 0 20 0 3 0 161711170 110194688 7337 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
[pid=830692/tid=830703] ppid=830680 vsize=107612 memory=0 CPUtime=0 cores=1,3
/proc/830692/task/830703/stat : 830703 (fscip) S 830680 830692 830624 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161711171 110194688 7337 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 107612 KiB
Current children cumulated memory: 29348 KiB
[startup+1.50039 s]
/proc/loadavg: 3.90 4.14 4.13 8/251 830707
/proc/meminfo: memFree=126122712/131655788 swapFree=131071996/131071996
[pid=830692] ppid=830680 vsize=107612 memory=31468 CPUtime=1.48 cores=1,3
/proc/830692/stat : 830692 (fscip) S 830680 830692 830624 0 -1 1077936128 7968 0 0 0 146 2 0 0 20 0 3 0 161711168 110194688 7867 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
/proc/830692/statm: 26903 7867 2974 3032 0 11176 0
[pid=830692/tid=830700] ppid=830680 vsize=107612 memory=0 CPUtime=1.45 cores=1,3
/proc/830692/task/830700/stat : 830700 (fscip) R 830680 830692 830624 0 -1 4194368 6545 0 0 0 144 1 0 0 20 0 3 0 161711170 110194688 7867 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
[pid=830692/tid=830703] ppid=830680 vsize=107612 memory=0 CPUtime=0 cores=1,3
/proc/830692/task/830703/stat : 830703 (fscip) S 830680 830692 830624 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161711171 110194688 7867 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 107612 KiB
Current children cumulated memory: 31468 KiB
[startup+3.114 s]
/proc/loadavg: 3.91 4.14 4.13 8/251 830707
/proc/meminfo: memFree=126099724/131655788 swapFree=131071996/131071996
[pid=830692] ppid=830680 vsize=107612 memory=32652 CPUtime=3.1 cores=1,3
/proc/830692/stat : 830692 (fscip) S 830680 830692 830624 0 -1 1077936128 8901 0 0 0 307 3 0 0 20 0 3 0 161711168 110194688 8163 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
/proc/830692/statm: 26903 8163 2974 3032 0 11531 0
[pid=830692/tid=830700] ppid=830680 vsize=107612 memory=0 CPUtime=3.06 cores=1,3
/proc/830692/task/830700/stat : 830700 (fscip) R 830680 830692 830624 0 -1 4194368 7467 0 0 0 304 2 0 0 20 0 3 0 161711170 110194688 8163 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
[pid=830692/tid=830703] ppid=830680 vsize=107612 memory=2273 CPUtime=0 cores=1,3
/proc/830692/task/830703/stat : 830703 (fscip) S 830680 830692 830624 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 161711171 110194688 8163 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 107612 KiB
Current children cumulated memory: 32652 KiB
[startup+6.30034 s]
/proc/loadavg: 3.91 4.14 4.13 8/251 830708
/proc/meminfo: memFree=126074196/131655788 swapFree=131071996/131071996
[pid=830692] ppid=830680 vsize=107612 memory=42300 CPUtime=6.26 cores=1,3
/proc/830692/stat : 830692 (fscip) S 830680 830692 830624 0 -1 1077936128 15169 0 0 0 622 4 0 0 20 0 3 0 161711168 110194688 10575 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
/proc/830692/statm: 26903 10575 2974 3032 0 13948 0
[pid=830692/tid=830700] ppid=830680 vsize=107612 memory=0 CPUtime=6.24 cores=1,3
/proc/830692/task/830700/stat : 830700 (fscip) R 830680 830692 830624 0 -1 4194368 13686 0 0 0 620 4 0 0 20 0 3 0 161711170 110194688 10575 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
[pid=830692/tid=830703] ppid=830680 vsize=107612 memory=11516 CPUtime=0 cores=1,3
/proc/830692/task/830703/stat : 830703 (fscip) S 830680 830692 830624 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 161711171 110194688 10575 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 107612 KiB
Current children cumulated memory: 42300 KiB
[startup+12.7004 s]
/proc/loadavg: 3.93 4.14 4.13 8/251 830708
/proc/meminfo: memFree=126029768/131655788 swapFree=131071996/131071996
[pid=830692] ppid=830680 vsize=107612 memory=44640 CPUtime=12.65 cores=1,3
/proc/830692/stat : 830692 (fscip) S 830680 830692 830624 0 -1 1077936128 23861 0 0 0 1255 10 0 0 20 0 3 0 161711168 110194688 11160 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
/proc/830692/statm: 26903 11160 2974 3032 0 14672 0
[pid=830692/tid=830700] ppid=830680 vsize=107612 memory=11516 CPUtime=12.62 cores=1,3
/proc/830692/task/830700/stat : 830700 (fscip) R 830680 830692 830624 0 -1 4194368 22274 0 0 0 1253 9 0 0 20 0 3 0 161711170 110194688 11160 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
[pid=830692/tid=830703] ppid=830680 vsize=107612 memory=32268 CPUtime=0 cores=1,3
/proc/830692/task/830703/stat : 830703 (fscip) S 830680 830692 830624 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 161711171 110194688 11160 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 107612 KiB
Current children cumulated memory: 44640 KiB
[startup+25.5004 s]
/proc/loadavg: 3.94 4.13 4.12 8/251 830711
/proc/meminfo: memFree=125957512/131655788 swapFree=131071996/131071996
[pid=830692] ppid=830680 vsize=107612 memory=46428 CPUtime=25.41 cores=1,3
/proc/830692/stat : 830692 (fscip) S 830680 830692 830624 0 -1 1077936128 37211 0 0 0 2525 16 0 0 20 0 3 0 161711168 110194688 11607 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
/proc/830692/statm: 26903 11607 2974 3032 0 15131 0
[pid=830692/tid=830700] ppid=830680 vsize=107612 memory=11516 CPUtime=25.37 cores=1,3
/proc/830692/task/830700/stat : 830700 (fscip) R 830680 830692 830624 0 -1 4194368 35519 0 0 0 2522 15 0 0 20 0 3 0 161711170 110194688 11607 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
[pid=830692/tid=830703] ppid=830680 vsize=107612 memory=46236 CPUtime=0 cores=1,3
/proc/830692/task/830703/stat : 830703 (fscip) S 830680 830692 830624 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 161711171 110194688 11607 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 107612 KiB
Current children cumulated memory: 46428 KiB
[startup+51.1138 s]
/proc/loadavg: 4.02 4.14 4.13 8/251 830714
/proc/meminfo: memFree=125833892/131655788 swapFree=131071996/131071996
[pid=830692] ppid=830680 vsize=107612 memory=47620 CPUtime=50.93 cores=1,3
/proc/830692/stat : 830692 (fscip) S 830680 830692 830624 0 -1 1077936128 48142 0 0 0 5062 31 0 0 20 0 3 0 161711168 110194688 11905 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
/proc/830692/statm: 26903 11905 2974 3032 0 15206 0
[pid=830692/tid=830700] ppid=830680 vsize=107612 memory=5468 CPUtime=50.91 cores=1,3
/proc/830692/task/830700/stat : 830700 (fscip) R 830680 830692 830624 0 -1 4194368 46363 0 0 0 5060 31 0 0 20 0 3 0 161711170 110194688 11905 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
[pid=830692/tid=830703] ppid=830680 vsize=107612 memory=46428 CPUtime=0 cores=1,3
/proc/830692/task/830703/stat : 830703 (fscip) S 830680 830692 830624 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 161711171 110194688 11905 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 107612 KiB
Current children cumulated memory: 47620 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.13 4.12 8/251 830723
/proc/meminfo: memFree=125633456/131655788 swapFree=131071996/131071996
[pid=830692] ppid=830680 vsize=108192 memory=51000 CPUtime=101.94 cores=1,3
/proc/830692/stat : 830692 (fscip) S 830680 830692 830624 0 -1 1077936128 69542 0 0 0 10126 68 0 0 20 0 3 0 161711168 110788608 12750 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
/proc/830692/statm: 27048 12750 2974 3032 0 16198 0
[pid=830692/tid=830700] ppid=830680 vsize=108192 memory=11516 CPUtime=101.9 cores=1,3
/proc/830692/task/830700/stat : 830700 (fscip) R 830680 830692 830624 0 -1 4194368 67607 0 0 0 10122 68 0 0 20 0 3 0 161711170 110788608 12750 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
[pid=830692/tid=830703] ppid=830680 vsize=108192 memory=50992 CPUtime=0 cores=1,3
/proc/830692/task/830703/stat : 830703 (fscip) S 830680 830692 830624 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 161711171 110788608 12750 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 108192 KiB
Current children cumulated memory: 51000 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.13 4.12 8/251 830734
/proc/meminfo: memFree=125423620/131655788 swapFree=131071996/131071996
[pid=830692] ppid=830680 vsize=108192 memory=52048 CPUtime=161.69 cores=1,3
/proc/830692/stat : 830692 (fscip) S 830680 830692 830624 0 -1 1077936128 81997 0 0 0 16058 111 0 0 20 0 3 0 161711168 110788608 13012 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
/proc/830692/statm: 27048 13012 2974 3032 0 16341 0
[pid=830692/tid=830700] ppid=830680 vsize=108192 memory=51108 CPUtime=161.64 cores=1,3
/proc/830692/task/830700/stat : 830700 (fscip) R 830680 830692 830624 0 -1 4194368 79998 0 0 0 16054 110 0 0 20 0 3 0 161711170 110788608 13012 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
[pid=830692/tid=830703] ppid=830680 vsize=108192 memory=11516 CPUtime=0 cores=1,3
/proc/830692/task/830703/stat : 830703 (fscip) S 830680 830692 830624 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 161711171 110788608 13012 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 108192 KiB
################
# More data... #
################
/proc/830692/statm: 80158 58092 2974 3032 0 61207 0
[pid=830692/tid=830700] ppid=830680 vsize=320632 memory=232368 CPUtime=2433.05 cores=1,3
/proc/830692/task/830700/stat : 830700 (fscip) R 830680 830692 830624 0 -1 4194368 583305 0 0 0 241259 2046 0 0 20 0 3 0 161711170 328327168 58092 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
[pid=830692/tid=830703] ppid=830680 vsize=320632 memory=232368 CPUtime=0.03 cores=1,3
/proc/830692/task/830703/stat : 830703 (fscip) S 830680 830692 830624 0 -1 1077936192 108 0 0 0 0 3 0 0 20 0 3 0 161711171 328327168 58092 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
Current children cumulated CPU time: 2433.33 s
Current children cumulated vsize: 320632 KiB
Current children cumulated memory: 232368 KiB
[startup+2502.3 s]
/proc/loadavg: 4.16 4.18 4.23 8/249 831770
/proc/meminfo: memFree=121841904/131655788 swapFree=131071996/131071996
[pid=830692] ppid=830680 vsize=320632 memory=232368 CPUtime=2493.13 cores=1,3
/proc/830692/stat : 830692 (fscip) S 830680 830692 830624 0 -1 1077936128 592550 0 0 0 247212 2101 0 0 20 0 3 0 161711168 328327168 58092 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
/proc/830692/statm: 80158 58092 2974 3032 0 61207 0
[pid=830692/tid=830700] ppid=830680 vsize=320632 memory=232368 CPUtime=2492.85 cores=1,3
/proc/830692/task/830700/stat : 830700 (fscip) R 830680 830692 830624 0 -1 4194368 589661 0 0 0 247189 2096 0 0 20 0 3 0 161711170 328327168 58092 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
[pid=830692/tid=830703] ppid=830680 vsize=320632 memory=6720659965410819434 CPUtime=0.03 cores=1,3
/proc/830692/task/830703/stat : 830703 (fscip) S 830680 830692 830624 0 -1 1077936192 110 0 0 0 0 3 0 0 20 0 3 0 161711171 328327168 58092 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
Current children cumulated CPU time: 2493.13 s
Current children cumulated vsize: 320632 KiB
Current children cumulated memory: 232368 KiB
[startup+2562.3 s]
/proc/loadavg: 4.06 4.14 4.22 8/249 831780
/proc/meminfo: memFree=121790964/131655788 swapFree=131071996/131071996
[pid=830692] ppid=830680 vsize=320632 memory=232368 CPUtime=2552.93 cores=1,3
/proc/830692/stat : 830692 (fscip) S 830680 830692 830624 0 -1 1077936128 594669 0 0 0 253143 2150 0 0 20 0 3 0 161711168 328327168 58092 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
/proc/830692/statm: 80158 58092 2974 3032 0 61207 0
[pid=830692/tid=830700] ppid=830680 vsize=320632 memory=232368 CPUtime=2552.64 cores=1,3
/proc/830692/task/830700/stat : 830700 (fscip) R 830680 830692 830624 0 -1 4194368 591763 0 0 0 253119 2145 0 0 20 0 3 0 161711170 328327168 58092 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
[pid=830692/tid=830703] ppid=830680 vsize=320632 memory=232368 CPUtime=0.03 cores=1,3
/proc/830692/task/830703/stat : 830703 (fscip) S 830680 830692 830624 0 -1 1077936192 112 0 0 0 0 3 0 0 20 0 3 0 161711171 328327168 58092 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
Current children cumulated CPU time: 2552.93 s
Current children cumulated vsize: 320632 KiB
Current children cumulated memory: 232368 KiB
[startup+2622.3 s]
/proc/loadavg: 4.13 4.15 4.21 8/249 831791
/proc/meminfo: memFree=121751396/131655788 swapFree=131071996/131071996
[pid=830692] ppid=830680 vsize=320632 memory=232368 CPUtime=2612.73 cores=1,3
/proc/830692/stat : 830692 (fscip) S 830680 830692 830624 0 -1 1077936128 595854 0 0 0 259074 2199 0 0 20 0 3 0 161711168 328327168 58092 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
/proc/830692/statm: 80158 58092 2974 3032 0 61207 0
[pid=830692/tid=830700] ppid=830680 vsize=320632 memory=232368 CPUtime=2612.44 cores=1,3
/proc/830692/task/830700/stat : 830700 (fscip) R 830680 830692 830624 0 -1 4194368 592931 0 0 0 259050 2194 0 0 20 0 3 0 161711170 328327168 58092 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
[pid=830692/tid=830703] ppid=830680 vsize=320632 memory=232368 CPUtime=0.03 cores=1,3
/proc/830692/task/830703/stat : 830703 (fscip) S 830680 830692 830624 0 -1 1077936192 114 0 0 0 0 3 0 0 20 0 3 0 161711171 328327168 58092 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
Current children cumulated CPU time: 2612.73 s
Current children cumulated vsize: 320632 KiB
Current children cumulated memory: 232368 KiB
[startup+2656.44 s]
# the end of solver process 830692 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2624.5 s, system=22.2726 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2636.8 s]
/proc/loadavg: 4.10 4.14 4.21 8/249 831794
/proc/meminfo: memFree=121725676/131655788 swapFree=131071996/131071996
[pid=830692] ppid=830680 vsize=320632 memory=232368 CPUtime=2627.18 cores=1,3
/proc/830692/stat : 830692 (fscip) S 830680 830692 830624 0 -1 1077936128 596507 0 0 0 260508 2210 0 0 20 0 3 0 161711168 328327168 58092 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
/proc/830692/statm: 80158 58092 2974 3032 0 61207 0
[pid=830692/tid=830700] ppid=830680 vsize=320632 memory=16224 CPUtime=2626.89 cores=1,3
/proc/830692/task/830700/stat : 830700 (fscip) R 830680 830692 830624 0 -1 4194368 593584 0 0 0 260484 2205 0 0 20 0 3 0 161711170 328327168 58092 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
[pid=830692/tid=830703] ppid=830680 vsize=320632 memory=232368 CPUtime=0.03 cores=1,3
/proc/830692/task/830703/stat : 830703 (fscip) S 830680 830692 830624 0 -1 1077936192 114 0 0 0 0 3 0 0 20 0 3 0 161711171 328327168 58092 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
Current children cumulated CPU time: 2627.18 s
Current children cumulated vsize: 320632 KiB
Current children cumulated memory: 232368 KiB
[startup+2649.6 s]
/proc/loadavg: 4.08 4.13 4.20 8/249 831796
/proc/meminfo: memFree=121720316/131655788 swapFree=131071996/131071996
[pid=830692] ppid=830680 vsize=320632 memory=232368 CPUtime=2639.95 cores=1,3
/proc/830692/stat : 830692 (fscip) S 830680 830692 830624 0 -1 1077936128 596701 0 0 0 261775 2220 0 0 20 0 3 0 161711168 328327168 58092 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
/proc/830692/statm: 80158 58092 2974 3032 0 61207 0
[pid=830692/tid=830700] ppid=830680 vsize=320632 memory=232368 CPUtime=2639.65 cores=1,3
/proc/830692/task/830700/stat : 830700 (fscip) R 830680 830692 830624 0 -1 4194368 593778 0 0 0 261750 2215 0 0 20 0 3 0 161711170 328327168 58092 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
[pid=830692/tid=830703] ppid=830680 vsize=320632 memory=16224 CPUtime=0.03 cores=1,3
/proc/830692/task/830703/stat : 830703 (fscip) S 830680 830692 830624 0 -1 1077936192 114 0 0 0 0 3 0 0 20 0 3 0 161711171 328327168 58092 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
Current children cumulated CPU time: 2639.95 s
Current children cumulated vsize: 320632 KiB
Current children cumulated memory: 232368 KiB
[startup+2652.8 s]
/proc/loadavg: 4.08 4.13 4.20 8/249 831796
/proc/meminfo: memFree=121719860/131655788 swapFree=131071996/131071996
[pid=830692] ppid=830680 vsize=320632 memory=232368 CPUtime=2643.13 cores=1,3
/proc/830692/stat : 830692 (fscip) S 830680 830692 830624 0 -1 1077936128 596708 0 0 0 262091 2222 0 0 20 0 3 0 161711168 328327168 58092 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
/proc/830692/statm: 80158 58092 2974 3032 0 61207 0
[pid=830692/tid=830700] ppid=830680 vsize=320632 memory=232368 CPUtime=2642.83 cores=1,3
/proc/830692/task/830700/stat : 830700 (fscip) R 830680 830692 830624 0 -1 4194368 593785 0 0 0 262066 2217 0 0 20 0 3 0 161711170 328327168 58092 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
[pid=830692/tid=830703] ppid=830680 vsize=320632 memory=41416 CPUtime=0.03 cores=1,3
/proc/830692/task/830703/stat : 830703 (fscip) S 830680 830692 830624 0 -1 1077936192 114 0 0 0 0 3 0 0 20 0 3 0 161711171 328327168 58092 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
Current children cumulated CPU time: 2643.13 s
Current children cumulated vsize: 320632 KiB
Current children cumulated memory: 232368 KiB
[startup+2654.4 s]
/proc/loadavg: 4.07 4.13 4.20 8/249 831798
/proc/meminfo: memFree=121719604/131655788 swapFree=131071996/131071996
[pid=830692] ppid=830680 vsize=320632 memory=232368 CPUtime=2644.73 cores=1,3
/proc/830692/stat : 830692 (fscip) S 830680 830692 830624 0 -1 1077936128 596708 0 0 0 262249 2224 0 0 20 0 3 0 161711168 328327168 58092 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
/proc/830692/statm: 80158 58092 2974 3032 0 61207 0
[pid=830692/tid=830700] ppid=830680 vsize=320632 memory=232368 CPUtime=2644.43 cores=1,3
/proc/830692/task/830700/stat : 830700 (fscip) R 830680 830692 830624 0 -1 4194368 593785 0 0 0 262224 2219 0 0 20 0 3 0 161711170 328327168 58092 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
[pid=830692/tid=830703] ppid=830680 vsize=320632 memory=41416 CPUtime=0.03 cores=1,3
/proc/830692/task/830703/stat : 830703 (fscip) S 830680 830692 830624 0 -1 1077936192 114 0 0 0 0 3 0 0 20 0 3 0 161711171 328327168 58092 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
Current children cumulated CPU time: 2644.73 s
Current children cumulated vsize: 320632 KiB
Current children cumulated memory: 232368 KiB
[startup+2655.2 s]
/proc/loadavg: 4.07 4.13 4.20 8/249 831798
/proc/meminfo: memFree=121718800/131655788 swapFree=131071996/131071996
[pid=830692] ppid=830680 vsize=320632 memory=232368 CPUtime=2645.53 cores=1,3
/proc/830692/stat : 830692 (fscip) S 830680 830692 830624 0 -1 1077936128 596708 0 0 0 262328 2225 0 0 20 0 3 0 161711168 328327168 58092 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
/proc/830692/statm: 80158 58092 2974 3032 0 61207 0
[pid=830692/tid=830700] ppid=830680 vsize=320632 memory=232368 CPUtime=2645.23 cores=1,3
/proc/830692/task/830700/stat : 830700 (fscip) R 830680 830692 830624 0 -1 4194368 593785 0 0 0 262303 2220 0 0 20 0 3 0 161711170 328327168 58092 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
[pid=830692/tid=830703] ppid=830680 vsize=320632 memory=41416 CPUtime=0.03 cores=1,3
/proc/830692/task/830703/stat : 830703 (fscip) S 830680 830692 830624 0 -1 1077936192 114 0 0 0 0 3 0 0 20 0 3 0 161711171 328327168 58092 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
Current children cumulated CPU time: 2645.53 s
Current children cumulated vsize: 320632 KiB
Current children cumulated memory: 232368 KiB
[startup+2656 s]*
/proc/loadavg: 4.07 4.13 4.20 8/249 831798
/proc/meminfo: memFree=121717772/131655788 swapFree=131071996/131071996
[pid=830692] ppid=830680 vsize=320632 memory=232368 CPUtime=2646.33 cores=1,3
/proc/830692/stat : 830692 (fscip) S 830680 830692 830624 0 -1 1077936128 596709 0 0 0 262408 2225 0 0 20 0 3 0 161711168 328327168 58092 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
/proc/830692/statm: 80158 58092 2974 3032 0 61207 0
[pid=830692/tid=830700] ppid=830680 vsize=320632 memory=6720662164434074988 CPUtime=2646.03 cores=1,3
/proc/830692/task/830700/stat : 830700 (fscip) R 830680 830692 830624 0 -1 4194368 593786 0 0 0 262383 2220 0 0 20 0 3 0 161711170 328327168 58092 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
[pid=830692/tid=830703] ppid=830680 vsize=320632 memory=-7666102548706778490 CPUtime=0.03 cores=1,3
/proc/830692/task/830703/stat : 830703 (fscip) S 830680 830692 830624 0 -1 1077936192 114 0 0 0 0 3 0 0 20 0 3 0 161711171 328327168 58092 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
Current children cumulated CPU time: 2646.33 s
Current children cumulated vsize: 320632 KiB
Current children cumulated memory: 232368 KiB
[startup+2656.4 s]
/proc/loadavg: 4.07 4.13 4.20 8/249 831798
/proc/meminfo: memFree=121717772/131655788 swapFree=131071996/131071996
[pid=830692] ppid=830680 vsize=320632 memory=232368 CPUtime=2646.72 cores=1,3
/proc/830692/stat : 830692 (fscip) S 830680 830692 830624 0 -1 1077936128 596709 0 0 0 262446 2226 0 0 20 0 3 0 161711168 328327168 58092 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
/proc/830692/statm: 80158 58092 2974 3032 0 61207 0
[pid=830692/tid=830700] ppid=830680 vsize=320632 memory=28036 CPUtime=2646.43 cores=1,3
/proc/830692/task/830700/stat : 830700 (fscip) R 830680 830692 830624 0 -1 4194368 593786 0 0 0 262422 2221 0 0 20 0 3 0 161711170 328327168 58092 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
[pid=830692/tid=830703] ppid=830680 vsize=320632 memory=19580 CPUtime=0.03 cores=1,3
/proc/830692/task/830703/stat : 830703 (fscip) S 830680 830692 830624 0 -1 1077936192 114 0 0 0 0 3 0 0 20 0 3 0 161711171 328327168 58092 134679101440 4194304 16613245 140728870045216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42164224 140728870052885 140728870053001 140728870053001 140728870060016 0
Current children cumulated CPU time: 2646.72 s
Current children cumulated vsize: 320632 KiB
Current children cumulated memory: 232368 KiB
Child status: 0
Real time (s): 2656.44
CPU time (s): 2646.78
CPU user time (s): 2624.5
CPU system time (s): 22.2726
CPU usage (%): 99.6361
Max. virtual memory (cumulated for all children) (KiB): 320632
Max. memory (cumulated for all children) (KiB): 232368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2624.5
system time used= 22.2726
maximum resident set size= 232368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 597309
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= 8053
involuntary context switches= 1391
# summary of solver processes directly reported to runsolver:
# pid: 830692
# total CPU time (s): 2646.78
# total CPU user time (s): 2624.5
# total CPU system time (s): 22.2726
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.224 second user time and 29.6463 second system time
The end
Begin job on nodeC006 at 2024-07-16 04:05:36
IDJOB=4434694
IDBENCH=147580
IDSOLVER=3064
FILE ID=nodeC006/4434694-1721095524
RUNJOBID= nodeC006-1721095536-830636
SLURM_JOB_ID= 7505606
Free space on /tmp= 723776 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_1.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-4434694-1721095524/watcher-4434694-1721095524 -o /tmp/evaluation-result-4434694-1721095524/solver-4434694-1721095524 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721095536-830636 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434694-1721095524.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 31fd86554dd2fe3e1cfc98032a9196a9
RANDOM SEED=941439795
nodeC006.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.257
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.94
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 : 1197.245
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.26
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.249
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.94
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.256
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.26
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 : 1197.249
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.94
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 : 1202.619
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.26
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 : 1203.753
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.94
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 : 1193.921
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.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126224836 kB
MemAvailable: 129912060 kB
Buffers: 392016 kB
Cached: 4092660 kB
SwapCached: 0 kB
Active: 689460 kB
Inactive: 4119264 kB
Active(anon): 1340 kB
Inactive(anon): 360408 kB
Active(file): 688120 kB
Inactive(file): 3758856 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 112716 kB
Writeback: 4 kB
AnonPages: 323984 kB
Mapped: 103072 kB
Shmem: 37704 kB
KReclaimable: 160556 kB
Slab: 265364 kB
SReclaimable: 160556 kB
SUnreclaim: 104808 kB
KernelStack: 3584 kB
PageTables: 9288 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 736696 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52000 kB
HardwareCorrupted: 0 kB
AnonHugePages: 200704 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: 219976 kB
DirectMap2M: 27996160 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 723664 MiB
End job on nodeC006 at 2024-07-16 04:49:53