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 = 22667264, getVmSize() = 22667264, SCIPgetMemUsed() = 951751, SCIPgetMemTotal() = 1269695, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.00 c ** Estimated virtualMemUsedAtSolver = 16039936, getVmSize() = 25452544, SCIPgetMemUsed() = 1629796, SCIPgetMemTotal() = 2904092, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.00 c Original Problem :
0.00/0.00 c Problem name : instance-4434695-1721098022
0.00/0.00 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 12
0.00/0.00 c Objective sense : minimize
0.00/0.00 c Presolved Problem :
0.00/0.00 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 11
0.00/0.00 c Constraints : Number
0.00/0.00 c linear : 7
0.00/0.00 c logicor : 4
0.00/0.00 c ** Instance transfer method used: 0
0.00/0.01 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.01 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.01 c Nodes Active
0.00/0.01 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.00/0.01 c * 0 0 1 1 967.0000 - -
0.00/0.03 c * 0 0 1 1 505.0000 - -
0.09/0.18 c * 0 2 1 1 486.0000 0.0000 -
0.19/0.21 c * 0 2 1 1 460.0000 0.0000 -
0.19/0.29 c * 0 2 1 1 417.0000 0.0000 -
0.29/0.31 c * 0 2 1 1 412.0000 0.0000 -
0.29/0.39 c * 0 2 1 1 272.0000 0.0000 -
0.39/0.42 c * 0 2 1 1 121.0000 0.0000 -
0.59/0.68 c * 1 2 1 1 83.0000 0.0000 -
3.18/3.23 c * 3 2573 1463 1 67.0000 0.0000 -
3.27/3.32 c * 3 2573 1463 1 66.0000 0.0000 -
3.37/3.42 c * 3 2573 1463 1 26.0000 0.0000 -
5.08/5.12 c 5 8711 5425 1 26.0000 0.0000 -
10.05/10.16 c 10 24587 13763 1 26.0000 0.0000 -
13.84/13.92 c * 14 33132 18497 1 24.0000 0.0000 -
13.84/13.93 c * 14 33132 18497 1 22.0000 0.0000 -
15.14/15.21 c 15 39078 20767 1 22.0000 0.0000 -
16.73/16.83 c * 17 42737 22383 1 21.0000 0.0000 -
18.82/18.95 c * 19 49697 24779 1 20.0000 0.0000 -
20.12/20.25 c 20 55314 26666 1 20.0000 0.0000 -
21.32/21.47 c * 21 58279 27831 1 18.0000 0.0000 -
21.32/21.48 c * 21 58279 27831 1 16.0000 0.0000 -
21.32/21.49 c * 21 58279 27831 1 14.0000 0.0000 -
25.20/25.30 c 25 71770 27964 1 14.0000 0.0000 -
27.19/27.35 c * 27 77539 29540 1 12.0000 0.0000 -
30.19/30.36 c 30 86293 30752 1 12.0000 0.0000 -
35.27/35.46 c 35 99058 32987 1 12.0000 0.0000 -
40.34/40.52 c 41 112026 34571 1 12.0000 0.0000 -
45.43/45.62 c 46 128557 36906 1 12.0000 0.0000 -
50.41/50.68 c 51 145458 38707 1 12.0000 0.0000 -
55.49/55.73 c 56 161510 40087 1 12.0000 0.0000 -
60.46/60.77 c 61 178221 41494 1 12.0000 0.0000 -
65.55/65.83 c 66 194532 46832 1 12.0000 0.0000 -
70.53/70.88 c 71 209335 51261 1 12.0000 0.0000 -
75.61/75.93 c 76 226054 56371 1 12.0000 0.0000 -
80.59/80.99 c 81 244435 61115 1 12.0000 0.0000 -
81.58/81.99 c * 82 244435 61115 1 11.0000 0.0000 -
85.68/86.03 c 86 261732 65711 1 11.0000 0.0000 -
90.66/91.09 c 91 277192 69564 1 11.0000 0.0000 -
95.75/96.16 c 96 289179 72050 1 11.0000 0.0000 -
99.73/100.17 c * 100 296298 73638 1 10.0000 0.0000 -
100.83/101.21 c 101 301679 73842 1 10.0000 0.0000 -
105.90/106.32 c 106 319198 80725 1 10.0000 0.0000 -
110.89/111.36 c 111 337449 86467 1 10.0000 0.0000 -
115.97/116.41 c 116 354661 91646 1 10.0000 0.0000 -
120.95/121.46 c 121 372806 96521 1 10.0000 0.0000 -
126.03/126.51 c 127 389699 100929 1 10.0000 0.0000 -
131.02/131.56 c 132 405945 105139 1 10.0000 0.0000 -
136.10/136.67 c 137 418982 107900 1 10.0000 0.0000 -
141.19/141.73 c 142 436802 111485 1 10.0000 0.0000 -
146.17/146.77 c 147 454099 114935 1 10.0000 0.0000 -
151.04/151.63 c * 152 466082 117524 1 8.0000 0.0000 -
151.24/151.82 c 152 469447 114838 1 8.0000 0.0000 -
156.23/156.87 c 157 489923 118250 1 8.0000 0.0000 -
161.31/161.92 c 162 510737 122271 1 8.0000 0.0000 -
166.30/166.97 c 167 531117 126916 1 8.0000 0.0000 -
171.38/172.03 c 172 547286 129972 1 8.0000 0.0000 -
176.36/177.07 c 177 566436 132634 1 8.0000 0.0000 -
180.85/181.54 c * 182 582539 134888 1 6.0000 0.0000 -
181.45/182.12 c 182 585892 132350 1 6.0000 0.0000 -
186.43/187.17 c 187 606335 135249 1 6.0000 0.0000 -
191.51/192.22 c 192 627070 137766 1 6.0000 0.0000 -
196.50/197.28 c 197 649201 139750 1 6.0000 0.0000 -
201.58/202.32 c 202 671266 141158 1 6.0000 0.0000 -
206.56/207.37 c 207 693871 142656 1 6.0000 0.0000 -
211.64/212.42 c 212 715041 144758 1 6.0000 0.0000 -
216.63/217.47 c 217 737812 147191 1 6.0000 0.0000 -
221.71/222.52 c 223 760475 147221 1 6.0000 0.0000 -
226.70/227.57 c 228 781268 148241 1 6.0000 0.0000 -
231.77/232.62 c 233 801055 152536 1 6.0000 0.0000 -
236.86/237.75 c 238 821696 156887 1 6.0000 0.0000 -
241.83/242.79 c 243 842294 158904 1 6.0000 0.0000 -
246.91/247.84 c 248 864626 160574 1 6.0000 0.0000 -
251.89/252.89 c 253 887180 161167 1 6.0000 0.0000 -
256.97/257.93 c 258 908294 161663 1 6.0000 0.0000 -
261.95/262.99 c 263 929113 160909 1 6.0000 0.0000 -
267.04/268.03 c 268 949987 158845 1 6.0000 0.0000 -
272.02/273.08 c 273 970630 157930 1 6.0000 0.0000 -
277.10/278.13 c 278 990265 157767 1 6.0000 0.0000 -
282.07/283.18 c 283 1008685 157309 1 6.0000 0.0000 -
287.15/288.23 c 288 1029747 157993 1 6.0000 0.0000 -
292.13/293.28 c 293 1049090 161622 1 6.0000 0.0000 -
297.21/298.33 c 298 1068835 163697 1 6.0000 0.0000 -
302.19/303.38 c 303 1089442 165489 1 6.0000 0.0000 -
307.27/308.43 c 308 1112090 166402 1 6.0000 0.0000 -
312.25/313.48 c 313 1133259 166876 1 6.0000 0.0000 -
317.33/318.53 c 319 1155951 166964 1 6.0000 0.0000 -
322.31/323.59 c 324 1176837 166683 1 6.0000 0.0000 -
327.38/328.63 c 329 1196018 165711 1 6.0000 0.0000 -
332.36/333.68 c 334 1215422 166687 1 6.0000 0.0000 -
337.45/338.73 c 339 1234736 167844 1 6.0000 0.0000 -
342.42/343.79 c 344 1254034 166734 1 6.0000 0.0000 -
347.50/348.84 c 349 1275044 165033 1 6.0000 0.0000 -
352.48/353.89 c 354 1296467 163319 1 6.0000 0.0000 -
357.56/358.94 c 359 1316710 160691 1 6.0000 0.0000 -
362.54/363.99 c 364 1337442 160250 1 6.0000 0.0000 -
367.63/369.04 c 369 1354317 160573 1 6.0000 0.0000 -
372.61/374.09 c 374 1372168 159437 1 6.0000 0.0000 -
377.68/379.14 c 379 1394125 158937 1 6.0000 0.0000 -
382.66/384.19 c 384 1412441 159545 1 6.0000 0.0000 -
387.74/389.24 c 389 1432669 158998 1 6.0000 0.0000 -
392.82/394.30 c 394 1451836 158824 1 6.0000 0.0000 -
397.79/399.35 c 399 1470559 158533 1 6.0000 0.0000 -
402.87/404.41 c 404 1488298 158459 1 6.0000 0.0000 -
407.85/409.46 c 409 1505253 159181 1 6.0000 0.0000 -
412.93/414.51 c 415 1522079 160550 1 6.0000 0.0000 -
417.91/419.56 c 420 1538613 160595 1 6.0000 0.0000 -
422.98/424.61 c 425 1558604 159387 1 6.0000 0.0000 -
427.96/429.66 c 430 1579300 157876 1 6.0000 0.0000 -
433.05/434.71 c 435 1598120 157420 1 6.0000 0.0000 -
438.03/439.76 c 440 1618857 157065 1 6.0000 0.0000 -
443.10/444.81 c 445 1639520 156098 1 6.0000 0.0000 -
448.18/449.92 c 450 1653620 156623 1 6.0000 0.0000 -
453.17/454.97 c 455 1671572 156061 1 6.0000 0.0000 -
458.25/460.03 c 460 1690542 155203 1 6.0000 0.0000 -
463.23/465.09 c 465 1706165 155505 1 6.0000 0.0000 -
468.31/470.14 c 470 1723851 154664 1 6.0000 0.0000 -
473.38/475.20 c 475 1741740 154960 1 6.0000 0.0000 -
478.36/480.25 c 480 1759566 154465 1 6.0000 0.0000 -
483.44/485.31 c 485 1779037 153737 1 6.0000 0.0000 -
488.41/490.36 c 490 1796206 152650 1 6.0000 0.0000 -
493.50/495.42 c 495 1813835 154146 1 6.0000 0.0000 -
498.48/500.47 c 500 1831613 152534 1 6.0000 0.0000 -
503.56/505.52 c 506 1851603 152435 1 6.0000 0.0000 -
508.54/510.57 c 511 1871403 152533 1 6.0000 0.0000 -
513.61/515.61 c 516 1890592 151697 1 6.0000 0.0000 -
518.59/520.66 c 521 1908055 150391 1 6.0000 0.0000 -
523.67/525.73 c 526 1926451 150180 1 6.0000 0.0000 -
528.65/530.77 c 531 1946152 149592 1 6.0000 0.0000 -
533.73/535.82 c 536 1964746 148524 1 6.0000 0.0000 -
538.71/540.88 c 541 1984157 148794 1 6.0000 0.0000 -
543.79/545.93 c 546 2002339 150014 1 6.0000 0.0000 -
548.77/550.99 c 551 2022190 152319 1 6.0000 0.0000 -
553.86/556.04 c 556 2041931 152227 1 6.0000 0.0000 -
558.94/561.10 c 561 2063560 148869 1 6.0000 0.0000 -
563.92/566.15 c 566 2084681 147840 1 6.0000 0.0000 -
568.99/571.20 c 571 2100412 148250 1 6.0000 0.0000 -
573.97/576.27 c 576 2119718 147263 1 6.0000 0.0000 -
579.04/581.33 c 581 2138156 146592 1 6.0000 0.0000 -
584.03/586.37 c 586 2155342 146076 1 6.0000 0.0000 -
589.11/591.43 c 591 2172534 146555 1 6.0000 0.0000 -
594.09/596.49 c 596 2187730 146814 1 6.0000 0.0000 -
599.17/601.55 c 602 2203653 145797 1 6.0000 0.0000 -
604.25/606.61 c 607 2220398 146819 1 6.0000 0.0000 -
609.23/611.66 c 612 2237620 148306 1 6.0000 0.0000 -
614.31/616.73 c 617 2258947 147073 1 6.0000 0.0000 -
619.39/621.81 c 622 2277296 146550 1 6.0000 0.0000 -
624.37/626.86 c 627 2295370 145794 1 6.0000 0.0000 -
629.44/631.92 c 632 2316434 144774 1 6.0000 0.0000 -
634.43/636.98 c 637 2333991 146125 1 6.0000 0.0000 -
639.50/642.02 c 642 2351160 144662 1 6.0000 0.0000 -
644.49/647.08 c 647 2369792 143554 1 6.0000 0.0000 -
649.57/652.12 c 652 2388891 142753 1 6.0000 0.0000 -
654.55/657.19 c 657 2408191 141850 1 6.0000 0.0000 -
659.62/662.26 c 662 2426092 141616 1 6.0000 0.0000 -
664.70/667.32 c 667 2444911 140346 1 6.0000 0.0000 -
669.68/672.37 c 672 2463482 139817 1 6.0000 0.0000 -
674.75/677.43 c 677 2482485 139275 1 6.0000 0.0000 -
679.74/682.47 c 682 2503116 139636 1 6.0000 0.0000 -
684.81/687.53 c 688 2521516 138664 1 6.0000 0.0000 -
689.80/692.57 c 693 2537522 143368 1 6.0000 0.0000 -
694.88/697.66 c 698 2554684 148621 1 6.0000 0.0000 -
699.96/702.72 c 703 2570985 152420 1 6.0000 0.0000 -
704.94/707.78 c 708 2585846 156116 1 6.0000 0.0000 -
710.02/712.83 c 713 2602832 159741 1 6.0000 0.0000 -
715.00/717.88 c 718 2618374 163045 1 6.0000 0.0000 -
720.08/722.93 c 723 2635135 165593 1 6.0000 0.0000 -
725.17/728.00 c 728 2650458 167911 1 6.0000 0.0000 -
730.15/733.06 c 733 2665561 170464 1 6.0000 0.0000 -
735.22/738.13 c 738 2681204 172684 1 6.0000 0.0000 -
740.30/743.20 c 743 2696650 175826 1 6.0000 0.0000 -
745.38/748.32 c 748 2710443 179671 1 6.0000 0.0000 -
750.37/753.38 c 753 2725797 182441 1 6.0000 0.0000 -
755.55/758.50 c 758 2740866 185201 1 6.0000 0.0000 -
760.53/763.58 c 764 2757554 187582 1 6.0000 0.0000 -
765.60/768.65 c 769 2772197 189604 1 6.0000 0.0000 -
770.69/773.72 c 774 2789900 191655 1 6.0000 0.0000 -
775.77/778.82 c 779 2803487 194068 1 6.0000 0.0000 -
780.75/783.87 c 784 2819476 196043 1 6.0000 0.0000 -
785.83/788.93 c 789 2835272 198469 1 6.0000 0.0000 -
790.91/794.01 c 794 2852497 199670 1 6.0000 0.0000 -
795.90/799.05 c 799 2867682 201462 1 6.0000 0.0000 -
800.98/804.10 c 804 2884562 203418 1 6.0000 0.0000 -
805.96/809.19 c 809 2901841 204890 1 6.0000 0.0000 -
811.03/814.26 c 814 2918358 206457 1 6.0000 0.0000 -
816.11/819.33 c 819 2934446 208440 1 6.0000 0.0000 -
821.10/824.37 c 824 2952201 209669 1 6.0000 0.0000 -
826.18/829.46 c 829 2968823 211404 1 6.0000 0.0000 -
831.25/834.50 c 835 2986712 212939 1 6.0000 0.0000 -
836.24/839.58 c 840 3004757 214023 1 6.0000 0.0000 -
841.31/844.65 c 845 3022009 215142 1 6.0000 0.0000 -
846.39/849.71 c 850 3039823 216148 1 6.0000 0.0000 -
851.37/854.76 c 855 3057410 216981 1 6.0000 0.0000 -
856.45/859.84 c 860 3075682 217770 1 6.0000 0.0000 -
861.54/864.92 c 865 3092818 218683 1 6.0000 0.0000 -
866.52/869.98 c 870 3108838 220175 1 6.0000 0.0000 -
871.60/875.05 c 875 3125976 221024 1 6.0000 0.0000 -
876.68/880.11 c 880 3140528 222395 1 6.0000 0.0000 -
881.66/885.17 c 885 3157268 222896 1 6.0000 0.0000 -
886.73/890.22 c 890 3176678 223633 1 6.0000 0.0000 -
891.71/895.28 c 895 3193957 224134 1 6.0000 0.0000 -
896.79/900.33 c 900 3211674 225048 1 6.0000 0.0000 -
901.88/905.42 c 905 3228806 226086 1 6.0000 0.0000 -
906.85/910.49 c 910 3244462 228389 1 6.0000 0.0000 -
911.93/915.54 c 916 3258586 230580 1 6.0000 0.0000 -
916.91/920.58 c 921 3273291 232148 1 6.0000 0.0000 -
922.00/925.67 c 926 3285541 232738 1 6.0000 0.0000 -
927.08/930.72 c 931 3300600 232969 1 6.0000 0.0000 -
932.15/935.82 c 936 3314561 233580 1 6.0000 0.0000 -
937.13/940.87 c 941 3327554 234336 1 6.0000 0.0000 -
942.21/945.93 c 946 3342739 234567 1 6.0000 0.0000 -
947.19/950.98 c 951 3360587 235433 1 6.0000 0.0000 -
952.27/956.04 c 956 3376675 235845 1 6.0000 0.0000 -
957.25/961.08 c 961 3393461 237201 1 6.0000 0.0000 -
962.33/966.14 c 966 3412790 237885 1 6.0000 0.0000 -
967.41/971.20 c 971 3429491 238774 1 6.0000 0.0000 -
972.38/976.24 c 976 3446066 239477 1 6.0000 0.0000 -
977.46/981.35 c 981 3461865 240660 1 6.0000 0.0000 -
982.54/986.44 c 986 3477079 240892 1 6.0000 0.0000 -
987.52/991.48 c 991 3493355 242073 1 6.0000 0.0000 -
992.60/996.53 c 997 3512903 242595 1 6.0000 0.0000 -
997.57/1001.59 c 1002 3527957 243888 1 6.0000 0.0000 -
1002.66/1006.63 c 1007 3545075 244962 1 6.0000 0.0000 -
1007.74/1011.71 c 1012 3563103 245383 1 6.0000 0.0000 -
1012.73/1016.78 c 1017 3581733 246536 1 6.0000 0.0000 -
1017.81/1021.86 c 1022 3602397 247452 1 6.0000 0.0000 -
1022.89/1026.90 c 1027 3619476 248033 1 6.0000 0.0000 -
1027.87/1031.98 c 1032 3635132 248258 1 6.0000 0.0000 -
1032.97/1037.03 c 1037 3652143 248709 1 6.0000 0.0000 -
1037.94/1042.07 c 1042 3667662 249853 1 6.0000 0.0000 -
1043.03/1047.16 c 1047 3685704 250163 1 6.0000 0.0000 -
1048.10/1052.23 c 1052 3702044 250986 1 6.0000 0.0000 -
1053.18/1057.30 c 1057 3719799 251198 1 6.0000 0.0000 -
1058.16/1062.37 c 1062 3735593 251648 1 6.0000 0.0000 -
1063.24/1067.46 c 1067 3748952 253703 1 6.0000 0.0000 -
1068.32/1072.55 c 1073 3762884 255153 1 6.0000 0.0000 -
1073.41/1077.64 c 1078 3776656 256333 1 6.0000 0.0000 -
1078.49/1082.72 c 1083 3790753 256929 1 6.0000 0.0000 -
1083.47/1087.77 c 1088 3804815 257815 1 6.0000 0.0000 -
1088.56/1092.83 c 1093 3819761 258311 1 6.0000 0.0000 -
1093.64/1097.92 c 1098 3836065 259110 1 6.0000 0.0000 -
1098.62/1102.97 c 1103 3851133 259293 1 6.0000 0.0000 -
1103.70/1108.03 c 1108 3865785 259053 1 6.0000 0.0000 -
1108.69/1113.07 c 1113 3881813 259213 1 6.0000 0.0000 -
1113.77/1118.17 c 1118 3896970 258893 1 6.0000 0.0000 -
1118.85/1123.23 c 1123 3913805 259569 1 6.0000 0.0000 -
1123.84/1128.29 c 1128 3929250 260292 1 6.0000 0.0000 -
1128.92/1133.37 c 1133 3945535 260579 1 6.0000 0.0000 -
1134.00/1138.45 c 1138 3962180 260748 1 6.0000 0.0000 -
1139.08/1143.50 c 1144 3977004 260957 1 6.0000 0.0000 -
1144.16/1148.61 c 1149 3994966 261571 1 6.0000 0.0000 -
1149.15/1153.66 c 1154 4012119 261631 1 6.0000 0.0000 -
1154.23/1158.71 c 1159 4029146 262267 1 6.0000 0.0000 -
1159.21/1163.79 c 1164 4046650 263018 1 6.0000 0.0000 -
1164.29/1168.83 c 1169 4063342 263080 1 6.0000 0.0000 -
1169.28/1173.88 c 1174 4079542 263164 1 6.0000 0.0000 -
1174.36/1178.93 c 1179 4093999 263492 1 6.0000 0.0000 -
1179.44/1184.01 c 1184 4111520 263370 1 6.0000 0.0000 -
1184.43/1189.05 c 1189 4126907 263831 1 6.0000 0.0000 -
1189.52/1194.11 c 1194 4140451 263991 1 6.0000 0.0000 -
1194.50/1199.15 c 1199 4157777 264127 1 6.0000 0.0000 -
1199.57/1204.27 c 1204 4174861 264518 1 6.0000 0.0000 -
1204.66/1209.34 c 1209 4192312 264250 1 6.0000 0.0000 -
1209.63/1214.39 c 1214 4204702 264688 1 6.0000 0.0000 -
1214.72/1219.48 c 1219 4220607 266150 1 6.0000 0.0000 -
1219.81/1224.57 c 1225 4241471 266510 1 6.0000 0.0000 -
1224.88/1229.63 c 1230 4258218 266002 1 6.0000 0.0000 -
1229.87/1234.69 c 1235 4274392 266641 1 6.0000 0.0000 -
1234.95/1239.75 c 1240 4292266 266736 1 6.0000 0.0000 -
1240.04/1244.83 c 1245 4309011 266223 1 6.0000 0.0000 -
1245.12/1249.93 c 1250 4329317 266744 1 6.0000 0.0000 -
1250.11/1254.98 c 1255 4347146 266102 1 6.0000 0.0000 -
1255.19/1260.05 c 1260 4362706 266235 1 6.0000 0.0000 -
1260.28/1265.18 c 1265 4380697 266355 1 6.0000 0.0000 -
1265.35/1270.24 c 1270 4399067 266476 1 6.0000 0.0000 -
1270.43/1275.32 c 1275 4416128 266385 1 6.0000 0.0000 -
1275.42/1280.38 c 1280 4430938 266703 1 6.0000 0.0000 -
1280.50/1285.44 c 1285 4445508 267722 1 6.0000 0.0000 -
1285.59/1290.53 c 1291 4460961 267379 1 6.0000 0.0000 -
1290.67/1295.66 c 1296 4475586 267247 1 6.0000 0.0000 -
1295.75/1300.76 c 1301 4492136 267218 1 6.0000 0.0000 -
1300.83/1305.83 c 1306 4508523 267124 1 6.0000 0.0000 -
1305.82/1310.88 c 1311 4524547 267131 1 6.0000 0.0000 -
1310.90/1315.93 c 1316 4541817 267007 1 6.0000 0.0000 -
1315.99/1321.03 c 1321 4555934 268813 1 6.0000 0.0000 -
1320.97/1326.07 c 1326 4571923 269932 1 6.0000 0.0000 -
1326.05/1331.12 c 1331 4588798 270847 1 6.0000 0.0000 -
1331.13/1336.21 c 1336 4604315 270857 1 6.0000 0.0000 -
1336.11/1341.25 c 1341 4620288 270918 1 6.0000 0.0000 -
1341.20/1346.32 c 1346 4639355 270567 1 6.0000 0.0000 -
1346.18/1351.37 c 1351 4656325 269868 1 6.0000 0.0000 -
1351.26/1356.42 c 1356 4670734 270035 1 6.0000 0.0000 -
1356.34/1361.57 c 1362 4684687 270650 1 6.0000 0.0000 -
1361.43/1366.69 c 1367 4697078 270610 1 6.0000 0.0000 -
1366.62/1371.80 c 1372 4713799 271093 1 6.0000 0.0000 -
1371.59/1376.85 c 1377 4732675 271314 1 6.0000 0.0000 -
1376.67/1381.90 c 1382 4751250 271265 1 6.0000 0.0000 -
1381.66/1386.97 c 1387 4766914 270856 1 6.0000 0.0000 -
1386.75/1392.01 c 1392 4784111 270447 1 6.0000 0.0000 -
1391.84/1397.15 c 1397 4801265 270521 1 6.0000 0.0000 -
1396.91/1402.20 c 1402 4816781 270315 1 6.0000 0.0000 -
1401.90/1407.25 c 1407 4833574 269532 1 6.0000 0.0000 -
1406.97/1412.33 c 1412 4849584 269574 1 6.0000 0.0000 -
1411.96/1417.40 c 1417 4863225 269436 1 6.0000 0.0000 -
1417.14/1422.50 c 1422 4880343 268971 1 6.0000 0.0000 -
1422.13/1427.54 c 1428 4895991 269705 1 6.0000 0.0000 -
1427.21/1432.62 c 1433 4913419 268864 1 6.0000 0.0000 -
1432.29/1437.78 c 1438 4928853 269001 1 6.0000 0.0000 -
1437.47/1442.98 c 1443 4942128 269192 1 6.0000 0.0000 -
1442.56/1448.04 c 1448 4959949 269279 1 6.0000 0.0000 -
1447.55/1453.09 c 1453 4974868 269171 1 6.0000 0.0000 -
1452.63/1458.14 c 1458 4991434 268842 1 6.0000 0.0000 -
1457.61/1463.19 c 1463 5006768 268832 1 6.0000 0.0000 -
1462.69/1468.24 c 1468 5022196 268374 1 6.0000 0.0000 -
1467.68/1473.29 c 1473 5034208 268392 1 6.0000 0.0000 -
1472.75/1478.34 c 1478 5050075 267766 1 6.0000 0.0000 -
1477.73/1483.39 c 1483 5066822 267306 1 6.0000 0.0000 -
1482.82/1488.49 c 1488 5080703 268565 1 6.0000 0.0000 -
1487.91/1493.58 c 1494 5094961 268765 1 6.0000 0.0000 -
1492.98/1498.63 c 1499 5109530 268446 1 6.0000 0.0000 -
1497.97/1503.68 c 1504 5124300 268352 1 6.0000 0.0000 -
1503.06/1508.79 c 1509 5143918 268742 1 6.0000 0.0000 -
1508.14/1513.84 c 1514 5159341 268517 1 6.0000 0.0000 -
1513.22/1518.93 c 1519 5175084 267795 1 6.0000 0.0000 -
1518.31/1524.02 c 1524 5189952 267824 1 6.0000 0.0000 -
1523.30/1529.06 c 1529 5206851 266790 1 6.0000 0.0000 -
1528.38/1534.17 c 1534 5224435 265744 1 6.0000 0.0000 -
1533.45/1539.23 c 1539 5240600 265561 1 6.0000 0.0000 -
1538.53/1544.31 c 1544 5255587 265076 1 6.0000 0.0000 -
1543.52/1549.36 c 1549 5271499 264500 1 6.0000 0.0000 -
1548.60/1554.41 c 1554 5288453 264307 1 6.0000 0.0000 -
1553.58/1559.46 c 1559 5301607 264056 1 6.0000 0.0000 -
1558.67/1564.51 c 1565 5317386 264204 1 6.0000 0.0000 -
1563.75/1569.61 c 1570 5335859 263162 1 6.0000 0.0000 -
1568.83/1574.72 c 1575 5351649 263433 1 6.0000 0.0000 -
1573.81/1579.77 c 1580 5366269 262638 1 6.0000 0.0000 -
1578.89/1584.88 c 1585 5383311 261434 1 6.0000 0.0000 -
1583.98/1589.97 c 1590 5397627 261182 1 6.0000 0.0000 -
1589.07/1595.03 c 1595 5416157 261009 1 6.0000 0.0000 -
1594.05/1600.08 c 1600 5431130 260553 1 6.0000 0.0000 -
1599.13/1605.13 c 1605 5447423 260282 1 6.0000 0.0000 -
1604.21/1610.24 c 1610 5461988 260480 1 6.0000 0.0000 -
1609.39/1615.40 c 1615 5478778 259579 1 6.0000 0.0000 -
1614.38/1620.49 c 1620 5493067 260378 1 6.0000 0.0000 -
1619.56/1625.61 c 1626 5509495 259390 1 6.0000 0.0000 -
1624.54/1630.67 c 1631 5526434 258181 1 6.0000 0.0000 -
1629.62/1635.79 c 1636 5540002 257699 1 6.0000 0.0000 -
1634.81/1640.90 c 1641 5554403 257025 1 6.0000 0.0000 -
1639.79/1645.95 c 1646 5572485 256499 1 6.0000 0.0000 -
1644.87/1651.00 c 1651 5588580 255462 1 6.0000 0.0000 -
1649.86/1656.05 c 1656 5605671 255141 1 6.0000 0.0000 -
1654.94/1661.10 c 1661 5619560 254871 1 6.0000 0.0000 -
1659.93/1666.19 c 1666 5636221 254640 1 6.0000 0.0000 -
1665.00/1671.24 c 1671 5651992 254093 1 6.0000 0.0000 -
1670.09/1676.31 c 1676 5670555 253992 1 6.0000 0.0000 -
1675.16/1681.43 c 1681 5686180 253664 1 6.0000 0.0000 -
1680.25/1686.57 c 1687 5702044 253154 1 6.0000 0.0000 -
1685.44/1691.75 c 1692 5717333 252863 1 6.0000 0.0000 -
1690.52/1696.86 c 1697 5732656 252346 1 6.0000 0.0000 -
1695.60/1701.94 c 1702 5747426 252130 1 6.0000 0.0000 -
1700.68/1707.05 c 1707 5760477 251843 1 6.0000 0.0000 -
1705.67/1712.09 c 1712 5776503 251339 1 6.0000 0.0000 -
1710.75/1717.18 c 1717 5792151 251041 1 6.0000 0.0000 -
1715.83/1722.26 c 1722 5808631 251391 1 6.0000 0.0000 -
1720.92/1727.31 c 1727 5825860 250857 1 6.0000 0.0000 -
1726.00/1732.49 c 1732 5844815 250191 1 6.0000 0.0000 -
1731.08/1737.54 c 1738 5861238 250162 1 6.0000 0.0000 -
1736.16/1742.60 c 1743 5879480 248813 1 6.0000 0.0000 -
1741.25/1747.72 c 1748 5898189 251050 1 6.0000 0.0000 -
1746.33/1752.81 c 1753 5918409 251668 1 6.0000 0.0000 -
1751.41/1757.91 c 1758 5940078 252840 1 6.0000 0.0000 -
1756.39/1762.96 c 1763 5962001 252676 1 6.0000 0.0000 -
1761.49/1768.02 c 1768 5986497 252003 1 6.0000 0.0000 -
1766.47/1773.07 c 1773 6008865 251053 1 6.0000 0.0000 -
1771.55/1778.13 c 1778 6028381 250288 1 6.0000 0.0000 -
1776.53/1783.18 c 1783 6045084 250156 1 6.0000 0.0000 -
1781.61/1788.22 c 1788 6058881 249818 1 6.0000 0.0000 -
1786.59/1793.29 c 1793 6078523 249719 1 6.0000 0.0000 -
1791.67/1798.34 c 1798 6096856 249526 1 6.0000 0.0000 -
1796.76/1803.42 c 1803 6116651 251161 1 6.0000 0.0000 -
1801.84/1808.51 c 1809 6136804 251525 1 6.0000 0.0000 -
1806.83/1813.59 c 1814 6159454 251857 1 6.0000 0.0000 -
1812.01/1818.75 c 1819 6181857 252144 1 6.0000 0.0000 -
1817.09/1823.87 c 1824 6202544 251149 1 6.0000 0.0000 -
1822.18/1828.99 c 1829 6220996 250543 1 6.0000 0.0000 -
1827.26/1834.05 c 1834 6239257 250145 1 6.0000 0.0000 -
1832.35/1839.10 c 1839 6256655 249946 1 6.0000 0.0000 -
1837.42/1844.23 c 1844 6273963 249946 1 6.0000 0.0000 -
1842.51/1849.31 c 1849 6293135 249912 1 6.0000 0.0000 -
1847.50/1854.36 c 1854 6310011 249059 1 6.0000 0.0000 -
1852.57/1859.47 c 1859 6323683 249235 1 6.0000 0.0000 -
1857.66/1864.51 c 1865 6340897 248793 1 6.0000 0.0000 -
1862.64/1869.56 c 1870 6357675 247741 1 6.0000 0.0000 -
1867.81/1874.76 c 1875 6371039 247942 1 6.0000 0.0000 -
1873.00/1879.95 c 1880 6385557 248051 1 6.0000 0.0000 -
1878.09/1885.04 c 1885 6400930 247249 1 6.0000 0.0000 -
1883.17/1890.13 c 1890 6414443 246714 1 6.0000 0.0000 -
1888.16/1895.17 c 1895 6430875 246388 1 6.0000 0.0000 -
1893.22/1900.22 c 1900 6443084 246526 1 6.0000 0.0000 -
1898.21/1905.29 c 1905 6459052 246061 1 6.0000 0.0000 -
1903.28/1910.38 c 1910 6473951 245532 1 6.0000 0.0000 -
1908.37/1915.42 c 1915 6486655 245276 1 6.0000 0.0000 -
1913.34/1920.49 c 1920 6501756 244861 1 6.0000 0.0000 -
1918.42/1925.57 c 1926 6516529 245885 1 6.0000 0.0000 -
1923.50/1930.61 c 1931 6528627 246304 1 6.0000 0.0000 -
1928.48/1935.67 c 1936 6540925 246153 1 6.0000 0.0000 -
1933.56/1940.75 c 1941 6556071 245132 1 6.0000 0.0000 -
1938.64/1945.81 c 1946 6569266 244444 1 6.0000 0.0000 -
1943.71/1950.94 c 1951 6585929 243790 1 6.0000 0.0000 -
1948.80/1956.02 c 1956 6601594 243035 1 6.0000 0.0000 -
1953.88/1961.13 c 1961 6617863 242639 1 6.0000 0.0000 -
1958.86/1966.18 c 1966 6637177 241344 1 6.0000 0.0000 -
1963.93/1971.23 c 1971 6652608 240254 1 6.0000 0.0000 -
1969.01/1976.33 c 1976 6668410 239966 1 6.0000 0.0000 -
1973.99/1981.37 c 1981 6685737 239051 1 6.0000 0.0000 -
1979.07/1986.49 c 1986 6698650 239290 1 6.0000 0.0000 -
1984.15/1991.53 c 1992 6715302 238115 1 6.0000 0.0000 -
1989.23/1996.67 c 1997 6729311 237721 1 6.0000 0.0000 -
1994.30/2001.73 c 2002 6746994 237581 1 6.0000 0.0000 -
1999.29/2006.77 c 2007 6765426 236590 1 6.0000 0.0000 -
2004.37/2011.82 c 2012 6778243 236638 1 6.0000 0.0000 -
2009.45/2016.95 c 2017 6795174 235273 1 6.0000 0.0000 -
2014.53/2022.01 c 2022 6810575 234485 1 6.0000 0.0000 -
2019.52/2027.05 c 2027 6825952 233400 1 6.0000 0.0000 -
2024.60/2032.10 c 2032 6840339 232983 1 6.0000 0.0000 -
2029.58/2037.15 c 2037 6857081 232353 1 6.0000 0.0000 -
2034.66/2042.20 c 2042 6875974 230905 1 6.0000 0.0000 -
2039.65/2047.28 c 2047 6892577 229547 1 6.0000 0.0000 -
2044.72/2052.39 c 2052 6909094 229217 1 6.0000 0.0000 -
2049.81/2057.48 c 2057 6924817 228309 1 6.0000 0.0000 -
2054.89/2062.54 c 2063 6942644 227422 1 6.0000 0.0000 -
2059.88/2067.59 c 2068 6956951 227195 1 6.0000 0.0000 -
2064.96/2072.69 c 2073 6970837 226371 1 6.0000 0.0000 -
2070.14/2077.86 c 2078 6986311 226483 1 6.0000 0.0000 -
2075.22/2082.96 c 2083 7000757 226044 1 6.0000 0.0000 -
2080.31/2088.04 c 2088 7017352 225274 1 6.0000 0.0000 -
2085.29/2093.09 c 2093 7033578 224493 1 6.0000 0.0000 -
2090.37/2098.14 c 2098 7050341 225169 1 6.0000 0.0000 -
2095.46/2103.20 c 2103 7067954 225533 1 6.0000 0.0000 -
2100.44/2108.24 c 2108 7083554 224419 1 6.0000 0.0000 -
2105.62/2113.43 c 2113 7096501 224527 1 6.0000 0.0000 -
2110.70/2118.54 c 2119 7114396 223361 1 6.0000 0.0000 -
2115.69/2123.58 c 2124 7134125 222384 1 6.0000 0.0000 -
2120.76/2128.64 c 2129 7150815 221777 1 6.0000 0.0000 -
2125.75/2133.70 c 2134 7164936 221570 1 6.0000 0.0000 -
2130.84/2138.74 c 2139 7179616 221120 1 6.0000 0.0000 -
2135.82/2143.79 c 2144 7193571 221841 1 6.0000 0.0000 -
2140.99/2148.90 c 2149 7209746 221166 1 6.0000 0.0000 -
2145.98/2153.95 c 2154 7226395 220631 1 6.0000 0.0000 -
2151.07/2159.01 c 2159 7242949 220309 1 6.0000 0.0000 -
2156.15/2164.18 c 2164 7256781 220849 1 6.0000 0.0000 -
2161.33/2169.39 c 2169 7272199 222633 1 6.0000 0.0000 -
2166.51/2174.50 c 2175 7286188 223368 1 6.0000 0.0000 -
2171.49/2179.58 c 2180 7301613 223394 1 6.0000 0.0000 -
2176.68/2184.76 c 2185 7315715 224633 1 6.0000 0.0000 -
2181.86/2189.94 c 2190 7327629 226154 1 6.0000 0.0000 -
2187.05/2195.16 c 2195 7343382 226764 1 6.0000 0.0000 -
2192.12/2200.29 c 2200 7359836 226842 1 6.0000 0.0000 -
2197.21/2205.38 c 2205 7376288 226615 1 6.0000 0.0000 -
2202.49/2210.61 c 2211 7392868 226624 1 6.0000 0.0000 -
2207.57/2215.73 c 2216 7405842 226634 1 6.0000 0.0000 -
2212.66/2220.81 c 2221 7420988 226334 1 6.0000 0.0000 -
2217.74/2225.91 c 2226 7437534 225831 1 6.0000 0.0000 -
2222.83/2231.02 c 2231 7455132 224861 1 6.0000 0.0000 -
2227.80/2236.09 c 2236 7471082 223874 1 6.0000 0.0000 -
2232.89/2241.14 c 2241 7488821 222032 1 6.0000 0.0000 -
2237.97/2246.27 c 2246 7503925 221194 1 6.0000 0.0000 -
2243.15/2251.40 c 2251 7519155 221191 1 6.0000 0.0000 -
2248.24/2256.52 c 2257 7536746 219901 1 6.0000 0.0000 -
2253.32/2261.68 c 2262 7548550 220202 1 6.0000 0.0000 -
2258.40/2266.77 c 2267 7563255 219562 1 6.0000 0.0000 -
2263.48/2271.81 c 2272 7580031 218407 1 6.0000 0.0000 -
2268.47/2276.86 c 2277 7595476 218184 1 6.0000 0.0000 -
2273.55/2281.91 c 2282 7613075 216505 1 6.0000 0.0000 -
2278.64/2287.04 c 2287 7630177 216578 1 6.0000 0.0000 -
2283.81/2292.23 c 2292 7644710 216775 1 6.0000 0.0000 -
2288.90/2297.33 c 2297 7661887 215534 1 6.0000 0.0000 -
2293.98/2302.44 c 2302 7673407 216687 1 6.0000 0.0000 -
2299.06/2307.53 c 2308 7684106 217656 1 6.0000 0.0000 -
2304.15/2312.60 c 2313 7692811 218695 1 6.0000 0.0000 -
2309.23/2317.77 c 2318 7700755 219344 1 6.0000 0.0000 -
2314.52/2323.08 c 2323 7710591 219738 1 6.0000 0.0000 -
2319.60/2328.13 c 2328 7720181 220090 1 6.0000 0.0000 -
2324.68/2333.23 c 2333 7728773 220461 1 6.0000 0.0000 -
2329.76/2338.31 c 2338 7738806 220651 1 6.0000 0.0000 -
2334.74/2343.35 c 2343 7749451 221141 1 6.0000 0.0000 -
2339.83/2348.46 c 2348 7759197 221347 1 6.0000 0.0000 -
2345.01/2353.68 c 2354 7769737 221708 1 6.0000 0.0000 -
2350.09/2358.78 c 2359 7780472 221594 1 6.0000 0.0000 -
2355.28/2363.97 c 2364 7790103 221668 1 6.0000 0.0000 -
2360.36/2369.07 c 2369 7799919 221943 1 6.0000 0.0000 -
2365.44/2374.11 c 2374 7812391 221557 1 6.0000 0.0000 -
2370.43/2379.16 c 2379 7823135 221497 1 6.0000 0.0000 -
2375.51/2384.21 c 2384 7834605 221213 1 6.0000 0.0000 -
2380.59/2389.37 c 2389 7846638 221075 1 6.0000 0.0000 -
2385.67/2394.42 c 2394 7857501 221447 1 6.0000 0.0000 -
2390.65/2399.47 c 2399 7867683 221412 1 6.0000 0.0000 -
2395.74/2404.55 c 2405 7877182 221555 1 6.0000 0.0000 -
2400.82/2409.60 c 2410 7886572 221398 1 6.0000 0.0000 -
2405.90/2414.76 c 2415 7897841 220964 1 6.0000 0.0000 -
2410.98/2419.84 c 2420 7906741 221149 1 6.0000 0.0000 -
2416.06/2424.95 c 2425 7914451 222149 1 6.0000 0.0000 -
2421.16/2430.06 c 2430 7922629 222684 1 6.0000 0.0000 -
2426.24/2435.10 c 2435 7931729 222847 1 6.0000 0.0000 -
2431.32/2440.25 c 2440 7942789 222751 1 6.0000 0.0000 -
2436.40/2445.34 c 2445 7950947 223374 1 6.0000 0.0000 -
2441.58/2450.51 c 2451 7960781 223563 1 6.0000 0.0000 -
2446.66/2455.64 c 2456 7971302 223429 1 6.0000 0.0000 -
2451.75/2460.76 c 2461 7981298 223495 1 6.0000 0.0000 -
2456.83/2465.82 c 2466 7992165 223086 1 6.0000 0.0000 -
2461.91/2470.90 c 2471 8002520 222772 1 6.0000 0.0000 -
2466.90/2475.95 c 2476 8014499 222098 1 6.0000 0.0000 -
2471.98/2481.07 c 2481 8025655 221750 1 6.0000 0.0000 -
2477.07/2486.18 c 2486 8036808 221256 1 6.0000 0.0000 -
2482.15/2491.25 c 2491 8049855 220768 1 6.0000 0.0000 -
2487.23/2496.34 c 2496 8060918 220304 1 6.0000 0.0000 -
2492.21/2501.39 c 2501 8071100 220559 1 6.0000 0.0000 -
2497.29/2506.44 c 2506 8080011 220533 1 6.0000 0.0000 -
2502.37/2511.52 c 2512 8091628 219798 1 6.0000 0.0000 -
2507.46/2516.65 c 2517 8103285 219855 1 6.0000 0.0000 -
2512.54/2521.77 c 2522 8116298 219116 1 6.0000 0.0000 -
2517.62/2526.90 c 2527 8128522 219076 1 6.0000 0.0000 -
2522.70/2531.95 c 2532 8146206 217075 1 6.0000 0.0000 -
2527.68/2536.99 c 2537 8162532 216241 1 6.0000 0.0000 -
2532.88/2542.10 c 2542 8180229 214930 1 6.0000 0.0000 -
2537.96/2547.25 c 2547 8194784 213890 1 6.0000 0.0000 -
2543.13/2552.42 c 2552 8211097 214934 1 6.0000 0.0000 -
2548.22/2557.50 c 2558 8225353 217315 1 6.0000 0.0000 -
2553.40/2562.72 c 2563 8235421 219857 1 6.0000 0.0000 -
2558.49/2567.81 c 2568 8249291 221630 1 6.0000 0.0000 -
2563.57/2572.97 c 2573 8263450 223264 1 6.0000 0.0000 -
2568.76/2578.12 c 2578 8274226 224436 1 6.0000 0.0000 -
2573.84/2583.29 c 2583 8285842 225914 1 6.0000 0.0000 -
2579.12/2588.50 c 2589 8298829 227196 1 6.0000 0.0000 -
2584.20/2593.64 c 2594 8311938 228125 1 6.0000 0.0000 -
2589.39/2598.80 c 2599 8325725 229086 1 6.0000 0.0000 -
2594.46/2603.90 c 2604 8339895 230001 1 6.0000 0.0000 -
2599.45/2608.95 c 2609 8355577 230785 1 6.0000 0.0000 -
2604.54/2614.03 c 2614 8370437 231497 1 6.0000 0.0000 -
2609.63/2619.17 c 2619 8383994 232411 1 6.0000 0.0000 -
2614.80/2624.36 c 2624 8395353 233298 1 6.0000 0.0000 -
2619.89/2629.48 c 2629 8411381 233624 1 6.0000 0.0000 -
2625.07/2634.63 c 2635 8424627 233914 1 6.0000 0.0000 -
2630.15/2639.77 c 2640 8440195 234518 1 6.0000 0.0000 -
2635.33/2644.95 c 2645 8454653 234884 1 6.0000 0.0000 -
2640.42/2650.10 c 2650 8466616 235428 1 6.0000 0.0000 -
2645.60/2655.23 c 2655 8480300 235469 1 6.0000 0.0000 -
2650.78/2660.48 c 2660 8493973 235966 1 6.0000 0.0000 -
2655.86/2665.52 c 2666 8507349 236201 1 6.0000 0.0000 -
2660.95/2670.62 c 2671 8521026 236312 1 6.0000 0.0000 -
2666.03/2675.70 c 2676 8533698 236460 1 6.0000 0.0000 -
2671.21/2680.97 c 2681 8544733 237622 1 6.0000 0.0000 -
2676.30/2686.01 c 2686 8562806 239569 1 6.0000 0.0000 -
2681.48/2691.24 c 2691 8579579 240725 1 6.0000 0.0000 -
2686.66/2696.47 c 2696 8596315 240858 1 6.0000 0.0000 -
2691.75/2701.54 c 2702 8610856 241265 1 6.0000 0.0000 -
2696.83/2706.69 c 2707 8624531 241561 1 6.0000 0.0000 -
2701.91/2711.75 c 2712 8638011 242282 1 6.0000 0.0000 -
2706.99/2716.89 c 2717 8654674 242621 1 6.0000 0.0000 -
2712.29/2722.10 c 2722 8666514 243206 1 6.0000 0.0000 -
2717.36/2727.24 c 2727 8675473 244971 1 6.0000 0.0000 -
2722.55/2732.47 c 2732 8686237 246767 1 6.0000 0.0000 -
2727.63/2737.51 c 2738 8699308 248562 1 6.0000 0.0000 -
2732.71/2742.60 c 2743 8711221 249791 1 6.0000 0.0000 -
2737.70/2747.69 c 2748 8725424 250540 1 6.0000 0.0000 -
2742.88/2752.87 c 2753 8738185 251299 1 6.0000 0.0000 -
2748.07/2758.05 c 2758 8749939 251938 1 6.0000 0.0000 -
2753.15/2763.19 c 2763 8764197 252875 1 6.0000 0.0000 -
2758.33/2768.30 c 2768 8777612 253920 1 6.0000 0.0000 -
2763.51/2773.54 c 2774 8788662 255349 1 6.0000 0.0000 -
2768.50/2778.58 c 2779 8801845 256076 1 6.0000 0.0000 -
2773.68/2783.75 c 2784 8816991 256567 1 6.0000 0.0000 -
2778.76/2788.84 c 2789 8827731 257949 1 6.0000 0.0000 -
2783.85/2793.94 c 2794 8841178 258859 1 6.0000 0.0000 -
2788.93/2799.02 c 2799 8850075 260555 1 6.0000 0.0000 -
2794.01/2804.16 c 2804 8864030 261834 1 6.0000 0.0000 -
2799.09/2809.21 c 2809 8881111 262431 1 6.0000 0.0000 -
2804.38/2814.54 c 2815 8894806 263010 1 6.0000 0.0000 -
2809.36/2819.58 c 2820 8908277 263641 1 6.0000 0.0000 -
2814.54/2824.75 c 2825 8919157 264646 1 6.0000 0.0000 -
2819.62/2829.88 c 2830 8934882 265018 1 6.0000 0.0000 -
2824.70/2834.92 c 2835 8950504 265667 1 6.0000 0.0000 -
2829.80/2840.05 c 2840 8966347 266092 1 6.0000 0.0000 -
2834.88/2845.12 c 2845 8979767 266005 1 6.0000 0.0000 -
2839.86/2850.19 c 2850 8993675 266268 1 6.0000 0.0000 -
2844.94/2855.29 c 2855 9007682 266255 1 6.0000 0.0000 -
2850.13/2860.44 c 2860 9021387 266421 1 6.0000 0.0000 -
2855.21/2865.56 c 2866 9031569 267070 1 6.0000 0.0000 -
2860.39/2870.78 c 2871 9044907 267084 1 6.0000 0.0000 -
2865.57/2875.95 c 2876 9061944 267130 1 6.0000 0.0000 -
2870.76/2881.15 c 2881 9076769 267553 1 6.0000 0.0000 -
2875.84/2886.25 c 2886 9091029 267398 1 6.0000 0.0000 -
2880.93/2891.39 c 2891 9102038 267748 1 6.0000 0.0000 -
2886.11/2896.55 c 2897 9115819 268248 1 6.0000 0.0000 -
2891.29/2901.74 c 2902 9128194 268475 1 6.0000 0.0000 -
2896.37/2906.81 c 2907 9142213 269132 1 6.0000 0.0000 -
2901.45/2911.91 c 2912 9154371 269463 1 6.0000 0.0000 -
2906.55/2917.09 c 2917 9168158 269680 1 6.0000 0.0000 -
2911.94/2922.45 c 2922 9184610 269776 1 6.0000 0.0000 -
2917.00/2927.54 c 2928 9197484 269962 1 6.0000 0.0000 -
2922.19/2932.76 c 2933 9211269 270288 1 6.0000 0.0000 -
2927.27/2937.82 c 2938 9224363 270387 1 6.0000 0.0000 -
2932.35/2942.95 c 2943 9240131 270219 1 6.0000 0.0000 -
2937.44/2948.00 c 2948 9254706 269896 1 6.0000 0.0000 -
2942.52/2953.13 c 2953 9268511 270038 1 6.0000 0.0000 -
2947.80/2958.42 c 2958 9283055 270010 1 6.0000 0.0000 -
2952.77/2963.47 c 2963 9295164 270133 1 6.0000 0.0000 -
2957.96/2968.60 c 2969 9311091 270178 1 6.0000 0.0000 -
2963.14/2973.82 c 2974 9326997 270515 1 6.0000 0.0000 -
2968.52/2979.22 c 2979 9340512 270475 1 6.0000 0.0000 -
2973.49/2984.26 c 2984 9356162 270820 1 6.0000 0.0000 -
2978.58/2989.37 c 2989 9369582 270729 1 6.0000 0.0000 -
2983.65/2994.43 c 2994 9382920 270747 1 6.0000 0.0000 -
2988.93/2999.77 c 3000 9398602 271543 1 6.0000 0.0000 -
2994.12/3004.91 c 3005 9418359 272077 1 6.0000 0.0000 -
2999.09/3009.96 c 3010 9436371 272066 1 6.0000 0.0000 -
3004.28/3015.18 c 3015 9448458 272146 1 6.0000 0.0000 -
3009.65/3020.57 c 3021 9463635 272045 1 6.0000 0.0000 -
3014.83/3025.75 c 3026 9478038 271906 1 6.0000 0.0000 -
3019.90/3030.89 c 3031 9494625 272050 1 6.0000 0.0000 -
3024.99/3035.98 c 3036 9505792 272021 1 6.0000 0.0000 -
3030.07/3041.03 c 3041 9522063 271550 1 6.0000 0.0000 -
3035.05/3046.08 c 3046 9536388 271691 1 6.0000 0.0000 -
3040.32/3051.32 c 3051 9551835 271430 1 6.0000 0.0000 -
3045.40/3056.40 c 3056 9566089 271960 1 6.0000 0.0000 -
3050.68/3061.71 c 3062 9581176 271961 1 6.0000 0.0000 -
3055.86/3066.91 c 3067 9598006 271745 1 6.0000 0.0000 -
3061.13/3072.22 c 3072 9616260 272195 1 6.0000 0.0000 -
3066.11/3077.27 c 3077 9633246 272275 1 6.0000 0.0000 -
3071.20/3082.33 c 3082 9648915 272151 1 6.0000 0.0000 -
3076.28/3087.44 c 3087 9662787 272156 1 6.0000 0.0000 -
3081.25/3092.49 c 3092 9676749 272117 1 6.0000 0.0000 -
3086.34/3097.55 c 3098 9690969 272442 1 6.0000 0.0000 -
3091.42/3102.60 c 3103 9707578 272430 1 6.0000 0.0000 -
3096.49/3107.72 c 3108 9721141 272442 1 6.0000 0.0000 -
3101.47/3112.76 c 3113 9734717 272469 1 6.0000 0.0000 -
3106.56/3117.86 c 3118 9748828 272499 1 6.0000 0.0000 -
3111.63/3122.91 c 3123 9765642 272174 1 6.0000 0.0000 -
3116.72/3128.02 c 3128 9778077 272369 1 6.0000 0.0000 -
3121.69/3133.07 c 3133 9794120 272076 1 6.0000 0.0000 -
3126.87/3138.22 c 3138 9806512 272104 1 6.0000 0.0000 -
3132.04/3143.40 c 3143 9821980 272455 1 6.0000 0.0000 -
3137.12/3148.50 c 3148 9837129 272113 1 6.0000 0.0000 -
3142.30/3153.70 c 3154 9852584 272079 1 6.0000 0.0000 -
3147.59/3159.01 c 3159 9868066 271356 1 6.0000 0.0000 -
3152.76/3164.23 c 3164 9887829 271493 1 6.0000 0.0000 -
3157.74/3169.29 c 3169 9901381 271473 1 6.0000 0.0000 -
3163.02/3174.50 c 3174 9915414 271229 1 6.0000 0.0000 -
3168.09/3179.61 c 3180 9924376 271468 1 6.0000 0.0000 -
3173.28/3184.89 c 3185 9936745 271250 1 6.0000 0.0000 -
3178.35/3189.97 c 3190 9950325 270953 1 6.0000 0.0000 -
3183.44/3195.06 c 3195 9961466 271373 1 6.0000 0.0000 -
3188.51/3200.10 c 3200 9973560 271409 1 6.0000 0.0000 -
3193.69/3205.35 c 3205 9984935 271244 1 6.0000 0.0000 -
3198.96/3210.68 c 3211 9995015 272539 1 6.0000 0.0000 -
3204.25/3215.94 c 3216 10004492 273618 1 6.0000 0.0000 -
3209.53/3221.21 c 3221 10013818 274562 1 6.0000 0.0000 -
3214.70/3226.44 c 3226 10024035 275216 1 6.0000 0.0000 -
3219.79/3231.59 c 3232 10036332 276024 1 6.0000 0.0000 -
3224.86/3236.70 c 3237 10045961 276728 1 6.0000 0.0000 -
3230.04/3241.83 c 3242 10057269 277215 1 6.0000 0.0000 -
3235.23/3247.07 c 3247 10067482 277765 1 6.0000 0.0000 -
3240.41/3252.20 c 3252 10078515 278243 1 6.0000 0.0000 -
3245.67/3257.56 c 3258 10092849 278470 1 6.0000 0.0000 -
3250.86/3262.71 c 3263 10105683 278602 1 6.0000 0.0000 -
3256.14/3268.05 c 3268 10117152 278742 1 6.0000 0.0000 -
3261.31/3273.27 c 3273 10127638 279045 1 6.0000 0.0000 -
3266.40/3278.37 c 3278 10137375 279257 1 6.0000 0.0000 -
3271.68/3283.63 c 3284 10151637 279840 1 6.0000 0.0000 -
3276.75/3288.77 c 3289 10164274 280334 1 6.0000 0.0000 -
3282.23/3294.21 c 3294 10175194 280793 1 6.0000 0.0000 -
3287.41/3299.41 c 3299 10188020 280647 1 6.0000 0.0000 -
3292.60/3304.65 c 3305 10198823 281074 1 6.0000 0.0000 -
3297.87/3309.92 c 3310 10210754 280979 1 6.0000 0.0000 -
3302.85/3314.96 c 3315 10223444 280541 1 6.0000 0.0000 -
3308.23/3320.35 c 3320 10235568 280540 1 6.0000 0.0000 -
3313.30/3325.40 c 3325 10245508 280961 1 6.0000 0.0000 -
3318.69/3330.80 c 3331 10253606 280897 1 6.0000 0.0000 -
3323.77/3335.96 c 3336 10262952 281037 1 6.0000 0.0000 -
3328.85/3341.01 c 3341 10274285 280775 1 6.0000 0.0000 -
3333.93/3346.15 c 3346 10287039 280990 1 6.0000 0.0000 -
3339.10/3351.36 c 3351 10299088 281096 1 6.0000 0.0000 -
3344.19/3356.46 c 3356 10314278 281157 1 6.0000 0.0000 -
3349.26/3361.57 c 3362 10328608 280763 1 6.0000 0.0000 -
3354.64/3366.97 c 3367 10342026 280732 1 6.0000 0.0000 -
3359.71/3372.09 c 3372 10354131 280569 1 6.0000 0.0000 -
3365.00/3377.36 c 3377 10368516 280912 1 6.0000 0.0000 -
3370.08/3382.44 c 3382 10376540 281448 1 6.0000 0.0000 -
3375.26/3387.62 c 3388 10389267 280995 1 6.0000 0.0000 -
3380.34/3392.70 c 3393 10403524 280530 1 6.0000 0.0000 -
3385.53/3397.99 c 3398 10414743 281435 1 6.0000 0.0000 -
3390.81/3403.20 c 3403 10427336 281704 1 6.0000 0.0000 -
3395.89/3408.34 c 3408 10443547 281733 1 6.0000 0.0000 -
3400.87/3413.39 c 3413 10455002 282073 1 6.0000 0.0000 -
3406.36/3418.81 c 3419 10464322 282529 1 6.0000 0.0000 -
3411.34/3423.88 c 3424 10473380 282640 1 6.0000 0.0000 -
3416.53/3429.08 c 3429 10486339 282340 1 6.0000 0.0000 -
3421.70/3434.27 c 3434 10498271 282100 1 6.0000 0.0000 -
3426.88/3439.46 c 3439 10508841 282631 1 6.0000 0.0000 -
3431.97/3444.56 c 3445 10522202 282674 1 6.0000 0.0000 -
3437.15/3449.74 c 3450 10537995 282037 1 6.0000 0.0000 -
3442.34/3454.92 c 3455 10554321 281527 1 6.0000 0.0000 -
3447.52/3460.13 c 3460 10567465 281524 1 6.0000 0.0000 -
3452.80/3465.47 c 3465 10584635 281300 1 6.0000 0.0000 -
3457.98/3470.66 c 3471 10595728 281658 1 6.0000 0.0000 -
3463.17/3475.81 c 3476 10605655 282457 1 6.0000 0.0000 -
3468.25/3480.94 c 3481 10618153 282616 1 6.0000 0.0000 -
3473.23/3485.99 c 3486 10631516 282682 1 6.0000 0.0000 -
3478.31/3491.04 c 3491 10643970 282313 1 6.0000 0.0000 -
3483.49/3496.22 c 3496 10655138 282304 1 6.0000 0.0000 -
3488.58/3501.33 c 3501 10669131 281891 1 6.0000 0.0000 -
3493.86/3506.66 c 3507 10679921 282253 1 6.0000 0.0000 -
3498.94/3511.79 c 3512 10690499 283199 1 6.0000 0.0000 -
3504.23/3517.03 c 3517 10700902 283835 1 6.0000 0.0000 -
3509.40/3522.22 c 3522 10711887 284329 1 6.0000 0.0000 -
3514.49/3527.35 c 3527 10724090 284894 1 6.0000 0.0000 -
3519.67/3532.55 c 3533 10736264 285037 1 6.0000 0.0000 -
3524.75/3537.67 c 3538 10749541 285134 1 6.0000 0.0000 -
3530.14/3543.00 c 3543 10760691 285472 1 6.0000 0.0000 -
3535.42/3548.33 c 3548 10767379 286888 1 6.0000 0.0000 -
3540.60/3553.55 c 3554 10775558 288056 1 6.0000 0.0000 -
3545.88/3558.83 c 3559 10785405 288915 1 6.0000 0.0000 -
3551.07/3564.00 c 3564 10796337 290013 1 6.0000 0.0000 -
3556.15/3569.12 c 3569 10806891 290818 1 6.0000 0.0000 -
3561.23/3574.20 c 3574 10818426 291208 1 6.0000 0.0000 -
3566.31/3579.37 c 3579 10829845 291797 1 6.0000 0.0000 -
3571.59/3584.62 c 3585 10840433 292001 1 6.0000 0.0000 -
3576.67/3589.77 c 3590 10851278 292147 1 6.0000 0.0000 -
3581.85/3594.95 c 3595 10863027 292709 1 6.0000 0.0000 -
3586.94/3600.01 c 3600 10873082 292845 0 6.0000 0.0000 -
3587.84/3600.90 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.84/3600.90 c Total Time : 3600.9000
3587.84/3600.90 c solving : 3600.9000
3587.84/3600.90 c presolving : 0.0038 (included in solving)
3587.84/3600.90 c B&B Tree :
3587.84/3600.90 c nodes (total) : 1
3587.84/3600.90 c Solution :
3587.84/3600.90 c Solutions found : 24
3587.84/3600.90 c Primal Bound : +6.00000000000000e+00
3587.84/3600.90 c Dual Bound : +0.00000000000000e+00
3587.84/3600.90 c Gap : infinite
3587.84/3600.90 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3587.84/3600.91 o 6
3587.84/3600.91 s SATISFIABLE
3587.84/3600.91 v -x146 x145 -x144 -x143 x142 x141 -x140 x139 x138 x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 x129 x128 x127 -x126 -x125 x124
3587.84/3600.91 v -x123 x122 x121 -x120 -x119 -x118 x117 -x116 x115 x114 x113 -x112 -x111 -x110 x109 -x108 x107 -x106 x105 x104 -x103 x102 x101
3587.84/3600.91 v -x100 -x99 x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76
3587.84/3600.91 v -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50
3587.84/3600.91 v -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25
3587.84/3600.91 v -x24 -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (62518 MiB free)
memory of node 1: 64510 MiB (58923 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434695-1721098022/watcher-4434695-1721098022 -o /tmp/evaluation-result-4434695-1721098022/solver-4434695-1721098022 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721098035-860310 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434695-1721098022.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
solver pid=860368, runsolver pid=860354
Current StackSize limit: 8192 KiB
[startup+0.100918 s]*
/proc/loadavg: 3.89 4.07 4.08 8/266 860381
/proc/meminfo: memFree=124294120/131524600 swapFree=131071996/131071996
[pid=860368] ppid=860354 vsize=108644 memory=28944 CPUtime=0.09 cores=5,7
/proc/860368/stat : 860368 (fscip) S 860354 860368 860297 0 -1 1077936128 4675 0 0 0 9 0 0 0 20 0 3 0 161967583 111251456 7236 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
/proc/860368/statm: 27161 7236 2926 3032 0 10971 0
[pid=860368/tid=860375] ppid=860354 vsize=108644 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/860368/task/860375/stat : 860375 (fscip) R 860354 860368 860297 0 -1 4194368 3177 0 0 0 8 0 0 0 20 0 3 0 161967584 111251456 7236 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
[pid=860368/tid=860379] ppid=860354 vsize=108644 memory=237146210664 CPUtime=0 cores=5,7
/proc/860368/task/860379/stat : 860379 (fscip) S 860354 860368 860297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161967584 111251456 7236 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 108644 KiB
Current children cumulated memory: 28944 KiB
[startup+0.205515 s]*
/proc/loadavg: 3.89 4.07 4.08 5/266 860381
/proc/meminfo: memFree=124273032/131524600 swapFree=131071996/131071996
[pid=860368] ppid=860354 vsize=108644 memory=31848 CPUtime=0.19 cores=5,7
/proc/860368/stat : 860368 (fscip) R 860354 860368 860297 0 -1 1077936128 5423 0 0 0 19 0 0 0 20 0 3 0 161967583 111251456 7962 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
/proc/860368/statm: 27161 7962 2926 3032 0 11694 0
[pid=860368/tid=860375] ppid=860354 vsize=108644 memory=664970851429515395 CPUtime=0.19 cores=5,7
/proc/860368/task/860375/stat : 860375 (fscip) R 860354 860368 860297 0 -1 4194368 3925 0 0 0 19 0 0 0 20 0 3 0 161967584 111251456 7962 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
[pid=860368/tid=860379] ppid=860354 vsize=108644 memory=1670 CPUtime=0 cores=5,7
/proc/860368/task/860379/stat : 860379 (fscip) S 860354 860368 860297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161967584 111251456 7962 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 108644 KiB
Current children cumulated memory: 31848 KiB
[startup+0.306111 s]*
/proc/loadavg: 3.89 4.07 4.08 6/266 860381
/proc/meminfo: memFree=124270460/131524600 swapFree=131071996/131071996
[pid=860368] ppid=860354 vsize=108644 memory=31848 CPUtime=0.29 cores=5,7
/proc/860368/stat : 860368 (fscip) S 860354 860368 860297 0 -1 1077936128 5424 0 0 0 29 0 0 0 20 0 3 0 161967583 111251456 7962 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
/proc/860368/statm: 27161 7962 2926 3032 0 11694 0
[pid=860368/tid=860375] ppid=860354 vsize=108644 memory=-6370179393307982696 CPUtime=0.29 cores=5,7
/proc/860368/task/860375/stat : 860375 (fscip) R 860354 860368 860297 0 -1 4194368 3926 0 0 0 29 0 0 0 20 0 3 0 161967584 111251456 7962 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
[pid=860368/tid=860379] ppid=860354 vsize=108644 memory=-9044459746194447340 CPUtime=0 cores=5,7
/proc/860368/task/860379/stat : 860379 (fscip) S 860354 860368 860297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161967584 111251456 7962 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 108644 KiB
Current children cumulated memory: 31848 KiB
[startup+0.700248 s]
/proc/loadavg: 3.89 4.07 4.08 7/266 860381
/proc/meminfo: memFree=124266524/131524600 swapFree=131071996/131071996
[pid=860368] ppid=860354 vsize=108644 memory=34532 CPUtime=0.68 cores=5,7
/proc/860368/stat : 860368 (fscip) S 860354 860368 860297 0 -1 1077936128 6164 0 0 0 68 0 0 0 20 0 3 0 161967583 111251456 8633 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
/proc/860368/statm: 27161 8633 2926 3032 0 12134 0
[pid=860368/tid=860375] ppid=860354 vsize=108644 memory=0 CPUtime=0.67 cores=5,7
/proc/860368/task/860375/stat : 860375 (fscip) R 860354 860368 860297 0 -1 4194368 4666 0 0 0 67 0 0 0 20 0 3 0 161967584 111251456 8633 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
[pid=860368/tid=860379] ppid=860354 vsize=108644 memory=0 CPUtime=0 cores=5,7
/proc/860368/task/860379/stat : 860379 (fscip) S 860354 860368 860297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161967584 111251456 8633 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 108644 KiB
Current children cumulated memory: 34532 KiB
[startup+1.50022 s]
/proc/loadavg: 3.89 4.07 4.08 8/266 860381
/proc/meminfo: memFree=124243728/131524600 swapFree=131071996/131071996
[pid=860368] ppid=860354 vsize=108644 memory=36808 CPUtime=1.48 cores=5,7
/proc/860368/stat : 860368 (fscip) S 860354 860368 860297 0 -1 1077936128 10002 0 0 0 147 1 0 0 20 0 3 0 161967583 111251456 9202 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
/proc/860368/statm: 27161 9202 2926 3032 0 12839 0
[pid=860368/tid=860375] ppid=860354 vsize=108644 memory=0 CPUtime=1.47 cores=5,7
/proc/860368/task/860375/stat : 860375 (fscip) R 860354 860368 860297 0 -1 4194368 8488 0 0 0 146 1 0 0 20 0 3 0 161967584 111251456 9202 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
[pid=860368/tid=860379] ppid=860354 vsize=108644 memory=0 CPUtime=0 cores=5,7
/proc/860368/task/860379/stat : 860379 (fscip) S 860354 860368 860297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 161967584 111251456 9202 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 108644 KiB
Current children cumulated memory: 36808 KiB
[startup+3.10663 s]
/proc/loadavg: 3.89 4.07 4.08 8/266 860383
/proc/meminfo: memFree=124221732/131524600 swapFree=131071996/131071996
[pid=860368] ppid=860354 vsize=109344 memory=48132 CPUtime=3.08 cores=5,7
/proc/860368/stat : 860368 (fscip) S 860354 860368 860297 0 -1 1077936128 15700 0 0 0 306 2 0 0 20 0 3 0 161967583 111968256 12033 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
/proc/860368/statm: 27336 12033 2926 3032 0 15952 0
[pid=860368/tid=860375] ppid=860354 vsize=109344 memory=0 CPUtime=3.07 cores=5,7
/proc/860368/task/860375/stat : 860375 (fscip) R 860354 860368 860297 0 -1 4194368 14184 0 0 0 305 2 0 0 20 0 3 0 161967584 111968256 12033 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
[pid=860368/tid=860379] ppid=860354 vsize=109344 memory=2273 CPUtime=0 cores=5,7
/proc/860368/task/860379/stat : 860379 (fscip) S 860354 860368 860297 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 161967584 111968256 12033 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 109344 KiB
Current children cumulated memory: 48132 KiB
[startup+6.30018 s]
/proc/loadavg: 3.90 4.07 4.08 8/266 860383
/proc/meminfo: memFree=124190544/131524600 swapFree=131071996/131071996
[pid=860368] ppid=860354 vsize=109344 memory=52616 CPUtime=6.27 cores=5,7
/proc/860368/stat : 860368 (fscip) S 860354 860368 860297 0 -1 1077936128 21849 0 0 0 623 4 0 0 20 0 3 0 161967583 111968256 13154 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
/proc/860368/statm: 27336 13154 2974 3032 0 16609 0
[pid=860368/tid=860375] ppid=860354 vsize=109344 memory=0 CPUtime=6.25 cores=5,7
/proc/860368/task/860375/stat : 860375 (fscip) R 860354 860368 860297 0 -1 4194368 20242 0 0 0 622 3 0 0 20 0 3 0 161967584 111968256 13154 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
[pid=860368/tid=860379] ppid=860354 vsize=109344 memory=281230029451120 CPUtime=0 cores=5,7
/proc/860368/task/860379/stat : 860379 (fscip) S 860354 860368 860297 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 161967584 111968256 13154 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 109344 KiB
Current children cumulated memory: 52616 KiB
[startup+12.7002 s]
/proc/loadavg: 3.98 4.09 4.08 8/266 860385
/proc/meminfo: memFree=124137352/131524600 swapFree=131071996/131071996
[pid=860368] ppid=860354 vsize=109344 memory=63576 CPUtime=12.64 cores=5,7
/proc/860368/stat : 860368 (fscip) S 860354 860368 860297 0 -1 1077936128 37399 0 0 0 1257 7 0 0 20 0 3 0 161967583 111968256 15894 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
/proc/860368/statm: 27336 15894 2974 3032 0 19344 0
[pid=860368/tid=860375] ppid=860354 vsize=109344 memory=52560 CPUtime=12.63 cores=5,7
/proc/860368/task/860375/stat : 860375 (fscip) R 860354 860368 860297 0 -1 4194368 35753 0 0 0 1256 7 0 0 20 0 3 0 161967584 111968256 15894 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
[pid=860368/tid=860379] ppid=860354 vsize=109344 memory=3570 CPUtime=0 cores=5,7
/proc/860368/task/860379/stat : 860379 (fscip) S 860354 860368 860297 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 161967584 111968256 15894 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 109344 KiB
Current children cumulated memory: 63576 KiB
[startup+25.5002 s]
/proc/loadavg: 3.99 4.08 4.08 8/266 860387
/proc/meminfo: memFree=124074560/131524600 swapFree=131071996/131071996
[pid=860368] ppid=860354 vsize=111892 memory=77012 CPUtime=25.4 cores=5,7
/proc/860368/stat : 860368 (fscip) S 860354 860368 860297 0 -1 1077936128 65219 0 0 0 2527 13 0 0 20 0 3 0 161967583 114577408 19253 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
/proc/860368/statm: 27973 19253 3294 3032 0 22427 0
[pid=860368/tid=860375] ppid=860354 vsize=111892 memory=76552 CPUtime=25.38 cores=5,7
/proc/860368/task/860375/stat : 860375 (fscip) R 860354 860368 860297 0 -1 4194368 63336 0 0 0 2526 12 0 0 20 0 3 0 161967584 114577408 19253 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
[pid=860368/tid=860379] ppid=860354 vsize=111892 memory=65592 CPUtime=0 cores=5,7
/proc/860368/task/860379/stat : 860379 (fscip) S 860354 860368 860297 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 161967584 114577408 19253 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 111892 KiB
Current children cumulated memory: 77012 KiB
[startup+51.106 s]
/proc/loadavg: 4.06 4.09 4.08 7/266 860438
/proc/meminfo: memFree=123911840/131524600 swapFree=131071996/131071996
[pid=860368] ppid=860354 vsize=188684 memory=99676 CPUtime=50.91 cores=5,7
/proc/860368/stat : 860368 (fscip) S 860354 860368 860297 0 -1 1077936128 99862 0 0 0 5065 26 0 0 20 0 3 0 161967583 193212416 24919 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
/proc/860368/statm: 47171 24919 3294 3032 0 27699 0
[pid=860368/tid=860375] ppid=860354 vsize=188684 memory=98060 CPUtime=50.9 cores=5,7
/proc/860368/task/860375/stat : 860375 (fscip) R 860354 860368 860297 0 -1 4194368 97880 0 0 0 5064 26 0 0 20 0 3 0 161967584 193212416 24919 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
[pid=860368/tid=860379] ppid=860354 vsize=188684 memory=13040 CPUtime=0 cores=5,7
/proc/860368/task/860379/stat : 860379 (fscip) S 860354 860368 860297 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 161967584 193212416 24919 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 188684 KiB
Current children cumulated memory: 99676 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.12 4.10 7/266 860448
/proc/meminfo: memFree=123670056/131524600 swapFree=131071996/131071996
[pid=860368] ppid=860354 vsize=207596 memory=143464 CPUtime=101.92 cores=5,7
/proc/860368/stat : 860368 (fscip) S 860354 860368 860297 0 -1 1077936128 136026 0 0 0 10144 48 0 0 20 0 3 0 161967583 212578304 35866 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
/proc/860368/statm: 51899 35866 3294 3032 0 39199 0
[pid=860368/tid=860375] ppid=860354 vsize=207596 memory=13040 CPUtime=101.9 cores=5,7
/proc/860368/task/860375/stat : 860375 (fscip) R 860354 860368 860297 0 -1 4194368 133972 0 0 0 10143 47 0 0 20 0 3 0 161967584 212578304 35866 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
[pid=860368/tid=860379] ppid=860354 vsize=207596 memory=41288 CPUtime=0 cores=5,7
/proc/860368/task/860379/stat : 860379 (fscip) S 860354 860368 860297 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 161967584 212578304 35866 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 207596 KiB
Current children cumulated memory: 143464 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.11 4.09 7/266 860460
/proc/meminfo: memFree=123401152/131524600 swapFree=131071996/131071996
[pid=860368] ppid=860354 vsize=224844 memory=193024 CPUtime=161.71 cores=5,7
/proc/860368/stat : 860368 (fscip) S 860354 860368 860297 0 -1 1077936128 176460 0 0 0 16094 77 0 0 20 0 3 0 161967583 230240256 48256 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
/proc/860368/statm: 56211 48256 3294 3032 0 51516 0
[pid=860368/tid=860375] ppid=860354 vsize=224844 memory=165328 CPUtime=161.68 cores=5,7
/proc/860368/task/860375/stat : 860375 (fscip) R 860354 860368 860297 0 -1 4194368 174367 0 0 0 16092 76 0 0 20 0 3 0 161967584 230240256 48256 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
[pid=860368/tid=860379] ppid=860354 vsize=224844 memory=191556 CPUtime=0 cores=5,7
/proc/860368/task/860379/stat : 860379 (fscip) S 860354 860368 860297 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 161967584 230240256 48256 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 224844 KiB
################
# More data... #
################
/proc/860368/statm: 317428 277434 3294 3032 0 305045 0
[pid=860368/tid=860375] ppid=860354 vsize=1269712 memory=1086952 CPUtime=3449.47 cores=5,7
/proc/860368/task/860375/stat : 860375 (fscip) R 860354 860368 860297 0 -1 4194368 4252040 0 0 0 343364 1583 0 0 20 0 3 0 161967584 1300185088 277434 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
[pid=860368/tid=860379] ppid=860354 vsize=1269712 memory=1091604 CPUtime=0.03 cores=5,7
/proc/860368/task/860379/stat : 860379 (fscip) S 860354 860368 860297 0 -1 1077936192 150 0 0 0 1 2 0 0 20 0 3 0 161967584 1300185088 277434 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
Current children cumulated CPU time: 3449.71 s
Current children cumulated vsize: 1269712 KiB
Current children cumulated memory: 1109736 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.10 7/264 862280
/proc/meminfo: memFree=116982188/131524600 swapFree=131071996/131071996
[pid=860368] ppid=860354 vsize=1270872 memory=1123080 CPUtime=3509.5 cores=5,7
/proc/860368/stat : 860368 (fscip) S 860354 860368 860297 0 -1 1077936128 4400298 0 0 0 349333 1617 0 0 20 0 3 0 161967583 1301372928 280770 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
/proc/860368/statm: 317718 280770 3294 3032 0 305558 0
[pid=860368/tid=860375] ppid=860354 vsize=1270872 memory=1086952 CPUtime=3509.26 cores=5,7
/proc/860368/task/860375/stat : 860375 (fscip) R 860354 860368 860297 0 -1 4194368 4397351 0 0 0 349315 1611 0 0 20 0 3 0 161967584 1301372928 280770 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
[pid=860368/tid=860379] ppid=860354 vsize=1270872 memory=1119860 CPUtime=0.03 cores=5,7
/proc/860368/task/860379/stat : 860379 (fscip) S 860354 860368 860297 0 -1 1077936192 157 0 0 0 1 2 0 0 20 0 3 0 161967584 1301372928 280770 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
Current children cumulated CPU time: 3509.5 s
Current children cumulated vsize: 1270872 KiB
Current children cumulated memory: 1123080 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.09 7/264 862291
/proc/meminfo: memFree=116887696/131524600 swapFree=131071996/131071996
[pid=860368] ppid=860354 vsize=1274624 memory=1136568 CPUtime=3569.3 cores=5,7
/proc/860368/stat : 860368 (fscip) S 860354 860368 860297 0 -1 1077936128 4540386 0 0 0 355287 1643 0 0 20 0 3 0 161967583 1305214976 284142 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
/proc/860368/statm: 318656 284142 3294 3032 0 307494 0
[pid=860368/tid=860375] ppid=860354 vsize=1274624 memory=1086952 CPUtime=3569.05 cores=5,7
/proc/860368/task/860375/stat : 860375 (fscip) R 860354 860368 860297 0 -1 4194368 4537422 0 0 0 355268 1637 0 0 20 0 3 0 161967584 1305214976 284142 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
[pid=860368/tid=860379] ppid=860354 vsize=1274624 memory=1131136 CPUtime=0.03 cores=5,7
/proc/860368/task/860379/stat : 860379 (fscip) S 860354 860368 860297 0 -1 1077936192 159 0 0 0 1 2 0 0 20 0 3 0 161967584 1305214976 284142 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
Current children cumulated CPU time: 3569.3 s
Current children cumulated vsize: 1274624 KiB
Current children cumulated memory: 1136568 KiB
[startup+3600.91 s]
# the end of solver process 860368 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3571.29 s, system=16.572 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.17 4.13 4.10 7/264 862291
/proc/meminfo: memFree=116887724/131524600 swapFree=131071996/131071996
[pid=860368] ppid=860354 vsize=1274624 memory=1136568 CPUtime=3571 cores=5,7
/proc/860368/stat : 860368 (fscip) S 860354 860368 860297 0 -1 1077936128 4540628 0 0 0 355456 1644 0 0 20 0 3 0 161967583 1305214976 284142 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
/proc/860368/statm: 318656 284142 3294 3032 0 307494 0
[pid=860368/tid=860375] ppid=860354 vsize=1274624 memory=6680 CPUtime=3570.74 cores=5,7
/proc/860368/task/860375/stat : 860375 (fscip) R 860354 860368 860297 0 -1 4194368 4537664 0 0 0 355437 1637 0 0 20 0 3 0 161967584 1305214976 284142 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
[pid=860368/tid=860379] ppid=860354 vsize=1274624 memory=-9044459746194447340 CPUtime=0.03 cores=5,7
/proc/860368/task/860379/stat : 860379 (fscip) S 860354 860368 860297 0 -1 1077936192 159 0 0 0 1 2 0 0 20 0 3 0 161967584 1305214976 284142 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
Current children cumulated CPU time: 3571 s
Current children cumulated vsize: 1274624 KiB
Current children cumulated memory: 1136568 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.13 4.09 7/264 862291
/proc/meminfo: memFree=116878828/131524600 swapFree=131071996/131071996
[pid=860368] ppid=860354 vsize=1275204 memory=1139448 CPUtime=3577.37 cores=5,7
/proc/860368/stat : 860368 (fscip) S 860354 860368 860297 0 -1 1077936128 4542011 0 0 0 356091 1646 0 0 20 0 3 0 161967583 1305808896 284862 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
/proc/860368/statm: 318801 284862 3294 3032 0 308041 0
[pid=860368/tid=860375] ppid=860354 vsize=1275204 memory=1137400 CPUtime=3577.12 cores=5,7
/proc/860368/task/860375/stat : 860375 (fscip) R 860354 860368 860297 0 -1 4194368 4539047 0 0 0 356072 1640 0 0 20 0 3 0 161967584 1305808896 284862 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
[pid=860368/tid=860379] ppid=860354 vsize=1275204 memory=1136568 CPUtime=0.03 cores=5,7
/proc/860368/task/860379/stat : 860379 (fscip) S 860354 860368 860297 0 -1 1077936192 159 0 0 0 1 2 0 0 20 0 3 0 161967584 1305808896 284862 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
Current children cumulated CPU time: 3577.37 s
Current children cumulated vsize: 1275204 KiB
Current children cumulated memory: 1139448 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.13 4.09 7/264 862293
/proc/meminfo: memFree=116873872/131524600 swapFree=131071996/131071996
[pid=860368] ppid=860354 vsize=1275204 memory=1140168 CPUtime=3583.75 cores=5,7
/proc/860368/stat : 860368 (fscip) S 860354 860368 860297 0 -1 1077936128 4596909 0 0 0 356724 1651 0 0 20 0 3 0 161967583 1305808896 285042 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
/proc/860368/statm: 318801 285042 3294 3032 0 308041 0
[pid=860368/tid=860375] ppid=860354 vsize=1275204 memory=41404 CPUtime=3583.49 cores=5,7
/proc/860368/task/860375/stat : 860375 (fscip) R 860354 860368 860297 0 -1 4194368 4593934 0 0 0 356705 1644 0 0 20 0 3 0 161967584 1305808896 285042 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
[pid=860368/tid=860379] ppid=860354 vsize=1275204 memory=1135140 CPUtime=0.03 cores=5,7
/proc/860368/task/860379/stat : 860379 (fscip) S 860354 860368 860297 0 -1 1077936192 159 0 0 0 1 2 0 0 20 0 3 0 161967584 1305808896 285042 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
Current children cumulated CPU time: 3583.75 s
Current children cumulated vsize: 1275204 KiB
Current children cumulated memory: 1140168 KiB
[startup+3598.4 s]
/proc/loadavg: 4.14 4.13 4.09 7/264 862293
/proc/meminfo: memFree=116870168/131524600 swapFree=131071996/131071996
[pid=860368] ppid=860354 vsize=1275204 memory=1142220 CPUtime=3585.34 cores=5,7
/proc/860368/stat : 860368 (fscip) S 860354 860368 860297 0 -1 1077936128 4597072 0 0 0 356883 1651 0 0 20 0 3 0 161967583 1305808896 285555 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
/proc/860368/statm: 318801 285555 3294 3032 0 308041 0
[pid=860368/tid=860375] ppid=860354 vsize=1275204 memory=11860 CPUtime=3585.09 cores=5,7
/proc/860368/task/860375/stat : 860375 (fscip) R 860354 860368 860297 0 -1 4194368 4594096 0 0 0 356864 1645 0 0 20 0 3 0 161967584 1305808896 285555 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
[pid=860368/tid=860379] ppid=860354 vsize=1275204 memory=41404 CPUtime=0.03 cores=5,7
/proc/860368/task/860379/stat : 860379 (fscip) S 860354 860368 860297 0 -1 1077936192 159 0 0 0 1 2 0 0 20 0 3 0 161967584 1305808896 285555 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
Current children cumulated CPU time: 3585.34 s
Current children cumulated vsize: 1275204 KiB
Current children cumulated memory: 1142220 KiB
[startup+3600 s]*
/proc/loadavg: 4.13 4.13 4.09 7/264 862293
/proc/meminfo: memFree=116870028/131524600 swapFree=131071996/131071996
[pid=860368] ppid=860354 vsize=1275204 memory=1142220 CPUtime=3586.94 cores=5,7
/proc/860368/stat : 860368 (fscip) S 860354 860368 860297 0 -1 1077936128 4600897 0 0 0 357042 1652 0 0 20 0 3 0 161967583 1305808896 285555 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
/proc/860368/statm: 318801 285555 3294 3032 0 308041 0
[pid=860368/tid=860375] ppid=860354 vsize=1275204 memory=6720659943902429291 CPUtime=3586.69 cores=5,7
/proc/860368/task/860375/stat : 860375 (fscip) R 860354 860368 860297 0 -1 4194368 4598426 0 0 0 357023 1646 0 0 20 0 3 0 161967584 1305808896 285555 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
[pid=860368/tid=860379] ppid=860354 vsize=1275204 memory=28176 CPUtime=0.03 cores=5,7
/proc/860368/task/860379/stat : 860379 (fscip) S 860354 860368 860297 0 -1 1077936192 159 0 0 0 1 2 0 0 20 0 3 0 161967584 1305808896 285555 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
Current children cumulated CPU time: 3586.94 s
Current children cumulated vsize: 1275204 KiB
Current children cumulated memory: 1142220 KiB
[startup+3600.4 s]
/proc/loadavg: 4.13 4.13 4.09 7/264 862293
/proc/meminfo: memFree=116870028/131524600 swapFree=131071996/131071996
[pid=860368] ppid=860354 vsize=1251424 memory=1118440 CPUtime=3587.34 cores=5,7
/proc/860368/stat : 860368 (fscip) S 860354 860368 860297 0 -1 1077936128 4622870 0 0 0 357080 1654 0 0 20 0 3 0 161967583 1281458176 279610 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
/proc/860368/statm: 312856 279610 3294 3032 0 302096 0
[pid=860368/tid=860375] ppid=860354 vsize=1251424 memory=6720664350522097776 CPUtime=3587.08 cores=5,7
/proc/860368/task/860375/stat : 860375 (fscip) R 860354 860368 860297 0 -1 4194368 4619896 0 0 0 357061 1647 0 0 20 0 3 0 161967584 1281458176 279610 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
[pid=860368/tid=860379] ppid=860354 vsize=1251424 memory=19472 CPUtime=0.03 cores=5,7
/proc/860368/task/860379/stat : 860379 (fscip) S 860354 860368 860297 0 -1 1077936192 159 0 0 0 1 2 0 0 20 0 3 0 161967584 1281458176 279610 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
Current children cumulated CPU time: 3587.34 s
Current children cumulated vsize: 1251424 KiB
Current children cumulated memory: 1118440 KiB
[startup+3600.8 s]
/proc/loadavg: 4.13 4.13 4.09 7/264 862293
/proc/meminfo: memFree=116870028/131524600 swapFree=131071996/131071996
[pid=860368] ppid=860354 vsize=1156068 memory=1023100 CPUtime=3587.74 cores=5,7
/proc/860368/stat : 860368 (fscip) S 860354 860368 860297 0 -1 1077936128 4627461 0 0 0 357119 1655 0 0 20 0 3 0 161967583 1183813632 255775 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
/proc/860368/statm: 289017 255775 3294 3032 0 278257 0
[pid=860368/tid=860375] ppid=860354 vsize=1156068 memory=1142220 CPUtime=3587.48 cores=5,7
/proc/860368/task/860375/stat : 860375 (fscip) R 860354 860368 860297 0 -1 4194368 4624484 0 0 0 357100 1648 0 0 20 0 3 0 161967584 1183813632 255775 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
[pid=860368/tid=860379] ppid=860354 vsize=1156068 memory=13040 CPUtime=0.03 cores=5,7
/proc/860368/task/860379/stat : 860379 (fscip) S 860354 860368 860297 0 -1 1077936192 159 0 0 0 1 2 0 0 20 0 3 0 161967584 1183813632 255775 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
Current children cumulated CPU time: 3587.74 s
Current children cumulated vsize: 1156068 KiB
Current children cumulated memory: 1023100 KiB
[startup+3600.9 s]
/proc/loadavg: 4.13 4.13 4.09 7/264 862293
/proc/meminfo: memFree=116870028/131524600 swapFree=131071996/131071996
[pid=860368] ppid=860354 vsize=554412 memory=414276 CPUtime=3587.84 cores=5,7
/proc/860368/stat : 860368 (fscip) S 860354 860368 860297 0 -1 1077936128 4627998 0 0 0 357128 1656 0 0 20 0 3 0 161967583 567717888 104081 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
/proc/860368/statm: 138603 103569 3294 3032 0 127843 0
[pid=860368/tid=860375] ppid=860354 vsize=554412 memory=1137400 CPUtime=3587.58 cores=5,7
/proc/860368/task/860375/stat : 860375 (fscip) R 860354 860368 860297 0 -1 4194368 4625021 0 0 0 357109 1649 0 0 20 0 3 0 161967584 567717888 103057 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
[pid=860368/tid=860379] ppid=860354 vsize=554412 memory=1142216 CPUtime=0.03 cores=5,7
/proc/860368/task/860379/stat : 860379 (fscip) S 860354 860368 860297 0 -1 1077936192 159 0 0 0 1 2 0 0 20 0 3 0 161967584 567717888 102508 134679101440 4194304 16613245 140728527913056 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42688512 140728527918101 140728527918217 140728527918217 140728527925232 0
Current children cumulated CPU time: 3587.84 s
Current children cumulated vsize: 554412 KiB
Current children cumulated memory: 414276 KiB
Child status: 0
Real time (s): 3600.91
CPU time (s): 3587.86
CPU user time (s): 3571.29
CPU system time (s): 16.572
CPU usage (%): 99.6375
Max. virtual memory (cumulated for all children) (KiB): 1275204
Max. memory (cumulated for all children) (KiB): 1142220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.29
system time used= 16.572
maximum resident set size= 1142220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4628246
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= 10812
involuntary context switches= 4468
# summary of solver processes directly reported to runsolver:
# pid: 860368
# total CPU time (s): 3587.86
# total CPU user time (s): 3571.29
# total CPU system time (s): 16.572
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.01952 second user time and 20.0382 second system time
The end
Begin job on nodeC025 at 2024-07-16 04:47:15
IDJOB=4434695
IDBENCH=147594
IDSOLVER=3064
FILE ID=nodeC025/4434695-1721098022
RUNJOBID= nodeC025-1721098035-860310
SLURM_JOB_ID= 7505612
Free space on /tmp= 890032 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_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-4434695-1721098022/watcher-4434695-1721098022 -o /tmp/evaluation-result-4434695-1721098022/solver-4434695-1721098022 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721098035-860310 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434695-1721098022.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d93197574d7bf829fc84498a7cd9d0ce
RANDOM SEED=370823743
nodeC025.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.649
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3634.884
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3466.279
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3289.262
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3623.397
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3713.715
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3845.056
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.920
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124358428 kB
MemAvailable: 129648864 kB
Buffers: 403192 kB
Cached: 5661308 kB
SwapCached: 0 kB
Active: 752016 kB
Inactive: 5681796 kB
Active(anon): 1424 kB
Inactive(anon): 405612 kB
Active(file): 750592 kB
Inactive(file): 5276184 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 113244 kB
Writeback: 12 kB
AnonPages: 367304 kB
Mapped: 103484 kB
Shmem: 37720 kB
KReclaimable: 206612 kB
Slab: 325264 kB
SReclaimable: 206612 kB
SUnreclaim: 118652 kB
KernelStack: 3840 kB
PageTables: 9440 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 839644 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62624 kB
HardwareCorrupted: 0 kB
AnonHugePages: 243712 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 273108 kB
DirectMap2M: 36200448 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 889920 MiB
End job on nodeC025 at 2024-07-16 05:47:16