0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.09/0.13 c Default LC presolving (default).
0.09/0.13 c ** Before presolving: virtualMemUsedAtLc = 49700864, getVmSize() = 49700864, SCIPgetMemUsed() = 20914708, SCIPgetMemTotal() = 26962924, SCIPgetMemExternEstim() = 17802403
0.09/0.13 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.78/0.87 c ** Estimated virtualMemUsedAtSolver = 79921094, getVmSize() = 128876544, SCIPgetMemUsed() = 52456967, SCIPgetMemTotal() = 102079239, SCIPgetMemExternEstim() = 17802403
0.78/0.87 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.78/0.87 c Original Problem :
0.78/0.87 c Problem name : instance-4464561-1722390380
0.78/0.87 c Variables : 427 (427 binary, 0 integer, 0 implicit integer, 0 continuous)
0.78/0.87 c Constraints : 17423
0.78/0.87 c Objective sense : minimize
0.78/0.87 c Presolved Problem :
0.78/0.87 c Variables : 427 (427 binary, 0 integer, 0 implicit integer, 0 continuous)
0.78/0.87 c Constraints : 17423
0.78/0.87 c Constraints : Number
0.78/0.87 c setppc : 14
0.78/0.87 c logicor : 17409
0.78/0.87 c ** Instance transfer method used: 0
0.89/0.91 c ** ParaScipInstance copy does not increase the number of variables. **
0.89/0.97 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.89/0.97 c Nodes Active
0.89/0.97 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
1.18/1.24 c * 1 0 1 1 14.0000 - -
1.18/1.24 c * 1 0 1 1 13.0000 - -
3.98/4.03 c * 4 0 1 1 12.0000 - -
3.98/4.08 c * 4 0 1 1 10.0000 - -
4.67/4.74 c * 5 2 1 1 5.0000 0.0000 -
5.56/5.68 c 6 19 18 1 5.0000 0.0000 -
11.35/11.42 c 11 114 99 1 5.0000 0.0000 -
16.64/16.71 c 17 437 275 1 5.0000 0.0000 -
21.71/21.89 c 22 1590 389 1 5.0000 0.0000 -
26.91/27.09 c 27 2560 468 1 5.0000 0.0000 -
32.37/32.52 c 33 3078 537 1 5.0000 0.0000 -
37.56/37.73 c 38 3406 541 1 5.0000 0.0000 -
42.65/42.85 c 43 4756 541 1 5.0000 0.0000 -
47.84/48.10 c 48 5832 578 1 5.0000 0.0000 -
53.71/53.96 c 54 6959 583 1 5.0000 0.0000 -
58.99/59.25 c 59 7707 603 1 5.0000 0.0000 -
64.18/64.41 c 64 8532 595 1 5.0000 0.0000 -
70.17/70.45 c 70 8974 610 1 5.0000 0.0000 -
75.95/76.24 c 76 9398 630 1 5.0000 0.0000 -
81.24/81.50 c 82 9913 638 1 5.0000 0.0000 -
86.74/87.11 c 87 10606 642 1 5.0000 0.0000 -
92.11/92.42 c 92 11765 694 1 5.0000 0.0000 -
97.29/97.64 c 98 12348 710 1 5.0000 0.0000 -
102.97/103.32 c 103 13043 649 1 5.0000 0.0000 -
108.26/108.62 c 109 13751 619 1 5.0000 0.0000 -
113.54/113.95 c 114 14625 648 1 5.0000 0.0000 -
119.13/119.53 c 120 15150 691 1 5.0000 0.0000 -
124.51/124.90 c 125 15573 725 1 5.0000 0.0000 -
130.20/130.62 c 131 15775 736 1 5.0000 0.0000 -
135.48/135.92 c 136 16260 765 1 5.0000 0.0000 -
140.77/141.21 c 141 16891 804 1 5.0000 0.0000 -
145.85/146.38 c 146 17843 803 1 5.0000 0.0000 -
151.04/151.53 c 152 18534 761 1 5.0000 0.0000 -
156.02/156.58 c 157 20193 719 1 5.0000 0.0000 -
161.70/162.21 c 162 21228 728 1 5.0000 0.0000 -
167.18/167.77 c 168 22431 762 1 5.0000 0.0000 -
172.86/173.41 c 173 23452 755 1 5.0000 0.0000 -
177.95/178.51 c 179 23567 807 1 5.0000 0.0000 -
183.14/183.72 c 184 23774 817 1 5.0000 0.0000 -
189.12/189.75 c 190 23859 827 1 5.0000 0.0000 -
195.30/195.98 c 196 24152 836 1 5.0000 0.0000 -
200.58/201.20 c 201 25316 875 1 5.0000 0.0000 -
205.66/206.33 c 206 26158 890 1 5.0000 0.0000 -
210.94/211.65 c 212 26508 891 1 5.0000 0.0000 -
216.34/217.03 c 217 26729 891 1 5.0000 0.0000 -
222.32/223.03 c 223 27051 903 1 5.0000 0.0000 -
228.19/228.99 c 229 27399 893 1 5.0000 0.0000 -
233.78/234.56 c 235 27732 876 1 5.0000 0.0000 -
239.06/239.85 c 240 28382 864 1 5.0000 0.0000 -
244.35/245.11 c 245 29558 846 1 5.0000 0.0000 -
250.33/251.12 c 251 29816 832 1 5.0000 0.0000 -
256.22/257.02 c 257 29972 856 1 5.0000 0.0000 -
262.00/262.88 c 263 30085 869 1 5.0000 0.0000 -
267.98/268.85 c 269 30237 888 1 5.0000 0.0000 -
274.06/274.90 c 275 30897 914 1 5.0000 0.0000 -
279.15/280.01 c 280 31096 922 1 5.0000 0.0000 -
285.24/286.13 c 286 31296 936 1 5.0000 0.0000 -
291.00/291.91 c 292 31754 941 1 5.0000 0.0000 -
296.88/297.85 c 298 32483 936 1 5.0000 0.0000 -
302.07/303.10 c 303 33554 949 1 5.0000 0.0000 -
307.55/308.58 c 309 33991 950 1 5.0000 0.0000 -
312.63/313.65 c 314 35462 964 1 5.0000 0.0000 -
317.81/318.82 c 319 36603 968 1 5.0000 0.0000 -
323.69/324.70 c 325 37557 1002 1 5.0000 0.0000 -
328.77/329.88 c 330 38091 1037 1 5.0000 0.0000 -
334.57/335.64 c 336 38516 1071 1 5.0000 0.0000 -
339.96/341.10 c 341 38928 1110 1 5.0000 0.0000 -
345.23/346.31 c 346 39240 1109 1 5.0000 0.0000 -
350.83/351.92 c 352 39750 1081 1 5.0000 0.0000 -
356.02/357.17 c 357 40619 1155 1 5.0000 0.0000 -
361.69/362.82 c 363 41155 1213 1 5.0000 0.0000 -
367.08/368.25 c 368 41536 1241 1 5.0000 0.0000 -
372.27/373.41 c 373 41983 1236 1 5.0000 0.0000 -
377.25/378.48 c 378 42891 1262 1 5.0000 0.0000 -
382.54/383.79 c 384 43345 1273 1 5.0000 0.0000 -
387.83/389.02 c 389 43793 1278 1 5.0000 0.0000 -
393.11/394.34 c 394 44047 1297 1 5.0000 0.0000 -
398.30/399.58 c 400 44446 1350 1 5.0000 0.0000 -
403.68/404.94 c 405 44872 1362 1 5.0000 0.0000 -
409.27/410.60 c 411 45333 1428 1 5.0000 0.0000 -
414.55/415.87 c 416 45649 1457 1 5.0000 0.0000 -
419.85/421.19 c 421 46115 1547 1 5.0000 0.0000 -
425.12/426.43 c 426 46405 1573 1 5.0000 0.0000 -
430.61/431.99 c 432 46967 1622 1 5.0000 0.0000 -
436.09/437.42 c 437 47308 1657 1 5.0000 0.0000 -
441.38/442.79 c 443 47857 1727 1 5.0000 0.0000 -
447.16/448.50 c 449 48217 1754 1 5.0000 0.0000 -
452.35/453.74 c 454 48649 1788 1 5.0000 0.0000 -
457.65/459.04 c 459 49330 1795 1 5.0000 0.0000 -
462.93/464.36 c 464 49648 1815 1 5.0000 0.0000 -
468.12/469.59 c 470 50269 1848 1 5.0000 0.0000 -
473.50/474.94 c 475 50864 1846 1 5.0000 0.0000 -
478.88/480.37 c 480 51640 1856 1 5.0000 0.0000 -
484.47/485.94 c 486 52173 1866 1 5.0000 0.0000 -
489.57/491.01 c 491 52817 1877 1 5.0000 0.0000 -
495.15/496.62 c 497 53388 1908 1 5.0000 0.0000 -
500.43/501.96 c 502 53839 1906 1 5.0000 0.0000 -
505.92/507.44 c 507 54170 1942 1 5.0000 0.0000 -
511.62/513.13 c 513 54456 1957 1 5.0000 0.0000 -
516.70/518.24 c 518 54800 1955 1 5.0000 0.0000 -
522.18/523.73 c 524 55158 1954 1 5.0000 0.0000 -
527.36/529.01 c 529 55665 1985 1 5.0000 0.0000 -
532.95/534.55 c 535 56352 2037 1 5.0000 0.0000 -
538.23/539.84 c 540 57126 2154 1 5.0000 0.0000 -
543.32/545.01 c 545 57880 2226 1 5.0000 0.0000 -
548.80/550.40 c 550 58705 2341 1 5.0000 0.0000 -
553.98/555.65 c 556 59292 2438 1 5.0000 0.0000 -
559.48/561.14 c 561 60122 2547 1 5.0000 0.0000 -
564.65/566.36 c 566 60821 2697 1 5.0000 0.0000 -
570.15/571.87 c 572 61015 2718 1 5.0000 0.0000 -
575.93/577.67 c 578 61308 2761 1 5.0000 0.0000 -
581.21/582.96 c 583 61707 2845 1 5.0000 0.0000 -
586.90/588.68 c 589 62131 2897 1 5.0000 0.0000 -
592.78/594.54 c 595 62779 2980 1 5.0000 0.0000 -
598.17/599.94 c 600 63214 3012 1 5.0000 0.0000 -
603.46/605.29 c 605 63625 3073 1 5.0000 0.0000 -
609.45/611.22 c 611 64064 3099 1 5.0000 0.0000 -
614.83/616.65 c 617 64424 3128 1 5.0000 0.0000 -
620.52/622.39 c 622 64746 3142 1 5.0000 0.0000 -
626.00/627.83 c 628 65188 3166 1 5.0000 0.0000 -
631.39/633.21 c 633 65614 3188 1 5.0000 0.0000 -
637.08/638.91 c 639 65872 3237 1 5.0000 0.0000 -
642.27/644.13 c 644 66261 3309 1 5.0000 0.0000 -
647.65/649.55 c 650 66720 3363 1 5.0000 0.0000 -
652.94/654.89 c 655 67062 3373 1 5.0000 0.0000 -
658.42/660.36 c 660 67563 3391 1 5.0000 0.0000 -
663.90/665.86 c 666 68030 3424 1 5.0000 0.0000 -
669.49/671.44 c 671 68475 3449 1 5.0000 0.0000 -
674.77/676.70 c 677 68904 3484 1 5.0000 0.0000 -
680.26/682.22 c 682 69373 3520 1 5.0000 0.0000 -
685.74/687.71 c 688 69766 3560 1 5.0000 0.0000 -
690.94/692.98 c 693 70075 3569 1 5.0000 0.0000 -
696.42/698.46 c 698 70509 3593 1 5.0000 0.0000 -
701.80/703.80 c 704 71084 3591 1 5.0000 0.0000 -
707.49/709.52 c 710 71603 3637 1 5.0000 0.0000 -
713.09/715.12 c 715 71909 3651 1 5.0000 0.0000 -
718.66/720.73 c 721 72317 3669 1 5.0000 0.0000 -
724.34/726.43 c 726 72809 3687 1 5.0000 0.0000 -
729.52/731.65 c 732 73409 3709 1 5.0000 0.0000 -
734.81/736.97 c 737 73900 3723 1 5.0000 0.0000 -
740.50/742.67 c 743 74255 3744 1 5.0000 0.0000 -
745.79/747.91 c 748 74840 3772 1 5.0000 0.0000 -
751.16/753.38 c 753 75213 3774 1 5.0000 0.0000 -
756.66/758.88 c 759 75690 3761 1 5.0000 0.0000 -
761.95/764.13 c 764 76264 3758 1 5.0000 0.0000 -
767.42/769.66 c 770 76671 3806 1 5.0000 0.0000 -
773.11/775.33 c 775 77024 3819 1 5.0000 0.0000 -
778.30/780.52 c 781 77522 3828 1 5.0000 0.0000 -
784.18/786.41 c 786 78114 3824 1 5.0000 0.0000 -
789.37/791.68 c 792 78550 3864 1 5.0000 0.0000 -
794.86/797.14 c 797 79213 3871 1 5.0000 0.0000 -
800.53/802.85 c 803 79853 3861 1 5.0000 0.0000 -
805.91/808.27 c 808 80605 3881 1 5.0000 0.0000 -
811.30/813.65 c 814 81137 3860 1 5.0000 0.0000 -
817.08/819.42 c 819 81772 3868 1 5.0000 0.0000 -
822.47/824.81 c 825 82525 3885 1 5.0000 0.0000 -
828.06/830.45 c 830 83034 3867 1 5.0000 0.0000 -
833.24/835.61 c 836 83906 3841 1 5.0000 0.0000 -
838.64/841.08 c 841 84375 3840 1 5.0000 0.0000 -
843.73/846.19 c 846 85197 3835 1 5.0000 0.0000 -
848.90/851.30 c 851 86298 3922 1 5.0000 0.0000 -
853.98/856.40 c 856 87559 3974 1 5.0000 0.0000 -
859.47/861.94 c 862 88035 3969 1 5.0000 0.0000 -
864.85/867.36 c 867 88599 3984 1 5.0000 0.0000 -
870.23/872.73 c 873 89244 3975 1 5.0000 0.0000 -
875.63/878.15 c 878 89621 3958 1 5.0000 0.0000 -
881.40/883.95 c 884 90123 3995 1 5.0000 0.0000 -
886.59/889.11 c 889 90968 3975 1 5.0000 0.0000 -
891.76/894.34 c 894 91560 3935 1 5.0000 0.0000 -
897.34/899.90 c 900 92004 3949 1 5.0000 0.0000 -
902.43/905.06 c 905 92498 3934 1 5.0000 0.0000 -
907.90/910.53 c 911 93016 3909 1 5.0000 0.0000 -
913.19/915.88 c 916 93789 3849 1 5.0000 0.0000 -
918.68/921.38 c 921 94409 3814 1 5.0000 0.0000 -
924.16/926.86 c 927 94959 3778 1 5.0000 0.0000 -
929.64/932.32 c 932 95434 3770 1 5.0000 0.0000 -
934.94/937.67 c 938 96148 3709 1 5.0000 0.0000 -
940.72/943.45 c 943 96594 3641 1 5.0000 0.0000 -
946.10/948.84 c 949 97555 3502 1 5.0000 0.0000 -
951.90/954.64 c 955 98352 3406 1 5.0000 0.0000 -
957.68/960.49 c 960 99004 3325 1 5.0000 0.0000 -
963.16/965.97 c 966 99691 3241 1 5.0000 0.0000 -
968.55/971.38 c 971 100396 3184 1 5.0000 0.0000 -
974.13/976.99 c 977 101175 3186 1 5.0000 0.0000 -
979.72/982.54 c 983 101776 3165 1 5.0000 0.0000 -
986.10/989.01 c 989 102365 3154 1 5.0000 0.0000 -
991.28/994.19 c 994 103099 3056 1 5.0000 0.0000 -
996.45/999.39 c 999 104139 3114 1 5.0000 0.0000 -
1001.74/1004.60 c 1005 104902 3247 1 5.0000 0.0000 -
1007.03/1009.93 c 1010 105244 3292 1 5.0000 0.0000 -
1012.81/1015.75 c 1016 105821 3331 1 5.0000 0.0000 -
1018.60/1021.59 c 1022 106205 3367 1 5.0000 0.0000 -
1023.88/1026.89 c 1027 106427 3400 1 5.0000 0.0000 -
1029.66/1032.62 c 1033 106872 3432 1 5.0000 0.0000 -
1035.25/1038.26 c 1038 107316 3495 1 5.0000 0.0000 -
1040.73/1043.77 c 1044 107765 3530 1 5.0000 0.0000 -
1046.04/1049.08 c 1049 108133 3563 1 5.0000 0.0000 -
1051.51/1054.51 c 1055 108556 3621 1 5.0000 0.0000 -
1056.59/1059.68 c 1060 108924 3646 1 5.0000 0.0000 -
1062.18/1065.22 c 1065 109237 3663 1 5.0000 0.0000 -
1067.98/1071.01 c 1071 109709 3687 1 5.0000 0.0000 -
1073.06/1076.18 c 1076 110278 3709 1 5.0000 0.0000 -
1078.83/1081.91 c 1082 110808 3747 1 5.0000 0.0000 -
1084.04/1087.13 c 1087 111422 3759 1 5.0000 0.0000 -
1089.21/1092.32 c 1092 111847 3808 1 5.0000 0.0000 -
1094.39/1097.55 c 1098 112463 3846 1 5.0000 0.0000 -
1099.78/1103.01 c 1103 112901 3862 1 5.0000 0.0000 -
1105.66/1108.83 c 1109 113396 3863 1 5.0000 0.0000 -
1110.85/1114.10 c 1114 113795 3897 1 5.0000 0.0000 -
1116.33/1119.54 c 1120 114033 3932 1 5.0000 0.0000 -
1122.12/1125.39 c 1125 114293 3963 1 5.0000 0.0000 -
1127.50/1130.73 c 1131 115017 4031 1 5.0000 0.0000 -
1132.68/1135.96 c 1136 115793 4073 1 5.0000 0.0000 -
1138.07/1141.34 c 1141 116580 4089 1 5.0000 0.0000 -
1143.26/1146.52 c 1147 117155 4158 1 5.0000 0.0000 -
1148.44/1151.75 c 1152 117445 4164 1 5.0000 0.0000 -
1154.13/1157.43 c 1157 118008 4195 1 5.0000 0.0000 -
1159.11/1162.49 c 1162 118604 4216 1 5.0000 0.0000 -
1164.40/1167.78 c 1168 119035 4214 1 5.0000 0.0000 -
1169.70/1173.03 c 1173 119589 4252 1 5.0000 0.0000 -
1175.27/1178.69 c 1179 120171 4283 1 5.0000 0.0000 -
1180.55/1183.94 c 1184 120639 4315 1 5.0000 0.0000 -
1185.65/1189.09 c 1189 121269 4336 1 5.0000 0.0000 -
1191.02/1194.48 c 1194 121831 4339 1 5.0000 0.0000 -
1196.41/1199.87 c 1200 122213 4332 1 5.0000 0.0000 -
1201.61/1205.09 c 1205 122944 4386 1 5.0000 0.0000 -
1207.18/1210.69 c 1211 123684 4385 1 5.0000 0.0000 -
1212.76/1216.21 c 1216 124319 4401 1 5.0000 0.0000 -
1218.04/1221.51 c 1222 125041 4415 1 5.0000 0.0000 -
1223.24/1226.71 c 1227 125583 4434 1 5.0000 0.0000 -
1228.71/1232.21 c 1232 125919 4458 1 5.0000 0.0000 -
1234.09/1237.61 c 1238 126296 4469 1 5.0000 0.0000 -
1239.68/1243.27 c 1243 126711 4470 1 5.0000 0.0000 -
1245.26/1248.89 c 1249 127190 4480 1 5.0000 0.0000 -
1250.85/1254.48 c 1254 127527 4471 1 5.0000 0.0000 -
1256.33/1259.94 c 1260 128051 4475 1 5.0000 0.0000 -
1261.61/1265.23 c 1265 128914 4499 1 5.0000 0.0000 -
1266.89/1270.52 c 1271 129517 4532 1 5.0000 0.0000 -
1272.27/1275.99 c 1276 129778 4556 1 5.0000 0.0000 -
1278.16/1281.84 c 1282 130483 4558 1 5.0000 0.0000 -
1283.83/1287.56 c 1288 130904 4552 1 5.0000 0.0000 -
1289.21/1292.93 c 1293 131775 4552 1 5.0000 0.0000 -
1294.60/1298.32 c 1298 132501 4543 1 5.0000 0.0000 -
1300.78/1304.58 c 1305 133017 4535 1 5.0000 0.0000 -
1306.46/1310.21 c 1310 133510 4516 1 5.0000 0.0000 -
1311.86/1315.66 c 1316 134273 4508 1 5.0000 0.0000 -
1317.24/1321.01 c 1321 134783 4502 1 5.0000 0.0000 -
1322.42/1326.20 c 1326 135421 4498 1 5.0000 0.0000 -
1327.60/1331.41 c 1331 136302 4496 1 5.0000 0.0000 -
1332.89/1336.75 c 1337 136714 4493 1 5.0000 0.0000 -
1338.07/1341.99 c 1342 137274 4487 1 5.0000 0.0000 -
1343.56/1347.46 c 1347 137864 4493 1 5.0000 0.0000 -
1348.94/1352.80 c 1353 138415 4488 1 5.0000 0.0000 -
1354.62/1358.52 c 1359 138924 4472 1 5.0000 0.0000 -
1360.22/1364.14 c 1364 139393 4451 1 5.0000 0.0000 -
1365.79/1369.75 c 1370 140212 4401 1 5.0000 0.0000 -
1371.37/1375.37 c 1375 140686 4371 1 5.0000 0.0000 -
1376.45/1380.49 c 1380 141551 4351 1 5.0000 0.0000 -
1381.74/1385.75 c 1386 142116 4342 1 5.0000 0.0000 -
1387.03/1391.02 c 1391 142643 4333 1 5.0000 0.0000 -
1392.20/1396.28 c 1396 143162 4307 1 5.0000 0.0000 -
1397.28/1401.34 c 1401 143924 4259 1 5.0000 0.0000 -
1402.46/1406.55 c 1407 144743 4209 1 5.0000 0.0000 -
1407.96/1412.03 c 1412 145136 4183 1 5.0000 0.0000 -
1413.63/1417.76 c 1418 145874 4105 1 5.0000 0.0000 -
1419.02/1423.17 c 1423 146686 4033 1 5.0000 0.0000 -
1424.10/1428.22 c 1428 147521 3927 1 5.0000 0.0000 -
1429.58/1433.77 c 1434 148327 3823 1 5.0000 0.0000 -
1434.98/1439.13 c 1439 149316 3689 1 5.0000 0.0000 -
1440.25/1444.45 c 1444 150177 3553 1 5.0000 0.0000 -
1445.34/1449.56 c 1450 150973 3448 1 5.0000 0.0000 -
1450.62/1454.89 c 1455 151589 3527 1 5.0000 0.0000 -
1455.71/1459.95 c 1460 152629 3606 1 5.0000 0.0000 -
1461.29/1465.51 c 1466 153085 3628 1 5.0000 0.0000 -
1467.08/1471.34 c 1471 153461 3660 1 5.0000 0.0000 -
1472.77/1477.05 c 1477 153995 3707 1 5.0000 0.0000 -
1478.45/1482.72 c 1483 154851 3769 1 5.0000 0.0000 -
1483.93/1488.26 c 1488 155345 3818 1 5.0000 0.0000 -
1489.22/1493.58 c 1494 155859 3831 1 5.0000 0.0000 -
1494.50/1498.88 c 1499 156312 3892 1 5.0000 0.0000 -
1500.08/1504.47 c 1504 156776 3929 1 5.0000 0.0000 -
1505.67/1510.07 c 1510 157326 3936 1 5.0000 0.0000 -
1511.75/1516.12 c 1516 157696 3971 1 5.0000 0.0000 -
1517.13/1521.50 c 1522 158174 4011 1 5.0000 0.0000 -
1522.51/1526.96 c 1527 158642 4022 1 5.0000 0.0000 -
1528.18/1532.68 c 1533 159212 4047 1 5.0000 0.0000 -
1533.68/1538.12 c 1538 159552 4084 1 5.0000 0.0000 -
1538.85/1543.31 c 1543 160001 4080 1 5.0000 0.0000 -
1544.03/1548.53 c 1549 160715 4107 1 5.0000 0.0000 -
1550.42/1554.95 c 1555 160930 4131 1 5.0000 0.0000 -
1556.10/1560.64 c 1561 161349 4120 1 5.0000 0.0000 -
1561.18/1565.77 c 1566 161932 4198 1 5.0000 0.0000 -
1566.96/1571.55 c 1572 162396 4211 1 5.0000 0.0000 -
1572.24/1576.81 c 1577 163169 4323 1 5.0000 0.0000 -
1577.32/1581.92 c 1582 163945 4388 1 5.0000 0.0000 -
1582.42/1587.03 c 1587 164848 4395 1 5.0000 0.0000 -
1587.50/1592.14 c 1592 165879 4351 1 5.0000 0.0000 -
1593.07/1597.71 c 1598 166732 4273 1 5.0000 0.0000 -
1599.36/1604.10 c 1604 167435 4334 1 5.0000 0.0000 -
1605.03/1609.71 c 1610 167708 4370 1 5.0000 0.0000 -
1610.52/1615.23 c 1615 167911 4381 1 5.0000 0.0000 -
1616.31/1621.11 c 1621 168141 4374 1 5.0000 0.0000 -
1621.97/1626.70 c 1627 168546 4332 1 5.0000 0.0000 -
1627.27/1632.02 c 1632 169257 4368 1 5.0000 0.0000 -
1632.64/1637.40 c 1637 169917 4411 1 5.0000 0.0000 -
1637.63/1642.48 c 1642 170405 4458 1 5.0000 0.0000 -
1642.91/1647.71 c 1648 170696 4474 1 5.0000 0.0000 -
1648.20/1653.05 c 1653 171079 4467 1 5.0000 0.0000 -
1653.37/1658.21 c 1658 171589 4447 1 5.0000 0.0000 -
1658.56/1663.47 c 1663 172301 4450 1 5.0000 0.0000 -
1663.74/1668.64 c 1669 172756 4451 1 5.0000 0.0000 -
1668.83/1673.71 c 1674 173511 4442 1 5.0000 0.0000 -
1673.81/1678.75 c 1679 174051 4441 1 5.0000 0.0000 -
1679.20/1684.18 c 1684 174682 4444 1 5.0000 0.0000 -
1684.27/1689.27 c 1689 175274 4420 1 5.0000 0.0000 -
1689.36/1694.38 c 1694 175761 4425 1 5.0000 0.0000 -
1694.54/1699.54 c 1700 176430 4424 1 5.0000 0.0000 -
1699.92/1704.96 c 1705 176937 4386 1 5.0000 0.0000 -
1705.40/1710.42 c 1710 177754 4382 1 5.0000 0.0000 -
1711.00/1716.03 c 1716 178334 4382 1 5.0000 0.0000 -
1716.08/1721.16 c 1721 178766 4409 1 5.0000 0.0000 -
1721.15/1726.27 c 1726 179359 4425 1 5.0000 0.0000 -
1726.54/1731.65 c 1732 179864 4455 1 5.0000 0.0000 -
1731.61/1736.78 c 1737 180542 4450 1 5.0000 0.0000 -
1736.91/1742.02 c 1742 181180 4409 1 5.0000 0.0000 -
1741.90/1747.09 c 1747 182080 4391 1 5.0000 0.0000 -
1747.17/1752.39 c 1752 182647 4385 1 5.0000 0.0000 -
1752.46/1757.63 c 1758 183342 4361 1 5.0000 0.0000 -
1757.86/1763.07 c 1763 184153 4341 1 5.0000 0.0000 -
1763.02/1768.23 c 1768 185012 4281 1 5.0000 0.0000 -
1768.31/1773.59 c 1774 185654 4255 1 5.0000 0.0000 -
1774.60/1779.80 c 1780 186089 4236 1 5.0000 0.0000 -
1780.18/1785.49 c 1786 186702 4210 1 5.0000 0.0000 -
1785.56/1790.81 c 1791 187275 4194 1 5.0000 0.0000 -
1790.95/1796.25 c 1796 188067 4134 1 5.0000 0.0000 -
1796.13/1801.49 c 1802 188891 4097 1 5.0000 0.0000 -
1801.32/1806.66 c 1807 189370 4057 1 5.0000 0.0000 -
1806.51/1811.80 c 1812 190002 4011 1 5.0000 0.0000 -
1811.59/1816.92 c 1817 190426 3966 1 5.0000 0.0000 -
1816.88/1822.25 c 1822 191081 3938 1 5.0000 0.0000 -
1822.26/1827.62 c 1828 191630 3884 1 5.0000 0.0000 -
1827.84/1833.23 c 1833 192288 3791 1 5.0000 0.0000 -
1832.93/1838.36 c 1838 193352 3907 1 5.0000 0.0000 -
1838.12/1843.54 c 1844 193831 3912 1 5.0000 0.0000 -
1843.21/1848.60 c 1849 194746 3893 1 5.0000 0.0000 -
1848.29/1853.79 c 1854 195224 3917 1 5.0000 0.0000 -
1853.47/1858.97 c 1859 195673 3946 1 5.0000 0.0000 -
1859.07/1864.53 c 1865 196439 3993 1 5.0000 0.0000 -
1864.15/1869.65 c 1870 197298 4071 1 5.0000 0.0000 -
1869.64/1875.15 c 1875 197875 4105 1 5.0000 0.0000 -
1875.12/1880.68 c 1881 198478 4155 1 5.0000 0.0000 -
1880.21/1885.75 c 1886 199193 4159 1 5.0000 0.0000 -
1885.39/1890.94 c 1891 199906 4189 1 5.0000 0.0000 -
1890.87/1896.42 c 1896 200601 4228 1 5.0000 0.0000 -
1896.47/1902.06 c 1902 200917 4285 1 5.0000 0.0000 -
1901.74/1907.37 c 1907 201249 4340 1 5.0000 0.0000 -
1907.44/1913.03 c 1913 201804 4347 1 5.0000 0.0000 -
1912.82/1918.41 c 1918 202195 4334 1 5.0000 0.0000 -
1917.91/1923.56 c 1924 202719 4344 1 5.0000 0.0000 -
1923.40/1929.09 c 1929 203477 4433 1 5.0000 0.0000 -
1929.17/1934.88 c 1935 203974 4471 1 5.0000 0.0000 -
1934.76/1940.40 c 1940 204519 4484 1 5.0000 0.0000 -
1939.85/1945.59 c 1946 205116 4511 1 5.0000 0.0000 -
1945.23/1950.97 c 1951 205579 4567 1 5.0000 0.0000 -
1950.81/1956.54 c 1957 205830 4599 1 5.0000 0.0000 -
1957.00/1962.75 c 1963 206373 4614 1 5.0000 0.0000 -
1962.69/1968.41 c 1968 206766 4634 1 5.0000 0.0000 -
1968.28/1974.02 c 1974 207156 4708 1 5.0000 0.0000 -
1974.15/1979.99 c 1980 207418 4745 1 5.0000 0.0000 -
1979.43/1985.21 c 1985 208006 4773 1 5.0000 0.0000 -
1984.52/1990.39 c 1990 208715 4801 1 5.0000 0.0000 -
1990.10/1995.90 c 1996 209231 4888 1 5.0000 0.0000 -
1995.38/2001.25 c 2001 209498 4964 1 5.0000 0.0000 -
2000.87/2006.73 c 2007 210062 5026 1 5.0000 0.0000 -
2006.17/2012.06 c 2012 210641 5102 1 5.0000 0.0000 -
2011.33/2017.29 c 2017 211195 5147 1 5.0000 0.0000 -
2016.62/2022.50 c 2023 211659 5171 1 5.0000 0.0000 -
2021.90/2027.80 c 2028 212379 5193 1 5.0000 0.0000 -
2027.20/2033.11 c 2033 212986 5205 1 5.0000 0.0000 -
2032.37/2038.36 c 2038 213460 5234 1 5.0000 0.0000 -
2037.75/2043.74 c 2044 213842 5270 1 5.0000 0.0000 -
2043.14/2049.15 c 2049 214367 5280 1 5.0000 0.0000 -
2048.31/2054.39 c 2054 215228 5339 1 5.0000 0.0000 -
2053.89/2059.93 c 2060 215743 5354 1 5.0000 0.0000 -
2059.17/2065.21 c 2065 216401 5352 1 5.0000 0.0000 -
2064.46/2070.56 c 2071 217002 5364 1 5.0000 0.0000 -
2069.95/2076.08 c 2076 217651 5371 1 5.0000 0.0000 -
2075.12/2081.27 c 2081 218401 5412 1 5.0000 0.0000 -
2080.50/2086.62 c 2087 219032 5423 1 5.0000 0.0000 -
2086.18/2092.39 c 2092 219570 5404 1 5.0000 0.0000 -
2091.36/2097.59 c 2098 220254 5418 1 5.0000 0.0000 -
2096.74/2102.91 c 2103 221105 5415 1 5.0000 0.0000 -
2102.12/2108.38 c 2108 221465 5424 1 5.0000 0.0000 -
2107.21/2113.45 c 2113 221850 5427 1 5.0000 0.0000 -
2112.50/2118.79 c 2119 222580 5428 1 5.0000 0.0000 -
2118.29/2124.56 c 2125 223388 5429 1 5.0000 0.0000 -
2123.57/2129.87 c 2130 223908 5409 1 5.0000 0.0000 -
2129.15/2135.45 c 2135 224401 5369 1 5.0000 0.0000 -
2134.54/2140.84 c 2141 225215 5339 1 5.0000 0.0000 -
2139.83/2146.16 c 2146 225946 5312 1 5.0000 0.0000 -
2145.10/2151.49 c 2152 226800 5273 1 5.0000 0.0000 -
2150.29/2156.64 c 2157 227383 5262 1 5.0000 0.0000 -
2156.17/2162.51 c 2163 227913 5232 1 5.0000 0.0000 -
2161.55/2167.93 c 2168 228421 5179 1 5.0000 0.0000 -
2166.66/2173.10 c 2173 229050 5142 1 5.0000 0.0000 -
2172.33/2178.75 c 2179 229629 5101 1 5.0000 0.0000 -
2177.63/2184.03 c 2184 230122 5063 1 5.0000 0.0000 -
2182.61/2189.09 c 2189 230617 5019 1 5.0000 0.0000 -
2187.79/2194.25 c 2194 231232 4961 1 5.0000 0.0000 -
2192.97/2199.40 c 2199 231664 4906 1 5.0000 0.0000 -
2198.26/2204.77 c 2205 232477 4805 1 5.0000 0.0000 -
2203.45/2209.92 c 2210 233155 4778 1 5.0000 0.0000 -
2208.72/2215.26 c 2215 233898 4662 1 5.0000 0.0000 -
2214.31/2220.88 c 2221 234667 4591 1 5.0000 0.0000 -
2219.39/2225.94 c 2226 235370 4488 1 5.0000 0.0000 -
2225.18/2231.74 c 2232 236186 4372 1 5.0000 0.0000 -
2230.26/2236.86 c 2237 236889 4328 1 5.0000 0.0000 -
2236.34/2242.97 c 2243 237316 4277 1 5.0000 0.0000 -
2241.73/2248.35 c 2248 237691 4244 1 5.0000 0.0000 -
2246.91/2253.54 c 2254 238292 4143 1 5.0000 0.0000 -
2252.11/2258.77 c 2259 238833 4070 1 5.0000 0.0000 -
2257.18/2263.88 c 2264 239522 4001 1 5.0000 0.0000 -
2262.57/2269.22 c 2269 239915 3993 1 5.0000 0.0000 -
2267.85/2274.55 c 2275 240624 3943 1 5.0000 0.0000 -
2273.24/2279.91 c 2280 241266 3901 1 5.0000 0.0000 -
2278.53/2285.22 c 2285 242070 3949 1 5.0000 0.0000 -
2283.61/2290.31 c 2290 242690 3924 1 5.0000 0.0000 -
2288.69/2295.43 c 2295 243223 3936 1 5.0000 0.0000 -
2293.98/2300.78 c 2301 243754 3939 1 5.0000 0.0000 -
2299.28/2306.04 c 2306 244356 4048 1 5.0000 0.0000 -
2304.36/2311.19 c 2311 245110 4143 1 5.0000 0.0000 -
2309.43/2316.25 c 2316 245813 4212 1 5.0000 0.0000 -
2314.72/2321.51 c 2322 246659 4292 1 5.0000 0.0000 -
2319.80/2326.66 c 2327 247501 4413 1 5.0000 0.0000 -
2325.09/2331.95 c 2332 248057 4423 1 5.0000 0.0000 -
2330.28/2337.12 c 2337 248345 4481 1 5.0000 0.0000 -
2335.55/2342.48 c 2342 248487 4587 1 5.0000 0.0000 -
2341.44/2348.39 c 2348 248569 4636 1 5.0000 0.0000 -
2346.92/2353.86 c 2354 248657 4688 1 5.0000 0.0000 -
2352.41/2359.38 c 2359 248798 4780 1 5.0000 0.0000 -
2361.58/2368.56 c 2369 248942 1 1 5.0000 0.0000 -
2367.37/2374.35 c 2374 249078 137 1 5.0000 0.0000 -
2372.55/2379.58 c 2380 249230 285 1 5.0000 0.0000 -
2377.74/2384.75 c 2385 249388 439 1 5.0000 0.0000 -
2382.92/2389.91 c 2390 249606 639 1 5.0000 0.0000 -
2388.40/2395.40 c 2395 249847 842 1 5.0000 0.0000 -
2393.49/2400.59 c 2401 250152 1099 1 5.0000 0.0000 -
2398.99/2406.09 c 2406 250435 1277 1 5.0000 0.0000 -
2404.16/2411.27 c 2411 250739 1452 1 5.0000 0.0000 -
2409.74/2416.81 c 2417 250977 1532 1 5.0000 0.0000 -
2415.05/2422.17 c 2422 251232 1577 1 5.0000 0.0000 -
2420.32/2427.42 c 2427 251477 1647 1 5.0000 0.0000 -
2425.50/2432.67 c 2433 251741 1711 1 5.0000 0.0000 -
2430.91/2438.01 c 2438 252029 1790 1 5.0000 0.0000 -
2436.28/2443.49 c 2444 252551 1869 1 5.0000 0.0000 -
2441.76/2448.91 c 2449 253002 1964 1 5.0000 0.0000 -
2446.75/2454.01 c 2454 253663 2062 1 5.0000 0.0000 -
2451.84/2459.09 c 2459 254127 2092 1 5.0000 0.0000 -
2457.93/2465.16 c 2465 254358 2140 1 5.0000 0.0000 -
2463.20/2470.45 c 2470 254937 2233 1 5.0000 0.0000 -
2468.58/2475.84 c 2476 255485 2288 1 5.0000 0.0000 -
2474.57/2481.81 c 2482 256141 2373 1 5.0000 0.0000 -
2480.16/2487.48 c 2487 256397 2439 1 5.0000 0.0000 -
2485.23/2492.54 c 2493 257467 2547 1 5.0000 0.0000 -
2490.21/2497.59 c 2498 258401 2571 1 5.0000 0.0000 -
2495.30/2502.67 c 2503 259162 2725 1 5.0000 0.0000 -
2500.70/2508.10 c 2508 259686 2812 1 5.0000 0.0000 -
2506.16/2513.52 c 2514 260161 2887 1 5.0000 0.0000 -
2511.55/2519.01 c 2519 261065 2975 1 5.0000 0.0000 -
2517.32/2524.71 c 2525 261971 3040 1 5.0000 0.0000 -
2522.61/2530.07 c 2530 262396 3131 1 5.0000 0.0000 -
2528.18/2535.64 c 2536 263157 3222 1 5.0000 0.0000 -
2533.27/2540.74 c 2541 263704 3281 1 5.0000 0.0000 -
2538.36/2545.87 c 2546 264359 3311 1 5.0000 0.0000 -
2544.14/2551.62 c 2552 264976 3356 1 5.0000 0.0000 -
2549.12/2556.69 c 2557 265986 3430 1 5.0000 0.0000 -
2554.21/2561.75 c 2562 267245 3507 1 5.0000 0.0000 -
2559.29/2566.80 c 2567 268350 3695 1 5.0000 0.0000 -
2564.28/2571.86 c 2572 269351 3806 1 5.0000 0.0000 -
2569.37/2576.91 c 2577 270484 3792 1 5.0000 0.0000 -
2574.35/2581.98 c 2582 271639 3940 1 5.0000 0.0000 -
2579.44/2587.03 c 2587 273013 4161 1 5.0000 0.0000 -
2584.42/2592.09 c 2592 274558 4268 1 5.0000 0.0000 -
2589.51/2597.14 c 2597 275982 4448 1 5.0000 0.0000 -
2594.58/2602.20 c 2602 277479 4472 1 5.0000 0.0000 -
2599.57/2607.25 c 2607 279044 4448 1 5.0000 0.0000 -
2604.66/2612.30 c 2612 280614 4460 1 5.0000 0.0000 -
2609.74/2617.43 c 2617 282002 4499 1 5.0000 0.0000 -
2614.73/2622.48 c 2622 283488 4638 1 5.0000 0.0000 -
2619.80/2627.53 c 2628 284911 4690 1 5.0000 0.0000 -
2624.79/2632.58 c 2633 286294 4808 1 5.0000 0.0000 -
2629.88/2637.63 c 2638 287654 4943 1 5.0000 0.0000 -
2634.85/2642.69 c 2643 289097 5077 1 5.0000 0.0000 -
2639.94/2647.74 c 2648 290441 5104 1 5.0000 0.0000 -
2645.24/2653.08 c 2653 291716 5192 1 5.0000 0.0000 -
2650.32/2658.13 c 2658 292967 5325 1 5.0000 0.0000 -
2655.31/2663.19 c 2663 294183 5431 1 5.0000 0.0000 -
2661.20/2669.05 c 2669 294984 5541 1 5.0000 0.0000 -
2667.28/2675.17 c 2675 295170 5677 1 5.0000 0.0000 -
2672.46/2680.37 c 2680 295442 5900 1 5.0000 0.0000 -
2677.54/2685.42 c 2685 296214 6409 1 5.0000 0.0000 -
2682.62/2690.50 c 2691 297023 6907 1 5.0000 0.0000 -
2687.71/2695.67 c 2696 297963 7382 1 5.0000 0.0000 -
2692.89/2700.82 c 2701 299009 7924 1 5.0000 0.0000 -
2697.87/2705.87 c 2706 300202 8440 1 5.0000 0.0000 -
2703.66/2711.64 c 2712 300846 8850 1 5.0000 0.0000 -
2709.05/2717.02 c 2717 301732 9275 1 5.0000 0.0000 -
2714.14/2722.15 c 2722 302593 9785 1 5.0000 0.0000 -
2719.31/2727.36 c 2727 303460 10250 1 5.0000 0.0000 -
2724.59/2732.69 c 2733 304329 10637 1 5.0000 0.0000 -
2729.99/2738.11 c 2738 305305 10963 1 5.0000 0.0000 -
2735.27/2743.33 c 2743 305895 11285 1 5.0000 0.0000 -
2740.35/2748.47 c 2748 306313 11604 1 5.0000 0.0000 -
2745.44/2753.54 c 2754 306845 11926 1 5.0000 0.0000 -
2750.52/2758.65 c 2759 307404 12413 1 5.0000 0.0000 -
2755.81/2763.90 c 2764 308192 12914 1 5.0000 0.0000 -
2761.19/2769.34 c 2769 308880 13361 1 5.0000 0.0000 -
2766.17/2774.39 c 2774 309773 13802 1 5.0000 0.0000 -
2771.56/2779.70 c 2780 310505 14234 1 5.0000 0.0000 -
2776.55/2784.76 c 2785 311397 14657 1 5.0000 0.0000 -
2781.62/2789.81 c 2790 312350 15030 1 5.0000 0.0000 -
2786.62/2794.86 c 2795 313247 15464 1 5.0000 0.0000 -
2791.70/2799.92 c 2800 314116 15802 1 5.0000 0.0000 -
2796.68/2804.97 c 2805 315068 16124 1 5.0000 0.0000 -
2801.88/2810.13 c 2810 316009 16412 1 5.0000 0.0000 -
2806.95/2815.26 c 2815 316737 16827 1 5.0000 0.0000 -
2812.04/2820.31 c 2820 317647 17318 1 5.0000 0.0000 -
2817.12/2825.47 c 2825 318570 17765 1 5.0000 0.0000 -
2822.20/2830.52 c 2831 319345 18192 1 5.0000 0.0000 -
2827.29/2835.64 c 2836 320280 18723 1 5.0000 0.0000 -
2832.38/2840.77 c 2841 321134 19211 1 5.0000 0.0000 -
2837.56/2845.93 c 2846 322089 19748 1 5.0000 0.0000 -
2842.66/2851.09 c 2851 323001 20171 1 5.0000 0.0000 -
2847.75/2856.17 c 2856 323725 20740 1 5.0000 0.0000 -
2852.82/2861.27 c 2861 324348 21151 1 5.0000 0.0000 -
2857.91/2866.32 c 2866 325134 21547 1 5.0000 0.0000 -
2863.09/2871.54 c 2872 326149 21908 1 5.0000 0.0000 -
2868.28/2876.75 c 2877 327026 22330 1 5.0000 0.0000 -
2873.36/2881.80 c 2882 328057 22741 1 5.0000 0.0000 -
2878.56/2887.10 c 2887 328913 23212 1 5.0000 0.0000 -
2883.64/2892.19 c 2892 329920 23664 1 5.0000 0.0000 -
2888.81/2897.33 c 2897 330790 24248 1 5.0000 0.0000 -
2893.90/2902.41 c 2902 331773 24726 1 5.0000 0.0000 -
2898.98/2907.59 c 2908 332637 25192 1 5.0000 0.0000 -
2904.27/2912.80 c 2913 333415 25745 1 5.0000 0.0000 -
2909.35/2917.98 c 2918 334219 26280 1 5.0000 0.0000 -
2914.44/2923.03 c 2923 334967 26777 1 5.0000 0.0000 -
2919.52/2928.14 c 2928 335865 27281 1 5.0000 0.0000 -
2924.51/2933.19 c 2933 336654 27806 1 5.0000 0.0000 -
2929.58/2938.25 c 2938 337508 28331 1 5.0000 0.0000 -
2934.67/2943.31 c 2943 338551 28818 1 5.0000 0.0000 -
2939.75/2948.45 c 2948 339418 29371 1 5.0000 0.0000 -
2944.94/2953.65 c 2954 340271 29916 1 5.0000 0.0000 -
2950.02/2958.74 c 2959 341216 30466 1 5.0000 0.0000 -
2955.11/2963.88 c 2964 341959 31039 1 5.0000 0.0000 -
2960.20/2968.99 c 2969 342875 31660 1 5.0000 0.0000 -
2965.29/2974.07 c 2974 343824 32202 1 5.0000 0.0000 -
2970.38/2979.19 c 2979 344871 32502 1 5.0000 0.0000 -
2975.45/2984.27 c 2984 345753 32866 1 5.0000 0.0000 -
2980.64/2989.43 c 2989 346660 33241 1 5.0000 0.0000 -
2985.82/2994.65 c 2995 347635 33521 1 5.0000 0.0000 -
2990.91/2999.78 c 3000 348472 33954 1 5.0000 0.0000 -
2996.20/3005.07 c 3005 349291 34426 1 5.0000 0.0000 -
3001.29/3010.13 c 3010 350178 34874 1 5.0000 0.0000 -
3006.37/3015.26 c 3015 351256 35141 1 5.0000 0.0000 -
3011.45/3020.38 c 3020 352314 35394 1 5.0000 0.0000 -
3016.54/3025.49 c 3026 353174 35912 1 5.0000 0.0000 -
3021.62/3030.54 c 3031 354108 36244 1 5.0000 0.0000 -
3026.80/3035.71 c 3036 354981 36679 1 5.0000 0.0000 -
3031.99/3040.91 c 3041 356044 37221 1 5.0000 0.0000 -
3037.09/3046.04 c 3046 356815 37735 1 5.0000 0.0000 -
3042.07/3051.09 c 3051 357687 38073 1 5.0000 0.0000 -
3047.34/3056.35 c 3056 358475 38507 1 5.0000 0.0000 -
3052.54/3061.53 c 3062 359439 38868 1 5.0000 0.0000 -
3057.61/3066.67 c 3067 360233 39359 1 5.0000 0.0000 -
3062.70/3071.73 c 3072 361198 39702 1 5.0000 0.0000 -
3067.79/3076.84 c 3077 362224 40204 1 5.0000 0.0000 -
3072.98/3082.02 c 3082 363061 40718 1 5.0000 0.0000 -
3078.07/3087.13 c 3087 363866 41188 1 5.0000 0.0000 -
3083.05/3092.18 c 3092 364894 41578 1 5.0000 0.0000 -
3088.23/3097.32 c 3097 365895 41962 1 5.0000 0.0000 -
3093.21/3102.37 c 3102 366711 42337 1 5.0000 0.0000 -
3098.29/3107.42 c 3107 367734 42804 1 5.0000 0.0000 -
3103.28/3112.48 c 3112 368576 43144 1 5.0000 0.0000 -
3108.57/3117.73 c 3118 369439 43596 1 5.0000 0.0000 -
3113.55/3122.78 c 3123 370360 44018 1 5.0000 0.0000 -
3118.73/3127.98 c 3128 371497 44188 1 5.0000 0.0000 -
3123.82/3133.07 c 3133 372704 44386 1 5.0000 0.0000 -
3129.00/3138.26 c 3138 373655 44741 1 5.0000 0.0000 -
3134.18/3143.48 c 3143 374722 45214 1 5.0000 0.0000 -
3139.47/3148.72 c 3149 375547 45669 1 5.0000 0.0000 -
3144.55/3153.85 c 3154 376327 46050 1 5.0000 0.0000 -
3149.64/3158.98 c 3159 377190 46556 1 5.0000 0.0000 -
3154.72/3164.03 c 3164 378099 47039 1 5.0000 0.0000 -
3159.72/3169.08 c 3169 378944 47496 1 5.0000 0.0000 -
3164.80/3174.13 c 3174 380546 47806 1 5.0000 0.0000 -
3169.87/3179.21 c 3179 381876 48207 1 5.0000 0.0000 -
3174.86/3184.26 c 3184 383185 48543 1 5.0000 0.0000 -
3179.94/3189.38 c 3189 384540 48917 1 5.0000 0.0000 -
3185.03/3194.43 c 3194 385876 49312 1 5.0000 0.0000 -
3190.21/3199.67 c 3200 387204 49665 1 5.0000 0.0000 -
3195.30/3204.72 c 3205 388552 50048 1 5.0000 0.0000 -
3200.29/3209.77 c 3210 390000 50444 1 5.0000 0.0000 -
3205.36/3214.84 c 3215 391435 50791 1 5.0000 0.0000 -
3210.35/3219.89 c 3220 392793 51160 1 5.0000 0.0000 -
3215.44/3224.94 c 3225 394152 51528 1 5.0000 0.0000 -
3220.42/3229.99 c 3230 395446 51812 1 5.0000 0.0000 -
3225.51/3235.04 c 3235 396740 52065 1 5.0000 0.0000 -
3230.60/3240.14 c 3240 398042 52435 1 5.0000 0.0000 -
3235.88/3245.45 c 3245 399348 52790 1 5.0000 0.0000 -
3240.96/3250.50 c 3251 400793 53037 1 5.0000 0.0000 -
3245.94/3255.55 c 3256 402164 53284 1 5.0000 0.0000 -
3251.03/3260.60 c 3261 403421 53554 1 5.0000 0.0000 -
3256.01/3265.65 c 3266 404655 53847 1 5.0000 0.0000 -
3261.10/3270.70 c 3271 406007 54200 1 5.0000 0.0000 -
3266.19/3275.80 c 3276 407354 54479 1 5.0000 0.0000 -
3271.27/3280.94 c 3281 408758 54899 1 5.0000 0.0000 -
3276.37/3286.04 c 3286 409954 55305 1 5.0000 0.0000 -
3281.36/3291.09 c 3291 411250 55762 1 5.0000 0.0000 -
3286.53/3296.24 c 3296 412259 55997 1 5.0000 0.0000 -
3291.62/3301.34 c 3301 413130 56164 1 5.0000 0.0000 -
3296.60/3306.39 c 3306 414055 56302 1 5.0000 0.0000 -
3301.88/3311.61 c 3312 415041 56424 1 5.0000 0.0000 -
3307.17/3316.97 c 3317 415975 56564 1 5.0000 0.0000 -
3312.27/3322.08 c 3322 416752 56757 1 5.0000 0.0000 -
3317.36/3327.13 c 3327 417751 56898 1 5.0000 0.0000 -
3322.43/3332.25 c 3332 418900 57225 1 5.0000 0.0000 -
3327.51/3337.30 c 3337 419944 57451 1 5.0000 0.0000 -
3332.90/3342.73 c 3343 420809 57691 1 5.0000 0.0000 -
3337.89/3347.78 c 3348 421805 58012 1 5.0000 0.0000 -
3342.96/3352.83 c 3353 423004 58402 1 5.0000 0.0000 -
3347.96/3357.88 c 3358 423986 58694 1 5.0000 0.0000 -
3353.04/3362.93 c 3363 425200 59018 1 5.0000 0.0000 -
3358.02/3367.98 c 3368 426278 59235 1 5.0000 0.0000 -
3363.12/3373.03 c 3373 427354 59487 1 5.0000 0.0000 -
3368.20/3378.18 c 3378 428497 59817 1 5.0000 0.0000 -
3373.58/3383.52 c 3384 429507 60051 1 5.0000 0.0000 -
3378.66/3388.69 c 3389 430448 60376 1 5.0000 0.0000 -
3383.74/3393.74 c 3394 431501 60778 1 5.0000 0.0000 -
3389.14/3399.16 c 3399 432296 60960 1 5.0000 0.0000 -
3394.22/3404.25 c 3404 433456 61285 1 5.0000 0.0000 -
3399.31/3409.30 c 3409 434639 61632 1 5.0000 0.0000 -
3404.29/3414.35 c 3414 435702 61930 1 5.0000 0.0000 -
3409.37/3419.40 c 3419 436721 62197 1 5.0000 0.0000 -
3414.36/3424.45 c 3424 437890 62519 1 5.0000 0.0000 -
3419.44/3429.50 c 3430 438853 62751 1 5.0000 0.0000 -
3424.54/3434.67 c 3435 439734 63033 1 5.0000 0.0000 -
3429.72/3439.85 c 3440 440767 63324 1 5.0000 0.0000 -
3434.81/3444.90 c 3445 441933 63617 1 5.0000 0.0000 -
3439.79/3449.99 c 3450 443034 63925 1 5.0000 0.0000 -
3444.98/3455.14 c 3455 444176 64301 1 5.0000 0.0000 -
3449.97/3460.19 c 3460 445243 64575 1 5.0000 0.0000 -
3455.04/3465.24 c 3465 446244 64868 1 5.0000 0.0000 -
3460.43/3470.63 c 3471 446997 65206 1 5.0000 0.0000 -
3465.51/3475.71 c 3476 447909 65495 1 5.0000 0.0000 -
3470.50/3480.77 c 3481 448823 65810 1 5.0000 0.0000 -
3475.59/3485.82 c 3486 449805 66070 1 5.0000 0.0000 -
3480.57/3490.87 c 3491 450723 66325 1 5.0000 0.0000 -
3486.05/3496.33 c 3496 451501 66652 1 5.0000 0.0000 -
3491.24/3501.56 c 3502 452488 67003 1 5.0000 0.0000 -
3496.33/3506.61 c 3507 453488 67246 1 5.0000 0.0000 -
3501.73/3512.02 c 3512 454346 67598 1 5.0000 0.0000 -
3507.10/3517.40 c 3517 455105 67897 1 5.0000 0.0000 -
3512.19/3522.51 c 3523 455913 68173 1 5.0000 0.0000 -
3517.17/3527.56 c 3528 456789 68422 1 5.0000 0.0000 -
3522.35/3532.70 c 3533 457712 68763 1 5.0000 0.0000 -
3527.34/3537.75 c 3538 458758 69124 1 5.0000 0.0000 -
3532.43/3542.86 c 3543 459822 69451 1 5.0000 0.0000 -
3537.63/3548.01 c 3548 460671 69764 1 5.0000 0.0000 -
3542.71/3553.12 c 3553 461513 70064 1 5.0000 0.0000 -
3547.78/3558.24 c 3558 462547 70363 1 5.0000 0.0000 -
3552.87/3563.38 c 3563 463583 70670 1 5.0000 0.0000 -
3557.95/3568.43 c 3568 464695 71001 1 5.0000 0.0000 -
3563.24/3573.72 c 3574 465628 71319 1 5.0000 0.0000 -
3568.43/3578.98 c 3579 466542 71704 1 5.0000 0.0000 -
3573.51/3584.03 c 3584 467491 72087 1 5.0000 0.0000 -
3578.50/3589.08 c 3589 468489 72438 1 5.0000 0.0000 -
3583.58/3594.13 c 3594 469244 72770 1 5.0000 0.0000 -
3587.66/3598.24 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.66/3598.24 c Total Time : 3598.2400
3587.66/3598.24 c solving : 3598.2400
3587.66/3598.24 c presolving : 0.7376 (included in solving)
3587.66/3598.24 c B&B Tree :
3587.66/3598.24 c nodes (total) : 1
3587.66/3598.24 c Solution :
3587.66/3598.24 c Solutions found : 5
3587.66/3598.24 c Primal Bound : +5.00000000000000e+00
3587.66/3598.24 c Dual Bound : +0.00000000000000e+00
3587.66/3598.24 c Gap : infinite
3587.66/3598.24 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3587.66/3598.27 o 5
3587.66/3598.27 s SATISFIABLE
3587.66/3598.27 v -x427 x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406
3587.66/3598.27 v -x405 -x404 -x403 -x402 x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385
3587.66/3598.27 v x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376 -x375 -x374 -x373 -x372 -x371 x370 -x369 -x368 -x367 -x366 -x365 x364 -x363
3587.66/3598.27 v -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 x351 -x350 -x349 -x348 -x347 -x346 x345 -x344 -x343 -x342
3587.66/3598.27 v -x341 -x340 -x339 -x338 -x337 x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321
3587.66/3598.27 v -x320 -x319 -x318 x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 x308 -x307 -x306 -x305 -x304 -x303 -x302 -x91 x90 x89
3587.66/3598.27 v x88 x87 x86 x85 x84 x83 x82 x81 x80 x79 x78 x77 x76 x75 x74 x73 x72 x71 x70 x69 x68 x67 x66 x65 x64 x63 x62 x61 x60 x59 x58
3587.66/3598.27 v x57 x56 -x55 -x54 x53 x52 x51 x50 x49 x48 x47 -x46 -x45 x44 x43 x42 x41 x40 x39 x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30
3587.66/3598.27 v -x29 x28 -x27 -x26 x25 x24 x23 x22 x21 x20 x19 x18 x17 x16 x15 -x14 -x13 -x12 x11 x10 x9 x8 x7 -x6 -x5 x4 -x3 -x2 -x1 -x301 -x287
3587.66/3598.27 v -x273 -x259 -x245 x231 -x217 -x203 -x189 -x175 -x161 -x147 -x133 -x119 -x300 -x286 -x272 -x258 -x244 -x230 -x216 -x202 -x188
3587.66/3598.27 v -x174 -x160 -x146 -x132 -x118 -x299 -x285 -x271 -x257 -x243 -x229 -x215 -x201 -x187 -x173 -x159 -x145 -x131 -x117 -x298
3587.66/3598.27 v -x284 -x270 -x256 -x242 -x228 -x214 -x200 -x186 -x172 -x158 -x144 -x130 -x116 -x297 -x283 -x269 -x255 -x241 -x227 -x213 -x199
3587.66/3598.27 v -x185 -x171 -x157 -x143 x129 -x115 -x296 -x282 -x268 -x254 -x240 -x226 x212 -x198 -x184 -x170 -x156 -x142 -x128 -x114 -x295
3587.66/3598.27 v -x281 -x267 x253 -x239 -x225 -x211 -x197 -x183 -x169 -x155 -x141 -x127 -x113 -x294 x280 -x266 -x252 -x238 -x224 -x210 -x196 -x182
3587.66/3598.27 v -x168 -x154 -x140 -x126 -x112 -x293 -x279 -x265 -x251 -x237 -x223 -x209 -x195 -x181 -x167 -x153 -x139 -x125 -x111 -x292
3587.66/3598.27 v -x278 -x264 -x250 -x236 -x222 -x208 x194 -x180 -x166 -x152 -x138 -x124 -x110 -x291 -x277 -x263 -x249 x235 -x221 -x207 -x193 -x179
3587.66/3598.27 v -x165 -x151 -x137 -x123 -x109 -x290 -x276 -x262 -x248 -x234 -x220 -x206 -x192 x178 -x164 -x150 -x136 -x122 -x108 -x289 -x275
3587.66/3598.27 v x261 -x247 -x233 -x219 -x205 -x191 -x177 -x163 -x149 -x135 -x121 -x107 -x288 -x274 -x260 -x246 -x232 -x218 -x204 -x190 -x176
3587.66/3598.27 v -x162 -x148 -x134 -x120 -x106 -x105 x104 x103 x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 x92
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (62316 MiB free)
memory of node 1: 64473 MiB (62620 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464561-1722390380/watcher-4464561-1722390380 -o /tmp/evaluation-result-4464561-1722390380/solver-4464561-1722390380 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722390380-35619 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464561-1722390380.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=35661, runsolver pid=35658
[startup+0.100106 s]*
/proc/loadavg: 1.11 1.23 2.16 5/242 35682
/proc/meminfo: memFree=127892548/131655788 swapFree=131071996/131071996
[pid=35661] ppid=35658 vsize=39776 memory=29720 CPUtime=0.09 cores=4,6
/proc/35661/stat : 35661 (fscip) R 35658 35661 35608 0 -1 4194304 5228 0 0 0 8 1 0 0 20 0 1 0 5635025 40730624 7430 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
/proc/35661/statm: 9944 7430 2555 3035 0 6340 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39776 KiB
Current children cumulated memory: 29720 KiB
[startup+0.213603 s]*
/proc/loadavg: 1.11 1.23 2.16 5/242 35682
/proc/meminfo: memFree=127826620/131655788 swapFree=131071996/131071996
[pid=35661] ppid=35658 vsize=61544 memory=49848 CPUtime=0.21 cores=4,6
/proc/35661/stat : 35661 (fscip) R 35658 35661 35608 0 -1 4194304 10133 0 0 0 18 3 0 0 20 0 1 0 5635025 63021056 12462 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
/proc/35661/statm: 15386 12462 2662 3035 0 11782 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 61544 KiB
Current children cumulated memory: 49848 KiB
[startup+0.313528 s]*
/proc/loadavg: 1.11 1.23 2.16 5/242 35682
/proc/meminfo: memFree=127799372/131655788 swapFree=131071996/131071996
[pid=35661] ppid=35658 vsize=62184 memory=51280 CPUtime=0.31 cores=4,6
/proc/35661/stat : 35661 (fscip) R 35658 35661 35608 0 -1 4194304 12461 0 0 0 27 4 0 0 20 0 1 0 5635025 63676416 12820 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
/proc/35661/statm: 15546 12820 2710 3035 0 11942 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 62184 KiB
Current children cumulated memory: 51280 KiB
[startup+0.700381 s]
/proc/loadavg: 1.11 1.23 2.16 5/244 35684
/proc/meminfo: memFree=127666468/131655788 swapFree=131071996/131071996
[pid=35661] ppid=35658 vsize=115992 memory=99828 CPUtime=0.68 cores=4,6
/proc/35661/stat : 35661 (fscip) R 35658 35661 35608 0 -1 4194304 20026 0 0 0 61 7 0 0 20 0 1 0 5635025 118775808 24957 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
/proc/35661/statm: 28998 24957 2758 3035 0 25394 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 115992 KiB
Current children cumulated memory: 99828 KiB
[startup+1.5004 s]
/proc/loadavg: 1.11 1.23 2.16 5/248 35688
/proc/meminfo: memFree=127507724/131655788 swapFree=131071996/131071996
[pid=35661] ppid=35658 vsize=209408 memory=174160 CPUtime=1.48 cores=4,6
/proc/35661/stat : 35661 (fscip) S 35658 35661 35608 0 -1 1077936128 41330 0 0 0 134 14 0 0 20 0 3 0 5635025 214433792 43540 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
/proc/35661/statm: 52352 43540 2934 3035 0 48740 0
[pid=35661/tid=35686] ppid=35658 vsize=209408 memory=4204 CPUtime=0.57 cores=4,6
/proc/35661/task/35686/stat : 35686 (fscip) R 35658 35661 35608 0 -1 4194368 15856 0 0 0 53 4 0 0 20 0 3 0 5635112 214433792 43540 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
[pid=35661/tid=35688] ppid=35658 vsize=209408 memory=11440 CPUtime=0 cores=4,6
/proc/35661/task/35688/stat : 35688 (fscip) S 35658 35661 35608 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5635122 214433792 43540 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 209408 KiB
Current children cumulated memory: 174160 KiB
[startup+3.11154 s]
/proc/loadavg: 1.34 1.28 2.17 5/250 35692
/proc/meminfo: memFree=127164756/131655788 swapFree=131071996/131071996
[pid=35661] ppid=35658 vsize=285260 memory=193076 CPUtime=3.09 cores=4,6
/proc/35661/stat : 35661 (fscip) S 35658 35661 35608 0 -1 1077936128 53813 0 0 0 294 15 0 0 20 0 3 0 5635025 292106240 48269 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
/proc/35661/statm: 71315 48269 2950 3035 0 56086 0
[pid=35661/tid=35686] ppid=35658 vsize=285260 memory=16104 CPUtime=2.17 cores=4,6
/proc/35661/task/35686/stat : 35686 (fscip) R 35658 35661 35608 0 -1 4194368 28334 0 0 0 212 5 0 0 20 0 3 0 5635112 292106240 48269 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
[pid=35661/tid=35688] ppid=35658 vsize=285260 memory=108072 CPUtime=0 cores=4,6
/proc/35661/task/35688/stat : 35688 (fscip) S 35658 35661 35608 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 5635122 292106240 48269 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 285260 KiB
Current children cumulated memory: 193076 KiB
[startup+6.30038 s]
/proc/loadavg: 1.34 1.28 2.17 5/250 35692
/proc/meminfo: memFree=127021176/131655788 swapFree=131071996/131071996
[pid=35661] ppid=35658 vsize=285260 memory=226792 CPUtime=6.26 cores=4,6
/proc/35661/stat : 35661 (fscip) S 35658 35661 35608 0 -1 1077936128 65720 0 0 0 610 16 0 0 20 0 3 0 5635025 292106240 56698 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
/proc/35661/statm: 71315 56698 2998 3035 0 67128 0
[pid=35661/tid=35686] ppid=35658 vsize=285260 memory=12968 CPUtime=5.36 cores=4,6
/proc/35661/task/35686/stat : 35686 (fscip) R 35658 35661 35608 0 -1 4194368 40092 0 0 0 529 7 0 0 20 0 3 0 5635112 292106240 56698 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
[pid=35661/tid=35688] ppid=35658 vsize=285260 memory=11440 CPUtime=0 cores=4,6
/proc/35661/task/35688/stat : 35688 (fscip) S 35658 35661 35608 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 5635122 292106240 56698 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 285260 KiB
Current children cumulated memory: 226792 KiB
[startup+12.7004 s]
/proc/loadavg: 1.83 1.39 2.20 5/250 35692
/proc/meminfo: memFree=126932028/131655788 swapFree=131071996/131071996
[pid=35661] ppid=35658 vsize=350796 memory=232720 CPUtime=12.64 cores=4,6
/proc/35661/stat : 35661 (fscip) S 35658 35661 35608 0 -1 1077936128 99499 0 0 0 1245 19 0 0 20 0 3 0 5635025 359215104 58180 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
/proc/35661/statm: 87699 58180 2998 3035 0 69808 0
[pid=35661/tid=35686] ppid=35658 vsize=350796 memory=-7234869542979198587 CPUtime=11.74 cores=4,6
/proc/35661/task/35686/stat : 35686 (fscip) R 35658 35661 35608 0 -1 4194368 73820 0 0 0 1164 10 0 0 20 0 3 0 5635112 359215104 58180 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
[pid=35661/tid=35688] ppid=35658 vsize=350796 memory=0 CPUtime=0 cores=4,6
/proc/35661/task/35688/stat : 35688 (fscip) S 35658 35661 35608 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 5635122 359215104 58180 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 350796 KiB
Current children cumulated memory: 232720 KiB
[startup+25.5004 s]
/proc/loadavg: 2.16 1.47 2.22 5/250 35695
/proc/meminfo: memFree=126797472/131655788 swapFree=131071996/131071996
[pid=35661] ppid=35658 vsize=350796 memory=261088 CPUtime=25.39 cores=4,6
/proc/35661/stat : 35661 (fscip) S 35658 35661 35608 0 -1 1077936128 146869 0 0 0 2515 24 0 0 20 0 3 0 5635025 359215104 65272 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
/proc/35661/statm: 87699 65272 3014 3035 0 75638 0
[pid=35661/tid=35686] ppid=35658 vsize=350796 memory=0 CPUtime=24.49 cores=4,6
/proc/35661/task/35686/stat : 35686 (fscip) R 35658 35661 35608 0 -1 4194368 121112 0 0 0 2434 15 0 0 20 0 3 0 5635112 359215104 65272 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
[pid=35661/tid=35688] ppid=35658 vsize=350796 memory=261088 CPUtime=0 cores=4,6
/proc/35661/task/35688/stat : 35688 (fscip) S 35658 35661 35608 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 5635122 359215104 65272 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 350796 KiB
Current children cumulated memory: 261088 KiB
[startup+51.1121 s]
/proc/loadavg: 2.79 1.68 2.27 5/250 35698
/proc/meminfo: memFree=126699428/131655788 swapFree=131071996/131071996
[pid=35661] ppid=35658 vsize=416332 memory=291612 CPUtime=50.93 cores=4,6
/proc/35661/stat : 35661 (fscip) S 35658 35661 35608 0 -1 1077936128 198870 0 0 0 5060 33 0 0 20 0 3 0 5635025 426323968 72903 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
/proc/35661/statm: 104083 72903 3014 3035 0 86880 0
[pid=35661/tid=35686] ppid=35658 vsize=416332 memory=11440 CPUtime=50.02 cores=4,6
/proc/35661/task/35686/stat : 35686 (fscip) R 35658 35661 35608 0 -1 4194368 173023 0 0 0 4979 23 0 0 20 0 3 0 5635112 426323968 72903 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
[pid=35661/tid=35688] ppid=35658 vsize=416332 memory=12672 CPUtime=0 cores=4,6
/proc/35661/task/35688/stat : 35688 (fscip) S 35658 35661 35608 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 5635122 426323968 72903 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 416332 KiB
Current children cumulated memory: 291612 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 2.09 2.37 5/250 35708
/proc/meminfo: memFree=126524260/131655788 swapFree=131071996/131071996
[pid=35661] ppid=35658 vsize=416332 memory=306704 CPUtime=101.98 cores=4,6
/proc/35661/stat : 35661 (fscip) S 35658 35661 35608 0 -1 1077936128 233269 0 0 0 10160 38 0 0 20 0 3 0 5635025 426323968 76676 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
/proc/35661/statm: 104083 76676 3014 3035 0 90655 0
[pid=35661/tid=35686] ppid=35658 vsize=416332 memory=306704 CPUtime=101.06 cores=4,6
/proc/35661/task/35686/stat : 35686 (fscip) R 35658 35661 35608 0 -1 4194368 207348 0 0 0 10078 28 0 0 20 0 3 0 5635112 426323968 76676 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
[pid=35661/tid=35688] ppid=35658 vsize=416332 memory=0 CPUtime=0 cores=4,6
/proc/35661/task/35688/stat : 35688 (fscip) S 35658 35661 35608 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 5635122 426323968 76676 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 416332 KiB
Current children cumulated memory: 306704 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.45 2.48 5/252 35722
/proc/meminfo: memFree=126387976/131655788 swapFree=131071996/131071996
[pid=35661] ppid=35658 vsize=416332 memory=330164 CPUtime=161.8 cores=4,6
/proc/35661/stat : 35661 (fscip) S 35658 35661 35608 0 -1 1077936128 275126 0 0 0 16134 46 0 0 20 0 3 0 5635025 426323968 82541 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
/proc/35661/statm: 104083 82541 3014 3035 0 94887 0
[pid=35661/tid=35686] ppid=35658 vsize=416332 memory=307040 CPUtime=160.88 cores=4,6
/proc/35661/task/35686/stat : 35686 (fscip) R 35658 35661 35608 0 -1 4194368 249155 0 0 0 16052 36 0 0 20 0 3 0 5635112 426323968 82541 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
[pid=35661/tid=35688] ppid=35658 vsize=416332 memory=330164 CPUtime=0 cores=4,6
/proc/35661/task/35688/stat : 35688 (fscip) S 35658 35661 35608 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 5635122 426323968 82541 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 416332 KiB
Current children cumulated memory: 330164 KiB
[startup+222.3 s]
/proc/loadavg: 4.89 2.98 2.67 5/252 35734
/proc/meminfo: memFree=126212844/131655788 swapFree=131071996/131071996
[pid=35661] ppid=35658 vsize=470084 memory=405152 CPUtime=221.62 cores=4,6
/proc/35661/stat : 35661 (fscip) S 35658 35661 35608 0 -1 1077936128 295599 0 0 0 22111 51 0 0 20 0 3 0 5635025 481366016 101288 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
/proc/35661/statm: 117521 101288 3014 3035 0 110007 0
[pid=35661/tid=35686] ppid=35658 vsize=470084 memory=383220 CPUtime=220.68 cores=4,6
/proc/35661/task/35686/stat : 35686 (fscip) R 35658 35661 35608 0 -1 4194368 269603 0 0 0 22028 40 0 0 20 0 3 0 5635112 481366016 101288 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
[pid=35661/tid=35688] ppid=35658 vsize=470084 memory=405152 CPUtime=0 cores=4,6
/proc/35661/task/35688/stat : 35688 (fscip) S 35658 35661 35608 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 5635122 481366016 101288 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 470084 KiB
Current children cumulated memory: 405152 KiB
################
# More data... #
################
Current children cumulated memory: 1515304 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/252 37523
/proc/meminfo: memFree=121057140/131655788 swapFree=131071996/131071996
[pid=35661] ppid=35658 vsize=1707252 memory=1536920 CPUtime=3452.15 cores=4,6
/proc/35661/stat : 35661 (fscip) S 35658 35661 35608 0 -1 1077936128 4535517 0 0 0 344709 506 0 0 20 0 3 0 5635025 1748226048 384230 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
/proc/35661/statm: 426813 384230 3318 3035 0 417249 0
[pid=35661/tid=35686] ppid=35658 vsize=1707252 memory=1515232 CPUtime=3450.89 cores=4,6
/proc/35661/task/35686/stat : 35686 (fscip) R 35658 35661 35608 0 -1 4194368 4508542 0 0 0 344607 482 0 0 20 0 3 0 5635112 1748226048 384230 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
[pid=35661/tid=35688] ppid=35658 vsize=1707252 memory=11440 CPUtime=0.06 cores=4,6
/proc/35661/task/35688/stat : 35688 (fscip) S 35658 35661 35608 0 -1 1077936192 140 0 0 0 1 5 0 0 20 0 3 0 5635122 1748226048 384230 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
Current children cumulated CPU time: 3452.15 s
Current children cumulated vsize: 1707252 KiB
Current children cumulated memory: 1536920 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/252 37533
/proc/meminfo: memFree=120897604/131655788 swapFree=131071996/131071996
[pid=35661] ppid=35658 vsize=1772788 memory=1639972 CPUtime=3511.99 cores=4,6
/proc/35661/stat : 35661 (fscip) S 35658 35661 35608 0 -1 1077936128 4583519 0 0 0 350681 518 0 0 20 0 3 0 5635025 1815334912 409993 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
/proc/35661/statm: 443197 409993 3318 3035 0 426095 0
[pid=35661/tid=35686] ppid=35658 vsize=1772788 memory=11440 CPUtime=3510.72 cores=4,6
/proc/35661/task/35686/stat : 35686 (fscip) R 35658 35661 35608 0 -1 4194368 4556539 0 0 0 350578 494 0 0 20 0 3 0 5635112 1815334912 409993 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
[pid=35661/tid=35688] ppid=35658 vsize=1772788 memory=1637856 CPUtime=0.06 cores=4,6
/proc/35661/task/35688/stat : 35688 (fscip) S 35658 35661 35608 0 -1 1077936192 142 0 0 0 1 5 0 0 20 0 3 0 5635122 1815334912 409993 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
Current children cumulated CPU time: 3511.99 s
Current children cumulated vsize: 1772788 KiB
Current children cumulated memory: 1639972 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/252 37545
/proc/meminfo: memFree=120791752/131655788 swapFree=131071996/131071996
[pid=35661] ppid=35658 vsize=1772788 memory=1653536 CPUtime=3571.8 cores=4,6
/proc/35661/stat : 35661 (fscip) S 35658 35661 35608 0 -1 1077936128 4625692 0 0 0 356653 527 0 0 20 0 3 0 5635025 1815334912 413384 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
/proc/35661/statm: 443197 413384 3318 3035 0 428364 0
[pid=35661/tid=35686] ppid=35658 vsize=1772788 memory=25076 CPUtime=3570.54 cores=4,6
/proc/35661/task/35686/stat : 35686 (fscip) R 35658 35661 35608 0 -1 4194368 4598697 0 0 0 356550 504 0 0 20 0 3 0 5635112 1815334912 413384 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
[pid=35661/tid=35688] ppid=35658 vsize=1772788 memory=1651512 CPUtime=0.06 cores=4,6
/proc/35661/task/35688/stat : 35688 (fscip) S 35658 35661 35608 0 -1 1077936192 142 0 0 0 1 5 0 0 20 0 3 0 5635122 1815334912 413384 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
Current children cumulated CPU time: 3571.8 s
Current children cumulated vsize: 1772788 KiB
Current children cumulated memory: 1653536 KiB
[startup+3598.33 s]
# the end of solver process 35661 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.38 s, system=5.40227 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.11 4.09 5/252 37546
/proc/meminfo: memFree=120789280/131655788 swapFree=131071996/131071996
[pid=35661] ppid=35658 vsize=1772788 memory=1653748 CPUtime=3573.51 cores=4,6
/proc/35661/stat : 35661 (fscip) S 35658 35661 35608 0 -1 1077936128 4625985 0 0 0 356823 528 0 0 20 0 3 0 5635025 1815334912 413437 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
/proc/35661/statm: 443197 413437 3318 3035 0 428409 0
[pid=35661/tid=35686] ppid=35658 vsize=1772788 memory=1645864 CPUtime=3572.24 cores=4,6
/proc/35661/task/35686/stat : 35686 (fscip) R 35658 35661 35608 0 -1 4194368 4598990 0 0 0 356720 504 0 0 20 0 3 0 5635112 1815334912 413437 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
[pid=35661/tid=35688] ppid=35658 vsize=1772788 memory=11412 CPUtime=0.06 cores=4,6
/proc/35661/task/35688/stat : 35688 (fscip) S 35658 35661 35608 0 -1 1077936192 142 0 0 0 1 5 0 0 20 0 3 0 5635122 1815334912 413437 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
Current children cumulated CPU time: 3573.51 s
Current children cumulated vsize: 1772788 KiB
Current children cumulated memory: 1653748 KiB
[startup+3590.4 s]
/proc/loadavg: 4.18 4.12 4.10 5/249 37546
/proc/meminfo: memFree=120782200/131655788 swapFree=131071996/131071996
[pid=35661] ppid=35658 vsize=1772788 memory=1655828 CPUtime=3579.88 cores=4,6
/proc/35661/stat : 35661 (fscip) S 35658 35661 35608 0 -1 1077936128 4627525 0 0 0 357459 529 0 0 20 0 3 0 5635025 1815334912 413957 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
/proc/35661/statm: 443197 413957 3318 3035 0 428930 0
[pid=35661/tid=35686] ppid=35658 vsize=1772788 memory=11440 CPUtime=3578.61 cores=4,6
/proc/35661/task/35686/stat : 35686 (fscip) R 35658 35661 35608 0 -1 4194368 4600526 0 0 0 357356 505 0 0 20 0 3 0 5635112 1815334912 413957 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
[pid=35661/tid=35688] ppid=35658 vsize=1772788 memory=11440 CPUtime=0.06 cores=4,6
/proc/35661/task/35688/stat : 35688 (fscip) S 35658 35661 35608 0 -1 1077936192 144 0 0 0 1 5 0 0 20 0 3 0 5635122 1815334912 413957 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
Current children cumulated CPU time: 3579.88 s
Current children cumulated vsize: 1772788 KiB
Current children cumulated memory: 1655828 KiB
[startup+3593.6 s]
/proc/loadavg: 4.17 4.12 4.09 5/249 37548
/proc/meminfo: memFree=120778528/131655788 swapFree=131071996/131071996
[pid=35661] ppid=35658 vsize=1772788 memory=1656852 CPUtime=3583.07 cores=4,6
/proc/35661/stat : 35661 (fscip) S 35658 35661 35608 0 -1 1077936128 4628530 0 0 0 357778 529 0 0 20 0 3 0 5635025 1815334912 414213 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
/proc/35661/statm: 443197 414213 3318 3035 0 429190 0
[pid=35661/tid=35686] ppid=35658 vsize=1772788 memory=1655836 CPUtime=3581.81 cores=4,6
/proc/35661/task/35686/stat : 35686 (fscip) R 35658 35661 35608 0 -1 4194368 4601531 0 0 0 357675 506 0 0 20 0 3 0 5635112 1815334912 414213 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
[pid=35661/tid=35688] ppid=35658 vsize=1772788 memory=1654732 CPUtime=0.06 cores=4,6
/proc/35661/task/35688/stat : 35688 (fscip) S 35658 35661 35608 0 -1 1077936192 144 0 0 0 1 5 0 0 20 0 3 0 5635122 1815334912 414213 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
Current children cumulated CPU time: 3583.07 s
Current children cumulated vsize: 1772788 KiB
Current children cumulated memory: 1656852 KiB
[startup+3596.8 s]
/proc/loadavg: 4.17 4.12 4.09 5/249 37548
/proc/meminfo: memFree=120775208/131655788 swapFree=131071996/131071996
[pid=35661] ppid=35658 vsize=1772788 memory=1658000 CPUtime=3586.27 cores=4,6
/proc/35661/stat : 35661 (fscip) S 35658 35661 35608 0 -1 1077936128 4629161 0 0 0 358097 530 0 0 20 0 3 0 5635025 1815334912 414500 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
/proc/35661/statm: 443197 414500 3318 3035 0 429483 0
[pid=35661/tid=35686] ppid=35658 vsize=1772788 memory=25076 CPUtime=3584.99 cores=4,6
/proc/35661/task/35686/stat : 35686 (fscip) R 35658 35661 35608 0 -1 4194368 4602147 0 0 0 357993 506 0 0 20 0 3 0 5635112 1815334912 414500 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
[pid=35661/tid=35688] ppid=35658 vsize=1772788 memory=1654780 CPUtime=0.06 cores=4,6
/proc/35661/task/35688/stat : 35688 (fscip) S 35658 35661 35608 0 -1 1077936192 144 0 0 0 1 5 0 0 20 0 3 0 5635122 1815334912 414500 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
Current children cumulated CPU time: 3586.27 s
Current children cumulated vsize: 1772788 KiB
Current children cumulated memory: 1658000 KiB
[startup+3597.6 s]
/proc/loadavg: 4.15 4.12 4.09 5/249 37548
/proc/meminfo: memFree=120775092/131655788 swapFree=131071996/131071996
[pid=35661] ppid=35658 vsize=1772788 memory=1658000 CPUtime=3587.06 cores=4,6
/proc/35661/stat : 35661 (fscip) S 35658 35661 35608 0 -1 1077936128 4629183 0 0 0 358176 530 0 0 20 0 3 0 5635025 1815334912 414500 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
/proc/35661/statm: 443197 414500 3318 3035 0 429484 0
[pid=35661/tid=35686] ppid=35658 vsize=1772788 memory=2276 CPUtime=3585.79 cores=4,6
/proc/35661/task/35686/stat : 35686 (fscip) R 35658 35661 35608 0 -1 4194368 4602169 0 0 0 358073 506 0 0 20 0 3 0 5635112 1815334912 414500 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
[pid=35661/tid=35688] ppid=35658 vsize=1772788 memory=25076 CPUtime=0.06 cores=4,6
/proc/35661/task/35688/stat : 35688 (fscip) S 35658 35661 35608 0 -1 1077936192 144 0 0 0 1 5 0 0 20 0 3 0 5635122 1815334912 414500 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
Current children cumulated CPU time: 3587.06 s
Current children cumulated vsize: 1772788 KiB
Current children cumulated memory: 1658000 KiB
[startup+3598 s]*
/proc/loadavg: 4.15 4.12 4.09 5/249 37548
/proc/meminfo: memFree=120775076/131655788 swapFree=131071996/131071996
[pid=35661] ppid=35658 vsize=1772788 memory=1658036 CPUtime=3587.47 cores=4,6
/proc/35661/stat : 35661 (fscip) S 35658 35661 35608 0 -1 1077936128 4630829 0 0 0 358217 530 0 0 20 0 3 0 5635025 1815334912 414509 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
/proc/35661/statm: 443197 414509 3318 3035 0 429485 0
[pid=35661/tid=35686] ppid=35658 vsize=1772788 memory=-7234869542979198585 CPUtime=3586.2 cores=4,6
/proc/35661/task/35686/stat : 35686 (fscip) R 35658 35661 35608 0 -1 4194368 4603813 0 0 0 358114 506 0 0 20 0 3 0 5635112 1815334912 414509 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
[pid=35661/tid=35688] ppid=35658 vsize=1772788 memory=-4050210904893537938 CPUtime=0.06 cores=4,6
/proc/35661/task/35688/stat : 35688 (fscip) S 35658 35661 35608 0 -1 1077936192 144 0 0 0 1 5 0 0 20 0 3 0 5635122 1815334912 414509 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
Current children cumulated CPU time: 3587.47 s
Current children cumulated vsize: 1772788 KiB
Current children cumulated memory: 1658036 KiB
[startup+3598.2 s]
/proc/loadavg: 4.15 4.12 4.09 5/249 37548
/proc/meminfo: memFree=120775076/131655788 swapFree=131071996/131071996
[pid=35661] ppid=35658 vsize=1772788 memory=1658036 CPUtime=3587.66 cores=4,6
/proc/35661/stat : 35661 (fscip) S 35658 35661 35608 0 -1 1077936128 4708419 0 0 0 358231 535 0 0 20 0 3 0 5635025 1815334912 414509 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
/proc/35661/statm: 443197 414509 3318 3035 0 429485 0
[pid=35661/tid=35686] ppid=35658 vsize=1772788 memory=1645864 CPUtime=3586.39 cores=4,6
/proc/35661/task/35686/stat : 35686 (fscip) R 35658 35661 35608 0 -1 4194368 4681403 0 0 0 358128 511 0 0 20 0 3 0 5635112 1815334912 414509 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
[pid=35661/tid=35688] ppid=35658 vsize=1772788 memory=2712 CPUtime=0.06 cores=4,6
/proc/35661/task/35688/stat : 35688 (fscip) S 35658 35661 35608 0 -1 1077936192 144 0 0 0 1 5 0 0 20 0 3 0 5635122 1815334912 414509 134679101440 4194304 16623229 140728801008112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 51159040 140728801010710 140728801010826 140728801010826 140728801017840 0
Current children cumulated CPU time: 3587.66 s
Current children cumulated vsize: 1772788 KiB
Current children cumulated memory: 1658036 KiB
[startup+3598.3 s]*
/proc/loadavg: 4.15 4.12 4.09 5/248 37548
/proc/meminfo: memFree=122059220/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3598.33
CPU time (s): 3587.79
CPU user time (s): 3582.38
CPU system time (s): 5.40227
CPU usage (%): 99.707
Max. virtual memory (cumulated for all children) (KiB): 1772788
Max. memory (cumulated for all children) (KiB): 1658036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.38
system time used= 5.40227
maximum resident set size= 1658036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4710308
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= 10444
involuntary context switches= 2415
# summary of solver processes directly reported to runsolver:
# pid: 35661
# total CPU time (s): 3587.79
# total CPU user time (s): 3582.38
# total CPU system time (s): 5.40227
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6645 second user time and 35.0229 second system time
The end
Begin job on nodeC005 at 2024-07-31 03:46:20
IDJOB=4464561
IDBENCH=176142
IDSOLVER=3092
FILE ID=nodeC005/4464561-1722390380
RUNJOBID= nodeC005-1722390380-35619
SLURM_JOB_ID= 8249878
Free space on /tmp= 723760 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=14-t=9.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-4464561-1722390380/watcher-4464561-1722390380 -o /tmp/evaluation-result-4464561-1722390380/solver-4464561-1722390380 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722390380-35619 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464561-1722390380.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5bbd9c37a994af6c8eea19ef18cfb445
RANDOM SEED=140675488
nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.263
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.210
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.211
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.373
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.210
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.356
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.299
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.210
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127945576 kB
MemAvailable: 130010344 kB
Buffers: 111784 kB
Cached: 2759496 kB
SwapCached: 0 kB
Active: 271588 kB
Inactive: 2943600 kB
Active(anon): 1368 kB
Inactive(anon): 363896 kB
Active(file): 270220 kB
Inactive(file): 2579704 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 115332 kB
Writeback: 16 kB
AnonPages: 344040 kB
Mapped: 87744 kB
Shmem: 21320 kB
KReclaimable: 110088 kB
Slab: 192840 kB
SReclaimable: 110088 kB
SUnreclaim: 82752 kB
KernelStack: 3584 kB
PageTables: 9408 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 734128 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7296 kB
HardwareCorrupted: 0 kB
AnonHugePages: 227328 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: 187208 kB
DirectMap2M: 14397440 kB
DirectMap1G: 121634816 kB
Free space on /tmp at the end= 723668 MiB
End job on nodeC005 at 2024-07-31 04:46:19