0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 22822912, getVmSize() = 22822912, SCIPgetMemUsed() = 1114114, SCIPgetMemTotal() = 1401594, 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 = 16448170, getVmSize() = 26521600, SCIPgetMemUsed() = 2070690, SCIPgetMemTotal() = 4017210, 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-4464030-1722378597
0.00/0.00 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 16
0.00/0.00 c Objective sense : minimize
0.00/0.00 c Presolved Problem :
0.00/0.00 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 14
0.00/0.00 c Constraints : Number
0.00/0.00 c linear : 9
0.00/0.00 c logicor : 5
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.02 c * 0 0 1 1 1502.0000 - -
0.00/0.03 c * 0 0 1 1 1118.0000 - -
0.21/0.26 c * 0 2 1 1 1065.0000 0.0000 -
0.30/0.31 c * 0 2 1 1 828.0000 0.0000 -
0.30/0.38 c * 0 2 1 1 769.0000 0.0000 -
0.30/0.39 c * 0 2 1 1 753.0000 0.0000 -
1.38/1.45 c * 1 696 695 1 493.0000 0.0000 -
1.98/2.04 c * 2 696 695 1 298.0000 0.0000 -
5.16/5.23 c 5 2550 1502 1 298.0000 0.0000 -
5.37/5.45 c * 5 2550 1502 1 202.0000 0.0000 -
10.15/10.29 c 10 4379 3302 1 202.0000 0.0000 -
15.32/15.47 c 15 6134 4971 1 202.0000 0.0000 -
20.39/20.55 c 21 8403 6946 1 202.0000 0.0000 -
24.57/24.77 c * 25 9458 7917 1 120.0000 0.0000 -
25.57/25.78 c 26 10226 6977 1 120.0000 0.0000 -
30.75/30.96 c 31 12022 8605 1 120.0000 0.0000 -
35.83/36.06 c 36 13523 9942 1 120.0000 0.0000 -
40.92/41.15 c 41 15412 11475 1 120.0000 0.0000 -
45.99/46.23 c 46 17160 12949 1 120.0000 0.0000 -
51.16/51.46 c 51 19204 14601 1 120.0000 0.0000 -
56.54/56.83 c 57 20657 15792 1 120.0000 0.0000 -
61.61/61.99 c 62 22421 17338 1 120.0000 0.0000 -
66.89/67.27 c 67 23899 18680 1 120.0000 0.0000 -
72.06/72.45 c 72 25673 20220 1 120.0000 0.0000 -
77.24/77.60 c 78 26820 21229 1 120.0000 0.0000 -
82.51/82.97 c 83 28085 22326 1 120.0000 0.0000 -
87.89/88.30 c 88 29408 23415 1 120.0000 0.0000 -
92.97/93.47 c 93 31247 24739 1 120.0000 0.0000 -
93.96/94.40 c * 94 31247 24739 1 118.0000 0.0000 -
93.96/94.41 c * 94 31247 24739 1 116.0000 0.0000 -
98.05/98.54 c 99 32618 25624 1 116.0000 0.0000 -
103.22/103.75 c 104 33791 26617 1 116.0000 0.0000 -
108.80/109.36 c 109 35045 27671 1 116.0000 0.0000 -
114.18/114.76 c 115 36370 28773 1 116.0000 0.0000 -
114.97/115.54 c * 116 36370 28773 1 77.0000 0.0000 -
119.36/119.93 c 120 38519 25623 1 77.0000 0.0000 -
124.43/125.01 c 125 42359 28230 1 77.0000 0.0000 -
129.42/130.10 c 130 44464 29781 1 77.0000 0.0000 -
134.69/135.31 c 135 46437 31340 1 77.0000 0.0000 -
139.87/140.58 c 141 48227 32666 1 77.0000 0.0000 -
145.15/145.80 c 146 50095 34002 1 77.0000 0.0000 -
150.23/150.91 c 151 52001 35282 1 77.0000 0.0000 -
155.79/156.57 c 157 53685 36524 1 77.0000 0.0000 -
160.98/161.76 c 162 55281 37613 1 77.0000 0.0000 -
166.16/166.97 c 167 56968 38800 1 77.0000 0.0000 -
171.24/172.10 c 172 58932 40011 1 77.0000 0.0000 -
176.51/177.30 c 177 60959 41278 1 77.0000 0.0000 -
181.59/182.44 c 182 63258 42899 1 77.0000 0.0000 -
182.29/183.10 c * 183 63258 42899 1 75.0000 0.0000 -
186.68/187.54 c 188 66518 44610 1 75.0000 0.0000 -
191.85/192.78 c 193 68821 46129 1 75.0000 0.0000 -
197.24/198.16 c 198 71290 47972 1 75.0000 0.0000 -
202.42/203.34 c 203 74848 50644 1 75.0000 0.0000 -
207.49/208.44 c 208 78990 53159 1 75.0000 0.0000 -
212.67/213.60 c 214 81802 54880 1 75.0000 0.0000 -
217.85/218.83 c 219 84354 56558 1 75.0000 0.0000 -
223.04/224.02 c 224 87034 58196 1 75.0000 0.0000 -
228.02/229.09 c 229 89761 59804 1 75.0000 0.0000 -
233.20/234.23 c 234 91894 61228 1 75.0000 0.0000 -
238.38/239.48 c 239 94012 62578 1 75.0000 0.0000 -
243.46/244.55 c 245 96173 63937 1 75.0000 0.0000 -
248.64/249.75 c 250 98415 65299 1 75.0000 0.0000 -
251.13/252.28 c * 252 99259 65889 1 73.0000 0.0000 -
253.82/254.90 c 255 100676 66136 1 73.0000 0.0000 -
258.90/260.01 c 260 102820 67251 1 73.0000 0.0000 -
264.77/265.95 c 266 104895 68446 1 73.0000 0.0000 -
269.86/271.04 c 271 109226 70547 1 73.0000 0.0000 -
274.34/275.55 c * 276 112234 72297 1 68.0000 0.0000 -
274.94/276.15 c 276 113243 70602 1 68.0000 0.0000 -
280.01/281.27 c 281 116842 72436 1 68.0000 0.0000 -
285.10/286.39 c 286 119983 74178 1 68.0000 0.0000 -
290.37/291.63 c 292 122877 75654 1 68.0000 0.0000 -
295.56/296.81 c 297 125676 77295 1 68.0000 0.0000 -
300.64/301.97 c 302 128505 78793 1 68.0000 0.0000 -
305.83/307.16 c 307 132550 80834 1 68.0000 0.0000 -
311.00/312.34 c 312 136601 82694 1 68.0000 0.0000 -
316.08/317.44 c 317 140408 84515 1 68.0000 0.0000 -
321.36/322.76 c 323 142576 85695 1 68.0000 0.0000 -
326.75/328.11 c 328 145663 87176 1 68.0000 0.0000 -
332.02/333.41 c 333 148844 88748 1 68.0000 0.0000 -
337.20/338.62 c 339 152283 90431 1 68.0000 0.0000 -
342.38/343.83 c 344 154805 91615 1 68.0000 0.0000 -
347.46/348.91 c 349 159061 93477 1 68.0000 0.0000 -
352.55/354.04 c 354 162552 95166 1 68.0000 0.0000 -
357.63/359.17 c 359 165426 96507 1 68.0000 0.0000 -
362.80/364.31 c 364 168145 97908 1 68.0000 0.0000 -
368.09/369.68 c 370 171178 99491 1 68.0000 0.0000 -
373.37/374.95 c 375 174149 100980 1 68.0000 0.0000 -
378.65/380.26 c 380 176709 102264 1 68.0000 0.0000 -
383.83/385.46 c 385 179532 103799 1 68.0000 0.0000 -
389.01/390.68 c 391 182144 105113 1 68.0000 0.0000 -
394.20/395.89 c 396 183865 106234 1 68.0000 0.0000 -
399.38/401.09 c 401 185437 107198 1 68.0000 0.0000 -
404.65/406.37 c 406 186819 108130 1 68.0000 0.0000 -
409.84/411.54 c 412 188686 109185 1 68.0000 0.0000 -
415.12/416.87 c 417 191010 110575 1 68.0000 0.0000 -
420.31/422.03 c 422 192869 111964 1 68.0000 0.0000 -
425.68/427.42 c 427 194641 113256 1 68.0000 0.0000 -
430.76/432.58 c 433 195982 114225 1 68.0000 0.0000 -
436.14/437.96 c 438 197316 115115 1 68.0000 0.0000 -
441.53/443.34 c 443 199161 116212 1 68.0000 0.0000 -
446.80/448.62 c 449 201380 117587 1 68.0000 0.0000 -
451.88/453.72 c 454 203570 119017 1 68.0000 0.0000 -
457.87/459.74 c 460 204969 119958 1 68.0000 0.0000 -
463.15/465.00 c 465 207048 121175 1 68.0000 0.0000 -
469.52/471.48 c 471 208508 122061 1 68.0000 0.0000 -
474.80/476.72 c 477 210188 123235 1 68.0000 0.0000 -
480.09/482.05 c 482 212427 124404 1 68.0000 0.0000 -
485.36/487.32 c 487 214822 125735 1 68.0000 0.0000 -
490.54/492.55 c 493 216489 126795 1 68.0000 0.0000 -
495.92/497.98 c 498 217690 127521 1 68.0000 0.0000 -
501.11/503.14 c 503 220221 129032 1 68.0000 0.0000 -
506.19/508.24 c 508 221724 130011 1 68.0000 0.0000 -
511.46/513.52 c 514 223225 130989 1 68.0000 0.0000 -
516.85/518.98 c 519 224844 132182 1 68.0000 0.0000 -
522.13/524.22 c 524 226406 133138 1 68.0000 0.0000 -
527.31/529.45 c 529 227720 133926 1 68.0000 0.0000 -
532.59/534.71 c 535 229536 135142 1 68.0000 0.0000 -
538.47/540.61 c 541 231149 136513 1 68.0000 0.0000 -
544.16/546.33 c 546 232395 137511 1 68.0000 0.0000 -
549.53/551.70 c 552 233691 138433 1 68.0000 0.0000 -
555.42/557.61 c 558 234999 139385 1 68.0000 0.0000 -
560.79/563.00 c 563 236137 140235 1 68.0000 0.0000 -
565.98/568.22 c 568 237669 141267 1 68.0000 0.0000 -
571.15/573.47 c 573 239701 142539 1 68.0000 0.0000 -
576.94/579.23 c 579 240990 143474 1 68.0000 0.0000 -
582.41/584.77 c 585 242241 144305 1 68.0000 0.0000 -
587.59/589.96 c 590 243194 145004 1 68.0000 0.0000 -
593.18/595.57 c 596 244841 146105 1 68.0000 0.0000 -
598.56/600.96 c 601 246089 146928 1 68.0000 0.0000 -
603.94/606.33 c 606 247692 148031 1 68.0000 0.0000 -
609.82/612.27 c 612 249581 149331 1 68.0000 0.0000 -
615.50/617.95 c 618 250820 150188 1 68.0000 0.0000 -
620.59/623.01 c 623 252304 151156 1 68.0000 0.0000 -
625.86/628.35 c 628 254252 152384 1 68.0000 0.0000 -
631.05/633.50 c 634 256046 153646 1 68.0000 0.0000 -
637.22/639.77 c 640 257808 154736 1 68.0000 0.0000 -
642.81/645.30 c 645 259539 155823 1 68.0000 0.0000 -
647.99/650.56 c 651 261122 156878 1 68.0000 0.0000 -
653.37/655.90 c 656 262561 157813 1 68.0000 0.0000 -
658.56/661.18 c 661 263737 158693 1 68.0000 0.0000 -
664.23/666.88 c 667 265677 159933 1 68.0000 0.0000 -
669.70/672.34 c 672 267287 161011 1 68.0000 0.0000 -
675.19/677.81 c 678 268672 161892 1 68.0000 0.0000 -
680.87/683.59 c 684 270110 162842 1 68.0000 0.0000 -
686.15/688.81 c 689 271610 163740 1 68.0000 0.0000 -
691.53/694.29 c 694 273418 164798 1 68.0000 0.0000 -
696.81/699.52 c 700 275111 165969 1 68.0000 0.0000 -
702.10/704.89 c 705 277884 167516 1 68.0000 0.0000 -
707.47/710.26 c 710 279847 168707 1 68.0000 0.0000 -
712.96/715.75 c 716 281664 169816 1 68.0000 0.0000 -
718.54/721.38 c 721 283265 170877 1 68.0000 0.0000 -
724.02/726.85 c 727 285258 171950 1 68.0000 0.0000 -
729.90/732.73 c 733 287274 173161 1 68.0000 0.0000 -
735.48/738.37 c 738 289237 174250 1 68.0000 0.0000 -
740.67/743.58 c 744 291090 175441 1 68.0000 0.0000 -
746.24/749.18 c 749 293097 176599 1 68.0000 0.0000 -
751.72/754.65 c 755 294844 177682 1 68.0000 0.0000 -
757.00/759.90 c 760 296028 178571 1 68.0000 0.0000 -
762.69/765.67 c 766 297168 179415 1 68.0000 0.0000 -
768.17/771.14 c 771 298768 180427 1 68.0000 0.0000 -
773.54/776.53 c 777 300456 181411 1 68.0000 0.0000 -
779.03/782.06 c 782 302063 182422 1 68.0000 0.0000 -
784.31/787.39 c 787 303334 183194 1 68.0000 0.0000 -
789.68/792.74 c 793 305156 184398 1 68.0000 0.0000 -
794.97/798.05 c 798 306833 185359 1 68.0000 0.0000 -
800.54/803.65 c 804 308341 186233 1 68.0000 0.0000 -
802.74/805.89 c * 806 309289 186802 1 67.0000 0.0000 -
805.82/808.93 c 809 310232 186551 1 67.0000 0.0000 -
811.31/814.43 c 814 312220 187701 1 67.0000 0.0000 -
816.59/819.70 c 820 314355 188828 1 67.0000 0.0000 -
822.37/825.51 c 826 316194 190002 1 67.0000 0.0000 -
827.95/831.15 c 831 317230 190658 1 67.0000 0.0000 -
833.02/836.20 c 836 318631 191443 1 67.0000 0.0000 -
838.91/842.19 c 842 320668 192718 1 67.0000 0.0000 -
844.68/847.92 c 848 322624 193768 1 67.0000 0.0000 -
850.16/853.46 c 853 323946 194587 1 67.0000 0.0000 -
855.95/859.20 c 859 325071 195352 1 67.0000 0.0000 -
861.22/864.57 c 865 326977 196340 1 67.0000 0.0000 -
867.01/870.35 c 870 329146 197471 1 67.0000 0.0000 -
872.58/875.96 c 876 330723 198364 1 67.0000 0.0000 -
878.26/881.66 c 882 332020 199231 1 67.0000 0.0000 -
883.44/886.83 c 887 333234 199997 1 67.0000 0.0000 -
888.82/892.22 c 892 334896 200977 1 67.0000 0.0000 -
894.20/897.66 c 898 336048 201887 1 67.0000 0.0000 -
899.69/903.13 c 903 336992 202513 1 67.0000 0.0000 -
904.97/908.48 c 908 337916 203131 1 67.0000 0.0000 -
910.75/914.21 c 914 339593 204224 1 67.0000 0.0000 -
915.83/919.39 c 919 340582 204869 1 67.0000 0.0000 -
921.41/924.90 c 925 341649 205597 1 67.0000 0.0000 -
927.19/930.71 c 931 343157 206635 1 67.0000 0.0000 -
932.77/936.35 c 936 344511 207729 1 67.0000 0.0000 -
938.45/942.04 c 942 345629 208681 1 67.0000 0.0000 -
944.03/947.69 c 948 346621 209487 1 67.0000 0.0000 -
949.61/953.24 c 953 347949 210551 1 67.0000 0.0000 -
954.99/958.69 c 959 349138 211464 1 67.0000 0.0000 -
960.37/964.04 c 964 350795 212603 1 67.0000 0.0000 -
966.55/970.28 c 970 352446 213682 1 67.0000 0.0000 -
972.23/975.95 c 976 353887 214793 1 67.0000 0.0000 -
977.91/981.63 c 982 354901 215641 1 67.0000 0.0000 -
983.69/987.42 c 987 355930 216474 1 67.0000 0.0000 -
989.47/993.25 c 993 357047 217317 1 67.0000 0.0000 -
994.95/998.79 c 999 358403 218383 1 67.0000 0.0000 -
1000.92/1004.72 c 1005 359304 219084 1 67.0000 0.0000 -
1006.81/1010.61 c 1011 360821 220247 1 67.0000 0.0000 -
1013.19/1017.02 c 1017 361895 221221 1 67.0000 0.0000 -
1019.76/1023.70 c 1024 362652 221864 1 67.0000 0.0000 -
1025.84/1029.70 c 1030 364181 223035 1 67.0000 0.0000 -
1031.82/1035.71 c 1036 365632 224042 1 67.0000 0.0000 -
1036.90/1040.89 c 1041 366917 225107 1 67.0000 0.0000 -
1042.28/1046.28 c 1046 367768 225812 1 67.0000 0.0000 -
1048.06/1052.09 c 1052 368622 226463 1 67.0000 0.0000 -
1054.24/1058.25 c 1058 369837 227324 1 67.0000 0.0000 -
1059.82/1063.82 c 1064 371119 228218 1 67.0000 0.0000 -
1065.00/1069.03 c 1069 372189 229028 1 67.0000 0.0000 -
1070.28/1074.36 c 1074 373549 229936 1 67.0000 0.0000 -
1075.46/1079.58 c 1080 374557 230772 1 67.0000 0.0000 -
1081.04/1085.13 c 1085 375609 231616 1 67.0000 0.0000 -
1086.92/1091.04 c 1091 377011 232686 1 67.0000 0.0000 -
1092.59/1096.77 c 1097 378359 233602 1 67.0000 0.0000 -
1098.88/1103.02 c 1103 379268 234313 1 67.0000 0.0000 -
1104.26/1108.48 c 1108 380373 235150 1 67.0000 0.0000 -
1109.44/1113.63 c 1114 381771 236164 1 67.0000 0.0000 -
1115.52/1119.77 c 1120 382758 236955 1 67.0000 0.0000 -
1120.60/1124.85 c 1125 383992 237917 1 67.0000 0.0000 -
1125.79/1130.04 c 1130 385237 238848 1 67.0000 0.0000 -
1131.06/1135.31 c 1135 386767 239874 1 67.0000 0.0000 -
1136.45/1140.71 c 1141 388292 240899 1 67.0000 0.0000 -
1141.74/1146.09 c 1146 389645 241926 1 67.0000 0.0000 -
1147.41/1151.71 c 1152 391067 242978 1 67.0000 0.0000 -
1152.90/1157.29 c 1157 392192 243737 1 67.0000 0.0000 -
1158.78/1163.13 c 1163 393704 244703 1 67.0000 0.0000 -
1164.55/1168.90 c 1169 395439 245895 1 67.0000 0.0000 -
1169.64/1174.01 c 1174 396438 246688 1 67.0000 0.0000 -
1175.41/1179.86 c 1180 398091 247791 1 67.0000 0.0000 -
1180.89/1185.36 c 1185 399411 248703 1 67.0000 0.0000 -
1185.97/1190.46 c 1190 400892 249684 1 67.0000 0.0000 -
1191.86/1196.39 c 1196 402069 250467 1 67.0000 0.0000 -
1197.93/1202.47 c 1202 403095 251236 1 67.0000 0.0000 -
1204.90/1209.42 c 1209 404191 252031 1 67.0000 0.0000 -
1210.29/1214.80 c 1215 405071 252765 1 67.0000 0.0000 -
1215.58/1220.18 c 1220 406425 253789 1 67.0000 0.0000 -
1221.35/1225.97 c 1226 408078 254932 1 67.0000 0.0000 -
1226.93/1231.55 c 1232 409454 255936 1 67.0000 0.0000 -
1232.61/1237.29 c 1237 410529 256769 1 67.0000 0.0000 -
1238.39/1243.04 c 1243 411405 257449 1 67.0000 0.0000 -
1243.67/1248.32 c 1248 412350 258114 1 67.0000 0.0000 -
1248.76/1253.42 c 1253 413057 258567 1 67.0000 0.0000 -
1254.64/1259.36 c 1259 414079 259319 1 67.0000 0.0000 -
1260.52/1265.22 c 1265 415655 260349 1 67.0000 0.0000 -
1265.90/1270.61 c 1271 416820 261129 1 67.0000 0.0000 -
1271.98/1276.79 c 1277 417889 261828 1 67.0000 0.0000 -
1277.86/1282.69 c 1283 419325 262720 1 67.0000 0.0000 -
1284.04/1288.86 c 1289 420944 263631 1 67.0000 0.0000 -
1289.42/1294.28 c 1294 421978 264359 1 67.0000 0.0000 -
1295.30/1300.16 c 1300 423526 265377 1 67.0000 0.0000 -
1300.98/1305.86 c 1306 424609 266074 1 67.0000 0.0000 -
1306.76/1311.67 c 1312 425611 266708 1 67.0000 0.0000 -
1312.34/1317.26 c 1317 426703 267382 1 67.0000 0.0000 -
1317.72/1322.67 c 1323 427865 268134 1 67.0000 0.0000 -
1323.60/1328.59 c 1329 429563 269252 1 67.0000 0.0000 -
1329.58/1334.59 c 1335 430971 270178 1 67.0000 0.0000 -
1335.47/1340.40 c 1340 432804 271291 1 67.0000 0.0000 -
1341.54/1346.50 c 1346 434477 272396 1 67.0000 0.0000 -
1347.82/1352.87 c 1353 435943 273418 1 67.0000 0.0000 -
1353.70/1358.79 c 1359 437757 274552 1 67.0000 0.0000 -
1359.09/1364.19 c 1364 439247 275438 1 67.0000 0.0000 -
1364.67/1369.79 c 1370 440147 276012 1 67.0000 0.0000 -
1370.65/1375.78 c 1376 440894 276503 1 67.0000 0.0000 -
1376.22/1381.34 c 1381 442112 277279 1 67.0000 0.0000 -
1381.81/1386.92 c 1387 443288 278001 1 67.0000 0.0000 -
1387.39/1392.59 c 1393 444951 279046 1 67.0000 0.0000 -
1393.36/1398.50 c 1399 446732 280139 1 67.0000 0.0000 -
1399.15/1404.35 c 1404 447987 280947 1 67.0000 0.0000 -
1404.53/1409.78 c 1410 448711 281475 1 67.0000 0.0000 -
1410.41/1415.67 c 1416 450447 282535 1 67.0000 0.0000 -
1415.59/1420.86 c 1421 451328 283000 1 67.0000 0.0000 -
1421.38/1426.62 c 1427 452694 283836 1 67.0000 0.0000 -
1426.76/1432.00 c 1432 454267 284791 1 67.0000 0.0000 -
1431.74/1437.04 c 1437 455546 285604 1 67.0000 0.0000 -
1436.73/1442.08 c 1442 456612 286243 1 67.0000 0.0000 -
1442.10/1447.46 c 1447 457986 287145 1 67.0000 0.0000 -
1447.98/1453.31 c 1453 459645 288138 1 67.0000 0.0000 -
1453.76/1459.14 c 1459 460815 288884 1 67.0000 0.0000 -
1459.33/1464.71 c 1465 462534 289889 1 67.0000 0.0000 -
1464.71/1470.19 c 1470 464581 291051 1 67.0000 0.0000 -
1470.29/1475.75 c 1476 466071 291897 1 67.0000 0.0000 -
1476.06/1481.58 c 1482 467507 292745 1 67.0000 0.0000 -
1481.65/1487.16 c 1487 469199 293779 1 67.0000 0.0000 -
1487.02/1492.56 c 1493 470330 294530 1 67.0000 0.0000 -
1493.09/1498.66 c 1499 471532 295282 1 67.0000 0.0000 -
1498.67/1504.21 c 1504 472921 296097 1 67.0000 0.0000 -
1505.05/1510.69 c 1511 473851 296695 1 67.0000 0.0000 -
1510.13/1515.76 c 1516 474833 297323 1 67.0000 0.0000 -
1516.10/1521.74 c 1522 475882 297971 1 67.0000 0.0000 -
1521.39/1527.08 c 1527 476773 298564 1 67.0000 0.0000 -
1526.47/1532.17 c 1532 478198 299473 1 67.0000 0.0000 -
1532.24/1537.96 c 1538 479385 300332 1 67.0000 0.0000 -
1538.12/1543.87 c 1544 480973 301344 1 67.0000 0.0000 -
1544.09/1549.83 c 1550 481926 302009 1 67.0000 0.0000 -
1549.87/1555.61 c 1556 483145 302785 1 67.0000 0.0000 -
1555.45/1561.28 c 1561 484569 303683 1 67.0000 0.0000 -
1562.02/1567.82 c 1568 485606 304327 1 67.0000 0.0000 -
1568.40/1574.22 c 1574 487232 305323 1 67.0000 0.0000 -
1574.47/1580.32 c 1580 488344 306039 1 67.0000 0.0000 -
1579.74/1585.65 c 1586 489659 306824 1 67.0000 0.0000 -
1585.23/1591.19 c 1591 491168 307679 1 67.0000 0.0000 -
1590.80/1596.73 c 1597 492530 308541 1 67.0000 0.0000 -
1596.47/1602.49 c 1602 494186 309515 1 67.0000 0.0000 -
1602.25/1608.29 c 1608 495488 310235 1 67.0000 0.0000 -
1607.83/1613.84 c 1614 496647 310956 1 67.0000 0.0000 -
1613.61/1619.66 c 1620 498014 311809 1 67.0000 0.0000 -
1619.28/1625.33 c 1625 499480 312578 1 67.0000 0.0000 -
1625.46/1631.54 c 1632 500875 313353 1 67.0000 0.0000 -
1630.64/1636.79 c 1637 501908 314038 1 67.0000 0.0000 -
1636.32/1642.49 c 1642 503179 314855 1 67.0000 0.0000 -
1642.09/1648.29 c 1648 504446 315768 1 67.0000 0.0000 -
1647.77/1653.91 c 1654 505458 316437 1 67.0000 0.0000 -
1653.45/1659.68 c 1660 506925 317338 1 67.0000 0.0000 -
1658.93/1665.17 c 1665 508342 318175 1 67.0000 0.0000 -
1664.50/1670.75 c 1671 509614 318949 1 67.0000 0.0000 -
1670.18/1676.41 c 1676 510991 319766 1 67.0000 0.0000 -
1676.25/1682.57 c 1683 512580 320735 1 67.0000 0.0000 -
1681.33/1687.64 c 1688 513528 321373 1 67.0000 0.0000 -
1686.82/1693.11 c 1693 514849 322098 1 67.0000 0.0000 -
1692.69/1699.06 c 1699 516618 323103 1 67.0000 0.0000 -
1697.96/1704.32 c 1704 517574 323659 1 67.0000 0.0000 -
1703.65/1710.04 c 1710 518995 324452 1 67.0000 0.0000 -
1709.92/1716.39 c 1716 520352 325309 1 67.0000 0.0000 -
1715.29/1721.77 c 1722 521816 326213 1 67.0000 0.0000 -
1721.07/1727.52 c 1728 523498 327135 1 67.0000 0.0000 -
1726.56/1733.09 c 1733 524897 327901 1 67.0000 0.0000 -
1732.23/1738.71 c 1739 525830 328378 1 67.0000 0.0000 -
1738.31/1744.88 c 1745 527938 329472 1 67.0000 0.0000 -
1743.79/1750.30 c 1750 529745 330435 1 67.0000 0.0000 -
1749.27/1755.86 c 1756 530711 330967 1 67.0000 0.0000 -
1755.25/1761.82 c 1762 532865 332119 1 67.0000 0.0000 -
1760.44/1767.01 c 1767 533695 332631 1 67.0000 0.0000 -
1766.01/1772.63 c 1773 535259 333493 1 67.0000 0.0000 -
1772.00/1778.67 c 1779 536676 334336 1 67.0000 0.0000 -
1777.87/1784.50 c 1784 537972 335194 1 67.0000 0.0000 -
1783.55/1790.26 c 1790 539947 336363 1 67.0000 0.0000 -
1789.73/1796.44 c 1796 541008 336946 1 67.0000 0.0000 -
1795.51/1802.24 c 1802 542290 337736 1 67.0000 0.0000 -
1800.99/1807.71 c 1808 543433 338388 1 67.0000 0.0000 -
1806.28/1813.00 c 1813 544592 339081 1 67.0000 0.0000 -
1811.96/1818.78 c 1819 546015 339830 1 67.0000 0.0000 -
1817.54/1824.32 c 1824 547697 340724 1 67.0000 0.0000 -
1823.12/1829.94 c 1830 548531 341216 1 67.0000 0.0000 -
1828.21/1835.03 c 1835 549809 341960 1 67.0000 0.0000 -
1833.88/1840.78 c 1841 551218 342869 1 67.0000 0.0000 -
1839.87/1846.76 c 1847 552432 343590 1 67.0000 0.0000 -
1844.94/1851.83 c 1852 553632 344284 1 67.0000 0.0000 -
1850.03/1856.96 c 1857 554712 344866 1 67.0000 0.0000 -
1855.71/1862.66 c 1863 556624 345905 1 67.0000 0.0000 -
1861.10/1868.04 c 1868 558284 346709 1 67.0000 0.0000 -
1867.18/1874.17 c 1874 559297 347404 1 67.0000 0.0000 -
1872.65/1879.67 c 1880 560929 348176 1 67.0000 0.0000 -
1878.14/1885.12 c 1885 561962 348741 1 67.0000 0.0000 -
1883.32/1890.34 c 1890 563066 349513 1 67.0000 0.0000 -
1888.40/1895.41 c 1895 563990 350051 1 67.0000 0.0000 -
1894.38/1901.42 c 1901 565461 350812 1 67.0000 0.0000 -
1900.06/1907.11 c 1907 567108 351679 1 67.0000 0.0000 -
1905.64/1912.71 c 1913 568281 352338 1 67.0000 0.0000 -
1911.92/1919.00 c 1919 569661 353114 1 67.0000 0.0000 -
1917.69/1924.85 c 1925 570906 353801 1 67.0000 0.0000 -
1923.38/1930.55 c 1931 572110 354497 1 67.0000 0.0000 -
1929.16/1936.33 c 1936 573219 355122 1 67.0000 0.0000 -
1935.14/1942.30 c 1942 574519 355822 1 67.0000 0.0000 -
1941.22/1948.42 c 1948 575594 356529 1 67.0000 0.0000 -
1946.31/1953.59 c 1954 576626 357207 1 67.0000 0.0000 -
1952.18/1959.40 c 1959 577639 357830 1 67.0000 0.0000 -
1957.66/1964.96 c 1965 579178 358701 1 67.0000 0.0000 -
1962.85/1970.15 c 1970 580258 359327 1 67.0000 0.0000 -
1968.73/1976.01 c 1976 580966 359851 1 67.0000 0.0000 -
1974.01/1981.33 c 1981 581709 360366 1 67.0000 0.0000 -
1979.30/1986.60 c 1987 582538 360865 1 67.0000 0.0000 -
1984.77/1992.11 c 1992 583648 361499 1 67.0000 0.0000 -
1989.77/1997.16 c 1997 584622 362081 1 67.0000 0.0000 -
1995.94/2003.30 c 2003 585748 362735 1 67.0000 0.0000 -
2002.41/2009.84 c 2010 587352 363605 1 67.0000 0.0000 -
2008.00/2015.45 c 2015 588723 364418 1 67.0000 0.0000 -
2014.68/2022.16 c 2022 590114 365237 1 67.0000 0.0000 -
2020.46/2027.98 c 2028 591349 365834 1 67.0000 0.0000 -
2025.54/2033.08 c 2033 592546 366461 1 67.0000 0.0000 -
2030.72/2038.20 c 2038 593666 367083 1 67.0000 0.0000 -
2036.61/2044.14 c 2044 595518 368025 1 67.0000 0.0000 -
2042.78/2050.38 c 2050 596643 368698 1 67.0000 0.0000 -
2048.16/2055.75 c 2056 597453 369202 1 67.0000 0.0000 -
2053.84/2061.47 c 2061 598520 369857 1 67.0000 0.0000 -
2059.23/2066.82 c 2067 599276 370417 1 67.0000 0.0000 -
2065.00/2072.65 c 2073 600213 371050 1 67.0000 0.0000 -
2070.89/2078.55 c 2079 601141 371672 1 67.0000 0.0000 -
2076.66/2084.32 c 2084 602302 372341 1 67.0000 0.0000 -
2081.65/2089.37 c 2089 603805 373120 1 67.0000 0.0000 -
2086.73/2094.40 c 2094 605032 373808 1 67.0000 0.0000 -
2091.91/2099.69 c 2100 605693 374259 1 67.0000 0.0000 -
2097.20/2104.94 c 2105 606549 374745 1 67.0000 0.0000 -
2102.48/2110.24 c 2110 607513 375287 1 67.0000 0.0000 -
2107.56/2115.33 c 2115 608519 375951 1 67.0000 0.0000 -
2112.94/2120.77 c 2121 609132 376340 1 67.0000 0.0000 -
2118.92/2126.78 c 2127 610168 376920 1 67.0000 0.0000 -
2125.99/2133.80 c 2134 611049 377475 1 67.0000 0.0000 -
2131.48/2139.30 c 2139 612269 378173 1 67.0000 0.0000 -
2137.26/2145.13 c 2145 613294 378760 1 67.0000 0.0000 -
2143.14/2151.10 c 2151 615397 379837 1 67.0000 0.0000 -
2149.32/2157.29 c 2157 617183 380824 1 67.0000 0.0000 -
2155.10/2163.05 c 2163 619065 381801 1 67.0000 0.0000 -
2160.09/2168.07 c 2168 620313 382481 1 67.0000 0.0000 -
2165.66/2173.68 c 2174 621540 383174 1 67.0000 0.0000 -
2170.75/2178.78 c 2179 622799 383879 1 67.0000 0.0000 -
2177.23/2185.24 c 2185 624504 384925 1 67.0000 0.0000 -
2182.80/2190.86 c 2191 626013 385852 1 67.0000 0.0000 -
2188.69/2196.79 c 2197 627196 386599 1 67.0000 0.0000 -
2194.57/2202.68 c 2203 628330 387439 1 67.0000 0.0000 -
2199.65/2207.74 c 2208 629022 387845 1 67.0000 0.0000 -
2205.14/2213.21 c 2213 629946 388545 1 67.0000 0.0000 -
2210.82/2218.95 c 2219 631652 389631 1 67.0000 0.0000 -
2216.90/2225.05 c 2225 632917 390446 1 67.0000 0.0000 -
2222.38/2230.54 c 2231 633900 391055 1 67.0000 0.0000 -
2227.66/2235.84 c 2236 634993 391702 1 67.0000 0.0000 -
2233.53/2241.73 c 2242 636533 392580 1 67.0000 0.0000 -
2238.83/2247.02 c 2247 637973 393444 1 67.0000 0.0000 -
2244.70/2252.93 c 2253 639828 394433 1 67.0000 0.0000 -
2250.79/2259.10 c 2259 640861 395078 1 67.0000 0.0000 -
2256.36/2264.69 c 2265 642046 395817 1 67.0000 0.0000 -
2261.45/2269.75 c 2270 643315 396508 1 67.0000 0.0000 -
2267.03/2275.34 c 2275 644168 397167 1 67.0000 0.0000 -
2272.21/2280.57 c 2281 645731 398116 1 67.0000 0.0000 -
2279.69/2288.07 c 2288 647363 398980 1 67.0000 0.0000 -
2284.87/2293.25 c 2293 648331 399498 1 67.0000 0.0000 -
2290.45/2298.85 c 2299 649535 400206 1 67.0000 0.0000 -
2295.83/2304.29 c 2304 650260 400645 1 67.0000 0.0000 -
2301.81/2310.27 c 2310 651458 401299 1 67.0000 0.0000 -
2306.90/2315.36 c 2315 652137 401824 1 67.0000 0.0000 -
2312.38/2320.86 c 2321 653097 402454 1 67.0000 0.0000 -
2318.16/2326.68 c 2327 654085 403082 1 67.0000 0.0000 -
2324.04/2332.55 c 2333 655381 403870 1 67.0000 0.0000 -
2331.22/2339.70 c 2340 656638 404537 1 67.0000 0.0000 -
2337.50/2346.08 c 2346 658421 405564 1 67.0000 0.0000 -
2343.88/2352.44 c 2352 660359 406570 1 67.0000 0.0000 -
2349.16/2357.72 c 2358 661233 407084 1 67.0000 0.0000 -
2355.24/2363.87 c 2364 663078 408081 1 67.0000 0.0000 -
2361.02/2369.69 c 2370 664856 408976 1 67.0000 0.0000 -
2366.10/2374.75 c 2375 666325 409823 1 67.0000 0.0000 -
2372.18/2380.81 c 2381 667744 410682 1 67.0000 0.0000 -
2377.96/2386.65 c 2387 669582 411622 1 67.0000 0.0000 -
2384.24/2392.96 c 2393 670736 412222 1 67.0000 0.0000 -
2389.62/2398.34 c 2398 671607 412761 1 67.0000 0.0000 -
2395.01/2403.72 c 2404 673002 413473 1 67.0000 0.0000 -
2400.48/2409.29 c 2409 674354 414201 1 67.0000 0.0000 -
2406.66/2415.40 c 2415 675802 414921 1 67.0000 0.0000 -
2411.75/2420.51 c 2421 676706 415543 1 67.0000 0.0000 -
2418.13/2426.92 c 2427 677975 416414 1 67.0000 0.0000 -
2424.11/2432.94 c 2433 679381 417296 1 67.0000 0.0000 -
2429.69/2438.59 c 2439 680530 417965 1 67.0000 0.0000 -
2435.66/2444.58 c 2445 681809 418746 1 67.0000 0.0000 -
2440.75/2449.66 c 2450 683519 419633 1 67.0000 0.0000 -
2446.53/2455.46 c 2455 685221 420521 1 67.0000 0.0000 -
2452.71/2461.61 c 2462 686535 421252 1 67.0000 0.0000 -
2458.79/2467.80 c 2468 687529 421928 1 67.0000 0.0000 -
2464.56/2473.58 c 2474 688840 422703 1 67.0000 0.0000 -
2469.95/2478.94 c 2479 690388 423493 1 67.0000 0.0000 -
2475.73/2484.72 c 2485 691423 424066 1 67.0000 0.0000 -
2482.12/2491.14 c 2491 692808 424851 1 67.0000 0.0000 -
2488.19/2497.24 c 2497 694565 425751 1 67.0000 0.0000 -
2494.17/2503.22 c 2503 696111 426615 1 67.0000 0.0000 -
2500.24/2509.37 c 2509 697429 427295 1 67.0000 0.0000 -
2505.53/2514.67 c 2515 698694 428018 1 67.0000 0.0000 -
2511.41/2520.53 c 2521 700885 429187 1 67.0000 0.0000 -
2517.69/2526.84 c 2527 701949 429773 1 67.0000 0.0000 -
2523.37/2532.50 c 2532 703378 430502 1 67.0000 0.0000 -
2528.75/2537.99 c 2538 704476 431104 1 67.0000 0.0000 -
2534.73/2543.94 c 2544 706174 431978 1 67.0000 0.0000 -
2540.91/2550.17 c 2550 707245 432615 1 67.0000 0.0000 -
2546.80/2556.07 c 2556 708723 433423 1 67.0000 0.0000 -
2552.47/2561.72 c 2562 709947 434083 1 67.0000 0.0000 -
2558.15/2567.45 c 2567 711368 434928 1 67.0000 0.0000 -
2563.24/2572.56 c 2573 712046 435324 1 67.0000 0.0000 -
2568.62/2577.94 c 2578 713467 436079 1 67.0000 0.0000 -
2573.81/2583.15 c 2583 714798 436780 1 67.0000 0.0000 -
2580.28/2589.64 c 2590 715790 437434 1 67.0000 0.0000 -
2585.66/2595.10 c 2595 716876 438120 1 67.0000 0.0000 -
2591.34/2600.73 c 2601 717778 438690 1 67.0000 0.0000 -
2596.73/2606.14 c 2606 718299 439035 1 67.0000 0.0000 -
2602.01/2611.44 c 2611 719051 439477 1 67.0000 0.0000 -
2607.98/2617.40 c 2617 720002 440082 1 67.0000 0.0000 -
2613.67/2623.16 c 2623 720858 440562 1 67.0000 0.0000 -
2619.15/2628.69 c 2629 721708 441080 1 67.0000 0.0000 -
2624.93/2634.40 c 2634 723329 441966 1 67.0000 0.0000 -
2630.62/2640.18 c 2640 724356 442551 1 67.0000 0.0000 -
2636.50/2646.06 c 2646 724800 442793 1 67.0000 0.0000 -
2642.17/2651.77 c 2652 726078 443495 1 67.0000 0.0000 -
2648.16/2657.74 c 2658 727082 444069 1 67.0000 0.0000 -
2653.44/2663.09 c 2663 728092 444705 1 67.0000 0.0000 -
2658.71/2668.37 c 2668 729273 445398 1 67.0000 0.0000 -
2664.60/2674.22 c 2674 730718 446137 1 67.0000 0.0000 -
2669.99/2679.68 c 2680 732178 446983 1 67.0000 0.0000 -
2675.57/2685.27 c 2685 732978 447391 1 67.0000 0.0000 -
2681.45/2691.13 c 2691 734487 448250 1 67.0000 0.0000 -
2687.33/2697.04 c 2697 735093 448646 1 67.0000 0.0000 -
2694.41/2704.15 c 2704 736181 449348 1 67.0000 0.0000 -
2700.78/2710.58 c 2711 737174 450157 1 67.0000 0.0000 -
2706.77/2716.52 c 2717 738159 450839 1 67.0000 0.0000 -
2712.05/2721.88 c 2722 739095 451475 1 67.0000 0.0000 -
2718.34/2728.14 c 2728 740194 452134 1 67.0000 0.0000 -
2723.32/2733.19 c 2733 741138 452668 1 67.0000 0.0000 -
2728.50/2738.39 c 2738 741568 452950 1 67.0000 0.0000 -
2734.17/2744.04 c 2744 742873 453691 1 67.0000 0.0000 -
2739.85/2749.72 c 2750 744217 454543 1 67.0000 0.0000 -
2745.14/2755.00 c 2755 745135 455105 1 67.0000 0.0000 -
2752.11/2762.05 c 2762 745703 455503 1 67.0000 0.0000 -
2758.49/2768.48 c 2768 747152 456334 1 67.0000 0.0000 -
2764.08/2774.04 c 2774 748025 456880 1 67.0000 0.0000 -
2770.16/2780.14 c 2780 749388 457709 1 67.0000 0.0000 -
2775.53/2785.51 c 2786 750206 458241 1 67.0000 0.0000 -
2783.51/2793.57 c 2794 751227 458868 1 67.0000 0.0000 -
2790.19/2800.22 c 2800 752197 459442 1 67.0000 0.0000 -
2795.97/2806.09 c 2806 753035 459976 1 67.0000 0.0000 -
2801.64/2811.75 c 2812 754066 460579 1 67.0000 0.0000 -
2807.62/2817.76 c 2818 755192 461329 1 67.0000 0.0000 -
2813.50/2823.68 c 2824 755938 461779 1 67.0000 0.0000 -
2819.49/2829.64 c 2830 757344 462487 1 67.0000 0.0000 -
2824.57/2834.72 c 2835 758583 463166 1 67.0000 0.0000 -
2828.35/2838.57 c * 2839 758945 463434 1 66.0000 0.0000 -
2828.65/2838.82 c * 2839 758945 463434 1 64.0000 0.0000 -
2830.85/2841.09 c 2841 759299 328130 1 64.0000 0.0000 -
2836.03/2846.24 c 2846 759634 328383 1 64.0000 0.0000 -
2841.21/2851.40 c 2851 760041 328654 1 64.0000 0.0000 -
2846.29/2856.59 c 2857 760338 328821 1 64.0000 0.0000 -
2851.78/2862.08 c 2862 761210 329389 1 64.0000 0.0000 -
2857.76/2868.08 c 2868 762168 330003 1 64.0000 0.0000 -
2863.53/2873.84 c 2874 762839 330506 1 64.0000 0.0000 -
2868.52/2878.85 c 2879 763418 330927 1 64.0000 0.0000 -
2873.71/2884.10 c 2884 764059 331372 1 64.0000 0.0000 -
2879.48/2889.80 c 2890 764940 331925 1 64.0000 0.0000 -
2885.77/2896.18 c 2896 765577 332372 1 64.0000 0.0000 -
2891.85/2902.26 c 2902 766180 332813 1 64.0000 0.0000 -
2897.82/2908.27 c 2908 766942 333345 1 64.0000 0.0000 -
2904.00/2914.41 c 2914 767937 333978 1 64.0000 0.0000 -
2909.39/2919.81 c 2920 768526 334365 1 64.0000 0.0000 -
2914.58/2925.06 c 2925 769069 334766 1 64.0000 0.0000 -
2920.45/2930.95 c 2931 769908 335309 1 64.0000 0.0000 -
2926.43/2936.96 c 2937 770521 335762 1 64.0000 0.0000 -
2932.51/2943.04 c 2943 771263 336270 1 64.0000 0.0000 -
2938.29/2948.83 c 2949 772173 336846 1 64.0000 0.0000 -
2943.78/2954.30 c 2954 772955 337426 1 64.0000 0.0000 -
2949.35/2959.99 c 2960 773608 337993 1 64.0000 0.0000 -
2955.63/2966.22 c 2966 774323 338542 1 64.0000 0.0000 -
2959.82/2970.45 c * 2970 774948 338937 1 63.0000 0.0000 -
2960.82/2971.49 c 2971 775237 338575 1 63.0000 0.0000 -
2965.90/2976.51 c 2977 775846 339042 1 63.0000 0.0000 -
2971.39/2982.07 c 2982 776488 339514 1 63.0000 0.0000 -
2978.16/2988.81 c 2989 777403 340245 1 63.0000 0.0000 -
2984.04/2994.70 c 2995 778173 340829 1 63.0000 0.0000 -
2990.12/3000.86 c 3001 778675 341157 1 63.0000 0.0000 -
2996.20/3006.93 c 3007 779749 341837 1 63.0000 0.0000 -
3002.28/3013.06 c 3013 780399 342271 1 63.0000 0.0000 -
3008.56/3019.39 c 3019 781395 342931 1 63.0000 0.0000 -
3013.64/3024.45 c 3024 782148 343444 1 63.0000 0.0000 -
3018.72/3029.50 c 3030 782751 343865 1 63.0000 0.0000 -
3024.41/3035.26 c 3035 783793 344555 1 63.0000 0.0000 -
3030.19/3041.07 c 3041 784832 345230 1 63.0000 0.0000 -
3035.47/3046.31 c 3046 785569 345711 1 63.0000 0.0000 -
3040.45/3051.32 c 3051 786108 346040 1 63.0000 0.0000 -
3046.14/3057.02 c 3057 786914 346538 1 63.0000 0.0000 -
3051.22/3062.16 c 3062 787770 347116 1 63.0000 0.0000 -
3056.80/3067.75 c 3068 788521 347592 1 63.0000 0.0000 -
3062.77/3073.73 c 3074 789610 348305 1 63.0000 0.0000 -
3068.46/3079.42 c 3079 790303 348836 1 63.0000 0.0000 -
3073.74/3084.75 c 3085 790802 349185 1 63.0000 0.0000 -
3079.13/3090.16 c 3090 791552 349743 1 63.0000 0.0000 -
3085.50/3096.59 c 3097 792234 350249 1 63.0000 0.0000 -
3090.98/3102.05 c 3102 793171 350832 1 63.0000 0.0000 -
3096.86/3107.99 c 3108 793968 351323 1 63.0000 0.0000 -
3101.94/3113.09 c 3113 794544 351761 1 63.0000 0.0000 -
3107.23/3118.35 c 3118 795506 352373 1 63.0000 0.0000 -
3113.10/3124.27 c 3124 796347 352920 1 63.0000 0.0000 -
3119.28/3130.41 c 3130 796963 353310 1 63.0000 0.0000 -
3125.56/3136.73 c 3137 797903 353966 1 63.0000 0.0000 -
3131.04/3142.29 c 3142 798983 354646 1 63.0000 0.0000 -
3136.83/3148.01 c 3148 799695 355138 1 63.0000 0.0000 -
3142.10/3153.34 c 3153 800165 355428 1 63.0000 0.0000 -
3147.19/3158.45 c 3158 800655 355770 1 63.0000 0.0000 -
3153.17/3164.45 c 3164 801930 356531 1 63.0000 0.0000 -
3158.95/3170.26 c 3170 802567 356976 1 63.0000 0.0000 -
3164.83/3176.14 c 3176 803547 357622 1 63.0000 0.0000 -
3170.60/3181.90 c 3182 804408 358303 1 63.0000 0.0000 -
3176.59/3187.91 c 3188 805456 359047 1 63.0000 0.0000 -
3182.37/3193.77 c 3194 806239 359576 1 63.0000 0.0000 -
3187.75/3199.18 c 3199 807544 360377 1 63.0000 0.0000 -
3194.03/3205.43 c 3205 808262 360883 1 63.0000 0.0000 -
3199.61/3211.03 c 3211 809320 361507 1 63.0000 0.0000 -
3207.18/3218.62 c 3219 810023 361976 1 63.0000 0.0000 -
3212.57/3224.06 c 3224 810548 362379 1 63.0000 0.0000 -
3218.14/3229.61 c 3230 810909 362684 1 63.0000 0.0000 -
3223.42/3234.90 c 3235 811429 362962 1 63.0000 0.0000 -
3229.01/3240.52 c 3241 811823 363274 1 63.0000 0.0000 -
3234.29/3245.88 c 3246 812525 363750 1 63.0000 0.0000 -
3240.28/3251.87 c 3252 813568 364449 1 63.0000 0.0000 -
3245.95/3257.57 c 3258 814025 364774 1 63.0000 0.0000 -
3251.44/3263.06 c 3263 814711 365204 1 63.0000 0.0000 -
3256.62/3268.27 c 3268 815403 365634 1 63.0000 0.0000 -
3262.41/3274.06 c 3274 815965 366046 1 63.0000 0.0000 -
3267.68/3279.38 c 3279 816396 366397 1 63.0000 0.0000 -
3273.16/3284.87 c 3285 817537 367112 1 63.0000 0.0000 -
3278.45/3290.18 c 3290 818250 367569 1 63.0000 0.0000 -
3283.63/3295.34 c 3295 819041 368073 1 63.0000 0.0000 -
3288.92/3300.67 c 3301 819620 368462 1 63.0000 0.0000 -
3294.09/3305.81 c 3306 820402 369004 1 63.0000 0.0000 -
3299.98/3311.77 c 3312 821264 369506 1 63.0000 0.0000 -
3306.25/3318.08 c 3318 822162 370044 1 63.0000 0.0000 -
3311.74/3323.54 c 3324 822752 370426 1 63.0000 0.0000 -
3317.41/3329.25 c 3329 823504 370862 1 63.0000 0.0000 -
3323.58/3335.40 c 3335 824314 371468 1 63.0000 0.0000 -
3329.17/3341.06 c 3341 824992 371942 1 63.0000 0.0000 -
3334.26/3346.14 c 3346 825510 372390 1 63.0000 0.0000 -
3339.93/3351.87 c 3352 826020 372772 1 63.0000 0.0000 -
3345.92/3357.82 c 3358 826892 373404 1 63.0000 0.0000 -
3352.20/3364.15 c 3364 827010 373506 1 63.0000 0.0000 -
3357.38/3369.32 c 3369 827510 373842 1 63.0000 0.0000 -
3362.96/3374.97 c 3375 828352 374412 1 63.0000 0.0000 -
3369.04/3381.02 c 3381 828620 374638 1 63.0000 0.0000 -
3374.63/3386.62 c 3387 829253 375045 1 63.0000 0.0000 -
3379.81/3391.84 c 3392 829829 375435 1 63.0000 0.0000 -
3385.59/3397.67 c 3398 830566 375980 1 63.0000 0.0000 -
3391.57/3403.62 c 3404 831277 376489 1 63.0000 0.0000 -
3397.55/3409.64 c 3410 832072 377014 1 63.0000 0.0000 -
3403.43/3415.55 c 3416 832613 377399 1 63.0000 0.0000 -
3409.31/3421.41 c 3421 833181 377831 1 63.0000 0.0000 -
3415.49/3427.61 c 3428 833761 378232 1 63.0000 0.0000 -
3420.48/3432.66 c 3433 834581 378746 1 63.0000 0.0000 -
3426.26/3438.49 c 3438 835263 379272 1 63.0000 0.0000 -
3432.23/3444.49 c 3444 835695 379570 1 63.0000 0.0000 -
3438.42/3450.66 c 3451 836452 380093 1 63.0000 0.0000 -
3444.19/3456.46 c 3456 837240 380569 1 63.0000 0.0000 -
3449.68/3461.98 c 3462 837854 381007 1 63.0000 0.0000 -
3455.46/3467.79 c 3468 838541 381430 1 63.0000 0.0000 -
3461.24/3473.52 c 3474 839003 381764 1 63.0000 0.0000 -
3466.92/3479.28 c 3479 839608 382211 1 63.0000 0.0000 -
3472.41/3484.70 c 3485 840195 382598 1 63.0000 0.0000 -
3478.38/3490.73 c 3491 840841 383004 1 63.0000 0.0000 -
3483.78/3496.15 c 3496 841455 383396 1 63.0000 0.0000 -
3489.45/3501.85 c 3502 842436 384043 1 63.0000 0.0000 -
3495.32/3507.79 c 3508 843153 384488 1 63.0000 0.0000 -
3500.91/3513.32 c 3513 843616 384784 1 63.0000 0.0000 -
3506.70/3519.11 c 3519 844587 385399 1 63.0000 0.0000 -
3512.77/3525.21 c 3525 845472 385938 1 63.0000 0.0000 -
3518.85/3531.37 c 3531 846024 386294 1 63.0000 0.0000 -
3523.94/3536.47 c 3536 846754 386788 1 63.0000 0.0000 -
3529.42/3541.98 c 3542 847633 387379 1 63.0000 0.0000 -
3534.51/3547.05 c 3547 848256 387789 1 63.0000 0.0000 -
3539.78/3552.31 c 3552 849224 388415 1 63.0000 0.0000 -
3544.87/3557.44 c 3557 849871 388824 1 63.0000 0.0000 -
3550.34/3562.98 c 3563 850361 389186 1 63.0000 0.0000 -
3555.73/3568.34 c 3568 850811 389494 1 63.0000 0.0000 -
3561.31/3573.95 c 3574 851511 389968 1 63.0000 0.0000 -
3566.99/3579.67 c 3580 852221 390488 1 63.0000 0.0000 -
3572.08/3584.79 c 3585 852856 390909 1 63.0000 0.0000 -
3577.36/3590.08 c 3590 853237 391188 1 63.0000 0.0000 -
3583.84/3596.58 c 3597 853887 391604 1 63.0000 0.0000 -
3590.11/3602.83 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.11/3602.83 c Total Time : 3602.8200
3590.11/3602.83 c solving : 3602.8200
3590.11/3602.83 c presolving : 0.0056 (included in solving)
3590.11/3602.83 c B&B Tree :
3590.11/3602.83 c nodes (total) : 1
3590.11/3602.83 c Solution :
3590.11/3602.83 c Solutions found : 20
3590.11/3602.83 c Primal Bound : +6.30000000000000e+01
3590.11/3602.83 c Dual Bound : +0.00000000000000e+00
3590.11/3602.83 c Gap : infinite
3590.11/3602.83 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3590.11/3602.83 o 63
3590.11/3602.83 s SATISFIABLE
3590.11/3602.83 v -x143 -x198 x197 -x196 x195 -x194 -x193 x192 x191 -x190 x189 -x188 x187 -x186 -x185 x184 -x183 x182 x181 x180 x179 x178 -x177 -x176
3590.11/3602.83 v -x175 -x174 -x173 -x172 -x171 -x170 x169 x168 x167 x166 x165 -x164 -x163 x162 x161 x160 x159 x158 -x157 x156 -x155 x154
3590.11/3602.83 v x153 -x152 x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 x142 x141 -x140 -x139 x138 x137 -x136 -x135 x134 -x133 -x132 x131 x130
3590.11/3602.83 v -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109
3590.11/3602.83 v -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 x91 x90 x89 -x88 -x87 -x86 -x85
3590.11/3602.83 v -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
3590.11/3602.83 v -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34
3590.11/3602.83 v -x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 x9 -x8
3590.11/3602.83 v -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: 63968 MiB (62780 MiB free)
memory of node 1: 64473 MiB (63212 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464030-1722378597/watcher-4464030-1722378597 -o /tmp/evaluation-result-4464030-1722378597/solver-4464030-1722378597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722378597-28641 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464030-1722378597.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=28685, runsolver pid=28680
Current StackSize limit: 8192 KiB
[startup+0.100561 s]*
/proc/loadavg: 0.08 0.08 0.09 6/258 28699
/proc/meminfo: memFree=128922696/131524600 swapFree=131071996/131071996
[pid=28685] ppid=28680 vsize=110008 memory=30184 CPUtime=0.1 cores=0,2
/proc/28685/stat : 28685 (fscip) S 28680 28685 28631 0 -1 1077936128 5022 0 0 0 10 0 0 0 20 0 3 0 4464201 112648192 7546 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
/proc/28685/statm: 27502 7546 2950 3035 0 11160 0
[pid=28685/tid=28695] ppid=28680 vsize=110008 memory=4026531959 CPUtime=0.09 cores=0,2
/proc/28685/task/28695/stat : 28695 (fscip) R 28680 28685 28631 0 -1 4194368 3299 0 0 0 9 0 0 0 20 0 3 0 4464202 112648192 7546 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
[pid=28685/tid=28697] ppid=28680 vsize=110008 memory=43241 CPUtime=0 cores=0,2
/proc/28685/task/28697/stat : 28697 (fscip) S 28680 28685 28631 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4464202 112648192 7546 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 110008 KiB
Current children cumulated memory: 30184 KiB
[startup+0.216198 s]*
/proc/loadavg: 0.08 0.08 0.09 5/264 28709
/proc/meminfo: memFree=128833496/131524600 swapFree=131071996/131071996
[pid=28685] ppid=28680 vsize=110676 memory=41532 CPUtime=0.21 cores=0,2
/proc/28685/stat : 28685 (fscip) S 28680 28685 28631 0 -1 1077936128 7922 0 0 0 20 1 0 0 20 0 3 0 4464201 113332224 10383 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
/proc/28685/statm: 27669 10383 2950 3035 0 14097 0
[pid=28685/tid=28695] ppid=28680 vsize=110676 memory=664970838410264707 CPUtime=0.2 cores=0,2
/proc/28685/task/28695/stat : 28695 (fscip) R 28680 28685 28631 0 -1 4194368 6199 0 0 0 19 1 0 0 20 0 3 0 4464202 113332224 10383 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
[pid=28685/tid=28697] ppid=28680 vsize=110676 memory=43249 CPUtime=0 cores=0,2
/proc/28685/task/28697/stat : 28697 (fscip) S 28680 28685 28631 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4464202 113332224 10383 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 110676 KiB
Current children cumulated memory: 41532 KiB
[startup+0.305639 s]*
/proc/loadavg: 0.08 0.08 0.09 5/264 28709
/proc/meminfo: memFree=128777908/131524600 swapFree=131071996/131071996
[pid=28685] ppid=28680 vsize=110008 memory=40144 CPUtime=0.3 cores=0,2
/proc/28685/stat : 28685 (fscip) S 28680 28685 28631 0 -1 1077936128 8230 0 0 0 29 1 0 0 20 0 3 0 4464201 112648192 10036 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
/proc/28685/statm: 27502 10036 2950 3035 0 14234 0
[pid=28685/tid=28695] ppid=28680 vsize=110008 memory=-6000919485675168877 CPUtime=0.29 cores=0,2
/proc/28685/task/28695/stat : 28695 (fscip) R 28680 28685 28631 0 -1 4194368 6507 0 0 0 28 1 0 0 20 0 3 0 4464202 112648192 10036 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
[pid=28685/tid=28697] ppid=28680 vsize=110008 memory=0 CPUtime=0 cores=0,2
/proc/28685/task/28697/stat : 28697 (fscip) S 28680 28685 28631 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4464202 112648192 10036 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 110008 KiB
Current children cumulated memory: 40144 KiB
[startup+0.700257 s]
/proc/loadavg: 0.08 0.08 0.09 5/264 28709
/proc/meminfo: memFree=128656580/131524600 swapFree=131071996/131071996
[pid=28685] ppid=28680 vsize=110008 memory=43308 CPUtime=0.68 cores=0,2
/proc/28685/stat : 28685 (fscip) S 28680 28685 28631 0 -1 1077936128 9050 0 0 0 67 1 0 0 20 0 3 0 4464201 112648192 10827 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
/proc/28685/statm: 27502 10827 2950 3035 0 14407 0
[pid=28685/tid=28695] ppid=28680 vsize=110008 memory=0 CPUtime=0.67 cores=0,2
/proc/28685/task/28695/stat : 28695 (fscip) R 28680 28685 28631 0 -1 4194368 7327 0 0 0 66 1 0 0 20 0 3 0 4464202 112648192 10827 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
[pid=28685/tid=28697] ppid=28680 vsize=110008 memory=0 CPUtime=0 cores=0,2
/proc/28685/task/28697/stat : 28697 (fscip) S 28680 28685 28631 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4464202 112648192 10827 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 110008 KiB
Current children cumulated memory: 43308 KiB
[startup+1.50025 s]
/proc/loadavg: 0.08 0.08 0.09 5/264 28709
/proc/meminfo: memFree=128248916/131524600 swapFree=131071996/131071996
[pid=28685] ppid=28680 vsize=112356 memory=51724 CPUtime=1.48 cores=0,2
/proc/28685/stat : 28685 (fscip) S 28680 28685 28631 0 -1 1077936128 16041 0 0 0 146 2 0 0 20 0 3 0 4464201 115052544 12931 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
/proc/28685/statm: 28089 12931 2998 3035 0 16356 0
[pid=28685/tid=28695] ppid=28680 vsize=112356 memory=0 CPUtime=1.47 cores=0,2
/proc/28685/task/28695/stat : 28695 (fscip) R 28680 28685 28631 0 -1 4194368 14242 0 0 0 145 2 0 0 20 0 3 0 4464202 115052544 12931 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
[pid=28685/tid=28697] ppid=28680 vsize=112356 memory=0 CPUtime=0 cores=0,2
/proc/28685/task/28697/stat : 28697 (fscip) S 28680 28685 28631 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4464202 115052544 12931 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 112356 KiB
Current children cumulated memory: 51724 KiB
[startup+3.1058 s]
/proc/loadavg: 0.39 0.15 0.11 5/264 28709
/proc/meminfo: memFree=127416600/131524600 swapFree=131071996/131071996
[pid=28685] ppid=28680 vsize=113200 memory=57304 CPUtime=3.08 cores=0,2
/proc/28685/stat : 28685 (fscip) S 28680 28685 28631 0 -1 1077936128 18727 0 0 0 305 3 0 0 20 0 3 0 4464201 115916800 14326 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
/proc/28685/statm: 28300 14326 2998 3035 0 17890 0
[pid=28685/tid=28695] ppid=28680 vsize=113200 memory=-5155635678165625989 CPUtime=3.06 cores=0,2
/proc/28685/task/28695/stat : 28695 (fscip) R 28680 28685 28631 0 -1 4194368 16921 0 0 0 304 2 0 0 20 0 3 0 4464202 115916800 14326 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
[pid=28685/tid=28697] ppid=28680 vsize=113200 memory=0 CPUtime=0 cores=0,2
/proc/28685/task/28697/stat : 28697 (fscip) S 28680 28685 28631 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4464202 115916800 14326 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 113200 KiB
Current children cumulated memory: 57304 KiB
[startup+6.30025 s]
/proc/loadavg: 0.39 0.15 0.11 5/266 28711
/proc/meminfo: memFree=126460452/131524600 swapFree=131071996/131071996
[pid=28685] ppid=28680 vsize=114212 memory=68688 CPUtime=6.26 cores=0,2
/proc/28685/stat : 28685 (fscip) S 28680 28685 28631 0 -1 1077936128 28235 0 0 0 622 4 0 0 20 0 3 0 4464201 116953088 17172 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
/proc/28685/statm: 28553 17172 2998 3035 0 20789 0
[pid=28685/tid=28695] ppid=28680 vsize=114212 memory=0 CPUtime=6.24 cores=0,2
/proc/28685/task/28695/stat : 28695 (fscip) R 28680 28685 28631 0 -1 4194368 26351 0 0 0 621 3 0 0 20 0 3 0 4464202 116953088 17172 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
[pid=28685/tid=28697] ppid=28680 vsize=114212 memory=68560 CPUtime=0 cores=0,2
/proc/28685/task/28697/stat : 28697 (fscip) S 28680 28685 28631 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4464202 116953088 17172 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 114212 KiB
Current children cumulated memory: 68688 KiB
[startup+12.7003 s]
/proc/loadavg: 0.95 0.28 0.15 6/266 28713
/proc/meminfo: memFree=126400008/131524600 swapFree=131071996/131071996
[pid=28685] ppid=28680 vsize=119352 memory=83768 CPUtime=12.63 cores=0,2
/proc/28685/stat : 28685 (fscip) S 28680 28685 28631 0 -1 1077936128 49757 0 0 0 1258 5 0 0 20 0 3 0 4464201 122216448 20942 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
/proc/28685/statm: 29838 20942 2998 3035 0 24634 0
[pid=28685/tid=28695] ppid=28680 vsize=119352 memory=83320 CPUtime=12.62 cores=0,2
/proc/28685/task/28695/stat : 28695 (fscip) R 28680 28685 28631 0 -1 4194368 47840 0 0 0 1257 5 0 0 20 0 3 0 4464202 122216448 20942 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
[pid=28685/tid=28697] ppid=28680 vsize=119352 memory=57304 CPUtime=0 cores=0,2
/proc/28685/task/28697/stat : 28697 (fscip) S 28680 28685 28631 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4464202 122216448 20942 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 119352 KiB
Current children cumulated memory: 83768 KiB
[startup+25.5003 s]
/proc/loadavg: 1.42 0.40 0.19 6/268 28716
/proc/meminfo: memFree=125863448/131524600 swapFree=131071996/131071996
[pid=28685] ppid=28680 vsize=200724 memory=116396 CPUtime=25.38 cores=0,2
/proc/28685/stat : 28685 (fscip) S 28680 28685 28631 0 -1 1077936128 95007 0 0 0 2528 10 0 0 20 0 3 0 4464201 205541376 29099 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
/proc/28685/statm: 50181 29099 2998 3035 0 33315 0
[pid=28685/tid=28695] ppid=28680 vsize=200724 memory=94508 CPUtime=25.35 cores=0,2
/proc/28685/task/28695/stat : 28695 (fscip) R 28680 28685 28631 0 -1 4194368 92983 0 0 0 2526 9 0 0 20 0 3 0 4464202 205541376 29099 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
[pid=28685/tid=28697] ppid=28680 vsize=200724 memory=4588 CPUtime=0 cores=0,2
/proc/28685/task/28697/stat : 28697 (fscip) S 28680 28685 28631 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4464202 205541376 29099 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 200724 KiB
Current children cumulated memory: 116396 KiB
[startup+51.106 s]
/proc/loadavg: 2.37 0.71 0.30 5/268 28777
/proc/meminfo: memFree=125727340/131524600 swapFree=131071996/131071996
[pid=28685] ppid=28680 vsize=245484 memory=170840 CPUtime=50.86 cores=0,2
/proc/28685/stat : 28685 (fscip) S 28680 28685 28631 0 -1 1077936128 163305 0 0 0 5068 18 0 0 20 0 3 0 4464201 251375616 42710 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
/proc/28685/statm: 61371 42710 3302 3035 0 47876 0
[pid=28685/tid=28695] ppid=28680 vsize=245484 memory=161192 CPUtime=50.85 cores=0,2
/proc/28685/task/28695/stat : 28695 (fscip) R 28680 28685 28631 0 -1 4194368 161218 0 0 0 5067 18 0 0 20 0 3 0 4464202 251375616 42710 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
[pid=28685/tid=28697] ppid=28680 vsize=245484 memory=11592 CPUtime=0 cores=0,2
/proc/28685/task/28697/stat : 28697 (fscip) S 28680 28685 28631 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 4464202 251375616 42710 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 245484 KiB
Current children cumulated memory: 170840 KiB
[startup+102.3 s]
/proc/loadavg: 3.41 1.28 0.52 6/267 28788
/proc/meminfo: memFree=125552380/131524600 swapFree=131071996/131071996
[pid=28685] ppid=28680 vsize=297212 memory=263052 CPUtime=101.83 cores=0,2
/proc/28685/stat : 28685 (fscip) S 28680 28685 28631 0 -1 1077936128 254676 0 0 0 10150 33 0 0 20 0 3 0 4464201 304345088 65763 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
/proc/28685/statm: 74303 65763 3302 3035 0 69723 0
[pid=28685/tid=28695] ppid=28680 vsize=297212 memory=254900 CPUtime=101.81 cores=0,2
/proc/28685/task/28695/stat : 28695 (fscip) R 28680 28685 28631 0 -1 4194368 252492 0 0 0 10148 33 0 0 20 0 3 0 4464202 304345088 65763 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
[pid=28685/tid=28697] ppid=28680 vsize=297212 memory=250028 CPUtime=0 cores=0,2
/proc/28685/task/28697/stat : 28697 (fscip) S 28680 28685 28631 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 4464202 304345088 65763 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
Current children cumulated CPU time: 101.83 s
Current children cumulated vsize: 297212 KiB
Current children cumulated memory: 263052 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 1.81 0.75 5/267 28798
/proc/meminfo: memFree=125452240/131524600 swapFree=131071996/131071996
[pid=28685] ppid=28680 vsize=374476 memory=314224 CPUtime=161.58 cores=0,2
/proc/28685/stat : 28685 (fscip) S 28680 28685 28631 0 -1 1077936128 303459 0 0 0 16112 46 0 0 20 0 3 0 4464201 383463424 78556 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
/proc/28685/statm: 93619 78556 3302 3035 0 84812 0
[pid=28685/tid=28695] ppid=28680 vsize=374476 memory=284692 CPUtime=161.55 cores=0,2
/proc/28685/task/28695/stat : 28695 (fscip) R 28680 28685 28631 0 -1 4194368 301278 0 0 0 16110 45 0 0 20 0 3 0 4464202 383463424 78556 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
[pid=28685/tid=28697] ppid=28680 vsize=374476 memory=311844 CPUtime=0 cores=0,2
/proc/28685/task/28697/stat : 28697 (fscip) S 28680 28685 28631 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 4464202 383463424 78556 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
Current children cumulated CPU time: 161.58 s
Current children cumulated vsize: 374476 KiB
################
# More data... #
################
/proc/28685/statm: 619306 600312 3302 3035 0 612094 0
[pid=28685/tid=28695] ppid=28680 vsize=2477224 memory=2399012 CPUtime=3390.05 cores=0,2
/proc/28685/task/28695/stat : 28695 (fscip) R 28680 28685 28631 0 -1 4194368 8314349 0 0 0 338184 821 0 0 20 0 3 0 4464202 2536677376 600312 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
[pid=28685/tid=28697] ppid=28680 vsize=2477224 memory=2396416 CPUtime=0.04 cores=0,2
/proc/28685/task/28697/stat : 28697 (fscip) S 28680 28685 28631 0 -1 1077936192 192 0 0 0 1 3 0 0 20 0 3 0 4464202 2536677376 600312 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
Current children cumulated CPU time: 3390.27 s
Current children cumulated vsize: 2477224 KiB
Current children cumulated memory: 2401248 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.02 5/267 30373
/proc/meminfo: memFree=121618856/131524600 swapFree=131071996/131071996
[pid=28685] ppid=28680 vsize=2549096 memory=2414772 CPUtime=3450.08 cores=0,2
/proc/28685/stat : 28685 (fscip) S 28680 28685 28631 0 -1 1077936128 8441346 0 0 0 344168 840 0 0 20 0 3 0 4464201 2610274304 603693 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
/proc/28685/statm: 637274 603693 3302 3035 0 615758 0
[pid=28685/tid=28695] ppid=28680 vsize=2549096 memory=12520 CPUtime=3449.86 cores=0,2
/proc/28685/task/28695/stat : 28695 (fscip) R 28680 28685 28631 0 -1 4194368 8437751 0 0 0 344153 833 0 0 20 0 3 0 4464202 2610274304 603693 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
[pid=28685/tid=28697] ppid=28680 vsize=2549096 memory=2414772 CPUtime=0.04 cores=0,2
/proc/28685/task/28697/stat : 28697 (fscip) S 28680 28685 28631 0 -1 1077936192 194 0 0 0 1 3 0 0 20 0 3 0 4464202 2610274304 603693 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
Current children cumulated CPU time: 3450.08 s
Current children cumulated vsize: 2549096 KiB
Current children cumulated memory: 2414772 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.02 5/267 30384
/proc/meminfo: memFree=121580356/131524600 swapFree=131071996/131071996
[pid=28685] ppid=28680 vsize=2563880 memory=2437876 CPUtime=3509.88 cores=0,2
/proc/28685/stat : 28685 (fscip) S 28680 28685 28631 0 -1 1077936128 8557633 0 0 0 350137 851 0 0 20 0 3 0 4464201 2625413120 609469 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
/proc/28685/statm: 640970 609469 3302 3035 0 622135 0
[pid=28685/tid=28695] ppid=28680 vsize=2563880 memory=2414772 CPUtime=3509.66 cores=0,2
/proc/28685/task/28695/stat : 28695 (fscip) R 28680 28685 28631 0 -1 4194368 8554019 0 0 0 350123 843 0 0 20 0 3 0 4464202 2625413120 609469 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
[pid=28685/tid=28697] ppid=28680 vsize=2563880 memory=2435548 CPUtime=0.04 cores=0,2
/proc/28685/task/28697/stat : 28697 (fscip) S 28680 28685 28631 0 -1 1077936192 196 0 0 0 1 3 0 0 20 0 3 0 4464202 2625413120 609469 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
Current children cumulated CPU time: 3509.88 s
Current children cumulated vsize: 2563880 KiB
Current children cumulated memory: 2437876 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.11 4.03 5/268 30565
/proc/meminfo: memFree=121506792/131524600 swapFree=131071996/131071996
[pid=28685] ppid=28680 vsize=2565992 memory=2444160 CPUtime=3569.68 cores=0,2
/proc/28685/stat : 28685 (fscip) S 28680 28685 28631 0 -1 1077936128 8662745 0 0 0 356108 860 0 0 20 0 3 0 4464201 2627575808 611040 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
/proc/28685/statm: 641498 611040 3302 3035 0 623673 0
[pid=28685/tid=28695] ppid=28680 vsize=2565992 memory=2437720 CPUtime=3569.45 cores=0,2
/proc/28685/task/28695/stat : 28695 (fscip) R 28680 28685 28631 0 -1 4194368 8659105 0 0 0 356093 852 0 0 20 0 3 0 4464202 2627575808 611040 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
[pid=28685/tid=28697] ppid=28680 vsize=2565992 memory=11592 CPUtime=0.04 cores=0,2
/proc/28685/task/28697/stat : 28697 (fscip) S 28680 28685 28631 0 -1 1077936192 203 0 0 0 1 3 0 0 20 0 3 0 4464202 2627575808 611040 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
Current children cumulated CPU time: 3569.68 s
Current children cumulated vsize: 2565992 KiB
Current children cumulated memory: 2444160 KiB
[startup+3602.86 s]
# the end of solver process 28685 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.43 s, system=8.75198 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.11 4.03 5/268 30565
/proc/meminfo: memFree=121505176/131524600 swapFree=131071996/131071996
[pid=28685] ppid=28680 vsize=2565992 memory=2445904 CPUtime=3571.38 cores=0,2
/proc/28685/stat : 28685 (fscip) S 28680 28685 28631 0 -1 1077936128 8664814 0 0 0 356277 861 0 0 20 0 3 0 4464201 2627575808 611476 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
/proc/28685/statm: 641498 611476 3302 3035 0 624223 0
[pid=28685/tid=28695] ppid=28680 vsize=2565992 memory=-7161968623522767232 CPUtime=3571.16 cores=0,2
/proc/28685/task/28695/stat : 28695 (fscip) R 28680 28685 28631 0 -1 4194368 8661174 0 0 0 356263 853 0 0 20 0 3 0 4464202 2627575808 611476 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
[pid=28685/tid=28697] ppid=28680 vsize=2565992 memory=6934491875580616212 CPUtime=0.04 cores=0,2
/proc/28685/task/28697/stat : 28697 (fscip) S 28680 28685 28631 0 -1 1077936192 203 0 0 0 1 3 0 0 20 0 3 0 4464202 2627575808 611476 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
Current children cumulated CPU time: 3571.38 s
Current children cumulated vsize: 2565992 KiB
Current children cumulated memory: 2445904 KiB
[startup+3590.4 s]
/proc/loadavg: 4.12 4.10 4.03 5/268 30566
/proc/meminfo: memFree=121498984/131524600 swapFree=131071996/131071996
[pid=28685] ppid=28680 vsize=2568104 memory=2451592 CPUtime=3577.76 cores=0,2
/proc/28685/stat : 28685 (fscip) S 28680 28685 28631 0 -1 1077936128 8670053 0 0 0 356914 862 0 0 20 0 3 0 4464201 2629738496 612898 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
/proc/28685/statm: 642026 612898 3302 3035 0 625651 0
[pid=28685/tid=28695] ppid=28680 vsize=2568104 memory=11592 CPUtime=3577.53 cores=0,2
/proc/28685/task/28695/stat : 28695 (fscip) R 28680 28685 28631 0 -1 4194368 8666413 0 0 0 356899 854 0 0 20 0 3 0 4464202 2629738496 612898 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
[pid=28685/tid=28697] ppid=28680 vsize=2568104 memory=2450380 CPUtime=0.04 cores=0,2
/proc/28685/task/28697/stat : 28697 (fscip) S 28680 28685 28631 0 -1 1077936192 203 0 0 0 1 3 0 0 20 0 3 0 4464202 2629738496 612898 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
Current children cumulated CPU time: 3577.76 s
Current children cumulated vsize: 2568104 KiB
Current children cumulated memory: 2451592 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.10 4.03 5/268 30566
/proc/meminfo: memFree=121496332/131524600 swapFree=131071996/131071996
[pid=28685] ppid=28680 vsize=2568104 memory=2452136 CPUtime=3584.13 cores=0,2
/proc/28685/stat : 28685 (fscip) S 28680 28685 28631 0 -1 1077936128 8672002 0 0 0 357551 862 0 0 20 0 3 0 4464201 2629738496 613034 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
/proc/28685/statm: 642026 613034 3302 3035 0 625779 0
[pid=28685/tid=28695] ppid=28680 vsize=2568104 memory=11592 CPUtime=3583.91 cores=0,2
/proc/28685/task/28695/stat : 28695 (fscip) R 28680 28685 28631 0 -1 4194368 8668362 0 0 0 357537 854 0 0 20 0 3 0 4464202 2629738496 613034 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
[pid=28685/tid=28697] ppid=28680 vsize=2568104 memory=2444136 CPUtime=0.04 cores=0,2
/proc/28685/task/28697/stat : 28697 (fscip) S 28680 28685 28631 0 -1 1077936192 203 0 0 0 1 3 0 0 20 0 3 0 4464202 2629738496 613034 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
Current children cumulated CPU time: 3584.13 s
Current children cumulated vsize: 2568104 KiB
Current children cumulated memory: 2452136 KiB
[startup+3600 s]*
/proc/loadavg: 4.10 4.10 4.03 5/262 30628
/proc/meminfo: memFree=123776312/131524600 swapFree=131071996/131071996
[pid=28685] ppid=28680 vsize=2565020 memory=2450088 CPUtime=3587.33 cores=0,2
/proc/28685/stat : 28685 (fscip) S 28680 28685 28631 0 -1 1077936128 8710513 0 0 0 357867 866 0 0 20 0 3 0 4464201 2626580480 612522 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
/proc/28685/statm: 641255 612522 3302 3035 0 625264 0
[pid=28685/tid=28695] ppid=28680 vsize=2565020 memory=-6000919489936649324 CPUtime=3587.1 cores=0,2
/proc/28685/task/28695/stat : 28695 (fscip) R 28680 28685 28631 0 -1 4194368 8706875 0 0 0 357852 858 0 0 20 0 3 0 4464202 2626580480 612522 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
[pid=28685/tid=28697] ppid=28680 vsize=2565020 memory=2453168 CPUtime=0.04 cores=0,2
/proc/28685/task/28697/stat : 28697 (fscip) S 28680 28685 28631 0 -1 1077936192 203 0 0 0 1 3 0 0 20 0 3 0 4464202 2626580480 612522 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
Current children cumulated CPU time: 3587.33 s
Current children cumulated vsize: 2565020 KiB
Current children cumulated memory: 2450088 KiB
[startup+3601.6 s]
/proc/loadavg: 4.10 4.10 4.03 5/265 30661
/proc/meminfo: memFree=123438068/131524600 swapFree=131071996/131071996
[pid=28685] ppid=28680 vsize=2524928 memory=2410028 CPUtime=3588.92 cores=0,2
/proc/28685/stat : 28685 (fscip) S 28680 28685 28631 0 -1 1077936128 8730587 0 0 0 358023 869 0 0 20 0 3 0 4464201 2585526272 602507 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
/proc/28685/statm: 631232 602507 3302 3035 0 615241 0
[pid=28685/tid=28695] ppid=28680 vsize=2524928 memory=2453168 CPUtime=3588.68 cores=0,2
/proc/28685/task/28695/stat : 28695 (fscip) R 28680 28685 28631 0 -1 4194368 8726946 0 0 0 358008 860 0 0 20 0 3 0 4464202 2585526272 602507 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
[pid=28685/tid=28697] ppid=28680 vsize=2524928 memory=11592 CPUtime=0.04 cores=0,2
/proc/28685/task/28697/stat : 28697 (fscip) S 28680 28685 28631 0 -1 1077936192 203 0 0 0 1 3 0 0 20 0 3 0 4464202 2585526272 602507 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
Current children cumulated CPU time: 3588.92 s
Current children cumulated vsize: 2524928 KiB
Current children cumulated memory: 2410028 KiB
[startup+3602.4 s]
/proc/loadavg: 4.10 4.10 4.03 5/265 30661
/proc/meminfo: memFree=123325208/131524600 swapFree=131071996/131071996
[pid=28685] ppid=28680 vsize=2502332 memory=2385004 CPUtime=3589.71 cores=0,2
/proc/28685/stat : 28685 (fscip) S 28680 28685 28631 0 -1 1077936128 8743276 0 0 0 358102 869 0 0 20 0 3 0 4464201 2562387968 596251 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
/proc/28685/statm: 625583 596251 3302 3035 0 609592 0
[pid=28685/tid=28695] ppid=28680 vsize=2502332 memory=2436748 CPUtime=3589.48 cores=0,2
/proc/28685/task/28695/stat : 28695 (fscip) R 28680 28685 28631 0 -1 4194368 8739636 0 0 0 358087 861 0 0 20 0 3 0 4464202 2562387968 596251 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
[pid=28685/tid=28697] ppid=28680 vsize=2502332 memory=2248 CPUtime=0.04 cores=0,2
/proc/28685/task/28697/stat : 28697 (fscip) S 28680 28685 28631 0 -1 1077936192 203 0 0 0 1 3 0 0 20 0 3 0 4464202 2562387968 596251 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
Current children cumulated CPU time: 3589.71 s
Current children cumulated vsize: 2502332 KiB
Current children cumulated memory: 2385004 KiB
[startup+3602.8 s]
/proc/loadavg: 4.10 4.10 4.03 5/265 30661
/proc/meminfo: memFree=123325208/131524600 swapFree=131071996/131071996
[pid=28685] ppid=28680 vsize=2459788 memory=2350588 CPUtime=3590.11 cores=0,2
/proc/28685/stat : 28685 (fscip) S 28680 28685 28631 0 -1 1077936128 8750117 0 0 0 358141 870 0 0 20 0 3 0 4464201 2518822912 587647 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
/proc/28685/statm: 614947 587647 3302 3035 0 598956 0
[pid=28685/tid=28695] ppid=28680 vsize=2459788 memory=2391152 CPUtime=3589.88 cores=0,2
/proc/28685/task/28695/stat : 28695 (fscip) R 28680 28685 28631 0 -1 4194368 8746489 0 0 0 358126 862 0 0 20 0 3 0 4464202 2518822912 587647 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
[pid=28685/tid=28697] ppid=28680 vsize=2459788 memory=2413112 CPUtime=0.04 cores=0,2
/proc/28685/task/28697/stat : 28697 (fscip) S 28680 28685 28631 0 -1 1077936192 203 0 0 0 1 3 0 0 20 0 3 0 4464202 2518822912 587647 134679101440 4194304 16623229 140724756979904 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40013824 140724756988950 140724756989066 140724756989066 140724756996080 0
Current children cumulated CPU time: 3590.11 s
Current children cumulated vsize: 2459788 KiB
Current children cumulated memory: 2350588 KiB
Child status: 0
Real time (s): 3602.86
CPU time (s): 3590.18
CPU user time (s): 3581.43
CPU system time (s): 8.75198
CPU usage (%): 99.6481
Max. virtual memory (cumulated for all children) (KiB): 2568104
Max. memory (cumulated for all children) (KiB): 2453168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.43
system time used= 8.75198
maximum resident set size= 2453168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8751582
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= 9866
involuntary context switches= 25184
# summary of solver processes directly reported to runsolver:
# pid: 28685
# total CPU time (s): 3590.18
# total CPU user time (s): 3581.43
# total CPU system time (s): 8.75198
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.85188 second user time and 19.9831 second system time
The end
Begin job on nodeC028 at 2024-07-31 00:29:57
IDJOB=4464030
IDBENCH=147578
IDSOLVER=3092
FILE ID=nodeC028/4464030-1722378597
RUNJOBID= nodeC028-1722378597-28641
SLURM_JOB_ID= 8249851
Free space on /tmp= 890068 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_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-4464030-1722378597/watcher-4464030-1722378597 -o /tmp/evaluation-result-4464030-1722378597/solver-4464030-1722378597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722378597-28641 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464030-1722378597.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b4b357048b7fd6a2befaa81502734110
RANDOM SEED=576650998
nodeC028.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.858
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.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.839
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 : 7005.71
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 : 3662.296
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.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.248
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 : 7005.71
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 : 3647.132
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.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3639.130
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 : 7005.71
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 : 3637.768
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.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3642.967
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 : 7005.71
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129025348 kB
MemAvailable: 129821276 kB
Buffers: 81316 kB
Cached: 1539808 kB
SwapCached: 0 kB
Active: 242372 kB
Inactive: 1756304 kB
Active(anon): 1436 kB
Inactive(anon): 397516 kB
Active(file): 240936 kB
Inactive(file): 1358788 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 144072 kB
Writeback: 12 kB
AnonPages: 377076 kB
Mapped: 88200 kB
Shmem: 21336 kB
KReclaimable: 72056 kB
Slab: 157708 kB
SReclaimable: 72056 kB
SUnreclaim: 85652 kB
KernelStack: 3872 kB
PageTables: 8800 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 789096 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9664 kB
HardwareCorrupted: 0 kB
AnonHugePages: 262144 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: 207572 kB
DirectMap2M: 6905856 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 889916 MiB
End job on nodeC028 at 2024-07-31 01:30:00